#projection.x projection.y projection.z knotoid_type polynomial PD_code 0.636977657 0.729922322 0.247937228 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.143086637 -0.635056069 0.759098152 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.717291618 0.67570909 -0.170029293 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.327865017 0.299647726 0.895944067 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,6,3,5],X[0,4,1,3],X[4,2,5,1]]; -0.822807735 -0.541084202 0.173825536 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.996687123 0.0314729222 0.0749948998 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.0565749295 0.994018775 0.0934128095 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[8,1,9,0],X[1,8,2,7],X[2,4,3,5],X[3,12,4,11],X[5,11,6,10],X[9,7,10,6]]; -0.439777435 0.0826102894 -0.894299361 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[4,2,5,1],X[7,3,8,4],X[2,8,3,9],X[6,0,7,1],X[15,6,16,5],X[9,13,10,12],X[13,11,14,10],X[11,15,12,14]]; 0.90896169 0.150261816 -0.388857343 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.120242391 -0.951562255 -0.28296827 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.709693477 0.492780269 0.50349059 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.219504106 -0.696751389 -0.682902225 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.57880532 0.6515661 0.490352952 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.754452221 0.572556409 -0.320906535 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.255874641 0.78432557 -0.565120843 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[6,1,7,0],X[15,11,16,10],X[3,9,4,8],X[4,2,5,1],X[5,8,6,7],X[9,3,10,2],X[11,15,12,14],X[12,18,13,17],X[16,14,17,13]]; 0.336946925 -0.687840349 0.642917121 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.302463712 0.88357052 -0.357517606 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.777440205 0.510130543 0.367904277 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.641128485 0.278664543 0.715052682 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.457626582 0.816611272 -0.351744143 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.67557687 -0.591891777 0.439613486 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.162971771 -0.045937097 -0.985560746 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.24548462 0.244139443 -0.938154163 UNKNOWN - A^(-32) + 2*A^(-28) + 2*A^(-26) - A^(-24) - 4*A^(-22) + 2*A^(-18) - 2*A^(-14) + 2*A^(-10) + A^(-8) PD[X[8,1,9,0],X[3,8,4,7],X[4,9,5,10],X[19,12,20,13],X[21,6,22,5],X[20,2,21,1],X[11,2,12,3],X[6,11,7,10],X[16,14,17,13],X[14,18,15,17],X[18,16,19,15]]; -0.0721446109 0.013762997 -0.99729922 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.627267335 0.623958885 0.466059009 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.898239689 -0.316590605 0.304853816 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.547299074 0.248507889 0.799191812 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.718509232 -0.611554397 -0.33127889 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.0780394922 0.546138797 0.834051708 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[5,1,6,0],X[3,2,4,1],X[2,16,3,15],X[4,15,5,14],X[6,14,7,13],X[7,11,8,10],X[11,9,12,8],X[9,13,10,12]]; -0.172040658 -0.957992433 -0.229461349 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.968055444 0.218854561 0.122357418 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.166848241 0.943620478 0.28590568 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[4,1,5,0],X[1,4,2,3],X[5,3,6,2]]; -0.339260615 0.328405892 0.88150542 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.0912322391 0.524481554 0.846519804 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[4,10,5,9],X[7,11,8,10],X[8,6,9,5],X[3,7,4,6]]; 0.671623349 -0.314858944 -0.670660811 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.707906875 -0.140712665 0.69214724 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.748771827 0.0954020438 0.655926216 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.608657313 0.038562672 -0.79249555 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,3,6,2],X[3,1,4,0],X[1,5,2,4]]; 0.17355063 0.19515708 0.965294718 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,10,3,9],X[7,20,8,19],X[8,7,9,6],X[1,18,2,19],X[0,5,1,4],X[3,5,4,6],X[10,16,11,15],X[14,12,15,11],X[17,13,18,12],X[13,17,14,16]]; -0.407008784 0.0495565036 -0.912078945 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.966308942 0.254285905 0.0398209351 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.958703909 -0.257256614 0.12126768 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.925189851 -0.300284659 -0.232062195 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.413636166 -0.60077539 -0.68408629 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.328379136 -0.0756009593 0.941515607 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,9,2,10],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; 0.17763069 -0.161036774 -0.970831858 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.177731129 -0.920906871 -0.346903706 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3],X[6,4,7,5],X[7,6,8,5]]; 0.626973059 0.506008688 0.592334358 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.573125731 0.721464886 0.388606891 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.476222996 0.285986056 0.831518872 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.236548618 -0.50266658 0.831487258 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.934185522 0.342099143 -0.101319231 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.484760436 -0.766495821 0.421297372 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.075508659 -0.0385594548 -0.996399323 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.609091562 -0.575508111 0.545708607 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.614604449 -0.32328847 0.719545646 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.370515083 -0.155935605 0.915643304 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.441405575 0.708412535 0.550738412 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.044529276 -0.311916138 0.949065575 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,14,7,13],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; -0.664986549 -0.589226365 0.458917401 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.141398622 -0.46970915 0.871423975 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.937102529 -0.126734575 -0.325234066 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.511914189 -0.434783004 -0.740882988 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.39344229 -0.83012924 0.39508051 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.162370932 0.676534397 0.71828747 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.691924508 -0.655360911 -0.30289033 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.458783084 0.826309797 -0.326695884 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.546126322 0.746725953 -0.379666158 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.194694153 -0.185807236 -0.963104282 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[6,9,7,8],X[18,1,19,2],X[19,8,20,7],X[4,1,5,0],X[9,3,10,2],X[5,3,6,4],X[15,11,16,10],X[11,15,12,14],X[12,18,13,17],X[16,14,17,13]]; -0.436647651 0.717878387 0.54220794 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.187503898 0.871879155 0.452403611 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.47889085 0.824145558 -0.30240313 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.137583245 -0.296602534 0.945038511 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; -0.264532836 -0.945433146 -0.190206587 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.127166919 -0.205440086 0.970372581 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.569206559 0.677563595 -0.465737553 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.808405796 0.571004991 0.142945336 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.694942899 0.442297148 0.566945852 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.594815539 0.163581404 -0.787042311 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[9,7,10,6],X[11,9,12,8],X[7,11,8,10]]; 0.575930096 0.559450057 0.596087375 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.653552116 -0.740242263 0.157832263 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.443821438 0.565654466 -0.695023421 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.606948913 0.152007507 -0.780068417 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,3,6,2],X[3,1,4,0],X[1,5,2,4]]; -0.479246415 -0.80108293 0.358593101 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.32950913 0.2579083 0.908243933 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[4,1,5,0],X[1,4,2,3],X[2,11,3,12],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; 0.731591398 0.495656627 0.468079623 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.0705506133 0.738517885 0.670532582 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7]]; 0.490974442 0.858951626 0.145417335 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.380733268 -0.207051549 0.901205767 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.700291894 0.620213086 -0.353450124 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.847707005 0.529565464 -0.030874785 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.811596993 -0.258238734 -0.524044918 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.150899704 -0.538612319 -0.828930666 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[9,7,10,6],X[10,4,11,3],X[5,9,6,8],X[7,5,8,4]]; -0.032640868 -0.98896066 -0.144538532 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,5,1,4],X[3,2,4,1],X[2,6,3,5]]; 0.327252508 0.636115259 -0.698758308 UNKNOWN - A^(-38) - 2*A^(-36) + 2*A^(-34) + 8*A^(-32) + 4*A^(-30) - 9*A^(-28) - 11*A^(-26) + A^(-24) + 7*A^(-22) - 5*A^(-18) + A^(-16) + 6*A^(-14) + 4*A^(-12) - A^(-10) - 2*A^(-8) - A^(-6) PD[X[5,2,6,1],X[10,9,11,8],X[3,1,4,0],X[2,5,3,4],X[7,13,8,12],X[23,14,24,15],X[9,14,10,13],X[11,7,12,6],X[25,15,26,16],X[22,24,23,25],X[19,17,20,16],X[17,21,18,20],X[21,19,22,18]]; -0.198168843 -0.523083035 0.828922945 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,9,7,8],X[10,17,11,18],X[9,8,10,7],X[14,12,15,11],X[12,16,13,15],X[16,14,17,13]]; 0.836233448 -0.373600856 0.401417513 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.869008212 0.273988666 0.412013274 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.330837601 0.880254457 0.340144929 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.961814169 -0.252857075 -0.10477024 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.910770026 -0.148251371 -0.385382267 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.956581143 -0.11492467 0.267852266 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.344846304 0.103300259 -0.932957707 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.415410824 0.726395154 -0.547525275 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.439113177 0.0780810615 0.895032383 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.206024565 0.423587005 -0.882115598 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[15,6,16,7],X[12,8,13,7],X[8,12,9,11],X[9,15,10,14],X[13,11,14,10]]; 0.83268168 -0.414419605 -0.3672841 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.880923075 0.0104403067 -0.473144308 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.417876971 -0.169653899 0.892522488 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.745270569 0.0131258491 0.666632951 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.616993311 0.742918545 -0.259598325 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.0877850467 0.864610995 0.494713668 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.724776038 -0.325951053 -0.607005441 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.294163168 -0.337650091 -0.894125521 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.0430402489 -0.80363921 0.593558385 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.569134885 -0.144746461 0.80940345 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.464093729 -0.792540459 0.395596551 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.704605469 -0.476941573 0.525412095 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.507190492 0.592468524 -0.625890448 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[3,2,4,1],X[7,2,8,3],X[4,7,5,6],X[11,17,12,16],X[17,8,18,9],X[14,10,15,9],X[10,14,11,13],X[15,13,16,12]]; -0.5366452 0.727602543 0.427324782 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.780931566 0.533664835 -0.324573156 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.92472803 -0.210076498 -0.317405003 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.490205826 0.42768091 0.759465132 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.477333823 -0.0759331157 0.875435082 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[6,10,7,9],X[4,8,5,7],X[8,6,9,5]]; -0.580880188 0.468541588 -0.665617749 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.383024705 0.306570224 -0.871382105 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.107854311 0.743324718 0.660178621 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.225170006 0.94855467 0.222581458 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[4,1,5,0],X[1,4,2,3],X[5,3,6,2]]; -0.344388951 0.785475454 0.514222288 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.826190558 0.202079532 -0.525902105 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.680010072 0.560887104 0.472220244 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.732174554 -0.380144749 0.565164041 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.525760294 0.836680032 0.153436102 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,8,7,9],X[7,10,8,9]]; 0.455596583 0.0343683509 0.889522664 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,6,1,7],X[1,5,2,4],X[8,2,9,3],X[3,7,4,8],X[5,16,6,15],X[12,10,13,9],X[10,14,11,13],X[14,12,15,11]]; 0.207052999 -0.97570399 0.0716294651 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.85765252 -0.0860769531 -0.506974272 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.140771094 0.957844863 -0.25043306 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.714451136 0.422473104 -0.55774192 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.617487546 -0.0444420699 -0.785324158 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.26175427 0.964914824 0.0205933014 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.20154947 -0.592642407 0.779841515 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[0,5,1,4],X[1,7,2,6],X[7,3,8,2],X[5,4,6,3],X[8,14,9,13],X[12,10,13,9],X[15,11,16,10],X[11,15,12,14]]; 0.710501117 0.645018518 -0.281317034 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.0954006837 -0.139376162 -0.985633296 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[15,1,16,2],X[14,5,15,4],X[6,3,7,2],X[3,8,4,7],X[5,0,6,1],X[11,9,12,8],X[9,13,10,12],X[13,11,14,10]]; 0.0305001225 0.695232045 -0.718137971 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,6,3,5],X[0,4,1,3],X[4,2,5,1]]; -0.0789548273 0.190594495 -0.978488566 UNKNOWN - A^(-32) + 2*A^(-28) + 2*A^(-26) - A^(-24) - 4*A^(-22) + 2*A^(-18) - 2*A^(-14) + 2*A^(-10) + A^(-8) PD[X[6,1,7,0],X[19,4,20,3],X[2,7,3,8],X[1,6,2,5],X[18,9,19,10],X[4,9,5,8],X[15,11,16,10],X[11,15,12,14],X[12,18,13,17],X[16,14,17,13]]; 0.111381753 0.893763145 0.434489984 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.0808482518 -0.762292733 -0.642163024 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.0233021566 0.461520932 -0.886823229 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[8,7,9,6],X[7,10,8,9],X[15,11,16,10],X[11,15,12,14],X[12,18,13,17],X[16,14,17,13]]; 0.360346712 -0.822286861 -0.440448141 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.431313433 0.866874562 0.249994432 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.932316826 0.348896091 0.095167506 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.955960357 -0.257277227 0.141238182 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.223346847 0.973976043 -0.0385597483 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.818430762 0.55540388 -0.147301112 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.490013243 -0.0184235249 -0.871520279 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[5,3,6,2],X[1,5,2,4]]; -0.64171732 0.736285509 -0.214668422 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.00581997971 -0.511143198 0.859475863 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,3,1,2],X[4,7,5,6],X[3,2,4,1],X[7,6,8,5],X[11,9,12,8],X[9,13,10,12],X[13,11,14,10]]; 0.340751875 0.836689212 0.428764879 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.0428917881 -0.807987315 -0.587636617 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; -0.434720941 -0.141019421 -0.889455579 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.684739716 -0.65680624 -0.315811788 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.323341957 -0.614732481 -0.719412229 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.104267872 0.191083981 -0.976020042 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[3,1,4,2],X[13,4,14,5],X[10,6,11,5],X[6,10,7,9],X[7,13,8,12],X[11,9,12,8]]; -0.196244744 -0.951922751 0.235225587 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.938022488 0.309396142 -0.15616606 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.140338002 0.777450307 -0.613087486 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.379868101 -0.505371956 -0.774789915 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[7,5,8,4],X[2,6,3,5],X[3,1,4,0]]; 0.706403485 -0.287768994 0.646670799 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.0836513689 0.759547197 0.645050776 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; -0.445205977 -0.891496876 0.0838150247 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.146804781 -0.96689935 0.208695959 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.971549706 0.0435505712 -0.232797157 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.157863533 0.70852117 -0.687805827 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[6,1,7,0],X[8,2,9,1],X[17,2,18,3],X[10,4,11,3],X[4,10,5,9],X[5,8,6,7],X[11,15,12,14],X[15,13,16,12],X[13,17,14,16]]; -0.154991414 0.0146223742 -0.987807597 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; -0.00650948013 0.9621221 -0.272541174 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.205807992 0.947772252 0.243661297 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.117819397 -0.303087149 -0.945651506 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[2,1,3,0],X[1,4,2,3],X[4,7,5,6],X[13,6,14,5],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; -0.910348636 0.27689996 -0.307557757 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.988262576 0.124765867 -0.0881507727 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.146194667 0.609288646 0.779355159 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[4,8,5,7],X[6,10,7,9],X[8,6,9,5],X[3,11,4,10]]; 0.547677852 -0.217983105 -0.807794736 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,3,6,2],X[3,1,4,0],X[1,5,2,4]]; -0.054513759 -0.878689396 -0.474271226 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.453025641 0.705703982 0.544747334 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.720236143 -0.116289377 0.683912771 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.06006114 -0.0853975808 0.994535023 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.313920362 0.413942576 -0.854462141 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.943633201 -0.0649505522 0.324557866 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.7120776 -0.536817736 -0.452517635 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.614120199 0.145487525 -0.775686638 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.797130349 -0.603344168 -0.0236436599 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.432014996 -0.0109071312 0.901800464 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[1,7,2,8],X[8,2,9,3],X[4,6,5,7],X[5,16,6,15],X[12,10,13,9],X[10,14,11,13],X[14,12,15,11]]; 0.0243622325 -0.394426096 0.918604668 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,14,7,13],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; -0.280910414 -0.332528982 -0.900285408 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.96450918 0.0217024376 0.263155935 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.749540816 0.316215419 0.581546537 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.195815242 -0.349357748 0.916299926 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.33658397 0.941343482 -0.024159478 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.868828085 0.305486294 -0.389635577 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.517068264 -0.25293756 0.817718167 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.219882916 0.334348873 -0.916440033 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[2,5,3,4],X[5,2,6,1],X[15,6,16,7],X[12,8,13,7],X[8,12,9,11],X[9,15,10,14],X[13,11,14,10]]; 0.328983178 0.433592681 -0.838908491 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[3,1,4,0],X[8,7,9,6],X[5,2,6,1],X[2,5,3,4],X[7,10,8,9],X[17,10,18,11],X[11,15,12,14],X[15,13,16,12],X[13,17,14,16]]; 0.857872854 0.302363319 0.415488375 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.772742442 0.457960259 0.439478691 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.393454191 -0.815022386 0.425361387 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.674914417 0.717917462 -0.170543387 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.992792161 -0.0840956022 0.0853911857 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.871026836 0.137198372 -0.471687245 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.85508951 0.245981722 0.456415296 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.75006565 0.646996841 0.137100726 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.154675006 0.717065355 -0.679627045 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[4,1,5,0],X[6,2,7,1],X[2,8,3,7],X[3,6,4,5],X[8,12,9,11],X[12,10,13,9],X[10,14,11,13]]; -0.742854832 -0.219044869 0.632602596 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; -0.869475799 0.28240563 -0.405288657 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.856425293 0.115198262 -0.503254486 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.000338938392 -0.646888901 0.762584182 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.417157985 -0.753027786 0.508850046 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.396047715 0.317153449 -0.861719152 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.584115177 -0.793764172 0.169552055 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.600628028 0.793105504 0.101141639 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.806863326 -0.18031305 -0.562546689 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.527034456 -0.782130802 0.332424565 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.0153916408 0.0160589756 0.999752573 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.828014014 0.268161703 0.492424709 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.156364745 0.268836945 0.950408735 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[1,4,2,3],X[9,6,10,5],X[0,8,1,9],X[4,8,5,7],X[6,19,7,18],X[2,19,3,20],X[10,16,11,15],X[14,12,15,11],X[17,13,18,12],X[13,17,14,16]]; 0.453437578 0.692855855 -0.560664898 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.266474518 -0.88348813 0.385279192 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.442907417 -0.352517992 -0.824356771 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.324795507 -0.601960326 -0.729487248 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; -0.793299728 -0.597299421 -0.11793618 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.204932215 0.433726951 -0.877430179 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.0413079727 -0.88821077 0.457575436 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.703893284 -0.708308577 -0.0532278619 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.732461859 -0.615577233 0.290799407 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.356976129 -0.919090672 0.166854369 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.985598282 -0.159473816 0.0562505852 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.481252555 0.875349879 -0.0464603836 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.0154834719 -0.986018371 0.165915745 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.575322269 -0.498477215 0.648478799 UNKNOWN + A^(-26) - A^(-24) - 3*A^(-22) + A^(-20) + 4*A^(-18) + A^(-16) - 4*A^(-14) - A^(-12) + 3*A^(-10) + A^(-8) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[0,8,1,7],X[1,10,2,9],X[5,3,6,2],X[10,3,11,4],X[4,11,5,12],X[8,7,9,6],X[12,19,13,20],X[13,17,14,16],X[17,15,18,14],X[15,19,16,18]]; -0.0936289192 -0.933049572 0.347350142 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.900602459 -0.0756382575 -0.428011758 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.336511755 -0.881023293 -0.332502324 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.444971722 0.808041531 -0.386094613 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.427695899 0.742275552 0.51585194 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.378115744 0.577635249 0.723440394 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.780237647 0.617363768 0.100454922 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.70057613 -0.187396888 0.688531403 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.144565252 0.733061212 0.664621808 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3]]; 0.0279042745 0.999604325 0.00354186539 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[4,1,5,0],X[5,3,6,2],X[1,4,2,3]]; -0.838600628 -0.139668738 -0.526537397 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.118307647 0.569775588 -0.813239866 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[3,8,4,7],X[4,1,5,0],X[1,6,2,5],X[6,3,7,2]]; -0.232009053 0.616090135 -0.752731523 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.525325721 -0.140403369 0.839237619 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; -0.196793698 -0.277702713 -0.940294339 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[19,8,20,7],X[4,1,5,0],X[9,3,10,2],X[6,9,7,8],X[18,1,19,2],X[5,3,6,4],X[15,11,16,10],X[11,15,12,14],X[12,18,13,17],X[16,14,17,13]]; 0.131372911 0.923892721 0.359393098 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[4,1,5,0],X[1,4,2,3],X[5,3,6,2]]; -0.595224174 0.736575585 -0.321192452 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.558738006 0.761721637 0.328012177 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.614403631 -0.138698877 0.776705092 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.36178141 -0.873836649 0.32484415 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.492207565 0.744609781 -0.450874691 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.441368101 0.897047207 0.0223720134 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.130543847 -0.48387241 -0.865347211 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.147133616 -0.97594177 0.160901713 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.345889236 0.294506995 -0.89085704 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.909500846 0.343500715 -0.234127039 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.982173975 -0.0207110767 -0.186829693 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.381194969 0.910617397 0.159581801 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.378957031 0.799702231 0.465690787 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[5,2,6,1],X[2,7,3,6],X[4,7,5,8]]; 0.845097648 0.17857219 0.503906677 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.941393129 0.134992446 0.309121361 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.773783489 0.58024841 0.254108037 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.683509936 -0.173595183 -0.708998505 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.179046739 0.831091293 0.526525905 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.523553556 0.234987861 -0.818945895 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.733208362 0.158504691 0.661272834 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.448989585 -0.343438681 0.824898918 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.284952355 -0.619578087 -0.731385774 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.944797899 0.152508743 -0.289996575 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.469006587 0.819602814 0.329065416 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1],X[4,7,5,6],X[5,7,6,8]]; -0.419503105 -0.121177017 0.899629521 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[2,6,3,5],X[4,2,5,1]]; 0.0470878653 0.797457545 -0.601534868 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.899446953 0.405226911 -0.163665294 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.107418017 -0.987164667 0.118183293 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.348687092 0.0948818952 -0.932424119 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.34143984 -0.738037466 0.581996164 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.485145423 -0.73414597 0.475040644 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.246404419 -0.269813022 0.930852188 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,13,7,14],X[7,11,8,10],X[11,9,12,8],X[9,13,10,12]]; 0.994541314 -0.10309345 0.0161032747 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.425726222 0.66947974 0.608731518 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.211087243 -0.0338413623 0.97688123 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.111624283 0.990786405 -0.076696279 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.364463456 0.300749633 0.881314954 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.973899127 0.163687412 -0.157247962 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.605898196 0.790879133 0.0860091466 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.0784447672 0.414433796 -0.906692367 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[13,7,14,6],X[7,11,8,10],X[11,9,12,8],X[9,13,10,12]]; 0.0354377449 0.0297739047 0.998928266 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.951853989 -0.306424635 0.00882765464 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.538222864 -0.163489523 -0.826793399 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.526995824 -0.24084753 0.815026299 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.226710056 0.312153714 -0.922584744 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.0298878541 0.0312388085 -0.999064989 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.045436451 -0.083945523 -0.995433914 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.897626413 -0.356227478 0.259555018 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.866010929 0.25048485 -0.432761378 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.613685617 0.658199913 -0.436076642 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.240746098 0.783412532 0.572980036 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.4076396 -0.654919592 -0.636325612 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[7,5,8,4],X[2,6,3,5],X[3,1,4,0]]; 0.809871211 0.552986813 0.19574015 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.784877542 0.3556659 -0.507414043 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.940048885 0.00982437166 0.340898189 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.167622331 0.358600838 -0.918318133 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[15,6,16,7],X[12,8,13,7],X[8,12,9,11],X[9,15,10,14],X[13,11,14,10]]; 0.602959143 -0.163716013 0.780792763 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.0478092191 -0.142985256 0.988569418 UNKNOWN - A^(-32) + 2*A^(-28) + 2*A^(-26) - A^(-24) - 4*A^(-22) + 2*A^(-18) - 2*A^(-14) + 2*A^(-10) + A^(-8) PD[X[0,3,1,4],X[11,6,12,5],X[8,3,9,2],X[9,4,10,5],X[10,21,11,22],X[1,8,2,7],X[6,21,7,20],X[12,18,13,17],X[16,14,17,13],X[19,15,20,14],X[15,19,16,18]]; 0.684157448 -0.690621277 0.234458605 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.602327625 0.733104715 0.315846338 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.770471957 0.0612313683 -0.634526345 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.956862817 -0.121887242 -0.263736703 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.878354798 0.434663496 -0.198898199 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.0346353811 -0.772973505 0.633492187 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[2,5,3,4],X[5,2,6,1]]; -0.355364037 -0.889418275 -0.287491797 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,6,9,7],X[9,8,10,7]]; 0.913791736 0.25013855 0.320024014 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.768861518 -0.639294279 -0.0124415122 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.16139548 0.973378674 0.162743526 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.789415668 -0.56761513 0.233743379 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.855747318 -0.338792884 -0.391044639 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.867079007 -0.367951662 0.335835631 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.185665977 0.974343586 0.127211329 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.0698634243 0.635241413 -0.769147222 UNKNOWN + A^(-38) + A^(-36) - 2*A^(-34) - 2*A^(-32) + A^(-30) + 2*A^(-28) - A^(-26) - 3*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[5,1,6,0],X[4,7,5,6],X[12,9,13,8],X[2,8,3,7],X[3,2,4,1],X[11,18,12,17],X[10,15,11,14],X[16,14,17,13],X[15,10,16,9]]; 0.807854102 -0.555886912 0.195860894 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.722093835 -0.0572409723 0.689422922 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.76795613 -0.298017079 -0.566947266 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.422116955 0.463422466 -0.779138559 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.241754441 0.951043666 0.192537623 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.561414886 0.781947255 -0.270872326 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.391189942 -0.848437382 0.356545142 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.117115528 0.801379842 -0.58657847 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.434140598 0.76418007 -0.47702281 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.424407544 -0.800211036 -0.423722237 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.274786825 -0.897174384 -0.345789424 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.522851452 0.213558056 0.825238944 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[2,6,3,5],X[4,2,5,1]]; -0.198841494 -0.775544694 -0.599159818 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.0542379826 0.41131993 0.909875902 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,10,2,9],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.38025509 -0.762992927 0.522731155 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.64977221 0.701846465 -0.291903434 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.502553219 0.125585428 -0.85537627 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.593313256 0.653063942 0.470623913 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.0872249755 0.751678961 0.653735836 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.335486577 0.922890939 -0.18900019 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.0770125238 0.00337431865 0.997024416 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.422304939 -0.466997729 0.776898745 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.436103553 0.524283506 0.731396265 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.662615809 -0.699293437 0.268195786 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.671054314 0.716037617 -0.192292064 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.26531622 -0.641828621 -0.719488238 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.261665096 0.963510498 0.0563817201 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.127800234 -0.418371381 0.89923995 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,13,7,14],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; -0.276514102 -0.91081483 -0.306522914 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.122049244 0.967395773 -0.221922059 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.0604707371 0.813622745 0.578239846 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.874874886 0.0203340645 0.483921956 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.215195039 0.390270168 -0.895198464 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[15,6,16,7],X[12,8,13,7],X[8,12,9,11],X[9,15,10,14],X[13,11,14,10]]; 0.523938721 0.393378304 -0.755474504 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[11,4,12,5],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; -0.205661285 0.975928048 -0.0725801624 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.217614706 0.950028185 0.223808595 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.908384818 -0.403118094 0.111053252 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.958797871 0.185643882 0.215041835 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.282958673 0.702054561 -0.653493522 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[4,1,5,0],X[6,2,7,1],X[2,8,3,7],X[3,6,4,5],X[15,8,16,9],X[9,13,10,12],X[13,11,14,10],X[11,15,12,14]]; 0.350030072 0.784730773 -0.511543315 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.220396526 -0.729898248 0.647050168 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 3*A^(-20) - A^(-18) + 2*A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,6,1,5],X[7,4,8,3],X[12,19,13,18],X[11,16,12,15],X[2,5,3,4],X[6,2,7,1],X[16,11,17,10],X[17,15,18,14],X[9,19,10,20],X[8,13,9,14]]; 0.870187781 0.267815478 0.413579612 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.672352868 -0.740217622 -0.00441511255 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.515543465 -0.567197327 -0.642263285 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.0440527898 -0.764684578 0.64289723 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,4,2,3],X[4,10,5,9],X[0,2,1,3],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; 0.444246398 -0.895245309 -0.0343653094 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.977421672 0.209634337 -0.0264635696 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.384402248 0.831327543 -0.401409302 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.927716085 -0.083123692 -0.363913887 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.862459598 -0.43191269 -0.263846302 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.227130322 0.897197597 -0.378745677 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.189232625 -0.286321672 0.939260834 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,13,7,14],X[7,11,8,10],X[11,9,12,8],X[9,13,10,12]]; 0.683773531 -0.343134888 0.643981527 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.782394907 0.182476619 0.595449824 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.634279613 -0.557369097 -0.535750933 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.083475535 0.866050679 -0.492938187 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[9,6,10,7],X[12,8,13,7],X[8,14,9,13],X[10,16,11,15],X[14,12,15,11]]; 0.248906576 0.941283394 0.228103242 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,8,7,9],X[7,10,8,9]]; 0.392972819 0.908535004 0.141903172 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.909733904 -0.26854067 -0.316654595 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.222764329 0.682329045 -0.696278054 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[5,1,6,0],X[3,2,4,1],X[15,8,16,9],X[2,8,3,7],X[4,7,5,6],X[9,13,10,12],X[13,11,14,10],X[11,15,12,14]]; 0.409065428 0.875890669 0.255892576 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.555794579 0.300671057 -0.775041484 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.451846874 0.650735737 0.610227338 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.622171993 -0.0850809268 -0.778243694 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.187507516 0.981858141 -0.0282049892 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.58985085 0.588643315 -0.552788406 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.210410674 -0.858642528 -0.46739743 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.523611583 -0.452841043 0.721641116 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[4,11,5,12],X[5,9,6,8],X[9,7,10,6],X[7,11,8,10]]; -0.493278995 0.855018062 0.160062322 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.253355718 0.649285444 0.717104799 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.164611926 -0.878998128 0.447510005 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.745182927 -0.0945005969 -0.660130323 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.0795354142 0.427803763 0.900365514 k7.9 - A^(-30) - A^(-28) + 3*A^(-26) + 3*A^(-24) - 2*A^(-22) - 4*A^(-20) + 3*A^(-16) - A^(-14) - 2*A^(-12) + 2*A^(-8) + A^(-6) PD[X[9,1,10,0],X[1,17,2,16],X[2,7,3,6],X[7,4,8,3],X[4,17,5,18],X[8,5,9,6],X[13,11,14,10],X[11,15,12,14],X[15,13,16,12]]; -0.119012712 -0.463654962 0.877986361 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,9,7,8],X[9,8,10,7],X[10,14,11,13],X[12,16,13,15],X[14,12,15,11]]; 0.526896851 -0.831476682 0.176142656 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.560778414 -0.445599973 0.697831093 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.730446869 -0.133518844 -0.669791079 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.312275156 0.949779661 0.0200704206 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.185628816 0.295237178 0.937217665 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[6,10,7,9],X[4,8,5,7],X[8,6,9,5]]; -0.43934309 -0.643526522 0.626778481 k12.1 - A^(-42) - A^(-40) + 3*A^(-38) + 4*A^(-36) - A^(-34) - 5*A^(-32) - 2*A^(-30) + 2*A^(-28) - 2*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[4,10,5,9],X[5,8,6,7],X[11,7,12,6],X[0,3,1,2],X[10,9,11,8],X[3,2,4,1],X[12,16,13,15],X[16,14,17,13],X[14,18,15,17]]; 0.0439365424 -0.0888908638 0.995071854 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,3,2,4],X[4,11,5,12],X[5,9,6,8],X[9,7,10,6],X[7,11,8,10]]; 0.738230634 0.445655713 0.50636599 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.68247783 -0.223552093 0.69587964 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.887061707 0.413869431 0.204532691 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.432618432 0.285656798 0.855126591 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.187787629 0.82851373 0.527542231 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.931904664 0.347207705 -0.104883302 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.506127282 -0.802851343 0.315063319 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.452770135 -0.855962773 0.249653632 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.874942927 0.188460867 0.446046384 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.369656236 0.793299007 0.483767458 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.70569527 0.0632234463 -0.705689012 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.514379769 -0.845045811 0.145982983 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.0216163693 -0.349874062 0.936547315 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,14,7,13],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; -0.818739013 0.03381625 -0.573169164 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.97747346 -0.172178231 0.122066755 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.39488962 0.0760370045 0.915576628 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.558114026 -0.517718976 0.64844105 UNKNOWN + A^(-26) - A^(-24) - 3*A^(-22) + A^(-20) + 4*A^(-18) + A^(-16) - 4*A^(-14) - A^(-12) + 3*A^(-10) + A^(-8) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[0,8,1,7],X[1,10,2,9],X[5,3,6,2],X[10,3,11,4],X[4,11,5,12],X[8,7,9,6],X[12,19,13,20],X[13,17,14,16],X[17,15,18,14],X[15,19,16,18]]; 0.176971506 -0.245117103 0.953204433 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.672445916 -0.350495424 0.651896808 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.0460583784 -0.945593163 -0.32207483 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.356368902 0.395324273 -0.846593128 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[8,7,9,6],X[7,10,8,9],X[17,10,18,11],X[11,15,12,14],X[15,13,16,12],X[13,17,14,16]]; -0.780779795 0.435377776 -0.448139602 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.447837605 0.894077691 -0.0081585478 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.272171987 -0.861219349 -0.429212817 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.211948246 0.866119938 0.45267449 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.343704767 -0.220519619 0.912818783 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.991573669 0.0588223451 0.115419193 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.0398142893 0.910431043 -0.411740378 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.868020243 -0.443344966 0.22357571 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.103842267 -0.858158492 0.502773095 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.857453209 -0.341514269 0.384892191 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.539543688 -0.561368693 -0.627501234 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[7,5,8,4],X[2,6,3,5],X[3,1,4,0]]; -0.154000803 -0.789224954 0.594481054 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 3*A^(-20) - A^(-18) + 2*A^(-16) + 2*A^(-14) + A^(-12) PD[X[7,6,8,5],X[15,13,16,12],X[3,11,4,10],X[9,3,10,2],X[1,5,2,4],X[0,7,1,6],X[8,11,9,12],X[17,14,18,13],X[14,17,15,16]]; -0.551853269 0.310393091 -0.774024611 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.602778535 -0.216422764 -0.767996891 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.655774488 -0.60625196 0.449909304 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4],X[5,9,6,8]]; 0.539139533 0.678895233 0.498427353 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.181931729 -0.14523774 -0.972526012 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[9,7,10,6],X[5,9,6,8]]; -0.831528135 0.0826541405 -0.549298875 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.930496139 -0.219773233 0.293047201 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.213216274 -0.929390208 0.301285017 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.202294629 0.0386370539 -0.978562242 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.826053286 -0.333040583 0.454664644 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; -0.0956476208 0.78805485 -0.608129169 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.937455611 0.0639400667 0.342182183 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.158810019 -0.987118349 -0.0194098703 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.699990167 0.116663091 -0.704559075 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.692701254 -0.650871034 -0.310695783 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.428043684 -0.786594753 -0.445025055 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.614982775 -0.76935184 -0.17289862 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.587458377 0.709273672 0.389645369 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.615673132 -0.758967625 0.211930979 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.898085097 0.235609218 0.371391241 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.487430948 0.849186458 -0.20320785 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.311264439 0.6685039 -0.675438365 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.115270793 0.993061033 0.0232901094 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.555430477 0.828434118 0.0720687001 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.832184947 -0.52635699 0.174403365 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.0479687403 -0.944716296 0.324361096 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.356110842 -0.901282662 -0.246727847 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.199000503 0.818080814 -0.539576298 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[6,1,7,0],X[4,2,5,1],X[9,3,10,2],X[3,9,4,8],X[5,8,6,7],X[15,11,16,10],X[11,15,12,14],X[12,18,13,17],X[16,14,17,13]]; 0.0818155638 -0.0633862188 -0.994629781 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.998463084 -0.0298143957 0.0467179939 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.747059496 0.48769647 0.451723658 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.0261637599 -0.427527544 0.903623626 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,3,1,2],X[3,2,4,1],X[4,7,5,6],X[7,6,8,5],X[11,9,12,8],X[9,13,10,12],X[13,11,14,10]]; 0.911865684 -0.189355633 0.364205188 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.853314208 -0.0765072908 0.51575333 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.18572472 0.46333374 0.866503418 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[4,1,5,0],X[1,4,2,3],X[2,13,3,14],X[8,12,9,11],X[5,13,6,12],X[10,8,11,7],X[6,10,7,9]]; -0.795321273 0.403292742 -0.452569373 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.142034679 -0.582015046 -0.800677611 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[6,4,7,3],X[9,5,10,4],X[5,9,6,8],X[10,8,11,7]]; 0.893996162 0.123772871 -0.430640383 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.612065279 -0.790750868 -0.0094423783 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.189457554 -0.599641111 0.777519371 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.418229335 -0.640866908 0.643718751 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.505227836 0.625416911 0.594641507 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.629147774 0.673270983 0.388431798 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.0619153696 0.4772503 0.876583503 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,10,2,9],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.721809295 0.504017282 -0.474297292 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.368643792 -0.816076322 -0.445108067 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.191672408 0.91711453 0.349517707 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1],X[4,6,5,7],X[5,8,6,7]]; 0.118511128 -0.992933421 -0.00619152049 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.713892701 -0.685590292 0.142559333 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.84147665 0.398294792 0.365073015 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.713288587 -0.457798142 0.530697892 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[9,13,10,12],X[7,11,8,10],X[11,9,12,8],X[6,13,7,14]]; -0.232954895 -0.957886601 -0.16788471 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.658495457 0.283321259 -0.697217898 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,3,6,2],X[3,1,4,0],X[1,5,2,4]]; -0.91941135 -0.00340272589 0.393282585 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.591725662 -0.753515185 0.286488406 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.155195348 0.0159850137 0.987754465 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.702041934 0.711470242 -0.0307768942 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.97956375 0.142672115 -0.141772802 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.108332581 -0.979133366 -0.171935754 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.977769382 0.192651311 0.0827798708 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.910075589 -0.0129175556 0.414240944 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.977946698 0.144192721 0.151091743 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.234498717 -0.888902958 0.393524947 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.556493677 0.442303356 -0.703336711 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[11,4,12,5],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; -0.836698487 -0.482558695 -0.25898407 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.717387533 -0.498197231 0.486985263 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.154741727 -0.897906114 0.412091747 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.695076022 -0.700690309 0.160942268 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.434840438 0.779944485 0.450111536 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[5,2,6,1],X[2,7,3,6],X[4,7,5,8]]; -0.849876199 0.310668511 -0.425670675 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.537480049 0.802746684 -0.258288516 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.72598086 0.0310167086 0.687015106 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.842716547 0.500587692 0.198092869 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.319140812 -0.671984549 -0.668270834 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.777671575 0.0829924825 -0.623168653 UNKNOWN + A^(-26) - A^(-24) - 3*A^(-22) + A^(-20) + 4*A^(-18) + A^(-16) - 4*A^(-14) - A^(-12) + 3*A^(-10) + A^(-8) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,10],X[8,3,9,4],X[4,7,5,6],X[13,11,14,10],X[11,15,12,14],X[15,13,16,12]]; 0.479343075 0.712777587 -0.512033522 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.0819699747 -0.69392886 -0.715362608 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.407632531 0.621225152 0.669264544 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.58800834 0.80878739 -0.010447504 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.101304347 0.207843955 -0.972902009 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[3,1,4,2],X[11,4,12,5],X[5,9,6,8],X[9,7,10,6],X[7,11,8,10]]; 0.186823926 -0.56000867 -0.807147515 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.359827142 -0.808074429 0.466411992 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.0499414727 0.230244035 -0.971850572 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[5,2,6,1],X[15,7,16,6],X[3,1,4,0],X[2,5,3,4],X[12,8,13,7],X[8,12,9,11],X[9,15,10,14],X[13,11,14,10]]; -0.7671248 -0.614877759 0.182879419 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.215181577 -0.362940483 -0.906626216 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9],X[11,9,12,8]]; -0.79157713 0.412033131 0.451258625 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.548791759 0.263862232 0.793224009 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.018955585 -0.0797756735 -0.996632594 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.847107981 -0.0268610869 -0.53074151 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.787057943 -0.551266037 -0.276849328 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.379225609 -0.350420707 0.856383831 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.377597864 0.212020495 -0.901369604 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.631947784 0.614330243 0.472483176 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7]]; 0.900188601 -0.146112997 0.410257814 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.967685218 0.234736219 0.0921098622 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.949545433 -0.306402548 0.0669398876 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.869589856 -0.493705498 -0.00826822314 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.642307419 0.722437279 0.255979605 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.646565802 -0.390238801 -0.655489391 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.0736934084 0.996689136 0.0343518085 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.237740043 -0.640590139 0.730153371 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[7,6,8,5],X[0,7,1,6],X[1,5,2,4],X[10,19,11,20],X[2,10,3,9],X[8,4,9,3],X[11,17,12,16],X[15,13,16,12],X[18,14,19,13],X[14,18,15,17]]; 0.0484255665 -0.127823044 -0.990614069 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[8,4,9,3],X[4,8,5,7],X[5,11,6,10],X[9,7,10,6]]; -0.147706209 0.829069418 0.539283576 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.0977361164 0.696228409 0.711135468 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.0191539455 0.975831577 0.217682933 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.842767544 -0.137364038 0.520455558 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.475233696 -0.868370004 -0.141726749 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.330740579 0.359558664 0.872541252 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.450072476 0.892503302 -0.0295401793 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.88911685 -0.353422907 0.290797999 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.442045835 -0.251520255 -0.861006992 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,3,6,2],X[3,1,4,0],X[1,5,2,4]]; 0.207008782 -0.939747772 0.272068904 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.875466992 0.430355318 -0.219890533 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.802511342 0.488478923 -0.342584132 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.326621027 0.782710542 0.529795161 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.121267951 -0.882166914 0.455055622 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[8,6,9,5],X[1,11,2,12],X[2,5,3,4],X[6,10,7,9],X[10,8,11,7]]; -0.291431018 0.418865951 -0.860011207 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.280851078 -0.567387818 -0.774076053 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[7,5,8,4],X[2,6,3,5],X[3,1,4,0]]; 0.799480664 0.405768545 -0.442925001 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.579922877 0.0486953635 -0.813214743 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.93771684 0.293054132 0.186564741 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.991089567 0.132935587 -0.00834268937 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.382610987 0.517082759 0.765659358 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.526869556 0.508256588 -0.681236899 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.377367286 0.908774732 -0.178107881 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.9351348 -0.354077718 -0.012323766 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.663447984 -0.735111834 0.139453803 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.0751084712 0.657146141 0.750011778 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,10,2,9],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; 0.704191677 -0.0620561181 -0.707292811 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.0945038666 -0.942064167 -0.321844876 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.765849864 -0.312309898 -0.562082301 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.854837428 0.516178384 0.0530362884 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.637291781 -0.579451791 -0.508030321 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.679778622 -0.732098784 0.0439590197 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.446330404 -0.38099888 -0.809709222 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.0437323732 -0.985148841 0.166039875 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.970081278 -0.0689940915 0.232770551 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.0233965132 0.700586907 -0.713183419 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[0,4,1,3],X[2,6,3,5]]; 0.65375408 -0.424328544 0.626538817 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.220034263 0.58231405 0.78262077 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[3,11,4,10],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.320215051 0.707984309 0.629460515 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[0,7,1,8]]; -0.917823146 0.14435406 -0.369814247 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.147334603 -0.0413552525 0.988221765 UNKNOWN - A^(-32) + 2*A^(-28) + 2*A^(-26) - A^(-24) - 4*A^(-22) + 2*A^(-18) - 2*A^(-14) + 2*A^(-10) + A^(-8) PD[X[0,7,1,6],X[9,16,10,17],X[4,3,5,2],X[8,1,9,2],X[7,6,8,5],X[3,18,4,17],X[10,14,11,13],X[14,12,15,11],X[12,16,13,15]]; 0.404034925 0.806016537 -0.432542624 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.982231842 0.147271472 -0.116325934 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.609753338 0.376247615 0.697594867 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.692209556 0.384851324 0.610520588 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.101549302 -0.329211492 -0.93877981 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[8,4,9,3],X[4,8,5,7],X[5,11,6,10],X[9,7,10,6]]; 0.76497714 0.0874405978 -0.638094129 UNKNOWN + A^(-26) - A^(-24) - 3*A^(-22) + A^(-20) + 4*A^(-18) + A^(-16) - 4*A^(-14) - A^(-12) + 3*A^(-10) + A^(-8) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[5,1,6,0],X[2,9,3,10],X[8,3,9,4],X[7,2,8,1],X[4,7,5,6],X[13,11,14,10],X[11,15,12,14],X[15,13,16,12]]; -0.865494086 0.152968763 0.476991137 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.738231521 0.0142759526 -0.674396336 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.0286635863 -0.98516751 -0.169184442 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,5,1,4],X[3,2,4,1],X[2,6,3,5]]; -0.513528746 -0.467868514 0.719296379 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,13,7,14],X[7,11,8,10],X[11,9,12,8],X[9,13,10,12]]; -0.173689431 -0.722444695 -0.669257532 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; -0.0236113384 0.891619811 0.452168792 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.97132319 0.23035138 0.0589024769 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.0860103794 -0.0212427033 -0.99606775 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.557932532 0.734998603 -0.385341852 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.212040166 -0.698412464 -0.683563455 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.385078876 0.0316001199 -0.922342503 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.392664077 -0.0509004256 -0.918272329 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.977006983 0.0644713825 -0.203225972 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.549277626 0.831021674 0.0877329302 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.910260195 -0.187838257 0.368975834 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.435176228 -0.882483834 0.178448682 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.17639377 0.310632309 0.934019703 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,9,2,10],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.356859725 -0.627933136 -0.691629318 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[7,5,8,4],X[2,6,3,5],X[3,1,4,0]]; -0.0794400863 0.989920973 0.117242224 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[4,1,5,0],X[1,4,2,3],X[5,3,6,2]]; 0.39011514 -0.920429362 0.0248991461 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.563019121 0.770817754 -0.298076265 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.864665931 -0.487490979 -0.12126571 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.391967567 0.460176875 -0.796617016 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.528760302 0.674140698 -0.515700361 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.621389278 0.391694765 0.678565086 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.627703185 0.129619934 0.767585425 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.323355642 0.938772762 -0.118940452 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.633833708 0.766895882 -0.100625727 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.950332165 -0.275732658 0.144361617 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.896667765 -0.441145833 0.0371116325 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.642404874 0.38203371 0.664353988 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.770926267 -0.333076395 0.542892996 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.785046029 0.615596168 -0.0688773617 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.156251948 0.294005191 0.942945532 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,3,1,2],X[3,2,4,1],X[6,5,7,4],X[5,14,6,13],X[7,11,8,10],X[11,9,12,8],X[9,13,10,12]]; 0.56005189 -0.20786714 -0.801955817 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,3,6,2],X[3,1,4,0],X[1,5,2,4]]; -0.961091654 0.00584888336 -0.276167744 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.616011399 0.0640704422 0.785127337 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[2,6,3,5],X[4,2,5,1]]; 0.874557223 0.16966733 -0.454271571 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.465194184 -0.393847235 -0.792766502 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.394262305 0.835124553 0.383567747 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.30703941 0.936848526 -0.167456385 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.206790487 -0.942464304 0.262676094 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.576235124 0.638454994 -0.510223777 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; 0.921759886 0.385147056 -0.0449494929 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.772299627 -0.635063249 0.0157466559 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.915708723 -0.13392786 -0.378867871 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.288363896 -0.501816243 -0.815491706 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[0,5,1,4],X[3,2,4,1],X[13,2,14,3],X[11,7,12,6],X[12,10,13,9],X[7,11,8,10],X[8,6,9,5]]; 0.788517323 0.21197024 -0.577329237 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.463310726 -0.739570617 -0.48824018 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.529138118 -0.824438586 -0.200783143 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.137049682 0.705808337 0.695019407 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; 0.63269244 0.398315052 0.664112487 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.669502976 -0.406651231 0.621611246 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.0955677136 -0.817953724 0.567290506 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.087606584 -0.489707665 -0.867474201 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[10,4,11,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.246838639 -0.935091781 -0.254310927 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.129497334 -0.978690914 -0.15935663 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.543085827 -0.756556671 -0.364252368 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.906363164 -0.317009999 0.279303556 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.283956502 0.276739027 0.918032797 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[4,1,5,0],X[1,4,2,3],X[2,11,3,12],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; 0.501321867 0.820426687 0.274911689 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,8,7,9],X[7,10,8,9]]; -0.707808146 -0.0447637699 -0.704984988 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.282449081 0.159795024 -0.94587952 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[13,6,14,7],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; -0.373742581 -0.892701515 0.251794535 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.271941919 -0.883253075 0.381983768 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.839136834 -0.538734416 -0.0749306479 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.129686077 0.0517296633 -0.990204809 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.200972781 -0.88960894 0.410129096 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.324080429 -0.716645938 0.617568194 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.52726013 -0.104936831 -0.843199275 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.128854523 0.135226514 0.982400276 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.277397613 -0.5324164 -0.799739546 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[10,4,11,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.889433628 -0.310028216 0.33584271 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.80687971 0.293090366 0.512877345 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.666730194 0.0723274945 0.741781357 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.207748293 -0.478293588 0.853273632 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[6,4,7,3],X[4,2,5,1],X[2,6,3,5]]; -0.844692673 -0.535185112 0.0084370994 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.872740554 -0.0185054382 0.487833449 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.465661275 0.208448319 -0.860063297 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.247425697 -0.805234219 0.53886768 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.548578196 -0.751898193 -0.365665243 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.388958391 -0.00151352185 -0.92125408 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[5,3,6,2],X[1,5,2,4]]; 0.999073071 -0.0419530029 0.00964074023 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.625033883 0.275956581 0.730192174 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[2,6,3,5],X[4,2,5,1]]; -0.726048854 -0.623272089 0.290490904 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.508289114 0.283650944 0.813132412 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.220064031 -0.944413544 0.244243484 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.676125738 -0.718667144 0.162393108 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.281670579 0.380425608 0.880873454 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; -0.0982314609 -0.995085363 0.0124780135 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.223875403 0.862212167 -0.454389681 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.115674063 -0.626033859 -0.771168671 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[10,8,11,7],X[6,4,7,3],X[5,9,6,8],X[9,5,10,4]]; 0.409710317 0.580322579 -0.703820404 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[8,7,9,6],X[7,10,8,9],X[13,11,14,10],X[11,15,12,14],X[15,13,16,12]]; -0.414264384 -0.901346198 -0.126333096 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.532540092 0.846378342 -0.0066897748 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.439750171 -0.813354996 0.38088507 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.819746588 -0.397578842 0.412245796 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.657825947 -0.731682345 0.178622422 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.259530999 0.210025175 -0.94262033 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[13,6,14,7],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; 0.528633889 0.381522407 0.758278883 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.143108399 0.987376054 -0.0678860331 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.289282009 0.93008384 0.226406647 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,8,7,9],X[7,10,8,9]]; 0.170937552 0.0389788844 0.984510538 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.0955715362 -0.589797339 0.801876038 UNKNOWN + A^(-38) + A^(-36) - 2*A^(-34) - 2*A^(-32) + A^(-30) + 2*A^(-28) - A^(-26) - 3*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[0,6,1,5],X[1,4,2,3],X[8,13,9,12],X[6,5,7,4],X[7,3,8,2],X[13,10,14,9],X[10,15,11,14],X[15,12,16,11]]; -0.105327936 -0.950672767 0.291765858 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.891647035 -0.321428682 -0.318824665 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.83119448 0.421066626 -0.36306836 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.794839934 0.508577024 0.331027023 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.724531074 0.0270993893 -0.688709188 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.598466592 -0.480282491 0.641222635 UNKNOWN + A^(-26) - A^(-24) - 3*A^(-22) + A^(-20) + 4*A^(-18) + A^(-16) - 4*A^(-14) - A^(-12) + 3*A^(-10) + A^(-8) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[0,8,1,7],X[1,10,2,9],X[5,3,6,2],X[10,3,11,4],X[4,11,5,12],X[8,7,9,6],X[12,19,13,20],X[13,17,14,16],X[17,15,18,14],X[15,19,16,18]]; -0.311443557 -0.814564527 0.489374643 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.348394124 0.912804585 -0.213094635 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.134971146 0.98879626 0.0637553567 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.784305901 0.48296424 -0.389371027 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.0164836243 0.787222119 -0.616449208 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[7,0,8,1],X[11,1,12,2],X[8,7,9,6],X[2,6,3,5],X[4,11,5,10],X[9,4,10,3]]; 0.167985449 -0.598156188 -0.78357518 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; -0.418767795 -0.79550537 -0.43795518 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.835955281 0.54817373 -0.02615972 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.049416886 0.805207056 0.590931103 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.854128114 -0.498124879 0.149454909 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.870970956 -0.310490154 -0.380795822 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.664758458 0.742523085 -0.0821928303 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.580315054 -0.580314268 -0.571375349 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.766649308 -0.543630352 0.341635593 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.342386678 -0.47356221 -0.811486411 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.375528932 0.482962478 0.791027981 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.828831955 0.261110471 0.494832206 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.00155802686 0.904708513 -0.426028261 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.540130931 0.35517262 0.762961983 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.538253859 -0.195235597 -0.81985721 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.423252782 0.692941365 -0.583686 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[5,1,6,0],X[7,2,8,1],X[9,3,10,2],X[3,9,4,8],X[4,7,5,6],X[13,11,14,10],X[11,15,12,14],X[15,13,16,12]]; -0.713967304 0.525812617 -0.462354604 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.771954846 0.00905396643 0.635612887 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.224109115 0.88900453 -0.399306963 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.398868711 0.844045205 -0.358457031 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.00492631381 -0.998266292 0.0586527223 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.749026924 -0.428106029 -0.50565195 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.878924155 0.329816858 0.344547777 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.712894086 -0.626439228 0.315207734 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.597834717 0.717211061 -0.358052992 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.485367619 -0.729522485 -0.481887142 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.238560384 0.925321633 -0.294735166 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.0230602523 -0.713347216 -0.700431277 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; -0.695239466 -0.675863456 -0.244643976 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.477307301 0.320274067 -0.818292284 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.468014176 -0.864589357 0.182887877 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.344678983 0.613046485 0.710894089 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; -0.0146720521 0.0166694503 0.9997534 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.695176491 -0.44001584 0.568432676 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.222849776 0.965584534 -0.134106248 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.543787132 0.768892748 -0.336302686 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.141939217 -0.793156609 -0.592246446 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.746507959 -0.0941416827 -0.658682936 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.3483697 -0.885817241 0.306539339 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.991578663 0.00647614917 -0.129343783 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.35825145 -0.621013747 -0.697135442 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.596622189 0.691239127 -0.407713667 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.217846442 0.251679804 0.942974127 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[6,10,7,9],X[4,8,5,7],X[8,6,9,5]]; -0.660937178 -0.574140769 -0.483243648 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.246536297 0.928134065 -0.27890323 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.66258386 0.0763780003 0.745083237 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.107769477 -0.962574479 -0.248668681 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3],X[6,4,7,5],X[7,6,8,5]]; -0.439793726 -0.870053976 0.222682639 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.37149038 0.0325120482 0.927867374 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[2,6,3,5],X[4,2,5,1]]; 0.347481678 0.575060025 -0.740650019 k12.1 - A^(-42) - A^(-40) + 3*A^(-38) + 4*A^(-36) - A^(-34) - 5*A^(-32) - 2*A^(-30) + 2*A^(-28) - 2*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[8,11,9,10],X[7,6,8,5],X[2,1,3,0],X[9,5,10,4],X[1,4,2,3],X[6,12,7,11],X[15,13,16,12],X[17,15,18,14],X[13,17,14,16]]; 0.462633929 0.874479471 -0.145792666 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.0644272984 0.902563285 0.425709571 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; 0.97954195 0.133307089 -0.150754065 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.727753859 -0.574581773 0.374473106 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.0151646498 0.790862941 0.611805395 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; -0.762578513 -0.407114318 -0.50272452 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.239730015 -0.0203005186 0.970627327 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.629352079 0.413125911 0.658211928 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.812989279 -0.246908644 0.52733723 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.770622975 -0.420489672 -0.478882727 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.83329675 -0.466274735 -0.296992253 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.614724844 0.211013555 -0.759991214 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.628792511 -0.749257668 -0.207925286 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.704016971 0.520841124 0.482788389 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.784683873 -0.357856655 0.506171744 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.00403894801 -0.999056106 -0.0432502506 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.750284829 0.408770949 -0.519595021 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.451724262 0.755595534 -0.474363342 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.209545347 -0.442166324 -0.8721122 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; 0.87438929 -0.314255357 0.369711968 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.148646155 -0.92342997 0.353809852 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.494568105 -0.843645944 -0.208959113 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.89946475 -0.274185781 -0.340272421 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.282850659 0.780552664 0.55743434 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; -0.681498531 0.419901375 -0.599368491 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.147496047 -0.777309146 0.611584343 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.730396656 0.262413007 0.630602996 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.878109049 0.337242187 0.339399774 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.465008604 -0.464844155 -0.753450005 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; -0.124343444 0.530522729 0.838501248 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,10,2,9],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; -0.782111458 -0.104785172 -0.614265199 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.374051543 -0.610625129 0.698013177 UNKNOWN - A^(-32) - A^(-30) + 3*A^(-28) + 6*A^(-26) - A^(-24) - 10*A^(-22) - 5*A^(-20) + 6*A^(-18) + 5*A^(-16) - 4*A^(-14) - 3*A^(-12) + 4*A^(-10) + 5*A^(-8) - 2*A^(-4) - A^(-2) PD[X[13,23,14,24],X[3,2,4,1],X[4,11,5,10],X[6,25,7,26],X[18,16,19,15],X[14,18,15,17],X[7,23,8,22],X[0,3,1,2],X[11,10,12,9],X[8,13,9,12],X[24,20,25,21],X[16,20,17,19],X[5,21,6,22]]; -0.253578564 0.859667649 -0.443474289 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.706062796 0.298222361 -0.642291797 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.736706315 -0.278420801 0.616235071 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.483628408 -0.874163135 -0.0440723975 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.847981662 0.470572696 0.24390252 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.345893859 0.720699055 -0.600791403 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.103127284 -0.57736136 0.809949766 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.476469881 -0.805590026 0.352137988 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.701522556 -0.224195213 0.67646331 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.988195793 0.10461628 -0.111912951 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.986984687 0.150193891 0.0574719226 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.92479422 0.380040744 0.0180189786 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.889209639 0.167326886 0.42580269 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.443936019 -0.571512957 0.690140385 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.95003182 -0.152351987 0.272448917 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.115850392 -0.972721937 -0.200974426 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.371511808 0.169748267 0.912778452 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[4,1,5,0],X[1,4,2,3],X[2,11,3,12],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; -0.497750939 0.840974587 0.212145581 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.690176352 -0.703019067 -0.171524908 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.0318615551 -0.163125355 0.986090746 k3.1*k3.1 + A^(-32) - 2*A^(-28) + A^(-24) - 2*A^(-20) + 2*A^(-16) + A^(-8) PD[X[0,4,1,3],X[2,14,3,13],X[4,2,5,1],X[5,11,6,10],X[9,7,10,6],X[12,8,13,7],X[8,12,9,11]]; -0.919578934 0.236621339 0.313663714 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.758957717 0.622141415 0.192154217 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.84027666 0.451429161 -0.300244645 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.222736111 -0.145407686 -0.963973667 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[18,1,19,2],X[6,9,7,8],X[19,8,20,7],X[9,3,10,2],X[4,1,5,0],X[5,3,6,4],X[15,11,16,10],X[11,15,12,14],X[12,18,13,17],X[16,14,17,13]]; -0.18068637 0.973404811 -0.140838595 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.442844136 -0.340963551 0.829236352 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.805156903 0.475577238 0.354328451 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.790529437 -0.264930462 0.552154923 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.9016823 -0.35649856 0.244699421 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.121551389 0.116842461 0.985684077 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,3,2,4],X[4,8,5,7],X[6,10,7,9],X[8,6,9,5]]; 0.831114701 0.555185494 -0.0318970336 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.365843038 -0.148131647 0.918812215 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.918594942 0.392430298 -0.0467096735 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.217459239 0.940939962 -0.259506198 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.162101491 -0.983341987 -0.0822292138 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.427858466 0.189655751 -0.883723842 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[11,4,12,5],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; 0.883529591 -0.0440229142 -0.466301881 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.988552531 -0.111094985 0.102087207 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.193000745 0.933738698 -0.301467671 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.847330694 -0.492041276 0.199815108 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.337961169 0.526105756 -0.780381306 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[2,1,3,0],X[1,4,2,3],X[6,5,7,4],X[5,8,6,7],X[15,8,16,9],X[9,13,10,12],X[13,11,14,10],X[11,15,12,14]]; -0.337643108 0.740884802 -0.580591803 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.676302241 -0.151574077 -0.720860998 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.303255817 0.852707223 -0.425354324 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.0264861758 -0.99432182 -0.103066001 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,5,1,4],X[3,2,4,1],X[2,6,3,5]]; 0.183766418 0.966645476 -0.178399626 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.027678597 -0.951284129 -0.307070677 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.75249859 -0.608972588 0.250795253 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.66425264 0.702409866 0.255712361 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.708677797 -0.596230761 -0.377206389 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.795888046 -0.605269923 0.0145099601 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.93693899 -0.254448845 0.239585297 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.788302156 -0.25655146 0.559250444 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; -0.829160619 0.508882614 -0.231368005 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.850505808 0.523553093 0.0503192665 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.913869439 0.31660805 -0.254169216 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.33625852 -0.91011991 -0.242099066 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.399103172 0.383730123 0.832747171 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.299693976 -0.0403994183 0.95317963 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,9,2,10],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; 0.91019783 -0.289878793 0.295821222 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.674636044 0.734460272 0.0737178256 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.491054602 0.159250758 0.856448816 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,6,3,5],X[0,4,1,3],X[4,2,5,1]]; -0.652268135 0.151388526 -0.742716496 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.23837952 0.960110341 -0.146162027 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.210191661 0.972595307 0.0993872937 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.0949039954 0.495963431 0.863141649 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,10,2,9],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; -0.645992178 -0.208735803 0.734250278 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,6,3,5],X[0,4,1,3],X[4,2,5,1]]; -0.907525921 0.185051082 -0.377031564 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.781616642 0.24694844 -0.572793062 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.580624903 -0.800748126 -0.14723166 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.528260362 0.115038898 0.841253257 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.656578863 0.579633876 -0.482626944 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.379579164 -0.576762393 0.723370444 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,3,1,2],X[4,7,5,6],X[3,2,4,1],X[7,6,8,5],X[8,15,9,16],X[12,10,13,9],X[10,14,11,13],X[14,12,15,11]]; -0.687917423 0.330100949 0.646376811 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.88288459 0.468834246 0.0266317544 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.498029037 -0.0347801818 0.866462589 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[4,6,5,7],X[0,4,1,3],X[8,2,9,3],X[1,7,2,8],X[5,16,6,15],X[12,10,13,9],X[10,14,11,13],X[14,12,15,11]]; 0.19402011 -0.462675274 -0.865036292 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; -0.965013493 0.220893857 0.141261682 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.781942988 -0.623349946 -9.30307433e-05 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.678473161 -0.225815765 0.699057516 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.569458262 -0.793076812 -0.216209295 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.844102418 0.0569627768 0.533147587 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.75658841 0.499344889 0.422171363 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.666663315 -0.729269097 -0.154034442 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.714842871 0.0063456397 -0.699256321 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.642663222 -0.359538432 -0.676547189 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.563966576 -0.77088664 -0.296100471 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.879983404 -0.113865478 -0.461154921 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.68879403 -0.403373264 -0.602372637 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.0603502494 0.969564196 0.237282777 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.434366861 -0.311683325 0.845091081 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.139904483 -0.288602551 -0.947172267 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[2,1,3,0],X[1,4,2,3],X[4,7,5,6],X[13,6,14,5],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; -0.676901654 0.643654146 -0.357090311 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.560728803 0.385178473 0.732953446 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[2,6,3,5],X[4,2,5,1]]; -0.801952895 0.596575113 0.0311398348 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.320841952 -0.620955957 0.715174203 UNKNOWN - A^(-38) - 2*A^(-36) + 2*A^(-34) + 8*A^(-32) + 4*A^(-30) - 9*A^(-28) - 11*A^(-26) + A^(-24) + 7*A^(-22) - 5*A^(-18) + A^(-16) + 6*A^(-14) + 4*A^(-12) - A^(-10) - 2*A^(-8) - A^(-6) PD[X[4,3,5,2],X[1,6,2,5],X[0,4,1,3],X[19,33,20,34],X[6,29,7,30],X[9,14,10,13],X[11,27,12,26],X[15,30,16,31],X[14,29,15,28],X[17,9,18,8],X[10,32,11,33],X[31,27,32,28],X[18,13,19,12],X[23,21,24,20],X[21,25,22,24],X[25,23,26,22],X[7,17,8,16]]; 0.183239502 -0.805934488 -0.562932399 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; -0.875915506 -0.481554235 0.0296233851 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.871068699 -0.355219024 -0.339203136 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.719169173 -0.109582708 -0.68613944 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.592288911 -0.119032198 0.796884673 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[2,6,3,5],X[4,2,5,1]]; 0.554120595 0.697058424 -0.455038371 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.21873743 0.918609376 0.329105989 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.620183824 -0.295265229 -0.726767135 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.659133945 0.00307007232 -0.752019293 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[5,3,6,2],X[1,5,2,4]]; 0.22003588 -0.856407481 0.467065774 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.345350374 -0.0598866596 0.936561107 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.424813949 -0.904095863 -0.046300956 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.678111166 -0.0324713529 0.734241689 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[2,6,3,5],X[4,2,5,1]]; -0.273947889 0.168506136 -0.946867592 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.25867356 0.917911537 0.300876052 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,8,7,9],X[7,10,8,9]]; 0.176245375 0.90157582 -0.395093165 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.653199385 0.36065366 0.665777366 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.522764591 -0.830510487 -0.192274579 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.0436906822 -0.97831216 -0.202475783 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.659229305 0.0378832635 0.750987072 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.785990273 0.604577078 0.129251102 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.63114846 0.67728372 -0.378071929 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.21947961 0.73858911 -0.637428292 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[4,1,5,0],X[6,2,7,1],X[2,8,3,7],X[3,6,4,5],X[15,8,16,9],X[9,13,10,12],X[13,11,14,10],X[11,15,12,14]]; -0.447242211 -0.250680927 -0.858564778 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.746988013 -0.413983767 -0.520217598 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.359402309 -0.153535005 0.920465634 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.371518854 -0.882573327 0.288163257 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.334795515 0.2713904 -0.902363128 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.146655989 -0.983804567 -0.103056269 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.694707629 0.707374849 -0.130392229 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.311580978 0.288656122 0.905314828 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[4,1,5,0],X[1,4,2,3],X[2,11,3,12],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; 0.647522658 -0.424470704 0.632881529 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.00224250331 0.202733518 0.979231378 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[6,17,7,16],X[4,8,5,7],X[0,8,1,9],X[9,6,10,5],X[1,4,2,3],X[2,17,3,18],X[10,14,11,13],X[14,12,15,11],X[12,16,13,15]]; -0.598747711 0.12515223 -0.791099297 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.23828999 0.342107083 -0.908944786 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.952075947 0.218686804 -0.213839832 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.936797049 -0.0778679437 -0.34109804 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.392276446 0.917340129 -0.0678695603 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.060652923 0.40923613 -0.910410354 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[15,7,16,6],X[12,8,13,7],X[8,12,9,11],X[9,15,10,14],X[13,11,14,10]]; -0.203049041 -0.41866732 0.885149006 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,15,7,16],X[7,13,8,12],X[11,9,12,8],X[14,10,15,9],X[10,14,11,13]]; 0.707481167 0.664736705 0.239990649 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.787449202 0.586148423 -0.190666673 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.254554175 0.11119709 0.960644252 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,19,3,20],X[9,6,10,5],X[1,7,2,8],X[6,19,7,18],X[0,5,1,4],X[3,9,4,8],X[10,16,11,15],X[14,12,15,11],X[17,13,18,12],X[13,17,14,16]]; -0.782364019 -0.570530088 0.249803843 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.394498386 -0.527754863 -0.752227245 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.256745207 -0.804318473 0.535867233 k4.6m + A^(-20) - 2*A^(-16) - 2*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[0,3,1,2],X[5,8,6,7],X[3,2,4,1],X[6,5,7,4]]; 0.750331232 -0.2152182 -0.625047333 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.444613632 -0.857578516 0.25860744 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.901602636 0.431837459 -0.025081798 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.991865089 -0.0952054044 0.0844960106 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.905915461 0.42262678 -0.0265289 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.734101477 0.464049281 -0.495735097 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.470771518 0.839467696 -0.271418802 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.370613809 0.792717906 0.48398732 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3]]; -0.0482454038 0.365547428 0.929541531 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[3,9,4,8],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9]]; -0.919853284 0.382767224 -0.0857857061 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.285899764 0.21494894 0.933840606 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.167962144 -0.9799544 0.107135862 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.157820858 0.295808705 0.942119837 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,9,2,10],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.797792182 0.401307855 0.449977376 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.295817093 0.467338288 -0.833118943 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[3,1,4,0],X[8,7,9,6],X[5,2,6,1],X[2,5,3,4],X[7,10,8,9],X[13,11,14,10],X[11,15,12,14],X[15,13,16,12]]; -0.331884831 -0.714663524 0.615717879 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[0,6,1,5],X[1,8,2,7],X[2,10,3,9],X[8,4,9,3],X[6,5,7,4],X[10,16,11,15],X[14,12,15,11],X[17,13,18,12],X[13,17,14,16]]; 0.338864183 -0.585023296 0.736830244 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.0300522364 -0.516637226 -0.855676832 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.842440111 0.176679371 0.508998094 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.56091057 0.40729019 0.720759345 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,6,3,5],X[0,4,1,3],X[4,2,5,1]]; 0.0529483131 0.127836996 0.990380825 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.207742762 0.84988411 0.484293242 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.653805785 0.752836906 0.0759907132 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.263444893 -0.919972326 0.290254558 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.738326755 -0.507363302 0.444360307 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,6,1,5],X[4,2,5,1],X[6,2,7,3],X[3,7,4,8],X[8,12,9,11],X[12,10,13,9],X[10,14,11,13]]; 0.495764847 0.468524084 -0.731233478 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[13,6,14,7],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; 0.519581913 0.417293976 -0.745587267 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[11,4,12,5],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; 0.533539231 0.350419602 0.769767492 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.874443504 0.0413354161 0.483363157 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.723395632 0.38667995 -0.57199421 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.0729932939 -0.73395209 -0.675267583 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.315253192 -0.901790772 0.295616017 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.315524331 -0.783994092 0.534600467 k4.6m + A^(-20) - 2*A^(-16) - 2*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[6,5,7,4],X[5,8,6,7]]; 0.803110416 -0.419812738 0.422813109 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.488588113 -0.832250066 -0.261995197 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.142992863 0.916495238 0.373616808 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.126636032 0.467371086 0.874944332 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[3,9,4,8],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9]]; 0.599973911 0.225983862 -0.767438988 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.287364042 0.717070919 -0.635004885 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[5,1,6,0],X[3,2,4,1],X[2,8,3,7],X[4,7,5,6],X[15,8,16,9],X[9,13,10,12],X[13,11,14,10],X[11,15,12,14]]; 0.391160703 -0.892367168 0.225109176 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.527991567 0.178138422 0.830356314 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.00311345336 -0.997363796 -0.0724966493 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,5,1,4],X[3,2,4,1],X[2,6,3,5]]; -0.571916781 -0.715570584 -0.401085946 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.78983583 -0.0706467855 -0.609235909 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.267137078 0.963649542 -0.00416435441 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.778575865 0.57150971 -0.25922244 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.681336122 -0.662218018 -0.311846733 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.620441122 -0.385176998 0.683148223 UNKNOWN + A^(-26) - A^(-24) - 3*A^(-22) + A^(-20) + 4*A^(-18) + A^(-16) - 4*A^(-14) - A^(-12) + 3*A^(-10) + A^(-8) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[0,6,1,5],X[1,8,2,7],X[9,2,10,3],X[3,8,4,9],X[6,5,7,4],X[10,17,11,18],X[11,15,12,14],X[15,13,16,12],X[13,17,14,16]]; -0.410488794 -0.874396601 0.258707429 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.608829388 0.790225689 -0.0697863623 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.964330334 0.18385859 0.190428532 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.863666481 -0.0236547894 0.503508352 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.171963024 -0.707649242 0.68531837 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.364360093 0.221545639 -0.90452156 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.375611302 0.782729493 -0.496236527 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.0523798416 0.44312802 -0.894926762 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[13,7,14,6],X[7,11,8,10],X[11,9,12,8],X[9,13,10,12]]; -0.584273191 -0.808510669 0.0702519482 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.0869606502 -0.848617967 0.521809727 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,11,2,12],X[10,8,11,7],X[2,5,3,4],X[8,6,9,5],X[6,10,7,9]]; -0.287333043 0.391490489 0.87417099 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; 0.581459347 -0.813463136 0.0135186356 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.28225864 -0.650865984 -0.704771971 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.566158675 0.112815549 -0.816539654 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.486203117 0.0901553592 -0.869182685 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[7,1,8,2],X[2,8,3,9],X[6,4,7,5],X[15,6,16,5],X[9,13,10,12],X[13,11,14,10],X[11,15,12,14]]; 0.398218995 0.0606935541 -0.915280244 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.263600198 -0.256212444 0.929983935 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,13,7,14],X[7,11,8,10],X[11,9,12,8],X[9,13,10,12]]; -0.476275061 0.339213596 -0.811231288 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.584353708 0.386444877 0.713576275 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.030105557 -0.161641847 -0.986390171 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[11,1,12,2],X[10,8,11,7],X[6,4,7,3],X[5,9,6,8],X[9,5,10,4]]; 0.83196669 0.453606147 0.319488483 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.879692599 0.474343754 -0.0337480963 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.312799153 0.333325047 -0.889410537 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[2,5,3,4],X[5,2,6,1],X[13,6,14,7],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; -0.304393299 -0.830618964 -0.466279805 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]];