Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2 | SAT (TO) | 578394884 | 2520.07 | 2519.81 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-20-0420_c18.xml |
| MD5SUM | a9a1ecda6b6f8f1e99c2d233168bcaa1 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 506362597 |
| Best CPU time to get the best result obtained on this benchmark | 126.294 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 7590 |
| Number of constraints | 4736 |
| Number of domains | 77 |
| Minimum domain size | 1 |
| Maximum domain size | 151 |
| Distribution of domain sizes | [{"size":1,"count":5},{"size":2,"count":2665},{"size":11,"count":2250},{"size":12,"count":1},{"size":25,"count":16},{"size":29,"count":112},{"size":33,"count":7},{"size":35,"count":61},{"size":39,"count":31},{"size":41,"count":3},{"size":44,"count":12},{"size":45,"count":29},{"size":47,"count":9},{"size":48,"count":23},{"size":49,"count":22},{"size":50,"count":3},{"size":51,"count":51},{"size":52,"count":61},{"size":54,"count":8},{"size":57,"count":6},{"size":58,"count":4},{"size":59,"count":3},{"size":60,"count":3},{"size":61,"count":12},{"size":63,"count":25},"...",{"size":92,"count":2}, {"size":93,"count":25}, {"size":97,"count":3}, {"size":101,"count":4}, {"size":102,"count":9}, {"size":103,"count":191}, {"size":105,"count":1}, {"size":108,"count":5}, {"size":109,"count":2}, {"size":111,"count":1}, {"size":112,"count":6}, {"size":115,"count":10}, {"size":116,"count":22}, {"size":118,"count":95}, {"size":122,"count":59}, {"size":123,"count":1}, {"size":124,"count":1}, {"size":125,"count":117}, {"size":126,"count":92}, {"size":127,"count":5}, {"size":137,"count":27}, {"size":138,"count":29}, {"size":140,"count":24}, {"size":141,"count":77}, {"size":151,"count":1259}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2251 |
| Distribution of variable degrees | [{"degree":2,"count":6752},{"degree":3,"count":9},{"degree":4,"count":14},{"degree":5,"count":23},{"degree":6,"count":28},{"degree":7,"count":33},{"degree":8,"count":45},{"degree":9,"count":53},{"degree":10,"count":63},{"degree":11,"count":79},{"degree":12,"count":105},{"degree":13,"count":196},{"degree":14,"count":147},{"degree":15,"count":22},{"degree":16,"count":8},{"degree":17,"count":9},{"degree":18,"count":1},{"degree":19,"count":1},{"degree":20,"count":1},{"degree":2251,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":237},{"arity":3,"count":2249},{"arity":6,"count":2250}] |
| Number of extensional constraints | 2250 |
| Number of intensional constraints | 2486 |
| Distribution of constraint types | [{"type":"extension","count":2250},{"type":"intension","count":2486}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.10 c 0.00/0.10 c This is cosoco 2.00 -- 0.00/0.10 c 0.00/0.10 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389752-1568360216.xml 0.00/0.10 c intension eq(dist(f[36],f[400]),40) -> extension (support ? 1) - 50tuples 0.00/0.10 c intension eq(dist(f[300],f[393]),40) -> extension (support ? 1) - 230tuples 0.10/0.11 c intension eq(dist(f[178],f[57]),40) -> extension (support ? 1) - 282tuples 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension eq(dist(f[280],f[323]),40) -> extension (support ? 1) - 30tuples 0.10/0.13 c intension eq(dist(f[197],f[382]),40) -> extension (support ? 1) - 282tuples 0.10/0.13 c intension eq(dist(f[101],f[208]),40) -> extension (support ? 1) - 230tuples 0.10/0.13 c intension eq(dist(f[11],f[179]),40) -> extension (support ? 1) - 58tuples 0.10/0.14 c intension eq(dist(f[317],f[338]),40) -> extension (support ? 1) - 282tuples 0.10/0.15 c intension eq(dist(f[244],f[60]),40) -> extension (support ? 1) - 38tuples 0.10/0.15 c intension eq(dist(f[125],f[369]),40) -> extension (support ? 1) - 106tuples 0.10/0.15 c intension eq(dist(f[119],f[18]),40) -> extension (support ? 1) - 38tuples 0.10/0.15 c intension eq(dist(f[22],f[81]),40) -> extension (support ? 1) - 50tuples 0.10/0.15 c intension eq(dist(f[370],f[38]),40) -> extension (support ? 1) - 38tuples 0.10/0.16 c intension eq(dist(f[130],f[96]),40) -> extension (support ? 1) - 282tuples 0.10/0.16 c intension eq(dist(f[110],f[391]),40) -> extension (support ? 1) - 70tuples 0.10/0.17 c intension eq(dist(f[124],f[406]),40) -> extension (support ? 1) - 282tuples 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension eq(dist(f[136],f[387]),40) -> extension (support ? 1) - 38tuples 0.10/0.18 c intension eq(dist(f[242],f[6]),40) -> extension (support ? 1) - 282tuples 0.10/0.19 c intension eq(dist(f[403],f[407]),40) -> extension (support ? 1) - 82tuples 0.10/0.19 c intension eq(dist(f[106],f[224]),40) -> extension (support ? 1) - 38tuples 0.10/0.20 c intension eq(dist(f[0],f[226]),40) -> extension (support ? 1) - 282tuples 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension eq(dist(f[142],f[311]),40) -> extension (support ? 1) - 38tuples 0.10/0.20 c intension eq(dist(f[166],f[92]),40) -> extension (support ? 1) - 30tuples 0.10/0.21 c intension eq(dist(f[53],f[73]),40) -> extension (support ? 1) - 282tuples 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension eq(dist(f[285],f[312]),40) -> extension (support ? 1) - 82tuples 0.21/7.15 c intension eq(dist(f[111],f[137]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[134],f[63]),40) -> extension (support ? 1) - 30tuples 0.21/7.15 c intension eq(dist(f[282],f[363]),40) -> extension (support ? 1) - 58tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[131],f[164]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[108],f[259]),40) -> extension (support ? 1) - 70tuples 0.21/7.15 c intension eq(dist(f[263],f[67]),40) -> extension (support ? 1) - 106tuples 0.21/7.15 c intension eq(dist(f[246],f[342]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension eq(dist(f[152],f[264]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[69],f[7]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[231],f[310]),40) -> extension (support ? 1) - 70tuples 0.21/7.15 c intension eq(dist(f[30],f[314]),40) -> extension (support ? 1) - 50tuples 0.21/7.15 c intension eq(dist(f[135],f[168]),40) -> extension (support ? 1) - 58tuples 0.21/7.15 c intension eq(dist(f[45],f[54]),40) -> extension (support ? 1) - 82tuples 0.21/7.15 c intension eq(dist(f[109],f[37]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[114],f[307]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[155],f[173]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension eq(dist(f[15],f[174]),40) -> extension (support ? 1) - 230tuples 0.21/7.15 c intension eq(dist(f[293],f[364]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[140],f[243]),40) -> extension (support ? 1) - 74tuples 0.21/7.15 c intension eq(dist(f[378],f[83]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[193],f[257]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension eq(dist(f[116],f[395]),40) -> extension (support ? 1) - 58tuples 0.21/7.15 c intension eq(dist(f[120],f[235]),40) -> extension (support ? 1) - 74tuples 0.21/7.15 c intension eq(dist(f[351],f[379]),40) -> extension (support ? 1) - 70tuples 0.21/7.15 c intension eq(dist(f[162],f[49]),40) -> extension (support ? 1) - 50tuples 0.21/7.15 c intension eq(dist(f[170],f[306]),40) -> extension (support ? 1) - 102tuples 0.21/7.15 c intension eq(dist(f[23],f[376]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[145],f[215]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[148],f[233]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[267],f[32]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[398],f[77]),40) -> extension (support ? 1) - 50tuples 0.21/7.15 c intension eq(dist(f[1],f[247]),40) -> extension (support ? 1) - 70tuples 0.21/7.15 c intension eq(dist(f[204],f[91]),40) -> extension (support ? 1) - 58tuples 0.21/7.15 c intension eq(dist(f[115],f[419]),40) -> extension (support ? 1) - 230tuples 0.21/7.15 c intension eq(dist(f[330],f[47]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension eq(dist(f[172],f[210]),40) -> extension (support ? 1) - 30tuples 0.21/7.15 c intension eq(dist(f[10],f[192]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[107],f[399]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension eq(dist(f[315],f[42]),40) -> extension (support ? 1) - 70tuples 0.21/7.15 c intension eq(dist(f[309],f[345]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[241],f[374]),40) -> extension (support ? 1) - 106tuples 0.21/7.15 c intension eq(dist(f[386],f[46]),40) -> extension (support ? 1) - 102tuples 0.21/7.15 c intension eq(dist(f[251],f[350]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[158],f[50]),40) -> extension (support ? 1) - 230tuples 0.21/7.15 c intension eq(dist(f[12],f[68]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[31],f[337]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension eq(dist(f[318],f[355]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[182],f[51]),40) -> extension (support ? 1) - 82tuples 0.21/7.15 c intension eq(dist(f[167],f[360]),40) -> extension (support ? 1) - 50tuples 0.21/7.15 c intension eq(dist(f[225],f[324]),40) -> extension (support ? 1) - 70tuples 0.21/7.15 c intension eq(dist(f[203],f[365]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension eq(dist(f[328],f[418]),40) -> extension (support ? 1) - 82tuples 0.21/7.15 c intension eq(dist(f[141],f[206]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[388],f[79]),40) -> extension (support ? 1) - 82tuples 0.21/7.15 c intension eq(dist(f[2],f[348]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[234],f[361]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[396],f[40]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension eq(dist(f[127],f[64]),40) -> extension (support ? 1) - 50tuples 0.21/7.15 c intension eq(dist(f[13],f[90]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[274],f[58]),40) -> extension (support ? 1) - 50tuples 0.21/7.15 c intension eq(dist(f[354],f[71]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[269],f[402]),40) -> extension (support ? 1) - 50tuples 0.21/7.15 c intension eq(dist(f[349],f[377]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension eq(dist(f[163],f[34]),40) -> extension (support ? 1) - 30tuples 0.21/7.15 c intension eq(dist(f[262],f[353]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[346],f[39]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension eq(dist(f[198],f[265]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[133],f[232]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[401],f[80]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[213],f[375]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension eq(dist(f[180],f[85]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[373],f[41]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[33],f[404]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[19],f[299]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension eq(dist(f[303],f[313]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[290],f[98]),40) -> extension (support ? 1) - 230tuples 0.21/7.15 c intension eq(dist(f[176],f[281]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[102],f[308]),40) -> extension (support ? 1) - 50tuples 0.21/7.15 c intension eq(dist(f[228],f[78]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[291],f[326]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[205],f[258]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[112],f[194]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[248],f[87]),40) -> extension (support ? 1) - 82tuples 0.21/7.15 c intension eq(dist(f[279],f[29]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[410],f[44]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[266],f[325]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[147],f[74]),40) -> extension (support ? 1) - 82tuples 0.21/7.15 c intension eq(dist(f[104],f[219]),40) -> extension (support ? 1) - 70tuples 0.21/7.15 c intension eq(dist(f[190],f[352]),40) -> extension (support ? 1) - 74tuples 0.21/7.15 c intension eq(dist(f[103],f[253]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[4],f[5]),40) -> extension (support ? 1) - 58tuples 0.21/7.15 c intension eq(dist(f[202],f[72]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[165],f[390]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[143],f[48]),40) -> extension (support ? 1) - 58tuples 0.21/7.15 c intension eq(dist(f[153],f[239]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[186],f[277]),40) -> extension (support ? 1) - 230tuples 0.21/7.15 c intension eq(dist(f[138],f[222]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[286],f[82]),40) -> extension (support ? 1) - 70tuples 0.21/7.15 c intension eq(dist(f[177],f[76]),40) -> extension (support ? 1) - 82tuples 0.21/7.15 c intension eq(dist(f[199],f[43]),40) -> extension (support ? 1) - 58tuples 0.21/7.15 c intension eq(dist(f[411],f[61]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension eq(dist(f[341],f[65]),40) -> extension (support ? 1) - 102tuples 0.21/7.15 c intension eq(dist(f[185],f[261]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[216],f[238]),40) -> extension (support ? 1) - 38tuples 0.21/7.15 c intension eq(dist(f[117],f[381]),40) -> extension (support ? 1) - 230tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[209],f[284]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[160],f[397]),40) -> extension (support ? 1) - 50tuples 0.21/7.15 c intension eq(dist(f[70],f[99]),40) -> extension (support ? 1) - 282tuples 0.21/7.15 c AllEqual constraint using 1 generic x=y constraints 0.21/7.15 c AllEqual constraint using 1 generic x=y constraints 0.21/7.15 c AllEqual constraint using 1 generic x=y constraints 0.21/7.15 c AllEqual constraint using 1 generic x=y constraints 0.21/7.15 c AllEqual constraint using 1 generic x=y constraints 0.21/7.15 c AllEqual constraint using 1 generic x=y constraints 0.21/7.15 c AllEqual constraint using 1 generic x=y constraints 0.21/7.15 c AllEqual constraint using 1 generic x=y constraints 0.21/7.15 c AllEqual constraint using 1 generic x=y constraints 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension ne(dist(f[329],f[88]),53) -> extension (support ? 0) - 0tuples 0.21/7.15 c intension ne(dist(f[203],f[206]),322) -> extension (support ? 0) - 0tuples 0.21/7.15 c intension ne(dist(f[250],f[72]),66) -> extension (support ? 0) - 0tuples 0.21/7.15 c intension ne(dist(f[214],f[76]),147) -> extension (support ? 0) - 0tuples 0.21/7.15 c intension ne(dist(f[222],f[330]),73) -> extension (support ? 0) - 0tuples 0.21/7.15 c intension ne(dist(f[259],f[91]),37) -> extension (support ? 0) - 0tuples 0.21/7.15 c intension ne(dist(f[343],f[80]),141) -> extension (support ? 0) - 0tuples 0.21/7.15 c intension ne(dist(f[222],f[289]),265) -> extension (support ? 0) - 0tuples 0.21/7.15 c intension ne(dist(f[374],f[413]),92) -> extension (support ? 0) - 117tuples 0.21/7.15 c intension ne(dist(f[419],f[59]),15) -> extension (support ? 0) - 0tuples 0.21/7.15 c intension ne(dist(f[1],f[400]),9) -> extension (support ? 0) - 0tuples 0.21/7.15 c intension eq(dist(f[1],f[49]),d[11]) -> extension (support ? 1) - 1575tuples 0.21/7.15 c intension eq(dist(f[108],f[1]),d[13]) -> extension (support ? 1) - 2025tuples 0.21/7.15 c intension eq(dist(f[142],f[1]),d[15]) -> extension (support ? 1) - 1305tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[195],f[1]),d[18]) -> extension (support ? 1) - 1305tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[1],f[324]),d[20]) -> extension (support ? 1) - 2025tuples 0.21/7.15 c intension eq(dist(f[1],f[402]),d[21]) -> extension (support ? 1) - 1575tuples 0.21/7.15 c intension eq(dist(f[135],f[4]),d[49]) -> extension (support ? 1) - 1521tuples 0.21/7.15 c intension eq(dist(f[172],f[4]),d[50]) -> extension (support ? 1) - 975tuples 0.21/7.15 c intension eq(dist(f[280],f[4]),d[52]) -> extension (support ? 1) - 975tuples 0.21/7.15 c intension eq(dist(f[282],f[4]),d[53]) -> extension (support ? 1) - 1521tuples 0.21/7.15 c intension eq(dist(f[392],f[4]),d[57]) -> extension (support ? 1) - 1131tuples 0.21/7.15 c intension eq(dist(f[5],f[64]),d[61]) -> extension (support ? 1) - 1365tuples 0.21/7.15 c intension eq(dist(f[5],f[80]),d[63]) -> extension (support ? 1) - 1131tuples 0.21/7.15 c intension eq(dist(f[264],f[5]),d[69]) -> extension (support ? 1) - 1131tuples 0.21/7.15 c intension eq(dist(f[353],f[5]),d[70]) -> extension (support ? 1) - 1131tuples 0.21/7.15 c intension eq(dist(f[10],f[119]),d[112]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[10],f[199]),d[114]) -> extension (support ? 1) - 1131tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[10],f[225]),d[116]) -> extension (support ? 1) - 1305tuples 0.21/7.15 c intension eq(dist(f[10],f[308]),d[117]) -> extension (support ? 1) - 1015tuples 0.21/7.15 c intension eq(dist(f[11],f[20]),d[120]) -> extension (support ? 1) - 1521tuples 0.21/7.15 c intension eq(dist(f[11],f[34]),d[121]) -> extension (support ? 1) - 975tuples 0.21/7.15 c intension eq(dist(f[11],f[199]),d[127]) -> extension (support ? 1) - 1521tuples 0.21/7.15 c intension eq(dist(f[11],f[323]),d[129]) -> extension (support ? 1) - 975tuples 0.21/7.15 c intension eq(dist(f[11],f[370]),d[130]) -> extension (support ? 1) - 1131tuples 0.21/7.15 c intension eq(dist(f[11],f[392]),d[132]) -> extension (support ? 1) - 1131tuples 0.21/7.15 c intension eq(dist(f[111],f[12]),d[134]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[12],f[198]),d[137]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[12],f[280]),d[140]) -> extension (support ? 1) - 725tuples 0.21/7.15 c intension eq(dist(f[12],f[397]),d[145]) -> extension (support ? 1) - 1015tuples 0.21/7.15 c intension eq(dist(f[18],f[81]),d[203]) -> extension (support ? 1) - 1015tuples 0.21/7.15 c intension eq(dist(f[108],f[18]),d[204]) -> extension (support ? 1) - 1305tuples 0.21/7.15 c intension eq(dist(f[18],f[233]),d[207]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[18],f[307]),d[208]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[18],f[390]),d[210]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[18],f[407]),d[211]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension eq(dist(f[20],f[48]),d[224]) -> extension (support ? 1) - 1521tuples 0.21/7.15 c intension eq(dist(f[165],f[20]),d[228]) -> extension (support ? 1) - 1131tuples 0.21/7.15 c intension eq(dist(f[168],f[20]),d[229]) -> extension (support ? 1) - 1521tuples 0.21/7.15 c intension eq(dist(f[20],f[361]),d[232]) -> extension (support ? 1) - 1131tuples 0.21/7.15 c intension eq(dist(f[20],f[364]),d[233]) -> extension (support ? 1) - 1131tuples 0.21/7.15 c intension eq(dist(f[20],f[395]),d[235]) -> extension (support ? 1) - 1521tuples 0.21/7.15 c intension eq(dist(f[22],f[36]),d[243]) -> extension (support ? 1) - 1225tuples 0.21/7.15 c intension eq(dist(f[127],f[22]),d[245]) -> extension (support ? 1) - 1225tuples 0.21/7.15 c intension eq(dist(f[224],f[22]),d[251]) -> extension (support ? 1) - 1015tuples 0.21/7.15 c intension eq(dist(f[22],f[231]),d[252]) -> extension (support ? 1) - 1575tuples 0.21/7.15 c intension eq(dist(f[22],f[314]),d[254]) -> extension (support ? 1) - 1225tuples 0.21/7.15 c intension eq(dist(f[23],f[51]),d[256]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension eq(dist(f[134],f[23]),d[257]) -> extension (support ? 1) - 725tuples 0.21/7.15 c intension eq(dist(f[195],f[23]),d[258]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[23],f[387]),d[262]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[23],f[395]),d[263]) -> extension (support ? 1) - 1131tuples 0.21/7.15 c intension eq(dist(f[23],f[404]),d[264]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[30],f[81]),d[335]) -> extension (support ? 1) - 1225tuples 0.21/7.15 c intension eq(dist(f[30],f[387]),d[337]) -> extension (support ? 1) - 1015tuples 0.21/7.15 c intension eq(dist(f[147],f[32]),d[352]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension eq(dist(f[224],f[32]),d[355]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[32],f[363]),d[356]) -> extension (support ? 1) - 1131tuples 0.21/7.15 c intension eq(dist(f[32],f[401]),d[357]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[32],f[408]),d[358]) -> extension (support ? 1) - 1131tuples 0.21/7.15 c intension eq(dist(f[33],f[64]),d[359]) -> extension (support ? 1) - 1015tuples 0.21/7.15 c intension eq(dist(f[224],f[33]),d[360]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[33],f[364]),d[364]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[166],f[34]),d[367]) -> extension (support ? 1) - 625tuples 0.21/7.15 c intension eq(dist(f[263],f[34]),d[369]) -> extension (support ? 1) - 1575tuples 0.21/7.15 c intension eq(dist(f[280],f[34]),d[371]) -> extension (support ? 1) - 625tuples 0.21/7.15 c intension eq(dist(f[308],f[34]),d[372]) -> extension (support ? 1) - 875tuples 0.21/7.15 c intension eq(dist(f[36],f[77]),d[384]) -> extension (support ? 1) - 1225tuples 0.21/7.15 c intension eq(dist(f[36],f[82]),d[385]) -> extension (support ? 1) - 1575tuples 0.21/7.15 c intension eq(dist(f[36],f[397]),d[389]) -> extension (support ? 1) - 1225tuples 0.21/7.15 c intension eq(dist(f[38],f[51]),d[403]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension eq(dist(f[164],f[38]),d[405]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[258],f[38]),d[407]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[291],f[38]),d[410]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[38],f[390]),d[413]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[42],f[44]),d[451]) -> extension (support ? 1) - 1305tuples 0.21/7.15 c intension eq(dist(f[42],f[82]),d[452]) -> extension (support ? 1) - 2025tuples 0.21/7.15 c intension eq(dist(f[280],f[42]),d[456]) -> extension (support ? 1) - 1125tuples 0.21/7.15 c intension eq(dist(f[310],f[42]),d[457]) -> extension (support ? 1) - 2025tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[291],f[43]),d[461]) -> extension (support ? 1) - 1131tuples 0.21/7.15 c intension eq(dist(f[131],f[44]),d[466]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[136],f[44]),d[467]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[168],f[44]),d[468]) -> extension (support ? 1) - 1131tuples 0.21/7.15 c intension eq(dist(f[355],f[44]),d[474]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[195],f[48]),d[497]) -> extension (support ? 1) - 1131tuples 0.21/7.15 c intension eq(dist(f[282],f[48]),d[499]) -> extension (support ? 1) - 1521tuples 0.21/7.15 c intension eq(dist(f[49],f[64]),d[500]) -> extension (support ? 1) - 1225tuples 0.21/7.15 c intension eq(dist(f[49],f[92]),d[501]) -> extension (support ? 1) - 875tuples 0.21/7.15 c intension eq(dist(f[135],f[49]),d[503]) -> extension (support ? 1) - 1365tuples 0.21/7.15 c intension eq(dist(f[205],f[49]),d[505]) -> extension (support ? 1) - 1015tuples 0.21/7.15 c intension eq(dist(f[398],f[49]),d[509]) -> extension (support ? 1) - 1225tuples 0.21/7.15 c intension eq(dist(f[164],f[51]),d[524]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension eq(dist(f[258],f[51]),d[525]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension eq(dist(f[291],f[51]),d[526]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension eq(dist(f[387],f[51]),d[528]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension eq(dist(f[54],f[60]),d[555]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension eq(dist(f[199],f[63]),d[630]) -> extension (support ? 1) - 975tuples 0.21/7.15 c intension eq(dist(f[238],f[63]),d[633]) -> extension (support ? 1) - 725tuples 0.21/7.15 c intension eq(dist(f[135],f[64]),d[637]) -> extension (support ? 1) - 1365tuples 0.21/7.15 c intension eq(dist(f[274],f[64]),d[639]) -> extension (support ? 1) - 1225tuples 0.21/7.15 c intension eq(dist(f[67],f[85]),d[657]) -> extension (support ? 1) - 1827tuples 0.21/7.15 c intension eq(dist(f[238],f[67]),d[663]) -> extension (support ? 1) - 1827tuples 0.21/7.15 c intension eq(dist(f[68],f[83]),d[669]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[147],f[68]),d[671]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension eq(dist(f[198],f[68]),d[672]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[267],f[68]),d[675]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[351],f[68]),d[678]) -> extension (support ? 1) - 1305tuples 0.21/7.15 c intension eq(dist(f[76],f[85]),d[753]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension eq(dist(f[291],f[76]),d[756]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension eq(dist(f[370],f[76]),d[758]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[77],f[83]),d[761]) -> extension (support ? 1) - 1015tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[314],f[77]),d[763]) -> extension (support ? 1) - 1225tuples 0.21/7.15 c intension eq(dist(f[216],f[79]),d[780]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension eq(dist(f[355],f[79]),d[784]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension eq(dist(f[387],f[79]),d[787]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension eq(dist(f[147],f[80]),d[791]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension eq(dist(f[216],f[80]),d[795]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[324],f[80]),d[796]) -> extension (support ? 1) - 1305tuples 0.21/7.15 c intension eq(dist(f[162],f[81]),d[798]) -> extension (support ? 1) - 1225tuples 0.21/7.15 c intension eq(dist(f[233],f[81]),d[802]) -> extension (support ? 1) - 1015tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[262],f[81]),d[804]) -> extension (support ? 1) - 1015tuples 0.21/7.15 c intension eq(dist(f[172],f[82]),d[808]) -> extension (support ? 1) - 1125tuples 0.21/7.15 c intension eq(dist(f[198],f[82]),d[809]) -> extension (support ? 1) - 1305tuples 0.21/7.15 c intension eq(dist(f[262],f[82]),d[810]) -> extension (support ? 1) - 1305tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[360],f[82]),d[812]) -> extension (support ? 1) - 1575tuples 0.21/7.15 c intension eq(dist(f[233],f[83]),d[818]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[307],f[83]),d[821]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension eq(dist(f[310],f[83]),d[822]) -> extension (support ? 1) - 1305tuples 0.21/7.15 c intension eq(dist(f[395],f[83]),d[823]) -> extension (support ? 1) - 1131tuples 0.21/7.15 c intension eq(dist(f[397],f[83]),d[824]) -> extension (support ? 1) - 1015tuples 0.21/7.15 c intension eq(dist(f[364],f[85]),d[835]) -> extension (support ? 1) - 841tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[244],f[87]),d[850]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension eq(dist(f[303],f[87]),d[851]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension eq(dist(f[401],f[87]),d[854]) -> extension (support ? 1) - 1479tuples 0.21/7.15 c intension eq(dist(f[199],f[91]),d[887]) -> extension (support ? 1) - 1521tuples 0.21/7.15 c intension eq(dist(f[210],f[91]),d[888]) -> extension (support ? 1) - 975tuples 0.21/7.15 c intension eq(dist(f[234],f[91]),d[889]) -> extension (support ? 1) - 1131tuples 0.21/7.15 c intension eq(dist(f[326],f[91]),d[894]) -> extension (support ? 1) - 1131tuples 0.21/7.15 c intension eq(dist(f[395],f[91]),d[895]) -> extension (support ? 1) - 1521tuples 0.21/7.15 c intension eq(dist(f[164],f[92]),d[897]) -> extension (support ? 1) - 725tuples 0.21/7.15 c intension eq(dist(f[244],f[92]),d[899]) -> extension (support ? 1) - 725tuples 0.21/7.15 c intension eq(dist(f[102],f[219]),d[981]) -> extension (support ? 1) - 1575tuples 0.21/7.15 c intension eq(dist(f[102],f[360]),d[983]) -> extension (support ? 1) - 1225tuples 0.21/7.15 c intension -> extension : same as previous 0.21/7.15 c intension eq(dist(f[104],f[106]),d[997]) -> extension (support ? 1) - 1305tuples 0.21/7.15 c intension eq(dist(f[104],f[108]),d[998]) -> extension (support ? 1) - 2025tuples 0.21/7.15 c intension eq(dist(f[104],f[163]),d[999]) -> extension (support ? 1) - 1125tuples 0.21/7.15 c intension eq(dist(f[104],f[286]),d[1000]) -> extension (support ? 1) - 2025tuples 0.21/7.15 c intension eq(dist(f[106],f[312]),d[1013]) -> extension (support ? 1) - 1479tuples 0.21/7.19 c intension eq(dist(f[106],f[351]),d[1014]) -> extension (support ? 1) - 1305tuples 0.21/7.23 c intension eq(dist(f[106],f[404]),d[1017]) -> extension (support ? 1) - 841tuples 7.24/7.28 c intension eq(dist(f[106],f[408]),d[1018]) -> extension (support ? 1) - 1131tuples 7.30/7.32 c intension eq(dist(f[108],f[224]),d[1024]) -> extension (support ? 1) - 1305tuples 7.30/7.38 c intension eq(dist(f[108],f[398]),d[1027]) -> extension (support ? 1) - 1575tuples 7.40/7.43 c intension eq(dist(f[110],f[262]),d[1042]) -> extension (support ? 1) - 1305tuples 7.40/7.50 c intension eq(dist(f[110],f[351]),d[1045]) -> extension (support ? 1) - 2025tuples 7.49/7.54 c intension eq(dist(f[110],f[364]),d[1046]) -> extension (support ? 1) - 1305tuples 7.49/7.57 c intension eq(dist(f[111],f[167]),d[1049]) -> extension (support ? 1) - 1015tuples 7.59/7.60 c intension eq(dist(f[111],f[195]),d[1050]) -> extension (support ? 1) - 841tuples 7.59/7.63 c intension -> extension : same as previous 7.59/7.63 c intension eq(dist(f[111],f[262]),d[1053]) -> extension (support ? 1) - 841tuples 7.59/7.65 c intension -> extension : same as previous 7.59/7.65 c intension eq(dist(f[114],f[131]),d[1079]) -> extension (support ? 1) - 841tuples 7.59/7.67 c intension eq(dist(f[114],f[210]),d[1082]) -> extension (support ? 1) - 725tuples 7.69/7.72 c intension eq(dist(f[114],f[247]),d[1083]) -> extension (support ? 1) - 1305tuples 7.69/7.76 c intension eq(dist(f[114],f[315]),d[1086]) -> extension (support ? 1) - 1305tuples 7.69/7.78 c intension eq(dist(f[114],f[326]),d[1087]) -> extension (support ? 1) - 841tuples 7.78/7.83 c intension eq(dist(f[114],f[418]),d[1088]) -> extension (support ? 1) - 1479tuples 7.78/7.89 c intension eq(dist(f[116],f[355]),d[1098]) -> extension (support ? 1) - 1131tuples 7.90/7.95 c intension eq(dist(f[119],f[204]),d[1120]) -> extension (support ? 1) - 1131tuples 7.90/7.99 c intension eq(dist(f[119],f[310]),d[1121]) -> extension (support ? 1) - 1305tuples 8.00/8.01 c intension eq(dist(f[119],f[311]),d[1122]) -> extension (support ? 1) - 841tuples 8.00/8.07 c intension eq(dist(f[120],f[210]),d[1127]) -> extension (support ? 1) - 1175tuples 8.09/8.11 c intension eq(dist(f[127],f[142]),d[1183]) -> extension (support ? 1) - 1015tuples 8.09/8.16 c intension eq(dist(f[131],f[231]),d[1209]) -> extension (support ? 1) - 1305tuples 8.09/8.18 c intension eq(dist(f[134],f[166]),d[1225]) -> extension (support ? 1) - 625tuples 8.09/8.19 c intension -> extension : same as previous 8.09/8.19 c intension eq(dist(f[134],f[210]),d[1228]) -> extension (support ? 1) - 625tuples 8.19/8.23 c intension eq(dist(f[134],f[388]),d[1231]) -> extension (support ? 1) - 1275tuples 8.19/8.28 c intension eq(dist(f[135],f[179]),d[1232]) -> extension (support ? 1) - 1521tuples 8.29/8.33 c intension eq(dist(f[135],f[262]),d[1234]) -> extension (support ? 1) - 1131tuples 8.39/8.40 c intension eq(dist(f[135],f[274]),d[1235]) -> extension (support ? 1) - 1365tuples 8.39/8.44 c intension eq(dist(f[135],f[323]),d[1236]) -> extension (support ? 1) - 975tuples 8.49/8.50 c intension eq(dist(f[135],f[326]),d[1237]) -> extension (support ? 1) - 1131tuples 8.49/8.54 c intension eq(dist(f[136],f[219]),d[1241]) -> extension (support ? 1) - 1305tuples 8.49/8.57 c intension eq(dist(f[136],f[308]),d[1243]) -> extension (support ? 1) - 1015tuples 8.59/8.60 c intension eq(dist(f[136],f[410]),d[1244]) -> extension (support ? 1) - 841tuples 8.59/8.62 c intension eq(dist(f[137],f[258]),d[1246]) -> extension (support ? 1) - 841tuples 8.59/8.65 c intension -> extension : same as previous 8.59/8.65 c intension eq(dist(f[137],f[307]),d[1248]) -> extension (support ? 1) - 841tuples 8.59/8.67 c intension eq(dist(f[137],f[397]),d[1250]) -> extension (support ? 1) - 1015tuples 8.69/8.71 c intension eq(dist(f[142],f[216]),d[1287]) -> extension (support ? 1) - 841tuples 8.69/8.77 c intension eq(dist(f[142],f[388]),d[1290]) -> extension (support ? 1) - 1479tuples 8.69/8.79 c intension eq(dist(f[142],f[402]),d[1291]) -> extension (support ? 1) - 1015tuples 8.78/8.85 c intension eq(dist(f[143],f[307]),d[1294]) -> extension (support ? 1) - 1131tuples 8.78/8.90 c intension eq(dist(f[143],f[370]),d[1295]) -> extension (support ? 1) - 1131tuples 8.89/8.97 c intension eq(dist(f[143],f[398]),d[1296]) -> extension (support ? 1) - 1365tuples 9.00/9.03 c intension eq(dist(f[147],f[192]),d[1326]) -> extension (support ? 1) - 1479tuples 9.00/9.08 c intension eq(dist(f[147],f[355]),d[1329]) -> extension (support ? 1) - 1479tuples 9.09/9.14 c intension eq(dist(f[147],f[404]),d[1330]) -> extension (support ? 1) - 1479tuples 9.09/9.16 c intension eq(dist(f[148],f[166]),d[1331]) -> extension (support ? 1) - 725tuples 9.09/9.19 c intension eq(dist(f[148],f[291]),d[1332]) -> extension (support ? 1) - 841tuples 9.19/9.24 c intension eq(dist(f[148],f[408]),d[1333]) -> extension (support ? 1) - 1131tuples 9.19/9.27 c intension eq(dist(f[152],f[166]),d[1353]) -> extension (support ? 1) - 725tuples 9.29/9.30 c intension eq(dist(f[152],f[195]),d[1354]) -> extension (support ? 1) - 841tuples 9.29/9.32 c intension eq(dist(f[152],f[244]),d[1355]) -> extension (support ? 1) - 841tuples 9.29/9.34 c intension eq(dist(f[152],f[280]),d[1356]) -> extension (support ? 1) - 725tuples 9.29/9.38 c intension eq(dist(f[152],f[315]),d[1357]) -> extension (support ? 1) - 1305tuples 9.39/9.41 c intension eq(dist(f[152],f[355]),d[1359]) -> extension (support ? 1) - 841tuples 9.39/9.49 c intension eq(dist(f[162],f[391]),d[1427]) -> extension (support ? 1) - 1575tuples 9.49/9.54 c intension eq(dist(f[164],f[259]),d[1428]) -> extension (support ? 1) - 1305tuples 9.59/9.60 c intension -> extension : same as previous 9.59/9.60 c intension eq(dist(f[166],f[352]),d[1435]) -> extension (support ? 1) - 1175tuples 9.59/9.64 c intension eq(dist(f[166],f[363]),d[1436]) -> extension (support ? 1) - 975tuples 9.59/9.67 c intension eq(dist(f[166],f[390]),d[1437]) -> extension (support ? 1) - 725tuples 9.69/9.73 c intension eq(dist(f[167],f[179]),d[1440]) -> extension (support ? 1) - 1365tuples 9.79/9.80 c intension eq(dist(f[167],f[282]),d[1443]) -> extension (support ? 1) - 1365tuples 9.79/9.86 c intension eq(dist(f[168],f[234]),d[1446]) -> extension (support ? 1) - 1131tuples 9.79/9.87 c intension eq(dist(f[172],f[280]),d[1471]) -> extension (support ? 1) - 625tuples 9.79/9.89 c intension eq(dist(f[172],f[326]),d[1473]) -> extension (support ? 1) - 725tuples 9.90/9.91 c intension eq(dist(f[172],f[355]),d[1475]) -> extension (support ? 1) - 725tuples 9.90/9.97 c intension eq(dist(f[176],f[418]),d[1502]) -> extension (support ? 1) - 1479tuples 10.00/10.02 c intension eq(dist(f[177],f[267]),d[1507]) -> extension (support ? 1) - 1479tuples 10.00/10.07 c intension eq(dist(f[179],f[199]),d[1520]) -> extension (support ? 1) - 1521tuples 10.09/10.12 c intension -> extension : same as previous 10.09/10.12 c intension eq(dist(f[179],f[258]),d[1522]) -> extension (support ? 1) - 1131tuples 10.09/10.15 c intension eq(dist(f[180],f[244]),d[1526]) -> extension (support ? 1) - 841tuples 10.09/10.17 c intension eq(dist(f[180],f[303]),d[1528]) -> extension (support ? 1) - 841tuples 10.19/10.23 c intension eq(dist(f[182],f[267]),d[1536]) -> extension (support ? 1) - 1479tuples 10.19/10.28 c intension eq(dist(f[192],f[313]),d[1592]) -> extension (support ? 1) - 841tuples 10.29/10.30 c intension eq(dist(f[195],f[216]),d[1608]) -> extension (support ? 1) - 841tuples 10.29/10.31 c intension eq(dist(f[195],f[262]),d[1610]) -> extension (support ? 1) - 841tuples 10.29/10.35 c intension eq(dist(f[195],f[265]),d[1611]) -> extension (support ? 1) - 841tuples 10.29/10.36 c intension eq(dist(f[195],f[281]),d[1612]) -> extension (support ? 1) - 841tuples 10.29/10.38 c intension eq(dist(f[195],f[364]),d[1614]) -> extension (support ? 1) - 841tuples 10.39/10.41 c intension eq(dist(f[198],f[274]),d[1631]) -> extension (support ? 1) - 1015tuples 10.39/10.44 c intension eq(dist(f[198],f[355]),d[1632]) -> extension (support ? 1) - 841tuples 10.39/10.47 c intension eq(dist(f[198],f[400]),d[1634]) -> extension (support ? 1) - 1015tuples 10.39/10.48 c intension eq(dist(f[198],f[404]),d[1635]) -> extension (support ? 1) - 841tuples 10.49/10.54 c intension eq(dist(f[199],f[224]),d[1636]) -> extension (support ? 1) - 1131tuples 10.59/10.60 c intension eq(dist(f[204],f[264]),d[1663]) -> extension (support ? 1) - 1131tuples 10.59/10.66 c intension eq(dist(f[210],f[263]),d[1694]) -> extension (support ? 1) - 1575tuples 10.59/10.67 c intension eq(dist(f[210],f[293]),d[1696]) -> extension (support ? 1) - 725tuples 10.68/10.71 c intension eq(dist(f[216],f[264]),d[1723]) -> extension (support ? 1) - 841tuples 10.68/10.73 c intension eq(dist(f[216],f[293]),d[1724]) -> extension (support ? 1) - 841tuples 10.68/10.78 c intension -> extension : same as previous 10.68/10.78 c intension eq(dist(f[219],f[293]),d[1742]) -> extension (support ? 1) - 1305tuples 10.79/10.84 c intension eq(dist(f[224],f[310]),d[1773]) -> extension (support ? 1) - 1305tuples 10.79/10.85 c intension eq(dist(f[224],f[355]),d[1775]) -> extension (support ? 1) - 841tuples 10.90/10.91 c intension eq(dist(f[224],f[408]),d[1776]) -> extension (support ? 1) - 1131tuples 10.90/10.95 c intension eq(dist(f[225],f[311]),d[1778]) -> extension (support ? 1) - 1305tuples 10.90/10.98 c intension eq(dist(f[233],f[234]),d[1810]) -> extension (support ? 1) - 841tuples 11.00/11.01 c intension eq(dist(f[233],f[238]),d[1811]) -> extension (support ? 1) - 841tuples 11.00/11.03 c intension eq(dist(f[233],f[269]),d[1812]) -> extension (support ? 1) - 1015tuples 11.00/11.07 c intension eq(dist(f[234],f[291]),d[1816]) -> extension (support ? 1) - 841tuples 11.00/11.08 c intension eq(dist(f[234],f[311]),d[1817]) -> extension (support ? 1) - 841tuples 11.09/11.11 c intension eq(dist(f[234],f[355]),d[1818]) -> extension (support ? 1) - 841tuples 11.09/11.16 c intension eq(dist(f[238],f[310]),d[1835]) -> extension (support ? 1) - 1305tuples 11.19/11.23 c intension eq(dist(f[241],f[353]),d[1845]) -> extension (support ? 1) - 1827tuples 11.19/11.29 c intension eq(dist(f[243],f[280]),d[1852]) -> extension (support ? 1) - 1175tuples 11.29/11.31 c intension eq(dist(f[244],f[264]),d[1857]) -> extension (support ? 1) - 841tuples 11.29/11.36 c intension eq(dist(f[244],f[282]),d[1858]) -> extension (support ? 1) - 1131tuples 11.29/11.38 c intension eq(dist(f[244],f[370]),d[1859]) -> extension (support ? 1) - 841tuples 11.39/11.43 c intension eq(dist(f[248],f[323]),d[1881]) -> extension (support ? 1) - 1275tuples 11.39/11.47 c intension eq(dist(f[258],f[281]),d[1923]) -> extension (support ? 1) - 841tuples 11.49/11.51 c intension eq(dist(f[258],f[310]),d[1925]) -> extension (support ? 1) - 1305tuples 11.49/11.53 c intension eq(dist(f[258],f[370]),d[1926]) -> extension (support ? 1) - 841tuples 11.49/11.57 c intension eq(dist(f[262],f[311]),d[1941]) -> extension (support ? 1) - 841tuples 11.49/11.59 c intension eq(dist(f[264],f[323]),d[1951]) -> extension (support ? 1) - 725tuples 11.59/11.61 c intension eq(dist(f[264],f[390]),d[1952]) -> extension (support ? 1) - 841tuples 11.59/11.64 c intension eq(dist(f[264],f[397]),d[1953]) -> extension (support ? 1) - 1015tuples 11.59/11.67 c intension eq(dist(f[265],f[326]),d[1958]) -> extension (support ? 1) - 841tuples 11.69/11.70 c intension eq(dist(f[267],f[311]),d[1960]) -> extension (support ? 1) - 841tuples 11.69/11.73 c intension eq(dist(f[269],f[274]),d[1964]) -> extension (support ? 1) - 1225tuples 11.69/11.77 c intension -> extension : same as previous 11.69/11.77 c intension -> extension : same as previous 11.69/11.77 c intension eq(dist(f[280],f[402]),d[2001]) -> extension (support ? 1) - 875tuples 11.69/11.79 c intension eq(dist(f[281],f[303]),d[2002]) -> extension (support ? 1) - 841tuples 11.79/11.84 c intension eq(dist(f[282],f[392]),d[2003]) -> extension (support ? 1) - 1131tuples 11.90/11.91 c intension eq(dist(f[286],f[391]),d[2019]) -> extension (support ? 1) - 2025tuples 11.90/11.94 c intension eq(dist(f[303],f[326]),d[2082]) -> extension (support ? 1) - 841tuples 11.90/11.99 c intension eq(dist(f[303],f[398]),d[2084]) -> extension (support ? 1) - 1015tuples 12.00/12.02 c intension eq(dist(f[307],f[361]),d[2093]) -> extension (support ? 1) - 841tuples 12.00/12.05 c intension -> extension : same as previous 12.00/12.05 c intension eq(dist(f[308],f[398]),d[2097]) -> extension (support ? 1) - 1225tuples 12.09/12.11 c intension eq(dist(f[310],f[324]),d[2101]) -> extension (support ? 1) - 2025tuples 12.09/12.15 c intension eq(dist(f[311],f[401]),d[2107]) -> extension (support ? 1) - 841tuples 12.19/12.20 c intension eq(dist(f[312],f[318]),d[2108]) -> extension (support ? 1) - 1479tuples 12.19/12.25 c intension eq(dist(f[312],f[404]),d[2112]) -> extension (support ? 1) - 1479tuples 12.19/12.27 c intension eq(dist(f[313],f[318]),d[2113]) -> extension (support ? 1) - 841tuples 12.29/12.32 c intension eq(dist(f[313],f[391]),d[2114]) -> extension (support ? 1) - 1305tuples 12.29/12.36 c intension eq(dist(f[315],f[364]),d[2115]) -> extension (support ? 1) - 1305tuples 12.39/12.41 c intension eq(dist(f[318],f[379]),d[2123]) -> extension (support ? 1) - 1305tuples 12.39/12.45 c intension eq(dist(f[318],f[398]),d[2124]) -> extension (support ? 1) - 1015tuples 12.49/12.50 c intension eq(dist(f[318],f[418]),d[2125]) -> extension (support ? 1) - 1479tuples 12.49/12.52 c intension eq(dist(f[323],f[353]),d[2134]) -> extension (support ? 1) - 725tuples 12.49/12.56 c intension eq(dist(f[323],f[408]),d[2135]) -> extension (support ? 1) - 975tuples 12.59/12.60 c intension eq(dist(f[326],f[390]),d[2136]) -> extension (support ? 1) - 841tuples 12.59/12.68 c intension eq(dist(f[351],f[391]),d[2190]) -> extension (support ? 1) - 2025tuples 12.69/12.71 c intension eq(dist(f[353],f[361]),d[2192]) -> extension (support ? 1) - 841tuples 12.69/12.72 c intension eq(dist(f[353],f[364]),d[2193]) -> extension (support ? 1) - 841tuples 12.69/12.75 c intension eq(dist(f[360],f[361]),d[2203]) -> extension (support ? 1) - 1015tuples 12.69/12.78 c intension eq(dist(f[360],f[398]),d[2204]) -> extension (support ? 1) - 1225tuples 12.79/12.80 c intension eq(dist(f[361],f[390]),d[2206]) -> extension (support ? 1) - 841tuples 12.79/12.87 c intension eq(dist(f[363],f[400]),d[2209]) -> extension (support ? 1) - 1365tuples 12.79/12.89 c intension eq(dist(f[387],f[390]),d[2237]) -> extension (support ? 1) - 841tuples 12.89/12.92 c intension eq(dist(f[387],f[392]),d[2238]) -> extension (support ? 1) - 841tuples 12.89/12.98 c intension eq(dist(f[392],f[403]),d[2240]) -> extension (support ? 1) - 1479tuples 711.93/711.91 c enable optimization 711.93/711.91 c ========================================[ Problem Statistics ]=========================================== 711.93/711.91 c | 711.93/711.91 c | Parse time : 62.60 s 711.93/711.91 c | 711.93/711.91 c | Variables: 7590 711.93/711.91 c | Domain Sizes: 1..151 711.93/711.91 c | 711.93/711.91 c | Constraints: 4737 711.93/711.91 c | Arity: 2..4501 -- Binary: 237 -- Ternary: 2249 711.93/711.91 c | 711.93/711.91 c | Types: 711.93/711.91 c | (X != Y): 7 711.93/711.91 c | (X = Y): 9 711.93/711.91 c | Extension: 2791 (nb tuples: 0..7224) -- (shared: 101) 711.93/711.91 c | Intension: 1929 711.93/711.91 c | Sum: 1 711.93/711.91 c | 711.93/711.91 c | Objective: Minimize Sum 711.93/711.91 711.93/711.91 c ========================================================================================================= 711.93/711.91 o 578530015 711.93/711.91 c 1 calls to solver(id=0): best=578530015 lower=0 upper=578530014 723.32/723.38 o 578507515 729.32/729.37 o 578507509 729.32/729.37 c 3 calls to solver(id=0): best=578507509 lower=0 upper=578507508 777.04/777.06 o 578507498 929.84/929.80 o 578507493 929.84/929.81 c 5 calls to solver(id=0): best=578507493 lower=0 upper=578507492 936.64/936.61 o 578507483 949.65/949.60 o 578507479 949.65/949.60 c 7 calls to solver(id=0): best=578507479 lower=0 upper=578507478 982.35/982.30 o 578507469 1021.75/1021.76 o 578507462 1021.75/1021.76 c 9 calls to solver(id=0): best=578507462 lower=0 upper=578507461 1028.96/1028.98 o 578507457 1121.77/1121.75 o 578507452 1121.77/1121.75 c 11 calls to solver(id=0): best=578507452 lower=0 upper=578507451 1285.39/1285.39 o 578507444 1382.60/1382.58 o 578507434 1382.60/1382.58 c 13 calls to solver(id=0): best=578507434 lower=0 upper=578507433 1410.91/1410.82 o 578417394 1711.74/1711.61 o 578394904 1711.74/1711.61 c 15 calls to solver(id=0): best=578394904 lower=0 upper=578394903 1823.56/1823.49 o 578394894 1831.26/1831.16 o 578394884 1831.26/1831.17 c 17 calls to solver(id=0): best=578394884 lower=0 upper=578394883 2520.05/2519.80 2520.05/2519.80 c *** INTERRUPTED *** 2520.05/2519.80 c call to solver : 17 2520.05/2519.80 c 2520.05/2519.80 c restarts : 252 2520.05/2519.80 c conflicts : 108537 (43 /sec) 2520.05/2519.80 c decisions : 1501134 (596 /sec) 2520.05/2519.80 c propagations : 153367653 (60888 /sec) 2520.05/2519.80 c root propagations : 18913 2520.05/2519.80 c filter calls : 15948122 (6332 /sec) 2520.05/2519.80 c useless filter calls : 10291613 (64 %) 2520.05/2519.80 c Memory used : 1137.50 MB 2520.05/2519.80 c Best bound time (wc) : 1831.17 s 2520.05/2519.80 c CPU time : 2518.84 s 2520.05/2519.80 c real time : 2519.8 s 2520.05/2519.80 2520.05/2519.80 c nb Solutions = 17 2520.05/2519.80 s SATISFIABLE 2520.05/2519.80 c Best value found: 578394884 2520.05/2519.80 2520.05/2519.80 2520.05/2519.80 v <instantiation type='solution' cost='578394884'> 2520.05/2519.80 v <list>d[0] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[100] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[101] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[102] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[103] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[104] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[105] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[106] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[107] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[108] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[109] d[10] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[110] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[111] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[112] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[113] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[114] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[115] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[116] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[117] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[118] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[119] d[11] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[120] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[121] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[122] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[123] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[124] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[125] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[126] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[127] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[128] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[129] d[12] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[130] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[131] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[132] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[133] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[134] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[135] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[136] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[137] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[138] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[139] d[13] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[140] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[141] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[142] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[143] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[144] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[145] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[146] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[147] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[148] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[149] d[14] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[150] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[151] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[152] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[153] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[154] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[155] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[156] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[157] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[158] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[159] d[15] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[160] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[161] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[162] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[163] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[164] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[165] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[166] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[167] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[168] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[169] d[16] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[170] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[171] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[172] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[173] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[174] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[175] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[176] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[177] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[178] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[179] d[17] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[180] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[181] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[182] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[183] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[184] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[185] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[186] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[187] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[188] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[189] d[18] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[190] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[191] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[192] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[193] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[194] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[195] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[196] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[197] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[198] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[199] d[19] d[1] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[200] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[201] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[202] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[203] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[2049] d[204] d[2050] d[2051] d[2052] d[2053] d[2054] d[2055] d[2056] d[2057] d[2058] d[2059] d[205] d[2060] d[2061] d[2062] d[2063] d[2064] d[2065] d[2066] d[2067] d[2068] d[2069] d[206] d[2070] d[2071] d[2072] d[2073] d[2074] d[2075] d[2076] d[2077] d[2078] d[2079] d[207] d[2080] d[2081] d[2082] d[2083] d[2084] d[2085] d[2086] d[2087] d[2088] d[2089] d[208] d[2090] d[2091] d[2092] d[2093] d[2094] d[2095] d[2096] d[2097] d[2098] d[2099] d[209] d[20] d[2100] d[2101] d[2102] d[2103] d[2104] d[2105] d[2106] d[2107] d[2108] d[2109] d[210] d[2110] d[2111] d[2112] d[2113] d[2114] d[2115] d[2116] d[2117] d[2118] d[2119] d[211] d[2120] d[2121] d[2122] d[2123] d[2124] d[2125] d[2126] d[2127] d[2128] d[2129] d[212] d[2130] d[2131] d[2132] d[2133] d[2134] d[2135] d[2136] d[2137] d[2138] d[2139] d[213] d[2140] d[2141] d[2142] d[2143] d[2144] d[2145] d[2146] d[2147] d[2148] d[2149] d[214] d[2150] d[2151] d[2152] d[2153] d[2154] d[2155] d[2156] d[2157] d[2158] d[2159] d[215] d[2160] d[2161] d[2162] d[2163] d[2164] d[2165] d[2166] d[2167] d[2168] d[2169] d[216] d[2170] d[2171] d[2172] d[2173] d[2174] d[2175] d[2176] d[2177] d[2178] d[2179] d[217] d[2180] d[2181] d[2182] d[2183] d[2184] d[2185] d[2186] d[2187] d[2188] d[2189] d[218] d[2190] d[2191] d[2192] d[2193] d[2194] d[2195] d[2196] d[2197] d[2198] d[2199] d[219] d[21] d[2200] d[2201] d[2202] d[2203] d[2204] d[2205] d[2206] d[2207] d[2208] d[2209] d[220] d[2210] d[2211] d[2212] d[2213] d[2214] d[2215] d[2216] d[2217] d[2218] d[2219] d[221] d[2220] d[2221] d[2222] d[2223] d[2224] d[2225] d[2226] d[2227] d[2228] d[2229] d[222] d[2230] d[2231] d[2232] d[2233] d[2234] d[2235] d[2236] d[2237] d[2238] d[2239] d[223] d[2240] d[2241] d[2242] d[2243] d[2244] d[2245] d[2246] d[2247] d[2248] d[224] d[225] d[226] d[227] d[228] d[229] d[22] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[23] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[24] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[25] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[26] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[27] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[28] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[29] d[2] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[30] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[31] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[32] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[33] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[34] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[35] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[36] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[37] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[38] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[39] d[3] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[40] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[41] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[42] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[43] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[44] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[45] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[46] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[47] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[48] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[49] d[4] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[50] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[51] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[52] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[53] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[54] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[55] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[56] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[57] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[58] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[59] d[5] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[60] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[61] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[62] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[63] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[64] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[65] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[66] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[67] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[68] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[69] d[6] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[70] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[71] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[72] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[73] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[74] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[75] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[76] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[77] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[78] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[79] d[7] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[80] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[81] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[82] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[83] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[84] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[85] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[86] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[87] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[88] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[89] d[8] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[90] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[91] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[92] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[93] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[94] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[95] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[96] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[97] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[98] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[99] d[9] f[0] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[10] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[11] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[12] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[13] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[14] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[15] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[16] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[17] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[18] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[19] f[1] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[20] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[21] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[22] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[23] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[24] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[25] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[26] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[27] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[28] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[29] f[2] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[30] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[31] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[32] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[33] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[34] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[35] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[36] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[37] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[38] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] f[39] f[3] f[400] f[401] f[402] f[403] f[404] f[405] f[406] f[407] f[408] f[409] f[40] f[410] f[411] f[412] f[413] f[414] f[415] f[416] f[417] f[418] f[419] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[4] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[5] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[6] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[7] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[8] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[9] k p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[15] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[16] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[17] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[18] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[19] p[1] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[20] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[21] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[22] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[23] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[24] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[25] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[26] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[27] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[28] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[29] p[2] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[30] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[31] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[32] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[33] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[34] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[35] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[36] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[37] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[38] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[39] p[3] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[40] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[9] v1[0] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[100] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[101] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[102] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[103] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[104] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[105] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[106] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[107] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[108] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[109] v1[10] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[110] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[111] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[112] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[113] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[114] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[115] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[116] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[117] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[118] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[119] v1[11] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[120] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[121] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[122] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[123] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[124] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[125] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[126] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[127] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[128] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[129] v1[12] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[130] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[131] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[132] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[133] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[134] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[135] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[136] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[137] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[138] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[139] v1[13] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[140] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[141] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[142] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[143] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[144] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[145] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[146] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[147] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[148] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[149] v1[14] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[150] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[151] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[152] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[153] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[154] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[155] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[156] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[157] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[158] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[159] v1[15] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[160] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[161] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[162] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[163] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[164] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[165] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[166] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[167] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[168] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[169] v1[16] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[170] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[171] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[172] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[173] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[174] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[175] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[176] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[177] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[178] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[179] v1[17] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[180] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[181] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[182] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[183] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[184] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[185] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[186] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[187] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[188] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[189] v1[18] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[190] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[191] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[192] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[193] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[194] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[195] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[196] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[197] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[198] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[199] v1[19] v1[1] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[200] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[201] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[202] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[203] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[204] v1[2050] v1[2051] v1[2052] v1[2053] v1[2054] v1[2055] v1[2056] v1[2057] v1[2058] v1[2059] v1[205] v1[2060] v1[2061] v1[2062] v1[2063] v1[2064] v1[2065] v1[2066] v1[2067] v1[2068] v1[2069] v1[206] v1[2070] v1[2071] v1[2072] v1[2073] v1[2074] v1[2075] v1[2076] v1[2077] v1[2078] v1[2079] v1[207] v1[2080] v1[2081] v1[2082] v1[2083] v1[2084] v1[2085] v1[2086] v1[2087] v1[2088] v1[2089] v1[208] v1[2090] v1[2091] v1[2092] v1[2093] v1[2094] v1[2095] v1[2096] v1[2097] v1[2098] v1[2099] v1[209] v1[20] v1[2100] v1[2101] v1[2102] v1[2103] v1[2104] v1[2105] v1[2106] v1[2107] v1[2108] v1[2109] v1[210] v1[2110] v1[2111] v1[2112] v1[2113] v1[2114] v1[2115] v1[2116] v1[2117] v1[2118] v1[2119] v1[211] v1[2120] v1[2121] v1[2122] v1[2123] v1[2124] v1[2125] v1[2126] v1[2127] v1[2128] v1[2129] v1[212] v1[2130] v1[2131] v1[2132] v1[2133] v1[2134] v1[2135] v1[2136] v1[2137] v1[2138] v1[2139] v1[213] v1[2140] v1[2141] v1[2142] v1[2143] v1[2144] v1[2145] v1[2146] v1[2147] v1[2148] v1[2149] v1[214] v1[2150] v1[2151] v1[2152] v1[2153] v1[2154] v1[2155] v1[2156] v1[2157] v1[2158] v1[2159] v1[215] v1[2160] v1[2161] v1[2162] v1[2163] v1[2164] v1[2165] v1[2166] v1[2167] v1[2168] v1[2169] v1[216] v1[2170] v1[2171] v1[2172] v1[2173] v1[2174] v1[2175] v1[2176] v1[2177] v1[2178] v1[2179] v1[217] v1[2180] v1[2181] v1[2182] v1[2183] v1[2184] v1[2185] v1[2186] v1[2187] v1[2188] v1[2189] v1[218] v1[2190] v1[2191] v1[2192] v1[2193] v1[2194] v1[2195] v1[2196] v1[2197] v1[2198] v1[2199] v1[219] v1[21] v1[2200] v1[2201] v1[2202] v1[2203] v1[2204] v1[2205] v1[2206] v1[2207] v1[2208] v1[2209] v1[220] v1[2210] v1[2211] v1[2212] v1[2213] v1[2214] v1[2215] v1[2216] v1[2217] v1[2218] v1[2219] v1[221] v1[2220] v1[2221] v1[2222] v1[2223] v1[2224] v1[2225] v1[2226] v1[2227] v1[2228] v1[2229] v1[222] v1[2230] v1[2231] v1[2232] v1[2233] v1[2234] v1[2235] v1[2236] v1[2237] v1[2238] v1[2239] v1[223] v1[2240] v1[2241] v1[2242] v1[2243] v1[2244] v1[2245] v1[2246] v1[2247] v1[2248] v1[2249] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[22] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[23] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[24] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[25] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[26] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[27] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[28] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[29] v1[2] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[30] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[31] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[32] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[33] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[34] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[35] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[36] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[37] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[38] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[39] v1[3] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[40] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[41] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[42] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[43] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[44] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[45] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[46] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[47] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[48] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[49] v1[4] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[50] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[51] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[52] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[53] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[54] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[55] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[56] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[57] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[58] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[59] v1[5] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[60] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[61] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[62] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[63] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[64] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[65] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[66] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[67] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[68] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[69] v1[6] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[70] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[71] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[72] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[73] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[74] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[75] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[76] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[77] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[78] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[79] v1[7] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[80] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[81] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[82] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[83] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[84] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[85] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[86] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[87] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[88] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[89] v1[8] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[90] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[91] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[92] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[93] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[94] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[95] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[96] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[97] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[98] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[99] v1[9] v2[0] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[100] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[101] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[102] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[103] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[104] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[105] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[106] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[107] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[108] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[109] v2[10] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[110] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[111] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[112] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[113] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[114] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[115] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[116] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[117] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[118] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[119] v2[11] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[120] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[121] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[122] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[123] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[124] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[125] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[126] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[127] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[128] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[129] v2[12] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[130] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[131] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[132] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[133] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[134] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[135] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[136] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[137] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[138] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[139] v2[13] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[140] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[141] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[142] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[143] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[144] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[145] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[146] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[147] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[148] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[149] v2[14] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[150] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[151] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[152] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[153] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[154] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[155] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[156] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[157] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[158] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[159] v2[15] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[160] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[161] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[162] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[163] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[164] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[165] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[166] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[167] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[168] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[169] v2[16] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[170] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[171] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[172] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[173] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[174] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[175] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[176] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[177] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[178] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[179] v2[17] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[180] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[181] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[182] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[183] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[184] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[185] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[186] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[187] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[188] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[189] v2[18] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[190] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[191] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[192] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[193] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[194] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[195] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[196] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[197] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[198] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[199] v2[19] v2[1] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[200] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[201] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[202] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[203] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[204] v2[2050] v2[2051] v2[2052] v2[2053] v2[2054] v2[2055] v2[2056] v2[2057] v2[2058] v2[2059] v2[205] v2[2060] v2[2061] v2[2062] v2[2063] v2[2064] v2[2065] v2[2066] v2[2067] v2[2068] v2[2069] v2[206] v2[2070] v2[2071] v2[2072] v2[2073] v2[2074] v2[2075] v2[2076] v2[2077] v2[2078] v2[2079] v2[207] v2[2080] v2[2081] v2[2082] v2[2083] v2[2084] v2[2085] v2[2086] v2[2087] v2[2088] v2[2089] v2[208] v2[2090] v2[2091] v2[2092] v2[2093] v2[2094] v2[2095] v2[2096] v2[2097] v2[2098] v2[2099] v2[209] v2[20] v2[2100] v2[2101] v2[2102] v2[2103] v2[2104] v2[2105] v2[2106] v2[2107] v2[2108] v2[2109] v2[210] v2[2110] v2[2111] v2[2112] v2[2113] v2[2114] v2[2115] v2[2116] v2[2117] v2[2118] v2[2119] v2[211] v2[2120] v2[2121] v2[2122] v2[2123] v2[2124] v2[2125] v2[2126] v2[2127] v2[2128] v2[2129] v2[212] v2[2130] v2[2131] v2[2132] v2[2133] v2[2134] v2[2135] v2[2136] v2[2137] v2[2138] v2[2139] v2[213] v2[2140] v2[2141] v2[2142] v2[2143] v2[2144] v2[2145] v2[2146] v2[2147] v2[2148] v2[2149] v2[214] v2[2150] v2[2151] v2[2152] v2[2153] v2[2154] v2[2155] v2[2156] v2[2157] v2[2158] v2[2159] v2[215] v2[2160] v2[2161] v2[2162] v2[2163] v2[2164] v2[2165] v2[2166] v2[2167] v2[2168] v2[2169] v2[216] v2[2170] v2[2171] v2[2172] v2[2173] v2[2174] v2[2175] v2[2176] v2[2177] v2[2178] v2[2179] v2[217] v2[2180] v2[2181] v2[2182] v2[2183] v2[2184] v2[2185] v2[2186] v2[2187] v2[2188] v2[2189] v2[218] v2[2190] v2[2191] v2[2192] v2[2193] v2[2194] v2[2195] v2[2196] v2[2197] v2[2198] v2[2199] v2[219] v2[21] v2[2200] v2[2201] v2[2202] v2[2203] v2[2204] v2[2205] v2[2206] v2[2207] v2[2208] v2[2209] v2[220] v2[2210] v2[2211] v2[2212] v2[2213] v2[2214] v2[2215] v2[2216] v2[2217] v2[2218] v2[2219] v2[221] v2[2220] v2[2221] v2[2222] v2[2223] v2[2224] v2[2225] v2[2226] v2[2227] v2[2228] v2[2229] v2[222] v2[2230] v2[2231] v2[2232] v2[2233] v2[2234] v2[2235] v2[2236] v2[2237] v2[2238] v2[2239] v2[223] v2[2240] v2[2241] v2[2242] v2[2243] v2[2244] v2[2245] v2[2246] v2[2247] v2[2248] v2[2249] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[22] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[23] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[24] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[25] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[26] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[27] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[28] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[29] v2[2] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[30] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[31] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[32] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[33] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[34] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[35] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[36] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[37] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[38] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[39] v2[3] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[40] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[41] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[42] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[43] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[44] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[45] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[46] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[47] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[48] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[49] v2[4] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[50] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[51] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[52] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[53] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[54] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[55] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[56] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[57] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[58] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[59] v2[5] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[60] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[61] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[62] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[63] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[64] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[65] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[66] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[67] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[68] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[69] v2[6] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[70] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[71] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[72] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[73] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[74] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[75] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[76] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[77] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[78] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[79] v2[7] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[80] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[81] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[82] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[83] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[84] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[85] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[86] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[87] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[88] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[89] v2[8] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[90] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[91] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[92] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[93] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[94] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[95] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[96] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[97] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[98] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[99] v2[9] </list> 2520.05/2519.80 v <values>40 44 208 396 396 436 436 436 396 436 436 64 372 484 444 28 176 444 176 188 280 24 40 232 172 400 172 52 168 324 16 36 64 40 256 20 256 296 248 256 92 232 296 296 0 256 308 120 308 308 0 192 0 316 96 0 20 76 276 60 72 200 376 0 0 0 0 296 532 0 352 40 0 376 40 0 64 64 0 0 0 468 0 0 64 408 400 52 308 480 396 96 128 440 440 116 56 184 52 328 52 52 52 92 508 216 260 132 216 124 12 208 40 248 80 40 196 80 376 92 360 40 364 40 0 0 0 0 116 0 64 172 16 324 232 96 68 404 404 12 88 332 244 148 0 0 244 0 124 516 20 60 96 44 176 76 260 556 516 280 68 184 556 348 516 28 180 516 504 356 556 132 296 40 296 0 52 232 408 368 28 372 352 336 336 40 328 376 8 324 336 48 48 56 280 24 16 16 16 108 16 56 420 64 40 312 556 0 324 104 352 0 156 80 40 40 104 40 40 0 556 364 68 388 496 0 0 40 40 272 368 0 80 112 132 60 92 92 504 408 356 92 52 76 280 296 356 416 0 12 96 44 428 84 428 284 468 12 40 296 296 220 280 292 92 180 304 204 16 16 40 76 208 32 32 112 260 260 80 288 40 40 456 572 32 168 176 196 0 196 364 172 228 304 112 268 456 388 40 92 196 196 88 100 316 0 0 40 0 296 92 532 352 40 336 0 140 336 120 72 224 220 80 64 164 52 276 216 244 104 0 52 280 232 64 64 64 0 64 64 64 372 332 360 248 40 40 276 488 0 48 388 528 0 52 92 0 344 4 168 424 500 68 392 20 44 296 136 24 116 144 236 232 196 132 276 120 176 28 56 332 284 124 292 332 36 236 152 32 36 92 20 36 52 12 36 28 336 52 284 200 24 40 40 40 40 40 40 40 24 180 132 0 0 24 24 0 40 40 104 0 40 80 40 40 40 0 476 596 0 40 40 224 0 40 40 372 0 40 272 424 352 440 296 0 336 600 288 40 196 56 80 232 268 328 36 24 40 296 40 40 40 40 24 152 72 336 40 0 0 532 456 600 364 16 116 120 336 164 324 0 328 332 320 200 36 236 232 80 100 172 288 140 256 32 196 164 84 112 296 272 156 152 440 152 540 500 232 100 476 72 44 304 516 420 48 420 140 364 156 224 252 136 52 380 0 384 36 40 40 40 24 36 0 40 76 40 368 152 0 388 328 0 412 0 392 192 596 100 296 352 336 296 296 36 300 296 388 92 356 164 200 56 60 356 60 180 100 0 0 336 100 0 16 40 0 296 36 52 0 124 44 428 176 44 168 36 176 492 392 176 152 136 216 256 160 80 200 160 36 296 168 596 276 596 556 556 224 596 400 60 64 24 108 64 480 112 224 316 40 80 36 176 0 0 24 412 0 0 256 0 388 460 428 428 388 56 388 0 336 0 16 0 4 0 172 260 348 228 336 216 0 312 92 364 296 372 104 360 84 84 152 320 28 360 160 16 320 0 24 0 0 28 0 12 108 288 496 40 52 40 348 112 104 0 156 40 40 20 40 40 40 228 120 28 4 168 236 28 28 256 56 92 304 72 0 220 184 280 356 60 208 16 28 16 16 132 128 316 328 516 112 556 204 88 168 516 352 24 0 0 40 396 0 0 0 124 156 156 124 196 132 16 56 24 0 536 40 40 320 0 40 372 296 68 40 296 268 388 164 40 276 40 488 40 40 388 528 0 52 116 168 76 332 0 0 104 56 0 336 16 40 0 600 0 312 424 268 256 308 520 312 400 40 0 0 40 0 0 480 40 12 496 200 36 108 456 0 448 40 228 0 168 348 488 256 256 188 536 268 496 288 200 260 108 324 180 220 224 220 40 444 400 0 296 0 352 40 520 312 60 488 464 436 0 296 16 40 40 0 24 64 64 0 4 64 64 404 136 88 56 240 296 60 308 416 0 288 60 0 12 464 0 236 0 448 80 0 488 40 0 76 228 252 104 172 40 424 28 212 40 48 296 368 600 40 40 296 0 160 20 68 116 348 328 368 96 32 20 92 284 48 276 52 24 508 436 24 24 560 540 216 264 264 152 132 8 148 440 156 296 368 256 40 0 372 388 336 52 296 12 596 284 216 556 464 272 168 60 36 340 52 216 32 216 452 0 116 0 0 64 0 40 488 0 96 0 332 40 0 304 328 136 44 100 44 216 156 40 432 460 312 92 420 308 40 532 256 0 600 0 40 408 520 156 268 400 24 316 4 272 432 176 16 448 0 92 8 348 40 216 12 0 336 456 40 0 412 320 320 208 204 280 280 280 132 252 12 84 296 148 324 376 352 116 116 116 116 156 320 520 304 172 40 104 92 388 148 500 480 192 368 204 32 328 304 116 112 112 8 308 128 32 88 268 336 120 0 176 488 80 24 92 336 296 284 0 352 132 448 448 100 488 436 448 168 0 344 348 488 12 528 60 432 288 100 268 60 24 0 12 0 536 296 388 40 0 352 148 0 64 244 300 60 0 296 40 116 64 172 40 40 532 0 332 0 160 40 72 292 308 176 0 0 0 40 0 40 372 0 40 0 52 308 0 532 456 52 352 40 388 388 360 448 412 68 24 100 16 16 16 156 420 384 572 380 28 340 4 48 404 8 428 408 100 408 40 176 372 0 40 0 256 136 440 40 40 40 324 396 164 0 0 40 436 40 348 40 24 24 0 132 4 428 20 156 296 168 156 488 76 488 460 44 32 144 12 160 112 12 40 108 36 0 48 308 268 260 264 336 104 28 416 44 0 48 160 40 120 136 40 244 56 0 68 40 0 40 80 20 132 0 64 140 388 40 336 348 532 180 24 208 16 460 80 236 0 120 0 116 64 116 52 248 456 104 572 520 600 40 296 528 232 488 40 132 296 372 104 172 64 0 0 40 172 600 388 52 380 0 12 304 96 376 168 40 124 240 0 0 0 40 436 40 20 292 332 288 292 0 0 0 40 0 20 112 348 96 464 64 172 64 24 80 372 532 532 96 96 304 0 64 64 196 40 124 40 456 368 312 8 160 72 164 340 40 328 0 0 12 256 312 0 436 296 296 40 256 268 44 256 40 40 436 112 132 252 76 92 96 272 40 316 296 0 40 476 40 0 152 132 124 72 0 108 44 164 256 104 112 236 312 192 156 376 252 212 252 72 336 24 296 204 244 296 332 336 108 12 120 28 40 68 64 16 152 40 404 188 108 272 108 496 44 0 0 0 488 500 428 0 296 532 456 352 40 0 0 40 40 64 116 0 416 0 0 0 0 268 0 40 404 360 360 400 32 288 32 444 328 48 428 360 8 88 160 12 320 180 248 208 208 448 208 248 280 208 248 208 560 144 436 40 208 40 40 0 0 0 16 64 172 100 124 296 220 352 188 292 272 28 284 28 0 152 52 0 408 0 388 560 0 328 336 336 68 308 308 344 64 404 40 52 324 56 292 16 12 108 296 336 296 164 92 320 40 372 88 144 372 40 116 0 80 0 0 0 40 24 144 336 216 0 40 40 100 192 92 340 0 144 324 256 56 336 260 296 120 296 336 192 144 328 296 336 296 4 300 128 240 44 340 300 144 124 140 300 68 44 0 412 352 40 0 144 456 336 464 440 200 368 204 92 92 92 120 132 132 28 24 92 92 92 92 132 344 152 0 44 0 0 40 40 92 0 352 296 280 0 48 96 364 364 48 32 96 96 192 312 120 280 144 144 108 392 24 116 280 412 144 100 452 196 412 64 412 40 456 456 416 4 408 284 416 516 116 332 40 552 284 376 168 376 376 416 156 376 376 204 184 144 72 116 140 28 88 244 192 324 12 324 324 28 84 176 360 40 328 176 92 8 40 228 0 388 208 268 80 208 204 132 40 128 120 40 0 124 0 16 40 64 40 40 40 40 0 64 116 0 436 556 20 444 296 288 92 100 556 352 428 528 536 368 120 108 244 120 376 36 248 184 48 480 88 508 232 48 88 88 440 208 48 88 88 48 224 0 536 80 488 536 180 240 496 520 0 64 40 40 64 40 116 168 40 0 0 0 40 436 272 272 16 112 328 296 272 260 244 168 520 152 256 100 252 220 208 268 44 0 40 24 296 504 352 40 224 144 112 344 200 300 152 112 288 112 144 372 288 204 128 132 28 388 148 84 220 136 0 192 248 312 176 76 44 120 308 440 120 136 224 204 444 516 308 312 420 268 108 48 164 124 268 244 500 84 204 184 500 244 296 112 208 284 136 0 296 204 160 256 72 12 172 116 92 40 104 132 40 388 0 364 204 416 160 124 560 520 520 560 496 560 560 560 560 88 40 544 560 444 560 496 388 300 152 404 116 180 504 504 192 44 504 104 556 504 232 0 244 596 0 184 196 336 560 456 600 408 348 396 0 252 392 392 56 40 364 352 44 84 516 64 96 352 296 484 80 40 388 596 528 156 308 532 428 4 56 396 28 92 56 28 476 140 40 72 4 32 32 332 224 236 192 532 236 196 236 292 196 236 196 236 196 436 296 0 100 496 56 108 496 160 200 148 200 372 360 32 140 360 320 96 44 260 68 156 40 500 256 20 92 0 132 40 160 184 116 12 16 120 160 4 0 12 368 408 216 20 152 328 56 32 100 276 0 556 568 528 248 40 296 528 568 528 196 528 68 8 144 372 428 288 0 0 416 40 532 0 0 452 28 100 44 144 64 8 144 52 292 144 104 104 104 56 104 144 144 144 128 144 28 12 184 144 0 144 144 184 144 388 144 44 292 44 44 352 36 4 44 488 308 40 92 92 252 236 208 188 136 92 76 292 0 216 56 412 64 392 600 372 412 188 372 16 40 116 40 0 64 40 0 0 0 340 8 236 32 440 308 20 352 40 480 444 40 228 52 268 0 296 0 328 332 360 40 276 40 488 40 48 208 528 352 0 52 40 420 28 308 548 12 12 28 352 360 444 80 360 348 216 212 520 192 4 392 520 520 480 480 480 316 204 52 84 124 84 256 244 64 348 92 40 256 40 40 296 352 224 16 104 24 72 296 268 120 308 156 0 360 184 400 228 360 104 104 92 0 60 388 456 2220 2464 2300 2556 2620 2612 2656 2704 2396 2612 2516 2624 2528 2588 2220 2220 2700 2312 2392 2300 2220 2624 2352 2272 2776 2776 2220 2276 2596 2276 2532 2260 2220 2556 2260 2648 2312 2260 2688 2352 2556 2548 2220 2416 2224 2360 2220 2596 2384 2324 2220 2736 2652 2568 2352 2716 2552 2628 2556 2260 2260 2220 2220 2220 2300 2260 2300 2588 2220 2584 2672 2688 2588 2592 2492 2392 2760 2476 2304 2360 2644 2260 2260 2220 2608 2616 2220 2392 2260 2612 2412 2516 2816 2284 2740 2300 2260 2648 2220 2584 2312 2260 2584 2580 2260 2608 2220 2488 2516 2444 2260 2612 2780 2588 2776 2260 2392 2556 2260 2220 2260 2220 2464 2604 2220 2220 2260 2260 2260 2716 2260 2756 2572 2376 2220 2260 2260 2324 2664 2616 2260 2260 2496 2424 2556 2220 2568 2220 2608 2588 2312 2284 2780 2676 2220 2624 2260 2556 2816 2320 2568 2220 2260 2572 2672 2260 2220 2260 2220 2268 2660 2244 2260 2220 2540 2516 2572 2260 2376 2780 2648 2720 2516 2556 2548 2676 2748 2492 2228 2220 2548 2436 2708 2572 2260 2320 2260 2260 2572 2468 2592 2648 2352 2220 2260 2716 2568 2220 2220 2220 2220 2260 2684 2236 2680 2248 2268 2668 2220 2220 2300 2612 2220 2488 2260 2260 2648 2428 2748 2264 2660 2516 2260 2544 2528 2556 2676 2688 2584 2584 2516 2260 2648 2220 2220 2608 2752 2820 2632 2576 2588 2644 2720 2556 2336 2716 2676 2220 2748 2220 2220 2260 2820 2260 2220 2220 2556 2272 2420 2220 2476 2260 2220 2260 2240 2260 2220 2632 2260 2528 2272 2608 2724 2608 2220 2592 2792 2820 2220 2532 2628 2324 2392 2720 2220 2572 2788 2288 2556 2628 2600 2260 2284 2260 2516 2220 2584 2260 2588 2568 2556 2260 2260 2528 2260 2260 2260 2304 2516 2676 2796 2560 2628 2568 2648 2528 2260 2352 2392 2628 2628 2356 2220 2364 2588 2660 2532 2556 2516 2260 2236 2516 2424 2260 2352 2632 2260 2260 2220 2220 2260 2696 2220 2516 2272 2220 2624 2404 2672 2676 2264 2636 2424 2544 2468 2260 2556 2260 2260 2636 2308 2756 2260 2532 2780 2428 2528 2220 2372 2648 2572 2380 2260 2760 2516 2220 2776 2780 2764 2816 2220 2612 2220 2656 2588 2456 2716 2260 2620 2516 2528 2628 2788 2652 2260 2712 2364 2404 2612 2264 2352 2632 2260 2280 2260 2220 2232 2300 2740 2260 11 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 1 1 0 1 0 1 1 0 0 1 1 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 1 0 1 0 0 1 1 1 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 1 1 1 1 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 1 1 0 0 0 0 1 1 1 0 1 1 0 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 1 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 1 1 0 0 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 10 10 3 10 10 10 0 0 0 0 0 10 10 10 10 10 10 0 0 10 10 0 10 10 0 10 10 0 10 10 0 10 0 0 10 10 10 10 0 10 0 10 10 0 0 10 10 10 10 0 10 10 0 10 0 0 10 0 0 0 0 0 10 0 0 10 0 10 0 10 0 10 0 0 10 10 10 10 8 10 10 10 10 10 0 0 10 0 0 0 0 0 10 10 0 10 10 0 10 0 10 0 0 0 10 10 0 10 10 10 10 10 0 0 0 10 0 0 10 0 0 10 0 0 10 0 0 0 0 10 0 10 0 8 10 0 0 10 0 10 10 0 0 0 0 0 10 10 0 10 0 10 10 0 0 0 10 0 9 0 0 10 10 10 0 10 10 10 0 0 0 0 0 0 10 10 0 0 0 10 10 0 10 0 0 0 10 0 0 0 0 9 0 0 0 0 0 10 10 0 0 0 10 10 0 0 0 0 10 0 10 10 0 10 0 10 0 0 10 10 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 0 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 0 0 0 10 10 0 0 0 0 10 0 0 0 10 10 0 10 10 0 0 0 10 0 10 0 10 10 10 0 10 10 0 0 0 0 10 0 0 0 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 0 0 0 10 10 10 0 10 10 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 10 10 0 10 10 10 0 0 10 0 0 10 0 10 0 10 0 0 10 0 0 10 0 10 0 10 10 10 10 0 0 10 10 10 0 0 10 10 0 10 0 0 10 0 10 0 10 0 0 10 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 10 10 0 10 10 0 0 10 0 0 0 10 10 0 0 0 0 10 0 10 10 0 0 0 10 0 0 10 0 0 0 10 0 0 0 10 0 10 0 10 0 0 10 0 10 10 0 0 10 10 10 10 10 0 0 9 0 0 0 10 0 10 0 0 10 0 0 0 10 0 0 10 0 10 10 0 0 0 10 0 10 10 8 10 0 0 10 0 10 10 0 10 0 0 10 10 0 0 0 10 10 0 0 0 10 10 0 0 0 0 10 10 0 0 0 10 0 10 0 0 10 10 0 0 0 0 10 0 0 0 10 0 0 10 10 0 0 0 10 10 0 0 0 0 10 10 10 0 0 10 10 0 10 0 10 10 0 0 0 10 0 10 0 10 0 0 10 10 10 10 0 10 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 10 10 0 0 10 0 0 0 10 0 0 0 0 10 10 0 10 0 0 0 0 0 0 10 0 0 0 10 10 10 0 10 10 0 0 0 0 0 10 10 10 0 10 0 0 10 0 10 0 10 0 10 10 0 0 10 10 10 0 0 0 10 10 10 0 0 0 0 10 0 0 10 0 10 0 10 0 10 0 0 10 10 10 10 10 10 0 10 0 0 0 10 10 0 0 0 0 0 10 0 10 10 0 0 0 10 0 0 0 0 10 10 10 0 10 0 0 10 10 10 0 0 0 10 0 10 10 10 10 0 0 10 0 10 0 0 10 0 0 10 10 0 10 10 0 10 0 10 0 0 0 0 10 0 10 0 10 0 0 0 10 10 10 10 10 0 10 10 10 0 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 10 10 0 0 10 0 0 10 10 0 10 10 10 0 0 0 9 0 10 0 0 0 0 10 0 0 10 0 10 0 0 10 0 10 10 0 10 0 0 10 10 10 0 10 10 0 0 10 10 0 10 10 0 0 10 10 0 0 0 10 10 0 0 10 0 10 10 10 10 0 0 0 0 10 10 10 0 10 0 0 0 0 10 0 10 10 10 0 0 10 0 10 0 0 0 0 0 10 0 10 10 10 10 0 0 0 0 10 10 0 0 0 0 10 0 0 0 10 0 10 10 10 0 0 10 10 10 0 0 10 10 0 10 0 0 10 10 10 0 10 0 0 10 10 10 10 0 10 0 10 0 0 0 10 0 0 0 10 10 0 10 0 0 0 10 10 10 10 10 0 10 0 10 0 10 10 10 0 10 10 0 0 0 0 10 0 10 10 10 0 10 0 0 0 10 10 0 0 0 0 10 0 0 10 10 0 0 0 10 10 0 10 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 10 10 0 0 10 0 0 0 0 0 10 10 0 0 0 10 0 0 10 10 10 0 0 10 10 0 0 10 0 10 10 10 10 10 0 10 0 0 0 10 10 0 10 10 0 0 0 10 0 10 0 10 0 0 0 10 10 0 10 0 10 0 0 0 0 0 0 0 0 10 0 10 10 10 0 0 0 0 10 0 0 10 0 10 0 10 0 0 10 0 0 10 10 0 10 0 0 10 0 0 10 10 10 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 10 0 10 10 10 0 10 10 0 0 10 10 10 0 0 10 0 10 10 0 10 10 0 10 0 0 0 10 0 0 10 10 0 10 10 0 0 10 0 0 10 0 0 10 0 10 0 0 10 10 10 0 0 0 0 10 10 0 9 10 10 0 0 10 0 10 10 10 0 10 0 0 0 10 10 10 0 0 0 10 10 10 0 10 0 0 0 10 0 10 0 0 0 10 0 10 0 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 10 0 0 10 0 0 10 0 10 10 0 0 0 0 0 0 10 0 10 0 0 10 0 0 10 10 0 10 0 10 10 10 10 10 8 10 10 10 0 0 0 0 10 10 10 0 10 10 0 10 0 0 0 10 10 10 0 10 0 10 10 10 0 0 10 10 10 0 0 10 0 10 10 10 0 10 0 10 0 10 10 0 0 0 10 0 10 0 0 10 0 0 10 10 0 10 0 0 10 0 0 0 10 0 10 10 0 0 10 0 10 0 0 10 10 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 10 0 10 10 0 10 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 10 10 0 0 0 0 0 0 10 10 0 0 0 10 10 10 0 10 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 10 10 0 10 10 10 10 9 10 0 0 0 10 10 0 0 10 0 10 10 0 0 10 0 10 0 10 0 10 10 0 0 0 10 10 10 0 10 0 0 10 0 0 0 0 10 0 0 0 10 0 10 10 0 0 10 2 0 0 10 0 10 10 10 10 0 10 10 10 10 0 10 10 0 10 10 0 0 0 8 0 10 0 0 0 10 0 10 10 0 0 0 0 0 10 0 0 0 0 10 10 0 10 0 10 0 10 10 10 0 0 0 10 10 0 0 10 0 0 10 10 10 10 0 10 10 10 10 0 10 0 0 10 0 10 10 0 0 0 10 0 0 0 10 0 0 0 10 0 10 0 0 0 0 10 10 0 10 0 0 10 10 0 10 10 0 0 10 0 0 10 0 0 0 10 10 0 0 10 0 10 0 10 10 10 10 10 0 0 0 10 0 10 10 0 0 10 0 10 10 0 10 0 10 0 0 10 10 10 0 10 10 0 0 10 10 0 0 0 0 0 10 0 10 10 10 0 0 10 0 0 10 0 10 10 10 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 8 0 10 10 0 0 0 0 10 0 10 0 10 0 10 0 10 0 0 10 0 0 0 0 0 0 9 0 10 10 0 10 0 10 10 0 0 10 0 10 10 0 10 0 0 0 10 0 10 10 0 0 0 0 0 0 10 0 10 0 10 0 0 10 10 0 0 10 10 0 10 10 10 10 0 0 10 10 10 0 0 0 0 10 10 10 0 0 0 10 10 10 0 0 10 0 0 10 10 0 0 0 10 10 0 0 0 10 0 10 0 0 0 10 0 10 0 0 0 0 10 10 10 0 0 0 10 10 0 10 10 0 10 0 10 10 10 0 0 10 10 10 10 0 10 0 0 0 0 10 0 10 10 0 0 10 10 10 0 0 0 0 0 0 10 0 0 0 0 10 0 10 10 10 10 0 0 0 0 0 10 10 8 0 10 10 10 0 10 0 0 0 10 0 10 0 0 10 10 10 10 10 10 0 0 0 10 0 0 0 0 10 0 10 0 0 10 0 10 10 0 0 0 10 10 0 10 0 0 0 10 0 0 0 0 10 0 0 10 0 10 10 0 0 0 10 10 0 10 0 0 10 10 10 10 10 10 0 0 0 10 0 10 0 0 10 0 10 10 0 0 0 0 0 0 0 10 10 10 0 0 10 0 10 10 0 10 0 10 0 0 10 0 10 10 0 10 10 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 10 0 10 10 10 10 0 0 10 10 10 10 0 0 0 10 10 10 10 0 0 0 0 0 10 10 10 10 10 0 0 0 0 10 10 0 0 10 10 0 0 0 0 0 0 0 0 10 10 0 0 10 0 10 10 10 0 0 10 10 0 0 10 0 10 0 0 10 10 0 10 0 0 10 10 10 0 10 10 10 10 0 0 10 10 0 0 10 0 10 10 0 0 10 10 0 0 10 0 10 0 0 10 0 10 10 10 0 10 0 10 0 10 10 0 10 0 0 10 0 10 10 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 10 0 10 0 0 0 0 10 10 0 10 10 0 0 0 0 0 10 10 0 0 10 10 0 10 0 0 </values> 2520.05/2519.80 v </instantiation> 2520.05/2519.80
OK 578394884
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14316 MiB free)
memory of node 1: 16384 MiB (15368 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389752-1568360216/watcher-4389752-1568360216 -o /tmp/evaluation-result-4389752-1568360216/solver-4389752-1568360216 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568354843-23221 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389752-1568360216.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23595, runsolver pid=23592
[startup+0.100288 s]*
/proc/loadavg: 2.04 2.04 2.02 3/199 23596
/proc/meminfo: memFree=30373556/32770624 swapFree=66935968/67108860
[pid=23595] ppid=23592 vsize=51876 memory=28204 CPUtime=0.1 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 7274 0 0 0 10 0 0 0 20 0 1 0 412280176 53121024 7051 33554432000 4194304 6210612 140725621407760 140725621405032 139766260545424 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 12969 7051 823 493 0 6274 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51876 KiB
Current children cumulated memory: 28204 KiB
[startup+0.209665 s]*
/proc/loadavg: 2.04 2.04 2.02 3/199 23596
/proc/meminfo: memFree=30371324/32770624 swapFree=66935968/67108860
[pid=23595] ppid=23592 vsize=54120 memory=30368 CPUtime=0.21 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 7916 0 0 0 21 0 0 0 20 0 1 0 412280176 55418880 7592 33554432000 4194304 6210612 140725621407760 140725621405032 5453748 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 13530 7592 825 493 0 6835 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54120 KiB
Current children cumulated memory: 30368 KiB
[startup+7.24697 s]*
/proc/loadavg: 2.44 2.12 2.04 3/199 23596
/proc/meminfo: memFree=30276336/32770624 swapFree=66935968/67108860
[pid=23595] ppid=23592 vsize=145024 memory=121152 CPUtime=7.24 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 56941 0 0 0 718 6 0 0 20 0 1 0 412280176 148504576 30288 33554432000 4194304 6210612 140725621407760 140725621402056 5442920 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 36256 30288 834 493 0 29561 0
Current children cumulated CPU time: 7.24 s
Current children cumulated vsize: 145024 KiB
Current children cumulated memory: 121152 KiB
[startup+7.30954 s]*
/proc/loadavg: 2.44 2.12 2.04 3/199 23596
/proc/meminfo: memFree=30276336/32770624 swapFree=66935968/67108860
[pid=23595] ppid=23592 vsize=145024 memory=121152 CPUtime=7.3 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 56949 0 0 0 724 6 0 0 20 0 1 0 412280176 148504576 30288 33554432000 4194304 6210612 140725621407760 140725621402056 5446462 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 36256 30288 834 493 0 29561 0
Current children cumulated CPU time: 7.3 s
Current children cumulated vsize: 145024 KiB
Current children cumulated memory: 121152 KiB
[startup+7.40963 s]*
/proc/loadavg: 2.44 2.12 2.04 3/199 23596
/proc/meminfo: memFree=30269572/32770624 swapFree=66935968/67108860
[pid=23595] ppid=23592 vsize=146944 memory=121448 CPUtime=7.4 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 57313 0 0 0 734 6 0 0 20 0 1 0 412280176 150470656 30362 33554432000 4194304 6210612 140725621407760 140725621402056 139766259623468 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 36736 30362 834 493 0 30041 0
Current children cumulated CPU time: 7.4 s
Current children cumulated vsize: 146944 KiB
Current children cumulated memory: 121448 KiB
[startup+7.50949 s]
/proc/loadavg: 2.44 2.12 2.04 3/199 23596
/proc/meminfo: memFree=30269572/32770624 swapFree=66935968/67108860
[pid=23595] ppid=23592 vsize=148284 memory=124040 CPUtime=7.49 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 58575 0 0 0 743 6 0 0 20 0 1 0 412280176 151842816 31010 33554432000 4194304 6210612 140725621407760 140725621402056 5451368 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 37071 31010 834 493 0 30376 0
Current children cumulated CPU time: 7.49 s
Current children cumulated vsize: 148284 KiB
Current children cumulated memory: 124040 KiB
[startup+7.60038 s]
/proc/loadavg: 2.44 2.12 2.04 3/199 23596
/proc/meminfo: memFree=30269572/32770624 swapFree=66935968/67108860
[pid=23595] ppid=23592 vsize=148284 memory=124040 CPUtime=7.59 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 58614 0 0 0 753 6 0 0 20 0 1 0 412280176 151842816 31010 33554432000 4194304 6210612 140725621407760 140725621402056 5446446 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 37071 31010 834 493 0 30376 0
Current children cumulated CPU time: 7.59 s
Current children cumulated vsize: 148284 KiB
Current children cumulated memory: 124040 KiB
[startup+12.7003 s]
/proc/loadavg: 2.64 2.17 2.06 3/199 23596
/proc/meminfo: memFree=30158496/32770624 swapFree=66935968/67108860
[pid=23595] ppid=23592 vsize=235152 memory=210888 CPUtime=12.69 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 101688 0 0 0 1257 12 0 0 20 0 1 0 412280176 240795648 52722 33554432000 4194304 6210612 140725621407760 140725621403256 5476447 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 58788 52722 834 493 0 52093 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 235152 KiB
Current children cumulated memory: 210888 KiB
[startup+25.5003 s]
/proc/loadavg: 2.70 2.21 2.07 3/198 23601
/proc/meminfo: memFree=31159984/32770624 swapFree=66935968/67108860
[pid=23595] ppid=23592 vsize=357124 memory=329264 CPUtime=25.49 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 136791 0 0 0 2532 17 0 0 20 0 1 0 412280176 365694976 82316 33554432000 4194304 6210612 140725621407760 140725621405032 5484702 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 89281 82316 838 493 0 82586 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 357124 KiB
Current children cumulated memory: 329264 KiB
[startup+51.1003 s]
/proc/loadavg: 2.46 2.20 2.07 3/198 23601
/proc/meminfo: memFree=30913032/32770624 swapFree=66935968/67108860
[pid=23595] ppid=23592 vsize=608496 memory=572356 CPUtime=51.1 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 201567 0 0 0 5084 26 0 0 20 0 1 0 412280176 623099904 143089 33554432000 4194304 6210612 140725621407760 140725621405032 5817941 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 152124 143089 838 493 0 145429 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 608496 KiB
Current children cumulated memory: 572356 KiB
[startup+102.3 s]
/proc/loadavg: 2.20 2.17 2.07 3/198 23605
/proc/meminfo: memFree=30625784/32770624 swapFree=66935968/67108860
[pid=23595] ppid=23592 vsize=899088 memory=858008 CPUtime=102.3 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 464076 0 0 0 10184 46 0 0 20 0 1 0 412280176 920666112 214502 33554432000 4194304 6210612 140725621407760 140725621405080 139766269569876 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 224772 214502 882 493 0 218077 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 899088 KiB
Current children cumulated memory: 858008 KiB
[startup+162.3 s]
/proc/loadavg: 2.07 2.14 2.06 3/199 23612
/proc/meminfo: memFree=30565544/32770624 swapFree=66935968/67108860
[pid=23595] ppid=23592 vsize=961460 memory=917184 CPUtime=162.3 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 600755 0 0 0 16175 55 0 0 20 0 1 0 412280176 984535040 229296 33554432000 4194304 6210612 140725621407760 140725621405128 5476370 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 240365 229296 882 493 0 233670 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 961460 KiB
Current children cumulated memory: 917184 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.11 2.05 3/199 23616
/proc/meminfo: memFree=30554844/32770624 swapFree=66935968/67108860
[pid=23595] ppid=23592 vsize=971964 memory=927124 CPUtime=222.3 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 794922 0 0 0 22165 65 0 0 20 0 1 0 412280176 995291136 231781 33554432000 4194304 6210612 140725621407760 140725621404968 5451442 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 242991 231781 882 493 0 236296 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 971964 KiB
Current children cumulated memory: 927124 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.09 2.05 3/200 23628
/proc/meminfo: memFree=30523708/32770624 swapFree=66935980/67108860
[pid=23595] ppid=23592 vsize=1003828 memory=959568 CPUtime=282.3 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 937081 0 0 0 28157 73 0 0 20 0 1 0 412280176 1027919872 239892 33554432000 4194304 6210612 140725621407760 140725621405128 5451394 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 250957 239892 882 493 0 244262 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 1003828 KiB
Current children cumulated memory: 959568 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.07 2.05 3/200 23634
/proc/meminfo: memFree=30458680/32770624 swapFree=66935980/67108860
[pid=23595] ppid=23592 vsize=1068832 memory=1023848 CPUtime=342.3 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 1014535 0 0 0 34152 78 0 0 20 0 1 0 412280176 1094483968 255962 33554432000 4194304 6210612 140725621407760 140725621405080 5456138 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 267208 255962 882 493 0 260513 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 1068832 KiB
Current children cumulated memory: 1023848 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/200 23638
/proc/meminfo: memFree=30450292/32770624 swapFree=66935980/67108860
[pid=23595] ppid=23592 vsize=1075120 memory=1033116 CPUtime=402.31 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 1125658 0 0 0 40146 85 0 0 20 0 1 0 412280176 1100922880 258279 33554432000 4194304 6210612 140725621407760 140725621404968 5155864 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 268780 258279 882 493 0 262085 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 1075120 KiB
Current children cumulated memory: 1033116 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/199 23642
/proc/meminfo: memFree=30445284/32770624 swapFree=66935980/67108860
[pid=23595] ppid=23592 vsize=1075844 memory=1037304 CPUtime=462.31 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 1186777 0 0 0 46142 89 0 0 20 0 1 0 412280176 1101664256 259326 33554432000 4194304 6210612 140725621407760 140725621404968 5164288 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 268961 259326 882 493 0 262266 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 1075844 KiB
Current children cumulated memory: 1037304 KiB
################
# More data... #
################
/proc/23595/statm: 291200 285002 882 493 0 284505 0
Current children cumulated CPU time: 1782.45 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140008 KiB
[startup+1842.3 s]
/proc/loadavg: 1.02 1.10 1.40 2/191 23836
/proc/meminfo: memFree=30394156/32770624 swapFree=66936008/67108860
[pid=23595] ppid=23592 vsize=1164800 memory=1140020 CPUtime=1842.46 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 1561829 0 0 0 184129 117 0 0 20 0 1 0 412280176 1192755200 285005 33554432000 4194304 6210612 140725621407760 140725621395640 5451376 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 291200 285005 882 493 0 284505 0
Current children cumulated CPU time: 1842.46 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140020 KiB
[startup+1902.3 s]
/proc/loadavg: 1.08 1.10 1.39 2/191 23840
/proc/meminfo: memFree=30394140/32770624 swapFree=66936008/67108860
[pid=23595] ppid=23592 vsize=1164800 memory=1140024 CPUtime=1902.47 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 1569176 0 0 0 190129 118 0 0 20 0 1 0 412280176 1192755200 285006 33554432000 4194304 6210612 140725621407760 140725621395640 5034872 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 291200 285006 882 493 0 284505 0
Current children cumulated CPU time: 1902.47 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140024 KiB
[startup+1962.3 s]
/proc/loadavg: 1.03 1.08 1.36 2/191 23846
/proc/meminfo: memFree=30394556/32770624 swapFree=66936008/67108860
[pid=23595] ppid=23592 vsize=1164800 memory=1140024 CPUtime=1962.48 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 1575179 0 0 0 196130 118 0 0 20 0 1 0 412280176 1192755200 285006 33554432000 4194304 6210612 140725621407760 140725621395640 139766269569885 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 291200 285006 882 493 0 284505 0
Current children cumulated CPU time: 1962.48 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140024 KiB
[startup+2022.3 s]
/proc/loadavg: 1.01 1.07 1.34 2/191 23850
/proc/meminfo: memFree=30395428/32770624 swapFree=66936008/67108860
[pid=23595] ppid=23592 vsize=1164800 memory=1140024 CPUtime=2022.49 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 1583320 0 0 0 202130 119 0 0 20 0 1 0 412280176 1192755200 285006 33554432000 4194304 6210612 140725621407760 140725621395640 5155816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 291200 285006 882 493 0 284505 0
Current children cumulated CPU time: 2022.49 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140024 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.06 1.32 2/192 23862
/proc/meminfo: memFree=30394224/32770624 swapFree=66936012/67108860
[pid=23595] ppid=23592 vsize=1164800 memory=1140024 CPUtime=2082.49 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 1590403 0 0 0 208129 120 0 0 20 0 1 0 412280176 1192755200 285006 33554432000 4194304 6210612 140725621407760 140725621395640 5155864 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 291200 285006 882 493 0 284505 0
Current children cumulated CPU time: 2082.49 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140024 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.05 1.30 2/192 23868
/proc/meminfo: memFree=30393136/32770624 swapFree=66936012/67108860
[pid=23595] ppid=23592 vsize=1164800 memory=1140024 CPUtime=2142.5 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 1592801 0 0 0 214130 120 0 0 20 0 1 0 412280176 1192755200 285006 33554432000 4194304 6210612 140725621407760 140725621395640 5442901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 291200 285006 882 493 0 284505 0
Current children cumulated CPU time: 2142.5 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140024 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.04 1.28 2/192 23872
/proc/meminfo: memFree=30393832/32770624 swapFree=66936012/67108860
[pid=23595] ppid=23592 vsize=1164800 memory=1140024 CPUtime=2202.5 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 1594319 0 0 0 220130 120 0 0 20 0 1 0 412280176 1192755200 285006 33554432000 4194304 6210612 140725621407760 140725621395640 5192928 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 291200 285006 882 493 0 284505 0
Current children cumulated CPU time: 2202.5 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140024 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.03 1.26 2/192 23876
/proc/meminfo: memFree=30394204/32770624 swapFree=66936012/67108860
[pid=23595] ppid=23592 vsize=1164800 memory=1140024 CPUtime=2262.51 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 1596271 0 0 0 226131 120 0 0 20 0 1 0 412280176 1192755200 285006 33554432000 4194304 6210612 140725621407760 140725621395640 5442788 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 291200 285006 882 493 0 284505 0
Current children cumulated CPU time: 2262.51 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140024 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.03 1.25 2/192 23882
/proc/meminfo: memFree=30393704/32770624 swapFree=66936012/67108860
[pid=23595] ppid=23592 vsize=1164800 memory=1140048 CPUtime=2322.52 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 1603837 0 0 0 232131 121 0 0 20 0 1 0 412280176 1192755200 285012 33554432000 4194304 6210612 140725621407760 140725621395640 5249691 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 291200 285012 882 493 0 284505 0
Current children cumulated CPU time: 2322.52 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140048 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.02 1.23 2/192 23886
/proc/meminfo: memFree=30393252/32770624 swapFree=66936012/67108860
[pid=23595] ppid=23592 vsize=1164800 memory=1140612 CPUtime=2382.53 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 1605636 0 0 0 238132 121 0 0 20 0 1 0 412280176 1192755200 285153 33554432000 4194304 6210612 140725621407760 140725621395640 5451985 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 291200 285153 882 493 0 284505 0
Current children cumulated CPU time: 2382.53 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140612 KiB
[startup+2442.3 s]
/proc/loadavg: 1.00 1.02 1.22 2/191 23890
/proc/meminfo: memFree=30394092/32770624 swapFree=66936012/67108860
[pid=23595] ppid=23592 vsize=1164800 memory=1140612 CPUtime=2442.54 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 1608801 0 0 0 244133 121 0 0 20 0 1 0 412280176 1192755200 285153 33554432000 4194304 6210612 140725621407760 140725621395640 5446115 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 291200 285153 882 493 0 284505 0
Current children cumulated CPU time: 2442.54 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140612 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 1.01 1.20 2/191 23896
/proc/meminfo: memFree=30394720/32770624 swapFree=66936012/67108860
[pid=23595] ppid=23592 vsize=1164800 memory=1140612 CPUtime=2502.54 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 1610501 0 0 0 250133 121 0 0 20 0 1 0 412280176 1192755200 285153 33554432000 4194304 6210612 140725621407760 140725621395640 5453744 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 291200 285153 882 493 0 284505 0
Current children cumulated CPU time: 2502.54 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140612 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 1.00 1.01 1.20 2/191 23896
/proc/meminfo: memFree=30394720/32770624 swapFree=66936012/67108860
[pid=23595] ppid=23592 vsize=1164800 memory=1140612 CPUtime=2520.05 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 1611269 0 0 0 251884 121 0 0 20 0 1 0 412280176 1192755200 285153 33554432000 4194304 6210612 140725621407760 140725621395640 5445998 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 291200 285153 882 493 0 284505 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.81 s]
# the end of solver process 23595 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.84 s, system=1.22515 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.8 s]
/proc/loadavg: 1.00 1.01 1.20 2/191 23896
/proc/meminfo: memFree=30394720/32770624 swapFree=66936012/67108860
[pid=23595] ppid=23592 vsize=1164800 memory=1140612 CPUtime=2520.05 cores=1,3,5,7
/proc/23595/stat : 23595 (cosoco) R 23592 23595 23189 0 -1 4202496 1611269 0 0 0 251884 121 0 0 20 0 1 0 412280176 1192755200 285153 33554432000 4194304 6210612 140725621407760 140725621395640 5445998 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24076288 140725621408779 140725621408881 140725621408881 140725621411790 0
/proc/23595/statm: 291200 285153 882 493 0 284505 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140612 KiB
Child status: 1
Real time (s): 2519.81
CPU time (s): 2520.07
CPU user time (s): 2518.84
CPU system time (s): 1.22515
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 1164800
Max. memory (cumulated for all children) (KiB): 1140612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.84
system time used= 1.22515
maximum resident set size= 1140676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1611341
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137
involuntary context switches= 1125
# summary of solver processes directly reported to runsolver:
# pid: 23595
# total CPU time (s): 2520.07
# total CPU user time (s): 2518.84
# total CPU system time (s): 1.22515
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.42386 second user time and 17.8318 second system time
The end
Begin job on node105 at 2019-09-13 08:35:23 IDJOB=4389752 IDBENCH=141274 IDSOLVER=2829 FILE ID=node105/4389752-1568360216 RUNJOBID= node105-1568354843-23221 PBS_JOBID= 21701199 Free space on /tmp= 53728 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-20-0420_c18.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389752-1568360216/watcher-4389752-1568360216 -o /tmp/evaluation-result-4389752-1568360216/solver-4389752-1568360216 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568354843-23221 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389752-1568360216.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a9a1ecda6b6f8f1e99c2d233168bcaa1 RANDOM SEED=2140950620 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30398416 kB MemAvailable: 31795648 kB Buffers: 139816 kB Cached: 1532284 kB SwapCached: 68640 kB Active: 406552 kB Inactive: 1384848 kB Active(anon): 61996 kB Inactive(anon): 89676 kB Active(file): 344556 kB Inactive(file): 1295172 kB Unevictable: 111220 kB Mlocked: 111220 kB SwapTotal: 67108860 kB SwapFree: 66935968 kB Dirty: 923660 kB Writeback: 72164 kB AnonPages: 163644 kB Mapped: 38532 kB Shmem: 23628 kB Slab: 174808 kB SReclaimable: 146676 kB SUnreclaim: 28132 kB KernelStack: 3472 kB PageTables: 5816 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 569888 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 112640 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 54248 MiB End job on node105 at 2019-09-13 09:17:23