#projection.x projection.y projection.z knotoid_type polynomial PD_code 0.906657643 -0.123358429 0.403428576 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.760289457 0.604365854 -0.238121515 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.585450197 -0.378203084 0.717084719 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,9,4,8],X[0,10,1,9],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; -0.115194907 -0.708558015 -0.696186522 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; 0.851457015 -0.519223873 -0.0736717121 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.924610906 0.372073902 -0.0815823809 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,10,2,9],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; -0.9822953 0.174292126 -0.0686891498 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[10,0,11,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[11,10,12,9]]; 0.951205121 -0.305461055 -0.0436160662 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.540745095 -0.211385984 0.814193287 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.808289136 -0.565779211 0.162980238 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[8,3,9,2],X[3,8,4,7],X[5,12,6,11],X[9,7,10,6],X[10,1,11,0],X[4,2,5,1]]; 0.976421455 -0.141774825 -0.162791407 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3],X[4,6,5,7],X[5,8,6,7]]; -0.722957899 0.558075867 -0.407287617 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.756326013 -0.00717065036 0.654155596 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[8,6,9,5],X[10,8,11,7],X[6,10,7,9],X[11,5,12,4]]; 0.803105726 0.00660926614 -0.595799892 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[5,9,6,8],X[7,11,8,10],X[9,7,10,6],X[4,12,5,11]]; 0.749818629 0.658275802 0.0666707824 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; 0.0231321552 0.990227522 -0.13752948 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.779099376 -0.57615998 0.247070516 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.679702542 -0.145006994 0.719011423 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.699441755 -0.359852928 -0.617484496 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[5,9,6,8],X[7,11,8,10],X[9,7,10,6],X[4,12,5,11]]; 0.210299547 -0.750579194 0.626422361 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.458951442 0.147534968 0.876126137 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; -0.166126218 0.0436977715 -0.98513582 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[14,1,15,0],X[17,3,18,2],X[11,17,12,16],X[3,11,4,10],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9],X[12,2,13,1],X[13,16,14,15]]; -0.194323117 -0.724896222 -0.660881225 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,11,9,10],X[9,11,10,12]]; 0.000210269303 -0.996919009 0.0784375304 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0256257683 0.170467373 0.985030048 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2],X[12,11,13,10],X[13,11,14,12]]; 0.000933453133 -0.722310976 -0.691567771 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,6,3,5],X[0,4,1,3],X[4,2,5,1]]; 0.266031345 -0.630053669 0.729561305 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.992593557 0.0370836807 0.115684189 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.00173031396 0.535891245 -0.844285248 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[5,9,6,8],X[1,5,2,4],X[6,4,7,3],X[2,8,3,7]]; -0.217824897 0.33628853 -0.916221774 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[4,8,5,7],X[1,9,2,8],X[6,4,7,3],X[2,6,3,5],X[10,13,11,12],X[11,13,12,14]]; 0.763376141 0.483603912 -0.428233725 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.921349808 0.242295386 0.303985982 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.538876705 -0.475231441 0.69553359 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,14,2,13],X[3,13,4,12],X[9,5,10,4],X[5,9,6,8],X[6,12,7,11],X[10,8,11,7]]; -0.255117945 -0.95222634 -0.167868497 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.908836124 0.394628722 0.135222304 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.335570953 -0.716083892 -0.612058816 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.171847165 -0.663446774 -0.728221758 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4],X[8,11,9,10],X[9,11,10,12]]; -0.544774375 0.470599645 -0.694087065 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.355013186 0.507815454 0.784913436 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[1,11,2,10],X[9,7,10,6],X[5,3,6,2],X[4,8,5,7],X[8,4,9,3],X[13,12,14,11],X[16,15,17,14],X[17,15,18,16]]; 0.990036793 -0.0941056841 0.104743828 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.470024667 -0.877217281 0.0978092756 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.189618297 0.262623367 0.946083436 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[5,3,6,2],X[7,5,8,4],X[3,7,4,6],X[8,2,9,1],X[12,11,13,10],X[13,11,14,12]]; -0.01431818 0.471475052 0.881763157 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1],X[10,9,11,8],X[11,9,12,10]]; -0.915162314 -0.347262836 -0.204661825 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.889104373 -0.104988741 0.445500594 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.409310513 0.241764209 -0.879781206 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[8,11,9,10],X[9,11,10,12],X[12,15,13,14],X[13,15,14,16]]; 0.0950178973 0.709516805 0.698253179 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.334528188 0.398897036 0.853798598 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; 0.15433305 0.374130826 0.914443784 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,2,9,1],X[5,3,6,2],X[3,7,4,6],X[7,5,8,4],X[15,11,16,10],X[13,12,14,11],X[17,12,18,13],X[16,14,17,15]]; -0.435511031 -0.581931928 -0.686793545 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1],X[8,11,9,10],X[9,11,10,12]]; -0.677392568 0.385287332 0.6266522 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[11,9,12,8],X[7,5,8,4],X[6,10,7,9],X[10,6,11,5]]; -0.736880091 -0.478707369 0.477333203 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.28303499 0.0399236338 0.958278299 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[1,11,2,10],X[8,4,9,3],X[9,7,10,6],X[4,8,5,7],X[5,3,6,2],X[13,12,14,11]]; 0.0915026308 0.836455069 -0.540342656 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3]]; -0.234279767 -0.972152498 0.00570192654 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; 0.705840768 0.703381609 -0.0839233105 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.707723004 0.698075954 0.108711142 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.622574394 -0.637549945 0.45379642 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 2*A^(-20) + A^(-18) + 2*A^(-16) - A^(-14) - 2*A^(-12) + 2*A^(-8) + A^(-6) PD[X[8,0,9,1],X[2,16,3,15],X[4,15,5,14],X[10,7,11,6],X[12,10,13,9],X[7,12,8,11],X[3,2,4,1],X[13,6,14,5]]; -0.337326609 -0.449256717 0.82727212 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,14,2,13],X[3,13,4,12],X[10,6,11,5],X[11,9,12,8],X[6,10,7,9],X[7,5,8,4]]; -0.586211738 0.734620376 0.341597279 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0523132111 0.963282241 0.263345119 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.661249724 -0.39416685 -0.638264284 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; 0.0184485482 -0.193916406 0.980844574 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[0,15,1,14],X[16,12,17,11],X[1,13,2,12],X[9,5,10,4],X[10,8,11,7],X[5,9,6,8],X[6,4,7,3],X[2,18,3,17],X[15,14,16,13]]; 0.539610366 -0.528087173 -0.655701601 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7],X[8,13,9,12],X[11,10,12,9],X[10,14,11,13]]; -0.0852735765 -0.842933732 0.531216661 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.441802454 -0.543957035 -0.713387228 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[10,16,11,15],X[11,14,12,13],X[12,17,13,18],X[14,16,15,17]]; -0.0339752305 0.880173149 -0.473435225 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.464337775 0.878569991 0.111826656 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.97324655 0.229762366 -0.000637974124 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.8229759 -0.2094739 0.52804484 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.975710557 0.00743378162 -0.218937543 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.179294024 -0.946948949 -0.266723342 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.794479432 -0.492689404 -0.355048704 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.647876563 -0.361219315 0.670653834 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.412904888 0.522920585 -0.745696731 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 2*A^(-20) + A^(-18) + 2*A^(-16) - A^(-14) - 2*A^(-12) + 2*A^(-8) + A^(-6) PD[X[0,8,1,9],X[1,4,2,3],X[13,3,14,2],X[12,5,13,4],X[5,10,6,9],X[10,7,11,6],X[7,12,8,11]]; 0.808217562 0.0380818781 -0.587651379 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[5,11,6,10],X[9,7,10,6],X[8,12,9,11]]; -0.408456319 -0.775054371 0.482134999 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,5,8,4],X[8,2,9,1],X[3,7,4,6],X[5,3,6,2]]; 0.914578633 0.188870466 -0.357594562 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.471517582 0.866017178 0.166389354 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.528244843 0.846356237 0.0681065805 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.770985959 -0.188011828 0.608467093 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.816169461 0.0504525293 -0.575605727 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; 0.963446398 0.267377941 0.0167354112 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.00134761036 -0.708923888 -0.705283706 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,3,6,2],X[0,4,1,3],X[1,7,2,6],X[4,8,5,7]]; -0.145238907 -0.798978326 -0.583557448 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,6,1,5],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,11,9,10],X[9,11,10,12]]; 0.890650137 0.31670015 -0.326256568 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.394059077 -0.80569011 0.442245283 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,2,9,1],X[5,3,6,2],X[3,7,4,6],X[7,5,8,4]]; 0.407524268 -0.678454614 -0.611247338 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.209743168 -0.553176967 -0.806227664 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4],X[8,11,9,10],X[9,11,10,12]]; 0.917722429 -0.386083973 0.0934061464 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.897314633 -0.179088912 -0.403427332 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.876259319 -0.126470277 0.464946099 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.815648596 0.0264509699 0.577942656 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.630997395 0.1443239 0.762242022 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.606642958 -0.0752901781 -0.791401106 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.000931328059 -0.876717679 -0.481004412 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.640790149 0.450746492 0.621462457 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.956330072 0.225326696 0.186173774 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,2,4,1],X[0,3,1,2]]; -0.894348885 0.123093839 0.430102288 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[4,3,5,2],X[1,6,2,5]]; -0.57155194 0.562978556 -0.596978663 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.256401451 -0.965442828 -0.0466737794 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.290484757 0.010738049 -0.956819367 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[2,10,3,9],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8],X[11,14,12,13]]; -0.324600353 -0.819395999 -0.472466727 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.183212796 -0.338428852 0.92298374 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,12,1,11],X[1,14,2,13],X[9,7,10,6],X[5,3,6,2],X[4,8,5,7],X[8,4,9,3],X[12,11,13,10]]; -0.0553132023 0.584715436 -0.809350547 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[6,10,7,9],X[11,14,12,13]]; 0.422608727 0.890327714 0.169465117 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.532675232 0.6030341 -0.593807184 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 2*A^(-20) + A^(-18) + 2*A^(-16) - A^(-14) - 2*A^(-12) + 2*A^(-8) + A^(-6) PD[X[0,8,1,9],X[1,4,2,3],X[13,3,14,2],X[12,5,13,4],X[10,7,11,6],X[7,12,8,11],X[5,10,6,9]]; -0.757238356 -0.409976849 -0.508437858 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.81095226 0.395901162 0.430834889 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.262312941 -0.799492245 0.540374011 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[5,3,6,2],X[7,5,8,4],X[3,7,4,6],X[8,2,9,1]]; 0.768929489 0.576823528 -0.27572098 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,5,2,4],X[2,9,3,8],X[7,4,8,3],X[11,6,12,5],X[0,11,1,10],X[6,10,7,9]]; 0.418063225 0.46098903 0.782759384 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1],X[10,9,11,8],X[11,9,12,10],X[14,13,15,12],X[15,13,16,14]]; 0.40852566 0.706110841 -0.578372082 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,6,3,5],X[4,8,5,7],X[6,4,7,3],X[1,9,2,8]]; -0.0809723428 -0.353471527 0.931934203 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5]]; 0.496735521 0.755306439 0.427511409 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,6,5,7],X[5,8,6,7],X[12,16,13,15],X[8,12,9,11],X[13,11,14,10],X[9,15,10,14]]; -0.697270389 -0.452749196 0.555726704 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[7,5,8,4],X[3,10,4,9],X[8,1,9,0],X[2,7,3,6],X[5,2,6,1]]; -0.00585530796 -0.997414836 -0.0716195563 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.134674455 0.0300630169 -0.990433746 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[5,9,6,8],X[2,10,3,9],X[7,5,8,4],X[3,7,4,6],X[11,14,12,13]]; -0.177127877 0.686826267 0.704908075 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[10,9,11,8],X[11,9,12,10]]; -0.172592356 0.951513065 0.254626717 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.320813368 0.941042763 -0.10731869 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; 0.402046334 0.00162301574 0.915617885 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2]]; 0.650710697 -0.183372732 -0.73685143 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3]]; 0.670834866 0.362733628 0.646842251 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3]]; 0.20109137 -0.618332439 0.759754734 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; 0.743288413 -0.606556178 -0.282155877 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.642989027 0.607638101 -0.466198508 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9],X[10,4,11,3]]; -0.521920935 -0.801827067 -0.290984351 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.137038317 0.879606861 -0.455535147 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.789828377 0.492389489 -0.365682547 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[1,8,2,7],X[9,4,10,3],X[2,11,3,10],X[8,12,9,11],X[0,6,1,5],X[6,5,7,4]]; 0.0124378485 -0.999839095 0.0129261124 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.359736913 -0.910382874 -0.204431836 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.879084419 -0.263579478 -0.397160475 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; -0.0852519954 -0.0287736004 0.995943862 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[0,16,1,15],X[1,14,2,13],X[2,12,3,11],X[6,4,7,3],X[9,5,10,4],X[5,9,6,8],X[10,8,11,7],X[17,13,18,12],X[16,15,17,14]]; 0.186504861 -0.533051849 -0.825270661 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[8,11,9,10],X[9,11,10,12]]; 0.356306557 0.621466749 0.697728254 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.201531746 0.97381275 0.105231571 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3]]; -0.868769373 -0.140930485 -0.474740323 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.296801595 0.601351737 -0.741811904 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,6,3,5],X[4,8,5,7],X[6,4,7,3],X[1,9,2,8]]; 0.896835328 0.407022307 -0.173260601 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,9,5,8],X[7,6,8,5],X[6,10,7,9]]; 0.342655144 0.717042553 0.606990469 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[5,9,6,8],X[7,11,8,10],X[9,7,10,6],X[4,12,5,11],X[14,13,15,12],X[15,13,16,14]]; 0.235930585 -0.942375152 0.237204198 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.630773387 0.583056651 0.512025269 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,5,1,6],X[1,3,2,4],X[2,8,3,7],X[4,7,5,6],X[9,15,10,14],X[12,16,13,15],X[13,11,14,10],X[8,12,9,11]]; -0.908617964 0.183252668 -0.375275705 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.891364232 0.302291298 0.337771783 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.314845393 -0.248565742 -0.916017167 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,6,3,5],X[4,8,5,7],X[6,4,7,3],X[1,9,2,8],X[10,13,11,12],X[11,13,12,14],X[14,17,15,16],X[15,17,16,18]]; 0.716050864 0.526152919 0.458731147 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,12,5,11],X[5,9,6,8],X[9,7,10,6],X[7,11,8,10]]; 0.704600916 0.707619478 -0.0530304047 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.281476243 -0.799653166 0.530401676 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[5,3,6,2],X[7,5,8,4],X[3,7,4,6],X[8,2,9,1]]; -0.086712862 -0.536772111 0.839259543 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2]]; 0.598455879 0.349811112 -0.720751516 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.159860199 0.973857131 0.161390844 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.727650791 -0.571230557 0.379763053 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[11,2,12,1],X[10,8,11,7],X[4,7,5,6],X[8,3,9,2],X[3,10,4,9],X[5,1,6,0]]; 0.885952615 0.220669722 0.407912782 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.494087356 -0.745201319 0.447831082 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2]]; 0.460099513 0.730391704 0.50481323 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[7,11,8,10],X[4,12,5,11],X[9,7,10,6],X[5,9,6,8],X[14,13,15,12],X[15,13,16,14]]; -0.23725568 -0.396603397 -0.886800704 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3],X[5,9,6,8],X[10,13,11,12],X[11,13,12,14],X[14,17,15,16],X[15,17,16,18]]; 0.0496227575 -0.883896747 0.465042065 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; -0.939523977 -0.29071557 0.18105014 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.262034228 0.642988894 -0.719655018 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[4,8,5,7],X[1,9,2,8],X[6,4,7,3],X[2,6,3,5]]; 0.401075911 0.132199497 0.906455408 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[1,11,2,10],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[9,7,10,6],X[13,12,14,11],X[16,15,17,14],X[17,15,18,16]]; 0.49467586 -0.868252728 0.0378548987 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.166709628 -0.677881735 0.716019729 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,2,9,1],X[5,3,6,2],X[3,7,4,6],X[7,5,8,4]]; 0.0507945247 0.396059879 -0.916818678 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[4,8,5,7],X[1,9,2,8],X[6,4,7,3],X[2,6,3,5]]; -0.710150741 -0.217811524 0.669510318 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[8,1,9,0],X[5,10,6,9],X[4,2,5,1],X[2,7,3,6],X[7,4,8,3]]; -0.165878735 -0.151582541 0.974426487 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[1,11,2,10],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[9,7,10,6],X[13,12,14,11]]; -0.237562989 -0.672351327 0.701075973 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,5,8,4],X[8,2,9,1],X[3,7,4,6],X[5,3,6,2]]; 0.284360741 0.156038315 -0.945933937 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[6,10,7,9],X[11,14,12,13]]; -0.535168248 -0.632377117 -0.560084037 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[10,6,11,5],X[11,9,12,8],X[6,10,7,9],X[7,5,8,4]]; 0.954735519 -0.295367139 -0.0351900724 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.922178796 0.364553316 -0.129178744 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.859979417 0.306350292 0.408148136 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.527796111 0.74620464 -0.405721456 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.774166553 0.370364914 0.513318594 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[8,0,9,1],X[11,2,12,1],X[7,3,8,2],X[3,7,4,6],X[4,11,5,10],X[9,6,10,5]]; 0.395514093 -0.47413496 -0.786615943 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; -0.249907956 0.484188277 0.838515191 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.0198974607 0.960108414 -0.278919209 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.110373408 0.341953582 0.93321244 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2],X[18,11,19,10],X[14,13,15,12],X[21,13,22,14],X[19,17,20,18],X[16,12,17,11],X[20,15,21,16]]; 0.599596884 0.211277076 -0.771910341 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,5,1,4],X[5,9,6,8],X[9,4,10,3],X[6,3,7,2],X[1,8,2,7]]; -0.195281602 0.521484458 0.830613662 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[10,9,11,8],X[11,9,12,10]]; 0.419724406 -0.881484085 0.216372899 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.1663709 -0.924601336 -0.342685123 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.399483985 -0.717854978 0.570172586 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2]]; 0.348758513 -0.560049283 -0.75147342 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4],X[8,11,9,10],X[9,11,10,12]]; -0.875272639 -0.158400762 0.456954053 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9],X[11,9,12,8],X[14,13,15,12],X[13,16,14,15]]; 0.141869553 0.717713246 0.681733618 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; -0.108100369 -0.32171842 0.940644231 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[1,11,2,10],X[8,4,9,3],X[9,7,10,6],X[4,8,5,7],X[5,3,6,2],X[13,12,14,11]]; -0.130524561 -0.893408645 -0.429865482 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.320809074 0.682867648 0.656333234 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[6,4,7,3],X[2,8,3,7],X[10,9,11,8],X[11,9,12,10]]; -0.878747109 -0.441515757 -0.181293558 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.556599781 -0.714025584 0.424693005 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.351460041 0.691887445 0.630688198 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9],X[12,11,13,10],X[13,11,14,12]]; -0.0556247381 0.997372851 0.0464035054 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.30671714 -0.804941376 -0.507931075 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.737077616 0.65459737 -0.167984732 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.145799671 0.368667679 0.91805588 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4],X[10,9,11,8],X[11,9,12,10]]; 0.549568266 -0.774380649 -0.31354319 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.787550846 -0.347219836 -0.509118896 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.614037531 -0.0428617905 0.78811216 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.792851494 -0.405413492 0.455001549 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0052066348 -0.208969245 0.977908352 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[0,15,1,14],X[17,13,18,12],X[1,17,2,16],X[10,4,11,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6],X[2,12,3,11],X[15,14,16,13]]; 0.806322717 0.590869728 -0.0267701307 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.279809248 0.177891219 0.943430707 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.986183191 -0.0312488981 -0.162684421 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.00280348783 -0.750018201 0.661411248 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.5194394 -0.757235626 0.395950649 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.761221602 -0.570151323 0.30898081 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,12,6,11],X[3,8,4,7],X[8,3,9,2],X[4,2,5,1],X[10,1,11,0],X[9,7,10,6]]; -0.905056117 -0.422742846 0.046496355 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[11,5,12,4],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; -0.729514638 -0.591457721 -0.343491131 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.288091228 0.876112126 0.386563044 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.172981355 0.47556194 -0.862506981 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,6,3,5],X[4,8,5,7],X[6,4,7,3],X[1,9,2,8]]; -0.129000741 -0.99076903 0.0416597817 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; 0.150762369 0.254928893 -0.955134529 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[3,7,4,6],X[5,9,6,8],X[7,5,8,4],X[2,10,3,9],X[11,14,12,13]]; -0.833168623 0.0593575818 -0.549824265 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0227213233 0.975891524 -0.217070209 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.78873831 0.423982956 -0.445118333 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.92151767 0.382280068 0.0683164215 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.782198376 -0.493647945 0.380101839 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.458576971 0.658722512 -0.59648287 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[1,4,2,3],X[13,3,14,2],X[4,8,5,7],X[5,11,6,10],X[9,7,10,6],X[8,12,9,11]]; -0.736576469 -0.639605046 0.219910185 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.492933872 -0.538246902 0.683598179 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 2*A^(-20) + A^(-18) + 2*A^(-16) - A^(-14) - 2*A^(-12) + 2*A^(-8) + A^(-6) PD[X[8,0,9,1],X[3,2,4,1],X[2,16,3,15],X[10,7,11,6],X[12,10,13,9],X[7,12,8,11],X[13,6,14,5],X[4,15,5,14]]; 0.0789708813 0.955179263 -0.28530015 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; 0.466349408 -0.221462233 0.856430213 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1],X[10,9,11,8],X[11,9,12,10]]; -0.825865094 -0.494588171 -0.270793994 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.228484566 0.808227431 0.54273679 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.853676569 0.208001772 0.477463692 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[8,0,9,1],X[11,2,12,1],X[7,3,8,2],X[3,7,4,6],X[4,11,5,10],X[9,6,10,5]]; -0.098549722 0.90086188 -0.4227716 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.889496296 -0.405952922 0.209758348 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[5,0,6,1],X[3,1,4,2],X[7,3,8,2],X[6,5,7,4],X[12,9,13,8],X[9,12,10,11],X[13,11,14,10]]; 0.78513767 -0.589584725 -0.189601402 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.817987544 -0.539706583 0.199030605 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[10,8,11,7],X[8,3,9,2],X[4,7,5,6],X[11,2,12,1],X[3,10,4,9],X[5,1,6,0]]; 0.679390566 -0.086001254 0.728719591 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.651252277 0.3098361 -0.692727986 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.460785658 0.706019104 -0.537785833 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,8,3,7],X[5,9,6,8],X[6,4,7,3],X[1,5,2,4]]; 0.366392387 0.613631401 -0.699437719 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[13,2,14,1],X[12,4,13,3],X[8,12,9,11],X[4,8,5,7],X[9,7,10,6],X[5,11,6,10]]; 0.610754897 0.684544595 0.397966271 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[8,12,9,11],X[4,8,5,7],X[9,7,10,6],X[5,11,6,10]]; 0.422527067 0.360034876 0.831772665 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2],X[18,11,19,10],X[19,17,20,18],X[14,13,15,12],X[21,13,22,14],X[16,12,17,11],X[20,15,21,16]]; 0.74360074 -0.641675187 -0.187911931 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.145631528 0.359312938 0.921783961 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[7,5,8,4],X[2,6,3,5],X[3,1,4,0],X[10,9,11,8],X[11,9,12,10]]; -0.740901417 -0.518822619 -0.426483505 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; -0.856633868 0.442491256 -0.265292112 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.14214907 0.945994059 0.291356967 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.744986163 -0.663845682 -0.0656088958 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; 0.681581344 0.301464576 -0.666757813 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[10,7,11,6],X[1,6,2,5],X[7,4,8,3],X[4,9,5,8],X[0,10,1,9],X[11,3,12,2]]; 0.976535949 -0.112555975 0.183599273 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.724142339 -0.689649762 -0.00103903888 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; -0.306250237 0.950930978 0.0440575499 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.86523329 0.500631707 -0.0271891165 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.127038486 0.962151631 -0.241092228 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.211355497 0.901164524 0.378459184 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.448024279 0.707261973 -0.546858983 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,9,2,8],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7]]; -0.553094285 -0.820706887 -0.14327218 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; 0.614924798 -0.382400715 -0.689664546 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.774018548 -0.320096292 -0.546290812 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; 0.466613924 0.417810598 -0.779554841 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[4,8,5,7],X[1,9,2,8],X[6,4,7,3],X[2,6,3,5]]; -0.0832769597 0.226676632 0.970403345 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5],X[12,11,13,10],X[13,11,14,12]]; -0.86003117 0.336290925 0.383737932 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.294840537 -0.881511168 0.36879143 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.677633359 -0.687026435 -0.262312233 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.0988482557 -0.127036377 0.986960375 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[0,15,1,14],X[16,12,17,11],X[1,13,2,12],X[6,4,7,3],X[9,5,10,4],X[5,9,6,8],X[10,8,11,7],X[2,18,3,17],X[15,14,16,13]]; 0.544885505 -0.739130134 -0.395962664 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.975889827 -0.211848932 -0.0525269057 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[10,6,11,5],X[11,9,12,8],X[6,10,7,9],X[7,5,8,4]]; -0.385558791 0.0427290864 0.921693357 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; -0.124347999 0.782143167 0.610565018 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.18749163 -0.50233603 0.844100351 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2]]; 0.702631223 -0.676712997 -0.21992927 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.239567878 0.138139343 -0.961001953 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[14,1,15,0],X[12,2,13,1],X[17,3,18,2],X[3,11,4,10],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9],X[11,17,12,16],X[13,16,14,15],X[18,21,19,20],X[19,21,20,22]]; -0.634608793 -0.764848591 -0.110807547 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; -0.080416447 0.126622747 0.988685933 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2]]; -0.626281367 0.0520819138 -0.777855464 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.900467561 -0.359748141 -0.244416542 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.843783176 0.462550092 -0.272171571 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.689641948 -0.698951088 -0.189370956 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.176098055 0.492368709 0.852386374 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[10,9,11,8],X[11,9,12,10]]; -0.539351244 -0.759137933 0.364430836 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,5,8,4],X[8,2,9,1],X[3,7,4,6],X[5,3,6,2]]; -0.387559737 -0.705826176 -0.592964467 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6],X[10,13,11,12],X[11,13,12,14]]; -0.991225482 -0.1321354 -0.00350434519 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; 0.0171696811 -0.384109479 0.923127895 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,12,1,11],X[1,14,2,13],X[6,4,7,3],X[8,6,9,5],X[4,8,5,7],X[9,3,10,2],X[12,11,13,10]]; 0.96715575 0.0842615268 0.239811906 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.863660598 0.463417204 0.198330195 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.722010706 -0.040861574 -0.690674216 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[8,0,9,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,8,10,7]]; 0.735800071 -0.674994177 -0.0545995911 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.903407488 0.327764472 -0.276451373 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,5,1,4],X[3,2,4,1],X[2,6,3,5]]; 0.942662606 0.332378039 0.0302001596 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.547869404 -0.667907647 0.503724617 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.345449873 0.40401871 -0.847014325 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[4,8,5,7],X[1,9,2,8],X[6,4,7,3],X[2,6,3,5]]; -0.271515936 -0.959212414 -0.0786806312 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.882987097 -0.0326618391 0.468259534 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.997624369 -0.0129559489 -0.0676591527 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[11,9,12,8],X[7,5,8,4],X[6,10,7,9],X[10,6,11,5]]; 0.527329627 0.229618901 0.818045613 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5],X[12,11,13,10],X[13,11,14,12]]; -0.469608422 0.882082682 0.0373907913 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.942741741 -0.265626915 0.201693708 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.820981581 -0.570593537 0.0203041616 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.00428367888 0.769787308 0.638286103 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; 0.722065459 0.0560189575 0.689553007 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0165690151 -0.86785698 -0.496537743 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.98108693 0.082591748 0.175062959 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.108921007 -0.993915322 -0.0163873993 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.527434071 0.461236088 0.713494619 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.0731311153 -0.15016094 0.985953108 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[0,15,1,14],X[2,18,3,17],X[16,12,17,11],X[9,5,10,4],X[10,8,11,7],X[5,9,6,8],X[6,4,7,3],X[1,13,2,12],X[15,14,16,13]]; -0.0874179555 -0.47406021 0.876142122 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,3,8,2],X[8,6,9,5],X[3,7,4,6],X[4,2,5,1]]; -0.205541992 -0.656276897 -0.725984245 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[8,11,9,10],X[9,11,10,12]]; -0.407337734 -0.532610783 -0.741890642 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[8,11,9,10],X[9,11,10,12]]; 0.535120359 -0.844149241 -0.0325309094 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0473580358 0.426798038 0.903106113 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2],X[15,11,16,10],X[13,12,14,11],X[17,12,18,13],X[16,14,17,15]]; -0.58759969 0.698396055 0.408619083 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.265436309 -0.96142732 -0.0721184788 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.15505162 0.354592576 -0.922075431 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[11,1,12,0],X[13,2,14,1],X[3,7,4,6],X[5,9,6,8],X[7,5,8,4],X[2,10,3,9],X[10,13,11,12]]; -0.109964011 0.336969913 0.935071759 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,5,8,4],X[8,2,9,1],X[3,7,4,6],X[5,3,6,2],X[12,11,13,10],X[13,11,14,12]]; 0.768761558 -0.637463806 0.051435045 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.295087272 -0.763242484 0.574790755 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5]]; 0.346081227 -0.614693772 -0.70878724 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.0738772441 -0.814111227 -0.575990506 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.415591752 -0.743507306 0.523908753 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,5,8,4],X[8,2,9,1],X[3,7,4,6],X[5,3,6,2]]; -0.173466352 0.688376602 -0.704306097 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.739671573 0.114202341 0.6632072 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,11],X[1,8,2,9],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7],X[9,12,10,11]]; 0.347827176 0.089252622 -0.933300715 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[2,10,3,9],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8],X[11,14,12,13]]; 0.671247886 0.0181725001 -0.741010145 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[9,4,10,3],X[1,8,2,7],X[6,3,7,2],X[5,9,6,8],X[0,5,1,4]]; -0.190409692 -0.45418046 -0.870324227 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4],X[12,14,13,15],X[8,14,9,13],X[9,12,10,11],X[10,15,11,16]]; -0.879829358 0.469334316 -0.0750040081 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.313541479 0.871240624 0.377665879 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.284185623 0.920474133 0.26826461 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0706815188 -0.861102354 0.503494645 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; -0.239163467 -0.0321214659 0.970447859 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[1,11,2,10],X[9,3,10,2],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5],X[13,12,14,11]]; -0.235546046 0.693078448 0.681293127 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.256931787 -0.328445009 0.908905899 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5]]; -0.641874961 0.123049424 0.756872099 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; 0.186720682 -0.0683481655 0.980032609 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[1,11,2,10],X[9,3,10,2],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5],X[13,12,14,11]]; 0.524969288 0.655381095 -0.543031184 UNKNOWN + A^(-32) + A^(-30) - A^(-28) - 2*A^(-26) + A^(-22) - 2*A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) + A^(-10) PD[X[0,11,1,12],X[16,7,17,6],X[15,2,16,1],X[3,6,4,5],X[17,5,18,4],X[2,8,3,7],X[8,13,9,12],X[13,10,14,9],X[10,15,11,14]]; -0.285417423 0.750861944 -0.595603253 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.303313525 -0.560891166 -0.770325908 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[8,11,9,10],X[9,11,10,12]]; -0.0406883258 -0.807881614 -0.587938566 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.919374122 0.390837149 0.0446939203 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.574443827 -0.776011601 -0.26042328 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; 0.772369636 -0.291820614 0.564168304 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.706799396 0.230060887 0.668959342 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; -0.577452666 -0.539385215 0.612871934 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 2*A^(-20) + A^(-18) + 2*A^(-16) - A^(-14) - 2*A^(-12) + 2*A^(-8) + A^(-6) PD[X[3,16,4,15],X[12,7,13,6],X[1,15,2,14],X[9,6,10,5],X[13,11,14,10],X[7,12,8,11],X[4,3,5,2],X[8,0,9,1]]; 0.340787999 0.530481324 -0.776178526 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,8,3,7],X[5,9,6,8],X[6,4,7,3],X[1,5,2,4]]; 0.29244733 -0.854150498 0.430001728 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.225108042 0.973547862 -0.039127097 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.280255127 0.150662416 0.948028428 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.346979334 0.927170884 -0.141278072 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; -0.432826095 -0.0747733004 -0.89837104 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3],X[5,9,6,8]]; 0.11042625 -0.992990474 0.0421421537 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.479509988 0.325311359 -0.815010854 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[8,11,9,10],X[9,11,10,12]]; -0.74618572 0.0600642383 0.663022743 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.206480857 -0.295321176 0.932818878 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[5,3,6,2],X[7,5,8,4],X[3,7,4,6],X[8,2,9,1],X[12,11,13,10],X[13,11,14,12]]; -0.307591825 0.348493484 0.885403614 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.833540352 -0.265699368 -0.484370032 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.758476824 0.576676411 0.303574086 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.362589914 0.908139179 0.209312649 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.86287892 0.481463876 0.153728674 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.663730997 -0.725268196 -0.18288578 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.836411048 0.0872287835 -0.541117084 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0600259598 0.98592178 -0.156061292 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.777139794 0.610605338 0.152364238 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; 0.361444801 -0.228080391 -0.904066917 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; -0.838347643 0.457014652 0.297171395 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.962968931 0.121323555 0.240772574 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.131286769 0.983103219 -0.12756114 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.411243031 -0.261582227 0.873186067 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,3,8,2],X[8,6,9,5],X[3,7,4,6],X[4,2,5,1]]; -0.620099189 -0.241501655 -0.746427456 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,9,7,8],X[7,9,8,10]]; 0.477476403 0.127173172 0.869392471 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,5,8,4],X[8,2,9,1],X[3,7,4,6],X[5,3,6,2],X[12,11,13,10],X[13,11,14,12]]; -0.727596654 -0.136579017 0.672271731 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[8,2,9,1],X[4,1,5,0],X[6,11,7,10],X[2,12,3,11],X[3,8,4,7],X[9,6,10,5]]; 0.774952975 -0.472937386 -0.419259008 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.485522694 -0.473232571 -0.735063703 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,12,7,11],X[7,10,8,9],X[8,13,9,14],X[10,12,11,13]]; 0.403394015 0.185603713 -0.89600476 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[4,8,5,7],X[1,9,2,8],X[6,4,7,3],X[2,6,3,5]]; 0.981334381 0.19171447 -0.0151127651 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,9],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[7,10,8,9]]; -0.134595193 -0.206001522 -0.969251003 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[5,9,6,8],X[1,5,2,4],X[6,4,7,3],X[2,8,3,7],X[10,13,11,12],X[11,13,12,14]]; -0.483559047 0.588764315 -0.647709216 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.530275443 0.0126426274 -0.84773116 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.499385192 0.0467020388 0.865120425 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.349212728 0.913997228 -0.206541856 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; 0.31141644 0.674900927 -0.668975739 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,8,3,7],X[5,9,6,8],X[6,4,7,3],X[1,5,2,4]]; -0.306208637 -0.613688847 0.727751517 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,2,9,1],X[5,3,6,2],X[3,7,4,6],X[7,5,8,4]]; -0.881810257 -0.363037629 -0.301022178 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[5,3,6,2],X[1,5,2,4]]; -0.742541753 0.399077766 -0.537929997 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.859452979 -0.423562149 0.286244097 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[10,6,11,5],X[11,9,12,8],X[6,10,7,9],X[7,5,8,4]]; 0.0262010117 0.590822803 0.806375795 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0],X[10,9,11,8],X[11,9,12,10]]; 0.744626929 0.277256376 -0.607173483 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[9,6,10,5],X[6,3,7,2],X[1,8,2,7],X[4,9,5,8]]; 0.899093686 -0.416912849 0.133469922 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.676499297 -0.727883219 0.111958565 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.927801134 -0.174686176 0.329651022 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[8,6,9,5],X[10,8,11,7],X[6,10,7,9],X[11,5,12,4]]; -0.438368178 0.719927337 0.538087326 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.798410612 0.594043363 -0.0982495658 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.934794312 0.27503745 0.224753187 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.561125466 -0.649281648 0.513392202 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 2*A^(-20) + A^(-18) + 2*A^(-16) - A^(-14) - 2*A^(-12) + 2*A^(-8) + A^(-6) PD[X[8,0,9,1],X[3,2,4,1],X[2,14,3,13],X[9,6,10,5],X[6,11,7,10],X[11,8,12,7],X[4,13,5,12]]; -0.62528846 -0.768514345 0.135646756 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.056163577 0.978947779 -0.196231748 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.772181977 0.332479655 -0.54147232 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.463847541 0.769026389 0.439822545 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.449301828 0.749425888 -0.486301044 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[4,8,5,7],X[1,9,2,8],X[6,4,7,3],X[2,6,3,5]]; 0.234147101 -0.309130875 0.92174467 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5],X[12,11,13,10],X[13,11,14,12]]; 0.991753899 0.074810286 -0.10405587 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,6,3,5],X[0,4,1,3],X[4,2,5,1]]; 0.921279646 0.352295342 -0.164717349 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,5,1,4],X[3,2,4,1],X[2,6,3,5]]; -0.598560156 0.800829745 0.019936387 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.920476648 0.326970556 0.214039707 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.0878597398 0.284173914 -0.95473863 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[14,1,15,0],X[11,17,12,16],X[12,2,13,1],X[7,11,8,10],X[3,7,4,6],X[8,6,9,5],X[4,10,5,9],X[17,3,18,2],X[13,16,14,15]]; -0.768251109 -0.0633525843 0.637006031 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[9,5,10,4],X[5,9,6,8],X[6,12,7,11],X[10,8,11,7]]; 0.95241664 -0.296504008 0.0706251832 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.396630153 0.851315213 0.343434026 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0905001117 -0.303380228 -0.948562158 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,9,2,8],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7],X[10,13,11,12],X[11,13,12,14]]; 0.210669054 0.132700656 -0.968508692 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[5,9,6,8],X[2,10,3,9],X[7,5,8,4],X[3,7,4,6],X[11,14,12,13]]; 0.583473254 0.710679058 -0.393057552 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[10,4,11,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.340148678 -0.739180538 0.581301134 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2]]; 0.170205298 -0.959331286 0.225196893 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.179121011 -0.848566249 -0.497846347 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.270328062 -0.538973979 0.797765498 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5]]; -0.960972912 0.0138276389 -0.276296685 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[11,1,12,2],X[5,3,6,2],X[3,7,4,6],X[7,5,8,4],X[10,9,11,8]]; -0.800073762 -0.164704768 -0.576848607 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.223775622 -0.877487822 -0.424192873 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.299488046 0.0356044154 -0.953435491 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[6,10,7,9],X[11,14,12,13]]; -0.755784885 0.467762172 -0.458244212 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.996554046 -0.0404474082 0.0724157421 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,1,4,0],X[5,3,6,2]]; 0.390109605 0.27848694 -0.877644301 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3],X[5,9,6,8]]; 0.624988268 -0.535699381 0.567816729 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.191664409 -0.79566583 0.574613471 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; -0.524859521 -0.199103214 -0.827575007 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,6,3,5],X[4,8,5,7],X[6,4,7,3],X[1,9,2,8],X[10,13,11,12],X[11,13,12,14]]; 0.927951014 0.122383131 -0.352035914 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.671182876 0.159308797 0.723971169 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; -0.464030064 -0.870047982 -0.166410963 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; -0.711285525 -0.276672568 0.646161893 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[3,8,4,7],X[2,12,3,11],X[8,5,9,4],X[6,11,7,10],X[5,2,6,1],X[9,1,10,0]]; -0.968277532 -0.238700125 0.0738977129 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[13,12,14,11],X[12,4,13,5],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; -0.0827680858 -0.374241251 0.9236303 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2]]; -0.974498194 -0.0468650024 -0.219446899 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[8,0,9,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[9,8,10,7]]; -0.126543833 -0.832790556 0.538930931 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; -0.16692591 -0.172084922 -0.97083599 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[5,9,6,8],X[1,5,2,4],X[6,4,7,3],X[2,8,3,7],X[10,13,11,12],X[11,13,12,14]]; -0.252060039 0.892165883 0.374840999 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.395454733 -0.11213756 -0.911614349 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.84786757 -0.121620763 0.516070706 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[6,0,7,1],X[9,2,10,1],X[13,11,14,10],X[3,12,4,11],X[4,9,5,8],X[7,6,8,5],X[12,3,13,2]]; 0.267301251 0.889795397 0.369884026 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.667308327 0.722986835 -0.178856462 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.458369517 0.62985065 0.627045089 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.27854312 0.888803744 -0.363925315 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; -0.045799184 -0.998808412 -0.0168579686 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.697018539 0.570184656 -0.43480411 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[15,2,16,1],X[14,4,15,3],X[6,12,7,11],X[5,9,6,8],X[4,14,5,13],X[9,13,10,12],X[10,8,11,7]]; 0.820601567 -0.049734819 0.569332519 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.543019395 -0.57888455 0.608294842 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 2*A^(-20) + A^(-18) + 2*A^(-16) - A^(-14) - 2*A^(-12) + 2*A^(-8) + A^(-6) PD[X[3,2,4,1],X[2,14,3,13],X[4,13,5,12],X[6,11,7,10],X[11,8,12,7],X[8,0,9,1],X[9,6,10,5]]; 0.78141993 -0.32454203 -0.532968445 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.618402055 0.217964336 0.755030097 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.016086807 -0.943451609 -0.331119732 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.313083237 -0.940814161 -0.129798309 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.542164756 -0.507383546 -0.6697905 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4],X[8,11,9,10],X[9,11,10,12]]; 0.768297713 -0.602725136 0.215501822 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.080807169 -0.827918582 -0.554996417 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.430361971 0.760734724 0.485871642 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.721796824 -0.336954524 0.60454197 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,1,6,0],X[7,4,8,3],X[2,7,3,6],X[4,9,5,8],X[9,2,10,1]]; -0.364698356 0.347156861 0.863989134 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; 0.105869313 0.291230155 0.950776885 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,2,9,1],X[5,3,6,2],X[3,7,4,6],X[7,5,8,4],X[12,11,13,10],X[13,11,14,12]]; 0.605231013 -0.547445721 -0.577926123 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.735516985 -0.677480288 -0.00593499932 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.0980561182 -0.518960456 0.849155488 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,3,8,2],X[8,6,9,5],X[3,7,4,6],X[4,2,5,1]]; 0.797087151 -0.516768859 0.312413219 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.93327764 0.324102275 0.154759692 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.805354034 -0.241538536 0.541353873 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[13,3,14,2],X[8,1,9,0],X[4,2,5,1],X[7,12,8,11],X[10,7,11,6],X[5,10,6,9],X[3,13,4,12]]; -0.114553878 -0.954886752 -0.273986678 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.134680574 0.990874337 -0.00540295057 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.740057125 0.0835699877 -0.667331634 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.296391622 -0.558413808 -0.774807089 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3],X[8,11,9,10],X[9,11,10,12]]; 0.0539080137 -0.917643998 0.393730135 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; -0.0269277537 0.817023081 -0.575975851 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.0235381474 -0.494906206 0.86862754 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,2,9,1],X[5,3,6,2],X[3,7,4,6],X[7,5,8,4]]; 0.40259767 -0.487243263 0.774925234 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.747765203 -0.661788204 -0.0536989244 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.188848802 -0.916123769 0.35362886 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.410338953 -0.0654618603 0.909580501 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,3,8,2],X[3,7,4,6],X[4,2,5,1],X[8,6,9,5]]; -0.26019611 0.952683564 0.157136916 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.655420094 -0.701666088 0.279444451 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.780259559 0.609661977 -0.139668517 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.776440605 0.626258764 0.0702847568 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.756662698 0.115033565 -0.643606122 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,2,1,3],X[1,4,2,3],X[4,9,5,8],X[9,6,10,5],X[6,11,7,10],X[11,8,12,7]]; 0.12111616 -0.423167343 0.897919971 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,5,8,4],X[8,2,9,1],X[3,7,4,6],X[5,3,6,2]]; -0.479213472 -0.102563438 -0.871685258 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,6,3,5],X[4,8,5,7],X[6,4,7,3],X[1,9,2,8],X[10,13,11,12],X[11,13,12,14]]; 0.404068232 -0.666769552 0.626216598 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.329731168 0.940364028 -0.0836232761 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.747914424 0.338375831 0.57107426 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.988443229 -0.125752253 0.0846543168 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,2,4,1],X[2,0,3,1],X[4,7,5,6],X[7,6,8,5]]; -0.271113525 -0.444983196 0.85351474 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5]]; -0.874678713 -0.299970867 -0.380729075 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; -0.358318753 0.249725379 -0.899580406 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6],X[12,14,13,15],X[8,14,9,13],X[9,12,10,11],X[10,15,11,16]]; 0.6326303 -0.551022429 -0.544199583 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.281106147 0.875753685 0.392472697 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.822030331 -0.565851895 0.0638574054 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.54294121 0.656719545 -0.523387316 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 2*A^(-20) + A^(-18) + 2*A^(-16) - A^(-14) - 2*A^(-12) + 2*A^(-8) + A^(-6) PD[X[0,8,1,9],X[1,4,2,3],X[13,3,14,2],X[12,5,13,4],X[5,10,6,9],X[10,7,11,6],X[7,12,8,11]]; -0.0186878851 0.641843247 -0.76660812 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3],X[5,9,6,8]]; 0.639154234 -0.674245394 0.369966234 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.803674196 0.588368448 0.0890525486 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.562894431 0.371308285 0.73843078 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.0230603034 -0.939144868 0.342746466 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; 0.775590183 -0.420158394 -0.471091066 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.650489593 0.256047366 0.715054568 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.247243991 0.0993903366 -0.963842295 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[5,9,6,8],X[2,10,3,9],X[7,5,8,4],X[3,7,4,6],X[11,14,12,13],X[14,17,15,16],X[15,17,16,18]]; -0.760017629 0.503608154 0.41079439 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2]]; 0.115846941 0.973749706 -0.195936205 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.150680521 -0.797581871 -0.584087784 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.895305712 -0.162641239 0.4146993 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.0561194399 -0.0944920593 -0.993942583 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,9,2,8],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7]]; 0.0405168296 0.489926511 -0.870821681 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[5,9,6,8],X[1,5,2,4],X[6,4,7,3],X[2,8,3,7]]; 0.808213151 -0.549597725 -0.211503766 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.579624236 0.809634002 0.0923500247 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.287806369 -0.298007428 -0.910142333 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.512073842 0.19022511 -0.837612553 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.782508301 0.622205183 -0.0232694736 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.976365155 0.187581032 -0.107351947 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[10,0,11,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[11,10,12,9]]; 0.167632256 -0.926231721 0.337630309 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.227702224 -0.796375612 -0.560301331 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.187933879 -0.470489063 -0.862160599 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3]]; -0.632256023 0.768087805 0.101456619 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.782936234 -0.344449532 -0.518039935 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.708803506 0.0641436288 0.702483583 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.22155769 -0.975144439 -0.0023478833 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.666119478 -0.696238312 -0.267464117 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; 0.756438432 0.613870666 0.225751421 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.391392575 -0.69796452 -0.599714416 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[11,5,12,4],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7],X[12,15,13,14],X[13,15,14,16]]; 0.390580383 -0.905072236 -0.16819992 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.226136638 0.729251106 -0.645797991 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; -0.0476308086 -0.891689109 0.450135357 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; -0.961420074 -0.0250195984 -0.273944266 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.939537606 -0.339698458 0.0432902295 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[7,5,8,4],X[3,2,4,1],X[5,9,6,8],X[9,7,10,6]]; -0.162386176 0.982225879 -0.0941437897 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.205453691 0.922107939 0.327880665 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.786359054 0.616797538 0.034644417 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; 0.603554198 -0.740914989 0.294562912 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0361586619 0.999091598 0.0225505992 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.657327026 -0.025465525 0.753175071 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; -0.954683628 0.211036366 0.209863821 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[1,4,2,3],X[5,0,6,1],X[7,3,8,2],X[6,5,7,4]]; 0.591932693 0.466809225 -0.65704249 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[1,4,2,3],X[15,3,16,2],X[0,8,1,7],X[10,7,11,6],X[13,9,14,8],X[5,12,6,11],X[9,13,10,12],X[14,5,15,4]]; 0.519086163 -0.535320312 0.666319533 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.499580026 0.709919033 0.496421962 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.277663525 0.306272345 -0.910549404 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,8,3,7],X[5,9,6,8],X[6,4,7,3],X[1,5,2,4]]; 0.0987271848 -0.501688754 0.859395914 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2]]; -0.219827902 -0.865463548 0.450165016 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.306704908 -0.945453241 -0.109773714 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.567146905 -0.444623336 0.69329249 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.562668957 -0.185743338 -0.805545192 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3]]; -0.84506851 -0.365433 0.390279305 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[9,7,10,6],X[5,12,6,11],X[4,2,5,1],X[3,8,4,7],X[10,1,11,0],X[8,3,9,2]]; -0.0845698084 -0.695484792 -0.713546671 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.563697229 0.466868073 0.681380684 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7],X[10,9,11,8],X[11,9,12,10]]; 0.215211918 -0.713821762 -0.666440036 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[6,9,7,8],X[7,9,8,10]]; 0.126858201 0.592653784 0.795404607 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1],X[10,9,11,8],X[11,9,12,10]]; 0.660174793 0.548216145 -0.513447467 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[8,4,9,3],X[1,7,2,6],X[5,3,6,2],X[9,1,10,0],X[4,8,5,7]]; 0.794152529 -0.110593504 0.59757078 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.512375443 0.85234321 0.104797224 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.935045173 -0.134439947 -0.328049424 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.387412061 -0.0127172653 -0.921818944 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,9,2,8],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7]]; 0.155692599 -0.907868619 -0.389274177 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.318166183 0.748597451 0.581697633 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.27938927 0.916546706 -0.286153405 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.747101957 0.618765743 -0.242832495 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[7,11,8,10],X[6,5,7,4],X[9,4,10,3],X[0,6,1,5],X[1,12,2,11],X[2,9,3,8]]; -0.478167513 0.725623181 0.494799786 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.419078275 -0.800064401 -0.42926723 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.20362874 -0.947256353 0.247468662 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; 0.276827011 -0.413882265 -0.867218702 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.690675501 0.232096415 0.684907736 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; 0.507300667 0.535582609 0.67512762 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7],X[10,9,11,8],X[11,9,12,10]]; -0.865251248 -0.438897833 -0.242299338 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.798529182 0.100427455 0.593519563 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; 0.729133551 0.664019623 0.165656887 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.356724379 0.0918609585 -0.929682355 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,8,3,7],X[5,9,6,8],X[6,4,7,3],X[1,5,2,4],X[10,13,11,12],X[11,13,12,14]]; 0.761102023 0.266364943 0.59141646 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3]]; 0.134831591 -0.813713333 0.565412287 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; -0.565728691 -0.423434569 0.707569229 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,12,2,11],X[4,8,5,7],X[6,10,7,9],X[8,6,9,5],X[3,11,4,10]]; -0.0569689292 0.390605651 -0.918793648 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[11,1,12,0],X[13,2,14,1],X[2,10,3,9],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8],X[10,13,11,12]]; -0.15182798 0.328704666 0.932148865 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,3,8,2],X[8,6,9,5],X[3,7,4,6],X[0,10,1,9],X[4,2,5,1],X[12,11,13,10],X[13,11,14,12]]; 0.554596923 0.14416308 0.819536003 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2],X[15,11,16,10],X[13,12,14,11],X[17,12,18,13],X[16,14,17,15]]; -0.25684732 -0.401548659 -0.879083687 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,6,3,5],X[4,8,5,7],X[6,4,7,3],X[1,9,2,8],X[11,17,12,16],X[13,21,14,22],X[12,15,13,14],X[15,20,16,21],X[17,19,18,20],X[10,19,11,18]]; 0.679681642 0.733003874 0.0271695815 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.871301438 0.115495616 -0.476963904 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0105692098 0.914961616 -0.403402444 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; 0.674331162 0.72801234 -0.123594161 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3]]; 0.273479593 -0.65228838 -0.706914975 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7],X[8,11,9,10],X[9,11,10,12]]; -0.166741079 0.816470434 0.552786978 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.397212169 0.354966654 -0.846298509 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3],X[8,14,9,13],X[9,12,10,11],X[10,15,11,16],X[12,14,13,15]]; -0.792189449 0.312465573 0.524214787 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; -0.725686295 0.22408248 -0.650512447 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.59266465 0.722418159 -0.356174979 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[10,4,11,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; -0.841516561 -0.417032759 0.343414553 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,7,5,6],X[3,10,4,9],X[10,3,11,2],X[7,2,8,1],X[5,1,6,0],X[11,9,12,8]]; -0.203813667 0.978788088 -0.0208294862 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.268149225 -0.411991643 -0.870838033 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,8,3,7],X[5,9,6,8],X[6,4,7,3],X[1,5,2,4],X[10,13,11,12],X[11,13,12,14]]; 0.505593264 -0.857163656 0.0982136321 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.541297939 -0.130650175 0.830618488 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.950259267 -0.303992497 -0.0677929767 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.624458227 0.736230532 0.260799782 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; 0.975291976 0.220644399 -0.0110277543 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.263058696 0.511636977 -0.817941151 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; 0.0822465244 -0.274521821 -0.958057033 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,8,3,7],X[5,9,6,8],X[6,4,7,3],X[1,5,2,4],X[10,13,11,12],X[11,13,12,14]]; 0.0711812323 0.950942343 -0.30106792 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; 0.543943739 0.478305177 -0.689455848 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[13,2,14,1],X[12,4,13,3],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; -0.797977261 0.533042843 0.281242987 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2]]; 0.181113522 -0.903131528 0.389295948 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.336442926 0.939090816 0.0701041915 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; 0.202739844 -0.748674356 0.631176096 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.723551572 0.519058806 0.455028656 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.945084697 -0.227032349 -0.235098337 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.279734368 -0.763791589 -0.581696736 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.626641609 0.344586074 0.698985502 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3],X[10,9,11,8],X[11,9,12,10]]; 0.677212298 -0.722204653 -0.140726481 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.921709925 -0.103132122 -0.373917878 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.405965467 0.429094842 -0.806888875 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[13,2,14,1],X[12,4,13,3],X[4,12,5,11],X[5,9,6,8],X[9,7,10,6],X[7,11,8,10]]; -0.970752755 -0.236676882 -0.0402882369 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9],X[11,9,12,8]]; 0.0155826397 0.541635922 -0.840468744 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,9,2,8],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7]]; -0.46587722 -0.564765346 0.681174368 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 2*A^(-20) + A^(-18) + 2*A^(-16) - A^(-14) - 2*A^(-12) + 2*A^(-8) + A^(-6) PD[X[3,2,4,1],X[2,16,3,15],X[8,0,9,1],X[12,10,13,9],X[13,6,14,5],X[7,12,8,11],X[4,15,5,14],X[10,7,11,6]]; 0.89898598 -0.433182856 -0.0646283235 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.117506878 0.542013218 -0.832114058 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,8,3,7],X[5,9,6,8],X[6,4,7,3],X[1,5,2,4]]; -0.453247166 0.869115185 0.198004548 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.969440844 0.0260610065 -0.243937028 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.200041343 0.978306261 0.0538546285 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; 0.220676588 -0.702551423 0.676552542 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; -0.690145537 -0.701846695 -0.176381276 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.637260393 0.664717849 0.389935089 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[5,11,6,10],X[8,12,9,11],X[9,7,10,6],X[4,8,5,7]]; 0.75206499 -0.524224832 0.399482886 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.880561096 -0.234401519 0.411907859 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[6,0,7,1],X[9,2,10,1],X[2,11,3,10],X[11,4,12,3],X[4,9,5,8],X[7,6,8,5]]; -0.0944200713 0.526939247 -0.844641865 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[3,9,4,8],X[6,10,7,9],X[7,5,8,4],X[2,6,3,5],X[11,14,12,13]]; -0.918221486 0.375109702 0.12712991 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2]]; 0.580095116 0.77685303 0.244926574 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; -0.612944665 -0.615368992 -0.495600486 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; 0.0704259519 0.980407193 0.183961738 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.014704856 -0.894235473 0.447355212 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.327576701 0.103071765 -0.939185666 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[6,10,7,9],X[11,14,12,13]]; -0.677473952 -0.00762459828 0.735507247 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[7,5,8,4],X[8,1,9,0],X[2,7,3,6],X[3,10,4,9],X[5,2,6,1]]; 0.624026691 -0.343901409 -0.701656974 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.62576195 0.0338510985 0.779279208 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.629273043 0.649036232 0.427513049 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[5,9,6,8],X[7,11,8,10],X[9,7,10,6],X[4,12,5,11]]; 0.986161167 -0.138927116 -0.0904732561 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,5,1,6],X[3,2,4,1],X[2,8,3,7],X[4,7,5,6]]; -0.130615182 -0.867473907 0.480029889 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.808227004 0.266079483 -0.525329248 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[0,9,1,8],X[12,4,13,3],X[9,6,10,5],X[2,14,3,13],X[1,5,2,4],X[11,8,12,7],X[6,11,7,10]]; -0.909660933 -0.335960833 -0.244227977 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.441748051 0.00150044797 0.897137898 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.142021793 -0.988740565 -0.0471370975 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.879297925 0.327446548 -0.34585245 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[2,9,3,8],X[6,5,7,4],X[0,6,1,5],X[1,12,2,11],X[7,11,8,10],X[9,4,10,3]]; -0.143522899 0.960484805 0.238474563 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.879029687 -0.343996199 -0.33011123 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.0980127419 0.174337354 0.979795892 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5]]; -0.952168627 -0.0195006001 0.304950212 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.538805745 -0.773363447 -0.334061893 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.322306148 0.380984615 0.866584947 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.325801058 0.1204957 -0.937728349 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[5,9,6,8],X[2,10,3,9],X[7,5,8,4],X[3,7,4,6],X[11,14,12,13]]; -0.746229597 -0.663447755 0.054575312 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.274245515 0.738103473 -0.616435448 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,8,3,7],X[5,9,6,8],X[6,4,7,3],X[1,5,2,4]]; -0.716263118 0.42050367 -0.556905565 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.505445255 -0.269186063 -0.819795071 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[5,9,6,8],X[1,5,2,4],X[6,4,7,3],X[2,8,3,7],X[12,17,13,18],X[14,16,15,17],X[10,16,11,15],X[11,14,12,13]]; 0.828479361 -0.271525969 0.48979138 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.421476843 0.880548098 -0.216777118 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0717041082 0.0585034455 -0.995708726 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[14,1,15,0],X[11,3,12,2],X[12,18,13,17],X[4,8,5,7],X[6,10,7,9],X[8,6,9,5],X[3,11,4,10],X[16,2,17,1],X[13,16,14,15]]; 0.526778311 0.303957962 0.79379731 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,3,8,2],X[8,6,9,5],X[3,7,4,6],X[4,2,5,1],X[15,11,16,10],X[16,14,17,15],X[20,19,21,18],X[17,12,18,13],X[13,12,14,11],X[21,19,22,20]]; -0.188133215 -0.939940382 0.284812169 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; -0.666928193 0.603297995 -0.437308032 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.371225965 -0.876985315 -0.305103327 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.869311508 -0.11315696 -0.481137199 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.681984385 0.367377067 0.632401288 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[10,6,11,5],X[11,9,12,8],X[6,10,7,9],X[7,5,8,4]]; -0.434113214 0.560308362 -0.705407865 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.924343592 0.350939968 -0.149766691 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.179052051 0.904619432 -0.386786823 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.768881378 -0.636208283 0.0637216391 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.565845924 0.0478447348 -0.823121663 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; 0.384774945 0.907547091 -0.168245417 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.888800775 0.437046257 -0.137926617 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0700106995 -0.818265301 0.570561477 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.374276252 0.183168888 0.909046999 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.489929965 -0.840098304 -0.232816382 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.129504969 -0.936011734 -0.3272774 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.00894742546 0.412197141 -0.911050745 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3],X[5,9,6,8]]; -0.485836295 -0.870677316 0.0767079308 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[5,3,6,2],X[7,5,8,4],X[3,7,4,6],X[8,2,9,1]]; -0.573990282 -0.245854656 0.781082994 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[2,9,3,8],X[7,2,8,1],X[4,1,5,0],X[3,6,4,5],X[9,7,10,6]]; -0.279624677 0.958744544 0.0511755743 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.96014497 0.0989845213 0.261388028 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.341948821 0.325658515 0.881485981 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.0171221818 0.368365363 -0.929523421 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[11,1,12,0],X[13,2,14,1],X[3,7,4,6],X[5,9,6,8],X[7,5,8,4],X[2,10,3,9],X[10,13,11,12]]; -0.0317054219 -0.226402472 0.973517687 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[0,16,1,15],X[1,14,2,13],X[2,12,3,11],X[6,4,7,3],X[9,5,10,4],X[5,9,6,8],X[10,8,11,7],X[17,13,18,12],X[16,15,17,14]]; -0.490863433 0.169535064 -0.854582326 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6],X[8,14,9,13],X[9,12,10,11],X[10,15,11,16],X[12,14,13,15]]; 0.0233134485 -0.98160714 0.189483257 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.380720348 0.731185227 0.566056693 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9],X[12,11,13,10],X[13,11,14,12]]; 0.0840828363 0.490332246 -0.867470094 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3],X[5,9,6,8]]; 0.560282105 0.343537346 0.753701569 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[10,9,11,8],X[11,9,12,10]]; -0.781175898 0.101005001 -0.6160862 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.85321356 -0.0970252658 0.512457529 k5.10 + A^(-20) - 2*A^(-16) - A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[6,0,7,1],X[10,3,11,2],X[4,13,5,12],X[3,10,4,9],X[13,2,14,1],X[7,6,8,5],X[11,9,12,8]]; -0.247390211 0.547185776 -0.799616039 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; -0.210442309 0.709559232 -0.672487718 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.165621794 0.82211536 -0.544697858 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.0844335477 0.547447375 0.832569725 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0],X[10,9,11,8],X[11,9,12,10]]; -0.634627816 -0.569226294 0.522713078 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 2*A^(-20) + A^(-18) + 2*A^(-16) - A^(-14) - 2*A^(-12) + 2*A^(-8) + A^(-6) PD[X[8,0,9,1],X[3,2,4,1],X[2,16,3,15],X[4,15,5,14],X[9,6,10,5],X[12,7,13,6],X[7,12,8,11],X[13,11,14,10]]; -0.324239279 -0.738190321 0.591560597 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,2,9,1],X[5,3,6,2],X[3,7,4,6],X[7,5,8,4]]; 0.685650652 -0.44303856 0.577581178 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.694691287 -0.444101017 -0.565843002 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[10,6,11,5],X[11,9,12,8],X[6,10,7,9],X[7,5,8,4]]; 0.583341965 -0.804829268 -0.109370933 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.855911967 0.14123499 -0.497460935 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.775428676 0.624335773 0.0944203991 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.873771375 -0.401431094 -0.274548101 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.391627274 0.597874603 -0.699409777 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.75908223 -0.534105736 0.372189779 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,7,5,6],X[10,3,11,2],X[7,2,8,1],X[3,10,4,9],X[5,1,6,0],X[11,9,12,8]]; 0.301418799 -0.27396258 -0.913285942 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.370830703 0.449362343 0.812747239 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; -0.193396689 0.712764106 0.674214395 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[8,7,9,6],X[9,7,10,8]]; -0.0487169225 0.957464974 -0.284407253 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3]]; 0.888805672 0.37436589 -0.264338151 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,6,3,5],X[3,2,4,1],X[0,5,1,4]]; 0.640185125 0.76777399 0.0261936234 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; -0.597830352 0.0496299333 -0.800084833 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0951839813 0.228323014 -0.968921365 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[14,1,15,0],X[11,3,12,2],X[12,18,13,17],X[4,10,5,9],X[7,11,8,10],X[8,6,9,5],X[3,7,4,6],X[16,2,17,1],X[13,16,14,15]]; 0.600393554 -0.77936333 -0.179221597 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.10300385 -0.492200932 0.864365923 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[5,3,6,2],X[7,5,8,4],X[3,7,4,6],X[8,2,9,1]]; -0.984175565 0.113130459 -0.136381655 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.286441577 0.752183198 0.593440528 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; 0.421521523 0.872181677 0.248231198 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.838270474 0.0717035327 0.540519394 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; 0.305244236 0.691522644 0.654692591 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.885586111 0.27126414 0.377031838 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; 0.658778922 -0.548399621 0.515041928 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.587578062 -0.797671571 0.13591205 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; -0.188605814 0.0227944772 -0.981788296 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[5,9,6,8],X[2,10,3,9],X[7,5,8,4],X[3,7,4,6],X[11,14,12,13]]; 0.0255728459 -0.862522033 -0.505372904 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.317169839 0.948283437 0.0127207027 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; 0.292745146 0.343161666 0.892491092 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5],X[13,12,14,11],X[17,12,18,13],X[15,11,16,10],X[16,14,17,15]]; -0.666104968 -0.731839246 -0.143928764 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; 0.948190737 0.29082769 -0.127881118 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[1,4,2,3],X[2,1,3,0]]; 0.523013614 -0.0720760215 -0.849271339 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.527357366 -0.636209549 0.563144403 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.459836406 0.536429551 0.707667872 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7],X[16,9,17,8],X[14,10,15,9],X[12,11,13,10],X[19,11,20,12],X[18,13,19,14],X[17,15,18,16]]; 0.260406428 -0.00783515437 -0.965467297 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[5,9,6,8],X[2,10,3,9],X[7,5,8,4],X[3,7,4,6],X[11,14,12,13]]; -0.45273074 -0.730121303 -0.511818092 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[11,5,12,4],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7],X[12,15,13,14],X[13,15,14,16]]; 0.940834551 0.294850236 -0.167014027 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.468632593 -0.447806519 0.761480673 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.357737208 -0.606347066 -0.710188232 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; 0.799996973 -0.500208939 -0.331354586 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.496795045 -0.825900814 -0.26661307 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.919534781 0.153807921 0.36166132 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.934549257 0.355347203 0.0186024811 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.800270915 -0.522598512 -0.294036149 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.737004728 -0.270686799 -0.619316307 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.216345544 -0.825385161 -0.521472859 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.741794279 -0.436085223 -0.509481036 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.835951201 0.0718990253 0.544073634 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.497098407 0.532303796 0.685234152 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6],X[10,9,11,8],X[11,9,12,10]]; -0.957910969 0.106127385 -0.266727488 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.220570434 -0.581704618 0.782922999 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.301267359 0.910477084 0.28331865 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.81420726 -0.501035871 0.293308017 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[4,2,5,1],X[8,3,9,2],X[9,7,10,6],X[10,1,11,0],X[5,12,6,11],X[3,8,4,7]]; 0.915080788 -0.0344672614 -0.401794922 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,8,1,9],X[1,12,2,11],X[2,8,3,7],X[6,4,7,3],X[10,5,11,4],X[5,10,6,9]]; -0.274983873 0.0780019368 0.958279483 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[1,11,2,10],X[8,4,9,3],X[9,7,10,6],X[4,8,5,7],X[5,3,6,2],X[13,12,14,11]]; 0.813475966 0.40063904 0.421598402 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; 0.0506695133 0.953646742 -0.296631914 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.463500761 -0.788303737 0.404653263 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.552237929 0.808470628 0.203490818 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.746863329 -0.532203448 -0.398691182 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1],X[8,11,9,10],X[9,11,10,12]]; 0.446016315 0.783526569 -0.432614796 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[4,8,5,7],X[1,9,2,8],X[6,4,7,3],X[2,6,3,5]]; -0.355079718 0.87403959 0.331622057 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.585269311 0.806925657 -0.079566434 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; -0.362707449 -0.643080852 0.674455576 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2]]; 0.214168013 -0.0403340361 0.975963743 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[0,15,1,14],X[2,12,3,11],X[17,13,18,12],X[10,4,11,3],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6],X[15,14,16,13],X[1,17,2,16]]; -0.905802173 0.382349071 -0.182569471 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.761364053 -0.3275021 0.559524041 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,10,6,9],X[8,5,9,4],X[3,1,4,0],X[7,2,8,1],X[2,7,3,6]]; -0.750406528 0.63304021 -0.190131889 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.332812981 -0.766490057 0.549298199 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[5,3,6,2],X[7,5,8,4],X[3,7,4,6],X[8,2,9,1]]; 0.971762285 -0.106892966 -0.210361489 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.841402429 0.413705586 -0.347691877 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.566224726 0.313173726 0.762438048 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.408239385 0.877803609 -0.250602133 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[5,9,6,8],X[1,5,2,4],X[6,4,7,3],X[2,8,3,7]]; 0.178783848 -0.692478028 0.698935273 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.180127018 -0.53244926 -0.827074388 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6],X[8,11,9,10],X[9,11,10,12]]; -0.238370272 -0.0830422954 -0.967617481 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[2,10,3,9],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8],X[11,14,12,13]]; 0.733348461 0.640235165 -0.228689675 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[11,6,12,5],X[2,9,3,8],X[0,11,1,10],X[1,5,2,4],X[7,4,8,3],X[6,10,7,9]]; -0.782622036 -0.557459522 -0.277022799 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; 0.883217167 -0.177509424 0.434071239 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[5,3,6,2],X[3,1,4,0]]; -0.558867035 -0.0631141259 0.826852009 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.305579721 -0.144763644 0.941097509 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[1,11,2,10],X[9,3,10,2],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5],X[13,12,14,11]]; -0.29448867 -0.918885807 -0.262536279 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; 0.763925206 -0.620060119 0.178728087 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.136457875 0.990214248 -0.0292402278 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; -0.0847215814 0.959586226 0.268358956 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.382942218 -0.296766268 -0.874805715 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[5,9,6,8],X[2,10,3,9],X[7,5,8,4],X[3,7,4,6],X[11,14,12,13],X[14,20,15,19],X[15,18,16,17],X[16,21,17,22],X[18,20,19,21]]; 0.260045688 -0.939269022 0.223941835 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.00225694231 0.98122457 -0.192855515 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.446297529 -0.452334026 0.772147942 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 2*A^(-20) + A^(-18) + 2*A^(-16) - A^(-14) - 2*A^(-12) + 2*A^(-8) + A^(-6) PD[X[3,2,4,1],X[8,0,9,1],X[9,6,10,5],X[4,15,5,14],X[13,11,14,10],X[12,7,13,6],X[2,16,3,15],X[7,12,8,11]]; 0.984974219 -0.0863851447 0.149543954 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.534777606 -0.746336533 -0.396225556 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.671671379 -0.308594928 -0.673518172 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4],X[8,11,9,10],X[9,11,10,12]]; -0.348132963 -0.339062734 0.873979349 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5]]; -0.668565402 0.226509138 -0.708317664 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.955643713 0.271936065 0.113118832 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[8,0,9,1],X[6,1,7,2],X[11,4,12,3],X[2,5,3,4],X[10,6,11,5],X[9,8,10,7]]; -0.218803865 -0.667495875 -0.71174021 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3],X[8,11,9,10],X[9,11,10,12]]; -0.44713562 -0.711929318 -0.541503817 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[11,5,12,4],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7],X[12,15,13,14],X[13,15,14,16]]; 0.753157653 -0.656167643 0.0468782983 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.085045609 0.982100104 -0.168067338 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; 0.855493793 -0.516709953 0.0337815741 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.861495356 0.361149088 0.356927286 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.596773898 0.255626918 0.760602257 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1]]; -0.604051765 0.310822554 -0.733832954 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.763556097 0.645457091 0.0191632672 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; -0.712810491 0.49973817 -0.492100564 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.319608965 0.196139307 -0.927027228 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,9,2,8],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7],X[10,16,11,15],X[11,14,12,13],X[12,17,13,18],X[14,16,15,17]]; -0.0201890624 0.202123748 0.979151874 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5],X[12,11,13,10],X[13,11,14,12]]; 0.520310869 0.16080305 -0.838700769 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.350449252 -0.39637346 -0.848571389 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.665945139 0.383945668 -0.639611441 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[5,9,6,8],X[1,8,2,7],X[9,4,10,3],X[6,3,7,2],X[0,5,1,4]]; -0.853328588 -0.270188518 0.44590188 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[4,12,5,11],X[10,1,11,0],X[13,3,14,2],X[9,6,10,5],X[8,13,9,12],X[3,8,4,7],X[6,2,7,1]]; 0.0171257578 -0.465578886 -0.884840669 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3],X[8,11,9,10],X[9,11,10,12]]; 0.667426747 -0.727544551 0.158809523 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.428107949 -0.359381282 -0.829197611 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; 0.155058623 0.346750828 -0.925051721 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[11,1,12,0],X[13,2,14,1],X[3,7,4,6],X[5,9,6,8],X[7,5,8,4],X[2,10,3,9],X[10,13,11,12]]; -0.670225612 0.568960884 -0.476530315 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.485844805 -0.761482976 0.429067013 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[5,3,6,2],X[7,5,8,4],X[3,7,4,6],X[8,2,9,1]]; 0.613467312 -0.70014892 -0.365307196 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.924553793 -0.288953824 0.248406865 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.710421344 0.0582455575 0.701362224 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; 0.341221159 0.760697965 0.552183598 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.681960769 0.170659747 0.711199522 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.710195192 0.441079963 0.548699605 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; -0.6958721 0.611168589 0.377140526 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2]]; -0.516121243 -0.760037861 0.394919374 k6.17 - A^(-30) + 2*A^(-26) + A^(-24) - 3*A^(-22) - 2*A^(-20) + 2*A^(-18) + 2*A^(-16) - A^(-14) - A^(-12) + A^(-10) + A^(-8) PD[X[0,15,1,14],X[13,2,14,1],X[12,10,13,9],X[4,9,5,8],X[3,12,4,11],X[7,6,8,5],X[6,16,7,15],X[10,3,11,2]]; -0.390175826 -0.153202775 -0.907905135 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[6,10,7,9],X[2,6,3,5],X[7,5,8,4],X[3,9,4,8],X[11,14,12,13],X[14,17,15,16],X[15,17,16,18]]; -0.986307823 -0.0795107173 -0.144481568 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.344908941 -0.648814731 0.678289958 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2]]; -0.672025149 0.579263619 -0.461341369 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.153577634 0.980568214 -0.122065098 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.85530176 0.514086843 0.0646035401 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; -0.433795323 0.775488891 0.458735869 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.493626252 0.817788248 0.295897794 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.259127359 0.921683054 0.288709818 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.616079046 -0.177801121 0.767354788 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.936097353 0.0384260378 -0.349635788 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.218925033 -0.0545572017 0.974215244 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[1,11,2,10],X[9,7,10,6],X[5,3,6,2],X[4,8,5,7],X[8,4,9,3],X[13,12,14,11]]; -0.657100301 -0.616870878 -0.43323148 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9],X[11,9,12,8]]; 0.145958954 -0.783103127 -0.604520866 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.121124925 -0.547230846 0.828170969 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2]]; 0.0458536422 -0.741201086 -0.669715158 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.23326305 0.802245553 0.549536552 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.252402697 0.807606521 -0.532977097 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.220658191 0.458164975 -0.861042867 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3],X[5,9,6,8]]; -0.183366037 -0.870575479 -0.45659088 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0118310821 -0.860424599 -0.509440413 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.296332358 -0.381701673 0.875494698 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[5,3,6,2],X[7,5,8,4],X[3,7,4,6],X[8,2,9,1]]; 0.969227971 -0.233912055 0.0766960904 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.79371826 0.554520992 -0.250035584 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.276067179 0.00917730472 0.961094527 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[1,11,2,10],X[9,7,10,6],X[5,3,6,2],X[4,8,5,7],X[8,4,9,3],X[13,12,14,11]]; -0.181153233 0.842073956 -0.50803047 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.0135162544 0.969494904 -0.244738518 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; 0.397711688 -0.221962707 -0.89025725 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3]]; 0.576013008 -0.430099937 -0.695142474 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; -0.0566954349 0.367926161 -0.928124974 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[6,10,7,9],X[2,6,3,5],X[7,5,8,4],X[3,9,4,8],X[11,14,12,13]]; -0.0511457641 -0.501409222 -0.863697229 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4],X[8,11,9,10],X[9,11,10,12]]; -0.275218315 0.447713151 -0.850768954 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.55268875 0.832947925 0.0270721354 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.424386015 0.397469687 -0.813581193 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4],X[8,11,9,10],X[9,11,10,12]]; -0.560341045 -0.609086985 0.561276187 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 2*A^(-20) + A^(-18) + 2*A^(-16) - A^(-14) - 2*A^(-12) + 2*A^(-8) + A^(-6) PD[X[8,0,9,1],X[4,3,5,2],X[9,6,10,5],X[6,11,7,10],X[11,8,12,7],X[3,14,4,13],X[1,13,2,12]]; 0.226063508 0.751768952 -0.619466491 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[4,8,5,7],X[1,9,2,8],X[6,4,7,3],X[2,6,3,5]]; 0.430435704 -0.507146121 0.74667792 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.680209739 0.680781753 0.271755252 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.125030068 0.989720811 -0.0694276514 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.554978582 -0.0574522241 0.829878313 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.739203564 -0.113976777 -0.663767569 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.706423546 -0.690110551 0.15720433 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; -0.384391549 -0.360074159 0.850052785 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,3,8,2],X[8,6,9,5],X[3,7,4,6],X[4,2,5,1]]; -0.909991157 -0.26610294 0.317970628 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[5,3,6,2],X[1,4,2,3],X[4,1,5,0]]; -0.115569752 -0.974911568 -0.1902395 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.958041074 0.179710559 0.223296697 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.906254405 0.383789595 0.177224434 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.911668189 -0.270131111 -0.309661584 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[10,1,11,0],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5],X[9,12,10,11]]; 0.908139179 0.411267251 0.0783739714 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.363855 -0.0202700485 -0.931235021 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; -0.0799534703 0.812066069 -0.578062403 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.418516366 0.87472938 -0.244320617 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.720103732 -0.0740535006 0.689903395 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[7,2,8,1],X[3,6,4,5],X[4,1,5,0],X[9,7,10,6],X[2,9,3,8]]; -0.202080934 -0.326871962 0.923210711 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[5,3,6,2],X[7,5,8,4],X[3,7,4,6],X[8,2,9,1]]; 0.331921611 -0.777867771 0.533619503 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.581816581 0.224518297 -0.781716701 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[8,3,9,2],X[5,4,6,3],X[0,5,1,4],X[6,10,7,9],X[1,8,2,7]]; -0.723552464 0.66136412 -0.197659639 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.539381487 0.828627559 -0.149813148 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[4,8,5,7],X[1,9,2,8],X[6,4,7,3],X[2,6,3,5]]; -0.23835548 0.951617645 0.193934328 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.449841193 -0.865866526 0.218901945 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.721168455 0.517210612 -0.460878772 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.975331817 -0.0280733417 -0.218951445 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.808055797 -0.555857588 0.195110661 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.593701969 0.80461611 0.0105303363 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; -0.258762399 -0.53679522 -0.803052248 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3],X[8,14,9,13],X[9,12,10,11],X[10,15,11,16],X[12,14,13,15]]; -0.386366344 -0.67401934 0.62961812 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,5,8,4],X[8,2,9,1],X[3,7,4,6],X[5,3,6,2]]; -0.209761668 -0.175320651 0.961905771 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[1,11,2,10],X[6,4,7,3],X[8,6,9,5],X[4,8,5,7],X[9,3,10,2],X[13,12,14,11]]; 0.823577476 0.120697432 0.5542132 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.246474004 0.112324287 0.962618211 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2]]; 0.848254997 0.125392958 -0.514528975 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[6,9,7,8],X[1,5,2,4],X[2,13,3,12],X[11,4,12,3],X[9,6,10,5],X[10,14,11,13]]; 0.661251155 0.719393099 -0.212651074 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.426537913 -0.691897382 -0.582531906 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[8,6,9,5],X[10,8,11,7],X[6,10,7,9],X[11,5,12,4],X[12,15,13,14],X[13,15,14,16]]; -0.0190856642 -0.953758944 -0.299966023 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.191986847 -0.95206253 -0.238155389 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.31885836 -0.451366542 -0.833425216 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[3,7,4,6],X[5,9,6,8],X[7,5,8,4],X[2,10,3,9],X[11,14,12,13],X[14,20,15,19],X[16,21,17,22],X[15,18,16,17],X[18,20,19,21]]; -0.670931161 -0.554088106 -0.492785702 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[11,9,12,8],X[7,5,8,4],X[6,10,7,9],X[10,6,11,5]]; -0.343847289 -0.911616508 -0.225220744 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.212226322 -0.0460087726 -0.976136866 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[3,9,4,8],X[6,10,7,9],X[7,5,8,4],X[2,6,3,5],X[11,14,12,13]]; -0.375701462 -0.916389992 0.138122387 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,2,5,1],X[6,4,7,3],X[2,6,3,5],X[7,1,8,0]]; 0.0912038981 0.993271998 -0.0713623646 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.78374019 0.397881224 -0.476908635 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[1,10,2,9],X[10,4,11,3],X[0,6,1,5],X[2,14,3,13],X[7,12,8,11],X[6,5,7,4],X[12,9,13,8]]; 0.417941165 -0.482041695 0.770039601 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; 0.209270021 0.580108368 0.787197777 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1],X[10,9,11,8],X[11,9,12,10]]; -0.180515927 -0.958158146 -0.222141775 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.471322681 0.558140212 0.682886838 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[6,2,7,1],X[7,5,8,4],X[2,6,3,5],X[3,1,4,0],X[12,9,13,8],X[9,12,10,11],X[13,11,14,10]]; 0.861257455 -0.167925293 -0.479621405 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,8,1,9],X[1,12,2,11],X[2,8,3,7],X[6,4,7,3],X[10,5,11,4],X[5,10,6,9]]; 0.00213163417 0.99623202 0.0867018891 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.205681731 0.965145956 -0.161828023 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.117609702 -0.507040601 0.85386052 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,3,8,2],X[8,6,9,5],X[3,7,4,6],X[4,2,5,1]]; 0.626418109 -0.661612862 -0.412151397 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.618013536 -0.580050801 0.530660284 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 2*A^(-20) + A^(-18) + 2*A^(-16) - A^(-14) - 2*A^(-12) + 2*A^(-8) + A^(-6) PD[X[8,0,9,1],X[1,15,2,14],X[4,3,5,2],X[3,16,4,15],X[12,10,13,9],X[13,6,14,5],X[7,12,8,11],X[10,7,11,6]]; -0.758908613 -0.407525552 -0.507917947 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; -0.958724769 0.190504829 0.211079908 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.096802933 -0.607359655 0.788507097 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5]]; -0.964423847 0.188412142 0.18543869 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[8,6,9,7],X[1,6,2,5],X[4,3,5,2],X[9,8,10,7],X[0,4,1,3]]; -0.293806754 0.764366596 -0.573952348 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.352359843 -0.911570413 -0.211853542 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0871191169 -0.182814825 0.979279837 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[1,11,2,10],X[9,7,10,6],X[5,3,6,2],X[4,8,5,7],X[8,4,9,3],X[13,12,14,11]]; 0.955653297 -0.242139152 -0.167616843 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,5,1,6],X[3,2,4,1],X[2,8,3,7],X[4,7,5,6]]; -0.786893847 -0.463498279 0.407390992 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[2,9,3,8],X[9,7,10,6],X[4,1,5,0],X[3,6,4,5],X[7,2,8,1]]; -0.846594165 -0.203448991 -0.491819915 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.256165996 0.114199384 -0.959863263 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[3,9,4,8],X[6,10,7,9],X[7,5,8,4],X[2,6,3,5],X[11,14,12,13]]; -0.927840601 -0.369307127 -0.0521925744 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.56215203 0.263527273 -0.783925042 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; 0.370139148 -0.927241728 0.0567431818 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.251631389 0.810638634 0.528721713 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.292678899 0.629444672 -0.719818357 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3]]; 0.467028583 0.467129312 0.750782597 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[7,1,8,0],X[2,6,3,5],X[4,2,5,1],X[10,9,11,8],X[11,9,12,10],X[14,13,15,12],X[15,13,16,14]]; 0.454278845 0.663645387 0.594310972 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[5,11,6,10],X[8,12,9,11],X[9,7,10,6],X[4,8,5,7]]; -0.193423065 -0.674698963 -0.712298271 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6],X[8,11,9,10],X[9,11,10,12]]; -0.702886598 0.268560067 0.65865463 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; 0.232910627 0.884827348 0.403525965 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.902309139 0.370725848 -0.220001279 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.642362325 0.342464321 0.685630244 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,5,2,4],X[3,7,4,6],X[5,3,6,2],X[0,8,1,7],X[10,9,11,8],X[11,9,12,10]]; -0.259564278 0.94723502 -0.18807499 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0734745508 0.951208636 -0.299672523 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.139063506 -0.641568694 0.754354659 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; 0.0543167208 -0.423536204 0.90424929 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,5,8,4],X[8,2,9,1],X[3,7,4,6],X[5,3,6,2]]; 0.712575841 0.559223251 0.423680335 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.971895171 -0.229366756 -0.0530157336 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[8,6,9,5],X[10,8,11,7],X[6,10,7,9],X[11,5,12,4]]; 0.050791588 -0.350453464 -0.935201895 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,9,2,8],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7],X[10,16,11,15],X[11,14,12,13],X[12,17,13,18],X[14,16,15,17]]; -0.958822992 -0.26343121 0.106124775 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[7,5,8,4],X[3,2,4,1],X[5,9,6,8],X[9,7,10,6]]; 0.194282589 0.228826286 -0.953883015 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[3,9,4,8],X[6,10,7,9],X[7,5,8,4],X[2,6,3,5],X[11,14,12,13]]; -0.656383042 0.321957514 0.68227902 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; -0.794807748 0.57123794 0.204860583 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.604665836 0.775551895 -0.181379392 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.279710797 0.336562831 0.899159235 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[4,2,5,1],X[7,3,8,2],X[3,7,4,6],X[8,6,9,5],X[16,14,17,15],X[13,12,14,11],X[17,12,18,13],X[15,11,16,10]]; 0.867068867 0.341875784 0.362370704 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.4079804 -0.057270318 0.911192682 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,2,9,1],X[3,7,4,6],X[7,5,8,4],X[5,3,6,2]]; -0.767802192 -0.348075952 -0.537887466 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.924385727 -0.0664226864 0.375631541 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.816650135 -0.486579851 0.310358835 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[11,2,12,1],X[5,1,6,0],X[9,7,10,6],X[3,8,4,7],X[4,11,5,10],X[8,3,9,2]]; 0.635525986 -0.681573928 0.362717111 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.398750148 -0.344014058 -0.850089788 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3]]; 0.461630566 -0.862620204 0.206841978 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.904833465 0.41517089 -0.0943903239 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.718242483 0.597530307 -0.356490206 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0377162843 0.827749662 0.559828527 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.480035605 -0.347592536 0.805447234 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3],X[10,9,11,8],X[11,9,12,10]]; 0.662587845 0.225384637 -0.714268236 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[6,3,7,2],X[10,4,11,3],X[1,9,2,8],X[0,5,1,4],X[11,8,12,7],X[5,10,6,9]]; 0.1579456 0.189431089 -0.969107347 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[3,9,4,8],X[6,10,7,9],X[7,5,8,4],X[2,6,3,5],X[11,14,12,13]]; -0.689982836 -0.228816705 -0.686707071 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[11,4,12,5],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; -0.981395018 0.0167442054 -0.191268007 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.182207122 -0.513598049 0.838461453 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[1,11,2,10],X[6,4,7,3],X[8,6,9,5],X[4,8,5,7],X[9,3,10,2],X[13,12,14,11]]; 0.820212952 -0.201595426 -0.53535969 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3]]; -0.0831629103 -0.330702257 0.9400638 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,12,1,11],X[1,14,2,13],X[8,6,9,5],X[9,3,10,2],X[4,8,5,7],X[6,4,7,3],X[12,11,13,10]]; -0.364905265 -0.301808853 -0.88076987 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[3,7,4,6],X[5,9,6,8],X[7,5,8,4],X[2,10,3,9],X[11,14,12,13],X[14,20,15,19],X[18,20,19,21],X[15,18,16,17],X[16,21,17,22]]; -0.462969342 -0.0305277921 -0.885848431 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3],X[5,9,6,8]]; 0.219605945 0.0498611597 -0.974313653 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[6,10,7,9],X[2,6,3,5],X[7,5,8,4],X[3,9,4,8],X[11,14,12,13]]; 0.357762597 -0.221390093 0.907189259 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4],X[10,9,11,8],X[11,9,12,10],X[14,13,15,12],X[15,13,16,14]]; -0.319305333 -0.731847281 0.602032941 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[7,5,8,4],X[8,2,9,1],X[3,7,4,6],X[5,3,6,2]]; -0.707854343 0.344861324 0.61645186 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9],X[11,9,12,8]]; 0.98714232 -0.0883042232 0.133238149 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.513059289 -0.856158625 -0.06133983 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.659657511 0.16093054 0.734134409 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.00399750248 0.328391502 -0.94453324 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[11,1,12,0],X[13,2,14,1],X[3,7,4,6],X[5,9,6,8],X[7,5,8,4],X[2,10,3,9],X[10,13,11,12]]; 0.499488379 -0.0420150398 -0.865301159 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[1,7,2,6],X[4,8,5,7],X[5,3,6,2],X[0,4,1,3]]; 0.698757685 0.650555164 -0.297515843 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.916488309 -0.342636297 0.206517671 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.767816446 0.629781908 0.1176123 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.56817929 -0.821496095 -0.048129613 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; -0.911843702 -0.391333263 0.12409408 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; -0.94069074 -0.218680038 -0.259383831 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,1,8,0],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.780982989 -0.477521345 -0.402540602 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; 0.665794731 0.619331341 -0.416108239 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.677162415 -0.661326704 0.322642302 UNKNOWN + A^(-28) - 2*A^(-24) - 2*A^(-22) + 2*A^(-20) + 3*A^(-18) - A^(-16) - 3*A^(-14) + 2*A^(-10) + A^(-8) PD[X[8,1,9,0],X[1,4,2,3],X[2,13,3,14],X[10,5,11,4],X[5,12,6,11],X[12,7,13,6],X[7,10,8,9]]; 0.399888179 -0.702470463 -0.588748413 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,7,4,6],X[0,8,1,7],X[5,3,6,2],X[1,5,2,4]]; -0.504958508 -0.367421296 -0.781036809 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3],X[5,9,6,8],X[15,18,16,17],X[10,13,11,12],X[14,20,15,19],X[11,13,12,14],X[18,20,19,21],X[16,21,17,22]]; -0.0559578051 0.67151421 -0.738875761 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[4,8,5,7],X[0,4,1,3],X[5,3,6,2],X[1,7,2,6]]; 0.772601132 0.57768816 0.263370234 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.579036443 -0.802233045 -0.145392362 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.706276986 0.492701544 -0.508348313 k4.2m - A^(-18) - A^(-16) + A^(-14) + 2*A^(-12) - A^(-8) + A^(-4) PD[X[0,4,1,3],X[5,2,6,1],X[2,7,3,6],X[7,5,8,4]]; -0.447051291 0.466626168 0.763154744 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,5,8,4],X[3,1,4,0],X[2,6,3,5],X[6,2,7,1]]; -0.614107869 -0.451522027 0.647301618 k6.4 - A^(-22) - A^(-20) + A^(-16) + A^(-14) + A^(-12) PD[X[10,7,11,6],X[8,12,9,11],X[3,2,4,1],X[7,1,8,0],X[5,10,6,9],X[4,13,5,12],X[2,14,3,13]]; 0.74090049 -0.526033908 -0.41755813 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.925290169 0.379250643 -0.00265563605 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.326310956 -0.147783443 0.933638696 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,13,1,12],X[1,11,2,10],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7],X[9,7,10,6],X[13,12,14,11]]; -0.43514781 0.0288911895 -0.899895373 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; -0.196343872 0.0672441192 0.978226616 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,2,9,1],X[5,3,6,2],X[3,7,4,6],X[7,5,8,4]]; 0.993756643 -0.0625897739 0.0923593808 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,9],X[7,10,8,9],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.399818633 -0.127065242 -0.907744174 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[12,1,13,0],X[10,2,11,1],X[6,10,7,9],X[2,6,3,5],X[7,5,8,4],X[3,9,4,8],X[11,14,12,13],X[14,17,15,16],X[15,17,16,18]]; 0.190219216 0.529868309 -0.826472156 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,9,2,8],X[2,6,3,5],X[6,4,7,3],X[4,8,5,7]]; 0.77947232 0.558538703 0.283650171 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; -0.974361718 0.112883656 0.194618917 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.462128916 0.727088719 -0.507719273 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[1,5,2,4],X[2,8,3,7],X[6,4,7,3],X[5,9,6,8]]; 0.668960531 -0.164830733 0.724791444 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.461475446 0.526905852 0.713730086 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[15,11,16,10],X[16,14,17,15],X[13,12,14,11],X[17,12,18,13]]; 0.382721991 0.164263555 -0.909143202 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[2,6,3,5],X[4,8,5,7],X[6,4,7,3],X[1,9,2,8]]; 0.435163439 0.471842759 0.76680975 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,2,7,1],X[7,5,8,4],X[2,6,3,5],X[3,1,4,0],X[10,9,11,8],X[11,9,12,10]]; -0.235728589 -0.784834946 0.573119656 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,6,9,5],X[4,2,5,1],X[3,7,4,6],X[7,3,8,2]]; 0.670975835 0.607949277 -0.424486873 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 2*A^(-20) + A^(-18) + 2*A^(-16) - A^(-14) - 2*A^(-12) + 2*A^(-8) + A^(-6) PD[X[0,10,1,11],X[17,3,18,2],X[16,5,17,4],X[6,10,7,9],X[5,16,6,15],X[7,14,8,13],X[11,15,12,14],X[1,4,2,3],X[12,9,13,8]]; -0.0335370331 0.916569385 0.398466849 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.886048455 0.463487446 -0.00987535203 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]];