042x15333503113x12304x12335311532x13004x13034303032x111002x11150441412x112032x14203434353x140532x12413141232x152004x15303530302x154200x15450135311x1010000x10225015521x1125300x14305024335x1132410x14321244150x1134000x11532233141x1202000x12510131300x1240410x12141525041x1300001x12330515101x1300152x12444141013x1324105x13331144105x1334000x13033343300x1432005x11050241305x1453010x14031310421x1512004x15335103522x10330020x10331135430x10540010x14444145110x11004402x15455045224x11200512x14240353042x11324420x11131552130x11340002x10121413124x12000145x15040254554x12010002x13231303024x12010054x12412205014x12045320x12323103034x12051312x12325512330x12051332x13433344142x12230020x12150452300x12244004x12334550402x12520104x13450031304x13003312x13525121412x13005312x13154304144x13202205x13201343415x13224100x13504504031x13250000x12455513541x13410001x13245024331x13411413x13510501315x14003445x12413134224x14402000x10203041301x15120012x10254150224x15200111x10211003111x15204344x15410502444x15240020x15214530211x15401425x15244333045x1014121513111FULLTRS//ICFP_2010/3939.srs