Magma V2.19-8 Wed Aug 21 2013 00:28:55 on localhost [Seed = 3516383713] Type ? for help. Type -D to quit. Loading file "K14n16268__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n16268 geometric_solution 12.21452709 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 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 -9 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.520582214761 1.094688501647 0 5 6 2 0132 0132 0132 2310 0 0 0 0 0 0 0 0 -1 0 1 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 9 0 -9 0 0 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.198848945274 1.141511063344 1 0 8 7 3201 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 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.434118765128 0.405377802069 9 10 11 0 0132 0132 0132 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 10 0 -10 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.487929896580 0.832429529228 11 10 0 12 0132 0321 0132 0132 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 -1 1 0 0 -9 9 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.540114665745 0.746781967182 6 1 7 12 2310 0132 3201 0321 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 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529450636716 0.410588023195 9 10 5 1 3120 3012 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 -9 9 1 -10 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.899612053278 1.254905619802 5 11 2 9 2310 3120 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.171118652167 0.764368045155 12 10 11 2 3120 0213 3120 0132 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -10 0 10 0 -10 10 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377551321476 0.890566373987 3 7 12 6 0132 0321 3201 3120 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 -10 0 10 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.316187427550 1.175497182613 6 3 8 4 1230 0132 0213 0321 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 10 0 -10 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.402881651018 1.092379474388 4 7 8 3 0132 3120 3120 0132 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 0 -10 10 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.478451017828 0.772231108252 9 5 4 8 2310 0321 0132 3120 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 -9 10 -10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.408111515276 1.031775142438 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_1001_0']), 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_0011_7']), 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : negation(d['c_0011_8']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_7']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_8']), 'c_1010_11' : negation(d['c_0011_7']), 'c_1010_10' : negation(d['c_0011_7']), 's_3_11' : d['1'], 's_0_11' : 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_0011_8'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_7']), 'c_1100_4' : negation(d['c_0101_8']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0101_8']), 'c_1100_3' : negation(d['c_0101_8']), 'c_1100_2' : negation(d['c_0101_11']), 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0011_12']), 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : d['c_1001_2'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : negation(d['c_0011_8']), 'c_1010_5' : negation(d['c_0011_8']), 'c_1010_4' : negation(d['c_0011_7']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_7']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0101_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_8']), '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_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_7'], 'c_0011_6' : d['c_0011_11'], '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' : d['c_0101_1'], 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : negation(d['c_0101_0']), 'c_0101_12' : d['c_0101_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_12'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_12']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0011_10']), '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_7, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_7, c_0101_8, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 6385513571097346192883241668939453484636713440700143716414214456216\ 0566281/15258696017737529612610721828931859884765836085020992002382\ 034212970943715*c_1001_2^27 + 2392164513825237422630693384807581636\ 218811789875765913772116333425263845/622803919091327739290233544038\ 03509733738106469473436744416466175391607*c_1001_2^26 + 6361121395789244780560298571747668781772288176879440283270081029703\ 3689213/16954106686375032902900802032146510983073151205578880002646\ 70468107882635*c_1001_2^25 - 11875255981436089252620731538525523451\ 74497837418268158765983726337059832607/2179813716819647087515817404\ 133122840680833726431570286054576316138706245*c_1001_2^24 - 1051920846622267468414365381502196258649359540849485072885135354892\ 794215229/101724640118250197417404812192879065898438907233473280015\ 8802280864729581*c_1001_2^23 + 110224516915956692114213482220205073\ 92412055512462321845464065696386180608458/3051739203547505922522144\ 365786371976953167217004198400476406842594188743*c_1001_2^22 + 4119614519344750866750060796628493656893222077894937923880323715782\ 384851584/726604572273215695838605801377707613560277908810523428684\ 858772046235415*c_1001_2^21 - 4791772344732292882779727521246470616\ 8063130240178707123623971503941243478046/30517392035475059225221443\ 65786371976953167217004198400476406842594188743*c_1001_2^20 - 7895591851029375010387765808060289198762855351603487509995216765242\ 092780784/217981371681964708751581740413312284068083372643157028605\ 4576316138706245*c_1001_2^19 + 380532847765804203444093865084014708\ 161042286461252680809053016910167270263887/152586960177375296126107\ 21828931859884765836085020992002382034212970943715*c_1001_2^18 - 8875883565396138368318423324062266032138738896228679496899678523207\ 8812688/64792764406528788163952109676993035604101214798390624213936\ 45101049233*c_1001_2^17 - 27111394797621913604319696265802544596786\ 0258044177398883360194698284130598449/15258696017737529612610721828\ 931859884765836085020992002382034212970943715*c_1001_2^16 + 1264047619947504985568729660654497712295879731683933901787813993659\ 93939567036/3051739203547505922522144365786371976953167217004198400\ 476406842594188743*c_1001_2^15 + 1684447054829671176385863525290473\ 076941506412409046898024722908573803181634/154128242603409390026370\ 927564968281664301374596171636387697315282534785*c_1001_2^14 - 2275335652072187287719331858560239710230739513974166343694169036854\ 51065816884/3051739203547505922522144365786371976953167217004198400\ 476406842594188743*c_1001_2^13 - 8070515474849173819799072230255788\ 5660541920468689248346805707462938796922867/15258696017737529612610\ 721828931859884765836085020992002382034212970943715*c_1001_2^12 + 1762984839553883901419127703441048815804932361713715629447606229760\ 82126313497/2179813716819647087515817404133122840680833726431570286\ 054576316138706245*c_1001_2^11 - 1161449655520199195354814303286283\ 425612039663880845683307970198189055112309/137465729889527293807303\ 800260647386349241766531720648670108416333071565*c_1001_2^10 - 5354214250335372686582041519830670562371167745455329870830824094472\ 416991639/137465729889527293807303800260647386349241766531720648670\ 108416333071565*c_1001_2^9 + 61773645003324840641518854135197654805\ 0521482826854602203529928700246200124/33908213372750065805801604064\ 2930219661463024111577600052934093621576527*c_1001_2^8 + 1118401555617934208194791721675101385957786714134032249794422011386\ 55944472314/1525869601773752961261072182893185988476583608502099200\ 2382034212970943715*c_1001_2^7 + 7571712929989993846699641006712412\ 1265056978584349363690613954138326830037121/50862320059125098708702\ 40609643953294921945361673664000794011404323647905*c_1001_2^6 - 1856157007794011214213681057318311621042239885684151841545085482490\ 9877631392/21798137168196470875158174041331228406808337264315702860\ 54576316138706245*c_1001_2^5 - 379214613940414858217619479536295886\ 16354930238937497140753111868605054271686/5086232005912509870870240\ 609643953294921945361673664000794011404323647905*c_1001_2^4 + 5935038269081441712006790288393187829917532492431327981693733182536\ 5783480551/15258696017737529612610721828931859884765836085020992002\ 382034212970943715*c_1001_2^3 - 17554323427589449413293537831289456\ 386448486262026144495839857929424927903403/152586960177375296126107\ 21828931859884765836085020992002382034212970943715*c_1001_2^2 + 1859446086500084322192670025885195074569030121713270790521104701840\ 0638817453/15258696017737529612610721828931859884765836085020992002\ 382034212970943715*c_1001_2 - 7968810020117514477429697239243236900\ 650458513396218048527259389057793582474/152586960177375296126107218\ 28931859884765836085020992002382034212970943715, c_0011_0 - 1, c_0011_10 + 27780938110526879882584076871741587309507726197181304368533\ 6/273352206231764419776847405541416249365126412543873442134629*c_10\ 01_2^27 + 367172769202055666442918953526299689594302821244556717956\ 592/39050315175966345682406772220202321337875201791981920304947*c_1\ 001_2^26 + 88772970093058164166731823619358700291463165630778172311\ 4062/91117402077254806592282468513805416455042137514624480711543*c_\ 1001_2^25 - 5157026164385639102879766598974078922403670399343491248\ 724115/39050315175966345682406772220202321337875201791981920304947*\ c_1001_2^24 - 23758793105966098385380949587828842573406733769997890\ 301164079/911174020772548065922824685138054164550421375146244807115\ 43*c_1001_2^23 + 23672253744277368045176741267376737023462329059601\ 1699565637901/27335220623176441977684740554141624936512641254387344\ 2134629*c_1001_2^22 + 188208302005634872077477945054160238805511170\ 11981766758343872/1301677172532211522746892407340077377929173393066\ 0640101649*c_1001_2^21 - 103034956937085107549530998951273175447211\ 3913125132589749753836/27335220623176441977684740554141624936512641\ 2543873442134629*c_1001_2^20 - 457075903558969331639540736666343838\ 59375754414052210309872621/3905031517596634568240677222020232133787\ 5201791981920304947*c_1001_2^19 + 170470758608420072618775701815052\ 0292476777698450320579182995490/27335220623176441977684740554141624\ 9365126412543873442134629*c_1001_2^18 - 282322188974504773661888872358813747803803594146213143441632480/911\ 17402077254806592282468513805416455042137514624480711543*c_1001_2^1\ 7 - 129054095035539231950328516610791632039057945624019239992416868\ 0/273352206231764419776847405541416249365126412543873442134629*c_10\ 01_2^16 + 276963593278142700850870887535315844228022503311105467983\ 0725598/27335220623176441977684740554141624936512641254387344213462\ 9*c_1001_2^15 + 295326660613725181540593452328546658734234664138351\ 479494949371/911174020772548065922824685138054164550421375146244807\ 11543*c_1001_2^14 - 50243351846957646252271922962562757510778812440\ 54042779575349012/2733522062317644197768474055414162493651264125438\ 73442134629*c_1001_2^13 - 60377194246004702913817551530441367647384\ 2765693242127739639692/27335220623176441977684740554141624936512641\ 2543873442134629*c_1001_2^12 + 791045224184439892028658428368078657\ 168881967162394562881782456/390503151759663456824067722202023213378\ 75201791981920304947*c_1001_2^11 - 125785749163455201365634146917952064964622407246557806856395260/911\ 17402077254806592282468513805416455042137514624480711543*c_1001_2^1\ 0 - 918520522921485717788337881479553096307646565941978355516931945\ /91117402077254806592282468513805416455042137514624480711543*c_1001\ _2^9 + 417858770620407474778600919000040811243673534725614321831452\ 81/91117402077254806592282468513805416455042137514624480711543*c_10\ 01_2^8 + 4674014301089472124295298082423410863791855624822998334842\ 83744/273352206231764419776847405541416249365126412543873442134629*\ c_1001_2^7 + 342680155864362963586762203147750289722743308142268728\ 490316008/911174020772548065922824685138054164550421375146244807115\ 43*c_1001_2^6 - 751178023396497113585332057360048412308386111968219\ 26652271788/3905031517596634568240677222020232133787520179198192030\ 4947*c_1001_2^5 - 1879968012755985595509611750914327029966468286262\ 06152595706608/9111740207725480659228246851380541645504213751462448\ 0711543*c_1001_2^4 + 2888429185563902589487680811125886712305133019\ 41455011483547591/2733522062317644197768474055414162493651264125438\ 73442134629*c_1001_2^3 - 908156016778012564909858808769537113013971\ 56072908660895600399/2733522062317644197768474055414162493651264125\ 43873442134629*c_1001_2^2 + 904991406208960028163420096639016960810\ 15014943012784018229917/2733522062317644197768474055414162493651264\ 12543873442134629*c_1001_2 - 36982947952693934857842803298820836853\ 432030216415075726070049/273352206231764419776847405541416249365126\ 412543873442134629, c_0011_11 - 31254005734345149843850400788367162694767934445771090412445\ 65/3006874268549408617545321460955578743016390537982607863480919*c_\ 1001_2^27 - 4138102304027147218252316272750564845501714344134266650\ 890394/429553466935629802506474494422225534716627219711801123354417\ *c_1001_2^26 - 1015365097418014277213835549442476380586121841882021\ 2695645307/10022914228498028725151071536518595810054635126608692878\ 26973*c_1001_2^25 + 57913770045868510012251157550561142919428520510\ 170065327803058/429553466935629802506474494422225534716627219711801\ 123354417*c_1001_2^24 + 2693991747813169175084620866603662789806161\ 04207226451125436951/1002291422849802872515107153651859581005463512\ 660869287826973*c_1001_2^23 - 2647134458241771572705932807781314510\ 253811137945471512219470488/300687426854940861754532146095557874301\ 6390537982607863480919*c_1001_2^22 - 213467056835150125576703802230221347970656470778746525813138726/143\ 184488978543267502158164807408511572209073237267041118139*c_1001_2^\ 21 + 11502816125864148127552361899375440194754644109567822753195452\ 726/3006874268549408617545321460955578743016390537982607863480919*c\ _1001_2^20 + 535707209302856157686761645097839546705093057742141036\ 394298405/429553466935629802506474494422225534716627219711801123354\ 417*c_1001_2^19 - 1905520308919586741533171503573334738653742957477\ 9116318269401873/30068742685494086175453214609555787430163905379826\ 07863480919*c_1001_2^18 + 30886631794572400737965466020996652313116\ 98557055977414939338990/1002291422849802872515107153651859581005463\ 512660869287826973*c_1001_2^17 + 1456784811270267784912830687736780\ 5223342776084930409814746374992/30068742685494086175453214609555787\ 43016390537982607863480919*c_1001_2^16 - 30895334720794736003346203530192930685561147001724590290132980177/3\ 006874268549408617545321460955578743016390537982607863480919*c_1001\ _2^15 - 31434782514392823914092980148112016326224299677523686527437\ 2681/91117402077254806592282468513805416455042137514624480711543*c_\ 1001_2^14 + 5618847907009968444973449702981444394010660856460510069\ 6385995586/30068742685494086175453214609555787430163905379826078634\ 80919*c_1001_2^13 + 75771681650930752153113110306448776135737548490\ 07533573742262230/3006874268549408617545321460955578743016390537982\ 607863480919*c_1001_2^12 - 8838029651494120696321587717250191809820\ 525022709230860847516637/429553466935629802506474494422225534716627\ 219711801123354417*c_1001_2^11 + 1136446295988106124301974806857547\ 631960159332674998787981631336/100229142284980287251510715365185958\ 1005463512660869287826973*c_1001_2^10 + 10248983194511099862367113760219634578705978716780825032195655547/1\ 002291422849802872515107153651859581005463512660869287826973*c_1001\ _2^9 - 336974346949408939010243176689857027325225143643029258249233\ 867/1002291422849802872515107153651859581005463512660869287826973*c\ _1001_2^8 - 5148776864918449723901694151780349474657194359707997469\ 001945845/300687426854940861754532146095557874301639053798260786348\ 0919*c_1001_2^7 - 3864947322818493414554772850878423400461269918943\ 642661651957431/100229142284980287251510715365185958100546351266086\ 9287826973*c_1001_2^6 + 8194983614343233884460967040083215841102632\ 37069863671033046836/4295534669356298025064744944222255347166272197\ 11801123354417*c_1001_2^5 + 211819483336208173687003729039471223531\ 3843322856792705967072177/10022914228498028725151071536518595810054\ 63512660869287826973*c_1001_2^4 - 314492387289473549709787091159443\ 5570365082144795906367115473019/30068742685494086175453214609555787\ 43016390537982607863480919*c_1001_2^3 + 1010922202671177885019113264350281048803759077121489381141906809/30\ 06874268549408617545321460955578743016390537982607863480919*c_1001_\ 2^2 - 1006962365423299793500029979192850755324090362209864747977088\ 272/3006874268549408617545321460955578743016390537982607863480919*c\ _1001_2 + 407165871708130401500651250285810705575913876531848458700\ 917730/300687426854940861754532146095557874301639053798260786348091\ 9, c_0011_12 - 82065511652125144780780198452215544100298429609571630077931\ /143184488978543267502158164807408511572209073237267041118139*c_100\ 1_2^27 - 7598914928023563608967297602007810356872192018758470430705\ 49/143184488978543267502158164807408511572209073237267041118139*c_1\ 001_2^26 - 79304533526733478623998152854223031892918778717380624134\ 7048/143184488978543267502158164807408511572209073237267041118139*c\ _1001_2^25 + 106536342779617374793240544288781694898036903171352223\ 70482307/1431844889785432675021581648074085115722090732372670411181\ 39*c_1001_2^24 + 21128675955948653356721640415155748347453114326612\ 523094402646/143184488978543267502158164807408511572209073237267041\ 118139*c_1001_2^23 - 6973349808138427562886573489308452423066150611\ 7599451072125983/14318448897854326750215816480740851157220907323726\ 7041118139*c_1001_2^22 - 117152585493351313640716417481615029390993\ 682958467323847004883/143184488978543267502158164807408511572209073\ 237267041118139*c_1001_2^21 + 3034188665965670749658315916847502960\ 77985786164507093977853339/1431844889785432675021581648074085115722\ 09073237267041118139*c_1001_2^20 + 96257374597575890228035084193763871559544596837760071247729089/1431\ 84488978543267502158164807408511572209073237267041118139*c_1001_2^1\ 9 - 502838749594090287621827374318608334111990304323122338707966440\ /143184488978543267502158164807408511572209073237267041118139*c_100\ 1_2^18 + 2470269524640789283440559843334384203943518697132126961235\ 43265/143184488978543267502158164807408511572209073237267041118139*\ c_1001_2^17 + 38327837430550841692505751992085924146686764934817644\ 1276125157/14318448897854326750215816480740851157220907323726704111\ 8139*c_1001_2^16 - 815015162684722162406176760407540516324870852648\ 782054577365275/143184488978543267502158164807408511572209073237267\ 041118139*c_1001_2^15 - 2431602738954085309400132957756110918786362\ 7190937814907634062/13016771725322115227468924073400773779291733930\ 660640101649*c_1001_2^14 + 1481459279323027881875579333986299617885\ 565741708663576809141267/143184488978543267502158164807408511572209\ 073237267041118139*c_1001_2^13 + 1873324730446086406639761669181613\ 06419657796048535510926746244/1431844889785432675021581648074085115\ 72209073237267041118139*c_1001_2^12 - 1634999639012319007381704862611864386815691902223942188574436128/14\ 3184488978543267502158164807408511572209073237267041118139*c_1001_2\ ^11 + 1017553416723503411469985584087231805372428069525860846134681\ 57/143184488978543267502158164807408511572209073237267041118139*c_1\ 001_2^10 + 81737308666894917934717254052170986371526676189001105216\ 9779450/14318448897854326750215816480740851157220907323726704111813\ 9*c_1001_2^9 - 3143361706258494759635425274207670708387675580481019\ 3461920979/14318448897854326750215816480740851157220907323726704111\ 8139*c_1001_2^8 - 1412459603581198254388997683277419920299417369612\ 74811851142528/1431844889785432675021581648074085115722090732372670\ 41118139*c_1001_2^7 - 304797335817548327539232117207400915466367874\ 973817393819072023/143184488978543267502158164807408511572209073237\ 267041118139*c_1001_2^6 + 15499072852263724206334153719519783128634\ 9176110723461841066451/14318448897854326750215816480740851157220907\ 3237267041118139*c_1001_2^5 + 1674374786238933364221763509108573086\ 95294439144161058823978483/1431844889785432675021581648074085115722\ 09073237267041118139*c_1001_2^4 - 847413334959726293569566531966619\ 83415305924376817688808736391/1431844889785432675021581648074085115\ 72209073237267041118139*c_1001_2^3 + 25781987214089725425416528746091842425966820638110430301482088/1431\ 84488978543267502158164807408511572209073237267041118139*c_1001_2^2 - 26678934888946753338547823891010604782683066383417857326823012/14\ 3184488978543267502158164807408511572209073237267041118139*c_1001_2 + 10897466320354121975044498439877614466144767796220102668584213/14\ 3184488978543267502158164807408511572209073237267041118139, c_0011_7 + 291824161347561379650858378336707692346592139711581082198100\ /429553466935629802506474494422225534716627219711801123354417*c_100\ 1_2^27 + 2702903294819415804042891383602818277968125696446729973992\ 034/429553466935629802506474494422225534716627219711801123354417*c_\ 1001_2^26 + 9423620530463362954277770523766446063292440612569711666\ 68681/143184488978543267502158164807408511572209073237267041118139*\ c_1001_2^25 - 37876463913164288107439483019377186118307463068000588\ 331595866/429553466935629802506474494422225534716627219711801123354\ 417*c_1001_2^24 - 2508049700633170997988719445799643697987469636392\ 5555593462092/14318448897854326750215816480740851157220907323726704\ 1118139*c_1001_2^23 + 247712833356921345023950334369383484123752806\ 762770732940412652/429553466935629802506474494422225534716627219711\ 801123354417*c_1001_2^22 + 1390865711756207209465645805843649402916\ 04700278836731128026676/1431844889785432675021581648074085115722090\ 73237267041118139*c_1001_2^21 - 10771256523180199588551984145617027\ 77734515094808034879864223229/4295534669356298025064744944222255347\ 16627219711801123354417*c_1001_2^20 - 344638416299506688909535696636851633425289186491138546355389729/429\ 553466935629802506474494422225534716627219711801123354417*c_1001_2^\ 19 + 17837861612869137977047752639572081215489492963613338129081034\ 23/429553466935629802506474494422225534716627219711801123354417*c_1\ 001_2^18 - 29171977735166636668153567880195385632790323931008908175\ 2890358/14318448897854326750215816480740851157220907323726704111813\ 9*c_1001_2^17 - 135942285053568288465456346586129626641083254994468\ 9565053173394/42955346693562980250647449442222553471662721971180112\ 3354417*c_1001_2^16 + 289555222952639512085890990579592387444387695\ 6179600443868742951/42955346693562980250647449442222553471662721971\ 1801123354417*c_1001_2^15 + 289321068333719327463334348947655226334\ 10994049554893185984950/1301677172532211522746892407340077377929173\ 3930660640101649*c_1001_2^14 - 525971486990822896754143139708875517\ 7133705171796015998771651916/42955346693562980250647449442222553471\ 6627219711801123354417*c_1001_2^13 - 677897125168376624495251865445761599839607683159397170069596768/429\ 553466935629802506474494422225534716627219711801123354417*c_1001_2^\ 12 + 57932875578954776723875727019012851865216383360665197264201693\ 44/429553466935629802506474494422225534716627219711801123354417*c_1\ 001_2^11 - 11765323496004557621729816675396757510551548962524492465\ 4221895/14318448897854326750215816480740851157220907323726704111813\ 9*c_1001_2^10 - 961007946837509561501523097529554995544605066547773\ 824558790592/143184488978543267502158164807408511572209073237267041\ 118139*c_1001_2^9 + 38358312068702161915306019668848889178789734009\ 380404520214438/143184488978543267502158164807408511572209073237267\ 041118139*c_1001_2^8 + 48786753069736280576485133848211855838833162\ 6528099622214373299/42955346693562980250647449442222553471662721971\ 1801123354417*c_1001_2^7 + 3590501506197287864927151501981407923865\ 06631376332551971706447/1431844889785432675021581648074085115722090\ 73237267041118139*c_1001_2^6 - 543344995624939167530284588862337171\ 897667906585967362691285452/429553466935629802506474494422225534716\ 627219711801123354417*c_1001_2^5 - 197307780900651999238385033646126941771656929233355153425803991/143\ 184488978543267502158164807408511572209073237267041118139*c_1001_2^\ 4 + 298472587057420897105314383430726192754055996293831678801174718\ /429553466935629802506474494422225534716627219711801123354417*c_100\ 1_2^3 - 94528556766312466957465060101755797186734876696985542395499\ 965/429553466935629802506474494422225534716627219711801123354417*c_\ 1001_2^2 + 93460151800701895756653391284566843778760689960917489002\ 340347/429553466935629802506474494422225534716627219711801123354417\ *c_1001_2 - 3831168799744265613161303740481429602082099755382235895\ 4904716/42955346693562980250647449442222553471662721971180112335441\ 7, c_0011_8 - 846468733723929859047987863327662738824964791872603108119006\ /3006874268549408617545321460955578743016390537982607863480919*c_10\ 01_2^27 - 111917983443453847652300864698630077449554507941131316609\ 2374/429553466935629802506474494422225534716627219711801123354417*c\ _1001_2^26 - 271409320459002213306193991778650977797984646705304369\ 2159070/10022914228498028725151071536518595810054635126608692878269\ 73*c_1001_2^25 + 15709104967623534498424604078882102778438811919966\ 008262948614/429553466935629802506474494422225534716627219711801123\ 354417*c_1001_2^24 + 7252488945720557708709632252005024189213772850\ 6181663082196961/10022914228498028725151071536518595810054635126608\ 69287826973*c_1001_2^23 - 72046685765185060589819537826786702764278\ 0302379660198362319213/30068742685494086175453214609555787430163905\ 37982607863480919*c_1001_2^22 - 57470262182714002915406943031743038\ 909383316266535915160299712/143184488978543267502158164807408511572\ 209073237267041118139*c_1001_2^21 + 3134604182783993452761873123911522948212370801639881678289506771/30\ 06874268549408617545321460955578743016390537982607863480919*c_1001_\ 2^20 + 140843150642853375708982768266575132947344635530114398626669\ 495/429553466935629802506474494422225534716627219711801123354417*c_\ 1001_2^19 - 5188399232349678403725245880660331736172590041946840878\ 750845476/300687426854940861754532146095557874301639053798260786348\ 0919*c_1001_2^18 + 854118012899384763773028930538353888259667624040\ 349431935542326/100229142284980287251510715365185958100546351266086\ 9287826973*c_1001_2^17 + 393888102724918159595787225154021856807067\ 8084113138882847888602/30068742685494086175453214609555787430163905\ 37982607863480919*c_1001_2^16 - 84250989475542731354524841477086027\ 27438754951891962609485289715/3006874268549408617545321460955578743\ 016390537982607863480919*c_1001_2^15 - 82697622467302148387104886451780403474385334873187503813694728/9111\ 7402077254806592282468513805416455042137514624480711543*c_1001_2^14 + 15295487286111383248328075772301953840087698456701744433101109125\ /3006874268549408617545321460955578743016390537982607863480919*c_10\ 01_2^13 + 189439814491500037377801213808550693040040183825276264393\ 7691013/30068742685494086175453214609555787430163905379826078634809\ 19*c_1001_2^12 - 24078399663320966786598060915174976191899014021737\ 47662813488502/4295534669356298025064744944222255347166272197118011\ 23354417*c_1001_2^11 + 36409647236139525657918506085704147107469605\ 8245843511823591682/10022914228498028725151071536518595810054635126\ 60869287826973*c_1001_2^10 + 27966366248139326295223418425109116363\ 01852010631714082159557397/1002291422849802872515107153651859581005\ 463512660869287826973*c_1001_2^9 - 119216977887479315575727168028018434186433754792498507248909790/100\ 2291422849802872515107153651859581005463512660869287826973*c_1001_2\ ^8 - 14212259104366664483055510317561000773956076694016744830555150\ 39/3006874268549408617545321460955578743016390537982607863480919*c_\ 1001_2^7 - 10441662326137678470179073379846109847572146571111052737\ 63360810/1002291422849802872515107153651859581005463512660869287826\ 973*c_1001_2^6 + 22693606884750570784923995687294999195564111808714\ 4002651510956/42955346693562980250647449442222553471662721971180112\ 3354417*c_1001_2^5 + 5736193898441050778806660916930557790790543349\ 59807519272227285/1002291422849802872515107153651859581005463512660\ 869287826973*c_1001_2^4 - 87372338543964613385688100005950407690159\ 9691393577615350900404/30068742685494086175453214609555787430163905\ 37982607863480919*c_1001_2^3 + 278131176826279561482715169684860133\ 349522335430346718579429761/300687426854940861754532146095557874301\ 6390537982607863480919*c_1001_2^2 - 274212906806665603951702872658312248094454558250023366681528666/300\ 6874268549408617545321460955578743016390537982607863480919*c_1001_2 + 110542511183845761203457699929514171162361091682812623529457871/3\ 006874268549408617545321460955578743016390537982607863480919, c_0101_0 + 180158792949331740414971853722910600667599907034037000462900\ /143184488978543267502158164807408511572209073237267041118139*c_100\ 1_2^27 + 1667524605107649751333219924471414262809274721579978759962\ 261/143184488978543267502158164807408511572209073237267041118139*c_\ 1001_2^26 + 1734969492462236406772287627318253386791925797285040399\ 143343/143184488978543267502158164807408511572209073237267041118139\ *c_1001_2^25 - 2339338461198923087575904329249118124885547981871018\ 7795248898/14318448897854326750215816480740851157220907323726704111\ 8139*c_1001_2^24 - 463028577511418444165933890792273619506479709723\ 19730523310633/1431844889785432675021581648074085115722090732372670\ 41118139*c_1001_2^23 + 15321283467219578577353159404122726642638915\ 7220816649543227936/14318448897854326750215816480740851157220907323\ 7267041118139*c_1001_2^22 + 256621659426943812558577974260369729355\ 487325687179988001289159/143184488978543267502158164807408511572209\ 073237267041118139*c_1001_2^21 - 6665823189608197784141281316222502\ 52678524028602896785339220651/1431844889785432675021581648074085115\ 72209073237267041118139*c_1001_2^20 - 208575741550373038458524390970552689478217007307264019206280174/143\ 184488978543267502158164807408511572209073237267041118139*c_1001_2^\ 19 + 11025712090043366077769429327591996510946071489667921032832116\ 68/143184488978543267502158164807408511572209073237267041118139*c_1\ 001_2^18 - 54692887581618681056481756038013516022239803092525433619\ 9777490/14318448897854326750215816480740851157220907323726704111813\ 9*c_1001_2^17 - 835868623040241751764185195419737688127430176553157\ 576192495673/143184488978543267502158164807408511572209073237267041\ 118139*c_1001_2^16 + 1792011177729575384972129628054375459217393783\ 001979351939781088/143184488978543267502158164807408511572209073237\ 267041118139*c_1001_2^15 + 5256758842292840485098048297741962206576\ 8329011224059870122621/13016771725322115227468924073400773779291733\ 930660640101649*c_1001_2^14 - 3250013682900671167739726755961830693\ 033425092159049438246517075/143184488978543267502158164807408511572\ 209073237267041118139*c_1001_2^13 - 398487841597243130224747570684898161698218561746306417433446844/143\ 184488978543267502158164807408511572209073237267041118139*c_1001_2^\ 12 + 35792613591367182556794023238131985329943611702377895531799143\ 02/143184488978543267502158164807408511572209073237267041118139*c_1\ 001_2^11 - 23857141762043835692405498480166546766310226724109004937\ 8293653/14318448897854326750215816480740851157220907323726704111813\ 9*c_1001_2^10 - 177911422759390678431570996462656217655062315932182\ 5938993018518/14318448897854326750215816480740851157220907323726704\ 1118139*c_1001_2^9 + 7876733448370592349990156029282560233304011812\ 6884565556576103/14318448897854326750215816480740851157220907323726\ 7041118139*c_1001_2^8 + 3009860577492345912002803884729169380678975\ 90253214483285443573/1431844889785432675021581648074085115722090732\ 37267041118139*c_1001_2^7 + 666020600514302556418987690271223474688\ 925361577421097047319283/143184488978543267502158164807408511572209\ 073237267041118139*c_1001_2^6 - 33940463834701765571942634737154047\ 1946645676495159396115246157/14318448897854326750215816480740851157\ 2209073237267041118139*c_1001_2^5 - 364516053804798092537216125683326832486741115459584567466044196/143\ 184488978543267502158164807408511572209073237267041118139*c_1001_2^\ 4 + 186072505054776717335935127152725856874628041864622771501342729\ /143184488978543267502158164807408511572209073237267041118139*c_100\ 1_2^3 - 59077556833269155715576130087896099820799267623618156932400\ 019/143184488978543267502158164807408511572209073237267041118139*c_\ 1001_2^2 + 58508320414463410489609783352129888597688249458336646076\ 137278/143184488978543267502158164807408511572209073237267041118139\ *c_1001_2 - 2420732594075788455076626487094493034346820816523595363\ 3151915/14318448897854326750215816480740851157220907323726704111813\ 9, c_0101_1 - 314868371630689186876638786512677913771636173345836155043495\ 1/3006874268549408617545321460955578743016390537982607863480919*c_1\ 001_2^27 - 41670810789681634086845365099148069343815397190947853774\ 46380/429553466935629802506474494422225534716627219711801123354417*\ c_1001_2^26 - 10190555719330981858163902109850269582673266392760883\ 834293585/100229142284980287251510715365185958100546351266086928782\ 6973*c_1001_2^25 + 583574750052962971682042291723567310223610206928\ 93699694789556/4295534669356298025064744944222255347166272197118011\ 23354417*c_1001_2^24 + 27081618294853772114540366237260218473174676\ 7980194924728733024/10022914228498028725151071536518595810054635126\ 60869287826973*c_1001_2^23 - 26697915442726570626807421237951559943\ 04368481808981342112902311/3006874268549408617545321460955578743016\ 390537982607863480919*c_1001_2^22 - 214455089777501466550611195108332024626066780424485238558630557/143\ 184488978543267502158164807408511572209073237267041118139*c_1001_2^\ 21 + 11605661343914197163090668464928131408547493022541432686883610\ 560/3006874268549408617545321460955578743016390537982607863480919*c\ _1001_2^20 + 531522459690289403723947074666780405184851717868631828\ 505350717/429553466935629802506474494422225534716627219711801123354\ 417*c_1001_2^19 - 1920890353690575753463803608551853739607158250082\ 4472827202360109/30068742685494086175453214609555787430163905379826\ 07863480919*c_1001_2^18 + 31452066352689273377127377069163279117295\ 60423829157098405190608/1002291422849802872515107153651859581005463\ 512660869287826973*c_1001_2^17 + 1462903270551015329537666126647875\ 0583209681314421003471990226126/30068742685494086175453214609555787\ 43016390537982607863480919*c_1001_2^16 - 31202598449462008417943399003703130320268907126179919612387664635/3\ 006874268549408617545321460955578743016390537982607863480919*c_1001\ _2^15 - 31211630670289278920566235728193425004148040247376173656786\ 8770/91117402077254806592282468513805416455042137514624480711543*c_\ 1001_2^14 + 5663831684472560652133223232323959765698268311008168675\ 1434561134/30068742685494086175453214609555787430163905379826078634\ 80919*c_1001_2^13 + 73422386486860110133856836849768428409046649993\ 38345114416729189/3006874268549408617545321460955578743016390537982\ 607863480919*c_1001_2^12 - 8903724342695464414377255316720130271331\ 506075679933889611516087/429553466935629802506474494422225534716627\ 219711801123354417*c_1001_2^11 + 1262100562898862385915107311765522\ 091319980771584814184660396696/100229142284980287251510715365185958\ 1005463512660869287826973*c_1001_2^10 + 10312509861191415724973973543730014950312454016814047530830945005/1\ 002291422849802872515107153651859581005463512660869287826973*c_1001\ _2^9 - 408220815192403470321736559314891232810640932721664213347857\ 173/1002291422849802872515107153651859581005463512660869287826973*c\ _1001_2^8 - 5176812754997256668435125678340924259904107575794654139\ 487799565/300687426854940861754532146095557874301639053798260786348\ 0919*c_1001_2^7 - 3877649439727477560913701947868481425904509007359\ 433380475388447/100229142284980287251510715365185958100546351266086\ 9287826973*c_1001_2^6 + 8335541724053996225599795164490831917426832\ 99789231835939097068/4295534669356298025064744944222255347166272197\ 11801123354417*c_1001_2^5 + 212315132911150108439446104955704855847\ 8009543087058430801588348/10022914228498028725151071536518595810054\ 63512660869287826973*c_1001_2^4 - 320929645954684777984754625962924\ 3084253276799755322804883795737/30068742685494086175453214609555787\ 43016390537982607863480919*c_1001_2^3 + 1036672421882667800940188692969484270425204318421261640279767236/30\ 06874268549408617545321460955578743016390537982607863480919*c_1001_\ 2^2 - 1011814074907961037607004884805089069237360236815725614733462\ 061/3006874268549408617545321460955578743016390537982607863480919*c\ _1001_2 + 415204615458880893418491831118250185339664036715139875380\ 943994/300687426854940861754532146095557874301639053798260786348091\ 9, c_0101_11 - 14967765884176517652046845267783955269531420688530826905726\ 1/273352206231764419776847405541416249365126412543873442134629*c_10\ 01_2^27 - 198343949649606141738643124427861722050727755851189235218\ 466/39050315175966345682406772220202321337875201791981920304947*c_1\ 001_2^26 - 49041694165950850811436534581458480216441618787470233580\ 9132/91117402077254806592282468513805416455042137514624480711543*c_\ 1001_2^25 + 2769528749195090880872282439813438193099586672243371827\ 991330/39050315175966345682406772220202321337875201791981920304947*\ c_1001_2^24 + 12941001018061422803253957846512736755613944403556174\ 896210563/911174020772548065922824685138054164550421375146244807115\ 43*c_1001_2^23 - 12630106432190362330375179474445374380733468872761\ 8652958307820/27335220623176441977684740554141624936512641254387344\ 2134629*c_1001_2^22 - 102417135815653868442690852318103857292175002\ 22212097978806054/1301677172532211522746892407340077377929173393066\ 0640101649*c_1001_2^21 + 548516887487046654252330925244558201348912\ 942967279047508342952/273352206231764419776847405541416249365126412\ 543873442134629*c_1001_2^20 + 2583647688891296361998192461341133131\ 1955690792407568164930388/39050315175966345682406772220202321337875\ 201791981920304947*c_1001_2^19 - 9087133778508322832635691749578822\ 22575302950639833538180737167/2733522062317644197768474055414162493\ 65126412543873442134629*c_1001_2^18 + 147091389420568953124663059280052110477724337966021707923622739/911\ 17402077254806592282468513805416455042137514624480711543*c_1001_2^1\ 7 + 696922616022635629553716774375511130782487548808169155753520777\ /273352206231764419776847405541416249365126412543873442134629*c_100\ 1_2^16 - 1474701839949479770569772549607484997789492941441495538630\ 126175/273352206231764419776847405541416249365126412543873442134629\ *c_1001_2^15 - 1672680792436112268448324142668207154580841297038360\ 35197354821/9111740207725480659228246851380541645504213751462448071\ 1543*c_1001_2^14 + 267953792695819636781542444455264915197118018040\ 1048103601476859/27335220623176441977684740554141624936512641254387\ 3442134629*c_1001_2^13 + 370151030708128724065494631946604139666040\ 279639520725898042595/273352206231764419776847405541416249365126412\ 543873442134629*c_1001_2^12 - 4210646800445521535805512448398885402\ 38340112092958477282534886/3905031517596634568240677222020232133787\ 5201791981920304947*c_1001_2^11 + 530164881908060655697909598644983\ 57526720224034080661949358045/9111740207725480659228246851380541645\ 5042137514624480711543*c_1001_2^10 + 488002807744636449392927657040644989901359858824266260481985329/911\ 17402077254806592282468513805416455042137514624480711543*c_1001_2^9 - 16272634203065739910259099657053079463003840409865721228092462/91\ 117402077254806592282468513805416455042137514624480711543*c_1001_2^\ 8 - 245214716299006508759495513704656461901321149865858591975479861\ /273352206231764419776847405541416249365126412543873442134629*c_100\ 1_2^7 - 18421452071497539813789963010331593641670266226205683236429\ 4186/91117402077254806592282468513805416455042137514624480711543*c_\ 1001_2^6 + 39032277055237070002286754341982827144479707693313698564\ 239549/39050315175966345682406772220202321337875201791981920304947*\ c_1001_2^5 + 100793134442480932196537294774802818217629463790573882\ 986150316/911174020772548065922824685138054164550421375146244807115\ 43*c_1001_2^4 - 150206619163840901151761963462422242932451146088215\ 679737053174/273352206231764419776847405541416249365126412543873442\ 134629*c_1001_2^3 + 48562489791618127360424338198043849338229940357\ 192071605194712/273352206231764419776847405541416249365126412543873\ 442134629*c_1001_2^2 - 47624073505166714106145838436885346336929887\ 769666324845882036/273352206231764419776847405541416249365126412543\ 873442134629*c_1001_2 + 1959397050195427168528061930817556678574660\ 2534047510323257684/27335220623176441977684740554141624936512641254\ 3873442134629, c_0101_7 - 327615581336706755549126285467009284446803498010127902534786\ 3/3006874268549408617545321460955578743016390537982607863480919*c_1\ 001_2^27 - 43336229739738914839721922852302411118259671373678434887\ 12549/429553466935629802506474494422225534716627219711801123354417*\ c_1001_2^26 - 10547961036929541366620412957033736331031251954825539\ 927923347/100229142284980287251510715365185958100546351266086928782\ 6973*c_1001_2^25 + 607777630941569401082102446245216604859841499736\ 79983996303954/4295534669356298025064744944222255347166272197118011\ 23354417*c_1001_2^24 + 28128225737991564978869064526630005319935679\ 2862598977743254555/10022914228498028725151071536518595810054635126\ 60869287826973*c_1001_2^23 - 27846641881405367641263834732871870666\ 12050573923491908585877043/3006874268549408617545321460955578743016\ 390537982607863480919*c_1001_2^22 - 222954414509448026525809962294363891181767529926878088536884053/143\ 184488978543267502158164807408511572209073237267041118139*c_1001_2^\ 21 + 12111021660027987474089098713560596335333895658225273336741956\ 721/3006874268549408617545321460955578743016390537982607863480919*c\ _1001_2^20 + 551886534849271851949901702218460108640742153174802564\ 383744582/429553466935629802506474494422225534716627219711801123354\ 417*c_1001_2^19 - 2005856596083822699950043369376332959273814196959\ 7763489946766297/30068742685494086175453214609555787430163905379826\ 07863480919*c_1001_2^18 + 32786659479302242036510264980546192061977\ 02360161508513891526291/1002291422849802872515107153651859581005463\ 512660869287826973*c_1001_2^17 + 1527400588565898647157525612690755\ 1812433635604988133530498043537/30068742685494086175453214609555787\ 43016390537982607863480919*c_1001_2^16 - 32534525351925070604371168101119810267993679395225002842927469969/3\ 006874268549408617545321460955578743016390537982607863480919*c_1001\ _2^15 - 32402885570869734360962646811925794761647381964680311670115\ 5813/91117402077254806592282468513805416455042137514624480711543*c_\ 1001_2^14 + 5913305452618609478378813159024804317856700185068133340\ 5571752786/30068742685494086175453214609555787430163905379826078634\ 80919*c_1001_2^13 + 75810044834158829706427689221828623554901801219\ 98911696054853020/3006874268549408617545321460955578743016390537982\ 607863480919*c_1001_2^12 - 9310620899843218772362775652491734100417\ 054237012060311914783548/429553466935629802506474494422225534716627\ 219711801123354417*c_1001_2^11 + 1317802864319533100996199467597660\ 288372454129257863618781451412/100229142284980287251510715365185958\ 1005463512660869287826973*c_1001_2^10 + 10820206661290797686132675321086535066832042544703771490843206764/1\ 002291422849802872515107153651859581005463512660869287826973*c_1001\ _2^9 - 412334301182622734458124686921475635363983848461462320591120\ 974/1002291422849802872515107153651859581005463512660869287826973*c\ _1001_2^8 - 5511006002078585314898786186305227212552477229119841413\ 123942908/300687426854940861754532146095557874301639053798260786348\ 0919*c_1001_2^7 - 4052384205903615316908117133603864741195970433752\ 173085585371738/100229142284980287251510715365185958100546351266086\ 9287826973*c_1001_2^6 + 8750379409089795698013197807649298448572797\ 22239788239993512280/4295534669356298025064744944222255347166272197\ 11801123354417*c_1001_2^5 + 222647585437548445565948279542709652431\ 4536634818194261023080804/10022914228498028725151071536518595810054\ 63512660869287826973*c_1001_2^4 - 335590237579182127098015392192128\ 6217064424246782621249215343887/30068742685494086175453214609555787\ 43016390537982607863480919*c_1001_2^3 + 1055074626365719288519091488254696321750889129737061235632450628/30\ 06874268549408617545321460955578743016390537982607863480919*c_1001_\ 2^2 - 1057255318363283722057473297541241083996395618839221566610497\ 403/3006874268549408617545321460955578743016390537982607863480919*c\ _1001_2 + 434426783653723707718020945843619720581307261391244439281\ 726920/300687426854940861754532146095557874301639053798260786348091\ 9, c_0101_8 - 471648900414538900735950066016257840556890103928922243639215\ 0/3006874268549408617545321460955578743016390537982607863480919*c_1\ 001_2^27 - 62403616556464064621159652170141695976879578755035860225\ 71116/429553466935629802506474494422225534716627219711801123354417*\ c_1001_2^26 - 15224093863946957376016080166246655046754687769931906\ 671851671/100229142284980287251510715365185958100546351266086928782\ 6973*c_1001_2^25 + 874550827386737715595820324717341247631384458565\ 34710245130614/4295534669356298025064744944222255347166272197118011\ 23354417*c_1001_2^24 + 40526278430328177439991237869752811201170545\ 4242318942789692204/10022914228498028725151071536518595810054635126\ 60869287826973*c_1001_2^23 - 40041583182077925139446389663596895784\ 02692092449510630992262078/3006874268549408617545321460955578743016\ 390537982607863480919*c_1001_2^22 - 321051356729118794013774332064308636951042475714474067831197386/143\ 184488978543267502158164807408511572209073237267041118139*c_1001_2^\ 21 + 17412103937405151599072987459418720406913654584454946035412718\ 784/3006874268549408617545321460955578743016390537982607863480919*c\ _1001_2^20 + 794703206367210359358266667001663802142166550698375157\ 065244044/429553466935629802506474494422225534716627219711801123354\ 417*c_1001_2^19 - 2883359151068202854914832111611871270189265470596\ 6281566332656409/30068742685494086175453214609555787430163905379826\ 07863480919*c_1001_2^18 + 47187121696230235582743024390566127498272\ 57594499201282274295550/1002291422849802872515107153651859581005463\ 512660869287826973*c_1001_2^17 + 2196023941195098226782402276740157\ 7708447697380680257876725777847/30068742685494086175453214609555787\ 43016390537982607863480919*c_1001_2^16 - 46795386264102685436107969231090892373901565198326982644605408766/3\ 006874268549408617545321460955578743016390537982607863480919*c_1001\ _2^15 - 46688363189697538900685176961089259080643910735221151834748\ 0913/91117402077254806592282468513805416455042137514624480711543*c_\ 1001_2^14 + 8499711870947466011212962555557687475995404810511759561\ 4716565743/30068742685494086175453214609555787430163905379826078634\ 80919*c_1001_2^13 + 10928792240342196611216981134443529209891820031\ 954091857793118397/300687426854940861754532146095557874301639053798\ 2607863480919*c_1001_2^12 - 133757581557639246432109617003051620178\ 94501318009305021564652481/4295534669356298025064744944222255347166\ 27219711801123354417*c_1001_2^11 + 1905178253281484546692260713859497539268255253897434139815020811/10\ 02291422849802872515107153651859581005463512660869287826973*c_1001_\ 2^10 + 155296484347269343780911683221803344602354382817627842459158\ 34357/1002291422849802872515107153651859581005463512660869287826973\ *c_1001_2^9 - 60575943894570010718810025059649885380855708825172206\ 5185921340/10022914228498028725151071536518595810054635126608692878\ 26973*c_1001_2^8 - 788233405028645561704384545597680386789275758617\ 5964561719963673/30068742685494086175453214609555787430163905379826\ 07863480919*c_1001_2^7 - 582471275646298642243335163301748912233409\ 9604595025822542233490/10022914228498028725151071536518595810054635\ 12660869287826973*c_1001_2^6 + 125720390954761764702121314536393859\ 9621684663985712943061932763/42955346693562980250647449442222553471\ 6627219711801123354417*c_1001_2^5 + 3196002745281255604472312058688173314662046964231568792014014123/10\ 02291422849802872515107153651859581005463512660869287826973*c_1001_\ 2^4 - 4829022107051670431546144171799898054668439228911278690869221\ 650/3006874268549408617545321460955578743016390537982607863480919*c\ _1001_2^3 + 1528954745833322220874048756765387044783875226961868652\ 387320741/300687426854940861754532146095557874301639053798260786348\ 0919*c_1001_2^2 - 1519656457833312327302614029749475691037042335741\ 757047367257621/300687426854940861754532146095557874301639053798260\ 7863480919*c_1001_2 + 625653522703681868497377733775295060062429115\ 157283998220188925/300687426854940861754532146095557874301639053798\ 2607863480919, c_1001_0 + 933427811839088402155631880853448582487611850606255268641925\ /1002291422849802872515107153651859581005463512660869287826973*c_10\ 01_2^27 + 123517775150679012023017950582660319155561069832612367091\ 9244/143184488978543267502158164807408511572209073237267041118139*c\ _1001_2^26 + 904982766150616999139753544782660720641762482713226988\ 0705991/10022914228498028725151071536518595810054635126608692878269\ 73*c_1001_2^25 - 17306081903745575769164280892722348231237243451458\ 230997870932/143184488978543267502158164807408511572209073237267041\ 118139*c_1001_2^24 - 2407641456943808197204858458583896345870966387\ 59850101331013983/1002291422849802872515107153651859581005463512660\ 869287826973*c_1001_2^23 + 7921086031540388627310821373293130142616\ 97415647514903384693750/1002291422849802872515107153651859581005463\ 512660869287826973*c_1001_2^22 + 1907497248385022780227499905668169\ 04341915726877298223469124156/1431844889785432675021581648074085115\ 72209073237267041118139*c_1001_2^21 - 3443933900241084950841150022320535785511081074713688463462298166/10\ 02291422849802872515107153651859581005463512660869287826973*c_1001_\ 2^20 - 157842295352807007612115193701455936469832833756057397706491\ 631/143184488978543267502158164807408511572209073237267041118139*c_\ 1001_2^19 + 5703174667323158332803093295312479553555393537126335058\ 617397824/100229142284980287251510715365185958100546351266086928782\ 6973*c_1001_2^18 - 279464254352323697828535223348841080809992201384\ 3887145753488053/10022914228498028725151071536518595810054635126608\ 69287826973*c_1001_2^17 - 43465900944527831173311326277679372502989\ 09407753015264766682116/1002291422849802872515107153651859581005463\ 512660869287826973*c_1001_2^16 + 9255112661263995000131266076108052\ 471291373896729835131281724191/100229142284980287251510715365185958\ 1005463512660869287826973*c_1001_2^15 + 278032235987277431049295022359349794230904814974552019718964360/911\ 17402077254806592282468513805416455042137514624480711543*c_1001_2^1\ 4 - 168143116166265221867573135775240823502450342024197089096009689\ 46/1002291422849802872515107153651859581005463512660869287826973*c_\ 1001_2^13 - 2183290912448348751982412151135937202891382944198084526\ 385779833/100229142284980287251510715365185958100546351266086928782\ 6973*c_1001_2^12 + 264554660088069475715265019893219856794257717640\ 1373750588709125/14318448897854326750215816480740851157220907323726\ 7041118139*c_1001_2^11 - 110843621565263721173913313465312537825599\ 8541549207907678462836/10022914228498028725151071536518595810054635\ 12660869287826973*c_1001_2^10 - 92098554070993405093693777218470507\ 44486204457899123027046801144/1002291422849802872515107153651859581\ 005463512660869287826973*c_1001_2^9 + 350030695616175461541720239729240681380655163374976136464222477/100\ 2291422849802872515107153651859581005463512660869287826973*c_1001_2\ ^8 + 15521813701690930582495143173906478943526156209877883188412132\ 08/1002291422849802872515107153651859581005463512660869287826973*c_\ 1001_2^7 + 34560279984171558613739805335929429912474885830256787215\ 76099746/1002291422849802872515107153651859581005463512660869287826\ 973*c_1001_2^6 - 24774999711072835028779033735304222310412781240707\ 5222674765557/14318448897854326750215816480740851157220907323726704\ 1118139*c_1001_2^5 - 1895008531459362276968430607023635366073826248\ 401978514005055987/100229142284980287251510715365185958100546351266\ 0869287826973*c_1001_2^4 + 9522708285902912790585163315187644274735\ 38733694804370637120008/1002291422849802872515107153651859581005463\ 512660869287826973*c_1001_2^3 - 30437501723572227694004530104720684\ 0559167447441338807145489278/10022914228498028725151071536518595810\ 05463512660869287826973*c_1001_2^2 + 300377894539486206123729305497785515636978346433760583129086775/100\ 2291422849802872515107153651859581005463512660869287826973*c_1001_2 - 122976040147741295944682160919847894201709232180084159014977986/1\ 002291422849802872515107153651859581005463512660869287826973, c_1001_2^28 + 8*c_1001_2^27 - 2*c_1001_2^26 - 142*c_1001_2^25 - 94*c_1001_2^24 + 1174*c_1001_2^23 + 358*c_1001_2^22 - 5494*c_1001_2^21 + 3480*c_1001_2^20 + 7596*c_1001_2^19 - 10714*c_1001_2^18 - 862*c_1001_2^17 + 15790*c_1001_2^16 - 9256*c_1001_2^15 - 22129*c_1001_2^14 + 20422*c_1001_2^13 + 22752*c_1001_2^12 - 26255*c_1001_2^11 - 8325*c_1001_2^10 + 12840*c_1001_2^9 + 1172*c_1001_2^8 + 1598*c_1001_2^7 - 6533*c_1001_2^6 + 325*c_1001_2^5 + 3583*c_1001_2^4 - 1617*c_1001_2^3 + 733*c_1001_2^2 - 539*c_1001_2 + 167 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.160 Total time: 5.370 seconds, Total memory usage: 83.38MB