Magma V2.19-8 Tue Aug 20 2013 16:16:51 on localhost [Seed = 3987501371] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1117 geometric_solution 4.98450538 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 0132 2310 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 2.632529345026 4.925682401942 0 1 0 1 0132 1302 2310 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.404763295094 0.305916135043 0 3 4 0 3201 0132 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.096064546413 0.263848875687 5 2 4 6 0132 0132 2103 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.273000987106 1.402370704640 3 6 5 2 2103 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.273000987106 1.402370704640 3 4 5 5 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.291362382324 0.562033870965 6 4 3 6 3012 0132 0132 1230 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 1 -1 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 0.874144910772 0.651544383696 ==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' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_1001_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_1001_2'], 'c_1010_2' : 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_2, c_0011_4, c_0101_0, c_0101_3, c_0101_5, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 7255057071229021941954495771351679242012220992138887754698970402021\ 464258774399598885103/853257298119607152357460178216169769605744281\ 860874577047860685517721743523509454515798831*c_1001_2^19 + 6733767681080498863812377227523843869039806033719975916416240572407\ 329058027054509982020147/158705857450246930338487593148207577146668\ 436426122671330902087506296244295372758539938582566*c_1001_2^18 + 2308192069036115838898373916722092530557416683177637539179529304476\ 63172260332800055558226481/1587058574502469303384875931482075771466\ 68436426122671330902087506296244295372758539938582566*c_1001_2^17 - 4897471694857304060500526206951990832298788530792322959149532601661\ 7798250646767363912031515/37787108916725459604401807892430375511111\ 53248241015984069097321578482007032684727141394823*c_1001_2^16 + 5542289222855028099763869463330485070295926929408579058313095615718\ 401474909224545264249848955/158705857450246930338487593148207577146\ 668436426122671330902087506296244295372758539938582566*c_1001_2^15 - 4697723238402808070116980290553112568056775802226537129703919076731\ 253035300787967590608690098/793529287251234651692437965741037885733\ 34218213061335665451043753148122147686379269969291283*c_1001_2^14 - 4970610222828885419837762056756099230702160887826635215932878476863\ 7308757886125440022753319260/79352928725123465169243796574103788573\ 334218213061335665451043753148122147686379269969291283*c_1001_2^13 - 4626974203797960500733535429898620775827576744393687165241816463688\ 255621752704278965791234870/264509762417078217230812655247012628577\ 78072737687111888483681251049374049228793089989763761*c_1001_2^12 + 4537435467482577626915635058353217194063648018596327180051700490279\ 40618244233722891592517115615/7935292872512346516924379657410378857\ 3334218213061335665451043753148122147686379269969291283*c_1001_2^11 + 19564406729664452633916227182349662123688780084525817631727800303\ 0474334787307526910444519061684/79352928725123465169243796574103788\ 573334218213061335665451043753148122147686379269969291283*c_1001_2^\ 10 - 20321694524805062805238249404910754923352832339458080668468264\ 93114536689080097589259008008174030/7935292872512346516924379657410\ 3788573334218213061335665451043753148122147686379269969291283*c_100\ 1_2^9 + 24450131453698169193325122485387040831357567962001164263277\ 064977668277713980773001535840366253/293899736018975796923125172496\ 6806984197563637520790209831520139005486005469865898887751529*c_100\ 1_2^8 + 41947361174709989741334167548178136475785775987258547503957\ 79440869715033621653390922727017578676/7935292872512346516924379657\ 4103788573334218213061335665451043753148122147686379269969291283*c_\ 1001_2^7 - 46722469078120164002617875854460857275760965727943765746\ 39038905139233645581339829225569061289945/7935292872512346516924379\ 6574103788573334218213061335665451043753148122147686379269969291283\ *c_1001_2^6 - 25098765036575628569999067935822334212809969088537858\ 37599354643709231758935071404667812943700845/1587058574502469303384\ 8759314820757714666843642612267133090208750629624429537275853993858\ 2566*c_1001_2^5 + 2521996975902810329544074005038399336807271462895\ 353745475203292339542890136406792713889687783271/793529287251234651\ 6924379657410378857333421821306133566545104375314812214768637926996\ 9291283*c_1001_2^4 - 2434040944345063907134963429934093673983725412\ 72477515927893389999721261581929585086144560781469/5290195248341564\ 3446162531049402525715556145475374223776967362502098748098457586179\ 979527522*c_1001_2^3 - 60631246683684575263384483061259107101434557\ 4648489657588799435525839061275583642911949373265643/15870585745024\ 6930338487593148207577146668436426122671330902087506296244295372758\ 539938582566*c_1001_2^2 - 88384881388368649472598362868622046871304\ 6689092698087791620111343745538246887395162616574587409/15870585745\ 0246930338487593148207577146668436426122671330902087506296244295372\ 758539938582566*c_1001_2 + 3714117283527013964161109958991453266806\ 20555960920286613404074672035857110076520361476110301645/1587058574\ 5024693033848759314820757714666843642612267133090208750629624429537\ 2758539938582566, c_0011_0 - 1, c_0011_2 + 177576355490500060914825720568953339701332788863455811523815\ 7172329912082613/87891534479951247058272665957397554521633344358244\ 4019588034296182133811144102452*c_1001_2^19 - 4240070261310331657900447274893974533155234404744990911220641174790\ 505681221/439457672399756235291363329786987772608166721791222009794\ 017148091066905572051226*c_1001_2^18 - 3061298645314849232879779349390769572960691014706718180857533933912\ 82954189937/8789153447995124705827266595739755452163334435824440195\ 88034296182133811144102452*c_1001_2^17 + 2643252453323126936369083295572028420446607188581943850942992157980\ 901379006847/878915344799512470582726659573975545216333443582444019\ 588034296182133811144102452*c_1001_2^16 - 6627061093044981067382140300661735062392944214577450839745670994439\ 304899652973/878915344799512470582726659573975545216333443582444019\ 588034296182133811144102452*c_1001_2^15 + 5098407104597695526423984282426545777498988787956259673384694210499\ 110219905887/439457672399756235291363329786987772608166721791222009\ 794017148091066905572051226*c_1001_2^14 + 3365335559005436231179337793250936908774968720876265792836166045273\ 3237572168580/21972883619987811764568166489349388630408336089561100\ 4897008574045533452786025613*c_1001_2^13 + 1552706193672237140175936386548548138355762802948252620565755401993\ 5574151890098/21972883619987811764568166489349388630408336089561100\ 4897008574045533452786025613*c_1001_2^12 - 6119721674778176161741700316418386000458035711537097861550709929542\ 47846104340039/4394576723997562352913633297869877726081667217912220\ 09794017148091066905572051226*c_1001_2^11 - 4233174860358814849706234970955688221911992206898218879988467278503\ 21330737110211/4394576723997562352913633297869877726081667217912220\ 09794017148091066905572051226*c_1001_2^10 + 1348820310441701297748991819742164457547557011067235004773829059271\ 692274370758539/219728836199878117645681664893493886304083360895611\ 004897008574045533452786025613*c_1001_2^9 - 5977065777529731625132339529797115513788975399875318570829201676514\ 5005564487671/21972883619987811764568166489349388630408336089561100\ 4897008574045533452786025613*c_1001_2^8 - 5977261860150568275305069520609056329786314083820809820161922928248\ 573188398559013/439457672399756235291363329786987772608166721791222\ 009794017148091066905572051226*c_1001_2^7 + 9818194082766538928726232169279128551289711711446620191270963803355\ 626289238690431/878915344799512470582726659573975545216333443582444\ 019588034296182133811144102452*c_1001_2^6 + 7327518193373569766481133811133798432696295984264823608347043097005\ 191445202330693/878915344799512470582726659573975545216333443582444\ 019588034296182133811144102452*c_1001_2^5 - 6763354412858572170382540230004266735031144371522657414994274509429\ 431538893928235/878915344799512470582726659573975545216333443582444\ 019588034296182133811144102452*c_1001_2^4 + 5111046073809236765236059755557320570451450941410031182598501914716\ 7769994730551/43945767239975623529136332978698777260816672179122200\ 9794017148091066905572051226*c_1001_2^3 + 6087999040863868276418500839124242880674361050705135035586829985371\ 47716111842039/4394576723997562352913633297869877726081667217912220\ 09794017148091066905572051226*c_1001_2^2 + 7563952469158116871692891804986944930334692922190258526942997428760\ 65285707420133/4394576723997562352913633297869877726081667217912220\ 09794017148091066905572051226*c_1001_2 + 3363809485749245418012493164366090385260960333628789348383352379852\ 20020951443281/8789153447995124705827266595739755452163334435824440\ 19588034296182133811144102452, c_0011_4 - 198407035657873856468658184948844107075898648126883902921327\ 8882324736145047/43945767239975623529136332978698777260816672179122\ 2009794017148091066905572051226*c_1001_2^19 + 9177160495480111305235677736920585237981301707632417435413555316945\ 592957255/439457672399756235291363329786987772608166721791222009794\ 017148091066905572051226*c_1001_2^18 + 1713529527697853139447266367634039406916533323729133834495756799625\ 60279666295/2197288361998781176456816648934938863040833608956110048\ 97008574045533452786025613*c_1001_2^17 - 2899424310807681408340978714281248267353031259595493086917753657737\ 849016231563/439457672399756235291363329786987772608166721791222009\ 794017148091066905572051226*c_1001_2^16 + 3547088317636379170726323789611397898114268330574859832623049335365\ 031189776923/219728836199878117645681664893493886304083360895611004\ 897008574045533452786025613*c_1001_2^15 - 5610164799711616095514534417011105610161203383433200255458331589793\ 653382198727/219728836199878117645681664893493886304083360895611004\ 897008574045533452786025613*c_1001_2^14 - 7520253516946329298145553397914513866571513341297737981084586110797\ 1835510427978/21972883619987811764568166489349388630408336089561100\ 4897008574045533452786025613*c_1001_2^13 - 4763997387174239897768333435331322548235296882304379521127100254255\ 8075268533042/21972883619987811764568166489349388630408336089561100\ 4897008574045533452786025613*c_1001_2^12 + 6488931999566604471889055631822043885124234288121066898962495817929\ 68688918135009/2197288361998781176456816648934938863040833608956110\ 04897008574045533452786025613*c_1001_2^11 + 5187543922525799106927204534044789971260328358640383139828382611911\ 18270260182680/2197288361998781176456816648934938863040833608956110\ 04897008574045533452786025613*c_1001_2^10 - 2801470416431247630837219595340947952485671741699816860434728708417\ 753368768173617/219728836199878117645681664893493886304083360895611\ 004897008574045533452786025613*c_1001_2^9 - 1449528627204476595576003766780726525171019263168709547202426155617\ 4416396322791/21972883619987811764568166489349388630408336089561100\ 4897008574045533452786025613*c_1001_2^8 + 6178539859593290758467161392268679758625487825840951258166500911945\ 919671884695234/219728836199878117645681664893493886304083360895611\ 004897008574045533452786025613*c_1001_2^7 - 9525998179055006827422946754936278670358524500742161741337658587791\ 889619465659497/439457672399756235291363329786987772608166721791222\ 009794017148091066905572051226*c_1001_2^6 - 3531961462542313406334773327739352124708940298417900122088966777253\ 985174037097946/219728836199878117645681664893493886304083360895611\ 004897008574045533452786025613*c_1001_2^5 + 5446595535079466376485525344046688360390277354596575636187309997895\ 318934505175049/439457672399756235291363329786987772608166721791222\ 009794017148091066905572051226*c_1001_2^4 + 4475275031176372642129442067230161912645171492773092589871868222115\ 22686663420265/4394576723997562352913633297869877726081667217912220\ 09794017148091066905572051226*c_1001_2^3 - 8241083126547471757128369342365948462668332133448812871110181090430\ 22425114996921/4394576723997562352913633297869877726081667217912220\ 09794017148091066905572051226*c_1001_2^2 - 1510501299429910574169753560128451696618640515515729132850921862485\ 589856658240255/439457672399756235291363329786987772608166721791222\ 009794017148091066905572051226*c_1001_2 + 1022271522834167862816165256963813335809047521615734638607311983955\ 51846699674452/2197288361998781176456816648934938863040833608956110\ 04897008574045533452786025613, c_0101_0 - 585118098128541882585163023890888340085331485611811095958692\ 1238476654316729/87891534479951247058272665957397554521633344358244\ 4019588034296182133811144102452*c_1001_2^19 + 1380124872321499278694782992169965861416059817064975250472451411291\ 2345878379/43945767239975623529136332978698777260816672179122200979\ 4017148091066905572051226*c_1001_2^18 + 1007701619571354198857060346849613079908053029036834258069738319101\ 192482552257/878915344799512470582726659573975545216333443582444019\ 588034296182133811144102452*c_1001_2^17 - 8642111586296121828663691031698100863031778073018144102111469107817\ 471929130259/878915344799512470582726659573975545216333443582444019\ 588034296182133811144102452*c_1001_2^16 + 2179118673694721943204829917669987595123648280319139102423512131526\ 3348980473381/87891534479951247058272665957397554521633344358244401\ 9588034296182133811144102452*c_1001_2^15 - 1779135117000960749741726271509344559950951644016995827268703559761\ 0655691715671/43945767239975623529136332978698777260816672179122200\ 9794017148091066905572051226*c_1001_2^14 - 1098640368648525248605457423312213852545678621817417251590606091173\ 29486914776046/2197288361998781176456816648934938863040833608956110\ 04897008574045533452786025613*c_1001_2^13 - 6072015534551450915828211350825313589348418850437764882078556662761\ 7663362113317/21972883619987811764568166489349388630408336089561100\ 4897008574045533452786025613*c_1001_2^12 + 1908542403286115604576997392265986920225812315615489080815185995899\ 047824823187133/439457672399756235291363329786987772608166721791222\ 009794017148091066905572051226*c_1001_2^11 + 1312296838966449693401826928961731760674692318766269280742401686783\ 540466699271589/439457672399756235291363329786987772608166721791222\ 009794017148091066905572051226*c_1001_2^10 - 4173464797428123436401855170129152248455550161424265218575798012412\ 375079394954628/219728836199878117645681664893493886304083360895611\ 004897008574045533452786025613*c_1001_2^9 + 4436858201290825856604097220468083075767986311551641773310257912658\ 96239030988382/2197288361998781176456816648934938863040833608956110\ 04897008574045533452786025613*c_1001_2^8 + 1810129884604018392481355570209121931438612704305216433839519379440\ 0221720459802841/43945767239975623529136332978698777260816672179122\ 2009794017148091066905572051226*c_1001_2^7 - 3134976802718404886971276183891344825266811817571720839151134783888\ 5511300464801063/87891534479951247058272665957397554521633344358244\ 4019588034296182133811144102452*c_1001_2^6 - 1758638348959265775396870435277366817983908083450242977486410853232\ 9417924776099797/87891534479951247058272665957397554521633344358244\ 4019588034296182133811144102452*c_1001_2^5 + 1721128509390337035100271854925728903294635870589630464084145120135\ 8180052926821055/87891534479951247058272665957397554521633344358244\ 4019588034296182133811144102452*c_1001_2^4 + 9477549298360079555296413259325498028643832977580467003065472149613\ 99627305395003/4394576723997562352913633297869877726081667217912220\ 09794017148091066905572051226*c_1001_2^3 - 1412722851695890765513934690069929452087681220016954588458717012383\ 294460977293805/439457672399756235291363329786987772608166721791222\ 009794017148091066905572051226*c_1001_2^2 - 2533820422944822500973208579115961205237005857692531522895362790197\ 057326259730357/439457672399756235291363329786987772608166721791222\ 009794017148091066905572051226*c_1001_2 + 7389278421959366159341005890511407798908323353267339190454693321043\ 15214294464391/8789153447995124705827266595739755452163334435824440\ 19588034296182133811144102452, c_0101_3 + 190239584517252016885273643738757382912057244107716984167663\ 576946755941940320487/151750886687049424633401836862063895710416483\ 368614037090011237475918677430707297054964*c_1001_2^19 - 1945330412232810274011701137965630229027928385207153725059248311859\ 46466029132346/3793772167176235615835045921551597392760412084215350\ 9272502809368979669357676824263741*c_1001_2^18 - 3333639839636842464524482491245062898691895435043998563989790748348\ 3112341378975921/15175088668704942463340183686206389571041648336861\ 4037090011237475918677430707297054964*c_1001_2^17 + 2603403151118080622089489625630106562308262637753828050952196213801\ 92011746890014021/1517508866870494246334018368620638957104164833686\ 14037090011237475918677430707297054964*c_1001_2^16 - 5302013400440886746571551193800598977852224793977929298925211921228\ 11833779026382205/1517508866870494246334018368620638957104164833686\ 14037090011237475918677430707297054964*c_1001_2^15 + 3614253194012250720530152922634441075023713542870508223808943146786\ 92276053481497687/7587544334352471231670091843103194785520824168430\ 7018545005618737959338715353648527482*c_1001_2^14 + 3725536848683189640486698392492118587207428347154025030682525278490\ 750762116423574026/379377216717623561583504592155159739276041208421\ 53509272502809368979669357676824263741*c_1001_2^13 + 4234861763488261616732125503115181314709195980051736937140862735103\ 752205154196010670/379377216717623561583504592155159739276041208421\ 53509272502809368979669357676824263741*c_1001_2^12 - 6012412872948442989773006495129985849207160925484199429091665585754\ 3584050693199911395/75875443343524712316700918431031947855208241684\ 307018545005618737959338715353648527482*c_1001_2^11 - 8761345927866633603385495863937065905006654648371214697263697778134\ 1703252489856811157/75875443343524712316700918431031947855208241684\ 307018545005618737959338715353648527482*c_1001_2^10 + 1157570020049358241350779901900063620662928478112420066342921421669\ 66329265278421977479/3793772167176235615835045921551597392760412084\ 2153509272502809368979669357676824263741*c_1001_2^9 + 7877971307124705875039117268688163637111758347775969935556487198606\ 9481969813091749344/37937721671762356158350459215515973927604120842\ 153509272502809368979669357676824263741*c_1001_2^8 - 5398516377172582663775924629527230432567565350953083977493795301492\ 66182990515209291249/7587544334352471231670091843103194785520824168\ 4307018545005618737959338715353648527482*c_1001_2^7 + 2272065209783754186203939474236234203973757805467331484711504094584\ 99613264218512794573/1517508866870494246334018368620638957104164833\ 68614037090011237475918677430707297054964*c_1001_2^6 + 1021879390675771851807907563342460298797848467203339642015330350277\ 987241190760118788233/151750886687049424633401836862063895710416483\ 368614037090011237475918677430707297054964*c_1001_2^5 + 1252059239762564493351399537771028169218732986103116381463658651537\ 21360806177756659991/1517508866870494246334018368620638957104164833\ 68614037090011237475918677430707297054964*c_1001_2^4 - 4057904880502365232429616790709418164907078095399425917243106882008\ 8066741072330874435/37937721671762356158350459215515973927604120842\ 153509272502809368979669357676824263741*c_1001_2^3 - 2263087828882213946461031219520815769990941140251222915338354195036\ 4692138371752346603/37937721671762356158350459215515973927604120842\ 153509272502809368979669357676824263741*c_1001_2^2 + 6296106314659253462880831652225969428215497990349407252856366112102\ 1422133637247557859/37937721671762356158350459215515973927604120842\ 153509272502809368979669357676824263741*c_1001_2 + 8686312304210184087572842367697534962119667920341060453091734475932\ 4512625975514738525/15175088668704942463340183686206389571041648336\ 8614037090011237475918677430707297054964, c_0101_5 + 140087655770240083856244528971872017171336096076165901639334\ 454734142514381141277/151750886687049424633401836862063895710416483\ 368614037090011237475918677430707297054964*c_1001_2^19 - 1265217894900456347082222303648945297132929025288951489679618662801\ 87198873595044/3793772167176235615835045921551597392760412084215350\ 9272502809368979669357676824263741*c_1001_2^18 - 2490860957167278887067382351501774952723558291379036260255290766908\ 2336562046609731/15175088668704942463340183686206389571041648336861\ 4037090011237475918677430707297054964*c_1001_2^17 + 1803908835250234989523068313710537550480223485137129252796192778714\ 92088341798038495/1517508866870494246334018368620638957104164833686\ 14037090011237475918677430707297054964*c_1001_2^16 - 2838216198853358349380730182971826733232864780427955945273266096743\ 62778208076668759/1517508866870494246334018368620638957104164833686\ 14037090011237475918677430707297054964*c_1001_2^15 + 1088583942642577848689672354931433991470554336679322315101572093812\ 10031589298449761/7587544334352471231670091843103194785520824168430\ 7018545005618737959338715353648527482*c_1001_2^14 + 2883747299685206260489229753465418580702926540453853023105179451028\ 695255021662550649/379377216717623561583504592155159739276041208421\ 53509272502809368979669357676824263741*c_1001_2^13 + 4318106434858944888003032538259703500101803473458287658882987543553\ 201396243442019103/379377216717623561583504592155159739276041208421\ 53509272502809368979669357676824263741*c_1001_2^12 - 4460297637229630429545434944638934350602976410371669040708239971911\ 3399921142801425199/75875443343524712316700918431031947855208241684\ 307018545005618737959338715353648527482*c_1001_2^11 - 8741988929879743049004661053572395712395891995197237615072047246094\ 2752987369122408879/75875443343524712316700918431031947855208241684\ 307018545005618737959338715353648527482*c_1001_2^10 + 8547601888306021006468855422809304133445333799389103769786214479421\ 5360103205464592960/37937721671762356158350459215515973927604120842\ 153509272502809368979669357676824263741*c_1001_2^9 + 1132275343309113444486207355194804910623393434977864325337691398558\ 61225166746289785681/3793772167176235615835045921551597392760412084\ 2153509272502809368979669357676824263741*c_1001_2^8 - 4707811851894789586381062086209555236544183387692617123770299118801\ 69305622996210343477/7587544334352471231670091843103194785520824168\ 4307018545005618737959338715353648527482*c_1001_2^7 - 2738225789902035949026932426222691629755643973159676997699796639803\ 14395670737764216253/1517508866870494246334018368620638957104164833\ 68614037090011237475918677430707297054964*c_1001_2^6 + 1364547487074324699253400935585396587413863668514604220754746998924\ 354181316986554251335/151750886687049424633401836862063895710416483\ 368614037090011237475918677430707297054964*c_1001_2^5 + 8280644331895494597982286664388899860489305943103698418500952495660\ 1370075887933003041/15175088668704942463340183686206389571041648336\ 8614037090011237475918677430707297054964*c_1001_2^4 - 1047010935972014730980524874014097978295608299878053921446550831127\ 70881973856721707979/3793772167176235615835045921551597392760412084\ 2153509272502809368979669357676824263741*c_1001_2^3 + 2081589622214881407881344593453655811736891432487174126273052586815\ 3343021501117605469/37937721671762356158350459215515973927604120842\ 153509272502809368979669357676824263741*c_1001_2^2 + 2700113239731914289140002433634217997773283858215991119726323319696\ 9261575870220056914/37937721671762356158350459215515973927604120842\ 153509272502809368979669357676824263741*c_1001_2 + 6306939119908414117127898690960772499783642299520916103528980768746\ 4276290795414512299/15175088668704942463340183686206389571041648336\ 8614037090011237475918677430707297054964, c_1001_2^20 - 5*c_1001_2^19 - 171*c_1001_2^18 + 1526*c_1001_2^17 - 4122*c_1001_2^16 + 7001*c_1001_2^15 + 73606*c_1001_2^14 + 19828*c_1001_2^13 - 672814*c_1001_2^12 - 283348*c_1001_2^11 + 3015702*c_1001_2^10 - 1007728*c_1001_2^9 - 6211010*c_1001_2^8 + 6987889*c_1001_2^7 + 1797736*c_1001_2^6 - 3765854*c_1001_2^5 + 580455*c_1001_2^4 + 445744*c_1001_2^3 + 645928*c_1001_2^2 - 282669*c_1001_2 + 3689 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB