0011x1021x1003300x1004040x1155210x1154310x1403422x145223x12241341x152453x103152315x103353515x131515042x13145052x1300220440x125502020x1301315142x1112424102x1304402444x12550334x10252434043x1035313403x11453111032x113253521x12404533320x103154550x113215110522x11025422053x132401002013x1240355133x144101331412x13124442122x1404220421414x145054554x1435434004250x1402033353124x12551512021334x13111252140044x13411311154341x1340035350444x111202411333513x15134511034020x114005225223025x115423013032205x122020053232032x1451533344204x14235425511440410x1412540532504240x150340004342433204x15233120430155234x155440552405123240x1032043124533011513x10143530411233140523x1030054504022140004x142100444305131235102x1441450424523422551x144414522014522145004x121214045325032022514x1532041414252344432524x15043002154425343055x1011121314151FULLTRS//ICFP_2010/86577.srs