| [1301] | 1 | Evaluation 0 34,37.6,38 2,2,2 1,1,1 0,0,0 0,0,0 31,34.6,35 |
|---|
| [1320] | 2 | Evaluation 10 34,44.7,63 2,2,2 1,1,1 0,0.2,1 0,0,0 31,41.5,59 |
|---|
| 3 | Evaluation 20 34,52.9,75 2,2,2 1,1,1 0,0.1,1 0,0,0 31,49.8,72 |
|---|
| 4 | Evaluation 30 34,63.2,109 2,2,2 1,1,1 0,0,0 0,0,0 31,60.2,106 |
|---|
| 5 | Evaluation 40 34,73.5,125 2,2.1,3 1,1.1,2 0,0.1,1 0,0.1,1 31,70.1,118 |
|---|
| 6 | Evaluation 50 34,77.2,126 2,2,2 1,1,1 0,0,0 0,0,0 31,74.2,123 |
|---|
| 7 | Evaluation 60 56,95.4,126 2,2.1,3 1,1.1,2 0,0.5,2 0,0,0 53,91.7,123 |
|---|
| 8 | Evaluation 70 56,110.7,145 2,2,2 1,1,1 0,1.8,3 0,0,0 53,105.9,139 |
|---|
| 9 | Evaluation 80 56,117.7,158 2,2,2 1,1,1 0,2.5,4 0,0.3,1 53,111.9,150 |
|---|
| 10 | Evaluation 90 112,147.7,180 2,2.1,3 1,1.1,2 3,4,5 0,0.9,1 106,139.6,172 |
|---|
| 11 | Evaluation 99 120,164.5,213 2,2,2 1,1,1 3,4.5,6 0,0.9,1 114,156.1,204 |
|---|
| 12 | 158.0 //L |
|---|
| 13 | i:axiom=rotY(1.9037489495240152)N(d=G)N(d=|:p=0.216)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=Gpart:ry=-0.461)N(d=|:r=0.845)S(), maxwords=300 |
|---|
| [1301] | 14 | |
|---|
| [1320] | 15 | 134.0 //L |
|---|
| 16 | i:axiom=N(d=G)N(d=|:p=0.216)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=Gpart:ry=-0.461)N(d=|:r=0.845)S(), maxwords=300 |
|---|
| [1301] | 17 | |
|---|
| [1320] | 18 | 165.0 //L |
|---|
| 19 | i:axiom=rotY(1.9037489495240152)N(d=G)N(d=|:p=0.216)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=*)N(d=Gpart:ry=-0.461)N(d=|:r=0.845)S(), maxwords=300 |
|---|
| [1301] | 20 | |
|---|
| [1320] | 21 | 149.0 //L |
|---|
| [1301] | 22 | w:w0, 2 |
|---|
| [1320] | 23 | i:axiom=N(d=G)N(d=S)N(d=|:p=0.216)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=Gpart:ry=-0.461)N(d=|:r=0.845)S(), maxwords=300 |
|---|
| [1301] | 24 | |
|---|
| [1320] | 25 | 120.0 //L |
|---|
| [1301] | 26 | w:w0, 2 |
|---|
| [1320] | 27 | i:axiom=N(d=G)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=@:p=0.979)N(d=|:r=0.845)S(), maxwords=300 |
|---|
| [1301] | 28 | |
|---|
| [1320] | 29 | 163.0 //L |
|---|
| 30 | w:w0 |
|---|
| 31 | i:axiom=rotY(1.9037489495240152)N(d=G)N(d=|:p=0.216)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=Gpart:ry=-0.461)N(d=|:r=0.845)S(), maxwords=300 |
|---|
| [1301] | 32 | |
|---|
| [1320] | 33 | 189.0 //L |
|---|
| 34 | i:axiom=rotY(1.9037489495240152)N(d=G)N(d=|:p=0.216)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=*)rotY(0.5448737954720855)N(d=Gpart:ry=-0.461)N(d=|:r=0.845)S(), maxwords=300 |
|---|
| [1301] | 35 | |
|---|
| [1320] | 36 | 213.0 //L |
|---|
| 37 | i:axiom=rotY(1.9037489495240152)N(d=G)rotZ(1.4767806753516197)N(d=|:p=0.216)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=*)rotY(0.5448737954720855)N(d=Gpart:ry=-0.461)N(d=|:r=0.845)S(), maxwords=300 |
|---|
| [1301] | 38 | |
|---|
| [1320] | 39 | 187.0 //L |
|---|
| 40 | i:axiom=rotY(1.9037489495240152)N(d=@:p=0.991)N(d=N:fo=1.0)N(d=G)N(d=|:p=0.216)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=Gpart:ry=-0.461)N(d=|:r=0.845)S(), maxwords=300 |
|---|
| [1301] | 41 | |
|---|
| [1320] | 42 | 167.0 //L |
|---|
| 43 | w:w0 |
|---|
| 44 | i:axiom=w0()rotY(1.9037489495240152)N(d=G)N(d=|:p=0.216)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=Gpart:ry=-0.461)N(d=|:r=0.845)S(), maxwords=300 |
|---|
| [1301] | 45 | |
|---|
| 46 | |
|---|
