SAT
00011001000001011010101001000100101000100010111010101001111001011011001000011100111011100000111010111111111101110001011000111000111000101011100110010010001111101001011100011010111110111000010110011001001110101011100001000010001100100001011100010111011011011001011011011111010001100111010110010101101010111100010001101110110110100001011101100001111001110111101101000110010110001111001110000010110011010101100101001110100101110111101111100110000110110100001011001100010000000111100111111010111001010110100111001110001100100000111101111100000111111001101100101111010100110100001100010000000110011001010001001011011011011100101001100010110011111010000110001101110111000000001101101100000110001001101000000110011101101110101101001101100111000111011101101011111001001011111000101010110011010110110010111010100000001000101101010010011010000010010101011111010110101000001000011101001100101110100000100001010100101011001101111000010111010000010111010000101001000111010011000010101100110110000110011111011010000000011001011000001010111000000100100100001111110011001101111100010001001010100101100010101001001101000101000010101100011101101011111110110111100000100010100000101010001010011011001000011111101011111001100001100010010101110001110110000000111110001010101111000110110011010100100101100011001011000100011001000010000000100011111000001111011000100101111110010010011100001011001111010100011010011101101100010000101011010111100010111001100100100000001011001000111011100000010100100001101011100000010010000110100000101100010100101101001010010010000111100110100110011110111110101010110101001011110000011001011110001000000101010110101001100000100000000001100110100010100010000001111111010101100101101100000001110111010001011001111011111110011000000010110010000101110011010000001000101100100100010011000000100011001111100100101110010110101000100011101111110001110101010110101100001110111110001001100110000111111000111001001101001110110101000101010101001000100111101001101000101111000000010000100000011111101100000000000100100100000101010100110011001010100110011001100111110011111000010000101000100110011010001101010011001000010011010101101110011100001101101110111111101011000110011101000111100101010011101110011100010001100010111110100000101010011001011010010101110000010111100000000101000011110110111101001101100100101100011110101100000110011001111011010001000010010000001111001100001100010011010110110011111011010000011010101110100101110001001001000000010001011011100000101001010010010010100001101001010100101100110111011010110010111111001110001000101101110111100001001110111011111001110101011111011011000110001101000010101110010011101110100011101100100011111110000100010001111010100111100010010100100110001010001010100101110000011000000001001101111110001001110010000001001100011010011101010010010010110110110011110000101000001011000011101110000000111011110011111001111000100100110001011010110010101111101011001011010111100101100011101000010111010001101010110111011110111000100000100100111110011111100001101100110000011100100101011000110100111110111000100110010110111101110100111010000111110111100000111001010100100110011000001001100001000010011100111010110000110110010100101011100010001001110100011001010101110111101101010110111011001011100101011100011000111011011110011001110101110010101010110001100001110100011001011110011011101001111111111101000101000100110011000111011101001011011011001100001010001111001101100011011100100010110001001110000111011001010001010010010111110001110010011011100100101100010010111110111111001111100010101101100111111100001110001010000011101110011101000111110001101100010100011101101110011011100000000100101010100010001100101101111101011111101001001111101010111101000001111011111000001100101010110110000111001111011100100101100110000011100011010100100111001110110110110111011011001100000110101001010001101000000110011000001001100100010100100010011100000100010000011001001001000000001011011011010111111011101001001100101000101010101011101001011101011111011110001100010111010110010101000101001111100110001010101110000110010000110011011101011100100010001100111110010010111001001101101011000010001000011110010000110000100100110110101110101100111111100010011001011100110000011010100100001101000111000011110011110100101001100001100101010100011001100000100100110101010000001110100100110110001010111011001010000010000101101100101000100000100100010000110001011111101010000011010110101000101011111010010110001011001100110110001110011000000001100000010101100001000101111010100100010000111111011101010111111000001001100011100010111001100100101011101101011010001101001011100001111101000101101010100101011011110000100110000001011000111011110110110101111111010011000101010000011001110001100001101101000110111001110000111011100110000111101101010110110011000011001010000110000011100111010011011110011000100111000111010001000111011101110001101110001001101101100010101101000111101100000010100101000110100110010000000000110111111100110000011011011110101100011100011010011110001010001111000110111101100000000101101000100110111101010010010001111001111111100110011000001111000110100011111101100010011100000101111111010000100101011101110100111010111110100000101010001011000111101100111111111110110011110101101011001110001111100100111110000101101000000000110111100111111101010110100100110001101110101011011000010000101100010101111000101001100100010100101110001101101001111110011000100010000011111111011000001111101001011010101011000100101010110110011110111110010000010110111100001110001111110011000110111001001100100110