Magma V2.19-8 Tue Aug 20 2013 23:38:15 on localhost [Seed = 2816590727] Type ? for help. Type -D to quit. Loading file "K12a1134__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a1134 geometric_solution 8.52376866 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 10 0 1 0 1 2310 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.850887440080 0.348944080725 0 0 3 2 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 0.841916424791 0.830141157972 4 5 1 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.287696996356 0.972224157683 5 4 4 1 3201 2310 3120 0132 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 -1 1 0 0 0 0 0 0 0 0 -1 -6 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.783339586179 0.469634969655 2 7 3 3 0132 0132 3120 3201 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -7 6 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.060944224353 0.562991374981 8 2 8 3 0132 0132 3120 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0.248310704977 0.816290401931 9 7 2 9 0132 3201 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0.438411146102 0.591418763146 8 4 6 9 1023 0132 2310 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.077738152878 1.501390566152 5 7 5 9 0132 1023 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -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.248310704977 0.816290401931 6 7 8 6 0132 0321 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.438411146102 0.591418763146 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : negation(d['c_1001_3']), 'c_1001_7' : negation(d['c_1001_3']), 'c_1001_6' : negation(d['c_0101_7']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_0']), 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0101_7'], 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_5']), 'c_1100_8' : negation(d['c_0101_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : d['c_0011_6'], 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0101_4']), 'c_1100_2' : negation(d['c_0101_4']), 'c_1010_7' : negation(d['c_1001_3']), 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_1001_3']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_7']), 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : negation(d['c_0101_2']), 'c_1010_9' : negation(d['c_1001_3']), 'c_1010_8' : d['c_0011_6'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(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' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_6']), 'c_0011_8' : d['c_0011_2'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_7' : d['c_0011_2'], 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_2'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_5'], 'c_0101_8' : negation(d['c_0011_3']), 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0011_6'], 'c_0110_6' : d['c_0101_5']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_3, c_0011_6, c_0101_0, c_0101_2, c_0101_4, c_0101_5, c_0101_7, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 5488579856253160287758009991745137426420662330808153692183648553585\ 230553736/343752668458977967879610181249862040380117187766649930022\ 035235894396171*c_1001_3^25 - 2723738074368463574112201408415619272\ 2710640706296727936326235932317532374386/34375266845897796787961018\ 1249862040380117187766649930022035235894396171*c_1001_3^24 - 2808256352729900110786232868268021713224142726459472506730238672421\ 8775961197/49107524065568281125658597321408862911445312538092847146\ 005033699199453*c_1001_3^23 - 4427464648097322303166585460541654823\ 42419893058769263309085103069698709691232/3437526684589779678796101\ 81249862040380117187766649930022035235894396171*c_1001_3^22 - 2524948862756612358035378548855222005176604151758843882341199219413\ 417000754797/343752668458977967879610181249862040380117187766649930\ 022035235894396171*c_1001_3^21 - 2941321297317477589903073468496102\ 393899629783979208187008841384759274307656365/343752668458977967879\ 610181249862040380117187766649930022035235894396171*c_1001_3^20 - 1556921787077137982314313921591162911287664517185671809124273150636\ 1369465342009/34375266845897796787961018124986204038011718776664993\ 0022035235894396171*c_1001_3^19 - 119461704301335536524740198554430\ 30605623975623120687489471618700514557685441841/3437526684589779678\ 79610181249862040380117187766649930022035235894396171*c_1001_3^18 - 4268379713272659032064373762683248488479690465605239905908992685273\ 1003344278702/34375266845897796787961018124986204038011718776664993\ 0022035235894396171*c_1001_3^17 - 391699407270669668963072200578323\ 43142905534675249275830865778338071944758076314/3437526684589779678\ 79610181249862040380117187766649930022035235894396171*c_1001_3^16 - 1588277017451642127757634897302772511191033056760484849510354645599\ 6080161250929/34375266845897796787961018124986204038011718776664993\ 0022035235894396171*c_1001_3^15 - 689105782388770898804353519740778\ 400728387510316942617719540526691792603005501/435129960074655655543\ 8103560124835954178698579324682658506775137903749*c_1001_3^14 + 4768876861835771428110532695099609469646051693642509900256340264037\ 4007753791805/34375266845897796787961018124986204038011718776664993\ 0022035235894396171*c_1001_3^13 + 200362357453420618485402028040766\ 99782130774968741650659455728784695853517894717/4910752406556828112\ 5658597321408862911445312538092847146005033699199453*c_1001_3^12 - 1733733916158136541160131170944671898293150752428696512740388773008\ 58218623631904/3437526684589779678796101812498620403801171877666499\ 30022035235894396171*c_1001_3^11 + 1474310313566922430200600391676866206713579355701507399331300756034\ 4462604525195/49107524065568281125658597321408862911445312538092847\ 146005033699199453*c_1001_3^10 + 4788935793236285442207576296774096\ 6939248531815863026544047641034099123020416438/34375266845897796787\ 9610181249862040380117187766649930022035235894396171*c_1001_3^9 - 5598114431719273104446395396773010342551925684299208969705685279818\ 82460237474992/3437526684589779678796101812498620403801171877666499\ 30022035235894396171*c_1001_3^8 - 189860825503119586793861791995787\ 20988675880203382865069519234262247705258218314/4910752406556828112\ 5658597321408862911445312538092847146005033699199453*c_1001_3^7 + 1470869773340050194150076042740950988617945251197613009129868988672\ 58705214836663/3437526684589779678796101812498620403801171877666499\ 30022035235894396171*c_1001_3^6 - 885133779682156298671933719743729\ 086558391799121733564000798655530519994473324/491075240655682811256\ 58597321408862911445312538092847146005033699199453*c_1001_3^5 - 2317693926927567232287258234449784337234521568786445578315748078307\ 5394543985363/34375266845897796787961018124986204038011718776664993\ 0022035235894396171*c_1001_3^4 + 6680544633091256644044827189217366\ 38866716557392573858466381892472179506812195/3437526684589779678796\ 10181249862040380117187766649930022035235894396171*c_1001_3^3 + 2821080599476642842458713385231683401267533440441561023943900324307\ 658887130493/343752668458977967879610181249862040380117187766649930\ 022035235894396171*c_1001_3^2 - 18956776846889041097928661001597040\ 2541530016658093425662788458781530888292547/34375266845897796787961\ 0181249862040380117187766649930022035235894396171*c_1001_3 - 9457406964228493781730059783720808020129873660611120261841531378192\ 1507709673/34375266845897796787961018124986204038011718776664993002\ 2035235894396171, c_0011_0 - 1, c_0011_2 - 622056898421465469612330138037425779537038178400881603171751\ 335252/819825109608819384401646032076942619556683013991533341335643\ 30048747*c_1001_3^25 - 30508712657486664449508558915218095297154487\ 74039131438808504191656/8198251096088193844016460320769426195566830\ 1399153334133564330048747*c_1001_3^24 - 2207909951060548756514251639616591208952326227544572462187283485181\ 7/81982510960881938440164603207694261955668301399153334133564330048\ 747*c_1001_3^23 - 4879721657940123885398361851479586843546125587610\ 0523134402201908367/81982510960881938440164603207694261955668301399\ 153334133564330048747*c_1001_3^22 - 2825726675550867477440156398348613907863693774562707143544627859364\ 56/8198251096088193844016460320769426195566830139915333413356433004\ 8747*c_1001_3^21 - 315594063745649776590277981706063622246640003914\ 086618195693311678577/819825109608819384401646032076942619556683013\ 99153334133564330048747*c_1001_3^20 - 1736576527337193836995055118068915870824251570517183610830078932663\ 564/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^19 - 12473123399568857858144039110917773988772122493\ 01698412813355444020038/8198251096088193844016460320769426195566830\ 1399153334133564330048747*c_1001_3^18 - 4705046460104989203410689018662296370029429059206284510386615588528\ 361/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^17 - 41578567426198978098246476881610797894270268639\ 96967646287132843639060/8198251096088193844016460320769426195566830\ 1399153334133564330048747*c_1001_3^16 - 1396945201594190422761138725671026236085590875259364305609116057553\ 668/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^15 - 76504414066811108001638352573128085735422215008\ 498742031238668914611/103775330330230301822993168617334508804643419\ 4925991571310940886693*c_1001_3^14 + 5746273172736089695371467631315655270386888234710480188894260253916\ 151/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^13 + 15745286390993614272251832781649870510449729970\ 995295424353487675172148/819825109608819384401646032076942619556683\ 01399153334133564330048747*c_1001_3^12 - 2095407837918356761873076636217216803827585664297772748367442153129\ 4441/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^11 + 1247829618998348766846455948646482335825900030\ 6219946954463522553690658/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^10 + 5701258423304620161342259531860367412215742655086173879382518910420\ 748/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^9 - 648314686103239069739047886628720392771775063852\ 13638990164283682281398/8198251096088193844016460320769426195566830\ 1399153334133564330048747*c_1001_3^8 - 1086876762953336909655294540741754894714859616997248842559569466050\ 0742/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^7 + 19568149237441546558413015723648221386851132696\ 866099048693285683297785/819825109608819384401646032076942619556683\ 01399153334133564330048747*c_1001_3^6 - 2815395650024367576644218140874453445708262235986456946950389151513\ 172/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^5 - 271260771680566055326547794369234543778039084129\ 8736614563437081586768/81982510960881938440164603207694261955668301\ 399153334133564330048747*c_1001_3^4 + 2920948527516085406471703009191425478422012785302716385909546219130\ 37/8198251096088193844016460320769426195566830139915333413356433004\ 8747*c_1001_3^3 - 5432018263335322434821740229830122032124032984407\ 4634917317109000458/81982510960881938440164603207694261955668301399\ 153334133564330048747*c_1001_3^2 - 5897864729679796921288136383547354198955050135493869352408913861741\ 6/81982510960881938440164603207694261955668301399153334133564330048\ 747*c_1001_3 - 3917893655132381704037839092209965363823497500575934\ 666983299448649/819825109608819384401646032076942619556683013991533\ 34133564330048747, c_0011_3 + 461720700722272651179361561489843576344460446759445129638547\ 5066942/81982510960881938440164603207694261955668301399153334133564\ 330048747*c_1001_3^25 + 2194877069128951337517105650364591909512724\ 2458980797518398920561744/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^24 + 1606949479854383867936401732450249675196572669590086568473770164590\ 95/8198251096088193844016460320769426195566830139915333413356433004\ 8747*c_1001_3^23 + 338462456039585198041574158159172692497786613729\ 784597388535365487676/819825109608819384401646032076942619556683013\ 99153334133564330048747*c_1001_3^22 + 2050256741373266037501955269668484897137412517439935522100042314493\ 456/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^21 + 20394556382398722111343054707041955631461568151\ 88232245774041387744727/8198251096088193844016460320769426195566830\ 1399153334133564330048747*c_1001_3^20 + 1263146251138296320602018254802335136182369971886340687543559341518\ 1116/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^19 + 7370548073063972212012625854978347477419381110\ 191982197799180899695587/819825109608819384401646032076942619556683\ 01399153334133564330048747*c_1001_3^18 + 3412186888343774638136725409889735117542919755669125630779550613399\ 2213/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^17 + 2567464231598455071464140967737524391736105768\ 0589375988647654864178329/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^16 + 7335951985068213164234898424480076420319676838619585145844248628854\ 666/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^15 + 55381360664325705495801559500553037503392695255\ 4800737168825724840093/10377533033023030182299316861733450880464341\ 94925991571310940886693*c_1001_3^14 - 4940025832751995100017794482561582414991604407588948372114668576337\ 2968/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^13 - 1085004815612568882186137549367267817328668674\ 00071595076988026210786886/8198251096088193844016460320769426195566\ 8301399153334133564330048747*c_1001_3^12 + 1694543211950425169916869901239468981452874878301213895249673818667\ 17644/8198251096088193844016460320769426195566830139915333413356433\ 0048747*c_1001_3^11 - 120050867191511262286462078463857916372437578\ 891954532949531900167792511/819825109608819384401646032076942619556\ 68301399153334133564330048747*c_1001_3^10 - 1843592591086236944620135003017412225045730360505323115261607957983\ 3086/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^9 + 47694821260284952787285605720378267982937862713\ 2555808419269798742609273/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^8 + 1263865458594685498771868225525572705127999175245276691240191379768\ 0301/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^7 - 13561176464773445661429006842359669076077213759\ 8179154587226933166234516/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^6 + 3291355144233171341889827518285991149854721800549588108776799257472\ 5310/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^5 + 15443646907444981295860414051007485993516151986\ 244213322373354883665273/819825109608819384401646032076942619556683\ 01399153334133564330048747*c_1001_3^4 - 4154624188883046150751215321705138622728633658262410621439094324223\ 694/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^3 - 190593444305115570943148435208746079461942186028\ 3759226761901210383359/81982510960881938440164603207694261955668301\ 399153334133564330048747*c_1001_3^2 + 6625838373962766937107524371270225125233540723528884035907347625275\ 09/8198251096088193844016460320769426195566830139915333413356433004\ 8747*c_1001_3 + 455267722580478558429059538229496470450678380959473\ 3809189628392457/81982510960881938440164603207694261955668301399153\ 334133564330048747, c_0011_6 + 150086841643334659462503461211547417870691894400043710325121\ 02309744/8198251096088193844016460320769426195566830139915333413356\ 4330048747*c_1001_3^25 + 729346839439492352066327274701139206820880\ 19590272937808193749000307/8198251096088193844016460320769426195566\ 8301399153334133564330048747*c_1001_3^24 + 5301631678899051430582568361169529476313021793144120462457512501340\ 80/8198251096088193844016460320769426195566830139915333413356433004\ 8747*c_1001_3^23 + 115672824387293923864391973639491500121903185890\ 4318086633439900319405/81982510960881938440164603207694261955668301\ 399153334133564330048747*c_1001_3^22 + 6790107091102492966872128892116276500100696361536565672506683923231\ 070/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^21 + 73543897970557245573540131381759566604995880588\ 25588476647575265905785/8198251096088193844016460320769426195566830\ 1399153334133564330048747*c_1001_3^20 + 4187833308436348809758748059822637748851780657402369566225227686743\ 4973/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^19 + 2842751697559151623903772648809675429751795138\ 5409846020463724904284293/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^18 + 1141753892917966166222160578708517247242416074141036810492712973638\ 35883/8198251096088193844016460320769426195566830139915333413356433\ 0048747*c_1001_3^17 + 956675500129775952661558143491128302111863909\ 33484855177122060242004514/8198251096088193844016460320769426195566\ 8301399153334133564330048747*c_1001_3^16 + 3465944893137043585361144047331834720340950541259924110261955629261\ 4990/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^15 + 1852479958051636260269719167305039818657043079\ 428601444272604800115221/103775330330230301822993168617334508804643\ 4194925991571310940886693*c_1001_3^14 - 1449152221623941284827943626476359535377145233885921652864949770442\ 34988/8198251096088193844016460320769426195566830139915333413356433\ 0048747*c_1001_3^13 - 367141124593645765725254933616593767426341509\ 964449080394661483476239796/819825109608819384401646032076942619556\ 68301399153334133564330048747*c_1001_3^12 + 5109507951023638715522766381210204714095541230867737740374895829594\ 87699/8198251096088193844016460320769426195566830139915333413356433\ 0048747*c_1001_3^11 - 338152849804143593155482073932485150158973609\ 181389491250588670726267380/819825109608819384401646032076942619556\ 68301399153334133564330048747*c_1001_3^10 - 9231268553168843684744182553406286890918459845657054182693004165945\ 3889/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^9 + 15377847199824007689329129272407069697404025252\ 01857934577172255349973953/8198251096088193844016460320769426195566\ 8301399153334133564330048747*c_1001_3^8 + 2040363870219903400685219217337548567192361232654362826307073716504\ 24598/8198251096088193844016460320769426195566830139915333413356433\ 0048747*c_1001_3^7 - 4101523886387741960232317137879550998658425980\ 20626574109799978136032699/8198251096088193844016460320769426195566\ 8301399153334133564330048747*c_1001_3^6 + 6324194123789293080011119095173814827695322420025599630512917444083\ 8893/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^5 + 55028348378091683252454992248028961407306107868\ 073014669575149088003407/819825109608819384401646032076942619556683\ 01399153334133564330048747*c_1001_3^4 - 7023349609312243168701549206079601906659100080584944315434782494770\ 054/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^3 - 671857085149360606460790621485602872431653787837\ 7323028685268099425869/81982510960881938440164603207694261955668301\ 399153334133564330048747*c_1001_3^2 + 1246438521229379235125599353355313130121315423637045308352234519861\ 080/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3 + 12616383551323683441351631448449843686376111778118\ 4046714040905751019/81982510960881938440164603207694261955668301399\ 153334133564330048747, c_0101_0 + 132943602275049111495885273470674058203063202012366460613984\ 17134025/8198251096088193844016460320769426195566830139915333413356\ 4330048747*c_1001_3^25 + 642681094629322195237785139405943570739591\ 61356616932929845299606499/8198251096088193844016460320769426195566\ 8301399153334133564330048747*c_1001_3^24 + 4679312018849184782364752696884205128059290977240120516606759375748\ 46/8198251096088193844016460320769426195566830139915333413356433004\ 8747*c_1001_3^23 + 101251725501049304896177178559875424178891083175\ 7880065180543408696757/81982510960881938440164603207694261955668301\ 399153334133564330048747*c_1001_3^22 + 5987032490036860062596491686208100870057814382786773066556973404117\ 095/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^21 + 63585834150104024658685230108167548017115662310\ 06429165296131195565621/8198251096088193844016460320769426195566830\ 1399153334133564330048747*c_1001_3^20 + 3690932276450940295300046723597852797865824689415469005073300843933\ 0209/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^19 + 2421586885716497141675969320383128688014531210\ 7418494056302025241869050/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^18 + 1003661077575212681266942507336964392153122671350276662543231797860\ 18302/8198251096088193844016460320769426195566830139915333413356433\ 0048747*c_1001_3^17 + 820655309639177928790048190978540035233891926\ 98234396845776965993786204/8198251096088193844016460320769426195566\ 8301399153334133564330048747*c_1001_3^16 + 2817995989810811339242796597921360188622535113558103654699928984670\ 8658/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^15 + 1626273996359731204182657573268644152181481048\ 088271239393384868639674/103775330330230301822993168617334508804643\ 4194925991571310940886693*c_1001_3^14 - 1318827069941797830193720934968940762107011358613212855730817746652\ 38796/8198251096088193844016460320769426195566830139915333413356433\ 0048747*c_1001_3^13 - 322443675197615034138245564819667051101014852\ 837309871052086128187016624/819825109608819384401646032076942619556\ 68301399153334133564330048747*c_1001_3^12 + 4611001811442090185262428093269116292673895857260853226939252489461\ 75330/8198251096088193844016460320769426195566830139915333413356433\ 0048747*c_1001_3^11 - 309845833148942712578064230066299503956373676\ 767116438944507501190918998/819825109608819384401646032076942619556\ 68301399153334133564330048747*c_1001_3^10 - 7525624143004012122508845012372064184908020845689748166763571667211\ 7129/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^9 + 13649466172251847818789998641482100608315956010\ 37258822575512089960775862/8198251096088193844016460320769426195566\ 8301399153334133564330048747*c_1001_3^8 + 1464950467981754497299264837083074772755205039291689417415767549337\ 08799/8198251096088193844016460320769426195566830139915333413356433\ 0048747*c_1001_3^7 - 3719208996447425470549556543187630529550595049\ 47783544054623303525050191/8198251096088193844016460320769426195566\ 8301399153334133564330048747*c_1001_3^6 + 6322976817180132237530432106603467725852377184925564096551206809937\ 7940/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^5 + 47495520722466301188497495493940000036005084852\ 660508779059493831903413/819825109608819384401646032076942619556683\ 01399153334133564330048747*c_1001_3^4 - 7085138131355415255653262371508591019351546718149247319839962225704\ 525/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^3 - 586442031444854574891149218841961460063801219550\ 2913643000204926349566/81982510960881938440164603207694261955668301\ 399153334133564330048747*c_1001_3^2 + 1184830212687582083613692944869988468829230155824071890320680318975\ 295/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3 + 14344140582630417290406624721537291213153209017693\ 9971821595111805914/81982510960881938440164603207694261955668301399\ 153334133564330048747, c_0101_2 - 501314566176326166234598100414980196312075109406344034396192\ 6837717/81982510960881938440164603207694261955668301399153334133564\ 330048747*c_1001_3^25 - 2422299779762393588716583817700929059692676\ 4025411834277859893317902/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^24 - 1764123345801821009144816043275737229620116444197836996389399114469\ 18/8198251096088193844016460320769426195566830139915333413356433004\ 8747*c_1001_3^23 - 381462997576159533536177222683499765990668210243\ 543841309386632534745/819825109608819384401646032076942619556683013\ 99153334133564330048747*c_1001_3^22 - 2257295488013328106773052183242474931115287403669691803126287826119\ 489/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^21 - 23932299636474976153927342799762326658516645800\ 35215879339734776257306/8198251096088193844016460320769426195566830\ 1399153334133564330048747*c_1001_3^20 - 1391946795028846052985107733919735256893577076226076870724850678908\ 2833/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^19 - 9100005381961113796105439847481170418743706586\ 655100280059768027157317/819825109608819384401646032076942619556683\ 01399153334133564330048747*c_1001_3^18 - 3787098042951011812320909216899908348163399361955947492986529542310\ 2560/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^17 - 3084278177836076027085089673632545195448393972\ 0287622394831693123255605/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^16 - 1068479597266145271271324808668983712020975748387262348472077091329\ 0130/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^15 - 6126695687965918791505985192706759257774293986\ 23963786692937217606556/1037753303302303018229931686173345088046434\ 194925991571310940886693*c_1001_3^14 + 4983766790401864346714971311429364631716719673070706426052659588273\ 8853/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^13 + 1213150624791915031245272624166377427129832323\ 83885896754681560400236356/8198251096088193844016460320769426195566\ 8301399153334133564330048747*c_1001_3^12 - 1738142617839677053761617325475275284611961482001662988777375753185\ 98327/8198251096088193844016460320769426195566830139915333413356433\ 0048747*c_1001_3^11 + 117405753939335301185564864406819296602824963\ 894546543108377458148842250/819825109608819384401646032076942619556\ 68301399153334133564330048747*c_1001_3^10 + 2723192284743227557707675812308103255074677226472929834667632072157\ 3734/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^9 - 51353598632967185940619626207072619650685256467\ 8104872919204567206079834/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^8 - 5482351745559856247976724638299010078441658372849876746475367474189\ 8575/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^7 + 13896912990316330826887137548524175650936092577\ 4934983733733788817481390/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^6 - 2275136011245856500887719175293904001262345244140042502095636456895\ 0818/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^5 - 18212073413196438197882265597817228830959181542\ 483111675921471824594716/819825109608819384401646032076942619556683\ 01399153334133564330048747*c_1001_3^4 + 2577677413818720600972322354741940194541363102287642229028891709811\ 505/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^3 + 230782335791928516084077799547926885570547469816\ 5006858106480655317630/81982510960881938440164603207694261955668301\ 399153334133564330048747*c_1001_3^2 - 4272804042249457197502038960120409814906419001659836744872491067479\ 79/8198251096088193844016460320769426195566830139915333413356433004\ 8747*c_1001_3 + 106128055094305346487034328599258471223782116463038\ 36304869458296496/8198251096088193844016460320769426195566830139915\ 3334133564330048747, c_0101_4 + 673469032949874759742816441510052293637180794280952304768716\ 9211597/81982510960881938440164603207694261955668301399153334133564\ 330048747*c_1001_3^25 + 3247748031916128388230309488529855493582643\ 8622793540441846636995222/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^24 + 2366911546086404788943130595889803226993307057246781455969485947878\ 19/8198251096088193844016460320769426195566830139915333413356433004\ 8747*c_1001_3^23 + 510261980612843713145286605018184018196505880611\ 419663255028455661734/819825109608819384401646032076942619556683013\ 99153334133564330048747*c_1001_3^22 + 3027904126177373838982998742636940165664926579757254220493220483418\ 006/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^21 + 31874126134503705632009178339579966831262278360\ 74247969264104560297039/8198251096088193844016460320769426195566830\ 1399153334133564330048747*c_1001_3^20 + 1867284102838971982849657310855284646366887722068728503873548273117\ 1135/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^19 + 1205838944424088266565575552598950696535892323\ 1372272146009137510127633/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^18 + 5078126479685579255721711045100029197415758236156922747788583742730\ 3964/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^17 + 4101178919922479046244930493226540637536333214\ 0767572169445088129551119/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^16 + 1401028452194718039302705784190332556144905320905433710354305119874\ 3430/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^15 + 8235131004315825904362928310530994782365276420\ 78611994492488499440100/1037753303302303018229931686173345088046434\ 194925991571310940886693*c_1001_3^14 - 6752457781218741172244773184337001881385941201334781365457198617565\ 1649/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^13 - 1622762271669640275547854839539800490676532514\ 03957745912905186498846032/8198251096088193844016460320769426195566\ 8301399153334133564330048747*c_1001_3^12 + 2351728663172583737511473630509122908318878867201918125973966067155\ 80903/8198251096088193844016460320769426195566830139915333413356433\ 0048747*c_1001_3^11 - 160372145908884777170816449930769424660699038\ 384366293891643602351349764/819825109608819384401646032076942619556\ 68301399153334133564330048747*c_1001_3^10 - 3514069656717995879965402228952702301417071314434562453840786309982\ 5761/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^9 + 69099625345776272022143411909562750076883630487\ 9436759384431764396830096/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^8 + 6611463067220977961977784756214006950357992060785811538584807578133\ 6198/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^7 - 18639370213863751362935132464173261982909388279\ 0358787869053914131987678/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^6 + 3421786096755056347550077104807477037921343314804587553809765851083\ 0056/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^5 + 22955629393013096400859202284013606442843182432\ 139063557883692551259430/819825109608819384401646032076942619556683\ 01399153334133564330048747*c_1001_3^4 - 3834282615344842640763895646110500225078125377869172277186129927314\ 403/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^3 - 266355682592031766966173725105175531647473369272\ 4027433494751140284338/81982510960881938440164603207694261955668301\ 399153334133564330048747*c_1001_3^2 + 6263715042984642531003670774823759492636690339709885162963608604891\ 13/8198251096088193844016460320769426195566830139915333413356433004\ 8747*c_1001_3 + 879994823862480310792180937660607574650903269034001\ 9859289663408233/81982510960881938440164603207694261955668301399153\ 334133564330048747, c_0101_5 - 663679618741439804254297182384046394251766240097056115986838\ 6679282/81982510960881938440164603207694261955668301399153334133564\ 330048747*c_1001_3^25 - 3173634563569278614499070498411367388525759\ 3057411813402512545545454/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^24 - 2319195172668059887633657073073466585672915899899702260738063272712\ 85/8198251096088193844016460320769426195566830139915333413356433004\ 8747*c_1001_3^23 - 493226684977579316235193044411577807453935346904\ 342198557555160819094/819825109608819384401646032076942619556683013\ 99153334133564330048747*c_1001_3^22 - 2962323796683982271152483797840074118513001764846295908999897950708\ 398/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^21 - 30175752274388943751209000174873612617826640804\ 45330789932734324409007/8198251096088193844016460320769426195566830\ 1399153334133564330048747*c_1001_3^20 - 1825901001061603529351175350529195381209292761526026764223605293434\ 2639/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^19 - 1112145668959515192212041435581621849934598461\ 5030740482558430323321626/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^18 - 4946901418262866741132598647668186673717065556576701851153420561101\ 5572/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^17 - 3832948778004699036514408302341586810065886462\ 9346127972622498696752165/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^16 - 1192021146138482024678343864855379542932608979474997599969180519350\ 2526/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^15 - 8020769100007650543059873274481402168118058030\ 12550438941192529223057/1037753303302303018229931686173345088046434\ 194925991571310940886693*c_1001_3^14 + 6919615810226250698061151284984889556901971312836234733733439124979\ 9418/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^13 + 1574938186901163528624976314821281215235822223\ 95111695159730076060172085/8198251096088193844016460320769426195566\ 8301399153334133564330048747*c_1001_3^12 - 2385975281822509277723704697318970144470265975091478904521974173638\ 63995/8198251096088193844016460320769426195566830139915333413356433\ 0048747*c_1001_3^11 + 166598007436740021171650846938716085003545002\ 479859570687117456584426735/819825109608819384401646032076942619556\ 68301399153334133564330048747*c_1001_3^10 + 2935509658203082438352775517244121355677779120675071505085826604072\ 1004/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^9 - 68304227468165077947621501004331297560973136349\ 9724768220447529497038242/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^8 - 3769184977851558894714510313744380487252164124393540855102021071495\ 5762/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^7 + 18959182818861416596962670416387298109818844622\ 4720142371816546511073457/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^6 - 4059766345776481324695602178961934798512182658173162898696076840885\ 7237/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^5 - 22454394898804485090443989906444564634522493986\ 529775311370583257476496/819825109608819384401646032076942619556683\ 01399153334133564330048747*c_1001_3^4 + 4304592531376426606074948544829736666172171070070541652824763250898\ 953/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^3 + 276076038871642331200284496013964201677179653763\ 5198282780281266238731/81982510960881938440164603207694261955668301\ 399153334133564330048747*c_1001_3^2 - 7257265892623302206542332611927716073243728036764606873322600729701\ 39/8198251096088193844016460320769426195566830139915333413356433004\ 8747*c_1001_3 - 173671021235232734207109946909824761090056341446779\ 19338172971912868/8198251096088193844016460320769426195566830139915\ 3334133564330048747, c_0101_7 + 134898084851070192751887431196307011812200469231666613254922\ 35952427/8198251096088193844016460320769426195566830139915333413356\ 4330048747*c_1001_3^25 + 653725413948183247614083374505083343709095\ 98835968281285216998543134/8198251096088193844016460320769426195566\ 8301399153334133564330048747*c_1001_3^24 + 4755345489289939315457302995711533033478547457538878857886302332055\ 33/8198251096088193844016460320769426195566830139915333413356433004\ 8747*c_1001_3^23 + 103277943809714738275302089662673163037560662173\ 7869394286070693243955/81982510960881938440164603207694261955668301\ 399153334133564330048747*c_1001_3^22 + 6085494446991245792784563594406168003103155378931983586839204385138\ 243/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^21 + 65199905288432073055141578815374928011522466429\ 86538884352144252324583/8198251096088193844016460320769426195566830\ 1399153334133564330048747*c_1001_3^20 + 3750650956943927550885600336073753155612728960755198712732108336359\ 8821/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^19 + 2498819752200569579890969897337794718533774770\ 7213299620526774379871065/81982510960881938440164603207694261955668\ 301399153334133564330048747*c_1001_3^18 + 1020010501532542249580717271953967775367262916859723518758797946231\ 74382/8198251096088193844016460320769426195566830139915333413356433\ 0048747*c_1001_3^17 + 843651709927160566263804410957088202567968534\ 20139270925430635328855596/8198251096088193844016460320769426195566\ 8301399153334133564330048747*c_1001_3^16 + 2923677485517887812709169641048376541495342295486596961497877359618\ 0124/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^15 + 1649939354532291155664381408188695226350150184\ 778404411876713032258224/103775330330230301822993168617334508804643\ 4194925991571310940886693*c_1001_3^14 - 1323502556099703444240133895082407614698563910556848415450763621709\ 68551/8198251096088193844016460320769426195566830139915333413356433\ 0048747*c_1001_3^13 - 329183070816318294358737373106676854322761812\ 287381342163104167408299090/819825109608819384401646032076942619556\ 68301399153334133564330048747*c_1001_3^12 + 4643943714086709705497047145866229482144341631712238823589639997136\ 88918/8198251096088193844016460320769426195566830139915333413356433\ 0048747*c_1001_3^11 - 307486886658834482795577451133767837434856819\ 499573191429498769047990278/819825109608819384401646032076942619556\ 68301399153334133564330048747*c_1001_3^10 - 8161469583375573944239408864309061098172972537158940061235772242927\ 7867/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^9 + 13845289712194507164095995846374019414128485659\ 16709485590194044975845316/8198251096088193844016460320769426195566\ 8301399153334133564330048747*c_1001_3^8 + 1660286118739479721703498042832042856890491709701779357687569767346\ 69864/8198251096088193844016460320769426195566830139915333413356433\ 0048747*c_1001_3^7 - 3808311626033693714077609566834713267435481883\ 74076798298757715873983222/8198251096088193844016460320769426195566\ 8301399153334133564330048747*c_1001_3^6 + 5806471831903155770261939360110958155922958795771435412944290559952\ 2927/81982510960881938440164603207694261955668301399153334133564330\ 048747*c_1001_3^5 + 51469090551084471866668937872098928790274113115\ 699683864600330380148006/819825109608819384401646032076942619556683\ 01399153334133564330048747*c_1001_3^4 - 6537332096624146155186249706085105852676356836593659618393694006649\ 657/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3^3 - 644852802627102702010167491762276948211516414368\ 5666243733090734544057/81982510960881938440164603207694261955668301\ 399153334133564330048747*c_1001_3^2 + 1122271001722234331652272568041137484868480793739397143815448789037\ 857/819825109608819384401646032076942619556683013991533341335643300\ 48747*c_1001_3 + 12808697704788441427743933868475610998283752594038\ 0215260041153163970/81982510960881938440164603207694261955668301399\ 153334133564330048747, c_1001_3^26 + 5*c_1001_3^25 + 36*c_1001_3^24 + 82*c_1001_3^23 + 463*c_1001_3^22 + 553*c_1001_3^21 + 2856*c_1001_3^20 + 2282*c_1001_3^19 + 7854*c_1001_3^18 + 7425*c_1001_3^17 + 3150*c_1001_3^16 + 10018*c_1001_3^15 - 8317*c_1001_3^14 - 25890*c_1001_3^13 + 30650*c_1001_3^12 - 17574*c_1001_3^11 - 9486*c_1001_3^10 + 101692*c_1001_3^9 + 28054*c_1001_3^8 - 26064*c_1001_3^7 + 94*c_1001_3^6 + 4355*c_1001_3^5 + 60*c_1001_3^4 - 526*c_1001_3^3 + 16*c_1001_3^2 + 21*c_1001_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.310 seconds, Total memory usage: 32.09MB