#projection.x projection.y projection.z knotoid_type polynomial PD_code -0.682134127 0.506986103 -0.526932751 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.307929571 0.854121145 -0.419113885 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.0142306635 -0.561338135 0.82746419 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; -0.581465557 0.34218445 -0.738110838 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.155001235 0.28380606 0.946270964 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[4,1,5,0],X[1,8,2,7],X[6,3,7,2],X[3,6,4,5]]; 0.901783146 -0.343342297 0.262494238 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.0969650682 0.94892721 0.30022479 k0.1 + 1 PD[]; -0.36313408 -0.242517307 0.899621585 k6.17 - A^(-30) + 2*A^(-26) + A^(-24) - 3*A^(-22) - 2*A^(-20) + 2*A^(-18) + 2*A^(-16) - A^(-14) - A^(-12) + A^(-10) + A^(-8) PD[X[0,11,1,10],X[11,2,12,1],X[2,13,3,12],X[5,10,6,9],X[6,3,7,4],X[8,5,9,4],X[13,8,14,7]]; -0.0688750801 -0.197365996 -0.977907402 k0.1 + 1 PD[]; -0.693682206 -0.0355966301 0.719401055 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; -0.706911356 0.611220571 0.355929414 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[3,10,4,9],X[5,2,6,3],X[8,5,9,4],X[6,1,7,0],X[7,11,8,10],X[1,12,2,11]]; 0.780753299 -0.481744643 -0.397927614 k0.1 + 1 PD[]; -0.723943492 -0.639961505 -0.257594824 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.309979017 0.372547589 0.874712126 UNKNOWN + A^(-14) - 3*A^(-10) - 2*A^(-8) + 2*A^(-6) + 4*A^(-4) + A^(-2) - 1 - A^(2) PD[X[7,3,8,2],X[1,10,2,9],X[8,1,9,0],X[3,11,4,10],X[4,6,5,7],X[11,5,12,6]]; 0.156071204 0.96871854 -0.192940846 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.321591464 -0.414926049 0.851125904 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.849829738 -0.231160819 -0.473660314 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.0242772023 0.993305997 0.112932784 k0.1 + 1 PD[]; 0.0736829473 0.87764972 0.473605102 k0.1 + 1 PD[]; 0.106732421 -0.30599233 0.94603218 UNKNOWN + 2*A^(-20) - 5*A^(-16) - 4*A^(-14) + 4*A^(-12) + 7*A^(-10) + A^(-8) - 5*A^(-6) - 3*A^(-4) + 2*A^(-2) + 3 + A^(2) - A^(4) - A^(6) PD[X[15,0,16,1],X[24,20,25,19],X[3,18,4,17],X[12,5,13,6],X[18,7,19,6],X[4,13,5,14],X[23,8,24,7],X[2,23,3,22],X[8,21,9,20],X[11,9,12,10],X[25,11,26,10],X[14,16,15,17],X[21,2,22,1]]; 0.814220276 -0.402840298 -0.418049084 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.57580204 0.618726885 -0.53444275 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.509683769 -0.242936395 0.825351055 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[11,1,12,0],X[21,9,22,10],X[13,5,14,4],X[2,20,3,19],X[20,16,21,15],X[6,10,7,11],X[18,2,19,1],X[5,15,6,14],X[16,8,17,9],X[3,13,4,12],X[7,17,8,18]]; -0.161427255 0.753180641 0.637699116 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.839389875 -0.126261387 0.528661233 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.803166821 0.564599333 0.190133246 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.265527413 -0.918389023 -0.293354386 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.944201063 -0.20962699 -0.254048966 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.609056228 0.775902572 -0.164394983 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[2,9,3,8],X[5,8,6,7],X[9,4,10,3],X[4,2,5,1]]; 0.725011075 0.688699653 0.00719228154 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.627625936 -0.698550248 0.343676062 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0543355202 0.0152430268 0.998406381 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.901229241 -0.245552568 -0.357057127 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.0650596233 0.521463294 0.850789797 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.780796287 0.247056609 -0.573864262 k4.10m - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) + A^(-4) - A^(-2) PD[X[4,1,5,0],X[6,2,7,1],X[2,8,3,7],X[5,3,6,4]]; -0.596504217 -0.544716659 0.589462874 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[4,6,5,7]]; -0.638682218 -0.260406773 -0.724067219 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0313379116 -0.601487784 -0.798267112 k0.1 + 1 PD[]; -0.562176025 0.779853661 0.27529327 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[2,9,3,8],X[6,1,7,0],X[7,4,8,3],X[5,10,6,9],X[4,1,5,2]]; -0.752163541 0.560140229 -0.347120918 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.115095417 0.0385059162 -0.992607848 k5.20 + A^(-16) + A^(-14) - A^(-12) - 3*A^(-10) - A^(-8) + 2*A^(-6) + 2*A^(-4) PD[X[0,7,1,8],X[9,2,10,1],X[10,4,11,3],X[4,12,5,11],X[5,2,6,3],X[6,9,7,8]]; 0.848578629 0.147017633 0.508232354 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.160472407 0.730413842 0.663885702 k3.2 + A^(-8) - A^(-4) - A^(-2) + 1 + A^(2) PD[X[3,0,4,1],X[1,6,2,5],X[4,3,5,2]]; -0.407422154 0.641350523 -0.650135905 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.013840084 0.102307833 0.994656503 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.195509524 0.513038592 -0.835803464 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.13223815 -0.932870348 -0.335061168 k0.1 + 1 PD[]; -0.0940644832 0.608364309 -0.788063919 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.633652938 0.718813638 0.285991098 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.873129408 -0.380024682 0.305329784 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.804158034 0.334350913 -0.491466503 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,5,1,6],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[6,4,7,5]]; 0.77316582 0.460590842 0.435970974 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.128348023 -0.991019186 -0.0375200952 k0.1 + 1 PD[]; 0.299901813 -0.0290842428 0.953526617 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2]]; -0.163608882 0.776464056 0.608552136 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.61114359 0.289337236 -0.736741119 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.179641592 -0.00579510499 -0.983715058 UNKNOWN + A^(-22) - 2*A^(-18) - A^(-16) + 3*A^(-14) + 3*A^(-12) - 4*A^(-10) - 6*A^(-8) + A^(-6) + 6*A^(-4) + 3*A^(-2) - 1 - 2*A^(2) PD[X[0,12,1,13],X[16,8,17,7],X[6,16,7,15],X[8,20,9,19],X[4,19,5,18],X[14,10,15,11],X[17,4,18,3],X[5,9,6,10],X[11,1,12,2],X[13,3,14,2]]; 0.0593626355 -0.880459931 0.470389613 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0617278213 -0.741619636 -0.667974544 k0.1 + 1 PD[]; 0.69649001 -0.0416689098 -0.716355616 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,5,1,6],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[6,4,7,5]]; -0.978764235 -0.134372743 0.154804839 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0712263133 -0.997459993 -0.000611925032 k0.1 + 1 PD[]; -0.385551331 -0.431147066 0.815758775 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.506322072 -0.24174302 0.82776704 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[11,1,12,0],X[3,13,4,12],X[6,16,7,15],X[14,10,15,11],X[2,20,3,19],X[21,7,22,8],X[5,9,6,10],X[20,18,21,17],X[8,16,9,17],X[13,5,14,4],X[18,2,19,1]]; 0.855503625 0.50453707 -0.116429771 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.121589205 -0.0659066294 -0.990390015 k5.27 + A^(-10) + A^(-8) - A^(-6) - 2*A^(-4) - A^(-2) + 2 + A^(2) PD[X[0,6,1,7],X[5,1,6,2],X[7,3,8,2],X[9,4,10,3],X[4,9,5,8]]; -0.0287213644 -0.931568022 0.362430825 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.739360689 -0.351308791 0.574393511 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.123385751 -0.825917033 0.550124542 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.959598056 -0.189196664 -0.20826952 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.494240259 0.868716711 0.0325244758 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[3,2,4,1],X[2,8,3,7],X[4,7,5,6]]; 0.190901207 -0.0186085304 -0.981432857 UNKNOWN - A^(-18) + 3*A^(-14) + 2*A^(-12) - 4*A^(-10) - 5*A^(-8) + A^(-6) + 5*A^(-4) + 2*A^(-2) - 1 - A^(2) PD[X[0,11,1,12],X[19,4,20,3],X[9,4,10,5],X[12,10,13,11],X[13,19,14,18],X[14,3,15,2],X[6,16,7,15],X[16,8,17,7],X[5,8,6,9],X[1,18,2,17]]; -0.855637958 0.201760567 0.476630211 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.477130543 -0.454194808 -0.752365285 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.590674992 -0.0333407162 0.806220472 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.269530104 -0.735346588 -0.621786875 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[1,4,2,3],X[6,5,7,4],X[7,3,8,2],X[0,6,1,5]]; -0.25211999 -0.400726139 0.88082579 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[1,6,2,5],X[2,9,3,8],X[9,4,10,3],X[7,5,8,4]]; 0.890917924 -0.435594608 0.12854023 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.389790665 -0.00817482859 0.920867205 k0.1 + 1 PD[]; 0.0534684221 0.569995986 -0.819905912 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.038815888 0.8479714 -0.528618796 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.852125664 -0.481319701 0.205458508 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.717085841 0.0787303288 0.692523957 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.238810392 -0.735890342 0.633588984 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.11439256 -0.32108898 -0.940114998 k0.1 + 1 PD[]; -0.881716627 -0.284536719 0.376317213 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.389820852 0.920430001 0.0291258655 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.98837976 0.137009722 0.0658314964 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[9,5,10,4],X[5,9,6,8],X[6,12,7,11],X[10,8,11,7]]; -0.179807487 -0.39788344 0.899643282 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; -0.626419977 0.608287427 -0.487426322 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.545432837 -0.354912134 0.759302573 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[0,18,1,17],X[15,21,16,20],X[6,22,7,21],X[19,3,20,2],X[4,14,5,13],X[12,4,13,3],X[14,6,15,5],X[11,7,12,8],X[10,16,11,17],X[1,9,2,10],X[18,8,19,9]]; -0.570984542 0.594158003 0.56652707 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[6,2,7,1],X[2,8,3,7],X[3,6,4,5]]; -0.942105976 -0.312216801 -0.122298812 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; 0.752675953 0.505642631 0.421668637 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.285810312 0.948148392 -0.139021909 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; -0.770006987 -0.221126059 0.59849186 k4.10m - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) + A^(-4) - A^(-2) PD[X[0,5,1,4],X[1,7,2,6],X[7,3,8,2],X[3,5,4,6]]; -0.339478102 -0.828860912 0.444684389 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.368538978 -0.147991353 -0.91775682 k0.1 + 1 PD[]; 0.23716909 -0.93026437 -0.27992682 k0.1 + 1 PD[]; 0.288046595 -0.903944019 -0.316092344 k0.1 + 1 PD[]; -0.850283576 0.296697949 0.434727693 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.363191513 0.644807226 0.672544099 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.85428736 0.442444997 -0.272828757 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.388576685 -0.907696953 -0.158412125 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[0,5,1,4],X[7,2,8,1],X[2,7,3,6],X[5,4,6,3]]; 0.391718985 -0.919842478 -0.0211199746 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.117463015 0.948868241 0.29300427 k0.1 + 1 PD[]; 0.689501017 -0.609750085 -0.390887683 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[9,4,10,3],X[10,1,11,0],X[4,9,5,8],X[2,5,3,6],X[1,8,2,7],X[11,7,12,6]]; 0.495160343 -0.278715046 -0.822881618 k0.1 + 1 PD[]; 0.676311338 -0.464802799 0.571455451 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.599376698 0.375138556 -0.70711996 k5.8m - A^(-24) - A^(-22) + A^(-20) + 2*A^(-18) - 2*A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[9,3,10,2],X[3,11,4,10],X[11,5,12,4],X[8,5,9,6]]; -0.897920438 0.364988272 -0.246013106 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.258919311 0.222991421 -0.939806159 k7.10m - A^(-28) + A^(-24) - A^(-20) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[7,1,8,0],X[1,9,2,8],X[9,3,10,2],X[6,5,7,4],X[3,11,4,10],X[5,12,6,11]]; 0.915823294 0.255575973 0.309755736 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.412205948 0.387208438 -0.824715637 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.751019264 -0.320491144 -0.577282852 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.642930982 -0.764239663 0.0507689863 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.993967081 0.0350917288 -0.103913489 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.769439457 -0.0440448142 -0.637199323 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.684676325 -0.727961374 -0.035924464 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,5,2,4],X[8,3,9,2],X[3,10,4,9],X[0,7,1,6],X[7,6,8,5]]; 0.599126491 0.799116045 -0.0496084234 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.679095809 0.516382178 -0.521707129 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.108503021 -0.625198103 0.772887073 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.432867764 -0.764889307 0.477042815 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.919244394 0.0588320636 0.38926666 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.183575202 -0.911247747 -0.368683725 k0.1 + 1 PD[]; 0.657948925 -0.0595996105 -0.750700405 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.149566396 -0.311111638 0.938530469 UNKNOWN + 2*A^(-20) - 5*A^(-16) - 4*A^(-14) + 4*A^(-12) + 7*A^(-10) + A^(-8) - 5*A^(-6) - 3*A^(-4) + 2*A^(-2) + 3 + A^(2) - A^(4) - A^(6) PD[X[13,4,14,5],X[12,16,13,17],X[15,0,16,1],X[3,14,4,15],X[18,7,19,6],X[5,18,6,17],X[2,23,3,22],X[7,20,8,19],X[11,9,12,10],X[25,11,26,10],X[23,21,24,20],X[24,9,25,8],X[21,2,22,1]]; -0.340836383 0.603968911 -0.720452715 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.883894027 0.441670692 -0.153812707 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.608406537 -0.41644251 -0.675586502 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.797878058 0.047809812 0.600919984 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.409587585 0.59870061 -0.688328112 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; -0.653450782 0.360672835 0.665520234 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.497716415 -0.81913255 -0.285131961 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[0,5,1,4],X[7,2,8,1],X[2,7,3,6],X[5,4,6,3]]; -0.758808383 0.634955438 0.145056643 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.875397058 -0.326143673 0.356805684 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.825757576 0.250571688 -0.505310059 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,5,1,6],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[6,4,7,5]]; 0.199622888 0.950703857 0.237303348 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.221213321 -0.931325206 0.289306113 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.765342569 -0.622073032 -0.165154152 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.909152928 0.266671063 -0.319886696 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.722257632 0.0270640241 -0.691094387 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.020692679 0.98871566 0.148368314 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.932416229 0.026139729 -0.360439579 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.244293417 -0.253357787 -0.93601846 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.777853887 -0.521356595 -0.350899746 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.275854853 0.905333314 -0.322917468 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.0422512178 -0.225219028 -0.973391609 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.636715801 0.252602435 -0.728549929 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.287865405 -0.726059194 0.624477026 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.712181435 -0.685419822 0.151648514 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.561892586 -0.53353455 -0.632153151 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,4,2,3],X[7,3,8,2],X[6,5,7,4]]; 0.338521009 0.911734568 0.232687782 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.539025061 0.792936104 -0.284085055 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,3,6,2],X[4,9,5,8],X[9,4,10,3],X[6,1,7,0],X[1,8,2,7]]; -0.00128025351 -0.624355223 -0.781139499 k3.2 + A^(-8) - A^(-4) - A^(-2) + 1 + A^(2) PD[X[4,1,5,0],X[1,4,2,3],X[2,5,3,6]]; 0.451744403 -0.467141426 0.760069656 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.743768355 -0.300460775 0.597102969 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.495649324 0.526813722 0.690506372 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.941812571 0.221892719 0.252492974 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.225080693 -0.477902655 -0.849086411 UNKNOWN - A^(-6) - A^(-4) + 2*A^(-2) + 4 - 4*A^(4) - 2*A^(6) + 2*A^(8) + 2*A^(10) - A^(14) PD[X[0,5,1,4],X[12,2,13,1],X[9,7,10,8],X[3,5,4,6],X[2,12,3,11],X[6,10,7,11],X[8,13,9,14]]; 0.0950482794 0.929532252 0.356280252 k0.1 + 1 PD[]; -0.663424269 0.715449256 0.219090395 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[4,1,5,2],X[7,4,8,3],X[6,1,7,0],X[5,10,6,9],X[2,9,3,8]]; 0.758177274 0.569101236 -0.318262478 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.361960874 -0.309282896 0.879390934 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.449155726 -0.379240646 0.808971981 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.908926536 0.302399477 0.287066383 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.902252503 -0.347063601 0.25590482 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.269458755 -0.939284906 0.212451984 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[8,3,9,2],X[7,6,8,5],X[1,5,2,4],X[3,10,4,9]]; -0.146846655 -0.679732656 0.718609475 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; -0.198948164 0.651675556 0.731941663 k3.2 + A^(-8) - A^(-4) - A^(-2) + 1 + A^(2) PD[X[0,5,1,4],X[3,2,4,1],X[5,2,6,3]]; -0.354631631 0.696758875 -0.623509003 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0860273775 0.805500601 -0.586317382 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.74795878 -0.616475229 0.245999912 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.194322753 0.357690372 -0.913398196 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.863477431 -0.177378054 -0.472169198 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.956116973 0.109402716 0.2717929 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.700610717 0.710459106 -0.0662757992 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[5,8,6,7],X[4,2,5,1],X[9,4,10,3],X[2,9,3,8]]; 0.246836321 0.958767656 -0.140841797 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.0527994791 0.666973637 0.743208169 k3.2 + A^(-8) - A^(-4) - A^(-2) + 1 + A^(2) PD[X[3,0,4,1],X[1,6,2,5],X[4,3,5,2]]; 0.122336692 -0.303954309 0.944799191 UNKNOWN + 2*A^(-20) - 5*A^(-16) - 4*A^(-14) + 4*A^(-12) + 7*A^(-10) + A^(-8) - 5*A^(-6) - 3*A^(-4) + 2*A^(-2) + 3 + A^(2) - A^(4) - A^(6) PD[X[2,23,3,22],X[15,0,16,1],X[12,5,13,6],X[13,17,14,18],X[4,17,5,16],X[3,14,4,15],X[8,21,9,20],X[24,20,25,19],X[11,9,12,10],X[25,11,26,10],X[23,8,24,7],X[21,2,22,1],X[18,7,19,6]]; -0.0114025788 0.615379463 -0.788148525 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0243886427 -0.108992897 0.993743298 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[7,0,8,1],X[2,13,3,12],X[11,2,12,1],X[4,9,5,8],X[13,11,14,10],X[9,6,10,5],X[3,6,4,7]]; -0.674345914 0.475259239 -0.565142676 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.955351156 -0.170903439 0.241031499 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.885848297 -0.459500044 0.064284551 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.599786598 -0.0822819064 0.795918165 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.286940711 -0.680584389 -0.674143841 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[1,4,2,3],X[7,3,8,2],X[0,6,1,5],X[6,5,7,4]]; -0.866008601 -0.00278306249 0.500021357 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.432691059 0.522504618 0.734688622 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.735666194 -0.676998294 -0.0216462757 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,6,8,5],X[1,5,2,4],X[3,10,4,9],X[8,3,9,2]]; 0.251719176 -0.838364977 -0.483509691 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[1,7,2,6],X[7,3,8,2],X[5,4,6,3]]; 0.82942687 0.335746147 0.446458947 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0449172675 0.836877001 -0.545544979 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.358807858 -0.933244554 0.0176500119 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.916262946 0.389912 0.0918196444 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.566504731 -0.379456138 0.731495338 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.976751214 0.101042355 -0.189070114 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.221419943 -0.95596725 0.19261315 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.15380346 -0.988099476 0.00198008213 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.559194851 -0.637882771 -0.529534408 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,4,2,3],X[7,3,8,2],X[6,5,7,4]]; -0.898244124 0.253022553 -0.359356482 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.166319989 -0.140482615 -0.976013471 k0.1 + 1 PD[]; 0.596464749 0.771515991 0.221343352 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.628825197 -0.469601159 0.619720601 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.596212569 0.527985149 -0.604782816 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[6,4,7,5]]; -0.947830137 0.318712399 -0.00635915156 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.866806024 -0.150547213 -0.475376538 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.90794883 0.164333035 -0.385517284 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.198815684 0.68770241 0.698239013 k3.2 + A^(-8) - A^(-4) - A^(-2) + 1 + A^(2) PD[X[3,0,4,1],X[1,6,2,5],X[4,3,5,2]]; -0.718706287 -0.253004055 0.647649767 k5.8m - A^(-24) - A^(-22) + A^(-20) + 2*A^(-18) - 2*A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[1,8,2,7],X[2,10,3,9],X[10,4,11,3],X[4,12,5,11],X[5,8,6,9]]; -0.729328159 0.354709194 0.585031473 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[6,2,7,1],X[2,8,3,7],X[3,6,4,5]]; 0.278837068 0.162413149 0.946505076 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.743589782 0.449110636 -0.495352272 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.447514152 -0.712916348 0.539890141 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.389611044 0.768807024 0.507088744 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[3,2,4,1],X[2,8,3,7],X[4,7,5,6]]; -0.810608538 0.582243443 -0.0625009695 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.376839691 0.144434672 -0.914948344 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.77585262 -0.0943098478 0.623825589 k6.12 - A^(-24) - A^(-22) + A^(-20) + 2*A^(-18) - A^(-16) - 2*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) - A^(-6) PD[X[0,7,1,6],X[1,9,2,8],X[9,3,10,2],X[3,11,4,10],X[11,5,12,4],X[5,7,6,8]]; 0.0520849225 0.925104725 0.376122865 k0.1 + 1 PD[]; -0.37257412 0.921173059 -0.112377582 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; -0.800467493 0.299749669 -0.519039429 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0350928349 0.648836571 -0.760118146 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.952658525 -0.191840343 -0.235879244 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.313834964 -0.925109109 -0.213730557 k0.1 + 1 PD[]; 0.00772254919 0.999338425 0.0355397589 k0.1 + 1 PD[]; -0.902068204 -0.125467853 -0.412953717 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.799462625 0.121989171 0.588199077 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.976320877 -0.0274513336 -0.214578587 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; 0.130640124 0.042249011 0.990529242 UNKNOWN + A^(-16) - 2*A^(-12) - A^(-10) + 2*A^(-8) + 2*A^(-6) - 2*A^(-4) - 2*A^(-2) + 2 + 2*A^(2) - A^(6) PD[X[11,0,12,1],X[2,9,3,10],X[7,4,8,5],X[17,9,18,8],X[10,12,11,13],X[14,6,15,5],X[6,16,7,15],X[3,17,4,16],X[1,14,2,13]]; -0.225649168 -0.152956491 0.962126169 k7.10m - A^(-28) + A^(-24) - A^(-20) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[0,8,1,7],X[8,2,9,1],X[2,10,3,9],X[4,7,5,6],X[11,6,12,5],X[10,4,11,3]]; -0.0448337822 -0.169264949 0.984550308 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[12,0,13,1],X[8,18,9,17],X[14,6,15,5],X[21,17,22,16],X[10,6,11,7],X[3,11,4,12],X[9,15,10,16],X[2,20,3,19],X[20,8,21,7],X[18,2,19,1],X[4,14,5,13]]; -0.763248057 -0.639052208 0.0952086109 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0572231389 0.263209978 0.963039989 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.811303785 0.0641795585 -0.581091347 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.142076073 -0.970112827 0.1967117 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.887127715 0.0919375839 -0.45227414 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.488440014 -0.820977864 0.295671606 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.477789854 -0.847820046 -0.23003918 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[2,7,3,6],X[0,5,1,4],X[7,2,8,1],X[5,4,6,3]]; -0.233422263 0.645305317 0.727389232 k5.7 - A^(-12) + 2*A^(-8) + A^(-6) - 2*A^(-4) - 2*A^(-2) + 2 + 2*A^(2) - A^(6) PD[X[9,1,10,0],X[10,4,11,3],X[4,12,5,11],X[1,13,2,12],X[5,2,6,3],X[6,8,7,9],X[13,7,14,8]]; 0.234453602 -0.875295877 0.422952285 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.973596068 -0.212307344 0.0838825819 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.375852598 0.0626083474 -0.924562069 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.0344553569 -0.105352369 0.993837867 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[7,0,8,1],X[11,2,12,1],X[2,13,3,12],X[3,6,4,7],X[4,9,5,8],X[9,6,10,5],X[13,11,14,10]]; 0.751588627 -0.632797786 -0.186229691 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.54808128 -0.823236754 -0.147946466 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.153809795 -0.814646793 0.559189727 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.243717315 -0.690643619 -0.68089152 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[2,5,3,4],X[6,2,7,1],X[7,4,8,3],X[0,6,1,5]]; 0.0975893877 0.458529441 -0.883304626 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.975507338 0.208308475 0.070661258 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.960585593 0.268947701 -0.0703025768 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.270990338 -0.511625589 0.815354827 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.293599154 0.0103832354 0.955872233 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[6,2,7,1],X[2,5,3,4],X[7,4,8,3]]; -0.260830383 0.720163658 0.642908872 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[1,7,2,6],X[3,8,4,7],X[4,3,5,2],X[5,1,6,0]]; -0.628427992 -0.577437218 -0.521195278 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.902345736 -0.143972848 -0.406256066 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.73563142 -0.675976608 0.0436123726 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.768201682 -0.198192467 -0.608757688 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; -0.297327777 -0.869122362 -0.395249938 k0.1 + 1 PD[]; 0.100505465 -0.5849883 -0.804790246 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.723143542 -0.535942496 -0.435693766 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.115548798 0.0470835412 0.992185273 UNKNOWN + A^(-22) + 3*A^(-20) - 2*A^(-18) - 9*A^(-16) - 4*A^(-14) + 9*A^(-12) + 11*A^(-10) - A^(-8) - 9*A^(-6) - 4*A^(-4) + 3*A^(-2) + 4 + A^(2) - A^(4) - A^(6) PD[X[15,0,16,1],X[3,14,4,15],X[24,12,25,11],X[13,4,14,5],X[18,10,19,9],X[21,2,22,1],X[8,6,9,7],X[25,8,26,7],X[12,16,13,17],X[10,20,11,19],X[2,23,3,22],X[23,21,24,20],X[5,18,6,17]]; 0.0865069605 0.838614067 0.537813158 k0.1 + 1 PD[]; 0.203175259 0.300824768 -0.931785529 k7.10m - A^(-28) + A^(-24) - A^(-20) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[7,1,8,0],X[1,9,2,8],X[9,3,10,2],X[6,5,7,4],X[3,11,4,10],X[5,12,6,11]]; -0.788663263 0.4430232 0.42631057 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.130081458 0.1841195 -0.974258089 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[1,12,2,11],X[0,7,1,8],X[6,3,7,4],X[10,14,11,13],X[5,10,6,9],X[12,3,13,2],X[8,5,9,4]]; -0.892891029 0.308411057 -0.328067418 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.208831956 0.940682323 -0.267406024 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.483697039 0.855592361 -0.184387869 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.460856806 0.495844832 0.736035942 k0.1 + 1 PD[]; 0.250094428 -0.945337621 0.20925955 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.265828074 -0.645026746 -0.716432783 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[1,4,2,5],X[0,7,1,6],X[8,3,9,2],X[9,6,10,5],X[3,8,4,7]]; -0.217033145 -0.0308774294 0.975675765 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[9,1,10,0],X[1,11,2,10],X[5,2,6,3],X[7,4,8,3],X[4,9,5,8],X[11,7,12,6]]; -0.69157657 0.413480173 -0.592246566 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0369112647 0.90425304 -0.425398634 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.987212927 0.144866834 0.0665149409 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.864434286 -0.0435896933 0.500852577 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.690940051 0.625027695 0.363238526 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[8,5,9,4],X[3,10,4,9],X[5,2,6,3],X[6,12,7,11],X[7,2,8,1],X[0,11,1,10]]; 0.663220318 -0.51689528 0.54125602 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.741397923 -0.39900922 0.539556079 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.788512397 -0.563246206 -0.24698565 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0664452963 -0.0140321286 0.997691396 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[7,0,8,1],X[1,6,2,7],X[11,9,12,8],X[13,6,14,5],X[4,13,5,12],X[10,3,11,2],X[3,10,4,9]]; 0.717751159 0.548715348 0.428654571 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.632055834 0.759540173 -0.153636412 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.395351012 0.54400713 -0.740103925 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.253411312 -0.963179372 0.0898231864 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.92944997 -0.0174789173 0.368533908 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.234245186 0.061446712 -0.970233732 k6.17 - A^(-30) + 2*A^(-26) + A^(-24) - 3*A^(-22) - 2*A^(-20) + 2*A^(-18) + 2*A^(-16) - A^(-14) - A^(-12) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[1,12,2,11],X[12,3,13,2],X[9,6,10,5],X[4,9,5,8],X[3,6,4,7],X[7,14,8,13]]; 0.372299657 -0.677086617 0.634780812 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.224224393 0.724401011 0.651894621 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[1,7,2,6],X[3,8,4,7],X[4,3,5,2],X[5,1,6,0]]; -0.307209492 -0.448360046 -0.839401928 k0.1 + 1 PD[]; -0.8150749 -0.0181351609 -0.57907169 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.69391085 -0.446269879 0.565093733 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.552721982 -0.497763508 0.668378561 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.886585619 -0.26365646 -0.380067376 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.910842287 -0.248861764 0.32929341 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0430638058 0.953742689 0.297523766 k0.1 + 1 PD[]; 0.493643848 -0.846094308 -0.201097421 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[0,5,1,4],X[7,2,8,1],X[2,7,3,6],X[5,4,6,3]]; 0.988847655 -0.138105725 0.0557415751 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.322396329 -0.0865371632 0.942640932 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[0,9,1,8],X[9,2,10,1],X[4,7,5,6],X[2,8,3,7],X[11,6,12,5],X[10,4,11,3]]; 0.759527393 0.361227868 -0.540955235 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,5,1,6],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[6,4,7,5]]; -0.806598253 -0.266832116 -0.527446567 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.681265425 -0.5483968 0.484910683 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.324075262 -0.269239981 -0.906909619 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2]]; -0.110960284 0.716555186 -0.6886483 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.7857358 -0.597229248 -0.161048059 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.104867316 -0.201843757 0.973787422 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[7,0,8,1],X[2,13,3,12],X[3,6,4,7],X[4,9,5,8],X[13,11,14,10],X[9,6,10,5],X[11,2,12,1]]; 0.511569385 0.818348619 0.261920412 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.836324297 -0.548232173 -0.00177647546 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.507123165 0.830150537 -0.231681206 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,2,5,1],X[3,10,4,9],X[10,3,11,2],X[6,12,7,11],X[0,9,1,8],X[7,6,8,5]]; 0.20633674 0.669198869 -0.713861347 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0907003779 -0.760599594 -0.642854338 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.827050736 0.390594162 0.404256455 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.567735968 0.380664163 -0.729911409 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.567623859 0.083294148 0.819063636 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0892926342 0.628462399 -0.772697767 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0490144703 -0.295939569 0.953948297 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[12,0,13,1],X[20,18,21,17],X[2,20,3,19],X[4,14,5,13],X[10,14,11,15],X[7,17,8,16],X[18,2,19,1],X[9,5,10,6],X[21,9,22,8],X[15,7,16,6],X[3,11,4,12]]; -0.917325493 -0.315460304 0.242896556 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.646943331 0.716878696 -0.259902406 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.790772493 0.270599162 -0.54904914 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.487873305 -0.114267506 0.865403129 UNKNOWN - A^(-24) - 2*A^(-22) + 4*A^(-18) + 2*A^(-16) - 2*A^(-14) - 3*A^(-12) + 3*A^(-8) + 2*A^(-6) - 2*A^(-2) - 1 + A^(4) PD[X[23,9,24,8],X[3,23,4,22],X[14,22,15,21],X[13,3,14,2],X[9,7,10,8],X[0,20,1,19],X[17,7,18,6],X[5,17,6,16],X[4,10,5,11],X[20,2,21,1],X[12,18,13,19],X[15,11,16,12]]; -0.40516717 -0.85601518 0.321056966 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.424426368 0.00766763397 -0.905429989 k0.1 + 1 PD[]; 0.75064568 0.226259435 -0.620755774 k5.8m - A^(-24) - A^(-22) + A^(-20) + 2*A^(-18) - 2*A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[9,3,10,2],X[3,11,4,10],X[11,5,12,4],X[8,5,9,6]]; -0.0180157941 0.687724986 -0.725747735 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.235046897 0.936796758 0.259161708 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.354102133 -0.870595636 0.341577103 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[8,3,9,2],X[3,10,4,9],X[1,8,2,7],X[6,5,7,4]]; 0.494044684 0.167732734 -0.853103499 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; -0.383541972 0.218828313 0.897223342 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4]]; -0.532357475 -0.822817085 -0.198915972 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.522557711 0.309131222 0.794588778 k0.1 + 1 PD[]; -0.428787744 0.464705857 0.774719005 k3.2 + A^(-8) - A^(-4) - A^(-2) + 1 + A^(2) PD[X[8,10,9,11],X[5,16,6,15],X[7,0,8,1],X[12,7,13,6],X[2,15,3,14],X[11,17,12,16],X[4,1,5,2],X[17,9,18,10],X[13,4,14,3]]; -0.0378393683 0.972876244 -0.228210419 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.276535591 -0.717869304 0.638898842 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.441011326 0.820309645 0.364144335 k0.1 + 1 PD[]; 0.914279651 -0.241326236 0.325352681 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.624073526 -0.292791048 -0.724434701 k0.1 + 1 PD[]; -0.935138389 -0.273954304 -0.22464468 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.723881414 -0.513229877 0.46107569 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.785511031 0.565695692 -0.250919917 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.420558998 -0.265977142 0.867402034 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.242041543 0.885040911 -0.397641142 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.308714217 0.256050035 0.916042527 k0.1 + 1 PD[]; 0.108718978 -0.986266952 -0.124328929 k0.1 + 1 PD[]; 0.181860018 -0.296766875 -0.937473389 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[8,3,9,2],X[0,3,1,4],X[4,7,5,6],X[9,6,10,5],X[1,8,2,7]]; 0.0525736853 -0.981370434 -0.184791989 k0.1 + 1 PD[]; 0.50426695 0.149117273 0.850575618 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.292053978 0.954303632 0.0633170782 k0.1 + 1 PD[]; 0.159688878 0.815436255 -0.556384019 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.925211374 0.218289269 0.310376722 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.28998443 -0.90764526 -0.303461879 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.531123523 0.431279035 -0.729318996 k5.8m - A^(-24) - A^(-22) + A^(-20) + 2*A^(-18) - 2*A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[9,3,10,2],X[3,11,4,10],X[11,5,12,4],X[8,5,9,6]]; 0.0431780634 -0.899848412 0.434060468 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.730041488 -0.473961035 -0.492341714 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.187489083 -0.929921979 0.31637471 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.117838489 -0.281150564 0.952401413 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[12,0,13,1],X[7,19,8,18],X[22,16,23,15],X[2,22,3,21],X[20,2,21,1],X[9,13,10,14],X[16,20,17,19],X[23,7,24,6],X[17,9,18,8],X[10,4,11,5],X[3,11,4,12],X[5,15,6,14]]; 0.0307528982 -0.949620086 -0.31189093 k0.1 + 1 PD[]; -0.547872944 -0.157332994 -0.821633474 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.55678477 -0.808668376 0.189858307 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.846176474 -0.351190001 -0.400812871 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.0917896475 -0.955849044 -0.279154555 k0.1 + 1 PD[]; -0.580590202 0.812684903 -0.0495809028 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[1,8,2,7],X[5,3,6,2],X[9,4,10,3],X[4,9,5,8]]; -0.66519885 -0.624299146 0.409586457 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.00518949456 -0.917064339 0.398705489 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.247512615 0.387448983 0.888043237 k0.1 + 1 PD[]; 0.119610446 -0.889389796 0.441224582 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.393690915 -0.352689959 -0.848891781 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.242023255 0.176116289 -0.954152921 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.461530087 -0.049044186 -0.885767829 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.39760769 0.91480725 0.0709635103 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.575519873 0.72101633 -0.385891601 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.196014164 0.690127181 0.696636864 k3.2 + A^(-8) - A^(-4) - A^(-2) + 1 + A^(2) PD[X[3,0,4,1],X[1,6,2,5],X[4,3,5,2]]; -0.204241893 -0.253691379 -0.945476564 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.179231413 0.551778541 -0.814503863 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.454222482 -0.431479864 0.779427395 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.97284218 -0.132001123 -0.190141517 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; 0.143693514 0.846706999 0.512288427 k0.1 + 1 PD[]; 0.619349236 0.147701635 0.771097108 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.292124922 -0.370186078 0.881830651 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; 0.11431316 0.806132425 -0.580588507 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.389237867 0.726832722 0.565869312 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.0790408098 0.0426322407 0.995959358 k6.8 + A^(-26) - A^(-24) - 3*A^(-22) + 3*A^(-18) + 2*A^(-16) - 2*A^(-14) - A^(-12) + A^(-10) + A^(-8) PD[X[9,1,10,0],X[1,11,2,10],X[13,7,14,6],X[11,3,12,2],X[5,8,6,7],X[8,3,9,4],X[12,5,13,4]]; 0.57468027 -0.777014021 0.256888689 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.71426782 -0.0328523602 -0.699100997 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.632850623 0.00926199789 -0.774218512 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.0949546624 -0.28599577 -0.953514568 k0.1 + 1 PD[]; -0.682332745 0.520020848 0.513809637 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.777697649 0.628637686 0.00101303542 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.529173846 0.0610840385 0.84631187 UNKNOWN - A^(-24) - 2*A^(-22) + 4*A^(-18) + 2*A^(-16) - 2*A^(-14) - 3*A^(-12) + 3*A^(-8) + 2*A^(-6) - 2*A^(-2) - 1 + A^(4) PD[X[13,1,14,0],X[15,11,16,12],X[4,12,5,13],X[2,22,3,21],X[9,5,10,6],X[10,16,11,17],X[22,18,23,17],X[3,15,4,14],X[20,2,21,1],X[23,7,24,6],X[18,8,19,7],X[8,20,9,19]]; 0.800143051 -0.571321328 0.182655516 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.437694186 -0.635331132 0.636221779 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.183763953 -0.838645613 0.512741988 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.159193658 0.0978094943 0.98239029 k0.1 + 1 PD[]; 0.701427587 0.709433281 0.0685839583 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.581491349 0.813536503 -0.00511570554 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[4,9,5,8],X[1,8,2,7],X[9,4,10,3],X[5,3,6,2]]; -0.381564816 0.674808748 -0.631697273 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.190331808 0.0137356517 0.981623724 UNKNOWN - A^(-18) + 3*A^(-14) + 2*A^(-12) - 4*A^(-10) - 5*A^(-8) + A^(-6) + 5*A^(-4) + 2*A^(-2) - 1 - A^(2) PD[X[11,0,12,1],X[10,12,11,13],X[3,14,4,13],X[19,15,20,14],X[8,5,9,6],X[2,19,3,18],X[15,7,16,6],X[7,17,8,16],X[4,9,5,10],X[17,2,18,1]]; -0.605215377 0.436341127 0.665823376 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.304783601 -0.935878247 0.176745191 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,6,8,5],X[1,5,2,4],X[3,10,4,9],X[8,3,9,2]]; -0.927756396 -0.323253385 0.186481415 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.966176806 -0.253328769 -0.0482381028 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.251143458 0.280507368 0.926413828 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.589828428 -0.377956312 -0.713618562 k0.1 + 1 PD[]; -0.88885051 -0.398013147 -0.227002876 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.596650459 -0.771398834 -0.221251144 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.454446094 -0.829816575 0.323856758 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,5,2,4],X[9,4,10,3],X[2,11,3,10],X[8,1,9,0],X[5,8,6,7],X[11,7,12,6]]; -0.718740315 0.602547576 0.346913214 k0.1 + 1 PD[]; 0.839813126 0.519841062 0.156458252 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.32902326 -0.422984158 0.844291476 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; -0.0280142557 -0.204064059 -0.978556621 k0.1 + 1 PD[]; 0.614541892 0.772448951 0.160190139 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.644757719 -0.68027382 0.348590036 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.604266588 0.693746122 -0.391890558 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.544878187 -0.530725911 0.649182385 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.425141913 -0.141389072 -0.894015371 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[1,7,2,6],X[7,3,8,2],X[5,4,6,3]]; 0.85909439 0.446216176 0.25069494 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.771950875 0.0624834322 -0.632603878 k6.12 - A^(-24) - A^(-22) + A^(-20) + 2*A^(-18) - A^(-16) - 2*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) - A^(-6) PD[X[6,1,7,0],X[8,2,9,1],X[2,10,3,9],X[10,4,11,3],X[4,12,5,11],X[7,5,8,6]]; -0.954713825 -0.163932208 0.248289636 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.350660069 0.910462825 -0.219305634 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; -0.332983701 -0.90919742 0.249963811 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.821402469 0.363707565 -0.439334487 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.224287173 -0.822440768 0.522768063 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.699179566 -0.116669483 0.705362436 k6.12 - A^(-24) - A^(-22) + A^(-20) + 2*A^(-18) - A^(-16) - 2*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) - A^(-6) PD[X[0,7,1,6],X[1,9,2,8],X[9,3,10,2],X[3,11,4,10],X[11,5,12,4],X[5,7,6,8]]; -0.328109043 0.663789903 -0.672106704 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.53712686 -0.190169343 -0.821784861 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.235610275 -0.629848045 0.740121097 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.380861024 -0.924576397 0.0101669207 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.829891316 0.478320954 -0.287209798 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0604470805 0.8242824 0.562942871 k0.1 + 1 PD[]; 0.89489208 0.196638058 -0.400626559 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.863953569 0.309557878 -0.397187802 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.178832418 0.983826879 -0.0101802773 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.293635085 -0.896886333 -0.330716408 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.541937547 0.573384438 0.614437939 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[6,2,7,1],X[2,8,3,7],X[3,6,4,5]]; -0.896527651 0.255757538 -0.36169912 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0465840419 -0.640556567 0.766496713 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; -0.0893727809 -0.859824909 0.502706307 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.112540544 -0.407133789 0.906408685 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; -0.359583737 -0.0344354958 0.932477202 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[2,9,3,8],X[5,10,6,9],X[10,1,11,0],X[7,4,8,3],X[4,1,5,2],X[11,7,12,6]]; -0.304220672 -0.881341736 -0.361505915 k0.1 + 1 PD[]; 0.820711835 -0.426864973 0.37976095 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.157920617 -0.484217767 -0.860577848 k0.1 + 1 PD[]; 0.150125333 -0.00140365032 -0.988665977 UNKNOWN + A^(-22) + 3*A^(-20) - 2*A^(-18) - 9*A^(-16) - 4*A^(-14) + 9*A^(-12) + 11*A^(-10) - A^(-8) - 9*A^(-6) - 4*A^(-4) + 3*A^(-2) + 4 + A^(2) - A^(4) - A^(6) PD[X[0,15,1,16],X[14,3,15,4],X[22,3,23,2],X[20,12,21,11],X[17,13,18,14],X[19,25,20,24],X[6,8,7,9],X[7,26,8,25],X[16,5,17,4],X[9,19,10,18],X[1,22,2,21],X[10,24,11,23],X[5,12,6,13]]; 0.136063531 0.916927967 -0.375139733 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.656078841 -0.222839697 0.721043011 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[4,6,5,7]]; -0.978823084 -0.147388574 0.142063293 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.477256321 -0.336854008 0.811637716 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.887372893 -0.350671079 -0.299331161 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.0716761875 -0.71607664 0.694331887 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.160782718 -0.021517748 0.98675524 UNKNOWN + A^(-22) - 2*A^(-18) - A^(-16) + 3*A^(-14) + 3*A^(-12) - 4*A^(-10) - 6*A^(-8) + A^(-6) + 6*A^(-4) + 3*A^(-2) - 1 - 2*A^(2) PD[X[12,0,13,1],X[14,6,15,5],X[10,16,11,17],X[18,5,19,4],X[1,11,2,12],X[9,7,10,8],X[19,9,20,8],X[2,14,3,13],X[3,18,4,17],X[6,16,7,15]]; 0.368139236 -0.0107753968 0.92970823 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.0419413558 0.93303623 0.357329422 k3.2 + A^(-8) - A^(-4) - A^(-2) + 1 + A^(2) PD[X[3,0,4,1],X[1,6,2,5],X[4,3,5,2]]; -0.789115707 0.160694657 -0.592852113 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.422031471 -0.539861521 0.728312416 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.439260896 0.521669428 0.731376013 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.575224652 0.331550849 0.747790501 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.322901924 0.590451433 -0.739663067 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.729640622 0.150597346 0.667041979 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.693950086 -0.674166498 0.252849386 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.913161161 0.111146925 -0.392151827 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.544221681 -0.08932116 0.834172939 UNKNOWN - A^(-18) - 3*A^(-16) + 5*A^(-12) + 4*A^(-10) - A^(-8) - 4*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[13,2,14,1],X[14,4,15,3],X[6,10,7,11],X[7,5,8,4],X[8,16,9,15],X[2,12,3,11],X[0,13,1,12],X[9,5,10,6]]; -0.489730061 -0.299075108 -0.818974082 k0.1 + 1 PD[]; -0.0360205406 0.94681079 0.31976843 k0.1 + 1 PD[]; -0.965107479 -0.237331761 0.11063991 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.682160974 0.536351964 0.496973819 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.485888598 0.787405534 0.379347855 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0453758343 -0.995586411 -0.0821506693 k0.1 + 1 PD[]; 0.0297617113 -0.0457068244 0.998511455 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[2,13,3,12],X[11,2,12,1],X[7,0,8,1],X[9,6,10,5],X[13,11,14,10],X[4,9,5,8],X[3,6,4,7]]; -0.343648787 -0.0242110307 -0.938786098 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.0201828783 0.746591097 -0.664976981 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.656014783 0.647636331 -0.387571653 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.306592601 0.905137493 0.294494643 k0.1 + 1 PD[]; 0.0647433735 -0.985548642 -0.156531687 k0.1 + 1 PD[]; -0.958321542 0.0333160317 -0.283742602 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.704881578 0.353590836 0.614910954 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[3,2,4,1],X[2,8,3,7],X[4,7,5,6]]; 0.252201919 -0.600597454 -0.758733741 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[4,7,5,6],X[1,8,2,7],X[9,6,10,5],X[0,3,1,4],X[8,3,9,2]]; 0.271270747 0.760284266 -0.590237255 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.797574018 -0.212527278 0.564542153 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.915112037 0.283495789 -0.286705592 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.744112969 -0.586401108 -0.320046294 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.781908882 -0.611545434 0.120957358 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.727793662 -0.508903601 -0.459710246 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.946374429 0.252979825 0.200939416 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.294167113 -0.410894434 0.862920317 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.857436677 -0.438866667 -0.268697587 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.223091485 -0.0192084991 -0.974608241 UNKNOWN + A^(-14) - 3*A^(-10) - 2*A^(-8) + 2*A^(-6) + 4*A^(-4) + A^(-2) - 1 - A^(2) PD[X[8,1,9,0],X[3,5,4,6],X[10,6,11,7],X[4,12,5,11],X[7,3,8,2],X[1,10,2,9]]; -0.418293006 -0.75102673 0.510871619 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.498760534 -0.73094185 0.465791736 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.14085767 0.762410361 -0.631577041 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.281424757 0.627745663 0.72576545 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[7,4,8,3],X[6,1,7,0],X[4,9,5,8],X[5,2,6,3],X[1,10,2,9]]; 0.539598265 0.574863039 0.615114785 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.820879028 -0.414848068 0.392503123 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.675716193 0.385680025 -0.628218549 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; 0.814934627 -0.247753009 0.523927476 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.369882746 0.762336767 -0.531064411 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.850193488 -0.100991514 -0.516693087 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.484295009 -0.874406451 0.0295246057 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[9,4,10,3],X[11,7,12,6],X[2,11,3,10],X[1,5,2,4],X[5,8,6,7],X[8,1,9,0]]; -0.749685115 0.650295169 -0.122834933 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.951578002 -0.153678944 0.266236905 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.882123704 -0.222226213 0.415299025 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.813191388 0.335609599 0.475484978 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[6,2,7,1],X[2,8,3,7],X[3,6,4,5]]; -0.943234805 -0.208459037 -0.258559341 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.619497767 -0.660861882 0.423655627 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.935762522 -0.245061685 -0.253561183 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.707994037 0.61312814 -0.350454459 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.540021237 0.840232867 -0.0488445824 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,8,2,7],X[5,3,6,2],X[9,4,10,3],X[6,1,7,0],X[4,9,5,8]]; -0.246048033 -0.723353087 0.64515167 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.61070139 -0.784654285 0.106590178 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[8,3,9,2],X[7,6,8,5],X[3,10,4,9],X[1,5,2,4]]; -0.321256705 -0.16259311 0.932929585 k6.17 - A^(-30) + 2*A^(-26) + A^(-24) - 3*A^(-22) - 2*A^(-20) + 2*A^(-18) + 2*A^(-16) - A^(-14) - A^(-12) + A^(-10) + A^(-8) PD[X[0,11,1,10],X[11,2,12,1],X[2,13,3,12],X[5,10,6,9],X[6,3,7,4],X[8,5,9,4],X[13,8,14,7]]; -0.53889952 -0.0941996535 -0.837086454 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.340919412 -0.940090984 0.00170210795 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.861764168 0.260560757 -0.43528222 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0558260395 0.349098587 0.935421632 k0.1 + 1 PD[]; 0.423235902 -0.47972708 0.768591764 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.615420803 -0.72951837 -0.298429527 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.261220046 0.949587555 0.173342329 k0.1 + 1 PD[]; -0.899701243 0.303626303 -0.313606031 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.607037075 -0.718665409 0.339154862 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0576313295 -0.693534935 -0.718114144 k0.1 + 1 PD[]; 0.0300389001 -0.118804026 0.992463232 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[7,0,8,1],X[11,2,12,1],X[2,13,3,12],X[4,9,5,8],X[3,6,4,7],X[13,11,14,10],X[9,6,10,5]]; -0.0350480049 0.807178718 -0.589265776 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.58855561 0.695702048 0.411826364 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[7,2,8,1],X[8,5,9,4],X[3,10,4,9],X[5,2,6,3],X[6,12,7,11],X[0,11,1,10]]; -0.682394847 -0.070606367 -0.727565814 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.816335429 0.466219773 0.340933411 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.981741808 0.190061112 0.00773276715 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.559163863 0.329092816 0.760942634 k0.1 + 1 PD[]; 0.839526815 0.535907311 0.0894319871 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.492752734 -0.484380942 0.722889927 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.591175123 0.773242928 -0.229362919 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.486404549 0.870905024 -0.0702499328 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.862315048 -0.0470525922 -0.504181329 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.727286795 -0.645308627 -0.2337321 k0.1 + 1 PD[]; 0.388034891 0.486870412 0.782551037 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.290275685 0.468291571 0.834531624 k0.1 + 1 PD[]; -0.523989094 -0.294768278 0.799091416 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[13,1,14,0],X[10,18,11,19],X[16,8,17,7],X[8,18,9,17],X[1,21,2,20],X[15,11,16,12],X[3,23,4,22],X[5,15,6,14],X[4,19,5,20],X[21,3,22,2],X[23,9,24,10],X[6,12,7,13]]; -0.838013486 -0.165124649 -0.520064658 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.872509311 -0.0412758995 0.486850903 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.941625662 0.305470018 0.141524486 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[9,5,10,4],X[5,9,6,8],X[6,12,7,11],X[10,8,11,7]]; 0.908931627 -0.399033861 0.120893653 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.434564319 0.517664983 0.737005304 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.282424494 0.682306791 0.674309906 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[3,2,4,1],X[4,7,5,6],X[2,8,3,7]]; -0.0363787422 -0.816801815 0.575770251 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.983287457 0.0763233588 0.165289207 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[9,5,10,4],X[5,9,6,8],X[6,12,7,11],X[10,8,11,7]]; -0.071064048 0.825040231 0.560587655 k0.1 + 1 PD[]; 0.891727766 0.435314851 -0.123784376 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.660087481 0.704461725 0.260802984 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.919939019 0.056803612 0.387924672 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.169190526 0.884410062 -0.434963686 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.200241715 0.885228424 0.419849846 k0.1 + 1 PD[]; -0.0618514149 0.423359217 -0.903848093 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.713822675 0.654349656 0.249567059 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.123751156 -0.595559297 0.793722102 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; 0.702704711 -0.700811296 -0.122758369 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[6,5,7,4]]; -0.470536678 -0.835130087 -0.284873607 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.646493947 -0.0250228417 -0.762508645 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[1,7,2,6],X[3,8,4,7],X[4,3,5,2]]; -0.419041189 -0.503965275 0.75526385 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.586455222 0.591806507 0.553023807 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[6,2,7,1],X[2,8,3,7],X[3,6,4,5]]; 0.167157359 -0.881248131 0.442108752 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.886150774 -0.0913688158 0.454300061 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.869356082 -0.492379014 0.0422245031 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.929828552 0.346714958 0.123319104 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.135468844 0.856696346 0.497714339 k0.1 + 1 PD[]; -0.781868351 -0.18514946 -0.595316352 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.779124431 -0.619840242 0.0936119375 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.657035694 0.324460651 -0.680462623 k5.8m - A^(-24) - A^(-22) + A^(-20) + 2*A^(-18) - 2*A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[9,3,10,2],X[3,11,4,10],X[11,5,12,4],X[8,5,9,6]]; -0.0758773497 -0.923878042 0.375089312 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.949272109 -0.280409104 0.142313727 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0676653912 -0.71904233 0.691664314 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.90314867 -0.328884454 -0.275966478 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; 0.571221781 -0.818867173 0.0562337101 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,6,8,5],X[1,5,2,4],X[3,10,4,9],X[8,3,9,2]]; -0.465977591 0.70524421 0.534317779 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[4,10,5,9],X[5,4,6,3],X[0,8,1,7],X[6,2,7,1],X[2,9,3,8]]; 0.760859363 -0.382674603 -0.524073638 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[1,7,2,6],X[7,3,8,2],X[5,4,6,3]]; 0.34252776 -0.662768894 -0.665891978 UNKNOWN + A^(-14) - 3*A^(-10) - 2*A^(-8) + 2*A^(-6) + 4*A^(-4) + A^(-2) - 1 - A^(2) PD[X[10,4,11,3],X[0,9,1,8],X[2,8,3,7],X[9,2,10,1],X[6,4,7,5],X[5,11,6,12]]; -0.0605751038 0.665014011 0.744370218 k3.2 + A^(-8) - A^(-4) - A^(-2) + 1 + A^(2) PD[X[3,0,4,1],X[1,6,2,5],X[4,3,5,2]]; 0.196951454 0.324004461 -0.925327636 k7.10m - A^(-28) + A^(-24) - A^(-20) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[7,1,8,0],X[1,9,2,8],X[9,3,10,2],X[6,5,7,4],X[5,12,6,11],X[3,11,4,10]]; -0.445036417 0.497813658 0.744395156 k0.1 + 1 PD[]; -0.533809737 0.844836852 -0.0360257961 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[5,3,6,2],X[4,9,5,8],X[9,4,10,3],X[1,8,2,7]]; -0.54756964 0.784535861 -0.290982768 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.795239703 -0.525920559 -0.301664351 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.558953416 -0.829104692 0.0125095458 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.627306547 0.664544208 0.40603878 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.536590282 0.630465479 -0.560878016 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[6,4,7,5]]; -0.285181205 -0.691250443 -0.663961223 k0.1 + 1 PD[]; 0.482367418 -0.6299868 0.608636431 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.9855547 -0.0134473626 -0.168822696 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.790520823 -0.608413902 -0.070066778 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.564969583 0.792493861 -0.229701656 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[5,3,6,2],X[4,9,5,8],X[9,4,10,3],X[1,8,2,7]]; 0.424262644 0.364486383 -0.828945647 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; -0.978951479 0.199602488 0.0425775582 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.938317058 0.337045434 0.0772105781 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.153359582 -0.100898579 0.983005756 k5.20 + A^(-16) + A^(-14) - A^(-12) - 3*A^(-10) - A^(-8) + 2*A^(-6) + 2*A^(-4) PD[X[8,7,9,6],X[7,0,8,1],X[2,5,3,6],X[1,10,2,9],X[3,11,4,10],X[11,5,12,4]]; 0.0614169776 0.233112475 0.970508387 k0.1 + 1 PD[]; -0.865899793 0.243065604 -0.437191789 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.132351104 0.187441847 0.973318416 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.707278091 0.484333861 0.514954768 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.871099419 -0.383767937 -0.306444077 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.883065675 0.211265598 0.419001027 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.572950094 0.389156196 0.721308287 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.158568331 -0.297050728 0.941603393 UNKNOWN + 2*A^(-20) - 5*A^(-16) - 4*A^(-14) + 4*A^(-12) + 7*A^(-10) + A^(-8) - 5*A^(-6) - 3*A^(-4) + 2*A^(-2) + 3 + A^(2) - A^(4) - A^(6) PD[X[15,0,16,1],X[19,8,20,7],X[2,23,3,22],X[12,5,13,6],X[23,19,24,18],X[3,14,4,15],X[21,2,22,1],X[4,17,5,16],X[24,7,25,6],X[11,9,12,10],X[25,11,26,10],X[13,17,14,18],X[8,21,9,20]]; -0.351916888 0.101680694 0.930492096 k0.1 + 1 PD[]; -0.499894243 0.750130641 -0.432908497 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.571272961 0.134877176 -0.809601971 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.31114328 -0.250435546 -0.916772543 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.793022016 0.53668668 -0.288242068 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.811144227 0.249409205 -0.528999141 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.471794356 0.87844705 0.0757685034 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[7,4,8,3],X[6,1,7,0],X[5,2,6,3],X[1,10,2,9],X[4,9,5,8]]; -0.29290427 0.610611022 0.735772566 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[7,4,8,3],X[6,1,7,0],X[5,10,6,9],X[2,9,3,8],X[4,1,5,2]]; -0.16618647 0.686587348 0.707799315 k0.1 + 1 PD[]; -0.293685731 -0.247463117 0.923315058 k7.10m - A^(-28) + A^(-24) - A^(-20) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[0,8,1,7],X[8,2,9,1],X[2,10,3,9],X[10,4,11,3],X[4,7,5,6],X[11,6,12,5]]; -0.359579778 0.852769661 -0.378795841 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.479139049 -0.877659171 0.0118385199 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.628767278 0.585355521 -0.511869735 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.618642199 -0.149427679 -0.771332094 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.734122906 0.566006894 0.375099659 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.759140435 0.6114187 -0.223322578 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.269042207 0.139066198 -0.953035615 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.854849105 0.4838419 0.187430048 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.847820655 -0.0262558423 -0.529632672 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.348590804 -0.498508011 0.79370915 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.0913501092 -0.804729179 -0.586571485 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.249520726 0.772070817 0.584504971 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[3,2,4,1],X[2,8,3,7],X[4,7,5,6]]; 0.452779603 0.891293324 0.0242248168 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.981424393 -0.0528456631 -0.184427486 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; -0.653461113 0.680155054 -0.332231361 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.246947672 0.920890688 0.301624248 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.835623449 -0.466721248 -0.289663129 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0981187914 0.97803897 -0.183881688 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.739017855 -0.564277068 -0.368027173 k0.1 + 1 PD[]; -0.106675186 0.0900512316 0.990207645 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,0,4,1],X[5,2,6,1],X[2,7,3,6],X[7,5,8,4]]; 0.37567007 -0.925612095 -0.0459809555 k0.1 + 1 PD[]; 0.111095836 -0.49347841 0.862633627 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[2,5,3,4],X[8,6,9,5],X[9,4,10,3],X[1,8,2,7]]; -0.264882021 0.363903909 0.892978981 UNKNOWN + A^(-14) - 3*A^(-10) - 2*A^(-8) + 2*A^(-6) + 4*A^(-4) + A^(-2) - 1 - A^(2) PD[X[3,11,4,10],X[1,10,2,9],X[8,1,9,0],X[4,6,5,7],X[7,3,8,2],X[11,5,12,6]]; -0.318557224 -0.323208779 -0.891098973 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.591442702 -0.745585633 -0.307079133 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.669441991 -0.335669296 -0.662701701 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.143000334 -0.888559264 0.435905194 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.895921937 -0.373471974 -0.240504819 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.582941556 0.201931687 0.787021433 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.168623611 0.155398797 -0.973353631 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[0,7,1,8],X[11,4,12,3],X[5,14,6,13],X[9,13,10,12],X[6,1,7,2],X[8,5,9,4],X[2,11,3,10]]; 0.385248125 -0.11453759 0.915677357 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.383072146 0.783649522 -0.48902879 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.574466906 -0.711734361 0.404254838 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.879171456 -0.471965985 0.065617525 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.645574064 0.677416209 0.352620771 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[7,6,8,5],X[1,10,2,9],X[6,12,7,11],X[3,0,4,1],X[8,3,9,2],X[4,11,5,10]]; 0.608984386 -0.790497017 0.0652110721 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[1,5,2,4],X[8,3,9,2],X[3,10,4,9],X[7,6,8,5]]; 0.832250555 -0.337744259 -0.439645118 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.375570306 0.219209985 0.900496489 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.972588457 0.188363953 -0.136347772 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.334542894 0.527016162 0.781239411 k5.7 - A^(-12) + 2*A^(-8) + A^(-6) - 2*A^(-4) - 2*A^(-2) + 2 + 2*A^(2) - A^(6) PD[X[2,12,3,11],X[9,5,10,4],X[5,13,6,12],X[3,0,4,1],X[10,2,11,1],X[6,8,7,9],X[13,7,14,8]]; -0.656302379 0.684243075 -0.317928609 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.792630146 0.536531039 -0.28960645 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.584413785 -0.781444214 0.218644618 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.641806883 0.20105393 -0.740041379 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[6,4,7,5]]; -0.0229983703 0.784095002 0.620214562 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.1572989 0.960700022 0.228719311 k0.1 + 1 PD[]; 0.625293758 -0.172305512 -0.76112977 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.459690769 0.184325198 -0.868739672 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.739741544 -0.173155683 -0.650230389 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.976972333 -0.122420833 -0.174751827 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.659783724 -0.706514173 -0.255974922 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.524495333 -0.774663557 -0.353271876 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.463962147 -0.796364543 0.387998248 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.645013317 0.692046724 0.324082016 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.541817555 0.751641855 0.376122664 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.729733571 -0.287560656 -0.620320711 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.69414954 -0.60163681 -0.395208255 k0.1 + 1 PD[]; -0.262536258 -0.539244414 0.800181339 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; -0.667202759 -0.145268038 -0.730573525 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.28365789 0.876845515 0.388175403 k0.1 + 1 PD[]; -0.00630775349 0.777815172 0.628461431 k0.1 + 1 PD[]; -0.943024313 -0.21269132 -0.255866267 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.552258586 0.807347226 -0.207848287 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0810283542 0.461552683 0.883404509 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.867108421 -0.0342897069 0.496937825 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.57039991 -0.752296727 0.32968709 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.413631024 -0.0619263444 0.908336118 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.937387573 -0.145714754 -0.316341189 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.240045537 0.765912046 -0.596453585 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.860634671 -0.417469857 -0.291593692 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.806336415 0.484867802 0.338710495 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.392646259 -0.917678478 0.0607875516 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[6,5,7,4]]; -0.206522774 -0.867542127 -0.452458839 k4.7 - A^(-4) + 2 + A^(2) - A^(6) PD[X[0,6,1,5],X[6,2,7,1],X[4,2,5,3],X[3,7,4,8]]; 0.848336795 -0.0743826993 -0.524205968 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.179825273 0.687400416 0.703664366 k3.2 + A^(-8) - A^(-4) - A^(-2) + 1 + A^(2) PD[X[3,0,4,1],X[1,6,2,5],X[4,3,5,2]]; -0.751638322 0.377315257 -0.540992634 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.258810076 0.247308689 0.933732165 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.584475313 0.0760767794 -0.807837194 UNKNOWN - A^(-18) - 3*A^(-16) + 5*A^(-12) + 4*A^(-10) - A^(-8) - 4*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[11,3,12,2],X[12,1,13,0],X[10,6,11,7],X[14,8,15,7],X[3,9,4,8],X[1,14,2,13],X[4,16,5,15],X[5,9,6,10]]; 0.509366101 -0.507703598 0.694826044 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.838582682 0.510896396 -0.189113611 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.976869807 0.0154798193 0.213273899 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[9,5,10,4],X[5,9,6,8],X[6,12,7,11],X[10,8,11,7]]; -0.328837092 -0.281436033 0.901476526 k6.17 - A^(-30) + 2*A^(-26) + A^(-24) - 3*A^(-22) - 2*A^(-20) + 2*A^(-18) + 2*A^(-16) - A^(-14) - A^(-12) + A^(-10) + A^(-8) PD[X[0,11,1,10],X[11,2,12,1],X[2,13,3,12],X[5,10,6,9],X[8,5,9,4],X[6,3,7,4],X[13,8,14,7]]; 0.409390563 0.718874061 0.561800188 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.887304243 -0.383293625 0.256470619 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.67247378 0.306528155 0.673661269 k0.1 + 1 PD[]; 0.828929828 0.383468495 0.407218925 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.0317597555 0.95743505 -0.286896223 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.197164583 0.896099114 -0.39765878 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0845976162 0.219453339 -0.971948288 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[0,12,1,13],X[15,19,16,18],X[7,17,8,16],X[6,22,7,21],X[10,4,11,5],X[20,4,21,3],X[5,9,6,10],X[17,9,18,8],X[2,20,3,19],X[14,2,15,1],X[13,11,14,12]]; 0.626871728 -0.0238277239 0.778758034 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.551118839 0.336088452 0.763749028 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.4380496 -0.27989718 -0.854265835 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.736800177 -0.43498417 0.517604357 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.575109244 0.795080508 -0.192604109 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.354051793 0.294609964 -0.887610442 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.943858981 0.309175536 -0.116364567 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.50355894 0.791634857 0.346038506 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.575976026 0.642506389 0.505407912 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.560775141 0.777838316 -0.283723097 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.901102443 -0.306327239 0.306884358 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.338838371 0.930549366 0.138803585 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.697010465 -0.162302451 -0.698451377 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.669510486 0.737600199 -0.0877590785 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.670611987 0.184610982 -0.718469448 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.298021666 0.941886819 -0.155023571 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.623789369 0.752508323 -0.211229846 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.845882094 -0.216422265 0.487488345 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.177969955 -0.685650124 0.705840352 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.685725191 -0.50644591 0.522774811 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.821319315 -0.352786783 -0.448303545 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0136283383 -0.544971939 -0.838343518 k0.1 + 1 PD[]; -0.395116614 0.424179504 0.8148341 k3.2 + A^(-8) - A^(-4) - A^(-2) + 1 + A^(2) PD[X[7,4,8,3],X[6,1,7,0],X[2,9,3,8],X[4,1,5,2],X[9,5,10,6]]; -0.778432897 0.391124637 -0.490982425 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.968881592 0.210116373 -0.130841776 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.508481168 -0.859701255 -0.0485865646 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.312175854 0.372016566 0.874156686 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.707574458 0.648133751 -0.28153335 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.379434693 0.44701331 -0.81006692 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.779621572 -0.557087939 -0.286082563 k0.1 + 1 PD[]; 0.0847778822 -0.826741829 -0.556157045 k0.1 + 1 PD[]; 0.253109798 -0.516658857 0.817923625 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.266624838 -0.360778052 0.893728366 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[1,8,2,7],X[8,3,9,2],X[3,6,4,5],X[9,5,10,4]]; -0.735574208 0.674528936 -0.0627797651 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.303320386 0.349950066 0.886302259 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.932273817 0.272541806 -0.237879158 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.545918248 0.37321544 0.750122325 k0.1 + 1 PD[]; -0.632369793 0.522474982 0.571951342 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[3,2,4,1],X[2,8,3,7],X[4,7,5,6]]; -0.439954417 0.771059681 0.460333661 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.649401904 -0.24800041 -0.718869226 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.228619061 -0.397137691 -0.888827868 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.614191946 0.662380191 -0.428976382 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0897741986 -0.230299798 0.968969863 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[12,0,13,1],X[7,17,8,16],X[21,9,22,8],X[18,2,19,1],X[3,11,4,12],X[14,6,15,5],X[2,20,3,19],X[4,14,5,13],X[20,18,21,17],X[9,15,10,16],X[10,6,11,7]]; -0.727865422 0.683556558 -0.05442756 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.253611686 0.912476612 0.321041346 k0.1 + 1 PD[]; 0.923069429 -0.279753989 0.263970708 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.415037906 0.68228644 0.601854427 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.528114456 -0.669186669 -0.522766031 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,4,2,3],X[7,3,8,2],X[6,5,7,4]]; 0.457505052 0.881578544 -0.11622563 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.693803621 -0.561686762 -0.450715562 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.296737888 -0.875540209 -0.381282006 k0.1 + 1 PD[]; -0.419518052 0.772337473 -0.476969005 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0928596974 -0.963603792 -0.250688669 k0.1 + 1 PD[]; 0.309534395 -0.170351588 0.935504567 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.717607259 0.153843317 -0.679243738 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.542062167 -0.0254840486 -0.839951886 UNKNOWN - A^(-18) - 3*A^(-16) + 5*A^(-12) + 4*A^(-10) - A^(-8) - 4*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[6,14,7,13],X[15,9,16,10],X[2,19,3,18],X[19,4,20,3],X[16,22,17,21],X[0,13,1,12],X[17,9,18,8],X[7,21,8,20],X[10,14,11,15],X[5,11,6,12],X[1,4,2,5]]; 0.903221104 0.374408564 -0.209785284 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.995227557 0.094590592 -0.0239735045 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[9,5,10,4],X[5,9,6,8],X[6,12,7,11],X[10,8,11,7]]; 0.0599565877 -0.358410253 -0.931636892 k0.1 + 1 PD[]; 0.287993947 0.186158353 0.939363909 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.286656776 -0.947605013 0.140970322 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[2,6,3,5],X[7,2,8,1],X[8,5,9,4],X[3,10,4,9],X[0,7,1,6]]; 0.79999352 -0.562278432 -0.209411875 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.197122795 0.487741544 0.850441527 k5.7 - A^(-12) + 2*A^(-8) + A^(-6) - 2*A^(-4) - 2*A^(-2) + 2 + 2*A^(2) - A^(6) PD[X[2,12,3,11],X[5,13,6,12],X[4,1,5,2],X[9,1,10,0],X[10,4,11,3],X[6,8,7,9],X[13,7,14,8]]; -0.906399198 0.00276363361 -0.422413134 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.548231335 0.296929542 -0.781840937 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; 0.0229649255 -0.211658724 -0.977073793 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.634488102 -0.62236308 -0.458354716 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[0,7,1,6],X[9,6,10,5],X[8,3,9,2],X[1,4,2,5],X[3,8,4,7]]; 0.206308253 -0.212460192 -0.955142697 k0.1 + 1 PD[]; 0.555241576 -0.4363592 -0.708023616 k0.1 + 1 PD[]; -0.0476384065 -0.0472226916 -0.997747764 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[0,3,1,4],X[7,2,8,1],X[2,7,3,6],X[8,5,9,4],X[5,10,6,9]]; 0.923701078 0.344314445 -0.167999645 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0947256983 -0.62209892 -0.77718722 k0.1 + 1 PD[]; -0.813537873 -0.390985115 -0.430449496 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.497073249 0.17943894 -0.848952208 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.521554213 -0.742060003 0.421103497 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.951454492 -0.262055552 -0.161434933 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.656554354 0.0384453268 0.753298306 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.371485246 0.84204176 -0.391106619 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.280395088 -0.645753731 0.710197658 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0542221394 -0.249818194 -0.966773412 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.0787157719 0.914893984 0.395945483 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[4,1,5,0],X[3,6,4,5],X[1,8,2,7],X[6,3,7,2]]; -0.0337846094 0.581200138 -0.813059038 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.61138681 0.100059789 0.784980386 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.425172132 0.820970276 -0.381099022 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.524940866 0.81209751 0.254822922 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[7,2,8,1],X[2,9,3,8],X[5,10,6,9],X[3,0,4,1],X[6,5,7,4]]; -0.996415511 -0.0543988146 0.0647834707 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.399911292 -0.862609264 0.309800286 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,5,2,4],X[9,4,10,3],X[2,11,3,10],X[8,1,9,0],X[5,8,6,7],X[11,7,12,6]]; 0.506660847 0.7514326 -0.422662791 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.82106646 0.522766704 0.229270237 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.388657234 -0.0413272597 -0.920455111 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; 0.496381447 -0.316494349 -0.808354369 k0.1 + 1 PD[]; 0.74611951 -0.584476709 0.318892855 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.450630568 -0.233602911 0.861604184 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.55351398 -0.565477494 0.611438858 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.936828964 0.315000246 -0.15207346 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.806889873 -0.503972014 0.308124882 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.350275277 0.936533623 -0.0145603647 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.347891611 0.936695407 -0.0396628422 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.835771821 -0.508930041 0.206096279 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.528030439 0.390348372 0.754196263 k0.1 + 1 PD[]; -0.0153193304 0.427302564 -0.903978892 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[2,9,3,8],X[5,4,6,3],X[4,10,5,9]]; 0.673631548 0.673641426 -0.304019353 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.724054672 -0.333162121 0.603943567 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.673704788 -0.287069521 0.680964719 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.77039693 0.37668357 0.514390958 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[6,2,7,1],X[2,8,3,7],X[3,6,4,5]]; -0.298552901 -0.619511414 0.725997089 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.275574566 -0.0321089724 0.960743292 k7.10m - A^(-28) + A^(-24) - A^(-20) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[9,1,10,0],X[1,11,2,10],X[4,7,5,6],X[11,9,12,8],X[2,8,3,7],X[13,6,14,5],X[12,4,13,3]]; -0.222892 -0.872016378 -0.435782736 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.152911165 -0.934982155 0.320041473 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.12234288 -0.269363096 0.955235961 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[12,0,13,1],X[18,2,19,1],X[4,14,5,13],X[8,18,9,17],X[20,8,21,7],X[21,17,22,16],X[2,20,3,19],X[15,7,16,6],X[10,14,11,15],X[3,11,4,12],X[9,5,10,6]]; -0.0581652545 0.16798751 0.984071644 k0.1 + 1 PD[]; 0.274521338 -0.883536105 0.379475937 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0363409822 -0.306299102 0.951241396 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[12,0,13,1],X[2,20,3,19],X[10,4,11,5],X[9,13,10,14],X[7,17,8,16],X[5,15,6,14],X[18,2,19,1],X[20,18,21,17],X[21,9,22,8],X[3,11,4,12],X[15,7,16,6]]; 0.47238381 0.490935508 -0.732008103 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; -0.404759403 -0.914395245 0.00715267612 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.231721404 -0.77206343 0.59179663 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.974538402 -0.107211604 0.196927844 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.0657851114 0.296352825 -0.952810224 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[0,12,1,13],X[7,17,8,16],X[15,7,16,6],X[14,22,15,21],X[17,9,18,8],X[1,19,2,18],X[19,3,20,2],X[13,9,14,10],X[11,3,12,4],X[4,10,5,11],X[5,21,6,20]]; -0.1822952 0.461431509 -0.868245025 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[8,3,9,2],X[4,8,5,7],X[3,10,4,9],X[5,2,6,1]]; -0.400193582 -0.218058065 -0.89010998 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.876955839 0.46992991 -0.100570059 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.292659944 -0.761807778 -0.577926524 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[1,4,2,3],X[7,3,8,2],X[0,6,1,5],X[6,5,7,4]]; -0.628203208 0.528092555 -0.571383394 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.554895531 0.272549321 -0.786007517 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; -0.497981322 0.579143997 -0.645450877 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.621699068 -0.665808855 -0.412539498 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.405876809 0.498438465 -0.766043806 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.597372952 0.174413759 -0.78276778 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.435508091 -0.768535935 0.468705899 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.788860571 -0.61278596 -0.0468227281 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.949892012 -0.181456599 -0.254516537 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.526952183 -0.603545066 -0.598376763 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.798952489 0.0645713393 0.597917605 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.639496691 0.606622488 -0.472285019 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.7457773 0.429025375 0.509660128 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.679927358 0.70595617 0.198304497 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.934387289 0.0627804007 -0.35068364 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.460424408 -0.170683844 -0.871135116 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.429937311 -0.902407132 0.0285530468 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0787151243 -0.949416472 -0.303993901 k0.1 + 1 PD[]; 0.68900769 -0.59109349 0.419376786 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.780254852 -0.380240943 -0.496607683 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.87244819 -0.0320063511 -0.48765741 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.608161049 0.581420364 -0.540453975 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.501138967 -0.82370237 0.265281251 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.224319427 0.779091125 0.585403975 k3.2m + A^(-2) + 1 - A^(2) - A^(4) + A^(8) PD[X[4,0,5,1],X[1,3,2,4],X[2,6,3,5]]; -0.936797041 -0.181356682 0.2992007 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.416891945 -0.734960572 0.534821526 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.695232067 -0.610897154 0.378757231 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.749709003 -0.455288789 -0.480258815 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.453388131 -0.390376845 0.801277182 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[13,1,14,0],X[15,7,16,6],X[8,18,9,17],X[10,18,11,19],X[4,19,5,20],X[21,3,22,2],X[1,21,2,20],X[5,15,6,14],X[16,12,17,13],X[23,9,24,10],X[3,23,4,22],X[7,11,8,12]]; 0.337805743 -0.714969471 0.612132286 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.187092568 0.763840042 -0.617693096 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.150143823 0.524739848 0.837917015 k0.1 + 1 PD[]; 0.370313437 -0.207132679 -0.905518642 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2]]; -0.0785468261 0.144314544 0.986409504 k0.1 + 1 PD[]; 0.874983212 0.479605274 -0.0662054387 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.570159185 -0.82092507 -0.0316312159 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.912316213 0.049633251 -0.406467302 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.0674677733 -0.333603261 0.940296211 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[12,0,13,1],X[5,15,6,14],X[9,13,10,14],X[18,2,19,1],X[10,4,11,5],X[20,8,21,7],X[15,7,16,6],X[3,11,4,12],X[2,20,3,19],X[21,17,22,16],X[8,18,9,17]]; -0.746322486 -0.13905522 0.650896607 k6.12 - A^(-24) - A^(-22) + A^(-20) + 2*A^(-18) - A^(-16) - 2*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) - A^(-6) PD[X[0,7,1,6],X[1,9,2,8],X[9,3,10,2],X[3,11,4,10],X[5,7,6,8],X[11,5,12,4]]; -0.428073025 -0.504602321 0.749753281 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.777317469 -0.532406572 0.335142946 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.16257551 -0.943678085 -0.288168136 k0.1 + 1 PD[]; 0.104348278 0.994472529 0.0116544059 k0.1 + 1 PD[]; -0.564819133 0.736818728 -0.371587821 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0294880214 -0.333242497 0.94237991 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[12,0,13,1],X[3,11,4,12],X[9,5,10,6],X[4,14,5,13],X[21,9,22,8],X[15,7,16,6],X[7,17,8,16],X[2,20,3,19],X[20,18,21,17],X[18,2,19,1],X[10,14,11,15]]; -0.232587953 -0.936779739 0.261431761 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.0700998246 0.997538574 0.00167591311 k0.1 + 1 PD[]; -0.708008762 0.654963691 0.264094975 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[6,12,7,11],X[7,6,8,5],X[4,1,5,2],X[0,11,1,10],X[8,3,9,2],X[3,10,4,9]]; -0.220855738 0.0258345042 0.974964267 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[9,1,10,0],X[1,11,2,10],X[5,2,6,3],X[7,4,8,3],X[4,9,5,8],X[11,7,12,6]]; -0.3119271 -0.473174637 -0.823897595 k0.1 + 1 PD[]; -0.284799554 0.958581983 -0.00312995259 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.695970062 0.491251466 0.52373435 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.779197393 0.20961688 -0.590687893 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.0412525126 0.858293429 0.511498407 k0.1 + 1 PD[]; 0.0905318482 -0.385247131 0.918361929 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[7,5,8,4],X[1,6,2,5],X[9,4,10,3],X[2,9,3,8]]; -0.394906455 0.708593804 -0.584759535 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.459010824 -0.885602245 0.0708359205 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,6,8,5],X[1,5,2,4],X[3,10,4,9],X[8,3,9,2]]; -0.336171171 0.940901211 0.0411564698 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.857544283 -0.259541765 -0.444134974 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.529270913 0.520773955 -0.669825939 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[6,4,7,5]]; -0.742472571 0.235461968 0.627130084 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[4,2,5,1],X[2,9,3,8],X[9,4,10,3],X[5,8,6,7]]; 0.148271925 -0.806048163 -0.57297626 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.920315467 -0.340972318 -0.191721984 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.473648737 0.652620066 -0.591391514 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.490897645 0.72344983 -0.485427488 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.63416381 0.767126495 0.0967119574 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[6,1,7,0],X[5,10,6,9],X[4,1,5,2],X[2,9,3,8],X[7,4,8,3]]; -0.801595984 0.553847598 0.225159311 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.273920407 0.0840664546 0.958071209 k0.1 + 1 PD[]; 0.987252392 0.14758543 0.0595924081 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.182341426 -0.83934191 -0.512110107 k4.7 - A^(-4) + 2 + A^(2) - A^(6) PD[X[0,6,1,5],X[6,2,7,1],X[3,7,4,8],X[4,2,5,3]]; 0.248703816 0.810757713 0.529922959 k4.7 - A^(-4) + 2 + A^(2) - A^(6) PD[X[5,1,6,0],X[1,7,2,6],X[2,4,3,5],X[7,3,8,4]]; 0.15067788 0.724138205 -0.672993341 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.762100785 0.421623195 -0.491361654 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0162025429 -0.159318361 0.98709429 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[12,0,13,1],X[9,5,10,6],X[7,17,8,16],X[18,2,19,1],X[2,20,3,19],X[4,14,5,13],X[10,14,11,15],X[3,11,4,12],X[20,18,21,17],X[15,7,16,6],X[21,9,22,8]]; -0.842826579 -0.268704582 -0.466305913 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.976663773 -0.195948649 0.0879317992 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.544296141 -0.787124848 -0.290131324 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[0,3,1,4],X[8,3,9,2],X[4,7,5,6],X[1,8,2,7],X[9,6,10,5]]; 0.509162245 -0.395067121 0.764640947 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.615847741 0.549001353 -0.565092093 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.382767964 -0.915718564 0.122262818 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.73633199 0.563882985 0.373966817 k0.1 + 1 PD[]; 0.790570452 0.159923611 0.591119953 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.241569069 -0.274490459 0.930752047 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[1,8,2,7],X[8,3,9,2],X[3,6,4,5],X[9,5,10,4]]; 0.596017927 -0.158116727 -0.787249472 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.839248039 -0.4944084 -0.226325127 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.154785109 0.703188965 -0.693950178 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0400457153 -0.130423708 -0.990649281 k0.1 + 1 PD[]; 0.837981139 0.390424256 -0.38125649 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.138563926 0.884541873 0.445405111 k0.1 + 1 PD[]; 0.00903546532 -0.520722505 0.853678179 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; 0.917776259 0.115667314 0.379878679 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.981455089 -0.06964488 -0.17859311 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.950131796 -0.0333204604 0.310063408 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0523314919 -0.931580746 0.359748147 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.760505617 0.579015664 -0.293891251 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.534468523 0.785520645 0.311930625 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.159920901 0.943641647 -0.289768438 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.251417681 0.843316 -0.47498134 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.103125284 -0.891478018 -0.441171304 k0.1 + 1 PD[]; -0.143687401 0.901903504 0.407337698 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[3,6,4,5],X[6,3,7,2],X[1,8,2,7],X[4,1,5,0]]; 0.98366353 -0.166443741 -0.0685750679 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0526296174 -0.356985036 0.932626296 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[1,8,2,7],X[8,3,9,2],X[3,6,4,5],X[9,5,10,4]]; 0.694591334 0.323130878 -0.642751363 k5.8m - A^(-24) - A^(-22) + A^(-20) + 2*A^(-18) - 2*A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[9,3,10,2],X[3,11,4,10],X[11,5,12,4],X[8,5,9,6]]; 0.37400914 -0.856800423 0.354979152 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.122766798 0.481527617 0.86778999 k0.1 + 1 PD[]; 0.235644649 0.852290671 -0.466982026 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.0315460004 0.619627669 0.784261692 k0.1 + 1 PD[]; 0.834035611 0.359295008 0.418678513 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.973234343 -0.229313977 -0.0151661802 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.656599093 0.747972393 -0.097030567 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[5,3,6,2],X[4,9,5,8],X[9,4,10,3],X[1,8,2,7]]; -0.0822497289 -0.149550072 0.985327234 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[12,0,13,1],X[18,2,19,1],X[16,8,17,7],X[20,16,21,15],X[8,18,9,17],X[2,20,3,19],X[9,5,10,6],X[4,14,5,13],X[21,7,22,6],X[10,14,11,15],X[3,11,4,12]]; -0.0262976135 -0.104685723 -0.994157601 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.110816747 0.979715541 0.166964391 k0.1 + 1 PD[]; -0.00270262498 0.64938769 -0.76045271 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.572300668 0.192659103 0.797091221 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.938987705 0.343003906 -0.0255031339 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.766295007 0.642272871 0.0166589743 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.11112754 -0.865738909 -0.488002881 k0.1 + 1 PD[]; 0.200710756 0.957611882 -0.206626901 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.0411452813 0.240460138 -0.969786568 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[0,12,1,13],X[14,4,15,3],X[16,22,17,21],X[10,4,11,5],X[7,21,8,20],X[1,19,2,18],X[13,11,14,12],X[19,3,20,2],X[6,16,7,15],X[17,9,18,8],X[5,9,6,10]]; 0.926429136 -0.360897871 -0.10715308 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.918968603 0.203912818 0.337514843 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.337432007 0.679636724 -0.651332146 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.396703123 -0.68526878 -0.610764546 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,4,2,3],X[7,3,8,2],X[6,5,7,4]]; -0.989432483 -0.0549032785 0.134197585 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.874533671 -0.394691867 -0.281796361 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.740155511 0.49507713 -0.455047751 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0263283553 0.825129809 0.564329351 k0.1 + 1 PD[]; -0.47961896 -0.852642485 0.207283491 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.317085252 0.889011406 0.3303266 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.876282192 -0.443894683 -0.187315322 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.812740521 0.577739835 -0.0752962702 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.454455321 0.52049397 0.722880618 k0.1 + 1 PD[]; -0.905455943 -0.381121423 -0.186804701 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.861618367 0.248831879 0.442375955 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[3,2,4,1],X[2,8,3,7],X[4,7,5,6]]; -0.792923683 -0.536960136 0.288003203 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.161435626 -0.0360180629 -0.986225754 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[0,12,1,13],X[13,11,14,12],X[6,22,7,21],X[17,9,18,8],X[20,4,21,3],X[7,17,8,16],X[14,2,15,1],X[2,20,3,19],X[10,4,11,5],X[15,19,16,18],X[5,9,6,10]]; 0.810827202 -0.565460377 0.151042411 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.337395701 0.646089481 -0.684640434 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0244594372 -0.403256077 0.914760227 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; 0.953201709 0.0382668618 0.299903566 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.938518976 0.0962846115 -0.331528891 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.640296076 -0.746214637 0.182166543 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.130464819 -0.668305045 0.732357356 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0803405227 0.871583935 0.48361849 k0.1 + 1 PD[]; -0.919448222 0.37704631 -0.111584265 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.602614785 0.685163788 0.409152789 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[5,10,6,9],X[6,5,7,4],X[3,0,4,1],X[7,2,8,1],X[2,9,3,8]]; -0.487943515 0.0630059635 0.870598285 UNKNOWN - A^(-24) - 2*A^(-22) + 4*A^(-18) + 2*A^(-16) - 2*A^(-14) - 3*A^(-12) + 3*A^(-8) + 2*A^(-6) - 2*A^(-2) - 1 + A^(4) PD[X[15,1,16,0],X[1,23,2,22],X[23,3,24,2],X[3,25,4,24],X[18,14,19,15],X[8,20,9,19],X[11,9,12,10],X[7,13,8,14],X[5,17,6,16],X[17,7,18,6],X[25,11,26,10],X[4,21,5,22],X[12,20,13,21]]; -0.00787855744 -0.250109907 -0.968185397 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.0416673208 0.853655624 0.51916848 k0.1 + 1 PD[]; -0.866668648 -0.295604939 0.401874575 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.212898854 -0.976625756 -0.0296008717 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.0625823648 0.990469791 -0.122690833 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.661670548 0.368012166 -0.65326804 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.755792268 0.645435517 -0.110413049 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.843148829 -0.210261108 -0.494863939 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,4,2,3],X[7,3,8,2],X[6,5,7,4]]; 0.801528204 -0.188402641 0.567500646 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.946936897 0.21194709 -0.241638042 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.139040396 -0.885148672 -0.444049093 k0.1 + 1 PD[]; 0.499216418 0.722886968 -0.477721048 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.740029957 -0.520547467 0.425894351 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.862377113 -0.46317735 0.204383116 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.828704616 -0.164346596 0.535012949 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.94964065 -0.254602109 0.182648303 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.916415411 0.386973009 -0.102150303 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.649236932 0.224635612 -0.726656899 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0947907481 0.860787192 0.500060121 k0.1 + 1 PD[]; -0.860321062 -0.138364786 0.490614773 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.201193102 -0.625220735 -0.754069207 k5.7 - A^(-12) + 2*A^(-8) + A^(-6) - 2*A^(-4) - 2*A^(-2) + 2 + 2*A^(2) - A^(6) PD[X[12,2,13,1],X[3,11,4,10],X[11,5,12,4],X[2,5,3,6],X[0,10,1,9],X[8,6,9,7],X[7,13,8,14]]; 0.610890487 0.674746065 0.414162481 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.794896907 -0.590739689 0.138439616 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.824469543 0.565691908 -0.0155768595 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.526871882 -0.740019725 0.418063185 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.024084116 -0.812812287 -0.582027613 k0.1 + 1 PD[]; 0.446920334 -0.376056501 -0.81169189 k0.1 + 1 PD[]; 0.610748767 0.138441146 0.779628112 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.280020896 0.383295807 -0.880154885 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[2,9,3,8],X[5,4,6,3],X[4,10,5,9]]; -0.843415458 -0.1104272 0.525791022 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.728779647 -0.557414772 0.397704661 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.910528902 -0.196070567 0.3639965 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.609192188 0.320578924 0.725337185 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]];