SAT
000011011110000001100111111000001011011110110011100101010010010101101010010101000010111011001111101000011110000001000001100001110000111001101101011001010001101111100010100011110010010110011111011010000101011110001001100000011000000100101001001011110110110010011111001101000100111100100001011110010000011111101010110100000101000111110101011001011001001101110101001011011011100000110110010010010101111111001111110110111100000110011100001110100011111010110100011101011111010001001000111010001101000001111110100010011010011101110110101101111010010001001101011011000010101000010010011101111010101000011011110101011101011100110000110011101001000111101011010100101101011101001111001101010110110100000100100011100100001001100011000110100110100000100100100110100011001100011101011111111011010001110000111011000111110001001110101101100000100110001111100001111001001001011111110110101111001101000000010001101110001110110010011000001000110011111001101100011111111100110101010011011110111110000010000010100010111100110001101111010001101000001011000011011000100111011011010111110101000101010101010111011000001011110000111100001110000101100001001000001010100000010011100010011001101001010111000011000011100010001110011011011011011010101001011101101110111101101110001100010011111001010100001110111110111010110010011011101011111100100000111100101001000010101010010010000110110110000101110100011010101111100101101011011101100010000001110100101000011110111110000000001111101110111011000101101010010011110111100011100100111000010011111001010110110101110010111101010010101111010000111001111101011010000100101011111110101010111001000100101011010101110011101100011001110011110110100101101011100000110100110110010001111010001111001001011010011101010100011101011101101000000111011111010000110010001100111010000111100100011011111100001100011001111111110110001010001111110100010101110111101101100001111101010000110111101100100001000111010010010011000010000110010111011010101100011111110111001010111011101000101010110101101000000101010000010010111110001000000000011011010110111100010111111100101101000000001111110011101111011101000100101001000000000111111011111101100100000111101110101000010111110101100111001100010100010011100110001100001000101010110101101100011101110010100000011000110010111011010010100111100100110101010100111001001111011011100111011010001011101111010101001101001100011010101010110001110000001111100001111010001000111000100111101111001100000001011001010011100011001111001001111011011011100111101001101101100011010110001100011111011010100111011100010100000101100011101111100001000010110110001110110111000000100101001010000101111100100110101100100000110100101111101010110001110001000001100011110110100001100000101011001101101101111110111111100011110101111111101101110011001001100110010110111001011000000001111111011111100000100010010010000011110101001011010111011000010010101000000010101100111000100110001010010010000100100000011110111111001100110001011001111001010111001111101010111000011010110101111100101100001101011110100000111000110011111010001100001000110000011000110001000000000111010101001011010110001001011100000101101100100111011110001001011111001111000001101111111010111010010100110110010001100001101010111101101010000110010101010011000101101000111111100000111110011100000000101101101000101010111100110100100101001100111000110001110110011000000101111101010001110100000011010010011001011001110010111000100101101011001110000000110001111100110001000100001111100100000011011001110100010101011101001001101011000011011001000100010001100011111010000010011000000101101100010000100111110010101110101000100110110001100000111111100110001101011110010101111000011010000110100011100000111000001001011001110110011111000110101001100110101111100010010101100010010001101001011110101110100111110100110111011110111010001010100000111101100011101000000010011010001010000110000001010111110000110110