010x12223340033x1410x10343334303x13014x13250343433x15314x10333443330x1013523x10133233054x1014245x10020503331x1100414x11411034333x1153110x11033205433x1153240x14103033323x1214150x12443433232x1242141x10030033022x1253154x12233352221x1300231x13551332201x1311010x13034041513x1532100x13334403035x1535325x13334433505x10010123x10333503430x10114140x10443252333x10241524x14254132333x11231532x11302533455x11445325x14344333425x11502310x15230332330x11531153x14542532334x11542440x11510204330x12031513x15503404433x12101024x12545504332x12141200x11323340403x12144441x11420353341x12313141x12253023331x12314501x10043353111x12413155x14553300433x12444410x10250505033x13102144x13204331142x13103043x13405333503x13141010x13040533405x13142153x13103340330x13153050x13221433514x13153124x13311012124x13154432x13251043344x13221410x13120333550x14024432x14521233513x14055311x13331011121x14243110x14104405433x14550240x13330034240x15131441x10445233351x15153110x13134332213x15200224x13335134024x15311554x15333155451x15354131x10334351231x15510110x12554512233x1011121314151FULLTRS//ICFP_2010/4157.srs