Magma V2.19-8 Wed Aug 21 2013 00:02:29 on localhost [Seed = 3835858218] Type ? for help. Type -D to quit. Loading file "K13n1690__sl2_c1.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' : negation(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' : 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' : negation(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' : negation(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' : negation(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' : negation(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 + 7068572342873040362198940279830038912802716796660292140339131505828\ 855269261337/313430836190711593592039254345841967142296497594313093\ 12052680905789909455381*c_1001_12^22 - 1096289751728130349823545008965164012098408826109551029546426714390\ 563454025346/219401585333498115514427478042089376999607548316019165\ 184368766340529366187667*c_1001_12^21 - 9920021250535842290163442264255184372662717980451976496133146853761\ 3142354831015/31343083619071159359203925434584196714229649759431309\ 312052680905789909455381*c_1001_12^20 - 1028308309417750113483208477260944894965758340468810859043516414869\ 432082901314030/219401585333498115514427478042089376999607548316019\ 165184368766340529366187667*c_1001_12^19 + 1179232753618972719747614556555594713615871034555527586610777870855\ 66835520619781/4668118836882938627966542086001901638289522304596152\ 450731250347670837578461*c_1001_12^18 + 8666919677346891839435564795354453956027132145928585572667860619952\ 87893854461380/2194015853334981155144274780420893769996075483160191\ 65184368766340529366187667*c_1001_12^17 - 2439231502312237590468751922081089495595327473735346846793770291956\ 919886345400942/313430836190711593592039254345841967142296497594313\ 09312052680905789909455381*c_1001_12^16 + 9476739668540902850677885679959053898343700013764121268932843693893\ 4309442578319184/21940158533349811551442747804208937699960754831601\ 9165184368766340529366187667*c_1001_12^15 + 1479035565315822579184036037026105206680969777666324637465150341510\ 19949176758870/1577293927631187027422196103825229166064755918878642\ 45279920033314543038237*c_1001_12^14 - 3139861575585175713388146476699799913552984630067851197800056982329\ 601788693747293/466811883688293862796654208600190163828952230459615\ 2450731250347670837578461*c_1001_12^13 - 4233778536828457550812447022029162446915665193052258517903569271995\ 09666289405965607/2194015853334981155144274780420893769996075483160\ 19165184368766340529366187667*c_1001_12^12 + 1213197170738061182612336582858754922753554536052658416526474820839\ 11370717769211976/2194015853334981155144274780420893769996075483160\ 19165184368766340529366187667*c_1001_12^11 + 6030818745808132997677845279651196902417558806442188347918057446575\ 2019486423371595/31343083619071159359203925434584196714229649759431\ 309312052680905789909455381*c_1001_12^10 - 1134628701820351361750610581550518283061657221247825572191729598252\ 60177371931136720/2194015853334981155144274780420893769996075483160\ 19165184368766340529366187667*c_1001_12^9 - 2623130081308872180551870446463119641355671769927500417226659320747\ 30512324881258021/2194015853334981155144274780420893769996075483160\ 19165184368766340529366187667*c_1001_12^8 + 9911738272024443548179955632450057984026949147165229571426286746831\ 7582641323816168/21940158533349811551442747804208937699960754831601\ 9165184368766340529366187667*c_1001_12^7 + 1703606425820637322166943266805335180500062267719575445860505882718\ 0568708934234369/31343083619071159359203925434584196714229649759431\ 309312052680905789909455381*c_1001_12^6 - 3916334050325619483197799486819300370688485764957442141815613167313\ 4717298695456112/21940158533349811551442747804208937699960754831601\ 9165184368766340529366187667*c_1001_12^5 - 4060203552241337701173976550961205468666209461630068973479213229621\ 2019637884545073/21940158533349811551442747804208937699960754831601\ 9165184368766340529366187667*c_1001_12^4 + 2505857671617664986655389656568377943654726030705814509802138445983\ 202966202333359/219401585333498115514427478042089376999607548316019\ 165184368766340529366187667*c_1001_12^3 + 7093239583532003889345994364163395969684194421124227205240343200655\ 000189781090001/219401585333498115514427478042089376999607548316019\ 165184368766340529366187667*c_1001_12^2 + 1787728810797445984824730124313065627730296729966025808901410106730\ 361737906322825/219401585333498115514427478042089376999607548316019\ 165184368766340529366187667*c_1001_12 + 1015355444204832582242562771517210701917936588604279332219115754562\ 87066162201222/2194015853334981155144274780420893769996075483160191\ 65184368766340529366187667, c_0011_0 - 1, c_0011_10 + 2135146731592002739114009778306660264640639742056233718360/\ 10188536604608751665324108811107678041187169198352126238819*c_1001_\ 12^22 + 304746094036872426935858036478103309461983085300255179957/1\ 0188536604608751665324108811107678041187169198352126238819*c_1001_1\ 2^21 - 29758485898131438879759363916202448175712382048187147114202/\ 10188536604608751665324108811107678041187169198352126238819*c_1001_\ 12^20 - 49484778792080759348746483621204154588561066921299585329513\ /10188536604608751665324108811107678041187169198352126238819*c_1001\ _12^19 + 2288895460636972597410504045131085571324703480359727635167\ 00/10188536604608751665324108811107678041187169198352126238819*c_10\ 01_12^18 + 74646817260364713907574608854897123934601714785674071059\ 317/10188536604608751665324108811107678041187169198352126238819*c_1\ 001_12^17 - 7037655259666283038687066122683750943007288454663047186\ 91218/10188536604608751665324108811107678041187169198352126238819*c\ _1001_12^16 + 39531049370630144781463279512135232431250459260232871\ 78138448/1018853660460875166532410881110767804118716919835212623881\ 9*c_1001_12^15 + 94810786304520489120947664093278239073447722592449\ 40848614843/1018853660460875166532410881110767804118716919835212623\ 8819*c_1001_12^14 - 44440144064944014010964125448596151942140857084\ 50348959851478/1018853660460875166532410881110767804118716919835212\ 6238819*c_1001_12^13 - 18759911257001950136767208319554305539876326\ 826044508811133865/101885366046087516653241088111076780411871691983\ 52126238819*c_1001_12^12 + 9891220709206983288652856184852248117777\ 21935830876547483470/1018853660460875166532410881110767804118716919\ 8352126238819*c_1001_12^11 + 17777041295614653059769314168511657720\ 720678224832971877633508/101885366046087516653241088111076780411871\ 69198352126238819*c_1001_12^10 - 3041132566561143315323948906360127\ 80579734791089936516476685/1018853660460875166532410881110767804118\ 7169198352126238819*c_1001_12^9 - 108956656277086607383992062825599\ 60619072168782155940926480030/1018853660460875166532410881110767804\ 1187169198352126238819*c_1001_12^8 + 971045149520711563357558160608861154232210741447657652485806/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^7 + 5298606742975681523732807167521708791680517702412199269861587/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^6 + 60626240171182163192754741970915086279082540432425222943323/1018853\ 6604608751665324108811107678041187169198352126238819*c_1001_12^5 - 1931467528085406875854101540273988096745436457515289392600360/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^4 - 496844402653611832955227610940487154046096649656160432118824/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^3 + 288449694358181461930047040849855626646049405608258809027505/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^2 + 175937051682889793910964289783082370411013418810227189860143/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12 + 32177958792472162770401192595722397513389783331482568336230/1018853\ 6604608751665324108811107678041187169198352126238819, c_0011_11 - 1240289926598437511595075463806305997785596344918266689538/\ 10188536604608751665324108811107678041187169198352126238819*c_1001_\ 12^22 - 677918295277324698021640292163181293959097571473430145509/1\ 0188536604608751665324108811107678041187169198352126238819*c_1001_1\ 2^21 + 17687042484535146157553693401904651031718139038375972691548/\ 10188536604608751665324108811107678041187169198352126238819*c_1001_\ 12^20 + 35541408694564681864690819455402476506054534534803329019913\ /10188536604608751665324108811107678041187169198352126238819*c_1001\ _12^19 - 1278501069941635207564682015070029084295279001407257251312\ 80/10188536604608751665324108811107678041187169198352126238819*c_10\ 01_12^18 - 10459502357618499558248631704324087514415273489395610129\ 0631/10188536604608751665324108811107678041187169198352126238819*c_\ 1001_12^17 + 446177764788591093592607389734081275249440660194649815\ 409587/10188536604608751665324108811107678041187169198352126238819*\ c_1001_12^16 - 2142804809104778341259915479170654839581639110407607\ 353909606/101885366046087516653241088111076780411871691983521262388\ 19*c_1001_12^15 - 6584534203748938965373256702693458460820512970720\ 698471479025/101885366046087516653241088111076780411871691983521262\ 38819*c_1001_12^14 + 1304970563169417771647206560539890555373855345\ 955040554935219/101885366046087516653241088111076780411871691983521\ 26238819*c_1001_12^13 + 1353486619608170456360869756389653813590464\ 9485144293803453053/10188536604608751665324108811107678041187169198\ 352126238819*c_1001_12^12 + 196736823228805920327525258632622421895\ 1237846251947741677757/10188536604608751665324108811107678041187169\ 198352126238819*c_1001_12^11 - 139182649669475428302748967488202873\ 92891958557189791152259392/1018853660460875166532410881110767804118\ 7169198352126238819*c_1001_12^10 - 2234348857567446032177767496622716617206572704333023379720968/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^9 + 9433883623752482316758671318898738550520537193774586680219345/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^8 + 461545528214724720811731723953729447523472937811231162046928/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^7 - 4942335808567048743916821809472588710367243595730224420290476/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^6 - 261918659111210288779128866259912683016167797776893153466744/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^5 + 1775429512670204122079795236240861811438197131662483655729978/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^4 + 432407346389211222843118426711086072958482761234350139192204/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^3 - 311966868737633565182074832749426228495576070991489422587437/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^2 - 155144978788088357679071916238300458945344469710646360095610/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12 - 18277024833351656277467722038573497861537502164406811701283/1018853\ 6604608751665324108811107678041187169198352126238819, c_0011_12 - 455193435709228971886022117522425123184357028486434521964/1\ 0188536604608751665324108811107678041187169198352126238819*c_1001_1\ 2^22 - 655348923617437813332193680437240184713333617264626272728/10\ 188536604608751665324108811107678041187169198352126238819*c_1001_12\ ^21 + 6570638004996718343102646586473520647141302991657150626804/10\ 188536604608751665324108811107678041187169198352126238819*c_1001_12\ ^20 + 18741647869491308840996928424203376433455463850972338886701/1\ 0188536604608751665324108811107678041187169198352126238819*c_1001_1\ 2^19 - 39277257394794302735533216048067334242093198021160904575747/\ 10188536604608751665324108811107678041187169198352126238819*c_1001_\ 12^18 - 85332858005656442512089056576088477718721632757119913579973\ /10188536604608751665324108811107678041187169198352126238819*c_1001\ _12^17 + 1622711621740425211141028038586067762795157943776813694746\ 02/10188536604608751665324108811107678041187169198352126238819*c_10\ 01_12^16 - 64911281681562743552435765074173433868608869650877436115\ 8680/10188536604608751665324108811107678041187169198352126238819*c_\ 1001_12^15 - 320106168252351885634657779861132113368919727684014766\ 2470168/10188536604608751665324108811107678041187169198352126238819\ *c_1001_12^14 - 107737598839952770281914574759752884381377353709014\ 9269299628/10188536604608751665324108811107678041187169198352126238\ 819*c_1001_12^13 + 641807253549423531292973221533925569901965907741\ 5713701856026/10188536604608751665324108811107678041187169198352126\ 238819*c_1001_12^12 + 431517685358054333053255465175442631967420041\ 3396820302404574/10188536604608751665324108811107678041187169198352\ 126238819*c_1001_12^11 - 602117133374095589463992966953194024380151\ 9711418938221240948/10188536604608751665324108811107678041187169198\ 352126238819*c_1001_12^10 - 433248484831317331655839227430057879023\ 9807113010673146220190/10188536604608751665324108811107678041187169\ 198352126238819*c_1001_12^9 + 4087128524633178762567835036361601014\ 238302965657303752665244/101885366046087516653241088111076780411871\ 69198352126238819*c_1001_12^8 + 23219716014986515607215182867706629\ 55330653239330190179037795/1018853660460875166532410881110767804118\ 7169198352126238819*c_1001_12^7 - 233805559494789606033951346477548\ 4981875957404175107196884613/10188536604608751665324108811107678041\ 187169198352126238819*c_1001_12^6 - 1157935517326434279847053000144417935707633865740535812017947/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^5 + 794197296655972589550757861810560969054676081924155864279606/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^4 + 582661435701681044028328157137545049432847226329978636177179/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^3 - 63421791534783991581457903689642680356229467108288631351805/1018853\ 6604608751665324108811107678041187169198352126238819*c_1001_12^2 - 130139313003653252767623320595757577539504373477178172079881/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12 - 28801597090227091033746260388420010826212176023689540980646/1018853\ 6604608751665324108811107678041187169198352126238819, c_0011_6 + 1592338049995017963148539539406855291240371333722392245824/1\ 0188536604608751665324108811107678041187169198352126238819*c_1001_1\ 2^22 + 403319523674536098122242342208495145003388861576908589015/10\ 188536604608751665324108811107678041187169198352126238819*c_1001_12\ ^21 - 22109281845725843379971773013568578532376280018744805126437/1\ 0188536604608751665324108811107678041187169198352126238819*c_1001_1\ 2^20 - 39512758312598098970880248718512017051510629925586083934825/\ 10188536604608751665324108811107678041187169198352126238819*c_1001_\ 12^19 + 16593046133843577514237846741050771104404040252598383801087\ 0/10188536604608751665324108811107678041187169198352126238819*c_100\ 1_12^18 + 754833300550501166193702730973920798550588274921037746288\ 88/10188536604608751665324108811107678041187169198352126238819*c_10\ 01_12^17 - 51073076521643105405006461977010695367103261153085858725\ 3582/10188536604608751665324108811107678041187169198352126238819*c_\ 1001_12^16 + 287116929670339099022591088342960853344938160084127891\ 6173287/10188536604608751665324108811107678041187169198352126238819\ *c_1001_12^15 + 738750493968592898631434189631687084364648127123622\ 5022171081/10188536604608751665324108811107678041187169198352126238\ 819*c_1001_12^14 - 236579833884661157692067543663128483931214781781\ 1735085726410/10188536604608751665324108811107678041187169198352126\ 238819*c_1001_12^13 - 144486655295923782638518503827148568957414038\ 09857786067943449/1018853660460875166532410881110767804118716919835\ 2126238819*c_1001_12^12 - 13620398427784514988296441247551204309879\ 52487582804419956795/1018853660460875166532410881110767804118716919\ 8352126238819*c_1001_12^11 + 13841960363738532146931858135511732852\ 715429164042617452316480/101885366046087516653241088111076780411871\ 69198352126238819*c_1001_12^10 + 2419959897085244409800384053878126\ 219295713360210369930503132/101885366046087516653241088111076780411\ 87169198352126238819*c_1001_12^9 - 8775328727432768027674039036535780064160446553480183827001481/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^8 - 1184903888334356613754111982970058150691999164943044091008521/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^7 + 4679881919526399227490863031932222506526517519617819703217010/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^6 + 943795373687453615379381661810007539642585900741585453818431/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^5 - 1874508861576607898202810721834890733953236441710470988825928/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^4 - 656612251245655088903675135291146606717259993603764752776147/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^3 + 302221850535788152827017117527632061031521007127481681991509/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^2 + 206807062798377715711962904367424663476145079738013901756827/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12 + 30823923195208179141284300503935859382750219365131750966922/1018853\ 6604608751665324108811107678041187169198352126238819, c_0101_0 - 3084338219070696324449392768738157615053677977108251860667/1\ 0188536604608751665324108811107678041187169198352126238819*c_1001_1\ 2^22 - 407433227654236204700950071495071438480687394926546709558/10\ 188536604608751665324108811107678041187169198352126238819*c_1001_12\ ^21 + 42693915709729233347461772901809103407308471057846678435487/1\ 0188536604608751665324108811107678041187169198352126238819*c_1001_1\ 2^20 + 71008627809084663027170027939105292387998342805533444005862/\ 10188536604608751665324108811107678041187169198352126238819*c_1001_\ 12^19 - 32743910305084633636809633743571890365863370749509964211539\ 9/10188536604608751665324108811107678041187169198352126238819*c_100\ 1_12^18 - 977792814318686783212543331891013055314122443435073805345\ 96/10188536604608751665324108811107678041187169198352126238819*c_10\ 01_12^17 + 98792375985794474798942781855281759201536461611258003063\ 8972/10188536604608751665324108811107678041187169198352126238819*c_\ 1001_12^16 - 572438301434588697046221802444451008370155695482276191\ 6079141/10188536604608751665324108811107678041187169198352126238819\ *c_1001_12^15 - 135563429356394550571573949601435240271588337413667\ 07974383999/1018853660460875166532410881110767804118716919835212623\ 8819*c_1001_12^14 + 59985121936479347179681631492753754147697426620\ 44981882208073/1018853660460875166532410881110767804118716919835212\ 6238819*c_1001_12^13 + 25811806910657107322995549590532308232617082\ 693776549381958951/101885366046087516653241088111076780411871691983\ 52126238819*c_1001_12^12 - 1361313740367483831183845288890076618750\ 765796970842606979695/101885366046087516653241088111076780411871691\ 98352126238819*c_1001_12^11 - 2397561324399345114789624067663000474\ 4324024799129718749979495/10188536604608751665324108811107678041187\ 169198352126238819*c_1001_12^10 + 630701942705731100466491280105411\ 492843582959374439150164985/101885366046087516653241088111076780411\ 87169198352126238819*c_1001_12^9 + 14653324321883017400279840444649325816997603789159315792517335/1018\ 8536604608751665324108811107678041187169198352126238819*c_1001_12^8 - 1402842878247909050116681443111784405150186641000173850376383/101\ 88536604608751665324108811107678041187169198352126238819*c_1001_12^\ 7 - 7216013046595239206967883913652207685586066111704952952481208/1\ 0188536604608751665324108811107678041187169198352126238819*c_1001_1\ 2^6 - 134960617156894052488840729678257628981883294332917163814965/\ 10188536604608751665324108811107678041187169198352126238819*c_1001_\ 12^5 + 262480122868266904858467029537569048832815733299032478381452\ 5/10188536604608751665324108811107678041187169198352126238819*c_100\ 1_12^4 + 6110560508167256893758370633877933885248842311913896259298\ 77/10188536604608751665324108811107678041187169198352126238819*c_10\ 01_12^3 - 378972440551680760454894705812173642175069025914336496082\ 407/10188536604608751665324108811107678041187169198352126238819*c_1\ 001_12^2 - 21036725774446218501931535186492002896928705416005478451\ 1432/10188536604608751665324108811107678041187169198352126238819*c_\ 1001_12 - 347090254112533760510135776776586069585553485678968707849\ 33/10188536604608751665324108811107678041187169198352126238819, c_0101_10 - 1354301505724179354753625741257501525319463062846370354526/\ 10188536604608751665324108811107678041187169198352126238819*c_1001_\ 12^22 + 143395867315791105060721339513941305359939642861151846612/1\ 0188536604608751665324108811107678041187169198352126238819*c_1001_1\ 2^21 + 18858873889886922813040491358639541481485676461290922680387/\ 10188536604608751665324108811107678041187169198352126238819*c_1001_\ 12^20 + 26863627989996889733974224611886362917516345709515088940005\ /10188536604608751665324108811107678041187169198352126238819*c_1001\ _12^19 - 1521060749031703614367342852273276664156153889416300225802\ 72/10188536604608751665324108811107678041187169198352126238819*c_10\ 01_12^18 - 12164085793259977812151041783447799905487503980571158350\ 681/10188536604608751665324108811107678041187169198352126238819*c_1\ 001_12^17 + 4477535679976732048041451774879470579812611129899886668\ 93753/10188536604608751665324108811107678041187169198352126238819*c\ _1001_12^16 - 26015234232165327685179955809032578227700892676890942\ 48512205/1018853660460875166532410881110767804118716919835212623881\ 9*c_1001_12^15 - 53693717250779386871951979461191448635833312783295\ 29894276477/1018853660460875166532410881110767804118716919835212623\ 8819*c_1001_12^14 + 41421784139203774396668844582308729429848882947\ 35432217245767/1018853660460875166532410881110767804118716919835212\ 6238819*c_1001_12^13 + 11255862026725258834448744142282720727027216\ 750888703534660869/101885366046087516653241088111076780411871691983\ 52126238819*c_1001_12^12 - 2771385377571786979714795252399233257069\ 798262942268351783165/101885366046087516653241088111076780411871691\ 98352126238819*c_1001_12^11 - 1098653048943186252515294928429016392\ 7497206632858505312704441/10188536604608751665324108811107678041187\ 169198352126238819*c_1001_12^10 + 178664168112998696361665339951686\ 0027770824650456373713222023/10188536604608751665324108811107678041\ 187169198352126238819*c_1001_12^9 + 6614875192811823910805253247669613646349187568702745678005535/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^8 - 1431951641763258181739896507330868337790185025404552640485688/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^7 - 3207159899119398433170157617371744938495210548409982133786603/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^6 + 307029220693357845802871827125377221582979670913183084424778/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^5 + 1291391115406422492325181055879068127604949431336601983581491/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^4 + 203794676803288142726898184832390807688205994529466860288639/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^3 - 229586421001964581036993131097433056672803591299071866180907/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^2 - 112366865504807196708005465222797759168214171817534296453029/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12 - 13810539371664577029633456348818492852529692369524948663159/1018853\ 6604608751665324108811107678041187169198352126238819, c_0101_2 + 1466440306337546536257842225216949687673012054391441329595/1\ 0188536604608751665324108811107678041187169198352126238819*c_1001_1\ 2^22 + 934314596228107606327901236286059286523488368072239921611/10\ 188536604608751665324108811107678041187169198352126238819*c_1001_12\ ^21 - 20548408236239090794023063391453886104085770238908999828825/1\ 0188536604608751665324108811107678041187169198352126238819*c_1001_1\ 2^20 - 44076467854446735102395601130142438267074339573986812202845/\ 10188536604608751665324108811107678041187169198352126238819*c_1001_\ 12^19 + 14337567947578169286252337934045064480349687397183312086891\ 7/10188536604608751665324108811107678041187169198352126238819*c_100\ 1_12^18 + 133323566343154174093391172035379091629761569040304837299\ 846/10188536604608751665324108811107678041187169198352126238819*c_1\ 001_12^17 - 4819552159066624520973532966573830649304828671611984871\ 49937/10188536604608751665324108811107678041187169198352126238819*c\ _1001_12^16 + 24734232515122563920966299115838566341681081985947764\ 15395861/1018853660460875166532410881110767804118716919835212623881\ 9*c_1001_12^15 + 79260832550322131124518911429108838167807825481267\ 82488402801/1018853660460875166532410881110767804118716919835212623\ 8819*c_1001_12^14 - 23983691143055056355419086120448800508499000604\ 1925079795299/10188536604608751665324108811107678041187169198352126\ 238819*c_1001_12^13 - 152656838032752346641970988526947178681465085\ 61552545760078792/1018853660460875166532410881110767804118716919835\ 2126238819*c_1001_12^12 - 50538740764028413384065969495566225474902\ 08939558738270922951/1018853660460875166532410881110767804118716919\ 8352126238819*c_1001_12^11 + 14352356514292380372605563969600262620\ 023851162424444510507273/101885366046087516653241088111076780411871\ 69198352126238819*c_1001_12^10 + 5223470213775879823233551242773668\ 099033197074956476519439880/101885366046087516653241088111076780411\ 87169198352126238819*c_1001_12^9 - 9564336829258376274040325709391316652164680085461835537167358/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^8 - 2517960821857006666805499648004584892269781292628556548986771/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^7 + 5303110972273110165881489352596199782506589046804335938753215/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^6 + 1419968678221735446911479365186062875492793245470558895213158/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^5 - 1948561818907626415430392479936208368936038805608155945770568/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^4 - 809359714702807474420220055900191567059873519119599035280228/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^3 + 264226572214428278261211197745840149041387461342319879723688/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^2 + 195573874809380710024205262714141383970983417966590869091855/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12 + 29130202997920720827278578047599326882114171014212752296599/1018853\ 6604608751665324108811107678041187169198352126238819, c_0110_11 - 24125642802961875936511047081746808195140490192101317626/10\ 188536604608751665324108811107678041187169198352126238819*c_1001_12\ ^22 - 717210996142786714707476838687539418486609847669574987445/101\ 88536604608751665324108811107678041187169198352126238819*c_1001_12^\ 21 + 293597133950636222608566086932970907582193493692772160371/1018\ 8536604608751665324108811107678041187169198352126238819*c_1001_12^2\ 0 + 10575461899767452295540970030557088989911670791945566802121/101\ 88536604608751665324108811107678041187169198352126238819*c_1001_12^\ 19 + 13073182596740013650831002980581026061747624110676804860645/10\ 188536604608751665324108811107678041187169198352126238819*c_1001_12\ ^18 - 79581059870063796761415107422959302905376932927963065524642/1\ 0188536604608751665324108811107678041187169198352126238819*c_1001_1\ 2^17 - 11122417465943583803936225668368395761581352569577698222833/\ 10188536604608751665324108811107678041187169198352126238819*c_1001_\ 12^16 + 20067600348751760740216592512029583270965337447247065336830\ 2/10188536604608751665324108811107678041187169198352126238819*c_100\ 1_12^15 - 145294943151912753515916863582959571152678514437389537024\ 1389/10188536604608751665324108811107678041187169198352126238819*c_\ 1001_12^14 - 303194049734105599671008609056851458204966143746562640\ 7355822/10188536604608751665324108811107678041187169198352126238819\ *c_1001_12^13 + 209270371387066540073038046811273941274326287423209\ 3973639103/10188536604608751665324108811107678041187169198352126238\ 819*c_1001_12^12 + 628008914614824278293604240790883803524927646190\ 1899320791428/10188536604608751665324108811107678041187169198352126\ 238819*c_1001_12^11 - 148033198215107314263997977820658923419782268\ 4903735627229834/10188536604608751665324108811107678041187169198352\ 126238819*c_1001_12^10 - 633009492747768596555768216309974879764796\ 0097621356689294414/10188536604608751665324108811107678041187169198\ 352126238819*c_1001_12^9 + 1287709533477113030525938204544461974664\ 266622647780880865528/101885366046087516653241088111076780411871691\ 98352126238819*c_1001_12^8 + 40787728978663724487033015748265626305\ 82803744682464525874024/1018853660460875166532410881110767804118716\ 9198352126238819*c_1001_12^7 - 119343848132060037584981281193519912\ 1432500629404037400812899/10188536604608751665324108811107678041187\ 169198352126238819*c_1001_12^6 - 1975719461426829740562913325111572\ 476902041832827735917216926/101885366046087516653241088111076780411\ 87169198352126238819*c_1001_12^5 + 490418374693191531453501082759965768201588883803058940192054/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^4 + 714776644524502094536162349101470334732351795575476645504506/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^3 - 22848389294476287742361287090962680402924120509090700269753/1018853\ 6604608751665324108811107678041187169198352126238819*c_1001_12^2 - 133357398728930655103927859437983717366979987022266799641664/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12 - 30689171369901379420690044106805694940546880345618174900050/1018853\ 6604608751665324108811107678041187169198352126238819, c_1001_1 - 1312617272080636480642963676868630800618257648401829816146/1\ 0188536604608751665324108811107678041187169198352126238819*c_1001_1\ 2^22 + 608045300737113494725993969433378606373434813386496363479/10\ 188536604608751665324108811107678041187169198352126238819*c_1001_12\ ^21 + 18362109035141732562842104797527363461187074309064376108738/1\ 0188536604608751665324108811107678041187169198352126238819*c_1001_1\ 2^20 + 19316049185596846767220140846503326544421009528786148679710/\ 10188536604608751665324108811107678041187169198352126238819*c_1001_\ 12^19 - 15844889430007130545511117246823729101141188114792758789640\ 9/10188536604608751665324108811107678041187169198352126238819*c_100\ 1_12^18 + 407127222733073474819194113765667921072214696979272614427\ 76/10188536604608751665324108811107678041187169198352126238819*c_10\ 01_12^17 + 45499172488413927286485966757544082386546064291544286640\ 3943/10188536604608751665324108811107678041187169198352126238819*c_\ 1001_12^16 - 269784085317777348367571991119551309858178846336267613\ 2517100/10188536604608751665324108811107678041187169198352126238819\ *c_1001_12^15 - 433645547106484143043429984954503497863458849107885\ 2619869150/10188536604608751665324108811107678041187169198352126238\ 819*c_1001_12^14 + 619296222624604762884409602651272568176633198571\ 6770503197207/10188536604608751665324108811107678041187169198352126\ 238819*c_1001_12^13 + 962829039492432365943847923033771579709782072\ 4450998204796454/10188536604608751665324108811107678041187169198352\ 126238819*c_1001_12^12 - 746469131599937685613883140696816715943134\ 9497116270090998328/10188536604608751665324108811107678041187169198\ 352126238819*c_1001_12^11 - 971106133091680547754641925039800055162\ 3131107924196903336882/10188536604608751665324108811107678041187169\ 198352126238819*c_1001_12^10 + 707346839697500956266753014588920773\ 2854453791939156876020598/10188536604608751665324108811107678041187\ 169198352126238819*c_1001_12^9 + 5602759747792066832823468188052003\ 141263693121315693909833836/101885366046087516653241088111076780411\ 87169198352126238819*c_1001_12^8 - 5061958644398455757214283491744324872417090837255671597467670/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^7 - 2146202677949326379130146891109857302137729704616845035367819/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^6 + 2142822171871961432728680052700774872198610742260891409176882/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^5 + 738838860984641042041650780614321814104262983838198839282839/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^4 - 478072110290680034960612213443106210545507961605724001835967/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^3 - 162070861796881460686087084471424350689336903899293969310168/101885\ 36604608751665324108811107678041187169198352126238819*c_1001_12^2 + 37214837506634035864216774499866967427292042389894441141216/1018853\ 6604608751665324108811107678041187169198352126238819*c_1001_12 + 13249057444221877627609649034705279300182203838808819517725/1018853\ 6604608751665324108811107678041187169198352126238819, c_1001_10 + 1891515419540544879924745579776624422845133685259608976891/\ 10188536604608751665324108811107678041187169198352126238819*c_1001_\ 12^22 + 659173937274098189431577218803923348425879068209077949168/1\ 0188536604608751665324108811107678041187169198352126238819*c_1001_1\ 2^21 - 26600061620383809310127689176933921267477994306050448746695/\ 10188536604608751665324108811107678041187169198352126238819*c_1001_\ 12^20 - 49252087860062474321978512875765203920838784374311655305622\ /10188536604608751665324108811107678041187169198352126238819*c_1001\ _12^19 + 1978088694238566381456690536446605335578123683382361770152\ 17/10188536604608751665324108811107678041187169198352126238819*c_10\ 01_12^18 + 11391263832507463833459132648454002332493158949749727097\ 8614/10188536604608751665324108811107678041187169198352126238819*c_\ 1001_12^17 - 642077687048423360741866668785796664551273504824662524\ 275400/10188536604608751665324108811107678041187169198352126238819*\ c_1001_12^16 + 3369716060754759936706578732592173490116258969533145\ 845146667/101885366046087516653241088111076780411871691983521262388\ 19*c_1001_12^15 + 9215263553904228071467999962174394471907640956275\ 181892315751/101885366046087516653241088111076780411871691983521262\ 38819*c_1001_12^14 - 2767195208589179524344220416497102104374359709\ 641730711443892/101885366046087516653241088111076780411871691983521\ 26238819*c_1001_12^13 - 1862741608014832501050696843186990157620650\ 0803931294514270331/10188536604608751665324108811107678041187169198\ 352126238819*c_1001_12^12 - 175709391839036457614443943630431210707\ 3227432258997912869728/10188536604608751665324108811107678041187169\ 198352126238819*c_1001_12^11 + 182913219621344048615412231572981642\ 43774446836195570432145332/1018853660460875166532410881110767804118\ 7169198352126238819*c_1001_12^10 + 2386891844810637205252206188762781411266036171854582810358151/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^9 - 11994757419070735067278493911508569652489998584610757955957948/1018\ 8536604608751665324108811107678041187169198352126238819*c_1001_12^8 - 558540761892578610793686654050774898905183368971207678805719/1018\ 8536604608751665324108811107678041187169198352126238819*c_1001_12^7 + 6318024933549742493746720939124950597798822984199181143624814/101\ 88536604608751665324108811107678041187169198352126238819*c_1001_12^\ 6 + 539408519489024677536901480055121143572126840292159633287564/10\ 188536604608751665324108811107678041187169198352126238819*c_1001_12\ ^5 - 2353191352710737957617298729597860469434567653941790958209661/\ 10188536604608751665324108811107678041187169198352126238819*c_1001_\ 12^4 - 601496476035802186886690674741661350584287971542062278012925\ /10188536604608751665324108811107678041187169198352126238819*c_1001\ _12^3 + 38237170083473833515439600583460322291149392487529937765646\ 0/10188536604608751665324108811107678041187169198352126238819*c_100\ 1_12^2 + 1858180276197226808378729514337263912161325108680282311076\ 97/10188536604608751665324108811107678041187169198352126238819*c_10\ 01_12 + 23875507296667951864866011484369874515881080265889924559409\ /10188536604608751665324108811107678041187169198352126238819, c_1001_11 + 1699007881082272146312390053062406324844408833608991720047/\ 10188536604608751665324108811107678041187169198352126238819*c_1001_\ 12^22 + 1096575507443765901162195194895593344264816387073907063690/\ 10188536604608751665324108811107678041187169198352126238819*c_1001_\ 12^21 - 23849479959602242693688184307943960172603170470425102599559\ /10188536604608751665324108811107678041187169198352126238819*c_1001\ _12^20 - 5102154876851606397037912191145827504374141576318713843476\ 8/10188536604608751665324108811107678041187169198352126238819*c_100\ 1_12^19 + 166410871818148149186599191114219359959109690588628047100\ 679/10188536604608751665324108811107678041187169198352126238819*c_1\ 001_12^18 + 1536702949040893180310984595315639984746376236451934881\ 09603/10188536604608751665324108811107678041187169198352126238819*c\ _1001_12^17 - 56796931278992197712772185026978286288846599715647862\ 6344030/10188536604608751665324108811107678041187169198352126238819\ *c_1001_12^16 + 288507176329334063615312171532995607505411520324896\ 7115470681/10188536604608751665324108811107678041187169198352126238\ 819*c_1001_12^15 + 922649684593045239297917192855224449137178476598\ 5868395556543/10188536604608751665324108811107678041187169198352126\ 238819*c_1001_12^14 - 367441703199123303459823461799630576442777059\ 074690908719608/101885366046087516653241088111076780411871691983521\ 26238819*c_1001_12^13 - 1744181279605059548725184781050103594199509\ 5651158988833280680/10188536604608751665324108811107678041187169198\ 352126238819*c_1001_12^12 - 487307429190089534963726332971400484078\ 3168826176810876331375/10188536604608751665324108811107678041187169\ 198352126238819*c_1001_12^11 + 166101320730661366963355720393374641\ 06433866417233162223316376/1018853660460875166532410881110767804118\ 7169198352126238819*c_1001_12^10 + 4558467688024797270566563388125722528280390735443935980535093/10188\ 536604608751665324108811107678041187169198352126238819*c_1001_12^9 - 11217642531286607680949587128170132048680459025843769588751521/1018\ 8536604608751665324108811107678041187169198352126238819*c_1001_12^8 - 1761173133458093865528294735437111623051127817332282598381727/101\ 88536604608751665324108811107678041187169198352126238819*c_1001_12^\ 7 + 6039847211649969128817408432304421299095469460153312851372545/1\ 0188536604608751665324108811107678041187169198352126238819*c_1001_1\ 2^6 + 1001670912059134200308106440935310267370022097750128564239574\ /10188536604608751665324108811107678041187169198352126238819*c_1001\ _12^5 - 21026016066028235473523370476777717551184768745830796687445\ 78/10188536604608751665324108811107678041187169198352126238819*c_10\ 01_12^4 - 653182806492003980243032355895896860450599015329884979868\ 519/10188536604608751665324108811107678041187169198352126238819*c_1\ 001_12^3 + 30427959907257266793311712387207923540176669447785294921\ 3066/10188536604608751665324108811107678041187169198352126238819*c_\ 1001_12^2 + 1508812212273391996696154175071697031266888979982408499\ 84731/10188536604608751665324108811107678041187169198352126238819*c\ _1001_12 + 19582855893818502553818993036010000633609609470010620388\ 491/10188536604608751665324108811107678041187169198352126238819, c_1001_12^23 + 5/7*c_1001_12^22 - 97/7*c_1001_12^21 - 218/7*c_1001_12^20 + 94*c_1001_12^19 + 674/7*c_1001_12^18 - 2171/7*c_1001_12^17 + 11635/7*c_1001_12^16 + 38512/7*c_1001_12^15 + 3196/7*c_1001_12^14 - 69938/7*c_1001_12^13 - 31554/7*c_1001_12^12 + 8753*c_1001_12^11 + 32373/7*c_1001_12^10 - 37880/7*c_1001_12^9 - 17482/7*c_1001_12^8 + 2930*c_1001_12^7 + 10212/7*c_1001_12^6 - 6936/7*c_1001_12^5 - 5193/7*c_1001_12^4 + 292/7*c_1001_12^3 + 1135/7*c_1001_12^2 + 379/7*c_1001_12 + 47/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.770 Total time: 4.980 seconds, Total memory usage: 119.59MB