SAT
1000001111010100100101010100001011010101001001111110001001110011010111001001111110111000011001101010100100000011001111111111111011111100100111110011001110010011100100101000111000000010110111111010011111101110110011110000001000001110011100011011000111111000110000111011010001110101010101000111100100011110000011110111011100010110110001000111111000111111111100010010110100101011001110111100001000010111101101011011000000100110010010110111000101110110110001001110101001100101010001010101111000000010010001111111101011010000000010111001010010011001110110011010001000011011001000010111010111110101100000011001010010111010100001100000001100000011100011100111101001100010011000110001110001111101111101000001111111110101000110001011111000011011001011111100110110100000110011011100001110111001111110101110110100100111110101110101110011100110100000010110000001010011100100000000100111110010110101110000000111101011110110010100101001000111000100001110101110110010111001110101110000100010000111101001000010110010000101010001100001101000111100100001001001000000100001111010101101100011011011011111001111000100011100001101111001100111101101011101101000111101011101010000101111000110000101101010101101100011110101000000001110111001011110010011011011110000001111011001110101000100111111000111000111000010110010001101111110011110010111111110101110000101001110101111100110100011100010011100111100000111101011001010011111000111100110000011100101011111010000111010011010010111011000110010010110010111110010011110111111010110010011111010000111001100010001100101010110110110110001010110011001101010110111100111010000001101100011101110000011101000000101111001011101100011111101010100111111100001111000011100111111110100110100000100011111101100001010000111101011101100101001010000100110010110010110000111010100111100100100101100001000100110111001111111101100000100110110011110010001011111101101010111110101110110010011100100000011111001111000011111101110101111110010010011110111111100101100011011110011101010110101101011010001100000100000011001010111001111011111100000011100100011000111001000010001000000001000000011100000010010010110100000000001001110110101101110111011001100011000000111110001100000110100110011101111000001011000110111100010100011110100000000110100001100110110000100111010011100110101000010101100101101110101100010110010000111101010111100000000111010011010111111110101100111110011011100001010101111000100011110010110000100010111100110101010100110010101100110100100111000110011011100000100111101101011001100011110110000011111010111101010110101100001000100111011100101101010110100010101111100010000100001000011000101010011011011110110110000010000100101100001000000011011110100010011001000000100111001011001001110010001101100111010111000100110111101110000111011111011011010011001111101010110101001101011101001011111110111101100110100110001000100111100110101101001110110001011000100010000101001010001101001111001001001100010111110011011100110011100110111101100011010001010101101100100001011010101110010011001100000000010111101110100111101010000111101110011000011011001110100101100000111011111100001100110010001001010101101010110010000011111011101000010101111010100100010100100000001111011100110001010101111001001011101010111010101011011101011011111000011011001110101000111011100010101000010000111001000011011011101011111001001111100101100110100110100000011000100100111001001010101111111010000001111111011100010101100001011001010110011110111110001000001111011110010001010011010100001110100000000001100101111110100100110111001101110010001100101110011000110000000101111101110111110100111001001010111001001001110100100100111010010110100000100011111100000111110110100111001010011001000011011100111011110011111001011010011100011101110101111001100110111110110101011011100000010000001001010011011101010000000110111101001110010101101000110001001011110001010000000101110100100101011001111101001000111011001110100010000101100011001110011011001100100111101100111000111011111000100110001001010111110111010011000000001111110111010010110010110110001110001010100001001100111111010101101011101011110000110100001010111100010111111110001010010010011101101011010001100101111110010110110011010100011000011110101100111110100000110010010100100111010101011010001000010100001110011101001000010111111000110001000100001100001000110101110110011101011110011110010000110101010100000111100101111000100010010000100100000011000000101100001000000111001011110101010111100111110011110111011101001100000001101000011001011110101111001110000011010010100100111010011101100101100100010001100011010100010110001111100101011110101110100011011101010111001010101100100001101010101011101001110000001001010110111111001011001001101011111011100111000101001110100111101001100101001101110101000101011110101001011000111101101100100110100010111111111011001111011011001011100000011110010010111101001001010100000111011010101111001000111111101001000010110000000100100010001001100101001001011010100111011100110110110011111000010001001001111111000100110000011010011101110011111010001000011001001110110101011000001000011011011011000010001101111010001100011111111100100010011011000110000101011101110101000100010000100101010110111011010001111000011101011100010000000010101101100111010110000000100101111100100010101101101110100101010001001001010001101110001100011010010100000101011010011001100111101101100010101010101100100111000010111110010111111100110000110010010111001111111000110100101001010001010100001111000101010000101010011001010111110011101001010101010100100100001001011010100100000011000010000000110110010100110111110101001000110101100001010000110100100010111110110000101001110110001111100100110111001110011010110101000110000100001000011100011001001110000001011111110100101011110000000101010101101011000101111101101000101001111000010010000110011001010111001000010011111111000100111100011110011000110110011100111000111001001001001110111001111101100011001011001110100010000110000110011101101011001011010001110001100111001100000000111011000010011000000111101000001110111111010100101011101100100000011011111001100001110100111101000001101101011111011000110111010110011111001010001100101110110001010110000100000101111110010110000101101100000100000000111111001011100100111100000010000011100100000111000110101010001001011011001111011001101101111001101010000011111100101001100101101111010000011010000111011101000011011111100101100111100000010010011111001011000011110100001011100111110001010011001001101110110010110100101110001100011101001000000100110001010100110011101011101001010011000011010010101010110110010101000001100110001100100111011010011001010010110011111100100111010111010101101000110001000011100000111010100101010101101111011011011010101110001001011110000111110010101000001111011000111100011101110001111011001000011111011111101110000001111011010111011110001100010011010111001110111010101011100010110000010100000001111001011000001100001000100111000010111010101110110100110000100101010100100111101101110010100001100111001010011111000000000101001101100001101010101110000110000100110101111011000101101111011010101011101110111110000010111100111111101010000011111010000110010111001101011010111011101001101011010000111011000011000000110001000001010001100111000101001101000110100100000100000111000111000011101111100011000111010101011101011100100101001110110101111101010100101111101111000001110101001010000001111100001001100010110111100100011100100010000100011001001110111100100001110001000111001001000011001000011011110111001100100101001010011101010000110100100010100000001011100001000011011011111111101011001011010011011101000001101010111000011000101001000111001000000000000100101111110101110011101101100111101001110101010100011001001010001111000001110000100010100010100001001011100010101110011110101111110001010000111100111000011111000000000010001010111011010011101001000101101111101001111110010110100111111100000000111001000000000100011101111011100000001000010001000101111101111010110011110000001001000010101101111000110110001001111110001011101001010110000101010111010100100001000100100110000010010001001101001110101110110101011010000111111000110001001011011010100100011110111110010101101001111110111101100011000110010011101101111010100000110100111010111001101110010101110011000100111110010001010001101000100110110010101011100001101000011001100111101101011101001001001110010101101110010100000000111100011100000111010001001010101000101010110111110111010011001101100011100101111100011011111100101110000101111110110101000011101000000110101100000010110010011111011001101011101100000010010000011011100110000010011011001100110010110001000001100010010110111001000100011011111011011110100100001011001100101001000101110100001110110010000001110000111100011000101101111010101111100100111100110110101110101010110000010101101110010101110101110001101110110000001111011011001101011010000100101001001111010110110011101000111100001010011010100101110100111101001110100110101101111101111011100010110011111000111010111010001011010011000001001101101100111011001011111000100100000010101101001000001000001111101101011000111010010001011101001010001000011010000011110100010000100100111001100100000011110110010001001011101110010101011010010111001100010111101101111011100010101111111110101100011000110100010001010010000010100000110010011101000111010011111000011000010010101000111101010010010000001000100011010100111101000100011011101001100101011101000100101011100100001101000111100100011100111100100010010111000010110010011100110100101110110100110011010000010101101010110000001000010111000011101101100000000011101100001010001100100100001000110101100111011110100110111000111100101110010101100011001011000001011101010001011110101010111011011010110101000100011100011101100000011110010110110110110100101101110101101010010101100001101000101011111010101111011110000101101001010111110001010011001100010000100110111011000100110000110000010000011001101010011001110011110101110011011111110000011000010100000100001100010010001011000101001011000110001001111011011111011111111010011101111000100101011011100