Magma V2.19-8 Tue Aug 20 2013 16:16:42 on localhost [Seed = 3297073165] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0992 geometric_solution 4.88513862 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1.289203963184 1.044179297428 0 0 3 2 2310 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 -1 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.075472071723 0.355399730513 3 3 1 4 1230 1023 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 -1 1 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 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.484556964176 1.230751436304 2 2 4 1 1023 3012 2310 0132 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 -1 1 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 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.484556964176 1.230751436304 5 3 2 5 0132 3201 0132 3201 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.426347540138 0.585463332211 4 4 6 6 0132 2310 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.392251601333 1.808914909823 5 6 6 5 3201 1230 3012 0132 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.231338090297 0.137488637500 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : negation(d['c_0011_2']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_2'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_2']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 5430678296738878088700438571145719886143364198272178083745185072086\ 240506148105855800290/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^29 - 1423185567125284971817095428825598087995892196675167099873104244688\ 3222947426871409156412/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^28 + 8838796055902699384936837583385092257657052775796586234557218160518\ 9424957346055405178952/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^27 + 8952231955006947005206205095384303196651910754004146841051965985882\ 3078621170814042608301/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^26 - 8453948566109050240007381716349484320467194126016128012488571356262\ 26638156819804307500280/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^25 + 1093847730992724485225874350187800246558577169878348939286062059631\ 960629333809753295247389/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^24 + 7268451094487767482067755151083389202424918283505612396102571574658\ 516495534389041721560842/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^23 - 7309256363019727794764929058206062699211237168219396238959679304894\ 318184364268620102386621/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^22 - 2392644942872072496666748869274639436926735474160369322476532781904\ 4599372378100931637585669/31562165131048751558820408753200374213640\ 578871664723635820652412695023721427790947533*c_0101_5^21 + 2349412351535328182600293765588890285249167549725842084824121476029\ 7622409336549813383063575/31562165131048751558820408753200374213640\ 578871664723635820652412695023721427790947533*c_0101_5^20 - 3257105067031897708208799280254323892653952488915861353914167170697\ 359391352111280949950666/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^19 - 2071489618033065941615683288180317096199081273248747946332700878809\ 67740950591240562572669725/3156216513104875155882040875320037421364\ 0578871664723635820652412695023721427790947533*c_0101_5^18 - 2087538305806039743533768829773059399937208220022538130652464295059\ 20096016736859668706751265/3156216513104875155882040875320037421364\ 0578871664723635820652412695023721427790947533*c_0101_5^17 + 2808331343495828403654482225917326133009258098210615949795039211258\ 61743136807327421721564202/3156216513104875155882040875320037421364\ 0578871664723635820652412695023721427790947533*c_0101_5^16 + 6965633002584129812947626156091878110126973168230643400029700990088\ 84759419401842021668648073/3156216513104875155882040875320037421364\ 0578871664723635820652412695023721427790947533*c_0101_5^15 + 3351903329429251172604832264507335659963751575187246907838451679608\ 56176630528181466014201281/3156216513104875155882040875320037421364\ 0578871664723635820652412695023721427790947533*c_0101_5^14 - 3381270347762635280217929433223732124027276639640692730017012323505\ 33753507932787509539510920/3156216513104875155882040875320037421364\ 0578871664723635820652412695023721427790947533*c_0101_5^13 - 4403597933413308478987322455456653032432946251734081205473430094705\ 54664726838734400545395103/3156216513104875155882040875320037421364\ 0578871664723635820652412695023721427790947533*c_0101_5^12 - 1022553124222860956070000613231444744791993252232836308766591167291\ 17901827188845479597851395/3156216513104875155882040875320037421364\ 0578871664723635820652412695023721427790947533*c_0101_5^11 + 5399489615642556449907197786247551715803577930382494166905236511199\ 2381202385299474732642791/31562165131048751558820408753200374213640\ 578871664723635820652412695023721427790947533*c_0101_5^10 - 2627359054602356781383787562671951876510076140005200425677261401354\ 6830678776782482566856869/31562165131048751558820408753200374213640\ 578871664723635820652412695023721427790947533*c_0101_5^9 - 5337761668399441178900748874533380349424928559757238030645934685262\ 7722684956759087006427089/31562165131048751558820408753200374213640\ 578871664723635820652412695023721427790947533*c_0101_5^8 - 1246302175200838698137719715680853981563280943281132466869856320861\ 7987118506773835600778734/31562165131048751558820408753200374213640\ 578871664723635820652412695023721427790947533*c_0101_5^7 + 4163308186820642525042915082409603386659795662953287735675165449345\ 265592025582940453853302/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^6 + 3423255871520789432196102938125757501806789797463526952712868356709\ 751534367624669305059155/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^5 + 1585957835313086386476661636950470555361170092525742520489448664264\ 170051990581602324992078/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^4 + 4420867393892326367116854430573693648971172349637098997185878703487\ 44999030236250285218470/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^3 + 5684986836659923549470556923693461424820386142524658076446965530953\ 3852870324373027898125/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^2 - 1453282485336759728396974696523762574286878190138727387013668764510\ 1970693073774050512634/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5 - 6079557029758512441872047302974646780547960574906658118799888901765\ 722349759689970165373/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533, c_0011_0 - 1, c_0011_2 - 910983824139489747617615865153760002514430240460167060466882\ 02856569478489397615114830/3156216513104875155882040875320037421364\ 0578871664723635820652412695023721427790947533*c_0101_5^29 - 2334085275329843986947128394338749184251452703211044398802925554928\ 60528618430068778764/3156216513104875155882040875320037421364057887\ 1664723635820652412695023721427790947533*c_0101_5^28 + 1491982485028950973410043443276771814055254451496932507227802894774\ 332058761026045624647/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^27 + 1405001049600901275610654995650711655358538963028992730827700409530\ 638624092483608813048/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^26 - 1418848367157862773605003815239343602807761208007900848959231304942\ 4681473703513112557163/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^25 + 1921685325398569948271227539777811285304304562541786658455589914042\ 0809520128065445409219/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^24 + 1201103829872952055474120181649448746257056293672776273818891609300\ 64740539724213381406834/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^23 - 1284494406228534413648452821052767999794269901666412240497119314132\ 85035607009529822805083/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^22 - 3885730594045299064152946876007225031455468929655285576917980298624\ 75773337590959803427697/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^21 + 4086697365200249980315290718929002439480531477776535410364364277216\ 83148975672926948940821/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^20 - 9395573205546991863468900920988405359458485915472823506988928189980\ 8892293422657348464196/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^19 - 3444052081210310798474049094627159056455595095844895763269958944698\ 773806369215420079586848/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^18 - 3314453816211174394690990807292016879077821841350178329713171654514\ 021615974853509412352368/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^17 + 4746069246188352157071293862231099286114470207437791514883918318555\ 996863006411109629814959/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^16 + 1130926903523988557214680527590701519560582692692496138305954767711\ 0262855987841107791835300/31562165131048751558820408753200374213640\ 578871664723635820652412695023721427790947533*c_0101_5^15 + 5226556270124496044271792385171497426456364966099947299230724043363\ 715382617144027189658397/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^14 - 5535869444118751832544061689719581503011185230173460957714074860975\ 124780378627138644389987/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^13 - 6983102688834877123966499725898752177080890178068669704820579980202\ 971287417833260728663330/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^12 - 1609518029298837489809417831944230240823046668432744192354477243401\ 338833362178317335240063/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^11 + 7745568199902184088291907141185051628187514368965434530076223071417\ 87085200380849222941543/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^10 - 4745240279981101075046825868257245672237423551514525374043186631347\ 86009569369821422187329/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^9 - 8285542432683008908549844256241929211080158691588671202098627706485\ 52934239366543748056731/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^8 - 1962586101676527810467180746389447344323908980572450713037968714198\ 40230811098946774318188/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^7 + 5429037184869503429586224791305194749567516871309750036549918586770\ 9903754550208417484598/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^6 + 5556331699369428185419195789300278281296936543469836370083959796882\ 7358376733960230344134/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^5 + 2682880600491734656174902335853088051885755927553887105742309795704\ 2507606686069890243526/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^4 + 7239978480372520349733503077106612919823939648890786907722672799709\ 610104563507353682130/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^3 + 1272407584811731948799944727199771979119449153326051224157234115984\ 065764475307367314943/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^2 - 1736032981267304397953961403585183332879732572633290645039078238396\ 01808591208205821687/3156216513104875155882040875320037421364057887\ 1664723635820652412695023721427790947533*c_0101_5 - 6863675593177246001561596543760967705697353607799841639004474687472\ 9486541350991662276/31562165131048751558820408753200374213640578871\ 664723635820652412695023721427790947533, c_0011_4 - 295591936779280302257766009647645853152418571047430623515449\ 77311345050629346834755545/3156216513104875155882040875320037421364\ 0578871664723635820652412695023721427790947533*c_0101_5^29 - 6127323408386266447413174099692734300338168569303755082994725742141\ 8568900184040156731/31562165131048751558820408753200374213640578871\ 664723635820652412695023721427790947533*c_0101_5^28 + 5169160348633573444594599801264559437187725217946561213511534331432\ 76931370957323580317/3156216513104875155882040875320037421364057887\ 1664723635820652412695023721427790947533*c_0101_5^27 + 2099043813212028929382354577589002496277336048594419799914077700968\ 74980415396633611446/3156216513104875155882040875320037421364057887\ 1664723635820652412695023721427790947533*c_0101_5^26 - 4753252902369090077395329264167673127220903536219454220079161086122\ 018170785048295542591/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^25 + 8523494324458809394389748988062449787090404118136145647303466440847\ 640181070135112955180/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^24 + 3524183705520214694676824250273488690493249663310899198951305753466\ 9441760612600557416632/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^23 - 5957200706147654314354790589180597868957872976378790383010224919672\ 2647863142578815563879/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^22 - 1005391737647264421343532299674408731966929431857373075939141000530\ 82252933741373952570261/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^21 + 1861201458374441500416203580707570763867504022447058046649725728090\ 09820340029454266604483/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^20 - 1104101604091660894978621916923066117876836951772590695885812226179\ 95675823805893426346458/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^19 - 1077003342482357189190367167943346605776089399984830588493326010704\ 517177082212150064914529/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^18 - 5426677851278485838402275025006842948250927630313922510401509795685\ 71368376662577546921147/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^17 + 1910312037397571394845762423566871733975257730769981388422768118474\ 798568759235930471312053/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^16 + 2826081231979515398473014848272346779302815316490068320557292161704\ 826751005769006928516388/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^15 + 1679246285192694828927435784041793198404027463225789425128474702899\ 07715362340470275283381/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^14 - 2200269439341102086581178607076303988597319030139921525433726379326\ 094973844826756485669581/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^13 - 1331610064098753637377625008015245504194549068617857432186923923702\ 523636005253352973483725/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^12 + 2755801441220299865897155287033644870810574912287270036785288583869\ 99885231545227090568091/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^11 + 2963140024998942208121638252204033460791387028342844383625402631201\ 30509015711533754908862/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^10 - 2494590851698434692870851906427511785252516176936646981567950880005\ 76093508663568620762691/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^9 - 1502177804944010242081549856715550792185139285103721708624577956131\ 34254566736598128391872/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^8 + 3102356163547990888229707590384722201460310922094288905687107794927\ 0240920757465974098934/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^7 + 2262485067061096364022458418940446417400431983148279142129600159755\ 9052468546657192073235/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^6 + 1243412578725755132740252480311314119271582238251809338466626930335\ 6883503939605621499983/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^5 + 3521370655507251449482650391045724710221009247888079433476476373156\ 412474026365232522701/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^4 - 4284216351267988487713997131469198511951227851063249928320802262062\ 18153934427287995650/3156216513104875155882040875320037421364057887\ 1664723635820652412695023721427790947533*c_0101_5^3 - 2621576614199508386276690536729391765757255075765763463072719245373\ 18832605166601446286/3156216513104875155882040875320037421364057887\ 1664723635820652412695023721427790947533*c_0101_5^2 - 2183048716886226193657480914723514894533079333818785042515091217567\ 67099032262868159645/3156216513104875155882040875320037421364057887\ 1664723635820652412695023721427790947533*c_0101_5 - 1296869470025248245032273407548690594989552000732550022920679025327\ 9539372328063291286/31562165131048751558820408753200374213640578871\ 664723635820652412695023721427790947533, c_0011_6 + 130173884512923399822675422501650447407598259206087705449245\ 18697051767094733501133295/3156216513104875155882040875320037421364\ 0578871664723635820652412695023721427790947533*c_0101_5^29 + 2307655575387440403153507573809195768058337374805939836810171157540\ 9601298998934467666/31562165131048751558820408753200374213640578871\ 664723635820652412695023721427790947533*c_0101_5^28 - 2368974185222851315785970210017352239535977989825041936351500918455\ 39843034928506336899/3156216513104875155882040875320037421364057887\ 1664723635820652412695023721427790947533*c_0101_5^27 - 2663829880294856120359146418431359877365418153924548097240968853604\ 2739106350414491601/31562165131048751558820408753200374213640578871\ 664723635820652412695023721427790947533*c_0101_5^26 + 2140778504142245676207093342970648695471378274007977481716314797271\ 543546030056185230876/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^25 - 4371886509939937746006443305216232600605230382821981199099712412132\ 986730447407768628497/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^24 - 1457527527998661219686033713629160843845096793399213309255448864751\ 9051668514935524867665/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^23 + 3120820398365698280324210307354865387834706414954999889175062928028\ 3364295970727135214673/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^22 + 3778821901602183963692331985316414267627638882982971344366323924909\ 3409926970025212239307/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^21 - 9738829237391555436396576605653898904998448376158863396852449779296\ 2253124400855412016970/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^20 + 6927210008155258784164728600551409338358187969870939335478264671352\ 0399154838033327574644/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^19 + 4662432932747396546725859033118249108013473483620216123234586154143\ 35730380053835290789357/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^18 + 9234951013994625395976705016087965419683238245612342090014877075166\ 6775049131096072983971/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^17 - 9546338706977970699577197278918115310711375990098348684766425472087\ 07025958225256334865156/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^16 - 1018310811409844198130499286932951537097316515160365357440035187414\ 165974968866929517302680/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^15 + 3648899982872044717853759933758521697071521468795412288923686354187\ 14154146382698527215999/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^14 + 1104550769120660178744036887318842507088348713394017175524065654235\ 799501612415214894480593/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^13 + 3252860012272892241113566092954743777905052930693527029413022253521\ 21137311845168650964346/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^12 - 3615987645500664810966310813251054193716801537306974169995980455218\ 56873901140282949936640/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^11 - 1491168253703020459230859841871188301808935005523002274897009439823\ 58166061327034706479159/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^10 + 1416448159399669366462321210621798874787572013966630980115047174786\ 34202876403765055434237/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^9 + 3460278088337760672068032498022246367626796705626280374703869109847\ 3643711860672295776694/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^8 - 4308023401780862832211305930441640310969196028104987453346409541527\ 7367875079156383791639/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^7 - 1150604554401219776923399269344614277899363712343096612569236063854\ 7763829948884571590415/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^6 - 3478600440579676548951883934375364650592771255752037071483401786772\ 910633052161478755667/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^5 - 2156298010214637150203756682986459000758040010724933976815924340088\ 57581792706193104072/3156216513104875155882040875320037421364057887\ 1664723635820652412695023721427790947533*c_0101_5^4 + 1137169683673237829847498714275578272720621955477114831157861162009\ 888020046816885238675/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^3 + 3161634736675860625881287166940533781064368556623233826983326319511\ 77768361214378795461/3156216513104875155882040875320037421364057887\ 1664723635820652412695023721427790947533*c_0101_5^2 + 1518132193172885952121462549770447131100329402254972199093926787587\ 74766997046767864140/3156216513104875155882040875320037421364057887\ 1664723635820652412695023721427790947533*c_0101_5 + 5308498910609772343027664534685050616685560067473942031509849545895\ 034288392540187984/315621651310487515588204087532003742136405788716\ 64723635820652412695023721427790947533, c_0101_0 - 131439909779952068862230255263650732911730859765822492189684\ 918072958001994237798342260/315621651310487515588204087532003742136\ 40578871664723635820652412695023721427790947533*c_0101_5^29 - 3307849984427502000491823695426852759236716180945843869146692569309\ 50152690367615634248/3156216513104875155882040875320037421364057887\ 1664723635820652412695023721427790947533*c_0101_5^28 + 2169236197388032518685433451308898061368311960795464407582194012404\ 246597171382572695907/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^27 + 1932630765829907300177650236773317452338111678982249441740366914712\ 066833134296490789760/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^26 - 2058372997676743002620705243147040988715918912656350790522625254864\ 6723629828626800570215/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^25 + 2863312155896308207202774002240305213785372585491407279534786466540\ 0681586338465122959550/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^24 + 1722343236377226335637226334515318009167248253508360067376329320951\ 00763902115549045037645/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^23 - 1934235975169541672343074735007279169797024404016506317426777347470\ 68927437199247245499675/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^22 - 5540031998916072134571029963554098959699050411995610671932978589970\ 98844165067329997058936/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^21 + 6166732971790414575918651705695706139917326732261682037736148500887\ 54904908620125187225619/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^20 - 1559313915570917526836373308035534679586747776922103414319716015002\ 89790643328832219076433/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^19 - 4968670975451393980198436601067845495992512156052897853883289741218\ 197928693896005348721071/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^18 - 4558229254752149765998727848283217944790768628826432824289758187027\ 660676592683712983384578/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^17 + 7116899396612730258030722673366599520915636506193492373828721442420\ 830541447980746386973848/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^16 + 1605884010728583378568843723076084935622894776578456453430332924407\ 8619917212080001329816951/31562165131048751558820408753200374213640\ 578871664723635820652412695023721427790947533*c_0101_5^15 + 6722129746237363749190195479794724279588993750222211060630927035388\ 437788959750847704166767/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^14 - 8507272477093550820042789651190492511478454205622099174868507278980\ 927391870213387484146435/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^13 - 9777361218005110975655640817830604972087387084309872585494759169891\ 689850013232681697982512/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^12 - 1751845075463276249695685361680553307863301459266692870691901731318\ 438525679391192375232007/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^11 + 1330595719355987727276339514935106961261604325930601122664790335342\ 457720885783596368294131/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^10 - 7366335221205891860826724684071344277915493313359007384974621171215\ 19791799201226821219016/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^9 - 1190016506301104386137220381253028465928125176745549524332517450341\ 250138806380370008780504/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^8 - 2159660110696209359837840895930599963844318464923674793410523482445\ 05843855908617052824914/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^7 + 1082706668711383786425890618019530302404402000374097623446772370320\ 76056806342026814484398/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^6 + 7566952908572899169976545765243876304802041976032407748907763840097\ 1368924371773092876352/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^5 + 3295328975307505049094109540467216682616914621775956393699946807945\ 3726100584086080245900/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^4 + 8702624757780567223866245382692947177429977454419360501579033749956\ 093508490132707810564/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^3 + 1140885176640325438416803387066895812529622104042413863592137894353\ 129566164161474887132/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^2 - 3467704328757676533037285147517139967726321180367681358827019090904\ 39008016559322756697/3156216513104875155882040875320037421364057887\ 1664723635820652412695023721427790947533*c_0101_5 - 9829419362579150598292439231996258263351558699952078379925257732227\ 9785124400344730188/31562165131048751558820408753200374213640578871\ 664723635820652412695023721427790947533, c_0101_1 - 123753493657128932051841762766116169443046886015492660895207\ 40870111874600663459264590/3156216513104875155882040875320037421364\ 0578871664723635820652412695023721427790947533*c_0101_5^29 - 3532744073620189269492958095586694177582951968487938797535664836042\ 9085594467109903547/31562165131048751558820408753200374213640578871\ 664723635820652412695023721427790947533*c_0101_5^28 + 1937900291016950206270919353800299594324472586075058246859348195362\ 86665230144108644346/3156216513104875155882040875320037421364057887\ 1664723635820652412695023721427790947533*c_0101_5^27 + 2514153494813000127327542987514374425618573271328298512914229333630\ 62145109691844296503/3156216513104875155882040875320037421364057887\ 1664723635820652412695023721427790947533*c_0101_5^26 - 1877760470038247357134338991173597945029061700324212750632430871486\ 987839435121450308095/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^25 + 2035143837658939595727574601605667621871111635048782718200346743986\ 146922085914997577382/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^24 + 1714560540848365936576422467866559996773855076534062665994388255087\ 4158422948269062274251/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^23 - 1271187602196864208337525829526330916664933410750343309594366823783\ 6483671508773711284647/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^22 - 5854619593257692067983753787496026923993810251337221496466771154718\ 4997469145101116564263/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^21 + 4042429032234009935551180638668205908991607075867984711417946965699\ 0985792461988757567230/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^20 + 6142409904384004066500443448452109171957790854512381398891138278143\ 472576868005324041669/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^19 - 4733396748842239292351354549875397486112167755288230941161392980095\ 70709253788242392061951/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^18 - 5896182993857503392422810366718831234857530883489048967623545374799\ 23125442154763397173506/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^17 + 5315756966320892147069242956069271778896671644117342530665403309456\ 61534405255216601577935/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^16 + 1746713129229034055509170634289803849875359861964800419081120785552\ 596614933449419178358488/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^15 + 1129944576601127232399542862994502262159073235425717286319709422290\ 095082235293505778192188/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^14 - 6139565589317830898117120306930714059376009356647188661312725731911\ 37034032882431436316673/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^13 - 1189638469371076799863059507538663611635391624629837464352607274098\ 444944809852746118217080/315621651310487515588204087532003742136405\ 78871664723635820652412695023721427790947533*c_0101_5^12 - 4421575786347098424475880895798926548727376731629583241676010255152\ 66642725978507019874506/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^11 + 8548121728274065684925264430160686604256841394795030730310866171231\ 6855054792338625125877/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^10 - 4302796552094332914360615041584103565172250648172440586054853612436\ 1634856740526992227065/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^9 - 1479832661580952318428736544951622780522790159961735277302655376112\ 59635005171893219441545/3156216513104875155882040875320037421364057\ 8871664723635820652412695023721427790947533*c_0101_5^8 - 5379198347442608792856765192616460064709383411079050256683141210161\ 3100170602703550535149/31562165131048751558820408753200374213640578\ 871664723635820652412695023721427790947533*c_0101_5^7 + 7411812228363730801151799131959681317681451199318980528135776557046\ 610922883595830923881/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^6 + 7680083372559487139637664940337752293786013367646603084724472018658\ 409820405939360669458/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^5 + 4355266040713154499355096715230977638057894728014875170052254177341\ 966067141339234045865/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^4 + 2333927098125714543306172282829600895748633671682020512549446204853\ 073175851701672233742/315621651310487515588204087532003742136405788\ 71664723635820652412695023721427790947533*c_0101_5^3 + 3970821199656601880131810675323780425279099035682111820041973533560\ 45903598125292076438/3156216513104875155882040875320037421364057887\ 1664723635820652412695023721427790947533*c_0101_5^2 + 4459329899709175732353297731097006802936543816317778191329158922803\ 9124290267121847942/31562165131048751558820408753200374213640578871\ 664723635820652412695023721427790947533*c_0101_5 - 3986955080430091755600030242083533293319967226699516978920996562864\ 529934285548512187/315621651310487515588204087532003742136405788716\ 64723635820652412695023721427790947533, c_0101_5^30 + 14/5*c_0101_5^29 - 79/5*c_0101_5^28 - 97/5*c_0101_5^27 + 763/5*c_0101_5^26 - 867/5*c_0101_5^25 - 6868/5*c_0101_5^24 + 1103*c_0101_5^23 + 4643*c_0101_5^22 - 3516*c_0101_5^21 - 869/5*c_0101_5^20 + 38195*c_0101_5^19 + 226754/5*c_0101_5^18 - 223284/5*c_0101_5^17 - 137701*c_0101_5^16 - 426017/5*c_0101_5^15 + 255542/5*c_0101_5^14 + 92873*c_0101_5^13 + 169267/5*c_0101_5^12 - 33706/5*c_0101_5^11 + 13614/5*c_0101_5^10 + 10652*c_0101_5^9 + 20624/5*c_0101_5^8 - 392*c_0101_5^7 - 808*c_0101_5^6 - 416*c_0101_5^5 - 668/5*c_0101_5^4 - 123/5*c_0101_5^3 + 4/5*c_0101_5^2 + 8/5*c_0101_5 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB