| [1009] | 1 | Evaluation 0 34,37.6,38 2,2,2 1,1,1 0,0,0 0,0,0 31,34.6,35
|
|---|
| 2 | Evaluation 10 29,40.4,56 2,2,2 1,1,1 0,0,0 0,0,0 26,37.4,53
|
|---|
| 3 | Evaluation 20 29,53,98 2,2.2,3 1,1.2,2 0,0.5,2 0,0.2,1 26,48.9,90
|
|---|
| 4 | Evaluation 30 29,80,119 2,2.3,3 1,1.3,2 0,1.2,2 0,0.6,1 26,74.6,111
|
|---|
| 5 | Evaluation 40 29,84.7,147 2,2.4,4 1,1.4,3 0,1.2,2 0,0.6,1 26,79.1,137
|
|---|
| 6 | Evaluation 50 34,126.8,162 2,3.5,4 1,2.5,3 0,2,3 0,0.5,1 31,118.3,151
|
|---|
| 7 | Evaluation 60 124,148.5,162 4,4,4 3,3,3 2,2.6,3 0,0.6,1 115,138.3,151
|
|---|
| 8 | Evaluation 70 133,158,178 4,4.2,5 3,3.2,4 2,2.9,4 0,0.8,1 124,146.9,167
|
|---|
| 9 | Evaluation 80 136,159.7,173 4,4.4,5 3,3.4,4 2,2.8,3 1,1,1 126,148.1,162
|
|---|
| [1143] | 10 | Evaluation 90 136,163,189 4,4.6,5 3,3.6,4 2,2.8,3 1,1,1 126,151,178
|
|---|
| 11 | Evaluation 99 136,168.2,189 4,4.8,5 3,3.8,4 2,2.9,3 1,1,1 126,155.7,178
|
|---|
| [1009] | 12 | 167.0 //L
|
|---|
| 13 | w:w0
|
|---|
| 14 | i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.993)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), maxwords=300
|
|---|
| 15 |
|
|---|
| 16 | 162.0 //L
|
|---|
| [1143] | 17 | i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.947)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), maxwords=300
|
|---|
| [1009] | 18 |
|
|---|
| 19 | 167.0 //L
|
|---|
| [1143] | 20 | i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.947)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), 0.0, maxwords=300
|
|---|
| [1009] | 21 |
|
|---|
| 22 | 136.0 //L
|
|---|
| 23 | i:axiom=N(d=@:p=0.993)N(d=@:p=0.975)S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), maxwords=300
|
|---|
| 24 |
|
|---|
| 25 | 189.0 //L
|
|---|
| [1143] | 26 | i:axiom="N(d=Gpart:rz=-0.665)N(d=@:p=0.947)N(d=@:p=0.975)S()S(fr=0.8289400283247232, stam=0.4012594970408827)S()C(-0.7881847871467471)S(stam=0.5370225172955543)", maxwords=300
|
|---|
| [1009] | 27 |
|
|---|
| 28 | 167.0 //L
|
|---|
| 29 | w:w0
|
|---|
| 30 | i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.993)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), maxwords=300
|
|---|
| 31 |
|
|---|
| 32 | 172.0 //L
|
|---|
| 33 | w:w0
|
|---|
| 34 | i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.993)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), 0.0, maxwords=300
|
|---|
| 35 |
|
|---|
| [1143] | 36 | 166.0 //L
|
|---|
| [1009] | 37 | w:w0
|
|---|
| [1143] | 38 | i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.99)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), maxwords=300
|
|---|
| [1009] | 39 |
|
|---|
| 40 | 189.0 //L
|
|---|
| 41 | w:w0
|
|---|
| 42 | i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.993)N(d=@:p=0.975)S()S(fr=0.8289400283247232)C(-0.8130810903385282)C(-0.7881847871467471)S(stam=0.5370225172955543), 0.0, maxwords=300
|
|---|
| 43 |
|
|---|
| 44 | 167.0 //L
|
|---|
| [1143] | 45 | i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.947)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), 0.0, maxwords=300
|
|---|
| [1009] | 46 |
|
|---|
| 47 |
|
|---|
