Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 | SAT (TO) | 578394884 | 2520.07 | 2519.91 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-20-0420_c18.xml |
| MD5SUM | a9a1ecda6b6f8f1e99c2d233168bcaa1 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 506362597 |
| Best CPU time to get the best result obtained on this benchmark | 126.294 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 7590 |
| Number of constraints | 4736 |
| Number of domains | 77 |
| Minimum domain size | 1 |
| Maximum domain size | 151 |
| Distribution of domain sizes | [{"size":1,"count":5},{"size":2,"count":2665},{"size":11,"count":2250},{"size":12,"count":1},{"size":25,"count":16},{"size":29,"count":112},{"size":33,"count":7},{"size":35,"count":61},{"size":39,"count":31},{"size":41,"count":3},{"size":44,"count":12},{"size":45,"count":29},{"size":47,"count":9},{"size":48,"count":23},{"size":49,"count":22},{"size":50,"count":3},{"size":51,"count":51},{"size":52,"count":61},{"size":54,"count":8},{"size":57,"count":6},{"size":58,"count":4},{"size":59,"count":3},{"size":60,"count":3},{"size":61,"count":12},{"size":63,"count":25},"...",{"size":92,"count":2}, {"size":93,"count":25}, {"size":97,"count":3}, {"size":101,"count":4}, {"size":102,"count":9}, {"size":103,"count":191}, {"size":105,"count":1}, {"size":108,"count":5}, {"size":109,"count":2}, {"size":111,"count":1}, {"size":112,"count":6}, {"size":115,"count":10}, {"size":116,"count":22}, {"size":118,"count":95}, {"size":122,"count":59}, {"size":123,"count":1}, {"size":124,"count":1}, {"size":125,"count":117}, {"size":126,"count":92}, {"size":127,"count":5}, {"size":137,"count":27}, {"size":138,"count":29}, {"size":140,"count":24}, {"size":141,"count":77}, {"size":151,"count":1259}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2251 |
| Distribution of variable degrees | [{"degree":2,"count":6752},{"degree":3,"count":9},{"degree":4,"count":14},{"degree":5,"count":23},{"degree":6,"count":28},{"degree":7,"count":33},{"degree":8,"count":45},{"degree":9,"count":53},{"degree":10,"count":63},{"degree":11,"count":79},{"degree":12,"count":105},{"degree":13,"count":196},{"degree":14,"count":147},{"degree":15,"count":22},{"degree":16,"count":8},{"degree":17,"count":9},{"degree":18,"count":1},{"degree":19,"count":1},{"degree":20,"count":1},{"degree":2251,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":237},{"arity":3,"count":2249},{"arity":6,"count":2250}] |
| Number of extensional constraints | 2250 |
| Number of intensional constraints | 2486 |
| Distribution of constraint types | [{"type":"extension","count":2250},{"type":"intension","count":2486}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.09 c 0.00/0.09 c This is cosoco 2.00 -- 0.00/0.09 c 0.00/0.09 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397032-1568595394.xml 0.00/0.09 c intension eq(dist(f[36],f[400]),40) -> extension (support ? 1) - 50tuples 0.00/0.10 c intension eq(dist(f[300],f[393]),40) -> extension (support ? 1) - 230tuples 0.10/0.11 c intension eq(dist(f[178],f[57]),40) -> extension (support ? 1) - 282tuples 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension eq(dist(f[280],f[323]),40) -> extension (support ? 1) - 30tuples 0.10/0.12 c intension eq(dist(f[197],f[382]),40) -> extension (support ? 1) - 282tuples 0.10/0.13 c intension eq(dist(f[101],f[208]),40) -> extension (support ? 1) - 230tuples 0.10/0.13 c intension eq(dist(f[11],f[179]),40) -> extension (support ? 1) - 58tuples 0.10/0.14 c intension eq(dist(f[317],f[338]),40) -> extension (support ? 1) - 282tuples 0.10/0.14 c intension eq(dist(f[244],f[60]),40) -> extension (support ? 1) - 38tuples 0.10/0.14 c intension eq(dist(f[125],f[369]),40) -> extension (support ? 1) - 106tuples 0.10/0.14 c intension eq(dist(f[119],f[18]),40) -> extension (support ? 1) - 38tuples 0.10/0.14 c intension eq(dist(f[22],f[81]),40) -> extension (support ? 1) - 50tuples 0.10/0.14 c intension eq(dist(f[370],f[38]),40) -> extension (support ? 1) - 38tuples 0.10/0.16 c intension eq(dist(f[130],f[96]),40) -> extension (support ? 1) - 282tuples 0.10/0.16 c intension eq(dist(f[110],f[391]),40) -> extension (support ? 1) - 70tuples 0.10/0.17 c intension eq(dist(f[124],f[406]),40) -> extension (support ? 1) - 282tuples 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension eq(dist(f[136],f[387]),40) -> extension (support ? 1) - 38tuples 0.10/0.18 c intension eq(dist(f[242],f[6]),40) -> extension (support ? 1) - 282tuples 0.10/0.18 c intension eq(dist(f[403],f[407]),40) -> extension (support ? 1) - 82tuples 0.10/0.18 c intension eq(dist(f[106],f[224]),40) -> extension (support ? 1) - 38tuples 0.10/0.19 c intension eq(dist(f[0],f[226]),40) -> extension (support ? 1) - 282tuples 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension eq(dist(f[142],f[311]),40) -> extension (support ? 1) - 38tuples 0.10/0.20 c intension eq(dist(f[166],f[92]),40) -> extension (support ? 1) - 30tuples 0.10/0.21 c intension eq(dist(f[53],f[73]),40) -> extension (support ? 1) - 282tuples 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension eq(dist(f[285],f[312]),40) -> extension (support ? 1) - 82tuples 0.10/0.21 c intension eq(dist(f[111],f[137]),40) -> extension (support ? 1) - 38tuples 0.10/0.21 c intension eq(dist(f[134],f[63]),40) -> extension (support ? 1) - 30tuples 0.10/0.21 c intension eq(dist(f[282],f[363]),40) -> extension (support ? 1) - 58tuples 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension eq(dist(f[131],f[164]),40) -> extension (support ? 1) - 38tuples 0.21/0.21 c intension eq(dist(f[108],f[259]),40) -> extension (support ? 1) - 70tuples 0.21/0.22 c intension eq(dist(f[263],f[67]),40) -> extension (support ? 1) - 106tuples 0.21/0.23 c intension eq(dist(f[246],f[342]),40) -> extension (support ? 1) - 282tuples 0.21/0.23 c intension eq(dist(f[152],f[264]),40) -> extension (support ? 1) - 38tuples 0.21/0.24 c intension eq(dist(f[69],f[7]),40) -> extension (support ? 1) - 282tuples 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension eq(dist(f[231],f[310]),40) -> extension (support ? 1) - 70tuples 0.21/0.24 c intension eq(dist(f[30],f[314]),40) -> extension (support ? 1) - 50tuples 0.21/0.24 c intension eq(dist(f[135],f[168]),40) -> extension (support ? 1) - 58tuples 0.21/0.24 c intension eq(dist(f[45],f[54]),40) -> extension (support ? 1) - 82tuples 0.21/0.25 c intension eq(dist(f[109],f[37]),40) -> extension (support ? 1) - 282tuples 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension eq(dist(f[114],f[307]),40) -> extension (support ? 1) - 38tuples 0.21/0.27 c intension eq(dist(f[155],f[173]),40) -> extension (support ? 1) - 282tuples 0.21/0.27 c intension eq(dist(f[15],f[174]),40) -> extension (support ? 1) - 230tuples 0.21/0.28 c intension eq(dist(f[293],f[364]),40) -> extension (support ? 1) - 38tuples 0.21/0.28 c intension eq(dist(f[140],f[243]),40) -> extension (support ? 1) - 74tuples 0.21/0.28 c intension eq(dist(f[378],f[83]),40) -> extension (support ? 1) - 38tuples 0.21/0.29 c intension eq(dist(f[193],f[257]),40) -> extension (support ? 1) - 282tuples 0.21/0.29 c intension eq(dist(f[116],f[395]),40) -> extension (support ? 1) - 58tuples 0.21/0.29 c intension eq(dist(f[120],f[235]),40) -> extension (support ? 1) - 74tuples 0.21/0.29 c intension eq(dist(f[351],f[379]),40) -> extension (support ? 1) - 70tuples 0.21/0.29 c intension eq(dist(f[162],f[49]),40) -> extension (support ? 1) - 50tuples 0.21/0.29 c intension eq(dist(f[170],f[306]),40) -> extension (support ? 1) - 102tuples 0.21/0.29 c intension eq(dist(f[23],f[376]),40) -> extension (support ? 1) - 38tuples 0.21/0.30 c intension eq(dist(f[145],f[215]),40) -> extension (support ? 1) - 282tuples 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension eq(dist(f[148],f[233]),40) -> extension (support ? 1) - 38tuples 0.21/0.30 c intension eq(dist(f[267],f[32]),40) -> extension (support ? 1) - 38tuples 0.21/0.31 c intension eq(dist(f[398],f[77]),40) -> extension (support ? 1) - 50tuples 0.21/0.31 c intension eq(dist(f[1],f[247]),40) -> extension (support ? 1) - 70tuples 0.21/0.31 c intension eq(dist(f[204],f[91]),40) -> extension (support ? 1) - 58tuples 0.31/0.31 c intension eq(dist(f[115],f[419]),40) -> extension (support ? 1) - 230tuples 0.31/0.32 c intension eq(dist(f[330],f[47]),40) -> extension (support ? 1) - 282tuples 0.31/0.32 c intension eq(dist(f[172],f[210]),40) -> extension (support ? 1) - 30tuples 0.31/0.33 c intension eq(dist(f[10],f[192]),40) -> extension (support ? 1) - 38tuples 0.31/0.34 c intension eq(dist(f[107],f[399]),40) -> extension (support ? 1) - 282tuples 0.31/0.34 c intension eq(dist(f[315],f[42]),40) -> extension (support ? 1) - 70tuples 0.31/0.35 c intension eq(dist(f[309],f[345]),40) -> extension (support ? 1) - 282tuples 0.31/0.35 c intension -> extension : same as previous 0.31/0.35 c intension eq(dist(f[241],f[374]),40) -> extension (support ? 1) - 106tuples 0.31/0.35 c intension eq(dist(f[386],f[46]),40) -> extension (support ? 1) - 102tuples 0.31/0.36 c intension eq(dist(f[251],f[350]),40) -> extension (support ? 1) - 282tuples 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension eq(dist(f[158],f[50]),40) -> extension (support ? 1) - 230tuples 0.31/0.37 c intension eq(dist(f[12],f[68]),40) -> extension (support ? 1) - 38tuples 0.31/0.38 c intension eq(dist(f[31],f[337]),40) -> extension (support ? 1) - 282tuples 0.31/0.38 c intension eq(dist(f[318],f[355]),40) -> extension (support ? 1) - 38tuples 0.31/0.38 c intension eq(dist(f[182],f[51]),40) -> extension (support ? 1) - 82tuples 0.31/0.38 c intension eq(dist(f[167],f[360]),40) -> extension (support ? 1) - 50tuples 0.31/0.38 c intension eq(dist(f[225],f[324]),40) -> extension (support ? 1) - 70tuples 0.31/0.40 c intension eq(dist(f[203],f[365]),40) -> extension (support ? 1) - 282tuples 0.31/0.40 c intension eq(dist(f[328],f[418]),40) -> extension (support ? 1) - 82tuples 0.31/0.41 c intension eq(dist(f[141],f[206]),40) -> extension (support ? 1) - 282tuples 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension eq(dist(f[388],f[79]),40) -> extension (support ? 1) - 82tuples 0.41/0.42 c intension eq(dist(f[2],f[348]),40) -> extension (support ? 1) - 282tuples 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension eq(dist(f[234],f[361]),40) -> extension (support ? 1) - 38tuples 0.41/0.43 c intension eq(dist(f[396],f[40]),40) -> extension (support ? 1) - 282tuples 0.41/0.43 c intension eq(dist(f[127],f[64]),40) -> extension (support ? 1) - 50tuples 0.41/0.44 c intension eq(dist(f[13],f[90]),40) -> extension (support ? 1) - 282tuples 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension eq(dist(f[274],f[58]),40) -> extension (support ? 1) - 50tuples 0.41/0.45 c intension eq(dist(f[354],f[71]),40) -> extension (support ? 1) - 282tuples 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension eq(dist(f[269],f[402]),40) -> extension (support ? 1) - 50tuples 0.41/0.47 c intension eq(dist(f[349],f[377]),40) -> extension (support ? 1) - 282tuples 0.41/0.47 c intension eq(dist(f[163],f[34]),40) -> extension (support ? 1) - 30tuples 0.41/0.47 c intension eq(dist(f[262],f[353]),40) -> extension (support ? 1) - 38tuples 0.41/0.48 c intension eq(dist(f[346],f[39]),40) -> extension (support ? 1) - 282tuples 0.41/0.48 c intension eq(dist(f[198],f[265]),40) -> extension (support ? 1) - 38tuples 0.41/0.49 c intension eq(dist(f[133],f[232]),40) -> extension (support ? 1) - 282tuples 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension eq(dist(f[401],f[80]),40) -> extension (support ? 1) - 38tuples 0.41/0.50 c intension eq(dist(f[213],f[375]),40) -> extension (support ? 1) - 282tuples 0.41/0.50 c intension eq(dist(f[180],f[85]),40) -> extension (support ? 1) - 38tuples 0.51/0.52 c intension eq(dist(f[373],f[41]),40) -> extension (support ? 1) - 282tuples 0.51/0.52 c intension -> extension : same as previous 0.51/0.52 c intension eq(dist(f[33],f[404]),40) -> extension (support ? 1) - 38tuples 0.51/0.53 c intension eq(dist(f[19],f[299]),40) -> extension (support ? 1) - 282tuples 0.51/0.53 c intension eq(dist(f[303],f[313]),40) -> extension (support ? 1) - 38tuples 0.51/0.54 c intension eq(dist(f[290],f[98]),40) -> extension (support ? 1) - 230tuples 0.51/0.54 c intension eq(dist(f[176],f[281]),40) -> extension (support ? 1) - 38tuples 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension eq(dist(f[102],f[308]),40) -> extension (support ? 1) - 50tuples 0.51/0.55 c intension eq(dist(f[228],f[78]),40) -> extension (support ? 1) - 282tuples 0.51/0.55 c intension -> extension : same as previous 0.51/0.55 c intension eq(dist(f[291],f[326]),40) -> extension (support ? 1) - 38tuples 0.51/0.55 c intension eq(dist(f[205],f[258]),40) -> extension (support ? 1) - 38tuples 0.51/0.56 c intension eq(dist(f[112],f[194]),40) -> extension (support ? 1) - 282tuples 0.51/0.56 c intension -> extension : same as previous 0.51/0.56 c intension -> extension : same as previous 0.51/0.56 c intension -> extension : same as previous 0.51/0.56 c intension -> extension : same as previous 0.51/0.56 c intension -> extension : same as previous 0.51/0.56 c intension -> extension : same as previous 0.51/0.56 c intension -> extension : same as previous 0.51/0.56 c intension -> extension : same as previous 0.51/0.56 c intension -> extension : same as previous 0.51/0.56 c intension eq(dist(f[248],f[87]),40) -> extension (support ? 1) - 82tuples 0.51/0.57 c intension eq(dist(f[279],f[29]),40) -> extension (support ? 1) - 282tuples 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension eq(dist(f[410],f[44]),40) -> extension (support ? 1) - 38tuples 0.51/0.59 c intension eq(dist(f[266],f[325]),40) -> extension (support ? 1) - 282tuples 0.51/0.59 c intension -> extension : same as previous 0.51/0.59 c intension eq(dist(f[147],f[74]),40) -> extension (support ? 1) - 82tuples 0.51/0.59 c intension eq(dist(f[104],f[219]),40) -> extension (support ? 1) - 70tuples 0.51/0.59 c intension eq(dist(f[190],f[352]),40) -> extension (support ? 1) - 74tuples 0.51/0.60 c intension eq(dist(f[103],f[253]),40) -> extension (support ? 1) - 282tuples 0.51/0.60 c intension -> extension : same as previous 0.51/0.60 c intension -> extension : same as previous 0.51/0.60 c intension -> extension : same as previous 0.51/0.60 c intension eq(dist(f[4],f[5]),40) -> extension (support ? 1) - 58tuples 0.60/0.62 c intension eq(dist(f[202],f[72]),40) -> extension (support ? 1) - 282tuples 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension eq(dist(f[165],f[390]),40) -> extension (support ? 1) - 38tuples 0.60/0.62 c intension eq(dist(f[143],f[48]),40) -> extension (support ? 1) - 58tuples 0.60/0.63 c intension eq(dist(f[153],f[239]),40) -> extension (support ? 1) - 282tuples 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension eq(dist(f[186],f[277]),40) -> extension (support ? 1) - 230tuples 0.60/0.65 c intension eq(dist(f[138],f[222]),40) -> extension (support ? 1) - 282tuples 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension eq(dist(f[286],f[82]),40) -> extension (support ? 1) - 70tuples 0.60/0.65 c intension eq(dist(f[177],f[76]),40) -> extension (support ? 1) - 82tuples 0.60/0.65 c intension eq(dist(f[199],f[43]),40) -> extension (support ? 1) - 58tuples 0.60/0.67 c intension eq(dist(f[411],f[61]),40) -> extension (support ? 1) - 282tuples 0.60/0.67 c intension eq(dist(f[341],f[65]),40) -> extension (support ? 1) - 102tuples 0.60/0.68 c intension eq(dist(f[185],f[261]),40) -> extension (support ? 1) - 282tuples 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension eq(dist(f[216],f[238]),40) -> extension (support ? 1) - 38tuples 0.60/0.69 c intension eq(dist(f[117],f[381]),40) -> extension (support ? 1) - 230tuples 0.68/0.70 c intension -> extension : same as previous 0.68/0.70 c intension eq(dist(f[209],f[284]),40) -> extension (support ? 1) - 282tuples 0.68/0.70 c intension -> extension : same as previous 0.68/0.70 c intension eq(dist(f[160],f[397]),40) -> extension (support ? 1) - 50tuples 0.68/0.71 c intension eq(dist(f[70],f[99]),40) -> extension (support ? 1) - 282tuples 0.68/0.71 c AllEqual constraint using 1 generic x=y constraints 0.68/0.71 c AllEqual constraint using 1 generic x=y constraints 0.68/0.71 c AllEqual constraint using 1 generic x=y constraints 0.68/0.71 c AllEqual constraint using 1 generic x=y constraints 0.68/0.71 c AllEqual constraint using 1 generic x=y constraints 0.68/0.71 c AllEqual constraint using 1 generic x=y constraints 0.68/0.71 c AllEqual constraint using 1 generic x=y constraints 0.68/0.71 c AllEqual constraint using 1 generic x=y constraints 0.68/0.71 c AllEqual constraint using 1 generic x=y constraints 0.68/0.72 c intension -> extension : same as previous 0.68/0.72 c intension -> extension : same as previous 0.68/0.72 c intension -> extension : same as previous 0.68/0.72 c intension -> extension : same as previous 0.68/0.72 c intension -> extension : same as previous 0.68/0.72 c intension ne(dist(f[329],f[88]),53) -> extension (support ? 0) - 0tuples 0.68/0.73 c intension ne(dist(f[203],f[206]),322) -> extension (support ? 0) - 0tuples 0.68/0.74 c intension ne(dist(f[250],f[72]),66) -> extension (support ? 0) - 0tuples 0.68/0.75 c intension ne(dist(f[214],f[76]),147) -> extension (support ? 0) - 0tuples 0.68/0.76 c intension ne(dist(f[222],f[330]),73) -> extension (support ? 0) - 0tuples 0.68/0.76 c intension ne(dist(f[259],f[91]),37) -> extension (support ? 0) - 0tuples 0.68/0.76 c intension ne(dist(f[343],f[80]),141) -> extension (support ? 0) - 0tuples 0.68/0.77 c intension ne(dist(f[222],f[289]),265) -> extension (support ? 0) - 0tuples 0.68/0.78 c intension ne(dist(f[374],f[413]),92) -> extension (support ? 0) - 117tuples 0.68/0.78 c intension ne(dist(f[419],f[59]),15) -> extension (support ? 0) - 0tuples 0.68/0.79 c intension ne(dist(f[1],f[400]),9) -> extension (support ? 0) - 0tuples 0.79/0.88 c intension eq(dist(f[1],f[49]),d[11]) -> extension (support ? 1) - 1575tuples 0.89/0.95 c intension eq(dist(f[108],f[1]),d[13]) -> extension (support ? 1) - 2025tuples 0.89/0.99 c intension eq(dist(f[142],f[1]),d[15]) -> extension (support ? 1) - 1305tuples 1.00/1.04 c intension -> extension : same as previous 1.00/1.04 c intension -> extension : same as previous 1.00/1.04 c intension eq(dist(f[195],f[1]),d[18]) -> extension (support ? 1) - 1305tuples 1.00/1.10 c intension -> extension : same as previous 1.00/1.10 c intension eq(dist(f[1],f[324]),d[20]) -> extension (support ? 1) - 2025tuples 1.10/1.16 c intension eq(dist(f[1],f[402]),d[21]) -> extension (support ? 1) - 1575tuples 1.19/1.21 c intension eq(dist(f[135],f[4]),d[49]) -> extension (support ? 1) - 1521tuples 1.19/1.25 c intension eq(dist(f[172],f[4]),d[50]) -> extension (support ? 1) - 975tuples 1.29/1.30 c intension eq(dist(f[280],f[4]),d[52]) -> extension (support ? 1) - 975tuples 1.29/1.34 c intension eq(dist(f[282],f[4]),d[53]) -> extension (support ? 1) - 1521tuples 1.39/1.40 c intension eq(dist(f[392],f[4]),d[57]) -> extension (support ? 1) - 1131tuples 1.39/1.46 c intension eq(dist(f[5],f[64]),d[61]) -> extension (support ? 1) - 1365tuples 1.49/1.51 c intension eq(dist(f[5],f[80]),d[63]) -> extension (support ? 1) - 1131tuples 1.49/1.57 c intension eq(dist(f[264],f[5]),d[69]) -> extension (support ? 1) - 1131tuples 1.59/1.62 c intension eq(dist(f[353],f[5]),d[70]) -> extension (support ? 1) - 1131tuples 1.59/1.65 c intension eq(dist(f[10],f[119]),d[112]) -> extension (support ? 1) - 841tuples 1.69/1.70 c intension -> extension : same as previous 1.69/1.70 c intension eq(dist(f[10],f[199]),d[114]) -> extension (support ? 1) - 1131tuples 1.69/1.75 c intension -> extension : same as previous 1.69/1.75 c intension eq(dist(f[10],f[225]),d[116]) -> extension (support ? 1) - 1305tuples 1.69/1.77 c intension eq(dist(f[10],f[308]),d[117]) -> extension (support ? 1) - 1015tuples 1.79/1.82 c intension eq(dist(f[11],f[20]),d[120]) -> extension (support ? 1) - 1521tuples 1.79/1.86 c intension eq(dist(f[11],f[34]),d[121]) -> extension (support ? 1) - 975tuples 1.89/1.90 c intension eq(dist(f[11],f[199]),d[127]) -> extension (support ? 1) - 1521tuples 1.89/1.94 c intension eq(dist(f[11],f[323]),d[129]) -> extension (support ? 1) - 975tuples 1.89/2.00 c intension eq(dist(f[11],f[370]),d[130]) -> extension (support ? 1) - 1131tuples 2.00/2.05 c intension eq(dist(f[11],f[392]),d[132]) -> extension (support ? 1) - 1131tuples 2.00/2.07 c intension eq(dist(f[111],f[12]),d[134]) -> extension (support ? 1) - 841tuples 2.00/2.09 c intension eq(dist(f[12],f[198]),d[137]) -> extension (support ? 1) - 841tuples 2.10/2.11 c intension eq(dist(f[12],f[280]),d[140]) -> extension (support ? 1) - 725tuples 2.10/2.14 c intension eq(dist(f[12],f[397]),d[145]) -> extension (support ? 1) - 1015tuples 3.00/3.07 c intension eq(dist(f[18],f[81]),d[203]) -> extension (support ? 1) - 1015tuples 3.00/3.07 c intension eq(dist(f[108],f[18]),d[204]) -> extension (support ? 1) - 1305tuples 3.00/3.07 c intension eq(dist(f[18],f[233]),d[207]) -> extension (support ? 1) - 841tuples 3.00/3.07 c intension eq(dist(f[18],f[307]),d[208]) -> extension (support ? 1) - 841tuples 3.00/3.07 c intension eq(dist(f[18],f[390]),d[210]) -> extension (support ? 1) - 841tuples 3.00/3.07 c intension eq(dist(f[18],f[407]),d[211]) -> extension (support ? 1) - 1479tuples 3.00/3.07 c intension eq(dist(f[20],f[48]),d[224]) -> extension (support ? 1) - 1521tuples 3.00/3.07 c intension eq(dist(f[165],f[20]),d[228]) -> extension (support ? 1) - 1131tuples 3.00/3.07 c intension eq(dist(f[168],f[20]),d[229]) -> extension (support ? 1) - 1521tuples 3.00/3.07 c intension eq(dist(f[20],f[361]),d[232]) -> extension (support ? 1) - 1131tuples 3.00/3.07 c intension eq(dist(f[20],f[364]),d[233]) -> extension (support ? 1) - 1131tuples 3.00/3.07 c intension eq(dist(f[20],f[395]),d[235]) -> extension (support ? 1) - 1521tuples 3.00/3.07 c intension eq(dist(f[22],f[36]),d[243]) -> extension (support ? 1) - 1225tuples 3.00/3.07 c intension eq(dist(f[127],f[22]),d[245]) -> extension (support ? 1) - 1225tuples 3.00/3.07 c intension eq(dist(f[224],f[22]),d[251]) -> extension (support ? 1) - 1015tuples 3.00/3.07 c intension eq(dist(f[22],f[231]),d[252]) -> extension (support ? 1) - 1575tuples 3.00/3.07 c intension eq(dist(f[22],f[314]),d[254]) -> extension (support ? 1) - 1225tuples 3.00/3.07 c intension eq(dist(f[23],f[51]),d[256]) -> extension (support ? 1) - 1479tuples 3.00/3.07 c intension eq(dist(f[134],f[23]),d[257]) -> extension (support ? 1) - 725tuples 3.00/3.07 c intension eq(dist(f[195],f[23]),d[258]) -> extension (support ? 1) - 841tuples 3.00/3.07 c intension eq(dist(f[23],f[387]),d[262]) -> extension (support ? 1) - 841tuples 3.00/3.07 c intension eq(dist(f[23],f[395]),d[263]) -> extension (support ? 1) - 1131tuples 3.00/3.07 c intension eq(dist(f[23],f[404]),d[264]) -> extension (support ? 1) - 841tuples 3.00/3.09 c intension eq(dist(f[30],f[81]),d[335]) -> extension (support ? 1) - 1225tuples 3.10/3.11 c intension eq(dist(f[30],f[387]),d[337]) -> extension (support ? 1) - 1015tuples 3.10/3.17 c intension eq(dist(f[147],f[32]),d[352]) -> extension (support ? 1) - 1479tuples 3.10/3.19 c intension eq(dist(f[224],f[32]),d[355]) -> extension (support ? 1) - 841tuples 3.19/3.24 c intension eq(dist(f[32],f[363]),d[356]) -> extension (support ? 1) - 1131tuples 3.19/3.26 c intension eq(dist(f[32],f[401]),d[357]) -> extension (support ? 1) - 841tuples 3.29/3.31 c intension eq(dist(f[32],f[408]),d[358]) -> extension (support ? 1) - 1131tuples 3.29/3.34 c intension eq(dist(f[33],f[64]),d[359]) -> extension (support ? 1) - 1015tuples 3.29/3.37 c intension eq(dist(f[224],f[33]),d[360]) -> extension (support ? 1) - 841tuples 3.39/3.40 c intension eq(dist(f[33],f[364]),d[364]) -> extension (support ? 1) - 841tuples 3.39/3.41 c intension -> extension : same as previous 3.39/3.41 c intension eq(dist(f[166],f[34]),d[367]) -> extension (support ? 1) - 625tuples 3.39/3.46 c intension eq(dist(f[263],f[34]),d[369]) -> extension (support ? 1) - 1575tuples 3.39/3.47 c intension eq(dist(f[280],f[34]),d[371]) -> extension (support ? 1) - 625tuples 3.49/3.50 c intension eq(dist(f[308],f[34]),d[372]) -> extension (support ? 1) - 875tuples 3.49/3.54 c intension eq(dist(f[36],f[77]),d[384]) -> extension (support ? 1) - 1225tuples 3.59/3.60 c intension eq(dist(f[36],f[82]),d[385]) -> extension (support ? 1) - 1575tuples 3.59/3.63 c intension eq(dist(f[36],f[397]),d[389]) -> extension (support ? 1) - 1225tuples 3.59/3.68 c intension eq(dist(f[38],f[51]),d[403]) -> extension (support ? 1) - 1479tuples 3.69/3.72 c intension eq(dist(f[164],f[38]),d[405]) -> extension (support ? 1) - 841tuples 3.69/3.73 c intension eq(dist(f[258],f[38]),d[407]) -> extension (support ? 1) - 841tuples 3.69/3.77 c intension eq(dist(f[291],f[38]),d[410]) -> extension (support ? 1) - 841tuples 3.69/3.78 c intension eq(dist(f[38],f[390]),d[413]) -> extension (support ? 1) - 841tuples 3.79/3.84 c intension -> extension : same as previous 3.79/3.84 c intension eq(dist(f[42],f[44]),d[451]) -> extension (support ? 1) - 1305tuples 3.89/3.90 c intension eq(dist(f[42],f[82]),d[452]) -> extension (support ? 1) - 2025tuples 3.89/3.94 c intension eq(dist(f[280],f[42]),d[456]) -> extension (support ? 1) - 1125tuples 3.89/4.00 c intension eq(dist(f[310],f[42]),d[457]) -> extension (support ? 1) - 2025tuples 4.00/4.06 c intension -> extension : same as previous 4.00/4.06 c intension eq(dist(f[291],f[43]),d[461]) -> extension (support ? 1) - 1131tuples 4.00/4.08 c intension eq(dist(f[131],f[44]),d[466]) -> extension (support ? 1) - 841tuples 4.10/4.11 c intension eq(dist(f[136],f[44]),d[467]) -> extension (support ? 1) - 841tuples 4.10/4.16 c intension eq(dist(f[168],f[44]),d[468]) -> extension (support ? 1) - 1131tuples 4.10/4.18 c intension eq(dist(f[355],f[44]),d[474]) -> extension (support ? 1) - 841tuples 4.19/4.24 c intension eq(dist(f[195],f[48]),d[497]) -> extension (support ? 1) - 1131tuples 4.19/4.28 c intension eq(dist(f[282],f[48]),d[499]) -> extension (support ? 1) - 1521tuples 4.29/4.31 c intension eq(dist(f[49],f[64]),d[500]) -> extension (support ? 1) - 1225tuples 4.29/4.34 c intension eq(dist(f[49],f[92]),d[501]) -> extension (support ? 1) - 875tuples 4.39/4.41 c intension eq(dist(f[135],f[49]),d[503]) -> extension (support ? 1) - 1365tuples 4.39/4.44 c intension eq(dist(f[205],f[49]),d[505]) -> extension (support ? 1) - 1015tuples 4.39/4.47 c intension eq(dist(f[398],f[49]),d[509]) -> extension (support ? 1) - 1225tuples 4.49/4.53 c intension eq(dist(f[164],f[51]),d[524]) -> extension (support ? 1) - 1479tuples 4.49/4.58 c intension eq(dist(f[258],f[51]),d[525]) -> extension (support ? 1) - 1479tuples 4.59/4.64 c intension eq(dist(f[291],f[51]),d[526]) -> extension (support ? 1) - 1479tuples 4.59/4.69 c intension eq(dist(f[387],f[51]),d[528]) -> extension (support ? 1) - 1479tuples 4.69/4.75 c intension eq(dist(f[54],f[60]),d[555]) -> extension (support ? 1) - 1479tuples 4.79/4.82 c intension eq(dist(f[199],f[63]),d[630]) -> extension (support ? 1) - 975tuples 4.79/4.84 c intension eq(dist(f[238],f[63]),d[633]) -> extension (support ? 1) - 725tuples 4.89/4.90 c intension eq(dist(f[135],f[64]),d[637]) -> extension (support ? 1) - 1365tuples 4.89/4.94 c intension eq(dist(f[274],f[64]),d[639]) -> extension (support ? 1) - 1225tuples 5.00/5.01 c intension eq(dist(f[67],f[85]),d[657]) -> extension (support ? 1) - 1827tuples 5.00/5.08 c intension eq(dist(f[238],f[67]),d[663]) -> extension (support ? 1) - 1827tuples 5.00/5.09 c intension eq(dist(f[68],f[83]),d[669]) -> extension (support ? 1) - 841tuples 5.10/5.15 c intension eq(dist(f[147],f[68]),d[671]) -> extension (support ? 1) - 1479tuples 5.10/5.17 c intension eq(dist(f[198],f[68]),d[672]) -> extension (support ? 1) - 841tuples 5.19/5.20 c intension eq(dist(f[267],f[68]),d[675]) -> extension (support ? 1) - 841tuples 5.19/5.24 c intension eq(dist(f[351],f[68]),d[678]) -> extension (support ? 1) - 1305tuples 5.29/5.32 c intension eq(dist(f[76],f[85]),d[753]) -> extension (support ? 1) - 1479tuples 5.29/5.38 c intension eq(dist(f[291],f[76]),d[756]) -> extension (support ? 1) - 1479tuples 5.39/5.43 c intension eq(dist(f[370],f[76]),d[758]) -> extension (support ? 1) - 1479tuples 5.39/5.45 c intension -> extension : same as previous 5.39/5.45 c intension eq(dist(f[77],f[83]),d[761]) -> extension (support ? 1) - 1015tuples 5.39/5.49 c intension -> extension : same as previous 5.39/5.49 c intension eq(dist(f[314],f[77]),d[763]) -> extension (support ? 1) - 1225tuples 5.49/5.54 c intension eq(dist(f[216],f[79]),d[780]) -> extension (support ? 1) - 1479tuples 5.59/5.60 c intension eq(dist(f[355],f[79]),d[784]) -> extension (support ? 1) - 1479tuples 5.59/5.65 c intension eq(dist(f[387],f[79]),d[787]) -> extension (support ? 1) - 1479tuples 5.69/5.71 c intension eq(dist(f[147],f[80]),d[791]) -> extension (support ? 1) - 1479tuples 5.69/5.73 c intension eq(dist(f[216],f[80]),d[795]) -> extension (support ? 1) - 841tuples 5.69/5.77 c intension eq(dist(f[324],f[80]),d[796]) -> extension (support ? 1) - 1305tuples 5.79/5.80 c intension eq(dist(f[162],f[81]),d[798]) -> extension (support ? 1) - 1225tuples 5.79/5.83 c intension eq(dist(f[233],f[81]),d[802]) -> extension (support ? 1) - 1015tuples 5.79/5.87 c intension -> extension : same as previous 5.79/5.87 c intension eq(dist(f[262],f[81]),d[804]) -> extension (support ? 1) - 1015tuples 5.89/5.91 c intension eq(dist(f[172],f[82]),d[808]) -> extension (support ? 1) - 1125tuples 5.89/5.95 c intension eq(dist(f[198],f[82]),d[809]) -> extension (support ? 1) - 1305tuples 5.89/6.00 c intension eq(dist(f[262],f[82]),d[810]) -> extension (support ? 1) - 1305tuples 6.00/6.06 c intension -> extension : same as previous 6.00/6.06 c intension eq(dist(f[360],f[82]),d[812]) -> extension (support ? 1) - 1575tuples 6.00/6.08 c intension eq(dist(f[233],f[83]),d[818]) -> extension (support ? 1) - 841tuples 6.09/6.11 c intension eq(dist(f[307],f[83]),d[821]) -> extension (support ? 1) - 841tuples 6.09/6.15 c intension eq(dist(f[310],f[83]),d[822]) -> extension (support ? 1) - 1305tuples 6.19/6.20 c intension eq(dist(f[395],f[83]),d[823]) -> extension (support ? 1) - 1131tuples 6.19/6.23 c intension eq(dist(f[397],f[83]),d[824]) -> extension (support ? 1) - 1015tuples 6.19/6.25 c intension eq(dist(f[364],f[85]),d[835]) -> extension (support ? 1) - 841tuples 6.29/6.31 c intension -> extension : same as previous 6.29/6.31 c intension eq(dist(f[244],f[87]),d[850]) -> extension (support ? 1) - 1479tuples 6.29/6.36 c intension eq(dist(f[303],f[87]),d[851]) -> extension (support ? 1) - 1479tuples 6.39/6.42 c intension eq(dist(f[401],f[87]),d[854]) -> extension (support ? 1) - 1479tuples 6.39/6.47 c intension eq(dist(f[199],f[91]),d[887]) -> extension (support ? 1) - 1521tuples 6.48/6.51 c intension eq(dist(f[210],f[91]),d[888]) -> extension (support ? 1) - 975tuples 6.48/6.57 c intension eq(dist(f[234],f[91]),d[889]) -> extension (support ? 1) - 1131tuples 6.59/6.62 c intension eq(dist(f[326],f[91]),d[894]) -> extension (support ? 1) - 1131tuples 6.59/6.66 c intension eq(dist(f[395],f[91]),d[895]) -> extension (support ? 1) - 1521tuples 6.59/6.68 c intension eq(dist(f[164],f[92]),d[897]) -> extension (support ? 1) - 725tuples 6.69/6.70 c intension eq(dist(f[244],f[92]),d[899]) -> extension (support ? 1) - 725tuples 6.69/6.79 c intension eq(dist(f[102],f[219]),d[981]) -> extension (support ? 1) - 1575tuples 6.79/6.82 c intension eq(dist(f[102],f[360]),d[983]) -> extension (support ? 1) - 1225tuples 6.79/6.87 c intension -> extension : same as previous 6.79/6.87 c intension eq(dist(f[104],f[106]),d[997]) -> extension (support ? 1) - 1305tuples 6.89/6.93 c intension eq(dist(f[104],f[108]),d[998]) -> extension (support ? 1) - 2025tuples 6.89/6.96 c intension eq(dist(f[104],f[163]),d[999]) -> extension (support ? 1) - 1125tuples 7.00/7.03 c intension eq(dist(f[104],f[286]),d[1000]) -> extension (support ? 1) - 2025tuples 7.00/7.08 c intension eq(dist(f[106],f[312]),d[1013]) -> extension (support ? 1) - 1479tuples 7.10/7.13 c intension eq(dist(f[106],f[351]),d[1014]) -> extension (support ? 1) - 1305tuples 7.10/7.16 c intension eq(dist(f[106],f[404]),d[1017]) -> extension (support ? 1) - 841tuples 7.19/7.21 c intension eq(dist(f[106],f[408]),d[1018]) -> extension (support ? 1) - 1131tuples 7.19/7.26 c intension eq(dist(f[108],f[224]),d[1024]) -> extension (support ? 1) - 1305tuples 7.29/7.32 c intension eq(dist(f[108],f[398]),d[1027]) -> extension (support ? 1) - 1575tuples 7.29/7.37 c intension eq(dist(f[110],f[262]),d[1042]) -> extension (support ? 1) - 1305tuples 7.39/7.43 c intension eq(dist(f[110],f[351]),d[1045]) -> extension (support ? 1) - 2025tuples 7.39/7.48 c intension eq(dist(f[110],f[364]),d[1046]) -> extension (support ? 1) - 1305tuples 7.49/7.50 c intension eq(dist(f[111],f[167]),d[1049]) -> extension (support ? 1) - 1015tuples 7.49/7.53 c intension eq(dist(f[111],f[195]),d[1050]) -> extension (support ? 1) - 841tuples 7.49/7.57 c intension -> extension : same as previous 7.49/7.57 c intension eq(dist(f[111],f[262]),d[1053]) -> extension (support ? 1) - 841tuples 7.49/7.59 c intension -> extension : same as previous 7.49/7.59 c intension eq(dist(f[114],f[131]),d[1079]) -> extension (support ? 1) - 841tuples 7.59/7.61 c intension eq(dist(f[114],f[210]),d[1082]) -> extension (support ? 1) - 725tuples 7.59/7.65 c intension eq(dist(f[114],f[247]),d[1083]) -> extension (support ? 1) - 1305tuples 7.69/7.70 c intension eq(dist(f[114],f[315]),d[1086]) -> extension (support ? 1) - 1305tuples 7.69/7.72 c intension eq(dist(f[114],f[326]),d[1087]) -> extension (support ? 1) - 841tuples 7.69/7.77 c intension eq(dist(f[114],f[418]),d[1088]) -> extension (support ? 1) - 1479tuples 7.79/7.83 c intension eq(dist(f[116],f[355]),d[1098]) -> extension (support ? 1) - 1131tuples 7.79/7.89 c intension eq(dist(f[119],f[204]),d[1120]) -> extension (support ? 1) - 1131tuples 7.88/7.93 c intension eq(dist(f[119],f[310]),d[1121]) -> extension (support ? 1) - 1305tuples 7.88/7.95 c intension eq(dist(f[119],f[311]),d[1122]) -> extension (support ? 1) - 841tuples 8.00/8.01 c intension eq(dist(f[120],f[210]),d[1127]) -> extension (support ? 1) - 1175tuples 8.00/8.05 c intension eq(dist(f[127],f[142]),d[1183]) -> extension (support ? 1) - 1015tuples 8.10/8.11 c intension eq(dist(f[131],f[231]),d[1209]) -> extension (support ? 1) - 1305tuples 8.10/8.12 c intension eq(dist(f[134],f[166]),d[1225]) -> extension (support ? 1) - 625tuples 8.10/8.14 c intension -> extension : same as previous 8.10/8.14 c intension eq(dist(f[134],f[210]),d[1228]) -> extension (support ? 1) - 625tuples 8.10/8.18 c intension eq(dist(f[134],f[388]),d[1231]) -> extension (support ? 1) - 1275tuples 8.19/8.22 c intension eq(dist(f[135],f[179]),d[1232]) -> extension (support ? 1) - 1521tuples 8.19/8.27 c intension eq(dist(f[135],f[262]),d[1234]) -> extension (support ? 1) - 1131tuples 8.29/8.34 c intension eq(dist(f[135],f[274]),d[1235]) -> extension (support ? 1) - 1365tuples 8.29/8.39 c intension eq(dist(f[135],f[323]),d[1236]) -> extension (support ? 1) - 975tuples 8.39/8.44 c intension eq(dist(f[135],f[326]),d[1237]) -> extension (support ? 1) - 1131tuples 8.39/8.48 c intension eq(dist(f[136],f[219]),d[1241]) -> extension (support ? 1) - 1305tuples 8.49/8.51 c intension eq(dist(f[136],f[308]),d[1243]) -> extension (support ? 1) - 1015tuples 8.49/8.54 c intension eq(dist(f[136],f[410]),d[1244]) -> extension (support ? 1) - 841tuples 8.49/8.56 c intension eq(dist(f[137],f[258]),d[1246]) -> extension (support ? 1) - 841tuples 8.49/8.59 c intension -> extension : same as previous 8.49/8.59 c intension eq(dist(f[137],f[307]),d[1248]) -> extension (support ? 1) - 841tuples 8.59/8.61 c intension eq(dist(f[137],f[397]),d[1250]) -> extension (support ? 1) - 1015tuples 8.59/8.66 c intension eq(dist(f[142],f[216]),d[1287]) -> extension (support ? 1) - 841tuples 8.69/8.71 c intension eq(dist(f[142],f[388]),d[1290]) -> extension (support ? 1) - 1479tuples 8.69/8.74 c intension eq(dist(f[142],f[402]),d[1291]) -> extension (support ? 1) - 1015tuples 8.69/8.79 c intension eq(dist(f[143],f[307]),d[1294]) -> extension (support ? 1) - 1131tuples 8.79/8.84 c intension eq(dist(f[143],f[370]),d[1295]) -> extension (support ? 1) - 1131tuples 8.89/8.91 c intension eq(dist(f[143],f[398]),d[1296]) -> extension (support ? 1) - 1365tuples 8.89/8.97 c intension eq(dist(f[147],f[192]),d[1326]) -> extension (support ? 1) - 1479tuples 9.00/9.03 c intension eq(dist(f[147],f[355]),d[1329]) -> extension (support ? 1) - 1479tuples 9.00/9.08 c intension eq(dist(f[147],f[404]),d[1330]) -> extension (support ? 1) - 1479tuples 9.00/9.10 c intension eq(dist(f[148],f[166]),d[1331]) -> extension (support ? 1) - 725tuples 9.10/9.13 c intension eq(dist(f[148],f[291]),d[1332]) -> extension (support ? 1) - 841tuples 9.10/9.19 c intension eq(dist(f[148],f[408]),d[1333]) -> extension (support ? 1) - 1131tuples 9.19/9.21 c intension eq(dist(f[152],f[166]),d[1353]) -> extension (support ? 1) - 725tuples 9.19/9.25 c intension eq(dist(f[152],f[195]),d[1354]) -> extension (support ? 1) - 841tuples 9.19/9.26 c intension eq(dist(f[152],f[244]),d[1355]) -> extension (support ? 1) - 841tuples 9.19/9.29 c intension eq(dist(f[152],f[280]),d[1356]) -> extension (support ? 1) - 725tuples 9.29/9.33 c intension eq(dist(f[152],f[315]),d[1357]) -> extension (support ? 1) - 1305tuples 9.29/9.36 c intension eq(dist(f[152],f[355]),d[1359]) -> extension (support ? 1) - 841tuples 9.39/9.44 c intension eq(dist(f[162],f[391]),d[1427]) -> extension (support ? 1) - 1575tuples 9.39/9.49 c intension eq(dist(f[164],f[259]),d[1428]) -> extension (support ? 1) - 1305tuples 9.49/9.55 c intension -> extension : same as previous 9.49/9.55 c intension eq(dist(f[166],f[352]),d[1435]) -> extension (support ? 1) - 1175tuples 9.49/9.60 c intension eq(dist(f[166],f[363]),d[1436]) -> extension (support ? 1) - 975tuples 9.59/9.62 c intension eq(dist(f[166],f[390]),d[1437]) -> extension (support ? 1) - 725tuples 9.59/9.68 c intension eq(dist(f[167],f[179]),d[1440]) -> extension (support ? 1) - 1365tuples 9.68/9.75 c intension eq(dist(f[167],f[282]),d[1443]) -> extension (support ? 1) - 1365tuples 9.79/9.81 c intension eq(dist(f[168],f[234]),d[1446]) -> extension (support ? 1) - 1131tuples 9.79/9.82 c intension eq(dist(f[172],f[280]),d[1471]) -> extension (support ? 1) - 625tuples 9.79/9.84 c intension eq(dist(f[172],f[326]),d[1473]) -> extension (support ? 1) - 725tuples 9.79/9.86 c intension eq(dist(f[172],f[355]),d[1475]) -> extension (support ? 1) - 725tuples 9.89/9.92 c intension eq(dist(f[176],f[418]),d[1502]) -> extension (support ? 1) - 1479tuples 9.89/9.98 c intension eq(dist(f[177],f[267]),d[1507]) -> extension (support ? 1) - 1479tuples 10.00/10.02 c intension eq(dist(f[179],f[199]),d[1520]) -> extension (support ? 1) - 1521tuples 10.00/10.08 c intension -> extension : same as previous 10.00/10.08 c intension eq(dist(f[179],f[258]),d[1522]) -> extension (support ? 1) - 1131tuples 10.10/10.11 c intension eq(dist(f[180],f[244]),d[1526]) -> extension (support ? 1) - 841tuples 10.10/10.13 c intension eq(dist(f[180],f[303]),d[1528]) -> extension (support ? 1) - 841tuples 10.10/10.19 c intension eq(dist(f[182],f[267]),d[1536]) -> extension (support ? 1) - 1479tuples 10.19/10.23 c intension eq(dist(f[192],f[313]),d[1592]) -> extension (support ? 1) - 841tuples 10.19/10.26 c intension eq(dist(f[195],f[216]),d[1608]) -> extension (support ? 1) - 841tuples 10.19/10.27 c intension eq(dist(f[195],f[262]),d[1610]) -> extension (support ? 1) - 841tuples 10.29/10.30 c intension eq(dist(f[195],f[265]),d[1611]) -> extension (support ? 1) - 841tuples 10.29/10.32 c intension eq(dist(f[195],f[281]),d[1612]) -> extension (support ? 1) - 841tuples 10.29/10.34 c intension eq(dist(f[195],f[364]),d[1614]) -> extension (support ? 1) - 841tuples 10.29/10.37 c intension eq(dist(f[198],f[274]),d[1631]) -> extension (support ? 1) - 1015tuples 10.38/10.40 c intension eq(dist(f[198],f[355]),d[1632]) -> extension (support ? 1) - 841tuples 10.38/10.43 c intension eq(dist(f[198],f[400]),d[1634]) -> extension (support ? 1) - 1015tuples 10.38/10.44 c intension eq(dist(f[198],f[404]),d[1635]) -> extension (support ? 1) - 841tuples 10.49/10.50 c intension eq(dist(f[199],f[224]),d[1636]) -> extension (support ? 1) - 1131tuples 10.49/10.56 c intension eq(dist(f[204],f[264]),d[1663]) -> extension (support ? 1) - 1131tuples 10.59/10.61 c intension eq(dist(f[210],f[263]),d[1694]) -> extension (support ? 1) - 1575tuples 10.59/10.63 c intension eq(dist(f[210],f[293]),d[1696]) -> extension (support ? 1) - 725tuples 10.59/10.67 c intension eq(dist(f[216],f[264]),d[1723]) -> extension (support ? 1) - 841tuples 10.59/10.69 c intension eq(dist(f[216],f[293]),d[1724]) -> extension (support ? 1) - 841tuples 10.69/10.74 c intension -> extension : same as previous 10.69/10.74 c intension eq(dist(f[219],f[293]),d[1742]) -> extension (support ? 1) - 1305tuples 10.69/10.79 c intension eq(dist(f[224],f[310]),d[1773]) -> extension (support ? 1) - 1305tuples 10.79/10.81 c intension eq(dist(f[224],f[355]),d[1775]) -> extension (support ? 1) - 841tuples 10.79/10.87 c intension eq(dist(f[224],f[408]),d[1776]) -> extension (support ? 1) - 1131tuples 10.89/10.91 c intension eq(dist(f[225],f[311]),d[1778]) -> extension (support ? 1) - 1305tuples 10.89/10.94 c intension eq(dist(f[233],f[234]),d[1810]) -> extension (support ? 1) - 841tuples 10.89/10.97 c intension eq(dist(f[233],f[238]),d[1811]) -> extension (support ? 1) - 841tuples 10.89/10.99 c intension eq(dist(f[233],f[269]),d[1812]) -> extension (support ? 1) - 1015tuples 10.99/11.02 c intension eq(dist(f[234],f[291]),d[1816]) -> extension (support ? 1) - 841tuples 10.99/11.04 c intension eq(dist(f[234],f[311]),d[1817]) -> extension (support ? 1) - 841tuples 10.99/11.07 c intension eq(dist(f[234],f[355]),d[1818]) -> extension (support ? 1) - 841tuples 11.09/11.12 c intension eq(dist(f[238],f[310]),d[1835]) -> extension (support ? 1) - 1305tuples 11.09/11.19 c intension eq(dist(f[241],f[353]),d[1845]) -> extension (support ? 1) - 1827tuples 11.19/11.25 c intension eq(dist(f[243],f[280]),d[1852]) -> extension (support ? 1) - 1175tuples 11.19/11.27 c intension eq(dist(f[244],f[264]),d[1857]) -> extension (support ? 1) - 841tuples 11.29/11.32 c intension eq(dist(f[244],f[282]),d[1858]) -> extension (support ? 1) - 1131tuples 11.29/11.34 c intension eq(dist(f[244],f[370]),d[1859]) -> extension (support ? 1) - 841tuples 11.29/11.38 c intension eq(dist(f[248],f[323]),d[1881]) -> extension (support ? 1) - 1275tuples 11.39/11.43 c intension eq(dist(f[258],f[281]),d[1923]) -> extension (support ? 1) - 841tuples 11.39/11.47 c intension eq(dist(f[258],f[310]),d[1925]) -> extension (support ? 1) - 1305tuples 11.39/11.49 c intension eq(dist(f[258],f[370]),d[1926]) -> extension (support ? 1) - 841tuples 11.49/11.52 c intension eq(dist(f[262],f[311]),d[1941]) -> extension (support ? 1) - 841tuples 11.49/11.55 c intension eq(dist(f[264],f[323]),d[1951]) -> extension (support ? 1) - 725tuples 11.49/11.57 c intension eq(dist(f[264],f[390]),d[1952]) -> extension (support ? 1) - 841tuples 11.49/11.59 c intension eq(dist(f[264],f[397]),d[1953]) -> extension (support ? 1) - 1015tuples 11.58/11.62 c intension eq(dist(f[265],f[326]),d[1958]) -> extension (support ? 1) - 841tuples 11.58/11.66 c intension eq(dist(f[267],f[311]),d[1960]) -> extension (support ? 1) - 841tuples 11.58/11.69 c intension eq(dist(f[269],f[274]),d[1964]) -> extension (support ? 1) - 1225tuples 11.68/11.73 c intension -> extension : same as previous 11.68/11.73 c intension -> extension : same as previous 11.68/11.73 c intension eq(dist(f[280],f[402]),d[2001]) -> extension (support ? 1) - 875tuples 11.68/11.75 c intension eq(dist(f[281],f[303]),d[2002]) -> extension (support ? 1) - 841tuples 11.79/11.80 c intension eq(dist(f[282],f[392]),d[2003]) -> extension (support ? 1) - 1131tuples 11.79/11.87 c intension eq(dist(f[286],f[391]),d[2019]) -> extension (support ? 1) - 2025tuples 11.89/11.90 c intension eq(dist(f[303],f[326]),d[2082]) -> extension (support ? 1) - 841tuples 11.89/11.95 c intension eq(dist(f[303],f[398]),d[2084]) -> extension (support ? 1) - 1015tuples 11.89/11.98 c intension eq(dist(f[307],f[361]),d[2093]) -> extension (support ? 1) - 841tuples 12.00/12.01 c intension -> extension : same as previous 12.00/12.01 c intension eq(dist(f[308],f[398]),d[2097]) -> extension (support ? 1) - 1225tuples 12.00/12.07 c intension eq(dist(f[310],f[324]),d[2101]) -> extension (support ? 1) - 2025tuples 12.10/12.11 c intension eq(dist(f[311],f[401]),d[2107]) -> extension (support ? 1) - 841tuples 12.10/12.16 c intension eq(dist(f[312],f[318]),d[2108]) -> extension (support ? 1) - 1479tuples 12.19/12.21 c intension eq(dist(f[312],f[404]),d[2112]) -> extension (support ? 1) - 1479tuples 12.19/12.23 c intension eq(dist(f[313],f[318]),d[2113]) -> extension (support ? 1) - 841tuples 12.19/12.27 c intension eq(dist(f[313],f[391]),d[2114]) -> extension (support ? 1) - 1305tuples 12.29/12.32 c intension eq(dist(f[315],f[364]),d[2115]) -> extension (support ? 1) - 1305tuples 12.29/12.36 c intension eq(dist(f[318],f[379]),d[2123]) -> extension (support ? 1) - 1305tuples 12.39/12.40 c intension eq(dist(f[318],f[398]),d[2124]) -> extension (support ? 1) - 1015tuples 12.39/12.46 c intension eq(dist(f[318],f[418]),d[2125]) -> extension (support ? 1) - 1479tuples 12.39/12.48 c intension eq(dist(f[323],f[353]),d[2134]) -> extension (support ? 1) - 725tuples 12.49/12.52 c intension eq(dist(f[323],f[408]),d[2135]) -> extension (support ? 1) - 975tuples 12.49/12.55 c intension eq(dist(f[326],f[390]),d[2136]) -> extension (support ? 1) - 841tuples 12.59/12.63 c intension eq(dist(f[351],f[391]),d[2190]) -> extension (support ? 1) - 2025tuples 12.59/12.66 c intension eq(dist(f[353],f[361]),d[2192]) -> extension (support ? 1) - 841tuples 12.59/12.68 c intension eq(dist(f[353],f[364]),d[2193]) -> extension (support ? 1) - 841tuples 12.69/12.71 c intension eq(dist(f[360],f[361]),d[2203]) -> extension (support ? 1) - 1015tuples 12.69/12.74 c intension eq(dist(f[360],f[398]),d[2204]) -> extension (support ? 1) - 1225tuples 12.69/12.75 c intension eq(dist(f[361],f[390]),d[2206]) -> extension (support ? 1) - 841tuples 12.79/12.82 c intension eq(dist(f[363],f[400]),d[2209]) -> extension (support ? 1) - 1365tuples 12.79/12.85 c intension eq(dist(f[387],f[390]),d[2237]) -> extension (support ? 1) - 841tuples 12.79/12.88 c intension eq(dist(f[387],f[392]),d[2238]) -> extension (support ? 1) - 841tuples 12.89/12.93 c intension eq(dist(f[392],f[403]),d[2240]) -> extension (support ? 1) - 1479tuples 694.29/694.34 c enable optimization 694.29/694.34 c ========================================[ Problem Statistics ]=========================================== 694.29/694.34 c | 694.29/694.34 c | Parse time : 62.43 s 694.29/694.34 c | 694.29/694.34 c | Variables: 7590 694.29/694.34 c | Domain Sizes: 1..151 694.29/694.34 c | 694.29/694.34 c | Constraints: 4737 694.29/694.34 c | Arity: 2..4501 -- Binary: 237 -- Ternary: 2249 694.29/694.34 c | 694.29/694.34 c | Types: 694.29/694.34 c | (X != Y): 7 694.29/694.34 c | (X = Y): 9 694.29/694.34 c | Extension: 2791 (nb tuples: 0..7224) -- (shared: 101) 694.29/694.34 c | Intension: 1929 694.29/694.34 c | Sum: 1 694.29/694.34 c | 694.29/694.34 c | Objective: Minimize Sum 694.29/694.34 694.29/694.34 c ========================================================================================================= 694.29/694.34 o 578530015 694.29/694.34 c 1 calls to solver(id=0): best=578530015 lower=0 upper=578530014 705.49/705.54 o 578507515 711.30/711.39 o 578507509 711.30/711.39 c 3 calls to solver(id=0): best=578507509 lower=0 upper=578507508 758.19/758.22 o 578507498 909.51/909.57 o 578507493 909.51/909.57 c 5 calls to solver(id=0): best=578507493 lower=0 upper=578507492 916.31/916.33 o 578507483 929.21/929.23 o 578507479 929.21/929.24 c 7 calls to solver(id=0): best=578507479 lower=0 upper=578507478 961.61/961.64 o 578507469 1000.72/1000.76 o 578507462 1000.72/1000.76 c 9 calls to solver(id=0): best=578507462 lower=0 upper=578507461 1007.92/1007.93 o 578507457 1099.83/1099.83 o 578507452 1099.83/1099.84 c 11 calls to solver(id=0): best=578507452 lower=0 upper=578507451 1261.64/1261.63 o 578507444 1357.75/1357.75 o 578507434 1357.75/1357.76 c 13 calls to solver(id=0): best=578507434 lower=0 upper=578507433 1385.65/1385.69 o 578417394 1683.18/1683.15 o 578394904 1683.18/1683.15 c 15 calls to solver(id=0): best=578394904 lower=0 upper=578394903 1793.88/1793.86 o 578394894 1801.48/1801.46 o 578394884 1801.48/1801.47 c 17 calls to solver(id=0): best=578394884 lower=0 upper=578394883 2520.05/2519.90 2520.05/2519.90 c *** INTERRUPTED *** 2520.05/2519.90 c call to solver : 17 2520.05/2519.90 c 2520.05/2519.90 c restarts : 252 2520.05/2519.90 c conflicts : 109150 (43 /sec) 2520.05/2519.90 c decisions : 1503594 (597 /sec) 2520.05/2519.90 c propagations : 156216939 (62016 /sec) 2520.05/2519.90 c root propagations : 18913 2520.05/2519.90 c filter calls : 16159206 (6415 /sec) 2520.05/2519.90 c useless filter calls : 10380935 (64 %) 2520.05/2519.90 c Memory used : 1137.50 MB 2520.05/2519.90 c Best bound time (wc) : 1801.47 s 2520.05/2519.90 c CPU time : 2518.97 s 2520.05/2519.90 c real time : 2519.9 s 2520.05/2519.90 2520.05/2519.90 c nb Solutions = 17 2520.05/2519.90 s SATISFIABLE 2520.05/2519.90 c Best value found: 578394884 2520.05/2519.90 2520.05/2519.90 2520.05/2519.90 v <instantiation type='solution' cost='578394884'> 2520.05/2519.90 v <list>d[0] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[100] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[101] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[102] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[103] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[104] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[105] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[106] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[107] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[108] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[109] d[10] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[110] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[111] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[112] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[113] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[114] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[115] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[116] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[117] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[118] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[119] d[11] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[120] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[121] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[122] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[123] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[124] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[125] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[126] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[127] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[128] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[129] d[12] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[130] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[131] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[132] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[133] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[134] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[135] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[136] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[137] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[138] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[139] d[13] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[140] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[141] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[142] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[143] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[144] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[145] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[146] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[147] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[148] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[149] d[14] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[150] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[151] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[152] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[153] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[154] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[155] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[156] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[157] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[158] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[159] d[15] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[160] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[161] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[162] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[163] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[164] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[165] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[166] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[167] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[168] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[169] d[16] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[170] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[171] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[172] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[173] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[174] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[175] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[176] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[177] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[178] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[179] d[17] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[180] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[181] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[182] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[183] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[184] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[185] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[186] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[187] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[188] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[189] d[18] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[190] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[191] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[192] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[193] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[194] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[195] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[196] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[197] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[198] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[199] d[19] d[1] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[200] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[201] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[202] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[203] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[2049] d[204] d[2050] d[2051] d[2052] d[2053] d[2054] d[2055] d[2056] d[2057] d[2058] d[2059] d[205] d[2060] d[2061] d[2062] d[2063] d[2064] d[2065] d[2066] d[2067] d[2068] d[2069] d[206] d[2070] d[2071] d[2072] d[2073] d[2074] d[2075] d[2076] d[2077] d[2078] d[2079] d[207] d[2080] d[2081] d[2082] d[2083] d[2084] d[2085] d[2086] d[2087] d[2088] d[2089] d[208] d[2090] d[2091] d[2092] d[2093] d[2094] d[2095] d[2096] d[2097] d[2098] d[2099] d[209] d[20] d[2100] d[2101] d[2102] d[2103] d[2104] d[2105] d[2106] d[2107] d[2108] d[2109] d[210] d[2110] d[2111] d[2112] d[2113] d[2114] d[2115] d[2116] d[2117] d[2118] d[2119] d[211] d[2120] d[2121] d[2122] d[2123] d[2124] d[2125] d[2126] d[2127] d[2128] d[2129] d[212] d[2130] d[2131] d[2132] d[2133] d[2134] d[2135] d[2136] d[2137] d[2138] d[2139] d[213] d[2140] d[2141] d[2142] d[2143] d[2144] d[2145] d[2146] d[2147] d[2148] d[2149] d[214] d[2150] d[2151] d[2152] d[2153] d[2154] d[2155] d[2156] d[2157] d[2158] d[2159] d[215] d[2160] d[2161] d[2162] d[2163] d[2164] d[2165] d[2166] d[2167] d[2168] d[2169] d[216] d[2170] d[2171] d[2172] d[2173] d[2174] d[2175] d[2176] d[2177] d[2178] d[2179] d[217] d[2180] d[2181] d[2182] d[2183] d[2184] d[2185] d[2186] d[2187] d[2188] d[2189] d[218] d[2190] d[2191] d[2192] d[2193] d[2194] d[2195] d[2196] d[2197] d[2198] d[2199] d[219] d[21] d[2200] d[2201] d[2202] d[2203] d[2204] d[2205] d[2206] d[2207] d[2208] d[2209] d[220] d[2210] d[2211] d[2212] d[2213] d[2214] d[2215] d[2216] d[2217] d[2218] d[2219] d[221] d[2220] d[2221] d[2222] d[2223] d[2224] d[2225] d[2226] d[2227] d[2228] d[2229] d[222] d[2230] d[2231] d[2232] d[2233] d[2234] d[2235] d[2236] d[2237] d[2238] d[2239] d[223] d[2240] d[2241] d[2242] d[2243] d[2244] d[2245] d[2246] d[2247] d[2248] d[224] d[225] d[226] d[227] d[228] d[229] d[22] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[23] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[24] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[25] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[26] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[27] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[28] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[29] d[2] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[30] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[31] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[32] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[33] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[34] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[35] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[36] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[37] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[38] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[39] d[3] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[40] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[41] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[42] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[43] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[44] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[45] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[46] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[47] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[48] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[49] d[4] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[50] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[51] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[52] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[53] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[54] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[55] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[56] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[57] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[58] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[59] d[5] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[60] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[61] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[62] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[63] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[64] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[65] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[66] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[67] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[68] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[69] d[6] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[70] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[71] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[72] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[73] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[74] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[75] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[76] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[77] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[78] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[79] d[7] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[80] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[81] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[82] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[83] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[84] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[85] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[86] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[87] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[88] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[89] d[8] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[90] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[91] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[92] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[93] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[94] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[95] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[96] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[97] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[98] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[99] d[9] f[0] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[10] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[11] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[12] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[13] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[14] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[15] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[16] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[17] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[18] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[19] f[1] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[20] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[21] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[22] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[23] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[24] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[25] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[26] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[27] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[28] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[29] f[2] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[30] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[31] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[32] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[33] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[34] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[35] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[36] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[37] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[38] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] f[39] f[3] f[400] f[401] f[402] f[403] f[404] f[405] f[406] f[407] f[408] f[409] f[40] f[410] f[411] f[412] f[413] f[414] f[415] f[416] f[417] f[418] f[419] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[4] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[5] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[6] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[7] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[8] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[9] k p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[15] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[16] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[17] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[18] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[19] p[1] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[20] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[21] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[22] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[23] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[24] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[25] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[26] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[27] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[28] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[29] p[2] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[30] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[31] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[32] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[33] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[34] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[35] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[36] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[37] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[38] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[39] p[3] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[40] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[9] v1[0] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[100] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[101] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[102] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[103] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[104] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[105] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[106] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[107] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[108] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[109] v1[10] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[110] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[111] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[112] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[113] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[114] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[115] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[116] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[117] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[118] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[119] v1[11] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[120] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[121] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[122] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[123] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[124] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[125] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[126] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[127] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[128] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[129] v1[12] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[130] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[131] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[132] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[133] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[134] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[135] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[136] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[137] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[138] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[139] v1[13] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[140] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[141] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[142] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[143] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[144] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[145] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[146] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[147] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[148] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[149] v1[14] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[150] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[151] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[152] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[153] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[154] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[155] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[156] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[157] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[158] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[159] v1[15] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[160] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[161] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[162] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[163] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[164] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[165] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[166] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[167] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[168] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[169] v1[16] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[170] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[171] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[172] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[173] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[174] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[175] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[176] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[177] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[178] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[179] v1[17] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[180] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[181] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[182] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[183] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[184] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[185] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[186] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[187] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[188] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[189] v1[18] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[190] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[191] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[192] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[193] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[194] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[195] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[196] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[197] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[198] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[199] v1[19] v1[1] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[200] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[201] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[202] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[203] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[204] v1[2050] v1[2051] v1[2052] v1[2053] v1[2054] v1[2055] v1[2056] v1[2057] v1[2058] v1[2059] v1[205] v1[2060] v1[2061] v1[2062] v1[2063] v1[2064] v1[2065] v1[2066] v1[2067] v1[2068] v1[2069] v1[206] v1[2070] v1[2071] v1[2072] v1[2073] v1[2074] v1[2075] v1[2076] v1[2077] v1[2078] v1[2079] v1[207] v1[2080] v1[2081] v1[2082] v1[2083] v1[2084] v1[2085] v1[2086] v1[2087] v1[2088] v1[2089] v1[208] v1[2090] v1[2091] v1[2092] v1[2093] v1[2094] v1[2095] v1[2096] v1[2097] v1[2098] v1[2099] v1[209] v1[20] v1[2100] v1[2101] v1[2102] v1[2103] v1[2104] v1[2105] v1[2106] v1[2107] v1[2108] v1[2109] v1[210] v1[2110] v1[2111] v1[2112] v1[2113] v1[2114] v1[2115] v1[2116] v1[2117] v1[2118] v1[2119] v1[211] v1[2120] v1[2121] v1[2122] v1[2123] v1[2124] v1[2125] v1[2126] v1[2127] v1[2128] v1[2129] v1[212] v1[2130] v1[2131] v1[2132] v1[2133] v1[2134] v1[2135] v1[2136] v1[2137] v1[2138] v1[2139] v1[213] v1[2140] v1[2141] v1[2142] v1[2143] v1[2144] v1[2145] v1[2146] v1[2147] v1[2148] v1[2149] v1[214] v1[2150] v1[2151] v1[2152] v1[2153] v1[2154] v1[2155] v1[2156] v1[2157] v1[2158] v1[2159] v1[215] v1[2160] v1[2161] v1[2162] v1[2163] v1[2164] v1[2165] v1[2166] v1[2167] v1[2168] v1[2169] v1[216] v1[2170] v1[2171] v1[2172] v1[2173] v1[2174] v1[2175] v1[2176] v1[2177] v1[2178] v1[2179] v1[217] v1[2180] v1[2181] v1[2182] v1[2183] v1[2184] v1[2185] v1[2186] v1[2187] v1[2188] v1[2189] v1[218] v1[2190] v1[2191] v1[2192] v1[2193] v1[2194] v1[2195] v1[2196] v1[2197] v1[2198] v1[2199] v1[219] v1[21] v1[2200] v1[2201] v1[2202] v1[2203] v1[2204] v1[2205] v1[2206] v1[2207] v1[2208] v1[2209] v1[220] v1[2210] v1[2211] v1[2212] v1[2213] v1[2214] v1[2215] v1[2216] v1[2217] v1[2218] v1[2219] v1[221] v1[2220] v1[2221] v1[2222] v1[2223] v1[2224] v1[2225] v1[2226] v1[2227] v1[2228] v1[2229] v1[222] v1[2230] v1[2231] v1[2232] v1[2233] v1[2234] v1[2235] v1[2236] v1[2237] v1[2238] v1[2239] v1[223] v1[2240] v1[2241] v1[2242] v1[2243] v1[2244] v1[2245] v1[2246] v1[2247] v1[2248] v1[2249] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[22] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[23] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[24] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[25] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[26] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[27] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[28] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[29] v1[2] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[30] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[31] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[32] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[33] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[34] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[35] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[36] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[37] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[38] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[39] v1[3] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[40] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[41] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[42] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[43] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[44] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[45] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[46] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[47] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[48] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[49] v1[4] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[50] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[51] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[52] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[53] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[54] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[55] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[56] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[57] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[58] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[59] v1[5] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[60] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[61] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[62] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[63] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[64] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[65] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[66] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[67] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[68] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[69] v1[6] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[70] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[71] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[72] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[73] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[74] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[75] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[76] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[77] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[78] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[79] v1[7] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[80] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[81] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[82] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[83] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[84] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[85] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[86] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[87] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[88] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[89] v1[8] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[90] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[91] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[92] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[93] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[94] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[95] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[96] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[97] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[98] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[99] v1[9] v2[0] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[100] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[101] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[102] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[103] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[104] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[105] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[106] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[107] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[108] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[109] v2[10] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[110] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[111] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[112] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[113] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[114] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[115] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[116] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[117] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[118] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[119] v2[11] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[120] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[121] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[122] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[123] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[124] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[125] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[126] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[127] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[128] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[129] v2[12] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[130] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[131] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[132] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[133] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[134] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[135] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[136] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[137] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[138] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[139] v2[13] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[140] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[141] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[142] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[143] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[144] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[145] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[146] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[147] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[148] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[149] v2[14] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[150] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[151] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[152] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[153] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[154] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[155] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[156] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[157] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[158] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[159] v2[15] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[160] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[161] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[162] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[163] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[164] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[165] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[166] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[167] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[168] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[169] v2[16] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[170] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[171] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[172] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[173] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[174] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[175] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[176] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[177] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[178] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[179] v2[17] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[180] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[181] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[182] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[183] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[184] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[185] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[186] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[187] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[188] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[189] v2[18] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[190] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[191] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[192] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[193] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[194] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[195] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[196] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[197] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[198] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[199] v2[19] v2[1] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[200] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[201] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[202] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[203] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[204] v2[2050] v2[2051] v2[2052] v2[2053] v2[2054] v2[2055] v2[2056] v2[2057] v2[2058] v2[2059] v2[205] v2[2060] v2[2061] v2[2062] v2[2063] v2[2064] v2[2065] v2[2066] v2[2067] v2[2068] v2[2069] v2[206] v2[2070] v2[2071] v2[2072] v2[2073] v2[2074] v2[2075] v2[2076] v2[2077] v2[2078] v2[2079] v2[207] v2[2080] v2[2081] v2[2082] v2[2083] v2[2084] v2[2085] v2[2086] v2[2087] v2[2088] v2[2089] v2[208] v2[2090] v2[2091] v2[2092] v2[2093] v2[2094] v2[2095] v2[2096] v2[2097] v2[2098] v2[2099] v2[209] v2[20] v2[2100] v2[2101] v2[2102] v2[2103] v2[2104] v2[2105] v2[2106] v2[2107] v2[2108] v2[2109] v2[210] v2[2110] v2[2111] v2[2112] v2[2113] v2[2114] v2[2115] v2[2116] v2[2117] v2[2118] v2[2119] v2[211] v2[2120] v2[2121] v2[2122] v2[2123] v2[2124] v2[2125] v2[2126] v2[2127] v2[2128] v2[2129] v2[212] v2[2130] v2[2131] v2[2132] v2[2133] v2[2134] v2[2135] v2[2136] v2[2137] v2[2138] v2[2139] v2[213] v2[2140] v2[2141] v2[2142] v2[2143] v2[2144] v2[2145] v2[2146] v2[2147] v2[2148] v2[2149] v2[214] v2[2150] v2[2151] v2[2152] v2[2153] v2[2154] v2[2155] v2[2156] v2[2157] v2[2158] v2[2159] v2[215] v2[2160] v2[2161] v2[2162] v2[2163] v2[2164] v2[2165] v2[2166] v2[2167] v2[2168] v2[2169] v2[216] v2[2170] v2[2171] v2[2172] v2[2173] v2[2174] v2[2175] v2[2176] v2[2177] v2[2178] v2[2179] v2[217] v2[2180] v2[2181] v2[2182] v2[2183] v2[2184] v2[2185] v2[2186] v2[2187] v2[2188] v2[2189] v2[218] v2[2190] v2[2191] v2[2192] v2[2193] v2[2194] v2[2195] v2[2196] v2[2197] v2[2198] v2[2199] v2[219] v2[21] v2[2200] v2[2201] v2[2202] v2[2203] v2[2204] v2[2205] v2[2206] v2[2207] v2[2208] v2[2209] v2[220] v2[2210] v2[2211] v2[2212] v2[2213] v2[2214] v2[2215] v2[2216] v2[2217] v2[2218] v2[2219] v2[221] v2[2220] v2[2221] v2[2222] v2[2223] v2[2224] v2[2225] v2[2226] v2[2227] v2[2228] v2[2229] v2[222] v2[2230] v2[2231] v2[2232] v2[2233] v2[2234] v2[2235] v2[2236] v2[2237] v2[2238] v2[2239] v2[223] v2[2240] v2[2241] v2[2242] v2[2243] v2[2244] v2[2245] v2[2246] v2[2247] v2[2248] v2[2249] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[22] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[23] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[24] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[25] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[26] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[27] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[28] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[29] v2[2] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[30] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[31] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[32] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[33] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[34] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[35] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[36] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[37] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[38] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[39] v2[3] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[40] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[41] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[42] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[43] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[44] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[45] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[46] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[47] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[48] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[49] v2[4] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[50] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[51] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[52] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[53] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[54] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[55] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[56] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[57] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[58] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[59] v2[5] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[60] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[61] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[62] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[63] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[64] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[65] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[66] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[67] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[68] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[69] v2[6] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[70] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[71] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[72] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[73] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[74] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[75] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[76] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[77] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[78] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[79] v2[7] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[80] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[81] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[82] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[83] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[84] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[85] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[86] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[87] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[88] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[89] v2[8] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[90] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[91] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[92] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[93] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[94] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[95] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[96] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[97] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[98] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[99] v2[9] </list> 2520.05/2519.90 v <values>40 44 208 396 396 436 436 436 396 436 436 64 372 484 444 28 176 444 176 188 280 24 40 232 172 400 172 52 168 324 16 36 64 40 256 20 256 296 248 256 92 232 296 296 0 256 308 120 308 308 0 192 0 316 96 0 20 76 276 60 72 200 376 0 0 0 0 296 532 0 352 40 0 376 40 0 64 64 0 0 0 468 0 0 64 408 400 52 308 480 396 96 128 440 440 116 56 184 52 328 52 52 52 92 508 216 260 132 216 124 12 208 40 248 80 40 196 80 376 92 360 40 364 40 0 0 0 0 116 0 64 172 16 324 232 96 68 404 404 12 88 332 244 148 0 0 244 0 124 516 20 60 96 44 176 76 260 556 516 280 68 184 556 348 516 28 180 516 504 356 556 132 296 40 296 0 52 232 408 368 28 372 352 336 336 40 328 376 8 324 336 48 48 56 280 24 16 16 16 108 16 56 420 64 40 312 556 0 324 104 352 0 156 80 40 40 104 40 40 0 556 364 68 388 496 0 0 40 40 272 368 0 80 112 132 60 92 92 504 408 356 92 52 76 280 296 356 416 0 12 96 44 428 84 428 284 468 12 40 296 296 220 280 292 92 180 304 204 16 16 40 76 208 32 32 112 260 260 80 288 40 40 456 572 32 168 176 196 0 196 364 172 228 304 112 268 456 388 40 92 196 196 88 100 316 0 0 40 0 296 92 532 352 40 336 0 140 336 120 72 224 220 80 64 164 52 276 216 244 104 0 52 280 232 64 64 64 0 64 64 64 372 332 360 248 40 40 276 488 0 48 388 528 0 52 92 0 344 4 168 424 500 68 392 20 44 296 136 24 116 144 236 232 196 132 276 120 176 28 56 332 284 124 292 332 36 236 152 32 36 92 20 36 52 12 36 28 336 52 284 200 24 40 40 40 40 40 40 40 24 180 132 0 0 24 24 0 40 40 104 0 40 80 40 40 40 0 476 596 0 40 40 224 0 40 40 372 0 40 272 424 352 440 296 0 336 600 288 40 196 56 80 232 268 328 36 24 40 296 40 40 40 40 24 152 72 336 40 0 0 532 456 600 364 16 116 120 336 164 324 0 328 332 320 200 36 236 232 80 100 172 288 140 256 32 196 164 84 112 296 272 156 152 440 152 540 500 232 100 476 72 44 304 516 420 48 420 140 364 156 224 252 136 52 380 0 384 36 40 40 40 24 36 0 40 76 40 368 152 0 388 328 0 412 0 392 192 596 100 296 352 336 296 296 36 300 296 388 92 356 164 200 56 60 356 60 180 100 0 0 336 100 0 16 40 0 296 36 52 0 124 44 428 176 44 168 36 176 492 392 176 152 136 216 256 160 80 200 160 36 296 168 596 276 596 556 556 224 596 400 60 64 24 108 64 480 112 224 316 40 80 36 176 0 0 24 412 0 0 256 0 388 460 428 428 388 56 388 0 336 0 16 0 4 0 172 260 348 228 336 216 0 312 92 364 296 372 104 360 84 84 152 320 28 360 160 16 320 0 24 0 0 28 0 12 108 288 496 40 52 40 348 112 104 0 156 40 40 20 40 40 40 228 120 28 4 168 236 28 28 256 56 92 304 72 0 220 184 280 356 60 208 16 28 16 16 132 128 316 328 516 112 556 204 88 168 516 352 24 0 0 40 396 0 0 0 124 156 156 124 196 132 16 56 24 0 536 40 40 320 0 40 372 296 68 40 296 268 388 164 40 276 40 488 40 40 388 528 0 52 116 168 76 332 0 0 104 56 0 336 16 40 0 600 0 312 424 268 256 308 520 312 400 40 0 0 40 0 0 480 40 12 496 200 36 108 456 0 448 40 228 0 168 348 488 256 256 188 536 268 496 288 200 260 108 324 180 220 224 220 40 444 400 0 296 0 352 40 520 312 60 488 464 436 0 296 16 40 40 0 24 64 64 0 4 64 64 404 136 88 56 240 296 60 308 416 0 288 60 0 12 464 0 236 0 448 80 0 488 40 0 76 228 252 104 172 40 424 28 212 40 48 296 368 600 40 40 296 0 160 20 68 116 348 328 368 96 32 20 92 284 48 276 52 24 508 436 24 24 560 540 216 264 264 152 132 8 148 440 156 296 368 256 40 0 372 388 336 52 296 12 596 284 216 556 464 272 168 60 36 340 52 216 32 216 452 0 116 0 0 64 0 40 488 0 96 0 332 40 0 304 328 136 44 100 44 216 156 40 432 460 312 92 420 308 40 532 256 0 600 0 40 408 520 156 268 400 24 316 4 272 432 176 16 448 0 92 8 348 40 216 12 0 336 456 40 0 412 320 320 208 204 280 280 280 132 252 12 84 296 148 324 376 352 116 116 116 116 156 320 520 304 172 40 104 92 388 148 500 480 192 368 204 32 328 304 116 112 112 8 308 128 32 88 268 336 120 0 176 488 80 24 92 336 296 284 0 352 132 448 448 100 488 436 448 168 0 344 348 488 12 528 60 432 288 100 268 60 24 0 12 0 536 296 388 40 0 352 148 0 64 244 300 60 0 296 40 116 64 172 40 40 532 0 332 0 160 40 72 292 308 176 0 0 0 40 0 40 372 0 40 0 52 308 0 532 456 52 352 40 388 388 360 448 412 68 24 100 16 16 16 156 420 384 572 380 28 340 4 48 404 8 428 408 100 408 40 176 372 0 40 0 256 136 440 40 40 40 324 396 164 0 0 40 436 40 348 40 24 24 0 132 4 428 20 156 296 168 156 488 76 488 460 44 32 144 12 160 112 12 40 108 36 0 48 308 268 260 264 336 104 28 416 44 0 48 160 40 120 136 40 244 56 0 68 40 0 40 80 20 132 0 64 140 388 40 336 348 532 180 24 208 16 460 80 236 0 120 0 116 64 116 52 248 456 104 572 520 600 40 296 528 232 488 40 132 296 372 104 172 64 0 0 40 172 600 388 52 380 0 12 304 96 376 168 40 124 240 0 0 0 40 436 40 20 292 332 288 292 0 0 0 40 0 20 112 348 96 464 64 172 64 24 80 372 532 532 96 96 304 0 64 64 196 40 124 40 456 368 312 8 160 72 164 340 40 328 0 0 12 256 312 0 436 296 296 40 256 268 44 256 40 40 436 112 132 252 76 92 96 272 40 316 296 0 40 476 40 0 152 132 124 72 0 108 44 164 256 104 112 236 312 192 156 376 252 212 252 72 336 24 296 204 244 296 332 336 108 12 120 28 40 68 64 16 152 40 404 188 108 272 108 496 44 0 0 0 488 500 428 0 296 532 456 352 40 0 0 40 40 64 116 0 416 0 0 0 0 268 0 40 404 360 360 400 32 288 32 444 328 48 428 360 8 88 160 12 320 180 248 208 208 448 208 248 280 208 248 208 560 144 436 40 208 40 40 0 0 0 16 64 172 100 124 296 220 352 188 292 272 28 284 28 0 152 52 0 408 0 388 560 0 328 336 336 68 308 308 344 64 404 40 52 324 56 292 16 12 108 296 336 296 164 92 320 40 372 88 144 372 40 116 0 80 0 0 0 40 24 144 336 216 0 40 40 100 192 92 340 0 144 324 256 56 336 260 296 120 296 336 192 144 328 296 336 296 4 300 128 240 44 340 300 144 124 140 300 68 44 0 412 352 40 0 144 456 336 464 440 200 368 204 92 92 92 120 132 132 28 24 92 92 92 92 132 344 152 0 44 0 0 40 40 92 0 352 296 280 0 48 96 364 364 48 32 96 96 192 312 120 280 144 144 108 392 24 116 280 412 144 100 452 196 412 64 412 40 456 456 416 4 408 284 416 516 116 332 40 552 284 376 168 376 376 416 156 376 376 204 184 144 72 116 140 28 88 244 192 324 12 324 324 28 84 176 360 40 328 176 92 8 40 228 0 388 208 268 80 208 204 132 40 128 120 40 0 124 0 16 40 64 40 40 40 40 0 64 116 0 436 556 20 444 296 288 92 100 556 352 428 528 536 368 120 108 244 120 376 36 248 184 48 480 88 508 232 48 88 88 440 208 48 88 88 48 224 0 536 80 488 536 180 240 496 520 0 64 40 40 64 40 116 168 40 0 0 0 40 436 272 272 16 112 328 296 272 260 244 168 520 152 256 100 252 220 208 268 44 0 40 24 296 504 352 40 224 144 112 344 200 300 152 112 288 112 144 372 288 204 128 132 28 388 148 84 220 136 0 192 248 312 176 76 44 120 308 440 120 136 224 204 444 516 308 312 420 268 108 48 164 124 268 244 500 84 204 184 500 244 296 112 208 284 136 0 296 204 160 256 72 12 172 116 92 40 104 132 40 388 0 364 204 416 160 124 560 520 520 560 496 560 560 560 560 88 40 544 560 444 560 496 388 300 152 404 116 180 504 504 192 44 504 104 556 504 232 0 244 596 0 184 196 336 560 456 600 408 348 396 0 252 392 392 56 40 364 352 44 84 516 64 96 352 296 484 80 40 388 596 528 156 308 532 428 4 56 396 28 92 56 28 476 140 40 72 4 32 32 332 224 236 192 532 236 196 236 292 196 236 196 236 196 436 296 0 100 496 56 108 496 160 200 148 200 372 360 32 140 360 320 96 44 260 68 156 40 500 256 20 92 0 132 40 160 184 116 12 16 120 160 4 0 12 368 408 216 20 152 328 56 32 100 276 0 556 568 528 248 40 296 528 568 528 196 528 68 8 144 372 428 288 0 0 416 40 532 0 0 452 28 100 44 144 64 8 144 52 292 144 104 104 104 56 104 144 144 144 128 144 28 12 184 144 0 144 144 184 144 388 144 44 292 44 44 352 36 4 44 488 308 40 92 92 252 236 208 188 136 92 76 292 0 216 56 412 64 392 600 372 412 188 372 16 40 116 40 0 64 40 0 0 0 340 8 236 32 440 308 20 352 40 480 444 40 228 52 268 0 296 0 328 332 360 40 276 40 488 40 48 208 528 352 0 52 40 420 28 308 548 12 12 28 352 360 444 80 360 348 216 212 520 192 4 392 520 520 480 480 480 316 204 52 84 124 84 256 244 64 348 92 40 256 40 40 296 352 224 16 104 24 72 296 268 120 308 156 0 360 184 400 228 360 104 104 92 0 60 388 456 2220 2464 2300 2556 2620 2612 2656 2704 2396 2612 2516 2624 2528 2588 2220 2220 2700 2312 2392 2300 2220 2624 2352 2272 2776 2776 2220 2276 2596 2276 2532 2260 2220 2556 2260 2648 2312 2260 2688 2352 2556 2548 2220 2416 2224 2360 2220 2596 2384 2324 2220 2736 2652 2568 2352 2716 2552 2628 2556 2260 2260 2220 2220 2220 2300 2260 2300 2588 2220 2584 2672 2688 2588 2592 2492 2392 2760 2476 2304 2360 2644 2260 2260 2220 2608 2616 2220 2392 2260 2612 2412 2516 2816 2284 2740 2300 2260 2648 2220 2584 2312 2260 2584 2580 2260 2608 2220 2488 2516 2444 2260 2612 2780 2588 2776 2260 2392 2556 2260 2220 2260 2220 2464 2604 2220 2220 2260 2260 2260 2716 2260 2756 2572 2376 2220 2260 2260 2324 2664 2616 2260 2260 2496 2424 2556 2220 2568 2220 2608 2588 2312 2284 2780 2676 2220 2624 2260 2556 2816 2320 2568 2220 2260 2572 2672 2260 2220 2260 2220 2268 2660 2244 2260 2220 2540 2516 2572 2260 2376 2780 2648 2720 2516 2556 2548 2676 2748 2492 2228 2220 2548 2436 2708 2572 2260 2320 2260 2260 2572 2468 2592 2648 2352 2220 2260 2716 2568 2220 2220 2220 2220 2260 2684 2236 2680 2248 2268 2668 2220 2220 2300 2612 2220 2488 2260 2260 2648 2428 2748 2264 2660 2516 2260 2544 2528 2556 2676 2688 2584 2584 2516 2260 2648 2220 2220 2608 2752 2820 2632 2576 2588 2644 2720 2556 2336 2716 2676 2220 2748 2220 2220 2260 2820 2260 2220 2220 2556 2272 2420 2220 2476 2260 2220 2260 2240 2260 2220 2632 2260 2528 2272 2608 2724 2608 2220 2592 2792 2820 2220 2532 2628 2324 2392 2720 2220 2572 2788 2288 2556 2628 2600 2260 2284 2260 2516 2220 2584 2260 2588 2568 2556 2260 2260 2528 2260 2260 2260 2304 2516 2676 2796 2560 2628 2568 2648 2528 2260 2352 2392 2628 2628 2356 2220 2364 2588 2660 2532 2556 2516 2260 2236 2516 2424 2260 2352 2632 2260 2260 2220 2220 2260 2696 2220 2516 2272 2220 2624 2404 2672 2676 2264 2636 2424 2544 2468 2260 2556 2260 2260 2636 2308 2756 2260 2532 2780 2428 2528 2220 2372 2648 2572 2380 2260 2760 2516 2220 2776 2780 2764 2816 2220 2612 2220 2656 2588 2456 2716 2260 2620 2516 2528 2628 2788 2652 2260 2712 2364 2404 2612 2264 2352 2632 2260 2280 2260 2220 2232 2300 2740 2260 11 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 1 1 0 1 0 1 1 0 0 1 1 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 1 0 1 0 0 1 1 1 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 1 1 1 1 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 1 1 0 0 0 0 1 1 1 0 1 1 0 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 1 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 1 1 0 0 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 10 10 3 10 10 10 0 0 0 0 0 10 10 10 10 10 10 0 0 10 10 0 10 10 0 10 10 0 10 10 0 10 0 0 10 10 10 10 0 10 0 10 10 0 0 10 10 10 10 0 10 10 0 10 0 0 10 0 0 0 0 0 10 0 0 10 0 10 0 10 0 10 0 0 10 10 10 10 8 10 10 10 10 10 0 0 10 0 0 0 0 0 10 10 0 10 10 0 10 0 10 0 0 0 10 10 0 10 10 10 10 10 0 0 0 10 0 0 10 0 0 10 0 0 10 0 0 0 0 10 0 10 0 8 10 0 0 10 0 10 10 0 0 0 0 0 10 10 0 10 0 10 10 0 0 0 10 0 9 0 0 10 10 10 0 10 10 10 0 0 0 0 0 0 10 10 0 0 0 10 10 0 10 0 0 0 10 0 0 0 0 9 0 0 0 0 0 10 10 0 0 0 10 10 0 0 0 0 10 0 10 10 0 10 0 10 0 0 10 10 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 0 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 0 0 0 10 10 0 0 0 0 10 0 0 0 10 10 0 10 10 0 0 0 10 0 10 0 10 10 10 0 10 10 0 0 0 0 10 0 0 0 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 0 0 0 10 10 10 0 10 10 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 10 10 0 10 10 10 0 0 10 0 0 10 0 10 0 10 0 0 10 0 0 10 0 10 0 10 10 10 10 0 0 10 10 10 0 0 10 10 0 10 0 0 10 0 10 0 10 0 0 10 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 10 10 0 10 10 0 0 10 0 0 0 10 10 0 0 0 0 10 0 10 10 0 0 0 10 0 0 10 0 0 0 10 0 0 0 10 0 10 0 10 0 0 10 0 10 10 0 0 10 10 10 10 10 0 0 9 0 0 0 10 0 10 0 0 10 0 0 0 10 0 0 10 0 10 10 0 0 0 10 0 10 10 8 10 0 0 10 0 10 10 0 10 0 0 10 10 0 0 0 10 10 0 0 0 10 10 0 0 0 0 10 10 0 0 0 10 0 10 0 0 10 10 0 0 0 0 10 0 0 0 10 0 0 10 10 0 0 0 10 10 0 0 0 0 10 10 10 0 0 10 10 0 10 0 10 10 0 0 0 10 0 10 0 10 0 0 10 10 10 10 0 10 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 10 10 0 0 10 0 0 0 10 0 0 0 0 10 10 0 10 0 0 0 0 0 0 10 0 0 0 10 10 10 0 10 10 0 0 0 0 0 10 10 10 0 10 0 0 10 0 10 0 10 0 10 10 0 0 10 10 10 0 0 0 10 10 10 0 0 0 0 10 0 0 10 0 10 0 10 0 10 0 0 10 10 10 10 10 10 0 10 0 0 0 10 10 0 0 0 0 0 10 0 10 10 0 0 0 10 0 0 0 0 10 10 10 0 10 0 0 10 10 10 0 0 0 10 0 10 10 10 10 0 0 10 0 10 0 0 10 0 0 10 10 0 10 10 0 10 0 10 0 0 0 0 10 0 10 0 10 0 0 0 10 10 10 10 10 0 10 10 10 0 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 10 10 0 0 10 0 0 10 10 0 10 10 10 0 0 0 9 0 10 0 0 0 0 10 0 0 10 0 10 0 0 10 0 10 10 0 10 0 0 10 10 10 0 10 10 0 0 10 10 0 10 10 0 0 10 10 0 0 0 10 10 0 0 10 0 10 10 10 10 0 0 0 0 10 10 10 0 10 0 0 0 0 10 0 10 10 10 0 0 10 0 10 0 0 0 0 0 10 0 10 10 10 10 0 0 0 0 10 10 0 0 0 0 10 0 0 0 10 0 10 10 10 0 0 10 10 10 0 0 10 10 0 10 0 0 10 10 10 0 10 0 0 10 10 10 10 0 10 0 10 0 0 0 10 0 0 0 10 10 0 10 0 0 0 10 10 10 10 10 0 10 0 10 0 10 10 10 0 10 10 0 0 0 0 10 0 10 10 10 0 10 0 0 0 10 10 0 0 0 0 10 0 0 10 10 0 0 0 10 10 0 10 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 10 10 0 0 10 0 0 0 0 0 10 10 0 0 0 10 0 0 10 10 10 0 0 10 10 0 0 10 0 10 10 10 10 10 0 10 0 0 0 10 10 0 10 10 0 0 0 10 0 10 0 10 0 0 0 10 10 0 10 0 10 0 0 0 0 0 0 0 0 10 0 10 10 10 0 0 0 0 10 0 0 10 0 10 0 10 0 0 10 0 0 10 10 0 10 0 0 10 0 0 10 10 10 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 10 0 10 10 10 0 10 10 0 0 10 10 10 0 0 10 0 10 10 0 10 10 0 10 0 0 0 10 0 0 10 10 0 10 10 0 0 10 0 0 10 0 0 10 0 10 0 0 10 10 10 0 0 0 0 10 10 0 9 10 10 0 0 10 0 10 10 10 0 10 0 0 0 10 10 10 0 0 0 10 10 10 0 10 0 0 0 10 0 10 0 0 0 10 0 10 0 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 10 0 0 10 0 0 10 0 10 10 0 0 0 0 0 0 10 0 10 0 0 10 0 0 10 10 0 10 0 10 10 10 10 10 8 10 10 10 0 0 0 0 10 10 10 0 10 10 0 10 0 0 0 10 10 10 0 10 0 10 10 10 0 0 10 10 10 0 0 10 0 10 10 10 0 10 0 10 0 10 10 0 0 0 10 0 10 0 0 10 0 0 10 10 0 10 0 0 10 0 0 0 10 0 10 10 0 0 10 0 10 0 0 10 10 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 10 0 10 10 0 10 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 10 10 0 0 0 0 0 0 10 10 0 0 0 10 10 10 0 10 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 10 10 0 10 10 10 10 9 10 0 0 0 10 10 0 0 10 0 10 10 0 0 10 0 10 0 10 0 10 10 0 0 0 10 10 10 0 10 0 0 10 0 0 0 0 10 0 0 0 10 0 10 10 0 0 10 2 0 0 10 0 10 10 10 10 0 10 10 10 10 0 10 10 0 10 10 0 0 0 8 0 10 0 0 0 10 0 10 10 0 0 0 0 0 10 0 0 0 0 10 10 0 10 0 10 0 10 10 10 0 0 0 10 10 0 0 10 0 0 10 10 10 10 0 10 10 10 10 0 10 0 0 10 0 10 10 0 0 0 10 0 0 0 10 0 0 0 10 0 10 0 0 0 0 10 10 0 10 0 0 10 10 0 10 10 0 0 10 0 0 10 0 0 0 10 10 0 0 10 0 10 0 10 10 10 10 10 0 0 0 10 0 10 10 0 0 10 0 10 10 0 10 0 10 0 0 10 10 10 0 10 10 0 0 10 10 0 0 0 0 0 10 0 10 10 10 0 0 10 0 0 10 0 10 10 10 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 8 0 10 10 0 0 0 0 10 0 10 0 10 0 10 0 10 0 0 10 0 0 0 0 0 0 9 0 10 10 0 10 0 10 10 0 0 10 0 10 10 0 10 0 0 0 10 0 10 10 0 0 0 0 0 0 10 0 10 0 10 0 0 10 10 0 0 10 10 0 10 10 10 10 0 0 10 10 10 0 0 0 0 10 10 10 0 0 0 10 10 10 0 0 10 0 0 10 10 0 0 0 10 10 0 0 0 10 0 10 0 0 0 10 0 10 0 0 0 0 10 10 10 0 0 0 10 10 0 10 10 0 10 0 10 10 10 0 0 10 10 10 10 0 10 0 0 0 0 10 0 10 10 0 0 10 10 10 0 0 0 0 0 0 10 0 0 0 0 10 0 10 10 10 10 0 0 0 0 0 10 10 8 0 10 10 10 0 10 0 0 0 10 0 10 0 0 10 10 10 10 10 10 0 0 0 10 0 0 0 0 10 0 10 0 0 10 0 10 10 0 0 0 10 10 0 10 0 0 0 10 0 0 0 0 10 0 0 10 0 10 10 0 0 0 10 10 0 10 0 0 10 10 10 10 10 10 0 0 0 10 0 10 0 0 10 0 10 10 0 0 0 0 0 0 0 10 10 10 0 0 10 0 10 10 0 10 0 10 0 0 10 0 10 10 0 10 10 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 10 0 10 10 10 10 0 0 10 10 10 10 0 0 0 10 10 10 10 0 0 0 0 0 10 10 10 10 10 0 0 0 0 10 10 0 0 10 10 0 0 0 0 0 0 0 0 10 10 0 0 10 0 10 10 10 0 0 10 10 0 0 10 0 10 0 0 10 10 0 10 0 0 10 10 10 0 10 10 10 10 0 0 10 10 0 0 10 0 10 10 0 0 10 10 0 0 10 0 10 0 0 10 0 10 10 10 0 10 0 10 0 10 10 0 10 0 0 10 0 10 10 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 10 0 10 0 0 0 0 10 10 0 10 10 0 0 0 0 0 10 10 0 0 10 10 0 10 0 0 </values> 2520.05/2519.90 v </instantiation> 2520.05/2519.90
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 (14931 MiB free)
memory of node 1: 16384 MiB (15512 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397032-1568595394/watcher-4397032-1568595394 -o /tmp/evaluation-result-4397032-1568595394/solver-4397032-1568595394 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568572747-30996 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397032-1568595394.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2882, runsolver pid=2879
[startup+0.100156 s]*
/proc/loadavg: 2.08 2.03 2.05 3/199 2883
/proc/meminfo: memFree=31149792/32770624 swapFree=67004292/67108860
[pid=2882] ppid=2879 vsize=52060 memory=28212 CPUtime=0.1 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 7316 0 0 0 9 1 0 0 20 0 1 0 435701037 53309440 7053 33554432000 4194304 6211092 140730303613808 140730303610344 5012856 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 13015 7053 825 493 0 6320 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52060 KiB
Current children cumulated memory: 28212 KiB
[startup+0.20979 s]*
/proc/loadavg: 2.08 2.03 2.05 3/199 2883
/proc/meminfo: memFree=31147932/32770624 swapFree=67004292/67108860
[pid=2882] ppid=2879 vsize=54120 memory=30376 CPUtime=0.21 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 7917 0 0 0 20 1 0 0 20 0 1 0 435701037 55418880 7594 33554432000 4194304 6211092 140730303613808 140730303610344 139837986505866 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 13530 7594 826 493 0 6835 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54120 KiB
Current children cumulated memory: 30376 KiB
[startup+0.309258 s]*
/proc/loadavg: 2.08 2.03 2.05 3/199 2883
/proc/meminfo: memFree=31146072/32770624 swapFree=67004292/67108860
[pid=2882] ppid=2879 vsize=55852 memory=31960 CPUtime=0.31 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 8349 0 0 0 30 1 0 0 20 0 1 0 435701037 57192448 7990 33554432000 4194304 6211092 140730303613808 140730303610344 139837987431744 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 13963 7990 826 493 0 7268 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 55852 KiB
Current children cumulated memory: 31960 KiB
[startup+0.70023 s]
/proc/loadavg: 2.08 2.03 2.05 4/199 2883
/proc/meminfo: memFree=31143484/32770624 swapFree=67004292/67108860
[pid=2882] ppid=2879 vsize=61292 memory=37556 CPUtime=0.68 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 13621 0 0 0 67 1 0 0 20 0 1 0 435701037 62763008 9389 33554432000 4194304 6211092 140730303613808 140730303609304 5012856 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 15323 9389 826 493 0 8628 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61292 KiB
Current children cumulated memory: 37556 KiB
[startup+1.50024 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 2883
/proc/meminfo: memFree=31133428/32770624 swapFree=67004292/67108860
[pid=2882] ppid=2879 vsize=72448 memory=48320 CPUtime=1.49 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 18340 0 0 0 147 2 0 0 20 0 1 0 435701037 74186752 12080 33554432000 4194304 6211092 140730303613808 140730303609304 5453904 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 18112 12080 835 493 0 11417 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 72448 KiB
Current children cumulated memory: 48320 KiB
[startup+3.10956 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 2883
/proc/meminfo: memFree=31112752/32770624 swapFree=67004292/67108860
[pid=2882] ppid=2879 vsize=90308 memory=66440 CPUtime=3.1 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 30767 0 0 0 307 3 0 0 20 0 1 0 435701037 92475392 16610 33554432000 4194304 6211092 140730303613808 140730303609304 5479691 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 22577 16610 835 493 0 15882 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 90308 KiB
Current children cumulated memory: 66440 KiB
[startup+6.30026 s]
/proc/loadavg: 2.07 2.03 2.05 3/199 2883
/proc/meminfo: memFree=31072180/32770624 swapFree=67004292/67108860
[pid=2882] ppid=2879 vsize=131160 memory=106932 CPUtime=6.29 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 51177 0 0 0 624 5 0 0 20 0 1 0 435701037 134307840 26733 33554432000 4194304 6211092 140730303613808 140730303609304 5012856 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 32790 26733 835 493 0 26095 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 131160 KiB
Current children cumulated memory: 106932 KiB
[startup+12.7003 s]
/proc/loadavg: 2.06 2.03 2.05 3/199 2883
/proc/meminfo: memFree=30975964/32770624 swapFree=67004292/67108860
[pid=2882] ppid=2879 vsize=235152 memory=210760 CPUtime=12.69 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 100708 0 0 0 1258 11 0 0 20 0 1 0 435701037 240795648 52690 33554432000 4194304 6211092 140730303613808 140730303609304 5013138 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 58788 52690 835 493 0 52093 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 235152 KiB
Current children cumulated memory: 210760 KiB
[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.05 3/199 2885
/proc/meminfo: memFree=30850880/32770624 swapFree=67004292/67108860
[pid=2882] ppid=2879 vsize=357856 memory=330136 CPUtime=25.49 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 132227 0 0 0 2533 16 0 0 20 0 1 0 435701037 366444544 82534 33554432000 4194304 6211092 140730303613808 140730303611080 5818434 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 89464 82534 840 493 0 82769 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 357856 KiB
Current children cumulated memory: 330136 KiB
[startup+51.1096 s]
/proc/loadavg: 2.03 2.03 2.05 3/199 2885
/proc/meminfo: memFree=30603092/32770624 swapFree=67004292/67108860
[pid=2882] ppid=2879 vsize=610108 memory=573780 CPUtime=51.1 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 193489 0 0 0 5083 27 0 0 20 0 1 0 435701037 624750592 143445 33554432000 4194304 6211092 140730303613808 140730303611080 5707874 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 152527 143445 840 493 0 145832 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 610108 KiB
Current children cumulated memory: 573780 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 2889
/proc/meminfo: memFree=30316340/32770624 swapFree=67004292/67108860
[pid=2882] ppid=2879 vsize=899360 memory=858424 CPUtime=102.28 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 444010 0 0 0 10184 44 0 0 20 0 1 0 435701037 920944640 214606 33554432000 4194304 6211092 140730303613808 140730303611176 5396407 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 224840 214606 885 493 0 218145 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 899360 KiB
Current children cumulated memory: 858424 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 2896
/proc/meminfo: memFree=30254836/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=962596 memory=920180 CPUtime=162.29 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 551164 0 0 0 16179 50 0 0 20 0 1 0 435701037 985698304 230045 33554432000 4194304 6211092 140730303613808 140730303611016 5439810 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 240649 230045 885 493 0 233954 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 962596 KiB
Current children cumulated memory: 920180 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2900
/proc/meminfo: memFree=30232076/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=983124 memory=942744 CPUtime=222.29 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 676209 0 0 0 22172 57 0 0 20 0 1 0 435701037 1006718976 235686 33554432000 4194304 6211092 140730303613808 140730303611128 5440616 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 245781 235686 885 493 0 239086 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 983124 KiB
Current children cumulated memory: 942744 KiB
[startup+282.3 s]
/proc/loadavg: 2.46 2.15 2.09 3/200 2912
/proc/meminfo: memFree=30178520/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=1035996 memory=996368 CPUtime=282.28 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 797627 0 0 0 28163 65 0 0 20 0 1 0 435701037 1060859904 249092 33554432000 4194304 6211092 140730303613808 140730303611016 139837987431758 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 258999 249092 885 493 0 252304 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 1035996 KiB
Current children cumulated memory: 996368 KiB
[startup+342.3 s]
/proc/loadavg: 2.17 2.12 2.08 3/201 2940
/proc/meminfo: memFree=30144136/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=1068832 memory=1030112 CPUtime=342.28 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 896416 0 0 0 34158 70 0 0 20 0 1 0 435701037 1094483968 257528 33554432000 4194304 6211092 140730303613808 140730303611016 5451521 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 267208 257528 885 493 0 260513 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 1068832 KiB
Current children cumulated memory: 1030112 KiB
[startup+402.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/201 2944
/proc/meminfo: memFree=30133748/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=1075700 memory=1039736 CPUtime=402.28 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 967611 0 0 0 40154 74 0 0 20 0 1 0 435701037 1101516800 259934 33554432000 4194304 6211092 140730303613808 140730303611016 4982096 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 268925 259934 885 493 0 262230 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 1075700 KiB
Current children cumulated memory: 1039736 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/201 2948
/proc/meminfo: memFree=30127764/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=1080532 memory=1045672 CPUtime=462.29 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 1008955 0 0 0 46152 77 0 0 20 0 1 0 435701037 1106464768 261418 33554432000 4194304 6211092 140730303613808 140730303611016 5443061 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 270133 261418 885 493 0 263438 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 1080532 KiB
Current children cumulated memory: 1045672 KiB
################
# More data... #
################
/proc/2882/statm: 291200 285086 885 493 0 284505 0
Current children cumulated CPU time: 1782.38 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140344 KiB
[startup+1842.3 s]
/proc/loadavg: 1.00 1.02 1.29 2/193 3112
/proc/meminfo: memFree=30044288/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=1164800 memory=1140352 CPUtime=1842.39 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 1337060 0 0 0 184135 104 0 0 20 0 1 0 435701037 1192755200 285088 33554432000 4194304 6211092 140730303613808 140730303601688 5479550 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 291200 285088 885 493 0 284505 0
Current children cumulated CPU time: 1842.39 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140352 KiB
[startup+1902.3 s]
/proc/loadavg: 1.00 1.02 1.27 2/193 3116
/proc/meminfo: memFree=30043228/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=1164800 memory=1140352 CPUtime=1902.39 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 1344331 0 0 0 190135 104 0 0 20 0 1 0 435701037 1192755200 285088 33554432000 4194304 6211092 140730303613808 140730303601688 5039132 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 291200 285088 885 493 0 284505 0
Current children cumulated CPU time: 1902.39 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140352 KiB
[startup+1962.3 s]
/proc/loadavg: 1.00 1.01 1.26 2/193 3123
/proc/meminfo: memFree=30044928/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=1164800 memory=1140352 CPUtime=1962.4 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 1349696 0 0 0 196135 105 0 0 20 0 1 0 435701037 1192755200 285088 33554432000 4194304 6211092 140730303613808 140730303601688 5380267 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 291200 285088 885 493 0 284505 0
Current children cumulated CPU time: 1962.4 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140352 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/193 3127
/proc/meminfo: memFree=30044852/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=1164800 memory=1140352 CPUtime=2022.41 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 1358616 0 0 0 202135 106 0 0 20 0 1 0 435701037 1192755200 285088 33554432000 4194304 6211092 140730303613808 140730303601688 5446260 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 291200 285088 885 493 0 284505 0
Current children cumulated CPU time: 2022.41 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140352 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/193 3136
/proc/meminfo: memFree=30045056/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=1164800 memory=1140352 CPUtime=2082.41 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 1365189 0 0 0 208135 106 0 0 20 0 1 0 435701037 1192755200 285088 33554432000 4194304 6211092 140730303613808 140730303601688 139837987433892 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 291200 285088 885 493 0 284505 0
Current children cumulated CPU time: 2082.41 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140352 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/193 3142
/proc/meminfo: memFree=30044304/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=1164800 memory=1140352 CPUtime=2142.42 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 1367541 0 0 0 214135 107 0 0 20 0 1 0 435701037 1192755200 285088 33554432000 4194304 6211092 140730303613808 140730303601688 5193696 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 291200 285088 885 493 0 284505 0
Current children cumulated CPU time: 2142.42 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140352 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.01 1.20 2/193 3146
/proc/meminfo: memFree=30044964/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=1164800 memory=1140352 CPUtime=2202.42 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 1369165 0 0 0 220135 107 0 0 20 0 1 0 435701037 1192755200 285088 33554432000 4194304 6211092 140730303613808 140730303601688 5446240 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 291200 285088 885 493 0 284505 0
Current children cumulated CPU time: 2202.42 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140352 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.01 1.19 2/193 3150
/proc/meminfo: memFree=30044264/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=1164800 memory=1140368 CPUtime=2262.42 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 1377205 0 0 0 226135 107 0 0 20 0 1 0 435701037 1192755200 285092 33554432000 4194304 6211092 140730303613808 140730303601688 5446648 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 291200 285092 885 493 0 284505 0
Current children cumulated CPU time: 2262.42 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140368 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/193 3156
/proc/meminfo: memFree=30043688/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=1164800 memory=1140372 CPUtime=2322.43 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 1378926 0 0 0 232136 107 0 0 20 0 1 0 435701037 1192755200 285093 33554432000 4194304 6211092 140730303613808 140730303601688 5440580 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 291200 285093 885 493 0 284505 0
Current children cumulated CPU time: 2322.43 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140372 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/193 3160
/proc/meminfo: memFree=30044080/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=1164800 memory=1140372 CPUtime=2382.44 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 1382450 0 0 0 238136 108 0 0 20 0 1 0 435701037 1192755200 285093 33554432000 4194304 6211092 140730303613808 140730303601688 139837987431984 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 291200 285093 885 493 0 284505 0
Current children cumulated CPU time: 2382.44 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140372 KiB
[startup+2442.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/193 3164
/proc/meminfo: memFree=30043448/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=1164800 memory=1140372 CPUtime=2442.44 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 1384311 0 0 0 244136 108 0 0 20 0 1 0 435701037 1192755200 285093 33554432000 4194304 6211092 140730303613808 140730303601688 5446240 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 291200 285093 885 493 0 284505 0
Current children cumulated CPU time: 2442.44 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140372 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 1.01 1.14 2/193 3170
/proc/meminfo: memFree=30043744/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=1164800 memory=1140372 CPUtime=2502.45 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 1386612 0 0 0 250137 108 0 0 20 0 1 0 435701037 1192755200 285093 33554432000 4194304 6211092 140730303613808 140730303601688 5443008 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 291200 285093 885 493 0 284505 0
Current children cumulated CPU time: 2502.45 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 1.00 1.01 1.14 2/193 3171
/proc/meminfo: memFree=30043976/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=1164800 memory=1140372 CPUtime=2520.05 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 1387435 0 0 0 251897 108 0 0 20 0 1 0 435701037 1192755200 285093 33554432000 4194304 6211092 140730303613808 140730303601688 5446218 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 291200 285093 885 493 0 284505 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.91 s]
# the end of solver process 2882 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.97 s, system=1.09509 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 1.00 1.01 1.14 2/193 3171
/proc/meminfo: memFree=30043976/32770624 swapFree=67004296/67108860
[pid=2882] ppid=2879 vsize=1164800 memory=1140372 CPUtime=2520.05 cores=1,3,5,7
/proc/2882/stat : 2882 (cosoco) R 2879 2882 30964 0 -1 4202496 1387435 0 0 0 251897 108 0 0 20 0 1 0 435701037 1192755200 285093 33554432000 4194304 6211092 140730303613808 140730303601688 5446218 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37826560 140730303616011 140730303616113 140730303616113 140730303619022 0
/proc/2882/statm: 291200 285093 885 493 0 284505 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 1164800 KiB
Current children cumulated memory: 1140372 KiB
Child status: 1
Real time (s): 2519.91
CPU time (s): 2520.07
CPU user time (s): 2518.97
CPU system time (s): 1.09509
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 1164800
Max. memory (cumulated for all children) (KiB): 1140372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.97
system time used= 1.09509
maximum resident set size= 1140432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1387511
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= 126
involuntary context switches= 1102
# summary of solver processes directly reported to runsolver:
# pid: 2882
# total CPU time (s): 2520.07
# total CPU user time (s): 2518.97
# total CPU system time (s): 1.09509
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.70555 second user time and 18.1102 second system time
The end
Begin job on node148 at 2019-09-16 02:55:58 IDJOB=4397032 IDBENCH=141274 IDSOLVER=2848 FILE ID=node148/4397032-1568595394 RUNJOBID= node148-1568572747-30996 PBS_JOBID= 21703309 Free space on /tmp= 61184 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-20-0420_c18.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397032-1568595394/watcher-4397032-1568595394 -o /tmp/evaluation-result-4397032-1568595394/solver-4397032-1568595394 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568572747-30996 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397032-1568595394.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a9a1ecda6b6f8f1e99c2d233168bcaa1 RANDOM SEED=583022257 node148.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.13 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.13 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.13 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.13 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: 31174112 kB MemAvailable: 31896332 kB Buffers: 125108 kB Cached: 900760 kB SwapCached: 3752 kB Active: 546940 kB Inactive: 492072 kB Active(anon): 10884 kB Inactive(anon): 51620 kB Active(file): 536056 kB Inactive(file): 440452 kB Unevictable: 109236 kB Mlocked: 109236 kB SwapTotal: 67108860 kB SwapFree: 67004292 kB Dirty: 127544 kB Writeback: 0 kB AnonPages: 119956 kB Mapped: 48712 kB Shmem: 40604 kB Slab: 151704 kB SReclaimable: 123092 kB SUnreclaim: 28612 kB KernelStack: 3520 kB PageTables: 5748 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 542208 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61184 MiB End job on node148 at 2019-09-16 03:37:58