Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2 | SAT (TO) | 578394884 | 2400.06 | 2400.21 |
| 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 | 131.185 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 7590 |
| Number of constraints | 4736 |
| Number of domains | 77 |
| Minimum domain size | 1 |
| Maximum domain size | 151 |
| Distribution of domain sizes | [{"size":1,"count":5},{"size":2,"count":2665},{"size":11,"count":2250},{"size":12,"count":1},{"size":25,"count":16},{"size":29,"count":112},{"size":33,"count":7},{"size":35,"count":61},{"size":39,"count":31},{"size":41,"count":3},{"size":44,"count":12},{"size":45,"count":29},{"size":47,"count":9},{"size":48,"count":23},{"size":49,"count":22},{"size":50,"count":3},{"size":51,"count":51},{"size":52,"count":61},{"size":54,"count":8},{"size":57,"count":6},{"size":58,"count":4},{"size":59,"count":3},{"size":60,"count":3},{"size":61,"count":12},{"size":63,"count":25},"...",{"size":92,"count":2}, {"size":93,"count":25}, {"size":97,"count":3}, {"size":101,"count":4}, {"size":102,"count":9}, {"size":103,"count":191}, {"size":105,"count":1}, {"size":108,"count":5}, {"size":109,"count":2}, {"size":111,"count":1}, {"size":112,"count":6}, {"size":115,"count":10}, {"size":116,"count":22}, {"size":118,"count":95}, {"size":122,"count":59}, {"size":123,"count":1}, {"size":124,"count":1}, {"size":125,"count":117}, {"size":126,"count":92}, {"size":127,"count":5}, {"size":137,"count":27}, {"size":138,"count":29}, {"size":140,"count":24}, {"size":141,"count":77}, {"size":151,"count":1259}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2251 |
| Distribution of variable degrees | [{"degree":2,"count":6752},{"degree":3,"count":9},{"degree":4,"count":14},{"degree":5,"count":23},{"degree":6,"count":28},{"degree":7,"count":33},{"degree":8,"count":45},{"degree":9,"count":53},{"degree":10,"count":63},{"degree":11,"count":79},{"degree":12,"count":105},{"degree":13,"count":196},{"degree":14,"count":147},{"degree":15,"count":22},{"degree":16,"count":8},{"degree":17,"count":9},{"degree":18,"count":1},{"degree":19,"count":1},{"degree":20,"count":1},{"degree":2251,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":237},{"arity":3,"count":2249},{"arity":6,"count":2250}] |
| Number of extensional constraints | 2250 |
| Number of intensional constraints | 2486 |
| Distribution of constraint types | [{"type":"extension","count":2250},{"type":"intension","count":2486}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.10 c 0.00/0.10 c This is cosoco 2.00 -- 0.00/0.10 c 0.00/0.10 c command line: cosoco -lc -model -restarts -stick HOME/instance-4390252-1568356700.xml 0.00/0.10 c intension eq(dist(f[36],f[400]),40) -> extension (support ? 1) - 50tuples 0.09/0.11 c intension eq(dist(f[300],f[393]),40) -> extension (support ? 1) - 230tuples 0.09/0.12 c intension eq(dist(f[178],f[57]),40) -> extension (support ? 1) - 282tuples 0.09/0.12 c intension -> extension : same as previous 0.09/0.12 c intension eq(dist(f[280],f[323]),40) -> extension (support ? 1) - 30tuples 0.09/0.13 c intension eq(dist(f[197],f[382]),40) -> extension (support ? 1) - 282tuples 0.09/0.14 c intension eq(dist(f[101],f[208]),40) -> extension (support ? 1) - 230tuples 0.09/0.14 c intension eq(dist(f[11],f[179]),40) -> extension (support ? 1) - 58tuples 0.09/0.15 c intension eq(dist(f[317],f[338]),40) -> extension (support ? 1) - 282tuples 0.09/0.15 c intension eq(dist(f[244],f[60]),40) -> extension (support ? 1) - 38tuples 0.09/0.15 c intension eq(dist(f[125],f[369]),40) -> extension (support ? 1) - 106tuples 0.09/0.15 c intension eq(dist(f[119],f[18]),40) -> extension (support ? 1) - 38tuples 0.09/0.15 c intension eq(dist(f[22],f[81]),40) -> extension (support ? 1) - 50tuples 0.09/0.15 c intension eq(dist(f[370],f[38]),40) -> extension (support ? 1) - 38tuples 0.09/0.17 c intension eq(dist(f[130],f[96]),40) -> extension (support ? 1) - 282tuples 0.09/0.17 c intension eq(dist(f[110],f[391]),40) -> extension (support ? 1) - 70tuples 0.09/0.18 c intension eq(dist(f[124],f[406]),40) -> extension (support ? 1) - 282tuples 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension eq(dist(f[136],f[387]),40) -> extension (support ? 1) - 38tuples 0.09/0.19 c intension eq(dist(f[242],f[6]),40) -> extension (support ? 1) - 282tuples 0.09/0.19 c intension eq(dist(f[403],f[407]),40) -> extension (support ? 1) - 82tuples 0.09/0.19 c intension eq(dist(f[106],f[224]),40) -> extension (support ? 1) - 38tuples 0.09/0.21 c intension eq(dist(f[0],f[226]),40) -> extension (support ? 1) - 282tuples 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension eq(dist(f[142],f[311]),40) -> extension (support ? 1) - 38tuples 0.09/0.21 c intension eq(dist(f[166],f[92]),40) -> extension (support ? 1) - 30tuples 0.21/0.22 c intension eq(dist(f[53],f[73]),40) -> extension (support ? 1) - 282tuples 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension eq(dist(f[285],f[312]),40) -> extension (support ? 1) - 82tuples 0.21/0.22 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.23 c intension eq(dist(f[282],f[363]),40) -> extension (support ? 1) - 58tuples 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension eq(dist(f[131],f[164]),40) -> extension (support ? 1) - 38tuples 0.21/0.23 c intension eq(dist(f[108],f[259]),40) -> extension (support ? 1) - 70tuples 0.21/0.23 c intension eq(dist(f[263],f[67]),40) -> extension (support ? 1) - 106tuples 0.21/0.24 c intension eq(dist(f[246],f[342]),40) -> extension (support ? 1) - 282tuples 0.21/0.24 c intension eq(dist(f[152],f[264]),40) -> extension (support ? 1) - 38tuples 0.21/0.25 c intension eq(dist(f[69],f[7]),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 eq(dist(f[231],f[310]),40) -> extension (support ? 1) - 70tuples 0.21/0.26 c intension eq(dist(f[30],f[314]),40) -> extension (support ? 1) - 50tuples 0.21/0.26 c intension eq(dist(f[135],f[168]),40) -> extension (support ? 1) - 58tuples 0.21/0.26 c intension eq(dist(f[45],f[54]),40) -> extension (support ? 1) - 82tuples 0.21/0.27 c intension eq(dist(f[109],f[37]),40) -> extension (support ? 1) - 282tuples 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension eq(dist(f[114],f[307]),40) -> extension (support ? 1) - 38tuples 0.21/0.28 c intension eq(dist(f[155],f[173]),40) -> extension (support ? 1) - 282tuples 0.21/0.29 c intension eq(dist(f[15],f[174]),40) -> extension (support ? 1) - 230tuples 0.21/0.29 c intension eq(dist(f[293],f[364]),40) -> extension (support ? 1) - 38tuples 0.21/0.29 c intension eq(dist(f[140],f[243]),40) -> extension (support ? 1) - 74tuples 0.21/0.29 c intension eq(dist(f[378],f[83]),40) -> extension (support ? 1) - 38tuples 0.21/0.30 c intension eq(dist(f[193],f[257]),40) -> extension (support ? 1) - 282tuples 0.21/0.30 c intension eq(dist(f[116],f[395]),40) -> extension (support ? 1) - 58tuples 0.21/0.30 c intension eq(dist(f[120],f[235]),40) -> extension (support ? 1) - 74tuples 0.21/0.30 c intension eq(dist(f[351],f[379]),40) -> extension (support ? 1) - 70tuples 0.21/0.31 c intension eq(dist(f[162],f[49]),40) -> extension (support ? 1) - 50tuples 0.21/0.31 c intension eq(dist(f[170],f[306]),40) -> extension (support ? 1) - 102tuples 0.21/0.31 c intension eq(dist(f[23],f[376]),40) -> extension (support ? 1) - 38tuples 0.31/0.32 c intension eq(dist(f[145],f[215]),40) -> extension (support ? 1) - 282tuples 0.31/0.32 c intension -> extension : same as previous 0.31/0.32 c intension eq(dist(f[148],f[233]),40) -> extension (support ? 1) - 38tuples 0.31/0.32 c intension eq(dist(f[267],f[32]),40) -> extension (support ? 1) - 38tuples 0.31/0.32 c intension eq(dist(f[398],f[77]),40) -> extension (support ? 1) - 50tuples 0.31/0.32 c intension eq(dist(f[1],f[247]),40) -> extension (support ? 1) - 70tuples 0.31/0.32 c intension eq(dist(f[204],f[91]),40) -> extension (support ? 1) - 58tuples 0.31/0.33 c intension eq(dist(f[115],f[419]),40) -> extension (support ? 1) - 230tuples 0.31/0.34 c intension eq(dist(f[330],f[47]),40) -> extension (support ? 1) - 282tuples 0.31/0.34 c intension eq(dist(f[172],f[210]),40) -> extension (support ? 1) - 30tuples 0.31/0.34 c intension eq(dist(f[10],f[192]),40) -> extension (support ? 1) - 38tuples 0.31/0.35 c intension eq(dist(f[107],f[399]),40) -> extension (support ? 1) - 282tuples 0.31/0.35 c intension eq(dist(f[315],f[42]),40) -> extension (support ? 1) - 70tuples 0.31/0.36 c intension eq(dist(f[309],f[345]),40) -> extension (support ? 1) - 282tuples 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension eq(dist(f[241],f[374]),40) -> extension (support ? 1) - 106tuples 0.31/0.37 c intension eq(dist(f[386],f[46]),40) -> extension (support ? 1) - 102tuples 0.31/0.38 c intension eq(dist(f[251],f[350]),40) -> extension (support ? 1) - 282tuples 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension eq(dist(f[158],f[50]),40) -> extension (support ? 1) - 230tuples 0.31/0.39 c intension eq(dist(f[12],f[68]),40) -> extension (support ? 1) - 38tuples 0.31/0.40 c intension eq(dist(f[31],f[337]),40) -> extension (support ? 1) - 282tuples 0.31/0.40 c intension eq(dist(f[318],f[355]),40) -> extension (support ? 1) - 38tuples 0.31/0.40 c intension eq(dist(f[182],f[51]),40) -> extension (support ? 1) - 82tuples 0.31/0.40 c intension eq(dist(f[167],f[360]),40) -> extension (support ? 1) - 50tuples 0.31/0.40 c intension eq(dist(f[225],f[324]),40) -> extension (support ? 1) - 70tuples 0.31/0.41 c intension eq(dist(f[203],f[365]),40) -> extension (support ? 1) - 282tuples 0.31/0.41 c intension eq(dist(f[328],f[418]),40) -> extension (support ? 1) - 82tuples 0.41/0.42 c intension eq(dist(f[141],f[206]),40) -> extension (support ? 1) - 282tuples 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension eq(dist(f[388],f[79]),40) -> extension (support ? 1) - 82tuples 0.41/0.43 c intension eq(dist(f[2],f[348]),40) -> extension (support ? 1) - 282tuples 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension eq(dist(f[234],f[361]),40) -> extension (support ? 1) - 38tuples 0.41/0.45 c intension eq(dist(f[396],f[40]),40) -> extension (support ? 1) - 282tuples 0.41/0.45 c intension eq(dist(f[127],f[64]),40) -> extension (support ? 1) - 50tuples 0.41/0.46 c intension eq(dist(f[13],f[90]),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 -> extension : same as previous 0.41/0.46 c intension eq(dist(f[274],f[58]),40) -> extension (support ? 1) - 50tuples 0.41/0.47 c intension eq(dist(f[354],f[71]),40) -> extension (support ? 1) - 282tuples 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension eq(dist(f[269],f[402]),40) -> extension (support ? 1) - 50tuples 0.41/0.49 c intension eq(dist(f[349],f[377]),40) -> extension (support ? 1) - 282tuples 0.41/0.49 c intension eq(dist(f[163],f[34]),40) -> extension (support ? 1) - 30tuples 0.41/0.49 c intension eq(dist(f[262],f[353]),40) -> extension (support ? 1) - 38tuples 0.41/0.50 c intension eq(dist(f[346],f[39]),40) -> extension (support ? 1) - 282tuples 0.41/0.50 c intension eq(dist(f[198],f[265]),40) -> extension (support ? 1) - 38tuples 0.41/0.51 c intension eq(dist(f[133],f[232]),40) -> extension (support ? 1) - 282tuples 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension eq(dist(f[401],f[80]),40) -> extension (support ? 1) - 38tuples 0.50/0.53 c intension eq(dist(f[213],f[375]),40) -> extension (support ? 1) - 282tuples 0.50/0.53 c intension eq(dist(f[180],f[85]),40) -> extension (support ? 1) - 38tuples 0.50/0.54 c intension eq(dist(f[373],f[41]),40) -> extension (support ? 1) - 282tuples 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension eq(dist(f[33],f[404]),40) -> extension (support ? 1) - 38tuples 0.50/0.55 c intension eq(dist(f[19],f[299]),40) -> extension (support ? 1) - 282tuples 0.50/0.55 c intension eq(dist(f[303],f[313]),40) -> extension (support ? 1) - 38tuples 0.50/0.56 c intension eq(dist(f[290],f[98]),40) -> extension (support ? 1) - 230tuples 0.50/0.56 c intension eq(dist(f[176],f[281]),40) -> extension (support ? 1) - 38tuples 0.50/0.56 c intension -> extension : same as previous 0.50/0.56 c intension eq(dist(f[102],f[308]),40) -> extension (support ? 1) - 50tuples 0.50/0.57 c intension eq(dist(f[228],f[78]),40) -> extension (support ? 1) - 282tuples 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension eq(dist(f[291],f[326]),40) -> extension (support ? 1) - 38tuples 0.50/0.57 c intension eq(dist(f[205],f[258]),40) -> extension (support ? 1) - 38tuples 0.50/0.58 c intension eq(dist(f[112],f[194]),40) -> extension (support ? 1) - 282tuples 0.50/0.59 c intension -> extension : same as previous 0.50/0.59 c intension -> extension : same as previous 0.50/0.59 c intension -> extension : same as previous 0.50/0.59 c intension -> extension : same as previous 0.50/0.59 c intension -> extension : same as previous 0.50/0.59 c intension -> extension : same as previous 0.50/0.59 c intension -> extension : same as previous 0.50/0.59 c intension -> extension : same as previous 0.50/0.59 c intension -> extension : same as previous 0.50/0.59 c intension eq(dist(f[248],f[87]),40) -> extension (support ? 1) - 82tuples 0.50/0.60 c intension eq(dist(f[279],f[29]),40) -> extension (support ? 1) - 282tuples 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension eq(dist(f[410],f[44]),40) -> extension (support ? 1) - 38tuples 0.60/0.61 c intension eq(dist(f[266],f[325]),40) -> extension (support ? 1) - 282tuples 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension eq(dist(f[147],f[74]),40) -> extension (support ? 1) - 82tuples 0.60/0.62 c intension eq(dist(f[104],f[219]),40) -> extension (support ? 1) - 70tuples 0.60/0.62 c intension eq(dist(f[190],f[352]),40) -> extension (support ? 1) - 74tuples 0.60/0.63 c intension eq(dist(f[103],f[253]),40) -> extension (support ? 1) - 282tuples 0.60/0.63 c intension -> extension : same as previous 0.60/0.63 c intension -> extension : same as previous 0.60/0.63 c intension -> extension : same as previous 0.60/0.63 c intension eq(dist(f[4],f[5]),40) -> extension (support ? 1) - 58tuples 0.60/0.64 c intension eq(dist(f[202],f[72]),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 -> extension : same as previous 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[165],f[390]),40) -> extension (support ? 1) - 38tuples 0.60/0.65 c intension eq(dist(f[143],f[48]),40) -> extension (support ? 1) - 58tuples 0.60/0.66 c intension eq(dist(f[153],f[239]),40) -> extension (support ? 1) - 282tuples 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension eq(dist(f[186],f[277]),40) -> extension (support ? 1) - 230tuples 0.60/0.68 c intension eq(dist(f[138],f[222]),40) -> extension (support ? 1) - 282tuples 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension eq(dist(f[286],f[82]),40) -> extension (support ? 1) - 70tuples 0.60/0.68 c intension eq(dist(f[177],f[76]),40) -> extension (support ? 1) - 82tuples 0.60/0.68 c intension eq(dist(f[199],f[43]),40) -> extension (support ? 1) - 58tuples 0.68/0.70 c intension eq(dist(f[411],f[61]),40) -> extension (support ? 1) - 282tuples 0.68/0.70 c intension eq(dist(f[341],f[65]),40) -> extension (support ? 1) - 102tuples 0.68/0.71 c intension eq(dist(f[185],f[261]),40) -> extension (support ? 1) - 282tuples 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension eq(dist(f[216],f[238]),40) -> extension (support ? 1) - 38tuples 0.68/0.72 c intension eq(dist(f[117],f[381]),40) -> extension (support ? 1) - 230tuples 0.68/0.73 c intension -> extension : same as previous 0.68/0.73 c intension eq(dist(f[209],f[284]),40) -> extension (support ? 1) - 282tuples 0.68/0.73 c intension -> extension : same as previous 0.68/0.73 c intension eq(dist(f[160],f[397]),40) -> extension (support ? 1) - 50tuples 0.68/0.74 c intension eq(dist(f[70],f[99]),40) -> extension (support ? 1) - 282tuples 0.68/0.74 c AllEqual constraint using 1 generic x=y constraints 0.68/0.74 c AllEqual constraint using 1 generic x=y constraints 0.68/0.74 c AllEqual constraint using 1 generic x=y constraints 0.68/0.74 c AllEqual constraint using 1 generic x=y constraints 0.68/0.74 c AllEqual constraint using 1 generic x=y constraints 0.68/0.74 c AllEqual constraint using 1 generic x=y constraints 0.68/0.74 c AllEqual constraint using 1 generic x=y constraints 0.68/0.74 c AllEqual constraint using 1 generic x=y constraints 0.68/0.74 c AllEqual constraint using 1 generic x=y constraints 0.68/0.76 c intension -> extension : same as previous 0.68/0.76 c intension -> extension : same as previous 0.68/0.76 c intension -> extension : same as previous 0.68/0.76 c intension -> extension : same as previous 0.68/0.76 c intension -> extension : same as previous 0.68/0.76 c intension ne(dist(f[329],f[88]),53) -> extension (support ? 0) - 0tuples 0.68/0.77 c intension ne(dist(f[203],f[206]),322) -> extension (support ? 0) - 0tuples 0.68/0.78 c intension ne(dist(f[250],f[72]),66) -> extension (support ? 0) - 0tuples 0.68/0.78 c intension ne(dist(f[214],f[76]),147) -> extension (support ? 0) - 0tuples 0.68/0.79 c intension ne(dist(f[222],f[330]),73) -> extension (support ? 0) - 0tuples 0.68/0.79 c intension ne(dist(f[259],f[91]),37) -> extension (support ? 0) - 0tuples 0.79/0.80 c intension ne(dist(f[343],f[80]),141) -> extension (support ? 0) - 0tuples 0.79/0.81 c intension ne(dist(f[222],f[289]),265) -> extension (support ? 0) - 0tuples 0.79/0.81 c intension ne(dist(f[374],f[413]),92) -> extension (support ? 0) - 117tuples 0.79/0.82 c intension ne(dist(f[419],f[59]),15) -> extension (support ? 0) - 0tuples 0.79/0.82 c intension ne(dist(f[1],f[400]),9) -> extension (support ? 0) - 0tuples 0.89/0.92 c intension eq(dist(f[1],f[49]),d[11]) -> extension (support ? 1) - 1575tuples 0.89/0.99 c intension eq(dist(f[108],f[1]),d[13]) -> extension (support ? 1) - 2025tuples 0.99/1.04 c intension eq(dist(f[142],f[1]),d[15]) -> extension (support ? 1) - 1305tuples 0.99/1.08 c intension -> extension : same as previous 0.99/1.08 c intension -> extension : same as previous 0.99/1.08 c intension eq(dist(f[195],f[1]),d[18]) -> extension (support ? 1) - 1305tuples 1.09/1.15 c intension -> extension : same as previous 1.09/1.15 c intension eq(dist(f[1],f[324]),d[20]) -> extension (support ? 1) - 2025tuples 1.18/1.21 c intension eq(dist(f[1],f[402]),d[21]) -> extension (support ? 1) - 1575tuples 1.18/1.26 c intension eq(dist(f[135],f[4]),d[49]) -> extension (support ? 1) - 1521tuples 1.28/1.31 c intension eq(dist(f[172],f[4]),d[50]) -> extension (support ? 1) - 975tuples 1.28/1.35 c intension eq(dist(f[280],f[4]),d[52]) -> extension (support ? 1) - 975tuples 1.48/7.84 c intension eq(dist(f[282],f[4]),d[53]) -> extension (support ? 1) - 1521tuples 1.48/7.84 c intension eq(dist(f[392],f[4]),d[57]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension eq(dist(f[5],f[64]),d[61]) -> extension (support ? 1) - 1365tuples 1.48/7.84 c intension eq(dist(f[5],f[80]),d[63]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension eq(dist(f[264],f[5]),d[69]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension eq(dist(f[353],f[5]),d[70]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension eq(dist(f[10],f[119]),d[112]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension -> extension : same as previous 1.48/7.84 c intension eq(dist(f[10],f[199]),d[114]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension -> extension : same as previous 1.48/7.84 c intension eq(dist(f[10],f[225]),d[116]) -> extension (support ? 1) - 1305tuples 1.48/7.84 c intension eq(dist(f[10],f[308]),d[117]) -> extension (support ? 1) - 1015tuples 1.48/7.84 c intension eq(dist(f[11],f[20]),d[120]) -> extension (support ? 1) - 1521tuples 1.48/7.84 c intension eq(dist(f[11],f[34]),d[121]) -> extension (support ? 1) - 975tuples 1.48/7.84 c intension eq(dist(f[11],f[199]),d[127]) -> extension (support ? 1) - 1521tuples 1.48/7.84 c intension eq(dist(f[11],f[323]),d[129]) -> extension (support ? 1) - 975tuples 1.48/7.84 c intension eq(dist(f[11],f[370]),d[130]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension eq(dist(f[11],f[392]),d[132]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension eq(dist(f[111],f[12]),d[134]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[12],f[198]),d[137]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[12],f[280]),d[140]) -> extension (support ? 1) - 725tuples 1.48/7.84 c intension eq(dist(f[12],f[397]),d[145]) -> extension (support ? 1) - 1015tuples 1.48/7.84 c intension eq(dist(f[18],f[81]),d[203]) -> extension (support ? 1) - 1015tuples 1.48/7.84 c intension eq(dist(f[108],f[18]),d[204]) -> extension (support ? 1) - 1305tuples 1.48/7.84 c intension eq(dist(f[18],f[233]),d[207]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[18],f[307]),d[208]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[18],f[390]),d[210]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[18],f[407]),d[211]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[20],f[48]),d[224]) -> extension (support ? 1) - 1521tuples 1.48/7.84 c intension eq(dist(f[165],f[20]),d[228]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension eq(dist(f[168],f[20]),d[229]) -> extension (support ? 1) - 1521tuples 1.48/7.84 c intension eq(dist(f[20],f[361]),d[232]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension eq(dist(f[20],f[364]),d[233]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension eq(dist(f[20],f[395]),d[235]) -> extension (support ? 1) - 1521tuples 1.48/7.84 c intension eq(dist(f[22],f[36]),d[243]) -> extension (support ? 1) - 1225tuples 1.48/7.84 c intension eq(dist(f[127],f[22]),d[245]) -> extension (support ? 1) - 1225tuples 1.48/7.84 c intension eq(dist(f[224],f[22]),d[251]) -> extension (support ? 1) - 1015tuples 1.48/7.84 c intension eq(dist(f[22],f[231]),d[252]) -> extension (support ? 1) - 1575tuples 1.48/7.84 c intension eq(dist(f[22],f[314]),d[254]) -> extension (support ? 1) - 1225tuples 1.48/7.84 c intension eq(dist(f[23],f[51]),d[256]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[134],f[23]),d[257]) -> extension (support ? 1) - 725tuples 1.48/7.84 c intension eq(dist(f[195],f[23]),d[258]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[23],f[387]),d[262]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[23],f[395]),d[263]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension eq(dist(f[23],f[404]),d[264]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[30],f[81]),d[335]) -> extension (support ? 1) - 1225tuples 1.48/7.84 c intension eq(dist(f[30],f[387]),d[337]) -> extension (support ? 1) - 1015tuples 1.48/7.84 c intension eq(dist(f[147],f[32]),d[352]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[224],f[32]),d[355]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[32],f[363]),d[356]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension eq(dist(f[32],f[401]),d[357]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[32],f[408]),d[358]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension eq(dist(f[33],f[64]),d[359]) -> extension (support ? 1) - 1015tuples 1.48/7.84 c intension eq(dist(f[224],f[33]),d[360]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[33],f[364]),d[364]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension -> extension : same as previous 1.48/7.84 c intension eq(dist(f[166],f[34]),d[367]) -> extension (support ? 1) - 625tuples 1.48/7.84 c intension eq(dist(f[263],f[34]),d[369]) -> extension (support ? 1) - 1575tuples 1.48/7.84 c intension eq(dist(f[280],f[34]),d[371]) -> extension (support ? 1) - 625tuples 1.48/7.84 c intension eq(dist(f[308],f[34]),d[372]) -> extension (support ? 1) - 875tuples 1.48/7.84 c intension eq(dist(f[36],f[77]),d[384]) -> extension (support ? 1) - 1225tuples 1.48/7.84 c intension eq(dist(f[36],f[82]),d[385]) -> extension (support ? 1) - 1575tuples 1.48/7.84 c intension eq(dist(f[36],f[397]),d[389]) -> extension (support ? 1) - 1225tuples 1.48/7.84 c intension eq(dist(f[38],f[51]),d[403]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[164],f[38]),d[405]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[258],f[38]),d[407]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[291],f[38]),d[410]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[38],f[390]),d[413]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension -> extension : same as previous 1.48/7.84 c intension eq(dist(f[42],f[44]),d[451]) -> extension (support ? 1) - 1305tuples 1.48/7.84 c intension eq(dist(f[42],f[82]),d[452]) -> extension (support ? 1) - 2025tuples 1.48/7.84 c intension eq(dist(f[280],f[42]),d[456]) -> extension (support ? 1) - 1125tuples 1.48/7.84 c intension eq(dist(f[310],f[42]),d[457]) -> extension (support ? 1) - 2025tuples 1.48/7.84 c intension -> extension : same as previous 1.48/7.84 c intension eq(dist(f[291],f[43]),d[461]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension eq(dist(f[131],f[44]),d[466]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[136],f[44]),d[467]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[168],f[44]),d[468]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension eq(dist(f[355],f[44]),d[474]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[195],f[48]),d[497]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension eq(dist(f[282],f[48]),d[499]) -> extension (support ? 1) - 1521tuples 1.48/7.84 c intension eq(dist(f[49],f[64]),d[500]) -> extension (support ? 1) - 1225tuples 1.48/7.84 c intension eq(dist(f[49],f[92]),d[501]) -> extension (support ? 1) - 875tuples 1.48/7.84 c intension eq(dist(f[135],f[49]),d[503]) -> extension (support ? 1) - 1365tuples 1.48/7.84 c intension eq(dist(f[205],f[49]),d[505]) -> extension (support ? 1) - 1015tuples 1.48/7.84 c intension eq(dist(f[398],f[49]),d[509]) -> extension (support ? 1) - 1225tuples 1.48/7.84 c intension eq(dist(f[164],f[51]),d[524]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[258],f[51]),d[525]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[291],f[51]),d[526]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[387],f[51]),d[528]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[54],f[60]),d[555]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[199],f[63]),d[630]) -> extension (support ? 1) - 975tuples 1.48/7.84 c intension eq(dist(f[238],f[63]),d[633]) -> extension (support ? 1) - 725tuples 1.48/7.84 c intension eq(dist(f[135],f[64]),d[637]) -> extension (support ? 1) - 1365tuples 1.48/7.84 c intension eq(dist(f[274],f[64]),d[639]) -> extension (support ? 1) - 1225tuples 1.48/7.84 c intension eq(dist(f[67],f[85]),d[657]) -> extension (support ? 1) - 1827tuples 1.48/7.84 c intension eq(dist(f[238],f[67]),d[663]) -> extension (support ? 1) - 1827tuples 1.48/7.84 c intension eq(dist(f[68],f[83]),d[669]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[147],f[68]),d[671]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[198],f[68]),d[672]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[267],f[68]),d[675]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[351],f[68]),d[678]) -> extension (support ? 1) - 1305tuples 1.48/7.84 c intension eq(dist(f[76],f[85]),d[753]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[291],f[76]),d[756]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[370],f[76]),d[758]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension -> extension : same as previous 1.48/7.84 c intension eq(dist(f[77],f[83]),d[761]) -> extension (support ? 1) - 1015tuples 1.48/7.84 c intension -> extension : same as previous 1.48/7.84 c intension eq(dist(f[314],f[77]),d[763]) -> extension (support ? 1) - 1225tuples 1.48/7.84 c intension eq(dist(f[216],f[79]),d[780]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[355],f[79]),d[784]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[387],f[79]),d[787]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[147],f[80]),d[791]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[216],f[80]),d[795]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[324],f[80]),d[796]) -> extension (support ? 1) - 1305tuples 1.48/7.84 c intension eq(dist(f[162],f[81]),d[798]) -> extension (support ? 1) - 1225tuples 1.48/7.84 c intension eq(dist(f[233],f[81]),d[802]) -> extension (support ? 1) - 1015tuples 1.48/7.84 c intension -> extension : same as previous 1.48/7.84 c intension eq(dist(f[262],f[81]),d[804]) -> extension (support ? 1) - 1015tuples 1.48/7.84 c intension eq(dist(f[172],f[82]),d[808]) -> extension (support ? 1) - 1125tuples 1.48/7.84 c intension eq(dist(f[198],f[82]),d[809]) -> extension (support ? 1) - 1305tuples 1.48/7.84 c intension eq(dist(f[262],f[82]),d[810]) -> extension (support ? 1) - 1305tuples 1.48/7.84 c intension -> extension : same as previous 1.48/7.84 c intension eq(dist(f[360],f[82]),d[812]) -> extension (support ? 1) - 1575tuples 1.48/7.84 c intension eq(dist(f[233],f[83]),d[818]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[307],f[83]),d[821]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[310],f[83]),d[822]) -> extension (support ? 1) - 1305tuples 1.48/7.84 c intension eq(dist(f[395],f[83]),d[823]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension eq(dist(f[397],f[83]),d[824]) -> extension (support ? 1) - 1015tuples 1.48/7.84 c intension eq(dist(f[364],f[85]),d[835]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension -> extension : same as previous 1.48/7.84 c intension eq(dist(f[244],f[87]),d[850]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[303],f[87]),d[851]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[401],f[87]),d[854]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[199],f[91]),d[887]) -> extension (support ? 1) - 1521tuples 1.48/7.84 c intension eq(dist(f[210],f[91]),d[888]) -> extension (support ? 1) - 975tuples 1.48/7.84 c intension eq(dist(f[234],f[91]),d[889]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension eq(dist(f[326],f[91]),d[894]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension eq(dist(f[395],f[91]),d[895]) -> extension (support ? 1) - 1521tuples 1.48/7.84 c intension eq(dist(f[164],f[92]),d[897]) -> extension (support ? 1) - 725tuples 1.48/7.84 c intension eq(dist(f[244],f[92]),d[899]) -> extension (support ? 1) - 725tuples 1.48/7.84 c intension eq(dist(f[102],f[219]),d[981]) -> extension (support ? 1) - 1575tuples 1.48/7.84 c intension eq(dist(f[102],f[360]),d[983]) -> extension (support ? 1) - 1225tuples 1.48/7.84 c intension -> extension : same as previous 1.48/7.84 c intension eq(dist(f[104],f[106]),d[997]) -> extension (support ? 1) - 1305tuples 1.48/7.84 c intension eq(dist(f[104],f[108]),d[998]) -> extension (support ? 1) - 2025tuples 1.48/7.84 c intension eq(dist(f[104],f[163]),d[999]) -> extension (support ? 1) - 1125tuples 1.48/7.84 c intension eq(dist(f[104],f[286]),d[1000]) -> extension (support ? 1) - 2025tuples 1.48/7.84 c intension eq(dist(f[106],f[312]),d[1013]) -> extension (support ? 1) - 1479tuples 1.48/7.84 c intension eq(dist(f[106],f[351]),d[1014]) -> extension (support ? 1) - 1305tuples 1.48/7.84 c intension eq(dist(f[106],f[404]),d[1017]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[106],f[408]),d[1018]) -> extension (support ? 1) - 1131tuples 1.48/7.84 c intension eq(dist(f[108],f[224]),d[1024]) -> extension (support ? 1) - 1305tuples 1.48/7.84 c intension eq(dist(f[108],f[398]),d[1027]) -> extension (support ? 1) - 1575tuples 1.48/7.84 c intension eq(dist(f[110],f[262]),d[1042]) -> extension (support ? 1) - 1305tuples 1.48/7.84 c intension eq(dist(f[110],f[351]),d[1045]) -> extension (support ? 1) - 2025tuples 1.48/7.84 c intension eq(dist(f[110],f[364]),d[1046]) -> extension (support ? 1) - 1305tuples 1.48/7.84 c intension eq(dist(f[111],f[167]),d[1049]) -> extension (support ? 1) - 1015tuples 1.48/7.84 c intension eq(dist(f[111],f[195]),d[1050]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension -> extension : same as previous 1.48/7.84 c intension eq(dist(f[111],f[262]),d[1053]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension -> extension : same as previous 1.48/7.84 c intension eq(dist(f[114],f[131]),d[1079]) -> extension (support ? 1) - 841tuples 1.48/7.84 c intension eq(dist(f[114],f[210]),d[1082]) -> extension (support ? 1) - 725tuples 1.48/7.84 c intension eq(dist(f[114],f[247]),d[1083]) -> extension (support ? 1) - 1305tuples 1.48/7.84 c intension eq(dist(f[114],f[315]),d[1086]) -> extension (support ? 1) - 1305tuples 1.48/7.85 c intension eq(dist(f[114],f[326]),d[1087]) -> extension (support ? 1) - 841tuples 1.48/7.91 c intension eq(dist(f[114],f[418]),d[1088]) -> extension (support ? 1) - 1479tuples 7.94/7.96 c intension eq(dist(f[116],f[355]),d[1098]) -> extension (support ? 1) - 1131tuples 7.99/8.02 c intension eq(dist(f[119],f[204]),d[1120]) -> extension (support ? 1) - 1131tuples 7.99/8.07 c intension eq(dist(f[119],f[310]),d[1121]) -> extension (support ? 1) - 1305tuples 7.99/8.08 c intension eq(dist(f[119],f[311]),d[1122]) -> extension (support ? 1) - 841tuples 8.09/8.14 c intension eq(dist(f[120],f[210]),d[1127]) -> extension (support ? 1) - 1175tuples 8.09/8.19 c intension eq(dist(f[127],f[142]),d[1183]) -> extension (support ? 1) - 1015tuples 8.19/8.24 c intension eq(dist(f[131],f[231]),d[1209]) -> extension (support ? 1) - 1305tuples 8.19/8.26 c intension eq(dist(f[134],f[166]),d[1225]) -> extension (support ? 1) - 625tuples 8.19/8.27 c intension -> extension : same as previous 8.19/8.27 c intension eq(dist(f[134],f[210]),d[1228]) -> extension (support ? 1) - 625tuples 8.30/8.31 c intension eq(dist(f[134],f[388]),d[1231]) -> extension (support ? 1) - 1275tuples 8.30/8.35 c intension eq(dist(f[135],f[179]),d[1232]) -> extension (support ? 1) - 1521tuples 8.30/8.40 c intension eq(dist(f[135],f[262]),d[1234]) -> extension (support ? 1) - 1131tuples 8.40/8.47 c intension eq(dist(f[135],f[274]),d[1235]) -> extension (support ? 1) - 1365tuples 8.49/8.52 c intension eq(dist(f[135],f[323]),d[1236]) -> extension (support ? 1) - 975tuples 8.49/8.57 c intension eq(dist(f[135],f[326]),d[1237]) -> extension (support ? 1) - 1131tuples 8.58/8.61 c intension eq(dist(f[136],f[219]),d[1241]) -> extension (support ? 1) - 1305tuples 8.58/8.64 c intension eq(dist(f[136],f[308]),d[1243]) -> extension (support ? 1) - 1015tuples 8.58/8.67 c intension eq(dist(f[136],f[410]),d[1244]) -> extension (support ? 1) - 841tuples 8.58/8.69 c intension eq(dist(f[137],f[258]),d[1246]) -> extension (support ? 1) - 841tuples 8.68/8.72 c intension -> extension : same as previous 8.68/8.72 c intension eq(dist(f[137],f[307]),d[1248]) -> extension (support ? 1) - 841tuples 8.68/8.74 c intension eq(dist(f[137],f[397]),d[1250]) -> extension (support ? 1) - 1015tuples 8.68/8.78 c intension eq(dist(f[142],f[216]),d[1287]) -> extension (support ? 1) - 841tuples 8.78/8.84 c intension eq(dist(f[142],f[388]),d[1290]) -> extension (support ? 1) - 1479tuples 8.78/8.86 c intension eq(dist(f[142],f[402]),d[1291]) -> extension (support ? 1) - 1015tuples 8.88/8.91 c intension eq(dist(f[143],f[307]),d[1294]) -> extension (support ? 1) - 1131tuples 8.88/8.97 c intension eq(dist(f[143],f[370]),d[1295]) -> extension (support ? 1) - 1131tuples 8.98/9.03 c intension eq(dist(f[143],f[398]),d[1296]) -> extension (support ? 1) - 1365tuples 9.09/9.10 c intension eq(dist(f[147],f[192]),d[1326]) -> extension (support ? 1) - 1479tuples 9.09/9.15 c intension eq(dist(f[147],f[355]),d[1329]) -> extension (support ? 1) - 1479tuples 9.19/9.20 c intension eq(dist(f[147],f[404]),d[1330]) -> extension (support ? 1) - 1479tuples 9.19/9.23 c intension eq(dist(f[148],f[166]),d[1331]) -> extension (support ? 1) - 725tuples 9.19/9.26 c intension eq(dist(f[148],f[291]),d[1332]) -> extension (support ? 1) - 841tuples 9.30/9.31 c intension eq(dist(f[148],f[408]),d[1333]) -> extension (support ? 1) - 1131tuples 9.30/9.34 c intension eq(dist(f[152],f[166]),d[1353]) -> extension (support ? 1) - 725tuples 9.30/9.37 c intension eq(dist(f[152],f[195]),d[1354]) -> extension (support ? 1) - 841tuples 9.30/9.39 c intension eq(dist(f[152],f[244]),d[1355]) -> extension (support ? 1) - 841tuples 9.40/9.41 c intension eq(dist(f[152],f[280]),d[1356]) -> extension (support ? 1) - 725tuples 9.40/9.46 c intension eq(dist(f[152],f[315]),d[1357]) -> extension (support ? 1) - 1305tuples 9.40/9.49 c intension eq(dist(f[152],f[355]),d[1359]) -> extension (support ? 1) - 841tuples 9.49/9.57 c intension eq(dist(f[162],f[391]),d[1427]) -> extension (support ? 1) - 1575tuples 9.59/9.61 c intension eq(dist(f[164],f[259]),d[1428]) -> extension (support ? 1) - 1305tuples 9.59/9.67 c intension -> extension : same as previous 9.59/9.67 c intension eq(dist(f[166],f[352]),d[1435]) -> extension (support ? 1) - 1175tuples 9.68/9.72 c intension eq(dist(f[166],f[363]),d[1436]) -> extension (support ? 1) - 975tuples 9.68/9.74 c intension eq(dist(f[166],f[390]),d[1437]) -> extension (support ? 1) - 725tuples 9.78/9.81 c intension eq(dist(f[167],f[179]),d[1440]) -> extension (support ? 1) - 1365tuples 9.78/9.88 c intension eq(dist(f[167],f[282]),d[1443]) -> extension (support ? 1) - 1365tuples 9.89/9.93 c intension eq(dist(f[168],f[234]),d[1446]) -> extension (support ? 1) - 1131tuples 9.89/9.95 c intension eq(dist(f[172],f[280]),d[1471]) -> extension (support ? 1) - 625tuples 9.89/9.97 c intension eq(dist(f[172],f[326]),d[1473]) -> extension (support ? 1) - 725tuples 9.89/9.99 c intension eq(dist(f[172],f[355]),d[1475]) -> extension (support ? 1) - 725tuples 9.99/10.05 c intension eq(dist(f[176],f[418]),d[1502]) -> extension (support ? 1) - 1479tuples 10.08/10.10 c intension eq(dist(f[177],f[267]),d[1507]) -> extension (support ? 1) - 1479tuples 10.08/10.15 c intension eq(dist(f[179],f[199]),d[1520]) -> extension (support ? 1) - 1521tuples 10.18/10.20 c intension -> extension : same as previous 10.18/10.20 c intension eq(dist(f[179],f[258]),d[1522]) -> extension (support ? 1) - 1131tuples 10.18/10.24 c intension eq(dist(f[180],f[244]),d[1526]) -> extension (support ? 1) - 841tuples 10.18/10.25 c intension eq(dist(f[180],f[303]),d[1528]) -> extension (support ? 1) - 841tuples 10.29/10.31 c intension eq(dist(f[182],f[267]),d[1536]) -> extension (support ? 1) - 1479tuples 10.29/10.36 c intension eq(dist(f[192],f[313]),d[1592]) -> extension (support ? 1) - 841tuples 10.29/10.38 c intension eq(dist(f[195],f[216]),d[1608]) -> extension (support ? 1) - 841tuples 10.29/10.40 c intension eq(dist(f[195],f[262]),d[1610]) -> extension (support ? 1) - 841tuples 10.39/10.43 c intension eq(dist(f[195],f[265]),d[1611]) -> extension (support ? 1) - 841tuples 10.39/10.44 c intension eq(dist(f[195],f[281]),d[1612]) -> extension (support ? 1) - 841tuples 10.39/10.46 c intension eq(dist(f[195],f[364]),d[1614]) -> extension (support ? 1) - 841tuples 10.39/10.49 c intension eq(dist(f[198],f[274]),d[1631]) -> extension (support ? 1) - 1015tuples 10.49/10.52 c intension eq(dist(f[198],f[355]),d[1632]) -> extension (support ? 1) - 841tuples 10.49/10.55 c intension eq(dist(f[198],f[400]),d[1634]) -> extension (support ? 1) - 1015tuples 10.49/10.57 c intension eq(dist(f[198],f[404]),d[1635]) -> extension (support ? 1) - 841tuples 10.59/10.62 c intension eq(dist(f[199],f[224]),d[1636]) -> extension (support ? 1) - 1131tuples 10.59/10.68 c intension eq(dist(f[204],f[264]),d[1663]) -> extension (support ? 1) - 1131tuples 10.69/10.74 c intension eq(dist(f[210],f[263]),d[1694]) -> extension (support ? 1) - 1575tuples 10.69/10.76 c intension eq(dist(f[210],f[293]),d[1696]) -> extension (support ? 1) - 725tuples 10.69/10.79 c intension eq(dist(f[216],f[264]),d[1723]) -> extension (support ? 1) - 841tuples 10.78/10.81 c intension eq(dist(f[216],f[293]),d[1724]) -> extension (support ? 1) - 841tuples 10.78/10.86 c intension -> extension : same as previous 10.78/10.86 c intension eq(dist(f[219],f[293]),d[1742]) -> extension (support ? 1) - 1305tuples 10.88/10.92 c intension eq(dist(f[224],f[310]),d[1773]) -> extension (support ? 1) - 1305tuples 10.88/10.94 c intension eq(dist(f[224],f[355]),d[1775]) -> extension (support ? 1) - 841tuples 10.88/10.99 c intension eq(dist(f[224],f[408]),d[1776]) -> extension (support ? 1) - 1131tuples 10.99/11.03 c intension eq(dist(f[225],f[311]),d[1778]) -> extension (support ? 1) - 1305tuples 10.99/11.06 c intension eq(dist(f[233],f[234]),d[1810]) -> extension (support ? 1) - 841tuples 10.99/11.09 c intension eq(dist(f[233],f[238]),d[1811]) -> extension (support ? 1) - 841tuples 11.09/11.12 c intension eq(dist(f[233],f[269]),d[1812]) -> extension (support ? 1) - 1015tuples 11.09/11.15 c intension eq(dist(f[234],f[291]),d[1816]) -> extension (support ? 1) - 841tuples 11.09/11.17 c intension eq(dist(f[234],f[311]),d[1817]) -> extension (support ? 1) - 841tuples 11.19/11.20 c intension eq(dist(f[234],f[355]),d[1818]) -> extension (support ? 1) - 841tuples 11.19/11.25 c intension eq(dist(f[238],f[310]),d[1835]) -> extension (support ? 1) - 1305tuples 11.30/11.32 c intension eq(dist(f[241],f[353]),d[1845]) -> extension (support ? 1) - 1827tuples 11.30/11.38 c intension eq(dist(f[243],f[280]),d[1852]) -> extension (support ? 1) - 1175tuples 11.30/11.39 c intension eq(dist(f[244],f[264]),d[1857]) -> extension (support ? 1) - 841tuples 11.40/11.45 c intension eq(dist(f[244],f[282]),d[1858]) -> extension (support ? 1) - 1131tuples 11.40/11.46 c intension eq(dist(f[244],f[370]),d[1859]) -> extension (support ? 1) - 841tuples 11.49/11.51 c intension eq(dist(f[248],f[323]),d[1881]) -> extension (support ? 1) - 1275tuples 11.49/11.55 c intension eq(dist(f[258],f[281]),d[1923]) -> extension (support ? 1) - 841tuples 11.59/11.60 c intension eq(dist(f[258],f[310]),d[1925]) -> extension (support ? 1) - 1305tuples 11.59/11.61 c intension eq(dist(f[258],f[370]),d[1926]) -> extension (support ? 1) - 841tuples 11.59/11.65 c intension eq(dist(f[262],f[311]),d[1941]) -> extension (support ? 1) - 841tuples 11.59/11.68 c intension eq(dist(f[264],f[323]),d[1951]) -> extension (support ? 1) - 725tuples 11.59/11.69 c intension eq(dist(f[264],f[390]),d[1952]) -> extension (support ? 1) - 841tuples 11.69/11.72 c intension eq(dist(f[264],f[397]),d[1953]) -> extension (support ? 1) - 1015tuples 11.69/11.75 c intension eq(dist(f[265],f[326]),d[1958]) -> extension (support ? 1) - 841tuples 11.69/11.78 c intension eq(dist(f[267],f[311]),d[1960]) -> extension (support ? 1) - 841tuples 11.79/11.81 c intension eq(dist(f[269],f[274]),d[1964]) -> extension (support ? 1) - 1225tuples 11.79/11.85 c intension -> extension : same as previous 11.79/11.85 c intension -> extension : same as previous 11.79/11.85 c intension eq(dist(f[280],f[402]),d[2001]) -> extension (support ? 1) - 875tuples 11.79/11.87 c intension eq(dist(f[281],f[303]),d[2002]) -> extension (support ? 1) - 841tuples 11.88/11.92 c intension eq(dist(f[282],f[392]),d[2003]) -> extension (support ? 1) - 1131tuples 11.88/11.99 c intension eq(dist(f[286],f[391]),d[2019]) -> extension (support ? 1) - 2025tuples 11.98/12.03 c intension eq(dist(f[303],f[326]),d[2082]) -> extension (support ? 1) - 841tuples 11.98/12.07 c intension eq(dist(f[303],f[398]),d[2084]) -> extension (support ? 1) - 1015tuples 12.09/12.11 c intension eq(dist(f[307],f[361]),d[2093]) -> extension (support ? 1) - 841tuples 12.09/12.14 c intension -> extension : same as previous 12.09/12.14 c intension eq(dist(f[308],f[398]),d[2097]) -> extension (support ? 1) - 1225tuples 12.19/12.20 c intension eq(dist(f[310],f[324]),d[2101]) -> extension (support ? 1) - 2025tuples 12.19/12.23 c intension eq(dist(f[311],f[401]),d[2107]) -> extension (support ? 1) - 841tuples 12.19/12.29 c intension eq(dist(f[312],f[318]),d[2108]) -> extension (support ? 1) - 1479tuples 12.30/12.34 c intension eq(dist(f[312],f[404]),d[2112]) -> extension (support ? 1) - 1479tuples 12.30/12.36 c intension eq(dist(f[313],f[318]),d[2113]) -> extension (support ? 1) - 841tuples 12.40/12.41 c intension eq(dist(f[313],f[391]),d[2114]) -> extension (support ? 1) - 1305tuples 12.40/12.45 c intension eq(dist(f[315],f[364]),d[2115]) -> extension (support ? 1) - 1305tuples 12.49/12.50 c intension eq(dist(f[318],f[379]),d[2123]) -> extension (support ? 1) - 1305tuples 12.49/12.54 c intension eq(dist(f[318],f[398]),d[2124]) -> extension (support ? 1) - 1015tuples 12.49/12.59 c intension eq(dist(f[318],f[418]),d[2125]) -> extension (support ? 1) - 1479tuples 12.59/12.61 c intension eq(dist(f[323],f[353]),d[2134]) -> extension (support ? 1) - 725tuples 12.59/12.66 c intension eq(dist(f[323],f[408]),d[2135]) -> extension (support ? 1) - 975tuples 12.59/12.69 c intension eq(dist(f[326],f[390]),d[2136]) -> extension (support ? 1) - 841tuples 12.69/12.77 c intension eq(dist(f[351],f[391]),d[2190]) -> extension (support ? 1) - 2025tuples 12.79/12.80 c intension eq(dist(f[353],f[361]),d[2192]) -> extension (support ? 1) - 841tuples 12.79/12.82 c intension eq(dist(f[353],f[364]),d[2193]) -> extension (support ? 1) - 841tuples 12.79/12.84 c intension eq(dist(f[360],f[361]),d[2203]) -> extension (support ? 1) - 1015tuples 12.79/12.87 c intension eq(dist(f[360],f[398]),d[2204]) -> extension (support ? 1) - 1225tuples 12.79/12.89 c intension eq(dist(f[361],f[390]),d[2206]) -> extension (support ? 1) - 841tuples 12.89/12.96 c intension eq(dist(f[363],f[400]),d[2209]) -> extension (support ? 1) - 1365tuples 12.89/12.99 c intension eq(dist(f[387],f[390]),d[2237]) -> extension (support ? 1) - 841tuples 12.99/13.02 c intension eq(dist(f[387],f[392]),d[2238]) -> extension (support ? 1) - 841tuples 12.99/13.07 c intension eq(dist(f[392],f[403]),d[2240]) -> extension (support ? 1) - 1479tuples 706.58/706.71 c enable optimization 706.58/706.71 c ========================================[ Problem Statistics ]=========================================== 706.58/706.71 c | 706.58/706.71 c | Parse time : 62.56 s 706.58/706.71 c | 706.58/706.71 c | Variables: 7590 706.58/706.71 c | Domain Sizes: 1..151 706.58/706.71 c | 706.58/706.71 c | Constraints: 4737 706.58/706.71 c | Arity: 2..4501 -- Binary: 237 -- Ternary: 2249 706.58/706.71 c | 706.58/706.71 c | Types: 706.58/706.71 c | (X != Y): 7 706.58/706.71 c | (X = Y): 9 706.58/706.71 c | Extension: 2791 (nb tuples: 0..7224) -- (shared: 101) 706.58/706.71 c | Intension: 1929 706.58/706.71 c | Sum: 1 706.58/706.71 c | 706.58/706.71 c | Objective: Minimize Sum 706.58/706.71 706.58/706.71 c ========================================================================================================= 706.58/706.71 o 578530015 706.58/706.71 c 1 calls to solver(id=0): best=578530015 lower=0 upper=578530014 717.88/718.02 o 578507515 723.78/723.92 o 578507509 723.78/723.92 c 3 calls to solver(id=0): best=578507509 lower=0 upper=578507508 771.08/771.22 o 578507498 924.08/924.29 o 578507493 924.08/924.30 c 5 calls to solver(id=0): best=578507493 lower=0 upper=578507492 930.97/931.12 o 578507483 943.98/944.15 o 578507479 943.98/944.16 c 7 calls to solver(id=0): best=578507479 lower=0 upper=578507478 976.77/976.94 o 578507469 1016.37/1016.55 o 578507462 1016.37/1016.55 c 9 calls to solver(id=0): best=578507462 lower=0 upper=578507461 1023.67/1023.80 o 578507457 1116.67/1116.87 o 578507452 1116.67/1116.87 c 11 calls to solver(id=0): best=578507452 lower=0 upper=578507451 1280.77/1280.98 o 578507444 1378.36/1378.51 o 578507434 1378.36/1378.52 c 13 calls to solver(id=0): best=578507434 lower=0 upper=578507433 1406.66/1406.84 o 578417394 1708.05/1708.21 o 578394904 1708.05/1708.22 c 15 calls to solver(id=0): best=578394904 lower=0 upper=578394903 1820.05/1820.29 o 578394894 1827.75/1827.99 o 578394884 1827.75/1827.99 c 17 calls to solver(id=0): best=578394884 lower=0 upper=578394883 2400.04/2400.20 2400.04/2400.20 c *** INTERRUPTED *** 2400.04/2400.20 c call to solver : 17 2400.04/2400.20 c 2400.04/2400.20 c restarts : 252 2400.04/2400.20 c conflicts : 106376 (44 /sec) 2400.04/2400.20 c decisions : 1490593 (621 /sec) 2400.04/2400.20 c propagations : 143198236 (59694 /sec) 2400.04/2400.20 c root propagations : 18913 2400.04/2400.20 c filter calls : 15213567 (6342 /sec) 2400.04/2400.20 c useless filter calls : 9995593 (65 %) 2400.04/2400.20 c Memory used : 1137.50 MB 2400.04/2400.20 c Best bound time (wc) : 1827.99 s 2400.04/2400.20 c CPU time : 2398.89 s 2400.04/2400.20 c real time : 2400.2 s 2400.04/2400.20 2400.04/2400.20 c nb Solutions = 17 2400.04/2400.20 s SATISFIABLE 2400.04/2400.20 c Best value found: 578394884 2400.04/2400.20 2400.04/2400.20 2400.04/2400.20 v <instantiation type='solution' cost='578394884'> 2400.04/2400.20 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> 2400.04/2400.20 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> 2400.04/2400.20 v </instantiation> 2400.04/2400.20
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 (13331 MiB free)
memory of node 1: 16384 MiB (15091 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390252-1568356700/watcher-4390252-1568356700 -o /tmp/evaluation-result-4390252-1568356700/solver-4390252-1568356700 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568335411-5300 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390252-1568356700.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10546, runsolver pid=10543
[startup+0.100123 s]*
/proc/loadavg: 2.00 2.01 2.05 3/204 10547
/proc/meminfo: memFree=29081756/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=52000 memory=28220 CPUtime=0.09 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 7255 0 0 0 8 1 0 0 20 0 1 0 411920626 53248000 7055 33554432000 4194304 6210612 140733576998960 140733576995496 139912149973989 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 13000 7055 823 493 0 6305 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52000 KiB
Current children cumulated memory: 28220 KiB
[startup+0.210036 s]*
/proc/loadavg: 2.00 2.01 2.05 3/204 10547
/proc/meminfo: memFree=29079896/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=53588 memory=29844 CPUtime=0.21 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 7794 0 0 0 19 2 0 0 20 0 1 0 411920626 54874112 7461 33554432000 4194304 6210612 140733576998960 140733576995496 139912149972534 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 13397 7461 825 493 0 6702 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 53588 KiB
Current children cumulated memory: 29844 KiB
[startup+0.309871 s]*
/proc/loadavg: 2.00 2.01 2.05 3/204 10547
/proc/meminfo: memFree=29077664/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=55464 memory=31692 CPUtime=0.31 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 8263 0 0 0 29 2 0 0 20 0 1 0 411920626 56795136 7923 33554432000 4194304 6210612 140733576998960 140733576995496 5440971 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 13866 7923 825 493 0 7171 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 55464 KiB
Current children cumulated memory: 31692 KiB
[startup+0.700321 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 10547
/proc/meminfo: memFree=29075160/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=60920 memory=37028 CPUtime=0.68 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 13146 0 0 0 65 3 0 0 20 0 1 0 411920626 62382080 9257 33554432000 4194304 6210612 140733576998960 140733576993912 5012488 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 15230 9257 825 493 0 8535 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60920 KiB
Current children cumulated memory: 37028 KiB
[startup+1.50032 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 10547
/proc/meminfo: memFree=29065028/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=70440 memory=46472 CPUtime=1.48 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 17922 0 0 0 144 4 0 0 20 0 1 0 411920626 72130560 11618 33554432000 4194304 6210612 140733576998960 140733576993912 5442880 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 17610 11618 834 493 0 10915 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 70440 KiB
Current children cumulated memory: 46472 KiB
[startup+7.94791 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 10547
/proc/meminfo: memFree=29065028/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=149616 memory=125836 CPUtime=7.94 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 58291 0 0 0 784 10 0 0 20 0 1 0 411920626 153206784 31459 33554432000 4194304 6210612 140733576998960 140733576994456 139912150900132 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 37404 31459 834 493 0 30709 0
Current children cumulated CPU time: 7.94 s
Current children cumulated vsize: 149616 KiB
Current children cumulated memory: 125836 KiB
[startup+8.00033 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 10547
/proc/meminfo: memFree=29065028/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=150736 memory=126696 CPUtime=7.99 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 59431 0 0 0 789 10 0 0 20 0 1 0 411920626 154353664 31674 33554432000 4194304 6210612 140733576998960 140733576994456 5012488 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 37684 31674 834 493 0 30989 0
Current children cumulated CPU time: 7.99 s
Current children cumulated vsize: 150736 KiB
Current children cumulated memory: 126696 KiB
[startup+12.7003 s]
/proc/loadavg: 2.77 2.18 2.10 4/204 10547
/proc/meminfo: memFree=29048420/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=229084 memory=205096 CPUtime=12.69 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 98301 0 0 0 1253 16 0 0 20 0 1 0 411920626 234582016 51274 33554432000 4194304 6210612 140733576998960 140733576994456 5281679 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 57271 51274 834 493 0 50576 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 229084 KiB
Current children cumulated memory: 205096 KiB
[startup+25.5002 s]
/proc/loadavg: 2.74 2.20 2.11 3/203 10552
/proc/meminfo: memFree=29925472/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=356276 memory=328456 CPUtime=25.49 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 131291 0 0 0 2527 22 0 0 20 0 1 0 411920626 364826624 82114 33554432000 4194304 6210612 140733576998960 140733576996232 5817732 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 89069 82114 838 493 0 82374 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 356276 KiB
Current children cumulated memory: 328456 KiB
[startup+51.1002 s]
/proc/loadavg: 2.48 2.19 2.11 3/203 10553
/proc/meminfo: memFree=29688700/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=608496 memory=572276 CPUtime=51.07 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 192572 0 0 0 5078 29 0 0 20 0 1 0 411920626 623099904 143069 33554432000 4194304 6210612 140733576998960 140733576994456 5816959 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 152124 143069 838 493 0 145429 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 608496 KiB
Current children cumulated memory: 572276 KiB
[startup+102.3 s]*
/proc/loadavg: 2.21 2.16 2.10 3/202 10557
/proc/meminfo: memFree=29394144/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=899360 memory=858368 CPUtime=102.28 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 439364 0 0 0 10179 49 0 0 20 0 1 0 411920626 920944640 214592 33554432000 4194304 6210612 140733576998960 140733576996328 5164340 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 224840 214592 882 493 0 218145 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 899360 KiB
Current children cumulated memory: 858368 KiB
[startup+162.3 s]*
/proc/loadavg: 2.18 2.16 2.11 3/203 10570
/proc/meminfo: memFree=29333416/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=962032 memory=919304 CPUtime=162.26 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 550515 0 0 0 16172 54 0 0 20 0 1 0 411920626 985120768 229826 33554432000 4194304 6210612 140733576998960 140733576996168 5453736 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 240508 229826 882 493 0 233813 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 962032 KiB
Current children cumulated memory: 919304 KiB
[startup+222.3 s]*
/proc/loadavg: 2.20 2.17 2.12 3/203 10575
/proc/meminfo: memFree=29311052/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=982560 memory=941996 CPUtime=222.26 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 708257 0 0 0 22162 64 0 0 20 0 1 0 411920626 1006141440 235499 33554432000 4194304 6210612 140733576998960 140733576996360 5451431 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 245640 235499 882 493 0 238945 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 982560 KiB
Current children cumulated memory: 941996 KiB
[startup+282.3 s]*
/proc/loadavg: 2.18 2.17 2.12 3/204 10580
/proc/meminfo: memFree=29256544/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=1035272 memory=995532 CPUtime=282.25 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 801763 0 0 0 28153 72 0 0 20 0 1 0 411920626 1060118528 248883 33554432000 4194304 6210612 140733576998960 140733576996280 5451256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 258818 248883 882 493 0 252123 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 1035272 KiB
Current children cumulated memory: 995532 KiB
[startup+342.3 s]*
/proc/loadavg: 2.23 2.19 2.13 3/204 10586
/proc/meminfo: memFree=29221860/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=1068832 memory=1029876 CPUtime=342.23 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 902262 0 0 0 34144 79 0 0 20 0 1 0 411920626 1094483968 257469 33554432000 4194304 6210612 140733576998960 140733576996168 5446110 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 267208 257469 882 493 0 260513 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 1068832 KiB
Current children cumulated memory: 1029876 KiB
[startup+402.3 s]*
/proc/loadavg: 2.09 2.15 2.12 3/204 10590
/proc/meminfo: memFree=29212156/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=1075700 memory=1039560 CPUtime=402.22 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 974244 0 0 0 40139 83 0 0 20 0 1 0 411920626 1101516800 259890 33554432000 4194304 6210612 140733576998960 140733576996168 5440420 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 268925 259890 882 493 0 262230 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 1075700 KiB
Current children cumulated memory: 1039560 KiB
[startup+462.3 s]*
/proc/loadavg: 2.03 2.12 2.12 3/203 10594
/proc/meminfo: memFree=29207048/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=1080104 memory=1045216 CPUtime=462.22 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 1016055 0 0 0 46137 85 0 0 20 0 1 0 411920626 1106026496 261304 33554432000 4194304 6210612 140733576998960 140733576996168 5453766 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 270026 261304 882 493 0 263331 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 1080104 KiB
Current children cumulated memory: 1045216 KiB
################
# More data... #
################
/proc/10546/statm: 291200 285107 882 493 0 284505 0
Current children cumulated CPU time: 1662.16 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140428 KiB
[startup+1722.3 s]*
/proc/loadavg: 2.00 2.03 2.06 3/203 10799
/proc/meminfo: memFree=29115708/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=1164800 memory=1140428 CPUtime=1722.17 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 1322020 0 0 0 172105 112 0 0 20 0 1 0 411920626 1192755200 285107 33554432000 4194304 6210612 140733576998960 140733576986840 5442846 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 291200 285107 882 493 0 284505 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140428 KiB
[startup+1782.3 s]*
/proc/loadavg: 2.00 2.02 2.05 3/203 10805
/proc/meminfo: memFree=29117352/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=1164800 memory=1140440 CPUtime=1782.16 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 1329046 0 0 0 178104 112 0 0 20 0 1 0 411920626 1192755200 285110 33554432000 4194304 6210612 140733576998960 140733576986840 5155432 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 291200 285110 882 493 0 284505 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140440 KiB
[startup+1842.3 s]*
/proc/loadavg: 2.00 2.02 2.05 3/203 10809
/proc/meminfo: memFree=29116944/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=1164800 memory=1140448 CPUtime=1842.16 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 1339344 0 0 0 184103 113 0 0 20 0 1 0 411920626 1192755200 285112 33554432000 4194304 6210612 140733576998960 140733576986840 5034915 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 291200 285112 882 493 0 284505 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140448 KiB
[startup+1902.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/202 10813
/proc/meminfo: memFree=29116448/32770624 swapFree=66916400/67108860
[pid=10546] ppid=10543 vsize=1164800 memory=1140452 CPUtime=1902.15 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 1346248 0 0 0 190102 113 0 0 20 0 1 0 411920626 1192755200 285113 33554432000 4194304 6210612 140733576998960 140733576986840 5164642 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 291200 285113 882 493 0 284505 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140452 KiB
[startup+1962.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/204 10828
/proc/meminfo: memFree=29115064/32770624 swapFree=66916404/67108860
[pid=10546] ppid=10543 vsize=1164800 memory=1140452 CPUtime=1962.16 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 1353214 0 0 0 196102 114 0 0 20 0 1 0 411920626 1192755200 285113 33554432000 4194304 6210612 140733576998960 140733576986840 5476445 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 291200 285113 882 493 0 284505 0
Current children cumulated CPU time: 1962.16 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140452 KiB
[startup+2022.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/204 10832
/proc/meminfo: memFree=29115912/32770624 swapFree=66916404/67108860
[pid=10546] ppid=10543 vsize=1164800 memory=1140452 CPUtime=2022.16 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 1359812 0 0 0 202102 114 0 0 20 0 1 0 411920626 1192755200 285113 33554432000 4194304 6210612 140733576998960 140733576986840 5451458 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 291200 285113 882 493 0 284505 0
Current children cumulated CPU time: 2022.16 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140452 KiB
[startup+2082.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/204 10836
/proc/meminfo: memFree=29115900/32770624 swapFree=66916404/67108860
[pid=10546] ppid=10543 vsize=1164800 memory=1140452 CPUtime=2082.16 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 1366470 0 0 0 208101 115 0 0 20 0 1 0 411920626 1192755200 285113 33554432000 4194304 6210612 140733576998960 140733576986840 5249738 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 291200 285113 882 493 0 284505 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140452 KiB
[startup+2142.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/204 10842
/proc/meminfo: memFree=29115216/32770624 swapFree=66916404/67108860
[pid=10546] ppid=10543 vsize=1164800 memory=1140452 CPUtime=2142.15 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 1368784 0 0 0 214100 115 0 0 20 0 1 0 411920626 1192755200 285113 33554432000 4194304 6210612 140733576998960 140733576986840 5446066 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 291200 285113 882 493 0 284505 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140452 KiB
[startup+2202.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/204 10846
/proc/meminfo: memFree=29116024/32770624 swapFree=66916404/67108860
[pid=10546] ppid=10543 vsize=1164800 memory=1140452 CPUtime=2202.15 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 1370151 0 0 0 220100 115 0 0 20 0 1 0 411920626 1192755200 285113 33554432000 4194304 6210612 140733576998960 140733576986840 5451332 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 291200 285113 882 493 0 284505 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140452 KiB
[startup+2262.3 s]*
/proc/loadavg: 2.07 2.04 2.05 3/203 10850
/proc/meminfo: memFree=29115740/32770624 swapFree=66916404/67108860
[pid=10546] ppid=10543 vsize=1164800 memory=1140452 CPUtime=2262.15 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 1371892 0 0 0 226100 115 0 0 20 0 1 0 411920626 1192755200 285113 33554432000 4194304 6210612 140733576998960 140733576986840 5164396 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 291200 285113 882 493 0 284505 0
Current children cumulated CPU time: 2262.15 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140452 KiB
[startup+2322.3 s]*
/proc/loadavg: 2.03 2.04 2.05 3/203 10856
/proc/meminfo: memFree=29115252/32770624 swapFree=66916404/67108860
[pid=10546] ppid=10543 vsize=1164800 memory=1140476 CPUtime=2322.14 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 1379425 0 0 0 232099 115 0 0 20 0 1 0 411920626 1192755200 285119 33554432000 4194304 6210612 140733576998960 140733576986840 5440456 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 291200 285119 882 493 0 284505 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140476 KiB
[startup+2382.3 s]*
/proc/loadavg: 2.01 2.03 2.05 3/203 10860
/proc/meminfo: memFree=29115544/32770624 swapFree=66916404/67108860
[pid=10546] ppid=10543 vsize=1164800 memory=1140476 CPUtime=2382.15 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 1380975 0 0 0 238099 116 0 0 20 0 1 0 411920626 1192755200 285119 33554432000 4194304 6210612 140733576998960 140733576986840 5456146 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 291200 285119 882 493 0 284505 0
Current children cumulated CPU time: 2382.15 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140476 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.01 2.03 2.05 3/203 10862
/proc/meminfo: memFree=29116104/32770624 swapFree=66916404/67108860
[pid=10546] ppid=10543 vsize=1164800 memory=1140476 CPUtime=2400.04 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 1381583 0 0 0 239888 116 0 0 20 0 1 0 411920626 1192755200 285119 33554432000 4194304 6210612 140733576998960 140733576986840 5034915 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 291200 285119 882 493 0 284505 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140476 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.21 s]
# the end of solver process 10546 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.89 s, system=1.16997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.2 s]
/proc/loadavg: 2.01 2.03 2.05 3/203 10862
/proc/meminfo: memFree=29116104/32770624 swapFree=66916404/67108860
[pid=10546] ppid=10543 vsize=1164800 memory=1140476 CPUtime=2400.04 cores=1,3,5,7
/proc/10546/stat : 10546 (cosoco) R 10543 10546 5268 0 -1 4202496 1381583 0 0 0 239888 116 0 0 20 0 1 0 411920626 1192755200 285119 33554432000 4194304 6210612 140733576998960 140733576986840 5034915 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41074688 140733577004043 140733577004145 140733577004145 140733577007054 0
/proc/10546/statm: 291200 285119 882 493 0 284505 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140476 KiB
Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.06
CPU user time (s): 2398.89
CPU system time (s): 1.16997
CPU usage (%): 99.9937
Max. virtual memory (cumulated for all children) (KiB): 1164800
Max. memory (cumulated for all children) (KiB): 1140476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.89
system time used= 1.16996
maximum resident set size= 1140540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1381653
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= 169
involuntary context switches= 1011
# summary of solver processes directly reported to runsolver:
# pid: 10546
# total CPU time (s): 2400.06
# total CPU user time (s): 2398.89
# total CPU system time (s): 1.16997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.43806 second user time and 17.3897 second system time
The end
Begin job on node134 at 2019-09-13 08:37:40 IDJOB=4390252 IDBENCH=141274 IDSOLVER=2831 FILE ID=node134/4390252-1568356700 RUNJOBID= node134-1568335411-5300 PBS_JOBID= 21701162 Free space on /tmp= 55448 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-20-0420_c18.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390252-1568356700/watcher-4390252-1568356700 -o /tmp/evaluation-result-4390252-1568356700/solver-4390252-1568356700 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568335411-5300 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390252-1568356700.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a9a1ecda6b6f8f1e99c2d233168bcaa1 RANDOM SEED=1601347177 node134.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.76 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.76 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.76 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.76 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: 29105764 kB MemAvailable: 31771008 kB Buffers: 160384 kB Cached: 2755748 kB SwapCached: 90752 kB Active: 518668 kB Inactive: 2497692 kB Active(anon): 33312 kB Inactive(anon): 106500 kB Active(file): 485356 kB Inactive(file): 2391192 kB Unevictable: 110920 kB Mlocked: 110920 kB SwapTotal: 67108860 kB SwapFree: 66916400 kB Dirty: 1083892 kB Writeback: 74152 kB AnonPages: 121996 kB Mapped: 46052 kB Shmem: 30852 kB Slab: 239540 kB SReclaimable: 209060 kB SUnreclaim: 30480 kB KernelStack: 3568 kB PageTables: 5800 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 536572 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 55992 MiB End job on node134 at 2019-09-13 09:17:40