04x1014233x104x1021434x1004x1115234x1011x1022111x1013x1024344x1024x1154344x1040x1012103x1123x1514144x1133x1021105x1133x1540323x1135x1114332x1200x1243444x1201x1215101x1201x1243523x1204x1202143x1204x1241431x1301x1314341x1305x1310232x1400x1252111x1405x1414514x1405x1421435x1502x1152102x1504x1103244x1504x1151034x1014111213151FULLTRS//ICFP_2010/3385.srs