Magma V2.19-8 Tue Aug 20 2013 16:16:25 on localhost [Seed = 3515895100] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0692 geometric_solution 4.65361666 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574870713851 0.085483828432 2 0 2 0 0132 2310 1023 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.723239866217 0.167588766289 1 3 1 4 0132 0132 1023 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.585110972522 0.920893034868 5 2 4 4 0132 0132 3012 1230 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 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.495303865149 1.550309210419 3 3 2 5 3012 1230 0132 3201 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 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 1.495303865149 1.550309210419 3 4 6 6 0132 2310 0132 3201 0 0 0 0 0 1 0 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.267476004978 0.497970668304 6 5 6 5 2031 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.037575404603 1.968501750072 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : 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_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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 7717706389400431382350740387366427820499337351057996676954359408257\ 1641414037/15844759980280600120679116756389307290216000522377809184\ 5567131165660063335*c_0101_3^24 + 555461016676419485589054088763520\ 960243742803455062949503540581352866997505666/158447599802806001206\ 791167563893072902160005223778091845567131165660063335*c_0101_3^23 - 1819852084168853485876249613317691593572475443235029862430032001945\ 728535844249/158447599802806001206791167563893072902160005223778091\ 845567131165660063335*c_0101_3^22 + 2728309957837453166715132781854972563674721932002512430331434540519\ 931210271696/158447599802806001206791167563893072902160005223778091\ 845567131165660063335*c_0101_3^21 + 3163996173798679904619977535205680836615157993131497927648640280174\ 3017849312887/15844759980280600120679116756389307290216000522377809\ 1845567131165660063335*c_0101_3^20 - 1204993840735791928374838080007519320460673150917112674697602814664\ 0449029067332/15844759980280600120679116756389307290216000522377809\ 1845567131165660063335*c_0101_3^19 + 5870414074082872693012340986949732829117638799845753628547264170644\ 074706594474/316895199605612002413582335127786145804320010447556183\ 69113426233132012667*c_0101_3^18 + 3634997912169434869469417915415381683249614602301541765311063517026\ 1266608881434/31689519960561200241358233512778614580432001044755618\ 369113426233132012667*c_0101_3^17 - 8573505618421468497941139547253678115841788050097406191139132371648\ 995563943773/316895199605612002413582335127786145804320010447556183\ 69113426233132012667*c_0101_3^16 + 4196209820553980066278811488418506909779438439400914437513938976292\ 71322744660292/1584475998028060012067911675638930729021600052237780\ 91845567131165660063335*c_0101_3^15 - 1461021264645170471785221762805469136181336490846937436313284915002\ 529316338173249/158447599802806001206791167563893072902160005223778\ 091845567131165660063335*c_0101_3^14 - 3685844736055882033882049356400514643655803584872795948042364549714\ 539891994856431/158447599802806001206791167563893072902160005223778\ 091845567131165660063335*c_0101_3^13 + 3785974272095914483646562899045806381188957810400601374261616205553\ 42521270685214/1584475998028060012067911675638930729021600052237780\ 91845567131165660063335*c_0101_3^12 + 6223337303736814569340719242829285577040282986829159605559284188415\ 20338816961384/1584475998028060012067911675638930729021600052237780\ 91845567131165660063335*c_0101_3^11 + 4550491760657473591647657055358111932118066636283088552713981846858\ 302666380147389/158447599802806001206791167563893072902160005223778\ 091845567131165660063335*c_0101_3^10 + 8209167920486655969456050372220880414667511054565363195369295597021\ 394259224961464/158447599802806001206791167563893072902160005223778\ 091845567131165660063335*c_0101_3^9 + 2562696132590624903908008364848898995298196987535335796655021295732\ 12260199230109/3168951996056120024135823351277861458043200104475561\ 8369113426233132012667*c_0101_3^8 + 1998743269632314430150302450188725617365913613437280721234396858978\ 0387246932178/31689519960561200241358233512778614580432001044755618\ 369113426233132012667*c_0101_3^7 - 1786761979396730024443468178189473670916161863534505233426090032157\ 913764025470657/158447599802806001206791167563893072902160005223778\ 091845567131165660063335*c_0101_3^6 - 2161117737548290854316854466688065491111801440870261656000356648594\ 068324878334803/158447599802806001206791167563893072902160005223778\ 091845567131165660063335*c_0101_3^5 - 1113186899796449613808638148505262721943620881149475023661451137836\ 313784007158788/158447599802806001206791167563893072902160005223778\ 091845567131165660063335*c_0101_3^4 - 1009324193151188727895993963247255349273674877349527630462371636985\ 58566731235590/3168951996056120024135823351277861458043200104475561\ 8369113426233132012667*c_0101_3^3 - 1795249395225933640055409487483445775565489926429715251923702956140\ 9326391766318/31689519960561200241358233512778614580432001044755618\ 369113426233132012667*c_0101_3^2 + 1021589724952230502055471480295753451908326859770397401558367381581\ 4945696495816/15844759980280600120679116756389307290216000522377809\ 1845567131165660063335*c_0101_3 + 894260086324700211455343006819472\ 7409671395512678272125523178334397053655876691/15844759980280600120\ 6791167563893072902160005223778091845567131165660063335, c_0011_0 - 1, c_0011_1 - 317871564367234402220613809454043458413404323131709077824066\ 9354074698/19405707263050336951229781697966083637741580554045081671\ 226837864747099*c_0101_3^24 - 2292796125179683370273523499839152262\ 6661481758510611337441452822526465/19405707263050336951229781697966\ 083637741580554045081671226837864747099*c_0101_3^23 + 7460238873046231658740788810678842143684616994861385933561561374054\ 6975/19405707263050336951229781697966083637741580554045081671226837\ 864747099*c_0101_3^22 - 1111363500074919776473720394360304549909329\ 38007391230763699102589109896/1940570726305033695122978169796608363\ 7741580554045081671226837864747099*c_0101_3^21 - 1305102588793075332333359738199650230167110598257915345060909783885\ 953549/194057072630503369512297816979660836377415805540450816712268\ 37864747099*c_0101_3^20 + 47600525552448114385820899480740132381006\ 3149268228384301407775035523080/19405707263050336951229781697966083\ 637741580554045081671226837864747099*c_0101_3^19 - 1197901694643518162223995219120063737654356818140585416427896798529\ 431478/194057072630503369512297816979660836377415805540450816712268\ 37864747099*c_0101_3^18 - 75054009067438643450166020552504550492837\ 70034849236038862121763144099830/1940570726305033695122978169796608\ 3637741580554045081671226837864747099*c_0101_3^17 + 1649099205077397985005504455232326155475504344956108010060808809737\ 987617/194057072630503369512297816979660836377415805540450816712268\ 37864747099*c_0101_3^16 - 17236723442645778177131302557233696360334\ 309397549647172077214514632861873/194057072630503369512297816979660\ 83637741580554045081671226837864747099*c_0101_3^15 + 5990275921064157022416862470778849702132046840077734769381457528498\ 2890907/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^14 + 1527890925677851731068778974056149913682\ 39303092179310657163418986468580973/1940570726305033695122978169796\ 6083637741580554045081671226837864747099*c_0101_3^13 - 1333875641474663397190189579457792987839808190195665515098216831233\ 5445590/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^12 - 2628253783715754657453136496304888608728\ 8826543549708917070138178652685381/19405707263050336951229781697966\ 083637741580554045081671226837864747099*c_0101_3^11 - 1878145646720255439784901214940104741578536965461188510639568688301\ 93674107/1940570726305033695122978169796608363774158055404508167122\ 6837864747099*c_0101_3^10 - 340819958836106598874816798933965891000\ 556196180825479196783789686809154103/194057072630503369512297816979\ 66083637741580554045081671226837864747099*c_0101_3^9 - 5763585145195171698578656222463440705666731104824931849679684081752\ 3092578/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^8 - 41335537827814275835020773740069629848248\ 75635797592508319616804710582984/1940570726305033695122978169796608\ 3637741580554045081671226837864747099*c_0101_3^7 + 7364810572006591016358428145357715930781849582809707703217866095647\ 5715889/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^6 + 89832008853099521863187712086207041994681\ 848453307244149898456854288521026/194057072630503369512297816979660\ 83637741580554045081671226837864747099*c_0101_3^5 + 4702278697468945560907447341540470455840437067679901725930959417211\ 1109572/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^4 + 21354589385630283770911453964992778527750\ 846135025004590925506901866693998/194057072630503369512297816979660\ 83637741580554045081671226837864747099*c_0101_3^3 + 3945493472356098434528051613450349260453405211099459427297558968680\ 947940/194057072630503369512297816979660836377415805540450816712268\ 37864747099*c_0101_3^2 - 350086698787364592617750387687874644905600\ 597034593363240405536421141628/194057072630503369512297816979660836\ 37741580554045081671226837864747099*c_0101_3 - 3636579040356818609946389372943154229059525630885798414465019317681\ 27182/1940570726305033695122978169796608363774158055404508167122683\ 7864747099, c_0011_4 - 229197185409746202813296053250299844506851571962592660763244\ 5645957283/19405707263050336951229781697966083637741580554045081671\ 226837864747099*c_0101_3^24 - 1650924563822381883352971411902955599\ 8421437958153963059158332756933118/19405707263050336951229781697966\ 083637741580554045081671226837864747099*c_0101_3^23 + 5394148588317244096852403587363015743942827852397702830416432599054\ 4061/19405707263050336951229781697966083637741580554045081671226837\ 864747099*c_0101_3^22 - 8076226616104552160395783606817647793016681\ 7358363008026313549881511888/19405707263050336951229781697966083637\ 741580554045081671226837864747099*c_0101_3^21 - 9399426008842144302356722835539865631505580447660152732731372797722\ 50769/1940570726305033695122978169796608363774158055404508167122683\ 7864747099*c_0101_3^20 + 352152377869794141576242092605492025738256\ 115181167049063162162055863162/194057072630503369512297816979660836\ 37741580554045081671226837864747099*c_0101_3^19 - 8726730395255352822496282356204435865702024076306906436017538288024\ 17702/1940570726305033695122978169796608363774158055404508167122683\ 7864747099*c_0101_3^18 - 540209776933958892233605954693600445924090\ 4994257923773460452334125676094/19405707263050336951229781697966083\ 637741580554045081671226837864747099*c_0101_3^17 + 1239577569769059790606587445350622595612160429687761224271488003863\ 468627/194057072630503369512297816979660836377415805540450816712268\ 37864747099*c_0101_3^16 - 12472469289054165621170920640464203038518\ 255108206113826452007745100747316/194057072630503369512297816979660\ 83637741580554045081671226837864747099*c_0101_3^15 + 4331685715403081116262806438168706737963605198887109571983030642170\ 0409563/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^14 + 1096788768413187551599686195849309713252\ 22908774097000368645090097001134543/1940570726305033695122978169796\ 6083637741580554045081671226837864747099*c_0101_3^13 - 1047652042515248477554472851054625007079125328705242305512790718850\ 7593084/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^12 - 1815996370447895466311317077035630494989\ 6652996034667158038765577063473582/19405707263050336951229781697966\ 083637741580554045081671226837864747099*c_0101_3^11 - 1352350690623531229706888100020256682033233748530595172068284673023\ 13053274/1940570726305033695122978169796608363774158055404508167122\ 6837864747099*c_0101_3^10 - 244708715591925593655358109546502637057\ 353505681925841308033318649996546243/194057072630503369512297816979\ 66083637741580554045081671226837864747099*c_0101_3^9 - 3989351814407220002109294946988913354745858495038836065526981659573\ 6609583/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^8 - 40621771611450263714471240995835808022899\ 18615057212808131634130752038946/1940570726305033695122978169796608\ 3637741580554045081671226837864747099*c_0101_3^7 + 5283915974512803326505763398070642572730656845097683727666736100670\ 5836261/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^6 + 64574451730052717249188778207149997944477\ 039442301759543936243387032098479/194057072630503369512297816979660\ 83637741580554045081671226837864747099*c_0101_3^5 + 3357744516327811945122938924904063291342581913536836898102846782231\ 9789079/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^4 + 15442124732745846937556034107454514348073\ 526507773592454984332133582718536/194057072630503369512297816979660\ 83637741580554045081671226837864747099*c_0101_3^3 + 2861501187686005547712955032005536970430206109538360025191904056295\ 711750/194057072630503369512297816979660836377415805540450816712268\ 37864747099*c_0101_3^2 - 238485528846887855819444178979963692055393\ 496221574131765344638965071741/194057072630503369512297816979660836\ 37741580554045081671226837864747099*c_0101_3 - 2567457328158540585907976435149901557433552561182112776868930215466\ 05997/1940570726305033695122978169796608363774158055404508167122683\ 7864747099, c_0011_6 + 223868977678958909051776878999700355099417889185273476205236\ 8109517895/19405707263050336951229781697966083637741580554045081671\ 226837864747099*c_0101_3^24 + 1614803781214686314916513939556775937\ 8101562696977944788100344804176619/19405707263050336951229781697966\ 083637741580554045081671226837864747099*c_0101_3^23 - 5253938104773335796929013512857793967678887965089834764330130344284\ 1422/19405707263050336951229781697966083637741580554045081671226837\ 864747099*c_0101_3^22 + 7825009076488282439869549886298383317407993\ 2548330503188941662664520391/19405707263050336951229781697966083637\ 741580554045081671226837864747099*c_0101_3^21 + 9192457784964024373948878605221587864559864441285944051092939088968\ 50617/1940570726305033695122978169796608363774158055404508167122683\ 7864747099*c_0101_3^20 - 335254819005606657933196830758328215616014\ 773811788007868212005104232757/194057072630503369512297816979660836\ 37741580554045081671226837864747099*c_0101_3^19 + 8429768212384376845116013686870804926249169110476195727132990310437\ 24405/1940570726305033695122978169796608363774158055404508167122683\ 7864747099*c_0101_3^18 + 528819679555741176714289793459522446132910\ 2935795952074139364327020816595/19405707263050336951229781697966083\ 637741580554045081671226837864747099*c_0101_3^17 - 1162930768374662002875114987976872016201443810280350814763477802005\ 973595/194057072630503369512297816979660836377415805540450816712268\ 37864747099*c_0101_3^16 + 12136460039275355657811343487728220877949\ 910194933759736951503492047222166/194057072630503369512297816979660\ 83637741580554045081671226837864747099*c_0101_3^15 - 4217402162189278577469059204980390806272982607159208923999920226687\ 9995910/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^14 - 1076339887267050927850480942267566898759\ 24686364164332849351786742045442149/1940570726305033695122978169796\ 6083637741580554045081671226837864747099*c_0101_3^13 + 9437533128208569220301011712782920318614847108660741605895921795612\ 102376/194057072630503369512297816979660836377415805540450816712268\ 37864747099*c_0101_3^12 + 18508031316349730724096066502849135794893\ 525979598244400732552762560917655/194057072630503369512297816979660\ 83637741580554045081671226837864747099*c_0101_3^11 + 1320879510569881297729680457173920998599539088670237125285410988354\ 07852996/1940570726305033695122978169796608363774158055404508167122\ 6837864747099*c_0101_3^10 + 240196020498529339994756454690252566804\ 713270449581033479209505077314776176/194057072630503369512297816979\ 66083637741580554045081671226837864747099*c_0101_3^9 + 4054278359590726486761318360826712904155873907539890789465987219436\ 3723798/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^8 + 29315017393814809769263017021745283663378\ 14799635077196190699270307168739/1940570726305033695122978169796608\ 3637741580554045081671226837864747099*c_0101_3^7 - 5154302409811207062109960067522091209183956726228553066633334655609\ 5621779/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^6 - 63482782741263893268032045405290903865866\ 513505491441834894407829641198568/194057072630503369512297816979660\ 83637741580554045081671226837864747099*c_0101_3^5 - 3309358807458792251250292410344155865574525748850086499722572084370\ 7430663/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^4 - 15048392957665766457339641001346268155749\ 783831721224076584101672813013564/194057072630503369512297816979660\ 83637741580554045081671226837864747099*c_0101_3^3 - 2826066943137662256251477760256069405510685092773257874708039369017\ 520264/194057072630503369512297816979660836377415805540450816712268\ 37864747099*c_0101_3^2 + 246645137659884590032626834537674279513625\ 770570522302854774176839538747/194057072630503369512297816979660836\ 37741580554045081671226837864747099*c_0101_3 + 2507689589163362173040437496847814973292937931660155484348936821940\ 43708/1940570726305033695122978169796608363774158055404508167122683\ 7864747099, c_0101_0 - 129971139885579068480515454943645577690225008486499456090514\ 4367092632/19405707263050336951229781697966083637741580554045081671\ 226837864747099*c_0101_3^24 - 9344696311047656721305487921712115277\ 139271673701972026854989017414531/194057072630503369512297816979660\ 83637741580554045081671226837864747099*c_0101_3^23 + 3071144416413145597134330768902724340409320152439630773388302130353\ 1657/19405707263050336951229781697966083637741580554045081671226837\ 864747099*c_0101_3^22 - 4622039964922810554572458860167813149888645\ 8256449708664098809302246842/19405707263050336951229781697966083637\ 741580554045081671226837864747099*c_0101_3^21 - 5324307382773859346100442584088586582152479849925440137375038110812\ 16788/1940570726305033695122978169796608363774158055404508167122683\ 7864747099*c_0101_3^20 + 206924950226060269269780968788157589657509\ 288336527071409694638479331313/194057072630503369512297816979660836\ 37741580554045081671226837864747099*c_0101_3^19 - 4984023237405898027092052330202723374520542779219645641783376633371\ 09436/1940570726305033695122978169796608363774158055404508167122683\ 7864747099*c_0101_3^18 - 305973698819799559669499554307997373361501\ 7056132771924655529399933102497/19405707263050336951229781697966083\ 637741580554045081671226837864747099*c_0101_3^17 + 7457420150508005658610109123383726302979868841187718553127922340360\ 15197/1940570726305033695122978169796608363774158055404508167122683\ 7864747099*c_0101_3^16 - 708873189477872906811447174052117488206052\ 5942928519325116732056254446513/19405707263050336951229781697966083\ 637741580554045081671226837864747099*c_0101_3^15 + 2464049634498168164024904822699902476907638592876715904996054506071\ 1015947/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^14 + 6187626467850656962199755481934972354419\ 6140022289579508945819422293683399/19405707263050336951229781697966\ 083637741580554045081671226837864747099*c_0101_3^13 - 6786466416016323221802656076432415523163630598098733776459453024277\ 899331/194057072630503369512297816979660836377415805540450816712268\ 37864747099*c_0101_3^12 - 99919596738898362498560004353717857146453\ 21107508692937328387233288694996/1940570726305033695122978169796608\ 3637741580554045081671226837864747099*c_0101_3^11 - 7624656671470490497949834480796531539487626586271279814596085781594\ 3758361/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^10 - 1379741680670940073677536551609169279183\ 11659085683372461992124659320781165/1940570726305033695122978169796\ 6083637741580554045081671226837864747099*c_0101_3^9 - 2088164854258087321373511097946503519564052729211199498865479252952\ 9872377/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^8 - 25347176332068242357887453564413137118400\ 91595258302164066889875469882037/1940570726305033695122978169796608\ 3637741580554045081671226837864747099*c_0101_3^7 + 2932200500733996378203782542925869525561162742287622524608635683059\ 0372343/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^6 + 36460346877269022041823942266392041102395\ 327606821687412862660219861367980/194057072630503369512297816979660\ 83637741580554045081671226837864747099*c_0101_3^5 + 1858655995682177764095345328923346210142040549301564399027352329087\ 4074788/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^4 + 86459685073798316917026377829106211796346\ 38753485297985545340304495456551/1940570726305033695122978169796608\ 3637741580554045081671226837864747099*c_0101_3^3 + 1662997557337907740260358672440727887063996003421693627020073232517\ 265381/194057072630503369512297816979660836377415805540450816712268\ 37864747099*c_0101_3^2 - 125818860949842664598582688985137396156242\ 454778413517080593153756198888/194057072630503369512297816979660836\ 37741580554045081671226837864747099*c_0101_3 - 1343451111829004860648887859800801149046664394523242571776088677391\ 05373/1940570726305033695122978169796608363774158055404508167122683\ 7864747099, c_0101_1 + 144179584134273840898180010674228790850096625344761556931258\ 0142552967/19405707263050336951229781697966083637741580554045081671\ 226837864747099*c_0101_3^24 + 1037114929229498753016268825927690999\ 5734729902012079217024626979318068/19405707263050336951229781697966\ 083637741580554045081671226837864747099*c_0101_3^23 - 3402713177053032811804604181862605205393545194551541418564669871953\ 2976/19405707263050336951229781697966083637741580554045081671226837\ 864747099*c_0101_3^22 + 5119570732220352922119023580956125421078619\ 6937904707100468506007620489/19405707263050336951229781697966083637\ 741580554045081671226837864747099*c_0101_3^21 + 5905953859163799832036822909292243550136865919279972744825523486764\ 85679/1940570726305033695122978169796608363774158055404508167122683\ 7864747099*c_0101_3^20 - 227080732276977943835909496689989353934027\ 507618730563801577058630975682/194057072630503369512297816979660836\ 37741580554045081671226837864747099*c_0101_3^19 + 5543854060357851166885145366814364420660157088215346562496372598061\ 60209/1940570726305033695122978169796608363774158055404508167122683\ 7864747099*c_0101_3^18 + 339158104194129294644919442223233052315305\ 3371372127433436543569754619659/19405707263050336951229781697966083\ 637741580554045081671226837864747099*c_0101_3^17 - 8106180698895873605756052743350760050901539490406970003406641388028\ 51669/1940570726305033695122978169796608363774158055404508167122683\ 7864747099*c_0101_3^16 + 787181895473960370602114015296043999390763\ 7750255020393883433379061126466/19405707263050336951229781697966083\ 637741580554045081671226837864747099*c_0101_3^15 - 2733073242330138962240900094699065451289635217738982251957156773199\ 5848742/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^14 - 6868554956789033948103313228500803796444\ 4032795958904869900561847949589461/19405707263050336951229781697966\ 083637741580554045081671226837864747099*c_0101_3^13 + 7118580676260252596520475205147988822678216523473236424753512270562\ 346068/194057072630503369512297816979660836377415805540450816712268\ 37864747099*c_0101_3^12 + 10984205207991419922620350657395570285968\ 318074889472887737162710074568639/194057072630503369512297816979660\ 83637741580554045081671226837864747099*c_0101_3^11 + 8501064663706643825598890713083669840230039900388636322489008909333\ 7430315/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^10 + 1532221940082849240901474294974971067769\ 82903459493980450034278578218298597/1940570726305033695122978169796\ 6083637741580554045081671226837864747099*c_0101_3^9 + 2407905134846871868854087844929406968415687535094861274160052737479\ 1306404/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^8 + 30683410069855345222357855339714171815231\ 66354305117062375918162555328758/1940570726305033695122978169796608\ 3637741580554045081671226837864747099*c_0101_3^7 - 3320432922673314658542155129141274984130992228850629271891781508710\ 4563976/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^6 - 40405699458900621876629780588587461252321\ 527811695773964305431453175679844/194057072630503369512297816979660\ 83637741580554045081671226837864747099*c_0101_3^5 - 2098240991734646758285291698214507616367372156029912380312418712835\ 6623765/19405707263050336951229781697966083637741580554045081671226\ 837864747099*c_0101_3^4 - 96102213641713169522485703794735143445431\ 86546669683743223911920592472344/1940570726305033695122978169796608\ 3637741580554045081671226837864747099*c_0101_3^3 - 1781675309365314774359020597072741549185910685379293338835078825602\ 509056/194057072630503369512297816979660836377415805540450816712268\ 37864747099*c_0101_3^2 + 149424671048740892305494602655222019154813\ 178813526542876407239447944078/194057072630503369512297816979660836\ 37741580554045081671226837864747099*c_0101_3 + 1679054885262720228015241732959292868025702200154186757433964495000\ 12828/1940570726305033695122978169796608363774158055404508167122683\ 7864747099, c_0101_3^25 + 7*c_0101_3^24 - 25*c_0101_3^23 + 40*c_0101_3^22 + 403*c_0101_3^21 - 237*c_0101_3^20 + 411*c_0101_3^19 + 2280*c_0101_3^18 - 1020*c_0101_3^17 + 5546*c_0101_3^16 - 20003*c_0101_3^15 - 44026*c_0101_3^14 + 14330*c_0101_3^13 + 7110*c_0101_3^12 + 57370*c_0101_3^11 + 94735*c_0101_3^10 - 4392*c_0101_3^9 - 2010*c_0101_3^8 - 23411*c_0101_3^7 - 23433*c_0101_3^6 - 8895*c_0101_3^5 - 3686*c_0101_3^4 + 130*c_0101_3^3 + 363*c_0101_3^2 + 90*c_0101_3 - 23 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB