0.00/0.10 c
0.00/0.10 c This is cosoco 2.00 --
0.00/0.10 c
0.00/0.10 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397712-1568592306.xml
0.00/0.10 c intension eq(dist(f[36],f[400]),40) -> extension (support ? 1) - 50tuples
0.00/0.10 c intension eq(dist(f[300],f[393]),40) -> extension (support ? 1) - 230tuples
0.10/0.11 c intension eq(dist(f[178],f[57]),40) -> extension (support ? 1) - 282tuples
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension eq(dist(f[280],f[323]),40) -> extension (support ? 1) - 30tuples
0.10/0.13 c intension eq(dist(f[197],f[382]),40) -> extension (support ? 1) - 282tuples
0.10/0.13 c intension eq(dist(f[101],f[208]),40) -> extension (support ? 1) - 230tuples
0.10/0.13 c intension eq(dist(f[11],f[179]),40) -> extension (support ? 1) - 58tuples
0.10/0.15 c intension eq(dist(f[317],f[338]),40) -> extension (support ? 1) - 282tuples
0.10/0.15 c intension eq(dist(f[244],f[60]),40) -> extension (support ? 1) - 38tuples
0.10/0.15 c intension eq(dist(f[125],f[369]),40) -> extension (support ? 1) - 106tuples
0.10/0.15 c intension eq(dist(f[119],f[18]),40) -> extension (support ? 1) - 38tuples
0.10/0.15 c intension eq(dist(f[22],f[81]),40) -> extension (support ? 1) - 50tuples
0.10/0.15 c intension eq(dist(f[370],f[38]),40) -> extension (support ? 1) - 38tuples
0.10/0.16 c intension eq(dist(f[130],f[96]),40) -> extension (support ? 1) - 282tuples
0.10/0.16 c intension eq(dist(f[110],f[391]),40) -> extension (support ? 1) - 70tuples
0.10/0.18 c intension eq(dist(f[124],f[406]),40) -> extension (support ? 1) - 282tuples
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension eq(dist(f[136],f[387]),40) -> extension (support ? 1) - 38tuples
0.10/0.19 c intension eq(dist(f[242],f[6]),40) -> extension (support ? 1) - 282tuples
0.10/0.19 c intension eq(dist(f[403],f[407]),40) -> extension (support ? 1) - 82tuples
0.10/0.19 c intension eq(dist(f[106],f[224]),40) -> extension (support ? 1) - 38tuples
0.10/0.20 c intension eq(dist(f[0],f[226]),40) -> extension (support ? 1) - 282tuples
0.10/0.21 c intension -> extension : same as previous
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 -> extension : same as previous
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 -> extension : same as previous
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 -> extension : same as previous
0.10/0.21 c intension eq(dist(f[142],f[311]),40) -> extension (support ? 1) - 38tuples
0.10/0.21 c intension eq(dist(f[166],f[92]),40) -> extension (support ? 1) - 30tuples
0.20/0.22 c intension eq(dist(f[53],f[73]),40) -> extension (support ? 1) - 282tuples
0.20/0.22 c intension -> extension : same as previous
0.20/0.22 c intension -> extension : same as previous
0.20/0.22 c intension eq(dist(f[285],f[312]),40) -> extension (support ? 1) - 82tuples
0.20/0.22 c intension eq(dist(f[111],f[137]),40) -> extension (support ? 1) - 38tuples
0.20/0.22 c intension eq(dist(f[134],f[63]),40) -> extension (support ? 1) - 30tuples
0.20/0.22 c intension eq(dist(f[282],f[363]),40) -> extension (support ? 1) - 58tuples
0.20/0.22 c intension -> extension : same as previous
0.20/0.22 c intension eq(dist(f[131],f[164]),40) -> extension (support ? 1) - 38tuples
0.20/0.22 c intension eq(dist(f[108],f[259]),40) -> extension (support ? 1) - 70tuples
0.20/0.22 c intension eq(dist(f[263],f[67]),40) -> extension (support ? 1) - 106tuples
0.20/0.24 c intension eq(dist(f[246],f[342]),40) -> extension (support ? 1) - 282tuples
0.20/0.24 c intension eq(dist(f[152],f[264]),40) -> extension (support ? 1) - 38tuples
0.20/0.25 c intension eq(dist(f[69],f[7]),40) -> extension (support ? 1) - 282tuples
0.20/0.25 c intension -> extension : same as previous
0.20/0.25 c intension -> extension : same as previous
0.20/0.25 c intension eq(dist(f[231],f[310]),40) -> extension (support ? 1) - 70tuples
0.20/0.25 c intension eq(dist(f[30],f[314]),40) -> extension (support ? 1) - 50tuples
0.20/0.25 c intension eq(dist(f[135],f[168]),40) -> extension (support ? 1) - 58tuples
0.20/0.25 c intension eq(dist(f[45],f[54]),40) -> extension (support ? 1) - 82tuples
0.20/0.26 c intension eq(dist(f[109],f[37]),40) -> extension (support ? 1) - 282tuples
0.20/0.27 c intension -> extension : same as previous
0.20/0.27 c intension -> extension : same as previous
0.20/0.27 c intension -> extension : same as previous
0.20/0.27 c intension -> extension : same as previous
0.20/0.27 c intension -> extension : same as previous
0.20/0.27 c intension eq(dist(f[114],f[307]),40) -> extension (support ? 1) - 38tuples
0.20/0.28 c intension eq(dist(f[155],f[173]),40) -> extension (support ? 1) - 282tuples
0.20/0.28 c intension eq(dist(f[15],f[174]),40) -> extension (support ? 1) - 230tuples
0.20/0.28 c intension eq(dist(f[293],f[364]),40) -> extension (support ? 1) - 38tuples
0.20/0.29 c intension eq(dist(f[140],f[243]),40) -> extension (support ? 1) - 74tuples
0.20/0.29 c intension eq(dist(f[378],f[83]),40) -> extension (support ? 1) - 38tuples
0.20/0.30 c intension eq(dist(f[193],f[257]),40) -> extension (support ? 1) - 282tuples
0.20/0.30 c intension eq(dist(f[116],f[395]),40) -> extension (support ? 1) - 58tuples
0.20/0.30 c intension eq(dist(f[120],f[235]),40) -> extension (support ? 1) - 74tuples
0.20/0.30 c intension eq(dist(f[351],f[379]),40) -> extension (support ? 1) - 70tuples
0.20/0.30 c intension eq(dist(f[162],f[49]),40) -> extension (support ? 1) - 50tuples
0.20/0.30 c intension eq(dist(f[170],f[306]),40) -> extension (support ? 1) - 102tuples
0.20/0.30 c intension eq(dist(f[23],f[376]),40) -> extension (support ? 1) - 38tuples
0.20/0.31 c intension eq(dist(f[145],f[215]),40) -> extension (support ? 1) - 282tuples
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension eq(dist(f[148],f[233]),40) -> extension (support ? 1) - 38tuples
0.20/0.31 c intension eq(dist(f[267],f[32]),40) -> extension (support ? 1) - 38tuples
0.20/0.31 c intension eq(dist(f[398],f[77]),40) -> extension (support ? 1) - 50tuples
0.30/0.32 c intension eq(dist(f[1],f[247]),40) -> extension (support ? 1) - 70tuples
0.30/0.32 c intension eq(dist(f[204],f[91]),40) -> extension (support ? 1) - 58tuples
0.30/0.32 c intension eq(dist(f[115],f[419]),40) -> extension (support ? 1) - 230tuples
0.30/0.33 c intension eq(dist(f[330],f[47]),40) -> extension (support ? 1) - 282tuples
0.30/0.33 c intension eq(dist(f[172],f[210]),40) -> extension (support ? 1) - 30tuples
0.30/0.33 c intension eq(dist(f[10],f[192]),40) -> extension (support ? 1) - 38tuples
0.30/0.35 c intension eq(dist(f[107],f[399]),40) -> extension (support ? 1) - 282tuples
0.30/0.35 c intension eq(dist(f[315],f[42]),40) -> extension (support ? 1) - 70tuples
0.30/0.36 c intension eq(dist(f[309],f[345]),40) -> extension (support ? 1) - 282tuples
0.30/0.36 c intension -> extension : same as previous
0.30/0.36 c intension eq(dist(f[241],f[374]),40) -> extension (support ? 1) - 106tuples
0.30/0.36 c intension eq(dist(f[386],f[46]),40) -> extension (support ? 1) - 102tuples
0.30/0.37 c intension eq(dist(f[251],f[350]),40) -> extension (support ? 1) - 282tuples
0.30/0.38 c intension -> extension : same as previous
0.30/0.38 c intension eq(dist(f[158],f[50]),40) -> extension (support ? 1) - 230tuples
0.30/0.38 c intension eq(dist(f[12],f[68]),40) -> extension (support ? 1) - 38tuples
0.30/0.39 c intension eq(dist(f[31],f[337]),40) -> extension (support ? 1) - 282tuples
0.30/0.39 c intension eq(dist(f[318],f[355]),40) -> extension (support ? 1) - 38tuples
0.30/0.39 c intension eq(dist(f[182],f[51]),40) -> extension (support ? 1) - 82tuples
0.30/0.39 c intension eq(dist(f[167],f[360]),40) -> extension (support ? 1) - 50tuples
0.30/0.39 c intension eq(dist(f[225],f[324]),40) -> extension (support ? 1) - 70tuples
0.30/0.41 c intension eq(dist(f[203],f[365]),40) -> extension (support ? 1) - 282tuples
0.30/0.41 c intension eq(dist(f[328],f[418]),40) -> extension (support ? 1) - 82tuples
0.40/0.42 c intension eq(dist(f[141],f[206]),40) -> extension (support ? 1) - 282tuples
0.40/0.42 c intension -> extension : same as previous
0.40/0.42 c intension -> extension : same as previous
0.40/0.42 c intension eq(dist(f[388],f[79]),40) -> extension (support ? 1) - 82tuples
0.40/0.43 c intension eq(dist(f[2],f[348]),40) -> extension (support ? 1) - 282tuples
0.40/0.43 c intension -> extension : same as previous
0.40/0.43 c intension eq(dist(f[234],f[361]),40) -> extension (support ? 1) - 38tuples
0.40/0.44 c intension eq(dist(f[396],f[40]),40) -> extension (support ? 1) - 282tuples
0.40/0.44 c intension eq(dist(f[127],f[64]),40) -> extension (support ? 1) - 50tuples
0.40/0.45 c intension eq(dist(f[13],f[90]),40) -> extension (support ? 1) - 282tuples
0.40/0.45 c intension -> extension : same as previous
0.40/0.45 c intension -> extension : same as previous
0.40/0.45 c intension -> extension : same as previous
0.40/0.45 c intension eq(dist(f[274],f[58]),40) -> extension (support ? 1) - 50tuples
0.40/0.46 c intension eq(dist(f[354],f[71]),40) -> extension (support ? 1) - 282tuples
0.40/0.46 c intension -> extension : same as previous
0.40/0.46 c intension -> extension : same as previous
0.40/0.46 c intension eq(dist(f[269],f[402]),40) -> extension (support ? 1) - 50tuples
0.40/0.48 c intension eq(dist(f[349],f[377]),40) -> extension (support ? 1) - 282tuples
0.40/0.48 c intension eq(dist(f[163],f[34]),40) -> extension (support ? 1) - 30tuples
0.40/0.48 c intension eq(dist(f[262],f[353]),40) -> extension (support ? 1) - 38tuples
0.40/0.49 c intension eq(dist(f[346],f[39]),40) -> extension (support ? 1) - 282tuples
0.40/0.49 c intension eq(dist(f[198],f[265]),40) -> extension (support ? 1) - 38tuples
0.40/0.50 c intension eq(dist(f[133],f[232]),40) -> extension (support ? 1) - 282tuples
0.40/0.50 c intension -> extension : same as previous
0.40/0.50 c intension -> extension : same as previous
0.40/0.50 c intension -> extension : same as previous
0.40/0.50 c intension eq(dist(f[401],f[80]),40) -> extension (support ? 1) - 38tuples
0.40/0.51 c intension eq(dist(f[213],f[375]),40) -> extension (support ? 1) - 282tuples
0.40/0.51 c intension eq(dist(f[180],f[85]),40) -> extension (support ? 1) - 38tuples
0.50/0.53 c intension eq(dist(f[373],f[41]),40) -> extension (support ? 1) - 282tuples
0.50/0.53 c intension -> extension : same as previous
0.50/0.53 c intension eq(dist(f[33],f[404]),40) -> extension (support ? 1) - 38tuples
0.50/0.54 c intension eq(dist(f[19],f[299]),40) -> extension (support ? 1) - 282tuples
0.50/0.54 c intension eq(dist(f[303],f[313]),40) -> extension (support ? 1) - 38tuples
0.50/0.55 c intension eq(dist(f[290],f[98]),40) -> extension (support ? 1) - 230tuples
0.50/0.55 c intension eq(dist(f[176],f[281]),40) -> extension (support ? 1) - 38tuples
0.50/0.55 c intension -> extension : same as previous
0.50/0.55 c intension eq(dist(f[102],f[308]),40) -> extension (support ? 1) - 50tuples
0.50/0.56 c intension eq(dist(f[228],f[78]),40) -> extension (support ? 1) - 282tuples
0.50/0.56 c intension -> extension : same as previous
0.50/0.56 c intension eq(dist(f[291],f[326]),40) -> extension (support ? 1) - 38tuples
0.50/0.56 c intension eq(dist(f[205],f[258]),40) -> extension (support ? 1) - 38tuples
0.50/0.57 c intension eq(dist(f[112],f[194]),40) -> extension (support ? 1) - 282tuples
0.50/0.57 c intension -> extension : same as previous
0.50/0.57 c intension -> extension : same as previous
0.50/0.57 c intension -> extension : same as previous
0.50/0.57 c intension -> extension : same as previous
0.50/0.57 c intension -> extension : same as previous
0.50/0.57 c intension -> extension : same as previous
0.50/0.57 c intension -> extension : same as previous
0.50/0.57 c intension -> extension : same as previous
0.50/0.57 c intension -> extension : same as previous
0.50/0.57 c intension eq(dist(f[248],f[87]),40) -> extension (support ? 1) - 82tuples
0.50/0.58 c intension eq(dist(f[279],f[29]),40) -> extension (support ? 1) - 282tuples
0.50/0.59 c intension -> extension : same as previous
0.50/0.59 c intension -> extension : same as previous
0.50/0.59 c intension -> extension : same as previous
0.50/0.59 c intension -> extension : same as previous
0.50/0.59 c intension -> extension : same as previous
0.50/0.59 c intension eq(dist(f[410],f[44]),40) -> extension (support ? 1) - 38tuples
0.50/0.60 c intension eq(dist(f[266],f[325]),40) -> extension (support ? 1) - 282tuples
0.50/0.60 c intension -> extension : same as previous
0.50/0.60 c intension eq(dist(f[147],f[74]),40) -> extension (support ? 1) - 82tuples
0.50/0.60 c intension eq(dist(f[104],f[219]),40) -> extension (support ? 1) - 70tuples
0.50/0.60 c intension eq(dist(f[190],f[352]),40) -> extension (support ? 1) - 74tuples
0.59/0.61 c intension eq(dist(f[103],f[253]),40) -> extension (support ? 1) - 282tuples
0.59/0.61 c intension -> extension : same as previous
0.59/0.61 c intension -> extension : same as previous
0.59/0.61 c intension -> extension : same as previous
0.59/0.61 c intension eq(dist(f[4],f[5]),40) -> extension (support ? 1) - 58tuples
0.59/0.63 c intension eq(dist(f[202],f[72]),40) -> extension (support ? 1) - 282tuples
0.59/0.63 c intension -> extension : same as previous
0.59/0.63 c intension -> extension : same as previous
0.59/0.63 c intension -> extension : same as previous
0.59/0.63 c intension -> extension : same as previous
0.59/0.63 c intension -> extension : same as previous
0.59/0.63 c intension eq(dist(f[165],f[390]),40) -> extension (support ? 1) - 38tuples
0.59/0.63 c intension eq(dist(f[143],f[48]),40) -> extension (support ? 1) - 58tuples
0.59/0.64 c intension eq(dist(f[153],f[239]),40) -> extension (support ? 1) - 282tuples
0.59/0.65 c intension -> extension : same as previous
0.59/0.65 c intension -> extension : same as previous
0.59/0.65 c intension eq(dist(f[186],f[277]),40) -> extension (support ? 1) - 230tuples
0.59/0.66 c intension eq(dist(f[138],f[222]),40) -> extension (support ? 1) - 282tuples
0.59/0.66 c intension -> extension : same as previous
0.59/0.66 c intension eq(dist(f[286],f[82]),40) -> extension (support ? 1) - 70tuples
0.59/0.66 c intension eq(dist(f[177],f[76]),40) -> extension (support ? 1) - 82tuples
0.59/0.67 c intension eq(dist(f[199],f[43]),40) -> extension (support ? 1) - 58tuples
0.59/0.68 c intension eq(dist(f[411],f[61]),40) -> extension (support ? 1) - 282tuples
0.59/0.68 c intension eq(dist(f[341],f[65]),40) -> extension (support ? 1) - 102tuples
0.59/0.69 c intension eq(dist(f[185],f[261]),40) -> extension (support ? 1) - 282tuples
0.59/0.69 c intension -> extension : same as previous
0.59/0.69 c intension -> extension : same as previous
0.59/0.69 c intension eq(dist(f[216],f[238]),40) -> extension (support ? 1) - 38tuples
0.69/0.70 c intension eq(dist(f[117],f[381]),40) -> extension (support ? 1) - 230tuples
0.69/0.71 c intension -> extension : same as previous
0.69/0.71 c intension eq(dist(f[209],f[284]),40) -> extension (support ? 1) - 282tuples
0.69/0.71 c intension -> extension : same as previous
0.69/0.71 c intension eq(dist(f[160],f[397]),40) -> extension (support ? 1) - 50tuples
0.69/0.72 c intension eq(dist(f[70],f[99]),40) -> extension (support ? 1) - 282tuples
0.69/0.72 c AllEqual constraint using 1 generic x=y constraints
0.69/0.72 c AllEqual constraint using 1 generic x=y constraints
0.69/0.72 c AllEqual constraint using 1 generic x=y constraints
0.69/0.72 c AllEqual constraint using 1 generic x=y constraints
0.69/0.72 c AllEqual constraint using 1 generic x=y constraints
0.69/0.72 c AllEqual constraint using 1 generic x=y constraints
0.69/0.72 c AllEqual constraint using 1 generic x=y constraints
0.69/0.72 c AllEqual constraint using 1 generic x=y constraints
0.69/0.73 c AllEqual constraint using 1 generic x=y constraints
0.69/0.74 c intension -> extension : same as previous
0.69/0.74 c intension -> extension : same as previous
0.69/0.74 c intension -> extension : same as previous
0.69/0.74 c intension -> extension : same as previous
0.69/0.74 c intension -> extension : same as previous
0.69/0.74 c intension ne(dist(f[329],f[88]),53) -> extension (support ? 0) - 0tuples
0.69/0.75 c intension ne(dist(f[203],f[206]),322) -> extension (support ? 0) - 0tuples
0.69/0.76 c intension ne(dist(f[250],f[72]),66) -> extension (support ? 0) - 0tuples
0.69/0.76 c intension ne(dist(f[214],f[76]),147) -> extension (support ? 0) - 0tuples
0.69/0.77 c intension ne(dist(f[222],f[330]),73) -> extension (support ? 0) - 0tuples
0.69/0.77 c intension ne(dist(f[259],f[91]),37) -> extension (support ? 0) - 0tuples
0.69/0.78 c intension ne(dist(f[343],f[80]),141) -> extension (support ? 0) - 0tuples
0.69/0.79 c intension ne(dist(f[222],f[289]),265) -> extension (support ? 0) - 0tuples
0.69/0.79 c intension ne(dist(f[374],f[413]),92) -> extension (support ? 0) - 117tuples
0.79/0.80 c intension ne(dist(f[419],f[59]),15) -> extension (support ? 0) - 0tuples
0.79/0.80 c intension ne(dist(f[1],f[400]),9) -> extension (support ? 0) - 0tuples
0.88/0.90 c intension eq(dist(f[1],f[49]),d[11]) -> extension (support ? 1) - 1575tuples
0.88/0.97 c intension eq(dist(f[108],f[1]),d[13]) -> extension (support ? 1) - 2025tuples
1.00/1.01 c intension eq(dist(f[142],f[1]),d[15]) -> extension (support ? 1) - 1305tuples
1.00/1.06 c intension -> extension : same as previous
1.00/1.06 c intension -> extension : same as previous
1.00/1.06 c intension eq(dist(f[195],f[1]),d[18]) -> extension (support ? 1) - 1305tuples
1.10/1.12 c intension -> extension : same as previous
1.10/1.12 c intension eq(dist(f[1],f[324]),d[20]) -> extension (support ? 1) - 2025tuples
1.10/1.18 c intension eq(dist(f[1],f[402]),d[21]) -> extension (support ? 1) - 1575tuples
1.19/1.23 c intension eq(dist(f[135],f[4]),d[49]) -> extension (support ? 1) - 1521tuples
1.19/1.27 c intension eq(dist(f[172],f[4]),d[50]) -> extension (support ? 1) - 975tuples
1.29/1.31 c intension eq(dist(f[280],f[4]),d[52]) -> extension (support ? 1) - 975tuples
1.29/1.36 c intension eq(dist(f[282],f[4]),d[53]) -> extension (support ? 1) - 1521tuples
1.39/1.41 c intension eq(dist(f[392],f[4]),d[57]) -> extension (support ? 1) - 1131tuples
1.39/1.48 c intension eq(dist(f[5],f[64]),d[61]) -> extension (support ? 1) - 1365tuples
1.49/1.53 c intension eq(dist(f[5],f[80]),d[63]) -> extension (support ? 1) - 1131tuples
1.49/1.58 c intension eq(dist(f[264],f[5]),d[69]) -> extension (support ? 1) - 1131tuples
1.59/1.64 c intension eq(dist(f[353],f[5]),d[70]) -> extension (support ? 1) - 1131tuples
1.59/1.67 c intension eq(dist(f[10],f[119]),d[112]) -> extension (support ? 1) - 841tuples
1.69/1.72 c intension -> extension : same as previous
1.69/1.72 c intension eq(dist(f[10],f[199]),d[114]) -> extension (support ? 1) - 1131tuples
1.69/1.76 c intension -> extension : same as previous
1.69/1.76 c intension eq(dist(f[10],f[225]),d[116]) -> extension (support ? 1) - 1305tuples
1.69/1.79 c intension eq(dist(f[10],f[308]),d[117]) -> extension (support ? 1) - 1015tuples
1.79/1.83 c intension eq(dist(f[11],f[20]),d[120]) -> extension (support ? 1) - 1521tuples
1.79/1.87 c intension eq(dist(f[11],f[34]),d[121]) -> extension (support ? 1) - 975tuples
1.89/1.91 c intension eq(dist(f[11],f[199]),d[127]) -> extension (support ? 1) - 1521tuples
1.89/1.96 c intension eq(dist(f[11],f[323]),d[129]) -> extension (support ? 1) - 975tuples
2.00/2.01 c intension eq(dist(f[11],f[370]),d[130]) -> extension (support ? 1) - 1131tuples
2.00/2.06 c intension eq(dist(f[11],f[392]),d[132]) -> extension (support ? 1) - 1131tuples
2.00/2.08 c intension eq(dist(f[111],f[12]),d[134]) -> extension (support ? 1) - 841tuples
2.00/2.10 c intension eq(dist(f[12],f[198]),d[137]) -> extension (support ? 1) - 841tuples
2.10/2.12 c intension eq(dist(f[12],f[280]),d[140]) -> extension (support ? 1) - 725tuples
2.10/2.15 c intension eq(dist(f[12],f[397]),d[145]) -> extension (support ? 1) - 1015tuples
2.10/2.19 c intension eq(dist(f[18],f[81]),d[203]) -> extension (support ? 1) - 1015tuples
2.19/2.24 c intension eq(dist(f[108],f[18]),d[204]) -> extension (support ? 1) - 1305tuples
2.19/2.25 c intension eq(dist(f[18],f[233]),d[207]) -> extension (support ? 1) - 841tuples
2.19/2.28 c intension eq(dist(f[18],f[307]),d[208]) -> extension (support ? 1) - 841tuples
2.29/2.30 c intension eq(dist(f[18],f[390]),d[210]) -> extension (support ? 1) - 841tuples
2.29/2.36 c intension eq(dist(f[18],f[407]),d[211]) -> extension (support ? 1) - 1479tuples
2.39/2.40 c intension eq(dist(f[20],f[48]),d[224]) -> extension (support ? 1) - 1521tuples
2.39/2.46 c intension eq(dist(f[165],f[20]),d[228]) -> extension (support ? 1) - 1131tuples
2.49/2.50 c intension eq(dist(f[168],f[20]),d[229]) -> extension (support ? 1) - 1521tuples
2.49/2.55 c intension eq(dist(f[20],f[361]),d[232]) -> extension (support ? 1) - 1131tuples
2.58/2.61 c intension eq(dist(f[20],f[364]),d[233]) -> extension (support ? 1) - 1131tuples
2.58/2.65 c intension eq(dist(f[20],f[395]),d[235]) -> extension (support ? 1) - 1521tuples
2.58/2.68 c intension eq(dist(f[22],f[36]),d[243]) -> extension (support ? 1) - 1225tuples
2.68/2.71 c intension eq(dist(f[127],f[22]),d[245]) -> extension (support ? 1) - 1225tuples
2.68/2.76 c intension eq(dist(f[224],f[22]),d[251]) -> extension (support ? 1) - 1015tuples
2.79/2.82 c intension eq(dist(f[22],f[231]),d[252]) -> extension (support ? 1) - 1575tuples
2.79/2.85 c intension eq(dist(f[22],f[314]),d[254]) -> extension (support ? 1) - 1225tuples
2.89/2.90 c intension eq(dist(f[23],f[51]),d[256]) -> extension (support ? 1) - 1479tuples
2.89/2.92 c intension eq(dist(f[134],f[23]),d[257]) -> extension (support ? 1) - 725tuples
2.89/2.95 c intension eq(dist(f[195],f[23]),d[258]) -> extension (support ? 1) - 841tuples
2.89/2.97 c intension eq(dist(f[23],f[387]),d[262]) -> extension (support ? 1) - 841tuples
3.00/3.02 c intension eq(dist(f[23],f[395]),d[263]) -> extension (support ? 1) - 1131tuples
3.00/3.04 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.12 c intension eq(dist(f[30],f[387]),d[337]) -> extension (support ? 1) - 1015tuples
3.10/3.18 c intension eq(dist(f[147],f[32]),d[352]) -> extension (support ? 1) - 1479tuples
3.10/3.20 c intension eq(dist(f[224],f[32]),d[355]) -> extension (support ? 1) - 841tuples
3.19/3.25 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.32 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.42 c intension -> extension : same as previous
3.39/3.42 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.48 c intension eq(dist(f[280],f[34]),d[371]) -> extension (support ? 1) - 625tuples
3.49/3.51 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.69 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.74 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.79 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.88/3.91 c intension eq(dist(f[42],f[82]),d[452]) -> extension (support ? 1) - 2025tuples
3.88/3.94 c intension eq(dist(f[280],f[42]),d[456]) -> extension (support ? 1) - 1125tuples
3.88/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.63 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.81 c intension eq(dist(f[199],f[63]),d[630]) -> extension (support ? 1) - 975tuples
4.79/4.83 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.93 c intension eq(dist(f[274],f[64]),d[639]) -> extension (support ? 1) - 1225tuples
4.89/5.00 c intension eq(dist(f[67],f[85]),d[657]) -> extension (support ? 1) - 1827tuples
5.00/5.07 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.14 c intension eq(dist(f[147],f[68]),d[671]) -> extension (support ? 1) - 1479tuples
5.10/5.16 c intension eq(dist(f[198],f[68]),d[672]) -> extension (support ? 1) - 841tuples
5.10/5.19 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.31 c intension eq(dist(f[76],f[85]),d[753]) -> extension (support ? 1) - 1479tuples
5.29/5.37 c intension eq(dist(f[291],f[76]),d[756]) -> extension (support ? 1) - 1479tuples
5.39/5.42 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.48 c intension -> extension : same as previous
5.39/5.48 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.49/5.59 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.70 c intension eq(dist(f[147],f[80]),d[791]) -> extension (support ? 1) - 1479tuples
5.69/5.72 c intension eq(dist(f[216],f[80]),d[795]) -> extension (support ? 1) - 841tuples
5.69/5.76 c intension eq(dist(f[324],f[80]),d[796]) -> extension (support ? 1) - 1305tuples
5.69/5.80 c intension eq(dist(f[162],f[81]),d[798]) -> extension (support ? 1) - 1225tuples
5.79/5.82 c intension eq(dist(f[233],f[81]),d[802]) -> extension (support ? 1) - 1015tuples
5.79/5.86 c intension -> extension : same as previous
5.79/5.86 c intension eq(dist(f[262],f[81]),d[804]) -> extension (support ? 1) - 1015tuples
5.89/5.90 c intension eq(dist(f[172],f[82]),d[808]) -> extension (support ? 1) - 1125tuples
5.89/5.94 c intension eq(dist(f[198],f[82]),d[809]) -> extension (support ? 1) - 1305tuples
5.89/5.98 c intension eq(dist(f[262],f[82]),d[810]) -> extension (support ? 1) - 1305tuples
5.99/6.04 c intension -> extension : same as previous
5.99/6.04 c intension eq(dist(f[360],f[82]),d[812]) -> extension (support ? 1) - 1575tuples
5.99/6.06 c intension eq(dist(f[233],f[83]),d[818]) -> extension (support ? 1) - 841tuples
5.99/6.10 c intension eq(dist(f[307],f[83]),d[821]) -> extension (support ? 1) - 841tuples
6.10/6.14 c intension eq(dist(f[310],f[83]),d[822]) -> extension (support ? 1) - 1305tuples
6.10/6.19 c intension eq(dist(f[395],f[83]),d[823]) -> extension (support ? 1) - 1131tuples
6.19/6.22 c intension eq(dist(f[397],f[83]),d[824]) -> extension (support ? 1) - 1015tuples
6.19/6.24 c intension eq(dist(f[364],f[85]),d[835]) -> extension (support ? 1) - 841tuples
6.28/6.30 c intension -> extension : same as previous
6.28/6.30 c intension eq(dist(f[244],f[87]),d[850]) -> extension (support ? 1) - 1479tuples
6.28/6.35 c intension eq(dist(f[303],f[87]),d[851]) -> extension (support ? 1) - 1479tuples
6.38/6.41 c intension eq(dist(f[401],f[87]),d[854]) -> extension (support ? 1) - 1479tuples
6.38/6.46 c intension eq(dist(f[199],f[91]),d[887]) -> extension (support ? 1) - 1521tuples
6.49/6.50 c intension eq(dist(f[210],f[91]),d[888]) -> extension (support ? 1) - 975tuples
6.49/6.55 c intension eq(dist(f[234],f[91]),d[889]) -> extension (support ? 1) - 1131tuples
6.59/6.61 c intension eq(dist(f[326],f[91]),d[894]) -> extension (support ? 1) - 1131tuples
6.59/6.65 c intension eq(dist(f[395],f[91]),d[895]) -> extension (support ? 1) - 1521tuples
6.59/6.67 c intension eq(dist(f[164],f[92]),d[897]) -> extension (support ? 1) - 725tuples
6.59/6.69 c intension eq(dist(f[244],f[92]),d[899]) -> extension (support ? 1) - 725tuples
6.69/6.77 c intension eq(dist(f[102],f[219]),d[981]) -> extension (support ? 1) - 1575tuples
6.79/6.80 c intension eq(dist(f[102],f[360]),d[983]) -> extension (support ? 1) - 1225tuples
6.79/6.85 c intension -> extension : same as previous
6.79/6.85 c intension eq(dist(f[104],f[106]),d[997]) -> extension (support ? 1) - 1305tuples
6.89/6.91 c intension eq(dist(f[104],f[108]),d[998]) -> extension (support ? 1) - 2025tuples
6.89/6.95 c intension eq(dist(f[104],f[163]),d[999]) -> extension (support ? 1) - 1125tuples
6.99/7.01 c intension eq(dist(f[104],f[286]),d[1000]) -> extension (support ? 1) - 2025tuples
6.99/7.07 c intension eq(dist(f[106],f[312]),d[1013]) -> extension (support ? 1) - 1479tuples
7.10/7.11 c intension eq(dist(f[106],f[351]),d[1014]) -> extension (support ? 1) - 1305tuples
7.10/7.14 c intension eq(dist(f[106],f[404]),d[1017]) -> extension (support ? 1) - 841tuples
7.10/7.19 c intension eq(dist(f[106],f[408]),d[1018]) -> extension (support ? 1) - 1131tuples
7.19/7.24 c intension eq(dist(f[108],f[224]),d[1024]) -> extension (support ? 1) - 1305tuples
7.29/7.30 c intension eq(dist(f[108],f[398]),d[1027]) -> extension (support ? 1) - 1575tuples
7.29/7.35 c intension eq(dist(f[110],f[262]),d[1042]) -> extension (support ? 1) - 1305tuples
7.38/7.41 c intension eq(dist(f[110],f[351]),d[1045]) -> extension (support ? 1) - 2025tuples
7.38/7.46 c intension eq(dist(f[110],f[364]),d[1046]) -> extension (support ? 1) - 1305tuples
7.38/7.48 c intension eq(dist(f[111],f[167]),d[1049]) -> extension (support ? 1) - 1015tuples
7.48/7.51 c intension eq(dist(f[111],f[195]),d[1050]) -> extension (support ? 1) - 841tuples
7.48/7.54 c intension -> extension : same as previous
7.48/7.54 c intension eq(dist(f[111],f[262]),d[1053]) -> extension (support ? 1) - 841tuples
7.48/7.57 c intension -> extension : same as previous
7.48/7.57 c intension eq(dist(f[114],f[131]),d[1079]) -> extension (support ? 1) - 841tuples
7.48/7.59 c intension eq(dist(f[114],f[210]),d[1082]) -> extension (support ? 1) - 725tuples
7.58/7.63 c intension eq(dist(f[114],f[247]),d[1083]) -> extension (support ? 1) - 1305tuples
7.58/7.67 c intension eq(dist(f[114],f[315]),d[1086]) -> extension (support ? 1) - 1305tuples
7.58/7.69 c intension eq(dist(f[114],f[326]),d[1087]) -> extension (support ? 1) - 841tuples
7.68/7.75 c intension eq(dist(f[114],f[418]),d[1088]) -> extension (support ? 1) - 1479tuples
7.78/7.80 c intension eq(dist(f[116],f[355]),d[1098]) -> extension (support ? 1) - 1131tuples
7.78/7.86 c intension eq(dist(f[119],f[204]),d[1120]) -> extension (support ? 1) - 1131tuples
7.89/7.91 c intension eq(dist(f[119],f[310]),d[1121]) -> extension (support ? 1) - 1305tuples
7.89/7.92 c intension eq(dist(f[119],f[311]),d[1122]) -> extension (support ? 1) - 841tuples
7.89/7.98 c intension eq(dist(f[120],f[210]),d[1127]) -> extension (support ? 1) - 1175tuples
7.99/8.03 c intension eq(dist(f[127],f[142]),d[1183]) -> extension (support ? 1) - 1015tuples
7.99/8.08 c intension eq(dist(f[131],f[231]),d[1209]) -> extension (support ? 1) - 1305tuples
7.99/8.10 c intension eq(dist(f[134],f[166]),d[1225]) -> extension (support ? 1) - 625tuples
8.10/8.11 c intension -> extension : same as previous
8.10/8.11 c intension eq(dist(f[134],f[210]),d[1228]) -> extension (support ? 1) - 625tuples
8.10/8.15 c intension eq(dist(f[134],f[388]),d[1231]) -> extension (support ? 1) - 1275tuples
8.10/8.19 c intension eq(dist(f[135],f[179]),d[1232]) -> extension (support ? 1) - 1521tuples
8.19/8.24 c intension eq(dist(f[135],f[262]),d[1234]) -> extension (support ? 1) - 1131tuples
8.29/8.31 c intension eq(dist(f[135],f[274]),d[1235]) -> extension (support ? 1) - 1365tuples
8.29/8.35 c intension eq(dist(f[135],f[323]),d[1236]) -> extension (support ? 1) - 975tuples
8.39/8.41 c intension eq(dist(f[135],f[326]),d[1237]) -> extension (support ? 1) - 1131tuples
8.39/8.45 c intension eq(dist(f[136],f[219]),d[1241]) -> extension (support ? 1) - 1305tuples
8.39/8.48 c intension eq(dist(f[136],f[308]),d[1243]) -> extension (support ? 1) - 1015tuples
8.49/8.51 c intension eq(dist(f[136],f[410]),d[1244]) -> extension (support ? 1) - 841tuples
8.49/8.52 c intension eq(dist(f[137],f[258]),d[1246]) -> extension (support ? 1) - 841tuples
8.49/8.55 c intension -> extension : same as previous
8.49/8.55 c intension eq(dist(f[137],f[307]),d[1248]) -> extension (support ? 1) - 841tuples
8.49/8.58 c intension eq(dist(f[137],f[397]),d[1250]) -> extension (support ? 1) - 1015tuples
8.59/8.62 c intension eq(dist(f[142],f[216]),d[1287]) -> extension (support ? 1) - 841tuples
8.59/8.67 c intension eq(dist(f[142],f[388]),d[1290]) -> extension (support ? 1) - 1479tuples
8.69/8.70 c intension eq(dist(f[142],f[402]),d[1291]) -> extension (support ? 1) - 1015tuples
8.69/8.75 c intension eq(dist(f[143],f[307]),d[1294]) -> extension (support ? 1) - 1131tuples
8.79/8.80 c intension eq(dist(f[143],f[370]),d[1295]) -> extension (support ? 1) - 1131tuples
8.79/8.87 c intension eq(dist(f[143],f[398]),d[1296]) -> extension (support ? 1) - 1365tuples
8.88/8.93 c intension eq(dist(f[147],f[192]),d[1326]) -> extension (support ? 1) - 1479tuples
8.88/8.99 c intension eq(dist(f[147],f[355]),d[1329]) -> extension (support ? 1) - 1479tuples
8.99/9.04 c intension eq(dist(f[147],f[404]),d[1330]) -> extension (support ? 1) - 1479tuples
8.99/9.06 c intension eq(dist(f[148],f[166]),d[1331]) -> extension (support ? 1) - 725tuples
8.99/9.09 c intension eq(dist(f[148],f[291]),d[1332]) -> extension (support ? 1) - 841tuples
9.09/9.14 c intension eq(dist(f[148],f[408]),d[1333]) -> extension (support ? 1) - 1131tuples
9.09/9.17 c intension eq(dist(f[152],f[166]),d[1353]) -> extension (support ? 1) - 725tuples
9.18/9.20 c intension eq(dist(f[152],f[195]),d[1354]) -> extension (support ? 1) - 841tuples
9.18/9.22 c intension eq(dist(f[152],f[244]),d[1355]) -> extension (support ? 1) - 841tuples
9.18/9.24 c intension eq(dist(f[152],f[280]),d[1356]) -> extension (support ? 1) - 725tuples
9.18/9.29 c intension eq(dist(f[152],f[315]),d[1357]) -> extension (support ? 1) - 1305tuples
9.29/9.32 c intension eq(dist(f[152],f[355]),d[1359]) -> extension (support ? 1) - 841tuples
9.39/9.40 c intension eq(dist(f[162],f[391]),d[1427]) -> extension (support ? 1) - 1575tuples
9.39/9.45 c intension eq(dist(f[164],f[259]),d[1428]) -> extension (support ? 1) - 1305tuples
9.49/9.51 c intension -> extension : same as previous
9.49/9.51 c intension eq(dist(f[166],f[352]),d[1435]) -> extension (support ? 1) - 1175tuples
9.49/9.55 c intension eq(dist(f[166],f[363]),d[1436]) -> extension (support ? 1) - 975tuples
9.49/9.57 c intension eq(dist(f[166],f[390]),d[1437]) -> extension (support ? 1) - 725tuples
9.59/9.64 c intension eq(dist(f[167],f[179]),d[1440]) -> extension (support ? 1) - 1365tuples
9.69/9.71 c intension eq(dist(f[167],f[282]),d[1443]) -> extension (support ? 1) - 1365tuples
9.69/9.76 c intension eq(dist(f[168],f[234]),d[1446]) -> extension (support ? 1) - 1131tuples
9.69/9.78 c intension eq(dist(f[172],f[280]),d[1471]) -> extension (support ? 1) - 625tuples
9.69/9.80 c intension eq(dist(f[172],f[326]),d[1473]) -> extension (support ? 1) - 725tuples
9.79/9.81 c intension eq(dist(f[172],f[355]),d[1475]) -> extension (support ? 1) - 725tuples
9.79/9.87 c intension eq(dist(f[176],f[418]),d[1502]) -> extension (support ? 1) - 1479tuples
9.88/9.93 c intension eq(dist(f[177],f[267]),d[1507]) -> extension (support ? 1) - 1479tuples
9.88/9.97 c intension eq(dist(f[179],f[199]),d[1520]) -> extension (support ? 1) - 1521tuples
10.00/10.03 c intension -> extension : same as previous
10.00/10.03 c intension eq(dist(f[179],f[258]),d[1522]) -> extension (support ? 1) - 1131tuples
10.00/10.06 c intension eq(dist(f[180],f[244]),d[1526]) -> extension (support ? 1) - 841tuples
10.00/10.08 c intension eq(dist(f[180],f[303]),d[1528]) -> extension (support ? 1) - 841tuples
10.10/10.13 c intension eq(dist(f[182],f[267]),d[1536]) -> extension (support ? 1) - 1479tuples
10.10/10.18 c intension eq(dist(f[192],f[313]),d[1592]) -> extension (support ? 1) - 841tuples
10.19/10.20 c intension eq(dist(f[195],f[216]),d[1608]) -> extension (support ? 1) - 841tuples
10.19/10.22 c intension eq(dist(f[195],f[262]),d[1610]) -> extension (support ? 1) - 841tuples
10.19/10.25 c intension eq(dist(f[195],f[265]),d[1611]) -> extension (support ? 1) - 841tuples
10.19/10.27 c intension eq(dist(f[195],f[281]),d[1612]) -> extension (support ? 1) - 841tuples
10.19/10.29 c intension eq(dist(f[195],f[364]),d[1614]) -> extension (support ? 1) - 841tuples
10.29/10.32 c intension eq(dist(f[198],f[274]),d[1631]) -> extension (support ? 1) - 1015tuples
10.29/10.35 c intension eq(dist(f[198],f[355]),d[1632]) -> extension (support ? 1) - 841tuples
10.29/10.37 c intension eq(dist(f[198],f[400]),d[1634]) -> extension (support ? 1) - 1015tuples
10.29/10.39 c intension eq(dist(f[198],f[404]),d[1635]) -> extension (support ? 1) - 841tuples
10.39/10.44 c intension eq(dist(f[199],f[224]),d[1636]) -> extension (support ? 1) - 1131tuples
10.49/10.50 c intension eq(dist(f[204],f[264]),d[1663]) -> extension (support ? 1) - 1131tuples
10.49/10.56 c intension eq(dist(f[210],f[263]),d[1694]) -> extension (support ? 1) - 1575tuples
10.49/10.58 c intension eq(dist(f[210],f[293]),d[1696]) -> extension (support ? 1) - 725tuples
10.59/10.61 c intension eq(dist(f[216],f[264]),d[1723]) -> extension (support ? 1) - 841tuples
10.59/10.63 c intension eq(dist(f[216],f[293]),d[1724]) -> extension (support ? 1) - 841tuples
10.59/10.68 c intension -> extension : same as previous
10.59/10.68 c intension eq(dist(f[219],f[293]),d[1742]) -> extension (support ? 1) - 1305tuples
10.69/10.74 c intension eq(dist(f[224],f[310]),d[1773]) -> extension (support ? 1) - 1305tuples
10.69/10.75 c intension eq(dist(f[224],f[355]),d[1775]) -> extension (support ? 1) - 841tuples
10.78/10.81 c intension eq(dist(f[224],f[408]),d[1776]) -> extension (support ? 1) - 1131tuples
10.78/10.85 c intension eq(dist(f[225],f[311]),d[1778]) -> extension (support ? 1) - 1305tuples
10.78/10.88 c intension eq(dist(f[233],f[234]),d[1810]) -> extension (support ? 1) - 841tuples
10.88/10.91 c intension eq(dist(f[233],f[238]),d[1811]) -> extension (support ? 1) - 841tuples
10.88/10.93 c intension eq(dist(f[233],f[269]),d[1812]) -> extension (support ? 1) - 1015tuples
10.88/10.97 c intension eq(dist(f[234],f[291]),d[1816]) -> extension (support ? 1) - 841tuples
10.88/10.98 c intension eq(dist(f[234],f[311]),d[1817]) -> extension (support ? 1) - 841tuples
10.99/11.01 c intension eq(dist(f[234],f[355]),d[1818]) -> extension (support ? 1) - 841tuples
10.99/11.06 c intension eq(dist(f[238],f[310]),d[1835]) -> extension (support ? 1) - 1305tuples
11.10/11.13 c intension eq(dist(f[241],f[353]),d[1845]) -> extension (support ? 1) - 1827tuples
11.10/11.19 c intension eq(dist(f[243],f[280]),d[1852]) -> extension (support ? 1) - 1175tuples
11.19/11.21 c intension eq(dist(f[244],f[264]),d[1857]) -> extension (support ? 1) - 841tuples
11.19/11.26 c intension eq(dist(f[244],f[282]),d[1858]) -> extension (support ? 1) - 1131tuples
11.19/11.28 c intension eq(dist(f[244],f[370]),d[1859]) -> extension (support ? 1) - 841tuples
11.29/11.32 c intension eq(dist(f[248],f[323]),d[1881]) -> extension (support ? 1) - 1275tuples
11.29/11.37 c intension eq(dist(f[258],f[281]),d[1923]) -> extension (support ? 1) - 841tuples
11.39/11.41 c intension eq(dist(f[258],f[310]),d[1925]) -> extension (support ? 1) - 1305tuples
11.39/11.43 c intension eq(dist(f[258],f[370]),d[1926]) -> extension (support ? 1) - 841tuples
11.39/11.46 c intension eq(dist(f[262],f[311]),d[1941]) -> extension (support ? 1) - 841tuples
11.39/11.49 c intension eq(dist(f[264],f[323]),d[1951]) -> extension (support ? 1) - 725tuples
11.49/11.51 c intension eq(dist(f[264],f[390]),d[1952]) -> extension (support ? 1) - 841tuples
11.49/11.53 c intension eq(dist(f[264],f[397]),d[1953]) -> extension (support ? 1) - 1015tuples
11.49/11.56 c intension eq(dist(f[265],f[326]),d[1958]) -> extension (support ? 1) - 841tuples
11.49/11.59 c intension eq(dist(f[267],f[311]),d[1960]) -> extension (support ? 1) - 841tuples
11.59/11.62 c intension eq(dist(f[269],f[274]),d[1964]) -> extension (support ? 1) - 1225tuples
11.59/11.67 c intension -> extension : same as previous
11.59/11.67 c intension -> extension : same as previous
11.59/11.67 c intension eq(dist(f[280],f[402]),d[2001]) -> extension (support ? 1) - 875tuples
11.59/11.68 c intension eq(dist(f[281],f[303]),d[2002]) -> extension (support ? 1) - 841tuples
11.68/11.73 c intension eq(dist(f[282],f[392]),d[2003]) -> extension (support ? 1) - 1131tuples
11.78/11.80 c intension eq(dist(f[286],f[391]),d[2019]) -> extension (support ? 1) - 2025tuples
11.78/11.84 c intension eq(dist(f[303],f[326]),d[2082]) -> extension (support ? 1) - 841tuples
11.78/11.88 c intension eq(dist(f[303],f[398]),d[2084]) -> extension (support ? 1) - 1015tuples
11.89/11.91 c intension eq(dist(f[307],f[361]),d[2093]) -> extension (support ? 1) - 841tuples
11.89/11.94 c intension -> extension : same as previous
11.89/11.94 c intension eq(dist(f[308],f[398]),d[2097]) -> extension (support ? 1) - 1225tuples
12.00/12.01 c intension eq(dist(f[310],f[324]),d[2101]) -> extension (support ? 1) - 2025tuples
12.00/12.04 c intension eq(dist(f[311],f[401]),d[2107]) -> extension (support ? 1) - 841tuples
12.00/12.09 c intension eq(dist(f[312],f[318]),d[2108]) -> extension (support ? 1) - 1479tuples
12.10/12.14 c intension eq(dist(f[312],f[404]),d[2112]) -> extension (support ? 1) - 1479tuples
12.10/12.16 c intension eq(dist(f[313],f[318]),d[2113]) -> extension (support ? 1) - 841tuples
12.19/12.21 c intension eq(dist(f[313],f[391]),d[2114]) -> extension (support ? 1) - 1305tuples
12.19/12.25 c intension eq(dist(f[315],f[364]),d[2115]) -> extension (support ? 1) - 1305tuples
12.19/12.30 c intension eq(dist(f[318],f[379]),d[2123]) -> extension (support ? 1) - 1305tuples
12.29/12.34 c intension eq(dist(f[318],f[398]),d[2124]) -> extension (support ? 1) - 1015tuples
12.29/12.39 c intension eq(dist(f[318],f[418]),d[2125]) -> extension (support ? 1) - 1479tuples
12.39/12.41 c intension eq(dist(f[323],f[353]),d[2134]) -> extension (support ? 1) - 725tuples
12.39/12.45 c intension eq(dist(f[323],f[408]),d[2135]) -> extension (support ? 1) - 975tuples
12.39/12.48 c intension eq(dist(f[326],f[390]),d[2136]) -> extension (support ? 1) - 841tuples
12.49/12.56 c intension eq(dist(f[351],f[391]),d[2190]) -> extension (support ? 1) - 2025tuples
12.49/12.59 c intension eq(dist(f[353],f[361]),d[2192]) -> extension (support ? 1) - 841tuples
12.59/12.61 c intension eq(dist(f[353],f[364]),d[2193]) -> extension (support ? 1) - 841tuples
12.59/12.64 c intension eq(dist(f[360],f[361]),d[2203]) -> extension (support ? 1) - 1015tuples
12.59/12.66 c intension eq(dist(f[360],f[398]),d[2204]) -> extension (support ? 1) - 1225tuples
12.59/12.68 c intension eq(dist(f[361],f[390]),d[2206]) -> extension (support ? 1) - 841tuples
12.69/12.75 c intension eq(dist(f[363],f[400]),d[2209]) -> extension (support ? 1) - 1365tuples
12.69/12.77 c intension eq(dist(f[387],f[390]),d[2237]) -> extension (support ? 1) - 841tuples
12.79/12.80 c intension eq(dist(f[387],f[392]),d[2238]) -> extension (support ? 1) - 841tuples
12.79/12.86 c intension eq(dist(f[392],f[403]),d[2240]) -> extension (support ? 1) - 1479tuples
702.68/702.71 c enable optimization
702.68/702.71 c ========================================[ Problem Statistics ]===========================================
702.68/702.71 c |
702.68/702.71 c | Parse time : 62.42 s
702.68/702.71 c |
702.68/702.71 c | Variables: 7590
702.68/702.71 c | Domain Sizes: 1..151
702.68/702.71 c |
702.68/702.71 c | Constraints: 4737
702.68/702.71 c | Arity: 2..4501 -- Binary: 237 -- Ternary: 2249
702.68/702.71 c |
702.68/702.71 c | Types:
702.68/702.71 c | (X != Y): 7
702.68/702.71 c | (X = Y): 9
702.68/702.71 c | Extension: 2791 (nb tuples: 0..7224) -- (shared: 101)
702.68/702.71 c | Intension: 1929
702.68/702.71 c | Sum: 1
702.68/702.71 c |
702.68/702.71 c | Objective: Minimize Sum
702.68/702.71
702.68/702.71 c =========================================================================================================
702.68/702.71 o 578530015
702.68/702.71 c 1 calls to solver(id=0): best=578530015 lower=0 upper=578530014
713.98/714.01 o 578507515
719.88/719.91 o 578507509
719.88/719.91 c 3 calls to solver(id=0): best=578507509 lower=0 upper=578507508
767.10/767.19 o 578507498
920.01/920.04 o 578507493
920.01/920.05 c 5 calls to solver(id=0): best=578507493 lower=0 upper=578507492
926.81/926.86 o 578507483
939.81/939.86 o 578507479
939.81/939.86 c 7 calls to solver(id=0): best=578507479 lower=0 upper=578507478
972.51/972.58 o 578507469
1012.02/1012.08 o 578507462
1012.02/1012.09 c 9 calls to solver(id=0): best=578507462 lower=0 upper=578507461
1019.32/1019.32 o 578507457
1112.14/1112.16 o 578507452
1112.14/1112.16 c 11 calls to solver(id=0): best=578507452 lower=0 upper=578507451
1275.75/1275.79 o 578507444
1372.97/1372.98 o 578507434
1372.97/1372.98 c 13 calls to solver(id=0): best=578507434 lower=0 upper=578507433
1401.27/1401.22 o 578417394
1701.81/1701.74 o 578394904
1701.81/1701.74 c 15 calls to solver(id=0): best=578394904 lower=0 upper=578394903
1813.62/1813.53 o 578394894
1821.32/1821.21 o 578394884
1821.32/1821.21 c 17 calls to solver(id=0): best=578394884 lower=0 upper=578394883
2400.00/2399.80
2400.00/2399.80 c *** INTERRUPTED ***
2400.00/2399.80 c call to solver : 17
2400.00/2399.80 c
2400.00/2399.80 c restarts : 252
2400.00/2399.80 c conflicts : 106695 (44 /sec)
2400.00/2399.80 c decisions : 1492594 (622 /sec)
2400.00/2399.80 c propagations : 143840357 (59960 /sec)
2400.00/2399.80 c root propagations : 18913
2400.00/2399.80 c filter calls : 15279453 (6369 /sec)
2400.00/2399.80 c useless filter calls : 10028685 (65 %)
2400.00/2399.80 c Memory used : 1137.50 MB
2400.00/2399.80 c Best bound time (wc) : 1821.21 s
2400.00/2399.80 c CPU time : 2398.94 s
2400.00/2399.80 c real time : 2399.8 s
2400.00/2399.80
2400.00/2399.80 c nb Solutions = 17
2400.00/2399.80 s SATISFIABLE
2400.00/2399.80 c Best value found: 578394884
2400.00/2399.80
2400.00/2399.80
2400.00/2399.80 v <instantiation type='solution' cost='578394884'>
2400.00/2399.80 v <list>d[0] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[100] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[101] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[102] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[103] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[104] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[105] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[106] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[107] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[108] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[109] d[10] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[110] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[111] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[112] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[113] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[114] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[115] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[116] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[117] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[118] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[119] d[11] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[120] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[121] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[122] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[123] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[124] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[125] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[126] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[127] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[128] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[129] d[12] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[130] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[131] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[132] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[133] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[134] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[135] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[136] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[137] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[138] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[139] d[13] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[140] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[141] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[142] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[143] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[144] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[145] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[146] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[147] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[148] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[149] d[14] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[150] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[151] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[152] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[153] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[154] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[155] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[156] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[157] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[158] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[159] d[15] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[160] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[161] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[162] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[163] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[164] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[165] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[166] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[167] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[168] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[169] d[16] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[170] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[171] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[172] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[173] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[174] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[175] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[176] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[177] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[178] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[179] d[17] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[180] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[181] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[182] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[183] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[184] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[185] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[186] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[187] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[188] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[189] d[18] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[190] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[191] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[192] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[193] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[194] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[195] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[196] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[197] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[198] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[199] d[19] d[1] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[200] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[201] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[202] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[203] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[2049] d[204] d[2050] d[2051] d[2052] d[2053] d[2054] d[2055] d[2056] d[2057] d[2058] d[2059] d[205] d[2060] d[2061] d[2062] d[2063] d[2064] d[2065] d[2066] d[2067] d[2068] d[2069] d[206] d[2070] d[2071] d[2072] d[2073] d[2074] d[2075] d[2076] d[2077] d[2078] d[2079] d[207] d[2080] d[2081] d[2082] d[2083] d[2084] d[2085] d[2086] d[2087] d[2088] d[2089] d[208] d[2090] d[2091] d[2092] d[2093] d[2094] d[2095] d[2096] d[2097] d[2098] d[2099] d[209] d[20] d[2100] d[2101] d[2102] d[2103] d[2104] d[2105] d[2106] d[2107] d[2108] d[2109] d[210] d[2110] d[2111] d[2112] d[2113] d[2114] d[2115] d[2116] d[2117] d[2118] d[2119] d[211] d[2120] d[2121] d[2122] d[2123] d[2124] d[2125] d[2126] d[2127] d[2128] d[2129] d[212] d[2130] d[2131] d[2132] d[2133] d[2134] d[2135] d[2136] d[2137] d[2138] d[2139] d[213] d[2140] d[2141] d[2142] d[2143] d[2144] d[2145] d[2146] d[2147] d[2148] d[2149] d[214] d[2150] d[2151] d[2152] d[2153] d[2154] d[2155] d[2156] d[2157] d[2158] d[2159] d[215] d[2160] d[2161] d[2162] d[2163] d[2164] d[2165] d[2166] d[2167] d[2168] d[2169] d[216] d[2170] d[2171] d[2172] d[2173] d[2174] d[2175] d[2176] d[2177] d[2178] d[2179] d[217] d[2180] d[2181] d[2182] d[2183] d[2184] d[2185] d[2186] d[2187] d[2188] d[2189] d[218] d[2190] d[2191] d[2192] d[2193] d[2194] d[2195] d[2196] d[2197] d[2198] d[2199] d[219] d[21] d[2200] d[2201] d[2202] d[2203] d[2204] d[2205] d[2206] d[2207] d[2208] d[2209] d[220] d[2210] d[2211] d[2212] d[2213] d[2214] d[2215] d[2216] d[2217] d[2218] d[2219] d[221] d[2220] d[2221] d[2222] d[2223] d[2224] d[2225] d[2226] d[2227] d[2228] d[2229] d[222] d[2230] d[2231] d[2232] d[2233] d[2234] d[2235] d[2236] d[2237] d[2238] d[2239] d[223] d[2240] d[2241] d[2242] d[2243] d[2244] d[2245] d[2246] d[2247] d[2248] d[224] d[225] d[226] d[227] d[228] d[229] d[22] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[23] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[24] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[25] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[26] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[27] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[28] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[29] d[2] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[30] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[31] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[32] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[33] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[34] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[35] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[36] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[37] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[38] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[39] d[3] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[40] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[41] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[42] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[43] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[44] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[45] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[46] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[47] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[48] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[49] d[4] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[50] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[51] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[52] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[53] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[54] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[55] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[56] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[57] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[58] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[59] d[5] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[60] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[61] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[62] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[63] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[64] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[65] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[66] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[67] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[68] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[69] d[6] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[70] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[71] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[72] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[73] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[74] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[75] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[76] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[77] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[78] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[79] d[7] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[80] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[81] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[82] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[83] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[84] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[85] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[86] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[87] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[88] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[89] d[8] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[90] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[91] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[92] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[93] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[94] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[95] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[96] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[97] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[98] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[99] d[9] f[0] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[10] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[11] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[12] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[13] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[14] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[15] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[16] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[17] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[18] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[19] f[1] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[20] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[21] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[22] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[23] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[24] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[25] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[26] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[27] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[28] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[29] f[2] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[30] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[31] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[32] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[33] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[34] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[35] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[36] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[37] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[38] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] f[39] f[3] f[400] f[401] f[402] f[403] f[404] f[405] f[406] f[407] f[408] f[409] f[40] f[410] f[411] f[412] f[413] f[414] f[415] f[416] f[417] f[418] f[419] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[4] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[5] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[6] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[7] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[8] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[9] k p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[15] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[16] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[17] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[18] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[19] p[1] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[20] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[21] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[22] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[23] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[24] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[25] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[26] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[27] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[28] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[29] p[2] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[30] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[31] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[32] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[33] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[34] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[35] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[36] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[37] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[38] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[39] p[3] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[40] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[9] v1[0] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[100] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[101] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[102] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[103] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[104] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[105] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[106] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[107] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[108] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[109] v1[10] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[110] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[111] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[112] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[113] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[114] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[115] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[116] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[117] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[118] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[119] v1[11] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[120] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[121] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[122] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[123] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[124] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[125] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[126] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[127] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[128] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[129] v1[12] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[130] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[131] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[132] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[133] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[134] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[135] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[136] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[137] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[138] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[139] v1[13] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[140] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[141] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[142] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[143] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[144] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[145] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[146] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[147] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[148] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[149] v1[14] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[150] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[151] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[152] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[153] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[154] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[155] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[156] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[157] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[158] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[159] v1[15] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[160] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[161] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[162] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[163] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[164] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[165] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[166] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[167] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[168] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[169] v1[16] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[170] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[171] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[172] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[173] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[174] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[175] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[176] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[177] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[178] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[179] v1[17] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[180] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[181] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[182] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[183] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[184] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[185] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[186] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[187] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[188] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[189] v1[18] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[190] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[191] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[192] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[193] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[194] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[195] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[196] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[197] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[198] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[199] v1[19] v1[1] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[200] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[201] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[202] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[203] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[204] v1[2050] v1[2051] v1[2052] v1[2053] v1[2054] v1[2055] v1[2056] v1[2057] v1[2058] v1[2059] v1[205] v1[2060] v1[2061] v1[2062] v1[2063] v1[2064] v1[2065] v1[2066] v1[2067] v1[2068] v1[2069] v1[206] v1[2070] v1[2071] v1[2072] v1[2073] v1[2074] v1[2075] v1[2076] v1[2077] v1[2078] v1[2079] v1[207] v1[2080] v1[2081] v1[2082] v1[2083] v1[2084] v1[2085] v1[2086] v1[2087] v1[2088] v1[2089] v1[208] v1[2090] v1[2091] v1[2092] v1[2093] v1[2094] v1[2095] v1[2096] v1[2097] v1[2098] v1[2099] v1[209] v1[20] v1[2100] v1[2101] v1[2102] v1[2103] v1[2104] v1[2105] v1[2106] v1[2107] v1[2108] v1[2109] v1[210] v1[2110] v1[2111] v1[2112] v1[2113] v1[2114] v1[2115] v1[2116] v1[2117] v1[2118] v1[2119] v1[211] v1[2120] v1[2121] v1[2122] v1[2123] v1[2124] v1[2125] v1[2126] v1[2127] v1[2128] v1[2129] v1[212] v1[2130] v1[2131] v1[2132] v1[2133] v1[2134] v1[2135] v1[2136] v1[2137] v1[2138] v1[2139] v1[213] v1[2140] v1[2141] v1[2142] v1[2143] v1[2144] v1[2145] v1[2146] v1[2147] v1[2148] v1[2149] v1[214] v1[2150] v1[2151] v1[2152] v1[2153] v1[2154] v1[2155] v1[2156] v1[2157] v1[2158] v1[2159] v1[215] v1[2160] v1[2161] v1[2162] v1[2163] v1[2164] v1[2165] v1[2166] v1[2167] v1[2168] v1[2169] v1[216] v1[2170] v1[2171] v1[2172] v1[2173] v1[2174] v1[2175] v1[2176] v1[2177] v1[2178] v1[2179] v1[217] v1[2180] v1[2181] v1[2182] v1[2183] v1[2184] v1[2185] v1[2186] v1[2187] v1[2188] v1[2189] v1[218] v1[2190] v1[2191] v1[2192] v1[2193] v1[2194] v1[2195] v1[2196] v1[2197] v1[2198] v1[2199] v1[219] v1[21] v1[2200] v1[2201] v1[2202] v1[2203] v1[2204] v1[2205] v1[2206] v1[2207] v1[2208] v1[2209] v1[220] v1[2210] v1[2211] v1[2212] v1[2213] v1[2214] v1[2215] v1[2216] v1[2217] v1[2218] v1[2219] v1[221] v1[2220] v1[2221] v1[2222] v1[2223] v1[2224] v1[2225] v1[2226] v1[2227] v1[2228] v1[2229] v1[222] v1[2230] v1[2231] v1[2232] v1[2233] v1[2234] v1[2235] v1[2236] v1[2237] v1[2238] v1[2239] v1[223] v1[2240] v1[2241] v1[2242] v1[2243] v1[2244] v1[2245] v1[2246] v1[2247] v1[2248] v1[2249] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[22] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[23] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[24] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[25] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[26] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[27] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[28] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[29] v1[2] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[30] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[31] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[32] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[33] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[34] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[35] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[36] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[37] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[38] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[39] v1[3] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[40] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[41] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[42] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[43] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[44] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[45] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[46] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[47] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[48] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[49] v1[4] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[50] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[51] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[52] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[53] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[54] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[55] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[56] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[57] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[58] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[59] v1[5] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[60] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[61] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[62] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[63] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[64] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[65] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[66] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[67] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[68] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[69] v1[6] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[70] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[71] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[72] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[73] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[74] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[75] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[76] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[77] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[78] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[79] v1[7] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[80] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[81] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[82] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[83] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[84] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[85] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[86] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[87] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[88] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[89] v1[8] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[90] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[91] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[92] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[93] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[94] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[95] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[96] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[97] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[98] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[99] v1[9] v2[0] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[100] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[101] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[102] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[103] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[104] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[105] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[106] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[107] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[108] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[109] v2[10] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[110] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[111] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[112] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[113] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[114] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[115] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[116] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[117] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[118] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[119] v2[11] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[120] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[121] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[122] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[123] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[124] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[125] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[126] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[127] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[128] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[129] v2[12] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[130] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[131] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[132] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[133] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[134] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[135] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[136] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[137] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[138] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[139] v2[13] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[140] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[141] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[142] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[143] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[144] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[145] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[146] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[147] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[148] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[149] v2[14] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[150] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[151] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[152] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[153] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[154] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[155] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[156] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[157] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[158] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[159] v2[15] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[160] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[161] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[162] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[163] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[164] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[165] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[166] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[167] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[168] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[169] v2[16] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[170] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[171] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[172] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[173] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[174] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[175] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[176] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[177] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[178] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[179] v2[17] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[180] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[181] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[182] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[183] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[184] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[185] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[186] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[187] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[188] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[189] v2[18] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[190] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[191] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[192] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[193] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[194] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[195] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[196] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[197] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[198] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[199] v2[19] v2[1] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[200] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[201] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[202] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[203] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[204] v2[2050] v2[2051] v2[2052] v2[2053] v2[2054] v2[2055] v2[2056] v2[2057] v2[2058] v2[2059] v2[205] v2[2060] v2[2061] v2[2062] v2[2063] v2[2064] v2[2065] v2[2066] v2[2067] v2[2068] v2[2069] v2[206] v2[2070] v2[2071] v2[2072] v2[2073] v2[2074] v2[2075] v2[2076] v2[2077] v2[2078] v2[2079] v2[207] v2[2080] v2[2081] v2[2082] v2[2083] v2[2084] v2[2085] v2[2086] v2[2087] v2[2088] v2[2089] v2[208] v2[2090] v2[2091] v2[2092] v2[2093] v2[2094] v2[2095] v2[2096] v2[2097] v2[2098] v2[2099] v2[209] v2[20] v2[2100] v2[2101] v2[2102] v2[2103] v2[2104] v2[2105] v2[2106] v2[2107] v2[2108] v2[2109] v2[210] v2[2110] v2[2111] v2[2112] v2[2113] v2[2114] v2[2115] v2[2116] v2[2117] v2[2118] v2[2119] v2[211] v2[2120] v2[2121] v2[2122] v2[2123] v2[2124] v2[2125] v2[2126] v2[2127] v2[2128] v2[2129] v2[212] v2[2130] v2[2131] v2[2132] v2[2133] v2[2134] v2[2135] v2[2136] v2[2137] v2[2138] v2[2139] v2[213] v2[2140] v2[2141] v2[2142] v2[2143] v2[2144] v2[2145] v2[2146] v2[2147] v2[2148] v2[2149] v2[214] v2[2150] v2[2151] v2[2152] v2[2153] v2[2154] v2[2155] v2[2156] v2[2157] v2[2158] v2[2159] v2[215] v2[2160] v2[2161] v2[2162] v2[2163] v2[2164] v2[2165] v2[2166] v2[2167] v2[2168] v2[2169] v2[216] v2[2170] v2[2171] v2[2172] v2[2173] v2[2174] v2[2175] v2[2176] v2[2177] v2[2178] v2[2179] v2[217] v2[2180] v2[2181] v2[2182] v2[2183] v2[2184] v2[2185] v2[2186] v2[2187] v2[2188] v2[2189] v2[218] v2[2190] v2[2191] v2[2192] v2[2193] v2[2194] v2[2195] v2[2196] v2[2197] v2[2198] v2[2199] v2[219] v2[21] v2[2200] v2[2201] v2[2202] v2[2203] v2[2204] v2[2205] v2[2206] v2[2207] v2[2208] v2[2209] v2[220] v2[2210] v2[2211] v2[2212] v2[2213] v2[2214] v2[2215] v2[2216] v2[2217] v2[2218] v2[2219] v2[221] v2[2220] v2[2221] v2[2222] v2[2223] v2[2224] v2[2225] v2[2226] v2[2227] v2[2228] v2[2229] v2[222] v2[2230] v2[2231] v2[2232] v2[2233] v2[2234] v2[2235] v2[2236] v2[2237] v2[2238] v2[2239] v2[223] v2[2240] v2[2241] v2[2242] v2[2243] v2[2244] v2[2245] v2[2246] v2[2247] v2[2248] v2[2249] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[22] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[23] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[24] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[25] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[26] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[27] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[28] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[29] v2[2] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[30] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[31] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[32] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[33] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[34] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[35] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[36] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[37] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[38] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[39] v2[3] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[40] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[41] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[42] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[43] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[44] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[45] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[46] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[47] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[48] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[49] v2[4] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[50] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[51] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[52] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[53] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[54] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[55] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[56] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[57] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[58] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[59] v2[5] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[60] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[61] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[62] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[63] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[64] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[65] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[66] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[67] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[68] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[69] v2[6] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[70] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[71] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[72] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[73] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[74] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[75] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[76] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[77] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[78] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[79] v2[7] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[80] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[81] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[82] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[83] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[84] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[85] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[86] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[87] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[88] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[89] v2[8] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[90] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[91] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[92] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[93] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[94] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[95] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[96] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[97] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[98] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[99] v2[9] </list>
2400.00/2399.80 v <values>40 44 208 396 396 436 436 436 396 436 436 64 372 484 444 28 176 444 176 188 280 24 40 232 172 400 172 52 168 324 16 36 64 40 256 20 256 296 248 256 92 232 296 296 0 256 308 120 308 308 0 192 0 316 96 0 20 76 276 60 72 200 376 0 0 0 0 296 532 0 352 40 0 376 40 0 64 64 0 0 0 468 0 0 64 408 400 52 308 480 396 96 128 440 440 116 56 184 52 328 52 52 52 92 508 216 260 132 216 124 12 208 40 248 80 40 196 80 376 92 360 40 364 40 0 0 0 0 116 0 64 172 16 324 232 96 68 404 404 12 88 332 244 148 0 0 244 0 124 516 20 60 96 44 176 76 260 556 516 280 68 184 556 348 516 28 180 516 504 356 556 132 296 40 296 0 52 232 408 368 28 372 352 336 336 40 328 376 8 324 336 48 48 56 280 24 16 16 16 108 16 56 420 64 40 312 556 0 324 104 352 0 156 80 40 40 104 40 40 0 556 364 68 388 496 0 0 40 40 272 368 0 80 112 132 60 92 92 504 408 356 92 52 76 280 296 356 416 0 12 96 44 428 84 428 284 468 12 40 296 296 220 280 292 92 180 304 204 16 16 40 76 208 32 32 112 260 260 80 288 40 40 456 572 32 168 176 196 0 196 364 172 228 304 112 268 456 388 40 92 196 196 88 100 316 0 0 40 0 296 92 532 352 40 336 0 140 336 120 72 224 220 80 64 164 52 276 216 244 104 0 52 280 232 64 64 64 0 64 64 64 372 332 360 248 40 40 276 488 0 48 388 528 0 52 92 0 344 4 168 424 500 68 392 20 44 296 136 24 116 144 236 232 196 132 276 120 176 28 56 332 284 124 292 332 36 236 152 32 36 92 20 36 52 12 36 28 336 52 284 200 24 40 40 40 40 40 40 40 24 180 132 0 0 24 24 0 40 40 104 0 40 80 40 40 40 0 476 596 0 40 40 224 0 40 40 372 0 40 272 424 352 440 296 0 336 600 288 40 196 56 80 232 268 328 36 24 40 296 40 40 40 40 24 152 72 336 40 0 0 532 456 600 364 16 116 120 336 164 324 0 328 332 320 200 36 236 232 80 100 172 288 140 256 32 196 164 84 112 296 272 156 152 440 152 540 500 232 100 476 72 44 304 516 420 48 420 140 364 156 224 252 136 52 380 0 384 36 40 40 40 24 36 0 40 76 40 368 152 0 388 328 0 412 0 392 192 596 100 296 352 336 296 296 36 300 296 388 92 356 164 200 56 60 356 60 180 100 0 0 336 100 0 16 40 0 296 36 52 0 124 44 428 176 44 168 36 176 492 392 176 152 136 216 256 160 80 200 160 36 296 168 596 276 596 556 556 224 596 400 60 64 24 108 64 480 112 224 316 40 80 36 176 0 0 24 412 0 0 256 0 388 460 428 428 388 56 388 0 336 0 16 0 4 0 172 260 348 228 336 216 0 312 92 364 296 372 104 360 84 84 152 320 28 360 160 16 320 0 24 0 0 28 0 12 108 288 496 40 52 40 348 112 104 0 156 40 40 20 40 40 40 228 120 28 4 168 236 28 28 256 56 92 304 72 0 220 184 280 356 60 208 16 28 16 16 132 128 316 328 516 112 556 204 88 168 516 352 24 0 0 40 396 0 0 0 124 156 156 124 196 132 16 56 24 0 536 40 40 320 0 40 372 296 68 40 296 268 388 164 40 276 40 488 40 40 388 528 0 52 116 168 76 332 0 0 104 56 0 336 16 40 0 600 0 312 424 268 256 308 520 312 400 40 0 0 40 0 0 480 40 12 496 200 36 108 456 0 448 40 228 0 168 348 488 256 256 188 536 268 496 288 200 260 108 324 180 220 224 220 40 444 400 0 296 0 352 40 520 312 60 488 464 436 0 296 16 40 40 0 24 64 64 0 4 64 64 404 136 88 56 240 296 60 308 416 0 288 60 0 12 464 0 236 0 448 80 0 488 40 0 76 228 252 104 172 40 424 28 212 40 48 296 368 600 40 40 296 0 160 20 68 116 348 328 368 96 32 20 92 284 48 276 52 24 508 436 24 24 560 540 216 264 264 152 132 8 148 440 156 296 368 256 40 0 372 388 336 52 296 12 596 284 216 556 464 272 168 60 36 340 52 216 32 216 452 0 116 0 0 64 0 40 488 0 96 0 332 40 0 304 328 136 44 100 44 216 156 40 432 460 312 92 420 308 40 532 256 0 600 0 40 408 520 156 268 400 24 316 4 272 432 176 16 448 0 92 8 348 40 216 12 0 336 456 40 0 412 320 320 208 204 280 280 280 132 252 12 84 296 148 324 376 352 116 116 116 116 156 320 520 304 172 40 104 92 388 148 500 480 192 368 204 32 328 304 116 112 112 8 308 128 32 88 268 336 120 0 176 488 80 24 92 336 296 284 0 352 132 448 448 100 488 436 448 168 0 344 348 488 12 528 60 432 288 100 268 60 24 0 12 0 536 296 388 40 0 352 148 0 64 244 300 60 0 296 40 116 64 172 40 40 532 0 332 0 160 40 72 292 308 176 0 0 0 40 0 40 372 0 40 0 52 308 0 532 456 52 352 40 388 388 360 448 412 68 24 100 16 16 16 156 420 384 572 380 28 340 4 48 404 8 428 408 100 408 40 176 372 0 40 0 256 136 440 40 40 40 324 396 164 0 0 40 436 40 348 40 24 24 0 132 4 428 20 156 296 168 156 488 76 488 460 44 32 144 12 160 112 12 40 108 36 0 48 308 268 260 264 336 104 28 416 44 0 48 160 40 120 136 40 244 56 0 68 40 0 40 80 20 132 0 64 140 388 40 336 348 532 180 24 208 16 460 80 236 0 120 0 116 64 116 52 248 456 104 572 520 600 40 296 528 232 488 40 132 296 372 104 172 64 0 0 40 172 600 388 52 380 0 12 304 96 376 168 40 124 240 0 0 0 40 436 40 20 292 332 288 292 0 0 0 40 0 20 112 348 96 464 64 172 64 24 80 372 532 532 96 96 304 0 64 64 196 40 124 40 456 368 312 8 160 72 164 340 40 328 0 0 12 256 312 0 436 296 296 40 256 268 44 256 40 40 436 112 132 252 76 92 96 272 40 316 296 0 40 476 40 0 152 132 124 72 0 108 44 164 256 104 112 236 312 192 156 376 252 212 252 72 336 24 296 204 244 296 332 336 108 12 120 28 40 68 64 16 152 40 404 188 108 272 108 496 44 0 0 0 488 500 428 0 296 532 456 352 40 0 0 40 40 64 116 0 416 0 0 0 0 268 0 40 404 360 360 400 32 288 32 444 328 48 428 360 8 88 160 12 320 180 248 208 208 448 208 248 280 208 248 208 560 144 436 40 208 40 40 0 0 0 16 64 172 100 124 296 220 352 188 292 272 28 284 28 0 152 52 0 408 0 388 560 0 328 336 336 68 308 308 344 64 404 40 52 324 56 292 16 12 108 296 336 296 164 92 320 40 372 88 144 372 40 116 0 80 0 0 0 40 24 144 336 216 0 40 40 100 192 92 340 0 144 324 256 56 336 260 296 120 296 336 192 144 328 296 336 296 4 300 128 240 44 340 300 144 124 140 300 68 44 0 412 352 40 0 144 456 336 464 440 200 368 204 92 92 92 120 132 132 28 24 92 92 92 92 132 344 152 0 44 0 0 40 40 92 0 352 296 280 0 48 96 364 364 48 32 96 96 192 312 120 280 144 144 108 392 24 116 280 412 144 100 452 196 412 64 412 40 456 456 416 4 408 284 416 516 116 332 40 552 284 376 168 376 376 416 156 376 376 204 184 144 72 116 140 28 88 244 192 324 12 324 324 28 84 176 360 40 328 176 92 8 40 228 0 388 208 268 80 208 204 132 40 128 120 40 0 124 0 16 40 64 40 40 40 40 0 64 116 0 436 556 20 444 296 288 92 100 556 352 428 528 536 368 120 108 244 120 376 36 248 184 48 480 88 508 232 48 88 88 440 208 48 88 88 48 224 0 536 80 488 536 180 240 496 520 0 64 40 40 64 40 116 168 40 0 0 0 40 436 272 272 16 112 328 296 272 260 244 168 520 152 256 100 252 220 208 268 44 0 40 24 296 504 352 40 224 144 112 344 200 300 152 112 288 112 144 372 288 204 128 132 28 388 148 84 220 136 0 192 248 312 176 76 44 120 308 440 120 136 224 204 444 516 308 312 420 268 108 48 164 124 268 244 500 84 204 184 500 244 296 112 208 284 136 0 296 204 160 256 72 12 172 116 92 40 104 132 40 388 0 364 204 416 160 124 560 520 520 560 496 560 560 560 560 88 40 544 560 444 560 496 388 300 152 404 116 180 504 504 192 44 504 104 556 504 232 0 244 596 0 184 196 336 560 456 600 408 348 396 0 252 392 392 56 40 364 352 44 84 516 64 96 352 296 484 80 40 388 596 528 156 308 532 428 4 56 396 28 92 56 28 476 140 40 72 4 32 32 332 224 236 192 532 236 196 236 292 196 236 196 236 196 436 296 0 100 496 56 108 496 160 200 148 200 372 360 32 140 360 320 96 44 260 68 156 40 500 256 20 92 0 132 40 160 184 116 12 16 120 160 4 0 12 368 408 216 20 152 328 56 32 100 276 0 556 568 528 248 40 296 528 568 528 196 528 68 8 144 372 428 288 0 0 416 40 532 0 0 452 28 100 44 144 64 8 144 52 292 144 104 104 104 56 104 144 144 144 128 144 28 12 184 144 0 144 144 184 144 388 144 44 292 44 44 352 36 4 44 488 308 40 92 92 252 236 208 188 136 92 76 292 0 216 56 412 64 392 600 372 412 188 372 16 40 116 40 0 64 40 0 0 0 340 8 236 32 440 308 20 352 40 480 444 40 228 52 268 0 296 0 328 332 360 40 276 40 488 40 48 208 528 352 0 52 40 420 28 308 548 12 12 28 352 360 444 80 360 348 216 212 520 192 4 392 520 520 480 480 480 316 204 52 84 124 84 256 244 64 348 92 40 256 40 40 296 352 224 16 104 24 72 296 268 120 308 156 0 360 184 400 228 360 104 104 92 0 60 388 456 2220 2464 2300 2556 2620 2612 2656 2704 2396 2612 2516 2624 2528 2588 2220 2220 2700 2312 2392 2300 2220 2624 2352 2272 2776 2776 2220 2276 2596 2276 2532 2260 2220 2556 2260 2648 2312 2260 2688 2352 2556 2548 2220 2416 2224 2360 2220 2596 2384 2324 2220 2736 2652 2568 2352 2716 2552 2628 2556 2260 2260 2220 2220 2220 2300 2260 2300 2588 2220 2584 2672 2688 2588 2592 2492 2392 2760 2476 2304 2360 2644 2260 2260 2220 2608 2616 2220 2392 2260 2612 2412 2516 2816 2284 2740 2300 2260 2648 2220 2584 2312 2260 2584 2580 2260 2608 2220 2488 2516 2444 2260 2612 2780 2588 2776 2260 2392 2556 2260 2220 2260 2220 2464 2604 2220 2220 2260 2260 2260 2716 2260 2756 2572 2376 2220 2260 2260 2324 2664 2616 2260 2260 2496 2424 2556 2220 2568 2220 2608 2588 2312 2284 2780 2676 2220 2624 2260 2556 2816 2320 2568 2220 2260 2572 2672 2260 2220 2260 2220 2268 2660 2244 2260 2220 2540 2516 2572 2260 2376 2780 2648 2720 2516 2556 2548 2676 2748 2492 2228 2220 2548 2436 2708 2572 2260 2320 2260 2260 2572 2468 2592 2648 2352 2220 2260 2716 2568 2220 2220 2220 2220 2260 2684 2236 2680 2248 2268 2668 2220 2220 2300 2612 2220 2488 2260 2260 2648 2428 2748 2264 2660 2516 2260 2544 2528 2556 2676 2688 2584 2584 2516 2260 2648 2220 2220 2608 2752 2820 2632 2576 2588 2644 2720 2556 2336 2716 2676 2220 2748 2220 2220 2260 2820 2260 2220 2220 2556 2272 2420 2220 2476 2260 2220 2260 2240 2260 2220 2632 2260 2528 2272 2608 2724 2608 2220 2592 2792 2820 2220 2532 2628 2324 2392 2720 2220 2572 2788 2288 2556 2628 2600 2260 2284 2260 2516 2220 2584 2260 2588 2568 2556 2260 2260 2528 2260 2260 2260 2304 2516 2676 2796 2560 2628 2568 2648 2528 2260 2352 2392 2628 2628 2356 2220 2364 2588 2660 2532 2556 2516 2260 2236 2516 2424 2260 2352 2632 2260 2260 2220 2220 2260 2696 2220 2516 2272 2220 2624 2404 2672 2676 2264 2636 2424 2544 2468 2260 2556 2260 2260 2636 2308 2756 2260 2532 2780 2428 2528 2220 2372 2648 2572 2380 2260 2760 2516 2220 2776 2780 2764 2816 2220 2612 2220 2656 2588 2456 2716 2260 2620 2516 2528 2628 2788 2652 2260 2712 2364 2404 2612 2264 2352 2632 2260 2280 2260 2220 2232 2300 2740 2260 11 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 1 1 0 1 0 1 1 0 0 1 1 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 1 0 1 0 0 1 1 1 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 1 1 1 1 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 1 1 0 0 0 0 1 1 1 0 1 1 0 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 1 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 1 1 0 0 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 10 10 3 10 10 10 0 0 0 0 0 10 10 10 10 10 10 0 0 10 10 0 10 10 0 10 10 0 10 10 0 10 0 0 10 10 10 10 0 10 0 10 10 0 0 10 10 10 10 0 10 10 0 10 0 0 10 0 0 0 0 0 10 0 0 10 0 10 0 10 0 10 0 0 10 10 10 10 8 10 10 10 10 10 0 0 10 0 0 0 0 0 10 10 0 10 10 0 10 0 10 0 0 0 10 10 0 10 10 10 10 10 0 0 0 10 0 0 10 0 0 10 0 0 10 0 0 0 0 10 0 10 0 8 10 0 0 10 0 10 10 0 0 0 0 0 10 10 0 10 0 10 10 0 0 0 10 0 9 0 0 10 10 10 0 10 10 10 0 0 0 0 0 0 10 10 0 0 0 10 10 0 10 0 0 0 10 0 0 0 0 9 0 0 0 0 0 10 10 0 0 0 10 10 0 0 0 0 10 0 10 10 0 10 0 10 0 0 10 10 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 0 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 0 0 0 10 10 0 0 0 0 10 0 0 0 10 10 0 10 10 0 0 0 10 0 10 0 10 10 10 0 10 10 0 0 0 0 10 0 0 0 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 0 0 0 10 10 10 0 10 10 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 10 10 0 10 10 10 0 0 10 0 0 10 0 10 0 10 0 0 10 0 0 10 0 10 0 10 10 10 10 0 0 10 10 10 0 0 10 10 0 10 0 0 10 0 10 0 10 0 0 10 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 10 10 0 10 10 0 0 10 0 0 0 10 10 0 0 0 0 10 0 10 10 0 0 0 10 0 0 10 0 0 0 10 0 0 0 10 0 10 0 10 0 0 10 0 10 10 0 0 10 10 10 10 10 0 0 9 0 0 0 10 0 10 0 0 10 0 0 0 10 0 0 10 0 10 10 0 0 0 10 0 10 10 8 10 0 0 10 0 10 10 0 10 0 0 10 10 0 0 0 10 10 0 0 0 10 10 0 0 0 0 10 10 0 0 0 10 0 10 0 0 10 10 0 0 0 0 10 0 0 0 10 0 0 10 10 0 0 0 10 10 0 0 0 0 10 10 10 0 0 10 10 0 10 0 10 10 0 0 0 10 0 10 0 10 0 0 10 10 10 10 0 10 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 10 10 0 0 10 0 0 0 10 0 0 0 0 10 10 0 10 0 0 0 0 0 0 10 0 0 0 10 10 10 0 10 10 0 0 0 0 0 10 10 10 0 10 0 0 10 0 10 0 10 0 10 10 0 0 10 10 10 0 0 0 10 10 10 0 0 0 0 10 0 0 10 0 10 0 10 0 10 0 0 10 10 10 10 10 10 0 10 0 0 0 10 10 0 0 0 0 0 10 0 10 10 0 0 0 10 0 0 0 0 10 10 10 0 10 0 0 10 10 10 0 0 0 10 0 10 10 10 10 0 0 10 0 10 0 0 10 0 0 10 10 0 10 10 0 10 0 10 0 0 0 0 10 0 10 0 10 0 0 0 10 10 10 10 10 0 10 10 10 0 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 10 10 0 0 10 0 0 10 10 0 10 10 10 0 0 0 9 0 10 0 0 0 0 10 0 0 10 0 10 0 0 10 0 10 10 0 10 0 0 10 10 10 0 10 10 0 0 10 10 0 10 10 0 0 10 10 0 0 0 10 10 0 0 10 0 10 10 10 10 0 0 0 0 10 10 10 0 10 0 0 0 0 10 0 10 10 10 0 0 10 0 10 0 0 0 0 0 10 0 10 10 10 10 0 0 0 0 10 10 0 0 0 0 10 0 0 0 10 0 10 10 10 0 0 10 10 10 0 0 10 10 0 10 0 0 10 10 10 0 10 0 0 10 10 10 10 0 10 0 10 0 0 0 10 0 0 0 10 10 0 10 0 0 0 10 10 10 10 10 0 10 0 10 0 10 10 10 0 10 10 0 0 0 0 10 0 10 10 10 0 10 0 0 0 10 10 0 0 0 0 10 0 0 10 10 0 0 0 10 10 0 10 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 10 10 0 0 10 0 0 0 0 0 10 10 0 0 0 10 0 0 10 10 10 0 0 10 10 0 0 10 0 10 10 10 10 10 0 10 0 0 0 10 10 0 10 10 0 0 0 10 0 10 0 10 0 0 0 10 10 0 10 0 10 0 0 0 0 0 0 0 0 10 0 10 10 10 0 0 0 0 10 0 0 10 0 10 0 10 0 0 10 0 0 10 10 0 10 0 0 10 0 0 10 10 10 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 10 0 10 10 10 0 10 10 0 0 10 10 10 0 0 10 0 10 10 0 10 10 0 10 0 0 0 10 0 0 10 10 0 10 10 0 0 10 0 0 10 0 0 10 0 10 0 0 10 10 10 0 0 0 0 10 10 0 9 10 10 0 0 10 0 10 10 10 0 10 0 0 0 10 10 10 0 0 0 10 10 10 0 10 0 0 0 10 0 10 0 0 0 10 0 10 0 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 10 0 0 10 0 0 10 0 10 10 0 0 0 0 0 0 10 0 10 0 0 10 0 0 10 10 0 10 0 10 10 10 10 10 8 10 10 10 0 0 0 0 10 10 10 0 10 10 0 10 0 0 0 10 10 10 0 10 0 10 10 10 0 0 10 10 10 0 0 10 0 10 10 10 0 10 0 10 0 10 10 0 0 0 10 0 10 0 0 10 0 0 10 10 0 10 0 0 10 0 0 0 10 0 10 10 0 0 10 0 10 0 0 10 10 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 10 0 10 10 0 10 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 10 10 0 0 0 0 0 0 10 10 0 0 0 10 10 10 0 10 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 10 10 0 10 10 10 10 9 10 0 0 0 10 10 0 0 10 0 10 10 0 0 10 0 10 0 10 0 10 10 0 0 0 10 10 10 0 10 0 0 10 0 0 0 0 10 0 0 0 10 0 10 10 0 0 10 2 0 0 10 0 10 10 10 10 0 10 10 10 10 0 10 10 0 10 10 0 0 0 8 0 10 0 0 0 10 0 10 10 0 0 0 0 0 10 0 0 0 0 10 10 0 10 0 10 0 10 10 10 0 0 0 10 10 0 0 10 0 0 10 10 10 10 0 10 10 10 10 0 10 0 0 10 0 10 10 0 0 0 10 0 0 0 10 0 0 0 10 0 10 0 0 0 0 10 10 0 10 0 0 10 10 0 10 10 0 0 10 0 0 10 0 0 0 10 10 0 0 10 0 10 0 10 10 10 10 10 0 0 0 10 0 10 10 0 0 10 0 10 10 0 10 0 10 0 0 10 10 10 0 10 10 0 0 10 10 0 0 0 0 0 10 0 10 10 10 0 0 10 0 0 10 0 10 10 10 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 8 0 10 10 0 0 0 0 10 0 10 0 10 0 10 0 10 0 0 10 0 0 0 0 0 0 9 0 10 10 0 10 0 10 10 0 0 10 0 10 10 0 10 0 0 0 10 0 10 10 0 0 0 0 0 0 10 0 10 0 10 0 0 10 10 0 0 10 10 0 10 10 10 10 0 0 10 10 10 0 0 0 0 10 10 10 0 0 0 10 10 10 0 0 10 0 0 10 10 0 0 0 10 10 0 0 0 10 0 10 0 0 0 10 0 10 0 0 0 0 10 10 10 0 0 0 10 10 0 10 10 0 10 0 10 10 10 0 0 10 10 10 10 0 10 0 0 0 0 10 0 10 10 0 0 10 10 10 0 0 0 0 0 0 10 0 0 0 0 10 0 10 10 10 10 0 0 0 0 0 10 10 8 0 10 10 10 0 10 0 0 0 10 0 10 0 0 10 10 10 10 10 10 0 0 0 10 0 0 0 0 10 0 10 0 0 10 0 10 10 0 0 0 10 10 0 10 0 0 0 10 0 0 0 0 10 0 0 10 0 10 10 0 0 0 10 10 0 10 0 0 10 10 10 10 10 10 0 0 0 10 0 10 0 0 10 0 10 10 0 0 0 0 0 0 0 10 10 10 0 0 10 0 10 10 0 10 0 10 0 0 10 0 10 10 0 10 10 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 10 0 10 10 10 10 0 0 10 10 10 10 0 0 0 10 10 10 10 0 0 0 0 0 10 10 10 10 10 0 0 0 0 10 10 0 0 10 10 0 0 0 0 0 0 0 0 10 10 0 0 10 0 10 10 10 0 0 10 10 0 0 10 0 10 0 0 10 10 0 10 0 0 10 10 10 0 10 10 10 10 0 0 10 10 0 0 10 0 10 10 0 0 10 10 0 0 10 0 10 0 0 10 0 10 10 10 0 10 0 10 0 10 10 0 10 0 0 10 0 10 10 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 10 0 10 0 0 0 0 10 10 0 10 10 0 0 0 0 0 10 10 0 0 10 10 0 10 0 0 </values>
2400.00/2399.80 v </instantiation>
2400.00/2399.80