0.66/0.53
0.66/0.53 scop order+glucose-syrup (2018-07-07)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Fri Jul 27 04:11:16 CEST 2018
0.66/0.56 c PID: 11088
0.66/0.56 c IP: 172.20.3.149
0.66/0.56 c HOST: node149.alineos.net
0.66/0.57 c (0,0) Parsing Begin
3.78/1.44 c (0,0) Parsing End
3.78/1.45 c (0,0) CSP: 1440 int (0 aux), 0 bool (0 aux), 865 ctr, max domain size 60
3.78/1.45 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.78/1.45 c (0,0) Constraint Name Generate Begin
3.78/1.46 c (0,0) Ctr:HOME/instance-4297105-1532657476.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
3.78/1.46 c (0,0) Constraint Name Generate End
3.78/1.46 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.78/1.46 c (0,0) CSP to CSPinCNF Begin
7.21/2.45 c (1,1) translated 87 (10%) constraints
13.81/6.14 c (5,5) translated 173 (20%) constraints
15.01/6.40 c (5,5) translated 260 (30%) constraints
15.79/6.60 c (6,5) translated 346 (40%) constraints
16.13/6.77 c (6,6) translated 433 (50%) constraints
16.88/6.94 c (6,6) translated 519 (60%) constraints
17.61/7.13 c (6,6) translated 606 (70%) constraints
18.27/7.32 c (6,6) translated 692 (80%) constraints
18.62/7.48 c (6,6) translated 779 (90%) constraints
18.95/7.63 c (7,6) translated 865 (100%) constraints
20.87/8.24 c (7,7) STATISTICS1:HOME/instance-4297105-1532657476.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,
20.87/8.24 c (7,7) ===========================================
20.87/8.24 c (7,7) Order
20.87/8.24 c (7,7) ===========================================
22.09/8.60 c (8,7) translated 8572 (10%) constraints
22.54/8.84 c (8,8) translated 17143 (20%) constraints
23.37/9.25 c (8,8) translated 25715 (30%) constraints
24.26/9.94 c (9,9) translated 34286 (40%) constraints
24.99/10.63 c (10,9) translated 42857 (50%) constraints
25.59/11.29 c (10,10) translated 51429 (60%) constraints
26.30/11.95 c (11,11) translated 60000 (70%) constraints
26.98/12.55 c (12,11) translated 68572 (80%) constraints
27.70/12.74 c (12,12) translated 77143 (90%) constraints
27.82/12.89 c (12,12) translated 85714 (100%) constraints
27.82/12.89 c (12,12) CSP to CSPinCNF End
27.94/12.91 c (12,12) CSP: 1440 int (0 aux), 48406 bool (48406 aux), 172114 ctr, max domain size 60
27.94/12.91 c (12,12) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
27.94/12.91 c (12,12) CSPinCNF Propagation Begin
29.84/14.11 c (13,13) 327 values, 2963 unsatisfiable literals, and 2151 valid clauses are removed
29.84/14.11 c (13,13) CSPinCNF Propagation End
29.99/14.12 c (13,13) CSP: 1677 int (237 aux), 48169 bool (48169 aux), 169963 ctr, max domain size 60
29.99/14.12 c (13,13) Heap : 5406 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
29.99/14.12 c (13,13) Simplify CSPinCNF Begin
33.13/15.50 c (14,14) Simplify CSPinCNF End
33.50/15.54 c (15,14) CSP: 1677 int (237 aux), 94903 bool (94903 aux), 216697 ctr, max domain size 60
33.50/15.54 c (15,14) Heap : 576 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
33.50/15.54 c (15,14) Calculate Precise Domain Begin
33.50/15.54 c (15,14) 0 values are removed by re-calculation
33.50/15.54 c (15,14) Calculate Precise Domain End
33.50/15.58 c (15,14) CSP: 1677 int (237 aux), 94903 bool (94903 aux), 216697 ctr, max domain size 60
33.50/15.58 c (15,14) Heap : 576 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
33.50/15.58 c (15,14) CSPinCNF to SatSolver Begin
37.21/18.31 c (17,17) 21670 (10 %) CSP clauses are encoded (141106 SAT variables, 906932 SAT clauses)
39.53/20.64 c (20,19) 43340 (20 %) CSP clauses are encoded (141106 SAT variables, 1770074 SAT clauses)
42.93/23.29 c (22,21) 65010 (30 %) CSP clauses are encoded (141106 SAT variables, 2592868 SAT clauses)
43.14/23.45 c (22,22) 86679 (40 %) CSP clauses are encoded (141106 SAT variables, 2630297 SAT clauses)
43.24/23.57 c (23,22) 108349 (50 %) CSP clauses are encoded (141106 SAT variables, 2651967 SAT clauses)
43.34/23.68 c (23,22) 130019 (60 %) CSP clauses are encoded (141106 SAT variables, 2673637 SAT clauses)
43.44/23.79 c (23,22) 151688 (70 %) CSP clauses are encoded (141106 SAT variables, 2695306 SAT clauses)
43.64/23.90 c (23,22) 173358 (80 %) CSP clauses are encoded (141106 SAT variables, 2716976 SAT clauses)
43.74/24.01 c (23,22) 195028 (90 %) CSP clauses are encoded (141106 SAT variables, 2738646 SAT clauses)
44.13/24.33 c (23,22) 216697 (100 %) CSP clauses are encoded (141106 SAT variables, 2834212 SAT clauses)
44.13/24.33 c (23,22) CSPinCNF to SatSolver End
44.13/24.33 c (23,22) Heap : 1743 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
45.23/25.00 c (24,23) STATISTICS2:HOME/instance-4297105-1532657476.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.23/25.00 c (24,23) SatSolver.solve Begin
45.23/25.00 c (24,23) 141106 bool, 2834213 clause
45.23/25.00 c (24,23) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297105-1532657476.xml-scop-11088.cnf HOME/instance-4297105-1532657476.xml-scop-11088.cnf.out
129.02/40.75 c (40,0) c
129.02/40.75 c (40,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team)
129.02/40.75 c (40,0) c
129.02/40.75 c (40,0) c WARNING: for repeatability, setting FPU to use double precision
129.02/40.75 c (40,0) c 8 solvers engines and 1 companion as a blackboard created.
129.02/40.75 c (40,0) c ========================================[ Problem Statistics ]===========================================
129.02/40.75 c (40,0) c | |
129.02/40.75 c (40,0) c | Number of variables: 141106 |
129.02/40.75 c (40,0) c | Number of clauses: 2832740 |
129.02/40.75 c (40,0) c | Parse time: 0.87 s |
129.02/40.75 c (40,0) c | |
129.02/40.75 c (40,0) c | Eliminated clauses: 1.51 Mb |
129.02/40.75 c (40,0) c | Simplification time: 4.00 s |
129.02/40.75 c (40,0) c | |
129.02/40.75 c (40,0) c | Generating clones |
129.02/40.75 c (40,0) c | all clones generated. Memory = 1691.83Mb. |
129.02/40.75 c (40,0) c ========================================================================================================|
129.02/40.75 c (40,0) c
129.02/40.75 c (40,0) c |-------------------------------------------------------------------------------------------------------|
129.02/40.75 c (40,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
129.02/40.75 c (40,0) c |-------------------------------------------------------------------------------------------------------|
129.02/40.75 c (40,0) c | 0 | 51 | 120210 | 5769 | 42654 | 4780 | 655 | 1696 | 35 | 10.123 |
129.02/40.75 c (40,0) c | 1 | 39 | 106464 | 4413 | 36759 | 3420 | 325 | 1946 | 39 | 10.177 |
129.02/40.75 c (40,0) c | 2 | 31 | 124817 | 4927 | 38521 | 3941 | 189 | 2162 | 23 | 10.131 |
129.02/40.75 c (40,0) c | 3 | 39 | 145887 | 4393 | 36158 | 3377 | 252 | 2013 | 34 | 10.131 |
129.02/40.75 c (40,0) c | 4 | 31 | 112033 | 5347 | 38644 | 4347 | 268 | 2027 | 38 | 10.131 |
129.02/40.75 c (40,0) c | 5 | 28 | 109647 | 3784 | 32320 | 2769 | 184 | 1892 | 19 | 10.102 |
129.02/40.75 c (40,0) c | 6 | 39 | 143213 | 4533 | 36616 | 3531 | 254 | 2096 | 37 | 10.131 |
129.02/40.75 c (40,0) c | 7 | 38 | 145349 | 5014 | 37522 | 4031 | 227 | 2111 | 27 | 10.168 |
129.02/40.75 c (40,0) c
129.02/40.75 c (40,0) c synthesis 38185 conflicts 57416641 propagations 916 conflicts/sec 1377152 propagations/sec
129.02/40.75 c (40,0) c Total Memory so far : 2287.07Mb
129.02/40.75 c (40,0) c
129.02/40.75 c (40,0) c |-------------------------------------------------------------------------------------------------------|
129.02/40.75 c (40,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
129.02/40.75 c (40,0) c |-------------------------------------------------------------------------------------------------------|
129.02/40.75 c (40,0) c | 0 | 97 | 276315 | 11639 | 71319 | 7220 | 1185 | 7152 | 124 | 10.155 |
129.02/40.75 c (40,0) c | 1 | 81 | 258079 | 11119 | 69221 | 7087 | 1052 | 7016 | 141 | 10.209 |
129.02/40.75 c (40,0) c | 2 | 58 | 283489 | 10682 | 67682 | 6823 | 711 | 7474 | 94 | 10.163 |
129.02/40.75 c (40,0) c | 3 | 78 | 316147 | 10456 | 66197 | 6556 | 809 | 6633 | 116 | 10.163 |
129.02/40.77 c (40,0) c | 4 | 67 | 271418 | 11415 | 69413 | 7447 | 873 | 7371 | 142 | 10.163 |
129.02/40.77 c (40,0) c | 5 | 56 | 259668 | 10473 | 64861 | 6598 | 1015 | 7315 | 102 | 10.134 |
129.02/40.77 c (40,0) c | 6 | 86 | 323842 | 12556 | 72181 | 8670 | 1207 | 6882 | 151 | 10.163 |
129.02/40.77 c (40,0) c | 7 | 69 | 309526 | 13065 | 70529 | 9212 | 1489 | 6530 | 111 | 10.200 |
129.02/40.77 c (40,0) c
248.65/55.75 c (55,0) c synthesis 91406 conflicts 137245081 propagations 1134 conflicts/sec 1703127 propagations/sec
248.65/55.75 c (55,0) c Total Memory so far : 2287.32Mb
248.65/55.75 c (55,0) c
248.65/55.75 c (55,0) c |-------------------------------------------------------------------------------------------------------|
248.65/55.75 c (55,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
248.65/55.75 c (55,0) c |-------------------------------------------------------------------------------------------------------|
248.65/55.75 c (55,0) c | 0 | 155 | 427071 | 18391 | 94796 | 9289 | 1987 | 12930 | 391 | 10.250 |
248.65/55.75 c (55,0) c | 1 | 123 | 395479 | 18558 | 94531 | 9670 | 2260 | 12817 | 323 | 10.304 |
248.65/55.75 c (55,0) c | 2 | 89 | 429813 | 16412 | 92659 | 7609 | 1291 | 13849 | 241 | 10.258 |
248.65/55.75 c (55,0) c | 3 | 126 | 472575 | 16944 | 93522 | 8111 | 1472 | 13414 | 319 | 10.258 |
248.65/55.75 c (55,0) c | 4 | 109 | 412199 | 17957 | 98469 | 9078 | 1509 | 13405 | 313 | 10.258 |
248.65/55.75 c (55,0) c | 5 | 111 | 414672 | 18806 | 94713 | 9979 | 2209 | 12916 | 360 | 10.228 |
248.65/55.75 c (55,0) c | 6 | 129 | 478251 | 20508 | 99895 | 11681 | 2375 | 12742 | 345 | 10.258 |
248.65/55.75 c (55,0) c | 7 | 108 | 467476 | 19192 | 94317 | 10387 | 2037 | 13061 | 341 | 10.295 |
248.65/55.75 c (55,0) c
248.65/55.75 c (55,0) c synthesis 146768 conflicts 218253644 propagations 1221 conflicts/sec 1815434 propagations/sec
248.65/55.75 c (55,0) c Total Memory so far : 2287.32Mb
248.65/55.75 c (55,0) c
248.65/55.75 c (55,0) c |-------------------------------------------------------------------------------------------------------|
248.65/55.75 c (55,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
248.65/55.75 c (55,0) c |-------------------------------------------------------------------------------------------------------|
248.65/55.75 c (55,0) c | 0 | 208 | 554988 | 25310 | 120084 | 8994 | 2914 | 18052 | 603 | 10.287 |
248.65/55.75 c (55,0) c | 1 | 169 | 525303 | 23866 | 115306 | 7651 | 2812 | 18169 | 517 | 10.340 |
248.65/55.75 c (55,0) c | 2 | 132 | 565810 | 22208 | 114908 | 13397 | 1852 | 19025 | 477 | 10.295 |
248.65/55.75 c (55,0) c | 3 | 166 | 607570 | 22562 | 117321 | 13729 | 2004 | 18880 | 501 | 10.295 |
248.65/55.75 c (55,0) c | 4 | 158 | 542433 | 24308 | 122992 | 8096 | 2191 | 18749 | 509 | 10.295 |
248.65/55.75 c (55,0) c | 5 | 151 | 562040 | 26090 | 117915 | 9931 | 3115 | 17719 | 585 | 10.265 |
248.65/55.75 c (55,0) c | 6 | 184 | 618269 | 27618 | 124378 | 11430 | 3218 | 17708 | 624 | 10.295 |
248.65/55.75 c (55,0) c | 7 | 153 | 619507 | 25856 | 113427 | 9656 | 2880 | 18089 | 598 | 10.332 |
248.65/55.75 c (55,0) c
248.65/55.75 c (55,0) c synthesis 197819 conflicts 295971486 propagations 1238 conflicts/sec 1851712 propagations/sec
248.65/55.75 c (55,0) c Total Memory so far : 2287.45Mb
248.65/55.75 c (55,0) c
248.65/55.75 c (55,0) c |-------------------------------------------------------------------------------------------------------|
248.65/55.75 c (55,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
248.65/55.75 c (55,0) c |-------------------------------------------------------------------------------------------------------|
248.65/55.75 c (55,0) c | 0 | 256 | 676642 | 30965 | 139556 | 14649 | 3535 | 23228 | 826 | 10.301 |
248.65/55.75 c (55,0) c | 1 | 217 | 643263 | 31351 | 137188 | 15134 | 4043 | 22722 | 763 | 10.355 |
248.65/55.75 c (55,0) c | 2 | 160 | 705102 | 27489 | 132626 | 11312 | 2339 | 24321 | 725 | 10.310 |
248.65/55.75 c (55,0) c | 3 | 201 | 743599 | 28989 | 138195 | 12792 | 2771 | 23992 | 710 | 10.310 |
248.65/55.75 c (55,0) c | 4 | 209 | 671515 | 31850 | 144199 | 15638 | 3190 | 23527 | 815 | 10.310 |
248.65/55.75 c (55,0) c | 5 | 185 | 696533 | 31152 | 137375 | 14993 | 3517 | 23232 | 808 | 10.280 |
248.65/55.75 c (55,0) c | 6 | 238 | 753603 | 34297 | 146639 | 18109 | 3910 | 22829 | 927 | 10.310 |
248.65/55.75 c (55,0) c | 7 | 193 | 761144 | 31188 | 132304 | 14988 | 3464 | 23260 | 830 | 10.347 |
248.65/55.75 c (55,0) c
248.65/55.75 c (55,0) c synthesis 247284 conflicts 372373017 propagations 1239 conflicts/sec 1866168 propagations/sec
408.19/75.75 c (75,0) c Total Memory so far : 2287.45Mb
408.19/75.75 c (75,0) c
408.19/75.75 c (75,0) c |-------------------------------------------------------------------------------------------------------|
408.19/75.75 c (75,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
408.19/75.75 c (75,0) c |-------------------------------------------------------------------------------------------------------|
408.19/75.75 c (75,0) c | 0 | 312 | 799568 | 37140 | 156370 | 10999 | 4301 | 28081 | 1118 | 10.303 |
408.19/75.75 c (75,0) c | 1 | 258 | 753865 | 36110 | 153506 | 10041 | 4488 | 27952 | 1006 | 10.357 |
408.19/75.75 c (75,0) c | 2 | 199 | 828644 | 35072 | 152826 | 18895 | 3478 | 28958 | 963 | 10.311 |
408.19/75.75 c (75,0) c | 3 | 251 | 868946 | 35011 | 156160 | 18811 | 3453 | 28924 | 980 | 10.311 |
408.19/75.75 c (75,0) c | 4 | 279 | 799390 | 39744 | 163213 | 13681 | 4257 | 28117 | 1103 | 10.311 |
408.19/75.75 c (75,0) c | 5 | 237 | 827783 | 37088 | 155577 | 11029 | 4147 | 28292 | 1120 | 10.282 |
408.19/75.75 c (75,0) c | 6 | 278 | 882180 | 39372 | 164924 | 13313 | 4345 | 28125 | 1161 | 10.311 |
408.19/75.75 c (75,0) c | 7 | 240 | 892309 | 36407 | 149594 | 10317 | 4016 | 28417 | 1063 | 10.348 |
408.19/75.75 c (75,0) c
408.19/75.75 c (75,0) c synthesis 295954 conflicts 447529104 propagations 1237 conflicts/sec 1870074 propagations/sec
408.19/75.75 c (75,0) c Total Memory so far : 2287.58Mb
408.19/75.75 c (75,0) c
408.19/75.75 c (75,0) c |-------------------------------------------------------------------------------------------------------|
408.19/75.75 c (75,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
408.19/75.75 c (75,0) c |-------------------------------------------------------------------------------------------------------|
408.19/75.75 c (75,0) c | 0 | 360 | 916063 | 43113 | 172972 | 16971 | 5020 | 32048 | 1368 | 10.345 |
408.19/75.75 c (75,0) c | 1 | 299 | 865757 | 40906 | 169288 | 14837 | 4973 | 31964 | 1170 | 10.374 |
408.19/75.75 c (75,0) c | 2 | 246 | 957822 | 40314 | 167475 | 14239 | 3971 | 32971 | 1191 | 10.328 |
408.19/75.75 c (75,0) c | 3 | 304 | 998797 | 41595 | 174191 | 15518 | 4186 | 32742 | 1256 | 10.328 |
408.19/75.75 c (75,0) c | 4 | 320 | 919096 | 45316 | 181802 | 19251 | 4757 | 32141 | 1314 | 10.328 |
408.19/75.75 c (75,0) c | 5 | 275 | 947194 | 42271 | 174333 | 16209 | 4568 | 32062 | 1372 | 10.328 |
408.19/75.75 c (75,0) c | 6 | 329 | 1014976 | 45237 | 183803 | 19178 | 4952 | 32039 | 1454 | 10.328 |
408.19/75.75 c (75,0) c | 7 | 302 | 1021586 | 42277 | 165486 | 16183 | 4655 | 32421 | 1360 | 10.392 |
408.19/75.75 c (75,0) c
408.19/75.75 c (75,0) c synthesis 341036 conflicts 522134207 propagations 1222 conflicts/sec 1870764 propagations/sec
408.19/75.75 c (75,0) c Total Memory so far : 2287.58Mb
408.19/75.75 c (75,0) c
408.19/75.75 c (75,0) c |-------------------------------------------------------------------------------------------------------|
408.19/75.75 c (75,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
408.19/75.75 c (75,0) c |-------------------------------------------------------------------------------------------------------|
408.19/75.75 c (75,0) c | 0 | 409 | 1027679 | 48328 | 188712 | 22186 | 5581 | 37117 | 1598 | 10.353 |
408.19/75.75 c (75,0) c | 1 | 356 | 975759 | 47113 | 187304 | 21043 | 5691 | 36994 | 1463 | 10.381 |
408.19/75.75 c (75,0) c | 2 | 286 | 1077611 | 44898 | 180215 | 18823 | 4419 | 38258 | 1439 | 10.335 |
408.19/75.75 c (75,0) c | 3 | 351 | 1124447 | 48250 | 190956 | 22172 | 4991 | 37705 | 1545 | 10.335 |
408.19/75.75 c (75,0) c | 4 | 355 | 1038650 | 51455 | 199406 | 12973 | 5420 | 37194 | 1637 | 10.335 |
408.19/75.75 c (75,0) c | 5 | 324 | 1078221 | 48663 | 192908 | 22599 | 5334 | 37243 | 1579 | 10.335 |
408.19/75.75 c (75,0) c | 6 | 383 | 1147868 | 51771 | 201785 | 13281 | 5614 | 37091 | 1721 | 10.335 |
408.19/75.75 c (75,0) c | 7 | 348 | 1147036 | 49827 | 185091 | 23734 | 5665 | 37001 | 1587 | 10.399 |
408.19/75.75 c (75,0) c
408.19/75.75 c (75,0) c synthesis 390308 conflicts 596384905 propagations 1224 conflicts/sec 1869891 propagations/sec
408.19/75.75 c (75,0) c Total Memory so far : 2287.58Mb
408.19/75.75 c (75,0) c
471.19/83.67 c (83,0) c |-------------------------------------------------------------------------------------------------------|
471.19/83.67 c (83,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
471.19/83.67 c (83,0) c |-------------------------------------------------------------------------------------------------------|
471.19/83.67 c (83,0) c | 0 | 452 | 1135065 | 53323 | 202805 | 14788 | 5990 | 41916 | 1850 | 10.353 |
471.19/83.67 c (83,0) c | 1 | 396 | 1088136 | 51784 | 200868 | 13253 | 6102 | 41535 | 1765 | 10.381 |
471.19/83.67 c (83,0) c | 2 | 329 | 1186576 | 50029 | 196405 | 23954 | 4930 | 42982 | 1701 | 10.335 |
471.19/83.67 c (83,0) c | 3 | 398 | 1244683 | 54375 | 207651 | 15878 | 5628 | 42271 | 1809 | 10.335 |
471.19/83.67 c (83,0) c | 4 | 404 | 1158526 | 57474 | 214994 | 18992 | 5864 | 42053 | 1948 | 10.335 |
471.19/83.67 c (83,0) c | 5 | 379 | 1195033 | 55402 | 210951 | 16884 | 6132 | 41771 | 1870 | 10.335 |
471.19/83.67 c (83,0) c | 6 | 424 | 1268549 | 58729 | 216604 | 20239 | 6575 | 41291 | 1945 | 10.335 |
471.19/83.67 c (83,0) c | 7 | 395 | 1271723 | 59078 | 205071 | 20560 | 6701 | 41216 | 1850 | 10.399 |
471.19/83.67 c (83,0) c
471.19/83.67 c (83,0) c synthesis 440194 conflicts 669728420 propagations 1227 conflicts/sec 1866899 propagations/sec
471.19/83.67 c (83,0) c Total Memory so far : 2257.61Mb
471.19/83.67 c (83,0) c
471.19/83.67 c (83,0) c |-------------------------------------------------------------------------------------------------------|
471.19/83.67 c (83,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % |
471.19/83.67 c (83,0) c |-------------------------------------------------------------------------------------------------------|
471.19/83.67 c (83,0) c | 0 | 494 | 1239930 | 59116 | 218345 | 20580 | 6523 | 48406 | 2061 | 10.381 |
471.19/83.67 c (83,0) c | 1 | 435 | 1196312 | 56708 | 216622 | 18177 | 6423 | 48559 | 1958 | 10.394 |
471.19/83.67 c (83,0) c | 2 | 378 | 1298389 | 56335 | 211394 | 17837 | 5697 | 49342 | 1900 | 10.370 |
471.19/83.67 c (83,0) c | 3 | 441 | 1373609 | 62794 | 226369 | 24297 | 7117 | 47854 | 2101 | 10.370 |
471.19/83.67 c (83,0) c | 4 | 444 | 1276632 | 62687 | 229608 | 24205 | 6259 | 48704 | 2205 | 10.370 |
471.19/83.67 c (83,0) c | 5 | 427 | 1310917 | 67439 | 229863 | 28920 | 7996 | 47018 | 2125 | 10.370 |
471.19/83.67 c (83,0) c | 6 | 477 | 1386296 | 65798 | 233074 | 27308 | 7704 | 47285 | 2231 | 10.370 |
471.19/83.67 c (83,0) c | 7 | 449 | 1389054 | 65906 | 222747 | 27388 | 7331 | 47635 | 2121 | 10.412 |
471.19/83.67 c (83,0) c
471.19/83.67 c (83,0) c synthesis 496789 conflicts 742833426 propagations 1247 conflicts/sec 1863888 propagations/sec
471.19/83.67 c (83,0) c Total Memory so far : 2258.13Mb
471.19/83.67 c (83,0) c last restart ## conflicts : 6 1138
471.19/83.67 c (83,0) c Thread 3 is 100% pure glucose! First thread to finish! (SAT answer).
471.19/83.67 c (83,0) c Total Memory so far : 2258.26Mb
471.19/83.67 c (83,0) c
471.19/83.67 c (83,0) c real time : 58.6562 s
471.19/83.67 c (83,0) c cpu time : 421.792 s
471.19/83.67 c (83,0) c
471.19/83.67 c (83,0) c
471.19/83.67 c (83,0) c
471.19/83.67 c (83,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
471.19/83.67 c (83,0) c
471.19/83.67 c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
471.19/83.67 c (83,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 |
471.19/83.67 c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
471.19/83.67 c (83,0) c | Conflicts | 523916 | 61895 | 59583 | 59078 | 66736 | 65976 | 72075 | 68463 | 70110 |
471.19/83.67 c (83,0) c | Decisions | 10999343 | 1301425 | 1256483 | 1362404 | 1439459 | 1346909 | 1384276 | 1450263 | 1458124 |
471.19/83.68 c (83,0) c | Propagations | 785220568 | 92803311 | 90641563 | 97546385 | 101043887 | 97724513 | 99561621 | 103817215 | 102082073 |
471.19/83.68 c (83,0) c | Avg_Trail | | 38170 | 40907 | 41326 | 42394 | 38790 | 39503 | 41286 | 41212 |
471.19/83.68 c (83,0) c | Avg_DL | | 381 | 436 | 448 | 462 | 390 | 417 | 444 | 446 |
471.19/83.68 c (83,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
471.19/83.68 c (83,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
471.19/83.68 c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
471.19/83.68 c (83,0) c | Exported | 57674 | 6704 | 6665 | 5933 | 7673 | 6497 | 8587 | 7943 | 7672 |
471.19/83.68 c (83,0) c | Imported | 403362 | 50939 | 51006 | 51516 | 49982 | 51165 | 49077 | 49710 | 49967 |
471.19/83.68 c (83,0) c | Good | 31316 | 3730 | 3938 | 4056 | 3928 | 3870 | 3952 | 3909 | 3933 |
471.19/83.68 c (83,0) c | Purge | 372046 | 47209 | 47068 | 47460 | 46054 | 47295 | 45125 | 45801 | 46034 |
471.19/83.68 c (83,0) c | Promoted | 17882 | 2158 | 2100 | 2086 | 2237 | 2379 | 2251 | 2341 | 2330 |
471.19/83.68 c (83,0) c | Remove_Imp | 117803 | 14079 | 15282 | 18381 | 14028 | 10902 | 16441 | 10442 | 18248 |
471.19/83.68 c (83,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
471.19/83.68 c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
471.19/83.68 c (83,0) c | Unaries | | 16 | 10 | 10 | 39 | 13 | 54 | 7 | 12 |
471.19/83.68 c (83,0) c | Binaries | | 745 | 537 | 410 | 547 | 605 | 523 | 566 | 542 |
471.19/83.68 c (83,0) c | Glues | | 1589 | 1363 | 969 | 1296 | 1314 | 1290 | 1337 | 1279 |
471.19/83.68 c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
471.19/83.68 c (83,0) c | Orig_Seen | 8 % | 225992 | 224619 | 220236 | 235620 | 236812 | 241307 | 240986 | 233778 |
471.19/83.68 c (83,0) c | Diff Orig seen| | - 9628 | - 11001 | - 15384 | X | 1192 | 5687 | 5366 | - 1842 |
471.19/83.68 c (83,0) c | Hamming | 16 % | 23856 | 22033 | 22423 | X | 22293 | 22619 | 23059 | 21987 |
471.19/83.68 c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
471.19/83.68 c (83,0)
471.19/83.68 c (83,0) s SATISFIABLE
45.76/83.82 c (83,23) SatSolver.solve End
45.76/83.82 c (83,23) Heap : 2665 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB)
45.76/83.82 c (83,23) Show results Begin
45.76/83.87 c (83,23) gve[0][0] = 0
45.76/83.87 c (83,23) gve[0][1] = 3
45.76/83.87 c (83,23) gve[0][2] = 5
45.76/83.87 c (83,23) gve[0][3] = 4
45.76/83.87 c (83,23) gve[0][4] = 1
45.76/83.87 c (83,23) gve[0][5] = 2
45.76/83.87 c (83,23) gve[1][0] = 0
45.76/83.87 c (83,23) gve[1][1] = 6
45.76/83.87 c (83,23) gve[1][2] = 5
45.76/83.87 c (83,23) gve[1][3] = 1
45.76/83.87 c (83,23) gve[1][4] = 4
45.76/83.87 c (83,23) gve[1][5] = 3
45.76/83.87 c (83,23) gve[2][0] = 0
45.76/83.87 c (83,23) gve[2][1] = 6
45.76/83.87 c (83,23) gve[2][2] = 5
45.76/83.87 c (83,23) gve[2][3] = 3
45.76/83.87 c (83,23) gve[2][4] = 4
45.76/83.87 c (83,23) gve[2][5] = 1
45.76/83.87 c (83,23) gve[3][0] = 0
45.76/83.87 c (83,23) gve[3][1] = 4
45.76/83.87 c (83,23) gve[3][2] = 1
45.76/83.87 c (83,23) gve[3][3] = 2
45.76/83.87 c (83,23) gve[3][4] = 3
45.76/83.87 c (83,23) gve[3][5] = 5
45.76/83.87 c (83,23) gve[4][0] = 0
45.76/83.87 c (83,23) gve[4][1] = 6
45.76/83.87 c (83,23) gve[4][2] = 5
45.76/83.87 c (83,23) gve[4][3] = 2
45.76/83.87 c (83,23) gve[4][4] = 3
45.76/83.87 c (83,23) gve[4][5] = 4
45.76/83.87 c (83,23) gve[5][0] = 0
45.76/83.87 c (83,23) gve[5][1] = 6
45.76/83.87 c (83,23) gve[5][2] = 3
45.76/83.87 c (83,23) gve[5][3] = 5
45.76/83.87 c (83,23) gve[5][4] = 2
45.76/83.87 c (83,23) gve[5][5] = 1
45.76/83.87 c (83,23) gve[6][0] = 0
45.76/83.87 c (83,23) gve[6][1] = 6
45.76/83.87 c (83,23) gve[6][2] = 4
45.76/83.87 c (83,23) gve[6][3] = 3
45.76/83.87 c (83,23) gve[6][4] = 2
45.76/83.87 c (83,23) gve[6][5] = 5
45.76/83.87 c (83,23) gve[7][0] = 0
45.76/83.87 c (83,23) gve[7][1] = 5
45.76/83.87 c (83,23) gve[7][2] = 2
45.76/83.87 c (83,23) gve[7][3] = 3
45.76/83.87 c (83,23) gve[7][4] = 1
45.76/83.87 c (83,23) gve[7][5] = 4
45.76/83.87 c (83,23) gve[8][0] = 0
45.76/83.87 c (83,23) gve[8][1] = 3
45.76/83.87 c (83,23) gve[8][2] = 4
45.76/83.87 c (83,23) gve[8][3] = 1
45.76/83.87 c (83,23) gve[8][4] = 5
45.76/83.87 c (83,23) gve[8][5] = 2
45.76/83.87 c (83,23) gve[9][0] = 0
45.76/83.87 c (83,23) gve[9][1] = 6
45.76/83.87 c (83,23) gve[9][2] = 4
45.76/83.87 c (83,23) gve[9][3] = 3
45.76/83.87 c (83,23) gve[9][4] = 2
45.76/83.87 c (83,23) gve[9][5] = 5
45.76/83.87 c (83,23) gve[10][0] = 1
45.76/83.87 c (83,23) gve[10][1] = 5
45.76/83.87 c (83,23) gve[10][2] = 3
45.76/83.87 c (83,23) gve[10][3] = 6
45.76/83.87 c (83,23) gve[10][4] = 4
45.76/83.87 c (83,23) gve[10][5] = 0
45.76/83.87 c (83,23) gve[11][0] = 1
45.76/83.87 c (83,23) gve[11][1] = 4
45.76/83.87 c (83,23) gve[11][2] = 3
45.76/83.87 c (83,23) gve[11][3] = 5
45.76/83.87 c (83,23) gve[11][4] = 2
45.76/83.87 c (83,23) gve[11][5] = 0
45.76/83.87 c (83,23) gve[12][0] = 1
45.76/83.87 c (83,23) gve[12][1] = 0
45.76/83.87 c (83,23) gve[12][2] = 2
45.76/83.87 c (83,23) gve[12][3] = 4
45.76/83.87 c (83,23) gve[12][4] = 5
45.76/83.87 c (83,23) gve[12][5] = 3
45.76/83.87 c (83,23) gve[13][0] = 1
45.76/83.87 c (83,23) gve[13][1] = 4
45.76/83.87 c (83,23) gve[13][2] = 0
45.76/83.87 c (83,23) gve[13][3] = 6
45.76/83.87 c (83,23) gve[13][4] = 5
45.76/83.87 c (83,23) gve[13][5] = 3
45.76/83.87 c (83,23) gve[14][0] = 1
45.76/83.87 c (83,23) gve[14][1] = 2
45.76/83.87 c (83,23) gve[14][2] = 0
45.76/83.87 c (83,23) gve[14][3] = 6
45.76/83.87 c (83,23) gve[14][4] = 3
45.76/83.87 c (83,23) gve[14][5] = 5
45.76/83.87 c (83,23) gve[15][0] = 1
45.76/83.87 c (83,23) gve[15][1] = 2
45.76/83.87 c (83,23) gve[15][2] = 0
45.76/83.87 c (83,23) gve[15][3] = 3
45.76/83.87 c (83,23) gve[15][4] = 5
45.76/83.87 c (83,23) gve[15][5] = 4
45.76/83.87 c (83,23) gve[16][0] = 1
45.76/83.87 c (83,23) gve[16][1] = 4
45.76/83.87 c (83,23) gve[16][2] = 0
45.76/83.87 c (83,23) gve[16][3] = 2
45.76/83.87 c (83,23) gve[16][4] = 3
45.76/83.87 c (83,23) gve[16][5] = 5
45.76/83.87 c (83,23) gve[17][0] = 2
45.76/83.87 c (83,23) gve[17][1] = 0
45.76/83.87 c (83,23) gve[17][2] = 3
45.76/83.87 c (83,23) gve[17][3] = 6
45.76/83.87 c (83,23) gve[17][4] = 4
45.76/83.87 c (83,23) gve[17][5] = 5
45.76/83.87 c (83,23) gve[18][0] = 2
45.76/83.87 c (83,23) gve[18][1] = 4
45.76/83.87 c (83,23) gve[18][2] = 3
45.76/83.87 c (83,23) gve[18][3] = 6
45.76/83.87 c (83,23) gve[18][4] = 0
45.76/83.87 c (83,23) gve[18][5] = 5
45.76/83.87 c (83,23) gve[19][0] = 2
45.76/83.87 c (83,23) gve[19][1] = 5
45.76/83.87 c (83,23) gve[19][2] = 0
45.76/83.87 c (83,23) gve[19][3] = 6
45.76/83.87 c (83,23) gve[19][4] = 3
45.76/83.87 c (83,23) gve[19][5] = 4
45.76/83.87 c (83,23) gve[20][0] = 2
45.76/83.87 c (83,23) gve[20][1] = 1
45.76/83.87 c (83,23) gve[20][2] = 3
45.76/83.87 c (83,23) gve[20][3] = 5
45.76/83.87 c (83,23) gve[20][4] = 4
45.76/83.87 c (83,23) gve[20][5] = 0
45.76/83.87 c (83,23) gve[21][0] = 2
45.76/83.87 c (83,23) gve[21][1] = 4
45.76/83.87 c (83,23) gve[21][2] = 5
45.76/83.87 c (83,23) gve[21][3] = 0
45.76/83.87 c (83,23) gve[21][4] = 6
45.76/83.87 c (83,23) gve[21][5] = 3
45.76/83.87 c (83,23) gve[22][0] = 2
45.76/83.87 c (83,23) gve[22][1] = 3
45.76/83.87 c (83,23) gve[22][2] = 5
45.76/83.87 c (83,23) gve[22][3] = 0
45.76/83.87 c (83,23) gve[22][4] = 4
45.76/83.87 c (83,23) gve[22][5] = 1
45.76/83.87 c (83,23) gve[23][0] = 2
45.76/83.87 c (83,23) gve[23][1] = 0
45.76/83.87 c (83,23) gve[23][2] = 3
45.76/83.87 c (83,23) gve[23][3] = 5
45.76/83.87 c (83,23) gve[23][4] = 6
45.76/83.87 c (83,23) gve[23][5] = 4
45.76/83.87 c (83,23) gve[24][0] = 2
45.76/83.87 c (83,23) gve[24][1] = 5
45.76/83.87 c (83,23) gve[24][2] = 0
45.76/83.87 c (83,23) gve[24][3] = 1
45.76/83.87 c (83,23) gve[24][4] = 6
45.76/83.87 c (83,23) gve[24][5] = 3
45.76/83.87 c (83,23) gve[25][0] = 3
45.76/83.87 c (83,23) gve[25][1] = 4
45.76/83.87 c (83,23) gve[25][2] = 1
45.76/83.87 c (83,23) gve[25][3] = 5
45.76/83.87 c (83,23) gve[25][4] = 2
45.76/83.87 c (83,23) gve[25][5] = 0
45.76/83.87 c (83,23) gve[26][0] = 3
45.76/83.87 c (83,23) gve[26][1] = 4
45.76/83.87 c (83,23) gve[26][2] = 5
45.76/83.87 c (83,23) gve[26][3] = 1
45.76/83.87 c (83,23) gve[26][4] = 6
45.76/83.87 c (83,23) gve[26][5] = 0
45.76/83.87 c (83,23) gve[27][0] = 3
45.76/83.87 c (83,23) gve[27][1] = 4
45.76/83.87 c (83,23) gve[27][2] = 5
45.76/83.87 c (83,23) gve[27][3] = 0
45.76/83.87 c (83,23) gve[27][4] = 6
45.76/83.87 c (83,23) gve[27][5] = 2
45.76/83.87 c (83,23) gve[28][0] = 3
45.76/83.87 c (83,23) gve[28][1] = 1
45.76/83.87 c (83,23) gve[28][2] = 4
45.76/83.87 c (83,23) gve[28][3] = 5
45.76/83.87 c (83,23) gve[28][4] = 6
45.76/83.87 c (83,23) gve[28][5] = 0
45.76/83.87 c (83,23) gve[29][0] = 3
45.76/83.87 c (83,23) gve[29][1] = 2
45.76/83.87 c (83,23) gve[29][2] = 1
45.76/83.87 c (83,23) gve[29][3] = 4
45.76/83.87 c (83,23) gve[29][4] = 5
45.76/83.87 c (83,23) gve[29][5] = 0
45.76/83.87 c (83,23) gve[30][0] = 3
45.76/83.87 c (83,23) gve[30][1] = 5
45.76/83.87 c (83,23) gve[30][2] = 4
45.76/83.87 c (83,23) gve[30][3] = 2
45.76/83.87 c (83,23) gve[30][4] = 1
45.76/83.87 c (83,23) gve[30][5] = 0
45.76/83.87 c (83,23) gve[31][0] = 3
45.76/83.87 c (83,23) gve[31][1] = 1
45.76/83.87 c (83,23) gve[31][2] = 4
45.76/83.87 c (83,23) gve[31][3] = 0
45.76/83.87 c (83,23) gve[31][4] = 5
45.76/83.87 c (83,23) gve[31][5] = 6
45.76/83.87 c (83,23) gve[32][0] = 3
45.76/83.87 c (83,23) gve[32][1] = 0
45.76/83.87 c (83,23) gve[32][2] = 5
45.76/83.87 c (83,23) gve[32][3] = 2
45.76/83.87 c (83,23) gve[32][4] = 4
45.76/83.87 c (83,23) gve[32][5] = 1
45.76/83.87 c (83,23) gve[33][0] = 3
45.76/83.87 c (83,23) gve[33][1] = 0
45.76/83.87 c (83,23) gve[33][2] = 2
45.76/83.87 c (83,23) gve[33][3] = 4
45.76/83.87 c (83,23) gve[33][4] = 5
45.76/83.87 c (83,23) gve[33][5] = 6
45.76/83.87 c (83,23) gve[34][0] = 3
45.76/83.87 c (83,23) gve[34][1] = 5
45.76/83.87 c (83,23) gve[34][2] = 2
45.76/83.87 c (83,23) gve[34][3] = 0
45.76/83.87 c (83,23) gve[34][4] = 1
45.76/83.87 c (83,23) gve[34][5] = 6
45.76/83.87 c (83,23) gve[35][0] = 4
45.76/83.87 c (83,23) gve[35][1] = 1
45.76/83.87 c (83,23) gve[35][2] = 2
45.76/83.87 c (83,23) gve[35][3] = 3
45.76/83.87 c (83,23) gve[35][4] = 0
45.76/83.87 c (83,23) gve[35][5] = 5
45.76/83.87 c (83,23) gve[36][0] = 4
45.76/83.87 c (83,23) gve[36][1] = 1
45.76/83.87 c (83,23) gve[36][2] = 5
45.76/83.87 c (83,23) gve[36][3] = 3
45.76/83.87 c (83,23) gve[36][4] = 0
45.76/83.87 c (83,23) gve[36][5] = 6
45.76/83.87 c (83,23) gve[37][0] = 4
45.76/83.87 c (83,23) gve[37][1] = 2
45.76/83.87 c (83,23) gve[37][2] = 3
45.76/83.87 c (83,23) gve[37][3] = 0
45.76/83.87 c (83,23) gve[37][4] = 5
45.76/83.87 c (83,23) gve[37][5] = 6
45.76/83.87 c (83,23) gve[38][0] = 4
45.76/83.87 c (83,23) gve[38][1] = 2
45.76/83.87 c (83,23) gve[38][2] = 3
45.76/83.87 c (83,23) gve[38][3] = 5
45.76/83.87 c (83,23) gve[38][4] = 0
45.76/83.87 c (83,23) gve[38][5] = 6
45.76/83.87 c (83,23) gve[39][0] = 4
45.76/83.87 c (83,23) gve[39][1] = 3
45.76/83.87 c (83,23) gve[39][2] = 0
45.76/83.87 c (83,23) gve[39][3] = 5
45.76/83.87 c (83,23) gve[39][4] = 1
45.76/83.87 c (83,23) gve[39][5] = 2
45.76/83.87 c (83,23) gve[40][0] = 4
45.76/83.87 c (83,23) gve[40][1] = 0
45.76/83.87 c (83,23) gve[40][2] = 6
45.76/83.87 c (83,23) gve[40][3] = 5
45.76/83.87 c (83,23) gve[40][4] = 2
45.76/83.87 c (83,23) gve[40][5] = 3
45.76/83.87 c (83,23) gve[41][0] = 4
45.76/83.87 c (83,23) gve[41][1] = 0
45.76/83.87 c (83,23) gve[41][2] = 2
45.76/83.87 c (83,23) gve[41][3] = 1
45.76/83.87 c (83,23) gve[41][4] = 5
45.76/83.87 c (83,23) gve[41][5] = 3
45.76/83.87 c (83,23) gve[42][0] = 4
45.76/83.87 c (83,23) gve[42][1] = 5
45.76/83.87 c (83,23) gve[42][2] = 6
45.76/83.87 c (83,23) gve[42][3] = 3
45.76/83.87 c (83,23) gve[42][4] = 0
45.76/83.87 c (83,23) gve[42][5] = 2
45.76/83.87 c (83,23) gve[43][0] = 4
45.76/83.87 c (83,23) gve[43][1] = 3
45.76/83.87 c (83,23) gve[43][2] = 6
45.76/83.87 c (83,23) gve[43][3] = 1
45.76/83.87 c (83,23) gve[43][4] = 5
45.76/83.87 c (83,23) gve[43][5] = 0
45.76/83.87 c (83,23) gve[44][0] = 5
45.76/83.87 c (83,23) gve[44][1] = 2
45.76/83.87 c (83,23) gve[44][2] = 1
45.76/83.87 c (83,23) gve[44][3] = 0
45.76/83.87 c (83,23) gve[44][4] = 3
45.76/83.87 c (83,23) gve[44][5] = 4
45.76/83.87 c (83,23) gve[45][0] = 5
45.76/83.87 c (83,23) gve[45][1] = 1
45.76/83.87 c (83,23) gve[45][2] = 6
45.76/83.87 c (83,23) gve[45][3] = 2
45.76/83.87 c (83,23) gve[45][4] = 0
45.76/83.87 c (83,23) gve[45][5] = 3
45.76/83.87 c (83,23) gve[46][0] = 5
45.76/83.87 c (83,23) gve[46][1] = 0
45.76/83.87 c (83,23) gve[46][2] = 3
45.76/83.87 c (83,23) gve[46][3] = 2
45.76/83.87 c (83,23) gve[46][4] = 4
45.76/83.87 c (83,23) gve[46][5] = 1
45.76/83.87 c (83,23) gve[47][0] = 5
45.76/83.87 c (83,23) gve[47][1] = 3
45.76/83.87 c (83,23) gve[47][2] = 6
45.76/83.87 c (83,23) gve[47][3] = 0
45.76/83.87 c (83,23) gve[47][4] = 4
45.76/83.87 c (83,23) gve[47][5] = 2
45.76/83.87 c (83,23) gve[48][0] = 5
45.76/83.87 c (83,23) gve[48][1] = 3
45.76/83.87 c (83,23) gve[48][2] = 6
45.76/83.87 c (83,23) gve[48][3] = 1
45.76/83.87 c (83,23) gve[48][4] = 0
45.76/83.87 c (83,23) gve[48][5] = 4
45.76/83.87 c (83,23) gve[49][0] = 5
45.76/83.87 c (83,23) gve[49][1] = 2
45.76/83.87 c (83,23) gve[49][2] = 4
45.76/83.87 c (83,23) gve[49][3] = 0
45.76/83.87 c (83,23) gve[49][4] = 3
45.76/83.87 c (83,23) gve[49][5] = 1
45.76/83.87 c (83,23) gve[50][0] = 5
45.76/83.87 c (83,23) gve[50][1] = 1
45.76/83.88 c (83,23) gve[50][2] = 2
45.76/83.88 c (83,23) gve[50][3] = 4
45.76/83.88 c (83,23) gve[50][4] = 3
45.76/83.88 c (83,23) gve[50][5] = 0
45.76/83.88 c (83,23) gve[51][0] = 5
45.76/83.88 c (83,23) gve[51][1] = 2
45.76/83.88 c (83,23) gve[51][2] = 0
45.76/83.88 c (83,23) gve[51][3] = 4
45.76/83.88 c (83,23) gve[51][4] = 3
45.76/83.88 c (83,23) gve[51][5] = 1
45.76/83.88 c (83,23) gve[52][0] = 5
45.76/83.88 c (83,23) gve[52][1] = 3
45.76/83.88 c (83,23) gve[52][2] = 4
45.76/83.88 c (83,23) gve[52][3] = 0
45.76/83.88 c (83,23) gve[52][4] = 1
45.76/83.88 c (83,23) gve[52][5] = 2
45.76/83.88 c (83,23) gve[53][0] = 5
45.76/83.88 c (83,23) gve[53][1] = 3
45.76/83.88 c (83,23) gve[53][2] = 1
45.76/83.88 c (83,23) gve[53][3] = 4
45.76/83.88 c (83,23) gve[53][4] = 0
45.76/83.88 c (83,23) gve[53][5] = 2
45.76/83.88 c (83,23) gve[54][0] = 6
45.76/83.88 c (83,23) gve[54][1] = 3
45.76/83.88 c (83,23) gve[54][2] = 4
45.76/83.88 c (83,23) gve[54][3] = 2
45.76/83.88 c (83,23) gve[54][4] = 0
45.76/83.88 c (83,23) gve[54][5] = 5
45.76/83.88 c (83,23) gve[55][0] = 6
45.76/83.88 c (83,23) gve[55][1] = 0
45.76/83.88 c (83,23) gve[55][2] = 2
45.76/83.88 c (83,23) gve[55][3] = 3
45.76/83.88 c (83,23) gve[55][4] = 1
45.76/83.88 c (83,23) gve[55][5] = 5
45.76/83.88 c (83,23) gve[56][0] = 6
45.76/83.88 c (83,23) gve[56][1] = 5
45.76/83.88 c (83,23) gve[56][2] = 1
45.76/83.88 c (83,23) gve[56][3] = 3
45.76/83.88 c (83,23) gve[56][4] = 0
45.76/83.88 c (83,23) gve[56][5] = 4
45.76/83.88 c (83,23) gve[57][0] = 6
45.76/83.88 c (83,23) gve[57][1] = 0
45.76/83.88 c (83,23) gve[57][2] = 1
45.76/83.88 c (83,23) gve[57][3] = 5
45.76/83.88 c (83,23) gve[57][4] = 3
45.76/83.88 c (83,23) gve[57][5] = 4
45.76/83.88 c (83,23) gve[58][0] = 6
45.76/83.88 c (83,23) gve[58][1] = 5
45.76/83.88 c (83,23) gve[58][2] = 0
45.76/83.88 c (83,23) gve[58][3] = 4
45.76/83.88 c (83,23) gve[58][4] = 2
45.76/83.88 c (83,23) gve[58][5] = 3
45.76/83.88 c (83,23) gve[59][0] = 6
45.76/83.88 c (83,23) gve[59][1] = 5
45.76/83.88 c (83,23) gve[59][2] = 0
45.76/83.88 c (83,23) gve[59][3] = 4
45.76/83.88 c (83,23) gve[59][4] = 2
45.76/83.88 c (83,23) gve[59][5] = 3
45.76/83.88 c (83,23) gvr[0][0] = 0
45.76/83.88 c (83,23) gvr[0][1] = 1
45.76/83.88 c (83,23) gvr[0][2] = 2
45.76/83.88 c (83,23) gvr[0][3] = 3
45.76/83.88 c (83,23) gvr[0][4] = 4
45.76/83.88 c (83,23) gvr[0][5] = 5
45.76/83.88 c (83,23) gvr[1][0] = 0
45.76/83.88 c (83,23) gvr[1][1] = 2
45.76/83.88 c (83,23) gvr[1][2] = 5
45.76/83.88 c (83,23) gvr[1][3] = 4
45.76/83.88 c (83,23) gvr[1][4] = 3
45.76/83.88 c (83,23) gvr[1][5] = 1
45.76/83.88 c (83,23) gvr[2][0] = 0
45.76/83.88 c (83,23) gvr[2][1] = 4
45.76/83.88 c (83,23) gvr[2][2] = 1
45.76/83.88 c (83,23) gvr[2][3] = 2
45.76/83.88 c (83,23) gvr[2][4] = 5
45.76/83.88 c (83,23) gvr[2][5] = 3
45.76/83.88 c (83,23) gvr[3][0] = 0
45.76/83.88 c (83,23) gvr[3][1] = 3
45.76/83.88 c (83,23) gvr[3][2] = 5
45.76/83.88 c (83,23) gvr[3][3] = 2
45.76/83.88 c (83,23) gvr[3][4] = 4
45.76/83.88 c (83,23) gvr[3][5] = 1
45.76/83.88 c (83,23) gvr[4][0] = 0
45.76/83.88 c (83,23) gvr[4][1] = 3
45.76/83.88 c (83,23) gvr[4][2] = 5
45.76/83.88 c (83,23) gvr[4][3] = 4
45.76/83.88 c (83,23) gvr[4][4] = 1
45.76/83.88 c (83,23) gvr[4][5] = 2
45.76/83.88 c (83,23) gvr[5][0] = 0
45.76/83.88 c (83,23) gvr[5][1] = 4
45.76/83.88 c (83,23) gvr[5][2] = 1
45.76/83.88 c (83,23) gvr[5][3] = 5
45.76/83.88 c (83,23) gvr[5][4] = 3
45.76/83.88 c (83,23) gvr[5][5] = 2
45.76/83.88 c (83,23) gvr[6][0] = 0
45.76/83.88 c (83,23) gvr[6][1] = 5
45.76/83.88 c (83,23) gvr[6][2] = 1
45.76/83.88 c (83,23) gvr[6][3] = 4
45.76/83.88 c (83,23) gvr[6][4] = 3
45.76/83.88 c (83,23) gvr[6][5] = 2
45.76/83.88 c (83,23) gvr[7][0] = 0
45.76/83.88 c (83,23) gvr[7][1] = 4
45.76/83.88 c (83,23) gvr[7][2] = 1
45.76/83.88 c (83,23) gvr[7][3] = 3
45.76/83.88 c (83,23) gvr[7][4] = 5
45.76/83.88 c (83,23) gvr[7][5] = 2
45.76/83.88 c (83,23) gvr[8][0] = 0
45.76/83.88 c (83,23) gvr[8][1] = 5
45.76/83.88 c (83,23) gvr[8][2] = 1
45.76/83.88 c (83,23) gvr[8][3] = 3
45.76/83.88 c (83,23) gvr[8][4] = 4
45.76/83.88 c (83,23) gvr[8][5] = 2
45.76/83.88 c (83,23) gvr[9][0] = 0
45.76/83.88 c (83,23) gvr[9][1] = 1
45.76/83.88 c (83,23) gvr[9][2] = 3
45.76/83.88 c (83,23) gvr[9][3] = 2
45.76/83.88 c (83,23) gvr[9][4] = 5
45.76/83.88 c (83,23) gvr[9][5] = 4
45.76/83.88 c (83,23) gvr[10][0] = 1
45.76/83.88 c (83,23) gvr[10][1] = 2
45.76/83.88 c (83,23) gvr[10][2] = 5
45.76/83.88 c (83,23) gvr[10][3] = 4
45.76/83.88 c (83,23) gvr[10][4] = 0
45.76/83.88 c (83,23) gvr[10][5] = 3
45.76/83.88 c (83,23) gvr[11][0] = 1
45.76/83.88 c (83,23) gvr[11][1] = 3
45.76/83.88 c (83,23) gvr[11][2] = 5
45.76/83.88 c (83,23) gvr[11][3] = 2
45.76/83.88 c (83,23) gvr[11][4] = 0
45.76/83.88 c (83,23) gvr[11][5] = 4
45.76/83.88 c (83,23) gvr[12][0] = 1
45.76/83.88 c (83,23) gvr[12][1] = 3
45.76/83.88 c (83,23) gvr[12][2] = 4
45.76/83.88 c (83,23) gvr[12][3] = 2
45.76/83.88 c (83,23) gvr[12][4] = 5
45.76/83.88 c (83,23) gvr[12][5] = 0
45.76/83.88 c (83,23) gvr[13][0] = 1
45.76/83.88 c (83,23) gvr[13][1] = 2
45.76/83.88 c (83,23) gvr[13][2] = 0
45.76/83.88 c (83,23) gvr[13][3] = 4
45.76/83.88 c (83,23) gvr[13][4] = 3
45.76/83.88 c (83,23) gvr[13][5] = 5
45.76/83.88 c (83,23) gvr[14][0] = 1
45.76/83.88 c (83,23) gvr[14][1] = 5
45.76/83.88 c (83,23) gvr[14][2] = 2
45.76/83.88 c (83,23) gvr[14][3] = 4
45.76/83.88 c (83,23) gvr[14][4] = 3
45.76/83.88 c (83,23) gvr[14][5] = 0
45.76/83.88 c (83,23) gvr[15][0] = 1
45.76/83.88 c (83,23) gvr[15][1] = 4
45.76/83.88 c (83,23) gvr[15][2] = 5
45.76/83.88 c (83,23) gvr[15][3] = 0
45.76/83.88 c (83,23) gvr[15][4] = 3
45.76/83.88 c (83,23) gvr[15][5] = 2
45.76/83.88 c (83,23) gvr[16][0] = 1
45.76/83.88 c (83,23) gvr[16][1] = 3
45.76/83.88 c (83,23) gvr[16][2] = 2
45.76/83.88 c (83,23) gvr[16][3] = 0
45.76/83.88 c (83,23) gvr[16][4] = 5
45.76/83.88 c (83,23) gvr[16][5] = 4
45.76/83.88 c (83,23) gvr[17][0] = 1
45.76/83.88 c (83,23) gvr[17][1] = 4
45.76/83.88 c (83,23) gvr[17][2] = 5
45.76/83.88 c (83,23) gvr[17][3] = 0
45.76/83.88 c (83,23) gvr[17][4] = 2
45.76/83.88 c (83,23) gvr[17][5] = 3
45.76/83.88 c (83,23) gvr[18][0] = 1
45.76/83.88 c (83,23) gvr[18][1] = 3
45.76/83.88 c (83,23) gvr[18][2] = 4
45.76/83.88 c (83,23) gvr[18][3] = 5
45.76/83.88 c (83,23) gvr[18][4] = 0
45.76/83.88 c (83,23) gvr[18][5] = 2
45.76/83.88 c (83,23) gvr[19][0] = 1
45.76/83.88 c (83,23) gvr[19][1] = 2
45.76/83.88 c (83,23) gvr[19][2] = 3
45.76/83.88 c (83,23) gvr[19][3] = 4
45.76/83.88 c (83,23) gvr[19][4] = 5
45.76/83.88 c (83,23) gvr[19][5] = 0
45.76/83.88 c (83,23) gvr[20][0] = 2
45.76/83.88 c (83,23) gvr[20][1] = 4
45.76/83.88 c (83,23) gvr[20][2] = 0
45.76/83.88 c (83,23) gvr[20][3] = 3
45.76/83.88 c (83,23) gvr[20][4] = 1
45.76/83.88 c (83,23) gvr[20][5] = 5
45.76/83.88 c (83,23) gvr[21][0] = 2
45.76/83.88 c (83,23) gvr[21][1] = 1
45.76/83.88 c (83,23) gvr[21][2] = 3
45.76/83.88 c (83,23) gvr[21][3] = 0
45.76/83.88 c (83,23) gvr[21][4] = 5
45.76/83.88 c (83,23) gvr[21][5] = 4
45.76/83.88 c (83,23) gvr[22][0] = 2
45.76/83.88 c (83,23) gvr[22][1] = 3
45.76/83.88 c (83,23) gvr[22][2] = 5
45.76/83.88 c (83,23) gvr[22][3] = 1
45.76/83.88 c (83,23) gvr[22][4] = 0
45.76/83.88 c (83,23) gvr[22][5] = 4
45.76/83.88 c (83,23) gvr[23][0] = 2
45.76/83.88 c (83,23) gvr[23][1] = 5
45.76/83.88 c (83,23) gvr[23][2] = 1
45.76/83.88 c (83,23) gvr[23][3] = 3
45.76/83.88 c (83,23) gvr[23][4] = 4
45.76/83.88 c (83,23) gvr[23][5] = 0
45.76/83.88 c (83,23) gvr[24][0] = 2
45.76/83.88 c (83,23) gvr[24][1] = 1
45.76/83.88 c (83,23) gvr[24][2] = 3
45.76/83.88 c (83,23) gvr[24][3] = 4
45.76/83.88 c (83,23) gvr[24][4] = 0
45.76/83.88 c (83,23) gvr[24][5] = 5
45.76/83.88 c (83,23) gvr[25][0] = 2
45.76/83.88 c (83,23) gvr[25][1] = 4
45.76/83.88 c (83,23) gvr[25][2] = 3
45.76/83.88 c (83,23) gvr[25][3] = 0
45.76/83.88 c (83,23) gvr[25][4] = 1
45.76/83.88 c (83,23) gvr[25][5] = 5
45.76/83.88 c (83,23) gvr[26][0] = 2
45.76/83.88 c (83,23) gvr[26][1] = 5
45.76/83.88 c (83,23) gvr[26][2] = 1
45.76/83.88 c (83,23) gvr[26][3] = 3
45.76/83.88 c (83,23) gvr[26][4] = 0
45.76/83.88 c (83,23) gvr[26][5] = 4
45.76/83.88 c (83,23) gvr[27][0] = 2
45.76/83.88 c (83,23) gvr[27][1] = 3
45.76/83.88 c (83,23) gvr[27][2] = 0
45.76/83.88 c (83,23) gvr[27][3] = 1
45.76/83.88 c (83,23) gvr[27][4] = 5
45.76/83.88 c (83,23) gvr[27][5] = 4
45.76/83.88 c (83,23) gvr[28][0] = 2
45.76/83.88 c (83,23) gvr[28][1] = 4
45.76/83.88 c (83,23) gvr[28][2] = 1
45.76/83.88 c (83,23) gvr[28][3] = 3
45.76/83.88 c (83,23) gvr[28][4] = 5
45.76/83.88 c (83,23) gvr[28][5] = 0
45.76/83.88 c (83,23) gvr[29][0] = 2
45.76/83.88 c (83,23) gvr[29][1] = 5
45.76/83.88 c (83,23) gvr[29][2] = 3
45.76/83.88 c (83,23) gvr[29][3] = 4
45.76/83.88 c (83,23) gvr[29][4] = 0
45.76/83.88 c (83,23) gvr[29][5] = 1
45.76/83.88 c (83,23) gvr[30][0] = 3
45.76/83.88 c (83,23) gvr[30][1] = 0
45.76/83.88 c (83,23) gvr[30][2] = 2
45.76/83.88 c (83,23) gvr[30][3] = 5
45.76/83.88 c (83,23) gvr[30][4] = 1
45.76/83.88 c (83,23) gvr[30][5] = 4
45.76/83.88 c (83,23) gvr[31][0] = 3
45.76/83.88 c (83,23) gvr[31][1] = 5
45.76/83.88 c (83,23) gvr[31][2] = 1
45.76/83.88 c (83,23) gvr[31][3] = 0
45.76/83.88 c (83,23) gvr[31][4] = 4
45.76/83.88 c (83,23) gvr[31][5] = 2
45.76/83.88 c (83,23) gvr[32][0] = 3
45.76/83.88 c (83,23) gvr[32][1] = 4
45.76/83.88 c (83,23) gvr[32][2] = 2
45.76/83.88 c (83,23) gvr[32][3] = 0
45.76/83.88 c (83,23) gvr[32][4] = 5
45.76/83.88 c (83,23) gvr[32][5] = 1
45.76/83.88 c (83,23) gvr[33][0] = 3
45.76/83.88 c (83,23) gvr[33][1] = 0
45.76/83.88 c (83,23) gvr[33][2] = 1
45.76/83.88 c (83,23) gvr[33][3] = 5
45.76/83.88 c (83,23) gvr[33][4] = 4
45.76/83.88 c (83,23) gvr[33][5] = 2
45.76/83.88 c (83,23) gvr[34][0] = 3
45.76/83.88 c (83,23) gvr[34][1] = 2
45.76/83.88 c (83,23) gvr[34][2] = 4
45.76/83.88 c (83,23) gvr[34][3] = 0
45.76/83.88 c (83,23) gvr[34][4] = 1
45.76/83.88 c (83,23) gvr[34][5] = 5
45.76/83.88 c (83,23) gvr[35][0] = 3
45.76/83.88 c (83,23) gvr[35][1] = 1
45.76/83.88 c (83,23) gvr[35][2] = 4
45.76/83.88 c (83,23) gvr[35][3] = 5
45.76/83.88 c (83,23) gvr[35][4] = 0
45.76/83.88 c (83,23) gvr[35][5] = 2
45.76/83.88 c (83,23) gvr[36][0] = 3
45.76/83.88 c (83,23) gvr[36][1] = 1
45.76/83.88 c (83,23) gvr[36][2] = 0
45.76/83.88 c (83,23) gvr[36][3] = 5
45.76/83.88 c (83,23) gvr[36][4] = 2
45.76/83.88 c (83,23) gvr[36][5] = 4
45.76/83.88 c (83,23) gvr[37][0] = 3
45.76/83.88 c (83,23) gvr[37][1] = 1
45.76/83.88 c (83,23) gvr[37][2] = 2
45.76/83.88 c (83,23) gvr[37][3] = 5
45.76/83.88 c (83,23) gvr[37][4] = 0
45.76/83.88 c (83,23) gvr[37][5] = 4
45.76/83.88 c (83,23) gvr[38][0] = 3
45.76/83.88 c (83,23) gvr[38][1] = 2
45.76/83.88 c (83,23) gvr[38][2] = 0
45.76/83.88 c (83,23) gvr[38][3] = 5
45.76/83.88 c (83,23) gvr[38][4] = 4
45.76/83.88 c (83,23) gvr[38][5] = 1
45.76/83.88 c (83,23) gvr[39][0] = 3
45.76/83.88 c (83,23) gvr[39][1] = 2
45.76/83.88 c (83,23) gvr[39][2] = 5
45.76/83.88 c (83,23) gvr[39][3] = 0
45.76/83.88 c (83,23) gvr[39][4] = 4
45.76/83.88 c (83,23) gvr[39][5] = 1
45.76/83.88 c (83,23) gvr[40][0] = 4
45.76/83.88 c (83,23) gvr[40][1] = 2
45.76/83.88 c (83,23) gvr[40][2] = 5
45.76/83.88 c (83,23) gvr[40][3] = 1
45.76/83.88 c (83,23) gvr[40][4] = 3
45.76/83.88 c (83,23) gvr[40][5] = 0
45.76/83.88 c (83,23) gvr[41][0] = 4
45.76/83.88 c (83,23) gvr[41][1] = 1
45.76/83.88 c (83,23) gvr[41][2] = 0
45.76/83.88 c (83,23) gvr[41][3] = 3
45.76/83.88 c (83,23) gvr[41][4] = 2
45.76/83.88 c (83,23) gvr[41][5] = 5
45.76/83.88 c (83,23) gvr[42][0] = 4
45.76/83.88 c (83,23) gvr[42][1] = 2
45.76/83.88 c (83,23) gvr[42][2] = 3
45.76/83.88 c (83,23) gvr[42][3] = 5
45.76/83.88 c (83,23) gvr[42][4] = 1
45.76/83.88 c (83,23) gvr[42][5] = 0
45.76/83.88 c (83,23) gvr[43][0] = 4
45.76/83.88 c (83,23) gvr[43][1] = 0
45.76/83.88 c (83,23) gvr[43][2] = 3
45.76/83.88 c (83,23) gvr[43][3] = 2
45.76/83.88 c (83,23) gvr[43][4] = 1
45.76/83.88 c (83,23) gvr[43][5] = 5
45.76/83.88 c (83,23) gvr[44][0] = 4
45.76/83.88 c (83,23) gvr[44][1] = 5
45.76/83.88 c (83,23) gvr[44][2] = 2
45.76/83.88 c (83,23) gvr[44][3] = 3
45.76/83.88 c (83,23) gvr[44][4] = 0
45.76/83.88 c (83,23) gvr[44][5] = 1
45.76/83.88 c (83,23) gvr[45][0] = 4
45.76/83.88 c (83,23) gvr[45][1] = 5
45.76/83.88 c (83,23) gvr[45][2] = 2
45.76/83.88 c (83,23) gvr[45][3] = 0
45.76/83.88 c (83,23) gvr[45][4] = 3
45.76/83.88 c (83,23) gvr[45][5] = 1
45.76/83.88 c (83,23) gvr[46][0] = 4
45.76/83.88 c (83,23) gvr[46][1] = 3
45.76/83.88 c (83,23) gvr[46][2] = 0
45.76/83.88 c (83,23) gvr[46][3] = 2
45.76/83.88 c (83,23) gvr[46][4] = 1
45.76/83.88 c (83,23) gvr[46][5] = 5
45.76/83.88 c (83,23) gvr[47][0] = 4
45.76/83.88 c (83,23) gvr[47][1] = 0
45.76/83.88 c (83,23) gvr[47][2] = 3
45.76/83.88 c (83,23) gvr[47][3] = 1
45.76/83.88 c (83,23) gvr[47][4] = 2
45.76/83.88 c (83,23) gvr[47][5] = 5
45.76/83.88 c (83,23) gvr[48][0] = 4
45.76/83.88 c (83,23) gvr[48][1] = 2
45.76/83.88 c (83,23) gvr[48][2] = 0
45.76/83.88 c (83,23) gvr[48][3] = 5
45.76/83.88 c (83,23) gvr[48][4] = 1
45.76/83.88 c (83,23) gvr[48][5] = 3
45.76/83.88 c (83,23) gvr[49][0] = 4
45.76/83.88 c (83,23) gvr[49][1] = 5
45.76/83.88 c (83,23) gvr[49][2] = 0
45.76/83.88 c (83,23) gvr[49][3] = 2
45.76/83.88 c (83,23) gvr[49][4] = 3
45.76/83.88 c (83,23) gvr[49][5] = 1
45.76/83.88 c (83,23) gvr[50][0] = 5
45.76/83.88 c (83,23) gvr[50][1] = 1
45.76/83.88 c (83,23) gvr[50][2] = 2
45.76/83.88 c (83,23) gvr[50][3] = 3
45.76/83.88 c (83,23) gvr[50][4] = 4
45.76/83.88 c (83,23) gvr[50][5] = 0
45.76/83.88 c (83,23) gvr[51][0] = 5
45.76/83.88 c (83,23) gvr[51][1] = 1
45.76/83.88 c (83,23) gvr[51][2] = 3
45.76/83.88 c (83,23) gvr[51][3] = 2
45.76/83.88 c (83,23) gvr[51][4] = 4
45.76/83.88 c (83,23) gvr[51][5] = 0
45.76/83.88 c (83,23) gvr[52][0] = 5
45.76/83.88 c (83,23) gvr[52][1] = 4
45.76/83.88 c (83,23) gvr[52][2] = 0
45.76/83.88 c (83,23) gvr[52][3] = 2
45.76/83.88 c (83,23) gvr[52][4] = 3
45.76/83.88 c (83,23) gvr[52][5] = 1
45.76/83.88 c (83,23) gvr[53][0] = 5
45.76/83.88 c (83,23) gvr[53][1] = 3
45.76/83.88 c (83,23) gvr[53][2] = 2
45.76/83.88 c (83,23) gvr[53][3] = 4
45.76/83.88 c (83,23) gvr[53][4] = 1
45.76/83.88 c (83,23) gvr[53][5] = 0
45.76/83.88 c (83,23) gvr[54][0] = 5
45.76/83.88 c (83,23) gvr[54][1] = 0
45.76/83.88 c (83,23) gvr[54][2] = 4
45.76/83.88 c (83,23) gvr[54][3] = 1
45.76/83.88 c (83,23) gvr[54][4] = 2
45.76/83.88 c (83,23) gvr[54][5] = 3
45.76/83.88 c (83,23) gvr[55][0] = 5
45.76/83.88 c (83,23) gvr[55][1] = 0
45.76/83.88 c (83,23) gvr[55][2] = 4
45.76/83.88 c (83,23) gvr[55][3] = 1
45.76/83.88 c (83,23) gvr[55][4] = 2
45.76/83.88 c (83,23) gvr[55][5] = 3
45.76/83.88 c (83,23) gvr[56][0] = 5
45.76/83.88 c (83,23) gvr[56][1] = 0
45.76/83.88 c (83,23) gvr[56][2] = 4
45.76/83.88 c (83,23) gvr[56][3] = 1
45.76/83.88 c (83,23) gvr[56][4] = 2
45.76/83.88 c (83,23) gvr[56][5] = 3
45.76/83.88 c (83,23) gvr[57][0] = 5
45.76/83.88 c (83,23) gvr[57][1] = 0
45.76/83.88 c (83,23) gvr[57][2] = 4
45.76/83.88 c (83,23) gvr[57][3] = 1
45.76/83.88 c (83,23) gvr[57][4] = 2
45.76/83.88 c (83,23) gvr[57][5] = 3
45.76/83.88 c (83,23) gvr[58][0] = 5
45.76/83.88 c (83,23) gvr[58][1] = 0
45.76/83.88 c (83,23) gvr[58][2] = 4
45.76/83.88 c (83,23) gvr[58][3] = 1
45.76/83.88 c (83,23) gvr[58][4] = 2
45.76/83.88 c (83,23) gvr[58][5] = 3
45.76/83.88 c (83,23) gvr[59][0] = 5
45.76/83.88 c (83,23) gvr[59][1] = 0
45.76/83.88 c (83,23) gvr[59][2] = 4
45.76/83.88 c (83,23) gvr[59][3] = 1
45.76/83.88 c (83,23) gvr[59][4] = 2
45.76/83.88 c (83,23) gvr[59][5] = 3
45.76/83.88 c (83,23) ve[0][0] = 0
45.76/83.88 c (83,23) ve[0][1] = 30
45.76/83.88 c (83,23) ve[0][2] = 46
45.76/83.88 c (83,23) ve[0][3] = 39
45.76/83.88 c (83,23) ve[0][4] = 11
45.76/83.88 c (83,23) ve[0][5] = 23
45.76/83.88 c (83,23) ve[1][0] = 1
45.76/83.88 c (83,23) ve[1][1] = 54
45.76/83.88 c (83,23) ve[1][2] = 49
45.76/83.88 c (83,23) ve[1][3] = 15
45.76/83.88 c (83,23) ve[1][4] = 35
45.76/83.88 c (83,23) ve[1][5] = 28
45.76/83.88 c (83,23) ve[2][0] = 2
45.76/83.88 c (83,23) ve[2][1] = 55
45.76/83.88 c (83,23) ve[2][2] = 48
45.76/83.88 c (83,23) ve[2][3] = 34
45.76/83.88 c (83,23) ve[2][4] = 37
45.76/83.88 c (83,23) ve[2][5] = 14
45.76/83.88 c (83,23) ve[3][0] = 3
45.76/83.88 c (83,23) ve[3][1] = 43
45.76/83.88 c (83,23) ve[3][2] = 13
45.76/83.88 c (83,23) ve[3][3] = 21
45.76/83.88 c (83,23) ve[3][4] = 29
45.76/83.88 c (83,23) ve[3][5] = 51
45.76/83.88 c (83,23) ve[4][0] = 4
45.76/83.88 c (83,23) ve[4][1] = 56
45.76/83.88 c (83,23) ve[4][2] = 52
45.76/83.88 c (83,23) ve[4][3] = 17
45.76/83.88 c (83,23) ve[4][4] = 26
45.76/83.88 c (83,23) ve[4][5] = 42
45.76/83.88 c (83,23) ve[5][0] = 5
45.76/83.88 c (83,23) ve[5][1] = 57
45.76/83.88 c (83,23) ve[5][2] = 27
45.76/83.88 c (83,23) ve[5][3] = 45
45.76/83.88 c (83,23) ve[5][4] = 22
45.76/83.88 c (83,23) ve[5][5] = 12
45.76/83.88 c (83,23) ve[6][0] = 6
45.76/83.88 c (83,23) ve[6][1] = 58
45.76/83.88 c (83,23) ve[6][2] = 36
45.76/83.88 c (83,23) ve[6][3] = 31
45.76/83.88 c (83,23) ve[6][4] = 24
45.76/83.88 c (83,23) ve[6][5] = 53
45.76/83.88 c (83,23) ve[7][0] = 7
45.76/83.88 c (83,23) ve[7][1] = 47
45.76/83.88 c (83,23) ve[7][2] = 20
45.76/83.88 c (83,23) ve[7][3] = 25
45.76/83.88 c (83,23) ve[7][4] = 10
45.76/83.88 c (83,23) ve[7][5] = 40
45.76/83.88 c (83,23) ve[8][0] = 8
45.76/83.88 c (83,23) ve[8][1] = 33
45.76/83.88 c (83,23) ve[8][2] = 38
45.76/83.88 c (83,23) ve[8][3] = 16
45.76/83.88 c (83,23) ve[8][4] = 44
45.76/83.88 c (83,23) ve[8][5] = 19
45.76/83.88 c (83,23) ve[9][0] = 9
45.76/83.88 c (83,23) ve[9][1] = 59
45.76/83.88 c (83,23) ve[9][2] = 41
45.76/83.88 c (83,23) ve[9][3] = 32
45.76/83.88 c (83,23) ve[9][4] = 18
45.76/83.88 c (83,23) ve[9][5] = 50
45.76/83.88 c (83,23) ve[10][0] = 10
45.76/83.88 c (83,23) ve[10][1] = 50
45.76/83.88 c (83,23) ve[10][2] = 26
45.76/83.88 c (83,23) ve[10][3] = 54
45.76/83.88 c (83,23) ve[10][4] = 43
45.76/83.88 c (83,23) ve[10][5] = 3
45.76/83.88 c (83,23) ve[11][0] = 11
45.76/83.88 c (83,23) ve[11][1] = 36
45.76/83.88 c (83,23) ve[11][2] = 28
45.76/83.88 c (83,23) ve[11][3] = 47
45.76/83.88 c (83,23) ve[11][4] = 20
45.76/83.88 c (83,23) ve[11][5] = 1
45.76/83.88 c (83,23) ve[12][0] = 12
45.76/83.88 c (83,23) ve[12][1] = 9
45.76/83.88 c (83,23) ve[12][2] = 23
45.76/83.88 c (83,23) ve[12][3] = 40
45.76/83.88 c (83,23) ve[12][4] = 48
45.76/83.88 c (83,23) ve[12][5] = 29
45.76/83.88 c (83,23) ve[13][0] = 13
45.76/83.88 c (83,23) ve[13][1] = 35
45.76/83.88 c (83,23) ve[13][2] = 2
45.76/83.88 c (83,23) ve[13][3] = 55
45.76/83.88 c (83,23) ve[13][4] = 53
45.76/83.88 c (83,23) ve[13][5] = 32
45.76/83.88 c (83,23) ve[14][0] = 14
45.76/83.88 c (83,23) ve[14][1] = 24
45.76/83.88 c (83,23) ve[14][2] = 8
45.76/83.88 c (83,23) ve[14][3] = 56
45.76/83.88 c (83,23) ve[14][4] = 30
45.76/83.88 c (83,23) ve[14][5] = 44
45.76/83.88 c (83,23) ve[15][0] = 15
45.76/83.88 c (83,23) ve[15][1] = 21
45.76/83.88 c (83,23) ve[15][2] = 6
45.76/83.88 c (83,23) ve[15][3] = 27
45.76/83.88 c (83,23) ve[15][4] = 46
45.76/83.88 c (83,23) ve[15][5] = 38
45.76/83.88 c (83,23) ve[16][0] = 16
45.76/83.88 c (83,23) ve[16][1] = 41
45.76/83.88 c (83,23) ve[16][2] = 7
45.76/83.88 c (83,23) ve[16][3] = 22
45.76/83.88 c (83,23) ve[16][4] = 34
45.76/83.88 c (83,23) ve[16][5] = 45
45.76/83.88 c (83,23) ve[17][0] = 17
45.76/83.88 c (83,23) ve[17][1] = 0
45.76/83.88 c (83,23) ve[17][2] = 33
45.76/83.88 c (83,23) ve[17][3] = 57
45.76/83.88 c (83,23) ve[17][4] = 42
45.76/83.88 c (83,23) ve[17][5] = 49
45.76/83.88 c (83,23) ve[18][0] = 18
45.76/83.88 c (83,23) ve[18][1] = 37
45.76/83.88 c (83,23) ve[18][2] = 31
45.76/83.88 c (83,23) ve[18][3] = 58
45.76/83.88 c (83,23) ve[18][4] = 4
45.76/83.88 c (83,23) ve[18][5] = 52
45.76/83.88 c (83,23) ve[19][0] = 19
45.76/83.88 c (83,23) ve[19][1] = 51
45.76/83.88 c (83,23) ve[19][2] = 5
45.76/83.88 c (83,23) ve[19][3] = 59
45.76/83.88 c (83,23) ve[19][4] = 25
45.76/83.88 c (83,23) ve[19][5] = 39
45.76/83.88 c (83,23) ve[20][0] = 20
45.76/83.88 c (83,23) ve[20][1] = 10
45.76/83.88 c (83,23) ve[20][2] = 30
45.76/83.88 c (83,23) ve[20][3] = 52
45.76/83.88 c (83,23) ve[20][4] = 41
45.76/83.88 c (83,23) ve[20][5] = 5
45.76/83.88 c (83,23) ve[21][0] = 21
45.76/83.88 c (83,23) ve[21][1] = 40
45.76/83.88 c (83,23) ve[21][2] = 50
45.76/83.88 c (83,23) ve[21][3] = 9
45.76/83.88 c (83,23) ve[21][4] = 54
45.76/83.88 c (83,23) ve[21][5] = 31
45.76/83.88 c (83,23) ve[22][0] = 22
45.76/83.88 c (83,23) ve[22][1] = 34
45.76/83.88 c (83,23) ve[22][2] = 53
45.76/83.88 c (83,23) ve[22][3] = 2
45.76/83.88 c (83,23) ve[22][4] = 36
45.76/83.88 c (83,23) ve[22][5] = 15
45.76/83.88 c (83,23) ve[23][0] = 23
45.76/83.88 c (83,23) ve[23][1] = 1
45.76/83.88 c (83,23) ve[23][2] = 32
45.76/83.88 c (83,23) ve[23][3] = 49
45.76/83.88 c (83,23) ve[23][4] = 55
45.76/83.88 c (83,23) ve[23][5] = 35
45.76/83.88 c (83,23) ve[24][0] = 24
45.76/83.88 c (83,23) ve[24][1] = 48
45.76/83.88 c (83,23) ve[24][2] = 0
45.76/83.88 c (83,23) ve[24][3] = 11
45.76/83.88 c (83,23) ve[24][4] = 56
45.76/83.88 c (83,23) ve[24][5] = 33
45.76/83.88 c (83,23) ve[25][0] = 25
45.76/83.88 c (83,23) ve[25][1] = 42
45.76/83.88 c (83,23) ve[25][2] = 16
45.76/83.88 c (83,23) ve[25][3] = 51
45.76/83.88 c (83,23) ve[25][4] = 17
45.76/83.88 c (83,23) ve[25][5] = 8
45.76/83.88 c (83,23) ve[26][0] = 26
45.76/83.88 c (83,23) ve[26][1] = 39
45.76/83.88 c (83,23) ve[26][2] = 45
45.76/83.88 c (83,23) ve[26][3] = 12
45.76/83.88 c (83,23) ve[26][4] = 57
45.76/83.88 c (83,23) ve[26][5] = 4
45.76/83.88 c (83,23) ve[27][0] = 27
45.76/83.88 c (83,23) ve[27][1] = 38
45.76/83.88 c (83,23) ve[27][2] = 44
45.76/83.88 c (83,23) ve[27][3] = 3
45.76/83.88 c (83,23) ve[27][4] = 58
45.76/83.88 c (83,23) ve[27][5] = 18
45.76/83.88 c (83,23) ve[28][0] = 28
45.76/83.88 c (83,23) ve[28][1] = 13
45.76/83.88 c (83,23) ve[28][2] = 37
45.76/83.88 c (83,23) ve[28][3] = 46
45.76/83.88 c (83,23) ve[28][4] = 59
45.76/83.88 c (83,23) ve[28][5] = 6
45.76/83.88 c (83,23) ve[29][0] = 29
45.76/83.88 c (83,23) ve[29][1] = 19
45.76/83.88 c (83,23) ve[29][2] = 14
45.76/83.88 c (83,23) ve[29][3] = 43
45.76/83.88 c (83,23) ve[29][4] = 47
45.76/83.88 c (83,23) ve[29][5] = 7
45.76/83.88 c (83,23) ve[30][0] = 30
45.76/83.88 c (83,23) ve[30][1] = 46
45.76/83.88 c (83,23) ve[30][2] = 42
45.76/83.88 c (83,23) ve[30][3] = 20
45.76/83.88 c (83,23) ve[30][4] = 14
45.76/83.88 c (83,23) ve[30][5] = 2
45.76/83.88 c (83,23) ve[31][0] = 31
45.76/83.88 c (83,23) ve[31][1] = 12
45.76/83.88 c (83,23) ve[31][2] = 43
45.76/83.88 c (83,23) ve[31][3] = 8
45.76/83.88 c (83,23) ve[31][4] = 52
45.76/83.88 c (83,23) ve[31][5] = 54
45.76/83.88 c (83,23) ve[32][0] = 32
45.76/83.88 c (83,23) ve[32][1] = 3
45.76/83.88 c (83,23) ve[32][2] = 51
45.76/83.88 c (83,23) ve[32][3] = 23
45.76/83.88 c (83,23) ve[32][4] = 40
45.76/83.88 c (83,23) ve[32][5] = 10
45.76/83.88 c (83,23) ve[33][0] = 33
45.76/83.88 c (83,23) ve[33][1] = 4
45.76/83.88 c (83,23) ve[33][2] = 21
45.76/83.88 c (83,23) ve[33][3] = 41
45.76/83.88 c (83,23) ve[33][4] = 49
45.76/83.88 c (83,23) ve[33][5] = 55
45.76/83.88 c (83,23) ve[34][0] = 34
45.76/83.88 c (83,23) ve[34][1] = 53
45.76/83.88 c (83,23) ve[34][2] = 19
45.76/83.88 c (83,23) ve[34][3] = 0
45.76/83.88 c (83,23) ve[34][4] = 15
45.76/83.88 c (83,23) ve[34][5] = 56
45.76/83.88 c (83,23) ve[35][0] = 35
45.76/83.88 c (83,23) ve[35][1] = 16
45.76/83.88 c (83,23) ve[35][2] = 24
45.76/83.88 c (83,23) ve[35][3] = 26
45.76/83.88 c (83,23) ve[35][4] = 5
45.76/83.88 c (83,23) ve[35][5] = 48
45.76/83.88 c (83,23) ve[36][0] = 36
45.76/83.88 c (83,23) ve[36][1] = 11
45.76/83.88 c (83,23) ve[36][2] = 47
45.76/83.88 c (83,23) ve[36][3] = 28
45.76/83.88 c (83,23) ve[36][4] = 6
45.76/83.88 c (83,23) ve[36][5] = 57
45.76/83.88 c (83,23) ve[37][0] = 37
45.76/83.88 c (83,23) ve[37][1] = 18
45.76/83.88 c (83,23) ve[37][2] = 25
45.76/83.88 c (83,23) ve[37][3] = 7
45.76/83.88 c (83,23) ve[37][4] = 45
45.76/83.88 c (83,23) ve[37][5] = 58
45.76/83.88 c (83,23) ve[38][0] = 38
45.76/83.88 c (83,23) ve[38][1] = 22
45.76/83.88 c (83,23) ve[38][2] = 29
45.76/83.88 c (83,23) ve[38][3] = 50
45.76/83.88 c (83,23) ve[38][4] = 1
45.76/83.88 c (83,23) ve[38][5] = 59
45.76/83.88 c (83,23) ve[39][0] = 39
45.76/83.88 c (83,23) ve[39][1] = 27
45.76/83.88 c (83,23) ve[39][2] = 9
45.76/83.88 c (83,23) ve[39][3] = 44
45.76/83.88 c (83,23) ve[39][4] = 13
45.76/83.88 c (83,23) ve[39][5] = 17
45.76/83.88 c (83,23) ve[40][0] = 40
45.76/83.88 c (83,23) ve[40][1] = 5
45.76/83.88 c (83,23) ve[40][2] = 54
45.76/83.88 c (83,23) ve[40][3] = 53
45.76/83.88 c (83,23) ve[40][4] = 23
45.76/83.88 c (83,23) ve[40][5] = 26
45.76/83.88 c (83,23) ve[41][0] = 41
45.76/83.88 c (83,23) ve[41][1] = 7
45.76/83.88 c (83,23) ve[41][2] = 18
45.76/83.88 c (83,23) ve[41][3] = 14
45.76/83.88 c (83,23) ve[41][4] = 50
45.76/83.88 c (83,23) ve[41][5] = 27
45.76/83.88 c (83,23) ve[42][0] = 42
45.76/83.88 c (83,23) ve[42][1] = 52
45.76/83.88 c (83,23) ve[42][2] = 55
45.76/83.88 c (83,23) ve[42][3] = 29
45.76/83.88 c (83,23) ve[42][4] = 0
45.76/83.88 c (83,23) ve[42][5] = 21
45.76/83.88 c (83,23) ve[43][0] = 43
45.76/83.88 c (83,23) ve[43][1] = 32
45.76/83.88 c (83,23) ve[43][2] = 56
45.76/83.88 c (83,23) ve[43][3] = 13
45.76/83.88 c (83,23) ve[43][4] = 51
45.76/83.88 c (83,23) ve[43][5] = 9
45.76/83.88 c (83,23) ve[44][0] = 44
45.76/83.88 c (83,23) ve[44][1] = 20
45.76/83.88 c (83,23) ve[44][2] = 12
45.76/83.88 c (83,23) ve[44][3] = 6
45.76/83.88 c (83,23) ve[44][4] = 33
45.76/83.88 c (83,23) ve[44][5] = 36
45.76/83.88 c (83,23) ve[45][0] = 45
45.76/83.88 c (83,23) ve[45][1] = 15
45.76/83.88 c (83,23) ve[45][2] = 57
45.76/83.88 c (83,23) ve[45][3] = 19
45.76/83.88 c (83,23) ve[45][4] = 3
45.76/83.88 c (83,23) ve[45][5] = 30
45.76/83.88 c (83,23) ve[46][0] = 46
45.76/83.88 c (83,23) ve[46][1] = 2
45.76/83.88 c (83,23) ve[46][2] = 34
45.76/83.88 c (83,23) ve[46][3] = 24
45.76/83.88 c (83,23) ve[46][4] = 38
45.76/83.88 c (83,23) ve[46][5] = 11
45.76/83.88 c (83,23) ve[47][0] = 47
45.76/83.88 c (83,23) ve[47][1] = 28
45.76/83.88 c (83,23) ve[47][2] = 58
45.76/83.88 c (83,23) ve[47][3] = 1
45.76/83.88 c (83,23) ve[47][4] = 39
45.76/83.88 c (83,23) ve[47][5] = 22
45.76/83.88 c (83,23) ve[48][0] = 48
45.76/83.88 c (83,23) ve[48][1] = 25
45.76/83.88 c (83,23) ve[48][2] = 59
45.76/83.88 c (83,23) ve[48][3] = 10
45.76/83.88 c (83,23) ve[48][4] = 8
45.76/83.88 c (83,23) ve[48][5] = 37
45.76/83.88 c (83,23) ve[49][0] = 49
45.76/83.88 c (83,23) ve[49][1] = 17
45.76/83.88 c (83,23) ve[49][2] = 35
45.76/83.88 c (83,23) ve[49][3] = 4
45.76/83.88 c (83,23) ve[49][4] = 31
45.76/83.88 c (83,23) ve[49][5] = 16
45.76/83.88 c (83,23) ve[50][0] = 50
45.76/83.88 c (83,23) ve[50][1] = 14
45.76/83.88 c (83,23) ve[50][2] = 22
45.76/83.88 c (83,23) ve[50][3] = 36
45.76/83.88 c (83,23) ve[50][4] = 27
45.76/83.88 c (83,23) ve[50][5] = 0
45.76/83.88 c (83,23) ve[51][0] = 51
45.76/83.88 c (83,23) ve[51][1] = 23
45.76/83.88 c (83,23) ve[51][2] = 1
45.76/83.88 c (83,23) ve[51][3] = 35
45.76/83.88 c (83,23) ve[51][4] = 28
45.76/83.88 c (83,23) ve[51][5] = 13
45.76/83.88 c (83,23) ve[52][0] = 52
45.76/83.88 c (83,23) ve[52][1] = 29
45.76/83.88 c (83,23) ve[52][2] = 40
45.76/83.88 c (83,23) ve[52][3] = 5
45.76/83.88 c (83,23) ve[52][4] = 12
45.76/83.88 c (83,23) ve[52][5] = 20
45.76/83.88 c (83,23) ve[53][0] = 53
45.76/83.88 c (83,23) ve[53][1] = 31
45.76/83.88 c (83,23) ve[53][2] = 11
45.76/83.88 c (83,23) ve[53][3] = 37
45.76/83.88 c (83,23) ve[53][4] = 9
45.76/83.88 c (83,23) ve[53][5] = 24
45.76/83.88 c (83,23) ve[54][0] = 54
45.76/83.88 c (83,23) ve[54][1] = 26
45.76/83.88 c (83,23) ve[54][2] = 39
45.76/83.88 c (83,23) ve[54][3] = 18
45.76/83.88 c (83,23) ve[54][4] = 2
45.76/83.88 c (83,23) ve[54][5] = 47
45.76/83.88 c (83,23) ve[55][0] = 55
45.76/83.88 c (83,23) ve[55][1] = 8
45.76/83.88 c (83,23) ve[55][2] = 17
45.76/83.88 c (83,23) ve[55][3] = 30
45.76/83.88 c (83,23) ve[55][4] = 16
45.76/83.88 c (83,23) ve[55][5] = 46
45.76/83.88 c (83,23) ve[56][0] = 56
45.76/83.88 c (83,23) ve[56][1] = 44
45.76/83.88 c (83,23) ve[56][2] = 10
45.76/83.88 c (83,23) ve[56][3] = 33
45.76/83.88 c (83,23) ve[56][4] = 7
45.76/83.88 c (83,23) ve[56][5] = 43
45.76/83.88 c (83,23) ve[57][0] = 57
45.76/83.88 c (83,23) ve[57][1] = 6
45.76/83.88 c (83,23) ve[57][2] = 15
45.76/83.88 c (83,23) ve[57][3] = 48
45.76/83.88 c (83,23) ve[57][4] = 32
45.76/83.88 c (83,23) ve[57][5] = 41
45.76/83.88 c (83,23) ve[58][0] = 58
45.76/83.88 c (83,23) ve[58][1] = 45
45.76/83.88 c (83,23) ve[58][2] = 3
45.76/83.88 c (83,23) ve[58][3] = 42
45.76/83.88 c (83,23) ve[58][4] = 21
45.76/83.88 c (83,23) ve[58][5] = 25
45.76/83.88 c (83,23) ve[59][0] = 59
45.76/83.88 c (83,23) ve[59][1] = 49
45.76/83.88 c (83,23) ve[59][2] = 4
45.76/83.88 c (83,23) ve[59][3] = 38
45.76/83.88 c (83,23) ve[59][4] = 19
45.76/83.88 c (83,23) ve[59][5] = 34
45.76/83.88 c (83,23) vr[0][0] = 0
45.76/83.88 c (83,23) vr[0][1] = 17
45.76/83.88 c (83,23) vr[0][2] = 24
45.76/83.88 c (83,23) vr[0][3] = 34
45.76/83.88 c (83,23) vr[0][4] = 42
45.76/83.88 c (83,23) vr[0][5] = 50
45.76/83.88 c (83,23) vr[1][0] = 1
45.76/83.88 c (83,23) vr[1][1] = 23
45.76/83.88 c (83,23) vr[1][2] = 51
45.76/83.88 c (83,23) vr[1][3] = 47
45.76/83.88 c (83,23) vr[1][4] = 38
45.76/83.88 c (83,23) vr[1][5] = 11
45.76/83.88 c (83,23) vr[2][0] = 2
45.76/83.88 c (83,23) vr[2][1] = 46
45.76/83.88 c (83,23) vr[2][2] = 13
45.76/83.88 c (83,23) vr[2][3] = 22
45.76/83.88 c (83,23) vr[2][4] = 54
45.76/83.88 c (83,23) vr[2][5] = 30
45.76/83.88 c (83,23) vr[3][0] = 3
45.76/83.88 c (83,23) vr[3][1] = 32
45.76/83.88 c (83,23) vr[3][2] = 58
45.76/83.88 c (83,23) vr[3][3] = 27
45.76/83.88 c (83,23) vr[3][4] = 45
45.76/83.88 c (83,23) vr[3][5] = 10
45.76/83.88 c (83,23) vr[4][0] = 4
45.76/83.88 c (83,23) vr[4][1] = 33
45.76/83.88 c (83,23) vr[4][2] = 59
45.76/83.88 c (83,23) vr[4][3] = 49
45.76/83.88 c (83,23) vr[4][4] = 18
45.76/83.88 c (83,23) vr[4][5] = 26
45.76/83.88 c (83,23) vr[5][0] = 5
45.76/83.88 c (83,23) vr[5][1] = 40
45.76/83.88 c (83,23) vr[5][2] = 19
45.76/83.88 c (83,23) vr[5][3] = 52
45.76/83.88 c (83,23) vr[5][4] = 35
45.76/83.88 c (83,23) vr[5][5] = 20
45.76/83.88 c (83,23) vr[6][0] = 6
45.76/83.88 c (83,23) vr[6][1] = 57
45.76/83.88 c (83,23) vr[6][2] = 15
45.76/83.88 c (83,23) vr[6][3] = 44
45.76/83.88 c (83,23) vr[6][4] = 36
45.76/83.88 c (83,23) vr[6][5] = 28
45.76/83.88 c (83,23) vr[7][0] = 7
45.76/83.88 c (83,23) vr[7][1] = 41
45.76/83.88 c (83,23) vr[7][2] = 16
45.76/83.88 c (83,23) vr[7][3] = 37
45.76/83.88 c (83,23) vr[7][4] = 56
45.76/83.88 c (83,23) vr[7][5] = 29
45.76/83.88 c (83,23) vr[8][0] = 8
45.76/83.88 c (83,23) vr[8][1] = 55
45.76/83.88 c (83,23) vr[8][2] = 14
45.76/83.88 c (83,23) vr[8][3] = 31
45.76/83.88 c (83,23) vr[8][4] = 48
45.76/83.88 c (83,23) vr[8][5] = 25
45.76/83.88 c (83,23) vr[9][0] = 9
45.76/83.88 c (83,23) vr[9][1] = 12
45.76/83.88 c (83,23) vr[9][2] = 39
45.76/83.88 c (83,23) vr[9][3] = 21
45.76/83.88 c (83,23) vr[9][4] = 53
45.76/83.88 c (83,23) vr[9][5] = 43
45.76/83.88 c (83,23) vr[10][0] = 10
45.76/83.88 c (83,23) vr[10][1] = 20
45.76/83.88 c (83,23) vr[10][2] = 56
45.76/83.88 c (83,23) vr[10][3] = 48
45.76/83.88 c (83,23) vr[10][4] = 7
45.76/83.88 c (83,23) vr[10][5] = 32
45.76/83.88 c (83,23) vr[11][0] = 11
45.76/83.88 c (83,23) vr[11][1] = 36
45.76/83.88 c (83,23) vr[11][2] = 53
45.76/83.88 c (83,23) vr[11][3] = 24
45.76/83.88 c (83,23) vr[11][4] = 0
45.76/83.88 c (83,23) vr[11][5] = 46
45.76/83.88 c (83,23) vr[12][0] = 12
45.76/83.88 c (83,23) vr[12][1] = 31
45.76/83.88 c (83,23) vr[12][2] = 44
45.76/83.88 c (83,23) vr[12][3] = 26
45.76/83.88 c (83,23) vr[12][4] = 52
45.76/83.88 c (83,23) vr[12][5] = 5
45.76/83.88 c (83,23) vr[13][0] = 13
45.76/83.88 c (83,23) vr[13][1] = 28
45.76/83.88 c (83,23) vr[13][2] = 3
45.76/83.88 c (83,23) vr[13][3] = 43
45.76/83.88 c (83,23) vr[13][4] = 39
45.76/83.88 c (83,23) vr[13][5] = 51
45.76/83.88 c (83,23) vr[14][0] = 14
45.76/83.88 c (83,23) vr[14][1] = 50
45.76/83.88 c (83,23) vr[14][2] = 29
45.76/83.88 c (83,23) vr[14][3] = 41
45.76/83.88 c (83,23) vr[14][4] = 30
45.76/83.88 c (83,23) vr[14][5] = 2
45.76/83.88 c (83,23) vr[15][0] = 15
45.76/83.88 c (83,23) vr[15][1] = 45
45.76/83.88 c (83,23) vr[15][2] = 57
45.76/83.88 c (83,23) vr[15][3] = 1
45.76/83.88 c (83,23) vr[15][4] = 34
45.76/83.88 c (83,23) vr[15][5] = 22
45.76/83.88 c (83,23) vr[16][0] = 16
45.76/83.88 c (83,23) vr[16][1] = 35
45.76/83.88 c (83,23) vr[16][2] = 25
45.76/83.88 c (83,23) vr[16][3] = 8
45.76/83.88 c (83,23) vr[16][4] = 55
45.76/83.88 c (83,23) vr[16][5] = 49
45.76/83.88 c (83,23) vr[17][0] = 17
45.76/83.88 c (83,23) vr[17][1] = 49
45.76/83.88 c (83,23) vr[17][2] = 55
45.76/83.88 c (83,23) vr[17][3] = 4
45.76/83.88 c (83,23) vr[17][4] = 25
45.76/83.88 c (83,23) vr[17][5] = 39
45.76/83.88 c (83,23) vr[18][0] = 18
45.76/83.88 c (83,23) vr[18][1] = 37
45.76/83.88 c (83,23) vr[18][2] = 41
45.76/83.88 c (83,23) vr[18][3] = 54
45.76/83.88 c (83,23) vr[18][4] = 9
45.76/83.88 c (83,23) vr[18][5] = 27
45.76/83.88 c (83,23) vr[19][0] = 19
45.76/83.88 c (83,23) vr[19][1] = 29
45.76/83.88 c (83,23) vr[19][2] = 34
45.76/83.88 c (83,23) vr[19][3] = 45
45.76/83.88 c (83,23) vr[19][4] = 59
45.76/83.88 c (83,23) vr[19][5] = 8
45.76/83.88 c (83,23) vr[20][0] = 20
45.76/83.88 c (83,23) vr[20][1] = 44
45.76/83.88 c (83,23) vr[20][2] = 7
45.76/83.88 c (83,23) vr[20][3] = 30
45.76/83.88 c (83,23) vr[20][4] = 11
45.76/83.88 c (83,23) vr[20][5] = 52
45.76/83.88 c (83,23) vr[21][0] = 21
45.76/83.88 c (83,23) vr[21][1] = 15
45.76/83.88 c (83,23) vr[21][2] = 33
45.76/83.88 c (83,23) vr[21][3] = 3
45.76/83.88 c (83,23) vr[21][4] = 58
45.76/83.88 c (83,23) vr[21][5] = 42
45.76/83.88 c (83,23) vr[22][0] = 22
45.76/83.88 c (83,23) vr[22][1] = 38
45.76/83.88 c (83,23) vr[22][2] = 50
45.76/83.88 c (83,23) vr[22][3] = 16
45.76/83.88 c (83,23) vr[22][4] = 5
45.76/83.88 c (83,23) vr[22][5] = 47
45.76/83.88 c (83,23) vr[23][0] = 23
45.76/83.88 c (83,23) vr[23][1] = 51
45.76/83.88 c (83,23) vr[23][2] = 12
45.76/83.88 c (83,23) vr[23][3] = 32
45.76/83.88 c (83,23) vr[23][4] = 40
45.76/83.88 c (83,23) vr[23][5] = 0
45.76/83.88 c (83,23) vr[24][0] = 24
45.76/83.88 c (83,23) vr[24][1] = 14
45.76/83.88 c (83,23) vr[24][2] = 35
45.76/83.88 c (83,23) vr[24][3] = 46
45.76/83.88 c (83,23) vr[24][4] = 6
45.76/83.88 c (83,23) vr[24][5] = 53
45.76/83.88 c (83,23) vr[25][0] = 25
45.76/83.88 c (83,23) vr[25][1] = 48
45.76/83.88 c (83,23) vr[25][2] = 37
45.76/83.88 c (83,23) vr[25][3] = 7
45.76/83.88 c (83,23) vr[25][4] = 19
45.76/83.89 c (83,23) vr[25][5] = 58
45.76/83.89 c (83,23) vr[26][0] = 26
45.76/83.89 c (83,23) vr[26][1] = 54
45.76/83.89 c (83,23) vr[26][2] = 10
45.76/83.89 c (83,23) vr[26][3] = 35
45.76/83.89 c (83,23) vr[26][4] = 4
45.76/83.89 c (83,23) vr[26][5] = 40
45.76/83.89 c (83,23) vr[27][0] = 27
45.76/83.89 c (83,23) vr[27][1] = 39
45.76/83.89 c (83,23) vr[27][2] = 5
45.76/83.89 c (83,23) vr[27][3] = 15
45.76/83.89 c (83,23) vr[27][4] = 50
45.76/83.89 c (83,23) vr[27][5] = 41
45.76/83.89 c (83,23) vr[28][0] = 28
45.76/83.89 c (83,23) vr[28][1] = 47
45.76/83.89 c (83,23) vr[28][2] = 11
45.76/83.89 c (83,23) vr[28][3] = 36
45.76/83.89 c (83,23) vr[28][4] = 51
45.76/83.89 c (83,23) vr[28][5] = 1
45.76/83.89 c (83,23) vr[29][0] = 29
45.76/83.89 c (83,23) vr[29][1] = 52
45.76/83.89 c (83,23) vr[29][2] = 38
45.76/83.89 c (83,23) vr[29][3] = 42
45.76/83.89 c (83,23) vr[29][4] = 3
45.76/83.89 c (83,23) vr[29][5] = 12
45.76/83.89 c (83,23) vr[30][0] = 30
45.76/83.89 c (83,23) vr[30][1] = 0
45.76/83.89 c (83,23) vr[30][2] = 20
45.76/83.89 c (83,23) vr[30][3] = 55
45.76/83.89 c (83,23) vr[30][4] = 14
45.76/83.89 c (83,23) vr[30][5] = 45
45.76/83.89 c (83,23) vr[31][0] = 31
45.76/83.89 c (83,23) vr[31][1] = 53
45.76/83.89 c (83,23) vr[31][2] = 18
45.76/83.89 c (83,23) vr[31][3] = 6
45.76/83.89 c (83,23) vr[31][4] = 49
45.76/83.89 c (83,23) vr[31][5] = 21
45.76/83.89 c (83,23) vr[32][0] = 32
45.76/83.89 c (83,23) vr[32][1] = 43
45.76/83.89 c (83,23) vr[32][2] = 23
45.76/83.89 c (83,23) vr[32][3] = 9
45.76/83.89 c (83,23) vr[32][4] = 57
45.76/83.89 c (83,23) vr[32][5] = 13
45.76/83.89 c (83,23) vr[33][0] = 33
45.76/83.89 c (83,23) vr[33][1] = 8
45.76/83.89 c (83,23) vr[33][2] = 17
45.76/83.89 c (83,23) vr[33][3] = 56
45.76/83.89 c (83,23) vr[33][4] = 44
45.76/83.89 c (83,23) vr[33][5] = 24
45.76/83.89 c (83,23) vr[34][0] = 34
45.76/83.89 c (83,23) vr[34][1] = 22
45.76/83.89 c (83,23) vr[34][2] = 46
45.76/83.89 c (83,23) vr[34][3] = 2
45.76/83.89 c (83,23) vr[34][4] = 16
45.76/83.89 c (83,23) vr[34][5] = 59
45.76/83.89 c (83,23) vr[35][0] = 35
45.76/83.89 c (83,23) vr[35][1] = 13
45.76/83.89 c (83,23) vr[35][2] = 49
45.76/83.89 c (83,23) vr[35][3] = 51
45.76/83.89 c (83,23) vr[35][4] = 1
45.76/83.89 c (83,23) vr[35][5] = 23
45.76/83.89 c (83,23) vr[36][0] = 36
45.76/83.89 c (83,23) vr[36][1] = 11
45.76/83.89 c (83,23) vr[36][2] = 6
45.76/83.89 c (83,23) vr[36][3] = 50
45.76/83.89 c (83,23) vr[36][4] = 22
45.76/83.89 c (83,23) vr[36][5] = 44
45.76/83.89 c (83,23) vr[37][0] = 37
45.76/83.89 c (83,23) vr[37][1] = 18
45.76/83.89 c (83,23) vr[37][2] = 28
45.76/83.89 c (83,23) vr[37][3] = 53
45.76/83.89 c (83,23) vr[37][4] = 2
45.76/83.89 c (83,23) vr[37][5] = 48
45.76/83.89 c (83,23) vr[38][0] = 38
45.76/83.89 c (83,23) vr[38][1] = 27
45.76/83.89 c (83,23) vr[38][2] = 8
45.76/83.89 c (83,23) vr[38][3] = 59
45.76/83.89 c (83,23) vr[38][4] = 46
45.76/83.89 c (83,23) vr[38][5] = 15
45.76/83.89 c (83,23) vr[39][0] = 39
45.76/83.89 c (83,23) vr[39][1] = 26
45.76/83.89 c (83,23) vr[39][2] = 54
45.76/83.89 c (83,23) vr[39][3] = 0
45.76/83.89 c (83,23) vr[39][4] = 47
45.76/83.89 c (83,23) vr[39][5] = 19
45.76/83.89 c (83,23) vr[40][0] = 40
45.76/83.89 c (83,23) vr[40][1] = 21
45.76/83.89 c (83,23) vr[40][2] = 52
45.76/83.89 c (83,23) vr[40][3] = 12
45.76/83.89 c (83,23) vr[40][4] = 32
45.76/83.89 c (83,23) vr[40][5] = 7
45.76/83.89 c (83,23) vr[41][0] = 41
45.76/83.89 c (83,23) vr[41][1] = 16
45.76/83.89 c (83,23) vr[41][2] = 9
45.76/83.89 c (83,23) vr[41][3] = 33
45.76/83.89 c (83,23) vr[41][4] = 20
45.76/83.89 c (83,23) vr[41][5] = 57
45.76/83.89 c (83,23) vr[42][0] = 42
45.76/83.89 c (83,23) vr[42][1] = 25
45.76/83.89 c (83,23) vr[42][2] = 30
45.76/83.89 c (83,23) vr[42][3] = 58
45.76/83.89 c (83,23) vr[42][4] = 17
45.76/83.89 c (83,23) vr[42][5] = 4
45.76/83.89 c (83,23) vr[43][0] = 43
45.76/83.89 c (83,23) vr[43][1] = 3
45.76/83.89 c (83,23) vr[43][2] = 31
45.76/83.89 c (83,23) vr[43][3] = 29
45.76/83.89 c (83,23) vr[43][4] = 10
45.76/83.89 c (83,23) vr[43][5] = 56
45.76/83.89 c (83,23) vr[44][0] = 44
45.76/83.89 c (83,23) vr[44][1] = 56
45.76/83.89 c (83,23) vr[44][2] = 27
45.76/83.89 c (83,23) vr[44][3] = 39
45.76/83.89 c (83,23) vr[44][4] = 8
45.76/83.89 c (83,23) vr[44][5] = 14
45.76/83.89 c (83,23) vr[45][0] = 45
45.76/83.89 c (83,23) vr[45][1] = 58
45.76/83.89 c (83,23) vr[45][2] = 26
45.76/83.89 c (83,23) vr[45][3] = 5
45.76/83.89 c (83,23) vr[45][4] = 37
45.76/83.89 c (83,23) vr[45][5] = 16
45.76/83.89 c (83,23) vr[46][0] = 46
45.76/83.89 c (83,23) vr[46][1] = 30
45.76/83.89 c (83,23) vr[46][2] = 0
45.76/83.89 c (83,23) vr[46][3] = 28
45.76/83.89 c (83,23) vr[46][4] = 15
45.76/83.89 c (83,23) vr[46][5] = 55
45.76/83.89 c (83,23) vr[47][0] = 47
45.76/83.89 c (83,23) vr[47][1] = 7
45.76/83.89 c (83,23) vr[47][2] = 36
45.76/83.89 c (83,23) vr[47][3] = 11
45.76/83.89 c (83,23) vr[47][4] = 29
45.76/83.89 c (83,23) vr[47][5] = 54
45.76/83.89 c (83,23) vr[48][0] = 48
45.76/83.89 c (83,23) vr[48][1] = 24
45.76/83.89 c (83,23) vr[48][2] = 2
45.76/83.89 c (83,23) vr[48][3] = 57
45.76/83.89 c (83,23) vr[48][4] = 12
45.76/83.89 c (83,23) vr[48][5] = 35
45.76/83.89 c (83,23) vr[49][0] = 49
45.76/83.89 c (83,23) vr[49][1] = 59
45.76/83.89 c (83,23) vr[49][2] = 1
45.76/83.89 c (83,23) vr[49][3] = 23
45.76/83.89 c (83,23) vr[49][4] = 33
45.76/83.89 c (83,23) vr[49][5] = 17
45.76/83.89 c (83,23) vr[50][0] = 50
45.76/83.89 c (83,23) vr[50][1] = 10
45.76/83.89 c (83,23) vr[50][2] = 21
45.76/83.89 c (83,23) vr[50][3] = 38
45.76/83.89 c (83,23) vr[50][4] = 41
45.76/83.89 c (83,23) vr[50][5] = 9
45.76/83.89 c (83,23) vr[51][0] = 51
45.76/83.89 c (83,23) vr[51][1] = 19
45.76/83.89 c (83,23) vr[51][2] = 32
45.76/83.89 c (83,23) vr[51][3] = 25
45.76/83.89 c (83,23) vr[51][4] = 43
45.76/83.89 c (83,23) vr[51][5] = 3
45.76/83.89 c (83,23) vr[52][0] = 52
45.76/83.89 c (83,23) vr[52][1] = 42
45.76/83.89 c (83,23) vr[52][2] = 4
45.76/83.89 c (83,23) vr[52][3] = 20
45.76/83.89 c (83,23) vr[52][4] = 31
45.76/83.89 c (83,23) vr[52][5] = 18
45.76/83.89 c (83,23) vr[53][0] = 53
45.76/83.89 c (83,23) vr[53][1] = 34
45.76/83.89 c (83,23) vr[53][2] = 22
45.76/83.89 c (83,23) vr[53][3] = 40
45.76/83.89 c (83,23) vr[53][4] = 13
45.76/83.89 c (83,23) vr[53][5] = 6
45.76/83.89 c (83,23) vr[54][0] = 54
45.76/83.89 c (83,23) vr[54][1] = 1
45.76/83.89 c (83,23) vr[54][2] = 40
45.76/83.89 c (83,23) vr[54][3] = 10
45.76/83.89 c (83,23) vr[54][4] = 21
45.76/83.89 c (83,23) vr[54][5] = 31
45.76/83.89 c (83,23) vr[55][0] = 55
45.76/83.89 c (83,23) vr[55][1] = 2
45.76/83.89 c (83,23) vr[55][2] = 42
45.76/83.89 c (83,23) vr[55][3] = 13
45.76/83.89 c (83,23) vr[55][4] = 23
45.76/83.89 c (83,23) vr[55][5] = 33
45.76/83.89 c (83,23) vr[56][0] = 56
45.76/83.89 c (83,23) vr[56][1] = 4
45.76/83.89 c (83,23) vr[56][2] = 43
45.76/83.89 c (83,23) vr[56][3] = 14
45.76/83.89 c (83,23) vr[56][4] = 24
45.76/83.89 c (83,23) vr[56][5] = 34
45.76/83.89 c (83,23) vr[57][0] = 57
45.76/83.89 c (83,23) vr[57][1] = 5
45.76/83.89 c (83,23) vr[57][2] = 45
45.76/83.89 c (83,23) vr[57][3] = 17
45.76/83.89 c (83,23) vr[57][4] = 26
45.76/83.89 c (83,23) vr[57][5] = 36
45.76/83.89 c (83,23) vr[58][0] = 58
45.76/83.89 c (83,23) vr[58][1] = 6
45.76/83.89 c (83,23) vr[58][2] = 47
45.76/83.89 c (83,23) vr[58][3] = 18
45.76/83.89 c (83,23) vr[58][4] = 27
45.76/83.89 c (83,23) vr[58][5] = 37
45.76/83.89 c (83,23) vr[59][0] = 59
45.76/83.89 c (83,23) vr[59][1] = 9
45.76/83.89 c (83,23) vr[59][2] = 48
45.76/83.89 c (83,23) vr[59][3] = 19
45.76/83.89 c (83,23) vr[59][4] = 28
45.76/83.89 c (83,23) vr[59][5] = 38
45.76/83.89 s SATISFIABLE
45.76/83.89 v <instantiation>
45.76/83.89 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.76/83.89 v <values>0 17 24 34 42 50 1 23 51 47 38 11 2 46 13 22 54 30 3 32 58 27 45 10 4 33 59 49 18 26 5 40 19 52 35 20 6 57 15 44 36 28 7 41 16 37 56 29 8 55 14 31 48 25 9 12 39 21 53 43 10 20 56 48 7 32 11 36 53 24 0 46 12 31 44 26 52 5 13 28 3 43 39 51 14 50 29 41 30 2 15 45 57 1 34 22 16 35 25 8 55 49 17 49 55 4 25 39 18 37 41 54 9 27 19 29 34 45 59 8 20 44 7 30 11 52 21 15 33 3 58 42 22 38 50 16 5 47 23 51 12 32 40 0 24 14 35 46 6 53 25 48 37 7 19 58 26 54 10 35 4 40 27 39 5 15 50 41 28 47 11 36 51 1 29 52 38 42 3 12 30 0 20 55 14 45 31 53 18 6 49 21 32 43 23 9 57 13 33 8 17 56 44 24 34 22 46 2 16 59 35 13 49 51 1 23 36 11 6 50 22 44 37 18 28 53 2 48 38 27 8 59 46 15 39 26 54 0 47 19 40 21 52 12 32 7 41 16 9 33 20 57 42 25 30 58 17 4 43 3 31 29 10 56 44 56 27 39 8 14 45 58 26 5 37 16 46 30 0 28 15 55 47 7 36 11 29 54 48 24 2 57 12 35 49 59 1 23 33 17 50 10 21 38 41 9 51 19 32 25 43 3 52 42 4 20 31 18 53 34 22 40 13 6 54 1 40 10 21 31 55 2 42 13 23 33 56 4 43 14 24 34 57 5 45 17 26 36 58 6 47 18 27 37 59 9 48 19 28 38 0 30 46 39 11 23 1 54 49 15 35 28 2 55 48 34 37 14 3 43 13 21 29 51 4 56 52 17 26 42 5 57 27 45 22 12 6 58 36 31 24 53 7 47 20 25 10 40 8 33 38 16 44 19 9 59 41 32 18 50 10 50 26 54 43 3 11 36 28 47 20 1 12 9 23 40 48 29 13 35 2 55 53 32 14 24 8 56 30 44 15 21 6 27 46 38 16 41 7 22 34 45 17 0 33 57 42 49 18 37 31 58 4 52 19 51 5 59 25 39 20 10 30 52 41 5 21 40 50 9 54 31 22 34 53 2 36 15 23 1 32 49 55 35 24 48 0 11 56 33 25 42 16 51 17 8 26 39 45 12 57 4 27 38 44 3 58 18 28 13 37 46 59 6 29 19 14 43 47 7 30 46 42 20 14 2 31 12 43 8 52 54 32 3 51 23 40 10 33 4 21 41 49 55 34 53 19 0 15 56 35 16 24 26 5 48 36 11 47 28 6 57 37 18 25 7 45 58 38 22 29 50 1 59 39 27 9 44 13 17 40 5 54 53 23 26 41 7 18 14 50 27 42 52 55 29 0 21 43 32 56 13 51 9 44 20 12 6 33 36 45 15 57 19 3 30 46 2 34 24 38 11 47 28 58 1 39 22 48 25 59 10 8 37 49 17 35 4 31 16 50 14 22 36 27 0 51 23 1 35 28 13 52 29 40 5 12 20 53 31 11 37 9 24 54 26 39 18 2 47 55 8 17 30 16 46 56 44 10 33 7 43 57 6 15 48 32 41 58 45 3 42 21 25 59 49 4 38 19 34 0 1 2 3 4 5 0 2 5 4 3 1 0 4 1 2 5 3 0 3 5 2 4 1 0 3 5 4 1 2 0 4 1 5 3 2 0 5 1 4 3 2 0 4 1 3 5 2 0 5 1 3 4 2 0 1 3 2 5 4 1 2 5 4 0 3 1 3 5 2 0 4 1 3 4 2 5 0 1 2 0 4 3 5 1 5 2 4 3 0 1 4 5 0 3 2 1 3 2 0 5 4 1 4 5 0 2 3 1 3 4 5 0 2 1 2 3 4 5 0 2 4 0 3 1 5 2 1 3 0 5 4 2 3 5 1 0 4 2 5 1 3 4 0 2 1 3 4 0 5 2 4 3 0 1 5 2 5 1 3 0 4 2 3 0 1 5 4 2 4 1 3 5 0 2 5 3 4 0 1 3 0 2 5 1 4 3 5 1 0 4 2 3 4 2 0 5 1 3 0 1 5 4 2 3 2 4 0 1 5 3 1 4 5 0 2 3 1 0 5 2 4 3 1 2 5 0 4 3 2 0 5 4 1 3 2 5 0 4 1 4 2 5 1 3 0 4 1 0 3 2 5 4 2 3 5 1 0 4 0 3 2 1 5 4 5 2 3 0 1 4 5 2 0 3 1 4 3 0 2 1 5 4 0 3 1 2 5 4 2 0 5 1 3 4 5 0 2 3 1 5 1 2 3 4 0 5 1 3 2 4 0 5 4 0 2 3 1 5 3 2 4 1 0 5 0 4 1 2 3 5 0 4 1 2 3 5 0 4 1 2 3 5 0 4 1 2 3 5 0 4 1 2 3 5 0 4 1 2 3 0 3 5 4 1 2 0 6 5 1 4 3 0 6 5 3 4 1 0 4 1 2 3 5 0 6 5 2 3 4 0 6 3 5 2 1 0 6 4 3 2 5 0 5 2 3 1 4 0 3 4 1 5 2 0 6 4 3 2 5 1 5 3 6 4 0 1 4 3 5 2 0 1 0 2 4 5 3 1 4 0 6 5 3 1 2 0 6 3 5 1 2 0 3 5 4 1 4 0 2 3 5 2 0 3 6 4 5 2 4 3 6 0 5 2 5 0 6 3 4 2 1 3 5 4 0 2 4 5 0 6 3 2 3 5 0 4 1 2 0 3 5 6 4 2 5 0 1 6 3 3 4 1 5 2 0 3 4 5 1 6 0 3 4 5 0 6 2 3 1 4 5 6 0 3 2 1 4 5 0 3 5 4 2 1 0 3 1 4 0 5 6 3 0 5 2 4 1 3 0 2 4 5 6 3 5 2 0 1 6 4 1 2 3 0 5 4 1 5 3 0 6 4 2 3 0 5 6 4 2 3 5 0 6 4 3 0 5 1 2 4 0 6 5 2 3 4 0 2 1 5 3 4 5 6 3 0 2 4 3 6 1 5 0 5 2 1 0 3 4 5 1 6 2 0 3 5 0 3 2 4 1 5 3 6 0 4 2 5 3 6 1 0 4 5 2 4 0 3 1 5 1 2 4 3 0 5 2 0 4 3 1 5 3 4 0 1 2 5 3 1 4 0 2 6 3 4 2 0 5 6 0 2 3 1 5 6 5 1 3 0 4 6 0 1 5 3 4 6 5 0 4 2 3 6 5 0 4 2 3</values>
45.76/83.89 v </instantiation>
45.76/83.89 c (83,23) Show results End
45.76/83.89 c (83,23) Heap : 2665 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB)
45.76/83.89 c (83,23) 0,0,12,13,15,15,23,83,83,STOP-AFTER(ALL)
45.76/83.89 c END-Prog: Fri Jul 27 04:12:40 CEST 2018