0123x11405405442x110245x11054413555x114033x11451112130x114035x15131151105x114352x12431015502x114503x15155115042x123333x13555244512x123341x12503151055x150352x11344444440x153033x15443511115x1014323x12512115532x1023414x12115421445x1102333x11404315125x1135313x11051124551x1153530x10151110500x1214353x13101342042x1403235x14251113111x1410333x14555224423x1500231x11155520241x1502341x15132514155x1504502x11552334402x1523233x11132221132x10120045x10111142055x10203531x13101250114x10224533x12431225543x11041015x15551511515x11353452x11014344152x11403213x12031452244x11521023x11413501055x11523140x11444524055x11531233x13031013420x12012504x12441101344x12200331x14423415541x12302001x12322441055x12334521x14423142155x12353435x12232155440x12415334x12351555204x12420353x14251511313x13053452x13101224455x13214035x13140533015x13305303x13014255532x13333051x13201342111x13352031x13342442211x13352523x13422151312x13504520x13131133105x14052345x14433155215x14153340x13111042422x14523340x10511243113x14543423x14405444513x15033125x15554001110x15033454x15133354444x15345233x15431150131x1011121314151FULLTRS//ICFP_2010/4017.srs