0.66/0.54
0.66/0.55 scop both+glucose-syrup (2018-07-07)
0.66/0.55
0.66/0.57 c BEGIN-Prog: Fri Jul 27 04:12:39 CEST 2018
0.66/0.57 c PID: 11108
0.66/0.57 c IP: 172.20.3.138
0.66/0.57 c HOST: node138.alineos.net
0.66/0.58 c (0,0) Parsing Begin
3.72/1.47 c (0,0) Parsing End
3.72/1.48 c (0,0) CSP: 1440 int (0 aux), 0 bool (0 aux), 865 ctr, max domain size 60
3.72/1.48 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.72/1.48 c (0,0) Constraint Name Generate Begin
3.72/1.50 c (0,0) Ctr:HOME/instance-4297341-1532657559.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
3.72/1.50 c (0,0) Constraint Name Generate End
3.72/1.50 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.72/1.50 c (0,0) CSP to CSPinCNF Begin
7.33/2.49 c (1,1) translated 87 (10%) constraints
14.12/6.24 c (5,5) translated 173 (20%) constraints
14.96/6.49 c (5,5) translated 260 (30%) constraints
15.78/6.69 c (6,6) translated 346 (40%) constraints
16.39/6.87 c (6,6) translated 433 (50%) constraints
16.98/7.04 c (6,6) translated 519 (60%) constraints
17.55/7.23 c (6,6) translated 606 (70%) constraints
18.20/7.41 c (6,6) translated 692 (80%) constraints
18.51/7.59 c (7,6) translated 779 (90%) constraints
18.99/7.75 c (7,7) translated 865 (100%) constraints
21.01/8.37 c (7,7) STATISTICS1:HOME/instance-4297341-1532657559.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,6646,85714,60,60,60,2,60:20272;59:402;58:357;57:363;56:369;55:751;7:900;6:900,60:140974;59:1461;58:1260;57:1260;56:1260;55:2493;7:6840;6:6120;2:23538,60:24;8:360;7:360;6:240;4:526;3:49744;2:34366;1:94,2:24314;1:179778;0:720,
21.01/8.37 c (7,7) ===========================================
21.01/8.37 c (7,7) Both Encoding selects:
21.01/8.37 c (7,7) Order
21.01/8.37 c (7,7) ===========================================
22.13/8.73 c (8,8) translated 8572 (10%) constraints
22.59/8.97 c (8,8) translated 17143 (20%) constraints
23.33/9.36 c (8,8) translated 25715 (30%) constraints
24.16/10.02 c (9,9) translated 34286 (40%) constraints
24.78/10.68 c (10,10) translated 42857 (50%) constraints
25.49/11.30 c (10,10) translated 51429 (60%) constraints
26.09/11.93 c (11,11) translated 60000 (70%) constraints
26.59/12.49 c (11,11) translated 68572 (80%) constraints
27.27/12.69 c (12,12) translated 77143 (90%) constraints
27.54/12.84 c (12,12) translated 85714 (100%) constraints
27.54/12.84 c (12,12) CSP to CSPinCNF End
27.54/12.86 c (12,12) CSP: 1440 int (0 aux), 48406 bool (48406 aux), 172114 ctr, max domain size 60
27.54/12.86 c (12,12) Heap : 4618 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
27.54/12.86 c (12,12) CSPinCNF Propagation Begin
29.96/14.01 c (13,13) 327 values, 2963 unsatisfiable literals, and 2151 valid clauses are removed
29.96/14.01 c (13,13) CSPinCNF Propagation End
29.96/14.03 c (13,13) CSP: 1677 int (237 aux), 48169 bool (48169 aux), 169963 ctr, max domain size 60
29.96/14.03 c (13,13) Heap : 5294 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
29.96/14.03 c (13,13) Simplify CSPinCNF Begin
33.40/15.43 c (14,14) Simplify CSPinCNF End
33.40/15.47 c (14,14) CSP: 1677 int (237 aux), 94903 bool (94903 aux), 216697 ctr, max domain size 60
33.40/15.47 c (14,14) Heap : 480 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
33.40/15.47 c (14,14) Calculate Precise Domain Begin
33.40/15.47 c (14,14) 0 values are removed by re-calculation
33.40/15.47 c (14,14) Calculate Precise Domain End
33.72/15.52 c (14,14) CSP: 1677 int (237 aux), 94903 bool (94903 aux), 216697 ctr, max domain size 60
33.72/15.52 c (14,14) Heap : 480 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
33.72/15.52 c (14,14) CSPinCNF to SatSolver Begin
37.10/18.11 c (17,17) 21670 (10 %) CSP clauses are encoded (141106 SAT variables, 906932 SAT clauses)
39.52/20.42 c (19,19) 43340 (20 %) CSP clauses are encoded (141106 SAT variables, 1770074 SAT clauses)
42.98/23.21 c (22,21) 65010 (30 %) CSP clauses are encoded (141106 SAT variables, 2592868 SAT clauses)
43.08/23.38 c (22,21) 86679 (40 %) CSP clauses are encoded (141106 SAT variables, 2630297 SAT clauses)
43.18/23.48 c (22,22) 108349 (50 %) CSP clauses are encoded (141106 SAT variables, 2651967 SAT clauses)
43.28/23.59 c (23,22) 130019 (60 %) CSP clauses are encoded (141106 SAT variables, 2673637 SAT clauses)
43.38/23.70 c (23,22) 151688 (70 %) CSP clauses are encoded (141106 SAT variables, 2695306 SAT clauses)
43.58/23.80 c (23,22) 173358 (80 %) CSP clauses are encoded (141106 SAT variables, 2716976 SAT clauses)
43.68/23.91 c (23,22) 195028 (90 %) CSP clauses are encoded (141106 SAT variables, 2738646 SAT clauses)
44.07/24.23 c (23,22) 216697 (100 %) CSP clauses are encoded (141106 SAT variables, 2834212 SAT clauses)
44.07/24.23 c (23,22) CSPinCNF to SatSolver End
44.07/24.23 c (23,22) Heap : 1642 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
45.21/24.88 c (24,23) STATISTICS2:HOME/instance-4297341-1532657559.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,96580,216697,60,60,60,2,60:35902;59:768;58:1451;57:1371;56:1395;55:2867;7:1800;6:1800,60:248724;59:2626;58:4848;57:4428;56:4380;55:8662;7:8640;6:7920;2:244988,60:6;55:17;53:1;7:360;6:600;4:526;3:48010;2:167083;1:94,2:47354;1:440508,
45.21/24.88 c (24,23) SatSolver.solve Begin
45.21/24.88 c (24,23) 141106 bool, 2834213 clause
45.21/24.88 c (24,23) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297341-1532657559.xml-scop-11108.cnf HOME/instance-4297341-1532657559.xml-scop-11108.cnf.out
128.53/40.57 c (40,0) c
128.53/40.57 c (40,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team)
128.53/40.57 c (40,0) c
128.53/40.57 c (40,0) c WARNING: for repeatability, setting FPU to use double precision
128.53/40.57 c (40,0) c 8 solvers engines and 1 companion as a blackboard created.
128.53/40.57 c (40,0) c ========================================[ Problem Statistics ]===========================================
128.53/40.57 c (40,0) c | |
128.53/40.57 c (40,0) c | Number of variables: 141106 |
128.53/40.57 c (40,0) c | Number of clauses: 2832740 |
128.53/40.57 c (40,0) c | Parse time: 0.85 s |
128.53/40.57 c (40,0) c | |
128.53/40.57 c (40,0) c | Eliminated clauses: 1.51 Mb |
128.53/40.57 c (40,0) c | Simplification time: 3.99 s |
128.53/40.57 c (40,0) c | |
128.53/40.57 c (40,0) c | Generating clones |
128.53/40.57 c (40,0) c | all clones generated. Memory = 1691.83Mb. |
128.53/40.57 c (40,0) c ========================================================================================================|
128.53/40.57 c (40,0) c
128.53/40.57 c (40,0) c |-------------------------------------------------------------------------------------------------------|
128.53/40.57 c (40,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
128.53/40.57 c (40,0) c |-------------------------------------------------------------------------------------------------------|
128.53/40.57 c (40,0) c | 0 | 35 | 104658 | 4559 | 38131 | 3566 | 520 | 1815 | 42 | 10.054 |
128.53/40.57 c (40,0) c | 1 | 37 | 93655 | 3576 | 29148 | 2559 | 237 | 2156 | 20 | 10.030 |
128.53/40.57 c (40,0) c | 2 | 25 | 103361 | 3251 | 27913 | 2251 | 193 | 2199 | 45 | 10.067 |
128.53/40.57 c (40,0) c | 3 | 43 | 128181 | 5581 | 39634 | 4575 | 411 | 1967 | 57 | 10.067 |
128.53/40.57 c (40,0) c | 4 | 34 | 119293 | 4762 | 37306 | 3774 | 223 | 2088 | 28 | 10.054 |
128.53/40.57 c (40,0) c | 5 | 32 | 108968 | 3712 | 30530 | 2702 | 213 | 2201 | 38 | 10.017 |
128.53/40.57 c (40,0) c | 6 | 40 | 102118 | 5521 | 40938 | 4534 | 388 | 1979 | 38 | 10.067 |
128.53/40.57 c (40,0) c | 7 | 37 | 121669 | 4728 | 38032 | 3733 | 229 | 2184 | 39 | 10.067 |
128.53/40.57 c (40,0) c
128.53/40.57 c (40,0) c synthesis 35692 conflicts 51069578 propagations 857 conflicts/sec 1225855 propagations/sec
128.53/40.57 c (40,0) c Total Memory so far : 2287.20Mb
128.53/40.57 c (40,0) c
128.53/40.57 c (40,0) c |-------------------------------------------------------------------------------------------------------|
128.53/40.57 c (40,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
128.53/40.57 c (40,0) c |-------------------------------------------------------------------------------------------------------|
128.53/40.57 c (40,0) c | 0 | 88 | 272051 | 10964 | 71775 | 6857 | 1234 | 6941 | 103 | 10.343 |
128.53/40.57 c (40,0) c | 1 | 69 | 245624 | 9812 | 61068 | 5920 | 825 | 7371 | 90 | 10.319 |
128.53/40.57 c (40,0) c | 2 | 64 | 263336 | 9309 | 59621 | 5399 | 604 | 7273 | 108 | 10.356 |
128.53/40.57 c (40,0) c | 3 | 91 | 293930 | 12058 | 72466 | 8113 | 1072 | 7096 | 110 | 10.356 |
128.53/40.57 c (40,0) c | 4 | 68 | 274215 | 13760 | 72761 | 9894 | 1746 | 6453 | 107 | 10.343 |
128.53/40.57 c (40,0) c | 5 | 71 | 278499 | 10600 | 63450 | 6725 | 976 | 7235 | 128 | 10.306 |
128.53/40.57 c (40,0) c | 6 | 73 | 248278 | 11652 | 74711 | 7552 | 933 | 6751 | 83 | 10.356 |
128.53/40.57 c (40,0) c | 7 | 69 | 280853 | 11120 | 71443 | 7209 | 828 | 7344 | 123 | 10.356 |
128.53/40.57 c (40,0) c
240.18/54.58 c (54,0) c synthesis 89278 conflicts 130775031 propagations 1106 conflicts/sec 1620476 propagations/sec
240.18/54.58 c (54,0) c Total Memory so far : 2287.45Mb
240.18/54.58 c (54,0) c
240.18/54.58 c (54,0) c |-------------------------------------------------------------------------------------------------------|
240.18/54.58 c (54,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
240.18/54.58 c (54,0) c |-------------------------------------------------------------------------------------------------------|
240.18/54.58 c (54,0) c | 0 | 142 | 420940 | 18255 | 99717 | 9315 | 2122 | 12312 | 250 | 10.422 |
240.18/54.58 c (54,0) c | 1 | 110 | 400187 | 17085 | 86638 | 8249 | 1748 | 12660 | 302 | 10.398 |
240.18/54.58 c (54,0) c | 2 | 105 | 417462 | 15177 | 85663 | 6345 | 1161 | 13282 | 282 | 10.435 |
240.18/54.58 c (54,0) c | 3 | 142 | 458487 | 18787 | 98373 | 9916 | 1712 | 12617 | 263 | 10.435 |
240.18/54.58 c (54,0) c | 4 | 107 | 435244 | 20058 | 102041 | 11227 | 2232 | 12291 | 275 | 10.422 |
240.18/54.58 c (54,0) c | 5 | 115 | 428237 | 18129 | 94542 | 9306 | 1964 | 12563 | 327 | 10.385 |
240.18/54.58 c (54,0) c | 6 | 109 | 397394 | 19569 | 104688 | 10626 | 2080 | 12413 | 242 | 10.435 |
240.18/54.58 c (54,0) c | 7 | 115 | 443216 | 17859 | 98915 | 9023 | 1511 | 12897 | 303 | 10.435 |
240.18/54.58 c (54,0) c
240.18/54.58 c (54,0) c synthesis 144921 conflicts 211882331 propagations 1205 conflicts/sec 1762316 propagations/sec
240.18/54.58 c (54,0) c Total Memory so far : 2287.45Mb
240.18/54.58 c (54,0) c
240.18/54.58 c (54,0) c |-------------------------------------------------------------------------------------------------------|
240.18/54.58 c (54,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
240.18/54.58 c (54,0) c |-------------------------------------------------------------------------------------------------------|
240.18/54.58 c (54,0) c | 0 | 189 | 532705 | 22965 | 116549 | 14022 | 2581 | 16993 | 409 | 10.443 |
240.18/54.58 c (54,0) c | 1 | 141 | 515211 | 22331 | 102839 | 13491 | 2451 | 17102 | 438 | 10.419 |
240.18/54.58 c (54,0) c | 2 | 137 | 529909 | 19330 | 102043 | 10498 | 1481 | 18080 | 432 | 10.456 |
240.18/54.58 c (54,0) c | 3 | 175 | 574228 | 23350 | 115596 | 14479 | 2192 | 17337 | 416 | 10.456 |
240.18/54.58 c (54,0) c | 4 | 147 | 552099 | 25433 | 121268 | 9227 | 2762 | 16718 | 437 | 10.432 |
240.18/54.58 c (54,0) c | 5 | 153 | 552614 | 24859 | 113039 | 8655 | 2889 | 16760 | 534 | 10.406 |
240.18/54.58 c (54,0) c | 6 | 155 | 511719 | 27386 | 131456 | 11157 | 3164 | 16412 | 437 | 10.456 |
240.18/54.58 c (54,0) c | 7 | 139 | 557909 | 23088 | 120320 | 14249 | 2133 | 17239 | 422 | 10.442 |
240.18/54.58 c (54,0) c
240.18/54.58 c (54,0) c synthesis 188745 conflicts 275803614 propagations 1242 conflicts/sec 1814481 propagations/sec
240.18/54.58 c (54,0) c Total Memory so far : 2287.58Mb
240.18/54.58 c (54,0) c
240.18/54.58 c (54,0) c |-------------------------------------------------------------------------------------------------------|
240.18/54.58 c (54,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
240.18/54.58 c (54,0) c |-------------------------------------------------------------------------------------------------------|
240.18/54.58 c (54,0) c | 0 | 245 | 666069 | 31375 | 138631 | 15111 | 3767 | 22818 | 623 | 10.448 |
240.18/54.58 c (54,0) c | 1 | 184 | 651393 | 28511 | 119263 | 12269 | 3213 | 23288 | 711 | 10.424 |
240.18/54.58 c (54,0) c | 2 | 177 | 662726 | 25426 | 125228 | 9221 | 2118 | 24308 | 674 | 10.461 |
240.18/54.58 c (54,0) c | 3 | 223 | 716747 | 30169 | 136038 | 13943 | 3215 | 23357 | 776 | 10.461 |
240.18/54.58 c (54,0) c | 4 | 184 | 688868 | 32751 | 144233 | 16545 | 3758 | 22830 | 680 | 10.448 |
240.18/54.58 c (54,0) c | 5 | 203 | 702596 | 31599 | 133153 | 15395 | 3639 | 23062 | 817 | 10.411 |
240.18/54.58 c (54,0) c | 6 | 204 | 646033 | 34656 | 153701 | 18426 | 4020 | 22489 | 679 | 10.461 |
240.18/54.58 c (54,0) c | 7 | 177 | 695366 | 29805 | 142290 | 13614 | 2977 | 23527 | 667 | 10.461 |
240.18/54.58 c (54,0) c
240.18/54.58 c (54,0) c synthesis 244294 conflicts 353914566 propagations 1274 conflicts/sec 1845191 propagations/sec
399.72/74.57 c (74,0) c Total Memory so far : 2287.58Mb
399.72/74.57 c (74,0) c
399.72/74.57 c (74,0) c |-------------------------------------------------------------------------------------------------------|
399.72/74.57 c (74,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
399.72/74.57 c (74,0) c |-------------------------------------------------------------------------------------------------------|
399.72/74.57 c (74,0) c | 0 | 299 | 791779 | 38663 | 158127 | 12587 | 4756 | 27653 | 817 | 10.454 |
399.72/74.57 c (74,0) c | 1 | 235 | 777004 | 33906 | 138536 | 17663 | 3786 | 28738 | 935 | 10.443 |
399.72/74.57 c (74,0) c | 2 | 209 | 781187 | 31033 | 146523 | 14828 | 2697 | 29707 | 864 | 10.467 |
399.72/74.57 c (74,0) c | 3 | 263 | 851762 | 37552 | 154139 | 11478 | 4288 | 28202 | 1067 | 10.479 |
399.72/74.57 c (74,0) c | 4 | 234 | 817469 | 39073 | 165708 | 12989 | 4363 | 28168 | 956 | 10.467 |
399.72/74.57 c (74,0) c | 5 | 257 | 842950 | 38403 | 151352 | 12342 | 4456 | 28055 | 1124 | 10.430 |
399.72/74.57 c (74,0) c | 6 | 249 | 781732 | 39987 | 173379 | 13875 | 4447 | 28050 | 876 | 10.479 |
399.72/74.57 c (74,0) c | 7 | 219 | 826958 | 36293 | 160649 | 10218 | 3739 | 28766 | 908 | 10.479 |
399.72/74.57 c (74,0) c
399.72/74.57 c (74,0) c synthesis 294911 conflicts 430545088 propagations 1273 conflicts/sec 1859070 propagations/sec
399.72/74.57 c (74,0) c Total Memory so far : 2287.71Mb
399.72/74.57 c (74,0) c
399.72/74.57 c (74,0) c |-------------------------------------------------------------------------------------------------------|
399.72/74.57 c (74,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
399.72/74.57 c (74,0) c |-------------------------------------------------------------------------------------------------------|
399.72/74.57 c (74,0) c | 0 | 343 | 923980 | 44879 | 178811 | 18803 | 5492 | 33944 | 1193 | 10.467 |
399.72/74.57 c (74,0) c | 1 | 282 | 900777 | 41174 | 157314 | 15075 | 4846 | 34521 | 1233 | 10.443 |
399.72/74.57 c (74,0) c | 2 | 265 | 912792 | 37180 | 164784 | 11091 | 3390 | 36010 | 1166 | 10.480 |
399.72/74.57 c (74,0) c | 3 | 301 | 981351 | 43996 | 172089 | 17921 | 4997 | 34487 | 1306 | 10.480 |
399.72/74.57 c (74,0) c | 4 | 277 | 943318 | 49730 | 184973 | 23644 | 6161 | 33230 | 1216 | 10.467 |
399.72/74.57 c (74,0) c | 5 | 296 | 974565 | 43949 | 168927 | 17888 | 5071 | 34394 | 1342 | 10.430 |
399.72/74.57 c (74,0) c | 6 | 285 | 900076 | 46538 | 191900 | 20426 | 5267 | 34143 | 1154 | 10.480 |
399.72/74.57 c (74,0) c | 7 | 258 | 956894 | 41766 | 177685 | 15691 | 4261 | 35213 | 1187 | 10.480 |
399.72/74.57 c (74,0) c
399.72/74.57 c (74,0) c synthesis 349218 conflicts 506646687 propagations 1286 conflicts/sec 1866414 propagations/sec
399.72/74.57 c (74,0) c Total Memory so far : 2287.97Mb
399.72/74.57 c (74,0) c
399.72/74.57 c (74,0) c |-------------------------------------------------------------------------------------------------------|
399.72/74.57 c (74,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
399.72/74.57 c (74,0) c |-------------------------------------------------------------------------------------------------------|
399.72/74.57 c (74,0) c | 0 | 404 | 1045556 | 51517 | 197373 | 13000 | 6293 | 38663 | 1514 | 10.467 |
399.72/74.57 c (74,0) c | 1 | 332 | 1020057 | 48239 | 175858 | 22140 | 5812 | 39149 | 1500 | 10.443 |
399.72/74.57 c (74,0) c | 2 | 308 | 1037102 | 43931 | 183860 | 17842 | 4258 | 40692 | 1410 | 10.480 |
399.72/74.57 c (74,0) c | 3 | 349 | 1106525 | 49587 | 189323 | 23512 | 5568 | 39390 | 1511 | 10.480 |
399.72/74.57 c (74,0) c | 4 | 345 | 1077075 | 55774 | 200422 | 17251 | 6610 | 38339 | 1623 | 10.467 |
399.72/74.57 c (74,0) c | 5 | 359 | 1105359 | 49871 | 184710 | 23810 | 5736 | 39209 | 1605 | 10.430 |
399.72/74.57 c (74,0) c | 6 | 327 | 1020388 | 52417 | 209560 | 13890 | 5915 | 38985 | 1421 | 10.480 |
399.72/74.57 c (74,0) c | 7 | 307 | 1085338 | 47049 | 192359 | 20974 | 4772 | 39910 | 1487 | 10.480 |
399.72/74.57 c (74,0) c
399.72/74.57 c (74,0) c synthesis 398386 conflicts 581198535 propagations 1280 conflicts/sec 1867054 propagations/sec
399.72/74.57 c (74,0) c Total Memory so far : 2257.87Mb
399.72/74.57 c (74,0) c
519.37/89.57 c (89,0) c |-------------------------------------------------------------------------------------------------------|
519.37/89.57 c (89,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
519.37/89.57 c (89,0) c |-------------------------------------------------------------------------------------------------------|
519.37/89.57 c (89,0) c | 0 | 459 | 1161821 | 57934 | 214694 | 19417 | 6831 | 43382 | 1761 | 10.488 |
519.37/89.57 c (89,0) c | 1 | 378 | 1138423 | 54047 | 189495 | 15542 | 6391 | 43696 | 1799 | 10.443 |
519.37/89.57 c (89,0) c | 2 | 345 | 1152848 | 50043 | 200356 | 23953 | 5011 | 45165 | 1652 | 10.480 |
519.37/89.57 c (89,0) c | 3 | 391 | 1227620 | 56021 | 205875 | 17508 | 6233 | 43982 | 1760 | 10.501 |
519.37/89.57 c (89,0) c | 4 | 396 | 1200962 | 62291 | 216373 | 23768 | 7179 | 43040 | 1995 | 10.488 |
519.37/89.57 c (89,0) c | 5 | 417 | 1236321 | 56477 | 202259 | 17984 | 6460 | 43702 | 1829 | 10.430 |
519.37/89.57 c (89,0) c | 6 | 377 | 1141204 | 58880 | 226844 | 20352 | 6645 | 43570 | 1720 | 10.501 |
519.37/89.57 c (89,0) c | 7 | 345 | 1209311 | 52637 | 209113 | 14103 | 5474 | 44746 | 1745 | 10.501 |
519.37/89.57 c (89,0) c
519.37/89.57 c (89,0) c synthesis 448334 conflicts 655466576 propagations 1277 conflicts/sec 1866815 propagations/sec
519.37/89.57 c (89,0) c Total Memory so far : 2258.00Mb
519.37/89.57 c (89,0) c
519.37/89.57 c (89,0) c |-------------------------------------------------------------------------------------------------------|
519.37/89.57 c (89,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
519.37/89.57 c (89,0) c |-------------------------------------------------------------------------------------------------------|
519.37/89.57 c (89,0) c | 0 | 508 | 1267810 | 65605 | 232360 | 27088 | 7629 | 48126 | 2024 | 10.508 |
519.37/89.57 c (89,0) c | 1 | 439 | 1258548 | 61566 | 203763 | 23060 | 7385 | 48363 | 2139 | 10.484 |
519.37/89.57 c (89,0) c | 2 | 389 | 1271564 | 55713 | 214969 | 17252 | 5612 | 50139 | 1873 | 10.520 |
519.37/89.57 c (89,0) c | 3 | 431 | 1348559 | 61854 | 220098 | 23307 | 6837 | 48820 | 1964 | 10.520 |
519.37/89.57 c (89,0) c | 4 | 448 | 1318101 | 68544 | 232295 | 30013 | 7710 | 47973 | 2285 | 10.508 |
519.37/89.57 c (89,0) c | 5 | 458 | 1363994 | 61660 | 221520 | 23163 | 6818 | 48943 | 2037 | 10.471 |
519.37/89.57 c (89,0) c | 6 | 432 | 1256538 | 65743 | 244032 | 27207 | 7521 | 48242 | 1967 | 10.520 |
519.37/89.57 c (89,0) c | 7 | 390 | 1337498 | 58910 | 224530 | 20376 | 6275 | 49501 | 2012 | 10.520 |
519.37/89.57 c (89,0) c
519.37/89.57 c (89,0) c synthesis 499595 conflicts 729335454 propagations 1278 conflicts/sec 1865482 propagations/sec
519.37/89.57 c (89,0) c Total Memory so far : 2258.00Mb
519.37/89.57 c (89,0) c
519.37/89.57 c (89,0) c |-------------------------------------------------------------------------------------------------------|
519.37/89.57 c (89,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
519.37/89.57 c (89,0) c |-------------------------------------------------------------------------------------------------------|
519.37/89.57 c (89,0) c | 0 | 554 | 1375669 | 72541 | 247261 | 18998 | 8275 | 52345 | 2291 | 10.524 |
519.37/89.57 c (89,0) c | 1 | 504 | 1369890 | 69141 | 219003 | 15619 | 8168 | 52343 | 2378 | 10.500 |
519.37/89.57 c (89,0) c | 2 | 444 | 1386594 | 60790 | 228774 | 22328 | 6100 | 54453 | 2156 | 10.537 |
519.37/89.57 c (89,0) c | 3 | 481 | 1464685 | 66663 | 235126 | 28112 | 7208 | 53413 | 2138 | 10.537 |
519.37/89.57 c (89,0) c | 4 | 508 | 1435289 | 75645 | 247179 | 22124 | 8344 | 52153 | 2594 | 10.524 |
519.37/89.57 c (89,0) c | 5 | 521 | 1487933 | 67720 | 237165 | 29220 | 7315 | 53269 | 2375 | 10.487 |
519.37/89.57 c (89,0) c | 6 | 495 | 1367610 | 72450 | 259581 | 18951 | 8221 | 52303 | 2202 | 10.537 |
519.37/89.57 c (89,0) c | 7 | 444 | 1462886 | 64891 | 238466 | 26356 | 6992 | 53502 | 2309 | 10.537 |
519.37/89.57 c (89,0) c
519.37/89.57 c (89,0) c synthesis 549845 conflicts 802588736 propagations 1276 conflicts/sec 1863055 propagations/sec
519.37/89.57 c (89,0) c Total Memory so far : 2258.39Mb
519.37/89.57 c (89,0) c
519.37/89.57 c (89,0) c |-------------------------------------------------------------------------------------------------------|
532.20/91.18 c (90,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
532.20/91.18 c (90,0) c |-------------------------------------------------------------------------------------------------------|
532.20/91.18 c (90,0) c | 0 | 606 | 1483157 | 79459 | 262944 | 25916 | 8876 | 56486 | 2537 | 10.537 |
532.20/91.18 c (90,0) c | 1 | 556 | 1474053 | 75126 | 234500 | 21604 | 8727 | 56537 | 2627 | 10.513 |
532.20/91.18 c (90,0) c | 2 | 493 | 1494959 | 66564 | 242631 | 28101 | 6862 | 58392 | 2409 | 10.550 |
532.20/91.18 c (90,0) c | 3 | 521 | 1579816 | 71865 | 249291 | 18373 | 7739 | 57401 | 2376 | 10.550 |
532.20/91.18 c (90,0) c | 4 | 564 | 1550286 | 82130 | 262871 | 28602 | 8990 | 56269 | 2862 | 10.537 |
532.20/91.18 c (90,0) c | 5 | 559 | 1601095 | 73123 | 252653 | 19584 | 7826 | 57413 | 2619 | 10.500 |
532.20/91.18 c (90,0) c | 6 | 541 | 1486155 | 79654 | 273081 | 26154 | 8991 | 56158 | 2460 | 10.550 |
532.20/91.18 c (90,0) c | 7 | 486 | 1575082 | 69383 | 252809 | 15863 | 7379 | 57889 | 2519 | 10.550 |
532.20/91.18 c (90,0) c
532.20/91.18 c (90,0) c synthesis 597306 conflicts 874492759 propagations 1269 conflicts/sec 1858253 propagations/sec
532.20/91.18 c (90,0) c Total Memory so far : 2258.52Mb
532.20/91.18 c (90,0) c last restart ## conflicts : 95 1066
532.20/91.18 c (90,0) c Thread 6 is 100% pure glucose! First thread to finish! (SAT answer).
532.20/91.18 c (90,0) c Total Memory so far : 2258.64Mb
532.20/91.18 c (90,0) c
532.20/91.18 c (90,0) c real time : 66.275 s
532.20/91.18 c (90,0) c cpu time : 483.319 s
532.20/91.18 c (90,0) c
532.20/91.18 c (90,0) c
532.20/91.18 c (90,0) c
532.20/91.18 c (90,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
532.20/91.18 c (90,0) c
532.20/91.18 c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
532.20/91.18 c (90,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 |
532.20/91.18 c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
532.20/91.18 c (90,0) c | Conflicts | 610563 | 80977 | 77279 | 68410 | 73387 | 84078 | 74632 | 80876 | 70924 |
532.20/91.18 c (90,0) c | Decisions | 12526617 | 1520174 | 1507688 | 1526683 | 1614769 | 1587195 | 1636618 | 1520017 | 1613473 |
532.20/91.18 c (90,0) c | Propagations | 897320189 | 111209689 | 107767447 | 107537116 | 113703425 | 114691038 | 116179774 | 112116925 | 114114775 |
532.20/91.18 c (90,0) c | Avg_Trail | | 37933 | 41683 | 41223 | 41001 | 39275 | 40724 | 41668 | 41635 |
532.20/91.18 c (90,0) c | Avg_DL | | 368 | 447 | 446 | 447 | 396 | 440 | 442 | 453 |
532.20/91.18 c (90,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
532.20/91.18 c (90,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
532.20/91.18 c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
532.20/91.18 c (90,0) c | Exported | 66499 | 8955 | 8939 | 7083 | 7859 | 9146 | 7937 | 9068 | 7512 |
532.20/91.18 c (90,0) c | Imported | 465157 | 57524 | 57549 | 59403 | 58610 | 57304 | 58458 | 57363 | 58946 |
532.20/91.18 c (90,0) c | Good | 33812 | 4020 | 4230 | 4345 | 4212 | 4189 | 4278 | 4227 | 4311 |
532.20/91.18 c (90,0) c | Purge | 431345 | 53504 | 53319 | 55058 | 54398 | 53115 | 54180 | 53136 | 54635 |
532.20/91.18 c (90,0) c | Promoted | 21000 | 2625 | 2690 | 2496 | 2458 | 2952 | 2692 | 2506 | 2581 |
532.20/91.18 c (90,0) c | Remove_Imp | 166817 | 18562 | 20790 | 19650 | 23750 | 16753 | 22532 | 18548 | 26232 |
532.20/91.18 c (90,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
532.20/91.18 c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
532.20/91.18 c (90,0) c | Unaries | | 16 | 53 | 18 | 55 | 11 | 34 | 15 | 31 |
532.20/91.18 c (90,0) c | Binaries | | 813 | 604 | 488 | 621 | 642 | 548 | 600 | 518 |
532.20/91.18 c (90,0) c | Glues | | 1936 | 1656 | 1159 | 1562 | 1529 | 1537 | 1570 | 1435 |
532.20/91.18 c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
532.20/91.18 c (90,0) c | Orig_Seen | 9 % | 266885 | 239471 | 247299 | 254258 | 267773 | 257240 | 277684 | 256488 |
532.20/91.18 c (90,0) c | Diff Orig seen| | - 10799 | - 38213 | - 30385 | - 23426 | - 9911 | - 20444 | X | - 21196 |
532.20/91.18 c (90,0) c | Hamming | 16 % | 22464 | 21916 | 24850 | 21833 | 22529 | 22941 | X | 24174 |
532.20/91.18 c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
532.20/91.18 c (90,0)
532.20/91.18 c (90,0) s SATISFIABLE
45.75/91.31 c (90,23) SatSolver.solve End
45.75/91.31 c (90,23) Heap : 2680 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB)
45.75/91.31 c (90,23) Show results Begin
45.75/91.35 c (90,23) gve[0][0] = 0
45.75/91.35 c (90,23) gve[0][1] = 4
45.75/91.35 c (90,23) gve[0][2] = 3
45.75/91.35 c (90,23) gve[0][3] = 2
45.75/91.35 c (90,23) gve[0][4] = 6
45.75/91.35 c (90,23) gve[0][5] = 5
45.75/91.35 c (90,23) gve[1][0] = 0
45.75/91.35 c (90,23) gve[1][1] = 1
45.75/91.35 c (90,23) gve[1][2] = 4
45.75/91.35 c (90,23) gve[1][3] = 3
45.75/91.35 c (90,23) gve[1][4] = 6
45.75/91.35 c (90,23) gve[1][5] = 5
45.75/91.35 c (90,23) gve[2][0] = 0
45.75/91.35 c (90,23) gve[2][1] = 1
45.75/91.35 c (90,23) gve[2][2] = 5
45.75/91.35 c (90,23) gve[2][3] = 2
45.75/91.35 c (90,23) gve[2][4] = 3
45.75/91.35 c (90,23) gve[2][5] = 4
45.75/91.35 c (90,23) gve[3][0] = 0
45.75/91.35 c (90,23) gve[3][1] = 2
45.75/91.35 c (90,23) gve[3][2] = 5
45.75/91.35 c (90,23) gve[3][3] = 1
45.75/91.35 c (90,23) gve[3][4] = 4
45.75/91.35 c (90,23) gve[3][5] = 3
45.75/91.35 c (90,23) gve[4][0] = 0
45.75/91.35 c (90,23) gve[4][1] = 4
45.75/91.35 c (90,23) gve[4][2] = 5
45.75/91.35 c (90,23) gve[4][3] = 3
45.75/91.35 c (90,23) gve[4][4] = 2
45.75/91.35 c (90,23) gve[4][5] = 1
45.75/91.35 c (90,23) gve[5][0] = 0
45.75/91.35 c (90,23) gve[5][1] = 2
45.75/91.35 c (90,23) gve[5][2] = 4
45.75/91.35 c (90,23) gve[5][3] = 3
45.75/91.35 c (90,23) gve[5][4] = 5
45.75/91.35 c (90,23) gve[5][5] = 1
45.75/91.35 c (90,23) gve[6][0] = 0
45.75/91.35 c (90,23) gve[6][1] = 3
45.75/91.35 c (90,23) gve[6][2] = 5
45.75/91.35 c (90,23) gve[6][3] = 4
45.75/91.35 c (90,23) gve[6][4] = 6
45.75/91.35 c (90,23) gve[6][5] = 1
45.75/91.35 c (90,23) gve[7][0] = 0
45.75/91.35 c (90,23) gve[7][1] = 5
45.75/91.35 c (90,23) gve[7][2] = 2
45.75/91.35 c (90,23) gve[7][3] = 3
45.75/91.35 c (90,23) gve[7][4] = 6
45.75/91.35 c (90,23) gve[7][5] = 1
45.75/91.35 c (90,23) gve[8][0] = 0
45.75/91.35 c (90,23) gve[8][1] = 3
45.75/91.35 c (90,23) gve[8][2] = 2
45.75/91.35 c (90,23) gve[8][3] = 4
45.75/91.35 c (90,23) gve[8][4] = 6
45.75/91.35 c (90,23) gve[8][5] = 5
45.75/91.35 c (90,23) gve[9][0] = 0
45.75/91.35 c (90,23) gve[9][1] = 2
45.75/91.35 c (90,23) gve[9][2] = 3
45.75/91.35 c (90,23) gve[9][3] = 4
45.75/91.35 c (90,23) gve[9][4] = 6
45.75/91.35 c (90,23) gve[9][5] = 5
45.75/91.35 c (90,23) gve[10][0] = 1
45.75/91.35 c (90,23) gve[10][1] = 4
45.75/91.35 c (90,23) gve[10][2] = 3
45.75/91.35 c (90,23) gve[10][3] = 2
45.75/91.35 c (90,23) gve[10][4] = 5
45.75/91.35 c (90,23) gve[10][5] = 0
45.75/91.35 c (90,23) gve[11][0] = 1
45.75/91.35 c (90,23) gve[11][1] = 3
45.75/91.35 c (90,23) gve[11][2] = 0
45.75/91.35 c (90,23) gve[11][3] = 5
45.75/91.35 c (90,23) gve[11][4] = 2
45.75/91.35 c (90,23) gve[11][5] = 4
45.75/91.35 c (90,23) gve[12][0] = 1
45.75/91.35 c (90,23) gve[12][1] = 5
45.75/91.35 c (90,23) gve[12][2] = 2
45.75/91.35 c (90,23) gve[12][3] = 0
45.75/91.35 c (90,23) gve[12][4] = 4
45.75/91.35 c (90,23) gve[12][5] = 3
45.75/91.35 c (90,23) gve[13][0] = 1
45.75/91.35 c (90,23) gve[13][1] = 2
45.75/91.35 c (90,23) gve[13][2] = 6
45.75/91.35 c (90,23) gve[13][3] = 0
45.75/91.35 c (90,23) gve[13][4] = 5
45.75/91.35 c (90,23) gve[13][5] = 3
45.75/91.35 c (90,23) gve[14][0] = 1
45.75/91.35 c (90,23) gve[14][1] = 4
45.75/91.35 c (90,23) gve[14][2] = 5
45.75/91.35 c (90,23) gve[14][3] = 3
45.75/91.35 c (90,23) gve[14][4] = 0
45.75/91.35 c (90,23) gve[14][5] = 2
45.75/91.35 c (90,23) gve[15][0] = 1
45.75/91.35 c (90,23) gve[15][1] = 4
45.75/91.35 c (90,23) gve[15][2] = 6
45.75/91.35 c (90,23) gve[15][3] = 5
45.75/91.35 c (90,23) gve[15][4] = 3
45.75/91.35 c (90,23) gve[15][5] = 0
45.75/91.35 c (90,23) gve[16][0] = 1
45.75/91.35 c (90,23) gve[16][1] = 0
45.75/91.35 c (90,23) gve[16][2] = 6
45.75/91.35 c (90,23) gve[16][3] = 4
45.75/91.35 c (90,23) gve[16][4] = 5
45.75/91.35 c (90,23) gve[16][5] = 3
45.75/91.35 c (90,23) gve[17][0] = 2
45.75/91.35 c (90,23) gve[17][1] = 3
45.75/91.35 c (90,23) gve[17][2] = 6
45.75/91.35 c (90,23) gve[17][3] = 4
45.75/91.35 c (90,23) gve[17][4] = 5
45.75/91.35 c (90,23) gve[17][5] = 0
45.75/91.35 c (90,23) gve[18][0] = 2
45.75/91.35 c (90,23) gve[18][1] = 5
45.75/91.35 c (90,23) gve[18][2] = 6
45.75/91.35 c (90,23) gve[18][3] = 0
45.75/91.35 c (90,23) gve[18][4] = 4
45.75/91.35 c (90,23) gve[18][5] = 3
45.75/91.35 c (90,23) gve[19][0] = 2
45.75/91.35 c (90,23) gve[19][1] = 0
45.75/91.35 c (90,23) gve[19][2] = 6
45.75/91.35 c (90,23) gve[19][3] = 3
45.75/91.35 c (90,23) gve[19][4] = 5
45.75/91.35 c (90,23) gve[19][5] = 4
45.75/91.35 c (90,23) gve[20][0] = 2
45.75/91.35 c (90,23) gve[20][1] = 5
45.75/91.35 c (90,23) gve[20][2] = 4
45.75/91.35 c (90,23) gve[20][3] = 1
45.75/91.35 c (90,23) gve[20][4] = 0
45.75/91.35 c (90,23) gve[20][5] = 3
45.75/91.35 c (90,23) gve[21][0] = 2
45.75/91.35 c (90,23) gve[21][1] = 3
45.75/91.35 c (90,23) gve[21][2] = 0
45.75/91.35 c (90,23) gve[21][3] = 5
45.75/91.35 c (90,23) gve[21][4] = 1
45.75/91.35 c (90,23) gve[21][5] = 6
45.75/91.35 c (90,23) gve[22][0] = 2
45.75/91.35 c (90,23) gve[22][1] = 4
45.75/91.35 c (90,23) gve[22][2] = 3
45.75/91.35 c (90,23) gve[22][3] = 5
45.75/91.35 c (90,23) gve[22][4] = 0
45.75/91.35 c (90,23) gve[22][5] = 6
45.75/91.35 c (90,23) gve[23][0] = 2
45.75/91.35 c (90,23) gve[23][1] = 5
45.75/91.35 c (90,23) gve[23][2] = 3
45.75/91.35 c (90,23) gve[23][3] = 0
45.75/91.35 c (90,23) gve[23][4] = 1
45.75/91.35 c (90,23) gve[23][5] = 4
45.75/91.35 c (90,23) gve[24][0] = 2
45.75/91.35 c (90,23) gve[24][1] = 0
45.75/91.35 c (90,23) gve[24][2] = 5
45.75/91.35 c (90,23) gve[24][3] = 4
45.75/91.35 c (90,23) gve[24][4] = 3
45.75/91.35 c (90,23) gve[24][5] = 6
45.75/91.35 c (90,23) gve[25][0] = 3
45.75/91.35 c (90,23) gve[25][1] = 0
45.75/91.35 c (90,23) gve[25][2] = 4
45.75/91.35 c (90,23) gve[25][3] = 1
45.75/91.35 c (90,23) gve[25][4] = 5
45.75/91.35 c (90,23) gve[25][5] = 2
45.75/91.35 c (90,23) gve[26][0] = 3
45.75/91.35 c (90,23) gve[26][1] = 0
45.75/91.35 c (90,23) gve[26][2] = 1
45.75/91.35 c (90,23) gve[26][3] = 5
45.75/91.35 c (90,23) gve[26][4] = 4
45.75/91.35 c (90,23) gve[26][5] = 6
45.75/91.35 c (90,23) gve[27][0] = 3
45.75/91.35 c (90,23) gve[27][1] = 1
45.75/91.35 c (90,23) gve[27][2] = 4
45.75/91.35 c (90,23) gve[27][3] = 5
45.75/91.35 c (90,23) gve[27][4] = 0
45.75/91.35 c (90,23) gve[27][5] = 6
45.75/91.35 c (90,23) gve[28][0] = 3
45.75/91.35 c (90,23) gve[28][1] = 2
45.75/91.35 c (90,23) gve[28][2] = 0
45.75/91.35 c (90,23) gve[28][3] = 1
45.75/91.35 c (90,23) gve[28][4] = 4
45.75/91.35 c (90,23) gve[28][5] = 5
45.75/91.35 c (90,23) gve[29][0] = 3
45.75/91.35 c (90,23) gve[29][1] = 5
45.75/91.35 c (90,23) gve[29][2] = 4
45.75/91.35 c (90,23) gve[29][3] = 2
45.75/91.35 c (90,23) gve[29][4] = 0
45.75/91.35 c (90,23) gve[29][5] = 6
45.75/91.35 c (90,23) gve[30][0] = 3
45.75/91.35 c (90,23) gve[30][1] = 6
45.75/91.35 c (90,23) gve[30][2] = 4
45.75/91.35 c (90,23) gve[30][3] = 0
45.75/91.35 c (90,23) gve[30][4] = 5
45.75/91.35 c (90,23) gve[30][5] = 2
45.75/91.35 c (90,23) gve[31][0] = 3
45.75/91.35 c (90,23) gve[31][1] = 6
45.75/91.35 c (90,23) gve[31][2] = 4
45.75/91.35 c (90,23) gve[31][3] = 5
45.75/91.35 c (90,23) gve[31][4] = 2
45.75/91.35 c (90,23) gve[31][5] = 0
45.75/91.35 c (90,23) gve[32][0] = 3
45.75/91.35 c (90,23) gve[32][1] = 6
45.75/91.35 c (90,23) gve[32][2] = 0
45.75/91.35 c (90,23) gve[32][3] = 2
45.75/91.35 c (90,23) gve[32][4] = 1
45.75/91.35 c (90,23) gve[32][5] = 5
45.75/91.35 c (90,23) gve[33][0] = 3
45.75/91.35 c (90,23) gve[33][1] = 2
45.75/91.35 c (90,23) gve[33][2] = 1
45.75/91.35 c (90,23) gve[33][3] = 0
45.75/91.35 c (90,23) gve[33][4] = 4
45.75/91.35 c (90,23) gve[33][5] = 5
45.75/91.35 c (90,23) gve[34][0] = 3
45.75/91.35 c (90,23) gve[34][1] = 6
45.75/91.35 c (90,23) gve[34][2] = 1
45.75/91.35 c (90,23) gve[34][3] = 0
45.75/91.35 c (90,23) gve[34][4] = 4
45.75/91.35 c (90,23) gve[34][5] = 5
45.75/91.35 c (90,23) gve[35][0] = 4
45.75/91.35 c (90,23) gve[35][1] = 1
45.75/91.35 c (90,23) gve[35][2] = 2
45.75/91.35 c (90,23) gve[35][3] = 5
45.75/91.35 c (90,23) gve[35][4] = 0
45.75/91.35 c (90,23) gve[35][5] = 3
45.75/91.35 c (90,23) gve[36][0] = 4
45.75/91.35 c (90,23) gve[36][1] = 1
45.75/91.35 c (90,23) gve[36][2] = 2
45.75/91.35 c (90,23) gve[36][3] = 3
45.75/91.35 c (90,23) gve[36][4] = 0
45.75/91.35 c (90,23) gve[36][5] = 5
45.75/91.35 c (90,23) gve[37][0] = 4
45.75/91.35 c (90,23) gve[37][1] = 6
45.75/91.35 c (90,23) gve[37][2] = 5
45.75/91.35 c (90,23) gve[37][3] = 1
45.75/91.35 c (90,23) gve[37][4] = 3
45.75/91.35 c (90,23) gve[37][5] = 0
45.75/91.35 c (90,23) gve[38][0] = 4
45.75/91.35 c (90,23) gve[38][1] = 6
45.75/91.35 c (90,23) gve[38][2] = 5
45.75/91.35 c (90,23) gve[38][3] = 3
45.75/91.35 c (90,23) gve[38][4] = 0
45.75/91.35 c (90,23) gve[38][5] = 2
45.75/91.35 c (90,23) gve[39][0] = 4
45.75/91.35 c (90,23) gve[39][1] = 1
45.75/91.35 c (90,23) gve[39][2] = 5
45.75/91.35 c (90,23) gve[39][3] = 0
45.75/91.35 c (90,23) gve[39][4] = 3
45.75/91.35 c (90,23) gve[39][5] = 2
45.75/91.35 c (90,23) gve[40][0] = 4
45.75/91.35 c (90,23) gve[40][1] = 0
45.75/91.35 c (90,23) gve[40][2] = 1
45.75/91.35 c (90,23) gve[40][3] = 5
45.75/91.35 c (90,23) gve[40][4] = 3
45.75/91.35 c (90,23) gve[40][5] = 2
45.75/91.35 c (90,23) gve[41][0] = 4
45.75/91.35 c (90,23) gve[41][1] = 5
45.75/91.35 c (90,23) gve[41][2] = 0
45.75/91.35 c (90,23) gve[41][3] = 6
45.75/91.35 c (90,23) gve[41][4] = 2
45.75/91.35 c (90,23) gve[41][5] = 3
45.75/91.35 c (90,23) gve[42][0] = 4
45.75/91.35 c (90,23) gve[42][1] = 3
45.75/91.35 c (90,23) gve[42][2] = 2
45.75/91.35 c (90,23) gve[42][3] = 6
45.75/91.35 c (90,23) gve[42][4] = 5
45.75/91.35 c (90,23) gve[42][5] = 0
45.75/91.35 c (90,23) gve[43][0] = 4
45.75/91.35 c (90,23) gve[43][1] = 5
45.75/91.35 c (90,23) gve[43][2] = 3
45.75/91.35 c (90,23) gve[43][3] = 6
45.75/91.35 c (90,23) gve[43][4] = 2
45.75/91.35 c (90,23) gve[43][5] = 0
45.75/91.35 c (90,23) gve[44][0] = 5
45.75/91.35 c (90,23) gve[44][1] = 3
45.75/91.35 c (90,23) gve[44][2] = 1
45.75/91.35 c (90,23) gve[44][3] = 0
45.75/91.35 c (90,23) gve[44][4] = 2
45.75/91.35 c (90,23) gve[44][5] = 4
45.75/91.35 c (90,23) gve[45][0] = 5
45.75/91.35 c (90,23) gve[45][1] = 3
45.75/91.35 c (90,23) gve[45][2] = 2
45.75/91.35 c (90,23) gve[45][3] = 6
45.75/91.35 c (90,23) gve[45][4] = 1
45.75/91.35 c (90,23) gve[45][5] = 0
45.75/91.35 c (90,23) gve[46][0] = 5
45.75/91.35 c (90,23) gve[46][1] = 4
45.75/91.35 c (90,23) gve[46][2] = 0
45.75/91.35 c (90,23) gve[46][3] = 6
45.75/91.35 c (90,23) gve[46][4] = 1
45.75/91.35 c (90,23) gve[46][5] = 3
45.75/91.35 c (90,23) gve[47][0] = 5
45.75/91.35 c (90,23) gve[47][1] = 3
45.75/91.35 c (90,23) gve[47][2] = 0
45.75/91.35 c (90,23) gve[47][3] = 6
45.75/91.35 c (90,23) gve[47][4] = 4
45.75/91.35 c (90,23) gve[47][5] = 1
45.75/91.35 c (90,23) gve[48][0] = 5
45.75/91.35 c (90,23) gve[48][1] = 2
45.75/91.35 c (90,23) gve[48][2] = 3
45.75/91.35 c (90,23) gve[48][3] = 4
45.75/91.35 c (90,23) gve[48][4] = 0
45.75/91.35 c (90,23) gve[48][5] = 1
45.75/91.35 c (90,23) gve[49][0] = 5
45.75/91.35 c (90,23) gve[49][1] = 1
45.75/91.35 c (90,23) gve[49][2] = 0
45.75/91.35 c (90,23) gve[49][3] = 3
45.75/91.35 c (90,23) gve[49][4] = 2
45.75/91.35 c (90,23) gve[49][5] = 4
45.75/91.35 c (90,23) gve[50][0] = 5
45.75/91.35 c (90,23) gve[50][1] = 4
45.75/91.35 c (90,23) gve[50][2] = 3
45.75/91.35 c (90,23) gve[50][3] = 2
45.75/91.35 c (90,23) gve[50][4] = 0
45.75/91.35 c (90,23) gve[50][5] = 1
45.75/91.35 c (90,23) gve[51][0] = 5
45.75/91.35 c (90,23) gve[51][1] = 2
45.75/91.35 c (90,23) gve[51][2] = 3
45.75/91.35 c (90,23) gve[51][3] = 1
45.75/91.35 c (90,23) gve[51][4] = 4
45.75/91.35 c (90,23) gve[51][5] = 0
45.75/91.35 c (90,23) gve[52][0] = 5
45.75/91.35 c (90,23) gve[52][1] = 0
45.75/91.35 c (90,23) gve[52][2] = 1
45.75/91.35 c (90,23) gve[52][3] = 4
45.75/91.35 c (90,23) gve[52][4] = 3
45.75/91.35 c (90,23) gve[52][5] = 2
45.75/91.35 c (90,23) gve[53][0] = 5
45.75/91.35 c (90,23) gve[53][1] = 4
45.75/91.35 c (90,23) gve[53][2] = 2
45.75/91.35 c (90,23) gve[53][3] = 0
45.75/91.35 c (90,23) gve[53][4] = 1
45.75/91.35 c (90,23) gve[53][5] = 3
45.75/91.35 c (90,23) gve[54][0] = 6
45.75/91.35 c (90,23) gve[54][1] = 0
45.75/91.35 c (90,23) gve[54][2] = 5
45.75/91.35 c (90,23) gve[54][3] = 2
45.75/91.35 c (90,23) gve[54][4] = 3
45.75/91.35 c (90,23) gve[54][5] = 4
45.75/91.35 c (90,23) gve[55][0] = 6
45.75/91.35 c (90,23) gve[55][1] = 0
45.75/91.35 c (90,23) gve[55][2] = 4
45.75/91.35 c (90,23) gve[55][3] = 5
45.75/91.35 c (90,23) gve[55][4] = 3
45.75/91.35 c (90,23) gve[55][5] = 2
45.75/91.35 c (90,23) gve[56][0] = 6
45.75/91.35 c (90,23) gve[56][1] = 0
45.75/91.35 c (90,23) gve[56][2] = 1
45.75/91.35 c (90,23) gve[56][3] = 4
45.75/91.35 c (90,23) gve[56][4] = 3
45.75/91.35 c (90,23) gve[56][5] = 5
45.75/91.35 c (90,23) gve[57][0] = 6
45.75/91.35 c (90,23) gve[57][1] = 5
45.75/91.35 c (90,23) gve[57][2] = 3
45.75/91.35 c (90,23) gve[57][3] = 2
45.75/91.35 c (90,23) gve[57][4] = 1
45.75/91.35 c (90,23) gve[57][5] = 0
45.75/91.35 c (90,23) gve[58][0] = 6
45.75/91.35 c (90,23) gve[58][1] = 5
45.75/91.35 c (90,23) gve[58][2] = 0
45.75/91.35 c (90,23) gve[58][3] = 3
45.75/91.35 c (90,23) gve[58][4] = 2
45.75/91.35 c (90,23) gve[58][5] = 4
45.75/91.35 c (90,23) gve[59][0] = 6
45.75/91.35 c (90,23) gve[59][1] = 3
45.75/91.35 c (90,23) gve[59][2] = 0
45.75/91.35 c (90,23) gve[59][3] = 1
45.75/91.35 c (90,23) gve[59][4] = 5
45.75/91.35 c (90,23) gve[59][5] = 4
45.75/91.35 c (90,23) gvr[0][0] = 0
45.75/91.35 c (90,23) gvr[0][1] = 1
45.75/91.35 c (90,23) gvr[0][2] = 2
45.75/91.35 c (90,23) gvr[0][3] = 3
45.75/91.35 c (90,23) gvr[0][4] = 4
45.75/91.35 c (90,23) gvr[0][5] = 5
45.75/91.35 c (90,23) gvr[1][0] = 0
45.75/91.35 c (90,23) gvr[1][1] = 5
45.75/91.35 c (90,23) gvr[1][2] = 3
45.75/91.35 c (90,23) gvr[1][3] = 4
45.75/91.35 c (90,23) gvr[1][4] = 2
45.75/91.36 c (90,23) gvr[1][5] = 1
45.75/91.36 c (90,23) gvr[2][0] = 0
45.75/91.36 c (90,23) gvr[2][1] = 5
45.75/91.36 c (90,23) gvr[2][2] = 1
45.75/91.36 c (90,23) gvr[2][3] = 2
45.75/91.36 c (90,23) gvr[2][4] = 3
45.75/91.36 c (90,23) gvr[2][5] = 4
45.75/91.36 c (90,23) gvr[3][0] = 0
45.75/91.36 c (90,23) gvr[3][1] = 2
45.75/91.36 c (90,23) gvr[3][2] = 4
45.75/91.36 c (90,23) gvr[3][3] = 1
45.75/91.36 c (90,23) gvr[3][4] = 3
45.75/91.36 c (90,23) gvr[3][5] = 5
45.75/91.36 c (90,23) gvr[4][0] = 0
45.75/91.36 c (90,23) gvr[4][1] = 5
45.75/91.36 c (90,23) gvr[4][2] = 4
45.75/91.36 c (90,23) gvr[4][3] = 3
45.75/91.36 c (90,23) gvr[4][4] = 2
45.75/91.36 c (90,23) gvr[4][5] = 1
45.75/91.36 c (90,23) gvr[5][0] = 0
45.75/91.36 c (90,23) gvr[5][1] = 4
45.75/91.36 c (90,23) gvr[5][2] = 5
45.75/91.36 c (90,23) gvr[5][3] = 1
45.75/91.36 c (90,23) gvr[5][4] = 2
45.75/91.36 c (90,23) gvr[5][5] = 3
45.75/91.36 c (90,23) gvr[6][0] = 0
45.75/91.36 c (90,23) gvr[6][1] = 1
45.75/91.36 c (90,23) gvr[6][2] = 4
45.75/91.36 c (90,23) gvr[6][3] = 5
45.75/91.36 c (90,23) gvr[6][4] = 2
45.75/91.36 c (90,23) gvr[6][5] = 3
45.75/91.36 c (90,23) gvr[7][0] = 0
45.75/91.36 c (90,23) gvr[7][1] = 2
45.75/91.36 c (90,23) gvr[7][2] = 5
45.75/91.36 c (90,23) gvr[7][3] = 1
45.75/91.36 c (90,23) gvr[7][4] = 3
45.75/91.36 c (90,23) gvr[7][5] = 4
45.75/91.36 c (90,23) gvr[8][0] = 0
45.75/91.36 c (90,23) gvr[8][1] = 5
45.75/91.36 c (90,23) gvr[8][2] = 2
45.75/91.36 c (90,23) gvr[8][3] = 3
45.75/91.36 c (90,23) gvr[8][4] = 1
45.75/91.36 c (90,23) gvr[8][5] = 4
45.75/91.36 c (90,23) gvr[9][0] = 0
45.75/91.36 c (90,23) gvr[9][1] = 2
45.75/91.36 c (90,23) gvr[9][2] = 4
45.75/91.36 c (90,23) gvr[9][3] = 3
45.75/91.36 c (90,23) gvr[9][4] = 5
45.75/91.36 c (90,23) gvr[9][5] = 1
45.75/91.36 c (90,23) gvr[10][0] = 1
45.75/91.36 c (90,23) gvr[10][1] = 4
45.75/91.36 c (90,23) gvr[10][2] = 2
45.75/91.36 c (90,23) gvr[10][3] = 0
45.75/91.36 c (90,23) gvr[10][4] = 3
45.75/91.36 c (90,23) gvr[10][5] = 5
45.75/91.36 c (90,23) gvr[11][0] = 1
45.75/91.36 c (90,23) gvr[11][1] = 2
45.75/91.36 c (90,23) gvr[11][2] = 5
45.75/91.36 c (90,23) gvr[11][3] = 3
45.75/91.36 c (90,23) gvr[11][4] = 4
45.75/91.36 c (90,23) gvr[11][5] = 0
45.75/91.36 c (90,23) gvr[12][0] = 1
45.75/91.36 c (90,23) gvr[12][1] = 3
45.75/91.36 c (90,23) gvr[12][2] = 4
45.75/91.36 c (90,23) gvr[12][3] = 5
45.75/91.36 c (90,23) gvr[12][4] = 2
45.75/91.36 c (90,23) gvr[12][5] = 0
45.75/91.36 c (90,23) gvr[13][0] = 1
45.75/91.36 c (90,23) gvr[13][1] = 0
45.75/91.36 c (90,23) gvr[13][2] = 3
45.75/91.36 c (90,23) gvr[13][3] = 5
45.75/91.36 c (90,23) gvr[13][4] = 2
45.75/91.36 c (90,23) gvr[13][5] = 4
45.75/91.36 c (90,23) gvr[14][0] = 1
45.75/91.36 c (90,23) gvr[14][1] = 0
45.75/91.36 c (90,23) gvr[14][2] = 3
45.75/91.36 c (90,23) gvr[14][3] = 2
45.75/91.36 c (90,23) gvr[14][4] = 5
45.75/91.36 c (90,23) gvr[14][5] = 4
45.75/91.36 c (90,23) gvr[15][0] = 1
45.75/91.36 c (90,23) gvr[15][1] = 3
45.75/91.36 c (90,23) gvr[15][2] = 5
45.75/91.36 c (90,23) gvr[15][3] = 2
45.75/91.36 c (90,23) gvr[15][4] = 4
45.75/91.36 c (90,23) gvr[15][5] = 0
45.75/91.36 c (90,23) gvr[16][0] = 1
45.75/91.36 c (90,23) gvr[16][1] = 3
45.75/91.36 c (90,23) gvr[16][2] = 4
45.75/91.36 c (90,23) gvr[16][3] = 2
45.75/91.36 c (90,23) gvr[16][4] = 5
45.75/91.36 c (90,23) gvr[16][5] = 0
45.75/91.36 c (90,23) gvr[17][0] = 1
45.75/91.36 c (90,23) gvr[17][1] = 0
45.75/91.36 c (90,23) gvr[17][2] = 4
45.75/91.36 c (90,23) gvr[17][3] = 2
45.75/91.36 c (90,23) gvr[17][4] = 5
45.75/91.36 c (90,23) gvr[17][5] = 3
45.75/91.36 c (90,23) gvr[18][0] = 1
45.75/91.36 c (90,23) gvr[18][1] = 0
45.75/91.36 c (90,23) gvr[18][2] = 5
45.75/91.36 c (90,23) gvr[18][3] = 3
45.75/91.36 c (90,23) gvr[18][4] = 4
45.75/91.36 c (90,23) gvr[18][5] = 2
45.75/91.36 c (90,23) gvr[19][0] = 1
45.75/91.36 c (90,23) gvr[19][1] = 2
45.75/91.36 c (90,23) gvr[19][2] = 3
45.75/91.36 c (90,23) gvr[19][3] = 0
45.75/91.36 c (90,23) gvr[19][4] = 4
45.75/91.36 c (90,23) gvr[19][5] = 5
45.75/91.36 c (90,23) gvr[20][0] = 2
45.75/91.36 c (90,23) gvr[20][1] = 4
45.75/91.36 c (90,23) gvr[20][2] = 0
45.75/91.36 c (90,23) gvr[20][3] = 5
45.75/91.36 c (90,23) gvr[20][4] = 3
45.75/91.36 c (90,23) gvr[20][5] = 1
45.75/91.36 c (90,23) gvr[21][0] = 2
45.75/91.36 c (90,23) gvr[21][1] = 5
45.75/91.36 c (90,23) gvr[21][2] = 4
45.75/91.36 c (90,23) gvr[21][3] = 0
45.75/91.36 c (90,23) gvr[21][4] = 1
45.75/91.36 c (90,23) gvr[21][5] = 3
45.75/91.36 c (90,23) gvr[22][0] = 2
45.75/91.36 c (90,23) gvr[22][1] = 0
45.75/91.36 c (90,23) gvr[22][2] = 3
45.75/91.36 c (90,23) gvr[22][3] = 1
45.75/91.36 c (90,23) gvr[22][4] = 4
45.75/91.36 c (90,23) gvr[22][5] = 5
45.75/91.36 c (90,23) gvr[23][0] = 2
45.75/91.36 c (90,23) gvr[23][1] = 1
45.75/91.36 c (90,23) gvr[23][2] = 0
45.75/91.36 c (90,23) gvr[23][3] = 5
45.75/91.36 c (90,23) gvr[23][4] = 4
45.75/91.36 c (90,23) gvr[23][5] = 3
45.75/91.36 c (90,23) gvr[24][0] = 2
45.75/91.36 c (90,23) gvr[24][1] = 3
45.75/91.36 c (90,23) gvr[24][2] = 1
45.75/91.36 c (90,23) gvr[24][3] = 5
45.75/91.36 c (90,23) gvr[24][4] = 0
45.75/91.36 c (90,23) gvr[24][5] = 4
45.75/91.36 c (90,23) gvr[25][0] = 2
45.75/91.36 c (90,23) gvr[25][1] = 4
45.75/91.36 c (90,23) gvr[25][2] = 0
45.75/91.36 c (90,23) gvr[25][3] = 1
45.75/91.36 c (90,23) gvr[25][4] = 3
45.75/91.36 c (90,23) gvr[25][5] = 5
45.75/91.36 c (90,23) gvr[26][0] = 2
45.75/91.36 c (90,23) gvr[26][1] = 1
45.75/91.36 c (90,23) gvr[26][2] = 0
45.75/91.36 c (90,23) gvr[26][3] = 3
45.75/91.36 c (90,23) gvr[26][4] = 5
45.75/91.36 c (90,23) gvr[26][5] = 4
45.75/91.36 c (90,23) gvr[27][0] = 2
45.75/91.36 c (90,23) gvr[27][1] = 4
45.75/91.36 c (90,23) gvr[27][2] = 1
45.75/91.36 c (90,23) gvr[27][3] = 3
45.75/91.36 c (90,23) gvr[27][4] = 5
45.75/91.36 c (90,23) gvr[27][5] = 0
45.75/91.36 c (90,23) gvr[28][0] = 2
45.75/91.36 c (90,23) gvr[28][1] = 1
45.75/91.36 c (90,23) gvr[28][2] = 5
45.75/91.36 c (90,23) gvr[28][3] = 0
45.75/91.36 c (90,23) gvr[28][4] = 4
45.75/91.36 c (90,23) gvr[28][5] = 3
45.75/91.36 c (90,23) gvr[29][0] = 2
45.75/91.36 c (90,23) gvr[29][1] = 4
45.75/91.36 c (90,23) gvr[29][2] = 5
45.75/91.36 c (90,23) gvr[29][3] = 0
45.75/91.36 c (90,23) gvr[29][4] = 3
45.75/91.36 c (90,23) gvr[29][5] = 1
45.75/91.36 c (90,23) gvr[30][0] = 3
45.75/91.36 c (90,23) gvr[30][1] = 2
45.75/91.36 c (90,23) gvr[30][2] = 4
45.75/91.36 c (90,23) gvr[30][3] = 0
45.75/91.36 c (90,23) gvr[30][4] = 5
45.75/91.36 c (90,23) gvr[30][5] = 1
45.75/91.36 c (90,23) gvr[31][0] = 3
45.75/91.36 c (90,23) gvr[31][1] = 5
45.75/91.36 c (90,23) gvr[31][2] = 4
45.75/91.36 c (90,23) gvr[31][3] = 0
45.75/91.36 c (90,23) gvr[31][4] = 2
45.75/91.36 c (90,23) gvr[31][5] = 1
45.75/91.36 c (90,23) gvr[32][0] = 3
45.75/91.36 c (90,23) gvr[32][1] = 0
45.75/91.36 c (90,23) gvr[32][2] = 2
45.75/91.36 c (90,23) gvr[32][3] = 5
45.75/91.36 c (90,23) gvr[32][4] = 1
45.75/91.36 c (90,23) gvr[32][5] = 4
45.75/91.36 c (90,23) gvr[33][0] = 3
45.75/91.36 c (90,23) gvr[33][1] = 0
45.75/91.36 c (90,23) gvr[33][2] = 2
45.75/91.36 c (90,23) gvr[33][3] = 4
45.75/91.36 c (90,23) gvr[33][4] = 5
45.75/91.36 c (90,23) gvr[33][5] = 1
45.75/91.36 c (90,23) gvr[34][0] = 3
45.75/91.36 c (90,23) gvr[34][1] = 4
45.75/91.36 c (90,23) gvr[34][2] = 5
45.75/91.36 c (90,23) gvr[34][3] = 1
45.75/91.36 c (90,23) gvr[34][4] = 0
45.75/91.36 c (90,23) gvr[34][5] = 2
45.75/91.36 c (90,23) gvr[35][0] = 3
45.75/91.36 c (90,23) gvr[35][1] = 1
45.75/91.36 c (90,23) gvr[35][2] = 2
45.75/91.36 c (90,23) gvr[35][3] = 4
45.75/91.36 c (90,23) gvr[35][4] = 0
45.75/91.36 c (90,23) gvr[35][5] = 5
45.75/91.36 c (90,23) gvr[36][0] = 3
45.75/91.36 c (90,23) gvr[36][1] = 5
45.75/91.36 c (90,23) gvr[36][2] = 2
45.75/91.36 c (90,23) gvr[36][3] = 0
45.75/91.36 c (90,23) gvr[36][4] = 4
45.75/91.36 c (90,23) gvr[36][5] = 1
45.75/91.36 c (90,23) gvr[37][0] = 3
45.75/91.36 c (90,23) gvr[37][1] = 4
45.75/91.36 c (90,23) gvr[37][2] = 2
45.75/91.36 c (90,23) gvr[37][3] = 0
45.75/91.36 c (90,23) gvr[37][4] = 1
45.75/91.36 c (90,23) gvr[37][5] = 5
45.75/91.36 c (90,23) gvr[38][0] = 3
45.75/91.36 c (90,23) gvr[38][1] = 0
45.75/91.36 c (90,23) gvr[38][2] = 2
45.75/91.36 c (90,23) gvr[38][3] = 1
45.75/91.36 c (90,23) gvr[38][4] = 5
45.75/91.36 c (90,23) gvr[38][5] = 4
45.75/91.36 c (90,23) gvr[39][0] = 3
45.75/91.36 c (90,23) gvr[39][1] = 0
45.75/91.36 c (90,23) gvr[39][2] = 5
45.75/91.36 c (90,23) gvr[39][3] = 2
45.75/91.36 c (90,23) gvr[39][4] = 1
45.75/91.36 c (90,23) gvr[39][5] = 4
45.75/91.36 c (90,23) gvr[40][0] = 4
45.75/91.36 c (90,23) gvr[40][1] = 2
45.75/91.36 c (90,23) gvr[40][2] = 0
45.75/91.36 c (90,23) gvr[40][3] = 5
45.75/91.36 c (90,23) gvr[40][4] = 3
45.75/91.36 c (90,23) gvr[40][5] = 1
45.75/91.36 c (90,23) gvr[41][0] = 4
45.75/91.36 c (90,23) gvr[41][1] = 5
45.75/91.36 c (90,23) gvr[41][2] = 3
45.75/91.36 c (90,23) gvr[41][3] = 1
45.75/91.36 c (90,23) gvr[41][4] = 2
45.75/91.36 c (90,23) gvr[41][5] = 0
45.75/91.36 c (90,23) gvr[42][0] = 4
45.75/91.36 c (90,23) gvr[42][1] = 1
45.75/91.36 c (90,23) gvr[42][2] = 3
45.75/91.36 c (90,23) gvr[42][3] = 0
45.75/91.36 c (90,23) gvr[42][4] = 2
45.75/91.36 c (90,23) gvr[42][5] = 5
45.75/91.36 c (90,23) gvr[43][0] = 4
45.75/91.36 c (90,23) gvr[43][1] = 1
45.75/91.36 c (90,23) gvr[43][2] = 0
45.75/91.36 c (90,23) gvr[43][3] = 5
45.75/91.36 c (90,23) gvr[43][4] = 3
45.75/91.36 c (90,23) gvr[43][5] = 2
45.75/91.36 c (90,23) gvr[44][0] = 4
45.75/91.36 c (90,23) gvr[44][1] = 5
45.75/91.36 c (90,23) gvr[44][2] = 3
45.75/91.36 c (90,23) gvr[44][3] = 1
45.75/91.36 c (90,23) gvr[44][4] = 2
45.75/91.36 c (90,23) gvr[44][5] = 0
45.75/91.36 c (90,23) gvr[45][0] = 4
45.75/91.36 c (90,23) gvr[45][1] = 2
45.75/91.36 c (90,23) gvr[45][2] = 5
45.75/91.36 c (90,23) gvr[45][3] = 3
45.75/91.36 c (90,23) gvr[45][4] = 1
45.75/91.36 c (90,23) gvr[45][5] = 0
45.75/91.36 c (90,23) gvr[46][0] = 4
45.75/91.36 c (90,23) gvr[46][1] = 1
45.75/91.36 c (90,23) gvr[46][2] = 0
45.75/91.36 c (90,23) gvr[46][3] = 2
45.75/91.36 c (90,23) gvr[46][4] = 3
45.75/91.36 c (90,23) gvr[46][5] = 5
45.75/91.36 c (90,23) gvr[47][0] = 4
45.75/91.36 c (90,23) gvr[47][1] = 0
45.75/91.36 c (90,23) gvr[47][2] = 2
45.75/91.36 c (90,23) gvr[47][3] = 5
45.75/91.36 c (90,23) gvr[47][4] = 1
45.75/91.36 c (90,23) gvr[47][5] = 3
45.75/91.36 c (90,23) gvr[48][0] = 4
45.75/91.36 c (90,23) gvr[48][1] = 1
45.75/91.36 c (90,23) gvr[48][2] = 3
45.75/91.36 c (90,23) gvr[48][3] = 2
45.75/91.36 c (90,23) gvr[48][4] = 5
45.75/91.36 c (90,23) gvr[48][5] = 0
45.75/91.36 c (90,23) gvr[49][0] = 4
45.75/91.36 c (90,23) gvr[49][1] = 5
45.75/91.36 c (90,23) gvr[49][2] = 3
45.75/91.36 c (90,23) gvr[49][3] = 2
45.75/91.36 c (90,23) gvr[49][4] = 1
45.75/91.36 c (90,23) gvr[49][5] = 0
45.75/91.36 c (90,23) gvr[50][0] = 5
45.75/91.36 c (90,23) gvr[50][1] = 2
45.75/91.36 c (90,23) gvr[50][2] = 0
45.75/91.36 c (90,23) gvr[50][3] = 4
45.75/91.36 c (90,23) gvr[50][4] = 1
45.75/91.36 c (90,23) gvr[50][5] = 3
45.75/91.36 c (90,23) gvr[51][0] = 5
45.75/91.36 c (90,23) gvr[51][1] = 2
45.75/91.36 c (90,23) gvr[51][2] = 0
45.75/91.36 c (90,23) gvr[51][3] = 1
45.75/91.36 c (90,23) gvr[51][4] = 4
45.75/91.36 c (90,23) gvr[51][5] = 3
45.75/91.36 c (90,23) gvr[52][0] = 5
45.75/91.36 c (90,23) gvr[52][1] = 4
45.75/91.36 c (90,23) gvr[52][2] = 1
45.75/91.36 c (90,23) gvr[52][3] = 3
45.75/91.36 c (90,23) gvr[52][4] = 0
45.75/91.36 c (90,23) gvr[52][5] = 2
45.75/91.36 c (90,23) gvr[53][0] = 5
45.75/91.36 c (90,23) gvr[53][1] = 4
45.75/91.36 c (90,23) gvr[53][2] = 0
45.75/91.36 c (90,23) gvr[53][3] = 2
45.75/91.36 c (90,23) gvr[53][4] = 1
45.75/91.36 c (90,23) gvr[53][5] = 3
45.75/91.36 c (90,23) gvr[54][0] = 5
45.75/91.36 c (90,23) gvr[54][1] = 3
45.75/91.36 c (90,23) gvr[54][2] = 1
45.75/91.36 c (90,23) gvr[54][3] = 4
45.75/91.36 c (90,23) gvr[54][4] = 0
45.75/91.36 c (90,23) gvr[54][5] = 2
45.75/91.36 c (90,23) gvr[55][0] = 5
45.75/91.36 c (90,23) gvr[55][1] = 3
45.75/91.36 c (90,23) gvr[55][2] = 1
45.75/91.36 c (90,23) gvr[55][3] = 4
45.75/91.36 c (90,23) gvr[55][4] = 0
45.75/91.36 c (90,23) gvr[55][5] = 2
45.75/91.36 c (90,23) gvr[56][0] = 5
45.75/91.36 c (90,23) gvr[56][1] = 3
45.75/91.36 c (90,23) gvr[56][2] = 1
45.75/91.36 c (90,23) gvr[56][3] = 4
45.75/91.36 c (90,23) gvr[56][4] = 0
45.75/91.36 c (90,23) gvr[56][5] = 2
45.75/91.36 c (90,23) gvr[57][0] = 5
45.75/91.36 c (90,23) gvr[57][1] = 3
45.75/91.36 c (90,23) gvr[57][2] = 1
45.75/91.36 c (90,23) gvr[57][3] = 4
45.75/91.36 c (90,23) gvr[57][4] = 0
45.75/91.36 c (90,23) gvr[57][5] = 2
45.75/91.36 c (90,23) gvr[58][0] = 5
45.75/91.36 c (90,23) gvr[58][1] = 3
45.75/91.36 c (90,23) gvr[58][2] = 1
45.75/91.36 c (90,23) gvr[58][3] = 4
45.75/91.36 c (90,23) gvr[58][4] = 0
45.75/91.36 c (90,23) gvr[58][5] = 2
45.75/91.36 c (90,23) gvr[59][0] = 5
45.75/91.36 c (90,23) gvr[59][1] = 3
45.75/91.36 c (90,23) gvr[59][2] = 1
45.75/91.36 c (90,23) gvr[59][3] = 4
45.75/91.36 c (90,23) gvr[59][4] = 0
45.75/91.36 c (90,23) gvr[59][5] = 2
45.75/91.36 c (90,23) ve[0][0] = 0
45.75/91.36 c (90,23) ve[0][1] = 38
45.75/91.36 c (90,23) ve[0][2] = 26
45.75/91.36 c (90,23) ve[0][3] = 19
45.75/91.36 c (90,23) ve[0][4] = 54
45.75/91.36 c (90,23) ve[0][5] = 49
45.75/91.36 c (90,23) ve[1][0] = 1
45.75/91.36 c (90,23) ve[1][1] = 13
45.75/91.36 c (90,23) ve[1][2] = 40
45.75/91.36 c (90,23) ve[1][3] = 29
45.75/91.36 c (90,23) ve[1][4] = 55
45.75/91.36 c (90,23) ve[1][5] = 45
45.75/91.36 c (90,23) ve[2][0] = 2
45.75/91.36 c (90,23) ve[2][1] = 14
45.75/91.36 c (90,23) ve[2][2] = 46
45.75/91.36 c (90,23) ve[2][3] = 21
45.75/91.36 c (90,23) ve[2][4] = 34
45.75/91.36 c (90,23) ve[2][5] = 41
45.75/91.36 c (90,23) ve[3][0] = 3
45.75/91.36 c (90,23) ve[3][1] = 22
45.75/91.36 c (90,23) ve[3][2] = 50
45.75/91.36 c (90,23) ve[3][3] = 10
45.75/91.36 c (90,23) ve[3][4] = 35
45.75/91.36 c (90,23) ve[3][5] = 27
45.75/91.36 c (90,23) ve[4][0] = 4
45.75/91.36 c (90,23) ve[4][1] = 39
45.75/91.36 c (90,23) ve[4][2] = 53
45.75/91.36 c (90,23) ve[4][3] = 31
45.75/91.36 c (90,23) ve[4][4] = 24
45.75/91.36 c (90,23) ve[4][5] = 12
45.75/91.36 c (90,23) ve[5][0] = 5
45.75/91.36 c (90,23) ve[5][1] = 18
45.75/91.36 c (90,23) ve[5][2] = 43
45.75/91.36 c (90,23) ve[5][3] = 28
45.75/91.36 c (90,23) ve[5][4] = 52
45.75/91.36 c (90,23) ve[5][5] = 11
45.75/91.36 c (90,23) ve[6][0] = 6
45.75/91.36 c (90,23) ve[6][1] = 33
45.75/91.36 c (90,23) ve[6][2] = 51
45.75/91.36 c (90,23) ve[6][3] = 37
45.75/91.36 c (90,23) ve[6][4] = 56
45.75/91.36 c (90,23) ve[6][5] = 15
45.75/91.36 c (90,23) ve[7][0] = 7
45.75/91.36 c (90,23) ve[7][1] = 47
45.75/91.36 c (90,23) ve[7][2] = 20
45.75/91.36 c (90,23) ve[7][3] = 30
45.75/91.36 c (90,23) ve[7][4] = 57
45.75/91.36 c (90,23) ve[7][5] = 16
45.75/91.36 c (90,23) ve[8][0] = 8
45.75/91.36 c (90,23) ve[8][1] = 32
45.75/91.36 c (90,23) ve[8][2] = 23
45.75/91.36 c (90,23) ve[8][3] = 42
45.75/91.36 c (90,23) ve[8][4] = 58
45.75/91.36 c (90,23) ve[8][5] = 48
45.75/91.36 c (90,23) ve[9][0] = 9
45.75/91.36 c (90,23) ve[9][1] = 17
45.75/91.36 c (90,23) ve[9][2] = 25
45.75/91.36 c (90,23) ve[9][3] = 36
45.75/91.36 c (90,23) ve[9][4] = 59
45.75/91.36 c (90,23) ve[9][5] = 44
45.75/91.36 c (90,23) ve[10][0] = 10
45.75/91.36 c (90,23) ve[10][1] = 35
45.75/91.36 c (90,23) ve[10][2] = 27
45.75/91.36 c (90,23) ve[10][3] = 22
45.75/91.36 c (90,23) ve[10][4] = 49
45.75/91.36 c (90,23) ve[10][5] = 9
45.75/91.36 c (90,23) ve[11][0] = 11
45.75/91.36 c (90,23) ve[11][1] = 28
45.75/91.36 c (90,23) ve[11][2] = 2
45.75/91.36 c (90,23) ve[11][3] = 51
45.75/91.36 c (90,23) ve[11][4] = 21
45.75/91.36 c (90,23) ve[11][5] = 40
45.75/91.36 c (90,23) ve[12][0] = 12
45.75/91.36 c (90,23) ve[12][1] = 46
45.75/91.36 c (90,23) ve[12][2] = 24
45.75/91.36 c (90,23) ve[12][3] = 5
45.75/91.36 c (90,23) ve[12][4] = 39
45.75/91.36 c (90,23) ve[12][5] = 29
45.75/91.36 c (90,23) ve[13][0] = 13
45.75/91.36 c (90,23) ve[13][1] = 23
45.75/91.36 c (90,23) ve[13][2] = 54
45.75/91.36 c (90,23) ve[13][3] = 7
45.75/91.36 c (90,23) ve[13][4] = 47
45.75/91.36 c (90,23) ve[13][5] = 30
45.75/91.36 c (90,23) ve[14][0] = 14
45.75/91.36 c (90,23) ve[14][1] = 43
45.75/91.36 c (90,23) ve[14][2] = 52
45.75/91.36 c (90,23) ve[14][3] = 25
45.75/91.36 c (90,23) ve[14][4] = 8
45.75/91.36 c (90,23) ve[14][5] = 20
45.75/91.36 c (90,23) ve[15][0] = 15
45.75/91.36 c (90,23) ve[15][1] = 42
45.75/91.36 c (90,23) ve[15][2] = 55
45.75/91.36 c (90,23) ve[15][3] = 44
45.75/91.36 c (90,23) ve[15][4] = 32
45.75/91.36 c (90,23) ve[15][5] = 1
45.75/91.36 c (90,23) ve[16][0] = 16
45.75/91.36 c (90,23) ve[16][1] = 6
45.75/91.36 c (90,23) ve[16][2] = 56
45.75/91.36 c (90,23) ve[16][3] = 41
45.75/91.36 c (90,23) ve[16][4] = 53
45.75/91.36 c (90,23) ve[16][5] = 31
45.75/91.36 c (90,23) ve[17][0] = 17
45.75/91.36 c (90,23) ve[17][1] = 26
45.75/91.36 c (90,23) ve[17][2] = 57
45.75/91.36 c (90,23) ve[17][3] = 38
45.75/91.36 c (90,23) ve[17][4] = 45
45.75/91.36 c (90,23) ve[17][5] = 4
45.75/91.36 c (90,23) ve[18][0] = 18
45.75/91.36 c (90,23) ve[18][1] = 48
45.75/91.36 c (90,23) ve[18][2] = 58
45.75/91.36 c (90,23) ve[18][3] = 3
45.75/91.36 c (90,23) ve[18][4] = 37
45.75/91.36 c (90,23) ve[18][5] = 33
45.75/91.36 c (90,23) ve[19][0] = 19
45.75/91.36 c (90,23) ve[19][1] = 0
45.75/91.36 c (90,23) ve[19][2] = 59
45.75/91.36 c (90,23) ve[19][3] = 34
45.75/91.36 c (90,23) ve[19][4] = 50
45.75/91.36 c (90,23) ve[19][5] = 36
45.75/91.36 c (90,23) ve[20][0] = 20
45.75/91.36 c (90,23) ve[20][1] = 45
45.75/91.36 c (90,23) ve[20][2] = 38
45.75/91.36 c (90,23) ve[20][3] = 16
45.75/91.36 c (90,23) ve[20][4] = 4
45.75/91.36 c (90,23) ve[20][5] = 34
45.75/91.36 c (90,23) ve[21][0] = 21
45.75/91.36 c (90,23) ve[21][1] = 30
45.75/91.36 c (90,23) ve[21][2] = 8
45.75/91.36 c (90,23) ve[21][3] = 46
45.75/91.36 c (90,23) ve[21][4] = 13
45.75/91.36 c (90,23) ve[21][5] = 54
45.75/91.36 c (90,23) ve[22][0] = 22
45.75/91.36 c (90,23) ve[22][1] = 40
45.75/91.36 c (90,23) ve[22][2] = 32
45.75/91.36 c (90,23) ve[22][3] = 53
45.75/91.36 c (90,23) ve[22][4] = 1
45.75/91.36 c (90,23) ve[22][5] = 55
45.75/91.36 c (90,23) ve[23][0] = 23
45.75/91.36 c (90,23) ve[23][1] = 50
45.75/91.36 c (90,23) ve[23][2] = 33
45.75/91.36 c (90,23) ve[23][3] = 2
45.75/91.36 c (90,23) ve[23][4] = 12
45.75/91.36 c (90,23) ve[23][5] = 43
45.75/91.36 c (90,23) ve[24][0] = 24
45.75/91.36 c (90,23) ve[24][1] = 3
45.75/91.36 c (90,23) ve[24][2] = 47
45.75/91.36 c (90,23) ve[24][3] = 39
45.75/91.36 c (90,23) ve[24][4] = 31
45.75/91.36 c (90,23) ve[24][5] = 56
45.75/91.36 c (90,23) ve[25][0] = 25
45.75/91.36 c (90,23) ve[25][1] = 7
45.75/91.36 c (90,23) ve[25][2] = 36
45.75/91.36 c (90,23) ve[25][3] = 14
45.75/91.36 c (90,23) ve[25][4] = 44
45.75/91.36 c (90,23) ve[25][5] = 18
45.75/91.36 c (90,23) ve[26][0] = 26
45.75/91.36 c (90,23) ve[26][1] = 9
45.75/91.36 c (90,23) ve[26][2] = 10
45.75/91.36 c (90,23) ve[26][3] = 49
45.75/91.36 c (90,23) ve[26][4] = 42
45.75/91.36 c (90,23) ve[26][5] = 57
45.75/91.36 c (90,23) ve[27][0] = 27
45.75/91.36 c (90,23) ve[27][1] = 11
45.75/91.36 c (90,23) ve[27][2] = 37
45.75/91.36 c (90,23) ve[27][3] = 48
45.75/91.36 c (90,23) ve[27][4] = 6
45.75/91.36 c (90,23) ve[27][5] = 58
45.75/91.36 c (90,23) ve[28][0] = 28
45.75/91.36 c (90,23) ve[28][1] = 19
45.75/91.36 c (90,23) ve[28][2] = 0
45.75/91.36 c (90,23) ve[28][3] = 15
45.75/91.36 c (90,23) ve[28][4] = 41
45.75/91.36 c (90,23) ve[28][5] = 52
45.75/91.36 c (90,23) ve[29][0] = 29
45.75/91.36 c (90,23) ve[29][1] = 51
45.75/91.36 c (90,23) ve[29][2] = 35
45.75/91.36 c (90,23) ve[29][3] = 17
45.75/91.36 c (90,23) ve[29][4] = 5
45.75/91.36 c (90,23) ve[29][5] = 59
45.75/91.36 c (90,23) ve[30][0] = 30
45.75/91.36 c (90,23) ve[30][1] = 54
45.75/91.36 c (90,23) ve[30][2] = 42
45.75/91.36 c (90,23) ve[30][3] = 9
45.75/91.36 c (90,23) ve[30][4] = 46
45.75/91.36 c (90,23) ve[30][5] = 21
45.75/91.36 c (90,23) ve[31][0] = 31
45.75/91.36 c (90,23) ve[31][1] = 55
45.75/91.36 c (90,23) ve[31][2] = 41
45.75/91.36 c (90,23) ve[31][3] = 52
45.75/91.36 c (90,23) ve[31][4] = 20
45.75/91.36 c (90,23) ve[31][5] = 5
45.75/91.36 c (90,23) ve[32][0] = 32
45.75/91.36 c (90,23) ve[32][1] = 56
45.75/91.36 c (90,23) ve[32][2] = 1
45.75/91.36 c (90,23) ve[32][3] = 18
45.75/91.36 c (90,23) ve[32][4] = 10
45.75/91.36 c (90,23) ve[32][5] = 47
45.75/91.36 c (90,23) ve[33][0] = 33
45.75/91.36 c (90,23) ve[33][1] = 24
45.75/91.36 c (90,23) ve[33][2] = 13
45.75/91.36 c (90,23) ve[33][3] = 4
45.75/91.36 c (90,23) ve[33][4] = 40
45.75/91.36 c (90,23) ve[33][5] = 51
45.75/91.36 c (90,23) ve[34][0] = 34
45.75/91.36 c (90,23) ve[34][1] = 57
45.75/91.36 c (90,23) ve[34][2] = 14
45.75/91.36 c (90,23) ve[34][3] = 0
45.75/91.36 c (90,23) ve[34][4] = 43
45.75/91.36 c (90,23) ve[34][5] = 53
45.75/91.36 c (90,23) ve[35][0] = 35
45.75/91.36 c (90,23) ve[35][1] = 12
45.75/91.36 c (90,23) ve[35][2] = 22
45.75/91.36 c (90,23) ve[35][3] = 45
45.75/91.36 c (90,23) ve[35][4] = 2
45.75/91.36 c (90,23) ve[35][5] = 28
45.75/91.36 c (90,23) ve[36][0] = 36
45.75/91.36 c (90,23) ve[36][1] = 16
45.75/91.36 c (90,23) ve[36][2] = 19
45.75/91.36 c (90,23) ve[36][3] = 27
45.75/91.36 c (90,23) ve[36][4] = 7
45.75/91.36 c (90,23) ve[36][5] = 50
45.75/91.36 c (90,23) ve[37][0] = 37
45.75/91.36 c (90,23) ve[37][1] = 58
45.75/91.36 c (90,23) ve[37][2] = 48
45.75/91.36 c (90,23) ve[37][3] = 11
45.75/91.36 c (90,23) ve[37][4] = 25
45.75/91.36 c (90,23) ve[37][5] = 6
45.75/91.36 c (90,23) ve[38][0] = 38
45.75/91.36 c (90,23) ve[38][1] = 59
45.75/91.36 c (90,23) ve[38][2] = 49
45.75/91.36 c (90,23) ve[38][3] = 26
45.75/91.36 c (90,23) ve[38][4] = 3
45.75/91.36 c (90,23) ve[38][5] = 17
45.75/91.36 c (90,23) ve[39][0] = 39
45.75/91.36 c (90,23) ve[39][1] = 15
45.75/91.36 c (90,23) ve[39][2] = 44
45.75/91.36 c (90,23) ve[39][3] = 8
45.75/91.36 c (90,23) ve[39][4] = 29
45.75/91.36 c (90,23) ve[39][5] = 23
45.75/91.36 c (90,23) ve[40][0] = 40
45.75/91.36 c (90,23) ve[40][1] = 5
45.75/91.36 c (90,23) ve[40][2] = 12
45.75/91.36 c (90,23) ve[40][3] = 50
45.75/91.36 c (90,23) ve[40][4] = 28
45.75/91.36 c (90,23) ve[40][5] = 24
45.75/91.36 c (90,23) ve[41][0] = 41
45.75/91.36 c (90,23) ve[41][1] = 53
45.75/91.36 c (90,23) ve[41][2] = 4
45.75/91.36 c (90,23) ve[41][3] = 54
45.75/91.36 c (90,23) ve[41][4] = 19
45.75/91.36 c (90,23) ve[41][5] = 26
45.75/91.36 c (90,23) ve[42][0] = 42
45.75/91.36 c (90,23) ve[42][1] = 25
45.75/91.36 c (90,23) ve[42][2] = 21
45.75/91.36 c (90,23) ve[42][3] = 55
45.75/91.36 c (90,23) ve[42][4] = 51
45.75/91.36 c (90,23) ve[42][5] = 7
45.75/91.36 c (90,23) ve[43][0] = 43
45.75/91.36 c (90,23) ve[43][1] = 52
45.75/91.36 c (90,23) ve[43][2] = 30
45.75/91.36 c (90,23) ve[43][3] = 56
45.75/91.36 c (90,23) ve[43][4] = 23
45.75/91.36 c (90,23) ve[43][5] = 2
45.75/91.36 c (90,23) ve[44][0] = 44
45.75/91.36 c (90,23) ve[44][1] = 27
45.75/91.36 c (90,23) ve[44][2] = 16
45.75/91.36 c (90,23) ve[44][3] = 1
45.75/91.36 c (90,23) ve[44][4] = 22
45.75/91.36 c (90,23) ve[44][5] = 38
45.75/91.36 c (90,23) ve[45][0] = 45
45.75/91.36 c (90,23) ve[45][1] = 29
45.75/91.36 c (90,23) ve[45][2] = 17
45.75/91.36 c (90,23) ve[45][3] = 57
45.75/91.36 c (90,23) ve[45][4] = 11
45.75/91.36 c (90,23) ve[45][5] = 8
45.75/91.36 c (90,23) ve[46][0] = 46
45.75/91.36 c (90,23) ve[46][1] = 37
45.75/91.36 c (90,23) ve[46][2] = 9
45.75/91.36 c (90,23) ve[46][3] = 58
45.75/91.36 c (90,23) ve[46][4] = 15
45.75/91.36 c (90,23) ve[46][5] = 32
45.75/91.36 c (90,23) ve[47][0] = 47
45.75/91.36 c (90,23) ve[47][1] = 34
45.75/91.36 c (90,23) ve[47][2] = 3
45.75/91.36 c (90,23) ve[47][3] = 59
45.75/91.36 c (90,23) ve[47][4] = 36
45.75/91.36 c (90,23) ve[47][5] = 13
45.75/91.36 c (90,23) ve[48][0] = 48
45.75/91.36 c (90,23) ve[48][1] = 20
45.75/91.36 c (90,23) ve[48][2] = 31
45.75/91.36 c (90,23) ve[48][3] = 35
45.75/91.36 c (90,23) ve[48][4] = 0
45.75/91.36 c (90,23) ve[48][5] = 14
45.75/91.36 c (90,23) ve[49][0] = 49
45.75/91.36 c (90,23) ve[49][1] = 10
45.75/91.36 c (90,23) ve[49][2] = 6
45.75/91.36 c (90,23) ve[49][3] = 33
45.75/91.36 c (90,23) ve[49][4] = 18
45.75/91.36 c (90,23) ve[49][5] = 39
45.75/91.36 c (90,23) ve[50][0] = 50
45.75/91.36 c (90,23) ve[50][1] = 41
45.75/91.36 c (90,23) ve[50][2] = 29
45.75/91.36 c (90,23) ve[50][3] = 23
45.75/91.36 c (90,23) ve[50][4] = 9
45.75/91.36 c (90,23) ve[50][5] = 10
45.75/91.36 c (90,23) ve[51][0] = 51
45.75/91.36 c (90,23) ve[51][1] = 21
45.75/91.36 c (90,23) ve[51][2] = 28
45.75/91.36 c (90,23) ve[51][3] = 12
45.75/91.36 c (90,23) ve[51][4] = 38
45.75/91.36 c (90,23) ve[51][5] = 0
45.75/91.36 c (90,23) ve[52][0] = 52
45.75/91.36 c (90,23) ve[52][1] = 1
45.75/91.36 c (90,23) ve[52][2] = 11
45.75/91.36 c (90,23) ve[52][3] = 40
45.75/91.36 c (90,23) ve[52][4] = 27
45.75/91.36 c (90,23) ve[52][5] = 19
45.75/91.36 c (90,23) ve[53][0] = 53
45.75/91.36 c (90,23) ve[53][1] = 36
45.75/91.36 c (90,23) ve[53][2] = 18
45.75/91.36 c (90,23) ve[53][3] = 6
45.75/91.36 c (90,23) ve[53][4] = 16
45.75/91.36 c (90,23) ve[53][5] = 25
45.75/91.36 c (90,23) ve[54][0] = 54
45.75/91.36 c (90,23) ve[54][1] = 8
45.75/91.36 c (90,23) ve[54][2] = 45
45.75/91.36 c (90,23) ve[54][3] = 20
45.75/91.36 c (90,23) ve[54][4] = 26
45.75/91.36 c (90,23) ve[54][5] = 37
45.75/91.36 c (90,23) ve[55][0] = 55
45.75/91.36 c (90,23) ve[55][1] = 4
45.75/91.36 c (90,23) ve[55][2] = 39
45.75/91.36 c (90,23) ve[55][3] = 47
45.75/91.36 c (90,23) ve[55][4] = 30
45.75/91.36 c (90,23) ve[55][5] = 22
45.75/91.36 c (90,23) ve[56][0] = 56
45.75/91.36 c (90,23) ve[56][1] = 2
45.75/91.36 c (90,23) ve[56][2] = 15
45.75/91.36 c (90,23) ve[56][3] = 43
45.75/91.36 c (90,23) ve[56][4] = 33
45.75/91.36 c (90,23) ve[56][5] = 46
45.75/91.36 c (90,23) ve[57][0] = 57
45.75/91.36 c (90,23) ve[57][1] = 49
45.75/91.36 c (90,23) ve[57][2] = 34
45.75/91.36 c (90,23) ve[57][3] = 24
45.75/91.36 c (90,23) ve[57][4] = 14
45.75/91.36 c (90,23) ve[57][5] = 3
45.75/91.36 c (90,23) ve[58][0] = 58
45.75/91.36 c (90,23) ve[58][1] = 44
45.75/91.36 c (90,23) ve[58][2] = 7
45.75/91.36 c (90,23) ve[58][3] = 32
45.75/91.36 c (90,23) ve[58][4] = 17
45.75/91.36 c (90,23) ve[58][5] = 42
45.75/91.36 c (90,23) ve[59][0] = 59
45.75/91.36 c (90,23) ve[59][1] = 31
45.75/91.36 c (90,23) ve[59][2] = 5
45.75/91.36 c (90,23) ve[59][3] = 13
45.75/91.36 c (90,23) ve[59][4] = 48
45.75/91.36 c (90,23) ve[59][5] = 35
45.75/91.36 c (90,23) vr[0][0] = 0
45.75/91.36 c (90,23) vr[0][1] = 19
45.75/91.36 c (90,23) vr[0][2] = 28
45.75/91.36 c (90,23) vr[0][3] = 34
45.75/91.36 c (90,23) vr[0][4] = 48
45.75/91.36 c (90,23) vr[0][5] = 51
45.75/91.36 c (90,23) vr[1][0] = 1
45.75/91.36 c (90,23) vr[1][1] = 52
45.75/91.36 c (90,23) vr[1][2] = 32
45.75/91.36 c (90,23) vr[1][3] = 44
45.75/91.36 c (90,23) vr[1][4] = 22
45.75/91.36 c (90,23) vr[1][5] = 15
45.75/91.36 c (90,23) vr[2][0] = 2
45.75/91.36 c (90,23) vr[2][1] = 56
45.75/91.36 c (90,23) vr[2][2] = 11
45.75/91.36 c (90,23) vr[2][3] = 23
45.75/91.36 c (90,23) vr[2][4] = 35
45.75/91.36 c (90,23) vr[2][5] = 43
45.75/91.36 c (90,23) vr[3][0] = 3
45.75/91.36 c (90,23) vr[3][1] = 24
45.75/91.36 c (90,23) vr[3][2] = 47
45.75/91.36 c (90,23) vr[3][3] = 18
45.75/91.36 c (90,23) vr[3][4] = 38
45.75/91.36 c (90,23) vr[3][5] = 57
45.75/91.36 c (90,23) vr[4][0] = 4
45.75/91.36 c (90,23) vr[4][1] = 55
45.75/91.36 c (90,23) vr[4][2] = 41
45.75/91.36 c (90,23) vr[4][3] = 33
45.75/91.36 c (90,23) vr[4][4] = 20
45.75/91.36 c (90,23) vr[4][5] = 17
45.75/91.36 c (90,23) vr[5][0] = 5
45.75/91.36 c (90,23) vr[5][1] = 40
45.75/91.36 c (90,23) vr[5][2] = 59
45.75/91.36 c (90,23) vr[5][3] = 12
45.75/91.36 c (90,23) vr[5][4] = 29
45.75/91.36 c (90,23) vr[5][5] = 31
45.75/91.36 c (90,23) vr[6][0] = 6
45.75/91.36 c (90,23) vr[6][1] = 16
45.75/91.36 c (90,23) vr[6][2] = 49
45.75/91.36 c (90,23) vr[6][3] = 53
45.75/91.36 c (90,23) vr[6][4] = 27
45.75/91.36 c (90,23) vr[6][5] = 37
45.75/91.36 c (90,23) vr[7][0] = 7
45.75/91.36 c (90,23) vr[7][1] = 25
45.75/91.36 c (90,23) vr[7][2] = 58
45.75/91.36 c (90,23) vr[7][3] = 13
45.75/91.36 c (90,23) vr[7][4] = 36
45.75/91.36 c (90,23) vr[7][5] = 42
45.75/91.36 c (90,23) vr[8][0] = 8
45.75/91.36 c (90,23) vr[8][1] = 54
45.75/91.36 c (90,23) vr[8][2] = 21
45.75/91.36 c (90,23) vr[8][3] = 39
45.75/91.36 c (90,23) vr[8][4] = 14
45.75/91.36 c (90,23) vr[8][5] = 45
45.75/91.36 c (90,23) vr[9][0] = 9
45.75/91.36 c (90,23) vr[9][1] = 26
45.75/91.36 c (90,23) vr[9][2] = 46
45.75/91.36 c (90,23) vr[9][3] = 30
45.75/91.36 c (90,23) vr[9][4] = 50
45.75/91.36 c (90,23) vr[9][5] = 10
45.75/91.36 c (90,23) vr[10][0] = 10
45.75/91.36 c (90,23) vr[10][1] = 49
45.75/91.36 c (90,23) vr[10][2] = 26
45.75/91.36 c (90,23) vr[10][3] = 3
45.75/91.36 c (90,23) vr[10][4] = 32
45.75/91.36 c (90,23) vr[10][5] = 50
45.75/91.36 c (90,23) vr[11][0] = 11
45.75/91.36 c (90,23) vr[11][1] = 27
45.75/91.36 c (90,23) vr[11][2] = 52
45.75/91.36 c (90,23) vr[11][3] = 37
45.75/91.36 c (90,23) vr[11][4] = 45
45.75/91.36 c (90,23) vr[11][5] = 5
45.75/91.36 c (90,23) vr[12][0] = 12
45.75/91.36 c (90,23) vr[12][1] = 35
45.75/91.36 c (90,23) vr[12][2] = 40
45.75/91.36 c (90,23) vr[12][3] = 51
45.75/91.36 c (90,23) vr[12][4] = 23
45.75/91.36 c (90,23) vr[12][5] = 4
45.75/91.36 c (90,23) vr[13][0] = 13
45.75/91.36 c (90,23) vr[13][1] = 1
45.75/91.36 c (90,23) vr[13][2] = 33
45.75/91.36 c (90,23) vr[13][3] = 59
45.75/91.36 c (90,23) vr[13][4] = 21
45.75/91.36 c (90,23) vr[13][5] = 47
45.75/91.36 c (90,23) vr[14][0] = 14
45.75/91.36 c (90,23) vr[14][1] = 2
45.75/91.36 c (90,23) vr[14][2] = 34
45.75/91.36 c (90,23) vr[14][3] = 25
45.75/91.36 c (90,23) vr[14][4] = 57
45.75/91.36 c (90,23) vr[14][5] = 48
45.75/91.36 c (90,23) vr[15][0] = 15
45.75/91.36 c (90,23) vr[15][1] = 39
45.75/91.36 c (90,23) vr[15][2] = 56
45.75/91.36 c (90,23) vr[15][3] = 28
45.75/91.36 c (90,23) vr[15][4] = 46
45.75/91.36 c (90,23) vr[15][5] = 6
45.75/91.36 c (90,23) vr[16][0] = 16
45.75/91.36 c (90,23) vr[16][1] = 36
45.75/91.36 c (90,23) vr[16][2] = 44
45.75/91.36 c (90,23) vr[16][3] = 20
45.75/91.36 c (90,23) vr[16][4] = 53
45.75/91.36 c (90,23) vr[16][5] = 7
45.75/91.36 c (90,23) vr[17][0] = 17
45.75/91.36 c (90,23) vr[17][1] = 9
45.75/91.36 c (90,23) vr[17][2] = 45
45.75/91.36 c (90,23) vr[17][3] = 29
45.75/91.36 c (90,23) vr[17][4] = 58
45.75/91.36 c (90,23) vr[17][5] = 38
45.75/91.36 c (90,23) vr[18][0] = 18
45.75/91.36 c (90,23) vr[18][1] = 5
45.75/91.36 c (90,23) vr[18][2] = 53
45.75/91.36 c (90,23) vr[18][3] = 32
45.75/91.36 c (90,23) vr[18][4] = 49
45.75/91.36 c (90,23) vr[18][5] = 25
45.75/91.36 c (90,23) vr[19][0] = 19
45.75/91.36 c (90,23) vr[19][1] = 28
45.75/91.36 c (90,23) vr[19][2] = 36
45.75/91.36 c (90,23) vr[19][3] = 0
45.75/91.36 c (90,23) vr[19][4] = 41
45.75/91.36 c (90,23) vr[19][5] = 52
45.75/91.36 c (90,23) vr[20][0] = 20
45.75/91.36 c (90,23) vr[20][1] = 48
45.75/91.36 c (90,23) vr[20][2] = 7
45.75/91.36 c (90,23) vr[20][3] = 54
45.75/91.36 c (90,23) vr[20][4] = 31
45.75/91.36 c (90,23) vr[20][5] = 14
45.75/91.36 c (90,23) vr[21][0] = 21
45.75/91.36 c (90,23) vr[21][1] = 51
45.75/91.36 c (90,23) vr[21][2] = 42
45.75/91.36 c (90,23) vr[21][3] = 2
45.75/91.36 c (90,23) vr[21][4] = 11
45.75/91.36 c (90,23) vr[21][5] = 30
45.75/91.36 c (90,23) vr[22][0] = 22
45.75/91.36 c (90,23) vr[22][1] = 3
45.75/91.36 c (90,23) vr[22][2] = 35
45.75/91.36 c (90,23) vr[22][3] = 10
45.75/91.36 c (90,23) vr[22][4] = 44
45.75/91.36 c (90,23) vr[22][5] = 55
45.75/91.36 c (90,23) vr[23][0] = 23
45.75/91.36 c (90,23) vr[23][1] = 13
45.75/91.36 c (90,23) vr[23][2] = 8
45.75/91.36 c (90,23) vr[23][3] = 50
45.75/91.36 c (90,23) vr[23][4] = 43
45.75/91.36 c (90,23) vr[23][5] = 39
45.75/91.36 c (90,23) vr[24][0] = 24
45.75/91.36 c (90,23) vr[24][1] = 33
45.75/91.36 c (90,23) vr[24][2] = 12
45.75/91.36 c (90,23) vr[24][3] = 57
45.75/91.36 c (90,23) vr[24][4] = 4
45.75/91.36 c (90,23) vr[24][5] = 40
45.75/91.36 c (90,23) vr[25][0] = 25
45.75/91.36 c (90,23) vr[25][1] = 42
45.75/91.36 c (90,23) vr[25][2] = 9
45.75/91.36 c (90,23) vr[25][3] = 14
45.75/91.36 c (90,23) vr[25][4] = 37
45.75/91.36 c (90,23) vr[25][5] = 53
45.75/91.36 c (90,23) vr[26][0] = 26
45.75/91.36 c (90,23) vr[26][1] = 17
45.75/91.36 c (90,23) vr[26][2] = 0
45.75/91.36 c (90,23) vr[26][3] = 38
45.75/91.36 c (90,23) vr[26][4] = 54
45.75/91.36 c (90,23) vr[26][5] = 41
45.75/91.36 c (90,23) vr[27][0] = 27
45.75/91.36 c (90,23) vr[27][1] = 44
45.75/91.36 c (90,23) vr[27][2] = 10
45.75/91.36 c (90,23) vr[27][3] = 36
45.75/91.36 c (90,23) vr[27][4] = 52
45.75/91.36 c (90,23) vr[27][5] = 3
45.75/91.36 c (90,23) vr[28][0] = 28
45.75/91.36 c (90,23) vr[28][1] = 11
45.75/91.36 c (90,23) vr[28][2] = 51
45.75/91.36 c (90,23) vr[28][3] = 5
45.75/91.36 c (90,23) vr[28][4] = 40
45.75/91.36 c (90,23) vr[28][5] = 35
45.75/91.36 c (90,23) vr[29][0] = 29
45.75/91.36 c (90,23) vr[29][1] = 45
45.75/91.36 c (90,23) vr[29][2] = 50
45.75/91.36 c (90,23) vr[29][3] = 1
45.75/91.36 c (90,23) vr[29][4] = 39
45.75/91.36 c (90,23) vr[29][5] = 12
45.75/91.36 c (90,23) vr[30][0] = 30
45.75/91.36 c (90,23) vr[30][1] = 21
45.75/91.36 c (90,23) vr[30][2] = 43
45.75/91.36 c (90,23) vr[30][3] = 7
45.75/91.36 c (90,23) vr[30][4] = 55
45.75/91.36 c (90,23) vr[30][5] = 13
45.75/91.36 c (90,23) vr[31][0] = 31
45.75/91.36 c (90,23) vr[31][1] = 59
45.75/91.36 c (90,23) vr[31][2] = 48
45.75/91.36 c (90,23) vr[31][3] = 4
45.75/91.36 c (90,23) vr[31][4] = 24
45.75/91.36 c (90,23) vr[31][5] = 16
45.75/91.36 c (90,23) vr[32][0] = 32
45.75/91.36 c (90,23) vr[32][1] = 8
45.75/91.36 c (90,23) vr[32][2] = 22
45.75/91.36 c (90,23) vr[32][3] = 58
45.75/91.36 c (90,23) vr[32][4] = 15
45.75/91.36 c (90,23) vr[32][5] = 46
45.75/91.36 c (90,23) vr[33][0] = 33
45.75/91.36 c (90,23) vr[33][1] = 6
45.75/91.36 c (90,23) vr[33][2] = 23
45.75/91.36 c (90,23) vr[33][3] = 49
45.75/91.36 c (90,23) vr[33][4] = 56
45.75/91.36 c (90,23) vr[33][5] = 18
45.75/91.36 c (90,23) vr[34][0] = 34
45.75/91.36 c (90,23) vr[34][1] = 47
45.75/91.36 c (90,23) vr[34][2] = 57
45.75/91.36 c (90,23) vr[34][3] = 19
45.75/91.36 c (90,23) vr[34][4] = 2
45.75/91.36 c (90,23) vr[34][5] = 20
45.75/91.36 c (90,23) vr[35][0] = 35
45.75/91.36 c (90,23) vr[35][1] = 10
45.75/91.36 c (90,23) vr[35][2] = 29
45.75/91.36 c (90,23) vr[35][3] = 48
45.75/91.36 c (90,23) vr[35][4] = 3
45.75/91.36 c (90,23) vr[35][5] = 59
45.75/91.36 c (90,23) vr[36][0] = 36
45.75/91.36 c (90,23) vr[36][1] = 53
45.75/91.36 c (90,23) vr[36][2] = 25
45.75/91.36 c (90,23) vr[36][3] = 9
45.75/91.36 c (90,23) vr[36][4] = 47
45.75/91.36 c (90,23) vr[36][5] = 19
45.75/91.36 c (90,23) vr[37][0] = 37
45.75/91.36 c (90,23) vr[37][1] = 46
45.75/91.36 c (90,23) vr[37][2] = 27
45.75/91.36 c (90,23) vr[37][3] = 6
45.75/91.36 c (90,23) vr[37][4] = 18
45.75/91.36 c (90,23) vr[37][5] = 54
45.75/91.36 c (90,23) vr[38][0] = 38
45.75/91.36 c (90,23) vr[38][1] = 0
45.75/91.36 c (90,23) vr[38][2] = 20
45.75/91.36 c (90,23) vr[38][3] = 17
45.75/91.36 c (90,23) vr[38][4] = 51
45.75/91.36 c (90,23) vr[38][5] = 44
45.75/91.36 c (90,23) vr[39][0] = 39
45.75/91.36 c (90,23) vr[39][1] = 4
45.75/91.36 c (90,23) vr[39][2] = 55
45.75/91.36 c (90,23) vr[39][3] = 24
45.75/91.36 c (90,23) vr[39][4] = 12
45.75/91.36 c (90,23) vr[39][5] = 49
45.75/91.36 c (90,23) vr[40][0] = 40
45.75/91.36 c (90,23) vr[40][1] = 22
45.75/91.36 c (90,23) vr[40][2] = 1
45.75/91.36 c (90,23) vr[40][3] = 52
45.75/91.36 c (90,23) vr[40][4] = 33
45.75/91.36 c (90,23) vr[40][5] = 11
45.75/91.36 c (90,23) vr[41][0] = 41
45.75/91.36 c (90,23) vr[41][1] = 50
45.75/91.36 c (90,23) vr[41][2] = 31
45.75/91.36 c (90,23) vr[41][3] = 16
45.75/91.36 c (90,23) vr[41][4] = 28
45.75/91.36 c (90,23) vr[41][5] = 2
45.75/91.36 c (90,23) vr[42][0] = 42
45.75/91.36 c (90,23) vr[42][1] = 15
45.75/91.36 c (90,23) vr[42][2] = 30
45.75/91.36 c (90,23) vr[42][3] = 8
45.75/91.36 c (90,23) vr[42][4] = 26
45.75/91.36 c (90,23) vr[42][5] = 58
45.75/91.36 c (90,23) vr[43][0] = 43
45.75/91.36 c (90,23) vr[43][1] = 14
45.75/91.36 c (90,23) vr[43][2] = 5
45.75/91.36 c (90,23) vr[43][3] = 56
45.75/91.36 c (90,23) vr[43][4] = 34
45.75/91.36 c (90,23) vr[43][5] = 23
45.75/91.36 c (90,23) vr[44][0] = 44
45.75/91.36 c (90,23) vr[44][1] = 58
45.75/91.36 c (90,23) vr[44][2] = 39
45.75/91.36 c (90,23) vr[44][3] = 15
45.75/91.36 c (90,23) vr[44][4] = 25
45.75/91.36 c (90,23) vr[44][5] = 9
45.75/91.36 c (90,23) vr[45][0] = 45
45.75/91.36 c (90,23) vr[45][1] = 20
45.75/91.36 c (90,23) vr[45][2] = 54
45.75/91.36 c (90,23) vr[45][3] = 35
45.75/91.36 c (90,23) vr[45][4] = 17
45.75/91.36 c (90,23) vr[45][5] = 1
45.75/91.36 c (90,23) vr[46][0] = 46
45.75/91.36 c (90,23) vr[46][1] = 12
45.75/91.36 c (90,23) vr[46][2] = 2
45.75/91.36 c (90,23) vr[46][3] = 21
45.75/91.36 c (90,23) vr[46][4] = 30
45.75/91.36 c (90,23) vr[46][5] = 56
45.75/91.36 c (90,23) vr[47][0] = 47
45.75/91.36 c (90,23) vr[47][1] = 7
45.75/91.36 c (90,23) vr[47][2] = 24
45.75/91.36 c (90,23) vr[47][3] = 55
45.75/91.36 c (90,23) vr[47][4] = 13
45.75/91.36 c (90,23) vr[47][5] = 32
45.75/91.36 c (90,23) vr[48][0] = 48
45.75/91.36 c (90,23) vr[48][1] = 18
45.75/91.36 c (90,23) vr[48][2] = 37
45.75/91.36 c (90,23) vr[48][3] = 27
45.75/91.36 c (90,23) vr[48][4] = 59
45.75/91.36 c (90,23) vr[48][5] = 8
45.75/91.36 c (90,23) vr[49][0] = 49
45.75/91.36 c (90,23) vr[49][1] = 57
45.75/91.36 c (90,23) vr[49][2] = 38
45.75/91.36 c (90,23) vr[49][3] = 26
45.75/91.36 c (90,23) vr[49][4] = 10
45.75/91.36 c (90,23) vr[49][5] = 0
45.75/91.36 c (90,23) vr[50][0] = 50
45.75/91.36 c (90,23) vr[50][1] = 23
45.75/91.36 c (90,23) vr[50][2] = 3
45.75/91.36 c (90,23) vr[50][3] = 40
45.75/91.36 c (90,23) vr[50][4] = 19
45.75/91.36 c (90,23) vr[50][5] = 36
45.75/91.36 c (90,23) vr[51][0] = 51
45.75/91.36 c (90,23) vr[51][1] = 29
45.75/91.36 c (90,23) vr[51][2] = 6
45.75/91.36 c (90,23) vr[51][3] = 11
45.75/91.36 c (90,23) vr[51][4] = 42
45.75/91.36 c (90,23) vr[51][5] = 33
45.75/91.36 c (90,23) vr[52][0] = 52
45.75/91.36 c (90,23) vr[52][1] = 43
45.75/91.36 c (90,23) vr[52][2] = 14
45.75/91.36 c (90,23) vr[52][3] = 31
45.75/91.36 c (90,23) vr[52][4] = 5
45.75/91.36 c (90,23) vr[52][5] = 28
45.75/91.36 c (90,23) vr[53][0] = 53
45.75/91.36 c (90,23) vr[53][1] = 41
45.75/91.36 c (90,23) vr[53][2] = 4
45.75/91.36 c (90,23) vr[53][3] = 22
45.75/91.36 c (90,23) vr[53][4] = 16
45.75/91.36 c (90,23) vr[53][5] = 34
45.75/91.36 c (90,23) vr[54][0] = 54
45.75/91.36 c (90,23) vr[54][1] = 30
45.75/91.36 c (90,23) vr[54][2] = 13
45.75/91.36 c (90,23) vr[54][3] = 41
45.75/91.36 c (90,23) vr[54][4] = 0
45.75/91.36 c (90,23) vr[54][5] = 21
45.75/91.36 c (90,23) vr[55][0] = 55
45.75/91.36 c (90,23) vr[55][1] = 31
45.75/91.36 c (90,23) vr[55][2] = 15
45.75/91.36 c (90,23) vr[55][3] = 42
45.75/91.36 c (90,23) vr[55][4] = 1
45.75/91.36 c (90,23) vr[55][5] = 22
45.75/91.36 c (90,23) vr[56][0] = 56
45.75/91.36 c (90,23) vr[56][1] = 32
45.75/91.36 c (90,23) vr[56][2] = 16
45.75/91.36 c (90,23) vr[56][3] = 43
45.75/91.36 c (90,23) vr[56][4] = 6
45.75/91.36 c (90,23) vr[56][5] = 24
45.75/91.36 c (90,23) vr[57][0] = 57
45.75/91.36 c (90,23) vr[57][1] = 34
45.75/91.36 c (90,23) vr[57][2] = 17
45.75/91.36 c (90,23) vr[57][3] = 45
45.75/91.36 c (90,23) vr[57][4] = 7
45.75/91.36 c (90,23) vr[57][5] = 26
45.75/91.36 c (90,23) vr[58][0] = 58
45.75/91.36 c (90,23) vr[58][1] = 37
45.75/91.36 c (90,23) vr[58][2] = 18
45.75/91.36 c (90,23) vr[58][3] = 46
45.75/91.36 c (90,23) vr[58][4] = 8
45.75/91.36 c (90,23) vr[58][5] = 27
45.75/91.36 c (90,23) vr[59][0] = 59
45.75/91.36 c (90,23) vr[59][1] = 38
45.75/91.36 c (90,23) vr[59][2] = 19
45.75/91.36 c (90,23) vr[59][3] = 47
45.75/91.36 c (90,23) vr[59][4] = 9
45.75/91.36 c (90,23) vr[59][5] = 29
45.75/91.36 s SATISFIABLE
45.75/91.37 v <instantiation>
45.75/91.37 v <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[0][5] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[1][5] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[2][5] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[3][5] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[4][5] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[5][5] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[6][5] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[7][5] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[8][5] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[9][5] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[10][5] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[11][5] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[12][5] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[13][5] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[14][5] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[15][5] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[16][5] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[17][5] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[18][5] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[19][5] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[20][5] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[21][5] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[22][5] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[23][5] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[24][5] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[25][5] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[26][5] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[27][5] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[28][5] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] vr[29][5] vr[30][0] vr[30][1] vr[30][2] vr[30][3] vr[30][4] vr[30][5] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[31][4] vr[31][5] vr[32][0] vr[32][1] vr[32][2] vr[32][3] vr[32][4] vr[32][5] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[33][4] vr[33][5] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[34][4] vr[34][5] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[35][4] vr[35][5] vr[36][0] vr[36][1] vr[36][2] vr[36][3] vr[36][4] vr[36][5] vr[37][0] vr[37][1] vr[37][2] vr[37][3] vr[37][4] vr[37][5] vr[38][0] vr[38][1] vr[38][2] vr[38][3] vr[38][4] vr[38][5] vr[39][0] vr[39][1] vr[39][2] vr[39][3] vr[39][4] vr[39][5] vr[40][0] vr[40][1] vr[40][2] vr[40][3] vr[40][4] vr[40][5] vr[41][0] vr[41][1] vr[41][2] vr[41][3] vr[41][4] vr[41][5] vr[42][0] vr[42][1] vr[42][2] vr[42][3] vr[42][4] vr[42][5] vr[43][0] vr[43][1] vr[43][2] vr[43][3] vr[43][4] vr[43][5] vr[44][0] vr[44][1] vr[44][2] vr[44][3] vr[44][4] vr[44][5] vr[45][0] vr[45][1] vr[45][2] vr[45][3] vr[45][4] vr[45][5] vr[46][0] vr[46][1] vr[46][2] vr[46][3] vr[46][4] vr[46][5] vr[47][0] vr[47][1] vr[47][2] vr[47][3] vr[47][4] vr[47][5] vr[48][0] vr[48][1] vr[48][2] vr[48][3] vr[48][4] vr[48][5] vr[49][0] vr[49][1] vr[49][2] vr[49][3] vr[49][4] vr[49][5] vr[50][0] vr[50][1] vr[50][2] vr[50][3] vr[50][4] vr[50][5] vr[51][0] vr[51][1] vr[51][2] vr[51][3] vr[51][4] vr[51][5] vr[52][0] vr[52][1] vr[52][2] vr[52][3] vr[52][4] vr[52][5] vr[53][0] vr[53][1] vr[53][2] vr[53][3] vr[53][4] vr[53][5] vr[54][0] vr[54][1] vr[54][2] vr[54][3] vr[54][4] vr[54][5] vr[55][0] vr[55][1] vr[55][2] vr[55][3] vr[55][4] vr[55][5] vr[56][0] vr[56][1] vr[56][2] vr[56][3] vr[56][4] vr[56][5] vr[57][0] vr[57][1] vr[57][2] vr[57][3] vr[57][4] vr[57][5] vr[58][0] vr[58][1] vr[58][2] vr[58][3] vr[58][4] vr[58][5] vr[59][0] vr[59][1] vr[59][2] vr[59][3] vr[59][4] vr[59][5] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[0][5] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[1][5] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[2][5] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[3][5] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[4][5] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[5][5] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[6][5] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[7][5] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[8][5] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[9][5] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[10][5] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[11][5] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[12][5] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[13][5] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[14][5] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[15][5] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[16][5] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[17][5] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[18][5] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[19][5] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[20][5] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[21][5] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[22][5] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[23][5] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[24][5] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[25][5] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[26][5] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[27][5] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[28][5] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] ve[29][5] ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[30][4] ve[30][5] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[31][4] ve[31][5] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[32][4] ve[32][5] ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[33][4] ve[33][5] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[34][4] ve[34][5] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[35][4] ve[35][5] ve[36][0] ve[36][1] ve[36][2] ve[36][3] ve[36][4] ve[36][5] ve[37][0] ve[37][1] ve[37][2] ve[37][3] ve[37][4] ve[37][5] ve[38][0] ve[38][1] ve[38][2] ve[38][3] ve[38][4] ve[38][5] ve[39][0] ve[39][1] ve[39][2] ve[39][3] ve[39][4] ve[39][5] ve[40][0] ve[40][1] ve[40][2] ve[40][3] ve[40][4] ve[40][5] ve[41][0] ve[41][1] ve[41][2] ve[41][3] ve[41][4] ve[41][5] ve[42][0] ve[42][1] ve[42][2] ve[42][3] ve[42][4] ve[42][5] ve[43][0] ve[43][1] ve[43][2] ve[43][3] ve[43][4] ve[43][5] ve[44][0] ve[44][1] ve[44][2] ve[44][3] ve[44][4] ve[44][5] ve[45][0] ve[45][1] ve[45][2] ve[45][3] ve[45][4] ve[45][5] ve[46][0] ve[46][1] ve[46][2] ve[46][3] ve[46][4] ve[46][5] ve[47][0] ve[47][1] ve[47][2] ve[47][3] ve[47][4] ve[47][5] ve[48][0] ve[48][1] ve[48][2] ve[48][3] ve[48][4] ve[48][5] ve[49][0] ve[49][1] ve[49][2] ve[49][3] ve[49][4] ve[49][5] ve[50][0] ve[50][1] ve[50][2] ve[50][3] ve[50][4] ve[50][5] ve[51][0] ve[51][1] ve[51][2] ve[51][3] ve[51][4] ve[51][5] ve[52][0] ve[52][1] ve[52][2] ve[52][3] ve[52][4] ve[52][5] ve[53][0] ve[53][1] ve[53][2] ve[53][3] ve[53][4] ve[53][5] ve[54][0] ve[54][1] ve[54][2] ve[54][3] ve[54][4] ve[54][5] ve[55][0] ve[55][1] ve[55][2] ve[55][3] ve[55][4] ve[55][5] ve[56][0] ve[56][1] ve[56][2] ve[56][3] ve[56][4] ve[56][5] ve[57][0] ve[57][1] ve[57][2] ve[57][3] ve[57][4] ve[57][5] ve[58][0] ve[58][1] ve[58][2] ve[58][3] ve[58][4] ve[58][5] ve[59][0] ve[59][1] ve[59][2] ve[59][3] ve[59][4] ve[59][5] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[0][5] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[1][5] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[2][5] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[3][5] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[4][5] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[5][5] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[6][5] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[7][5] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[8][5] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[9][5] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[10][5] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[11][5] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[12][5] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[13][5] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[14][5] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[15][5] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[16][5] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[17][5] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[18][5] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[19][5] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[20][5] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[21][5] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[22][5] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[23][5] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[24][5] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[25][5] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[26][5] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[27][5] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[28][5] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gvr[29][5] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[30][4] gvr[30][5] gvr[31][0] gvr[31][1] gvr[31][2] gvr[31][3] gvr[31][4] gvr[31][5] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[32][4] gvr[32][5] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3] gvr[33][4] gvr[33][5] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[34][4] gvr[34][5] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[35][4] gvr[35][5] gvr[36][0] gvr[36][1] gvr[36][2] gvr[36][3] gvr[36][4] gvr[36][5] gvr[37][0] gvr[37][1] gvr[37][2] gvr[37][3] gvr[37][4] gvr[37][5] gvr[38][0] gvr[38][1] gvr[38][2] gvr[38][3] gvr[38][4] gvr[38][5] gvr[39][0] gvr[39][1] gvr[39][2] gvr[39][3] gvr[39][4] gvr[39][5] gvr[40][0] gvr[40][1] gvr[40][2] gvr[40][3] gvr[40][4] gvr[40][5] gvr[41][0] gvr[41][1] gvr[41][2] gvr[41][3] gvr[41][4] gvr[41][5] gvr[42][0] gvr[42][1] gvr[42][2] gvr[42][3] gvr[42][4] gvr[42][5] gvr[43][0] gvr[43][1] gvr[43][2] gvr[43][3] gvr[43][4] gvr[43][5] gvr[44][0] gvr[44][1] gvr[44][2] gvr[44][3] gvr[44][4] gvr[44][5] gvr[45][0] gvr[45][1] gvr[45][2] gvr[45][3] gvr[45][4] gvr[45][5] gvr[46][0] gvr[46][1] gvr[46][2] gvr[46][3] gvr[46][4] gvr[46][5] gvr[47][0] gvr[47][1] gvr[47][2] gvr[47][3] gvr[47][4] gvr[47][5] gvr[48][0] gvr[48][1] gvr[48][2] gvr[48][3] gvr[48][4] gvr[48][5] gvr[49][0] gvr[49][1] gvr[49][2] gvr[49][3] gvr[49][4] gvr[49][5] gvr[50][0] gvr[50][1] gvr[50][2] gvr[50][3] gvr[50][4] gvr[50][5] gvr[51][0] gvr[51][1] gvr[51][2] gvr[51][3] gvr[51][4] gvr[51][5] gvr[52][0] gvr[52][1] gvr[52][2] gvr[52][3] gvr[52][4] gvr[52][5] gvr[53][0] gvr[53][1] gvr[53][2] gvr[53][3] gvr[53][4] gvr[53][5] gvr[54][0] gvr[54][1] gvr[54][2] gvr[54][3] gvr[54][4] gvr[54][5] gvr[55][0] gvr[55][1] gvr[55][2] gvr[55][3] gvr[55][4] gvr[55][5] gvr[56][0] gvr[56][1] gvr[56][2] gvr[56][3] gvr[56][4] gvr[56][5] gvr[57][0] gvr[57][1] gvr[57][2] gvr[57][3] gvr[57][4] gvr[57][5] gvr[58][0] gvr[58][1] gvr[58][2] gvr[58][3] gvr[58][4] gvr[58][5] gvr[59][0] gvr[59][1] gvr[59][2] gvr[59][3] gvr[59][4] gvr[59][5] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[0][5] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[1][5] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[2][5] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[3][5] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[4][5] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[5][5] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[6][5] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[7][5] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[8][5] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[9][5] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[10][5] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[11][5] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[12][5] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[13][5] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[14][5] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[15][5] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[16][5] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[17][5] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[18][5] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[19][5] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[20][5] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[21][5] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[22][5] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[23][5] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[24][5] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[25][5] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[26][5] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[27][5] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[28][5] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4] gve[29][5] gve[30][0] gve[30][1] gve[30][2] gve[30][3] gve[30][4] gve[30][5] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[31][4] gve[31][5] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[32][4] gve[32][5] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[33][4] gve[33][5] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[34][4] gve[34][5] gve[35][0] gve[35][1] gve[35][2] gve[35][3] gve[35][4] gve[35][5] gve[36][0] gve[36][1] gve[36][2] gve[36][3] gve[36][4] gve[36][5] gve[37][0] gve[37][1] gve[37][2] gve[37][3] gve[37][4] gve[37][5] gve[38][0] gve[38][1] gve[38][2] gve[38][3] gve[38][4] gve[38][5] gve[39][0] gve[39][1] gve[39][2] gve[39][3] gve[39][4] gve[39][5] gve[40][0] gve[40][1] gve[40][2] gve[40][3] gve[40][4] gve[40][5] gve[41][0] gve[41][1] gve[41][2] gve[41][3] gve[41][4] gve[41][5] gve[42][0] gve[42][1] gve[42][2] gve[42][3] gve[42][4] gve[42][5] gve[43][0] gve[43][1] gve[43][2] gve[43][3] gve[43][4] gve[43][5] gve[44][0] gve[44][1] gve[44][2] gve[44][3] gve[44][4] gve[44][5] gve[45][0] gve[45][1] gve[45][2] gve[45][3] gve[45][4] gve[45][5] gve[46][0] gve[46][1] gve[46][2] gve[46][3] gve[46][4] gve[46][5] gve[47][0] gve[47][1] gve[47][2] gve[47][3] gve[47][4] gve[47][5] gve[48][0] gve[48][1] gve[48][2] gve[48][3] gve[48][4] gve[48][5] gve[49][0] gve[49][1] gve[49][2] gve[49][3] gve[49][4] gve[49][5] gve[50][0] gve[50][1] gve[50][2] gve[50][3] gve[50][4] gve[50][5] gve[51][0] gve[51][1] gve[51][2] gve[51][3] gve[51][4] gve[51][5] gve[52][0] gve[52][1] gve[52][2] gve[52][3] gve[52][4] gve[52][5] gve[53][0] gve[53][1] gve[53][2] gve[53][3] gve[53][4] gve[53][5] gve[54][0] gve[54][1] gve[54][2] gve[54][3] gve[54][4] gve[54][5] gve[55][0] gve[55][1] gve[55][2] gve[55][3] gve[55][4] gve[55][5] gve[56][0] gve[56][1] gve[56][2] gve[56][3] gve[56][4] gve[56][5] gve[57][0] gve[57][1] gve[57][2] gve[57][3] gve[57][4] gve[57][5] gve[58][0] gve[58][1] gve[58][2] gve[58][3] gve[58][4] gve[58][5] gve[59][0] gve[59][1] gve[59][2] gve[59][3] gve[59][4] gve[59][5]</list>
45.75/91.37 v <values>0 19 28 34 48 51 1 52 32 44 22 15 2 56 11 23 35 43 3 24 47 18 38 57 4 55 41 33 20 17 5 40 59 12 29 31 6 16 49 53 27 37 7 25 58 13 36 42 8 54 21 39 14 45 9 26 46 30 50 10 10 49 26 3 32 50 11 27 52 37 45 5 12 35 40 51 23 4 13 1 33 59 21 47 14 2 34 25 57 48 15 39 56 28 46 6 16 36 44 20 53 7 17 9 45 29 58 38 18 5 53 32 49 25 19 28 36 0 41 52 20 48 7 54 31 14 21 51 42 2 11 30 22 3 35 10 44 55 23 13 8 50 43 39 24 33 12 57 4 40 25 42 9 14 37 53 26 17 0 38 54 41 27 44 10 36 52 3 28 11 51 5 40 35 29 45 50 1 39 12 30 21 43 7 55 13 31 59 48 4 24 16 32 8 22 58 15 46 33 6 23 49 56 18 34 47 57 19 2 20 35 10 29 48 3 59 36 53 25 9 47 19 37 46 27 6 18 54 38 0 20 17 51 44 39 4 55 24 12 49 40 22 1 52 33 11 41 50 31 16 28 2 42 15 30 8 26 58 43 14 5 56 34 23 44 58 39 15 25 9 45 20 54 35 17 1 46 12 2 21 30 56 47 7 24 55 13 32 48 18 37 27 59 8 49 57 38 26 10 0 50 23 3 40 19 36 51 29 6 11 42 33 52 43 14 31 5 28 53 41 4 22 16 34 54 30 13 41 0 21 55 31 15 42 1 22 56 32 16 43 6 24 57 34 17 45 7 26 58 37 18 46 8 27 59 38 19 47 9 29 0 38 26 19 54 49 1 13 40 29 55 45 2 14 46 21 34 41 3 22 50 10 35 27 4 39 53 31 24 12 5 18 43 28 52 11 6 33 51 37 56 15 7 47 20 30 57 16 8 32 23 42 58 48 9 17 25 36 59 44 10 35 27 22 49 9 11 28 2 51 21 40 12 46 24 5 39 29 13 23 54 7 47 30 14 43 52 25 8 20 15 42 55 44 32 1 16 6 56 41 53 31 17 26 57 38 45 4 18 48 58 3 37 33 19 0 59 34 50 36 20 45 38 16 4 34 21 30 8 46 13 54 22 40 32 53 1 55 23 50 33 2 12 43 24 3 47 39 31 56 25 7 36 14 44 18 26 9 10 49 42 57 27 11 37 48 6 58 28 19 0 15 41 52 29 51 35 17 5 59 30 54 42 9 46 21 31 55 41 52 20 5 32 56 1 18 10 47 33 24 13 4 40 51 34 57 14 0 43 53 35 12 22 45 2 28 36 16 19 27 7 50 37 58 48 11 25 6 38 59 49 26 3 17 39 15 44 8 29 23 40 5 12 50 28 24 41 53 4 54 19 26 42 25 21 55 51 7 43 52 30 56 23 2 44 27 16 1 22 38 45 29 17 57 11 8 46 37 9 58 15 32 47 34 3 59 36 13 48 20 31 35 0 14 49 10 6 33 18 39 50 41 29 23 9 10 51 21 28 12 38 0 52 1 11 40 27 19 53 36 18 6 16 25 54 8 45 20 26 37 55 4 39 47 30 22 56 2 15 43 33 46 57 49 34 24 14 3 58 44 7 32 17 42 59 31 5 13 48 35 0 1 2 3 4 5 0 5 3 4 2 1 0 5 1 2 3 4 0 2 4 1 3 5 0 5 4 3 2 1 0 4 5 1 2 3 0 1 4 5 2 3 0 2 5 1 3 4 0 5 2 3 1 4 0 2 4 3 5 1 1 4 2 0 3 5 1 2 5 3 4 0 1 3 4 5 2 0 1 0 3 5 2 4 1 0 3 2 5 4 1 3 5 2 4 0 1 3 4 2 5 0 1 0 4 2 5 3 1 0 5 3 4 2 1 2 3 0 4 5 2 4 0 5 3 1 2 5 4 0 1 3 2 0 3 1 4 5 2 1 0 5 4 3 2 3 1 5 0 4 2 4 0 1 3 5 2 1 0 3 5 4 2 4 1 3 5 0 2 1 5 0 4 3 2 4 5 0 3 1 3 2 4 0 5 1 3 5 4 0 2 1 3 0 2 5 1 4 3 0 2 4 5 1 3 4 5 1 0 2 3 1 2 4 0 5 3 5 2 0 4 1 3 4 2 0 1 5 3 0 2 1 5 4 3 0 5 2 1 4 4 2 0 5 3 1 4 5 3 1 2 0 4 1 3 0 2 5 4 1 0 5 3 2 4 5 3 1 2 0 4 2 5 3 1 0 4 1 0 2 3 5 4 0 2 5 1 3 4 1 3 2 5 0 4 5 3 2 1 0 5 2 0 4 1 3 5 2 0 1 4 3 5 4 1 3 0 2 5 4 0 2 1 3 5 3 1 4 0 2 5 3 1 4 0 2 5 3 1 4 0 2 5 3 1 4 0 2 5 3 1 4 0 2 5 3 1 4 0 2 0 4 3 2 6 5 0 1 4 3 6 5 0 1 5 2 3 4 0 2 5 1 4 3 0 4 5 3 2 1 0 2 4 3 5 1 0 3 5 4 6 1 0 5 2 3 6 1 0 3 2 4 6 5 0 2 3 4 6 5 1 4 3 2 5 0 1 3 0 5 2 4 1 5 2 0 4 3 1 2 6 0 5 3 1 4 5 3 0 2 1 4 6 5 3 0 1 0 6 4 5 3 2 3 6 4 5 0 2 5 6 0 4 3 2 0 6 3 5 4 2 5 4 1 0 3 2 3 0 5 1 6 2 4 3 5 0 6 2 5 3 0 1 4 2 0 5 4 3 6 3 0 4 1 5 2 3 0 1 5 4 6 3 1 4 5 0 6 3 2 0 1 4 5 3 5 4 2 0 6 3 6 4 0 5 2 3 6 4 5 2 0 3 6 0 2 1 5 3 2 1 0 4 5 3 6 1 0 4 5 4 1 2 5 0 3 4 1 2 3 0 5 4 6 5 1 3 0 4 6 5 3 0 2 4 1 5 0 3 2 4 0 1 5 3 2 4 5 0 6 2 3 4 3 2 6 5 0 4 5 3 6 2 0 5 3 1 0 2 4 5 3 2 6 1 0 5 4 0 6 1 3 5 3 0 6 4 1 5 2 3 4 0 1 5 1 0 3 2 4 5 4 3 2 0 1 5 2 3 1 4 0 5 0 1 4 3 2 5 4 2 0 1 3 6 0 5 2 3 4 6 0 4 5 3 2 6 0 1 4 3 5 6 5 3 2 1 0 6 5 0 3 2 4 6 3 0 1 5 4</values>
45.75/91.37 v </instantiation>
45.75/91.37 c (90,23) Show results End
45.75/91.37 c (90,23) Heap : 2680 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB)
45.75/91.37 c (90,23) 0,0,12,13,14,14,23,90,90,STOP-AFTER(ALL)
45.75/91.37 c END-Prog: Fri Jul 27 04:14:10 CEST 2018