Magma V2.19-8 Tue Aug 20 2013 16:16:35 on localhost [Seed = 1427425673] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0879 geometric_solution 4.78289927 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 0 0 0 0 0 1 -1 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 -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 3.402507826654 0.897137664736 0 2 2 0 3201 0132 3201 0132 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 -0.594730811521 0.724141037044 1 1 3 4 2310 0132 0132 0132 0 0 0 0 0 1 -1 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 1 -1 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.020112773676 0.323019917539 4 4 5 2 1023 3012 0132 0132 0 0 0 0 0 0 -1 1 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 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.646703808339 1.278654580442 3 3 2 5 1230 1023 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 1 -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 -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.646703808339 1.278654580442 4 6 6 3 3201 0132 3201 0132 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 -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.361877451543 0.787939689212 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 1 -1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.918703381363 0.570404434824 ==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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_3, c_0011_5, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 122782194084780576965052571620268545047490222/849180469925045219498\ 52886740459729198623*c_0101_6^26 + 67992391399708037041699565701451518038663634/8491804699250452194985\ 2886740459729198623*c_0101_6^25 - 121019693357237473516154034453499\ 1718030876556/84918046992504521949852886740459729198623*c_0101_6^24 - 672899054564514868321506994900868913969812451/8491804699250452194\ 9852886740459729198623*c_0101_6^23 + 5228359313355920902040113547637663201685118784/84918046992504521949\ 852886740459729198623*c_0101_6^22 + 2308269571504366321168638160895959636986014791/84918046992504521949\ 852886740459729198623*c_0101_6^21 - 1772117436283909785052708634499248869447762722/65321574609618863038\ 34837441573825322971*c_0101_6^20 - 368637748066076400638623279058047921374893707/653215746096188630383\ 4837441573825322971*c_0101_6^19 + 871822151924091125612170498179693\ 70736037775970/84918046992504521949852886740459729198623*c_0101_6^1\ 8 + 20476279139014061018695555833807240793527885117/849180469925045\ 21949852886740459729198623*c_0101_6^17 - 209077649829494744278247240579329641749243501373/849180469925045219\ 49852886740459729198623*c_0101_6^16 - 2143149986934142489295717449757954176355720924/65321574609618863038\ 34837441573825322971*c_0101_6^15 + 450845200104423833502505424624461807424017274030/849180469925045219\ 49852886740459729198623*c_0101_6^14 - 92602626787486309590562454135183061867406870302/8491804699250452194\ 9852886740459729198623*c_0101_6^13 - 842466145709931361388584542953380870479799777550/849180469925045219\ 49852886740459729198623*c_0101_6^12 + 254970791743274302297634240298273374918377384382/849180469925045219\ 49852886740459729198623*c_0101_6^11 + 1014388509933021916896032687891309149390365034194/84918046992504521\ 949852886740459729198623*c_0101_6^10 - 275439482332624856032480042713403083135476280996/849180469925045219\ 49852886740459729198623*c_0101_6^9 - 937261940736394782276001080483888748175543276372/849180469925045219\ 49852886740459729198623*c_0101_6^8 - 59938508237902582050275170211978182504749210901/8491804699250452194\ 9852886740459729198623*c_0101_6^7 + 471181803210297921090455155225809005322263299022/849180469925045219\ 49852886740459729198623*c_0101_6^6 + 148243766119427949142443755364772341056346553510/849180469925045219\ 49852886740459729198623*c_0101_6^5 - 102864344534974545953049224170896445429273331876/849180469925045219\ 49852886740459729198623*c_0101_6^4 - 58345184029893814044843464395397708598657574826/8491804699250452194\ 9852886740459729198623*c_0101_6^3 + 15644873229014799248482205245141200767411107/6532157460961886303834\ 837441573825322971*c_0101_6^2 + 48110401010236324847614279591013626\ 71129125585/84918046992504521949852886740459729198623*c_0101_6 + 739147814045805385801569929759062991081230048/849180469925045219498\ 52886740459729198623, c_0011_0 - 1, c_0011_1 - 40094918126727564729479259217005519767616/653215746096188630\ 3834837441573825322971*c_0101_6^26 + 4869084304938483097575525278159881982469/65321574609618863038348374\ 41573825322971*c_0101_6^25 + 39683214285436612503564318414420689272\ 0444/6532157460961886303834837441573825322971*c_0101_6^24 - 48309626415100177686414568740204377258795/6532157460961886303834837\ 441573825322971*c_0101_6^23 - 1723385680195050086442885008893116856\ 303598/6532157460961886303834837441573825322971*c_0101_6^22 + 410891772832076630937342396070308611968837/653215746096188630383483\ 7441573825322971*c_0101_6^21 + 745642801707681366881203798072178670\ 1634803/6532157460961886303834837441573825322971*c_0101_6^20 - 3498727357234155304728439339800775728225237/65321574609618863038348\ 37441573825322971*c_0101_6^19 - 27022254771665175594074751772148211\ 284672285/6532157460961886303834837441573825322971*c_0101_6^18 + 11895359720558000327092828637016220975961328/6532157460961886303834\ 837441573825322971*c_0101_6^17 + 6357944677666346006590960380849796\ 3159102039/6532157460961886303834837441573825322971*c_0101_6^16 - 34946467506382704685995557933435707869076488/6532157460961886303834\ 837441573825322971*c_0101_6^15 - 1314904285274275699175547689848836\ 75885499373/6532157460961886303834837441573825322971*c_0101_6^14 + 122488869844538366600870028386930952610660250/653215746096188630383\ 4837441573825322971*c_0101_6^13 + 208767345899138649594996810526425\ 427952245854/6532157460961886303834837441573825322971*c_0101_6^12 - 237523049821662765879867171257887572700593756/653215746096188630383\ 4837441573825322971*c_0101_6^11 - 197573800552118135972374918443087\ 953961795243/6532157460961886303834837441573825322971*c_0101_6^10 + 249511104748462310911772973888591534563052282/653215746096188630383\ 4837441573825322971*c_0101_6^9 + 1640807263696156539308149876012875\ 37719185470/6532157460961886303834837441573825322971*c_0101_6^8 - 118593787408896110177506803389901400071800025/653215746096188630383\ 4837441573825322971*c_0101_6^7 - 9638136819582057866876554843521733\ 9051397104/6532157460961886303834837441573825322971*c_0101_6^6 + 28362315130206835868716314520726430807040808/6532157460961886303834\ 837441573825322971*c_0101_6^5 + 27217765852019730391620379363568248\ 740002877/6532157460961886303834837441573825322971*c_0101_6^4 - 1245707450804173413845789397053634473090158/65321574609618863038348\ 37441573825322971*c_0101_6^3 - 262766107823925167961853641156493132\ 1284005/6532157460961886303834837441573825322971*c_0101_6^2 - 63793726379228209969461037650479321432096/6532157460961886303834837\ 441573825322971*c_0101_6 + 5977327707269340802799608157558707372239\ 8/6532157460961886303834837441573825322971, c_0011_3 + 24919052519905941323630802225898869820307/653215746096188630\ 3834837441573825322971*c_0101_6^26 + 16790653302937776512076937845195475645744/6532157460961886303834837\ 441573825322971*c_0101_6^25 - 2461120912684033512860378581875786603\ 71137/6532157460961886303834837441573825322971*c_0101_6^24 - 165990133354928022525690432812144885425813/653215746096188630383483\ 7441573825322971*c_0101_6^23 + 106598493242382159313386064152152051\ 9117160/6532157460961886303834837441573825322971*c_0101_6^22 + 595279892246532952770210672699221846818801/653215746096188630383483\ 7441573825322971*c_0101_6^21 - 471132624166564474360302555293245432\ 5634918/6532157460961886303834837441573825322971*c_0101_6^20 - 1520804371901911404504666211682728442519779/65321574609618863038348\ 37441573825322971*c_0101_6^19 + 17976387203430867224562587190630656\ 155159629/6532157460961886303834837441573825322971*c_0101_6^18 + 6131043779723450501520830263543269725542337/65321574609618863038348\ 37441573825322971*c_0101_6^17 - 43388501919681020745643376376340571\ 080941570/6532157460961886303834837441573825322971*c_0101_6^16 - 10256683302778029708280891029489827042467367/6532157460961886303834\ 837441573825322971*c_0101_6^15 + 9424409040413394686378944393645894\ 8824274313/6532157460961886303834837441573825322971*c_0101_6^14 - 9327504710468435776601474681503411422813603/65321574609618863038348\ 37441573825322971*c_0101_6^13 - 18035569929529681339729985707174751\ 4587967855/6532157460961886303834837441573825322971*c_0101_6^12 + 37035731701117383531324720478244872861805343/6532157460961886303834\ 837441573825322971*c_0101_6^11 + 2236689897400915885477463210958438\ 87936652468/6532157460961886303834837441573825322971*c_0101_6^10 - 42570640124756571062862231375016410051802324/6532157460961886303834\ 837441573825322971*c_0101_6^9 - 20839580404059666915857418315679204\ 1631627531/6532157460961886303834837441573825322971*c_0101_6^8 - 23178160456373212527200030889981826828091718/6532157460961886303834\ 837441573825322971*c_0101_6^7 + 10398386376085358954613097329012151\ 4769023894/6532157460961886303834837441573825322971*c_0101_6^6 + 36599580572365175933754677696062349992078953/6532157460961886303834\ 837441573825322971*c_0101_6^5 - 22832227595419599217203364022122154\ 896866743/6532157460961886303834837441573825322971*c_0101_6^4 - 13604128933891805314081502130349803751741117/6532157460961886303834\ 837441573825322971*c_0101_6^3 + 82997361113810033127572070794077465\ 671579/6532157460961886303834837441573825322971*c_0101_6^2 + 1131405622691824191138817791366559011430383/65321574609618863038348\ 37441573825322971*c_0101_6 + 16032641847330944881618154272201813564\ 6831/6532157460961886303834837441573825322971, c_0011_5 - 7796295620946201334323547117691567525377/6532157460961886303\ 834837441573825322971*c_0101_6^26 - 11002442271974769283432542301233277899529/6532157460961886303834837\ 441573825322971*c_0101_6^25 + 7693852910937622336044488495072138206\ 8150/6532157460961886303834837441573825322971*c_0101_6^24 + 108763535947144314470532301755631053430782/653215746096188630383483\ 7441573825322971*c_0101_6^23 - 332918910681375131441210733542641247\ 310007/6532157460961886303834837441573825322971*c_0101_6^22 - 432659760051039026968308408355358012664401/653215746096188630383483\ 7441573825322971*c_0101_6^21 + 150024726958892486239536866788370972\ 3445948/6532157460961886303834837441573825322971*c_0101_6^20 + 1545783297929905682775014118376235071855051/65321574609618863038348\ 37441573825322971*c_0101_6^19 - 59835348285220727107336290851550434\ 44720271/6532157460961886303834837441573825322971*c_0101_6^18 - 5828964807941776636092819533087345162732571/65321574609618863038348\ 37441573825322971*c_0101_6^17 + 14757000606211524922588352819455313\ 033125198/6532157460961886303834837441573825322971*c_0101_6^16 + 12440665794813578566166358116338462405510355/6532157460961886303834\ 837441573825322971*c_0101_6^15 - 3325306222161100955874335724102620\ 2105050065/6532157460961886303834837441573825322971*c_0101_6^14 - 16340460572397440501784813270523322893527581/6532157460961886303834\ 837441573825322971*c_0101_6^13 + 7137617753025313494658245756219831\ 5231911276/6532157460961886303834837441573825322971*c_0101_6^12 + 20135670948225278482544101615136183991285574/6532157460961886303834\ 837441573825322971*c_0101_6^11 - 9962394335675776037943363618103020\ 2998104500/6532157460961886303834837441573825322971*c_0101_6^10 - 18646150085381114551732421788768399209290769/6532157460961886303834\ 837441573825322971*c_0101_6^9 + 96327951403943196456392465139078894\ 503316653/6532157460961886303834837441573825322971*c_0101_6^8 + 34705077941497558565305751622803360366646518/6532157460961886303834\ 837441573825322971*c_0101_6^7 - 45489033220316277121148537677538666\ 229033526/6532157460961886303834837441573825322971*c_0101_6^6 - 26880508349199640945134517994545860890671064/6532157460961886303834\ 837441573825322971*c_0101_6^5 + 89998862115279072177186029147886378\ 51027294/6532157460961886303834837441573825322971*c_0101_6^4 + 8350526572174488929174495681811323301930295/65321574609618863038348\ 37441573825322971*c_0101_6^3 + 389591518764907429124201312495133598\ 832742/6532157460961886303834837441573825322971*c_0101_6^2 - 669947605143164377365112213157860048842281/653215746096188630383483\ 7441573825322971*c_0101_6 - 105692238431702451969331442884422234262\ 263/6532157460961886303834837441573825322971, c_0101_1 + 8379063909350927910375335462811307478559/6532157460961886303\ 834837441573825322971*c_0101_6^26 - 8495038480310176404644059061542412341827/65321574609618863038348374\ 41573825322971*c_0101_6^25 - 82786050950437376496864859595032722362\ 189/6532157460961886303834837441573825322971*c_0101_6^24 + 84041248115003454804361850313633031599564/6532157460961886303834837\ 441573825322971*c_0101_6^23 + 3587459054908649043096757185618029418\ 50915/6532157460961886303834837441573825322971*c_0101_6^22 - 406679846757238996477299345906576476045638/653215746096188630383483\ 7441573825322971*c_0101_6^21 - 151484940253797453051761175559137891\ 8566908/6532157460961886303834837441573825322971*c_0101_6^20 + 2123105917791763150178775693875839299812067/65321574609618863038348\ 37441573825322971*c_0101_6^19 + 51391247541889717536688798138457599\ 25037295/6532157460961886303834837441573825322971*c_0101_6^18 - 7564146309688775349829912901534580533733105/65321574609618863038348\ 37441573825322971*c_0101_6^17 - 11600313695640205718020626294243448\ 125073021/6532157460961886303834837441573825322971*c_0101_6^16 + 19287279081097729615284556133021164441765792/6532157460961886303834\ 837441573825322971*c_0101_6^15 + 2223074066466397601603849359235738\ 3382733487/6532157460961886303834837441573825322971*c_0101_6^14 - 50555823096534777911332371750048307980282641/6532157460961886303834\ 837441573825322971*c_0101_6^13 - 2344924507582377376993010250315655\ 6615648440/6532157460961886303834837441573825322971*c_0101_6^12 + 90435593948767843208552582856655606980767493/6532157460961886303834\ 837441573825322971*c_0101_6^11 + 1486019394321304127430348130966984\ 240124888/6532157460961886303834837441573825322971*c_0101_6^10 - 92810897260413562060227129354491711487928965/6532157460961886303834\ 837441573825322971*c_0101_6^9 + 75228309973795691057578025381541203\ 25783398/6532157460961886303834837441573825322971*c_0101_6^8 + 59541531890070484645527459028897331844621517/6532157460961886303834\ 837441573825322971*c_0101_6^7 + 20895283123444972613723797881867916\ 84371972/6532157460961886303834837441573825322971*c_0101_6^6 - 25651189533914100575456528591733741279285268/6532157460961886303834\ 837441573825322971*c_0101_6^5 - 26549116454156495435564269728952832\ 40582185/6532157460961886303834837441573825322971*c_0101_6^4 + 5530404185906912664122341257518304541094538/65321574609618863038348\ 37441573825322971*c_0101_6^3 + 942240121856674817608873316611080693\ 652772/6532157460961886303834837441573825322971*c_0101_6^2 - 393213990239089979832931697508058803849302/653215746096188630383483\ 7441573825322971*c_0101_6 - 738955967905581208657431556468814756280\ 58/6532157460961886303834837441573825322971, c_0101_2 - 22424783051107473204337027289802586404844/653215746096188630\ 3834837441573825322971*c_0101_6^26 - 8274544925127168602778291869438324206325/65321574609618863038348374\ 41573825322971*c_0101_6^25 + 22169990763078856073684813483010676754\ 8097/6532157460961886303834837441573825322971*c_0101_6^24 + 81770391323307479044056305753004948619088/6532157460961886303834837\ 441573825322971*c_0101_6^23 - 9614909508323052059426266830271719577\ 20299/6532157460961886303834837441573825322971*c_0101_6^22 - 242331485553245023038980522794388676106624/653215746096188630383483\ 7441573825322971*c_0101_6^21 + 421517613149047984838008407254668296\ 0639512/6532157460961886303834837441573825322971*c_0101_6^20 + 93898540528379075606582018055104518669154/6532157460961886303834837\ 441573825322971*c_0101_6^19 - 1577819920507544499417608520567409585\ 6012733/6532157460961886303834837441573825322971*c_0101_6^18 - 850283288698919773122631551276475816942800/653215746096188630383483\ 7441573825322971*c_0101_6^17 + 377425474845105870113902103831986650\ 13613279/6532157460961886303834837441573825322971*c_0101_6^16 - 1807874864813504203828195850282415044400691/65321574609618863038348\ 37441573825322971*c_0101_6^15 - 80573784400640087947771395600572702\ 384092429/6532157460961886303834837441573825322971*c_0101_6^14 + 31466491658757984694542816153607644187056512/6532157460961886303834\ 837441573825322971*c_0101_6^13 + 1450226439876638494164978114695981\ 97936624030/6532157460961886303834837441573825322971*c_0101_6^12 - 71597861269731183687207193745007110956752124/6532157460961886303834\ 837441573825322971*c_0101_6^11 - 1667916589558451892989567531371542\ 51023077926/6532157460961886303834837441573825322971*c_0101_6^10 + 77396131970841760614167595305334441359051504/6532157460961886303834\ 837441573825322971*c_0101_6^9 + 15116285345795428723239868296082236\ 5158739864/6532157460961886303834837441573825322971*c_0101_6^8 - 12923466506067457296774333416666857709746525/6532157460961886303834\ 837441573825322971*c_0101_6^7 - 78632777011913278143031322492300273\ 543419280/6532157460961886303834837441573825322971*c_0101_6^6 - 14004584882607106144288756029515922147671644/6532157460961886303834\ 837441573825322971*c_0101_6^5 + 18636921583774963300664204173125569\ 910443337/6532157460961886303834837441573825322971*c_0101_6^4 + 7209659465394453605299417027956695663941510/65321574609618863038348\ 37441573825322971*c_0101_6^3 - 651517780080821349529521290197313715\ 155563/6532157460961886303834837441573825322971*c_0101_6^2 - 638175944884892914037473783447475499936920/653215746096188630383483\ 7441573825322971*c_0101_6 - 721990615853161286038384224966269372771\ 08/6532157460961886303834837441573825322971, c_0101_6^27 - 10*c_0101_6^25 + 44*c_0101_6^23 - 5*c_0101_6^22 - 191*c_0101_6^21 + 65*c_0101_6^20 + 701*c_0101_6^19 - 220*c_0101_6^18 - 1682*c_0101_6^17 + 696*c_0101_6^16 + 3528*c_0101_6^15 - 2712*c_0101_6^14 - 5876*c_0101_6^13 + 5516*c_0101_6^12 + 6142*c_0101_6^11 - 6074*c_0101_6^10 - 5353*c_0101_6^9 + 2938*c_0101_6^8 + 3196*c_0101_6^7 - 615*c_0101_6^6 - 1006*c_0101_6^5 - 24*c_0101_6^4 + 133*c_0101_6^3 + 16*c_0101_6^2 - 6*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB