01122x10031x1324413x135131x1432041x154251x12444504x123252320x15350232x15423412x154025340x13501540x1530004155x154551525x11133315024x1112553250x102003354140x10234103535x111013301325x11004444145x133331014312x135204510202x134232154242x1502504134x1200312104240x121103020411x1415145031524x15002225324144x1445551325443x1542544523123x13242513451452x15104011320152x145315445252504x1544425414454004x1044405215031014x103552035331254x1420253102100430x1020032152412141x1514533052102514x15413342114120324x14053445222100344x152250322302032324x130053235350332133x1115342425142251531x1004345211151253315x1000430402543143315x1455344220311104204x1523024232325251034x10004423450312551344x10022105512523455510x14201514443251513200x1525455535323405x15225000313334314241x15234443455055525x1024112420144550403155x15504123512141053535x1132220452535534423000x113332542405445432004x1521412341350433553525x1521255051215543225035x1011121314151FULLTRS//ICFP_2010/86636.srs