0x11x100x10x1345x1435x12222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x1011011110000001111000010000111011111100001111111100001100100000010001110100011001000001001110101110101110100101111010101101001000101111010101100000100010111101100000100111100000100110001000110010011001000101000000001100101100001111111000110110010110110111010001110101010111110100111101011110111011100101010011110x10101010000100110110010001011111111000111001001000110000100110101111111110110100010010111111100001101100100101011000110111100100110000010011101100100111010010110110110010100001100011001011111111000001010111010111111101101000111011000000000000100011111001010100010111001100110001111110010000101101110001010101000100010x12222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x1011131415121FULLTRS//ICFP_2010/247992.srs