SAT
01010001111010100111111000100010011010111010000010001100100000001001000101111010010101101001000100000011110011011101001101000010101100001000011100000010110101011100110110111101111110100100001011000010011000111100110100100001000001010010001111110100001001000010111010011000111010010110111110111111110011110011010010101011000111010110001010011000010011110101010000000101101111110011100110111101101000110001101100011010100010010110100010100000100011001000001100111110010010101100010110101111100000001100111001000010110001111101101010111010100000011011100000011100111111101101101000111001000110011100011101100000000100000101100110101010000000010000011001011000100000000001110110001101001111101000010011100101001110110001111110111100011011011100111011110100111001011110011111101000101011000101100001001100010101011110110110000000001111110110010101111110110000000111000111100111110001001001001000100111111101010110010110011111101101110000110101001000100001110010101101000010111001111111001000000110110110011111000111101000010001011110111001001011001101100101110001010010110000100011011000111011100001011111111110011000011111011011110001110010111011011000101000100100000101110000001100110111101111001010101101100110110101010111111010000011111101010000111100111000100100001011110110111000111001110100110010101111000100110100011001100101101110010011000010001100110110100010111110001100110101110111100001011110010101100010100111101101001100001010100101011010100011111011011010011001101000010011110111000000001101110010010011110100100100110000011010011010001001010000001000001101110010110000001010010000001101010100111111010111100100001111000110101011010010100100000111011000110000101000011001001010111100111011011111010111011111100010011011110101000111010101011101100101000010111100000000100010110101001000111000000000111110111101011111100100110110001111100100001001111000011110111100011001011011101001011100011101100001110111001100111001000111011010111100000000011110010000101100101011000000001010011011011101011111111111111010011100001101000011100011101000000110110100010110000100010111011001010001110101101011000011110110011000111101001101001000100111111111110000110000110011111100001110001000111111010010101011001110000100111011010011010111101011111111001110011010001011101110000111011110111001101000111000100111001110011111001111001111100111011101100101000001101010000011110111001011100100010001001100011100001100100110100100000110101010110001011100110100101110100111100101000111010001101011011100010100011000101010100001100110101010011111010111101101101111001100111000001000110011101010110011000110011111000001111011010111000011010111011111010011100110110111011010111000111111001110101110011110100000111000110000010100101101111100011110011011000110110000110110111000001111011000011101111100111001100001100011110000000110110010100110001110001000100111100100100011000111111111100111010100100100100101010101010001010001011101111101001011101101100100011100011000100000010110001111100110101001011101101110110001001011101001010100110001011001101100010101000010101101100000100111110000100100110011101100010001100000010100110111001011010001111111100110101110000101001101010100010001011110110110010100001111110110010101110001011101110101011100100110000100011100111101010100010011011000111001010101010000001000110110101010111110011001000010001011101000010011010100001000110010100111110111011101111010001110101110011101010101010001000111101001000010101111001001001011101011110111001101101011111010100101001010011111001100011110110001101010110001111001110001100100011100011011100001110100010100110000001100110110000010101111000011011110101111101101111010010011111100110001111110001110111110111001010010110101101010101011100000001000101111001100010100010011011100010101101011111111110001101001000010100011001110011011100000110111110111111000001100100101100111010000111010110011101111001011010000010001011010100001001110011011101101000101100100000101100110000110010010000001001001010001011000011010111111011001101101010111100101111010110110010100111101001011001110101111100110001100000111111000011110000000100010001010101101100001100110100001011111111000110000111100100100101001110100111111010101101111101111001011000100101111001111001010111010111011001110000011101001110000011110010100110111001001111111100110101010011000110110000111011101111010011110111100000001100110000111111110101001000000110000000011011100110110010010000100111110111001000011110101000010001101010111111110101101100101100100001010101000011001111101101111111011011111100001110011101110001000101011001011100011101010000100110111010101011010001100000010111101100110010111010110111010001001111100001011110101000100100100011011011011100101101111101010001000101100011011101010110110110010110001100001101001000011000000011101011011001100000001111011001111010111011011011001110010110001100111001100001101111110100110001000000100100000011100101110000100101011001111110101111010010101111011101110001111011110101011100010100111101111010101111010101010000010110001100100111001111010011010001011100100111111001100000111110101011011000010110011111100010000111110001100110101010000001010001010000110000010101101101010011110000011111111101011101010110011011111000010100000110001111110011000111110101001011011000111100001010101001101000101000011101001110101001111001011100101100000011000100010110011001000110110011101111000011000100100111111110000100000001101111101011100011111101101101111001001101011001110101001010101110010100011011110101001000001110111101110110001111001100100