Magma V2.19-8 Wed Aug 21 2013 00:52:39 on localhost [Seed = 1511804901] Type ? for help. Type -D to quit. Loading file "L12n1024__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1024 geometric_solution 12.48734889 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 3120 0132 1 0 1 1 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 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.837205584889 1.111806190405 0 2 0 4 0132 1230 3120 0132 1 0 1 1 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 1 -1 0 0 0 -1 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.837205584889 1.111806190405 3 0 1 5 1230 0132 3012 0132 1 1 1 1 0 0 0 0 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.699829681226 0.452944396382 6 2 0 6 0132 3012 0132 2103 1 0 1 1 0 -1 0 1 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 0 0 0 0 1 1 -2 1 0 1 -2 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.404587683814 1.096438643537 7 8 1 7 0132 0132 0132 2103 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 0 0 0 0 0 0 0 1 0 -1 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.591061545722 0.881982967851 8 9 2 9 0132 0132 0132 0213 1 1 1 1 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 -1 1 -2 0 0 2 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.308958128903 1.066145739121 3 8 7 3 0132 0321 3120 2103 1 0 1 1 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 0 0 -1 0 -1 2 0 -2 0 2 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404587683814 1.096438643537 4 10 6 4 0132 0132 3120 2103 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 0 0 0 0 0 1 -1 -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.591061545722 0.881982967851 5 4 11 6 0132 0132 0132 0321 1 1 1 1 0 0 0 0 -1 0 0 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 2 0 0 -2 -2 0 0 2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.263828462245 0.621396920973 10 5 12 5 0132 0132 0132 0213 1 1 1 1 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 1 -1 -1 0 0 1 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.308958128903 1.066145739121 9 7 11 12 0132 0132 2310 2031 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.894630788100 0.580601869752 12 10 12 8 2310 3201 3201 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.994310150307 0.835376665628 11 10 11 9 2310 1302 3201 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.282311993762 0.628005410348 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0101_2'], 'c_1001_7' : d['c_0011_12'], 'c_1001_6' : negation(d['c_0011_12']), 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0011_0'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : negation(d['c_1001_10']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_1001_10']), 'c_1010_10' : d['c_0011_12'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : 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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_11']), 'c_1100_8' : negation(d['c_0011_12']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : negation(d['c_0101_6']), 'c_1100_6' : negation(d['c_0101_6']), 'c_1100_1' : negation(d['c_0101_0']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : d['c_1001_0'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_11']), 'c_1010_4' : negation(d['c_1001_10']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : d['c_0101_2'], 's_3_1' : d['1'], 's_3_0' : negation(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'], 'c_1100_12' : negation(d['c_0011_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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_10']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_1'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_12' : negation(d['c_0101_11']), 'c_0101_12' : d['c_0101_10'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_11']), 'c_0101_8' : negation(d['c_0101_10']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0101_10']), 'c_0110_4' : d['c_0101_6'], 'c_0110_7' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_6, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 8951672936912202255296004470967660518364915178199551993559063441371\ 519/134772310477436065734575855357283120697472991131480417848463629\ 3109303808*c_1001_10^18 + 85171615745509650130398320172683811687261\ 878395235715163889224974352373/134772310477436065734575855357283120\ 6974729911314804178484636293109303808*c_1001_10^17 + 3594079596263042982608700595263892854277904287019298090620228430526\ 38451/2021584657161540986018637830359246810462094866972206267726954\ 439663955712*c_1001_10^16 - 243113200158656141966929108408387882264\ 96307509136243412863400818868890741/4043169314323081972037275660718\ 493620924189733944412535453908879327911424*c_1001_10^15 + 1548924541158942499531503351564193559348153032459792587201718774219\ 1203849/33693077619359016433643963839320780174368247782870104462115\ 9073277325952*c_1001_10^14 - 42687903166054591088042925922736637630\ 8814963433557614392325293083859235659/20215846571615409860186378303\ 59246810462094866972206267726954439663955712*c_1001_10^13 + 3489656989487788830330012593582910356271957425955784830798660904415\ 35925263/5053961642903852465046594575898117026155237167430515669317\ 38609915988928*c_1001_10^12 - 7741580406039158809315313070634766925\ 67237067455805950923415770980704695337/4492410349247868857819195178\ 57610402324909970438268059494878764369767936*c_1001_10^11 + 1358353418154685383351892057319393421117702886970329608423368260848\ 8334303935/40431693143230819720372756607184936209241897339444125354\ 53908879327911424*c_1001_10^10 - 3450690679169781240954376435203057\ 097257678391203640917552465010061441879623/673861552387180328672879\ 276786415603487364955657402089242318146554651904*c_1001_10^9 + 7921214811226762351570042340345113878377091563892052128837861673708\ 041219623/134772310477436065734575855357283120697472991131480417848\ 4636293109303808*c_1001_10^8 - 897584227761708679735332426364582916\ 0930426166487255146293422692909596718511/20215846571615409860186378\ 30359246810462094866972206267726954439663955712*c_1001_10^7 + 6595610690640348580747044818572359493426747864929993980758402928774\ 47616029/1010792328580770493009318915179623405231047433486103133863\ 477219831977856*c_1001_10^6 + 3891332961375698768878967266613554026\ 033244422598478068087277658654459085859/101079232858077049300931891\ 5179623405231047433486103133863477219831977856*c_1001_10^5 - 2990839546431058715448635487675568880987021028590764117306010528919\ 220294121/449241034924786885781919517857610402324909970438268059494\ 878764369767936*c_1001_10^4 + 2544104194555281002984382629689422390\ 3872540044381011535326685259570965594235/40431693143230819720372756\ 60718493620924189733944412535453908879327911424*c_1001_10^3 - 1546638009905877613732801967456699098613222330180474129184714110898\ 1795400893/40431693143230819720372756607184936209241897339444125354\ 53908879327911424*c_1001_10^2 + 36646171660618905551129331078014095\ 647661132165757167912410579075882299651/259177520148915511028030491\ 07169830903360190602207772663166082559794304*c_1001_10 - 1015536851075706673391774865353450156785399765799387414425268626923\ 997963639/404316931432308197203727566071849362092418973394441253545\ 3908879327911424, c_0011_0 - 1, c_0011_10 + 99111778417832379643706543648541011245300545712450771323234\ /1580770215052893981549436112995950565867246637778987000889875323*c\ _1001_10^18 - 81399899201387846418927982353003690442572339787564163\ 9547948/15807702150528939815494361129959505658672466377789870008898\ 75323*c_1001_10^17 - 3730327471099182379588509993457751963362135089\ 322158136471146/158077021505289398154943611299595056586724663777898\ 7000889875323*c_1001_10^16 + 84946128351087993129252386882563074765\ 895664645684244322626630/158077021505289398154943611299595056586724\ 6637778987000889875323*c_1001_10^15 - 574067180092809489478600045450169326197509697794166490621174554/158\ 0770215052893981549436112995950565867246637778987000889875323*c_100\ 1_10^14 + 239009371296160039219295248518698630693345532906063582950\ 5953446/15807702150528939815494361129959505658672466377789870008898\ 75323*c_1001_10^13 - 7151680900910106318208191345820862645084573862\ 730717157681426106/158077021505289398154943611299595056586724663777\ 8987000889875323*c_1001_10^12 + 16461841496781697095565480512962931\ 217060202856300257103562305880/158077021505289398154943611299595056\ 5867246637778987000889875323*c_1001_10^11 - 29652790687577931683964131501971269527693345416076841308752104712/1\ 580770215052893981549436112995950565867246637778987000889875323*c_1\ 001_10^10 + 4206719213665637645758661942196607253066973986366371095\ 5546209356/15807702150528939815494361129959505658672466377789870008\ 89875323*c_1001_10^9 - 45245529621536486953838751579276020402953171\ 806134534737212566534/158077021505289398154943611299595056586724663\ 7778987000889875323*c_1001_10^8 + 335629783337458944356591694397006\ 05319373688934966750473358728922/1580770215052893981549436112995950\ 565867246637778987000889875323*c_1001_10^7 - 9733221000398939192563368343066970289641982836305870143600968608/15\ 80770215052893981549436112995950565867246637778987000889875323*c_10\ 01_10^6 - 118525675480054135983276784013931525557043429250144855151\ 98248214/1580770215052893981549436112995950565867246637778987000889\ 875323*c_1001_10^5 + 2010865276252869976005075527671707977606608464\ 1805399970991776179/15807702150528939815494361129959505658672466377\ 78987000889875323*c_1001_10^4 - 10260187891417452573359075561473442\ 078635359150907703798501065910/158077021505289398154943611299595056\ 5867246637778987000889875323*c_1001_10^3 + 480950720809459620747823479796239227473878768153225069918829279/158\ 0770215052893981549436112995950565867246637778987000889875323*c_100\ 1_10^2 + 4021896319251460577759839245475770653586609940075261305884\ 632394/158077021505289398154943611299595056586724663777898700088987\ 5323*c_1001_10 - 98278526506713584145813157701065947977602463732521\ 6163219872961/15807702150528939815494361129959505658672466377789870\ 00889875323, c_0011_11 + 69912574782890989143765831533739428889660997947417953077034\ /1580770215052893981549436112995950565867246637778987000889875323*c\ _1001_10^18 - 62527677442775216159034726366797740997553237534953577\ 7767070/15807702150528939815494361129959505658672466377789870008898\ 75323*c_1001_10^17 - 6580109862604660664656828934522279053515750933\ 152440138458736/474231064515868194464830833898785169760173991333696\ 1002669625969*c_1001_10^16 + 18511048905522864411695492627568294523\ 1321677564125143118648133/47423106451586819446483083389878516976017\ 39913336961002669625969*c_1001_10^15 - 449498493977441127595886524296604636337062514275648361374087626/158\ 0770215052893981549436112995950565867246637778987000889875323*c_100\ 1_10^14 + 599153616302180417300414000695670553664538038578930399718\ 6895725/47423106451586819446483083389878516976017399133369610026696\ 25969*c_1001_10^13 - 1912449585094704041572932288331773616503627744\ 3284472768504341398/47423106451586819446483083389878516976017399133\ 36961002669625969*c_1001_10^12 + 1568342233754023505860512007952455\ 9847008907382592222353637864922/15807702150528939815494361129959505\ 65867246637778987000889875323*c_1001_10^11 - 91358717831074816895505313588407895586760793366699157267077137502/4\ 742310645158681944648308338987851697601739913336961002669625969*c_1\ 001_10^10 + 4706324520146513479969223554444540267565704250082075561\ 3178672551/15807702150528939815494361129959505658672466377789870008\ 89875323*c_1001_10^9 - 56672984535426616633879341394084349166755431\ 624940371762016516202/158077021505289398154943611299595056586724663\ 7778987000889875323*c_1001_10^8 + 150607507118717156796342853367169\ 821963585599776752277254111962918/474231064515868194464830833898785\ 1697601739913336961002669625969*c_1001_10^7 - 77907393025486398018716574665567448474144360990924638488069482491/4\ 742310645158681944648308338987851697601739913336961002669625969*c_1\ 001_10^6 - 11146861741246852207972162793265779737007552547196358903\ 842111702/474231064515868194464830833898785169760173991333696100266\ 9625969*c_1001_10^5 + 223190589969692220915710788235283850045491827\ 24886840493987527237/1580770215052893981549436112995950565867246637\ 778987000889875323*c_1001_10^4 - 5634366870452842441810513152435053\ 4291310283689854152511845317234/47423106451586819446483083389878516\ 97601739913336961002669625969*c_1001_10^3 + 16578779000761570930183043338213947332521454992684167605095133942/4\ 742310645158681944648308338987851697601739913336961002669625969*c_1\ 001_10^2 + 45216866004173019752264298947383181356214320268701992639\ 91310345/1580770215052893981549436112995950565867246637778987000889\ 875323*c_1001_10 - 936501772377614487623584878854291281024104391384\ 2716455706204653/47423106451586819446483083389878516976017399133369\ 61002669625969, c_0011_12 - 13575245797250351345025172215670356652914571142891307453047\ 3/4742310645158681944648308338987851697601739913336961002669625969*\ c_1001_10^18 + 1314205738648809073196401437434052850961749041518964\ 860578633/474231064515868194464830833898785169760173991333696100266\ 9625969*c_1001_10^17 + 10343255010189614467440496487522315622458112\ 295826139530285908/142269319354760458339449250169635550928052197400\ 10883008008877907*c_1001_10^16 - 3715510960248389872181945194223089\ 01285468863262487302075888902/1422693193547604583394492501696355509\ 2805219740010883008008877907*c_1001_10^15 + 959394084843411031596618245210182389614328785710830400901512667/474\ 2310645158681944648308338987851697601739913336961002669625969*c_100\ 1_10^14 - 133167053160732735682092780654424131729101519861771334106\ 90207387/1422693193547604583394492501696355509280521974001088300800\ 8877907*c_1001_10^13 + 43748298586292295136516279732717556321186106\ 236018749084969684027/142269319354760458339449250169635550928052197\ 40010883008008877907*c_1001_10^12 - 12209349982735952260259746403482762468151708122689759712597723113/1\ 580770215052893981549436112995950565867246637778987000889875323*c_1\ 001_10^11 + 2173100138162220690748239511680575869092848273439602542\ 76659278637/1422693193547604583394492501696355509280521974001088300\ 8008877907*c_1001_10^10 - 11379790215027163714107560423055876806169\ 2970830214481576313725369/47423106451586819446483083389878516976017\ 39913336961002669625969*c_1001_10^9 + 139442613369945321667573186630429584098630340031718876549291994112/\ 4742310645158681944648308338987851697601739913336961002669625969*c_\ 1001_10^8 - 3780628407067045662333838589529161728139870705452162593\ 86475812644/1422693193547604583394492501696355509280521974001088300\ 8008877907*c_1001_10^7 + 203505774001652378508498469916156269274750\ 319416829998303623615907/142269319354760458339449250169635550928052\ 19740010883008008877907*c_1001_10^6 + 23072812869179285416067976505510449629316212054804163393904742410/1\ 4226931935476045833944925016963555092805219740010883008008877907*c_\ 1001_10^5 - 1911444294992858718141913733166700450098678620340653518\ 7938983216/15807702150528939815494361129959505658672466377789870008\ 89875323*c_1001_10^4 + 16062774552271669719331883863500134013603238\ 7974506454945746139417/14226931935476045833944925016963555092805219\ 740010883008008877907*c_1001_10^3 - 51255480904283593055175923345539142863319502992067473793641560331/1\ 4226931935476045833944925016963555092805219740010883008008877907*c_\ 1001_10^2 - 9704793979872262613396001920959035073107982222446012983\ 151384599/474231064515868194464830833898785169760173991333696100266\ 9625969*c_1001_10 + 39977117855541575510120800620358112344220978204\ 108758173297617485/142269319354760458339449250169635550928052197400\ 10883008008877907, c_0011_3 - 74492767864338514694015786953643848171363642336854580639947/\ 1580770215052893981549436112995950565867246637778987000889875323*c_\ 1001_10^18 + 593720986926966853439081468642988836858369350502162997\ 161973/158077021505289398154943611299595056586724663777898700088987\ 5323*c_1001_10^17 + 28901213750361917716890926984904766762486043224\ 63858683637452/1580770215052893981549436112995950565867246637778987\ 000889875323*c_1001_10^16 - 626792543818945011846324710563820103161\ 81186388790712296060704/1580770215052893981549436112995950565867246\ 637778987000889875323*c_1001_10^15 + 418549134145140638335500126364739639452098248567734581738848255/158\ 0770215052893981549436112995950565867246637778987000889875323*c_100\ 1_10^14 - 174431828085699809179886861513982902520452658360286626070\ 7172899/15807702150528939815494361129959505658672466377789870008898\ 75323*c_1001_10^13 + 5276746879855115098424064342790526220935494049\ 080598126062318591/158077021505289398154943611299595056586724663777\ 8987000889875323*c_1001_10^12 - 12391513839849962117125478589642654\ 777437876074010380597684552877/158077021505289398154943611299595056\ 5867246637778987000889875323*c_1001_10^11 + 22945283606707887656398120052338891034058985521860152607943536153/1\ 580770215052893981549436112995950565867246637778987000889875323*c_1\ 001_10^10 - 3378648074763051721598261190806484184462930048048828278\ 0839247337/15807702150528939815494361129959505658672466377789870008\ 89875323*c_1001_10^9 + 38054074732364051695462677071657131920851200\ 058004185007039364128/158077021505289398154943611299595056586724663\ 7778987000889875323*c_1001_10^8 - 302226756211498673174842960556016\ 76410125209663708382969500735714/1580770215052893981549436112995950\ 565867246637778987000889875323*c_1001_10^7 + 10425053060428736604314120685106755768768270519190697121620208188/1\ 580770215052893981549436112995950565867246637778987000889875323*c_1\ 001_10^6 + 10348014706714087323900978577749482767597878362079389979\ 106830470/158077021505289398154943611299595056586724663777898700088\ 9875323*c_1001_10^5 - 211593197545723339210658362873897420377811816\ 09217577506058452605/1580770215052893981549436112995950565867246637\ 778987000889875323*c_1001_10^4 + 1350254450711654862657573991459793\ 0597829754367467283135023881556/15807702150528939815494361129959505\ 65867246637778987000889875323*c_1001_10^3 - 3089934776496772956849066989407602937300369977445057206345461379/15\ 80770215052893981549436112995950565867246637778987000889875323*c_10\ 01_10^2 - 644053805989981587442889737999513761073523866513495397641\ 1268341/15807702150528939815494361129959505658672466377789870008898\ 75323*c_1001_10 + 2039274431575217018314914339070555709782858132029\ 736256990062066/158077021505289398154943611299595056586724663777898\ 7000889875323, c_0101_0 - 1, c_0101_1 + 79713159226719445393897783269405515057316937109419631804081/\ 9484621290317363889296616677975703395203479826673922005339251938*c_\ 1001_10^18 - 215139546213736632090688623047932103744114599621703821\ 128587/474231064515868194464830833898785169760173991333696100266962\ 5969*c_1001_10^17 - 67444791128726704699368270750517088894927154021\ 50155510513664/1422693193547604583394492501696355509280521974001088\ 3008008877907*c_1001_10^16 + 17132607170976271558062577648225012603\ 1898050856755193357606433/28453863870952091667889850033927110185610\ 439480021766016017755814*c_1001_10^15 - 283654715470579263810301074401532255951627886394505097893036419/948\ 4621290317363889296616677975703395203479826673922005339251938*c_100\ 1_10^14 + 276125549968445825585108275568144471129528004749975063321\ 9757217/28453863870952091667889850033927110185610439480021766016017\ 755814*c_1001_10^13 - 675789059975625402795325022470148754725108941\ 2354428850032074717/28453863870952091667889850033927110185610439480\ 021766016017755814*c_1001_10^12 + 749837425396475542435486210180975\ 004809844333365552388218161116/158077021505289398154943611299595056\ 5867246637778987000889875323*c_1001_10^11 - 21252045288701750993351421585319255958616091191350809100149982821/2\ 8453863870952091667889850033927110185610439480021766016017755814*c_\ 1001_10^10 + 917504120936926181680612627672221382022172862821026351\ 6763866101/94846212903173638892966166779757033952034798266739220053\ 39251938*c_1001_10^9 - 36722166698903221566174889862011250881250430\ 55885063420675591379/4742310645158681944648308338987851697601739913\ 336961002669625969*c_1001_10^8 - 2297366452349627390086993570432779\ 37078420144485868355996007097/1422693193547604583394492501696355509\ 2805219740010883008008877907*c_1001_10^7 + 22196827430790567287476599689040135256426497138131202957134591639/1\ 4226931935476045833944925016963555092805219740010883008008877907*c_\ 1001_10^6 - 4252956248742505826621115486940896591621131138680459852\ 6397617913/14226931935476045833944925016963555092805219740010883008\ 008877907*c_1001_10^5 + 1211815228695405961357667523173988267455186\ 3466982215194863917937/31615404301057879630988722259919011317344932\ 75557974001779750646*c_1001_10^4 - 30794832439494763397819090242259274368362866565015840061962671836/1\ 4226931935476045833944925016963555092805219740010883008008877907*c_\ 1001_10^3 + 1766111626772847874980945823041446354811198200706176635\ 9946045783/28453863870952091667889850033927110185610439480021766016\ 017755814*c_1001_10^2 + 1604279501831472610826225353559947010522121\ 8864789191254803912675/94846212903173638892966166779757033952034798\ 26673922005339251938*c_1001_10 - 2253855588376940695793376617510715\ 8446821675258414055518981764804/14226931935476045833944925016963555\ 092805219740010883008008877907, c_0101_10 - 99432027476631030755669905370308216827935418754578468625907\ /4742310645158681944648308338987851697601739913336961002669625969*c\ _1001_10^18 + 91838915875452316373661495548917081873687708250563489\ 6802047/47423106451586819446483083389878516976017399133369610026696\ 25969*c_1001_10^17 + 8913036267402512459682861327046507215694471479\ 811158579503728/142269319354760458339449250169635550928052197400108\ 83008008877907*c_1001_10^16 - 2689425562023630731931522296378194789\ 06102993843763592577438369/1422693193547604583394492501696355509280\ 5219740010883008008877907*c_1001_10^15 + 660838932568488015844836550426695595669397206293466876018807361/474\ 2310645158681944648308338987851697601739913336961002669625969*c_100\ 1_10^14 - 877954462523157348167582931224922835105930240090480735120\ 4176006/14226931935476045833944925016963555092805219740010883008008\ 877907*c_1001_10^13 + 276569575369065801967993662983910237618975607\ 03629650081173028785/1422693193547604583394492501696355509280521974\ 0010883008008877907*c_1001_10^12 - 7420131832716151959404582862499492167125400671061454118907489299/15\ 80770215052893981549436112995950565867246637778987000889875323*c_10\ 01_10^11 + 12703114010595974734847438607200384683444945957536772826\ 2946810527/14226931935476045833944925016963555092805219740010883008\ 008877907*c_1001_10^10 - 639434386091447625996451634702459431262157\ 04507796277196044502090/4742310645158681944648308338987851697601739\ 913336961002669625969*c_1001_10^9 + 75072537035175054395159187005633514612522811901020213284380599771/4\ 742310645158681944648308338987851697601739913336961002669625969*c_1\ 001_10^8 - 19377052707027881788120930798379107027822500144546716169\ 2709131122/14226931935476045833944925016963555092805219740010883008\ 008877907*c_1001_10^7 + 9496298320619406292896316686098018131725043\ 3714581630201607741271/14226931935476045833944925016963555092805219\ 740010883008008877907*c_1001_10^6 + 18137943099513609907659427583405100022583592385202919358356141196/1\ 4226931935476045833944925016963555092805219740010883008008877907*c_\ 1001_10^5 - 9396409867291747517287807286190637828269920680551686668\ 676696716/158077021505289398154943611299595056586724663777898700088\ 9875323*c_1001_10^4 + 669851743781942057433729571256342387603064053\ 78373809556202927915/1422693193547604583394492501696355509280521974\ 0010883008008877907*c_1001_10^3 - 166072192308438392959301743312449\ 63533751379295641788445856996303/1422693193547604583394492501696355\ 5092805219740010883008008877907*c_1001_10^2 - 8700864649862662489581909327416268712733113924298589096584202314/47\ 42310645158681944648308338987851697601739913336961002669625969*c_10\ 01_10 + 10331997019144851171269736520467382120920302927953658520523\ 830079/142269319354760458339449250169635550928052197400108830080088\ 77907, c_0101_11 - 25453950898250650287456507930650001132396204436655971111489\ 0/4742310645158681944648308338987851697601739913336961002669625969*\ c_1001_10^18 + 2031271760162691796591677496244822050841522496590336\ 620684958/474231064515868194464830833898785169760173991333696100266\ 9625969*c_1001_10^17 + 30244529151609766463538848765950187777184126\ 774492907208694656/142269319354760458339449250169635550928052197400\ 10883008008877907*c_1001_10^16 - 6479245450924785318779782742114590\ 33432242732922330715857056158/1422693193547604583394492501696355509\ 2805219740010883008008877907*c_1001_10^15 + 1422400305805173040951758310236970430472781174835198466621096796/47\ 42310645158681944648308338987851697601739913336961002669625969*c_10\ 01_10^14 - 17357842543877979478922344419672130245033773704709447452\ 111304555/142269319354760458339449250169635550928052197400108830080\ 08877907*c_1001_10^13 + 5075707811285677414156468279597945381530683\ 7573794984123416073894/14226931935476045833944925016963555092805219\ 740010883008008877907*c_1001_10^12 - 12679852406118758510553105377105798389747952553168987943149871178/1\ 580770215052893981549436112995950565867246637778987000889875323*c_1\ 001_10^11 + 1998597343158890023060813103689169994963387201821896085\ 67931758098/1422693193547604583394492501696355509280521974001088300\ 8008877907*c_1001_10^10 - 91175851763290315270439950533739323409691\ 942698672385688874234487/474231064515868194464830833898785169760173\ 9913336961002669625969*c_1001_10^9 + 92610379214693615572251748456831957928094498528204416154343471184/4\ 742310645158681944648308338987851697601739913336961002669625969*c_1\ 001_10^8 - 18236490472015563860763388430485992529300408872594273132\ 9187662788/14226931935476045833944925016963555092805219740010883008\ 008877907*c_1001_10^7 + 1447651208854456138941089633187925693492172\ 1316406236718235979138/14226931935476045833944925016963555092805219\ 740010883008008877907*c_1001_10^6 + 119058943677635975635047874389397342631641064087328989839781039246/\ 14226931935476045833944925016963555092805219740010883008008877907*c\ _1001_10^5 - 173214204622113906906151065492565416043880445740105122\ 97267700154/1580770215052893981549436112995950565867246637778987000\ 889875323*c_1001_10^4 + 6484031097257060131635985739917439137626312\ 3779914426955118788474/14226931935476045833944925016963555092805219\ 740010883008008877907*c_1001_10^3 - 1697595194192265470053835691130519464073964624655132277383804742/14\ 226931935476045833944925016963555092805219740010883008008877907*c_1\ 001_10^2 - 13301929322303348592156840665387678895687847362527005680\ 433301551/474231064515868194464830833898785169760173991333696100266\ 9625969*c_1001_10 + 96700989791999057939894397705019334984069086704\ 03504378238317776/1422693193547604583394492501696355509280521974001\ 0883008008877907, c_0101_2 - 296594882305548083966577227913841478604227175166943258627720\ /4742310645158681944648308338987851697601739913336961002669625969*c\ _1001_10^18 + 24161478128399455161132909527784665265786377830892916\ 64342531/4742310645158681944648308338987851697601739913336961002669\ 625969*c_1001_10^17 + 333775994503521492566983803006659363120434725\ 12541060334180443/1422693193547604583394492501696355509280521974001\ 0883008008877907*c_1001_10^16 - 75537978439627526212228407747668719\ 8044323808834566127816543749/14226931935476045833944925016963555092\ 805219740010883008008877907*c_1001_10^15 + 1708466377112793022705364057905029989436789988461765451639745333/47\ 42310645158681944648308338987851697601739913336961002669625969*c_10\ 01_10^14 - 21635643406803528949431886549217375493300607234638303800\ 862862054/142269319354760458339449250169635550928052197400108830080\ 08877907*c_1001_10^13 + 6629236814681654947676895049540252545821589\ 4359011772632056018006/14226931935476045833944925016963555092805219\ 740010883008008877907*c_1001_10^12 - 17539986956072968236945945894601643240515134433387524038643184883/1\ 580770215052893981549436112995950565867246637778987000889875323*c_1\ 001_10^11 + 2975625020508762772420948792692784233634834076614665217\ 81086493393/1422693193547604583394492501696355509280521974001088300\ 8008877907*c_1001_10^10 - 14952649520805287667452582800193431362974\ 5117193358603829644068332/47423106451586819446483083389878516976017\ 39913336961002669625969*c_1001_10^9 + 175039999471417962239745893413810270540445223459076839312158078404/\ 4742310645158681944648308338987851697601739913336961002669625969*c_\ 1001_10^8 - 4477130747752973363690244704692405301942975764395701387\ 31390721300/1422693193547604583394492501696355509280521974001088300\ 8008877907*c_1001_10^7 + 203766744087376829615860146112076692764499\ 505750739483983774399912/142269319354760458339449250169635550928052\ 19740010883008008877907*c_1001_10^6 + 80885089283697186515010877532753408514682871285635173532969166488/1\ 4226931935476045833944925016963555092805219740010883008008877907*c_\ 1001_10^5 - 2876511969370490307178157242942817558673021746254787937\ 6822554164/15807702150528939815494361129959505658672466377789870008\ 89875323*c_1001_10^4 + 20480075188000017875586612342194711974184570\ 8058902430163683289037/14226931935476045833944925016963555092805219\ 740010883008008877907*c_1001_10^3 - 68683571556572172840239844270478230150683347547652874696350994916/1\ 4226931935476045833944925016963555092805219740010883008008877907*c_\ 1001_10^2 - 2009785801441294543739741803364188222680623401121046050\ 2423814240/47423106451586819446483083389878516976017399133369610026\ 69625969*c_1001_10 + 4168113337607130698472836038199858714372276112\ 3832296327014846173/14226931935476045833944925016963555092805219740\ 010883008008877907, c_0101_6 - 513476605384376722539256672558277442151137413224466885451359\ /9484621290317363889296616677975703395203479826673922005339251938*c\ _1001_10^18 + 22010082666262088840226023297305344228345231834675878\ 43213944/4742310645158681944648308338987851697601739913336961002669\ 625969*c_1001_10^17 + 266331203374794787867615532256142274225507571\ 10390904823666779/1422693193547604583394492501696355509280521974001\ 0883008008877907*c_1001_10^16 - 13394334970827878086639423784711242\ 70056749566812377062275481065/2845386387095209166788985003392711018\ 5610439480021766016017755814*c_1001_10^15 + 3133278038755006781600427041408527722921952090529025805386454247/94\ 84621290317363889296616677975703395203479826673922005339251938*c_10\ 01_10^14 - 40510031313922599643012690342753306275305934421776856968\ 505966891/284538638709520916678898500339271101856104394800217660160\ 17755814*c_1001_10^13 + 1258268456938768449255846507661035633691806\ 99305669116414079961295/2845386387095209166788985003392711018561043\ 9480021766016017755814*c_1001_10^12 - 16790149530676492694510459684420668235705290100021971650425023767/1\ 580770215052893981549436112995950565867246637778987000889875323*c_1\ 001_10^11 + 5738729588130508034908383369532375907683507241315822344\ 62023003965/2845386387095209166788985003392711018561043948002176601\ 6017755814*c_1001_10^10 - 28987794920673649153224552972714641343926\ 8505758506944142524270563/94846212903173638892966166779757033952034\ 79826673922005339251938*c_1001_10^9 + 171367782801527640083128404427609145452320180403191775891482487025/\ 4742310645158681944648308338987851697601739913336961002669625969*c_\ 1001_10^8 - 4479428114205322991080331698262838081313759965840560070\ 87386728397/1422693193547604583394492501696355509280521974001088300\ 8008877907*c_1001_10^7 + 225963571518167396903336745801116828020926\ 002888870686940908991551/142269319354760458339449250169635550928052\ 19740010883008008877907*c_1001_10^6 + 38355526796272128248799722663344442598471559898830575006571548575/1\ 4226931935476045833944925016963555092805219740010883008008877907*c_\ 1001_10^5 - 4541208710045574652998646962711646849890857145811354355\ 8781190391/31615404301057879630988722259919011317344932755579740017\ 79750646*c_1001_10^4 + 17400591944050541535804703317968784537348284\ 1493886590101720617201/14226931935476045833944925016963555092805219\ 740010883008008877907*c_1001_10^3 - 119706026845415866930670230310541996753254713088243983032755944049/\ 28453863870952091667889850033927110185610439480021766016017755814*c\ _1001_10^2 - 241529210105111647665325825316842943483912491576317297\ 50043715805/9484621290317363889296616677975703395203479826673922005\ 339251938*c_1001_10 + 333695094277779458607395192238549837897063056\ 05429123816041959276/1422693193547604583394492501696355509280521974\ 0010883008008877907, c_1001_0 + 159257540644005292778334760081061634077979894074524171479863\ /4742310645158681944648308338987851697601739913336961002669625969*c\ _1001_10^18 - 13850406809924344103933766339622110537925512043822165\ 09742749/4742310645158681944648308338987851697601739913336961002669\ 625969*c_1001_10^17 - 156411850664051185693094997919818327622607628\ 21694455766751962/1422693193547604583394492501696355509280521974001\ 0883008008877907*c_1001_10^16 + 41541595934136553809663236061936677\ 1324617904520285098421770028/14226931935476045833944925016963555092\ 805219740010883008008877907*c_1001_10^15 - 996339724944609295566995148235355846440881429318227570424478985/474\ 2310645158681944648308338987851697601739913336961002669625969*c_100\ 1_10^14 + 132044219133068070508083848136653419153556128053091272340\ 93524013/1422693193547604583394492501696355509280521974001088300800\ 8877907*c_1001_10^13 - 41869805053649434374747929956386577131134407\ 248966307330413917245/142269319354760458339449250169635550928052197\ 40010883008008877907*c_1001_10^12 + 11326757619713372098887104794597258140619332923012895096850640749/1\ 580770215052893981549436112995950565867246637778987000889875323*c_1\ 001_10^11 - 1947620260879625009417803863735036684488015304069854505\ 96716145913/1422693193547604583394492501696355509280521974001088300\ 8008877907*c_1001_10^10 + 98189587465801386551437297824407489542246\ 058637756963801130308577/474231064515868194464830833898785169760173\ 9913336961002669625969*c_1001_10^9 - 114064612909410228495672595634235876512442608183994986856569595994/\ 4742310645158681944648308338987851697601739913336961002669625969*c_\ 1001_10^8 + 2834876321704356945179458247977004000946179655077744589\ 55582787794/1422693193547604583394492501696355509280521974001088300\ 8008877907*c_1001_10^7 - 114884960485349860461347212466524920908954\ 079055401567392450137064/142269319354760458339449250169635550928052\ 19740010883008008877907*c_1001_10^6 - 74135690847514917359813085655472429432425583570518866928665722746/1\ 4226931935476045833944925016963555092805219740010883008008877907*c_\ 1001_10^5 + 1972493201752940173260367527660408487171016560471690033\ 7447522429/15807702150528939815494361129959505658672466377789870008\ 89875323*c_1001_10^4 - 12833537258856523539699502046792744990703119\ 6542609482688400562697/14226931935476045833944925016963555092805219\ 740010883008008877907*c_1001_10^3 + 33415169222514364300954141696234465437563814204104912280082589507/1\ 4226931935476045833944925016963555092805219740010883008008877907*c_\ 1001_10^2 + 1497615500337032086199269232849797984374338236849592873\ 7570078914/47423106451586819446483083389878516976017399133369610026\ 69625969*c_1001_10 - 2966778667661126164900871369558330434007142415\ 0428991081934068492/14226931935476045833944925016963555092805219740\ 010883008008877907, c_1001_10^19 - 9*c_1001_10^18 - 92/3*c_1001_10^17 + 2647/3*c_1001_10^16 - 19454/3*c_1001_10^15 + 87362/3*c_1001_10^14 - 282676/3*c_1001_10^13 + 707327/3*c_1001_10^12 - 1403939/3*c_1001_10^11 + 2235476/3*c_1001_10^10 - 937717*c_1001_10^9 + 2678540/3*c_1001_10^8 - 551064*c_1001_10^7 + 184820/3*c_1001_10^6 + 952679/3*c_1001_10^5 - 1094759/3*c_1001_10^4 + 184595*c_1001_10^3 + 61274/3*c_1001_10^2 - 216911/3*c_1001_10 + 85394/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.410 Total time: 1.629 seconds, Total memory usage: 32.09MB