Magma V2.19-8 Tue Aug 20 2013 23:46:09 on localhost [Seed = 2867642536] Type ? for help. Type -D to quit. Loading file "K14n14386__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n14386 geometric_solution 10.29890045 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 0321 0132 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.762616756083 0.827966919928 0 3 5 4 0132 1023 0132 0132 0 0 0 0 0 1 -1 0 -1 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 0 0 -2 2 0 1 0 -1 0 0 0 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.418186509751 0.696985107612 6 0 0 7 0132 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.762616756083 0.827966919928 1 5 0 5 1023 2103 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 2 0 0 -2 0 -2 0 2 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562670332423 0.833635941843 8 9 1 10 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.298327370689 1.229845746234 3 3 6 1 3201 2103 3012 0132 0 0 0 0 0 -1 0 1 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 2 0 -2 -2 0 1 1 -1 0 0 1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493485270391 0.940679511745 2 5 10 8 0132 1230 1230 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0.810734295435 0.513844776662 10 11 2 11 1230 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.415849165812 1.741206321289 4 11 9 6 0132 2031 2031 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.610221515710 1.329860686522 11 4 10 8 2031 0132 1302 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.406308024122 0.877264772363 9 7 4 6 2031 3012 0132 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 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 1.482092940092 0.613887820701 8 7 9 7 1302 0132 1302 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.415849165812 1.741206321289 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_0']), 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_0011_11'], 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_0011_10'], 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : negation(d['c_0101_6']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_4'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_6']), 'c_1100_4' : negation(d['c_1001_6']), 'c_1100_7' : d['c_1001_0'], 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : negation(d['c_1001_6']), 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_1001_0'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0101_10'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_1001_6']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0011_11'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : d['c_0011_5'], 'c_1010_9' : negation(d['c_0101_5']), 'c_1010_8' : d['c_0011_11'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0011_11'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_5']), 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0011_10'], 'c_1100_8' : d['c_0101_5']})} 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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_5, c_0101_6, c_1001_0, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 1746154333210103158106600926605722570055220677614146896975694863804\ 485/136405799469253406188130249849522843846964486029235127777588181\ 184*c_1001_6^18 - 4812675518912180016735285892111690080418378713207\ 17021113983561006229/4546859982308446872937674994984094794898816200\ 9745042592529393728*c_1001_6^17 - 183216987156355024220274081677346\ 45327902994248611792640109717905679979/6820289973462670309406512492\ 4761421923482243014617563888794090592*c_1001_6^16 + 1729791928634063773919856062821895541648338391682602207210615932816\ 69/1217908923832619698108305802227882534347897196689599355157037332\ *c_1001_6^15 - 3064862406627048023804807719335018483931298534158686\ 52358863387311512885/1364057994692534061881302498495228438469644860\ 29235127777588181184*c_1001_6^14 + 4354123433868750279248432386686473000308155889195655741280209365029\ 2071/15156199941028156243125583316613649316329387336581680864176464\ 576*c_1001_6^13 - 2963794143398910214602787885810112728648504627957\ 1455828894838674378873/28417874889427792955860468718650592468117601\ 25609065162033087108*c_1001_6^12 + 1059924705905265034147518920060554223675267009746880849206930137563\ 954357/682028997346267030940651249247614219234822430146175638887940\ 90592*c_1001_6^11 - 38205435485615848015721342898987749683815188987\ 86884985231973413979675353/1364057994692534061881302498495228438469\ 64486029235127777588181184*c_1001_6^10 + 2280345038489775601335581107179745963758104968933947833871089441844\ 943511/682028997346267030940651249247614219234822430146175638887940\ 90592*c_1001_6^9 - 111175189730029667406373906899220850885681320486\ 6102248375268819055988449/34101449867313351547032562462380710961741\ 121507308781944397045296*c_1001_6^8 + 4398010923208044916310354113756559333772663064057234990045981762336\ 61545/1948654278132191516973289283564612054956635514703358968251259\ 7312*c_1001_6^7 - 1490282285775899740854126063072590718237747172589\ 62845417099464511597091/1515619994102815624312558331661364931632938\ 7336581680864176464576*c_1001_6^6 + 1744862502335402578896776891225318284035830644607472483543711321011\ 82469/6820289973462670309406512492476142192348224301461756388879409\ 0592*c_1001_6^5 - 1490869637874450550713413192384754322816220888500\ 95510825555417335495405/1364057994692534061881302498495228438469644\ 86029235127777588181184*c_1001_6^4 + 1391900081857756745451647907374200231801326634654434993326391641909\ 0527/68202899734626703094065124924761421923482243014617563888794090\ 592*c_1001_6^3 - 21595133408413612589193840692087628418450550512453\ 4239097447227060571/37890499852570390607813958291534123290823468341\ 45420216044116144*c_1001_6^2 + 731798114926847583638060712215426314\ 471186656295235825318239513948009/136405799469253406188130249849522\ 843846964486029235127777588181184*c_1001_6 - 2505937728678337594068251542606967442359777280024537523525758931136\ 3/13640579946925340618813024984952284384696448602923512777758818118\ 4, c_0011_0 - 1, c_0011_10 + 24010758710380091490266670168856001800695665678127018819404\ 0/14749659979564739840482316066316457568520772134495947235831*c_100\ 1_6^18 + 3222122510133326832415214704765250986306063528052155456957\ 0/4916553326521579946827438688772152522840257378165315745277*c_1001\ _6^17 + 49430309340642076915831162353087629991698493356731028696645\ 54/14749659979564739840482316066316457568520772134495947235831*c_10\ 01_6^16 - 481088743657686469832440006746297293887204192064942821778\ 8115/14749659979564739840482316066316457568520772134495947235831*c_\ 1001_6^15 + 4303443341429893384799602757841638218560217195260896411\ 6080133/14749659979564739840482316066316457568520772134495947235831\ *c_1001_6^14 - 7959029350856626202761594608089693605942938022733718\ 324335775/163885110884052664894247956292405084094675245938843858175\ 9*c_1001_6^13 + 721579456264666072730038288668695908050621257505134\ 93999461963/4916553326521579946827438688772152522840257378165315745\ 277*c_1001_6^12 - 3718702356897346191917587596602437945844340983782\ 24850084564290/1474965997956473984048231606631645756852077213449594\ 7235831*c_1001_6^11 + 639669462246010172596161593244494332430797854\ 807188598806052760/147496599795647398404823160663164575685207721344\ 95947235831*c_1001_6^10 - 83594885928692941059339269848373203731862\ 2803709562687178967547/14749659979564739840482316066316457568520772\ 134495947235831*c_1001_6^9 + 85236801281222807817460213747944650914\ 7655954723571258271434328/14749659979564739840482316066316457568520\ 772134495947235831*c_1001_6^8 - 65262079045250238239312528723153447\ 6253753772524504276007508746/14749659979564739840482316066316457568\ 520772134495947235831*c_1001_6^7 + 37196248420007686135612706246649232106737798724093609942251632/1638\ 851108840526648942479562924050840946752459388438581759*c_1001_6^6 - 106206568342988508999743574392052121419152695259066066229381248/147\ 49659979564739840482316066316457568520772134495947235831*c_1001_6^5 + 32426032916546398741663544841110672618780793207738247771585340/14\ 749659979564739840482316066316457568520772134495947235831*c_1001_6^\ 4 - 10662811362752776804978834949439093690436404054414152063953157/\ 14749659979564739840482316066316457568520772134495947235831*c_1001_\ 6^3 + 215747383690544638108656826636566573568047048743026062415197/\ 1638851108840526648942479562924050840946752459388438581759*c_1001_6\ ^2 - 384578602531723252336733317213657991183001803598759638983777/1\ 4749659979564739840482316066316457568520772134495947235831*c_1001_6 + 8572758644440910440791595495428089598535370799387428274257/147496\ 59979564739840482316066316457568520772134495947235831, c_0011_11 + 9084774289157770667465028562012711768774201334759749022960/\ 14749659979564739840482316066316457568520772134495947235831*c_1001_\ 6^18 - 2957278397460642848278489232566304591079116099469715789970/4\ 916553326521579946827438688772152522840257378165315745277*c_1001_6^\ 17 + 182012963308362997643598156060527764031966309536438102523189/1\ 4749659979564739840482316066316457568520772134495947235831*c_1001_6\ ^16 - 440376517976173477998447462561161200938418350892916613128099/\ 14749659979564739840482316066316457568520772134495947235831*c_1001_\ 6^15 + 187952003754168824958727305528548504461944425420253364247573\ 9/14749659979564739840482316066316457568520772134495947235831*c_100\ 1_6^14 - 5517298373005876413908175105242995949442905398924678689519\ 04/1638851108840526648942479562924050840946752459388438581759*c_100\ 1_6^13 + 3979058511137105298864323285623940916770265425262052665635\ 815/4916553326521579946827438688772152522840257378165315745277*c_10\ 01_6^12 - 254506327429764019686023980816527173672093169710378362203\ 70192/14749659979564739840482316066316457568520772134495947235831*c\ _1001_6^11 + 437193104203032357345336089666254040313586958693047017\ 80657275/1474965997956473984048231606631645756852077213449594723583\ 1*c_1001_6^10 - 653956845929344229513045268418698640429712309106080\ 32790886250/1474965997956473984048231606631645756852077213449594723\ 5831*c_1001_6^9 + 7642468537122930377995357198670348416310382296728\ 1547014433842/14749659979564739840482316066316457568520772134495947\ 235831*c_1001_6^8 - 70154965092609799027185539435807270397443573115\ 567143508266206/147496599795647398404823160663164575685207721344959\ 47235831*c_1001_6^7 + 531567114670055821967867871817893870578265164\ 8295738689493338/16388511088405266489424795629240508409467524593884\ 38581759*c_1001_6^6 - 225353292270285966927014009459693510483366973\ 30651365465422505/1474965997956473984048231606631645756852077213449\ 5947235831*c_1001_6^5 + 7474001315945473106907065727463886269743164\ 928700643704305263/147496599795647398404823160663164575685207721344\ 95947235831*c_1001_6^4 - 236007833236769422302353173504410452835649\ 7731546817172907268/14749659979564739840482316066316457568520772134\ 495947235831*c_1001_6^3 + 78325301005864505541801745343957225656973\ 200522432091666185/163885110884052664894247956292405084094675245938\ 8438581759*c_1001_6^2 - 1346162180780497847199274399979461538044798\ 57453215768202558/1474965997956473984048231606631645756852077213449\ 5947235831*c_1001_6 + 163757101321828517808219622060087649244461117\ 21327033644901/1474965997956473984048231606631645756852077213449594\ 7235831, c_0011_4 - 272211768672976331637473302130143898457172406863068312500311\ /9833106653043159893654877377544305045680514756330631490554*c_1001_\ 6^18 - 17198743650793997382460281246995683209635412793697876987501/\ 1638851108840526648942479562924050840946752459388438581759*c_1001_6\ ^17 - 2801337424913400090632841201404174246474959491638700162174104\ /4916553326521579946827438688772152522840257378165315745277*c_1001_\ 6^16 + 279238592997857225191145359986988757595883423773565412968572\ 8/4916553326521579946827438688772152522840257378165315745277*c_1001\ _6^15 - 48943610131946074720926092780010494249843326256553179070807\ 025/9833106653043159893654877377544305045680514756330631490554*c_10\ 01_6^14 + 137284214865945729306525053532741254335020031803348965861\ 56742/1638851108840526648942479562924050840946752459388438581759*c_\ 1001_6^13 - 4125831143846364179284665151002341842075159177806120926\ 1113921/1638851108840526648942479562924050840946752459388438581759*\ c_1001_6^12 + 21382631210688408476713567009015294623535018412976587\ 9034615214/49165533265215799468274386887721525228402573781653157452\ 77*c_1001_6^11 - 73613109550349572005705563439417130222572053130073\ 4290243073129/98331066530431598936548773775443050456805147563306314\ 90554*c_1001_6^10 + 96630842362545146101518288784516709449354330491\ 1306992986394725/98331066530431598936548773775443050456805147563306\ 31490554*c_1001_6^9 - 991301939787615044171012748864318701437788140\ 399295595684832359/983310665304315989365487737754430504568051475633\ 0631490554*c_1001_6^8 + 3828762489009099062807220327527890915161345\ 28461295713200655286/4916553326521579946827438688772152522840257378\ 165315745277*c_1001_6^7 - 13326394219178225571757237471293276608179\ 3271677005919597017085/32777022176810532978849591258481016818935049\ 18776877163518*c_1001_6^6 + 131048132876416705232639581218810627433\ 730122858651953521247511/983310665304315989365487737754430504568051\ 4756330631490554*c_1001_6^5 - 2001486986031300508199247794709402916\ 4267658000576879566379419/49165533265215799468274386887721525228402\ 57378165315745277*c_1001_6^4 + 640139524947559820824777805815324374\ 4625399806158347873257022/49165533265215799468274386887721525228402\ 57378165315745277*c_1001_6^3 - 406377458138585293919462107004516364\ 699637524611705865416520/163885110884052664894247956292405084094675\ 2459388438581759*c_1001_6^2 + 4915754212978539815706938472050555491\ 52220444228141938027957/9833106653043159893654877377544305045680514\ 756330631490554*c_1001_6 - 8596589557618863213143748962352314093411\ 419303263490702028/491655332652157994682743868877215252284025737816\ 5315745277, c_0011_5 - 15184896277890339115940959282761522045742803898670638150235/\ 3277702217681053297884959125848101681893504918776877163518*c_1001_6\ ^18 - 8560487592329580574689983482625925954952277269438485084079/32\ 77702217681053297884959125848101681893504918776877163518*c_1001_6^1\ 7 - 157285135627255786408389800640350856292997164019900930292306/16\ 38851108840526648942479562924050840946752459388438581759*c_1001_6^1\ 6 + 126636794089139748410946895803797955111922737661352956227647/16\ 38851108840526648942479562924050840946752459388438581759*c_1001_6^1\ 5 - 2692876076958697543565187509314483702421450015158214157815571/3\ 277702217681053297884959125848101681893504918776877163518*c_1001_6^\ 14 + 4106763884246578301471246132902261706041792459893783874291703/\ 3277702217681053297884959125848101681893504918776877163518*c_1001_6\ ^13 - 6566934403255609438619617512325737310533347406236084340556008\ /1638851108840526648942479562924050840946752459388438581759*c_1001_\ 6^12 + 107835142454144365591303187820007333874565585704136614308508\ 73/1638851108840526648942479562924050840946752459388438581759*c_100\ 1_6^11 - 3750550724810101730411587213402058398455604563477089538447\ 0087/3277702217681053297884959125848101681893504918776877163518*c_1\ 001_6^10 + 23848033280576598058153589508871180686134812715396532451\ 011647/1638851108840526648942479562924050840946752459388438581759*c\ _1001_6^9 - 2388233091751311875910553896529656340758706512330730266\ 6332291/1638851108840526648942479562924050840946752459388438581759*\ c_1001_6^8 + 355517038735075782914982917137834352569244216889302301\ 06855387/3277702217681053297884959125848101681893504918776877163518\ *c_1001_6^7 - 17494681142270846891549058548892548067228683037428710\ 262812823/327770221768105329788495912584810168189350491877687716351\ 8*c_1001_6^6 + 2724806841462038298333978398357723716950977060505867\ 896677074/163885110884052664894247956292405084094675245938843858175\ 9*c_1001_6^5 - 1976953574458820174346506755011352747521621566888319\ 839659531/327770221768105329788495912584810168189350491877687716351\ 8*c_1001_6^4 + 2996644618076295432013463923066703894986403928960491\ 11852033/1638851108840526648942479562924050840946752459388438581759\ *c_1001_6^3 - 42337913317842008185079126669041891035340686093732146\ 595082/1638851108840526648942479562924050840946752459388438581759*c\ _1001_6^2 + 2145710525137675866179096060230906822055631807095191680\ 4699/3277702217681053297884959125848101681893504918776877163518*c_1\ 001_6 - 87168974314675822503855740693348495724833018048342326323/32\ 77702217681053297884959125848101681893504918776877163518, c_0101_0 + 22380682726723876201850042137631554892601386260423483399717/\ 14749659979564739840482316066316457568520772134495947235831*c_1001_\ 6^18 + 6549555313985746794284186860519091357818024886959742422778/4\ 916553326521579946827438688772152522840257378165315745277*c_1001_6^\ 17 + 466430968826742031725240653233151968135771810093104634358797/1\ 4749659979564739840482316066316457568520772134495947235831*c_1001_6\ ^16 - 228859137693141705582740114095168550938767046431763027096804/\ 14749659979564739840482316066316457568520772134495947235831*c_1001_\ 6^15 + 382694070968138028626974239910291438481661409162271549998600\ 9/14749659979564739840482316066316457568520772134495947235831*c_100\ 1_6^14 - 5331547659123280012164300159973024877811267802513447480311\ 35/1638851108840526648942479562924050840946752459388438581759*c_100\ 1_6^13 + 5751448972210559571801211317358545998231732962636574915317\ 787/4916553326521579946827438688772152522840257378165315745277*c_10\ 01_6^12 - 254896028852894497930599810892593688266511767400556982756\ 35456/14749659979564739840482316066316457568520772134495947235831*c\ _1001_6^11 + 444053661884116111866106635019788851473515579762769904\ 17928954/1474965997956473984048231606631645756852077213449594723583\ 1*c_1001_6^10 - 517378359268577507910710521836097278482670288820111\ 76927830784/1474965997956473984048231606631645756852077213449594723\ 5831*c_1001_6^9 + 4611818925208936523294181483255862948605970646646\ 6276958603969/14749659979564739840482316066316457568520772134495947\ 235831*c_1001_6^8 - 27877600750230894395844970716745436405420910268\ 114203503110844/147496599795647398404823160663164575685207721344959\ 47235831*c_1001_6^7 + 798092713534711082310096567327432085142682158\ 371433673902119/163885110884052664894247956292405084094675245938843\ 8581759*c_1001_6^6 + 1264607702388726787364712254982792657157875337\ 259061825069317/147496599795647398404823160663164575685207721344959\ 47235831*c_1001_6^5 + 193393068432879164442755545317070104812859248\ 330801060282923/147496599795647398404823160663164575685207721344959\ 47235831*c_1001_6^4 - 123062537512312174777242412570885792846675456\ 375801663468723/147496599795647398404823160663164575685207721344959\ 47235831*c_1001_6^3 - 893506910976588045251449723916844073158162350\ 2969665786917/16388511088405266489424795629240508409467524593884385\ 81759*c_1001_6^2 - 262477861877374443196263650908565857863067071373\ 18421920910/1474965997956473984048231606631645756852077213449594723\ 5831*c_1001_6 - 198368292306055813256915969104625955739908635707227\ 64828310/1474965997956473984048231606631645756852077213449594723583\ 1, c_0101_1 - 38549743029638637515567925776309199200615969074051579110005/\ 29499319959129479680964632132632915137041544268991894471662*c_1001_\ 6^18 - 1230667837740919397927304163781061061256724035032194299171/4\ 916553326521579946827438688772152522840257378165315745277*c_1001_6^\ 17 - 394519252820759130486807742114746691073350305494439155305072/1\ 4749659979564739840482316066316457568520772134495947235831*c_1001_6\ ^16 + 470645884434659016019292678836766536389247527407824947880087/\ 14749659979564739840482316066316457568520772134495947235831*c_1001_\ 6^15 - 704474532018091834967692845362405485184762136192270754362583\ 7/29499319959129479680964632132632915137041544268991894471662*c_100\ 1_6^14 + 7195204193311781946309728020026532199337146476033005028764\ 68/1638851108840526648942479562924050840946752459388438581759*c_100\ 1_6^13 - 6159729794027701830389681331997380164052250592370767242308\ 533/4916553326521579946827438688772152522840257378165315745277*c_10\ 01_6^12 + 334044015283431753541854924016911497744651334856301593117\ 77512/14749659979564739840482316066316457568520772134495947235831*c\ _1001_6^11 - 114320658801078275632873047475949294537975303551972922\ 740790101/294993199591294796809646321326329151370415442689918944716\ 62*c_1001_6^10 + 15460440435235328952457464600029204093451317221591\ 7014455783817/29499319959129479680964632132632915137041544268991894\ 471662*c_1001_6^9 - 16276550031245744689630488394093072387300076311\ 5072790342758173/29499319959129479680964632132632915137041544268991\ 894471662*c_1001_6^8 + 65547440738296251688932291551948509983423481\ 617808832201354393/147496599795647398404823160663164575685207721344\ 95947235831*c_1001_6^7 - 817030322331782813959225024624565093419602\ 9243245607805875073/32777022176810532978849591258481016818935049187\ 76877163518*c_1001_6^6 + 271590979871320707395898595157654717433018\ 08535959950484541449/2949931995912947968096463213263291513704154426\ 8991894471662*c_1001_6^5 - 4273436247265444521968899689160873279281\ 311993383135085358508/147496599795647398404823160663164575685207721\ 34495947235831*c_1001_6^4 + 147234393189313732791211562977485012998\ 7203887841989011775624/14749659979564739840482316066316457568520772\ 134495947235831*c_1001_6^3 - 35385748736124043636911233307977796710\ 748225163043277037406/163885110884052664894247956292405084094675245\ 9388438581759*c_1001_6^2 + 1237684681975101338281831409961027919282\ 87287106030095091849/2949931995912947968096463213263291513704154426\ 8991894471662*c_1001_6 - 761985156380532203110327633983899282266921\ 026065239016125/147496599795647398404823160663164575685207721344959\ 47235831, c_0101_10 + 26876865597985754078972086421540838029885999106355669721269\ /14749659979564739840482316066316457568520772134495947235831*c_1001\ _6^18 + 1507796543667813298790411864790930593459623239656862426895/\ 9833106653043159893654877377544305045680514756330631490554*c_1001_6\ ^17 + 549553876592330978630613949762969260969553997949238404526216/\ 14749659979564739840482316066316457568520772134495947235831*c_1001_\ 6^16 - 715589357945693965363491343230343619200316419348857259401508\ /14749659979564739840482316066316457568520772134495947235831*c_1001\ _6^15 + 49816395551688175242317327561322370744704243579148437789222\ 46/14749659979564739840482316066316457568520772134495947235831*c_10\ 01_6^14 - 212486538975202398952234889243256026309697307045412406817\ 7861/3277702217681053297884959125848101681893504918776877163518*c_1\ 001_6^13 + 89125039258543555395417324672938433812355990148190173497\ 15191/4916553326521579946827438688772152522840257378165315745277*c_\ 1001_6^12 - 4938342935974322695435812538696438295860769581423165605\ 7752089/14749659979564739840482316066316457568520772134495947235831\ *c_1001_6^11 + 8474707985730567526583914428597412479861753160903534\ 0480483457/14749659979564739840482316066316457568520772134495947235\ 831*c_1001_6^10 - 2330268824971593810944860004657699184289395282675\ 37189577972563/2949931995912947968096463213263291513704154426899189\ 4471662*c_1001_6^9 + 2505887190300939855585625679107045353208616758\ 20736829703544985/2949931995912947968096463213263291513704154426899\ 1894471662*c_1001_6^8 - 2080208817876679996646782095323773060133746\ 41073772124480292615/2949931995912947968096463213263291513704154426\ 8991894471662*c_1001_6^7 + 6843214030240149861363648031977500067173\ 788057721348154906899/163885110884052664894247956292405084094675245\ 9388438581759*c_1001_6^6 - 4978889104524148840121125903056990539966\ 8640194268336194390079/29499319959129479680964632132632915137041544\ 268991894471662*c_1001_6^5 + 16600845605139064937913960800299196297\ 411977904019486246156953/294993199591294796809646321326329151370415\ 44268991894471662*c_1001_6^4 - 278806131050526439209290365353864376\ 7578921183929923518118296/14749659979564739840482316066316457568520\ 772134495947235831*c_1001_6^3 + 78982232004981045317039786101329209\ 998705678971729176108368/163885110884052664894247956292405084094675\ 2459388438581759*c_1001_6^2 - 1497578638093305121189473800896295676\ 06378987813113917876682/1474965997956473984048231606631645756852077\ 2134495947235831*c_1001_6 + 371710245650817079548380713780287194025\ 90881094188848802633/2949931995912947968096463213263291513704154426\ 8991894471662, c_0101_5 - 150680291799820664278515022213408257816870794752220952317975\ /58998639918258959361929264265265830274083088537983788943324*c_1001\ _6^18 - 28301474470801478017755867053986203955501267040168298320197\ /19666213306086319787309754755088610091361029512661262981108*c_1001\ _6^17 - 15566472061605579653930887906350977677320822473009592977690\ 11/29499319959129479680964632132632915137041544268991894471662*c_10\ 01_6^16 + 629782736457164488685702288415283484944525538695465315784\ 933/14749659979564739840482316066316457568520772134495947235831*c_1\ 001_6^15 - 26552651646219654313543598516841995938878920866328656096\ 032971/58998639918258959361929264265265830274083088537983788943324*\ c_1001_6^14 + 45146535851925125516910415163057127025482831316453776\ 43913039/6555404435362106595769918251696203363787009837553754327036\ *c_1001_6^13 - 1074135438362107510986498518696705312333715002973505\ 9427889838/49165533265215799468274386887721525228402573781653157452\ 77*c_1001_6^12 + 10596193448585011543608620479451181763726443950144\ 4034766286809/29499319959129479680964632132632915137041544268991894\ 471662*c_1001_6^11 - 3652782346898234432883854543465242657856678689\ 10750541067495999/5899863991825895936192926426526583027408308853798\ 3788943324*c_1001_6^10 + 115565480124509432654914774810962206030157\ 877648294872093391909/147496599795647398404823160663164575685207721\ 34495947235831*c_1001_6^9 - 227320215607590996773729238103038944019\ 138520946753261691297115/294993199591294796809646321326329151370415\ 44268991894471662*c_1001_6^8 + 328783311577465035635427654734396084\ 246265201887322179888163547/589986399182589593619292642652658302740\ 83088537983788943324*c_1001_6^7 - 166665890795901517833631573543360\ 58051218404595520758881866065/6555404435362106595769918251696203363\ 787009837553754327036*c_1001_6^6 + 9384752627698242737433268339322695088677269626295291924629336/14749\ 659979564739840482316066316457568520772134495947235831*c_1001_6^5 - 12557209146129896061790108713798368136450358781000612652438845/5899\ 8639918258959361929264265265830274083088537983788943324*c_1001_6^4 + 2331120106865229369945959157522076760501403800198797528715299/29499\ 319959129479680964632132632915137041544268991894471662*c_1001_6^3 - 17443903466700992848137730313541869406672054755394178736696/1638851\ 108840526648942479562924050840946752459388438581759*c_1001_6^2 + 138216363475783584384739216060386706050465737361767042532811/589986\ 39918258959361929264265265830274083088537983788943324*c_1001_6 + 57742062006393549270415653934421702654139671358342894127681/5899863\ 9918258959361929264265265830274083088537983788943324, c_0101_6 - 488791632445711549297158981183793297639387082720783010721/16\ 38851108840526648942479562924050840946752459388438581759*c_1001_6^1\ 8 + 1441878304328228285000540622270649681741600500487889502219/1638\ 851108840526648942479562924050840946752459388438581759*c_1001_6^17 - 9457350904552517902606792605107086948599592444039103722959/16388511\ 08840526648942479562924050840946752459388438581759*c_1001_6^16 + 43529924141186214783419870715066037885672660389004242376485/1638851\ 108840526648942479562924050840946752459388438581759*c_1001_6^15 - 121526590269022607096092570513472882643542499576534964830896/163885\ 1108840526648942479562924050840946752459388438581759*c_1001_6^14 + 441116213507898916596293187807846175521990086553080103863588/163885\ 1108840526648942479562924050840946752459388438581759*c_1001_6^13 - 939281900184228039579380172528726718038414341825777266918951/163885\ 1108840526648942479562924050840946752459388438581759*c_1001_6^12 + 2254659219320097217944133771799002416586563523719891313011199/16388\ 51108840526648942479562924050840946752459388438581759*c_1001_6^11 - 3892224580980715546528549940282667757388097310812939883931122/16388\ 51108840526648942479562924050840946752459388438581759*c_1001_6^10 + 6168162686875043325066033655410831105167497485471484892552594/16388\ 51108840526648942479562924050840946752459388438581759*c_1001_6^9 - 7604198242875687531780191572265544959283726661867329183480206/16388\ 51108840526648942479562924050840946752459388438581759*c_1001_6^8 + 7372232306836665822392515415614065938926009902628963440843286/16388\ 51108840526648942479562924050840946752459388438581759*c_1001_6^7 - 5366138059636472134026163792504793166200524551901424689871594/16388\ 51108840526648942479562924050840946752459388438581759*c_1001_6^6 + 2678326326794681918761222402605592076833079658013508543469320/16388\ 51108840526648942479562924050840946752459388438581759*c_1001_6^5 - 883675398026759143808653199086751019690689972135994593870600/163885\ 1108840526648942479562924050840946752459388438581759*c_1001_6^4 + 265128324626787634090795074859452158606869558241224917735791/163885\ 1108840526648942479562924050840946752459388438581759*c_1001_6^3 - 81864564683725218229334310364691997794460796307598360280370/1638851\ 108840526648942479562924050840946752459388438581759*c_1001_6^2 + 14338077636571584080976032371896096130407713312913469902568/1638851\ 108840526648942479562924050840946752459388438581759*c_1001_6 - 1744691239667865995016139859204812244499767930897628393111/16388511\ 08840526648942479562924050840946752459388438581759, c_1001_0 - 84422985691166852114267594950391248801353758050569990499892/\ 14749659979564739840482316066316457568520772134495947235831*c_1001_\ 6^18 - 15570157764268734239426483101752794221688015102924481324214/\ 4916553326521579946827438688772152522840257378165315745277*c_1001_6\ ^17 - 1742572710827341111307351922495646105388073390510308486273051\ /14749659979564739840482316066316457568520772134495947235831*c_1001\ _6^16 + 14303858741577148161294234833503180762329421731224316335356\ 73/14749659979564739840482316066316457568520772134495947235831*c_10\ 01_6^15 - 148648424212502666402940306475063522576793900750718139694\ 65388/14749659979564739840482316066316457568520772134495947235831*c\ _1001_6^14 + 254513397604341260162299683763086034181842880214992157\ 4621755/1638851108840526648942479562924050840946752459388438581759*\ c_1001_6^13 - 24077545027656169175141135297515349228162086925401661\ 358550141/491655332652157994682743868877215252284025737816531574527\ 7*c_1001_6^12 + 119220318913998645880038286453902377522586221527272\ 806261759683/147496599795647398404823160663164575685207721344959472\ 35831*c_1001_6^11 - 20489260997414773794064916103330502510926469915\ 2569040038420671/14749659979564739840482316066316457568520772134495\ 947235831*c_1001_6^10 + 2597086164479329003901038488505598480827710\ 98072485253048346160/1474965997956473984048231606631645756852077213\ 4495947235831*c_1001_6^9 - 2548614100980002349330630903250457776524\ 99650884307506659989570/1474965997956473984048231606631645756852077\ 2134495947235831*c_1001_6^8 + 1839766627189720927014281861753671859\ 54934526258564597122488623/1474965997956473984048231606631645756852\ 0772134495947235831*c_1001_6^7 - 9249173840715743678764888037771579\ 181139313976936426851271932/163885110884052664894247956292405084094\ 6752459388438581759*c_1001_6^6 + 2025681518578828226188907776153548\ 1769377500546274258984344299/14749659979564739840482316066316457568\ 520772134495947235831*c_1001_6^5 - 6617994747742350080664905736989813451822405624307241407686146/14749\ 659979564739840482316066316457568520772134495947235831*c_1001_6^4 + 2632790799520896535026853759219095387366448885568214789022613/14749\ 659979564739840482316066316457568520772134495947235831*c_1001_6^3 - 30989572946700778076509263962049871374863265873772318834544/1638851\ 108840526648942479562924050840946752459388438581759*c_1001_6^2 + 64869874646034705492340708048584170601516172903906105376584/1474965\ 9979564739840482316066316457568520772134495947235831*c_1001_6 + 7975562460614431625113876853836789839231646442218075441675/14749659\ 979564739840482316066316457568520772134495947235831, c_1001_6^19 + 68/169*c_1001_6^18 + 3481/169*c_1001_6^17 - 3386/169*c_1001_6^16 + 2333/13*c_1001_6^15 - 50458/169*c_1001_6^14 + 152709/169*c_1001_6^13 - 262298/169*c_1001_6^12 + 451939/169*c_1001_6^11 - 591217/169*c_1001_6^10 + 604854/169*c_1001_6^9 - 465567/169*c_1001_6^8 + 241916/169*c_1001_6^7 - 79363/169*c_1001_6^6 + 25055/169*c_1001_6^5 - 8093/169*c_1001_6^4 + 1510/169*c_1001_6^3 - 329/169*c_1001_6^2 + 18/169*c_1001_6 - 1/169 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.220 Total time: 4.440 seconds, Total memory usage: 32.09MB