0112x113012x10112x113102x10112x1231301x10120x110022x10124x102341x10124x110423x10124x112304x10124x121403x10124x1123405x10124x1211034x10124x1412230x10124x1450231x10420x104230x10420x1230400x10420x1340230x10420x1423040x10420x1430052x10424x1402314x10424x1404203x15120x121350x15120x131025x15120x1230015x15124x132514x15124x152134x15124x155214x15124x1034521x15142x134521x15142x1213454x15142x1334215x15414x1344154x15414x1413504x15414x1513454x15414x1515344x15420x154230x15420x1012345x15420x1453302x101204x1024130x101204x1203401x101204x1402310x101422x1123402x150124x1302145x151224x1522145x151240x1502134x151240x1503214x151314x1151340x151412x1215341x154114x1113454x154140x1340451x154320x1540323x154520x1505442x1011121314151FULLTRS//ICFP_2010/212094.srs