SAT
1001000001100000100010100010100110001110000001011100110100010000100011011101011101101111110011001110000011110100010111111111001111001100011010010011000110011010111001001000111111001110010011101101000110001111001110011101001101010001000001111011011000111001000011011000011100100110001101100111001101101101111110100111000010010110001111000010010101000011011000011110011101100111111101000101000011101100011010100110010010111101011101001110000011011011110000110101111010001100001011110111000101010111100010101000011110011000001010011000010010000010110000011101000110011011101001110000100011101010110111000010111011000111001111100010100100000101100101110011111101010011011101010111011000111110110001110100000011011111011101110100000010011110010101000111000111011010001111100110101010111000100001101011111110000011001101011001110100011011001100100010001110111101111111101111101101001111100101010010101011111101101001100010100011001011110001011100100010100101000100111110000110100011001100101101011100101000011000100100111001000100011010110001011001100001001011001111000010110000010100011001100110000011100110010010100010000010010101111010010000010111010100101000110011110100011011000010011111010101110100001111111111010011110011000111001110101011110100001100100100000100000010101100011011100110010011011011111100100011100101101100001111100000100100010000010110111110100101100010010000001000100011100111101110110110101111001011011011101010100110010101000000100111111110011010011000010011010100000110001100101110111011100111001011011000000000011111010010000111111000101110010000011010010000010100110001110001000101111010010110010011011010110101100011001010101111010111111000110110101000011001101100111011010100100000110110101011111111010100000001010111111111010111001001101010111000101111000110111011101100110010111000010001010001011100011001010100100101100110010000000000010110101001111110010010001110101110011111000101011010000110110100101011110010011110010110101001010010111100011110110001000101101100100111100111000011111101010001011101100010111110101011100100010101001110111100110000111011010100010100011111001011100001111010011011010101100011100100100101001010001111000001111010111001111011000010110011100010011110101110100000101110010110111110101110110001111111110001001010001110001100001110011010100001100101000011010011010111010011100100100101110111010111010010010001001100010001011000011110101000010000101111010110111111100001011111001110101111001010010110101011111111101100000100101100001100010001111000000101110110000100100100010011010110101100000011101111001100000011010110110011100001001011010110001110111101111100001100110110100110101001111101000100011011000111101100011100010011110111010011001101111110101000111100110101001110110111101111001110011001011101001010101000100110111111000010010111000110100111000010000000001111110101001001001101100000010100111110011011101110111011111011000001000100100111100001000101000000111010000011001110010100111011010101101111011101010001100010100000110110001010101000010010100110100001011111111101100101010001010000001011110000000111010110000010111010110010110100000100100001111000111110000000111001101000100010011011110100101110010011001010000101011001101110101101001010000000001010100010010000111010101101000101001001111011011110100011011110110111011101111001000101001101000000101000111111001011100111010000011110101010000100110100001111001110111001101111010001011000110101111001010001110011100001101110101111000011110011101100010011001110111010101110100101101110011010001101100011011101000101000011010000111011000011001011110001001011110010100110011011010010001101011010000101100010011011110100001111110100011100101111100110110111001000111000100011001110100011011101101111101101001101011010111111100001010010110010111011010000110111110111101100001100011111111000100111001100101101101110011110100111000000101010000110101101111110101111001100010000110100010111000100001010111000000110010011110100011101100011100110011010001010110001100001110011010111001101110001011110110011010010110010110110010000011100001001010100010000111110101011011010111111110001100100110011000100111100000101100110100111111101100011101101111010110000011011100011110000110010101010111010001000111111110011000001000111110011111101100100000101100011011100011110010010000111011010010000100110111101101110001100001011000111111101011111111110110111000011000110010101101010000111000001001110011010001100001010000001111100100100011101111010010101000110011010101011000011001010010011100000010101011011011101000000110010011001101110010110011111111110101101110010010001110001001100100010001100111100011100101011001011001111110100110100101000101000100000011100111110000100010101111000101000100001001111111010110110000011001000110010001100001011101001101110111110101110010111011001001100101111111010001001110011111101011100000001011011111110010101101001001100111110101011010110101000011101100110100100000111111001111011011110010100111001010110110111110100110001010100001001000101010111010000100101101001010000111000111010110100010001110100101100111101000110100000011100111101101111001011011011100101111001001111111110001000100110110111111100011101001100010011000000111001001001100110110011010000001100010010110100100001101101111100111111011101101100110010000000011101100110110100010101100100001101010101100000110101001001000000111010110111000111010100101101000110110101011100010100001111011101101111111000111000100101101100110011001101111001010010001111100100100010001111110001000110100000001010011010000011011011011010110011100001000111110101001110100011001110010011011001101100011010000111011000000100001001000100101101111001000001101001111101001100111011000000100101010011110100111100110111111001110111110001011111010000100000110110001100011110010111101001000011100011010000111100001100010011011000101010101010111001101110110000010011011100111000011100011011000001101100101100101001001001101000001110101100101001010010100111111100100101111101111010110001101010100010110001000001000100110000000100010010110101011101111010101010111111100011101011100000100111100000000000111100010101111110000111111111011111100001111101001010101101111001100000001111111001110001111110000100110010100110001110101101111100111010100111111000101111110100100001010001110101001001100000110010000000100111111010110110100111111110000011011110110001111110001001001011011111000011100111101101011111010001101001111100110010010111110101011001011001010001101100011101001110111010100100100011010100101100001011110011101000100100100000011010111001101001010000010111100101111000101100000010010110100110001110110110101010111110101110111010111100111000010001011100000111000100000100111110011010011111010001110100001110100001011000101110101011111101110001101000110011001010000010110110010010000101001110011010011011010011100111011000000101011011011101111110001100010001100000111100011101101111110111110111110101100000111000010101010010101101010010111011100111011110101001000110101001010101010100100110011110100010111001111000000011101101011000010110001011000011010100011011100101010111100100101110100100101011010001101110101000000101010110011110000110100011001111001110101111111101100001111101001100011010111101001010001000101001100001011101100111110010110000110100100000111000111101110110