Magma V2.19-8 Tue Aug 20 2013 16:17:40 on localhost [Seed = 3499183153] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1904 geometric_solution 5.51293961 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496352365669 0.122009121917 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.603748066633 0.345008049790 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.876381905467 1.936767689950 5 2 6 4 0132 0132 0132 3120 0 0 0 0 0 0 1 -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 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350730120063 0.557671907665 3 6 2 5 3120 0132 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.350730120063 0.557671907665 3 4 5 5 0132 2310 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.239843327617 1.259370274007 6 4 6 3 2310 0132 3201 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.898292163503 0.787441203390 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : 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' : d['c_0011_4'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_1001_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_4, c_0101_0, c_0101_3, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 1192187928881122437510797327933518643731771982670415136170460915080\ 234497634154999831728/168051910440175223517760649842843534300242186\ 2607191080635173249089801422994191764574445*c_1001_3^21 + 1379574377636036939635580665079931087948977065202575947810842833979\ 31489547819209839681056/1680519104401752235177606498428435343002421\ 862607191080635173249089801422994191764574445*c_1001_3^20 - 2713969067037425004659829295561214528065464604323246581682159979935\ 82043167243800248788744/1680519104401752235177606498428435343002421\ 862607191080635173249089801422994191764574445*c_1001_3^19 - 3701144779911785272949869361960270594473202584391162418117777438054\ 935729030694455259270411/168051910440175223517760649842843534300242\ 1862607191080635173249089801422994191764574445*c_1001_3^18 + 2853462659459399949954376159341260238961762517883411205853076101276\ 76725476799262304868496/1680519104401752235177606498428435343002421\ 862607191080635173249089801422994191764574445*c_1001_3^17 + 5053581067763127549894727290506929049833723256384681262412357405522\ 0504428940154196840882223/16805191044017522351776064984284353430024\ 21862607191080635173249089801422994191764574445*c_1001_3^16 + 7161688217767743767760581820549456890023983888876876310383725949853\ 378479878262819930206946/168051910440175223517760649842843534300242\ 1862607191080635173249089801422994191764574445*c_1001_3^15 - 2865713151885481070406994400348009279136491410932222265266399919312\ 40843310111411773657078269/1680519104401752235177606498428435343002\ 421862607191080635173249089801422994191764574445*c_1001_3^14 - 3410935121417775949649402675109849051045010871168890321063345203021\ 35004304135444042721192253/1680519104401752235177606498428435343002\ 421862607191080635173249089801422994191764574445*c_1001_3^13 + 6099796061791297810626157585202391045262980996195490317425443783438\ 02906624732777932340814467/1680519104401752235177606498428435343002\ 421862607191080635173249089801422994191764574445*c_1001_3^12 + 2460818491024717643496900173023795204566858740059740297011547022665\ 37872622180224891296423354/3361038208803504470355212996856870686004\ 84372521438216127034649817960284598838352914889*c_1001_3^11 + 1217334436674606919982975794601104348986376015650634201155408529981\ 5838964463564181511104036/24007415777167889073965807120406219185748\ 8837515313011519310464155685917570598823510635*c_1001_3^10 - 1336937790162618340925814050508547436096574488464728469236774429605\ 007601658044519881171287541/168051910440175223517760649842843534300\ 2421862607191080635173249089801422994191764574445*c_1001_3^9 - 1163950514919509006792465910438391866853077705052610653013240146573\ 154026050299334308181494974/168051910440175223517760649842843534300\ 2421862607191080635173249089801422994191764574445*c_1001_3^8 + 4807012770167056365506363798269246319121114058075130644551633854826\ 2434902250625295877214361/33610382088035044703552129968568706860048\ 4372521438216127034649817960284598838352914889*c_1001_3^7 + 1098835682575007120038975281167386114422162308611179670487383878800\ 73026147548843981145812593/3361038208803504470355212996856870686004\ 84372521438216127034649817960284598838352914889*c_1001_3^6 + 1797403101064779805407510539582671815408682814256041313241383650499\ 6090631821893006402420266/16805191044017522351776064984284353430024\ 21862607191080635173249089801422994191764574445*c_1001_3^5 + 1511503804835809532334297275869020254529574477964865497339386388229\ 3103534138648606676134809/24007415777167889073965807120406219185748\ 8837515313011519310464155685917570598823510635*c_1001_3^4 + 2464245051766695869748962710682478390699926910111827252142279663900\ 4231543672029232051341630/33610382088035044703552129968568706860048\ 4372521438216127034649817960284598838352914889*c_1001_3^3 + 4556568669078736434330099545904867249100698344032231148311567076889\ 329336161057213496867728/168051910440175223517760649842843534300242\ 1862607191080635173249089801422994191764574445*c_1001_3^2 + 1692859744625854543294038561491709207780625637186271989090363468242\ 6384234707325476665340073/16805191044017522351776064984284353430024\ 21862607191080635173249089801422994191764574445*c_1001_3 + 9108150434394208465855272822163135538812325274829175440117116855723\ 82735560675710284496509/2400741577716788907396580712040621918574888\ 37515313011519310464155685917570598823510635, c_0011_0 - 1, c_0011_1 + 197171016032884646134000343997135763826598979399381291265309\ 75740246845988016/1691510625018654704379399052441150561407978980420\ 9152087071125014800438217501151*c_1001_3^21 + 2283477325929481962780415679678051792434054843001555458362955276368\ 117446228393/169151062501865470437939905244115056140797898042091520\ 87071125014800438217501151*c_1001_3^20 - 4275434678727741320500256413856103775657981060054663660151514988335\ 190310329225/169151062501865470437939905244115056140797898042091520\ 87071125014800438217501151*c_1001_3^19 - 6183452243677296041863124291601067023966123081024729391315164708691\ 3604834043774/16915106250186547043793990524411505614079789804209152\ 087071125014800438217501151*c_1001_3^18 - 4754914790373143624589593012595740881689039169181302708957261902561\ 41772523502/1691510625018654704379399052441150561407978980420915208\ 7071125014800438217501151*c_1001_3^17 + 8411469161118662805149390239060993366790422880812586176602787258431\ 41851987438518/1691510625018654704379399052441150561407978980420915\ 2087071125014800438217501151*c_1001_3^16 + 1925321241403725589034717449638518856889778673878877902161847159188\ 49085497425865/1691510625018654704379399052441150561407978980420915\ 2087071125014800438217501151*c_1001_3^15 - 4798008746847687477374684783420675209806903299787166345562308271009\ 457209699709192/169151062501865470437939905244115056140797898042091\ 52087071125014800438217501151*c_1001_3^14 - 6038299091278213434777170803025705906927154609903406900400495774149\ 365994590951774/169151062501865470437939905244115056140797898042091\ 52087071125014800438217501151*c_1001_3^13 + 9930328884003765892599210492779782979262771448794972649845370472200\ 093795318075965/169151062501865470437939905244115056140797898042091\ 52087071125014800438217501151*c_1001_3^12 + 2147996784579904849827247393006504758962017647999250867121500193417\ 8694103107048921/16915106250186547043793990524411505614079789804209\ 152087071125014800438217501151*c_1001_3^11 + 2294513935167397335320403833059679690121842877766605398506893581150\ 063305026902065/169151062501865470437939905244115056140797898042091\ 52087071125014800438217501151*c_1001_3^10 - 2288398128684551805897863169060247201242229682286093549148470809394\ 4552473442187674/16915106250186547043793990524411505614079789804209\ 152087071125014800438217501151*c_1001_3^9 - 2071867122784754493119167951539022250734253750715476143519537613282\ 2785282781811934/16915106250186547043793990524411505614079789804209\ 152087071125014800438217501151*c_1001_3^8 + 3568994166779689787963223263350931242740427274480653047081901282957\ 867798426574453/169151062501865470437939905244115056140797898042091\ 52087071125014800438217501151*c_1001_3^7 + 9968223252931446991793842183880327455696674620370401916797714131913\ 845034885075548/169151062501865470437939905244115056140797898042091\ 52087071125014800438217501151*c_1001_3^6 + 3817622795100510635597226190428521665898040982351092465384030009475\ 09723709318611/1691510625018654704379399052441150561407978980420915\ 2087071125014800438217501151*c_1001_3^5 + 1621658206322660637865345692772517281248394518040749658002297061843\ 470296052906205/169151062501865470437939905244115056140797898042091\ 52087071125014800438217501151*c_1001_3^4 + 2285740420512337218378166642228928116475976124756531398083613864516\ 446404745792279/169151062501865470437939905244115056140797898042091\ 52087071125014800438217501151*c_1001_3^3 + 7189635036700079119511991882111738014229295319750016822201640611079\ 4498185844401/16915106250186547043793990524411505614079789804209152\ 087071125014800438217501151*c_1001_3^2 + 2921177955637916842859231917355703652967359012180919520468976853596\ 38723406346460/1691510625018654704379399052441150561407978980420915\ 2087071125014800438217501151*c_1001_3 + 1281791435738972922512089032357941650862214253591028703829192804152\ 61436511597435/1691510625018654704379399052441150561407978980420915\ 2087071125014800438217501151, c_0011_4 + 550079873892616252992276629742824652236666661027210042900147\ 90997065745605876/1691510625018654704379399052441150561407978980420\ 9152087071125014800438217501151*c_1001_3^21 + 6366984453493598189278405078563452289371280117778161460069020101996\ 992251914447/169151062501865470437939905244115056140797898042091520\ 87071125014800438217501151*c_1001_3^20 - 1234141354275957494742216376084055004248252381664253489330363569137\ 1949745898314/16915106250186547043793990524411505614079789804209152\ 087071125014800438217501151*c_1001_3^19 - 1713195387173946616925320759330021556682655758064121383746060224909\ 91692986496190/1691510625018654704379399052441150561407978980420915\ 2087071125014800438217501151*c_1001_3^18 + 8802373346351393752499125124089746038564118954681925167969305384052\ 332500954264/169151062501865470437939905244115056140797898042091520\ 87071125014800438217501151*c_1001_3^17 + 2336731759372766427943030075297274694722411308913411447233998058420\ 425723394716905/169151062501865470437939905244115056140797898042091\ 52087071125014800438217501151*c_1001_3^16 + 3930139670403516856396989304884306869555548411593475748854684258512\ 82834080304759/1691510625018654704379399052441150561407978980420915\ 2087071125014800438217501151*c_1001_3^15 - 1327846794149320329179015360035281583085578834722561639730060960270\ 8041998473230391/16915106250186547043793990524411505614079789804209\ 152087071125014800438217501151*c_1001_3^14 - 1607154676622428770923319339528137875043998229945460796763621162746\ 0871182677143933/16915106250186547043793990524411505614079789804209\ 152087071125014800438217501151*c_1001_3^13 + 2804323677165580526816774914159816578197610524914470759600636972360\ 7238645484323126/16915106250186547043793990524411505614079789804209\ 152087071125014800438217501151*c_1001_3^12 + 5775313933157034989299329210000840959888309771533872853540195847650\ 3550197254615805/16915106250186547043793990524411505614079789804209\ 152087071125014800438217501151*c_1001_3^11 + 4593374665827283552965031780643970469564485854470536489880336843543\ 835110576063368/169151062501865470437939905244115056140797898042091\ 52087071125014800438217501151*c_1001_3^10 - 6243812637926008738915167610767402904606826771162479374255702555103\ 7804267479024570/16915106250186547043793990524411505614079789804209\ 152087071125014800438217501151*c_1001_3^9 - 5491680203969737764864922712418853620433175815021355217746063025367\ 5611541839985696/16915106250186547043793990524411505614079789804209\ 152087071125014800438217501151*c_1001_3^8 + 1090711707263309410268144271183471762108079348136336091039458988439\ 2573236403654516/16915106250186547043793990524411505614079789804209\ 152087071125014800438217501151*c_1001_3^7 + 2617047656236016121561416057685440594167850846155499111950996434314\ 6201897214525189/16915106250186547043793990524411505614079789804209\ 152087071125014800438217501151*c_1001_3^6 + 8256330873868155186360017633611376292404341445622449690418916466895\ 04551051993671/1691510625018654704379399052441150561407978980420915\ 2087071125014800438217501151*c_1001_3^5 + 4721393161596197257429645758974185055565534530822992892325317231346\ 399259546116526/169151062501865470437939905244115056140797898042091\ 52087071125014800438217501151*c_1001_3^4 + 5893552336929280776643628420498620999338187777113526328837650569471\ 272852638400746/169151062501865470437939905244115056140797898042091\ 52087071125014800438217501151*c_1001_3^3 + 2231344379106013186024835362100787922483691442848935773959666360449\ 18367128220823/1691510625018654704379399052441150561407978980420915\ 2087071125014800438217501151*c_1001_3^2 + 7833708761390504836170873824218447644145262721104017649956506407963\ 16841323548491/1691510625018654704379399052441150561407978980420915\ 2087071125014800438217501151*c_1001_3 + 3058226162351052929570921561513228894058427505135307141967814305161\ 83243819069641/1691510625018654704379399052441150561407978980420915\ 2087071125014800438217501151, c_0101_0 - 207400927810824095431668464848654472363253659480461710890817\ 682383205675242652/118405743751305829306557933670880539298558528629\ 464064609497875103603067522508057*c_1001_3^21 - 2399411848341655378006692865103432552481909796634567866102816638465\ 6769880003490/11840574375130582930655793367088053929855852862946406\ 4609497875103603067522508057*c_1001_3^20 + 4789166093923450573798584821806988874814643775258368633945034516926\ 1140799176696/11840574375130582930655793367088053929855852862946406\ 4609497875103603067522508057*c_1001_3^19 + 6423119934300354840645522031377710682317123465515884122188683768315\ 10219127408882/1184057437513058293065579336708805392985585286294640\ 64609497875103603067522508057*c_1001_3^18 - 6685140187907125768924218526232135702863626051975560078459232896560\ 8769488942761/11840574375130582930655793367088053929855852862946406\ 4609497875103603067522508057*c_1001_3^17 - 8785731631256300220340941196510266298305255893612791140308499218040\ 582829096172077/118405743751305829306557933670880539298558528629464\ 064609497875103603067522508057*c_1001_3^16 - 1010766738476171823049359249705962111776372944776370813307464922786\ 392746375539087/118405743751305829306557933670880539298558528629464\ 064609497875103603067522508057*c_1001_3^15 + 4982169228549847217035407414842091711856912675186794365195908728990\ 2061638210052300/11840574375130582930655793367088053929855852862946\ 4064609497875103603067522508057*c_1001_3^14 + 5810770861535994114682650685833738744758516384784970297052355006955\ 5325356574553508/11840574375130582930655793367088053929855852862946\ 4064609497875103603067522508057*c_1001_3^13 - 1075161174850389830328362429680879835342828480217848522179749876814\ 96973000415058284/1184057437513058293065579336708805392985585286294\ 64064609497875103603067522508057*c_1001_3^12 - 2114694566056606856437356441460223257823078359102814529862161603023\ 90286609707502820/1184057437513058293065579336708805392985585286294\ 64064609497875103603067522508057*c_1001_3^11 - 1430678212474798569041154202560895874139816699432036578376759664588\ 247126301938209/169151062501865470437939905244115056140797898042091\ 52087071125014800438217501151*c_1001_3^10 + 2339819783372393933471418291098606818511411727477010966723757448128\ 51972488162507006/1184057437513058293065579336708805392985585286294\ 64064609497875103603067522508057*c_1001_3^9 + 1975391399735438315269800148148958558063570350137450210184294042620\ 17026716361626693/1184057437513058293065579336708805392985585286294\ 64064609497875103603067522508057*c_1001_3^8 - 4753924747765812842984425528189727806561275915119286434490342940955\ 5329038067735964/11840574375130582930655793367088053929855852862946\ 4064609497875103603067522508057*c_1001_3^7 - 9629697183302332191878039808852905026470726408387238535728315601499\ 6265932136610630/11840574375130582930655793367088053929855852862946\ 4064609497875103603067522508057*c_1001_3^6 - 1355730201684408679480742228723428333529452651773223373862611745847\ 548119790226008/118405743751305829306557933670880539298558528629464\ 064609497875103603067522508057*c_1001_3^5 - 2379150391738835063470769495038015383311154987009714229107048445514\ 458379537706266/169151062501865470437939905244115056140797898042091\ 52087071125014800438217501151*c_1001_3^4 - 2078853658661375356888844888521299535914044371565942576384488050333\ 9425761756409998/11840574375130582930655793367088053929855852862946\ 4064609497875103603067522508057*c_1001_3^3 - 5517988949909411392022189392677847918765307511417182266826836858813\ 35748993127635/1184057437513058293065579336708805392985585286294640\ 64609497875103603067522508057*c_1001_3^2 - 2835013289706710426376247274479526096596074602058974337559317378053\ 411065426995196/118405743751305829306557933670880539298558528629464\ 064609497875103603067522508057*c_1001_3 - 1494821167499529890296492262669726344422876668591263507487425039475\ 68240091539888/1691510625018654704379399052441150561407978980420915\ 2087071125014800438217501151, c_0101_3 + 781653708015379425240411483503017009464431390391627141959510\ 534692504945303382744/221266504858690221879869190049826904937777730\ 428859918450977386318604532323132556231*c_1001_3^21 + 9045258464045245721873588494694205757712149036920940239495045699480\ 1149847863564605/22126650485869022187986919004982690493777773042885\ 9918450977386318604532323132556231*c_1001_3^20 - 1777905457682574010895846616814614471232178391102302667871438076412\ 10380688684433513/2212665048586902218798691900498269049377777304288\ 59918450977386318604532323132556231*c_1001_3^19 - 2426854058206483308605104282240969989562654141353073496689712855439\ 229644101006944619/221266504858690221879869190049826904937777730428\ 859918450977386318604532323132556231*c_1001_3^18 + 1831065844483736869456829238587274265483627044771270595558942016696\ 65178892771725167/2212665048586902218798691900498269049377777304288\ 59918450977386318604532323132556231*c_1001_3^17 + 3313121462888046617017825461871509554407687982004429134797647425574\ 4312509062573208242/22126650485869022187986919004982690493777773042\ 8859918450977386318604532323132556231*c_1001_3^16 + 4746255640941449018718068648982878730667537844771661257658588887555\ 545931333713263823/221266504858690221879869190049826904937777730428\ 859918450977386318604532323132556231*c_1001_3^15 - 1878473333413375697872915825363179568558512481721178131313472625011\ 55073266810332879526/2212665048586902218798691900498269049377777304\ 28859918450977386318604532323132556231*c_1001_3^14 - 2238848543001314058002745432450366556134964833750817354451815062013\ 26117330544390187587/2212665048586902218798691900498269049377777304\ 28859918450977386318604532323132556231*c_1001_3^13 + 3993359187586430568243865289972374178988475992097097714964876599089\ 62849542828555613114/2212665048586902218798691900498269049377777304\ 28859918450977386318604532323132556231*c_1001_3^12 + 8069066486491809354691337439560428818016333350613026459029766194672\ 32383423962666395410/2212665048586902218798691900498269049377777304\ 28859918450977386318604532323132556231*c_1001_3^11 + 5744590091475055778996675658824045821203157007529243812907726969560\ 3134819987471853719/22126650485869022187986919004982690493777773042\ 8859918450977386318604532323132556231*c_1001_3^10 - 8750183914228601022442967432311023685918581568542081320011840617124\ 05177499204837268211/2212665048586902218798691900498269049377777304\ 28859918450977386318604532323132556231*c_1001_3^9 - 7641339373920183583469868809495903663109055768425958188202527658012\ 28254449477605510306/2212665048586902218798691900498269049377777304\ 28859918450977386318604532323132556231*c_1001_3^8 + 1554174174387120882873146414791578150519099598597165619939482348341\ 06956936977751207978/2212665048586902218798691900498269049377777304\ 28859918450977386318604532323132556231*c_1001_3^7 + 3591498479504398395540501020749895608953110990470452109509397559823\ 21574676773955498580/2212665048586902218798691900498269049377777304\ 28859918450977386318604532323132556231*c_1001_3^6 + 1237268690705904965753249674083669392743662525691585483121815393190\ 8546796004794239704/22126650485869022187986919004982690493777773042\ 8859918450977386318604532323132556231*c_1001_3^5 + 6977824440682111760886804168044496432804783717281685383528144998247\ 5688226857985354371/22126650485869022187986919004982690493777773042\ 8859918450977386318604532323132556231*c_1001_3^4 + 8065089329918573320829150442886150121937472760214885267582335842751\ 4326444191069701266/22126650485869022187986919004982690493777773042\ 8859918450977386318604532323132556231*c_1001_3^3 + 3272491454403909418368928871290489830004808531490437364930907743921\ 105298981266828539/221266504858690221879869190049826904937777730428\ 859918450977386318604532323132556231*c_1001_3^2 + 1129443915951661100222250879598190865641038522581428663544678517697\ 0789180378510016352/22126650485869022187986919004982690493777773042\ 8859918450977386318604532323132556231*c_1001_3 + 4260692417741137137986805569558986260457530741687730543641174476800\ 876648193522102471/221266504858690221879869190049826904937777730428\ 859918450977386318604532323132556231, c_0101_5 - 526026586122121893451293026254580979714077878835558023909313\ 0043932666458317235755/15488655340108315531590843303487883345644441\ 13002019429156841704230231726261927893617*c_1001_3^21 - 6087793423666201509890752544305353033456020659095263998702115924727\ 14014407415649997/1548865534010831553159084330348788334564444113002\ 019429156841704230231726261927893617*c_1001_3^20 + 1189198223203469723659826326482297748390812844579507818961461008307\ 345170830391579085/154886553401083155315908433034878833456444411300\ 2019429156841704230231726261927893617*c_1001_3^19 + 1636117728429121199376546391013169254315671541253838257130692649519\ 2340278509514279010/15488655340108315531590843303487883345644441130\ 02019429156841704230231726261927893617*c_1001_3^18 - 1075111778302918915059187290325561887794172615518882514027591697429\ 140186470687363555/154886553401083155315908433034878833456444411300\ 2019429156841704230231726261927893617*c_1001_3^17 - 2233374260011567503645295241290464455424577450372826626927400338610\ 78628369514687816979/1548865534010831553159084330348788334564444113\ 002019429156841704230231726261927893617*c_1001_3^16 - 3432827871243243594396559948219995915105792846777181688721882523944\ 9130639976637377235/15488655340108315531590843303487883345644441130\ 02019429156841704230231726261927893617*c_1001_3^15 + 1268857080006761833968420962884252936011466356545987172202854928037\ 806175043982838476456/154886553401083155315908433034878833456444411\ 3002019429156841704230231726261927893617*c_1001_3^14 + 1518630353395892529335401547037149087734693206761438662817760663748\ 788091752552390384492/154886553401083155315908433034878833456444411\ 3002019429156841704230231726261927893617*c_1001_3^13 - 2696099021359614023866271066014997537085362684621164623926457492320\ 101165509678128411754/154886553401083155315908433034878833456444411\ 3002019429156841704230231726261927893617*c_1001_3^12 - 5477811359880608560426766202294805954033434942008330745722323465012\ 449476045144592945810/154886553401083155315908433034878833456444411\ 3002019429156841704230231726261927893617*c_1001_3^11 - 5421707849525852695500493464245622019666252000029989629780596295078\ 6575035554392388682/22126650485869022187986919004982690493777773042\ 8859918450977386318604532323132556231*c_1001_3^10 + 5953388331784311166129003976553490264472796699868125655819040007673\ 840082424288637356464/154886553401083155315908433034878833456444411\ 3002019429156841704230231726261927893617*c_1001_3^9 + 5178891176440501234501257640187485977832857062548941947603644270252\ 605265326962542278064/154886553401083155315908433034878833456444411\ 3002019429156841704230231726261927893617*c_1001_3^8 - 1088655039695571579283826009529695123483316837340676637266498729621\ 232106267912551566251/154886553401083155315908433034878833456444411\ 3002019429156841704230231726261927893617*c_1001_3^7 - 2476802884951102806612561196072748670204436777552087920778628516174\ 296991885594516867873/154886553401083155315908433034878833456444411\ 3002019429156841704230231726261927893617*c_1001_3^6 - 6294340833633352125647349062824752655881788834679593206696186082870\ 0329753552278204831/15488655340108315531590843303487883345644441130\ 02019429156841704230231726261927893617*c_1001_3^5 - 6491012032995891554599827550706398788740376399557962882597146053955\ 7175707894279542382/22126650485869022187986919004982690493777773042\ 8859918450977386318604532323132556231*c_1001_3^4 - 5482618666997120981788719624264002591506665505813681257942789406350\ 60802716677931910195/1548865534010831553159084330348788334564444113\ 002019429156841704230231726261927893617*c_1001_3^3 - 1824467756061235636940861274098545369910870064863663546535075345572\ 9904064157338188177/15488655340108315531590843303487883345644441130\ 02019429156841704230231726261927893617*c_1001_3^2 - 7347484988704406404723263264785006087951710366535641014627994517827\ 4773265304030347091/15488655340108315531590843303487883345644441130\ 02019429156841704230231726261927893617*c_1001_3 - 3985954862857939572422470361145377456406653910724210466938415489793\ 002190046815519247/221266504858690221879869190049826904937777730428\ 859918450977386318604532323132556231, c_1001_3^22 + 116*c_1001_3^21 - 195*c_1001_3^20 - 3169*c_1001_3^19 - 636*c_1001_3^18 + 42464*c_1001_3^17 + 17966*c_1001_3^16 - 238780*c_1001_3^15 - 353938*c_1001_3^14 + 431495*c_1001_3^13 + 1177096*c_1001_3^12 + 361424*c_1001_3^11 - 1103771*c_1001_3^10 - 1292926*c_1001_3^9 - 70907*c_1001_3^8 + 520400*c_1001_3^7 + 144527*c_1001_3^6 + 91399*c_1001_3^5 + 127979*c_1001_3^4 + 32926*c_1001_3^3 + 15215*c_1001_3^2 + 9380*c_1001_3 + 1519 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB