0102x1344x12003x1341x153501x15230x1001223x140223x1053143x114052x120435331x121222031x124023002x12403442x1214041502x1332230334x1504001350x1500035532x1535442221x1503004521x12042333542x13442023352x14432011402x12340012134x115524240330x113545553242x1255011514233x142303002323x1302452120251x131305022404x1333430044505x131550310525x10535105124450x10310455255240x12524153310253x12313351203230x12553531312500x12555045511322x13533323024213x1513140015045x120302310030353x13402144405552x135331240435421x152014433353412x13550220035133535x131420340415425x15535053523133402x1524244055134040x1221340114222044244x1434455010132551144x10302225524435100033x1331345520423115123x133433430253145252435x15250501113244032415x1215530133312052035222x130334014513334121321x1513403025302201233411x150114201121404312002x1540032530304504451113x1525103532100554544222x1011121314151FULLTRS//ICFP_2010/85675.srs