021x10401451501x1113x11212225142x10003x14240253345x11023x11125412432x11353x13545243254x102313x11012131312x103453x12025124455x105213x12425243024x121310x10145155230x1052220x12543025121x1200520x14042144401x1205302x12535145002x1210215x12541322545x1515102x14500431104x10522210x10323141010x10535315x10134014515x11151443x11034410255x11323053x11401540325x11524211x14414143103x12020210x12023424440x12455135x12121444344x13005521x10243232103x13152305x15340452004x1012111415131FULLTRS//ICFP_2010/5011.srs