SAT
1010101010100010001001100000110000110011010100110111100100100000010011011101101010101011001101101111111010100101101000001111110001001100110101001001000111111111011000011111001111001011000101010011100111011001111111100000111011111100000001000000010101100001110000111111000100111100010010110000011101111100111101101101000000111010101101100111101010100101110101111111011100000000110111110110000001110101111001011111000011000100001111001001010111001001011001011111111100011100010001100001010011001010001111111011101100001000010110000110011111001001010000110110000101001000111010010011101110111101111010010001000010100100111110001011000100111110110000100111000011101110010100000100111001111010000000001110110010001110000111010110011100101100101100101100001101100011011001110000110000011001000101001001000001011111110111100110101000000101010101001100010101010110001111001011000011000110010001111000101000001011001010101101000100001100000111000111011110110110000110101110101100000111100110100010000000010101001100000100100010000011010101000000111000000100110000110101011011001101011000111110101111000101110010011001010001000111011011001110010110011110100101111110110011010011001111111111100001011000001010010110101101110110110010010001101000110001000011110111101001111010111010000101010010001000100111100100110001100011000001101010010000001011110001101001011000000100000100101101011110101001101101110110000110100000110110000000010011011011101011000010001100100101101010111010110010010100011110101001000011000101010000011101011110000101010000100111010000100001111000101100001001101001110100010000011101110110010110001110000001001101100110011000110100100111101010010000000101100011100111010010111011000001100000110110001100101001101110011101111110100011011011010010010110100001111011000101101000011111101010111100010011000101110101000011111101100010010011100011100000001111000011011110000100100001101111010101011100000110110010100010101011000100100110011110101101101010011010101100111000110010101110011100011000101001010001110011011011100100111011110100110100111001011000111001111111001001000000000110110110011111111010111100101110100110001110001000110110010101100100100101100000101010011101101111110100110000001010000110101011010000010101101010111110101001110100000110011110101100001100001011000001100100101111111001001110100111010110110001111001011111001011000011100110110010111010110110010101111011001011101110101010010010110111011000100011010101001010101110000101011101000000000101010101101001111111011001001110011010011111110000100000010100000111110001010110100100011100101100011101000101111100001110000000010000011101110010111010101010001100011101010001110001110011000010011101011011000001100101110101100011010101100101001100111001001011110111111110001111101110010011111101111111111010000111100100111000010101000011010010000100011101101000100001101011011010011110101001011010010011111110101110101011011000011011000100010101010111111111010100101000100000001000110000100000000110101110111011110000111011011101101011110000111011010110010000101101101111110110001111010010111011110011010001011000000000011111100111110101000011011111100101010000011101010111100111010101001111010111110101001110010000010110011110000010000110011000111101110101110101001001001011000111010101000010010011111000100100111101001110111011100100110010001011100111110011110000100101011010101110001111110110001101010010000101100010101110011111000100110110101110111011111001011110101010001001100001100101010100110111010111001111011000001011011010010100110000110101101000010101000101100000000110100111110110011101010010111100100011100101000110001010000110110011010010011001101001110111000111110111110001011010001000101110100011111001110100111101100111010010101011001000011101011011000001100001000110111100101110011101010101001000001111111110101010001011110010110010110010011010000011101100011011000101010000101110100000100011110111110010011100100110011100100111000000111000010011101100100111110010101001011100011001011010111110111110001111100100000101101011010100101001101101001000011111100110110101010111010001000101010110101011110000101010110111111100100001011001000100110010100011101111101111111110000001001000111010000101111000010001111001111100000100110101101100111001111101110000110100000001010011100011000010000110111111111111010010010011101110000100001001100010111010100101000010101101100101110011111000000000001111101101011100011010010111111111111001110110111111000011111110001110011100011101001110001111011010101111110101011010001100000101011110001110001001001111011010010111010111110010110111011010011001110101110101001010011100100101100100000000010101101111011010101111011100010110001000110100110010100000111000011111000110110111100111000101100001110010101100001110010011111100111111101000110000001100001011000100011001001001011010110001000000100001001100111011000011011001111101011000011010101000100010000110001001010110010110011011011011011111011100100101100000011110000011101011100110111111001110000000110001010111000100000100100000010100000001000110111011011111100110011001001010110011110001111010010000101110101011101111101101000011101010000000111010010010011100010111110000100100111101010110011100000000100101010111011010011100000110100001100011101001101001000011101110000001001111100001000001110101101010100111011001011010011000001011011000011111101110110110110010100010011011011100111000000100100101010110111001000000000001011111010100111000100000111001101010111000010101100011000000010100101110101110110111000000100100110000000001011010001001000110100011001001101011011110100111010111111001100001000001010001101100111011010010100101000000001111110001000000010101100110010100001101011110111100111110111000010101111000100011001110100101110101000001111111110001110101000110001001010000111100010001101110010000000101010000111111001101110001111110000111110111011001111011101100100101011000111111010110111001010110010000010110011111000000110101010001110101111010010011000100001011100011100011011100011000010101111111010110001110011111110001110100011000111000011110001100011010011001111101000101101110110001010011100000010101001011001011111010111111111000100111010100110011000111111000011010101001010000100010110110110001001001101010011110110101011001001101011011100011000000100100000101011001101010101100000011010000010111011011101100100101100101100000101111101111000000011001100010010000100111101101100111101101110011111000110000101010101011101000101110001010101001101000100100100110111010000001101011111100001010111001001110000110001010110010111011001010011110100001100101110100010010110001011010100110111000111011001001000110101101000011000100100010011000111011111010110001011000101010001101000001100101001001011011001010000011111111001011100010100101100000110011101001010001001011010010010110111101000111011100101001011101110001111000111010100001010101000101100011001011001110010010110001100111000001111001100100000110000101001010010111110101011101111001001101000001100000100001100100000101100100001101000101001110100000110001011101011000000000000000001101011111010110001100101100110100110001110010011001010101100010010100001110100000100101001001010000100110000100100010100000101111000111110010011110010011111011011001011000101001100100111011110111011110001001111010001111001110000110100001001101101001101011100110100011111001101100000110010111100101110011110101101010001001111111000000101000111010010011011101111101010110011011100000000110001011101010011101011101100101011101101001110010111011000010111111100101011111011101110110011110010001000010110011001001001100011111001001110101001000111110011111111000100110110111100001001100111110101100110100010011000000011000010001000110111001011101110010110011001010001000111010111010100100000111000101010100111110101011000001111110111001000010010001100001101101111110110010001001011011010111101110111001000110010010111111101111110010111001011110010010100000101010011111111000011110101011000101100101011000011010001110010011111000101111110011010111011000111100011110011110100110110101101011011010101011101101011001010110101010101000000011110000000010011010000011011111000010110010000100111011111100100010010011010100101000011101100101000011110001101000001111111101000001001001001101110001011111111100001110010001100111110010111101010111000001000101011110111001001010100010110100101111000100110010100101100000100100000101110001110101001111111110011101001010100100011100011011010111001101001010001011100101000110000100101100110010101100010100101111000111000001010010001111101001101001111100110111110100001101010000110100111100100010111111001000111000111010000011101100100011101111101101101110101011111010101010100011101000110000111011101000010101001101101101010111101101110100000001011111010000100011100011101101100010111011000011111001011010010011010011110110111111000001001001110000111011000111111110010011110110100110011101011010000101010101000011100011001110100110111010110010100101001110010011101000111110101101110001101010100110100010100001010100111010010010100111100010101101010110111000111000001000011111111100100010101000000110010111000110011010000001110000001110000100001011011011010111001001111101000110000011110001111010000101001001101100101000001100001010100010111010101000001110010110101110001010010100101110110100011110101000001011101010101101001111101001011010111110001101100000110011110100001111011100111100111011110001100011110101000110001011111001110111111000100111011111110010001001110111111100000110110110100100000111010000110110100011111001010001100011001100010110111010011011110011101011111100011100101001000000110101010111010100110111111001011100011100011001001110010110100010011110111101011101001001111100011011010110001100001011100000010001110100010100101010111011000101010111110000001100000100001110001110001100010111111101101111101001111100111011101010101010101111000011010111101001011100011110110111000100000111010010110111111010000001111111010010101100000101001010101011011011011000000000001110101010001111000000000110110101101000011011001101010101