0001x1010023x10041x142010x10041x1021420x10041x1105420x10041x1342010x10340x1030242x10340x1034202x10340x1045305x10440x144200x10440x1040242x10440x1420024x10440x1420042x10440x1420420x10441x101442x10441x114420x10441x1014423x10441x1015442x10441x1154420x10441x1240154x10441x1244120x10441x1245401x10441x1424210x11440x1544201x11441x1214124x11441x1234141x11441x1241214x11441x1242141x14000x1042005x14001x1230104x14040x1242004x14040x1342040x14041x1242041x14340x140342x14340x144203x14340x1042342x14340x1230445x14340x1234402x14340x1240342x14340x1420423x14340x1430542x14340x1442302x14340x1445303x14341x134241x14341x1142423x14341x1231454x14341x1234214x14341x1242314x14341x1314242x14341x1342451x14341x1345341x14440x1242440x14441x1242414x14441x1424124x14441x1454154x100400x1042000x101350x1013053x103400x1342000x103501x1010523x103541x1510453x104340x1023440x114400x1414200x114401x1144120x114441x1241441x140041x1442010x140440x1404240x141001x1420110x141340x1314240x143100x1142300x143100x1314200x143150x1145301x143240x1420342x143441x1443142x143500x1405230x143501x1235401x143540x1034545x143540x1045342x143540x1445302x143540x1543420x143541x1342451x143550x1023545x143551x1154253x144001x1404201x144441x1444124x144501x1450142x1011121314151FULLTRS//ICFP_2010/157593.srs