Magma V2.19-8 Tue Aug 20 2013 23:47:09 on localhost [Seed = 2530278573] Type ? for help. Type -D to quit. Loading file "K14n8789__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n8789 geometric_solution 11.04544308 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 1 0 0 0 0 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 -5 6 -1 0 0 1 -1 -6 0 0 6 5 1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.073417050956 0.794530737157 0 3 6 5 0132 3120 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 0 6 0 0 0 0 -5 0 0 5 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638449218435 0.689515375732 7 0 8 7 0132 0132 0132 2031 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 5 0 -5 0 0 5 -5 0 -1 0 1 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292337658928 0.995485261351 4 1 9 0 1023 3120 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 -6 1 0 0 -1 -6 0 0 6 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.499031899041 0.557889713636 10 3 0 5 0132 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 1 -1 -6 6 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.675036304355 1.088945528598 4 7 1 10 3012 1230 0132 3012 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 6 0 0 0 0 1 -1 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.270297808794 0.552532103253 10 8 11 1 3120 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.166388598979 0.788857679564 2 2 5 11 0132 1302 3012 0321 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 5 -5 0 0 0 0 0 -5 5 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.728424861260 0.924783515598 9 9 6 2 1230 1023 3012 0132 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 5 0 0 -5 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607104948307 0.903812906251 8 8 11 3 1023 3012 2103 0132 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 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.075058960257 0.729914454682 4 11 5 6 0132 1230 1230 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.486527587869 0.302745754263 9 7 10 6 2103 0321 3012 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 1.235967650027 1.651679351212 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_0101_3'], 'c_1001_7' : negation(d['c_0011_5']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0101_8'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0101_8']), 'c_1001_2' : d['c_0101_3'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : negation(d['c_0011_6']), 'c_1010_11' : d['c_1001_6'], 'c_1010_10' : negation(d['c_0011_6']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_6']), 'c_0101_10' : d['c_0011_5'], '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_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_10']), 'c_1100_4' : negation(d['c_0101_6']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_1001_10']), 'c_1100_1' : negation(d['c_1001_10']), 'c_1100_0' : negation(d['c_0101_6']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_1001_6']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_6']), 'c_1100_11' : negation(d['c_1001_10']), 'c_1100_10' : negation(d['c_0101_6']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_6'], 'c_1010_6' : d['c_0101_8'], 'c_1010_5' : negation(d['c_0011_5']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_0101_3'], 'c_1010_9' : negation(d['c_0101_8']), 'c_1010_8' : d['c_0101_3'], 'c_1100_8' : negation(d['c_1001_6']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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' : negation(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_11']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_6']), 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0011_5'], 'c_0110_7' : negation(d['c_0011_11']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_6, c_0101_8, c_1001_10, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 1222152394293504466549962057359737124928822177732211683527922600685\ 69301188824984155251506/3911644317975162575831683976751595308189514\ 873614618690116570728784655096906400316605847*c_1001_6^23 + 4975384674176674754146350805090202489567633961250373968270991746545\ 98087983298163874467989/3911644317975162575831683976751595308189514\ 873614618690116570728784655096906400316605847*c_1001_6^22 - 1866294159628401827274511849905511252291701155143972714149556092349\ 0334714909844559280621/11018716388662429791075166131694634670956379\ 9256749822256804809261539580194546487791714*c_1001_6^21 - 9312821377821671116000971706219160764923600014832731662483619259055\ 279866571664450168032513/782328863595032515166336795350319061637902\ 9747229237380233141457569310193812800633211694*c_1001_6^20 + 1166661438823281980928670295660397196758224112724748445949899551178\ 2029950276007032671347016/39116443179751625758316839767515953081895\ 14873614618690116570728784655096906400316605847*c_1001_6^19 + 4793056753350723598507003763503877948856238086738947175422223077513\ 7253711314317456293977601/78232886359503251516633679535031906163790\ 29747229237380233141457569310193812800633211694*c_1001_6^18 - 7450860197607342565128376814990294253753990773087068317345078686590\ 1690042805122596823289507/39116443179751625758316839767515953081895\ 14873614618690116570728784655096906400316605847*c_1001_6^17 - 1021453769138515348646309471646701919594024720981832106921291095877\ 857394794708835526864202/391164431797516257583168397675159530818951\ 4873614618690116570728784655096906400316605847*c_1001_6^16 + 8185617209151535453768431401634496765149416191905916514400276201256\ 14631615779516389884887065/7823288635950325151663367953503190616379\ 029747229237380233141457569310193812800633211694*c_1001_6^15 - 7732931797871082855089204614887064618697731392638937246963759298704\ 6838428498793366852589085/78232886359503251516633679535031906163790\ 29747229237380233141457569310193812800633211694*c_1001_6^14 - 2601428409452392156179952578701061633298297756884151978268089832911\ 639584526619596368562267235/782328863595032515166336795350319061637\ 9029747229237380233141457569310193812800633211694*c_1001_6^13 - 4104552774972409695085779239687264843489106310163908285879364005078\ 80937725455399480249296317/7823288635950325151663367953503190616379\ 029747229237380233141457569310193812800633211694*c_1001_6^12 + 1806981907069207433081332257817237068063291245846961724036317699457\ 310946367286454202513742454/391164431797516257583168397675159530818\ 9514873614618690116570728784655096906400316605847*c_1001_6^11 + 9162117728683531220770664447643854824815622119442887731866366845040\ 20817515904612493948673381/3911644317975162575831683976751595308189\ 514873614618690116570728784655096906400316605847*c_1001_6^10 - 2303666660841711346848438262933691898870678755737743779477611287667\ 858644752865889461734476217/782328863595032515166336795350319061637\ 9029747229237380233141457569310193812800633211694*c_1001_6^9 - 8055733761475893910452182838180461195972018677810329743406034774323\ 46687562235275117733528016/3911644317975162575831683976751595308189\ 514873614618690116570728784655096906400316605847*c_1001_6^8 + 3547635071292179661311519803551997464276022219149461899639543481810\ 3969132425144678753697637/39116443179751625758316839767515953081895\ 14873614618690116570728784655096906400316605847*c_1001_6^7 + 2252572967173567967891551634682555318021200673382787807725136714487\ 85981542544472970737169946/3911644317975162575831683976751595308189\ 514873614618690116570728784655096906400316605847*c_1001_6^6 + 2137119616262255915070559360201735793886855490045266305743518424883\ 81304995809795712184716912/3911644317975162575831683976751595308189\ 514873614618690116570728784655096906400316605847*c_1001_6^5 + 1481476280262646666842728228315935497409748986171521814368846869182\ 1736014465593229629116795/41175203347106974482438778702648371665152\ 7881433117756854375866187858431253305296484826*c_1001_6^4 - 1464803959926715705176570065339242583350873542299316217471628007449\ 82475781194927549231083989/7823288635950325151663367953503190616379\ 029747229237380233141457569310193812800633211694*c_1001_6^3 - 1282656802622759976448322631575173848921149257191251637473180199493\ 43811573617134529617278113/7823288635950325151663367953503190616379\ 029747229237380233141457569310193812800633211694*c_1001_6^2 + 9288773185539220214573408213586133408317361466590244563818461479387\ 651189272491839429253033/391164431797516257583168397675159530818951\ 4873614618690116570728784655096906400316605847*c_1001_6 + 1673628053798215559519844618979957946035676542199548365547130831830\ 2928856467405798910233259/39116443179751625758316839767515953081895\ 14873614618690116570728784655096906400316605847, c_0011_0 - 1, c_0011_10 + 11328539909651219824148647991291509388996242052954678785847\ 8088722026631286/41681601727070858708691659626892536504147660334544\ 38889602459421967545147311*c_1001_6^23 - 4199400222245069742652480569520400477920459144965415046516891500246\ 74017559/4168160172707085870869165962689253650414766033454438889602\ 459421967545147311*c_1001_6^22 + 4138035114308987383425982322803372\ 55705566771926070994907975981611166979395/4168160172707085870869165\ 962689253650414766033454438889602459421967545147311*c_1001_6^21 + 4689784605944161882897724032679436789586130302411717415233392430677\ 450791306/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311*c_1001_6^20 - 949605664232793881637660339968715\ 0106658751359817525320245341397172449953201/41681601727070858708691\ 65962689253650414766033454438889602459421967545147311*c_1001_6^19 - 2727114735813010534352776722009890333867102165728195352465310667281\ 8876103148/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^18 + 6473723372411702033806645695801374097178474617625565405668208687203\ 6911793167/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^17 + 3055490353762562044325728436005921630242618617949981729899884216324\ 1182995617/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^16 - 4018826712970279367146623968678726434095467885518233464045875795950\ 31007513551/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^15 - 9070589842342114679784756536216044446970241419962419765423142377302\ 1967808300/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^14 + 1324374244475847123587221074029449660989623662372917174284141057359\ 544955845032/416816017270708587086916596268925365041476603345443888\ 9602459421967545147311*c_1001_6^13 + 5585546260810624794142448241977133018250435103890015178810104613809\ 17750423941/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^12 - 1928865530220678618327101376961260962164283503237379579117679722069\ 462578466015/416816017270708587086916596268925365041476603345443888\ 9602459421967545147311*c_1001_6^11 - 1326995263439113960421388477954788958227452332102648689678752366107\ 801121197547/416816017270708587086916596268925365041476603345443888\ 9602459421967545147311*c_1001_6^10 + 1214984941437899605911696127165205053566790008061071070102987961329\ 908777740221/416816017270708587086916596268925365041476603345443888\ 9602459421967545147311*c_1001_6^9 + 1121569436178527476614906813898966904015618045192731699406669770924\ 118834097706/416816017270708587086916596268925365041476603345443888\ 9602459421967545147311*c_1001_6^8 - 1131303204347862073975608813627043214899554570580314282281665877876\ 31879020846/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^7 - 2632752909891223821596332392337466661642572578955961681144805870017\ 56223897767/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^6 - 2212167234904453451749468011357404380356503563279901955935989444989\ 09552256173/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^5 - 1629502678383777031680049738114345518970298087710738853862704914834\ 99864962675/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^4 + 7095727401472976244380460340591597743499332755056769657029726118116\ 4950732711/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^3 + 949848351422948534485717765114201\ 32712371917612777699737158301794207935328143/4168160172707085870869\ 165962689253650414766033454438889602459421967545147311*c_1001_6^2 - 1618504612198515017535981257774059711974990618319003859678328794952\ 2596541704/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6 - 22317024822744620664821084470058474\ 262667322441673155278843397682178718250076/416816017270708587086916\ 5962689253650414766033454438889602459421967545147311, c_0011_11 + 81945840858780409406479269197182814180915608559947258746607\ 765951733854253/416816017270708587086916596268925365041476603345443\ 8889602459421967545147311*c_1001_6^23 - 3355037618087426590003229915626718114066958846632626519504258653510\ 68314234/4168160172707085870869165962689253650414766033454438889602\ 459421967545147311*c_1001_6^22 + 4480839560840133025818162060070504\ 48589336563657401751496338384109211426343/4168160172707085870869165\ 962689253650414766033454438889602459421967545147311*c_1001_6^21 + 3141991087177687394718779091470186426191018993932611315014554101518\ 221828063/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311*c_1001_6^20 - 798364618076761164235765836663805\ 8799231472325185658557660147394770868206186/41681601727070858708691\ 65962689253650414766033454438889602459421967545147311*c_1001_6^19 - 1591485997303639383387642968043535181988507499015207580833087453732\ 9276092971/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^18 + 5117534716318223013323754210193979542133160504834605752113550265100\ 3877215922/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^17 - 1398975919697188231885878334733584579687308083369436624348027588424\ 858948093/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311*c_1001_6^16 - 278536392991051006713911449262357\ 435810722504478002384426815666892318670716308/416816017270708587086\ 9165962689253650414766033454438889602459421967545147311*c_1001_6^15 + 42251463454673362101184761482094154076343382935661900320476910112\ 489068631486/416816017270708587086916596268925365041476603345443888\ 9602459421967545147311*c_1001_6^14 + 8781113067330912843771571505521610092396012976846237529601518781937\ 32209329331/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^13 + 7164745203368199438998188781558223413951420893822679551681937673061\ 5784495185/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^12 - 1221431012281514533416622796330292712738916144825535471540418267399\ 902625058019/416816017270708587086916596268925365041476603345443888\ 9602459421967545147311*c_1001_6^11 - 4613835363602672282097777174951973265988022282445267699161967331055\ 58719449212/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^10 + 7763169625006425150374170329205090373277226999439864849752437267666\ 30457662257/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^9 + 3798344665564482853012310824569301289009250801012149619883870962577\ 89246837246/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^8 - 5294812224856846130673075145138782442465743453295910199236465043639\ 8548595330/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^7 - 503870169473488973117782584657631\ 15247856147638337569061603412490886460457878/4168160172707085870869\ 165962689253650414766033454438889602459421967545147311*c_1001_6^6 - 1374238357665539112841479808208114285549055131543305306859539968006\ 92515057671/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^5 - 9420885644682653389838219444401925124272862367322076942833223824778\ 3233448854/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^4 + 423994949967599698679843473306806\ 27219532326501958583415584637142078506664947/4168160172707085870869\ 165962689253650414766033454438889602459421967545147311*c_1001_6^3 + 2626877911165682631971596462427483937599140100928347282408878110522\ 6485915696/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^2 - 913265639772059458256792118536617\ 1177804482918073371755292777424418791949264/41681601727070858708691\ 65962689253650414766033454438889602459421967545147311*c_1001_6 - 3322656386919862422044814634293788594453225875516472164170615453224\ 957868720/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311, c_0011_5 + 717207969845801533992479037159606204577063730063985680726436\ 22459619769978/4168160172707085870869165962689253650414766033454438\ 889602459421967545147311*c_1001_6^23 - 2408108643484872728517935904202878039498164820491431359842958992358\ 77180938/4168160172707085870869165962689253650414766033454438889602\ 459421967545147311*c_1001_6^22 + 1553341006744608910705876376954892\ 45840154588886733732952082145084365730156/4168160172707085870869165\ 962689253650414766033454438889602459421967545147311*c_1001_6^21 + 3122514253764371213650769903253213738104240404212141756532874010439\ 162737224/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311*c_1001_6^20 - 507444983698879021785183129350136\ 6213417338332944276166669408246636041256681/41681601727070858708691\ 65962689253650414766033454438889602459421967545147311*c_1001_6^19 - 1985878374086322831787291830576505878290466459756894648732466672020\ 4513795683/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^18 + 3650808986799537716991782199438312749335526200603296004199597699829\ 7195982589/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^17 + 3571716098672272312737428862958711490745186483309665785412054413529\ 4761321378/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^16 - 2572665315276977195197952392710513727799090768050940564175074440128\ 18938578624/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^15 - 1420524978782759675419921771216556383625390347774996734534464220673\ 68524771242/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^14 + 8644850085346861688104381517489932502381598281124821373621059496833\ 59973548274/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^13 + 6193182422968907526920289721927633500186013452871715666798494540872\ 81255922385/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^12 - 1236229115243066621365573356093291565698750645885187174669078004806\ 856886289292/416816017270708587086916596268925365041476603345443888\ 9602459421967545147311*c_1001_6^11 - 1212973220108494612483795064935792664675109491224870376643588101374\ 039806279919/416816017270708587086916596268925365041476603345443888\ 9602459421967545147311*c_1001_6^10 + 6665972879915882380521137712362202662401934259209745131130686111004\ 18200666966/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^9 + 9503283253706217523563820495997968430573509587287179875820151668984\ 11411178178/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^8 + 3541972418532076113769952548050301022691188516936858737923601660266\ 5743564961/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^7 - 170060582546841711201089399407214\ 895920905439170581171193941784301131178097324/416816017270708587086\ 9165962689253650414766033454438889602459421967545147311*c_1001_6^6 - 1617510047393488996672096366212275357230542957630360918480819740949\ 22851150753/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^5 - 1601467526503713676556453979647435957435944020351223702498640943142\ 30394026231/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^4 + 2379934138234696318105550050395970562552691198443845243874438550307\ 6420705468/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^3 + 762013907389475131831048537256453\ 58180805527293032889012482072531884508844020/4168160172707085870869\ 165962689253650414766033454438889602459421967545147311*c_1001_6^2 - 5074086579167422120745127396848669007414763550172607564176105210763\ 828921597/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311*c_1001_6 - 184577179904536348167352877112077450\ 69265952657150565288837267357546533217098/4168160172707085870869165\ 962689253650414766033454438889602459421967545147311, c_0011_6 + 686842833208365982556829924959130737179087919924203453796014\ 88532839736821/4168160172707085870869165962689253650414766033454438\ 889602459421967545147311*c_1001_6^23 - 2885717468025358498635059257898829984283653783649533238974458118255\ 36372034/4168160172707085870869165962689253650414766033454438889602\ 459421967545147311*c_1001_6^22 + 3892673631778530879499396548773324\ 74900150888939361093870997969254113358749/4168160172707085870869165\ 962689253650414766033454438889602459421967545147311*c_1001_6^21 + 2655428925608376006083156804000791311880847679076192685523283524558\ 721397687/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311*c_1001_6^20 - 704609544576949627056170820762058\ 0714529053083923810408448714067097607784604/41681601727070858708691\ 65962689253650414766033454438889602459421967545147311*c_1001_6^19 - 1326610571305014102063137441701167743827643787922039159598207154272\ 7766732791/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^18 + 4570159421093283605908897197530833741788278603286078028880547496448\ 2767513333/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^17 - 2179398726786258714995888394734055449124233672442655303161096960708\ 934054341/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311*c_1001_6^16 - 242261649296355434594737994437171\ 931853112165106479517856300183665045451667394/416816017270708587086\ 9165962689253650414766033454438889602459421967545147311*c_1001_6^15 + 57915206767570229099377674026494698232564280139395818479633268590\ 894663885023/416816017270708587086916596268925365041476603345443888\ 9602459421967545147311*c_1001_6^14 + 7862619577570964260879702879519949941829886594656762187283261780104\ 77425107996/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^13 - 8495709512764261358841689547614478393773823849307982151320343945398\ 030042224/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311*c_1001_6^12 - 119985950342404483930119907257845\ 1266277541093022400110991128859209891234437767/41681601727070858708\ 69165962689253650414766033454438889602459421967545147311*c_1001_6^1\ 1 - 351162754680418197252429852501718270265497607030711591680147636\ 436648139836064/416816017270708587086916596268925365041476603345443\ 8889602459421967545147311*c_1001_6^10 + 9080803907953387515207034051640441931736459510203688764978015622389\ 09007065532/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^9 + 4240066218840059197568341790773106261577905017697907833255274011553\ 15101234369/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^8 - 1824025413972074615314092879888755164747672172181998657834479520579\ 00174003376/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^7 - 1576161856699402701147204329607237041330422277870711908919237993210\ 61757781150/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^6 - 1351773158968428415314914699835820788858145888626537959407784008575\ 43133852667/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^5 - 5179921513362956963497131313308761052864864181494375916415777908113\ 0118370715/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^4 + 676212117040593202482663300347099\ 20027659519233458609105480988298834335960262/4168160172707085870869\ 165962689253650414766033454438889602459421967545147311*c_1001_6^3 + 5096779034749683365957531246674049075303099359613112365131060322138\ 9055358227/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^2 - 867378674992400194072175250181449\ 9673814165443885227094625776698240330954163/41681601727070858708691\ 65962689253650414766033454438889602459421967545147311*c_1001_6 - 8423626010132488970232469725609742798348003628975795834398225534029\ 227738948/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311, c_0101_0 - 177546239871012504933619247947233346029447627220851274954345\ 67797534309139/4168160172707085870869165962689253650414766033454438\ 889602459421967545147311*c_1001_6^23 + 1002703722300132331442630025523674246856023043923472514651474450381\ 57977642/4168160172707085870869165962689253650414766033454438889602\ 459421967545147311*c_1001_6^22 - 2293884673869091208071467174573519\ 44997717871536488848162985216535848909321/4168160172707085870869165\ 962689253650414766033454438889602459421967545147311*c_1001_6^21 - 4544657687740543181608675167956465895223538392928663340957068464436\ 43161608/4168160172707085870869165962689253650414766033454438889602\ 459421967545147311*c_1001_6^20 + 2693682850090175117099411338362776\ 037302647742237448141056804883788840489502/416816017270708587086916\ 5962689253650414766033454438889602459421967545147311*c_1001_6^19 + 1057652690580280348166932455237481724948476135089232760111627386414\ 4907749/41681601727070858708691659626892536504147660334544388896024\ 59421967545147311*c_1001_6^18 - 14722968466349900662124192334650823\ 176636111030541460352425903730974089310961/416816017270708587086916\ 5962689253650414766033454438889602459421967545147311*c_1001_6^17 + 2153821826160203603623147749989915383788923066626226667331644765490\ 9795542713/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^16 + 4886219330941901662557560893749897549762678050451504004334064959821\ 5915591699/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^15 - 1043092527431117205203214251525115390776625623162300515270436879786\ 34336026814/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^14 - 1121949408597978426906725442783353760902517065947532403400394558594\ 84944605943/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^13 + 2832110496496857691707427796282656411070913526512821525514523546671\ 25746825615/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^12 + 9066144155924628916254020489703941384763037700445816761796690216688\ 1487680139/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^11 - 3711900153539505103969187001642608176736708112365683107711946792332\ 73059640097/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^10 - 7546010476750035917706220002710613549496516787687914088241715798261\ 3580744664/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^9 + 339284667464795404575277187819643\ 362037957582557510429018622949341042937446080/416816017270708587086\ 9165962689253650414766033454438889602459421967545147311*c_1001_6^8 + 2718809376637825882900531582048037084031320063125106490388437376765\ 5264913736/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^7 - 106782312486143029358876351640209\ 377023927262782207602811949038138200242864562/416816017270708587086\ 9165962689253650414766033454438889602459421967545147311*c_1001_6^6 - 1591363116380151190276389760755013808477256866474147975372134218282\ 9270995384/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^5 - 284871749067525204937324635293023\ 61041256065809364201993855820139082889580076/4168160172707085870869\ 165962689253650414766033454438889602459421967545147311*c_1001_6^4 - 8509167174045185054020237089928463864643048575546256696731615136931\ 978589399/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311*c_1001_6^3 + 3071491437539907743570971530740213\ 4147300635428823279224585513680823068038589/41681601727070858708691\ 65962689253650414766033454438889602459421967545147311*c_1001_6^2 + 9293427451903334581206094142509728334299610255152868670701989664313\ 546135190/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311*c_1001_6 - 707683225270093710043612689759139852\ 2182164854424450915005383052129776422116/41681601727070858708691659\ 62689253650414766033454438889602459421967545147311, c_0101_1 - 756375906221780079246931209571202309856663037976284348162585\ 94065940671105/4168160172707085870869165962689253650414766033454438\ 889602459421967545147311*c_1001_6^23 + 3246362156479147331195400874691243164248417501662101444418606094632\ 53514563/4168160172707085870869165962689253650414766033454438889602\ 459421967545147311*c_1001_6^22 - 4629768658870687354387374944878080\ 54283801226379207755002258780048327674265/4168160172707085870869165\ 962689253650414766033454438889602459421967545147311*c_1001_6^21 - 2860701503766258310523543797232062489022821664221524142933922220628\ 501397995/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311*c_1001_6^20 + 798210415011233769140261907306240\ 0203332501810633024550372565707863031735526/41681601727070858708691\ 65962689253650414766033454438889602459421967545147311*c_1001_6^19 + 1371940934835375711349325028241184050748547087656532554112177612642\ 2747450221/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^18 - 5105206867519636146895079250652829417176436377626810579469427247085\ 2282473291/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^17 + 7708445087908738946430164780296769168123484256513313747549864211440\ 344236074/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311*c_1001_6^16 + 262999793172553933117043402562997\ 194630956126311638469530784105824874996723993/416816017270708587086\ 9165962689253650414766033454438889602459421967545147311*c_1001_6^15 - 85981552270463328273281657797286059456947199973288865844919266263\ 649857753305/416816017270708587086916596268925365041476603345443888\ 9602459421967545147311*c_1001_6^14 - 8430684937759367092264014690470735484392747351253866799726757375761\ 65977339613/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^13 + 7825276251920750562578252857087190258996838192913485889226593462385\ 0408542086/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^12 + 1271878066954312411080496145891905873589566720635846825049104526784\ 379921577657/416816017270708587086916596268925365041476603345443888\ 9602459421967545147311*c_1001_6^11 + 2841885857633521599243703325896197743460591889091215749076994663690\ 43964509656/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^10 - 9756078268716016356886315518647501363239724177805837749258533618420\ 80446254395/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^9 - 3806535874610602211622809035601196227617665993404526611739383027690\ 35116967120/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^8 + 1976707929517856320535665432258876528253265818924321825827006363081\ 61827879476/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^7 + 1581893652925763645030650524600535141948025216720539175691571808379\ 43973775136/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^6 + 1450486344547862992013902271508995361607067965881049911734367199718\ 93109701921/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^5 + 5127304812974214793229797560562504675901139308655473980807615704897\ 2880194145/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^4 - 775644597414459369758583943033146\ 61873307016953359626495199959804745098266606/4168160172707085870869\ 165962689253650414766033454438889602459421967545147311*c_1001_6^3 - 4448636911989756508327292857471642005149946950745894011059423764367\ 8739893889/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^2 + 140070849145784419837198494409095\ 34472291739616628417881510004735072613930540/4168160172707085870869\ 165962689253650414766033454438889602459421967545147311*c_1001_6 + 5940220754780272374102985041913575485686217415567752957204458637691\ 079115722/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311, c_0101_3 - 743331813103449618802125906745831547127076332921385925400495\ 40009536100952/4168160172707085870869165962689253650414766033454438\ 889602459421967545147311*c_1001_6^23 + 2837033297982197421467113593393445708345508713840356044719964920049\ 02391585/4168160172707085870869165962689253650414766033454438889602\ 459421967545147311*c_1001_6^22 - 3190706156520322787309876059799987\ 84585588636889761931498407553959077023586/4168160172707085870869165\ 962689253650414766033454438889602459421967545147311*c_1001_6^21 - 2980149794557893483378513604851750876013164440446587231575987838686\ 262630170/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311*c_1001_6^20 + 648655965856905635085926737772011\ 3729378211551813569660207135367338467536747/41681601727070858708691\ 65962689253650414766033454438889602459421967545147311*c_1001_6^19 + 1653232744111452788820679368089408803130803950164601592026645144524\ 4002775344/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^18 - 4289208444009759701188130099579185763037136583397750059882018341394\ 3368449514/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^17 - 1176926024029041800274456657644166787270890242883277113266985026583\ 6646118501/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^16 + 2558781396437257350086462044085388728297003925858784922017151246791\ 68187405154/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^15 + 2926224283603447249173863959765324317364632757263207384784933694787\ 4296114599/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^14 - 8173595021716996195556235519793650583856384551595478346974616154985\ 06367529183/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^13 - 2691776324335731353024726992520834598823443939426775781731375737847\ 32743231773/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^12 + 1125539747589953223356872192330706488425131488804820656461745690668\ 092813332805/416816017270708587086916596268925365041476603345443888\ 9602459421967545147311*c_1001_6^11 + 6853190404162226873913477997527447738994993108845847210629985903112\ 58498713307/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^10 - 6578742672005131872889508660759295038282437450128216247672205006735\ 37910698387/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^9 - 5204141934465656254594782103852759331045572299627748043362269716864\ 99077039411/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^8 + 3055213185008164992886855928140842108916275300099452196111934471676\ 2889698405/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^7 + 759079259873759605117905873245873\ 74541791624159168339389445966768780059771306/4168160172707085870869\ 165962689253650414766033454438889602459421967545147311*c_1001_6^6 + 1191691864282686700313374109232700815655166206335379032314688933707\ 84644773900/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^5 + 9546031420675445371218004537958698549469255728861366379676362595870\ 3943443755/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^4 - 236645801258306529129112203750298\ 27920791795989844619767306961907708637057257/4168160172707085870869\ 165962689253650414766033454438889602459421967545147311*c_1001_6^3 - 3696990113124659111889567845839802365179205680856010991527831124206\ 6803919881/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^2 + 123980944939776706540606501310353\ 51890120015649044789337587465295928820934713/4168160172707085870869\ 165962689253650414766033454438889602459421967545147311*c_1001_6 + 9882347153611822104469120772963464088561062118545239193797213952306\ 243799296/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311, c_0101_6 - 127972139731075402317035092936196801194456102333792459057825\ 35027704402550/4168160172707085870869165962689253650414766033454438\ 889602459421967545147311*c_1001_6^23 + 6813363715315180493879114773473151176033384622578946282517000830614\ 9562959/41681601727070858708691659626892536504147660334544388896024\ 59421967545147311*c_1001_6^22 - 14589019355058547358905936167335525\ 3728440173297916468077254398540089023923/41681601727070858708691659\ 62689253650414766033454438889602459421967545147311*c_1001_6^21 - 3526001562655784679339295168669537052249132329109091827752361465379\ 55324265/4168160172707085870869165962689253650414766033454438889602\ 459421967545147311*c_1001_6^20 + 1767479043417441143003629118369679\ 903651174552125128122855749615887003415601/416816017270708587086916\ 5962689253650414766033454438889602459421967545147311*c_1001_6^19 + 5400344848816847256800233476628502788795232321751174837261906632833\ 55024757/4168160172707085870869165962689253650414766033454438889602\ 459421967545147311*c_1001_6^18 - 9743404831640633096006805639785753\ 740985804250417280737050234772331725684495/416816017270708587086916\ 5962689253650414766033454438889602459421967545147311*c_1001_6^17 + 1181233604300131840600830591943355387194964175914075139182759060029\ 5822511671/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^16 + 3515450695234861559156400454382800880827970231706139915415996698830\ 6625928183/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^15 - 5703555537126172665372539925862544683975731781361569992422068553616\ 9188598985/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^14 - 9054251569242633218564303449534729569059372411039032406861492843006\ 3457403550/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^13 + 1356239487760522424676599632508285358835966134067801766645904788018\ 59736198864/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^12 + 8368136864665429703536556864714343398407835684019718613231585978202\ 1822397678/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^11 - 1278896109878295089691240323620375699591348586389261690172579106806\ 95748242469/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^10 - 3605792940189382943370334387491832002370533674966105764228918741566\ 3697696249/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^9 + 108981972035663876370853099278704\ 180227456568855449456991910778601416536470316/416816017270708587086\ 9165962689253650414766033454438889602459421967545147311*c_1001_6^8 - 3453262798119245617592685806034647143481158951921521684834290627717\ 2743951007/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^7 - 417283239726607790807273946271974\ 40066260324491692925970055554477793502896422/4168160172707085870869\ 165962689253650414766033454438889602459421967545147311*c_1001_6^6 + 3774537077205245367084613348099978119879869963361547019385757791198\ 140641489/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311*c_1001_6^5 - 9821721445507696929721207129967297\ 31099618340266933187510223389780265093440/4168160172707085870869165\ 962689253650414766033454438889602459421967545147311*c_1001_6^4 + 1240003067632529888597870100996707529637901602417914833344894982198\ 8672718629/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^3 + 128377880272460609142419395538955\ 89673575091604464288694181852430639974463203/4168160172707085870869\ 165962689253650414766033454438889602459421967545147311*c_1001_6^2 - 3199746416675196212882093543605414591401455072192269377328434424785\ 479512285/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311*c_1001_6 - 565079118488602847657329889808668278\ 2368332030165228847534348203509238921396/41681601727070858708691659\ 62689253650414766033454438889602459421967545147311, c_0101_8 - 830310166428431626343864309747152299005114012085207579480612\ 59932556372907/4168160172707085870869165962689253650414766033454438\ 889602459421967545147311*c_1001_6^23 + 3756790656249231453123060744959436726111918859577953771714992129216\ 20560902/4168160172707085870869165962689253650414766033454438889602\ 459421967545147311*c_1001_6^22 - 6009531019419604506548717303097277\ 63872013322228955581728498146423995209527/4168160172707085870869165\ 962689253650414766033454438889602459421967545147311*c_1001_6^21 - 2982685008589282937739102386584565357923226295276088005808087576628\ 726499997/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311*c_1001_6^20 + 944144858205222633377793848114364\ 4051245628074718210688088133042264771571072/41681601727070858708691\ 65962689253650414766033454438889602459421967545147311*c_1001_6^19 + 1264647590164819614884050302795137715856382373825966995556300972339\ 2089121138/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^18 - 5863376022773824317668506658270793575387181636404839154234843736646\ 8047307089/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^17 + 2347619955086458341007541906975943073503531526936021317866201276665\ 2705989398/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^16 + 2809072812040179972365060118614994013843268906543419083122275750743\ 07809404662/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^15 - 1619608352155773530836915921224526503697455821850238984060341407159\ 62628135017/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^14 - 8708128525009463781046317186062053914059390486905322279848553522340\ 60855804650/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^13 + 3002480434676363198187153720849902583200934813285300694833560273010\ 08760034469/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^12 + 1272088679463758603818249314895313721246390774043761552918636760843\ 142142073016/416816017270708587086916596268925365041476603345443888\ 9602459421967545147311*c_1001_6^11 - 3636285001423478095825788774086039798047799959104207784354490661503\ 6194669228/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^10 - 1002692221450943927277390111375449301821025267779733583679293765670\ 558588589159/416816017270708587086916596268925365041476603345443888\ 9602459421967545147311*c_1001_6^9 - 8747761223133656733576666303566096319963009479818420370099953414592\ 0092847202/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^8 + 233259604056514476733185140531404\ 346886658071706845205323757576311589005817619/416816017270708587086\ 9165962689253650414766033454438889602459421967545147311*c_1001_6^7 + 6699667668024805462917744736398524393084371347155445214771697448280\ 0423324827/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^6 + 110116726009126560694530041727086\ 549523814208756670008298772624044199138410241/416816017270708587086\ 9165962689253650414766033454438889602459421967545147311*c_1001_6^5 + 2143498797024827943392913039968398436429242244006741705684258308812\ 1844551968/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^4 - 850309684775524756551250005465870\ 22553609422202776578825250845721966638056401/4168160172707085870869\ 165962689253650414766033454438889602459421967545147311*c_1001_6^3 - 1235706894171941780682911910038472045711184622049878922169580463789\ 2328112835/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^2 + 205898275416521424329750080015864\ 48327871818653142332802390437717206145079725/4168160172707085870869\ 165962689253650414766033454438889602459421967545147311*c_1001_6 + 3698485476772783755826412317737814678346094092780752547082083817115\ 004538766/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311, c_1001_10 - 23659579590364144641981695450195073851039197947140546776532\ 389608922257263/416816017270708587086916596268925365041476603345443\ 8889602459421967545147311*c_1001_6^23 + 1299185413756194232023953990196382745516789026735288305754231684888\ 26840766/4168160172707085870869165962689253650414766033454438889602\ 459421967545147311*c_1001_6^22 - 2722071017191715897617123681771328\ 59179607660236633873025142230421581127586/4168160172707085870869165\ 962689253650414766033454438889602459421967545147311*c_1001_6^21 - 6938667914959784682075644089123980025757038012613006204930606343129\ 15799719/4168160172707085870869165962689253650414766033454438889602\ 459421967545147311*c_1001_6^20 + 3524110431756774348161243650855558\ 766193774155374521374110175621136490878606/416816017270708587086916\ 5962689253650414766033454438889602459421967545147311*c_1001_6^19 + 1096790905002222887000945813415376876507365151888337767174146199632\ 152631526/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311*c_1001_6^18 - 203947580883170940293748339988915\ 07552781996229735532801028791664584673223817/4168160172707085870869\ 165962689253650414766033454438889602459421967545147311*c_1001_6^17 + 2233746039869137660542194590506982902151362416274110989971020449698\ 4890477573/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^16 + 7484768535561179455379453635068035304427734084135859229648472961080\ 2952904862/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^15 - 1233776485512645259185920656141902993330986539381810804018902610957\ 96661362511/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^14 - 2112320486261290671763665417185129485062152766471771730219481094556\ 77400852005/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^13 + 3238183093712552292563462190466991164782485662704774516230504671281\ 85435375713/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^12 + 3021136952626200707205773472880432326780899192619201314357427662852\ 27799891505/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^11 - 3507415899022821908573683194496128991847819419015036583892813237477\ 87432933663/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^10 - 3001372610046152217339047887014721443110663034733140964168676118156\ 57944884252/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^9 + 2302412868451967875092643631953248012232625723643439187778163640432\ 58830186182/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^8 + 1034735391538340087390038616738972553558868627543147739847528948151\ 61030786269/4168160172707085870869165962689253650414766033454438889\ 602459421967545147311*c_1001_6^7 - 3276755784461443425398233206370773248639666353919272859899476133875\ 0248410014/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^6 + 120204732806756872907161314247147\ 12902883139429480635272112217687449636300594/4168160172707085870869\ 165962689253650414766033454438889602459421967545147311*c_1001_6^5 - 2936298705433508059219662163064544375730600979303094845524553234999\ 7347335963/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^4 - 281863132868280324117544116245544\ 29094412133921631581949695066486925096531847/4168160172707085870869\ 165962689253650414766033454438889602459421967545147311*c_1001_6^3 + 1465080173995398584226547683967985425414690584212566253732916169707\ 4488521732/41681601727070858708691659626892536504147660334544388896\ 02459421967545147311*c_1001_6^2 + 774380743757158299701368728100843\ 8705138233149394254967854917225858003077057/41681601727070858708691\ 65962689253650414766033454438889602459421967545147311*c_1001_6 - 4906968182200903731515018150726438420686031213828461954017391851165\ 369312686/416816017270708587086916596268925365041476603345443888960\ 2459421967545147311, c_1001_6^24 - 38/11*c_1001_6^23 + 32/11*c_1001_6^22 + 456/11*c_1001_6^21 - 72*c_1001_6^20 - 255*c_1001_6^19 + 5380/11*c_1001_6^18 + 4227/11*c_1001_6^17 - 36800/11*c_1001_6^16 - 19205/11*c_1001_6^15 + 119285/11*c_1001_6^14 + 90531/11*c_1001_6^13 - 151431/11*c_1001_6^12 - 182471/11*c_1001_6^11 + 53018/11*c_1001_6^10 + 136230/11*c_1001_6^9 + 41361/11*c_1001_6^8 - 22136/11*c_1001_6^7 - 31762/11*c_1001_6^6 - 24489/11*c_1001_6^5 - 1198/11*c_1001_6^4 + 9822/11*c_1001_6^3 + 2710/11*c_1001_6^2 - 2014/11*c_1001_6 - 929/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.170 Total time: 1.379 seconds, Total memory usage: 64.12MB