Magma V2.19-8 Tue Aug 20 2013 23:52:51 on localhost [Seed = 1713376681] Type ? for help. Type -D to quit. Loading file "K12n319__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n319 geometric_solution 11.59900329 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 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 1 0 -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.403648764278 0.987679527059 0 5 7 6 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 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.600903890255 0.626393787222 7 0 3 6 0132 0132 0213 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 -1 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.610451329503 0.402711847992 8 2 9 0 0132 0213 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 0 -8 0 8 0 0 0 0 0 -9 1 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.042540516872 1.036981309820 8 9 0 10 1302 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 1 -1 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.499571943495 0.669234527302 9 1 7 10 2103 0132 1023 2103 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 0 0 0 0 0 0 0 0 0 0 0 -8 0 8 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 1.149588422373 0.748487357485 11 2 1 11 0132 1302 0132 2031 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 0 0 0 0 1 0 -1 9 0 -1 -8 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.121716235846 0.840628607827 2 10 5 1 0132 2103 1023 0132 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 8 -8 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 0 0 0 1.167197216445 0.804315202459 3 4 12 11 0132 2031 0132 3012 0 0 0 0 0 0 0 0 -1 0 1 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 0 -1 8 0 -8 0 9 0 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506588907229 0.170970510977 12 4 5 3 2310 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 8 -8 8 0 0 -8 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.872578499018 0.894567369695 12 7 4 5 1230 2103 0132 2103 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 -1 1 0 0 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.778120015914 1.346425020832 6 6 8 12 0132 1302 1230 3120 0 0 0 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 0 0 0 0 0 0 0 0 8 0 -8 -9 0 9 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.831294417226 1.165158766165 11 10 9 8 3120 3012 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 -8 8 0 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.681453845872 0.641429353484 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_4']), 'c_1001_10' : d['c_0011_0'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_11']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_0'], 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_12' : negation(d['c_0101_10']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : negation(d['c_1001_1']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_4']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : negation(d['1']), 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_4'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_12']), 'c_1100_4' : negation(d['c_0110_5']), 'c_1100_7' : d['c_0011_12'], 'c_1100_6' : d['c_0011_12'], 'c_1100_1' : d['c_0011_12'], 'c_1100_0' : negation(d['c_0110_5']), 'c_1100_3' : negation(d['c_0110_5']), 'c_1100_2' : negation(d['c_0011_11']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_12']), 'c_1100_10' : negation(d['c_0110_5']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : negation(d['c_0011_11']), 'c_1010_2' : negation(d['c_0011_11']), 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_4'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_4'], 's_1_7' : negation(d['1']), 's_1_6' : 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' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0110_6' : negation(d['c_0011_4']), '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' : d['c_0101_0'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : d['c_0101_0'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0101_12']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0101_12']), 'c_0110_8' : negation(d['c_0101_12']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0110_5']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0011_3'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0101_0, c_0101_10, c_0101_12, c_0101_7, c_0110_5, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 8047588551972115889742993187736867102050854418605742569348380690417\ 309256288247/903681161668997417597728324541394283052317263414109213\ 72525415053924146486221*c_1001_2^31 + 3466644702918013517715398328374699048389264263399578145556120793568\ 17569801527697/1807362323337994835195456649082788566104634526828218\ 42745050830107848292972442*c_1001_2^30 + 2767454045592826525800214310964280109202333442753754755712771796921\ 903996716765371/180736232333799483519545664908278856610463452682821\ 842745050830107848292972442*c_1001_2^29 + 1134446311826043119683860614761176348525138298308857910019826709987\ 5950344698272539/18073623233379948351954566490827885661046345268282\ 1842745050830107848292972442*c_1001_2^28 + 4759792783113718872594747177633751311709195755491602440338864075678\ 153284305432173/258194617619713547885065235583255509443519218118316\ 91820721547158264041853206*c_1001_2^27 + 4495680177221307195633766541391809632476381228030324192104242787437\ 2409143314571636/90368116166899741759772832454139428305231726341410\ 921372525415053924146486221*c_1001_2^26 + 1834726855475252382380936277605204773824005844137168890496977869029\ 35110641108961009/1807362323337994835195456649082788566104634526828\ 21842745050830107848292972442*c_1001_2^25 + 4903040073460195526754598969673130574413824938589686988230622762258\ 5962422864092115/25819461761971354788506523558325550944351921811831\ 691820721547158264041853206*c_1001_2^24 + 2799729612499386530180345917029245548324926680355971058403480574588\ 21983032242680244/9036811616689974175977283245413942830523172634141\ 0921372525415053924146486221*c_1001_2^23 + 7318595319335325692523297829844828159203087443989814550386074408197\ 69133413339556159/1807362323337994835195456649082788566104634526828\ 21842745050830107848292972442*c_1001_2^22 + 4918820819022749059384277455464901069182714367506280429620984448881\ 08571807533535774/9036811616689974175977283245413942830523172634141\ 0921372525415053924146486221*c_1001_2^21 + 3022903906533225102687041634104502108691358538334495149733906276872\ 064006388211983/697823290864090669959635771846636512009511400319775\ 454614095869142271401438*c_1001_2^20 + 4321458309484430049644250366761496519324526979477995196064162861371\ 54460403616280261/9036811616689974175977283245413942830523172634141\ 0921372525415053924146486221*c_1001_2^19 - 3831835389659196606842205442147326897463925487405244012668760695958\ 5672135997377764/90368116166899741759772832454139428305231726341410\ 921372525415053924146486221*c_1001_2^18 - 7362788193173593059395979308093431492110204808070333420235582159959\ 3203964255194857/18073623233379948351954566490827885661046345268282\ 1842745050830107848292972442*c_1001_2^17 - 7498600103624543968340152992490812459873880311139358024636097020801\ 04053028830659665/9036811616689974175977283245413942830523172634141\ 0921372525415053924146486221*c_1001_2^16 - 2696445922888916072713774321565132911058555012301109033434664077761\ 2121324223406670/47562166403631443031459385502178646476437750706005\ 74809080285002838112972959*c_1001_2^15 - 1100059671623056032238972428405962189518765373965308994959335626998\ 715185579139378548/903681161668997417597728324541394283052317263414\ 10921372525415053924146486221*c_1001_2^14 - 9977955783735542580947609635363589587222714179763475607611081574260\ 72562625250759783/1807362323337994835195456649082788566104634526828\ 21842745050830107848292972442*c_1001_2^13 - 1612852536511959393944838791582744860450551848836946475109153404563\ 388272606734690493/180736232333799483519545664908278856610463452682\ 821842745050830107848292972442*c_1001_2^12 - 1371593805296799816936964182802929787952350886739412479229179446050\ 30078694601812999/9036811616689974175977283245413942830523172634141\ 0921372525415053924146486221*c_1001_2^11 - 6218517949953616792140927625696131722828493314132277882310084444887\ 37475279502627815/1807362323337994835195456649082788566104634526828\ 21842745050830107848292972442*c_1001_2^10 + 1863610389889060986351550233674168915257227662993079858148738149378\ 36615868264491111/1807362323337994835195456649082788566104634526828\ 21842745050830107848292972442*c_1001_2^9 - 1043999767959680571179995162497853234490069432800900817133835833490\ 25825289866251423/1807362323337994835195456649082788566104634526828\ 21842745050830107848292972442*c_1001_2^8 + 9229251830498037156346980501979855936279176622297961740306905839029\ 202841185395457/951243328072628860629187710043572929528755014120114\ 9618160570005676225945918*c_1001_2^7 - 7306262435692200531249156246256032579993547697179486074329358739785\ 253497105403/257092791370980773143023705417181872845609463275706746\ 436772162315573674214*c_1001_2^6 + 4108123517119755745675496911314412448101742106301995014182439152307\ 203495494762020/129097308809856773942532617791627754721759609059158\ 45910360773579132020926603*c_1001_2^5 - 3301000746421053312345866952702616805563296104852706481099895739971\ 886292998405507/180736232333799483519545664908278856610463452682821\ 842745050830107848292972442*c_1001_2^4 + 1242267680940135928075111279228396138346336162718482877448853875729\ 95396200967569/2442381518024317344858725201463227792033289901119214\ 091149335541997949905033*c_1001_2^3 - 8944311867382745267229857520458072282054187324206476174601647513785\ 2433465278737/12909730880985677394253261779162775472175960905915845\ 910360773579132020926603*c_1001_2^2 + 3529112469629371847313988639277432511223317475866219290651175112917\ 00845771960894/9036811616689974175977283245413942830523172634141092\ 1372525415053924146486221*c_1001_2 - 1130724719370337010197145436543790784565949169184086489009690130732\ 24537531382947/1807362323337994835195456649082788566104634526828218\ 42745050830107848292972442, c_0011_0 - 1, c_0011_10 - 17222014562319371047089278013869544566027916377609385202174\ 19/1674976986076472376857842261982668150770153772682624933947093*c_\ 1001_2^31 - 3769304433002168145105164131311426763536523184122213748\ 0295629/16749769860764723768578422619826681507701537726826249339470\ 93*c_1001_2^30 - 30813463553400704280190332333303686222943472148319\ 7524061088581/16749769860764723768578422619826681507701537726826249\ 33947093*c_1001_2^29 - 12973858694770352276235072835666639016655825\ 90164751267588908987/1674976986076472376857842261982668150770153772\ 682624933947093*c_1001_2^28 - 3829426295978664049707211957155100858\ 154913280583223690357292420/167497698607647237685784226198266815077\ 0153772682624933947093*c_1001_2^27 - 10208744335044174251768526793076846237843931026482142017965018651/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^26 - 21106012313814594502455634912541421040709755223631398018672\ 534061/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^25 - 386840573202172241039460062288497132842545615498808\ 94349512210936/1674976986076472376857842261982668150770153772682624\ 933947093*c_1001_2^24 - 6302669520444146594733337230629269996298791\ 3723397088157738668447/16749769860764723768578422619826681507701537\ 72682624933947093*c_1001_2^23 - 82155045325431261490680661654964810\ 471266229686344188468837754572/167497698607647237685784226198266815\ 0770153772682624933947093*c_1001_2^22 - 106348138964813081228014573649879715699549313027198626602532106385/\ 1674976986076472376857842261982668150770153772682624933947093*c_100\ 1_2^21 - 8930974439589288717228021404950258358357395124106277111513\ 2099467/16749769860764723768578422619826681507701537726826249339470\ 93*c_1001_2^20 - 84362680400624018800416866962930529346148849784267\ 607068180400305/167497698607647237685784226198266815077015377268262\ 4933947093*c_1001_2^19 - 257510907197647474048037437362980152284705\ 3584178741461405148629/16749769860764723768578422619826681507701537\ 72682624933947093*c_1001_2^18 + 28153990058285631954506234086813246\ 637760229367042852098377938225/167497698607647237685784226198266815\ 0770153772682624933947093*c_1001_2^17 + 135595705787828838402440310991433346952557788879350106228957376392/\ 1674976986076472376857842261982668150770153772682624933947093*c_100\ 1_2^16 + 1392388531835019402459377660941992705983066341722352239619\ 60865059/1674976986076472376857842261982668150770153772682624933947\ 093*c_1001_2^15 + 1952119289744214116269180250183834511143504880536\ 44507178841820989/1674976986076472376857842261982668150770153772682\ 624933947093*c_1001_2^14 + 1459381408247713630032764908622178938114\ 79472547911451863156920830/1674976986076472376857842261982668150770\ 153772682624933947093*c_1001_2^13 + 132784873635846544066190597675220930872521953404498811480371286431/\ 1674976986076472376857842261982668150770153772682624933947093*c_100\ 1_2^12 + 7702564225399258332975625655154048771333243334280408500066\ 5637113/16749769860764723768578422619826681507701537726826249339470\ 93*c_1001_2^11 + 40610415102305406159686209826875011786522279312054\ 637673685334206/167497698607647237685784226198266815077015377268262\ 4933947093*c_1001_2^10 + 214128895656028316114809917217539235261782\ 67593186130609847066801/1674976986076472376857842261982668150770153\ 772682624933947093*c_1001_2^9 - 44650971350159915840104104926587948\ 17953520864702395260360222611/1674976986076472376857842261982668150\ 770153772682624933947093*c_1001_2^8 + 2857947672646694554574121075628556937356080685793371023547786334/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^7 - 9601787042926190045136918191668265735717533489954947871368216\ 499/1674976986076472376857842261982668150770153772682624933947093*c\ _1001_2^6 + 2549351996872283197597022409484350436753048089943430205\ 94803911/1674976986076472376857842261982668150770153772682624933947\ 093*c_1001_2^5 - 41455143965015089575157454012111957118968010011721\ 00160493399897/1674976986076472376857842261982668150770153772682624\ 933947093*c_1001_2^4 + 16587960338997506402746330419707135966379054\ 3486210392364399553/16749769860764723768578422619826681507701537726\ 82624933947093*c_1001_2^3 - 837230883610452010512756634306412772648\ 006626651725551202017603/167497698607647237685784226198266815077015\ 3772682624933947093*c_1001_2^2 + 5288350778418605743672871275026339\ 0009789482429933499157289853/16749769860764723768578422619826681507\ 70153772682624933947093*c_1001_2 - 68173185720393810820556700659317024287739381188661712554089307/1674\ 976986076472376857842261982668150770153772682624933947093, c_0011_11 + 60252288200238410502083538850329212481095923713393711743142\ 5/1674976986076472376857842261982668150770153772682624933947093*c_1\ 001_2^31 + 12776922103169917246138644538699481252979547770233818448\ 298455/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^30 + 989960764568121968500608903971475369730489614582670\ 45468434646/1674976986076472376857842261982668150770153772682624933\ 947093*c_1001_2^29 + 3844083823021517965114639517266877930261329945\ 90852578518959294/1674976986076472376857842261982668150770153772682\ 624933947093*c_1001_2^28 + 1064620232740892687509289371854589253443\ 459298936450272433650802/167497698607647237685784226198266815077015\ 3772682624933947093*c_1001_2^27 + 281354071649043198306336384865156\ 3773722416850494877620043731614/16749769860764723768578422619826681\ 50770153772682624933947093*c_1001_2^26 + 5429149702462039256825651926793415729137063163800526209586700249/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^25 + 977560057463267185985381045660687736034500399403636790434730\ 0719/1674976986076472376857842261982668150770153772682624933947093*\ c_1001_2^24 + 15576599268393631237532294953206903004787606267612018\ 474723223676/167497698607647237685784226198266815077015377268262493\ 3947093*c_1001_2^23 + 187574405985831649398373396829362575639130042\ 97242597052130165292/1674976986076472376857842261982668150770153772\ 682624933947093*c_1001_2^22 + 2584746735436478722032070766074038988\ 8662680369142483931044396082/16749769860764723768578422619826681507\ 70153772682624933947093*c_1001_2^21 + 16985306421675282258117786197225748301738622734738309417129081697/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^20 + 21742991029454421706959287923853048821085259861872806032088\ 543763/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^19 - 671284101141774747526023761231132418174391466737034\ 0941594518197/16749769860764723768578422619826681507701537726826249\ 33947093*c_1001_2^18 - 10626799427314776727016821587014072529444912\ 02949408237381827797/1674976986076472376857842261982668150770153772\ 682624933947093*c_1001_2^17 - 3950446022212894184036445956026407162\ 5866563846661532695650536682/16749769860764723768578422619826681507\ 70153772682624933947093*c_1001_2^16 - 23210757017367625503321917290850126249279327942352150447742913692/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^15 - 51928593146538667602357611102930713450334852339033513335984\ 822566/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^14 - 256337770821654603313371796982261054446486108563100\ 43861266610216/1674976986076472376857842261982668150770153772682624\ 933947093*c_1001_2^13 - 3563799050612730093260350108512652563424671\ 2063170079172063531898/16749769860764723768578422619826681507701537\ 72682624933947093*c_1001_2^12 - 14669543841243703506089150275773485\ 687818150712688671052973955993/167497698607647237685784226198266815\ 0770153772682624933947093*c_1001_2^11 - 11507208217507013681620093680976744524841349211356655162707824030/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^10 - 56611359036709893666536845385536622088683806063562795382618\ 69528/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2^9 + 15633736000862589958012679233733969215397515207083845\ 56594612194/1674976986076472376857842261982668150770153772682624933\ 947093*c_1001_2^8 - 22141589772894366444389557345125492761114621635\ 54757333688165675/1674976986076472376857842261982668150770153772682\ 624933947093*c_1001_2^7 + 33832785307415387001292521741385004333711\ 37824220388201496423654/1674976986076472376857842261982668150770153\ 772682624933947093*c_1001_2^6 - 97443007276151395765355529222790298\ 5103352690541930655223585466/16749769860764723768578422619826681507\ 70153772682624933947093*c_1001_2^5 + 1546585060069783152580543903470342332726871787217310117177828084/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^4 - 2843728282934933098395965607078047106617073377470589285097193\ 40/1674976986076472376857842261982668150770153772682624933947093*c_\ 1001_2^3 + 32382845496899364070283419852356668497172587469226219430\ 0525976/16749769860764723768578422619826681507701537726826249339470\ 93*c_1001_2^2 - 375815465787834637291828901104509321319203840927177\ 11259677270/1674976986076472376857842261982668150770153772682624933\ 947093*c_1001_2 + 2369634313172579964041251366301027482910489404634\ 7711878632473/16749769860764723768578422619826681507701537726826249\ 33947093, c_0011_12 - 13492220509841386346590441536853847548566700134395615243917\ 2/1674976986076472376857842261982668150770153772682624933947093*c_1\ 001_2^31 - 38546138969352248618970916751474728041915147399595581282\ 18737/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2^30 - 4291963503418739735287991364290367201129815874225470\ 8936748678/16749769860764723768578422619826681507701537726826249339\ 47093*c_1001_2^29 - 24332865122107170405386977544789943786249078207\ 1988803859482492/16749769860764723768578422619826681507701537726826\ 24933947093*c_1001_2^28 - 83493719348700864260384133913111475129373\ 9532837865220507361597/16749769860764723768578422619826681507701537\ 72682624933947093*c_1001_2^27 - 22889770078847703536104933687387023\ 19905470340049468002990230329/1674976986076472376857842261982668150\ 770153772682624933947093*c_1001_2^26 - 5656145291379736812110110717779702707999616574287383445099979046/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^25 - 105572634187744991315243447086975775257086582490317822261004\ 68881/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2^24 - 1907137598590889319191476009517151740837490162344851\ 4887838580158/16749769860764723768578422619826681507701537726826249\ 33947093*c_1001_2^23 - 28469864955960993182902677843169389629097089\ 249183879145605791472/167497698607647237685784226198266815077015377\ 2682624933947093*c_1001_2^22 - 350130852350209625911857051771109021\ 71746031710878207748750790769/1674976986076472376857842261982668150\ 770153772682624933947093*c_1001_2^21 - 45700867719690911626493778396316041875927868509679146329766363631/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^20 - 27088646237473146387590845763390750790719395514249175139999\ 280681/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^19 - 391303032419005820735765181236800400307133146992461\ 65122315939069/1674976986076472376857842261982668150770153772682624\ 933947093*c_1001_2^18 + 2641097985792566159258746826083574087380343\ 4685817066265141094588/16749769860764723768578422619826681507701537\ 72682624933947093*c_1001_2^17 - 69914410304123184763278985579673375\ 45736342324065232897956443832/1674976986076472376857842261982668150\ 770153772682624933947093*c_1001_2^16 + 98836152196994334801056107358454439670930092374998887997218377978/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^15 + 13511510409477602093906656329524636461020023766228759879093\ 557812/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^14 + 131581199924551980687965992639777335202487235494535\ 246142389860652/167497698607647237685784226198266815077015377268262\ 4933947093*c_1001_2^13 - 304196692438491707732999796687088808614249\ 3844544681027605225963/16749769860764723768578422619826681507701537\ 72682624933947093*c_1001_2^12 + 10666270644587164987685526369664706\ 7948744854111758777596275091816/16749769860764723768578422619826681\ 50770153772682624933947093*c_1001_2^11 - 29314351690302297653818982974445463730237266521673705460336937216/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^10 + 60141356956501332460085079207130275028771352940774115214916\ 381470/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^9 - 3252005931559948157320051835639899213220076029886971\ 1039597491190/16749769860764723768578422619826681507701537726826249\ 33947093*c_1001_2^8 + 254034786342531805444511763817488862115095831\ 01686292188052191405/1674976986076472376857842261982668150770153772\ 682624933947093*c_1001_2^7 - 18474666217137632891522773200129997367\ 074125366665959689492055361/167497698607647237685784226198266815077\ 0153772682624933947093*c_1001_2^6 + 7897929384258652355913763898663467629415889296569925232826520024/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^5 - 6141394282740933781937425865146175577865846630113066210717286\ 993/1674976986076472376857842261982668150770153772682624933947093*c\ _1001_2^4 + 1572299411533866023754783729261841394436897853898313965\ 790783853/167497698607647237685784226198266815077015377268262493394\ 7093*c_1001_2^3 - 1104194757947452489548878281648689256770820963654\ 285499699291810/167497698607647237685784226198266815077015377268262\ 4933947093*c_1001_2^2 + 1599426848324319799948030090376968780985041\ 56278577324914920968/1674976986076472376857842261982668150770153772\ 682624933947093*c_1001_2 - 7536917989551793616488840790959355955862\ 1501837407904390260835/16749769860764723768578422619826681507701537\ 72682624933947093, c_0011_3 - 102526481877471638750332476719154197328517415736209897215993\ 1/1674976986076472376857842261982668150770153772682624933947093*c_1\ 001_2^31 - 21205104778430693144942850472803180178674955381905830947\ 913745/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^30 - 157299667920606157048883730316727231467868883122420\ 862688096647/167497698607647237685784226198266815077015377268262493\ 3947093*c_1001_2^29 - 570211150751044305867369508644112196941043506\ 847451907458114806/167497698607647237685784226198266815077015377268\ 2624933947093*c_1001_2^28 - 149648057709098770433940195163858787572\ 0714466569005733183624977/16749769860764723768578422619826681507701\ 53772682624933947093*c_1001_2^27 - 3914972481765887875816525184637772087407595022779085084154161452/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^26 - 689714874343779593712197089864091531298759309239541525733160\ 7392/1674976986076472376857842261982668150770153772682624933947093*\ c_1001_2^25 - 12261934385275367829096527398687555087064757180902556\ 818027280442/167497698607647237685784226198266815077015377268262493\ 3947093*c_1001_2^24 - 183083621383312212679448874273749806849346054\ 13979079973137052750/1674976986076472376857842261982668150770153772\ 682624933947093*c_1001_2^23 - 1919378507300274013998252486104807420\ 0829202316398883142685253652/16749769860764723768578422619826681507\ 70153772682624933947093*c_1001_2^22 - 28691408934474553420463305171877642591407856805683050701290454327/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^21 - 65857376218933216364264469525379315911058034058579478744142\ 92725/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2^20 - 2566906553066963825290411684751631703245043837171827\ 3657208693330/16749769860764723768578422619826681507701537726826249\ 33947093*c_1001_2^19 + 34126522513684094195781340655158894752236773\ 235441604324003715743/167497698607647237685784226198266815077015377\ 2682624933947093*c_1001_2^18 - 130506675059338786100648278535108082\ 84249762938259267999836711703/1674976986076472376857842261982668150\ 770153772682624933947093*c_1001_2^17 + 78451167906868133761298908411148023568881651029288252165488047862/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^16 - 12394152583073309851699871132177477901114457230120111694023\ 735107/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^15 + 914232560913246957703664742230407236549258761919096\ 81482585199511/1674976986076472376857842261982668150770153772682624\ 933947093*c_1001_2^14 - 2721555278026416094010463340804509174677086\ 6811941203177472110963/16749769860764723768578422619826681507701537\ 72682624933947093*c_1001_2^13 + 70654538299539683952296894867979918\ 258860733624689737996606728775/167497698607647237685784226198266815\ 0770153772682624933947093*c_1001_2^12 - 35011352351144232030965208718531528825512321201599094791075003177/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^11 + 40015778450149755216571605021026511714346756138078460760951\ 494441/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^10 - 258076156707576417189637606577663941599273209141954\ 04947970619057/1674976986076472376857842261982668150770153772682624\ 933947093*c_1001_2^9 + 16903362495909512885595644773789448768099391\ 903666970432784683775/167497698607647237685784226198266815077015377\ 2682624933947093*c_1001_2^8 - 1167050172028004532925839457791115127\ 7495834611957067427422662785/16749769860764723768578422619826681507\ 70153772682624933947093*c_1001_2^7 + 4944611498200843262251171838884511965030680298600947557243332777/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^6 - 3151833600135502935459763193329313939999294245181057858498288\ 952/1674976986076472376857842261982668150770153772682624933947093*c\ _1001_2^5 + 8633960900777988141305709761784370392613177691517542663\ 61369927/1674976986076472376857842261982668150770153772682624933947\ 093*c_1001_2^4 - 44192864989536953472725226846516386285594929819562\ 9520874053416/16749769860764723768578422619826681507701537726826249\ 33947093*c_1001_2^3 + 649677133824788289530412193427850872296920025\ 31988641246249275/1674976986076472376857842261982668150770153772682\ 624933947093*c_1001_2^2 - 21003979693894790407714527392240916059232\ 924236434126910239979/167497698607647237685784226198266815077015377\ 2682624933947093*c_1001_2 + 133396128305480102411085437776142135602\ 7707354127044895332516/16749769860764723768578422619826681507701537\ 72682624933947093, c_0011_4 - 487341456967434872369097039962645287455910153489905092354826\ /1674976986076472376857842261982668150770153772682624933947093*c_10\ 01_2^31 - 101032267983511965678546998636598494279550071614457717033\ 19469/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2^30 - 7528624148845635794191761666716566304426667371288258\ 3683163918/16749769860764723768578422619826681507701537726826249339\ 47093*c_1001_2^29 - 27537477557793151077011615119359919870232404493\ 7969325773917474/16749769860764723768578422619826681507701537726826\ 24933947093*c_1001_2^28 - 73187593958281462695032191876406428059279\ 2145649203398832186651/16749769860764723768578422619826681507701537\ 72682624933947093*c_1001_2^27 - 19352552750949187446484888992637464\ 77292398024583222366139812954/1674976986076472376857842261982668150\ 770153772682624933947093*c_1001_2^26 - 3497887498679852183899336118354331061795648189194218672347899437/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^25 - 631992508067825843196442739969946703171544048829578311543589\ 3559/1674976986076472376857842261982668150770153772682624933947093*\ c_1001_2^24 - 97634975992896332146351892074717749241933199622958324\ 10972052680/1674976986076472376857842261982668150770153772682624933\ 947093*c_1001_2^23 - 1089670244274347739024523167967635936370082945\ 3575574765271972236/16749769860764723768578422619826681507701537726\ 82624933947093*c_1001_2^22 - 16329023417337403376650513946416439155\ 240557405851333539983593266/167497698607647237685784226198266815077\ 0153772682624933947093*c_1001_2^21 - 6917337311845404911976292442351558676780464155283801978996641301/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^20 - 156193210316295506122685404447986627688665594138286383199854\ 73812/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2^19 + 1162790338166175328812609206024283520511550779327822\ 9098039693710/16749769860764723768578422619826681507701537726826249\ 33947093*c_1001_2^18 - 64017514131364296807471730076182346145839542\ 61941552174255801995/1674976986076472376857842261982668150770153772\ 682624933947093*c_1001_2^17 + 3487825802359937072357838682172176243\ 6625159869812585420577094101/16749769860764723768578422619826681507\ 70153772682624933947093*c_1001_2^16 + 1000865482342046125729377810760096708949416309028801533899435725/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^15 + 440563878895046474832172564655051475718300651261734189884061\ 42570/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2^14 - 4795602465772024032979316422923338524626329253925632\ 46951166640/1674976986076472376857842261982668150770153772682624933\ 947093*c_1001_2^13 + 3395014456000646103050017314578202703327669858\ 2847141657466371159/16749769860764723768578422619826681507701537726\ 82624933947093*c_1001_2^12 - 46031031376850200843678543315223101561\ 02400822823828162906579720/1674976986076472376857842261982668150770\ 153772682624933947093*c_1001_2^11 + 16607207321413608431990039757538436246114173357535174840438122772/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^10 - 46111015269333860555908309721587694924608017614192238986964\ 51027/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2^9 + 44429708561436172919744458760740291083435364641126391\ 67498808330/1674976986076472376857842261982668150770153772682624933\ 947093*c_1001_2^8 - 20225120428884727281611894697992067742628183142\ 48973202815516110/1674976986076472376857842261982668150770153772682\ 624933947093*c_1001_2^7 - 47548235661560095717141299770087529280291\ 656908995095328904825/167497698607647237685784226198266815077015377\ 2682624933947093*c_1001_2^6 - 3198413462509778839910149018718151639\ 99783495264219601368004304/1674976986076472376857842261982668150770\ 153772682624933947093*c_1001_2^5 - 485916335513689984566664271608792437479070625233263268400231645/167\ 4976986076472376857842261982668150770153772682624933947093*c_1001_2\ ^4 + 35796935354026943100622477654932891556097823091055953040564990\ /1674976986076472376857842261982668150770153772682624933947093*c_10\ 01_2^3 - 1458986710911372791456831434076726994222796253316651670585\ 33837/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2^2 + 12963468715647522150760579566694989465873585789024095\ 153641377/167497698607647237685784226198266815077015377268262493394\ 7093*c_1001_2 - 126755909863308904989814811137132933315085231936926\ 81570255999/1674976986076472376857842261982668150770153772682624933\ 947093, c_0101_0 + 203892700771527975759351521200302498672073644481399020602294\ /1674976986076472376857842261982668150770153772682624933947093*c_10\ 01_2^31 + 445545270351447404793753637473695621462780515748167236770\ 3527/1674976986076472376857842261982668150770153772682624933947093*\ c_1001_2^30 + 36262820373429434103801708834630090773751794432418270\ 084753578/167497698607647237685784226198266815077015377268262493394\ 7093*c_1001_2^29 + 151247932298593022737234634297360397705145687281\ 744708800856702/167497698607647237685784226198266815077015377268262\ 4933947093*c_1001_2^28 + 442962753942483534520693023354188055239427\ 971967438427313171810/167497698607647237685784226198266815077015377\ 2682624933947093*c_1001_2^27 + 119334324007337674417965993116355453\ 1107999113067017865513525512/16749769860764723768578422619826681507\ 70153772682624933947093*c_1001_2^26 + 2501421770351544214741325001228690506908715231661682052128329523/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^25 + 462081456602052447960372145378387862374062730360844623801857\ 5951/1674976986076472376857842261982668150770153772682624933947093*\ c_1001_2^24 + 78262962320335983792427128632261497461419269125037160\ 52822270247/1674976986076472376857842261982668150770153772682624933\ 947093*c_1001_2^23 + 1048000560055149495363452057869044841208732257\ 6674995808098228310/16749769860764723768578422619826681507701537726\ 82624933947093*c_1001_2^22 + 14156828420925675924339740797623508497\ 764476706291194698247974897/167497698607647237685784226198266815077\ 0153772682624933947093*c_1001_2^21 + 13548551125780036985728485917533130107995909728446111054292385171/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^20 + 12857481071835722463850359359769544796828664960149659022019\ 058584/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^19 + 604129087773751300177537342139790570320997952013893\ 5009571415423/16749769860764723768578422619826681507701537726826249\ 33947093*c_1001_2^18 - 22737395521803159787617593398478303710732200\ 25631601433406884147/1674976986076472376857842261982668150770153772\ 682624933947093*c_1001_2^17 - 1010299156254559292813094129191216316\ 0708876865871448961922394181/16749769860764723768578422619826681507\ 70153772682624933947093*c_1001_2^16 - 22463938640358042020605893513480588999585256213634321097287198863/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^15 - 19954153478187245950049543862624490124550350917714213311447\ 983340/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^14 - 310304098608220858228413886985737968587015351443334\ 03873107449905/1674976986076472376857842261982668150770153772682624\ 933947093*c_1001_2^13 - 1400069223231475538031570092793471836452796\ 2779845197623602615224/16749769860764723768578422619826681507701537\ 72682624933947093*c_1001_2^12 - 24154189426757627336348029687130347\ 895425818934698953743405609153/167497698607647237685784226198266815\ 0770153772682624933947093*c_1001_2^11 - 1377740444309204564935253792585470471564932555871234157304952786/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^10 - 125275083557390580149402131474418611862985036749350165908784\ 41186/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2^9 + 49022841863544265830377033919778308773814997204403356\ 29530767493/1674976986076472376857842261982668150770153772682624933\ 947093*c_1001_2^8 - 48452324182087297324636751695815294928946024757\ 83011773676120245/1674976986076472376857842261982668150770153772682\ 624933947093*c_1001_2^7 + 39961106692633517788359057921821385682531\ 58956005026803923789370/1674976986076472376857842261982668150770153\ 772682624933947093*c_1001_2^6 - 14590452786153310730700344173720843\ 97673960779194899300439231117/1674976986076472376857842261982668150\ 770153772682624933947093*c_1001_2^5 + 1552667011578987885191710048941258716298274176176020899639824225/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^4 - 2920959569846811159235460244874331381510915072606877241016257\ 51/1674976986076472376857842261982668150770153772682624933947093*c_\ 1001_2^3 + 31508257448419552427480320272928630960011146139970211207\ 8641929/16749769860764723768578422619826681507701537726826249339470\ 93*c_1001_2^2 - 330499267028137116460640555772315886097886892548972\ 60450278468/1674976986076472376857842261982668150770153772682624933\ 947093*c_1001_2 + 2389647086416633804976743289398528153600654994254\ 3199230432173/16749769860764723768578422619826681507701537726826249\ 33947093, c_0101_10 + 36808832112395776546974748127253376824979419366111813586660\ 1/1674976986076472376857842261982668150770153772682624933947093*c_1\ 001_2^31 + 76346631577848497610734536705781327204860172830789205921\ 07956/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2^30 + 5683717402938346901275284555369516601894977101190055\ 9860066108/16749769860764723768578422619826681507701537726826249339\ 47093*c_1001_2^29 + 20647318189435150986995717467190204199682456175\ 9255920983051963/16749769860764723768578422619826681507701537726826\ 24933947093*c_1001_2^28 + 54006329456597421414863980404055292032001\ 1092814860782322050072/16749769860764723768578422619826681507701537\ 72682624933947093*c_1001_2^27 + 14182740007253538814559902533763511\ 14479618762115781061892838677/1674976986076472376857842261982668150\ 770153772682624933947093*c_1001_2^26 + 2540819073118755693124970524072891345140303193230100051752959398/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^25 + 450238579801379431946753131751142477627490190261516300007720\ 1633/1674976986076472376857842261982668150770153772682624933947093*\ c_1001_2^24 + 69712923081612302507136870606018556459158361694582607\ 71165940677/1674976986076472376857842261982668150770153772682624933\ 947093*c_1001_2^23 + 7549129431955495547914862748069584886170457790\ 232836322916982427/167497698607647237685784226198266815077015377268\ 2624933947093*c_1001_2^22 + 113646294800729621819131183046720406561\ 25854551143799433171324866/1674976986076472376857842261982668150770\ 153772682624933947093*c_1001_2^21 + 4627437389880611410710110068942617866956433084766350828146471847/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^20 + 103303290617023134967742561472326926738973393086438337295907\ 66782/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2^19 - 7806342383278248962906372781652907424666885811831613\ 312291077124/167497698607647237685784226198266815077015377268262493\ 3947093*c_1001_2^18 + 310206553598217037795114044752667675959313725\ 1702385773592099096/16749769860764723768578422619826681507701537726\ 82624933947093*c_1001_2^17 - 22536829248397526217582305262146637744\ 820189971805003275134706302/167497698607647237685784226198266815077\ 0153772682624933947093*c_1001_2^16 - 3169834574136536265687292148130581204949454912545648351462406329/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^15 - 272250026756851186084230672809053006885604662198799652678976\ 45208/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2^14 - 3478719790541894000328050665174934698252724328548850\ 375159691271/167497698607647237685784226198266815077015377268262493\ 3947093*c_1001_2^13 - 192436926232649355826320752008727403893320834\ 74492869706568174586/1674976986076472376857842261982668150770153772\ 682624933947093*c_1001_2^12 - 1192057640634893055151499265201203081\ 126738956796975930501157278/167497698607647237685784226198266815077\ 0153772682624933947093*c_1001_2^11 - 7381460847059122634506542108995892980492749436309346925739408954/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^10 - 317138785638115063544606049700098890690562762977250159056177\ 454/1674976986076472376857842261982668150770153772682624933947093*c\ _1001_2^9 - 2011833706433287760282008611378052959772691852421293553\ 03193685/1674976986076472376857842261982668150770153772682624933947\ 093*c_1001_2^8 - 58354116976307462395177669250969969722645635084258\ 2158619921047/16749769860764723768578422619826681507701537726826249\ 33947093*c_1001_2^7 + 137565723177224464379521514584236474752197829\ 9698113856160157331/16749769860764723768578422619826681507701537726\ 82624933947093*c_1001_2^6 - 539050434293211909310021388094979602621\ 132497411935003015412145/167497698607647237685784226198266815077015\ 3772682624933947093*c_1001_2^5 + 7317748492341718947494980785520149\ 02412516066038755581706250718/1674976986076472376857842261982668150\ 770153772682624933947093*c_1001_2^4 - 196564151161854584799259589417354898164448706507716171991948713/167\ 4976986076472376857842261982668150770153772682624933947093*c_1001_2\ ^3 + 16510996842018696032681895624428580175081020620219468018461313\ 2/1674976986076472376857842261982668150770153772682624933947093*c_1\ 001_2^2 - 324617591117245944825008922805978542371614582917599708271\ 89701/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2 + 1219627259655104758552194017702553523106780200222767685\ 3495043/16749769860764723768578422619826681507701537726826249339470\ 93, c_0101_12 + 59674051619454917845207615294175848618109407468488984466056\ 4/1674976986076472376857842261982668150770153772682624933947093*c_1\ 001_2^31 + 12080141973808207026699595768116785206977406589320051372\ 627030/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^30 + 859381970844824943409394981864072772919127452765869\ 23314148309/1674976986076472376857842261982668150770153772682624933\ 947093*c_1001_2^29 + 2871646600077146364176347895449361846118752713\ 17633590283058414/1674976986076472376857842261982668150770153772682\ 624933947093*c_1001_2^28 + 6859176579008934904859346259035342884809\ 70270590231747256563157/1674976986076472376857842261982668150770153\ 772682624933947093*c_1001_2^27 + 1719794431783856223119206327058154\ 455079084413913028032599452129/167497698607647237685784226198266815\ 0770153772682624933947093*c_1001_2^26 + 2490711274938532145887112351402330391248683353402604854639924331/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^25 + 402587395915373063274691020588298245445649143471274552093062\ 4304/1674976986076472376857842261982668150770153772682624933947093*\ c_1001_2^24 + 46598034609368605522740091522769263705079619488297216\ 35949625783/1674976986076472376857842261982668150770153772682624933\ 947093*c_1001_2^23 + 1555888231982843549687826155166944286394583276\ 659690736179334289/167497698607647237685784226198266815077015377268\ 2624933947093*c_1001_2^22 + 385077180420497788370216058267655452017\ 7494765549785686266926203/16749769860764723768578422619826681507701\ 53772682624933947093*c_1001_2^21 - 13582162174697992013517147312166914489209306987723326514993257504/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^20 + 19218097586723948728733729961005644433417455413566983812020\ 78385/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2^19 - 3684837955957095811523967102877721627588671441363956\ 5061744515154/16749769860764723768578422619826681507701537726826249\ 33947093*c_1001_2^18 + 12121033012727556113291171855122775216463323\ 242793493521640821283/167497698607647237685784226198266815077015377\ 2682624933947093*c_1001_2^17 - 498980517192466800059489985299483534\ 80175089801588247433826397450/1674976986076472376857842261982668150\ 770153772682624933947093*c_1001_2^16 + 40805177059268174318489841339114304591427535445156407256432104504/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^15 - 46025946343005249677396998789578878911394781484283584583314\ 003448/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^14 + 661043592919246943352102257198861942262849178059619\ 16064077488962/1674976986076472376857842261982668150770153772682624\ 933947093*c_1001_2^13 - 3848345887179875817089550239157354320338693\ 2898952453426666119770/16749769860764723768578422619826681507701537\ 72682624933947093*c_1001_2^12 + 63344283184592268755083231990388068\ 338472322555611560489885459903/167497698607647237685784226198266815\ 0770153772682624933947093*c_1001_2^11 - 32956046535801649817617778714610769491944280775594538614319232486/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^10 + 40109264275240908092880694115765796950274602524716295113033\ 347833/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^9 - 2320225677562083382469091939268609366323627502454460\ 0330136334796/16749769860764723768578422619826681507701537726826249\ 33947093*c_1001_2^8 + 180129048297949406816673598204478599383413180\ 77505520398208458411/1674976986076472376857842261982668150770153772\ 682624933947093*c_1001_2^7 - 11229164311295554037311506624639612522\ 265822948570677411735900961/167497698607647237685784226198266815077\ 0153772682624933947093*c_1001_2^6 + 5678358487563751484263205409787549622896980466351568257692132227/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^5 - 3493245919900174724232576975772002452501735786710157999307731\ 233/1674976986076472376857842261982668150770153772682624933947093*c\ _1001_2^4 + 1117136368790621982660348519271908658912460448139283701\ 893136845/167497698607647237685784226198266815077015377268262493394\ 7093*c_1001_2^3 - 6027201138715967581575147941415735375756687998858\ 99030803541881/1674976986076472376857842261982668150770153772682624\ 933947093*c_1001_2^2 + 10944915586088683648547515069634371085685351\ 4375490029929649275/16749769860764723768578422619826681507701537726\ 82624933947093*c_1001_2 - 37935319635076599813825374905556778606209\ 218524767746250841206/167497698607647237685784226198266815077015377\ 2682624933947093, c_0101_7 - 695457708304699165281628323587393303415304323152087704673175\ /1674976986076472376857842261982668150770153772682624933947093*c_10\ 01_2^31 - 162541775918944888741697603712984742013540750001059263524\ 74021/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2^30 - 1457104595188669087390098581208839001095393095597955\ 73603018145/1674976986076472376857842261982668150770153772682624933\ 947093*c_1001_2^29 - 6806946778178903615281683871834276678759048046\ 69627729548905561/1674976986076472376857842261982668150770153772682\ 624933947093*c_1001_2^28 - 2109174359521462215513968187823758905507\ 896358616200513943260559/167497698607647237685784226198266815077015\ 3772682624933947093*c_1001_2^27 - 559323495299082560525827841851257\ 7067969999165435456104135352948/16749769860764723768578422619826681\ 50770153772682624933947093*c_1001_2^26 - 12382489619261823225620941280904336171061142206112818706714121421/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^25 - 22349921794004632930227792240182436938072613784926924737707\ 989886/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^24 - 375029495075924195692310921608998958021391112945817\ 46163607720206/1674976986076472376857842261982668150770153772682624\ 933947093*c_1001_2^23 - 5109909079220915630464016568413293245667431\ 3422913864861296561447/16749769860764723768578422619826681507701537\ 72682624933947093*c_1001_2^22 - 61614893672887837856784172563327259\ 926172201930005303844224560988/167497698607647237685784226198266815\ 0770153772682624933947093*c_1001_2^21 - 64668198305625245974150146091480540068457730626276406898125738166/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^20 - 39700498295388424209970706037665219629097810565948308498415\ 410607/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^19 - 282220279330311695657035758774961101006321760474766\ 44215915986149/1674976986076472376857842261982668150770153772682624\ 933947093*c_1001_2^18 + 4720250323855291804169958987338979322985937\ 7246595990341950027378/16749769860764723768578422619826681507701537\ 72682624933947093*c_1001_2^17 + 37529827152751904245340777941709105\ 684104463564078537975885524158/167497698607647237685784226198266815\ 0770153772682624933947093*c_1001_2^16 + 138074404273131859560361672636539337770526474478828435453619152580/\ 1674976986076472376857842261982668150770153772682624933947093*c_100\ 1_2^15 + 6005805979791172370723492129465478609922497991167181821955\ 7049594/16749769860764723768578422619826681507701537726826249339470\ 93*c_1001_2^14 + 15618990778414375666134830079692483113557925137456\ 0150212510949014/16749769860764723768578422619826681507701537726826\ 24933947093*c_1001_2^13 + 19401926677011417850705097464167290566412\ 257837107996897178652562/167497698607647237685784226198266815077015\ 3772682624933947093*c_1001_2^12 + 108938080981862685524449746545710\ 270434342029228553733551575045125/167497698607647237685784226198266\ 8150770153772682624933947093*c_1001_2^11 - 24744208371745313207595694077390078693009346974394282292985894091/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^10 + 54732589951800158565752780601436667869571088253890438518419\ 709296/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^9 - 3185384185484536242484003895252608670119377177901612\ 7667675601455/16749769860764723768578422619826681507701537726826249\ 33947093*c_1001_2^8 + 215931535357992477236976684184558723644518807\ 86898636309786450994/1674976986076472376857842261982668150770153772\ 682624933947093*c_1001_2^7 - 17707457793108672805855602975162662499\ 135003754330305240060256645/167497698607647237685784226198266815077\ 0153772682624933947093*c_1001_2^6 + 6426455600385188025478325600145191413587317938247957995519795030/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^5 - 5569397195607957413825736759032150787688794608858932709014918\ 603/1674976986076472376857842261982668150770153772682624933947093*c\ _1001_2^4 + 1256436216941738027590201086354787594229238228538748558\ 847797923/167497698607647237685784226198266815077015377268262493394\ 7093*c_1001_2^3 - 9302423569908720096785748970295094859719692518722\ 94369281773446/1674976986076472376857842261982668150770153772682624\ 933947093*c_1001_2^2 + 12360281848161057101474365647387789285906665\ 3394336708566526068/16749769860764723768578422619826681507701537726\ 82624933947093*c_1001_2 - 61149670425288340947702597236503855237492\ 180915597244231703368/167497698607647237685784226198266815077015377\ 2682624933947093, c_0110_5 + 873336848181035741243575757929318962307466353405854501850568\ /1674976986076472376857842261982668150770153772682624933947093*c_10\ 01_2^31 + 175287508294269958759829395632327085191478280911626069345\ 54271/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2^30 + 1227309743467199772999275841946008894284477510817648\ 59051242707/1674976986076472376857842261982668150770153772682624933\ 947093*c_1001_2^29 + 3989524697472514280998020756556679719234930931\ 65352631519827179/1674976986076472376857842261982668150770153772682\ 624933947093*c_1001_2^28 + 9364342434146807687006183198454301562715\ 75041519027187922277354/1674976986076472376857842261982668150770153\ 772682624933947093*c_1001_2^27 + 2373572875485595339068031245029751\ 795936900373329852790349217615/167497698607647237685784226198266815\ 0770153772682624933947093*c_1001_2^26 + 3299402237589704713645530607897509950346369591057642484764882576/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^25 + 546477155969197783624434370856278594195298181684087693264451\ 6032/1674976986076472376857842261982668150770153772682624933947093*\ c_1001_2^24 + 62971459259940799722308465700062602917210258781988083\ 00116133407/1674976986076472376857842261982668150770153772682624933\ 947093*c_1001_2^23 + 1752539375403019211806355499104788857666071891\ 065687744396653498/167497698607647237685784226198266815077015377268\ 2624933947093*c_1001_2^22 + 634446921041566511554568423729208863516\ 1043246472944132639684008/16749769860764723768578422619826681507701\ 53772682624933947093*c_1001_2^21 - 19557047683900011321820961097371200134499657709915000106850177833/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^20 + 66850457065783075046075304137826926138186553606906856601128\ 53592/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2^19 - 5263450747591783191874501608884878616177068482036268\ 8448115706526/16749769860764723768578422619826681507701537726826249\ 33947093*c_1001_2^18 + 23815783451526347724304906050183468259347378\ 644803561470742372062/167497698607647237685784226198266815077015377\ 2682624933947093*c_1001_2^17 - 733035933026982667479248195123858724\ 67233496319430985472793324454/1674976986076472376857842261982668150\ 770153772682624933947093*c_1001_2^16 + 63401045288141462527463321867936790684582970925179517950507833502/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^15 - 71412114248910269834916876826588084848992910380111684872356\ 416843/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^14 + 953264710132736946283183988786574600293639504261750\ 01409778708843/1674976986076472376857842261982668150770153772682624\ 933947093*c_1001_2^13 - 6123594240925610266179861372816389524732925\ 6772590288820829222269/16749769860764723768578422619826681507701537\ 72682624933947093*c_1001_2^12 + 88558830699326598449257824140912196\ 712511128212099689689168593164/167497698607647237685784226198266815\ 0770153772682624933947093*c_1001_2^11 - 49529728817149875139790898072467510888144402667472850251588895190/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^10 + 54847653557909857624117166701477196403631205953243332822984\ 863763/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^9 - 3204463789813851367990863047733828269601340853252570\ 9548277216321/16749769860764723768578422619826681507701537726826249\ 33947093*c_1001_2^8 + 237148452105053883406286511281189140989545402\ 96095768657611813276/1674976986076472376857842261982668150770153772\ 682624933947093*c_1001_2^7 - 14325169954069558289991295613124309090\ 133720651836997162774475241/167497698607647237685784226198266815077\ 0153772682624933947093*c_1001_2^6 + 6957420286923168244376689211867158275466795837907597200882203844/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^5 - 4103595944434314718299375805071870996173085907388402288313654\ 696/1674976986076472376857842261982668150770153772682624933947093*c\ _1001_2^4 + 1221507690734396924380459560571572364140381222748952273\ 779277912/167497698607647237685784226198266815077015377268262493394\ 7093*c_1001_2^3 - 6493494203486463286631621109612423938882681032362\ 90833402654694/1674976986076472376857842261982668150770153772682624\ 933947093*c_1001_2^2 + 10187082155422988205084327858425950009428370\ 2392659633884846920/16749769860764723768578422619826681507701537726\ 82624933947093*c_1001_2 - 37951728350187764136558540932235908166658\ 583727797683716688022/167497698607647237685784226198266815077015377\ 2682624933947093, c_1001_1 + 207211170997743742940624710810851610492294880381309275981313\ 8/1674976986076472376857842261982668150770153772682624933947093*c_1\ 001_2^31 + 42129360031305760986578437585877334896566712627721070008\ 083098/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^30 + 302906586465330592338715711580367557193939934345085\ 844907487975/167497698607647237685784226198266815077015377268262493\ 3947093*c_1001_2^29 + 104130004104524518163297855456925034981442606\ 1479233671617573955/16749769860764723768578422619826681507701537726\ 82624933947093*c_1001_2^28 + 26190833666706380029446813782245977304\ 18270190070183490755164251/1674976986076472376857842261982668150770\ 153772682624933947093*c_1001_2^27 + 6821706987077911696835658936891483080647172163350203306243552190/16\ 74976986076472376857842261982668150770153772682624933947093*c_1001_\ 2^26 + 110318595288863849803501298102632046228896495888343507914560\ 72301/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2^25 + 1954233330018760134394836620661623539139467988321117\ 7029115351772/16749769860764723768578422619826681507701537726826249\ 33947093*c_1001_2^24 + 27289495953797591381463212905156531834906091\ 409736009153122595344/167497698607647237685784226198266815077015377\ 2682624933947093*c_1001_2^23 + 239782849594164543682197251950713122\ 57575521105588656649783358889/1674976986076472376857842261982668150\ 770153772682624933947093*c_1001_2^22 + 41094886174796112885491945382879223443035660111516745732903742942/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^21 - 12218529390612596655736252032592399999233107746244856762874\ 502444/167497698607647237685784226198266815077015377268262493394709\ 3*c_1001_2^20 + 421264817824406208332843308420780841286552751569010\ 51175451928332/1674976986076472376857842261982668150770153772682624\ 933947093*c_1001_2^19 - 9548279730746458316647513574060437716473756\ 1177226794963317481101/16749769860764723768578422619826681507701537\ 72682624933947093*c_1001_2^18 + 49407959040719479974071158033004106\ 865129899129468135015136862829/167497698607647237685784226198266815\ 0770153772682624933947093*c_1001_2^17 - 175109790584376345194494548586088722022715180754738307806003652912/\ 1674976986076472376857842261982668150770153772682624933947093*c_100\ 1_2^16 + 9129234331544499154664248697924310844605670056106989910898\ 5592547/16749769860764723768578422619826681507701537726826249339470\ 93*c_1001_2^15 - 19689163351434623461519156580607105952460405099167\ 0304167724584217/16749769860764723768578422619826681507701537726826\ 24933947093*c_1001_2^14 + 14222114186868814807657900147195634463087\ 4068786526615111891844947/16749769860764723768578422619826681507701\ 53772682624933947093*c_1001_2^13 - 165198299099227731114428951548409961183251168411439902080202344769/\ 1674976986076472376857842261982668150770153772682624933947093*c_100\ 1_2^12 + 1449415558197144216633084480929230743682906590303505202080\ 13671401/1674976986076472376857842261982668150770153772682624933947\ 093*c_1001_2^11 - 1129992912076308757153731476246050099736462013283\ 42539292467645942/1674976986076472376857842261982668150770153772682\ 624933947093*c_1001_2^10 + 9730925707188379023791342862569074701750\ 1259277615528542654436900/16749769860764723768578422619826681507701\ 53772682624933947093*c_1001_2^9 - 613211085105302728685625229173426\ 09777219364671531255764639949030/1674976986076472376857842261982668\ 150770153772682624933947093*c_1001_2^8 + 44059388751645399521869656669762901083029963627749895803604815840/1\ 674976986076472376857842261982668150770153772682624933947093*c_1001\ _2^7 - 240465793350558043957403676439307132246785750015619786499310\ 32894/1674976986076472376857842261982668150770153772682624933947093\ *c_1001_2^6 + 13035056283316028689290454746958179180725801848946354\ 694770595592/167497698607647237685784226198266815077015377268262493\ 3947093*c_1001_2^5 - 6183642469990145091452466902263847108199682286\ 190807608198922183/167497698607647237685784226198266815077015377268\ 2624933947093*c_1001_2^4 + 2249186657931952614567426097901515100746\ 763998823581252607749295/167497698607647237685784226198266815077015\ 3772682624933947093*c_1001_2^3 - 8964385340413661401060650874005949\ 13176157245223242824983747320/1674976986076472376857842261982668150\ 770153772682624933947093*c_1001_2^2 + 172680216320392680695421682637716532214904188283679865266038469/167\ 4976986076472376857842261982668150770153772682624933947093*c_1001_2 - 47224624098954248113242812082408516688194297146456320808843630/16\ 74976986076472376857842261982668150770153772682624933947093, c_1001_2^32 + 21*c_1001_2^31 + 161*c_1001_2^30 + 626*c_1001_2^29 + 1796*c_1001_2^28 + 4880*c_1001_2^27 + 9549*c_1001_2^26 + 18310*c_1001_2^25 + 29368*c_1001_2^24 + 38134*c_1001_2^23 + 54821*c_1001_2^22 + 38505*c_1001_2^21 + 59839*c_1001_2^20 - 12709*c_1001_2^19 + 29332*c_1001_2^18 - 102082*c_1001_2^17 - 5701*c_1001_2^16 - 163344*c_1001_2^15 - 3700*c_1001_2^14 - 152765*c_1001_2^13 + 24595*c_1001_2^12 - 97174*c_1001_2^11 + 38310*c_1001_2^10 - 45233*c_1001_2^9 + 27938*c_1001_2^8 - 15846*c_1001_2^7 + 12154*c_1001_2^6 - 4000*c_1001_2^5 + 3240*c_1001_2^4 - 655*c_1001_2^3 + 478*c_1001_2^2 - 55*c_1001_2 + 29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.430 Total time: 4.629 seconds, Total memory usage: 123.16MB