SAT
00101001100101111000010010011010010010111101111001000000001011010011000100110010110010011110011011001011100101100101101010000001101011001010000010000111111110100011111110110101100111000000010011010100011001011000101101100011110000001111110010101011110111000100101100011110100001010001110100111001010101110100100100111101111001100100110110100110001111110010111001010001001011011111000101110011100001111110000111001011000010100000101011011000110011110001011010000001110010011111010010110111110110001001010001100111000011101110011111000000011000000000000110111011011001100000001011011101110001101001111111010101000010101111101010101001100110011010001000110111100000110011010100000100101110100100100101000000001111101110100011001011111001001110110000110110000100001001100101110010000001001100100000000010101001001011010100110101101000010011101000000000010010100000011111001101000000001010001011010001101000100101101110111000001000010110110000101010101011010110110011000101111000010011110100001000101011111011000001010010010010001100111011111101000001010111110010100001111001101001100011111110000010101011101001001001010111110111101010101011111011111100111100010111000101010001111011001111111000101111001001010101001100111010010100110010111101110000111011000110101101110011000000010101001011101010101010110111110100111010101110101000111100001111100010100011000110100010000110100111100001100101011000000101110101101101011011111011111101110111001111010101110001111001011000100011110010100000111011011101110101011010110110101010110000011001101000011000011110011011010110110010000000010101100000101101110111011010001011010010011001100111010010000101000010111011101111000000000010011000011111101011111011001000001111110111001100001101001101100101010101001000000000100000110100010100001001011011000000011010111101111010111110010010011010000110011110111000001010011011011001100001110000101010111011100101011001111011001110100101001010111111000100010001001010010111110101001100101101111010011011100110000010001111000010011000111110110111011101011110110010101010000101001011110001111100111010111101011110101100111001010101011101000101111000011010101011110000001011000110110111111011000011111011111110100111100011110011100001111100100110100111100100010001110001001110101100110101100000110100000110000100111101001101111101011001001111100101001011110000101110010100100110011110011010110001001111101100000101100110101101111000111101101111110101111001110010111000110010001011110010110011000000010001001100011011100101010110110110000110001100010001010001010011011011011101111011110110000001110111000111010111101110010011100111111101010001011110111010100110001000101111011100111010000011000000010101000110100001000001011011010000000001111101001010011110111111011001011101101010011100111011110110011111000001010000000001100111011110110110001000000000110111111000011001001001011010011100011110111110000101000101100111100110111001001111011001101011101110101111011100001100000101011101001110110000101011011001110101001100011011001110111001010001101001000100000101111011010001111101001101100100111000100100001011110100010010000100010000010111101111101100010000001001000101010101111000001001000100011101000000011111110010011001000110001001000101110101100000000000100010111111000010100110111111101100010101001000110101010110000101000011111010001000001010011101001000111110111001001000011101000100100011101001111011010110010011101110000100011110110101000011100011011011110011100110010001011000100011100101011001000010010110000001111100101000100001000001001101010000010100110011101001111101000101100000010111011110101011001010100000010001000111100011111110111111010000100010110111110000111000101001001101110111100100111010010011111101010011101010011011000001110001100001101101100001101111001111000000000110001001000111101010111111011010110001101110000001000110111000110110000101000000010000011001010001010000000011010110100000001011010001001000101111001011011110010110010100010110010111010000001011010010010101110101110110110100001010111100011011100111111101101100110100100001111000111011101110111100010011100001000001100111100000001100011011111010110101111111001111010111011010001001110000000101100111110011010010101011010000110111000100001001001100101100111100000010001001111001111001010000001110110011000110100000010010111000001101001000010011110101110011011001100000111110000010111010101000110111100001100111100000010110111000101101011000011011011010001100010100010110010101001110010111110101000011011001011100100101010110010011111001100111101111001010011010001111001110010100110011000101101010001110011000011010110101011001001110011101101010100100000000110001001101011100011001011010001001000110011111010111010101101011011000001110111100000000110001100000000010001000000010000110000110110011000100100011010001011000010011011011000001010011100000111111010011110100001101011011000110001101010010110000101001001001001011100101011001110000101101011111001011011101010010110001100011111010010100011010101101011000111001100111110011000000100110101111001010101101101101100111101110010001011011100010000001110001111111110011001010011111000001010111000000000101010101001010111100000101101100101111111010011001011100010100110011100100111111010000001000111100110101100011010011111001011001010111001010111111000010111010101010111010001110001100111101111010101000000101101011011001110010000101101111010011100000111011011000110100001000000000101000101101100110111001101100010100010100110111001111001011011011010001010111010101001100100001100100010101000000100001111110000011000010110100111001110001001100000011001001110010101111011101100001101011101000011000101110000001101100000100001101101010011101011100010000100011001110011101001001000001011001101010010000111011011011111111011110000000011100001100101011110001001001111001111001111010101100110011000110001100011001011010001000101110010100110110011110110001111011010001000011010000001101011110011111001000111110110100000101101010010111000101110101011001100001101100001011110001100000000001111011111001110110001011111110001010100100011001011110101000001000000010011011110010100000111011011000001100010101111111000101001001001010001011100010010001011110010110100101001100100110011000000011011000100010101100101101101110111001010001110000010101001110100110011001010010010000100110100111101101000101100110000011011101001111010000101110110100001011101010100100000110111101110011001101011011011101110000001000100100000101000010101111111110100010010000111110101010001110110010011100111010100011011101100101100110110011001000101010100100010100111110011011000011000000001010011101010110010011010010010100101101000011011100000001001111111001101000110000100110010101010010110111100110100111111111111110011000111110100001110011001110111101111010000000100001101010110000011100101111001000100000011001000010001110110011001101111011101100000101111110001111100000110000000010101001101000110010001001000001110000110010001000000100100110000000001100110111101010000111101100110000011101001100101010110101100100111100000110110010101111001010011001001010001010001110101000011111011110011110000111101010111010011110011100100110010011001110111000001110100010001000001110101001100011000101101011011100110010000011110100111010001111010011110111110101110000000111010000011001110100000100110101011111110010100100000011000010101011100100000010011110011010010011111100100001011100000101100000111111100100011101001011110010000111001010101011010111110111110101000011001101000000011000011011111110110001111011010100100001110010101100001000100010000000111010000101101001101100100110101000101101011100010100110101110010101001100000001001010110001011101001110110000100110101001110000000111101101001010000101100100000001011110010111001010100100101101000011010010110011010000100010101100100101110111100101111110100000110100001011101011101010011111100010010010110010100000101010111110110011000001001101110011000111011010111011101110001001001001000101110011011100100110011111011001100100101001111100001101000111001001010110001000000010111100000100111101111011011110101001001100111101010111101010101011011101100010011001011100110011111111001110111110011101100100101010111100101110110000010001011010011100110001110100101001111010011111101111001011001101110011011010100001001110011111001100000101101001100111110001011101100100010011111101010101000010100100000001100110000010110111111001000010000010110101110110001101110111111001010000110101101010001010110010111011000010110111110011000011000101011011010001011010111000100001100111010000101000110010010010101110111111011111001000001010101000010101100000000101101100111011110110001101101111011001011100010001101011100001100000110000111111001101011011000000101100111000101011101100001011101010001100010110010100001110000001011101100011000010011100110110011100000000000001101001010011010011011001001001011111011110001100000100010110010101111000000110010001000011011011000100101010010110