Magma V2.19-8 Tue Aug 20 2013 23:38:33 on localhost [Seed = 1326001023] Type ? for help. Type -D to quit. Loading file "K11n58__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n58 geometric_solution 9.97833029 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 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 -1 1 0 0 0 0 1 0 0 -1 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.030215177668 0.693956263292 0 5 3 6 0132 0132 2310 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 -7 0 7 0 0 0 0 -8 8 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.160741899578 0.656324046516 6 0 3 5 0132 0132 3120 2103 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 0 0 -1 0 0 1 -7 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.462688914684 1.754457515199 7 1 2 0 0132 3201 3120 0132 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 -1 0 1 0 0 0 0 -8 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.884713145624 2.246187221515 8 8 0 6 0132 1302 0132 2103 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 1 -1 0 -1 0 0 1 0 7 0 -7 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.902614642713 0.900938121993 9 1 10 2 0132 0132 0132 2103 0 0 0 0 0 1 0 -1 1 0 -1 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 7 0 -7 8 0 -7 -1 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.535278123521 0.473280918683 2 9 1 4 0132 0132 0132 2103 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 -7 7 1 0 0 -1 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.692154818880 0.944858927406 3 8 10 9 0132 0213 3120 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 0 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533282682854 0.888905214318 4 10 7 4 0132 1023 0213 2031 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 7 0 -7 1 0 0 -1 0 -1 0 1 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.118592926172 1.097135043333 5 6 7 10 0132 0132 0132 0321 0 0 0 0 0 0 0 0 -1 0 0 1 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 -8 0 0 8 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.704202802609 0.863892948010 8 9 7 5 1023 0321 3120 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 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 -7 0 0 7 1 7 0 -8 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.190498662235 0.786872409479 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_10']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_0101_10'], 'c_1010_10' : d['c_1001_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], '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' : negation(d['1']), 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_10']), 'c_1100_8' : d['c_1001_9'], 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0101_3']), 'c_1100_10' : negation(d['c_0101_0']), 'c_1010_7' : d['c_1001_9'], 'c_1010_6' : d['c_1001_9'], 'c_1010_5' : negation(d['c_1001_0']), 'c_1010_4' : negation(d['c_1001_9']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_1001_5'], 'c_1010_8' : negation(d['c_0011_10']), 's_3_1' : negation(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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_0'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_3'], 'c_0101_8' : negation(d['c_0011_3']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_3'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_1001_0, c_1001_5, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 13143365080725549992133920742646598943937536947682117657952388008/5\ 225013114535059472514412893760871368443750082241645996938876529*c_1\ 001_9^21 - 28981448649764854964014908768175625064509601957967235927\ 734898912/522501311453505947251441289376087136844375008224164599693\ 8876529*c_1001_9^20 + 371430787446122614271500750558819149581409346\ 922112681776105724960/522501311453505947251441289376087136844375008\ 2241645996938876529*c_1001_9^19 + 141269957962774410771737241281897\ 107112071922151434217625785445927/307353712619709380736141934927110\ 080496691181308332117466992737*c_1001_9^18 + 450893360072569752282922659458348466134562370015060123944136476529/\ 275000690238687340658653310197940598339144741170612947207309291*c_1\ 001_9^17 + 10220839480263496746871114753123484408172781127502154994\ 1601328711677/20900052458140237890057651575043485473775000328966583\ 987755506116*c_1001_9^16 + 1289003328102292513047165620761687917162\ 54202733287053502732822171901/1045002622907011894502882578752174273\ 6887500164483291993877753058*c_1001_9^15 + 5594198834699248050044049987808482857523963925978823556682524286261\ 95/2090005245814023789005765157504348547377500032896658398775550611\ 6*c_1001_9^14 + 272209481753400013655132706287628213772788882330511\ 570987343736093815/522501311453505947251441289376087136844375008224\ 1645996938876529*c_1001_9^13 + 942794570640841155074458823569032140\ 662303770384862652541256377450609/104500262290701189450288257875217\ 42736887500164483291993877753058*c_1001_9^12 + 2971841588587938639282229790045376906891212189426640236873307607562\ 967/209000524581402378900576515750434854737750003289665839877555061\ 16*c_1001_9^11 + 21864830672423194051016071246821566918176609341295\ 89866843996008590723/1045002622907011894502882578752174273688750016\ 4483291993877753058*c_1001_9^10 + 589163728487065973247493578406867\ 3529453911803432183228393561215114537/20900052458140237890057651575\ 043485473775000328966583987755506116*c_1001_9^9 + 3556836522412346595588776166617745892541452808431004512801375628087\ 199/104500262290701189450288257875217427368875001644832919938777530\ 58*c_1001_9^8 + 745796747813878188819768038851247117581219089573546\ 2487677650699271695/20900052458140237890057651575043485473775000328\ 966583987755506116*c_1001_9^7 + 66292147774930445277922162069630993\ 93869717509772269264149589678780969/2090005245814023789005765157504\ 3485473775000328966583987755506116*c_1001_9^6 + 4886104829088860376193237891878210964117478895670284140864736792838\ 631/209000524581402378900576515750434854737750003289665839877555061\ 16*c_1001_9^5 + 285033694087469863447755994366152890835672309727584\ 1473495987462085153/20900052458140237890057651575043485473775000328\ 966583987755506116*c_1001_9^4 + 34109879939333949547460073359425667\ 9004716357381697292554309393767173/52250131145350594725144128937608\ 71368443750082241645996938876529*c_1001_9^3 + 4525507419559610895420227063818858442925130927459983090621608049505\ 31/2090005245814023789005765157504348547377500032896658398775550611\ 6*c_1001_9^2 + 7677923015132746756814231378757092737390914165367327\ 4954679813178757/20900052458140237890057651575043485473775000328966\ 583987755506116*c_1001_9 + 2762449865881559220149500201533868434476\ 203292850165660491390703469/522501311453505947251441289376087136844\ 3750082241645996938876529, c_0011_0 - 1, c_0011_10 - 23089361544700337258787547520577857696828938194884479424/20\ 3174006085369321879756243667777051693354853349823347817*c_1001_9^21 - 232668460916903184527687746578448253067829353413543923312/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^20 - 1097366050390710412141577081212268930970757579515834148192/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^19 - 3648021753196102889439841510373990242342398462982365947224/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^18 - 10256026409248756885203190315401348056528823465495934120830/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^17 - 24950928264470841990332472350891723409798436442857817845140/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^16 - 106385097656884342300636671456975496491388184204316562335809/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^15 - 101887618193058422020482843892066851612827050924381555699114/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^14 - 351401692000137912041658897582017260888563320253333038562235/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^13 - 276835194945990730447471785127844902239848938510098284097804/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^12 - 405325185262158086718661346495943069474610400694085340283547/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^11 - 1090419692697216137449022297662027231075306132766923179101075/40634\ 8012170738643759512487335554103386709706699646695634*c_1001_9^10 - 660399129483957926240605376162845227482317085194258545294539/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^9 - 1405215191117573203442570936315576084288474161330376618762085/40634\ 8012170738643759512487335554103386709706699646695634*c_1001_9^8 - 642090351159820027415519347545082296564199633689104762897935/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^7 - 988552556206635872457027095664369833764235118603018165755077/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^6 - 622005205547882931613975446085316310913975686620252978829191/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^5 - 320486750025583147529607517565151008543739572039335365894501/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^4 - 126938894982029788897773586872430000445479508833395462840615/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^3 - 16189128690459985724836087079792648144142762466605659251197/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^2 - 5745463317783863429876523673372449272552176962239601971569/40634801\ 2170738643759512487335554103386709706699646695634*c_1001_9 - 414037850461068353929584549397302070967140624090899727037/406348012\ 170738643759512487335554103386709706699646695634, c_0011_3 + 18939818680538811293896758090313474919395177889531011392/203\ 174006085369321879756243667777051693354853349823347817*c_1001_9^21 + 183034899932663637941374996924683345582217671506029717760/203174006\ 085369321879756243667777051693354853349823347817*c_1001_9^20 + 830227584082023688213202200208858849236595616570582154848/203174006\ 085369321879756243667777051693354853349823347817*c_1001_9^19 + 2702575794970031160650397694511419074084709926772871261256/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^18 + 7529798028070730437029573180529225709930252227594776654600/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^17 + 18100110173251418465713351160354292574269792660627980992386/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^16 + 38202288049975257116085582999921983774043635666189224470696/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^15 + 72641641974594045919435567491264662159777261832674314899411/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^14 + 124198279457369984151820246528315956689308126986215938755574/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^13 + 194696450225935632754632910664238986845586819153498210314716/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^12 + 283909761851081328576032604049028713112980148162679966149158/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^11 + 379212978193730798049917859282436347903168442956679167472582/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^10 + 455995689091721954818334766140906264854292412805951849666419/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^9 + 481108346889042714057811238475909425288334164368493817679394/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^8 + 437472709052174764311980813864127935620175673452217537127990/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^7 + 336654049271047589113244619293418938765844435513162441385515/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^6 + 213444728496845067602264480607732166448389670816891200024542/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^5 + 113730439159584334423335558871115582357712828044522379933324/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^4 + 45895730344900501623071883571303072036210306528273198645128/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^3 + 13858388346826244388103006358602134261718413952306559186762/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^2 + 2749390931443658177159285294729569538282874052437647699089/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9 + 350953959793261307978371014888842770522902606880739500236/203174006\ 085369321879756243667777051693354853349823347817, c_0101_0 + 821401693550902807167631164467765682895544363975724904/20317\ 4006085369321879756243667777051693354853349823347817*c_1001_9^21 + 17035897430206499872437509907775213835863383075665652152/2031740060\ 85369321879756243667777051693354853349823347817*c_1001_9^20 + 125381800103835102146268123385219044808075632793887814480/203174006\ 085369321879756243667777051693354853349823347817*c_1001_9^19 + 528059346793221270506486471086435275690639212465981002449/203174006\ 085369321879756243667777051693354853349823347817*c_1001_9^18 + 1670308531636308853014927754348763901475749009379979155580/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^17 + 18128705230405778452325266119304111584141768557443416507423/8126960\ 24341477287519024974671108206773419413399293391268*c_1001_9^16 + 42751901921249298543406243305255626678858461707628982945731/8126960\ 24341477287519024974671108206773419413399293391268*c_1001_9^15 + 88929541771652157964182909310595721590914394480238450244941/8126960\ 24341477287519024974671108206773419413399293391268*c_1001_9^14 + 166687129774476504760237576151423240413005597181012297472581/812696\ 024341477287519024974671108206773419413399293391268*c_1001_9^13 + 70505811425641838638178135513718559174341789506640020194943/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^12 + 437843648427927819584939093778472576117997002385188105988467/812696\ 024341477287519024974671108206773419413399293391268*c_1001_9^11 + 631605097750839332321857230735585385161528931002292922904671/812696\ 024341477287519024974671108206773419413399293391268*c_1001_9^10 + 834163207252645372274225472426842527936344353245461569942949/812696\ 024341477287519024974671108206773419413399293391268*c_1001_9^9 + 988929722377005110858090162718598140002869606525987406754357/812696\ 024341477287519024974671108206773419413399293391268*c_1001_9^8 + 1026731275925262883099012656581653759779214065240828455491279/81269\ 6024341477287519024974671108206773419413399293391268*c_1001_9^7 + 228599955783625485749174743397191775281467322103261360784120/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^6 + 342080504293935193906312162202554847724193380839102237529191/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^5 + 208442067085716028935654215538178911125734552816223625485415/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^4 + 207641012983218063793810451669062195236222952207239528659395/812696\ 024341477287519024974671108206773419413399293391268*c_1001_9^3 + 75913702250752792523023682699679874289708815074283425859505/8126960\ 24341477287519024974671108206773419413399293391268*c_1001_9^2 + 4300225055245081526399426638820499338517812536538445553602/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9 + 1987769104393397836086809811010706591778273842612010366653/81269602\ 4341477287519024974671108206773419413399293391268, c_0101_1 - 21811772839729886736623818799442647545166469116510368416/203\ 174006085369321879756243667777051693354853349823347817*c_1001_9^21 - 217503796027979568466623185172281578209052043791424505776/203174006\ 085369321879756243667777051693354853349823347817*c_1001_9^20 - 1021316260089863153896062559346208835570270870724045669056/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^19 - 3408393991433395945979403130466219923986004399445061418180/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^18 - 9630132856613782667287270649716952061059690612552051257778/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^17 - 23496554898487139253842794258433124703647502624608445675929/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^16 - 100661870914402892132226346139045170410595632257985548972553/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^15 - 96928892652903181232352932131454484488308754171421227008082/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^14 - 336086750090702749669592160846874944762694552007921450428029/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^13 - 266556459873781705132923903640662037954798803283426042530831/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^12 - 392570630179998752956806816898989406375825034839532164193802/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^11 - 1062603515698889393083766662347933200406498392225532065569147/40634\ 8012170738643759512487335554103386709706699646695634*c_1001_9^10 - 649873913650419070763457808658768044468143286814000962069947/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^9 - 1402540476764011885863202958577671408571676703614879954809139/40634\ 8012170738643759512487335554103386709706699646695634*c_1001_9^8 - 654513684418438678710593520901931515771551119154162960474090/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^7 - 1036743404007730700129313748087594960482733286338235993641475/40634\ 8012170738643759512487335554103386709706699646695634*c_1001_9^6 - 678824029308612285322453456078278936024550624802549529246585/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^5 - 367828119873024041019140998743715363515752608595427729464289/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^4 - 153928710763892107065849524919965825018805026169783450375379/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^3 - 23359368314771109523504291073836417391954189974487565619256/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^2 - 8939200589209649941256837844249733877082100264997263630933/40634801\ 2170738643759512487335554103386709706699646695634*c_1001_9 - 761441503294917611470406731522462157461766411334660965895/406348012\ 170738643759512487335554103386709706699646695634, c_0101_10 - 12287228449131492211121092936263577005932042399989560256/20\ 3174006085369321879756243667777051693354853349823347817*c_1001_9^21 - 112155503172589931823070442289682205386969614814722277888/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^20 - 474310805964447288737316252569334402761705733545774080768/203174006\ 085369321879756243667777051693354853349823347817*c_1001_9^19 - 1459370666036834571696028538619857720584966927000468700568/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^18 - 3925594755875140568260296701802655987825542511573626105368/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^17 - 9068009833535056528240976411712464445431877027623697575890/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^16 - 18346184417789347782911959741979595005791448798747318613668/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^15 - 33534311064610521190534698330030527692687401160709148519342/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^14 - 54733729124854562677000797543521327367811539761270660153454/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^13 - 82140670115850379046179686952792510917274756263021706715514/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^12 - 115043171529837519557380706174882045346573170635040796157570/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^11 - 145339059464500377950155604115392162160052588061866754226456/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^10 - 161552064767215977789169120036547550236433446170376662157871/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^9 - 151078368871512187796648757615067697698134477148978638650644/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^8 - 114676677667882331410563761417271550095481967576640107445044/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^7 - 65998523733452132895292731622075267506298006318706167963500/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^6 - 23100289832585981431310814228012669992759215910686924127838/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^5 - 2871997522307919511735653145293056498788991113122254722336/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^4 + 6123714151500106000151889129827021987762486216337411202638/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^3 + 4190499415424322700337126837841785611751403626849726149692/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^2 + 1267394683727957418641012535554533603738779744137980132396/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9 + 187022658029041882452233602654146702556146477983008180700/203174006\ 085369321879756243667777051693354853349823347817, c_0101_2 + 16409870592256266648945639261446718880350043323117823360/203\ 174006085369321879756243667777051693354853349823347817*c_1001_9^21 + 175431568212575699969147260862269765433029487768604405984/203174006\ 085369321879756243667777051693354853349823347817*c_1001_9^20 + 878778818857169104165712495467446722560934531940671011360/203174006\ 085369321879756243667777051693354853349823347817*c_1001_9^19 + 3046522705569858681262416811161870491481781111168682475792/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^18 + 8770480740923280908032296258596161857088510742250675361756/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^17 + 21854971696686396546920417608555147358283972022194752444244/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^16 + 47714754948576888471471462074319111737490314039219846112881/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^15 + 93298967234215454573697124370182144884891922288287111859801/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^14 + 164478631222617579899426124908564131496096283125963895890400/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^13 + 264257128965330955850110856758643396572594710642177432239484/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^12 + 393371435695235419102591731716650582673452510760747890440248/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^11 + 540272200751455408095198954878762511942095436252958738588478/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^10 + 672398070090386305223699171223231100481858610923109921582516/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^9 + 741571135738229692972179643679080464778902229664324682905662/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^8 + 708440171395069213257210406306414540562847249177497274815362/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^7 + 575120976679945999275211142941109884554356822066311851293329/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^6 + 386977750586611078781434119928101050380411412949385513145180/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^5 + 212911142867722649819609975224134243910676996509180284809481/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^4 + 93546571387574429704291607717540841727344333660314613211362/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^3 + 28799090842439525327999393294836925231995979502067629453945/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^2 + 6002698495080720986627689638512256614394853081057330235492/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9 + 677666885745503340421411935641938708927339381715286032062/203174006\ 085369321879756243667777051693354853349823347817, c_0101_3 - 30461848806824785127339771578831118019049589203993179544/203\ 174006085369321879756243667777051693354853349823347817*c_1001_9^21 - 293438146069664718712034681211149011473132022469380564584/203174006\ 085369321879756243667777051693354853349823347817*c_1001_9^20 - 1324908315302358763056970967029609057798182770377651587408/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^19 - 4293956513008614839554775725544871890423106077880219484783/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^18 - 11926956861808605366436404759317524190464644688874184092696/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^17 - 114316403449107403353210310395198102411273886547013551643041/812696\ 024341477287519024974671108206773419413399293391268*c_1001_9^16 - 240428058536097426802312224075490285482984219365253664227385/812696\ 024341477287519024974671108206773419413399293391268*c_1001_9^15 - 455628792834666481911476397899668347737955382409978531099719/812696\ 024341477287519024974671108206773419413399293391268*c_1001_9^14 - 776001652390179363680382408682297649370858135345563802556003/812696\ 024341477287519024974671108206773419413399293391268*c_1001_9^13 - 302938528365034603057633058693224636041983547331865273766537/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^12 - 1760717568922107909642884115240735800173442680369803493447641/81269\ 6024341477287519024974671108206773419413399293391268*c_1001_9^11 - 2341225201300808830593823298265607338897180821478808869331229/81269\ 6024341477287519024974671108206773419413399293391268*c_1001_9^10 - 2797988295255016498806067709595811149263743434817249490211983/81269\ 6024341477287519024974671108206773419413399293391268*c_1001_9^9 - 2925781430639848755707099478783654211315649130600750718081367/81269\ 6024341477287519024974671108206773419413399293391268*c_1001_9^8 - 2626093073739357784092948366457570788126977775185483363408633/81269\ 6024341477287519024974671108206773419413399293391268*c_1001_9^7 - 496147525202151485860614666772289555688863589253030504543922/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^6 - 612857476518707631098801832409480183747304470491166049052581/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^5 - 316494744487839831950514111382909378479157649089575586235985/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^4 - 242385679079714396570953169117594499850126688133917602186629/812696\ 024341477287519024974671108206773419413399293391268*c_1001_9^3 - 67838789332794831342143018781240541209220456462070299191923/8126960\ 24341477287519024974671108206773419413399293391268*c_1001_9^2 - 3501391767157866317520740866846981624914011995131150385829/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9 - 1365419767764374835704226878210921394929845111885465987547/81269602\ 4341477287519024974671108206773419413399293391268, c_1001_0 - 58419224798104000516032511376344486547274229437776413776/203\ 174006085369321879756243667777051693354853349823347817*c_1001_9^21 - 571417118523117221961324896981158014538514793182717211680/203174006\ 085369321879756243667777051693354853349823347817*c_1001_9^20 - 2618619315347542709762856840400432760555926689472137163840/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^19 - 8555157854059136309499421365710126193901076239150902511762/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^18 - 23835876098132229642894513472337155952579909595007288915606/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^17 - 114726370368343136996594027047511742230670022403099424155467/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^16 - 121081445184443948823675837414342251420403810015115025438812/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^15 - 459982560254006572093442070550334861159422031437748761601097/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^14 - 392816998267280086149477680456990826365850564329590863229112/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^13 - 614208958373384649166007677013972203454087411221396125390259/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^12 - 1786314322135888408501642411687977271799576331016868281863149/40634\ 8012170738643759512487335554103386709706699646695634*c_1001_9^11 - 1190086835360102664979353467789866755264556382650151390209239/20317\ 4006085369321879756243667777051693354853349823347817*c_1001_9^10 - 2849630625006890456393817509004501900804523887317865877206213/40634\ 8012170738643759512487335554103386709706699646695634*c_1001_9^9 - 1491983295533327359382452600221704387795870082657038072677965/20317\ 4006085369321879756243667777051693354853349823347817*c_1001_9^8 - 2675100011533524244602644750069015821841909795702600281290287/40634\ 8012170738643759512487335554103386709706699646695634*c_1001_9^7 - 2010705024968354812478140489150346521159999533410050193190057/40634\ 8012170738643759512487335554103386709706699646695634*c_1001_9^6 - 1226441175421030790119632466559100406435082820968823592421175/40634\ 8012170738643759512487335554103386709706699646695634*c_1001_9^5 - 615099257953213651192670252084897483652915653161420226391221/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^4 - 113977947265775939093267568249385616414158102284453811251095/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^3 - 55197139707798279271770392266632484133967756966678206095371/4063480\ 12170738643759512487335554103386709706699646695634*c_1001_9^2 - 8474710720264889691946110750074976802920603174408478496133/40634801\ 2170738643759512487335554103386709706699646695634*c_1001_9 - 135761853583468421094884364968372210242001350416812490448/203174006\ 085369321879756243667777051693354853349823347817, c_1001_5 + 41964207926983755861883218621623158946715181612067208632/203\ 174006085369321879756243667777051693354853349823347817*c_1001_9^21 + 411975601136742221446382779551722512387839995360480982568/203174006\ 085369321879756243667777051693354853349823347817*c_1001_9^20 + 1896232389594300629106630233606277459806022437427305091216/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^19 + 6217540146960148181968710614748788191865711308252629438563/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9^18 + 17364840328815326378957340556145392475397539825901682583396/2031740\ 06085369321879756243667777051693354853349823347817*c_1001_9^17 + 167584282614553809838766571606721029039379744577645849348989/812696\ 024341477287519024974671108206773419413399293391268*c_1001_9^16 + 354676008660966036367992744394655171679190500394485836607929/812696\ 024341477287519024974671108206773419413399293391268*c_1001_9^15 + 675403293916969473071373510670453568332808303309565508779091/812696\ 024341477287519024974671108206773419413399293391268*c_1001_9^14 + 1156851797665190729967787899596506302563846536170381090716143/81269\ 6024341477287519024974671108206773419413399293391268*c_1001_9^13 + 453450148048287449863661039528804155413916794433169389269345/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^12 + 2644181349194006226732454439970830771143687445731221822470157/81269\ 6024341477287519024974671108206773419413399293391268*c_1001_9^11 + 3534241706208058512280360326980121536789488600308277843478741/81269\ 6024341477287519024974671108206773419413399293391268*c_1001_9^10 + 4249237259293483932878674117747516538606510901233692374089631/81269\ 6024341477287519024974671108206773419413399293391268*c_1001_9^9 + 4477113996686748782718896101284177235938765959468809187898799/81269\ 6024341477287519024974671108206773419413399293391268*c_1001_9^8 + 4048430791117444972427812540050577923022579339129972773621773/81269\ 6024341477287519024974671108206773419413399293391268*c_1001_9^7 + 769811466096466462938742181771119643037754977766971436400925/203174\ 006085369321879756243667777051693354853349823347817*c_1001_9^6 + 955116647047828671220865588621428209284500269474253192126323/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^5 + 488036509306823992644409517423862132010110824336492947258539/406348\ 012170738643759512487335554103386709706699646695634*c_1001_9^4 + 373541266831690443869556994956023112521240173018718596978017/812696\ 024341477287519024974671108206773419413399293391268*c_1001_9^3 + 95230798479998392604456942334589152061994507549450734577751/8126960\ 24341477287519024974671108206773419413399293391268*c_1001_9^2 + 3854766162036896319730618259464673093068215374916049047856/20317400\ 6085369321879756243667777051693354853349823347817*c_1001_9 + 918766607097327084040190610825056946529456390340034686199/812696024\ 341477287519024974671108206773419413399293391268, c_1001_9^22 + 10*c_1001_9^21 + 47*c_1001_9^20 + 1253/8*c_1001_9^19 + 3535/8*c_1001_9^18 + 34475/32*c_1001_9^17 + 18439/8*c_1001_9^16 + 70929/16*c_1001_9^15 + 7677*c_1001_9^14 + 389151/32*c_1001_9^13 + 572599/32*c_1001_9^12 + 24197*c_1001_9^11 + 472799/16*c_1001_9^10 + 31823*c_1001_9^9 + 474111/16*c_1001_9^8 + 750049/32*c_1001_9^7 + 245889/16*c_1001_9^6 + 33577/4*c_1001_9^5 + 115445/32*c_1001_9^4 + 18259/16*c_1001_9^3 + 8479/32*c_1001_9^2 + 1169/32*c_1001_9 + 103/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.470 Total time: 0.680 seconds, Total memory usage: 32.09MB