SAT
0101010000011111111100100110010110110100001011000101010110001000111111101111101001100001010100110111000011011011010010010011000011111111100010001110100000111010110101011000011101001101000111011000100000111110010100001000001101010100010011011000111011000001111111011010111010101010110110110001001100011000011111011000111100000100101000000110111001011001000010001001001111100010001100000100010111010101110101011011010010011110000000110000111110010001100110110110001010000011101111101110111001110101101111101101001100001100111101011010111000101111011110100100000001000100001110110111110100101110010110010101101010111101110001010000001011010110111111101110010100101011001001000111000011010011101001010010100111011010100011101010111001010110001001000001110101010110001111100111011000010010111001011110000110011001001100101100101000100101101001000101011110000110101011100111011010110110111101001001010001011110111001010010110110010101100001111011000101011000110101011001011100100111100001010111001011010110000100010010000001001111000110110000000011010000111100010001101100000100100100101101101011111111111111101110000110111010110101000100110010010111001100100110011011101010000011111001100111111010000101001001111001011001100001000110011011100000110111101001000111000100001000110101101101000001101101011101110101100010011011110111011000111000011000000110111100110011011010011110001000111001011001100111110110110000010110011001110000110011001111110110011101111111011010111010101000001111101010011000011100111101101001011101101111110110110101010100001011100111010010010100000000100011000100001100110100111111011010011101111001111001000100001100010001100010101100010100101101111011111100101101110100011100101000111111001111101101000100110011010001110001010100001011110011000100111101111111011101010111101101011000111000011001100111001001100101100111110110001111110110111111000111110000010000101011101000100101110110010001001010111010101101010100000010111000001111011101111101000001001101111100010100111011110011101111000011000011001001100000000011101001101000110111010000011001111111010101010110001010001001101000010000001010111010000011000100111111110100011111100001001010011111010101100010110100110001010001010100100100101111101100110111001111101000010111010100011010000111100010000001000101001100010001110011001000110000110001000100001101001010101010101001110111101111010101011110110011110000100110000100001111010110011011001111100111110011111100001001011000011110111100111011011101010000110001010101110111100010001100011000100110010101011101111100101101101101110100110101010010000000111111001100101111001000111110110000101110110011101110101110001001100110100101001010000101101010010111110100001000000011001111110001100110001101000011110110001000000001100010011010110101100101100110101100001001110110110101011110101001001001010100110000001110011110001111011101001010010110010011100010010111101001000011100100001101111100111111011101010001011000111101100010001111010101011011111000100010010101011101000110100100111010100010011101011101100101000100000011001001100111010000101001000100011001100010011110110111000010101110110111000110101011101101001011010001100101110101111010011101000000001011110100010011001110011001001100111111110110110110011101000000010101100111001001000001111110011001100111110000111011100001100001111111100011000011101111110000100111011010110101011011011011011001100101101101001110111110111001100111001101110101001100100001111000001001110001110101100011100011111001000001000011001010101100001000100011111010111010110001001101010001110011111101111010100001001000100110101011111101111011101000110111000111111101000100000110100100101110111000100111110011101101111001110110100000001001110000000110001001111011100110000010000001000011001000011010111000111011101100110010110001001011010110100011100110011111000100101100110010011111011001001001001110111011000111100000001111011011001010101110110111010100010001100011001001110111011001100001111000001101111010011101100001100000101011001110111000010010100010100000110000011001001001001100100101111000001111111000110100110101000010010100100100101111000011100001100101111001010011101111111101011011110101011110001101100100000011110101100011110011100100001010001011100000111111101101000110110110010111001000110011111101000111101110111111110010111100000010110001010110001111110001001101100011010111010101100100010011000001110011111110000011101010110111011110101010000100010111110000011101111001101110111011000010111001111001010111111100010000011111101010010100101011011111110010000011000101111010011111100110110011100010100011111001111110000000100101010001101101011110011110110100101001100001001010010011010001001000010000100000111101000110011101001111100001011101011000101101100011101001100000111001011000000011000110001101100100010011011100101111001110011111111001100101010011110100101110011000110110101101001010011001110100010110100111001011000101011001101000010010110001011001001111010010101110100110001010100010111100110000110011111011011010010100001001001000110110011101100001001010100100001010010010101111100010011010100011101000011110000000111000011001011111111000010001011011100010110101111000001101110010100101000010000000011100011101111000110010101100001010001110000011000110101111101000001010000001000111011101011101001101111000110100001111000100000010100100111111001010101001001010101110100111001111111111110100110100101111011111110011110100001010100001101000101111110101111101001010000110111000111010101100001000001010111000111000001101101110111001010110110110100011011101110011111011001011110010010011000110001100001001110110100010101010001101001100110111111011011011011111010010000001101010100101001010100101010011001011111111001001100110011001001001101011000000110000010110000001111100100100101000101101001011100001011101010010010111000001111010111111111110011110001001101100101011100110100111001100000000011010110001011011111100010110001101011011011100010110111111111111011111111011110110101100000011110111001110000011111000000001101110110101101010101101110000110011110100001111011010001001001110011011110010101100101101010111001100110101011100100000011001111111101111010011001010111100001110100000000011111100100010010011100111010011111100110101000011010011010000011100101001000101101110010010111000000000010001111001100011000011000000001100011001111111101100100010010110110010101100011101000011001011010010100100000100111111010110101010011111010011000110000101111011110000010011110110110100100011101000001010001101110011101111101000010001001001011101010100010101100001111001010101000101101101110100011110011110101111100000110100011100010110101000011011010001000101000110010000101101000000100100000110100010000010111111100100100000010011111110001111000010001101110101110000010001111110111010101111110011000000011101010111100101010110010110100110000110010000011000011101001011111100111110011100001111111111001000111110111101100001101100001111111000011110011011111000110100011001001100001111010001010101011111010011010001111011101001111010000100100100011011011110010101000010110011110010110000111011111100111000100111011010011010101000011001011011011111100100101110011111000011110110010000111100111011011000010011000000101011000110011001101110110100010100100011001101110010000001000110110010010111000000110010100010011110111001001100111010000110111000000001010100110010101010001110000101101000010101001101001100000001110110100111101001110010110100000010000100000110100110111010110100110101100001011001001011100101110010001110010101100111100000101100001110000010111100100100100110111110100110101001011010100110010101110001110100000000000010011101001000000100010100001110100111101011011010000101010100000110000000110011010111110011100011000101110001110001111011111101001101010011100101000000010010100100010110001010100000111110110001101011110101001110111001101000010101001111000011000011000010010001011001001010011010001110001101000110010011111010100010001000110101110111101010000110010111001010101101110011000101100011111111111000110110100100001001010100010001101110011101001111010010011100011111100110010001101110111010010001001110011010001110101110101100000101101110111000001101001110110000101010100001100101001100100111011100001011100010100010110110001101101100011010100110101110111001001100111000001110110011000110000011010110101001010111000010100101100110010010101001111011000000010110111100110111000110010001100001010000101111110101000011101100101100000010011001100101100000110011111101110100111100000100111010101100001111010111101010001111111000010101100100100011111010101101101101000100100110001110010100101011000010111101100000111101001111111100111100111001011010110111000110001101001101101000100010100101011111000110011010010010010001101111101010100101101111101100101111111011110100011011111000100011010111101111000000110001001001110011100011101000010010001100001001100000100000101110110001011110110110101111100011110011100100111110101010010010010110001111100011111001100110111000001010100010101111010111100000110110011100100111101111001000010010110001001010000111011000100111111011011100000000011011001010010111011110000010011010101111110100111000001101011100000111110101110110111110011000110011111010110111011100101010000000000101000001001110000011011000101101000011010101111110001001110010110111100001100111001010101100101011100110010100111000001011001011010001001101110001001100001000000000111101001101001110000001001010011110100110000010000001110111100010010000000100110110101110100100101011010101111111000001111100101000001001111100011011100110000110111011010100101011101101101010001001000000110101010100010011001010101101111001010000110110100101100011101011110111111000010101011110001101110110001101011101011100000011101100100001001111100000001110000110111001101101011011110001111000001000100110110001011000111110100100111001011001000001000111110100001100110010100001100111101111111000101101111111100101110100100101010000010010101001100001001001111111001000010100011110010111101100100010010110000011011110011101011010