#projection.x projection.y projection.z knotoid_type polynomial PD_code 0.953422737 -0.0964817243 0.285790765 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.182005137 -0.134042627 -0.974118424 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[5,11,6,10],X[9,7,10,6],X[8,12,9,11]]; -0.188717933 -0.721693916 0.665990566 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.720531261 0.659973103 0.212767961 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.890385003 -0.396545671 0.223530931 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.201891038 -0.473208008 -0.85750463 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3],X[5,9,6,8]]; 0.552923172 -0.789350298 0.266837165 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.000871711009 0.970627634 -0.240585197 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.389906699 0.554095781 -0.735493461 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.0357662768 -0.298864285 0.953625143 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.866042506 0.116741185 0.486150052 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,8,3,7],X[6,4,7,3],X[1,5,2,4],X[5,1,6,0]]; -0.13817523 0.574752582 -0.806577384 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.19353044 -0.924268415 0.329049945 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.016031699 -0.201434187 0.979370845 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.688833307 -0.570817864 0.446850805 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.443667839 -0.169739906 0.879970007 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,8,1,9],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,7,10,8]]; -0.151317268 -0.800223314 -0.580297968 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,10,7,9],X[7,13,8,12],X[4,3,5,2],X[3,16,4,15],X[10,14,11,13],X[5,1,6,0],X[11,9,12,8],X[1,15,2,14]]; 0.387072892 -0.711929867 0.58594406 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.706276366 -0.207438316 -0.676862644 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[3,1,4,0],X[1,6,2,5],X[6,3,7,2],X[4,8,5,7]]; -0.499048663 -0.535649843 -0.681197239 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.735325017 0.4936 0.464387941 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.678268303 0.155048676 0.718270157 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.141944863 -0.0727295466 0.987199103 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.28204759 -0.244207184 0.927799552 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.641414606 0.677890993 0.359236836 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.1074654 -0.0694586346 0.991779555 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.688988907 0.146947228 -0.709718816 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.692674532 -0.699602119 0.175382062 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.607078252 -0.511003914 -0.608548269 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.402302287 0.664401524 0.629859894 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.565380695 0.0523437802 -0.82316754 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.183513169 0.962064765 0.201876954 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.256893602 -0.0145288399 0.966330477 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.367469313 -0.854896345 0.366221985 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.183981989 -0.447660762 -0.875071694 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,8,5,7],X[5,10,6,9],X[8,7,9,6]]; 0.234612357 -0.596142155 0.767835642 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.360810037 0.576281827 -0.733290783 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.257479193 0.806701056 -0.531919046 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.850991436 0.249172732 -0.462305663 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.165126563 0.900511738 0.402258409 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[9,7,10,6],X[14,2,15,1],X[2,5,3,4],X[15,4,16,3],X[0,6,1,5],X[13,11,14,10],X[8,12,9,11],X[12,8,13,7]]; -0.0440411724 0.642026293 -0.765416628 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.687446772 0.72575328 -0.0264407545 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.7508419 0.56308826 -0.345207261 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0187291511 0.686743142 0.726658844 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[7,3,8,2],X[8,6,9,5],X[3,7,4,6],X[4,2,5,1]]; -0.676911995 0.310510027 -0.667363225 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.176758029 0.499384606 -0.848157777 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.270383069 0.938477472 0.214832562 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[1,4,2,3],X[11,3,12,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.460125093 -0.0619518145 0.885690054 k6.10m - A^(-14) - A^(-12) + 2*A^(-8) + 2*A^(-6) - A^(-2) PD[X[9,5,10,4],X[2,13,3,14],X[12,3,13,4],X[6,11,7,10],X[11,8,12,7],X[0,5,1,6],X[1,9,2,8]]; -0.298784309 -0.0144162441 0.954211773 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,7,3,6],X[7,4,8,3]]; -0.884284687 0.289164103 -0.366639761 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.830198641 0.0207861536 0.557080024 UNKNOWN - A^(-22) + A^(-18) - A^(-14) + A^(-12) + 2*A^(-10) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[0,11,1,12],X[13,6,14,5],X[10,1,11,2],X[4,9,5,8],X[2,7,3,6],X[12,10,13,9],X[7,4,8,3]]; -0.710190936 -0.69511556 0.11154906 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.329893088 -0.820667764 -0.466556505 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.146986444 -0.663375314 -0.733708511 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[3,2,4,1],X[2,14,3,13],X[5,11,6,10],X[8,12,9,11],X[9,7,10,6],X[4,8,5,7]]; -0.449256267 -0.891364176 -0.0603217389 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.978958502 0.203966672 -0.00615208084 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.371030254 0.919867232 -0.12720388 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.825472283 0.560183126 0.0692125382 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.333141653 0.939547425 -0.0791661181 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.188008232 -0.162681097 0.968600932 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.283363816 0.208843409 -0.935996463 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.732557773 -0.456620388 -0.504833567 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.0840201923 0.396285171 -0.914274943 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.465952255 0.219733969 -0.85709129 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.174290607 0.85758435 -0.483913078 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.603635703 -0.16543688 -0.779906774 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.391547281 0.770490118 0.503026545 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.838092598 -0.353267238 -0.41569587 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[4,2,5,1],X[7,3,8,2],X[0,6,1,5]]; -0.109892569 -0.923620515 0.367217602 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.55178874 -0.43635321 0.710721509 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.116898049 -0.740370904 -0.661956018 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.955095704 -0.265047629 -0.132446031 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[0,4,1,3],X[2,6,3,5]]; -0.322197791 -0.178228862 -0.929743543 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.276091298 -0.57990956 -0.766471459 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.834942148 -0.0654916969 -0.546426983 UNKNOWN - A^(-22) + A^(-18) - A^(-14) + A^(-12) + 2*A^(-10) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[4,13,5,12],X[1,10,2,11],X[9,6,10,5],X[3,8,4,7],X[6,3,7,2],X[11,0,12,1],X[8,14,9,13]]; -0.779082928 0.23244908 -0.582234675 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.150397043 0.986594816 -0.063335598 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[1,4,2,3],X[11,3,12,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.459164161 0.613042621 -0.642920693 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.711983432 0.482464366 0.510203614 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.577776189 0.655322914 -0.486545531 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.109444302 0.978771375 0.173287449 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[1,4,2,3],X[11,3,12,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.10659054 -0.00615924839 0.994283923 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.862767489 0.42223259 -0.278122097 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.795916267 -0.135477998 -0.590053394 UNKNOWN - A^(-22) + A^(-18) - A^(-14) + A^(-12) + 2*A^(-10) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[6,11,7,10],X[12,16,13,15],X[11,2,12,1],X[3,14,4,15],X[13,2,14,3],X[4,9,5,8],X[7,1,8,0],X[9,6,10,5]]; -0.58756358 -0.806962772 0.0598341459 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.453099669 0.72528324 0.518328961 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.185165915 -0.598426066 -0.7794869 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[3,2,4,1],X[2,14,3,13],X[8,12,9,11],X[4,8,5,7],X[9,7,10,6],X[5,11,6,10]]; 0.605439933 0.494008004 -0.624018093 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.0673957695 -0.643549592 0.762431461 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.430565179 -0.582189522 -0.689687601 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.0366526573 0.963755028 -0.264259018 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.733354139 -0.534257693 0.420428858 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.90656052 0.40935405 -0.102845927 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.449624661 0.892780675 -0.0279343957 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.335880538 0.941382058 0.0313701243 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.033799353 0.350100038 -0.936102327 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.128635332 0.743650747 0.65607661 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[13,11,14,10],X[0,6,1,5],X[2,5,3,4],X[15,4,16,3],X[9,7,10,6],X[12,8,13,7],X[8,12,9,11],X[14,2,15,1]]; -0.563208488 0.76143643 0.320952897 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.368186334 0.919751684 0.135998765 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.115493224 -0.766162464 0.632183829 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.721377363 -0.674084681 0.158822365 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.544544017 0.792836122 0.273647029 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.61999233 -0.778308888 0.0992208919 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.277461139 -0.93318945 -0.228413587 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,10,2,9],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; -0.226859084 0.212515957 0.950458797 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.508337486 0.840489483 -0.187537806 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.427502426 0.369197063 -0.825187981 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.605353396 -0.731484563 0.31381141 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.835596982 -0.0309714168 -0.548469193 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.46940413 0.879645974 -0.0766989095 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.545268844 -0.0995282691 -0.832331672 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[6,3,7,2],X[3,8,4,7]]; -0.21411801 0.685734138 -0.695645146 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.828529448 0.55720306 -0.0553507335 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.201573687 0.962703187 0.180473331 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.231544187 -0.483937491 -0.843914566 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.283124821 -0.46272718 0.840073742 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.320509291 0.947153105 0.0132207894 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.572346107 0.751674709 -0.32772712 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,7,9,6],X[9,7,10,8]]; 0.880304961 -0.336410959 -0.334500884 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.243201063 -0.855817936 -0.456540144 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[6,10,7,9],X[4,8,5,7],X[8,6,9,5]]; 0.796255696 0.558137649 0.233365018 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.246001867 -0.662640734 0.707382739 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.499740291 -0.394351387 -0.771198175 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.919857946 0.238295118 0.311571495 UNKNOWN - A^(-22) + A^(-18) - A^(-14) + A^(-12) + 2*A^(-10) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[7,11,8,10],X[0,7,1,6],X[13,2,14,3],X[8,5,9,4],X[1,14,2,15],X[11,6,12,5],X[3,10,4,9],X[15,13,16,12]]; 0.499728789 -0.667185948 -0.552389399 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.556648701 -0.151747303 0.816771069 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0182090151 0.363978178 0.931229466 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[7,3,8,2],X[8,6,9,5],X[3,7,4,6],X[4,2,5,1]]; -0.417611446 -0.703467513 0.575094895 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.615519148 -0.311015452 -0.724158523 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[6,3,7,2],X[3,8,4,7]]; -0.388733207 0.528829562 -0.754470535 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.944409553 -0.303934703 0.125356658 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[5,3,6,2],X[1,5,2,4],X[7,1,8,0]]; 0.761408088 -0.0212095167 0.647925829 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.29599288 -0.917350613 -0.266188029 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.782268632 0.620818945 0.0513772718 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.840498639 0.276989015 0.465659879 UNKNOWN - A^(-22) + A^(-18) - A^(-14) + A^(-12) + 2*A^(-10) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[1,12,2,13],X[7,4,8,3],X[11,2,12,3],X[0,7,1,6],X[4,9,5,8],X[9,6,10,5],X[13,11,14,10]]; 0.970165028 -0.0162557289 -0.241899918 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[12,0,13,1],X[8,2,9,1],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7],X[9,11,10,12],X[10,14,11,13]]; -0.841312029 -0.328304294 0.429430273 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.909689516 0.287221567 0.299947922 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.851449082 0.522213454 0.0482448922 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.561999615 -0.728735985 0.39128033 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.724350498 0.683898608 -0.0871725259 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.242658443 0.631254546 -0.736637345 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.233453445 -0.816580537 -0.527916391 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[8,12,9,11],X[4,8,5,7],X[9,7,10,6],X[5,11,6,10]]; -0.673318959 0.192677595 0.713804542 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,8,1,9],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7],X[9,5,10,4]]; 0.885791121 -0.364845632 0.286813101 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.489722621 -0.865208781 0.107636048 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.297894145 0.432940679 -0.850776966 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.389941623 -0.872359325 0.294846974 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.744179821 -0.0506680505 -0.66605491 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.776073011 0.180251803 -0.604334319 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.341332934 0.116708899 -0.932668677 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.941276693 0.327989516 0.0801315475 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.137219335 0.640625291 0.755493276 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.496679111 -0.79732118 -0.342912228 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.355053754 0.295207926 0.887011337 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[1,6,2,5],X[6,3,7,2],X[7,4,8,5]]; -0.0868998877 -0.122118207 -0.988703976 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.294611773 0.433584433 -0.851591711 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0214218774 0.947857535 0.317973577 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.639078351 -0.426633371 -0.639970959 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.465991589 0.57839363 0.669561534 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.846074227 -0.428985766 -0.316432638 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.880081782 -0.0123516532 -0.474661451 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[8,12,9,13],X[9,1,10,0],X[4,8,5,7],X[2,6,3,5],X[6,4,7,3],X[11,1,12,2],X[10,14,11,13]]; -0.628974851 -0.705969356 0.325573194 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.439591685 0.892076359 -0.10468486 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.139182549 0.986669229 0.0843329756 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[1,4,2,3],X[11,3,12,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.210195671 -0.759927423 -0.615083809 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[9,13,10,12],X[6,14,7,13],X[11,9,12,8],X[7,11,8,10]]; 0.242712838 0.00627363011 -0.970077894 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.982437501 -0.168225117 0.0807271069 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,3,6,2],X[7,1,8,0],X[1,5,2,4],X[3,7,4,6]]; -0.949437702 -0.126425027 0.287375647 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.8576921 0.252815052 -0.447715101 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[8,0,9,1],X[7,9,8,10],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.765260511 0.58214562 -0.274741382 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.565743702 -0.283953611 0.774147538 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,8,1,9],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,7,10,8]]; 0.463072264 0.537016368 0.705108147 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.371592592 -0.826956428 -0.421973946 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.51261929 -0.823781574 0.242085483 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.189461773 0.489016922 -0.851449756 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.594011453 -0.306016961 -0.743978503 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[6,3,7,2],X[3,8,4,7]]; 0.0707937013 0.220083734 0.972908732 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.550448657 -0.798901343 0.242410643 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.550572112 -0.349638444 0.758039121 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.508589974 -0.304346279 0.805425093 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.620869374 -0.000610464962 0.783913801 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.836480375 -0.155310668 0.525527525 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.11166807 0.971518456 0.20900271 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.158075152 -0.640535768 -0.751482652 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[3,2,4,1],X[2,14,3,13],X[4,12,5,11],X[5,9,6,8],X[9,7,10,6],X[7,11,8,10]]; -0.463028527 -0.482366393 -0.743590779 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.375016479 0.232749809 0.897323892 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.959626344 -0.132106931 0.248324462 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.506698219 0.841496464 0.187458307 k5.14m - A^(-18) + 2*A^(-14) + 2*A^(-12) - 2*A^(-10) - 3*A^(-8) + 2*A^(-4) + A^(-2) PD[X[0,3,1,4],X[5,2,6,1],X[2,5,3,4],X[8,7,9,6],X[7,10,8,9]]; -0.071736816 -0.381957073 -0.921391678 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.890745892 0.334523704 -0.30767783 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.673842811 -0.572618917 0.466951219 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.302452395 0.504077978 0.808967206 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.553096401 0.346671587 -0.757563979 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.901949522 0.420120076 -0.0999308839 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.0911946556 0.071663965 0.993251132 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9],X[11,9,12,8]]; -0.429229739 0.135797443 -0.892928265 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.229628643 -0.947273081 -0.223482431 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.106371511 0.764499021 -0.635787974 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.228789549 -0.223257173 -0.947529196 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[8,12,9,11],X[4,8,5,7],X[9,7,10,6],X[5,11,6,10]]; -0.911219385 -0.411459935 0.0194924208 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.491511507 -0.519509252 0.698946762 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.58775484 0.334207959 -0.736783067 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[8,0,9,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,9,8,10]]; -0.11029557 -0.912306335 -0.394375504 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[1,15,2,14],X[4,3,5,2],X[3,16,4,15],X[7,13,8,12],X[10,14,11,13],X[11,9,12,8],X[6,10,7,9]]; -0.618519465 0.343715947 0.706606694 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,7,3,6],X[7,4,8,3]]; 0.245503293 -0.443399454 -0.862047016 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,8,5,7],X[9,6,10,5],X[6,11,7,10],X[8,11,9,12]]; 0.238118127 0.710375761 0.662318682 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[7,3,8,2],X[8,6,9,5],X[3,7,4,6],X[4,2,5,1]]; -0.380312799 -0.741441755 0.552834784 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.707237254 0.332568077 0.623870131 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.0331526506 -0.857018667 -0.514217761 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[3,0,4,1],X[1,12,2,11],X[4,3,5,2],X[5,9,6,8],X[9,7,10,6],X[7,11,8,10]]; 0.0803110481 0.156846076 -0.984352297 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.75703404 -0.0670601824 0.649924915 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.928710338 0.0652538547 -0.365019237 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.301148262 0.953534151 -0.00907450682 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.465974471 0.857752841 -0.217089514 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.798866265 0.59235649 -0.1045298 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.93061343 0.132623763 -0.34112986 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.876713045 0.38171116 -0.292695792 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.750802368 -0.659306862 0.0401281319 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.723294456 -0.526803466 -0.446456311 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.248024423 0.794703129 0.554013378 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[0,6,1,5],X[12,10,13,9],X[2,5,3,4],X[15,4,16,3],X[10,8,11,7],X[13,7,14,6],X[8,12,9,11],X[14,2,15,1]]; -0.929758217 0.283040209 0.23545254 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[2,6,3,5],X[4,2,5,1],X[6,4,7,3]]; 0.535363048 -0.819694283 0.203685269 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.887161125 0.268614893 0.375221504 UNKNOWN - A^(-22) + A^(-18) - A^(-14) + A^(-12) + 2*A^(-10) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[0,6,1,5],X[11,8,12,7],X[8,5,9,4],X[6,11,7,10],X[1,10,2,9],X[2,13,3,14],X[15,13,16,12],X[14,3,15,4]]; -0.0922966926 -0.988691646 0.118195392 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.509692657 -0.253005146 0.822314898 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.953892108 -0.095399246 -0.284585367 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.349144143 0.0460374325 0.935937456 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.205667419 -0.895685432 0.394269603 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.467641049 -0.345890431 0.813432025 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0028774899 -0.985292637 -0.170851223 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.627322234 0.116479564 -0.769999562 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.456047565 -0.783959134 -0.421222857 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.95632582 0.196026411 -0.216828438 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[0,8,1,7],X[4,2,5,1],X[2,6,3,5]]; -0.689976035 0.595526133 0.411438569 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.936782105 -0.338575576 0.088350819 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.44024649 -0.279986689 0.853106372 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.71173781 0.214253289 -0.668972958 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[8,0,9,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,9,8,10]]; -0.424448593 0.83367094 -0.353321603 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0759252997 0.42127067 0.903751277 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.675892647 0.0664445251 -0.733998811 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.489285207 -0.86835586 -0.0809820169 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.894840747 0.0844799581 -0.438318576 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.95337463 -0.301788754 -0.000602739863 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.396130427 -0.313962545 0.862848889 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.910400371 -0.0536385482 0.410236603 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.527673137 0.203132554 -0.824801931 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[8,0,9,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,9,8,10]]; 0.619900038 -0.320122847 -0.716411408 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[6,3,7,2],X[3,8,4,7]]; 0.389661636 0.471884774 0.790878353 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.0276879568 0.673459898 -0.738705045 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.254446963 -0.49861644 -0.828636463 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,8,5,7],X[9,6,10,5],X[6,11,7,10],X[8,11,9,12]]; 0.259337223 -0.553241905 -0.791623395 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,8,5,7],X[9,6,10,5],X[6,11,7,10],X[8,11,9,12]]; 0.806007421 -0.507613824 -0.304434299 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.0853696637 0.817372367 0.569749449 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[14,6,15,5],X[13,1,14,0],X[2,5,3,4],X[15,4,16,3],X[12,10,13,9],X[1,7,2,6],X[8,12,9,11],X[10,8,11,7]]; 0.779105805 -0.404774231 0.4786982 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.631209253 0.760412214 -0.152800991 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.93849247 -0.345210955 0.00782819465 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.296175699 0.95450087 0.0347569506 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.468623158 -0.816223124 -0.337893695 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.0980309219 0.961539838 0.256575677 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.0325190248 -0.999469894 -0.00156302191 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.343764615 -0.0804892685 -0.935600004 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.03964571 -0.140125571 0.9893397 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.418498658 -0.894924856 -0.154817232 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.160158411 -0.554646636 -0.816527031 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,8,5,7],X[9,6,10,5],X[6,11,7,10],X[8,11,9,12]]; -0.934729496 0.350476926 -0.0587085485 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.19831662 -0.341682981 0.918652959 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.105377999 -0.430857723 -0.896246116 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.856133356 -0.381642286 0.348403276 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.400559056 0.746573595 0.531206466 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[7,5,8,4],X[9,6,10,5],X[6,9,7,8]]; -0.257525815 -0.96089956 -0.101747184 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.933806862 0.284953343 -0.216347721 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0180097829 -0.91927283 -0.393208738 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.838685132 -0.338613465 0.426553832 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,8,1,9],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,7,10,8]]; -0.172142616 -0.921486779 0.348179603 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.186861809 0.0844032049 0.978753679 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.327611332 -0.122919934 0.936782528 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.819650893 0.104178682 0.563310941 UNKNOWN - A^(-22) + A^(-18) - A^(-14) + A^(-12) + 2*A^(-10) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[0,11,1,12],X[4,9,5,8],X[12,10,13,9],X[13,6,14,5],X[10,1,11,2],X[7,4,8,3],X[2,7,3,6]]; 0.528307934 0.583901366 0.61640078 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.694777211 -0.359173161 0.623120588 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,8,1,9],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,7,10,8]]; 0.949806278 -0.149006385 -0.275072956 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.914290345 0.373990066 0.155578264 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.975004403 -0.205733462 -0.0839056456 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.554501809 -0.828413279 -0.079115002 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.749276776 0.644718152 0.151402833 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.548561619 -0.77036028 0.325000292 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.477352879 -0.525121142 0.704543835 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.422598592 -0.601506551 -0.677938271 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.858739488 0.456976998 -0.231815692 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.288273631 0.220055875 0.931919377 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.590471724 0.776138406 -0.221251707 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.929220368 -0.286485827 0.233399611 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.623324407 -0.240828834 -0.743954405 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.143191027 -0.982882089 -0.115927259 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.586880556 0.254641757 -0.768588829 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[8,0,9,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,9,8,10]]; -0.321388018 0.866370403 0.382246082 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0549882826 -0.957216143 -0.284101292 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,10,2,9],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; -0.177170022 0.9790966 0.0999031127 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.786774149 0.0488505346 0.615304854 k6.9 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - 2*A^(-10) - 2*A^(-8) + 2*A^(-6) + 3*A^(-4) - A^(-2) - 2 + A^(4) PD[X[1,15,2,16],X[0,7,1,6],X[14,12,15,11],X[13,3,14,4],X[8,5,9,4],X[10,8,11,7],X[5,10,6,9],X[2,12,3,13]]; 0.541236088 0.535986807 -0.647905579 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.104971935 0.472419472 0.875100415 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[7,5,8,4],X[8,2,9,1],X[3,7,4,6],X[5,3,6,2]]; 0.492195915 0.276475097 0.825411838 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.287508739 -0.95221562 0.103073463 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.424653361 0.843181483 0.329718833 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.010019244 0.660636955 0.750638681 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5]]; 0.568135584 0.764992675 0.303328478 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.319937472 -0.0492855695 -0.946155879 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.549367016 0.786489944 0.282186906 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.113775169 0.264091096 0.957763595 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[7,5,8,4],X[9,6,10,5],X[6,9,7,8]]; 0.217378356 0.387331188 -0.895947097 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.976447462 0.212295581 0.0384829934 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.461480544 0.640190879 -0.614159056 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0647272404 -0.15132494 0.986362584 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.763230714 0.645688492 -0.0237749494 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.913361011 0.285701553 -0.290079793 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.92141552 0.313777744 -0.229209441 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.5987237 0.555963327 -0.576571513 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.194209877 0.95884693 -0.207111295 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.633868418 -0.549318902 0.544481012 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.777185454 0.62908117 0.0154806543 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.154363943 -0.379635732 0.912166917 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.050984609 -0.99405156 0.0962396264 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.374448586 0.927142762 0.0139482818 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.551748601 0.677296428 0.486665213 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.824014052 -0.530580259 0.198709413 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.803753563 0.544284305 0.240280678 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.00770261517 -0.763234906 -0.646075187 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[6,0,7,1],X[4,15,5,14],X[2,16,3,15],X[3,2,4,1],X[8,12,9,11],X[10,14,11,13],X[12,10,13,9],X[7,6,8,5]]; -0.527849965 0.796686335 0.294389704 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.294927248 0.4419746 -0.84715782 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.999327258 0.00241235792 -0.0365952356 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.178584108 0.852248799 -0.491710994 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.18808535 -0.792359307 0.580336653 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.184243859 0.782890223 -0.594253397 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.254834033 -0.633720782 -0.730381808 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.844544909 0.228817471 -0.484134756 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0719961107 0.988201408 -0.135183347 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[1,4,2,3],X[11,3,12,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.305573124 -0.590074832 0.747286263 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.209617392 -0.97367728 -0.0895159412 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.484783666 0.185341526 0.854770914 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.198534057 0.979867199 -0.0210831938 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.55963466 0.5047469 0.657297204 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,8,2,7],X[4,7,5,6],X[9,6,10,5],X[8,3,9,2],X[3,1,4,0]]; 0.552440172 -0.715738386 0.427233449 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.292651278 0.67209328 0.680180749 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[10,8,11,7],X[6,4,7,3],X[5,9,6,8],X[9,5,10,4]]; 0.589127047 0.220335503 0.777419827 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.960754533 0.0993946729 -0.258981518 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.814093176 0.44578581 -0.372192575 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[8,0,9,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,9,8,10]]; 0.124833506 -0.393547132 0.910789356 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.214148264 0.828262535 -0.517804686 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0593530488 -0.927219736 -0.369784772 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.813778991 0.496162003 -0.302633476 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.967991724 0.245532019 0.0520196995 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.953086133 -0.224083039 0.203503354 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[3,7,4,6],X[1,5,2,4],X[5,3,6,2]]; 0.469648026 0.411286739 -0.781200327 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.396761067 0.719708169 -0.569737489 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.808469907 -0.184633217 0.558826435 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.798296389 0.00530621715 0.602241413 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.0669207045 -0.522538963 -0.849985089 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[2,6,3,5],X[4,8,5,7],X[6,4,7,3],X[1,9,2,8]]; -0.441156343 0.417330191 0.794491405 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0267251638 0.837298397 0.546092629 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[1,4,2,3],X[11,3,12,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.633036886 -0.199098513 -0.748080265 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[4,3,5,2],X[1,6,2,5]]; 0.104449424 0.945545075 -0.308277195 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.272513584 -0.822198325 0.499726187 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.112556058 -0.464519217 -0.878380915 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,9,2,8],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7]]; 0.907317144 -0.420342223 -0.00938170217 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.217049357 0.796926243 0.563735878 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.510521139 0.829442169 -0.226702129 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.936858467 -0.278828173 0.211071227 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.958748146 -0.21547974 -0.185392757 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.997253122 0.0176884814 0.0719258511 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.0167820884 -0.877150516 0.479922216 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.854627017 0.496058458 -0.153423169 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.690022751 0.299543795 -0.658894619 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[8,0,9,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,9,8,10]]; 0.91705028 0.00461798129 -0.398744854 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[8,12,9,13],X[9,1,10,0],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7],X[11,1,12,2],X[10,14,11,13]]; 0.0361856719 0.469001161 -0.882455952 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.581398813 -0.224283977 0.782094698 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.123464592 0.976823716 0.174848286 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.87891524 0.405813454 -0.250646047 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.688245641 0.592379397 -0.418813309 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.4131285 -0.859068718 0.302201556 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.0959706758 0.676562278 -0.730104865 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.41934212 0.00731879972 0.907798778 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.580445903 -0.777654412 0.241528814 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.562441165 -0.707141518 -0.42849832 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.233269449 -0.811079592 0.5364096 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0536725221 -0.942532927 0.329774077 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.698812811 0.70387729 0.127347623 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.605046056 -0.661460132 0.443158847 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.644315934 0.75929611 0.0912490776 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.401138807 -0.465636131 0.788841335 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.574013546 0.766233941 -0.288780189 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.121546063 -0.778155071 -0.616199027 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.65225341 0.443504743 0.614710527 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.171886217 0.407402517 -0.896927153 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.84791497 -0.530130689 0.0012870417 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0638411021 -0.592853408 -0.802775903 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[2,8,3,7],X[5,9,6,8],X[6,4,7,3],X[1,5,2,4]]; -0.115292406 0.694026869 -0.7106577 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.846203406 -0.525923501 -0.0856986996 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.83548884 0.298669414 0.461253705 UNKNOWN - A^(-22) + A^(-18) - A^(-14) + A^(-12) + 2*A^(-10) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[0,11,1,12],X[7,4,8,3],X[4,9,5,8],X[2,7,3,6],X[13,6,14,5],X[10,1,11,2],X[12,10,13,9]]; -0.233253321 0.960023787 0.154748883 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.354124303 -0.159323365 -0.921527017 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[8,5,9,4],X[5,10,6,9]]; -0.895262982 0.31545734 0.314628129 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; -0.119338662 0.929574033 0.348784176 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.468371562 -0.677139257 -0.567547801 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.697887072 -0.159292888 0.698268867 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.667266319 -0.280945902 0.689800739 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,8,1,9],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,7,10,8]]; 0.35620504 -0.680796759 0.64002636 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.260044599 0.168554379 0.950771386 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.874807706 -0.430739186 0.221754892 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.720852833 -0.289307951 0.629819104 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.80191643 -0.37878732 0.462006716 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.293651151 0.954193544 -0.0573034207 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.403538036 0.330768404 0.853082245 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[1,6,2,5],X[6,3,7,2],X[7,4,8,5]]; -0.815721798 -0.557046151 0.15587666 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.69958956 0.469211518 0.53890166 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.0611679363 0.224230381 -0.972614631 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.725517668 0.630989443 -0.274729751 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.78361236 0.598913015 -0.165090491 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.659338426 0.0950801373 -0.745810034 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.157506653 -0.945087936 0.286357202 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.31356383 -0.758305738 0.571533141 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.100400331 0.89745483 0.429528348 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[9,7,10,6],X[0,6,1,5],X[2,5,3,4],X[15,4,16,3],X[14,2,15,1],X[12,8,13,7],X[8,12,9,11],X[13,11,14,10]]; 0.0485322812 -0.388561818 -0.920143647 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.503312894 0.64980981 -0.569581725 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.618029958 0.762136804 -0.19283792 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.885799283 0.040020798 0.462339665 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,12,1,13],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[11,9,12,10],X[13,11,14,10]]; -0.794083019 -0.464429263 0.392093889 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.992460129 0.0854909583 -0.0878304495 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.767536715 -0.0261909127 -0.640469693 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.381922629 0.882423091 -0.274708197 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.757439214 0.12043436 0.641701958 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[2,7,3,6],X[0,4,1,3],X[5,2,6,1],X[7,5,8,4]]; -0.739187481 -0.201595519 0.642620506 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,8,1,9],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,7,10,8]]; -0.119951097 0.803235961 0.583458418 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,3,1,4],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.331894801 -0.420555671 -0.844380701 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,8,5,7],X[9,6,10,5],X[6,11,7,10],X[8,11,9,12]]; 0.149237895 -0.633372458 -0.759320341 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.617819158 -0.277525764 -0.735716616 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.410776973 0.910771175 0.0419302387 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0251926708 -0.954332583 0.297682128 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.276927294 0.826313252 -0.490426022 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.653694869 0.365140033 0.662839177 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.973555505 -0.155578158 -0.167287525 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.11587416 0.355917029 -0.927305908 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.783452677 -0.563130735 -0.262841546 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.454701408 0.278182848 0.846085653 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[1,6,2,5],X[6,3,7,2],X[7,4,8,5]]; 0.0610089847 0.229833008 0.971315959 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.523991789 -0.678891463 0.514333537 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.234122973 -0.84736474 0.476612454 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.109137465 0.00718622962 -0.99400069 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.629880323 0.759295911 0.163464061 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.310582148 0.932416973 -0.184762867 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.00527745271 0.0470899961 0.998876709 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.233906893 0.969797698 0.0691374801 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.26077152 0.743194217 0.616166025 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.959533673 -0.279576845 -0.0336439935 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.763296022 0.643535002 -0.0569375502 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.132526512 0.426548455 0.894702822 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2]]; -0.318314434 -0.440110748 0.839629949 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.23261531 0.603684781 0.762531837 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[7,5,8,4],X[5,10,6,9],X[10,7,11,6],X[11,8,12,9]]; 0.713472345 0.684904713 0.147860568 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.168960448 0.667565624 0.725126544 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.561918538 0.656394219 -0.503382743 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.37153319 -0.827330819 0.421291827 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.251159842 0.791813699 0.556731353 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[10,8,11,7],X[11,5,12,4],X[6,10,7,9],X[8,6,9,5]]; 0.746951066 -0.0315310357 0.664130935 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.286662724 0.871813927 -0.397196374 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.638334563 -0.759255446 -0.126728659 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.43710274 -0.130337547 -0.889917591 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[8,5,9,4],X[5,10,6,9]]; 0.163339308 0.974188641 0.155810017 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[1,4,2,3],X[11,3,12,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.366822919 -0.927874736 0.0670031449 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.0356502239 0.968519091 0.24637336 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.693459068 0.676584355 0.247685549 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.979548824 0.19955075 0.0257604308 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.0727917103 0.824267125 0.561502514 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,3,1,4],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.150979622 0.452684815 -0.878795546 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.179162425 0.231867751 0.956105732 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[11,5,12,4],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; -0.489166727 -0.638157472 -0.594534233 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.849763206 -0.430733382 -0.303926385 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.1956608 -0.955693973 -0.219922445 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.775306344 -0.224296299 0.590416162 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.872459675 0.464950237 -0.150450631 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.0268303964 0.699906081 0.713730767 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.39523906 -0.040493689 0.91768532 k6.10m - A^(-14) - A^(-12) + 2*A^(-8) + 2*A^(-6) - A^(-2) PD[X[14,9,15,8],X[1,7,2,6],X[5,3,6,2],X[3,10,4,9],X[10,5,11,4],X[15,11,16,12],X[0,13,1,14],X[12,7,13,8]]; -0.3870702 -0.0307625964 0.921536935 k6.10m - A^(-14) - A^(-12) + 2*A^(-8) + 2*A^(-6) - A^(-2) PD[X[14,12,15,13],X[11,8,12,9],X[5,3,6,2],X[3,10,4,9],X[10,5,11,4],X[1,7,2,6],X[0,13,1,14],X[15,8,16,7]]; -0.757546588 0.511511121 -0.405560773 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.398385843 0.715278847 -0.574164516 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.360142384 -0.928829412 0.0870252093 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.733079083 0.272822771 -0.623027121 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.319789762 -0.831916559 -0.453485773 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.822471146 0.165669525 0.544145957 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.492555692 -0.808759607 0.321398177 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.419144988 0.238285845 -0.876092081 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.22174566 -0.325693232 0.919104336 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.383302905 0.508033633 -0.771349927 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.980234621 -0.192814116 -0.0443035536 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.245673285 -0.967791588 -0.054991629 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.528397183 -0.518925482 -0.671946993 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,10,2,9],X[2,6,3,5],X[6,1,7,0],X[7,4,8,3],X[4,9,5,8]]; 0.68118336 -0.533173767 0.501712033 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.397285616 0.588341802 -0.704285499 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.400556492 0.129610636 0.907058752 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[4,9,5,8],X[9,6,10,5]]; -0.535152048 0.796340988 0.281874646 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.477322697 0.580031732 0.660095624 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.397551776 0.911083924 -0.108989308 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.852349525 0.495535142 0.16716821 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.224911066 -0.812359488 -0.538040031 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[10,14,11,13],X[4,3,5,2],X[3,16,4,15],X[1,15,2,14],X[7,13,8,12],X[11,9,12,8],X[6,10,7,9]]; 0.140362177 -0.286178268 0.947839891 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.0415108992 0.932117354 0.359769486 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.647003742 0.334717595 -0.685091446 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.729125799 0.684376757 0.00200575124 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.988216346 -0.122564842 0.0916859452 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.712380646 0.329412154 0.619678503 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3]]; 0.201530357 0.26814384 0.942063903 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.22252559 -0.23318872 -0.946628429 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.188147936 -0.934235613 0.302992034 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.817798893 -0.220343422 0.531651903 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,8,1,9],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,7,10,8]]; 0.244885792 -0.731552755 0.63628729 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.857131159 -0.0665784833 0.510777331 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.320053901 -0.89039549 0.323668615 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.0658041997 -0.788997853 -0.610861847 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[1,15,2,14],X[4,3,5,2],X[3,16,4,15],X[9,13,10,12],X[6,14,7,13],X[11,9,12,8],X[7,11,8,10]]; 0.755280421 -0.531015166 -0.384154108 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[6,8,7,9],X[7,10,8,9]]; 0.614085417 0.39444801 0.683600664 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.286742221 0.226688808 0.930801312 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.532891762 0.653341902 0.53774597 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.126117619 -0.960816796 -0.246830775 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.123850343 -0.493723813 -0.860754256 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,9,2,8],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7]]; 0.26067137 -0.235184547 0.936343241 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.835854509 0.418320521 -0.355464741 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.18584372 0.856482923 -0.481559045 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.413661284 0.027762139 -0.910007476 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.503988808 -0.823676407 0.259908558 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.196746453 0.163242641 -0.966769193 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.169472687 -0.56369814 0.808407951 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.606435035 0.780311654 -0.152807956 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.111017947 -0.78173826 -0.613645099 UNKNOWN - A^(-24) - A^(-22) + 2*A^(-20) + 3*A^(-18) - A^(-16) - 3*A^(-14) + 2*A^(-10) - 2*A^(-6) + A^(-2) + 1 PD[X[5,0,6,1],X[7,1,8,2],X[8,4,9,3],X[6,5,7,4],X[2,16,3,15],X[9,13,10,12],X[13,11,14,10],X[11,15,12,14]]; 0.403883578 0.360141242 0.840937775 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.4225918 0.694240177 -0.582620585 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.119688607 -0.991141573 0.0575588285 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.0635933499 0.588182654 -0.806223946 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.259068621 -0.612151325 -0.747097186 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.10409628 0.00976941946 0.994519242 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.227451156 0.304415303 -0.924985024 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.513665196 -0.00184983242 -0.85798872 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[6,3,7,2],X[3,8,4,7]]; 0.660504158 -0.734624496 0.155116429 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.873368064 0.484737299 -0.0475181681 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.105156722 0.00822384524 0.994421657 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0318707073 0.0836405745 -0.995986201 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[5,11,6,10],X[8,12,9,11],X[9,7,10,6],X[4,8,5,7]]; 0.531392053 0.847125966 -0.000290384516 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.456254977 -0.276281271 -0.845872364 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.891633583 -0.403524973 -0.205322066 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.806802131 -0.589745645 0.0356426095 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.942727843 0.256327467 -0.213448926 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.950445475 0.309659002 0.0276532476 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.707251968 0.515508036 -0.483783132 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.517973005 -0.221287837 0.826278198 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.244921422 -0.519513117 -0.818608343 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,8,5,7],X[9,6,10,5],X[6,11,7,10],X[8,11,9,12]]; 0.978383073 0.0670009434 0.195646203 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.515839924 0.0065808256 -0.856659714 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.506828805 -0.110630353 0.85491841 k6.10m - A^(-14) - A^(-12) + 2*A^(-8) + 2*A^(-6) - A^(-2) PD[X[1,7,2,6],X[12,7,13,8],X[5,3,6,2],X[3,10,4,9],X[10,5,11,4],X[14,9,15,8],X[15,11,16,12],X[0,13,1,14]]; -0.962601504 -0.265681314 0.0530262594 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.653238293 0.0292371607 -0.756587682 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.338368724 -0.767378377 -0.54464395 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[4,3,5,2],X[3,14,4,13],X[1,13,2,12],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.0944867052 -0.689118532 0.718462185 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.738405855 0.327266079 -0.589621664 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.333998003 0.941135964 0.0520425877 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.297040723 0.348137253 -0.889138494 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.257940855 0.156063351 -0.953472991 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.00555165722 -0.999130649 0.041317381 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.51948034 -0.781788194 -0.344887512 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.43666238 -0.538981371 -0.720295112 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.216577104 -0.910348079 -0.352648171 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[7,13,8,12],X[4,3,5,2],X[3,16,4,15],X[1,15,2,14],X[10,14,11,13],X[5,1,6,0],X[11,9,12,8],X[6,10,7,9]]; 0.124914609 -0.67557312 0.726634227 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.843968489 -0.215885236 0.491030299 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,8,1,9],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,7,10,8]]; 0.343670088 -0.745599645 -0.570939612 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,8,5,7],X[5,10,6,9],X[8,7,9,6]]; -0.0754956898 -0.967239666 -0.242379514 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.130689164 0.983916212 -0.121775329 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.974489531 -0.224104471 0.0121384114 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.836987139 -0.0198311129 -0.546863105 UNKNOWN - A^(-22) + A^(-18) - A^(-14) + A^(-12) + 2*A^(-10) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[4,9,5,8],X[9,2,10,1],X[7,12,8,11],X[13,2,14,3],X[3,14,4,15],X[12,16,13,15],X[10,7,11,6],X[5,1,6,0]]; -0.604163533 -0.696650656 0.386864691 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.389783658 -0.648281071 -0.654064487 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.136649334 -0.318553167 0.938003646 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.982293732 0.180053583 -0.0517661148 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.769454727 0.181691816 -0.612313243 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.337454376 -0.38699733 0.858112819 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.180135414 0.658786423 0.730446221 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.00698390035 0.303261373 -0.952881821 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.187231588 -0.258304692 -0.947746284 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3],X[5,9,6,8]]; 0.632808005 -0.532953946 0.561706436 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.615258887 0.142538688 0.775331687 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.647784474 -0.114299334 0.753200463 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.537600613 0.64128163 -0.547488312 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0108833291 0.988981009 0.147641855 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[1,4,2,3],X[11,3,12,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.467751864 0.12035374 0.875627301 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.736086548 0.499434394 -0.456882786 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.86434791 0.479992731 -0.150032227 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.406992709 -0.797431975 -0.445487575 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.679963698 0.327825932 0.655880726 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.829929479 -0.505779059 -0.235381825 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.237479929 0.427261002 -0.872382553 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.837596404 0.440499353 0.323098413 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.417734939 -0.270433635 -0.867388708 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.103869447 -0.485324856 0.868142224 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.489364383 -0.609920311 -0.623313497 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.0271636918 0.116444254 -0.9928257 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.200399897 -0.97739354 0.067392501 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.361080414 0.543021612 -0.758121668 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.938537099 0.342771588 -0.0406909282 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.812875963 0.0829197299 -0.576504108 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.0883814196 -0.989359937 -0.115566602 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.589384486 -0.735585751 -0.333975343 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.905624217 0.420543285 0.0546637257 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.0897693593 0.645000253 0.758891386 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.877569294 0.028605279 0.478595729 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,12,1,13],X[11,1,12,2],X[6,4,7,3],X[9,5,10,4],X[5,9,6,8],X[2,8,3,7],X[13,11,14,10]]; 0.296894436 0.426949506 0.854147419 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.560819537 -0.636340791 0.529671449 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.236061875 -0.353547489 -0.905140301 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.158296638 0.738529909 -0.65537451 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.121428577 -0.844108965 0.522240515 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.266733493 -0.963677038 0.0134093575 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.352428861 0.890233731 0.288578938 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[8,4,9,3],X[4,8,5,7],X[5,11,6,10],X[9,7,10,6]]; -0.51183466 0.118608049 -0.850856869 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.738682768 -0.414917163 0.531217015 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0681560924 -0.25032743 0.965759248 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.459058951 0.0218135879 0.888137966 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.95185544 0.306533681 0.00288524525 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.010808241 0.941858405 -0.335836162 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.260590851 -0.963606305 -0.0596263148 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.208719126 0.203333436 0.956604328 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.480625853 0.720830908 -0.499401233 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.203303561 0.469418443 0.859251993 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[7,5,8,4],X[5,10,6,9],X[10,7,11,6],X[11,8,12,9]]; -0.949565378 -0.0214809268 0.312832483 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,10,1,9],X[1,11,2,12],X[5,3,6,2],X[3,7,4,6],X[7,5,8,4],X[12,8,13,9],X[13,11,14,10]]; 0.906977011 -0.102428966 -0.408535199 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[12,0,13,1],X[1,11,2,12],X[3,7,4,6],X[4,10,5,9],X[7,3,8,2],X[8,6,9,5],X[10,14,11,13]]; -0.732759421 0.666247743 -0.138483124 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.810919882 -0.272102788 -0.518043451 UNKNOWN - A^(-22) + A^(-18) - A^(-14) + A^(-12) + 2*A^(-10) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[11,0,12,1],X[1,10,2,11],X[8,5,9,4],X[6,3,7,2],X[5,14,6,13],X[3,8,4,7],X[9,13,10,12]]; 0.70083201 -0.145284277 -0.698374521 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,2,6,1],X[4,10,5,9],X[2,7,3,6],X[7,4,8,3],X[8,0,9,1]]; -0.605513126 0.648369197 0.46148807 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.10209687 -0.79578664 0.596908581 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.648165217 0.749868732 0.132584827 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.0769565308 -0.983242872 -0.165260845 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.00970668737 0.595760531 -0.803103462 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.538628957 0.784950439 -0.306156258 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,7,9,6],X[9,7,10,8]]; 0.304025797 0.543751052 0.782242359 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.189692442 -0.772574511 0.605925244 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.603450929 0.547419492 -0.579809345 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.954007389 0.239219697 0.180676059 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[5,3,6,2],X[3,1,4,0]]; -0.242347135 -0.58323216 0.775311624 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.445987755 0.353412555 0.822310457 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.971233831 0.117385544 0.207184652 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.784437239 0.488415323 -0.382241664 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.450782731 0.658408413 0.602738161 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.852795752 -0.485531759 -0.192349465 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.159022499 0.640826423 0.751034846 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.208975569 0.941483483 0.264458054 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.355583178 0.626505313 -0.693578904 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.312646648 0.853024521 0.417853131 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.0530899151 -0.994406144 0.0913120015 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.659240274 0.0987997637 -0.745413219 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.483831283 -0.725570382 -0.489341303 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.81493002 0.37805111 0.439279433 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.68661577 0.139939719 -0.7134253 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.121902334 -0.453189349 -0.88303977 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[2,8,3,7],X[5,9,6,8],X[6,4,7,3],X[1,5,2,4]]; -0.916855171 -0.382075287 -0.115737075 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.329897392 -0.0721851488 0.941252897 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.187381824 0.979302498 -0.0765158148 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.223977614 -0.962856308 0.150803707 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.754300233 0.606163087 0.252185388 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.93942202 -0.252835248 0.231431645 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,3,6,2],X[1,5,2,4],X[7,1,8,0],X[3,7,4,6]]; 0.787686105 -0.595260994 -0.158792159 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.382396637 -0.776375318 -0.501013151 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,8,5,7],X[5,10,6,9],X[8,7,9,6]]; -0.553941201 -0.809187174 0.195870527 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.0435576392 -0.0119000179 0.998980041 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.344528812 0.752009375 0.561944657 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[7,5,8,4],X[9,6,10,5],X[6,9,7,8]]; -0.95094071 0.257969476 0.170773288 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.368617832 -0.794530332 0.482537507 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.125217891 0.803941799 0.581376008 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[9,7,10,6],X[12,8,13,7],X[2,5,3,4],X[15,4,16,3],X[14,2,15,1],X[13,11,14,10],X[8,12,9,11],X[0,6,1,5]]; 0.768873051 -0.598527302 -0.224942884 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.984693822 -0.163410608 0.0606221952 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.984215786 -0.0607249727 0.166228049 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.243178338 0.930709031 -0.273212364 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.549332974 0.00884846721 0.835556694 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.41916775 0.907258731 0.0343510113 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.511172064 -0.642382038 -0.571006513 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.637173011 0.730917469 0.244479463 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.469957749 0.672049185 -0.572267076 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0226755904 -0.0842705899 -0.996184865 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.698780615 -0.473230355 0.536431433 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.144923265 0.94413282 -0.29599065 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.271051363 -0.0736238476 0.959745116 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,7,3,6],X[7,4,8,3]]; 0.267745679 0.924303561 -0.271983785 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.0198760771 0.407182618 -0.913130471 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.510897371 -0.00809971755 -0.859603554 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[6,3,7,2],X[3,8,4,7]]; -0.624494095 0.404594951 0.668064406 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.933068177 0.332088541 -0.138206284 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.376079231 -0.732363133 -0.567634261 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.769737341 0.0805177364 -0.633262441 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.922155741 -0.177233161 -0.343827276 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.788234889 -0.12703816 0.602118813 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.561793914 -0.615134416 0.55317018 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.256220998 0.875220786 0.410291818 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[1,4,2,3],X[11,3,12,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.363757029 0.910737311 0.195546348 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.593759117 -0.532902093 -0.602880975 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.687192586 0.718807231 0.105273528 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.445323883 0.850894156 0.278685798 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.961125439 0.136547032 0.239984997 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.853165843 0.521598313 0.00657607149 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.975074019 -0.0916306272 0.202075446 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.787697805 0.191996785 -0.585379709 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.454360904 0.508947163 -0.731114871 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.332861989 0.942975489 -0.000351915136 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.729225425 -0.524500215 0.439465361 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.0625724279 0.994133706 -0.0882205549 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[1,4,2,3],X[11,3,12,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.752013241 0.422900618 0.505599794 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.873876026 0.483442216 0.0512280762 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.693598932 -0.366448522 -0.620190295 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.840141455 -0.525806869 -0.133001772 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.640608558 0.440488844 0.628959659 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,4],X[1,6,2,5],X[6,3,7,2],X[4,8,5,7]]; 0.181293275 0.74613145 -0.640640779 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.546007901 0.161793907 -0.822008579 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.565044751 -0.201865643 -0.799984182 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.0983932216 -0.303297178 -0.947802509 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[6,10,7,9],X[8,6,9,5]]; 0.820848931 0.353801987 -0.448365014 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[8,0,9,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,9,8,10]]; 0.505623626 0.408106739 -0.760127383 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.897371403 0.41655777 -0.145616584 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0618897879 -0.530995123 -0.845111729 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[5,9,6,8],X[1,5,2,4],X[6,4,7,3],X[2,8,3,7]]; 0.991153908 -0.116551333 -0.063480061 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.311144728 -0.448037762 -0.838123572 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,8,5,7],X[9,6,10,5],X[6,11,7,10],X[8,11,9,12]]; -0.743365769 0.567699526 0.353729533 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.777998267 0.0515291272 0.6261497 k6.9 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - 2*A^(-10) - 2*A^(-8) + 2*A^(-6) + 3*A^(-4) - A^(-2) - 2 + A^(4) PD[X[1,5,2,4],X[11,5,12,6],X[8,3,9,2],X[3,10,4,9],X[0,12,1,13],X[10,8,11,7],X[13,7,14,6]]; 0.893402331 0.432400742 0.121909282 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.415725939 -0.721874128 0.553235653 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.639546264 0.658863152 0.396080703 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.457484394 0.0199579752 0.888993649 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,7,3,6],X[7,4,8,3]]; 0.135102716 -0.461847808 -0.876609296 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,8,5,7],X[5,10,6,9],X[8,7,9,6]]; 0.734691754 0.249440832 0.630878196 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.928540582 0.198308677 -0.313824883 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[0,8,1,7],X[4,2,5,1],X[2,6,3,5]]; -0.836482407 -0.201970994 -0.509416235 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.797711898 0.383025767 -0.465775687 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.925673469 -0.137637147 0.352398416 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.372350823 -0.746585197 -0.55133058 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,8,5,7],X[5,10,6,9],X[8,7,9,6]]; 0.130267565 -0.970046693 -0.205036032 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.431744602 -0.471984535 0.768652846 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.505878858 0.838478451 -0.202584471 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.37852706 -0.704042878 -0.600866783 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.370876841 0.916258005 0.151398932 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.950225464 0.284848448 0.126225706 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.0218986329 0.00170146969 -0.999758748 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.842556456 -0.538292607 -0.0184306069 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.501533783 -0.847738268 -0.172637464 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.828811239 -0.1436248 -0.540780776 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.773798822 -0.375538464 -0.510104151 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0286806901 -0.820201592 0.571355202 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.612147649 -0.719546548 -0.327914654 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.476452921 0.77787872 -0.409752743 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.789448294 -0.11901331 0.602168766 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.321860353 0.19099304 0.927322798 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0499120481 -0.551655506 0.832577318 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.978066927 -0.198232352 0.0639454457 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.539356426 -0.0271492271 -0.841639807 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.215683824 -0.916004317 -0.3382552 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[10,14,11,13],X[7,13,8,12],X[4,3,5,2],X[3,16,4,15],X[1,15,2,14],X[5,1,6,0],X[11,9,12,8],X[6,10,7,9]]; 0.300092244 -0.887605131 0.349430645 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.788022481 -0.466253369 0.402030303 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.559442556 0.824952874 -0.0804784605 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.496846392 -0.125029133 -0.858784826 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[8,5,9,4],X[5,10,6,9]]; -0.616024552 -0.73367674 -0.28676156 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.289231399 0.586019435 -0.756919031 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.422571843 0.88212821 -0.20804533 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.733882317 -0.172441079 -0.657024215 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.969237041 0.0408271518 0.242719388 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.261183478 0.792453076 0.551181742 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[9,7,10,6],X[12,8,13,7],X[2,5,3,4],X[15,4,16,3],X[14,2,15,1],X[13,11,14,10],X[8,12,9,11],X[0,6,1,5]]; 0.165746162 0.940825687 0.295593027 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,7,2,6],X[13,1,14,0],X[2,5,3,4],X[15,4,16,3],X[12,10,13,9],X[10,8,11,7],X[8,12,9,11],X[14,6,15,5]]; -0.126839478 -0.94825812 0.291064055 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.477444096 -0.547419361 -0.687298464 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.242564049 0.517277952 0.820722975 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[7,5,8,4],X[5,10,6,9],X[10,7,11,6],X[11,8,12,9]]; 0.802735598 -0.562485927 0.19805338 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.237456675 0.875134062 0.421609655 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.549194029 -0.517110956 -0.656492329 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[2,9,3,8],X[7,4,8,3],X[1,5,2,4],X[5,10,6,9],X[6,1,7,0]]; -0.445916591 0.303345646 0.842104395 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[1,6,2,5],X[6,3,7,2],X[7,4,8,5]]; -0.564939748 -0.0591395215 -0.823010084 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.714584726 -0.439311118 0.544402802 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.00490466413 0.81662375 -0.577149543 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0242576292 -0.873701105 0.485857949 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.463855061 0.269724789 0.843852487 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.279201646 -0.911153097 -0.303061832 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[7,11,8,10],X[5,15,6,14],X[4,3,5,2],X[3,16,4,15],X[6,2,7,1],X[0,14,1,13],X[11,9,12,8],X[9,13,10,12]]; 0.398989014 -0.8766932 0.268731837 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.806028803 -0.347888868 0.478843298 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,8,1,9],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,7,10,8]]; -0.654210954 0.245354465 -0.715408424 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.66287067 -0.0236303711 0.74836093 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0444771165 0.314035047 -0.948369008 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.606959358 0.5291627 0.592947869 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.546288047 0.219146113 -0.808420899 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[8,0,9,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,9,8,10]]; 0.581218483 -0.643512513 0.498073007 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.134042188 0.570246487 -0.81046384 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.571276315 0.196836483 -0.796805353 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.975999858 0.198283845 -0.0900432901 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[8,2,9,1],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7],X[9,12,10,11]]; -0.98264475 -0.140409943 -0.121220228 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.200224653 0.574035414 -0.793973193 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0289948617 0.838801244 -0.543665127 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.653647261 -0.684467057 -0.32287785 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.35222698 0.323140723 -0.878359965 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.0959962837 0.991221927 0.0909054694 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[1,4,2,3],X[11,3,12,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.757089402 -0.523558148 0.390771676 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.522566349 -0.501092977 0.689804494 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0669099964 0.981038478 -0.181897108 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.498523004 -0.745987063 -0.441563263 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.988673774 0.130046439 0.0749138948 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.193578374 0.897946754 0.395245544 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[12,10,13,9],X[13,7,14,6],X[2,5,3,4],X[15,4,16,3],X[14,2,15,1],X[10,8,11,7],X[8,12,9,11],X[0,6,1,5]]; -0.908307678 0.414961545 0.052764358 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.339990386 0.698262162 -0.629949593 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.605774124 -0.682846903 0.408359911 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.817172244 0.40437998 0.410738792 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.870375812 0.218774267 0.441116499 UNKNOWN - A^(-22) + A^(-18) - A^(-14) + A^(-12) + 2*A^(-10) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[0,7,1,6],X[1,14,2,15],X[13,2,14,3],X[11,6,12,5],X[15,13,16,12],X[7,11,8,10],X[3,10,4,9],X[8,5,9,4]]; -0.337305118 -0.935155083 0.108213806 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.610015382 -0.354782489 -0.708527077 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.989277963 -0.117779384 0.0863546683 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.0313219104 0.485150679 -0.873869416 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.109929211 0.69706552 -0.708530331 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.933335743 -0.112550016 -0.340905976 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[12,0,13,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[9,11,10,12],X[7,5,8,4],X[10,14,11,13]]; 0.746610525 -0.143957408 -0.649499029 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[3,1,4,0],X[1,6,2,5],X[6,3,7,2],X[4,8,5,7]]; -0.290051867 0.376884386 -0.879674982 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.779838818 -0.0760639751 0.621341845 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.701338428 0.47125473 -0.534830243 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.868764726 -0.494451332 -0.0276718559 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.295625662 -0.908156489 0.296407251 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.654950598 -0.681455999 -0.3265845 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.85458917 -0.482500495 -0.192017247 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.264325285 -0.344397745 -0.900845346 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.37946233 0.48584152 -0.787379424 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.795076092 0.50578859 -0.334711682 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.0715141954 -0.928578324 0.364181295 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.426072151 0.532767703 -0.731177883 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.858866367 -0.217570294 -0.463693574 UNKNOWN - A^(-22) + A^(-18) - A^(-14) + A^(-12) + 2*A^(-10) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[12,1,13,2],X[2,11,3,12],X[3,8,4,7],X[5,10,6,9],X[6,1,7,0],X[8,5,9,4],X[10,14,11,13]]; -0.140634328 0.982697487 0.120530637 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.95139503 0.307937827 -0.00466821203 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.861689399 0.495743177 -0.108305503 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.00757980479 0.436233014 0.899801814 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[7,3,8,2],X[8,6,9,5],X[3,7,4,6],X[4,2,5,1]]; -0.290063527 -0.667650492 -0.685642743 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.300740741 -0.507038808 -0.80775408 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.164085945 -0.875164413 0.455151681 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.754939395 0.520967108 0.398321206 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,3,6,2],X[3,1,4,0],X[1,5,2,4]]; -0.975605704 -0.219475574 -0.00489732064 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.544226527 -0.367780389 -0.75402591 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.763170598 0.645562924 0.0286207939 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.126984839 0.825361057 0.550139961 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,3,1,4],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.84514449 -0.324608445 -0.424688295 UNKNOWN - A^(-22) + A^(-18) - A^(-14) + A^(-12) + 2*A^(-10) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[11,0,12,1],X[1,10,2,11],X[6,3,7,2],X[8,5,9,4],X[9,13,10,12],X[3,8,4,7],X[5,14,6,13]]; 0.94585518 -0.207131706 -0.249908853 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.147534196 -0.928935322 -0.339577426 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[7,11,8,10],X[6,14,7,13],X[4,3,5,2],X[3,16,4,15],X[9,13,10,12],X[1,15,2,14],X[11,9,12,8],X[5,1,6,0]]; -0.125762519 0.356634369 -0.925740631 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.394791318 0.475161463 0.786359587 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.609978554 -0.188704985 -0.76962107 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[3,7,4,6],X[1,5,2,4],X[5,3,6,2]]; 0.854558633 -0.429328207 -0.292244475 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.704798876 -0.708336822 -0.0389549811 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.331226852 0.730202426 0.597572748 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[7,5,8,4],X[9,6,10,5],X[6,9,7,8]]; 0.714974875 0.648734042 -0.260681936 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.638938783 0.480747682 -0.600532178 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.948065196 -0.076559659 0.308724801 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.257465067 0.671992541 -0.694361408 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.454869225 -0.757557646 -0.468188425 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.900086423 0.0308598516 0.434617189 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,10,1,11],X[2,6,3,5],X[4,2,5,1],X[6,4,7,3],X[9,7,10,8],X[11,9,12,8]]; 0.888878342 -0.337418539 0.309909701 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.487231665 0.836701358 -0.250072274 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.696419759 -0.373245378 -0.612933445 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.324747189 -0.433252587 0.840732692 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.174857941 -0.0551349417 0.983048747 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.949274046 0.0542727178 0.309730945 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.51787921 -0.210620325 -0.829120137 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[8,5,9,4],X[5,10,6,9]]; 0.0658522167 0.0506033986 -0.996545424 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.0192750235 -0.968991771 -0.246340052 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.329354079 -0.942461664 -0.0573750953 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.527986483 -0.806849191 0.264999351 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.211691573 -0.91466788 -0.344339 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,15,2,14],X[4,3,5,2],X[3,16,4,15],X[7,11,8,10],X[5,1,6,0],X[6,14,7,13],X[11,9,12,8],X[9,13,10,12]]; -0.857456405 0.51311939 -0.0384318256 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.284429679 0.850414177 0.442600819 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[1,4,2,3],X[11,3,12,2],X[7,5,8,4],X[9,7,10,6],X[5,9,6,8]]; -0.419603358 -0.855866375 0.302366945 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.713889172 0.295412435 -0.63489664 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[8,0,9,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,9,8,10]]; -0.721699596 0.686809868 -0.0862664366 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.371788735 0.0866621892 -0.924263383 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.778192685 0.626140241 -0.0486265668 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.56228388 -0.447373607 -0.695480908 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.28284785 0.0984260077 0.954101365 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[2,9,3,8],X[9,4,10,3],X[10,1,11,0],X[5,8,6,7],X[11,7,12,6],X[4,2,5,1]]; -0.87674485 0.277868709 0.392565215 UNKNOWN - A^(-22) + A^(-18) - A^(-14) + A^(-12) + 2*A^(-10) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[11,8,12,7],X[2,13,3,14],X[0,9,1,8],X[6,11,7,10],X[15,13,16,12],X[9,6,10,5],X[1,5,2,4],X[14,3,15,4]]; -0.770770777 -0.595143408 0.227413134 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.66073311 0.0128941029 0.750510159 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.520676632 0.839896055 0.153200725 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.975455251 -0.0758539431 0.206720178 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.695769955 -0.0764182125 -0.714187949 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.925839871 0.280324706 -0.253453334 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[2,6,3,5],X[4,2,5,1],X[6,4,7,3]]; -0.0371521393 -0.328781592 0.943674935 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.162870043 -0.352320941 0.921598233 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.364923826 0.930884421 0.0168758938 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.267396474 0.586658408 -0.764415488 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.391353876 0.552582675 0.73586312 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.647086223 0.62127847 -0.441919092 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.798001938 0.600021278 -0.0562794143 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0987350883 -0.980950767 -0.167293082 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.199089372 0.320523668 0.92608207 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.251093536 0.967661366 0.0241560875 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.243528358 0.871567071 0.425517072 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[1,4,2,3],X[11,3,12,2],X[9,7,10,6],X[7,5,8,4],X[5,9,6,8]]; 0.991835516 0.124515679 -0.0275346288 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.898205001 0.348511173 -0.267895014 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.690037468 -0.0405700432 0.722635707 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.028729345 0.587921957 -0.808407322 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.579135875 0.741782122 0.338172916 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.830720657 0.544223244 -0.117150544 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.789426053 -0.391200393 -0.473042027 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0388955781 -0.984203749 -0.172713967 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.756712934 -0.604184117 0.24969399 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.666256852 -0.661326048 -0.344600733 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.871671988 0.48744763 0.0508207935 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.637177233 -0.118210335 0.761597985 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.568594273 -0.783704762 0.250014797 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.517299413 0.855721443 0.0119218086 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.526208708 -0.565360782 0.635194129 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.826021955 0.501441513 -0.257379367 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.146311 0.474616356 -0.867947237 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.601914259 -0.669461434 -0.435339653 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.531675646 0.785551986 0.316589773 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.151128342 -0.408642425 0.900095324 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.826737217 -0.561376879 0.0368995154 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.170786904 -0.532787728 0.828835973 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.698798454 0.68400418 0.20932989 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.433591495 0.485869582 0.75889997 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.155849842 0.883254139 -0.442236309 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.609591586 -0.500399371 0.614815881 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.171672279 0.912706804 -0.370803073 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.706821648 -0.69315309 -0.141215979 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.358669705 -0.899049827 0.251128355 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0167528227 0.997699115 0.0656948905 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[1,4,2,3],X[11,3,12,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.656211643 -0.506756951 0.559091828 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.658462143 -0.451066688 -0.602466969 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.66020366 -0.384235347 -0.645363715 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.811096324 0.457134512 -0.364898331 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[8,0,9,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,9,8,10]]; -0.279879006 0.948461549 0.148621774 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.068708334 -0.590208227 -0.80432171 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[5,9,6,8],X[1,5,2,4],X[6,4,7,3],X[2,8,3,7]]; -0.781515152 -0.100352149 0.615762546 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.3553637 -0.895356449 -0.268427775 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.658872226 -0.411396143 -0.629794096 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.414231907 -0.0267569668 0.909777991 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.0363478095 0.0447310292 -0.998337604 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.362667472 0.626766747 -0.689663505 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.179499134 -0.0105566735 -0.983701488 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.96137435 -0.261952661 0.0844994863 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.933280817 -0.164007012 -0.319513093 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.0950914179 0.58831028 -0.80302468 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.446181745 0.610699774 0.654192354 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.82927075 0.203603244 -0.520438029 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[8,0,9,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,9,8,10]]; -0.739040337 -0.0654561046 0.670473622 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.299202927 0.952028907 0.0641760747 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.0207656384 -0.998149999 0.0571433916 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.106938194 0.707658667 -0.698414944 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.732680981 0.534949095 0.420723241 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.846099507 -0.481395339 -0.228853999 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.807599863 -0.553296161 -0.204073074 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.598027957 0.584961918 0.547888781 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.282085338 -0.101191693 -0.954037789 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,12,7,11],X[3,10,4,9],X[0,11,1,10],X[8,5,9,4],X[7,2,8,1],X[2,6,3,5]]; 0.515692943 -0.837879285 0.178938796 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.505540991 0.761710183 0.405247954 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.13196296 0.486123125 0.863869252 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.235830291 -0.302200067 -0.923612036 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.0728967361 -0.566928963 -0.820534958 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[2,6,3,5],X[4,8,5,7],X[6,4,7,3],X[1,9,2,8]]; -0.747961459 0.340606734 -0.569684745 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.173748189 -0.393959351 -0.902556146 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,8,5,7],X[5,10,6,9],X[8,7,9,6]]; -0.834764919 0.47802845 0.273233107 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.664961728 0.343230677 -0.66333898 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.25981302 -0.947212099 -0.187846836 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.251845645 0.492669104 -0.832977146 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.735246568 -0.166573527 0.657012743 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,8,1,9],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,7,10,8]]; -0.315586181 0.717738699 -0.620690359 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.863454849 -0.36632686 0.34677133 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.663022045 0.743245291 0.0893767625 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.886104873 -0.191928574 -0.421878627 UNKNOWN - A^(-22) + A^(-18) - A^(-14) + A^(-12) + 2*A^(-10) - 2*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[2,13,3,14],X[9,4,10,3],X[5,8,6,7],X[14,1,15,2],X[11,9,12,8],X[4,11,5,10],X[6,1,7,0],X[12,16,13,15]]; 0.263452124 -0.565516187 0.78152698 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.174405474 -0.786506217 -0.592444682 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[10,14,11,13],X[6,10,7,9],X[11,9,12,8],X[7,13,8,12]]; -0.137807974 -0.915629903 -0.377664988 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[9,13,10,12],X[7,11,8,10],X[4,3,5,2],X[3,16,4,15],X[5,1,6,0],X[6,14,7,13],X[11,9,12,8],X[1,15,2,14]]; 0.721982029 -0.625194271 -0.296435614 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.155061846 0.105288444 -0.98227805 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.0498404303 0.950391728 0.307036635 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.929171845 0.0983509979 -0.356323958 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.991725376 -0.0479362089 -0.119091972 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0708449589 -0.795593697 -0.601674048 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[7,13,8,12],X[1,15,2,14],X[4,3,5,2],X[3,16,4,15],X[10,14,11,13],X[5,1,6,0],X[11,9,12,8],X[6,10,7,9]]; -0.671059859 -0.714174638 -0.199081017 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.257654377 -0.930597518 -0.260004774 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[9,13,10,12],X[6,2,7,1],X[4,3,5,2],X[3,16,4,15],X[7,11,8,10],X[5,15,6,14],X[11,9,12,8],X[0,14,1,13]]; -0.123537909 0.686747177 0.716321646 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[7,3,8,2],X[8,6,9,5],X[3,7,4,6],X[4,2,5,1]]; 0.366976294 0.69696233 0.616094076 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.248927621 0.395349964 -0.884156913 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.267242591 0.918021085 -0.292948265 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.555198323 -0.830376642 -0.0472170957 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.398015923 -0.151493051 -0.904783499 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[8,5,9,4],X[5,10,6,9]]; 0.573375079 -0.787917364 -0.224560116 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.388326048 0.705667386 0.592652023 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[9,2,10,1],X[0,3,1,2],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.502505698 0.864493803 0.0117680547 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.424736195 0.844869055 0.325262118 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.998734954 -0.0177173767 0.0470593865 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.010984736 0.888026537 0.459660967 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[1,4,2,3],X[11,3,12,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.940345107 -0.321170344 -0.112252792 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.244563883 0.936254335 0.252222773 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.860734475 0.417609209 0.291099145 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.415045032 -0.889735961 0.190019845 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.853555921 0.355908934 -0.380488003 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.0205833677 0.341135397 -0.939788788 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.0259119562 -0.707162139 -0.70657645 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[5,9,6,8],X[1,5,2,4],X[6,4,7,3],X[2,8,3,7]]; -0.627793195 0.466679452 -0.622965483 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.182581958 0.647701983 0.739693159 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[1,4,2,3],X[13,3,14,2],X[11,5,12,4],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; 0.127546419 -0.782090263 -0.609972731 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]];