SAT
00110111110000001010111011100000101111011001101001100001111110000000101001001100010010101101001001000011110100101110111111010011101100010100011110001010001011111111111101101010001000001000110000111100001001011011111111000001101011010100100001110010010110101100001001000100101000001001101010001001111100110110111000000101101110101101011010101010011100011110100000000101110101000010111010001011110100011001110001010110010100110101110011111011111111110001110100011101000111010011000111001100101101011001100101111011111101001010111111011010101100010000110111000110011000100011110110010011111001111001011100011000100110111000011111100000101010101100111101110000110000010000010101100111110110110111010010001110010101011000111110011001101010011000001110100111100111001110111100110101101111101010101010110010001100010111010010000111101110111101100000010000010000010001001001101100001010001111011110000101011011010101011110001111000110110001011011000100101001001000000110001100001001111101001100011000000001001111100011011110011111000100011010111000110011010000110101000101101001010000101010001001101011101010111010010100100010110111100011100010010110101110101010001010101010000010101101110010110010000100000111001110011100100110110001001001101101110100111000000010111111010110101011000011111110100111011010000101010001110001101111010110110100110110100101001010111111110001100101001001100011100000001000010000101001000001111000010100100010001111011000101101101001101110011100010010010100101011101111010101100110111011010111111000101011111001010001001001110010111010111110000000101011110100011111000010011001010101010110011000100100100010001011100011011101111010111110101011111010111000100110001111111100010111010001001110010100110100011001100000110111101000111110101101000000101111001000011111101111011000111100011111001100010110011001101111010101001010100010000001011110011000010100101111011011011100011101010010110100011110010110111111011001110000001111100110011001000110101100000110100101101010011010000010010110101111110011110001010010101010111111000010111100010000110010111000101100010100101111000000011101011111111111101000000000000100000110101010101001101111010101110001001100010101011010011000011000100010010010111110000000000100110111101100100110011010110110101011111100110111011100110111000101000100110110101100011010011000011010110110100110111110000101000001110011101100111111111011001111011010101001111100001000111100101011001111101010010111110000100011110111101110010111000010001110000001101011101110010110010101010001011100100101010110101100101111110011001000111000011110110110011000000110000010110010001110110000000011000011101100010000110110111110001110000001000111100100111101011101111011110100110101100110011000101010011111000110111100011011001111110110010000100001000101000011110001111010110011101110100100111011110000111110000000010000001101110100100001101100101010110010000010101101011010011111100101001110001011011010001000010111000001100011110110111001000111000100010100001100111011100011110110000010010100101101111110110101101100011100000001111000011100000110000110011100110110000000000000100101011101011010011001010100111110111101001100000100011001101010011111111001010000110001111001001001111110000101111010111001111010011101111011010010011111000001000111000000111001000100011111011111000101010100101101000110011010000000110000110010010011001100001000101000111110111101101101101111001101110100110110011110011000100110000101000010110000011000000011100100110011011101110001010011000011111100100110100000111111111001010000110111001000111010100100011001111110110001001110010001001011110001101001010101110011010111010111011101111110000110011011110010101001011110100011011011111011001101110000011110011011000001100100110110111001110110000001011011111000110100010111111101001000111010110100000011110100000100001111001011100100000110101010010011010111011000010111011110100011010000111101111101110010010111110011001001110110000101110101100101100010111100111101001001101000010011000011000011110001000001000011011111001001101101111010111110111001101101001100111110100110100110000101100000010101110010010001100000011011100110010011001101100100001001011001100110011000010010010101001001100011011011011100100000010010010010001111001011100000110000100011011101110001111100000011010011011111101110001001000010011000000101110101101001100011000101011011000001111010011010110101001010111011100101101110001000011110111010100110100001100111110001001100011011101101100011100111111011011100010101100100010110111100001111010011011101100011111101111001110001111001010010111110000111000110100010010011000010010011000011101000101100011011010000100001100101101100100101000110100111101100001000100111010001110001001101111110101010010000111100010110101111111010010010011011011100111101000100001011011000001111011100100100100100111001100111111011001111111000110110010100010101011001110110101010000111110111000000111100100000110110001111001011001110111011110100011100101000001101010101110101000000110110001111101111100101000110111001111001111000011011001011110011001000100000100011110111000011101100000011101100110111010000101111111110010100000011011011101111100000001001100110110011000101010000000110101100111010111101100110111000100010111100000110001110001100100111110010110100000110011100010001100100011011011000101000001001011010010111000001011001000110100101110101010110000000011011001011101101100101001101000101100001010101010010110001101010100111110011010111101011101101101100010011000110001100110001110010111001101010000100110010101111110101001100100110010001001011111100010101001101001100000000111100001101000110010010011011011101000110110100111110011101000101101101100010001100111101110100011001100101100010110000010000110001111001101011000000100100010000100000101000000011100100100010000001111001000111001010000101111011101000010111100001101110011011111100001101010000101110100101100100111001111001100011010010000011101011011011001000010001001000010110001111111010110110010100101011001000011010011001000011011011101111101000111011111101000011100110100100010101111111010001011010011011111101001010110000100001101010001110101000011111101100110000000011100000010101110000100100110010001010011011000001110011011111010111010101001010101001110101101110000001101010001010111100110011110111001101011011000101111100111100001001110111111110101001001011010100001110000011010011011110000011111011101101111101010111011001101000111010101101001000000010100110100111101101001101110011000011110011000110011111110011111011001010010000100011111010001000101111111001010010011110111010110101001111000001010001011101100100110000110111100101100011100111011011100101111111001110101001001101100110101010111100000110010011101110101010100000101000100101100001100001010010111110000010101101111010111000101001101101101110011000000100111100010101001001011111010001100011010110010101000110011101011111010001001011111100110000101100010000100100011100011001110010010010110010011111111001000111111100110111110000001111010101101111011000101010010111101010100000101010100110111000000100110100100011100110111110110001000000010000001100000010011110100000011001100000100100111001001100101001111111011100111101010001010110111001000011010011100100110110101110011111110000100111011001000011010101001100100101101001101100010100010000011001111001110011011000011011011111010010101010100001000111110010101100101100100010111110101100000111110000001000000110100001101011100001011111001011011001011100110111010110111110011111111011000100000101101010111011101101011000000001011100111110010001110100011110000111001111000100010000010111010011111101010101100011110100001011110101110101100001010111100010011000111000000100001111101101101010001110101101010110010001011010000010111101111001101000001011011101110011100100000000111110110000011010111011001001101010001011010000101101101000010111110011001001011101111000010011101110101011100100000011110001001100011000000011000100010100000110101001101001011101101101010010011010101111000111110100001101110010010101111101100111111100011010001101010001101110010000011101001111100111000101000101010100000000010011011011110010001000011110111100100011010011010010001111010000011000001001100110011100001101101011111011100101000101101010010101000111100111001110001010011101000100011011111111110001000000101111010101011110100100001111100001101011101111100000111000010010000100000111110110001111110110101111100101110110111001000111110101100100011101110001101000111110100101001111001111011110111111100000000011000111110101100101100110100101110001011010010101010110101100111100101111010001111000010001010100100001100101010110001110101010000010100000101101010110100001000001111111011001101000010011011001111010101100011011000111011111001110100110000110000111000000100000100101001001101110001111010111110100101101000111100010001101010110011101001011011001001111010110101010110100001101000100010101101101101101101110000010100110100