Comment: This TM produces >6.4*10^462 ones in >6.1*10^925 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | B0L | 1 | right | B | 0 | left | B |
| B | C0R | B1L | 0 | right | C | 1 | left | B |
| C | D1R | A0L | 1 | right | D | 0 | left | A |
| D | E1L | F1L | 1 | left | E | 1 | left | F |
| E | A1L | D0L | 1 | left | A | 0 | left | D |
| F | Z1R | E1L | 1 | right | Z | 1 | left | E |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 3-bck-macro machine.
Simulation is done as 3-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 3.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (000)A>
1 3 3 (101)D>
2 7 -1 <D(010) 100
3 12 -4 <B(111) 010 100
4 22 0 001 (110)C> 010 100
5 28 -4 001 <B(101) 110 100
6 51 -7 <B(011) 111 110 100
7 75 -3 111 (110)C> 111 110 100
8 84 0 1112 (110)C> 110 100
9 91 3 1113 (101)D> 100
10 95 -1 1113 <B(011) 100
11 98 -4 1112 <B(111) 011 100
12 104 -10 <B(111) 1112 011 100
13 114 -6 001 (110)C> 1112 011 100
14 132 0 001 1112 (110)C> 011 100
15 138 -4 001 1112 <B(101) 111 100
16 141 -7 001 111 <B(111) 101 111 100
17 144 -10 001 <B(111) 111 101 111 100
18 158 -6 011 (110)C> 111 101 111 100
19 167 -3 011 111 (110)C> 101 111 100
20 177 -7 011 111 <B(110) 1112 100
21 180 -10 011 <B(111) 110 1112 100
22 198 -6 111 (110)C> 110 1112 100
23 205 -3 1112 (101)D> 1112 100
24 209 -7 1112 <B(011) 1112 100
25 212 -10 111 <B(111) 011 1112 100
26 215 -13 <B(111) 111 011 1112 100
27 225 -9 001 (110)C> 111 011 1112 100
28 234 -6 001 111 (110)C> 011 1112 100
29 240 -10 001 111 <B(101) 1113 100
30 243 -13 001 <B(111) 101 1113 100
31 257 -9 011 (110)C> 101 1113 100
32 267 -13 011 <B(110) 1114 100
33 283 -9 111 (101)D> 1114 100
34 287 -13 111 <B(011) 1114 100
35 290 -16 <B(111) 011 1114 100
36 300 -12 001 (110)C> 011 1114 100
37 306 -16 001 <B(101) 1115 100
38 329 -19 <B(011) 1116 100
39 353 -15 111 (110)C> 1116 100
40 407 3 1117 (110)C> 100
41 417 -1 1117 <E(110) 101
42 438 -22 <E(110) 1107 101
43 456 -18 111 (101)D> 1107 101
44 460 -22 111 <B(011) 1107 101
45 463 -25 <B(111) 011 1107 101
46 473 -21 001 (110)C> 011 1107 101
47 479 -25 001 <B(101) 111 1107 101
48 502 -28 <B(011) 1112 1107 101
49 526 -24 111 (110)C> 1112 1107 101
50 544 -18 1113 (110)C> 1107 101
51 551 -15 1114 (101)D> 1106 101
52 555 -19 1114 <B(011) 1106 101
53 558 -22 1113 <B(111) 011 1106 101
54 567 -31 <B(111) 1113 011 1106 101
55 577 -27 001 (110)C> 1113 011 1106 101
56 604 -18 001 1113 (110)C> 011 1106 101
57 610 -22 001 1113 <B(101) 111 1106 101
58 613 -25 001 1112 <B(111) 101 111 1106 101
59 619 -31 001 <B(111) 1112 101 111 1106 101
60 633 -27 011 (110)C> 1112 101 111 1106 101
61 651 -21 011 1112 (110)C> 101 111 1106 101
62 661 -25 011 1112 <B(110) 1112 1106 101
63 664 -28 011 111 <B(111) 110 1112 1106 101
64 667 -31 011 <B(111) 111 110 1112 1106 101
65 685 -27 111 (110)C> 111 110 1112 1106 101
66 694 -24 1112 (110)C> 110 1112 1106 101
67 701 -21 1113 (101)D> 1112 1106 101
68 705 -25 1113 <B(011) 1112 1106 101
69 708 -28 1112 <B(111) 011 1112 1106 101
70 714 -34 <B(111) 1112 011 1112 1106 101
71 724 -30 001 (110)C> 1112 011 1112 1106 101
72 742 -24 001 1112 (110)C> 011 1112 1106 101
73 748 -28 001 1112 <B(101) 1113 1106 101
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 001 1113+V(1) <B(101) 1111+V(2) [*]* [*]*
1 3 -3 001 1112+V(1) <B(111) 101 1111+V(2) [*]* [*]*
2 9+3*V(1) -9+-3*V(1) 001 <B(111) 1112+V(1) 101 1111+V(2) [*]* [*]*
3 23+3*V(1) -5+-3*V(1) 011 (110)C> 1112+V(1) 101 1111+V(2) [*]* [*]*
4 41+12*V(1) 1 011 1112+V(1) (110)C> 101 1111+V(2) [*]* [*]*
5 51+12*V(1) -3 011 1112+V(1) <B(110) 1112+V(2) [*]* [*]*
6 54+12*V(1) -6 011 1111+V(1) <B(111) 110 1112+V(2) [*]* [*]*
7 57+15*V(1) -9+-3*V(1) 011 <B(111) 1111+V(1) 110 1112+V(2) [*]* [*]*
8 75+15*V(1) -5+-3*V(1) 111 (110)C> 1111+V(1) 110 1112+V(2) [*]* [*]*
9 84+24*V(1) -2 1112+V(1) (110)C> 110 1112+V(2) [*]* [*]*
10 91+24*V(1) 1 1113+V(1) (101)D> 1112+V(2) [*]* [*]*
11 95+24*V(1) -3 1113+V(1) <B(011) 1112+V(2) [*]* [*]*
12 98+24*V(1) -6 1112+V(1) <B(111) 011 1112+V(2) [*]* [*]*
13 104+27*V(1) -12+-3*V(1) <B(111) 1112+V(1) 011 1112+V(2) [*]* [*]*
14 114+27*V(1) -8+-3*V(1) 001 (110)C> 1112+V(1) 011 1112+V(2) [*]* [*]*
15 132+36*V(1) -2 001 1112+V(1) (110)C> 011 1112+V(2) [*]* [*]*
16 138+36*V(1) -6 001 1112+V(1) <B(101) 1113+V(2) [*]* [*]*
<< Success! ==> defined new CTR 1 (PA)
74 751 -31 001 111 <B(111) 101 1113 1106 101
75 754 -34 001 <B(111) 111 101 1113 1106 101
76 768 -30 011 (110)C> 111 101 1113 1106 101
77 777 -27 011 111 (110)C> 101 1113 1106 101
78 787 -31 011 111 <B(110) 1114 1106 101
79 790 -34 011 <B(111) 110 1114 1106 101
80 808 -30 111 (110)C> 110 1114 1106 101
81 815 -27 1112 (101)D> 1114 1106 101
82 819 -31 1112 <B(011) 1114 1106 101
83 822 -34 111 <B(111) 011 1114 1106 101
84 825 -37 <B(111) 111 011 1114 1106 101
85 835 -33 001 (110)C> 111 011 1114 1106 101
86 844 -30 001 111 (110)C> 011 1114 1106 101
87 850 -34 001 111 <B(101) 1115 1106 101
88 853 -37 001 <B(111) 101 1115 1106 101
89 867 -33 011 (110)C> 101 1115 1106 101
90 877 -37 011 <B(110) 1116 1106 101
91 893 -33 111 (101)D> 1116 1106 101
92 897 -37 111 <B(011) 1116 1106 101
93 900 -40 <B(111) 011 1116 1106 101
94 910 -36 001 (110)C> 011 1116 1106 101
95 916 -40 001 <B(101) 1117 1106 101
96 939 -43 <B(011) 1118 1106 101
97 963 -39 111 (110)C> 1118 1106 101
98 1035 -15 1119 (110)C> 1106 101
99 1042 -12 11110 (101)D> 1105 101
100 1046 -16 11110 <B(011) 1105 101
101 1049 -19 1119 <B(111) 011 1105 101
102 1076 -46 <B(111) 1119 011 1105 101
103 1086 -42 001 (110)C> 1119 011 1105 101
104 1167 -15 001 1119 (110)C> 011 1105 101
105 1173 -19 001 1119 <B(101) 111 1105 101
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 001 1112 <B(101) 1111+V(2) 1102+V(1) [*]*
1 3 -3 001 111 <B(111) 101 1111+V(2) 1102+V(1) [*]*
2 6 -6 001 <B(111) 111 101 1111+V(2) 1102+V(1) [*]*
3 20 -2 011 (110)C> 111 101 1111+V(2) 1102+V(1) [*]*
4 29 1 011 111 (110)C> 101 1111+V(2) 1102+V(1) [*]*
5 39 -3 011 111 <B(110) 1112+V(2) 1102+V(1) [*]*
6 42 -6 011 <B(111) 110 1112+V(2) 1102+V(1) [*]*
7 60 -2 111 (110)C> 110 1112+V(2) 1102+V(1) [*]*
8 67 1 1112 (101)D> 1112+V(2) 1102+V(1) [*]*
9 71 -3 1112 <B(011) 1112+V(2) 1102+V(1) [*]*
10 74 -6 111 <B(111) 011 1112+V(2) 1102+V(1) [*]*
11 77 -9 <B(111) 111 011 1112+V(2) 1102+V(1) [*]*
12 87 -5 001 (110)C> 111 011 1112+V(2) 1102+V(1) [*]*
13 96 -2 001 111 (110)C> 011 1112+V(2) 1102+V(1) [*]*
14 102 -6 001 111 <B(101) 1113+V(2) 1102+V(1) [*]*
15 105 -9 001 <B(111) 101 1113+V(2) 1102+V(1) [*]*
16 119 -5 011 (110)C> 101 1113+V(2) 1102+V(1) [*]*
17 129 -9 011 <B(110) 1114+V(2) 1102+V(1) [*]*
18 145 -5 111 (101)D> 1114+V(2) 1102+V(1) [*]*
19 149 -9 111 <B(011) 1114+V(2) 1102+V(1) [*]*
20 152 -12 <B(111) 011 1114+V(2) 1102+V(1) [*]*
21 162 -8 001 (110)C> 011 1114+V(2) 1102+V(1) [*]*
22 168 -12 001 <B(101) 1115+V(2) 1102+V(1) [*]*
23 191 -15 <B(011) 1116+V(2) 1102+V(1) [*]*
24 215 -11 111 (110)C> 1116+V(2) 1102+V(1) [*]*
25 269+9*V(2) 7+3*V(2) 1117+V(2) (110)C> 1102+V(1) [*]*
26 276+9*V(2) 10+3*V(2) 1118+V(2) (101)D> 1101+V(1) [*]*
27 280+9*V(2) 6+3*V(2) 1118+V(2) <B(011) 1101+V(1) [*]*
28 283+9*V(2) 3+3*V(2) 1117+V(2) <B(111) 011 1101+V(1) [*]*
29 304+12*V(2) -18 <B(111) 1117+V(2) 011 1101+V(1) [*]*
30 314+12*V(2) -14 001 (110)C> 1117+V(2) 011 1101+V(1) [*]*
31 377+21*V(2) 7+3*V(2) 001 1117+V(2) (110)C> 011 1101+V(1) [*]*
32 383+21*V(2) 3+3*V(2) 001 1117+V(2) <B(101) 111 1101+V(1) [*]*
<< Success! ==> defined new CTR 2 (PPA)
105 1173 -19 001 1119 <B(101) 111 1105 101
== Executing PA-CTR 1, V(1)=6, V(2)=0, repcount=7, factor=2/1
217 2895 -61 001 1112 <B(101) 11115 1105 101
== Executing PPA-CTR 2 (once), V(1)=3, V(2)=14
249 3572 -16 001 11121 <B(101) 111 1104 101
== Executing PA-CTR 1, V(1)=18, V(2)=0, repcount=19, factor=2/1
553 12350 -130 001 1112 <B(101) 11139 1104 101
== Executing PPA-CTR 2 (once), V(1)=2, V(2)=38
585 13531 -13 001 11145 <B(101) 111 1103 101
== Executing PA-CTR 1, V(1)=42, V(2)=0, repcount=43, factor=2/1
1273 51973 -271 001 1112 <B(101) 11187 1103 101
== Executing PPA-CTR 2 (once), V(1)=1, V(2)=86
1305 54162 -10 001 11193 <B(101) 111 1102 101
== Executing PA-CTR 1, V(1)=90, V(2)=0, repcount=91, factor=2/1
2761 214140 -556 001 1112 <B(101) 111183 1102 101
== Executing PPA-CTR 2 (once), V(1)=0, V(2)=182
2793 218345 -7 001 111189 <B(101) 111 110 101
== Executing PA-CTR 1, V(1)=186, V(2)=0, repcount=187, factor=2/1
5785 870227 -1129 001 1112 <B(101) 111375 110 101
5786 870230 -1132 001 111 <B(111) 101 111375 110 101
5787 870233 -1135 001 <B(111) 111 101 111375 110 101
5788 870247 -1131 011 (110)C> 111 101 111375 110 101
5789 870256 -1128 011 111 (110)C> 101 111375 110 101
5790 870266 -1132 011 111 <B(110) 111376 110 101
5791 870269 -1135 011 <B(111) 110 111376 110 101
5792 870287 -1131 111 (110)C> 110 111376 110 101
5793 870294 -1128 1112 (101)D> 111376 110 101
5794 870298 -1132 1112 <B(011) 111376 110 101
5795 870301 -1135 111 <B(111) 011 111376 110 101
5796 870304 -1138 <B(111) 111 011 111376 110 101
5797 870314 -1134 001 (110)C> 111 011 111376 110 101
5798 870323 -1131 001 111 (110)C> 011 111376 110 101
5799 870329 -1135 001 111 <B(101) 111377 110 101
5800 870332 -1138 001 <B(111) 101 111377 110 101
5801 870346 -1134 011 (110)C> 101 111377 110 101
5802 870356 -1138 011 <B(110) 111378 110 101
5803 870372 -1134 111 (101)D> 111378 110 101
5804 870376 -1138 111 <B(011) 111378 110 101
5805 870379 -1141 <B(111) 011 111378 110 101
5806 870389 -1137 001 (110)C> 011 111378 110 101
5807 870395 -1141 001 <B(101) 111379 110 101
5808 870418 -1144 <B(011) 111380 110 101
5809 870442 -1140 111 (110)C> 111380 110 101
5810 873862 0 111381 (110)C> 110 101
5811 873869 3 111382 (101)D> 101
5812 873873 -1 111382 <B(011) 101
5813 873876 -4 111381 <B(111) 011 101
5814 875019 -1147 <B(111) 111381 011 101
5815 875029 -1143 001 (110)C> 111381 011 101
5816 878458 0 001 111381 (110)C> 011 101
5817 878464 -4 001 111381 <B(101) 111 101
5818 878467 -7 001 111380 <B(111) 101 111 101
5819 879607 -1147 001 <B(111) 111380 101 111 101
5820 879621 -1143 011 (110)C> 111380 101 111 101
5821 883041 -3 011 111380 (110)C> 101 111 101
5822 883051 -7 011 111380 <B(110) 1112 101
5823 883054 -10 011 111379 <B(111) 110 1112 101
5824 884191 -1147 011 <B(111) 111379 110 1112 101
5825 884209 -1143 111 (110)C> 111379 110 1112 101
5826 887620 -6 111380 (110)C> 110 1112 101
5827 887627 -3 111381 (101)D> 1112 101
5828 887631 -7 111381 <B(011) 1112 101
5829 887634 -10 111380 <B(111) 011 1112 101
5830 888774 -1150 <B(111) 111380 011 1112 101
5831 888784 -1146 001 (110)C> 111380 011 1112 101
5832 892204 -6 001 111380 (110)C> 011 1112 101
5833 892210 -10 001 111380 <B(101) 1113 101
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 001 1113+V(1) <B(101) 1111+V(2) [*]*
1 3 -3 001 1112+V(1) <B(111) 101 1111+V(2) [*]*
2 9+3*V(1) -9+-3*V(1) 001 <B(111) 1112+V(1) 101 1111+V(2) [*]*
3 23+3*V(1) -5+-3*V(1) 011 (110)C> 1112+V(1) 101 1111+V(2) [*]*
4 41+12*V(1) 1 011 1112+V(1) (110)C> 101 1111+V(2) [*]*
5 51+12*V(1) -3 011 1112+V(1) <B(110) 1112+V(2) [*]*
6 54+12*V(1) -6 011 1111+V(1) <B(111) 110 1112+V(2) [*]*
7 57+15*V(1) -9+-3*V(1) 011 <B(111) 1111+V(1) 110 1112+V(2) [*]*
8 75+15*V(1) -5+-3*V(1) 111 (110)C> 1111+V(1) 110 1112+V(2) [*]*
9 84+24*V(1) -2 1112+V(1) (110)C> 110 1112+V(2) [*]*
10 91+24*V(1) 1 1113+V(1) (101)D> 1112+V(2) [*]*
11 95+24*V(1) -3 1113+V(1) <B(011) 1112+V(2) [*]*
12 98+24*V(1) -6 1112+V(1) <B(111) 011 1112+V(2) [*]*
13 104+27*V(1) -12+-3*V(1) <B(111) 1112+V(1) 011 1112+V(2) [*]*
14 114+27*V(1) -8+-3*V(1) 001 (110)C> 1112+V(1) 011 1112+V(2) [*]*
15 132+36*V(1) -2 001 1112+V(1) (110)C> 011 1112+V(2) [*]*
16 138+36*V(1) -6 001 1112+V(1) <B(101) 1113+V(2) [*]*
<< Success! ==> defined new CTR 3 (PA)
5833 892210 -10 001 111380 <B(101) 1113 101
== Executing PA-CTR 3, V(1)=377, V(2)=2, repcount=378, factor=2/1
11881 3509482 -2278 001 1112 <B(101) 111759 101
11882 3509485 -2281 001 111 <B(111) 101 111759 101
11883 3509488 -2284 001 <B(111) 111 101 111759 101
11884 3509502 -2280 011 (110)C> 111 101 111759 101
11885 3509511 -2277 011 111 (110)C> 101 111759 101
11886 3509521 -2281 011 111 <B(110) 111760 101
11887 3509524 -2284 011 <B(111) 110 111760 101
11888 3509542 -2280 111 (110)C> 110 111760 101
11889 3509549 -2277 1112 (101)D> 111760 101
11890 3509553 -2281 1112 <B(011) 111760 101
11891 3509556 -2284 111 <B(111) 011 111760 101
11892 3509559 -2287 <B(111) 111 011 111760 101
11893 3509569 -2283 001 (110)C> 111 011 111760 101
11894 3509578 -2280 001 111 (110)C> 011 111760 101
11895 3509584 -2284 001 111 <B(101) 111761 101
11896 3509587 -2287 001 <B(111) 101 111761 101
11897 3509601 -2283 011 (110)C> 101 111761 101
11898 3509611 -2287 011 <B(110) 111762 101
11899 3509627 -2283 111 (101)D> 111762 101
11900 3509631 -2287 111 <B(011) 111762 101
11901 3509634 -2290 <B(111) 011 111762 101
11902 3509644 -2286 001 (110)C> 011 111762 101
11903 3509650 -2290 001 <B(101) 111763 101
11904 3509673 -2293 <B(011) 111764 101
11905 3509697 -2289 111 (110)C> 111764 101
11906 3516573 3 111765 (110)C> 101
11907 3516583 -1 111765 <B(110) 111
11908 3516586 -4 111764 <B(111) 110 111
11909 3518878 -2296 <B(111) 111764 110 111
11910 3518888 -2292 001 (110)C> 111764 110 111
11911 3525764 0 001 111764 (110)C> 110 111
11912 3525771 3 001 111765 (101)D> 111
11913 3525775 -1 001 111765 <B(011) 111
11914 3525778 -4 001 111764 <B(111) 011 111
11915 3528070 -2296 001 <B(111) 111764 011 111
11916 3528084 -2292 011 (110)C> 111764 011 111
11917 3534960 0 011 111764 (110)C> 011 111
11918 3534966 -4 011 111764 <B(101) 1112
11919 3534969 -7 011 111763 <B(111) 101 1112
11920 3537258 -2296 011 <B(111) 111763 101 1112
11921 3537276 -2292 111 (110)C> 111763 101 1112
11922 3544143 -3 111764 (110)C> 101 1112
11923 3544153 -7 111764 <B(110) 1113
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 1113+V(1) <B(110) 1111+V(2)
1 3 -3 1112+V(1) <B(111) 110 1111+V(2)
2 9+3*V(1) -9+-3*V(1) <B(111) 1112+V(1) 110 1111+V(2)
3 19+3*V(1) -5+-3*V(1) 001 (110)C> 1112+V(1) 110 1111+V(2)
4 37+12*V(1) 1 001 1112+V(1) (110)C> 110 1111+V(2)
5 44+12*V(1) 4 001 1113+V(1) (101)D> 1111+V(2)
6 48+12*V(1) 0 001 1113+V(1) <B(011) 1111+V(2)
7 51+12*V(1) -3 001 1112+V(1) <B(111) 011 1111+V(2)
8 57+15*V(1) -9+-3*V(1) 001 <B(111) 1112+V(1) 011 1111+V(2)
9 71+15*V(1) -5+-3*V(1) 011 (110)C> 1112+V(1) 011 1111+V(2)
10 89+24*V(1) 1 011 1112+V(1) (110)C> 011 1111+V(2)
11 95+24*V(1) -3 011 1112+V(1) <B(101) 1112+V(2)
12 98+24*V(1) -6 011 1111+V(1) <B(111) 101 1112+V(2)
13 101+27*V(1) -9+-3*V(1) 011 <B(111) 1111+V(1) 101 1112+V(2)
14 119+27*V(1) -5+-3*V(1) 111 (110)C> 1111+V(1) 101 1112+V(2)
15 128+36*V(1) -2 1112+V(1) (110)C> 101 1112+V(2)
16 138+36*V(1) -6 1112+V(1) <B(110) 1113+V(2)
<< Success! ==> defined new CTR 4 (PA)
11923 3544153 -7 111764 <B(110) 1113
== Executing PA-CTR 4, V(1)=761, V(2)=2, repcount=762, factor=2/1
24115 14087185 -4579 1112 <B(110) 1111527
24116 14087188 -4582 111 <B(111) 110 1111527
24117 14087191 -4585 <B(111) 111 110 1111527
24118 14087201 -4581 001 (110)C> 111 110 1111527
24119 14087210 -4578 001 111 (110)C> 110 1111527
24120 14087217 -4575 001 1112 (101)D> 1111527
24121 14087221 -4579 001 1112 <B(011) 1111527
24122 14087224 -4582 001 111 <B(111) 011 1111527
24123 14087227 -4585 001 <B(111) 111 011 1111527
24124 14087241 -4581 011 (110)C> 111 011 1111527
24125 14087250 -4578 011 111 (110)C> 011 1111527
24126 14087256 -4582 011 111 <B(101) 1111528
24127 14087259 -4585 011 <B(111) 101 1111528
24128 14087277 -4581 111 (110)C> 101 1111528
24129 14087287 -4585 111 <B(110) 1111529
24130 14087290 -4588 <B(111) 110 1111529
24131 14087300 -4584 001 (110)C> 110 1111529
24132 14087307 -4581 001 111 (101)D> 1111529
24133 14087311 -4585 001 111 <B(011) 1111529
24134 14087314 -4588 001 <B(111) 011 1111529
24135 14087328 -4584 011 (110)C> 011 1111529
24136 14087334 -4588 011 <B(101) 1111530
24137 14087353 -4591 <B(110) 1111531
24138 14087361 -4587 001 (101)D> 1111531
24139 14087365 -4591 001 <B(011) 1111531
24140 14087380 -4594 <A(111) 1111532
24141 14087396 -4590 011 (110)C> 1111532
24142 14101184 6 011 1111532 (110)C>
24143 14101190 2 011 1111532 <F(101) 010
24144 14105786 -4594 011 <F(101) 1011532 010
24145 14105789 -4597 <E(101) 1011533 010
24146 14105810 -4600 <B(110) 111 1011533 010
24147 14105818 -4596 001 (101)D> 111 1011533 010
24148 14105822 -4600 001 <B(011) 111 1011533 010
24149 14105837 -4603 <A(111) 1112 1011533 010
24150 14105853 -4599 011 (110)C> 1112 1011533 010
24151 14105871 -4593 011 1112 (110)C> 1011533 010
24152 14105881 -4597 011 1112 <B(110) 111 1011532 010
24153 14105884 -4600 011 111 <B(111) 110 111 1011532 010
24154 14105887 -4603 011 <B(111) 111 110 111 1011532 010
24155 14105905 -4599 111 (110)C> 111 110 111 1011532 010
24156 14105914 -4596 1112 (110)C> 110 111 1011532 010
24157 14105921 -4593 1113 (101)D> 111 1011532 010
24158 14105925 -4597 1113 <B(011) 111 1011532 010
24159 14105928 -4600 1112 <B(111) 011 111 1011532 010
24160 14105934 -4606 <B(111) 1112 011 111 1011532 010
24161 14105944 -4602 001 (110)C> 1112 011 111 1011532 010
24162 14105962 -4596 001 1112 (110)C> 011 111 1011532 010
24163 14105968 -4600 001 1112 <B(101) 1112 1011532 010
24164 14105971 -4603 001 111 <B(111) 101 1112 1011532 010
24165 14105974 -4606 001 <B(111) 111 101 1112 1011532 010
24166 14105988 -4602 011 (110)C> 111 101 1112 1011532 010
24167 14105997 -4599 011 111 (110)C> 101 1112 1011532 010
24168 14106007 -4603 011 111 <B(110) 1113 1011532 010
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 011 1112+V(1) <B(110) 1111+V(2) [*]* [*]*
1 3 -3 011 1111+V(1) <B(111) 110 1111+V(2) [*]* [*]*
2 6+3*V(1) -6+-3*V(1) 011 <B(111) 1111+V(1) 110 1111+V(2) [*]* [*]*
3 24+3*V(1) -2+-3*V(1) 111 (110)C> 1111+V(1) 110 1111+V(2) [*]* [*]*
4 33+12*V(1) 1 1112+V(1) (110)C> 110 1111+V(2) [*]* [*]*
5 40+12*V(1) 4 1113+V(1) (101)D> 1111+V(2) [*]* [*]*
6 44+12*V(1) 0 1113+V(1) <B(011) 1111+V(2) [*]* [*]*
7 47+12*V(1) -3 1112+V(1) <B(111) 011 1111+V(2) [*]* [*]*
8 53+15*V(1) -9+-3*V(1) <B(111) 1112+V(1) 011 1111+V(2) [*]* [*]*
9 63+15*V(1) -5+-3*V(1) 001 (110)C> 1112+V(1) 011 1111+V(2) [*]* [*]*
10 81+24*V(1) 1 001 1112+V(1) (110)C> 011 1111+V(2) [*]* [*]*
11 87+24*V(1) -3 001 1112+V(1) <B(101) 1112+V(2) [*]* [*]*
12 90+24*V(1) -6 001 1111+V(1) <B(111) 101 1112+V(2) [*]* [*]*
13 93+27*V(1) -9+-3*V(1) 001 <B(111) 1111+V(1) 101 1112+V(2) [*]* [*]*
14 107+27*V(1) -5+-3*V(1) 011 (110)C> 1111+V(1) 101 1112+V(2) [*]* [*]*
15 116+36*V(1) -2 011 1111+V(1) (110)C> 101 1112+V(2) [*]* [*]*
16 126+36*V(1) -6 011 1111+V(1) <B(110) 1113+V(2) [*]* [*]*
<< Success! ==> defined new CTR 5 (PA)
24169 14106010 -4606 011 <B(111) 110 1113 1011532 010
24170 14106028 -4602 111 (110)C> 110 1113 1011532 010
24171 14106035 -4599 1112 (101)D> 1113 1011532 010
24172 14106039 -4603 1112 <B(011) 1113 1011532 010
24173 14106042 -4606 111 <B(111) 011 1113 1011532 010
24174 14106045 -4609 <B(111) 111 011 1113 1011532 010
24175 14106055 -4605 001 (110)C> 111 011 1113 1011532 010
24176 14106064 -4602 001 111 (110)C> 011 1113 1011532 010
24177 14106070 -4606 001 111 <B(101) 1114 1011532 010
24178 14106073 -4609 001 <B(111) 101 1114 1011532 010
24179 14106087 -4605 011 (110)C> 101 1114 1011532 010
24180 14106097 -4609 011 <B(110) 1115 1011532 010
24181 14106113 -4605 111 (101)D> 1115 1011532 010
24182 14106117 -4609 111 <B(011) 1115 1011532 010
24183 14106120 -4612 <B(111) 011 1115 1011532 010
24184 14106130 -4608 001 (110)C> 011 1115 1011532 010
24185 14106136 -4612 001 <B(101) 1116 1011532 010
24186 14106159 -4615 <B(011) 1117 1011532 010
24187 14106183 -4611 111 (110)C> 1117 1011532 010
24188 14106246 -4590 1118 (110)C> 1011532 010
24189 14106256 -4594 1118 <B(110) 111 1011531 010
24190 14106259 -4597 1117 <B(111) 110 111 1011531 010
24191 14106280 -4618 <B(111) 1117 110 111 1011531 010
24192 14106290 -4614 001 (110)C> 1117 110 111 1011531 010
24193 14106353 -4593 001 1117 (110)C> 110 111 1011531 010
24194 14106360 -4590 001 1118 (101)D> 111 1011531 010
24195 14106364 -4594 001 1118 <B(011) 111 1011531 010
24196 14106367 -4597 001 1117 <B(111) 011 111 1011531 010
24197 14106388 -4618 001 <B(111) 1117 011 111 1011531 010
24198 14106402 -4614 011 (110)C> 1117 011 111 1011531 010
24199 14106465 -4593 011 1117 (110)C> 011 111 1011531 010
24200 14106471 -4597 011 1117 <B(101) 1112 1011531 010
24201 14106474 -4600 011 1116 <B(111) 101 1112 1011531 010
24202 14106492 -4618 011 <B(111) 1116 101 1112 1011531 010
24203 14106510 -4614 111 (110)C> 1116 101 1112 1011531 010
24204 14106564 -4596 1117 (110)C> 101 1112 1011531 010
24205 14106574 -4600 1117 <B(110) 1113 1011531 010
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 1113+V(1) <B(110) 1111+V(2) [*]* [*]*
1 3 -3 1112+V(1) <B(111) 110 1111+V(2) [*]* [*]*
2 9+3*V(1) -9+-3*V(1) <B(111) 1112+V(1) 110 1111+V(2) [*]* [*]*
3 19+3*V(1) -5+-3*V(1) 001 (110)C> 1112+V(1) 110 1111+V(2) [*]* [*]*
4 37+12*V(1) 1 001 1112+V(1) (110)C> 110 1111+V(2) [*]* [*]*
5 44+12*V(1) 4 001 1113+V(1) (101)D> 1111+V(2) [*]* [*]*
6 48+12*V(1) 0 001 1113+V(1) <B(011) 1111+V(2) [*]* [*]*
7 51+12*V(1) -3 001 1112+V(1) <B(111) 011 1111+V(2) [*]* [*]*
8 57+15*V(1) -9+-3*V(1) 001 <B(111) 1112+V(1) 011 1111+V(2) [*]* [*]*
9 71+15*V(1) -5+-3*V(1) 011 (110)C> 1112+V(1) 011 1111+V(2) [*]* [*]*
10 89+24*V(1) 1 011 1112+V(1) (110)C> 011 1111+V(2) [*]* [*]*
11 95+24*V(1) -3 011 1112+V(1) <B(101) 1112+V(2) [*]* [*]*
12 98+24*V(1) -6 011 1111+V(1) <B(111) 101 1112+V(2) [*]* [*]*
13 101+27*V(1) -9+-3*V(1) 011 <B(111) 1111+V(1) 101 1112+V(2) [*]* [*]*
14 119+27*V(1) -5+-3*V(1) 111 (110)C> 1111+V(1) 101 1112+V(2) [*]* [*]*
15 128+36*V(1) -2 1112+V(1) (110)C> 101 1112+V(2) [*]* [*]*
16 138+36*V(1) -6 1112+V(1) <B(110) 1113+V(2) [*]* [*]*
<< Success! ==> defined new CTR 6 (PA)
24205 14106574 -4600 1117 <B(110) 1113 1011531 010
== Executing PA-CTR 6, V(1)=4, V(2)=2, repcount=5, factor=2/1
24285 14107624 -4630 1112 <B(110) 11113 1011531 010
24286 14107627 -4633 111 <B(111) 110 11113 1011531 010
24287 14107630 -4636 <B(111) 111 110 11113 1011531 010
24288 14107640 -4632 001 (110)C> 111 110 11113 1011531 010
24289 14107649 -4629 001 111 (110)C> 110 11113 1011531 010
24290 14107656 -4626 001 1112 (101)D> 11113 1011531 010
24291 14107660 -4630 001 1112 <B(011) 11113 1011531 010
24292 14107663 -4633 001 111 <B(111) 011 11113 1011531 010
24293 14107666 -4636 001 <B(111) 111 011 11113 1011531 010
24294 14107680 -4632 011 (110)C> 111 011 11113 1011531 010
24295 14107689 -4629 011 111 (110)C> 011 11113 1011531 010
24296 14107695 -4633 011 111 <B(101) 11114 1011531 010
24297 14107698 -4636 011 <B(111) 101 11114 1011531 010
24298 14107716 -4632 111 (110)C> 101 11114 1011531 010
24299 14107726 -4636 111 <B(110) 11115 1011531 010
24300 14107729 -4639 <B(111) 110 11115 1011531 010
24301 14107739 -4635 001 (110)C> 110 11115 1011531 010
24302 14107746 -4632 001 111 (101)D> 11115 1011531 010
24303 14107750 -4636 001 111 <B(011) 11115 1011531 010
24304 14107753 -4639 001 <B(111) 011 11115 1011531 010
24305 14107767 -4635 011 (110)C> 011 11115 1011531 010
24306 14107773 -4639 011 <B(101) 11116 1011531 010
24307 14107792 -4642 <B(110) 11117 1011531 010
24308 14107800 -4638 001 (101)D> 11117 1011531 010
24309 14107804 -4642 001 <B(011) 11117 1011531 010
24310 14107819 -4645 <A(111) 11118 1011531 010
24311 14107835 -4641 011 (110)C> 11118 1011531 010
24312 14107997 -4587 011 11118 (110)C> 1011531 010
24313 14108007 -4591 011 11118 <B(110) 111 1011530 010
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 1112 <B(110) 1111+V(2) 1012+V(1) [*]*
1 3 -3 111 <B(111) 110 1111+V(2) 1012+V(1) [*]*
2 6 -6 <B(111) 111 110 1111+V(2) 1012+V(1) [*]*
3 16 -2 001 (110)C> 111 110 1111+V(2) 1012+V(1) [*]*
4 25 1 001 111 (110)C> 110 1111+V(2) 1012+V(1) [*]*
5 32 4 001 1112 (101)D> 1111+V(2) 1012+V(1) [*]*
6 36 0 001 1112 <B(011) 1111+V(2) 1012+V(1) [*]*
7 39 -3 001 111 <B(111) 011 1111+V(2) 1012+V(1) [*]*
8 42 -6 001 <B(111) 111 011 1111+V(2) 1012+V(1) [*]*
9 56 -2 011 (110)C> 111 011 1111+V(2) 1012+V(1) [*]*
10 65 1 011 111 (110)C> 011 1111+V(2) 1012+V(1) [*]*
11 71 -3 011 111 <B(101) 1112+V(2) 1012+V(1) [*]*
12 74 -6 011 <B(111) 101 1112+V(2) 1012+V(1) [*]*
13 92 -2 111 (110)C> 101 1112+V(2) 1012+V(1) [*]*
14 102 -6 111 <B(110) 1113+V(2) 1012+V(1) [*]*
15 105 -9 <B(111) 110 1113+V(2) 1012+V(1) [*]*
16 115 -5 001 (110)C> 110 1113+V(2) 1012+V(1) [*]*
17 122 -2 001 111 (101)D> 1113+V(2) 1012+V(1) [*]*
18 126 -6 001 111 <B(011) 1113+V(2) 1012+V(1) [*]*
19 129 -9 001 <B(111) 011 1113+V(2) 1012+V(1) [*]*
20 143 -5 011 (110)C> 011 1113+V(2) 1012+V(1) [*]*
21 149 -9 011 <B(101) 1114+V(2) 1012+V(1) [*]*
22 168 -12 <B(110) 1115+V(2) 1012+V(1) [*]*
23 176 -8 001 (101)D> 1115+V(2) 1012+V(1) [*]*
24 180 -12 001 <B(011) 1115+V(2) 1012+V(1) [*]*
25 195 -15 <A(111) 1116+V(2) 1012+V(1) [*]*
26 211 -11 011 (110)C> 1116+V(2) 1012+V(1) [*]*
27 265+9*V(2) 7+3*V(2) 011 1116+V(2) (110)C> 1012+V(1) [*]*
28 275+9*V(2) 3+3*V(2) 011 1116+V(2) <B(110) 111 1011+V(1) [*]*
<< Success! ==> defined new CTR 7 (PPA)
24313 14108007 -4591 011 11118 <B(110) 111 1011530 010
== Executing PA-CTR 5, V(1)=16, V(2)=0, repcount=17, factor=2/1
24585 14115045 -4693 011 111 <B(110) 11135 1011530 010
24586 14115048 -4696 011 <B(111) 110 11135 1011530 010
24587 14115066 -4692 111 (110)C> 110 11135 1011530 010
24588 14115073 -4689 1112 (101)D> 11135 1011530 010
24589 14115077 -4693 1112 <B(011) 11135 1011530 010
24590 14115080 -4696 111 <B(111) 011 11135 1011530 010
24591 14115083 -4699 <B(111) 111 011 11135 1011530 010
24592 14115093 -4695 001 (110)C> 111 011 11135 1011530 010
24593 14115102 -4692 001 111 (110)C> 011 11135 1011530 010
24594 14115108 -4696 001 111 <B(101) 11136 1011530 010
24595 14115111 -4699 001 <B(111) 101 11136 1011530 010
24596 14115125 -4695 011 (110)C> 101 11136 1011530 010
24597 14115135 -4699 011 <B(110) 11137 1011530 010
24598 14115151 -4695 111 (101)D> 11137 1011530 010
24599 14115155 -4699 111 <B(011) 11137 1011530 010
24600 14115158 -4702 <B(111) 011 11137 1011530 010
24601 14115168 -4698 001 (110)C> 011 11137 1011530 010
24602 14115174 -4702 001 <B(101) 11138 1011530 010
24603 14115197 -4705 <B(011) 11139 1011530 010
24604 14115221 -4701 111 (110)C> 11139 1011530 010
24605 14115572 -4584 11140 (110)C> 1011530 010
24606 14115582 -4588 11140 <B(110) 111 1011529 010
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 011 111 <B(110) 1111+V(2) 1012+V(1) [*]*
1 3 -3 011 <B(111) 110 1111+V(2) 1012+V(1) [*]*
2 21 1 111 (110)C> 110 1111+V(2) 1012+V(1) [*]*
3 28 4 1112 (101)D> 1111+V(2) 1012+V(1) [*]*
4 32 0 1112 <B(011) 1111+V(2) 1012+V(1) [*]*
5 35 -3 111 <B(111) 011 1111+V(2) 1012+V(1) [*]*
6 38 -6 <B(111) 111 011 1111+V(2) 1012+V(1) [*]*
7 48 -2 001 (110)C> 111 011 1111+V(2) 1012+V(1) [*]*
8 57 1 001 111 (110)C> 011 1111+V(2) 1012+V(1) [*]*
9 63 -3 001 111 <B(101) 1112+V(2) 1012+V(1) [*]*
10 66 -6 001 <B(111) 101 1112+V(2) 1012+V(1) [*]*
11 80 -2 011 (110)C> 101 1112+V(2) 1012+V(1) [*]*
12 90 -6 011 <B(110) 1113+V(2) 1012+V(1) [*]*
13 106 -2 111 (101)D> 1113+V(2) 1012+V(1) [*]*
14 110 -6 111 <B(011) 1113+V(2) 1012+V(1) [*]*
15 113 -9 <B(111) 011 1113+V(2) 1012+V(1) [*]*
16 123 -5 001 (110)C> 011 1113+V(2) 1012+V(1) [*]*
17 129 -9 001 <B(101) 1114+V(2) 1012+V(1) [*]*
18 152 -12 <B(011) 1115+V(2) 1012+V(1) [*]*
19 176 -8 111 (110)C> 1115+V(2) 1012+V(1) [*]*
20 221+9*V(2) 7+3*V(2) 1116+V(2) (110)C> 1012+V(1) [*]*
21 231+9*V(2) 3+3*V(2) 1116+V(2) <B(110) 111 1011+V(1) [*]*
<< Success! ==> defined new CTR 8 (PPA)
24606 14115582 -4588 11140 <B(110) 111 1011529 010
== Executing PA-CTR 6, V(1)=37, V(2)=0, repcount=38, factor=2/1
25214 14146134 -4816 1112 <B(110) 11177 1011529 010
== Executing PPA-CTR 7 (once), V(1)=1527, V(2)=76
25242 14147093 -4585 011 11182 <B(110) 111 1011528 010
== Executing PA-CTR 5, V(1)=80, V(2)=0, repcount=81, factor=2/1
26538 14273939 -5071 011 111 <B(110) 111163 1011528 010
== Executing PPA-CTR 8 (once), V(1)=1526, V(2)=162
26559 14275628 -4582 111168 <B(110) 111 1011527 010
== Executing PA-CTR 6, V(1)=165, V(2)=0, repcount=166, factor=2/1
29215 14791556 -5578 1112 <B(110) 111333 1011527 010
== Executing PPA-CTR 7 (once), V(1)=1525, V(2)=332
29243 14794819 -4579 011 111338 <B(110) 111 1011526 010
== Executing PA-CTR 5, V(1)=336, V(2)=0, repcount=337, factor=2/1
34635 16875457 -6601 011 111 <B(110) 111675 1011526 010
== Executing PPA-CTR 8 (once), V(1)=1524, V(2)=674
34656 16881754 -4576 111680 <B(110) 111 1011525 010
== Executing PA-CTR 6, V(1)=677, V(2)=0, repcount=678, factor=2/1
45504 25237426 -8644 1112 <B(110) 1111357 1011525 010
== Executing PPA-CTR 7 (once), V(1)=1523, V(2)=1356
45532 25249905 -4573 011 1111362 <B(110) 111 1011524 010
== Executing PA-CTR 5, V(1)=1360, V(2)=0, repcount=1361, factor=2/1
67308 58738671 -12739 011 111 <B(110) 1112723 1011524 010
== Executing PPA-CTR 8 (once), V(1)=1522, V(2)=2722
67329 58763400 -4570 1112728 <B(110) 111 1011523 010
== Executing PA-CTR 6, V(1)=2725, V(2)=0, repcount=2726, factor=2/1
110945 192849888 -20926 1112 <B(110) 1115453 1011523 010
== Executing PPA-CTR 7 (once), V(1)=1521, V(2)=5452
110973 192899231 -4567 011 1115458 <B(110) 111 1011522 010
== Executing PA-CTR 5, V(1)=5456, V(2)=0, repcount=5457, factor=2/1
198285 729507869 -37309 011 111 <B(110) 11110915 1011522 010
== Executing PPA-CTR 8 (once), V(1)=1520, V(2)=10914
198306 729606326 -4564 11110920 <B(110) 111 1011521 010
== Executing PA-CTR 6, V(1)=10917, V(2)=0, repcount=10918, factor=2/1
372994 2876565518 -70072 1112 <B(110) 11121837 1011521 010
== Executing PPA-CTR 7 (once), V(1)=1519, V(2)=21836
373022 2876762317 -4561 011 11121842 <B(110) 111 1011520 010
== Executing PA-CTR 5, V(1)=21840, V(2)=0, repcount=21841, factor=2/1
722478 11465648203 -135607 011 111 <B(110) 11143683 1011520 010
== Executing PPA-CTR 8 (once), V(1)=1518, V(2)=43682
722499 11466041572 -4558 11143688 <B(110) 111 1011519 010
== Executing PA-CTR 6, V(1)=43685, V(2)=0, repcount=43686, factor=2/1
1421475 45823682620 -266674 1112 <B(110) 11187373 1011519 010
== Executing PPA-CTR 7 (once), V(1)=1517, V(2)=87372
1421503 45824469243 -4555 011 11187378 <B(110) 111 1011518 010
== Executing PA-CTR 5, V(1)=87376, V(2)=0, repcount=87377, factor=2/1
2819535 183259228281 -528817 011 111 <B(110) 111174755 1011518 010
== Executing PPA-CTR 8 (once), V(1)=1516, V(2)=174754
2819556 183260801298 -4552 111174760 <B(110) 111 1011517 010
== Executing PA-CTR 6, V(1)=174757, V(2)=0, repcount=174758, factor=2/1
5615684 733008226410 -1053100 1112 <B(110) 111349517 1011517 010
== Executing PPA-CTR 7 (once), V(1)=1515, V(2)=349516
5615712 733011372329 -4549 011 111349522 <B(110) 111 1011516 010
== Executing PA-CTR 5, V(1)=349520, V(2)=0, repcount=349521, factor=2/1
11208048 2932017850535 -2101675 011 111 <B(110) 111699043 1011516 010
== Executing PPA-CTR 8 (once), V(1)=1514, V(2)=699042
11208069 2932024142144 -4546 111699048 <B(110) 111 1011515 010
== Executing PA-CTR 6, V(1)=699045, V(2)=0, repcount=699046, factor=2/1
22392805 11728083609752 -4198822 1112 <B(110) 1111398093 1011515 010
== Executing PPA-CTR 7 (once), V(1)=1513, V(2)=1398092
22392833 11728096192855 -4543 011 1111398098 <B(110) 111 1011514 010
== Executing PA-CTR 5, V(1)=1398096, V(2)=0, repcount=1398097, factor=2/1
44762385 46912401172693 -8393125 011 111 <B(110) 1112796195 1011514 010
== Executing PPA-CTR 8 (once), V(1)=1512, V(2)=2796194
44762406 46912426338670 -4540 1112796200 <B(110) 111 1011513 010
== Executing PA-CTR 6, V(1)=2796197, V(2)=0, repcount=2796198, factor=2/1
89501574 187649780476102 -16781728 1112 <B(110) 1115592397 1011513 010
== Executing PPA-CTR 7 (once), V(1)=1511, V(2)=5592396
89501602 187649830807941 -4537 011 1115592402 <B(110) 111 1011512 010
== Executing PA-CTR 5, V(1)=5592400, V(2)=0, repcount=5592401, factor=2/1
178980018 750599515793667 -33558943 011 111 <B(110) 11111184803 1011512 010
== Executing PPA-CTR 8 (once), V(1)=1510, V(2)=11184802
178980039 750599616457116 -4534 11111184808 <B(110) 111 1011511 010
== Executing PA-CTR 6, V(1)=11184805, V(2)=0, repcount=11184806, factor=2/1
357936935 3002398893271284 -67113370 1112 <B(110) 11122369613 1011511 010
== Executing PPA-CTR 7 (once), V(1)=1509, V(2)=22369612
357936963 3002399094598067 -4531 011 11122369618 <B(110) 111 1011510 010
== Executing PA-CTR 5, V(1)=22369616, V(2)=0, repcount=22369617, factor=2/1
715850835 12009597275597105 -134222233 011 111 <B(110) 11144739235 1011510 010
== Executing PPA-CTR 8 (once), V(1)=1508, V(2)=44739234
715850856 12009597678250442 -4528 11144739240 <B(110) 111 1011509 010
== Executing PA-CTR 6, V(1)=44739237, V(2)=0, repcount=44739238, factor=2/1
1431678664 48038392549730594 -268439956 1112 <B(110) 11189478477 1011509 010
== Executing PPA-CTR 7 (once), V(1)=1507, V(2)=89478476
1431678692 48038393355037153 -4525 011 11189478482 <B(110) 111 1011508 010
== Executing PA-CTR 5, V(1)=89478480, V(2)=0, repcount=89478481, factor=2/1
2863334388 1921535[4]5925599 -536875411 011 111 <B(110) 111178956963 1011508 010
== Executing PPA-CTR 8 (once), V(1)=1506, V(2)=178956962
2863334409 1921535[4]6538488 -4522 111178956968 <B(110) 111 1011507 010
== Executing PA-CTR 6, V(1)=178956965, V(2)=0, repcount=178956966, factor=2/1
5726645865 7686143[4]0027216 -1073746318 1112 <B(110) 111357913933 1011507 010
== Executing PPA-CTR 7 (once), V(1)=1505, V(2)=357913932
5726645893 7686143[4]1252879 -4519 011 111357913938 <B(110) 111 1011506 010
== Executing PA-CTR 5, V(1)=357913936, V(2)=0, repcount=357913937, factor=2/1
11453268885 3074457[5]5077517 -2147488141 011 111 <B(110) 111715827875 1011506 010
== Executing PPA-CTR 8 (once), V(1)=1504, V(2)=715827874
11453268906 3074457[5]7528614 -4516 111715827880 <B(110) 111 1011505 010
== Executing PA-CTR 6, V(1)=715827877, V(2)=0, repcount=715827878, factor=2/1
22906514954 1229782[6]2565886 -4294971784 1112 <B(110) 1111431655757 1011505 010
== Executing PPA-CTR 7 (once), V(1)=1503, V(2)=1431655756
22906514982 1229782[6]7467965 -4513 011 1111431655762 <B(110) 111 1011504 010
== Executing PA-CTR 5, V(1)=1431655760, V(2)=0, repcount=1431655761, factor=2/1
45813007158 4919131[6]7094331 -8589939079 011 111 <B(110) 1112863311523 1011504 010
== Executing PPA-CTR 8 (once), V(1)=1502, V(2)=2863311522
45813007179 4919131[6]6898260 -4510 1112863311528 <B(110) 111 1011503 010
== Executing PA-CTR 6, V(1)=2863311525, V(2)=0, repcount=2863311526, factor=2/1
91625991595 1967652[7]4357548 -17179873666 1112 <B(110) 1115726623053 1011503 010
== Executing PPA-CTR 7 (once), V(1)=1501, V(2)=5726623052
91625991623 1967652[7]3965291 -4507 011 1115726623058 <B(110) 111 1011502 010
== Executing PA-CTR 5, V(1)=5726623056, V(2)=0, repcount=5726623057, factor=2/1
183251960535 7870610[7]1709929 -34359742849 011 111 <B(110) 11111453246115 1011502 010
== Executing PPA-CTR 8 (once), V(1)=1500, V(2)=11453246114
183251960556 7870610[7]0925186 -4504 11111453246120 <B(110) 111 1011501 010
== Executing PA-CTR 6, V(1)=11453246117, V(2)=0, repcount=11453246118, factor=2/1
366503898444 3148244[8]7717978 -68719481212 1112 <B(110) 11122906492237 1011501 010
== Executing PPA-CTR 7 (once), V(1)=1499, V(2)=22906492236
366503898472 3148244[8]6148377 -4501 011 11122906492242 <B(110) 111 1011500 010
== Executing PA-CTR 5, V(1)=22906492240, V(2)=0, repcount=22906492241, factor=2/1
733007774328 1259297[9]4947863 -137438957947 011 111 <B(110) 11145812984483 1011500 010
== Executing PPA-CTR 8 (once), V(1)=1498, V(2)=45812984482
733007774349 1259297[9]1808432 -4498 11145812984488 <B(110) 111 1011499 010
== Executing PA-CTR 6, V(1)=45812984485, V(2)=0, repcount=45812984486, factor=2/1
1466015526125 5037190[9]0262280 -274877911414 1112 <B(110) 11191625968973 1011499 010
== Executing PPA-CTR 7 (once), V(1)=1497, V(2)=91625968972
1466015526153 5037190[9]3983303 -4495 011 11191625968978 <B(110) 111 1011498 010
== Executing PA-CTR 5, V(1)=91625968976, V(2)=0, repcount=91625968977, factor=2/1
2932031029785 2014876[10]4310341 -549755818357 011 111 <B(110) 111183251937955 1011498 010
== Executing PPA-CTR 8 (once), V(1)=1496, V(2)=183251937954
2932031029806 2014876[10]1752158 -4492 111183251937960 <B(110) 111 1011497 010
== Executing PA-CTR 6, V(1)=183251937957, V(2)=0, repcount=183251937958, factor=2/1
5864062037134 8059505[10]6082870 -1099511632240 1112 <B(110) 111366503875917 1011497 010
== Executing PPA-CTR 7 (once), V(1)=1495, V(2)=366503875916
5864062037162 8059505[10]0966389 -4489 011 111366503875922 <B(110) 111 1011496 010
== Executing PA-CTR 5, V(1)=366503875920, V(2)=0, repcount=366503875921, factor=2/1
11728124051898 3223802[11]4334195 -2199023260015 011 111 <B(110) 111733007751843 1011496 010
== Executing PPA-CTR 8 (once), V(1)=1494, V(2)=733007751842
11728124051919 3223802[11]4101004 -4486 111733007751848 <B(110) 111 1011495 010
== Executing PA-CTR 6, V(1)=733007751845, V(2)=0, repcount=733007751846, factor=2/1
23456248081455 1289520[12]9661412 -4398046515562 1112 <B(110) 1111466015503693 1011495 010
== Executing PPA-CTR 7 (once), V(1)=1493, V(2)=1466015503692
23456248081483 1289520[12]9194915 -4483 011 1111466015503698 <B(110) 111 1011494 010
== Executing PA-CTR 5, V(1)=1466015503696, V(2)=0, repcount=1466015503697, factor=2/1
46912496140635 5158083[12]5614753 -8796093026665 011 111 <B(110) 1112932031007395 1011494 010
== Executing PPA-CTR 8 (once), V(1)=1492, V(2)=2932031007394
46912496140656 5158083[12]4681530 -4480 1112932031007400 <B(110) 111 1011493 010
== Executing PA-CTR 6, V(1)=2932031007397, V(2)=0, repcount=2932031007398, factor=2/1
93824992259024 2063233[13]8716562 -17592186048868 1112 <B(110) 1115864062014797 1011493 010
== Executing PPA-CTR 7 (once), V(1)=1491, V(2)=5864062014796
93824992259052 2063233[13]6850001 -4477 011 1115864062014802 <B(110) 111 1011492 010
== Executing PA-CTR 5, V(1)=5864062014800, V(2)=0, repcount=5864062014801, factor=2/1
187649984495868 8252933[13]9701327 -35184372093283 011 111 <B(110) 11111728124029603 1011492 010
== Executing PPA-CTR 8 (once), V(1)=1490, V(2)=11728124029602
187649984495889 8252933[13]5967976 -4474 11111728124029608 <B(110) 111 1011491 010
== Executing PA-CTR 6, V(1)=11728124029605, V(2)=0, repcount=11728124029606, factor=2/1
375299968969585 3301173[14]0794944 -70368744182110 1112 <B(110) 11123456248059213 1011491 010
== Executing PPA-CTR 7 (once), V(1)=1489, V(2)=23456248059212
375299968969613 3301173[14]3328127 -4471 011 11123456248059218 <B(110) 111 1011490 010
== Executing PA-CTR 5, V(1)=23456248059216, V(2)=0, repcount=23456248059217, factor=2/1
750599937917085 1320469[15]9479165 -140737488359773 011 111 <B(110) 11146912496118435 1011490 010
== Executing PPA-CTR 8 (once), V(1)=1488, V(2)=46912496118434
750599937917106 1320469[15]4545302 -4468 11146912496118440 <B(110) 111 1011489 010
== Executing PA-CTR 6, V(1)=46912496118437, V(2)=0, repcount=46912496118438, factor=2/1
1501199875812114 5281877[15]2835054 -281474976715096 1112 <B(110) 11193824992236877 1011489 010
== Executing PPA-CTR 7 (once), V(1)=1487, V(2)=93824992236876
1501199875812142 5281877[15]2967213 -4465 011 11193824992236882 <B(110) 111 1011488 010
== Executing PA-CTR 5, V(1)=93824992236880, V(2)=0, repcount=93824992236881, factor=2/1
3002399751602238 2112751[16]3497259 -562949953425751 011 111 <B(110) 111187649984473763 1011488 010
== Executing PPA-CTR 8 (once), V(1)=1486, V(2)=187649984473762
3002399751602259 2112751[16]3761348 -4462 111187649984473768 <B(110) 111 1011487 010
== Executing PA-CTR 6, V(1)=187649984473765, V(2)=0, repcount=187649984473766, factor=2/1
6004799503182515 8451004[16]0622876 -1125899906847058 1112 <B(110) 111375299968947533 1011487 010
== Executing PPA-CTR 7 (once), V(1)=1485, V(2)=375299968947532
6004799503182543 8451004[16]1150939 -4459 011 111375299968947538 <B(110) 111 1011486 010
== Executing PA-CTR 5, V(1)=375299968947536, V(2)=0, repcount=375299968947537, factor=2/1
12009599006343135 3380401[17]8079577 -2251799813689681 011 111 <B(110) 111750599937895075 1011486 010
== Executing PPA-CTR 8 (once), V(1)=1484, V(2)=750599937895074
12009599006343156 3380401[17]9135474 -4456 111750599937895080 <B(110) 111 1011485 010
== Executing PA-CTR 6, V(1)=750599937895077, V(2)=0, repcount=750599937895078, factor=2/1
24019198012664404 1352160[18]5814346 -4503599627374924 1112 <B(110) 1111501199875790157 1011485 010
== Executing PPA-CTR 7 (once), V(1)=1483, V(2)=1501199875790156
24019198012664432 1352160[18]7926025 -4453 011 1111501199875790162 <B(110) 111 1011484 010
== Executing PA-CTR 5, V(1)=1501199875790160, V(2)=0, repcount=1501199875790161, factor=2/1
48038396025307008 5408642[18]2569991 -9007199254745419 011 111 <B(110) 1113002399751580323 1011484 010
== Executing PPA-CTR 8 (once), V(1)=1482, V(2)=3002399751580322
48038396025307029 5408642[18]6793120 -4450 1113002399751580328 <B(110) 111 1011483 010
== Executing PA-CTR 6, V(1)=3002399751580325, V(2)=0, repcount=3002399751580326, factor=2/1
96076792050592245 2163457[19]1225208 -180143[4]9486406 1112 <B(110) 1116004799503160653 1011483 010
== Executing PPA-CTR 7 (once), V(1)=1481, V(2)=6004799503160652
96076792050592273 2163457[19]9671351 -4447 011 1116004799503160658 <B(110) 111 1011482 010
== Executing PA-CTR 5, V(1)=6004799503160656, V(2)=0, repcount=6004799503160657, factor=2/1
1921535[4]1162785 8653828[19]9111989 -360287[4]8968389 011 111 <B(110) 11112009599006321315 1011482 010
== Executing PPA-CTR 8 (once), V(1)=1480, V(2)=12009599006321314
1921535[4]1162806 8653828[19]6004046 -4444 11112009599006321320 <B(110) 111 1011481 010
== Executing PA-CTR 6, V(1)=12009599006321317, V(2)=0, repcount=12009599006321318, factor=2/1
3843071[4]2303894 3461531[20]7190438 -720575[4]7932352 1112 <B(110) 11124019198012642637 1011481 010
== Executing PPA-CTR 7 (once), V(1)=1479, V(2)=24019198012642636
3843071[4]2303922 3461531[20]0974437 -4441 011 11124019198012642642 <B(110) 111 1011480 010
== Executing PA-CTR 5, V(1)=24019198012642640, V(2)=0, repcount=24019198012642641, factor=2/1
7686143[4]4586178 1384612[21]2567523 -144115[5]5860287 011 111 <B(110) 11148038396025285283 1011480 010
== Executing PPA-CTR 8 (once), V(1)=1478, V(2)=48038396025285282
7686143[4]4586199 1384612[21]0135292 -4438 11148038396025285288 <B(110) 111 1011479 010
== Executing PA-CTR 6, V(1)=48038396025285285, V(2)=0, repcount=48038396025285286, factor=2/1
1537228[5]9150775 5538449[21]0201940 -288230[5]1716154 1112 <B(110) 11196076792050570573 1011479 010
== Executing PPA-CTR 7 (once), V(1)=1477, V(2)=96076792050570572
1537228[5]9150803 5538449[21]5337363 -4435 011 11196076792050570578 <B(110) 111 1011478 010
== Executing PA-CTR 5, V(1)=96076792050570576, V(2)=0, repcount=96076792050570577, factor=2/1
3074457[5]8280035 2215379[22]2992401 -576460[5]3427897 011 111 <B(110) 1111921535[4]1141155 1011478 010
== Executing PPA-CTR 8 (once), V(1)=1476, V(2)=1921535[4]1141154
3074457[5]8280056 2215379[22]3263018 -4432 1111921535[4]1141160 <B(110) 111 1011477 010
== Executing PA-CTR 6, V(1)=1921535[4]1141157, V(2)=0, repcount=1921535[4]1141158, factor=2/1
6148914[5]6538584 8861519[22]8659330 -115292[6]6851380 1112 <B(110) 1113843071[4]2282317 1011477 010
== Executing PPA-CTR 7 (once), V(1)=1475, V(2)=3843071[4]2282316
6148914[5]6538612 8861519[22]9200449 -4429 011 1113843071[4]2282322 <B(110) 111 1011476 010
== Executing PA-CTR 5, V(1)=3843071[4]2282320, V(2)=0, repcount=3843071[4]2282321, factor=2/1
1229782[6]3055748 3544607[23]0337855 -230584[6]3698355 011 111 <B(110) 1117686143[4]4564643 1011476 010
== Executing PPA-CTR 8 (once), V(1)=1474, V(2)=7686143[4]4564642
1229782[6]3055769 3544607[23]1419864 -4426 1117686143[4]4564648 <B(110) 111 1011475 010
== Executing PA-CTR 6, V(1)=7686143[4]4564645, V(2)=0, repcount=7686143[4]4564646, factor=2/1
2459565[6]6090105 1417843[24]5073072 -461168[6]7392302 1112 <B(110) 1111537228[5]9129293 1011475 010
== Executing PPA-CTR 7 (once), V(1)=1473, V(2)=1537228[5]9129292
2459565[6]6090133 1417843[24]7236975 -4423 011 1111537228[5]9129298 <B(110) 111 1011474 010
== Executing PA-CTR 5, V(1)=1537228[5]9129296, V(2)=0, repcount=1537228[5]9129297, factor=2/1
4919131[6]2158885 5671372[24]0056813 -922337[6]4780205 011 111 <B(110) 1113074457[5]8258595 1011474 010
== Executing PPA-CTR 8 (once), V(1)=1472, V(2)=3074457[5]8258594
4919131[6]2158906 5671372[24]4384390 -4420 1113074457[5]8258600 <B(110) 111 1011473 010
== Executing PA-CTR 6, V(1)=3074457[5]8258597, V(2)=0, repcount=3074457[5]8258598, factor=2/1
9838263[6]4296474 2268549[25]2077022 -184467[7]9556008 1112 <B(110) 1116148914[5]6517197 1011473 010
== Executing PPA-CTR 7 (once), V(1)=1471, V(2)=6148914[5]6517196
9838263[6]4296502 2268549[25]0732061 -4417 011 1116148914[5]6517202 <B(110) 111 1011472 010
== Executing PA-CTR 5, V(1)=6148914[5]6517200, V(2)=0, repcount=6148914[5]6517201, factor=2/1
1967652[7]8571718 9074196[25]4328987 -368934[7]9107623 011 111 <B(110) 1111229782[6]3034403 1011472 010
== Executing PPA-CTR 8 (once), V(1)=1470, V(2)=1229782[6]3034402
1967652[7]8571739 9074196[25]1638836 -4414 1111229782[6]3034408 <B(110) 111 1011471 010
== Executing PA-CTR 6, V(1)=1229782[6]3034405, V(2)=0, repcount=1229782[6]3034406, factor=2/1
3935305[7]7122235 3629678[26]1678604 -737869[7]8210850 1112 <B(110) 1112459565[6]6068813 1011471 010
== Executing PPA-CTR 7 (once), V(1)=1469, V(2)=2459565[6]6068812
3935305[7]7122263 3629678[26]6298187 -4411 011 1112459565[6]6068818 <B(110) 111 1011470 010
== Executing PA-CTR 5, V(1)=2459565[6]6068816, V(2)=0, repcount=2459565[6]6068817, factor=2/1
7870610[7]4223335 1451871[27]7761225 -147573[8]6417313 011 111 <B(110) 1114919131[6]2137635 1011470 010
== Executing PPA-CTR 8 (once), V(1)=1468, V(2)=4919131[6]2137634
7870610[7]4223356 1451871[27]7000162 -4408 1114919131[6]2137640 <B(110) 111 1011469 010
== Executing PA-CTR 6, V(1)=4919131[6]2137637, V(2)=0, repcount=4919131[6]2137638, factor=2/1
1574122[8]8425564 5807485[27]5459514 -295147[8]2830236 1112 <B(110) 1119838263[6]4275277 1011469 010
== Executing PPA-CTR 7 (once), V(1)=1467, V(2)=9838263[6]4275276
1574122[8]8425592 5807485[27]3937273 -4405 011 1119838263[6]4275282 <B(110) 111 1011468 010
== Executing PA-CTR 5, V(1)=9838263[6]4275280, V(2)=0, repcount=9838263[6]4275281, factor=2/1
3148244[8]6830088 2322994[28]2988919 -590295[8]5656091 011 111 <B(110) 1111967652[7]8550563 1011468 010
== Executing PPA-CTR 8 (once), V(1)=1466, V(2)=1967652[7]8550562
3148244[8]6830109 2322994[28]9944208 -4402 1111967652[7]8550568 <B(110) 111 1011467 010
== Executing PA-CTR 6, V(1)=1967652[7]8550565, V(2)=0, repcount=1967652[7]8550566, factor=2/1
6296488[8]3639165 9291977[28]6578536 -118059[9]1307798 1112 <B(110) 1113935305[7]7101133 1011467 010
== Executing PPA-CTR 7 (once), V(1)=1465, V(2)=3935305[7]7101132
6296488[8]3639193 9291977[28]0488999 -4399 011 1113935305[7]7101138 <B(110) 111 1011466 010
== Executing PA-CTR 5, V(1)=3935305[7]7101136, V(2)=0, repcount=3935305[7]7101137, factor=2/1
1259297[9]7257385 3716790[29]7881637 -236118[9]2611221 011 111 <B(110) 1117870610[7]4202275 1011466 010
== Executing PPA-CTR 8 (once), V(1)=1464, V(2)=7870610[7]4202274
1259297[9]7257406 3716790[29]5702334 -4396 1117870610[7]4202280 <B(110) 111 1011465 010
== Executing PA-CTR 6, V(1)=7870610[7]4202277, V(2)=0, repcount=7870610[7]4202278, factor=2/1
2518595[9]4493854 1486716[30]6982806 -472236[9]5218064 1112 <B(110) 1111574122[8]8404557 1011465 010
== Executing PPA-CTR 7 (once), V(1)=1463, V(2)=1574122[8]8404556
2518595[9]4493882 1486716[30]2624085 -4393 011 1111574122[8]8404562 <B(110) 111 1011464 010
== Executing PA-CTR 5, V(1)=1574122[8]8404560, V(2)=0, repcount=1574122[8]8404561, factor=2/1
5037190[9]8966858 5946865[30]1165651 -944473[9]0431759 011 111 <B(110) 1113148244[8]6809123 1011464 010
== Executing PPA-CTR 8 (once), V(1)=1462, V(2)=3148244[8]6809122
5037190[9]8966879 5946865[30]2447980 -4390 1113148244[8]6809128 <B(110) 111 1011463 010
== Executing PA-CTR 6, V(1)=3148244[8]6809125, V(2)=0, repcount=3148244[8]6809126, factor=2/1
1007438[10]7912895 2378746[31]3452868 -188894[10]0859146 1112 <B(110) 1116296488[8]3618253 1011463 010
== Executing PPA-CTR 7 (once), V(1)=1461, V(2)=6296488[8]3618252
1007438[10]7912923 2378746[31]6017411 -4387 011 1116296488[8]3618258 <B(110) 111 1011462 010
== Executing PA-CTR 5, V(1)=6296488[8]3618256, V(2)=0, repcount=6296488[8]3618257, factor=2/1
2014876[10]5805035 9514984[31]3714049 -377789[10]1713929 011 111 <B(110) 1111259297[9]7236515 1011462 010
== Executing PPA-CTR 8 (once), V(1)=1460, V(2)=1259297[9]7236514
2014876[10]5805056 9514984[31]8842906 -4384 1111259297[9]7236520 <B(110) 111 1011461 010
== Executing PA-CTR 6, V(1)=1259297[9]7236517, V(2)=0, repcount=1259297[9]7236518, factor=2/1
4029752[10]1589344 3805993[32]6982898 -755578[10]3423492 1112 <B(110) 1112518595[9]4473037 1011461 010
== Executing PPA-CTR 7 (once), V(1)=1459, V(2)=2518595[9]4473036
4029752[10]1589372 3805993[32]7240497 -4381 011 1112518595[9]4473042 <B(110) 111 1011460 010
== Executing PA-CTR 5, V(1)=2518595[9]4473040, V(2)=0, repcount=2518595[9]4473041, factor=2/1
8059505[10]3158028 1522397[33]4507183 -151115[11]6842627 011 111 <B(110) 1115037190[9]8946083 1011460 010
== Executing PPA-CTR 8 (once), V(1)=1458, V(2)=5037190[9]8946082
8059505[10]3158049 1522397[33]5022152 -4378 1115037190[9]8946088 <B(110) 111 1011459 010
== Executing PA-CTR 6, V(1)=5037190[9]8946085, V(2)=0, repcount=5037190[9]8946086, factor=2/1
1611901[11]6295425 6089590[33]3501600 -302231[11]3680894 1112 <B(110) 1111007438[10]7892173 1011459 010
== Executing PPA-CTR 7 (once), V(1)=1457, V(2)=1007438[10]7892172
1611901[11]6295453 6089590[33]4531423 -4375 011 1111007438[10]7892178 <B(110) 111 1011458 010
== Executing PA-CTR 5, V(1)=1007438[10]7892176, V(2)=0, repcount=1007438[10]7892177, factor=2/1
3223802[11]2570285 2435836[34]7274461 -604462[11]7357437 011 111 <B(110) 1112014876[10]5784355 1011458 010
== Executing PPA-CTR 8 (once), V(1)=1456, V(2)=2014876[10]5784354
3223802[11]2570306 2435836[34]9333878 -4372 1112014876[10]5784360 <B(110) 111 1011457 010
== Executing PA-CTR 6, V(1)=2014876[10]5784357, V(2)=0, repcount=2014876[10]5784358, factor=2/1
6447604[11]5120034 9743344[34]7955790 -120892[12]4710520 1112 <B(110) 1114029752[10]1568717 1011457 010
== Executing PPA-CTR 7 (once), V(1)=1455, V(2)=4029752[10]1568716
6447604[11]5120062 9743344[34]2074509 -4369 011 1114029752[10]1568722 <B(110) 111 1011456 010
== Executing PA-CTR 5, V(1)=4029752[10]1568720, V(2)=0, repcount=4029752[10]1568721, factor=2/1
1289520[12]0219598 3897337[35]1861515 -241785[12]9416695 011 111 <B(110) 1118059505[10]3137443 1011456 010
== Executing PPA-CTR 8 (once), V(1)=1454, V(2)=8059505[10]3137442
1289520[12]0219619 3897337[35]0098724 -4366 1118059505[10]3137448 <B(110) 111 1011455 010
== Executing PA-CTR 6, V(1)=8059505[10]3137445, V(2)=0, repcount=8059505[10]3137446, factor=2/1
2579041[12]0418755 1558935[36]9844732 -483570[12]8829042 1112 <B(110) 1111611901[11]6274893 1011455 010
== Executing PPA-CTR 7 (once), V(1)=1453, V(2)=1611901[11]6274892
2579041[12]0418783 1558935[36]6319035 -4363 011 1111611901[11]6274898 <B(110) 111 1011454 010
== Executing PA-CTR 5, V(1)=1611901[11]6274896, V(2)=0, repcount=1611901[11]6274897, factor=2/1
5158083[12]0817135 6235740[36]6498873 -967140[12]7653745 011 111 <B(110) 1113223802[11]2549795 1011454 010
== Executing PPA-CTR 8 (once), V(1)=1452, V(2)=3223802[11]2549794
5158083[12]0817156 6235740[36]9447250 -4360 1113223802[11]2549800 <B(110) 111 1011453 010
== Executing PA-CTR 6, V(1)=3223802[11]2549797, V(2)=0, repcount=3223802[11]2549798, factor=2/1
1031616[13]1613924 2494296[37]2557482 -193428[13]5303148 1112 <B(110) 1116447604[11]5099597 1011453 010
== Executing PPA-CTR 7 (once), V(1)=1451, V(2)=6447604[11]5099596
1031616[13]1613952 2494296[37]8454121 -4357 011 1116447604[11]5099602 <B(110) 111 1011452 010
== Executing PA-CTR 5, V(1)=6447604[11]5099600, V(2)=0, repcount=6447604[11]5099601, factor=2/1
2063233[13]3207568 9977184[37]5676647 -386856[13]0601963 011 111 <B(110) 1111289520[12]0199203 1011452 010
== Executing PPA-CTR 8 (once), V(1)=1450, V(2)=1289520[12]0199202
2063233[13]3207589 9977184[37]7469696 -4354 1111289520[12]0199208 <B(110) 111 1011451 010
== Executing PA-CTR 6, V(1)=1289520[12]0199205, V(2)=0, repcount=1289520[12]0199206, factor=2/1
4126466[13]6394885 3990873[38]5922264 -773712[13]1199590 1112 <B(110) 1112579041[12]0398413 1011451 010
== Executing PPA-CTR 7 (once), V(1)=1449, V(2)=2579041[12]0398412
4126466[13]6394913 3990873[38]9508247 -4351 011 1112579041[12]0398418 <B(110) 111 1011450 010
== Executing PA-CTR 5, V(1)=2579041[12]0398416, V(2)=0, repcount=2579041[12]0398417, factor=2/1
8252933[13]2769585 1596349[39]2443285 -154742[14]2394853 011 111 <B(110) 1115158083[12]0796835 1011450 010
== Executing PPA-CTR 8 (once), V(1)=1448, V(2)=5158083[12]0796834
8252933[13]2769606 1596349[39]9615022 -4348 1115158083[12]0796840 <B(110) 111 1011449 010
== Executing PA-CTR 6, V(1)=5158083[12]0796837, V(2)=0, repcount=5158083[12]0796838, factor=2/1
1650586[14]5519014 6385398[39]9603974 -309485[14]4785376 1112 <B(110) 1111031616[13]1593677 1011449 010
== Executing PPA-CTR 7 (once), V(1)=1447, V(2)=1031616[13]1593676
1650586[14]5519042 6385398[39]3947333 -4345 011 1111031616[13]1593682 <B(110) 111 1011448 010
== Executing PA-CTR 5, V(1)=1031616[13]1593680, V(2)=0, repcount=1031616[13]1593681, factor=2/1
3301173[14]1017938 2554159[40]0400579 -618970[14]9566431 011 111 <B(110) 1112063233[13]3187363 1011448 010
== Executing PPA-CTR 8 (once), V(1)=1446, V(2)=2063233[13]3187362
3301173[14]1017959 2554159[40]9087068 -4342 1112063233[13]3187368 <B(110) 111 1011447 010
== Executing PA-CTR 6, V(1)=2063233[13]3187365, V(2)=0, repcount=2063233[13]3187366, factor=2/1
6602346[14]2015815 1021663[41]7894196 -123794[15]9128538 1112 <B(110) 1114126466[13]6374733 1011447 010
== Executing PPA-CTR 7 (once), V(1)=1445, V(2)=4126466[13]6374732
6602346[14]2015843 1021663[41]5267059 -4339 011 1114126466[13]6374738 <B(110) 111 1011446 010
== Executing PA-CTR 5, V(1)=4126466[13]6374736, V(2)=0, repcount=4126466[13]6374737, factor=2/1
1320469[15]4011635 4086654[41]6483697 -247588[15]8252761 011 111 <B(110) 1118252933[13]2749475 1011446 010
== Executing PPA-CTR 8 (once), V(1)=1444, V(2)=8252933[13]2749474
1320469[15]4011656 4086654[41]1229194 -4336 1118252933[13]2749480 <B(110) 111 1011445 010
== Executing PA-CTR 6, V(1)=8252933[13]2749477, V(2)=0, repcount=8252933[13]2749478, factor=2/1
2640938[15]8003304 1634661[42]8071266 -495176[15]6501204 1112 <B(110) 1111650586[14]5498957 1011445 010
== Executing PPA-CTR 7 (once), V(1)=1443, V(2)=1650586[14]5498956
2640938[15]8003332 1634661[42]7562145 -4333 011 1111650586[14]5498962 <B(110) 111 1011444 010
== Executing PA-CTR 5, V(1)=1650586[14]5498960, V(2)=0, repcount=1650586[14]5498961, factor=2/1
5281877[15]5986708 6538647[42]8881311 -990352[15]2998099 011 111 <B(110) 1113301173[14]0997923 1011444 010
== Executing PPA-CTR 8 (once), V(1)=1442, V(2)=3301173[14]0997922
5281877[15]5986729 6538647[42]7862840 -4330 1113301173[14]0997928 <B(110) 111 1011443 010
== Executing PA-CTR 6, V(1)=3301173[14]0997925, V(2)=0, repcount=3301173[14]0997926, factor=2/1
1056375[16]1953545 2615459[43]1040528 -198070[16]5991886 1112 <B(110) 1116602346[14]1995853 1011443 010
== Executing PPA-CTR 7 (once), V(1)=1441, V(2)=6602346[14]1995852
1056375[16]1953573 2615459[43]9003471 -4327 011 1116602346[14]1995858 <B(110) 111 1011442 010
== Executing PA-CTR 5, V(1)=6602346[14]1995856, V(2)=0, repcount=6602346[14]1995857, factor=2/1
2112751[16]3887285 1046183[44]7516109 -396140[16]1979469 011 111 <B(110) 1111320469[15]3991715 1011442 010
== Executing PPA-CTR 8 (once), V(1)=1440, V(2)=1320469[15]3991714
2112751[16]3887306 1046183[44]3441766 -4324 1111320469[15]3991720 <B(110) 111 1011441 010
== Executing PA-CTR 6, V(1)=1320469[15]3991717, V(2)=0, repcount=1320469[15]3991718, factor=2/1
4225502[16]7754794 4184734[44]9095358 -792281[16]3954632 1112 <B(110) 1112640938[15]7983437 1011441 010
== Executing PPA-CTR 7 (once), V(1)=1439, V(2)=2640938[15]7983436
4225502[16]7754822 4184734[44]0946557 -4321 011 1112640938[15]7983442 <B(110) 111 1011440 010
== Executing PA-CTR 5, V(1)=2640938[15]7983440, V(2)=0, repcount=2640938[15]7983441, factor=2/1
8451004[16]5489878 1673893[45]6766843 -158456[17]7904967 011 111 <B(110) 1115281877[15]5966883 1011440 010
== Executing PPA-CTR 8 (once), V(1)=1438, V(2)=5281877[15]5966882
8451004[16]5489899 1673893[45]0469012 -4318 1115281877[15]5966888 <B(110) 111 1011439 010
== Executing PA-CTR 6, V(1)=5281877[15]5966885, V(2)=0, repcount=5281877[15]5966886, factor=2/1
1690200[17]0960075 6695575[45]0161260 -316912[17]5805634 1112 <B(110) 1111056375[16]1933773 1011439 010
== Executing PPA-CTR 7 (once), V(1)=1437, V(2)=1056375[16]1933772
1690200[17]0960103 6695575[45]7565483 -4315 011 1111056375[16]1933778 <B(110) 111 1011438 010
== Executing PA-CTR 5, V(1)=1056375[16]1933776, V(2)=0, repcount=1056375[16]1933777, factor=2/1
3380401[17]1900535 2678230[46]9156521 -633825[17]1606977 011 111 <B(110) 1112112751[16]3867555 1011438 010
== Executing PPA-CTR 8 (once), V(1)=1436, V(2)=2112751[16]3867554
3380401[17]1900556 2678230[46]3964738 -4312 1112112751[16]3867560 <B(110) 111 1011437 010
== Executing PA-CTR 6, V(1)=2112751[16]3867557, V(2)=0, repcount=2112751[16]3867558, factor=2/1
6760803[17]3781484 1071292[47]5972250 -126765[18]3209660 1112 <B(110) 1114225502[16]7735117 1011437 010
== Executing PPA-CTR 7 (once), V(1)=1435, V(2)=4225502[16]7735116
6760803[17]3781512 1071292[47]5588569 -4309 011 1114225502[16]7735122 <B(110) 111 1011436 010
== Executing PA-CTR 5, V(1)=4225502[16]7735120, V(2)=0, repcount=4225502[16]7735121, factor=2/1
1352160[18]7543448 4285168[47]4905175 -253530[18]6415035 011 111 <B(110) 1118451004[16]5470243 1011436 010
== Executing PPA-CTR 8 (once), V(1)=1434, V(2)=8451004[16]5470242
1352160[18]7543469 4285168[47]4137584 -4306 1118451004[16]5470248 <B(110) 111 1011435 010
== Executing PA-CTR 6, V(1)=8451004[16]5470245, V(2)=0, repcount=8451004[16]5470246, factor=2/1
2704321[18]5067405 1714067[48]3976392 -507060[18]2825782 1112 <B(110) 1111690200[17]0940493 1011435 010
== Executing PPA-CTR 7 (once), V(1)=1433, V(2)=1690200[17]0940492
2704321[18]5067433 1714067[48]2441095 -4303 011 1111690200[17]0940498 <B(110) 111 1011434 010
== Executing PA-CTR 5, V(1)=1690200[17]0940496, V(2)=0, repcount=1690200[17]0940497, factor=2/1
5408642[18]0115385 6856268[48]6940933 -101412[19]5647285 011 111 <B(110) 1113380401[17]1880995 1011434 010
== Executing PPA-CTR 8 (once), V(1)=1432, V(2)=3380401[17]1880994
5408642[18]0115406 6856268[48]3870110 -4300 1113380401[17]1881000 <B(110) 111 1011433 010
== Executing PA-CTR 6, V(1)=3380401[17]1880997, V(2)=0, repcount=3380401[17]1880998, factor=2/1
1081728[19]0211374 2742507[49]2157942 -202824[19]1290288 1112 <B(110) 1116760803[17]3761997 1011433 010
== Executing PPA-CTR 7 (once), V(1)=1431, V(2)=6760803[17]3761996
1081728[19]0211402 2742507[49]6016181 -4297 011 1116760803[17]3762002 <B(110) 111 1011432 010
== Executing PA-CTR 5, V(1)=6760803[17]3762000, V(2)=0, repcount=6760803[17]3762001, factor=2/1
2163457[19]0403418 1097003[50]9744307 -405648[19]2576303 011 111 <B(110) 1111352160[18]7524003 1011432 010
== Executing PPA-CTR 8 (once), V(1)=1430, V(2)=1352160[18]7524002
2163457[19]0403439 1097003[50]7460556 -4294 1111352160[18]7524008 <B(110) 111 1011431 010
== Executing PA-CTR 6, V(1)=1352160[18]7524005, V(2)=0, repcount=1352160[18]7524006, factor=2/1
4326914[19]0787535 4388012[50]3525924 -811296[19]5148330 1112 <B(110) 1112704321[18]5048013 1011431 010
== Executing PPA-CTR 7 (once), V(1)=1429, V(2)=2704321[18]5048012
4326914[19]0787563 4388012[50]8958307 -4291 011 1112704321[18]5048018 <B(110) 111 1011430 010
== Executing PA-CTR 5, V(1)=2704321[18]5048016, V(2)=0, repcount=2704321[18]5048017, factor=2/1
8653828[19]1555835 1755204[51]5525345 -162259[20]0292393 011 111 <B(110) 1115408642[18]0096035 1011430 010
== Executing PPA-CTR 8 (once), V(1)=1428, V(2)=5408642[18]0096034
8653828[19]1555856 1755204[51]6389882 -4288 1115408642[18]0096040 <B(110) 111 1011429 010
== Executing PA-CTR 6, V(1)=5408642[18]0096037, V(2)=0, repcount=5408642[18]0096038, factor=2/1
1730765[20]3092464 7020819[51]7268434 -324518[20]0580516 1112 <B(110) 1111081728[19]0192077 1011429 010
== Executing PPA-CTR 7 (once), V(1)=1427, V(2)=1081728[19]0192076
1730765[20]3092492 7020819[51]8997393 -4285 011 1111081728[19]0192082 <B(110) 111 1011428 010
== Executing PA-CTR 5, V(1)=1081728[19]0192080, V(2)=0, repcount=1081728[19]0192081, factor=2/1
3461531[20]6165788 2808327[52]1732239 -649037[20]1156771 011 111 <B(110) 1112163457[19]0384163 1011428 010
== Executing PPA-CTR 8 (once), V(1)=1426, V(2)=2163457[19]0384162
3461531[20]6165809 2808327[52]5189928 -4282 1112163457[19]0384168 <B(110) 111 1011427 010
== Executing PA-CTR 6, V(1)=2163457[19]0384165, V(2)=0, repcount=2163457[19]0384166, factor=2/1
6923062[20]2312465 1123331[53]4569856 -129807[21]2309278 1112 <B(110) 1114326914[19]0768333 1011427 010
== Executing PPA-CTR 7 (once), V(1)=1425, V(2)=4326914[19]0768332
6923062[20]2312493 1123331[53]1485119 -4279 011 1114326914[19]0768338 <B(110) 111 1011426 010
== Executing PA-CTR 5, V(1)=4326914[19]0768336, V(2)=0, repcount=4326914[19]0768337, factor=2/1
1384612[21]4605885 4493324[53]5885757 -259614[21]4614301 011 111 <B(110) 1118653828[19]1536675 1011426 010
== Executing PPA-CTR 8 (once), V(1)=1424, V(2)=8653828[19]1536674
1384612[21]4605906 4493324[53]9716054 -4276 1118653828[19]1536680 <B(110) 111 1011425 010
== Executing PA-CTR 6, V(1)=8653828[19]1536677, V(2)=0, repcount=8653828[19]1536678, factor=2/1
2769224[21]9192754 1797329[54]1079726 -519229[21]9224344 1112 <B(110) 1111730765[20]3073357 1011425 010
== Executing PPA-CTR 7 (once), V(1)=1423, V(2)=1730765[20]3073356
2769224[21]9192782 1797329[54]8740205 -4273 011 1111730765[20]3073362 <B(110) 111 1011424 010
== Executing PA-CTR 5, V(1)=1730765[20]3073360, V(2)=0, repcount=1730765[20]3073361, factor=2/1
5538449[21]8366558 7189319[54]1716971 -103845[22]8444439 011 111 <B(110) 1113461531[20]6146723 1011424 010
== Executing PPA-CTR 8 (once), V(1)=1422, V(2)=3461531[20]6146722
5538449[21]8366579 7189319[54]7037700 -4270 1113461531[20]6146728 <B(110) 111 1011423 010
== Executing PA-CTR 6, V(1)=3461531[20]6146725, V(2)=0, repcount=3461531[20]6146726, factor=2/1
1107689[22]6714195 2875727[55]3988188 -207691[22]6884626 1112 <B(110) 1116923062[20]2293453 1011423 010
== Executing PPA-CTR 7 (once), V(1)=1421, V(2)=6923062[20]2293452
1107689[22]6714223 2875727[55]4629531 -4267 011 1116923062[20]2293458 <B(110) 111 1011422 010
== Executing PA-CTR 5, V(1)=6923062[20]2293456, V(2)=0, repcount=6923062[20]2293457, factor=2/1
2215379[22]3409535 1150291[56]2518169 -415383[22]3765009 011 111 <B(110) 1111384612[21]4586915 1011422 010
== Executing PPA-CTR 8 (once), V(1)=1420, V(2)=1384612[21]4586914
2215379[22]3409556 1150291[56]3800626 -4264 1111384612[21]4586920 <B(110) 111 1011421 010
== Executing PA-CTR 6, V(1)=1384612[21]4586917, V(2)=0, repcount=1384612[21]4586918, factor=2/1
4430759[22]6800244 4601164[56]5527818 -830767[22]7525772 1112 <B(110) 1112769224[21]9173837 1011421 010
== Executing PPA-CTR 7 (once), V(1)=1419, V(2)=2769224[21]9173836
4430759[22]6800272 4601164[56]8092617 -4261 011 1112769224[21]9173842 <B(110) 111 1011420 010
== Executing PA-CTR 5, V(1)=2769224[21]9173840, V(2)=0, repcount=2769224[21]9173841, factor=2/1
8861519[22]3581728 1840465[57]5346503 -166153[23]5047307 011 111 <B(110) 1115538449[21]8347683 1011420 010
== Executing PPA-CTR 8 (once), V(1)=1418, V(2)=5538449[21]8347682
8861519[22]3581749 1840465[57]0475872 -4258 1115538449[21]8347688 <B(110) 111 1011419 010
== Executing PA-CTR 6, V(1)=5538449[21]8347685, V(2)=0, repcount=5538449[21]8347686, factor=2/1
1772303[23]7144725 7361862[57]0180920 -332306[23]0090374 1112 <B(110) 1111107689[22]6695373 1011419 010
== Executing PPA-CTR 7 (once), V(1)=1417, V(2)=1107689[22]6695372
1772303[23]7144753 7361862[57]0439543 -4255 011 1111107689[22]6695378 <B(110) 111 1011418 010
== Executing PA-CTR 5, V(1)=1107689[22]6695376, V(2)=0, repcount=1107689[22]6695377, factor=2/1
3544607[23]4270785 2944745[58]0638581 -664613[23]0176517 011 111 <B(110) 1112215379[22]3390755 1011418 010
== Executing PPA-CTR 8 (once), V(1)=1416, V(2)=2215379[22]3390754
3544607[23]4270806 2944745[58]1155598 -4252 1112215379[22]3390760 <B(110) 111 1011417 010
== Executing PA-CTR 6, V(1)=2215379[22]3390757, V(2)=0, repcount=2215379[22]3390758, factor=2/1
7089215[23]8522934 1177898[59]4708710 -132922[24]0348800 1112 <B(110) 1114430759[22]6781517 1011417 010
== Executing PPA-CTR 7 (once), V(1)=1415, V(2)=4430759[22]6781516
7089215[23]8522962 1177898[59]5742629 -4249 011 1114430759[22]6781522 <B(110) 111 1011416 010
== Executing PA-CTR 5, V(1)=4430759[22]6781520, V(2)=0, repcount=4430759[22]6781521, factor=2/1
1417843[24]7027298 4711592[59]5468835 -265845[24]0693375 011 111 <B(110) 1118861519[22]3563043 1011416 010
== Executing PPA-CTR 8 (once), V(1)=1414, V(2)=8861519[22]3563042
1417843[24]7027319 4711592[59]7536444 -4246 1118861519[22]3563048 <B(110) 111 1011415 010
== Executing PA-CTR 6, V(1)=8861519[22]3563045, V(2)=0, repcount=8861519[22]3563046, factor=2/1
2835686[24]4036055 1884636[60]7468052 -531691[24]1382522 1112 <B(110) 1111772303[23]7126093 1011415 010
== Executing PPA-CTR 7 (once), V(1)=1413, V(2)=1772303[23]7126092
2835686[24]4036083 1884636[60]1603155 -4243 011 1111772303[23]7126098 <B(110) 111 1011414 010
== Executing PA-CTR 5, V(1)=1772303[23]7126096, V(2)=0, repcount=1772303[23]7126097, factor=2/1
5671372[24]8053635 7538547[60]3382993 -106338[25]2760825 011 111 <B(110) 1113544607[23]4252195 1011414 010
== Executing PPA-CTR 8 (once), V(1)=1412, V(2)=3544607[23]4252194
5671372[24]8053656 7538547[60]1652970 -4240 1113544607[23]4252200 <B(110) 111 1011413 010
== Executing PA-CTR 6, V(1)=3544607[23]4252197, V(2)=0, repcount=3544607[23]4252198, factor=2/1
1134274[25]6088824 3015418[61]2878402 -212676[25]5517428 1112 <B(110) 1117089215[23]8504397 1011413 010
== Executing PPA-CTR 7 (once), V(1)=1411, V(2)=7089215[23]8504396
1134274[25]6088852 3015418[61]9418241 -4237 011 1117089215[23]8504402 <B(110) 111 1011412 010
== Executing PA-CTR 5, V(1)=7089215[23]8504400, V(2)=0, repcount=7089215[23]8504401, factor=2/1
2268549[25]2159268 1206167[62]2531967 -425352[25]1030643 011 111 <B(110) 1111417843[24]7008803 1011412 010
== Executing PPA-CTR 8 (once), V(1)=1410, V(2)=1417843[24]7008802
2268549[25]2159289 1206167[62]5611416 -4234 1111417843[24]7008808 <B(110) 111 1011411 010
== Executing PA-CTR 6, V(1)=1417843[24]7008805, V(2)=0, repcount=1417843[24]7008806, factor=2/1
4537098[25]4300185 4824670[62]4489584 -850705[25]2057070 1112 <B(110) 1112835686[24]4017613 1011411 010
== Executing PPA-CTR 7 (once), V(1)=1409, V(2)=2835686[24]4017612
4537098[25]4300213 4824670[62]0648367 -4231 011 1112835686[24]4017618 <B(110) 111 1011410 010
== Executing PA-CTR 5, V(1)=2835686[24]4017616, V(2)=0, repcount=2835686[24]4017617, factor=2/1
9074196[25]8582085 1929868[63]9007405 -170141[26]4109933 011 111 <B(110) 1115671372[24]8035235 1011410 010
== Executing PPA-CTR 8 (once), V(1)=1408, V(2)=5671372[24]8035234
9074196[25]8582106 1929868[63]1324742 -4228 1115671372[24]8035240 <B(110) 111 1011409 010
== Executing PA-CTR 6, V(1)=5671372[24]8035237, V(2)=0, repcount=5671372[24]8035238, factor=2/1
1814839[26]7145914 7719472[63]0452894 -340282[26]8215656 1112 <B(110) 1111134274[25]6070477 1011409 010
== Executing PPA-CTR 7 (once), V(1)=1407, V(2)=1134274[25]6070476
1814839[26]7145942 7719472[63]5087453 -4225 011 1111134274[25]6070482 <B(110) 111 1011408 010
== Executing PA-CTR 5, V(1)=1134274[25]6070480, V(2)=0, repcount=1134274[25]6070481, factor=2/1
3629678[26]4273638 3087789[64]2983899 -680564[26]6427111 011 111 <B(110) 1112268549[25]2140963 1011408 010
== Executing PPA-CTR 8 (once), V(1)=1406, V(2)=2268549[25]2140962
3629678[26]4273659 3087789[64]2252788 -4222 1112268549[25]2140968 <B(110) 111 1011407 010
== Executing PA-CTR 6, V(1)=2268549[25]2140965, V(2)=0, repcount=2268549[25]2140966, factor=2/1
7259357[26]8529115 1235115[65]6605516 -136112[27]2850018 1112 <B(110) 1114537098[25]4281933 1011407 010
== Executing PPA-CTR 7 (once), V(1)=1405, V(2)=4537098[25]4281932
7259357[26]8529143 1235115[65]5143179 -4219 011 1114537098[25]4281938 <B(110) 111 1011406 010
== Executing PA-CTR 5, V(1)=4537098[25]4281936, V(2)=0, repcount=4537098[25]4281937, factor=2/1
1451871[27]7040135 4940462[65]8087817 -272225[27]5695841 011 111 <B(110) 1119074196[25]8563875 1011406 010
== Executing PPA-CTR 8 (once), V(1)=1404, V(2)=9074196[25]8563874
1451871[27]7040156 4940462[65]5162914 -4216 1119074196[25]8563880 <B(110) 111 1011405 010
== Executing PA-CTR 6, V(1)=9074196[25]8563877, V(2)=0, repcount=9074196[25]8563878, factor=2/1
2903742[27]4062204 1976184[66]8008186 -544451[27]1387484 1112 <B(110) 1111814839[26]7127757 1011405 010
== Executing PPA-CTR 7 (once), V(1)=1403, V(2)=1814839[26]7127756
2903742[27]4062232 1976184[66]2158265 -4213 011 1111814839[26]7127762 <B(110) 111 1011404 010
== Executing PA-CTR 5, V(1)=1814839[26]7127760, V(2)=0, repcount=1814839[26]7127761, factor=2/1
5807485[27]8106408 7904739[66]5672631 -108890[28]2770779 011 111 <B(110) 1113629678[26]4255523 1011404 010
== Executing PPA-CTR 8 (once), V(1)=1402, V(2)=3629678[26]4255522
5807485[27]8106429 7904739[66]3972560 -4210 1113629678[26]4255528 <B(110) 111 1011403 010
== Executing PA-CTR 6, V(1)=3629678[26]4255525, V(2)=0, repcount=3629678[26]4255526, factor=2/1
1161497[28]6194845 3161895[67]2295848 -217780[28]5537366 1112 <B(110) 1117259357[26]8511053 1011403 010
== Executing PPA-CTR 7 (once), V(1)=1401, V(2)=7259357[26]8511052
1161497[28]6194873 3161895[67]8895591 -4207 011 1117259357[26]8511058 <B(110) 111 1011402 010
== Executing PA-CTR 5, V(1)=7259357[26]8511056, V(2)=0, repcount=7259357[26]8511057, factor=2/1
2322994[28]2371785 1264758[68]0720229 -435561[28]1070549 011 111 <B(110) 1111451871[27]7022115 1011402 010
== Executing PPA-CTR 8 (once), V(1)=1400, V(2)=1451871[27]7022114
2322994[28]2371806 1264758[68]3919486 -4204 1111451871[27]7022120 <B(110) 111 1011401 010
== Executing PA-CTR 6, V(1)=1451871[27]7022117, V(2)=0, repcount=1451871[27]7022118, factor=2/1
4645988[28]4725694 5059033[68]8280278 -871122[28]2136912 1112 <B(110) 1112903742[27]4044237 1011401 010
== Executing PPA-CTR 7 (once), V(1)=1399, V(2)=2903742[27]4044236
4645988[28]4725722 5059033[68]4678677 -4201 011 1112903742[27]4044242 <B(110) 111 1011400 010
== Executing PA-CTR 5, V(1)=2903742[27]4044240, V(2)=0, repcount=2903742[27]4044241, factor=2/1
9291977[28]9433578 2023613[69]6246163 -174224[29]4269647 011 111 <B(110) 1115807485[27]8088483 1011400 010
== Executing PPA-CTR 8 (once), V(1)=1398, V(2)=5807485[27]8088482
9291977[28]9433599 2023613[69]9042732 -4198 1115807485[27]8088488 <B(110) 111 1011399 010
== Executing PA-CTR 6, V(1)=5807485[27]8088485, V(2)=0, repcount=5807485[27]8088486, factor=2/1
1858395[29]8849375 8094453[69]3560580 -348449[29]8535114 1112 <B(110) 1111161497[28]6176973 1011399 010
== Executing PPA-CTR 7 (once), V(1)=1397, V(2)=1161497[28]6176972
1858395[29]8849403 8094453[69]9153603 -4195 011 1111161497[28]6176978 <B(110) 111 1011398 010
== Executing PA-CTR 5, V(1)=1161497[28]6176976, V(2)=0, repcount=1161497[28]6176977, factor=2/1
3716790[29]7681035 3237781[70]3720641 -696898[29]7066057 011 111 <B(110) 1112322994[28]2353955 1011398 010
== Executing PPA-CTR 8 (once), V(1)=1396, V(2)=2322994[28]2353954
3716790[29]7681056 3237781[70]4906458 -4192 1112322994[28]2353960 <B(110) 111 1011397 010
== Executing PA-CTR 6, V(1)=2322994[28]2353957, V(2)=0, repcount=2322994[28]2353958, factor=2/1
7433581[29]5344384 1295112[71]6165170 -139379[30]4127940 1112 <B(110) 1114645988[28]4707917 1011397 010
== Executing PPA-CTR 7 (once), V(1)=1395, V(2)=4645988[28]4707916
7433581[29]5344412 1295112[71]8536689 -4189 011 1114645988[28]4707922 <B(110) 111 1011396 010
== Executing PA-CTR 5, V(1)=4645988[28]4707920, V(2)=0, repcount=4645988[28]4707921, factor=2/1
1486716[30]0671148 5180450[71]9552495 -278759[30]8251715 011 111 <B(110) 1119291977[28]9415843 1011396 010
== Executing PPA-CTR 8 (once), V(1)=1394, V(2)=9291977[28]9415842
1486716[30]0671169 5180450[71]4295304 -4186 1119291977[28]9415848 <B(110) 111 1011395 010
== Executing PA-CTR 6, V(1)=9291977[28]9415845, V(2)=0, repcount=9291977[28]9415846, factor=2/1
2973432[30]1324705 2072180[72]0319712 -557518[30]6499262 1112 <B(110) 1111858395[29]8831693 1011395 010
== Executing PPA-CTR 7 (once), V(1)=1393, V(2)=1858395[29]8831692
2973432[30]1324733 2072180[72]9805215 -4183 011 1111858395[29]8831698 <B(110) 111 1011394 010
== Executing PA-CTR 5, V(1)=1858395[29]8831696, V(2)=0, repcount=1858395[29]8831697, factor=2/1
5946865[30]2631885 8288720[72]7825053 -111503[31]2994365 011 111 <B(110) 1113716790[29]7663395 1011394 010
== Executing PPA-CTR 8 (once), V(1)=1392, V(2)=3716790[29]7663394
5946865[30]2631906 8288720[72]6795830 -4180 1113716790[29]7663400 <B(110) 111 1011393 010
== Executing PA-CTR 6, V(1)=3716790[29]7663397, V(2)=0, repcount=3716790[29]7663398, factor=2/1
1189373[31]5246274 3315488[73]6718862 -223007[31]5984568 1112 <B(110) 1117433581[29]5326797 1011393 010
== Executing PPA-CTR 7 (once), V(1)=1391, V(2)=7433581[29]5326796
1189373[31]5246302 3315488[73]4660301 -4177 011 1117433581[29]5326802 <B(110) 111 1011392 010
== Executing PA-CTR 5, V(1)=7433581[29]5326800, V(2)=0, repcount=7433581[29]5326801, factor=2/1
2378746[31]0475118 1326195[74]0039627 -446014[31]1964983 011 111 <B(110) 1111486716[30]0653603 1011392 010
== Executing PPA-CTR 8 (once), V(1)=1390, V(2)=1486716[30]0653602
2378746[31]0475139 1326195[74]5922276 -4174 1111486716[30]0653608 <B(110) 111 1011391 010
== Executing PA-CTR 6, V(1)=1486716[30]0653605, V(2)=0, repcount=1486716[30]0653606, factor=2/1
4757492[31]0932835 5304781[74]8813244 -892029[31]3925810 1112 <B(110) 1112973432[30]1307213 1011391 010
== Executing PPA-CTR 7 (once), V(1)=1389, V(2)=2973432[30]1307212
4757492[31]0932863 5304781[74]0578427 -4171 011 1112973432[30]1307218 <B(110) 111 1011390 010
== Executing PA-CTR 5, V(1)=2973432[30]1307216, V(2)=0, repcount=2973432[30]1307217, factor=2/1
9514984[31]1848335 2121912[75]4889465 -178405[32]7847473 011 111 <B(110) 1115946865[30]2614435 1011390 010
== Executing PPA-CTR 8 (once), V(1)=1388, V(2)=5946865[30]2614434
9514984[31]1848356 2121912[75]8419602 -4168 1115946865[30]2614440 <B(110) 111 1011389 010
== Executing PA-CTR 6, V(1)=5946865[30]2614437, V(2)=0, repcount=5946865[30]2614438, factor=2/1
1902996[32]3679364 8487649[75]1157354 -356811[32]5690796 1112 <B(110) 1111189373[31]5228877 1011389 010
== Executing PPA-CTR 7 (once), V(1)=1387, V(2)=1189373[31]5228876
1902996[32]3679392 8487649[75]8217513 -4165 011 1111189373[31]5228882 <B(110) 111 1011388 010
== Executing PA-CTR 5, V(1)=1189373[31]5228880, V(2)=0, repcount=1189373[31]5228881, factor=2/1
3805993[32]7341488 3395059[76]0155559 -713623[32]1377451 011 111 <B(110) 1112378746[31]0457763 1011388 010
== Executing PPA-CTR 8 (once), V(1)=1386, V(2)=2378746[31]0457762
3805993[32]7341509 3395059[76]4275648 -4162 1112378746[31]0457768 <B(110) 111 1011387 010
== Executing PA-CTR 6, V(1)=2378746[31]0457765, V(2)=0, repcount=2378746[31]0457766, factor=2/1
7611987[32]4665765 1358023[77]4001176 -142724[33]2750758 1112 <B(110) 1114757492[31]0915533 1011387 010
== Executing PPA-CTR 7 (once), V(1)=1385, V(2)=4757492[31]0915532
7611987[32]4665793 1358023[77]2241239 -4159 011 1114757492[31]0915538 <B(110) 111 1011386 010
== Executing PA-CTR 5, V(1)=4757492[31]0915536, V(2)=0, repcount=4757492[31]0915537, factor=2/1
1522397[33]9314385 5432095[77]5089877 -285449[33]5497381 011 111 <B(110) 1119514984[31]1831075 1011386 010
== Executing PPA-CTR 8 (once), V(1)=1384, V(2)=9514984[31]1831074
1522397[33]9314406 5432095[77]1569774 -4156 1119514984[31]1831080 <B(110) 111 1011385 010
== Executing PA-CTR 6, V(1)=9514984[31]1831077, V(2)=0, repcount=9514984[31]1831078, factor=2/1
3044795[33]8611654 2172838[78]0856646 -570899[33]0990624 1112 <B(110) 1111902996[32]3662157 1011385 010
== Executing PPA-CTR 7 (once), V(1)=1383, V(2)=1902996[32]3662156
3044795[33]8611682 2172838[78]3816325 -4153 011 1111902996[32]3662162 <B(110) 111 1011384 010
== Executing PA-CTR 5, V(1)=1902996[32]3662160, V(2)=0, repcount=1902996[32]3662161, factor=2/1
6089590[33]7206258 8691353[78]6748291 -114179[34]1977119 011 111 <B(110) 1113805993[32]7324323 1011384 010
== Executing PPA-CTR 8 (once), V(1)=1382, V(2)=3805993[32]7324322
6089590[33]7206279 8691353[78]2667420 -4150 1113805993[32]7324328 <B(110) 111 1011383 010
== Executing PA-CTR 6, V(1)=3805993[32]7324325, V(2)=0, repcount=3805993[32]7324326, factor=2/1
1217918[34]4395495 3476541[79]5963508 -228359[34]3950106 1112 <B(110) 1117611987[32]4648653 1011383 010
== Executing PPA-CTR 7 (once), V(1)=1381, V(2)=7611987[32]4648652
1217918[34]4395523 3476541[79]7801651 -4147 011 1117611987[32]4648658 <B(110) 111 1011382 010
== Executing PA-CTR 5, V(1)=7611987[32]4648656, V(2)=0, repcount=7611987[32]4648657, factor=2/1
2435836[34]8774035 1390616[80]4122289 -456719[34]7896089 011 111 <B(110) 1111522397[33]9297315 1011382 010
== Executing PPA-CTR 8 (once), V(1)=1380, V(2)=1522397[33]9297314
2435836[34]8774056 1390616[80]7798346 -4144 1111522397[33]9297320 <B(110) 111 1011381 010
== Executing PA-CTR 6, V(1)=1522397[33]9297317, V(2)=0, repcount=1522397[33]9297318, factor=2/1
4871672[34]7531144 5562466[80]9352738 -913438[34]5788052 1112 <B(110) 1113044795[33]8594637 1011381 010
== Executing PPA-CTR 7 (once), V(1)=1379, V(2)=3044795[33]8594636
4871672[34]7531172 5562466[80]6704737 -4141 011 1113044795[33]8594642 <B(110) 111 1011380 010
== Executing PA-CTR 5, V(1)=3044795[33]8594640, V(2)=0, repcount=3044795[33]8594641, factor=2/1
9743344[34]5045428 2224986[81]5465823 -182687[35]1571987 011 111 <B(110) 1116089590[33]7189283 1011380 010
== Executing PPA-CTR 8 (once), V(1)=1378, V(2)=6089590[33]7189282
9743344[34]5045449 2224986[81]0169592 -4138 1116089590[33]7189288 <B(110) 111 1011379 010
== Executing PA-CTR 6, V(1)=6089590[33]7189285, V(2)=0, repcount=6089590[33]7189286, factor=2/1
1948668[35]0074025 8899945[81]0300240 -365375[35]3139854 1112 <B(110) 1111217918[34]4378573 1011379 010
== Executing PPA-CTR 7 (once), V(1)=1377, V(2)=1217918[34]4378572
1948668[35]0074053 8899945[81]9707663 -4135 011 1111217918[34]4378578 <B(110) 111 1011378 010
== Executing PA-CTR 5, V(1)=1217918[34]4378576, V(2)=0, repcount=1217918[34]4378577, factor=2/1
3897337[35]0131285 3559978[82]0402701 -730750[35]6275597 011 111 <B(110) 1112435836[34]8757155 1011378 010
== Executing PPA-CTR 8 (once), V(1)=1376, V(2)=2435836[34]8757154
3897337[35]0131306 3559978[82]9217318 -4132 1112435836[34]8757160 <B(110) 111 1011377 010
== Executing PA-CTR 6, V(1)=2435836[34]8757157, V(2)=0, repcount=2435836[34]8757158, factor=2/1
7794675[35]0245834 1423991[83]2341630 -146150[36]2547080 1112 <B(110) 1114871672[34]7514317 1011377 010
== Executing PPA-CTR 7 (once), V(1)=1375, V(2)=4871672[34]7514316
7794675[35]0245862 1423991[83]9970749 -4129 011 1114871672[34]7514322 <B(110) 111 1011376 010
== Executing PA-CTR 5, V(1)=4871672[34]7514320, V(2)=0, repcount=4871672[34]7514321, factor=2/1
1558935[36]0474998 5695965[83]3156155 -292300[36]5090055 011 111 <B(110) 1119743344[34]5028643 1011376 010
== Executing PPA-CTR 8 (once), V(1)=1374, V(2)=9743344[34]5028642
1558935[36]0475019 5695965[83]8414164 -4126 1119743344[34]5028648 <B(110) 111 1011375 010
== Executing PA-CTR 6, V(1)=9743344[34]5028645, V(2)=0, repcount=9743344[34]5028646, factor=2/1
3117870[36]0933355 2278386[84]2531372 -584600[36]0176002 1112 <B(110) 1111948668[35]0057293 1011375 010
== Executing PPA-CTR 7 (once), V(1)=1373, V(2)=1948668[35]0057292
3117870[36]0933383 2278386[84]3047275 -4123 011 1111948668[35]0057298 <B(110) 111 1011374 010
== Executing PA-CTR 5, V(1)=1948668[35]0057296, V(2)=0, repcount=1948668[35]0057297, factor=2/1
6235740[36]1850135 9113544[84]2267113 -116920[37]0347905 011 111 <B(110) 1113897337[35]0114595 1011374 010
== Executing PPA-CTR 8 (once), V(1)=1372, V(2)=3897337[35]0114594
6235740[36]1850156 9113544[84]3298690 -4120 1113897337[35]0114600 <B(110) 111 1011373 010
== Executing PA-CTR 6, V(1)=3897337[35]0114597, V(2)=0, repcount=3897337[35]0114598, factor=2/1
1247148[37]3683724 3645417[85]5679322 -233840[37]0691708 1112 <B(110) 1117794675[35]0229197 1011373 010
== Executing PPA-CTR 7 (once), V(1)=1371, V(2)=7794675[35]0229196
1247148[37]3683752 3645417[85]7742361 -4117 011 1117794675[35]0229202 <B(110) 111 1011372 010
== Executing PA-CTR 5, V(1)=7794675[35]0229200, V(2)=0, repcount=7794675[35]0229201, factor=2/1
2494296[37]7350968 1458167[86]8267287 -467680[37]1379323 011 111 <B(110) 1111558935[36]0458403 1011372 010
== Executing PPA-CTR 8 (once), V(1)=1370, V(2)=1558935[36]0458402
2494296[37]7350989 1458167[86]2393136 -4114 1111558935[36]0458408 <B(110) 111 1011371 010
== Executing PA-CTR 6, V(1)=1558935[36]0458405, V(2)=0, repcount=1558935[36]0458406, factor=2/1
4988592[37]4685485 5832668[86]6496904 -935361[37]2754550 1112 <B(110) 1113117870[36]0916813 1011371 010
== Executing PPA-CTR 7 (once), V(1)=1369, V(2)=3117870[36]0916812
4988592[37]4685513 5832668[86]4748487 -4111 011 1113117870[36]0916818 <B(110) 111 1011370 010
== Executing PA-CTR 5, V(1)=3117870[36]0916816, V(2)=0, repcount=3117870[36]0916817, factor=2/1
9977184[37]9354585 2333067[87]5171525 -187072[38]5505013 011 111 <B(110) 1116235740[36]1833635 1011370 010
== Executing PPA-CTR 8 (once), V(1)=1368, V(2)=6235740[36]1833634
9977184[37]9354606 2333067[87]1674462 -4108 1116235740[36]1833640 <B(110) 111 1011369 010
== Executing PA-CTR 6, V(1)=6235740[36]1833637, V(2)=0, repcount=6235740[36]1833638, factor=2/1
1995436[38]8692814 9332269[87]1381814 -374144[38]1005936 1112 <B(110) 1111247148[37]3667277 1011369 010
== Executing PPA-CTR 7 (once), V(1)=1367, V(2)=1247148[37]3667276
1995436[38]8692842 9332269[87]4387573 -4105 011 1111247148[37]3667282 <B(110) 111 1011368 010
== Executing PA-CTR 5, V(1)=1247148[37]3667280, V(2)=0, repcount=1247148[37]3667281, factor=2/1
3990873[38]7369338 3732907[88]9247219 -748288[38]2007791 011 111 <B(110) 1112494296[37]7334563 1011368 010
== Executing PPA-CTR 8 (once), V(1)=1366, V(2)=2494296[37]7334562
3990873[38]7369359 3732907[88]5258508 -4102 1112494296[37]7334568 <B(110) 111 1011367 010
== Executing PA-CTR 6, V(1)=2494296[37]7334565, V(2)=0, repcount=2494296[37]7334566, factor=2/1
7981747[38]4722415 1493163[89]6756836 -149657[39]4011498 1112 <B(110) 1114988592[37]4669133 1011367 010
== Executing PPA-CTR 7 (once), V(1)=1365, V(2)=4988592[37]4669132
7981747[38]4722443 1493163[89]8779299 -4099 011 1114988592[37]4669138 <B(110) 111 1011366 010
== Executing PA-CTR 5, V(1)=4988592[37]4669136, V(2)=0, repcount=4988592[37]4669137, factor=2/1
1596349[39]9428635 5972652[89]8891937 -299315[39]8018921 011 111 <B(110) 1119977184[37]9338275 1011366 010
== Executing PPA-CTR 8 (once), V(1)=1364, V(2)=9977184[37]9338274
1596349[39]9428656 5972652[89]2936634 -4096 1119977184[37]9338280 <B(110) 111 1011365 010
== Executing PA-CTR 6, V(1)=9977184[37]9338277, V(2)=0, repcount=9977184[37]9338278, factor=2/1
3192699[39]8841104 2389061[90]1625106 -598631[39]6033764 1112 <B(110) 1111995436[38]8676557 1011365 010
== Executing PPA-CTR 7 (once), V(1)=1363, V(2)=1995436[38]8676556
3192699[39]8841132 2389061[90]9714385 -4093 011 1111995436[38]8676562 <B(110) 111 1011364 010
== Executing PA-CTR 5, V(1)=1995436[38]8676560, V(2)=0, repcount=1995436[38]8676561, factor=2/1
6385398[39]7666108 9556244[90]0943951 -119726[40]2063459 011 111 <B(110) 1113990873[38]7353123 1011364 010
== Executing PPA-CTR 8 (once), V(1)=1362, V(2)=3990873[38]7353122
6385398[39]7666129 9556244[90]7122280 -4090 1113990873[38]7353128 <B(110) 111 1011363 010
== Executing PA-CTR 6, V(1)=3990873[38]7353125, V(2)=0, repcount=3990873[38]7353126, factor=2/1
1277079[40]5316145 3822497[91]4991168 -239452[40]4122846 1112 <B(110) 1117981747[38]4706253 1011363 010
== Executing PPA-CTR 7 (once), V(1)=1361, V(2)=7981747[38]4706252
1277079[40]5316173 3822497[91]7347711 -4087 011 1117981747[38]4706258 <B(110) 111 1011362 010
== Executing PA-CTR 5, V(1)=7981747[38]4706256, V(2)=0, repcount=7981747[38]4706257, factor=2/1
2554159[40]0616285 1528999[92]4724349 -478904[40]8241629 011 111 <B(110) 1111596349[39]9412515 1011362 010
== Executing PPA-CTR 8 (once), V(1)=1360, V(2)=1596349[39]9412514
2554159[40]0616306 1528999[92]9437206 -4084 1111596349[39]9412520 <B(110) 111 1011361 010
== Executing PA-CTR 6, V(1)=1596349[39]9412517, V(2)=0, repcount=1596349[39]9412518, factor=2/1
5108318[40]1216594 6115996[92]0745198 -957809[40]6479192 1112 <B(110) 1113192699[39]8825037 1011361 010
== Executing PPA-CTR 7 (once), V(1)=1359, V(2)=3192699[39]8825036
5108318[40]1216622 6115996[92]0170797 -4081 011 1113192699[39]8825042 <B(110) 111 1011360 010
== Executing PA-CTR 5, V(1)=3192699[39]8825040, V(2)=0, repcount=3192699[39]8825041, factor=2/1
1021663[41]2417278 2446398[93]9005483 -191561[41]2954327 011 111 <B(110) 1116385398[39]7650083 1011360 010
== Executing PPA-CTR 8 (once), V(1)=1358, V(2)=6385398[39]7650082
1021663[41]2417299 2446398[93]7856452 -4078 1116385398[39]7650088 <B(110) 111 1011359 010
== Executing PA-CTR 6, V(1)=6385398[39]7650085, V(2)=0, repcount=6385398[39]7650086, factor=2/1
2043327[41]4818675 9785594[93]0399900 -383123[41]5904594 1112 <B(110) 1111277079[40]5300173 1011359 010
== Executing PPA-CTR 7 (once), V(1)=1357, V(2)=1277079[40]5300172
2043327[41]4818703 9785594[93]8101723 -4075 011 1111277079[40]5300178 <B(110) 111 1011358 010
== Executing PA-CTR 5, V(1)=1277079[40]5300176, V(2)=0, repcount=1277079[40]5300177, factor=2/1
4086654[41]9621535 3914237[94]2684761 -766247[41]1805137 011 111 <B(110) 1112554159[40]0600355 1011358 010
== Executing PPA-CTR 8 (once), V(1)=1356, V(2)=2554159[40]0600354
4086654[41]9621556 3914237[94]8088178 -4072 1112554159[40]0600360 <B(110) 111 1011357 010
== Executing PA-CTR 6, V(1)=2554159[40]0600357, V(2)=0, repcount=2554159[40]0600358, factor=2/1
8173309[41]9227284 1565695[95]5238090 -153249[42]3606220 1112 <B(110) 1115108318[40]1200717 1011357 010
== Executing PPA-CTR 7 (once), V(1)=1355, V(2)=5108318[40]1200716
8173309[41]9227312 1565695[95]6044809 -4069 011 1115108318[40]1200722 <B(110) 111 1011356 010
== Executing PA-CTR 5, V(1)=5108318[40]1200720, V(2)=0, repcount=5108318[40]1200721, factor=2/1
1634661[42]8438848 6262780[95]2279815 -306499[42]7208395 011 111 <B(110) 1111021663[41]2401443 1011356 010
== Executing PPA-CTR 8 (once), V(1)=1354, V(2)=1021663[41]2401442
1634661[42]8438869 6262780[95]3893024 -4066 1111021663[41]2401448 <B(110) 111 1011355 010
== Executing PA-CTR 6, V(1)=1021663[41]2401445, V(2)=0, repcount=1021663[41]2401446, factor=2/1
3269323[42]6862005 2505112[96]4103032 -612998[42]4412742 1112 <B(110) 1112043327[41]4802893 1011355 010
== Executing PPA-CTR 7 (once), V(1)=1353, V(2)=2043327[41]4802892
3269323[42]6862033 2505112[96]7329335 -4063 011 1112043327[41]4802898 <B(110) 111 1011354 010
== Executing PA-CTR 5, V(1)=2043327[41]4802896, V(2)=0, repcount=2043327[41]4802897, factor=2/1
6538647[42]3708385 1002044[97]8709173 -122599[43]8821445 011 111 <B(110) 1114086654[41]9605795 1011354 010
== Executing PPA-CTR 8 (once), V(1)=1352, V(2)=4086654[41]9605794
6538647[42]3708406 1002044[97]5161550 -4060 1114086654[41]9605800 <B(110) 111 1011353 010
== Executing PA-CTR 6, V(1)=4086654[41]9605797, V(2)=0, repcount=4086654[41]9605798, factor=2/1
1307729[43]7401174 4008179[97]1759782 -245199[43]7638848 1112 <B(110) 1118173309[41]9211597 1011353 010
== Executing PPA-CTR 7 (once), V(1)=1351, V(2)=8173309[41]9211596
1307729[43]7401202 4008179[97]4664421 -4057 011 1118173309[41]9211602 <B(110) 111 1011352 010
== Executing PA-CTR 5, V(1)=8173309[41]9211600, V(2)=0, repcount=8173309[41]9211601, factor=2/1
2615459[43]4786818 1603271[98]3214947 -490398[43]5273663 011 111 <B(110) 1111634661[42]8423203 1011352 010
== Executing PPA-CTR 8 (once), V(1)=1350, V(2)=1634661[42]8423202
2615459[43]4786839 1603271[98]9023996 -4054 1111634661[42]8423208 <B(110) 111 1011351 010
== Executing PA-CTR 6, V(1)=1634661[42]8423205, V(2)=0, repcount=1634661[42]8423206, factor=2/1
5230918[43]9558135 6413086[98]7540564 -980797[43]0543290 1112 <B(110) 1113269323[42]6846413 1011351 010
== Executing PPA-CTR 7 (once), V(1)=1349, V(2)=3269323[42]6846412
5230918[43]9558163 6413086[98]9158547 -4051 011 1113269323[42]6846418 <B(110) 111 1011350 010
== Executing PA-CTR 5, V(1)=3269323[42]6846416, V(2)=0, repcount=3269323[42]6846417, factor=2/1
1046183[44]9100835 2565234[99]1853585 -196159[44]1082553 011 111 <B(110) 1116538647[42]3692835 1011350 010
== Executing PPA-CTR 8 (once), V(1)=1348, V(2)=6538647[42]3692834
1046183[44]9100856 2565234[99]5089322 -4048 1116538647[42]3692840 <B(110) 111 1011349 010
== Executing PA-CTR 6, V(1)=6538647[42]3692837, V(2)=0, repcount=6538647[42]3692838, factor=2/1
2092367[44]8186264 1026093[100]3126274 -392318[44]2161076 1112 <B(110) 1111307729[43]7385677 1011349 010
== Executing PPA-CTR 7 (once), V(1)=1347, V(2)=1307729[43]7385676
2092367[44]8186292 1026093[100]9597633 -4045 011 1111307729[43]7385682 <B(110) 111 1011348 010
== Executing PA-CTR 5, V(1)=1307729[43]7385680, V(2)=0, repcount=1307729[43]7385681, factor=2/1
4184734[44]6357188 4104375[100]6258879 -784637[44]4318131 011 111 <B(110) 1112615459[43]4771363 1011348 010
== Executing PPA-CTR 8 (once), V(1)=1346, V(2)=2615459[43]4771362
4184734[44]6357209 4104375[100]9201368 -4042 1112615459[43]4771368 <B(110) 111 1011347 010
== Executing PA-CTR 6, V(1)=2615459[43]4771365, V(2)=0, repcount=2615459[43]4771366, factor=2/1
8369468[44]2699065 1641750[101]4872496 -156927[45]8632238 1112 <B(110) 1115230918[43]9542733 1011347 010
== Executing PPA-CTR 7 (once), V(1)=1345, V(2)=5230918[43]9542732
8369468[44]2699093 1641750[101]0757359 -4039 011 1115230918[43]9542738 <B(110) 111 1011346 010
== Executing PA-CTR 5, V(1)=5230918[43]9542736, V(2)=0, repcount=5230918[43]9542737, factor=2/1
1673893[45]5382885 6567001[101]1493997 -313855[45]7260461 011 111 <B(110) 1111046183[44]9085475 1011346 010
== Executing PPA-CTR 8 (once), V(1)=1344, V(2)=1046183[44]9085474
1673893[45]5382906 6567001[101]3263494 -4036 1111046183[44]9085480 <B(110) 111 1011345 010
== Executing PA-CTR 6, V(1)=1046183[44]9085477, V(2)=0, repcount=1046183[44]9085478, factor=2/1
3347787[45]0750554 2626800[102]2313566 -627710[45]4516904 1112 <B(110) 1112092367[44]8170957 1011345 010
== Executing PPA-CTR 7 (once), V(1)=1343, V(2)=2092367[44]8170956
3347787[45]0750582 2626800[102]5852445 -4033 011 1112092367[44]8170962 <B(110) 111 1011344 010
== Executing PA-CTR 5, V(1)=2092367[44]8170960, V(2)=0, repcount=2092367[44]8170961, factor=2/1
6695575[45]1485958 1050720[103]4259611 -125542[46]9029799 011 111 <B(110) 1114184734[44]6341923 1011344 010
== Executing PPA-CTR 8 (once), V(1)=1342, V(2)=4184734[44]6341922
6695575[45]1485979 1050720[103]1337140 -4030 1114184734[44]6341928 <B(110) 111 1011343 010
== Executing PA-CTR 6, V(1)=4184734[44]6341925, V(2)=0, repcount=4184734[44]6341926, factor=2/1
1339115[46]2956795 4202880[103]9378828 -251084[46]8055586 1112 <B(110) 1118369468[44]2683853 1011343 010
== Executing PPA-CTR 7 (once), V(1)=1341, V(2)=8369468[44]2683852
1339115[46]2956823 4202880[103]3533771 -4027 011 1118369468[44]2683858 <B(110) 111 1011342 010
== Executing PA-CTR 5, V(1)=8369468[44]2683856, V(2)=0, repcount=8369468[44]2683857, factor=2/1
2678230[46]5898535 1681152[104]4526409 -502168[46]6107169 011 111 <B(110) 1111673893[45]5367715 1011342 010
== Executing PPA-CTR 8 (once), V(1)=1340, V(2)=1673893[45]5367714
2678230[46]5898556 1681152[104]2836066 -4024 1111673893[45]5367720 <B(110) 111 1011341 010
== Executing PA-CTR 6, V(1)=1673893[45]5367717, V(2)=0, repcount=1673893[45]5367718, factor=2/1
5356460[46]1782044 6724609[104]4457658 -100433[47]2210332 1112 <B(110) 1113347787[45]0735437 1011341 010
== Executing PPA-CTR 7 (once), V(1)=1339, V(2)=3347787[45]0735436
5356460[46]1782072 6724609[104]1076857 -4021 011 1113347787[45]0735442 <B(110) 111 1011340 010
== Executing PA-CTR 5, V(1)=3347787[45]0735440, V(2)=0, repcount=3347787[45]0735441, factor=2/1
1071292[47]3549128 2689843[105]2865143 -200867[47]4416667 011 111 <B(110) 1116695575[45]1470883 1011340 010
== Executing PPA-CTR 8 (once), V(1)=1338, V(2)=6695575[45]1470882
1071292[47]3549149 2689843[105]6103312 -4018 1116695575[45]1470888 <B(110) 111 1011339 010
== Executing PA-CTR 6, V(1)=6695575[45]1470885, V(2)=0, repcount=6695575[45]1470886, factor=2/1
2142584[47]7083325 1075937[106]3859560 -401734[47]8829334 1112 <B(110) 1111339115[46]2941773 1011339 010
== Executing PPA-CTR 7 (once), V(1)=1337, V(2)=1339115[46]2941772
2142584[47]7083353 1075937[106]0335783 -4015 011 1111339115[46]2941778 <B(110) 111 1011338 010
== Executing PA-CTR 5, V(1)=1339115[46]2941776, V(2)=0, repcount=1339115[46]2941777, factor=2/1
4285168[47]4151785 4303749[106]2566821 -803469[47]7654677 011 111 <B(110) 1112678230[46]5883555 1011338 010
== Executing PPA-CTR 8 (once), V(1)=1336, V(2)=2678230[46]5883554
4285168[47]4151806 4303749[106]5519038 -4012 1112678230[46]5883560 <B(110) 111 1011337 010
== Executing PA-CTR 6, V(1)=2678230[46]5883557, V(2)=0, repcount=2678230[46]5883558, factor=2/1
8570336[47]8288734 1721499[107]6854550 -160693[48]5305360 1112 <B(110) 1115356460[46]1767117 1011337 010
== Executing PPA-CTR 7 (once), V(1)=1335, V(2)=5356460[46]1767116
8570336[47]8288762 1721499[107]2758869 -4009 011 1115356460[46]1767122 <B(110) 111 1011336 010
== Executing PA-CTR 5, V(1)=5356460[46]1767120, V(2)=0, repcount=5356460[46]1767121, factor=2/1
1714067[48]6562698 6885999[107]2923475 -321387[48]0606735 011 111 <B(110) 1111071292[47]3534243 1011336 010
== Executing PPA-CTR 8 (once), V(1)=1334, V(2)=1071292[47]3534242
1714067[48]6562719 6885999[107]4731884 -4006 1111071292[47]3534248 <B(110) 111 1011335 010
== Executing PA-CTR 6, V(1)=1071292[47]3534245, V(2)=0, repcount=1071292[47]3534246, factor=2/1
3428134[48]3110655 2754399[108]5034692 -642775[48]1209482 1112 <B(110) 1112142584[47]7068493 1011335 010
== Executing PPA-CTR 7 (once), V(1)=1333, V(2)=2142584[47]7068492
3428134[48]3110683 2754399[108]8651395 -4003 011 1112142584[47]7068498 <B(110) 111 1011334 010
== Executing PA-CTR 5, V(1)=2142584[47]7068496, V(2)=0, repcount=2142584[47]7068497, factor=2/1
6856268[48]6206635 1101759[109]9151233 -128555[49]2414985 011 111 <B(110) 1114285168[47]4136995 1011334 010
== Executing PPA-CTR 8 (once), V(1)=1332, V(2)=4285168[47]4136994
6856268[48]6206656 1101759[109]6384410 -4000 1114285168[47]4137000 <B(110) 111 1011333 010
== Executing PA-CTR 6, V(1)=4285168[47]4136997, V(2)=0, repcount=4285168[47]4136998, factor=2/1
1371253[49]2398624 4407039[109]6960242 -257110[49]4825988 1112 <B(110) 1118570336[47]8273997 1011333 010
== Executing PPA-CTR 7 (once), V(1)=1331, V(2)=8570336[47]8273996
1371253[49]2398652 4407039[109]1426481 -3997 011 1118570336[47]8274002 <B(110) 111 1011332 010
== Executing PA-CTR 5, V(1)=8570336[47]8274000, V(2)=0, repcount=8570336[47]8274001, factor=2/1
2742507[49]4782668 1762815[110]0882607 -514220[49]9648003 011 111 <B(110) 1111714067[48]6548003 1011332 010
== Executing PPA-CTR 8 (once), V(1)=1330, V(2)=1714067[48]6548002
2742507[49]4782689 1762815[110]9814856 -3994 1111714067[48]6548008 <B(110) 111 1011331 010
== Executing PA-CTR 6, V(1)=1714067[48]6548005, V(2)=0, repcount=1714067[48]6548006, factor=2/1
5485015[49]9550785 7051263[110]1944224 -102844[50]9292030 1112 <B(110) 1113428134[48]3096013 1011331 010
== Executing PPA-CTR 7 (once), V(1)=1329, V(2)=3428134[48]3096012
5485015[49]9550813 7051263[110]9808607 -3991 011 1113428134[48]3096018 <B(110) 111 1011330 010
== Executing PA-CTR 5, V(1)=3428134[48]3096016, V(2)=0, repcount=3428134[48]3096017, factor=2/1
1097003[50]9087085 2820505[111]6935645 -205688[50]8580093 011 111 <B(110) 1116856268[48]6192035 1011330 010
== Executing PPA-CTR 8 (once), V(1)=1328, V(2)=6856268[48]6192034
1097003[50]9087106 2820505[111]2664182 -3988 1116856268[48]6192040 <B(110) 111 1011329 010
== Executing PA-CTR 6, V(1)=6856268[48]6192037, V(2)=0, repcount=6856268[48]6192038, factor=2/1
2194006[50]8159714 1128202[112]8390734 -411376[50]7156216 1112 <B(110) 1111371253[49]2384077 1011329 010
== Executing PPA-CTR 7 (once), V(1)=1327, V(2)=1371253[49]2384076
2194006[50]8159742 1128202[112]9847693 -3985 011 1111371253[49]2384082 <B(110) 111 1011328 010
== Executing PA-CTR 5, V(1)=1371253[49]2384080, V(2)=0, repcount=1371253[49]2384081, factor=2/1
4388012[50]6305038 4512808[112]7190539 -822752[50]4308471 011 111 <B(110) 1112742507[49]4768163 1011328 010
== Executing PPA-CTR 8 (once), V(1)=1326, V(2)=2742507[49]4768162
4388012[50]6305059 4512808[112]0104228 -3982 1112742507[49]4768168 <B(110) 111 1011327 010
== Executing PA-CTR 6, V(1)=2742507[49]4768165, V(2)=0, repcount=2742507[49]4768166, factor=2/1
8776024[50]2595715 1805123[113]8348156 -164550[51]8612978 1112 <B(110) 1115485015[49]9536333 1011327 010
== Executing PPA-CTR 7 (once), V(1)=1325, V(2)=5485015[49]9536332
8776024[50]2595743 1805123[113]4175419 -3979 011 1115485015[49]9536338 <B(110) 111 1011326 010
== Executing PA-CTR 5, V(1)=5485015[49]9536336, V(2)=0, repcount=5485015[49]9536337, factor=2/1
1755204[51]5177135 7220493[113]4896057 -329100[51]7222001 011 111 <B(110) 1111097003[50]9072675 1011326 010
== Executing PPA-CTR 8 (once), V(1)=1324, V(2)=1097003[50]9072674
1755204[51]5177156 7220493[113]6550354 -3976 1111097003[50]9072680 <B(110) 111 1011325 010
== Executing PA-CTR 6, V(1)=1097003[50]9072677, V(2)=0, repcount=1097003[50]9072678, factor=2/1
3510409[51]0340004 2888197[114]4922026 -658201[51]4440044 1112 <B(110) 1112194006[50]8145357 1011325 010
== Executing PPA-CTR 7 (once), V(1)=1323, V(2)=2194006[50]8145356
3510409[51]0340032 2888197[114]8230505 -3973 011 1112194006[50]8145362 <B(110) 111 1011324 010
== Executing PA-CTR 5, V(1)=2194006[50]8145360, V(2)=0, repcount=2194006[50]8145361, factor=2/1
7020819[51]0665808 1155279[115]2695271 -131640[52]8876139 011 111 <B(110) 1114388012[50]6290723 1011324 010
== Executing PPA-CTR 8 (once), V(1)=1322, V(2)=4388012[50]6290722
7020819[51]0665829 1155279[115]9312000 -3970 1114388012[50]6290728 <B(110) 111 1011323 010
== Executing PA-CTR 6, V(1)=4388012[50]6290725, V(2)=0, repcount=4388012[50]6290726, factor=2/1
1404163[52]1317445 4621116[115]9126488 -263280[52]7748326 1112 <B(110) 1118776024[50]2581453 1011323 010
== Executing PPA-CTR 7 (once), V(1)=1321, V(2)=8776024[50]2581452
1404163[52]1317473 4621116[115]2359831 -3967 011 1118776024[50]2581458 <B(110) 111 1011322 010
== Executing PA-CTR 5, V(1)=8776024[50]2581456, V(2)=0, repcount=8776024[50]2581457, factor=2/1
2808327[52]2620785 1848446[116]5528469 -526561[52]5492709 011 111 <B(110) 1111755204[51]5162915 1011322 010
== Executing PPA-CTR 8 (once), V(1)=1320, V(2)=1755204[51]5162914
2808327[52]2620806 1848446[116]1994926 -3964 1111755204[51]5162920 <B(110) 111 1011321 010
== Executing PA-CTR 6, V(1)=1755204[51]5162917, V(2)=0, repcount=1755204[51]5162918, factor=2/1
5616655[52]5227494 7393785[116]2490118 -105312[53]0981472 1112 <B(110) 1113510409[51]0325837 1011321 010
== Executing PPA-CTR 7 (once), V(1)=1319, V(2)=3510409[51]0325836
5616655[52]5227522 7393785[116]5422917 -3961 011 1113510409[51]0325842 <B(110) 111 1011320 010
== Executing PA-CTR 5, V(1)=3510409[51]0325840, V(2)=0, repcount=3510409[51]0325841, factor=2/1
1123331[53]0440978 2957514[117]3044803 -210624[53]1959007 011 111 <B(110) 1117020819[51]0651683 1011320 010
== Executing PPA-CTR 8 (once), V(1)=1318, V(2)=7020819[51]0651682
1123331[53]0440999 2957514[117]8910172 -3958 1117020819[51]0651688 <B(110) 111 1011319 010
== Executing PA-CTR 6, V(1)=7020819[51]0651685, V(2)=0, repcount=7020819[51]0651686, factor=2/1
2246662[53]0867975 1183005[118]0679220 -421249[53]3914074 1112 <B(110) 1111404163[52]1303373 1011319 010
== Executing PPA-CTR 7 (once), V(1)=1317, V(2)=1404163[52]1303372
2246662[53]0868003 1183005[118]2409843 -3955 011 1111404163[52]1303378 <B(110) 111 1011318 010
== Executing PA-CTR 5, V(1)=1404163[52]1303376, V(2)=0, repcount=1404163[52]1303377, factor=2/1
4493324[53]1722035 4732022[118]2048881 -842498[53]7824217 011 111 <B(110) 1112808327[52]2606755 1011318 010
== Executing PPA-CTR 8 (once), V(1)=1316, V(2)=2808327[52]2606754
4493324[53]1722056 4732022[118]5509898 -3952 1112808327[52]2606760 <B(110) 111 1011317 010
== Executing PA-CTR 6, V(1)=2808327[52]2606757, V(2)=0, repcount=2808327[52]2606758, factor=2/1
8986648[53]3430184 1892809[119]9191010 -168499[54]5644500 1112 <B(110) 1115616655[52]5213517 1011317 010
== Executing PPA-CTR 7 (once), V(1)=1315, V(2)=5616655[52]5213516
8986648[53]3430212 1892809[119]6112929 -3949 011 1115616655[52]5213522 <B(110) 111 1011316 010
== Executing PA-CTR 5, V(1)=5616655[52]5213520, V(2)=0, repcount=5616655[52]5213521, factor=2/1
1797329[54]6846548 7571236[119]1087135 -336999[54]1285075 011 111 <B(110) 1111123331[53]0427043 1011316 010
== Executing PPA-CTR 8 (once), V(1)=1314, V(2)=1123331[53]0427042
1797329[54]6846569 7571236[119]4930744 -3946 1111123331[53]0427048 <B(110) 111 1011315 010
== Executing PA-CTR 6, V(1)=1123331[53]0427045, V(2)=0, repcount=1123331[53]0427046, factor=2/1
3594659[54]3679305 3028494[120]5326352 -673998[54]2566222 1112 <B(110) 1112246662[53]0854093 1011315 010
== Executing PPA-CTR 7 (once), V(1)=1313, V(2)=2246662[53]0854092
3594659[54]3679333 3028494[120]3013455 -3943 011 1112246662[53]0854098 <B(110) 111 1011314 010
== Executing PA-CTR 5, V(1)=2246662[53]0854096, V(2)=0, repcount=2246662[53]0854097, factor=2/1
7189319[54]7344885 1211397[121]5593293 -134799[55]5128525 011 111 <B(110) 1114493324[53]1708195 1011314 010
== Executing PPA-CTR 8 (once), V(1)=1312, V(2)=4493324[53]1708194
7189319[54]7344906 1211397[121]0967270 -3940 1114493324[53]1708200 <B(110) 111 1011313 010
== Executing PA-CTR 6, V(1)=4493324[53]1708197, V(2)=0, repcount=4493324[53]1708198, factor=2/1
1437863[55]4676074 4845591[121]3280702 -269599[55]0253128 1112 <B(110) 1118986648[53]3416397 1011313 010
== Executing PPA-CTR 7 (once), V(1)=1311, V(2)=8986648[53]3416396
1437863[55]4676102 4845591[121]4028541 -3937 011 1118986648[53]3416402 <B(110) 111 1011312 010
== Executing PA-CTR 5, V(1)=8986648[53]3416400, V(2)=0, repcount=8986648[53]3416401, factor=2/1
2875727[55]9338518 1938236[122]7270267 -539198[55]0502343 011 111 <B(110) 1111797329[54]6832803 1011312 010
== Executing PPA-CTR 8 (once), V(1)=1310, V(2)=1797329[54]6832802
2875727[55]9338539 1938236[122]8765716 -3934 1111797329[54]6832808 <B(110) 111 1011311 010
== Executing PA-CTR 6, V(1)=1797329[54]6832805, V(2)=0, repcount=1797329[54]6832806, factor=2/1
5751455[55]8663435 7752946[122]9707884 -107839[56]1000770 1112 <B(110) 1113594659[54]3665613 1011311 010
== Executing PPA-CTR 7 (once), V(1)=1309, V(2)=3594659[54]3665612
5751455[55]8663463 7752946[122]2698667 -3931 011 1113594659[54]3665618 <B(110) 111 1011310 010
== Executing PA-CTR 5, V(1)=3594659[54]3665616, V(2)=0, repcount=3594659[54]3665617, factor=2/1
1150291[56]7313335 3101178[123]2417705 -215679[56]1997633 011 111 <B(110) 1117189319[54]7331235 1011310 010
== Executing PPA-CTR 8 (once), V(1)=1308, V(2)=7189319[54]7331234
1150291[56]7313356 3101178[123]8399042 -3928 1117189319[54]7331240 <B(110) 111 1011309 010
== Executing PA-CTR 6, V(1)=7189319[54]7331237, V(2)=0, repcount=7189319[54]7331238, factor=2/1
2300582[56]4613164 1240471[124]9175194 -431359[56]3991356 1112 <B(110) 1111437863[55]4662477 1011309 010
== Executing PPA-CTR 7 (once), V(1)=1307, V(2)=1437863[55]4662476
2300582[56]4613192 1240471[124]1137753 -3925 011 1111437863[55]4662482 <B(110) 111 1011308 010
== Executing PA-CTR 5, V(1)=1437863[55]4662480, V(2)=0, repcount=1437863[55]4662481, factor=2/1
4601164[56]9212888 4961885[124]8042199 -862718[56]7978811 011 111 <B(110) 1112875727[55]9324963 1011308 010
== Executing PPA-CTR 8 (once), V(1)=1306, V(2)=2875727[55]9324962
4601164[56]9212909 4961885[124]1967088 -3922 1112875727[55]9324968 <B(110) 111 1011307 010
== Executing PA-CTR 6, V(1)=2875727[55]9324965, V(2)=0, repcount=2875727[55]9324966, factor=2/1
9202328[56]8412365 1984754[125]7183816 -172543[57]5953718 1112 <B(110) 1115751455[55]8649933 1011307 010
== Executing PPA-CTR 7 (once), V(1)=1305, V(2)=5751455[55]8649932
9202328[56]8412393 1984754[125]5033479 -3919 011 1115751455[55]8649938 <B(110) 111 1011306 010
== Executing PA-CTR 5, V(1)=5751455[55]8649936, V(2)=0, repcount=5751455[55]8649937, factor=2/1
1840465[57]6811385 7939017[125]1098117 -345087[57]1903541 011 111 <B(110) 1111150291[56]7299875 1011306 010
== Executing PPA-CTR 8 (once), V(1)=1304, V(2)=1150291[56]7299874
1840465[57]6811406 7939017[125]6797214 -3916 1111150291[56]7299880 <B(110) 111 1011305 010
== Executing PA-CTR 6, V(1)=1150291[56]7299877, V(2)=0, repcount=1150291[56]7299878, factor=2/1
3680931[57]3609454 3175606[126]1450486 -690174[57]3803184 1112 <B(110) 1112300582[56]4599757 1011305 010
== Executing PPA-CTR 7 (once), V(1)=1303, V(2)=2300582[56]4599756
3680931[57]3609482 3175606[126]2848565 -3913 011 1112300582[56]4599762 <B(110) 111 1011304 010
== Executing PA-CTR 5, V(1)=2300582[56]4599760, V(2)=0, repcount=2300582[56]4599761, factor=2/1
7361862[57]7205658 1270242[127]2250931 -138034[58]7602479 011 111 <B(110) 1114601164[56]9199523 1011304 010
== Executing PPA-CTR 8 (once), V(1)=1302, V(2)=4601164[56]9199522
7361862[57]7205679 1270242[127]5046860 -3910 1114601164[56]9199528 <B(110) 111 1011303 010
== Executing PA-CTR 6, V(1)=4601164[56]9199525, V(2)=0, repcount=4601164[56]9199526, factor=2/1
1472372[58]4398095 5080970[127]4234148 -276069[58]5201066 1112 <B(110) 1119202328[56]8399053 1011303 010
Lines: 801
Top steps: 800
Macro steps: 147237255398198694131941458395243209652290324739634913176800516774398095
Basic steps: 508097094777993527243098507453314828409602562282710148251815911397358322557719527457139124854852057942304553779541556335121783840291204234148
Tape index: -27606985387162255149739023449108101809804435888681546220650096895201066
ones: 27606985387162255149739023449108101809804435888681546220650096895199774
log10(ones ): 70.441
log10(steps ): 140.706
Some long numbers above are shortened: #(omitted digits) shown in "[]".
Input to awk program:
gohalt 1
L 22
5T B1R B0L C0R B1L D1R A0L E1L F1L A1L D0L Z1R E1L : >6.4*10^462 >6.1*10^925
T 6-state TM #q from MaBu-List
M 801
pref sim
machv mbL6_q just simple
machv mbL6_q-r with repetitions reduced
machv mbL6_q-1 with tape symbol exponents
machv mbL6_q-m as 3-bck-macro machine
machv mbL6_q-a as 3-bck-macro machine with pure additive config-TRs
iam mbL6_q-a
mtype 3 0
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:17 CEST 2010
edate Tue Jul 6 22:11:20 CEST 2010
bnspeed 1
short 7
Constructed by: $Id: tmJob.awk,v 1.34 2010/05/06 18:26:17 heiner Exp $
$Id: basics.awk,v 1.1 2010/05/06 17:24:17 heiner Exp $
$Id: htSupp.awk,v 1.14 2010/07/06 19:48:32 heiner Exp $
$Id: mmSim.awk,v 1.34 2005/01/09 22:23:28 heiner Exp $
$Id: bignum.awk,v 1.34 2010/05/06 17:58:14 heiner Exp $
$Id: varLI.awk,v 1.11 2005/01/15 21:01:29 heiner Exp $
bignum signature: LEN={S++:9 U++:9 S+:8 U+:8 S*:4 U*:4} DONT: y i o;
Start: Tue Jul 6 22:11:17 CEST 2010