0x11x100x10x1345x1435x12222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x1111011000001101110010110111100011110010001101000010101010100101101100000110100010000100111111110010000010101110111100010000101100010001000010000110110100111111001000000111111111111011000000110111101101111110001101000x10011110000000011001101101000100011010111011100000000110001011101101000100111011001011001111010101100110001010001101101010111111110100010101001011110001011110100111101000111001100111100001100100100010101111100110010010010x12222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x1011131415121FULLTRS//ICFP_2010/249386.srs