00000011011110100100x100111011010110000000x100001011101000101001x101110101100000000011x100001011101001111010x100001101011001101110x100010011101101101011x101011111010001110001x100010111000101101011x100011100101101110001x100010111000111110100x100100011110001010101x100011001001000010010x100000010001100100010x100011011101110100000x100100111000011111000x100100001001010011101x100111001110100100000x100100010011110010101x100111000110001010101x100100010101101000010x100000011000011110010x100100011101010000110x110010011001000001001x100100101011010010001x100110100101000011001x100100110110110000011x111101111000000000011x100100111001110101101x101110011001011000111x100101010011100111010x101001110110010011100x100110010101010011000x100001001010010001011x100110011111001000001x100111110000000101110x100110101111011010100x101010010011111011100x100111010100110001001x111000000000011101111x100111010110010110101x101001000110111011110x101000000110101011000x100100001001010001010x101000100000100101010x110000100000010100001x101001011001011110100x111100100110100001001x101010001001001011011x101110000001010110101x101010010000101010110x100100010000110010101x101011011010100001010x100010010010101001101x101011101001101001100x100010000011001101111x101101001000010101010x100100100110101000001x101101010100010110100x100010101001101100001x101110100111100111010x100101110101010010111x101111110000000101110x101010100111100001001x110000000111001110101x110000100011100001111x110000001111010100010x111100000100101000001x110000101100100101100x110010000010100111100x110001000101001110110x111000000110100110010x110001111010001000100x111000110000000011010x110001111010110001100x110001100000111111100x110001111010111000000x100010010001000010001x110010000011111101000x110000001010110001101x110010001101001001101x111011010100000110001x110010100011110001001x100110000011010000001x110011000000111111010x101111000000011000010x110011000011101100000x110000110010001100000x110011000101000011100x100000001000001010100x110011001110010000100x110000001100000111000x110011011001011011011x110111100100011010111x110011011110110011000x100010011100101010100x110011100000111011100x110100111000000111001x110011110100111001010x110010010011011101110x110100001111010010000x110000001100000100100x110100010010110000100x110100001010110000000x110100010100111100101x110001010010111100011x110100010101001101100x110000110110010100100x110100011111001001100x100000011000111011000x110100101101001110100x110010101001000110011x110100111011110010110x110111010110011100110x110100111100010011100x111101000010101000011x110101000001101010001x100000100100100100100x110101010101110100100x111101000011010000011x110101010111011100100x110101010100011111100x110101100000001000110x101000000001100000010x110101110000010110110x101010000011000101010x110101110101110001000x100011100000100111000x110110000001001000111x111000001001000110001x110110000010101110101x111110001000000101111x110110000101010100000x110001000000110010001x110110010001110000101x100001110100010000001x110110100001010101110x110011111010010100100x110110110011001100010x101000110000101000011x110110110011010101010x110110111001011000110x110111000010100111100x110101000110001010101x110111100010001110101x111001111010100000111x111000001111010000000x100100010000000010000x111000100010111011000x110101000101000110001x111000100101100111010x110001100011111100010x111000100101110100100x111010000001101011000x111000110101011010000x110000001101001101010x111001010010010001110x101001000100011000100x111010010001000111111x110000110011110001111x111010100000010111001x110000001100001111011x111010101100010011011x111101101001101100001x111010111011100101000x110100100011101111100x111010111111000000010x110101101010100001001x111011100001110111010x101011100001100100011x111011101010010100000x110000001101001010011x111100010110100010101x110110111001000011001x111100011001101001000x111001111000100000001x111100101100100101101x111000110101111010001x111100110010111001100x110110100010100010111x111101001001011100110x100101010100100011010x111101001110001000100x110011100110110000100x111101011101001100110x101011101001000011001x111110110001000010000x110000001100100010100x111111000010010000011x100010000101011000001x111111001010010011010x111100001100101101110x111111001010101110000x110100101000110011011x111111001111110001111x110110110001100010010x111111011100110000000x111100010001101100010x10111FULLTRS//ICFP_2010/152865.srs