Magma V2.19-8 Wed Aug 21 2013 01:04:11 on localhost [Seed = 3566390410] Type ? for help. Type -D to quit. Loading file "L14n24000__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n24000 geometric_solution 12.41765265 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 0321 0132 0132 0 1 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 2 0 -2 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.707884057854 0.946278870759 0 4 5 0 0132 0132 0132 0321 0 1 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 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.202723907212 0.682011946646 4 6 6 0 0321 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.897355960972 1.006257476078 7 8 0 9 0132 0132 0132 0132 0 1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 2 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.290067454563 0.916523894110 2 1 10 10 0321 0132 0132 3120 0 1 1 1 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 -2 0 2 1 0 1 -2 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.726807585312 0.778015594424 9 8 6 1 3120 1023 0321 0132 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 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.745485243543 1.545442088005 2 2 5 7 2031 0132 0321 3012 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 -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.506351051733 0.553557302070 3 11 6 9 0132 0132 1230 3120 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 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.368277077522 0.383434407528 5 3 12 10 1023 0132 0132 0321 0 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 3 -3 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722280466211 0.638388308420 7 11 3 5 3120 2031 0132 3120 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 -1 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.411244151205 0.637259463560 4 8 11 4 3120 0321 0321 0132 0 1 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -1 -1 0 1 0 -1 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401787608060 1.144237569970 9 7 10 12 1302 0132 0321 2310 0 0 0 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 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.028282862316 1.025930931194 11 12 12 8 3201 1230 3012 0132 0 0 0 0 0 0 1 -1 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 -3 3 0 0 0 0 0 1 0 -1 -2 3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468717556245 0.836004169798 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_9']), 'c_1001_10' : d['c_0011_12'], 'c_1001_12' : negation(d['c_0011_12']), 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : d['c_1001_3'], 'c_1001_7' : negation(d['c_0101_8']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_7']), 'c_1001_9' : d['c_0101_12'], 'c_1001_8' : d['c_0101_12'], 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : negation(d['c_0101_8']), 'c_1010_10' : d['c_1001_3'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_9']), 'c_0101_10' : d['c_0011_9'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : negation(d['c_0011_9']), 'c_1100_7' : negation(d['c_0101_7']), 'c_1100_6' : d['c_0101_8'], 'c_1100_1' : d['c_1001_0'], 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_0101_5']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : negation(d['c_0011_9']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : d['c_0101_12'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : d['c_1001_3'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_1001_3'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_12'], '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' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0101_12']), 'c_0110_10' : negation(d['c_0011_2']), 'c_0110_12' : d['c_0101_8'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], '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' : negation(d['c_0011_10']), 'c_0110_1' : negation(d['c_0011_0']), 'c_1100_9' : negation(d['c_0101_5']), 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_2']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_7'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_2, c_0011_9, c_0101_1, c_0101_12, c_0101_5, c_0101_7, c_0101_8, c_1001_0, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 1507694757912930235200654323633498956114301114177337925727405021427\ 84510847743725952269669193052761051715/5475374674437893528602722762\ 5538014088128508522711963601532644868821369964388133197183377882924\ 784*c_1001_3^23 - 2311463017197881411176871567539562059940723920227\ 8731987738133199585757009212564495081518525309191026695/19554909551\ 5639054592954384376921478886173244723971298576902303102933464158529\ 0471327977781533028*c_1001_3^22 + 166761055272181017696443285209261\ 7571867255845957836913837838530702841163306177123719589076300960990\ 34469/5475374674437893528602722762553801408812850852271196360153264\ 4868821369964388133197183377882924784*c_1001_3^21 + 2348736956749885480993874537156741648655118589578201699547376522787\ 61520305888895383999804248668428367053/4562812228698244607168935635\ 4615011740107090435593303001277204057351141636990110997652814902437\ 32*c_1001_3^20 - 29108961058686539349287100378488741349408323148586\ 24649678253899336679817229305133475308024316688478761831/5475374674\ 4378935286027227625538014088128508522711963601532644868821369964388\ 133197183377882924784*c_1001_3^19 - 2002359438233401681495466566340543457335318775524327096872560380619\ 50960938453702933595621609294513555005/1955490955156390545929543843\ 7692147888617324472397129857690230310293346415852904713279777815330\ 28*c_1001_3^18 + 32802139133871371479023470071058016985729235420731\ 23842945951830573883096957049251945496960151346568059507/1825124891\ 4792978428675742541846004696042836174237321200510881622940456654796\ 044399061125960974928*c_1001_3^17 + 2259600811716219244660957995494846486429792332013651094489825970826\ 188655416409159479454257131653712282085/273768733721894676430136138\ 1276900704406425426135598180076632243441068498219406659859168894146\ 2392*c_1001_3^16 - 184945111580619790048159061687861394533734577811\ 98283714404590147177020822099411043510003872130001491336231/5475374\ 6744378935286027227625538014088128508522711963601532644868821369964\ 388133197183377882924784*c_1001_3^15 + 2678150128779014370994129486401882241528357874361120950298755186348\ 81799485665531137917111594353754717750/3422109171523683455376701726\ 5961258805080317826694977250957903043013356227742583248239611176827\ 99*c_1001_3^14 + 34663761781392050706694558472563768807590515041296\ 535272987301639480822901289162545770490140742627477135/877463890134\ 2778090709491606656733026943671237614096731014846934105988776344252\ 1149332336350841*c_1001_3^13 - 639480840623375593382272202089908100\ 0033253936616106513636326046424227611308543121372191626667585276336\ 27/2281406114349122303584467817730750587005354521779665150063860202\ 867557081849505549882640745121866*c_1001_3^12 - 1646784893210763426280208170720258252357483552841106196136082914622\ 9643838595548284582459525390992308027987/54753746744378935286027227\ 6255380140881285085227119636015326448688213699643881331971833778829\ 24784*c_1001_3^11 + 31145771173320204122405385362351490403974078148\ 04264726681093084783788157041908478111603055103043883355153/9125624\ 4573964892143378712709230023480214180871186606002554408114702283273\ 98022199530562980487464*c_1001_3^10 + 4342398507163861649974274146345830773427073440195738338171420613042\ 567006468033594643492252686006367084007/273768733721894676430136138\ 1276900704406425426135598180076632243441068498219406659859168894146\ 2392*c_1001_3^9 - 1691982724659944280394909453162340863116545339118\ 10998746305432803680719989428973386804759651479475831877/7019711121\ 0742224725675932853253864215549369900912773848118775472847910210754\ 0169194658690806728*c_1001_3^8 - 8954526717554189669465194090986149\ 4032340627977243073256975679599881427386122458299867569168090096280\ 4115/13688436686094733821506806906384503522032127130677990900383161\ 217205342491097033299295844470731196*c_1001_3^7 + 9714734312975244305913479247775409518677828508905844704569488602802\ 11768448019383245836119681319308821387/9125624457396489214337871270\ 9230023480214180871186606002554408114702283273980221995305629804874\ 64*c_1001_3^6 + 132233648392048689745912510639466661296287339836841\ 5563533055426366836288127030086994274264918673450199509/54753746744\ 3789352860272276255380140881285085227119636015326448688213699643881\ 33197183377882924784*c_1001_3^5 - 127145785751672279949147740654346\ 1762614423927712867210331444847920789998931006335895181017581288288\ 92389/4562812228698244607168935635461501174010709043559330300127720\ 405735114163699011099765281490243732*c_1001_3^4 - 4097547071966507939259343819127893051849489282999974223236472896205\ 03978062637056644140360815991968278447/5475374674437893528602722762\ 5538014088128508522711963601532644868821369964388133197183377882924\ 784*c_1001_3^3 + 22271123530170176196361463890435471500839490178259\ 34756885247351070662994017617011259951682632643265347/7019711121074\ 2224725675932853253864215549369900912773848118775472847910210754016\ 9194658690806728*c_1001_3^2 + 4648910338342164897740078618128802039\ 501758731572174392793917870077120467955433112317828795209033608801/\ 3422109171523683455376701726596125880508031782669497725095790304301\ 335622774258324823961117682799*c_1001_3 + 4498024605024942214767963674322055858997379386743399328565618889872\ 309425115002614245923038035970160783/273768733721894676430136138127\ 6900704406425426135598180076632243441068498219406659859168894146239\ 2, c_0011_0 - 1, c_0011_10 - 30408758503888200421917197338515819172829490012317238715558\ 4288034504276267170231022503/14481510169317313130659367292506691274\ 63135670861418914368714491121066853733766872547*c_1001_3^23 + 1409829663486520316755839612003686843941653439985455342089241485407\ 991674129016109888953/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^22 - 1793210690469491836894914857522597421937420068402351287398768610542\ 884389547886784639285/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^21 - 5007789801688441244504818689933877687376632208459212353292782506678\ 963144799222322011226/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^20 + 7264258915236910048714642240754481562504089040884037070581803303210\ 869040720717127992160/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^19 + 7718735197885626524438675749620071822330025702861638599308599885664\ 982268141424005849539/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^18 - 4089195436426374497005701327794086699196649322720765961506114949105\ 6398560251921634588305/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^17 - 9754001105465768146646190298323259377670646632718544951058155994302\ 73966030690878530822/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^16 + 3255718141001164983598211459958090669651207949766115329052676635982\ 8026402148267763372885/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^15 - 1824038652972763296705460407123886937092848384526804965071915413598\ 1469263514533211354750/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^14 - 6109074572024144220994476693376065329901003034840374400590518072731\ 1111169010612831886389/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^13 + 3476364316463216128375421312108629927384080812112835489940712934573\ 4230312309125915256700/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^12 + 3389118863416779565360258350497685155707023088587007562643710505970\ 3161119746773078283217/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^11 - 3412279323196367320393176286306708970797960867456731081015155820938\ 7383014476472350288463/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^10 - 5742253507812765472629818021963943033366207634963279241351999925296\ 921467928186156130959/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^9 + 2125418191281587398536688895170073340106058531119148737020703944556\ 3537582076740490068270/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^8 + 1682213367801793928926843188355670454346394672512857195257342566119\ 961264777679690662394/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^7 - 8712419212742110778288147822554627190847884747978791107548893655491\ 649441748281646908009/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^6 - 8703360816764968041059374597605457678637649874475543246584917279209\ 16307232649078810501/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^5 + 2201364050345108470875874353905621075607419067040359638929100602074\ 154554958616166853863/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^4 + 8511747901895597154674633068431537257522442926002275812299456391361\ 22725634052460731241/2896302033863462626131873458501338254926271341\ 722837828737428982242133707467533745094*c_1001_3^3 - 2541144578456799290443939935930191635265694625959204163412991140229\ 17583803625285878540/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^2 - 9511464851810460113558403738313705412652772562846790656110915885631\ 7793406697179755697/14481510169317313130659367292506691274631356708\ 61418914368714491121066853733766872547*c_1001_3 - 1203627401826148810388313313622545615380261750363934716307657936267\ 8828665492198743562/14481510169317313130659367292506691274631356708\ 61418914368714491121066853733766872547, c_0011_11 + 47982949747061825230419099231509023201406310171468964995840\ 0500930661356669514385649321/28963020338634626261318734585013382549\ 26271341722837828737428982242133707467533745094*c_1001_3^23 - 1128357716496881530623540113801944283314321503609451789826618567603\ 762236740382957318501/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^22 + 7863418490885281222218190226492047660414198060057957979064459295319\ 79597624454574680037/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^21 + 3873871873731456549309034756669882458891122175267982437054890081524\ 840610897064733080963/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^20 - 1186340151654894071873350897299249711133758168374505357494201179530\ 2478969747725661601295/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^19 - 5700357752617383762296705183742584147541725241769550194819001949442\ 482255027756840714902/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^18 + 1631298338631763597634782959031764532592871080390213324220018125419\ 5948725097154389288345/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^17 - 9205074032827332009345216381018375577198299789121967420984870128943\ 9513859107667793009/14481510169317313130659367292506691274631356708\ 61418914368714491121066853733766872547*c_1001_3^16 - 5077568515861955970164385595058952810077197763443383767102413943532\ 3132497703270404345427/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^15 + 1539564283422805771180801330392525971272420203957754326022475882639\ 5569988442989827408038/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^14 + 4612206092643796821617297403383677450092229841495258869377820898982\ 9101683021209204423407/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^13 - 2793422758442050695758739679698386479569039218492907461185398034060\ 6119874446217892967795/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^12 - 1218117182732141213238696533236076206936902680216159502454675845559\ 6266150864721493122749/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^11 + 2695069509601351251632462154853677315336168728249149611231155483234\ 4827556314829828348114/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^10 + 3823195922174914430309382156469332798187528905095773239221447968451\ 729874402228931809413/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^9 - 1675725329535520265194664974810392797427642388019122381040729361966\ 8921713688476044873018/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^8 - 1094412965018510641920507621030268468784348795565125902069661422926\ 871904761814842856114/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^7 + 6936106615201419201081360766206952410719214418428458508596101683761\ 069674425511520172704/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^6 + 1325293235680603711221542638636540658910545788095822779789244222770\ 580184121810790610241/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^5 - 1791003804717012936375457939233332824475089566400814706644400589944\ 483762594307237738403/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^4 - 3467079088602649706805058932193486884377847335476784435076378254161\ 17118755384008667619/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^3 + 2180481724990390813505524613036550336409422712190134404300772886662\ 91918170743421244872/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^2 + 7981142214614580907394813325425989529420948278610922533299620022755\ 7266436270755113860/14481510169317313130659367292506691274631356708\ 61418914368714491121066853733766872547*c_1001_3 + 7557041841223634753998988259289593997053107297426556909848537475156\ 513682567032247287/144815101693173131306593672925066912746313567086\ 1418914368714491121066853733766872547, c_0011_12 + 39977390652739646980284940764335659613806947717608887044488\ 505874249790961655744416300/144815101693173131306593672925066912746\ 3135670861418914368714491121066853733766872547*c_1001_3^23 - 3419785099738191264713047030744664023738059137822796019769394575433\ 34228918969152152401/2896302033863462626131873458501338254926271341\ 722837828737428982242133707467533745094*c_1001_3^22 + 3818035456537088736894703279248209220261273897819940312155541019160\ 4580041575594960533/14481510169317313130659367292506691274631356708\ 61418914368714491121066853733766872547*c_1001_3^21 + 7627894806659975069067372778691962581559801488578454281087914103317\ 02757674652215225375/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^20 - 7707560748415737587269959167938993234249678968121987414569454771184\ 34529380927479383582/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^19 - 3079544456641153496930257075884956142671363745988100806286200777905\ 084756129403185535729/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^18 + 2652003918372429583665124683167326311525452829295785508139273473781\ 308417402393509236313/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^17 + 1281358041416275740601416633741032381779125065988749976684577964024\ 859297312373875895173/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^16 - 5044592213818065851274551910295419917765246858039963402152399113070\ 020379984971594797775/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^15 + 2212218089159920150625033192082298866220960950908545288400933372906\ 481175563126807946947/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^14 + 5956355139346616150840626774611525161723678350366991785705364846627\ 620102601282742469374/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^13 - 8353381189144105605773865528436595677380916037595245330280840557333\ 458021301498068732937/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^12 - 4543983527337807715160075078460963622791826046249018189167885378464\ 863987232035145079302/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^11 + 5133208561332520010263598059513072885547292794186147944363818152282\ 248639361838565969762/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^10 + 2375124765693378878211935639767422377842118932959442370328381119835\ 426543534386814801830/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^9 - 3627570094251272331702274071345439228657094017937275000256456030950\ 742546924574701493078/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^8 - 9661691025725982514303635861637219336467362253061635858730708942406\ 04832307735186739793/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^7 + 1598789202474183555941127319974186443150138952051068358273771705863\ 255651207320768881563/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^6 + 3577386368813486521796554917259645508518362506957775517436310419818\ 66432235809238108706/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^5 - 8389142288884671981904558487425921411152220974585587350216469441343\ 96094786919104362129/2896302033863462626131873458501338254926271341\ 722837828737428982242133707467533745094*c_1001_3^4 - 1134956349059281483536992137936591583674213773727367815657212499122\ 50866746501464438691/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^3 + 5016954626131959928847331370526148061557417541645549932360506555446\ 6564775733085752368/14481510169317313130659367292506691274631356708\ 61418914368714491121066853733766872547*c_1001_3^2 + 2085085081825190495100800713753738696750355461372535945513525785285\ 3871568860422760729/14481510169317313130659367292506691274631356708\ 61418914368714491121066853733766872547*c_1001_3 + 1785066877916079028895596546558650057918986678645143920467101868650\ 348753057764606391/144815101693173131306593672925066912746313567086\ 1418914368714491121066853733766872547, c_0011_2 - 882115693988087215920326807002605710661524448522605993976068\ 574993830042542663522380293/289630203386346262613187345850133825492\ 6271341722837828737428982242133707467533745094*c_1001_3^23 + 2003194506550228286848230960943914277902520154819093976569468280036\ 442532683336944514133/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^22 - 2147891110458580938117290379614482025830866304241905910195146075965\ 141601142810609608455/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^21 - 7532738447294152296691325649966698684149220489563213760619772178052\ 813344660055110519980/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^20 + 1986056322022433373630130584884264172032830316159340364996239007544\ 0051608846505874325167/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^19 + 1269371516704181072485127105755948383374218016290399462591106208656\ 5380031776505907854479/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^18 - 5857671876014238723980505775537600751472174614152597095268053619282\ 8634517610555373850615/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^17 - 4914642879721203187815260213421579305813925550819608119742133915045\ 156013159553273342584/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^16 + 9798282601869982565114251729458380953420922861947426967705616314368\ 1109297822313909895337/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^15 - 2212809493338258293957423284593618226168940703397938999599410033838\ 2973719479672547913491/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^14 - 4966779115918150373569326506371264496704383600407605416656591743223\ 7857698358562710992316/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^13 + 4832603727065370122903150583104031309992531297578953888547869925141\ 5042513804668651766572/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^12 + 6323376855968566417571320083308759753599195057751811135910275947006\ 4528696108107242746133/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^11 - 5056697357003132783858033501429721008194225148842244521202924463730\ 1290038869143566823283/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^10 - 1361629340467814298292357521415714977650921835446812753416204252458\ 8587943338664051468573/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^9 + 3285277243339372620674808579091514643361434972995608738646099626411\ 1719458256615044515522/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^8 + 4928042401504520541942442557605275723401127312758734536937308958519\ 286233622263903237011/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^7 - 1380452083591550320244149724948988480938036541534929063484613004999\ 3029720128647710339724/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^6 - 4024170912554817842673128193884900370634560303201469271322633129113\ 798491553995623585661/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^5 + 3522432172331744045521576112579205633523844378605812462474020413199\ 081208768974152294723/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^4 + 1508419125450946523939689368754152113522826442546097724237805690105\ 334329273538407034957/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^3 - 4080295717588624054767936075232910620018643391441934257203456474654\ 98700826018274528130/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^2 - 1523573830087705912569708232272808918681423805693283332056124634733\ 25242092549940822749/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3 - 1700019727396249890023252859138621882121566144205540216753194055783\ 7360774383728110032/14481510169317313130659367292506691274631356708\ 61418914368714491121066853733766872547, c_0011_9 - 462026605203897280324962563694929574366457008828605943819834\ 032177418048413394188748/144815101693173131306593672925066912746313\ 5670861418914368714491121066853733766872547*c_1001_3^23 + 4173171344437199021162957984768930463489221354269685407821360560284\ 6509547894972648871/28963020338634626261318734585013382549262713417\ 22837828737428982242133707467533745094*c_1001_3^22 - 1596202359305330829033097036506323748201925238582194969755136991748\ 91180683025065061977/2896302033863462626131873458501338254926271341\ 722837828737428982242133707467533745094*c_1001_3^21 + 2661598569455720144088357467030585975998235256859333014389238624829\ 5825716000232697995/14481510169317313130659367292506691274631356708\ 61418914368714491121066853733766872547*c_1001_3^20 + 2745158500600499491460612940260524772711292410401452529515240835926\ 42020278844225807716/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^19 - 5864126119828516054035673920095472371765973493288274421109368302108\ 12678810832706975619/2896302033863462626131873458501338254926271341\ 722837828737428982242133707467533745094*c_1001_3^18 - 8330915284375708863749896435563025341304098923748276176433522396113\ 84576824348116897251/2896302033863462626131873458501338254926271341\ 722837828737428982242133707467533745094*c_1001_3^17 + 8126532920067628443300487016887991640259446084876231187695851925117\ 05335939174531649720/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^16 + 1153147689937773905109465848750173255243120866365949409469930636768\ 12103762716975858774/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^15 - 2422927223124370656645304072714726726576135736083618652174737285987\ 913134259366174005057/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^14 + 1287799671142349772030118747927444126658575438521588294545984244417\ 265698889657635896097/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^13 + 1950813315882935258709446132359230981212063745860490386134822921438\ 203182454257624497345/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^12 - 2045089938228600894419034613335750980834693022400876539086894514882\ 945794828608520336189/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^11 - 4237094893506508864952377974303011454661967765444823727667227798046\ 74758111724412568281/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^10 + 6485326414507739547662837879181051842034850173577110987889575824473\ 26326451011691154866/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^9 + 1413067550147881274185091128368211532570735674233910700822374972860\ 02079243382657359417/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^8 - 1507153849191491145257495090872250274985823530854890996585013145071\ 85130317117860379168/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^7 - 7105677780741981393148195331681710627403148933007757335277655022203\ 9311467756810060920/14481510169317313130659367292506691274631356708\ 61418914368714491121066853733766872547*c_1001_3^6 - 4401297776632327894707336085195272508296515180619563427889341792949\ 5052563453741683549/14481510169317313130659367292506691274631356708\ 61418914368714491121066853733766872547*c_1001_3^5 + 5332112684557678182064054111231221836322745484305500045510144761942\ 0624663935326177449/28963020338634626261318734585013382549262713417\ 22837828737428982242133707467533745094*c_1001_3^4 + 7884334183044612587003228685214065783409806922771923451393417914252\ 6119760233103678337/28963020338634626261318734585013382549262713417\ 22837828737428982242133707467533745094*c_1001_3^3 - 2067770327771605832230252842541777451016229555970328033599235764583\ 890299002114699365/144815101693173131306593672925066912746313567086\ 1418914368714491121066853733766872547*c_1001_3^2 - 8810930990124956658849765544571481709993604987526912275158158460291\ 023956132634460406/144815101693173131306593672925066912746313567086\ 1418914368714491121066853733766872547*c_1001_3 - 1662260579678491432744987245708828564752585894673620143729897879134\ 629412887569804516/144815101693173131306593672925066912746313567086\ 1418914368714491121066853733766872547, c_0101_1 + 709818109089145682448888336325563816902582656678835639370216\ 830363290865953746861033745/289630203386346262613187345850133825492\ 6271341722837828737428982242133707467533745094*c_1001_3^23 - 3364225649423894936487181021942180246850121828712524006501703396105\ 009543216516518216601/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^22 + 1200446944460224051358278701949146348707428703155504845679126020798\ 131179147956045104158/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^21 + 5786000540104519034865687145875959339901163482606536950547391758068\ 843497497130348865380/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^20 - 1807196858138868013733980467724385122440707086566140383818301217603\ 4774025409804175116937/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^19 - 1678504545445883382221197387871322387837090791481899952958910689510\ 4539195392511314760885/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^18 + 2479030735402963627968115386265857974096088809530273173323339207235\ 1921317506437550169509/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^17 - 6734507241486513016503200216400038060584525908329181592566510421678\ 44010418458822385475/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^16 - 7683735224349811625397686819257433800475355823436739899411917201096\ 5384100862303629624109/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^15 + 4851470365093855722020302697679638694306236217264636130454590572853\ 1083966235400234188335/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^14 + 6882900871277053409045672945408718283671889664868521089524020815352\ 7251071144745910662495/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^13 - 8693694027948745217107040294735196696899997511521517899383569788107\ 2912252981348590407969/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^12 - 1720593404689467054510226349086133250695566257044251575832642974997\ 4094108665252823113325/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^11 + 4160724692668114178838617200322712528626726648568238702047807302906\ 5866633076209522985841/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^10 + 4305609330862529633129859987005422181473258187587375734251616425520\ 866110673701839242727/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^9 - 2558756900030512819251295477941463424778314978935659420418259447169\ 1226758168965579260409/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^8 - 6150170779306671970528429834505912084040880253225910632772193561817\ 53306332144141709070/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^7 + 1046166423090440053855825648792142887731357974218153426084228284616\ 5566252652607704414304/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^6 + 1075026687839166758855474177382174889123356613554626041184460276113\ 482478280020084622337/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^5 - 5346738536805877584685730309501752145216055062809642342802808300713\ 053792810660897483267/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^4 - 3997618409815655597646537757935042101889893379963783760197543189291\ 51106543042378032392/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^3 + 3263797865823204264347555444161600065853549818311049612748810498513\ 32040825094213176778/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^2 + 1069508831996660769590758083112774012250528022488747981073088251964\ 25114591485539064965/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3 + 1090453749521029259396665237269517818281288399354952482823278451556\ 6766232864447513033/14481510169317313130659367292506691274631356708\ 61418914368714491121066853733766872547, c_0101_12 - 37313827510132124379471382375172320959957140876993084578088\ 7013138919965064101508399741/28963020338634626261318734585013382549\ 26271341722837828737428982242133707467533745094*c_1001_3^23 + 1754910141347507467276483951628091372452074223537583204891583372789\ 356550590158918420353/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^22 - 1186383641564851199479285839428558586320374078420607762290411637792\ 247088564072930352301/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^21 - 3096621470138523377093220889886805939424674180488607510160525635609\ 001883524575590725058/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^20 + 9369884533685425598694233921637923664486284686564796590590432618548\ 692562977737088518001/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^19 + 9294352632309702596758944127080065638724279386140168710638038163745\ 315677886329095842387/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^18 - 2614737217817810741694445970973214021219236085463311016688658450978\ 9132901259055458089165/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^17 - 1132593336689077322677326339967734897087405405227466891914486330314\ 45850773201400703488/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^16 + 4124857617660982546051857735486287206475182679502753399100344191788\ 8525040469737222618007/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^15 - 2464737673025536874726108099972551245937352720654265925444044133682\ 2590673541202671197107/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^14 - 1897352554426149827662662387371274102940307562510549168841392596063\ 1882472807626244952838/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^13 + 4577488698067178182743059217862786542153927672354449803826610039063\ 7874247581386435657913/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^12 + 1989787715252443276597669548314426322084168549608024463223011864897\ 1456887503924339706811/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^11 - 2229925014137771517369790426220835202211664402610060258917932639254\ 6120354643134768830628/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^10 - 2829732834183926150120540043464136856361220862732183909327097430618\ 114108817223291232070/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^9 + 1386682927042283097189196136587625293878353635478072584987857281987\ 5645967963893730634933/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^8 + 5812743414384856240137457486944335416706554605441739888878260208603\ 15312601387931083880/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^7 - 5717710340521142585548893899496007303137943551970017943054575800920\ 930094651765984192428/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^6 - 7461290473064805716240458425069911751484617163894771723112853677079\ 42713459555246630229/2896302033863462626131873458501338254926271341\ 722837828737428982242133707467533745094*c_1001_3^5 + 2942112494551761222541313905640782496096330691732594983487303641919\ 048778952365967228561/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^4 + 4667210992734165213435085914169100304318130479440663052489035865963\ 94420629925028447027/2896302033863462626131873458501338254926271341\ 722837828737428982242133707467533745094*c_1001_3^3 - 1816789874008419675633275609019805389319660929822427817005835834860\ 16503627142535509305/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^2 - 5873442597599794032934954442782255539680669721876578110553597740062\ 4495491277636195040/14481510169317313130659367292506691274631356708\ 61418914368714491121066853733766872547*c_1001_3 - 4926279693513839104433794683880030480776224734072150502370085996777\ 432773997982778284/144815101693173131306593672925066912746313567086\ 1418914368714491121066853733766872547, c_0101_5 + 709818109089145682448888336325563816902582656678835639370216\ 830363290865953746861033745/289630203386346262613187345850133825492\ 6271341722837828737428982242133707467533745094*c_1001_3^23 - 3364225649423894936487181021942180246850121828712524006501703396105\ 009543216516518216601/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^22 + 1200446944460224051358278701949146348707428703155504845679126020798\ 131179147956045104158/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^21 + 5786000540104519034865687145875959339901163482606536950547391758068\ 843497497130348865380/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^20 - 1807196858138868013733980467724385122440707086566140383818301217603\ 4774025409804175116937/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^19 - 1678504545445883382221197387871322387837090791481899952958910689510\ 4539195392511314760885/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^18 + 2479030735402963627968115386265857974096088809530273173323339207235\ 1921317506437550169509/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^17 - 6734507241486513016503200216400038060584525908329181592566510421678\ 44010418458822385475/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^16 - 7683735224349811625397686819257433800475355823436739899411917201096\ 5384100862303629624109/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^15 + 4851470365093855722020302697679638694306236217264636130454590572853\ 1083966235400234188335/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^14 + 6882900871277053409045672945408718283671889664868521089524020815352\ 7251071144745910662495/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^13 - 8693694027948745217107040294735196696899997511521517899383569788107\ 2912252981348590407969/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^12 - 1720593404689467054510226349086133250695566257044251575832642974997\ 4094108665252823113325/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^11 + 4160724692668114178838617200322712528626726648568238702047807302906\ 5866633076209522985841/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^10 + 4305609330862529633129859987005422181473258187587375734251616425520\ 866110673701839242727/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^9 - 2558756900030512819251295477941463424778314978935659420418259447169\ 1226758168965579260409/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^8 - 6150170779306671970528429834505912084040880253225910632772193561817\ 53306332144141709070/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^7 + 1046166423090440053855825648792142887731357974218153426084228284616\ 5566252652607704414304/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^6 + 1075026687839166758855474177382174889123356613554626041184460276113\ 482478280020084622337/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^5 - 5346738536805877584685730309501752145216055062809642342802808300713\ 053792810660897483267/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^4 - 3997618409815655597646537757935042101889893379963783760197543189291\ 51106543042378032392/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^3 + 3263797865823204264347555444161600065853549818311049612748810498513\ 32040825094213176778/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^2 + 1055027321827343456460098715820267320975896665780133791929401107053\ 04047737751772192418/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3 + 1090453749521029259396665237269517818281288399354952482823278451556\ 6766232864447513033/14481510169317313130659367292506691274631356708\ 61418914368714491121066853733766872547, c_0101_7 - 669765090824043407211552651616980132095249662999464313182046\ 130182770748142692143395401/289630203386346262613187345850133825492\ 6271341722837828737428982242133707467533745094*c_1001_3^23 + 1536252573893445375901400276935964689990427426920431339139520497080\ 789589055969399354406/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^22 - 8830369938369772094104767973490785878919993693891222159280279161440\ 01269462089413901248/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^21 - 5700595609540167330655614484984335788931281139953133379545207759239\ 113965540878498717187/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^20 + 1568528278374691949412386015047402117975710741747566255564019272955\ 0559298746619023762243/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^19 + 9318675917333485365248219335340063225078952623761346231496935327044\ 891525549542550634529/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^18 - 2283322685939587790149193269028641244917297635411789900055126054015\ 8685612736474200373434/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^17 - 2686487333641682734837931909008266118321645259938497794702792777090\ 195077482164516299867/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^16 + 7531266469362039272737678394202531801694203171843099287552126036041\ 5289372335020286127375/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^15 - 1870930342391909925879732257026790969485161243741218975135460241814\ 0322255131010538732841/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^14 - 7440612774045889383440322855016728675289787840216867389916134229044\ 8857431725962800632513/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^13 + 3883441792355545240648656528771674135276786140244228414817292343463\ 8756756589908919629377/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^12 + 2238023083771599437586055142225441229034681911655342556585083799429\ 6933614014202763589903/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^11 - 3992255619111298234988793081188805894129938981871652868231231200928\ 2818439289830409115473/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^10 - 8552303006726327476773460202482278088721483809458515171962958777239\ 829414709389531230252/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^9 + 2569722633953280815367386115342344650234261922763041538957123963473\ 1602703229013104443082/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^8 + 2658233101927292526156883177692369327555378062029343752113696031620\ 290937841463890964199/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^7 - 1076872001791858501981682965197621419315783057904745386703220037755\ 3627436280224526528162/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^6 - 2292933898174684654225526884642751825846694640582856642052340445657\ 681504320467760701123/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^5 + 2755795958591737290677584035149988792973537004978827681049450413239\ 165977404776241066925/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^4 + 5042922272297624751871957889915972174627345286083825332147092989038\ 05598618446184284334/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^3 - 3224183789282051240418141360332494539103794562173089165143184251569\ 77010753100252881393/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^2 - 1115571687946317351446311537580544802539895215885223652266339976035\ 93024841689557494931/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3 - 1254119425711752326965164445729871241073500000748554270768172910231\ 5300078508408702610/14481510169317313130659367292506691274631356708\ 61418914368714491121066853733766872547, c_0101_8 - 824066605715211438051558850938556936296528247206955099301867\ 031510947485599581121264685/289630203386346262613187345850133825492\ 6271341722837828737428982242133707467533745094*c_1001_3^23 + 3919510559582832302907677258085552478041646044411411675215460328676\ 268717037933648172839/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^22 - 1429906027798515281299115603143539046102461164511455636784015362769\ 293823351080791831526/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^21 - 6686047232975560596985800319172065035975501126549306523655631275062\ 155897065701700779684/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^20 + 2125044152311238339613699978050198940551450914516311763858335208372\ 5881585254739299695569/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^19 + 1900823596914112603215003075252456819561399352470343789408620731074\ 8503936043768212365731/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^18 - 2897664365206079102901227273805063039359517918172432027194032774446\ 5251871083402483532223/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^17 + 1446833633481125308103971740305988425804539193270447701583365114607\ 207025423690383197569/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^16 + 8911516732447938221125985487333607058398755744707010961686158210982\ 3967466201918206423929/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^15 - 5842666688421396521066852070902660688817331156026085666979953012918\ 7450924750371552848031/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^14 - 7848844669264231037164101871022214275651332206496753422279527530390\ 5735425537660333995951/28963020338634626261318734585013382549262713\ 41722837828737428982242133707467533745094*c_1001_3^13 + 1028454238648251549979327714359923427984427409320058484692551655512\ 75330004979670202655145/2896302033863462626131873458501338254926271\ 341722837828737428982242133707467533745094*c_1001_3^12 + 1865911309181690103338732211101199052555741997977203250497729130294\ 9431698016720142645837/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^11 - 4875063841855142341923262300298232841703167611431722864398464088911\ 5320199278083494026850/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^10 - 3691134714697011377981601435213264362613126779469000858804867575981\ 015532410541009007973/144815101693173131306593672925066912746313567\ 0861418914368714491121066853733766872547*c_1001_3^9 + 2975085895413440346897444928931343453268776781782054453507575755088\ 3457746072395706705870/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^8 - 1103162491245699008472804701783107967082497985250614088839464463295\ 78564049103251322572/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^7 - 1209274893688318729375879403878195391715122472394698518346435901301\ 4639833266582869470418/14481510169317313130659367292506691274631356\ 70861418914368714491121066853733766872547*c_1001_3^6 - 5568564487936632381912463716151342591794526632925817854203743113461\ 48108647435624842813/2896302033863462626131873458501338254926271341\ 722837828737428982242133707467533745094*c_1001_3^5 + 6162052989732492821300672573729227158675784643020174722081180411559\ 238968268760246407171/289630203386346262613187345850133825492627134\ 1722837828737428982242133707467533745094*c_1001_3^4 + 3708694547396162273463127674330651237700998604819070452246000446692\ 63831898036911374870/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^3 - 3794978116252361145014211312149468725409445371492825730270940001452\ 52227903466898400608/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3^2 - 1088186036440710777907512003344328761247751863492690465348340627390\ 89806728665883033969/1448151016931731313065936729250669127463135670\ 861418914368714491121066853733766872547*c_1001_3 - 9594484419178761037289365425415548811518657510629755786602706022648\ 194969239010071500/144815101693173131306593672925066912746313567086\ 1418914368714491121066853733766872547, c_1001_0 - 1, c_1001_3^24 - 79911/20581*c_1001_3^23 - 12142/20581*c_1001_3^22 + 387521/20581*c_1001_3^21 - 233593/20581*c_1001_3^20 - 82539/1871*c_1001_3^19 + 989972/20581*c_1001_3^18 + 1146599/20581*c_1001_3^17 - 2171317/20581*c_1001_3^16 - 481303/20581*c_1001_3^15 + 3053431/20581*c_1001_3^14 - 749404/20581*c_1001_3^13 - 3013690/20581*c_1001_3^12 + 1430117/20581*c_1001_3^11 + 2228444/20581*c_1001_3^10 - 104620/1871*c_1001_3^9 - 1268184/20581*c_1001_3^8 + 509116/20581*c_1001_3^7 + 536399/20581*c_1001_3^6 - 104557/20581*c_1001_3^5 - 150838/20581*c_1001_3^4 - 523/1871*c_1001_3^3 + 20938/20581*c_1001_3^2 + 6148/20581*c_1001_3 + 614/20581 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.000 Total time: 1.209 seconds, Total memory usage: 32.09MB