SAT
0110110011011100101010001011001100110111011010000001001111011111000011000101101111010011110011100101000110101011101101110110111100110100110011011111010110111101110001000000001111101010001101111110010100100110010010110000011111110100010000001110101000001011110110010011101100000100110110000000111111000000000110111000001100001011001001010001101001101000110000110001000010000000101101110010000110111000010001101001101100001010010110111110100011011101000011010100111111111011110000001000011001011111011001100110111011010100100101001100010001101010010010100100001111000110001110111010011001111011110111010101100000000111100000100111000010101101101000110011001010100001111011100011000100010000100100110001010101110101111001011001101101011111010111100100000001000111110011111010111010100111011100010111110011101011001110111000000010000101000001110100111111010001010010100001010101100101101000011010111111000111010010100010111011000100100110110111111110101101010110110110101111001111101100001010000101111100010010100100000010011111010001010111100010000100100011110011100011111011011101101100010111011011100100011100011100010001000001100010111111110110111001101000111000100011000001110000000010010000010111011010111110111111101110100100111001010101110101111101000110001000101101111110100001000010001001001110100101011101000111111000101101110110001110010001001000001011100010010011000111110011111100101110100101000111110011001101111001101100101001110101100110001011100000100000100100111110101000011011001111110000010101101001100101010000111111001000110010100101010110010100100000000001010100000111000011010111001001010001111100110100111001111011011101010100111010110001000101111000111100001010000110000010000101001000001101000011011111110100110001101101101100011000100111010000111000000101110111101001100110001010010001001111010100010111100101101110010010110111111010111101110001010110101111110011100000110110001110100111000001010110011011001011011001001010010000010011101111010100000011110101000010100101001001000011101001100001010010110110011001001111011100001000111100010000000110110000011011101001100100010011101100110111000100111011011100110100111101101100110011000100110110110100011001001000110100000001110110000100010111100001101101111110110101000001101101101010100111110101101100000110000110110010101100010101001101000001100110010101001101000010100110010010011111010101011001011000100001101010000101000110011000000010011101100011110010111110011010111101000100100100100101010100101111110110101101011010110010000011101100010100000001000000000110000100000010000001101011000111111111001011010100001100110101011110010011101101011001011101100111001100110001010100110000110011011101110101001100110101000011011001101010010000100110011001001101111010100101001011110001100010110100100100001100010110010000101100111011011100101101101010010101001100011110101101010101010011101110001010001001000010010011110101111011001100010111000001100110101001111101110100000000010110010101011110101100100000100011010101110110100000010101111111000101101010000111111001101110001101101010011100000101111000110011001001101011101110001110100100011000101001111100101011111010111000110011111010001111100111100100010000111101101001111100001001101001111011101111001110101001010100010001110011011001011101001011101101111110001001101001001111100001100011110010111111001000101010101100110110011100011110001110100111000000000110010010110010010000000001111110010011010110111100101001100111110110011100111010100011111100111000011110111110101000101011000111111101101110010011100111010001100100110110111000010000000011101111101000001101110110010011001011111111101110011110110011111101000010010100111000111100010110100101000010010100010100010001111111011111100100100000001100000111100010000001101101110110100100010110111001111101001011101101100100001001111101101010101011010010010010111010000111101011011100001001000111110100111101100000000101101100011111111100010010011101011101010101100000101100011000110111011000000110110110011010011100011100110101110001000010111100101001010010100000111010010000011011000011001000101001100010111001111100000010000111010101101011111101111111001100010000110100011100010011110101110100101011110111110111111000111101001100001110000100011011000100101010000011001001011110011111101001011110011001101010001010111111000011011110010010100101000110110111111111000111110110100111101000110001110000011001101110111011101111111111110111011101010100110000101010100011100011000001010011011100111010100010110100001111010110101001101011101100000101000011000011101110101010010010110001011010011100010100100011011001000111110100100001111111010100000111010111001011101100000100101110100011110110111000000011101001011110101110101000111011000000111000000010010011100000011111111000001101110010111011011010001111100110000101010110011101101110101101001001101010011111000000110000101101011010010011010010101001010110100011111100111100111101011100111101111011001111011101011110111100111010010110011111011011110000011111110011011110000001010000000001101010010101111100101101010000000001100101001001011100010111101001111000000111010001110100000100111011010001100011000001101001101010010000101000101010101001100001101111001000010111001110110111111010011110111111111110101110100001101000010101000111001100010011100000001010000011001110001100001111100111110101101101101010001110111100100110100110000101011111000010010000111100111000111111001011100110001110011101101010011111100101111100101010000101100011000011100111100010011001111001000111000111110111000110010011100101000100011010101000000101001111100110101010101001011000111001011001011010001010111000111000111111001001001010000000000101110001010100011111001000000010110111110101100000100100110100011010000010001011001010001111110000000000101001110110000111101001011011101010011011001000010101010111000001010011100101101001000110000011110000110100101011101011011110110010000010100000111000110110001000110111111011011111011010010111110100011010101111111110010001110100100011101111000000001101010111100101101111010100100011000010010101001000010011100010110000010011001100101111101100111011011101001010000111001001000000100110010111101011101101000100000011001111010010010000010011011011001111000111100110011010110100000100000111010101000101001011011101110101110101000000001110011000111100011110011001100001001101001110101011100111101110110011111000010000100101101110100101010001000100011011011010111111100000110001000011001100000001111010101000010110010110110100011010100001010101110001111001110001110010101111011100001000100100101000010100111000000001111111101001100001110111001001101010101111001100101011010000011111010101010011001000110110011111011101011110001101011010010111100011000110110011010110111001110001100111001001110001100101001000011010110011010110010101011101010111110100001010101010110010111111000101100011110011111011100110101001110000111110100011101011110010011111110110000000001010100110111111000101011110100001110110101010101111000000000001110001010101011100010101101011100001111101000101010000011100011111010111000110001011111001100000001010000000000010110011000010110000100101110111000111110001010010001001110101010101011101000110110001000001000110000010110101101011111101000110100001011001000101010000011000001101000101101110001000100010100010110011000101110110101110000100101000110100001111101010010101011000011001110101011111010001110011010000110100001100101100001110000010011000010110000011001010110110111100110100000000110111101101010011001100000101101110101101000001111101111000010111010100101111000010011101001000101001001100000010111111000110000100101101000111100011010011010110101111011000010000011011000011110000111000100010011101000111101100111101110110110101011000110100100010001101011110011000001110000001000000110100100100111010010011001001010001101110001010101101011110111000111010011010100011010111100100010101110000101110110111011000110011010100111001000110011001000000101111000011100011010110100100111110101000110111010100111010011000010010000001111100111110101001101100011011100100011001001001000000100110111111000101011110110100000000000110111101101001110100001110101001010101010100111111111001010010111010101101001110001010011101111100100110010000011010011111011100101111100001000100101010000100100010010010110101001101001001111001000011000001101110000100100100000001110010110100100001010001111101110110111001010010000011100001011000010010001010101010100001110110100100101000101000101000011110100010010001111101111001011100100100011001100000111001101101111110111110001001000000001111100011010100000101011101111010001010001100100111110000000111010111111111100111110111011101110101111110000000110011010101010000011101100110110101100111000010011001010011101100010100011000001011011010001110001111101001110101100011010001101011010011100101001100100000001001011011000101110000110100000101011010101011000110000100110001110011001001110001100110111010101010001101100101010011000011100011111011101010100011100001110101011110110000000000110110101101000100111011111011000000011111100100100101011110011111110010101001111111111000110001011000100000110001101001110101000010100111010001001011000110010001101001010101001111011100111001111111001011011100010101010100010001110001000111000011111001000101011001100010110011111010100011011101111111110000010011011110010000101111010000010011111110111010000111111011101000000011110010110110001100010101011001100001010100100000100101001010010110001110000110111011100101100110010111110001001001101111001101101100111110101000110010110111001111101110000110000001000111111101001110111010110111111010100110001110000111010100000101001001001110011010110010010111010111101001100001100000100011111110001001101101111101110011101010100001101011100100001000111011101100000101010000010011010111000111111101110111000100001001011011110001100010010100111111011111010111111000010011100011010111110110011110011000010010111010111010110111111101101000100101111110111101100010011101001111011000001010100110011110110000001000101001110111000111