Magma V2.19-8 Tue Aug 20 2013 16:17:46 on localhost [Seed = 2749513536] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2009 geometric_solution 5.56190333 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 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 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.512725717627 0.226162722521 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 1 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.854583458968 0.494015316071 1 4 5 3 0132 0132 0132 2310 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 0 0 0 0 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.343246179400 1.097574881010 2 5 4 1 3201 1023 1023 0132 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 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 0.343246179400 1.097574881010 6 2 3 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.758907971040 0.624351625914 3 5 5 2 1023 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.259545670198 0.829931475369 4 6 6 4 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.669039795114 0.483147534967 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_3'], '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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0011_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 527689772388454086324449738203402134332937901619572019398/550862449\ 5398240037380782209089508091514503804700001489*c_0101_6^30 - 2116628601386293203382215682628566466994436576807083241949/55086244\ 95398240037380782209089508091514503804700001489*c_0101_6^29 - 15797588177990900649352785978659996000449717529039370319958/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^28 + 88283843521930579821442233470597941051332222073965197088337/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^27 + 24703548157480924331194505881422275943557939979027856785232/1836208\ 165132746679126927403029836030504834601566667163*c_0101_6^26 - 380963999666601515746893231772843512800342824063665297447370/183620\ 8165132746679126927403029836030504834601566667163*c_0101_6^25 + 414789237322985349694488898819379207690111245297920726549981/183620\ 8165132746679126927403029836030504834601566667163*c_0101_6^24 + 5428641293682456312331997738325437135449067575807027201475677/55086\ 24495398240037380782209089508091514503804700001489*c_0101_6^23 - 4118776858139083848068716247041586050210627956122407735160127/18362\ 08165132746679126927403029836030504834601566667163*c_0101_6^22 - 10119842772282419088258749178325322861324009531618411361167513/5508\ 624495398240037380782209089508091514503804700001489*c_0101_6^21 + 50012788498047225655446198600914776136714188247552710776602689/5508\ 624495398240037380782209089508091514503804700001489*c_0101_6^20 - 6759136616304804857232458527521090064521678284644914015883294/55086\ 24495398240037380782209089508091514503804700001489*c_0101_6^19 - 38152494579933744426475593244218603879312890294278209998728138/1836\ 208165132746679126927403029836030504834601566667163*c_0101_6^18 + 25233222023491919707828165669075136330178454260531742555768378/1836\ 208165132746679126927403029836030504834601566667163*c_0101_6^17 + 151798064008822234041523644316363860191426304003623173978161100/550\ 8624495398240037380782209089508091514503804700001489*c_0101_6^16 - 165694473461210190262035533372287710896430082808838717477285095/550\ 8624495398240037380782209089508091514503804700001489*c_0101_6^15 - 36737732235146288448965449196678928425688596945425962914717937/1836\ 208165132746679126927403029836030504834601566667163*c_0101_6^14 + 181776154588115451678258895421660364332808795479514425468417407/550\ 8624495398240037380782209089508091514503804700001489*c_0101_6^13 + 14926514141429398333854049914037127038472212479483683419802959/1836\ 208165132746679126927403029836030504834601566667163*c_0101_6^12 - 123688403473607613791895011368879602721249976040346488073873252/550\ 8624495398240037380782209089508091514503804700001489*c_0101_6^11 - 8458595039081529867522409356166036564680486849514141690860991/55086\ 24495398240037380782209089508091514503804700001489*c_0101_6^10 + 56092494956746815732531429674560318953288535197177957707507623/5508\ 624495398240037380782209089508091514503804700001489*c_0101_6^9 - 95947787259292534666145737500613566829228989924648341448606/1836208\ 165132746679126927403029836030504834601566667163*c_0101_6^8 - 17176391100952738201280535268450665665873387663512294468766897/5508\ 624495398240037380782209089508091514503804700001489*c_0101_6^7 + 104605717403623428013217420768775706651946956496756340552908/183620\ 8165132746679126927403029836030504834601566667163*c_0101_6^6 + 3432988750718984036901200789938182141351264463240580385560423/55086\ 24495398240037380782209089508091514503804700001489*c_0101_6^5 + 39271529746735951449996799890181457726390452136625460470829/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^4 - 398956352343396339988689560328075837743172346666779392943898/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^3 - 33817572730604592596608966304456929580170048998225064802267/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^2 + 6740140349093968273362647754148866283444879122241874062344/18362081\ 65132746679126927403029836030504834601566667163*c_0101_6 + 3872252008860291596366737098032840803916279055895948832279/55086244\ 95398240037380782209089508091514503804700001489, c_0011_0 - 1, c_0011_1 + 4175371765381474695049637027555633652747896487384271247/5508\ 624495398240037380782209089508091514503804700001489*c_0101_6^30 - 15795494597344266771716814326528028792675275827993273900/5508624495\ 398240037380782209089508091514503804700001489*c_0101_6^29 - 126884399398948825362394131888506830632524199061347566347/550862449\ 5398240037380782209089508091514503804700001489*c_0101_6^28 + 663283061870450661157856496266820376961481237997275440459/550862449\ 5398240037380782209089508091514503804700001489*c_0101_6^27 + 228302533444104732959480160088521179724035133084229663678/183620816\ 5132746679126927403029836030504834601566667163*c_0101_6^26 - 2873218812161491159883878257652565115629746752869133127814/18362081\ 65132746679126927403029836030504834601566667163*c_0101_6^25 + 2729147904099607195282160057935381149587927282333686599882/18362081\ 65132746679126927403029836030504834601566667163*c_0101_6^24 + 41315939379955323332523344311879608089547940252376869244282/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^23 - 28443183469464195431384141780640738839027827667767193911906/1836208\ 165132746679126927403029836030504834601566667163*c_0101_6^22 - 82344352766388926089074176994628443576365720480503566484990/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^21 + 343744362032676454134176587192840298481885323351183024024846/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^20 - 11858147657127006137774108895735892816429290084642014582804/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^19 - 257337798634136541696122518611218628942388843201720468519725/183620\ 8165132746679126927403029836030504834601566667163*c_0101_6^18 + 143783127758850688443930676208564011616641199707828786354706/183620\ 8165132746679126927403029836030504834601566667163*c_0101_6^17 + 987676377102209431390811205940943818376240717424886628542994/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^16 - 942333595115600689366987768123312432535884485806674799943622/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^15 - 225361471764309071100082986581125402873700641445692506076651/183620\ 8165132746679126927403029836030504834601566667163*c_0101_6^14 + 948714827465271169022280432898510317520015650440441925352403/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^13 + 89641791475197906888920355970236614262360666329025329293529/1836208\ 165132746679126927403029836030504834601566667163*c_0101_6^12 - 576571958695798304974340937403622116679802242191853485246535/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^11 - 56491338582989275825100987048577058353489998794758976733699/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^10 + 225372502967576779804151428296515789835862277421831268798466/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^9 + 938395589280414684471136941601853754257427155370713155932/183620816\ 5132746679126927403029836030504834601566667163*c_0101_6^8 - 56588223875152938120846838443778252288115445941919908683315/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^7 + 368263997161385758819784174295152816834040487043870062887/183620816\ 5132746679126927403029836030504834601566667163*c_0101_6^6 + 8545878097342522816473391414126048575542811715968074888896/55086244\ 95398240037380782209089508091514503804700001489*c_0101_6^5 - 73617567041208978995989877350784316624600025433766483505/5508624495\ 398240037380782209089508091514503804700001489*c_0101_6^4 - 643189593038411488438863633300414641948955554070096922610/550862449\ 5398240037380782209089508091514503804700001489*c_0101_6^3 - 56767770852821611822891760029520723263288684124435990725/5508624495\ 398240037380782209089508091514503804700001489*c_0101_6^2 + 9550911358221761615532084597570784433338380914190028396/18362081651\ 32746679126927403029836030504834601566667163*c_0101_6 + 6708974700682394165990843354037341270010841360038924406/55086244953\ 98240037380782209089508091514503804700001489, c_0011_3 - 105436639069047244972702671501281567685243124159645616/55086\ 24495398240037380782209089508091514503804700001489*c_0101_6^30 - 1727807389887179843691618553888220327112487708994629789/55086244953\ 98240037380782209089508091514503804700001489*c_0101_6^29 + 11118486746871815724877181364758971245980617467172094401/5508624495\ 398240037380782209089508091514503804700001489*c_0101_6^28 + 48409559513614284572012596636749243977379399569407181384/5508624495\ 398240037380782209089508091514503804700001489*c_0101_6^27 - 117109087358157930454842777441435657479272151164373969053/183620816\ 5132746679126927403029836030504834601566667163*c_0101_6^26 - 50996500585730051271377867920225199819834411162872389381/1836208165\ 132746679126927403029836030504834601566667163*c_0101_6^25 + 1389678719061752060320634080929315392337807469346579345121/18362081\ 65132746679126927403029836030504834601566667163*c_0101_6^24 - 4941693427215511044459155602354544760968192745676341563546/55086244\ 95398240037380782209089508091514503804700001489*c_0101_6^23 - 19230037980153759359420597430115764389559954472334502569924/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^22 + 14792362966584746892527139154986160961768147944916787065265/1836208\ 165132746679126927403029836030504834601566667163*c_0101_6^21 + 12092627265283413661133701357050751526597468248629882919430/1836208\ 165132746679126927403029836030504834601566667163*c_0101_6^20 - 173255512170996101918647151606239665732076222422921520096577/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^19 + 4810570691414066236992347486956443960557334414669469697302/18362081\ 65132746679126927403029836030504834601566667163*c_0101_6^18 + 128822095509645363181321578524024369937105731860226198473276/183620\ 8165132746679126927403029836030504834601566667163*c_0101_6^17 - 222233904200428893759669316484851342692747025720687759334036/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^16 - 500314241524340596315273985889458639309443215457226550374806/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^15 + 157832292399419766288114299754383150530362559306368298509119/183620\ 8165132746679126927403029836030504834601566667163*c_0101_6^14 + 357895880148634457120166657499514360678530850719261814052097/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^13 - 480950484235846813961774140531963978550899408588354503044954/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^12 - 155587948261327047332353242396891345606685141432720522191608/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^11 + 296066745981819292654666567084364605474170494627046004563065/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^10 + 13890186700698386171874320200538863423345345298451178362438/1836208\ 165132746679126927403029836030504834601566667163*c_0101_6^9 - 116998548090291333368772653688144308532281304676239262301272/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^8 - 7221773188571478219760666632753689773457161223548833642739/55086244\ 95398240037380782209089508091514503804700001489*c_0101_6^7 + 9808435803326684611416387957164059309412081865810246206828/18362081\ 65132746679126927403029836030504834601566667163*c_0101_6^6 + 1154316655686899025608369169281259105742482652687782500249/55086244\ 95398240037380782209089508091514503804700001489*c_0101_6^5 - 1431398258006122421639634900314283533855773863593813823632/18362081\ 65132746679126927403029836030504834601566667163*c_0101_6^4 - 261424377160525748487361830431135588732288692761377519960/550862449\ 5398240037380782209089508091514503804700001489*c_0101_6^3 + 268405233836199026237757388314628479602555915375508316504/550862449\ 5398240037380782209089508091514503804700001489*c_0101_6^2 + 45526539909170278422626548071673985526332350276194301993/5508624495\ 398240037380782209089508091514503804700001489*c_0101_6 - 2036177431072335231296555522927243762117421438663465293/55086244953\ 98240037380782209089508091514503804700001489, c_0101_0 - 5203917988120361327836005304921087217623211690263226054/5508\ 624495398240037380782209089508091514503804700001489*c_0101_6^30 + 21765722544838702109555403256245750667861970252624224285/5508624495\ 398240037380782209089508091514503804700001489*c_0101_6^29 + 151600630131477198504565318619407517881510729892315925118/550862449\ 5398240037380782209089508091514503804700001489*c_0101_6^28 - 894932112587757302210618262731989636089292423144431686708/550862449\ 5398240037380782209089508091514503804700001489*c_0101_6^27 - 187812035967987467235333346443274886329060740766288337075/183620816\ 5132746679126927403029836030504834601566667163*c_0101_6^26 + 3765477829548252798960393306827292578551182039919453982453/18362081\ 65132746679126927403029836030504834601566667163*c_0101_6^25 - 4762235991138710269104584136872948664698199721403392019301/18362081\ 65132746679126927403029836030504834601566667163*c_0101_6^24 - 50164818988425528361687604962314499449006059090867846495621/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^23 + 43205245568645730654558230015387967351678764962719478454215/1836208\ 165132746679126927403029836030504834601566667163*c_0101_6^22 + 73195170411911461278821288059383514317018114205009956477052/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^21 - 496898183945061493702367974919955021670436495502328721015408/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^20 + 160418733862632101706794506730303557893033627355876870706735/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^19 + 355328829906174976909409395753801337482006104963255883926470/183620\ 8165132746679126927403029836030504834601566667163*c_0101_6^18 - 309163963509608936016099627076082622067463540880955303361883/183620\ 8165132746679126927403029836030504834601566667163*c_0101_6^17 - 1261043199143629526760883018215549893220186408803991807172865/55086\ 24495398240037380782209089508091514503804700001489*c_0101_6^16 + 1804243479089162235440580696265690673140805449738676198290876/55086\ 24495398240037380782209089508091514503804700001489*c_0101_6^15 + 228532176013279951683658674175351748711198673725706575404963/183620\ 8165132746679126927403029836030504834601566667163*c_0101_6^14 - 1813024411490572984531477083851209293358081255364884266820871/55086\ 24495398240037380782209089508091514503804700001489*c_0101_6^13 - 26582343562079740105413770530845259551052686224589538691451/1836208\ 165132746679126927403029836030504834601566667163*c_0101_6^12 + 1140862707188278650330483631575455660097910717559390841927662/55086\ 24495398240037380782209089508091514503804700001489*c_0101_6^11 - 119997111722557149989130820530731412574478449235343026951881/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^10 - 481023507135111554654374895260083854509323066640401310879499/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^9 + 26000943997474784793058552964128266150648526025727278454577/1836208\ 165132746679126927403029836030504834601566667163*c_0101_6^8 + 138124331012711005957162960464471000745702553041591736466286/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^7 - 7150979907925384274510266079172537781108606068576523929582/18362081\ 65132746679126927403029836030504834601566667163*c_0101_6^6 - 26289691794927950174084862191212899866083784037332479098001/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^5 + 2505695043016750728524401763270653909983333973052662041370/55086244\ 95398240037380782209089508091514503804700001489*c_0101_6^4 + 3002839286934915943989701330452543610933955093242968839869/55086244\ 95398240037380782209089508091514503804700001489*c_0101_6^3 + 60523784894745665827637438412597536615856945135843811255/5508624495\ 398240037380782209089508091514503804700001489*c_0101_6^2 - 55982077315715026865806247138139014480717368241641744980/1836208165\ 132746679126927403029836030504834601566667163*c_0101_6 - 23478102737096705576825421743230133031582268305248260432/5508624495\ 398240037380782209089508091514503804700001489, c_0101_1 + 619411773129919039371886124151094922534105571390246061/18362\ 08165132746679126927403029836030504834601566667163*c_0101_6^30 - 5575464780302423260758923654739176372725524486903436145/55086244953\ 98240037380782209089508091514503804700001489*c_0101_6^29 - 20707281231257439928008712970813742841100762355737167416/1836208165\ 132746679126927403029836030504834601566667163*c_0101_6^28 + 251375794486575668894807977454357460914154032542923321949/550862449\ 5398240037380782209089508091514503804700001489*c_0101_6^27 + 180326293090753218549635680352446177326552615008244430701/183620816\ 5132746679126927403029836030504834601566667163*c_0101_6^26 - 1205039307325228821110827410212591291758281729187601153298/18362081\ 65132746679126927403029836030504834601566667163*c_0101_6^25 + 197211006806998826415372137046860698300144166754497277649/183620816\ 5132746679126927403029836030504834601566667163*c_0101_6^24 + 7164735791076306223116193307444010188458903436347352446795/18362081\ 65132746679126927403029836030504834601566667163*c_0101_6^23 - 23522197045205611037822519848155900149426708770490297485454/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^22 - 67902657532878867760956590872308196694383581561206971321456/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^21 + 125295711163026784643908267340332497267045504151988006733296/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^20 + 119579198269251199605824658090889458393780735528350578566404/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^19 - 117880448122512802551168494860533956394828012825490137293462/183620\ 8165132746679126927403029836030504834601566667163*c_0101_6^18 - 29238132841853204991027410052110603990457591013659277673002/1836208\ 165132746679126927403029836030504834601566667163*c_0101_6^17 + 202058531985158495688591659112357382092523873255982403457969/183620\ 8165132746679126927403029836030504834601566667163*c_0101_6^16 - 60390014291112272897340636087454766761113615435927979021511/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^15 - 218335045714971972087546839638446481344220072474174754893101/183620\ 8165132746679126927403029836030504834601566667163*c_0101_6^14 + 56935339423588476568591851607757179284848429277354309373353/1836208\ 165132746679126927403029836030504834601566667163*c_0101_6^13 + 474979668402476578110323314450202721901075562623562579781511/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^12 - 145983164943440638330043362399585416269621966352489177219862/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^11 - 80862769769907157787224572204056738926227875999499177983692/1836208\ 165132746679126927403029836030504834601566667163*c_0101_6^10 + 65626719567648613528627040731712899036061046628455513915758/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^9 + 87663153523283180576231239636849223521680303391901007563777/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^8 - 15260616891041673570734399036486638727590540991830992873770/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^7 - 7163143809420978636871752862343543506886100090394964670427/18362081\ 65132746679126927403029836030504834601566667163*c_0101_6^6 + 293789407720083702830987733458241073802440883815728936449/183620816\ 5132746679126927403029836030504834601566667163*c_0101_6^5 + 3154342875661400823713345038361267890599679011880019142293/55086244\ 95398240037380782209089508091514503804700001489*c_0101_6^4 + 376347592045373979497784697321928457765343981353025075424/550862449\ 5398240037380782209089508091514503804700001489*c_0101_6^3 - 60042486111440847391963984634129501182926946493565912490/1836208165\ 132746679126927403029836030504834601566667163*c_0101_6^2 - 66401152381369466479363434828114487094862615114560009879/5508624495\ 398240037380782209089508091514503804700001489*c_0101_6 - 4436974920131723491930675380885014140784484722116504570/55086244953\ 98240037380782209089508091514503804700001489, c_0101_4 - 1614656498669282414061850468651905687834992544783268637/5508\ 624495398240037380782209089508091514503804700001489*c_0101_6^30 + 2156282041709619244133836584486280898223270055460061898/18362081651\ 32746679126927403029836030504834601566667163*c_0101_6^29 + 47611631079485936404865924237120101202500887431806463413/5508624495\ 398240037380782209089508091514503804700001489*c_0101_6^28 - 89088968015912215485758034722677969097088962274799474391/1836208165\ 132746679126927403029836030504834601566667163*c_0101_6^27 - 68096120896047480732955179920121621305032573408477195942/1836208165\ 132746679126927403029836030504834601566667163*c_0101_6^26 + 1127671197163385296769773660909143353029891118112664972874/18362081\ 65132746679126927403029836030504834601566667163*c_0101_6^25 - 1315920226895810688185754882359587956478918425507873878132/18362081\ 65132746679126927403029836030504834601566667163*c_0101_6^24 - 15120544918444842664377295852295103938343898152058646824925/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^23 + 36691954551867378880143035144107156134857460094236677988641/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^22 + 23440159851222487235897802441273245649535477429337853339854/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^21 - 139841102592665434472321993342037460054230642680189169391444/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^20 + 12787381396286852571377709267141388690395344135653082892008/1836208\ 165132746679126927403029836030504834601566667163*c_0101_6^19 + 98192885732427940914920015751809632543163844810069162653921/1836208\ 165132746679126927403029836030504834601566667163*c_0101_6^18 - 81286794822103406688676158944297688910524110548742735056306/1836208\ 165132746679126927403029836030504834601566667163*c_0101_6^17 - 333733159307937474997107717617259240236257742920522864729433/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^16 + 155700760131473125197365062240310426014014542020556151223274/183620\ 8165132746679126927403029836030504834601566667163*c_0101_6^15 + 52468431995202951803592715753216921003333760366727244829513/1836208\ 165132746679126927403029836030504834601566667163*c_0101_6^14 - 444605521311994344050041976295723960181486548979124600248715/550862\ 4495398240037380782209089508091514503804700001489*c_0101_6^13 + 6965917252632796326567124495993763415677234551496486860496/55086244\ 95398240037380782209089508091514503804700001489*c_0101_6^12 + 86944909147279521697913442283621349703321654209841462787869/1836208\ 165132746679126927403029836030504834601566667163*c_0101_6^11 - 51823963521185637906493350007011947239538366262480909966970/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^10 - 99895608748976992623859212741593724266612422041559563234217/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^9 + 30757347889657684707292957905415271961255396692866393140811/5508624\ 495398240037380782209089508091514503804700001489*c_0101_6^8 + 8476789022991605527520402068100326052941565211361839512487/18362081\ 65132746679126927403029836030504834601566667163*c_0101_6^7 - 3058403526057649621889650115702167074501546742585227054069/18362081\ 65132746679126927403029836030504834601566667163*c_0101_6^6 - 4292123867531867433059397287950590740657710540535829056422/55086244\ 95398240037380782209089508091514503804700001489*c_0101_6^5 + 1373331833636103208267290527014732138349165895141739721792/55086244\ 95398240037380782209089508091514503804700001489*c_0101_6^4 + 160736447329635919064264458996347915523395522834675335854/183620816\ 5132746679126927403029836030504834601566667163*c_0101_6^3 - 36413799145725206915758472237382969316470164671627264079/5508624495\ 398240037380782209089508091514503804700001489*c_0101_6^2 - 41159663582167600100754419414195493802453104309754600690/5508624495\ 398240037380782209089508091514503804700001489*c_0101_6 - 2354312506827901560717336612343087743435488862121635813/18362081651\ 32746679126927403029836030504834601566667163, c_0101_6^31 - 4*c_0101_6^30 - 30*c_0101_6^29 + 167*c_0101_6^28 + 143*c_0101_6^27 - 2166*c_0101_6^26 + 2325*c_0101_6^25 + 10345*c_0101_6^24 - 23258*c_0101_6^23 - 19693*c_0101_6^22 + 94555*c_0101_6^21 - 10612*c_0101_6^20 - 217781*c_0101_6^19 + 137928*c_0101_6^18 + 292714*c_0101_6^17 - 305545*c_0101_6^16 - 220573*c_0101_6^15 + 337066*c_0101_6^14 + 100213*c_0101_6^13 - 231162*c_0101_6^12 - 28404*c_0101_6^11 + 105894*c_0101_6^10 + 6042*c_0101_6^9 - 32772*c_0101_6^8 - 1753*c_0101_6^7 + 6584*c_0101_6^6 + 621*c_0101_6^5 - 751*c_0101_6^4 - 139*c_0101_6^3 + 31*c_0101_6^2 + 12*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB