Magma V2.19-8 Wed Aug 21 2013 00:50:20 on localhost [Seed = 863315462] Type ? for help. Type -D to quit. Loading file "K9a1__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K9a1 geometric_solution 11.95452697 oriented_manifold CS_known -0.0000000000000001 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 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 1 0 -1 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.096748416797 0.760457569539 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 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.032905584228 0.657357942038 8 0 9 7 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.575758273217 0.540856499553 10 11 12 0 0132 0132 0132 0132 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 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 0 0 0 0.182366421638 1.001249210973 9 11 0 6 0132 0321 0132 2103 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 1 -1 -1 0 1 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.519779542525 0.503993160688 8 1 11 8 1023 0132 2103 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.710790708454 1.415531819989 12 10 1 4 2103 2103 0132 2103 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 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.489300728091 0.599182789081 8 2 9 1 3120 2310 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.654389904952 0.694187706918 2 5 5 7 0132 1023 1230 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.710790708454 1.415531819989 4 11 7 2 0132 0213 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 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.920340567737 0.460208054805 3 6 12 12 0132 2103 2103 0321 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 1 -1 0 -1 0 0 1 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.888689551883 1.495429827546 5 3 9 4 2103 0132 0213 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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.246432487150 0.703052083836 10 10 6 3 2103 0321 2103 0132 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 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.888689551883 1.495429827546 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : d['c_0011_12'], 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_1001_0']), 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : negation(d['c_0101_8']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0011_4']), 'c_1010_12' : d['c_1001_3'], 'c_1010_11' : d['c_1001_3'], 'c_1010_10' : d['c_1001_3'], 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : negation(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_0'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0110_6']), 'c_1100_7' : negation(d['c_0101_9']), 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : negation(d['c_0110_6']), 'c_1100_3' : negation(d['c_0110_6']), 'c_1100_2' : negation(d['c_0011_7']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_2'], 'c_1100_10' : d['c_0011_12'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_8']), 'c_1010_6' : negation(d['c_1001_3']), 'c_1010_5' : negation(d['c_0101_8']), 'c_1010_4' : d['c_1001_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0011_7']), 'c_1100_8' : negation(d['c_0011_7']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0110_6']), 's_1_7' : 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' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_12'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_4']), 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : negation(d['c_0011_12']), 'c_0101_12' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_12']), 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_7']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6']})} 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_12, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_8, c_0101_9, c_0110_6, c_1001_0, c_1001_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 1440371095857714146747213364459958784481714807573523397784736919360\ 88982328991/5526001992993729505967637784154385542705310122952110911\ 1348854154564384*c_1001_3^27 + 210207168432318844166252765068567715\ 889432756780391616414097651228260389711695/690750249124216188245954\ 7230192981928381637653690138638918606769320548*c_1001_3^26 - 9072572135272574481872762737487072812683545134383271046875120065651\ 485380545157/552600199299372950596763778415438554270531012295211091\ 11348854154564384*c_1001_3^25 + 30019553057558033471318622953329546\ 368944771648674989802506944616482035710534525/552600199299372950596\ 76377841543855427053101229521109111348854154564384*c_1001_3^24 - 6859606353138083740356197880187859914152527524132946189359789091154\ 2571146157425/55260019929937295059676377841543855427053101229521109\ 111348854154564384*c_1001_3^23 + 1438319295166385960805372024786594\ 0113311130014701621652989189192863799691800907/69075024912421618824\ 59547230192981928381637653690138638918606769320548*c_1001_3^22 - 3676113636023341631161923396376260601993840851374629640617938001505\ 9848661515961/13815004982484323764919094460385963856763275307380277\ 277837213538641096*c_1001_3^21 + 1474965542869321963666214091984101\ 72822472727389902627301130190688077433813054811/5526001992993729505\ 9676377841543855427053101229521109111348854154564384*c_1001_3^20 - 1211007083117789155103880053038451769154081123948029893098939712339\ 23604644029269/5526001992993729505967637784154385542705310122952110\ 9111348854154564384*c_1001_3^19 + 110892467808555295917773085526757\ 59234683395510415016139056232659190745791595419/6907502491242161882\ 459547230192981928381637653690138638918606769320548*c_1001_3^18 - 6676424704187429935497459342552865607432149857098805869115840656763\ 3739885378713/55260019929937295059676377841543855427053101229521109\ 111348854154564384*c_1001_3^17 + 5590210431558700509460970790288791\ 6294635191492699865802540018756309718551275445/55260019929937295059\ 676377841543855427053101229521109111348854154564384*c_1001_3^16 - 2358555616056844733287639279255279517017713587420174014294097734480\ 8773504778627/27630009964968647529838188920771927713526550614760554\ 555674427077282192*c_1001_3^15 + 3381672958871272617113039536843388\ 8781289903280312287088668661461430934746905423/55260019929937295059\ 676377841543855427053101229521109111348854154564384*c_1001_3^14 - 1665031824355368192487336947786796227990729192034095472477458473935\ 2994543057649/55260019929937295059676377841543855427053101229521109\ 111348854154564384*c_1001_3^13 + 1966226620123779577339179155726587\ 4887569841062876315847798505748196764335717/81264735191084257440700\ 5556493291991574310312198839839872777266978888*c_1001_3^12 + 7169304753079457177053944404361686021035139627259066373265743094419\ 476071163203/552600199299372950596763778415438554270531012295211091\ 11348854154564384*c_1001_3^11 - 84145599337756375305656479648790472\ 65056267340978103357985079853746341020998293/5526001992993729505967\ 6377841543855427053101229521109111348854154564384*c_1001_3^10 + 6861879684464704785751922894359721871923555715952178856408202679959\ 13679036851/6907502491242161882459547230192981928381637653690138638\ 918606769320548*c_1001_3^9 - 48581364831878786631733905286737346004\ 6892842665107802825880020164566233084331/13815004982484323764919094\ 460385963856763275307380277277837213538641096*c_1001_3^8 - 1491306741687439578841415492124894061400106553353521055271181715925\ 89090062991/2763000996496864752983818892077192771352655061476055455\ 5674427077282192*c_1001_3^7 + 1045768367239648585366456458636960660\ 784579249196587192151992859766861443747271/552600199299372950596763\ 77841543855427053101229521109111348854154564384*c_1001_3^6 - 5594843648863724466741788064228071647521307457824905738775625495232\ 2950300641/34537512456210809412297736150964909641908188268450693194\ 59303384660274*c_1001_3^5 + 501822244036294160454286417545806395199\ 144749370155173460566319706427644009029/552600199299372950596763778\ 41543855427053101229521109111348854154564384*c_1001_3^4 - 2088025136335752370691629878197101411129186082584151917995331018631\ 10281354379/5526001992993729505967637784154385542705310122952110911\ 1348854154564384*c_1001_3^3 + 6436416823716532183713597648490250337\ 2647854538830708698949317830638689921497/55260019929937295059676377\ 841543855427053101229521109111348854154564384*c_1001_3^2 - 1536091150479219712898745420787949060608873202336983325169333413147\ 0174533629/55260019929937295059676377841543855427053101229521109111\ 348854154564384*c_1001_3 + 1548643014388929605536601304258949648866\ 995304887337431567327162573817926787/552600199299372950596763778415\ 43855427053101229521109111348854154564384, c_0011_0 - 1, c_0011_10 + 80882430341786690606334906007702074991117416349899353398824\ 8814851407/17217104913365308779809439756213813380811659156755081353\ 23680650379*c_1001_3^27 - 94110964977622913859687747586727590749367\ 02579107442464990103605092570/1721710491336530877980943975621381338\ 081165915675508135323680650379*c_1001_3^26 + 5058852987013690223603651360638148011740119368375132214915828355897\ 1430/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^25 - 16675602495463254119382793399068637236470806369\ 0130799369437680688727335/17217104913365308779809439756213813380811\ 65915675508135323680650379*c_1001_3^24 + 3796319911339726960773047541592139943637472101263125106899080213128\ 43458/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^23 - 6345525508370799353912339349796472192700643773\ 05004081414217607793771678/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^22 + 8082081236792834653634212723882021132906338013446390755641791727909\ 59898/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^21 - 8081455754209500326029290560430913249873885989\ 34292168751715202569928354/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^20 + 6614888934651223307952112219895587732743831131308805532237299962413\ 94117/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^19 - 4832375660222829565364699343904786459054168747\ 26461363689065068766057575/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^18 + 3632113564253597020666438542655010558374396085164457942969506290367\ 95099/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^17 - 3044251875015198736249318768151143435172709441\ 09106357631327135865608676/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^16 + 2571526043784499993328847989770237038270762010710392231813135487977\ 91593/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^15 - 1840077993043486541448634549562284209973606920\ 86355687644715318058373776/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^14 + 8973057872296029441087711466011004020888536328261140722267317042851\ 3232/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^13 - 58851518377592091675240595681846762039445826122\ 52524438643063167199251/1721710491336530877980943975621381338081165\ 915675508135323680650379*c_1001_3^12 - 4022465203051891895518273460387233758551473464322710317561113296544\ 1276/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^11 + 46405132517328384407165389102772508367188847494\ 397794040522552209866095/172171049133653087798094397562138133808116\ 5915675508135323680650379*c_1001_3^10 - 2989004161414258866139157806857377064506590828312471064620958552563\ 1883/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^9 + 102671285513573969349666482363314893291322100206\ 75906236690596420933161/1721710491336530877980943975621381338081165\ 915675508135323680650379*c_1001_3^8 + 1928355198547761706616281650780952270110012371403374453651934102893\ 899/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^7 - 5852827642669252759717952778865545481380348607469\ 916494710043597156901/172171049133653087798094397562138133808116591\ 5675508135323680650379*c_1001_3^6 + 4904592896599391807724195547376140277367969674880192992577858110990\ 184/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^5 - 2706207617551098939645031588601994583278262764104\ 546766122907479125939/172171049133653087798094397562138133808116591\ 5675508135323680650379*c_1001_3^4 + 1105907438862479780850404368336693499908297948549270593843187865834\ 172/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^3 - 3315879733252348640207707576424024101367015721365\ 65760308202113439736/1721710491336530877980943975621381338081165915\ 675508135323680650379*c_1001_3^2 + 7817642232672716916901247319032925800099346352945671359284637058807\ 0/17217104913365308779809439756213813380811659156755081353236806503\ 79*c_1001_3 - 74669401545845050567407735807143761463240870828085964\ 06453071501333/1721710491336530877980943975621381338081165915675508\ 135323680650379, c_0011_12 + 82571961645890842905840498355762748965001514005943895253055\ 8317338334/17217104913365308779809439756213813380811659156755081353\ 23680650379*c_1001_3^27 - 96482939620477791627404894491084030168825\ 59995552154533739167107360758/1721710491336530877980943975621381338\ 081165915675508135323680650379*c_1001_3^26 + 5203860576782526983629059747755566220572737547343817741124035866852\ 3171/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^25 - 17188322279520761328158942009206516401195858612\ 7638225855000201058427043/17217104913365308779809439756213813380811\ 65915675508135323680650379*c_1001_3^24 + 3913111606920365789999739297560276304562385705521561748463154205628\ 94264/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^23 - 6524919242433946328101024360363340372467488246\ 30101007282098127403638657/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^22 + 8267218962037498666523913082977736390808609133137119617808088884052\ 54319/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^21 - 8201239280034784715603580968849169760357789541\ 13657501257123243936809680/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^20 + 6653155153076364141869027789529470649072737024118505702246314581532\ 53075/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^19 - 4836671861318167387535032690332490353235460352\ 18101656021660952422981252/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^18 + 3651653689692351837427732334790462203130795512847982519049067385203\ 96493/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^17 - 3082491055000365608988209258117422265461616279\ 58327831660701409166248443/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^16 + 2602655225852805129968875096792785228957701270867173086629737667998\ 34724/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^15 - 1845677579157488231522778867453916149469723222\ 83519448511937263030951447/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^14 + 8790626427756330468047946818374962695196665435089683439353879049904\ 0584/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^13 - 31979261022261137764947880295255087036815866921\ 31234909619973105485795/1721710491336530877980943975621381338081165\ 915675508135323680650379*c_1001_3^12 - 4217526362264851546657658599858883423614369240709277067627175313163\ 9721/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^11 + 46981318749424403413080733493541563347564233631\ 752605616766156757882258/172171049133653087798094397562138133808116\ 5915675508135323680650379*c_1001_3^10 - 2957567223366224852033274391350017368136390638818040763985290600311\ 0365/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^9 + 976841410842340722446106115528187728371920527811\ 7211866940339107533229/17217104913365308779809439756213813380811659\ 15675508135323680650379*c_1001_3^8 + 2279738766570806219063297747005713008368857313108992002107538483329\ 866/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^7 - 5991843381918078099179957147992222667813224650050\ 200218633048851354090/172171049133653087798094397562138133808116591\ 5675508135323680650379*c_1001_3^6 + 4906318574881169688810307075642542835470191254030311626108605881296\ 338/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^5 - 2664363320216112947037762533879457214979668897022\ 622495565181692984366/172171049133653087798094397562138133808116591\ 5675508135323680650379*c_1001_3^4 + 1076356146466599653083547800090956029081769364298914320914577017991\ 549/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^3 - 3235913641225820055244953943955189628410693866585\ 10318123117227594628/1721710491336530877980943975621381338081165915\ 675508135323680650379*c_1001_3^2 + 7403387758220594848798978496769822904271782731220818775051609391334\ 9/17217104913365308779809439756213813380811659156755081353236806503\ 79*c_1001_3 - 69329656057822333329116643495483390158841721786528204\ 00461018234275/1721710491336530877980943975621381338081165915675508\ 135323680650379, c_0011_4 - 107209843387079922578350028711382942767321232833602401211247\ 633828098/172171049133653087798094397562138133808116591567550813532\ 3680650379*c_1001_3^27 + 126979014052076055935130017557785034129244\ 6705634647804597400673166385/17217104913365308779809439756213813380\ 81165915675508135323680650379*c_1001_3^26 - 7018093471210239695748170171439452372156961511874745753501979804979\ 205/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^25 + 240685168732368114798289941653075757767523449283\ 15021504607152601638515/1721710491336530877980943975621381338081165\ 915675508135323680650379*c_1001_3^24 - 5771420424539821684545932805324792490271995799402485361395673075315\ 2505/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^23 + 10284269161275593830257230305045716761828662659\ 8364711240896983768553072/17217104913365308779809439756213813380811\ 65915675508135323680650379*c_1001_3^22 - 1411965606596129224094798968327743827675722543234764527744521677590\ 57608/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^21 + 1533043641552023734067512480882793301804220927\ 88662926344501962396001294/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^20 - 1356904745589981585276133435572771234807328978605483421036491768630\ 04763/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^19 + 1038034379058647425249190644045162258799254962\ 32696496109051046791926848/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^18 - 7665100525104594394829819362717035221094283525492843355969721778524\ 2725/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^17 + 61165463032075055858738454238377242482925777473\ 528008320336925617223882/172171049133653087798094397562138133808116\ 5915675508135323680650379*c_1001_3^16 - 5152644320526225739276099337108207305648677918770884028513977889430\ 0072/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^15 + 39622534952695060704484905272631516156325624662\ 792695705031372969793224/172171049133653087798094397562138133808116\ 5915675508135323680650379*c_1001_3^14 - 2334168598331163165968270677829851868892690660552045365643909750587\ 0061/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^13 + 67468643152128436759547049614878512010400545906\ 38455761974452891891200/1721710491336530877980943975621381338081165\ 915675508135323680650379*c_1001_3^12 + 4623975073076752876462431324000631262125012054187721832194403409552\ 243/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^11 - 854588446964532809624994523922487109491892586366\ 4311718499108064662062/17217104913365308779809439756213813380811659\ 15675508135323680650379*c_1001_3^10 + 6878729854766945683200387169289720790175489424145327178372976924660\ 928/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^9 - 3294795815963796163538543719812588313574725609329\ 034568366756141619696/172171049133653087798094397562138133808116591\ 5675508135323680650379*c_1001_3^8 + 4415306115290506952795244601703758144386016491629850690470771370487\ 28/1721710491336530877980943975621381338081165915675508135323680650\ 379*c_1001_3^7 + 88074732786009736826726662888648193838406049884343\ 4835879369211977918/17217104913365308779809439756213813380811659156\ 75508135323680650379*c_1001_3^6 - 101799562766177905244172693408633\ 8815711381924380658755675452529030917/17217104913365308779809439756\ 21381338081165915675508135323680650379*c_1001_3^5 + 6720349931239591929866229389022437445209943678450328556671005844365\ 33/1721710491336530877980943975621381338081165915675508135323680650\ 379*c_1001_3^4 - 31701921424278154657359872580798274620344504288710\ 9873502730967495367/17217104913365308779809439756213813380811659156\ 75508135323680650379*c_1001_3^3 + 111498420191219485843562400774996\ 207016710596007101964958172306362651/172171049133653087798094397562\ 1381338081165915675508135323680650379*c_1001_3^2 - 3051242030908623090053503434448579207493093498073729705738707274377\ 0/17217104913365308779809439756213813380811659156755081353236806503\ 79*c_1001_3 + 42540365141548741890410603710670556225010873152291225\ 61017829966338/1721710491336530877980943975621381338081165915675508\ 135323680650379, c_0011_7 + 167879844334831225290723156146057618735241828266021932241273\ 8418992718/17217104913365308779809439756213813380811659156755081353\ 23680650379*c_1001_3^27 - 19487271173771860266313694769396372807403\ 603099395958329097332451621918/172171049133653087798094397562138133\ 8081165915675508135323680650379*c_1001_3^26 + 1044958984392977052289240245146776774144654823326702054072760064171\ 89406/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^25 - 3436011156128050203933108315790931785882387131\ 58496582146510489985669306/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^24 + 7803917727453697533396696476421119569384036057717606290891107119529\ 92681/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^23 - 1301655030627210917958873039014693845846694103\ 646147996636114878732559898/172171049133653087798094397562138133808\ 1165915675508135323680650379*c_1001_3^22 + 1655185798473033817545442165498625475198092173241375741978656669892\ 835506/172171049133653087798094397562138133808116591567550813532368\ 0650379*c_1001_3^21 - 165404682033053971398716763236640266362561492\ 5799433458082616741283103054/17217104913365308779809439756213813380\ 81165915675508135323680650379*c_1001_3^20 + 1355534643331211681538604842982778969150638746213271215644196151676\ 524987/172171049133653087798094397562138133808116591567550813532368\ 0650379*c_1001_3^19 - 993691654792821801384399358466174524925637906\ 637219323638003854362727762/172171049133653087798094397562138133808\ 1165915675508135323680650379*c_1001_3^18 + 7493120465031252316402711140695314003603901369407534145606834824059\ 26588/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^17 - 6275076998182451464050116293078851383163169031\ 27454482455147236698787362/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^16 + 5282270064453463633431106116959335332486761873636889475631859037541\ 07976/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^15 - 3770705073277860266740211677901737618994342217\ 49373802318725038549546569/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^14 + 1841915749043007410454729512897427002212288377146335799345345360085\ 31552/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^13 - 1322874403402144459368312214454373161538246537\ 5947326145521262965012302/17217104913365308779809439756213813380811\ 65915675508135323680650379*c_1001_3^12 - 8093931049188988520195691266115155874650298025891178790139512725878\ 3788/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^11 + 94133353218513658770989578319050454598165744011\ 706861496292583925973678/172171049133653087798094397562138133808116\ 5915675508135323680650379*c_1001_3^10 - 6112706165913016489629779425345878880695841600008797129585721664925\ 7093/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^9 + 214504325190105706814010541008952674554504415956\ 64522873329820587809097/1721710491336530877980943975621381338081165\ 915675508135323680650379*c_1001_3^8 + 3503629945230371275971610249850910741098095405821253564384709412434\ 649/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^7 - 1176321254877578678662770411790125276523903105866\ 5751977797799436922947/17217104913365308779809439756213813380811659\ 15675508135323680650379*c_1001_3^6 + 1001209842065939950262676742130553918248628543775274189597673595174\ 6328/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^5 - 559766318285258708163807265537476897153152619947\ 5306049038587384183196/17217104913365308779809439756213813380811659\ 15675508135323680650379*c_1001_3^4 + 2326127780207978603098433031272198871903457370271899611490068755163\ 505/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^3 - 7101021454136433556800761352797466738294350802949\ 48896508823009653280/1721710491336530877980943975621381338081165915\ 675508135323680650379*c_1001_3^2 + 1689227714912998260060462228957825631014074491758186018668063720093\ 82/1721710491336530877980943975621381338081165915675508135323680650\ 379*c_1001_3 - 1588324202788034727482151720459051022625461269683622\ 1853421412356599/17217104913365308779809439756213813380811659156755\ 08135323680650379, c_0101_0 - c_1001_3, c_0101_1 + 139600578332817514215898845894234036865619238511500467430305\ 862849882/172171049133653087798094397562138133808116591567550813532\ 3680650379*c_1001_3^27 - 166358593939854645607831525077968011096572\ 1519343736939946481194942182/17217104913365308779809439756213813380\ 81165915675508135323680650379*c_1001_3^26 + 9216643032020506735731676990991305721526786438831226781285198059218\ 613/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^25 - 315491614374938900015552561557767467877636835210\ 92840427984544248773543/1721710491336530877980943975621381338081165\ 915675508135323680650379*c_1001_3^24 + 7516489682060555474864546921581637864594013999812714163285620034675\ 5113/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^23 - 13250420742566762884121880089138130878578397283\ 0867509594775904647732910/17217104913365308779809439756213813380811\ 65915675508135323680650379*c_1001_3^22 + 1791611073980181696516831998066225683808858645858257507734297574698\ 46984/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^21 - 1906078086687768861700873881446384688068609317\ 30263286288552864429872322/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^20 + 1644343898538241014124259029291434237880872465208627255974408341790\ 36899/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^19 - 1224573204572822659790272889248438472454302303\ 42272088286492030025170958/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^18 + 8931081612291811373083892993989793492114286881201923961530907773046\ 5485/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^17 - 72283425616190717190512300502065068414064171396\ 531758249754737144290052/172171049133653087798094397562138133808116\ 5915675508135323680650379*c_1001_3^16 + 6197372151600814111821610977877198317908575993459181849884855831951\ 1481/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^15 - 47289321745604685229591271753952841124555066046\ 424053022295713655210039/172171049133653087798094397562138133808116\ 5915675508135323680650379*c_1001_3^14 + 2640886660228776806593164055189811519909214239042330048829009896928\ 2760/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^13 - 56957874562132169897453932254804030422672080316\ 97801669752635094835126/1721710491336530877980943975621381338081165\ 915675508135323680650379*c_1001_3^12 - 7585240537288154703262792894956864520774642021694482257733548104872\ 037/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^11 + 112102925681840214308786819813345263273026818314\ 86439747312012160168555/1721710491336530877980943975621381338081165\ 915675508135323680650379*c_1001_3^10 - 8217740486574619613977571569274749590439905752696597832702761157788\ 968/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^9 + 3430688355460957781924210312210326499026640038438\ 387125914470661189769/172171049133653087798094397562138133808116591\ 5675508135323680650379*c_1001_3^8 - 3992632680920266373336701665313968469695163314794981459218746927841\ 5/17217104913365308779809439756213813380811659156755081353236806503\ 79*c_1001_3^7 - 129578840373829837106574748705111169782062069043934\ 5858609449763409204/17217104913365308779809439756213813380811659156\ 75508135323680650379*c_1001_3^6 + 125849045617129647780029660014934\ 2790374933261292660818002525516073658/17217104913365308779809439756\ 21381338081165915675508135323680650379*c_1001_3^5 - 7537359358724385173835694620435260743896632288024027940502624406597\ 31/1721710491336530877980943975621381338081165915675508135323680650\ 379*c_1001_3^4 + 32556108976265819861813439071590579882642115757469\ 1867112819411753692/17217104913365308779809439756213813380811659156\ 75508135323680650379*c_1001_3^3 - 103527022927149984133984551881156\ 638820353385668071667166849554631093/172171049133653087798094397562\ 1381338081165915675508135323680650379*c_1001_3^2 + 2646725211193451175780304355687055053286714150146000116949884646639\ 5/17217104913365308779809439756213813380811659156755081353236806503\ 79*c_1001_3 - 39247420694789130257731875117461795702313272239134496\ 36662558071743/1721710491336530877980943975621381338081165915675508\ 135323680650379, c_0101_8 + 977367543945811284494916986452927828861027536352948951763327\ 228803603/172171049133653087798094397562138133808116591567550813532\ 3680650379*c_1001_3^27 - 113019584978968278134136414979723840302819\ 91522489065604002610868096030/1721710491336530877980943975621381338\ 081165915675508135323680650379*c_1001_3^26 + 6029043990516403778143015564820436327366613885616335063069540840985\ 5086/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^25 - 19686966589691542376288427318867591508855438922\ 4118818166814494860612909/17217104913365308779809439756213813380811\ 65915675508135323680650379*c_1001_3^24 + 4431035783661195923158403599328647342961719180066060107605162134093\ 93957/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^23 - 7306205938694643138058734278444095312350421703\ 77777866976693937180882754/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^22 + 9159394493701624161088269068537377146545102008018084093305768255088\ 52092/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^21 - 9002934528584557263127270831562844022270010443\ 38415986595381420031000370/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^20 + 7259578965705404151960429593150791052208661723153117244709775384218\ 83780/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^19 - 5277845400366318284523450949190480710183693473\ 52120363821344639406324091/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^18 + 4007664536319208886472019811109367499224352425916434309266694082480\ 79604/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^17 - 3393898370589897546933142124360771737861190115\ 91452223718761445263449016/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^16 + 2852836893301501971280893928950356735732369277419441652393403170567\ 65398/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^15 - 2000228920612881606195224058084004824703550065\ 36689227672071496885577448/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^14 + 9302075232974064438681667608999851821433627757722502853982020141888\ 9238/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^13 - 93294243623777982701035696064081509887316596565\ 8478227514910264047410/17217104913365308779809439756213813380811659\ 15675508135323680650379*c_1001_3^12 - 4710814730191818693182439176678320776461619218306282307175224480834\ 0477/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^11 + 51129841694354387446584808532321774997790822529\ 064600466573388331548928/172171049133653087798094397562138133808116\ 5915675508135323680650379*c_1001_3^10 - 3166000046382098015225836629230620819534832428834646166096912851046\ 8177/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^9 + 101307583671169201766954449767150216361421919284\ 68437924875437130357029/1721710491336530877980943975621381338081165\ 915675508135323680650379*c_1001_3^8 + 2724226348384051421693610630406322010304728500231905885600078537712\ 939/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^7 - 6565413276991140946698693289728716805129191534655\ 894270936102222304147/172171049133653087798094397562138133808116591\ 5675508135323680650379*c_1001_3^6 + 5298311810870679215228269438448808204104468924905674192875641574845\ 355/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^5 - 2859816608124899429970080771018311334125172835595\ 233835866797908571495/172171049133653087798094397562138133808116591\ 5675508135323680650379*c_1001_3^4 + 1157530801179793781761022407278306781032750747413411063665747223997\ 347/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^3 - 3456360151774670139115069009671030978452383180007\ 99481195777099809512/1721710491336530877980943975621381338081165915\ 675508135323680650379*c_1001_3^2 + 8225578824320344011670479020873696273870716048777338023008792144184\ 8/17217104913365308779809439756213813380811659156755081353236806503\ 79*c_1001_3 - 85930858156960372206284294232062911458627207817645338\ 90331055974399/1721710491336530877980943975621381338081165915675508\ 135323680650379, c_0101_9 + 992674497189860417836843155427350361155501715948283874080489\ 163629353/172171049133653087798094397562138133808116591567550813532\ 3680650379*c_1001_3^27 - 116087829702479378210879145747734016703140\ 91080082118701601551487263062/1721710491336530877980943975621381338\ 081165915675508135323680650379*c_1001_3^26 + 6268529739136257331935889643859317989763945467136014247053205408849\ 1640/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^25 - 20736647044133850074985902965616968306681001095\ 5950195391677140089823860/17217104913365308779809439756213813380811\ 65915675508135323680650379*c_1001_3^24 + 4729829303081046529056408695609446634635043753419721082670495642020\ 29457/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^23 - 7903840952718702985963857247161154138670509896\ 70557228727778611795456891/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^22 + 1003716842428300671915606778607317832162622019965703997995906787732\ 522747/172171049133653087798094397562138133808116591567550813532368\ 0650379*c_1001_3^21 - 997706118363320020683598115453126792739389316\ 270981624456178777066277867/172171049133653087798094397562138133808\ 1165915675508135323680650379*c_1001_3^20 + 8101778308783824500187468137399453135107128883521379207735433732738\ 32233/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^19 - 5884379398796074978127194503933382667520229938\ 98692736791563152676100403/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^18 + 4433507226189974927306107776359683584986708171052001809033596430445\ 97160/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^17 - 3741253884897026085215263953392770743324226198\ 11906933708375786931056910/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^16 + 3164329336996691475018167271141679697303158241473859096053876203535\ 93818/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^15 - 2249207294177012251712417767699871862191873367\ 95492061069311484232361310/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^14 + 1074663722685805133802448305388439480951537092874458448941978336924\ 37666/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^13 - 4206545689358343980280666143279069367032573863\ 028992332541362148396327/172171049133653087798094397562138133808116\ 5915675508135323680650379*c_1001_3^12 - 5131316072885499765541759708369267360614387930259053728523837662555\ 4839/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^11 + 57352323400151189852949628174094336620334619569\ 947125030951340878184245/172171049133653087798094397562138133808116\ 5915675508135323680650379*c_1001_3^10 - 3616748642590386602264761005233797844964755740224104924360050625715\ 8125/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^9 + 119716008053778520871629556518923120856760127005\ 71108056917809897460443/1721710491336530877980943975621381338081165\ 915675508135323680650379*c_1001_3^8 + 2766755302359726963689697238613472884479000779342112535012299061373\ 320/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^7 - 7316658760291705442079010165373628133255163895188\ 037933014276752416215/172171049133653087798094397562138133808116591\ 5675508135323680650379*c_1001_3^6 + 5998387439553588318862233136761138863288395695204131944251920715784\ 993/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^5 - 3255986350862730766794321531823900866945886360464\ 418552682444491458899/172171049133653087798094397562138133808116591\ 5675508135323680650379*c_1001_3^4 + 1312408187994985009617030944489706831796476653442194233259847793007\ 204/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^3 - 3899700307573816580288368455617249720448485653101\ 97835416159388728876/1721710491336530877980943975621381338081165915\ 675508135323680650379*c_1001_3^2 + 8752082275948087804477592328478228695356128246250426392988860133136\ 0/17217104913365308779809439756213813380811659156755081353236806503\ 79*c_1001_3 - 80486097221688719830012880140243975955443772028487822\ 72482882963341/1721710491336530877980943975621381338081165915675508\ 135323680650379, c_0110_6 + 808824303417866906063349060077020749911174163498993533988248\ 814851407/172171049133653087798094397562138133808116591567550813532\ 3680650379*c_1001_3^27 - 941109649776229138596877475867275907493670\ 2579107442464990103605092570/17217104913365308779809439756213813380\ 81165915675508135323680650379*c_1001_3^26 + 5058852987013690223603651360638148011740119368375132214915828355897\ 1430/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^25 - 16675602495463254119382793399068637236470806369\ 0130799369437680688727335/17217104913365308779809439756213813380811\ 65915675508135323680650379*c_1001_3^24 + 3796319911339726960773047541592139943637472101263125106899080213128\ 43458/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^23 - 6345525508370799353912339349796472192700643773\ 05004081414217607793771678/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^22 + 8082081236792834653634212723882021132906338013446390755641791727909\ 59898/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^21 - 8081455754209500326029290560430913249873885989\ 34292168751715202569928354/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^20 + 6614888934651223307952112219895587732743831131308805532237299962413\ 94117/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^19 - 4832375660222829565364699343904786459054168747\ 26461363689065068766057575/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^18 + 3632113564253597020666438542655010558374396085164457942969506290367\ 95099/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^17 - 3044251875015198736249318768151143435172709441\ 09106357631327135865608676/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^16 + 2571526043784499993328847989770237038270762010710392231813135487977\ 91593/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^15 - 1840077993043486541448634549562284209973606920\ 86355687644715318058373776/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^14 + 8973057872296029441087711466011004020888536328261140722267317042851\ 3232/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^13 - 58851518377592091675240595681846762039445826122\ 52524438643063167199251/1721710491336530877980943975621381338081165\ 915675508135323680650379*c_1001_3^12 - 4022465203051891895518273460387233758551473464322710317561113296544\ 1276/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^11 + 46405132517328384407165389102772508367188847494\ 397794040522552209866095/172171049133653087798094397562138133808116\ 5915675508135323680650379*c_1001_3^10 - 2989004161414258866139157806857377064506590828312471064620958552563\ 1883/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^9 + 102671285513573969349666482363314893291322100206\ 75906236690596420933161/1721710491336530877980943975621381338081165\ 915675508135323680650379*c_1001_3^8 + 1928355198547761706616281650780952270110012371403374453651934102893\ 899/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^7 - 5852827642669252759717952778865545481380348607469\ 916494710043597156901/172171049133653087798094397562138133808116591\ 5675508135323680650379*c_1001_3^6 + 4904592896599391807724195547376140277367969674880192992577858110990\ 184/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^5 - 2706207617551098939645031588601994583278262764104\ 546766122907479125939/172171049133653087798094397562138133808116591\ 5675508135323680650379*c_1001_3^4 + 1105907438862479780850404368336693499908297948549270593843187865834\ 172/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^3 - 3315879733252348640207707576424024101367015721365\ 65760308202113439736/1721710491336530877980943975621381338081165915\ 675508135323680650379*c_1001_3^2 + 7817642232672716916901247319032925800099346352945671359284637058807\ 0/17217104913365308779809439756213813380811659156755081353236806503\ 79*c_1001_3 - 74669401545845050567407735807143761463240870828085964\ 06453071501333/1721710491336530877980943975621381338081165915675508\ 135323680650379, c_1001_0 + 992674497189860417836843155427350361155501715948283874080489\ 163629353/172171049133653087798094397562138133808116591567550813532\ 3680650379*c_1001_3^27 - 116087829702479378210879145747734016703140\ 91080082118701601551487263062/1721710491336530877980943975621381338\ 081165915675508135323680650379*c_1001_3^26 + 6268529739136257331935889643859317989763945467136014247053205408849\ 1640/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^25 - 20736647044133850074985902965616968306681001095\ 5950195391677140089823860/17217104913365308779809439756213813380811\ 65915675508135323680650379*c_1001_3^24 + 4729829303081046529056408695609446634635043753419721082670495642020\ 29457/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^23 - 7903840952718702985963857247161154138670509896\ 70557228727778611795456891/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^22 + 1003716842428300671915606778607317832162622019965703997995906787732\ 522747/172171049133653087798094397562138133808116591567550813532368\ 0650379*c_1001_3^21 - 997706118363320020683598115453126792739389316\ 270981624456178777066277867/172171049133653087798094397562138133808\ 1165915675508135323680650379*c_1001_3^20 + 8101778308783824500187468137399453135107128883521379207735433732738\ 32233/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^19 - 5884379398796074978127194503933382667520229938\ 98692736791563152676100403/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^18 + 4433507226189974927306107776359683584986708171052001809033596430445\ 97160/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^17 - 3741253884897026085215263953392770743324226198\ 11906933708375786931056910/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^16 + 3164329336996691475018167271141679697303158241473859096053876203535\ 93818/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^15 - 2249207294177012251712417767699871862191873367\ 95492061069311484232361310/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^14 + 1074663722685805133802448305388439480951537092874458448941978336924\ 37666/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^13 - 4206545689358343980280666143279069367032573863\ 028992332541362148396327/172171049133653087798094397562138133808116\ 5915675508135323680650379*c_1001_3^12 - 5131316072885499765541759708369267360614387930259053728523837662555\ 4839/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^11 + 57352323400151189852949628174094336620334619569\ 947125030951340878184245/172171049133653087798094397562138133808116\ 5915675508135323680650379*c_1001_3^10 - 3616748642590386602264761005233797844964755740224104924360050625715\ 8125/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^9 + 119716008053778520871629556518923120856760127005\ 71108056917809897460443/1721710491336530877980943975621381338081165\ 915675508135323680650379*c_1001_3^8 + 2766755302359726963689697238613472884479000779342112535012299061373\ 320/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^7 - 7316658760291705442079010165373628133255163895188\ 037933014276752416215/172171049133653087798094397562138133808116591\ 5675508135323680650379*c_1001_3^6 + 5998387439553588318862233136761138863288395695204131944251920715784\ 993/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^5 - 3255986350862730766794321531823900866945886360464\ 418552682444491458899/172171049133653087798094397562138133808116591\ 5675508135323680650379*c_1001_3^4 + 1312408187994985009617030944489706831796476653442194233259847793007\ 204/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^3 - 3899700307573816580288368455617249720448485653101\ 97835416159388728876/1721710491336530877980943975621381338081165915\ 675508135323680650379*c_1001_3^2 + 8752082275948087804477592328478228695356128246250426392988860133136\ 0/17217104913365308779809439756213813380811659156755081353236806503\ 79*c_1001_3 - 80486097221688719830012880140243975955443772028487822\ 72482882963341/1721710491336530877980943975621381338081165915675508\ 135323680650379, c_1001_2 - 716561253355940871443368198379481732936564390338784048830998\ 340673041/172171049133653087798094397562138133808116591567550813532\ 3680650379*c_1001_3^27 + 830168042029515804716037456461888109342400\ 5510860735124425854535355047/17217104913365308779809439756213813380\ 81165915675508135323680650379*c_1001_3^26 - 4439045044134845438258332365937772905147370335252337138768695456089\ 7497/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^25 + 14540697665394018270889955202818541438265874620\ 0513710683376122371690478/17217104913365308779809439756213813380811\ 65915675508135323680650379*c_1001_3^24 - 3286732161502372100419783996114926134008168495980987848551736763764\ 71954/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^23 + 5451517060848721857242164878877315685808998883\ 86951795280180445261270935/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^22 - 6890310702312366152411511353860038955636992915288932685095622380438\ 71343/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^21 + 6846837060662632164427779955312001956272346673\ 83267064990720595682054598/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^20 - 5592234203584090726336221299310932411226865144587982526227638604501\ 78669/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^19 + 4105669337941054720713274284334849755348402447\ 47031682318397166240131250/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^18 - 3113546549264943408012446966148791007525041183557133146378575648707\ 16498/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^17 + 2614047352272628753169556586437924338618463411\ 24571625442367222223518900/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^16 - 2192372679406856959222666287393837044560837794518670333333851311394\ 08431/1721710491336530877980943975621381338081165915675508135323680\ 650379*c_1001_3^15 + 1553464306198794743394840211248056400382606515\ 52185974212287458687817389/1721710491336530877980943975621381338081\ 165915675508135323680650379*c_1001_3^14 - 7497382178628239832665087073799250293881089186731393806613306364295\ 4720/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^13 + 46141984844562452964892656576713231333480993389\ 33847462217309558115617/1721710491336530877980943975621381338081165\ 915675508135323680650379*c_1001_3^12 + 3355950513841742480359496265667924585458130254060773552616851479360\ 5924/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^11 - 38506344065727050112728705953635002824061090986\ 337447045674850899545977/172171049133653087798094397562138133808116\ 5915675508135323680650379*c_1001_3^10 + 2486225884145979859150235838006008443293836626297373343684072200005\ 2254/17217104913365308779809439756213813380811659156755081353236806\ 50379*c_1001_3^9 - 869278986278199300060344539121523498060741637710\ 8296770091276151892408/17217104913365308779809439756213813380811659\ 15675508135323680650379*c_1001_3^8 - 1427348876188652580671100171101079956676942216177750724930178449210\ 515/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^7 + 4778493476297488187029745960268855169143707671392\ 320677080929999155364/172171049133653087798094397562138133808116591\ 5675508135323680650379*c_1001_3^6 - 4078063460090570380889809607334109160187718658910155017171518276927\ 576/172171049133653087798094397562138133808116591567550813532368065\ 0379*c_1001_3^5 + 2292420244759993739550560330491180604924912106967\ 332908019131825635154/172171049133653087798094397562138133808116591\ 5675508135323680650379*c_1001_3^4 - 9673023945814877619953226006950249223259047507934931881630522710955\ 25/1721710491336530877980943975621381338081165915675508135323680650\ 379*c_1001_3^3 + 30333934426921214045392092208996059253896536306194\ 2293644657699583293/17217104913365308779809439756213813380811659156\ 75508135323680650379*c_1001_3^2 - 738100395016501720102928931133909\ 34027790335059592531561082582111616/1721710491336530877980943975621\ 381338081165915675508135323680650379*c_1001_3 + 7933141839264622700324146256912296567899492586138891997286004044487\ /172171049133653087798094397562138133808116591567550813532368065037\ 9, c_1001_3^28 - 8264/701*c_1001_3^27 + 45090/701*c_1001_3^26 - 151178/701*c_1001_3^25 + 350767/701*c_1001_3^24 - 598973/701*c_1001_3^23 + 781558/701*c_1001_3^22 - 802819/701*c_1001_3^21 + 675349/701*c_1001_3^20 - 502829/701*c_1001_3^19 + 377113/701*c_1001_3^18 - 311189/701*c_1001_3^17 + 262205/701*c_1001_3^16 - 192177/701*c_1001_3^15 + 100997/701*c_1001_3^14 - 16545/701*c_1001_3^13 - 33839/701*c_1001_3^12 + 45009/701*c_1001_3^11 - 31633/701*c_1001_3^10 + 12726/701*c_1001_3^9 + 256/701*c_1001_3^8 - 5231/701*c_1001_3^7 + 4960/701*c_1001_3^6 - 2970/701*c_1001_3^5 + 1316/701*c_1001_3^4 - 439/701*c_1001_3^3 + 114/701*c_1001_3^2 - 17/701*c_1001_3 + 1/701 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.760 Total time: 5.969 seconds, Total memory usage: 64.12MB