#projection.x projection.y projection.z knotoid_type polynomial PD_code 0.61024287 -0.64371828 -0.46176879 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.278531667 -0.27028792 -0.921609761 UNKNOWN - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 3*A^(-4) + A^(-2) - 1 - A^(2) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[6,5,7,4],X[10,12,11,13],X[13,11,14,12]]; -0.382313711 -0.229028494 0.895199517 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.939362529 -0.340967589 0.036594301 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.776768792 0.135522229 -0.615031681 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.563218973 -0.508408812 -0.651386881 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.151154272 0.0993843119 -0.983501472 UNKNOWN - A^(-18) - 2*A^(-16) + 2*A^(-14) + 4*A^(-12) - 3*A^(-8) - A^(-6) + 3*A^(-4) - 2 - A^(2) + A^(4) + A^(6) PD[X[0,13,1,12],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[9,8,10,7],X[15,8,16,9],X[14,10,15,11],X[11,13,12,14]]; -0.848185618 -0.238187025 -0.473125881 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.966751417 0.186506963 0.174948135 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.917643759 0.323089212 0.231394236 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.692508989 -0.0931088141 0.71537546 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.706864172 0.411816574 0.575108818 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.787527576 0.615352505 0.0337877455 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.114975321 -0.772599958 -0.624395693 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.757942848 0.625348957 -0.185637607 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.382244664 -0.885872001 -0.262906474 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.750611072 0.554854382 -0.358775186 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.195264219 0.910719712 -0.363952593 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.476566536 -0.845970448 0.23920355 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[12,0,13,1],X[1,7,2,6],X[5,3,6,2],X[9,5,10,4],X[3,9,4,8],X[10,7,11,8],X[11,13,12,14]]; 0.95139552 0.307793858 -0.0104645356 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.763367939 0.366119461 0.532189751 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.862727847 0.497941192 0.0880637965 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.934813106 -0.280645568 0.217629322 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.353562302 0.133145648 0.925886567 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[6,1,7,0],X[1,8,2,7],X[8,3,9,2],X[3,6,4,5],X[4,9,5,10]]; 0.334126507 0.039241206 0.941710999 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.518540864 -0.0372483787 0.854241143 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,9,5,8],X[1,10,2,9],X[6,1,7,0],X[7,4,8,3],X[2,6,3,5]]; -0.880970845 -0.328456014 -0.34059803 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.61782051 -0.472427914 0.628577508 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.182155773 -0.0925893015 -0.978900657 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.201976149 -0.884545513 -0.42045793 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.728126708 -0.133379272 -0.672340291 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.963842566 -0.266048998 -0.0150146275 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.417037547 0.908751402 -0.0158295049 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.425702606 -0.800300332 0.422251903 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[12,0,13,1],X[1,7,2,6],X[5,3,6,2],X[3,9,4,8],X[9,5,10,4],X[10,7,11,8],X[11,13,12,14]]; 0.114058638 -0.744968561 -0.657276555 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.468490487 0.871432466 -0.145334511 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,9,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,8,10,7]]; 0.1141512 0.91062546 0.397153338 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.379529577 -0.0973603249 0.920042536 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[8,10,9,11],X[9,12,10,11]]; -0.959348793 0.262303969 0.104146632 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.00171561276 -0.150868503 -0.988552351 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[6,5,7,4]]; -0.914770545 -0.150152402 -0.375032139 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,0,8,1],X[10,8,11,9],X[11,10,12,9]]; 0.853238556 -0.517111031 -0.0676767859 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.507193579 -0.827546086 -0.240670207 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.00995379063 -0.821082069 -0.570723363 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.961241726 -0.153370422 0.229111015 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.481796342 -0.689452389 -0.540858288 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.436745808 -0.788098927 0.433766273 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.658878457 0.553865928 -0.509030168 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.129828199 0.23924505 0.962240326 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.376972243 0.292861098 -0.87870604 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,5,1,4],X[3,2,4,1],X[2,6,3,5]]; 0.369760946 0.0637261721 -0.926938951 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.971475107 -0.0886006005 0.219968292 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.220213764 -0.735983169 0.640183312 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.466687084 0.014066934 0.884310628 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,10,6,9],X[2,9,3,8],X[6,5,7,4],X[0,4,1,3],X[7,2,8,1]]; 0.410410352 -0.851586781 0.326133864 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.773600817 0.515492738 0.368522745 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.675025548 -0.0269270511 -0.737302816 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.147278584 0.572863148 -0.80631063 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.711480689 0.17701743 0.68004416 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.87728881 -0.20940034 -0.431874798 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.573869009 0.665976394 -0.476602352 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.296138018 -0.673623354 -0.677151277 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.0397871202 -0.505985339 -0.861623945 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.075228385 -0.857998597 0.508113272 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[8,1,9,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,10,8,9]]; -0.989714968 -0.109427943 -0.0921401484 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.354021351 0.228376298 0.906925107 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0716201263 -0.038713634 -0.996680396 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[8,5,9,4],X[3,10,4,9],X[7,2,8,1],X[2,6,3,5],X[0,7,1,6]]; 0.267295065 0.338861046 0.902067924 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.599570541 -0.549528983 0.581835941 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.743502311 -0.157016336 0.650038602 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.895416446 -0.232844168 0.379490423 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.910130696 -0.338618674 -0.238745701 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.44163083 0.0500562424 -0.89579941 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[7,4,8,3],X[2,7,3,6]]; -0.871047967 0.0030125486 -0.491188725 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,0,8,1],X[10,8,11,9],X[11,10,12,9]]; -0.679574248 0.00783748524 -0.733564868 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.987786218 0.114477904 -0.105703349 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.828954632 0.453991383 -0.32668952 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.909014782 0.321249817 0.265500811 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.329297846 -0.176576323 -0.92756872 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.289019378 0.147975556 -0.945817654 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[8,7,9,6],X[9,7,10,8]]; -0.821548216 -0.507701865 0.259417317 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.556313115 -0.797971249 -0.231856859 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.234540052 0.602820821 -0.762625741 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3],X[6,5,7,4],X[7,5,8,6]]; -0.260405767 -0.615199051 0.744122949 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[8,0,9,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[7,9,8,10]]; 0.597968194 0.783208746 -0.170346994 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,12,1,13],X[1,10,2,11],X[3,7,4,6],X[4,10,5,9],X[8,6,9,5],X[7,3,8,2],X[13,11,14,12]]; 0.44717936 0.349889897 -0.82316929 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,8,1,9],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[9,7,10,8]]; 0.347812338 -0.305823162 0.886283685 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.525811633 -0.25618399 0.81110535 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.752625856 0.258436752 0.605611069 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.174669349 -0.126275286 -0.976496375 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.757507415 -0.0682084367 -0.649253514 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.512261933 -0.543916003 0.664637565 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.0874717929 0.996124279 -0.00922525069 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.441412465 -0.890096104 -0.11350754 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.905886053 -0.032905751 0.422241247 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[6,8,7,9],X[7,10,8,9]]; -0.656198561 0.42873858 -0.620956262 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.766567516 0.534271584 -0.356269726 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.0531678821 -0.983453543 0.173182866 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.0649748968 -0.871189911 -0.486627581 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.141229013 0.33320247 0.932218043 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.386018157 0.883316337 -0.265974118 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.0664361425 0.849281478 -0.523743459 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,9,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,8,10,7]]; 0.693122523 -0.471301043 0.545395723 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.370134335 -0.927756099 -0.04763606 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,0,8,1]]; 0.390729102 -0.909256627 -0.143468308 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[8,1,9,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[9,7,10,8]]; -0.724730904 0.397939405 -0.562502753 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.783600062 0.526708415 -0.329468037 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.939591572 0.0382544621 -0.340153309 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.601145194 0.789058122 0.12653749 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.86951981 -0.482420816 0.105855827 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.151634115 -0.748883163 0.645120999 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.260200851 -0.320398973 0.910845769 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[6,10,7,11],X[9,7,10,8],X[8,11,9,12]]; 0.0798645623 0.266162547 0.960613945 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; -0.334546077 0.371111999 -0.866230227 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.585284527 0.308307337 0.749925735 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[3,8,4,7],X[2,12,3,11],X[6,11,7,10],X[8,2,9,1],X[9,6,10,5],X[4,1,5,0]]; 0.900662054 -0.218326507 -0.375687903 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.544705799 -0.727874518 0.416526444 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.628037222 0.415218147 -0.658151303 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.139607508 -0.0199904175 0.990005115 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[4,2,5,1],X[9,4,10,3],X[2,9,3,8],X[5,8,6,7]]; -0.362478897 -0.805311947 -0.469128679 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.971426655 -0.179072814 0.155766434 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.0797205115 -0.412360022 -0.907526227 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.862190298 0.339594102 0.375903891 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.415161781 0.164780067 0.894700075 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.691938158 -0.112893529 -0.713075478 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.435028584 0.844098868 0.313444147 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.878866848 -0.13146171 -0.458596644 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.53916728 0.732241985 -0.4160773 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.623356904 -0.476365902 0.620082009 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.706848963 0.32261082 0.629513147 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.201915649 0.957247631 -0.207140154 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.686322265 -0.535148683 -0.49252171 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.571188165 -0.297275597 0.765095615 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.724902839 0.526640673 0.444033193 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.798142793 -0.599030873 0.0642658076 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.929437832 0.144071179 0.339689287 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[0,7,1,8],X[8,10,9,11],X[9,12,10,11]]; 0.521241501 0.168772177 0.836554392 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[7,4,8,3],X[1,10,2,9],X[2,6,3,5],X[4,9,5,8],X[6,1,7,0]]; 0.865636784 0.332026244 0.374741952 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.751571659 0.207172681 0.626274318 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.927428774 -0.177479484 0.329206474 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.613403626 -0.489867773 -0.61948814 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.339283734 0.728778627 -0.594784214 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.402045172 0.198068317 0.893939943 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.579294688 -0.777208563 0.245691911 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.842124691 0.20897774 -0.497146164 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.843133335 0.378988719 -0.381436403 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[6,2,7,1]]; 0.863667128 -0.371223257 -0.340987368 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.0414752457 0.152534669 0.987427455 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; 0.603421625 -0.514031751 -0.609634072 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.864905535 0.289903128 0.409749426 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.689488652 -0.0235337701 0.723914056 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.157704825 0.13665868 -0.977984454 UNKNOWN - A^(-18) - 2*A^(-16) + 2*A^(-14) + 4*A^(-12) - 3*A^(-8) - A^(-6) + 3*A^(-4) - 2 - A^(2) + A^(4) + A^(6) PD[X[0,13,1,12],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[11,13,12,14],X[14,7,15,8],X[15,9,16,10],X[10,9,11,8]]; 0.378954178 0.641264051 -0.66721372 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,10,1,11],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[11,9,12,10]]; 0.741557932 0.586447847 -0.325838543 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.150513708 0.286248099 -0.946259821 k7.10m - A^(-28) + A^(-24) - A^(-20) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[0,8,1,7],X[1,10,2,9],X[2,12,3,11],X[12,4,13,3],X[4,14,5,13],X[10,6,11,5],X[8,7,9,6],X[16,14,17,15],X[17,16,18,15]]; -0.0567718174 -0.252108654 0.966032187 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.995016792 -0.0351162983 0.093318963 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.619369764 -0.113282834 -0.776883579 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[8,3,9,2],X[4,7,5,6],X[1,8,2,7],X[9,6,10,5],X[3,1,4,0]]; 0.868727824 -0.121247298 -0.480219805 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.477481907 -0.744556006 0.466526937 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.438607466 -0.894462972 -0.086945286 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.74289063 0.118243987 -0.658886843 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3],X[6,4,7,5],X[7,6,8,5]]; -0.500272219 -0.841228438 0.205091251 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[12,0,13,1],X[1,7,2,6],X[5,3,6,2],X[9,5,10,4],X[3,9,4,8],X[10,7,11,8],X[11,13,12,14]]; -0.614083338 0.453752353 0.645763468 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.487628914 0.626704009 0.607832318 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.561000656 -0.693858168 0.451485443 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.269436322 -0.221846056 0.937117066 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.576232428 -0.540492701 -0.613044721 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.678104867 0.610951939 -0.408548061 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.214320106 0.048969782 0.975535162 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[6,9,7,8],X[7,9,8,10]]; 0.80685498 0.573769493 0.140618672 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.352246644 0.264934836 -0.897625665 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.21271322 -0.854500181 0.473901389 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[7,3,8,2],X[3,7,4,6],X[4,2,5,1]]; 0.964474197 -0.249252375 0.0875372905 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.731570131 0.0846173266 0.67649468 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.608864493 -0.179702105 -0.772652045 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,2,5,1],X[0,7,1,6],X[9,6,10,5],X[8,3,9,2],X[3,8,4,7]]; 0.217387008 -0.363170703 -0.906007687 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.32664512 0.25634183 0.909720744 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.975230458 -0.203814307 -0.085937669 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.374400328 0.126593043 -0.918585105 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.143737355 0.735950633 -0.661601269 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,10,1,11],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[11,9,12,10]]; 0.0732203719 -0.357666561 -0.93097444 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.589203911 0.313829154 -0.744546851 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10],X[14,10,15,11],X[11,13,12,14],X[15,12,16,13]]; 0.77125175 0.269622412 -0.576606012 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[0,9,1,10]]; -0.301082206 -0.582809589 -0.754773137 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.579400017 -0.784025955 0.222708154 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.599014829 0.598763587 0.531660984 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.156383675 -0.182507611 0.970687961 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6],X[10,12,11,13],X[11,14,12,13]]; -0.917736515 -0.386192579 -0.0928169168 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.609229937 -0.790590313 -0.0616914993 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.446880709 0.808321507 0.383293586 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0580578916 -0.287989266 0.955872096 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6],X[10,13,11,12],X[11,13,12,14]]; 0.394221721 -0.619418638 -0.67890337 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.625879194 -0.357155898 -0.693336065 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.367269734 -0.826937721 0.42577805 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[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[9,11,10,12]]; 0.711210173 0.438589776 -0.54938065 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.465742359 0.816615143 0.340916065 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0792006369 0.677207239 -0.731517337 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.793758755 0.112479623 0.597741895 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.997310692 -0.053997878 0.0495541496 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.371416867 0.848655428 0.376607854 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.269466238 -0.218306623 -0.937939318 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[6,5,7,4]]; 0.967947711 0.115814303 0.222854831 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,6,3,5],X[6,4,7,3],X[0,7,1,8],X[4,2,5,1],X[8,10,9,11],X[9,12,10,11]]; 0.472205259 0.0230550058 -0.881187074 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[0,7,1,8]]; -0.545388582 0.162001374 0.822378775 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.187932697 -0.86335692 0.468290647 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.627350219 -0.70871885 0.322721698 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.457083047 0.272691788 -0.846589793 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.189039579 -0.90853762 -0.372590165 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.790343894 0.608719169 0.0694082296 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.0870817861 -0.0149030697 -0.996089685 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.66792368 -0.570852296 0.477499333 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.361783103 -0.89850781 -0.248589424 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.946976889 0.139596113 0.289391943 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.727605331 -0.501616952 0.467943282 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.656417765 0.733954373 0.174432495 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.188817618 -0.593581225 0.782310192 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1],X[4,7,5,6],X[5,7,6,8]]; 0.301505065 -0.353573758 -0.885483085 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.294490604 -0.668310414 -0.683107953 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0368230065 -0.947598685 0.317333891 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.62629901 -0.151387117 -0.764742761 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[3,8,4,7],X[9,2,10,1],X[8,5,9,4],X[5,3,6,2]]; -0.512894382 0.858416596 -0.0077653667 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.214281013 0.935534246 -0.280819019 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.16800052 -0.263379075 0.949951203 UNKNOWN + A^(-32) - 2*A^(-28) - A^(-26) + 2*A^(-24) + 2*A^(-22) - A^(-20) - 3*A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) + A^(-10) PD[X[8,5,9,4],X[9,17,10,16],X[11,16,12,15],X[10,4,11,3],X[5,8,6,7],X[6,17,7,18],X[1,14,2,13],X[12,1,13,0],X[14,3,15,2]]; -0.735683006 -0.318826423 0.59759537 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.240678009 0.838197358 0.489386642 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.371048224 0.422636685 -0.826862412 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3],X[5,8,6,7],X[4,6,5,7]]; 0.808171671 -0.585584 0.0628484627 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.566888453 0.759850796 0.318220442 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.508095088 -0.83699575 0.203168641 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[12,0,13,1],X[1,7,2,6],X[5,3,6,2],X[3,9,4,8],X[9,5,10,4],X[10,7,11,8],X[11,13,12,14]]; 0.0366744449 -0.991369565 -0.125862509 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.33581179 0.889665562 -0.309395588 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.392552819 -0.430748548 -0.812624127 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.157908152 -0.0667830596 -0.985192894 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[6,5,7,4]]; -0.708007223 -0.586487606 -0.39339301 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.979283523 0.158469045 -0.126060868 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.441322054 -0.545082995 0.712824925 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.405507797 -0.615562731 -0.675755837 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0421943259 0.166699248 -0.985104563 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[8,6,9,7],X[9,8,10,7]]; -0.833063168 -0.138041853 0.535677332 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.449762893 0.285740107 0.84620679 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.909124289 0.113224193 0.400840752 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.203512995 -0.118933231 -0.971821664 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.859068388 0.035123267 0.510654346 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.300146482 -0.953889342 0.00268559018 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.991088155 0.0987558658 0.0893954537 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.63864579 0.265345372 0.722304221 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.217794038 0.814022407 -0.538454527 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.218299207 0.888700404 0.40318364 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.348232056 -0.762044481 -0.545914502 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.865958006 -0.335624498 0.370773418 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[9,0,10,1]]; -0.548938747 0.705219773 -0.448699591 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.401080783 -0.699482723 -0.591488061 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.583673476 -0.79426267 -0.16873673 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.661511142 -0.362921608 0.656270459 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.443312787 0.67148134 0.593790015 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.924802424 -0.109088144 0.364472569 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.0868357909 -0.777914547 -0.622341146 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.165327664 0.857299265 -0.487549725 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.0761698745 0.993620026 -0.0831708759 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.482718454 -0.702128117 -0.52344914 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.786616886 0.527535618 0.320842712 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.648657699 -0.76095917 -0.013576874 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.0405961864 0.970591481 0.237284908 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.386470604 0.643438396 -0.660777953 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.547238491 0.348690075 0.760884529 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.696703256 -0.391950959 0.600815296 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.798208017 0.363583336 -0.480282332 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.795038447 -0.57600019 0.190099051 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.754951025 -0.411074645 -0.510946754 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.578564499 0.800562229 -0.156087275 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,12,1,13],X[6,2,7,1],X[4,10,5,9],X[2,6,3,5],X[8,4,9,3],X[7,10,8,11],X[13,11,14,12]]; -0.82233402 0.192196365 0.535562617 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.44177996 -0.0567123215 -0.89532909 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.297633945 -0.576309651 0.761105263 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[4,1,5,0],X[1,4,2,3],X[5,3,6,2]]; -0.507017563 0.829086484 0.235687913 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.394063832 0.870730521 -0.29418031 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.594159828 0.437686101 -0.674836999 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.274791872 0.961412353 0.0132557023 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.880372346 0.212718501 -0.423904908 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.344637253 -0.519005176 0.782214032 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[4,1,5,0],X[1,4,2,3],X[5,3,6,2],X[6,9,7,8],X[7,9,8,10]]; -0.194906274 0.978001682 0.0743253338 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.658612564 0.0398327497 -0.751427204 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.814524028 0.0858867585 -0.573736936 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3],X[6,4,7,5],X[7,6,8,5]]; -0.710665781 0.686475684 0.153965199 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.93412717 0.0264916217 -0.355955929 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.596809966 -0.798205693 0.0817651264 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.591502104 -0.0345466565 -0.805563026 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[11,0,12,1],X[4,2,5,1],X[2,9,3,8],X[9,4,10,3],X[5,8,6,7],X[13,7,14,6],X[12,11,13,10]]; -0.145617705 -0.0324636834 -0.988808168 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[10,13,11,12],X[8,3,9,2],X[3,10,4,9],X[1,8,2,7],X[6,5,7,4],X[11,13,12,14]]; -0.567278386 -0.0164547745 0.823361691 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.509378142 0.49415678 0.704516136 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.915204037 0.0601060459 0.398483167 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.302776146 -0.553212111 0.776068918 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[8,0,9,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[7,9,8,10]]; -0.00795488643 -0.0822710301 -0.996578244 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[3,10,4,9],X[2,6,3,5],X[8,5,9,4],X[7,2,8,1]]; 0.324847584 -0.945504138 0.0222704494 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.47085321 -0.876142998 0.103299085 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.794228308 -0.598066205 0.107322915 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.468881485 0.851718278 0.233936162 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0722109703 -0.990220455 -0.119369288 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.98307595 0.154993808 -0.0976657323 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.407391101 -0.514877334 0.754277019 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[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[9,11,10,12]]; -0.748242886 -0.035597378 0.662469177 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.407840484 0.661051291 0.629823253 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.372829501 0.516274086 -0.771011823 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,8,1,9],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[9,7,10,8]]; 0.392442274 -0.788843164 0.472985754 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.299896545 -0.953546946 -0.028465488 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.254897773 -0.953906055 0.158399379 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.800117496 0.555277591 0.226889378 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.0721241713 -0.864498727 -0.497433468 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.451172307 -0.0159360249 0.892294566 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[1,6,2,5],X[3,8,4,7],X[6,3,7,2]]; -0.892866899 0.29215252 -0.342688788 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.30136558 0.0717497492 -0.950805322 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[8,7,9,6],X[9,7,10,8]]; 0.804914809 -0.443304151 0.39445352 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.914769911 -0.181569004 0.360872148 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.704811404 -0.593878801 -0.388006256 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.0034713491 -0.935915539 -0.352207402 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.604330578 -0.767803206 -0.212750533 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.856712839 0.431981364 -0.28184253 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.749424269 -0.0781240514 -0.657464751 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.502244011 0.103256998 0.858538843 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.382666215 0.0847465899 -0.919991621 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.577315577 -0.450645895 -0.680900141 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.413703589 0.789290964 0.453728019 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.582501734 -0.77311886 -0.250956089 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.247622356 0.425178431 0.870578239 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0861324405 -0.865412305 -0.493601808 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.42626558 0.728578397 -0.536163385 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.157108262 0.209056345 -0.965200725 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[6,5,7,4],X[12,10,13,11],X[13,12,14,11]]; -0.892823623 0.000988275488 0.450405375 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.115106517 0.945222482 0.305458589 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.939318448 0.130480914 -0.317262642 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.627124718 0.719469308 0.298460219 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.410122125 -0.840006105 -0.355231734 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.510548308 0.858101933 0.0547859371 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.219505142 0.76258876 -0.608502979 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.787750807 -0.603109677 -0.125329098 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.331674999 0.522903647 0.785215557 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.838436886 -0.292882827 -0.459612051 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.451669062 0.703905077 0.548190387 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.26415772 0.954783664 -0.13641427 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.401342111 -0.123987071 -0.907497502 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0266243833 -0.488476886 -0.872170553 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.628704279 -0.262287681 -0.732076568 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.873919891 -0.428839722 0.228824204 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[1,7,2,6]]; 0.165281559 -0.973537906 0.157816196 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.591018889 0.70155873 -0.398135682 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.098661647 -0.393091883 0.914190708 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.895591786 0.173639152 0.409591013 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.345630672 0.373244725 0.860945883 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.46443486 -0.371548564 -0.803897957 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[9,4,10,3],X[1,6,2,5],X[4,8,5,7],X[0,9,1,8],X[6,3,7,2]]; -0.0647673804 -0.278767484 0.958172154 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0756342783 -0.669106455 0.73930779 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; 0.189863721 -0.432679754 -0.881328541 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.599894877 -0.473358754 -0.645025291 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0235507109 -0.260672468 -0.965140005 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.343770748 0.436691423 -0.831337641 UNKNOWN - A^(-8) - 2*A^(-6) + 4*A^(-2) + 3 - 2*A^(2) - 2*A^(4) + 2*A^(6) + 2*A^(8) - 2*A^(10) - 2*A^(12) + A^(16) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,8,7,9],X[9,7,10,8],X[10,12,11,13],X[13,11,14,12]]; 0.355190051 -0.746274733 -0.562951197 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.597167205 0.801034628 -0.041651574 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.483639382 0.405366625 0.775738904 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.344425088 -0.484699408 -0.804013583 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.222196201 0.973711226 0.0501527335 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.0490208545 -0.767767093 -0.638851036 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.177505722 -0.699238308 -0.692500907 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.61304923 0.663032192 -0.429603251 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.583269696 0.0172534629 -0.812095302 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.087875244 0.257694563 0.962222144 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.670591559 -0.740507791 -0.0442173262 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.487134918 0.760036311 0.430167848 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.525231807 0.39923533 -0.751493646 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.00440989217 -0.365900576 0.930643498 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[6,9,7,8],X[7,9,8,10]]; 0.760377545 -0.648598472 0.0338528021 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.182388922 -0.729275751 0.659462781 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[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[9,11,10,12]]; -0.950730567 -0.304469624 -0.0583920991 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.795741299 -0.0668733973 -0.60193333 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.617354 -0.765328838 -0.182059902 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.400994782 0.865364359 -0.300578961 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,9,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,8,10,7]]; 0.0486579445 0.468682715 -0.882025463 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.451464681 -0.892186231 -0.0135414763 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.380976739 -0.9230612 0.053054167 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.82190265 0.564314471 0.0776222423 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.0360406522 0.991769053 0.12286259 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.603787583 -0.327381743 0.726816173 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.0822780728 0.886550655 -0.455256251 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.674654084 0.59671051 0.434486402 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.708518241 -0.611358725 -0.352480371 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.292560831 -0.658364881 0.693515568 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[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[9,11,10,12]]; 0.28208654 -0.607312943 0.742696555 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[4,1,5,0],X[1,4,2,3],X[5,3,6,2]]; 0.338300991 0.651803889 -0.678751891 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,10,1,11],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[11,9,12,10]]; -0.807604752 0.167398358 -0.565466493 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3],X[6,4,7,5],X[7,6,8,5]]; 0.0945725469 -0.670301758 0.736037761 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; -0.895014563 -0.15742361 -0.417332888 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,0,8,1]]; -0.524371361 0.695470197 -0.49127984 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.0446737594 0.997263128 -0.0589110274 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.732460516 -0.680782141 0.00610474218 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.22757112 -0.675826852 -0.701048823 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.733436203 -0.679748778 -0.0035965261 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.809956333 0.0637671022 0.583013289 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.473464999 -0.419126372 -0.77470251 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.43298322 0.373202639 -0.820515278 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.412359595 -0.682682148 -0.6032451 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.45385978 0.387440518 -0.802434511 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.427427023 0.453626555 -0.782003254 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,8,1,9],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[9,7,10,8]]; -0.62663821 -0.371421683 -0.685106187 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.541571945 0.838607501 -0.0586283766 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.217059646 -0.964462309 0.150657108 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.108095122 -0.711909603 -0.693902127 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.522429869 0.640129197 0.563295342 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.264484821 0.93783385 -0.224756421 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.781747332 0.10467745 0.614746891 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.518394641 -0.577990026 0.630233707 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.969879531 0.242433097 -0.0236619599 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.274064933 -0.44075707 -0.854764071 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.562736974 0.462303696 0.685275412 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.686425702 0.287916374 -0.66777535 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.329605151 0.943910152 -0.019851157 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.378200429 0.377315376 0.845338715 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.521343123 -0.409568223 0.748635571 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.136427514 0.91910328 0.369644009 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.21039745 0.0520792969 0.976227771 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; -0.30365792 -0.378256344 -0.874479277 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.271157765 -0.836365185 -0.476410269 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.784993967 -0.583693195 0.207573425 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.22717896 -0.574517682 0.786332725 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1],X[4,7,5,6],X[5,7,6,8]]; 0.0356694635 0.835745631 0.547957052 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.57074029 0.262157023 0.778157578 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0390775887 -0.661413989 -0.749002322 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.952239198 -0.304972976 -0.0152313453 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.645275781 -0.337677847 -0.685268443 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.372108938 -0.927508971 -0.0355253043 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.603211627 -0.348516083 -0.71740663 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.241969671 0.96521163 -0.0990817253 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.733215552 0.546397357 -0.404777573 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[6,4,7,3],X[2,8,3,7]]; 0.746677369 -0.628870805 0.216781958 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.959220964 0.0409294982 -0.279678241 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.712526401 -0.685630861 0.149051839 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.779266664 0.440335484 0.445923903 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[0,7,1,8]]; -0.777977484 -0.620379836 0.0993976579 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.432368448 -0.307197681 -0.847754157 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.7069452 -0.29675115 0.642002522 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.568543283 -0.729307136 0.380617442 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.1564404 -0.966990723 0.201135134 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.65547381 0.406356496 -0.636575591 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.0548151986 0.409490069 0.910666337 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.249861584 0.173994864 0.952520329 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; -0.691924981 -0.0773812234 -0.717810537 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.346481564 -0.308138966 0.886002767 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.119144132 0.96492003 -0.233953011 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.780428586 0.62523762 -0.00302340137 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.416877316 0.618549027 0.666040843 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.883162823 -0.30942919 -0.352529439 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.998981235 0.0156128775 0.042340653 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.254322977 0.350373645 0.901420064 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.549958153 0.814582079 0.184396494 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.0640146371 0.329653024 0.941929408 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.804502779 -0.416641986 0.423302178 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.335620765 0.786060182 0.519103161 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.634171756 -0.0647341845 0.770477559 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.482805421 -0.361767608 -0.797510579 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[11,3,12,2],X[4,9,5,8],X[10,7,11,6],X[7,4,8,3],X[0,10,1,9],X[1,6,2,5]]; -0.513862032 0.857864659 0.00374688022 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.677637464 0.431835959 -0.595252192 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.295517937 -0.74607174 -0.596695993 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.555811683 -0.757362293 0.342747327 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.102133421 0.454536506 -0.884853281 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[10,6,11,7],X[7,9,8,10],X[11,8,12,9]]; -0.199030357 0.979279471 -0.037398315 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.802570848 -0.575717616 -0.156298628 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.855706215 -0.418788438 0.303945913 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[1,7,2,6]]; -0.636502568 -0.699590114 -0.324712416 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.61931389 -0.409169678 0.670097366 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.491621708 -0.870251988 0.031137987 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[8,1,9,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,10,8,9]]; 0.430085809 0.0548104135 -0.901122642 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[2,6,3,5],X[4,2,5,1]]; 0.667135098 0.73967963 -0.0883448138 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,10,1,11],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[11,9,12,10]]; 0.0737007411 0.952022831 0.297019747 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.428892563 -0.205187618 0.879743833 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.203207552 -0.13140144 0.970278492 UNKNOWN - A^(-18) - 2*A^(-16) + 2*A^(-14) + 4*A^(-12) - 3*A^(-8) - A^(-6) + 3*A^(-4) - 2 - A^(2) + A^(4) + A^(6) PD[X[12,1,13,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[8,11,9,10],X[13,11,14,12],X[9,15,10,16],X[7,14,8,15]]; -0.934941887 -0.145983499 -0.323376694 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[7,0,8,1],X[3,7,4,6],X[5,3,6,2],X[10,8,11,9],X[11,10,12,9]]; 0.357577749 -0.841960464 0.404030605 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.147187092 0.29199421 -0.945026635 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.42748366 0.4374239 0.791149829 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.993350559 0.100345406 0.0564399445 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.52374839 -0.706704881 -0.475663573 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.704014154 -0.407411677 -0.581704217 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.970831143 -0.0629915209 0.231341651 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.678684736 -0.514131263 -0.524457885 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.188953738 0.128707619 0.973514681 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; -0.991219732 -0.0157447143 -0.131284224 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.878493922 0.475023975 0.0509965979 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.330765945 -0.188195184 -0.924757516 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.296750331 -0.143077912 0.944175806 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6],X[10,12,11,13],X[11,14,12,13]]; -0.884663241 0.175325335 0.432009233 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.543876866 -0.792481534 -0.275990893 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.652862131 0.535454672 0.535779182 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.4459196 -0.0650662088 -0.892704934 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.722870292 -0.685227559 -0.0890041175 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.73447172 0.368448311 0.569909759 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.452265088 0.525615758 0.720544492 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.891912743 0.348342093 -0.288356456 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.445300834 0.130367569 0.885839412 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.411909653 -0.753475138 -0.512450636 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.0962174919 -0.110728456 0.989182189 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[9,4,10,3],X[6,1,7,0],X[12,11,13,10],X[5,8,6,7],X[2,9,3,8],X[4,2,5,1],X[13,11,14,12],X[14,16,15,17],X[15,18,16,17]]; 0.720147144 0.681313403 -0.131149296 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.907444453 -0.386638365 0.164485073 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.161923798 -0.924448882 0.345217247 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.567499406 -0.382352381 -0.729212645 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[11,1,12,0],X[7,4,8,3],X[6,11,7,10],X[1,6,2,5],X[2,10,3,9],X[12,5,13,4],X[13,9,14,8]]; -0.902968552 0.0944543823 -0.419197047 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.113346808 -0.902577415 -0.41533903 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.829281588 -0.4922668 0.26450982 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.659287825 -0.693576242 0.290330089 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.375524741 0.883863135 -0.27886758 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.484620846 0.722848787 -0.492577169 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.576655905 0.814081699 -0.0688400576 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.793826346 0.489501189 0.36087161 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.723288872 0.281150035 0.630720116 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[5,3,6,2],X[3,1,4,0]]; -0.755656853 -0.652850848 -0.0526164528 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.249361975 0.959296441 -0.132547889 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.954341034 0.279199402 0.106211514 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.250236426 -0.0767084674 -0.965141203 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[8,7,9,6],X[9,7,10,8]]; -0.748066187 0.140565126 0.648566438 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0990575875 0.992509992 -0.0714948229 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.858365187 0.511627027 0.0380393332 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.480180227 -0.25610613 -0.8389497 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.162992534 -0.435445105 0.885336656 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1],X[4,7,5,6],X[5,7,6,8]]; 0.740847244 0.608640118 0.284081974 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.93814429 -0.115258355 0.326497783 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.690147786 0.700699798 0.180875166 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.0742571356 0.508170477 -0.858049325 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[8,7,9,6],X[9,7,10,8]]; -0.0329216363 -0.8605924 0.508229168 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[11,0,12,1],X[13,1,14,2],X[2,8,3,7],X[6,4,7,3],X[9,5,10,4],X[5,9,6,8],X[10,12,11,13]]; -0.0391135406 -0.586663712 0.808885542 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.16684485 0.447956236 0.878349592 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.441524529 -0.128816454 -0.88795406 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.370799311 -0.902110802 -0.220689765 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.178946883 -0.166893357 -0.969600237 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[6,5,7,4]]; 0.822474075 -0.426448788 0.376401152 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.307458652 0.686172004 -0.659270171 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.913162029 -0.170417053 -0.370260903 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[7,0,8,1],X[3,7,4,6],X[5,3,6,2],X[10,8,11,9],X[11,10,12,9]]; -0.279380416 0.780844041 -0.558774702 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.593544687 0.56426453 -0.573855596 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.282178435 0.238230655 -0.929312373 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[6,5,7,4],X[12,10,13,11],X[13,12,14,11]]; -0.117150074 0.824462025 0.553658947 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.892628649 0.371792432 0.254920542 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.853527373 0.472776079 0.219029226 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.723562202 -0.41059358 -0.554860931 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.853768314 -0.258371474 0.452021954 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.194613915 -0.906437415 -0.374828809 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.892947005 -0.116456597 0.434837335 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.595961921 0.784411646 -0.171836429 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,12,1,13],X[6,2,7,1],X[2,6,3,5],X[8,4,9,3],X[4,10,5,9],X[7,10,8,11],X[13,11,14,12]]; -0.337608865 0.266711628 -0.902709899 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[6,5,7,4]]; 0.761200862 -0.288850605 0.580636354 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.799969076 -0.558805289 -0.218600381 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.732065626 -0.0282455106 -0.680648301 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.352224808 -0.610261951 0.709590048 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.0228308858 0.998107991 -0.0570893097 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.811179882 -0.340038811 -0.475773902 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[7,0,8,1],X[5,3,6,2],X[3,7,4,6]]; -0.296286981 0.947811093 0.117763137 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.325694075 -0.591881917 0.737291778 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[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[9,11,10,12]]; -0.275287618 0.00594045159 -0.961343559 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.217199433 0.97427667 -0.0600780845 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.749436415 -0.274691196 -0.602403359 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.823223277 -0.0535547792 -0.565186094 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.565435732 -0.349672604 -0.747001675 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[1,6,2,5],X[6,3,7,2],X[10,4,11,3],X[4,9,5,8],X[0,10,1,9],X[11,8,12,7]]; -0.551045907 -0.214597539 0.806409515 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.40099266 0.800312788 0.445762636 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.337978921 -0.131053656 0.931984543 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.110248104 -0.933878359 0.340171378 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.361786773 0.354025658 -0.862424585 UNKNOWN - A^(-8) - 2*A^(-6) + 4*A^(-2) + 3 - 2*A^(2) - 2*A^(4) + 2*A^(6) + 2*A^(8) - 2*A^(10) - 2*A^(12) + A^(16) PD[X[0,8,1,9],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[9,7,10,8],X[10,12,11,13],X[13,11,14,12]]; -0.203591347 0.627564026 -0.751474522 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[8,7,9,6],X[9,7,10,8]]; 0.716422895 0.0212258198 -0.697343316 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.698722749 0.613486213 0.367996176 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.868264855 0.485981845 -0.0996884489 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.588598412 -0.548368708 -0.594006456 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.0560768841 -0.12627392 0.990409148 UNKNOWN - A^(-18) - 2*A^(-16) + 2*A^(-14) + 4*A^(-12) - 3*A^(-8) - A^(-6) + 3*A^(-4) - 2 - A^(2) + A^(4) + A^(6) PD[X[12,1,13,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[7,10,8,9],X[8,15,9,16],X[10,14,11,15],X[13,11,14,12]]; -0.0549799997 0.635828589 -0.769869602 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[8,7,9,6],X[9,7,10,8]]; -0.242721265 0.709501362 -0.661584616 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.264660858 -0.93796725 0.223991223 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.973131541 0.112876749 -0.200683439 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.777531608 -0.324927574 0.538392673 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[9,0,10,1]]; 0.211229633 -0.0217137623 0.977195249 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; 0.384429887 -0.148711032 -0.91109752 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.598505519 -0.74847121 0.285625615 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.799477173 -0.206767617 0.563988832 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.371399301 -0.860009532 -0.349923083 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.889792108 -0.0512743901 0.453476507 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,8,7,9],X[7,10,8,9]]; 0.982123983 0.186395267 0.026254266 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.0771048039 -0.993056948 0.0888411375 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.352706979 0.837834393 -0.416690913 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.593210999 -0.753612377 0.283141477 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.465443859 -0.883617305 0.0508180247 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[8,1,9,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,10,8,9]]; 0.431479689 -0.538462521 0.723797894 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.899630627 -0.382382126 -0.210828473 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.0148387712 -0.998318425 0.0560368905 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.0418901395 0.880048669 -0.473032299 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.564831745 -0.0642792906 -0.822698774 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.199775453 0.939280012 0.279003276 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.413049484 0.0480395744 0.909440665 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.490129038 -0.848299763 -0.200402191 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.0638968511 -0.962776154 0.262639047 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.92732838 0.36618734 0.0772587094 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.957493521 0.219568081 0.18707222 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[0,7,1,8]]; 0.468145397 0.176600194 0.865824612 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[4,1,5,0],X[6,13,7,12],X[2,12,3,11],X[1,6,2,5],X[9,8,10,7],X[10,4,11,3],X[8,14,9,13]]; 0.0681419415 0.575153263 0.815202674 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.332315574 0.729596928 -0.597707856 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.828935717 0.27115514 -0.489224353 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.759739699 0.422485032 -0.494269145 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.96004422 0.220966082 -0.171723864 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.612543965 0.34942522 0.709007692 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.00893096019 -0.530689866 -0.847519028 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.841482159 0.474979867 0.257491558 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.655324907 -0.379575981 0.653047733 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.120057642 0.5907312 -0.797886466 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3],X[6,5,7,4],X[7,5,8,6]]; 0.625827046 -0.619750027 0.473550855 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.220379785 0.598988611 -0.769834654 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3],X[6,5,7,4],X[7,5,8,6]]; -0.36835338 -0.810520916 -0.455380755 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.545065824 0.419904868 0.725660492 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[4,12,5,11],X[8,11,9,10],X[7,4,8,3],X[2,7,3,6],X[5,2,6,1],X[9,1,10,0]]; -0.16902199 0.128950458 0.977140392 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.493791165 0.38286785 0.780757641 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[8,6,9,5],X[3,10,4,9],X[2,7,3,6],X[7,2,8,1]]; -0.542881796 -0.58352964 0.603964001 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.408732304 -0.779823225 -0.474145169 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.0648385868 -0.950510117 0.30385272 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.158735337 0.683018887 -0.712943401 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[2,6,3,5],X[3,10,4,9],X[8,5,9,4]]; 0.291383628 0.929551067 -0.225899084 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.254937317 0.963730513 0.0789332776 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.244509794 -0.150405691 -0.957910794 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[8,7,9,6],X[9,7,10,8]]; 0.63634826 0.654783551 -0.407822748 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.32431309 0.423166534 0.846020747 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.680242079 0.419007176 -0.601418074 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.262121827 -0.109821946 -0.958765502 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[8,7,9,6],X[9,7,10,8]]; 0.191491582 -0.89626225 -0.400056188 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.130642339 0.87444379 0.467205135 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.776101407 -0.477749593 -0.411608956 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.761268735 0.376630292 0.527844235 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.419973733 -0.51204601 -0.749286959 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.55335757 -0.223520965 0.802392534 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.666176492 0.508796697 0.545284149 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.13891153 0.251021413 -0.957962336 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.181605353 -0.755164465 0.629877866 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.472511552 -0.58370246 0.660321339 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.00537953815 -0.634361177 -0.773018084 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.781301448 -0.581188918 0.227568647 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.250701722 0.938586105 -0.237075452 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.639469386 -0.369082679 -0.674430782 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.847193336 -0.408922866 0.33918364 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[1,7,2,6]]; 0.108708945 -0.403555746 0.908474064 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6],X[10,13,11,12],X[11,13,12,14]]; 0.941375169 0.329259786 0.0734900245 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.488362165 -0.767564431 -0.415147252 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.149911828 0.776898001 0.61151937 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.609714482 -0.610413557 0.505612045 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.0458912996 -0.0209902251 0.998725888 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[10,7,11,8],X[8,11,9,12]]; -0.141367005 0.481652848 -0.864884908 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3],X[6,5,7,4],X[7,5,8,6]]; 0.778069667 0.468131537 -0.418880004 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.484337944 -0.498560915 0.718925427 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.694828153 0.0803595394 -0.71467208 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.99961149 0.0184594842 0.0208833884 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.717838482 0.514554941 -0.468978813 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.69743766 -0.00397176549 -0.71663445 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,5,1,4],X[3,2,4,1],X[2,6,3,5]]; -0.0268020595 0.423806723 -0.905356014 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[8,7,9,6],X[9,7,10,8]]; -0.586172846 0.315612847 -0.746183573 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.893817693 0.401541357 0.199635845 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[0,7,1,8],X[2,6,3,5],X[6,4,7,3]]; 0.150117749 -0.73619408 0.659911311 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.667683175 -0.544941522 -0.507186273 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.375445428 -0.879264304 0.293146744 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.384008174 -0.0222946248 0.923060492 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.0261919469 0.870725556 -0.491071266 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.0451191146 -0.360525611 0.93165742 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.229836298 0.311142721 -0.922152636 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[10,6,11,7],X[7,9,8,10],X[11,8,12,9]]; 0.276279168 0.764516148 0.582395811 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.835556701 -0.533892937 0.129627663 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.947288709 0.103146213 -0.303323196 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.109958787 0.888310583 -0.445884934 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,12,1,13],X[6,2,7,1],X[2,6,3,5],X[8,4,9,3],X[4,10,5,9],X[7,10,8,11],X[13,11,14,12]]; -0.0215660913 0.87633565 0.481217967 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.308315924 0.131065507 -0.942211825 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[8,7,9,6],X[9,7,10,8]]; -0.77089714 -0.18416335 0.609755246 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.480936176 -0.28023475 0.830764033 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[4,1,5,0],X[1,4,2,3],X[5,3,6,2]]; 0.170514588 0.648691624 0.741703412 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.188867436 0.274024774 0.942994971 UNKNOWN - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 3*A^(-4) + A^(-2) - 1 - A^(2) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6],X[12,10,13,11],X[11,13,12,14],X[14,17,15,16],X[15,17,16,18]]; 0.497793545 0.315563728 0.807849689 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[8,7,9,6],X[9,3,10,2],X[3,11,4,10],X[4,1,5,0],X[1,6,2,5],X[7,12,8,11]]; -0.999255486 -0.0311410117 0.0227752379 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.926631098 -0.236229993 -0.292489657 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.619326618 -0.328282373 -0.713207701 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.765685513 -0.610609133 -0.202193428 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.342026276 -0.324083483 -0.882036237 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.615976785 0.658734767 0.432019799 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.709896317 0.242793786 -0.661134175 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.258696018 0.90784737 -0.329984127 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.804271806 0.562611522 0.191350824 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.38424298 -0.63115741 0.673793482 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[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[9,11,10,12]]; -0.632999926 -0.767402509 -0.102002366 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.715445086 -0.64042779 -0.279267928 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.315266494 -0.335428109 -0.887747161 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.330516605 -0.562963399 -0.757516327 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.169940926 0.73389263 0.657663811 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.703860043 0.186700842 -0.685364016 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.741549937 -0.464933676 0.483673825 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0431027589 -0.93819909 0.343401543 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.564102307 -0.65230795 -0.506243939 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.759315312 0.441044649 -0.478455719 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.600910369 0.766834347 0.225547807 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.944476616 -0.321731656 -0.0667282837 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.441933788 -0.533511363 0.721151962 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.354646835 0.119945035 -0.927274938 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.249155089 -0.717464268 -0.650512694 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.277576249 -0.746303885 -0.60496441 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.0777772385 0.122096996 0.98946603 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; 0.505440263 -0.232058709 0.831070933 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.727778054 -0.0416306999 0.684548018 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.579856182 -0.292612797 -0.760358179 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[11,3,12,2],X[1,6,2,5],X[7,4,8,3],X[0,10,1,9],X[10,7,11,6],X[4,9,5,8]]; 0.188134628 0.251012821 -0.949525105 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.168263936 0.970830926 -0.170805625 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.223289842 0.785597218 0.577043029 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.359824033 -0.881617701 0.305412662 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.596497046 0.552490997 0.582189808 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.394253812 -0.82815442 -0.398402044 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.16091133 -0.254685387 -0.953542289 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[6,5,7,4],X[12,11,13,10],X[13,11,14,12]]; 0.665831237 -0.745153847 -0.0376099423 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.923945887 -0.180562491 -0.337225718 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7],X[12,10,13,11],X[13,12,14,11]]; -0.0133884543 -0.579044196 -0.815186217 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.865390532 -0.0641970077 -0.496968784 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,6,9,7],X[9,8,10,7]]; 0.943610121 0.328463884 -0.0413692617 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.92823831 -0.302838208 0.216015418 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.22887352 0.729808375 0.644202335 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.493029827 0.461648347 -0.737429585 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3],X[6,5,7,4],X[7,5,8,6]]; 0.647148159 0.761714186 -0.0314763323 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,12,1,13],X[6,2,7,1],X[2,6,3,5],X[8,4,9,3],X[4,10,5,9],X[7,10,8,11],X[13,11,14,12]]; 0.182173371 -0.892429593 0.412773891 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[8,1,9,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,10,8,9]]; -0.158039282 0.889460703 0.428816095 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0380742514 -0.92281175 0.383365134 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.719848258 0.0703338322 0.690558931 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[0,7,1,8]]; 0.756519843 -0.0425912882 0.652582339 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1],X[4,6,5,7],X[5,8,6,7]]; -0.444068766 0.717634767 0.536472993 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.730248975 -0.599512182 -0.327599722 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.97723125 0.0888958099 0.19265674 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.765436738 0.596288784 -0.241963396 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.90390656 -0.364153916 -0.224376594 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.190701143 0.191584705 0.962771195 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; 0.897284504 0.0049458786 -0.441425029 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.783750736 0.222598292 -0.579814439 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.944121878 -0.209225155 -0.254673741 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.45415311 0.670113924 -0.587105 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.690671566 0.0611960008 -0.720574657 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.510370811 -0.652088396 0.560626755 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[10,0,11,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[11,10,12,9]]; -0.537860982 0.266226029 -0.799893284 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.500851178 -0.51297574 -0.697139862 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.851169787 0.189517041 0.48948267 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.411726391 -0.0530941021 -0.909759526 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.148539397 0.236213627 -0.960280776 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[6,5,7,4],X[12,10,13,11],X[13,12,14,11]]; 0.853407964 0.0301203235 -0.520372571 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.263930439 0.813072853 -0.518896193 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.584157247 0.810325181 -0.0461888728 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.496297746 0.0667391982 0.865583287 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[7,2,8,1],X[5,10,6,9],X[6,5,7,4],X[0,4,1,3],X[2,9,3,8],X[10,12,11,13],X[11,14,12,13]]; 0.922677929 -0.175923084 0.343098393 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.0175609835 0.493143092 -0.869770948 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[8,7,9,6],X[9,7,10,8]]; 0.854857252 -0.422228845 0.301565716 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.566731438 0.661979294 0.490508808 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.79451526 -0.570439637 0.208192511 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.994804858 0.0959862456 -0.033910682 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.0544570822 -0.260002643 -0.964071082 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[6,5,7,4]]; 0.0725078527 0.219880615 0.972828416 UNKNOWN - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 3*A^(-4) + A^(-2) - 1 - A^(2) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6],X[12,10,13,11],X[11,13,12,14]]; 0.569482677 0.574142897 0.588259649 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.821229422 -0.528169353 0.215915195 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.168868774 -0.794037293 -0.583941875 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.604059512 -0.174888338 0.777512814 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.00609148619 -0.614643463 -0.788781533 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.173328299 -0.894785955 0.411479521 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.987191675 -0.126431908 0.0973014315 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.985889358 0.16739445 0.00112818694 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.859644993 -0.499043986 -0.109387317 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.890783742 0.105505396 -0.442010109 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[10,8,11,9],X[11,10,12,9]]; -0.375621684 -0.490111606 0.786574195 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[8,0,9,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[7,9,8,10]]; -0.725390651 0.644479256 0.241774464 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.36946498 -0.0347791666 0.928593581 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.466848616 0.458709982 -0.756067141 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3],X[6,5,7,4],X[7,5,8,6]]; -0.539676561 0.672386889 -0.506601501 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.241351828 -0.0694816516 0.967947104 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.830216326 -0.0755287743 0.552300875 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.430143752 -0.901657171 0.0446172487 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.890238376 -0.414856418 -0.18806857 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.938120189 0.173672521 0.299613697 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10],X[10,12,11,13],X[11,14,12,13]]; 0.481690553 -0.543142468 0.687728486 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.539838225 0.686576004 0.48701959 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.364298174 0.855743044 -0.367410782 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.514398653 0.391362982 -0.763039345 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.0660350683 0.896754409 0.437573879 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.150355402 0.0950723818 0.984050047 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.287884646 0.486934488 -0.824631575 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[10,6,11,7],X[7,9,8,10],X[11,8,12,9]]; -0.479972152 -0.697948048 0.531502827 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.406943982 0.881654951 0.238916604 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.425128891 0.828778939 -0.363855598 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.138061967 0.526862908 -0.83866225 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.896207804 -0.312166566 -0.315219935 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,0,8,1]]; -0.797637548 0.48037591 0.364709922 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.383375419 -0.888738772 -0.251329829 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.123265964 0.0349173398 -0.991759185 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,10,1,9],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[11,7,12,8],X[8,10,9,11]]; 0.224844592 -0.781635642 0.581799478 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.163006728 0.936835209 0.309465019 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.340999692 -0.133512885 -0.930533997 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[0,7,1,6],X[7,2,8,1],X[2,9,3,8],X[5,4,6,3],X[9,4,10,5]]; 0.448347099 -0.844117278 -0.294025338 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.78257894 0.469273143 0.409087912 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.330530064 0.826821634 -0.455099837 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.250262254 0.117139619 0.961065614 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; 0.507607677 -0.861234743 -0.0246812562 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.367692098 0.853128652 -0.37010002 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.846202118 -0.2418826 -0.474799729 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.206213979 -0.296528692 0.932494788 UNKNOWN - A^(-34) + A^(-30) - A^(-26) - A^(-24) + A^(-20) + A^(-18) + A^(-16) PD[X[11,1,12,0],X[9,15,10,14],X[13,2,14,1],X[3,16,4,15],X[6,17,7,16],X[7,5,8,4],X[8,3,9,2],X[17,6,18,5],X[10,13,11,12]]; -0.394690454 0.440867901 -0.806135807 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3],X[6,5,7,4],X[7,5,8,6]]; 0.354558368 -0.299698919 0.885702502 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.975060967 -0.0486177304 0.216546593 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.409888074 0.850055707 -0.330752266 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.498994445 -0.212792572 0.840073726 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.484672113 0.863475832 -0.139651102 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,12,1,13],X[6,2,7,1],X[2,6,3,5],X[8,4,9,3],X[4,10,5,9],X[7,10,8,11],X[13,11,14,12]]; -0.178047775 0.573884885 -0.799346689 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.954440563 -0.153591006 -0.255837868 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],X[10,8,11,9],X[11,10,12,9]]; 0.854216348 0.198421928 0.480565467 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[0,7,1,8]]; 0.724528964 -0.297215891 -0.621868551 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.188900238 0.3449045 -0.919433296 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[10,6,11,7],X[7,9,8,10],X[11,8,12,9]]; 0.0472016806 0.709176847 -0.703448791 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.740841792 -0.455041665 0.494055181 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.175760688 0.984058744 0.0271397959 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.941668097 -0.0543569104 -0.332124255 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.265932825 0.874203657 -0.406260629 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.0899540266 0.714610824 0.693714381 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.495350423 -0.687295923 0.531274198 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.0381240883 -0.475848493 -0.878700612 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0353268249 0.880137633 -0.473402326 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0609558289 -0.198084596 0.978287729 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[6,8,7,9],X[7,10,8,9]]; 0.335720833 0.678249705 0.653658061 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.280255071 -0.888012984 0.364540857 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.459304468 0.626906692 -0.629307084 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,10,1,11],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[11,9,12,10]]; -0.588865866 0.706954803 -0.391729367 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.883499845 -0.305637382 0.354984245 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.374091204 0.036767809 -0.926662775 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.534055793 0.141158962 -0.833581764 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.793300931 0.102345574 -0.600165824 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.0128910629 -0.999913281 0.0026928233 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.215157901 0.888350706 -0.405635428 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.398397316 -0.323416837 -0.858301304 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.574712373 0.812282652 -0.0995117165 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.346204906 0.891593988 0.291894371 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.315885709 -0.579178339 -0.751510925 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.565488084 0.464911497 0.681234561 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0640915442 -0.0142838051 -0.997841795 k3.2m*k3.1 - A^(-18) - A^(-16) + 2*A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 2*A^(-4) - A^(-2) - 1 + A^(4) PD[X[0,10,1,9],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[11,7,12,8],X[8,10,9,11]]; 0.0346040643 0.0814302549 0.996078146 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; 0.419133211 -0.905934839 -0.0600784468 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.661656177 0.579954239 -0.475251706 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.638180477 0.532547211 -0.555984844 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.658903614 0.581588782 0.47707496 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.323999886 -0.896377467 0.30254175 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.378083876 -0.63616639 -0.672565912 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.563962981 -0.341137356 0.752044587 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.303579608 -0.378842421 0.874252733 UNKNOWN - A^(-8) - 2*A^(-6) + 4*A^(-2) + 3 - 2*A^(2) - 2*A^(4) + 2*A^(6) + 2*A^(8) - 2*A^(10) - 2*A^(12) + A^(16) PD[X[8,0,9,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[7,9,8,10],X[10,14,11,15],X[13,11,14,12],X[12,15,13,16]]; -0.167143128 0.122336012 0.978313383 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.291283799 0.594478982 -0.749498825 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,8,1,9],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[9,7,10,8]]; 0.754412856 0.127179057 -0.643961746 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.00934443408 -0.352348255 0.935822306 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[6,9,7,8],X[7,9,8,10]]; 0.71911406 -0.618636235 -0.316487247 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.161268639 -0.788930361 -0.592942925 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.131193718 0.394198536 0.909612952 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0290034758 0.96750509 -0.251182601 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.955668611 -0.269454588 -0.118708597 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.791518344 0.531704129 0.301312844 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.625754373 -0.309483417 -0.715996843 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[2,7,3,6],X[7,4,8,3],X[4,9,5,8],X[0,10,1,9],X[10,2,11,1],X[11,6,12,5]]; 0.152490172 0.296931296 0.942644447 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6],X[10,13,11,12],X[11,13,12,14]]; -0.677100553 -0.158457898 0.718627815 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.47150935 0.614135565 -0.632863683 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,10,1,11],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[11,9,12,10]]; -0.975728487 -0.0957801725 0.196926582 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.200717997 -0.299185943 -0.932845141 UNKNOWN - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-10) - 2*A^(-8) + A^(-6) + 3*A^(-4) + A^(-2) - 1 - A^(2) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[6,5,7,4],X[10,12,11,13],X[13,11,14,12]]; 0.424023301 -0.100708802 0.900034431 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[4,1,5,0],X[1,6,2,5],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10],X[10,12,11,13],X[11,14,12,13]]; -0.127363583 -0.991833783 0.00665319618 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.212449844 -0.117400738 0.970093877 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6],X[10,12,11,13],X[11,14,12,13]]; 0.700013404 -0.604746711 -0.379819233 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.679470869 -0.623148637 0.387304937 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.934202877 -0.350302102 0.0674790516 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.535606861 -0.36363498 0.76216461 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.714636531 -0.00121644836 -0.699494924 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.903292371 -0.348266129 0.250546592 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.952010953 0.302219939 0.0483554872 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.201330277 0.174084714 0.963929786 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; 0.87263063 0.436659107 0.218734102 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[0,7,1,8]]; 0.670281753 -0.419711832 -0.612016625 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.73229536 -0.174441203 0.658265731 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1],X[4,6,5,7],X[5,8,6,7]]; 0.787482242 -0.61633338 -0.00220960611 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.0751102821 -0.989521792 -0.123308831 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.40400183 0.0497577677 -0.913403901 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.767104958 -0.0931251433 -0.634726469 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,3,6,2],X[3,7,4,6],X[7,0,8,1],X[1,5,2,4]]; -0.921610447 0.239272201 0.305586317 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.819623691 -0.235123151 -0.522430961 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.176658136 0.960867317 0.213367998 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.574748581 -0.772717233 0.269392179 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.808274744 -0.56535099 0.164530226 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.649781541 0.235312024 0.72278088 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.654416544 -0.253543747 0.712358445 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.710088063 -0.422211271 0.56348255 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0116882688 0.507699243 0.861455085 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.233706937 -0.962261709 0.139403987 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.243626886 0.969679367 -0.0191798359 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.154234608 -0.518707115 0.840924857 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.553543061 -0.810927888 -0.189699871 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.712703379 -0.560060444 0.422357896 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.88242775 -0.186506363 -0.43189888 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.176139752 0.788470555 0.589312287 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.691556105 -0.685005033 0.229168624 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.0580842241 -0.996453761 0.0608779457 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.656645604 0.0395656438 -0.753160747 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3],X[6,4,7,5],X[7,6,8,5]]; 0.84054847 -0.285168778 -0.460605077 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.0707526697 -0.780522989 -0.621110234 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.145264547 0.590383215 -0.793943241 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.843639169 -0.52246606 0.123701931 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.695584328 0.712449293 0.0926199057 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0693021739 -0.198556877 -0.977636116 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0595343779 -0.997829459 -0.0281429915 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.00945870238 0.58072325 -0.814046092 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.232107873 0.667107672 0.707879431 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.619020281 -0.760580571 -0.195783264 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.0186795188 0.229391626 -0.97315495 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.622033961 -0.781429241 -0.0494175307 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.102770358 0.929546562 -0.354092421 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.532251693 -0.74701201 0.398348078 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.848643338 0.00366798086 -0.528952768 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,6,9,7],X[9,8,10,7]]; 0.0710600296 0.0827130074 0.994036735 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; -0.29494466 -0.9216996 0.251947403 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.680793451 -0.669323883 -0.297532885 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.223797583 0.80866989 0.54402909 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.11169723 0.339255237 0.934039406 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.809793788 -0.439082088 -0.389154134 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.88435899 0.351789302 -0.306844365 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; 0.461954758 -0.80944969 0.362476208 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.882815471 -0.391713938 -0.259223907 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.443191575 0.287735161 -0.848993348 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,5,1,4],X[3,2,4,1],X[2,6,3,5]]; 0.140713395 0.165879001 -0.976055274 UNKNOWN - A^(-18) - 2*A^(-16) + 2*A^(-14) + 4*A^(-12) - 3*A^(-8) - A^(-6) + 3*A^(-4) - 2 - A^(2) + A^(4) + A^(6) PD[X[0,13,1,12],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[10,14,11,15],X[11,8,12,7],X[15,9,16,10],X[13,8,14,9]]; 0.618053717 0.745125926 -0.250593209 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,12,1,13],X[6,2,7,1],X[2,6,3,5],X[8,4,9,3],X[4,10,5,9],X[7,10,8,11],X[13,11,14,12]]; 0.741591644 -0.622567545 -0.249902953 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.00567308779 0.846887966 -0.531741092 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[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[11,10,12,9]]; -0.835534255 0.548690525 0.0286568799 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.785523195 0.153752933 0.599427515 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.463939768 -0.121762705 0.87745868 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.499178244 -0.859623492 0.108942794 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0601997757 0.278655048 -0.958502661 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.181435508 0.954383967 -0.237133717 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.143800245 0.833081592 -0.534131586 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.318342241 0.947973905 0.00192165049 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.279934137 -0.688267692 0.669271592 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[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[9,11,10,12]]; -0.866717427 0.249596319 -0.431859444 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.7715033 0.183014293 -0.609334413 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[7,3,8,2],X[3,9,4,8],X[6,9,7,10]]; -0.926921269 -0.279157684 0.250774695 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.653154983 -0.712200376 0.257214293 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[12,0,13,1],X[1,7,2,6],X[5,3,6,2],X[3,9,4,8],X[9,5,10,4],X[10,7,11,8],X[11,13,12,14]]; 0.249973716 0.865667755 0.43374241 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.451818645 0.423233383 -0.785323765 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3],X[6,5,7,4],X[7,5,8,6]]; -0.194459279 -0.96224331 0.190455774 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.812910542 0.433176227 0.389274719 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.370087309 0.916887315 -0.149509319 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.0868689718 0.415312073 -0.905521763 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[8,7,9,6],X[9,7,10,8]]; -0.220921678 0.975286871 -0.00302171847 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.536446287 0.658314087 -0.528060549 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.720104191 0.119327506 0.683528273 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.398124168 0.795494514 0.456821218 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.967929489 0.031541024 0.249234165 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.138000371 0.9040598 -0.404514247 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,9,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,8,10,7]]; -0.034956449 -0.814966225 0.578453195 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[8,4,9,3],X[5,3,6,2],X[4,8,5,7],X[1,7,2,6],X[9,12,10,11]]; 0.203749318 -0.516324492 0.831802401 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.412043524 0.395055361 -0.82106723 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3],X[6,5,7,4],X[7,5,8,6]]; -0.866255988 -0.267459905 0.421978392 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.270384799 0.94904683 -0.161870858 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.220489823 -0.157773141 -0.962544479 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.26254835 0.798383436 0.541896902 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.596125466 -0.652397957 -0.467986469 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.607702889 -0.731542835 0.309099141 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.0131257663 -0.877016597 -0.480280755 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.189048839 -0.0874202302 -0.978068627 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[6,5,7,4]]; 0.757892862 -0.624387648 0.189046222 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.947023377 -0.0570585024 0.316055455 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.136655004 0.965935545 -0.219758805 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.875525495 -0.308670341 -0.371722649 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; 0.401890116 0.586215342 0.703445739 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.404095738 -0.494774451 -0.769353545 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[0,7,1,6],X[7,2,8,1],X[2,9,3,8],X[5,4,6,3],X[9,4,10,5]]; -0.983939712 0.178267592 0.00912736868 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[2,8,3,7],X[8,4,9,3],X[9,6,10,7]]; -0.528403483 0.373966359 -0.762193494 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.431367585 0.218567573 0.875300076 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.000408024192 0.404838528 -0.914388101 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[8,7,9,6],X[9,7,10,8]]; 0.409051688 -0.851549971 0.32793195 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.315226016 0.773592907 -0.549714992 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.588513311 0.197428387 -0.784011553 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.668224045 -0.544196301 -0.507274099 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.696731339 -0.716877799 0.0255276584 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.144214609 -0.48483472 0.862634013 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1],X[4,7,5,6],X[5,7,6,8]]; -0.0411504196 0.900615505 0.432664252 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.300306204 -0.37974668 0.874990653 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.484854414 0.201751372 -0.851006804 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,5,1,4],X[3,2,4,1],X[2,6,3,5]]; -0.0509614405 -0.963753315 -0.26188257 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.874168891 0.150981738 0.461555267 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[0,7,1,8]]; -0.490543083 -0.871306279 0.0138871539 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.675986457 0.711475278 0.191951139 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[5,3,6,2],X[3,1,4,0]]; 0.435992876 0.357631336 -0.825838991 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,8,1,9],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[9,7,10,8]]; -0.334637339 -0.731545342 -0.594019582 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.827787858 0.52862622 0.18794037 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.542357044 0.572321959 0.615058056 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.888456919 0.332273234 0.31660512 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.626173041 0.685058622 -0.372292904 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.389244413 -0.856638655 -0.33861335 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.864520233 -0.16237219 -0.475646969 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.1865808 0.941056267 -0.282135972 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.403906238 -0.58265475 0.705246902 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[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[9,11,10,12]]; 0.358784679 -0.63143803 0.687429683 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.727476058 -0.673292593 0.132119904 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.039373135 0.96260288 -0.26804002 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.864843735 0.491157355 -0.103970028 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]];