Magma V2.19-8 Tue Aug 20 2013 18:47:08 on localhost [Seed = 3137018125] Type ? for help. Type -D to quit. Loading file "11_132__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_132 geometric_solution 13.79681154 oriented_manifold CS_known 0.0000000000000013 1 0 torus 0.000000000000 0.000000000000 15 1 2 3 1 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -7 -1 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.856007533110 1.032236270207 0 0 5 4 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 -8 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523980269425 0.574019283976 6 0 6 7 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.088431780588 1.273211183270 4 7 8 0 0132 2103 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.596481855864 0.604212067066 3 9 1 10 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.363949710054 0.698701805320 11 12 12 1 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.045426767717 0.720350102290 2 2 13 14 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371761641125 0.519249211318 13 3 2 9 2103 2103 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.054289699764 0.781644929183 12 14 14 3 3012 1023 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.478061130533 0.815587228290 7 4 13 14 3120 0132 3012 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.642508032202 0.603531050214 11 13 4 11 3120 3012 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.705441434658 1.055430390628 5 10 12 10 0132 0321 1023 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.245322763212 0.879013989990 5 5 11 8 2031 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.912803128352 1.382715050362 10 9 7 6 1230 1230 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.497426030917 1.033500362230 8 8 6 9 1023 0213 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.465091447827 0.912570706112 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : d['c_0101_14'], 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : negation(d['c_0011_13']), 'c_1001_13' : d['c_0011_7'], 'c_1001_12' : d['c_0101_1'], 'c_1001_5' : d['c_0011_14'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0011_3'], 'c_1001_6' : d['c_0101_9'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : d['c_0011_7'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0011_13']), 'c_1001_8' : d['c_0101_14'], 'c_1010_13' : d['c_0101_9'], 'c_1010_12' : d['c_0011_14'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0011_10']), 'c_1010_14' : negation(d['c_1001_4']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], 'c_0101_14' : d['c_0101_14'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_14' : d['c_0011_14'], 'c_1100_9' : negation(d['c_0011_7']), 'c_1100_8' : negation(d['c_1001_4']), 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0101_12'], 'c_1100_4' : d['c_0101_12'], 'c_1100_7' : negation(d['c_0101_9']), 'c_1100_6' : negation(d['c_0110_7']), 'c_1100_1' : d['c_0101_12'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_0101_9']), 'c_1100_14' : negation(d['c_0110_7']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : d['c_0101_12'], 'c_1100_13' : negation(d['c_0110_7']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_14'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_13']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_0011_7'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_10'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_3'], 'c_0011_8' : d['c_0011_14'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_13' : d['c_0011_10'], 'c_0110_12' : d['c_0011_14'], 'c_0110_14' : d['c_0011_7'], 's_0_13' : d['1'], 'c_0101_12' : d['c_0101_12'], 's_2_14' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : negation(d['c_0011_11']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0101_14'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_14'], 'c_0011_10' : d['c_0011_10'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_7'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0101_14'], 'c_0101_13' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_14, c_0011_3, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_14, c_0101_9, c_0110_7, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 42694053688010360778189961612859/37557658095104950862778290149567*c\ _1001_4^22 + 248115453095031440045613100133159/37557658095104950862\ 778290149567*c_1001_4^21 + 966179958764789721279769563070425/150230\ 632380419803451113160598268*c_1001_4^20 - 5432823340618178424254941222759937/15023063238041980345111316059826\ 8*c_1001_4^19 - 7049030388994131533093946538871749/7511531619020990\ 1725556580299134*c_1001_4^18 + 3981950390677211557079156240475133/1\ 50230632380419803451113160598268*c_1001_4^17 + 26012971376571119025431410167740711/7511531619020990172555658029913\ 4*c_1001_4^16 + 18130726514701698829118892852966699/751153161902099\ 01725556580299134*c_1001_4^15 - 43480969116016951573075788969468655\ /75115316190209901725556580299134*c_1001_4^14 - 28332289206280448203651799050080064/3755765809510495086277829014956\ 7*c_1001_4^13 + 63876146392108339606013697482954009/150230632380419\ 803451113160598268*c_1001_4^12 + 6745204373114006944296564095641529\ 9/75115316190209901725556580299134*c_1001_4^11 - 975887657946287811515604649947987/150230632380419803451113160598268\ *c_1001_4^10 - 3779205048340571845629905538953597/88370960223776354\ 97124303564604*c_1001_4^9 - 12009498956572259704939656736473517/150\ 230632380419803451113160598268*c_1001_4^8 + 12358995779917272603375735398620167/7511531619020990172555658029913\ 4*c_1001_4^7 - 19021517383269183142233714608654259/1502306323804198\ 03451113160598268*c_1001_4^6 - 28305193138208656221805729879501641/\ 150230632380419803451113160598268*c_1001_4^5 + 29885540168824151646103604145606723/1502306323804198034511131605982\ 68*c_1001_4^4 - 9574250141982347006488534712507519/7511531619020990\ 1725556580299134*c_1001_4^3 + 7134647062431734340806689387908003/15\ 0230632380419803451113160598268*c_1001_4^2 - 788732756777276619523371937445453/75115316190209901725556580299134*\ c_1001_4 + 230200037070886810815657133905015/1502306323804198034511\ 13160598268, c_0011_0 - 1, c_0011_10 - 342767296516496198979/359161761750405189266*c_1001_4^22 - 890810974268043403821/179580880875202594633*c_1001_4^21 - 353821721251779701222/179580880875202594633*c_1001_4^20 + 12138355700719415263485/359161761750405189266*c_1001_4^19 + 10803606657744912665774/179580880875202594633*c_1001_4^18 - 25679015108186158369821/359161761750405189266*c_1001_4^17 - 99965047950183176272959/359161761750405189266*c_1001_4^16 - 7852215161850601952335/359161761750405189266*c_1001_4^15 + 221492799405191785970307/359161761750405189266*c_1001_4^14 + 59827537073336225340731/179580880875202594633*c_1001_4^13 - 136607170223309630806117/179580880875202594633*c_1001_4^12 - 192853842507753815101237/359161761750405189266*c_1001_4^11 + 87606567388605311334906/179580880875202594633*c_1001_4^10 + 64354404213411405033863/179580880875202594633*c_1001_4^9 - 29883291005323304208982/179580880875202594633*c_1001_4^8 - 62625762181852543591931/359161761750405189266*c_1001_4^7 + 35423152804001274325430/179580880875202594633*c_1001_4^6 + 15125827121651922369106/179580880875202594633*c_1001_4^5 - 49547160887036416921665/179580880875202594633*c_1001_4^4 + 38715550886916944893997/179580880875202594633*c_1001_4^3 - 16246944608110289388984/179580880875202594633*c_1001_4^2 + 8684376257629229118363/359161761750405189266*c_1001_4 - 1129233957004862762131/359161761750405189266, c_0011_11 - 525654802898609107488/179580880875202594633*c_1001_4^22 - 2683844176202463012573/179580880875202594633*c_1001_4^21 - 708647412332485487736/179580880875202594633*c_1001_4^20 + 19405568873514800929279/179580880875202594633*c_1001_4^19 + 63729163748255267620199/359161761750405189266*c_1001_4^18 - 46943177026191452193493/179580880875202594633*c_1001_4^17 - 159185018361861262354578/179580880875202594633*c_1001_4^16 + 9822256998461178999101/179580880875202594633*c_1001_4^15 + 765992088520630303487097/359161761750405189266*c_1001_4^14 + 332921675858774758692215/359161761750405189266*c_1001_4^13 - 1052426914238979889654751/359161761750405189266*c_1001_4^12 - 335942484760279316247121/179580880875202594633*c_1001_4^11 + 799304650401344574982253/359161761750405189266*c_1001_4^10 + 305413220167294371835064/179580880875202594633*c_1001_4^9 - 325889448383834352779841/359161761750405189266*c_1001_4^8 - 199417070946014535323870/179580880875202594633*c_1001_4^7 + 233071720493475940306761/359161761750405189266*c_1001_4^6 + 196701566867598122454065/359161761750405189266*c_1001_4^5 - 315137361913092246983311/359161761750405189266*c_1001_4^4 + 100702009594647218950962/179580880875202594633*c_1001_4^3 - 37256816817712425650890/179580880875202594633*c_1001_4^2 + 8111065856156418369578/179580880875202594633*c_1001_4 - 1814836205465352111159/359161761750405189266, c_0011_13 - 265695138008930420569/179580880875202594633*c_1001_4^22 - 2634734785690158556759/359161761750405189266*c_1001_4^21 - 319061131988001532431/359161761750405189266*c_1001_4^20 + 19716230241253125831383/359161761750405189266*c_1001_4^19 + 14679416496420408169667/179580880875202594633*c_1001_4^18 - 52079141030239389769213/359161761750405189266*c_1001_4^17 - 77034687264005861541943/179580880875202594633*c_1001_4^16 + 32779410401155437608573/359161761750405189266*c_1001_4^15 + 192758419310310185281135/179580880875202594633*c_1001_4^14 + 57160123988500091815491/179580880875202594633*c_1001_4^13 - 553967852416386789182545/359161761750405189266*c_1001_4^12 - 133749993522579926272587/179580880875202594633*c_1001_4^11 + 445345432988268658654069/359161761750405189266*c_1001_4^10 + 128205568608707020114202/179580880875202594633*c_1001_4^9 - 98309576293197225058675/179580880875202594633*c_1001_4^8 - 180628714448499632055131/359161761750405189266*c_1001_4^7 + 67874372396390338119374/179580880875202594633*c_1001_4^6 + 80438161769729128624787/359161761750405189266*c_1001_4^5 - 83654321699073488178091/179580880875202594633*c_1001_4^4 + 126480577645408973224443/359161761750405189266*c_1001_4^3 - 56265988263837356575367/359161761750405189266*c_1001_4^2 + 15505657325088120756489/359161761750405189266*c_1001_4 - 1183121154800614555676/179580880875202594633, c_0011_14 + 941310835709478961953/359161761750405189266*c_1001_4^22 + 2622591694777760493559/179580880875202594633*c_1001_4^21 + 1845947882936181509016/179580880875202594633*c_1001_4^20 - 16582263320663435803744/179580880875202594633*c_1001_4^19 - 36317309883717830855693/179580880875202594633*c_1001_4^18 + 51062115380120903515385/359161761750405189266*c_1001_4^17 + 310894281199863296655921/359161761750405189266*c_1001_4^16 + 63056010320846656653381/179580880875202594633*c_1001_4^15 - 317946290358493571855489/179580880875202594633*c_1001_4^14 - 598914954948485499334649/359161761750405189266*c_1001_4^13 + 340788910520389344343064/179580880875202594633*c_1001_4^12 + 469810331367003434747642/179580880875202594633*c_1001_4^11 - 148618885979491133174486/179580880875202594633*c_1001_4^10 - 720067451768390331613629/359161761750405189266*c_1001_4^9 - 18796545509828132521145/179580880875202594633*c_1001_4^8 + 184888791271983487753367/179580880875202594633*c_1001_4^7 - 29740124036945287611437/359161761750405189266*c_1001_4^6 - 205687315347771132513687/359161761750405189266*c_1001_4^5 + 90655898870998492436814/179580880875202594633*c_1001_4^4 - 44268389387558531512226/179580880875202594633*c_1001_4^3 + 11591645231673499129734/179580880875202594633*c_1001_4^2 - 1823707779173561154474/179580880875202594633*c_1001_4 + 227080716695914230127/359161761750405189266, c_0011_3 - 890944562820401832491/359161761750405189266*c_1001_4^22 - 2031503247964135667270/179580880875202594633*c_1001_4^21 + 694664734585998453736/179580880875202594633*c_1001_4^20 + 34176437007532199289647/359161761750405189266*c_1001_4^19 + 18318932098275048896328/179580880875202594633*c_1001_4^18 - 112640138839736546076121/359161761750405189266*c_1001_4^17 - 235391282513329868585769/359161761750405189266*c_1001_4^16 + 167352275190942501314947/359161761750405189266*c_1001_4^15 + 674924295598378444237455/359161761750405189266*c_1001_4^14 - 25162358304661295551287/179580880875202594633*c_1001_4^13 - 554208396464692791836566/179580880875202594633*c_1001_4^12 - 158788937154468311697667/359161761750405189266*c_1001_4^11 + 520300006646310445121926/179580880875202594633*c_1001_4^10 + 124874277437721086598120/179580880875202594633*c_1001_4^9 - 282340104177775365281929/179580880875202594633*c_1001_4^8 - 249002657712758836909565/359161761750405189266*c_1001_4^7 + 183216553085701271589034/179580880875202594633*c_1001_4^6 + 42158774354556073917419/179580880875202594633*c_1001_4^5 - 180483705694887573346066/179580880875202594633*c_1001_4^4 + 149285561096478255892939/179580880875202594633*c_1001_4^3 - 69222161918813521313248/179580880875202594633*c_1001_4^2 + 36548415938115747161451/359161761750405189266*c_1001_4 - 5270180624227968881503/359161761750405189266, c_0011_7 + 361927444124799192711/179580880875202594633*c_1001_4^22 + 3682705417025615270445/359161761750405189266*c_1001_4^21 + 1035889767572887386101/359161761750405189266*c_1001_4^20 - 26022528748717819481407/359161761750405189266*c_1001_4^19 - 21417493760214114292257/179580880875202594633*c_1001_4^18 + 61038091690400864438607/359161761750405189266*c_1001_4^17 + 103962643942877542573725/179580880875202594633*c_1001_4^16 - 11551760424150673138929/359161761750405189266*c_1001_4^15 - 242623800295211306858636/179580880875202594633*c_1001_4^14 - 99741920068385607054022/179580880875202594633*c_1001_4^13 + 646256902841300124154127/359161761750405189266*c_1001_4^12 + 182279246969473144980647/179580880875202594633*c_1001_4^11 - 475299548762141127694015/359161761750405189266*c_1001_4^10 - 141921645434160421972109/179580880875202594633*c_1001_4^9 + 100030971609388234411667/179580880875202594633*c_1001_4^8 + 178871195219856620067941/359161761750405189266*c_1001_4^7 - 85506457857297008827190/179580880875202594633*c_1001_4^6 - 86499652731978595712525/359161761750405189266*c_1001_4^5 + 106380035074442995752187/179580880875202594633*c_1001_4^4 - 171630259984198029035025/359161761750405189266*c_1001_4^3 + 78240189983592385867893/359161761750405189266*c_1001_4^2 - 21975721096816009074319/359161761750405189266*c_1001_4 + 1591687986834450893124/179580880875202594633, c_0101_0 + 290626923470893716605/359161761750405189266*c_1001_4^22 + 1458238479856356712351/359161761750405189266*c_1001_4^21 + 316162373043273949905/359161761750405189266*c_1001_4^20 - 5227908542256382476102/179580880875202594633*c_1001_4^19 - 8225000137210575495185/179580880875202594633*c_1001_4^18 + 12793865584560696516635/179580880875202594633*c_1001_4^17 + 81492803210926880129487/359161761750405189266*c_1001_4^16 - 5157091863616421633212/179580880875202594633*c_1001_4^15 - 193435090946487998434899/359161761750405189266*c_1001_4^14 - 33033096812053512229403/179580880875202594633*c_1001_4^13 + 263020673525175802874473/359161761750405189266*c_1001_4^12 + 126651036751293486073155/359161761750405189266*c_1001_4^11 - 198763192805900426805491/359161761750405189266*c_1001_4^10 - 49310243113924903110724/179580880875202594633*c_1001_4^9 + 43383915266389322470877/179580880875202594633*c_1001_4^8 + 32499671531387436246275/179580880875202594633*c_1001_4^7 - 36504190850923556151887/179580880875202594633*c_1001_4^6 - 29109306975944451851857/359161761750405189266*c_1001_4^5 + 43614366513443842444037/179580880875202594633*c_1001_4^4 - 75313981050027608819111/359161761750405189266*c_1001_4^3 + 37181166923153702554585/359161761750405189266*c_1001_4^2 - 6037065614617727898538/179580880875202594633*c_1001_4 + 1858812282282749412101/359161761750405189266, c_0101_1 - 436762684877936574603/179580880875202594633*c_1001_4^22 - 4880307243568457783653/359161761750405189266*c_1001_4^21 - 3490628791997915118273/359161761750405189266*c_1001_4^20 + 15376140965380416709382/179580880875202594633*c_1001_4^19 + 33903672742826829186038/179580880875202594633*c_1001_4^18 - 46729143158040166757567/359161761750405189266*c_1001_4^17 - 144665687088676423372213/179580880875202594633*c_1001_4^16 - 59832283931707563478017/179580880875202594633*c_1001_4^15 + 590618009914394368207959/359161761750405189266*c_1001_4^14 + 560896590158126212273951/359161761750405189266*c_1001_4^13 - 633371777662986269554029/359161761750405189266*c_1001_4^12 - 878667130211351611068565/359161761750405189266*c_1001_4^11 + 281299404086086705745337/359161761750405189266*c_1001_4^10 + 676318310231055087939935/359161761750405189266*c_1001_4^9 + 12576407632198070528910/179580880875202594633*c_1001_4^8 - 176780497418389744808464/179580880875202594633*c_1001_4^7 + 32394130259225077975209/359161761750405189266*c_1001_4^6 + 100804340435189305232169/179580880875202594633*c_1001_4^5 - 84126166617737939065583/179580880875202594633*c_1001_4^4 + 75442617554643647338213/359161761750405189266*c_1001_4^3 - 16785905674250394622755/359161761750405189266*c_1001_4^2 + 845871923351759640134/179580880875202594633*c_1001_4 + 57843289910290984426/179580880875202594633, c_0101_10 + 436625267038597102907/359161761750405189266*c_1001_4^22 + 2145459287460599092845/359161761750405189266*c_1001_4^21 + 8959380327769601451/179580880875202594633*c_1001_4^20 - 8521635211862892728856/179580880875202594633*c_1001_4^19 - 12008084200476282057924/179580880875202594633*c_1001_4^18 + 24540476394925252318578/179580880875202594633*c_1001_4^17 + 68187988718487069233161/179580880875202594633*c_1001_4^16 - 40238316805956830306717/359161761750405189266*c_1001_4^15 - 182619725934234575373956/179580880875202594633*c_1001_4^14 - 50865698994824458628955/179580880875202594633*c_1001_4^13 + 280060164254599236123478/179580880875202594633*c_1001_4^12 + 299320501630961289807427/359161761750405189266*c_1001_4^11 - 240872646112564681154929/179580880875202594633*c_1001_4^10 - 175475402983330167745663/179580880875202594633*c_1001_4^9 + 213715249566560279596659/359161761750405189266*c_1001_4^8 + 262356437437134584695275/359161761750405189266*c_1001_4^7 - 107215532602592167450313/359161761750405189266*c_1001_4^6 - 123099964357037014708943/359161761750405189266*c_1001_4^5 + 70477435224685920277959/179580880875202594633*c_1001_4^4 - 75746545507561178297619/359161761750405189266*c_1001_4^3 + 12180596668666513629899/179580880875202594633*c_1001_4^2 - 1675514202331618728883/179580880875202594633*c_1001_4 + 319506906023095899073/359161761750405189266, c_0101_12 - 879213179488715865035/359161761750405189266*c_1001_4^22 - 4462709810066089440679/359161761750405189266*c_1001_4^21 - 500304534728715673016/179580880875202594633*c_1001_4^20 + 32761016490596969164639/359161761750405189266*c_1001_4^19 + 52438968044025809300211/359161761750405189266*c_1001_4^18 - 41004177787731809742935/179580880875202594633*c_1001_4^17 - 133701515632697910621666/179580880875202594633*c_1001_4^16 + 14268867434072663618754/179580880875202594633*c_1001_4^15 + 328557322777426672337227/179580880875202594633*c_1001_4^14 + 130687923577254435974655/179580880875202594633*c_1001_4^13 - 928462689099999708576973/359161761750405189266*c_1001_4^12 - 280925391223049584685561/179580880875202594633*c_1001_4^11 + 737607709351456984719649/359161761750405189266*c_1001_4^10 + 542320802339741437890407/359161761750405189266*c_1001_4^9 - 161310151334492041826644/179580880875202594633*c_1001_4^8 - 187496305866910493356165/179580880875202594633*c_1001_4^7 + 212007919913901734985221/359161761750405189266*c_1001_4^6 + 189306210754102411558543/359161761750405189266*c_1001_4^5 - 270857110460754399110273/359161761750405189266*c_1001_4^4 + 161368967448575790368835/359161761750405189266*c_1001_4^3 - 28142247586476795387986/179580880875202594633*c_1001_4^2 + 10993142879093806102303/359161761750405189266*c_1001_4 - 514740498249368575026/179580880875202594633, c_0101_14 - 1, c_0101_9 + 274088633151952816756/179580880875202594633*c_1001_4^22 + 1140692273696092263449/179580880875202594633*c_1001_4^21 - 1048486455837778154958/179580880875202594633*c_1001_4^20 - 11019040653406392013081/179580880875202594633*c_1001_4^19 - 7515325440530136230554/179580880875202594633*c_1001_4^18 + 43480561865775193853150/179580880875202594633*c_1001_4^17 + 67713117281573346156405/179580880875202594633*c_1001_4^16 - 87602245176396551633641/179580880875202594633*c_1001_4^15 - 226715748096593329133574/179580880875202594633*c_1001_4^14 + 84989895377997520892018/179580880875202594633*c_1001_4^13 + 417601226241383161030449/179580880875202594633*c_1001_4^12 - 17032452676642751701785/179580880875202594633*c_1001_4^11 - 432693439257705133787020/179580880875202594633*c_1001_4^10 - 60519873224309681564257/179580880875202594633*c_1001_4^9 + 252456813172452061072947/179580880875202594633*c_1001_4^8 + 93188447765453146658817/179580880875202594633*c_1001_4^7 - 147793400281699997263604/179580880875202594633*c_1001_4^6 - 27032947232904151548313/179580880875202594633*c_1001_4^5 + 130936544807851156424401/179580880875202594633*c_1001_4^4 - 110570010209561310998942/179580880875202594633*c_1001_4^3 + 52975217310703231924264/179580880875202594633*c_1001_4^2 - 13932019840243259021544/179580880875202594633*c_1001_4 + 2070473333611553059686/179580880875202594633, c_0110_7 - 890944562820401832491/359161761750405189266*c_1001_4^22 - 2031503247964135667270/179580880875202594633*c_1001_4^21 + 694664734585998453736/179580880875202594633*c_1001_4^20 + 34176437007532199289647/359161761750405189266*c_1001_4^19 + 18318932098275048896328/179580880875202594633*c_1001_4^18 - 112640138839736546076121/359161761750405189266*c_1001_4^17 - 235391282513329868585769/359161761750405189266*c_1001_4^16 + 167352275190942501314947/359161761750405189266*c_1001_4^15 + 674924295598378444237455/359161761750405189266*c_1001_4^14 - 25162358304661295551287/179580880875202594633*c_1001_4^13 - 554208396464692791836566/179580880875202594633*c_1001_4^12 - 158788937154468311697667/359161761750405189266*c_1001_4^11 + 520300006646310445121926/179580880875202594633*c_1001_4^10 + 124874277437721086598120/179580880875202594633*c_1001_4^9 - 282340104177775365281929/179580880875202594633*c_1001_4^8 - 249002657712758836909565/359161761750405189266*c_1001_4^7 + 183216553085701271589034/179580880875202594633*c_1001_4^6 + 42158774354556073917419/179580880875202594633*c_1001_4^5 - 180483705694887573346066/179580880875202594633*c_1001_4^4 + 149285561096478255892939/179580880875202594633*c_1001_4^3 - 69222161918813521313248/179580880875202594633*c_1001_4^2 + 36548415938115747161451/359161761750405189266*c_1001_4 - 5270180624227968881503/359161761750405189266, c_1001_4^23 + 5*c_1001_4^22 + c_1001_4^21 - 36*c_1001_4^20 - 56*c_1001_4^19 + 89*c_1001_4^18 + 279*c_1001_4^17 - 40*c_1001_4^16 - 665*c_1001_4^15 - 217*c_1001_4^14 + 908*c_1001_4^13 + 422*c_1001_4^12 - 689*c_1001_4^11 - 329*c_1001_4^10 + 302*c_1001_4^9 + 219*c_1001_4^8 - 254*c_1001_4^7 - 96*c_1001_4^6 + 301*c_1001_4^5 - 264*c_1001_4^4 + 133*c_1001_4^3 - 44*c_1001_4^2 + 9*c_1001_4 - 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_14, c_0011_3, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_14, c_0101_9, c_0110_7, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 4795238794431384290704580604222772753982053314861077352768985588426\ 31374564328882953236925563348946172/5018765332217293449952021342597\ 5299348754848054683398275788555205690903843837833424880799879142998\ 441*c_1001_4^29 + 4681016182685784973410873024642291926536201018254\ 36848681698521099180257381910426559488594619618250905/5018765332217\ 2934499520213425975299348754848054683398275788555205690903843837833\ 424880799879142998441*c_1001_4^28 - 2877169107691541741046398288316515213734291817437196259333636256215\ 108808811034128866325899494134515256/501876533221729344995202134259\ 7529934875484805468339827578855520569090384383783342488079987914299\ 8441*c_1001_4^27 - 245246679817022012332641062754386860859916813226\ 08503801716445300696742252305623706965886374165013449121/5018765332\ 2172934499520213425975299348754848054683398275788555205690903843837\ 833424880799879142998441*c_1001_4^26 + 7079731561504969802664388315502743284352824302339913754046881048427\ 8536014790634447442617899775273167294/50187653322172934499520213425\ 9752993487548480546833982757885552056909038438378334248807998791429\ 98441*c_1001_4^25 + 36260755701724344307897574370802424813433577331\ 3090507001603302100583173451183372324830386222601178568938/50187653\ 3221729344995202134259752993487548480546833982757885552056909038438\ 37833424880799879142998441*c_1001_4^24 - 1562767443848360623639634350467568396756947244941202342767726684635\ 76163283817590252515287559902390987725/5018765332217293449952021342\ 5975299348754848054683398275788555205690903843837833424880799879142\ 998441*c_1001_4^23 - 1983325480087131070849377746426795996638092106\ 432165963401948312317800058962402506070905640626243010083924/501876\ 5332217293449952021342597529934875484805468339827578855520569090384\ 3837833424880799879142998441*c_1001_4^22 - 9595639034668376728864062782020376879702921803330287470028128427970\ 65828740173091308470405507580133156255/5018765332217293449952021342\ 5975299348754848054683398275788555205690903843837833424880799879142\ 998441*c_1001_4^21 + 5177262365209878942690493712385708873002909997\ 998322212717519551291467296365271429330348628221973364719970/501876\ 5332217293449952021342597529934875484805468339827578855520569090384\ 3837833424880799879142998441*c_1001_4^20 + 5396298348149834853191354704380157333829340879652595683945985766400\ 183981137674248832758439297858173464435/501876533221729344995202134\ 2597529934875484805468339827578855520569090384383783342488079987914\ 2998441*c_1001_4^19 - 346692641611575003288173076066828435695174463\ 410190133777164971195366545744117945491916537008188395493441/264145\ 5438009101815764221759261857860460781476562284119778345010825837044\ 412517548677936835744368339*c_1001_4^18 - 1135980700278334624983997046988245366839728435289278224672642044229\ 6258584596478465612227448138899206824685/50187653322172934499520213\ 4259752993487548480546833982757885552056909038438378334248807998791\ 42998441*c_1001_4^17 + 12609317988370097977174135313577060589447823\ 99265986301668268918238004357652023915800611629641508766701117/5018\ 7653322172934499520213425975299348754848054683398275788555205690903\ 843837833424880799879142998441*c_1001_4^16 + 1111973792431889013094894921415504133677378046585385400540982677905\ 2630369564282297283930248704122145055112/50187653322172934499520213\ 4259752993487548480546833982757885552056909038438378334248807998791\ 42998441*c_1001_4^15 + 14914883620893588825550049480053848856741563\ 717632143731466689626410457888470769573223866863026295152165616/501\ 8765332217293449952021342597529934875484805468339827578855520569090\ 3843837833424880799879142998441*c_1001_4^14 - 3491935134082519834384004903062663101708126582095356787202423448253\ 399266126347104841860990884264611446045/501876533221729344995202134\ 2597529934875484805468339827578855520569090384383783342488079987914\ 2998441*c_1001_4^13 - 369796248219121058663131862314088046779388581\ 79778801174158464103788770855778304128465184508892697239581114/5018\ 7653322172934499520213425975299348754848054683398275788555205690903\ 843837833424880799879142998441*c_1001_4^12 + 1436757538262483411797699225130754536379868252341620299484882073378\ 098912545543079349485783395911006472996/501876533221729344995202134\ 2597529934875484805468339827578855520569090384383783342488079987914\ 2998441*c_1001_4^11 + 451229011899947178063858202466596902775167516\ 46007498414965919845006883042173324276275525158039784446861492/5018\ 7653322172934499520213425975299348754848054683398275788555205690903\ 843837833424880799879142998441*c_1001_4^10 - 1724474328578400877631388088407793686869748055518906086129873200473\ 5911290631358117667559380121796823260934/50187653322172934499520213\ 4259752993487548480546833982757885552056909038438378334248807998791\ 42998441*c_1001_4^9 - 255967689177138824050175524356620121319533191\ 84891370561029457145889092114072383601156104217206877390050289/5018\ 7653322172934499520213425975299348754848054683398275788555205690903\ 843837833424880799879142998441*c_1001_4^8 + 1945667525856559233921897830032032981010637636814811633658219408149\ 5859010333499083788996968592074561933512/50187653322172934499520213\ 4259752993487548480546833982757885552056909038438378334248807998791\ 42998441*c_1001_4^7 + 290950937221274448109699870203572699240915022\ 8555189763485686685969054444711289424695860882423776910556650/50187\ 6533221729344995202134259752993487548480546833982757885552056909038\ 43837833424880799879142998441*c_1001_4^6 + 4812383796267655513680557871623593500991111113122996087209770539726\ 209030510130153812502602418060753847811/501876533221729344995202134\ 2597529934875484805468339827578855520569090384383783342488079987914\ 2998441*c_1001_4^5 - 7073819687115351295165321426261145813773514800\ 873029709379544878385593974620653275308865336388486902209810/501876\ 5332217293449952021342597529934875484805468339827578855520569090384\ 3837833424880799879142998441*c_1001_4^4 + 2107660783841299790079872313797101437431437662762775271761454511552\ 138108302294748508035250180850047924869/501876533221729344995202134\ 2597529934875484805468339827578855520569090384383783342488079987914\ 2998441*c_1001_4^3 + 9972790432430964198513727257270096155207636986\ 595696875782993918706613300538026034466645270471563169984949/501876\ 5332217293449952021342597529934875484805468339827578855520569090384\ 3837833424880799879142998441*c_1001_4^2 - 1133773695200319067168050772490672923927553269185506035245310889136\ 7034222890727505775431993830666162915458/50187653322172934499520213\ 4259752993487548480546833982757885552056909038438378334248807998791\ 42998441*c_1001_4 + 57785130674749818488627728215745608633296578426\ 64703343253523468011708525857179096817210638080547745564732/5018765\ 3322172934499520213425975299348754848054683398275788555205690903843\ 837833424880799879142998441, c_0011_0 - 1, c_0011_10 - 14051240013303616216366093344855679191349972519298384854029\ 8909877628833943856684933613/10554944295085418932098067353986603365\ 41991356797014886157125416252713253106823565048002551*c_1001_4^29 + 1458140232998786057470278810421911937110523327837078373068469768095\ 63983201809048995975/1055494429508541893209806735398660336541991356\ 797014886157125416252713253106823565048002551*c_1001_4^28 - 8214701696708038576324462653233647026653337822235557156364610504759\ 07727853331923917404/1055494429508541893209806735398660336541991356\ 797014886157125416252713253106823565048002551*c_1001_4^27 - 7106839268025929302261198284577876703452617273699653452560596543875\ 343504532266779397947/105549442950854189320980673539866033654199135\ 6797014886157125416252713253106823565048002551*c_1001_4^26 + 2133052827636426157100417196627269273451636900068427378656654839761\ 5590875143492962136473/10554944295085418932098067353986603365419913\ 56797014886157125416252713253106823565048002551*c_1001_4^25 + 1068664078742378609129175509417525040547901281773147742009275921240\ 19281351091981661838308/1055494429508541893209806735398660336541991\ 356797014886157125416252713253106823565048002551*c_1001_4^24 - 5377079552423906274979241500859838890496499576889319128545850603147\ 7066704283193211876082/10554944295085418932098067353986603365419913\ 56797014886157125416252713253106823565048002551*c_1001_4^23 - 6083779746718086396255808541618254296004385068039202007538217613451\ 21227227621727418272004/1055494429508541893209806735398660336541991\ 356797014886157125416252713253106823565048002551*c_1001_4^22 - 2798356848519430369125461192820358282725738873843594535384505782772\ 78688863284157613226655/1055494429508541893209806735398660336541991\ 356797014886157125416252713253106823565048002551*c_1001_4^21 + 1659629574799216244205952761735665872073620087767431510519337604808\ 320817486202958177430724/105549442950854189320980673539866033654199\ 1356797014886157125416252713253106823565048002551*c_1001_4^20 + 1766539666447436796966602215441289202923581806166071455577695430620\ 909393539184574320444248/105549442950854189320980673539866033654199\ 1356797014886157125416252713253106823565048002551*c_1001_4^19 - 2161514469040944521797040528540983146472562671949717432295541574282\ 004020433846604961303050/105549442950854189320980673539866033654199\ 1356797014886157125416252713253106823565048002551*c_1001_4^18 - 4008473204750373773030324968427410282162830180916950182570547353203\ 735339550159004744574979/105549442950854189320980673539866033654199\ 1356797014886157125416252713253106823565048002551*c_1001_4^17 + 2587702498474040357574124821658847721126516650641108296586996512219\ 60826328674600172552113/1055494429508541893209806735398660336541991\ 356797014886157125416252713253106823565048002551*c_1001_4^16 + 4279813768883457970200120257472302540018648282922998467342292069931\ 068490571521553375493735/105549442950854189320980673539866033654199\ 1356797014886157125416252713253106823565048002551*c_1001_4^15 + 5252463068754992883543393621105256011107627260087897196502090860163\ 750879031698442719195888/105549442950854189320980673539866033654199\ 1356797014886157125416252713253106823565048002551*c_1001_4^14 - 1593656758136772262023941029946182229841526823326123999692281276304\ 793730232012277791332311/105549442950854189320980673539866033654199\ 1356797014886157125416252713253106823565048002551*c_1001_4^13 - 1236494024915307363704735350171456996107289838965067785850106227351\ 6585909656229479451817525/10554944295085418932098067353986603365419\ 91356797014886157125416252713253106823565048002551*c_1001_4^12 - 4276457339108670732631302002724938896585394419850950056847601086035\ 09469223155694124863776/1055494429508541893209806735398660336541991\ 356797014886157125416252713253106823565048002551*c_1001_4^11 + 1505296494533098411194511753545550279020501669954374688012132149426\ 8264613230691957625930102/10554944295085418932098067353986603365419\ 91356797014886157125416252713253106823565048002551*c_1001_4^10 - 2732952342892662487121979879259449054059265063335910495467171715267\ 700425851970314726634214/105549442950854189320980673539866033654199\ 1356797014886157125416252713253106823565048002551*c_1001_4^9 - 9494724594431698069534505469260725715494236407934966700150920933405\ 374280341614331315899117/105549442950854189320980673539866033654199\ 1356797014886157125416252713253106823565048002551*c_1001_4^8 + 3541571777503782270728697353725313765892755549733208493084725094415\ 631385071736406491536572/105549442950854189320980673539866033654199\ 1356797014886157125416252713253106823565048002551*c_1001_4^7 + 3479205712343519622562830841224741199693303312434693221714744042321\ 073031482799310534190177/105549442950854189320980673539866033654199\ 1356797014886157125416252713253106823565048002551*c_1001_4^6 + 2591739879007383973420677791389193322449996793947496859974909079632\ 350789863227608962218145/105549442950854189320980673539866033654199\ 1356797014886157125416252713253106823565048002551*c_1001_4^5 - 3599371763817373389398787814150685281046824126885604392484439050673\ 831137901055383288020653/105549442950854189320980673539866033654199\ 1356797014886157125416252713253106823565048002551*c_1001_4^4 - 1481863903117133160242223317061474427949387425296427087633357730515\ 34466053155754873175428/1055494429508541893209806735398660336541991\ 356797014886157125416252713253106823565048002551*c_1001_4^3 + 2267514484434031957130349756080884575972591909492846831169305947077\ 498730662818028429310609/105549442950854189320980673539866033654199\ 1356797014886157125416252713253106823565048002551*c_1001_4^2 - 3147423622566738923361233118068755565471216339128619759085413170805\ 516663706253231690687491/105549442950854189320980673539866033654199\ 1356797014886157125416252713253106823565048002551*c_1001_4 + 9360336259802065340131085584528265356025915790434978366238778688800\ 43838694421856910754842/1055494429508541893209806735398660336541991\ 356797014886157125416252713253106823565048002551, c_0011_11 + 15726540443820457322921539058967985799478271336183336236953\ 51173755798512969334502847820/1657126254328410772339396574575896728\ 37092643017131337126668690351675980737771299712536400507*c_1001_4^2\ 9 - 100135245462674752005980060148870182479315107184642543767900352\ 83977188796418483787732095/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^28 + 1939383673451102527065587066877709751395109808199144341724596512093\ 9561942707742898307199/16571262543284107723393965745758967283709264\ 3017131337126668690351675980737771299712536400507*c_1001_4^27 + 2996994133511257300837183454877348036200332137867400977156759243661\ 9975395758123282144473/16571262543284107723393965745758967283709264\ 3017131337126668690351675980737771299712536400507*c_1001_4^26 - 6482973088072725835213001875021004486492789263333914381326960379210\ 91308253518642770818555/1657126254328410772339396574575896728370926\ 43017131337126668690351675980737771299712536400507*c_1001_4^25 + 1592345295379466350320598292334820912789821288350461194263037507863\ 17578877079729869248008/1657126254328410772339396574575896728370926\ 43017131337126668690351675980737771299712536400507*c_1001_4^24 + 6845120565067427430648396647090864979358410047168217797152636754763\ 026322194996820250570657/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^23 + 2688719787653302511231305720380553425486191999268054173251776917445\ 195827190340414426275237/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^22 - 3381561891765215173511550505785332974812842196664392891105627971490\ 1064479287209294400694087/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^21 - 3371104067331155430031999648397049323101374534488516797032906452897\ 7002085052572286736102228/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^20 + 8134233265519206184115592395942341035731283916546284741014446817479\ 0430568426355314002050951/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^19 + 1323545211186107286146282851774110562282784519377302608321020693097\ 78664756505792777147882507/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^18 - 7457624926593600850067233552802020453629108219022903124815503994284\ 4395155428657762021916863/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^17 - 2410315687669648940015690092201938062760287512708577296534741004080\ 88092613539628504651047234/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^16 - 7032590199816422496138742729724356378238554296088896736363982188940\ 6455045632010838032359012/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^15 + 1569706446704333313482070759217398607467619509335044923883230189266\ 22110267439739042906414906/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^14 + 3704065957934125559994763093393983690132578570185614835097449010672\ 04453965076920404836331602/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^13 + 1201211997623811331200607968338614733743779756902705757088727292543\ 76758503634565477918558294/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^12 - 6937704361365623350842583138660564559824378265908808730265341864307\ 15996586815145068288390998/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^11 - 2621546548517476215142420761399055376153179235197370574725452849595\ 83913572436902730852615747/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^10 + 7467496445070233379695456002357294857514609485678892024304597260578\ 17227780097763846132778529/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^9 - 1029276687822753213436021501122576210296370934027052573706233509719\ 56545273512957593261140911/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^8 - 3434054604390518029506173522011090189609302515600028685108252784769\ 83675962396978561425038589/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^7 + 2783881449710403296267547382150976694877986560816936955402832064431\ 11874487801004721432675919/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^6 + 8528175059673082437753503315273598616565139879025407300736759152475\ 7759311504035273889308616/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^5 + 1606113852194581511535784187980681304724904629992123783856016884392\ 27232473386738379225608399/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^4 - 1963951700896980630286857572943072473509838827978437483724645063043\ 43186184312352414635372122/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^3 - 4533444485825243806204944908143959055008944951353232277466114735156\ 0505126000956927566135352/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^2 + 2294118559398042536903965190416511453219889831834022339587981330623\ 14441876302685702707051308/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4 - 2047815868454428034832329917877824104932170155434432343655419472453\ 48441222863897610045275163/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507, c_0011_13 - 91951278661202457160518259002691234449290955982500236311715\ 02187102075786217164958329050/1657126254328410772339396574575896728\ 37092643017131337126668690351675980737771299712536400507*c_1001_4^2\ 9 + 253605768539901409327100907343829855697176087250764763125443994\ 36694173208304346815269777/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^28 - 5913663814959759822244559127127087556374114544109294703656403470961\ 0128497193772590869898/16571262543284107723393965745758967283709264\ 3017131337126668690351675980737771299712536400507*c_1001_4^27 - 3795914097026808060091453964038570745416980083944847881748488707568\ 18997623876508678789104/1657126254328410772339396574575896728370926\ 43017131337126668690351675980737771299712536400507*c_1001_4^26 + 2268370548820639083874069922371668773516004131430582478301765355214\ 817002566265825077140324/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^25 + 5167965484711448308032748844266364345505081577534644767891356706585\ 022119731043384485371107/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^24 - 1691496212940452457007227503930885088680678703868019720382844157874\ 8942700684820990898981940/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^23 - 4216206095316736488700306275287350178796343110505140853068565453945\ 3773731211439987612032595/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^22 + 4946215182110508081175459159550708100613164635391340793675779919922\ 9815542129899885770179538/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^21 + 1802913789581267292590392667627396244085071944776648152269046499910\ 19840314975412344090555397/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^20 - 2998370515380362032268477452648771442758716236879892247979610078042\ 7451342603941805626608285/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^19 - 4190301711485309441436433417775699711057888299686445750282221142299\ 31067987959222057596216014/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^18 - 1769556288290025851948335436653224543003122519011391188818801228095\ 07724610449982548046019684/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^17 + 4903374472478941011558207688720440282644299159320622049523607041009\ 93271926996447119677701871/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^16 + 5139480287194975416290642935946136846201233286471272507094724228772\ 40886744877483180448524229/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^15 + 6791273413868000740871058646397426657710677390546034509385392226110\ 2139379863066366641501315/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^14 - 8276219506529355156786638346151493888693102443841132220711711621954\ 01866978220056941258842806/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^13 - 1180334176192162513754691460071610040873879155595428283755197517679\ 026408539015526451162745933/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^12 + 1127548144537317012065882511208342967320571677577001802215111451472\ 037318559348716179132292214/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^11 + 1736860989347241441302526847227520760049969521348019233134453486743\ 746872912286649917982502217/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^10 - 1377447817070531487753461347718934950485505452304738826326576766523\ 749733674839251380518274026/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^9 - 7254829611610768284410945723216023721849246555860431025221204293502\ 45877591998937499605934114/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^8 + 9786376051334779342620846945965728760955196471699042983473777550494\ 32373866569684598584552652/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^7 - 2960911116571870189534291670084867549222459715202942481413136500651\ 32494410643657644694747687/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^6 + 5942255731162431061112011059501943582322749566506790742804579170572\ 6106066539383388638063906/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^5 - 3197571498011868619590537027213719369632850625230895924046276427566\ 99713288723451519623420509/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^4 + 4145024457526873293028233415705884276059781106979984896647299861365\ 0863735521568618285539267/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^3 + 2948821592429307829397234169485479686493357437452310824001617723370\ 40904408162199340394160008/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^2 - 6283500561602951560370027372349536162318865527141423455193004568108\ 71039015987008406254080257/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4 + 4158550770097745141882835349530889843167143670436280486835909387312\ 66412834483744301861799737/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507, c_0011_14 + 98372284586149405156881662568946482808863176558040587570204\ 15270638790172310375016315298/1657126254328410772339396574575896728\ 37092643017131337126668690351675980737771299712536400507*c_1001_4^2\ 9 - 550212392384665824878764983610454199965012736046945885670273753\ 1645178397511647978371478/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^28 + 5239867622937439100206257782292498144336953726982595719037878093843\ 0776190656589275121320/16571262543284107723393965745758967283709264\ 3017131337126668690351675980737771299712536400507*c_1001_4^27 + 5275250964604718246939761678118040636113934557793154925864295485375\ 39514420203905299965989/1657126254328410772339396574575896728370926\ 43017131337126668690351675980737771299712536400507*c_1001_4^26 - 1265946139777331568808827736740788592367529151279396852281383893665\ 792208703050149601368412/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^25 - 8190601270783095103992845214983130435113078737241016357936107252213\ 667229126432341015068449/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^24 + 2866519923626879544212720230077573585481087844130220767773375517052\ 46823168661544391780497/1657126254328410772339396574575896728370926\ 43017131337126668690351675980737771299712536400507*c_1001_4^23 + 4385999620483110455673294610060056872519395783048186179782104555248\ 0885065447417033995501366/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^22 + 3903558554866133280330570068386552601788806352878470163467156248651\ 8649718771095226290509454/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^21 - 1015943102683499808531484602176016180064707146149244301587302501034\ 43651776768440311705336421/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^20 - 1693797936946844855757566150826772647684434832172331207448043146256\ 45705617778198352995456815/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^19 + 7438586768303454066974941261529936874797269457494668215215436546761\ 6473325273700429444811682/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^18 + 3035444308424937876057971713365592693812627710324127332109537059722\ 21065462944919360122695931/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^17 + 1300867528300131962559795592008463292994497152924917728516016677703\ 26499082432145631451949167/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^16 - 1913732386957330945489114077909438230386948727283439356657246658311\ 50901513909449460937996633/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^15 - 4592400211654304148076006072872877327041071901674074977772702300173\ 34833884310342427912793979/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^14 - 1874824200214560721773383391503122403433512935044645923327995707578\ 42877544415255355410924723/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^13 + 7678063457821109747137386694284726707442146509140877844758028805805\ 00692155346577591289126974/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^12 + 3914744554923602979009856303431163520405013386452164299809542914350\ 30379988020077246144368362/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^11 - 7896349616076130085491958825615690011769030962834813503540467104725\ 37248842873406261249981386/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^10 + 2726032946472777339655474828869168047793772028942520850338486720016\ 2772284380417527886149436/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^9 + 4550328053892900268241632073403591147453807689747507685348587225091\ 85976351528668655231019096/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^8 - 3489068428551772181424918551841329363650804119636611314808576457340\ 36949541569269195919359405/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^7 - 7369337386139575232637405102401851861320572967013460882723446371091\ 5946417392435009992590999/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^6 - 2188653428404438248774406757815405549264656639112159897749967764107\ 83518806685986940196920736/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^5 + 6771801542111403861752264948749199409114424190480650332912988467956\ 707719808439839984563060/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^4 + 1909762450394933565282832776471666897001696088008270068348913787929\ 24783691794687884663262885/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^3 - 2363261880693197908231545969734950906163093703476379453765712002009\ 46915372972142051889811494/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^2 + 2554600890851689132673916499167809376899591717993700234335768209861\ 13485836524701805843420002/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4 + 1620938760654196520274890808149566459206502209322707765770543192760\ 7253300264751470757680537/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507, c_0011_3 + 770975783974731562428214841542700979032195030557107266481569\ 7957017381742843177660277982/16571262543284107723393965745758967283\ 7092643017131337126668690351675980737771299712536400507*c_1001_4^29 - 73027842069687413791338089345434138223356538656974310907256943900\ 74993667330478906456605/1657126254328410772339396574575896728370926\ 43017131337126668690351675980737771299712536400507*c_1001_4^28 + 4255174935982683517235494221905641075075525874142383089231448331372\ 8677069359834282065597/16571262543284107723393965745758967283709264\ 3017131337126668690351675980737771299712536400507*c_1001_4^27 + 3940599284593310020622999146768276455809545943390620687527383934115\ 62410577157902314942045/1657126254328410772339396574575896728370926\ 43017131337126668690351675980737771299712536400507*c_1001_4^26 - 1148965049025448420098000296235344241673787418715948220931119551150\ 453624354124063279391432/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^25 - 6072348868208867851440810743559589755690787052571135844812855470972\ 347410275356478076033954/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^24 + 2569645260715901309288558598776698031005438399857659643654865644846\ 560522997310056470879123/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^23 + 3498834247462933002042786248339902194567523058152365448257117651643\ 1485035164296840402672555/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^22 + 1950562711323323763769902014891044346514424712686074384356687498396\ 5215657410168608102078806/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^21 - 9349263989305412528146888634764899340720205685685168905134856419201\ 2718878760873800578841744/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^20 - 1129904957597192624361971587672859412116709429905599366183696420852\ 93388863187004757584838242/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^19 + 1072569596531919795936251210828639684253063232262856929722190321103\ 86590661293626810645839661/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^18 + 2375065753400230443934728944929024121161479343121760418703653730987\ 88373084570134040391722994/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^17 + 2622409207466585050550701937706118949012628694141258358417532743203\ 9028715473558875542039728/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^16 - 1987804175779962693923086926354422973820644441629202882007106508801\ 88848728653738520629658250/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^15 - 3077064764996736496772015801078836786973398133062860524730093658873\ 10659775802175956586143804/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^14 - 3556508926158267601624669411385638737125396464442500787167478482515\ 9504273276279243405868010/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^13 + 5981409994795680163145178983968700030829033796829858780070766358823\ 69247030791993860649858110/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^12 + 1351450651761687154340672296665408175015400656611508464812171772205\ 96180571600232818472334272/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^11 - 6773819126930614197561501364104886686381079252974346632699259697201\ 19288107955055724676776052/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^10 + 2190540502254749837172639051245199984060867704449743657420034474671\ 76669382665246901699152593/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^9 + 4448634193560944340618483326492433406624185837149772613654271545490\ 65387044249221582606493888/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^8 - 5062753260660336528041117891217516291686289233992882871148723505246\ 50471215640627112342253361/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^7 - 2855647309442238223500560694076485236026797059606316451392283246081\ 23133788607150914583099829/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^6 + 1398628290775627779014804668677831071290920513903818069644731422342\ 05616291104784951923851127/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^5 + 3754506191944427637426766310043460798289949709336840779178562878840\ 95375968472545830459282060/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^4 - 9605465079913332245506670725028981997881384009332259676286910144802\ 97186665032645420117408/1657126254328410772339396574575896728370926\ 43017131337126668690351675980737771299712536400507*c_1001_4^3 - 2391647869908735584528685194892170695913271482304626489101660660155\ 90369112539616038359265446/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^2 + 3152264370012512898980316841603445070325592844917940733491364422003\ 59902847971096724050033568/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4 - 6432962483525543868301776901852978872614230564497703708317014662375\ 838931521183083657365604/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507, c_0011_7 + 134878198905607717866690841907037714032099594120014299212897\ 86670493501648645857966502662/1657126254328410772339396574575896728\ 37092643017131337126668690351675980737771299712536400507*c_1001_4^2\ 9 - 351689742429124050347591839089721185914198437948368456045857198\ 9605968155301919196628380/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^28 + 6461115167424611720347253984425175642009349724357606710635017826614\ 7819329444540260338646/16571262543284107723393965745758967283709264\ 3017131337126668690351675980737771299712536400507*c_1001_4^27 + 7417002727777463060844409047141168097779174111415409321338693189949\ 43363037449792655197918/1657126254328410772339396574575896728370926\ 43017131337126668690351675980737771299712536400507*c_1001_4^26 - 1539197423397000227501488934012984936947157790390505295146435842462\ 052905223500030016130847/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^25 - 1205111640175673182855027420711974955708426742601994891056221662653\ 4710383981600346920331750/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^24 - 2606065254540069591529654146749004609841628324513519222628095547422\ 854866428267562905077532/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^23 + 6533762686202232487518560987625148212474172760075372877672309205928\ 5064510018607014877512870/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^22 + 7557712173672439340015086780413901906600879710183956783613862113100\ 4047290991434762592189414/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^21 - 1484294024261974284265761377310362052896448578239360079356845260986\ 41714798625067494996258821/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^20 - 3179888320966957399586122026201337785250835602444458877429255209914\ 04274755039426313537207906/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^19 + 7601388263750422905686353079108539781065144625261708199907123403076\ 3125924388716424909842264/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^18 + 5992704241836755589062762683545768697980772824189816461145484191152\ 29786478017043575454757349/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^17 + 3277069288089625677945155597699150416371250082159770916905332563497\ 59128840380046259698601425/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^16 - 4477075732938464107543447917219369831554053091224676633125834872827\ 81136002969855200377528956/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^15 - 9178211639196205540960443654643888130671056981397369555722964844668\ 07347899419973669389856847/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^14 - 3512330622006122881487988400865138168952961357842069156523510356990\ 22763167149359141973100805/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^13 + 1348836142472771311228280729061918928160717656848587872561672189842\ 164689398192277211477692285/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^12 + 1198627975167634823708954682348312769467948200848874688708509030400\ 946848584940764139685776180/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^11 - 1327473068316388761850948923070737002286112766631056512016798671674\ 599047348389442814324374121/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^10 - 1025044756504893374061515534671490288189880945933796928095953240341\ 551855745204154775286487157/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^9 + 9621727581294759926100349334525023295962735385387694608666774261696\ 45392408071162255083111722/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^8 + 1999422563327908437040206576419976124105166638908206871342087730016\ 61949912116449626850876565/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^7 - 5916625299594587264579236986648843612162114580907435429078836074454\ 57445283828024883832741356/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^6 - 1918729718380988258362966210829646956798926217928799210307434036021\ 91744855080010099564629332/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^5 + 2250233586392959123278610492874238545672095068992782504077094618422\ 45095958695051361263942575/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^4 + 7515861269982886259429328431797335011395384612428981607926483737884\ 3294719711384404925925311/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^3 - 1672644834920676444382468981233151962526596988072141384311016840601\ 22573073179050466997022773/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^2 + 3933435128595061718255171723592181938523076394547551918833060427898\ 11403412686338772596109290/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4 + 1247151932750796256312510350704994136327871597098593108604447001672\ 54926123529076169785351622/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507, c_0101_0 + 740902878593341738282956287479582959842648585767458705619105\ 5839676389069013308651205898/16571262543284107723393965745758967283\ 7092643017131337126668690351675980737771299712536400507*c_1001_4^29 - 70635774479323642542160870702982185970102034942869503390917274551\ 83644022367104660725091/1657126254328410772339396574575896728370926\ 43017131337126668690351675980737771299712536400507*c_1001_4^28 + 3468717813594504618672733122534548008072229144324414046669131173387\ 9295060311446873120417/16571262543284107723393965745758967283709264\ 3017131337126668690351675980737771299712536400507*c_1001_4^27 + 3812722926011538186636781242565752991745701457209662420252577770250\ 72660668260213665553155/1657126254328410772339396574575896728370926\ 43017131337126668690351675980737771299712536400507*c_1001_4^26 - 1143755940525540165366120959408650936932491817640144901884437751466\ 103322641404802990609274/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^25 - 6156668949495862636863257735703499388051869846351319097631474699176\ 138354951200144112918640/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^24 + 3237388766943777902370799461658631328965066716819868922991946159808\ 625490935594324608519387/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^23 + 3871598968155484816119257021689115427979383139966734094542538896384\ 1737114342855628003452721/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^22 + 1983728485566813585644315541147890570490443620654398656424881097151\ 4685227278432976658876367/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^21 - 1156689798711511543407878454441078201222931792522261096036401433505\ 86376535862376385881113553/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^20 - 1412956811580292147276996810910287158857131622128866224562117762293\ 53694822227510685856939740/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^19 + 1523861911408567330632889145600643840025505479408676987619443844774\ 74185908328505186402068392/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^18 + 3583760746069927611844468835327284435770204008874047354805077287010\ 64456689329608496857630903/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^17 + 3563376016517539526873626686834959274753082800398766969005053342282\ 2013013645305345362809640/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^16 - 4171390616054704350941989527702371842979174680337033605329933746867\ 11656226175697915880217185/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^15 - 5158054054607410831175447553884665978504980628953439230820528361073\ 05737618729059274300742154/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^14 + 8410893265525272478451987716148778244820430549064248669732631544374\ 7857672980196089196851438/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^13 + 1061590834743182304284758984096405474675209763025592450915487945367\ 577039841747222747175098459/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^12 + 3903959751987977251694343547813773235048599303737777171730205159360\ 65369770163142958936213957/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^11 - 1169140264773548623406563512642113301913959936889511859911657882221\ 464412935256860792615916279/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^10 - 4295180074376448685409468799773022887101920466320861787449569457109\ 74786224940050936952571609/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^9 + 6254713644699156134907217216744121841941626312616613003963320605752\ 69281646872324135202889647/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^8 + 1320368628928701192642839896665087613714767839352444868812148915374\ 48201063525910994840053609/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^7 - 9407013306034278349344626552915120274465843648651504618733252807765\ 8337030676507581406721534/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^6 - 3009823645160720106270975481432187011287448249057486137871791662220\ 95237638205553110032938958/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^5 + 1610296196026057873896029982385426847868386042376757221120925922714\ 07883393075317603853050773/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^4 + 1705074014868965986340926235149875432463339164262087219791907230086\ 91746810179277271688193703/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^3 - 1858331329095351156719119229252986006752006506487218935875574615779\ 23272248809864031222263869/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^2 + 1526775668354763754643994330997577310878206513286472069959299010811\ 79657924632663548372552092/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4 - 1180675103294558103940261643423152863527838024430416727020724212640\ 60324373399847227996209790/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507, c_0101_1 - 585271585278786890695367517046503130573233756335031887573539\ 311265411603357456462549019/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^29 + 2108808322160501300326002471101152057274071726709791043016352358049\ 588376203072843388944/165712625432841077233939657457589672837092643\ 017131337126668690351675980737771299712536400507*c_1001_4^28 - 2720158522826388132553975494566541183214928075730816479420520637069\ 168682994506130725115/165712625432841077233939657457589672837092643\ 017131337126668690351675980737771299712536400507*c_1001_4^27 - 2962572374277866818563624430539652820924696699619962006598836146584\ 0654790010464810955319/16571262543284107723393965745758967283709264\ 3017131337126668690351675980737771299712536400507*c_1001_4^26 + 1817890293919123581596322039769388042127840627897031814487787702760\ 98111129149849567172819/1657126254328410772339396574575896728370926\ 43017131337126668690351675980737771299712536400507*c_1001_4^25 + 2879777520014757429221420521239826313785788527222932115359617338560\ 48719051109222836668757/1657126254328410772339396574575896728370926\ 43017131337126668690351675980737771299712536400507*c_1001_4^24 - 2047889371925633624706513510325444661699755434943755949203082631008\ 167030829666903252113948/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^23 - 2903116825990740728279139746946938066291589192794166860457021027925\ 126600781858983399441835/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^22 + 1108669489429483129990756047506573381657908614507042196868007217145\ 5214217303542024927365333/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^21 + 2045980416690470744027808159300989304639698579314959431127117581426\ 3052659600413453477329151/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^20 - 2820888214650740720626526596671704122267184368170680777637441678502\ 6748490115887762156536535/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^19 - 7868405049396813435634307756951873027125315373649638705710806739207\ 8268936501117628113422956/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^18 + 1784570198429023690765314453092778621410985370426586722560178489071\ 0678305308857840066530900/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^17 + 1599235086638984406088998743909574233983732147579435081653585606633\ 40832436701949396316503215/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^16 + 7001602674286104397006331668915499128001370697860019349421388409322\ 5989717976033933150766379/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^15 - 1433237209449172565107175888183901763561317489982207907041247209787\ 04418728951061139691642093/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^14 - 2085936790014572102168351772497906406721261959152077791730141167975\ 09373545018513703927046784/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^13 - 7305281327716688718393333262179639796678142061053560682811149925533\ 9688228454388599065352146/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^12 + 3636249698090895437263976029248837130937922259630468389860111358429\ 89488214267870254303820901/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^11 + 3464769482250797624585507803912484817568672568997508513346915047292\ 28508803854761055341706679/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^10 - 4633183396006258371123789830251885856590373191890342514093446036996\ 18575992220826492763485225/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^9 - 3746080633262596053425966386660703466645318984044776096920741546715\ 02513705689025026932086501/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^8 + 4257602903050018074520691949614058336417266263334553756453538607842\ 97607559175393625191823631/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^7 + 1088238828878780371788440733240844417087196756771291815614933611120\ 48457108385810113336351876/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^6 - 2432245394900802160282485606621453508009898797150460786269729933680\ 67156050763901008054382109/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^5 - 1813604552375416011867620043362169174759818513797516797594380091928\ 95858997429192066230454427/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^4 + 1504327828135205319100192079661792296567808777155647048949528902960\ 85650476877766372385239048/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^3 + 2326096528146693286109982105056456033736551706926049420759563350482\ 70249167237551703431943889/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^2 - 1876563279072447196927331192647300962199447443289094286363296654755\ 57685887817404328761645636/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4 + 1324692715483273154049992448536267709350219330302734838512286946218\ 80696840067937303617211672/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507, c_0101_10 + 26446855741054100340093474523533925070728776358300010931381\ 817426905861904492545343521706/165712625432841077233939657457589672\ 837092643017131337126668690351675980737771299712536400507*c_1001_4^\ 29 - 37838265123187685046492195920708024317970807600165739988058999\ 904864157206401377046589142/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^28 + 1560514662057697812121005166421195638088868472745953310738989741072\ 05707484029030089826412/1657126254328410772339396574575896728370926\ 43017131337126668690351675980737771299712536400507*c_1001_4^27 + 1289062212217988937704780723774335100715769737632941022766306532281\ 778875048235809093684820/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^26 - 4604329045219587811619426770544360469074051520277676522119032507443\ 398587075635553947977512/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^25 - 1898405794657036546242115024223781404608585376010210637920963141308\ 6551272252896680096187797/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^24 + 1952136839710786874407151413255711127359956480614735645478438537543\ 7870801893682799969208857/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^23 + 1169513935707387429823924835874164265173800067329127707958498517026\ 92729425945970355853736976/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^22 + 3331948536860197602990162132767319496967669577429137554888051710405\ 726387673856755726220748/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^21 - 3684854779933617352189942320181653952638468016068882889195438042702\ 17181299003590731455062773/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^20 - 2221149212582166155008170230785452494765003569290703679191359441194\ 45740692621140262045926049/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^19 + 6304003240639515253294877876927264616505137335593944272710198832185\ 41261779685505939952062800/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^18 + 6863829181439316644847261948792420937899829630215618894012157567085\ 26809324504973083595127682/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^17 - 4526786135809914055837973011562440861456058989196297478649830681012\ 05313509042450128505386880/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^16 - 9903891677735725254539676403973451358144589812839034879797512624302\ 13081019424315414572336561/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^15 - 7020046903878240484422849704068774902152071647841682569377924694115\ 55926630601067530512611920/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^14 + 8747270611654057922305564717862177372986225834178302221381935497046\ 63242215367008679282453357/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^13 + 2579458054224563917647428922008872992168178734679607164710863206971\ 318282634917234530712760220/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^12 - 8711326428562273898149198655331008245991440745657157185662124778539\ 07854447975540729499580895/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^11 - 3531274027693117396387206184391398735536856181887279870495221029880\ 655008192526398564434619649/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^10 + 1574018507230610671028741551771256893102693936312729170868377730427\ 232785114090125736782863044/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^9 + 2116165574694996478348712361850874272849797215670930903895272714212\ 052131660689791509759720443/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^8 - 1496042651849696580751799911142918269593417237116454832108348384879\ 470568480106402096864395090/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^7 - 4175854624695306867477065414110481608137259139924173629488285337917\ 16882919508677931928005018/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^6 - 1683568376158039900691612514499481266536730923083387872814740172051\ 25934461704901742978815831/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^5 + 8550116412327961483746842424383836062586065625539005702057387571150\ 78007641579606131677409454/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^4 - 9610570111050999711063594252029700226450272361874362792947134474772\ 0228371455910211739024851/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^3 - 6364002039537010181097833677726519928279521504140773450863229061884\ 05114453907375868850381608/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^2 + 1072437795812420210898190536019847046104850522304888469216634085558\ 581736030070843744659410502/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4 - 4728616340952896432650251997776989181629717084882466239790999258851\ 55075676327314680266852939/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507, c_0101_12 - 14611769445290571581735918335892876031474915985549483453027\ 380198486272304258499599904603/165712625432841077233939657457589672\ 837092643017131337126668690351675980737771299712536400507*c_1001_4^\ 29 + 19764090297397940030817238711787246579545884973993016090872732\ 573290664051399845951303982/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^28 - 8540394279093728441591696567772905750507073916201383029107626888588\ 3679819683706169371238/16571262543284107723393965745758967283709264\ 3017131337126668690351675980737771299712536400507*c_1001_4^27 - 7247979528250964830703046815997880979593927088772774807809140866042\ 54145549658063245747333/1657126254328410772339396574575896728370926\ 43017131337126668690351675980737771299712536400507*c_1001_4^26 + 2488679444101726472639764933404483586307126263213079625610879186056\ 002461200616825450048820/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^25 + 1059831674259392219290387266867185063868361401108169055893288375549\ 8418662931501267701087091/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^24 - 1018478721460335259143529572987643722897943588238417550882360813810\ 6013989420234826724990826/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^23 - 6397435463802603976851063227079127406865088481531433338439076242544\ 3178577894316775466921828/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^22 - 2364128380022994361988229860917762292444514806160590540859977534570\ 045243989505734016097808/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^21 + 1998813308261141398267851591495406514453766545480708101054226938951\ 71638975662285474231231030/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^20 + 1146854399751500220963770319733212607464178398026976206649609342827\ 38087394489017356198972348/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^19 - 3492636032077059077967886472155850278080575616767819379681048481722\ 82871360268238901749311798/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^18 - 3533321794434583145671871501871529901766974249871866244280501578605\ 96477394765531673369402310/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^17 + 2818206109450272695029022354400051875797492513333493285174271323051\ 28756146072147228974646520/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^16 + 5231943742228541397076741644640852208866145845538338369686796944286\ 14167461175352957303587918/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^15 + 3152682224964718857127072293737317352436459044251067859496336954549\ 69549796874722841068571845/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^14 - 5011976983483854580581381313927261315534085754656136794125451571715\ 87082427262905437209338711/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^13 - 1367915368205136105978624107948548801120900167649795199735888955055\ 308455177647395463536178400/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^12 + 6041018833921915396458949473073862691675800435185671643396306543513\ 29435811009932601104543153/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^11 + 1966825197149553866214902250963590837728635002133377592556140493661\ 687663758976632854307267072/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^10 - 1074915514811784279009703140355133839491244751496921331428729724327\ 718239207620955173346214481/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^9 - 1254017537331087222285984330224010565846951614313329270611722609400\ 226181379684923005705044379/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^8 + 1000503615626736986330772183502083605985897460935547280545017753814\ 103444596736411177260916699/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^7 + 2507899235736475282998149119027033382513226950537060422282094375842\ 50613544434897480763763464/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^6 + 9479152260796820402578243738173437962712037407982557778138101901526\ 3393582749658107955372742/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^5 - 6182509519055776028248660002502183751238957000788292152075105785797\ 96036316138100845317731665/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^4 + 5358162920604279868410723791588547300904045387580852783363655902546\ 0890939773373235042299755/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^3 + 5605459031458141226427517245175667416836776898785105770464729812594\ 61859966194375736163606154/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^2 - 6613427729958308111505181931507558476156347651019273877585461354796\ 27272609947175617246544618/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4 + 2640812829549191910757213268923921095630423938087474926545301343453\ 01192759703971541613529310/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507, c_0101_14 - 15204563481927154257668584633606030167022719624780495081392\ 135129520816124970133006205746/165712625432841077233939657457589672\ 837092643017131337126668690351675980737771299712536400507*c_1001_4^\ 29 + 28667943105923813276491581936248357543355981728267933762191548\ 100088997949991696609735268/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^28 - 9708681178913513745701586912310195519424147175408022008453112680800\ 8886125524148692550137/16571262543284107723393965745758967283709264\ 3017131337126668690351675980737771299712536400507*c_1001_4^27 - 6982797649276080206147195192756584604197792937313309735534267779607\ 75372274465111812172328/1657126254328410772339396574575896728370926\ 43017131337126668690351675980737771299712536400507*c_1001_4^26 + 2992964920750999978797256525595693039828177994562737326624022096405\ 173053623857689835941102/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^25 + 9871355897921705780498810308385077785799332258399927804395166615468\ 240061044467331459107510/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^24 - 1635131852331020103684906379939580347809935601702536774363485183253\ 9275811415337719587755912/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^23 - 6477068008842071928612369420001473738629564764211874524697905898130\ 7899425259009850018984080/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^22 + 2649310660765458692059643590246265214818616669625371117884172922098\ 9269976451750684400694869/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^21 + 2251601136054217488638744491743122416285162925622372502814463614868\ 48107828339173022722854312/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^20 + 5272696942692232687872321419318687458097135398758631313358245761855\ 1923896429688952695521743/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^19 - 4403877468142197480465915920468369887843695600984080530974253035407\ 85553497538913968978725062/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^18 - 2970757572883757722347131836505850357861378943196774673033907190831\ 40835799794078878837869928/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^17 + 4282606103772423923049024530133480494464043586786362826244226319113\ 59823480715582662632846825/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^16 + 5421138139459069426746093875514190512122473167875016012706548753780\ 28633439851906063172392313/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^15 + 2270715847286381433132330113139970223084278043564073992902305958017\ 81732963977859975180316579/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^14 - 6991683557795835426122611881452354947498989279431245703089501938320\ 93663062061297427315773792/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^13 - 1391419539229460650915990235839841670691007350926492955859319034602\ 840804872278272700021908402/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^12 + 1006558824462718531806948002669523441119194661064402006004781152599\ 940911785676963055954692335/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^11 + 1987808932676252321058645724656052167448645369226305909865251239209\ 568088403590219511919277623/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^10 - 1575108297088906736464722071734666422517042309152565182666997184873\ 859987095010296523291153973/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^9 - 1009935386736166498445833077612425157208924737447427072496561281911\ 416947549616362697134525063/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^8 + 1353965075858210152353702639071290734616107766414809943387180830395\ 271116372206650805691276351/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^7 - 1194049416273989195880436822621802390019154568515483791014949560658\ 5723867669475926372661869/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^6 - 1616857273490415009677157033233979922583801579529843379650768481352\ 09254453301538251285866938/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^5 - 4198737705583784539271419054096251507847047831207182287799920408010\ 06579370327866015360259818/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^4 + 2071028353676234649586372374850360381352851367320090538251776286999\ 20011865094535934903170128/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^3 + 2152648301974192452709634261984452389881272271802075470925345047017\ 55706196486571176785889831/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^2 - 6002422424715936501670457686665416694477100073164389867418883542185\ 64620355915589894463580896/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4 + 4381108542291911173665773945505751101236375565493374721668400284832\ 05807061404787570802028201/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507, c_0101_9 - 215657270166043634105123904545389442318617920719094500575805\ 09475858282990093394259162190/1657126254328410772339396574575896728\ 37092643017131337126668690351675980737771299712536400507*c_1001_4^2\ 9 + 342970176701959255562972182784668098253736386241157377622283213\ 39157518604122108035897032/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^28 - 1348289106406692285156659408602559455344439747379736022857557161087\ 01016212962875116123343/1657126254328410772339396574575896728370926\ 43017131337126668690351675980737771299712536400507*c_1001_4^27 - 1025538701383570856640798865529674787505722747805386357629743446984\ 126540033963038967389514/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^26 + 3900602938370511438921325345335792277830797227669961774848892449377\ 862913895978375651584028/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^25 + 1476423071341431925208694321072716856933303535081960918064632524230\ 3588571665679063337404441/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^24 - 1788521162868052879042798708657612340277213093632002780382533183238\ 4267613816403590263052396/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^23 - 9137557648110906406040519257786714018851887291687332847960739812821\ 8744315559404929162149961/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^22 + 9987030005537757131616104002197914225398329333194549441114802263020\ 011211709809069419165804/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^21 + 2928598725530155105378288708845048385726574937254652156817047264490\ 98829934096032102541290692/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^20 + 1392605194422760995555609389780088840845382101007330691031818912166\ 40504026281559134619940556/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^19 - 5167712905232195600128461937320190050319146394457309784600237445826\ 83837851502899289358774893/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^18 - 4856649251161334679084012773728852445820322368658762511584805064742\ 27330941747847950708220990/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^17 + 4007018736281903798914566475728295687657265860088563649200200811698\ 10809029339190635503476728/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^16 + 7486269696564767542618234572830763970976837961922955948402257134720\ 77261521170002911526376113/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^15 + 5316642229680444005853931998418178674992589164701762925005424587426\ 95593558989670358165291214/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^14 - 7698843959470491690042403064395113572494781243465591977498254261839\ 78913216236752023617809192/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^13 - 2034281117847537021131719827681840874824416081604302285626073017592\ 516921310826273752709918146/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^12 + 9017607345080792992755651492177981278363633239550550084239561950146\ 33501191113216025294856249/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^11 + 2676035796195178255633418496962649151957846924335878441085420813080\ 516949961370910099692717250/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^10 - 1454803439612136069829208070508678375267837809956752406674892613748\ 194177561251614581592016099/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^9 - 1317550421927608993116250135568404052191325539982392880069541790112\ 698868563043890531110481300/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^8 + 1116217466356147823620816916275932654932484714661747345731502894010\ 230361754094371787995235577/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^7 - 2555854592325899351054428990648638806431361565543772383807700672336\ 9839960610846590484342906/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^6 + 3117786083646742373683095521256647227310249216454557822155850699396\ 39913379891742840200020679/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^5 - 5409330745872318957946612245226604809833484532542068400549108640230\ 29733933002878641558224260/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^4 + 8108832091655828379325371406499333328400585404920560867510692303619\ 0997226546101763069570499/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^3 + 4220047640034065312483464699672139373653582407673729069449185016901\ 86276924138171895601942920/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^2 - 6629582905180398298903879070230181691538360222162476913647013176976\ 05232534562573092105194595/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4 + 4106636169814109853418522339795337824902991704517015304148105322120\ 54177405109866003326975109/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507, c_0110_7 - 287807650520693649856121627730814819236260775940915085591497\ 88057946220793844466644025121/1657126254328410772339396574575896728\ 37092643017131337126668690351675980737771299712536400507*c_1001_4^2\ 9 + 530040178892796513894448681678530160604477148668867761580073617\ 09288485512890674285882594/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^28 - 1832387540028490865553927602838000435011858044082727881089015306064\ 13196222312472459279855/1657126254328410772339396574575896728370926\ 43017131337126668690351675980737771299712536400507*c_1001_4^27 - 1329363566146401814888889515057450578150339177978989191960211629991\ 386560433518095884243394/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^26 + 5601277986377282231292995988202116038016311940948440786137956351480\ 531684748552419527133227/165712625432841077233939657457589672837092\ 643017131337126668690351675980737771299712536400507*c_1001_4^25 + 1882278425878216219228664166715878375775480763037193465655987399210\ 8497381485273483842228480/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^24 - 2989805362077142603842712361557899777847019593678148421948854386267\ 3196278057655902732439041/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^23 - 1222241534133735017200220535357267098754441308470548399234359562416\ 84940991546495494058267849/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^22 + 4440263541959733342080292858276501002444651185887278924419947033160\ 7560917545062276012837637/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^21 + 4186505417556081960167920445241591286369586905282953732632220131353\ 04010401619073571804799460/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^20 + 1141648070120238844235624888990213045217450196239528562990352419110\ 91622130098144858514972418/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^19 - 8014417690602028096971821455659676244929432626216420130218664941134\ 79635156185508410438810597/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^18 - 5795061324264812978445144291955694869806480696399673655237504515942\ 56586658690866196909893271/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^17 + 7345527259556724756634925160685540388196405736612347459994489896657\ 34739609602910168374231987/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^16 + 1024103595176246876594536726778443592794504256128600718508422222845\ 165618751264860463729894081/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^15 + 5463982206412285681316751812779942199519601664128387776232660183269\ 92958885804861166002971816/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^14 - 1253999591605042416854475177063615717042582572786491919676287907162\ 945706512771297190590577547/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^13 - 2725407616057609497561523053991364268843290495716434025474555894125\ 299101836416513092134342977/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^12 + 1735516784063996013619374510211836978847577274640619086259202549859\ 421808478661643209720991058/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^11 + 3666138008666453425447603677269273034491614152140823285261720121281\ 035643753478238576791184538/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^10 - 2699587411615599112897529205098143247454457775414741231303442715666\ 536057646409136652801613193/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^9 - 1589292501885535823377431245112117507712474547633973249580816148229\ 819362156703552628231295119/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^8 + 2182683489710235483541340137138742677788435731414669245163576298721\ 857067267566754869161482711/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4^7 - 3117876577402267454133969524776086208777961454024906383461405034830\ 25012075414034020253443772/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^6 + 7679122664762641300809222413544298670830829525077275045063627214279\ 5136460151966121407941466/16571262543284107723393965745758967283709\ 2643017131337126668690351675980737771299712536400507*c_1001_4^5 - 8922154014495789331963893932280094526713404895210578684076210849743\ 63355184012607937356488059/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^4 + 1864024516200468914268610012803547132866052290764983485936862534559\ 53202810102689686647800602/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^3 + 7271745409415436036800965477189460658943466999748315103064220357047\ 95622246753529366161385673/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507*c_1001_4^2 - 1146997509294352938711093898669586221561250363681096153902129209779\ 104251715214485532822486671/165712625432841077233939657457589672837\ 092643017131337126668690351675980737771299712536400507*c_1001_4 + 6808029171674550887119482011838267777636056935580716041879892536723\ 17311066716683555322805628/1657126254328410772339396574575896728370\ 92643017131337126668690351675980737771299712536400507, c_1001_4^30 - 2*c_1001_4^29 + 7*c_1001_4^28 + 45*c_1001_4^27 - 200*c_1001_4^26 - 605*c_1001_4^25 + 1100*c_1001_4^24 + 3802*c_1001_4^23 - 2233*c_1001_4^22 - 12843*c_1001_4^21 - 200*c_1001_4^20 + 25250*c_1001_4^19 + 9622*c_1001_4^18 - 26867*c_1001_4^17 - 20482*c_1001_4^16 - 7379*c_1001_4^15 + 39099*c_1001_4^14 + 69655*c_1001_4^13 - 81917*c_1001_4^12 - 90975*c_1001_4^11 + 132267*c_1001_4^10 + 16463*c_1001_4^9 - 95182*c_1001_4^8 + 35559*c_1001_4^7 - 3860*c_1001_4^6 + 24981*c_1001_4^5 - 19501*c_1001_4^4 - 16262*c_1001_4^3 + 44942*c_1001_4^2 - 36283*c_1001_4 + 12347 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 57.160 Total time: 57.359 seconds, Total memory usage: 117.84MB