0112x10134224222x14014x14231133324x135045x10333131134x1020403x10223422311x1040112x10042424232x1043235x15505212245x1044404x10545341424x1115012x12222505452x1123203x12431333131x1203023x12410005023x1214432x12233414232x1330354x13342224154x1335431x13242151313x1351512x13422114322x1353110x14142123130x1410442x14232331422x1432033x11534131131x1453202x14212125131x10112032x10220524132x10302513x15505411323x10303054x10200533334x10351130x15505514110x10401253x10521333341x10504345x10520542235x11203254x11155002124x11300115x11142255255x11340402x13441425222x11515232x15202331112x11523050x11524242130x11532535x12443522005x11544532x11205222052x12030544x12522110331x12034444x15222313434x12302034x12350001421x12351005x11200050522x13023054x12230005224x13032012x11352434212x13044402x13133112222x13201330x12250242120x13430440x13422120340x13444435x13345142115x13500324x12100055534x13540334x11313322421x14201130x14252231420x14445340x11524242400x14455324x15214542121x14503030x14141000251x14504300x14221133010x15311353x10055424241x15322013x10055553331x15410420x15100014241x1011121314151FULLTRS//ICFP_2010/3831.srs