Magma V2.19-8 Tue Aug 20 2013 16:17:57 on localhost [Seed = 3170705529] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2186 geometric_solution 5.64676936 oriented_manifold CS_known 0.0000000000000002 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.308704183007 0.194346741646 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.371414036415 1.266150037724 1 4 5 3 0132 0132 0132 1230 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 1 -1 1 0 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 1.120940594740 1.170277660820 2 5 4 1 3012 1023 3201 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.120940594740 1.170277660820 3 2 6 6 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.020534376556 0.599215116962 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 -1 1 0 -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 1 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.003508222579 0.796938590349 4 6 4 6 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.800639658292 1.943761153446 ==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' : 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' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), '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' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], '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_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), '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_0011_6, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t + 8273469727832498740154283787586702775105810363248320476132590578082\ 8664864696874/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^32 + 1201526487236819461599142543889160320090786831585263503990413817596\ 188977116696883/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^31 + 5207688951997148212230617047292852242274982297634863820987234222188\ 014464887440657/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^30 + 5476360952346072704599767766284871207620185864407944410528924196258\ 889714099855784/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^29 + 4637428807396818312698445449287210531904579450154588230655626609911\ 998319070533349/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^28 + 3168482850108467975461070813024205031852284406758042506130815566918\ 4790253571380316/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^27 - 8025296373581396692681959272854595951735668534376833168839161141236\ 6476635694504058/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^26 - 2445426667835713270216955187356493086465005070950216419927869291057\ 6752235240751806/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^25 + 3270371639753463500184181950212905334650333990707066970860839791410\ 3706668202716857/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^24 - 8889133082692296739326489676217535335465283715525252118313780366874\ 75777967357419951/6678800622295790043069527750309628973666779135686\ 87971737437074414084114270313*c_0101_4^23 + 1351308068984708365841231236040033389601811516285693899922126319100\ 717493477981103466/667880062229579004306952775030962897366677913568\ 687971737437074414084114270313*c_0101_4^22 - 2741569115775475427210399339675789958157334298307131969820653182128\ 203370981639089714/667880062229579004306952775030962897366677913568\ 687971737437074414084114270313*c_0101_4^21 + 3017802435050560888324031976344185843976857459070770161487657926173\ 503481866285212194/667880062229579004306952775030962897366677913568\ 687971737437074414084114270313*c_0101_4^20 - 1160004743376433830524430492532646755180467845985481480791805245611\ 645545850333270979/667880062229579004306952775030962897366677913568\ 687971737437074414084114270313*c_0101_4^19 - 6511065492868373758361530498033686189013213013362556461148465543607\ 92480972281914545/6678800622295790043069527750309628973666779135686\ 87971737437074414084114270313*c_0101_4^18 + 8727526989812085701914608620852767711701558128650679154705922186936\ 415739275954585955/667880062229579004306952775030962897366677913568\ 687971737437074414084114270313*c_0101_4^17 - 1034632962328170859948299726387970065327539850906784933888777212614\ 5109061028960552908/66788006222957900430695277503096289736667791356\ 8687971737437074414084114270313*c_0101_4^16 + 1759177943416309627047680350527438557831238547643243692375820666081\ 4984076854312979206/66788006222957900430695277503096289736667791356\ 8687971737437074414084114270313*c_0101_4^15 - 1471128744064498251956018352641094292749594478887780783596961050387\ 8396571866129235004/66788006222957900430695277503096289736667791356\ 8687971737437074414084114270313*c_0101_4^14 + 1346025863591000768967753081013219144609651363149365430622736695353\ 8037209048028646832/66788006222957900430695277503096289736667791356\ 8687971737437074414084114270313*c_0101_4^13 - 9705678731526895080449810576517871550658166847924254943398555273410\ 337633776581241879/667880062229579004306952775030962897366677913568\ 687971737437074414084114270313*c_0101_4^12 + 3148160627639336222780645814758306739889088278561766458140332743648\ 705605734723417578/667880062229579004306952775030962897366677913568\ 687971737437074414084114270313*c_0101_4^11 - 3703600755456357875086631869732545965238262242186543219322727208876\ 512843458339788683/667880062229579004306952775030962897366677913568\ 687971737437074414084114270313*c_0101_4^10 - 1232389713901134758077651183670164780887668035944052637162463263147\ 399314979365194374/667880062229579004306952775030962897366677913568\ 687971737437074414084114270313*c_0101_4^9 - 1113086436941120505768303577901189352225239632346401548370890413145\ 775517694025127461/667880062229579004306952775030962897366677913568\ 687971737437074414084114270313*c_0101_4^8 - 8420874251691906990717507737224950120688011313269864194815532453206\ 05885785240723511/6678800622295790043069527750309628973666779135686\ 87971737437074414084114270313*c_0101_4^7 - 3006744966567352474062314979292249946709998430144539576603984398184\ 87038246545406535/6678800622295790043069527750309628973666779135686\ 87971737437074414084114270313*c_0101_4^6 - 2005576357019401185608400634124704406524759999838800346511929296441\ 79530683215639950/6678800622295790043069527750309628973666779135686\ 87971737437074414084114270313*c_0101_4^5 - 4653808710955183474473775302663417398338853120343413560280225586477\ 3383372048458381/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^4 - 2476450339798029501275141094809924411944610626658031789701373303818\ 3190546516420293/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^3 - 2970281242062809835457094863997821061740179562282549218623367908638\ 177404714337010/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^2 - 1228752971447439999550663000512657547237834314182561913377962427774\ 653180124348917/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4 + 7753521615905762225519182184762973331678148721892554555640210093408\ 6191352921/66788006222957900430695277503096289736667791356868797173\ 7437074414084114270313, c_0011_0 - 1, c_0011_1 + 471082314735449846205361965625055609443438267445014596331127\ 128272502916090101/667880062229579004306952775030962897366677913568\ 687971737437074414084114270313*c_0101_4^32 + 6917830595033963541800875955419979321719360887179750888581756773177\ 973675421329/667880062229579004306952775030962897366677913568687971\ 737437074414084114270313*c_0101_4^31 + 3072480981483685840942368025574294890142751084071164076366917660635\ 0235050560906/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^30 + 3544240295361585945720808795952789349771094633195812847297933787132\ 2630460623874/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^29 + 2903182383380835728377234912837378221851288953301296603834533408388\ 6761669767257/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^28 + 1820152660754508419450426989625965382973161994868948614110807025013\ 13861962971311/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^27 - 4296359457408029094435301630447094439697225078050045959744272777848\ 06157006870344/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^26 - 2276713545045831125494248158079293155844167972495956122128667310044\ 21602113965694/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^25 + 1988065104055719986530061240347751618078062300473982216576865178173\ 31557056428017/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^24 - 5012965391855748590723998510316868453293595662692562613847195062584\ 214574689056709/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^23 + 6852181847348389159884177810403524825492476649433633735679928638831\ 354295122835423/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^22 - 1396026063150540926815014882412170638297386164647032199442244135839\ 4446538932962214/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^21 + 1408551668176734814399750691989223567378286766293894727808454858507\ 7776626155348039/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^20 - 2714119899124975190537644364061752513730802252501000169522943211700\ 324108856016554/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^19 - 5894467219306015878744987594897162018786217973753782690673909238518\ 717534213523130/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^18 + 4924291077865065205246799762079166946609947870792362972480013020904\ 9011480383343319/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^17 - 5026221129079904658435498087005935534680102117754714536358134623437\ 1915396195858876/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^16 + 8661933662886818361503178851571906740160382734355008126656209005413\ 7450592761823695/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^15 - 6338077590516300713363597203439249602302324116088087052795831548860\ 6908751760883798/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^14 + 5634546992514168216396786022784929007647353748913561836117788277024\ 0446494357166113/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^13 - 3790620713490936977920303356414440810653408063888203321072307444817\ 8763709110217869/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^12 + 4909788364938459824036035964967759725847853069055183025303740598289\ 969301788655062/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^11 - 1546836100714598652564280694535713316087260855562481873484753140571\ 0649317084200869/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^10 - 1057262584259560130494450563344765365720583336904797276281318904909\ 9026441106404523/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^9 - 6472939723554494544304582505326213908157277829094499506997954249004\ 488126991590444/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^8 - 5035024778303655824587264516568974330440993413348672297251541191847\ 553692287712800/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^7 - 2077146096902203306153138445801077879251067193502153656471078900863\ 477897104746988/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^6 - 1115369316429647144461677893125445498788725305613426480780374253655\ 374613573988353/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^5 - 3269347699355974640527276644704927536297408749780193310961427179200\ 55301619764360/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^4 - 1242668516425027601330019179395898222354182229029886636169714211885\ 52942665652332/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^3 - 2343787245206110364238504914835484164810949875734453109246481052449\ 1771176717227/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^2 - 4149544921844573192105107106381458249005284375255705422423997878075\ 948683524140/667880062229579004306952775030962897366677913568687971\ 737437074414084114270313*c_0101_4 - 1176350247702719862346172804097658826830821566163927683403974579709\ 72314940076/6678800622295790043069527750309628973666779135686879717\ 37437074414084114270313, c_0011_3 - 866621295922056781047167208139065426515770641764314638149600\ 774902583632827520/667880062229579004306952775030962897366677913568\ 687971737437074414084114270313*c_0101_4^32 - 1276511979030021125454552063444131788955978958256362841150112767662\ 9677808943046/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^31 - 5710895474001879965752168277814066376651433113051271706050500751042\ 6165036292072/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^30 - 6796157528613816967287564062659838656972460335935727749571378435619\ 6266964284975/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^29 - 5720827395898026241601623735792159306608750560836613034575690759601\ 6907364663327/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^28 - 3375569968283930638786891073661567480385958055749580276420131241326\ 87305308060599/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^27 + 7756479628747911116077211212913179517983342338084582135056184562187\ 95664473737217/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^26 + 4488561795515607121230722583333821760555416900256439230444397606388\ 28950354390880/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^25 - 3269457655016453785936851599254555794816389919299808740455850406711\ 85974231786719/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^24 + 9203866586978475051228349126074969073531718237623708286434589105503\ 513686638668847/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^23 - 1221193630077275460494562907511621329821248319664103839989858160660\ 8667220203484590/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^22 + 2529759644394586199363891530652532050949955967927699178818034799439\ 0966996212143863/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^21 - 2513279154227962778013711007046749127063162311154259816900393160937\ 9187597739442439/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^20 + 4446486258437170930487746726072548750274779526993233233975896195774\ 820391761666716/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^19 + 1030541477340081886431058877360504623037015454876316019284336732973\ 3371156649259426/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^18 - 8981657734703021227285718727746507328016286107722987828888193191828\ 4185584173808603/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^17 + 8875955315389656911326822327015584143478845877293095355177981299986\ 9293346529595101/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^16 - 1571511669751689938646938893642412437674240698111800115519311322983\ 95283777143345380/6678800622295790043069527750309628973666779135686\ 87971737437074414084114270313*c_0101_4^15 + 1124355465580201919708984925538866325680664510595318798468502418030\ 33099250159160958/6678800622295790043069527750309628973666779135686\ 87971737437074414084114270313*c_0101_4^14 - 1021810525253869643624425731883010764861368536181969931901373266106\ 42334253474499808/6678800622295790043069527750309628973666779135686\ 87971737437074414084114270313*c_0101_4^13 + 6879888958053923868391016285790021371141611056230806559338091157393\ 6955365001452104/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^12 - 8455090129143137699226646086958853782432237244013896805346864234866\ 703870184822679/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^11 + 2990606437170677278619965791301063456650336359383520084939668322761\ 9927206902478320/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^10 + 2021451575102044418521999469346030331984606605457989494913898442671\ 3119397088718397/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^9 + 1298841184112975080194326840878332432485835029736832235106320058718\ 4699112493718878/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^8 + 9801210386038388215561202905584988660754620041119259511823875884638\ 154758794101640/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^7 + 4105711722523317146127681859022223434719445323897645168712850422653\ 628462531668785/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^6 + 2162164694743687754036778011643115249589477162838884441835345531833\ 265344441598987/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^5 + 6289633730872244797568392062742888302203444969175023161587758833859\ 57187383388203/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^4 + 2353082153297509877209587800871381075690290143696739475742341850990\ 24243500477505/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^3 + 4215904011598086605194104617544050056064942301062727459942603868407\ 1937938393212/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^2 + 7770656331812072192700196608295742421612540771011185169154652638070\ 813073693500/667880062229579004306952775030962897366677913568687971\ 737437074414084114270313*c_0101_4 + 8283406412812695748447814126718185088601499988277068994323868818451\ 95680732116/6678800622295790043069527750309628973666779135686879717\ 37437074414084114270313, c_0011_6 + 521944125993004473765158028395915235953947227668677721185994\ 699620597991909233/667880062229579004306952775030962897366677913568\ 687971737437074414084114270313*c_0101_4^32 + 7784974579333878716726167540742676435706130322283277160124300703118\ 702339464372/667880062229579004306952775030962897366677913568687971\ 737437074414084114270313*c_0101_4^31 + 3579541630691445329298622782099619072303537666402540966173404164563\ 2428610820788/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^30 + 4691847966875291048828200006350134041752678376245358060388123160069\ 4524091239378/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^29 + 4023740805828035458409201001267523624604298492949482925958947101155\ 5202930249639/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^28 + 2073063316902628206036452982488236867274264980102234158849387434190\ 61827045764048/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^27 - 4317290959229524626955893755992859815612665587184469817497119853617\ 32532128629843/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^26 - 3678325499837090289750649236357787534914502348961783600869351790266\ 41581609836102/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^25 + 1692141941406618859251137144596075149086624701961728018268871134047\ 21690332529137/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^24 - 5491277444301989953477560989100689798368633012570556842404782356376\ 970153020809978/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^23 + 6323132722822803042421025950425840879830651640145298156770110704963\ 125820915637299/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^22 - 1358846789644947016362006890844015156469361429713787021555187118483\ 8977293494689734/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^21 + 1196650730563216026472041445482709960359819903759338286482860123096\ 9560452616294587/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^20 + 9092411236457159488751458229920248015227767718267105099599720572910\ 96804647594902/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^19 - 7464152843391631363040478210625607455697611224290033850337405344682\ 925095656784940/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^18 + 5312974776406331071410741069654133274948792397311012252258146983658\ 4367094951394203/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^17 - 4326400882991116302677795335210247184918684033907938743225311784998\ 2644542418405609/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^16 + 8205289513109933636644765880739453565157722234966292694084425403086\ 6670600259950011/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^15 - 4769372186039659799952251641738616175145375493604991217315783925741\ 6165754189067154/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^14 + 4398143206550789402986495595367092372148129564899078832367219607355\ 5419919672858588/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^13 - 2649174373618811393660300232807177528634051616971487285871236608399\ 2292462728649774/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^12 - 6205874613875164873355397407952252173712055010071984767417482079701\ 099831283032261/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^11 - 1451105703458429342028829858888579305280584888069612990971530271391\ 9996704776836447/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^10 - 1607030342373559261939981364244032507842310755898741919920407559247\ 1395277280287889/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^9 - 8774433408626726488083319312275283460016286500743105029311556752105\ 346928702958481/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^8 - 6674842118873453942748185680722266089083147716548987735154818871946\ 274093752876830/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^7 - 3029572750903008322288642105226703607140631208393212375461542370549\ 109977938990847/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^6 - 1376291684223586256066109028483320670318983957591544906098579595562\ 196234147484837/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^5 - 4788541251171703521630768840309706020661530143977397718623076968051\ 64661539436347/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^4 - 1390140498724126412571351272590305181139295273575182513424539102930\ 25951676865268/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^3 - 3600745279050716257468636580384633672305851092552936046578957313881\ 5492664172534/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^2 - 3855871315382082713697641618670205129880979652014534914735105857332\ 052660291688/667880062229579004306952775030962897366677913568687971\ 737437074414084114270313*c_0101_4 - 1247861956852498400803143291613584358321647630801477368414663926695\ 305611606752/667880062229579004306952775030962897366677913568687971\ 737437074414084114270313, c_0101_0 - 472159303625298517589632021027423904530611072113979083246993\ 586873614800720534/667880062229579004306952775030962897366677913568\ 687971737437074414084114270313*c_0101_4^32 - 6920529998347713916551084817824551730183486112913480708535210291407\ 116962022920/667880062229579004306952775030962897366677913568687971\ 737437074414084114270313*c_0101_4^31 - 3060536311402424814328374496266509513381980048349180131070862015094\ 9179823633365/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^30 - 3470836902532947411388755464501618130673577576089245265488840137580\ 6806049300019/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^29 - 2826885878695842680664918048552377349998167144902019369082606904814\ 7029652439313/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^28 - 1817341500426588249777642379187513721569656284249418983747197598654\ 36174658328267/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^27 + 4354418057268324824615849892894976026949455452957236852868325925496\ 25105017490607/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^26 + 2149153131099043211392371364678193202553073287229448571550619501385\ 10695313416265/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^25 - 2022120323206915157628161758633425489143627114384694818850425886605\ 10443582569493/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^24 + 5027800454303579898892098120096080069206209872256177444689676000141\ 947232111002048/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^23 - 7006958857575700511199091711764953553732924204014315464707764264117\ 362096859335081/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^22 + 1421835097809243007597220235893609557031094023639638217391972883706\ 5647295339041805/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^21 - 1457656517948770404168867082324183143191987209966402801811834255643\ 7043686488120328/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^20 + 3270841905232031794635481319033739615175272613171004970259291265654\ 687091958498323/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^19 + 5632518816991831892568924662075316967555033743476764760752657276463\ 553890420565308/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^18 - 4934869432830558965204672101132755525371731451887406883183654315003\ 9732335034682587/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^17 + 5169856932379764835581122734383948874170048346419424993820606551218\ 4074159316722481/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^16 - 8857282224687161029034640270065414303287510426277536337155118329668\ 1067651707342861/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^15 + 6654827288584217238446635553527821709549553197845412721529437503702\ 2396269308937562/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^14 - 5936498878295345544763669767390859657138100469077255804862319729830\ 1665336770719578/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^13 + 4065596846197390764081723274846909205237885456634017346396562981339\ 9412926703619005/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^12 - 7131317833441149613324120917150519464332681748458270358301770882219\ 720255236576202/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^11 + 1648254281290058812268906974564868540976878672280371682565750977700\ 8476541245253081/66788006222957900430695277503096289736667791356868\ 7971737437074414084114270313*c_0101_4^10 + 9673661618183421817819159980385653308093768499483062982517395187130\ 078980954712540/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^9 + 6541006904979467715644969073786512268028699008275071292584259778310\ 681013385017175/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^8 + 4864875337173169017921296496089228589995771106340643945054074890590\ 038151912449410/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^7 + 2045208950816576490227412161382890495597633681817168533591839074991\ 718295148956630/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^6 + 1126675639889091470266448999130253266103514034481245250581440677939\ 136496659811893/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^5 + 3158794994433205633540870017337429182771913146916408345196207646414\ 94790419382087/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^4 + 1337366116811475730876605346020210725041895229631375798289595273940\ 13361896530940/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^3 + 2231192410564533589633530184291951317266062094416339190708652518086\ 8140753842722/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^2 + 4639890226216221601010901858233589581047352026472898771866977183016\ 980868672828/667880062229579004306952775030962897366677913568687971\ 737437074414084114270313*c_0101_4 + 2632329278990762253486624047681727369598275251344911296561854984168\ 01720940016/6678800622295790043069527750309628973666779135686879717\ 37437074414084114270313, c_0101_3 + 354363322285792998366236913422006013883836301936916332756395\ 16251791239284837/6678800622295790043069527750309628973666779135686\ 87971737437074414084114270313*c_0101_4^32 + 5530624147539983384492107970064751001440737126607956705785365814485\ 66240910704/6678800622295790043069527750309628973666779135686879717\ 37437074414084114270313*c_0101_4^31 + 2781704114027854819634760354604971434587441241038776182257126751734\ 845116731925/667880062229579004306952775030962897366677913568687971\ 737437074414084114270313*c_0101_4^30 + 4665656701762844133845565378793139634742950355017172010236826593784\ 091699044947/667880062229579004306952775030962897366677913568687971\ 737437074414084114270313*c_0101_4^29 + 4120155234346475011931314647749962297756588791888605121911580681128\ 800880812386/667880062229579004306952775030962897366677913568687971\ 737437074414084114270313*c_0101_4^28 + 1536817588107694009137441321372080121582113817098230341473756014173\ 4332726708029/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^27 - 2002607008673748720943973681965715497549144582622451672487486069788\ 8298290705098/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^26 - 5042241307320401446101163321923689522746137254624393234558254801137\ 4833305088453/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^25 + 1014783742443766357018267027743383093897588864076408240829369037705\ 7509668923642/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^24 - 3662004426910353640658876678881197689898819327209395516289011309804\ 92474588448732/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^23 + 1643264314434015556791524022020952808394691054166782726905417318242\ 33562488577944/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^22 - 4698979602523401007959518463303358254025565383937383543136829427669\ 68402192196735/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^21 - 1189229527552545788932306504854565901579103504257130446322168883156\ 03075734827612/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^20 + 1190373290255486825409945533652148092084832296105005668152892365061\ 353275950355120/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^19 - 1171032616393978559434479752182083991100722076860844322565793589253\ 073463979886915/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^18 + 3662207243636262001626565303449513866653123436566021317496875294410\ 174446043887919/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^17 - 4029739326256636305727769063093968648015293024428678934790252941464\ 72118943130228/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^16 + 1971673152021151509306048814213584188776202788768047886264594754222\ 046403127184368/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^15 + 3012275412439960665042703145870681776380454479603137198199164807593\ 450439329125766/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^14 - 3022536717166765679159163489560785179687307663903074129527122732524\ 992579614942271/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^13 + 3995253011715051212920052146883126017925079062692377215670240497837\ 835155560331911/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^12 - 4961443235890672058389183798497954701835969536202723081864253765682\ 119270422986460/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^11 + 1231225832281139360744604756897106324267903848653751005282734079195\ 107050336717868/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^10 - 2872064641996926424203060996582609896950306330315305659672173890217\ 669994903436201/667880062229579004306952775030962897366677913568687\ 971737437074414084114270313*c_0101_4^9 - 5969679304248002153729423984790549250165325946892350410223654238954\ 77904353653088/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^8 - 8188482160644440657297852914307094501778158340985866966349142256127\ 28290962000268/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^7 - 4463949424453451514577358465429988841330833172551365360972970913219\ 64378473732863/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^6 - 1455485174519349744466118291855358914020344583540606851051466266575\ 63202505006523/6678800622295790043069527750309628973666779135686879\ 71737437074414084114270313*c_0101_4^5 - 9727903561135104980908886178337628542299353850313824576293405310738\ 4698538005826/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^4 - 1915440322524896554742949348559679246038881318628803328644253916893\ 7950409134149/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^3 - 1139080854389066107736492687314923620716004523945646210083679431287\ 9012193475268/66788006222957900430695277503096289736667791356868797\ 1737437074414084114270313*c_0101_4^2 - 2912573852520745452226780672107475821103911754059286748134955423672\ 89917015447/6678800622295790043069527750309628973666779135686879717\ 37437074414084114270313*c_0101_4 - 7442688088996802367277612819375597395551067982427824987800213487050\ 91862456170/6678800622295790043069527750309628973666779135686879717\ 37437074414084114270313, c_0101_4^33 + 15*c_0101_4^32 + 70*c_0101_4^31 + 98*c_0101_4^30 + 95*c_0101_4^29 + 416*c_0101_4^28 - 783*c_0101_4^27 - 714*c_0101_4^26 + 124*c_0101_4^25 - 10572*c_0101_4^24 + 11275*c_0101_4^23 - 26666*c_0101_4^22 + 22942*c_0101_4^21 - 956*c_0101_4^20 - 9435*c_0101_4^19 + 99499*c_0101_4^18 - 75775*c_0101_4^17 + 166219*c_0101_4^16 - 94281*c_0101_4^15 + 105693*c_0101_4^14 - 65410*c_0101_4^13 + 3967*c_0101_4^12 - 43107*c_0101_4^11 - 30335*c_0101_4^10 - 25720*c_0101_4^9 - 17489*c_0101_4^8 - 9248*c_0101_4^7 - 4818*c_0101_4^6 - 1757*c_0101_4^5 - 678*c_0101_4^4 - 164*c_0101_4^3 - 43*c_0101_4^2 - 5*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB