Magma V2.19-8 Tue Aug 20 2013 16:16:05 on localhost [Seed = 3448525058] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0331 geometric_solution 4.36018687 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 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.543540165466 0.048361090334 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.631119556998 0.114047231371 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 1 0 -1 0 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 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.263186004154 1.167713625531 4 2 4 5 3201 0132 3012 0132 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 0 0 0 -1 0 1 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.758782710147 1.591763847942 5 3 2 3 1023 1230 0132 2310 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 0 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.758782710147 1.591763847942 6 4 3 6 0132 1023 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.741931900234 0.286130178658 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.394483264201 0.573533709852 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_4']), 'c_1100_5' : d['c_0011_4'], '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' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), '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' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : d['c_0101_1'], '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' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_3']), '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_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 2460839778229770184837542987387409889933353404678584327477009956272\ 676/121656114839233027647899033024717224310198199767873415560397292\ 895775*c_0101_6^24 + 1699610428728147202802675566606769423562867161\ 7111181286284393680174242/12165611483923302764789903302471722431019\ 8199767873415560397292895775*c_0101_6^23 + 3288054421240239385857180901669318818035386337637596464887488580866\ 5534/12165611483923302764789903302471722431019819976787341556039729\ 2895775*c_0101_6^22 + 301699457178117002140186032380299301417152680\ 06223946782491359638740451/4055203827974434254929967767490574143673\ 2733255957805186799097631925*c_0101_6^21 - 7123275869357451227974302707187681808941591759424067008796496443826\ 89131/1216561148392330276478990330247172243101981997678734155603972\ 92895775*c_0101_6^20 - 29332529187821785407695037262203304897561708\ 61749403240365991482815538679/1216561148392330276478990330247172243\ 10198199767873415560397292895775*c_0101_6^19 - 1312094285336378593760426756253069147863094170624418731390085420041\ 218382/121656114839233027647899033024717224310198199767873415560397\ 292895775*c_0101_6^18 - 4208343812447400888494188617227132031353546\ 584181003401347911674385316127/121656114839233027647899033024717224\ 310198199767873415560397292895775*c_0101_6^17 + 1155034100643603083610021938262941296319299626946555678103371419185\ 1228847/12165611483923302764789903302471722431019819976787341556039\ 7292895775*c_0101_6^16 + 235125625787475093200661568162547860396092\ 21889325560902383838597592576699/4055203827974434254929967767490574\ 1436732733255957805186799097631925*c_0101_6^15 + 6362279755200016555226248725363107883741903927176572205134712081321\ 64283/1763132099119319241273899029343727888553597098085121964643439\ 027475*c_0101_6^14 - 4621083725985254844724716124595362741818578243\ 52334366905492305814489111/5406938437299245673239957023320765524897\ 69776746104069157321301759*c_0101_6^13 - 4440771087267675478098610093084489459610254966389489038272237060198\ 65746231/1216561148392330276478990330247172243101981997678734155603\ 97292895775*c_0101_6^12 + 21275843026274379921007312103643560503269\ 0977029095940579183768842114742424/12165611483923302764789903302471\ 7224310198199767873415560397292895775*c_0101_6^11 + 7892864539094607207744163797520740833570106954064861382025660212589\ 46549303/1216561148392330276478990330247172243101981997678734155603\ 97292895775*c_0101_6^10 - 55123674996325029416221958959529237413139\ 3685392884992362813608580769800798/12165611483923302764789903302471\ 7224310198199767873415560397292895775*c_0101_6^9 - 7699819724716129839480723581001366914376910213988650158514773178656\ 6115669/40552038279744342549299677674905741436732733255957805186799\ 097631925*c_0101_6^8 + 24504864566353263745556198926816751393172425\ 5869472562287016546088962549572/12165611483923302764789903302471722\ 4310198199767873415560397292895775*c_0101_6^7 - 3064263369418072059595190269826654347735815515367691807613006240881\ 61146/1351734609324811418309989255830191381224424441865260172893303\ 2543975*c_0101_6^6 - 1456925534554711620553002469040367234371369030\ 729889621468428040560490776/486624459356932110591596132098868897240\ 7927990714936622415891715831*c_0101_6^5 + 7207776302092509740697931329296684197146759502683894068276492261575\ 749947/121656114839233027647899033024717224310198199767873415560397\ 292895775*c_0101_6^4 + 25434387671284282880586518267086043102237894\ 4175008554909626663425820321/24331222967846605529579806604943444862\ 039639953574683112079458579155*c_0101_6^3 - 7604507166643927698806580458536639857708666069623429436383328412188\ 44329/1216561148392330276478990330247172243101981997678734155603972\ 92895775*c_0101_6^2 + 695707057048008891916346231170147006282831934\ 57794643037617071889062979/4055203827974434254929967767490574143673\ 2733255957805186799097631925*c_0101_6 - 2975833349110991220151441859186379652982357819037185994929089476875\ 8732/12165611483923302764789903302471722431019819976787341556039729\ 2895775, c_0011_0 - 1, c_0011_1 + 429364995839924289406342386439932392947093717987024205532015\ 72560/5406938437299245673239957023320765524897697767461040691573213\ 01759*c_0101_6^24 + 30966066963549741923447196774206405178787433952\ 3160121248439919972/54069384372992456732399570233207655248976977674\ 6104069157321301759*c_0101_6^23 + 667057526546457769484196599136311\ 873066041830819748706012873897824/540693843729924567323995702332076\ 552489769776746104069157321301759*c_0101_6^22 + 1775968917619289562205892846333347450970318676125721421956209670271\ /540693843729924567323995702332076552489769776746104069157321301759\ *c_0101_6^21 - 1189202631800026295952679066591576222142920609519737\ 5870433555530636/54069384372992456732399570233207655248976977674610\ 4069157321301759*c_0101_6^20 - 548334200579887866226704991693950828\ 35513379352671321175111440088407/5406938437299245673239957023320765\ 52489769776746104069157321301759*c_0101_6^19 - 3922713905080061025877457146149300774466900978646861786307987775148\ 5/54069384372992456732399570233207655248976977674610406915732130175\ 9*c_0101_6^18 - 843512702396289165552394976313370769028046656135984\ 23569715268647400/5406938437299245673239957023320765524897697767461\ 04069157321301759*c_0101_6^17 + 17456540697296927468783028907684315\ 2586968639823861368361048263614881/54069384372992456732399570233207\ 6552489769776746104069157321301759*c_0101_6^16 + 1284750405088069093729214888470680491504066678505633732977294741177\ 073/540693843729924567323995702332076552489769776746104069157321301\ 759*c_0101_6^15 + 4998436434168126192330412283067684137084526468132\ 3927146057478290235/23508427988257589883651987057916371847381294641\ 134959528579187033*c_0101_6^14 - 1492270432111290939193488375158960\ 367587874501008391424075310334463366/540693843729924567323995702332\ 076552489769776746104069157321301759*c_0101_6^13 - 8182613690022547338897568790683771488201300896916794543284653284510\ 904/540693843729924567323995702332076552489769776746104069157321301\ 759*c_0101_6^12 + 1304523372719689548591185132112762420341756271412\ 637854746035901578658/540693843729924567323995702332076552489769776\ 746104069157321301759*c_0101_6^11 + 1434359888410777034400812888976339783591049323049413359346692335320\ 7751/54069384372992456732399570233207655248976977674610406915732130\ 1759*c_0101_6^10 - 561568595551207761452574440947059293103092053026\ 4056372905356761783142/54069384372992456732399570233207655248976977\ 6746104069157321301759*c_0101_6^9 - 6101582471737067340702813174592504080879161810382376439245847573056\ 375/540693843729924567323995702332076552489769776746104069157321301\ 759*c_0101_6^8 + 31504587736776600095986139958617403743043013773749\ 36142952009028112435/5406938437299245673239957023320765524897697767\ 46104069157321301759*c_0101_6^7 + 849331895996951334285385491735837\ 482485033476201811666516600483606591/540693843729924567323995702332\ 076552489769776746104069157321301759*c_0101_6^6 - 6780358479890655978038437240718667583845586556349013376999225566742\ 21/5406938437299245673239957023320765524897697767461040691573213017\ 59*c_0101_6^5 + 146230429301445218359004586447029825911743172023435\ 76268585294263442/5406938437299245673239957023320765524897697767461\ 04069157321301759*c_0101_6^4 + 648867843507636324050870478871164478\ 91647848676558340115789383051492/5406938437299245673239957023320765\ 52489769776746104069157321301759*c_0101_6^3 - 1490461601063615614353306270213205505077403173458390508643791302941\ 2/54069384372992456732399570233207655248976977674610406915732130175\ 9*c_0101_6^2 - 1031004079605627672642093291086879650030814454564898\ 36881704053575/5406938437299245673239957023320765524897697767461040\ 69157321301759*c_0101_6 + 98136432287059076307597646854532090202110\ 3338738539365232793407547/54069384372992456732399570233207655248976\ 9776746104069157321301759, c_0011_4 - 108214463283822999077699728366727638374731835804724699165036\ 481599/540693843729924567323995702332076552489769776746104069157321\ 301759*c_0101_6^24 - 7957082465583288451824408218430693009923741325\ 66867409126760809629/5406938437299245673239957023320765524897697767\ 46104069157321301759*c_0101_6^23 - 1797561496523897181530333934042782754170238255862909381091681083201\ /540693843729924567323995702332076552489769776746104069157321301759\ *c_0101_6^22 - 4758787999428676909136303797223615550983428479123326\ 013255151308213/540693843729924567323995702332076552489769776746104\ 069157321301759*c_0101_6^21 + 2924158640957102600386291176344284051\ 3741837152896058967931582587732/54069384372992456732399570233207655\ 2489769776746104069157321301759*c_0101_6^20 + 1421638233290491316899810948323195133356445673807746006824793521967\ 89/5406938437299245673239957023320765524897697767461040691573213017\ 59*c_0101_6^19 + 12009802224073418851045323749386923393113402799279\ 1978246294492184388/54069384372992456732399570233207655248976977674\ 6104069157321301759*c_0101_6^18 + 234670604296144084175333943387760\ 331836929407643021836467904579631786/540693843729924567323995702332\ 076552489769776746104069157321301759*c_0101_6^17 - 4040218855644989746693594833468993613564614414615687549521736774647\ 24/5406938437299245673239957023320765524897697767461040691573213017\ 59*c_0101_6^16 - 32880338469755347776677123033598303693829797440948\ 69753267555173651627/5406938437299245673239957023320765524897697767\ 46104069157321301759*c_0101_6^15 - 1469641478290023822878864932010294663382791286871021921467939725990\ 09/2350842798825758988365198705791637184738129464113495952857918703\ 3*c_0101_6^14 + 316148285228335176742938094187855903874943674859920\ 1124367538928753516/54069384372992456732399570233207655248976977674\ 6104069157321301759*c_0101_6^13 + 209781031166411651147509527505086\ 06711913124435024023060822054794093301/5406938437299245673239957023\ 32076552489769776746104069157321301759*c_0101_6^12 - 1545588672649801972443978057561954355788723486539227982338572378013\ 79/5406938437299245673239957023320765524897697767461040691573213017\ 59*c_0101_6^11 - 35382031308013090513439956197554104145328521263550\ 222808098000310957621/540693843729924567323995702332076552489769776\ 746104069157321301759*c_0101_6^10 + 8913168581641583442165456528376108163319638569382352725826812272046\ 112/540693843729924567323995702332076552489769776746104069157321301\ 759*c_0101_6^9 + 15185040349858843855225915211050052196827983293587\ 185122590348823743618/540693843729924567323995702332076552489769776\ 746104069157321301759*c_0101_6^8 - 5094205871808776056859494584823184154218248720162539334388656693068\ 171/540693843729924567323995702332076552489769776746104069157321301\ 759*c_0101_6^7 - 22454633287393351140115711012612089886974245200797\ 59918435913432913180/5406938437299245673239957023320765524897697767\ 46104069157321301759*c_0101_6^6 + 105204894247092826463396337381629\ 7474109702054343806593644294866760842/54069384372992456732399570233\ 2076552489769776746104069157321301759*c_0101_6^5 + 2921437448760060813047446916462557311861388704079018932637773279343\ 1/54069384372992456732399570233207655248976977674610406915732130175\ 9*c_0101_6^4 - 1068550298513390810816534983996890806316291331591819\ 70348671285127975/5406938437299245673239957023320765524897697767461\ 04069157321301759*c_0101_6^3 + 231066526630458927872238499936899152\ 43638879696381990189549386139808/5406938437299245673239957023320765\ 52489769776746104069157321301759*c_0101_6^2 + 2440554381838962753011680074859433230109420188965772219774678829401\ /540693843729924567323995702332076552489769776746104069157321301759\ *c_0101_6 - 1423133070600403592684975185879973596830749869605848738\ 592319546227/540693843729924567323995702332076552489769776746104069\ 157321301759, c_0101_0 - 218431123873747926596019555948789260293520177526796389618386\ 763511/540693843729924567323995702332076552489769776746104069157321\ 301759*c_0101_6^24 - 1593118573867267628332181451456831371306630427\ 463121704851780972313/540693843729924567323995702332076552489769776\ 746104069157321301759*c_0101_6^23 - 3525319004698370317651386640045955772884648544667489794657459528191\ /540693843729924567323995702332076552489769776746104069157321301759\ *c_0101_6^22 - 9332052871865801925500072399174686651209757469526595\ 798177700155079/540693843729924567323995702332076552489769776746104\ 069157321301759*c_0101_6^21 + 5974515217807013247443318124421771423\ 7474318699541516250295160033115/54069384372992456732399570233207655\ 2489769776746104069157321301759*c_0101_6^20 + 2838302173070617844588063116001369044928447135198648640930413105174\ 11/5406938437299245673239957023320765524897697767461040691573213017\ 59*c_0101_6^19 + 22351465122566601078186759116742859243870191168515\ 2480846394201256512/54069384372992456732399570233207655248976977674\ 6104069157321301759*c_0101_6^18 + 448760175794954352979477634708818\ 207791694691544798766202174675792558/540693843729924567323995702332\ 076552489769776746104069157321301759*c_0101_6^17 - 8567532504424822727110591853660625410260255085292457911217148532948\ 19/5406938437299245673239957023320765524897697767461040691573213017\ 59*c_0101_6^16 - 66100763863791324533255366799131547827661529760003\ 65904797468417877994/5406938437299245673239957023320765524897697767\ 46104069157321301759*c_0101_6^15 - 2786947802501071934877498982113803437118074765457047360170260573996\ 58/2350842798825758988365198705791637184738129464113495952857918703\ 3*c_0101_6^14 + 701926992333107789807276875526170776499674719264646\ 3592881110921953871/54069384372992456732399570233207655248976977674\ 6104069157321301759*c_0101_6^13 + 423006368700949497831871150690103\ 11374022167391729665248432853230712071/5406938437299245673239957023\ 32076552489769776746104069157321301759*c_0101_6^12 - 2896479324957858281225006681406738848936158164561715922853802267479\ 514/540693843729924567323995702332076552489769776746104069157321301\ 759*c_0101_6^11 - 7285282595228078933442487350437840149325224718313\ 0576454262864872995476/54069384372992456732399570233207655248976977\ 6746104069157321301759*c_0101_6^10 + 2157967214913048818823132156648538172214992340842620045040377181095\ 7732/54069384372992456732399570233207655248976977674610406915732130\ 1759*c_0101_6^9 + 3168609251693628006984462612776935738379591712843\ 9417060994265382542176/54069384372992456732399570233207655248976977\ 6746104069157321301759*c_0101_6^8 - 1172792501692325950664103158351386079511487884475157051946865878431\ 2810/54069384372992456732399570233207655248976977674610406915732130\ 1759*c_0101_6^7 - 4801307206264672592021221789704678354789235974148\ 268950868548000783270/540693843729924567323995702332076552489769776\ 746104069157321301759*c_0101_6^6 + 2345628816727167643071631120065048476937384539103930257263852572143\ 566/540693843729924567323995702332076552489769776746104069157321301\ 759*c_0101_6^5 + 57217792456231879270833942265761549897886566271219\ 225200982210086133/540693843729924567323995702332076552489769776746\ 104069157321301759*c_0101_6^4 - 22982133222668559469675295427017939\ 3764460661534535798980816852200994/54069384372992456732399570233207\ 6552489769776746104069157321301759*c_0101_6^3 + 5135716970661119022277521825783435637062467836258044060951881927335\ 1/54069384372992456732399570233207655248976977674610406915732130175\ 9*c_0101_6^2 + 5009804064448480474716232353205184587041194988915510\ 789964204036364/540693843729924567323995702332076552489769776746104\ 069157321301759*c_0101_6 - 2914996641825813889216833250254468298013\ 354538203858235631060256142/540693843729924567323995702332076552489\ 769776746104069157321301759, c_0101_1 - 130627247181286115608789364870184274757922598318194053657026\ 8985/23508427988257589883651987057916371847381294641134959528579187\ 033*c_0101_6^24 - 9536188278894943893133048665727193536802687247625\ 557327564092429/235084279882575898836519870579163718473812946411349\ 59528579187033*c_0101_6^23 - 21243964294115237116978596106610531302\ 427668592771593669578749442/235084279882575898836519870579163718473\ 81294641134959528579187033*c_0101_6^22 - 56663536615536136318648090690584827146972743659131709035128752076/2\ 3508427988257589883651987057916371847381294641134959528579187033*c_\ 0101_6^21 + 3552799378049259388649291016510460905395578458677386844\ 54165229794/2350842798825758988365198705791637184738129464113495952\ 8579187033*c_0101_6^20 + 169545315453712006738787293802221749472092\ 4485553115593076167612570/23508427988257589883651987057916371847381\ 294641134959528579187033*c_0101_6^19 + 1374035551715091351023794319424617245688613026517203013820078769274\ /23508427988257589883651987057916371847381294641134959528579187033*\ c_0101_6^18 + 28194714360266990696268706727129531197705813831597014\ 46241875157504/2350842798825758988365198705791637184738129464113495\ 9528579187033*c_0101_6^17 - 499252970189885723265703197600428350050\ 1326371206997195216936678910/23508427988257589883651987057916371847\ 381294641134959528579187033*c_0101_6^16 - 3933658798062114562364086250501156659748928598989295194472915245802\ 1/23508427988257589883651987057916371847381294641134959528579187033\ *c_0101_6^15 - 3894015616018779266640997941878417906938641110266645\ 5192606327619606/23508427988257589883651987057916371847381294641134\ 959528579187033*c_0101_6^14 + 3881077758953858180308802778450527363\ 1165009164590091434130748385348/23508427988257589883651987057916371\ 847381294641134959528579187033*c_0101_6^13 + 2501505914002769127010587223815857017116321573789572053282861441331\ 64/2350842798825758988365198705791637184738129464113495952857918703\ 3*c_0101_6^12 - 132129769482965251127295163229719735905022449375450\ 22665871187738382/2350842798825758988365198705791637184738129464113\ 4959528579187033*c_0101_6^11 - 417554719976218953391811804644053285\ 211485077480730933702994781584637/235084279882575898836519870579163\ 71847381294641134959528579187033*c_0101_6^10 + 1264667492805989966728769817812107015431366762883070680482039495815\ 72/2350842798825758988365198705791637184738129464113495952857918703\ 3*c_0101_6^9 + 1612199651746929696845651716676601391323542711257678\ 56700498124894198/2350842798825758988365198705791637184738129464113\ 4959528579187033*c_0101_6^8 - 6071939675080970335685852099254453067\ 9829935595257030330669248082115/23508427988257589883651987057916371\ 847381294641134959528579187033*c_0101_6^7 - 1904356318720100893486405545923361140034967984145041160449991579901\ 3/23508427988257589883651987057916371847381294641134959528579187033\ *c_0101_6^6 + 93893873840591338586065236206899151715024938527326687\ 77162672578604/2350842798825758988365198705791637184738129464113495\ 9528579187033*c_0101_6^5 - 2577127850200409076246893222012069576809\ 72244428055610634737616261/2350842798825758988365198705791637184738\ 1294641134959528579187033*c_0101_6^4 - 582417311751421916197678322767741024076368493897588045514401133436/\ 23508427988257589883651987057916371847381294641134959528579187033*c\ _0101_6^3 + 1795065807311203914745188337845490255992623535178057392\ 95574968720/2350842798825758988365198705791637184738129464113495952\ 8579187033*c_0101_6^2 + 2172961843992757661968735762212252210354874\ 7319336853471650418465/23508427988257589883651987057916371847381294\ 641134959528579187033*c_0101_6 + 2468153413200861433476809229169937\ 232777285095366389238497437660/235084279882575898836519870579163718\ 47381294641134959528579187033, c_0101_3 - 902720171408192588152546419168460010097780921634634031136020\ 75595/5406938437299245673239957023320765524897697767461040691573213\ 01759*c_0101_6^24 - 67049709782899577610461972206712768526723101787\ 9118849936426729228/54069384372992456732399570233207655248976977674\ 6104069157321301759*c_0101_6^23 - 155037199323020401304958953050036\ 5346285847144299623777322727140797/54069384372992456732399570233207\ 6552489769776746104069157321301759*c_0101_6^22 - 4092393356404404847334110065370540985759397833815057580539181880860\ /540693843729924567323995702332076552489769776746104069157321301759\ *c_0101_6^21 + 2407023897480950041690187920498978932185287894524039\ 7808197451800413/54069384372992456732399570233207655248976977674610\ 4069157321301759*c_0101_6^20 + 120335518410101064407538580306613978\ 924940729600481136124498891700337/540693843729924567323995702332076\ 552489769776746104069157321301759*c_0101_6^19 + 1093765644418315568907482965177411198102907621768342054869460706575\ 78/5406938437299245673239957023320765524897697767461040691573213017\ 59*c_0101_6^18 + 20520671680499679233913385637905081455592204563674\ 3864266288588783256/54069384372992456732399570233207655248976977674\ 6104069157321301759*c_0101_6^17 - 320205111824687309113594659189151\ 974031069208609410133509714077316298/540693843729924567323995702332\ 076552489769776746104069157321301759*c_0101_6^16 - 2763886578724980604023265718082722954007151863329029213794595442619\ 489/540693843729924567323995702332076552489769776746104069157321301\ 759*c_0101_6^15 - 1316430773481131342131985081349783692155585568563\ 94486720734137710515/2350842798825758988365198705791637184738129464\ 1134959528579187033*c_0101_6^14 + 238311731257824215058409474862211\ 6838864512444872362305792835763550048/54069384372992456732399570233\ 2076552489769776746104069157321301759*c_0101_6^13 + 1763720018792728251934644580035213485311933813450852895881661535997\ 7995/54069384372992456732399570233207655248976977674610406915732130\ 1759*c_0101_6^12 + 119181404023994982641799696859095711113103800650\ 2710190205534339242758/54069384372992456732399570233207655248976977\ 6746104069157321301759*c_0101_6^11 - 2924836311617455506989682873849686273100822975507085052741427537054\ 5739/54069384372992456732399570233207655248976977674610406915732130\ 1759*c_0101_6^10 + 532396887124930848449089858628915679980447239019\ 4692955739774573869606/54069384372992456732399570233207655248976977\ 6746104069157321301759*c_0101_6^9 + 1281504882419947789022433647975118558391715652601114866456328466364\ 9356/54069384372992456732399570233207655248976977674610406915732130\ 1759*c_0101_6^8 - 3309197043234496314830018309256259647282630699332\ 545101799648079592460/540693843729924567323995702332076552489769776\ 746104069157321301759*c_0101_6^7 - 2043370249298023233672685426564250734623959305911994211122411157235\ 893/540693843729924567323995702332076552489769776746104069157321301\ 759*c_0101_6^6 + 73101817925930559130176087157066574064374275918283\ 1365674736897169148/54069384372992456732399570233207655248976977674\ 6104069157321301759*c_0101_6^5 + 7034618652132609660505373447877961\ 5214560345636008748097439101379136/54069384372992456732399570233207\ 6552489769776746104069157321301759*c_0101_6^4 - 8549120435152807588579813555380205089403112842760908434909639863955\ 3/54069384372992456732399570233207655248976977674610406915732130175\ 9*c_0101_6^3 + 1397113240383764934410695110659979193302734270799883\ 2824080186288274/54069384372992456732399570233207655248976977674610\ 4069157321301759*c_0101_6^2 + 2729756632261115452921758013536239723\ 703590537935330494269904932959/540693843729924567323995702332076552\ 489769776746104069157321301759*c_0101_6 - 1093189234127922099897668660211327404706764602835927287308035204182\ /540693843729924567323995702332076552489769776746104069157321301759\ , c_0101_6^25 + 7*c_0101_6^24 + 14*c_0101_6^23 + 38*c_0101_6^22 - 286*c_0101_6^21 - 1219*c_0101_6^20 - 642*c_0101_6^19 - 1757*c_0101_6^18 + 4517*c_0101_6^17 + 29102*c_0101_6^16 + 20457*c_0101_6^15 - 40695*c_0101_6^14 - 184031*c_0101_6^13 + 70234*c_0101_6^12 + 329288*c_0101_6^11 - 197703*c_0101_6^10 - 115777*c_0101_6^9 + 97867*c_0101_6^8 + 5741*c_0101_6^7 - 17810*c_0101_6^6 + 3097*c_0101_6^5 + 1185*c_0101_6^4 - 579*c_0101_6^3 + 52*c_0101_6^2 + 23*c_0101_6 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB