#projection.x projection.y projection.z knotoid_type polynomial PD_code 0.097123437 0.0944703508 -0.990778679 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.658360363 0.728120768 0.190792505 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.826596922 -0.259548526 -0.499371696 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7]]; -0.905890135 0.163066041 0.390861266 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.819276367 -0.559274574 0.12648393 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.786815481 -0.533248484 0.310753042 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3],X[10,9,11,8],X[11,9,12,10]]; 0.155217158 -0.462853948 0.872739283 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.696953396 0.58501513 -0.414744814 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,11,9,10],X[9,11,10,12]]; 0.308355572 0.877856845 -0.366448088 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,11,1,10],X[3,2,4,1],X[2,12,3,11],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.806360573 -0.551321603 0.21407269 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.856565613 0.437123299 -0.274260045 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.674527631 -0.403408636 -0.618283064 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.714531662 0.631798204 0.300458871 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,2,5,1],X[5,10,6,9],X[2,7,3,6],X[7,4,8,3],X[8,1,9,0]]; 0.694375293 -0.583115931 0.421685622 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.506042769 -0.845772348 0.169085335 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[4,1,5,0],X[1,6,2,5],X[2,13,3,14],X[14,3,15,4],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11],X[15,13,16,12]]; -0.768040026 0.00623514107 -0.640371487 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.809001717 0.18953535 0.556410436 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.779182235 -0.223730776 -0.585507972 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.56776922 -0.139441901 0.811291606 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.661589698 -0.0284453862 -0.749326318 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.921486306 -0.38053345 0.0778285391 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.159745333 0.606422779 -0.778930576 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0290676769 -0.967160516 0.252498724 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[7,1,8,0],X[2,6,3,5]]; -0.100131079 -0.627601111 0.772069047 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.441989355 0.169790586 -0.8808045 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.00135431664 -0.45743254 -0.889243295 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.595554311 -0.766835728 -0.239328287 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.0351497305 -0.998870963 -0.0319577125 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.308868427 0.908093767 -0.282782611 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.937282943 0.344613414 -0.052366782 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[7,2,8,1],X[3,6,4,5],X[4,1,5,0],X[9,7,10,6],X[2,9,3,8]]; 0.382921087 0.307082181 0.871247367 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.326146619 0.869788308 0.370265692 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.121472144 0.316856255 0.940662868 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.429055962 -0.502162546 -0.750828715 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.441239913 0.395661538 -0.80545595 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.711339248 0.608519293 -0.351711167 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.412830256 -0.854911938 -0.314160403 UNKNOWN - A^(-18) + 2*A^(-14) + A^(-12) - 3*A^(-10) - 2*A^(-8) + 2*A^(-6) + 3*A^(-4) - 1 PD[X[0,9,1,10],X[13,2,14,3],X[5,12,6,11],X[3,2,4,1],X[8,11,9,10],X[12,7,13,6],X[7,5,8,4]]; 0.846744174 0.466243577 0.256205447 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; -0.603990945 -0.357486734 0.71231887 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.137882503 -0.419303924 0.897314122 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.914388386 -0.21307843 -0.344225889 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.195661858 -0.644434323 -0.739202842 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.929927909 -0.128772654 -0.344458543 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.562676758 -0.618122839 0.548925334 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,8,2,7],X[4,9,5,8],X[6,3,7,2],X[0,4,1,3],X[9,6,10,5]]; 0.564953091 0.725609125 -0.392835084 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.775406898 -0.382371159 -0.502530038 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.783165518 0.454853742 -0.423980949 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.97024163 0.0988789956 0.221029689 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,3,6,2],X[3,1,4,0],X[1,5,2,4]]; -0.721959101 0.480994122 -0.497413019 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.674372721 -0.628498747 -0.387570327 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0770339936 0.996887316 0.016776274 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.526343584 -0.470345399 0.708334411 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.41896012 0.892279818 0.168253213 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,8],X[1,7,2,6],X[2,16,3,17],X[3,6,4,5],X[4,17,5,18],X[7,15,8,16],X[9,13,10,12],X[13,11,14,10],X[11,15,12,14]]; 0.928883172 0.26321855 0.260561025 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.304987857 0.246776461 0.919828128 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.423177293 -0.0610492445 0.903987814 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.55052435 0.0455429413 0.8335759 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.973821409 -0.226226991 -0.022208361 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,6,3,5],X[0,4,1,3],X[4,2,5,1]]; 0.0975636545 -0.955002413 -0.280092351 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.0660583738 0.295580285 0.953031262 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.380089315 -0.877586866 -0.292187277 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.164378839 0.916623643 -0.364390854 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.421296992 0.605831496 0.674890393 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.164580671 -0.638288758 -0.751997782 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.937169705 0.344226429 -0.05675482 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.903034463 -0.302493565 -0.3050023 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.222903784 -0.906782938 0.357852773 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.829543516 0.480935078 -0.283829184 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[8,1,9,0],X[5,10,6,9],X[2,7,3,6],X[4,2,5,1],X[7,4,8,3]]; 0.304618217 0.942649368 0.136454791 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[1,4,2,3],X[2,15,3,16],X[4,14,5,15],X[6,10,7,9],X[7,13,8,12],X[11,9,12,8],X[10,14,11,13]]; 0.86822776 0.489690188 -0.0799004142 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,10,6,9],X[3,1,4,0],X[2,7,3,6],X[8,5,9,4],X[7,2,8,1]]; -0.907678431 0.113196754 -0.404111818 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.910356088 -0.107490102 -0.39962191 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.611445607 0.462942894 0.641730587 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.588457616 -0.0699383468 0.805497524 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.226248976 0.838700049 0.495372213 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[4,12,5,11],X[5,9,6,8],X[9,7,10,6],X[7,11,8,10]]; 0.0728312658 0.39709792 -0.914881877 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0629988536 0.993664678 -0.0930679962 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7]]; -0.275054344 0.945739035 0.172982037 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.978302533 0.204645195 -0.0323187006 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; -0.261699574 0.964677948 0.0301627112 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.312542799 0.860246333 0.402856358 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,9,2,10],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.609436969 -0.0351458885 -0.792055142 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.684665232 0.625423294 -0.374271591 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.815189393 0.400921521 0.41800501 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.923958054 0.255838811 0.284337858 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.842528916 -0.533587943 0.0736812972 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.448568792 -0.621191283 -0.642578734 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.0771551006 0.182439127 -0.980185215 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0736235336 -0.865102085 -0.496163237 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.97708061 -0.191150169 -0.0936754793 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[9,4,10,3],X[1,8,2,7],X[5,9,6,8],X[0,5,1,4],X[6,3,7,2]]; -0.609881604 -0.473737525 0.635308733 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.00465825623 -0.996405156 0.0845876257 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; 0.663834177 0.732867899 0.149093352 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[7,4,8,3],X[4,9,5,8],X[2,7,3,6],X[5,1,6,0],X[9,2,10,1]]; -0.0922127182 -0.511860589 0.854105118 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0813118415 0.753168082 0.652783444 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.52068856 -0.517686871 -0.678884178 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.302268349 0.898672607 0.317838623 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,8],X[1,7,2,6],X[2,5,3,4],X[3,17,4,18],X[5,16,6,17],X[7,15,8,16],X[9,13,10,12],X[13,11,14,10],X[11,15,12,14]]; 0.38275291 -0.58353493 -0.716231245 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0651754237 -0.759822048 0.64685595 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.7674181 0.184065472 -0.614157441 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.148921706 0.196902069 0.969046903 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.368629134 -0.0291523885 -0.929119314 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.706748566 -0.489236221 0.511032665 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.167066731 -0.853494469 0.493594872 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.18272593 0.322728004 0.928686099 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.186009396 0.0504914704 -0.981249772 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.341158701 -0.939421757 0.0331285959 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.768092624 0.225546823 0.599301553 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0429290694 0.247900549 0.967833877 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.223621952 -0.516921275 0.826308428 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.942649313 0.323498042 0.0822270601 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,2,5,1],X[8,3,9,2],X[9,7,10,6],X[10,1,11,0],X[5,12,6,11],X[3,8,4,7]]; -0.207712914 -0.967486515 0.14430935 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[7,3,8,2],X[8,6,9,5],X[3,7,4,6],X[4,2,5,1]]; -0.772485505 -0.529704044 0.350256721 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3],X[10,9,11,8],X[11,9,12,10]]; 0.710002527 -0.665322823 -0.230742176 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.670760383 -0.533507863 0.515218272 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.536854078 0.0911486533 -0.838736921 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0774173058 0.414574892 -0.906716174 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.774043635 0.607655647 -0.17779501 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.639479278 0.750026429 0.168898219 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.624414069 -0.51723293 0.58530092 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.04268178 0.994041339 -0.100299964 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.579388768 -0.791140643 0.195972288 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.217471881 -0.119551202 -0.968717447 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.12811858 -0.960488215 -0.24707897 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[11,1,12,2],X[6,4,7,3],X[9,5,10,4],X[5,9,6,8],X[10,8,11,7]]; -0.826633796 -0.0972632213 -0.554271083 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.103258687 -0.118347698 0.987588713 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.408235279 -0.9073758 -0.100065554 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[3,2,4,1],X[13,2,14,3],X[12,4,13,5],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.688586103 0.5653265 -0.454153198 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,11,9,10],X[9,11,10,12]]; -0.457430087 -0.800766975 0.38669105 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7],X[10,9,11,8],X[11,9,12,10]]; -0.933805167 -0.0407170553 -0.355457496 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.247558591 -0.878173034 -0.40930046 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.188783306 0.739900364 0.645684377 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.618571876 -0.215769606 0.755521218 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.188265778 -0.741354431 0.644165821 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.122241185 -0.869611894 -0.478364137 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0795288023 -0.119023948 0.989701202 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.855009081 -0.250416992 -0.454148435 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7]]; -0.471423989 -0.875773383 0.103828724 UNKNOWN - A^(-24) - A^(-22) + 2*A^(-20) + 3*A^(-18) - A^(-16) - 3*A^(-14) + 2*A^(-10) - 2*A^(-6) + A^(-2) + 1 PD[X[0,14,1,13],X[12,10,13,9],X[4,3,5,2],X[15,3,16,4],X[14,5,15,6],X[6,2,7,1],X[10,8,11,7],X[8,12,9,11]]; 0.737992789 0.12397091 0.663323342 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; -0.271640567 -0.32721705 -0.905063757 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.917174617 0.284128315 -0.279395461 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[8,6,9,5],X[7,2,8,1],X[3,10,4,9],X[2,7,3,6]]; -0.667346054 -0.501317218 -0.550754293 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,4,1,3],X[5,2,6,1],X[2,7,3,6],X[7,5,8,4]]; -0.950608604 0.0962943297 0.295077421 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0439921236 -0.899484428 -0.434732626 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; 0.224100982 -0.97072034 0.0864914567 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.489963303 -0.834361092 0.252542134 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.0799284353 -0.9949664 0.0604426088 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[7,5,8,4],X[2,6,3,5],X[3,1,4,0]]; 0.045985631 0.680107711 0.73166852 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.17534183 -0.33181761 -0.926904697 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.689182607 0.70873706 0.150728611 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.808492225 0.512837404 0.288683424 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.889721627 -0.268539061 0.369164189 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.873709948 -0.154914157 0.461120951 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.624057885 -0.571087958 -0.533301322 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.11285833 0.270060175 -0.956206306 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.190891469 -0.361311116 0.912696403 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.834475378 0.104162739 -0.541110864 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.437683946 0.837813474 0.32634544 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.798771135 -0.592735749 0.103097074 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.905082105 0.113344891 -0.4098528 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.474462485 0.850746422 0.226088206 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.758170573 -0.256546498 -0.599467494 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.534422214 0.843854895 0.0479772189 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.710824234 0.502246151 -0.49242026 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.612515039 -0.483883365 -0.62504577 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.830036093 0.216701762 -0.513887566 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.918581865 0.0371317464 -0.393482643 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.876935065 0.439422996 0.194659504 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.506090746 -0.578315729 0.639861762 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.31402005 0.932939951 0.176109219 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[1,4,2,3],X[2,15,3,16],X[4,14,5,15],X[9,13,10,12],X[6,14,7,13],X[11,9,12,8],X[7,11,8,10]]; -0.794279919 -0.375539749 -0.477586963 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.639340031 0.250822904 -0.726864634 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.263474317 -0.964632552 0.00808238238 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[11,1,12,2],X[7,5,8,4],X[9,7,10,6],X[5,9,6,8],X[10,4,11,3]]; -0.90445346 0.121234724 0.408981761 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.826964223 0.490142648 -0.275482049 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.418051997 -0.898016941 -0.13710617 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[3,2,4,1],X[13,2,14,3],X[12,4,13,5],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.33875925 -0.824940019 0.452455672 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],X[10,9,11,8],X[11,9,12,10]]; -0.809447011 -0.570686613 0.138247341 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.477729753 0.753903371 0.451003315 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.770419849 -0.491062792 -0.406584051 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.984441959 0.0179232305 -0.174793558 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.780540409 0.344732644 -0.521455726 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.251229106 0.590855638 -0.76666391 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.456467286 -0.260868402 0.850638168 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.235117855 -0.940608786 0.244897338 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[9,7,10,6],X[1,4,2,3],X[11,3,12,2],X[7,5,8,4],X[5,9,6,8],X[10,1,11,0]]; -0.339000711 0.538033238 -0.771750447 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.0339962616 0.762291733 -0.646340134 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.645427428 -0.476880485 0.596664427 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.11676785 -0.108468092 0.987218285 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0897565888 -0.286533504 -0.953856544 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.49970892 -0.861179794 -0.0930610481 UNKNOWN - A^(-24) - A^(-22) + 2*A^(-20) + 3*A^(-18) - A^(-16) - 3*A^(-14) + 2*A^(-10) - 2*A^(-6) + A^(-2) + 1 PD[X[0,8,1,7],X[6,2,7,1],X[4,3,5,2],X[15,3,16,4],X[14,5,15,6],X[11,9,12,8],X[9,13,10,12],X[13,11,14,10]]; 0.233500782 0.786382114 -0.571909569 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.92502268 0.217558466 0.311450406 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[7,5,8,4],X[2,6,3,5],X[3,1,4,0]]; -0.669194489 -0.268035691 0.693062482 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.287571215 0.855001943 0.431595267 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.994170516 0.102438909 0.0336341485 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.302037274 -0.699058437 -0.64814411 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.721437503 0.643095397 0.256819469 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.822287245 -0.362987234 0.438273835 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.260025042 0.404224031 0.876920698 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.402187491 0.903190273 -0.149975171 UNKNOWN - A^(-22) + 2*A^(-18) + 2*A^(-16) - A^(-14) - 3*A^(-12) - 2*A^(-10) + A^(-8) + 2*A^(-6) + A^(-4) PD[X[14,1,15,0],X[8,2,9,1],X[3,6,4,5],X[9,13,10,12],X[6,18,7,19],X[2,8,3,7],X[4,19,5,20],X[15,12,16,11],X[13,18,14,17],X[10,17,11,16]]; 0.440381205 0.332877381 0.83382075 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.645973319 0.183907908 0.740875396 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.789926454 0.199258772 0.579924253 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.119477117 -0.363216188 0.924012565 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.237078022 0.497852883 -0.834228097 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.541104391 -0.126265251 -0.83142235 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.327697664 -0.941844547 0.0744519336 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.236895615 0.368607971 0.898893003 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.264210173 -0.937039409 -0.228364029 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.828536723 -0.547868484 0.115615848 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.839475004 0.481810605 -0.251277257 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.785798964 0.561658625 0.258958639 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.248814467 -0.962525419 0.107871122 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.654977627 -0.382472119 0.651704984 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.148154498 0.661802138 -0.734893308 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.41336928 0.658174705 -0.629231194 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.808753491 0.392378947 -0.438128466 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.497142291 -0.481424037 -0.721859016 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.876706237 -0.18965464 -0.44206028 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.532934582 -0.0580874121 0.844160283 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.826017021 0.320124197 -0.463914195 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.823703324 0.274818154 0.495971589 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.411108379 0.785729914 0.462188709 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2]]; -0.600074521 0.165523999 -0.782631699 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.165765698 -0.362212672 -0.917237 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.24600954 0.830213188 0.500225319 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.920926705 0.307922762 0.238909139 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.209182424 -0.310496107 -0.927272819 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.387224225 0.49734075 0.776343724 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.527495936 0.355626458 0.771542519 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.440798827 0.422900046 0.791739822 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.759813328 -0.453001225 -0.466340644 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0471930632 0.946099623 -0.320418972 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.528279731 0.39626806 -0.750927527 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.222254571 -0.886504867 -0.405847294 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.474579988 -0.870595642 0.129757711 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.613981344 -0.679357215 0.401871476 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0359046322 0.285415947 0.957730961 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.35364363 -0.876506398 -0.326607895 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.999490277 0.00517665711 -0.0315021863 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.859080445 0.49684443 0.122989437 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.679882587 -0.349328167 0.644770889 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.990515768 0.0866247577 -0.106652069 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.734727881 -0.103729331 0.670384343 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.376928074 -0.235850721 -0.89571182 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.878451676 -0.474444779 0.0567873674 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[9,6,10,5],X[4,9,5,8],X[6,3,7,2],X[1,8,2,7],X[0,4,1,3]]; -0.53341148 -0.838310425 -0.112728989 UNKNOWN - A^(-20) - A^(-18) + 2*A^(-16) + 3*A^(-14) - 4*A^(-10) - 2*A^(-8) + 2*A^(-6) + 2*A^(-4) PD[X[1,11,2,12],X[5,13,6,12],X[10,8,11,7],X[15,3,16,4],X[4,3,5,2],X[0,7,1,6],X[14,9,15,8],X[9,14,10,13]]; 0.915342241 0.370396219 -0.157972222 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[3,8,4,7],X[4,1,5,0],X[1,6,2,5],X[6,3,7,2]]; -0.125950232 -0.939963347 -0.317183614 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[11,1,12,2],X[2,1,3,0],X[7,5,8,4],X[9,7,10,6],X[5,9,6,8],X[10,4,11,3]]; 0.994390235 -0.0194050549 -0.103978383 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.463553687 -0.0127332279 -0.885977339 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.290822034 -0.456937659 0.840613181 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.643877627 -0.301013258 -0.703429186 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.125150966 -0.152781534 -0.980303544 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0885877894 0.976941597 -0.194260958 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.87906372 -0.456410183 0.13761076 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[3,8,4,7],X[6,3,7,2],X[8,5,9,4],X[1,10,2,9]]; 0.519888846 0.4661757 0.715818276 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.293052658 0.934795425 -0.200692931 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,2,4,1],X[6,10,7,9],X[2,12,3,11],X[4,8,5,7],X[8,6,9,5],X[0,11,1,10]]; -0.142205834 0.92033863 -0.364354644 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.313372292 -0.931182735 -0.186270021 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.173569197 0.949529941 -0.261278826 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.491936753 0.859942976 -0.136001133 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.162921984 0.169942237 -0.971893031 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0555044865 0.0983655721 -0.993601261 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.520266502 0.743230872 -0.420631237 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1],X[8,11,9,10],X[9,11,10,12]]; -0.136340538 -0.529990589 -0.836971465 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.802019279 -0.413962846 0.430580815 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.0788621488 -0.125493614 0.988955062 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.567288163 0.257156996 0.782339069 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.796078105 0.000100271807 -0.605193887 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.689522353 0.132070659 -0.712120963 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.386784272 -0.863024349 0.324941381 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.288977911 0.655786797 -0.697449241 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.647751862 -0.351625619 0.675852757 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.244605394 -0.0602645469 -0.9677481 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.20223323 -0.592628097 -0.779675355 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.393107496 -0.865834388 -0.309511404 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.216757798 0.584772793 0.781701245 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0622628762 0.998056546 -0.00254255487 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.956172539 0.281280119 -0.081336156 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.448750618 -0.342245523 0.825524612 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.50916666 -0.315821495 0.800628562 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.795959856 -0.244261544 0.55388104 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.35997788 -0.568962446 -0.73939006 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.115774273 -0.336985839 0.934364416 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.242675963 -0.937788069 -0.24831817 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[14,1,15,2],X[4,3,5,2],X[15,3,16,4],X[13,11,14,10],X[9,7,10,6],X[8,12,9,11],X[12,8,13,7]]; 0.86650754 0.219893204 0.448120142 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[11,2,12,1],X[5,3,6,2],X[3,7,4,6],X[7,5,8,4],X[10,8,11,9]]; -0.675725174 0.44074036 -0.590883596 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0978869607 0.503013104 -0.858717625 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.211421609 -0.225649908 0.950990548 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.34537506 -0.927357186 0.14396082 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.886535738 -0.449801757 -0.10831789 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.163080552 0.984776236 0.0601705713 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.391850861 0.88561714 0.2492693 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.771655853 0.409829997 -0.486401704 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.79104063 -0.386615178 -0.474113305 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.793938388 0.503286359 0.341122671 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.540265717 -0.813208413 -0.216344706 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.905359447 -0.0272141287 -0.423773127 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.523837828 -0.788605401 -0.322017781 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.446384645 -0.0457843422 0.893669146 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.151419032 -0.766000568 0.624752276 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.124567371 -0.992182601 0.00752699841 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.103486147 -0.00257677416 0.994627557 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.615491337 -0.74316189 0.262451557 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[10,9,11,8],X[11,9,12,10]]; -0.184075198 -0.371915215 0.909832619 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.26623367 0.854619094 0.445809193 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.658308976 -0.575428076 -0.485295602 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.366146796 -0.0526015142 -0.929069214 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.806171818 -0.0780673253 0.586508732 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.921243444 0.182377473 0.343582559 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.551206347 -0.776518898 -0.305270314 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.137312247 0.752428052 0.644202898 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.687940469 -0.0707591716 -0.722309525 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.48693796 0.0940218927 -0.868361277 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.924668865 0.347321928 0.156060786 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.136112368 0.384060186 -0.913220235 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.303315161 0.929631229 0.209250307 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.572561219 -0.467000124 -0.673857949 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.156707759 -0.953562185 -0.257219436 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.736852402 -0.0822300726 0.671034092 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,9,1,8],X[6,3,7,2],X[1,6,2,5],X[4,8,5,7],X[9,4,10,3]]; 0.131582084 0.97845938 0.159070414 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.325091691 -0.278656125 0.903695832 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.476235546 -0.736266002 0.480741177 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7],X[10,9,11,8],X[11,9,12,10]]; 0.21142961 -0.966765234 0.143744571 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.244194997 0.410294667 0.878650721 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.452213712 0.847579619 0.277689663 UNKNOWN - A^(-18) + 2*A^(-14) + A^(-12) - 3*A^(-10) - 2*A^(-8) + 2*A^(-6) + 3*A^(-4) - 1 PD[X[10,5,11,4],X[5,9,6,8],X[2,13,3,14],X[1,4,2,3],X[11,8,12,7],X[6,13,7,12],X[9,0,10,1]]; -0.557204291 0.598013263 -0.576110679 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.4159964 0.376929993 -0.827569197 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.960317192 -0.277204129 0.0308019775 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,4,6,3],X[0,5,1,4],X[6,10,7,9],X[1,8,2,7],X[8,3,9,2]]; 0.719968014 0.691318048 -0.0610361835 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.188350132 -0.581853011 -0.791183481 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.170633983 0.544336259 -0.82132946 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.892461672 0.262297966 0.367031254 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; 0.725778993 -0.687891348 0.0070955134 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.832366833 -0.173219441 -0.526460332 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7]]; -0.872907286 0.0948768062 -0.478572107 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.339835059 0.866319889 -0.366062813 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.69075274 0.611077811 0.386580601 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[3,1,4,0],X[7,2,8,1],X[2,7,3,6],X[4,10,5,9],X[8,6,9,5]]; -0.284801337 0.427412421 0.858024953 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0984653314 0.956923173 -0.2731348 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.230468099 0.0630836182 -0.97103291 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.276494146 -0.480357592 -0.83235063 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.174384737 -0.189571261 0.966257057 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.646785601 0.334546398 -0.685380984 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0908903498 -0.0931504479 -0.9914948 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.962957372 -0.264314578 0.0533938576 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.459443698 0.764370989 0.452380901 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.652660949 -0.139602932 0.744677586 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.785109126 -0.268162407 -0.558294353 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0306971079 0.194185414 -0.980484427 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0556505748 -0.693103344 -0.718686836 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.396786718 -0.177626589 0.900560434 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.797121916 -0.487720608 -0.355984915 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.403101207 -0.592480976 -0.697478107 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.846587507 -0.531643411 0.0253944276 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[9,6,10,5],X[3,8,4,7],X[6,3,7,2],X[1,5,2,4],X[0,9,1,8]]; 0.24138064 0.0867592116 -0.966544477 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.190894807 0.134964902 -0.972287842 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.243136405 -0.256747528 0.935395849 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.926765824 -0.189566427 -0.324298746 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7]]; 0.0979999769 0.232525668 0.967640335 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.353049507 0.0301364202 -0.935119159 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.109513106 -0.0601080501 -0.992166267 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0325815659 -0.900830715 -0.432946261 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.767067605 -0.639892135 -0.0463178661 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.302020254 -0.00147405013 0.953300369 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.490395684 -0.120252971 0.86316354 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.45167987 0.830663066 0.325552093 UNKNOWN - A^(-18) + 2*A^(-14) + A^(-12) - 3*A^(-10) - 2*A^(-8) + 2*A^(-6) + 3*A^(-4) - 1 PD[X[9,4,10,3],X[10,1,11,2],X[2,13,3,14],X[11,8,12,7],X[5,9,6,8],X[6,13,7,12],X[0,5,1,4]]; 0.308210318 -0.924912509 0.222583133 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.916477051 -0.18706445 0.353661854 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.277037167 -0.817487099 0.504940839 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.599419895 -0.351661678 0.71904788 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.987606997 -0.0554518647 0.146824761 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.926155844 0.158930099 -0.342018385 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.579209925 -0.815075824 -0.0129330647 UNKNOWN - A^(-22) + 2*A^(-18) + 2*A^(-16) - A^(-14) - 3*A^(-12) - 2*A^(-10) + A^(-8) + 2*A^(-6) + A^(-4) PD[X[15,12,16,11],X[0,15,1,14],X[7,3,8,2],X[16,3,17,4],X[6,5,7,4],X[17,5,18,6],X[1,11,2,10],X[12,9,13,8],X[9,14,10,13]]; -0.288162975 -0.710658793 0.641814756 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.679234879 0.732557202 -0.0447205221 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.444109296 -0.524392008 0.726484656 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,9,5,8],X[9,6,10,5],X[6,3,7,2],X[0,4,1,3],X[1,8,2,7]]; 0.728307311 -0.648590056 -0.221132089 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.927888123 0.0410152165 -0.370595983 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.684586302 -0.287421173 0.669873618 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.484602097 -0.867661782 0.111012791 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.94506341 0.0523050617 0.322675273 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.240469431 0.906435225 0.347202585 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.888360798 -0.0132507941 0.4589548 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.693025664 -0.313535744 0.649161587 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.279968631 0.854503879 0.437539355 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,9,2,10],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.809267788 -0.44806245 0.379902208 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.814913492 -0.0751393413 -0.574691291 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.0977232705 -0.904761844 -0.414555386 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.358398824 -0.371161772 0.856614979 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.740919502 0.13799617 0.65726353 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.567696738 0.813249049 0.127853028 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.906367952 0.39551132 -0.148552794 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[8,5,9,4],X[3,1,4,0],X[2,7,3,6],X[7,2,8,1],X[5,10,6,9]]; 0.50510903 -0.155510588 -0.848929517 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.804203036 0.475510033 0.356577741 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.172445932 0.672678054 -0.71956003 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.266344338 0.467699356 0.842803658 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0785381339 0.907570092 -0.412490351 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.844387678 0.518658592 0.13417419 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[7,2,8,1],X[3,1,4,0],X[2,7,3,6],X[5,10,6,9],X[8,5,9,4]]; -0.709225854 0.632808152 -0.310729031 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.489916191 -0.175106512 -0.854002245 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.366959021 -0.576071041 0.730399365 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.278827815 0.400436716 -0.872871976 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.749564804 -0.341004141 -0.567334804 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.266701424 -0.848320789 0.457408122 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.877659428 0.42643192 0.218791557 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[2,7,3,6],X[7,2,8,1],X[8,6,9,5],X[3,10,4,9]]; -0.332004099 -0.776376162 -0.535736253 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.853170758 0.520236501 0.0381266433 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.301163197 0.941090224 0.153785301 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[1,4,2,3],X[2,15,3,16],X[4,14,5,15],X[10,14,11,13],X[6,10,7,9],X[11,9,12,8],X[7,13,8,12]]; 0.574663434 -0.813335297 -0.0908164736 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.259501934 -0.521456387 -0.812860371 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.751447105 -0.398745889 -0.525670015 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.364946701 -0.599011965 0.712740185 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0977112284 -0.989796624 0.10370708 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.86015166 0.00779602454 0.509978768 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[7,5,8,4],X[2,6,3,5],X[3,1,4,0]]; 0.596804251 0.634085167 0.491691659 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[3,1,4,0],X[7,2,8,1],X[2,7,3,6],X[4,10,5,9],X[8,6,9,5]]; -0.730098161 0.634116425 -0.25466259 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.818273384 0.183062351 -0.544900766 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.335648348 -0.791946816 0.510059238 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.384978705 -0.73159314 -0.562639204 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[2,5,3,4],X[5,2,6,1]]; 0.406221437 0.795672883 -0.449320383 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[8,11,9,10],X[9,11,10,12]]; -0.502069781 -0.161367716 -0.849638979 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.876282722 -0.344222444 0.337104582 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.864672061 -0.297296596 0.404915992 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0953686066 0.954313939 -0.283177922 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.977171212 0.209205684 -0.0370054566 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.540440868 0.840478746 -0.0389762213 UNKNOWN - A^(-22) + 2*A^(-18) + 2*A^(-16) - A^(-14) - 3*A^(-12) - 2*A^(-10) + A^(-8) + 2*A^(-6) + A^(-4) PD[X[8,13,9,12],X[2,8,3,7],X[3,6,4,5],X[4,17,5,18],X[6,16,7,17],X[14,1,15,0],X[11,16,12,15],X[10,2,11,1],X[13,10,14,9]]; -0.277139553 -0.951252156 -0.135325548 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[3,2,4,1],X[15,2,16,3],X[14,4,15,5],X[13,7,14,6],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; -0.112176696 -0.335698642 -0.935266171 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.125662663 0.0192710627 -0.991885841 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.109690166 0.362479839 -0.925514146 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0795614069 0.807547362 -0.584411876 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.808067691 -0.583025013 -0.0843115672 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.71554522 0.384853083 0.582994976 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.882328977 -0.340968336 -0.324401249 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.791027916 -0.599506472 -0.121929596 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.67965048 -0.0124840714 0.733429869 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.89610438 0.40169275 -0.188785264 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,10,6,9],X[3,1,4,0],X[2,7,3,6],X[8,5,9,4],X[7,2,8,1]]; 0.020099689 -0.358779173 -0.933206037 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.950819027 0.130852289 0.280750525 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.336760305 -0.938608643 -0.0748753138 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0731736974 -0.699848425 -0.710533456 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.552063067 -0.740376756 -0.383495278 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.941644412 -0.039261186 -0.334311771 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.717708259 0.659606131 -0.223191862 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.892322589 -0.275538691 -0.35754556 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.685476679 -0.727633237 -0.0259151449 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.825089507 0.201695291 0.527774872 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.743248026 0.000167199073 -0.669015952 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.196316112 0.717283229 -0.668554226 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.975780884 -0.118399942 0.183937815 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,3,6,2],X[3,1,4,0],X[1,5,2,4]]; -0.410254646 -0.824826775 0.389039738 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.274209172 -0.588188843 -0.760817465 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.538773643 -0.158414036 -0.827422477 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.782792322 -0.563654854 -0.263684254 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[7,4,8,3],X[0,5,1,4],X[5,2,6,1],X[2,7,3,6]]; -0.423120552 0.266691914 -0.865935576 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.130963174 -0.702565029 0.699464815 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.658796414 0.562610947 0.499455911 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[3,1,4,0],X[7,2,8,1],X[2,7,3,6],X[4,10,5,9],X[8,6,9,5]]; -0.550950232 0.806860336 0.213143706 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.57222734 -0.753570477 0.323554335 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.34423522 -0.0242047935 0.938571383 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.158817128 -0.65069445 -0.742545522 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.760595419 -0.100441787 -0.641409429 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.795936378 -0.157847834 0.584439341 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.880887693 0.453317631 0.136161659 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.806666066 -0.274626156 0.52332622 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.349855153 0.0304690272 0.936308181 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.31379939 0.928542871 -0.198338296 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0871050424 -0.983591249 -0.157990398 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.708423891 0.357428383 -0.608588976 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.870345438 0.348740797 0.347676107 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; -0.253582008 0.923554126 -0.287652466 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.266182897 0.91458509 -0.30443518 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[6,10,7,9],X[3,2,4,1],X[2,12,3,11],X[4,8,5,7],X[8,6,9,5],X[0,11,1,10]]; -0.523727153 -0.541248256 0.657845114 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,10,2,9],X[3,8,4,7],X[6,3,7,2],X[0,6,1,5],X[8,5,9,4]]; 0.506537571 -0.43446586 0.744754393 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.114226265 0.986505508 -0.1172998 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.714330325 -0.0413733653 0.698584592 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.175433873 -0.0387794026 -0.983727154 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.227272986 0.945117113 0.234735239 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.629657884 -0.0315919308 -0.776229927 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.716216269 -0.17726671 0.674989459 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.886531794 0.235569227 -0.398206627 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.658069275 0.0510682654 0.751223577 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.108747921 0.489042528 -0.865454386 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.318800597 -0.946898275 0.041831051 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.965743494 -0.19868439 0.166925181 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,3,6,2],X[3,1,4,0],X[1,5,2,4]]; 0.181911642 -0.412419967 0.892646585 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.225559725 0.806313648 0.546791653 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.402304409 -0.849575457 -0.34113444 UNKNOWN - A^(-18) + 2*A^(-14) + A^(-12) - 3*A^(-10) - 2*A^(-8) + 2*A^(-6) + 3*A^(-4) - 1 PD[X[8,6,9,5],X[3,10,4,9],X[13,2,14,3],X[4,1,5,0],X[1,10,2,11],X[7,12,8,11],X[12,7,13,6]]; 0.547887776 -0.606217549 0.576471394 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.745949081 -0.653851969 -0.126639538 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.182945833 -0.416086171 -0.890731789 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.886244527 -0.459283656 -0.0602425281 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.845031008 0.306859938 0.437903612 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.160982792 -0.899085613 0.407099006 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.973756585 0.210852971 -0.0856687729 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.560446462 0.801574673 0.208273396 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.632952733 0.177905138 0.753472362 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.746008275 0.212654464 0.631070307 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; -0.28860718 0.554697387 -0.780395223 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.801719225 0.542938847 -0.249927375 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.836683737 -0.505552329 0.210658885 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.984341557 -0.0532827276 0.168025741 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.472756315 0.380112202 -0.794994453 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.280852968 -0.213502334 -0.93570207 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.893841148 0.375280133 0.245383013 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.992649127 -0.0661279926 -0.101364684 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.956572168 -0.108270805 0.270642051 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; 0.591767725 -0.514164734 -0.620842641 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.601915768 -0.230639272 0.764527916 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0772526541 -0.734385474 -0.674321884 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.782292326 0.0219198885 -0.622525691 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.860568712 -0.493652933 0.125412415 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.646104618 0.757377483 -0.0944889998 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.138581403 0.733257881 -0.665678658 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.980982072 0.0335365866 -0.19117916 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.52058574 -0.712135859 0.471012746 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.94943685 0.276444056 -0.148823224 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[2,7,3,6],X[5,2,6,1],X[8,1,9,0],X[7,5,8,4],X[3,10,4,9]]; 0.921726906 0.220521779 -0.319044912 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[2,9,3,8],X[7,2,8,1],X[4,1,5,0],X[9,7,10,6],X[3,6,4,5]]; 0.105588557 0.591592488 -0.799293053 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.330280311 -0.425657257 0.842455231 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.983404131 -0.0158927858 -0.180731112 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.509100728 0.841227961 0.182076816 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.264493004 0.298767826 0.916941239 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.790680562 0.607746196 0.0739514027 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.46996176 0.654992339 0.591710216 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.855215019 -0.517055066 0.0355152083 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[3,8,4,7],X[1,5,2,4],X[6,3,7,2],X[9,6,10,5],X[0,9,1,8]]; 0.37366452 -0.815146681 0.442618024 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.630890755 0.3158877 -0.708654935 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.30119855 -0.762289931 0.572881745 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[7,5,8,4],X[2,6,3,5],X[3,1,4,0]]; -0.447101969 0.574375731 -0.685705731 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.132015539 0.971215519 0.198273332 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.551415527 -0.0142156437 -0.834109604 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.849852048 -0.164019915 -0.500848245 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.558603881 0.444194313 -0.700466357 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.971195788 0.199593806 -0.130157805 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,7,5,6],X[7,2,8,1],X[5,1,6,0],X[10,3,11,2],X[11,9,12,8],X[3,10,4,9]]; -0.130991823 0.729228273 0.671615417 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7]]; -0.544968638 -0.215478984 -0.810295003 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.243245608 0.939968881 0.239353457 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.333520887 -0.392413538 -0.85719043 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.868953184 0.0792187368 -0.488512799 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.973137688 -0.0910592135 -0.211450374 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.064490675 0.945607827 0.318852301 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.635579491 0.768906156 -0.0694408705 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.933100835 0.324825053 0.154309808 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,2,6,1],X[3,10,4,9],X[8,1,9,0],X[7,5,8,4],X[2,7,3,6]]; -0.862138074 -0.271868963 0.427557258 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.18829972 -0.91556198 0.355372308 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.889298519 -0.412804977 0.196825288 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0430134537 -0.293415134 0.955016964 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.986959954 0.0248505069 -0.159036161 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.106618518 0.986365446 -0.12536227 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.319792529 0.217048297 0.922292131 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.628238049 0.136103409 -0.766024031 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.332713004 -0.913232292 -0.23517831 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[9,1,10,2],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; 0.589433271 0.806087601 -0.0528318039 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.220256136 0.871631535 0.437887773 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.988534887 -0.0170990559 0.150021329 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,3,6,2],X[3,1,4,0],X[1,5,2,4]]; -0.546898472 -0.325660265 0.771263543 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.581807135 -0.0664487897 -0.810607806 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7]]; 0.921545383 0.118735134 -0.369670225 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.751719581 0.633072064 0.184763181 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.332294141 0.820091274 0.465865759 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.772700707 0.561564111 -0.295938114 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.804040555 -0.363442059 -0.470562065 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.548715859 -0.81781341 0.173470839 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.080436785 0.412634063 -0.907338445 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.441830159 -0.126754935 0.888098698 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0241557904 0.110978645 -0.993529183 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.583065012 -0.106120178 -0.805464896 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.210191159 0.486406267 0.848073476 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.358543957 0.706035592 0.61070449 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[4,3,5,2],X[1,6,2,5],X[0,4,1,3]]; 0.462140081 -0.869553871 -0.174076452 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.825869282 -0.527173176 -0.200070915 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[8,12,9,11],X[6,5,7,4],X[2,11,3,10],X[0,6,1,5],X[9,4,10,3],X[1,8,2,7]]; -0.510699058 -0.241139279 -0.825250459 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.514743519 0.494567858 -0.70031546 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.734648378 -0.306277498 0.605380752 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.195688109 -0.161420599 0.967289798 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.858046916 -0.0321124868 -0.512566365 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.858360639 0.156194855 0.488692317 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0693138307 -0.622085944 0.779874779 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0923435133 0.352431403 -0.93127052 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.281854087 0.80875036 -0.516218102 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.31619923 0.935571013 0.157241621 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[1,4,2,3],X[2,15,3,16],X[4,14,5,15],X[7,13,8,12],X[10,14,11,13],X[11,9,12,8],X[6,10,7,9]]; -0.925946128 -0.199134343 0.320888269 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,4,6,3],X[8,3,9,2],X[6,10,7,9],X[1,8,2,7],X[0,5,1,4]]; 0.240260231 -0.842540591 -0.48207922 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.0572914798 -0.490739324 -0.869420843 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.327253884 0.111345349 0.938353403 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.09498393 -0.793984187 -0.600472451 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0991993937 -0.479206737 -0.872078198 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.338226209 -0.792776673 0.507058358 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[7,5,8,4],X[2,6,3,5],X[3,1,4,0]]; 0.60754577 -0.745730864 0.273447649 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[7,5,8,4],X[2,6,3,5],X[3,1,4,0]]; -0.403245761 0.823805112 0.398419369 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.662153977 -0.235741891 0.711321215 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.23117575 -0.827592364 0.511516033 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.320596787 0.52680126 0.787209078 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.956282238 -0.193206178 -0.219535088 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,6,3,5],X[0,4,1,3],X[4,2,5,1]]; -0.506832 -0.861724123 0.023512959 UNKNOWN - A^(-24) - A^(-22) + 2*A^(-20) + 3*A^(-18) - A^(-16) - 3*A^(-14) + 2*A^(-10) - 2*A^(-6) + A^(-2) + 1 PD[X[11,9,12,8],X[6,2,7,1],X[14,2,15,3],X[5,4,6,3],X[15,4,16,5],X[0,8,1,7],X[9,13,10,12],X[13,11,14,10]]; -0.0956606757 -0.185260136 0.97802235 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.346661475 0.706574622 -0.616910144 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.653049178 0.490871202 0.576690761 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.610210809 -0.705470663 -0.360491211 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.0686237941 0.927788986 0.366740197 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.884290238 0.407848163 0.227355781 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.256296761 0.75752005 0.60039599 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.204710171 -0.46700698 0.860231496 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.193547604 -0.108949939 -0.975022685 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.989310917 -0.121915244 0.0800036415 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.688144049 -0.414737825 -0.595357292 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.36270393 0.312077584 -0.878096487 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0165672729 -0.890259444 -0.455152335 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.742997855 -0.668997248 -0.0199215794 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.715673724 -0.627657005 -0.306362214 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0728435048 0.744733804 -0.663374242 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.589589184 -0.148048482 -0.794019043 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; -0.126046521 0.809015641 0.5741132 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.863676442 -0.0402673779 -0.50243561 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; -0.0841908426 0.721315962 0.687470134 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.586551522 0.768379286 0.256028485 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0610198499 0.906481781 -0.417812588 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.788068405 0.560636492 0.254233973 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.38556021 0.157206312 -0.909191674 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.564031331 0.63603137 0.526623921 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.393592969 0.682022835 -0.616384156 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.839363078 -0.461825931 0.286681762 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,10,2,9],X[0,6,1,5],X[6,3,7,2],X[8,5,9,4],X[3,8,4,7]]; -0.612675923 -0.575504018 0.541685646 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,9,1,8],X[1,5,2,4],X[6,3,7,2],X[3,8,4,7],X[9,6,10,5]]; -0.664433141 -0.646695458 0.374584551 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[3,8,4,7],X[1,5,2,4],X[6,3,7,2],X[9,6,10,5],X[0,9,1,8]]; -0.755403145 0.00688524444 -0.655224146 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; -0.0608608929 0.137826106 -0.988584805 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.21373489 0.343108704 0.914655025 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.85851269 0.209248754 0.46815694 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.188709649 -0.109129201 0.975950555 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.494557381 -0.365744739 -0.788443899 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.876272261 -0.2313308 -0.422649957 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.664046037 -0.226497836 -0.712559886 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.668878702 0.0190407625 -0.743127668 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.465687547 0.76451777 0.4456991 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.540502929 -0.11892269 0.832894938 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.356076955 -0.375414361 -0.855729665 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.299795014 -0.87753711 -0.374234646 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.62485954 -0.393504102 -0.674318232 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.457712218 0.708960927 0.536538843 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0890140469 -0.784862952 -0.61324273 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0473982088 -0.107795318 0.993042587 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.54315122 -0.763748311 0.348819824 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.493065057 0.646752248 0.581892068 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.767368237 -0.0174336375 -0.640969622 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.24348877 0.969672976 -0.0211551054 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.117665988 0.903568325 -0.411969655 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.612224041 -0.589524301 -0.526918232 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.91002898 0.0557101861 0.410784166 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.658615435 -0.694259277 -0.290223647 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.615810117 0.532201066 -0.580981864 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[7,4,8,3],X[9,2,10,1],X[2,7,3,6],X[4,9,5,8],X[5,1,6,0]]; 0.60594002 -0.000871545464 -0.795509857 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.533204643 0.0182742103 -0.845788899 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.940808334 -0.338332122 -0.0202744659 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.829622393 -0.510881341 0.225226419 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.820811749 0.558482097 -0.1198575 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.639967953 -0.450178883 0.622719834 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.924020962 -0.0173022612 0.38195012 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.788313391 0.511871703 0.341393259 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.14700682 0.0743928518 0.986333969 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.645017502 -0.695760609 0.316021515 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.131666477 -0.454399742 -0.881013515 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.121532201 0.147358525 -0.981588197 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.833291212 -0.523220461 0.1785108 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.891217452 0.0886283377 0.444833082 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.690057028 0.320034326 -0.649152777 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.111784893 -0.254223365 -0.960663634 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.257180363 0.671450394 0.6949911 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.884288811 0.0170261669 -0.46662984 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.842912988 0.144435242 0.518301221 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[7,5,8,4],X[2,6,3,5],X[3,1,4,0]]; 0.7271175 0.669455531 0.152083641 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.685433146 0.48275574 -0.54509476 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.153475096 0.811474559 0.563874485 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.451835069 0.821182381 0.348575053 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.325336138 0.356832486 -0.875686573 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.307413486 -0.950202337 -0.0511123012 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.399024802 -0.607751234 0.686598605 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.0389496904 0.960249199 -0.276413455 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.385619874 -0.907798841 -0.16491991 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[15,7,16,8],X[16,2,17,3],X[8,1,9,0],X[5,4,6,3],X[17,4,18,5],X[6,2,7,1],X[12,10,13,9],X[10,14,11,13],X[14,12,15,11]]; -0.575276052 -0.0946179406 0.812468405 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.417422587 0.622576529 0.661934173 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.803969339 0.452614752 0.385711275 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0541454286 -0.914643774 -0.400618322 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.865323062 0.0584700659 0.497792377 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.585939125 -0.0310455122 -0.809760161 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.171666082 0.830556189 0.529818057 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.215073867 -0.819607507 -0.531024262 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.768900956 -0.460749251 -0.443284838 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.217722632 -0.77237702 -0.596682994 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.412675518 0.299657584 0.860176871 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.44670085 -0.638463571 -0.626755629 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.589207069 0.531423412 -0.608624833 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[7,2,8,1],X[2,7,3,6],X[8,5,9,4],X[5,10,6,9]]; -0.974140318 0.0672512101 -0.215703305 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.194095023 -0.978091607 0.0752590946 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.226251682 -0.754274678 0.616343968 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.816467602 -0.355898855 -0.454661038 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.991611433 -0.0470842197 0.120373764 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.524642003 0.347008367 -0.777390482 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.394170732 -0.689985945 0.607082227 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.746414464 -0.368792555 0.553947199 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.645057436 -0.762940445 -0.0426940504 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[3,8,4,7],X[9,6,10,5],X[6,3,7,2],X[0,9,1,8],X[1,5,2,4]]; -0.88195306 0.101227447 -0.460338793 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.890903748 0.356528216 -0.281386111 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.519948312 -0.708880221 -0.476594781 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.875651801 -0.436050587 0.207590485 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,5,2,4],X[9,6,10,5],X[6,3,7,2],X[3,8,4,7],X[0,9,1,8]]; -0.918799409 0.268546587 0.28929289 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.20071082 0.946979742 -0.250887496 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.576010066 -0.434293754 -0.692532554 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.211632277 0.890407276 -0.402972285 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.291897038 -0.655053644 -0.696922408 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.938528246 -0.260012831 -0.227063998 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.718513388 -0.272424093 0.639940329 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.140631121 0.474109235 0.869162425 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.859647223 -0.510835693 0.00731752953 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,8,2,7],X[6,3,7,2],X[4,9,5,8],X[9,6,10,5]]; 0.772219685 -0.619563426 0.140776135 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.912700448 0.301293358 0.276043844 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.80170281 -0.559702013 -0.209776692 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.526071134 -0.83388475 0.166989178 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[8,6,9,5],X[7,11,8,10],X[11,1,12,2],X[2,1,3,0],X[4,10,5,9],X[3,7,4,6]]; 0.703397042 -0.131668561 -0.69849552 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.951794702 0.202521197 -0.23037363 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[7,2,8,1],X[3,10,4,9],X[8,6,9,5],X[2,7,3,6],X[4,1,5,0]]; -0.0256803454 0.861647099 0.506857768 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.869591171 -0.251652081 0.424832231 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.882610901 -0.46597398 -0.0621791598 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.394861277 0.0885945295 -0.914459174 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.013494419 -0.500910134 -0.865394094 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.562814727 0.679526174 -0.470620614 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.326214964 0.916055309 0.233294809 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,9,2,10],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; -0.282346218 -0.206126074 -0.936905894 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.600138882 -0.773965516 0.202016587 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[9,1,10,2],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; -0.0283091255 -0.0155990232 -0.999477495 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.173229973 -0.597543648 0.782900354 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.806624406 0.317871321 0.498312042 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.653742995 0.133933014 0.744769793 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; -0.693636545 0.298719615 0.655465433 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.166329157 -0.657773769 -0.734621181 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.916875627 0.399172039 -0.000875995494 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[7,5,8,4],X[8,1,9,0],X[2,7,3,6],X[3,10,4,9],X[5,2,6,1]]; -0.516468114 0.818074354 0.253011934 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.805072695 0.00806163063 0.593121375 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; -0.826270223 0.449065099 0.340026552 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.64239063 -0.746302992 -0.17425878 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.129952206 0.732425494 -0.668330247 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.458412048 -0.507788194 0.729389844 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.64053483 -0.760913451 -0.103565693 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.448122457 0.600380296 0.662366789 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.326808549 -0.804001344 0.496767562 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; 0.197707725 -0.0157644907 0.980134244 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.288735111 -0.830219075 0.476831545 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; -0.0649296324 -0.977691123 0.199760383 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.096273378 0.933539465 0.345304942 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.880650862 0.16855276 -0.442768593 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[3,6,4,5],X[7,2,8,1],X[2,9,3,8],X[9,7,10,6]]; 0.782933242 -0.314018766 -0.537036082 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.445629159 -0.369775624 0.815279486 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.055455551 -0.980121027 -0.190492661 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.67862556 -0.625228903 -0.385429848 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.752891021 0.149182515 -0.641014577 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.968413381 -0.0254831845 -0.248044615 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.880069352 0.377917781 -0.287499717 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[3,8,4,7],X[4,1,5,0],X[1,6,2,5],X[6,3,7,2]]; 0.273033145 0.840970596 -0.467141691 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,9],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,10,8,9]]; -0.850883865 -0.401659558 0.338624052 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[7,4,8,3],X[0,5,1,4],X[5,2,6,1],X[2,7,3,6]]; -0.341665123 0.0257391087 0.939469234 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.264256958 -0.499387224 0.825094334 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.322504564 0.833826516 -0.448022485 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.720887886 0.580304233 0.378903224 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.107200798 -0.00961348147 0.994190912 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.511751518 0.828684571 0.226698625 UNKNOWN - A^(-20) - A^(-18) + 2*A^(-16) + 3*A^(-14) - 4*A^(-10) - 2*A^(-8) + 2*A^(-6) + 2*A^(-4) PD[X[12,0,13,1],X[11,7,12,6],X[5,2,6,1],X[3,15,4,16],X[2,5,3,4],X[7,11,8,10],X[8,15,9,14],X[13,10,14,9]]; -0.0259392682 -0.585728466 0.810092167 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.359386571 0.900027086 0.246561428 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.105247455 -0.951617119 -0.288700245 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[11,1,12,2],X[2,1,3,0],X[9,7,10,6],X[10,4,11,3],X[5,9,6,8],X[7,5,8,4]]; -0.390897209 -0.589760018 0.706670003 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.866922142 -0.429484578 -0.252960465 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7]]; 0.46814826 0.781121686 0.413141766 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.448142566 0.830635834 0.330472921 UNKNOWN - A^(-18) + 2*A^(-14) + A^(-12) - 3*A^(-10) - 2*A^(-8) + 2*A^(-6) + 3*A^(-4) - 1 PD[X[10,5,11,4],X[9,0,10,1],X[2,13,3,14],X[5,9,6,8],X[11,8,12,7],X[6,13,7,12],X[1,4,2,3]]; -0.356545928 0.49077937 -0.794990951 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.8733892 0.123139262 -0.471198501 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.988895144 -0.118586383 -0.0895749056 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.962363303 0.110959031 -0.248082581 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.849971179 0.434181651 0.298387816 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.0795420251 0.454616678 0.887128368 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.249030146 0.906928848 -0.339800015 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[7,5,8,4],X[2,12,3,11],X[3,7,4,6],X[9,2,10,1],X[5,9,6,8]]; -0.869008124 0.459578396 -0.183337337 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.337360547 0.254218526 0.906399913 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.1967313 -0.00712320602 -0.980431566 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.192108331 -0.237136807 0.952292247 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0750656308 0.920848145 -0.382627553 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0715887703 0.942369465 0.326825396 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; -0.309058203 0.798253159 -0.516986384 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; -0.606143358 -0.249822945 0.755101799 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.954911073 -0.205991061 -0.213804877 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.356600696 0.87307186 -0.332537923 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7]]; 0.0678655022 0.179058845 -0.981494882 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.794821985 0.0106993982 -0.606748329 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.403457802 0.629985532 0.663581217 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.288989706 0.47070789 0.833618037 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.369085711 0.919933233 0.132282219 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0994065818 -0.845709108 0.524303763 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; -0.17261616 -0.983015159 0.0623286329 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.207985196 -0.963764953 -0.167030756 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0721660994 -0.330180871 -0.941154954 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.070343947 -0.835899703 0.544355965 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[8,0,9,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,8,10,7]]; 0.313127934 -0.774097579 -0.550203449 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.959582986 -0.136937584 -0.245862953 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,6,3,5],X[0,4,1,3],X[4,2,5,1]]; 0.712360719 0.60929382 -0.348286158 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,11,9,10],X[9,11,10,12]]; -0.224768363 0.829684262 0.510982592 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[8,12,9,11],X[4,8,5,7],X[9,7,10,6],X[5,11,6,10]]; 0.955562242 -0.239545112 0.17181077 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.805943547 -0.564944329 -0.176898005 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,3,7,2],X[4,8,5,7],X[0,9,1,8],X[9,4,10,3],X[1,6,2,5]]; -0.387027235 0.918651887 -0.0793008781 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.438349121 -0.898595444 0.0193978185 UNKNOWN + A^(-28) + A^(-26) - 2*A^(-24) - 4*A^(-22) + A^(-20) + 5*A^(-18) + A^(-16) - 4*A^(-14) - 2*A^(-12) + 2*A^(-10) + 2*A^(-8) PD[X[13,11,14,10],X[7,14,8,15],X[0,16,1,15],X[6,2,7,1],X[5,4,6,3],X[8,17,9,16],X[11,18,12,17],X[18,13,19,12],X[20,2,21,3],X[19,10,20,9],X[21,4,22,5]]; -0.259344169 0.658248846 0.7067171 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.929465376 -0.204853774 0.306804573 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.248885944 0.812951031 -0.526465962 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.485709629 0.552831109 -0.677099639 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[4,9,5,8],X[2,7,3,6],X[9,2,10,1],X[7,4,8,3]]; -0.802431997 -0.0511707122 -0.594545581 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.490520197 -0.459090131 -0.740693046 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.178521677 -0.8213359 -0.541790873 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.877076605 0.153278092 0.455238899 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.812922437 0.532201565 -0.236471152 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.729223415 0.258140561 0.633716546 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.968936256 -0.200817322 0.144343119 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.420870647 0.821260923 -0.385225122 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.100398972 -0.555268679 -0.825588724 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.348243847 0.436495569 0.829576905 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.568634654 0.43660075 -0.697161685 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.0554046898 -0.972179432 -0.22759058 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.042011647 -0.215601401 0.975577294 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.540258038 0.84149936 -0.000282924157 UNKNOWN - A^(-24) - A^(-22) + 2*A^(-20) + 3*A^(-18) - A^(-16) - 3*A^(-14) + 2*A^(-10) - 2*A^(-6) + A^(-2) + 1 PD[X[8,12,9,11],X[1,7,2,6],X[2,14,3,15],X[3,6,4,5],X[4,15,5,16],X[7,1,8,0],X[12,10,13,9],X[10,14,11,13]]; -0.0771718798 -0.678820547 0.730237746 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.231829944 -0.669666474 -0.70555063 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.89082823 0.211638594 -0.402037523 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.391466021 -0.460328869 0.796775807 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.921011863 -0.23322133 0.312001538 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,8,2,7],X[5,4,6,3],X[8,3,9,2],X[0,5,1,4],X[6,10,7,9]]; -0.734565346 -0.612582727 0.291815275 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.957030219 0.174629575 -0.231511709 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[8,6,9,5],X[3,10,4,9],X[4,1,5,0],X[2,7,3,6],X[7,2,8,1]]; -0.730894012 -0.681320005 0.0399624156 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.410283365 0.880759142 -0.236497136 UNKNOWN - A^(-24) - A^(-22) + 2*A^(-20) + 3*A^(-18) - A^(-16) - 3*A^(-14) + 2*A^(-10) - 2*A^(-6) + A^(-2) + 1 PD[X[7,1,8,0],X[1,7,2,6],X[11,15,12,14],X[3,6,4,5],X[4,17,5,18],X[8,16,9,15],X[9,13,10,12],X[13,11,14,10],X[2,16,3,17]]; 0.83600909 0.032335404 -0.547762013 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.139013447 -0.988240319 -0.0636893464 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.529001935 0.76121835 -0.375104753 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.962745056 -0.23693966 -0.130313292 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,8,2,7],X[6,10,7,9],X[8,3,9,2],X[5,4,6,3],X[0,5,1,4]]; 0.0557345388 0.887046446 0.458303681 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.406816237 -0.695158246 -0.592668172 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.371682323 0.607659011 -0.701856664 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.55336607 -0.703004086 -0.446733978 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.975341246 -0.174101148 -0.135640126 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,6,3,5],X[0,4,1,3],X[4,2,5,1]]; -0.448924627 0.889549513 -0.0846660649 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.365809178 0.327190857 -0.871280545 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.771461452 -0.593171172 -0.230206841 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.234739447 -0.805556176 -0.544037351 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.725110816 -0.670420375 -0.157323951 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.514391715 0.527205967 -0.676354221 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.362730392 -0.0219401641 -0.931635815 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.407065336 0.12087424 0.905365799 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.500102238 0.104995897 -0.859577578 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.803688961 -0.570440485 0.169356745 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.496644356 -0.856285626 -0.141842553 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.534036197 0.0463738385 0.844188846 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.323066511 0.725939772 0.60715688 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[4,3,5,2],X[1,6,2,5]]; -0.62322703 0.175245889 -0.762152838 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.170909293 0.829503153 0.531709067 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.687875952 -0.699238351 0.194659711 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.31951541 0.779006552 0.539498559 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.558513905 0.820572873 -0.121335802 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[1,4,2,3],X[7,5,8,4],X[2,11,3,12],X[10,1,11,0],X[5,9,6,8],X[9,7,10,6]]; 0.0277450811 -0.274766885 -0.961110488 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.746079821 -0.530536258 0.402363244 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.27457585 0.650385278 -0.708242255 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.235099701 -0.686553962 0.688020194 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.256915818 -0.254073286 -0.932438217 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.828434678 0.410391703 -0.381149099 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.118337517 -0.730641238 0.672428147 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.747835303 -0.586657481 -0.310765764 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.343500581 -0.288545062 0.893727642 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.303823824 0.950448358 -0.065871113 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.758153826 0.613127299 -0.221985792 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.299078905 0.919949395 0.253465814 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[1,12,2,13],X[2,5,3,4],X[3,13,4,14],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.126929025 -0.284855756 -0.950129581 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.614914361 -0.453069628 0.645451966 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.0866474594 -0.914429206 -0.395362422 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[9,1,10,2],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.463789475 -0.867438872 -0.180136409 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.376644062 -0.718300893 0.584964168 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.419943905 0.872794893 -0.248749256 UNKNOWN - A^(-20) - 2*A^(-18) + A^(-16) + 5*A^(-14) + 3*A^(-12) - 4*A^(-10) - 5*A^(-8) + 3*A^(-4) + A^(-2) PD[X[13,10,14,9],X[12,0,13,1],X[18,6,19,7],X[3,6,4,5],X[4,21,5,22],X[16,3,17,2],X[7,19,8,20],X[1,9,2,8],X[10,15,11,14],X[15,12,16,11],X[17,21,18,20]]; -0.798367639 0.253359011 -0.546276784 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.398832492 -0.123301157 0.908696576 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.966685278 0.0597878737 0.248887493 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.870864315 0.262421807 0.415608157 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.662448092 -0.692818824 -0.284894021 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,4,1,3],X[5,2,6,1],X[2,7,3,6],X[7,5,8,4]]; -0.711381541 0.175366696 -0.680575363 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.780718979 0.615432332 -0.108263198 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.284577619 -0.955571907 -0.076797849 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.148438685 0.870922278 -0.468465945 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.989363284 0.143704339 0.0225688829 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.993855016 -0.00526372827 -0.110564463 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.608730476 -0.662824135 -0.436017631 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.369009986 0.924317061 0.0973118711 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.159936576 -0.984008025 0.078412368 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; -0.739858025 0.596190206 -0.311716765 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.90518659 0.372286946 -0.205035772 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,3,7,2],X[4,1,5,0],X[1,6,2,5],X[3,8,4,7]]; 0.385360594 0.643724524 0.661147449 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2]]; -0.419792759 -0.888856825 0.183596251 UNKNOWN - A^(-22) + 2*A^(-18) + 2*A^(-16) - A^(-14) - 3*A^(-12) - 2*A^(-10) + A^(-8) + 2*A^(-6) + A^(-4) PD[X[0,12,1,11],X[14,23,15,22],X[25,2,26,3],X[10,2,11,1],X[23,16,24,15],X[3,24,4,25],X[8,20,9,21],X[27,7,28,8],X[16,14,17,13],X[26,19,27,18],X[4,13,5,12],X[17,22,18,21],X[9,6,10,5],X[6,20,7,19]]; 0.93101026 -0.292930534 0.217742044 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.172484906 0.957327382 -0.231890579 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,11,1,10],X[3,2,4,1],X[2,12,3,11],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.44579919 0.887223453 -0.118733425 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.671365023 -0.62439565 0.39924814 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.398023599 0.700724508 0.592083084 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[4,3,5,2],X[1,6,2,5]]; -0.785735458 -0.606059269 0.123741474 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.881226205 -0.156863576 0.445908281 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; -0.54365292 -0.154099866 0.825042262 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.35130582 0.0372342395 0.935520086 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.624486258 -0.756489088 0.194270876 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,6,2,5],X[8,12,9,11],X[13,3,14,4],X[4,1,5,0],X[10,8,11,7],X[6,10,7,9],X[2,12,3,13]]; -0.445752737 0.751496624 0.486371588 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.560309801 -0.723360501 -0.403487933 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.6865788 -0.268280057 0.675748002 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.685826794 0.642516908 0.341780093 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[3,1,4,0],X[1,6,2,5],X[6,3,7,2],X[4,8,5,7]]; 0.92995349 0.352495444 -0.104563223 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.547935279 -0.749830226 -0.370838997 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.189176431 0.92200653 0.337810948 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[1,4,2,3],X[2,15,3,16],X[4,14,5,15],X[7,13,8,12],X[10,14,11,13],X[11,9,12,8],X[6,10,7,9]]; 0.758206289 0.640458485 -0.122213553 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.277390864 0.0702959445 0.958182023 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.490273319 -0.166888788 -0.855441527 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.522567217 -0.283459484 -0.804098392 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.884337639 0.0841998505 -0.459192036 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.40350225 0.120467513 0.907013513 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.219027277 0.579137007 -0.78525625 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0513928082 0.894889955 -0.443317886 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.682188855 -0.64631739 0.341895009 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,5,2,4],X[9,6,10,5],X[6,3,7,2],X[3,8,4,7],X[0,9,1,8]]; 0.467790135 0.719448856 -0.513386534 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.65898075 0.101388087 0.745295128 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.587270474 0.668763783 -0.455925863 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.635924594 -0.238102471 0.734102938 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.827106267 0.467979043 -0.311272931 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.194233283 -0.0951061012 -0.976334093 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.658037336 0.52696189 -0.537864324 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.720229777 0.60352052 -0.342099476 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.309413799 -0.836762967 0.451764139 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.805619324 0.592316423 -0.0117796264 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.0421237306 0.666566527 0.74425443 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.406214894 0.107716455 0.907406538 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.903795645 0.402667494 0.144956274 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.401521625 0.255018043 0.879628434 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.450878434 0.889198908 0.0776784439 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.278625614 -0.733495343 0.61996157 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.901856146 -0.421368958 0.0954132732 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.190847145 -0.9372803 0.291689916 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.352885917 -0.156454848 -0.922493041 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.779848192 -0.156150811 0.606179612 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.759146302 0.636560963 -0.13596703 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.649983259 -0.759941828 -0.00319083687 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.247923254 0.380639972 -0.89086883 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.910179479 0.348762941 0.223467508 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.385793437 0.848851582 -0.361406164 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5]]; -0.385012595 0.878029138 0.28430641 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.324758459 -0.777042661 0.539200006 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.368277308 0.694242809 0.61838398 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[4,3,5,2],X[1,6,2,5],X[0,4,1,3]]; -0.376746099 -0.514277015 -0.770442424 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.2761701 -0.861431908 0.426221942 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; 0.0033607887 -0.276326657 0.961057898 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.257382178 0.304477239 -0.917086706 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.347145773 0.392409485 -0.851765583 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.723879433 0.597584707 0.344805865 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0703335848 0.653426629 0.753715349 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.564448836 0.0539012619 -0.823706359 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.712717019 -0.340506884 0.613261374 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.232969019 0.820321589 0.522300609 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.486060884 -0.124213895 -0.865052441 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.395111185 0.694269615 0.601562011 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.692248885 0.469233824 -0.548280129 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.492034221 -0.496611729 -0.715037842 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.698508783 0.0192003313 -0.715343853 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7]]; -0.64164595 0.714470809 -0.278965838 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[4,8,5,7],X[5,3,6,2]]; 0.651316311 0.644532067 0.400456586 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[3,1,4,0],X[1,6,2,5],X[6,3,7,2],X[4,8,5,7]]; -0.979890433 -0.00777837859 0.199384643 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.38262705 0.440429387 -0.812169007 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.143767166 -0.779669918 0.609463552 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.467509895 -0.31990951 0.82407063 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.389155011 0.870580748 -0.301077296 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0712688 0.638095256 0.766651943 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.796797008 0.527157597 -0.295329301 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.599644009 0.387947114 -0.699945783 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0116158145 -0.338210675 0.940998731 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.550545752 -0.629987699 -0.547736136 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0138085309 -0.619873961 -0.784579886 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.353410844 0.807378134 0.472484206 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.989401244 -0.131775188 0.0609957227 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,6,3,5],X[0,4,1,3],X[4,2,5,1]]; -0.0529387289 0.982766202 0.177110368 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.654391188 0.574704513 0.491413161 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.849538357 0.11919045 -0.513885411 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.836211056 0.542915517 0.0774197131 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7]]; -0.159684078 0.986683094 0.030942983 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.87100154 0.489163897 0.0455521592 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.755529925 0.52539624 -0.391322531 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0996240228 0.864705769 0.492299692 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.00359257223 0.999966636 -0.00733623467 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.539021567 0.329533851 -0.775153656 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.119174163 -0.153043308 -0.981007271 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.803668674 -0.572471001 0.162461119 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; 0.204389542 -0.186823888 0.960896326 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.348884188 -0.641819186 -0.682896738 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.718362851 -0.531053253 -0.449374295 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.55008158 -0.741996274 0.383212453 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]];