0x11x100x10x1345x1435x122222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x1001010000100010111111111110110000010100100010101000011110001010010001100100011101110011111111000111001101011111010010000100101010100011000111000011100101100111010111110100001001000000101011000111001101011101110010110101011000011010011011110110000010101110011011000010101010001101001101100111001111001111010100011101000000001010111010010111010100110000111011100110111011101000001100001001001110101000011010001101111100010110101101101100101011001x10111010100111100011101011010111011101011010011011001011011001100111100110101001011000001000100101110111000011001001001000000000000101100010011001110010000000010100000110001000110000011011100011110111111100101110011010101001111101111011000001110001001011100010111101001000001000000110011100100110101011110010111101100100100100110101111101010101110010111000110110110100101100111111001000111001001010011111111101110111110100010110011100000100100100010x122222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x1011131415121FULLTRS//ICFP_2010/231604.srs