0x11x100x10x1345x1435x122222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x1000110110001010101111011000101100111011110011000001111011111001100101001001111001110111010001011001010101111000010000001111000010101001101111101010001010100111010010010110001100100101101000001x11100100111101100110000101011110011010000010100111110110101111001001100100010011000110010110000011010001101010011100101001001010111010101111010000010110000101011111101010101000001111001111111000001x122222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x1011131415121FULLTRS//ICFP_2010/231300.srs