Magma V2.19-8 Wed Aug 21 2013 00:29:22 on localhost [Seed = 981215788] Type ? for help. Type -D to quit. Loading file "K14n16374__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n16374 geometric_solution 12.20029017 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.888602655636 1.054549025895 0 4 4 5 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 6 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.895761079064 0.903754441401 0 0 7 6 3012 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.099065386266 0.937807873097 3 3 5 0 1230 3012 3201 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 0 1 1 0 -1 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.391574468740 0.785068123744 1 1 8 9 2031 0132 0132 0132 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 7 -6 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.446774204868 0.558162529198 3 7 1 6 2310 1023 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.361620788590 0.408967479063 7 5 2 10 1302 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.342343558568 0.770873236267 5 6 8 2 1023 2031 3012 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 0 -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.168267278865 1.099749770782 11 7 10 4 0132 1230 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.342557338455 0.813330035551 12 11 4 12 0132 2310 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.430680384654 1.376255868925 12 11 6 8 2031 3201 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.619462105439 0.724972395749 8 12 10 9 0132 2310 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.334675880730 0.587519268986 9 9 10 11 0132 0321 1302 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.299799042413 0.733049003457 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_8'], 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_12' : d['c_0110_10'], 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_0101_7'], 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_9'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0011_6'], 'c_1001_9' : d['c_0101_9'], 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : negation(d['c_0101_8']), 'c_1010_11' : negation(d['c_0101_9']), 'c_1010_10' : negation(d['c_0101_8']), 's_0_10' : 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' : negation(d['c_0011_11']), '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_1100_8' : d['c_0110_10'], 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : d['c_0110_10'], 'c_1100_7' : negation(d['c_1001_8']), 'c_1100_6' : negation(d['c_1001_8']), 'c_1100_1' : d['c_0101_11'], 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_1001_8']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_1001_8']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0101_9'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : d['c_0011_6'], 'c_1010_9' : negation(d['c_0101_8']), 'c_1010_8' : d['c_0101_7'], '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_0011_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : 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' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_5'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0101_9'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_11'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_6'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0011_3'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0011_3'], 'c_1100_9' : d['c_0110_10'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0011_6'], 'c_0110_6' : negation(d['c_0011_11'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_5, c_0011_6, c_0101_11, c_0101_3, c_0101_7, c_0101_8, c_0101_9, c_0110_10, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 1725630893552622641951847188502704634271745459338706522490313953340\ 895842647441619/759094603240091276666417416734551291726272332981622\ 922523510460711909186303299805*c_1001_8^23 - 3455624125640422845658786974452654921922791045718889140756120771881\ 0633754850095193/75909460324009127666641741673455129172627233298162\ 2922523510460711909186303299805*c_1001_8^22 - 3136242646920193661028309431180849568930293716638405361549871770601\ 997784553704327/709434208635599323987305996948178777314273208394040\ 1145079537015999151273862615*c_1001_8^21 - 1882426742882858957477736543030709806932232426576805434812332536487\ 71577291884500073/5839189255693009820510903205650394551740556407550\ 9455578731573900916091254099985*c_1001_8^20 - 2251288392344711915792185928056432616451649228982316865011385021094\ 764114760464043862/151818920648018255333283483346910258345254466596\ 324584504702092142381837260659961*c_1001_8^19 - 4191921394528579170045072680116219881015278015788829715215676171724\ 7061106261968157399/75909460324009127666641741673455129172627233298\ 1622922523510460711909186303299805*c_1001_8^18 - 2629089801906218964560254342213292020729879117984545995164408979272\ 7894216901002067187/15181892064801825533328348334691025834525446659\ 6324584504702092142381837260659961*c_1001_8^17 - 3109749976492652470090877887816241521584740924321148780063994157194\ 45224973887619570346/7590946032400912766664174167345512917262723329\ 81622922523510460711909186303299805*c_1001_8^16 - 1032231029264289110237574566704418808363913206131167484512009577311\ 65042730323793449048/1518189206480182553332834833469102583452544665\ 96324584504702092142381837260659961*c_1001_8^15 - 5525643020698745879867648887610908299984946306684294355751058665971\ 92846962099245571309/7590946032400912766664174167345512917262723329\ 81622922523510460711909186303299805*c_1001_8^14 - 3057378707065727275582537919024187442717736902690485932450418057383\ 9599222626841711134/58391892556930098205109032056503945517405564075\ 509455578731573900916091254099985*c_1001_8^13 - 1635333975672869045757658029834826418967306541829971290184779169089\ 06340913788490655742/7590946032400912766664174167345512917262723329\ 81622922523510460711909186303299805*c_1001_8^12 - 3441264278503108866254171935561533394796900524934929251538716002565\ 7806252673383923661/15181892064801825533328348334691025834525446659\ 6324584504702092142381837260659961*c_1001_8^11 - 8783053562474102885339663886218622679361802822407627229981974930542\ 8479940416135651349/75909460324009127666641741673455129172627233298\ 1622922523510460711909186303299805*c_1001_8^10 - 1253316576936158643367458350240608731733658988115623130546157465531\ 8813658134957827036/15181892064801825533328348334691025834525446659\ 6324584504702092142381837260659961*c_1001_8^9 + 5584859754754111983273878420997473180001292036392687307819213789092\ 281940771877493182/759094603240091276666417416734551291726272332981\ 622922523510460711909186303299805*c_1001_8^8 - 2716742342792314392667172937825112831336900973264235351477313405179\ 9207088551422271831/75909460324009127666641741673455129172627233298\ 1622922523510460711909186303299805*c_1001_8^7 + 5985061287579164189234537683033084178100017054483963540339572322260\ 985423356210615262/759094603240091276666417416734551291726272332981\ 622922523510460711909186303299805*c_1001_8^6 - 4159442010548614831054578687608793434312677263248587027481163968015\ 55231770824490722/5839189255693009820510903205650394551740556407550\ 9455578731573900916091254099985*c_1001_8^5 + 1086707050019953576919224705247089953989991054490417769918388953943\ 921360642361029503/759094603240091276666417416734551291726272332981\ 622922523510460711909186303299805*c_1001_8^4 - 5698888021882108986665122617689841559807898237304415421740765083621\ 32107785508996896/7590946032400912766664174167345512917262723329816\ 22922523510460711909186303299805*c_1001_8^3 + 1260077994662053734745729683004147141436621034878255468926824960559\ 74479953595958942/7590946032400912766664174167345512917262723329816\ 22922523510460711909186303299805*c_1001_8^2 - 3754925167217753684961783966212288917461136367096423894060310194801\ 1030147822737/96699949457336468365148715507586151812263991462627123\ 8883452816193514887010573*c_1001_8 + 5473986665946197214102377409639753446283910021002871228822271994732\ 026192507054209/759094603240091276666417416734551291726272332981622\ 922523510460711909186303299805, c_0011_0 - 1, c_0011_10 + 41457922394962468528102466463185201960558832014934674844317\ 0368/27414534819408724944557605443686937206484219621285548723071202\ 9*c_1001_8^23 + 807661421345842609886505939497647987695379451795358\ 5161436224623/27414534819408724944557605443686937206484219621285548\ 7230712029*c_1001_8^22 + 760374859137264729794135262453477132360354\ 29043531583133952683885/2741453481940872494455760544368693720648421\ 96212855487230712029*c_1001_8^21 + 542697069007727462304055128927679964765211251836532016967591692575/\ 274145348194087249445576054436869372064842196212855487230712029*c_1\ 001_8^20 + 23713095968680226776374719990076724122615654395797963625\ 14355325383/2741453481940872494455760544368693720648421962128554872\ 30712029*c_1001_8^19 + 85039839789930158921632366415850928544156415\ 74716163373863612751658/2741453481940872494455760544368693720648421\ 96212855487230712029*c_1001_8^18 + 2566870287749775683240305533311245122811869264230410112929053367639\ 1/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^17 + 559326394625167402441049304252040123732266474658385795\ 71900437360841/2741453481940872494455760544368693720648421962128554\ 87230712029*c_1001_8^16 + 78400241845406310180765469255861422238878\ 001934965814383338420918954/274145348194087249445576054436869372064\ 842196212855487230712029*c_1001_8^15 + 5387017778573964921602769580120654791359840035199580883382047715823\ 5/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^14 + 523545027189031387526400113533074205255281889016476601\ 8379885815428/27414534819408724944557605443686937206484219621285548\ 7230712029*c_1001_8^13 - 298607354816590812107096540811614581234609\ 13347517023627372644731520/2741453481940872494455760544368693720648\ 42196212855487230712029*c_1001_8^12 + 1032123424083144099246521139543444776540179690539760977332635929813\ 9/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^11 - 242721985577793967806120138229323800470042804734971361\ 4824814863458/27414534819408724944557605443686937206484219621285548\ 7230712029*c_1001_8^10 - 227427795663479333249321262724774076111703\ 975661670564052258867466/274145348194087249445576054436869372064842\ 196212855487230712029*c_1001_8^9 - 1112661724420898707498273579743611697423079136844750617073570926489\ 7/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^8 + 6055486328001426212025206974554228026147548971863901489\ 600640532486/274145348194087249445576054436869372064842196212855487\ 230712029*c_1001_8^7 - 39488753031813353241585060741169352794456693\ 25898284061741714242170/2741453481940872494455760544368693720648421\ 96212855487230712029*c_1001_8^6 + 119413546572295929107343027783885\ 6960836623219405138406495072489229/27414534819408724944557605443686\ 9372064842196212855487230712029*c_1001_8^5 - 605897908593660169086030440715763238556128821469582858824249752788/\ 274145348194087249445576054436869372064842196212855487230712029*c_1\ 001_8^4 + 109885914390730308969519505826859782214258773970200078907\ 011290331/274145348194087249445576054436869372064842196212855487230\ 712029*c_1001_8^3 - 53284066559613795793426551460584498701363604470\ 289964291967819156/274145348194087249445576054436869372064842196212\ 855487230712029*c_1001_8^2 + 42697074969580708434310360523592657323\ 494403976946050004733063/174614871461202069710557996456604695582702\ 0358043665523762497*c_1001_8 - 201136693781313648718465862657935670\ 3202314102720100437856679333/27414534819408724944557605443686937206\ 4842196212855487230712029, c_0011_11 - 23905494572389376829389669563758058306049298920160246789297\ 9531/27414534819408724944557605443686937206484219621285548723071202\ 9*c_1001_8^23 - 496938899536387621490789834253951682242066621298750\ 0060272402357/27414534819408724944557605443686937206484219621285548\ 7230712029*c_1001_8^22 - 501387644723441178128417321164137960691666\ 23967284537968996406762/2741453481940872494455760544368693720648421\ 96212855487230712029*c_1001_8^21 - 374451284513657020444058546704415941575719320052601260839643520824/\ 274145348194087249445576054436869372064842196212855487230712029*c_1\ 001_8^20 - 18176482313502614574397826298146210847773766559715482952\ 32765148917/2741453481940872494455760544368693720648421962128554872\ 30712029*c_1001_8^19 - 69937625665155845028543445350563331889238036\ 03825643676001346956653/2741453481940872494455760544368693720648421\ 96212855487230712029*c_1001_8^18 - 2261795060334523778128928617034100611320785824072214334317262126062\ 5/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^17 - 568647293189788241193837456834709278940468652746721283\ 49319060220834/2741453481940872494455760544368693720648421962128554\ 87230712029*c_1001_8^16 - 10395794219642717951231277387957187299807\ 4868091393871711140762031611/27414534819408724944557605443686937206\ 4842196212855487230712029*c_1001_8^15 - 1297885438972046721040145714878873832107314832921428770582041846468\ 85/274145348194087249445576054436869372064842196212855487230712029*\ c_1001_8^14 - 11025154838653640259577202430349876886059994286460041\ 3769278808932624/27414534819408724944557605443686937206484219621285\ 5487230712029*c_1001_8^13 - 590894008689159970531518618907484452209\ 23892329477840595632562881463/2741453481940872494455760544368693720\ 64842196212855487230712029*c_1001_8^12 - 3489368174469153246121410835007740270759122467731345366052738820752\ 4/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^11 - 257984922479510973576468451917360286013147351649810520\ 02327758187144/2741453481940872494455760544368693720648421962128554\ 87230712029*c_1001_8^10 - 16318883071078993424119160141143826669538\ 387969598379612762892304386/274145348194087249445576054436869372064\ 842196212855487230712029*c_1001_8^9 - 4466314707238838497449246018480591328222517138166196346252868197444\ /274145348194087249445576054436869372064842196212855487230712029*c_\ 1001_8^8 - 24248301238811277557795835106002502664325948451935088975\ 22515610610/2741453481940872494455760544368693720648421962128554872\ 30712029*c_1001_8^7 - 153780550522212408366304554514378557411368346\ 0801214992135708768702/27414534819408724944557605443686937206484219\ 6212855487230712029*c_1001_8^6 - 2787054076894631786130198127639335\ 25884041825237297255951823709917/2741453481940872494455760544368693\ 72064842196212855487230712029*c_1001_8^5 - 267593618635248888576944180673501805615421225935645850201438131453/\ 274145348194087249445576054436869372064842196212855487230712029*c_1\ 001_8^4 - 210546374197497323057647364562540318743216425588134524659\ 67711422/2741453481940872494455760544368693720648421962128554872307\ 12029*c_1001_8^3 - 224021798361618893925943751640568621946400510047\ 50049107533501904/2741453481940872494455760544368693720648421962128\ 55487230712029*c_1001_8^2 + 315796594281471691288615276841831559458\ 1501823803187346843880/17461487146120206971055799645660469558270203\ 58043665523762497*c_1001_8 - 13661104760979030619672885423907073710\ 31968120327508284404613094/2741453481940872494455760544368693720648\ 42196212855487230712029, c_0011_3 - 220061663043686466562517517977537546154279953911582773004476\ 375/274145348194087249445576054436869372064842196212855487230712029\ *c_1001_8^23 - 4483268862184947705642694185441961783627766395806353\ 177704973066/274145348194087249445576054436869372064842196212855487\ 230712029*c_1001_8^22 - 4433988673392266146527064960914560368535762\ 0030008157685714214288/27414534819408724944557605443686937206484219\ 6212855487230712029*c_1001_8^21 - 327226300136261377936679751678455\ 193080230987881719836088675485055/274145348194087249445576054436869\ 372064842196212855487230712029*c_1001_8^20 - 1546696494533756154263391657419422623254074375882311572726619179003\ /274145348194087249445576054436869372064842196212855487230712029*c_\ 1001_8^19 - 5864968372859406843196887278759989055013800312205794595\ 506752628562/274145348194087249445576054436869372064842196212855487\ 230712029*c_1001_8^18 - 1871720863678729627510452393086527078089660\ 6404638620235300801514829/27414534819408724944557605443686937206484\ 2196212855487230712029*c_1001_8^17 - 4584363057988522872883077009441741341483585011428724322700108090862\ 0/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^16 - 807439559866021072829477464915552658560220994267137965\ 17106718432829/2741453481940872494455760544368693720648421962128554\ 87230712029*c_1001_8^15 - 96113106680988827991814327400577406525542\ 287587446347504180199543111/274145348194087249445576054436869372064\ 842196212855487230712029*c_1001_8^14 - 7995616397227781003035539848445214563543791865754860866504447703206\ 8/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^13 - 438928839461789176322350062140725150564829003452055246\ 60945880105600/2741453481940872494455760544368693720648421962128554\ 87230712029*c_1001_8^12 - 33266814789516547744754714123729507021636\ 351147697470262946115738539/274145348194087249445576054436869372064\ 842196212855487230712029*c_1001_8^11 - 2056319050186849296275027274029526832245688033325613522466443903931\ 2/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^10 - 132390931667673926824116146465009277436836589355203295\ 83464253672511/2741453481940872494455760544368693720648421962128554\ 87230712029*c_1001_8^9 - 301828627085304830406093092435633875233155\ 3344684061867194828977131/27414534819408724944557605443686937206484\ 2196212855487230712029*c_1001_8^8 - 3890623532471292180804943754728246751094458505035604523333448028834\ /274145348194087249445576054436869372064842196212855487230712029*c_\ 1001_8^7 - 53085168317973938664164614179711350179771364692748017377\ 3156944434/27414534819408724944557605443686937206484219621285548723\ 0712029*c_1001_8^6 - 6218303809071216291577106577849601566598424079\ 93615472839646809446/2741453481940872494455760544368693720648421962\ 12855487230712029*c_1001_8^5 - 134755973439015707748263815694865487\ 432700837961797237180959794834/274145348194087249445576054436869372\ 064842196212855487230712029*c_1001_8^4 - 63661864461873677295931444879920051303864129050793027018720008634/2\ 74145348194087249445576054436869372064842196212855487230712029*c_10\ 01_8^3 - 1679140625368851767688533585730154417874276590558259889630\ 4471755/27414534819408724944557605443686937206484219621285548723071\ 2029*c_1001_8^2 - 1961576064934957242808358805156163115916850185443\ 3420320286036/17461487146120206971055799645660469558270203580436655\ 23762497*c_1001_8 - 10406338443674300389391147305856178055410696725\ 05559397823001202/2741453481940872494455760544368693720648421962128\ 55487230712029, c_0011_5 + 399208411111262108721458992383459010513061988284975385848971\ 4/4091721614837123126053373946818945851714062630042619212398687*c_1\ 001_8^23 + 84974014703459402264849711152262252120487303494222886673\ 531820/409172161483712312605337394681894585171406263004261921239868\ 7*c_1001_8^22 + 877694051126878417935363938389870113143231116271927\ 716860085500/409172161483712312605337394681894585171406263004261921\ 2398687*c_1001_8^21 + 665175345118430908953239268473759940628459084\ 0583494332164106157/40917216148371231260533739468189458517140626300\ 42619212398687*c_1001_8^20 + 33290949464024769983757245200788692187\ 521148234715191195277751795/409172161483712312605337394681894585171\ 4062630042619212398687*c_1001_8^19 + 130625957896126481350409427711721620390380379516148603296891668554/\ 4091721614837123126053373946818945851714062630042619212398687*c_100\ 1_8^18 + 4300442431280315501655138338092208951617380861609054182441\ 68074193/4091721614837123126053373946818945851714062630042619212398\ 687*c_1001_8^17 + 1116240641625139801854491969048358063161105969971\ 127172576773934217/409172161483712312605337394681894585171406263004\ 2619212398687*c_1001_8^16 + 214231590682504400714575455147289484235\ 6269469113513552337690810946/40917216148371231260533739468189458517\ 14062630042619212398687*c_1001_8^15 + 2877512214643340237584925428576746287455818450064611467289078870076\ /4091721614837123126053373946818945851714062630042619212398687*c_10\ 01_8^14 + 267458900458742045348973869192432302378712666305621109636\ 9127261166/40917216148371231260533739468189458517140626300426192123\ 98687*c_1001_8^13 + 16640046886958144641298137851071931189047676878\ 06007027270974791127/4091721614837123126053373946818945851714062630\ 042619212398687*c_1001_8^12 + 9327695618364519405602863695850484137\ 26871825773657578743763095300/4091721614837123126053373946818945851\ 714062630042619212398687*c_1001_8^11 + 694139089202408837415374881539275578043345355325272749115481595494/\ 4091721614837123126053373946818945851714062630042619212398687*c_100\ 1_8^10 + 4265022656802610108268138140261553801817003743930562065687\ 07177955/4091721614837123126053373946818945851714062630042619212398\ 687*c_1001_8^9 + 17831276034620244876225201978432292503273365143079\ 4163261541012238/40917216148371231260533739468189458517140626300426\ 19212398687*c_1001_8^8 + 568072083064702002299079187274768194244133\ 31990228882009664021622/4091721614837123126053373946818945851714062\ 630042619212398687*c_1001_8^7 + 56519006833984189660900766899911870\ 051282295315388434408071970351/409172161483712312605337394681894585\ 1714062630042619212398687*c_1001_8^6 + 4869214736732062502294238311237054390903033476330802858888228541/40\ 91721614837123126053373946818945851714062630042619212398687*c_1001_\ 8^5 + 9956381612445419982759511102567195910117057416759482984263265\ 727/4091721614837123126053373946818945851714062630042619212398687*c\ _1001_8^4 + 5538586847004700122211084097446335020030045131261181117\ 05873885/4091721614837123126053373946818945851714062630042619212398\ 687*c_1001_8^3 + 98571433821751119867670036851148849407554073238445\ 5410567686748/40917216148371231260533739468189458517140626300426192\ 12398687*c_1001_8^2 - 361555345914996241159166985243213520211092857\ 49406722090216/2606192111361224921053104424725443217652269191109948\ 5429291*c_1001_8 + 474433913926757453454579193587822005114833576148\ 26014098515848/4091721614837123126053373946818945851714062630042619\ 212398687, c_0011_6 - 150350251200519106610524294508998056869131187022514175681262\ 55/274145348194087249445576054436869372064842196212855487230712029*\ c_1001_8^23 - 46737033519165448597076909896659881249444908880071598\ 5826535246/27414534819408724944557605443686937206484219621285548723\ 0712029*c_1001_8^22 - 627258356878961602898229546352064548107165326\ 3486796523140341914/27414534819408724944557605443686937206484219621\ 2855487230712029*c_1001_8^21 - 540280663654395125967502033411481692\ 05469660997055075089737633143/2741453481940872494455760544368693720\ 64842196212855487230712029*c_1001_8^20 - 337399184563092214869096176539161432898235762460306491479611671769/\ 274145348194087249445576054436869372064842196212855487230712029*c_1\ 001_8^19 - 14751497003076587313964563949637838540650411175792101833\ 89074924678/2741453481940872494455760544368693720648421962128554872\ 30712029*c_1001_8^18 - 52968358655558049905577596582845898678430352\ 70223137821681795215337/2741453481940872494455760544368693720648421\ 96212855487230712029*c_1001_8^17 - 1578400101341608226756818292208718002300716231691368301717979884254\ 6/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^16 - 357091216963022183297411138195688402149267290222888293\ 74790223795087/2741453481940872494455760544368693720648421962128554\ 87230712029*c_1001_8^15 - 57347002263887374147298810346727187806563\ 452612277183400048497298546/274145348194087249445576054436869372064\ 842196212855487230712029*c_1001_8^14 - 6090889644681664825016483692473637727630555180271430482284820393728\ 2/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^13 - 432945148618892595152382175917409242149498120188473684\ 85511097809074/2741453481940872494455760544368693720648421962128554\ 87230712029*c_1001_8^12 - 18779885888406384591291086861758588912550\ 268050159116306529703632847/274145348194087249445576054436869372064\ 842196212855487230712029*c_1001_8^11 - 1691603435454877304039599944140451992090805737006450900897474638425\ 3/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^10 - 981028316395747322037603707008464602781065519249503822\ 5072572918971/27414534819408724944557605443686937206484219621285548\ 7230712029*c_1001_8^9 - 6123790307807809059692308215750408792855294\ 268706407794237684887066/274145348194087249445576054436869372064842\ 196212855487230712029*c_1001_8^8 + 27385483756844218099010237336144312579963817156439381997991999805/2\ 74145348194087249445576054436869372064842196212855487230712029*c_10\ 01_8^7 - 2267061820532234070951421823985324685523897215318434505193\ 181819125/274145348194087249445576054436869372064842196212855487230\ 712029*c_1001_8^6 + 20520323836772939065943310584546631202622023158\ 1404249041940825931/27414534819408724944557605443686937206484219621\ 2855487230712029*c_1001_8^5 - 3740051223839221684793252805641015339\ 08928992780632995544397741551/2741453481940872494455760544368693720\ 64842196212855487230712029*c_1001_8^4 + 15059826321176876243411785709408053527082219869878112930031917968/2\ 74145348194087249445576054436869372064842196212855487230712029*c_10\ 01_8^3 - 3634860558974579687221096512629726954039048205027353632042\ 3170726/27414534819408724944557605443686937206484219621285548723071\ 2029*c_1001_8^2 + 1200185460300263692973330179230909355656035494168\ 0822807639035/17461487146120206971055799645660469558270203580436655\ 23762497*c_1001_8 - 17114660131055644224911547597118627475474488588\ 93829612259270527/2741453481940872494455760544368693720648421962128\ 55487230712029, c_0101_11 - 23115383056948146541355998603848188618831318141700658063551\ 6370/27414534819408724944557605443686937206484219621285548723071202\ 9*c_1001_8^23 - 481005793444121270096873462709124392084027637606288\ 2974412274137/27414534819408724944557605443686937206484219621285548\ 7230712029*c_1001_8^22 - 485796684817449788254926505318234662902503\ 42987291793843036927614/2741453481940872494455760544368693720648421\ 96212855487230712029*c_1001_8^21 - 363023177016106923263476674591168763990929097133402222563101095788/\ 274145348194087249445576054436869372064842196212855487230712029*c_1\ 001_8^20 - 17644608322023804898789679781497598634429496812898064313\ 67843188820/2741453481940872494455760544368693720648421962128554872\ 30712029*c_1001_8^19 - 67940458592264089477988458174485861539437987\ 42464022389031972946561/2741453481940872494455760544368693720648421\ 96212855487230712029*c_1001_8^18 - 2198659230195212271636430621596835570375188703910489126194220727890\ 2/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^17 - 553469749893520019296381273827662626733678961419532621\ 88813326296106/2741453481940872494455760544368693720648421962128554\ 87230712029*c_1001_8^16 - 10136544634847420958835706290338859379231\ 9496806035333976244656589635/27414534819408724944557605443686937206\ 4842196212855487230712029*c_1001_8^15 - 1268570106876262102515980248869153674396831917255242186306371656880\ 42/274145348194087249445576054436869372064842196212855487230712029*\ c_1001_8^14 - 10796136595114926550732085365528452552427528434598230\ 8614116511594217/27414534819408724944557605443686937206484219621285\ 5487230712029*c_1001_8^13 - 579651879871243295586217587893158841892\ 51186024275252661372818385891/2741453481940872494455760544368693720\ 64842196212855487230712029*c_1001_8^12 - 3392320103048103207936931727334337903283774592211899504035952580342\ 1/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^11 - 252656259372695507654937010660208872984387906647323371\ 13250286216674/2741453481940872494455760544368693720648421962128554\ 87230712029*c_1001_8^10 - 15951248406724885465950981142465466159546\ 105365492702187337085790777/274145348194087249445576054436869372064\ 842196212855487230712029*c_1001_8^9 - 4434561502236025339338280851784400923196380769125369902781639143215\ /274145348194087249445576054436869372064842196212855487230712029*c_\ 1001_8^8 - 22913140818466793002959636023824099521725872932064542111\ 98079364967/2741453481940872494455760544368693720648421962128554872\ 30712029*c_1001_8^7 - 154920239393453585722437456114390396090126887\ 8289604688899922729442/27414534819408724944557605443686937206484219\ 6212855487230712029*c_1001_8^6 - 2527669257931135840715279720709979\ 26672643261025458346383993244246/2741453481940872494455760544368693\ 72064842196212855487230712029*c_1001_8^5 - 269171536580298708807274566562450334501758160331299934331860208867/\ 274145348194087249445576054436869372064842196212855487230712029*c_1\ 001_8^4 - 181453241966266834416789652996590052675576738302495410200\ 21812040/2741453481940872494455760544368693720648421962128554872307\ 12029*c_1001_8^3 - 225656621529422972451404337856754856513024335331\ 05714527762348909/2741453481940872494455760544368693720648421962128\ 55487230712029*c_1001_8^2 + 600047398464588913077850142926426504716\ 6990065431393079603278/17461487146120206971055799645660469558270203\ 58043665523762497*c_1001_8 - 11752137914144419738620871917193597913\ 56472367215031229020887224/2741453481940872494455760544368693720648\ 42196212855487230712029, c_0101_3 - 211079097622202163557245942031282254791580816034657506571559\ 563/274145348194087249445576054436869372064842196212855487230712029\ *c_1001_8^23 - 3960314087914131218265583343464486338117157117826519\ 554785396253/274145348194087249445576054436869372064842196212855487\ 230712029*c_1001_8^22 - 3565955308804822187717147168447751313089944\ 1163435692672108443136/27414534819408724944557605443686937206484219\ 6212855487230712029*c_1001_8^21 - 246503960508341240777004126845898\ 059133746825628860620005544115675/274145348194087249445576054436869\ 372064842196212855487230712029*c_1001_8^20 - 989288668297629025758916023646294210723600239975599544500188179071/\ 274145348194087249445576054436869372064842196212855487230712029*c_1\ 001_8^19 - 33193198945879351958093955632560854828742086570141243881\ 41252760284/2741453481940872494455760544368693720648421962128554872\ 30712029*c_1001_8^18 - 92880047613799608857462358277009165127277953\ 65444668344235740933794/2741453481940872494455760544368693720648421\ 96212855487230712029*c_1001_8^17 - 1656381219095672768387787630454995695029133205576463754679550731685\ 3/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^16 - 114576102481091686401550196569856788857031772653407004\ 65219938878523/2741453481940872494455760544368693720648421962128554\ 87230712029*c_1001_8^15 + 20612859240164240594380170194197355236303\ 294928369305688765474017970/274145348194087249445576054436869372064\ 842196212855487230712029*c_1001_8^14 + 5042552039266613956580249012279945249414112474530830598549580001889\ 6/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^13 + 552169410135682483419081927529639575406080816365180006\ 27502515929246/2741453481940872494455760544368693720648421962128554\ 87230712029*c_1001_8^12 + 13104035094695977197768781286717140287904\ 544647824263979555596827101/274145348194087249445576054436869372064\ 842196212855487230712029*c_1001_8^11 + 1832182759796308301876730409904436464467605124269949010708178736392\ 8/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^10 + 952024780278055807978022510695048944960041390569439961\ 6009039267969/27414534819408724944557605443686937206484219621285548\ 7230712029*c_1001_8^9 + 1195924893313035218138582839423413263205065\ 5345474916665867034983222/27414534819408724944557605443686937206484\ 2196212855487230712029*c_1001_8^8 - 2907962064748566530018950199750334504783248966683006490316411335430\ /274145348194087249445576054436869372064842196212855487230712029*c_\ 1001_8^7 + 44825915787397230396453735096333014917533304394996577213\ 88789935191/2741453481940872494455760544368693720648421962128554872\ 30712029*c_1001_8^6 - 854664022536514524136222611159456412569362152\ 080764595007801470789/274145348194087249445576054436869372064842196\ 212855487230712029*c_1001_8^5 + 73566437666569064070409883723924093\ 4117938856270955100120233645115/27414534819408724944557605443686937\ 2064842196212855487230712029*c_1001_8^4 - 77264211856276458990447689411849463583942226884148670749765543264/2\ 74145348194087249445576054436869372064842196212855487230712029*c_10\ 01_8^3 + 7297339680109323676012841709650594460713500936498964839143\ 9318755/27414534819408724944557605443686937206484219621285548723071\ 2029*c_1001_8^2 - 3611474019293111158301660036273502867368253655444\ 4955080235296/17461487146120206971055799645660469558270203580436655\ 23762497*c_1001_8 + 33208860816519943216423911818389771180313247801\ 48480370802257820/2741453481940872494455760544368693720648421962128\ 55487230712029, c_0101_7 - 314402494080107626753934689804003678577659624517385012482502\ 529/274145348194087249445576054436869372064842196212855487230712029\ *c_1001_8^23 - 6482932319808148230656565412000778465499385045855047\ 498609460478/274145348194087249445576054436869372064842196212855487\ 230712029*c_1001_8^22 - 6488924026372911763946450677778296691536394\ 2785689826707212370680/27414534819408724944557605443686937206484219\ 6212855487230712029*c_1001_8^21 - 482295883210731454386115587300206\ 908208381248657330069320699003762/274145348194087249445576054436869\ 372064842196212855487230712029*c_1001_8^20 - 2316589009201447504965283551220071082596545052145963384490560716561\ /274145348194087249445576054436869372064842196212855487230712029*c_\ 1001_8^19 - 8860518936715273001215282304978826402422180097085316248\ 684408175914/274145348194087249445576054436869372064842196212855487\ 230712029*c_1001_8^18 - 2849880541726154820737639759600432369023886\ 4641438907900573000767487/27414534819408724944557605443686937206484\ 2196212855487230712029*c_1001_8^17 - 7090215470096804768572939973177647376087722550528915499038925502944\ 1/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^16 - 127660417150105185551677063911121744560047258452276732\ 428937034031374/274145348194087249445576054436869372064842196212855\ 487230712029*c_1001_8^15 - 1560915763188848705893138523091785858638\ 01105196296865909524251594788/2741453481940872494455760544368693720\ 64842196212855487230712029*c_1001_8^14 - 1304224528796760504270599231367215951373175260388480445039635545513\ 47/274145348194087249445576054436869372064842196212855487230712029*\ c_1001_8^13 - 68769211239743204167353050391630041233234305278769060\ 041526390205228/274145348194087249445576054436869372064842196212855\ 487230712029*c_1001_8^12 - 4392829808692278783952925339777803935481\ 3541430826853705623906754954/27414534819408724944557605443686937206\ 4842196212855487230712029*c_1001_8^11 - 3055979248823144208887353313222481630451775563523115034825506876076\ 0/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^10 - 197071699738838345205580722991665491765679867568156684\ 43802473893091/2741453481940872494455760544368693720648421962128554\ 87230712029*c_1001_8^9 - 467341048413919462591290018373749922036234\ 4425754761894140158068851/27414534819408724944557605443686937206484\ 2196212855487230712029*c_1001_8^8 - 3789325997262151038094948426500735686552282564574245974790275637663\ /274145348194087249445576054436869372064842196212855487230712029*c_\ 1001_8^7 - 13736161483540293756511831942803618600196330870449542577\ 76499366718/2741453481940872494455760544368693720648421962128554872\ 30712029*c_1001_8^6 - 564541348828952568833533556088635137940500735\ 652737722049779552744/274145348194087249445576054436869372064842196\ 212855487230712029*c_1001_8^5 - 24266336046495382170433034388310720\ 4507868465389900431836089394368/27414534819408724944557605443686937\ 2064842196212855487230712029*c_1001_8^4 - 55361283447528654395963191365443631634656181919371806130295284720/2\ 74145348194087249445576054436869372064842196212855487230712029*c_10\ 01_8^3 - 2039680690191715026746334801257368292231626923254654163104\ 2092592/27414534819408724944557605443686937206484219621285548723071\ 2029*c_1001_8^2 - 1098661036300303846811755784722692912210305157187\ 5621331662215/17461487146120206971055799645660469558270203580436655\ 23762497*c_1001_8 - 13717415634500575280500618201756084782443546918\ 49524233523154233/2741453481940872494455760544368693720648421962128\ 55487230712029, c_0101_8 + 554757628122234205231358324471838301338731999798351490758177\ 417/274145348194087249445576054436869372064842196212855487230712029\ *c_1001_8^23 + 1122130371294018014056187647635355036591597658082207\ 8250762202581/27414534819408724944557605443686937206484219621285548\ 7230712029*c_1001_8^22 + 110088202282157860871481295470619402119333\ 933834487111563606647065/274145348194087249445576054436869372064842\ 196212855487230712029*c_1001_8^21 + 807717847978704341902011445137140726108702219441950766507188899413/\ 274145348194087249445576054436869372064842196212855487230712029*c_1\ 001_8^20 + 37697841047538858703829577847242617400833095304275836795\ 48546304270/2741453481940872494455760544368693720648421962128554872\ 30712029*c_1001_8^19 + 14148772930902948176098952597369191297946109\ 842661496059429190060576/274145348194087249445576054436869372064842\ 196212855487230712029*c_1001_8^18 + 4470404985825081306186890770164981168378362486830257664295027222084\ 7/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^17 + 107450719753707677996851369505061945888429283701249625\ 117478892579461/274145348194087249445576054436869372064842196212855\ 487230712029*c_1001_8^16 + 1827285516316843550468013174223992346022\ 31261927920808059424614144832/2741453481940872494455760544368693720\ 64842196212855487230712029*c_1001_8^15 + 2028178590987084482323230061811528520223263254886736835458286536862\ 94/274145348194087249445576054436869372064842196212855487230712029*\ c_1001_8^14 + 14891715398465204479239418954250169048491001242816462\ 2699038186933441/27414534819408724944557605443686937206484219621285\ 5487230712029*c_1001_8^13 + 608996722779607215818074167440530748028\ 53432202012272943624359152575/2741453481940872494455760544368693720\ 64842196212855487230712029*c_1001_8^12 + 5190339792153051928924209420775251490987619764206342062982964275007\ 0/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^11 + 326154637869117768009221746894925432576441535362447697\ 08907868547521/2741453481940872494455760544368693720648421962128554\ 87230712029*c_1001_8^10 + 21379295711505421146015098736961499671664\ 334472766734039390607214941/274145348194087249445576054436869372064\ 842196212855487230712029*c_1001_8^9 - 542228193288365545189543450961086340456512933368231465212328593618/\ 274145348194087249445576054436869372064842196212855487230712029*c_1\ 001_8^8 + 664036927589869366585356635148738917810496211728716834096\ 8255716053/27414534819408724944557605443686937206484219621285548723\ 0712029*c_1001_8^7 - 2498799017934997023138645794816643900045350468\ 13696785489078806960/2741453481940872494455760544368693720648421962\ 12855487230712029*c_1001_8^6 + 104348772402783305850506739781749273\ 4063216450569806324855721538074/27414534819408724944557605443686937\ 2064842196212855487230712029*c_1001_8^5 + 2295837824701208752950567141641142949065970696930864412309341810/27\ 4145348194087249445576054436869372064842196212855487230712029*c_100\ 1_8^4 + 88893032662505124729343815314586397456705249784891462103801\ 243588/274145348194087249445576054436869372064842196212855487230712\ 029*c_1001_8^3 - 16948682469186653922539512774803662136821911194793\ 56671888260223/2741453481940872494455760544368693720648421962128554\ 87230712029*c_1001_8^2 + 247692856718400046136356831708195307166113\ 38595637431224721767/1746148714612020697105579964566046955827020358\ 043665523762497*c_1001_8 + 2927259521195268750369388482491995674689\ 96249642033550350553457/2741453481940872494455760544368693720648421\ 96212855487230712029, c_0101_9 + 240316396740737320266683907767148800986588985987852352746711\ 439/274145348194087249445576054436869372064842196212855487230712029\ *c_1001_8^23 + 4993976284587028320138322790547615750865066645041496\ 696483596666/274145348194087249445576054436869372064842196212855487\ 230712029*c_1001_8^22 + 5037004920822145309012190206378103697541652\ 8785869981749510151300/27414534819408724944557605443686937206484219\ 6212855487230712029*c_1001_8^21 + 376098179005158202125802386208933\ 555420982336597519753165141823486/274145348194087249445576054436869\ 372064842196212855487230712029*c_1001_8^20 + 1824811893230112103164428058624923553524253217915330480137588917473\ /274145348194087249445576054436869372064842196212855487230712029*c_\ 1001_8^19 + 7019198506337243181440271135215279248294659974536284895\ 947574475100/274145348194087249445576054436869372064842196212855487\ 230712029*c_1001_8^18 + 2269379327381198050355920945809224246978774\ 1220424569435627923174616/27414534819408724944557605443686937206484\ 2196212855487230712029*c_1001_8^17 + 5702586846684536607008540458323707143298008793300224210629870767931\ 0/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^16 + 104165986643747570077751103838976324943457426376759512\ 842521533880093/274145348194087249445576054436869372064842196212855\ 487230712029*c_1001_8^15 + 1298720298638047005373669432676812970246\ 83758040374846099362519722393/2741453481940872494455760544368693720\ 64842196212855487230712029*c_1001_8^14 + 1101112927650188340098627418142904397686414275216998005110350859713\ 63/274145348194087249445576054436869372064842196212855487230712029*\ c_1001_8^13 + 58785724177069755919051894476475854354210932484161487\ 008214100250673/274145348194087249445576054436869372064842196212855\ 487230712029*c_1001_8^12 + 3471768553451399369165424430594683164995\ 9857194528207669059154423681/27414534819408724944557605443686937206\ 4842196212855487230712029*c_1001_8^11 + 2565053261335405285379168916994347844484182576800187351989256142696\ 2/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^10 + 162271811458149882187118266533327236697327292099858403\ 84316727812559/2741453481940872494455760544368693720648421962128554\ 87230712029*c_1001_8^9 + 437399327008366503087762335613846902592947\ 9835407280370019727404843/27414534819408724944557605443686937206484\ 2196212855487230712029*c_1001_8^8 + 2405017585779396118805113496158995676221491319142821085849880006387\ /274145348194087249445576054436869372064842196212855487230712029*c_\ 1001_8^7 + 15095073781598728537930881980016734592859980846770209011\ 87167217185/2741453481940872494455760544368693720648421962128554872\ 30712029*c_1001_8^6 + 273496346044822337854261987333415888327217510\ 867258616291745187571/274145348194087249445576054436869372064842196\ 212855487230712029*c_1001_8^5 + 26226482715474198738061085474178991\ 3748077923227204494573979524568/27414534819408724944557605443686937\ 2064842196212855487230712029*c_1001_8^4 + 19763154068648094343962835201335349527394665570623578190435428079/2\ 74145348194087249445576054436869372064842196212855487230712029*c_10\ 01_8^3 + 2162763671819862828914146707862601570966793193712824614619\ 3535721/27414534819408724944557605443686937206484219621285548723071\ 2029*c_1001_8^2 + 7812041332302809949451328744418605278610383360415\ 82667537529/1746148714612020697105579964566046955827020358043665523\ 762497*c_1001_8 + 1086538525965654848562193868358618451868221238641\ 987509001710405/274145348194087249445576054436869372064842196212855\ 487230712029, c_0110_10 - 56265874327664650811169503407093699821091180758294737801564\ 0578/27414534819408724944557605443686937206484219621285548723071202\ 9*c_1001_8^23 - 113806347738628436545010401918018232674963664177466\ 95336622330801/2741453481940872494455760544368693720648421962128554\ 87230712029*c_1001_8^22 - 11164729827275699985883037705520973189825\ 0214814479855689566126213/27414534819408724944557605443686937206484\ 2196212855487230712029*c_1001_8^21 - 819145955476254439082593317250387903693492442361149804783731324449/\ 274145348194087249445576054436869372064842196212855487230712029*c_1\ 001_8^20 - 38229715039017668379437724363891229614177365051093255434\ 13468264367/2741453481940872494455760544368693720648421962128554872\ 30712029*c_1001_8^19 - 14348489638192123731154451314976938332926114\ 704023117346398564070668/274145348194087249445576054436869372064842\ 196212855487230712029*c_1001_8^18 - 4533540815964392812679388765602246209323959606991982872418068620257\ 0/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^17 - 108968474083334500186596987805766611109108252833968491\ 277984626504189/274145348194087249445576054436869372064842196212855\ 487230712029*c_1001_8^16 - 1853210474796373249707570283985825138079\ 86633213279345794320719586808/2741453481940872494455760544368693720\ 64842196212855487230712029*c_1001_8^15 - 2057493923082869100847395527821248677933746170552923419733956726451\ 37/274145348194087249445576054436869372064842196212855487230712029*\ c_1001_8^14 - 15120733642003918188084536019071593382123467094678272\ 7854200484271848/27414534819408724944557605443686937206484219621285\ 5487230712029*c_1001_8^13 - 620238851597523890763375198454856358345\ 26138507214860877884103648147/2741453481940872494455760544368693720\ 64842196212855487230712029*c_1001_8^12 - 5287387863574101967108688528448653858462967639725787924999750515417\ 3/274145348194087249445576054436869372064842196212855487230712029*c\ _1001_8^11 - 331483300975933233930753188152076845605200980364934845\ 97985340517991/2741453481940872494455760544368693720648421962128554\ 87230712029*c_1001_8^10 - 21746930375859529104183277735639860181656\ 617076872411464816413728550/274145348194087249445576054436869372064\ 842196212855487230712029*c_1001_8^9 + 510474988285552387078578284264895935430376564327405021741099539389/\ 274145348194087249445576054436869372064842196212855487230712029*c_1\ 001_8^8 - 677388531793314212133718625970522949236496966927422302729\ 2691961696/27414534819408724944557605443686937206484219621285548723\ 0712029*c_1001_8^7 + 2612767905059114758751935954817827767921204643\ 02086482253292767700/2741453481940872494455760544368693720648421962\ 12855487230712029*c_1001_8^6 - 106942620592418265304655923851042833\ 3274615014781645234423552003745/27414534819408724944557605443686937\ 2064842196212855487230712029*c_1001_8^5 - 717919879651388522620181252692614062729036301276780281887264396/274\ 145348194087249445576054436869372064842196212855487230712029*c_1001\ _8^4 - 918023458856281735934295864711814240634692185134553735497471\ 42970/2741453481940872494455760544368693720648421962128554872307120\ 29*c_1001_8^3 + 185835056369907324480000989909898967034457364783502\ 2092117107228/27414534819408724944557605443686937206484219621285548\ 7230712029*c_1001_8^2 - 2935794242828319752863361179623152712502384\ 7195309302481243662/17461487146120206971055799645660469558270203580\ 43665523762497*c_1001_8 - 20947728860890071369656414448367777507964\ 9806541655118503567298/27414534819408724944557605443686937206484219\ 6212855487230712029, c_1001_8^24 + 20*c_1001_8^23 + 194*c_1001_8^22 + 1414*c_1001_8^21 + 6495*c_1001_8^20 + 24184*c_1001_8^19 + 75827*c_1001_8^18 + 179268*c_1001_8^17 + 297629*c_1001_8^16 + 320030*c_1001_8^15 + 234593*c_1001_8^14 + 102270*c_1001_8^13 + 106679*c_1001_8^12 + 51937*c_1001_8^11 + 38716*c_1001_8^10 - 1547*c_1001_8^9 + 17613*c_1001_8^8 - 3713*c_1001_8^7 + 3882*c_1001_8^6 - 630*c_1001_8^5 + 466*c_1001_8^4 - 61*c_1001_8^3 + 34*c_1001_8^2 - 3*c_1001_8 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 23.210 Total time: 23.420 seconds, Total memory usage: 146.53MB