Magma V2.19-8 Wed Aug 21 2013 00:52:16 on localhost [Seed = 1528647422] Type ? for help. Type -D to quit. Loading file "L12a1249__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a1249 geometric_solution 12.20906351 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.446696234514 0.937620626159 0 5 6 2 0132 0132 0132 1023 1 1 1 1 0 0 -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 0 0 0 0 0 0 0 2 -2 0 0 -2 2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309940817540 1.335662982490 7 0 8 1 0132 0132 0132 1023 1 1 1 1 0 0 -1 1 1 0 0 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 3 -2 -2 0 0 2 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.036614117303 0.431733444872 9 10 9 0 0132 0132 3012 0132 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.277454747104 1.426642407707 6 11 0 12 2310 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.817961480199 0.664065487838 7 1 7 12 1023 0132 2031 1230 1 0 1 1 0 0 0 0 1 0 -1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 3 0 0 -3 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503700373744 1.169174493353 6 6 4 1 1302 2031 3201 0132 1 1 1 1 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 2 0 -2 -2 0 0 2 -2 2 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503550354282 0.561998059595 2 5 8 5 0132 1023 3201 1302 0 1 1 1 0 -1 0 1 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 2 0 -3 1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503700373744 1.169174493353 7 11 11 2 2310 0321 3201 0132 1 1 1 0 0 0 -1 1 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 3 -3 0 0 0 0 3 0 0 -3 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.827285743630 1.196995243314 3 3 10 11 0132 1230 1023 3012 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.282533372373 0.557853074259 12 3 9 12 3120 0132 1023 0321 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.006728253848 1.150987691977 8 4 9 8 2310 0132 1230 0321 1 0 1 1 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 -1 0 1 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.827285743630 1.196995243314 5 10 4 10 3012 0321 0132 3120 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.429734499235 0.497969585216 ==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_0101_0'], 'c_1001_12' : d['c_1001_11'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_8']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0011_6'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : negation(d['c_0011_10']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : negation(d['c_0011_10']), '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_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : 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' : negation(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' : negation(d['c_1001_11']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_12']), 'c_1100_4' : negation(d['c_0101_10']), 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : d['c_0011_11'], 'c_1100_0' : negation(d['c_0101_10']), 'c_1100_3' : negation(d['c_0101_10']), 'c_1100_2' : negation(d['c_0011_11']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_11']), 'c_1100_10' : d['c_1001_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0011_11']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_10']), 's_1_7' : d['1'], 's_1_6' : negation(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_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), '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_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_8']), 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : negation(d['c_0011_12']), 'c_0101_12' : d['c_0011_6'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0101_2']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_8']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_11']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_11']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0011_12'], 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} 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_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 4520426914333514729665142946537998659181902314663048506490794573376\ 53523135859884034186811129854/1034385809594411291083966794628099572\ 364560984624177292521511410420182083566552036574105540035*c_1001_2^\ 20 - 45434481150096095036997500563547653224374651596958031773717364\ 71241317542048675753101531549215294/1034385809594411291083966794628\ 099572364560984624177292521511410420182083566552036574105540035*c_1\ 001_2^19 - 10384126702488095294986032304078916623232140055492084026\ 838304214741000984195260223426348878162964/344795269864803763694655\ 5982093665241215203282080590975071704701400606945221840121913685133\ 45*c_1001_2^18 - 14885886050197613418575003053867033419050125463230\ 4964911214992949826797018683117231435225562306914/10343858095944112\ 9108396679462809957236456098462417729252151141042018208356655203657\ 4105540035*c_1001_2^17 - 545951171347282594135230183720934677848714\ 999335795981465943278660718196314137245015594728580428869/103438580\ 9594411291083966794628099572364560984624177292521511410420182083566\ 552036574105540035*c_1001_2^16 - 3273989231200949681722909451933894\ 54887081740414406730123420164161140638368814361110684713185266201/2\ 0687716191888225821679335892561991447291219692483545850430228208403\ 6416713310407314821108007*c_1001_2^15 - 4173966553259211301970583434093222763377883245023556301009355110062\ 025358387740613672627340930650109/103438580959441129108396679462809\ 9572364560984624177292521511410420182083566552036574105540035*c_100\ 1_2^14 - 9093781956550142847591819434576523353294185402018788112180\ 150291051751820384591875430861593183796202/103438580959441129108396\ 6794628099572364560984624177292521511410420182083566552036574105540\ 035*c_1001_2^13 - 3760153928043470132022557930528783385522844489656\ 99771374115344206258323415734046029500303244154454/2298635132432025\ 0912977039880624434941434688547203939833811364676004046301478934146\ 091234223*c_1001_2^12 - 2713116501959022860694452085897415961070019\ 3413700704601066055500019475947036271487833472563411379139/10343858\ 0959441129108396679462809957236456098462417729252151141042018208356\ 6552036574105540035*c_1001_2^11 - 843322915213434486918479956013446\ 756709485349175682460710498738063731126469544868732158737548992734/\ 2298635132432025091297703988062443494143468854720393983381136467600\ 4046301478934146091234223*c_1001_2^10 - 9342454737341254281741739571595466062894844103365350727458216438941\ 670200634514403899151282009195198/206877161918882258216793358925619\ 914472912196924835458504302282084036416713310407314821108007*c_1001\ _2^9 - 186974482323027215397004828286906039174215434801494305805867\ 5303542177223726587004148560405137474502/38310585540533751521628399\ 801040724902391147578673233056352274460006743835798223576818723705*\ c_1001_2^8 - 158400368066796030946203011094146203995560939780419628\ 87111521040520081321217430681680103990736272108/3447952698648037636\ 9465559820936652412152032820805909750717047014006069452218401219136\ 8513345*c_1001_2^7 - 1277734281052291989779819121363736282601127263\ 3395679596950254765821506436719193644424348052919471632/34479526986\ 4803763694655598209366524121520328208059097507170470140060694522184\ 012191368513345*c_1001_2^6 - 17238799821353580440972074918856828410\ 47767939126958216686993032883807459746234748886749005584920539/6895\ 9053972960752738931119641873304824304065641611819501434094028012138\ 904436802438273702669*c_1001_2^5 - 2024021344124599433623750371410497463688170512591879022187804495163\ 94510383711510142416864072214033/1499109868977407668237633035692897\ 9309631318617741699891616107397393943240094957051798631015*c_1001_2\ ^4 - 11398350530571404915810582309934154840347034975004656236081294\ 30314116813023608964428090714467661389/2068771619188822582167933589\ 25619914472912196924835458504302282084036416713310407314821108007*c\ _1001_2^3 - 1615427090694412450331906887812307197310861038041036541\ 655770067474810220246703884192665142120987464/103438580959441129108\ 3966794628099572364560984624177292521511410420182083566552036574105\ 540035*c_1001_2^2 - 28354950581259272029420706936723964397728482478\ 1120786154243904869169663211572061664855834346250192/10343858095944\ 1129108396679462809957236456098462417729252151141042018208356655203\ 6574105540035*c_1001_2 - 253688521979421141802099723745155569197732\ 28528472160203947538362794308053104648711316450264253282/1034385809\ 5944112910839667946280995723645609846241772925215114104201820835665\ 52036574105540035, c_0011_0 - 1, c_0011_10 + 1, c_0011_11 + 75646896343148274982726227981302987146759856691614468517313\ 94621999882168251454182/6383436460336067633738077142382411020823964\ 0137433958008864267396028108311844922783*c_1001_2^20 + 7407809952875541891473363438955532374276013910384274964002465828571\ 1621149670913986/63834364603360676337380771423824110208239640137433\ 958008864267396028108311844922783*c_1001_2^19 + 5023075862003899645349919265625311307811402442418964988546542468241\ 43717531440715611/6383436460336067633738077142382411020823964013743\ 3958008864267396028108311844922783*c_1001_2^18 + 2362798517511795647383382366267007860272572514480180188385080571686\ 446862827840587324/638343646033606763373807714238241102082396401374\ 33958008864267396028108311844922783*c_1001_2^17 + 2845476820388218839679263174971844549275298778133051070760055994403\ 904609333509162579/212781215344535587791269238079413700694132133791\ 44652669621422465342702770614974261*c_1001_2^16 + 2524292170581246237575017179112475341012039279300038338793863530147\ 8825350929677524087/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^15 + 6353443890809777317446254936272933744622044478153600783807144810262\ 3010849355081958811/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^14 + 4546771476655663383360211920246211847682480194956038080723334962175\ 5744378435139061650/21278121534453558779126923807941370069413213379\ 144652669621422465342702770614974261*c_1001_2^13 + 8319247224796874515511064448843681788790918554017993160274155335048\ 2299889252745841422/21278121534453558779126923807941370069413213379\ 144652669621422465342702770614974261*c_1001_2^12 + 3932330358553685379854355481602138815268641072204534681390455916300\ 98028494801583784430/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^11 + 1801446146158319652896297709363958654917718886933344916811499687267\ 21255685714690655726/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^10 + 6532829284075167169951586895760732669541355224441981102578872698372\ 98714749990954709369/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^9 + 2305422862126281826567305703198992151534241095949386432464875929225\ 47771323899168683346/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^8 + 6355476250820227876083440909715442125634352201294915252199895532402\ 08151280641968480369/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^7 + 1658315903377297191746866539572638951289894676138109781048309864551\ 57831434365493353210/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^6 + 3227028627541431788395509643617619919360934150735344150508343049231\ 66170865739530943179/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^5 + 5486781533356425797004671568722140485851446441430078332080540682094\ 9967879406553206630/21278121534453558779126923807941370069413213379\ 144652669621422465342702770614974261*c_1001_2^4 + 2059451366996638284724350798108464335850639731125273446915219620442\ 5880569862856432362/21278121534453558779126923807941370069413213379\ 144652669621422465342702770614974261*c_1001_2^3 + 1522839767151477491163479290735544903198917699290624411289009468441\ 2982832151237538786/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^2 + 2075359309134560090795763435534696509815764959472897459311159703651\ 553249191118643180/638343646033606763373807714238241102082396401374\ 33958008864267396028108311844922783*c_1001_2 + 5462444260299016840757212015162486641364746481299546695576732129466\ 7041882894170936/63834364603360676337380771423824110208239640137433\ 958008864267396028108311844922783, c_0011_12 - 30028238719692456962195091889094978128199142231126756605245\ 69242588875013601155912/2127812153445355877912692380794137006941321\ 3379144652669621422465342702770614974261*c_1001_2^20 - 8766836825105096964363545532590053053025951832189684390437743708884\ 1937425177569686/63834364603360676337380771423824110208239640137433\ 958008864267396028108311844922783*c_1001_2^19 - 5927142197030715043998356079412932036195721435040524368475647836100\ 60519803415540238/6383436460336067633738077142382411020823964013743\ 3958008864267396028108311844922783*c_1001_2^18 - 9254173142343642320429337231901402821428270719576967892846834827430\ 58264356566506856/2127812153445355877912692380794137006941321337914\ 4652669621422465342702770614974261*c_1001_2^17 - 9986775184487348513492444886579156927941951007878536240797149146737\ 990279787764661504/638343646033606763373807714238241102082396401374\ 33958008864267396028108311844922783*c_1001_2^16 - 2940417601501921932791291932258405636763444453723413401244221338728\ 5571106673748838612/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^15 - 2456379629377064137721074978432943397558821914769999390063898485095\ 5632104428008867258/21278121534453558779126923807941370069413213379\ 144652669621422465342702770614974261*c_1001_2^14 - 1574194212383299650120269020641998629628276984139800914686140736560\ 93534443524860035588/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^13 - 2862946575472119511890412330126510095332520125554832204322618099341\ 36882618996755829870/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^12 - 4480071021225143181886608210625208129733264964285481017919254655274\ 89913850787340480850/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^11 - 2037272802632367208922322083524885126815913988013951688377327795729\ 34012579389664903024/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^10 - 2443209894920629779877999016900612425011608881124144396172268772197\ 40114846088402889518/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^9 - 7687237433307051653688194985064206837176907088551868023359576467719\ 07058329562689517842/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^8 - 6981717698207424821703475207326909585383183351613423246821349922714\ 13313111041967736952/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^7 - 5380850230372292645943799534677206377866043417353538300256814576491\ 13207978932567607176/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^6 - 3415157252960489577791245672999446373952065712511732713444987576030\ 13370491444270175618/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^5 - 1682480046939517130997460393070344674848665083311177658732621423909\ 22169049494510719942/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^4 - 5946595675212771902345788877646411710604779587147846259558693537664\ 1681382339225677226/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^3 - 1314689671391892056903895069071959176960406577855319947379245651266\ 8998399544453415261/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^2 - 4505906195017406698632743643298699642489784442819126409370719210474\ 43304868144162724/2127812153445355877912692380794137006941321337914\ 4652669621422465342702770614974261*c_1001_2 + 5678533711373745111072262403324232515695433588684633101046965858586\ 5590482792275738/63834364603360676337380771423824110208239640137433\ 958008864267396028108311844922783, c_0011_6 + 103161887996315528964969173439690727150970767472615535413513\ 4192068584653760416289/63834364603360676337380771423824110208239640\ 137433958008864267396028108311844922783*c_1001_2^20 + 1084696045732341311456414119567847417760959433717117500262885709718\ 9056528259961796/63834364603360676337380771423824110208239640137433\ 958008864267396028108311844922783*c_1001_2^19 + 2505659773692515523226012708002349126574963756149500533427718851125\ 2460891081910556/21278121534453558779126923807941370069413213379144\ 652669621422465342702770614974261*c_1001_2^18 + 3661057056973303336242693020752885162128530152552694068773396080498\ 66165169491170693/6383436460336067633738077142382411020823964013743\ 3958008864267396028108311844922783*c_1001_2^17 + 1360103107203195747133129896001591289669196433690038573101338488081\ 278852032315805426/638343646033606763373807714238241102082396401374\ 33958008864267396028108311844922783*c_1001_2^16 + 1373179264162801583065783559710206201756365020010915348797307015167\ 387312599200853420/212781215344535587791269238079413700694132133791\ 44652669621422465342702770614974261*c_1001_2^15 + 1058589852385784791638757881958588695796800081215107428202319872365\ 3564890182226848684/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^14 + 2326116990853102607190493677358994075060845164014284143744452998985\ 1516149593058783933/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^13 + 4360978789124379848527256157947868604889402750285361909445915804874\ 5985429162171585527/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^12 + 2343897660745278809147568650657819487221708881273991601593312784065\ 5865548466595682028/21278121534453558779126923807941370069413213379\ 144652669621422465342702770614974261*c_1001_2^11 + 3292549402986650561880570556729441848086187298369685305783493022446\ 5927958229165098181/21278121534453558779126923807941370069413213379\ 144652669621422465342702770614974261*c_1001_2^10 + 1220401391789117325633733831234742818576386684277890096887267479168\ 93399055054643144661/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^9 + 1324549072227251593301426444301267798666007633818414303148804513432\ 26076886865832802825/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^8 + 1250728640721827790193732345459303138635454575557564598614077266735\ 43876292387810470628/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^7 + 1013524083635404448042541189340120102747129788537690372852296960418\ 15122583576293564887/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^6 + 6865421487969907131893862742086788667826640179216312216107361928301\ 7544694388183652839/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^5 + 3745553366554495938417845474367487751270686708955884673030815306254\ 4814145658241693432/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^4 + 1547036688135807773990118980957751511598091127861127968973350820673\ 6275839147824872593/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^3 + 1577564650884262461251424674017713822912141007231958749432721048326\ 337331699186299999/212781215344535587791269238079413700694132133791\ 44652669621422465342702770614974261*c_1001_2^2 + 9907411173707242449815364454560592221922864607356803664484402380598\ 23426258349844464/6383436460336067633738077142382411020823964013743\ 3958008864267396028108311844922783*c_1001_2 + 3814342317614444458125034563789154798349890336752610393144711098158\ 3144648925216637/21278121534453558779126923807941370069413213379144\ 652669621422465342702770614974261, c_0011_8 - 134272490985460418586453193961248058337729596881034590320599\ 05931287788069245472983/6383436460336067633738077142382411020823964\ 0137433958008864267396028108311844922783*c_1001_2^20 - 4555278464091908645209831553820840102513010585161992666735246501575\ 0611529991048980/21278121534453558779126923807941370069413213379144\ 652669621422465342702770614974261*c_1001_2^19 - 9419614933082319551846779779361713121935962110031507544093213473319\ 47175379248444289/6383436460336067633738077142382411020823964013743\ 3958008864267396028108311844922783*c_1001_2^18 - 4533132899193681801160429391991592579521953563499124340921502767715\ 140812154087681880/638343646033606763373807714238241102082396401374\ 33958008864267396028108311844922783*c_1001_2^17 - 1673625625977540543332978063317163659091888294048599819866726172598\ 2337750774319666146/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^16 - 5047239924566283928340625657115305144050207965786605676064378612739\ 6535270566814192976/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^15 - 1293579963684140053671749875961491112992702378332181091910320383421\ 19551005961177985287/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^14 - 2834196723829625819636587337076621862332825350577250621713696569349\ 74637835355396468861/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^13 - 5305954592464936594661062856620625749197012093584469210480232138448\ 45021883792901064221/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^12 - 8557614387552149528776861097180056858440889560422248793987708060796\ 97270856718048277780/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^11 - 4011269840163738770069536170871538329392522342359008810549427906851\ 75623633470047401494/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^10 - 1488619314815538353327982277027443746794848475570410870316270995102\ 055654431141497585117/638343646033606763373807714238241102082396401\ 37433958008864267396028108311844922783*c_1001_2^9 - 1617036852678492930049352022389509273575082027799722399237406656726\ 388525865272230128107/638343646033606763373807714238241102082396401\ 37433958008864267396028108311844922783*c_1001_2^8 - 5100348326717553907371918761057595029648996488879192213316693147930\ 16478787038310718105/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^7 - 1240834864236366593607845264285638422119245646686544909314306416006\ 369084159609142874050/638343646033606763373807714238241102082396401\ 37433958008864267396028108311844922783*c_1001_2^6 - 2804662165915712121005112161991392642453358379663246309765521586820\ 24482839754412285414/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^5 - 4561026530089195570916531605743851690431424756748219976240801671440\ 88684785442853615199/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^4 - 1855519582606349109274971591338756031736314082252414370716785648223\ 10727879477795651625/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^3 - 5106143243263757159207649859859044737371561669735373880609944072441\ 4781905001125852369/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^2 - 7995180629034858281769601156373543183918774410941422812614242263682\ 320761974599021291/638343646033606763373807714238241102082396401374\ 33958008864267396028108311844922783*c_1001_2 - 3231342611963224552774651092143086748456344510845587441917202293870\ 74439755670790777/6383436460336067633738077142382411020823964013743\ 3958008864267396028108311844922783, c_0101_0 - 663508957069148484638092469848853440671560762195731796265556\ 9976462805929204126831/63834364603360676337380771423824110208239640\ 137433958008864267396028108311844922783*c_1001_2^20 - 2241239662511542626883450501586078063530706676954020245904110303263\ 6391370909822099/21278121534453558779126923807941370069413213379144\ 652669621422465342702770614974261*c_1001_2^19 - 4622933880515608336042278488104499913049094030382090845009928529225\ 03352749863037702/6383436460336067633738077142382411020823964013743\ 3958008864267396028108311844922783*c_1001_2^18 - 2217973518736824706499016975563107436950870288566110616425781017771\ 671113767851183622/638343646033606763373807714238241102082396401374\ 33958008864267396028108311844922783*c_1001_2^17 - 8161454933112273989393501754630327051652057133493317094949061823407\ 143916409623585996/638343646033606763373807714238241102082396401374\ 33958008864267396028108311844922783*c_1001_2^16 - 2453483026679933220967424574385993755781352491606783581676798603557\ 2402971166600539082/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^15 - 6268517280091792008189495901155460766449844438462275290056962184247\ 2252990908808230280/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^14 - 1368578329767215965060714577869053051249965873341873656409491679383\ 14158410310497580526/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^13 - 2551363206816800069533026698805491039571360490065583470496156743524\ 39000841495380674483/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^12 - 4095771776571898872524298014095773846119382031875055282263270779964\ 22805806561484546098/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^11 - 1910286156463170225659768974856218434922583901286647061268649019444\ 02617566412899485596/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^10 - 7051302952628435934385512802404417153965101446637477484447272182425\ 10650429041682351594/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^9 - 7612432999216595615778044223908666640697349204828690122772621408731\ 99352938429059021098/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^8 - 2382923539480690106146473503120914263908406053779972032655671643155\ 86896036963867285130/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^7 - 5740876537961411413897501149080343936360627932118437384977097713624\ 29062485862778227974/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^6 - 1279870392986140892099643464893185285379248383883566597986004453308\ 40799525572054964420/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^5 - 2038901095222351022599009997018844381277324615319976893773138618748\ 85369158326727560562/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^4 - 8003779050904263048699721936347084690638161641445469265313481561282\ 0682465883519214437/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^3 - 2061382730369620758444575687451690194044399175080317194488332038296\ 9776546574939654990/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^2 - 2693768522913029868367363054716679240275027977418874255853965328251\ 994720318844381979/638343646033606763373807714238241102082396401374\ 33958008864267396028108311844922783*c_1001_2 - 5148643148050476087416338347136061402062649170197801085257106826882\ 4749055560124584/63834364603360676337380771423824110208239640137433\ 958008864267396028108311844922783, c_0101_1 - 111384757996010533246628197832168946163242523361616336202974\ 58834361181940681208828/6383436460336067633738077142382411020823964\ 0137433958008864267396028108311844922783*c_1001_2^20 - 1149933382400709591507551008753853854119806235212048623152204878460\ 63985121280731779/6383436460336067633738077142382411020823964013743\ 3958008864267396028108311844922783*c_1001_2^19 - 7964682426043271245569047132398287868135907991578826546387264032035\ 64153011768536368/6383436460336067633738077142382411020823964013743\ 3958008864267396028108311844922783*c_1001_2^18 - 3860940027501205247410300185048482561018778394483776084662700680271\ 584192343394462772/638343646033606763373807714238241102082396401374\ 33958008864267396028108311844922783*c_1001_2^17 - 4780599845355472148494801164924595016346958149190346335681157813285\ 281991705252584630/212781215344535587791269238079413700694132133791\ 44652669621422465342702770614974261*c_1001_2^16 - 4348409479561295829271305271239781944085005623348036149899286400865\ 7258533823315203634/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^15 - 1119725670396662788189816828500183566898525780158275061865348141685\ 03681259752502912468/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^14 - 8219861940637382222041091154454913432382888369968823387750783036460\ 5644747736212251925/21278121534453558779126923807941370069413213379\ 144652669621422465342702770614974261*c_1001_2^13 - 1547281082068909886058001650555312722804537621319017234796645300053\ 07447076624704793739/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^12 - 7526213727477149964142495113544172009247866119209297813177002371154\ 61890268201057155087/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^11 - 3545249806674204551175577957851642583734267021388278587826912955534\ 83451339282119931478/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^10 - 1321843703765344461367201540080481331000282518480044346322430162309\ 934676560948765894067/638343646033606763373807714238241102082396401\ 37433958008864267396028108311844922783*c_1001_2^9 - 4810403918712186884883482353604685448347455360820279150059575625482\ 05811739357548181853/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^8 - 1372809251687656542828002841966832462848519238719668386942358414175\ 216334301099598457127/638343646033606763373807714238241102082396401\ 37433958008864267396028108311844922783*c_1001_2^7 - 3733674259229039769637216040082720896568176658334841790955922752621\ 70351278617102775065/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^6 - 7645730932357872852404322645117045521681222939005114472541579111578\ 28153459185553884947/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^5 - 1393436775049561394450939300772865221368169941454278320847946541891\ 98128900726311207938/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^4 - 5710848587195191278890089168232554718084361322050958746266628311703\ 6733583668385274240/21278121534453558779126923807941370069413213379\ 144652669621422465342702770614974261*c_1001_2^3 - 4748344580498266202692434987772547774880713366466605391530146843290\ 7084815854141357552/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^2 - 7303652976417380961491344528581822743187732509444277197073143114775\ 472299498660031228/638343646033606763373807714238241102082396401374\ 33958008864267396028108311844922783*c_1001_2 - 3313320544674895598712936130762320773366894421045973216052846929942\ 06853211051796699/6383436460336067633738077142382411020823964013743\ 3958008864267396028108311844922783, c_0101_10 - 11133149092235709381658769128107354252935062866130941511430\ 37928012812687801051071/2127812153445355877912692380794137006941321\ 3379144652669621422465342702770614974261*c_1001_2^20 - 3604871976334756598813538885302563664256902152731741699197636088556\ 5817399590028703/63834364603360676337380771423824110208239640137433\ 958008864267396028108311844922783*c_1001_2^19 - 2535989994083919264234431342585087681174535470454647139196174384348\ 90432743923273270/6383436460336067633738077142382411020823964013743\ 3958008864267396028108311844922783*c_1001_2^18 - 4187534067038635416495121980447804862276226185947247436839682460282\ 07870709057421067/2127812153445355877912692380794137006941321337914\ 4652669621422465342702770614974261*c_1001_2^17 - 4752589692436734113741338875170057499064589771257531333942131570763\ 094883597701199749/638343646033606763373807714238241102082396401374\ 33958008864267396028108311844922783*c_1001_2^16 - 1463287175386974495300144663648799652214941098004874232236151613638\ 1283535524436000711/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^15 - 1272586123323123192002845208159283247024179327038326145446756781202\ 6864990205884190045/21278121534453558779126923807941370069413213379\ 144652669621422465342702770614974261*c_1001_2^14 - 8525851448557384626687695162178941488881939970757399252937247256614\ 6605319610606884667/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^13 - 1628206364198116552938720505103988127895833974038398703459775603151\ 47730185286252756465/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^12 - 2675103418038942996837912626869321455243660343552897367738900931878\ 72179336653036812687/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^11 - 1274819167045261415050592318310311852489886092322808873324997835443\ 02249563407212864382/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^10 - 1600978192132400541807742366769201780028336840962077491912192960527\ 32784091358209107278/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^9 - 5299562820126612675591369537106301195640691468424969342222953250210\ 59283958758715721853/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^8 - 5094316112225035067417531825091133842798253411413095417188422213260\ 46429813276824747323/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^7 - 4201087325633082553701847347980267403794092619824643481473604492652\ 44802812228593340049/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^6 - 2896133641230375784476485900907157108546158496591552491632931588383\ 55009932972035960724/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^5 - 1597420989820396671028234665915202495323036648670984357877290315733\ 16131188488141525863/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^4 - 6537765653209563743614188364115888058851269758434613855944569927552\ 5643313887677737377/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^3 - 1758953742229826967939444406810909628794067038961006498297848509964\ 0392699451746585644/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^2 - 7811437286196183678953628979024014615943585448952506318039368295774\ 27310875244130707/2127812153445355877912692380794137006941321337914\ 4652669621422465342702770614974261*c_1001_2 - 2795001143752453888397584981185774714126650715630129484987369161368\ 8967953114288417/63834364603360676337380771423824110208239640137433\ 958008864267396028108311844922783, c_0101_11 - 11138475799601053324662819783216894616324252336161633620297\ 458834361181940681208828/638343646033606763373807714238241102082396\ 40137433958008864267396028108311844922783*c_1001_2^20 - 1149933382400709591507551008753853854119806235212048623152204878460\ 63985121280731779/6383436460336067633738077142382411020823964013743\ 3958008864267396028108311844922783*c_1001_2^19 - 7964682426043271245569047132398287868135907991578826546387264032035\ 64153011768536368/6383436460336067633738077142382411020823964013743\ 3958008864267396028108311844922783*c_1001_2^18 - 3860940027501205247410300185048482561018778394483776084662700680271\ 584192343394462772/638343646033606763373807714238241102082396401374\ 33958008864267396028108311844922783*c_1001_2^17 - 4780599845355472148494801164924595016346958149190346335681157813285\ 281991705252584630/212781215344535587791269238079413700694132133791\ 44652669621422465342702770614974261*c_1001_2^16 - 4348409479561295829271305271239781944085005623348036149899286400865\ 7258533823315203634/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^15 - 1119725670396662788189816828500183566898525780158275061865348141685\ 03681259752502912468/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^14 - 8219861940637382222041091154454913432382888369968823387750783036460\ 5644747736212251925/21278121534453558779126923807941370069413213379\ 144652669621422465342702770614974261*c_1001_2^13 - 1547281082068909886058001650555312722804537621319017234796645300053\ 07447076624704793739/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^12 - 7526213727477149964142495113544172009247866119209297813177002371154\ 61890268201057155087/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^11 - 3545249806674204551175577957851642583734267021388278587826912955534\ 83451339282119931478/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^10 - 1321843703765344461367201540080481331000282518480044346322430162309\ 934676560948765894067/638343646033606763373807714238241102082396401\ 37433958008864267396028108311844922783*c_1001_2^9 - 4810403918712186884883482353604685448347455360820279150059575625482\ 05811739357548181853/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^8 - 1372809251687656542828002841966832462848519238719668386942358414175\ 216334301099598457127/638343646033606763373807714238241102082396401\ 37433958008864267396028108311844922783*c_1001_2^7 - 3733674259229039769637216040082720896568176658334841790955922752621\ 70351278617102775065/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^6 - 7645730932357872852404322645117045521681222939005114472541579111578\ 28153459185553884947/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^5 - 1393436775049561394450939300772865221368169941454278320847946541891\ 98128900726311207938/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^4 - 5710848587195191278890089168232554718084361322050958746266628311703\ 6733583668385274240/21278121534453558779126923807941370069413213379\ 144652669621422465342702770614974261*c_1001_2^3 - 4748344580498266202692434987772547774880713366466605391530146843290\ 7084815854141357552/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^2 - 7239818611814020285153963757157998632979492869306843239064278847379\ 444191186815108445/638343646033606763373807714238241102082396401374\ 33958008864267396028108311844922783*c_1001_2 - 2674976898641288835339128416524079671284498019671633635964204255981\ 78744899206873916/6383436460336067633738077142382411020823964013743\ 3958008864267396028108311844922783, c_0101_2 - 119277969081907785102168369468464211993248064912060350598133\ 0026231754152665532401/21278121534453558779126923807941370069413213\ 379144652669621422465342702770614974261*c_1001_2^20 - 3568921668380317336150163139758982104002579066224709194321962327669\ 2442162669962997/63834364603360676337380771423824110208239640137433\ 958008864267396028108311844922783*c_1001_2^19 - 2444870578071054281214429699020919033937169682245734191341840839597\ 62911684907220568/6383436460336067633738077142382411020823964013743\ 3958008864267396028108311844922783*c_1001_2^18 - 3886256812885146231225931288485686718033954910970506242808846075995\ 01044812605802041/2127812153445355877912692380794137006941321337914\ 4652669621422465342702770614974261*c_1001_2^17 - 4274969437114414287565706312074765649877541302815326436946563894851\ 000449865435300763/638343646033606763373807714238241102082396401374\ 33958008864267396028108311844922783*c_1001_2^16 - 1283195576550637189230385805677867167825515691366008188588109721416\ 2413611561063431216/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^15 - 1092720647067423905140353600225747537802830000742261829966809342032\ 4770139715339467304/21278121534453558779126923807941370069413213379\ 144652669621422465342702770614974261*c_1001_2^14 - 7159771406449172228842291798353376431373162899519188995011003451927\ 0302966490399563038/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^13 - 1337483775545040091764297724339240460897846230170190196618710843652\ 68194012358681735114/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^12 - 2157367028796293293363843565094203769241337042185322669635721610380\ 69291251817180888015/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^11 - 1013364942643335566961766858444154691790279359233881963601927432512\ 44258538723528044883/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^10 - 1257928113041384840165983870409178230388954745248626028837357173522\ 70273502328547661474/2127812153445355877912692380794137006941321337\ 9144652669621422465342702770614974261*c_1001_2^9 - 4118969219792501109319275824604234074858988971519251383876364598637\ 63664926495555306317/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^8 - 3927035732508920997671426063045093376273313871780826207338932188466\ 84773740282816196799/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^7 - 3221467647360581442704584797150467525068577284778532028501659855812\ 16797194549857098086/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^6 - 2223510634242700061264786320818745456448592649169681641052046150280\ 35281660654755279052/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^5 - 1240969121838651977227562110438782920413402188284530667760554193562\ 35375074354920998383/6383436460336067633738077142382411020823964013\ 7433958008864267396028108311844922783*c_1001_2^4 - 5316231784241163643571061500599196628721133378106022413507632443935\ 3088468693775530189/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^3 - 1589803257444024673736009358134270963475009257924839762609319946880\ 1616741047359632164/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^2 - 9160152940825827042364587222986447727096395514790123899980481525681\ 90672735294900289/2127812153445355877912692380794137006941321337914\ 4652669621422465342702770614974261*c_1001_2 - 7381703784004505434977405143829584820957524081830982910719408081147\ 0670543913148512/63834364603360676337380771423824110208239640137433\ 958008864267396028108311844922783, c_1001_11 - 63269335145230499763068170650584217804379261180931718811724\ 9702586953270574719766/21278121534453558779126923807941370069413213\ 379144652669621422465342702770614974261*c_1001_2^20 - 1591338295324658518106752987825568853829479466508419412273287485706\ 2986427130272821/63834364603360676337380771423824110208239640137433\ 958008864267396028108311844922783*c_1001_2^19 - 1008811473994488433903077989497421402713626185595897745265022688549\ 18304447393382887/6383436460336067633738077142382411020823964013743\ 3958008864267396028108311844922783*c_1001_2^18 - 1416213385480692956070392348284518566762653220683651688863322979054\ 07342209155717366/2127812153445355877912692380794137006941321337914\ 4652669621422465342702770614974261*c_1001_2^17 - 1370543399653554720088050998911056258342574546697938461008639716465\ 147738118994928742/638343646033606763373807714238241102082396401374\ 33958008864267396028108311844922783*c_1001_2^16 - 3608316894630052381843598251103960960755789991960642122990761790572\ 201247651483461334/638343646033606763373807714238241102082396401374\ 33958008864267396028108311844922783*c_1001_2^15 - 2683480509610096795461020481940490119739812623350377336070026407320\ 917873095144726011/212781215344535587791269238079413700694132133791\ 44652669621422465342702770614974261*c_1001_2^14 - 1475789179520705826317922681042444813114191205743655203460204476684\ 6638650058709626613/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^13 - 2179609009677767943156103023336433123281729889980994430977877516500\ 4372965513857901963/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^12 - 2597204561650982090513579116013123496148713092192381367191555877704\ 6886597388614007703/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^11 - 8116121173222816030407439466758545778248365501641917145266523935986\ 310363129518297605/212781215344535587791269238079413700694132133791\ 44652669621422465342702770614974261*c_1001_2^10 - 5188361482698680016197991172803595259411667448575089184033757771985\ 105133615431393078/212781215344535587791269238079413700694132133791\ 44652669621422465342702770614974261*c_1001_2^9 + 2084011769707343200209813118312932635391215153335809780562185772669\ 77489287878855195/6383436460336067633738077142382411020823964013743\ 3958008864267396028108311844922783*c_1001_2^8 + 1770440866123312411568325468505855193943669550176139692936162040783\ 9548709462192059611/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^7 + 3075519746137531803167221129044629434797261172421390811403371130583\ 6617733576766976478/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^6 + 3371172395147739935298539211198664602489022740138677535112639066759\ 3493239047075281908/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^5 + 2721111832535947571601272012131577941579487241962394813457321636915\ 8334390664934012613/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^4 + 1509997469599752125285151863933660604930097128996871227047364155847\ 8427509708388057176/63834364603360676337380771423824110208239640137\ 433958008864267396028108311844922783*c_1001_2^3 + 5396977956173685520307640937199833941353877725122514398287507731908\ 794731566977178645/638343646033606763373807714238241102082396401374\ 33958008864267396028108311844922783*c_1001_2^2 + 3227600462561794453492306519854378749080644840407462684038922546798\ 56624178266570152/2127812153445355877912692380794137006941321337914\ 4652669621422465342702770614974261*c_1001_2 + 3863580563406861806011609551970398407385246481575092023121223929109\ 0800520187627097/63834364603360676337380771423824110208239640137433\ 958008864267396028108311844922783, c_1001_2^21 + 3329/317*c_1001_2^20 + 23333/317*c_1001_2^19 + 114718/317*c_1001_2^18 + 433129/317*c_1001_2^17 + 1335347/317*c_1001_2^16 + 3496797/317*c_1001_2^15 + 7847743/317*c_1001_2^14 + 15112741/317*c_1001_2^13 + 25153552/317*c_1001_2^12 + 36569612/317*c_1001_2^11 + 46853690/317*c_1001_2^10 + 52946407/317*c_1001_2^9 + 52503834/317*c_1001_2^8 + 45145080/317*c_1001_2^7 + 33045048/317*c_1001_2^6 + 19969131/317*c_1001_2^5 + 9548101/317*c_1001_2^4 + 3390592/317*c_1001_2^3 + 810978/317*c_1001_2^2 + 105657/317*c_1001_2 + 3391/317 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.290 Total time: 0.500 seconds, Total memory usage: 32.09MB