2530x11001304512x113543x12141403011x151350x15143044521x154425x14311115335x1225054x12141332254x1305543x13303235510x1354352x12052052232x1442550x14400333223x1453550x14223024115x1545112x15403333255x1555553x15501400501x13500543x10121155210x13542523x14040022344x13545140x11110033125x1215131011141FULLTRS//ICFP_2010/4002.srs