14053x11411111423x1010312x13343543542x1102311x11302222511x1134530x11332441130x1210312x13353241111x1341012x13443542324x1520151x12441235411x1550122x15443324413x10001430x10432320230x10010151x12351014411x10102152x13245541411x10151402x13043502002x10253251x12503351411x10310405x13514454555x10341515x13435454125x10451553x15345454543x10502404x10433133511x10505053x13543123555x10515142x13323514413x10530515x12352512335x10542452x10333535511x11001501x13400230301x11140525x14134455445x11502150x13253023020x12013013x12234141413x12153012x12355535452x12210531x12354444351x12450542x12355511321x13105515x13232111445x13121053x13035342353x13130452x13552120111x14011525x12032414115x14025302x13541141002x14055150x14200203030x14315401x12530300301x14505012x15452141041x14515341x14454343551x14522442x14542141111x15045504x15503203204x15050104x15132300030x15054315x13403254355x15103402x10304350223x15121401x15412335414x15122053x15114223543x15151204x13523202051x15301334x10200411334x15303152x15223223552x15312124x10302323324x15324312x10222235134x15330310x13241133540x15343031x15523544134x101012x10111132232x151031x15441115411x1005315x12325511235x1155120x11550223020x10245253x13233551233x10403140x13332130230x12010515x10410435435x13054310x13223443210x14024213x12522355213x1511131214101FULLTRS//ICFP_2010_relative/4412.srs