0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-16184-serial-file.bin HOME/instance-4405254-1569335979.xml
0.62/0.56
0.62/0.56 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.62/0.56
0.62/0.58 c BEGIN-Prog: Tue Sep 24 16:38:59 CEST 2019
0.62/0.58 c PID: 16187
0.62/0.58 c IP: 172.20.3.150
0.62/0.58 c HOST: node150.alineos.net
0.62/0.59 c (0,0) Parsing Begin
3.21/1.43 c (0,0) Parsing End
3.21/1.44 c (0,0) CSP: 1461 int (0 aux), 0 bool (0 aux), 1218 ctr, max domain size 244
3.21/1.44 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.21/1.44 c (0,0) Constraint Name Generate Begin
3.21/1.46 c (0,0) Ctr:HOME/instance-4405254-1569335979.xml,AllDifferent:Cardinality:Eq:Minimum:Num:Var:WeightedSum
3.21/1.46 c (0,0) Constraint Name Generate End
3.21/1.46 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
3.21/1.46 c (0,0) CSP to CSPinCNF Begin
8.09/3.38 c (2,2) translated 122 (10%) constraints
8.54/3.46 c (2,2) translated 244 (20%) constraints
8.54/3.47 c (2,2) translated 366 (30%) constraints
8.54/3.48 c (2,2) translated 488 (40%) constraints
8.54/3.49 c (2,2) translated 609 (50%) constraints
8.54/3.50 c (2,2) translated 731 (60%) constraints
8.96/3.51 c (2,2) translated 853 (70%) constraints
8.96/3.51 c (2,2) translated 975 (80%) constraints
8.96/3.52 c (2,2) translated 1097 (90%) constraints
10.16/3.85 c (3,3) translated 1218 (100%) constraints
10.16/3.87 c (3,3) ===========================================
10.16/3.87 c (3,3) Order
10.16/3.87 c (3,3) ===========================================
11.02/4.06 c (3,3) translated 3257 (10%) constraints
11.31/4.19 c (3,3) translated 6514 (20%) constraints
11.85/4.31 c (3,3) translated 9771 (30%) constraints
11.96/4.41 c (3,3) translated 13028 (40%) constraints
12.06/4.51 c (3,3) translated 16285 (50%) constraints
12.16/4.62 c (4,4) translated 19542 (60%) constraints
12.26/4.72 c (4,4) translated 22799 (70%) constraints
12.36/4.82 c (4,4) translated 26056 (80%) constraints
12.46/4.93 c (4,4) translated 29313 (90%) constraints
16.67/7.88 c (7,7) translated 32569 (100%) constraints
16.67/7.88 c (7,7) CSP to CSPinCNF End
17.08/7.91 c (7,7) CSP: 1647 int (186 aux), 60507 bool (60507 aux), 153714 ctr, max domain size 264
17.08/7.91 c (7,7) Heap : 2590 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
17.08/7.91 c (7,7) CSPinCNF Propagation Begin
20.60/10.70 c (10,10) 0 values, 486 unsatisfiable literals, and 972 valid clauses are removed
20.60/10.70 c (10,10) CSPinCNF Propagation End
20.60/10.71 c (10,10) CSP: 1647 int (186 aux), 60507 bool (60507 aux), 152742 ctr, max domain size 264
20.60/10.71 c (10,10) Heap : 4843 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
20.60/10.72 c (10,10) Simplify CSPinCNF Begin
22.33/11.95 c (11,11) Simplify CSPinCNF End
22.33/11.98 c (11,11) CSP: 1647 int (186 aux), 119556 bool (119556 aux), 211791 ctr, max domain size 264
22.33/11.98 c (11,11) Heap : 5406 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
22.33/11.98 c (11,11) Calculate Precise Domain Begin
22.33/11.99 c (11,11) 0 values are removed by re-calculation
22.33/11.99 c (11,11) Calculate Precise Domain End
22.66/12.03 c (11,11) CSP: 1647 int (186 aux), 119556 bool (119556 aux), 211791 ctr, max domain size 264
22.66/12.03 c (11,11) Heap : 5406 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
22.66/12.03 c (11,11) CSPinCNF to SatSolver Begin
43.39/26.88 c (26,25) 21180 (10 %) CSP clauses are encoded (0 SAT variables, 3505600 SAT clauses)
58.35/40.67 c (40,39) 42359 (20 %) CSP clauses are encoded (0 SAT variables, 6943577 SAT clauses)
76.33/54.94 c (54,52) 63538 (30 %) CSP clauses are encoded (0 SAT variables, 10381796 SAT clauses)
89.97/68.75 c (68,66) 84717 (40 %) CSP clauses are encoded (0 SAT variables, 13819773 SAT clauses)
92.45/71.15 c (70,68) 105896 (50 %) CSP clauses are encoded (0 SAT variables, 14404570 SAT clauses)
92.64/71.35 c (70,68) 127075 (60 %) CSP clauses are encoded (0 SAT variables, 14425749 SAT clauses)
92.90/71.60 c (71,69) 148254 (70 %) CSP clauses are encoded (0 SAT variables, 14446928 SAT clauses)
93.10/71.80 c (71,69) 169433 (80 %) CSP clauses are encoded (0 SAT variables, 14468107 SAT clauses)
93.31/72.01 c (71,69) 190612 (90 %) CSP clauses are encoded (0 SAT variables, 14489286 SAT clauses)
96.05/73.61 c (73,71) 211791 (100 %) CSP clauses are encoded (0 SAT variables, 15054006 SAT clauses)
96.05/73.61 c (73,71) CSPinCNF to SatSolver End
96.05/73.61 c (73,71) Heap : 3125 MiB used (max 21913 MiB), NonHeap : 33 MiB used (max 0 MiB)
96.05/73.61 c (73,71) 188826 bool, 15054248 clause
96.05/73.61 c (73,71) Export Begin
96.22/73.78 c (73,71) Export to HOME/scop-16184-serial-file.bin
96.22/73.78 c (73,71) Export End
96.22/73.78 c (73,71) Export File Size: 0.24 MB
96.22/73.78 c (73,71) 0,0,7,10,11,11,73,STOP-AFTER(DIMACS)
96.22/73.78 c END-Prog: Tue Sep 24 16:40:12 CEST 2019
0.00/73.84 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16184-serial-file.bin
97.14/74.30 c (0,0) Read Serial File Begin
97.14/74.30 c (0,0) HOME/scop-16184-serial-file.bin
97.45/74.58 c (0,0) Read Serial File End
97.45/74.60
97.45/74.60 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
97.45/74.60 (Solving Process)
97.45/74.60
97.80/74.62 c BEGIN-Prog: Tue Sep 24 16:40:13 CEST 2019
97.80/74.62 c PID: 16220
97.80/74.62 c IP: 172.20.3.150
97.80/74.62 c HOST: node150.alineos.net
97.80/74.62 c (0,0) SatSolver.solve Begin
97.80/74.62 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405254-1569335979.xml-scop-16187.cnf
97.80/74.65 c (0,0) c
97.80/74.65 c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team)
97.80/74.65 c (0,0) c
97.80/74.65 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
97.80/74.65 c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
97.80/74.65 c (0,0) c ========================================[ Problem Statistics ]===========================================
97.80/74.65 c (0,0) c | |
102.88/79.60 c (5,0) c | Number of variables: 188826 |
102.88/79.60 c (5,0) c | Number of clauses: 15053867 |
102.88/79.60 c (5,0) c | Parse time: 4.50 s |
102.88/79.60 c (5,0) c | |
103.79/80.43 c (6,0) c | Too many clauses... No preprocessing |
103.79/80.43 c (6,0) c | Simplification time: 0.74 s |
103.79/80.43 c (6,0) c | |
103.79/80.43 c (6,0) c | One Solver is taking 1146.63Mb... Let's take 6 solvers for this run (max 40% of the maxmemory). |
103.79/80.43 c (6,0) c | Generating clones |
105.58/82.27 c (8,0) c | all clones generated. Memory = 5453.29Mb. |
105.58/82.27 c (8,0) c ========================================================================================================|
105.58/82.27 c (8,0) c
105.58/82.27 c (8,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
105.58/82.27 c (8,0) c
105.58/82.27 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|
105.58/82.27 c (8,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 |
105.58/82.27 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|
105.58/82.27 c (8,0) c | randomizeFirstDescent | False | True | True | True | True | True |
105.58/82.27 c (8,0) c | adaptStrategeis | True | False | True | False | True | False |
105.58/82.27 c (8,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True |
105.58/82.27 c (8,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 |
105.58/82.27 c (8,0) c | chanseokStrategy | False | False | False | False | False | False |
105.58/82.27 c (8,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 |
105.58/82.27 c (8,0) c | glureduce | True | True | True | True | True | True |
105.58/82.27 c (8,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 |
105.58/82.27 c (8,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 |
105.58/82.27 c (8,0) c | luby_restart | False | False | False | False | False | False |
105.58/82.27 c (8,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 |
105.58/82.27 c (8,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 |
105.58/82.27 c (8,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 |
105.58/82.27 c (8,0) c | randomize_on_restarts | False | False | False | False | False | False |
105.58/82.27 c (8,0) c | remove_satisfied | True | True | True | True | True | True |
105.58/82.27 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|
113.83/83.79 c (9,0) c
113.83/83.79 c (9,0) c real time : 9.142 s
113.83/83.79 c (9,0) c cpu time : 13.972 s
113.83/83.79 c (9,0) c
113.83/83.79 c (9,0) c
113.83/83.79 c (9,0) c
113.83/83.79 c (9,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
113.83/83.79 c (9,0) c
113.83/83.79 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
113.83/83.79 c (9,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 |
113.83/83.79 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
113.83/83.79 c (9,0) c | Conflicts | 218 | 3 | 57 | 74 | 10 | 20 | 54 |
113.83/83.79 c (9,0) c | Decisions | 3812 | 1259 | 440 | 668 | 473 | 216 | 756 |
113.83/83.79 c (9,0) c | Propagations | 1948791 | 204594 | 374601 | 374501 | 244616 | 277862 | 472617 |
113.83/83.79 c (9,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
113.83/83.79 c (9,0) c | SimpDBs | 6 | 1 | 1 | 1 | 1 | 1 | 1 |
113.83/83.79 c (9,0) c | Restarts | 6 | 1 | 1 | 1 | 1 | 1 | 1 |
113.83/83.79 c (9,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
113.83/83.79 c (9,0) c | PropBinClauses| 3482690 | 292015 | 608314 | 580161 | 363899 | 631136 | 1007165 |
113.83/83.79 c (9,0) c | PropPreBlocker| 181366114 | 17838190 | 29568530 | 30228608 | 18856080 | 26361093 | 58513613 |
113.83/83.79 c (9,0) c | PropNotBlocker| 67507817 | 10761301 | 11402668 | 12409802 | 10662716 | 9993358 | 12277972 |
113.83/83.79 c (9,0) c | LitFullScans | 254828069 | 29172809 | 42015178 | 43603320 | 30121031 | 37357821 | 72557910 |
113.83/83.79 c (9,0) c | LitScanFracts | 38413 | 6483 | 4682 | 5420 | 8302 | 2002 | 11524 |
113.83/83.79 c (9,0) c | DecisionLevel0| 6 | 1 | 1 | 1 | 1 | 1 | 1 |
113.83/83.79 c (9,0) c | Periods | 41 | 4 | 7 | 7 | 5 | 6 | 12 |
113.83/83.79 c (9,0) c | Margin | 120 | 20 | 20 | 20 | 20 | 20 | 20 |
113.83/83.79 c (9,0) c | Avg_Trail | | 14349 | 96689 | 99805 | 65293 | 78140 | 142414 |
113.83/83.79 c (9,0) c | Avg_DL | | 423 | 171 | 186 | 132 | 165 | 178 |
113.83/83.79 c (9,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 |
113.83/83.79 c (9,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 |
113.83/83.79 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
113.83/83.79 c (9,0) c | Exported | 1 | 0 | 1 | 0 | 0 | 0 | 0 |
113.83/83.79 c (9,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
113.83/83.79 c (9,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
113.83/83.79 c (9,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
113.83/83.79 c (9,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
113.83/83.79 c (9,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
113.83/83.79 c (9,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
113.83/83.79 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
113.83/83.79 c (9,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 |
113.83/83.79 c (9,0) c | Binaries | | 0 | 0 | 0 | 0 | 0 | 0 |
113.83/83.79 c (9,0) c | Glues | | 0 | 1 | 0 | 0 | 0 | 0 |
113.83/83.79 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
113.83/83.79 c (9,0) c | Orig_Seen | 0 % | 38 | 1197 | 1850 | 111 | 408 | 1264 |
113.83/83.79 c (9,0) c | Diff Orig seen| | X | 1159 | 1812 | 73 | 370 | 1226 |
113.83/83.79 c (9,0) c | Hamming | 25 % | X | 52874 | 47349 | 50861 | 47867 | 38992 |
113.83/83.79 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
113.83/83.79 c (9,0) c | RunningTime | | 1.4 100%| 1.5 100%| 1.4 100%| 1.5 100%| 1.5 100%| 1.5 100%|
113.83/83.79 c (9,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%|
113.83/83.79 c (9,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%|
113.83/83.79 c (9,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%|
113.83/83.79 c (9,0) c | SolvingTime | | 1.4 | 1.5 | 1.4 | 1.5 | 1.5 | 1.5 |
113.83/83.79 c (9,0) c | PropagationTim| | 1.4 100%| 1.5 99%| 1.4 99%| 1.5 100%| 1.4 99%| 1.4 99%|
113.83/83.79 c (9,0) c | AnalysisTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%|
113.83/83.79 c (9,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%|
113.83/83.79 c (9,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%|
113.83/83.79 c (9,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%|
113.83/83.79 c (9,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%|
113.83/83.79 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
113.83/83.79 c (9,0) c
113.83/83.79 c (9,0) c
113.83/83.79 c (9,0) c Threads : 6
113.83/83.79 c (9,0) c Winner : 0
113.83/83.79 c (9,0) c Conflicts_0 : 3
113.83/83.79 c (9,0) c Conflicts_1 : 57
113.83/83.79 c (9,0) c Conflicts_2 : 74
113.83/83.79 c (9,0) c Conflicts_3 : 10
113.83/83.79 c (9,0) c Conflicts_4 : 20
113.83/83.79 c (9,0) c Conflicts_5 : 54
113.83/83.79 c (9,0) c Conflicts_total : 218
113.83/83.79 c (9,0) c Conflicts_winner : 3
113.83/83.79 c (9,0) c Decisions_0 : 1259
113.83/83.79 c (9,0) c Decisions_1 : 440
113.83/83.79 c (9,0) c Decisions_2 : 668
113.83/83.79 c (9,0) c Decisions_3 : 473
113.83/83.79 c (9,0) c Decisions_4 : 216
113.83/83.79 c (9,0) c Decisions_5 : 756
113.83/83.79 c (9,0) c Decisions_total : 3812
113.83/83.79 c (9,0) c Decisions_winner : 1259
113.83/83.79 c (9,0) c Propagations_0 : 204594
113.83/83.79 c (9,0) c Propagations_1 : 374601
113.83/83.79 c (9,0) c Propagations_2 : 374501
113.83/83.79 c (9,0) c Propagations_3 : 244616
113.83/83.79 c (9,0) c Propagations_4 : 277862
113.83/83.79 c (9,0) c Propagations_5 : 472617
113.83/83.79 c (9,0) c Propagations_total : 1948791
113.83/83.79 c (9,0) c Propagations_winner : 204594
113.83/83.79 c (9,0) c ReduceDBs_0 : 0
113.83/83.79 c (9,0) c ReduceDBs_1 : 0
113.83/83.79 c (9,0) c ReduceDBs_2 : 0
113.83/83.79 c (9,0) c ReduceDBs_3 : 0
113.83/83.79 c (9,0) c ReduceDBs_4 : 0
113.83/83.79 c (9,0) c ReduceDBs_5 : 0
113.83/83.79 c (9,0) c ReduceDBs_total : 0
113.83/83.79 c (9,0) c ReduceDBs_winner : 0
113.83/83.79 c (9,0) c SimpDBs_0 : 1
113.83/83.79 c (9,0) c SimpDBs_1 : 1
113.83/83.79 c (9,0) c SimpDBs_2 : 1
113.83/83.79 c (9,0) c SimpDBs_3 : 1
113.83/83.79 c (9,0) c SimpDBs_4 : 1
113.83/83.79 c (9,0) c SimpDBs_5 : 1
113.83/83.79 c (9,0) c SimpDBs_total : 6
113.83/83.79 c (9,0) c SimpDBs_winner : 1
113.83/83.79 c (9,0) c Restarts_0 : 1
113.83/83.79 c (9,0) c Restarts_1 : 1
113.83/83.79 c (9,0) c Restarts_2 : 1
113.83/83.79 c (9,0) c Restarts_3 : 1
113.83/83.79 c (9,0) c Restarts_4 : 1
113.83/83.79 c (9,0) c Restarts_5 : 1
113.83/83.79 c (9,0) c Restarts_total : 6
113.83/83.79 c (9,0) c Restarts_winner : 1
113.83/83.79 c (9,0) c ForcedImports_0 : 0
113.83/83.79 c (9,0) c ForcedImports_1 : 0
113.83/83.79 c (9,0) c ForcedImports_2 : 0
113.83/83.79 c (9,0) c ForcedImports_3 : 0
113.83/83.79 c (9,0) c ForcedImports_4 : 0
113.83/83.79 c (9,0) c ForcedImports_5 : 0
113.83/83.79 c (9,0) c ForcedImports_total : 0
113.83/83.79 c (9,0) c ForcedImports_winner : 0
113.83/83.79 c (9,0) c PropsBinClauses_0 : 292015
113.83/83.79 c (9,0) c PropsBinClauses_1 : 608314
113.83/83.79 c (9,0) c PropsBinClauses_2 : 580161
113.83/83.79 c (9,0) c PropsBinClauses_3 : 363899
113.83/83.79 c (9,0) c PropsBinClauses_4 : 631136
113.83/83.79 c (9,0) c PropsBinClauses_5 : 1007165
113.83/83.79 c (9,0) c PropsBinClauses_total : 3482690
113.83/83.79 c (9,0) c PropsBinClauses_winner : 292015
113.83/83.79 c (9,0) c PropsPreBlocker_0 : 17838190
113.83/83.79 c (9,0) c PropsPreBlocker_1 : 29568530
113.83/83.79 c (9,0) c PropsPreBlocker_2 : 30228608
113.83/83.79 c (9,0) c PropsPreBlocker_3 : 18856080
113.83/83.79 c (9,0) c PropsPreBlocker_4 : 26361093
113.83/83.79 c (9,0) c PropsPreBlocker_5 : 58513613
113.83/83.79 c (9,0) c PropsPreBlocker_total : 181366114
113.83/83.79 c (9,0) c PropsPreBlocker_winner : 17838190
113.83/83.79 c (9,0) c PropsNotBlocker_0 : 10761301
113.83/83.79 c (9,0) c PropsNotBlocker_1 : 11402668
113.83/83.79 c (9,0) c PropsNotBlocker_2 : 12409802
113.83/83.79 c (9,0) c PropsNotBlocker_3 : 10662716
113.83/83.79 c (9,0) c PropsNotBlocker_4 : 9993358
113.83/83.79 c (9,0) c PropsNotBlocker_5 : 12277972
113.83/83.79 c (9,0) c PropsNotBlocker_total : 67507817
113.83/83.79 c (9,0) c PropsNotBlocker_winner : 10761301
113.83/83.79 c (9,0) c PropsLitFullScans_0 : 29172809
113.83/83.79 c (9,0) c PropsLitFullScans_1 : 42015178
113.83/83.79 c (9,0) c PropsLitFullScans_2 : 43603320
113.83/83.79 c (9,0) c PropsLitFullScans_3 : 30121031
113.83/83.79 c (9,0) c PropsLitFullScans_4 : 37357821
113.83/83.79 c (9,0) c PropsLitFullScans_5 : 72557910
113.83/83.79 c (9,0) c PropsLitFullScans_total : 254828069
113.83/83.79 c (9,0) c PropsLitFullScans_winner : 29172809
113.83/83.79 c (9,0) c LitScanFractions_0 : 6483
113.83/83.79 c (9,0) c LitScanFractions_1 : 4682
113.83/83.79 c (9,0) c LitScanFractions_2 : 5420
113.83/83.80 c (9,0) c LitScanFractions_3 : 8302
113.83/83.80 c (9,0) c LitScanFractions_4 : 2002
113.83/83.80 c (9,0) c LitScanFractions_5 : 11524
113.83/83.80 c (9,0) c LitScanFractions_total : 38413
113.83/83.80 c (9,0) c LitScanFractions_winner : 6483
113.83/83.80 c (9,0) c DecisionLevel0_0 : 1
113.83/83.80 c (9,0) c DecisionLevel0_1 : 1
113.83/83.80 c (9,0) c DecisionLevel0_2 : 1
113.83/83.80 c (9,0) c DecisionLevel0_3 : 1
113.83/83.80 c (9,0) c DecisionLevel0_4 : 1
113.83/83.80 c (9,0) c DecisionLevel0_5 : 1
113.83/83.80 c (9,0) c DecisionLevel0_total : 6
113.83/83.80 c (9,0) c DecisionLevel0_winner : 1
113.83/83.80 c (9,0) c Periods_0 : 4
113.83/83.80 c (9,0) c Periods_1 : 7
113.83/83.80 c (9,0) c Periods_2 : 7
113.83/83.80 c (9,0) c Periods_3 : 5
113.83/83.80 c (9,0) c Periods_4 : 6
113.83/83.80 c (9,0) c Periods_5 : 12
113.83/83.80 c (9,0) c Periods_total : 41
113.83/83.80 c (9,0) c Periods_winner : 4
113.83/83.80 c (9,0) c Margin_0 : 20
113.83/83.80 c (9,0) c Margin_1 : 20
113.83/83.80 c (9,0) c Margin_2 : 20
113.83/83.80 c (9,0) c Margin_3 : 20
113.83/83.80 c (9,0) c Margin_4 : 20
113.83/83.80 c (9,0) c Margin_5 : 20
113.83/83.80 c (9,0) c Margin_total : 120
113.83/83.80 c (9,0) c Margin_winner : 20
113.83/83.80 c (9,0) c Exported_0 : 0
113.83/83.80 c (9,0) c Exported_1 : 1
113.83/83.80 c (9,0) c Exported_2 : 0
113.83/83.80 c (9,0) c Exported_3 : 0
113.83/83.80 c (9,0) c Exported_4 : 0
113.83/83.80 c (9,0) c Exported_5 : 0
113.83/83.80 c (9,0) c Exported_total : 1
113.83/83.80 c (9,0) c Exported_winner : 0
113.83/83.80 c (9,0) c Imported_0 : 0
113.83/83.80 c (9,0) c Imported_1 : 0
113.83/83.80 c (9,0) c Imported_2 : 0
113.83/83.80 c (9,0) c Imported_3 : 0
113.83/83.80 c (9,0) c Imported_4 : 0
113.83/83.80 c (9,0) c Imported_5 : 0
113.83/83.80 c (9,0) c Imported_total : 0
113.83/83.80 c (9,0) c Imported_winner : 0
113.83/83.80 c (9,0) c Good_0 : 0
113.83/83.80 c (9,0) c Good_1 : 0
113.83/83.80 c (9,0) c Good_2 : 0
113.83/83.80 c (9,0) c Good_3 : 0
113.83/83.80 c (9,0) c Good_4 : 0
113.83/83.80 c (9,0) c Good_5 : 0
113.83/83.80 c (9,0) c Good_total : 0
113.83/83.80 c (9,0) c Good_winner : 0
113.83/83.80 c (9,0) c Purge_0 : 0
113.83/83.80 c (9,0) c Purge_1 : 0
113.83/83.80 c (9,0) c Purge_2 : 0
113.83/83.80 c (9,0) c Purge_3 : 0
113.83/83.80 c (9,0) c Purge_4 : 0
113.83/83.80 c (9,0) c Purge_5 : 0
113.83/83.80 c (9,0) c Purge_total : 0
113.83/83.80 c (9,0) c Purge_winner : 0
113.83/83.80 c (9,0) c Promoted_0 : 0
113.83/83.80 c (9,0) c Promoted_1 : 0
113.83/83.80 c (9,0) c Promoted_2 : 0
113.83/83.80 c (9,0) c Promoted_3 : 0
113.83/83.80 c (9,0) c Promoted_4 : 0
113.83/83.80 c (9,0) c Promoted_5 : 0
113.83/83.80 c (9,0) c Promoted_total : 0
113.83/83.80 c (9,0) c Promoted_winner : 0
113.83/83.80 c (9,0) c Remove_Imp_0 : 0
113.83/83.80 c (9,0) c Remove_Imp_1 : 0
113.83/83.80 c (9,0) c Remove_Imp_2 : 0
113.83/83.80 c (9,0) c Remove_Imp_3 : 0
113.83/83.80 c (9,0) c Remove_Imp_4 : 0
113.83/83.80 c (9,0) c Remove_Imp_5 : 0
113.83/83.80 c (9,0) c Remove_Imp_total : 0
113.83/83.80 c (9,0) c Remove_Imp_winner : 0
113.83/83.80 c (9,0) c Blocked_Reuse_0 : 0
113.83/83.80 c (9,0) c Blocked_Reuse_1 : 0
113.83/83.80 c (9,0) c Blocked_Reuse_2 : 0
113.83/83.80 c (9,0) c Blocked_Reuse_3 : 0
113.83/83.80 c (9,0) c Blocked_Reuse_4 : 0
113.83/83.80 c (9,0) c Blocked_Reuse_5 : 0
113.83/83.80 c (9,0) c Blocked_Reuse_total : 0
113.83/83.80 c (9,0) c Blocked_Reuse_winner : 0
113.83/83.80 c (9,0) c Unaries_0 : 0
113.83/83.80 c (9,0) c Unaries_1 : 0
113.83/83.80 c (9,0) c Unaries_2 : 0
113.83/83.80 c (9,0) c Unaries_3 : 0
113.83/83.80 c (9,0) c Unaries_4 : 0
113.83/83.80 c (9,0) c Unaries_5 : 0
113.83/83.80 c (9,0) c Unaries_total : 0
113.83/83.80 c (9,0) c Unaries_winner : 0
113.83/83.80 c (9,0) c Binaries_0 : 0
113.83/83.80 c (9,0) c Binaries_1 : 0
113.83/83.80 c (9,0) c Binaries_2 : 0
113.83/83.80 c (9,0) c Binaries_3 : 0
113.83/83.80 c (9,0) c Binaries_4 : 0
113.83/83.80 c (9,0) c Binaries_5 : 0
113.83/83.80 c (9,0) c Binaries_total : 0
113.83/83.80 c (9,0) c Binaries_winner : 0
113.83/83.80 c (9,0) c Glues_0 : 0
113.83/83.80 c (9,0) c Glues_1 : 1
113.83/83.80 c (9,0) c Glues_2 : 0
113.83/83.80 c (9,0) c Glues_3 : 0
113.83/83.80 c (9,0) c Glues_4 : 0
113.83/83.80 c (9,0) c Glues_5 : 0
113.83/83.80 c (9,0) c Glues_total : 1
114.07/83.80 c (9,0) c Glues_winner : 0
114.07/83.80 c (9,0) c RunningTime_0 : 1.396852
114.07/83.80 c (9,0) c RunningTime_1 : 1.500897
114.07/83.80 c (9,0) c RunningTime_2 : 1.416179
114.07/83.80 c (9,0) c RunningTime_3 : 1.487824
114.07/83.80 c (9,0) c RunningTime_4 : 1.455642
114.07/83.80 c (9,0) c RunningTime_5 : 1.450672
114.07/83.80 c (9,0) c RunningTime_total : 8.708067
114.07/83.80 c (9,0) c RunningTime_winner : 1.396852
114.07/83.80 c (9,0) c WaitingTime_0 : 0.000000
114.07/83.80 c (9,0) c WaitingTime_1 : 0.000000
114.07/83.80 c (9,0) c WaitingTime_2 : 0.000000
114.07/83.80 c (9,0) c WaitingTime_3 : 0.000000
114.07/83.80 c (9,0) c WaitingTime_4 : 0.000000
114.07/83.80 c (9,0) c WaitingTime_5 : 0.000000
114.07/83.80 c (9,0) c WaitingTime_total : 0.000000
114.07/83.80 c (9,0) c WaitingTime_winner : 0.000000
114.07/83.80 c (9,0) c ExchangingTime_0 : 0.000001
114.07/83.80 c (9,0) c ExchangingTime_1 : 0.000019
114.07/83.80 c (9,0) c ExchangingTime_2 : 0.000012
114.07/83.80 c (9,0) c ExchangingTime_3 : 0.000008
114.07/83.80 c (9,0) c ExchangingTime_4 : 0.000008
114.07/83.80 c (9,0) c ExchangingTime_5 : 0.000036
114.07/83.80 c (9,0) c ExchangingTime_total : 0.000084
114.07/83.80 c (9,0) c ExchangingTime_winner : 0.000001
114.07/83.80 c (9,0) c PeriodProcTime_0 : 0.000046
114.07/83.80 c (9,0) c PeriodProcTime_1 : 0.000066
114.07/83.80 c (9,0) c PeriodProcTime_2 : 0.000062
114.07/83.80 c (9,0) c PeriodProcTime_3 : 0.000050
114.07/83.80 c (9,0) c PeriodProcTime_4 : 0.000062
114.07/83.80 c (9,0) c PeriodProcTime_5 : 0.000154
114.07/83.80 c (9,0) c PeriodProcTime_total : 0.000440
114.07/83.80 c (9,0) c PeriodProcTime_winner : 0.000046
114.07/83.80 c (9,0) c SolvingTime_0 : 1.396899
114.07/83.80 c (9,0) c SolvingTime_1 : 1.500982
114.07/83.80 c (9,0) c SolvingTime_2 : 1.416253
114.07/83.80 c (9,0) c SolvingTime_3 : 1.487882
114.07/83.80 c (9,0) c SolvingTime_4 : 1.455712
114.07/83.80 c (9,0) c SolvingTime_5 : 1.450862
114.07/83.80 c (9,0) c SolvingTime_total : 8.708591
114.07/83.80 c (9,0) c SolvingTime_winner : 1.396899
114.07/83.80 c (9,0) c PropagationTime_0 : 1.393815
114.07/83.80 c (9,0) c PropagationTime_1 : 1.486048
114.07/83.80 c (9,0) c PropagationTime_2 : 1.404943
114.07/83.80 c (9,0) c PropagationTime_3 : 1.484011
114.07/83.80 c (9,0) c PropagationTime_4 : 1.448246
114.07/83.80 c (9,0) c PropagationTime_5 : 1.437300
114.07/83.80 c (9,0) c PropagationTime_total : 8.654361
114.07/83.80 c (9,0) c PropagationTime_winner : 1.393815
114.07/83.80 c (9,0) c AnalysisTime_0 : 0.000057
114.07/83.80 c (9,0) c AnalysisTime_1 : 0.007391
114.07/83.80 c (9,0) c AnalysisTime_2 : 0.003602
114.07/83.80 c (9,0) c AnalysisTime_3 : 0.000446
114.07/83.80 c (9,0) c AnalysisTime_4 : 0.002360
114.07/83.80 c (9,0) c AnalysisTime_5 : 0.006379
114.07/83.80 c (9,0) c AnalysisTime_total : 0.020234
114.07/83.80 c (9,0) c AnalysisTime_winner : 0.000057
114.07/83.80 c (9,0) c ReductionTime_0 : 0.000000
114.07/83.80 c (9,0) c ReductionTime_1 : 0.000000
114.07/83.80 c (9,0) c ReductionTime_2 : 0.000000
114.07/83.80 c (9,0) c ReductionTime_3 : 0.000000
114.07/83.80 c (9,0) c ReductionTime_4 : 0.000000
114.07/83.80 c (9,0) c ReductionTime_5 : 0.000000
114.07/83.80 c (9,0) c ReductionTime_total : 0.000000
114.07/83.80 c (9,0) c ReductionTime_winner : 0.000000
114.07/83.80 c (9,0) c SimplifyTime_0 : 0.000000
114.07/83.80 c (9,0) c SimplifyTime_1 : 0.000000
114.07/83.80 c (9,0) c SimplifyTime_2 : 0.000001
114.07/83.80 c (9,0) c SimplifyTime_3 : 0.000000
114.07/83.80 c (9,0) c SimplifyTime_4 : 0.000000
114.07/83.80 c (9,0) c SimplifyTime_5 : 0.000000
114.07/83.80 c (9,0) c SimplifyTime_total : 0.000001
114.07/83.80 c (9,0) c SimplifyTime_winner : 0.000000
114.07/83.80 c (9,0) c UsedRateTime_0 : 0.000000
114.07/83.80 c (9,0) c UsedRateTime_1 : 0.000000
114.07/83.80 c (9,0) c UsedRateTime_2 : 0.000000
114.07/83.80 c (9,0) c UsedRateTime_3 : 0.000000
114.07/83.80 c (9,0) c UsedRateTime_4 : 0.000000
114.07/83.80 c (9,0) c UsedRateTime_5 : 0.000000
114.07/83.80 c (9,0) c UsedRateTime_total : 0.000000
114.07/83.80 c (9,0) c UsedRateTime_winner : 0.000000
114.07/83.80 c (9,0) c OverlapRateTime_0 : 0.000000
114.07/83.80 c (9,0) c OverlapRateTime_1 : 0.000000
114.07/83.80 c (9,0) c OverlapRateTime_2 : 0.000000
114.07/83.80 c (9,0) c OverlapRateTime_3 : 0.000000
114.07/83.80 c (9,0) c OverlapRateTime_4 : 0.000000
114.07/83.80 c (9,0) c OverlapRateTime_5 : 0.000000
114.07/83.80 c (9,0) c OverlapRateTime_total : 0.000000
114.07/83.80 c (9,0) c OverlapRateTime_winner : 0.000000
114.07/83.80 c (9,0) c
114.07/83.80 c (9,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
114.07/83.80 c (9,0) c
114.07/83.80 c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|
114.07/83.80 c (9,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 |
114.07/83.80 c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|
114.07/83.80 c (9,0) c | randomizeFirstDescent | False | True | True | True | True | True |
114.07/83.80 c (9,0) c | adaptStrategeis | True | False | True | False | True | False |
114.07/83.80 c (9,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True |
114.07/83.80 c (9,0) c | Initial random_seed | 657917728 | 344600769 | 220849657 | 566324993 | 562233235 | 1287894484 |
114.07/83.80 c (9,0) c | chanseokStrategy | False | False | False | False | False | False |
114.07/83.80 c (9,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 |
114.07/83.80 c (9,0) c | glureduce | True | True | True | True | True | True |
114.07/83.80 c (9,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 |
114.07/83.80 c (9,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 |
114.07/83.80 c (9,0) c | luby_restart | False | False | False | False | False | False |
114.07/83.80 c (9,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 |
114.07/83.80 c (9,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 |
114.07/83.80 c (9,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 |
114.07/83.80 c (9,0) c | randomize_on_restarts | False | False | False | False | False | False |
114.07/83.80 c (9,0) c | remove_satisfied | True | True | True | True | True | True |
114.07/83.80 c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|
114.07/83.80 c (9,0)
114.07/83.80 c (9,0) s SATISFIABLE
98.43/84.01 c (9,0) SatSolver.solve End
98.43/84.01 c (9,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
98.43/84.01 c (9,0) Show results Begin
115.10/84.24 c (10,0) bi[0][0] = 0
115.10/84.24 c (10,0) bi[0][1] = 0
115.10/84.24 c (10,0) bi[0][2] = 0
115.10/84.24 c (10,0) bi[0][3] = 0
115.10/84.24 c (10,0) bi[0][4] = 0
115.10/84.24 c (10,0) bi[1][0] = 0
115.10/84.24 c (10,0) bi[1][1] = 0
115.10/84.24 c (10,0) bi[1][2] = 0
115.10/84.24 c (10,0) bi[1][3] = 0
115.10/84.24 c (10,0) bi[1][4] = 2
115.10/84.24 c (10,0) bi[2][0] = 0
115.10/84.24 c (10,0) bi[2][1] = 0
115.10/84.24 c (10,0) bi[2][2] = 0
115.10/84.24 c (10,0) bi[2][3] = 2
115.10/84.24 c (10,0) bi[2][4] = 2
115.10/84.24 c (10,0) bi[3][0] = 0
115.10/84.24 c (10,0) bi[3][1] = 0
115.10/84.24 c (10,0) bi[3][2] = 2
115.10/84.24 c (10,0) bi[3][3] = 2
115.10/84.24 c (10,0) bi[3][4] = 2
115.10/84.24 c (10,0) bi[4][0] = 0
115.10/84.24 c (10,0) bi[4][1] = 2
115.10/84.24 c (10,0) bi[4][2] = 2
115.10/84.24 c (10,0) bi[4][3] = 2
115.10/84.24 c (10,0) bi[4][4] = 2
115.10/84.24 c (10,0) bi[5][0] = 2
115.10/84.24 c (10,0) bi[5][1] = 2
115.10/84.24 c (10,0) bi[5][2] = 2
115.10/84.25 c (10,0) bi[5][3] = 2
115.10/84.25 c (10,0) bi[5][4] = 2
115.10/84.25 c (10,0) bi[6][0] = 2
115.10/84.25 c (10,0) bi[6][1] = 2
115.10/84.25 c (10,0) bi[6][2] = 2
115.10/84.25 c (10,0) bi[6][3] = 2
115.10/84.25 c (10,0) bi[6][4] = 1
115.10/84.25 c (10,0) bi[7][0] = 2
115.10/84.25 c (10,0) bi[7][1] = 2
115.10/84.25 c (10,0) bi[7][2] = 2
115.10/84.25 c (10,0) bi[7][3] = 1
115.10/84.25 c (10,0) bi[7][4] = 2
115.10/84.25 c (10,0) bi[8][0] = 2
115.10/84.25 c (10,0) bi[8][1] = 2
115.10/84.25 c (10,0) bi[8][2] = 1
115.10/84.25 c (10,0) bi[8][3] = 2
115.10/84.25 c (10,0) bi[8][4] = 2
115.10/84.25 c (10,0) bi[9][0] = 2
115.10/84.25 c (10,0) bi[9][1] = 1
115.10/84.25 c (10,0) bi[9][2] = 2
115.10/84.25 c (10,0) bi[9][3] = 2
115.10/84.25 c (10,0) bi[9][4] = 1
115.10/84.25 c (10,0) bi[10][0] = 1
115.10/84.25 c (10,0) bi[10][1] = 2
115.10/84.25 c (10,0) bi[10][2] = 2
115.10/84.25 c (10,0) bi[10][3] = 1
115.10/84.25 c (10,0) bi[10][4] = 2
115.10/84.25 c (10,0) bi[11][0] = 2
115.10/84.25 c (10,0) bi[11][1] = 2
115.10/84.25 c (10,0) bi[11][2] = 1
115.10/84.25 c (10,0) bi[11][3] = 2
115.10/84.25 c (10,0) bi[11][4] = 1
115.10/84.25 c (10,0) bi[12][0] = 2
115.10/84.25 c (10,0) bi[12][1] = 1
115.10/84.25 c (10,0) bi[12][2] = 2
115.10/84.25 c (10,0) bi[12][3] = 1
115.10/84.25 c (10,0) bi[12][4] = 2
115.10/84.25 c (10,0) bi[13][0] = 1
115.10/84.25 c (10,0) bi[13][1] = 2
115.10/84.25 c (10,0) bi[13][2] = 1
115.10/84.25 c (10,0) bi[13][3] = 2
115.10/84.25 c (10,0) bi[13][4] = 2
115.10/84.25 c (10,0) bi[14][0] = 2
115.10/84.25 c (10,0) bi[14][1] = 1
115.10/84.25 c (10,0) bi[14][2] = 2
115.10/84.25 c (10,0) bi[14][3] = 2
115.10/84.25 c (10,0) bi[14][4] = 2
115.10/84.25 c (10,0) bi[15][0] = 1
115.10/84.25 c (10,0) bi[15][1] = 2
115.10/84.25 c (10,0) bi[15][2] = 2
115.10/84.25 c (10,0) bi[15][3] = 2
115.10/84.25 c (10,0) bi[15][4] = 1
115.10/84.25 c (10,0) bi[16][0] = 2
115.10/84.25 c (10,0) bi[16][1] = 2
115.10/84.25 c (10,0) bi[16][2] = 2
115.10/84.25 c (10,0) bi[16][3] = 1
115.10/84.25 c (10,0) bi[16][4] = 1
115.10/84.25 c (10,0) bi[17][0] = 2
115.10/84.25 c (10,0) bi[17][1] = 2
115.10/84.25 c (10,0) bi[17][2] = 1
115.10/84.25 c (10,0) bi[17][3] = 1
115.10/84.25 c (10,0) bi[17][4] = 2
115.10/84.25 c (10,0) bi[18][0] = 2
115.10/84.25 c (10,0) bi[18][1] = 1
115.10/84.25 c (10,0) bi[18][2] = 1
115.10/84.25 c (10,0) bi[18][3] = 2
115.10/84.25 c (10,0) bi[18][4] = 1
115.10/84.25 c (10,0) bi[19][0] = 1
115.10/84.25 c (10,0) bi[19][1] = 1
115.10/84.25 c (10,0) bi[19][2] = 2
115.10/84.25 c (10,0) bi[19][3] = 1
115.10/84.25 c (10,0) bi[19][4] = 2
115.10/84.25 c (10,0) bi[20][0] = 1
115.10/84.25 c (10,0) bi[20][1] = 2
115.10/84.25 c (10,0) bi[20][2] = 1
115.10/84.25 c (10,0) bi[20][3] = 2
115.10/84.25 c (10,0) bi[20][4] = 1
115.10/84.25 c (10,0) bi[21][0] = 2
115.10/84.25 c (10,0) bi[21][1] = 1
115.10/84.25 c (10,0) bi[21][2] = 2
115.10/84.25 c (10,0) bi[21][3] = 1
115.10/84.25 c (10,0) bi[21][4] = 1
115.10/84.25 c (10,0) bi[22][0] = 1
115.10/84.25 c (10,0) bi[22][1] = 2
115.10/84.25 c (10,0) bi[22][2] = 1
115.10/84.25 c (10,0) bi[22][3] = 1
115.10/84.25 c (10,0) bi[22][4] = 2
115.10/84.25 c (10,0) bi[23][0] = 2
115.10/84.25 c (10,0) bi[23][1] = 1
115.10/84.25 c (10,0) bi[23][2] = 1
115.10/84.25 c (10,0) bi[23][3] = 2
115.10/84.25 c (10,0) bi[23][4] = 2
115.10/84.25 c (10,0) bi[24][0] = 1
115.10/84.25 c (10,0) bi[24][1] = 1
115.10/84.25 c (10,0) bi[24][2] = 2
115.10/84.25 c (10,0) bi[24][3] = 2
115.10/84.25 c (10,0) bi[24][4] = 1
115.10/84.25 c (10,0) bi[25][0] = 1
115.10/84.25 c (10,0) bi[25][1] = 2
115.10/84.25 c (10,0) bi[25][2] = 2
115.10/84.25 c (10,0) bi[25][3] = 1
115.10/84.25 c (10,0) bi[25][4] = 1
115.10/84.25 c (10,0) bi[26][0] = 2
115.10/84.25 c (10,0) bi[26][1] = 2
115.10/84.25 c (10,0) bi[26][2] = 1
115.10/84.25 c (10,0) bi[26][3] = 1
115.10/84.25 c (10,0) bi[26][4] = 1
115.10/84.25 c (10,0) bi[27][0] = 2
115.10/84.25 c (10,0) bi[27][1] = 1
115.10/84.25 c (10,0) bi[27][2] = 1
115.10/84.25 c (10,0) bi[27][3] = 1
115.10/84.25 c (10,0) bi[27][4] = 2
115.10/84.25 c (10,0) bi[28][0] = 1
115.10/84.25 c (10,0) bi[28][1] = 1
115.10/84.25 c (10,0) bi[28][2] = 1
115.10/84.25 c (10,0) bi[28][3] = 2
115.10/84.25 c (10,0) bi[28][4] = 1
115.10/84.25 c (10,0) bi[29][0] = 1
115.10/84.25 c (10,0) bi[29][1] = 1
115.10/84.25 c (10,0) bi[29][2] = 2
115.10/84.25 c (10,0) bi[29][3] = 1
115.10/84.25 c (10,0) bi[29][4] = 1
115.10/84.25 c (10,0) bi[30][0] = 1
115.10/84.25 c (10,0) bi[30][1] = 2
115.10/84.25 c (10,0) bi[30][2] = 1
115.10/84.25 c (10,0) bi[30][3] = 1
115.10/84.25 c (10,0) bi[30][4] = 1
115.10/84.25 c (10,0) bi[31][0] = 2
115.10/84.25 c (10,0) bi[31][1] = 1
115.10/84.25 c (10,0) bi[31][2] = 1
115.10/84.25 c (10,0) bi[31][3] = 1
115.10/84.25 c (10,0) bi[31][4] = 1
115.10/84.25 c (10,0) bi[32][0] = 1
115.10/84.25 c (10,0) bi[32][1] = 1
115.10/84.25 c (10,0) bi[32][2] = 1
115.10/84.25 c (10,0) bi[32][3] = 1
115.10/84.25 c (10,0) bi[32][4] = 1
115.10/84.25 c (10,0) bi[33][0] = 1
115.10/84.25 c (10,0) bi[33][1] = 1
115.10/84.25 c (10,0) bi[33][2] = 1
115.10/84.25 c (10,0) bi[33][3] = 1
115.10/84.25 c (10,0) bi[33][4] = 2
115.10/84.25 c (10,0) bi[34][0] = 1
115.10/84.25 c (10,0) bi[34][1] = 1
115.10/84.25 c (10,0) bi[34][2] = 1
115.10/84.25 c (10,0) bi[34][3] = 2
115.10/84.25 c (10,0) bi[34][4] = 2
115.10/84.25 c (10,0) bi[35][0] = 1
115.10/84.25 c (10,0) bi[35][1] = 1
115.10/84.25 c (10,0) bi[35][2] = 2
115.10/84.25 c (10,0) bi[35][3] = 2
115.10/84.25 c (10,0) bi[35][4] = 2
115.10/84.25 c (10,0) bi[36][0] = 1
115.10/84.25 c (10,0) bi[36][1] = 2
115.10/84.25 c (10,0) bi[36][2] = 2
115.10/84.25 c (10,0) bi[36][3] = 2
115.10/84.25 c (10,0) bi[36][4] = 2
115.10/84.25 c (10,0) bi[37][0] = 2
115.10/84.25 c (10,0) bi[37][1] = 2
115.10/84.25 c (10,0) bi[37][2] = 2
115.10/84.25 c (10,0) bi[37][3] = 2
115.10/84.25 c (10,0) bi[37][4] = 0
115.10/84.25 c (10,0) bi[38][0] = 2
115.10/84.25 c (10,0) bi[38][1] = 2
115.10/84.25 c (10,0) bi[38][2] = 2
115.10/84.25 c (10,0) bi[38][3] = 0
115.10/84.25 c (10,0) bi[38][4] = 1
115.10/84.25 c (10,0) bi[39][0] = 2
115.10/84.25 c (10,0) bi[39][1] = 2
115.10/84.25 c (10,0) bi[39][2] = 0
115.10/84.25 c (10,0) bi[39][3] = 1
115.10/84.25 c (10,0) bi[39][4] = 2
115.10/84.25 c (10,0) bi[40][0] = 2
115.10/84.25 c (10,0) bi[40][1] = 0
115.10/84.25 c (10,0) bi[40][2] = 1
115.10/84.25 c (10,0) bi[40][3] = 2
115.10/84.25 c (10,0) bi[40][4] = 2
115.10/84.25 c (10,0) bi[41][0] = 0
115.10/84.25 c (10,0) bi[41][1] = 1
115.10/84.25 c (10,0) bi[41][2] = 2
115.10/84.25 c (10,0) bi[41][3] = 2
115.10/84.25 c (10,0) bi[41][4] = 2
115.10/84.25 c (10,0) bi[42][0] = 1
115.10/84.25 c (10,0) bi[42][1] = 2
115.10/84.25 c (10,0) bi[42][2] = 2
115.10/84.25 c (10,0) bi[42][3] = 2
115.10/84.25 c (10,0) bi[42][4] = 0
115.10/84.25 c (10,0) bi[43][0] = 2
115.10/84.25 c (10,0) bi[43][1] = 2
115.10/84.25 c (10,0) bi[43][2] = 2
115.10/84.25 c (10,0) bi[43][3] = 0
115.10/84.25 c (10,0) bi[43][4] = 2
115.10/84.25 c (10,0) bi[44][0] = 2
115.10/84.25 c (10,0) bi[44][1] = 2
115.10/84.25 c (10,0) bi[44][2] = 0
115.10/84.25 c (10,0) bi[44][3] = 2
115.10/84.25 c (10,0) bi[44][4] = 1
115.10/84.25 c (10,0) bi[45][0] = 2
115.10/84.25 c (10,0) bi[45][1] = 0
115.10/84.25 c (10,0) bi[45][2] = 2
115.10/84.25 c (10,0) bi[45][3] = 1
115.10/84.25 c (10,0) bi[45][4] = 2
115.10/84.25 c (10,0) bi[46][0] = 0
115.10/84.25 c (10,0) bi[46][1] = 2
115.10/84.25 c (10,0) bi[46][2] = 1
115.10/84.25 c (10,0) bi[46][3] = 2
115.10/84.25 c (10,0) bi[46][4] = 2
115.10/84.25 c (10,0) bi[47][0] = 2
115.10/84.25 c (10,0) bi[47][1] = 1
115.10/84.25 c (10,0) bi[47][2] = 2
115.10/84.25 c (10,0) bi[47][3] = 2
115.10/84.25 c (10,0) bi[47][4] = 0
115.10/84.25 c (10,0) bi[48][0] = 1
115.10/84.25 c (10,0) bi[48][1] = 2
115.10/84.25 c (10,0) bi[48][2] = 2
115.10/84.25 c (10,0) bi[48][3] = 0
115.10/84.25 c (10,0) bi[48][4] = 1
115.10/84.25 c (10,0) bi[49][0] = 2
115.10/84.25 c (10,0) bi[49][1] = 2
115.10/84.25 c (10,0) bi[49][2] = 0
115.10/84.25 c (10,0) bi[49][3] = 1
115.10/84.25 c (10,0) bi[49][4] = 1
115.10/84.25 c (10,0) bi[50][0] = 2
115.10/84.25 c (10,0) bi[50][1] = 0
115.10/84.25 c (10,0) bi[50][2] = 1
115.10/84.25 c (10,0) bi[50][3] = 1
115.10/84.25 c (10,0) bi[50][4] = 2
115.10/84.25 c (10,0) bi[51][0] = 0
115.10/84.25 c (10,0) bi[51][1] = 1
115.10/84.25 c (10,0) bi[51][2] = 1
115.10/84.25 c (10,0) bi[51][3] = 2
115.10/84.25 c (10,0) bi[51][4] = 2
115.10/84.25 c (10,0) bi[52][0] = 1
115.10/84.25 c (10,0) bi[52][1] = 1
115.10/84.25 c (10,0) bi[52][2] = 2
115.10/84.25 c (10,0) bi[52][3] = 2
115.10/84.25 c (10,0) bi[52][4] = 0
115.10/84.25 c (10,0) bi[53][0] = 1
115.10/84.25 c (10,0) bi[53][1] = 2
115.10/84.25 c (10,0) bi[53][2] = 2
115.10/84.25 c (10,0) bi[53][3] = 0
115.10/84.25 c (10,0) bi[53][4] = 2
115.10/84.25 c (10,0) bi[54][0] = 2
115.10/84.25 c (10,0) bi[54][1] = 2
115.10/84.25 c (10,0) bi[54][2] = 0
115.10/84.25 c (10,0) bi[54][3] = 2
115.10/84.25 c (10,0) bi[54][4] = 2
115.10/84.25 c (10,0) bi[55][0] = 2
115.10/84.25 c (10,0) bi[55][1] = 0
115.10/84.25 c (10,0) bi[55][2] = 2
115.10/84.25 c (10,0) bi[55][3] = 2
115.10/84.25 c (10,0) bi[55][4] = 1
115.10/84.25 c (10,0) bi[56][0] = 0
115.10/84.25 c (10,0) bi[56][1] = 2
115.10/84.25 c (10,0) bi[56][2] = 2
115.10/84.25 c (10,0) bi[56][3] = 1
115.10/84.25 c (10,0) bi[56][4] = 2
115.10/84.25 c (10,0) bi[57][0] = 2
115.10/84.25 c (10,0) bi[57][1] = 2
115.10/84.25 c (10,0) bi[57][2] = 1
115.10/84.25 c (10,0) bi[57][3] = 2
115.10/84.25 c (10,0) bi[57][4] = 0
115.10/84.25 c (10,0) bi[58][0] = 2
115.10/84.25 c (10,0) bi[58][1] = 1
115.10/84.25 c (10,0) bi[58][2] = 2
115.10/84.25 c (10,0) bi[58][3] = 0
115.10/84.25 c (10,0) bi[58][4] = 1
115.10/84.25 c (10,0) bi[59][0] = 1
115.10/84.25 c (10,0) bi[59][1] = 2
115.10/84.25 c (10,0) bi[59][2] = 0
115.10/84.25 c (10,0) bi[59][3] = 1
115.10/84.25 c (10,0) bi[59][4] = 2
115.10/84.25 c (10,0) bi[60][0] = 2
115.10/84.25 c (10,0) bi[60][1] = 0
115.10/84.25 c (10,0) bi[60][2] = 1
115.10/84.25 c (10,0) bi[60][3] = 2
115.10/84.25 c (10,0) bi[60][4] = 1
115.10/84.25 c (10,0) bi[61][0] = 0
115.10/84.25 c (10,0) bi[61][1] = 1
115.10/84.25 c (10,0) bi[61][2] = 2
115.10/84.25 c (10,0) bi[61][3] = 1
115.10/84.25 c (10,0) bi[61][4] = 2
115.10/84.25 c (10,0) bi[62][0] = 1
115.10/84.25 c (10,0) bi[62][1] = 2
115.10/84.25 c (10,0) bi[62][2] = 1
115.10/84.25 c (10,0) bi[62][3] = 2
115.10/84.25 c (10,0) bi[62][4] = 0
115.10/84.25 c (10,0) bi[63][0] = 2
115.10/84.25 c (10,0) bi[63][1] = 1
115.10/84.25 c (10,0) bi[63][2] = 2
115.10/84.25 c (10,0) bi[63][3] = 0
115.10/84.25 c (10,0) bi[63][4] = 2
115.10/84.25 c (10,0) bi[64][0] = 1
115.10/84.25 c (10,0) bi[64][1] = 2
115.10/84.25 c (10,0) bi[64][2] = 0
115.10/84.25 c (10,0) bi[64][3] = 2
115.10/84.25 c (10,0) bi[64][4] = 1
115.10/84.25 c (10,0) bi[65][0] = 2
115.10/84.25 c (10,0) bi[65][1] = 0
115.10/84.25 c (10,0) bi[65][2] = 2
115.10/84.25 c (10,0) bi[65][3] = 1
115.10/84.25 c (10,0) bi[65][4] = 1
115.10/84.25 c (10,0) bi[66][0] = 0
115.10/84.25 c (10,0) bi[66][1] = 2
115.10/84.25 c (10,0) bi[66][2] = 1
115.10/84.25 c (10,0) bi[66][3] = 1
115.10/84.25 c (10,0) bi[66][4] = 2
115.10/84.25 c (10,0) bi[67][0] = 2
115.10/84.25 c (10,0) bi[67][1] = 1
115.10/84.25 c (10,0) bi[67][2] = 1
115.10/84.25 c (10,0) bi[67][3] = 2
115.10/84.25 c (10,0) bi[67][4] = 0
115.10/84.25 c (10,0) bi[68][0] = 1
115.10/84.25 c (10,0) bi[68][1] = 1
115.10/84.25 c (10,0) bi[68][2] = 2
115.10/84.25 c (10,0) bi[68][3] = 0
115.10/84.25 c (10,0) bi[68][4] = 2
115.10/84.25 c (10,0) bi[69][0] = 1
115.10/84.25 c (10,0) bi[69][1] = 2
115.10/84.25 c (10,0) bi[69][2] = 0
115.10/84.25 c (10,0) bi[69][3] = 2
115.10/84.25 c (10,0) bi[69][4] = 2
115.10/84.25 c (10,0) bi[70][0] = 2
115.10/84.25 c (10,0) bi[70][1] = 0
115.10/84.25 c (10,0) bi[70][2] = 2
115.10/84.25 c (10,0) bi[70][3] = 2
115.10/84.25 c (10,0) bi[70][4] = 0
115.10/84.25 c (10,0) bi[71][0] = 0
115.10/84.25 c (10,0) bi[71][1] = 2
115.10/84.25 c (10,0) bi[71][2] = 2
115.10/84.25 c (10,0) bi[71][3] = 0
115.10/84.25 c (10,0) bi[71][4] = 2
115.10/84.25 c (10,0) bi[72][0] = 2
115.10/84.25 c (10,0) bi[72][1] = 2
115.10/84.25 c (10,0) bi[72][2] = 0
115.10/84.25 c (10,0) bi[72][3] = 2
115.10/84.25 c (10,0) bi[72][4] = 0
115.10/84.25 c (10,0) bi[73][0] = 2
115.10/84.25 c (10,0) bi[73][1] = 0
115.10/84.25 c (10,0) bi[73][2] = 2
115.10/84.25 c (10,0) bi[73][3] = 0
115.10/84.25 c (10,0) bi[73][4] = 1
115.10/84.25 c (10,0) bi[74][0] = 0
115.10/84.25 c (10,0) bi[74][1] = 2
115.10/84.25 c (10,0) bi[74][2] = 0
115.10/84.25 c (10,0) bi[74][3] = 1
115.10/84.25 c (10,0) bi[74][4] = 2
115.10/84.25 c (10,0) bi[75][0] = 2
115.10/84.25 c (10,0) bi[75][1] = 0
115.10/84.25 c (10,0) bi[75][2] = 1
115.10/84.25 c (10,0) bi[75][3] = 2
115.10/84.25 c (10,0) bi[75][4] = 0
115.10/84.25 c (10,0) bi[76][0] = 0
115.10/84.25 c (10,0) bi[76][1] = 1
115.10/84.25 c (10,0) bi[76][2] = 2
115.10/84.25 c (10,0) bi[76][3] = 0
115.10/84.25 c (10,0) bi[76][4] = 2
115.10/84.25 c (10,0) bi[77][0] = 1
115.10/84.25 c (10,0) bi[77][1] = 2
115.10/84.25 c (10,0) bi[77][2] = 0
115.10/84.25 c (10,0) bi[77][3] = 2
115.10/84.25 c (10,0) bi[77][4] = 0
115.10/84.25 c (10,0) bi[78][0] = 2
115.10/84.25 c (10,0) bi[78][1] = 0
115.10/84.25 c (10,0) bi[78][2] = 2
115.10/84.25 c (10,0) bi[78][3] = 0
115.10/84.25 c (10,0) bi[78][4] = 2
115.10/84.25 c (10,0) bi[79][0] = 0
115.10/84.25 c (10,0) bi[79][1] = 2
115.10/84.25 c (10,0) bi[79][2] = 0
115.10/84.25 c (10,0) bi[79][3] = 2
115.10/84.25 c (10,0) bi[79][4] = 2
115.10/84.25 c (10,0) bi[80][0] = 2
115.10/84.25 c (10,0) bi[80][1] = 0
115.10/84.25 c (10,0) bi[80][2] = 2
115.10/84.25 c (10,0) bi[80][3] = 2
115.10/84.25 c (10,0) bi[80][4] = 2
115.10/84.25 c (10,0) bi[81][0] = 0
115.10/84.25 c (10,0) bi[81][1] = 2
115.10/84.25 c (10,0) bi[81][2] = 2
115.10/84.25 c (10,0) bi[81][3] = 2
115.10/84.25 c (10,0) bi[81][4] = 1
115.10/84.25 c (10,0) bi[82][0] = 2
115.10/84.25 c (10,0) bi[82][1] = 2
115.10/84.25 c (10,0) bi[82][2] = 2
115.10/84.25 c (10,0) bi[82][3] = 1
115.10/84.25 c (10,0) bi[82][4] = 0
115.10/84.25 c (10,0) bi[83][0] = 2
115.10/84.25 c (10,0) bi[83][1] = 2
115.10/84.25 c (10,0) bi[83][2] = 1
115.10/84.25 c (10,0) bi[83][3] = 0
115.10/84.25 c (10,0) bi[83][4] = 1
115.10/84.25 c (10,0) bi[84][0] = 2
115.10/84.25 c (10,0) bi[84][1] = 1
115.10/84.25 c (10,0) bi[84][2] = 0
115.10/84.25 c (10,0) bi[84][3] = 1
115.10/84.25 c (10,0) bi[84][4] = 2
115.10/84.25 c (10,0) bi[85][0] = 1
115.10/84.25 c (10,0) bi[85][1] = 0
115.10/84.25 c (10,0) bi[85][2] = 1
115.10/84.25 c (10,0) bi[85][3] = 2
115.10/84.25 c (10,0) bi[85][4] = 2
115.10/84.25 c (10,0) bi[86][0] = 0
115.10/84.25 c (10,0) bi[86][1] = 1
115.10/84.25 c (10,0) bi[86][2] = 2
115.10/84.25 c (10,0) bi[86][3] = 2
115.10/84.25 c (10,0) bi[86][4] = 1
115.10/84.25 c (10,0) bi[87][0] = 1
115.10/84.25 c (10,0) bi[87][1] = 2
115.10/84.25 c (10,0) bi[87][2] = 2
115.10/84.25 c (10,0) bi[87][3] = 1
115.10/84.25 c (10,0) bi[87][4] = 0
115.10/84.25 c (10,0) bi[88][0] = 2
115.10/84.25 c (10,0) bi[88][1] = 2
115.10/84.25 c (10,0) bi[88][2] = 1
115.10/84.25 c (10,0) bi[88][3] = 0
115.10/84.25 c (10,0) bi[88][4] = 2
115.10/84.25 c (10,0) bi[89][0] = 2
115.10/84.25 c (10,0) bi[89][1] = 1
115.10/84.25 c (10,0) bi[89][2] = 0
115.10/84.25 c (10,0) bi[89][3] = 2
115.10/84.25 c (10,0) bi[89][4] = 1
115.10/84.25 c (10,0) bi[90][0] = 1
115.10/84.25 c (10,0) bi[90][1] = 0
115.10/84.25 c (10,0) bi[90][2] = 2
115.10/84.25 c (10,0) bi[90][3] = 1
115.10/84.25 c (10,0) bi[90][4] = 2
115.10/84.25 c (10,0) bi[91][0] = 0
115.10/84.25 c (10,0) bi[91][1] = 2
115.10/84.25 c (10,0) bi[91][2] = 1
115.10/84.25 c (10,0) bi[91][3] = 2
115.10/84.25 c (10,0) bi[91][4] = 1
115.10/84.25 c (10,0) bi[92][0] = 2
115.10/84.25 c (10,0) bi[92][1] = 1
115.10/84.25 c (10,0) bi[92][2] = 2
115.10/84.25 c (10,0) bi[92][3] = 1
115.10/84.25 c (10,0) bi[92][4] = 0
115.10/84.25 c (10,0) bi[93][0] = 1
115.10/84.25 c (10,0) bi[93][1] = 2
115.10/84.25 c (10,0) bi[93][2] = 1
115.10/84.25 c (10,0) bi[93][3] = 0
115.10/84.25 c (10,0) bi[93][4] = 1
115.10/84.25 c (10,0) bi[94][0] = 2
115.10/84.25 c (10,0) bi[94][1] = 1
115.10/84.25 c (10,0) bi[94][2] = 0
115.10/84.25 c (10,0) bi[94][3] = 1
115.10/84.25 c (10,0) bi[94][4] = 1
115.10/84.25 c (10,0) bi[95][0] = 1
115.10/84.25 c (10,0) bi[95][1] = 0
115.10/84.25 c (10,0) bi[95][2] = 1
115.10/84.25 c (10,0) bi[95][3] = 1
115.10/84.25 c (10,0) bi[95][4] = 2
115.10/84.25 c (10,0) bi[96][0] = 0
115.10/84.25 c (10,0) bi[96][1] = 1
115.10/84.25 c (10,0) bi[96][2] = 1
115.10/84.25 c (10,0) bi[96][3] = 2
115.10/84.25 c (10,0) bi[96][4] = 1
115.10/84.25 c (10,0) bi[97][0] = 1
115.10/84.25 c (10,0) bi[97][1] = 1
115.10/84.25 c (10,0) bi[97][2] = 2
115.10/84.25 c (10,0) bi[97][3] = 1
115.10/84.25 c (10,0) bi[97][4] = 0
115.10/84.25 c (10,0) bi[98][0] = 1
115.10/84.25 c (10,0) bi[98][1] = 2
115.10/84.25 c (10,0) bi[98][2] = 1
115.10/84.25 c (10,0) bi[98][3] = 0
115.10/84.25 c (10,0) bi[98][4] = 2
115.10/84.25 c (10,0) bi[99][0] = 2
115.10/84.25 c (10,0) bi[99][1] = 1
115.10/84.25 c (10,0) bi[99][2] = 0
115.10/84.25 c (10,0) bi[99][3] = 2
115.10/84.25 c (10,0) bi[99][4] = 0
115.10/84.25 c (10,0) bi[100][0] = 1
115.10/84.25 c (10,0) bi[100][1] = 0
115.10/84.25 c (10,0) bi[100][2] = 2
115.10/84.25 c (10,0) bi[100][3] = 0
115.10/84.25 c (10,0) bi[100][4] = 2
115.10/84.25 c (10,0) bi[101][0] = 0
115.10/84.25 c (10,0) bi[101][1] = 2
115.10/84.25 c (10,0) bi[101][2] = 0
115.10/84.25 c (10,0) bi[101][3] = 2
115.10/84.25 c (10,0) bi[101][4] = 1
115.10/84.25 c (10,0) bi[102][0] = 2
115.10/84.25 c (10,0) bi[102][1] = 0
115.10/84.25 c (10,0) bi[102][2] = 2
115.10/84.26 c (10,0) bi[102][3] = 1
115.10/84.26 c (10,0) bi[102][4] = 0
115.10/84.26 c (10,0) bi[103][0] = 0
115.10/84.26 c (10,0) bi[103][1] = 2
115.10/84.26 c (10,0) bi[103][2] = 1
115.10/84.26 c (10,0) bi[103][3] = 0
115.10/84.26 c (10,0) bi[103][4] = 2
115.10/84.26 c (10,0) bi[104][0] = 2
115.10/84.26 c (10,0) bi[104][1] = 1
115.10/84.26 c (10,0) bi[104][2] = 0
115.10/84.26 c (10,0) bi[104][3] = 2
115.10/84.26 c (10,0) bi[104][4] = 2
115.10/84.26 c (10,0) bi[105][0] = 1
115.10/84.26 c (10,0) bi[105][1] = 0
115.10/84.26 c (10,0) bi[105][2] = 2
115.10/84.26 c (10,0) bi[105][3] = 2
115.10/84.26 c (10,0) bi[105][4] = 1
115.10/84.26 c (10,0) bi[106][0] = 0
115.10/84.26 c (10,0) bi[106][1] = 2
115.10/84.26 c (10,0) bi[106][2] = 2
115.10/84.26 c (10,0) bi[106][3] = 1
115.10/84.26 c (10,0) bi[106][4] = 1
115.10/84.26 c (10,0) bi[107][0] = 2
115.10/84.26 c (10,0) bi[107][1] = 2
115.10/84.26 c (10,0) bi[107][2] = 1
115.10/84.26 c (10,0) bi[107][3] = 1
115.10/84.26 c (10,0) bi[107][4] = 0
115.10/84.26 c (10,0) bi[108][0] = 2
115.10/84.26 c (10,0) bi[108][1] = 1
115.10/84.26 c (10,0) bi[108][2] = 1
115.10/84.26 c (10,0) bi[108][3] = 0
115.10/84.26 c (10,0) bi[108][4] = 1
115.10/84.26 c (10,0) bi[109][0] = 1
115.10/84.26 c (10,0) bi[109][1] = 1
115.10/84.26 c (10,0) bi[109][2] = 0
115.10/84.26 c (10,0) bi[109][3] = 1
115.10/84.26 c (10,0) bi[109][4] = 2
115.10/84.26 c (10,0) bi[110][0] = 1
115.10/84.26 c (10,0) bi[110][1] = 0
115.10/84.26 c (10,0) bi[110][2] = 1
115.10/84.26 c (10,0) bi[110][3] = 2
115.10/84.26 c (10,0) bi[110][4] = 1
115.10/84.26 c (10,0) bi[111][0] = 0
115.10/84.26 c (10,0) bi[111][1] = 1
115.10/84.26 c (10,0) bi[111][2] = 2
115.10/84.26 c (10,0) bi[111][3] = 1
115.10/84.26 c (10,0) bi[111][4] = 1
115.10/84.26 c (10,0) bi[112][0] = 1
115.10/84.26 c (10,0) bi[112][1] = 2
115.10/84.26 c (10,0) bi[112][2] = 1
115.10/84.26 c (10,0) bi[112][3] = 1
115.10/84.26 c (10,0) bi[112][4] = 0
115.10/84.26 c (10,0) bi[113][0] = 2
115.10/84.26 c (10,0) bi[113][1] = 1
115.10/84.26 c (10,0) bi[113][2] = 1
115.10/84.26 c (10,0) bi[113][3] = 0
115.10/84.26 c (10,0) bi[113][4] = 2
115.10/84.26 c (10,0) bi[114][0] = 1
115.10/84.26 c (10,0) bi[114][1] = 1
115.10/84.26 c (10,0) bi[114][2] = 0
115.10/84.26 c (10,0) bi[114][3] = 2
115.10/84.26 c (10,0) bi[114][4] = 1
115.10/84.26 c (10,0) bi[115][0] = 1
115.10/84.26 c (10,0) bi[115][1] = 0
115.10/84.26 c (10,0) bi[115][2] = 2
115.10/84.26 c (10,0) bi[115][3] = 1
115.10/84.26 c (10,0) bi[115][4] = 1
115.10/84.26 c (10,0) bi[116][0] = 0
115.10/84.26 c (10,0) bi[116][1] = 2
115.10/84.26 c (10,0) bi[116][2] = 1
115.10/84.26 c (10,0) bi[116][3] = 1
115.10/84.26 c (10,0) bi[116][4] = 1
115.10/84.26 c (10,0) bi[117][0] = 2
115.10/84.26 c (10,0) bi[117][1] = 1
115.10/84.26 c (10,0) bi[117][2] = 1
115.10/84.26 c (10,0) bi[117][3] = 1
115.10/84.26 c (10,0) bi[117][4] = 0
115.10/84.26 c (10,0) bi[118][0] = 1
115.10/84.26 c (10,0) bi[118][1] = 1
115.10/84.26 c (10,0) bi[118][2] = 1
115.10/84.26 c (10,0) bi[118][3] = 0
115.10/84.26 c (10,0) bi[118][4] = 2
115.10/84.26 c (10,0) bi[119][0] = 1
115.10/84.26 c (10,0) bi[119][1] = 1
115.10/84.26 c (10,0) bi[119][2] = 0
115.10/84.26 c (10,0) bi[119][3] = 2
115.10/84.26 c (10,0) bi[119][4] = 2
115.10/84.26 c (10,0) bi[120][0] = 1
115.10/84.26 c (10,0) bi[120][1] = 0
115.10/84.26 c (10,0) bi[120][2] = 2
115.10/84.26 c (10,0) bi[120][3] = 2
115.10/84.26 c (10,0) bi[120][4] = 0
115.10/84.26 c (10,0) bi[121][0] = 0
115.10/84.26 c (10,0) bi[121][1] = 2
115.10/84.26 c (10,0) bi[121][2] = 2
115.10/84.26 c (10,0) bi[121][3] = 0
115.10/84.26 c (10,0) bi[121][4] = 1
115.10/84.26 c (10,0) bi[122][0] = 2
115.10/84.26 c (10,0) bi[122][1] = 2
115.10/84.26 c (10,0) bi[122][2] = 0
115.10/84.26 c (10,0) bi[122][3] = 1
115.10/84.26 c (10,0) bi[122][4] = 0
115.10/84.26 c (10,0) bi[123][0] = 2
115.10/84.26 c (10,0) bi[123][1] = 0
115.10/84.26 c (10,0) bi[123][2] = 1
115.10/84.26 c (10,0) bi[123][3] = 0
115.10/84.26 c (10,0) bi[123][4] = 2
115.10/84.26 c (10,0) bi[124][0] = 0
115.10/84.26 c (10,0) bi[124][1] = 1
115.10/84.26 c (10,0) bi[124][2] = 0
115.10/84.26 c (10,0) bi[124][3] = 2
115.10/84.26 c (10,0) bi[124][4] = 1
115.10/84.26 c (10,0) bi[125][0] = 1
115.10/84.26 c (10,0) bi[125][1] = 0
115.10/84.26 c (10,0) bi[125][2] = 2
115.10/84.26 c (10,0) bi[125][3] = 1
115.10/84.26 c (10,0) bi[125][4] = 0
115.10/84.26 c (10,0) bi[126][0] = 0
115.10/84.26 c (10,0) bi[126][1] = 2
115.10/84.26 c (10,0) bi[126][2] = 1
115.10/84.26 c (10,0) bi[126][3] = 0
115.10/84.26 c (10,0) bi[126][4] = 1
115.10/84.26 c (10,0) bi[127][0] = 2
115.10/84.26 c (10,0) bi[127][1] = 1
115.10/84.26 c (10,0) bi[127][2] = 0
115.10/84.26 c (10,0) bi[127][3] = 1
115.10/84.26 c (10,0) bi[127][4] = 0
115.10/84.26 c (10,0) bi[128][0] = 1
115.10/84.26 c (10,0) bi[128][1] = 0
115.10/84.26 c (10,0) bi[128][2] = 1
115.10/84.26 c (10,0) bi[128][3] = 0
115.10/84.26 c (10,0) bi[128][4] = 2
115.10/84.26 c (10,0) bi[129][0] = 0
115.10/84.26 c (10,0) bi[129][1] = 1
115.10/84.26 c (10,0) bi[129][2] = 0
115.10/84.26 c (10,0) bi[129][3] = 2
115.10/84.26 c (10,0) bi[129][4] = 2
115.10/84.26 c (10,0) bi[130][0] = 1
115.10/84.26 c (10,0) bi[130][1] = 0
115.10/84.26 c (10,0) bi[130][2] = 2
115.10/84.26 c (10,0) bi[130][3] = 2
115.10/84.26 c (10,0) bi[130][4] = 2
115.10/84.26 c (10,0) bi[131][0] = 0
115.10/84.26 c (10,0) bi[131][1] = 2
115.10/84.26 c (10,0) bi[131][2] = 2
115.10/84.26 c (10,0) bi[131][3] = 2
115.10/84.26 c (10,0) bi[131][4] = 0
115.10/84.26 c (10,0) bi[132][0] = 2
115.10/84.26 c (10,0) bi[132][1] = 2
115.10/84.26 c (10,0) bi[132][2] = 2
115.10/84.26 c (10,0) bi[132][3] = 0
115.10/84.26 c (10,0) bi[132][4] = 0
115.10/84.26 c (10,0) bi[133][0] = 2
115.10/84.26 c (10,0) bi[133][1] = 2
115.10/84.26 c (10,0) bi[133][2] = 0
115.10/84.26 c (10,0) bi[133][3] = 0
115.10/84.26 c (10,0) bi[133][4] = 1
115.10/84.26 c (10,0) bi[134][0] = 2
115.10/84.26 c (10,0) bi[134][1] = 0
115.10/84.26 c (10,0) bi[134][2] = 0
115.10/84.26 c (10,0) bi[134][3] = 1
115.10/84.26 c (10,0) bi[134][4] = 2
115.10/84.26 c (10,0) bi[135][0] = 0
115.10/84.26 c (10,0) bi[135][1] = 0
115.10/84.26 c (10,0) bi[135][2] = 1
115.10/84.26 c (10,0) bi[135][3] = 2
115.10/84.26 c (10,0) bi[135][4] = 2
115.10/84.26 c (10,0) bi[136][0] = 0
115.10/84.26 c (10,0) bi[136][1] = 1
115.10/84.26 c (10,0) bi[136][2] = 2
115.10/84.26 c (10,0) bi[136][3] = 2
115.10/84.26 c (10,0) bi[136][4] = 0
115.10/84.26 c (10,0) bi[137][0] = 1
115.10/84.26 c (10,0) bi[137][1] = 2
115.10/84.26 c (10,0) bi[137][2] = 2
115.10/84.26 c (10,0) bi[137][3] = 0
115.10/84.26 c (10,0) bi[137][4] = 0
115.10/84.26 c (10,0) bi[138][0] = 2
115.10/84.26 c (10,0) bi[138][1] = 2
115.10/84.26 c (10,0) bi[138][2] = 0
115.10/84.26 c (10,0) bi[138][3] = 0
115.10/84.26 c (10,0) bi[138][4] = 2
115.10/84.26 c (10,0) bi[139][0] = 2
115.10/84.26 c (10,0) bi[139][1] = 0
115.10/84.26 c (10,0) bi[139][2] = 0
115.10/84.26 c (10,0) bi[139][3] = 2
115.10/84.26 c (10,0) bi[139][4] = 1
115.10/84.26 c (10,0) bi[140][0] = 0
115.10/84.26 c (10,0) bi[140][1] = 0
115.10/84.26 c (10,0) bi[140][2] = 2
115.10/84.26 c (10,0) bi[140][3] = 1
115.10/84.26 c (10,0) bi[140][4] = 2
115.10/84.26 c (10,0) bi[141][0] = 0
115.10/84.26 c (10,0) bi[141][1] = 2
115.10/84.26 c (10,0) bi[141][2] = 1
115.10/84.26 c (10,0) bi[141][3] = 2
115.10/84.26 c (10,0) bi[141][4] = 0
115.10/84.26 c (10,0) bi[142][0] = 2
115.10/84.26 c (10,0) bi[142][1] = 1
115.10/84.26 c (10,0) bi[142][2] = 2
115.10/84.26 c (10,0) bi[142][3] = 0
115.10/84.26 c (10,0) bi[142][4] = 0
115.10/84.26 c (10,0) bi[143][0] = 1
115.10/84.26 c (10,0) bi[143][1] = 2
115.10/84.26 c (10,0) bi[143][2] = 0
115.10/84.26 c (10,0) bi[143][3] = 0
115.10/84.26 c (10,0) bi[143][4] = 1
115.10/84.26 c (10,0) bi[144][0] = 2
115.10/84.26 c (10,0) bi[144][1] = 0
115.10/84.26 c (10,0) bi[144][2] = 0
115.10/84.26 c (10,0) bi[144][3] = 1
115.10/84.26 c (10,0) bi[144][4] = 1
115.10/84.26 c (10,0) bi[145][0] = 0
115.10/84.26 c (10,0) bi[145][1] = 0
115.10/84.26 c (10,0) bi[145][2] = 1
115.10/84.26 c (10,0) bi[145][3] = 1
115.10/84.26 c (10,0) bi[145][4] = 2
115.10/84.26 c (10,0) bi[146][0] = 0
115.10/84.26 c (10,0) bi[146][1] = 1
115.10/84.26 c (10,0) bi[146][2] = 1
115.10/84.26 c (10,0) bi[146][3] = 2
115.10/84.26 c (10,0) bi[146][4] = 0
115.10/84.26 c (10,0) bi[147][0] = 1
115.10/84.26 c (10,0) bi[147][1] = 1
115.10/84.26 c (10,0) bi[147][2] = 2
115.10/84.26 c (10,0) bi[147][3] = 0
115.10/84.26 c (10,0) bi[147][4] = 1
115.10/84.26 c (10,0) bi[148][0] = 1
115.10/84.26 c (10,0) bi[148][1] = 2
115.10/84.26 c (10,0) bi[148][2] = 0
115.10/84.26 c (10,0) bi[148][3] = 1
115.10/84.26 c (10,0) bi[148][4] = 0
115.10/84.26 c (10,0) bi[149][0] = 2
115.10/84.26 c (10,0) bi[149][1] = 0
115.10/84.26 c (10,0) bi[149][2] = 1
115.10/84.26 c (10,0) bi[149][3] = 0
115.10/84.26 c (10,0) bi[149][4] = 1
115.10/84.26 c (10,0) bi[150][0] = 0
115.10/84.26 c (10,0) bi[150][1] = 1
115.10/84.26 c (10,0) bi[150][2] = 0
115.10/84.26 c (10,0) bi[150][3] = 1
115.10/84.26 c (10,0) bi[150][4] = 2
115.10/84.26 c (10,0) bi[151][0] = 1
115.10/84.26 c (10,0) bi[151][1] = 0
115.10/84.26 c (10,0) bi[151][2] = 1
115.10/84.26 c (10,0) bi[151][3] = 2
115.10/84.26 c (10,0) bi[151][4] = 0
115.10/84.26 c (10,0) bi[152][0] = 0
115.10/84.26 c (10,0) bi[152][1] = 1
115.10/84.26 c (10,0) bi[152][2] = 2
115.10/84.26 c (10,0) bi[152][3] = 0
115.10/84.26 c (10,0) bi[152][4] = 0
115.10/84.26 c (10,0) bi[153][0] = 1
115.10/84.26 c (10,0) bi[153][1] = 2
115.10/84.26 c (10,0) bi[153][2] = 0
115.10/84.26 c (10,0) bi[153][3] = 0
115.10/84.26 c (10,0) bi[153][4] = 2
115.10/84.26 c (10,0) bi[154][0] = 2
115.10/84.26 c (10,0) bi[154][1] = 0
115.10/84.26 c (10,0) bi[154][2] = 0
115.10/84.26 c (10,0) bi[154][3] = 2
115.10/84.26 c (10,0) bi[154][4] = 0
115.10/84.26 c (10,0) bi[155][0] = 0
115.10/84.26 c (10,0) bi[155][1] = 0
115.10/84.26 c (10,0) bi[155][2] = 2
115.10/84.26 c (10,0) bi[155][3] = 0
115.10/84.26 c (10,0) bi[155][4] = 2
115.10/84.26 c (10,0) bi[156][0] = 0
115.10/84.26 c (10,0) bi[156][1] = 2
115.10/84.26 c (10,0) bi[156][2] = 0
115.10/84.26 c (10,0) bi[156][3] = 2
115.10/84.26 c (10,0) bi[156][4] = 0
115.10/84.26 c (10,0) bi[157][0] = 2
115.10/84.26 c (10,0) bi[157][1] = 0
115.10/84.26 c (10,0) bi[157][2] = 2
115.10/84.26 c (10,0) bi[157][3] = 0
115.10/84.26 c (10,0) bi[157][4] = 0
115.10/84.26 c (10,0) bi[158][0] = 0
115.10/84.26 c (10,0) bi[158][1] = 2
115.10/84.26 c (10,0) bi[158][2] = 0
115.10/84.26 c (10,0) bi[158][3] = 0
115.10/84.26 c (10,0) bi[158][4] = 2
115.10/84.26 c (10,0) bi[159][0] = 2
115.10/84.26 c (10,0) bi[159][1] = 0
115.10/84.26 c (10,0) bi[159][2] = 0
115.10/84.26 c (10,0) bi[159][3] = 2
115.10/84.26 c (10,0) bi[159][4] = 2
115.10/84.26 c (10,0) bi[160][0] = 0
115.10/84.26 c (10,0) bi[160][1] = 0
115.10/84.26 c (10,0) bi[160][2] = 2
115.10/84.26 c (10,0) bi[160][3] = 2
115.10/84.26 c (10,0) bi[160][4] = 1
115.10/84.26 c (10,0) bi[161][0] = 0
115.10/84.26 c (10,0) bi[161][1] = 2
115.10/84.26 c (10,0) bi[161][2] = 2
115.10/84.26 c (10,0) bi[161][3] = 1
115.10/84.26 c (10,0) bi[161][4] = 0
115.10/84.26 c (10,0) bi[162][0] = 2
115.10/84.26 c (10,0) bi[162][1] = 2
115.10/84.26 c (10,0) bi[162][2] = 1
115.10/84.26 c (10,0) bi[162][3] = 0
115.10/84.26 c (10,0) bi[162][4] = 0
115.10/84.26 c (10,0) bi[163][0] = 2
115.10/84.26 c (10,0) bi[163][1] = 1
115.10/84.26 c (10,0) bi[163][2] = 0
115.10/84.26 c (10,0) bi[163][3] = 0
115.10/84.26 c (10,0) bi[163][4] = 1
115.10/84.26 c (10,0) bi[164][0] = 1
115.10/84.26 c (10,0) bi[164][1] = 0
115.10/84.26 c (10,0) bi[164][2] = 0
115.10/84.26 c (10,0) bi[164][3] = 1
115.10/84.26 c (10,0) bi[164][4] = 2
115.10/84.26 c (10,0) bi[165][0] = 0
115.10/84.26 c (10,0) bi[165][1] = 0
115.10/84.26 c (10,0) bi[165][2] = 1
115.10/84.26 c (10,0) bi[165][3] = 2
115.10/84.26 c (10,0) bi[165][4] = 1
115.10/84.26 c (10,0) bi[166][0] = 0
115.10/84.26 c (10,0) bi[166][1] = 1
115.10/84.26 c (10,0) bi[166][2] = 2
115.10/84.26 c (10,0) bi[166][3] = 1
115.10/84.26 c (10,0) bi[166][4] = 0
115.10/84.26 c (10,0) bi[167][0] = 1
115.10/84.26 c (10,0) bi[167][1] = 2
115.10/84.26 c (10,0) bi[167][2] = 1
115.10/84.26 c (10,0) bi[167][3] = 0
115.10/84.26 c (10,0) bi[167][4] = 0
115.10/84.26 c (10,0) bi[168][0] = 2
115.10/84.26 c (10,0) bi[168][1] = 1
115.10/84.26 c (10,0) bi[168][2] = 0
115.10/84.26 c (10,0) bi[168][3] = 0
115.10/84.26 c (10,0) bi[168][4] = 2
115.10/84.26 c (10,0) bi[169][0] = 1
115.10/84.26 c (10,0) bi[169][1] = 0
115.10/84.26 c (10,0) bi[169][2] = 0
115.10/84.26 c (10,0) bi[169][3] = 2
115.10/84.26 c (10,0) bi[169][4] = 1
115.10/84.26 c (10,0) bi[170][0] = 0
115.10/84.26 c (10,0) bi[170][1] = 0
115.10/84.26 c (10,0) bi[170][2] = 2
115.10/84.26 c (10,0) bi[170][3] = 1
115.10/84.26 c (10,0) bi[170][4] = 1
115.10/84.26 c (10,0) bi[171][0] = 0
115.10/84.26 c (10,0) bi[171][1] = 2
115.10/84.26 c (10,0) bi[171][2] = 1
115.10/84.26 c (10,0) bi[171][3] = 1
115.10/84.26 c (10,0) bi[171][4] = 0
115.10/84.26 c (10,0) bi[172][0] = 2
115.10/84.26 c (10,0) bi[172][1] = 1
115.10/84.26 c (10,0) bi[172][2] = 1
115.10/84.26 c (10,0) bi[172][3] = 0
115.10/84.26 c (10,0) bi[172][4] = 0
115.10/84.26 c (10,0) bi[173][0] = 1
115.10/84.26 c (10,0) bi[173][1] = 1
115.10/84.26 c (10,0) bi[173][2] = 0
115.10/84.26 c (10,0) bi[173][3] = 0
115.10/84.26 c (10,0) bi[173][4] = 2
115.10/84.26 c (10,0) bi[174][0] = 1
115.10/84.26 c (10,0) bi[174][1] = 0
115.10/84.26 c (10,0) bi[174][2] = 0
115.10/84.26 c (10,0) bi[174][3] = 2
115.10/84.26 c (10,0) bi[174][4] = 2
115.10/84.26 c (10,0) bi[175][0] = 0
115.10/84.26 c (10,0) bi[175][1] = 0
115.10/84.26 c (10,0) bi[175][2] = 2
115.10/84.26 c (10,0) bi[175][3] = 2
115.10/84.26 c (10,0) bi[175][4] = 0
115.10/84.26 c (10,0) bi[176][0] = 0
115.10/84.26 c (10,0) bi[176][1] = 2
115.10/84.26 c (10,0) bi[176][2] = 2
115.10/84.26 c (10,0) bi[176][3] = 0
115.10/84.26 c (10,0) bi[176][4] = 0
115.10/84.26 c (10,0) bi[177][0] = 2
115.10/84.26 c (10,0) bi[177][1] = 2
115.10/84.26 c (10,0) bi[177][2] = 0
115.10/84.26 c (10,0) bi[177][3] = 0
115.10/84.26 c (10,0) bi[177][4] = 0
115.10/84.26 c (10,0) bi[178][0] = 2
115.10/84.26 c (10,0) bi[178][1] = 0
115.10/84.26 c (10,0) bi[178][2] = 0
115.10/84.26 c (10,0) bi[178][3] = 0
115.10/84.26 c (10,0) bi[178][4] = 1
115.10/84.26 c (10,0) bi[179][0] = 0
115.10/84.26 c (10,0) bi[179][1] = 0
115.10/84.26 c (10,0) bi[179][2] = 0
115.10/84.26 c (10,0) bi[179][3] = 1
115.10/84.26 c (10,0) bi[179][4] = 2
115.10/84.26 c (10,0) bi[180][0] = 0
115.10/84.26 c (10,0) bi[180][1] = 0
115.10/84.26 c (10,0) bi[180][2] = 1
115.10/84.26 c (10,0) bi[180][3] = 2
115.10/84.26 c (10,0) bi[180][4] = 0
115.10/84.26 c (10,0) bi[181][0] = 0
115.10/84.26 c (10,0) bi[181][1] = 1
115.10/84.26 c (10,0) bi[181][2] = 2
115.10/84.26 c (10,0) bi[181][3] = 0
115.10/84.26 c (10,0) bi[181][4] = 1
115.10/84.26 c (10,0) bi[182][0] = 1
115.10/84.26 c (10,0) bi[182][1] = 2
115.10/84.26 c (10,0) bi[182][2] = 0
115.10/84.26 c (10,0) bi[182][3] = 1
115.10/84.26 c (10,0) bi[182][4] = 1
115.10/84.26 c (10,0) bi[183][0] = 2
115.10/84.26 c (10,0) bi[183][1] = 0
115.10/84.26 c (10,0) bi[183][2] = 1
115.10/84.26 c (10,0) bi[183][3] = 1
115.10/84.26 c (10,0) bi[183][4] = 0
115.10/84.26 c (10,0) bi[184][0] = 0
115.10/84.26 c (10,0) bi[184][1] = 1
115.10/84.26 c (10,0) bi[184][2] = 1
115.10/84.26 c (10,0) bi[184][3] = 0
115.10/84.26 c (10,0) bi[184][4] = 2
115.10/84.26 c (10,0) bi[185][0] = 1
115.10/84.26 c (10,0) bi[185][1] = 1
115.10/84.26 c (10,0) bi[185][2] = 0
115.10/84.26 c (10,0) bi[185][3] = 2
115.10/84.26 c (10,0) bi[185][4] = 0
115.10/84.26 c (10,0) bi[186][0] = 1
115.10/84.26 c (10,0) bi[186][1] = 0
115.10/84.26 c (10,0) bi[186][2] = 2
115.10/84.26 c (10,0) bi[186][3] = 0
115.10/84.26 c (10,0) bi[186][4] = 0
115.10/84.26 c (10,0) bi[187][0] = 0
115.10/84.26 c (10,0) bi[187][1] = 2
115.10/84.26 c (10,0) bi[187][2] = 0
115.10/84.26 c (10,0) bi[187][3] = 0
115.10/84.26 c (10,0) bi[187][4] = 1
115.10/84.26 c (10,0) bi[188][0] = 2
115.10/84.26 c (10,0) bi[188][1] = 0
115.10/84.26 c (10,0) bi[188][2] = 0
115.10/84.26 c (10,0) bi[188][3] = 1
115.10/84.26 c (10,0) bi[188][4] = 0
115.10/84.26 c (10,0) bi[189][0] = 0
115.10/84.26 c (10,0) bi[189][1] = 0
115.10/84.26 c (10,0) bi[189][2] = 1
115.10/84.26 c (10,0) bi[189][3] = 0
115.10/84.26 c (10,0) bi[189][4] = 2
115.10/84.26 c (10,0) bi[190][0] = 0
115.10/84.26 c (10,0) bi[190][1] = 1
115.10/84.26 c (10,0) bi[190][2] = 0
115.10/84.26 c (10,0) bi[190][3] = 2
115.10/84.26 c (10,0) bi[190][4] = 0
115.10/84.26 c (10,0) bi[191][0] = 1
115.10/84.26 c (10,0) bi[191][1] = 0
115.10/84.26 c (10,0) bi[191][2] = 2
115.10/84.26 c (10,0) bi[191][3] = 0
115.10/84.26 c (10,0) bi[191][4] = 1
115.10/84.26 c (10,0) bi[192][0] = 0
115.10/84.26 c (10,0) bi[192][1] = 2
115.10/84.26 c (10,0) bi[192][2] = 0
115.10/84.26 c (10,0) bi[192][3] = 1
115.10/84.26 c (10,0) bi[192][4] = 0
115.10/84.26 c (10,0) bi[193][0] = 2
115.10/84.26 c (10,0) bi[193][1] = 0
115.10/84.26 c (10,0) bi[193][2] = 1
115.10/84.26 c (10,0) bi[193][3] = 0
115.10/84.26 c (10,0) bi[193][4] = 0
115.10/84.26 c (10,0) bi[194][0] = 0
115.10/84.26 c (10,0) bi[194][1] = 1
115.10/84.26 c (10,0) bi[194][2] = 0
115.10/84.26 c (10,0) bi[194][3] = 0
115.10/84.26 c (10,0) bi[194][4] = 2
115.10/84.26 c (10,0) bi[195][0] = 1
115.10/84.26 c (10,0) bi[195][1] = 0
115.10/84.26 c (10,0) bi[195][2] = 0
115.10/84.26 c (10,0) bi[195][3] = 2
115.10/84.26 c (10,0) bi[195][4] = 0
115.10/84.26 c (10,0) bi[196][0] = 0
115.10/84.26 c (10,0) bi[196][1] = 0
115.10/84.26 c (10,0) bi[196][2] = 2
115.10/84.26 c (10,0) bi[196][3] = 0
115.10/84.26 c (10,0) bi[196][4] = 0
115.10/84.26 c (10,0) bi[197][0] = 0
115.10/84.26 c (10,0) bi[197][1] = 2
115.10/84.26 c (10,0) bi[197][2] = 0
115.10/84.26 c (10,0) bi[197][3] = 0
115.10/84.26 c (10,0) bi[197][4] = 0
115.10/84.26 c (10,0) bi[198][0] = 2
115.10/84.26 c (10,0) bi[198][1] = 0
115.10/84.26 c (10,0) bi[198][2] = 0
115.10/84.26 c (10,0) bi[198][3] = 0
115.10/84.26 c (10,0) bi[198][4] = 2
115.10/84.26 c (10,0) bi[199][0] = 0
115.10/84.26 c (10,0) bi[199][1] = 0
115.10/84.26 c (10,0) bi[199][2] = 0
115.10/84.26 c (10,0) bi[199][3] = 2
115.10/84.26 c (10,0) bi[199][4] = 1
115.10/84.26 c (10,0) bi[200][0] = 0
115.10/84.26 c (10,0) bi[200][1] = 0
115.10/84.26 c (10,0) bi[200][2] = 2
115.10/84.26 c (10,0) bi[200][3] = 1
115.10/84.26 c (10,0) bi[200][4] = 0
115.10/84.26 c (10,0) bi[201][0] = 0
115.10/84.26 c (10,0) bi[201][1] = 2
115.10/84.26 c (10,0) bi[201][2] = 1
115.10/84.26 c (10,0) bi[201][3] = 0
115.10/84.26 c (10,0) bi[201][4] = 0
115.10/84.26 c (10,0) bi[202][0] = 2
115.10/84.26 c (10,0) bi[202][1] = 1
115.10/84.26 c (10,0) bi[202][2] = 0
115.10/84.26 c (10,0) bi[202][3] = 0
115.10/84.26 c (10,0) bi[202][4] = 0
115.10/84.26 c (10,0) bi[203][0] = 1
115.10/84.26 c (10,0) bi[203][1] = 0
115.10/84.26 c (10,0) bi[203][2] = 0
115.10/84.26 c (10,0) bi[203][3] = 0
115.10/84.26 c (10,0) bi[203][4] = 2
115.10/84.26 c (10,0) bi[204][0] = 0
115.10/84.26 c (10,0) bi[204][1] = 0
115.10/84.26 c (10,0) bi[204][2] = 0
115.10/84.26 c (10,0) bi[204][3] = 2
115.10/84.26 c (10,0) bi[204][4] = 0
115.10/84.26 c (10,0) bi[205][0] = 0
115.10/84.26 c (10,0) bi[205][1] = 0
115.10/84.26 c (10,0) bi[205][2] = 2
115.10/84.26 c (10,0) bi[205][3] = 0
115.10/84.26 c (10,0) bi[205][4] = 1
115.10/84.26 c (10,0) bi[206][0] = 0
115.10/84.26 c (10,0) bi[206][1] = 2
115.10/84.26 c (10,0) bi[206][2] = 0
115.10/84.26 c (10,0) bi[206][3] = 1
115.10/84.26 c (10,0) bi[206][4] = 1
115.10/84.26 c (10,0) bi[207][0] = 2
115.10/84.26 c (10,0) bi[207][1] = 0
115.10/84.26 c (10,0) bi[207][2] = 1
115.10/84.26 c (10,0) bi[207][3] = 1
115.10/84.26 c (10,0) bi[207][4] = 1
115.10/84.26 c (10,0) bi[208][0] = 0
115.10/84.26 c (10,0) bi[208][1] = 1
115.10/84.26 c (10,0) bi[208][2] = 1
115.10/84.26 c (10,0) bi[208][3] = 1
115.10/84.26 c (10,0) bi[208][4] = 1
115.10/84.26 c (10,0) bi[209][0] = 1
115.10/84.26 c (10,0) bi[209][1] = 1
115.10/84.26 c (10,0) bi[209][2] = 1
115.10/84.26 c (10,0) bi[209][3] = 1
115.10/84.26 c (10,0) bi[209][4] = 0
115.10/84.26 c (10,0) bi[210][0] = 1
115.10/84.26 c (10,0) bi[210][1] = 1
115.10/84.26 c (10,0) bi[210][2] = 1
115.10/84.26 c (10,0) bi[210][3] = 0
115.10/84.26 c (10,0) bi[210][4] = 1
115.10/84.26 c (10,0) bi[211][0] = 1
115.10/84.26 c (10,0) bi[211][1] = 1
115.10/84.26 c (10,0) bi[211][2] = 0
115.10/84.26 c (10,0) bi[211][3] = 1
115.10/84.26 c (10,0) bi[211][4] = 1
115.10/84.26 c (10,0) bi[212][0] = 1
115.10/84.26 c (10,0) bi[212][1] = 0
115.10/84.26 c (10,0) bi[212][2] = 1
115.10/84.26 c (10,0) bi[212][3] = 1
115.10/84.26 c (10,0) bi[212][4] = 0
115.10/84.26 c (10,0) bi[213][0] = 0
115.10/84.26 c (10,0) bi[213][1] = 1
115.10/84.26 c (10,0) bi[213][2] = 1
115.10/84.26 c (10,0) bi[213][3] = 0
115.10/84.26 c (10,0) bi[213][4] = 1
115.10/84.26 c (10,0) bi[214][0] = 1
115.10/84.26 c (10,0) bi[214][1] = 1
115.10/84.26 c (10,0) bi[214][2] = 0
115.10/84.26 c (10,0) bi[214][3] = 1
115.10/84.26 c (10,0) bi[214][4] = 0
115.10/84.26 c (10,0) bi[215][0] = 1
115.10/84.26 c (10,0) bi[215][1] = 0
115.10/84.26 c (10,0) bi[215][2] = 1
115.10/84.26 c (10,0) bi[215][3] = 0
115.10/84.26 c (10,0) bi[215][4] = 1
115.10/84.26 c (10,0) bi[216][0] = 0
115.10/84.26 c (10,0) bi[216][1] = 1
115.10/84.26 c (10,0) bi[216][2] = 0
115.10/84.26 c (10,0) bi[216][3] = 1
115.10/84.26 c (10,0) bi[216][4] = 1
115.10/84.26 c (10,0) bi[217][0] = 1
115.10/84.26 c (10,0) bi[217][1] = 0
115.10/84.26 c (10,0) bi[217][2] = 1
115.10/84.26 c (10,0) bi[217][3] = 1
115.10/84.26 c (10,0) bi[217][4] = 1
115.10/84.26 c (10,0) bi[218][0] = 0
115.10/84.26 c (10,0) bi[218][1] = 1
115.10/84.26 c (10,0) bi[218][2] = 1
115.10/84.26 c (10,0) bi[218][3] = 1
115.10/84.26 c (10,0) bi[218][4] = 0
115.10/84.26 c (10,0) bi[219][0] = 1
115.10/84.26 c (10,0) bi[219][1] = 1
115.10/84.26 c (10,0) bi[219][2] = 1
115.10/84.26 c (10,0) bi[219][3] = 0
115.10/84.26 c (10,0) bi[219][4] = 0
115.10/84.26 c (10,0) bi[220][0] = 1
115.10/84.26 c (10,0) bi[220][1] = 1
115.10/84.26 c (10,0) bi[220][2] = 0
115.10/84.26 c (10,0) bi[220][3] = 0
115.10/84.26 c (10,0) bi[220][4] = 1
115.10/84.26 c (10,0) bi[221][0] = 1
115.10/84.26 c (10,0) bi[221][1] = 0
115.10/84.26 c (10,0) bi[221][2] = 0
115.10/84.26 c (10,0) bi[221][3] = 1
115.10/84.26 c (10,0) bi[221][4] = 0
115.10/84.26 c (10,0) bi[222][0] = 0
115.10/84.26 c (10,0) bi[222][1] = 0
115.10/84.26 c (10,0) bi[222][2] = 1
115.10/84.26 c (10,0) bi[222][3] = 0
115.10/84.26 c (10,0) bi[222][4] = 1
115.10/84.26 c (10,0) bi[223][0] = 0
115.10/84.26 c (10,0) bi[223][1] = 1
115.10/84.26 c (10,0) bi[223][2] = 0
115.10/84.26 c (10,0) bi[223][3] = 1
115.10/84.26 c (10,0) bi[223][4] = 0
115.10/84.26 c (10,0) bi[224][0] = 1
115.10/84.26 c (10,0) bi[224][1] = 0
115.10/84.26 c (10,0) bi[224][2] = 1
115.10/84.26 c (10,0) bi[224][3] = 0
115.10/84.26 c (10,0) bi[224][4] = 0
115.10/84.26 c (10,0) bi[225][0] = 0
115.10/84.26 c (10,0) bi[225][1] = 1
115.10/84.26 c (10,0) bi[225][2] = 0
115.10/84.26 c (10,0) bi[225][3] = 0
115.10/84.26 c (10,0) bi[225][4] = 1
115.10/84.26 c (10,0) bi[226][0] = 1
115.10/84.26 c (10,0) bi[226][1] = 0
115.10/84.26 c (10,0) bi[226][2] = 0
115.10/84.26 c (10,0) bi[226][3] = 1
115.10/84.26 c (10,0) bi[226][4] = 1
115.10/84.26 c (10,0) bi[227][0] = 0
115.10/84.26 c (10,0) bi[227][1] = 0
115.10/84.26 c (10,0) bi[227][2] = 1
115.10/84.26 c (10,0) bi[227][3] = 1
115.10/84.26 c (10,0) bi[227][4] = 0
115.10/84.26 c (10,0) bi[228][0] = 0
115.10/84.26 c (10,0) bi[228][1] = 1
115.10/84.26 c (10,0) bi[228][2] = 1
115.10/84.26 c (10,0) bi[228][3] = 0
115.10/84.26 c (10,0) bi[228][4] = 0
115.10/84.26 c (10,0) bi[229][0] = 1
115.10/84.26 c (10,0) bi[229][1] = 1
115.10/84.26 c (10,0) bi[229][2] = 0
115.10/84.26 c (10,0) bi[229][3] = 0
115.10/84.26 c (10,0) bi[229][4] = 0
115.10/84.26 c (10,0) bi[230][0] = 1
115.10/84.26 c (10,0) bi[230][1] = 0
115.10/84.26 c (10,0) bi[230][2] = 0
115.10/84.26 c (10,0) bi[230][3] = 0
115.10/84.26 c (10,0) bi[230][4] = 1
115.10/84.26 c (10,0) bi[231][0] = 0
115.10/84.26 c (10,0) bi[231][1] = 0
115.10/84.26 c (10,0) bi[231][2] = 0
115.10/84.26 c (10,0) bi[231][3] = 1
115.10/84.26 c (10,0) bi[231][4] = 0
115.10/84.26 c (10,0) bi[232][0] = 0
115.10/84.26 c (10,0) bi[232][1] = 0
115.10/84.26 c (10,0) bi[232][2] = 1
115.10/84.26 c (10,0) bi[232][3] = 0
115.10/84.26 c (10,0) bi[232][4] = 0
115.10/84.26 c (10,0) bi[233][0] = 0
115.10/84.26 c (10,0) bi[233][1] = 1
115.10/84.26 c (10,0) bi[233][2] = 0
115.10/84.26 c (10,0) bi[233][3] = 0
115.10/84.26 c (10,0) bi[233][4] = 0
115.10/84.26 c (10,0) bi[234][0] = 1
115.10/84.26 c (10,0) bi[234][1] = 0
115.10/84.26 c (10,0) bi[234][2] = 0
115.10/84.26 c (10,0) bi[234][3] = 0
115.10/84.26 c (10,0) bi[234][4] = 0
115.10/84.26 c (10,0) bi[235][0] = 0
115.10/84.26 c (10,0) bi[235][1] = 0
115.10/84.26 c (10,0) bi[235][2] = 0
115.10/84.26 c (10,0) bi[235][3] = 0
115.10/84.26 c (10,0) bi[235][4] = 1
115.10/84.26 c (10,0) bi[236][0] = 0
115.10/84.26 c (10,0) bi[236][1] = 0
115.10/84.26 c (10,0) bi[236][2] = 0
115.10/84.26 c (10,0) bi[236][3] = 1
115.10/84.26 c (10,0) bi[236][4] = 1
115.10/84.26 c (10,0) bi[237][0] = 0
115.10/84.26 c (10,0) bi[237][1] = 0
115.10/84.26 c (10,0) bi[237][2] = 1
115.10/84.26 c (10,0) bi[237][3] = 1
115.10/84.26 c (10,0) bi[237][4] = 1
115.10/84.26 c (10,0) bi[238][0] = 0
115.10/84.26 c (10,0) bi[238][1] = 1
115.10/84.26 c (10,0) bi[238][2] = 1
115.10/84.26 c (10,0) bi[238][3] = 1
115.10/84.26 c (10,0) bi[238][4] = 2
115.10/84.26 c (10,0) bi[239][0] = 1
115.10/84.26 c (10,0) bi[239][1] = 1
115.10/84.26 c (10,0) bi[239][2] = 1
115.10/84.26 c (10,0) bi[239][3] = 2
115.10/84.26 c (10,0) bi[239][4] = 0
115.10/84.26 c (10,0) bi[240][0] = 1
115.10/84.26 c (10,0) bi[240][1] = 1
115.10/84.26 c (10,0) bi[240][2] = 2
115.10/84.26 c (10,0) bi[240][3] = 0
115.10/84.26 c (10,0) bi[240][4] = 0
115.10/84.26 c (10,0) bi[241][0] = 1
115.10/84.26 c (10,0) bi[241][1] = 2
115.10/84.26 c (10,0) bi[241][2] = 0
115.10/84.26 c (10,0) bi[241][3] = 0
115.10/84.26 c (10,0) bi[241][4] = 0
115.10/84.26 c (10,0) bi[242][0] = 2
115.10/84.26 c (10,0) bi[242][1] = 0
115.10/84.26 c (10,0) bi[242][2] = 0
115.10/84.26 c (10,0) bi[242][3] = 0
115.10/84.26 c (10,0) bi[242][4] = 0
115.10/84.26 c (10,0) g[0] = 81
115.10/84.26 c (10,0) g[1] = 81
115.10/84.26 c (10,0) g[2] = 81
115.10/84.26 c (10,0) x[0] = 0
115.10/84.26 c (10,0) x[1] = 2
115.10/84.26 c (10,0) x[2] = 8
115.10/84.26 c (10,0) x[3] = 26
115.10/84.26 c (10,0) x[4] = 80
115.10/84.26 c (10,0) x[5] = 242
115.10/84.26 c (10,0) x[6] = 241
115.10/84.26 c (10,0) x[7] = 239
115.10/84.26 c (10,0) x[8] = 233
115.10/84.26 c (10,0) x[9] = 214
115.10/84.26 c (10,0) x[10] = 158
115.10/84.26 c (10,0) x[11] = 232
115.10/84.26 c (10,0) x[12] = 212
115.10/84.26 c (10,0) x[13] = 152
115.10/84.26 c (10,0) x[14] = 215
115.10/84.26 c (10,0) x[15] = 160
115.10/84.26 c (10,0) x[16] = 238
115.10/84.26 c (10,0) x[17] = 230
115.10/84.26 c (10,0) x[18] = 205
115.10/84.26 c (10,0) x[19] = 131
115.10/84.26 c (10,0) x[20] = 151
115.10/84.26 c (10,0) x[21] = 211
115.10/84.26 c (10,0) x[22] = 149
115.10/84.26 c (10,0) x[23] = 206
115.10/84.26 c (10,0) x[24] = 133
115.10/84.26 c (10,0) x[25] = 157
115.10/84.26 c (10,0) x[26] = 229
115.10/84.26 c (10,0) x[27] = 203
115.10/84.26 c (10,0) x[28] = 124
115.10/84.26 c (10,0) x[29] = 130
115.10/84.26 c (10,0) x[30] = 148
115.10/84.26 c (10,0) x[31] = 202
115.10/84.26 c (10,0) x[32] = 121
115.10/84.26 c (10,0) x[33] = 122
115.10/84.26 c (10,0) x[34] = 125
115.10/84.26 c (10,0) x[35] = 134
115.10/84.26 c (10,0) x[36] = 161
115.10/84.26 c (10,0) x[37] = 240
115.10/84.26 c (10,0) x[38] = 235
115.10/84.26 c (10,0) x[39] = 221
115.10/84.26 c (10,0) x[40] = 179
115.10/84.26 c (10,0) x[41] = 53
115.10/84.26 c (10,0) x[42] = 159
115.10/84.26 c (10,0) x[43] = 236
115.10/84.26 c (10,0) x[44] = 223
115.10/84.26 c (10,0) x[45] = 185
115.10/84.26 c (10,0) x[46] = 71
115.10/84.26 c (10,0) x[47] = 213
115.10/84.26 c (10,0) x[48] = 154
115.10/84.26 c (10,0) x[49] = 220
115.10/84.26 c (10,0) x[50] = 176
115.10/84.26 c (10,0) x[51] = 44
115.10/84.26 c (10,0) x[52] = 132
115.10/84.26 c (10,0) x[53] = 155
115.10/84.26 c (10,0) x[54] = 224
115.10/84.26 c (10,0) x[55] = 187
115.10/84.26 c (10,0) x[56] = 77
115.10/84.26 c (10,0) x[57] = 231
115.10/84.26 c (10,0) x[58] = 208
115.10/84.26 c (10,0) x[59] = 140
115.10/84.26 c (10,0) x[60] = 178
115.10/84.26 c (10,0) x[61] = 50
115.10/84.26 c (10,0) x[62] = 150
115.10/84.26 c (10,0) x[63] = 209
115.10/84.26 c (10,0) x[64] = 142
115.10/84.26 c (10,0) x[65] = 184
115.10/84.26 c (10,0) x[66] = 68
115.10/84.26 c (10,0) x[67] = 204
115.10/84.26 c (10,0) x[68] = 128
115.10/84.26 c (10,0) x[69] = 143
115.10/84.26 c (10,0) x[70] = 186
115.10/84.26 c (10,0) x[71] = 74
115.10/84.26 c (10,0) x[72] = 222
115.10/84.26 c (10,0) x[73] = 181
115.10/84.26 c (10,0) x[74] = 59
115.10/84.26 c (10,0) x[75] = 177
115.10/84.26 c (10,0) x[76] = 47
115.10/84.26 c (10,0) x[77] = 141
115.10/84.26 c (10,0) x[78] = 182
115.10/84.26 c (10,0) x[79] = 62
115.10/84.26 c (10,0) x[80] = 188
115.10/84.26 c (10,0) x[81] = 79
115.10/84.26 c (10,0) x[82] = 237
115.10/84.26 c (10,0) x[83] = 226
115.10/84.26 c (10,0) x[84] = 194
115.10/84.26 c (10,0) x[85] = 98
115.10/84.26 c (10,0) x[86] = 52
115.10/84.26 c (10,0) x[87] = 156
115.10/84.26 c (10,0) x[88] = 227
115.10/84.26 c (10,0) x[89] = 196
115.10/84.26 c (10,0) x[90] = 104
115.10/84.26 c (10,0) x[91] = 70
115.10/84.26 c (10,0) x[92] = 210
115.10/84.26 c (10,0) x[93] = 145
115.10/84.26 c (10,0) x[94] = 193
115.10/84.26 c (10,0) x[95] = 95
115.10/84.26 c (10,0) x[96] = 43
115.10/84.26 c (10,0) x[97] = 129
115.10/84.26 c (10,0) x[98] = 146
115.10/84.26 c (10,0) x[99] = 195
115.10/84.26 c (10,0) x[100] = 101
115.10/84.26 c (10,0) x[101] = 61
115.10/84.26 c (10,0) x[102] = 183
115.10/84.26 c (10,0) x[103] = 65
115.10/84.26 c (10,0) x[104] = 197
115.10/84.26 c (10,0) x[105] = 106
115.10/84.26 c (10,0) x[106] = 76
115.10/84.26 c (10,0) x[107] = 228
115.10/84.26 c (10,0) x[108] = 199
115.10/84.26 c (10,0) x[109] = 113
115.10/84.26 c (10,0) x[110] = 97
115.10/84.26 c (10,0) x[111] = 49
115.10/84.26 c (10,0) x[112] = 147
115.10/84.26 c (10,0) x[113] = 200
115.10/84.26 c (10,0) x[114] = 115
115.10/84.26 c (10,0) x[115] = 103
115.10/84.26 c (10,0) x[116] = 67
115.10/84.26 c (10,0) x[117] = 201
115.10/84.26 c (10,0) x[118] = 119
115.10/84.26 c (10,0) x[119] = 116
115.10/84.26 c (10,0) x[120] = 105
115.10/84.26 c (10,0) x[121] = 73
115.10/84.26 c (10,0) x[122] = 219
115.10/84.26 c (10,0) x[123] = 173
115.10/84.26 c (10,0) x[124] = 34
115.10/84.26 c (10,0) x[125] = 102
115.10/84.26 c (10,0) x[126] = 64
115.10/84.26 c (10,0) x[127] = 192
115.10/84.26 c (10,0) x[128] = 92
115.10/84.26 c (10,0) x[129] = 35
115.10/84.26 c (10,0) x[130] = 107
115.10/84.26 c (10,0) x[131] = 78
115.10/84.26 c (10,0) x[132] = 234
115.10/84.26 c (10,0) x[133] = 217
115.10/84.26 c (10,0) x[134] = 167
115.10/84.26 c (10,0) x[135] = 17
115.10/84.26 c (10,0) x[136] = 51
115.10/84.26 c (10,0) x[137] = 153
115.10/84.26 c (10,0) x[138] = 218
115.10/84.26 c (10,0) x[139] = 169
115.10/84.26 c (10,0) x[140] = 23
115.10/84.26 c (10,0) x[141] = 69
115.10/84.26 c (10,0) x[142] = 207
115.10/84.26 c (10,0) x[143] = 136
115.10/84.26 c (10,0) x[144] = 166
115.10/84.26 c (10,0) x[145] = 14
115.10/84.26 c (10,0) x[146] = 42
115.10/84.26 c (10,0) x[147] = 127
115.10/84.26 c (10,0) x[148] = 138
115.10/84.26 c (10,0) x[149] = 172
115.10/84.26 c (10,0) x[150] = 32
115.10/84.26 c (10,0) x[151] = 96
115.10/84.26 c (10,0) x[152] = 45
115.10/84.26 c (10,0) x[153] = 137
115.10/84.26 c (10,0) x[154] = 168
115.10/84.26 c (10,0) x[155] = 20
115.10/84.26 c (10,0) x[156] = 60
115.10/84.26 c (10,0) x[157] = 180
115.10/84.26 c (10,0) x[158] = 56
115.10/84.26 c (10,0) x[159] = 170
115.10/84.26 c (10,0) x[160] = 25
115.10/84.26 c (10,0) x[161] = 75
115.10/84.26 c (10,0) x[162] = 225
115.10/84.26 c (10,0) x[163] = 190
115.10/84.26 c (10,0) x[164] = 86
115.10/84.26 c (10,0) x[165] = 16
115.10/84.26 c (10,0) x[166] = 48
115.10/84.26 c (10,0) x[167] = 144
115.10/84.26 c (10,0) x[168] = 191
115.10/84.26 c (10,0) x[169] = 88
115.10/84.26 c (10,0) x[170] = 22
115.10/84.26 c (10,0) x[171] = 66
115.10/84.26 c (10,0) x[172] = 198
115.10/84.26 c (10,0) x[173] = 110
115.10/84.26 c (10,0) x[174] = 89
115.10/84.26 c (10,0) x[175] = 24
115.10/84.26 c (10,0) x[176] = 72
115.10/84.26 c (10,0) x[177] = 216
115.10/84.26 c (10,0) x[178] = 163
115.10/84.26 c (10,0) x[179] = 5
115.10/84.26 c (10,0) x[180] = 15
115.10/84.26 c (10,0) x[181] = 46
115.10/84.26 c (10,0) x[182] = 139
115.10/84.26 c (10,0) x[183] = 174
115.10/84.26 c (10,0) x[184] = 38
115.10/84.26 c (10,0) x[185] = 114
115.10/84.26 c (10,0) x[186] = 99
115.10/84.26 c (10,0) x[187] = 55
115.10/84.26 c (10,0) x[188] = 165
115.10/84.26 c (10,0) x[189] = 11
115.10/84.26 c (10,0) x[190] = 33
115.10/84.26 c (10,0) x[191] = 100
115.10/84.26 c (10,0) x[192] = 57
115.10/84.26 c (10,0) x[193] = 171
115.10/84.26 c (10,0) x[194] = 29
115.10/84.26 c (10,0) x[195] = 87
115.10/84.26 c (10,0) x[196] = 18
115.10/84.26 c (10,0) x[197] = 54
115.10/84.26 c (10,0) x[198] = 164
115.10/84.26 c (10,0) x[199] = 7
115.10/84.26 c (10,0) x[200] = 21
115.10/84.26 c (10,0) x[201] = 63
115.10/84.26 c (10,0) x[202] = 189
115.10/84.26 c (10,0) x[203] = 83
115.10/84.26 c (10,0) x[204] = 6
115.10/84.26 c (10,0) x[205] = 19
115.10/84.26 c (10,0) x[206] = 58
115.10/84.26 c (10,0) x[207] = 175
115.10/84.26 c (10,0) x[208] = 40
115.10/84.26 c (10,0) x[209] = 120
115.10/84.26 c (10,0) x[210] = 118
115.10/84.26 c (10,0) x[211] = 112
115.10/84.26 c (10,0) x[212] = 93
115.10/84.26 c (10,0) x[213] = 37
115.10/84.26 c (10,0) x[214] = 111
115.10/84.26 c (10,0) x[215] = 91
115.10/84.26 c (10,0) x[216] = 31
115.10/84.26 c (10,0) x[217] = 94
115.10/84.26 c (10,0) x[218] = 39
115.10/84.26 c (10,0) x[219] = 117
115.10/84.26 c (10,0) x[220] = 109
115.10/84.26 c (10,0) x[221] = 84
115.10/84.26 c (10,0) x[222] = 10
115.10/84.26 c (10,0) x[223] = 30
115.10/84.26 c (10,0) x[224] = 90
115.10/84.26 c (10,0) x[225] = 28
115.10/84.26 c (10,0) x[226] = 85
115.10/84.26 c (10,0) x[227] = 12
115.10/84.26 c (10,0) x[228] = 36
115.10/84.26 c (10,0) x[229] = 108
115.10/84.26 c (10,0) x[230] = 82
115.10/84.26 c (10,0) x[231] = 3
115.10/84.26 c (10,0) x[232] = 9
115.10/84.26 c (10,0) x[233] = 27
115.10/84.26 c (10,0) x[234] = 81
115.10/84.26 c (10,0) x[235] = 1
115.10/84.26 c (10,0) x[236] = 4
115.10/84.26 c (10,0) x[237] = 13
115.10/84.26 c (10,0) x[238] = 41
115.10/84.26 c (10,0) x[239] = 123
115.10/84.26 c (10,0) x[240] = 126
115.10/84.26 c (10,0) x[241] = 135
115.10/84.26 c (10,0) x[242] = 162
115.10/84.26 s SATISFIABLE
115.10/84.27 v <instantiation>
115.10/84.27 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] bi[0][0] bi[0][1] bi[0][2] bi[0][3] bi[0][4] bi[1][0] bi[1][1] bi[1][2] bi[1][3] bi[1][4] bi[2][0] bi[2][1] bi[2][2] bi[2][3] bi[2][4] bi[3][0] bi[3][1] bi[3][2] bi[3][3] bi[3][4] bi[4][0] bi[4][1] bi[4][2] bi[4][3] bi[4][4] bi[5][0] bi[5][1] bi[5][2] bi[5][3] bi[5][4] bi[6][0] bi[6][1] bi[6][2] bi[6][3] bi[6][4] bi[7][0] bi[7][1] bi[7][2] bi[7][3] bi[7][4] bi[8][0] bi[8][1] bi[8][2] bi[8][3] bi[8][4] bi[9][0] bi[9][1] bi[9][2] bi[9][3] bi[9][4] bi[10][0] bi[10][1] bi[10][2] bi[10][3] bi[10][4] bi[11][0] bi[11][1] bi[11][2] bi[11][3] bi[11][4] bi[12][0] bi[12][1] bi[12][2] bi[12][3] bi[12][4] bi[13][0] bi[13][1] bi[13][2] bi[13][3] bi[13][4] bi[14][0] bi[14][1] bi[14][2] bi[14][3] bi[14][4] bi[15][0] bi[15][1] bi[15][2] bi[15][3] bi[15][4] bi[16][0] bi[16][1] bi[16][2] bi[16][3] bi[16][4] bi[17][0] bi[17][1] bi[17][2] bi[17][3] bi[17][4] bi[18][0] bi[18][1] bi[18][2] bi[18][3] bi[18][4] bi[19][0] bi[19][1] bi[19][2] bi[19][3] bi[19][4] bi[20][0] bi[20][1] bi[20][2] bi[20][3] bi[20][4] bi[21][0] bi[21][1] bi[21][2] bi[21][3] bi[21][4] bi[22][0] bi[22][1] bi[22][2] bi[22][3] bi[22][4] bi[23][0] bi[23][1] bi[23][2] bi[23][3] bi[23][4] bi[24][0] bi[24][1] bi[24][2] bi[24][3] bi[24][4] bi[25][0] bi[25][1] bi[25][2] bi[25][3] bi[25][4] bi[26][0] bi[26][1] bi[26][2] bi[26][3] bi[26][4] bi[27][0] bi[27][1] bi[27][2] bi[27][3] bi[27][4] bi[28][0] bi[28][1] bi[28][2] bi[28][3] bi[28][4] bi[29][0] bi[29][1] bi[29][2] bi[29][3] bi[29][4] bi[30][0] bi[30][1] bi[30][2] bi[30][3] bi[30][4] bi[31][0] bi[31][1] bi[31][2] bi[31][3] bi[31][4] bi[32][0] bi[32][1] bi[32][2] bi[32][3] bi[32][4] bi[33][0] bi[33][1] bi[33][2] bi[33][3] bi[33][4] bi[34][0] bi[34][1] bi[34][2] bi[34][3] bi[34][4] bi[35][0] bi[35][1] bi[35][2] bi[35][3] bi[35][4] bi[36][0] bi[36][1] bi[36][2] bi[36][3] bi[36][4] bi[37][0] bi[37][1] bi[37][2] bi[37][3] bi[37][4] bi[38][0] bi[38][1] bi[38][2] bi[38][3] bi[38][4] bi[39][0] bi[39][1] bi[39][2] bi[39][3] bi[39][4] bi[40][0] bi[40][1] bi[40][2] bi[40][3] bi[40][4] bi[41][0] bi[41][1] bi[41][2] bi[41][3] bi[41][4] bi[42][0] bi[42][1] bi[42][2] bi[42][3] bi[42][4] bi[43][0] bi[43][1] bi[43][2] bi[43][3] bi[43][4] bi[44][0] bi[44][1] bi[44][2] bi[44][3] bi[44][4] bi[45][0] bi[45][1] bi[45][2] bi[45][3] bi[45][4] bi[46][0] bi[46][1] bi[46][2] bi[46][3] bi[46][4] bi[47][0] bi[47][1] bi[47][2] bi[47][3] bi[47][4] bi[48][0] bi[48][1] bi[48][2] bi[48][3] bi[48][4] bi[49][0] bi[49][1] bi[49][2] bi[49][3] bi[49][4] bi[50][0] bi[50][1] bi[50][2] bi[50][3] bi[50][4] bi[51][0] bi[51][1] bi[51][2] bi[51][3] bi[51][4] bi[52][0] bi[52][1] bi[52][2] bi[52][3] bi[52][4] bi[53][0] bi[53][1] bi[53][2] bi[53][3] bi[53][4] bi[54][0] bi[54][1] bi[54][2] bi[54][3] bi[54][4] bi[55][0] bi[55][1] bi[55][2] bi[55][3] bi[55][4] bi[56][0] bi[56][1] bi[56][2] bi[56][3] bi[56][4] bi[57][0] bi[57][1] bi[57][2] bi[57][3] bi[57][4] bi[58][0] bi[58][1] bi[58][2] bi[58][3] bi[58][4] bi[59][0] bi[59][1] bi[59][2] bi[59][3] bi[59][4] bi[60][0] bi[60][1] bi[60][2] bi[60][3] bi[60][4] bi[61][0] bi[61][1] bi[61][2] bi[61][3] bi[61][4] bi[62][0] bi[62][1] bi[62][2] bi[62][3] bi[62][4] bi[63][0] bi[63][1] bi[63][2] bi[63][3] bi[63][4] bi[64][0] bi[64][1] bi[64][2] bi[64][3] bi[64][4] bi[65][0] bi[65][1] bi[65][2] bi[65][3] bi[65][4] bi[66][0] bi[66][1] bi[66][2] bi[66][3] bi[66][4] bi[67][0] bi[67][1] bi[67][2] bi[67][3] bi[67][4] bi[68][0] bi[68][1] bi[68][2] bi[68][3] bi[68][4] bi[69][0] bi[69][1] bi[69][2] bi[69][3] bi[69][4] bi[70][0] bi[70][1] bi[70][2] bi[70][3] bi[70][4] bi[71][0] bi[71][1] bi[71][2] bi[71][3] bi[71][4] bi[72][0] bi[72][1] bi[72][2] bi[72][3] bi[72][4] bi[73][0] bi[73][1] bi[73][2] bi[73][3] bi[73][4] bi[74][0] bi[74][1] bi[74][2] bi[74][3] bi[74][4] bi[75][0] bi[75][1] bi[75][2] bi[75][3] bi[75][4] bi[76][0] bi[76][1] bi[76][2] bi[76][3] bi[76][4] bi[77][0] bi[77][1] bi[77][2] bi[77][3] bi[77][4] bi[78][0] bi[78][1] bi[78][2] bi[78][3] bi[78][4] bi[79][0] bi[79][1] bi[79][2] bi[79][3] bi[79][4] bi[80][0] bi[80][1] bi[80][2] bi[80][3] bi[80][4] bi[81][0] bi[81][1] bi[81][2] bi[81][3] bi[81][4] bi[82][0] bi[82][1] bi[82][2] bi[82][3] bi[82][4] bi[83][0] bi[83][1] bi[83][2] bi[83][3] bi[83][4] bi[84][0] bi[84][1] bi[84][2] bi[84][3] bi[84][4] bi[85][0] bi[85][1] bi[85][2] bi[85][3] bi[85][4] bi[86][0] bi[86][1] bi[86][2] bi[86][3] bi[86][4] bi[87][0] bi[87][1] bi[87][2] bi[87][3] bi[87][4] bi[88][0] bi[88][1] bi[88][2] bi[88][3] bi[88][4] bi[89][0] bi[89][1] bi[89][2] bi[89][3] bi[89][4] bi[90][0] bi[90][1] bi[90][2] bi[90][3] bi[90][4] bi[91][0] bi[91][1] bi[91][2] bi[91][3] bi[91][4] bi[92][0] bi[92][1] bi[92][2] bi[92][3] bi[92][4] bi[93][0] bi[93][1] bi[93][2] bi[93][3] bi[93][4] bi[94][0] bi[94][1] bi[94][2] bi[94][3] bi[94][4] bi[95][0] bi[95][1] bi[95][2] bi[95][3] bi[95][4] bi[96][0] bi[96][1] bi[96][2] bi[96][3] bi[96][4] bi[97][0] bi[97][1] bi[97][2] bi[97][3] bi[97][4] bi[98][0] bi[98][1] bi[98][2] bi[98][3] bi[98][4] bi[99][0] bi[99][1] bi[99][2] bi[99][3] bi[99][4] bi[100][0] bi[100][1] bi[100][2] bi[100][3] bi[100][4] bi[101][0] bi[101][1] bi[101][2] bi[101][3] bi[101][4] bi[102][0] bi[102][1] bi[102][2] bi[102][3] bi[102][4] bi[103][0] bi[103][1] bi[103][2] bi[103][3] bi[103][4] bi[104][0] bi[104][1] bi[104][2] bi[104][3] bi[104][4] bi[105][0] bi[105][1] bi[105][2] bi[105][3] bi[105][4] bi[106][0] bi[106][1] bi[106][2] bi[106][3] bi[106][4] bi[107][0] bi[107][1] bi[107][2] bi[107][3] bi[107][4] bi[108][0] bi[108][1] bi[108][2] bi[108][3] bi[108][4] bi[109][0] bi[109][1] bi[109][2] bi[109][3] bi[109][4] bi[110][0] bi[110][1] bi[110][2] bi[110][3] bi[110][4] bi[111][0] bi[111][1] bi[111][2] bi[111][3] bi[111][4] bi[112][0] bi[112][1] bi[112][2] bi[112][3] bi[112][4] bi[113][0] bi[113][1] bi[113][2] bi[113][3] bi[113][4] bi[114][0] bi[114][1] bi[114][2] bi[114][3] bi[114][4] bi[115][0] bi[115][1] bi[115][2] bi[115][3] bi[115][4] bi[116][0] bi[116][1] bi[116][2] bi[116][3] bi[116][4] bi[117][0] bi[117][1] bi[117][2] bi[117][3] bi[117][4] bi[118][0] bi[118][1] bi[118][2] bi[118][3] bi[118][4] bi[119][0] bi[119][1] bi[119][2] bi[119][3] bi[119][4] bi[120][0] bi[120][1] bi[120][2] bi[120][3] bi[120][4] bi[121][0] bi[121][1] bi[121][2] bi[121][3] bi[121][4] bi[122][0] bi[122][1] bi[122][2] bi[122][3] bi[122][4] bi[123][0] bi[123][1] bi[123][2] bi[123][3] bi[123][4] bi[124][0] bi[124][1] bi[124][2] bi[124][3] bi[124][4] bi[125][0] bi[125][1] bi[125][2] bi[125][3] bi[125][4] bi[126][0] bi[126][1] bi[126][2] bi[126][3] bi[126][4] bi[127][0] bi[127][1] bi[127][2] bi[127][3] bi[127][4] bi[128][0] bi[128][1] bi[128][2] bi[128][3] bi[128][4] bi[129][0] bi[129][1] bi[129][2] bi[129][3] bi[129][4] bi[130][0] bi[130][1] bi[130][2] bi[130][3] bi[130][4] bi[131][0] bi[131][1] bi[131][2] bi[131][3] bi[131][4] bi[132][0] bi[132][1] bi[132][2] bi[132][3] bi[132][4] bi[133][0] bi[133][1] bi[133][2] bi[133][3] bi[133][4] bi[134][0] bi[134][1] bi[134][2] bi[134][3] bi[134][4] bi[135][0] bi[135][1] bi[135][2] bi[135][3] bi[135][4] bi[136][0] bi[136][1] bi[136][2] bi[136][3] bi[136][4] bi[137][0] bi[137][1] bi[137][2] bi[137][3] bi[137][4] bi[138][0] bi[138][1] bi[138][2] bi[138][3] bi[138][4] bi[139][0] bi[139][1] bi[139][2] bi[139][3] bi[139][4] bi[140][0] bi[140][1] bi[140][2] bi[140][3] bi[140][4] bi[141][0] bi[141][1] bi[141][2] bi[141][3] bi[141][4] bi[142][0] bi[142][1] bi[142][2] bi[142][3] bi[142][4] bi[143][0] bi[143][1] bi[143][2] bi[143][3] bi[143][4] bi[144][0] bi[144][1] bi[144][2] bi[144][3] bi[144][4] bi[145][0] bi[145][1] bi[145][2] bi[145][3] bi[145][4] bi[146][0] bi[146][1] bi[146][2] bi[146][3] bi[146][4] bi[147][0] bi[147][1] bi[147][2] bi[147][3] bi[147][4] bi[148][0] bi[148][1] bi[148][2] bi[148][3] bi[148][4] bi[149][0] bi[149][1] bi[149][2] bi[149][3] bi[149][4] bi[150][0] bi[150][1] bi[150][2] bi[150][3] bi[150][4] bi[151][0] bi[151][1] bi[151][2] bi[151][3] bi[151][4] bi[152][0] bi[152][1] bi[152][2] bi[152][3] bi[152][4] bi[153][0] bi[153][1] bi[153][2] bi[153][3] bi[153][4] bi[154][0] bi[154][1] bi[154][2] bi[154][3] bi[154][4] bi[155][0] bi[155][1] bi[155][2] bi[155][3] bi[155][4] bi[156][0] bi[156][1] bi[156][2] bi[156][3] bi[156][4] bi[157][0] bi[157][1] bi[157][2] bi[157][3] bi[157][4] bi[158][0] bi[158][1] bi[158][2] bi[158][3] bi[158][4] bi[159][0] bi[159][1] bi[159][2] bi[159][3] bi[159][4] bi[160][0] bi[160][1] bi[160][2] bi[160][3] bi[160][4] bi[161][0] bi[161][1] bi[161][2] bi[161][3] bi[161][4] bi[162][0] bi[162][1] bi[162][2] bi[162][3] bi[162][4] bi[163][0] bi[163][1] bi[163][2] bi[163][3] bi[163][4] bi[164][0] bi[164][1] bi[164][2] bi[164][3] bi[164][4] bi[165][0] bi[165][1] bi[165][2] bi[165][3] bi[165][4] bi[166][0] bi[166][1] bi[166][2] bi[166][3] bi[166][4] bi[167][0] bi[167][1] bi[167][2] bi[167][3] bi[167][4] bi[168][0] bi[168][1] bi[168][2] bi[168][3] bi[168][4] bi[169][0] bi[169][1] bi[169][2] bi[169][3] bi[169][4] bi[170][0] bi[170][1] bi[170][2] bi[170][3] bi[170][4] bi[171][0] bi[171][1] bi[171][2] bi[171][3] bi[171][4] bi[172][0] bi[172][1] bi[172][2] bi[172][3] bi[172][4] bi[173][0] bi[173][1] bi[173][2] bi[173][3] bi[173][4] bi[174][0] bi[174][1] bi[174][2] bi[174][3] bi[174][4] bi[175][0] bi[175][1] bi[175][2] bi[175][3] bi[175][4] bi[176][0] bi[176][1] bi[176][2] bi[176][3] bi[176][4] bi[177][0] bi[177][1] bi[177][2] bi[177][3] bi[177][4] bi[178][0] bi[178][1] bi[178][2] bi[178][3] bi[178][4] bi[179][0] bi[179][1] bi[179][2] bi[179][3] bi[179][4] bi[180][0] bi[180][1] bi[180][2] bi[180][3] bi[180][4] bi[181][0] bi[181][1] bi[181][2] bi[181][3] bi[181][4] bi[182][0] bi[182][1] bi[182][2] bi[182][3] bi[182][4] bi[183][0] bi[183][1] bi[183][2] bi[183][3] bi[183][4] bi[184][0] bi[184][1] bi[184][2] bi[184][3] bi[184][4] bi[185][0] bi[185][1] bi[185][2] bi[185][3] bi[185][4] bi[186][0] bi[186][1] bi[186][2] bi[186][3] bi[186][4] bi[187][0] bi[187][1] bi[187][2] bi[187][3] bi[187][4] bi[188][0] bi[188][1] bi[188][2] bi[188][3] bi[188][4] bi[189][0] bi[189][1] bi[189][2] bi[189][3] bi[189][4] bi[190][0] bi[190][1] bi[190][2] bi[190][3] bi[190][4] bi[191][0] bi[191][1] bi[191][2] bi[191][3] bi[191][4] bi[192][0] bi[192][1] bi[192][2] bi[192][3] bi[192][4] bi[193][0] bi[193][1] bi[193][2] bi[193][3] bi[193][4] bi[194][0] bi[194][1] bi[194][2] bi[194][3] bi[194][4] bi[195][0] bi[195][1] bi[195][2] bi[195][3] bi[195][4] bi[196][0] bi[196][1] bi[196][2] bi[196][3] bi[196][4] bi[197][0] bi[197][1] bi[197][2] bi[197][3] bi[197][4] bi[198][0] bi[198][1] bi[198][2] bi[198][3] bi[198][4] bi[199][0] bi[199][1] bi[199][2] bi[199][3] bi[199][4] bi[200][0] bi[200][1] bi[200][2] bi[200][3] bi[200][4] bi[201][0] bi[201][1] bi[201][2] bi[201][3] bi[201][4] bi[202][0] bi[202][1] bi[202][2] bi[202][3] bi[202][4] bi[203][0] bi[203][1] bi[203][2] bi[203][3] bi[203][4] bi[204][0] bi[204][1] bi[204][2] bi[204][3] bi[204][4] bi[205][0] bi[205][1] bi[205][2] bi[205][3] bi[205][4] bi[206][0] bi[206][1] bi[206][2] bi[206][3] bi[206][4] bi[207][0] bi[207][1] bi[207][2] bi[207][3] bi[207][4] bi[208][0] bi[208][1] bi[208][2] bi[208][3] bi[208][4] bi[209][0] bi[209][1] bi[209][2] bi[209][3] bi[209][4] bi[210][0] bi[210][1] bi[210][2] bi[210][3] bi[210][4] bi[211][0] bi[211][1] bi[211][2] bi[211][3] bi[211][4] bi[212][0] bi[212][1] bi[212][2] bi[212][3] bi[212][4] bi[213][0] bi[213][1] bi[213][2] bi[213][3] bi[213][4] bi[214][0] bi[214][1] bi[214][2] bi[214][3] bi[214][4] bi[215][0] bi[215][1] bi[215][2] bi[215][3] bi[215][4] bi[216][0] bi[216][1] bi[216][2] bi[216][3] bi[216][4] bi[217][0] bi[217][1] bi[217][2] bi[217][3] bi[217][4] bi[218][0] bi[218][1] bi[218][2] bi[218][3] bi[218][4] bi[219][0] bi[219][1] bi[219][2] bi[219][3] bi[219][4] bi[220][0] bi[220][1] bi[220][2] bi[220][3] bi[220][4] bi[221][0] bi[221][1] bi[221][2] bi[221][3] bi[221][4] bi[222][0] bi[222][1] bi[222][2] bi[222][3] bi[222][4] bi[223][0] bi[223][1] bi[223][2] bi[223][3] bi[223][4] bi[224][0] bi[224][1] bi[224][2] bi[224][3] bi[224][4] bi[225][0] bi[225][1] bi[225][2] bi[225][3] bi[225][4] bi[226][0] bi[226][1] bi[226][2] bi[226][3] bi[226][4] bi[227][0] bi[227][1] bi[227][2] bi[227][3] bi[227][4] bi[228][0] bi[228][1] bi[228][2] bi[228][3] bi[228][4] bi[229][0] bi[229][1] bi[229][2] bi[229][3] bi[229][4] bi[230][0] bi[230][1] bi[230][2] bi[230][3] bi[230][4] bi[231][0] bi[231][1] bi[231][2] bi[231][3] bi[231][4] bi[232][0] bi[232][1] bi[232][2] bi[232][3] bi[232][4] bi[233][0] bi[233][1] bi[233][2] bi[233][3] bi[233][4] bi[234][0] bi[234][1] bi[234][2] bi[234][3] bi[234][4] bi[235][0] bi[235][1] bi[235][2] bi[235][3] bi[235][4] bi[236][0] bi[236][1] bi[236][2] bi[236][3] bi[236][4] bi[237][0] bi[237][1] bi[237][2] bi[237][3] bi[237][4] bi[238][0] bi[238][1] bi[238][2] bi[238][3] bi[238][4] bi[239][0] bi[239][1] bi[239][2] bi[239][3] bi[239][4] bi[240][0] bi[240][1] bi[240][2] bi[240][3] bi[240][4] bi[241][0] bi[241][1] bi[241][2] bi[241][3] bi[241][4] bi[242][0] bi[242][1] bi[242][2] bi[242][3] bi[242][4] g[0] g[1] g[2]</list>
115.10/84.27 v <values>0 2 8 26 80 242 241 239 233 214 158 232 212 152 215 160 238 230 205 131 151 211 149 206 133 157 229 203 124 130 148 202 121 122 125 134 161 240 235 221 179 53 159 236 223 185 71 213 154 220 176 44 132 155 224 187 77 231 208 140 178 50 150 209 142 184 68 204 128 143 186 74 222 181 59 177 47 141 182 62 188 79 237 226 194 98 52 156 227 196 104 70 210 145 193 95 43 129 146 195 101 61 183 65 197 106 76 228 199 113 97 49 147 200 115 103 67 201 119 116 105 73 219 173 34 102 64 192 92 35 107 78 234 217 167 17 51 153 218 169 23 69 207 136 166 14 42 127 138 172 32 96 45 137 168 20 60 180 56 170 25 75 225 190 86 16 48 144 191 88 22 66 198 110 89 24 72 216 163 5 15 46 139 174 38 114 99 55 165 11 33 100 57 171 29 87 18 54 164 7 21 63 189 83 6 19 58 175 40 120 118 112 93 37 111 91 31 94 39 117 109 84 10 30 90 28 85 12 36 108 82 3 9 27 81 1 4 13 41 123 126 135 162 0 0 0 0 0 0 0 0 0 2 0 0 0 2 2 0 0 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 1 2 2 2 1 2 2 2 1 2 2 1 1 2 2 1 2 2 2 1 2 1 2 1 2 1 2 1 2 1 2 2 2 1 2 2 2 1 2 2 2 1 2 2 2 1 1 2 2 1 1 2 2 1 1 2 1 1 1 2 1 2 1 2 1 2 1 2 1 2 1 1 1 2 1 1 2 2 1 1 2 2 1 1 2 2 1 1 2 2 1 1 2 2 1 1 1 2 1 1 1 2 1 1 1 2 1 1 1 2 1 1 1 2 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 2 2 1 1 2 2 2 1 2 2 2 2 2 2 2 2 0 2 2 2 0 1 2 2 0 1 2 2 0 1 2 2 0 1 2 2 2 1 2 2 2 0 2 2 2 0 2 2 2 0 2 1 2 0 2 1 2 0 2 1 2 2 2 1 2 2 0 1 2 2 0 1 2 2 0 1 1 2 0 1 1 2 0 1 1 2 2 1 1 2 2 0 1 2 2 0 2 2 2 0 2 2 2 0 2 2 1 0 2 2 1 2 2 2 1 2 0 2 1 2 0 1 1 2 0 1 2 2 0 1 2 1 0 1 2 1 2 1 2 1 2 0 2 1 2 0 2 1 2 0 2 1 2 0 2 1 1 0 2 1 1 2 2 1 1 2 0 1 1 2 0 2 1 2 0 2 2 2 0 2 2 0 0 2 2 0 2 2 2 0 2 0 2 0 2 0 1 0 2 0 1 2 2 0 1 2 0 0 1 2 0 2 1 2 0 2 0 2 0 2 0 2 0 2 0 2 2 2 0 2 2 2 0 2 2 2 1 2 2 2 1 0 2 2 1 0 1 2 1 0 1 2 1 0 1 2 2 0 1 2 2 1 1 2 2 1 0 2 2 1 0 2 2 1 0 2 1 1 0 2 1 2 0 2 1 2 1 2 1 2 1 0 1 2 1 0 1 2 1 0 1 1 1 0 1 1 2 0 1 1 2 1 1 1 2 1 0 1 2 1 0 2 2 1 0 2 0 1 0 2 0 2 0 2 0 2 1 2 0 2 1 0 0 2 1 0 2 2 1 0 2 2 1 0 2 2 1 0 2 2 1 1 2 2 1 1 0 2 1 1 0 1 1 1 0 1 2 1 0 1 2 1 0 1 2 1 1 1 2 1 1 0 2 1 1 0 2 1 1 0 2 1 1 0 2 1 1 0 2 1 1 1 2 1 1 1 0 1 1 1 0 2 1 1 0 2 2 1 0 2 2 0 0 2 2 0 1 2 2 0 1 0 2 0 1 0 2 0 1 0 2 1 1 0 2 1 0 0 2 1 0 1 2 1 0 1 0 1 0 1 0 2 0 1 0 2 2 1 0 2 2 2 0 2 2 2 0 2 2 2 0 0 2 2 0 0 1 2 0 0 1 2 0 0 1 2 2 0 1 2 2 0 1 2 2 0 0 2 2 0 0 2 2 0 0 2 1 0 0 2 1 2 0 2 1 2 0 2 1 2 0 0 1 2 0 0 1 2 0 0 1 1 0 0 1 1 2 0 1 1 2 0 1 1 2 0 1 1 2 0 1 0 2 0 1 0 1 0 1 0 1 2 1 0 1 2 0 0 1 2 0 0 1 2 0 0 2 2 0 0 2 0 0 0 2 0 2 0 2 0 2 0 2 0 2 0 0 0 2 0 0 2 2 0 0 2 2 0 0 2 2 1 0 2 2 1 0 2 2 1 0 0 2 1 0 0 1 1 0 0 1 2 0 0 1 2 1 0 1 2 1 0 1 2 1 0 0 2 1 0 0 2 1 0 0 2 1 0 0 2 1 1 0 2 1 1 0 2 1 1 0 0 1 1 0 0 2 1 0 0 2 2 0 0 2 2 0 0 2 2 0 0 2 2 0 0 0 2 0 0 0 1 0 0 0 1 2 0 0 1 2 0 0 1 2 0 1 1 2 0 1 1 2 0 1 1 0 0 1 1 0 2 1 1 0 2 0 1 0 2 0 0 0 2 0 0 1 2 0 0 1 0 0 0 1 0 2 0 1 0 2 0 1 0 2 0 1 0 2 0 1 0 2 0 1 0 0 0 1 0 0 2 1 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 1 0 0 2 1 0 0 2 1 0 0 2 1 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 2 0 1 0 2 0 1 1 2 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 1 1 1 2 1 1 1 2 0 1 1 2 0 0 1 2 0 0 0 2 0 0 0 0 81 81 81</values>
115.10/84.27 v </instantiation>
115.10/84.27 c (10,0) Show results End
115.10/84.27 c (10,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
115.10/84.27 c (10,0) 9,10,STOP-AFTER(ALL)
115.10/84.27 c END-Prog: Tue Sep 24 16:40:22 CEST 2019