Magma V2.19-8 Tue Aug 20 2013 16:18:16 on localhost [Seed = 2884253343] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2476 geometric_solution 5.80920624 oriented_manifold CS_known 0.0000000000000000 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.517018815871 0.248547528685 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.911898124956 0.506722491920 1 4 3 5 0132 0132 3012 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 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.873147126955 0.898728928278 5 2 4 1 1023 1230 0132 0132 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 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.873147126955 0.898728928278 4 2 4 3 2031 0132 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 -1 1 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485653369910 0.912563224414 6 3 2 6 0132 1023 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 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.627413621794 0.566931526652 5 5 6 6 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.680012957132 0.582963576430 ==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' : negation(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' : negation(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_0101_1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_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' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 3114164548378161437293444525696672543606943533130125777071765688080\ 5/19003863119749032701374520049245099787634630206860349721098309420\ 8*c_0101_6^37 - 929129103634793007237206906305331341797929533764293\ 76053236738575757/4750965779937258175343630012311274946908657551715\ 0874302745773552*c_0101_6^35 + 224890104774456898773992257097757111\ 3462884693828311713371837935807737/19003863119749032701374520049245\ 0997876346302068603497210983094208*c_0101_6^33 - 1129276890021497446804282821157681186041664978641131698505324059857\ 3869/95019315598745163506872600246225498938173151034301748605491547\ 104*c_0101_6^31 + 3242086582817095096944892735427002542222400838742\ 5707537022928780232351/47509657799372581753436300123112749469086575\ 517150874302745773552*c_0101_6^29 - 2284582869272463172940870791343452005433915615187906268539110406273\ 40217/9501931559874516350687260024622549893817315103430174860549154\ 7104*c_0101_6^27 + 519251896235575784781577629594271489256696039040\ 122975689001806155122129/475096577993725817534363001231127494690865\ 75517150874302745773552*c_0101_6^25 - 5302867052344727322343783648023666126171335437458188809322069211362\ 861047/190038631197490327013745200492450997876346302068603497210983\ 094208*c_0101_6^23 + 3149326145902889058825351965405544647933521910\ 688875977581557048450191281/950193155987451635068726002462254989381\ 73151034301748605491547104*c_0101_6^21 - 3474930500887111600168265297008920909607670985081669587476169231226\ 6355019/19003863119749032701374520049245099787634630206860349721098\ 3094208*c_0101_6^19 + 769155118712147974909338979310219970809971310\ 56236872740548296110237936735/1900386311974903270137452004924509978\ 76346302068603497210983094208*c_0101_6^17 - 1462705425794641453693638653982843585187786100628941232350846244185\ 8990869/47509657799372581753436300123112749469086575517150874302745\ 773552*c_0101_6^15 + 1330437540841594879717269205907806045863917171\ 41355842462381303189111973577/1900386311974903270137452004924509978\ 76346302068603497210983094208*c_0101_6^13 - 2465945477233712321913939366881325274334704990710171030205937834150\ 1344975/95019315598745163506872600246225498938173151034301748605491\ 547104*c_0101_6^11 - 5420839124251367760949768628711118066843555790\ 005304148075134971422515307/190038631197490327013745200492450997876\ 346302068603497210983094208*c_0101_6^9 - 1172096430708031662701182001800383027007911794079740906967458644036\ 076095/190038631197490327013745200492450997876346302068603497210983\ 094208*c_0101_6^7 + 42925386074602907173747948505534299431977378797\ 8589476941970125305269007/47509657799372581753436300123112749469086\ 575517150874302745773552*c_0101_6^5 - 1730519970624026078482849380717965109060311687175409842273718883421\ 12525/1900386311974903270137452004924509978763463020686034972109830\ 94208*c_0101_6^3 + 390067167511351851559665844755412070411014303867\ 7820430953374083252103/19003863119749032701374520049245099787634630\ 2068603497210983094208*c_0101_6, c_0011_0 - 1, c_0011_1 - 470416298731571277442093199401454965436422394330200931396860\ 237/475096577993725817534363001231127494690865755171508743027457735\ 52*c_0101_6^36 + 34962192137167663329512757720688380384669292761617\ 6565677891581/29693536124607863595897687576945468418179109698219296\ 43921610847*c_0101_6^34 - 16866374413174672522004550676287508472740\ 561045886576086670359989/237548288996862908767181500615563747345432\ 87758575437151372886776*c_0101_6^32 + 169867655839921062632707907159699800002157428788891530551002109525/\ 23754828899686290876718150061556374734543287758575437151372886776*c\ _0101_6^30 - 972237789853924143309741831357247032413548281928238533\ 348068333559/237548288996862908767181500615563747345432877585754371\ 51372886776*c_0101_6^28 + 17048352422154615444025171317205974347107\ 24187577812078735481044333/1187741444984314543835907503077818736727\ 1643879287718575686443388*c_0101_6^26 - 1554265582766534059779846569778063960382295123279269333059698109340\ 1/23754828899686290876718150061556374734543287758575437151372886776\ *c_0101_6^24 + 7878138197998560120525591963135812626930844906059881\ 2095859851913635/47509657799372581753436300123112749469086575517150\ 874302745773552*c_0101_6^22 - 1147637207182046907825176918430450229\ 0842120375361131950035756631073/59387072249215727191795375153890936\ 83635821939643859287843221694*c_0101_6^20 + 2605263787569604133717467279989824590930688398894911770808047977052\ 41/2375482889968629087671815006155637473454328775857543715137288677\ 6*c_0101_6^18 - 113961584466745486850554528900216823019238768765680\ 0066031413847726151/47509657799372581753436300123112749469086575517\ 150874302745773552*c_0101_6^16 + 4178457328848964639681839158615972\ 16044597357551867383173270687252953/2375482889968629087671815006155\ 6374734543287758575437151372886776*c_0101_6^14 - 4937061323287644055288352582173733824202034921672267000130005093491\ 93/1187741444984314543835907503077818736727164387928771857568644338\ 8*c_0101_6^12 + 412697635760699978259987923325473040847054586086365\ 38230865579497177/2969353612460786359589768757694546841817910969821\ 929643921610847*c_0101_6^10 + 1082752631645527761837879036269924247\ 73937363133752015116818759645735/4750965779937258175343630012311274\ 9469086575517150874302745773552*c_0101_6^8 + 2065658858815359364908880596199548505778224505431858808718502939263\ 5/47509657799372581753436300123112749469086575517150874302745773552\ *c_0101_6^6 - 24705431119915082281557461921021340833101826095915626\ 950886831804029/475096577993725817534363001231127494690865755171508\ 74302745773552*c_0101_6^4 + 106951431685338789300739514425233799227\ 629308005823475898396765810/296935361246078635958976875769454684181\ 7910969821929643921610847*c_0101_6^2 + 949985608380561181314997199234739140209219323439077322112120417/296\ 9353612460786359589768757694546841817910969821929643921610847, c_0011_3 - 206266929964081395996789855458401043266954849844404670811032\ 8389/47509657799372581753436300123112749469086575517150874302745773\ 552*c_0101_6^36 + 6143977334681780474847679146704914760783071294734\ 635984952981671/118774144498431454383590750307781873672716438792877\ 18575686443388*c_0101_6^34 - 74237723803892295252859452577218368868\ 124497418848532044108620019/237548288996862908767181500615563747345\ 43287758575437151372886776*c_0101_6^32 + 746529441155643168118763166162642123282306019016895100584146207707/\ 23754828899686290876718150061556374734543287758575437151372886776*c\ _0101_6^30 - 428020139191823121407038947222308251078588083804877852\ 6984215273725/23754828899686290876718150061556374734543287758575437\ 151372886776*c_0101_6^28 + 1881061659411684177694893976524489303367\ 665068045192506580956754711/296935361246078635958976875769454684181\ 7910969821929643921610847*c_0101_6^26 - 6849302258958776186812149278342965679832221919219486081511485643092\ 3/23754828899686290876718150061556374734543287758575437151372886776\ *c_0101_6^24 + 3485679949125137073405942932097331413261962684308192\ 06176708261428079/4750965779937258175343630012311274946908657551715\ 0874302745773552*c_0101_6^22 - 513055619752197852646220765803425007\ 48586149784035135464448825414521/5938707224921572719179537515389093\ 683635821939643859287843221694*c_0101_6^20 + 1146895727846194801507610425229108864643685827738047518729737101440\ 605/237548288996862908767181500615563747345432877585754371513728867\ 76*c_0101_6^18 - 50497362945080067799769479970698547154151131775602\ 22661633589725462031/4750965779937258175343630012311274946908657551\ 7150874302745773552*c_0101_6^16 + 188889298263822781486321106386587\ 0411950658359916292148675057663189875/23754828899686290876718150061\ 556374734543287758575437151372886776*c_0101_6^14 - 5463240299155212179759902336101618610162169899993973510370424551191\ 31/2969353612460786359589768757694546841817910969821929643921610847\ *c_0101_6^12 + 7742527095129396117923850934206968207860221529778277\ 08316981213511133/1187741444984314543835907503077818736727164387928\ 7718575686443388*c_0101_6^10 + 414043393827684934783279459580683984\ 378150033822750369326863364700739/475096577993725817534363001231127\ 49469086575517150874302745773552*c_0101_6^8 + 8649822228518486412321507605437059129737508450811874666280488381497\ 9/47509657799372581753436300123112749469086575517150874302745773552\ *c_0101_6^6 - 11176746072746634785534388507537642916378153792250514\ 6101005338950785/47509657799372581753436300123112749469086575517150\ 874302745773552*c_0101_6^4 + 11907785202783852325444260286532622103\ 32038325295573911894424679333/5938707224921572719179537515389093683\ 635821939643859287843221694*c_0101_6^2 - 9540363953366437200831701555391399359935718499812870622698202027/29\ 69353612460786359589768757694546841817910969821929643921610847, c_0101_0 + 464164534925954711006960356541237438723081281469838911840249\ 115/237548288996862908767181500615563747345432877585754371513728867\ 76*c_0101_6^37 - 11188118693349564766781811762022125960249814853525\ 358088200133435/475096577993725817534363001231127494690865755171508\ 74302745773552*c_0101_6^35 + 34165963305515505989099212773986923739\ 303156759773265131918125953/237548288996862908767181500615563747345\ 43287758575437151372886776*c_0101_6^33 - 85128739279739074596111626921382199360224256647801133533055621117/5\ 938707224921572719179537515389093683635821939643859287843221694*c_0\ 101_6^31 + 98607210356169197279033538125930350037178538843123731727\ 8963169949/11877414449843145438359075030778187367271643879287718575\ 686443388*c_0101_6^29 - 8792240129630132202846830959899320218770970\ 84609397795537916650379/2969353612460786359589768757694546841817910\ 969821929643921610847*c_0101_6^27 + 3173661611716381384263246713357701217647638644836410474637269457581\ 3/23754828899686290876718150061556374734543287758575437151372886776\ *c_0101_6^25 - 8260407001282692618133396804013202034569404839192562\ 6253169537600649/23754828899686290876718150061556374734543287758575\ 437151372886776*c_0101_6^23 + 2056500261684642653372457050197413773\ 91202597221539775564343558340659/4750965779937258175343630012311274\ 9469086575517150874302745773552*c_0101_6^21 - 2640514497805416720125288996746782854531695324313556288418825844095\ 27/1187741444984314543835907503077818736727164387928771857568644338\ 8*c_0101_6^19 + 150799435236408601160218256986631595250214011417096\ 691128484847610404/296935361246078635958976875769454684181791096982\ 1929643921610847*c_0101_6^17 - 200187528537909743942366933654969996\ 6147636224687194758688471388885169/47509657799372581753436300123112\ 749469086575517150874302745773552*c_0101_6^15 + 1036509513865274713540377243995687046419157204565803034748797340374\ 029/118774144498431454383590750307781873672716438792877185756864433\ 88*c_0101_6^13 - 96022017837516538030031754368787868689687628114602\ 8634928800413510847/23754828899686290876718150061556374734543287758\ 575437151372886776*c_0101_6^11 - 4135539790357490254986778113743509\ 077771375316780818477504529543335/593870722492157271917953751538909\ 3683635821939643859287843221694*c_0101_6^9 - 6454844655305019072660341978034491910657187761613291009066962056907\ /47509657799372581753436300123112749469086575517150874302745773552*\ c_0101_6^7 + 586658200225598961682527759758532152119392635335614459\ 68877613218147/4750965779937258175343630012311274946908657551715087\ 4302745773552*c_0101_6^5 - 1053607639849718436208491385042600070232\ 7309410825416576298872718077/47509657799372581753436300123112749469\ 086575517150874302745773552*c_0101_6^3 + 20656945831853090415674284757617527750693157612372464061918001470/2\ 969353612460786359589768757694546841817910969821929643921610847*c_0\ 101_6, c_0101_1 + 699151663436482485346221065484300627539699237729586866849824\ 315/475096577993725817534363001231127494690865755171508743027457735\ 52*c_0101_6^36 - 20771526103251455770256093443684400873008328609081\ 64043472328811/1187741444984314543835907503077818736727164387928771\ 8575686443388*c_0101_6^34 + 625870195857666295243094103940093277928\ 7902890439361965435394431/59387072249215727191795375153890936836358\ 21939643859287843221694*c_0101_6^32 - 63065608349053059670986285871027984201913165054048076083449913207/5\ 938707224921572719179537515389093683635821939643859287843221694*c_0\ 101_6^30 + 36074787761923940963311978387049859202433721070929684420\ 9665352621/59387072249215727191795375153890936836358219396438592878\ 43221694*c_0101_6^28 - 50559348995739150348809014186420189339519278\ 05997479027667989867295/2375482889968629087671815006155637473454328\ 7758575437151372886776*c_0101_6^26 + 1152904335862904679151228202722528877981077818252612455235478290413\ 3/11877414449843145438359075030778187367271643879287718575686443388\ *c_0101_6^24 - 1167135310404227881619549130832717441502324781329349\ 48788173232954659/4750965779937258175343630012311274946908657551715\ 0874302745773552*c_0101_6^22 + 677276132615116283435891998893536432\ 05800234302846132094012850737587/2375482889968629087671815006155637\ 4734543287758575437151372886776*c_0101_6^20 - 3865700310716917704560461527218725111708252709612164092338493548909\ 27/2375482889968629087671815006155637473454328775857543715137288677\ 6*c_0101_6^18 + 168765107272158984899699244769275654867583875158817\ 3968272561323231105/47509657799372581753436300123112749469086575517\ 150874302745773552*c_0101_6^16 - 6136395641357522794489086354250182\ 05319937085593418646845382703562635/2375482889968629087671815006155\ 6374734543287758575437151372886776*c_0101_6^14 + 1461248747442119432829807286158741485014566516144487698576174434908\ 947/237548288996862908767181500615563747345432877585754371513728867\ 76*c_0101_6^12 - 47914018796738166145881652700845727916269158879137\ 3045921886880171355/23754828899686290876718150061556374734543287758\ 575437151372886776*c_0101_6^10 - 1745807393851160045976880314054606\ 43281880163605481395222941092668651/4750965779937258175343630012311\ 2749469086575517150874302745773552*c_0101_6^8 - 3413936706496504935901314542823353287584820104478826606142860923364\ 7/47509657799372581753436300123112749469086575517150874302745773552\ *c_0101_6^6 + 37136551134909735271198228557456500383927780773267893\ 781517538656999/475096577993725817534363001231127494690865755171508\ 74302745773552*c_0101_6^4 - 101386436281940772104004195359197986059\ 4804919957680071274965878565/23754828899686290876718150061556374734\ 543287758575437151372886776*c_0101_6^2 - 796806698308708133382521499645067693342268510056694521977735846/296\ 9353612460786359589768757694546841817910969821929643921610847, c_0101_3 - 112760636002337565632673234782218509349763824853959902914112\ 67285/4750965779937258175343630012311274946908657551715087430274577\ 3552*c_0101_6^37 + 672708821552294472605418477746913043999374818882\ 53638303054507219/2375482889968629087671815006155637473454328775857\ 5437151372886776*c_0101_6^35 - 101744129395331204459967655495342284\ 748347384358890634510639794007/593870722492157271917953751538909368\ 3635821939643859287843221694*c_0101_6^33 + 2043967202016623287090359074628750444319259818774633279367338233309\ /11877414449843145438359075030778187367271643879287718575686443388*\ c_0101_6^31 - 11733933835051076683066484967832617695251963378473574\ 122513808015755/118774144498431454383590750307781873672716438792877\ 18575686443388*c_0101_6^29 + 82661299259044708882395884352878694869\ 055008486767899703093040352115/237548288996862908767181500615563747\ 34543287758575437151372886776*c_0101_6^27 - 1879083404044848798132477323229217397813284296384600011415596087695\ 77/1187741444984314543835907503077818736727164387928771857568644338\ 8*c_0101_6^25 + 191815957455127284972798519795003453552435835172915\ 8859004416088963897/47509657799372581753436300123112749469086575517\ 150874302745773552*c_0101_6^23 - 2844628858237469846555389238670990\ 12516935144418169106808316383204139/5938707224921572719179537515389\ 093683635821939643859287843221694*c_0101_6^21 + 6288256197515268337390878838366784405273464557554210864187948553460\ 061/237548288996862908767181500615563747345432877585754371513728867\ 76*c_0101_6^19 - 27817643309644047626943444872459762752394719073388\ 399466593120943806971/475096577993725817534363001231127494690865755\ 17150874302745773552*c_0101_6^17 + 2639138854687228563031162408248278109930853808249666410642277170192\ 129/593870722492157271917953751538909368363582193964385928784322169\ 4*c_0101_6^15 - 240600261438553853374745008104949417768774540361247\ 69190768680099115955/2375482889968629087671815006155637473454328775\ 8575437151372886776*c_0101_6^13 + 886696935436257100641802252752034\ 8290078642402970473900376780862416129/23754828899686290876718150061\ 556374734543287758575437151372886776*c_0101_6^11 + 2007317491551795355011800679418193169031850341376960499502883351201\ 789/475096577993725817534363001231127494690865755171508743027457735\ 52*c_0101_6^9 + 432073963667378440614790582938491672596227577414687\ 816658406939877675/475096577993725817534363001231127494690865755171\ 50874302745773552*c_0101_6^7 - 620164678621762977358256428841902448\ 231122042106049060485892275131967/475096577993725817534363001231127\ 49469086575517150874302745773552*c_0101_6^5 + 3816597916170042082491434418636551630396773652066186384373780480019\ /2969353612460786359589768757694546841817910969821929643921610847*c\ _0101_6^3 - 8837260680186664876395405476997238173944105376965515001\ 1096410626/29693536124607863595897687576945468418179109698219296439\ 21610847*c_0101_6, c_0101_6^38 - 12*c_0101_6^36 + 73*c_0101_6^34 - 730*c_0101_6^32 + 4212*c_0101_6^30 - 14946*c_0101_6^28 + 67660*c_0101_6^26 - 174667*c_0101_6^24 + 213450*c_0101_6^22 - 1129131*c_0101_6^20 + 2543227*c_0101_6^18 - 2041092*c_0101_6^16 + 4395521*c_0101_6^14 - 1864502*c_0101_6^12 - 70367*c_0101_6^10 - 26091*c_0101_6^8 + 57640*c_0101_6^6 - 9173*c_0101_6^4 + 487*c_0101_6^2 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB