22x15110132112x1222x15301343205x1224x15101355041x1452x10301413505x1452x11102103012x1452x13021043132x12222x14120444355x12244x12001321424x12245x14330402512x120223x14015502121x122454x15024013534x124222x10421101155x142253x13340555001x142325x11430403512x152524x12551135031x155442x15503201412x1144244x14101543414x1222341x10313504203x1222500x15512335043x1322454x13320553541x1351452x12140425125x1510322x14105431205x1524122x13540533311x1532241x11211553341x10054534x15515522004x12254544x15540145040x12422214x13441315322x15102220x11545443213x15400223x14330340021x15452223x10120021223x1215111013141FULLTRS//ICFP_2010/3989.srs