Magma V2.19-8 Wed Aug 21 2013 00:02:46 on localhost [Seed = 1393900203] Type ? for help. Type -D to quit. Loading file "K13n1703__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1703 geometric_solution 12.42178970 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 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 1 -1 15 0 -15 0 0 -1 0 1 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.139786100232 0.710620068117 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -15 0 1 14 15 -14 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.714944630396 1.299489011061 8 0 10 9 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -15 0 15 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228201727998 0.995422120285 7 10 11 0 1023 2031 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 -15 0 0 15 0 0 0 0 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534686453873 0.945603694944 6 5 0 9 0213 1302 0132 0213 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 -14 14 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.911337939213 0.898806516305 8 1 10 4 1023 0132 1023 2031 0 0 0 0 0 0 -1 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 0 14 -14 -1 0 0 1 0 0 0 0 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.066466525293 1.138255992947 4 7 1 12 0213 3012 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 14 0 -14 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.434848527780 0.537481093896 6 3 8 1 1230 1023 1023 0132 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 15 -15 0 0 0 1 -1 0 0 0 0 0 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.434848527780 0.537481093896 2 5 7 11 0132 1023 1023 3201 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 1 -1 0 0 0 15 -15 0 0 0 0 0 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444745509794 0.664375628814 11 12 2 4 0132 2310 0132 0213 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 15 0 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.613302128360 0.953675800756 3 12 5 2 1302 3120 1023 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 14 0 -14 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.395954091926 0.557828482972 9 8 12 3 0132 2310 2103 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 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.100788948509 0.997534770633 11 10 6 9 2103 3120 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.788988283528 0.688971075329 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_0101_5'], 'c_1001_12' : negation(d['c_0101_5']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_12']), 'c_1001_7' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_0011_10'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0011_12']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0101_5'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0101_2']), 'c_1010_10' : negation(d['c_0011_12']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_3']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(d['1']), 's_0_1' : negation(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_1010_4']), 'c_1100_4' : negation(d['c_0110_12']), 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : d['c_0011_11'], 'c_1100_0' : negation(d['c_0110_12']), 'c_1100_3' : negation(d['c_0110_12']), 'c_1100_2' : d['c_1010_4'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_12']), 'c_1100_10' : d['c_1010_4'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_1010_4'], 'c_1010_3' : d['c_0011_10'], 'c_1010_2' : d['c_0011_10'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_12']), 'c_1010_9' : negation(d['c_0110_12']), 'c_1010_8' : negation(d['c_0011_12']), 'c_1100_8' : negation(d['c_0011_11']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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' : d['c_0011_11'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_3'], '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_3'], 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : d['c_0101_11'], 'c_0110_0' : d['c_0011_6'], 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0011_4'], 'c_0101_9' : d['c_0101_3'], 'c_0101_8' : d['c_0101_3'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_4'], 'c_1100_9' : d['c_1010_4'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_12']), 'c_0110_4' : negation(d['c_0101_11']), 'c_0110_7' : d['c_0011_6'], 'c_0110_6' : d['c_0101_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0011_6, c_0101_11, c_0101_2, c_0101_3, c_0101_5, c_0110_12, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 316424926150165793660550799506387816094538971136038755636203839/246\ 189238006416360472208273912575580722744338929072704482067*c_1010_4^\ 19 + 16414177724238753675284514688904712325049929508807956228955148\ 4411/984756952025665441888833095650302322890977355716290817928268*c\ _1010_4^18 + 265654069548976290723498366781405381669769335328163531\ 56034525671/9847569520256654418888330956503023228909773557162908179\ 28268*c_1010_4^17 - 16617371724304344150943146670548748526835698901\ 68052212640790844277/4923784760128327209444165478251511614454886778\ 58145408964134*c_1010_4^16 - 21952646668709394062252282258279463630\ 328771412523833265966605446/246189238006416360472208273912575580722\ 744338929072704482067*c_1010_4^15 + 2447180894311189684824835924287694833162806655278944063044079755077\ /984756952025665441888833095650302322890977355716290817928268*c_101\ 0_4^14 - 1096343417855306977444050864819297469314817984995374088471\ 0252554203/98475695202566544188883309565030232289097735571629081792\ 8268*c_1010_4^13 + 294174599608207986899364387956212032009372944255\ 66326796340328552301/9847569520256654418888330956503023228909773557\ 16290817928268*c_1010_4^12 - 34374031174692265102921760218179942023\ 320177559939129779112870697513/984756952025665441888833095650302322\ 890977355716290817928268*c_1010_4^11 + 5263504450701257603263200056609895770750296141996361754391659949195\ 1/984756952025665441888833095650302322890977355716290817928268*c_10\ 10_4^10 - 120554852833012902017003728068453792169840973265389884290\ 15623859738/2461892380064163604722082739125755807227443389290727044\ 82067*c_1010_4^9 + 483617962535464220285725668399241458932822163633\ 71157545264573102757/9847569520256654418888330956503023228909773557\ 16290817928268*c_1010_4^8 - 164266216854645324664458917781648542220\ 59246774584014729438427625645/4923784760128327209444165478251511614\ 45488677858145408964134*c_1010_4^7 + 3008453180974800185001282129108488588746468449816993303099241618043\ 7/984756952025665441888833095650302322890977355716290817928268*c_10\ 10_4^6 - 3582016447125547151395640414243043177630409682848797098519\ 481892473/984756952025665441888833095650302322890977355716290817928\ 268*c_1010_4^5 + 15154692748788792214556537623207353720615351384708\ 396246158042545545/984756952025665441888833095650302322890977355716\ 290817928268*c_1010_4^4 + 34305433743033449881117365954561287689328\ 22389952644623328252477481/4923784760128327209444165478251511614454\ 88677858145408964134*c_1010_4^3 + 481383801764182120384344860579763\ 9789075504261976729316410860786119/98475695202566544188883309565030\ 2322890977355716290817928268*c_1010_4^2 + 15507211079197780328506062692036573936372154255486002109064244025/6\ 744910630312776999238582846919878923910803806275964506358*c_1010_4 + 431425146296823442762868695812770142546691226679033056270878469951/\ 984756952025665441888833095650302322890977355716290817928268, c_0011_0 - 1, c_0011_10 - 159692965140367657432647399635467093022338520091118/1783424\ 280886508989751079547043860106798203015937589769*c_1010_4^19 + 15129108020526033827694504426529674195263507981314302/1783424280886\ 508989751079547043860106798203015937589769*c_1010_4^18 + 731348539178211591520591628293517131592916089621801040/178342428088\ 6508989751079547043860106798203015937589769*c_1010_4^17 - 853457088289049015330199334518268985800820025774988876/178342428088\ 6508989751079547043860106798203015937589769*c_1010_4^16 - 15201586194797318792997788244454804980992396691688910093/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^15 + 11481603819757490075475106274730155567575935074478093049/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^14 + 19205451870518165765977925532187795408536129566268971585/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^13 - 61134339721212917431034929484809172615625137272064227712/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^12 + 146158125007877705622875560657228602423966848625678444323/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^11 - 201191008537678338088472255284553082558418071935952354530/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^10 + 250663344520983512422430915537781582276566692490373264148/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^9 - 261172297480531055427042110282750383229399711141777606230/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^8 + 236072768189392441101920745849345435873642434515779711821/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^7 - 164659162922157987952300453929355234857604805329763396024/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^6 + 129437569787960741076411353620836124629994707908647689244/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^5 - 42230170724905470901130837701064374855781236730821554662/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^4 + 26367251513245536919152433902243929670463929689332514981/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^3 - 4947040167209830695609043314944004617310343501448322076/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^2 - 2363553034384560403853020789923397760276894890597725313/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4 + 924772339923928972963103693244999837371582409124520490/178342428088\ 6508989751079547043860106798203015937589769, c_0011_11 + 15110041915377236848161262851518727437366115878139901/17834\ 24280886508989751079547043860106798203015937589769*c_1010_4^19 - 1965916574571171393518309222804672172961237955765238070/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^18 + 502919528295684275596400940186422343574778233440629187/178342428088\ 6508989751079547043860106798203015937589769*c_1010_4^17 + 40707414536726366912709488370292604709911591817643304474/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^16 - 16069804324039299250923042572560882857831096565427258227/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^15 - 48612881018761378069560110920357836546205778060241786886/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^14 + 153714398773768784339065869277097920157050773927015273957/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^13 - 376446736848752276089485938294411176659079417223513897513/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^12 + 481389340171705795506506666238509629867985515406833152359/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^11 - 631139153251062320617755401777764949786601855255763164915/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^10 + 627001919476877192123420413480768915750616512219793611259/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^9 - 574611829140900167588585131575575727074736636270630587239/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^8 + 399034242594709408490584644421076062302467544476547561122/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^7 - 335814271729057902733365470655465728010465413629340823974/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^6 + 84949012222514089073329389635808464003871125247014605447/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^5 - 113990750288900628879743388328283069453833892474045735885/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^4 - 9594830659729714046714062419853147694641580739130412144/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^3 - 13397309408392633756386346761114758200995634185140879206/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^2 - 4149809657138433469077584802551519236010535777622031893/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4 + 132816359862795571452914187911825386070181554688865495/178342428088\ 6508989751079547043860106798203015937589769, c_0011_12 - 10530193107347332956447366696052685414716079181761831/17834\ 24280886508989751079547043860106798203015937589769*c_1010_4^19 + 1367400880178145143284859662277770132463647746826311966/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^18 - 7198948489582017962641591001223381701825595747445724/17834242808865\ 08989751079547043860106798203015937589769*c_1010_4^17 - 28313503167072436619757721404437000403834102482807688798/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^16 + 4115075085116991628831815827204239390005435626108487680/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^15 + 33577873384066154095615219747529879578605693351786271874/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^14 - 99155703670782812817721722178184373014226290195907163242/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^13 + 241976812870391166556436272119978552648406936668248856308/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^12 - 279070499757664671398095680902162971677548130679000546608/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^11 + 372100502164687536634701754791120459135610376925669244547/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^10 - 337045791513678792352511109391451065491393660177115318695/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^9 + 301070958065020662058208719658641881649606470518991507747/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^8 - 183670557550641027477447891843314145691171570163975619426/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^7 + 165903708026642765129012579867752238489610854011311731298/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^6 + 5247115397080156902868242258447689837091490631291016609/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^5 + 66448506552550026440899575829998156184747406386638623895/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^4 + 34861000435797386691352194488801502428169368229011771924/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^3 + 13492069681716395728842517421458718935644592136194936218/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^2 + 6233201172247781330962602697034327815781797541450435040/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4 + 474208767123529509495817737472212248401475484121418471/178342428088\ 6508989751079547043860106798203015937589769, c_0011_3 - 2312637513712734966952816520205755008670490792620813/1783424\ 280886508989751079547043860106798203015937589769*c_1010_4^19 + 299422395127629301145617974422658210966823386543470409/178342428088\ 6508989751079547043860106798203015937589769*c_1010_4^18 + 113537967460088955238992890641989656414184420697270665/178342428088\ 6508989751079547043860106798203015937589769*c_1010_4^17 - 6233047220116891176617389562769510796903824741185720641/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^16 - 1349078304330672612186484450872552332173995858623648290/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^15 + 7992561030691559759517214767114436353711224158954271588/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^14 - 21724199913225132618475276865932984566731225639574461861/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^13 + 44851460126862557741052318274405404656245886661177829748/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^12 - 35327604205460325410602846659053327110257253907964451915/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^11 + 47551138282492644795940129156133839122945837490667823390/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^10 - 20386685613410265784328761583319422718341986830978615122/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^9 + 9962029116420848659808512583432626135981146716009747064/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^8 + 18954985299419371244234509838186522263709085043233571382/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^7 - 11833147827069582518931992015678299907027106714582710146/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^6 + 41889060029632382936497112542643445186164596188329270952/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^5 - 2945023076789592415500920213577260250496655862496493412/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^4 + 27707334974891280446037129482665280540087772112090517061/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^3 + 4024441172205646589661015788172115550568427253921955550/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^2 + 5735032765551097357683543913125809433239989279941488866/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4 + 592731586817133407456445390283455802359070053952890972/178342428088\ 6508989751079547043860106798203015937589769, c_0011_4 + 68181522336319289989244864442169087138233070209788/775401861\ 25500390858742589001906961165139261562503903*c_1010_4^19 - 9021423781639327755075688319907388485159153236356234/77540186125500\ 390858742589001906961165139261562503903*c_1010_4^18 + 21711566887186830985054206305034626305901759092738994/7754018612550\ 0390858742589001906961165139261562503903*c_1010_4^17 + 197714541280801883622921828744274277182700168284782763/775401861255\ 00390858742589001906961165139261562503903*c_1010_4^16 - 487074561612966210067388152744542323730500697000666306/775401861255\ 00390858742589001906961165139261562503903*c_1010_4^15 - 457955837366153616463821055151836084819506693475188059/775401861255\ 00390858742589001906961165139261562503903*c_1010_4^14 + 1420133598975067763856943964087048790223011829066201210/77540186125\ 500390858742589001906961165139261562503903*c_1010_4^13 - 2662816071417893417435473657380518705723443612913873197/77540186125\ 500390858742589001906961165139261562503903*c_1010_4^12 + 4295051359091255477607133256049970571762154351787027902/77540186125\ 500390858742589001906961165139261562503903*c_1010_4^11 - 3905726574096034928100970669404675412060330531718146090/77540186125\ 500390858742589001906961165139261562503903*c_1010_4^10 + 4139200547262613316728482115728980626996460818933666085/77540186125\ 500390858742589001906961165139261562503903*c_1010_4^9 - 2727263190656045807335628220712069710461511556486150061/77540186125\ 500390858742589001906961165139261562503903*c_1010_4^8 + 1329710649708404222091286672831225945751943027051999820/77540186125\ 500390858742589001906961165139261562503903*c_1010_4^7 - 95993628172494607294757342511565435684994665557315357/7754018612550\ 0390858742589001906961165139261562503903*c_1010_4^6 + 143177201226893686225322558595220730560332114624565078/775401861255\ 00390858742589001906961165139261562503903*c_1010_4^5 + 1464758635662064734742390022837188368887574709430072101/77540186125\ 500390858742589001906961165139261562503903*c_1010_4^4 + 367726949118503629661657593834971916179429673042704189/775401861255\ 00390858742589001906961165139261562503903*c_1010_4^3 + 605290470781897203260573090807283882025886441178195422/775401861255\ 00390858742589001906961165139261562503903*c_1010_4^2 + 27828104108468695551726264112535381999182459532326992/7754018612550\ 0390858742589001906961165139261562503903*c_1010_4 - 5358766238807333420501812556420103306840762579033161/77540186125500\ 390858742589001906961165139261562503903, c_0011_6 + 2312637513712734966952816520205755008670490792620813/1783424\ 280886508989751079547043860106798203015937589769*c_1010_4^19 - 299422395127629301145617974422658210966823386543470409/178342428088\ 6508989751079547043860106798203015937589769*c_1010_4^18 - 113537967460088955238992890641989656414184420697270665/178342428088\ 6508989751079547043860106798203015937589769*c_1010_4^17 + 6233047220116891176617389562769510796903824741185720641/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^16 + 1349078304330672612186484450872552332173995858623648290/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^15 - 7992561030691559759517214767114436353711224158954271588/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^14 + 21724199913225132618475276865932984566731225639574461861/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^13 - 44851460126862557741052318274405404656245886661177829748/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^12 + 35327604205460325410602846659053327110257253907964451915/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^11 - 47551138282492644795940129156133839122945837490667823390/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^10 + 20386685613410265784328761583319422718341986830978615122/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^9 - 9962029116420848659808512583432626135981146716009747064/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^8 - 18954985299419371244234509838186522263709085043233571382/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^7 + 11833147827069582518931992015678299907027106714582710146/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^6 - 41889060029632382936497112542643445186164596188329270952/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^5 + 2945023076789592415500920213577260250496655862496493412/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^4 - 27707334974891280446037129482665280540087772112090517061/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^3 - 4024441172205646589661015788172115550568427253921955550/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^2 - 5735032765551097357683543913125809433239989279941488866/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4 - 592731586817133407456445390283455802359070053952890972/178342428088\ 6508989751079547043860106798203015937589769, c_0101_11 - 5873903042407339604980336237947536144894373451138098/178342\ 4280886508989751079547043860106798203015937589769*c_1010_4^19 + 765939665207573082249122576212362543117567683225997063/178342428088\ 6508989751079547043860106798203015937589769*c_1010_4^18 - 417479730206182078390680603530285434857917976896961220/178342428088\ 6508989751079547043860106798203015937589769*c_1010_4^17 - 15766072923604634673713523839822251811596634248929500709/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^16 + 10902323381480418742832264841980373800764715456846876263/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^15 + 17051786323939294101948961926413176267787974067544245747/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^14 - 66535133823133948059461894848488763130568062483769316742/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^13 + 163571814871873437328769843308381262770736362992634569164/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^12 - 226837367335493292532619478484122212413324798915237946108/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^11 + 296943003001433080453594122537551169061496856022220532571/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^10 - 309484806005207385433892294777748773256072946977217726508/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^9 + 288178557557026701734138740262411553810720063416287488268/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^8 - 212149580143373241761019248349685132363434930618667745419/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^7 + 167467293335950890176811837632897796957555152161421177778/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^6 - 64283642707823969549262418593827281097309623273392373571/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^5 + 51961587034868411579035196020349691098800089816628384525/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^4 - 7268722751643399429196561870252845856936782065205768193/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^3 + 8123563134208912160138798139880540891230263077996706876/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^2 - 1097008388689941826063083716542559950135163409852311660/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4 + 50772017609138045048946550210519029057223294101874094/1783424280886\ 508989751079547043860106798203015937589769, c_0101_2 + 4062802433986417968797025643911158893461139015705914/1783424\ 280886508989751079547043860106798203015937589769*c_1010_4^19 - 527049651503314406302503744928356538294702335587430018/178342428088\ 6508989751079547043860106798203015937589769*c_1010_4^18 - 64464211749151727457016244942086670046469694516828264/1783424280886\ 508989751079547043860106798203015937589769*c_1010_4^17 + 10775358705880414521661965559659816129394247757888065106/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^16 - 3578230757273402511294644634136853403907434825680579/17834242808865\ 08989751079547043860106798203015937589769*c_1010_4^15 - 10148829073819331580274866473325458732678995234582032138/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^14 + 32646758904311552001216649869075608521750950488364062228/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^13 - 90547163482453187608426034149216315767062726178953912714/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^12 + 110757408127281252057865379985937230241328915799696548656/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^11 - 169436209664467999193894497328632285705408734400405524154/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^10 + 174623328823691489924960155675432342309710480340400332869/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^9 - 180020880747170755613885958077730357021361418856406992818/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^8 + 139773343589142728126082854378431233050161109427378308168/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^7 - 129296303001874862963467824741752699260041913389328594071/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^6 + 41352610887400117304274643420260373301949490549354808736/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^5 - 59858042084838408452381191062352741091158358887230822512/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^4 - 3021540110290806651892882358176913748889116091494779837/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^3 - 11398115442528426878392647604209393499110110059369469157/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^2 - 3349041480130919798691050551875351065616093686906086665/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4 + 128202105411920066051953758186361855941030033440587361/178342428088\ 6508989751079547043860106798203015937589769, c_0101_3 + 5873903042407339604980336237947536144894373451138098/1783424\ 280886508989751079547043860106798203015937589769*c_1010_4^19 - 765939665207573082249122576212362543117567683225997063/178342428088\ 6508989751079547043860106798203015937589769*c_1010_4^18 + 417479730206182078390680603530285434857917976896961220/178342428088\ 6508989751079547043860106798203015937589769*c_1010_4^17 + 15766072923604634673713523839822251811596634248929500709/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^16 - 10902323381480418742832264841980373800764715456846876263/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^15 - 17051786323939294101948961926413176267787974067544245747/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^14 + 66535133823133948059461894848488763130568062483769316742/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^13 - 163571814871873437328769843308381262770736362992634569164/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^12 + 226837367335493292532619478484122212413324798915237946108/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^11 - 296943003001433080453594122537551169061496856022220532571/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^10 + 309484806005207385433892294777748773256072946977217726508/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^9 - 288178557557026701734138740262411553810720063416287488268/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^8 + 212149580143373241761019248349685132363434930618667745419/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^7 - 167467293335950890176811837632897796957555152161421177778/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^6 + 64283642707823969549262418593827281097309623273392373571/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^5 - 51961587034868411579035196020349691098800089816628384525/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^4 + 7268722751643399429196561870252845856936782065205768193/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^3 - 8123563134208912160138798139880540891230263077996706876/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^2 + 1097008388689941826063083716542559950135163409852311660/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4 - 50772017609138045048946550210519029057223294101874094/1783424280886\ 508989751079547043860106798203015937589769, c_0101_5 - 1, c_0110_12 - 1990959466436446944636271792455885935698239278321461/178342\ 4280886508989751079547043860106798203015937589769*c_1010_4^19 + 261303016683265495462770938656339719097110010150027215/178342428088\ 6508989751079547043860106798203015937589769*c_1010_4^18 - 361713303492802606469304266432507711100960082878212003/178342428088\ 6508989751079547043860106798203015937589769*c_1010_4^17 - 5206318846628853376598179774860391144528659515432842552/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^16 + 8113978056512904168229168300553934618112288164059318581/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^15 + 2260439246320490628022367532509682651696375671117074517/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^14 - 24899724828603168221245816540670601444406302207889997522/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^13 + 75396343690538188669642148442099316937794678842345929094/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^12 - 132049797378124987461232198389674481678442363625684728039/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^11 + 177336039638625549275848678650728502545765634621460723103/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^10 - 202100608627091783841680370220063725992145046262836081401/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^9 + 190554278922527594527805988350308966759894941440977870723/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^8 - 153235854549180618430165452630407731642405068595568505781/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^7 + 110718796037004765692187794342444284525763571175660306947/178342428\ 0886508989751079547043860106798203015937589769*c_1010_4^6 - 59757874145205068064642831617835276354493160712271776723/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^5 + 23256430408259513140611030797676796922418562613071269530/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^4 - 11167178225582739458086072167085614065266914164484784432/1783424280\ 886508989751079547043860106798203015937589769*c_1010_4^3 - 3050591852284779285191350367473032572409546433219943458/17834242808\ 86508989751079547043860106798203015937589769*c_1010_4^2 - 185805435659684242106173113778864784677104531413911138/178342428088\ 6508989751079547043860106798203015937589769*c_1010_4 - 461953278690696846575869486416507033758327437135364628/178342428088\ 6508989751079547043860106798203015937589769, c_1010_4^20 - 130*c_1010_4^19 + 20*c_1010_4^18 + 2621*c_1010_4^17 - 759*c_1010_4^16 - 1724*c_1010_4^15 + 9245*c_1010_4^14 - 26147*c_1010_4^13 + 35279*c_1010_4^12 - 52304*c_1010_4^11 + 53882*c_1010_4^10 - 54183*c_1010_4^9 + 41800*c_1010_4^8 - 35678*c_1010_4^7 + 12941*c_1010_4^6 - 15126*c_1010_4^5 - 1244*c_1010_4^4 - 3063*c_1010_4^3 - 1002*c_1010_4^2 + 5*c_1010_4 - 31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 12.170 Total time: 12.380 seconds, Total memory usage: 240.19MB