Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 1073863817] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1654 geometric_solution 5.39396625 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.297580745100 0.181873842665 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.255860948433 1.313400861187 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.165905881519 1.238852362956 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.165905881519 1.238852362956 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.123156465309 0.539460419338 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 0.935353644826 0.787570973017 4 6 4 6 2310 2310 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 -1.051055726633 0.838146339691 ==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_0101_4'], '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: 27 Groebner basis: [ t + 4288670755306242897123660655937723238636182336581560592235409/71351\ 1843655001837062741497983768903212658384750857761595040*c_0101_4^26 + 10672894756674615222957278958740309673121069788382948456954451/17\ 8377960913750459265685374495942225803164596187714440398760*c_0101_4\ ^25 + 6225204758908858841001825352215877572405312560063817392582374\ 9/713511843655001837062741497983768903212658384750857761595040*c_01\ 01_4^24 - 532026212661285814053367814959595639512652832800614024353\ 04511/142702368731000367412548299596753780642531676950171552319008*\ c_0101_4^23 - 10852493525708609506932617500305650340977141504732725\ 166168047/178377960913750459265685374495942225803164596187714440398\ 760*c_0101_4^22 + 1929104547110220169987024834956928646429236008032\ 97023241141667/3567559218275009185313707489918844516063291923754288\ 80797520*c_0101_4^21 - 29900224812862668862771261050747148698874020\ 85106461629209003589/7135118436550018370627414979837689032126583847\ 50857761595040*c_0101_4^20 + 36299942326523982525786471017472678479\ 20373759075500355554895437/7135118436550018370627414979837689032126\ 58384750857761595040*c_0101_4^19 - 4074714580414543596831100080387687151025159052829496449085852029/71\ 3511843655001837062741497983768903212658384750857761595040*c_0101_4\ ^18 - 1704082444278758957330204827546851368924787309065687979507328\ 121/713511843655001837062741497983768903212658384750857761595040*c_\ 0101_4^17 + 1443457420589998209429533189947360261487538453578377433\ 9460279391/71351184365500183706274149798376890321265838475085776159\ 5040*c_0101_4^16 - 242233462156938336952952963012578972602295371542\ 7574528216837201/89188980456875229632842687247971112901582298093857\ 220199380*c_0101_4^15 + 3943677254319567156398445803263833643942192\ 6047186669841993264547/71351184365500183706274149798376890321265838\ 4750857761595040*c_0101_4^14 - 749545799313994195009970699535747081\ 3536700636598571302164098833/35675592182750091853137074899188445160\ 6329192375428880797520*c_0101_4^13 + 17725620781040374274274913747435770745056990179365537057422364861/3\ 56755921827500918531370748991884451606329192375428880797520*c_0101_\ 4^12 + 160310475826387507430529041122067861684679488071279815003098\ 8235/142702368731000367412548299596753780642531676950171552319008*c\ _0101_4^11 + 131815076271471777534847158680094275555862361096372894\ 75154291863/7135118436550018370627414979837689032126583847508577615\ 95040*c_0101_4^10 + 12978097455802767743260626450873141228362951270\ 252524560102944027/713511843655001837062741497983768903212658384750\ 857761595040*c_0101_4^9 - 62722395669572774931701341789645245298839\ 74345667079510061175591/7135118436550018370627414979837689032126583\ 84750857761595040*c_0101_4^8 - 122662058075831851084932427977118265\ 6667332045985295416842244253/17837796091375045926568537449594222580\ 3164596187714440398760*c_0101_4^7 - 2616478473569776417809026301746532213553006691106943006743007653/14\ 2702368731000367412548299596753780642531676950171552319008*c_0101_4\ ^6 - 96478941949311277565302005810939218754097999200415601829160040\ 27/713511843655001837062741497983768903212658384750857761595040*c_0\ 101_4^5 - 103048145119157718267751194979818079902408303195169123443\ 9358827/17837796091375045926568537449594222580316459618771444039876\ 0*c_0101_4^4 - 4651470020711867076117803667986243355293493397765161\ 10327492309/7135118436550018370627414979837689032126583847508577615\ 95040*c_0101_4^3 + 190731252320308143116951157132357918064688984483\ 344124304541401/356755921827500918531370748991884451606329192375428\ 880797520*c_0101_4^2 + 14676096847163715882850497409383430456590648\ 056440419305495605/142702368731000367412548299596753780642531676950\ 171552319008*c_0101_4 + 2045828601763553946364145017916504421655777\ 917595156416813281/222972451142188074082106718119927782253955745234\ 64305049845, c_0011_0 - 1, c_0011_1 - 8756833091349459032276767030399413315783739623969430459/8414\ 0547600825688332870459667897276322247451031940773773*c_0101_4^26 - 86212847966565593708520401501859457290253958592479914765/8414054760\ 0825688332870459667897276322247451031940773773*c_0101_4^25 - 118303897354379817976665468413149822755292660109110134996/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^24 + 549712188160027020724811285638371996490190219227755708426/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^23 + 17422165895552973109942659441498451762961653222456292887/8414054760\ 0825688332870459667897276322247451031940773773*c_0101_4^22 - 753103016934632508859358835393010148538876452838180990693/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^21 + 6211069038003942822034969571492728198094941332996227408290/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^20 - 8155453235204108870023741508635727103758693175363028864220/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^19 + 9615633779337680868446675568434105426353707491989213277823/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^18 + 2094251476614402657483953602280838463346751904326306046741/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^17 - 29437438743062018415548139883528624660102332501205033871397/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^16 + 43380415800953205238391608977243162299918755855994313497837/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^15 - 87317288957884715452553207895980171502737711447473421807563/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^14 + 41929957903951697696338479873592299693201703052043966334838/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^13 - 80832931373364035125153557619182315742363889201901391078120/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^12 - 8307817433559116794973241153465640326081034230795744572717/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^11 - 29105268106613514367757942607357703138824578806059687792581/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^10 - 26223747994168689100326954927987433550751669312250086044524/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^9 + 13410064249270172422686765259304137811351697675947915535947/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^8 + 7424296146309711932016331064156870071269120711151952794304/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^7 + 25280020300084968026819744225696245978773464271810883124547/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^6 + 19035693477521327305396300153217460712955104663446634504609/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^5 + 7765273301478537106380686611299907996858154127538292235123/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^4 + 1973214378547973278583489656754657044864636508597712649838/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^3 - 215426134614159679200205904037818505145947424233906654652/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^2 - 211642523198440474241097071456159064843673556385932971548/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4 - 65715888425497991138895293109053522422441404030513529372/8414054760\ 0825688332870459667897276322247451031940773773, c_0011_3 + 8668219352850879748126928422941112153767145250289425557/8414\ 0547600825688332870459667897276322247451031940773773*c_0101_4^26 + 86396051584014260826969283463463434164093927744646140907/8414054760\ 0825688332870459667897276322247451031940773773*c_0101_4^25 + 127116207318406707529230565680666855530087502093979539596/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^24 - 533434082435984360563417246951598582111111604816961762710/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^23 - 86612691956723729618526500537709515142579100225000270459/8414054760\ 0825688332870459667897276322247451031940773773*c_0101_4^22 + 768988852201136276121725190617042859224559248434057547362/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^21 - 6072187126336436109743326158505958991228334487101894224777/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^20 + 7302477174743838774717542667167118562396701376438457974139/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^19 - 8251266759993948737753811175799706842090896605214104826333/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^18 - 3763856572779227087136006632425305091091859097277283235622/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^17 + 29651153854346221365691164770596430877884070531611159012634/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^16 - 39789856503885212209319188456036880926150814666755418266044/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^15 + 80177221464094882521293690779591309618832302007440632905170/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^14 - 28437024453504804234473768488965229819673186912787182277800/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^13 + 69485685780356384866093553134021223560323791735729896486407/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^12 + 23244099192347764142983398779987187978826415690493286879843/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^11 + 22874799440726944778906466264966160806197905928455368028986/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^10 + 33325284386577793853585421950261825813203635250965107283536/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^9 - 13831691614035698356786520250112701681284129308622745173042/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^8 - 7967525437385649722961089679091185231667327582320253169186/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^7 - 25997008531056223515806787085767127603609944216382085673139/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^6 - 21582198807937783408855764773010774225270151658587602877637/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^5 - 9044917287283235546393796709925772101526740254273375130349/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^4 - 2532239645155291859637516536108680178663899844637680611470/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^3 + 158967350801668458211899992127970394439695575389995622826/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^2 + 227799495958211874011496137879631708242456913624217306272/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4 + 128749885607620757951452395003464149484593921065443764365/841405476\ 00825688332870459667897276322247451031940773773, c_0011_6 + 1343462516640712578023646964819893840143712797907158684/8414\ 0547600825688332870459667897276322247451031940773773*c_0101_4^26 + 12283296641328769060078458488729064749390198641964128438/8414054760\ 0825688332870459667897276322247451031940773773*c_0101_4^25 + 9578724990416169102611374836440764712313852214010595221/84140547600\ 825688332870459667897276322247451031940773773*c_0101_4^24 - 90220970964335465742604884292622024065498306535970643885/8414054760\ 0825688332870459667897276322247451031940773773*c_0101_4^23 + 64374389461763437402625162818973374909810780843717495252/8414054760\ 0825688332870459667897276322247451031940773773*c_0101_4^22 + 70326414066233614102012638374147823953336192600680056296/8414054760\ 0825688332870459667897276322247451031940773773*c_0101_4^21 - 1022531982068291222226646230797625496151505127792716204477/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^20 + 1979436134268384510726164898016532457568085023867138900145/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^19 - 2880260277092488126803906129252535079799520222229638765538/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^18 + 1523034697005310526275820235447289550163824561287587248309/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^17 + 3746978641469431140192509578541661224585945761425056798382/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^16 - 9757190545364365920691558999769626622690852573292259835477/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^15 + 20488342833861313608942999793559562562907142411364883382080/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^14 - 20044682988941983166776226545749284272150712109108643458669/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^13 + 25128969423943153451869490524868736474731198954060012645193/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^12 - 12916793115848147673139518319706178551246815544472595122644/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^11 + 11483188709931044935984209398821979021123392012215202510112/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^10 - 398774175671361692612909120935167075309472663200269427964/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^9 - 2142683766771409237881576192025333258151846606913464147990/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^8 + 1682677185869562773136601953551757633502432156931303000299/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^7 - 4415587874921030881866058378509817153395328549520271602720/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^6 - 427076832960340876870257518096846109248010845265455922064/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^5 - 1087773950454233235708308391552586478298563184059662840834/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^4 - 451092554704196085632583836963225348474231287720939844504/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^3 - 138097858907065886673105523768115521759018860477327495745/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^2 - 65680575822837160058865762897262706421796521866807255598/8414054760\ 0825688332870459667897276322247451031940773773*c_0101_4 + 15346438061254819151046022881683256510965313493269039484/8414054760\ 0825688332870459667897276322247451031940773773, c_0101_0 + 6679190244357154989174099607088352896136752286049458728/8414\ 0547600825688332870459667897276322247451031940773773*c_0101_4^26 + 67733572742210932155020903867698166078661082619386043980/8414054760\ 0825688332870459667897276322247451031940773773*c_0101_4^25 + 108997633127885142886989538665412045946288160323568865454/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^24 - 399271484606181478489055267146991117618265623689609197572/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^23 - 145728482381193727966280637885471971620322908979450854663/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^22 + 614462043324202182679890153510044434135721211748828209576/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^21 - 4571783305147966426374562109540658486203608922146130631642/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^20 + 4764271817010061332267688341571449862669246155435343394729/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^19 - 5005444631801375867469864498539542702839411961607978039265/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^18 - 4475260778349431282068460303689365265275038193604595974839/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^17 + 22867423368820704801485293072655436528730136544204536517478/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^16 - 26502797555279768570868495811475969283205844476411360943658/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^15 + 54654320427163993839765863576105295405691317569252168178382/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^14 - 8705966523347023571066337705492817593186193382553529988930/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^13 + 44769036764897645247980228223649677910549754326005450929833/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^12 + 29306632482611742286109226416512663990655987282003482638258/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^11 + 16220219132144245183174361529487979342728853391116744124350/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^10 + 28215446740953285402858870865791630944775295833725936871640/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^9 - 8091174535677816939075904336184125546242718902225489518426/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^8 - 8964018446069435296566935558310788065833174820884490145197/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^7 - 20661709873641364470469971954509203025694394110502216299196/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^6 - 19134210025589253430105925955274015805883221035747615407583/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^5 - 8434476195348532775228396397960013484186981925667211737147/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^4 - 2048739924162438024808664196356029251492693461479893921304/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^3 + 225644275243093953032631217354477398354554773696289800765/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^2 + 172998906910276532782485905026209336752060503791157427668/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4 + 120089684339918088974553609482836999498677208318356903381/841405476\ 00825688332870459667897276322247451031940773773, c_0101_3 + 1113741038310403443275201220101848319770957659152966078/8414\ 0547600825688332870459667897276322247451031940773773*c_0101_4^26 + 11138292848288196779321774050972971125619822075907607579/8414054760\ 0825688332870459667897276322247451031940773773*c_0101_4^25 + 17215616706481002494986507957382329729064883239056065933/8414054760\ 0825688332870459667897276322247451031940773773*c_0101_4^24 - 63039500219217379452461493550019700734251817237045183296/8414054760\ 0825688332870459667897276322247451031940773773*c_0101_4^23 - 7169707385560127969902117127736489513898593576262621640/84140547600\ 825688332870459667897276322247451031940773773*c_0101_4^22 + 65215097024581783563819404616865786897686948245641095356/8414054760\ 0825688332870459667897276322247451031940773773*c_0101_4^21 - 774959662919949118789875761998397425195957901014479396311/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^20 + 960678405590835106317247501144303217773325421012951572150/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^19 - 1397156083756891477296833989913946955601987772272098909314/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^18 - 14853034080106293658255231529570067845422222512830629241/8414054760\ 0825688332870459667897276322247451031940773773*c_0101_4^17 + 3244924170771032541981763908529353488508209180040598491195/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^16 - 5157880067019089452762290813545152933796092288560760115163/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^15 + 11983792544867141523831352928798480721705170807948547812602/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^14 - 6024624257856309439193485683165990820735503480765226612542/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^13 + 13829567227541876948406001561775351391959535807996855701209/8414054\ 7600825688332870459667897276322247451031940773773*c_0101_4^12 + 947401093042347218607440011454145311254574248537221341950/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^11 + 6943481461596226273778018031208987388882805785745581912367/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^10 + 5190027141021154396663998052978326325199888664853646115727/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^9 - 720259558720237226975737439098085263067415355350354662146/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^8 + 307625108222321887433626095720925080165799369150346794363/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^7 - 4198642007451514008457326391259768382589803861029640993489/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^6 - 3546878080989154186515209713503485953355059841580111789832/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^5 - 2307652085265266136838386989591031065256199729263533012875/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^4 - 1438282104010871398629993526872274001868585545177752534736/84140547\ 600825688332870459667897276322247451031940773773*c_0101_4^3 - 129291772494118380027532321755459919538552387793167214247/841405476\ 00825688332870459667897276322247451031940773773*c_0101_4^2 - 4821701331781693264814775900995901749104668488572343387/84140547600\ 825688332870459667897276322247451031940773773*c_0101_4 + 32238386090791874098622723156860189877909825439560516346/8414054760\ 0825688332870459667897276322247451031940773773, c_0101_4^27 + 10*c_0101_4^26 + 15*c_0101_4^25 - 61*c_0101_4^24 - 12*c_0101_4^23 + 88*c_0101_4^22 - 697*c_0101_4^21 + 819*c_0101_4^20 - 929*c_0101_4^19 - 453*c_0101_4^18 + 3383*c_0101_4^17 - 4456*c_0101_4^16 + 9105*c_0101_4^15 - 3032*c_0101_4^14 + 8052*c_0101_4^13 + 2767*c_0101_4^12 + 2957*c_0101_4^11 + 3771*c_0101_4^10 - 1327*c_0101_4^9 - 1024*c_0101_4^8 - 3007*c_0101_4^7 - 2593*c_0101_4^6 - 1144*c_0101_4^5 - 339*c_0101_4^4 + 4*c_0101_4^3 + 27*c_0101_4^2 + 18*c_0101_4 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB