SAT
1000000001111010001001101110000101010010001111000011101000000111010101101110001000100000010100010000010101111100110111000010011000101110011001110110000011001011001110001000111001000001110011111000110111110110111111010011110111101010101110001000010011110000101010000101000101011011110111010111001100100011010011100001101110000001011111000010000101100111000001001110011000000011000100100010011000000100111110111111101001110011111110001001110000110101010111000011111001000101000110101111101001110101101011101110110010100100000010001101011100000111101110000011110010100010111101010010010111010101110101010111001100011101011101010010111000111010111010001101011010010000110001010101111101000110011011111111010100001011100010111011000111100111000001011101010000100101011111011001001011100100111110000011101001010111011111001010000010111110011010100001101100000010001011110001010001100110100011010100011010011001011000001100110110111100110010110010001010001110101011010001111111001000110101111000011011110100011001000101011100011000100010001100101011110010110100000101000110010111111001011011101001001101100101111101111110011101100000010011111110011001101000011001100001001011000011100100101011101000100010111001110100101100100100111100110000011011110000101001001011011001011100110101111011011011010010111011000110010110100101000000110101011100011001011101000010111000011101100101011111010000011001000110111101110110110100100000011000101001001001001101111100001100110000110001011101010011011000011000010110011001111010111100101001000011011011100011001111101111011111110000111110011010110001111100100000011110110011000101100011001001011100000001010001011110011100101001101110110101000111111011000100100010000000000001001100010001111010110000101101101010001101010010001111110110000110000111100001000011110101010001111100010100010010110001000010000100000110101010111111010010110110011110101100001110101001101111010101000111110000001010110111011100110111011001101011010001010101111101111001010111100010111001101010101101110100011011110010101100111010111110100101001000100010100101101100100111101101100111101110010100100111001100100011010111111100110011100110101110111100000010010011000011100001011000011011110001101111000000010111011001001011111110110101000001011101001101001110011001001010110010010000100001000000001110000011010011001010000100101000001111011000111111111101100100011000101001100010100010100010001000000000100010000001101001011011010010100011001000101101001010011001011101001000010111010101001001111001001101001010011010010111000001100110000000111101100011111010110100110011000000100001101111101001000101000110001101011000001101011100100101000110011100000010111101111010110101011001110110001111011000000100001111001110111010101100010101011100000110101001100011011110011101010101100111011001001110111001100101111000100101001111110110001101000000000011111111000010101011001001001100000011101011000111010010000111011000111100100110111111111010110010110010000100111001101110101011111110010010001000000111010011100000100100111111110111110101100110010110011101111100111110100101111110011000101010110001011101011100110101111001110100011101100011100100010001111111100000110000111101010011000101001110100000010111010100001000011000101001100111001110110011010010010010011100110000111110100001010110001110001011000001011011001110110011010101001001010000011110110011100111110000010110010000001111011110000100010000000110100111011111000000111111010101011000110001000010000010010010010110010001001001111111011010010010111101000010100111010110100111100011000001111101101111011100100110011101011010100100101000010111001111010010001101100100110101101010110011001111001100111011101110001001110000110000011011110001001000110010011011100100011000100100010111010100010100010110000011100100010110111111110101000010000010001010000011110011011011011110000010110111010110011000111011100011001000011001000101110101100001100010011001001101011011101001110101001100011101100010101111001101001111010101111111011000011101000000001110010101001011010111011101101011010000011110000110010110101110001101000110110101011000000111101011011110110101000101011011101100000010100110111010111110010101101010000001111010110011111101010111100100001011001101011001011000001010000101011001111010011110001101001001001100111000101011011000110110011111001101011000010010111101010101001100011001001010111011110000101001000000000110101000100001010110000101101111101110110110111100010001111011111111110101010111110010010111010000111110001101010001110110111101111110101111010000010111101011011101101010100001110100110010101110010100000000110000011101101110111111111111011011011101011110010101100000001100010100011111010010001000101010101111001000101110000110001110100000011100110010011000011000010111110100111111110111011111000000110010101010101000010010111011110111101110111110000000101101110100010000001110001101010011100010100001001011110101010100010010110111001101001100001111101100001111010011100010011100111011111110010010000001101001111001111001111100100100001101110110011111101101011010111010101001001101100111011111101100001011100101101111010100011000010111010000010001110001011111111101100010011011010110010011110010111010011001000000101101000101100001000010011001001110000000001000100111111010110110100110010110001101111101111001111110001011101111110100110010010111111001011101000100110100101110100011111001010000100010111110100101110001001010100111010100101110111001101111100101001101110010001101011101110110011001010011000101000001010101010111010110101100001110011011000010001011101001000101101111111000000011111110000010011000110000001010100111101011001000010010111010010000111110101111000001110010011111010100000100000101000100101011010010010000111101001101110100110101100011000110101011011101111101000101000111000111010111100010100110100010010000111110000000110010000001010111000001000110100111111110101010101101110101100111010100000101101100010000010000011110110100101101100111010001011010010000101011101000100010001101100111000111010001111101000111011010110000011111011001000110001110001010011000110110000010001110011111100011110101111001100000100110001111001111000100010101011010011001011100001101111001101010010101100010101001010101110011101101011101110001001111000000010111110100000010010101011010001110000011111100000011010110100111111000110110110011110111100111011010000011110110101010011100101000000110001001010011110010001001000101100000110000101010001111100111000000100100111010110001111110110101110011000111100101101010101111011110010011000010001100111000010101011000000001101011000111000001100101100111001101101111000100000110001111001011100110010010010010110110100101011111111101001010000101111101111110111000010010000100001011100010011000011000011101111010011011100000000110110101010100101111011001101110100010110000001010000010100111110010000100010101110111110001100000000000001110001111110110011110101101111100111111000111010110000011110101000101110001001100100010110101001001000000100010001111000011110101011011001101010110011000110100111010001111001010111011010001010011010111101000100001110010001001101100110001101110111100100001100010111011110111101010101000001000010011111000111000110010101001111111111011000110110111001100111100011111001111010011011100100010110111010101001110001100010001111110111010010100100001100110100011010001001101110100111100111100101100001100100100110001000011100100101001110100000000110011100010100000010000100110100100110101101000101111100101011111001011011010001110010100110000000111111100001010001010101111101111111011001101011101110111011011100000101100100101001110110111001011110110001001000101100010111010100101000101100100010111100000100101101011000010100111100110101011111110101101011000011010100111000110100110111000100101111110111110011010010100111101000001111011111010010111110001011010001000011100001111011000101100101111101100101111100100100110111101110010101011010111101110000000110101111010101010001000000011100001101000101100010111111000111010101100000011100011100100011110110001101011101100011001101011010000110110001111000101111010100100111100001101011001111011110100100011110001100000000101000011100011100101001111011010110111010111010101001100101100111110100111000011111001011000010011001111100001111001111110100101110001111010101100001001010010100011001010011101000110011001101000101100001101110111111001111110100101001001111100110000000111101110101011011010001000000011111111000111011111111110100000101100110101011100101101000100111011001111001010010000101111000101000111101001001000111000100100101100110010010100011100011001100010001111001001101101100111001001111101001101011000100111110010111100000100000001000111101010100110100110001001011001100011110110101001001101111110001011000011100100010010101010101000000000001001010010110010110011000100101011011110101111100110101010111010011010101010010011011001000101101110101010011100000001110110001011101011010011001100011100010101010011101001011001000110110101111111111001110011111100010010000111000111110110101000010111111111111100011110101111100100101010100101000110011110111010000110000010110000011101101100100111101011000111010111001101111011100100001100111110111011110111001011100000010011111001111111011101110000011110110010100111011011100000001001010111111000111010110101111111000011101001110011101011111000010011110010000011011110100110011011010110110100000110000111100111010100101110110011001111001000010011000000011000010101100000111111001100101011110100111100010110011010001000001010101001001100010001001101001101101100101011110100011111011010101110110011101011000011101001000010100000101010100000110011101000000111110011111001001100100100100010001111100000010101000001101101011010101110111011110011111100000110000110111011110000110101000111101000011000100101101011001011111011001100001001111010010110111111001111000101011101100000000111010111111100110001001001110000000011000111000011010010001011000001000101100101011010111001111101100100000100101110010111010010001011000011000001001011111100000100000010