Evaluation 0 34,37.6,38 2,2,2 1,1,1 0,0,0 0,0,0 31,34.6,35 Evaluation 10 34,44.7,63 2,2,2 1,1,1 0,0.2,1 0,0,0 31,41.5,59 Evaluation 20 34,52.9,75 2,2,2 1,1,1 0,0.1,1 0,0,0 31,49.8,72 Evaluation 30 34,63.2,109 2,2,2 1,1,1 0,0,0 0,0,0 31,60.2,106 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 Evaluation 50 34,77.2,126 2,2,2 1,1,1 0,0,0 0,0,0 31,74.2,123 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 Evaluation 70 56,110.7,145 2,2,2 1,1,1 0,1.8,3 0,0,0 53,105.9,139 Evaluation 80 56,117.7,158 2,2,2 1,1,1 0,2.5,4 0,0.3,1 53,111.9,150 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 Evaluation 99 120,164.5,213 2,2,2 1,1,1 3,4.5,6 0,0.9,1 114,156.1,204 158.0 //L 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 134.0 //L 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 165.0 //L 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 149.0 //L w:w0, 2 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 120.0 //L w:w0, 2 i:axiom=N(d=G)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=@:p=0.979)N(d=|:r=0.845)S(), maxwords=300 163.0 //L w:w0 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 189.0 //L 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 213.0 //L 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 187.0 //L 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 167.0 //L w:w0 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