0012x13454453003x13222x10324441353x102452x10340000313x114051x15444543330x154120x10044304130x1032535x13134434335x1051150x10003133130x1125223x10424543433x1200123x11333134443x1201351x10034545301x1255001x14103431530x1304031x14445301031x1321550x14133404330x1324122x14445420342x1325220x13440213530x1341223x13541444445x1352035x13343434425x1400014x12303341314x1401324x14141331414x1430544x14345314424x1512350x12244244330x1530133x12441443133x1545553x13544243403x1550153x15444130543x1555022x12414343443x1555523x13304142443x10245223x10514413153x10304153x10033443005x10434522x10045342332x11320223x11343511123x11455220x13213445030x11502224x10513543314x11540213x10115334403x12015205x13400313025x12200224x12114454444x12305013x12310510313x12402250x11304544030x12450250x14431340511x12522524x14341304044x13202222x14531323505x13255245x13000324345x13255323x13105032433x13350222x14430433535x13452112x13453544205x14033154x11310003444x14124122x13453114405x15252332x14310313253x15322302x14543310502x15325250x15422443031x15522220x10535131030x15552110x14224542331x15552200x11403342331x1011121314151FULLTRS//ICFP_2010/5130.srs