Magma V2.19-8 Tue Aug 20 2013 23:38:30 on localhost [Seed = 2581593511] Type ? for help. Type -D to quit. Loading file "K11n48__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n48 geometric_solution 9.99603963 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 11 1 2 1 3 0132 0132 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 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.472571592517 0.558213525424 0 0 5 4 0132 1230 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.894275266271 0.946472624535 6 0 7 6 0132 0132 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 1 0 -1 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.602451696772 0.826944061570 8 4 0 7 0132 3012 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 1 -1 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.553740897540 0.406942495601 3 7 1 9 1230 3120 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -1 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.377093782069 1.598452598352 8 6 10 1 3120 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531823831245 0.456483844468 2 2 9 5 0132 1302 3201 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.424474014747 0.789984986902 10 4 3 2 0321 3120 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523360580729 1.616711737298 3 9 10 5 0132 0321 0321 3120 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 -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.984478342664 0.713786259277 6 10 4 8 2310 3120 0132 0321 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.252585476038 0.835536337792 7 9 8 5 0321 3120 0321 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 1.080724487366 0.725852943276 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_10']), 'c_1001_10' : d['c_0011_7'], 'c_1001_5' : negation(d['c_0011_9']), 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0011_4']), 'c_1001_9' : negation(d['c_0011_7']), 'c_1001_8' : d['c_1001_8'], 'c_1010_10' : negation(d['c_0011_9']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_8'], 'c_1100_8' : d['c_0011_7'], 'c_1100_5' : d['c_1001_8'], 'c_1100_4' : d['c_1001_8'], 'c_1100_7' : negation(d['c_1001_1']), 'c_1100_6' : negation(d['c_0011_9']), 'c_1100_1' : d['c_1001_8'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_1001_1']), 'c_1100_10' : d['c_1001_8'], 'c_1010_7' : negation(d['c_0011_4']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_7']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : negation(d['c_0011_4']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : negation(d['c_0011_10']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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_10' : negation(d['c_0011_7']), 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0011_7']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_3'], 'c_0101_8' : negation(d['c_0101_10']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_3'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_10']), 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_1001_1, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 18078202878731768422922033495081062084551/7772597312711804318099655\ 38950007845280*c_1001_8^19 - 13393134596171296436053389101427889797\ 811/388629865635590215904982769475003922640*c_1001_8^18 - 107199986334562358397494115049660224749641/777259731271180431809965\ 538950007845280*c_1001_8^17 + 8602446218427503091072077218981528314\ 649/8448475339904135128369190640760954840*c_1001_8^16 - 1249974604789803787908405463246090905731677/38862986563559021590498\ 2769475003922640*c_1001_8^15 + 895801246741251491491711745094260024\ 7319561/777259731271180431809965538950007845280*c_1001_8^14 - 22261552218338571815442299417295368736762337/7772597312711804318099\ 65538950007845280*c_1001_8^13 + 43756690041896858014749191520446761\ 091263199/777259731271180431809965538950007845280*c_1001_8^12 - 15531670809893363806141228858992469907901/1543713468264509298530219\ 54111223008*c_1001_8^11 + 11142755908059773971009763500426409563706\ 3613/777259731271180431809965538950007845280*c_1001_8^10 - 66467966257403869967877791579817600410108769/3886298656355902159049\ 82769475003922640*c_1001_8^9 + 334125140315922024150003178423773308\ 64353361/194314932817795107952491384737501961320*c_1001_8^8 - 22398874042570045775062290258066603625482995/1554519462542360863619\ 93107790001569056*c_1001_8^7 + 908597365995529721544188342954883522\ 899649/9478777210624151607438604133536681040*c_1001_8^6 - 40763245711748917933292955196379360193022913/7772597312711804318099\ 65538950007845280*c_1001_8^5 + 228303383343544669803706286325334825\ 542253/10227101727252374102762704459868524280*c_1001_8^4 - 191866854340784882403977010974221892853237/388629865635590215904982\ 76947500392264*c_1001_8^3 - 356943172602729017182415461639019594124\ 43/194314932817795107952491384737501961320*c_1001_8^2 + 148251871638651936106353261621395461511451/485787332044487769881228\ 46184375490330*c_1001_8 - 85036590390453218912064609475328100915839\ /48578733204448776988122846184375490330, c_0011_0 - 1, c_0011_10 + 4557838930381889169445256641/238633210840736761982603059696\ *c_1001_8^19 + 3428433068929847407035391715/59658302710184190495650\ 764924*c_1001_8^18 + 43265491935602593924160167503/2386332108407367\ 61982603059696*c_1001_8^17 - 72554500109233175597509704963/11931660\ 5420368380991301529848*c_1001_8^16 + 185664005427529878739343401801/119316605420368380991301529848*c_100\ 1_8^15 - 1519320169331667731772493297499/23863321084073676198260305\ 9696*c_1001_8^14 + 2824832317223216931366776805137/2386332108407367\ 61982603059696*c_1001_8^13 - 4944060627443391470504031989119/238633\ 210840736761982603059696*c_1001_8^12 + 8422886230023689543522456705283/238633210840736761982603059696*c_10\ 01_8^11 - 8550544627915729608419929049869/2386332108407367619826030\ 59696*c_1001_8^10 + 2277700284687788865165692354571/596583027101841\ 90495650764924*c_1001_8^9 - 1606724727095375469023340282727/5965830\ 2710184190495650764924*c_1001_8^8 + 4278887971554051754374100261585/238633210840736761982603059696*c_10\ 01_8^7 - 156242837317252277283247289387/596583027101841904956507649\ 24*c_1001_8^6 + 659848844034573284648633656023/23863321084073676198\ 2603059696*c_1001_8^5 + 587255434744503506086470525133/119316605420\ 368380991301529848*c_1001_8^4 - 75961186336265545977094033699/29829\ 151355092095247825382462*c_1001_8^3 + 192817666952833836459045551501/59658302710184190495650764924*c_1001\ _8^2 - 42587681024763609094611525595/29829151355092095247825382462*\ c_1001_8 - 10757292507123675964698148611/14914575677546047623912691\ 231, c_0011_3 + 10490235625048113781176419845/238633210840736761982603059696\ *c_1001_8^19 + 6919742598671940553481880447/59658302710184190495650\ 764924*c_1001_8^18 + 91178093396100187092408772395/2386332108407367\ 61982603059696*c_1001_8^17 - 180346795551829768451065426931/1193166\ 05420368380991301529848*c_1001_8^16 + 504573196561067837585783096061/119316605420368380991301529848*c_100\ 1_8^15 - 3918320487624464541171584612815/23863321084073676198260305\ 9696*c_1001_8^14 + 8047434285480515680613356894037/2386332108407367\ 61982603059696*c_1001_8^13 - 14814710308288309057134607125899/23863\ 3210840736761982603059696*c_1001_8^12 + 25442436028679628448700824146343/238633210840736761982603059696*c_1\ 001_8^11 - 29878348266160864470848096199017/23863321084073676198260\ 3059696*c_1001_8^10 + 8322023804820371025036929025645/5965830271018\ 4190495650764924*c_1001_8^9 - 6803349771706380231901347928825/59658\ 302710184190495650764924*c_1001_8^8 + 19968856878578954903265664821597/238633210840736761982603059696*c_1\ 001_8^7 - 2091735690976123276834787704555/5965830271018419049565076\ 4924*c_1001_8^6 + 5502782723398268628757437296355/23863321084073676\ 1982603059696*c_1001_8^5 - 52935806626996070239087138187/1193166054\ 20368380991301529848*c_1001_8^4 + 121901648922808878334231609949/29\ 829151355092095247825382462*c_1001_8^3 - 837897383462440632273615289/59658302710184190495650764924*c_1001_8^\ 2 - 67255738135337383359556371109/29829151355092095247825382462*c_1\ 001_8 - 16981460295449281549011613595/14914575677546047623912691231\ , c_0011_4 + 297793036359707458858623140647/45340310059739984776694581342\ 24*c_1001_8^19 + 46900575316740328511753344517/28337693787337490485\ 4341133389*c_1001_8^18 + 2484003576137342099229179393533/4534031005\ 973998477669458134224*c_1001_8^17 - 5299837261879801855340258034579/2267015502986999238834729067112*c_1\ 001_8^16 + 14854235919281384604289503685505/22670155029869992388347\ 29067112*c_1001_8^15 - 114431761490122201821163290321869/4534031005\ 973998477669458134224*c_1001_8^14 + 241480641737339028437338514855163/4534031005973998477669458134224*c\ _1001_8^13 - 445986204477360744189916536122073/45340310059739984776\ 69458134224*c_1001_8^12 + 40673568937914867020955080391863/23863321\ 0840736761982603059696*c_1001_8^11 - 938178959439458024590113430663363/4534031005973998477669458134224*c\ _1001_8^10 + 263578626356885576509792989062593/11335077514934996194\ 17364533556*c_1001_8^9 - 114126076473089618103502015078379/56675387\ 5746749809708682266778*c_1001_8^8 + 696542489650449576199751360195255/4534031005973998477669458134224*c\ _1001_8^7 - 43856409558337554023068812536549/5667538757467498097086\ 82266778*c_1001_8^6 + 220199112678855877370781920723029/45340310059\ 73998477669458134224*c_1001_8^5 - 1396881494495930524900304305521/1\ 19316605420368380991301529848*c_1001_8^4 + 6670750310904728490846399500871/1133507751493499619417364533556*c_1\ 001_8^3 + 449818594487039614989837490337/11335077514934996194173645\ 33556*c_1001_8^2 - 2149278979196568352667965494983/5667538757467498\ 09708682266778*c_1001_8 - 333727690301337449100839214563/2833769378\ 73374904854341133389, c_0011_7 + 41818781186262672749078035339/453403100597399847766945813422\ 4*c_1001_8^19 + 7014005762975430130861417357/2833769378733749048543\ 41133389*c_1001_8^18 + 352618782417428575315700957197/4534031005973\ 998477669458134224*c_1001_8^17 - 743876767398257793194093661343/226\ 7015502986999238834729067112*c_1001_8^16 + 1882654612133608822986594081963/2267015502986999238834729067112*c_1\ 001_8^15 - 15054279367135281720340615766033/45340310059739984776694\ 58134224*c_1001_8^14 + 30848002729543547876144839145415/45340310059\ 73998477669458134224*c_1001_8^13 - 54163848683895150991967902401873/4534031005973998477669458134224*c_\ 1001_8^12 + 5029440446141740684210840511255/23863321084073676198260\ 3059696*c_1001_8^11 - 111715834442254133492017294011267/45340310059\ 73998477669458134224*c_1001_8^10 + 7519692078194351967070026674700/283376937873374904854341133389*c_10\ 01_8^9 - 27034042202783796063581441138155/1133507751493499619417364\ 533556*c_1001_8^8 + 80355423015731209327898684048699/45340310059739\ 98477669458134224*c_1001_8^7 - 3935426450912271137122078567013/5667\ 53875746749809708682266778*c_1001_8^6 + 14550909574844048442313477335381/4534031005973998477669458134224*c_\ 1001_8^5 + 177417371863940771036457458603/1193166054203683809913015\ 29848*c_1001_8^4 - 1960113153388974703264460861925/5667538757467498\ 09708682266778*c_1001_8^3 + 2228587397187373628060300837199/1133507\ 751493499619417364533556*c_1001_8^2 - 362086705204477479073621961505/566753875746749809708682266778*c_100\ 1_8 - 82211915481776018606221188949/283376937873374904854341133389, c_0011_9 + 190562943826093507730551868967/45340310059739984776694581342\ 24*c_1001_8^19 + 63668437165779284430180320837/56675387574674980970\ 8682266778*c_1001_8^18 + 1658677191924178014117879812513/4534031005\ 973998477669458134224*c_1001_8^17 - 3279175256250834908755010710099/2267015502986999238834729067112*c_1\ 001_8^16 + 8967632741190164417109025624823/226701550298699923883472\ 9067112*c_1001_8^15 - 70154302999277615304142469571773/453403100597\ 3998477669458134224*c_1001_8^14 + 143382960022195566011030820150027\ /4534031005973998477669458134224*c_1001_8^13 - 261244927669819542176052741420861/4534031005973998477669458134224*c\ _1001_8^12 + 23726710832596326088954180362963/238633210840736761982\ 603059696*c_1001_8^11 - 527823986528618179770709812456127/453403100\ 5973998477669458134224*c_1001_8^10 + 36558283865667048490936675119299/283376937873374904854341133389*c_1\ 001_8^9 - 121703713926039809770838882054237/11335077514934996194173\ 64533556*c_1001_8^8 + 363633504574438934608827168201935/45340310059\ 73998477669458134224*c_1001_8^7 - 9181634800660146620796247775553/2\ 83376937873374904854341133389*c_1001_8^6 + 89976017496044222500762074269449/4534031005973998477669458134224*c_\ 1001_8^5 + 349643243701357969943432522063/1193166054203683809913015\ 29848*c_1001_8^4 - 1198891570382489818155855990153/5667538757467498\ 09708682266778*c_1001_8^3 + 4588432604603589398165862820161/1133507\ 751493499619417364533556*c_1001_8^2 - 1685567383647173636449474515827/566753875746749809708682266778*c_10\ 01_8 - 447056945938224812766947779335/28337693787337490485434113338\ 9, c_0101_0 + 54794718750908916775031223209/226701550298699923883472906711\ 2*c_1001_8^19 + 126833107375888416415713055169/22670155029869992388\ 34729067112*c_1001_8^18 + 430414765516792570244047561635/2267015502\ 986999238834729067112*c_1001_8^17 - 2043184987426921299399608629795/2267015502986999238834729067112*c_1\ 001_8^16 + 1468945048149240515198614118655/566753875746749809708682\ 266778*c_1001_8^15 - 22250380279542482106643786187457/2267015502986\ 999238834729067112*c_1001_8^14 + 24542425872258216634080243950921/1\ 133507751493499619417364533556*c_1001_8^13 - 46107634117118376175623830232045/1133507751493499619417364533556*c_\ 1001_8^12 + 1064442980036108557324724842026/14914575677546047623912\ 691231*c_1001_8^11 - 103889573387781223418475932322511/113350775149\ 3499619417364533556*c_1001_8^10 + 239500485937325444222242821017667\ /2267015502986999238834729067112*c_1001_8^9 - 27893049784635903346206526074784/283376937873374904854341133389*c_1\ 001_8^8 + 181838704165071175078825746358253/22670155029869992388347\ 29067112*c_1001_8^7 - 108907589405792238723021543535111/22670155029\ 86999238834729067112*c_1001_8^6 + 70810168958133596165136329868227/\ 2267015502986999238834729067112*c_1001_8^5 - 1543081914696234039979332072881/119316605420368380991301529848*c_10\ 01_8^4 + 7705968457802410391797373534673/11335077514934996194173645\ 33556*c_1001_8^3 - 720433663779880726153971445437/56675387574674980\ 9708682266778*c_1001_8^2 - 367636131808766694044919691575/566753875\ 746749809708682266778*c_1001_8 + 35994049641836359786094033419/2833\ 76937873374904854341133389, c_0101_1 + 127213073173594387660802382577/45340310059739984776694581342\ 24*c_1001_8^19 + 145850088577761801236140017175/2267015502986999238\ 834729067112*c_1001_8^18 + 993187734111715822445975261867/453403100\ 5973998477669458134224*c_1001_8^17 - 591655847772255331545741392179/566753875746749809708682266778*c_100\ 1_8^16 + 6914785886530947577087811065241/22670155029869992388347290\ 67112*c_1001_8^15 - 51716332648278953633470574461679/45340310059739\ 98477669458134224*c_1001_8^14 + 113946057008491228212648543677043/4\ 534031005973998477669458134224*c_1001_8^13 - 213987184550081209783334185301049/4534031005973998477669458134224*c\ _1001_8^12 + 19449722669323292145939944946211/238633210840736761982\ 603059696*c_1001_8^11 - 468430166183367383879743255624787/453403100\ 5973998477669458134224*c_1001_8^10 + 264928193053353705880467816913487/2267015502986999238834729067112*c\ _1001_8^9 - 58041107147638741610826145452713/5667538757467498097086\ 82266778*c_1001_8^8 + 359323700058544872395985004387017/45340310059\ 73998477669458134224*c_1001_8^7 - 94456179771090045345606645178973/\ 2267015502986999238834729067112*c_1001_8^6 + 102763026055108702072000236147619/4534031005973998477669458134224*c\ _1001_8^5 - 183915331350043372544733276705/298291513550920952478253\ 82462*c_1001_8^4 + 2611235543841863243629354875387/5667538757467498\ 09708682266778*c_1001_8^3 + 233326643019960071935370788139/11335077\ 51493499619417364533556*c_1001_8^2 - 374919888263787106479349879406/283376937873374904854341133389*c_100\ 1_8 - 225112590882582339010333833928/283376937873374904854341133389\ , c_0101_10 - 72449420016779300908439772173/45340310059739984776694581342\ 24*c_1001_8^19 - 42779095115357866058098793939/11335077514934996194\ 17364533556*c_1001_8^18 - 583096596213237000650664322023/4534031005\ 973998477669458134224*c_1001_8^17 + 1310976548299164150572096659935/2267015502986999238834729067112*c_1\ 001_8^16 - 3893402837161793361021428073019/226701550298699923883472\ 9067112*c_1001_8^15 + 28996013806930201000557685630279/453403100597\ 3998477669458134224*c_1001_8^14 - 62675548439827397109204773406085/\ 4534031005973998477669458134224*c_1001_8^13 + 117854985786736316507583681488479/4534031005973998477669458134224*c\ _1001_8^12 - 10529883932893954596485964946921/238633210840736761982\ 603059696*c_1001_8^11 + 246609084465554849915949209445829/453403100\ 5973998477669458134224*c_1001_8^10 - 34542629172976478725436646388579/566753875746749809708682266778*c_1\ 001_8^9 + 14096745346036714073686233865689/283376937873374904854341\ 133389*c_1001_8^8 - 168102868840583566355693213949885/4534031005973\ 998477669458134224*c_1001_8^7 + 20800923105700874100985755401699/11\ 33507751493499619417364533556*c_1001_8^6 - 46226344229966430265401676578303/4534031005973998477669458134224*c_\ 1001_8^5 + 267064541825666027803442130069/1193166054203683809913015\ 29848*c_1001_8^4 - 4693692574533702618972868432137/1133507751493499\ 619417364533556*c_1001_8^3 + 64038642034559762164310446553/11335077\ 51493499619417364533556*c_1001_8^2 + 985080062815250901398886490893/566753875746749809708682266778*c_100\ 1_8 + 87775473939615087160537213366/283376937873374904854341133389, c_1001_1 + 35577702476317930503583758481/453403100597399847766945813422\ 4*c_1001_8^19 + 7143132389868116995444834955/1133507751493499619417\ 364533556*c_1001_8^18 + 181528969329629009343169352691/453403100597\ 3998477669458134224*c_1001_8^17 - 830284558816535803486517186223/22\ 67015502986999238834729067112*c_1001_8^16 + 3046147049260615419453459077767/2267015502986999238834729067112*c_1\ 001_8^15 - 20989833137524009104724747320107/45340310059739984776694\ 58134224*c_1001_8^14 + 55547260771241314616799423918569/45340310059\ 73998477669458134224*c_1001_8^13 - 115985540083436124337997596081851/4534031005973998477669458134224*c\ _1001_8^12 + 10967579990900566322376494768805/238633210840736761982\ 603059696*c_1001_8^11 - 314428883558329726460906985544417/453403100\ 5973998477669458134224*c_1001_8^10 + 24571394234445695751926023634335/283376937873374904854341133389*c_1\ 001_8^9 - 50221565415057199345939987744469/566753875746749809708682\ 266778*c_1001_8^8 + 353969731291050618782075442740073/4534031005973\ 998477669458134224*c_1001_8^7 - 61243702716033455771721513554443/11\ 33507751493499619417364533556*c_1001_8^6 + 137923011681007669893505527799115/4534031005973998477669458134224*c\ _1001_8^5 - 1694827018022381678274569210381/11931660542036838099130\ 1529848*c_1001_8^4 + 7635223173218453503166002855217/11335077514934\ 99619417364533556*c_1001_8^3 - 1652421308875393635538167957951/1133\ 507751493499619417364533556*c_1001_8^2 + 60520371085857308451877691045/566753875746749809708682266778*c_1001\ _8 + 103025582655908121190309945869/283376937873374904854341133389, c_1001_8^20 + 2*c_1001_8^19 + 7*c_1001_8^18 - 40*c_1001_8^17 + 118*c_1001_8^16 - 435*c_1001_8^15 + 1007*c_1001_8^14 - 1905*c_1001_8^13 + 3341*c_1001_8^12 - 4431*c_1001_8^11 + 5050*c_1001_8^10 - 4720*c_1001_8^9 + 3677*c_1001_8^8 - 2110*c_1001_8^7 + 1071*c_1001_8^6 - 328*c_1001_8^5 + 28*c_1001_8^4 + 32*c_1001_8^3 - 96*c_1001_8^2 + 16*c_1001_8 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.220 Total time: 0.440 seconds, Total memory usage: 32.09MB