#projection.x projection.y projection.z knotoid_type polynomial PD_code 0.0102994883 -0.575707911 -0.817590558 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.290986534 0.79369339 -0.534207488 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.81343049 0.490349887 -0.312870304 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.255433125 0.177510141 -0.950391534 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.766598186 -0.308361192 -0.563241153 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.0334019418 -0.307093341 0.95109305 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.835229741 0.54312439 -0.0860649543 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.986715183 0.118305561 -0.111341558 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.297470362 0.507917999 0.80841245 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.855215024 0.426028209 -0.295139336 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.585898708 0.299011904 0.753202884 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.481713 0.660262178 -0.576200001 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.038250034 -0.991731943 0.122493627 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.804684814 -0.591120005 0.0553126582 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.471794114 -0.501920984 -0.724903883 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.793514688 -0.477435199 -0.377346089 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.599389988 -0.0103512889 0.800390213 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.927212485 -0.367918303 0.0700937272 k7.14 + A^(-22) - 2*A^(-18) - 2*A^(-16) + A^(-14) + 3*A^(-12) - A^(-10) - A^(-8) + A^(-6) + 2*A^(-4) - 1 PD[X[4,1,5,0],X[8,1,9,2],X[2,7,3,8],X[3,6,4,5],X[15,6,16,7],X[9,13,10,12],X[13,11,14,10],X[11,15,12,14]]; 0.0926424027 0.615526001 -0.782652622 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.168467586 0.686495188 -0.707349298 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[11,1,12,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6],X[10,3,11,4]]; 0.247006779 -0.453643014 0.856268455 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.847380537 0.375535993 0.375391719 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.596534977 -0.487378019 -0.637658756 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.0359240254 -0.870899663 -0.490146143 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.430452111 -0.7771099 0.45914179 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.549578821 -0.611436875 -0.569304898 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.290066381 -0.0996050946 0.951808972 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0397829306 0.429786378 0.902053761 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.487590726 -0.741953268 -0.460174566 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.0144743568 -0.450742457 0.892536683 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.125670895 -0.752669625 0.646293479 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.603566745 0.316259229 -0.731906609 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.646698673 -0.657152728 0.387209398 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.3284333 -0.449713321 0.830595869 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,7,1,8]]; -0.875108172 0.407212884 -0.261463868 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.0638403776 -0.969238337 0.237700342 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.411147685 -0.511926076 -0.754247489 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.104320379 -0.990769497 -0.0865624775 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.929798322 0.359597069 0.0785176991 k7.14 + A^(-22) - 2*A^(-18) - 2*A^(-16) + A^(-14) + 3*A^(-12) - A^(-10) - A^(-8) + A^(-6) + 2*A^(-4) - 1 PD[X[0,7,1,6],X[1,5,2,4],X[10,3,11,4],X[8,17,9,18],X[7,6,8,5],X[2,9,3,10],X[14,12,15,11],X[12,16,13,15],X[16,14,17,13]]; -0.065429637 0.14855509 0.986737223 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.817825382 -0.500061107 -0.284781554 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[3,0,4,1],X[8,2,9,1],X[2,10,3,9],X[4,7,5,6],X[5,17,6,18],X[7,16,8,17],X[13,11,14,10],X[11,15,12,14],X[15,13,16,12]]; 0.924228823 0.162643759 -0.345467931 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.809431479 0.281215498 -0.515498326 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.478431906 0.781623517 -0.400209433 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.688182364 0.306251786 0.657734656 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.0214689835 -0.822560427 -0.568272317 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[5,1,6,0],X[1,5,2,4],X[2,6,3,7],X[7,3,8,4],X[11,9,12,8],X[9,13,10,12],X[13,11,14,10]]; 0.155817642 -0.512324587 0.844537968 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.322392363 -0.809328262 0.490969376 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.981683846 -0.175629835 0.073830808 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[7,1,8,2],X[8,4,9,5],X[2,6,3,7],X[0,4,1,3],X[15,6,16,5],X[9,13,10,12],X[13,11,14,10],X[11,15,12,14]]; 0.400749721 0.906215518 -0.134807627 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.351008402 -0.505756736 -0.788037579 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0498359098 -0.797469733 0.60129727 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.801674124 -0.455435073 -0.387165977 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.212688936 -0.976935301 -0.0189956157 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[9,1,10,0],X[2,16,3,15],X[4,15,5,14],X[11,8,12,7],X[6,13,7,12],X[10,14,11,13],X[5,9,6,8],X[3,2,4,1]]; 0.424108247 0.392262485 -0.816248944 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.429237991 -0.826633879 -0.363910947 k6.11 - A^(-10) + A^(-6) - A^(-2) + 1 + 2*A^(2) + A^(4) - A^(6) - A^(8) PD[X[9,0,10,1],X[7,4,8,3],X[2,7,3,6],X[4,9,5,8],X[1,10,2,11],X[5,11,6,12]]; -0.531396012 0.817453893 0.222232785 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.163762183 -0.119094593 -0.97928465 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.335534369 -0.912468268 -0.234133183 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 3*A^(-20) - A^(-18) + 2*A^(-16) + 2*A^(-14) + A^(-12) PD[X[5,1,6,0],X[3,2,4,1],X[2,8,3,7],X[4,7,5,6],X[8,11,9,10],X[11,10,12,9]]; -0.0227756581 -0.812280397 0.582822294 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.930709143 0.365715166 -0.00573654892 k7.14 + A^(-22) - 2*A^(-18) - 2*A^(-16) + A^(-14) + 3*A^(-12) - A^(-10) - A^(-8) + A^(-6) + 2*A^(-4) - 1 PD[X[0,7,1,6],X[1,5,2,4],X[2,9,3,10],X[10,3,11,4],X[7,6,8,5],X[8,17,9,18],X[14,12,15,11],X[12,16,13,15],X[16,14,17,13]]; 0.539040114 0.804104757 0.250701606 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.560005408 -0.449729698 -0.695799642 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.957846547 0.0511622547 0.282687841 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.812266708 0.350703581 -0.466079171 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.655924792 -0.69492825 0.294681854 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.801894411 -0.262289715 0.536814176 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.314009444 -0.695365204 -0.646425017 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6],X[10,13,11,12],X[11,13,12,14]]; -0.982461085 0.144470159 0.117892283 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,10,2,9],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; -0.072988166 -0.99592114 0.0530453622 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.663654016 -0.163667163 0.729915342 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.969399973 0.152866496 0.192082082 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,10,2,9],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; -0.223775576 0.478898323 -0.84887036 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.933102648 -0.0214629481 0.358969066 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.310479268 -0.90494031 0.291008007 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.418751807 -0.855460896 0.304686033 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.380975003 -0.0363046712 0.923872295 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.945129808 -0.0181957204 0.326187923 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.696661647 -0.0945969396 -0.711135689 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.760590632 0.64864961 -0.0274877045 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,5],X[1,6,2,7],X[2,14,3,13],X[3,6,4,5],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; 0.0924858984 0.29865023 0.949870727 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.258130409 0.749818772 -0.609213018 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.537113169 0.489211865 0.687154418 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.384857472 0.652818271 -0.652466882 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0359246051 -0.44898111 0.892818787 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.360215403 0.854299727 0.37472235 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.252813911 0.896203576 -0.36456039 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.720094828 0.49636192 0.484859035 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.013510536 0.241154273 0.970392746 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.323883751 0.534467134 -0.780669071 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.978521879 -0.0152520871 0.205577981 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.171308542 -0.872273775 -0.458030398 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.0829596941 0.510564061 0.855828271 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[8,7,9,6],X[9,7,10,8]]; -0.107768378 0.847351724 -0.519981762 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.676370444 -0.375335649 0.63375561 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.616603184 0.485933381 -0.619410415 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.506886409 0.663683157 0.550082571 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.696727302 0.641724499 0.320563151 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[1,6,2,5],X[6,3,7,2],X[13,4,14,5],X[7,11,8,10],X[11,9,12,8],X[9,13,10,12]]; 0.289583615 -0.872098342 -0.394443674 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.675902879 0.656269134 0.335359689 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.191639068 -0.936149274 -0.29478637 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.924263125 0.282429478 -0.25684872 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.82501184 -0.454808556 0.335417116 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.575882829 0.492214128 0.652751269 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.592008097 0.573696762 0.566037489 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.141869742 -0.350283623 -0.925837113 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.10868381 0.624260861 0.773618903 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],X[10,9,11,8],X[11,9,12,10]]; 0.406268102 -0.875570685 -0.261385166 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.640586034 0.14600784 0.753877473 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.986211346 -0.0166516201 0.164650859 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.163524691 -0.47420289 -0.865096119 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.443910761 0.577387246 0.685249739 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.640526434 0.451632924 -0.621090645 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.986195766 -0.161525097 -0.0364356041 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; -0.571523366 -0.394861964 -0.71933655 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.29308002 -0.39553508 -0.870434433 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.331824035 -0.753247465 -0.567900578 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.259234024 0.965779749 -0.00819737278 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.0796584245 -0.914753139 -0.396082352 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.208481805 0.867781251 0.451099809 k4.5 - A^(-6) - A^(-4) + A^(-2) + 3 + A^(2) - A^(4) - A^(6) PD[X[5,1,6,0],X[1,7,2,8],X[8,2,9,3],X[3,9,4,10],X[4,7,5,6],X[10,15,11,14],X[13,12,14,11],X[12,16,13,15]]; -0.8519496 -0.463655085 -0.243322506 UNKNOWN - A^(-24) - A^(-22) + A^(-20) + 3*A^(-18) + A^(-16) - 2*A^(-14) - A^(-12) + A^(-8) - A^(-6) - A^(-4) + 1 + A^(2) PD[X[3,0,4,1],X[11,2,12,1],X[2,13,3,12],X[4,10,5,9],X[5,8,6,7],X[6,21,7,22],X[8,20,9,21],X[10,19,11,20],X[16,14,17,13],X[14,18,15,17],X[18,16,19,15]]; 0.667941338 0.204484224 0.715570102 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.645319278 -0.0347934122 0.763120206 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.710234235 -0.570331759 0.412660897 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.00530259166 -0.837826667 0.545910577 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.824327699 -0.547368663 0.144469345 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; -0.188962139 -0.603141748 -0.774927959 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.825961792 -0.228095685 0.515518648 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.504916043 0.0323273694 0.862562885 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.059106994 -0.747997137 0.661064782 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.350529592 -0.686277748 -0.637300445 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6],X[10,13,11,12],X[11,13,12,14]]; 0.329491434 -0.814463192 0.477582562 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.301729731 0.0132597441 0.95330129 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,7,1,8]]; 0.417485604 -0.0865593128 0.904551412 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0311155722 -0.936764348 0.348574781 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.155256507 -0.784726536 -0.600083062 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[9,5,10,4],X[5,9,6,8],X[6,12,7,11],X[10,8,11,7]]; 0.233741719 0.848594088 0.474608136 k4.5 - A^(-6) - A^(-4) + A^(-2) + 3 + A^(2) - A^(4) - A^(6) PD[X[5,1,6,0],X[1,7,2,8],X[8,2,9,3],X[3,9,4,10],X[4,7,5,6],X[10,15,11,14],X[13,12,14,11],X[12,16,13,15]]; -0.254145353 0.050843148 0.965828719 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.831139016 0.16421326 -0.531264475 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.222465258 0.142537187 0.964464805 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.412113549 0.557752795 -0.720468071 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[11,1,12,2],X[10,3,11,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.82687854 -0.545286497 -0.137602749 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.424400851 0.572517343 0.701503963 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.0947539699 0.971185326 0.218679556 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.589995025 0.700937219 -0.400740421 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.429290088 -0.740309506 -0.517350805 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.723513034 0.677762738 0.131021219 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.509051186 0.630188118 -0.586284765 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.057512393 0.214536672 0.9750212 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.362975331 -0.702629303 -0.612013866 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6],X[10,13,11,12],X[11,13,12,14]]; -0.854700145 -0.106679638 0.508042437 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.937930341 0.10472652 -0.330634287 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.490794349 -0.254897956 0.833155411 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.94153767 -0.234191881 0.242200287 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.237628396 0.962403524 -0.131575846 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[9,5,10,4],X[10,8,11,7],X[5,9,6,8],X[6,4,7,3]]; -0.277751371 0.642724061 0.713974759 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],X[10,9,11,8],X[11,9,12,10]]; 0.653417071 0.438825174 0.616829472 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.981826924 0.163731843 0.0959571493 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.743802639 0.315585161 0.58920594 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[1,6,2,5],X[6,3,7,2],X[13,4,14,5],X[7,11,8,10],X[11,9,12,8],X[9,13,10,12]]; -0.564009644 0.804299977 -0.18706862 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.757879884 0.33611221 -0.55914816 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.300408164 -0.848302422 -0.436048088 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,6,1,5],X[7,1,8,2],X[2,8,3,9],X[9,3,10,4],X[6,5,7,4],X[10,14,11,13],X[14,12,15,11],X[12,16,13,15]]; -0.882378081 0.112031329 -0.457009741 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.555687331 -0.660277199 0.505218379 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.216483989 0.938464348 -0.269108434 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0600178524 -0.267982263 -0.96155258 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.373595322 0.214165887 -0.902529506 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.400858313 0.837238886 -0.371945776 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.40535768 0.906161501 -0.12065026 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.526520594 -0.813329072 0.247531584 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.866269748 0.307879098 -0.393430026 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.656739787 -0.753742284 0.0237785936 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.402315602 0.664644095 0.629595413 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.200588201 -0.594706796 -0.778516666 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[10,13,11,12],X[11,13,12,14]]; -0.926638089 0.281269658 -0.249457874 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.784917623 -0.615196816 0.0737373885 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.275652127 0.618970141 -0.735453513 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[7,0,8,1]]; -0.929594517 -0.257091627 -0.264117265 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.00521413874 0.632033247 -0.77492373 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.431540554 -0.300364008 0.850619899 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0522309974 -0.554152379 -0.830774978 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0889095475 0.321683641 -0.942663634 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.397784612 0.537621029 0.74345883 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.675273678 -0.5948369 -0.436090039 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.50997765 -0.856946111 -0.0746066957 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.899276586 0.278217513 0.337485759 k7.14 + A^(-22) - 2*A^(-18) - 2*A^(-16) + A^(-14) + 3*A^(-12) - A^(-10) - A^(-8) + A^(-6) + 2*A^(-4) - 1 PD[X[0,5,1,4],X[7,2,8,3],X[6,17,7,18],X[5,4,6,3],X[1,16,2,17],X[8,14,9,13],X[12,10,13,9],X[15,11,16,10],X[11,15,12,14]]; 0.471643392 -0.746288123 0.469687713 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.110681193 -0.61378398 -0.781676979 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5],X[10,13,11,12],X[11,13,12,14]]; -0.426785305 0.632258135 -0.646609584 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.891020201 -0.429623559 0.146651284 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.717262541 0.295431274 0.63107433 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.648931122 -0.725459448 -0.229340333 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.368710232 -0.690985693 0.621764857 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.856001389 -0.193791238 -0.479277141 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[5,2,6,1],X[2,7,3,6],X[4,13,5,14],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; 0.770091643 0.615176706 -0.168868239 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.854000687 0.188728598 0.484834346 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[1,6,2,5],X[6,3,7,2],X[13,4,14,5],X[7,11,8,10],X[11,9,12,8],X[9,13,10,12]]; 0.516154825 0.778007133 -0.358174675 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.592536888 -0.0936017714 0.800086711 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.342596989 -0.0938554206 -0.934782575 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.559228138 -0.650678065 -0.513694408 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.807124527 -0.168897297 -0.565706373 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.148563865 0.551033397 -0.821152223 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.170934565 0.247880926 -0.953591328 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.182609324 0.17975559 0.966613554 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.806576167 0.105978133 0.581552682 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.866288353 0.415247591 -0.277693945 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.963376221 -0.107859589 0.245504716 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.201132242 0.562948644 0.801644962 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.21722273 0.434187845 -0.874239785 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.755918853 0.408841014 -0.511307846 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.134723232 0.887179737 0.441318212 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.773485055 0.380876959 -0.50660992 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.987607936 0.117455351 -0.104090374 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.820499326 0.399594053 0.408785334 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[0,3,1,4],X[1,9,2,8],X[9,3,10,2],X[6,5,7,4],X[17,5,18,6],X[16,7,17,8],X[10,14,11,13],X[14,12,15,11],X[12,16,13,15]]; 0.622250012 -0.381447496 0.683595444 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.552507254 -0.545876281 0.629884768 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.940235046 -0.154577145 0.303420442 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.399344015 0.63484474 0.661435192 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.549571099 -0.326197792 -0.769133674 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.158730059 0.569595128 -0.806452825 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[11,1,12,2],X[10,3,11,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.727961784 0.488301411 -0.481283048 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.617575821 0.119991192 -0.777304458 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.856580169 -0.226946002 0.463428448 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.5937696 0.430980444 0.679480331 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.399510775 0.528297051 -0.749195146 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.365063866 -0.927417435 -0.0813957886 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.744513494 0.0671630315 -0.664220434 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.828026253 -0.553181836 0.0914460542 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.721585051 -0.559351569 0.407971614 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.965804052 -0.0303789003 -0.257487196 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.974119866 -0.209742344 -0.0842534006 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.276943577 0.933902897 0.226114204 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.809131163 -0.571983245 0.134691977 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.582720229 -0.735174466 0.346346127 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.217428028 -0.318133496 0.922776317 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.788338136 0.490387517 0.371541473 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.441026682 0.82219553 0.359847157 k6.11 - A^(-10) + A^(-6) - A^(-2) + 1 + 2*A^(2) + A^(4) - A^(6) - A^(8) PD[X[0,9,1,10],X[5,2,6,1],X[7,4,8,3],X[2,7,3,6],X[10,8,11,9],X[11,4,12,5]]; 0.988610223 -0.148265381 -0.0258302814 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.0136243288 -0.574517782 0.818378699 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.579525584 -0.0525847396 0.813255767 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.0426867949 -0.10908224 0.993115755 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.43633564 0.13546625 -0.889528024 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.67731386 -0.661597062 -0.321768959 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[7,2,8,1],X[3,6,4,5],X[2,9,3,8],X[4,1,5,0],X[9,7,10,6]]; -0.248370062 -0.884799681 0.394261127 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.0210071421 -0.011069233 -0.999718046 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.946360608 0.316704967 0.0640278333 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.840869357 0.249160625 -0.480476541 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.588575905 0.746762518 0.309716233 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[3,15,4,16],X[7,13,8,12],X[11,9,12,8],X[14,10,15,9],X[10,14,11,13]]; 0.423424325 0.355182176 -0.833401142 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.385240913 0.908382354 -0.162575942 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.964880564 0.261898344 -0.0203655441 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.165921734 -0.929774559 -0.328617174 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.700701349 0.705551418 0.10590003 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[0,5,1,4],X[3,2,4,1],X[11,2,12,3],X[5,9,6,8],X[9,7,10,6],X[7,11,8,10]]; -0.646351822 0.282219445 0.708929832 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.819908981 0.378606827 0.429425352 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.231018565 0.820138615 -0.52345303 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.811970058 0.578574538 -0.0771759595 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,10,2,9],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; -0.199485649 -0.965610694 -0.166737712 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0293474594 -0.819426303 0.572432756 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.53031766 0.803569597 0.270257437 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.0623373139 -0.982591746 0.175007199 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.0452861593 0.864632341 0.500359948 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.172745522 -0.962941533 0.207129402 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.866201542 -0.499223845 0.0216896622 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.972274526 -0.173398388 0.156892462 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[7,1,8,2],X[8,4,9,5],X[2,6,3,7],X[0,4,1,3],X[15,6,16,5],X[9,13,10,12],X[13,11,14,10],X[11,15,12,14]]; 0.18607842 0.581326961 -0.792107181 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[11,1,12,2],X[10,3,11,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.750037526 0.345966791 0.56369379 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[1,6,2,5],X[6,3,7,2],X[13,4,14,5],X[7,11,8,10],X[11,9,12,8],X[9,13,10,12]]; -0.00333729457 -0.495393398 -0.86866233 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.561260787 -0.780276864 -0.275960767 UNKNOWN + A^(-28) + A^(-26) - 2*A^(-24) - 4*A^(-22) + 4*A^(-18) + 2*A^(-16) - 2*A^(-14) - A^(-12) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[15,12,16,11],X[17,5,18,6],X[3,8,4,7],X[10,15,11,14],X[8,5,9,4],X[13,17,14,16],X[6,3,7,2],X[9,1,10,2]]; 0.532620556 -0.66988525 -0.517270814 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.444719606 0.8019057 0.398963307 k6.11 - A^(-10) + A^(-6) - A^(-2) + 1 + 2*A^(2) + A^(4) - A^(6) - A^(8) PD[X[0,9,1,10],X[8,5,9,4],X[11,5,12,6],X[6,3,7,2],X[3,8,4,7],X[10,1,11,2]]; -0.695742361 0.314719413 0.645673492 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.711768304 0.698797906 0.0711854477 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.606890763 0.220917077 0.763465289 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.282982065 0.668867313 -0.687413754 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.0714716901 -0.880481473 -0.46866211 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.235675568 0.921617472 0.308347631 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.169453363 -0.431068406 -0.886264964 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,9,7,8],X[7,9,8,10]]; -0.862892061 -0.0528851152 0.502613625 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.376247351 0.477536262 0.793975472 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.669327785 0.232527391 -0.705642494 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.528438878 -0.760033542 0.378287414 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.209153032 0.776570844 -0.594300205 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.830561772 -0.486941621 0.270286886 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.153409427 -0.983345622 0.0974522256 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[4,10,5,9],X[7,11,8,10],X[8,6,9,5],X[3,7,4,6]]; 0.420195548 0.598019362 0.682501681 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.66079697 -0.122649906 0.74047577 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.80129524 0.575138855 -0.164745976 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.18241084 -0.683098276 -0.707179632 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[11,7,12,6],X[7,11,8,10],X[8,14,9,13],X[12,10,13,9],X[14,17,15,16],X[15,17,16,18]]; -0.757733693 0.44820924 0.474286968 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.612193196 0.418275488 0.671017964 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.28895203 0.118792752 0.949944739 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.242231904 -0.147806183 -0.958893653 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.533491532 -0.0854700675 0.841475878 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.602722016 -0.676100404 -0.42380941 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.672802719 0.207558984 -0.710109688 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.00338629316 0.998108572 0.0613824944 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.650284997 0.545907457 -0.528312854 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.124653072 -0.600308586 0.789994439 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.546482527 0.808463215 -0.218504182 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.459190731 -0.505054592 -0.730796642 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.633413023 0.761654052 -0.136642039 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.390611427 -0.412297971 0.823063239 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.604073943 -0.759310476 -0.241955103 UNKNOWN + A^(-32) - 2*A^(-28) - A^(-26) + 2*A^(-24) + A^(-22) - 2*A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[15,3,16,2],X[24,4,25,5],X[16,7,17,6],X[22,19,23,18],X[5,2,6,1],X[20,1,21,0],X[7,3,8,4],X[12,9,13,8],X[9,14,10,13],X[19,24,20,23],X[25,10,26,11],X[14,12,15,11],X[17,22,18,21]]; 0.659983853 -0.484097454 0.574518031 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.292596776 0.30375142 -0.906709546 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.694515087 -0.715955291 0.0711112921 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.730712849 -0.56626163 -0.381322042 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.66448404 -0.255761655 0.70217301 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.149952314 0.0243395945 -0.988393589 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.629286284 0.751601956 0.197720189 UNKNOWN + A^(-32) - 2*A^(-28) - A^(-26) + 2*A^(-24) + A^(-22) - 2*A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[9,6,10,5],X[0,3,1,2],X[3,2,4,1],X[4,9,5,8],X[6,11,7,10],X[11,8,12,7]]; -0.0369058946 0.967319043 -0.250862162 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.701603097 -0.237759191 -0.671731837 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.228335922 0.826215336 0.515005753 k7.13 + A^(-14) - A^(-12) - 3*A^(-10) + 3*A^(-6) + 2*A^(-4) - 2*A^(-2) + 2*A^(2) + A^(4) - A^(6) - A^(8) PD[X[0,4,1,5],X[1,6,2,7],X[7,2,8,3],X[3,6,4,5],X[11,9,12,8],X[9,13,10,12],X[13,11,14,10]]; 0.270596722 0.890059588 -0.366839671 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.623683133 0.450745135 -0.638629919 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.338262269 -0.89658696 0.285850416 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0471490272 0.983691656 -0.173573316 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.820815833 0.367919695 -0.436917002 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.355365158 0.385773302 0.851407402 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.628414895 0.0523762447 -0.776113039 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.244371677 -0.144532548 0.958849741 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.418690441 0.894052284 -0.159275953 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.673507385 -0.493820577 0.550026399 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.359164344 -0.391258921 0.847300083 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.853209792 0.517731382 -0.0631448091 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.295540504 -0.897228312 0.328081036 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.7709676 -0.137167869 -0.621927597 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.938768964 0.179347093 0.294189484 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.439656311 -0.795795737 -0.416427032 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.777799292 -0.601232142 -0.183161603 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[4,1,5,0],X[1,4,2,3],X[2,11,3,12],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; 0.363161872 -0.910339941 0.198480848 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.139406896 0.97960767 -0.144687701 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[6,4,7,3],X[9,5,10,4],X[5,9,6,8],X[10,8,11,7]]; -0.0860850743 -0.00819335153 0.996254099 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,7,1,8]]; -0.0927040226 0.961879711 -0.257280754 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.663017281 0.172583967 -0.728438645 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.874248141 -0.171512177 0.454173712 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.661735909 -0.23390135 0.712317166 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.956479714 0.118863321 0.266492152 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.598686346 0.782158423 0.172635047 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.741953161 -0.496670676 -0.450359575 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[5,2,6,1],X[2,7,3,6],X[4,13,5,14],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; 0.142506323 0.972171723 0.185941088 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.859706101 0.378830164 -0.342626805 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.122730535 -0.206356292 0.970749348 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.215208579 -0.251000901 0.943760465 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.792349953 0.455476745 0.405860181 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[0,3,1,4],X[1,9,2,8],X[9,3,10,2],X[6,5,7,4],X[17,5,18,6],X[16,7,17,8],X[10,14,11,13],X[14,12,15,11],X[12,16,13,15]]; 0.286884626 -0.419166621 0.861392219 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.66010753 -0.724082336 0.199907027 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.744352307 0.275091693 0.608493388 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.833605818 -0.485972126 0.262549868 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.770800761 0.166945235 0.614813366 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.243480355 0.900187489 0.361081433 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.0170658156 -0.807526386 -0.589584509 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[5,1,6,0],X[1,5,2,4],X[2,6,3,7],X[7,3,8,4],X[11,9,12,8],X[9,13,10,12],X[13,11,14,10]]; 0.693898831 0.00598493903 -0.720047632 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.307933324 -0.844331952 0.438498144 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.36174328 -0.205002308 -0.909459099 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.846296754 -0.471806175 0.247347403 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.0808968313 0.236958647 0.968145806 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.856406832 0.13796071 -0.49752807 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.408577002 0.738127576 -0.536872904 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.936662644 -0.166135551 -0.308321376 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0431164555 0.970566302 -0.236943083 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[8,6,9,5],X[10,8,11,7],X[6,10,7,9],X[11,5,12,4]]; 0.690094044 -0.0633912602 0.72093811 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.197888347 -0.281953307 -0.938798453 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.644947242 0.430392293 0.631510513 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.63849977 0.159584366 0.752894995 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.408339406 0.349197463 -0.843397926 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[4,2,5,1],X[2,6,3,5],X[7,0,8,1]]; 0.794055672 -0.376194789 0.477444311 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.659101126 -0.745804158 -0.0967567251 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.638371645 -0.594305244 -0.489165533 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0612966034 -0.824762408 -0.562147398 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.275723829 0.472084847 -0.83732447 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.807313895 0.211030182 0.551099389 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.39777071 0.821198968 0.409158548 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.0591687423 -0.569000862 0.82020551 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.57739221 -0.802313985 -0.151362165 k4.6m + A^(-20) - 2*A^(-16) - 2*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[13,0,14,1],X[5,2,6,1],X[2,7,3,6],X[14,13,15,12],X[15,3,16,4],X[7,11,8,10],X[16,9,17,8],X[9,18,10,17],X[11,5,12,4]]; 0.962113898 0.00939619258 -0.272485889 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.348166254 0.176136621 0.920736743 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.941846719 -0.105458849 -0.319066121 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.225147237 -0.792857954 -0.56629055 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[9,5,10,4],X[5,9,6,8],X[6,12,7,11],X[10,8,11,7]]; -0.459385533 0.0965668454 -0.882972127 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.985377701 0.170291514 -0.00562021649 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.793072751 0.586364958 -0.164959833 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,10,2,9],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; 0.943371707 -0.0452202595 -0.328641066 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.175136483 0.803574922 0.568853722 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.359743627 -0.906925473 0.219250334 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.941155929 -0.325618731 -0.0905425875 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.258699509 0.207997825 -0.943298187 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.322367079 0.848167176 -0.420347366 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.250684486 -0.848995594 0.465149192 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.298969315 0.788657434 0.537249291 k7.13 + A^(-14) - A^(-12) - 3*A^(-10) + 3*A^(-6) + 2*A^(-4) - 2*A^(-2) + 2*A^(2) + A^(4) - A^(6) - A^(8) PD[X[0,4,1,5],X[1,6,2,7],X[7,2,8,3],X[3,6,4,5],X[8,14,9,13],X[12,10,13,9],X[15,11,16,10],X[11,15,12,14]]; 0.250455797 -0.884866619 -0.392788698 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.207240627 0.775591748 -0.596245556 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.530031136 -0.123643243 0.838915576 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.665196177 -0.656761953 0.355215123 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[1,10,2,9],X[2,1,3,0],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; 0.0463022168 0.90550079 -0.421810887 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.594125194 -0.774159312 -0.218386384 UNKNOWN + A^(-32) - 2*A^(-28) - A^(-26) + 2*A^(-24) + A^(-22) - 2*A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[2,1,3,0],X[1,4,2,3],X[8,5,9,4],X[5,10,6,9],X[10,7,11,6],X[7,12,8,11]]; 0.415665475 0.803313051 -0.426509501 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.677900683 0.0329015146 0.73441688 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.064905766 0.477249376 0.876367659 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.10120898 0.986452033 0.129108978 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.231945568 0.509926331 0.828357647 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[12,11,13,10],X[13,11,14,12]]; -0.567575898 -0.69225068 -0.445697875 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.126341378 -0.938751669 0.320598127 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.266464583 -0.686025625 0.677026933 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.269493501 0.117248571 -0.955837866 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.608399069 0.256086339 0.751179312 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.783356699 0.614372175 -0.0943351076 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,10,2,9],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; 0.68163153 0.728892514 0.0639856248 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0442154415 0.825771132 0.562269537 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.852608266 0.238758717 0.464815468 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[6,4,7,3],X[4,2,5,1],X[2,6,3,5]]; 0.891418502 0.394394127 0.223218114 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.700019445 0.352214311 -0.621222871 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.425596302 0.507887342 -0.748944748 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.104820374 0.971258249 0.213705646 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.247789619 0.316418804 0.915685233 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,7,1,8]]; 0.373948345 -0.90347867 0.209496846 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.19924007 -0.908935766 0.366250143 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.214777236 0.806272339 0.551176609 k7.13 + A^(-14) - A^(-12) - 3*A^(-10) + 3*A^(-6) + 2*A^(-4) - 2*A^(-2) + 2*A^(2) + A^(4) - A^(6) - A^(8) PD[X[0,5,1,6],X[1,3,2,4],X[7,2,8,3],X[4,7,5,6],X[11,9,12,8],X[9,13,10,12],X[13,11,14,10]]; -0.250084583 -0.919219023 0.30412841 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.361481214 -0.167004626 -0.917300816 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.16816719 -0.898680472 -0.405084195 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.0401415349 0.643760456 -0.764173496 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.130383087 0.428288086 -0.894186539 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0897467767 -0.37552975 -0.922454835 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.73113821 0.308098871 0.608696972 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.742092825 0.558056044 -0.371310774 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.539665481 0.518451473 -0.663301771 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.873072583 -0.48071601 -0.0815866566 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.359736283 0.143614026 -0.921935366 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.328898209 -0.0038832231 -0.944357395 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[4,2,5,1],X[2,6,3,5],X[7,0,8,1]]; 0.988047167 -0.119816249 0.0969889783 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.900883432 -0.402855968 0.161604799 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.417166464 0.421102915 0.805384676 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.647355477 0.727925519 -0.225954255 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.220670093 0.772730036 0.595141162 k5.13m - A^(-12) - A^(-10) + 2*A^(-8) + 3*A^(-6) - 3*A^(-2) - 1 + A^(2) + A^(4) PD[X[0,6,1,5],X[4,2,5,1],X[6,2,7,3],X[3,7,4,8],X[10,9,11,8],X[9,12,10,11]]; -0.552729248 -0.0391618628 -0.832440224 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.906397279 -0.416644068 0.0696540982 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.977102663 0.141899295 -0.158540143 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,7,2,8],X[6,2,7,3],X[4,8,5,9],X[5,16,6,15],X[12,10,13,9],X[10,14,11,13],X[14,12,15,11]]; -0.39222986 -0.121633313 0.911790038 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,7,1,8]]; 0.537320954 0.836635002 -0.106433387 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.267820015 0.506745926 -0.819439446 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.150601199 0.0245167678 0.988290548 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.926494206 0.21525543 0.308664196 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0548586475 0.853980935 -0.517404187 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.152621227 0.853714639 -0.497873554 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.146023838 0.156993939 0.976744563 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.284524343 0.705249438 -0.649360553 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.155477498 0.364718943 -0.918045119 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[4,2,5,1],X[2,6,3,5],X[7,0,8,1]]; 0.0451743276 0.755685051 -0.653375378 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.128226885 -0.98879194 0.0764746019 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.766695408 0.424981032 0.481216451 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[0,5,1,4],X[3,2,4,1],X[11,2,12,3],X[5,9,6,8],X[9,7,10,6],X[7,11,8,10]]; 0.675643338 -0.118367918 0.72766415 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.357791314 -0.554903995 -0.751043895 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.221758691 -0.162743117 0.96142486 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.807559159 0.246022003 -0.536023675 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.790465768 0.612464956 -0.00710968021 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,10,2,9],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; -0.786023663 0.540245773 -0.300501757 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.677635756 0.543878333 0.49498095 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.502346492 -0.578735655 0.642427462 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.863320219 0.24126362 0.443249439 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[1,6,2,5],X[6,3,7,2],X[13,4,14,5],X[7,11,8,10],X[11,9,12,8],X[9,13,10,12]]; 0.782086233 -0.400251057 0.477640258 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.55117714 -0.6721305 -0.494413139 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.398986948 -0.886027402 -0.23614584 k4.6m + A^(-20) - 2*A^(-16) - 2*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[4,7,5,6],X[7,6,8,5]]; 0.534605921 0.842777556 0.0626298669 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.817505358 0.29893709 -0.492261724 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.945112754 -0.270176968 0.183756055 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.569289901 -0.541650201 0.618485302 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.806530159 0.350638866 -0.475984756 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.551088236 0.176178028 -0.815636597 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.352472111 0.183745708 -0.917606084 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.632182909 0.758709573 0.157176822 UNKNOWN + A^(-32) - 2*A^(-28) - A^(-26) + 2*A^(-24) + A^(-22) - 2*A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[1,5,2,4],X[17,12,18,11],X[5,14,6,15],X[2,9,3,8],X[6,13,7,12],X[7,4,8,3],X[0,14,1,13],X[15,10,16,9],X[10,17,11,16]]; -0.543107034 0.307956159 0.781151556 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.70974577 -0.103390509 -0.696829495 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.404226241 -0.533786764 0.742746819 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.057552989 -0.0756048883 0.995475542 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.71260095 0.677866897 -0.180821336 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.936241877 0.348046881 0.0481094145 k7.14 + A^(-22) - 2*A^(-18) - 2*A^(-16) + A^(-14) + 3*A^(-12) - A^(-10) - A^(-8) + A^(-6) + 2*A^(-4) - 1 PD[X[0,7,1,6],X[1,5,2,4],X[2,9,3,10],X[10,3,11,4],X[7,6,8,5],X[8,17,9,18],X[14,12,15,11],X[12,16,13,15],X[16,14,17,13]]; 0.800170237 0.59692688 -0.0583600225 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.979339936 -0.0442718475 -0.197315215 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.548821753 0.343885443 0.761930105 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.235473205 -0.19371591 0.952379397 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.998993054 -0.0307226059 0.0326955644 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.622863862 -0.740507117 -0.252368418 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0463431769 0.998719289 0.0203000251 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,8,2,7],X[4,9,5,8],X[10,1,11,0],X[9,4,10,3],X[11,7,12,6],X[5,3,6,2]]; 0.550644928 0.159117671 0.819433786 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.152331997 0.101946651 -0.983057396 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.618696203 -0.491509998 0.612889003 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0551413948 0.917358165 0.394225092 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.816140657 0.562335473 0.133015954 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.785704837 -0.434899181 -0.439921143 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[3,0,4,1],X[8,2,9,1],X[2,10,3,9],X[4,7,5,6],X[5,17,6,18],X[7,16,8,17],X[13,11,14,10],X[11,15,12,14],X[15,13,16,12]]; -0.490015086 -0.757776517 -0.430882775 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.637926174 -0.137445297 -0.757732794 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.955472503 0.263015969 0.133771802 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0318590908 -0.576850028 -0.816228549 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.545950302 0.172195323 0.819931118 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.32975602 -0.743027452 0.582384043 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.203690316 0.95839473 0.199974489 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.99574008 0.0734798652 -0.0556992209 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.355020869 -0.700977805 0.618538842 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.274318148 -0.92121375 -0.275889071 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.815253271 0.391277847 0.426923587 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[0,3,1,4],X[1,9,2,8],X[9,3,10,2],X[6,5,7,4],X[17,5,18,6],X[16,7,17,8],X[10,14,11,13],X[14,12,15,11],X[12,16,13,15]]; -0.129789168 -0.946293219 0.296114699 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,0,3,1],X[3,2,4,1],X[6,5,7,4],X[5,16,6,15],X[11,15,12,14],X[7,11,8,10],X[12,10,13,9],X[8,14,9,13]]; -0.706468951 -0.507669517 0.493126031 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.142598732 -0.177283638 -0.973774159 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.639403675 -0.753209607 0.154396335 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0284148866 -0.252114916 -0.967280034 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.192534143 -0.915832345 0.352394268 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.817588761 0.45966675 0.346778167 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[0,3,1,4],X[1,9,2,8],X[9,3,10,2],X[6,5,7,4],X[17,5,18,6],X[16,7,17,8],X[10,14,11,13],X[14,12,15,11],X[12,16,13,15]]; -0.833746076 0.189251561 -0.518701578 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.376140735 -0.79033217 0.48362507 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.347684784 0.900315489 0.261815416 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.00891144211 -0.574295761 -0.818599392 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.763382628 -0.109880768 -0.636532152 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.65258528 -0.0775133251 -0.753740099 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.122348786 0.128893922 -0.984081872 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.0228684798 0.997939886 -0.0599417808 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.853508877 -0.521063891 -0.00387521461 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.84275415 -0.272156312 0.464431249 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.618221429 0.0775630893 0.782167649 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.303844189 0.702665543 -0.643381569 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.670673591 -0.435595648 -0.600377685 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.728433115 0.229974826 0.645365615 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.271301506 -0.218837841 0.937286238 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0692444688 0.273610651 0.959344784 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.90798808 -0.415382734 0.0549074668 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.158789321 -0.196826977 0.967494234 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,7,1,8]]; 0.665564644 -0.712031307 -0.223685321 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[2,0,3,1],X[7,12,8,11],X[8,5,9,4],X[3,2,4,1],X[10,7,11,6],X[5,10,6,9]]; 0.607412184 0.126788868 -0.784203432 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.265207359 -0.645411405 0.716316393 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[0,7,1,8]]; 0.302147795 0.766289169 0.567016419 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; 0.596215464 -0.629144008 0.498703257 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.973681001 -0.0112646424 -0.227636589 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.584898698 -0.754850514 0.296806697 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.510523285 0.217022007 -0.832026096 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.447509988 -0.49290486 0.746176661 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.729659348 0.286758875 -0.620779013 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.313369475 0.937139884 0.153520062 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[8,5,9,4],X[5,3,6,2],X[9,2,10,1],X[3,8,4,7]]; 0.88751119 -0.459388131 -0.0358668719 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.0667831179 -0.0643535487 0.99569003 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.539975827 0.832566876 -0.123525311 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.814572774 0.45779441 -0.356223911 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.60146457 -0.674316904 0.428412282 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0925470512 0.838080749 -0.537639007 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.44133172 0.223946645 -0.868950064 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.588295761 -0.685330319 -0.429220749 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.450507582 0.290953232 0.844031478 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.582755351 -0.102338186 -0.80617808 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.43475633 -0.725757321 0.533163431 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.219248989 0.974489336 0.0479626395 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[14,5,15,4],X[1,4,2,3],X[15,3,16,2],X[13,11,14,10],X[8,6,9,5],X[7,12,8,11],X[12,7,13,6],X[0,10,1,9]]; -0.487207455 -0.709687694 0.508893184 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.966746829 0.254215918 -0.0278358813 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.223208453 0.869879863 0.439871585 k4.5 - A^(-6) - A^(-4) + A^(-2) + 3 + A^(2) - A^(4) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[6,5,7,4],X[5,8,6,7]]; 0.254149724 -0.855055628 0.45198207 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.797359397 -0.267177984 0.541141309 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.566970757 -0.563421937 -0.600915869 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.543128813 0.333226236 -0.770695379 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.471962992 0.610498335 -0.636036726 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.215585231 -0.357385351 0.90873468 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.843783698 -0.378873439 -0.380110494 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[3,0,4,1],X[8,2,9,1],X[2,10,3,9],X[4,7,5,6],X[5,17,6,18],X[7,16,8,17],X[13,11,14,10],X[11,15,12,14],X[15,13,16,12]]; 0.223850116 -0.021795048 0.974379855 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.343646315 -0.904489661 -0.252597829 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0248523147 -0.247871179 -0.968474182 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.236041147 -0.518307399 -0.821974462 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[10,13,11,12],X[11,13,12,14]]; -0.934527838 -0.180369711 -0.306797144 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.138493938 -0.30223748 0.943118198 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,7,1,8]]; 0.204925876 0.807924124 0.55250701 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.876490556 0.323933537 0.356133921 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[1,6,2,5],X[6,3,7,2],X[13,4,14,5],X[7,11,8,10],X[11,9,12,8],X[9,13,10,12]]; 0.0158295758 -0.21938228 -0.975510553 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.212458211 0.510917854 0.832961257 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0469733618 -0.34926722 -0.935845026 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.533675622 -0.595365718 0.60060802 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0974273569 -0.46194731 0.881539898 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.919208131 -0.356467696 -0.167293736 k7.14 + A^(-22) - 2*A^(-18) - 2*A^(-16) + A^(-14) + 3*A^(-12) - A^(-10) - A^(-8) + A^(-6) + 2*A^(-4) - 1 PD[X[6,1,7,0],X[4,2,5,1],X[9,2,10,3],X[3,10,4,11],X[5,8,6,7],X[17,8,18,9],X[11,15,12,14],X[15,13,16,12],X[13,17,14,16]]; -0.144351189 -0.256906964 0.955594865 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,7,1,8]]; 0.492508351 -0.238643676 0.836949652 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.634651384 -0.48465696 0.601934591 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.834500436 -0.297462005 0.463816103 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.373537515 -0.881042439 -0.290230848 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.591033645 0.774260018 0.226275615 UNKNOWN + A^(-32) - 2*A^(-28) - A^(-26) + 2*A^(-24) + A^(-22) - 2*A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,3,1,2],X[3,2,4,1],X[4,9,5,8],X[9,6,10,5],X[6,11,7,10],X[11,8,12,7]]; -0.522964415 0.705186246 0.47876986 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.920953094 -0.120673625 -0.370517578 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.92686151 -0.0723324651 -0.368369049 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.231785481 0.88975379 -0.393209465 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.11166871 -0.990126371 0.084734105 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.72146491 -0.55404703 0.415355597 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.441398017 -0.500612309 0.744684569 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.282712977 -0.892386622 0.351737813 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.363452067 0.920767083 -0.141741218 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.75103663 -0.536440612 0.384935644 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.344280254 0.916513533 -0.203651785 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.750916924 0.15559648 -0.641804883 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.126083189 -0.0205652815 0.991806482 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.899713467 -0.397962311 -0.179280997 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.485604305 0.873306855 0.0390332565 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.424133602 0.752676043 -0.503576669 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.578142028 -0.480043921 0.659779985 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.89557678 0.132999257 -0.424562632 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.00756383568 -0.756396174 0.654070039 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.974481671 0.223146546 -0.0243124007 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.511039204 -0.850692938 -0.123127812 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 3*A^(-20) - A^(-18) + 2*A^(-16) + 2*A^(-14) + A^(-12) PD[X[12,1,13,0],X[10,2,11,1],X[25,4,26,5],X[17,21,18,20],X[9,15,10,14],X[7,2,8,3],X[22,6,23,5],X[15,9,16,8],X[21,3,22,4],X[11,14,12,13],X[16,7,17,6],X[18,25,19,24],X[23,20,24,19]]; -0.0590048177 0.687299679 0.723973468 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.752219276 0.221075598 -0.620718729 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.986669501 -0.0912453041 -0.134750106 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.156955366 -0.895608059 -0.416234571 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.86823691 -0.380963776 -0.317854164 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.211994472 0.911175795 -0.353294514 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.257864283 0.875721793 -0.408187888 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.647829704 0.634446022 -0.421657349 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.123845658 0.396665957 -0.909570432 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.684793371 0.304040737 0.662281865 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.334766604 -0.239352389 -0.911395499 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.860670203 -0.313229309 -0.401415249 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[5,2,6,1],X[2,7,3,6],X[4,15,5,16],X[12,8,13,7],X[8,12,9,11],X[9,15,10,14],X[13,11,14,10]]; 0.935747874 0.091586446 -0.340569875 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.511298401 -0.547868737 -0.66212823 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.181953348 0.724530142 0.664792488 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; -0.297789682 0.923995942 -0.239901657 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0741892335 -0.0649257036 0.995128439 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,7,1,8]]; 0.213758295 0.869856521 -0.444586351 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.825267573 -0.29830239 0.479530101 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.498785063 0.165555653 -0.850767176 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.299314221 -0.954128534 -0.00705253193 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.229138006 -0.155611925 0.960874967 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.671406399 0.35838916 0.648668372 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.174156703 0.480281245 -0.859650725 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.606630977 0.422211831 0.673599308 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.609090003 -0.304864013 -0.732166171 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.828681835 -0.15909608 0.536632886 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0463128685 -0.70325013 -0.709432431 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.572365214 0.0443522985 0.818798471 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.172104636 -0.976170823 -0.132176087 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.946007853 -0.27844297 0.165947745 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.570440568 -0.320892666 0.756059161 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.535604939 0.0546725583 0.842697016 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.178733761 -0.97646007 -0.120747565 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.435636512 -0.430845544 -0.79031193 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.117548674 0.219479239 -0.968509769 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[4,2,5,1],X[2,6,3,5],X[7,0,8,1]]; -0.0969458433 0.123112375 -0.987646114 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0250826221 0.879721071 0.474828073 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.354896312 -0.920817696 0.161689139 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.580831894 -0.28854909 0.761166036 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.262341768 -0.282533185 0.922687269 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.94586948 -0.324541897 -0.00186657999 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.721643964 0.00195909955 0.69226162 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.13479396 -0.99070708 -0.0181678375 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.0641605909 0.388692495 0.919130874 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.854519284 0.234082787 -0.463683127 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.815433251 -0.527974885 0.237299671 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.810536658 -0.430285472 0.397347127 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.148962562 0.982209582 0.114343743 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.490281754 -0.15871147 -0.856991523 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.21768386 0.845120516 0.488246914 k4.5 - A^(-6) - A^(-4) + A^(-2) + 3 + A^(2) - A^(4) - A^(6) PD[X[5,1,6,0],X[1,7,2,8],X[8,2,9,3],X[3,9,4,10],X[4,7,5,6],X[10,15,11,14],X[13,12,14,11],X[12,16,13,15]]; 0.496984474 -0.714176329 -0.492908312 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[13,6,14,7],X[7,11,8,10],X[11,9,12,8],X[9,13,10,12]]; 0.774472727 0.631675002 -0.0343320058 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.419409042 -0.210572226 -0.883037594 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.164089261 -0.856895022 -0.488677436 k5.13m - A^(-12) - A^(-10) + 2*A^(-8) + 3*A^(-6) - 3*A^(-2) - 1 + A^(2) + A^(4) PD[X[5,1,6,0],X[1,5,2,4],X[2,6,3,7],X[7,3,8,4],X[12,9,13,8],X[9,12,10,11],X[13,11,14,10]]; -0.352809702 -0.551847701 -0.755638425 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.961873302 -0.253898289 -0.101663217 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.26238383 0.610943728 -0.746928703 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[11,1,12,2],X[10,3,11,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.59587718 0.648605181 0.473541662 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.86544822 0.304842201 0.39758095 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.98912551 -0.0415701056 0.14107676 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.243187308 -0.927881391 -0.282658906 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.572556239 0.287356559 0.767857774 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.206448939 -0.62157466 -0.755661152 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0928993053 -0.493537803 0.864748609 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.000539784308 0.0119127163 0.999928895 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,7,1,8]]; 0.8497975 0.459143141 0.258904972 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[0,3,1,4],X[1,9,2,8],X[9,3,10,2],X[6,5,7,4],X[17,5,18,6],X[16,7,17,8],X[10,14,11,13],X[14,12,15,11],X[12,16,13,15]]; -0.974779786 -0.22154379 -0.0268834 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.411026286 -0.0776939883 -0.908306686 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0855761249 -0.910727452 0.404044842 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.284928636 -0.202477246 0.93691976 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.734924474 0.615026418 -0.285707057 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.527510358 0.83929878 -0.131568915 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.637776691 0.234224489 -0.733743675 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.0695104888 0.405784488 0.9113217 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.533505442 0.430515846 -0.728030253 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.519287052 -0.853769482 0.0376646915 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.335481805 -0.86501776 0.373090114 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.222770357 -0.390449551 -0.893265087 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.267308849 0.926917866 0.263380427 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.953103774 -0.146781601 0.264666501 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[1,4,2,3],X[2,11,3,12],X[4,1,5,0],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; -0.0970192213 -0.562957294 0.820771805 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0409150761 -0.711523072 -0.701470509 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.0791705316 -0.367556815 0.926625067 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.851010641 -0.343263273 -0.397430767 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[5,2,6,1],X[2,7,3,6],X[4,13,5,14],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; -0.253309393 0.601455069 -0.757684731 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.3741689 -0.547192307 -0.748717713 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.570187089 0.65014668 0.502191177 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.280888531 -0.724124058 0.629877751 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.212792478 0.950940187 -0.224570975 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[6,4,7,3],X[9,5,10,4],X[5,9,6,8],X[10,8,11,7]]; -0.925370684 0.276461052 -0.259342215 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.38010191 -0.924791548 0.0168264797 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0700559771 0.969509744 0.234825501 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.143063445 0.624915801 -0.767471884 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[11,1,12,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6],X[10,3,11,4]]; -0.865205257 0.05244736 -0.498667362 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.869582331 0.331561988 -0.365914221 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.19961591 -0.0484350594 0.978676419 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.855880555 -0.405267729 0.321288879 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.764436801 0.43527154 -0.475578662 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0275863615 0.759460838 -0.649967866 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.674404681 0.713693436 0.189261738 UNKNOWN + A^(-32) - 2*A^(-28) - A^(-26) + 2*A^(-24) + A^(-22) - 2*A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,3,1,2],X[3,2,4,1],X[4,9,5,8],X[9,6,10,5],X[6,11,7,10],X[11,8,12,7]]; -0.0699356682 0.575154118 -0.815050147 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.692461256 -0.035006846 -0.720605252 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.310214267 0.395953311 0.864284724 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0652857158 0.970557635 -0.231852652 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.987740419 -0.147865554 0.0500464085 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.751327689 -0.621912788 0.220751415 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[1,10,2,9],X[2,1,3,0],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; 0.10307081 -0.828676667 -0.550155787 k5.13m - A^(-12) - A^(-10) + 2*A^(-8) + 3*A^(-6) - 3*A^(-2) - 1 + A^(2) + A^(4) PD[X[5,1,6,0],X[1,5,2,4],X[2,6,3,7],X[7,3,8,4],X[8,11,9,10],X[11,10,12,9]]; -0.0229042293 0.316814769 0.948210841 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0583442645 -0.207777167 0.976434635 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.370101556 -0.0491751191 -0.927688873 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[4,2,5,1],X[2,6,3,5],X[7,0,8,1]]; -0.29984027 0.168852907 0.938927318 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.103729514 -0.556382546 0.824426256 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.937707832 -0.307474615 0.16175099 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.212288085 -0.648662258 -0.73087006 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[10,13,11,12],X[11,13,12,14]]; 0.675937506 -0.718833173 -0.162441855 UNKNOWN + A^(-32) - 2*A^(-28) - A^(-26) + 2*A^(-24) + A^(-22) - 2*A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[5,2,6,1],X[10,7,11,6],X[3,1,4,0],X[7,12,8,11],X[2,5,3,4],X[12,9,13,8],X[9,14,10,13]]; -0.888852123 -0.452919798 0.0693221474 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.374356899 0.90713294 -0.19226737 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0984950446 0.950153581 0.295815651 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.918704095 0.0559696194 -0.390960595 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.348982875 -0.833818375 -0.427735748 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.737284671 0.481932916 0.473446913 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.0587181477 0.44765084 0.892278491 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0594716365 -0.936764495 0.344870129 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.463158276 -0.779194817 0.422303029 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.965390863 -0.0746321661 0.249901023 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.855528548 0.227797956 -0.464950529 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0178820956 0.588156727 0.808549254 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.830394049 0.234274783 -0.505530464 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.827674693 0.444842042 0.342155171 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[0,3,1,4],X[1,9,2,8],X[9,3,10,2],X[6,5,7,4],X[17,5,18,6],X[16,7,17,8],X[10,14,11,13],X[14,12,15,11],X[12,16,13,15]]; -0.977277066 0.148836262 0.150921515 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,10,2,9],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; -0.343002615 -0.403868178 0.848080008 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,7,1,8]]; -0.465743297 0.805232877 0.366992091 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.427683736 -0.0778998972 0.900565505 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.382457316 0.42609841 -0.819857638 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.655939343 0.729509931 -0.193801028 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.42186344 -0.711015108 -0.562573332 k5.13m - A^(-12) - A^(-10) + 2*A^(-8) + 3*A^(-6) - 3*A^(-2) - 1 + A^(2) + A^(4) PD[X[5,1,6,0],X[1,5,2,4],X[2,6,3,7],X[7,3,8,4],X[8,11,9,10],X[11,10,12,9]]; 0.0628214121 0.182455488 0.981205109 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.913698914 -0.345100922 -0.214615114 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.634862089 -0.766534792 -0.096822205 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,2],X[2,1,3,0],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.360541241 -0.32018333 0.876066578 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.435251819 -0.161603464 0.885686273 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.402835544 0.810106775 -0.425970114 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.986912916 0.0348465316 -0.157444009 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.897815916 0.213628745 0.385083551 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.715890568 -0.64435655 -0.268896508 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[5,2,6,1],X[2,7,3,6],X[4,13,5,14],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; -0.585719011 -0.10999847 0.803015303 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.0598745255 0.621928914 0.780781318 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.557527873 0.770918472 0.307973019 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.0436848522 0.234306856 0.971180689 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.79695784 -0.603051841 -0.0344481948 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; -0.871978183 0.0181584715 -0.489207848 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0696534593 0.845303049 0.529727431 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.873354293 -0.402749829 -0.273943157 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.675221172 -0.634095392 0.376828081 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.217486977 -0.314209255 -0.924106032 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.911456877 0.369708283 -0.180449847 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.9312504 0.337836954 0.136524305 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.797615925 0.465536171 0.383516504 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[0,3,1,4],X[1,9,2,8],X[9,3,10,2],X[16,4,17,5],X[7,6,8,5],X[17,6,18,7],X[10,14,11,13],X[14,12,15,11],X[12,16,13,15]]; 0.607028365 -0.788079307 -0.102213358 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.116123861 -0.708415513 -0.696177212 k5.13m - A^(-12) - A^(-10) + 2*A^(-8) + 3*A^(-6) - 3*A^(-2) - 1 + A^(2) + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[6,9,7,8],X[9,8,10,7],X[10,13,11,12],X[11,13,12,14]]; -0.198882811 0.626903661 -0.753284426 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.116611185 -0.988226322 0.0990483118 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.0347243554 -0.593868372 -0.803812525 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],X[8,11,9,10],X[9,11,10,12]]; -0.490135197 0.138320572 -0.86060148 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.399731419 0.175432894 -0.899687775 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[4,2,5,1],X[2,6,3,5],X[7,0,8,1]]; 0.446355809 -0.894358678 -0.0298169004 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.454126423 -0.890910086 0.00695773261 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.10597618 -0.740594179 -0.663542999 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.660552188 -0.190896164 -0.726105682 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.317809984 -0.244109735 0.916191711 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[0,7,1,8]]; 0.384837688 0.870611684 -0.306488581 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0996900414 -0.283658255 0.953729464 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.991010002 0.0398479757 -0.127715758 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0348916997 -0.116837888 0.992537897 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0770762039 -0.817376954 -0.570923964 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.245748897 0.695660896 0.675028442 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9],X[12,11,13,10],X[13,11,14,12]]; 0.709213139 -0.343933156 -0.615407757 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.412854327 0.788668348 0.455580444 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.8869089 0.273874809 -0.372001603 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.443548464 0.893528522 0.0697964267 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.134076721 -0.934426218 -0.329956173 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.404546418 0.0422742353 -0.913539865 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.578008346 -0.590543189 -0.563174123 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.355412029 0.320732071 0.877959696 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.870762853 0.0174657588 -0.491392919 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0210652134 0.0630809888 -0.997786072 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.874558664 0.316053878 -0.36777315 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.298762073 0.130290912 0.945391719 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.828185396 -0.296897536 -0.475353345 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[5,2,6,1],X[2,7,3,6],X[4,13,5,14],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; 0.497593101 0.837486417 -0.225870775 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.426559129 -0.787231013 -0.445325321 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[5,1,6,0],X[1,5,2,4],X[2,6,3,7],X[7,3,8,4],X[15,8,16,9],X[9,13,10,12],X[13,11,14,10],X[11,15,12,14]]; 0.799044252 -0.600488278 -0.0306938267 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; -0.173839633 -0.63424507 -0.753334569 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0653588315 -0.558041773 0.827234914 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.679700866 0.703793068 -0.206596345 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.487770847 0.182559293 -0.853669553 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.937137575 -0.200857803 0.28535821 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.604399236 -0.522697512 0.601239449 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.59798266 -0.398715278 -0.695300558 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.868425344 -0.359028921 0.34195856 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.162001613 -0.98503941 -0.058760853 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[9,1,10,0],X[3,2,4,1],X[10,14,11,13],X[5,9,6,8],X[11,8,12,7],X[2,16,3,15],X[4,15,5,14],X[6,13,7,12]]; -0.362372339 -0.844144947 0.395102007 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.152976738 0.8706692 -0.467475412 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.994495856 0.0966905557 -0.0403600018 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.398015082 -0.799282539 -0.450257057 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.911949307 -0.204573845 -0.355665578 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.498773387 0.296173347 -0.814559057 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.792695046 0.604179798 -0.0812486052 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,10,2,9],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; -0.479709834 -0.548231077 -0.685070187 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.26313113 0.903058907 -0.339479924 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.130247786 0.253892454 -0.958422733 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.86368626 -0.484563616 0.138723273 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.902404836 -0.0836255166 0.422696445 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.897822931 -0.416940702 -0.141684283 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0469417172 0.972931559 0.226275621 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.797777105 0.518516999 -0.307720349 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.971572751 0.157492787 0.176755232 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,10,2,9],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; -0.788987681 0.271972421 0.550935061 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.158707966 -0.901909214 -0.40171078 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.521437965 0.710380442 0.472717755 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.357803341 -0.933641442 -0.0170419454 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.990847098 -0.12577558 0.0490156231 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.481448653 -0.311805364 -0.819136502 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.153291604 0.939129027 0.3074709 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.268038756 0.877703675 -0.397229762 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.415902829 -0.807614735 -0.418070899 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.702859169 0.698644895 -0.13373219 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.21520505 -0.955165497 0.203336321 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[6,10,7,9],X[3,11,4,10],X[8,6,9,5],X[4,8,5,7]]; 0.733102096 -0.163979584 -0.660054553 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.000458823495 -0.991580076 -0.129494175 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.0800177573 -0.19000504 -0.978516859 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0661793702 -0.485172622 0.871910442 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.104333196 -0.969258354 0.222829145 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.790993679 -0.594078389 -0.146286936 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.705169081 0.707764204 -0.0425017471 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.483489838 -0.845505586 -0.226622773 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.530893686 -0.846206194 -0.0456833746 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.35914473 0.0411289536 -0.932375178 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.923389044 0.181377704 0.338311695 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.0640491561 -0.405963905 0.911641933 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.796219256 0.322433933 0.511928956 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.464856908 0.00224701982 0.885382971 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.431098024 0.657393624 -0.618051872 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[9,1,10,2],X[6,4,7,3],X[8,6,9,5],X[4,8,5,7]]; 0.675233498 0.40421665 -0.616983487 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.647837093 0.603384305 -0.465010195 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.66018207 0.518814491 0.543130886 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.874812236 0.483923625 -0.0228358777 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.887996398 -0.401412373 -0.22434461 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[5,2,6,1],X[2,7,3,6],X[4,15,5,16],X[12,8,13,7],X[8,12,9,11],X[9,15,10,14],X[13,11,14,10]]; 0.0271678864 0.34002693 -0.940023188 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.391145983 0.136782793 -0.910107295 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.351803462 -0.855708128 -0.379470585 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.215577608 0.942830624 -0.254158825 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.159490885 -0.806239192 -0.56968502 k5.13m - A^(-12) - A^(-10) + 2*A^(-8) + 3*A^(-6) - 3*A^(-2) - 1 + A^(2) + A^(4) PD[X[5,1,6,0],X[1,5,2,4],X[2,6,3,7],X[7,3,8,4],X[8,11,9,10],X[11,10,12,9]]; 0.593353046 -0.186059689 -0.783143636 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.47120197 0.114412103 -0.874573367 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.851772377 0.198689252 -0.484774586 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.729049295 -0.584486807 -0.35617734 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.215604343 0.973042621 0.0818707873 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[0,10,1,9],X[1,4,2,3],X[15,3,16,2],X[13,11,14,10],X[14,5,15,4],X[8,6,9,5],X[7,12,8,11],X[12,7,13,6]]; 0.460040644 0.743926342 0.48470218 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.490571249 -0.171613246 0.854335264 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.248586901 -0.286565334 0.92524854 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.390354525 0.680223069 -0.62041915 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[9,1,10,2],X[6,4,7,3],X[8,6,9,5],X[4,8,5,7]]; 0.102721675 -0.860954444 -0.498202472 k5.13m - A^(-12) - A^(-10) + 2*A^(-8) + 3*A^(-6) - 3*A^(-2) - 1 + A^(2) + A^(4) PD[X[5,1,6,0],X[1,5,2,4],X[2,6,3,7],X[7,3,8,4],X[12,9,13,8],X[9,12,10,11],X[13,11,14,10]]; -0.0576346994 0.161040268 -0.985263555 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.487288633 0.0194694439 0.873023899 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.478765883 0.371563175 0.795439524 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.44224081 -0.895894712 0.0423760717 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.2960844 0.0828756192 0.951559593 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.535221649 -0.364665641 -0.761942752 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.621411598 0.27010963 0.735451164 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.82859595 -0.286781053 -0.480817408 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[5,2,6,1],X[2,7,3,6],X[4,13,5,14],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; -0.719442858 -0.297874901 0.627433278 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.637261217 0.0595430779 0.76834417 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.197410476 0.529976417 0.824714557 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.727982169 -0.471447031 0.497774706 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.8251748 -0.23849432 0.512061528 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.768344479 -0.507404985 -0.39011145 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[5,2,6,1],X[2,7,3,6],X[4,13,5,14],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; -0.480404389 -0.593915998 -0.645349061 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.413939806 0.554597697 0.721855409 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.241676101 0.818183936 0.521696951 k5.13m - A^(-12) - A^(-10) + 2*A^(-8) + 3*A^(-6) - 3*A^(-2) - 1 + A^(2) + A^(4) PD[X[0,6,1,5],X[4,2,5,1],X[6,2,7,3],X[3,7,4,8],X[10,9,11,8],X[9,12,10,11]]; 0.97802161 0.0854492109 0.190189806 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.434327695 -0.0671004894 -0.898252179 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.283415726 0.778359936 0.560206512 k5.13m - A^(-12) - A^(-10) + 2*A^(-8) + 3*A^(-6) - 3*A^(-2) - 1 + A^(2) + A^(4) PD[X[0,6,1,5],X[4,2,5,1],X[6,2,7,3],X[3,7,4,8],X[8,13,9,12],X[11,10,12,9],X[10,14,11,13]]; -0.118044436 0.522565536 -0.844387809 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.441991868 -0.170341641 -0.880696835 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.900439141 0.202693457 -0.384869738 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.299207931 -0.515306973 0.803077417 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.464004094 0.153266969 -0.872473173 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.680849806 0.0425841284 0.731184063 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.87066154 0.116249927 -0.477948152 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.649819796 0.7507837 0.118566726 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[0,5,1,4],X[3,2,4,1],X[11,2,12,3],X[5,9,6,8],X[9,7,10,6],X[7,11,8,10]]; -0.014529019 -0.451619793 -0.892092187 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.514348217 0.030887323 0.85702502 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.476414435 -0.74127947 0.472793859 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.831641029 0.546027415 -0.101129918 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.268707312 -0.677930638 0.684256115 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[0,7,1,8]]; -0.212984353 -0.705320947 0.676136101 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[0,7,1,8]]; 0.63303087 0.303853774 -0.712000563 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.569101525 -0.648254728 0.505854981 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.244639553 -0.727351785 -0.641179281 k5.13m - A^(-12) - A^(-10) + 2*A^(-8) + 3*A^(-6) - 3*A^(-2) - 1 + A^(2) + A^(4) PD[X[3,1,4,0],X[1,5,2,6],X[4,2,5,3],X[6,9,7,8],X[9,8,10,7]]; 0.380241012 0.662630524 0.645242251 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9],X[12,11,13,10],X[13,11,14,12]]; -0.634353709 -0.416752586 0.65108575 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.0843216983 -0.982847358 -0.164015008 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.803454326 -0.00126695632 0.595365049 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.695185102 -0.654104517 0.298102255 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.658479727 -0.537828129 -0.526445964 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.575424892 0.0102058607 -0.817790948 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.801906485 -0.192340816 -0.565642112 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.522406195 0.15786722 0.837955672 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.197274718 0.362620755 -0.910817695 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.169229633 -0.618393402 -0.767431386 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[10,13,11,12],X[11,13,12,14]]; -0.158330134 0.695497399 -0.700867275 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.747759469 0.408285352 -0.523601803 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.866229401 -0.483033746 0.127769419 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.226531086 0.968691739 -0.101587311 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[9,5,10,4],X[10,8,11,7],X[5,9,6,8],X[6,4,7,3]]; 0.177014075 0.647774021 -0.740982345 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[11,1,12,2],X[10,3,11,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.836029448 0.180268737 0.518225767 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,13,2,14],X[3,12,4,13],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; 0.596712968 -0.182395928 -0.781450804 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.246626214 0.109983322 0.96284951 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.939542941 -0.155784332 -0.304943116 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.324565857 -0.716556387 0.617417159 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.349274801 -0.608783113 -0.712313299 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.852355246 0.426554514 -0.302558723 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.848055363 0.289555644 0.443801341 UNKNOWN - A^(-32) + 2*A^(-28) + 2*A^(-26) - A^(-24) - 4*A^(-22) + 2*A^(-18) - 2*A^(-14) + 2*A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,3],X[8,5,9,4],X[3,16,4,15],X[5,2,6,1],X[12,10,13,9],X[10,14,11,13],X[14,12,15,11]]; -0.818730107 -0.442362396 0.366055355 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,0,3,1],X[3,2,4,1],X[6,5,7,4],X[5,14,6,13],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; 0.161329189 -0.899172196 0.406770518 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.042472597 -0.962534991 -0.26781051 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.799381173 0.265487927 -0.538985993 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.806797873 0.550646227 0.214163312 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.695630675 -0.440012114 -0.567879656 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.888945502 0.381400671 -0.253593024 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.491920703 -0.767408848 0.411214885 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.162926127 -0.636235223 -0.754095364 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[10,13,11,12],X[11,13,12,14]]; -0.0259282852 0.969026952 0.245590086 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.834924462 0.508083641 -0.211547054 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.622697089 0.643450045 -0.445219467 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.872885492 0.121597129 0.472530481 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.8344249 -0.550510329 -0.0259511955 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.830138482 -0.303503472 -0.467713313 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.314768126 0.156521717 0.936174118 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.156326104 0.795108864 0.585972733 k5.13m - A^(-12) - A^(-10) + 2*A^(-8) + 3*A^(-6) - 3*A^(-2) - 1 + A^(2) + A^(4) PD[X[0,6,1,5],X[4,2,5,1],X[6,2,7,3],X[3,7,4,8],X[10,9,11,8],X[9,12,10,11]]; -0.465568842 -0.383729063 0.797494614 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.0667857167 -0.650485248 -0.756576903 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.90579209 -0.421349158 0.0447836644 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.262640081 0.739026897 -0.620370401 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.422436332 -0.800643092 -0.424874316 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.679067525 0.728089986 -0.0935535575 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.607121047 -0.441847582 0.660435272 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0836650738 0.0892814872 -0.992486258 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[4,2,5,1],X[2,6,3,5],X[7,0,8,1]]; -0.19976799 0.769884223 -0.606111403 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0909215609 0.980902517 -0.17194046 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.451990702 -0.0793030332 -0.888490537 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.987495885 -0.099108847 -0.122594099 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.66336647 0.427475354 -0.614174037 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.697095971 0.0596772347 -0.714489913 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.470770575 -0.88130652 -0.0409131129 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.900013605 -0.0425003882 0.433784771 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.424063906 -0.826594774 0.370014707 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.841722127 -0.423750183 -0.334573823 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[3,0,4,1],X[8,2,9,1],X[2,10,3,9],X[4,16,5,17],X[5,8,6,7],X[6,17,7,18],X[13,11,14,10],X[11,15,12,14],X[15,13,16,12]]; -0.878359404 0.226307888 -0.421033844 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.969585307 -0.234692326 -0.0694539053 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; -0.119292768 0.876333379 -0.466700165 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.833413383 -0.400543831 0.380771285 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[3,1,4,2],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.219281647 0.758061809 0.614213198 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; 0.543288891 0.135387002 0.828557506 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.040503622 0.00423326152 -0.999170424 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.958495358 -0.270859639 -0.0890039629 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.116725145 -0.0301743357 0.992705772 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.547079775 -0.649634282 -0.527900577 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.170419219 -0.966139578 -0.193730756 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.778506472 -0.247281722 -0.576870369 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.390165992 -0.678083095 0.622875441 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.918691816 0.298449688 -0.25871438 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.625245035 0.299941731 0.720488449 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.79794572 0.571051424 -0.192828679 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.3242263 0.366394571 -0.872142376 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.127077418 -0.788600747 -0.601631275 k5.13m - A^(-12) - A^(-10) + 2*A^(-8) + 3*A^(-6) - 3*A^(-2) - 1 + A^(2) + A^(4) PD[X[5,1,6,0],X[1,5,2,4],X[2,6,3,7],X[7,3,8,4],X[12,9,13,8],X[9,12,10,11],X[13,11,14,10]]; 0.0396925584 0.500783683 -0.864661901 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.489141141 0.700936467 0.519065519 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.329301004 -0.943895131 -0.0249565751 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0604439936 -0.925454517 0.374005964 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.626428238 -0.775275398 0.0808438025 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.949951055 -0.240648903 -0.19920115 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.794727896 -0.412555816 -0.445202505 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.960117152 -0.0977578047 0.261951266 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,4,1,3],X[7,1,8,2],X[2,6,3,7],X[8,4,9,5],X[15,6,16,5],X[9,13,10,12],X[13,11,14,10],X[11,15,12,14]]; -0.380617127 -0.862566223 0.333331837 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.561902728 -0.146916627 -0.814052104 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.051504198 -0.887258695 0.458387746 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.717477356 0.560539737 -0.413547394 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.684567557 0.147927705 -0.713781937 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.162903092 0.812228563 0.560131542 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,2,1,3],X[3,1,4,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.362611726 -0.84888082 -0.384596009 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[2,0,3,1],X[1,3,2,4],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.456233883 -0.15672246 0.875950178 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.95568831 -0.187293943 0.227114141 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,4,9,5],X[0,4,1,3],X[2,6,3,7],X[7,1,8,2],X[15,6,16,5],X[9,13,10,12],X[13,11,14,10],X[11,15,12,14]]; 0.720959577 -0.491337488 0.48867654 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.439718485 0.00831434235 0.89809717 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.768960108 0.145552999 -0.622506768 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.858571154 0.312944759 0.406104852 UNKNOWN - A^(-32) + 2*A^(-28) + 2*A^(-26) - A^(-24) - 4*A^(-22) + 2*A^(-18) - 2*A^(-14) + 2*A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,6,8,5],X[8,1,9,2],X[3,16,4,15],X[4,3,5,2],X[12,10,13,9],X[10,14,11,13],X[14,12,15,11]];