Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 | SAT (TO) | 578394884 | 2519.85 | 2520.02 |
| 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.09 c 0.00/0.09 c This is cosoco 2.00 -- 0.00/0.09 c 0.00/0.09 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408292-1569813620.xml 0.00/0.09 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.11 c intension -> extension : same as previous 0.10/0.11 c intension eq(dist(f[280],f[323]),40) -> extension (support ? 1) - 30tuples 0.10/0.12 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.14 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.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension eq(dist(f[285],f[312]),40) -> extension (support ? 1) - 82tuples 0.21/0.21 c intension eq(dist(f[111],f[137]),40) -> extension (support ? 1) - 38tuples 0.21/0.22 c intension eq(dist(f[134],f[63]),40) -> extension (support ? 1) - 30tuples 0.21/0.22 c intension eq(dist(f[282],f[363]),40) -> extension (support ? 1) - 58tuples 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension eq(dist(f[131],f[164]),40) -> extension (support ? 1) - 38tuples 0.21/0.22 c intension eq(dist(f[108],f[259]),40) -> extension (support ? 1) - 70tuples 0.21/0.22 c intension eq(dist(f[263],f[67]),40) -> extension (support ? 1) - 106tuples 0.21/0.23 c intension eq(dist(f[246],f[342]),40) -> extension (support ? 1) - 282tuples 0.21/0.23 c intension eq(dist(f[152],f[264]),40) -> extension (support ? 1) - 38tuples 0.21/0.24 c intension eq(dist(f[69],f[7]),40) -> extension (support ? 1) - 282tuples 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension eq(dist(f[231],f[310]),40) -> extension (support ? 1) - 70tuples 0.21/0.25 c intension eq(dist(f[30],f[314]),40) -> extension (support ? 1) - 50tuples 0.21/0.25 c intension eq(dist(f[135],f[168]),40) -> extension (support ? 1) - 58tuples 0.21/0.25 c intension eq(dist(f[45],f[54]),40) -> extension (support ? 1) - 82tuples 0.21/0.26 c intension eq(dist(f[109],f[37]),40) -> extension (support ? 1) - 282tuples 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension eq(dist(f[114],f[307]),40) -> extension (support ? 1) - 38tuples 0.21/0.27 c intension eq(dist(f[155],f[173]),40) -> extension (support ? 1) - 282tuples 0.21/0.28 c intension eq(dist(f[15],f[174]),40) -> extension (support ? 1) - 230tuples 0.21/0.28 c intension eq(dist(f[293],f[364]),40) -> extension (support ? 1) - 38tuples 0.21/0.28 c intension eq(dist(f[140],f[243]),40) -> extension (support ? 1) - 74tuples 0.21/0.28 c intension eq(dist(f[378],f[83]),40) -> extension (support ? 1) - 38tuples 0.21/0.29 c intension eq(dist(f[193],f[257]),40) -> extension (support ? 1) - 282tuples 0.21/0.29 c intension eq(dist(f[116],f[395]),40) -> extension (support ? 1) - 58tuples 0.21/0.29 c intension eq(dist(f[120],f[235]),40) -> extension (support ? 1) - 74tuples 0.21/0.29 c intension eq(dist(f[351],f[379]),40) -> extension (support ? 1) - 70tuples 0.21/0.30 c intension eq(dist(f[162],f[49]),40) -> extension (support ? 1) - 50tuples 0.21/0.30 c intension eq(dist(f[170],f[306]),40) -> extension (support ? 1) - 102tuples 0.21/0.30 c intension eq(dist(f[23],f[376]),40) -> extension (support ? 1) - 38tuples 0.21/0.31 c intension eq(dist(f[145],f[215]),40) -> extension (support ? 1) - 282tuples 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension eq(dist(f[148],f[233]),40) -> extension (support ? 1) - 38tuples 0.21/0.31 c intension eq(dist(f[267],f[32]),40) -> extension (support ? 1) - 38tuples 0.21/0.31 c intension eq(dist(f[398],f[77]),40) -> extension (support ? 1) - 50tuples 0.21/0.31 c intension eq(dist(f[1],f[247]),40) -> extension (support ? 1) - 70tuples 0.21/0.31 c intension eq(dist(f[204],f[91]),40) -> extension (support ? 1) - 58tuples 0.31/0.32 c intension eq(dist(f[115],f[419]),40) -> extension (support ? 1) - 230tuples 0.31/0.33 c intension eq(dist(f[330],f[47]),40) -> extension (support ? 1) - 282tuples 0.31/0.33 c intension eq(dist(f[172],f[210]),40) -> extension (support ? 1) - 30tuples 0.31/0.33 c intension eq(dist(f[10],f[192]),40) -> extension (support ? 1) - 38tuples 0.31/0.34 c intension eq(dist(f[107],f[399]),40) -> extension (support ? 1) - 282tuples 0.31/0.34 c intension eq(dist(f[315],f[42]),40) -> extension (support ? 1) - 70tuples 0.31/0.35 c intension eq(dist(f[309],f[345]),40) -> extension (support ? 1) - 282tuples 0.31/0.35 c intension -> extension : same as previous 0.31/0.35 c intension eq(dist(f[241],f[374]),40) -> extension (support ? 1) - 106tuples 0.31/0.36 c intension eq(dist(f[386],f[46]),40) -> extension (support ? 1) - 102tuples 0.31/0.37 c intension eq(dist(f[251],f[350]),40) -> extension (support ? 1) - 282tuples 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension eq(dist(f[158],f[50]),40) -> extension (support ? 1) - 230tuples 0.31/0.37 c intension eq(dist(f[12],f[68]),40) -> extension (support ? 1) - 38tuples 0.31/0.38 c intension eq(dist(f[31],f[337]),40) -> extension (support ? 1) - 282tuples 0.31/0.39 c intension eq(dist(f[318],f[355]),40) -> extension (support ? 1) - 38tuples 0.31/0.39 c intension eq(dist(f[182],f[51]),40) -> extension (support ? 1) - 82tuples 0.31/0.39 c intension eq(dist(f[167],f[360]),40) -> extension (support ? 1) - 50tuples 0.31/0.39 c intension eq(dist(f[225],f[324]),40) -> extension (support ? 1) - 70tuples 0.31/0.40 c intension eq(dist(f[203],f[365]),40) -> extension (support ? 1) - 282tuples 0.31/0.40 c intension eq(dist(f[328],f[418]),40) -> extension (support ? 1) - 82tuples 0.31/0.41 c intension eq(dist(f[141],f[206]),40) -> extension (support ? 1) - 282tuples 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension eq(dist(f[388],f[79]),40) -> extension (support ? 1) - 82tuples 0.41/0.42 c intension eq(dist(f[2],f[348]),40) -> extension (support ? 1) - 282tuples 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension eq(dist(f[234],f[361]),40) -> extension (support ? 1) - 38tuples 0.41/0.44 c intension eq(dist(f[396],f[40]),40) -> extension (support ? 1) - 282tuples 0.41/0.44 c intension eq(dist(f[127],f[64]),40) -> extension (support ? 1) - 50tuples 0.41/0.45 c intension eq(dist(f[13],f[90]),40) -> extension (support ? 1) - 282tuples 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension eq(dist(f[274],f[58]),40) -> extension (support ? 1) - 50tuples 0.41/0.46 c intension eq(dist(f[354],f[71]),40) -> extension (support ? 1) - 282tuples 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension eq(dist(f[269],f[402]),40) -> extension (support ? 1) - 50tuples 0.41/0.47 c intension eq(dist(f[349],f[377]),40) -> extension (support ? 1) - 282tuples 0.41/0.47 c intension eq(dist(f[163],f[34]),40) -> extension (support ? 1) - 30tuples 0.41/0.47 c intension eq(dist(f[262],f[353]),40) -> extension (support ? 1) - 38tuples 0.41/0.48 c intension eq(dist(f[346],f[39]),40) -> extension (support ? 1) - 282tuples 0.41/0.48 c intension eq(dist(f[198],f[265]),40) -> extension (support ? 1) - 38tuples 0.41/0.50 c intension eq(dist(f[133],f[232]),40) -> extension (support ? 1) - 282tuples 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension eq(dist(f[401],f[80]),40) -> extension (support ? 1) - 38tuples 0.41/0.51 c intension eq(dist(f[213],f[375]),40) -> extension (support ? 1) - 282tuples 0.41/0.51 c intension eq(dist(f[180],f[85]),40) -> extension (support ? 1) - 38tuples 0.51/0.52 c intension eq(dist(f[373],f[41]),40) -> extension (support ? 1) - 282tuples 0.51/0.52 c intension -> extension : same as previous 0.51/0.52 c intension eq(dist(f[33],f[404]),40) -> extension (support ? 1) - 38tuples 0.51/0.53 c intension eq(dist(f[19],f[299]),40) -> extension (support ? 1) - 282tuples 0.51/0.54 c intension eq(dist(f[303],f[313]),40) -> extension (support ? 1) - 38tuples 0.51/0.54 c intension eq(dist(f[290],f[98]),40) -> extension (support ? 1) - 230tuples 0.51/0.54 c intension eq(dist(f[176],f[281]),40) -> extension (support ? 1) - 38tuples 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension eq(dist(f[102],f[308]),40) -> extension (support ? 1) - 50tuples 0.51/0.55 c intension eq(dist(f[228],f[78]),40) -> extension (support ? 1) - 282tuples 0.51/0.56 c intension -> extension : same as previous 0.51/0.56 c intension eq(dist(f[291],f[326]),40) -> extension (support ? 1) - 38tuples 0.51/0.56 c intension eq(dist(f[205],f[258]),40) -> extension (support ? 1) - 38tuples 0.51/0.57 c intension eq(dist(f[112],f[194]),40) -> extension (support ? 1) - 282tuples 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension eq(dist(f[248],f[87]),40) -> extension (support ? 1) - 82tuples 0.51/0.58 c intension eq(dist(f[279],f[29]),40) -> extension (support ? 1) - 282tuples 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension eq(dist(f[410],f[44]),40) -> extension (support ? 1) - 38tuples 0.51/0.59 c intension eq(dist(f[266],f[325]),40) -> extension (support ? 1) - 282tuples 0.51/0.60 c intension -> extension : same as previous 0.51/0.60 c intension eq(dist(f[147],f[74]),40) -> extension (support ? 1) - 82tuples 0.51/0.60 c intension eq(dist(f[104],f[219]),40) -> extension (support ? 1) - 70tuples 0.51/0.60 c intension eq(dist(f[190],f[352]),40) -> extension (support ? 1) - 74tuples 0.60/0.61 c intension eq(dist(f[103],f[253]),40) -> extension (support ? 1) - 282tuples 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension eq(dist(f[4],f[5]),40) -> extension (support ? 1) - 58tuples 0.60/0.62 c intension eq(dist(f[202],f[72]),40) -> extension (support ? 1) - 282tuples 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension eq(dist(f[165],f[390]),40) -> extension (support ? 1) - 38tuples 0.60/0.63 c intension eq(dist(f[143],f[48]),40) -> extension (support ? 1) - 58tuples 0.60/0.64 c intension eq(dist(f[153],f[239]),40) -> extension (support ? 1) - 282tuples 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension eq(dist(f[186],f[277]),40) -> extension (support ? 1) - 230tuples 0.60/0.66 c intension eq(dist(f[138],f[222]),40) -> extension (support ? 1) - 282tuples 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension eq(dist(f[286],f[82]),40) -> extension (support ? 1) - 70tuples 0.60/0.66 c intension eq(dist(f[177],f[76]),40) -> extension (support ? 1) - 82tuples 0.60/0.66 c intension eq(dist(f[199],f[43]),40) -> extension (support ? 1) - 58tuples 0.60/0.67 c intension eq(dist(f[411],f[61]),40) -> extension (support ? 1) - 282tuples 0.60/0.67 c intension eq(dist(f[341],f[65]),40) -> extension (support ? 1) - 102tuples 0.60/0.68 c intension eq(dist(f[185],f[261]),40) -> extension (support ? 1) - 282tuples 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension eq(dist(f[216],f[238]),40) -> extension (support ? 1) - 38tuples 0.60/0.69 c intension eq(dist(f[117],f[381]),40) -> extension (support ? 1) - 230tuples 0.68/0.70 c intension -> extension : same as previous 0.68/0.70 c intension eq(dist(f[209],f[284]),40) -> extension (support ? 1) - 282tuples 0.68/0.70 c intension -> extension : same as previous 0.68/0.70 c intension eq(dist(f[160],f[397]),40) -> extension (support ? 1) - 50tuples 0.68/0.72 c intension eq(dist(f[70],f[99]),40) -> extension (support ? 1) - 282tuples 0.68/0.72 c AllEqual constraint using 1 generic x=y constraints 0.68/0.72 c AllEqual constraint using 1 generic x=y constraints 0.68/0.72 c AllEqual constraint using 1 generic x=y constraints 0.68/0.72 c AllEqual constraint using 1 generic x=y constraints 0.68/0.72 c AllEqual constraint using 1 generic x=y constraints 0.68/0.72 c AllEqual constraint using 1 generic x=y constraints 0.68/0.72 c AllEqual constraint using 1 generic x=y constraints 0.68/0.72 c AllEqual constraint using 1 generic x=y constraints 0.68/0.72 c AllEqual constraint using 1 generic x=y constraints 0.68/0.73 c intension -> extension : same as previous 0.68/0.73 c intension -> extension : same as previous 0.68/0.73 c intension -> extension : same as previous 0.68/0.73 c intension -> extension : same as previous 0.68/0.73 c intension -> extension : same as previous 0.68/0.73 c intension ne(dist(f[329],f[88]),53) -> extension (support ? 0) - 0tuples 0.68/0.74 c intension ne(dist(f[203],f[206]),322) -> extension (support ? 0) - 0tuples 0.68/0.75 c intension ne(dist(f[250],f[72]),66) -> extension (support ? 0) - 0tuples 0.68/0.76 c intension ne(dist(f[214],f[76]),147) -> extension (support ? 0) - 0tuples 0.68/0.77 c intension ne(dist(f[222],f[330]),73) -> extension (support ? 0) - 0tuples 0.68/0.77 c intension ne(dist(f[259],f[91]),37) -> extension (support ? 0) - 0tuples 0.68/0.77 c intension ne(dist(f[343],f[80]),141) -> extension (support ? 0) - 0tuples 0.68/0.78 c intension ne(dist(f[222],f[289]),265) -> extension (support ? 0) - 0tuples 0.68/0.78 c intension ne(dist(f[374],f[413]),92) -> extension (support ? 0) - 117tuples 0.68/0.79 c intension ne(dist(f[419],f[59]),15) -> extension (support ? 0) - 0tuples 0.68/0.79 c intension ne(dist(f[1],f[400]),9) -> extension (support ? 0) - 0tuples 0.79/0.89 c intension eq(dist(f[1],f[49]),d[11]) -> extension (support ? 1) - 1575tuples 0.89/0.96 c intension eq(dist(f[108],f[1]),d[13]) -> extension (support ? 1) - 2025tuples 1.00/1.01 c intension eq(dist(f[142],f[1]),d[15]) -> extension (support ? 1) - 1305tuples 1.00/1.05 c intension -> extension : same as previous 1.00/1.05 c intension -> extension : same as previous 1.00/1.05 c intension eq(dist(f[195],f[1]),d[18]) -> extension (support ? 1) - 1305tuples 1.10/1.12 c intension -> extension : same as previous 1.10/1.12 c intension eq(dist(f[1],f[324]),d[20]) -> extension (support ? 1) - 2025tuples 1.10/1.17 c intension eq(dist(f[1],f[402]),d[21]) -> extension (support ? 1) - 1575tuples 1.19/1.23 c intension eq(dist(f[135],f[4]),d[49]) -> extension (support ? 1) - 1521tuples 1.19/1.27 c intension eq(dist(f[172],f[4]),d[50]) -> extension (support ? 1) - 975tuples 1.29/1.32 c intension eq(dist(f[280],f[4]),d[52]) -> extension (support ? 1) - 975tuples 1.29/1.36 c intension eq(dist(f[282],f[4]),d[53]) -> extension (support ? 1) - 1521tuples 1.39/1.42 c intension eq(dist(f[392],f[4]),d[57]) -> extension (support ? 1) - 1131tuples 1.39/1.48 c intension eq(dist(f[5],f[64]),d[61]) -> extension (support ? 1) - 1365tuples 1.49/1.54 c intension eq(dist(f[5],f[80]),d[63]) -> extension (support ? 1) - 1131tuples 1.49/1.59 c intension eq(dist(f[264],f[5]),d[69]) -> extension (support ? 1) - 1131tuples 1.59/1.65 c intension eq(dist(f[353],f[5]),d[70]) -> extension (support ? 1) - 1131tuples 1.59/1.68 c intension eq(dist(f[10],f[119]),d[112]) -> extension (support ? 1) - 841tuples 1.69/1.73 c intension -> extension : same as previous 1.69/1.73 c intension eq(dist(f[10],f[199]),d[114]) -> extension (support ? 1) - 1131tuples 1.69/1.77 c intension -> extension : same as previous 1.69/1.77 c intension eq(dist(f[10],f[225]),d[116]) -> extension (support ? 1) - 1305tuples 1.79/1.80 c intension eq(dist(f[10],f[308]),d[117]) -> extension (support ? 1) - 1015tuples 1.79/1.84 c intension eq(dist(f[11],f[20]),d[120]) -> extension (support ? 1) - 1521tuples 1.79/1.89 c intension eq(dist(f[11],f[34]),d[121]) -> extension (support ? 1) - 975tuples 1.89/1.93 c intension eq(dist(f[11],f[199]),d[127]) -> extension (support ? 1) - 1521tuples 1.89/1.97 c intension eq(dist(f[11],f[323]),d[129]) -> extension (support ? 1) - 975tuples 2.00/2.03 c intension eq(dist(f[11],f[370]),d[130]) -> extension (support ? 1) - 1131tuples 2.00/2.08 c intension eq(dist(f[11],f[392]),d[132]) -> extension (support ? 1) - 1131tuples 2.00/2.10 c intension eq(dist(f[111],f[12]),d[134]) -> extension (support ? 1) - 841tuples 2.10/2.12 c intension eq(dist(f[12],f[198]),d[137]) -> extension (support ? 1) - 841tuples 2.10/2.14 c intension eq(dist(f[12],f[280]),d[140]) -> extension (support ? 1) - 725tuples 2.10/2.17 c intension eq(dist(f[12],f[397]),d[145]) -> extension (support ? 1) - 1015tuples 2.19/2.21 c intension eq(dist(f[18],f[81]),d[203]) -> extension (support ? 1) - 1015tuples 2.19/2.25 c intension eq(dist(f[108],f[18]),d[204]) -> extension (support ? 1) - 1305tuples 2.19/2.27 c intension eq(dist(f[18],f[233]),d[207]) -> extension (support ? 1) - 841tuples 2.28/2.30 c intension eq(dist(f[18],f[307]),d[208]) -> extension (support ? 1) - 841tuples 2.28/2.32 c intension eq(dist(f[18],f[390]),d[210]) -> extension (support ? 1) - 841tuples 2.28/2.37 c intension eq(dist(f[18],f[407]),d[211]) -> extension (support ? 1) - 1479tuples 2.38/2.42 c intension eq(dist(f[20],f[48]),d[224]) -> extension (support ? 1) - 1521tuples 2.38/2.48 c intension eq(dist(f[165],f[20]),d[228]) -> extension (support ? 1) - 1131tuples 2.48/2.52 c intension eq(dist(f[168],f[20]),d[229]) -> extension (support ? 1) - 1521tuples 2.48/2.57 c intension eq(dist(f[20],f[361]),d[232]) -> extension (support ? 1) - 1131tuples 2.58/2.63 c intension eq(dist(f[20],f[364]),d[233]) -> extension (support ? 1) - 1131tuples 2.58/2.67 c intension eq(dist(f[20],f[395]),d[235]) -> extension (support ? 1) - 1521tuples 2.69/2.71 c intension eq(dist(f[22],f[36]),d[243]) -> extension (support ? 1) - 1225tuples 2.69/2.74 c intension eq(dist(f[127],f[22]),d[245]) -> extension (support ? 1) - 1225tuples 2.69/2.78 c intension eq(dist(f[224],f[22]),d[251]) -> extension (support ? 1) - 1015tuples 2.79/2.84 c intension eq(dist(f[22],f[231]),d[252]) -> extension (support ? 1) - 1575tuples 2.79/2.87 c intension eq(dist(f[22],f[314]),d[254]) -> extension (support ? 1) - 1225tuples 2.89/2.92 c intension eq(dist(f[23],f[51]),d[256]) -> extension (support ? 1) - 1479tuples 2.89/2.95 c intension eq(dist(f[134],f[23]),d[257]) -> extension (support ? 1) - 725tuples 2.89/2.98 c intension eq(dist(f[195],f[23]),d[258]) -> extension (support ? 1) - 841tuples 2.89/3.00 c intension eq(dist(f[23],f[387]),d[262]) -> extension (support ? 1) - 841tuples 3.00/3.05 c intension eq(dist(f[23],f[395]),d[263]) -> extension (support ? 1) - 1131tuples 3.00/3.07 c intension eq(dist(f[23],f[404]),d[264]) -> extension (support ? 1) - 841tuples 3.10/3.12 c intension eq(dist(f[30],f[81]),d[335]) -> extension (support ? 1) - 1225tuples 3.10/3.14 c intension eq(dist(f[30],f[387]),d[337]) -> extension (support ? 1) - 1015tuples 3.19/3.20 c intension eq(dist(f[147],f[32]),d[352]) -> extension (support ? 1) - 1479tuples 3.19/3.22 c intension eq(dist(f[224],f[32]),d[355]) -> extension (support ? 1) - 841tuples 3.19/3.27 c intension eq(dist(f[32],f[363]),d[356]) -> extension (support ? 1) - 1131tuples 3.19/3.29 c intension eq(dist(f[32],f[401]),d[357]) -> extension (support ? 1) - 841tuples 3.29/3.35 c intension eq(dist(f[32],f[408]),d[358]) -> extension (support ? 1) - 1131tuples 3.29/3.37 c intension eq(dist(f[33],f[64]),d[359]) -> extension (support ? 1) - 1015tuples 3.39/3.40 c intension eq(dist(f[224],f[33]),d[360]) -> extension (support ? 1) - 841tuples 3.39/3.43 c intension eq(dist(f[33],f[364]),d[364]) -> extension (support ? 1) - 841tuples 3.39/3.44 c intension -> extension : same as previous 3.39/3.44 c intension eq(dist(f[166],f[34]),d[367]) -> extension (support ? 1) - 625tuples 3.39/3.49 c intension eq(dist(f[263],f[34]),d[369]) -> extension (support ? 1) - 1575tuples 3.49/3.51 c intension eq(dist(f[280],f[34]),d[371]) -> extension (support ? 1) - 625tuples 3.49/3.54 c intension eq(dist(f[308],f[34]),d[372]) -> extension (support ? 1) - 875tuples 3.68/3.76 c intension eq(dist(f[36],f[77]),d[384]) -> extension (support ? 1) - 1225tuples 3.68/3.76 c intension eq(dist(f[36],f[82]),d[385]) -> extension (support ? 1) - 1575tuples 3.68/3.76 c intension eq(dist(f[36],f[397]),d[389]) -> extension (support ? 1) - 1225tuples 3.68/3.76 c intension eq(dist(f[38],f[51]),d[403]) -> extension (support ? 1) - 1479tuples 3.68/3.76 c intension eq(dist(f[164],f[38]),d[405]) -> extension (support ? 1) - 841tuples 3.68/3.77 c intension eq(dist(f[258],f[38]),d[407]) -> extension (support ? 1) - 841tuples 3.78/3.80 c intension eq(dist(f[291],f[38]),d[410]) -> extension (support ? 1) - 841tuples 3.78/3.82 c intension eq(dist(f[38],f[390]),d[413]) -> extension (support ? 1) - 841tuples 3.78/3.87 c intension -> extension : same as previous 3.78/3.87 c intension eq(dist(f[42],f[44]),d[451]) -> extension (support ? 1) - 1305tuples 3.89/3.94 c intension eq(dist(f[42],f[82]),d[452]) -> extension (support ? 1) - 2025tuples 3.89/3.97 c intension eq(dist(f[280],f[42]),d[456]) -> extension (support ? 1) - 1125tuples 4.00/4.04 c intension eq(dist(f[310],f[42]),d[457]) -> extension (support ? 1) - 2025tuples 4.00/4.09 c intension -> extension : same as previous 4.00/4.09 c intension eq(dist(f[291],f[43]),d[461]) -> extension (support ? 1) - 1131tuples 4.10/4.11 c intension eq(dist(f[131],f[44]),d[466]) -> extension (support ? 1) - 841tuples 4.10/4.14 c intension eq(dist(f[136],f[44]),d[467]) -> extension (support ? 1) - 841tuples 4.19/4.20 c intension eq(dist(f[168],f[44]),d[468]) -> extension (support ? 1) - 1131tuples 4.19/4.22 c intension eq(dist(f[355],f[44]),d[474]) -> extension (support ? 1) - 841tuples 4.19/4.28 c intension eq(dist(f[195],f[48]),d[497]) -> extension (support ? 1) - 1131tuples 4.29/4.32 c intension eq(dist(f[282],f[48]),d[499]) -> extension (support ? 1) - 1521tuples 4.29/4.35 c intension eq(dist(f[49],f[64]),d[500]) -> extension (support ? 1) - 1225tuples 4.29/4.38 c intension eq(dist(f[49],f[92]),d[501]) -> extension (support ? 1) - 875tuples 4.39/4.45 c intension eq(dist(f[135],f[49]),d[503]) -> extension (support ? 1) - 1365tuples 4.39/4.48 c intension eq(dist(f[205],f[49]),d[505]) -> extension (support ? 1) - 1015tuples 4.48/4.51 c intension eq(dist(f[398],f[49]),d[509]) -> extension (support ? 1) - 1225tuples 4.48/4.57 c intension eq(dist(f[164],f[51]),d[524]) -> extension (support ? 1) - 1479tuples 4.58/4.62 c intension eq(dist(f[258],f[51]),d[525]) -> extension (support ? 1) - 1479tuples 4.58/4.68 c intension eq(dist(f[291],f[51]),d[526]) -> extension (support ? 1) - 1479tuples 4.68/4.73 c intension eq(dist(f[387],f[51]),d[528]) -> extension (support ? 1) - 1479tuples 4.68/4.79 c intension eq(dist(f[54],f[60]),d[555]) -> extension (support ? 1) - 1479tuples 4.78/4.86 c intension eq(dist(f[199],f[63]),d[630]) -> extension (support ? 1) - 975tuples 4.78/4.88 c intension eq(dist(f[238],f[63]),d[633]) -> extension (support ? 1) - 725tuples 4.88/4.95 c intension eq(dist(f[135],f[64]),d[637]) -> extension (support ? 1) - 1365tuples 4.88/4.98 c intension eq(dist(f[274],f[64]),d[639]) -> extension (support ? 1) - 1225tuples 5.00/5.05 c intension eq(dist(f[67],f[85]),d[657]) -> extension (support ? 1) - 1827tuples 5.10/5.12 c intension eq(dist(f[238],f[67]),d[663]) -> extension (support ? 1) - 1827tuples 5.10/5.14 c intension eq(dist(f[68],f[83]),d[669]) -> extension (support ? 1) - 841tuples 5.10/5.19 c intension eq(dist(f[147],f[68]),d[671]) -> extension (support ? 1) - 1479tuples 5.19/5.21 c intension eq(dist(f[198],f[68]),d[672]) -> extension (support ? 1) - 841tuples 5.19/5.24 c intension eq(dist(f[267],f[68]),d[675]) -> extension (support ? 1) - 841tuples 5.19/5.29 c intension eq(dist(f[351],f[68]),d[678]) -> extension (support ? 1) - 1305tuples 5.29/5.36 c intension eq(dist(f[76],f[85]),d[753]) -> extension (support ? 1) - 1479tuples 5.39/5.42 c intension eq(dist(f[291],f[76]),d[756]) -> extension (support ? 1) - 1479tuples 5.39/5.47 c intension eq(dist(f[370],f[76]),d[758]) -> extension (support ? 1) - 1479tuples 5.49/5.50 c intension -> extension : same as previous 5.49/5.50 c intension eq(dist(f[77],f[83]),d[761]) -> extension (support ? 1) - 1015tuples 5.49/5.53 c intension -> extension : same as previous 5.49/5.53 c intension eq(dist(f[314],f[77]),d[763]) -> extension (support ? 1) - 1225tuples 5.49/5.59 c intension eq(dist(f[216],f[79]),d[780]) -> extension (support ? 1) - 1479tuples 5.59/5.64 c intension eq(dist(f[355],f[79]),d[784]) -> extension (support ? 1) - 1479tuples 5.69/5.70 c intension eq(dist(f[387],f[79]),d[787]) -> extension (support ? 1) - 1479tuples 5.69/5.75 c intension eq(dist(f[147],f[80]),d[791]) -> extension (support ? 1) - 1479tuples 5.69/5.77 c intension eq(dist(f[216],f[80]),d[795]) -> extension (support ? 1) - 841tuples 5.79/5.82 c intension eq(dist(f[324],f[80]),d[796]) -> extension (support ? 1) - 1305tuples 5.79/5.85 c intension eq(dist(f[162],f[81]),d[798]) -> extension (support ? 1) - 1225tuples 5.79/5.87 c intension eq(dist(f[233],f[81]),d[802]) -> extension (support ? 1) - 1015tuples 5.89/5.92 c intension -> extension : same as previous 5.89/5.92 c intension eq(dist(f[262],f[81]),d[804]) -> extension (support ? 1) - 1015tuples 5.89/5.95 c intension eq(dist(f[172],f[82]),d[808]) -> extension (support ? 1) - 1125tuples 5.89/5.99 c intension eq(dist(f[198],f[82]),d[809]) -> extension (support ? 1) - 1305tuples 6.00/6.04 c intension eq(dist(f[262],f[82]),d[810]) -> extension (support ? 1) - 1305tuples 6.00/6.10 c intension -> extension : same as previous 6.00/6.10 c intension eq(dist(f[360],f[82]),d[812]) -> extension (support ? 1) - 1575tuples 6.10/6.12 c intension eq(dist(f[233],f[83]),d[818]) -> extension (support ? 1) - 841tuples 6.10/6.15 c intension eq(dist(f[307],f[83]),d[821]) -> extension (support ? 1) - 841tuples 6.10/6.20 c intension eq(dist(f[310],f[83]),d[822]) -> extension (support ? 1) - 1305tuples 6.19/6.25 c intension eq(dist(f[395],f[83]),d[823]) -> extension (support ? 1) - 1131tuples 6.19/6.27 c intension eq(dist(f[397],f[83]),d[824]) -> extension (support ? 1) - 1015tuples 6.19/6.29 c intension eq(dist(f[364],f[85]),d[835]) -> extension (support ? 1) - 841tuples 6.29/6.35 c intension -> extension : same as previous 6.29/6.35 c intension eq(dist(f[244],f[87]),d[850]) -> extension (support ? 1) - 1479tuples 6.39/6.41 c intension eq(dist(f[303],f[87]),d[851]) -> extension (support ? 1) - 1479tuples 6.39/6.46 c intension eq(dist(f[401],f[87]),d[854]) -> extension (support ? 1) - 1479tuples 6.49/6.52 c intension eq(dist(f[199],f[91]),d[887]) -> extension (support ? 1) - 1521tuples 6.49/6.56 c intension eq(dist(f[210],f[91]),d[888]) -> extension (support ? 1) - 975tuples 6.59/6.61 c intension eq(dist(f[234],f[91]),d[889]) -> extension (support ? 1) - 1131tuples 6.59/6.67 c intension eq(dist(f[326],f[91]),d[894]) -> extension (support ? 1) - 1131tuples 6.69/6.71 c intension eq(dist(f[395],f[91]),d[895]) -> extension (support ? 1) - 1521tuples 6.69/6.73 c intension eq(dist(f[164],f[92]),d[897]) -> extension (support ? 1) - 725tuples 6.69/6.75 c intension eq(dist(f[244],f[92]),d[899]) -> extension (support ? 1) - 725tuples 6.78/6.84 c intension eq(dist(f[102],f[219]),d[981]) -> extension (support ? 1) - 1575tuples 6.78/6.87 c intension eq(dist(f[102],f[360]),d[983]) -> extension (support ? 1) - 1225tuples 6.88/6.92 c intension -> extension : same as previous 6.88/6.92 c intension eq(dist(f[104],f[106]),d[997]) -> extension (support ? 1) - 1305tuples 6.88/6.98 c intension eq(dist(f[104],f[108]),d[998]) -> extension (support ? 1) - 2025tuples 6.99/7.01 c intension eq(dist(f[104],f[163]),d[999]) -> extension (support ? 1) - 1125tuples 6.99/7.07 c intension eq(dist(f[104],f[286]),d[1000]) -> extension (support ? 1) - 2025tuples 7.09/7.13 c intension eq(dist(f[106],f[312]),d[1013]) -> extension (support ? 1) - 1479tuples 7.09/7.18 c intension eq(dist(f[106],f[351]),d[1014]) -> extension (support ? 1) - 1305tuples 7.18/7.21 c intension eq(dist(f[106],f[404]),d[1017]) -> extension (support ? 1) - 841tuples 7.18/7.26 c intension eq(dist(f[106],f[408]),d[1018]) -> extension (support ? 1) - 1131tuples 7.28/7.31 c intension eq(dist(f[108],f[224]),d[1024]) -> extension (support ? 1) - 1305tuples 7.28/7.36 c intension eq(dist(f[108],f[398]),d[1027]) -> extension (support ? 1) - 1575tuples 7.38/7.42 c intension eq(dist(f[110],f[262]),d[1042]) -> extension (support ? 1) - 1305tuples 7.38/7.48 c intension eq(dist(f[110],f[351]),d[1045]) -> extension (support ? 1) - 2025tuples 7.49/7.52 c intension eq(dist(f[110],f[364]),d[1046]) -> extension (support ? 1) - 1305tuples 7.49/7.55 c intension eq(dist(f[111],f[167]),d[1049]) -> extension (support ? 1) - 1015tuples 7.49/7.58 c intension eq(dist(f[111],f[195]),d[1050]) -> extension (support ? 1) - 841tuples 7.59/7.61 c intension -> extension : same as previous 7.59/7.61 c intension eq(dist(f[111],f[262]),d[1053]) -> extension (support ? 1) - 841tuples 7.59/7.64 c intension -> extension : same as previous 7.59/7.64 c intension eq(dist(f[114],f[131]),d[1079]) -> extension (support ? 1) - 841tuples 7.59/7.65 c intension eq(dist(f[114],f[210]),d[1082]) -> extension (support ? 1) - 725tuples 7.69/7.70 c intension eq(dist(f[114],f[247]),d[1083]) -> extension (support ? 1) - 1305tuples 7.69/7.74 c intension eq(dist(f[114],f[315]),d[1086]) -> extension (support ? 1) - 1305tuples 7.69/7.76 c intension eq(dist(f[114],f[326]),d[1087]) -> extension (support ? 1) - 841tuples 7.79/7.81 c intension eq(dist(f[114],f[418]),d[1088]) -> extension (support ? 1) - 1479tuples 7.79/7.87 c intension eq(dist(f[116],f[355]),d[1098]) -> extension (support ? 1) - 1131tuples 7.89/7.93 c intension eq(dist(f[119],f[204]),d[1120]) -> extension (support ? 1) - 1131tuples 7.89/7.97 c intension eq(dist(f[119],f[310]),d[1121]) -> extension (support ? 1) - 1305tuples 7.89/7.99 c intension eq(dist(f[119],f[311]),d[1122]) -> extension (support ? 1) - 841tuples 8.00/8.05 c intension eq(dist(f[120],f[210]),d[1127]) -> extension (support ? 1) - 1175tuples 8.00/8.10 c intension eq(dist(f[127],f[142]),d[1183]) -> extension (support ? 1) - 1015tuples 8.10/8.15 c intension eq(dist(f[131],f[231]),d[1209]) -> extension (support ? 1) - 1305tuples 8.10/8.17 c intension eq(dist(f[134],f[166]),d[1225]) -> extension (support ? 1) - 625tuples 8.10/8.18 c intension -> extension : same as previous 8.10/8.18 c intension eq(dist(f[134],f[210]),d[1228]) -> extension (support ? 1) - 625tuples 8.19/8.22 c intension eq(dist(f[134],f[388]),d[1231]) -> extension (support ? 1) - 1275tuples 8.19/8.26 c intension eq(dist(f[135],f[179]),d[1232]) -> extension (support ? 1) - 1521tuples 8.29/8.31 c intension eq(dist(f[135],f[262]),d[1234]) -> extension (support ? 1) - 1131tuples 8.29/8.38 c intension eq(dist(f[135],f[274]),d[1235]) -> extension (support ? 1) - 1365tuples 8.39/8.42 c intension eq(dist(f[135],f[323]),d[1236]) -> extension (support ? 1) - 975tuples 8.39/8.47 c intension eq(dist(f[135],f[326]),d[1237]) -> extension (support ? 1) - 1131tuples 8.48/8.52 c intension eq(dist(f[136],f[219]),d[1241]) -> extension (support ? 1) - 1305tuples 8.48/8.54 c intension eq(dist(f[136],f[308]),d[1243]) -> extension (support ? 1) - 1015tuples 8.48/8.58 c intension eq(dist(f[136],f[410]),d[1244]) -> extension (support ? 1) - 841tuples 8.48/8.59 c intension eq(dist(f[137],f[258]),d[1246]) -> extension (support ? 1) - 841tuples 8.58/8.62 c intension -> extension : same as previous 8.58/8.62 c intension eq(dist(f[137],f[307]),d[1248]) -> extension (support ? 1) - 841tuples 8.58/8.65 c intension eq(dist(f[137],f[397]),d[1250]) -> extension (support ? 1) - 1015tuples 8.58/8.69 c intension eq(dist(f[142],f[216]),d[1287]) -> extension (support ? 1) - 841tuples 8.68/8.74 c intension eq(dist(f[142],f[388]),d[1290]) -> extension (support ? 1) - 1479tuples 8.68/8.77 c intension eq(dist(f[142],f[402]),d[1291]) -> extension (support ? 1) - 1015tuples 8.78/8.82 c intension eq(dist(f[143],f[307]),d[1294]) -> extension (support ? 1) - 1131tuples 8.78/8.87 c intension eq(dist(f[143],f[370]),d[1295]) -> extension (support ? 1) - 1131tuples 8.88/8.94 c intension eq(dist(f[143],f[398]),d[1296]) -> extension (support ? 1) - 1365tuples 8.88/9.00 c intension eq(dist(f[147],f[192]),d[1326]) -> extension (support ? 1) - 1479tuples 9.00/9.06 c intension eq(dist(f[147],f[355]),d[1329]) -> extension (support ? 1) - 1479tuples 9.10/9.11 c intension eq(dist(f[147],f[404]),d[1330]) -> extension (support ? 1) - 1479tuples 9.10/9.13 c intension eq(dist(f[148],f[166]),d[1331]) -> extension (support ? 1) - 725tuples 9.10/9.16 c intension eq(dist(f[148],f[291]),d[1332]) -> extension (support ? 1) - 841tuples 9.19/9.22 c intension eq(dist(f[148],f[408]),d[1333]) -> extension (support ? 1) - 1131tuples 9.19/9.24 c intension eq(dist(f[152],f[166]),d[1353]) -> extension (support ? 1) - 725tuples 9.19/9.27 c intension eq(dist(f[152],f[195]),d[1354]) -> extension (support ? 1) - 841tuples 9.19/9.29 c intension eq(dist(f[152],f[244]),d[1355]) -> extension (support ? 1) - 841tuples 9.29/9.31 c intension eq(dist(f[152],f[280]),d[1356]) -> extension (support ? 1) - 725tuples 9.29/9.36 c intension eq(dist(f[152],f[315]),d[1357]) -> extension (support ? 1) - 1305tuples 9.29/9.39 c intension eq(dist(f[152],f[355]),d[1359]) -> extension (support ? 1) - 841tuples 9.39/9.47 c intension eq(dist(f[162],f[391]),d[1427]) -> extension (support ? 1) - 1575tuples 9.49/9.52 c intension eq(dist(f[164],f[259]),d[1428]) -> extension (support ? 1) - 1305tuples 9.49/9.58 c intension -> extension : same as previous 9.49/9.58 c intension eq(dist(f[166],f[352]),d[1435]) -> extension (support ? 1) - 1175tuples 9.58/9.62 c intension eq(dist(f[166],f[363]),d[1436]) -> extension (support ? 1) - 975tuples 9.58/9.64 c intension eq(dist(f[166],f[390]),d[1437]) -> extension (support ? 1) - 725tuples 9.69/9.71 c intension eq(dist(f[167],f[179]),d[1440]) -> extension (support ? 1) - 1365tuples 9.69/9.78 c intension eq(dist(f[167],f[282]),d[1443]) -> extension (support ? 1) - 1365tuples 9.79/9.83 c intension eq(dist(f[168],f[234]),d[1446]) -> extension (support ? 1) - 1131tuples 9.79/9.85 c intension eq(dist(f[172],f[280]),d[1471]) -> extension (support ? 1) - 625tuples 9.79/9.87 c intension eq(dist(f[172],f[326]),d[1473]) -> extension (support ? 1) - 725tuples 9.79/9.89 c intension eq(dist(f[172],f[355]),d[1475]) -> extension (support ? 1) - 725tuples 9.89/9.95 c intension eq(dist(f[176],f[418]),d[1502]) -> extension (support ? 1) - 1479tuples 9.89/10.00 c intension eq(dist(f[177],f[267]),d[1507]) -> extension (support ? 1) - 1479tuples 10.00/10.05 c intension eq(dist(f[179],f[199]),d[1520]) -> extension (support ? 1) - 1521tuples 10.00/10.10 c intension -> extension : same as previous 10.00/10.10 c intension eq(dist(f[179],f[258]),d[1522]) -> extension (support ? 1) - 1131tuples 10.10/10.13 c intension eq(dist(f[180],f[244]),d[1526]) -> extension (support ? 1) - 841tuples 10.10/10.15 c intension eq(dist(f[180],f[303]),d[1528]) -> extension (support ? 1) - 841tuples 10.19/10.21 c intension eq(dist(f[182],f[267]),d[1536]) -> extension (support ? 1) - 1479tuples 10.19/10.25 c intension eq(dist(f[192],f[313]),d[1592]) -> extension (support ? 1) - 841tuples 10.19/10.28 c intension eq(dist(f[195],f[216]),d[1608]) -> extension (support ? 1) - 841tuples 10.19/10.29 c intension eq(dist(f[195],f[262]),d[1610]) -> extension (support ? 1) - 841tuples 10.28/10.33 c intension eq(dist(f[195],f[265]),d[1611]) -> extension (support ? 1) - 841tuples 10.28/10.34 c intension eq(dist(f[195],f[281]),d[1612]) -> extension (support ? 1) - 841tuples 10.28/10.36 c intension eq(dist(f[195],f[364]),d[1614]) -> extension (support ? 1) - 841tuples 10.28/10.39 c intension eq(dist(f[198],f[274]),d[1631]) -> extension (support ? 1) - 1015tuples 10.38/10.42 c intension eq(dist(f[198],f[355]),d[1632]) -> extension (support ? 1) - 841tuples 10.38/10.45 c intension eq(dist(f[198],f[400]),d[1634]) -> extension (support ? 1) - 1015tuples 10.38/10.46 c intension eq(dist(f[198],f[404]),d[1635]) -> extension (support ? 1) - 841tuples 10.48/10.52 c intension eq(dist(f[199],f[224]),d[1636]) -> extension (support ? 1) - 1131tuples 10.48/10.58 c intension eq(dist(f[204],f[264]),d[1663]) -> extension (support ? 1) - 1131tuples 10.59/10.63 c intension eq(dist(f[210],f[263]),d[1694]) -> extension (support ? 1) - 1575tuples 10.59/10.65 c intension eq(dist(f[210],f[293]),d[1696]) -> extension (support ? 1) - 725tuples 10.59/10.69 c intension eq(dist(f[216],f[264]),d[1723]) -> extension (support ? 1) - 841tuples 10.69/10.71 c intension eq(dist(f[216],f[293]),d[1724]) -> extension (support ? 1) - 841tuples 10.69/10.76 c intension -> extension : same as previous 10.69/10.76 c intension eq(dist(f[219],f[293]),d[1742]) -> extension (support ? 1) - 1305tuples 10.79/10.81 c intension eq(dist(f[224],f[310]),d[1773]) -> extension (support ? 1) - 1305tuples 10.79/10.83 c intension eq(dist(f[224],f[355]),d[1775]) -> extension (support ? 1) - 841tuples 10.79/10.89 c intension eq(dist(f[224],f[408]),d[1776]) -> extension (support ? 1) - 1131tuples 10.89/10.93 c intension eq(dist(f[225],f[311]),d[1778]) -> extension (support ? 1) - 1305tuples 10.89/10.96 c intension eq(dist(f[233],f[234]),d[1810]) -> extension (support ? 1) - 841tuples 10.89/10.99 c intension eq(dist(f[233],f[238]),d[1811]) -> extension (support ? 1) - 841tuples 11.00/11.01 c intension eq(dist(f[233],f[269]),d[1812]) -> extension (support ? 1) - 1015tuples 11.00/11.04 c intension eq(dist(f[234],f[291]),d[1816]) -> extension (support ? 1) - 841tuples 11.00/11.06 c intension eq(dist(f[234],f[311]),d[1817]) -> extension (support ? 1) - 841tuples 11.00/11.09 c intension eq(dist(f[234],f[355]),d[1818]) -> extension (support ? 1) - 841tuples 11.10/11.14 c intension eq(dist(f[238],f[310]),d[1835]) -> extension (support ? 1) - 1305tuples 11.19/11.21 c intension eq(dist(f[241],f[353]),d[1845]) -> extension (support ? 1) - 1827tuples 11.19/11.27 c intension eq(dist(f[243],f[280]),d[1852]) -> extension (support ? 1) - 1175tuples 11.19/11.29 c intension eq(dist(f[244],f[264]),d[1857]) -> extension (support ? 1) - 841tuples 11.29/11.34 c intension eq(dist(f[244],f[282]),d[1858]) -> extension (support ? 1) - 1131tuples 11.29/11.36 c intension eq(dist(f[244],f[370]),d[1859]) -> extension (support ? 1) - 841tuples 11.39/11.40 c intension eq(dist(f[248],f[323]),d[1881]) -> extension (support ? 1) - 1275tuples 11.39/11.45 c intension eq(dist(f[258],f[281]),d[1923]) -> extension (support ? 1) - 841tuples 11.39/11.49 c intension eq(dist(f[258],f[310]),d[1925]) -> extension (support ? 1) - 1305tuples 11.48/11.51 c intension eq(dist(f[258],f[370]),d[1926]) -> extension (support ? 1) - 841tuples 11.48/11.55 c intension eq(dist(f[262],f[311]),d[1941]) -> extension (support ? 1) - 841tuples 11.48/11.57 c intension eq(dist(f[264],f[323]),d[1951]) -> extension (support ? 1) - 725tuples 11.48/11.59 c intension eq(dist(f[264],f[390]),d[1952]) -> extension (support ? 1) - 841tuples 11.58/11.61 c intension eq(dist(f[264],f[397]),d[1953]) -> extension (support ? 1) - 1015tuples 11.58/11.64 c intension eq(dist(f[265],f[326]),d[1958]) -> extension (support ? 1) - 841tuples 11.58/11.68 c intension eq(dist(f[267],f[311]),d[1960]) -> extension (support ? 1) - 841tuples 11.68/11.71 c intension eq(dist(f[269],f[274]),d[1964]) -> extension (support ? 1) - 1225tuples 11.68/11.75 c intension -> extension : same as previous 11.68/11.75 c intension -> extension : same as previous 11.68/11.75 c intension eq(dist(f[280],f[402]),d[2001]) -> extension (support ? 1) - 875tuples 11.68/11.77 c intension eq(dist(f[281],f[303]),d[2002]) -> extension (support ? 1) - 841tuples 11.79/11.82 c intension eq(dist(f[282],f[392]),d[2003]) -> extension (support ? 1) - 1131tuples 11.79/11.89 c intension eq(dist(f[286],f[391]),d[2019]) -> extension (support ? 1) - 2025tuples 11.89/11.92 c intension eq(dist(f[303],f[326]),d[2082]) -> extension (support ? 1) - 841tuples 11.89/11.96 c intension eq(dist(f[303],f[398]),d[2084]) -> extension (support ? 1) - 1015tuples 11.89/12.00 c intension eq(dist(f[307],f[361]),d[2093]) -> extension (support ? 1) - 841tuples 12.00/12.03 c intension -> extension : same as previous 12.00/12.03 c intension eq(dist(f[308],f[398]),d[2097]) -> extension (support ? 1) - 1225tuples 12.00/12.09 c intension eq(dist(f[310],f[324]),d[2101]) -> extension (support ? 1) - 2025tuples 12.09/12.13 c intension eq(dist(f[311],f[401]),d[2107]) -> extension (support ? 1) - 841tuples 12.09/12.18 c intension eq(dist(f[312],f[318]),d[2108]) -> extension (support ? 1) - 1479tuples 12.19/12.23 c intension eq(dist(f[312],f[404]),d[2112]) -> extension (support ? 1) - 1479tuples 12.19/12.25 c intension eq(dist(f[313],f[318]),d[2113]) -> extension (support ? 1) - 841tuples 12.29/12.30 c intension eq(dist(f[313],f[391]),d[2114]) -> extension (support ? 1) - 1305tuples 12.29/12.34 c intension eq(dist(f[315],f[364]),d[2115]) -> extension (support ? 1) - 1305tuples 12.29/12.39 c intension eq(dist(f[318],f[379]),d[2123]) -> extension (support ? 1) - 1305tuples 12.39/12.43 c intension eq(dist(f[318],f[398]),d[2124]) -> extension (support ? 1) - 1015tuples 12.39/12.48 c intension eq(dist(f[318],f[418]),d[2125]) -> extension (support ? 1) - 1479tuples 12.49/12.50 c intension eq(dist(f[323],f[353]),d[2134]) -> extension (support ? 1) - 725tuples 12.49/12.54 c intension eq(dist(f[323],f[408]),d[2135]) -> extension (support ? 1) - 975tuples 12.49/12.57 c intension eq(dist(f[326],f[390]),d[2136]) -> extension (support ? 1) - 841tuples 12.58/12.65 c intension eq(dist(f[351],f[391]),d[2190]) -> extension (support ? 1) - 2025tuples 12.58/12.68 c intension eq(dist(f[353],f[361]),d[2192]) -> extension (support ? 1) - 841tuples 12.68/12.70 c intension eq(dist(f[353],f[364]),d[2193]) -> extension (support ? 1) - 841tuples 12.68/12.73 c intension eq(dist(f[360],f[361]),d[2203]) -> extension (support ? 1) - 1015tuples 12.68/12.76 c intension eq(dist(f[360],f[398]),d[2204]) -> extension (support ? 1) - 1225tuples 12.68/12.78 c intension eq(dist(f[361],f[390]),d[2206]) -> extension (support ? 1) - 841tuples 12.78/12.84 c intension eq(dist(f[363],f[400]),d[2209]) -> extension (support ? 1) - 1365tuples 12.78/12.87 c intension eq(dist(f[387],f[390]),d[2237]) -> extension (support ? 1) - 841tuples 12.89/12.90 c intension eq(dist(f[387],f[392]),d[2238]) -> extension (support ? 1) - 841tuples 12.89/12.96 c intension eq(dist(f[392],f[403]),d[2240]) -> extension (support ? 1) - 1479tuples 703.59/703.76 c enable optimization 703.59/703.76 c ========================================[ Problem Statistics ]=========================================== 703.59/703.76 c | 703.59/703.76 c | Parse time : 62.81 s 703.59/703.76 c | 703.59/703.76 c | Variables: 7590 703.59/703.76 c | Domain Sizes: 1..151 703.59/703.76 c | 703.59/703.76 c | Constraints: 4737 703.59/703.76 c | Arity: 2..4501 -- Binary: 237 -- Ternary: 2249 703.59/703.76 c | 703.59/703.76 c | Types: 703.59/703.76 c | (X != Y): 7 703.59/703.76 c | (X = Y): 9 703.59/703.76 c | Extension: 2791 (nb tuples: 0..7224) -- (shared: 101) 703.59/703.76 c | Intension: 1929 703.59/703.76 c | Sum: 1 703.59/703.76 c | 703.59/703.76 c | Objective: Minimize Sum 703.59/703.76 703.59/703.76 c ========================================================================================================= 703.59/703.76 o 578530015 703.59/703.76 c 1 calls to solver(id=0): best=578530015 lower=0 upper=578530014 714.99/715.18 o 578507515 720.99/721.15 o 578507509 720.99/721.15 c 3 calls to solver(id=0): best=578507509 lower=0 upper=578507508 768.48/768.66 o 578507498 920.27/920.46 o 578507493 920.27/920.46 c 5 calls to solver(id=0): best=578507493 lower=0 upper=578507492 927.08/927.22 o 578507483 939.98/940.13 o 578507479 939.98/940.13 c 7 calls to solver(id=0): best=578507479 lower=0 upper=578507478 972.37/972.56 o 578507469 1011.57/1011.71 o 578507462 1011.57/1011.72 c 9 calls to solver(id=0): best=578507462 lower=0 upper=578507461 1018.67/1018.89 o 578507457 1110.76/1110.90 o 578507452 1110.76/1110.90 c 11 calls to solver(id=0): best=578507452 lower=0 upper=578507451 1272.87/1273.07 o 578507444 1369.25/1369.41 o 578507434 1369.25/1369.41 c 13 calls to solver(id=0): best=578507434 lower=0 upper=578507433 1397.25/1397.41 o 578417394 1695.35/1695.58 o 578394904 1695.35/1695.58 c 15 calls to solver(id=0): best=578394904 lower=0 upper=578394903 1806.25/1806.48 o 578394894 1813.85/1814.10 o 578394884 1813.85/1814.10 c 17 calls to solver(id=0): best=578394884 lower=0 upper=578394883 2519.83/2520.01 2519.83/2520.01 c *** INTERRUPTED *** 2519.83/2520.01 c call to solver : 17 2519.83/2520.01 c 2519.83/2520.01 c restarts : 252 2519.83/2520.01 c conflicts : 108809 (43 /sec) 2519.83/2520.01 c decisions : 1502576 (597 /sec) 2519.83/2520.01 c propagations : 155394100 (61699 /sec) 2519.83/2520.01 c root propagations : 18913 2519.83/2520.01 c filter calls : 16081411 (6385 /sec) 2519.83/2520.01 c useless filter calls : 10342615 (64 %) 2519.83/2520.01 c Memory used : 1137.50 MB 2519.83/2520.01 c Best bound time (wc) : 1814.1 s 2519.83/2520.01 c CPU time : 2518.57 s 2519.83/2520.01 c real time : 2520 s 2519.83/2520.01 2519.83/2520.01 c nb Solutions = 17 2519.83/2520.01 s SATISFIABLE 2519.83/2520.01 c Best value found: 578394884 2519.83/2520.01 2519.83/2520.01 2519.83/2520.01 v <instantiation type='solution' cost='578394884'> 2519.83/2520.01 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> 2519.83/2520.01 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> 2519.83/2520.01 v </instantiation> 2519.83/2520.01
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 (14354 MiB free)
memory of node 1: 16384 MiB (14622 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408292-1569813620/watcher-4408292-1569813620 -o /tmp/evaluation-result-4408292-1569813620/solver-4408292-1569813620 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1569787350-23554 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408292-1569813620.xml
running on 4 cores: 0,2,4,6
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
solver pid=28923, runsolver pid=28920
Current StackSize limit: 8192 KiB
[startup+0.100205 s]*
/proc/loadavg: 2.01 2.11 2.13 3/200 28924
/proc/meminfo: memFree=29648956/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=51876 memory=28212 CPUtime=0.1 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 7276 0 0 0 9 1 0 0 20 0 1 0 557298411 53121024 7053 33554432000 4194304 6211132 140729879923088 140729879919624 5454208 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 12969 7053 825 493 0 6274 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51876 KiB
Current children cumulated memory: 28212 KiB
[startup+0.209857 s]*
/proc/loadavg: 2.01 2.11 2.13 3/200 28924
/proc/meminfo: memFree=29646724/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=54120 memory=30376 CPUtime=0.21 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 7917 0 0 0 20 1 0 0 20 0 1 0 557298411 55418880 7594 33554432000 4194304 6211132 140729879923088 140729879919624 139838563417184 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 13530 7594 826 493 0 6835 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54120 KiB
Current children cumulated memory: 30376 KiB
[startup+0.309275 s]*
/proc/loadavg: 1.85 2.08 2.12 3/200 28924
/proc/meminfo: memFree=29644616/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=55852 memory=31960 CPUtime=0.31 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 8349 0 0 0 30 1 0 0 20 0 1 0 557298411 57192448 7990 33554432000 4194304 6211132 140729879923088 140729879919624 5440612 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 13963 7990 826 493 0 7268 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 55852 KiB
Current children cumulated memory: 31960 KiB
[startup+0.700355 s]
/proc/loadavg: 1.85 2.08 2.12 3/200 28924
/proc/meminfo: memFree=29641888/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=60816 memory=37028 CPUtime=0.68 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 13508 0 0 0 67 1 0 0 20 0 1 0 557298411 62275584 9257 33554432000 4194304 6211132 140729879923088 140729879917576 139838563902802 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 15204 9257 826 493 0 8509 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60816 KiB
Current children cumulated memory: 37028 KiB
[startup+1.50036 s]
/proc/loadavg: 1.85 2.08 2.12 3/200 28924
/proc/meminfo: memFree=29631824/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=72448 memory=48316 CPUtime=1.49 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 18339 0 0 0 147 2 0 0 20 0 1 0 557298411 74186752 12079 33554432000 4194304 6211132 140729879923088 140729879917576 139838563048448 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 18112 12079 835 493 0 11417 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 72448 KiB
Current children cumulated memory: 48316 KiB
[startup+3.10945 s]
/proc/loadavg: 1.85 2.08 2.12 3/200 28924
/proc/meminfo: memFree=29615088/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=88864 memory=65116 CPUtime=3.1 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 30365 0 0 0 307 3 0 0 20 0 1 0 557298411 90996736 16279 33554432000 4194304 6211132 140729879923088 140729879917384 5012856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 22216 16279 835 493 0 15521 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 88864 KiB
Current children cumulated memory: 65116 KiB
[startup+6.30035 s]
/proc/loadavg: 1.86 2.07 2.12 3/200 28924
/proc/meminfo: memFree=29571996/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=129040 memory=105284 CPUtime=6.29 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 50615 0 0 0 624 5 0 0 20 0 1 0 557298411 132136960 26321 33554432000 4194304 6211132 140729879923088 140729879917384 139838566459787 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 32260 26321 835 493 0 25565 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 129040 KiB
Current children cumulated memory: 105284 KiB
[startup+12.7004 s]
/proc/loadavg: 1.87 2.07 2.12 3/200 28924
/proc/meminfo: memFree=29475896/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=235152 memory=210888 CPUtime=12.68 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 101615 0 0 0 1258 10 0 0 20 0 1 0 557298411 240795648 52722 33554432000 4194304 6211132 140729879923088 140729879918584 5446657 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 58788 52722 835 493 0 52093 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 235152 KiB
Current children cumulated memory: 210888 KiB
[startup+25.5003 s]
/proc/loadavg: 1.89 2.07 2.11 3/201 28932
/proc/meminfo: memFree=29352252/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=356800 memory=329028 CPUtime=25.49 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 136595 0 0 0 2534 15 0 0 20 0 1 0 557298411 365363200 82257 33554432000 4194304 6211132 140729879923088 140729879920360 5818616 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 89200 82257 840 493 0 82505 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 356800 KiB
Current children cumulated memory: 329028 KiB
[startup+51.1096 s]
/proc/loadavg: 1.93 2.06 2.11 3/201 28935
/proc/meminfo: memFree=29105820/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=607284 memory=571120 CPUtime=51.1 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 201136 0 0 0 5085 25 0 0 20 0 1 0 557298411 621858816 142780 33554432000 4194304 6211132 140729879923088 140729879920360 5816155 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 151821 142780 840 493 0 145126 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 607284 KiB
Current children cumulated memory: 571120 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 2.05 2.11 3/200 28939
/proc/meminfo: memFree=28818132/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=899088 memory=857992 CPUtime=102.29 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 463159 0 0 0 10186 43 0 0 20 0 1 0 557298411 920666112 214498 33554432000 4194304 6211132 140729879923088 140729879920296 5164753 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 224772 214498 885 493 0 218077 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 899088 KiB
Current children cumulated memory: 857992 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.06 2.11 3/200 28943
/proc/meminfo: memFree=28756388/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=961752 memory=917492 CPUtime=162.26 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 591159 0 0 0 16177 49 0 0 20 0 1 0 557298411 984834048 229373 33554432000 4194304 6211132 140729879923088 140729879920408 5453958 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 240438 229373 885 493 0 233743 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 961752 KiB
Current children cumulated memory: 917492 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.05 2.10 3/200 28949
/proc/meminfo: memFree=28746348/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=971964 memory=927132 CPUtime=222.25 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 798293 0 0 0 22165 60 0 0 20 0 1 0 557298411 995291136 231783 33554432000 4194304 6211132 140729879923088 140729879920296 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 242991 231783 885 493 0 236296 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 971964 KiB
Current children cumulated memory: 927132 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.09 3/200 28953
/proc/meminfo: memFree=28684192/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=1035120 memory=989228 CPUtime=282.24 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 939318 0 0 0 28153 71 0 0 20 0 1 0 557298411 1059962880 247307 33554432000 4194304 6211132 140729879923088 140729879920296 5443045 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 258780 247307 885 493 0 252085 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 1035120 KiB
Current children cumulated memory: 989228 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.09 3/199 28958
/proc/meminfo: memFree=28650048/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=1068832 memory=1023628 CPUtime=342.23 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 1060108 0 0 0 34145 78 0 0 20 0 1 0 557298411 1094483968 255907 33554432000 4194304 6211132 140729879923088 140729879920296 5446662 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 267208 255907 885 493 0 260513 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 1068832 KiB
Current children cumulated memory: 1023628 KiB
[startup+402.3 s]
/proc/loadavg: 2.06 2.04 2.09 3/199 28964
/proc/meminfo: memFree=28639536/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=1075700 memory=1033336 CPUtime=402.23 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 1175166 0 0 0 40138 85 0 0 20 0 1 0 557298411 1101516800 258334 33554432000 4194304 6211132 140729879923088 140729879920296 5454215 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 268925 258334 885 493 0 262230 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 1075700 KiB
Current children cumulated memory: 1033336 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.08 3/199 28968
/proc/meminfo: memFree=28631496/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=1080104 memory=1041196 CPUtime=462.22 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 1258856 0 0 0 46132 90 0 0 20 0 1 0 557298411 1106026496 260299 33554432000 4194304 6211132 140729879923088 140729879920296 5479702 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 270026 260299 885 493 0 263331 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 1080104 KiB
Current children cumulated memory: 1041196 KiB
################
# More data... #
################
/proc/28923/statm: 291200 285031 885 493 0 284505 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140124 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/199 29087
/proc/meminfo: memFree=28533364/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=1164800 memory=1140136 CPUtime=1782.15 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 1694151 0 0 0 178093 122 0 0 20 0 1 0 557298411 1192755200 285034 33554432000 4194304 6211132 140729879923088 140729879910968 5250330 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 291200 285034 885 493 0 284505 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140136 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 29101
/proc/meminfo: memFree=28533104/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=1164800 memory=1140152 CPUtime=1842.14 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 1703696 0 0 0 184092 122 0 0 20 0 1 0 557298411 1192755200 285038 33554432000 4194304 6211132 140729879923088 140729879910968 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 291200 285038 885 493 0 284505 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140152 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 29105
/proc/meminfo: memFree=28532896/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=1164800 memory=1140152 CPUtime=1902.14 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 1711244 0 0 0 190092 122 0 0 20 0 1 0 557298411 1192755200 285038 33554432000 4194304 6211132 140729879923088 140729879910968 5039007 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 291200 285038 885 493 0 284505 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140152 KiB
[startup+1962.3 s]
/proc/loadavg: 1.95 2.01 2.04 3/200 29169
/proc/meminfo: memFree=28535568/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=1164800 memory=1140152 CPUtime=1962.14 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 1719074 0 0 0 196090 124 0 0 20 0 1 0 557298411 1192755200 285038 33554432000 4194304 6211132 140729879923088 140729879910968 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 291200 285038 885 493 0 284505 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140152 KiB
[startup+2022.3 s]
/proc/loadavg: 2.05 2.02 2.05 3/200 29175
/proc/meminfo: memFree=28535728/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=1164800 memory=1140152 CPUtime=2022.13 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 1726760 0 0 0 202089 124 0 0 20 0 1 0 557298411 1192755200 285038 33554432000 4194304 6211132 140729879923088 140729879910968 139838563904938 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 291200 285038 885 493 0 284505 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140152 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 29179
/proc/meminfo: memFree=28535980/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=1164800 memory=1140152 CPUtime=2082.13 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 1733513 0 0 0 208089 124 0 0 20 0 1 0 557298411 1192755200 285038 33554432000 4194304 6211132 140729879923088 140729879910968 5409476 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 291200 285038 885 493 0 284505 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140152 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/199 29184
/proc/meminfo: memFree=28536304/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=1164800 memory=1140152 CPUtime=2142.13 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 1736122 0 0 0 214089 124 0 0 20 0 1 0 557298411 1192755200 285038 33554432000 4194304 6211132 140729879923088 140729879910968 5446675 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 291200 285038 885 493 0 284505 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140152 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29190
/proc/meminfo: memFree=28535184/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=1164800 memory=1140152 CPUtime=2202.13 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 1737652 0 0 0 220088 125 0 0 20 0 1 0 557298411 1192755200 285038 33554432000 4194304 6211132 140729879923088 140729879910968 5446307 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 291200 285038 885 493 0 284505 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140152 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29194
/proc/meminfo: memFree=28535540/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=1164800 memory=1140152 CPUtime=2262.13 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 1739575 0 0 0 226088 125 0 0 20 0 1 0 557298411 1192755200 285038 33554432000 4194304 6211132 140729879923088 140729879910968 5156264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 291200 285038 885 493 0 284505 0
Current children cumulated CPU time: 2262.13 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140152 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29199
/proc/meminfo: memFree=28534512/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=1164800 memory=1140180 CPUtime=2322.12 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 1747866 0 0 0 232087 125 0 0 20 0 1 0 557298411 1192755200 285045 33554432000 4194304 6211132 140729879923088 140729879910968 5479711 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 291200 285045 885 493 0 284505 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140180 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29205
/proc/meminfo: memFree=28533992/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=1164800 memory=1140180 CPUtime=2382.13 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 1750825 0 0 0 238087 126 0 0 20 0 1 0 557298411 1192755200 285045 33554432000 4194304 6211132 140729879923088 140729879910968 5069221 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 291200 285045 885 493 0 284505 0
Current children cumulated CPU time: 2382.13 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140180 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29217
/proc/meminfo: memFree=28534276/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=1164800 memory=1140180 CPUtime=2442.13 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 1753047 0 0 0 244087 126 0 0 20 0 1 0 557298411 1192755200 285045 33554432000 4194304 6211132 140729879923088 140729879910968 139838563903052 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 291200 285045 885 493 0 284505 0
Current children cumulated CPU time: 2442.13 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140180 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29243
/proc/meminfo: memFree=28534216/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=1164800 memory=1140180 CPUtime=2502.12 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 1755329 0 0 0 250086 126 0 0 20 0 1 0 557298411 1192755200 285045 33554432000 4194304 6211132 140729879923088 140729879910968 5440695 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 291200 285045 885 493 0 284505 0
Current children cumulated CPU time: 2502.12 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140180 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 29245
/proc/meminfo: memFree=28534224/32770624 swapFree=66966920/67108860
[pid=28923] ppid=28920 vsize=1164800 memory=1140180 CPUtime=2519.83 cores=0,2,4,6
/proc/28923/stat : 28923 (cosoco) R 28920 28923 23523 0 -1 4202496 1755843 0 0 0 251857 126 0 0 20 0 1 0 557298411 1192755200 285045 33554432000 4194304 6211132 140729879923088 140729879910968 5072412 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36110336 140729879929867 140729879929969 140729879929969 140729879932878 0
/proc/28923/statm: 291200 285045 885 493 0 284505 0
Current children cumulated CPU time: 2519.83 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140180 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 28923 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.58 s, system=1.27495 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.85
CPU user time (s): 2518.58
CPU system time (s): 1.27495
CPU usage (%): 99.9932
Max. virtual memory (cumulated for all children) (KiB): 1164800
Max. memory (cumulated for all children) (KiB): 1140180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.58
system time used= 1.27495
maximum resident set size= 1140240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1755914
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= 152
involuntary context switches= 3151
# summary of solver processes directly reported to runsolver:
# pid: 28923
# total CPU time (s): 2519.85
# total CPU user time (s): 2518.58
# total CPU system time (s): 1.27495
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.95457 second user time and 17.9751 second system time
The end
Begin job on node145 at 2019-09-30 05:19:37 IDJOB=4408292 IDBENCH=141274 IDSOLVER=2874 FILE ID=node145/4408292-1569813620 RUNJOBID= node145-1569787350-23554 PBS_JOBID= 21705820 Free space on /tmp= 61908 MiB SOLVER NAME= cosoco 2.0 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-4408292-1569813620/watcher-4408292-1569813620 -o /tmp/evaluation-result-4408292-1569813620/solver-4408292-1569813620 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1569787350-23554 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408292-1569813620.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a9a1ecda6b6f8f1e99c2d233168bcaa1 RANDOM SEED=505559505 node145.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.59 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.59 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.59 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.59 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: 29673096 kB MemAvailable: 31807228 kB Buffers: 221412 kB Cached: 2236572 kB SwapCached: 32684 kB Active: 1354216 kB Inactive: 1159452 kB Active(anon): 20304 kB Inactive(anon): 117416 kB Active(file): 1333912 kB Inactive(file): 1042036 kB Unevictable: 108080 kB Mlocked: 108080 kB SwapTotal: 67108860 kB SwapFree: 66966920 kB Dirty: 126956 kB Writeback: 0 kB AnonPages: 131648 kB Mapped: 28820 kB Shmem: 73436 kB Slab: 178672 kB SReclaimable: 148040 kB SUnreclaim: 30632 kB KernelStack: 3504 kB PageTables: 5492 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 586456 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 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= 61904 MiB End job on node145 at 2019-09-30 06:01:38