012x10034030302x105144x10515001032x112552x11050354032x125513x12501155155x135252x13553003043x143125x14302503431x145112x11015505203x151102x15531100422x1012424x10534100320x1012513x10403021550x1052011x10555103011x1141012x12520200033x1211413x14115515215x1231212x11333020034x1235112x12343220403x1235113x11034040101x1235124x11215503300x1325212x14310042043x1331253x10422223313x1451205x11340355303x1524412x15233003223x10411423x10100012043x10525231x10010255121x11012512x11523511003x11141214x11023050430x11142141x11300541531x11142434x15543004002x11212215x15410343313x11232424x15500335044x11235345x11053515201x11305235x11004235325x11341125x11534222031x11411120x11505152520x12011125x15203400425x12014113x12020045045x12125251x12453353101x12150240x12532503150x12311114x12033143505x12320510x14350330350x12324024x14454303354x12335252x11004220512x13142112x10122324004x13231132x10312002003x13235131x13143055551x13402240x10453030530x15201413x15400414554x15202114x15133353030x15205415x11152155115x1011121314151FULLTRS//ICFP_2010/3995.srs