#projection.x projection.y projection.z knotoid_type polynomial PD_code -0.263089827 -0.044446969 -0.963746964 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.151747731 -0.123877798 -0.980625778 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.109256055 -0.163432358 0.980486093 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.065905896 -0.810361794 -0.582211453 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.777267496 -0.392759944 -0.491523007 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.363802638 0.865746411 -0.343701604 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.429860445 0.523651305 0.73553335 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.911852448 0.293068029 0.287465204 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5],X[12,11,13,10],X[13,11,14,12]]; 0.349106627 0.875121804 -0.335091616 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.696987546 -0.484792239 0.528379453 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.127231682 0.97247538 -0.19520178 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[0,8,1,7],X[5,3,6,2]]; 0.893239486 0.384919475 0.232293389 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.803362914 0.386164568 0.453304484 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.458842963 0.314537938 0.830980759 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.904708289 -0.355405788 0.234924751 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.184043778 -0.300065836 -0.93599593 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.714961836 0.486435337 0.502205372 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.924777842 -0.0667836311 -0.374600974 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,5,2,4],X[2,8,3,7],X[5,9,6,8],X[6,4,7,3]]; 0.102358892 0.759497677 0.642406363 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.762576768 -0.38041474 -0.523222035 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.315314128 -0.47274922 0.822851855 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.350807811 0.410844591 -0.841510904 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.536065361 -0.456312791 -0.710220082 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.0870019085 -0.176175239 0.980506478 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.677301647 -0.73519967 0.0272749714 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[6,2,7,1],X[2,6,3,5],X[3,1,4,0]]; 0.48408532 -0.824704059 -0.292445925 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.99700151 0.0358552702 -0.0685739685 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.292085427 0.956025531 0.0264818426 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[0,4,1,3],X[5,3,6,2],X[4,8,5,7]]; -0.437641066 0.854344853 -0.280294791 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.00763847187 -0.0940205025 -0.995540958 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.0649566271 0.971543318 -0.227781075 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[1,7,2,6],X[0,4,1,3],X[5,3,6,2]]; 0.80904983 -0.491826468 -0.321784243 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],X[8,11,9,10],X[9,11,10,12]]; -0.937198123 0.243244716 0.249983373 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5],X[12,11,13,10],X[13,11,14,12]]; -0.0450400373 -0.811937919 -0.582003618 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.0269199715 0.605761349 -0.79519086 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.559687444 0.621146717 -0.548567882 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.472311825 0.852083462 0.225555567 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.70078236 0.712365359 -0.0379431229 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[0,8,1,7],X[5,3,6,2],X[3,7,4,6]]; 0.566750076 -0.211046353 0.79640052 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.962777982 0.268339791 -0.0324393939 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,8,1,7]]; 0.604213864 0.429305912 0.671283875 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.876281244 0.224302465 -0.426403079 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.337410566 -0.627259226 0.701925903 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.745015906 -0.115499757 0.65697116 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.60584359 -0.3714414 -0.703551584 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.12672354 0.894905074 0.427885562 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.960414817 -0.260826025 0.0978425439 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.610972689 0.784237403 0.108092872 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[0,4,1,3],X[5,3,6,2],X[4,8,5,7]]; -0.420991809 0.907009042 -0.0100247175 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[3,7,4,6],X[5,3,6,2],X[1,5,2,4]]; -0.190511453 0.387425545 -0.90200157 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.932939886 -0.270904484 0.237136943 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.993862989 0.0876951331 -0.0674234522 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,8,1,7]]; 0.936967567 -0.287874109 -0.198041098 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,9,2,8],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7],X[10,13,11,12],X[11,13,12,14]]; 0.9914405 0.0413127508 0.123850686 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.692845506 0.57975219 0.42878025 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.271289307 -0.96231086 0.0189715801 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[7,5,8,4],X[2,6,3,5]]; 0.0298864787 0.42834091 -0.90312284 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.883212872 -0.407333882 0.232409406 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,14,5,13],X[5,11,6,10],X[9,7,10,6],X[12,8,13,7],X[8,12,9,11]]; -0.113496828 0.7977729 -0.592179762 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.578987526 -0.667728988 -0.467879733 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.562109784 -0.275921736 -0.779679284 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.196692592 0.925880674 0.322578676 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.187430498 0.972490368 -0.13831953 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,8,1,7]]; 0.994811516 -0.0809126916 -0.0616699629 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,11,1,10],X[3,2,4,1],X[2,12,3,11],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.36039598 -0.930878584 0.0598314344 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[7,1,8,0],X[2,6,3,5],X[6,4,7,3]]; -0.819245736 0.57331213 -0.0122321504 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,12,1,11],X[1,14,2,13],X[7,3,8,2],X[3,7,4,6],X[4,10,5,9],X[8,6,9,5],X[12,11,13,10]]; -0.00716223452 0.368498757 -0.92960065 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.513413564 0.594780978 -0.618580714 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.174077776 -0.430302841 0.88574059 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.230258382 -0.922912935 0.308565703 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.410860714 0.906302776 -0.0990391476 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[0,8,1,7],X[3,7,4,6],X[5,3,6,2]]; 0.113686789 -0.8794609 -0.462194591 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.0215644462 0.648541462 -0.760873805 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.445129393 0.892492464 -0.0729179378 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[0,4,1,3],X[5,3,6,2]]; -0.875281911 0.422565723 0.235201587 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,2,9,1],X[5,3,6,2],X[3,7,4,6],X[7,5,8,4],X[15,11,16,10],X[13,12,14,11],X[17,12,18,13],X[16,14,17,15]]; 0.657331262 0.517358317 -0.547956188 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.0227240164 -0.202406191 -0.979037973 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.927361365 -0.357986106 -0.10884322 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[4,2,5,1],X[2,6,3,5],X[7,1,8,0]]; 0.429464577 0.660041269 0.616364909 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.388064586 -0.125303629 -0.91307441 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.979848626 -0.0694082666 -0.187294319 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,2,6,1],X[0,9,1,8],X[4,10,5,9],X[2,7,3,6],X[7,4,8,3]]; 0.683590618 -0.69633953 0.2186667 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[8,4,9,3],X[4,8,5,7],X[5,3,6,2],X[9,1,10,0],X[1,7,2,6]]; 0.206923054 -0.256911892 0.944022844 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.45785836 -0.181281989 -0.870346231 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.123215784 -0.0244836737 0.99207783 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.168431264 0.227391413 0.959126715 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.591279244 0.642239745 0.487767327 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.809051817 0.292229739 0.509938169 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.137134394 -0.675536267 -0.724461807 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.284328798 -0.372731491 0.883305367 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.640142908 0.757018574 -0.130919578 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[3,7,4,6],X[5,3,6,2]]; 0.231799008 0.594515485 -0.769948413 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.91469432 0.392601258 -0.0959090907 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[3,7,4,6],X[5,3,6,2],X[1,5,2,4]]; -0.647163765 0.210064722 0.732838232 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.728857463 -0.322853398 0.603765255 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.683495121 -0.172730716 -0.709223885 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.0620657938 -0.504388497 -0.861243335 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.343916801 0.819319638 -0.458733654 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.0502047572 0.891865822 -0.449505103 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.647867233 -0.649144016 0.39859766 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.855248359 -0.146632026 -0.497040536 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.415797912 -0.463019472 -0.782767568 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.210399528 0.568921018 0.795022587 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.682949307 -0.0427518701 0.729213633 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.135197374 -0.504074346 0.853012734 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.0128916018 0.993730935 0.111052396 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.921794982 -0.231331067 -0.311094759 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,6,3,5],X[4,8,5,7],X[6,4,7,3],X[1,9,2,8]]; -0.715568829 -0.0428159358 0.697228834 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.400132142 0.7380965 -0.543238278 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.2290314 -0.804637567 -0.547816578 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.643427546 -0.686791475 -0.338110134 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.340915585 0.101733663 0.934573072 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.593634174 -0.366790409 0.716284346 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.0138872567 -0.659783324 0.751327565 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.909927621 -0.0817963671 0.406621543 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.0442084062 -0.998826647 -0.0197723741 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[6,4,7,3],X[4,2,5,1],X[2,6,3,5]]; -0.861989886 -0.462902864 -0.206626173 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.16407168 0.974601532 0.152421579 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.960288448 0.227444426 -0.161601763 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[1,5,2,4],X[5,3,6,2]]; 0.399317871 -0.0176061785 0.916643475 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.572851048 -0.506550702 0.644397442 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.131792055 0.88590467 -0.444751358 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.978285115 0.196827744 -0.0649389909 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.160213224 -0.0409282221 -0.986233544 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.314710588 0.384360178 -0.867885073 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.0141553007 -0.506176292 -0.862313857 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.149839227 0.834128364 -0.53082773 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,2,9,1],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7]]; 0.642550407 0.604307952 -0.471106011 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.995480637 -0.000365061135 0.094964039 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.867787827 0.473824213 -0.149782851 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[3,7,4,6],X[5,3,6,2]]; 0.634248906 -0.384862412 0.670529081 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.965258897 0.259032178 -0.0343160718 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.242146945 -0.785261317 -0.569850437 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.924020537 0.247809036 -0.291164436 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.719724568 0.0977274272 0.687346998 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.0202074897 0.531255346 -0.846970729 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.0288475118 -0.74329889 0.668337177 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.638475848 -0.731178309 0.240264172 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.397573371 -0.916846607 0.0364378109 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[6,2,7,1],X[3,1,4,0],X[2,6,3,5]]; 0.413716968 -0.696535886 0.586238885 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.29684588 0.120212448 -0.947328608 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.993434224 -0.0544293909 -0.100627451 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.451034357 0.269631428 -0.85080368 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.983038221 0.0259556866 -0.181554838 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.797550615 -0.0390696996 -0.601985527 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.548858633 -0.549676317 0.629769916 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.725875939 0.397448873 0.561371993 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.977962305 0.0480273878 0.203182431 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[7,5,8,4],X[8,2,9,1],X[3,7,4,6],X[5,3,6,2]]; -0.274541291 -0.75674461 0.593266108 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.985271765 0.170564244 0.0121402973 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.865637655 0.382695083 0.322824912 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,3,8,2],X[8,6,9,5],X[3,7,4,6],X[4,2,5,1],X[12,11,13,10],X[13,11,14,12]]; -0.182713319 -0.84485247 -0.502832125 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.475182215 -0.878256039 0.0535555105 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[3,1,4,0],X[7,5,8,4],X[2,6,3,5]]; 0.11025887 -0.901393475 0.418727579 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.427372724 -0.736809278 0.523893733 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.497979754 -0.669434541 0.551247277 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.581601975 -0.626727193 0.518605985 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.387888234 0.16314552 0.90715283 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.788153807 -0.559798956 -0.255809902 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.176820748 0.896329806 -0.406604602 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.635500831 0.582658276 -0.50660441 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.0705069514 -0.99581247 0.0581918797 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[4,2,5,1],X[2,6,3,5],X[7,1,8,0]]; 0.703725664 -0.682445964 0.197579595 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.680337578 0.429699481 -0.593716376 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.799037746 0.241930998 -0.55046169 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[13,5,14,4],X[10,6,11,5],X[6,10,7,9],X[7,13,8,12],X[11,9,12,8]]; 0.0667799925 -0.883132373 0.464346471 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.168941678 -0.69381179 0.700059933 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.789213537 -0.00385429809 -0.61410678 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.504260927 -0.722706926 -0.472668611 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.956231897 -0.287275165 -0.0556195923 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,11,8,10],X[12,1,13,0],X[14,2,15,1],X[2,16,3,15],X[3,14,4,13],X[4,12,5,11],X[9,7,10,6],X[5,9,6,8]]; -0.663428378 -0.611147792 -0.431695683 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.3565428 0.528138986 -0.770679209 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.133166028 -0.073195475 0.988387187 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.0896622609 0.539507536 0.837193107 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.38167573 0.117891098 -0.916747144 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.111260264 0.574949707 0.810588668 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.796198421 -0.135384556 -0.58969407 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.0917120707 0.323175791 0.941884443 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.00812079524 0.80145672 -0.597997641 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.736418732 -0.527836832 -0.423173404 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.706994938 -0.249269408 0.661833 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.687732134 -0.0528119156 -0.72404103 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.0653391235 0.99026247 -0.12292697 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[3,7,4,6],X[1,5,2,4],X[5,3,6,2]]; -0.0748550148 0.24565264 0.966463402 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.440428872 0.893994271 -0.0824418059 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[1,5,2,4],X[5,3,6,2]]; -0.394913118 -0.717872003 0.573326624 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.520811309 0.853292152 0.0254575 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,8,5,7],X[1,7,2,6],X[5,3,6,2]]; 0.726067201 -0.684077823 -0.0697420337 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.126426564 0.190268277 -0.973557552 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.483424769 -0.844800239 0.229375345 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.530269429 0.0141411295 0.847711249 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.668713405 -0.278536385 -0.689376432 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.784116017 -0.137853414 0.605110327 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.665773936 0.527421297 0.527799054 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.822500488 0.523737264 0.221793204 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.590544308 -0.630713031 0.503446613 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.792989785 0.37716407 -0.478450066 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.251639435 -0.943065836 0.217495803 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.200391214 0.778317772 0.59503345 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.63933876 0.0922758156 -0.763368275 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.0814018291 -0.236154518 0.968299946 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.869049414 -0.178103025 -0.461554361 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[5,9,6,8],X[1,5,2,4],X[6,4,7,3],X[2,8,3,7]]; 0.475808666 0.631575486 0.612142564 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.780531894 -0.428321609 -0.455313696 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.0579411865 0.267438833 -0.961831217 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.767463967 -0.64102089 0.00955392374 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[8,2,9,1],X[5,3,6,2],X[3,7,4,6],X[7,5,8,4],X[9,12,10,11]]; 0.564093489 0.699585848 0.438609366 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.158703947 -0.782124862 0.602572615 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.867731717 -0.405310019 0.287689861 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.422468686 -0.782726326 0.457011715 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.247943731 0.308998132 0.918174308 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.0389843264 0.792086702 -0.609162441 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.373610132 0.901165697 0.219808679 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.740965106 0.617063481 -0.264959189 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,8,1,7]]; -0.948555772 -0.316078614 -0.0183373205 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[4,2,5,1],X[2,6,3,5],X[7,1,8,0]]; 0.879022072 -0.476703431 0.00860437891 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[5,9,6,8],X[9,5,10,4],X[6,4,7,3],X[2,8,3,7],X[11,14,12,13]]; -0.0682337304 0.972213395 -0.223931403 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[0,4,1,3],X[5,3,6,2],X[4,8,5,7]]; -0.618494883 0.729160446 -0.292897806 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.11601032 0.325922523 0.938251627 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.750950186 -0.633880339 -0.185120323 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.465821189 0.854086714 0.231401177 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.934447477 0.100227288 -0.341705142 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,11],X[2,8,3,7],X[5,9,6,8],X[6,4,7,3],X[1,5,2,4],X[9,12,10,11]]; -0.0732737477 0.568903041 0.819133864 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.914254159 -0.121849681 -0.386383215 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[5,9,6,8],X[1,5,2,4],X[6,4,7,3],X[2,8,3,7]]; -0.506315984 0.216063828 0.834841629 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.316735427 0.928023656 -0.196088663 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.0286864293 0.823818937 0.566126707 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.946312996 -0.297144516 -0.127266849 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,8,3,7],X[5,9,6,8],X[6,4,7,3],X[1,5,2,4],X[10,19,11,18],X[11,17,12,16],X[12,15,13,14],X[13,21,14,22],X[15,20,16,21],X[17,19,18,20]]; -0.0977678399 -0.982789736 -0.156734758 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.939974477 0.326086911 -0.100574893 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,8,5,7],X[1,7,2,6],X[5,3,6,2]]; 0.935371155 0.348393192 -0.0608521672 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,8,1,7]]; -0.308001469 -0.49191742 -0.814341665 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.0377786497 -0.963945864 -0.26340301 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.888208391 -0.22048593 0.403077919 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.387882803 -0.681688371 -0.620361102 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.154000983 0.46661161 -0.870951952 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.878855016 0.416973722 -0.231833507 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[3,7,4,6],X[5,3,6,2],X[1,5,2,4]]; -0.950956466 0.302816659 0.0631179069 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,14,1,13],X[14,13,15,12],X[6,4,7,3],X[1,12,2,11],X[9,5,10,4],X[5,9,6,8],X[10,8,11,7],X[15,3,16,2]]; -0.567307489 -0.101106765 -0.81727574 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.320388623 0.50208535 0.803281664 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.803965199 -0.0297599324 0.593931229 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.354962751 0.24294808 0.90276114 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.144301384 -0.540832792 0.828659762 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.232357639 0.388909199 -0.891492884 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.719390522 0.621381407 -0.310422975 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.786791006 0.0628312885 -0.614013145 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.793317992 -0.257637033 0.551606493 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,14,5,13],X[5,11,6,10],X[9,7,10,6],X[12,8,13,7],X[8,12,9,11]]; -0.0825900416 -0.454368618 -0.886976913 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.327281133 -0.115169665 0.937882193 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.702520637 -0.623952798 -0.342268404 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.89297712 0.342459579 0.292084406 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.0137021329 0.637719081 -0.770147145 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.324382705 -0.937100272 0.128914471 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[7,5,8,4],X[3,1,4,0],X[2,6,3,5]]; -0.584279725 0.80422585 -0.108802509 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,11,1,10],X[1,5,2,4],X[5,9,6,8],X[6,4,7,3],X[2,8,3,7],X[11,10,12,9]]; 0.755041147 0.553014074 -0.352261694 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.975195935 0.194477112 -0.105695512 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.875409286 0.272055024 0.399555561 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.747286966 -0.017254052 0.664277418 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.730935931 0.678972624 0.0687665693 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[0,8,1,7],X[5,3,6,2],X[3,7,4,6]]; 0.100484453 -0.981230457 -0.164589381 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.901624338 -0.333828325 -0.275013096 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,8,3,7],X[5,9,6,8],X[6,4,7,3],X[1,5,2,4],X[10,13,11,12],X[11,13,12,14]]; 0.0987594784 -0.157803323 0.982519555 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.858325321 0.427405966 0.283904532 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],X[10,9,11,8],X[11,9,12,10]]; 0.659301557 0.561917102 -0.499570443 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.503767557 0.252255479 0.82618728 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.397183989 0.202540011 -0.895110285 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.614264978 0.346636216 0.70888777 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.889870092 0.394553612 -0.229038568 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[1,7,2,6],X[0,4,1,3],X[5,3,6,2]]; 0.685206305 -0.577938447 -0.443260049 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.843157801 -0.179779319 -0.506719171 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[4,8,5,7],X[1,9,2,8],X[6,4,7,3],X[2,6,3,5]]; 0.730293637 -0.551344956 -0.403348414 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.892361975 0.343981054 0.292176555 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,3,8,2],X[8,6,9,5],X[3,7,4,6],X[4,2,5,1],X[12,11,13,10],X[13,11,14,12]]; 0.54960297 0.379920335 0.744041071 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.306352921 0.660922225 -0.685076419 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.269442219 0.631635739 -0.72693685 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.637694178 -0.360063987 0.680955256 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.333901569 -0.894436505 -0.297477865 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.410180595 0.407053342 -0.816124657 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.663282761 -0.686674583 0.297546628 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.38140973 0.193147671 0.904002542 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.964555303 0.202561496 -0.169120986 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.133400224 -0.586804618 -0.798664336 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.357167171 0.0600483427 -0.93210826 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.324894968 -0.905037624 -0.274499833 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.442509948 -0.791301574 -0.42193218 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.0759601698 0.0649414635 -0.994993798 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.0606629443 0.823111084 -0.564630987 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.774626949 -0.558870301 0.29600182 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.404176278 0.380664464 0.83170674 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.013372754 -0.586443602 -0.809879665 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.833827697 0.386954242 0.393697581 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.553278904 -0.0388206606 -0.832090987 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.118496082 0.19672213 0.973272358 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.90133985 0.176507461 0.395514338 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2]]; -0.519202726 0.345771178 -0.781582255 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.165556498 0.769651247 -0.616626308 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.811012068 -0.0427320103 0.583466709 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.996207842 0.0620770383 0.0609620879 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[0,4,1,3],X[5,3,6,2],X[4,8,5,7]]; -0.000759078383 -0.976291712 0.216457655 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[4,2,5,1],X[2,6,3,5]]; 0.812083681 0.552348091 0.188233052 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.37393959 0.918657301 -0.1274282 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,8,1,7]]; 0.719408323 0.583496507 0.376806968 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.542717899 -0.180948723 -0.820191954 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.129780714 0.966584159 -0.221070193 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.468610275 -0.612557703 0.636535522 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.76687231 0.0315134392 0.641025556 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.4402949 0.878060571 0.187483425 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.793868906 -0.541122025 -0.277415057 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.299325304 0.710552025 0.636804665 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.563302869 0.486028403 -0.668181315 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.816490256 0.422557374 0.39343224 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2]]; -0.583274887 -0.790403446 -0.187223925 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.77258742 -0.410039472 0.48474355 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.918530231 0.253234177 0.30360281 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.755093035 0.618356504 -0.217875522 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.0440963883 -0.816952523 0.575016595 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.861230556 0.287324981 0.41919719 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,2,9,1],X[5,3,6,2],X[3,7,4,6],X[7,5,8,4]]; -0.124245566 -0.533410626 0.836681626 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.272542963 -0.482623041 -0.832343278 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.531391898 0.564334407 0.631782658 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.120991598 -0.352545908 -0.927939877 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.829684779 -0.554145591 -0.0674227867 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.655834749 -0.624759342 -0.423741131 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.1738302 -0.984031684 0.038271491 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[7,1,8,0],X[2,6,3,5],X[6,4,7,3]]; -0.989647598 0.0527488352 0.133473561 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.203056209 -0.554533799 0.807007089 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.0407117304 -0.757065679 -0.652069102 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.0894155947 -0.991827438 -0.0910119996 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.514847825 -0.520597646 -0.681109248 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.397111425 0.870471545 0.290829513 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.34453084 -0.902022068 -0.260105149 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.458239929 0.610761183 -0.645745263 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.161302985 -0.0932250476 0.982491953 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.495484252 -0.739154843 0.456229628 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.913420597 -0.265618959 -0.308398088 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.425733232 0.746284878 -0.511673818 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.00505052137 0.835480887 0.549496296 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.317670586 0.670373085 -0.670585807 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.0395654194 -0.185803054 0.981790101 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.0910103864 -0.783389021 -0.614832296 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.0672944656 -0.776253274 0.626819199 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.32578828 0.510994033 -0.795454018 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.541583163 -0.792171353 -0.281340051 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.0352157625 0.0676162299 0.997089713 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.111196055 0.108124276 0.987899073 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.614425835 0.716992045 -0.329246566 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.177943691 0.690941191 0.700668476 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.201984847 -0.191517567 0.960480683 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.646207607 -0.76306561 -0.01210798 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.702570778 -0.573270885 -0.421609765 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.866019992 0.42334281 -0.26606435 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.398993395 -0.755035329 0.520313293 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.542493828 0.745831877 -0.386568567 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.878165912 -0.33935377 0.3371404 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,14,5,13],X[5,11,6,10],X[9,7,10,6],X[12,8,13,7],X[8,12,9,11]]; 0.176038442 -0.117220128 0.977379102 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.604958317 0.284702061 -0.743619642 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.363497777 -0.420714694 -0.831185005 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.0866514828 0.313479314 0.945633248 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.94557931 0.0573878893 0.320291115 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[12,0,13,1],X[6,4,7,3],X[1,11,2,10],X[8,6,9,5],X[9,3,10,2],X[4,8,5,7],X[13,12,14,11]]; -0.461140626 0.234828137 -0.85568982 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.631987845 0.774789225 0.0171178584 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.0746531437 -0.62220264 0.779288639 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.774474878 -0.342443017 0.531903604 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[12,0,13,1],X[1,11,2,10],X[8,4,9,3],X[9,7,10,6],X[5,3,6,2],X[4,8,5,7],X[13,12,14,11]]; 0.326242859 -0.771852845 -0.545718593 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.587988165 0.550259932 0.592860797 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.908269096 -0.418367039 -0.00403352687 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[7,5,8,4],X[2,6,3,5]]; -0.835502625 0.0860649947 -0.542704506 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.927872863 -0.308196906 0.209920503 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[4,2,5,1],X[2,6,3,5],X[7,1,8,0]]; -0.447650515 0.792357812 0.414461233 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.646924628 -0.697543267 0.308094006 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.226290648 0.973774871 -0.0235593528 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,8,5,7],X[1,7,2,6],X[5,3,6,2]]; -0.750008457 0.499944754 -0.43306184 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.367698421 0.879830598 0.301157749 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.263348846 -0.786290989 -0.558922057 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.543011236 0.558730667 -0.626864291 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.73104736 0.614692938 -0.296179591 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.683339939 -0.605727449 0.407603711 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.677665425 -0.0570852891 -0.733151309 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.40991262 0.0739410101 -0.909122858 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.0860867091 -0.945915877 -0.312781446 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.933697087 -0.124032346 0.335895411 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.754565822 -0.631107868 0.17981457 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[3,1,4,0],X[2,6,3,5],X[7,5,8,4]]; -0.570165757 -0.52888061 -0.628646411 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.480195599 -0.502942892 -0.718651956 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.117839841 -0.754654331 0.645453803 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.240854441 0.878696337 0.412167303 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.467285705 -0.729944149 -0.498824227 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.131359034 0.866077244 -0.482343251 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.595809598 0.680782406 -0.426082431 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.724348861 -0.684767685 -0.080074619 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.257897058 -0.665730399 0.700208643 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.675177228 0.0832887627 -0.732938397 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[11,5,12,4],X[5,9,6,8],X[9,7,10,6],X[7,11,8,10]]; 0.713328339 0.551539899 0.432396139 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.544949984 -0.709599344 -0.44665231 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.614158863 0.341910816 0.711270613 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.362930149 0.81799636 -0.446277562 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.701502321 -0.326576083 -0.633437097 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.947928113 0.305822072 0.0889109257 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,11,1,10],X[11,2,12,1],X[8,4,9,3],X[9,7,10,6],X[4,8,5,7],X[5,3,6,2]]; -0.120934422 0.992469394 0.0194773786 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[0,4,1,3],X[4,8,5,7],X[5,3,6,2]]; 0.558075502 0.090355725 -0.824856095 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.756154618 0.520668193 -0.396402353 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.489308793 0.807078497 -0.330456054 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.332730142 -0.885865294 -0.323316151 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.936651453 0.333025681 -0.108526271 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.933123317 -0.282324443 -0.22265171 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,8,3,7],X[5,9,6,8],X[6,4,7,3],X[1,5,2,4],X[10,13,11,12],X[11,13,12,14]]; -0.574707356 0.642789796 -0.506490605 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.123481935 -0.00423612889 0.992337779 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.605976393 -0.565973296 0.558987334 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.377425981 0.261241815 0.888426892 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.750452597 0.0948231515 0.654086744 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.347520706 -0.935307933 0.0665464471 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[4,2,5,1],X[2,6,3,5],X[7,1,8,0]]; -0.548332346 0.724300587 0.417995572 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.669314374 0.500717374 -0.548908354 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.405264679 -0.913685085 0.0306611415 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[7,5,8,4],X[6,2,7,1],X[2,6,3,5]]; 0.29325122 -0.694419688 -0.657103507 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.701437742 -0.710185737 -0.06017735 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[6,4,7,3],X[2,6,3,5],X[4,2,5,1]]; -0.610291977 -0.498270807 -0.615848931 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.91792682 0.358117453 -0.170769561 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.957894899 -0.260844599 0.119989402 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.810583465 0.452161802 -0.372161459 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.259232029 -0.0216436662 -0.965572528 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.202258548 0.966278053 0.159368138 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.597077968 -0.787272652 -0.153946975 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.0781641198 -0.0707611402 -0.994426081 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.850887895 -0.362527616 -0.380215093 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.308146692 -0.742394268 0.594891896 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.124334383 -0.989373725 0.0753697096 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[3,1,4,0],X[2,6,3,5],X[7,5,8,4]]; -0.983254035 -0.0360183622 -0.178645405 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.327629128 0.440698255 0.835729743 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.719839841 0.628483489 0.294684758 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.347539478 -0.89042813 -0.293860607 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.589887795 0.199145803 -0.782542867 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.50191503 0.862809242 0.0603449563 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.126117319 0.18287773 0.975012901 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.680592989 -0.43528989 -0.58933513 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.0684746352 0.47554829 -0.877020552 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.263739795 0.858763438 0.439279726 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.688405388 0.723711159 -0.0483754054 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[1,7,2,6],X[5,3,6,2]]; 0.379054708 -0.703337926 -0.601359535 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.287073078 0.854515478 -0.432888376 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.901740399 0.419840993 -0.102945583 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[0,4,1,3],X[5,3,6,2],X[4,8,5,7]]; 0.590863458 -0.00808888263 -0.806731023 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.140686232 -0.0199189497 0.989853838 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.888258204 -0.0887085972 -0.450697402 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.280538759 0.277195132 0.918945517 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.50731014 0.751442016 -0.42186647 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.415675051 -0.820224949 0.392995275 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.815429021 -0.574622371 0.0698902165 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.613964567 -0.663196324 0.428039889 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.0728912364 0.0100073042 -0.997289688 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.853904807 -0.266786755 -0.446846068 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,6,3,5],X[4,8,5,7],X[6,4,7,3],X[1,9,2,8]]; 0.408853138 0.764053063 -0.499061148 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.351249702 -0.127509906 0.927558554 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.0069340515 -0.232635478 0.972539281 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.669732822 -0.167315441 -0.723507768 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.593011295 -0.72156638 -0.357322772 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.606479424 -0.551337555 -0.57289581 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.978417225 -0.0752348016 -0.192456378 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.150810567 -0.660261007 0.735738796 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.858899337 0.348359656 -0.375416408 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[13,5,14,4],X[10,6,11,5],X[6,10,7,9],X[7,13,8,12],X[11,9,12,8]]; -0.509129084 0.854360502 -0.104190733 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[3,7,4,6],X[5,3,6,2],X[1,5,2,4]]; 0.729781877 0.658098249 -0.185270361 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[0,4,1,3],X[5,3,6,2]]; 0.89012935 -0.203493267 -0.407750206 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,6,3,5],X[4,8,5,7],X[6,4,7,3],X[1,9,2,8]]; 0.204172951 0.928036042 -0.311548569 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.827714293 0.560963411 -0.0144603131 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[0,8,1,7],X[5,3,6,2]]; -0.242041879 -0.669266159 0.70249451 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.721927889 -0.443754288 -0.530944682 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.54114322 0.395643593 0.742044583 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.158825069 0.573324297 -0.80378719 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.171685601 0.565686176 -0.806550188 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.20561889 -0.268104548 -0.941191173 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.415824476 -0.589761129 -0.692294602 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.707588176 0.587559058 -0.392547228 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.621872633 -0.31256648 -0.718036645 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.836077091 0.105790785 -0.538315343 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.725977804 -0.229115435 0.648430679 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.887583388 0.301142521 0.348581285 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[5,3,6,2],X[7,5,8,4],X[3,7,4,6],X[8,2,9,1]]; -0.124318546 0.987002394 0.101838957 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.509280807 -0.304531114 -0.804918543 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.614940061 -0.685399837 -0.389968953 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.226461509 0.63038507 0.742515891 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.987490002 0.11985446 -0.102461726 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[1,7,2,6],X[5,3,6,2],X[0,4,1,3]]; 0.736954275 -0.54565326 -0.398949767 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.288491982 -0.957421292 -0.0108094872 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[3,1,4,0],X[2,6,3,5],X[7,5,8,4]]; -0.183408363 -0.282906599 -0.941448474 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.742848574 -0.531006139 0.407686737 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.766915334 0.268153926 0.583038886 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.409991366 0.517740196 0.750900905 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.137792387 -0.982478232 0.125498132 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[3,1,4,0],X[2,6,3,5],X[7,5,8,4]]; 0.155125371 0.607149312 0.779298295 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.610883122 0.782786675 -0.11860368 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[0,4,1,3],X[5,3,6,2]]; 0.249784618 0.467287301 0.848086212 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.251453576 -0.588263034 -0.768581617 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.428536624 0.575681559 -0.696381436 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.929977037 -0.361375225 0.0674585556 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.654826514 -0.755013981 0.0340018417 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.903603263 -0.270229996 -0.332380644 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.916944214 -0.272736303 -0.291252842 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.124152873 0.350103426 -0.928446905 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.900353498 -0.435158051 -0.00102428254 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[7,1,8,0],X[2,6,3,5],X[6,4,7,3]]; 0.534445122 0.763165218 -0.363245456 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.885978698 -0.124485649 -0.446704679 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,9,2,8],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7]]; 0.810204473 -0.0476260912 -0.584209266 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.37441595 0.836785268 0.399503582 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.864458778 -0.0853139259 0.495411501 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.971916621 -0.031120152 -0.233258693 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.914558403 0.356852924 0.190365225 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.107973019 -0.737237046 0.666950797 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.167022834 -0.42074452 -0.89167114 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.060290898 -0.671398698 -0.738639829 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.161356068 -0.226399923 -0.960576543 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.323422216 0.197231835 -0.925471595 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.0447880068 -0.895431636 -0.442940424 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.233587727 -0.954900952 0.183305608 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[4,2,5,1],X[7,1,8,0],X[2,6,3,5]]; -0.82557445 0.188863119 0.531749519 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,5,8,4],X[8,2,9,1],X[3,7,4,6],X[5,3,6,2]]; 0.518112308 -0.0895260508 0.850614321 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.22245152 -0.953906387 -0.201439634 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.136667875 -0.59158775 -0.794572732 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.142945659 0.671885971 -0.72672951 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.188845913 -0.680380671 -0.708109711 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.442955721 -0.722161163 0.531294159 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.71638117 0.626577952 -0.306917072 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.979642413 0.179960794 0.088965476 k6.8 + A^(-26) - A^(-24) - 3*A^(-22) + 3*A^(-18) + 2*A^(-16) - 2*A^(-14) - A^(-12) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,8,2,7],X[9,3,10,2],X[3,11,4,10],X[6,5,7,4],X[11,9,12,8]]; 0.631342256 -0.436778329 0.640805467 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.334760348 0.530892676 0.778516843 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.750990634 0.149732825 -0.643112081 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.740203553 -0.48049411 0.470344673 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.384969942 -0.823213835 -0.417273441 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.529121237 -0.839435268 0.12401269 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[6,4,7,3],X[2,6,3,5],X[4,2,5,1]]; 0.614903511 -0.749408662 0.245520525 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.287327396 0.107423753 0.951789422 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.779705554 0.115631485 -0.615376802 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.896850909 0.0314134698 0.441216093 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,5,8,4],X[8,2,9,1],X[3,7,4,6],X[5,3,6,2]]; -0.689509222 -0.38163658 -0.615573354 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.230786021 -0.277607502 -0.932562002 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.0658440216 -0.708277614 -0.70285659 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.863466608 0.0778040657 0.498369286 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.391806316 0.802060642 0.450762174 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.378904218 -0.253478311 0.890045133 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.41711068 -0.423105805 -0.8043632 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.486876175 0.526109665 -0.697251899 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.398525678 -0.156093479 0.903776582 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.500292693 0.314648819 0.806661851 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.017657658 -0.998926239 0.0428319531 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[7,1,8,0],X[2,6,3,5],X[6,4,7,3]]; 0.0698537355 0.992534456 -0.0999790481 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[0,8,1,7],X[3,7,4,6],X[5,3,6,2]]; 0.83053852 -0.292167135 0.474177322 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.592036559 -0.431877244 0.680422486 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.237290643 0.497309845 0.834491503 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.61111994 0.116868157 0.782862857 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.747698881 0.621567006 0.233668227 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.806277997 0.419206703 0.41735061 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.542620908 0.61851437 0.568333111 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.419103079 -0.906376417 0.0532390792 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[7,5,8,4],X[2,6,3,5]]; -0.661498344 0.613533766 0.431272836 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.075946228 -0.496022029 0.864982264 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.532486967 0.268989876 -0.802559703 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.609414405 -0.488928308 0.624149975 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.680307984 0.0347748421 -0.73210092 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.620685502 -0.784032723 -0.00649594516 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.0217297165 0.531766033 0.846612488 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.0933674808 0.83307859 0.545217916 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.360561539 -0.927649401 0.0972726378 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[4,2,5,1],X[2,6,3,5],X[7,1,8,0]]; -0.425665571 0.880985693 0.206574514 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.811852187 -0.461041084 -0.358241741 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],X[8,11,9,10],X[9,11,10,12]]; 0.755823159 -0.37731113 -0.535133314 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.183823865 0.0207793769 0.98273954 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.44247864 -0.837473297 -0.320704115 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.554164135 -0.825483053 -0.107144022 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[6,2,7,1],X[2,6,3,5]]; -0.501735471 -0.0244269962 0.864676147 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.859090309 -0.49154682 -0.142637878 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.580365182 -0.428391092 0.692572976 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.891139925 -0.377923889 -0.251083986 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[5,9,6,8],X[1,5,2,4],X[6,4,7,3],X[2,8,3,7],X[10,16,11,15],X[11,14,12,13],X[12,17,13,18],X[14,16,15,17]]; 0.726905902 0.453241899 0.515925955 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.105160093 -0.251420128 -0.96214826 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.841697421 -0.239457785 -0.483947746 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.158659676 0.980653513 0.114655108 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.464024643 -0.708021044 0.532341367 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.73929539 0.673338007 0.00763254473 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.945325198 -0.297059901 -0.134594525 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[3,1,4,0],X[2,6,3,5],X[7,5,8,4]]; 0.903954453 -0.00525268611 0.427596487 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.364518804 0.68881324 -0.62662777 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.741050924 -0.400939767 0.538600808 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[8,2,9,1],X[0,10,1,9],X[5,3,6,2],X[7,5,8,4],X[3,7,4,6]]; -0.282376655 -0.0137487176 -0.959205086 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.993746635 0.103285045 -0.0424243361 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.335175077 0.416876742 0.844909137 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.36958719 0.928875529 0.0244041285 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.625113715 0.0363003652 0.779689122 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.688000001 0.589482503 -0.423280495 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.026834431 0.999351659 -0.0240036435 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,8,1,7]]; 0.854308614 0.4480957 -0.263376224 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.986881021 0.0329430395 0.158052545 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.032512418 -0.544460302 -0.838156263 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.0745711804 0.532859269 0.842911703 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.7271312 0.538353135 -0.425976666 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.0835689529 0.987366712 -0.134622456 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[4,8,5,7],X[5,3,6,2]]; -0.505297169 -0.382771708 -0.773408424 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.649251335 0.189197865 -0.736666052 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.685992891 0.223115937 0.692555436 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.41289029 0.220100328 -0.883785864 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.199167261 -0.718891064 -0.665979009 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.391813787 0.917108066 -0.0734489756 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,8,5,7],X[1,7,2,6],X[5,3,6,2]]; 0.37764665 -0.220641326 0.899277717 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.0689183845 0.238200296 -0.96876771 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.31390572 -0.168651414 0.934355339 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.977124702 -0.0652989049 0.202394096 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.940149483 -0.233195482 -0.24847297 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[5,9,6,8],X[1,5,2,4],X[6,4,7,3],X[2,8,3,7],X[10,13,11,12],X[11,13,12,14]]; 0.293057329 0.483750823 0.824683299 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.101473061 0.395245045 0.912953762 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.682793427 -0.713890196 -0.15541533 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.0724317464 0.365801031 -0.927870275 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.229150565 -0.921440267 0.313748072 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.518638468 0.169486769 0.838026476 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.232608174 0.342080875 -0.910425237 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.318030134 0.0870553281 -0.944075317 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.603653694 0.4528855 -0.656122657 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.704642984 0.377717249 -0.60067291 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.203850666 -0.893980173 0.399054327 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.680487144 -0.398294552 -0.615059913 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.820802479 -0.510751166 -0.255766567 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.415047183 0.909032384 0.0373625499 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,8,5,7],X[5,3,6,2],X[1,7,2,6]]; 0.973584802 0.108932057 0.200664993 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.529019152 0.370832691 -0.7632967 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.246039579 0.921050559 -0.301878111 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.735782534 0.337079015 0.587368539 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.691951778 0.330186651 -0.642012081 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.0896741074 0.581982428 0.808241924 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.773266151 0.618797719 -0.138379345 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[3,9,4,8],X[2,6,3,5],X[6,2,7,1],X[7,5,8,4]]; 0.626246362 0.434302766 0.647453938 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.594320041 -0.755261135 -0.276340924 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.981337331 -0.181570328 -0.0633187131 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[3,1,4,0],X[2,6,3,5],X[7,5,8,4]]; -0.81259238 -0.501225326 -0.297433684 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.549563879 0.756221483 0.355117743 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.139563796 0.885301551 -0.443579881 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.0793389534 -0.990288348 0.114167942 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[7,5,8,4],X[2,6,3,5]]; -0.881067505 -0.472396106 -0.0237059249 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[6,4,7,3],X[4,2,5,1],X[2,6,3,5]]; -0.0548999442 -0.977572104 0.2033194 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[4,2,5,1],X[7,1,8,0],X[2,6,3,5]]; -0.428804378 -0.731804195 0.529706924 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.523992033 -0.763285609 0.377925161 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.448066305 0.48014957 -0.754117349 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.431091088 0.686589089 0.585453582 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.243602972 -0.96795872 0.0609385665 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[6,2,7,1],X[2,6,3,5]]; 0.0799934146 0.320683581 0.943802466 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.330789141 0.756700712 -0.563899439 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.358621597 0.766359994 0.532994287 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.761078199 -0.331745183 -0.557409282 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.855929753 -0.0391374013 -0.515608884 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.871471999 -0.471476059 -0.135081016 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[4,2,5,1],X[2,6,3,5]]; -0.76652507 0.638803325 -0.066103165 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[1,11,2,10],X[7,3,8,2],X[3,7,4,6],X[4,10,5,9],X[8,6,9,5],X[13,12,14,11]]; -0.851286237 -0.523668975 -0.0329020917 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[7,5,8,4],X[2,6,3,5],X[6,2,7,1]]; 0.113138069 0.983426267 -0.141677643 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,8,5,7],X[5,3,6,2],X[1,7,2,6]]; 0.0454330771 -0.834552714 0.549051548 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.638133499 -0.760785303 0.118285075 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[7,1,8,0],X[2,6,3,5]]; -0.983399563 0.129202693 0.127404723 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,4,1,3],X[5,2,6,1],X[2,7,3,6],X[7,5,8,4]]; -0.267949489 0.957317633 0.108379065 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.645003251 0.764177555 0.00186286122 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[0,8,1,7],X[5,3,6,2],X[3,7,4,6]]; -0.691154796 -0.328553766 0.643706044 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.949433988 -0.18674157 -0.252393915 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,8,3,7],X[5,9,6,8],X[6,4,7,3],X[1,5,2,4]]; -0.103701313 -0.865533527 0.489997705 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.43628959 0.491645224 0.75361553 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.434214351 0.664609357 0.608072611 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.501059821 0.755719852 0.421694868 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.797028201 -0.387761197 0.463019764 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.584234009 0.598050344 -0.54864051 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.244631545 0.943260273 0.224533881 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.506489685 0.488417532 -0.710574777 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.619243755 -0.720393039 0.312363635 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.539879304 -0.791803602 -0.285617566 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.0212851279 0.994373137 -0.103773832 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,8,1,7]]; -0.201187721 0.263362565 0.943484849 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.983719825 -0.157037264 0.0873762164 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[7,1,8,0],X[6,4,7,3],X[2,6,3,5]]; -0.0836814258 -0.93302297 0.349950792 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.618566245 -0.464967491 0.633388532 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.0540155085 0.335846551 -0.940366641 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.0630974176 -0.836455393 0.544390569 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.259952789 -0.89243249 0.36876659 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.934717084 -0.302820687 0.186020442 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.798001521 0.536239252 -0.275029158 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.300102735 0.865320201 0.401446508 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.943581284 0.325099397 -0.0629662089 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,8,5,7],X[5,3,6,2],X[1,7,2,6]]; -0.511953937 -0.08223372 -0.855067706 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.205103802 0.800026313 -0.563817638 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.300575047 -0.637433568 -0.709459715 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.191480762 0.218854205 0.956785219 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.691218725 -0.272513289 -0.669293046 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.0527579879 -0.607521693 0.792549044 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.890460165 0.120885324 0.438711104 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.635076126 0.0748288716 -0.768816593 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.225873695 -0.503463665 0.833969671 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.575170721 0.811891018 -0.100058066 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,11,1,10],X[1,9,2,8],X[4,8,5,7],X[6,4,7,3],X[2,6,3,5],X[11,10,12,9]]; -0.491852669 0.101865615 -0.864698993 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.235803706 -0.0647021442 0.969644391 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.683448851 -0.71034088 -0.168266163 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.914401743 0.244327786 0.322759021 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2]]; -0.135854833 -0.80545018 -0.576882546 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.767137859 0.014450984 0.641319479 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.141273524 -0.709157765 -0.69075108 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.607646971 0.747111574 0.269424302 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.0943371768 -0.171236861 -0.980703031 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.950220699 0.309480901 0.0360859381 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,11,1,10],X[1,13,2,12],X[13,3,14,2],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5],X[11,10,12,9]]; -0.724532718 0.271575503 -0.633481718 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.651297709 -0.460383533 -0.603206678 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.788225081 -0.528386716 -0.315449996 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.520619764 -0.673737387 0.524435882 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.121519246 -0.926473272 0.356202679 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.161915902 -0.153111149 -0.974853946 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.438081899 -0.372776148 -0.817998895 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.0107888512 -0.249083072 -0.968422028 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.807455272 0.50123262 0.311097806 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],X[10,9,11,8],X[11,9,12,10]]; 0.863777731 0.177748353 -0.471480174 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,6,3,5],X[4,8,5,7],X[6,4,7,3],X[1,9,2,8]]; -0.937569913 0.34050962 0.0708227106 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[1,11,2,10],X[9,7,10,6],X[5,3,6,2],X[4,8,5,7],X[8,4,9,3],X[13,12,14,11],X[16,15,17,14],X[17,15,18,16]]; 0.564449308 -0.822807689 0.0662154439 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[4,2,5,1],X[8,6,9,5],X[3,7,4,6],X[7,3,8,2],X[9,12,10,11]]; -0.403052083 0.445849648 -0.799229072 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.370279278 0.928850209 -0.0114256493 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[0,4,1,3],X[5,3,6,2],X[4,8,5,7]]; -0.656678015 0.313768788 0.685801088 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.0974833608 -0.759352733 -0.643335388 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.569352087 -0.706678224 0.420052483 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.0386150541 -0.296330822 -0.954304418 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.0235828767 -0.642411462 0.765996972 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.18381743 0.957634493 -0.22169197 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.939483413 -0.243536397 -0.240958376 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.145978608 -0.291669789 -0.945314223 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.899479824 0.360508258 -0.246920719 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.53547661 -0.834371447 -0.130725242 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.26364811 -0.364974572 0.892907182 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.281796258 0.88968487 0.359237667 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.214532978 0.973055625 -0.0844887691 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[0,4,1,3],X[4,8,5,7],X[5,3,6,2]]; 0.253540918 -0.606356028 0.753690501 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.292192247 -0.140549791 -0.945975394 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.248026847 0.737465342 -0.628193881 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.891851917 0.137615484 0.430885294 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.0621348391 0.124123545 0.990319447 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.481898188 0.704756878 0.520664843 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.912178708 -0.0194724591 0.409329729 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.625764944 -0.403614975 -0.667467742 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.907611985 -0.419754402 0.00683567952 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[4,2,5,1],X[2,6,3,5]]; -0.97979141 -0.17292373 -0.100529477 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[3,1,4,0],X[7,5,8,4],X[2,6,3,5]]; -0.684737008 -0.602888694 -0.409463616 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.166382314 -0.594173788 0.786939919 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.9094023 -0.379697352 0.169756819 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[7,5,8,4],X[6,2,7,1],X[2,6,3,5]]; -0.90506817 -0.246170279 0.346773415 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.92320694 -0.0899218424 -0.373634859 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,9,2,8],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7]]; 0.0900863002 0.973329843 0.210982168 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.129756959 -0.276710315 0.952152579 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.826917147 -0.549404032 0.119846745 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.403120691 0.393686665 -0.826138317 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.769792156 -0.557360004 0.311078547 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.272261351 -0.960285211 -0.0610415493 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[6,2,7,1],X[2,6,3,5],X[3,1,4,0]]; 0.0251576516 0.012131204 0.999609887 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.668674888 -0.574699257 0.471799383 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.295560552 0.370632408 -0.880497347 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.657361526 -0.230547189 0.717442554 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.433362665 0.89949802 -0.0556786591 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[0,8,1,7],X[3,7,4,6],X[5,3,6,2]]; 0.509020939 0.597432834 -0.619654494 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.390086324 0.875723076 0.284502642 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.520383533 0.17371886 -0.836075796 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.771598102 0.0359254236 0.635095058 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.859519731 -0.426404394 -0.28178915 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.505293324 0.628363479 0.591471043 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.715139107 0.684104947 0.14344504 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.200367444 0.979671954 -0.00978523679 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,8,5,7],X[5,3,6,2],X[1,7,2,6]]; 0.554791786 0.306869956 -0.773328458 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.0293720935 0.929474886 -0.367714178 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.68408751 -0.539732318 -0.49062542 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.19968539 0.724481694 0.659736326 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.426785914 -0.454448161 0.781876367 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.949309313 0.307044776 -0.0673448807 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.875854941 0.340583167 -0.341878968 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.914033643 -0.279153487 0.294305674 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.611505363 -0.722668504 -0.322197802 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.472818019 0.463544532 0.749379469 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.327757029 -0.785049108 -0.525616996 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.109884202 -0.153475302 -0.982023825 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.0213594979 0.347029669 -0.93761089 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.703886951 0.113221298 0.701230417 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.501396845 0.85640444 -0.123177269 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[0,8,1,7],X[5,3,6,2]]; -0.830315298 0.208718941 -0.51673292 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[13,5,14,4],X[10,6,11,5],X[6,10,7,9],X[7,13,8,12],X[11,9,12,8]]; -0.218598704 0.782859112 -0.582534305 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.913559618 0.314985376 -0.257280074 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.750867447 0.444126389 0.488824946 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.600276259 -0.190078082 0.776877556 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.0662223523 -0.678448302 0.731657366 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.318214285 0.587755118 0.743830351 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.868149578 -0.464311518 0.175302953 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[4,2,5,1],X[2,6,3,5]]; 0.663705435 0.741640018 -0.0972891534 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,8,1,7]]; -0.507338663 -0.655832578 0.559009043 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.421844126 0.800344295 0.42602411 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.341628491 0.845381432 0.41063391 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.971022039 -0.118028271 -0.207811279 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.837491094 -0.0261970596 0.545822665 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.352290058 0.405130685 0.843659198 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.841076249 -0.301026277 -0.44941509 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[4,8,5,7],X[1,9,2,8],X[6,4,7,3],X[2,6,3,5]]; 0.205146736 -0.69579603 -0.68831875 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.823658487 -0.174061803 -0.539712132 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.331807918 0.787211186 0.519809633 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.970925183 0.101249649 -0.216916566 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.093355138 0.887233307 0.451776358 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.206987082 0.0285362032 0.977927417 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.426599408 -0.277057776 -0.860959891 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.902123756 -0.405741854 0.1467865 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.867723348 -0.294653647 0.400294165 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,14,5,13],X[5,11,6,10],X[9,7,10,6],X[12,8,13,7],X[8,12,9,11]]; 0.348177621 0.406896285 -0.844516286 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.00676571378 0.998118074 0.0609469963 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[1,7,2,6],X[5,3,6,2],X[0,4,1,3]]; 0.069646514 0.986771783 -0.146392662 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[1,7,2,6],X[0,4,1,3],X[5,3,6,2]]; -0.0646622666 0.996421983 -0.0544244749 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[1,7,2,6],X[5,3,6,2],X[0,4,1,3]]; -0.772914174 0.190998448 0.605081212 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.867237286 -0.178193085 0.464915814 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,14,5,13],X[5,11,6,10],X[9,7,10,6],X[12,8,13,7],X[8,12,9,11]]; 0.507734014 0.626634768 0.591214883 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.583368232 -0.288546318 0.759224952 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.863111011 0.186020937 0.46950569 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.166282422 -0.727341224 0.665826479 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.735263361 0.574264074 0.360011893 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.638834627 0.600054829 -0.481481589 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.120825962 -0.865709293 -0.48574531 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.876767781 -0.434437151 0.206258624 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[6,4,7,3],X[2,6,3,5],X[4,2,5,1]]; -0.846419164 0.463048235 0.26298466 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],X[10,9,11,8],X[11,9,12,10]]; -0.744566547 0.619255797 0.249284806 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.431480703 0.888666557 -0.155229356 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[3,7,4,6],X[5,3,6,2],X[1,5,2,4]]; 0.0799358012 -0.996798322 -0.00183652714 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[7,1,8,0],X[2,6,3,5],X[6,4,7,3]]; -0.166531382 0.969706699 0.178707069 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.710690648 0.291471391 0.640283712 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.510607096 -0.690496426 0.512342736 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.592070363 -0.470810577 0.654056638 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.1001165 -0.70841242 -0.698661957 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.839773577 0.278560837 0.466030256 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.681345668 0.701082633 -0.210359745 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,8,1,7]]; 0.998880176 0.00200290886 -0.0472692591 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.684834417 -0.64431538 -0.340381422 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.708094268 -0.255416549 0.65830456 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.0772685846 0.669389638 -0.738882317 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.737858025 0.558645997 0.378787783 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.910594677 0.401097818 0.0996888857 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[0,8,1,7],X[3,7,4,6],X[5,3,6,2]]; 0.697265194 -0.453295653 -0.555287583 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.429140699 -0.30288017 -0.850941751 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.9753076 0.146898575 0.164911774 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.0759862366 -0.996783017 -0.0254893685 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[7,1,8,0],X[2,6,3,5],X[6,4,7,3]]; 0.402291879 0.839219632 0.365884753 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.255446809 0.425895933 0.867962892 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.899393399 -0.395728836 -0.185715381 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,9,2,8],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7],X[10,19,11,18],X[17,19,18,20],X[13,21,14,22],X[11,17,12,16],X[12,15,13,14],X[15,20,16,21]]; 0.56709754 0.807616624 0.161727451 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.0987703325 0.932626922 -0.347061155 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.928942301 -0.306808642 0.207206802 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[7,1,8,0],X[6,4,7,3],X[2,6,3,5]]; -0.33282525 0.561768839 -0.757392319 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.162141539 0.966454949 0.199185724 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.826123058 -0.439710814 0.352384865 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.0858433438 0.123530899 0.988620775 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.79602364 -0.397309692 -0.456608556 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.415733413 -0.886282473 0.204130124 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.480128459 -0.0541408256 0.875525804 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.400687781 0.914802165 0.0508556771 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.797451884 -0.315545697 0.514297002 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[8,2,9,1],X[0,10,1,9],X[5,3,6,2],X[7,5,8,4],X[3,7,4,6]]; 0.580040738 0.0257755584 0.814179564 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.744352289 -0.223175514 -0.629390467 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.0113578135 0.151117474 -0.98845056 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.409426224 0.401046727 0.819470371 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.641999192 0.299045616 -0.705980706 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.0807017609 -0.672326235 -0.735842823 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.952825585 0.297233976 0.061444025 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[1,11,2,10],X[8,4,9,3],X[9,7,10,6],X[4,8,5,7],X[5,3,6,2],X[13,12,14,11]]; -0.838128646 0.47700366 -0.264590025 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.976951367 0.0238966103 0.2121202 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.0118508073 0.800018244 0.599858623 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.550763657 -0.435018108 -0.712333237 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.0790029142 -0.996651433 -0.0210822285 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[6,2,7,1],X[3,1,4,0],X[2,6,3,5]]; 0.889218372 0.355415594 0.288045904 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.426435175 -0.852137937 -0.30333806 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.953381038 -0.107753332 -0.281875533 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.698447874 -0.708256883 0.102677915 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[3,1,4,0],X[2,6,3,5],X[7,5,8,4]]; -0.159629597 -0.750747448 0.641012216 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.98637454 -0.0637537983 0.151659886 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.383260838 -0.253878353 -0.888063574 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.745888675 -0.592828892 -0.303651097 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.82138426 0.555467689 0.129551319 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[1,5,2,4],X[5,3,6,2]]; -0.473404148 0.0888995082 0.876347756 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.055285417 0.909432395 -0.412160457 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.304324273 -0.489797049 -0.816997912 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.932187285 0.255204681 0.256704961 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.192698766 -0.143429913 -0.970718829 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.825581997 0.449019748 0.341753758 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.668305899 -0.557718902 -0.492256895 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.62103729 0.368419375 -0.691794658 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.788635717 0.278187461 -0.548329683 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[13,5,14,4],X[10,6,11,5],X[6,10,7,9],X[7,13,8,12],X[11,9,12,8]]; 0.672016656 0.0697294995 -0.737245828 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.0882601259 -0.734022555 -0.673365457 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.891207155 0.254778012 0.375283855 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.298847101 0.880872989 0.367087438 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.956953583 -0.220737194 -0.188454054 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[11,2,12,1],X[3,8,4,7],X[6,10,7,9],X[8,5,9,4],X[2,11,3,10]]; 0.745127588 -0.613114733 -0.262440854 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.999775639 0.000842434406 0.0211651176 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.408925955 -0.283387853 0.867450798 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.398857824 0.389932289 -0.829979063 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.797504078 0.0110184214 -0.603212931 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.508269913 0.753467901 -0.417070519 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.328848873 -0.0104280785 0.944324983 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.58867428 -0.720021492 -0.36746652 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.727396028 0.133157566 0.673174629 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.436150983 0.655711847 0.616290755 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.996093027 0.0216657698 -0.0856111897 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.984556564 0.0732486561 -0.159006308 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.9007643 0.407403278 0.150486691 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.270300933 -0.924701657 0.268075085 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.404129913 -0.334164188 -0.851477133 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.408293553 -0.589974151 -0.696582282 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.399955584 -0.353564034 0.845593285 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.653921255 0.72607367 -0.212612364 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.436448235 0.86152558 0.259396632 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.345949375 -0.937835998 -0.0279762396 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[4,2,5,1],X[7,1,8,0],X[2,6,3,5]]; -0.0230529925 -0.411299976 -0.911208477 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.00470921723 -0.96580556 -0.259224697 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.646286068 0.193421922 0.738174965 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.252572601 0.63654743 -0.728707383 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.464148885 0.225715545 0.85651521 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.0579402038 -0.984318143 -0.166615506 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.695456391 -0.714020214 -0.0807189099 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[7,5,8,4],X[2,6,3,5],X[6,2,7,1]]; -0.115084712 0.0610027263 -0.9914808 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.0181328418 0.507486554 -0.86146886 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.333089938 0.668011038 0.665441467 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.209267092 -0.670132987 -0.712129949 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.929128256 0.365494358 -0.0559871346 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.954189453 0.2865558 -0.0860712565 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.781028509 -0.277007364 -0.559697586 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.771041246 -0.570983428 0.281910132 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.158951824 0.716053435 -0.67970714 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.0923903879 0.926784762 0.364052224 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.7147314 0.665992199 -0.21357298 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,12,1,11],X[10,2,11,1],X[7,3,8,2],X[3,7,4,6],X[4,10,5,9],X[8,6,9,5]]; -0.899608251 0.367367004 -0.236106923 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[13,5,14,4],X[10,6,11,5],X[6,10,7,9],X[7,13,8,12],X[11,9,12,8]]; 0.0510310678 0.993876089 -0.0980109703 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[1,7,2,6],X[0,4,1,3],X[5,3,6,2]]; -0.2613861 -0.958129678 -0.116896654 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.389246118 0.912308205 -0.127205343 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[1,7,2,6],X[0,4,1,3],X[5,3,6,2]]; 0.638921783 -0.156248915 -0.753236504 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.560305481 -0.823918571 -0.0849467851 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.519917207 -0.838369287 -0.163777401 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.304696918 -0.876366208 0.373017502 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.864732934 -0.0530186798 0.499425642 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.126584337 -0.599966078 0.789947537 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.187585572 0.374947317 0.907869023 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.59947125 -0.434019965 -0.67250345 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.609252996 0.593440603 0.525964863 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.0685087163 -0.157862203 -0.985081763 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.958241249 -0.157864029 0.238437952 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.844337448 -0.497125486 -0.199901288 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],X[8,11,9,10],X[9,11,10,12]]; 0.571832657 -0.358739036 0.737776197 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.105145361 0.740131677 0.664190901 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.870341859 0.484572067 -0.0877209306 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,12,1,11],X[10,2,11,1],X[7,3,8,2],X[3,7,4,6],X[4,10,5,9],X[8,6,9,5]]; -0.78927684 0.526721082 -0.315605721 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.755634082 -0.223779475 -0.61558093 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.853989964 0.518536451 0.0426742407 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,8,1,7]]; 0.770888903 -0.136024304 -0.622276215 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.546380556 0.399551012 -0.736089177 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.556917167 -0.534040351 -0.636116477 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.990810152 0.000498546653 -0.135258991 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.225804059 0.657598028 0.718733164 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.407086139 -0.90846801 0.0946929236 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[6,2,7,1],X[3,1,4,0],X[2,6,3,5]]; -0.85926779 -0.502132606 -0.0975792562 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[7,5,8,4],X[2,6,3,5],X[6,2,7,1]]; -0.859746901 -0.0690049454 -0.506037137 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.0545734371 -0.895826203 0.441040988 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.20189878 -0.898108222 0.39068978 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.432576204 -0.490619435 0.756419459 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.973260707 -0.0333948324 0.227262801 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[5,3,6,2],X[7,5,8,4],X[3,7,4,6],X[8,2,9,1]]; 0.373048629 -0.55962236 -0.740038874 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.332368932 -0.0832066089 -0.939471954 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.654425604 0.281980235 -0.701579843 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.835198505 -0.53019382 -0.146075221 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.129536898 -0.829282147 -0.543609522 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.494577912 -0.851165194 0.175813828 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[6,2,7,1],X[2,6,3,5],X[3,1,4,0]]; 0.680076012 0.315804048 -0.661637681 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.0573662659 0.294031146 0.954072742 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.1709528 0.977921401 -0.120186825 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[1,7,2,6],X[5,3,6,2],X[0,4,1,3]]; -0.134778012 0.979797869 -0.147753253 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[3,7,4,6],X[5,3,6,2],X[1,5,2,4]]; -0.0876742843 0.422730358 -0.902004581 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.918760746 0.193739391 0.344011251 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.253708827 -0.840013734 0.479592284 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.448158488 -0.191743289 0.873148602 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.443542066 -0.89488462 -0.0495172017 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[7,5,8,4],X[2,6,3,5],X[6,2,7,1]]; -0.457652918 0.0804954951 0.885479691 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.772518589 -0.59317505 0.226623896 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[7,1,8,0],X[2,6,3,5],X[6,4,7,3]]; -0.869881319 -0.178914604 0.459669506 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[12,0,13,1],X[1,11,2,10],X[6,4,7,3],X[8,6,9,5],X[4,8,5,7],X[9,3,10,2],X[13,12,14,11]]; -0.949044524 -0.0937357703 0.300878874 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.959285599 -0.269636611 -0.0840668669 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[7,1,8,0],X[2,6,3,5],X[6,4,7,3]]; 0.928123473 -0.342362621 -0.146200731 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3],X[5,9,6,8],X[13,21,14,22],X[12,15,13,14],X[17,19,18,20],X[11,17,12,16],X[10,19,11,18],X[15,20,16,21]]; -0.968627149 -0.191685072 -0.158171676 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.255529958 0.865786084 -0.430254456 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.742155561 0.178830612 -0.645929358 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.260940427 0.263873608 0.928590767 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.0340972078 0.730908655 0.681623003 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.350570905 0.678881204 0.645151417 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.303889277 0.89364153 0.330236465 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.458174131 -0.0429951598 0.887821988 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.485007237 -0.480585254 -0.730620143 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.017099518 -0.77237783 -0.634933142 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.245492914 -0.15622435 0.956727329 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.927616724 -0.282802272 -0.24402887 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[5,9,6,8],X[1,5,2,4],X[6,4,7,3],X[2,8,3,7],X[10,13,11,12],X[11,13,12,14]]; -0.0923841535 0.485828165 -0.869158307 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.545950248 0.638953468 -0.541919544 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.669591564 0.131043186 0.731077848 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.415005571 0.772171523 -0.481166827 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.742947571 -0.602358606 -0.291878426 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.555702235 0.544702503 -0.62808774 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.2531884 -0.167018162 0.952890638 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.0172476623 0.307583137 0.951364879 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.571040634 0.0714764545 -0.817804201 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.16436045 0.892459112 0.420121859 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]];