小红的解谜
时间限制:C/C++/Rust/Pascal 1秒,其他语言2秒
空间限制:C/C++/Rust/Pascal 256 M,其他语言512 M
64bit IO Format: %lld

题目描述

小红最近很开心,因为她收到了一个消息,但是她想为难为难你,所以她给你出了一个谜题。
已知一串神秘数字:
x8xx007669
其中,标注为x的是未知数字,为了降低难度,未知数字只在0-3之间。
已知存在以下条件:
1. 第1个未知数字是2。
2. 第2个未知数字是1。
3. 如果条件一和条件二均为真,那么条件四就为假,反之,如果条件一和条件二中存在一个条件为假,条件四就为真。
4. 第3个未知数字不是0。
5. 如果条件一和条件四之一为假,那么条件六就为真。
6. 第3个未知数字是3。
7. 条件四的真值和条件二的真值应当一致。
8. 如果条件7为假,那么条件二和条件一都为真。
9. 第1个未知数字不是1或0。
10. 如果条件5和条件7是正确,那么条件9也是正确的。
11. 条件6和条件1的真值应当相反。

注:条件 3,5,8,10,11 始终为真

将这串解密出来后的神秘数字放入某个软件搜索后就能获得输出答案啦(你看这串数字的位数(出题人已被唔嘴拖走))

输入描述:

本题无输入

输出描述:

输出一句话