#projection.x projection.y projection.z knotoid_type polynomial PD_code 0.752096533 0.599447599 0.273885708 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.503554489 0.355792175 0.787302232 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,12,1,13],X[3,1,4,2],X[2,13,3,14],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; -0.95380136 0.260609787 -0.149484128 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.740556298 -0.608387826 0.285378035 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.47610659 0.808502222 -0.345899801 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[6,9,7,8],X[7,9,8,10]]; 0.73393778 -0.0688492582 -0.675718222 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.939392774 -0.253684783 0.230619269 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.517006902 -0.364163916 -0.774653798 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[12,0,13,1],X[1,3,2,4],X[13,2,14,3],X[9,5,10,4],X[5,9,6,8],X[6,12,7,11],X[10,8,11,7]]; -0.389481893 -0.807432305 -0.443121799 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0204980849 0.402640137 0.915128815 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.827138139 -0.444751398 -0.343567595 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.756496435 0.490419133 -0.432668715 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.855931477 0.425033917 0.294495288 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.221579665 0.706245193 -0.672398825 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.0194290819 0.494220652 0.869119358 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.835690141 0.358439818 -0.416104416 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.232856544 0.369228509 -0.899693358 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.38269981 0.0707679121 -0.921158378 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.894592388 -0.411475038 -0.174335173 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0619290092 -0.912174303 0.405096085 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.99186638 0.126635917 -0.012822987 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.733407924 -0.308878237 -0.605563417 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.924049941 0.327862336 0.196565499 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.314522507 0.114713678 0.942293142 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.506795274 0.806599109 0.30423088 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0955930792 0.0285967556 -0.995009643 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; -0.315251329 -0.321135964 0.893022 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.421957571 -0.0729716048 -0.903674141 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.54471938 -0.114422419 -0.830775726 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.577941574 0.812175449 0.0797155956 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.364000996 -0.370971166 -0.854332294 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; 0.131755469 0.991073648 0.0203352175 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[8,4,9,3],X[4,8,5,7],X[9,7,10,6],X[5,11,6,10]]; -0.979392381 0.0670144995 -0.190524594 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.418227554 0.11076153 -0.901563972 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.587203984 -0.547221299 -0.596439712 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]]; 0.722416438 -0.680328983 0.12355956 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.409096037 0.874474629 0.260642584 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[2,11,3,12],X[1,4,2,3],X[4,1,5,0],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; 0.259128091 -0.838109458 -0.480026217 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.488359438 -0.657483899 0.573776944 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.913504057 0.0152897921 0.406542199 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.323570884 -0.907697251 -0.267184551 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.109920836 -0.725301914 0.67959881 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.308424674 0.65843481 -0.686540473 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.619406507 -0.394552458 0.678722283 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.840322351 0.523650317 -0.140173791 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0385068535 0.240199015 0.969959615 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4],X[5,9,6,8]]; -0.186559288 -0.378744795 0.906503178 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.198194479 -0.851792195 0.484942269 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.875383756 -0.0376990898 0.481956491 UNKNOWN + A^(-32) - 2*A^(-28) - A^(-26) + 2*A^(-24) + A^(-22) - 2*A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,11,7,10],X[11,8,12,7],X[8,13,9,12],X[13,10,14,9]]; -0.772024304 0.620063851 -0.139639875 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.316157149 0.147323158 -0.937198242 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.976264609 -0.101103823 -0.191534409 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.476800221 -0.314164808 -0.8209519 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[12,0,13,1],X[1,3,2,4],X[13,2,14,3],X[9,5,10,4],X[5,9,6,8],X[6,12,7,11],X[10,8,11,7]]; 0.614040353 -0.310040074 0.725830282 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[6,12,7,11],X[10,8,11,7],X[13,9,14,8],X[9,13,10,12]]; 0.303251445 -0.506249143 -0.807310576 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0337440192 0.0806011274 -0.996175085 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; 0.270261785 -0.85282885 0.446812623 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.558261604 0.245426203 0.792533886 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.466022504 -0.713387798 -0.523355401 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.85348776 -0.371329464 0.365613282 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.692435868 0.463912074 -0.552556022 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.136828065 0.767008036 0.626878579 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0110383143 0.837193035 -0.546796102 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.587250331 -0.458350666 0.667121965 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.659578366 -0.154901099 -0.735501209 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.476946021 0.396691036 -0.784320543 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.930424986 0.160191437 0.329618035 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.7329749 0.271587418 0.623689082 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.097894756 0.547131868 -0.831302193 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.541074892 -0.606444224 -0.582634846 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.098237787 0.923041733 0.371945286 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[3,9,4,8],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9]]; -0.550086297 0.0114972185 -0.83502867 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.533333004 -0.0328777203 -0.845266208 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.184832594 0.75610708 -0.627804903 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.27285795 0.620072594 -0.7355668 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.761021002 -0.622832795 0.181456176 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.891355351 0.369305572 -0.262866949 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.595013486 0.363219891 -0.716959038 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.949021736 0.100677256 0.298700242 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.557768361 -0.825734819 -0.0840027602 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.962052843 0.115371442 -0.247272637 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.886912432 0.461922704 -0.0037085684 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.559351243 0.819411801 -0.125261674 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.893167824 0.0485886641 -0.44709102 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.749635701 0.653916846 0.102171788 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.266613315 -0.678483272 0.684527421 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.673459361 -0.0384379473 -0.738224229 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.38413344 -0.433944067 0.814944199 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.352941466 0.627602508 0.693936174 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[2,6,3,5],X[4,2,5,1]]; -0.318194616 -0.310215987 0.895833817 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.989583725 -0.106803759 -0.0965246502 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.725826575 0.317369663 0.610288686 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.767303457 0.0121071247 -0.641169886 UNKNOWN + A^(-38) + A^(-36) - 2*A^(-34) - 2*A^(-32) + A^(-30) + 2*A^(-28) - A^(-26) - 3*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[4,2,5,1],X[5,8,6,7],X[11,16,12,15],X[9,3,10,2],X[14,11,15,10],X[13,18,14,17],X[16,13,17,12],X[6,1,7,0],X[3,9,4,8]]; 0.789304408 -0.59129211 -0.165445435 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.892750631 -0.259281915 0.368468721 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.284052031 0.263405399 -0.921917588 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.247896242 -0.136675746 0.959097072 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4],X[5,9,6,8]]; -0.618712517 -0.308115537 0.722675333 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.357939348 -0.893515725 -0.271125567 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[3,2,4,1],X[13,2,14,3],X[0,5,1,4],X[10,6,11,5],X[6,10,7,9],X[7,13,8,12],X[11,9,12,8]]; -0.0829452192 0.995292191 0.0501352777 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[5,1,6,0],X[3,2,4,1],X[2,16,3,15],X[4,15,5,14],X[10,14,11,13],X[6,10,7,9],X[11,9,12,8],X[7,13,8,12]]; -0.74469018 -0.667277388 0.0133200511 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.978278623 -0.130075654 -0.161404025 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.1313199 -0.459521106 -0.878405053 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.577621646 0.425924219 0.696377622 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.835152837 -0.461302148 0.299533083 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.783791297 0.0342638468 -0.620078375 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.257991799 -0.0110362367 0.966084071 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.865001109 -0.0967557173 0.492352935 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.154057189 -0.667188452 -0.728783886 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.144645743 0.987334211 -0.0651825457 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.752785888 -0.372365178 -0.542823711 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.83717128 0.185101458 0.514666589 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.324027586 0.807995633 -0.492086558 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.631481809 -0.539271476 0.557150787 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.538893922 -0.631096067 -0.557952593 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.99309292 0.0242922123 -0.114788244 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.39312494 0.448392004 -0.802743665 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.097473211 -0.188815687 0.977163041 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.36650825 -0.434086593 0.822946251 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.604867661 -0.640378975 -0.473339075 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.102248182 0.0341690994 -0.994171908 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; 0.0914951203 -0.804612902 -0.586708378 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.408544212 -0.353051459 -0.841692518 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; 0.325521187 0.938222066 -0.117368276 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[6,9,7,8],X[7,9,8,10]]; 0.344461183 -0.930656176 0.123391957 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[1,6,2,5],X[6,3,7,2],X[7,4,8,5]]; -0.995007475 0.0475077094 0.0877675451 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.278683897 -0.900155136 0.33474769 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.505989643 0.81461246 0.283515469 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.238830249 0.812243883 0.532184166 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[3,9,4,8],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9]]; -0.233966954 -0.865730345 -0.442459528 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[8,4,9,3],X[4,8,5,7],X[5,11,6,10],X[9,7,10,6]]; 0.229088364 0.83733412 0.496376966 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[3,9,4,8],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9]]; 0.198032662 0.265010007 -0.943691031 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.257962118 -0.397635878 -0.880534641 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.759505966 0.317319807 0.567854583 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.119676872 0.92459373 -0.361668191 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.276343442 0.555592983 -0.784187949 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.780406425 -0.0549564567 0.622852791 UNKNOWN + A^(-38) + A^(-36) - 2*A^(-34) - 2*A^(-32) + A^(-30) + 2*A^(-28) - A^(-26) - 3*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[6,5,7,4],X[1,8,2,7],X[12,17,13,16],X[8,4,9,3],X[0,6,1,5],X[2,10,3,9],X[10,15,11,14],X[15,12,16,11],X[17,14,18,13]]; 0.00658931107 0.956528893 -0.29156313 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[5,2,6,1],X[2,7,3,6],X[4,7,5,8]]; -0.0126647854 -0.998880471 0.0455785943 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[9,2,10,1],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; -0.838662774 0.11870467 0.531558043 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.285440396 0.847898357 -0.446757379 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.134753414 -0.536923564 0.832799258 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.719355145 0.369827807 -0.588009838 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.863095853 0.341743422 -0.37185613 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.957672033 0.254001739 -0.135452555 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.586098015 0.488818204 0.646177901 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.162226483 -0.932904965 0.321513444 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.50166176 -0.619362447 -0.603925192 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.535570046 -0.829289795 0.159509128 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.453003545 -0.201951199 0.86833375 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.68619219 0.192720188 0.701426552 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0214761291 -0.962389514 0.270823188 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[1,6,2,5],X[6,3,7,2],X[3,1,4,0],X[7,4,8,5]]; 0.166908099 -0.159635578 0.972963601 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4],X[5,9,6,8]]; -0.46725262 -0.514993384 0.718649291 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.683430524 0.713379184 -0.154960833 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.711711613 -0.379496237 -0.591142272 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.442042147 0.896875867 -0.0145746395 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.838173806 0.50864629 0.196834 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.527042755 -0.504519747 -0.683875544 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.153200582 0.925857996 -0.345422281 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.947315417 0.272529564 0.168288851 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.316055835 0.947822251 -0.0417335508 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[6,9,7,8],X[7,9,8,10]]; -0.11023555 0.758791044 -0.641937906 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.517405029 0.708365803 0.480114492 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.422222134 -0.906361841 -0.0153844915 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.479748351 0.48476328 0.731331719 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.415870024 -0.377278919 0.82747371 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.868930756 -0.442336928 -0.222030141 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.853035737 0.3956291 -0.340305225 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.346504141 0.498334972 0.794730857 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[4,0,5,1],X[6,17,7,18],X[1,16,2,17],X[3,5,4,6],X[2,8,3,7],X[11,15,12,14],X[12,10,13,9],X[15,11,16,10],X[8,14,9,13]]; -0.391960998 -0.283501614 -0.875210495 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; -0.982732469 0.0160749401 0.184332556 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0983080253 0.992058509 0.078456651 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[5,1,6,0],X[3,2,4,1],X[2,16,3,15],X[4,15,5,14],X[7,11,8,10],X[9,13,10,12],X[11,9,12,8],X[6,14,7,13]]; 0.40143893 0.6431083 0.652118471 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.270928595 -0.389438991 0.880303907 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.683601794 0.575998202 -0.448235048 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.751908227 -0.37056732 -0.545264963 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.302273885 0.556428008 0.773962771 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[4,8,5,7],X[5,3,6,2],X[8,4,9,3],X[1,7,2,6]]; 0.489844066 0.694995115 0.526340747 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.149816905 0.238072957 0.959622927 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4],X[5,9,6,8]]; -0.79195632 -0.60630303 -0.072123663 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.539917319 -0.165396203 0.825308054 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4],X[5,9,6,8]]; 0.122304058 -0.907568392 -0.401698059 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.705081592 0.520637061 0.481453009 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.621251192 0.570212141 -0.537498903 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.943055341 0.119628588 -0.310379809 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.855233594 -0.229898496 -0.46445902 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.936892021 -0.23916225 0.255019134 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0497013402 0.62939953 -0.775490818 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.276282209 -0.409009103 0.869700923 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.64600687 0.745698077 0.163124189 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.0368022075 0.896522521 -0.441466836 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.449803928 -0.666587917 0.594421547 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.537869701 -0.348914473 0.767433955 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.643931251 0.315995632 -0.696777801 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.219244129 -0.19131025 -0.956730056 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.155806841 0.48225262 -0.862065333 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.0826476459 0.865532881 -0.493986032 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.746237129 0.252390646 -0.615978172 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.160289006 -0.953077992 0.256806884 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[8,7,9,6],X[9,7,10,8]]; 0.748319285 -0.0401733826 0.662121097 UNKNOWN + A^(-38) + A^(-36) - 2*A^(-34) - 2*A^(-32) + A^(-30) + 2*A^(-28) - A^(-26) - 3*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[23,20,24,19],X[1,17,2,16],X[2,8,3,7],X[6,16,7,15],X[18,23,19,22],X[21,18,22,17],X[0,21,1,20],X[8,13,9,12],X[9,25,10,26],X[10,5,11,4],X[14,6,15,5],X[3,12,4,11],X[13,24,14,25]]; 0.883928486 0.158881015 0.439803654 k4.3m - A^(-22) + A^(-18) - A^(-14) + A^(-10) + A^(-8) PD[X[0,9,1,8],X[3,8,4,7],X[6,3,7,2],X[9,6,10,5],X[1,5,2,4]]; -0.555917224 -0.802863456 -0.215328381 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.78375976 -0.342527297 -0.518069194 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.270906593 -0.52843591 -0.804590024 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.422399314 -0.666327471 0.614480692 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0577081661 0.567050862 -0.821658742 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.134155517 -0.549224364 -0.824836284 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.581826502 -0.740878723 -0.335524423 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.344213667 0.360422916 -0.866955751 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.535942575 0.79968018 -0.270697556 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.663589323 0.746416354 -0.0501182401 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.812048978 -0.355021614 -0.46318043 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.383633158 -0.834472561 -0.395576977 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.527977114 -0.543394007 -0.652658502 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.504125694 -0.233230317 0.831541282 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.359176457 0.778763009 0.514315515 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.705782861 0.683924763 0.184709154 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.450760314 -0.681053212 0.577045633 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.987183893 -0.091982381 -0.130411671 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.179052306 -0.180580046 0.967125183 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4],X[5,9,6,8]]; 0.272734461 0.712871859 0.64608794 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[3,9,4,8],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9]]; 0.0855301281 0.544537662 0.834364028 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.882058638 0.307725792 -0.356759578 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.461860048 0.856304278 0.231145582 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.69180715 -0.372683781 0.618473659 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.469908738 -0.452538127 0.757888528 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.637392527 -0.658561672 0.400034111 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.213299611 -0.359306678 -0.908516366 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.82739877 -0.235884477 -0.509676161 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.881135747 -0.149352209 0.44865768 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.80925887 -0.230823751 0.540204107 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,5,1,4],X[1,7,2,6],X[7,3,8,2],X[5,4,6,3],X[11,9,12,8],X[9,13,10,12],X[13,11,14,10]]; -0.511681062 0.206880851 0.833896159 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.64074655 0.102591738 0.760867133 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.509286408 -0.850952262 0.128481913 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.00636562784 0.262676269 0.964863025 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4],X[5,9,6,8]]; -0.425696989 0.679875327 0.59711943 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.196878211 0.379521897 0.903992312 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,12,1,13],X[1,4,2,3],X[2,13,3,14],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; -0.487152209 -0.843998388 0.224386822 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.898425156 0.416991564 0.137659996 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.406660788 0.868674686 -0.282898025 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[6,9,7,8],X[7,9,8,10]]; -0.0735410273 -0.970017217 0.231642646 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.10055457 0.747700473 -0.656378535 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.548619272 -0.731155512 0.405497856 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.229811211 -0.352550185 0.907135698 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.0995586017 0.404381479 -0.909155489 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.261805395 -0.637261751 0.724814042 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.658529788 0.454396339 -0.599885394 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[5,1,6,0],X[7,2,8,1],X[9,3,10,2],X[3,9,4,8],X[4,7,5,6],X[10,14,11,13],X[14,12,15,11],X[12,16,13,15]]; 0.782569844 0.238963295 -0.574874754 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.467742928 -0.773320255 -0.428009738 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.086417556 -0.986771196 -0.137166367 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[9,7,10,6],X[10,4,11,3],X[5,9,6,8],X[7,5,8,4]]; -0.439868215 0.893452432 -0.0908774165 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[5,2,6,1],X[2,7,3,6],X[4,7,5,8]]; 0.220668461 0.545069234 0.808829377 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[4,0,5,1],X[2,8,3,7],X[6,17,7,18],X[3,5,4,6],X[1,16,2,17],X[8,14,9,13],X[12,10,13,9],X[15,11,16,10],X[11,15,12,14]]; 0.19900076 -0.609969602 -0.767030497 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.212051342 -0.539352047 -0.814943923 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,4,1,5],X[16,1,17,2],X[7,3,8,2],X[5,3,6,4],X[17,6,18,7],X[13,9,14,8],X[9,13,10,12],X[10,16,11,15],X[14,12,15,11]]; -0.989020551 -0.121090945 -0.0847073332 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.67662882 0.0831412002 -0.731615323 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.859153445 -0.174829396 -0.480926231 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.602509402 -0.0580187336 -0.796000155 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.316626581 0.0434931265 0.947552614 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.148908727 0.861410302 0.485590859 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.429676931 0.901961425 -0.0429339376 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.123175159 -0.113161534 0.985911937 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.428895118 0.88198994 0.195301622 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[4,1,5,0],X[1,4,2,3],X[2,11,3,12],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; -0.216869236 0.870628949 0.441557435 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.915722826 -0.310648508 0.254851349 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.018287632 -0.642463255 0.76609825 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.466984158 -0.634637061 -0.61576099 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.873659799 -0.477491083 -0.0933853402 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.756992561 0.308605017 0.575955906 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.262996417 -0.865407514 0.42650055 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.514167092 0.135314337 0.846948777 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.547852975 0.641419296 -0.537064619 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[8,5,9,4],X[5,8,6,7],X[9,7,10,6]]; 0.907180854 0.0907291747 -0.410841959 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0341738583 0.791031676 -0.610819969 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.118435722 -0.117648698 -0.985967425 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; -0.280824027 0.80959716 0.515451554 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.707140643 -0.00362814658 -0.70706361 UNKNOWN + A^(-32) - 2*A^(-28) - A^(-26) + 2*A^(-24) + A^(-22) - 2*A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[5,2,6,1],X[2,7,3,6],X[11,1,12,0],X[14,9,15,8],X[7,4,8,3],X[9,16,10,15],X[17,4,18,5],X[16,14,17,13],X[10,13,11,12]]; 0.423017427 0.905818723 0.0234242841 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.665333964 0.540421543 0.515048806 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.424127779 0.846938903 0.320640174 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.244752102 -0.353556988 -0.90282549 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,4,1,5],X[6,2,7,1],X[17,2,18,3],X[5,3,6,4],X[10,7,11,8],X[13,9,14,8],X[9,15,10,14],X[11,17,12,16],X[15,13,16,12]]; 0.94208089 0.224788541 -0.24890502 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.478712313 -0.463091715 -0.745909234 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.333375447 -0.0387546024 -0.941997289 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.628072596 0.582803257 0.515621157 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.683578701 0.631447224 0.366052679 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.350420929 0.881980092 -0.315144872 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[6,9,7,8],X[7,9,8,10]]; 0.25013707 0.967977468 0.0212383638 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.54662901 -0.82192279 -0.160123868 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.307009795 0.800687493 0.514436122 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.160525902 -0.788250908 0.594047086 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.183636365 -0.510235613 0.840200752 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.709950237 0.676550054 -0.195577824 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.949709717 -0.270781771 0.15725357 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.747776126 0.167182527 0.642558066 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.749236685 -0.422236933 0.510255193 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.588250323 -0.781762925 -0.206901635 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.458266783 -0.871896979 0.172589726 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.23605686 0.604936451 0.760479486 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4],X[5,9,6,8]]; -0.893232853 0.184791975 -0.409862168 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.239569242 -0.582064481 0.777050524 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.600583813 -0.281645295 -0.748314781 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.46151618 -0.0520273913 0.885604859 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.55006124 -0.680622202 0.483927732 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,2,1,3],X[1,4,2,3],X[6,5,7,4],X[5,8,6,7]]; 0.558730759 0.726988425 0.399133773 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.21031593 -0.889415173 -0.405842162 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.948682357 0.170578881 0.266279235 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.872393134 -0.488457533 0.0184244001 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.567114693 0.621483072 0.540499506 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,10,2,9],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; 0.610570683 0.791355326 0.0309869098 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.802062132 -0.308764151 -0.511234814 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.226589441 -0.523041165 0.821635664 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.979803693 -0.00163510547 0.199955117 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.942072986 0.331619505 -0.0502692102 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.58777546 -0.64367909 0.490099212 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.106194515 0.982958732 -0.15004951 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[6,9,7,8],X[7,9,8,10]]; -0.986495661 -0.143900178 0.0782243549 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.109732288 0.817549493 -0.565306688 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.317779288 -0.358910652 -0.877610089 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,4,1,5],X[9,2,10,1],X[20,2,21,3],X[5,3,6,4],X[8,7,9,6],X[21,7,22,8],X[13,10,14,11],X[16,12,17,11],X[12,18,13,17],X[14,20,15,19],X[18,16,19,15]]; 0.271971675 -0.770889529 -0.575986756 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.882317358 -0.370473196 0.290285535 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.954500722 0.171205242 0.244166208 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.874275811 -0.352003969 -0.334267875 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.331097267 0.600970743 -0.727467364 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.826098487 -0.093180914 -0.555768483 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.938682386 -0.344060346 -0.0223126835 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.8368274 0.401209214 0.372493046 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.972920577 -0.227780342 -0.0392640689 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.822003793 0.123528977 -0.555922977 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.557063046 0.785568919 -0.269373785 k4.6m + A^(-20) - 2*A^(-16) - 2*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[6,9,7,8],X[9,8,10,7]]; 0.420592051 -0.411428617 0.808596822 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.725670522 -0.684444872 0.0702674263 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.938301311 0.343755097 0.0377237727 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.472866943 0.217432894 0.853885116 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.834579447 0.538374831 0.116746257 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.530085349 -0.265133158 0.805427794 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.712965149 0.00219298885 -0.70119604 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.393499989 0.872533823 -0.28955567 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.774362667 0.607918984 -0.17549065 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.629439598 0.415133797 -0.656863549 k4.6m + A^(-20) - 2*A^(-16) - 2*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[6,10,7,9],X[10,9,11,8],X[7,12,8,11]]; 0.130150801 -0.439210897 -0.888906382 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.940377252 -0.291838832 -0.174701805 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0295118183 0.0849962114 -0.995944123 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; 0.666886086 -0.511480075 -0.541895821 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.210542446 -0.977291549 0.0239396673 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.593813096 0.596517306 -0.539956582 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.57072571 -0.465162142 0.676680387 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[6,12,7,11],X[4,3,5,2],X[10,8,11,7],X[13,9,14,8],X[9,13,10,12]]; -0.0676493028 -0.9966553 -0.0458452343 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[0,6,1,5],X[1,4,2,3],X[13,3,14,2],X[12,5,13,4],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.930499231 -0.321683073 -0.175188992 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.889866468 -0.388313517 0.239479187 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0239451787 0.346784736 -0.937639043 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.877451058 0.473829106 0.0746030807 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.94424404 -0.277856077 -0.176632931 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.259852534 0.270513879 -0.926983766 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; -0.344165952 0.0745305904 0.935946039 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.217370122 -0.32877185 -0.919053481 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,4,1,5],X[16,7,17,8],X[6,2,7,1],X[5,3,6,4],X[17,2,18,3],X[13,9,14,8],X[9,13,10,12],X[10,16,11,15],X[14,12,15,11]]; -0.871798695 -0.244728227 0.424352602 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.702998477 0.71107908 -0.0126365423 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.891093683 0.125798874 -0.436035194 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.702750555 0.242615222 0.668789587 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.941366778 -0.336322262 0.0267567793 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.536758409 -0.832446682 0.137560644 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.310321773 0.937488361 -0.157530858 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[6,12,7,11],X[7,10,8,9],X[8,13,9,14],X[10,12,11,13]]; 0.760861216 0.484014324 -0.43222719 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.996801719 0.0797430953 0.00523171015 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.558168898 -0.817861384 0.139822163 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.428370174 0.903093823 0.0303404192 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.832929978 -0.351833935 -0.427130582 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0409555879 -0.190426346 -0.980846801 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; -0.681169462 0.715045934 -0.157217926 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.0695779244 0.634966815 -0.769399803 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.414683357 -0.873825189 -0.25390402 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.312163773 0.510501718 -0.80121269 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.832793536 -0.333468206 -0.441875414 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0819581337 0.698384432 -0.711014802 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.934747417 -0.0010395755 -0.355311393 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.453822993 0.886846816 0.0868758662 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.478033305 0.192405226 0.857008978 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.300561883 -0.105465485 -0.94791328 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.647704259 -0.474591952 -0.596021536 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.748517587 -0.279731522 0.601225163 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 3*A^(-20) - A^(-18) + 2*A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,5,1,4],X[1,7,2,6],X[11,9,12,8],X[5,4,6,3],X[7,3,8,2],X[10,13,11,12],X[13,10,14,9]]; 0.346338134 -0.878417842 -0.329290133 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0906621199 -0.266177321 -0.959650985 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; 0.226322939 0.612140741 0.757668556 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.586758543 -0.804699905 -0.0904017449 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.734654855 -0.0267634339 0.677912946 UNKNOWN + A^(-38) + A^(-36) - 2*A^(-34) - 2*A^(-32) + A^(-30) + 2*A^(-28) - A^(-26) - 3*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[14,6,15,5],X[1,7,2,6],X[2,16,3,15],X[0,21,1,20],X[21,18,22,17],X[23,20,24,19],X[9,14,10,13],X[10,5,11,4],X[8,24,9,25],X[7,17,8,16],X[18,23,19,22],X[3,12,4,11],X[12,25,13,26]]; 0.30742399 0.886910455 -0.344790277 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[6,9,7,8],X[7,9,8,10]]; -0.867273694 0.492252743 -0.0743207685 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.559441992 -0.116039687 -0.820706677 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.133029182 0.171332476 -0.97619077 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.977673725 0.186269398 -0.0972512164 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.151096776 -0.797618176 0.583930655 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.50222061 -0.380231157 0.776658694 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.730403572 -0.436879015 0.525021283 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.499451267 0.0457614076 -0.865132548 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.773388756 -0.461855884 0.434233779 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.290275913 0.658046719 0.694776518 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[3,9,4,8],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9]]; 0.820003058 0.544624944 -0.176007543 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.00872480703 -0.869003391 -0.494729204 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.581945591 0.804000839 0.122155558 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.102888095 0.648994855 -0.753803501 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.326589044 0.693771907 0.641887947 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.0682955337 -0.982501164 0.173283532 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[9,2,10,1],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; -0.614326293 -0.630993392 -0.473762118 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0400125537 0.0430922167 -0.998269531 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; -0.285106278 0.366625409 -0.88560726 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.645971416 -0.121083233 0.753697407 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.771856145 0.561260589 -0.298704944 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.431846492 0.746876024 0.505652857 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.771249993 0.0315087066 -0.635752035 UNKNOWN + A^(-38) + A^(-36) - 2*A^(-34) - 2*A^(-32) + A^(-30) + 2*A^(-28) - A^(-26) - 3*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[3,9,4,8],X[6,1,7,0],X[4,2,5,1],X[16,13,17,12],X[9,3,10,2],X[11,16,12,15],X[13,18,14,17],X[5,8,6,7],X[14,11,15,10]]; -0.80567553 0.590577965 -0.0458759959 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.16471387 0.81684818 0.552836677 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.78149832 0.60692512 -0.144576186 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.00428791324 0.609010755 -0.793150373 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.891369069 0.235269796 -0.387439422 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.990408183 -0.0532051942 0.127517991 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0824338108 0.85017095 0.520013483 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.830978735 0.523260912 0.188871279 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.339648599 -0.253196972 0.905831178 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,3,2,4],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; 0.133134912 -0.41295281 0.900968963 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.0925414192 0.965483353 -0.243470697 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.67193692 -0.680047707 -0.293318755 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.683096519 -0.627402678 0.373824858 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.649755498 0.644558557 0.402941757 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.85474464 -0.476951963 0.204764315 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.829568136 -0.558338368 -0.00865874346 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.480096477 0.871743113 0.0978331137 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.508566282 0.417861792 0.752829237 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.573171964 0.203478028 -0.793769861 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.424308929 0.348984503 0.835566724 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4],X[5,9,6,8]]; -0.365230169 -0.544077077 -0.755372132 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.188741794 0.782554759 0.593282887 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.816075143 0.325890592 -0.477301458 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[4,8,5,7],X[8,6,9,5],X[6,10,7,9]]; 0.629787868 -0.369633647 -0.683182412 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.176988066 0.590109177 0.78768419 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.787798769 0.0621747085 -0.61278659 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.356835252 0.933991522 0.0181228779 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.34300979 0.937263238 -0.0623049438 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[5,2,6,1],X[2,7,3,6],X[4,7,5,8]]; -0.373419671 -0.911406061 -0.172906741 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[0,5,1,4],X[3,2,4,1],X[11,2,12,3],X[5,9,6,8],X[9,7,10,6],X[7,11,8,10]]; -0.985861857 0.165237216 0.0278039789 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.386304351 0.250366728 0.88774177 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.178725836 -0.420263672 0.889626619 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.827251716 -0.558161028 0.0641160281 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.347784958 -0.651960208 -0.673790406 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[8,4,9,3],X[4,8,5,7],X[5,11,6,10],X[9,7,10,6]]; 0.722782332 0.532388469 -0.440622535 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.465785297 0.499654864 0.730334905 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0197472207 0.99956206 0.0220393999 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[6,2,7,1],X[5,15,6,14],X[4,3,5,2],X[3,16,4,15],X[7,11,8,10],X[9,13,10,12],X[11,9,12,8],X[0,14,1,13]]; 0.0444647683 0.206335827 0.977470414 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4],X[5,9,6,8]]; -0.14322892 -0.842348008 -0.51955299 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.544983693 0.1208002 -0.829698793 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; -0.439636582 0.207448948 0.873890502 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.428200108 -0.0206032111 -0.903449044 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.635478539 0.46510599 0.616314404 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,8,1,7],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.18256027 -0.77063495 0.610568196 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.451573382 -0.120481997 -0.884061971 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.993391496 0.0994808369 0.0572441965 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.533669037 0.552868558 -0.639948214 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0678083184 -0.97037911 -0.231875861 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[11,2,12,1],X[9,7,10,6],X[10,4,11,3],X[5,9,6,8],X[7,5,8,4]]; -0.894409283 -0.236766041 0.379438898 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.074382212 0.748894676 0.658501367 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.532945563 0.735699995 0.417988689 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.247301974 0.465140416 0.849991839 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.322597164 -0.601121971 0.731152136 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.367802273 0.922316595 0.118547821 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.457299608 -0.744049413 0.48710116 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.551311864 0.419480934 0.721173332 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.49167858 -0.504547833 0.709706741 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.711401282 0.075673658 -0.698700017 UNKNOWN + A^(-38) + A^(-36) - 2*A^(-34) - 2*A^(-32) + A^(-30) + 2*A^(-28) - A^(-26) - 3*A^(-24) - A^(-22) + 2*A^(-20) + 2*A^(-18) + A^(-16) PD[X[6,2,7,1],X[12,9,13,8],X[3,6,4,5],X[2,8,3,7],X[4,1,5,0],X[9,14,10,13],X[14,11,15,10],X[11,16,12,15]]; 0.747369062 0.175559779 -0.640795014 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.961383962 0.238954191 0.136534872 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.308355778 0.865415392 -0.394934062 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.773089661 -0.215856882 0.596437912 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 3*A^(-20) - A^(-18) + 2*A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,5,1,4],X[1,7,2,6],X[7,3,8,2],X[5,4,6,3],X[11,9,12,8],X[13,10,14,9],X[10,13,11,12]]; 0.734729689 -0.150776339 0.661391548 UNKNOWN + A^(-34) + 2*A^(-32) - A^(-30) - 5*A^(-28) - 3*A^(-26) + 3*A^(-24) + 4*A^(-22) - 2*A^(-18) + A^(-14) + A^(-12) PD[X[0,7,1,6],X[10,15,11,14],X[1,5,2,4],X[7,6,8,5],X[17,13,18,12],X[2,10,3,9],X[8,4,9,3],X[15,12,16,11],X[13,17,14,16]]; 0.760452239 -0.57301007 -0.30556808 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.839291234 -0.256600291 0.479318804 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.981844715 0.168351417 0.0873999801 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.456727005 0.752387263 -0.47467236 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.563827183 -0.749394828 -0.347140173 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.172017924 0.069650748 -0.982628418 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; 0.596659269 -0.790053332 -0.140760253 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.48648304 -0.661811282 -0.570385903 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.957773097 0.278702683 0.0706789163 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.87019662 0.00938972187 0.492615139 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.843783066 -0.468059496 0.262584169 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.762944516 0.461321703 -0.452877415 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.475081619 0.394152477 -0.786728212 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.346082397 0.400469226 0.848440554 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.937241817 -0.339500678 0.0794799733 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.535780179 0.183194878 -0.824244646 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[12,0,13,1],X[4,1,5,2],X[7,3,8,2],X[3,9,4,8],X[5,11,6,10],X[9,7,10,6],X[11,13,12,14]]; -0.246945198 -0.956040108 0.158130895 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[11,7,12,6],X[13,8,14,9],X[12,10,13,11],X[9,8,10,7],X[16,15,17,14],X[17,15,18,16]]; -0.896975123 0.433600188 0.086177181 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.226512592 -0.766681997 -0.600741843 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[8,4,9,3],X[4,8,5,7],X[5,11,6,10],X[9,7,10,6]]; -0.80680486 0.590746724 0.00917745801 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.726811138 -0.606016364 -0.32324872 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.489777213 0.499712286 0.714426983 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.736933024 0.674988708 0.036331282 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.551624545 0.776837437 -0.30370044 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.68553843 -0.403929403 0.605704629 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.636666532 -0.651214887 -0.413007139 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.0973526499 0.400698723 -0.911023049 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.0609605039 -0.986284596 -0.153383547 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[0,6,1,5],X[1,4,2,3],X[15,3,16,2],X[14,5,15,4],X[13,7,14,6],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; 0.725683786 -0.64444471 0.240985598 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.734204065 0.564165855 -0.37770528 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0958882886 -0.763136744 -0.63908352 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.894516945 0.123036302 0.429769128 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.534991581 0.714673304 -0.45058415 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,7,5,6],X[7,6,8,5]]; -0.443071644 0.88471401 0.144805519 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.640134615 0.766414622 -0.0532569508 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.144668713 0.759761836 0.633902924 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.189805894 0.854778289 -0.483040164 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.279374386 0.945989561 0.164480099 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.359441346 0.541438971 0.760030104 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.96491316 0.23923348 0.108212457 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.374232518 -0.922496545 0.0946052214 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[1,6,2,5],X[6,3,7,2],X[7,4,8,5]]; 0.0302278676 -0.735716223 0.676615042 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.240142245 -0.483141895 -0.841965327 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.177901848 0.738848713 -0.649964239 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.960696037 0.0521914086 0.272652125 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.615445964 -0.788139999 -0.00784901995 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.503158283 0.543595985 0.671814816 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.797973844 -0.197590818 0.569381781 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.16549429 0.660581874 0.732286302 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[5,9,6,8],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4]]; 0.605758562 0.360893304 0.709092792 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.981182749 -0.0898431274 0.170905311 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.651269654 -0.635449723 -0.414790896 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.732329754 -0.677569955 0.0677649393 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.556446437 0.683103874 -0.473007885 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.76787396 0.0948193299 0.633544692 UNKNOWN + A^(-32) - 2*A^(-28) - A^(-26) + 2*A^(-24) + A^(-22) - 2*A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[2,6,3,5],X[4,9,5,8],X[0,11,1,10],X[7,4,8,3],X[11,16,12,15],X[6,17,7,18],X[16,13,17,12],X[1,15,2,14],X[13,10,14,9]]; 0.682864218 0.70394179 -0.195352028 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.607074938 0.687217607 -0.398988696 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.978323657 0.146941677 0.145914239 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.281121926 -0.437758696 -0.854012756 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,4,1,5],X[20,2,21,3],X[19,10,20,11],X[5,3,6,4],X[8,7,9,6],X[21,7,22,8],X[9,2,10,1],X[16,12,17,11],X[12,16,13,15],X[13,19,14,18],X[17,15,18,14]]; 0.977605214 -0.192054916 -0.0860404237 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.744559574 0.34385655 -0.572183287 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[11,7,12,6],X[7,11,8,10],X[8,14,9,13],X[12,10,13,9]]; -0.0477311442 -0.378735645 0.924273254 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.24889683 -0.0499824726 0.967239433 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.282560941 -0.0202369054 0.959035861 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[8,4,9,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; -0.463837854 0.885191146 0.0359316031 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.89723913 0.419004927 0.13927245 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.865994703 0.45165948 0.214608687 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.89247632 -0.371609986 0.255718665 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.286807961 -0.296179888 0.911053603 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.940842571 -0.293431445 -0.169449824 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.185463042 -0.982141345 -0.0316518219 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[3,9,4,8],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9]]; 0.642620112 -0.199743217 0.739690502 UNKNOWN + A^(-28) + A^(-26) - 2*A^(-24) - 4*A^(-22) + 4*A^(-18) + 2*A^(-16) - 2*A^(-14) - A^(-12) + A^(-10) + A^(-8) PD[X[4,9,5,8],X[0,12,1,11],X[17,13,18,12],X[3,18,4,19],X[1,6,2,5],X[13,17,14,16],X[7,19,8,20],X[9,16,10,15],X[14,11,15,10],X[6,3,7,2]]; -0.853053564 0.17559412 -0.491392229 k4.6m + A^(-20) - 2*A^(-16) - 2*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[4,8,5,7],X[5,10,6,9],X[8,7,9,6]]; -0.678852823 0.711808893 -0.180241351 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.0400504253 -0.535698919 0.843458732 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.374756007 -0.135692502 0.917139837 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[8,4,9,3],X[1,7,2,6],X[5,3,6,2],X[4,8,5,7]]; -0.30061907 -0.484876475 -0.821293479 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,4,1,5],X[16,7,17,8],X[6,2,7,1],X[5,3,6,4],X[17,2,18,3],X[13,9,14,8],X[9,13,10,12],X[10,16,11,15],X[14,12,15,11]]; -0.713241425 0.427803816 0.555221185 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.151073994 -0.420924142 0.89442692 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.99472484 -0.0806348027 -0.063407579 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.324784521 0.458667682 0.827126938 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.479146015 -0.816096967 0.323117372 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.113672076 -0.616695643 -0.77895131 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.769982684 -0.461077798 0.441060009 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[5,2,6,1],X[2,7,3,6],X[4,7,5,8],X[11,9,12,8],X[9,13,10,12],X[13,11,14,10]]; 0.521660449 -0.115451723 0.845305433 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,12,1,13],X[1,10,2,11],X[2,8,3,7],X[6,4,7,3],X[9,5,10,4],X[5,9,6,8],X[13,11,14,12]]; -0.548851111 -0.542885896 -0.635639333 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]]; -0.656792537 -0.0157834477 -0.753906126 UNKNOWN + A^(-32) - 2*A^(-28) - A^(-26) + 2*A^(-24) + A^(-22) - 2*A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[2,1,3,0],X[8,5,9,4],X[10,7,11,6],X[7,12,8,11],X[1,4,2,3],X[5,10,6,9]]; 0.0485369521 -0.997775225 -0.0457029976 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[0,6,1,5],X[1,4,2,3],X[15,3,16,2],X[14,5,15,4],X[13,7,14,6],X[10,8,11,7],X[8,12,9,11],X[12,10,13,9]]; 0.875472752 -0.305340997 0.374585553 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.72389032 0.652735633 -0.223425599 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.817389047 0.335605996 -0.468234728 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.018239803 0.180493169 0.983407101 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4],X[5,9,6,8]]; -0.846104205 0.312240043 -0.431988228 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.958970854 0.130558248 0.251653423 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.903896492 0.318368676 0.285679048 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0248474163 -0.91590316 -0.400629513 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.257078386 -0.15744079 0.953479471 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4],X[5,9,6,8]]; 0.236819432 0.951424552 0.196743178 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[3,9,4,8],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9]]; -0.680723229 0.405509968 0.610063563 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.556345881 0.0928556943 0.825746378 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.419162127 -0.12793389 -0.898852619 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[6,4,7,3],X[2,8,3,7],X[1,5,2,4],X[5,1,6,0]]; 0.88530983 0.18629263 0.426053473 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.920228546 -0.388023881 0.0511555513 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.239033799 0.402431053 -0.883692306 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.529941951 0.741469947 -0.411562688 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.041656781 0.86304132 0.503412745 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.189386904 0.48519106 -0.853652292 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.433970692 0.183884803 0.881961347 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.19826501 -0.16080559 -0.966867389 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.38688109 -0.64346778 -0.660509075 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.329529767 0.938655348 0.101667448 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[4,1,5,0],X[1,4,2,3],X[2,11,3,12],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; -0.920137178 -0.388480669 -0.0492985048 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.357430679 -0.365309805 0.859530136 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,3,2,4],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; 0.574129943 0.765573917 0.290295342 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.485382959 -0.457363679 0.745132101 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.817849012 -0.557025405 -0.144380376 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.29636195 -0.31622387 -0.901205891 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,4,1,5],X[7,3,8,2],X[17,6,18,7],X[5,3,6,4],X[16,1,17,2],X[13,9,14,8],X[9,13,10,12],X[10,16,11,15],X[14,12,15,11]]; 0.629968949 -0.708558227 -0.317937671 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.396670922 0.776531016 0.4895424 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.213818442 0.33072278 0.919186661 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; -0.800003806 -0.504245602 -0.325161933 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.1023653 0.946085885 -0.307315544 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.256312848 -0.572434643 -0.778859617 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0527806279 -0.049437463 -0.997381643 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; 0.582209553 0.357399676 0.730272215 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.525496408 0.763461811 -0.375472486 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.358911846 0.0957778186 0.928444342 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.790794793 -0.271132521 0.548753816 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 3*A^(-20) - A^(-18) + 2*A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,5,1,4],X[1,7,2,6],X[7,3,8,2],X[5,4,6,3],X[11,9,12,8],X[10,13,11,12],X[13,10,14,9]]; 0.259440739 -0.956016376 0.136832714 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[1,6,2,5],X[6,3,7,2],X[7,4,8,5]]; -0.327725176 0.0583216575 0.942971258 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.502920503 -0.276494566 -0.818914967 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.39296874 -0.77033674 -0.502152244 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[8,4,9,3],X[4,8,5,7],X[5,11,6,10],X[9,7,10,6]]; -0.886340419 0.381830709 0.261927415 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.865887835 0.265157908 -0.424181023 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.267606484 -0.286844331 -0.919840801 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.0531629166 -0.612735691 -0.788497735 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; -0.555141942 0.830688759 -0.0421142527 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.731067469 -0.53850905 0.418984915 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.939061788 -0.062520768 0.338014957 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.760153182 -0.303002066 0.574766811 UNKNOWN + A^(-26) + A^(-24) - 2*A^(-22) - 3*A^(-20) - A^(-18) + 2*A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,5,1,4],X[1,7,2,6],X[5,4,6,3],X[7,3,8,2],X[10,13,11,12],X[13,10,14,9],X[11,9,12,8]]; 0.200558921 0.750986793 0.629122369 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.891321007 0.445836466 0.0823207605 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.875516442 0.136063023 -0.463635431 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.193423625 0.803825534 -0.562540499 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0762253105 0.625071918 -0.776836404 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.114165878 0.342158055 0.932681091 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.721824735 -0.168783176 0.671179031 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.311972061 0.192923374 0.930297805 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0858615458 -0.170737298 -0.981568424 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.551501933 0.794749416 -0.253414647 k4.6m + A^(-20) - 2*A^(-16) - 2*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[6,9,7,8],X[9,8,10,7]]; 0.112031121 0.911772375 -0.395120442 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.0827491432 0.248492277 -0.965092828 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.0671300513 0.324575485 0.943474595 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.406301521 0.363108901 0.838493292 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.531618913 -0.796053158 0.289276167 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.577231681 -0.308309652 0.756140691 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.395334132 -0.891509994 0.221180593 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[8,7,9,6],X[9,7,10,8]]; -0.1894477 0.632556071 0.750987608 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.819133364 0.142229145 -0.555690024 UNKNOWN + A^(-34) + 2*A^(-32) - A^(-30) - 5*A^(-28) - 3*A^(-26) + 3*A^(-24) + 4*A^(-22) - 2*A^(-18) + A^(-14) + A^(-12) PD[X[5,1,6,0],X[4,7,5,6],X[3,2,4,1],X[13,9,14,8],X[2,8,3,7],X[9,13,10,12],X[14,11,15,10],X[11,16,12,15]]; -0.526793985 -0.546070023 0.651379788 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.89847744 0.227084656 -0.375727094 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0172944378 0.879378756 -0.475808687 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.216616321 0.964229224 -0.152772291 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.571274139 -0.8184658 0.0613155188 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.532685552 0.846059964 0.0207036105 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.829928825 0.430248308 -0.355112009 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0261981974 0.800711562 0.598476941 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.808392751 0.495815918 0.317281791 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.242908587 -0.969269714 0.0388798029 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.585306033 -0.55892525 -0.587383531 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.595178111 0.695457568 -0.402618662 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.879790733 0.123304103 0.459090802 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.550832363 -0.344650287 -0.760131494 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.669405337 -0.365899886 -0.646539842 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.150012753 0.0170318279 0.988537349 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.628779499 -0.660104442 0.410972587 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.358828092 -0.4790372 -0.801102841 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.299425257 -0.346434209 -0.889003855 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.809648453 -0.454137552 -0.37179089 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.819294789 -0.380604701 -0.428831097 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0682989651 0.820676776 0.567296114 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.636033414 -0.401780213 0.658812687 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.663257472 0.60432587 0.441451887 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.395421131 -0.302704694 0.867186253 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.628259564 -0.421658371 0.653830359 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.095365583 -0.076712903 -0.992482008 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; 0.19643482 -0.619459582 0.760054727 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.117467287 -0.98950926 -0.0841003042 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[9,2,10,1],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; -0.0492655402 -0.501224134 -0.863913928 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.409889307 -0.910618791 -0.0525754071 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.668895741 0.660960084 0.3401621 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0161372957 -0.822998049 0.567814934 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.262718463 0.51743061 -0.814398289 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.823524366 -0.455294105 -0.338400498 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.831512207 -0.551604645 0.0657249163 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.760791256 0.456986797 0.460825056 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.270003288 0.941564209 0.201382883 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[2,6,3,5],X[4,2,5,1]]; 0.696788828 -0.716251592 0.0383273559 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.749929416 0.635997503 0.181969908 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.157388697 -0.236045566 0.958911513 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.759781587 0.1490786 -0.632856627 UNKNOWN + A^(-34) + 2*A^(-32) - A^(-30) - 5*A^(-28) - 3*A^(-26) + 3*A^(-24) + 4*A^(-22) - 2*A^(-18) + A^(-14) + A^(-12) PD[X[5,1,6,0],X[7,2,8,1],X[9,3,10,2],X[3,9,4,8],X[4,7,5,6],X[14,11,15,10],X[11,16,12,15],X[12,18,13,17],X[16,14,17,13]]; -0.0708227894 -0.335154169 -0.93949764 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.798838591 0.404297665 -0.44542149 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.351702994 0.935666171 0.0288759489 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.877860917 -0.124426911 -0.462469625 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.274719726 -0.506285699 -0.817437376 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; -0.489541297 0.862937955 0.12524937 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.0860096776 0.514790349 -0.852990757 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.729843744 0.258711574 -0.632768861 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.853477035 0.520310597 -0.0292204311 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.531260144 -0.0734793632 -0.844016257 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.916488061 0.0985678709 -0.387729298 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.801521098 0.2731596 0.531928343 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.225803898 -0.825275964 0.51762166 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.93266612 0.33823697 0.12541794 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.837068898 -0.0193558311 -0.546754983 UNKNOWN + A^(-32) - 2*A^(-28) - A^(-26) + 2*A^(-24) + A^(-22) - 2*A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[2,1,3,0],X[1,4,2,3],X[8,5,9,4],X[5,10,6,9],X[10,7,11,6],X[7,12,8,11]]; 0.226993233 0.339383442 0.912848811 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[4,0,5,1],X[1,7,2,6],X[2,17,3,18],X[3,5,4,6],X[7,10,8,11],X[8,14,9,13],X[14,10,15,9],X[16,12,17,11],X[12,16,13,15]]; 0.374536687 0.923378688 0.0842263 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.137380327 -0.915935581 0.377079112 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.380775354 -0.784565675 -0.489353482 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[8,4,9,3],X[4,8,5,7],X[5,11,6,10],X[9,7,10,6]]; -0.0941909807 0.861899505 -0.498254254 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.695294408 -0.686683524 -0.212206087 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.875411686 -0.483084347 -0.0168491127 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.340709867 -0.452909199 -0.823887155 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.817823951 -0.496001365 0.291798957 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.321782074 0.0219411605 0.946559498 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.784418589 0.32505329 0.528230855 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.605803944 0.736272916 -0.301502528 UNKNOWN - A^(-24) + 3*A^(-20) + 2*A^(-18) - 3*A^(-16) - 5*A^(-14) + 3*A^(-10) + 2*A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[6,12,7,11],X[12,8,13,7],X[8,11,9,10],X[9,13,10,14]]; -0.41150751 0.193044842 -0.890727376 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[10,0,11,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4],X[9,11,10,12]]; 0.00143311676 0.669464012 -0.742843108 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.299310722 -0.436216352 -0.848603786 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.981834272 -0.189524333 -0.00905482657 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.243034059 -0.749496882 0.615783135 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.242611834 -0.850211841 0.467203728 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.802225627 0.582448854 0.131100631 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.715800163 0.697225551 -0.0388156935 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.0284430363 0.990527984 -0.134332818 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[3,7,4,6],X[4,10,5,9],X[8,6,9,5],X[7,11,8,10]]; 0.241249852 -0.962541262 0.123745011 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[1,6,2,5],X[6,3,7,2],X[7,4,8,5]]; 0.687851926 -0.186680728 -0.701434269 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.404512334 0.183686822 0.895895598 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.00314150373 -0.325877092 0.945406924 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.236624038 -0.826738924 0.510403581 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.679131164 0.700165322 0.220339246 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.248899398 -0.860421051 0.444662461 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.403749224 0.709982163 0.576985175 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.390724379 0.728478605 -0.56271963 k4.8 + A^(-14) - 2*A^(-10) - A^(-8) + A^(-6) + 2*A^(-4) PD[X[0,6,1,5],X[6,2,7,1],X[2,5,3,4],X[3,7,4,8]]; 0.363461701 -0.80510463 0.468723935 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.363290205 0.576971849 -0.731521505 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.158517076 0.594967533 -0.787963179 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.428164995 -0.699650362 0.571982612 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.226227639 0.219317923 -0.949063066 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0266649605 0.254585343 0.966682618 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4],X[5,9,6,8]]; -0.589161042 0.407062942 -0.697989275 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; -0.916511331 0.0868525504 0.390465895 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.21182409 0.477219786 0.852872693 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[4,0,5,1],X[7,10,8,9],X[8,21,9,22],X[1,19,2,20],X[3,5,4,6],X[2,11,3,10],X[6,20,7,21],X[14,18,15,17],X[15,13,16,12],X[18,14,19,13],X[11,17,12,16]]; -0.763633841 0.55264384 0.333838497 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.739379735 0.499374988 0.451599633 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.176507039 0.447674795 -0.876602842 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.623709517 -0.33961592 -0.704022347 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.788057034 -0.262893733 -0.556644408 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.88820685 0.276049455 0.367267327 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.312318012 -0.886389858 0.341716958 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[8,7,9,6],X[9,7,10,8]]; 0.569395135 -0.357933779 -0.740049046 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.714984543 -0.111993553 0.690111982 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.3571077 -0.114726637 0.926990771 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4],X[5,9,6,8]]; 0.552675884 -0.833374153 0.0060735913 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.156483752 -0.608624008 -0.777875088 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,9,4,8],X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; 0.404835091 -0.914193622 -0.0189359454 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.705580141 0.0196233357 -0.708358377 UNKNOWN + A^(-32) - 2*A^(-28) - A^(-26) + 2*A^(-24) + A^(-22) - 2*A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[11,1,12,0],X[5,2,6,1],X[2,7,3,6],X[7,4,8,3],X[10,17,11,16],X[17,4,18,5],X[14,9,15,8],X[9,14,10,13],X[15,13,16,12]]; -0.207587034 0.397844151 -0.893659697 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.944223804 0.14661043 0.294867412 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.539277562 0.39987987 -0.741131433 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[11,7,12,6],X[7,11,8,10],X[8,14,9,13],X[12,10,13,9]]; 0.51954651 0.383367853 -0.763610184 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.143712945 0.925186467 -0.35125004 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.995307099 0.0644515969 0.0721787391 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.119553111 -0.324079252 0.938445359 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.113216251 -0.654425936 -0.747602017 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[7,0,8,1],X[4,2,5,1],X[2,6,3,5],X[6,4,7,3]]; 0.935991247 0.227545228 -0.268595523 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.363237956 0.419106302 -0.832110627 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.432623229 -0.535235637 -0.725506688 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[12,0,13,1],X[3,2,4,1],X[13,2,14,3],X[9,5,10,4],X[5,9,6,8],X[6,12,7,11],X[10,8,11,7]]; -0.0683903677 -0.698566327 -0.712269502 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.760890902 0.16791645 -0.626776756 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.517200677 -0.202457445 -0.831573474 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.217696748 0.0953084784 0.971351852 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,7,1,8],X[1,5,2,4],X[5,3,6,2],X[3,7,4,6]]; 0.85162858 -0.519919375 0.066427439 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.949580308 -0.10422113 -0.295694428 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.776848096 0.208123551 0.594299271 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.814753129 0.520368961 0.255721496 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.460705419 0.701105854 -0.544243602 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.156378722 -0.767488646 0.62169677 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.175899228 0.519892892 0.835925141 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,2],X[1,13,2,14],X[3,6,4,7],X[4,10,5,9],X[10,6,11,5],X[12,8,13,7],X[8,12,9,11]]; 0.0580625747 0.99348616 0.0980509473 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[5,1,6,0],X[3,2,4,1],X[2,14,3,13],X[4,13,5,12],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; -0.0941896431 -0.586791078 -0.804241594 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.485265274 -0.789559805 -0.375650009 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.931995373 -0.217623128 -0.289870314 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.572464769 -0.301105641 -0.762639811 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.272191511 -0.551699064 0.788378034 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.127696501 0.525372635 0.841235519 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0324856369 -0.87457347 0.483803605 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.882297822 -0.230933615 -0.410146583 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.475720187 0.791728238 0.383218868 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.462134498 0.874452235 0.147529641 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.945991265 -0.0355432721 0.322237805 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.483073647 -0.0841925793 -0.871522496 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.439693094 -0.246824853 0.863566717 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,10,1,11],X[11,9,12,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; 0.311284346 0.944224159 -0.107437395 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[6,9,7,8],X[7,9,8,10]]; 0.597897701 0.709184554 0.373598189 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.202213678 0.174754683 0.963623593 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.927868802 -0.207386696 -0.309919738 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.740255875 0.669613201 0.0603274456 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.288244074 0.785816067 0.547182293 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[3,9,4,8],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9]]; 0.0268717887 0.341058143 -0.939658049 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.589050225 0.0575606245 0.8060438 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.133217148 -0.245986216 0.960074983 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.441683528 -0.508344319 -0.739257542 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.854397866 -0.474053528 -0.212785194 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.521916111 -0.560175931 0.643277933 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.728591767 0.341417147 0.593791519 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.702088782 0.673979363 0.229832897 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.274927813 -0.81072736 -0.51685186 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[8,4,9,3],X[4,8,5,7],X[5,11,6,10],X[9,7,10,6]]; 0.711358412 -0.639362384 -0.291864611 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.0896127825 0.938886281 0.332358392 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[3,9,4,8],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9]]; -0.613392656 0.386680748 0.688641742 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.879485736 0.461571468 0.116002676 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.75398298 0.320265501 0.573532628 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.959500868 -0.0968754568 0.264524534 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.887263497 0.436249385 0.14983311 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.431979751 -0.549536093 0.715124868 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.829510658 -0.315901504 0.460563034 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; -0.206638056 0.971288165 -0.117898323 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.724658997 -0.436064436 -0.53358893 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.0925102028 -0.52017904 -0.849032172 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.737132233 0.651997197 -0.177583014 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.738462049 0.533889752 0.411868347 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.494563865 0.255000298 0.830891949 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,12,1,13],X[3,1,4,2],X[2,13,3,14],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; 0.827733075 -0.284595737 0.483594068 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,4,1,3],X[1,6,2,5],X[4,3,5,2],X[9,7,10,6],X[7,11,8,10],X[11,9,12,8]]; 0.199154716 0.826389763 -0.526704242 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.934539374 -0.350346848 0.0623958753 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.825969424 0.0866713584 -0.557012195 UNKNOWN + A^(-32) - 2*A^(-28) - A^(-26) + 2*A^(-24) + A^(-22) - 2*A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[3,1,4,0],X[5,2,6,1],X[10,7,11,6],X[2,5,3,4],X[7,12,8,11],X[12,9,13,8],X[9,14,10,13]]; -0.716466854 -0.139312272 0.683569556 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.523219927 0.66158747 0.537161919 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.992632237 -0.0655135753 -0.101927492 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.380418305 -0.456533912 0.804275264 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.554498936 0.811454746 0.184586362 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.753425604 -0.603495612 -0.261041963 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.551344254 -0.0953557064 -0.828810474 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.847835845 -0.462901842 -0.258643122 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.364406088 -0.340815129 -0.866633285 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; -0.471267232 0.710424111 0.522689945 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.609206822 0.564881404 0.556575285 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.902897587 -0.366491789 0.224632402 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.509487173 -0.00530452888 -0.860461901 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.0959281304 0.794520516 -0.599612328 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.335462715 -0.20261317 -0.920006886 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,4,1,5],X[16,1,17,2],X[7,3,8,2],X[5,3,6,4],X[17,6,18,7],X[13,9,14,8],X[9,13,10,12],X[10,16,11,15],X[14,12,15,11]]; -0.674317347 -0.46090271 -0.576944371 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.478547984 0.562037854 0.674614911 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,10,1,9],X[8,4,9,3],X[5,3,6,2],X[4,8,5,7],X[1,7,2,6]]; 0.497279313 0.42541143 -0.756133851 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.834546058 -0.521554447 -0.17752137 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.96235412 0.144989741 0.229896766 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.50091268 0.865215929 0.0220880788 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,4,1,3],X[5,2,6,1],X[2,7,3,6],X[4,7,5,8]]; -0.381175229 0.322246768 -0.866523205 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[2,1,3,0],X[3,1,4,2],X[9,5,10,4],X[5,9,6,8],X[6,12,7,11],X[10,8,11,7]]; -0.602579435 0.105339709 -0.79107621 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[11,4,12,5],X[1,4,2,3],X[7,11,8,10],X[5,9,6,8],X[9,7,10,6]]; -0.453439203 -0.770287633 -0.448385829 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[0,5,1,4],X[3,2,4,1],X[13,2,14,3],X[10,6,11,5],X[6,10,7,9],X[7,13,8,12],X[11,9,12,8]]; -0.0826547762 0.639386624 -0.764429809 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.678520711 0.272585067 -0.68213417 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.366525011 -0.741826884 0.561562366 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0642019345 -0.304825398 0.950241858 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.728572226 -0.378728246 -0.570742873 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.531433247 -0.186175834 0.826388082 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.256078959 -0.885406571 -0.387915932 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.128758598 0.572040835 -0.810055866 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.837693326 0.161714296 0.52164967 UNKNOWN + A^(-32) - 2*A^(-28) - A^(-26) + 2*A^(-24) + A^(-22) - 2*A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,3,1,2],X[3,2,4,1],X[4,9,5,8],X[9,6,10,5],X[6,11,7,10],X[11,8,12,7]]; 0.223381142 -0.942634107 -0.248076211 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.761831345 0.562560575 -0.321151992 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.943705343 -0.0347051443 -0.328961667 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.71115409 0.693171276 -0.117360312 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.906332295 -0.41063257 -0.0997129036 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.857840346 -0.503350083 -0.103675623 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.60109581 -0.532909127 -0.59555998 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.509636238 -0.359264155 -0.781792921 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.658020762 0.652128573 -0.376479749 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.612456048 0.578002977 0.53926816 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; -0.452600884 0.689876971 0.564997526 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.00550816829 0.984675079 -0.174311929 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[5,1,6,0],X[1,5,2,4],X[6,4,7,3],X[2,8,3,7]]; 0.509879474 -0.150893218 0.846908589 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,12,1,13],X[1,10,2,11],X[2,8,3,7],X[6,4,7,3],X[9,5,10,4],X[5,9,6,8],X[13,11,14,12]]; 0.36895234 -0.828511094 0.421240475 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.686112699 -0.725628984 -0.0520763006 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.116968859 -0.967291746 0.22508879 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[3,1,4,0],X[1,6,2,5],X[6,3,7,2],X[7,4,8,5]]; 0.562862031 0.272746737 0.780253517 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[0,12,1,13],X[3,1,4,2],X[2,13,3,14],X[4,10,5,9],X[8,6,9,5],X[11,7,12,6],X[7,11,8,10]]; -0.819002252 0.288046983 0.496250185 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.622847271 -0.777255654 0.0890782028 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.511178919 0.798056236 0.319064815 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.540676656 -0.818573191 -0.19392443 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0339578886 0.983680135 -0.176692541 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.72692092 0.685354346 -0.0433058529 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.93910198 -0.233575479 0.252051518 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.460469042 0.563187798 -0.686139756 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.920462429 -0.298297778 -0.252521983 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.536076759 -0.765781276 0.355247443 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.515657818 0.506108856 -0.691339888 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[3,1,4,0],X[5,2,6,1],X[2,5,3,4],X[6,10,7,9],X[10,8,11,7],X[8,12,9,11]]; 0.578157412 -0.815657999 0.0208814568 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.764180015 0.53147484 0.365463266 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0448658635 0.227553638 0.97273141 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4],X[5,9,6,8]]; -0.803225495 0.0726378883 0.591229686 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.908463954 -0.417721674 0.0142073142 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.529339342 0.729229879 0.433616933 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.250109057 -0.868696191 0.427565653 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5],X[8,7,9,6],X[9,7,10,8]]; 0.792177588 -0.461797362 0.398996071 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.984086925 0.0343727216 0.174331406 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.476111196 0.816784653 -0.3258542 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.701201188 -0.385702889 -0.599625029 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.535385151 -0.587180158 -0.607109712 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.304210592 0.0377171429 0.951857832 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.39797757 0.240551511 -0.885295896 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.407236162 0.716905018 -0.56586739 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.68957433 -0.366071434 -0.624883148 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.989625687 -0.13575874 -0.0470166407 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.592572742 -0.743792229 0.309242082 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.385569643 -0.922593314 -0.0125549682 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.682871591 -0.155759539 0.713740399 UNKNOWN + A^(-34) + 2*A^(-32) - A^(-30) - 5*A^(-28) - 3*A^(-26) + 3*A^(-24) + 4*A^(-22) - 2*A^(-18) + A^(-14) + A^(-12) PD[X[0,9,1,8],X[2,16,3,15],X[5,17,6,18],X[12,4,13,3],X[4,23,5,22],X[9,8,10,7],X[1,7,2,6],X[21,19,22,18],X[10,17,11,16],X[19,14,20,13],X[14,21,15,20],X[11,23,12,24]]; 0.0903975701 0.984885293 -0.147747215 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[6,9,7,8],X[7,9,8,10]]; -0.601969277 -0.162992969 0.781707286 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.379249246 -0.127992561 0.916399429 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[5,9,6,8],X[7,3,8,2],X[9,5,10,4]]; 0.612478497 0.74220992 -0.272019349 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.699209993 -0.639627647 0.319345986 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.800766972 -0.526924331 -0.284821006 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.228602485 -0.814685539 -0.532943126 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[8,4,9,3],X[4,8,5,7],X[5,11,6,10],X[9,7,10,6]]; 0.908370736 0.409759989 -0.0834227586 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.551825633 0.822075105 0.140288962 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.38776558 0.0773388551 -0.918507788 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,9,4,8],X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; -0.179486531 -0.0925547222 -0.97939686 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,9,4,8],X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[7,5,8,4]]; 0.266592781 0.454553116 0.849888083 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[4,0,5,1],X[1,10,2,9],X[2,20,3,21],X[3,5,4,6],X[6,9,7,8],X[7,21,8,22],X[10,19,11,20],X[11,17,12,16],X[15,13,16,12],X[18,14,19,13],X[14,18,15,17]]; 0.617044086 0.764464847 0.186681796 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.00091475761 0.0723583377 0.99737828 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4],X[5,9,6,8]]; 0.529200195 -0.74500677 -0.406093666 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.687068668 0.0175611724 0.726380238 UNKNOWN + A^(-32) - 2*A^(-28) - A^(-26) + 2*A^(-24) + A^(-22) - 2*A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[0,3,1,2],X[3,2,4,1],X[4,9,5,8],X[6,11,7,10],X[9,6,10,5],X[11,8,12,7]]; -0.892752526 -0.420172794 -0.162627642 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.48167216 0.810750362 0.332679697 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.951675036 0.270400396 -0.145596193 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.212135367 -0.350813194 0.912101249 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.538952797 -0.269786078 -0.797963254 k5.4 - A^(-12) - A^(-10) + A^(-8) + 2*A^(-6) - A^(-2) + 1 + A^(2) - A^(6) PD[X[12,0,13,1],X[1,3,2,4],X[13,2,14,3],X[9,5,10,4],X[5,9,6,8],X[6,12,7,11],X[10,8,11,7]]; -0.0108398891 -0.993270708 0.115307401 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[9,2,10,1],X[6,4,7,3],X[4,8,5,7],X[8,6,9,5]]; 0.400088528 -0.688302324 0.605119063 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.278019744 0.947089677 -0.160393781 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2],X[6,9,7,8],X[7,9,8,10]]; 0.587775572 -0.749159756 -0.305416989 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.484996194 -0.753992013 0.443029047 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.139006354 0.59117762 0.794472312 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.00829202136 0.185848723 0.98254338 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4],X[5,9,6,8]]; 0.887101255 0.376987637 0.266330028 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.313394333 -0.905121075 -0.287297463 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[9,2,10,1],X[3,7,4,6],X[7,5,8,4],X[5,9,6,8]]; 0.332617719 0.786833576 -0.519863806 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.974444309 0.222488289 0.0309394565 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.549316051 0.65151181 -0.523243956 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[8,5,9,4],X[5,8,6,7],X[9,7,10,6]]; -0.551828647 0.826448775 -0.111658261 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.310439068 -0.827610789 -0.467640853 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.661808622 -0.707218763 -0.248698551 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.676432462 -0.698842983 -0.232502922 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; 0.209504806 0.854286908 -0.475711694 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.13292492 0.970806341 0.199664754 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[5,1,6,0],X[1,15,2,14],X[4,3,5,2],X[3,16,4,15],X[6,12,7,11],X[10,8,11,7],X[13,9,14,8],X[9,13,10,12]]; 0.495082761 0.826311445 0.268519006 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.878063064 -0.176206901 0.444922896 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[0,3,1,2],X[3,2,4,1],X[7,5,8,4],X[5,9,6,8],X[9,7,10,6]]; -0.605327707 0.289374982 -0.741512297 k5.3m + A^(-26) - 2*A^(-22) - A^(-20) + A^(-18) + A^(-16) - A^(-14) + A^(-10) + A^(-8) PD[X[2,5,3,4],X[7,11,8,10],X[9,7,10,6],X[3,1,4,0],X[5,9,6,8],X[11,2,12,1]]; -0.379826203 -0.192817809 -0.904739381 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.305733285 -0.901331982 0.30680257 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.584655162 0.169099688 0.793463066 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.774649244 0.540586117 0.328154229 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.524715805 0.0860343264 0.846918779 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,9,1,10],X[1,7,2,6],X[5,3,6,2],X[8,4,9,3],X[4,8,5,7]]; -0.589601002 0.619930345 -0.517742239 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,0,3,1],X[3,2,4,1],X[4,7,5,6],X[7,6,8,5]]; 0.190629041 -0.339835453 0.920962775 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.12360148 -0.777840259 0.616187638 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.0229097848 0.929894139 -0.367113104 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.0947472113 -0.00916950906 -0.995459133 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; 0.0752359049 -0.190787416 0.97874395 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.0253495928 0.999675865 -0.00235876255 k7.8 + A^(-32) + A^(-30) - 2*A^(-28) - 2*A^(-26) + A^(-22) - A^(-18) + A^(-16) + A^(-14) + A^(-12) PD[X[5,1,6,0],X[3,2,4,1],X[2,16,3,15],X[4,15,5,14],X[6,10,7,9],X[7,13,8,12],X[11,9,12,8],X[10,14,11,13]]; 0.10906045 -0.573387601 0.811992905 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.730628925 0.495610702 0.469629009 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.299883816 0.826955546 -0.475619829 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.40399493 -0.712103392 -0.57419235 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[8,4,9,3],X[4,8,5,7],X[5,11,6,10],X[9,7,10,6]]; 0.0470648762 0.887810925 0.457795433 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[3,9,4,8],X[7,5,8,4],X[10,6,11,5],X[6,10,7,9]]; 0.329827929 0.901645263 0.279730865 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.395878917 -0.399991588 0.826611524 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.94041077 0.298116965 -0.163566071 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.0287174091 0.15234161 -0.987910595 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.307602356 0.0775051987 0.94835317 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.245832741 -0.843290529 -0.477940737 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[8,4,9,3],X[4,8,5,7],X[5,11,6,10],X[9,7,10,6]]; 0.367740127 0.728897561 -0.577473415 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.758782269 0.188311356 0.62352891 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.0296975901 -0.814494417 0.579410819 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.687194492 -0.232908669 -0.68812592 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.378045995 -0.396969975 -0.836358813 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9],X[8,6,9,5]]; -0.0428274277 -0.48275265 0.874708917 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.594043528 -0.022367499 -0.80412187 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.591710655 -0.699682582 -0.400403278 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[2,1,3,0],X[1,4,2,3]]; -0.279428905 0.00849803781 -0.960128778 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,0,4,1],X[8,6,9,5],X[6,2,7,1],X[2,8,3,7],X[4,10,5,9]]; -0.436387065 -0.476466276 -0.763247154 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,0,10,1],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; -0.113157463 -0.0997131686 0.98856091 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,3,1,4],X[1,7,2,6],X[7,3,8,2],X[9,5,10,4],X[5,9,6,8]]; 0.483305015 0.786013801 -0.385484848 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.449241949 -0.6295578 -0.633907444 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.734164454 -0.590488459 0.335150613 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.754473447 -0.584411479 -0.298719 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.589048817 -0.0743233352 0.804672314 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.367296882 -0.641726531 0.673260767 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.420211618 0.3975308 -0.815715305 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.785986576 0.288222022 -0.546948964 k4.6m + A^(-20) - 2*A^(-16) - 2*A^(-14) + A^(-12) + 2*A^(-10) + A^(-8) PD[X[2,1,3,0],X[1,4,2,3],X[4,8,5,7],X[8,7,9,6],X[5,10,6,9]]; -0.330502221 -0.943495099 -0.0241925642 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.636211389 0.121633256 -0.761866405 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.514457523 0.700624481 -0.494427744 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.438244851 -0.606061901 -0.663799987 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[9,1,10,0],X[6,2,7,1],X[2,6,3,5],X[3,9,4,8],X[7,5,8,4]]; 0.581815502 -0.414539471 -0.699748347 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.17562035 0.834761342 0.521853423 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; -0.987148666 0.00309010989 -0.159774725 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.719754808 -0.0422305771 -0.692942706 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.838407847 0.0765711685 -0.539637969 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.760963598 0.491269426 -0.423779134 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.825903817 0.152358952 -0.542834813 UNKNOWN + A^(-34) + 2*A^(-32) - A^(-30) - 5*A^(-28) - 3*A^(-26) + 3*A^(-24) + 4*A^(-22) - 2*A^(-18) + A^(-14) + A^(-12) PD[X[5,1,6,0],X[3,2,4,1],X[4,7,5,6],X[2,8,3,7],X[13,9,14,8],X[9,13,10,12],X[14,11,15,10],X[11,16,12,15]]; -0.376989832 0.528970393 0.760308483 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[2,6,3,5],X[4,2,5,1]]; -0.694381789 0.684081106 0.223309139 k2.1 - A^(-10) + A^(-6) + A^(-4) PD[X[0,3,1,2],X[3,2,4,1]]; 0.0224826454 -0.94947062 0.313049633 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.74846699 -0.137846954 -0.648687431 UNKNOWN + A^(-32) - 2*A^(-28) - A^(-26) + 2*A^(-24) + A^(-22) - 2*A^(-20) - 2*A^(-18) + A^(-16) + 2*A^(-14) + A^(-12) PD[X[2,5,3,4],X[9,14,10,13],X[5,2,6,1],X[3,1,4,0],X[10,7,11,6],X[7,12,8,11],X[12,9,13,8]]; 0.240560845 -0.132293981 -0.961576197 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.398337571 0.905982626 0.143257323 k6.5 - A^(-24) + 2*A^(-20) + A^(-18) - 2*A^(-16) - 2*A^(-14) + 2*A^(-12) + A^(-10) - A^(-8) - A^(-6) + A^(-4) + A^(-2) PD[X[1,4,2,3],X[2,11,3,12],X[4,1,5,0],X[8,6,9,5],X[6,10,7,9],X[10,8,11,7]]; 0.863048897 -0.245689973 -0.441342315 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; 0.093513393 0.52713133 -0.844622878 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.966956694 0.149041999 0.206836249 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]]; -0.292961053 0.44925079 0.844006842 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[0,4,1,3],X[4,2,5,1],X[2,6,3,5]]; 0.951847146 -0.151748175 -0.266382247 k3.1 - A^(-16) + A^(-12) + A^(-4) PD[X[3,1,4,0],X[1,5,2,4],X[5,3,6,2]];