300x13331313233x10014x15235525114x10401x15322232231x14003x15334235523x14240x11150213034x15004x15231105444x104010x15235415532x110010x11044522332x124001x12023333341x130405x13411340522x132521x13223114311x150041x11311223003x1005000x10345444044x1100043x11552243233x1130532x11230331522x1132450x11110331520x1145021x11211213551x1204253x12142315541x1401001x14241341551x1414404x14133150244x1500040x15053411034x1542005x15451105214x10003243x15225540123x10024050x15224104434x10152043x10111320343x10433005x12541333005x11000003x15251125101x11000541x11231024341x11321201x11421311531x12020144x12023543013x12053050x12551211440x12142501x12402355453x12433253x12442322445x12530432x12253033030x13305304x13341055314x13414542x13533113112x13432412x13511153130x14254021x11111551451x14320105x14313301034x14332343x14030333544x15010500x15001134300x15401401x14145351241x1310111214151FULLTRS//ICFP_2010/4282.srs