SAT
0100110010110111111111101111000100110001111100111000110010111001001111010111000100000101101011011101010101100001001100010101001101001011011011100010100110101001000011011110100110100000010000100111110011000110110010000000000001111000100000001001101100000000001101100100100110000000000001001000010000001110101100010011101101101011000111000101100111011001110011101110111011111100001101111111011100000000110100000110111001101000100110111100000111100110011110010001110010010000001110011101000011001010110101101010101010010101000111101011110010010010001111011100000100001111111001001010101110110011111100010000010101101110000101001001001101100111001100001001100000010100111000111001110011100011010011101001111101100101100101001110010111000000111110100110000110011000011011101001010000010010011110111000111111110101100110011110010110011101001111101110110001000100101010100001111101010001001011100011000110001010011111010001010011101010001010001111101101100100010000100000000010110001111011011111101000010010111010111000000111110011010100111011001010011010000101010101011100000000110111001010110110110000011111000000100011111110101100011110001101111101110011101000001110011101001001111001010010001000000111101001101101100100000100111110000100100110000101101110001000100001111100110000100111010000001101110001100111011111000111111010101110101100101011100011001000000011000000010011111100010011101001000010011010000100101011101111010011000101110100001010101010100101111100101111100100111001111110001011001111110100010100000001011010000100111101001100000000110110110010001100110011011000101110100001000000010101000110100011111010000001010100001010101101110000100001110000010001110010101100010110001001001011011010100001001010111111000010010100110000001110001111011011110110110110010110110111011011100110000001001111011101101001011111010110100011100010001111011000010000010111010100000100101000011001000111101111101011000000011101000110000100010011101100011001010000010000011111011000101000001001001001111100011011000110110010001101001111010110111101111000100011000110001110100010010100010010110001001100011011100110110001010000001100000110000001111111011101110010111110110100100011011011001010100001100010010011001101101010101111011001100011011010100001110010110000011010011010000101011000111001001100001101110001100110101100000101000010101111010011101010100110010011100001001001110100110101111110101111011010111100011001111011101010010111100100101001010100011000000011110000010100100110000101101111110111110010100100000010100101001111110000010110011000100110001001100101110101010111101111001100110111000000101111001001001101101000011011011001111011011111110001000101010111010011101010000000101111011111000001011110010011101010001101100110010001010110010100101101000111001000111110111001101011110100100011110111110111101001100011000001001010000111000011011111011100000111011011000011000111001010011000110111111111010101011110011100111110101111100111011000000010001001001001111000110010010000000001100100011010001110110000011110010001010010001110011111111000001010111010000111110001011101000011010110000011011111101001100100001101111100101011001001000010010000110010101011011100111101110111011010100011111001101011101001100001010001011100010111111010110111111101100000001001110110111110001100101110111101010010101001100101110000101011001010001011010111110011000000100111110110011011010011101100100010010001101010111110000101111010000000010110100011000101011101011011000110100000010100100010101001101010000100101101011011011111001011011100100100001011100001101100011100110000010010110100101111110110100001010000011111111000001010111111010011000111100100100110001110001001100001000011001101011001011011000010100111010000110010100001000001011110000000111101110101001001111101010010000010110000111001010010011011100101011011001110000101111010110100101100110001111100110100001011011100101110100100000000001100001010001001010010000000111000010011001000001010011101011111000101001001000110111011111011111001110110110010101100000011101010001100010111100011101100111000001111001110001111001110010010010010110001100001101110011010100100011000010010010100011101011111101100111000001111111010111101111110011011101010010001000111110010001101111000100100000000111001001101011111100111101000001001011001010110101100000000011111110111100111000101101101010111101111001100000111001100101010100101000110101000100000010110011001001011100011000000010100001111111101110001001110111011110101001011101111111000000101101111110010110001010001001110000101011111110001100100100010001100001001110111011101111001101011001001111001111000111001110111001001101101000111010110111101101100000100110000101101010111001010000000111011000000100101110000010010111001010010101000011010011000011010101110000000001111111011000001010111111000111111001100000101100101001001001110110000011101010101011001010001100001001101001110010111100101001001000110010111111000001111011001000011000011011101010111110010011010110100110001011000111101001100110011010000001000001111110000000101011001101000001001010001001100101000110100111111010100001011100110000011000000100101000110100010110100111101010011110011101010001101100001001100101101011100101110010111011010000011101011011001100011100101111111001000101101010011010000011100011001001111100100101111010110001100000000110001010001101110000110000101110011110111001111101011001111000101001010100110010010110001010000000101101100011010001110011111000010100001100001110001010001000001001111101100111101001010010001100100100001010010011100110111000110001111001010010000001010011001011000100100010110001100000011010100000011001000110000101010011001001100111000011000000111111111001111001101100010011110000111001011010100011100100011101111001100101110100100100000110001101000100101111110110000011001011111101111111100101100110010111011100100001110001111000110001100000101110001101010001000011100110001011000110010110000001000011001101101110010101101000000011010010100001101110011011110111000001011101111001010101110100000000110000110000110011100000100101101101001011100001101101011100001101100001011010100000101100011000000110000101100000000011010011001011000001001000010110111011011011111011110100101110101001110011111010010000000111100001100000101001100001011100110111111111101111010011100010000100001000101011010100100100110110001100010001111000110111100010000110101001101101111110010110110010010011110001001100011001100110001000111010100110011001110110100000001001111011110110000000001000110110010010101010111001100111100011110100111110100000101010111011101001000110101110001100101011010111111110101100000111101111110110000110101001101010111100011110110100010100010010001111111100001011011101010011001110110010100010010101000110110010101100001000001100000101110110110101101010010000011000101010001111000100110110010001000110110000010001101100000000110011011001100011101011111110010010111001110011100011110000001100001101110000110000111111101110110000000000000100011001001011000101001111000000101001010111110110011100101111101001011010110101010101001110100001010111111000011000100101010110011100011100000110001001100101011100111100100001000000100101100010011101110011101000011011101101000100100101001001010111011010111101011011110000101001100111100001101100110110100000101110100000100010000011110110110001011011101110111000111111001010000101000001111010001000111100100111001100011110101010000010010100110000001111001110001001010101010001101101000001010110011001111001111111010010011010010000111001010100111111000100011011101011011010000010110111110101110101000001011011100101011011101111001100001001111100111010001000010100010010111100001000101011010000001101100111100001010110111100011100010000110000100101011000001111101001011011110100001100000100111010001001110100001111110100101101111110001001100001010101001110111001101010000000101000100100011101001010010001000001001011010110011110011000100110010111100110101011010111110101110101111001001100000011001001111111111010011100100010111011000110101010011001001100111000011110100010001111010101101000111000001100110001101011110000111111111010001101000000001111101011011010010101111111100001101111000001000101111001100111010011101111101101111011010001011011100000110100001111110101000101101000011000101101101011101100010110001100100101011011011000011001100011010110001010110011001010101011000010000000011001011101010111011110101010101111010101001001100101011111111101000110011101000000001111111001100101001100110110010011100010011001100000011101110100000100101101000000111110011100110010011101111100011001000100100100100011010100101011111100100010011100001110110101010001001100000100100010000110001100010000001111101110101110100110101001011100011010011100100110111001110100111110110000000110001100001010011000011000110001001110111010000100010110101001101001110100010000001110110011101111000101100100011100110001100011100110100101000111011011001100010011100110011100011101001011010101110111010110101111001010100010001010110100101111101101100100000101010100110100010101010110111111000010111001001001001010101001101001000110101011111011010000100001001011011110011111101101111101001101000110011010101011100101001111101100100101111000110001111100011011111111010110010111001110100001110100001001100001001011111111010000001101001001110101010000101101001110000001110111011011001100100110111001101110101111101000000101100001011111110111011011000000111101101000110111110011111110000100111011001000110111111110110100111110011110011001111000110100000111011100001100100010110111011000000100001001000011101100001111000010011000000011101001000101001100100100001000001111011011111001100100011101001110101000000100110111110000000100010010011010100111011011111011000010000011000111010110001001001101110111011000010011100111011100111110001100000110000111010100110001010001111000001011101001001000111011110110011001011110110011010110101100011101111010101101010101110010010011000101101111011001011010101110011010100000000100000111000110000101100010110100011010101101001010000010000100101100001