#projection.x projection.y projection.z knotoid_type polynomial PD_code -0.91737429 0.362814129 -0.163677489 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.340429303 -0.540949708 0.769078217 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.867885881 0.472150745 0.154427239 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.757827913 0.558517019 0.337276732 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.168052008 0.938889426 -0.300408337 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.565612183 0.718371915 -0.404999568 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.054671153 -0.702580234 0.709501289 UNKNOWN + A^(-34) + 2*A^(-32) - A^(-30) - 5*A^(-28) - 3*A^(-26) + 3*A^(-24) + 4*A^(-22) - 2*A^(-18) + A^(-14) + A^(-12) PD[X[0,6,1,5],X[6,5,7,4],X[7,3,8,2],X[1,4,2,3],X[8,13,9,12],X[13,10,14,9],X[15,11,16,10],X[11,15,12,14]]; -0.0829831481 -0.984087064 0.157119214 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.839698079 -0.528452672 0.125079616 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.547809652 -0.594046133 -0.589078753 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.372664745 -0.252126376 0.893058385 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.210402803 0.742922958 -0.635449556 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.649715609 -0.717265612 0.251792911 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.107141248 0.86947133 0.482224387 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.483082979 -0.847365228 -0.220460892 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.573910987 -0.062598742 -0.816521632 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.17119463 0.797111736 0.579055506 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[5,2,6,1],X[2,7,3,6],X[4,7,5,8]]; -0.404820976 0.584865646 0.702888436 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.528678347 0.848666661 -0.0162512637 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.436219099 0.746449195 0.502520146 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.458029664 0.880987766 0.118614429 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.205122378 0.705900397 0.677959763 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.0750074055 0.457927121 -0.885819756 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[11,7,12,6],X[7,11,8,10],X[8,14,9,13],X[12,10,13,9]]; 0.10397354 -0.967991098 -0.228435412 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.649918235 0.659191749 -0.37824929 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.190959045 -0.95961579 -0.206572453 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.951166615 0.22706234 0.209104673 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.381478242 -0.890342748 0.248523926 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.861004153 0.0745394447 0.503106072 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.932364414 -0.345247292 -0.107242275 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.728245495 -0.591309414 0.346427015 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.46167602 0.695901963 -0.550068823 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.501178021 0.836322199 0.222229096 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.755481127 -0.627582816 -0.188117183 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.320805212 0.0248661671 -0.946818721 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.940719945 0.059326868 -0.333955549 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.40047819 -0.304296475 -0.864303694 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.123027124 0.227442546 0.965988724 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.0472426941 0.953368131 0.298089473 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.095345683 -0.994563584 -0.0418626065 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,5,1,4],X[3,2,4,1],X[2,6,3,5]]; 0.850887623 0.252572865 -0.460648675 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.788335891 -0.572459925 0.225424396 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.739771952 0.108611634 0.664033864 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.609731102 0.772608621 0.176929088 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.662251079 -0.0229375333 0.748930824 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0636427268 0.955524475 0.287962812 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.242957678 0.92160684 -0.302675404 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.690535509 -0.502186012 -0.520547712 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.533140504 -0.331024026 -0.778578382 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.784055281 -0.616540744 0.0716577093 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.20438597 0.770093958 0.604302632 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2]]; -0.648886321 0.190178441 0.736735165 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.858642156 0.20991638 0.467620317 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0548940355 0.993774132 0.0969516318 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.855924284 -0.299001412 0.421890715 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.589031301 0.00158953852 -0.808108656 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.53708709 0.0186905475 -0.843319703 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[6,1,7,0],X[4,2,5,1],X[11,2,12,3],X[3,12,4,13],X[5,8,6,7],X[10,8,11,9],X[21,10,22,9],X[18,14,19,13],X[14,18,15,17],X[15,21,16,20],X[19,17,20,16]]; -0.968326431 0.11776142 -0.220173048 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.860104111 0.503673574 0.080832235 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.195637743 -0.9019258 -0.385039901 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.965049888 0.0644448055 -0.254018857 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.664689818 -0.482720844 0.570235068 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.431591733 0.796316315 0.423802905 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.833185325 -0.498588357 -0.239190017 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.026604757 -0.710466396 0.703228048 k4.6m + A^(-20) - 2*A^(-16) - 2*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[4,3,5,2],X[0,4,1,3],X[1,6,2,5],X[8,7,9,6],X[7,10,8,9]]; -0.409174614 -0.116921633 -0.904933957 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.124702626 0.591000748 0.796973884 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[3,11,4,10],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.944221255 0.290383061 0.155318703 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.357031779 -0.576165071 -0.735229298 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.791275111 -0.132222709 0.596993178 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.366624884 -0.0111948392 -0.930301494 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.787748397 0.249882172 -0.563037622 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.247283914 0.794391715 0.554790474 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[5,2,6,1],X[2,7,3,6],X[4,7,5,8],X[8,11,9,10],X[9,11,10,12]]; 0.934612669 0.244754401 0.258058989 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0248549203 -0.0823215279 -0.996295839 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.704046816 -0.68871522 0.173174556 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.145800127 0.168569358 0.974847011 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[1,16,2,17],X[0,5,1,4],X[2,10,3,9],X[7,18,8,17],X[8,7,9,6],X[3,5,4,6],X[10,14,11,13],X[14,12,15,11],X[12,16,13,15]]; 0.309154384 0.72366504 0.617035231 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0162717463 -0.597019383 0.802061772 UNKNOWN + A^(-38) + A^(-36) - 2*A^(-34) - 2*A^(-32) + A^(-30) + 2*A^(-28) - A^(-26) - 3*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[0,5,1,4],X[1,7,2,6],X[7,3,8,2],X[14,11,15,10],X[5,4,6,3],X[13,17,14,16],X[8,13,9,12],X[17,12,18,11],X[9,16,10,15]]; 0.0269914821 0.934086127 0.356026077 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[4,1,5,0],X[1,4,2,3],X[5,3,6,2]]; -0.0404863831 -0.898466965 0.437170409 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.816341719 0.42076966 -0.395650214 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.964563063 0.141065543 -0.222976703 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.587153631 -0.113847012 0.801429642 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.829255318 -0.46606255 -0.308417438 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.760133925 -0.50380216 -0.410341077 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.147579755 -0.985890853 0.0789901381 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.695705104 -0.559920178 -0.449982002 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.148472264 0.170620156 0.974086623 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[2,6,3,5],X[4,2,5,1]]; 0.199232405 -0.949803229 0.241205878 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.855484095 0.495995747 0.148778972 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.474099665 -0.656174017 -0.587081908 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.28094061 0.593297788 -0.754367357 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.422056775 0.816181305 -0.394608864 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.202186013 0.880316703 0.429142539 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2]]; -0.841568454 0.137340707 -0.52239838 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.398067505 -0.366044291 0.841162195 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; -0.862784865 0.268718949 -0.428243393 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.523476517 -0.728413822 0.442024479 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.517043468 -0.332344323 -0.788804984 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.668283859 -0.743606403 0.0211234791 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.550197138 -0.768001389 -0.327806308 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.613626845 0.787271405 -0.0605460908 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.607340484 0.429490967 -0.668337523 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.103461549 -0.158241323 -0.981965066 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[2,1,3,0],X[1,4,2,3],X[8,5,9,6],X[19,10,20,9],X[10,7,11,6],X[7,12,8,11],X[18,4,19,5],X[15,13,16,12],X[13,17,14,16],X[17,15,18,14]]; 0.15626217 0.678486368 -0.717801074 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[4,1,5,0],X[6,2,7,1],X[2,8,3,7],X[3,6,4,5],X[11,8,12,9],X[14,10,15,9],X[10,16,11,15],X[12,18,13,17],X[16,14,17,13]]; -0.167807619 -0.837000207 0.520837073 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.583985804 0.780095292 -0.22452598 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0582749649 -0.700550777 -0.711219121 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; -0.498317313 0.292809583 -0.816052942 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.701362918 0.275714412 0.65732155 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.534610433 -0.836337083 0.121375324 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.810550146 0.377500767 0.447774086 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.374885172 -0.496770431 -0.782738939 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[0,5,1,4],X[3,2,4,1],X[11,2,12,3],X[5,9,6,8],X[9,7,10,6],X[7,11,8,10]]; 0.670554051 0.73919276 -0.0628595888 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.439638353 0.827455756 0.349335211 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,8,7,9],X[7,10,8,9]]; -0.00562791977 0.902175664 0.43133212 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.314231751 0.915851656 0.249948296 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.188108841 -0.979963133 0.0654776422 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.159216354 -0.894428007 -0.41790991 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4]]; -0.0927139745 0.614791408 -0.783221324 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.830010293 -0.326688126 0.452059489 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.950024815 -0.309293047 -0.0423162207 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.730276034 -0.336560382 0.594494764 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.305559165 0.715363685 0.62840146 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.0548421478 0.563940279 0.823992537 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[5,1,6,0],X[7,13,8,12],X[4,3,5,2],X[3,16,4,15],X[6,10,7,9],X[10,14,11,13],X[11,9,12,8],X[1,15,2,14]]; -0.264158087 0.911567069 -0.315065046 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.000363032745 -0.668129218 -0.744045171 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[9,2,10,1],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; 0.927349866 -0.223203537 0.300337156 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.657948753 -0.588574377 -0.469769775 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.373734213 -0.857591527 -0.353354653 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,6,9,7],X[9,8,10,7]]; -0.353588314 0.355691479 -0.865135178 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.832083594 0.342737337 0.436082573 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0598177529 -0.804090468 -0.591489946 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.628819479 -0.378054455 -0.679456321 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.252308744 0.581641455 -0.773326267 k12.1 - A^(-42) - A^(-40) + 3*A^(-38) + 4*A^(-36) - A^(-34) - 5*A^(-32) - 2*A^(-30) + 2*A^(-28) - 2*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[2,5,3,4],X[3,1,4,0],X[5,2,6,1],X[13,8,14,7],X[11,7,12,6],X[15,9,16,8],X[9,15,10,14],X[10,13,11,12],X[25,16,26,17],X[22,18,23,17],X[18,22,19,21],X[19,25,20,24],X[23,21,24,20]]; -0.475585485 0.799733451 -0.366394396 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.986822206 -0.132620944 0.0927017797 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.189526549 -0.557613128 0.808175282 k12.1 - A^(-42) - A^(-40) + 3*A^(-38) + 4*A^(-36) - A^(-34) - 5*A^(-32) - 2*A^(-30) + 2*A^(-28) - 2*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[0,15,1,14],X[3,10,4,9],X[16,12,17,11],X[5,17,6,18],X[1,13,2,12],X[8,5,9,4],X[7,11,8,10],X[2,7,3,6],X[15,14,16,13],X[18,22,19,21],X[22,20,23,19],X[20,24,21,23]]; 0.0949143328 0.978107416 0.185194904 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.884679383 -0.0846430694 0.458451677 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.76185658 0.0540289719 -0.645488515 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.653978935 0.49973714 0.567956286 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.260122701 0.893669283 -0.365638338 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.398759894 -0.880266187 -0.257141958 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.558757143 -0.807859566 0.187492336 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.31764747 0.940454547 -0.121017891 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.215947553 0.975303655 0.0463619893 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.805798741 -0.45841766 -0.374888834 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.195122097 0.0624220688 0.978790505 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,11,2,12],X[6,10,7,9],X[3,11,4,10],X[8,6,9,5],X[4,8,5,7]]; 0.79186029 0.316367123 -0.522368763 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.696631486 -0.712825286 0.0811460637 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.953507399 -0.294559139 -0.063706778 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.479117353 0.847032593 0.230178946 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.989175022 0.0601600602 0.133841488 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.974986173 -0.187680589 -0.119071237 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.198615247 -0.483435851 0.852550152 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.404389237 -0.876708809 -0.260482264 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.0830013169 0.644247011 -0.760300315 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.87424937 0.25341639 0.414087155 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.198372264 -0.563716482 -0.801793098 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.567825281 -0.76057788 -0.314794758 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.405424193 0.112283 0.907206565 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.00987649258 -0.816220127 0.57765661 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0631211673 -0.963690871 -0.259452545 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.622921539 0.718221627 0.310042659 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.946768254 -0.0215230541 0.321195627 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.125562575 0.968213206 -0.216326667 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.402608157 0.550787953 0.731121948 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.407090764 -0.0250808884 -0.913043295 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.919912847 -6.18335032e-05 -0.392122875 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.421118942 -0.866081543 0.2693726 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.0594311372 0.967194392 -0.246987749 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.737587909 0.544341899 -0.399569736 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0785284306 -0.269109133 -0.959902891 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[9,7,10,6],X[10,4,11,3],X[5,9,6,8],X[7,5,8,4]]; -0.605629445 0.565267359 0.560076591 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.428063516 0.65847058 0.61901383 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.794883996 0.600333181 -0.0880880519 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.622274901 0.012461835 -0.782699591 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.132747819 0.987388154 0.0862707966 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.123961198 -0.735309957 -0.666297898 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.184377113 -0.455019638 0.871184371 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,12,2,11],X[3,9,4,8],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9]]; 0.420278476 -0.907359293 -0.00806950731 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.376594778 0.92595083 -0.028132414 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.730276016 0.650163311 -0.209725082 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.269968662 0.878653263 0.393808794 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.559570462 -0.508090561 0.65477086 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.222739902 -0.711216629 0.66675171 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[5,4,6,3],X[1,7,2,6],X[7,3,8,2],X[0,5,1,4],X[8,11,9,12],X[9,15,10,14],X[15,11,16,10],X[17,13,18,12],X[13,17,14,16]]; -0.0144084766 -0.604394762 0.796554686 UNKNOWN + A^(-38) + A^(-36) - 2*A^(-34) - 2*A^(-32) + A^(-30) + 2*A^(-28) - A^(-26) - 3*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[0,5,1,4],X[1,7,2,6],X[7,3,8,2],X[8,13,9,12],X[5,4,6,3],X[16,11,17,10],X[13,12,14,11],X[9,16,10,15],X[14,18,15,17]]; -0.367594128 -0.571404837 0.733737739 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,10,7,9],X[7,12,8,11],X[10,9,11,8],X[12,21,13,22],X[13,19,14,18],X[17,15,18,14],X[20,16,21,15],X[16,20,17,19]]; -0.994765053 -0.0661126713 -0.0779204923 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.149911835 -0.830743849 -0.536088704 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.628162042 -0.775477537 0.0636163354 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.69767618 0.453254661 -0.554804615 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.592900972 -0.697882043 -0.401782393 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.613235517 0.789881577 -0.0054124007 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.649265448 0.714334071 -0.261115324 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.464128472 -0.0110050067 -0.885699526 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[6,1,7,0],X[4,2,5,1],X[11,2,12,3],X[3,12,4,13],X[5,8,6,7],X[10,8,11,9],X[21,10,22,9],X[18,14,19,13],X[14,18,15,17],X[15,21,16,20],X[19,17,20,16]]; 0.151005841 -0.960468159 0.233876361 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.919869981 -0.203451877 0.335330511 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.754998385 -0.577820342 -0.310001759 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.350243668 0.381454929 -0.855465669 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[9,7,10,6],X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[11,8,12,7],X[8,11,9,10],X[19,12,20,13],X[16,14,17,13],X[14,18,15,17],X[18,16,19,15]]; 0.418722942 -0.0372701921 0.907348902 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.422363273 0.543575343 -0.725351716 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[2,1,3,0],X[7,5,8,4],X[1,4,2,3],X[9,6,10,5],X[6,9,7,8],X[13,11,14,10],X[11,15,12,14],X[15,13,16,12]]; 0.793605789 -0.22550302 -0.565100204 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.996496081 0.0499463298 -0.0670889346 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.276359007 0.869982554 -0.408357754 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.57716567 -0.036777393 -0.815798512 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.433549439 0.0641518614 -0.898843381 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.928358477 0.363589948 -0.0771549642 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.580557727 -0.610962284 0.538217255 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; -0.664746406 -0.0943679114 -0.741084957 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.180710315 0.966946579 -0.179883559 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.606432303 -0.64756172 0.461414868 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.431840162 -0.0198359529 0.901732005 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.674075663 -0.721613239 0.157785725 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.126205333 -0.945282783 -0.300853243 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3],X[6,4,7,5],X[7,6,8,5]]; -0.497686599 0.867356439 -0.00092602754 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.390542553 -0.200382397 -0.898511775 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.638900026 0.570557532 0.516014399 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.00367180124 0.865753798 0.500456671 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2]]; -0.400872298 0.856166858 -0.326005694 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0648750145 0.504919936 0.860724747 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[3,9,4,8],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9]]; -0.257442681 0.962109666 0.0898234742 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.713375856 -0.0468914066 -0.699211044 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.82513853 0.564930357 -0.000313756987 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.448124694 -0.678731306 0.581814467 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.921935877 0.33596482 0.192774166 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.250760732 -0.961044189 -0.116245956 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.838109094 0.393326413 -0.377978146 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.352125631 -0.252374682 0.901284949 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.507692807 0.0792862083 -0.857882108 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.776449117 -0.244745294 0.580712071 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.194574935 0.025029351 0.980568267 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.516924199 -0.213005825 0.829106682 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.384860635 -0.236377556 0.892192772 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.122942536 0.631118809 -0.765881311 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,8,3,7],X[5,1,6,0],X[1,5,2,4],X[6,4,7,3]]; -0.400725381 -0.733234876 0.549350331 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.107166306 -0.299505591 0.948056846 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[7,11,8,10],X[9,13,10,12],X[11,9,12,8],X[6,14,7,13]]; -0.260014849 0.628952781 0.73267365 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.668562717 0.077069837 0.73965136 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0515144879 0.970293118 -0.236384268 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0170954745 0.989864261 -0.140984002 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.827816726 0.242551725 0.505853862 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.311032777 0.872024407 0.37793127 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.478169367 -0.491636423 0.727768977 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[1,4,2,3],X[6,5,7,4],X[5,0,6,1],X[7,3,8,2],X[8,12,9,11],X[12,10,13,9],X[10,14,11,13]]; 0.615605804 -0.721974563 0.315883246 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.83352319 0.086274784 -0.545706654 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.247555822 0.326667991 -0.912142609 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.579582495 0.267055755 -0.769912563 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.911846773 -0.407736359 -0.0478176144 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.447909312 -0.520719088 -0.726793561 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.701934973 -0.198475436 0.684028359 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.420478901 -0.780039394 -0.463396199 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.167257867 0.982404384 0.0831049522 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.332456779 -0.029064915 -0.942670526 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.672092623 0.707881886 0.21724351 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.958100596 0.0925139715 0.271080086 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.290918299 0.897737806 -0.330807156 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.172458699 -0.599821391 -0.781327265 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[6,4,7,3],X[9,5,10,4],X[5,9,6,8],X[10,8,11,7]]; -0.749421737 0.658601897 0.0679014092 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.798944836 -0.500462379 0.333503458 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.728369799 0.594834981 -0.340071728 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.491193503 -0.0398118037 -0.870140197 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.266737251 -0.597253716 0.756398861 k12.1 - A^(-42) - A^(-40) + 3*A^(-38) + 4*A^(-36) - A^(-34) - 5*A^(-32) - 2*A^(-30) + 2*A^(-28) - 2*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[0,14,1,13],X[1,12,2,11],X[6,16,7,17],X[8,5,9,4],X[5,10,6,9],X[14,13,15,12],X[3,18,4,17],X[2,8,3,7],X[15,11,16,10],X[18,27,19,28],X[19,25,20,24],X[23,21,24,20],X[26,22,27,21],X[22,26,23,25]]; 0.313393849 -0.941183724 -0.126322972 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.900656279 0.42448974 0.0928801806 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.184084352 0.510258125 0.840089041 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.646697306 0.201458767 0.7356609 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.209869243 0.291692028 0.933204512 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.636862021 -0.283392254 -0.7170046 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.1152171 0.0302937948 0.992878294 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.199362321 -0.979921255 0.00299970293 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.170618083 0.878523971 0.446189536 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2]]; 0.149698872 -0.985200035 0.0834933505 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.506222955 -0.855128908 -0.111771506 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.551436617 -0.162534886 0.818229838 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; -0.0786558589 0.755849527 -0.650003653 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[5,9,6,8],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4]]; 0.352699258 0.908187444 -0.225385891 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.842791787 -0.0122114318 0.538101184 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.850285306 0.330566626 -0.409561478 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.7249939 -0.282534055 0.628138801 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.763571528 -0.445974627 0.466974467 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.729441334 -0.237379904 0.641534193 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; -0.793153246 -0.295460561 0.532551392 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.35322687 -0.73555857 -0.578086817 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.825536556 0.220609989 0.519442612 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.659165263 -0.728758939 -0.185503546 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.496669514 -0.710888515 -0.497952721 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.851264301 -0.458773445 -0.254707707 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.463182466 -0.394777327 0.793481484 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[4,3,5,2],X[9,8,10,7],X[1,6,2,5],X[0,4,1,3],X[8,6,9,7],X[10,14,11,13],X[14,12,15,11],X[12,16,13,15]]; 0.0703758724 -0.297960826 -0.951980348 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[2,1,3,0],X[1,4,2,3],X[4,7,5,6],X[15,6,16,5],X[13,11,14,10],X[14,8,15,7],X[9,13,10,12],X[11,9,12,8]]; -0.690602131 -0.0569638643 0.720988082 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.287550737 0.717093725 -0.634894608 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.847313769 0.170341071 0.503034091 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.369781849 0.360313921 -0.85640835 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.729283088 0.172244819 -0.662176638 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.417334744 0.751978151 0.510255399 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.962352275 0.184609374 0.199493051 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.834912585 -0.531554671 0.142725634 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.482742903 -0.676395421 -0.556280975 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.481822765 0.256064375 -0.838020202 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.0152916667 0.590942228 0.806568936 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[5,1,6,0],X[3,2,4,1],X[2,16,3,15],X[4,15,5,14],X[7,11,8,10],X[9,13,10,12],X[11,9,12,8],X[6,14,7,13]]; 0.384386609 0.188156247 0.903794314 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.98204178 -0.0150477241 -0.188062513 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.574744652 -0.505079265 -0.643866074 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.272299969 -0.752996891 -0.599039571 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.344876979 -0.832887739 -0.432848568 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4]]; -0.875480772 0.477021103 -0.0773581634 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.334377405 -0.815503111 0.472383771 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.854058586 0.477964767 0.205264739 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.508152097 -0.821323315 0.259247872 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.523068672 0.674139027 0.521474579 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.00199321924 0.597659793 -0.801747341 UNKNOWN + A^(-38) + A^(-36) - 2*A^(-34) - 2*A^(-32) + A^(-30) + 2*A^(-28) - A^(-26) - 3*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[4,1,5,0],X[6,2,7,1],X[2,8,3,7],X[3,6,4,5],X[12,9,13,8],X[9,14,10,13],X[14,11,15,10],X[11,16,12,15]]; -0.96072306 0.23768665 -0.143234977 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.767449658 0.638242817 -0.0605568206 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0332052174 -0.479870491 0.876710742 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[1,6,2,5],X[0,4,1,3],X[4,3,5,2],X[6,12,7,11],X[10,8,11,7],X[13,9,14,8],X[9,13,10,12]]; 0.47840409 -0.0851609083 -0.874000656 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.921665078 -0.103737579 -0.373860936 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.340205476 0.937164461 -0.0773499086 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.230411523 -0.973021398 -0.011827487 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.407087367 -0.725037309 0.555518475 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.855793068 -0.242673488 -0.45686738 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0974466514 -0.962465023 0.253308565 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.4184096 -0.739463416 -0.527377723 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.384267537 0.795810568 0.468 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.545963148 0.798344739 0.254106116 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.148696175 0.743218946 -0.652315143 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 3*A^(-20) - A^(-18) + 2*A^(-16) + 2*A^(-14) + A^(-12) PD[X[5,1,6,0],X[7,2,8,1],X[2,10,3,9],X[10,4,11,3],X[4,7,5,6],X[11,8,12,9],X[12,15,13,14],X[15,14,16,13]]; -0.5051148 -0.79715213 -0.330768076 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.477055786 -0.743763578 -0.46822379 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.369307119 -0.790304678 -0.48890773 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.252434059 -0.233377309 0.939048496 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.12402922 -0.438582165 0.890091252 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; -0.303893134 0.116272456 0.945584306 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.17034486 -0.321840052 -0.93134398 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[9,1,10,2],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; 0.622656654 0.766030671 -0.159673737 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0330657455 -0.557109782 -0.829780301 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[6,4,7,3],X[9,5,10,4],X[5,9,6,8],X[10,8,11,7]]; -0.752545085 -0.269034164 -0.601079457 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.178901743 0.829839861 -0.528545146 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[4,1,5,0],X[6,2,7,1],X[2,8,3,7],X[3,6,4,5],X[8,12,9,11],X[12,10,13,9],X[10,14,11,13]]; 0.888198166 -0.00249554141 0.459453795 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.251807565 -0.626077403 -0.737983764 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.879688007 0.311834936 -0.35903758 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0878272188 0.812209635 0.576716471 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.851180028 0.361586119 0.380457669 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.574485074 -0.643111419 0.506334477 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.987563166 -0.15109777 0.0434563928 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.202151816 -0.562213193 0.801904588 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.639652118 -0.566375666 -0.519676604 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.377910695 -0.696582887 -0.609881782 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0475019862 0.657230201 0.752191481 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[5,1,6,0],X[3,2,4,1],X[2,14,3,13],X[4,13,5,12],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.634962179 0.316627946 -0.704677072 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.921960288 0.226718796 -0.313986965 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.231998889 0.299699306 0.925395506 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.392136117 -0.0815072881 -0.916289161 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.24033091 0.970646954 -0.00924905622 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.162577667 0.941329265 0.295749416 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.643182437 0.690180089 -0.331613929 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.748521701 -0.202810598 -0.6313344 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.44508956 -0.359495948 -0.820157269 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.818907452 0.556986716 -0.138406586 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.268052357 -0.727775887 -0.631260796 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.652748684 -0.306475146 0.69281465 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.274709423 -0.960179022 -0.0509016551 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.356300248 0.92706126 -0.116651418 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.0570682652 0.354565838 -0.933287887 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.521755241 0.351780775 -0.777188365 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.895648178 -0.313262056 0.315723336 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.80143995 0.101730829 -0.58935969 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.449761305 -0.511424789 0.732229099 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,4,1,3],X[4,3,5,2],X[1,6,2,5],X[6,10,7,9],X[7,12,8,11],X[12,21,13,22],X[10,9,11,8],X[13,19,14,18],X[17,15,18,14],X[20,16,21,15],X[16,20,17,19]]; -0.952242471 0.0977216661 -0.289283171 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.627297676 -0.694330325 0.35270813 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.980553383 -0.187986 0.0563589027 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.268110606 0.0900875562 0.959166792 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[3,9,4,8],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9]]; 0.352654629 -0.0417116197 0.934823434 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.881582389 0.34039577 0.327021729 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0899181553 0.995424665 -0.0323181218 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.494472944 -0.0268452655 -0.86877836 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[6,1,7,0],X[4,2,5,1],X[11,2,12,3],X[3,12,4,13],X[5,8,6,7],X[10,8,11,9],X[21,10,22,9],X[18,14,19,13],X[14,18,15,17],X[15,21,16,20],X[19,17,20,16]]; -0.302717378 -0.952731454 0.0257869423 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.880214829 -0.331604115 -0.339500465 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.981889898 -0.150856596 0.114605913 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.54340937 0.54383154 0.639494732 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.227433213 0.973094217 0.0369022838 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.681226607 0.327697693 0.654633128 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0287429525 0.777028035 0.628809411 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.483983695 -0.376387368 0.789995146 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.961558251 -0.122976663 0.245524885 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.625183888 0.583602455 0.518221265 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.572372626 0.012856361 -0.819892853 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.0941532522 -0.90744387 -0.409488447 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.336970825 0.204071052 -0.919133107 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.0189787095 -0.867594142 -0.49691067 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4]]; -0.583955038 0.572600023 0.57543525 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.965257713 -0.0988982098 0.241860892 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.298212269 0.81137415 0.502733956 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2]]; -0.145429294 -0.843641813 0.516835382 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,8,1,9],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7],X[16,12,17,11],X[4,17,5,18],X[9,15,10,14],X[13,11,14,10],X[12,16,13,15]]; 0.395892094 -0.727779219 -0.560006124 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.617293878 -0.756134039 0.217277664 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.519797028 -0.366615786 0.771624206 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.478926845 0.848349093 0.22568317 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.101202721 0.965214138 -0.241080229 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.28298392 0.94987278 0.132897716 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.596843893 -0.800379336 -0.0563052851 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.563858319 0.467440809 0.680854526 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.217108957 -0.0690199087 0.973704243 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.805795291 -0.591504645 -0.0285692839 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.996142748 -0.0876505552 -0.00412392663 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.417368456 -0.904269306 0.0900033019 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.227919798 0.349985978 -0.908604634 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[2,5,3,4],X[5,2,6,1],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.0660328459 -0.50476492 0.860727622 k12.1 - A^(-42) - A^(-40) + 3*A^(-38) + 4*A^(-36) - A^(-34) - 5*A^(-32) - 2*A^(-30) + 2*A^(-28) - 2*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[0,15,1,14],X[7,12,8,11],X[6,16,7,17],X[2,6,3,5],X[8,5,9,4],X[1,13,2,12],X[3,10,4,9],X[17,11,18,10],X[15,14,16,13],X[18,24,19,23],X[22,20,23,19],X[25,21,26,20],X[21,25,22,24]]; -0.101246737 -0.874401467 -0.474522047 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.978361591 0.109778419 -0.175377582 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.684095323 -0.529234358 -0.501920893 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.327629289 -0.798212807 -0.505485276 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.92669937 -0.327999888 0.183423966 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.606591054 -0.794680443 0.0230279677 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.740264501 0.228987503 0.63211802 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.818019218 0.493619417 -0.295270097 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.564175388 -0.0690722451 -0.822760692 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.400766713 0.545317817 -0.736216355 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[9,7,10,6],X[11,8,12,7],X[8,11,9,10],X[15,13,16,12],X[13,17,14,16],X[17,15,18,14]]; 0.899968134 0.269037137 0.343039904 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.217905457 0.85740641 0.466231123 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2]]; -0.402705016 0.0103087769 0.915271762 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0272516491 0.998586307 -0.045636998 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.999025158 0.0231238467 -0.0376034728 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.252185733 0.791065341 -0.557331124 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.361400929 0.236794467 -0.90184131 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.129258572 -0.968893553 -0.211039108 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.204840258 -0.517837547 -0.830593007 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[0,5,1,4],X[3,2,4,1],X[13,2,14,3],X[11,9,12,8],X[12,6,13,5],X[7,11,8,10],X[9,7,10,6]]; 0.414819629 -0.463174083 -0.783195023 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.693842832 0.712801905 -0.10244788 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0372069276 -0.00554351826 -0.999292206 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.391111134 0.359026086 -0.8474269 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[5,2,6,1],X[2,5,3,4],X[3,1,4,0],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.552462081 -0.631390068 0.544180329 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,6,1,5],X[4,2,5,1],X[6,2,7,3],X[3,7,4,8],X[8,12,9,11],X[12,10,13,9],X[10,14,11,13]]; 0.10079954 -0.915156497 0.390292247 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.909883027 -0.0263568828 -0.414026801 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.476522218 -0.785618609 0.394626376 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.0421290192 -0.721866168 0.690749145 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 3*A^(-20) - A^(-18) + 2*A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,7,1,6],X[1,14,2,15],X[2,12,3,11],X[10,21,11,20],X[4,14,5,13],X[7,6,8,5],X[12,4,13,3],X[8,19,9,20],X[9,23,10,24],X[18,16,19,15],X[22,17,23,16],X[17,22,18,21]]; 0.199112319 -0.974228155 -0.105989555 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.00789583326 0.00117813386 -0.999968133 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.492278032 0.5666074 -0.66077106 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.460070123 -0.529815667 0.712482169 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.566843548 0.316003474 0.760808909 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.600365926 -0.746353018 -0.287259339 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.688927727 -0.511673005 -0.51339003 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.168986976 0.207010323 -0.963633814 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.28473106 0.734804981 -0.615621526 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[3,1,4,0],X[9,2,10,1],X[2,9,3,8],X[22,5,23,4],X[5,13,6,14],X[24,6,25,7],X[14,24,15,23],X[19,26,20,25],X[18,12,19,13],X[20,12,21,11],X[16,11,17,10],X[15,7,16,8],X[21,18,22,17],X[31,27,32,26],X[27,31,28,30],X[28,34,29,33],X[32,30,33,29]]; 0.0357651358 0.570557936 -0.820478213 UNKNOWN + A^(-38) + A^(-36) - 2*A^(-34) - 2*A^(-32) + A^(-30) + 2*A^(-28) - A^(-26) - 3*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[5,1,6,0],X[4,3,5,2],X[12,9,13,8],X[3,8,4,7],X[1,7,2,6],X[9,14,10,13],X[14,11,15,10],X[11,16,12,15]]; 0.114448958 0.604851927 0.788070798 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[3,7,4,6],X[4,10,5,9],X[8,6,9,5],X[7,11,8,10]]; -0.783504708 -0.523487256 -0.3347857 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.353063403 -0.747515432 -0.562642793 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.923842971 -0.275602551 0.265626425 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.612445738 -0.364246908 0.70159419 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.755829145 0.106868599 -0.645988705 UNKNOWN + A^(-26) - A^(-24) - 3*A^(-22) + A^(-20) + 4*A^(-18) + A^(-16) - 4*A^(-14) - A^(-12) + 3*A^(-10) + A^(-8) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[4,7,5,6],X[5,1,6,0],X[8,3,9,4],X[7,2,8,1],X[2,9,3,10],X[13,11,14,10],X[11,15,12,14],X[15,13,16,12]]; -0.64694209 -0.0150347193 0.762390903 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.665404004 -0.147030472 -0.731860336 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.958877389 -0.283718116 -0.00762782246 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.416205459 -0.359950426 0.834990243 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.594855563 0.107661422 -0.796590156 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.287667034 0.450796199 -0.845003233 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[2,5,3,4],X[3,1,4,0],X[8,7,9,6],X[5,2,6,1],X[7,10,8,9],X[13,11,14,10],X[11,15,12,14],X[15,13,16,12]]; 0.196128933 -0.942974835 0.268945908 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.459800383 0.421972866 0.781359398 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.666846071 0.45115446 -0.593107049 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.325712645 0.548214595 -0.770306453 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[2,1,3,0],X[9,6,10,5],X[1,4,2,3],X[7,5,8,4],X[6,9,7,8],X[19,10,20,11],X[16,12,17,11],X[12,16,13,15],X[13,19,14,18],X[17,15,18,14]]; -0.181294194 -0.690167699 -0.700571882 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.776911642 0.0354167457 0.628612722 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0610643668 -0.664365521 0.74490912 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.838491418 -0.506711559 0.200438365 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.223209958 0.966108658 0.129658693 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.68143282 0.538016833 -0.49617255 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.337121815 0.681959353 -0.649061109 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.83416734 0.550991875 -0.0239332942 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0662747826 0.724000349 -0.686608439 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 3*A^(-20) - A^(-18) + 2*A^(-16) + 2*A^(-14) + A^(-12) PD[X[19,26,20,25],X[16,1,17,2],X[26,7,27,8],X[23,18,24,17],X[4,14,5,13],X[27,11,28,12],X[8,3,9,2],X[15,7,16,6],X[22,0,23,1],X[12,4,13,3],X[5,10,6,9],X[14,11,15,10],X[18,22,19,21],X[24,21,25,20]]; -0.300505663 0.933454853 0.195852966 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.399684873 -0.598416005 -0.694370425 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.393822466 0.89457879 -0.211264416 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.124073407 -0.780866955 -0.612252063 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.709987493 -0.685557759 0.16102273 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.31477465 -0.175407842 -0.932817779 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.192652386 0.241625143 0.951053284 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[1,4,2,3],X[9,6,10,5],X[4,8,5,7],X[2,17,3,18],X[6,17,7,16],X[0,8,1,9],X[10,14,11,13],X[14,12,15,11],X[12,16,13,15]]; 0.957584855 -0.287423853 0.0204639975 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.942953352 -0.202790234 -0.264036166 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.896485188 0.440968594 0.0431393846 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.204865915 -0.977853379 -0.0428103516 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.36694424 0.306195122 -0.878405642 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.186002982 -0.866849116 0.46257486 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.795930557 0.591256724 0.130038592 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.838498915 -0.212851119 0.501611373 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.336222162 0.877355247 0.342348402 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.649328863 0.623023943 -0.436134377 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0347075675 0.618645269 0.784903443 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[5,1,6,0],X[3,2,4,1],X[2,14,3,13],X[4,13,5,12],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; -0.572692106 0.359077091 0.736944635 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.918788853 0.221195199 -0.326955237 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.522877877 0.0384543947 -0.851539773 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[6,1,7,0],X[4,2,5,1],X[11,2,12,3],X[3,12,4,13],X[5,8,6,7],X[10,8,11,9],X[21,10,22,9],X[18,14,19,13],X[14,18,15,17],X[15,21,16,20],X[19,17,20,16]]; 0.984174773 0.170166238 -0.0494314432 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.532238935 -0.846519768 0.0112249311 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.717001136 -0.399815734 -0.571013791 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.212538963 -0.498086256 -0.840676674 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[1,6,2,5],X[4,3,5,2],X[13,3,14,4],X[9,7,10,6],X[11,9,12,8],X[7,11,8,10],X[12,1,13,0]]; -0.630170382 0.754203022 -0.184561889 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.13054836 0.0855631226 0.987742921 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.0544654849 -0.482110504 0.874415789 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,12,7,11],X[10,8,11,7],X[13,9,14,8],X[9,13,10,12]]; -0.139013898 -0.382178208 -0.913572632 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.0625854232 -0.903276712 -0.424469371 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.252888365 0.74037439 0.622810756 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.12146045 -0.672442314 0.730115535 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[0,5,1,4],X[1,7,2,6],X[7,3,8,2],X[5,4,6,3],X[8,11,9,12],X[9,15,10,14],X[15,11,16,10],X[17,13,18,12],X[13,17,14,16]]; 0.748984581 0.637477246 0.180678881 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.751777208 -0.42244258 -0.506333187 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.498921715 0.264389672 0.825333402 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.378395647 -0.778664941 -0.500497396 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.794056322 -0.0127990307 0.607709422 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.890976001 0.146421966 0.429793407 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.919830122 -0.326304874 -0.217801917 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.406137648 -0.879382173 0.24847375 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.944492195 -0.325637979 0.0435247109 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.421889468 0.107021367 0.900308671 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.581240616 0.783663285 -0.219160222 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.527381629 -0.0934394229 0.844474802 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.167827771 0.287840434 -0.942858274 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.682757807 -0.64262805 -0.34766502 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.622902236 0.681622571 -0.383905556 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.646322561 -0.348003702 0.679088043 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.649273085 0.732506695 0.204642135 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.431584157 -0.351207366 -0.830896204 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.614598819 0.777094485 0.135618778 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.995057954 -0.0834554922 0.0538037927 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.171390383 -0.970113365 -0.171771348 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.106190824 -0.00558780247 -0.994330069 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.948670791 0.262691723 -0.176115837 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.572990387 0.474360209 -0.668329565 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.890946749 -0.143145509 0.430956209 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.278702937 0.688120092 -0.669936872 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.121849955 0.473683491 0.87222505 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,10,2,9],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; -0.363197162 -0.162459452 -0.917439234 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.861940844 0.22581222 0.453945837 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.763873117 -0.348698445 0.54305364 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.836340245 -0.46017167 -0.297954743 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.420113801 -0.711275916 0.563552097 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,9,7,10],X[7,13,8,12],X[13,9,14,8],X[15,11,16,10],X[11,15,12,14]]; -0.255280223 -0.637268376 -0.727132055 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.799177658 -0.540404051 -0.263208154 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.435945114 0.847388324 -0.303125197 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.753297187 0.657473364 0.0164961554 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.299854198 0.698074308 -0.650215134 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[9,5,10,4],X[5,9,6,8],X[6,12,7,11],X[10,8,11,7]]; -0.910290001 0.172959232 0.376107988 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.799462161 -0.0901915545 0.593907179 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.367347272 -0.809349884 -0.458267112 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4]]; -0.864547937 -0.116280757 -0.488912722 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.660852436 -0.355438421 -0.661012546 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.704611645 0.646098513 0.293392468 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.370805715 0.862159297 0.345231036 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.528537723 0.0550067908 -0.847125804 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[6,1,7,0],X[4,2,5,1],X[11,2,12,3],X[3,12,4,13],X[5,8,6,7],X[10,8,11,9],X[21,10,22,9],X[18,14,19,13],X[14,18,15,17],X[15,21,16,20],X[19,17,20,16]]; -0.0125490779 0.646724063 0.762620815 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[3,11,4,10],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.124765175 0.101063064 0.987025789 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.17990328 0.263934522 -0.947614572 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.873930798 0.481493462 0.0664003524 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0156374638 -0.26732065 -0.963480742 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[7,5,8,4],X[17,2,18,3],X[16,7,17,6],X[8,0,9,1],X[3,2,4,1],X[5,10,6,9],X[10,14,11,13],X[14,12,15,11],X[12,16,13,15]]; 0.275649112 0.655716931 -0.702888948 k12.1 - A^(-42) - A^(-40) + 3*A^(-38) + 4*A^(-36) - A^(-34) - 5*A^(-32) - 2*A^(-30) + 2*A^(-28) - 2*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[5,2,6,1],X[12,7,13,6],X[10,8,11,7],X[11,14,12,13],X[3,1,4,0],X[15,9,16,8],X[9,15,10,14],X[2,5,3,4],X[25,16,26,17],X[22,18,23,17],X[18,22,19,21],X[19,25,20,24],X[23,21,24,20]]; -0.966267751 0.0514536547 -0.252347292 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.464024664 -0.863997392 0.195421641 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.39095891 -0.919318256 0.0447780541 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.47349617 -0.147472702 0.868362355 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.529982527 0.0870002386 0.843533923 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.334071715 -0.893523874 0.300018625 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.305790758 0.231022344 -0.923645326 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.805970625 0.591376639 0.0261729332 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0193268468 0.574795483 -0.818068839 UNKNOWN + A^(-38) + A^(-36) - 2*A^(-34) - 2*A^(-32) + A^(-30) + 2*A^(-28) - A^(-26) - 3*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[5,1,6,0],X[12,9,13,8],X[3,2,4,1],X[4,7,5,6],X[2,8,3,7],X[9,14,10,13],X[14,11,15,10],X[11,16,12,15]]; -0.423595364 -0.241611079 -0.87303554 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.147638024 0.703884668 0.69480169 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.837950533 -0.545718725 -0.00547518861 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.651380974 0.733390514 -0.194528095 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.446749016 0.0815734495 0.890932707 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[0,7,1,6],X[1,5,2,4],X[2,11,3,12],X[12,3,13,4],X[7,6,8,5],X[8,10,9,11],X[9,20,10,19],X[13,17,14,16],X[17,15,18,14],X[15,19,16,18]]; 0.472666716 -0.698364251 -0.537469579 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.909061917 -0.0610441842 0.412165063 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.176637463 0.958801686 0.222482659 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.675953448 -0.428061008 0.599875578 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.892443883 -0.126132895 -0.433167875 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.169279492 0.804283816 0.569624436 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.442124222 0.578297756 -0.685636841 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[10,8,11,7],X[8,6,9,5],X[6,10,7,9],X[11,4,12,5]]; -0.0235567477 -0.979216002 0.201447512 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.703875538 0.520686023 0.483161767 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0853805096 -0.896047887 0.435670005 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.445126509 -0.389392452 0.806372066 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; -0.45310089 0.874894115 0.171055172 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.884477594 0.105451449 -0.454510042 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.111322332 0.301865926 0.946828549 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[3,7,4,6],X[4,10,5,9],X[8,6,9,5],X[7,11,8,10]]; -0.459694049 -0.517870994 -0.721450632 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.614118583 0.607061682 0.504315854 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.558921679 -0.662539179 -0.498646561 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.15265187 0.938780146 -0.308851493 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.493063852 -0.675612437 0.548120309 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.846666737 -0.00249436632 -0.532117669 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.809939455 -0.58527855 -0.0380407516 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0896336495 0.524441937 0.846715102 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[3,9,4,8],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9]]; 0.569530017 -0.120413253 0.813102828 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.822517637 0.372380776 0.429880559 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.210930267 0.850896102 -0.481128098 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.736288196 -0.649965528 -0.188213989 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.144349831 -0.806975185 0.572672836 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.341609845 0.933524493 0.10878757 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.489051082 -0.48318901 -0.726193789 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.409324812 -0.906339117 0.104893291 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.256910853 -0.960145895 -0.110075763 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.56938887 0.493899873 -0.657159973 UNKNOWN + A^(-26) - A^(-24) - 3*A^(-22) + A^(-20) + 4*A^(-18) + A^(-16) - 4*A^(-14) - A^(-12) + 3*A^(-10) + A^(-8) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,10],X[8,3,9,4],X[4,7,5,6],X[13,11,14,10],X[11,15,12,14],X[15,13,16,12]]; 0.408005226 0.415579776 0.812911548 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.693597994 0.14310618 0.706004563 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.656507279 -0.547953246 0.518406629 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; -0.367509462 0.891511868 0.264845962 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.170040442 -0.612790848 -0.771734167 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[6,4,7,3],X[9,5,10,4],X[5,9,6,8],X[10,8,11,7]]; -0.0180187352 0.647476885 -0.761872042 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[8,1,9,0],X[2,7,3,6],X[7,5,8,4],X[3,10,4,9],X[5,2,6,1]]; 0.95059873 0.310398343 0.00386299519 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.545901555 -0.299922958 0.782328391 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.54492162 0.476943492 -0.689626952 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.912657141 0.310428045 0.265878492 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0711758309 -0.830267879 -0.552801275 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4]]; -0.363389473 0.39567431 -0.843439347 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.569283984 0.702255182 0.427496672 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.531539984 0.0348134988 -0.846317473 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[6,1,7,0],X[4,2,5,1],X[11,2,12,3],X[3,12,4,13],X[5,8,6,7],X[10,8,11,9],X[21,10,22,9],X[18,14,19,13],X[14,18,15,17],X[15,21,16,20],X[19,17,20,16]]; 0.816537626 0.544451135 -0.19193558 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.324603233 0.839914957 0.434943222 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2]]; 0.922441434 -0.268409951 -0.277593047 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.832333972 -0.294283249 0.469699401 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; -0.504615869 0.803397688 -0.316093309 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.560047565 -0.726117248 -0.398873998 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.407818809 -0.912951426 0.0142657966 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.656503109 0.102446549 0.747334177 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.929971092 -0.36472406 -0.0461533167 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0265257754 0.393351611 0.919005383 k7.9 - A^(-30) - A^(-28) + 3*A^(-26) + 3*A^(-24) - 2*A^(-22) - 4*A^(-20) + 3*A^(-16) - A^(-14) - 2*A^(-12) + 2*A^(-8) + A^(-6) PD[X[0,16,1,15],X[11,15,12,14],X[6,3,7,2],X[3,6,4,5],X[4,17,5,18],X[7,17,8,16],X[8,2,9,1],X[13,11,14,10],X[9,13,10,12]]; 0.484150529 0.557246432 -0.674592232 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.500417437 0.139478012 -0.854475437 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.607248044 -0.290305027 0.739576098 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0608045085 0.146128631 -0.987395177 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[11,2,12,1],X[2,5,3,4],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; -0.188009046 -0.623500088 -0.758880912 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.308390355 0.946234521 -0.0976505042 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.982685543 -0.0551188209 -0.176892734 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.282712058 -0.74185148 0.6080545 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; 0.381560902 0.844699494 -0.375358551 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.963286739 -0.163932261 -0.212614373 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.302945816 -0.951924054 -0.045435966 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.460885927 -0.545202072 0.700242003 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,13,7,14],X[7,11,8,10],X[11,9,12,8],X[9,13,10,12]]; 0.289624063 -0.0708386338 -0.954515474 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.659126591 0.0300847626 0.751429999 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.431457809 -0.270594081 0.860594563 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.321062411 -0.567257313 -0.758378579 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.13529114 0.956679472 0.257799718 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1],X[4,6,5,7],X[5,8,6,7]]; 0.0864504606 0.445080357 -0.891307912 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[2,1,3,0],X[1,4,2,3],X[6,5,7,4],X[17,8,18,9],X[5,8,6,7],X[14,10,15,9],X[10,14,11,13],X[11,17,12,16],X[15,13,16,12]]; -0.739496634 0.06598892 -0.669918047 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.573722464 0.660978257 -0.483684069 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.690475262 -0.467451659 -0.55202614 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.496334028 0.733807821 0.46387349 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.9719342 -0.221261654 -0.0799199073 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.681044659 -0.494001552 0.54050036 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.939565199 -0.276769485 0.201533839 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.00690984012 0.170161873 -0.985391897 k3.1*k3.1 + A^(-32) - 2*A^(-28) + A^(-24) - 2*A^(-20) + 2*A^(-16) + A^(-8) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[11,9,12,8],X[15,5,16,4],X[13,11,14,10],X[9,13,10,12],X[14,8,15,7]]; -0.801498101 -0.378387613 0.463058969 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.935668857 0.257168118 -0.241636814 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.458450232 0.503142433 0.732578376 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[0,7,1,8]]; -0.196104618 0.359835142 -0.912174133 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.992150692 -0.0103073038 -0.124622487 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.81497568 0.367080903 0.448404117 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.633465267 0.770942537 0.0661011315 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.477633014 -0.876783373 -0.0558356573 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.578979078 0.593876149 -0.558654049 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.158449543 -0.25603561 0.953592947 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.609859457 -0.572144623 -0.54838123 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.246729727 -0.920195506 -0.303915568 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.822922594 -0.151206211 -0.547663296 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.11735948 0.206931001 0.971291055 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,9,4,8],X[2,6,3,7],X[9,6,10,5],X[7,18,8,17],X[1,16,2,17],X[0,5,1,4],X[10,14,11,13],X[14,12,15,11],X[12,16,13,15]]; 0.998841916 0.017969058 0.0446311506 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.342617791 0.513662724 -0.786615316 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.818043343 0.280070501 -0.502360034 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.697165324 0.689854439 0.195093218 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.45575519 -0.245632211 -0.855541947 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.218522563 0.420799166 0.880440771 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.979164578 -0.0120036216 0.2027132 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.900002437 -0.200640695 -0.386961143 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.264512173 -0.78610408 0.558635557 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.301841233 0.908006056 -0.290545818 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.580242726 -0.42347113 -0.695694316 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.177587068 -0.926327578 -0.332234934 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.0778114981 -0.613785815 -0.78562863 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[6,4,7,3],X[9,5,10,4],X[5,9,6,8],X[10,8,11,7]]; 0.092998917 -0.702840197 0.705242411 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,12,2,11],X[8,4,9,3],X[4,8,5,7],X[5,11,6,10],X[9,7,10,6]]; -0.86476606 0.102139435 0.491677941 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.356799909 -0.307389238 -0.882159669 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0366011021 -0.898922324 0.43657647 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.620185125 0.759652321 -0.195700696 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.635079246 0.664329013 -0.394133626 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.363480324 -0.512450383 0.777995282 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.837730723 0.215108182 -0.501931973 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.597001773 -0.768482192 0.230269415 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.832225144 -0.287789956 0.473896878 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.331530864 -0.00935359741 -0.943398005 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.838897904 0.211921373 0.501337849 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.414953905 -0.158620062 -0.895908998 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.660448271 -0.676421092 -0.325979429 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.735798491 0.489964297 0.46747788 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.261725058 -0.858801547 0.440408784 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.0707292605 0.0424662803 0.996591183 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.450654936 -0.579259072 -0.67924153 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.326847782 0.247500197 0.912093296 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[4,1,5,0],X[1,4,2,3],X[2,11,3,12],X[5,9,6,8],X[9,7,10,6],X[7,11,8,10]]; 0.77296522 -0.0624730013 0.631365103 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.12441606 0.136353423 -0.982816559 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,4,2,3],X[13,3,14,2],X[11,9,12,8],X[12,6,13,5],X[7,11,8,10],X[9,7,10,6]]; -0.965214245 -0.260386332 -0.0236731903 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.551168128 0.823103284 0.136801601 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.0177318899 -0.943008833 -0.33229493 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.512462317 -0.85491723 0.0806157696 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.496211184 0.481674344 0.722332532 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.338205175 0.384589434 -0.858899428 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[5,2,6,1],X[3,1,4,0],X[2,5,3,4],X[9,7,10,6],X[11,8,12,7],X[8,11,9,10],X[19,12,20,13],X[16,14,17,13],X[14,18,15,17],X[18,16,19,15]]; -0.0990990891 -0.987303884 0.124138673 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.72344011 -0.588997936 -0.360160851 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.812148461 0.486248076 0.322455712 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.374494501 -0.672207015 0.638663916 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.855571511 0.220640539 0.468310946 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.318786481 -0.650930531 -0.688959087 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.595343995 -0.710810537 0.374584983 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.66822158 0.0526049368 -0.742100155 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0587665822 0.995176172 -0.0785549176 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.123037535 -0.384206402 -0.915012134 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[7,5,8,4],X[9,7,10,6],X[5,9,6,8],X[10,4,11,3]]; 0.736039559 -0.554341901 -0.388523905 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0864623665 0.548651787 -0.831568083 UNKNOWN - A^(-48) - A^(-46) + 3*A^(-44) + 4*A^(-42) - 2*A^(-40) - 6*A^(-38) + 6*A^(-34) + 2*A^(-32) - 6*A^(-30) - 6*A^(-28) + 4*A^(-24) + 3*A^(-22) + A^(-20) PD[X[7,10,8,9],X[2,1,3,0],X[1,4,2,3],X[8,5,9,4],X[10,6,11,5],X[21,19,22,18],X[15,18,16,17],X[6,12,7,11],X[19,14,20,13],X[14,21,15,20],X[16,13,17,12]]; -0.822632651 -0.0272893694 0.567917962 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.823278788 0.54501091 -0.158666775 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.617952051 0.529057711 -0.581578198 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.596686927 -0.16322299 -0.78569903 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.421723471 -0.243533693 -0.873407496 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0191355163 0.929874623 -0.367378576 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.19824626 -0.962059172 0.187458183 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.567734376 -0.679257646 -0.46506637 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.345679219 0.663792125 -0.66323894 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.340070493 -0.355646546 0.870555911 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.302748179 -0.917871705 0.256622433 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.734715511 0.242469847 -0.633562539 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.645382616 -0.753510758 -0.125310879 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.511161426 -0.631539726 -0.582985052 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0978236921 0.847426121 -0.521823241 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.460025975 -0.770838926 -0.440662514 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.548751235 0.644580025 -0.532342628 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.493009962 -0.0778212623 0.866536225 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.277278624 0.0553941014 0.959191356 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.442237265 0.028221868 0.896453974 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.782878052 0.621235707 -0.0341782458 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.111219071 0.536864044 0.836305756 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[4,10,5,9],X[7,11,8,10],X[8,6,9,5],X[3,7,4,6]]; 0.0495058905 0.297625163 0.953398358 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[7,11,8,10],X[3,7,4,6],X[8,6,9,5],X[4,10,5,9]]; -0.59019847 0.748429922 -0.302520112 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.760483183 -0.479209456 -0.438205004 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.597207255 -0.776199742 0.202132272 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.802199157 -0.593248895 -0.0673220702 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.838487605 0.282500931 -0.465973991 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.313940149 -0.661307158 0.681259441 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; 0.77577422 0.475716409 -0.414569967 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.161613899 -0.609640111 0.776028274 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[1,23,2,22],X[0,9,1,8],X[6,23,7,24],X[18,16,19,15],X[2,13,3,14],X[3,11,4,10],X[11,5,12,4],X[5,13,6,12],X[9,8,10,7],X[17,21,18,20],X[14,20,15,19],X[21,17,22,16]]; -0.326605938 0.746286966 0.579986487 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.94282807 -0.328139011 -0.058309685 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0214061444 0.358017635 0.933469416 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,3,1,2],X[3,2,4,1],X[6,5,7,4],X[5,16,6,15],X[11,15,12,14],X[7,11,8,10],X[12,10,13,9],X[8,14,9,13]]; 0.344227503 0.0284691459 -0.938454546 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.58418294 -0.142143549 -0.799077909 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.199393898 0.796236809 0.571182123 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.80497481 0.56330328 0.186292698 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.278084198 -0.557124659 0.782484053 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.539389031 -0.480851318 -0.691260792 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.897854133 -0.345180186 -0.273328732 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.600121035 -0.0256888621 0.799496608 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.174120884 -0.928993666 -0.326577229 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,6,9,7],X[9,8,10,7]]; 0.0889756955 -0.0191076006 -0.995850503 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.553974763 -0.71722523 -0.422729147 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.994175094 -0.0914620304 -0.0570138502 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.325873621 0.939998714 0.101038611 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.820734251 0.255543186 0.510972572 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.360195863 -0.788494919 0.498532549 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.620641475 -0.682995056 -0.385125841 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.922466322 0.226817266 -0.31242569 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.819042985 0.473130188 0.324524905 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0740450171 -0.546206494 0.834371501 UNKNOWN - A^(-48) - A^(-46) + 3*A^(-44) + 4*A^(-42) - 2*A^(-40) - 6*A^(-38) + 6*A^(-34) + 2*A^(-32) - 6*A^(-30) - 6*A^(-28) + 4*A^(-24) + 3*A^(-22) + A^(-20) PD[X[0,3,1,2],X[11,7,12,6],X[5,8,6,7],X[3,2,4,1],X[10,9,11,8],X[12,17,13,16],X[17,14,18,13],X[19,16,20,15],X[4,10,5,9],X[14,19,15,18]]; 0.272538652 -0.77772682 -0.566448301 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.269031743 -0.545477988 -0.79377307 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[9,5,10,4],X[10,8,11,7],X[5,9,6,8],X[6,4,7,3]]; 0.388734237 0.908267363 -0.154712929 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.736928889 0.541166577 -0.405061166 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.9661038 -0.231786808 -0.113658798 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.207094883 -0.526206039 -0.824753851 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[11,2,12,1],X[0,3,1,2],X[7,5,8,4],X[9,7,10,6],X[5,9,6,8],X[10,4,11,3]]; 0.375465365 0.266494551 0.887697253 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[4,1,5,0],X[1,4,2,3],X[2,13,3,14],X[5,11,6,10],X[9,7,10,6],X[12,8,13,7],X[8,12,9,11]]; -0.572433704 -0.68100579 0.45667359 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.71206707 0.630932594 -0.308033358 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.986837701 0.156237063 0.0417292775 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.903544634 0.413062689 -0.113957488 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.635660253 0.544069988 0.547653075 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.926150746 -0.0659703013 -0.371339084 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.230204674 -0.148182668 -0.961794003 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.550023432 -0.291012999 0.782806272 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.768613696 -0.314781039 0.556907428 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[5,1,6,2],X[2,4,3,5],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; -0.460797501 -0.852777113 -0.245839091 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.15849779 0.539809889 -0.826730751 k12.1 - A^(-42) - A^(-40) + 3*A^(-38) + 4*A^(-36) - A^(-34) - 5*A^(-32) - 2*A^(-30) + 2*A^(-28) - 2*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[3,1,4,0],X[12,7,13,6],X[10,8,11,7],X[23,16,24,17],X[2,5,3,4],X[11,14,12,13],X[9,15,10,14],X[15,9,16,8],X[5,2,6,1],X[20,18,21,17],X[18,22,19,21],X[22,20,23,19]]; -0.675997259 0.073944593 -0.733184767 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.618339403 -0.785836505 0.0108337402 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.703227737 0.144330078 0.696160598 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.100211732 0.888642609 0.44751751 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.86346345 0.0248626833 0.503798291 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.376001554 0.0772548793 0.923392937 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.857779141 -0.0835527874 0.507182292 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.177550705 -0.87147332 0.457176114 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.616001662 -0.567315488 -0.546530045 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.611138963 0.766252841 0.198408043 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.55973385 -0.731258544 -0.389819136 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.106143135 -0.376717771 -0.920226796 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[7,5,8,4],X[9,7,10,6],X[5,9,6,8],X[10,4,11,3]]; 0.81739773 0.405419011 -0.409263212 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.259381511 -0.946035477 -0.194262988 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.568988936 -0.48535531 0.663838696 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.818031736 -0.54130397 0.194458454 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.164314331 -0.980133049 -0.111085579 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,5,1,4],X[2,6,3,5],X[3,2,4,1]]; -0.74963484 -0.54032219 0.382229691 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.584764224 0.354989934 -0.729405887 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.952344924 0.296835128 0.070200087 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.434452104 -0.378889751 -0.817125404 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.757284804 0.445590775 0.477460561 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.108999121 -0.674937081 0.729780192 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,1,4,0],X[5,3,6,2]]; -0.0879905244 -0.128324568 -0.987821073 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.488141218 0.0142260132 -0.87264871 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.43966881 -0.0767454978 -0.894875112 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[6,1,7,0],X[4,2,5,1],X[11,2,12,3],X[3,12,4,13],X[5,8,6,7],X[10,8,11,9],X[19,10,20,9],X[16,14,17,13],X[14,18,15,17],X[18,16,19,15]]; -0.0927607427 0.878402217 0.468833649 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.540054519 0.394733652 -0.743321237 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.0284977765 -0.716576275 0.696926337 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.55631505 -0.103493747 -0.824501431 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.386673055 0.876573798 0.286535034 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.312313004 -0.930489893 0.19143967 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.905298153 -0.415563589 -0.0879895319 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.419224323 -0.224985862 -0.879563715 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.927007872 -0.0600069504 0.370210172 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.45671967 0.697409551 0.55229255 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.4012503 0.590726523 0.700028836 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.786176065 -0.0131945102 0.617861716 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.44321824 -0.813297661 -0.376967513 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.312217952 0.382928772 -0.869416762 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.909950676 0.272890835 0.312282498 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.908408486 0.338303451 0.245651783 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.63267637 0.658584152 0.407415668 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.459165426 -0.876000343 -0.147616089 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.993333504 0.0201544379 -0.113500433 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.538381037 0.595776933 0.595982974 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.198885538 0.224267048 -0.954017208 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,5,3,4],X[3,1,4,0],X[11,2,12,1],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; -0.38139433 0.874553179 0.299491405 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.15642587 0.446081781 0.881216201 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.380177681 -0.565350684 -0.732013343 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.381209725 -0.796526006 -0.469281864 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.184004926 0.440106731 -0.878890353 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.101992644 -0.0201950599 -0.994580143 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.975704676 0.218118291 0.0206106058 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.621090541 0.757271476 -0.20195656 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.238563838 -0.957089665 0.164519507 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.527665834 0.849292844 -0.0164448461 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.827723511 0.518217948 0.215229989 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.56618483 -0.163890273 -0.807820968 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.058064105 -0.0449633997 0.997299781 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.16034431 0.761401027 0.628138662 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.638695841 0.701178233 -0.316885955 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.609470989 0.3100872 -0.729651315 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.420862309 -0.872212754 0.249238499 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.823946369 -0.454995372 0.33777447 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.698821657 0.57244814 0.42889558 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.753418423 0.460855037 0.469013129 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.174466083 -0.602692527 -0.778667647 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.512423541 -0.043388049 0.857636048 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.724394536 0.532986829 -0.437238604 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.245254592 0.0995309459 0.964335925 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[3,9,4,8],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9]]; -0.247028539 0.00488351661 -0.968995899 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[9,1,10,2],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; 0.41358526 0.23278993 -0.880202296 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.866919186 0.0466018605 -0.496265444 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.489201683 0.541440051 0.683757548 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.744088717 0.263689226 0.613840348 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.04199778 -0.0429672117 -0.998193371 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.554720587 0.513762014 0.65447205 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.239505852 -0.535064708 0.810149804 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.245090533 -0.496782353 0.832549052 k12.1 - A^(-42) - A^(-40) + 3*A^(-38) + 4*A^(-36) - A^(-34) - 5*A^(-32) - 2*A^(-30) + 2*A^(-28) - 2*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[0,15,1,14],X[7,17,8,18],X[3,7,4,6],X[8,5,9,4],X[5,10,6,9],X[16,12,17,11],X[15,14,16,13],X[2,11,3,10],X[1,13,2,12],X[18,22,19,21],X[22,20,23,19],X[20,24,21,23]]; -0.648548598 0.418632301 -0.635713546 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.293261149 -0.668808072 -0.683149809 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.895583118 -0.41374163 0.163550431 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.613013929 -0.254599149 -0.74792593 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.134183396 -0.235672702 -0.962524386 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[17,8,18,7],X[6,2,7,3],X[4,1,5,0],X[16,1,17,2],X[5,10,6,9],X[8,4,9,3],X[13,11,14,10],X[11,15,12,14],X[15,13,16,12]]; 0.250184467 -0.277120208 -0.927691825 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[5,3,6,2],X[1,5,2,4]]; -0.9290468 -0.147885836 -0.339119187 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.181516256 0.969297554 0.165873747 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.979264002 0.0468674384 0.197092509 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0496275576 0.204715023 -0.977562717 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.239200423 0.68763237 -0.685525259 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[5,9,6,8],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4]]; 0.424219878 0.897648987 -0.119431111 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.970430458 0.088792813 -0.224456148 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.971983198 -0.0642387336 0.226101852 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.871559049 -0.0318574913 -0.489254458 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.466690212 -0.509526846 0.722898775 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.0542903081 0.641898848 0.764864976 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[4,8,5,7],X[6,10,7,9],X[8,6,9,5],X[3,11,4,10]]; 0.240426377 0.970231435 0.0290881377 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.306199033 -0.7148625 -0.628660289 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.118665656 -0.990147015 -0.0743461601 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.159830759 0.979259278 0.124520662 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[4,1,5,0],X[1,4,2,3],X[5,3,6,2]]; 0.701039681 0.162789623 -0.694293097 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.298521089 -0.911388315 0.283295781 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.0277369249 0.853519171 0.520322677 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2]]; 0.295546671 0.345449539 0.890683323 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.880874031 -0.424050671 -0.210337752 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.480392858 0.758353344 -0.440593812 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.785397336 0.437550641 -0.437836112 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.913215979 0.372388123 -0.16541965 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0891373378 -0.742667073 -0.663701856 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.678433287 0.270538238 0.683035385 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.435464682 0.272353014 0.858017684 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.538655594 -0.840947494 -0.0515505853 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0700065138 -0.88343913 -0.463286511 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4]]; 0.00856703943 0.761629512 -0.647956089 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2]]; 0.0713390745 -0.862073583 -0.501736857 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4]]; 0.74462357 0.320063406 -0.58574325 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.33054403 0.828096165 0.452766369 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2]]; -0.0126914228 0.62194187 0.78296056 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[5,1,6,0],X[3,2,4,1],X[2,14,3,13],X[4,13,5,12],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.137689324 -0.920954134 0.364534132 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.644801542 -0.762935872 -0.0464739357 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.691114601 0.487734026 -0.533363037 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.96340233 0.0939956883 -0.251039361 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.495962431 0.862157632 0.103467313 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.496631245 0.709057507 0.500594506 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.374366356 0.890267244 0.259372445 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0361257069 -0.97124218 -0.235337121 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.127707205 0.972692528 0.193804321 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.049063166 0.998625646 0.018428931 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.727371557 0.606896464 0.320323742 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.296270144 0.866186796 -0.402423205 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.92222912 -0.241346119 0.302068701 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.58172306 0.812509166 -0.037777476 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.782417616 -0.558332559 -0.275839497 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.764795377 0.198296492 0.612997987 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.266476718 0.871393048 0.411903283 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.626404066 0.308213989 0.715976315 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.789780609 0.198330749 -0.580440783 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.243321578 0.749466185 -0.615706949 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[6,1,7,0],X[4,2,5,1],X[9,3,10,2],X[3,9,4,8],X[5,8,6,7],X[13,11,14,10],X[11,15,12,14],X[15,13,16,12]]; -0.991853945 -0.120840814 0.0402895766 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.710424376 -0.651391897 0.266431611 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.135466499 0.703152236 0.698015588 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.916729517 -0.383525325 -0.111871884 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.266091222 0.750232527 0.60526574 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.668377568 0.735430441 0.111415857 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.20345618 -0.0256822907 0.97874716 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0768950808 -0.0886407126 0.993091119 UNKNOWN - A^(-32) + 2*A^(-28) + 2*A^(-26) - A^(-24) - 4*A^(-22) + 2*A^(-18) - 2*A^(-14) + 2*A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,3],X[8,5,9,4],X[3,16,4,15],X[5,2,6,1],X[9,13,10,12],X[13,11,14,10],X[11,15,12,14]]; -0.998655918 -0.0509068251 -0.00973926717 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.675387011 0.500886344 -0.541262649 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.260465886 -0.463902888 0.846729964 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.121736294 0.44766007 -0.885878511 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.521697223 0.618510727 -0.587602322 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0414830802 -0.304550617 -0.951592389 k10.4 - A^(-36) + 3*A^(-32) + 2*A^(-30) - 3*A^(-28) - 4*A^(-26) + A^(-24) + 2*A^(-22) - A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[2,1,3,0],X[1,4,2,3],X[4,7,5,6],X[15,6,16,5],X[14,12,15,11],X[10,8,11,7],X[9,13,10,12],X[13,9,14,8]]; -0.0602856789 0.432383763 0.899672117 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[3,9,4,8],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9]]; 0.908991195 -0.196754496 -0.367454319 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.42171041 0.414531448 0.806426692 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.847353162 -0.424448409 -0.319117793 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.482941312 0.603472993 0.634498255 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.134237946 0.327166335 0.935383538 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.485241827 -0.568125944 -0.664660275 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.398653322 0.0202917801 -0.916877185 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.587057996 0.0550712209 0.80766953 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; 0.198150195 -0.537798575 -0.819456645 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.705903789 0.665419501 0.242727683 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.981758988 0.0109595505 0.189813537 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.140821734 0.90538079 0.400568177 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.20797836 -0.854705489 0.475629612 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.738809724 -0.647475745 -0.186910009 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.740034479 0.32465131 -0.589025039 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.534086147 -0.843295912 -0.060033266 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.310355845 0.571612262 -0.759564791 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.0792056117 0.229863499 -0.969994455 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[13,11,14,10],X[9,7,10,6],X[8,12,9,11],X[12,8,13,7]]; 0.86250627 -0.431073912 -0.265062666 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.552672308 0.0958021075 -0.827873949 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.886277225 0.0571715708 0.45961298 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.667206566 0.717757528 0.199147005 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0647712008 -0.689391568 -0.721487323 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; -0.947519322 -0.307190234 0.0885510887 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.611314826 0.188536624 0.768601409 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6]]; -0.727120539 0.662103406 0.181424368 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0443998869 0.46578747 -0.883782034 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[2,5,3,4],X[5,2,6,1],X[11,7,12,6],X[7,11,8,10],X[8,14,9,13],X[12,10,13,9]]; -0.551827189 0.815737238 -0.173376793 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.845443581 -0.113776994 0.52180451 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.166114008 -0.405686599 0.898790587 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.874296589 -0.051877676 -0.482611832 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.816154903 0.577356318 -0.0234703152 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.353555618 -0.0907855499 -0.930997534 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.911506411 0.291879098 0.2897631 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.352656905 0.806810853 0.474014087 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.324073098 0.241157588 -0.914778468 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; -0.642696601 -0.296492943 -0.706422688 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3]]; 0.453676096 -0.0438972827 -0.890084844 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.167118009 0.96109344 -0.219934015 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.755779949 0.531568995 -0.382401716 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.366765724 0.317573792 -0.874431124 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[2,5,3,4],X[5,2,6,1],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.293358874 -0.95599328 0.00417365925 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.832788176 -0.117222769 -0.541038516 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.742106377 -0.0764623123 0.66590663 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.31457866 0.931668254 0.181754042 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.915948293 0.255173143 -0.309718245 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.839750238 0.53204069 0.108407758 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.940759344 0.297577824 0.162540133 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0307866188 -0.0704234978 -0.997041983 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.305563758 -0.777946419 -0.549026556 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.406521277 0.8263133 -0.389803518 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.774819034 -0.376434531 0.507890252 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.204242286 0.978886144 -0.00818566373 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.681586052 -0.723510525 -0.109421084 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.941446604 0.123061834 -0.313901382 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.617315834 0.418883768 0.665926085 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.840768647 0.529714736 0.111849818 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.170645824 -0.691590298 -0.701842477 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]];