#projection.x projection.y projection.z knotoid_type polynomial PD_code 0.630144491 0.231966194 -0.741019302 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.27217477 -0.500679923 -0.821730193 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.535793261 -0.357234462 -0.765054978 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.581863673 0.125124921 -0.803603397 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7],X[8,11,9,10],X[9,11,10,12]]; 0.43271961 -0.709068787 -0.556754161 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.232593874 -0.358303476 0.904167412 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.106444315 0.572007724 -0.813312223 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.708910288 0.080836102 -0.700650932 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[6,4,7,5]]; 0.456062799 0.876817414 0.152308718 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.37417294 0.242891999 -0.894984965 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.61652265 -0.557894453 0.555566019 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.749328349 -0.236941099 0.618357454 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.645129469 -0.600471922 -0.472484326 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.635094261 0.727882545 -0.258538739 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.90200409 0.0885337332 -0.422552245 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.544171213 0.789722979 -0.283223072 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.631717551 0.677478436 -0.376770361 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.950561339 -0.130898176 0.28160044 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.623987964 -0.56566941 0.539126274 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[0,6,1,5],X[1,4,2,3],X[13,3,14,2],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8],X[12,5,13,4]]; -0.440515517 -0.688074688 -0.576627526 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0863227354 -0.437013219 0.895303207 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.177056942 -0.864339183 -0.470710756 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.896109617 0.139047846 -0.421489324 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0334818256 -0.999438221 -0.00148659432 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.880628803 -0.368607352 -0.297693687 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.667660606 0.660729831 0.343023914 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.111847006 -0.274957343 -0.95492864 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.449244134 -0.59026473 0.670646894 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.0820108739 -0.858721938 -0.505836781 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.116275924 -0.659230374 0.742896509 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; -0.713289451 0.659265722 -0.23787994 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.345256945 -0.213377726 -0.91392975 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0871233018 0.800725761 -0.592661612 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.123578813 0.40742586 0.904838353 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.982189908 0.00303786646 -0.187866325 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.576280228 0.81275442 0.0856233127 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.616951532 -0.786566266 -0.0261594458 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.533315216 0.845115674 -0.0368018812 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.330734859 0.926723295 -0.178321024 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.584537223 0.801892896 -0.123628552 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.594228583 -0.537031329 -0.59874013 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.881977204 -0.421750649 -0.210339254 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.827231479 -0.334031162 -0.451786744 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.862225814 0.396160047 -0.31563248 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.696050175 -0.394388577 -0.599976503 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,9,7,8],X[7,9,8,10]]; 0.0448729004 0.865453614 -0.498975415 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.247958468 -0.81725984 0.520195109 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.250869462 0.901317842 -0.353115649 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.766296897 -0.545684937 -0.339141585 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.941648853 -0.122345033 0.313574761 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.117073161 -0.450262584 0.885187822 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.344607361 -0.330367846 -0.878693833 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.317427987 0.702245649 0.637252321 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[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[6,11,7,10],X[11,8,12,7],X[8,13,9,12],X[13,10,14,9]]; -0.971210837 -0.0974346034 0.217384469 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.394676137 0.9188167 -0.00257283263 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.752784712 -0.404816323 0.519075064 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.310776208 0.198643048 -0.929493996 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0319400156 -0.810703393 0.58458519 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.261990888 0.937416647 -0.229370453 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.134351807 -0.505895857 -0.85206747 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.673709744 0.738643313 0.0228306241 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.65138648 -0.742704746 -0.15519444 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.421922595 -0.385962297 0.820374567 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[10,8,11,7],X[11,5,12,4],X[6,10,7,9],X[8,6,9,5]]; -0.464952416 -0.591671029 0.658592928 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.119468072 0.210098687 0.970353503 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.469764983 0.243962565 0.848412121 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,7,3,6],X[7,4,8,3]]; 0.19613575 0.195750047 0.960839574 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.786895256 -0.255610836 -0.56165733 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[4,1,5,0],X[9,1,10,2],X[2,7,3,6],X[7,4,8,3],X[5,9,6,8]]; -0.83573768 -0.465301013 0.291611894 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.864722799 -0.11920649 0.487897831 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.551035059 -0.0167159627 0.834314653 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.04988876 0.091825308 0.994524622 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.338674589 -0.71178242 0.615357871 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.382912695 0.477356095 0.790891286 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.173244644 0.631545275 -0.755735972 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.539021737 -0.578303757 -0.612389036 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.824950017 0.10440415 0.55547929 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; -0.535225845 0.113890808 0.836995925 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.615155594 0.147409256 -0.774502489 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.530578711 0.49785389 0.686023131 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.237329942 0.830115812 0.504561431 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.632567309 -0.642238389 0.432883877 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.483501072 -0.82852322 0.282446431 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.482452065 0.738190008 0.471503465 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.85799633 0.48564876 0.167294887 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.833099764 -0.50099246 0.234417018 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.350570653 -0.503952866 -0.78938693 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.739314915 0.645354432 -0.192174695 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],X[8,10,9,11],X[9,12,10,11]]; -0.73187714 -0.404370559 0.548489109 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.166370171 -0.405907839 -0.898643306 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.281631704 -0.690458815 0.666295887 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.205573184 0.285529186 -0.936062364 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.220477966 -0.196187132 0.955458045 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[11,1,12,2],X[5,3,6,2],X[3,7,4,6],X[7,5,8,4],X[10,9,11,8]]; -0.596703645 -0.640581231 0.483322301 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.677997146 -0.18567293 0.711228116 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,7,3,6],X[7,4,8,3]]; 0.302171399 0.352234538 0.885789634 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.828404968 -0.398061603 0.394071274 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.908911843 0.213674848 -0.358081445 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.984869349 -0.159177467 0.0685193404 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.611457658 -0.570050973 -0.548781761 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.578260004 -0.325805455 0.747974714 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.609650602 0.450960451 -0.651890187 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0301343388 0.378313801 0.925186786 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.663435447 0.11818133 0.738841377 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; 0.497974144 0.806661606 0.318306151 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.952946886 -0.298473854 0.052967824 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.255637684 -0.311701811 -0.915145538 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.044376258 -0.545788127 0.836747314 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.407913683 -0.771398344 0.488416852 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.177132644 0.683596761 0.70803919 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.00928082171 0.219893859 -0.975479655 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,11,2,12],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7],X[8,11,9,10]]; 0.697576886 -0.42405722 0.577548234 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[13,0,14,1],X[10,6,11,5],X[15,3,16,2],X[1,4,2,3],X[11,9,12,8],X[6,10,7,9],X[7,5,8,4],X[14,13,15,12]]; -0.133777894 -0.989324883 -0.0577905811 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.969738866 0.0512372001 -0.238707521 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.18645363 0.0773407101 0.979414855 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.221063955 0.0534244413 0.973794925 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.176509738 0.832487843 0.525174547 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.373406895 -0.0430638966 -0.926667573 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.954989318 0.0479916495 0.292732308 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.831985411 0.430641858 0.349782599 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.805819384 0.562188598 0.186008334 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.682928402 -0.652624371 -0.328161893 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.776536484 0.496815973 -0.387511261 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.820112827 0.42947888 -0.378104274 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.900706416 0.290853058 0.322695602 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.44114962 -0.572745804 0.690904665 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.355892567 0.889667851 -0.286062223 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.645647467 -0.7559292 -0.108214564 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.418479628 0.842475706 -0.339277888 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.346424494 0.865773182 -0.361146602 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.012285266 -0.99433582 -0.105571534 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.718013511 0.311364717 0.622501896 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; 0.687345196 0.222952525 0.691266051 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; 0.168237099 0.909013418 -0.381301565 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.188793305 -0.802244901 -0.566356961 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.383671241 -0.636566005 0.669014275 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.119961042 -0.7105664 -0.693328738 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.70234586 -0.698497526 0.13715502 k7.10m - A^(-28) + A^(-24) - A^(-20) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[6,1,7,0],X[8,2,9,1],X[2,10,3,9],X[10,4,11,3],X[4,12,5,11],X[5,8,6,7]]; 0.518067478 0.190030357 -0.833963159 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.277479815 0.586426032 -0.760992419 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.537386961 0.738785609 -0.406707607 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.379733251 -0.728539057 0.570117093 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.0159154538 0.994367674 -0.104783716 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.891346911 0.34511746 0.293929622 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.614820202 0.763567528 0.197384777 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.480080157 -0.773626952 -0.413550943 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.439389585 -0.516396777 -0.735031402 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.704354677 0.488798197 -0.514743442 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.305862781 -0.675749557 0.67067913 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.468160347 0.0384902012 -0.882804845 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.766349179 0.376079881 -0.520838611 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.544661326 0.362755548 0.756143143 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.727089757 -0.58083724 -0.366017195 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.424324461 0.285649185 -0.859274866 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.671034927 0.242731299 0.700566659 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; 0.173949791 0.00264374256 0.984750974 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.678843889 -0.721045876 -0.138794159 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.36032588 0.925245446 -0.118684984 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.913521361 -0.390838904 -0.112799262 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.716181312 0.596675753 0.362025377 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.176626337 -0.199810547 0.963783628 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[8,0,9,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,8,10,7]]; -0.640611404 -0.315752596 -0.699940945 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,9,7,8],X[7,9,8,10]]; -0.256151077 0.673768164 0.693125593 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,5,3,4],X[3,1,4,0],X[5,2,6,1],X[6,11,7,10],X[11,8,12,7],X[8,13,9,12],X[13,10,14,9]]; -0.0120263682 0.934574209 0.355564922 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.357287363 -0.381788662 -0.852398473 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.248352424 0.138308185 -0.958744971 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.650021668 -0.179253465 -0.738471412 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.33516889 0.936435197 0.103686724 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.0118276415 0.858338037 -0.512948263 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.416598664 0.300453323 0.858005451 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.932290014 -0.301400491 0.199982685 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.528192483 -0.216355168 0.821098741 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[13,1,14,0],X[4,7,5,6],X[10,8,11,7],X[3,10,4,9],X[15,6,16,5],X[11,2,12,1],X[8,3,9,2],X[14,12,15,13]]; 0.17062866 0.979337519 0.108553604 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.746318162 -0.242351863 0.619899005 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.408171065 -0.115786001 0.905532983 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; -0.210085577 -0.939988502 -0.268859938 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.659100739 -0.295884872 -0.69140318 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.2061554 -0.501985491 0.839946735 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.196249247 -0.804121194 0.56113754 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.0343056046 0.964169165 -0.263060728 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.782813165 -0.376240934 -0.495627187 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.787802316 -0.388150292 -0.478233063 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.35814385 -0.909392973 -0.211512181 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0171390021 0.999453922 0.0282508996 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0127398814 -0.926171207 -0.376888035 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.300941473 -0.337412914 0.8919567 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; -0.0322336181 0.00688613738 0.99945664 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,8,10,7],X[6,4,7,3],X[2,6,3,5],X[4,2,5,1],X[8,0,9,1]]; -0.250005362 0.946821925 -0.202547675 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.601354165 -0.736915387 -0.308753754 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.15973688 -0.893857062 -0.418931596 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.0784135248 0.0059112875 0.996903393 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[8,0,9,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,8,10,7]]; -0.889478042 -0.378903685 0.255461954 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.144665453 -0.411847228 0.899696486 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.725679647 -0.234580986 0.646808171 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],X[10,9,11,8],X[11,9,12,10]]; -0.217515893 -0.670732248 0.709087504 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.495793192 -0.828669453 0.259800016 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.198064863 -0.749542483 0.631629936 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.352433232 -0.443875042 -0.82387242 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.743154518 -0.533986216 0.403212207 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.642135215 0.755045126 0.132548945 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.903037955 -0.364546283 0.227218966 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.666435042 0.4250874 0.612507173 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; 0.774736398 -0.617895476 -0.134121939 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.86043246 0.0473168622 -0.507362884 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.63773137 -0.634241585 0.437077008 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.627862147 0.703587671 -0.332796505 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.220253591 -0.6236865 -0.750002337 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0420509481 0.218096265 -0.975020891 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,9],X[7,10,8,9]]; -0.706987403 -0.321761598 -0.629792256 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,9,7,8],X[7,9,8,10]]; 0.451142522 -0.106980887 0.886016656 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[10,9,11,8],X[11,9,12,10]]; 0.281202024 0.95729884 0.0671144696 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.221239359 0.955649176 0.194390839 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.976010803 0.1723245 -0.133068328 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.73010238 -0.488583155 -0.477741579 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.362664487 -0.48554289 -0.795438603 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.00785256862 -0.68555625 0.727977311 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.233206055 -0.180122207 0.955599773 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.996501695 -0.0565701117 0.0615158076 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[12,1,13,0],X[10,2,11,1],X[7,3,8,2],X[3,7,4,6],X[4,10,5,9],X[8,6,9,5],X[13,11,14,12]]; 0.213633402 -0.736388605 0.641944383 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.879803139 0.052222791 -0.47246081 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0697185438 0.982063998 -0.175184554 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.328743348 0.902490983 0.278276548 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.395288602 0.159462319 -0.904609689 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.182050999 0.93198273 0.313473482 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.38828714 0.205812556 0.898261815 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.41530571 0.646790896 -0.639673905 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[2,11,3,12],X[1,4,2,3],X[5,9,6,8],X[9,7,10,6],X[7,11,8,10]]; -0.386596226 0.86054465 0.331671922 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.507716434 0.589789894 0.627990369 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.113268294 -0.459982957 -0.880673591 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.641240034 0.537502081 -0.547633756 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[4,8,5,7],X[6,10,7,9],X[8,6,9,5],X[3,11,4,10]]; -0.790788136 0.602219164 -0.109481514 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.496585401 0.566495255 -0.657636728 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.859999438 -0.501808179 -0.0926796533 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.663622474 -0.138553559 0.735124563 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[10,9,11,8],X[11,9,12,10]]; 0.159658845 -0.917790087 -0.363552484 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.684763888 0.555530757 0.471682092 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.290888508 0.937946767 -0.188784898 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.280701403 0.477783603 0.832423901 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.149555625 0.932707476 0.328161362 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.543513751 -0.514612675 0.663149001 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.331220606 0.842120815 0.42558835 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.31787265 -0.13929396 0.937845494 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,3,6,2],X[1,5,2,4],X[3,7,4,6],X[7,0,8,1]]; -0.574288623 -0.392784862 -0.718270583 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.909457794 -0.36038525 -0.207386094 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.800708301 0.0840442963 0.593129643 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,5,1,4],X[1,9,2,10],X[6,3,7,2],X[3,8,4,7],X[8,6,9,5]]; 0.78974263 0.0339744537 0.612496788 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; 0.519107537 -0.109456177 0.847671346 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],X[10,9,11,8],X[11,9,12,10]]; -0.460904438 0.329337375 -0.824077662 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.519296766 -0.692382711 -0.500936174 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.416824012 -0.536028003 0.734119693 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.922277302 -0.383044648 -0.0517819934 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.451373323 0.380929689 -0.806941568 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.526089856 0.696558342 -0.48788927 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.222363182 -0.953188828 -0.204904059 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.814497468 0.357795434 -0.456701546 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,11],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3],X[5,9,6,8],X[9,12,10,11]]; 0.553045253 -0.432043023 -0.712376147 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.21441839 -0.249714937 -0.944281316 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.500345353 0.361504161 0.786746 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.817561938 0.487488155 -0.306509017 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[9,4,10,3],X[1,12,2,11],X[0,6,1,5],X[7,11,8,10],X[2,9,3,8],X[6,5,7,4]]; -0.368695554 0.923137642 0.108997625 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.569920021 -0.814072854 0.111698513 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.515955935 -0.17700063 0.838129018 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],X[10,9,11,8],X[11,9,12,10]]; 0.878605518 0.193478514 0.436598681 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.183577396 -0.368890353 -0.911163677 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.705142182 -0.628627397 0.328027589 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[10,0,11,1],X[8,2,9,1],X[5,3,6,2],X[3,7,4,6],X[7,5,8,4],X[11,10,12,9]]; 0.42186363 0.677831805 0.602142111 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.510116116 -0.0813549439 0.856249334 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.695770646 0.20117888 0.689514515 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[11,7,12,6],X[9,8,10,7],X[13,8,14,9],X[12,10,13,11]]; 0.469662266 0.879806413 0.0731985727 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.223220307 0.0398600976 -0.973952703 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.380475763 -0.341692696 -0.85935109 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.822585777 0.317506525 0.471743836 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.0721672487 0.96879162 0.237138538 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.684223227 -0.722939701 0.0958997654 k7.10m - A^(-28) + A^(-24) - A^(-20) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[6,1,7,0],X[8,2,9,1],X[2,10,3,9],X[10,4,11,3],X[4,12,5,11],X[5,8,6,7]]; -0.574947226 -0.718079913 -0.392169511 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.143288986 0.971420152 0.189238352 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.503604873 0.340825355 0.7938641 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.634097879 -0.770645124 -0.0634505535 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.858947079 -0.155451456 -0.48789831 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],X[8,11,9,10],X[9,11,10,12]]; -0.136610493 -0.774127013 0.618114019 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.445656012 -0.218995764 0.868004363 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],X[10,9,11,8],X[11,9,12,10]]; 0.800953769 -0.588853827 -0.108278484 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.805126517 -0.37380264 -0.460481138 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,9,7,8],X[7,9,8,10]]; 0.479296443 0.159173028 -0.863098411 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.830587662 0.471756762 0.295921768 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.308180666 0.44596702 0.840320233 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.160527035 0.971660453 0.173513791 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.366704672 -0.538108703 -0.758924705 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.188438935 0.901792584 -0.388922748 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.185240919 0.452312548 0.872409973 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.743212266 -0.341222965 -0.575501882 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,9,7,8],X[7,9,8,10]]; -0.362257416 0.898716648 -0.24713954 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.166258121 -0.5879403 -0.791634032 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.650113004 0.0710513871 0.756508283 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.237976187 0.935284856 -0.261934292 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.410137693 -0.414532572 0.812372955 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[1,4,2,3],X[2,1,3,0],X[6,4,7,5],X[7,6,8,5]]; 0.910086721 -0.333338764 0.246226378 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.22550291 -0.749507767 0.622403844 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.0616880792 0.997136662 -0.0437385309 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.329163399 0.8354888 0.440011274 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.961119153 0.276051497 0.0067487359 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[4,2,5,1],X[7,3,8,2],X[0,6,1,5]]; -0.427073409 0.54002856 -0.725243033 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.636866695 0.769029745 0.0547180525 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.41315651 -0.0268896021 0.910262955 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.178879149 -0.960919477 0.211272357 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.653791063 -0.212091415 -0.726343223 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.970625421 0.176302063 0.163718886 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.453283561 0.778838128 0.433526451 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.283824411 -0.553668303 -0.78287618 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.344655639 -0.212447239 0.914373371 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.491483603 0.435611914 -0.754112808 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.667332719 -0.682792064 -0.297425688 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.711844438 0.571590658 0.40811961 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.264848728 0.0668384576 0.961970775 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.633314371 0.226956725 0.739867253 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; 0.933414307 -0.307876119 0.184255332 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.83438348 -0.254571007 0.488874024 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[4,6,5,7]]; 0.568067891 0.602549614 -0.560564745 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.160283737 -0.160718998 0.973898623 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[8,0,9,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,8,10,7]]; -0.377907845 -0.481548244 -0.7907572 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.27162348 -0.946006139 0.176898472 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.179237814 0.972285958 0.1501127 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.178517482 -0.00295613237 0.9839323 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0510859851 0.12142418 0.991285222 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,3,6,2],X[3,1,4,0],X[1,5,2,4]]; 0.0553697584 0.92672103 -0.371648117 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.429517928 -0.900259547 -0.0710429247 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.739821218 0.173968042 0.649922831 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[11,7,12,6],X[12,10,13,11],X[9,8,10,7],X[13,8,14,9]]; 0.941556155 0.295460127 -0.161787887 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.474190852 0.817245832 0.327493949 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.702017733 -0.106933847 0.704085404 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],X[10,9,11,8],X[11,9,12,10]]; 0.676857753 -0.203439776 0.70744317 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],X[10,9,11,8],X[11,9,12,10]]; 0.289936776 0.832778576 0.471610548 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.485837257 0.579822022 -0.654040199 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.559848453 -0.740945945 0.370902703 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.412847033 -0.385243381 0.825315009 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.492240298 0.866214016 -0.0858648238 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.500709724 0.192676975 -0.843898901 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],X[8,11,9,10],X[9,11,10,12]]; 0.0904062469 -0.521848326 0.848234069 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.697070224 -0.31422901 -0.644479039 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.162116386 -0.898207732 -0.408584322 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0450061083 -0.725928043 -0.68629653 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.449927165 -0.661896413 0.599548734 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.793797974 -0.588663889 0.152838484 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.00772193187 0.85660806 -0.515909879 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.547117134 0.0824709382 0.832983425 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.724283049 0.523259273 0.449014252 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.391526173 0.847206874 0.359092981 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.955292943 0.21145051 0.206649645 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.989456727 0.0716766468 0.125848492 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.492844767 -0.439955452 -0.750695169 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.569058386 -0.343415696 0.747153406 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0216675347 0.978593544 0.204658726 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.150619784 -0.66462564 -0.731837714 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.221647869 0.463563412 0.857893458 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.254302535 0.392712537 0.883802627 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.860829724 -0.229902994 0.454000881 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.605352503 -0.698821632 0.381046813 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.269851479 0.235854057 0.933570052 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.116905112 -0.667617155 0.735269018 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.639521037 -0.601403291 -0.478880908 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.609537502 0.660570675 0.438304023 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.454103313 -0.819920945 -0.348596938 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.1339869 -0.307720299 -0.94199561 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.390953515 -0.330674815 -0.85895839 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.147904291 0.82108569 0.551309905 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.0194925197 -0.855334678 -0.517709021 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.837505579 0.538077585 0.095167846 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.404772363 -0.854411411 0.325792073 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.499293873 -0.160772482 0.851385834 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[10,9,11,8],X[11,9,12,10]]; -0.551130651 0.823253759 -0.136045044 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.848277585 0.0182191495 -0.529238322 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,9,7,8],X[7,9,8,10]]; -0.995969175 0.0834006439 -0.0330111394 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.684614101 0.706508951 -0.179300405 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[2,9,3,8],X[7,4,8,3],X[0,6,1,5],X[6,10,7,9],X[1,12,2,11],X[10,5,11,4]]; 0.810316348 0.232487535 0.537900514 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[11,7,12,6],X[9,8,10,7],X[13,8,14,9],X[17,15,18,16],X[12,10,13,11],X[16,15,17,14]]; 0.935149503 -0.348896236 -0.0613744543 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.139287817 -0.988082635 0.0655103815 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.722933907 -0.266555301 -0.6374283 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,9,7,8],X[7,9,8,10]]; 0.674436602 -0.723409665 -0.14769471 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.835526972 -0.293478147 -0.46450539 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,9,7,8],X[7,9,8,10]]; 0.157943515 0.0315733481 -0.986943245 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[2,6,3,5],X[6,4,7,3],X[4,2,5,1]]; 0.461216398 -0.611536411 -0.642886189 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,6,2,5],X[4,3,5,2],X[0,4,1,3],X[10,7,11,6],X[7,12,8,11],X[12,9,13,8],X[9,14,10,13]]; -0.728796242 0.664580566 -0.164889991 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],X[8,10,9,11],X[9,12,10,11]]; -0.393456017 0.405876766 0.82489782 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.881203372 -0.440779253 -0.170863301 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[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7],X[8,11,9,10],X[11,10,12,9]]; 0.257603474 -0.886298213 -0.384858322 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.356796996 -0.0526191537 0.932698841 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.196167945 0.895477173 -0.399548208 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.450436979 0.892156862 -0.0340978242 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.420059203 0.730899003 0.537900468 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.480116436 0.566244333 0.669966837 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.83551052 0.502688037 0.221871377 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.733210015 0.672747039 0.0990681383 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.284899039 -0.194784381 0.938558247 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; -0.609337605 -0.744764538 -0.272090916 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0875756132 0.894184157 0.439050344 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.696100388 -0.582475262 0.419722312 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0926794296 0.652986353 -0.751677687 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.464277485 0.475084107 -0.74749014 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.000560670139 0.00422030411 -0.999990937 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,11],X[1,8,2,9],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7],X[9,12,10,11]]; 0.795902165 -0.52605736 0.299672151 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,12,6,11],X[3,8,4,7],X[8,3,9,2],X[10,1,11,0],X[9,7,10,6],X[4,2,5,1]]; -0.933272562 -0.33562087 0.127909955 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.826871224 -0.284489537 0.485128521 k6.10m - A^(-14) - A^(-12) + 2*A^(-8) + 2*A^(-6) - A^(-2) PD[X[0,4,1,5],X[5,3,6,4],X[1,10,2,9],X[8,3,9,2],X[11,8,12,7],X[6,11,7,10]]; 0.947656517 -0.225222217 0.226322954 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.868602279 -0.0360901146 -0.494193874 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[9,1,10,2],X[5,9,6,8],X[2,7,3,6],X[7,4,8,3],X[4,1,5,0]]; -0.183081577 -0.970454511 0.157159722 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.402066547 0.734406454 -0.546799462 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.201739159 0.471531957 0.858463118 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.90903333 -0.255829092 -0.328952703 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.166391035 -0.873478954 0.457546216 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.395685718 0.211615009 -0.893673263 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],X[8,11,9,10],X[9,11,10,12]]; -0.822846201 0.45213047 -0.344241438 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.370113054 -0.140483179 -0.91830322 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.972699872 -0.178486715 -0.148315382 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.960637669 -0.221998372 0.167008957 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.59773569 -0.656022524 -0.460810691 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.396278041 -0.17885733 0.900540821 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],X[10,9,11,8],X[11,9,12,10]]; -0.973063621 -0.197705328 -0.118574 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.322067852 -0.400116415 0.85800883 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.041117904 -0.993028541 0.110470061 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.871422595 -0.0240843293 0.489941431 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.222726505 -0.437701306 0.87109728 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.755452361 0.401243759 -0.517972178 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.740175647 0.379808246 0.554874498 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.983955411 -0.0961445411 0.150292968 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.385280563 0.845828213 -0.368962766 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.942440266 0.0755579189 0.325725875 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.731183089 0.294688337 0.615247977 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[11,7,12,6],X[9,8,10,7],X[13,8,14,9],X[12,10,13,11]]; -0.2519927 -0.910712498 -0.327265067 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.537868843 -0.12377304 -0.833892884 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.115110956 -0.883168722 0.45471142 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.810265449 0.00347895475 0.586052727 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.952224105 0.277602338 -0.127303555 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.496486607 0.550637933 0.671043155 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.147330783 -0.0286415454 0.988672495 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[5,3,6,2],X[3,7,4,6],X[1,5,2,4]]; 0.342161004 -0.627876251 0.699068853 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.0833103645 -0.971814916 -0.220533789 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.241248099 -0.97046232 -0.0014967653 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.890220948 0.124787105 0.438103688 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[1,6,2,5],X[9,5,10,4],X[6,3,7,2],X[3,8,4,7],X[0,8,1,9]]; 0.27170929 -0.923624401 0.270355374 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.970576768 -0.203381303 0.128906105 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.101910811 0.951824457 0.289213397 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.634851668 -0.768053671 -0.0840054685 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7],X[10,8,11,9],X[11,10,12,9]]; -0.384796955 0.817836596 0.427872185 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.829027986 0.259496724 -0.495352449 k6.10m - A^(-14) - A^(-12) + 2*A^(-8) + 2*A^(-6) - A^(-2) PD[X[4,0,5,1],X[9,2,10,1],X[2,9,3,8],X[3,5,4,6],X[10,7,11,6],X[7,12,8,11]]; -0.318191573 -0.334731642 0.886966093 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.586777132 0.804183525 0.0947705414 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.0493603095 0.0851645406 0.995143488 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[5,3,6,2],X[1,5,2,4]]; 0.0615973867 0.997829047 -0.0233014054 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.0138784899 -0.998408422 0.054662704 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.888388865 0.16058514 0.430090266 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.129335946 -0.981027943 -0.144417409 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.714909952 -0.334807022 0.613846902 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[13,0,14,1],X[5,3,6,2],X[7,5,8,4],X[3,7,4,6],X[8,2,9,1],X[14,10,15,9],X[12,10,13,11],X[15,12,16,11]]; -0.757402855 0.296112354 0.58194363 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[1,6,2,5],X[9,5,10,4],X[6,3,7,2],X[3,8,4,7],X[0,8,1,9]]; 0.321218487 -0.704883517 0.632422257 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.232146359 -0.516279874 0.824356209 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.556058074 0.420271912 0.717057138 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.649866037 0.74087142 0.169657517 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.929894234 0.128657691 0.344592386 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[1,6,2,5],X[9,5,10,4],X[6,3,7,2],X[3,8,4,7],X[0,8,1,9]]; -0.618654887 -0.550277033 -0.560768506 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0298481743 -0.285412608 0.957939836 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.566271597 -0.461740865 0.682738495 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.897445083 0.403387881 -0.178523222 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[10,0,11,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[9,11,10,12]]; -0.970926542 0.0701084993 -0.228880862 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.885510785 0.446901349 0.127081999 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,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3],X[10,9,11,8],X[9,12,10,11]]; -0.737671551 0.177184609 -0.651495432 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],X[8,11,9,10],X[9,11,10,12]]; 0.645725951 -0.458003001 0.610959284 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[1,4,2,3],X[11,3,12,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.0475879397 0.997870255 0.0446132515 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.740445014 -0.661629732 -0.118267823 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.0851951614 -0.704501733 0.704570148 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.188417704 0.974281515 0.123589232 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.722965142 0.617443393 -0.309975903 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],X[8,10,9,11],X[9,12,10,11]]; 0.64205154 0.0771191815 -0.762772871 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.460826326 0.795732357 -0.393000145 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[9,5,10,4],X[5,9,6,8],X[6,12,7,11],X[10,8,11,7]]; 0.180098812 -0.0428611716 0.982714271 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.418708706 0.888610914 -0.187226235 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0794767114 0.446698941 0.891147299 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0991040786 0.909000532 0.40484122 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.916398176 0.339664496 0.211760272 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.590593594 -0.805085412 -0.0551061374 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.413395797 0.39348102 0.821143472 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.611228549 -0.764670807 -0.20415244 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.699740865 0.672812942 -0.24017799 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.801793206 0.136593418 -0.581781655 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,9,7,8],X[7,9,8,10]]; -0.596167329 0.485837077 0.639176697 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.83304505 0.476589302 0.280888916 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.47649176 0.877301732 0.0574218873 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.201121909 -0.312064463 0.928528809 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.276293688 -0.780353577 0.560990278 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.0678555191 -0.702844768 0.70809947 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.788504589 -0.609462495 -0.0825589555 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.229289633 0.585059857 -0.777901811 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.376375729 -0.7729991 -0.510699229 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0400364348 0.133185117 -0.990282186 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,11,2,12],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7],X[8,11,9,10]]; 0.79660247 -0.540011864 0.271683071 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,11,5,10],X[3,8,4,7],X[11,2,12,1],X[5,1,6,0],X[8,3,9,2],X[9,7,10,6]]; 0.124143424 0.170673382 0.977475835 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.81705182 -0.566495476 -0.107280935 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0433752346 -0.996132817 -0.0764068044 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0133885506 0.758857376 0.651119213 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.302766215 0.917009998 -0.259663787 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.690407854 -0.0753079905 -0.71948989 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[6,3,7,2],X[3,8,4,7]]; 0.0102608881 0.146441488 0.989166116 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.440818047 0.35615099 0.823914997 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.610679306 0.25979819 -0.748047917 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7],X[8,11,9,10],X[9,11,10,12]]; -0.370495767 0.0737755615 0.925899591 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.268394351 0.636326427 0.723224136 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[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[6,11,7,10],X[11,8,12,7],X[8,13,9,12],X[13,10,14,9]]; -0.562775968 0.0111167046 -0.826534711 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.449812853 -0.808514114 -0.37943817 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.118061034 0.196886097 -0.973292072 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,11],X[1,8,2,9],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7],X[9,12,10,11]]; -0.365799772 0.825354998 -0.43009261 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.00491046258 -0.917126802 -0.398565324 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.48320898 0.853511817 0.195004255 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.531218213 0.791632774 -0.301868782 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.53951031 0.590151538 -0.600541246 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.331923862 0.892604509 0.305096282 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.374862697 -0.667730082 0.643128678 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.430914909 -0.649424652 -0.626546058 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,6,2,5],X[4,3,5,2],X[0,4,1,3],X[10,7,11,6],X[7,12,8,11],X[12,9,13,8],X[9,14,10,13]]; -0.080828359 0.766658557 0.636946962 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.642365091 0.52618393 -0.557223081 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.249453515 -0.924704802 0.287565598 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.795708855 -0.432670624 0.42384378 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[10,0,11,1],X[7,5,8,4],X[8,2,9,1],X[3,7,4,6],X[5,3,6,2],X[11,10,12,9]]; 0.518851376 0.572355738 0.634982015 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.173135413 0.787808802 -0.591084952 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.603395314 -0.479529408 0.637154332 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[8,6,9,5],X[9,2,10,1],X[6,4,7,3],X[4,8,5,7]]; 0.462868106 -0.807524078 -0.365592641 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.672530131 0.733798322 -0.0961418003 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[10,5,11,4],X[1,12,2,11],X[2,9,3,8],X[7,4,8,3],X[6,10,7,9],X[0,6,1,5]]; -0.945279329 0.294422258 -0.140579243 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.978663229 -0.10882483 -0.174285513 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; -0.635451841 0.200037929 -0.745778643 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7],X[8,11,9,10],X[9,11,10,12]]; 0.609119039 -0.741286573 0.281901069 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.694010796 0.168456985 -0.69997947 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[6,3,7,2],X[3,8,4,7]]; -0.697817597 0.286412077 -0.656520162 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.768920443 -0.514346362 -0.379748827 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.454957625 0.144714201 0.878675913 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.13570344 -0.989098762 0.0571683161 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.0361539615 0.636061752 0.770790723 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.357590883 -0.343200705 -0.868528662 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.186668636 0.418812423 -0.888679343 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.780338769 -0.0271297004 0.624768265 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; 0.423102858 0.262249839 0.867299829 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.199471184 0.966934438 -0.158899463 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.138123637 0.146980345 0.97944813 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.426067383 0.308370439 -0.850514113 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.619670788 0.783463113 0.0468365774 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.456416052 0.0499882688 0.888361166 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[8,0,9,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,8,10,7]]; -0.161441982 -0.73721111 -0.65609166 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.502338643 -0.0336283046 0.864016797 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; -0.991525976 0.00588415795 -0.129775253 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.323187851 0.347592362 -0.880187004 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.490505526 -0.857493025 0.155274084 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.825272083 0.468897967 0.314739075 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.132514874 0.513752943 0.847642449 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0305621341 -0.924145626 -0.380815988 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.258380521 -0.793634433 0.550802953 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.339019904 0.0576105759 0.939013592 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.144932946 -0.695316992 -0.70393801 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.795175399 -0.136358939 0.590848817 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],X[10,9,11,8],X[11,9,12,10]]; 0.406807416 -0.377221192 -0.831992728 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.890669955 0.352847377 -0.28671547 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.461340838 0.856788312 0.230387541 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.944405793 0.054064487 -0.324306536 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,9,6,8],X[4,1,5,0],X[2,7,3,6],X[7,4,8,3],X[9,1,10,2]]; 0.812525304 0.572036621 0.112146042 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.640612613 0.563232205 -0.521905128 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.655006592 -0.322765569 0.683219403 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.202909573 -0.825282673 0.527006845 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.261741348 -0.0917249216 -0.960769486 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.571936917 -0.70815883 0.414003905 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[5,3,6,2],X[1,5,2,4]]; 0.628406024 0.654528918 -0.420354332 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[9,5,10,4],X[5,9,6,8],X[6,12,7,11],X[10,8,11,7]]; 0.859553803 -0.508751885 -0.0483609312 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.674543019 0.590769018 0.442700443 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.317467632 -0.734007685 0.600372401 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.465667163 0.588434219 0.660983557 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[2,5,3,4],X[3,1,4,0],X[6,11,7,10],X[11,8,12,7],X[8,13,9,12],X[13,10,14,9]]; 0.114623877 -0.628068884 0.769669308 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.289519971 -0.415362859 -0.862352528 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.243859358 0.377114891 0.893485855 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.602028794 0.542338081 0.586029639 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.592517738 0.226347005 -0.77310398 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,10,2,9],X[7,11,8,10],X[5,4,6,3],X[4,12,5,11],X[0,7,1,6],X[8,3,9,2]]; -0.603326248 -0.26653758 0.751634989 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.402229117 0.0985430962 -0.910220301 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.564407987 -0.748599717 -0.347911035 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.386689162 -0.882084228 0.269070449 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.490681456 -0.213592894 0.844754274 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.895074358 -0.378317637 0.236045882 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.247674992 -0.206054613 -0.946677662 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.946291712 -0.287471922 -0.14795908 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.253409402 0.640880226 -0.724607625 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.493066037 0.824099749 -0.278828778 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.795606412 -0.541974791 0.27069127 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.966430125 -0.15285168 -0.206516775 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.8517669 -0.501967414 -0.150072862 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.822944359 -0.567292748 0.0306842024 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.153777257 0.18529156 -0.970576938 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,9],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,10,8,9]]; -0.107392963 0.0807903932 0.990928688 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[5,3,6,2],X[1,5,2,4]]; 0.218502742 0.417204942 0.882154515 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.404286113 -0.439974737 -0.8018572 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.160643512 0.983760605 0.0800545667 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.526014148 0.495825233 0.690989475 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.896136145 -0.147552734 -0.418531002 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[4,10,5,9],X[8,0,9,1],X[2,7,3,6],X[7,4,8,3],X[5,2,6,1]]; 0.723596347 0.54221914 0.42709101 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.450278456 0.421848026 -0.786952067 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,9],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,10,8,9]]; 0.946688206 0.0335878473 0.320395533 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.816148816 0.552779652 -0.168332309 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.349469136 -0.663987401 0.661053745 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.629737989 -0.775419676 -0.0464154226 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.304241553 -0.11878222 0.945160231 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.535430234 -0.228087493 -0.813197738 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[6,3,7,2],X[3,8,4,7]]; 0.257353432 -0.686048067 -0.680519846 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,6,2,5],X[0,4,1,3],X[10,7,11,6],X[4,3,5,2],X[7,12,8,11],X[12,9,13,8],X[9,14,10,13]]; -0.233186654 -0.684034961 -0.691173029 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.180797902 0.976511901 -0.117203356 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.931897173 0.255784214 0.257181054 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.749274483 -0.623488309 0.223271309 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.263538091 -0.593701095 0.760306967 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.0649506089 -0.591088554 0.8039874 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.405677448 -0.403134966 0.820309702 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4]]; -0.48418579 -0.509488574 -0.711326587 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.769033867 -0.0456981459 0.63757242 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.474793357 0.470050192 -0.744059195 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.52333111 0.82095638 0.228375069 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.817321209 -0.570536521 -0.0804619137 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0804447952 0.347161032 -0.934348892 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.420789844 0.788377997 -0.448771702 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[9,5,10,4],X[5,9,6,8],X[6,12,7,11],X[10,8,11,7]]; 0.145891321 -0.441400466 0.885370742 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.291940692 0.065813053 -0.954169416 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0405449935 0.878588957 -0.475854545 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.164113007 -0.18478075 0.96898039 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[8,0,9,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,8,10,7]]; 0.920161919 -0.0552069121 -0.387626417 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[4,1,5,0],X[9,1,10,2],X[2,7,3,6],X[7,4,8,3],X[5,9,6,8]]; -0.127102141 -0.266001517 0.955556507 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,8,10,7],X[6,4,7,3],X[2,6,3,5],X[4,2,5,1],X[8,0,9,1]]; 0.0338242817 -0.396542964 -0.917392825 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.767507979 -0.0888347466 -0.634854227 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,9,7,8],X[7,9,8,10]]; 0.443025061 0.895944875 0.0318052936 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.784307904 0.613534274 -0.0918520926 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],X[8,10,9,11],X[9,12,10,11]]; -0.992798286 0.00891891747 0.119465548 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.973354865 0.215207184 -0.079159169 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.0117758469 0.824696664 0.565452687 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.306973608 0.605462637 0.734290269 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[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[6,11,7,10],X[11,8,12,7],X[8,13,9,12],X[13,10,14,9]]; -0.0340914657 0.982042117 0.185556063 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.225086352 -0.607570421 0.761704876 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.131004131 0.564260768 0.815136616 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.607337001 -0.59342422 -0.528194531 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.991043381 0.131498627 -0.0232621743 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[10,13,11,12],X[11,13,12,14]]; 0.667170878 -0.619120112 0.414214083 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.10426375 0.983869369 0.14536208 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.780424019 -0.498124368 -0.377902718 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.572760362 -0.292824111 -0.765636734 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.753724622 0.291356716 -0.589075936 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.500946618 -0.513545642 0.696651534 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.664111054 -0.125692055 -0.736992548 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,9,7,8],X[7,9,8,10]]; -0.726267829 0.147987787 0.671293271 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,5,1,4],X[5,2,6,1],X[7,3,8,2],X[3,7,4,6]]; -0.300210373 -0.92967815 0.213476623 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.749494458 0.378115116 0.54340318 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.464341945 -0.837335226 0.288541639 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.186810266 0.94831077 -0.256531883 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.725541108 -0.618832358 0.301059154 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.170313742 0.832669273 0.526929892 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.957597531 -0.144040122 -0.249518358 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[3,7,4,6],X[1,5,2,4],X[5,3,6,2]]; 0.82872119 -0.543357881 -0.134102213 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.43321661 0.327598342 -0.839644386 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.806619262 -0.251886653 0.534713456 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.413539538 0.894118447 0.171864053 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.609964687 0.409724168 -0.678284002 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0328378899 -0.876062607 0.481077938 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.151431258 0.96517705 0.213311595 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.841139898 -0.310417992 -0.442859279 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.903030941 0.209306273 0.375134647 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; -0.301872657 0.622410651 0.722134254 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[2,5,3,4],X[3,1,4,0],X[6,11,7,10],X[11,8,12,7],X[8,13,9,12],X[13,10,14,9]]; 0.538352219 -0.552980629 -0.63591612 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.986669031 -0.132085174 0.0950669721 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.885525446 0.438375501 -0.15385579 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.152667506 -0.655872329 -0.739272697 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.427671215 -0.857629679 -0.285602284 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.924717211 -0.269621715 0.26870469 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.0742979848 0.128496787 -0.988922841 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,9],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,10,8,9]]; -0.363127134 0.269618938 -0.891876848 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.469497853 0.0250431517 0.882578386 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.692208977 -0.615539369 0.376773165 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.13968897 -0.857868147 -0.494519195 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.0604926016 0.314978603 -0.947169005 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,9],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,10,8,9]]; -0.987814799 -0.0281442824 0.153068031 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.671623115 0.0475150639 -0.739367777 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[7,1,8,0],X[2,6,3,5],X[10,5,11,4],X[3,12,4,11],X[9,2,10,1],X[6,9,7,8]]; 0.654821823 0.229735739 0.720020743 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; -0.298729184 0.908090145 0.293484519 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.902607913 -0.248365948 -0.351586847 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.807588701 0.226830149 0.544379072 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,5,1,4],X[5,2,6,1],X[7,3,8,2],X[3,7,4,6]]; 0.369842391 -0.505459876 -0.779568419 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.305158539 0.870499305 -0.386146639 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[9,5,10,4],X[5,9,6,8],X[6,12,7,11],X[10,8,11,7]]; 0.721621667 0.409421756 -0.558243671 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.801218832 0.0131183907 0.598227624 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0607122909 -0.991430033 0.115674139 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.709293564 -0.68038801 -0.184322531 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.630602718 0.435671137 0.642285663 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.896679298 0.164936881 -0.4108066 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.108396157 -0.691445279 -0.714250446 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.341594853 0.92740325 0.152434144 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.2155572 0.608962286 0.763347907 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.921477197 -0.217189548 0.322038002 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.165812301 -0.844348923 -0.509491096 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.782633615 -0.263759556 0.563839979 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,3,1,4],X[1,5,2,6],X[4,2,5,3],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.633061261 0.749376289 -0.194084046 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.404879581 0.471476607 -0.783442617 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,9],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,10,8,9]]; -0.732899611 0.660275672 -0.163994504 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],X[8,10,9,11],X[9,12,10,11]]; -0.592062985 0.73955971 -0.320176289 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.623045763 0.424820165 -0.656766172 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0484389948 0.926018057 0.374358413 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.985444191 -0.169808477 0.00805152394 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.408618465 0.566126987 -0.715912833 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.429420481 -0.200622383 -0.880538875 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.167066576 0.129144821 0.977450958 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.989319784 -0.11035216 0.0952300718 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.971485324 -0.131227801 0.197472855 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.509604502 0.859535109 -0.038763999 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.0905336909 0.778542781 0.621027205 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.758186442 -0.174214434 -0.628333232 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,12,7,11],X[7,10,8,9],X[8,13,9,14],X[10,12,11,13]]; 0.129505178 0.0546936367 -0.990069197 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,11,2,12],X[5,3,6,2],X[3,7,4,6],X[7,5,8,4],X[8,11,9,10]]; -0.116706103 -0.0587672646 0.991426293 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[11,1,12,2],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7],X[10,9,11,8]]; 0.86520954 0.475099262 -0.160290806 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.111051853 0.967939485 -0.22530122 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.929026723 -0.00680816514 -0.369949993 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[4,1,5,0],X[2,7,3,6],X[7,4,8,3],X[9,1,10,2],X[5,9,6,8]]; 0.135613937 0.359280774 -0.923323446 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.459108924 -0.815929016 0.351395556 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.762549565 0.5769494 0.292656026 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.00934144207 0.752824671 -0.658154809 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.206639805 0.970817671 0.121708838 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.601380466 -0.412269659 -0.684379474 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.795340235 -0.181554996 0.578335279 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[10,9,11,8],X[11,9,12,10]]; -0.61215264 0.262591889 -0.745865032 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,11,1,10],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3],X[5,9,6,8],X[9,11,10,12],X[12,15,13,14],X[13,15,14,16]]; -0.371536757 0.365226695 -0.853563061 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[5,2,6,1],X[2,7,3,6],X[4,7,5,8]]; -0.639265398 0.00810523499 0.768943467 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.683413726 -0.358648068 -0.635859452 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,9,7,8],X[7,9,8,10]]; -0.352470182 0.175646063 -0.919191618 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,9,7,8],X[7,9,8,10]]; 0.404878644 0.912831646 0.0530251837 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.803023658 0.58947646 0.0875814371 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.560748135 -0.77755442 0.284553428 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.553398999 -0.655122925 -0.514357368 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.685367185 -0.393100558 0.612979422 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0464608724 -0.574325314 0.817307666 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.454344488 -0.85245155 -0.258645396 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.669560778 -0.679831471 0.299194811 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.511884812 0.857267255 -0.0553786331 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.456108689 -0.494366191 -0.739977657 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.135128368 0.622385048 -0.770958608 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.162465835 0.969833152 -0.181737472 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0167231752 0.961923607 -0.272806359 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.934692565 0.120886797 0.334269639 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.494718373 0.797458068 -0.34541911 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0210354688 -0.813981373 -0.580509977 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.204256332 -0.972196527 -0.114513162 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.648685152 -0.577336202 0.495873455 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.153084861 0.833143744 -0.531447578 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.457267155 -0.0476476719 0.888052053 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; 0.762500923 -0.15037309 0.629269637 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],X[10,9,11,8],X[11,9,12,10]]; 0.115880054 -0.929878655 -0.349138224 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.140433862 -0.711535076 -0.688473794 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.0985712083 0.45175358 0.886680563 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.684933448 -0.513768799 -0.516631196 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.444314304 -0.803016895 0.397175864 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; 0.980045791 0.061829551 -0.188910967 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.664152324 0.483698353 0.570032976 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.404639885 0.00927302631 -0.914429097 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.553551146 -0.690598438 0.465462057 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.487717172 0.872867756 -0.0152918524 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.183066585 -0.11364757 -0.976509526 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.470208078 0.670684388 0.573660889 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0153869759 -0.484593673 -0.874604032 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.765960798 0.415148251 -0.490872677 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,11],X[2,8,3,7],X[5,9,6,8],X[6,4,7,3],X[1,5,2,4],X[9,12,10,11]]; -0.245768237 0.723669036 -0.644903946 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.369136193 -0.60685344 0.703894434 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[9,7,10,6],X[10,4,11,3],X[5,9,6,8],X[7,5,8,4]]; 0.757291962 0.495685542 0.425211392 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.656724382 -0.720913791 -0.221351286 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.29153214 0.471650644 -0.832198703 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.985719927 0.124487472 0.113397952 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.172204942 -0.921246392 -0.348784381 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.196005776 -0.958121286 -0.208771018 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.221467202 -0.735065413 0.640805054 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; -0.226781348 0.952242965 0.204459176 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0155228181 -0.713116076 -0.7008741 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.894184477 -0.244530233 -0.375018781 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.280072563 -0.180664055 0.942825465 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; -0.832762391 -0.42452451 -0.355367052 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.601854806 0.10546226 -0.791611334 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.985244963 -0.168299253 -0.0311082564 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.896759141 -0.248151481 0.366393074 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.0686202197 -0.997145009 -0.0315134325 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0611229047 0.142628197 -0.987887234 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,10,8,9],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[0,8,1,9]]; 0.449277633 0.816926989 -0.361635041 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.677203939 0.735601155 0.0169046125 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.497902851 -0.363598735 -0.787330116 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.714026972 -0.365988623 0.596839854 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.996843926 -0.0220392005 0.0762657314 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.716386258 0.120586863 0.687204145 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[11,7,12,6],X[9,8,10,7],X[13,8,14,9],X[12,10,13,11]]; -0.386150135 -0.669927697 0.63410169 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.588940218 0.488690876 -0.643685208 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.872894543 0.480321587 0.0857105032 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.153088679 -0.178696923 0.97192143 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[10,0,11,1],X[8,1,9,2],X[5,3,6,2],X[3,7,4,6],X[7,5,8,4],X[11,10,12,9]]; -0.881868385 -0.428163612 -0.197443849 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.43018323 -0.298022193 -0.852129779 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.113120394 -0.990639934 0.0763956662 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.928975189 -0.304186131 0.210893093 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.532891794 0.818954004 -0.212933503 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0727075033 0.581891271 0.81000998 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.523204668 -0.451175266 -0.722978392 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.483666535 -0.866196505 0.125579845 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.216377325 0.586349654 -0.780624709 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.699947088 0.0526184836 0.712253725 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[4,6,5,7]]; 0.958918516 0.144774895 0.243958008 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.674813813 0.539031811 0.504054584 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.923780918 0.378675197 0.0568674887 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.837144073 0.542192506 0.0722294119 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.138002527 0.551886548 -0.822421145 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.205807768 -0.438564683 -0.874816656 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.863724287 0.464315555 0.19593729 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[6,3,7,2],X[5,9,6,8],X[1,8,2,7],X[0,5,1,4],X[9,4,10,3],X[12,11,13,10],X[11,14,12,13]]; -0.40511684 0.829557843 0.384335962 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.134955854 -0.245068731 -0.960066787 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.979248286 0.158385513 0.12643901 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.301303501 -0.192582342 0.933878066 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.991871722 0.0683141878 -0.107348303 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.878804819 0.468880587 -0.0886176387 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.731081727 0.624199573 -0.275489385 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],X[8,10,9,11],X[9,12,10,11]]; 0.48982882 -0.283479989 0.824443341 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],X[10,9,11,8],X[11,9,12,10]]; -0.362335708 0.29822211 -0.883049493 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.968774697 0.151009571 0.196651202 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[2,6,3,5],X[4,2,5,1],X[6,4,7,3]]; -0.540433671 0.405559184 0.73719278 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.354008875 -0.756642145 -0.549700264 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.00541258804 0.617212801 0.786777645 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.859825627 -0.405455633 -0.31033147 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.917750216 0.142859075 -0.370574993 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.233691186 0.11000323 0.966068175 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.843597419 0.529785669 -0.0875816117 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.218766253 -0.971735853 0.0887172907 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.668667657 -0.435035832 0.603015249 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[8,6,9,5],X[18,10,19,9],X[13,2,14,1],X[17,2,18,3],X[4,8,5,7],X[11,1,12,0],X[6,4,7,3],X[16,14,17,15],X[19,16,20,15],X[12,10,13,11]]; -0.243061426 -0.549870918 0.799101443 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.692329153 -0.158711358 0.70391125 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],X[10,9,11,8],X[11,9,12,10]]; 0.970798888 -0.0592704286 -0.232457601 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.125332415 -0.798348852 0.589008401 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.261890424 0.929279235 0.26048706 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.217901758 0.46335172 0.858966826 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.889725751 0.425233738 0.166025168 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,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3],X[10,9,11,8],X[9,12,10,11]]; -0.654522382 0.471286865 0.591176067 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.12376629 -0.589679162 -0.798097984 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.646119834 0.760912587 -0.0595079376 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.338724009 -0.783159438 -0.521466529 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.345045899 0.938279585 0.0239739078 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.261169444 -0.688895546 0.676175604 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.11748414 0.683759834 0.720187452 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.023371829 0.649233597 0.760229896 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.296427883 -0.562033516 -0.772171508 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.501175404 -0.188807976 0.844496751 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],X[10,9,11,8],X[11,9,12,10]]; -0.921095528 -0.340094098 -0.189523174 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.344940265 -0.526732437 0.776897132 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.316268226 -0.54809029 0.774319988 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.045934421 0.99025642 -0.131461975 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.459865849 0.881881045 0.103967418 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.808908135 -0.26821752 -0.523189249 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,2,6,1],X[4,10,5,9],X[2,7,3,6],X[7,4,8,3],X[8,0,9,1]]; 0.374695411 -0.153495902 0.914353519 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; 0.449510774 0.363198823 -0.816104576 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.0963529394 0.336971983 0.936571403 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.877395455 -0.381368129 0.291093742 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.417805782 0.573020591 0.70504307 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.834653076 -0.12466694 0.536481498 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; 0.613499255 -0.193750298 0.765558284 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1],X[10,9,11,8],X[11,9,12,10]]; -0.577707854 -0.485626265 -0.656064605 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.351874915 -0.196647759 0.915157747 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.417445608 -0.816367766 0.399102536 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.810634157 -0.584806216 0.0295627136 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.207973359 0.484910338 0.849475747 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0554809612 -0.986611685 -0.153359856 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.272056269 -0.938324418 -0.213383863 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.245355501 0.748271192 0.616352903 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[3,1,4,0],X[6,11,7,10],X[5,2,6,1],X[2,5,3,4],X[11,8,12,7],X[8,13,9,12],X[13,10,14,9]]; -0.648388245 0.424866308 -0.631728822 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[1,14,2,13],X[16,19,17,18],X[11,19,12,20],X[7,5,8,4],X[2,10,3,9],X[10,14,11,15],X[12,16,13,15],X[0,17,1,18],X[5,9,6,8]]; -0.600987519 -0.564922788 -0.565399191 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.512550856 0.824887664 -0.238436493 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.289695269 0.00622581672 0.957098684 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.791653388 -0.379984795 0.478431258 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[10,0,11,1],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5],X[11,10,12,9]]; 0.323213447 0.428631329 0.843687295 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.250817956 0.800294307 0.54462774 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.437027182 -0.791139683 0.427907986 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; 0.0920359184 0.995603804 -0.0173912165 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.570195239 0.0613626254 0.819214269 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,8,1,7],X[2,11,3,10],X[5,10,6,9],X[11,4,12,3],X[4,2,5,1],X[8,7,9,6]]; -0.742711251 0.521743025 0.419719209 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.227566363 0.393301854 0.890801438 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0669398729 -0.886244129 0.45835619 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.489519283 0.865976413 0.102253231 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.493916611 -0.862028284 -0.113813967 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.634299243 0.100262518 0.766558476 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; -0.898741414 -0.36515795 0.24274172 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.817932486 -0.505244905 0.275161833 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[3,10,4,9],X[8,3,9,2],X[11,2,12,1],X[5,1,6,0],X[4,7,5,6],X[10,8,11,7]]; 0.127126149 0.386526596 0.913474758 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.161163403 -0.737161379 -0.656216015 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,4,1,3],X[10,7,11,6],X[4,3,5,2],X[1,6,2,5],X[7,12,8,11],X[12,9,13,8],X[9,14,10,13]]; -0.255627299 -0.452700543 0.854234688 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.670482435 -0.69112331 -0.269818224 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.883632881 -0.458445401 -0.0949776047 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0493093828 0.722668249 -0.689433961 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.203840676 -0.432870812 0.878106963 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.471500613 -0.828347591 -0.302535023 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.554083425 -0.267831933 -0.788198968 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[6,3,7,2],X[3,8,4,7]]; 0.054366454 -0.0203933128 0.998312777 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[10,0,11,1],X[8,1,9,2],X[6,4,7,3],X[4,8,5,7],X[2,6,3,5],X[11,10,12,9]]; -0.107084766 -0.972657178 0.206084611 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.110876001 0.0988634961 0.988904708 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.800355439 -0.0853607985 0.593417817 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.997113663 0.0627547969 -0.0427338122 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.516840774 -0.602274549 -0.608392128 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.3423187 0.934637838 -0.0962809394 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0392133006 -0.154810718 0.987165619 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[11,1,12,2],X[5,3,6,2],X[3,7,4,6],X[7,5,8,4],X[10,9,11,8]]; 0.979515265 -0.0847354393 -0.182673892 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; -0.146440875 -0.925498186 0.349296689 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.930597072 -0.350456564 0.105684847 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.168765935 -0.653867436 -0.737546904 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.513645895 0.605283539 0.608111612 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.311542181 -0.766408235 0.561747173 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; -0.146444999 0.913793389 -0.378860799 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.164037065 0.832281925 -0.529526806 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.018323069 -0.812733995 0.582346734 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0994183592 0.820994885 -0.562212939 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.019945373 -0.409714042 -0.911995935 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.695164753 0.0832058941 -0.714018729 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[6,3,7,2],X[3,8,4,7]]; 0.373091774 0.903466889 0.211068966 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0765895902 -0.978439838 -0.191805938 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.412686738 -0.882104946 0.227113455 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.605193181 -0.360792608 -0.709626597 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.643220278 -0.331557053 0.690172148 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.719943709 -0.666281806 0.19429259 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.210522417 0.337227926 -0.917582497 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.660040392 0.414943487 -0.62623365 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,14,2,13],X[12,16,13,15],X[11,19,12,20],X[0,17,1,18],X[7,5,8,4],X[16,19,17,18],X[10,14,11,15],X[2,10,3,9],X[5,9,6,8],X[3,7,4,6]]; 0.66212692 -0.454314238 0.595975264 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[1,4,2,3],X[11,3,12,2],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.75118728 -0.254721165 -0.608962066 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[5,9,6,8],X[4,1,5,0],X[2,7,3,6],X[7,4,8,3],X[9,1,10,2]]; -0.374403826 -0.441662964 -0.815325458 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.511580822 -0.254405787 0.820708693 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[3,6,4,5],X[9,7,10,6],X[10,1,11,0],X[7,2,8,1],X[11,5,12,4],X[2,9,3,8],X[14,13,15,12],X[15,13,16,14]]; -0.469194833 0.485198178 -0.737861055 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.164315465 -0.250196859 0.954149862 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[8,0,9,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,8,10,7]]; -0.510063443 0.840464739 0.182905187 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.939214704 0.333228737 -0.0826701238 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.00218144486 0.123757013 -0.992310155 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,10,8,9],X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,9]]; -0.242572546 -0.646094289 0.723685518 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0296512718 -0.0354022502 -0.998933172 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,9],X[3,7,4,6],X[1,5,2,4],X[5,3,6,2],X[7,10,8,9]]; -0.824369245 -0.168856369 0.540280367 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.423953869 0.455640849 -0.782722514 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,9],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,10,8,9]]; 0.777253444 0.503267256 -0.37762303 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.624790108 -0.301502709 -0.720231516 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.585604074 -0.272711966 -0.763345303 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.647395517 -0.727232935 0.228059868 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.634189946 -0.615440983 -0.468012296 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.0879038008 0.482668968 0.871380278 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.918643147 0.221235059 -0.327337468 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.147641128 0.495240412 0.856118585 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.248457653 -0.955025468 0.161849161 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.663680878 -0.632760331 0.398926128 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.239628959 0.592660937 -0.768980478 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.971244175 -0.153953687 0.181612267 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.182825027 0.91807942 0.351717482 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.232022942 -0.972400244 -0.0245584967 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.0593645788 -0.292481412 0.954426776 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[11,0,12,1],X[9,3,10,2],X[6,4,7,3],X[4,8,5,7],X[13,1,14,2],X[8,6,9,5],X[12,11,13,10]]; 0.955505971 -0.226858232 -0.18853032 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[5,3,6,2],X[1,5,2,4],X[3,7,4,6]]; -0.0719730111 -0.0341186248 -0.996822855 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,9],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,10,8,9]]; 0.896723963 -0.042765054 -0.440519335 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[8,0,9,1],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3],X[4,10,5,9]]; 0.56009748 -0.456182976 -0.69151132 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.928746286 -0.243405594 0.279614116 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.396968192 0.910857412 0.112938168 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.748423412 0.0742799397 0.659048471 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; -0.38866342 -0.909155094 0.149591981 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.853348863 -0.16464127 0.494660459 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.354557207 0.74473327 -0.565386189 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.441072704 0.612523698 0.65594938 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[2,5,3,4],X[3,1,4,0],X[6,11,7,10],X[11,8,12,7],X[8,13,9,12],X[13,10,14,9]]; -0.140465259 0.711753337 0.688241744 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.240459331 0.966571401 -0.0889889672 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.145353703 -0.268460856 -0.95226103 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.922235149 0.16770667 0.348363032 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,8,1,9],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7],X[9,5,10,4]]; -0.952788086 -0.225444889 -0.203394851 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.378593236 0.0740258377 -0.922598145 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.680842359 0.350396905 -0.643176252 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.673321999 -0.737690558 0.0494987499 k7.10m - A^(-28) + A^(-24) - A^(-20) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[6,1,7,0],X[8,2,9,1],X[2,10,3,9],X[10,4,11,3],X[4,12,5,11],X[5,8,6,7]]; -0.0337240248 -0.0318438187 0.998923752 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[10,0,11,1],X[8,1,9,2],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7],X[11,10,12,9]]; 0.529675862 0.620894283 0.577870029 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.643060806 -0.44511968 -0.623170339 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.335501769 -0.799714652 0.497890589 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.520892313 -0.136478772 -0.842641527 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.791900471 0.578139459 -0.196591987 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.855697422 -0.0416395594 0.515798477 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.907855912 -0.0183861347 0.418878973 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,8,1,9],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7],X[9,5,10,4]]; 0.064440195 0.732013868 -0.678235326 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.235946461 -0.138669939 -0.961821145 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.45194426 0.820966422 -0.348942002 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.25953965 0.519614962 -0.814026696 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.880080767 0.474606696 -0.0143641336 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.774802103 0.356800561 -0.521895642 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,12,10,11],X[2,6,3,5],X[0,12,1,13],X[6,4,7,3],X[1,9,2,8],X[4,8,5,7],X[10,13,11,14]]; 0.671586244 0.653561021 0.349041414 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.533492705 -0.708719032 -0.461630662 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; -0.669520731 -0.678035351 0.303331591 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.258433119 0.327155748 -0.908945234 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.543042093 0.635984085 0.548296935 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.333081259 0.520060751 0.786507273 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.931165937 0.261575162 -0.253985102 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.747841408 -0.342875724 -0.568479962 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[6,3,7,2],X[3,8,4,7]]; 0.583400321 0.761369574 -0.282772767 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.185437402 -0.704368657 -0.685184475 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.0357903852 -0.946846063 0.31968982 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.462552593 0.0257365115 -0.886218219 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.440174971 -0.10730637 -0.891477054 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.969544023 0.244473786 0.0147293741 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[7,3,8,2],X[4,2,5,1],X[0,6,1,5]]; -0.396524033 -0.805289873 0.440768546 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; 0.531087524 0.614253775 0.583642307 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.812321773 0.068312291 0.57919493 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; 0.43509889 0.111297875 -0.89347733 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]];