012x1341x10202x13544x11045x11545x122104x115425x1110143x1114233x1140204x1144245x12220350x10524450x100400530x100002450x112430544x11423314x1025441342x1004545422x1124144314x1115552432x15541015355x13434440425x100252103154x104245551031x1423545143041x1320221311x1525002251222x150310101553x12232202223024x12413243144541x14022324255533x14050404244253x103543050312451x10021255430011x104241504034312x100540401220001x1255442331553253x124053354243152x10545112530453543x10050340203225543x12331245432504223x10400454521150243x1231250532251215041x11153311544522352551x12552500103334132335x13240155403442031035x124410332550354433133x1301232114443451415x1011121314151FULLTRS//ICFP_2010/96176.srs