424x12005335204x144242x12052140201x1054243x15155353000x1114533x11311301221x1314312x10011423003x1324241x10211153133x1330412x13512020531x14145054x14153105310x14405422x14043444541x15453243x12555045014x1x10010010231x1x10101020413x1x10101350225x1x11000233133x1x11503230321x102x10203013225x113x11350010352x122x12213101221x122x12215452015x124x12113134131x124x12500120314x132x10500520055x140x10150131542x1002x10145410530x1124x10250032244x1222x12310120550x1240x11550033440x1252x12050203321x1312x13320333120x1333x13021103023x1333x13155233331x1403x14345200051x10254x11043035005x10322x10305021231x11142x13034315015x11224x13230210144x12242x12255150342x13333x11352003530x13402x13540301510x102224x10023113104x102224x10234114545x115312x11130213110x123354x12325023334x124202x12303341201x124334x12014312312x130242x13250205013x131423x10340401000x142434x11005524122x144503x11050514503x1033522x10054225235x1042512x10051412033x1141430x11230511442x1224330x11042120141x11224433x11432342003x12124403x12354432031x12224212x11505541233x12244224x12252342244x12315405x10510334143x14454355x15210145355x15124134x12200011314x1115131214101FULLTRS//ICFP_2010_relative/4046.srs