#projection.x projection.y projection.z knotoid_type polynomial PD_code 0.606210449 -0.14774826 0.781459752 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.427498265 -0.902611764 -0.0503709945 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[1,7,2,6],X[2,5,3,4],X[9,4,10,3],X[7,1,8,0],X[8,6,9,5]]; -0.392272906 0.636784261 -0.66379799 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; 0.932888054 0.0126004606 -0.359945979 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.792134236 0.607807322 0.0556202531 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.880807588 -0.452598775 0.139040791 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.000729408098 -0.514888264 0.857256988 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.155015719 -0.89818366 0.411383325 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.107477751 0.445177911 0.888968594 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.652611315 -0.352250747 -0.670833722 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[2,9,3,8],X[5,4,6,3],X[4,10,5,9]]; 0.505781328 0.400160274 -0.764236222 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.853419947 0.207297505 0.478228124 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0918016347 -0.41524824 -0.905064284 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0945097883 0.952337071 0.290037935 k0.1 + 1 PD[]; -0.987977779 0.132906023 -0.0789676975 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.633389159 -0.717153846 0.290703516 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[0,8,1,7],X[10,2,11,1],X[2,12,3,11],X[3,6,4,7],X[4,9,5,8],X[9,6,10,5]]; -0.501766098 -0.804380408 -0.3181241 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.445740187 -0.321572801 -0.835408056 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.273515213 0.529876872 -0.802757702 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.786042054 0.168020243 -0.594900905 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.443608065 -0.857410049 0.260882909 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.583174421 0.752732323 0.305453179 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0535501941 0.210597614 0.976105026 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.675963286 -0.45072499 -0.583027117 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.895947572 0.444104682 -0.00699851243 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.858734556 0.0683150519 -0.50784645 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.947775989 0.0487462739 0.315189586 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.672921184 -0.639553001 0.371684059 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.289706842 0.227237802 0.929748852 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.700549339 0.622171794 0.349475152 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.108248535 -0.294191077 0.949596685 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.57842915 -0.578756661 -0.574856891 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.556734668 0.828968554 -0.053456964 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[3,2,4,1],X[2,8,3,7],X[4,7,5,6]]; -0.154362839 -0.850622018 -0.502607498 k0.1 + 1 PD[]; -0.437308435 0.889716154 0.131020981 k0.1 + 1 PD[]; -0.220533521 -0.831020927 0.510655642 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.752963921 -0.641536724 0.146546802 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.333070194 -0.747420002 0.57482831 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0898269959 0.194876095 -0.976705902 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.362480961 0.49247291 0.791250899 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[0,7,1,6],X[7,2,8,1],X[2,9,3,8],X[5,4,6,3],X[9,4,10,5]]; -0.294766895 -0.189165532 0.936658358 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.418342494 0.179897688 -0.89029567 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.620218095 0.560642992 0.548642826 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[9,1,10,0],X[1,11,2,10],X[5,2,6,3],X[7,4,8,3],X[4,9,5,8],X[11,7,12,6]]; -0.83271186 0.316213579 -0.45453265 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.737162421 0.0812139548 0.670817306 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.803213123 -0.0599442041 -0.592668011 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.316853393 0.926735131 0.201905731 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.916802088 0.0793858816 -0.391371708 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.431878375 -0.470669201 -0.769383891 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.298377824 0.672556058 0.67722893 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[6,2,7,1],X[2,5,3,4],X[7,4,8,3]]; 0.107645184 0.993871389 -0.0251431041 k3.2 + A^(-8) - A^(-4) - A^(-2) + 1 + A^(2) PD[X[3,0,4,1],X[1,6,2,5],X[4,3,5,2]]; 0.278062746 -0.546803402 -0.789738658 UNKNOWN + A^(-20) - 3*A^(-16) + 4*A^(-12) + 2*A^(-10) - 4*A^(-8) - 4*A^(-6) + 2*A^(-4) + 4*A^(-2) + 1 - 2*A^(2) - A^(4) + A^(8) PD[X[18,4,19,3],X[16,2,17,1],X[0,10,1,11],X[7,19,8,20],X[2,18,3,17],X[8,4,9,5],X[14,12,15,11],X[15,9,16,10],X[6,14,7,13],X[12,6,13,5]]; 0.971384887 -0.050025666 -0.23218276 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.445870404 0.869144118 0.213981505 k0.1 + 1 PD[]; 0.203792545 0.975608248 -0.0815913286 k5.28 + A^(-14) + A^(-12) - 2*A^(-10) - 2*A^(-8) + 2*A^(-4) + A^(-2) PD[X[6,11,7,12],X[9,1,10,0],X[5,2,6,3],X[7,4,8,3],X[4,9,5,8],X[1,11,2,10]]; 0.892834751 -0.253496542 -0.372270883 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.898232847 0.224231699 0.378018382 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0333270663 -0.246382358 -0.968599525 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.87362125 0.00615502763 -0.486567598 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.692062322 -0.678639955 0.245962505 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[1,9,2,8],X[9,5,10,4],X[6,3,7,2],X[3,6,4,5],X[7,1,8,0]]; -0.0933748583 0.988615094 -0.117988693 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.531995037 0.600014385 0.597464659 UNKNOWN - A^(-18) - 3*A^(-16) + 5*A^(-12) + 4*A^(-10) - A^(-8) - 4*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[10,1,11,0],X[11,9,12,10],X[8,12,9,13],X[7,3,8,4],X[1,16,2,15],X[16,3,17,2],X[13,5,14,4],X[17,7,18,6],X[5,15,6,14]]; 0.37173257 0.91437767 0.160400665 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.668383515 0.743755073 -0.00958483061 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.290366785 0.940201981 -0.178065623 k5.28 + A^(-14) + A^(-12) - 2*A^(-10) - 2*A^(-8) + 2*A^(-4) + A^(-2) PD[X[1,11,2,10],X[9,1,10,0],X[6,11,7,12],X[7,4,8,3],X[4,9,5,8],X[5,2,6,3]]; 0.724004352 0.0365164269 -0.68882817 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.699737105 0.28360857 -0.65569365 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.337161031 0.851864121 0.400811624 k0.1 + 1 PD[]; 0.456928034 -0.749175351 -0.479534217 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.465746568 -0.546312829 0.69614828 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.904023462 0.389104413 0.177029192 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.864498032 0.228872882 -0.447504589 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.794921522 0.461622334 0.393706228 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.706924236 -0.633581936 0.31437566 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.792843797 0.577832771 0.193669827 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.13542537 0.64674625 -0.750585943 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.677361081 -0.492617386 -0.546360757 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.53844161 0.840708356 -0.0573593364 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[3,2,4,1],X[2,8,3,7],X[4,7,5,6]]; 0.602585521 -0.548805621 0.579398896 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.263880186 -0.216198188 0.940013612 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.831615596 -0.542144173 -0.120395994 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.365380114 -0.816993548 0.44611536 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0611976027 -0.71858605 -0.692740169 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.78032021 -0.368286688 -0.505435738 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.335841253 -0.431624625 0.837204178 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.938296973 -0.183650448 -0.293038057 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.810454383 -0.210803936 0.546557768 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.589658169 0.792059607 0.1579393 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.455783102 0.879607991 0.136204062 k0.1 + 1 PD[]; -0.680793685 -0.612279485 0.402037052 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.491072358 -0.728338002 -0.47788251 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[2,9,3,8],X[5,4,6,3],X[4,10,5,9]]; 0.40814472 -0.573709849 0.710123156 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[6,5,7,4]]; -0.434741022 -0.403868866 0.804916258 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.189793378 -0.643318933 0.741700225 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.0391304774 -0.935859415 0.350194178 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.360319012 -0.112148249 0.926063162 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.566987203 0.358543457 0.741601039 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,5,2,4],X[9,4,10,3],X[2,11,3,10],X[8,1,9,0],X[5,8,6,7],X[11,7,12,6]]; 0.633247766 -0.760730277 0.142431431 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[3,8,4,7],X[8,3,9,2],X[1,4,2,5],X[9,6,10,5],X[0,7,1,6]]; 0.800997717 0.284532232 0.526729595 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.319413629 -0.943236368 0.0909949867 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.0578737481 -0.989005353 0.13608468 k0.1 + 1 PD[]; -0.948559373 -0.221321465 0.226388881 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.978344972 0.165007242 0.124954897 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.331339907 -0.702895526 0.629405867 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.689122202 0.59440535 -0.414479034 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.588984498 -0.770947296 -0.242358265 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.221601989 0.029575543 0.974688589 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.159428405 0.543161145 -0.824353416 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.165469011 0.780076338 -0.60340775 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.0491337063 0.609106632 -0.791564899 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[5,0,6,1],X[1,8,2,7],X[8,3,9,2],X[3,10,4,9],X[4,6,5,7]]; 0.835237642 0.449088167 -0.317329325 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.849199832 -0.167179462 0.500909845 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.956502715 0.291170403 -0.0179541609 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.402432021 0.81604806 -0.414866283 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.0777858931 0.93316529 0.350930046 k0.1 + 1 PD[]; 0.659511572 -0.745153429 -0.0989487395 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.0782228293 0.900984476 0.42674133 k0.1 + 1 PD[]; -0.702029358 0.65990647 0.267727905 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.936834067 0.341167808 -0.0771132722 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.730192068 -0.100711588 0.675778602 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.699288652 -0.664692841 -0.263018648 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.798142899 0.518149169 0.307391204 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.602760623 0.788255577 -0.123825589 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[5,10,6,9],X[6,1,7,0],X[4,1,5,2],X[2,9,3,8],X[7,4,8,3]]; -0.964690506 -0.123868679 -0.232440914 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.480182187 -0.723762456 0.49557338 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.206986108 -0.630187873 -0.748344837 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[0,7,1,8],X[1,12,2,11],X[12,3,13,2],X[6,3,7,4],X[8,5,9,4],X[5,10,6,9],X[10,14,11,13]]; -0.916876326 0.0693216615 0.393105977 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.664959437 -0.688112446 -0.290396639 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.15516491 0.987888406 -0.000589535572 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[5,1,6,0],X[3,2,4,1],X[7,2,8,3],X[4,7,5,6]]; -0.166461648 -0.956233123 0.240642335 k0.1 + 1 PD[]; 0.608396779 0.730979764 0.309066243 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.646457591 0.192139882 0.738359566 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.54441675 -0.553242639 -0.630502169 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[2,9,3,8],X[5,4,6,3],X[4,10,5,9]]; -0.911692203 -0.253933802 0.323009213 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.965761737 -0.248892572 0.0731898537 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.279463082 0.829775202 -0.483087467 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.300953896 0.594599979 0.745572007 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.942777738 -0.276992457 -0.185594493 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.887949575 -0.107420944 -0.44722063 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.926228047 -0.375743606 0.0303042522 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.590216302 0.769507221 0.243933091 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.5929005 0.804454573 -0.0363570829 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.201323788 -0.892034644 -0.404651611 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[8,5,9,4],X[0,7,1,6],X[3,8,4,7],X[9,2,10,1],X[2,5,3,6]]; 0.580118931 -0.660010671 0.477334203 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.993331924 -0.112985986 -0.022931553 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.790571589 0.438974801 -0.426963332 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.105481998 0.915291751 0.388734561 k0.1 + 1 PD[]; -0.722231168 0.460653116 -0.515927171 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.521228998 0.753980444 -0.399792223 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[7,1,8,0],X[1,11,2,10],X[11,3,12,2],X[6,3,7,4],X[8,5,9,4],X[5,10,6,9]]; -0.420003942 -0.537277848 0.731388545 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.802485864 -0.10599516 -0.587180946 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.735847367 -0.203868303 0.645729329 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.861091942 -0.0799621726 0.502122215 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.023498803 -0.766035345 0.642368786 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.495031921 -0.863812175 0.0936585483 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,4,2,3],X[7,3,8,2],X[6,5,7,4]]; 0.304765502 -0.00905317201 0.952384391 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.10733002 -0.851638998 -0.513021718 k0.1 + 1 PD[]; -0.492083239 0.81594309 0.303464925 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.387513022 -0.859893751 -0.332289625 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.99359743 0.0977181162 0.0567037691 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.409806563 0.0781710227 -0.908816743 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.510681134 0.810184541 0.287759951 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.221212208 -0.833978303 0.505514934 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.367211336 0.881021338 0.298256999 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.0133203533 -0.81821938 -0.574751785 k0.1 + 1 PD[]; 0.729328704 -0.050613979 0.682288698 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.842308627 -0.294146826 0.451656752 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.909735284 -0.394219491 -0.130279336 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.225174726 -0.226686077 0.947581007 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.4163837 -0.723286022 -0.550891954 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[4,3,5,2],X[5,9,6,8],X[3,10,4,9],X[7,2,8,1]]; 0.185450448 -0.895939972 -0.403608348 k0.1 + 1 PD[]; -0.293245559 -0.0801329948 -0.952672948 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.272844055 -0.81098664 0.51754883 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.092174766 -0.0197105005 0.995547743 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.923075413 0.383669491 -0.0270093256 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.73919422 0.355309264 -0.572142667 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.452705613 0.640347916 0.620493493 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,8,2,7],X[8,3,9,2],X[9,5,10,4],X[3,6,4,5],X[6,1,7,0]]; 0.638984303 0.74607643 0.187267246 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.718121759 -0.695917419 0.000290199649 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.489455345 0.849922788 0.195101818 k0.1 + 1 PD[]; 0.339602183 0.334744791 0.87898594 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,8,2,7],X[9,5,10,4],X[8,3,9,2],X[3,6,4,5],X[6,1,7,0]]; 0.133853939 0.990803579 0.0197835872 k3.2 + A^(-8) - A^(-4) - A^(-2) + 1 + A^(2) PD[X[1,6,2,5],X[4,3,5,2],X[3,0,4,1]]; 0.245881462 0.763582175 0.597063287 k0.1 + 1 PD[]; -0.115584343 -0.476714373 -0.871426225 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.744371144 -0.417180101 -0.521413811 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.961419171 -0.0996144971 0.256417882 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.602450072 -0.790352316 0.111342387 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.00193752791 0.912236935 -0.409658419 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.89273819 -0.0613343684 0.446381696 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0442173061 0.417643539 0.907534409 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.432459671 -0.519885517 0.736680177 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.852672867 -0.33203507 0.403362981 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.320121893 0.557567837 -0.765924331 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.248401412 -0.968589819 -0.0114237508 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[2,5,3,4],X[6,2,7,1],X[7,4,8,3],X[0,6,1,5]]; 0.334230046 -0.748314492 0.572988392 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.22887333 -0.973223078 -0.0213035247 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[7,4,8,3],X[2,5,3,4],X[6,2,7,1]]; -0.136859309 -0.52344393 0.840997017 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.515390393 -0.588185852 -0.623225598 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[2,9,3,8],X[5,4,6,3],X[4,10,5,9]]; -0.710592698 0.163962368 0.684232679 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.470604584 0.389928819 -0.791509218 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.779044678 -0.473083527 -0.411438167 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.797233864 -0.346661455 0.494210483 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.286215957 -0.825064935 0.48718403 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.771356389 -0.109576048 0.626899043 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.569444949 0.298498804 0.765918347 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.77690704 -0.592098524 0.214090609 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.227568541 -0.915190202 0.332625093 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.251555516 -0.670203781 -0.698245454 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.0861375706 0.560393224 0.823735245 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.527616105 -0.664994074 -0.528586915 UNKNOWN - A^(-24) - 2*A^(-22) + 4*A^(-18) + 2*A^(-16) - 2*A^(-14) - 3*A^(-12) + 3*A^(-8) + 2*A^(-6) - 2*A^(-2) - 1 + A^(4) PD[X[14,18,15,19],X[20,12,21,13],X[6,18,7,17],X[19,9,20,8],X[1,17,2,16],X[15,5,16,4],X[13,7,14,8],X[0,6,1,5],X[21,3,22,2],X[10,24,11,23],X[9,11,10,12],X[3,23,4,22]]; 0.538323648 -0.709791766 0.454316298 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.982136582 -0.0939751413 -0.16302272 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.388350935 0.79527393 -0.465535099 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.707729672 -0.572987618 0.413284285 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[2,6,3,5],X[8,5,9,4],X[3,10,4,9],X[7,2,8,1]]; 0.389443952 -0.920051951 0.0428697541 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[2,5,3,4],X[6,2,7,1],X[7,4,8,3],X[0,6,1,5]]; 0.256467178 -0.616467665 -0.744440867 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[0,7,1,8],X[1,12,2,11],X[12,3,13,2],X[6,3,7,4],X[8,5,9,4],X[5,10,6,9],X[10,14,11,13]]; -0.838845753 0.482944758 0.251201439 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.824381561 -0.507049562 -0.251586535 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.818177631 0.315281608 0.480814799 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.108186661 0.541159525 -0.833931661 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.473115654 -0.0990049308 -0.875419672 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.837862099 -0.356283609 -0.413580817 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0777095826 -0.304607522 -0.949302627 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.71462199 0.650226723 -0.257915915 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0922850095 -0.924503317 -0.369833874 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.194506438 -0.00162694187 -0.980899892 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.239476536 -0.840466144 0.486073707 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.105244532 0.0051663341 0.994432953 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.692761567 0.643889772 0.324788197 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.511779617 0.848121812 -0.137007355 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[6,2,7,1],X[2,8,3,7],X[3,6,4,5]]; 0.449202823 0.700922277 0.554007929 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[9,1,10,0],X[1,11,2,10],X[5,2,6,3],X[7,4,8,3],X[4,9,5,8],X[11,7,12,6]]; 0.939347985 0.342349019 0.0205551139 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.762246197 -0.621924149 -0.179418751 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.648142981 -0.490639185 0.582394939 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.89140433 -0.164688944 -0.422227275 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.706762419 -0.42547794 0.565203862 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.253875546 0.348515422 0.902266151 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.745338712 -0.246168621 -0.619573413 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.381159796 -0.58486686 -0.71599439 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.333808937 0.169477543 -0.927280408 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.856026604 -0.476239224 0.201033966 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.469245035 0.709811056 -0.525335476 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.910250746 0.0568699227 -0.410133382 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.273620506 -0.516763094 -0.811226062 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.805568158 -0.571486978 0.156405169 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.730313101 0.607574587 -0.312243327 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.69323655 0.591973034 0.411085165 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.813794582 -0.550933295 -0.184961842 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.118213649 -0.288275126 -0.950222597 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0452240844 0.206631231 0.977373172 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.115385439 0.926697445 0.357656325 k0.1 + 1 PD[]; 0.379205635 -0.615730551 -0.690709038 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.922354528 0.372771466 0.101506452 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0722779825 0.938262602 0.338288609 k0.1 + 1 PD[]; -0.716890611 -0.439937195 0.540854061 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.788354016 0.428875656 -0.44109366 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.958470446 -0.121028807 0.258237163 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.494052441 -0.0841418974 -0.865350985 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.223295912 -0.462369656 0.85811027 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.204303004 0.893056795 0.400886323 k0.1 + 1 PD[]; 0.70273197 -0.019537792 0.71118637 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.594759493 0.796043871 -0.112139652 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[6,1,7,0],X[2,9,3,8],X[7,4,8,3],X[4,1,5,2],X[5,10,6,9]]; -0.422108691 0.787111212 -0.449755703 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.464323682 -0.0982028589 -0.880204361 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.654696577 -0.589178274 -0.47354129 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.776204119 -0.131763891 -0.616559358 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.176302223 0.806430967 0.56443478 UNKNOWN + A^(-14) - 3*A^(-10) - 2*A^(-8) + 2*A^(-6) + 4*A^(-4) + A^(-2) - 1 - A^(2) PD[X[9,0,10,1],X[15,2,16,1],X[2,15,3,14],X[8,4,9,5],X[16,14,17,13],X[7,11,8,12],X[17,7,18,6],X[10,4,11,3],X[5,13,6,12]]; -0.665913006 0.504118616 0.549931168 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.618718507 -0.695790118 -0.36477873 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.165675688 -0.184154958 0.968833586 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.632765582 -0.749386845 -0.19500532 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.486887534 0.159548529 -0.85876935 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.686132278 0.438078235 0.580783916 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.44460227 -0.853699526 0.271156674 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.952700122 0.246111985 -0.17830134 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.845177326 -0.502985257 0.180779201 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.955545617 0.263881624 0.131525899 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.316547387 -0.788653788 0.527089133 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.320186229 -0.898929457 -0.299009382 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.291848994 -0.182544667 -0.938883171 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.219228614 0.781556031 0.584045363 UNKNOWN + A^(-14) - 3*A^(-10) - 2*A^(-8) + 2*A^(-6) + 4*A^(-4) + A^(-2) - 1 - A^(2) PD[X[9,0,10,1],X[8,10,9,11],X[17,5,18,4],X[12,6,13,5],X[16,12,17,11],X[7,15,8,14],X[6,2,7,3],X[15,2,16,1],X[3,14,4,13]]; 0.470537334 -0.659347601 -0.586391813 UNKNOWN - A^(-24) - 2*A^(-22) + 4*A^(-18) + 2*A^(-16) - 2*A^(-14) - 3*A^(-12) + 3*A^(-8) + 2*A^(-6) - 2*A^(-2) - 1 + A^(4) PD[X[0,16,1,15],X[22,2,23,1],X[2,24,3,23],X[24,4,25,3],X[20,10,21,9],X[16,6,17,5],X[21,4,22,5],X[8,20,9,19],X[18,12,19,13],X[13,17,14,18],X[10,26,11,25],X[14,6,15,7],X[7,11,8,12]]; 0.113064655 -0.935231692 -0.335496746 k0.1 + 1 PD[]; -0.881009364 -0.199951419 0.428767921 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.866935274 -0.019050752 0.498056522 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.520450668 -0.699310574 0.489995738 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.934576546 -0.0834283657 -0.345841563 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.074515591 0.678750094 0.730579042 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[8,6,9,5],X[1,8,2,7],X[9,4,10,3],X[2,5,3,4]]; 0.10022229 -0.376673466 -0.920908569 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.737628369 -0.509720942 0.442819321 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.117706627 -0.743498046 0.658297657 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.853614868 0.0484856042 -0.518643233 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.878138078 -0.158960591 0.451226159 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0880034508 -0.98694792 -0.134867327 k0.1 + 1 PD[]; 0.537002248 -0.807468388 0.244179008 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[3,6,4,5],X[7,1,8,0],X[1,9,2,8],X[6,3,7,2],X[9,5,10,4]]; -0.770397121 0.0990925817 0.62981659 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.552770033 0.267764463 0.789143512 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[1,8,2,7],X[8,3,9,2],X[3,6,4,5],X[9,5,10,4]]; 0.543863347 0.734084432 -0.406611247 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.840090926 -0.49968322 -0.211101672 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.276106045 0.103147815 0.955576255 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.119739768 -0.326700975 0.937512059 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.668193795 -0.568776862 0.479593508 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.301179686 -0.0425540831 -0.952617419 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.479883608 0.160762723 0.862477286 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.500463736 0.491477908 -0.712731026 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.582897358 0.71411577 0.387645892 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.989752461 0.0973929601 -0.10442546 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.306529493 0.332880438 0.891756853 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[8,3,9,2],X[9,5,10,4],X[1,8,2,7],X[3,6,4,5]]; -0.701368128 0.676134943 0.225664106 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.691025566 -0.680600976 0.243446047 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.194846638 -0.847415234 -0.493884813 k0.1 + 1 PD[]; 0.532952912 -0.832594271 -0.150824316 k0.1 + 1 PD[]; -0.57305121 0.803102342 0.163214396 k0.1 + 1 PD[]; 0.0736456839 0.121034867 -0.989912559 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.0709413579 -0.983920946 0.163911242 k0.1 + 1 PD[]; -0.0740141053 -0.986518214 0.145957956 k0.1 + 1 PD[]; -0.313528182 -0.428066471 -0.847619712 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[2,9,3,8],X[5,4,6,3],X[4,10,5,9]]; -0.898496674 -0.376042257 -0.226486088 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.490484269 -0.391373895 0.778621639 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.331846786 -0.942532371 0.0388643746 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.662973364 0.267363307 0.699273324 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.305338835 -0.924157157 -0.229568608 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.298492759 0.786510686 0.540650547 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[2,5,3,4],X[6,2,7,1],X[0,6,1,5],X[7,4,8,3]]; 0.751057161 -0.389410422 -0.533172266 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.03478024 0.4555439 0.889533636 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.167263698 -0.291326893 0.941887199 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.0764874672 0.390926624 -0.917238269 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.0118518603 0.530668583 0.847496542 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.240849099 0.521508425 -0.818547906 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0545608017 -0.388123454 0.919990926 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.313555992 -0.916046894 -0.250081445 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.412304086 0.851305784 -0.324474658 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.176502115 -0.3623145 0.91519135 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.336708879 -0.223549347 -0.91468728 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.812765497 0.579103431 -0.0636511082 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.544962315 -0.793388907 -0.271201249 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.801459147 -0.11702412 0.586488355 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.436548324 -0.812762942 -0.385800417 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[0,10,1,9],X[10,2,11,1],X[2,5,3,6],X[3,8,4,7],X[8,5,9,4],X[6,12,7,11]]; 0.408980244 0.305808643 -0.859776851 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.108272699 0.717246972 -0.68835587 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.570920419 -0.0910940111 -0.815936123 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.488522437 -0.116025723 -0.864802787 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.696551345 0.0744157408 0.713637528 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.341888015 0.0926198533 0.935165305 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.511343643 0.710719519 -0.483120527 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.656018096 0.202024534 0.727204473 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.813111377 -0.375558404 0.444753611 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.70873239 0.509218084 0.488257455 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.398864407 -0.54503873 0.737455062 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.827929363 0.409349877 -0.383360989 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.845665056 0.436055673 -0.307743502 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.662743365 0.234978845 -0.711024736 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.670998921 -0.702223092 0.237998272 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.890123327 -0.444687128 -0.0996685592 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.311086775 0.892433374 0.326783859 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.0267941107 0.534841291 -0.844527601 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.352912291 0.237829784 0.904925361 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.45710919 -0.296765088 0.838440022 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.408627515 -0.141687619 -0.901636386 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.964828169 0.134187617 -0.226053728 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.624055892 0.74791194 0.226234335 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.803746559 0.330483174 -0.494744723 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.475187555 0.289795504 -0.830792004 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.418626915 -0.613078602 -0.669989652 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[4,3,5,2],X[5,9,6,8],X[3,10,4,9],X[7,2,8,1]]; -0.294893661 -0.825337731 -0.481513612 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[7,4,8,3],X[8,1,9,0],X[2,7,3,6],X[1,4,2,5],X[5,10,6,9]]; 0.44908075 0.131133324 0.883815892 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.441090335 0.68565636 -0.579063618 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.534121941 0.588010642 0.607418503 UNKNOWN - A^(-18) - 3*A^(-16) + 5*A^(-12) + 4*A^(-10) - A^(-8) - 4*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[10,1,11,0],X[4,14,5,13],X[1,16,2,15],X[7,5,8,6],X[12,4,13,3],X[16,3,17,2],X[17,7,18,6],X[8,14,9,15],X[11,9,12,10]]; 0.17649179 0.708980214 0.682786719 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + 2*A^(-12) + 4*A^(-10) - 3*A^(-6) + 2*A^(-2) + 1 - A^(2) PD[X[0,16,1,15],X[9,15,10,14],X[16,2,17,1],X[12,8,13,7],X[6,12,7,11],X[13,3,14,4],X[4,10,5,11],X[8,2,9,3],X[17,6,18,5]]; -0.740900555 0.238823938 0.627717687 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.00904954726 -0.43948042 -0.898206583 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.401948713 0.611810167 -0.681267606 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.691380781 0.722490391 0.000500371214 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.954547419 -0.112527946 0.276001242 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.409197218 0.861477223 0.300690257 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.228238305 -0.216033268 0.94933498 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.0773990038 0.0289035223 0.996581146 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.602733178 -0.240626376 0.760796729 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.804350662 0.594013347 -0.0129675097 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.370480665 -0.867652633 -0.331546355 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.982190785 0.187867271 0.00267400406 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0477283575 0.988888578 0.140788439 k0.1 + 1 PD[]; 0.532009912 -0.259770533 -0.805906151 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.672994619 0.70652199 -0.218871928 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.681996068 0.628877212 -0.373356151 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[10,3,11,2],X[3,10,4,9],X[6,12,7,11],X[4,2,5,1],X[7,6,8,5],X[0,9,1,8]]; -0.383801646 0.868254854 0.314372081 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.822267308 -0.549659114 -0.147483328 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.732189285 0.363262114 -0.576141899 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.168535386 0.915777069 0.364620603 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[3,0,4,1],X[7,2,8,1],X[2,9,3,8],X[6,5,7,4],X[5,10,6,9]]; 0.596945118 -0.585427683 -0.548571741 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.00866952696 0.0915250322 0.995765036 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.979897872 -0.126381922 0.154362466 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.910890893 0.152382521 0.383480571 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.966795636 0.17707341 -0.184258531 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0699418355 -0.996974637 -0.0339074233 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[6,1,7,0],X[1,6,2,5],X[4,3,5,2],X[3,8,4,7]]; 0.757818024 -0.648410649 0.0726324543 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.56398315 0.273899749 0.77903911 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[1,8,2,7],X[8,3,9,2],X[3,6,4,5],X[9,5,10,4]]; -0.0804143413 -0.61991709 0.780535928 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.896671972 0.184399682 0.402462584 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.693184177 0.394060717 -0.603499668 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.183580729 0.820860038 -0.540820593 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.996725977 0.021642499 -0.0779033368 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.816550006 0.577133728 -0.0127572739 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.675352236 -0.0833266606 -0.732772833 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.770101231 -0.0027586284 -0.637915735 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.596848238 -0.252819255 0.761481848 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.840075897 -0.286980286 -0.460342051 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.760788964 0.122523256 -0.63732896 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.293831929 -0.1446914 0.944842419 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.372451786 0.928045278 -0.0034102574 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.246999287 -0.964024076 0.098228984 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[2,5,3,4],X[6,2,7,1],X[7,4,8,3],X[0,6,1,5]]; -0.0595072944 0.422837604 0.904249547 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[7,5,8,4],X[1,6,2,5],X[9,4,10,3],X[2,9,3,8]]; -0.253790448 0.876044758 -0.410043888 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.192025255 -0.638110397 -0.745614795 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[0,7,1,8],X[1,12,2,11],X[12,3,13,2],X[6,3,7,4],X[8,5,9,4],X[5,10,6,9],X[10,14,11,13]]; 0.192657007 -0.402082173 0.895105136 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.591680402 -0.786409093 0.177412063 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[6,5,7,4],X[3,8,4,7],X[8,2,9,1],X[0,6,1,5],X[2,10,3,9]]; 0.23377333 -0.638445444 0.733305833 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.032846936 0.745350759 0.665862843 k0.1 + 1 PD[]; 0.45899038 0.298659669 0.836737852 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.152110536 0.387236957 -0.909345877 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.949590625 -0.303407217 0.0788777852 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.184167573 -0.977967034 -0.0982994656 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[0,10,1,9],X[1,4,2,3],X[2,13,3,14],X[11,6,12,5],X[12,9,13,8],X[6,11,7,10],X[4,7,5,8]]; -0.154306244 0.417013903 0.89570586 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.368689706 0.348191206 0.861876316 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.966273253 -0.255447229 -0.0325992866 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0295560025 -0.952053536 -0.304500422 k0.1 + 1 PD[]; 0.287376488 -0.751130682 -0.594321001 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,8,1,7],X[6,2,7,1],X[4,3,5,2],X[3,10,4,9],X[5,9,6,8]]; -0.00939374942 0.462424144 0.886609084 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[2,9,3,8],X[7,5,8,4],X[9,4,10,3],X[1,6,2,5]]; -0.320514552 -0.22146216 -0.920991278 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.551811866 0.709401112 0.438467475 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[1,8,2,7],X[8,3,9,2],X[3,6,4,5],X[9,5,10,4]]; -0.204244483 0.955721866 0.211848782 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[3,8,4,7],X[4,3,5,2],X[1,7,2,6]]; -0.0712580008 0.172078652 -0.982502537 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.99512386 0.0750224756 0.0640322748 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.406158377 -0.612782836 -0.677888316 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.422055092 0.47653164 0.771224413 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.754030389 -0.0972508041 -0.649600226 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.988333636 -0.148761526 0.0326593402 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.196082975 0.936983351 -0.28916028 k0.1 + 1 PD[]; 0.789868818 0.00543160512 -0.613251782 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.25906569 -0.569055174 0.780423716 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.302666399 0.52797726 -0.793494212 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.987374062 0.129683123 -0.0909656459 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.611901335 -0.697421251 -0.373068834 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.540410164 -0.792228733 0.283426339 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[1,9,2,8],X[9,5,10,4],X[6,3,7,2],X[3,6,4,5],X[7,1,8,0]]; 0.331529658 0.87033686 0.364145351 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[1,8,2,7],X[8,3,9,2],X[3,6,4,5],X[9,5,10,4]]; -0.218475258 0.944643045 0.244781696 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[1,10,2,9],X[4,9,5,8],X[6,1,7,0],X[5,2,6,3],X[7,4,8,3]]; 0.353140088 -0.109798689 0.929105121 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.69109517 0.204542194 -0.693217106 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.674839019 -0.730437075 0.105137899 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[8,5,9,4],X[2,5,3,6],X[9,2,10,1],X[3,8,4,7],X[0,7,1,6]]; 0.701446612 0.515325237 0.49235409 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.938305305 -0.0070465442 0.345736171 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.311696859 -0.081163787 -0.946708777 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.639642699 0.747763368 0.178065053 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[4,1,5,0],X[1,4,2,3],X[5,3,6,2]]; -0.675902705 -0.625679423 0.389462184 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0393176982 -0.739017426 0.672538001 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.759717534 -0.405753187 0.508127562 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0201910758 -0.437215794 -0.899129952 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.734274474 0.233332257 0.637492788 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.598846422 0.593297618 -0.537941352 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.802597181 0.262470483 0.535674351 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.605970728 0.537765151 0.586180962 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.853007985 0.492998849 -0.171258613 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.558134455 -0.57242414 0.60068006 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.00557540745 0.0125445073 -0.999905771 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.949823961 0.0763152199 -0.303332212 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.249292797 0.870422227 -0.424521198 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.241042268 0.143512798 0.959845145 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.901119 0.428667308 0.0650298926 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.332499754 0.103228677 -0.9374368 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0616058337 -0.510154618 -0.857873526 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.964204679 0.263940992 -0.0253867945 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.572807527 -0.0710527056 -0.816604586 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.948420026 0.13638179 0.286180818 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.960846766 0.250349716 0.118737158 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.822459284 -0.562453617 0.0848920182 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.86557929 -0.497329289 0.0586180161 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.101575779 -0.862301516 -0.496103272 k0.1 + 1 PD[]; -0.0887440301 -0.660496242 0.74556637 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.485357792 -0.131045003 0.864439137 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.0235511547 -0.661777966 -0.749329879 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.752391657 -0.40448881 0.519899603 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.712370133 0.391830326 -0.582235166 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.827063569 0.243663835 -0.506550875 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.351786513 0.652771724 -0.670921251 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.984653976 -0.167490444 -0.049025482 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.498843585 -0.327485065 -0.802439163 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.898690661 -0.434648873 0.0586127331 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.698591401 -0.361374536 0.617558499 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.96735658 0.251393759 -0.0319753848 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.28487894 -0.281129878 0.916411469 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.130471907 0.958944443 -0.251798803 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.370572604 -0.925831813 0.074238799 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.891158939 -0.45280234 0.028386394 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.626334203 0.682725063 -0.376287064 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[5,3,6,2],X[4,9,5,8],X[9,4,10,3],X[1,8,2,7]]; 0.573256592 0.391065254 -0.720031143 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.699013945 0.484586304 0.525885557 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.0431349909 -0.373950451 -0.926445051 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[2,9,3,8],X[5,4,6,3],X[4,10,5,9]]; 0.23265442 0.874799318 -0.424968321 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.337038312 0.901834806 -0.27036856 k0.1 + 1 PD[]; -0.191731374 0.941951962 0.275618544 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[6,1,7,0],X[5,2,6,3],X[7,4,8,3],X[1,10,2,9],X[4,9,5,8]]; -0.767788834 -0.120125182 0.629341121 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.23095361 0.933335334 -0.274855569 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.935896092 -0.212480949 -0.280981051 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.398902947 0.753782104 -0.522196303 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.713723085 -0.406169475 0.570636238 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.307250348 -0.0653657255 -0.949381138 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.519658495 -0.592234261 -0.615803238 UNKNOWN - A^(-18) - 3*A^(-16) + 5*A^(-12) + 4*A^(-10) - A^(-8) - 4*A^(-6) - A^(-4) + A^(-2) + 1 PD[X[0,11,1,10],X[5,7,6,8],X[15,2,16,1],X[13,5,14,4],X[2,17,3,16],X[14,8,15,9],X[6,18,7,17],X[9,11,10,12],X[3,13,4,12]]; -0.0585801041 -0.534498566 0.843136795 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.638657966 0.0635546638 0.766861661 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.303254464 -0.625944147 -0.718491931 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[0,12,1,13],X[5,15,6,14],X[11,3,12,4],X[1,19,2,18],X[15,9,16,10],X[13,5,14,4],X[7,21,8,20],X[16,22,17,21],X[6,10,7,11],X[19,3,20,2],X[17,9,18,8]]; -0.960571142 0.276748885 0.0267045936 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.861460161 0.50674366 0.0331248152 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.93628501 0.325667145 -0.13157238 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.934252785 0.237102482 -0.266372196 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.792870841 -0.291796713 0.534986456 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.236965752 0.220405178 -0.946186446 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.317309564 0.709859479 -0.628819657 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.103254615 0.966056813 -0.236796788 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.187471536 0.884170803 -0.427897668 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.289373647 -0.935299362 0.203661473 k5.28 + A^(-14) + A^(-12) - 2*A^(-10) - 2*A^(-8) + 2*A^(-4) + A^(-2) PD[X[11,3,12,2],X[1,11,2,10],X[9,6,10,7],X[3,8,4,7],X[8,5,9,4],X[0,5,1,6]]; 0.543452759 -0.579106848 0.607695942 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.802862922 -0.173614182 0.570323806 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.53489267 0.503618092 -0.67842365 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; -0.52812956 0.83828131 0.135512408 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[3,10,4,9],X[8,3,9,2],X[6,12,7,11],X[0,11,1,10],X[4,1,5,2],X[7,6,8,5]]; 0.559952625 0.190471982 0.806333357 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.416524445 -0.900619121 -0.124066862 k0.1 + 1 PD[]; -0.670110042 0.716968373 0.192116848 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.131454923 0.950083554 -0.282950251 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.488690308 0.417431255 -0.766115481 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.440034061 0.407745345 -0.800071096 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.8093128 -0.555622096 -0.190517397 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.816038718 0.577151666 0.0312532485 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.769764636 -0.454138489 0.448576234 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0513804316 -0.990883722 0.124537148 k0.1 + 1 PD[]; 0.058455584 0.784887731 0.616874537 k0.1 + 1 PD[]; 0.772576437 0.247283746 -0.584787481 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.776210976 0.358580839 -0.518571406 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.577323315 0.532426257 0.619047713 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[1,8,2,7],X[8,3,9,2],X[3,6,4,5],X[9,5,10,4]]; -0.793050945 -0.124422509 0.596313037 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.146044469 -0.837945392 0.525850295 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.7528539 -0.565800978 -0.336274083 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.427208394 0.888388742 -0.168102445 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[3,2,4,1],X[2,8,3,7],X[5,1,6,0],X[4,7,5,6]]; -0.607197158 0.754160915 -0.250105829 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[8,5,9,4],X[7,1,8,0],X[1,11,2,10],X[11,3,12,2],X[6,3,7,4],X[5,10,6,9]]; 0.437298536 -0.83885539 0.324178384 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[0,8,1,7],X[10,2,11,1],X[2,12,3,11],X[3,6,4,7],X[4,9,5,8],X[9,6,10,5]]; -0.51593373 -0.684806293 0.514638443 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.626780677 0.700176279 -0.341905193 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.566420343 -0.336011009 -0.752505546 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,9,1,8],X[4,2,5,1],X[10,3,11,2],X[3,10,4,9],X[7,6,8,5],X[6,12,7,11]]; 0.657146155 -0.203868388 -0.725669768 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.823752461 0.400283797 -0.401503131 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.200761672 -0.328639723 -0.922870892 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.597797344 0.600139642 0.53147977 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.795726922 0.448585806 -0.406926824 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.260422654 -0.278906325 -0.924332896 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,2,5,1],X[3,10,4,9],X[10,3,11,2],X[0,9,1,8],X[7,6,8,5],X[6,12,7,11]]; 0.273829284 0.285216516 0.918514595 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[8,5,9,4],X[0,4,1,3],X[2,11,3,10],X[9,2,10,1],X[5,8,6,7],X[11,7,12,6]]; -0.926197091 0.371563778 0.0640258291 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.657828972 0.734287688 -0.167578741 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[5,1,6,0],X[9,3,10,2],X[7,4,8,3],X[4,7,5,6],X[1,9,2,8]]; -0.535416385 0.460714492 0.707864007 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.887749576 -0.0261098868 0.459585644 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.278491348 0.390255482 -0.877578047 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.341318472 0.760230545 -0.552766875 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.981203512 -0.104949968 -0.161941877 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.775232715 -0.0643854642 0.628385828 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.420217573 0.670874162 0.611019681 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[9,1,10,0],X[1,11,2,10],X[5,2,6,3],X[7,4,8,3],X[4,9,5,8],X[11,7,12,6]]; 0.772423753 -0.284040665 0.568051447 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.272593276 -0.321168142 0.906942077 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.810619806 0.585572761 0.000266579445 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.0689900959 -0.904375296 -0.421124318 k0.1 + 1 PD[]; -0.0866784312 -0.828976145 0.552526379 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.818927561 -0.57254592 0.0393550573 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.525955496 -0.746054276 -0.408379522 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.482707565 0.475616699 0.735378924 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.834881652 -0.182380927 -0.519335946 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.400387515 0.145858234 -0.904663038 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.295632633 0.920678445 0.254857894 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.0718324967 -0.0393522961 -0.9966401 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.237018871 -0.518319819 0.821685232 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.961281 0.0262865138 -0.274313432 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.274390356 0.614224778 0.739890434 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.909822734 0.131212054 -0.393708001 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.535021653 -0.38713401 -0.75091883 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,9,1,8],X[4,2,5,1],X[10,3,11,2],X[3,10,4,9],X[7,6,8,5],X[6,12,7,11]]; -0.962060992 -0.0497897126 -0.268252926 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.505665989 0.0992080853 -0.857006221 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.958990989 -0.265817537 0.0983733651 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.552142202 -0.0915639675 -0.828706841 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.744515585 0.505129792 -0.436509378 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.161154267 0.692834566 -0.702858141 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.265017257 -0.551852456 0.790711528 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.81379592 0.580864299 0.0182446321 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.768091131 -0.62727048 -0.128715811 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.737216848 -0.311871277 -0.599372693 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.541758734 -0.791410657 -0.283137152 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.275426698 -0.944702049 -0.17798363 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,4,2,3],X[7,3,8,2],X[6,5,7,4]]; 0.774163059 0.460190756 -0.434621704 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.226059668 0.74588779 -0.626536856 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0382355115 0.130334528 0.990732535 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.930295283 0.118710854 0.347071203 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.980235887 -0.195474602 0.0304513606 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.612142815 0.247906324 0.750881901 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.937221954 -0.324221534 -0.128434446 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.682783147 -0.54183006 -0.490129943 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[6,12,7,11],X[2,5,3,6],X[3,8,4,7],X[8,5,9,4],X[10,2,11,1],X[0,10,1,9]]; -0.825877483 0.0404022878 0.562400247 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.917468684 0.00341680596 0.397793337 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.970345297 -0.13990513 0.197120673 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.794026721 -0.0799330121 0.60260458 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.148576148 -0.953735846 -0.261367682 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.796945264 0.271185076 0.539756334 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.223050145 0.598183681 0.769691443 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[5,0,6,1],X[9,2,10,1],X[10,8,11,7],X[2,9,3,8],X[6,5,7,4],X[3,12,4,11]]; -0.530176511 -0.847458667 -0.0269569 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.447137793 0.665268912 -0.59790055 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.790191542 0.238763127 -0.564437327 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.900949376 0.234478148 0.365116721 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.78619066 0.50094567 -0.361880757 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.989605692 0.0319026389 0.140224093 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.724542468 0.0287195912 0.688631539 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.851237307 0.0497982333 -0.522412848 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0617324865 -0.120189957 -0.99082969 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.552995654 0.819486655 -0.150457399 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[1,7,2,6],X[4,3,5,2],X[3,8,4,7]]; 0.252205478 0.181867936 -0.950429614 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.580895403 -0.268836312 -0.768301743 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[2,9,3,8],X[5,4,6,3],X[4,10,5,9]]; 0.712641065 0.34710542 -0.60963968 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.530458261 -0.826182515 -0.189832784 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.488714589 0.18383394 0.852855869 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.955594746 0.286595889 0.0685673198 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.16185515 0.301382458 0.939665645 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[9,2,10,1],X[2,11,3,10],X[8,5,9,4],X[5,8,6,7],X[11,7,12,6]]; -0.34216818 0.42582795 -0.837610586 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.666212834 0.397662317 -0.630892338 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.318439195 -0.788847962 -0.525657086 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[3,8,4,7],X[4,3,5,2],X[1,7,2,6]]; -0.0103629802 0.125347902 0.992058724 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.595067948 0.682491874 -0.424380701 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.229593436 -0.437897875 0.869213613 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.748747288 0.330622269 0.574514068 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.543517916 0.838489665 0.0390301952 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[3,2,4,1],X[2,8,3,7],X[4,7,5,6]]; -0.361719222 -0.292100112 -0.885345542 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,2,5,1],X[10,3,11,2],X[3,10,4,9],X[6,12,7,11],X[7,6,8,5],X[0,9,1,8]]; 0.400261365 -0.284722689 0.871047548 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.012935751 0.94255223 -0.333808267 k0.1 + 1 PD[]; -0.42718762 -0.756969506 0.494477404 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.513243759 0.837981981 0.185383501 k0.1 + 1 PD[]; -0.969188649 0.0705563897 -0.235998216 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.838227333 0.0288269264 -0.544558487 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.308159379 -0.847113689 0.432939021 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.647902155 0.00619646514 -0.761698367 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.829205795 -0.240207775 -0.504695922 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.309464943 0.477143836 -0.822535841 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0225856296 0.741411695 0.670670253 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.496874967 0.845661438 -0.194864051 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.422176098 -0.606614172 0.673636837 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.332736246 -0.220837029 -0.916797468 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.570593729 -0.802935415 -0.172387687 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.474953501 0.49888623 0.724935653 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.71203694 0.602110802 0.361200745 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.530620048 0.374664918 0.760308203 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[9,2,10,1],X[2,11,3,10],X[0,4,1,3],X[8,5,9,4],X[5,8,6,7],X[11,7,12,6]]; -0.5798235 0.537880486 0.611955302 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.603392836 -0.502928082 0.618854126 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.996507053 -0.059274532 -0.0588236549 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.542267122 0.062915463 0.837847249 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.102316187 0.818301806 0.565609009 k0.1 + 1 PD[]; 0.528692436 0.449934885 0.719751976 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0797333346 -0.633367984 0.769732156 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.921396455 0.260758024 -0.288155905 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0639360561 -0.427046695 -0.901966352 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.59710062 0.513907016 0.615930539 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.182279828 0.48142521 -0.857323644 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.59330028 0.40663475 0.694725095 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.164151708 -0.983997372 -0.0693064821 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[0,8,1,7],X[8,2,9,1],X[2,7,3,6],X[5,4,6,3],X[4,10,5,9]]; -0.661390835 0.53374087 0.52695621 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.844744134 0.227270523 -0.484515694 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.998620694 0.0282147286 -0.0442791064 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.289592041 0.607469802 0.739673502 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[12,0,13,1],X[7,17,8,16],X[9,5,10,6],X[3,11,4,12],X[20,18,21,17],X[15,7,16,6],X[21,9,22,8],X[4,14,5,13],X[18,2,19,1],X[2,20,3,19],X[10,14,11,15]]; 0.505208768 -0.000488001478 -0.862997023 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.30736526 -0.170277585 -0.936232952 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.669459215 0.657977997 0.344803299 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.908803104 -0.398350672 -0.124071192 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.243433293 0.177364336 0.953562858 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.719276634 0.318709192 0.617305091 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0929790309 -0.828723182 0.551881135 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.535044663 0.0380405351 0.843966899 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0388330155 -0.938223693 0.343843422 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.853491486 0.505320748 -0.127291893 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.516230069 -0.823209306 -0.236289978 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.47176206 0.669196501 -0.574122463 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.761178252 0.141804749 -0.632849968 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.985960673 -0.0993859683 0.134178912 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.44682646 -0.633153121 0.632031043 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.0306684189 -0.962109277 0.270933915 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.890970244 0.144379173 -0.430495853 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.6262691 -0.767915743 -0.13450809 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.987098708 0.0876016748 -0.134022714 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0230774452 -0.150976318 -0.988267971 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[2,9,3,8],X[5,4,6,3],X[4,10,5,9]]; -0.486518488 -0.767249861 -0.417884448 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[2,9,3,8],X[5,4,6,3],X[4,10,5,9]]; -0.6061311 -0.636748382 0.47660947 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.64234456 0.554486193 0.529092173 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.560137682 -0.824730236 -0.0778833502 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[6,2,7,1],X[2,5,3,4],X[7,4,8,3]]; -0.563743713 0.80367528 0.190523151 k0.1 + 1 PD[]; -0.783913779 0.0795296814 0.615754997 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.380844206 0.850829121 -0.362004831 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.320658911 -0.683275878 -0.655981659 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[4,8,5,7],X[5,2,6,1],X[3,10,4,9],X[8,3,9,2]]; 0.861614906 -0.345818054 0.371523388 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.955845953 0.12040192 0.268070684 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.678258036 0.232633647 0.697027706 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.388098951 0.540693681 -0.746344121 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.303537052 0.156615322 0.939860042 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.312030665 0.0533534681 0.948572755 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.367340766 0.00782144162 -0.93005354 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.36180959 0.474803305 -0.802281523 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.769721154 -0.625609271 -0.127052689 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.821037575 -0.407951829 0.399340213 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.983870467 -0.170248655 0.0549026406 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.686187457 0.679114262 -0.260673347 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[0,8,1,7],X[8,2,9,1],X[4,10,5,9],X[2,7,3,6],X[5,4,6,3]]; -0.892737808 -0.0960438365 0.440221294 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.459328287 -0.801608127 0.382677326 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.97267064 0.172677845 -0.155223027 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.236134666 -0.575917207 -0.78266199 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.284830609 -0.247544657 -0.926063263 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,9,1,8],X[7,2,8,1],X[5,3,6,2],X[11,4,12,3],X[6,10,7,9],X[4,11,5,10]]; -0.821486203 -0.369807287 0.43405413 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.750219186 0.622871895 -0.221814733 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.587874638 -0.490338482 -0.643406235 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.428486815 0.575823995 -0.696294317 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; -0.4347557 -0.394934128 0.809329671 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.866594032 0.476278498 0.148907944 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.655612353 0.0579837427 0.752868068 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.992235774 -0.11468207 0.0481268349 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.212845394 0.858287277 0.466947308 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[0,7,1,6],X[5,2,6,1],X[2,5,3,4],X[7,4,8,3]]; 0.577112093 -0.677463057 0.456054205 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.171211132 0.839694764 0.515363417 k0.1 + 1 PD[]; 0.715332085 0.319735455 0.621344709 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.257434318 0.0231428326 -0.966018624 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.733910246 -0.664202016 -0.142166923 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.161572837 0.943254841 -0.290111226 k0.1 + 1 PD[]; 0.51099669 0.247573278 -0.823158463 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.312333487 0.198503201 0.929001761 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.616749967 0.635610872 -0.464347174 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.296034127 -0.799175913 0.523145922 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.875692601 -0.471839491 -0.10261561 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.301932312 0.923532585 -0.236483494 k5.28 + A^(-14) + A^(-12) - 2*A^(-10) - 2*A^(-8) + 2*A^(-4) + A^(-2) PD[X[9,1,10,0],X[6,11,7,12],X[1,11,2,10],X[7,4,8,3],X[4,9,5,8],X[5,2,6,3]]; 0.687140553 0.721447983 0.0857360433 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.956116289 0.227751393 -0.184312084 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.154779035 -0.987562979 -0.0276190839 k5.28 + A^(-14) + A^(-12) - 2*A^(-10) - 2*A^(-8) + 2*A^(-4) + A^(-2) PD[X[0,5,1,6],X[11,3,12,2],X[9,6,10,7],X[3,8,4,7],X[8,5,9,4],X[1,11,2,10]]; 0.130510765 0.450272211 -0.88330169 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.37240196 -0.846729658 -0.379954821 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.85418234 0.0758917413 -0.514405456 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.243218332 0.120481951 0.962459839 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.964082872 -0.0254149662 -0.264382858 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.522535255 0.847854258 -0.0900003556 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.832181256 -0.553857524 0.0267619309 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0963345853 0.966975289 -0.235962789 k0.1 + 1 PD[]; -0.594502385 0.0234800247 -0.803750958 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.712196997 -0.626396191 -0.316864718 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.460036598 -0.853394812 0.245119612 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.397457506 -0.718859945 0.570322637 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.48616333 0.860812044 -0.150491999 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[2,9,3,8],X[4,10,5,9],X[6,2,7,1],X[5,4,6,3],X[0,8,1,7]]; -0.0391195402 -0.976740668 0.210825352 k0.1 + 1 PD[]; -0.593959982 -0.507799246 -0.623980341 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[2,9,3,8],X[5,4,6,3],X[4,10,5,9]]; 0.980847359 -0.0449275863 0.189525645 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.391587482 0.280345994 0.876393387 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[7,5,8,4],X[1,6,2,5],X[9,4,10,3],X[2,9,3,8]]; -0.0963696903 0.871338755 0.481125406 k0.1 + 1 PD[]; 0.485417505 0.268993632 0.83187275 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.520447757 -0.824606954 -0.221714916 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.701521001 -0.408338066 0.584061906 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.288524367 0.257441528 -0.922213397 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.462258696 -0.55741352 0.689642708 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.174580195 0.876064034 0.449481439 k0.1 + 1 PD[]; -0.960976171 -0.195063206 0.19615082 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.243626046 0.30787594 -0.919705798 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.411613626 0.10079802 -0.905767068 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.222911957 -0.974813907 0.00693583721 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,4,2,3],X[7,3,8,2],X[6,5,7,4]]; -0.560809614 0.827562636 -0.0251527447 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[3,2,4,1],X[2,8,3,7],X[4,7,5,6]]; 0.999904232 0.0124657346 -0.00601093424 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.207450913 -0.774281597 0.597873002 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.804801929 0.245328192 0.540470104 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.631607079 0.67234042 -0.386045149 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.654490271 -0.118369321 -0.746747072 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.481602643 -0.730000693 -0.484930803 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,8,2,7],X[9,4,10,3],X[5,9,6,8],X[6,3,7,2],X[0,5,1,4]]; 0.432059696 -0.892210947 -0.131468795 k0.1 + 1 PD[]; -0.806164946 0.0528154029 -0.589328952 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.623563124 -0.759174762 -0.186608443 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.420766766 -0.452860032 -0.786049057 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.876368005 -0.415466258 -0.243653255 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.820338368 0.550576374 -0.15463059 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.57923289 0.645759037 -0.497478166 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.311343961 -0.945365721 0.0966881174 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.862511624 0.253300522 0.438078239 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.415877071 0.503708282 0.757181767 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.681961901 0.730827322 0.0286249956 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.436824796 0.395132445 -0.808117843 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.19588318 -0.0626355834 0.978624833 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0137741981 -0.210175209 0.9775667 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,5,1,6],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[6,4,7,5]]; 0.476818897 -0.873525008 0.0979683651 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[1,4,2,3],X[7,3,8,2],X[0,6,1,5],X[6,5,7,4]]; -0.817432933 0.00600269393 -0.575992507 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.952526639 -0.0122382874 -0.304209183 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.261230676 -0.0399111077 0.964450951 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.404792198 0.616158259 0.675642122 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[2,5,3,4],X[8,6,9,5],X[9,4,10,3],X[1,8,2,7]]; 0.00844894691 -0.989032984 -0.147452945 k0.1 + 1 PD[]; 0.968634734 -0.190319089 0.159766696 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.13537104 0.399952167 -0.906483836 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.928663474 0.36548553 -0.0632809564 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.573563759 -0.674413597 0.464963347 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.558506504 -0.827776877 -0.053440867 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.39707953 -0.240672533 0.885666178 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.496815682 0.810037532 -0.311469702 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[5,1,6,0],X[1,9,2,8],X[9,3,10,2],X[4,7,5,6],X[7,4,8,3]]; -0.0286130811 -0.309805372 0.950369361 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.460821262 -0.0731956935 -0.88446942 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.624794885 -0.767791848 0.141869761 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[2,5,3,6],X[3,8,4,7],X[9,2,10,1],X[8,5,9,4],X[0,7,1,6]]; 0.216929957 -0.942241002 0.255192649 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.17419555 -0.966987932 -0.185984541 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[2,5,3,4],X[6,2,7,1],X[7,4,8,3],X[0,6,1,5]]; -0.0388022886 0.709298619 0.703839365 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[2,9,3,8],X[7,5,8,4],X[9,4,10,3],X[1,6,2,5]]; -0.110320582 -0.897200874 0.427621283 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.497925359 -0.182907286 0.84771178 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.476456834 -0.863930842 -0.163133031 k4.7 - A^(-4) + 2 + A^(2) - A^(6) PD[X[0,6,1,5],X[6,2,7,1],X[4,2,5,3],X[3,7,4,8]]; -0.71066429 0.316550714 0.628292855 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.641504654 -0.0603824801 -0.764738998 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.46226299 0.705037218 -0.537806145 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,2,8,1],X[2,9,3,8],X[9,4,10,3],X[4,7,5,6]]; -0.585615859 -0.437874974 0.682143367 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.194604673 0.341393626 -0.919553921 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.202714618 0.939545453 -0.275973051 k0.1 + 1 PD[]; 0.782859093 0.315245016 0.53642541 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.307590213 0.351438681 0.884239286 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[9,5,10,4],X[1,8,2,7],X[8,3,9,2],X[3,6,4,5]]; -0.772309939 0.319260889 -0.549190169 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.321222162 0.946652348 -0.0258002747 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[3,2,4,1],X[2,8,3,7],X[5,1,6,0],X[4,7,5,6]]; 0.209750717 0.584871922 0.783536516 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[6,2,7,1],X[2,5,3,4],X[7,4,8,3]]; -0.30351213 0.618593501 0.724722338 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[12,0,13,1],X[8,18,9,17],X[21,17,22,16],X[10,14,11,15],X[2,20,3,19],X[3,11,4,12],X[18,2,19,1],X[4,14,5,13],X[20,8,21,7],X[9,5,10,6],X[15,7,16,6]]; 0.151498926 0.310207829 0.938519674 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[2,0,3,1],X[3,2,4,1],X[5,9,6,8],X[13,8,14,7],X[6,15,7,14],X[12,5,13,4],X[9,12,10,11],X[15,11,16,10]]; 0.472731026 0.205393567 0.856935738 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.172997588 -0.915480496 0.363273033 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.226269833 0.833247369 0.504480708 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[3,0,4,1],X[1,8,2,7],X[6,3,7,2],X[4,9,5,8],X[9,6,10,5]]; 0.49521134 -0.0298967708 0.868257976 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.755918063 0.653453912 -0.0398229333 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.275929181 -0.940192115 0.199754534 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.425069042 0.443450595 0.789093074 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.813850856 0.481744296 -0.324914169 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.714188351 -0.636791751 -0.290570586 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.385039071 -0.593426472 0.706816763 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.613360476 -0.787677853 0.0579010029 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[6,2,7,1],X[2,5,3,4],X[7,4,8,3]]; -0.942051048 0.173950135 -0.286846953 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.933776535 -0.162738664 -0.318712268 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.17328642 0.420112255 0.890773546 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.700319175 0.624381859 -0.34597738 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.445340309 -0.787235702 -0.426534827 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[2,9,3,8],X[5,4,6,3],X[4,10,5,9]]; -0.262916759 0.955783914 -0.131726562 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[3,2,4,1],X[2,8,3,7],X[4,7,5,6]]; -0.118211687 0.371605114 -0.920834207 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.870453191 -0.203093242 -0.448402026 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.291733169 0.0356992045 -0.955833314 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.674043008 -0.441269396 -0.592408089 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.37210904 0.791496462 0.484838336 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[9,1,10,0],X[1,11,2,10],X[5,2,6,3],X[7,4,8,3],X[4,9,5,8],X[11,7,12,6]]; 0.0109398426 -0.320025197 -0.947345868 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[5,2,6,1],X[8,3,9,2],X[3,10,4,9],X[4,8,5,7]]; -0.263673742 0.456529244 0.849739494 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.858129302 0.447748866 -0.251266897 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0213168513 -0.519220378 -0.854374503 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.448269112 0.662588655 -0.600025898 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.848702686 0.512071268 -0.132237537 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.531194099 0.840733445 0.104881377 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[2,9,3,8],X[0,8,1,7],X[5,4,6,3],X[6,2,7,1],X[4,10,5,9]]; 0.242983692 -0.512572198 -0.823546397 UNKNOWN + A^(-20) - 3*A^(-16) + 4*A^(-12) + 2*A^(-10) - 4*A^(-8) - 4*A^(-6) + 2*A^(-4) + 4*A^(-2) + 1 - 2*A^(2) - A^(4) + A^(8) PD[X[1,11,2,12],X[10,2,11,3],X[17,1,18,0],X[9,19,10,20],X[3,21,4,20],X[16,5,17,6],X[13,7,14,6],X[7,15,8,14],X[15,9,16,8],X[21,5,22,4],X[18,12,19,13]]; -0.735925915 0.247833686 -0.630072624 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0917971818 -0.568666425 -0.817429982 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.823370693 -0.173775903 -0.540243128 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.245223481 0.426971822 0.870379519 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.69886134 -0.528498955 -0.481956099 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.553798397 -0.44029914 -0.706713522 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.44065635 -0.227942201 0.868253612 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.505760336 0.504298704 0.699920924 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0681484594 0.970049407 0.233152171 k0.1 + 1 PD[]; 0.175813488 0.283401645 -0.942747646 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.610956503 -0.703657068 -0.362765602 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.728637556 -0.371295346 -0.575523308 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.377751953 0.64244897 0.666755415 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[1,8,2,7],X[8,3,9,2],X[3,6,4,5],X[9,5,10,4]]; -0.430634828 0.215625519 0.876389914 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.588973014 0.0687061994 -0.80522683 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.273190118 -0.727913165 -0.628895526 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[8,5,9,4],X[0,3,1,4],X[2,7,3,6],X[7,2,8,1],X[5,10,6,9]]; -0.655255156 0.75132842 -0.0783982505 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[7,4,8,3],X[5,10,6,9],X[2,9,3,8],X[6,1,7,0],X[4,1,5,2]]; -0.18593802 0.446822503 0.875086683 k6.12 - A^(-24) - A^(-22) + A^(-20) + 2*A^(-18) - A^(-16) - 2*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) - A^(-6) PD[X[7,1,8,0],X[5,2,6,1],X[11,3,12,2],X[4,14,5,13],X[12,10,13,9],X[8,6,9,7],X[3,11,4,10]]; 0.343400954 -0.882126773 0.322378879 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.717598246 0.0997958992 0.689270292 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.925625206 0.256956588 0.277833205 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.961293828 -0.22535323 0.158524755 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.470742456 -0.481626296 -0.739214212 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[0,9,1,8],X[9,2,10,1],X[2,11,3,10],X[7,4,8,3],X[4,7,5,6],X[5,11,6,12]]; -0.49121058 -0.715955958 0.496104054 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.41588986 -0.831162541 0.369058877 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.33049413 -0.199333799 0.922518112 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.281531315 0.0245783896 -0.959237208 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.180416073 -0.897335319 -0.402789481 k0.1 + 1 PD[]; 0.137068692 0.290058465 -0.947142154 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.882701436 0.450984238 -0.132103719 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.214206947 -0.563470219 -0.797882633 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[1,7,2,6],X[4,3,5,2],X[3,8,4,7]]; -0.6022283 -0.135499625 0.786740698 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0378360714 0.914292892 -0.403282703 k0.1 + 1 PD[]; -0.548121823 0.322133811 -0.771875816 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.444190193 -0.864773476 0.234226188 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.230372986 -0.260839933 0.937491769 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.552415723 0.82385451 0.126888201 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.0971767024 0.694951917 -0.712459488 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.0904335418 0.227200408 0.96964001 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[1,8,2,7],X[2,5,3,4],X[9,4,10,3],X[8,6,9,5]]; 0.9024901 0.0778750134 -0.423611972 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.549761539 -0.141157767 0.823308408 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.470567262 0.831899031 -0.294126595 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[5,1,6,0],X[1,9,2,8],X[9,3,10,2],X[7,4,8,3],X[4,7,5,6]]; -0.838748778 0.307964566 0.449063819 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.401395163 -0.510889398 0.760180207 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.943263824 0.240183411 -0.229271207 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.923349159 -0.272791037 0.27020618 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.188455782 0.921119399 -0.340622181 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.946467644 -0.160423355 0.280113096 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.637426908 0.691705162 -0.33945678 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.372378366 -0.921449274 0.110750115 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,4,2,3],X[7,3,8,2],X[6,5,7,4]]; -0.546695783 -0.578333988 0.605519215 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.301606098 0.895115422 -0.328332368 k5.28 + A^(-14) + A^(-12) - 2*A^(-10) - 2*A^(-8) + 2*A^(-4) + A^(-2) PD[X[6,1,7,2],X[5,10,6,11],X[2,12,3,11],X[7,4,8,3],X[4,9,5,8],X[9,1,10,0]]; 0.341056902 0.917547046 -0.204420174 k5.28 + A^(-14) + A^(-12) - 2*A^(-10) - 2*A^(-8) + 2*A^(-4) + A^(-2) PD[X[9,1,10,0],X[1,11,2,10],X[5,2,6,3],X[7,4,8,3],X[4,9,5,8],X[6,11,7,12]]; 0.527665862 -0.51864037 0.672741335 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.856034632 -0.19848261 0.47729379 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.522328061 0.0601752275 0.850618798 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.632678651 -0.606560525 0.481458257 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.219677017 -0.585069477 -0.780663637 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[3,8,4,7],X[4,3,5,2],X[1,7,2,6]]; 0.206402755 0.12459533 -0.970501884 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.340612596 -0.284770617 0.896040599 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.31853961 -0.340208944 0.884754424 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.976274236 -0.0426752054 -0.21229094 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.450513157 -0.567448178 -0.68923179 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,7,1,6],X[7,2,8,1],X[4,10,5,9],X[5,4,6,3],X[2,9,3,8]]; 0.680519561 0.7254594 0.102964974 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.847282601 0.489034287 0.207262299 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.548031748 0.079050435 -0.832713776 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.948120668 0.0768450732 0.30848344 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.985241735 -0.078914011 -0.151892407 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0662644316 0.783480109 0.617873728 k0.1 + 1 PD[]; -0.244605722 0.967034238 0.0708012907 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[4,1,5,0],X[1,8,2,7],X[6,3,7,2],X[3,6,4,5]]; -0.92692718 -0.272251383 0.258234752 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.478292153 0.22162425 0.849776034 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.919895328 -0.0463151289 0.389419432 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.674224299 -0.442145552 -0.591547889 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[0,8,1,7],X[8,2,9,1],X[2,7,3,6],X[5,4,6,3],X[4,10,5,9]]; 0.243826206 0.962840222 -0.116135645 k0.1 + 1 PD[]; -0.449015325 -0.829943532 -0.331027146 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.979766347 0.189781067 0.0635692696 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.607065051 0.318958286 -0.727830774 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.466582724 -0.840634998 -0.275015203 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.25887498 -0.937285632 -0.233408202 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[1,4,2,3],X[7,3,8,2],X[0,6,1,5],X[6,5,7,4]]; 0.275331324 -0.73656997 -0.617784219 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,8,1,7],X[6,2,7,1],X[2,9,3,8],X[5,4,6,3],X[4,10,5,9]]; -0.929799659 0.143952507 -0.338748093 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0270599169 -0.422266882 0.90606757 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.0785802229 0.530413082 -0.844089516 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.451904966 0.841761693 -0.29532889 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.0532577781 0.750349131 -0.658892852 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.242425201 0.860751967 0.44758918 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[1,8,2,7],X[4,9,5,8],X[6,3,7,2],X[3,0,4,1],X[9,6,10,5]]; 0.476516606 0.844521956 0.244365687 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.700277835 -0.218536283 -0.679597563 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0776592645 0.695111685 -0.714694888 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.358694597 0.0745037393 -0.930476963 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.513933391 0.170092887 -0.840797764 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.533118665 0.438004508 0.723834608 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.860854282 -0.499738443 -0.0958717549 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.00230916163 0.644798316 0.764349265 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.50124727 0.222853677 0.836114474 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.657582836 0.498976233 0.564453305 k5.22m - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 3*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[9,1,10,0],X[1,11,2,10],X[5,2,6,3],X[7,4,8,3],X[4,9,5,8],X[11,7,12,6]]; -0.491916297 -0.834105558 0.249572182 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.560736338 -0.524205909 0.640923494 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.387411914 -0.91391918 0.121093935 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[1,4,2,3],X[7,3,8,2],X[6,5,7,4]]; -0.585776431 -0.124714385 -0.800819764 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.824784493 -0.438979565 0.356409149 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.210311371 -0.880277423 0.425300818 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.792359452 -0.606322259 -0.0673781638 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.964715589 -0.178781225 -0.193290213 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0156075759 0.985387887 -0.169608711 k0.1 + 1 PD[]; 0.780673716 -0.418140706 -0.464442568 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.128145809 -0.330712316 0.934990917 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.069595546 0.979155126 -0.190818498 k0.1 + 1 PD[]; -0.00756655013 0.99390146 -0.11001198 k0.1 + 1 PD[]; 0.469951523 -0.574715095 -0.669961287 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.682749901 -0.686486777 -0.250176893 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.193990877 -0.577899982 -0.792716311 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[0,12,1,13],X[1,19,2,18],X[5,21,6,20],X[15,7,16,6],X[13,9,14,10],X[7,17,8,16],X[11,3,12,4],X[4,10,5,11],X[17,9,18,8],X[19,3,20,2],X[14,22,15,21]]; 0.169246806 -0.216898823 -0.96141064 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.516782585 0.848828132 -0.111474488 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[4,1,5,0],X[6,2,7,1],X[2,8,3,7],X[3,6,4,5]]; -0.407382932 0.803476379 0.434125391 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.807466202 0.167104414 0.565751225 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.797524203 0.172723161 0.578032746 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0482680028 -0.996422823 0.0693668402 k3.2 + A^(-8) - A^(-4) - A^(-2) + 1 + A^(2) PD[X[0,3,1,4],X[5,2,6,1],X[2,5,3,4]]; 0.562456221 0.810726464 0.162374873 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.460751962 -0.832255832 -0.308314547 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.693943242 -0.342023422 0.633610887 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0933339958 0.547697574 0.831454228 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.036071399 -0.701858849 -0.711402143 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.85482283 -0.4668508 -0.226557409 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.30530032 0.801654893 0.513946639 k4.9m - A^(-16) - A^(-14) + A^(-12) + A^(-10) + A^(-8) PD[X[0,6,1,5],X[7,4,8,3],X[2,5,3,4],X[6,2,7,1]]; 0.521822381 -0.47385729 -0.709338192 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.815708611 -0.455183578 -0.356969709 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.966965292 -0.172151227 -0.187994891 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.188535035 0.868188851 0.459023593 k4.4 - A^(-18) + A^(-14) + A^(-12) - A^(-10) - A^(-8) + A^(-6) + A^(-4) PD[X[6,1,7,0],X[2,9,3,8],X[7,4,8,3],X[4,1,5,2],X[5,10,6,9]]; -0.231494794 0.688708805 0.687088307 UNKNOWN + A^(-20) + A^(-18) - 3*A^(-16) - 3*A^(-14) + A^(-12) + 4*A^(-10) + 2*A^(-8) - 2*A^(-6) - 2*A^(-4) + 2 + A^(2) - A^(6) PD[X[12,0,13,1],X[21,7,22,6],X[5,15,6,14],X[8,18,9,17],X[20,16,21,15],X[3,11,4,12],X[16,8,17,7],X[10,4,11,5],X[18,2,19,1],X[9,13,10,14],X[2,20,3,19]]; 0.762805947 -0.588171981 0.268664862 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.631702652 -0.619791039 0.465629496 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.798923978 -0.5965248 -0.0766722946 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0799605128 -0.535395403 -0.840807992 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.0694370513 0.774806316 -0.628373828 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.00140902217 0.314206982 0.949353457 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[7,5,8,4],X[1,6,2,5],X[9,4,10,3],X[2,9,3,8]]; -0.362317878 -0.87318612 0.325993489 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.823600793 0.51615031 -0.235096982 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.744804092 0.536073048 0.397356958 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[6,1,7,0],X[1,8,2,7],X[8,3,9,2],X[3,6,4,5],X[9,5,10,4]]; -0.543788052 -0.83745073 0.0545053212 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.695964746 -0.715906147 -0.0557804713 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.444812137 0.785447888 -0.430364703 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.0888080185 -0.847855683 -0.522736909 k0.1 + 1 PD[]; -0.849160843 -0.18378684 0.495124489 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.645989215 -0.744746781 -0.167481838 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.433364237 0.10567264 -0.895002084 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.500037819 -0.165148296 0.850110711 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.616872656 0.475554551 0.627149101 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]];