Magma V2.19-8 Tue Aug 20 2013 16:18:15 on localhost [Seed = 593673752] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2466 geometric_solution 5.80537912 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297794629998 0.206639218079 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.435563275843 1.366180110479 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.744859076321 1.125601635926 2 5 4 1 3012 1023 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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.744859076321 1.125601635926 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.280679564796 0.680925578598 3 6 6 2 1023 0132 3201 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.681845267253 0.444563889948 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 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 1.566788397173 0.591922113748 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : 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' : d['c_0101_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), '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' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], '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_3']), '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_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 9600208847915385788316181625958365840758665101983430568835232117/33\ 383690822945196783509782908359930321389939287935173489635061*c_0101\ _6^33 - 35234707711181956236203018417248950717446264356403821786949\ 8689/33383690822945196783509782908359930321389939287935173489635061\ *c_0101_6^32 - 9516541822933243167865324306164177432658851411060415\ 0288632351566/33383690822945196783509782908359930321389939287935173\ 489635061*c_0101_6^31 + 1182099479513517630094692081082410656006938\ 05474491267345457223946/3338369082294519678350978290835993032138993\ 9287935173489635061*c_0101_6^30 - 127802216380905468163942247168218\ 707059063174040462271624404141108/333836908229451967835097829083599\ 30321389939287935173489635061*c_0101_6^29 - 249524929584250738302523659677974724717544465441119877704841008830/\ 33383690822945196783509782908359930321389939287935173489635061*c_01\ 01_6^28 + 396854895324985492394030925897584474907816991074003918836\ 014072749/333836908229451967835097829083599303213899392879351734896\ 35061*c_0101_6^27 - 43027544579648479294804953302314867135004059229\ 39750543393310394280/3338369082294519678350978290835993032138993928\ 7935173489635061*c_0101_6^26 + 921000201760989082317280132530774411\ 0541508079895847552823835019601/33383690822945196783509782908359930\ 321389939287935173489635061*c_0101_6^25 + 3871508477274870428914222794004667175182903718594159211130208084052\ 8/33383690822945196783509782908359930321389939287935173489635061*c_\ 0101_6^24 - 3345373507027622261750478659213432914475526839817669360\ 3736282775379/33383690822945196783509782908359930321389939287935173\ 489635061*c_0101_6^23 - 1333796537066530556664271853921709453695468\ 12983724899877740381673365/3338369082294519678350978290835993032138\ 9939287935173489635061*c_0101_6^22 + 7177669439479362875825909059195167273836976639354433588527036949006\ 2/33383690822945196783509782908359930321389939287935173489635061*c_\ 0101_6^21 + 1941409615662176621273735348407731077770229191215838682\ 9569805277806/25679762171496305218084448391046100247223030221488594\ 99202697*c_0101_6^20 - 18680665142792293280848796760038100867167173\ 6652261924172908479410482/33383690822945196783509782908359930321389\ 939287935173489635061*c_0101_6^19 - 2983858111810144034127094911296845592190640446972223210018485773480\ 36/33383690822945196783509782908359930321389939287935173489635061*c\ _0101_6^18 + 400246682563071041295082308647629114074549021461501165\ 884064722164165/333836908229451967835097829083599303213899392879351\ 73489635061*c_0101_6^17 + 24977481732811255120420212274543184657440\ 0889936288006669647654898624/33383690822945196783509782908359930321\ 389939287935173489635061*c_0101_6^16 - 5550025428724570521999342270321863071648998822897148097518960387904\ 22/33383690822945196783509782908359930321389939287935173489635061*c\ _0101_6^15 - 178343484914620679346181531651547184644647850889757690\ 727444282238186/333836908229451967835097829083599303213899392879351\ 73489635061*c_0101_6^14 + 53292879589673593869194076745396743042853\ 3041576089733999398179765354/33383690822945196783509782908359930321\ 389939287935173489635061*c_0101_6^13 + 1073597152021735335324312040087404409753764488204655570665805784696\ 59/33383690822945196783509782908359930321389939287935173489635061*c\ _0101_6^12 - 387039525745015959595962254955555769655265844621973024\ 080573816025864/333836908229451967835097829083599303213899392879351\ 73489635061*c_0101_6^11 - 36929058567092574015643513648773945553610\ 884019088212813068479149288/333836908229451967835097829083599303213\ 89939287935173489635061*c_0101_6^10 + 2104362713388383105332549400707058413191607041253384909672083811079\ 56/33383690822945196783509782908359930321389939287935173489635061*c\ _0101_6^9 + 2439720228627970095614869581887798760950400899168220078\ 698193376457/333836908229451967835097829083599303213899392879351734\ 89635061*c_0101_6^8 - 782178353932542138906965214135988643056200693\ 83872849691458487491746/3338369082294519678350978290835993032138993\ 9287935173489635061*c_0101_6^7 - 1746542185854891888803498193321676\ 59235784307565052266808236984923/3338369082294519678350978290835993\ 0321389939287935173489635061*c_0101_6^6 + 1779336288998532834205789673780206776432926421588514556323522824129\ 9/33383690822945196783509782908359930321389939287935173489635061*c_\ 0101_6^5 + 13579965307968219678672753435499388748070069597463198733\ 88319247645/3338369082294519678350978290835993032138993928793517348\ 9635061*c_0101_6^4 - 2147626539349445096118406128735710706958461012\ 089412791862126872423/333836908229451967835097829083599303213899392\ 87935173489635061*c_0101_6^3 - 398012878944784949229722260039880265\ 290708547032566655651771780141/333836908229451967835097829083599303\ 21389939287935173489635061*c_0101_6^2 + 91473681980236921448175619263753451571131311048011663839797832288/3\ 3383690822945196783509782908359930321389939287935173489635061*c_010\ 1_6 + 2482005864591061518552384537554501393068432433103208818693080\ 3082/33383690822945196783509782908359930321389939287935173489635061\ , c_0011_0 - 1, c_0011_1 + 489715362639249470011279684802268961257636262043988765710213\ 0/2567976217149630521808444839104610024722303022148859499202697*c_0\ 101_6^33 + 19597964996332990121608330885848858919081842492857197822\ 53623/2567976217149630521808444839104610024722303022148859499202697\ *c_0101_6^32 - 4834306574429027759223388460118980492389512625335893\ 9728891422/25679762171496305218084448391046100247223030221488594992\ 02697*c_0101_6^31 + 39486599826857843699110391129184860785179314026\ 211753875711503/256797621714963052180844483910461002472230302214885\ 9499202697*c_0101_6^30 - 413346763779323132218482509675857922515569\ 21641686265857876676/2567976217149630521808444839104610024722303022\ 148859499202697*c_0101_6^29 - 1561213200119309955297238317032760186\ 05104320918042767594667645/2567976217149630521808444839104610024722\ 303022148859499202697*c_0101_6^28 + 145256750589171705937910250459306501190501372582343664505384546/256\ 7976217149630521808444839104610024722303022148859499202697*c_0101_6\ ^27 - 2117427709093403636109125608947147100130751192722836419397745\ 571/2567976217149630521808444839104610024722303022148859499202697*c\ _0101_6^26 + 373710314014064495344970041303922161012360087164430638\ 9461273374/25679762171496305218084448391046100247223030221488594992\ 02697*c_0101_6^25 + 21682413346023233866956398381883026947669598197\ 077671695848611232/256797621714963052180844483910461002472230302214\ 8859499202697*c_0101_6^24 - 834518750626456498342127046343193487338\ 4148604940724461426816043/25679762171496305218084448391046100247223\ 03022148859499202697*c_0101_6^23 - 74109683282995732399052182865787564445188125667672047985510804846/2\ 567976217149630521808444839104610024722303022148859499202697*c_0101\ _6^22 + 77410997699383599112092930415190996173765360554945109251376\ 60957/2567976217149630521808444839104610024722303022148859499202697\ *c_0101_6^21 + 1407969925031550910139447591185403551772037433326920\ 60881721334699/2567976217149630521808444839104610024722303022148859\ 499202697*c_0101_6^20 - 4262001744800673451125056243966895316870446\ 5941448731946068029702/25679762171496305218084448391046100247223030\ 22148859499202697*c_0101_6^19 - 18755855400700178212375913379787379\ 6820569329212141806473314897858/25679762171496305218084448391046100\ 24722303022148859499202697*c_0101_6^18 + 142160591522753060457179818147546831435603171750424304169528520136/\ 2567976217149630521808444839104610024722303022148859499202697*c_010\ 1_6^17 + 2070673114945178316174759839783064002499061798239014238095\ 19619971/2567976217149630521808444839104610024722303022148859499202\ 697*c_0101_6^16 - 2293010362917200179281008047921837963326800500814\ 04741786277818769/2567976217149630521808444839104610024722303022148\ 859499202697*c_0101_6^15 - 1999256268071262885460519627936815884496\ 30224448394441710492156775/2567976217149630521808444839104610024722\ 303022148859499202697*c_0101_6^14 + 232261384436703550313170149503760256740668895358077462936796349118/\ 2567976217149630521808444839104610024722303022148859499202697*c_010\ 1_6^13 + 1560441944115770689255705901578710958256031278563133065984\ 66634364/2567976217149630521808444839104610024722303022148859499202\ 697*c_0101_6^12 - 1744316474335349575018088159557738644135319581887\ 06085913611071867/2567976217149630521808444839104610024722303022148\ 859499202697*c_0101_6^11 - 9032439466709955041155196687990185987325\ 9659937285642383926766810/25679762171496305218084448391046100247223\ 03022148859499202697*c_0101_6^10 + 100473441073272084813206842820182296715950936700898374770217330988/\ 2567976217149630521808444839104610024722303022148859499202697*c_010\ 1_6^9 + 38801965433177644649604001400701259113850169928622585301846\ 647173/256797621714963052180844483910461002472230302214885949920269\ 7*c_0101_6^8 - 4037749504586478504148982650993625579922993232829530\ 2332090028347/25679762171496305218084448391046100247223030221488594\ 99202697*c_0101_6^7 - 129559209879537611258847044732227577047632492\ 32831528443747619641/2567976217149630521808444839104610024722303022\ 148859499202697*c_0101_6^6 + 97665377697225991797807234563613413695\ 61539725095930446417222961/2567976217149630521808444839104610024722\ 303022148859499202697*c_0101_6^5 + 3093769041119214476420298315649835431978635214097130863748368252/25\ 67976217149630521808444839104610024722303022148859499202697*c_0101_\ 6^4 - 1172740156022607851213506564832269480422577298184717136863855\ 537/2567976217149630521808444839104610024722303022148859499202697*c\ _0101_6^3 - 4010565434745961072174196628662198103605848688192662210\ 05875856/2567976217149630521808444839104610024722303022148859499202\ 697*c_0101_6^2 + 50752941258684766096572673903432677289800290856489\ 822065066077/256797621714963052180844483910461002472230302214885949\ 9202697*c_0101_6 + 200687317071552212423371147715456359859438329564\ 29044466937834/2567976217149630521808444839104610024722303022148859\ 499202697, c_0011_3 - 101916689404341905323998202562110267256776726502198081862488\ 96/2567976217149630521808444839104610024722303022148859499202697*c_\ 0101_6^33 - 3857286705266535468528210494826018701166965065262644528\ 804554/256797621714963052180844483910461002472230302214885949920269\ 7*c_0101_6^32 + 101001102980156692010783191677262332220031056265496\ 374506560858/256797621714963052180844483910461002472230302214885949\ 9202697*c_0101_6^31 - 838505345726069787073172289832290372954929016\ 53877012539320768/2567976217149630521808444839104610024722303022148\ 859499202697*c_0101_6^30 + 8524709831105901946389474280270780423477\ 8176055997731510615243/25679762171496305218084448391046100247223030\ 22148859499202697*c_0101_6^29 + 32222070733453898793300129520032637\ 4592623078906147239963682643/25679762171496305218084448391046100247\ 22303022148859499202697*c_0101_6^28 - 311039815446481280527198540334647936761199890684314671183353529/256\ 7976217149630521808444839104610024722303022148859499202697*c_0101_6\ ^27 + 4398551323887764332267869481253707982842919180330975395656732\ 800/2567976217149630521808444839104610024722303022148859499202697*c\ _0101_6^26 - 787787736848069396668128601618544751417119641587152909\ 0701125825/25679762171496305218084448391046100247223030221488594992\ 02697*c_0101_6^25 - 45089454729763246632743250275708409681609685207\ 464018022808795420/256797621714963052180844483910461002472230302214\ 8859499202697*c_0101_6^24 + 184020387540361541447685342459511721705\ 50688371975424170633722105/2567976217149630521808444839104610024722\ 303022148859499202697*c_0101_6^23 + 155374480382257576313311067359400969540623368933894437339677083450/\ 2567976217149630521808444839104610024722303022148859499202697*c_010\ 1_6^22 - 1824582614105214496482118304932773511055895393578317694345\ 9234081/25679762171496305218084448391046100247223030221488594992026\ 97*c_0101_6^21 - 29647271574219556300467575334067142207183489969825\ 6080104009289765/25679762171496305218084448391046100247223030221488\ 59499202697*c_0101_6^20 + 91257569249299799951813802378133697700682\ 736844105860100590899483/256797621714963052180844483910461002472230\ 3022148859499202697*c_0101_6^19 + 394369231496291360677022725641687\ 919656199559665840952062859088864/256797621714963052180844483910461\ 0024722303022148859499202697*c_0101_6^18 - 300689968917758164385096407707255981816746076750968901265635076485/\ 2567976217149630521808444839104610024722303022148859499202697*c_010\ 1_6^17 - 4346502620282533371285164540353296875564405321229953897277\ 19991289/2567976217149630521808444839104610024722303022148859499202\ 697*c_0101_6^16 + 4861122211809841457545206129887055254533874539038\ 64198262583399302/2567976217149630521808444839104610024722303022148\ 859499202697*c_0101_6^15 + 4206690291872316763284067048470810069027\ 82014572813786695881076357/2567976217149630521808444839104610024722\ 303022148859499202697*c_0101_6^14 - 493851286324149518235142212276939908441654744233794001657042508186/\ 2567976217149630521808444839104610024722303022148859499202697*c_010\ 1_6^13 - 3296292672822812163833408314090849802024655551003266904982\ 14593436/2567976217149630521808444839104610024722303022148859499202\ 697*c_0101_6^12 + 3714515863767485029164308352006607012123562456263\ 42506817423833606/2567976217149630521808444839104610024722303022148\ 859499202697*c_0101_6^11 + 1917265984152250385422238374022764394416\ 13414944639560417359801698/2567976217149630521808444839104610024722\ 303022148859499202697*c_0101_6^10 - 214385000645250778794501948178306626440590601195945414208641135960/\ 2567976217149630521808444839104610024722303022148859499202697*c_010\ 1_6^9 - 82942395328769632978182285090914546832528559096038085412257\ 409255/256797621714963052180844483910461002472230302214885949920269\ 7*c_0101_6^8 + 8661761418712201700446730418944840917594832204587819\ 7560519330479/25679762171496305218084448391046100247223030221488594\ 99202697*c_0101_6^7 + 278664453939224411472113866019091148537582089\ 60910315913207156635/2567976217149630521808444839104610024722303022\ 148859499202697*c_0101_6^6 - 21093349787584980814466478497318954217\ 261780951973946481476743216/256797621714963052180844483910461002472\ 2303022148859499202697*c_0101_6^5 - 6710517691397819447973205756752670357063156306962797171164708840/25\ 67976217149630521808444839104610024722303022148859499202697*c_0101_\ 6^4 + 2544740895837474589553828161485947510707271583865190811753271\ 814/2567976217149630521808444839104610024722303022148859499202697*c\ _0101_6^3 + 8758298881668263544797783269988433553559545769677484128\ 60916493/2567976217149630521808444839104610024722303022148859499202\ 697*c_0101_6^2 - 11007112955142180634507197240825900067430973146487\ 7386873360933/25679762171496305218084448391046100247223030221488594\ 99202697*c_0101_6 - 40474341050357242076444756774716047086818989575\ 624536781793314/256797621714963052180844483910461002472230302214885\ 9499202697, c_0101_0 - 380429219528196144431587064838970319954737406571409557300750\ 5/2567976217149630521808444839104610024722303022148859499202697*c_0\ 101_6^33 - 28174190003455824624937515145471772974545282042262544671\ 94380/2567976217149630521808444839104610024722303022148859499202697\ *c_0101_6^32 + 3712243047101852253255791195243510418483023862812269\ 0679418107/25679762171496305218084448391046100247223030221488594992\ 02697*c_0101_6^31 - 18571681215538357322065012880109133331767477113\ 056041472845773/256797621714963052180844483910461002472230302214885\ 9499202697*c_0101_6^30 + 203900593896753735217955579880713289506362\ 83090393900265310652/2567976217149630521808444839104610024722303022\ 148859499202697*c_0101_6^29 + 1395085892578619204212481829025370812\ 49060932220820571743999113/2567976217149630521808444839104610024722\ 303022148859499202697*c_0101_6^28 - 76986796907206299875617888346774540515686858666101795227336739/2567\ 976217149630521808444839104610024722303022148859499202697*c_0101_6^\ 27 + 16122090158295475519460091919503282480418773760092767853353841\ 81/2567976217149630521808444839104610024722303022148859499202697*c_\ 0101_6^26 - 2318127063490784276636179054745699273328047023796029030\ 839103804/256797621714963052180844483910461002472230302214885949920\ 2697*c_0101_6^25 - 178818379758990281046898288207843173054111491614\ 14679362497405390/2567976217149630521808444839104610024722303022148\ 859499202697*c_0101_6^24 + 1133676698021156787606097621848839560362\ 194032640586459316990405/256797621714963052180844483910461002472230\ 3022148859499202697*c_0101_6^23 + 596718781034939564731367544584497\ 00421829684661567492548397245331/2567976217149630521808444839104610\ 024722303022148859499202697*c_0101_6^22 + 10336087054354719303256815779870426070924603729271934510520995562/2\ 567976217149630521808444839104610024722303022148859499202697*c_0101\ _6^21 - 11235867436339035779944346839231576248574930067002490811028\ 5707436/25679762171496305218084448391046100247223030221488594992026\ 97*c_0101_6^20 + 52763751127885616182188606866297040942799477595798\ 35489053235253/2567976217149630521808444839104610024722303022148859\ 499202697*c_0101_6^19 + 1601687792478849605587498995385508772973728\ 92932938625443106482629/2567976217149630521808444839104610024722303\ 022148859499202697*c_0101_6^18 - 7716781526369821243124979076584634\ 6090829448956851917811918826538/25679762171496305218084448391046100\ 24722303022148859499202697*c_0101_6^17 - 197678088716456771269251580012413227159268233912737881223327882999/\ 2567976217149630521808444839104610024722303022148859499202697*c_010\ 1_6^16 + 1459831235780624519874795218352284417455021425195986242934\ 63761618/2567976217149630521808444839104610024722303022148859499202\ 697*c_0101_6^15 + 2039305945421903003508325082351390667272151209524\ 97632559248526259/2567976217149630521808444839104610024722303022148\ 859499202697*c_0101_6^14 - 1541611115083612399976560508940667545337\ 39408453606579509423068886/2567976217149630521808444839104610024722\ 303022148859499202697*c_0101_6^13 - 164020111937028078599163358913642337957605675015011149297905859887/\ 2567976217149630521808444839104610024722303022148859499202697*c_010\ 1_6^12 + 1190813810987644982137495119920053411621989620323365557120\ 72917158/2567976217149630521808444839104610024722303022148859499202\ 697*c_0101_6^11 + 9944489493351553731537726186920507279562132040849\ 6898183279749391/25679762171496305218084448391046100247223030221488\ 59499202697*c_0101_6^10 - 71577932095953952477759534013950149644787\ 089967703774187154696401/256797621714963052180844483910461002472230\ 3022148859499202697*c_0101_6^9 - 4472809721577024009446272599064981\ 1164151791150679273058839467470/25679762171496305218084448391046100\ 24722303022148859499202697*c_0101_6^8 + 29932653372285824036900605605055162714065591725721362323707600908/2\ 567976217149630521808444839104610024722303022148859499202697*c_0101\ _6^7 + 144541911384369636327415970311878431621510780244962264088565\ 00319/2567976217149630521808444839104610024722303022148859499202697\ *c_0101_6^6 - 73072725253590339165558187967813366733982025795650821\ 19127093588/2567976217149630521808444839104610024722303022148859499\ 202697*c_0101_6^5 - 30934053208025084613073988453659043373900781279\ 63170707690816025/2567976217149630521808444839104610024722303022148\ 859499202697*c_0101_6^4 + 84115738010929348093663980495114939846796\ 6648089236465751949481/25679762171496305218084448391046100247223030\ 22148859499202697*c_0101_6^3 + 367508493529691488728173055339653433\ 159003716594160352622058815/256797621714963052180844483910461002472\ 2303022148859499202697*c_0101_6^2 - 30674189732581284186967856832770452316523012347570935970235834/2567\ 976217149630521808444839104610024722303022148859499202697*c_0101_6 - 15753660245943655032583430394460666389533557904160965329405908/2567\ 976217149630521808444839104610024722303022148859499202697, c_0101_3 + 210793230945997575461847827215272729065998709227184148201241\ 9/2567976217149630521808444839104610024722303022148859499202697*c_0\ 101_6^33 - 84436236059804910497989695324927757181835618946459352482\ 7012/2567976217149630521808444839104610024722303022148859499202697*\ c_0101_6^32 - 21792410398467846795264721602162947793155385185994822\ 390833237/256797621714963052180844483910461002472230302214885949920\ 2697*c_0101_6^31 + 327303646766837068340640054526327556421204664927\ 69438968063879/2567976217149630521808444839104610024722303022148859\ 499202697*c_0101_6^30 - 2905360052749530571799817194374563685305507\ 9478148878310800423/25679762171496305218084448391046100247223030221\ 48859499202697*c_0101_6^29 - 48230305433811760068727139206689381929\ 625036859684057409396553/256797621714963052180844483910461002472230\ 3022148859499202697*c_0101_6^28 + 115572739281836065912523465753149\ 241444297089645242897582352273/256797621714963052180844483910461002\ 4722303022148859499202697*c_0101_6^27 - 942558447112151005455975822907919003671673044869127571544673431/256\ 7976217149630521808444839104610024722303022148859499202697*c_0101_6\ ^26 + 2355665728544492805926889378921126301942284696505447161440157\ 526/2567976217149630521808444839104610024722303022148859499202697*c\ _0101_6^25 + 817307771177519445466457164879405373730229845877249648\ 8704929059/25679762171496305218084448391046100247223030221488594992\ 02697*c_0101_6^24 - 10943798824941067698293347700947946764880334671\ 547144045121593628/256797621714963052180844483910461002472230302214\ 8859499202697*c_0101_6^23 - 308450703630435362223126765752213390363\ 16660161060300760460822239/2567976217149630521808444839104610024722\ 303022148859499202697*c_0101_6^22 + 25817007509320123692291617043156880288628275478043749496601555537/2\ 567976217149630521808444839104610024722303022148859499202697*c_0101\ _6^21 + 61996958942559011104126577052629797070476840642267752581078\ 103435/256797621714963052180844483910461002472230302214885949920269\ 7*c_0101_6^20 - 571836472645436211344500595450205768358716905702535\ 16259651834792/2567976217149630521808444839104610024722303022148859\ 499202697*c_0101_6^19 - 7108265243971465799233918729547567490201751\ 4196979373119325233828/25679762171496305218084448391046100247223030\ 22148859499202697*c_0101_6^18 + 11214384236840558714417597080380451\ 5578224705893553165909495451499/25679762171496305218084448391046100\ 24722303022148859499202697*c_0101_6^17 + 51225411693938587426419002202225286610619057986336817808996095496/2\ 567976217149630521808444839104610024722303022148859499202697*c_0101\ _6^16 - 15660841163917788939719757987305193264889661199162372062617\ 3383879/25679762171496305218084448391046100247223030221488594992026\ 97*c_0101_6^15 - 29879826001079332738906823674912061963746000615162\ 820678309914633/256797621714963052180844483910461002472230302214885\ 9499202697*c_0101_6^14 + 154448235033909361374610672953850176740489\ 448388165832703459883853/256797621714963052180844483910461002472230\ 3022148859499202697*c_0101_6^13 + 149242895555722722539306944693194\ 03448599549801952942953259716258/2567976217149630521808444839104610\ 024722303022148859499202697*c_0101_6^12 - 113889593072561702901488196355345377750131847165168586107996842637/\ 2567976217149630521808444839104610024722303022148859499202697*c_010\ 1_6^11 - 1394542353002448541924056352761953209265714547085671934200\ 299347/256797621714963052180844483910461002472230302214885949920269\ 7*c_0101_6^10 + 632643420595121262029959145655502581541775900599779\ 23575247539145/2567976217149630521808444839104610024722303022148859\ 499202697*c_0101_6^9 - 36669042422792314146570528396803124061635475\ 63390424263155872146/2567976217149630521808444839104610024722303022\ 148859499202697*c_0101_6^8 - 24751903028680159967870624616863339957\ 004900487669574294889586697/256797621714963052180844483910461002472\ 2303022148859499202697*c_0101_6^7 + 1609261331994671519959769897690203959216958940515547946612245788/25\ 67976217149630521808444839104610024722303022148859499202697*c_0101_\ 6^6 + 5980139658177319912564972375877753698639068954275586181211156\ 157/2567976217149630521808444839104610024722303022148859499202697*c\ _0101_6^5 - 7451421544095373945871043154397479283522714122291711082\ 6897919/25679762171496305218084448391046100247223030221488594992026\ 97*c_0101_6^4 - 724738997465549812689712872850131755453374664129452\ 559114682640/256797621714963052180844483910461002472230302214885949\ 9202697*c_0101_6^3 - 2400451282528461919490278338194720227059334694\ 5685126467255511/25679762171496305218084448391046100247223030221488\ 59499202697*c_0101_6^2 + 331622537836214423186641496555948507563076\ 24077033531317589014/2567976217149630521808444839104610024722303022\ 148859499202697*c_0101_6 + 1295124871598654127576240582061523192809\ 4654759238537676859/25679762171496305218084448391046100247223030221\ 48859499202697, c_0101_4 + 874059660467685308542394846291544865333931634203349824794785\ 8/2567976217149630521808444839104610024722303022148859499202697*c_0\ 101_6^33 + 32741879328404475789904129054047178180088366434873454097\ 74651/2567976217149630521808444839104610024722303022148859499202697\ *c_0101_6^32 - 8591208892715088602086674027173810486883369645877255\ 0956093349/25679762171496305218084448391046100247223030221488594992\ 02697*c_0101_6^31 + 72604742473183629052832671237228235921315708597\ 236815245070802/256797621714963052180844483910461002472230302214885\ 9499202697*c_0101_6^30 - 801917571404638161718926264062772515488091\ 16650971961926826791/2567976217149630521808444839104610024722303022\ 148859499202697*c_0101_6^29 - 2706874315305831544137021225539289538\ 16261058602930487775201665/2567976217149630521808444839104610024722\ 303022148859499202697*c_0101_6^28 + 259567046555090216274007692871443588148525731444005573476453301/256\ 7976217149630521808444839104610024722303022148859499202697*c_0101_6\ ^27 - 3795498639114771035031966328386829993828272897294073794241682\ 060/2567976217149630521808444839104610024722303022148859499202697*c\ _0101_6^26 + 678740118253183329956111267518037705689942860532089056\ 1335921988/25679762171496305218084448391046100247223030221488594992\ 02697*c_0101_6^25 + 38323576492445012118249075099746284436793907795\ 624431949996596726/256797621714963052180844483910461002472230302214\ 8859499202697*c_0101_6^24 - 154064305729855118401090441611476636197\ 87856252776709964337171473/2567976217149630521808444839104610024722\ 303022148859499202697*c_0101_6^23 - 130072574793472785254159742009139029796999035566431739904631911267/\ 2567976217149630521808444839104610024722303022148859499202697*c_010\ 1_6^22 + 1541300903811437344560687838774117627571781563159117863387\ 9352687/25679762171496305218084448391046100247223030221488594992026\ 97*c_0101_6^21 + 24449086195739105969242954339622062940679228742608\ 8217453926451561/25679762171496305218084448391046100247223030221488\ 59499202697*c_0101_6^20 - 79094360325714178562735684693573449031904\ 932028068244141097845065/256797621714963052180844483910461002472230\ 3022148859499202697*c_0101_6^19 - 321092534297221762978544881116398\ 893167385573621635588248887182069/256797621714963052180844483910461\ 0024722303022148859499202697*c_0101_6^18 + 253834334645591754570366562349366168319021234276435291518642652875/\ 2567976217149630521808444839104610024722303022148859499202697*c_010\ 1_6^17 + 3503688342473690840771100129547088148330957154880021726557\ 27006191/2567976217149630521808444839104610024722303022148859499202\ 697*c_0101_6^16 - 4003186505107322236136442153236097321769668258147\ 99158097181045888/2567976217149630521808444839104610024722303022148\ 859499202697*c_0101_6^15 - 3359285364436433903531385074434872044635\ 86684950757822072436194001/2567976217149630521808444839104610024722\ 303022148859499202697*c_0101_6^14 + 399036253189600636832181558924082446990733926495511166415097966512/\ 2567976217149630521808444839104610024722303022148859499202697*c_010\ 1_6^13 + 2598210824642019168014312660479358089980445595970425595776\ 05357615/2567976217149630521808444839104610024722303022148859499202\ 697*c_0101_6^12 - 2962002540922362171105143468928392312517069353596\ 55509983931510307/2567976217149630521808444839104610024722303022148\ 859499202697*c_0101_6^11 - 1483742611243283648893538069259643046780\ 95254288777118207256024609/2567976217149630521808444839104610024722\ 303022148859499202697*c_0101_6^10 + 168140478510113844542364582658177407775980736389864111551377653121/\ 2567976217149630521808444839104610024722303022148859499202697*c_010\ 1_6^9 + 63136369541245571966941557574568889931102854393750326632287\ 105713/256797621714963052180844483910461002472230302214885949920269\ 7*c_0101_6^8 - 6603298376184719685568898354455345453070244381607847\ 5068896269437/25679762171496305218084448391046100247223030221488594\ 99202697*c_0101_6^7 - 211127150748878979075333425322680614028882070\ 97696582289023203099/2567976217149630521808444839104610024722303022\ 148859499202697*c_0101_6^6 + 15452418072905891529644915890334317610\ 256147961416439210539297698/256797621714963052180844483910461002472\ 2303022148859499202697*c_0101_6^5 + 5072614425007366803104637385184564404401557182340206024054028647/25\ 67976217149630521808444839104610024722303022148859499202697*c_0101_\ 6^4 - 1781931634722281352455771964658429762979417342197832343679229\ 132/2567976217149630521808444839104610024722303022148859499202697*c\ _0101_6^3 - 6497063383554178966875348579312252555748468615705802126\ 40857957/2567976217149630521808444839104610024722303022148859499202\ 697*c_0101_6^2 + 72774994356940553629201686230559745260379577420814\ 533149987083/256797621714963052180844483910461002472230302214885949\ 9202697*c_0101_6 + 295642771912592794329524059838629143915682873574\ 15653454845366/2567976217149630521808444839104610024722303022148859\ 499202697, c_0101_6^34 - 10*c_0101_6^32 + 12*c_0101_6^31 - 12*c_0101_6^30 - 28*c_0101_6^29 + 42*c_0101_6^28 - 445*c_0101_6^27 + 938*c_0101_6^26 + 4108*c_0101_6^25 - 3440*c_0101_6^24 - 14327*c_0101_6^23 + 7465*c_0101_6^22 + 27642*c_0101_6^21 - 19802*c_0101_6^20 - 33857*c_0101_6^19 + 43452*c_0101_6^18 + 29568*c_0101_6^17 - 61957*c_0101_6^16 - 21307*c_0101_6^15 + 61266*c_0101_6^14 + 12476*c_0101_6^13 - 45911*c_0101_6^12 - 4052*c_0101_6^11 + 26082*c_0101_6^10 - 223*c_0101_6^9 - 10404*c_0101_6^8 + 538*c_0101_6^7 + 2660*c_0101_6^6 - 109*c_0101_6^5 - 401*c_0101_6^4 + 5*c_0101_6^3 + 32*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB