Magma V2.19-8 Wed Aug 21 2013 00:02:20 on localhost [Seed = 525956808] Type ? for help. Type -D to quit. Loading file "K13n1690__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1690 geometric_solution 12.01598435 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 -1 0 1 0 0 0 0 0 -1 0 1 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.908095439078 1.041701823885 0 5 4 6 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.108821872781 0.648477844028 7 0 5 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 0 -1 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.832621044457 0.983308102598 9 7 10 0 0132 0213 0132 0132 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 -1 0 1 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.370797074668 0.694338705916 10 1 0 11 0132 0213 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 -1 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.705809312828 0.529656554084 6 1 12 2 1302 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.844414623344 0.837596093989 8 5 1 11 0132 2031 0132 0321 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 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.697120223772 0.624090348459 2 11 3 12 0132 1302 0213 3201 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 -1 0 1 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.412431006992 0.908800746996 6 12 2 9 0132 3012 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 1 -1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.176006990507 0.805278659642 3 11 8 10 0132 1023 0132 0321 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 1 0 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.332589452199 1.315215403359 4 9 12 3 0132 0321 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 0 0 0 0 0 1 -1 -1 0 0 1 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.983671397363 0.861736485266 9 6 4 7 1023 0321 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.509202199175 0.591463923956 8 7 10 5 1230 2310 0321 0132 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 -2 0 2 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.413717761582 0.782805152180 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0110_11'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_12']), 'c_1001_3' : d['c_0110_11'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : negation(d['c_0101_2']), 'c_1010_11' : d['c_0011_0'], 'c_1010_10' : d['c_0110_11'], 's_0_10' : 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_10'], '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' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_10'], 'c_1100_8' : d['c_1001_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_10'], 'c_1100_4' : d['c_1001_12'], 'c_1100_7' : negation(d['c_0011_12']), 'c_1100_6' : d['c_1001_11'], 'c_1100_1' : d['c_1001_11'], 'c_1100_0' : d['c_1001_12'], 'c_1100_3' : d['c_1001_12'], 'c_1100_2' : d['c_1001_10'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_12'], 'c_1100_10' : d['c_1001_12'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_12']), 'c_1010_6' : d['c_0011_0'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : negation(d['c_0011_12']), 'c_1010_2' : negation(d['c_0011_12']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_0110_11'], 'c_1010_8' : d['c_0101_10'], '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'], 'c_1100_12' : d['c_1001_10'], '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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : negation(d['c_0011_6']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_12' : negation(d['c_0011_6']), 'c_0101_12' : negation(d['c_0101_10']), 'c_0110_0' : negation(d['c_0011_10']), 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_10']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], '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_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_11'])})} 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_6, c_0101_0, c_0101_10, c_0101_2, c_0110_11, c_1001_1, c_1001_10, c_1001_11, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1468240696939650736779533536620265118726878532307601664567989587626\ 791613/660495351296436438305791568954570962346950147533249096971636\ 458280876689*c_1001_12^22 - 105836601455510284177232125368444205602\ 03006206646485022713558488824035036/6604953512964364383057915689545\ 70962346950147533249096971636458280876689*c_1001_12^21 + 6588168748889045432494928171869284846130801032053296711307825849116\ 6659119/66049535129643643830579156895457096234695014753324909697163\ 6458280876689*c_1001_12^20 - 23457321352806633187429554649916737825\ 290226598187314267346949190949671988/508073347151104952542916591503\ 51612488226934425634545920895112175452053*c_1001_12^19 + 1173922694106371214071998042625757692092334113516331924006854026918\ 391866289/660495351296436438305791568954570962346950147533249096971\ 636458280876689*c_1001_12^18 - 591749685787680244099080758151543027\ 510948333832864873811417877611345839994/943564787566337769008273669\ 93510137478135735361892728138805208325839527*c_1001_12^17 + 1439655142635439476475067839921326807791437694892115683187312355546\ 0654453444/66049535129643643830579156895457096234695014753324909697\ 1636458280876689*c_1001_12^16 - 16135280940312279108719806296623359\ 50710657387100953540647145670120704030754/2871718918680158427416485\ 0824111780971606528153619525955288541664385943*c_1001_12^15 + 6364689312026605516865010262983314194198251478594961284570392656620\ 9241371472/66049535129643643830579156895457096234695014753324909697\ 1636458280876689*c_1001_12^14 - 76949959486478010133083383505822350\ 582792160586381438710580328721662076732695/660495351296436438305791\ 568954570962346950147533249096971636458280876689*c_1001_12^13 + 9856992319037462204949716338428991794917299736852053507654210462814\ 3102363305/66049535129643643830579156895457096234695014753324909697\ 1636458280876689*c_1001_12^12 - 86695933417765547685215008476607950\ 052131797209969006721254457320162241103798/660495351296436438305791\ 568954570962346950147533249096971636458280876689*c_1001_12^11 + 3924823836446478085556207345849353970128816415462542660940705791602\ 65659603/3908256516546961173407050703873200960632841109664195840068\ 854782727081*c_1001_12^10 - 692647105529197799379495157367632058291\ 33401781888289155317909396306250652042/6604953512964364383057915689\ 54570962346950147533249096971636458280876689*c_1001_12^9 + 6466054838941736850973713272778242971285515334465150719824029433550\ 3230863477/66049535129643643830579156895457096234695014753324909697\ 1636458280876689*c_1001_12^8 - 160926212067642117899693973808249832\ 77687309336307938451941997130447461938590/6604953512964364383057915\ 68954570962346950147533249096971636458280876689*c_1001_12^7 - 4578581210758354641649518588070032623553968551808258422419541986884\ 9866560749/66049535129643643830579156895457096234695014753324909697\ 1636458280876689*c_1001_12^6 + 235769898497534770497977698291549025\ 753462218962483817806473024911790850872/298866674794767619142892112\ 6491271322836878495625561524758536010320709*c_1001_12^5 - 1690445755432948281543778682001811656699816292359751167176675575079\ 5764614535/66049535129643643830579156895457096234695014753324909697\ 1636458280876689*c_1001_12^4 - 451932952087810579034974529775687402\ 244290769828461184996610550356377149947/347629132261282335950416615\ 23924787491944744607013110366928234646361931*c_1001_12^3 + 9493554565674411692508667909706560698556814588173894339500776417157\ 114199465/660495351296436438305791568954570962346950147533249096971\ 636458280876689*c_1001_12^2 - 2717530040670474549819647956723122773\ 98442168625937306099164744642498895005/5080733471511049525429165915\ 0351612488226934425634545920895112175452053*c_1001_12 + 5389213947816979164037722248451242859003745787051643426810684315830\ 60146492/6604953512964364383057915689545709623469501475332490969716\ 36458280876689, c_0011_0 - 1, c_0011_10 + 8496149135192420791405864883797390850846139385111000981004/\ 135212391352953496358712075184675462118755121317391850032017*c_1001\ _12^22 - 5642512931307509974346542940750779622063793654112669139230\ 3/135212391352953496358712075184675462118755121317391850032017*c_10\ 01_12^21 + 34428689150426969731017386634826185926074271613973056173\ 6316/135212391352953496358712075184675462118755121317391850032017*c\ _1001_12^20 - 15368104972382989626841126133107607839146523048817892\ 26605513/1352123913529534963587120751846754621187551213173918500320\ 17*c_1001_12^19 + 5722789060946103953351187393355755468056091737394\ 419920740566/135212391352953496358712075184675462118755121317391850\ 032017*c_1001_12^18 - 198392299164267456505465330880549217075809662\ 77678756447778319/1352123913529534963587120751846754621187551213173\ 91850032017*c_1001_12^17 + 6876407215325576455253891365432025753421\ 3859728943712207334722/13521239135295349635871207518467546211875512\ 1317391850032017*c_1001_12^16 - 16433071863370187174715353554164093\ 3385260155673242323977697504/13521239135295349635871207518467546211\ 8755121317391850032017*c_1001_12^15 + 235497177039390987876501897317564145428901171946145900225476993/135\ 212391352953496358712075184675462118755121317391850032017*c_1001_12\ ^14 - 2175105282143481541058617712457539943189970345076893964924977\ 96/135212391352953496358712075184675462118755121317391850032017*c_1\ 001_12^13 + 3122749622730404792508273134898946559100765714700045874\ 46849819/1352123913529534963587120751846754621187551213173918500320\ 17*c_1001_12^12 - 1968339246488226744577603514083674406893371723068\ 85812314310624/1352123913529534963587120751846754621187551213173918\ 50032017*c_1001_12^11 + 8274086254161536335579054266789924263478159\ 9531581942055171726/13521239135295349635871207518467546211875512131\ 7391850032017*c_1001_12^10 - 23565069738893816216529877954840757328\ 2886328021140473271347013/13521239135295349635871207518467546211875\ 5121317391850032017*c_1001_12^9 + 182678850886312103833968186120674\ 475940704484090972516857938256/135212391352953496358712075184675462\ 118755121317391850032017*c_1001_12^8 + 166052091596392258232092749813987306540018862755580929991620720/135\ 212391352953496358712075184675462118755121317391850032017*c_1001_12\ ^7 - 26771968690981627516561119192420601960696332059932129566318728\ 7/135212391352953496358712075184675462118755121317391850032017*c_10\ 01_12^6 + 369415792323847809004846754299221764572144312390604391071\ 7107/7953670079585499785806592657922086006985595371611285296001*c_1\ 001_12^5 + 69928999574948907100876786024322748204563966488871871889\ 344438/135212391352953496358712075184675462118755121317391850032017\ *c_1001_12^4 - 4671758071595667045719273614900255029401617777830483\ 3142762094/13521239135295349635871207518467546211875512131739185003\ 2017*c_1001_12^3 + 547858881476341514250231300016493646405708607257\ 0059023120811/13521239135295349635871207518467546211875512131739185\ 0032017*c_1001_12^2 + 314528545664826632673961113595993696274764338\ 5948058474351409/13521239135295349635871207518467546211875512131739\ 1850032017*c_1001_12 - 90800512723404579868099262075979990509014120\ 8836219926340704/13521239135295349635871207518467546211875512131739\ 1850032017, c_0011_11 + 15688615705751522744833491709250745050516683619694991017734\ /135212391352953496358712075184675462118755121317391850032017*c_100\ 1_12^22 - 994631100199929710969648767611455628299559458582058209921\ 87/135212391352953496358712075184675462118755121317391850032017*c_1\ 001_12^21 + 6072195730027506899243613236498789533279733172245748146\ 58056/135212391352953496358712075184675462118755121317391850032017*\ c_1001_12^20 - 2663495797552095235846534243499324577053880532132189\ 223775737/135212391352953496358712075184675462118755121317391850032\ 017*c_1001_12^19 + 981780331945424279707170739252555220899366827283\ 3786841164656/13521239135295349635871207518467546211875512131739185\ 0032017*c_1001_12^18 - 33902881809404979250114820407909915203525222\ 258344765518792105/135212391352953496358712075184675462118755121317\ 391850032017*c_1001_12^17 + 117585177033167082188374287463120084226\ 180186748756808298899135/135212391352953496358712075184675462118755\ 121317391850032017*c_1001_12^16 - 270842987442095294226272878781873\ 045618030134010957641610683668/135212391352953496358712075184675462\ 118755121317391850032017*c_1001_12^15 + 363078290044029476791047417539395744922106560485897150345668661/135\ 212391352953496358712075184675462118755121317391850032017*c_1001_12\ ^14 - 3136872717450343442003983639404307572578174471022028937912960\ 39/135212391352953496358712075184675462118755121317391850032017*c_1\ 001_12^13 + 5075300998958325278879570191699681693667828440971846870\ 30629831/1352123913529534963587120751846754621187551213173918500320\ 17*c_1001_12^12 - 2289557270488718503465571870212314988828699841976\ 73853777931115/1352123913529534963587120751846754621187551213173918\ 50032017*c_1001_12^11 + 1220375606671387865716123074449250716610716\ 57851507906190326584/1352123913529534963587120751846754621187551213\ 17391850032017*c_1001_12^10 - 4041044908161826087929029411507949056\ 19670973851515161971777972/1352123913529534963587120751846754621187\ 55121317391850032017*c_1001_12^9 + 221087913976544715128027537472324089405391484325161099985010979/135\ 212391352953496358712075184675462118755121317391850032017*c_1001_12\ ^8 + 33969988433487741267368917770480878164260091092964015990865489\ 2/135212391352953496358712075184675462118755121317391850032017*c_10\ 01_12^7 - 384389193946110349743259162218837328376199311781188467615\ 552380/135212391352953496358712075184675462118755121317391850032017\ *c_1001_12^6 + 2229163180034722424454973553154456570792522469301720\ 315188988/795367007958549978580659265792208600698559537161128529600\ 1*c_1001_12^5 + 116300952296729196137749913892718296004927094611978\ 038050272808/135212391352953496358712075184675462118755121317391850\ 032017*c_1001_12^4 - 5803617388598022184562243204713746555583611933\ 1720452414816508/13521239135295349635871207518467546211875512131739\ 1850032017*c_1001_12^3 + 249096539174006450874901928361186969639368\ 4813731688649089721/13521239135295349635871207518467546211875512131\ 7391850032017*c_1001_12^2 + 473375054068362403365547661559101092717\ 4327658101099233138864/13521239135295349635871207518467546211875512\ 1317391850032017*c_1001_12 - 95701294682786982440962715907844363141\ 0158302588968858704807/13521239135295349635871207518467546211875512\ 1317391850032017, c_0011_12 - 9753950196585425656018711176414386235143609022357858274570/\ 135212391352953496358712075184675462118755121317391850032017*c_1001\ _12^22 + 6431086255228661515878514232455139631846195368464761536086\ 0/135212391352953496358712075184675462118755121317391850032017*c_10\ 01_12^21 - 39195039724246408486829400073262849788419218919731411964\ 9364/135212391352953496358712075184675462118755121317391850032017*c\ _1001_12^20 + 17444965367413708136021040246248721934526250606946416\ 52893647/1352123913529534963587120751846754621187551213173918500320\ 17*c_1001_12^19 - 6479843051585005043261822207763205187320879637259\ 293015451953/135212391352953496358712075184675462118755121317391850\ 032017*c_1001_12^18 + 224406508481791133073137466220109389465149984\ 05158383534424317/1352123913529534963587120751846754621187551213173\ 91850032017*c_1001_12^17 - 7778227425658279683044565322411959318796\ 8434706715725898198560/13521239135295349635871207518467546211875512\ 1317391850032017*c_1001_12^16 + 18463945071126542688134066923790590\ 5820328396081829917336943880/13521239135295349635871207518467546211\ 8755121317391850032017*c_1001_12^15 - 260492457459262837283550480284606079188259060413567177876872648/135\ 212391352953496358712075184675462118755121317391850032017*c_1001_12\ ^14 + 2356482655922241102619301885888505893754963621650187509196078\ 30/135212391352953496358712075184675462118755121317391850032017*c_1\ 001_12^13 - 3466542717942215678157022582528665978914309733144125654\ 55750914/1352123913529534963587120751846754621187551213173918500320\ 17*c_1001_12^12 + 2096009114215874028712778351202654704051125510368\ 80229593827482/1352123913529534963587120751846754621187551213173918\ 50032017*c_1001_12^11 - 8072739634746916277311817873383438571409925\ 3398227592238433252/13521239135295349635871207518467546211875512131\ 7391850032017*c_1001_12^10 + 27231998454008695546127934292341476486\ 2549688269813403492991544/13521239135295349635871207518467546211875\ 5121317391850032017*c_1001_12^9 - 192952802207922553152946563734718\ 449435965423072780370776146116/135212391352953496358712075184675462\ 118755121317391850032017*c_1001_12^8 - 203120453221847249983327740081144485653949531991524347349743721/135\ 212391352953496358712075184675462118755121317391850032017*c_1001_12\ ^7 + 29266171942213328129719202734949532017103963160005155840013723\ 5/135212391352953496358712075184675462118755121317391850032017*c_10\ 01_12^6 - 322705001694077548792062538399842993747971327846389009562\ 8197/7953670079585499785806592657922086006985595371611285296001*c_1\ 001_12^5 - 79650265541807588701579697960735276925357819871044462988\ 963408/135212391352953496358712075184675462118755121317391850032017\ *c_1001_12^4 + 4817505939398134278335274787624666389891268621214765\ 5290035457/13521239135295349635871207518467546211875512131739185003\ 2017*c_1001_12^3 - 444728276077957332950153797269733009955969532093\ 4544674437437/13521239135295349635871207518467546211875512131739185\ 0032017*c_1001_12^2 - 348683107451028703722440574817431171737731935\ 3602744039141725/13521239135295349635871207518467546211875512131739\ 1850032017*c_1001_12 + 93864454414729712736257606167769623927814479\ 6595465696459880/13521239135295349635871207518467546211875512131739\ 1850032017, c_0011_6 - 19478992831356864564570398178023417207111478380353772884890/\ 135212391352953496358712075184675462118755121317391850032017*c_1001\ _12^22 + 1226540092331395793062679218738968833253346613763466244157\ 77/135212391352953496358712075184675462118755121317391850032017*c_1\ 001_12^21 - 7492227071351058527405607373308376308104510655877919965\ 97715/135212391352953496358712075184675462118755121317391850032017*\ c_1001_12^20 + 3278152666595323164520256093460738914132121798791232\ 465299291/135212391352953496358712075184675462118755121317391850032\ 017*c_1001_12^19 - 120695107142951552620121038134618954119948056004\ 09823049764248/1352123913529534963587120751846754621187551213173918\ 50032017*c_1001_12^18 + 4166309617875356112880078592493171730961703\ 4123426577880734952/13521239135295349635871207518467546211875512131\ 7391850032017*c_1001_12^17 - 14452150191202074141851821275147650732\ 1275428053882301360747784/13521239135295349635871207518467546211875\ 5121317391850032017*c_1001_12^16 + 331158982406495176450270481249950536317555172762777859503446513/135\ 212391352953496358712075184675462118755121317391850032017*c_1001_12\ ^15 - 4403767934221947321202129038226254088173572976908389890637822\ 75/135212391352953496358712075184675462118755121317391850032017*c_1\ 001_12^14 + 3787480531006595772280967564685492092280875177905462297\ 78980498/1352123913529534963587120751846754621187551213173918500320\ 17*c_1001_12^13 - 6232692968907204837728195754364319790969350254129\ 92064689802115/1352123913529534963587120751846754621187551213173918\ 50032017*c_1001_12^12 + 2642397509866889271013584637538090925897524\ 36141961119855970703/1352123913529534963587120751846754621187551213\ 17391850032017*c_1001_12^11 - 1557742231339216469219111855603187252\ 32446768572331835619483012/1352123913529534963587120751846754621187\ 55121317391850032017*c_1001_12^10 + 496956480612185145717779181466744312592000700727913566761653808/135\ 212391352953496358712075184675462118755121317391850032017*c_1001_12\ ^9 - 25589049731425306278061306355308820730303773951413403469811023\ 9/135212391352953496358712075184675462118755121317391850032017*c_10\ 01_12^8 - 416731215309789349290206317955553909530053317719953578921\ 294135/135212391352953496358712075184675462118755121317391850032017\ *c_1001_12^7 + 4580731026025618256769930077310514924782991004485075\ 18470317764/1352123913529534963587120751846754621187551213173918500\ 32017*c_1001_12^6 - 24213358272395932386583480557691275212805993854\ 53887594748737/7953670079585499785806592657922086006985595371611285\ 296001*c_1001_12^5 - 1400940423092802077657493723693643356017109684\ 96120500816116048/1352123913529534963587120751846754621187551213173\ 91850032017*c_1001_12^4 + 69631095721045076695882644535990861616293\ 474973472246399540233/135212391352953496358712075184675462118755121\ 317391850032017*c_1001_12^3 - 2750404752060707686893358582693474945\ 622826341213468069822279/135212391352953496358712075184675462118755\ 121317391850032017*c_1001_12^2 - 5951548797029963747991019218093137\ 230930602369043942830304579/135212391352953496358712075184675462118\ 755121317391850032017*c_1001_12 + 117694276513974338144387361301021\ 0933261706218661197817197722/13521239135295349635871207518467546211\ 8755121317391850032017, c_0101_0 - 21684461478679173794288786466432860085948576207017723345639/\ 135212391352953496358712075184675462118755121317391850032017*c_1001\ _12^22 + 1430129277627608525302547486060830216037473646152636804429\ 54/135212391352953496358712075184675462118755121317391850032017*c_1\ 001_12^21 - 8731637339387537895413368276518092462839026899253798254\ 25597/135212391352953496358712075184675462118755121317391850032017*\ c_1001_12^20 + 3888243932540532194393944685128619040814544337546689\ 987800622/135212391352953496358712075184675462118755121317391850032\ 017*c_1001_12^19 - 144643340087905449316517253684617919500888302329\ 13902774331261/1352123913529534963587120751846754621187551213173918\ 50032017*c_1001_12^18 + 5012762218557642750116266693850093305940745\ 7522837661988281818/13521239135295349635871207518467546211875512131\ 7391850032017*c_1001_12^17 - 17376987420596268509121577874745397625\ 9444853488970818457945516/13521239135295349635871207518467546211875\ 5121317391850032017*c_1001_12^16 + 413380328582661421730663927636076478729245659557740899814196757/135\ 212391352953496358712075184675462118755121317391850032017*c_1001_12\ ^15 - 5888483223099130031620867824688063412491749945382765918983847\ 91/135212391352953496358712075184675462118755121317391850032017*c_1\ 001_12^14 + 5426602264104958892894307082807334929091878951121012954\ 84302881/1352123913529534963587120751846754621187551213173918500320\ 17*c_1001_12^13 - 7887189221886334230654055099067926415200895506411\ 35242254301705/1352123913529534963587120751846754621187551213173918\ 50032017*c_1001_12^12 + 4775906625501577357154372287553016686863458\ 68081965827839918489/1352123913529534963587120751846754621187551213\ 17391850032017*c_1001_12^11 - 2153575812326201686591171632357208201\ 09065267593767143904352777/1352123913529534963587120751846754621187\ 55121317391850032017*c_1001_12^10 + 592791316442203093498271983727728235198007291081414692747755901/135\ 212391352953496358712075184675462118755121317391850032017*c_1001_12\ ^9 - 44305385872628274511754089749878910415898758724205628571458771\ 9/135212391352953496358712075184675462118755121317391850032017*c_10\ 01_12^8 - 421606105279988206238475292380625841267739841912824453253\ 191903/135212391352953496358712075184675462118755121317391850032017\ *c_1001_12^7 + 6604353821554142973112842511687907797121211960352990\ 42906579066/1352123913529534963587120751846754621187551213173918500\ 32017*c_1001_12^6 - 92836187222621478958336274813151179448979456631\ 15133319162361/7953670079585499785806592657922086006985595371611285\ 296001*c_1001_12^5 - 1710851012045467986996933003670305870527232271\ 46346361068327141/1352123913529534963587120751846754621187551213173\ 91850032017*c_1001_12^4 + 11743469464355793953195310312784136835165\ 9606182029099279419449/13521239135295349635871207518467546211875512\ 1317391850032017*c_1001_12^3 - 145520751458740144302406413452255160\ 71612128085778944640798119/1352123913529534963587120751846754621187\ 55121317391850032017*c_1001_12^2 - 8231856569287440859092716244542414112527009875514113258755756/13521\ 2391352953496358712075184675462118755121317391850032017*c_1001_12 + 2366873146266621219791072337243032566827357704880163203224765/13521\ 2391352953496358712075184675462118755121317391850032017, c_0101_10 + 12186303156020250691785985968112467190393789549285973637060\ /135212391352953496358712075184675462118755121317391850032017*c_100\ 1_12^22 - 788184650594654363033621939070068659986078184287174021144\ 18/135212391352953496358712075184675462118755121317391850032017*c_1\ 001_12^21 + 4810382307218295753741569938837502836235408140375716579\ 27875/135212391352953496358712075184675462118755121317391850032017*\ c_1001_12^20 - 2126269182230759966300603485273261999488927845284030\ 597443039/135212391352953496358712075184675462118755121317391850032\ 017*c_1001_12^19 + 787261250731816438367533933564224840597556445242\ 6798544552364/13521239135295349635871207518467546211875512131739185\ 0032017*c_1001_12^18 - 27233183133055200322855894881062706175892581\ 439370010612158135/135212391352953496358712075184675462118755121317\ 391850032017*c_1001_12^17 + 944276533475621024296351886010146419570\ 92154414469258410821597/1352123913529534963587120751846754621187551\ 21317391850032017*c_1001_12^16 - 2211177708559719133004132991826713\ 23531611430531984690672311129/1352123913529534963587120751846754621\ 18755121317391850032017*c_1001_12^15 + 305647571624012277332730451138379477164780733975506293872300239/135\ 212391352953496358712075184675462118755121317391850032017*c_1001_12\ ^14 - 2727857368129631166346847365971512680121635415137200217923378\ 07/135212391352953496358712075184675462118755121317391850032017*c_1\ 001_12^13 + 4177880013344312709230230682782987131265861146287402706\ 56647577/1352123913529534963587120751846754621187551213173918500320\ 17*c_1001_12^12 - 2235026026329482657472714601017921955221462914426\ 38417979229643/1352123913529534963587120751846754621187551213173918\ 50032017*c_1001_12^11 + 1056239915317269218931445676628152515378107\ 69915002015891284949/1352123913529534963587120751846754621187551213\ 17391850032017*c_1001_12^10 - 3268669039619208891280185107448757312\ 98578107633513976495031525/1352123913529534963587120751846754621187\ 55121317391850032017*c_1001_12^9 + 210942575623068145625022828467922355485974633862657263111570981/135\ 212391352953496358712075184675462118755121317391850032017*c_1001_12\ ^8 + 25271628602879909646590633589177092567711643582471930082002269\ 4/135212391352953496358712075184675462118755121317391850032017*c_10\ 01_12^7 - 332125235706289652370642657519389404314489797059155327309\ 523323/135212391352953496358712075184675462118755121317391850032017\ *c_1001_12^6 + 3169530167003418304441092645583408798257651158676276\ 173314256/795367007958549978580659265792208600698559537161128529600\ 1*c_1001_12^5 + 938936308637176196421410891810578111768747894914624\ 84966099911/1352123913529534963587120751846754621187551213173918500\ 32017*c_1001_12^4 - 53194211184586950557122724201978153273468945615\ 957510498140173/135212391352953496358712075184675462118755121317391\ 850032017*c_1001_12^3 + 4079676242715001654700839633293376596816553\ 811646683486716495/135212391352953496358712075184675462118755121317\ 391850032017*c_1001_12^2 + 3945260962181012606783302854225002881182\ 067291982544119879415/135212391352953496358712075184675462118755121\ 317391850032017*c_1001_12 - 864877567207992798134514637245014185788\ 649006295041902029465/135212391352953496358712075184675462118755121\ 317391850032017, c_0101_2 - 2882523406982397009304791219247569714610665623447324536153/1\ 35212391352953496358712075184675462118755121317391850032017*c_1001_\ 12^22 + 16118434358063911650335447174550936186558087826519584275555\ /135212391352953496358712075184675462118755121317391850032017*c_100\ 1_12^21 - 981487233926001001730448479601224917226966843607163613873\ 41/135212391352953496358712075184675462118755121317391850032017*c_1\ 001_12^20 + 4075237594023952013692207887176319322988893139004169886\ 82791/135212391352953496358712075184675462118755121317391850032017*\ c_1001_12^19 - 1447705281463785284246958745863139797457473615810402\ 532299615/135212391352953496358712075184675462118755121317391850032\ 017*c_1001_12^18 + 492340052509150683658299630184162291425928424978\ 8594211167418/13521239135295349635871207518467546211875512131739185\ 0032017*c_1001_12^17 - 17107258933596499733802985043140427962344310\ 677721680384042829/135212391352953496358712075184675462118755121317\ 391850032017*c_1001_12^16 + 341656408395791354966173074815897057128\ 22662954384907854536483/1352123913529534963587120751846754621187551\ 21317391850032017*c_1001_12^15 - 3144121717490883468338317855650377\ 3654640295737419612715000819/13521239135295349635871207518467546211\ 8755121317391850032017*c_1001_12^14 + 12311509904623270134520803284209939310893831587281748624297149/1352\ 12391352953496358712075184675462118755121317391850032017*c_1001_12^\ 13 - 56685975542919669172061271692216634134953246761625882707406906\ /135212391352953496358712075184675462118755121317391850032017*c_100\ 1_12^12 - 213568034115868776434569256279265888654601393463738814365\ 21607/135212391352953496358712075184675462118755121317391850032017*\ c_1001_12^11 - 3198083780752804650171889986830426350935531561993205\ 61351601/1352123913529534963587120751846754621187551213173918500320\ 17*c_1001_12^10 + 6211125336054150543224798683597122728539643258620\ 9434682908786/13521239135295349635871207518467546211875512131739185\ 0032017*c_1001_12^9 + 103037435605162462937197298500048639900481934\ 62022697361562062/1352123913529534963587120751846754621187551213173\ 91850032017*c_1001_12^8 - 87370064646817108766994842630127729504992\ 942502586436276504817/135212391352953496358712075184675462118755121\ 317391850032017*c_1001_12^7 + 1854270104431541544666196240797014896\ 5144632253950951679478507/13521239135295349635871207518467546211875\ 5121317391850032017*c_1001_12^6 + 248564846698894950169890757919555\ 5101848193885614945032223368/79536700795854997858065926579220860069\ 85595371611285296001*c_1001_12^5 - 19452696533491023502390381560540895637215844873773952712019274/1352\ 12391352953496358712075184675462118755121317391850032017*c_1001_12^\ 4 - 7891354092035913352183062191763637217958233225494982559415010/1\ 35212391352953496358712075184675462118755121317391850032017*c_1001_\ 12^3 + 564308826742588488427075636847699141449433221413659936826958\ 2/135212391352953496358712075184675462118755121317391850032017*c_10\ 01_12^2 + 125566728190262402500424233068601881637150802629401539328\ 535/135212391352953496358712075184675462118755121317391850032017*c_\ 1001_12 - 622167736560772750541369553314732170557388562663273094333\ 485/135212391352953496358712075184675462118755121317391850032017, c_0110_11 - 4369091246488358738303883703585192701587655641652999305952/\ 135212391352953496358712075184675462118755121317391850032017*c_1001\ _12^22 + 3125108044222152592572057727906753748348890256552589917268\ 3/135212391352953496358712075184675462118755121317391850032017*c_10\ 01_12^21 - 19054921156509991606431182225200491168563947911601639360\ 1473/135212391352953496358712075184675462118755121317391850032017*c\ _1001_12^20 + 87276446266276496636545156645425978141875869229700175\ 2893385/13521239135295349635871207518467546211875512131739185003201\ 7*c_1001_12^19 - 32976993122018551205375251056080419172873527015118\ 83278068807/1352123913529534963587120751846754621187551213173918500\ 32017*c_1001_12^18 + 1149478968174906760919981390797059348343522601\ 6208543901301630/13521239135295349635871207518467546211875512131739\ 1850032017*c_1001_12^17 - 39804706801107220308223304598948666912831\ 487499799189193076633/135212391352953496358712075184675462118755121\ 317391850032017*c_1001_12^16 + 999280637007989440129429856219728683\ 60040222068999496194363672/1352123913529534963587120751846754621187\ 55121317391850032017*c_1001_12^15 - 155075610105739994386428720792435289999772722305912197603284749/135\ 212391352953496358712075184675462118755121317391850032017*c_1001_12\ ^14 + 1534108744827158162848215592729887175030935902515377329699878\ 94/135212391352953496358712075184675462118755121317391850032017*c_1\ 001_12^13 - 1927802979204505280420102593514889405522387760463043652\ 23051173/1352123913529534963587120751846754621187551213173918500320\ 17*c_1001_12^12 + 1637708654042109729387707097305889035411270091901\ 25917588211404/1352123913529534963587120751846754621187551213173918\ 50032017*c_1001_12^11 - 5646846732996538813220859839768723697831259\ 9468508203327400824/13521239135295349635871207518467546211875512131\ 7391850032017*c_1001_12^10 + 13450667576632997311158226900153690217\ 4612934925325847023952450/13521239135295349635871207518467546211875\ 5121317391850032017*c_1001_12^9 - 147393929766484479057363502098427\ 523769874772986233436105946764/135212391352953496358712075184675462\ 118755121317391850032017*c_1001_12^8 - 69342582156819067220797904521855627856909022705136794529456850/1352\ 12391352953496358712075184675462118755121317391850032017*c_1001_12^\ 7 + 190775919005460658093358308686850149244162160951403584251147559\ /135212391352953496358712075184675462118755121317391850032017*c_100\ 1_12^6 - 4193700982542256965826551579732781033261439486173033742766\ 884/7953670079585499785806592657922086006985595371611285296001*c_10\ 01_12^5 - 425485197745161185969338054168360067600846460685599671435\ 62702/135212391352953496358712075184675462118755121317391850032017*\ c_1001_12^4 + 39336036556009973813529935541780132525407532444153752\ 888838256/135212391352953496358712075184675462118755121317391850032\ 017*c_1001_12^3 - 6363022646806405865897618389990666586686180381622\ 675793925959/135212391352953496358712075184675462118755121317391850\ 032017*c_1001_12^2 - 2613866662443965810650130726744368399655796768\ 832617888281934/135212391352953496358712075184675462118755121317391\ 850032017*c_1001_12 + 915299619447485396078206809519490118377829751\ 747090320446220/135212391352953496358712075184675462118755121317391\ 850032017, c_1001_1 - 4252096423262643973907100993353320973310781506727500584070/1\ 35212391352953496358712075184675462118755121317391850032017*c_1001_\ 12^22 + 27724742246161024487317440838099033404083046667856580886753\ /135212391352953496358712075184675462118755121317391850032017*c_100\ 1_12^21 - 169313031008843616774724296509286263875997487701785886355\ 858/135212391352953496358712075184675462118755121317391850032017*c_\ 1001_12^20 + 750832975882193907936627124014107808843170460133828561\ 926938/135212391352953496358712075184675462118755121317391850032017\ *c_1001_12^19 - 278650649904130970774141062619592636498230480009212\ 3459725413/13521239135295349635871207518467546211875512131739185003\ 2017*c_1001_12^18 + 96488042532304856598321947797329734719086375782\ 82983136383664/1352123913529534963587120751846754621187551213173918\ 50032017*c_1001_12^17 - 3345328260277517245250593845503586586614824\ 4202889374536288493/13521239135295349635871207518467546211875512131\ 7391850032017*c_1001_12^16 + 78902047619120842816304794658392669053\ 754743772978254099414462/135212391352953496358712075184675462118755\ 121317391850032017*c_1001_12^15 - 110764960895527356305216181706265\ 802791626018747046119467848110/135212391352953496358712075184675462\ 118755121317391850032017*c_1001_12^14 + 100807343592792375746999567768568420447858239393488372672194037/135\ 212391352953496358712075184675462118755121317391850032017*c_1001_12\ ^13 - 1502732987464217635916608001359867598427114989895294124505464\ 04/135212391352953496358712075184675462118755121317391850032017*c_1\ 001_12^12 + 8446394813464659833743506752837270222392645563893910515\ 9850490/13521239135295349635871207518467546211875512131739185003201\ 7*c_1001_12^11 - 40307368508209724877096622843491997100965553329271\ 428845981568/135212391352953496358712075184675462118755121317391850\ 032017*c_1001_12^10 + 114742343269434499713643981167365017329341926\ 111202575503491566/135212391352953496358712075184675462118755121317\ 391850032017*c_1001_12^9 - 7717587521607753390869775796957314260947\ 9611074843660153663190/13521239135295349635871207518467546211875512\ 1317391850032017*c_1001_12^8 - 826495973213826721442251152073109296\ 54882504509670843164263400/1352123913529534963587120751846754621187\ 55121317391850032017*c_1001_12^7 + 122740800407727331472028108606857808341342034493976280654945991/135\ 212391352953496358712075184675462118755121317391850032017*c_1001_12\ ^6 - 1598731560924661435529279262171872886200871871825562366831290/\ 7953670079585499785806592657922086006985595371611285296001*c_1001_1\ 2^5 - 3266964351106852721545288251494228904598559094365396033342040\ 1/135212391352953496358712075184675462118755121317391850032017*c_10\ 01_12^4 + 223503518856663089299356959212983750077971635761762445630\ 29829/135212391352953496358712075184675462118755121317391850032017*\ c_1001_12^3 - 23485909449009941797142775663841585187093713396798825\ 39628664/1352123913529534963587120751846754621187551213173918500320\ 17*c_1001_12^2 - 17405481661065342805507255082293129807603250501831\ 66000417338/1352123913529534963587120751846754621187551213173918500\ 32017*c_1001_12 + 4797456204978175135031358525682272746716759023954\ 76217567725/1352123913529534963587120751846754621187551213173918500\ 32017, c_1001_10 + 2705216841094746333429809960440928373037079863185947918947/\ 135212391352953496358712075184675462118755121317391850032017*c_1001\ _12^22 - 1950859560026371522629735224223760085225007021341590718109\ 8/135212391352953496358712075184675462118755121317391850032017*c_10\ 01_12^21 + 11938954048698520636749073246083704876998889779786247569\ 2205/135212391352953496358712075184675462118755121317391850032017*c\ _1001_12^20 - 54863115429065806784626895150111752886991105414349884\ 8478136/13521239135295349635871207518467546211875512131739185003201\ 7*c_1001_12^19 + 20817964425561158774086090598197207966085458432358\ 17576444611/1352123913529534963587120751846754621187551213173918500\ 32017*c_1001_12^18 - 7269247262704273828955861044484612116684372834\ 934884092399582/135212391352953496358712075184675462118755121317391\ 850032017*c_1001_12^17 + 251755541313591047648718047578001786322502\ 65808181128808168166/1352123913529534963587120751846754621187551213\ 17391850032017*c_1001_12^16 - 6369792656781003411344787081151392516\ 0350744179380288810923905/13521239135295349635871207518467546211875\ 5121317391850032017*c_1001_12^15 + 100973470991899326534539349295094551424579082767231565490645033/135\ 212391352953496358712075184675462118755121317391850032017*c_1001_12\ ^14 - 1028397833471005493239280809722019755992181875203458800467806\ 44/135212391352953496358712075184675462118755121317391850032017*c_1\ 001_12^13 + 1262005725001568259755202834905026255664250500032312094\ 40826701/1352123913529534963587120751846754621187551213173918500320\ 17*c_1001_12^12 - 1086268175428357971407620057356566623026852248655\ 57924352225372/1352123913529534963587120751846754621187551213173918\ 50032017*c_1001_12^11 + 4625039981773101517517975356116573216231882\ 3543584134249811264/13521239135295349635871207518467546211875512131\ 7391850032017*c_1001_12^10 - 79488426356669913379402606473943677225\ 828434386575999683074251/135212391352953496358712075184675462118755\ 121317391850032017*c_1001_12^9 + 1001171957071092993661463922746836\ 68473906325131688449455219536/1352123913529534963587120751846754621\ 18755121317391850032017*c_1001_12^8 + 33747945727711270148665804373418209510670149625113631478843487/1352\ 12391352953496358712075184675462118755121317391850032017*c_1001_12^\ 7 - 125529474408412240366520903699785388005347718893995323325041594\ /135212391352953496358712075184675462118755121317391850032017*c_100\ 1_12^6 + 3273251988210105940320663676170918264310759924597868524937\ 662/7953670079585499785806592657922086006985595371611285296001*c_10\ 01_12^5 + 260783136877255285903929929610314208057111246307501853903\ 77389/135212391352953496358712075184675462118755121317391850032017*\ c_1001_12^4 - 27806070371113858419522773613346912447730404502390498\ 032325527/135212391352953496358712075184675462118755121317391850032\ 017*c_1001_12^3 + 5045874196399889879600030452196808090021751214026\ 956698396002/135212391352953496358712075184675462118755121317391850\ 032017*c_1001_12^2 + 1763495627909914385712576586215645038127798246\ 360974219011293/135212391352953496358712075184675462118755121317391\ 850032017*c_1001_12 - 665799328018326379473409495000372771365856893\ 666101881459187/135212391352953496358712075184675462118755121317391\ 850032017, c_1001_11 - 7688533686104420053348846970968448664464877470319017196903/\ 135212391352953496358712075184675462118755121317391850032017*c_1001\ _12^22 + 5028056108504462925130765405348874342031084687899050387526\ 0/135212391352953496358712075184675462118755121317391850032017*c_10\ 01_12^21 - 30673946089119779972528845845356431787125923605903935314\ 1367/135212391352953496358712075184675462118755121317391850032017*c\ _1001_12^20 + 13614985618453062732116651374341456856417157877865570\ 11533302/1352123913529534963587120751846754621187551213173918500320\ 17*c_1001_12^19 - 5052162055709601581635555420172389356834445219585\ 033473298289/135212391352953496358712075184675462118755121317391850\ 032017*c_1001_12^18 + 174923780825636330320156588239586538048649808\ 56137222566640927/1352123913529534963587120751846754621187551213173\ 91850032017*c_1001_12^17 - 6064411264136283352470920056508024410142\ 2661097405496426702808/13521239135295349635871207518467546211875512\ 1317391850032017*c_1001_12^16 + 14321835345855127601198642628254014\ 3570842006931239669484310103/13521239135295349635871207518467546211\ 8755121317391850032017*c_1001_12^15 - 200878724304769679355830683218030899913895373554866139057919719/135\ 212391352953496358712075184675462118755121317391850032017*c_1001_12\ ^14 + 1819593273482937218821641736193204972548148809914879097332732\ 64/135212391352953496358712075184675462118755121317391850032017*c_1\ 001_12^13 - 2717710549644599351227688796291597828757447098085268638\ 19911508/1352123913529534963587120751846754621187551213173918500320\ 17*c_1001_12^12 + 1569908830790152539470269945380765738494549594910\ 23590574227965/1352123913529534963587120751846754621187551213173918\ 50032017*c_1001_12^11 - 6853632431262821867499942561824010340059635\ 5410731330011549220/13521239135295349635871207518467546211875512131\ 7391850032017*c_1001_12^10 + 21289786222103407116250437258824991139\ 4328230515246391781978711/13521239135295349635871207518467546211875\ 5121317391850032017*c_1001_12^9 - 144001233203640646002584961282279\ 952514373356845313885676411637/135212391352953496358712075184675462\ 118755121317391850032017*c_1001_12^8 - 156017249945036102140323078663776499104499004613541952186746731/135\ 212391352953496358712075184675462118755121317391850032017*c_1001_12\ ^7 + 22042491962128354944832336551870160252033669313493743857197842\ 1/135212391352953496358712075184675462118755121317391850032017*c_10\ 01_12^6 - 249680112597947027919326183790660904948472182899269882097\ 4312/7953670079585499785806592657922086006985595371611285296001*c_1\ 001_12^5 - 58653994928992103740714353253203507096379580455204122034\ 453688/135212391352953496358712075184675462118755121317391850032017\ *c_1001_12^4 + 3633554879755166764250883613749855524688379762013315\ 6977149235/13521239135295349635871207518467546211875512131739185003\ 2017*c_1001_12^3 - 403862407217870566316948848562825205314762576904\ 4277175925166/13521239135295349635871207518467546211875512131739185\ 0032017*c_1001_12^2 - 253832431770598509983075101803567066633386808\ 1926966497732493/13521239135295349635871207518467546211875512131739\ 1850032017*c_1001_12 + 67783174043156279042376001560903954099607416\ 3348401945878037/13521239135295349635871207518467546211875512131739\ 1850032017, c_1001_12^23 - 7*c_1001_12^22 + 43*c_1001_12^21 - 196*c_1001_12^20 + 742*c_1001_12^19 - 2592*c_1001_12^18 + 8987*c_1001_12^17 - 22437*c_1001_12^16 + 35322*c_1001_12^15 - 37024*c_1001_12^14 + 47774*c_1001_12^13 - 37776*c_1001_12^12 + 20719*c_1001_12^11 - 31947*c_1001_12^10 + 31916*c_1001_12^9 + 9562*c_1001_12^8 - 37716*c_1001_12^7 + 21054*c_1001_12^6 + 3728*c_1001_12^5 - 8723*c_1001_12^4 + 3308*c_1001_12^3 - 25*c_1001_12^2 - 285*c_1001_12 + 59 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.390 Total time: 4.599 seconds, Total memory usage: 119.78MB