SAT
11011100001000101010100100101000100001000110000100110001011100011110001000010100101100000000011101000110111111111110111110101111010101111110100010110100100000010010110001110101111101101101000000111100111111010111101100000010000000011101110001110000001011001001000101001000011110110110100101011100100110101111100010000011100110111000000011110011110100110101100001011101100101010011000011001000010100110101010111011000000101010000011110110010111101101010111110000111100001000011110110100100100101010111001110011101110100100011110000111101100110000100010100111111100110110111010110000011011100101100001001001011010001010101001111011111111011101001110011111001100100111001100000001100001100001111101110000110100111011110000111000011000010000110010111111100000100010111100000011000111101010001010100101100100000101110011100011000010011101010111011000010011001001010000010000000001100010100111000010111101001000101110111010110001010000100101101111110010010010100000100110110100011111110110000011001010011101100010101001000101001101010000110011011011101111010010110111100110111010101100111110010101100001010110010101110011110101000000111101110000010000011000010011010001100100001011011010111100101100000010010011101010000100110101101100110011010011101011010100000111010010101110001100001110110000000001001110111111101111100011001110110100000101011010010101000101001110111100000101110001100100110000011111010010100000101101010110110111110011110110011101000110111101111101110110111000011101100100011101010101100111110001110110100011100000101010101010111001001010100001001001000001000101011110010011011111001001011000110011011100001111101010010011010011000110110110100011000101000010010011101010010010000110110001101110110110011101001101100001110101110011011001110100010010010010100101110010110100101111011010010000011011110101100010111011001011001011100111101100000010010101100001000010100111000001010001010101101100111010110111100000011001111101101100111001101101100111010001001111100001011010010111001101101011101010100111000110100001001110010011010110100100110110001110001001000001010011001110000110010110010011110001011101001000001111100001101001100101111001111001101101101000100010100010001011100000111100100101011001001000011011011001011011111111101000111011000100000100111100000000001001101011110110100010000111111010110111001010100110010001010100111000010100011001001001111110000110010100101001000101100011001110111100001100110101010010000010111110110100011000000100110000010000001011101011110111010100100001001110001110000010100000010011010101011101111001010110101010110110010000111010010010000100001010101101110101101100100110001100100111100100110000110110000101101010101001010000110011011101001101111011111101001010001010111100011001110000001110111100101111111000110111010100000110100011101111010011010011101111101101110010010000100011100111100101011000110010011010110111110000110010000000111010111000000000111100001010001111100010110110010110000111000101011100011011100100101000001010111011011100011011101110000111110011010100110011011100101110000111011101110000001001111010011001010111110111101001111001111010110010110011011010111011000100100001011110001100101111110110001001011010001111011001111111010100111001111001010110010111110110101000111110000010101101010000000000010100100011000010111010001000111110100011000001001100100101111011110111110100101011001110001011101011111111101010111111100001111111110100100010101010010010110001110010001100110010111111010011110001101110101001000000101101001001011111101000111011011000010101011010110011010110101010111011101000010011001110101010000101011111001110110000011010100110110010110111100110101101110011101101100011100101101011100001010100001101000010111000111011111010000001111110011111101011001010010010100011110001001110001100100101000010000000110111011001000000010001