14053x11411111423x1010312x13343543542x1102311x11302222511x1134530x11332441130x1210312x13353241111x1341012x13443542324x1520151x12441235411x1550122x15443324413x10001430x10432320230x10010151x12351014411x10102152x13245541411x10151402x13043502002x10253251x12503351411x10310405x13514454555x10341515x13435454125x10451553x15345454543x10502404x10433133511x10505053x13543123555x10515142x13323514413x10530515x12352512335x10542452x10333535511x11001501x13400230301x11140525x14134455445x11502150x13253023020x12013013x12234141413x12153012x12355535452x12210531x12354444351x12450542x12355511321x13105515x13232111445x13121053x13035342353x13130452x13552120111x14011525x12032414115x14025302x13541141002x14055150x14200203030x14315401x12530300301x14505012x15452141041x14515341x14454343551x14522442x14542141111x15045504x15503203204x15050104x15132300030x15054315x13403254355x15103402x10304350223x15121401x15412335414x15122053x15114223543x15151204x13523202051x15301334x10200411334x15303152x15223223552x15312124x10302323324x15324312x10222235134x15330310x13241133540x15343031x15523544134x1114101513121FULLTRS//ICFP_2010/4412.srs