SAT
0001010011001110101011110001111011110111000011011110001001110011000010000001100011011111011010111100100100110111110000001100110000100110001000011011011101000000010010010110111001100001101101101000001010100000110010100010100000000111001001000001111110001011110111111011011011000101000101010011100001000110110100100111000001001000000001010101111001101111111010010100001110011110000111100010011101110101100011001111001110110000001011101001111100001110001010010011101101000110111000001000011010100011111000001101010110111010001000110010000111110101110111111001110100100001111101011000100000111101100100111001100001111111101011011001010110010010101010000110011011111000001101101101101010001100011111001110000010111010110000100001001110101100011110101011000000000101011111110100110111001000000000000111100110111001101111110100000011101101110010110001011001001000111001110100111001100000101001111011111101100000110100010100011111100010110110010000101111000111001001110111010011001101101110101001111110111110011001111010000101100011000101100001110011101110000101000110010111010010000101100110101110111101000111110100000010100011000001101110001010000101110111000000110100100110110100010001001011000010011100111100101110110011010011100010001111100101110111110101011110110101000010101110000010001110001011001000000110100100100001001101101001101111111001000000110000111001010101000101101101110111110010011010110010100010101010101111010111101100110111111010100011110011100000010011100011001101000101010000101110001110010000110100100110100011110001010011000110100111101010100100001100000010010000000101011011011001000101100111111001100101011011110100111110001101000110011110110100110011011110110101110100111101001000111000010000101010001100000100111110101100000101101111111111100110110000000000110101011000100010001001010110111000101000000101101001100110111111101010010000110010010000001110000001011011011010011000000101101001100000001100100110110110001101000100101011010001010101100010010001011111100100011001011000001100001101011001000100000100110100100010101001011000110101100110100101001100101011000111001010000010110111101000110001101000000000011100010111010010000100000000001010011111010011011011011011001101100111010010111010111011111011101011110010001101010110001110001000100101100110010011010011011110000000110101001010111110000011010010011000100001001010000000001001000100111001101001111111111111011011000100101001110010101011110011100010000111100111100111001010000000010101010011001010111000100101100010110101001001010100110000101100110110010010101111010011101011000001001000010010111010100001111111100000010111100001010010101001011011010001110110110111100110011110011100011011100110000011010101111101100011101010011000000000011101010001011110011101100100001110111101001110110000000010011110100110010101011011011011010111001010001011110010011111000111010011011011110010011111011100010011011110011111110001111001100111011100011100011110011111101110101010011011010001010100010110000101101000111110111101101010010010100011000001010100000101101100110001100100001011001011111001001101011000000100100001010101101011100000010100110100001111000101011000001011001011001110111101001001001101001101001110001111001101001011111011111010011100000100000101011100011100001101100000000101000100100100100110001001011101000000110100100111010100001111110100111100010001000010011010100110101111110100001000100001001010010101011001101001011010100001010000011111001100011111111111100101000111110000001001110011101010110110001000110010100101111010000111101001010101111111001100011000110011100010100101001101000100111011101100000010111011111001010011101000000001110011100000110111000100100100011110000101110101101101111111111000011001111111000110001110100000001101101010100111101110100100010100110010010001101011001000001011001100101100010011111011011111101010000011010010101011010110000001001000101001011100000111101101001100100001100110100110000110010000010010110000010111111110111111110001010110100111000111101010100100011101111100000111001100010001000110011101111100000100101001101111100010111001010000000100010101011011100000001000000010011001110111001011011011011010011111000010110011100001100001000111010111101100110110100100100111110101011111000011101101011000010000010101101110101011010100000000001000110001111001100110110111001101100001110110000010111101001001111010111101001001010010111011110110101011111101001000011111010101111010110000100001000000101111000101110110110010101101111001101110101101010011101001110000110111100010111101111011001001100111101101100010101110010111001100010000110110010101000000100010001001110100101001101001000001111011000001011111011010110110101011011011101110001000011011001000101011001110100100100101001101010101001111001011111101001110011011111110011110001111011101110111011000001110011100100010111001100000010101000100110111010110001011010011111101110110111100010111001100001111110101110011010101001110110011100011110011100110011010000011101000101101111100001100101100000101011101010110110101111010010110011101011000001011100111111100101011110011011100010101011101110011011010100010001110011110101111010111011011001110111110101010111110111011111000001010000101101010101010101011011010000111011110101010000111111010100110011110001110110111101000010111111010010101111000110010100111100001000000011110111111101100010110010110110101110000100010001010011101100111100101101000010011001011101100010101001101100000110011001111000011111001011010011010110111011110011111011100101011000011000110011100100010010011100101101100101011101101110111101110000000010000110101010001111100111111010010011101000001110001010111010110101111011111000001100101000110110001100011111101011111010101110110001000110010111000010000110001000100010011000101000000001001001001000001101011110110100000101001111111011110000011101100010111000111010101101110100010011100000011110000101110100011011001000101001101111001001000000100011001001111011011101001100110101001000111100000110110001010110011011011101001010001010111000010111110000100000000111101101110101110111001000000101010100101110101101001000010000000000010000010110010011010000100100101000001000100101001011001111101100100010101111000101011100010001011000110000100100001101101001101011100100110110011111101000110001111101101010011110001001011001010110100000011100010110010110011010101101100111110001010001011010000100110101001001100111110011000010001000100010000001111110110110110010001010010110011100011000011100101010011100111100101110111101100001010101010100101110101010010010101111011011101010001110111111001110100001111111111010101000100010100100000111001010000000000100110101101100100001011010110100110000101011001000001110101110011010000101000000001100110011010011011011111110010100110101000101000001101110110100010000110101001000000111101111011011000010111101101110000100101001101001000110100011110110100100010110000111101010100111111101100110000011000101001010111001101111111100100111011110101100010011101001011000100011100010000001011111010110110111100111111101000011110000011110001010001101101100101101101010100001001101110000110010001110100101001111100111100001000