Magma V2.19-8 Tue Aug 20 2013 23:45:48 on localhost [Seed = 2084182418] Type ? for help. Type -D to quit. Loading file "K13n690__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n690 geometric_solution 10.30348371 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 2103 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 1 0 -1 -8 0 8 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.111096410099 0.707641824288 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 8 0 -1 -7 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.426685157424 2.329381097677 7 0 6 0 0132 0132 3012 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.111096410099 0.707641824288 5 8 8 0 3120 0132 3201 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 0 0 0 8 0 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.591746595384 0.943468726396 7 1 9 10 1023 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 0 -1 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.634913804720 0.332190092271 11 7 1 3 0132 1230 0132 3120 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 1 0 7 -8 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.389215427565 0.725130701427 8 2 8 1 2103 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 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386309451596 0.892756513899 2 4 5 9 0132 1023 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.012146891563 1.148448455578 3 3 6 6 2310 0132 2103 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.522899381222 0.760679514968 11 7 10 4 1230 1302 0213 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 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.587407774743 0.473409367047 11 9 4 11 2310 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.911071849053 0.575823141547 5 9 10 10 0132 3012 3201 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.215691403863 0.495705185315 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_9']), 'c_1001_10' : d['c_0101_2'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : d['c_0101_2'], 'c_1001_8' : d['c_0011_6'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_3_10' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_0'], 'c_0101_10' : d['c_0011_9'], '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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : negation(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' : negation(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' : negation(d['c_0101_1']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : negation(d['c_1001_4']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0101_1']), 's_3_11' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_10']), 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0011_10']), 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_0011_9'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : negation(d['c_0101_6']), 's_3_1' : negation(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' : negation(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' : d['1'], 's_1_5' : 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' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : negation(d['c_0101_0']), 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_11'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_6'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_9'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 7046810798388298497152243653714129840936391986116765607632989302687\ 341647965/373084982873014982554422113445510681655526670699125851866\ 59373201016937976*c_1001_4^25 - 31136916958138381477992652716651070\ 297709719171574578990922294923723112125705/373084982873014982554422\ 11344551068165552667069912585186659373201016937976*c_1001_4^24 - 3291450106985898350740103444599940857729328388017722984666849953618\ 571591013/847920415620488596714595712376160640126196978861649663333\ 167572750384954*c_1001_4^23 - 5374830311568285298910285941055281834\ 4795547337751586656208377626631387233142/46635622859126872819302764\ 18068883520694083383739073148332421650127117247*c_1001_4^22 - 9166219708508038610618263646628830510643983099801551528741672835671\ 1543712445/31090415239417915212868509453792556804627222558260487655\ 54947766751411498*c_1001_4^21 - 12908207108104636711027735708352409\ 6778452297225099056367819538358725356600725/20726943492945276808579\ 00630252837120308481503884032510369965177834274332*c_1001_4^20 - 4150082386888775350147065554713872102976555110792597043665789420698\ 217337638515/373084982873014982554422113445510681655526670699125851\ 86659373201016937976*c_1001_4^19 - 2998602669524989166095553834707435562297060083970905648239096782827\ 9248919094/17272452910787730673815838585440309335904012532366937586\ 4163764819522861*c_1001_4^18 - 854211323386409424633675741405888112\ 3256800042799565027103331806042979700129521/37308498287301498255442\ 211344551068165552667069912585186659373201016937976*c_1001_4^17 - 4414336957994510497325680379259559842848763084208576899061391744185\ 86343752515/1695840831240977193429191424752321280252393957723299326\ 666335145500769908*c_1001_4^16 - 1508723416428987235271333684189071\ 752092861358297050942570421174393796693884845/621808304788358304257\ 3701890758511360925444511652097531109895533502822996*c_1001_4^15 - 1592930762557759450698278616912380533088143913333771831513327086879\ 860615395477/932712457182537456386055283613776704138816676747814629\ 6664843300254234494*c_1001_4^14 - 216128058196146771112570891103372\ 444431145419958401592864715596953603709929697/339168166248195438685\ 8382849504642560504787915446598653332670291001539816*c_1001_4^13 + 6421464870703001499160126264225230616061009352377058395808853571133\ 26791586269/1243616609576716608514740378151702272185088902330419506\ 2219791067005645992*c_1001_4^12 + 387687463873992737399214206535637\ 1704561847510604284196105533563083968598977/29238635021396158507399\ 852150902091038834378581436195287350605956909826*c_1001_4^11 + 2006777109561113848154273371490180896867140114873993648302063833551\ 321905458891/124361660957671660851474037815170227218508890233041950\ 62219791067005645992*c_1001_4^10 + 1457827478712183903990921685308960315958121290192940357421418266230\ 40379978951/1036347174647263840428950315126418560154240751942016255\ 184982588917137166*c_1001_4^9 + 33273439602070026877242855741780647\ 64454400120112265497385104543663113943147089/3730849828730149825544\ 2211344551068165552667069912585186659373201016937976*c_1001_4^8 + 1298310221333880808628231393891632156514920789242017664380956453625\ 3789418985/32162498523535774358139837365992300142717816439579814816\ 0856665526008086*c_1001_4^7 + 3144549842689010770752335463770191677\ 37164034149459218011808530370429021296627/3730849828730149825544221\ 1344551068165552667069912585186659373201016937976*c_1001_4^6 - 4929133174746205115000155751603602908999517775065796678864962828995\ 986399187/138179623286301845390526708683522474687232100258935500691\ 3310118556182888*c_1001_4^5 - 6108763124884776981786643840664930487\ 5610924267359654982129039173094302637545/37308498287301498255442211\ 344551068165552667069912585186659373201016937976*c_1001_4^4 + 1509235162235698632093377084168036453816017950581810959996473964850\ 5543925231/37308498287301498255442211344551068165552667069912585186\ 659373201016937976*c_1001_4^3 + 15490045021661054346120434458826427\ 80136764705997574485494722935700215376189/6218083047883583042573701\ 890758511360925444511652097531109895533502822996*c_1001_4^2 + 9876163174194299386098074877641886903698269748024856703501444752319\ 1993893/12864999409414309743255934946396920057087126575831925926434\ 26662104032344*c_1001_4 + 42993334022370373914309353531128094589867\ 209704351346081793480050900142536/155452076197089576064342547268962\ 7840231361127913024382777473883375705749, c_0011_0 - 1, c_0011_10 + 14678403192956823950195767031439720540236152744619145836722\ 7304959665/11789628129007138607106402915161948220104037013078951191\ 732383482338*c_1001_4^25 + 6500644539067245486053547794697088134973\ 05644698880252838421346037025/1178962812900713860710640291516194822\ 0104037013078951191732383482338*c_1001_4^24 + 1378393523035634631991128822160159118832799277029092673076949954134\ 56/5358921876821426639593819506891794645501835005944977814423810673\ 79*c_1001_4^23 + 45102289095320251703378988447152229801773096293618\ 64530947383784728861/5894814064503569303553201457580974110052018506\ 539475595866191741169*c_1001_4^22 + 3861298613950153763119530008048950024380270811389392452479529834212\ 461/196493802150118976785106715252699137001733950217982519862206391\ 3723*c_1001_4^21 + 272603112625861148583523380237926493320010042771\ 2019249964791936614303/65497934050039658928368905084233045667244650\ 0726608399540687971241*c_1001_4^20 + 8806785377544912162490455084236592151519529237574387093141910736751\ 5603/11789628129007138607106402915161948220104037013078951191732383\ 482338*c_1001_4^19 + 2300690681807377808637531822064295681226758122\ 7551865380600103202550031/19649380215011897678510671525269913700173\ 39502179825198622063913723*c_1001_4^18 + 1832346889436860038309235557647650293536922226758052433619639362525\ 22215/1178962812900713860710640291516194822010403701307895119173238\ 3482338*c_1001_4^17 + 954750421116478937612182084785234628765065202\ 9745967412916530595292923/53589218768214266395938195068917946455018\ 3500594497781442381067379*c_1001_4^16 + 1100750909206925103579417865652185922803536629747923359237757894939\ 5943/65497934050039658928368905084233045667244650072660839954068797\ 1241*c_1001_4^15 + 715196241560614451763607207988565437238848647228\ 53209307982695193673566/5894814064503569303553201457580974110052018\ 506539475595866191741169*c_1001_4^14 + 5289184746098707047486318207976749822893915970693939173453630217409\ 037/107178437536428532791876390137835892910036700118899556288476213\ 4758*c_1001_4^13 - 115537308830784229232779371091514226538369985466\ 30512261632465451842709/3929876043002379535702134305053982740034679\ 004359650397244127827446*c_1001_4^12 - 1600991944147954414519507702593569047602328117580183966480443168685\ 71/1847904095455664358480627416169584360517874139981026832559934715\ 1*c_1001_4^11 - 142879317557672752644185083859142047883699065268178\ 47184811514749098267/1309958681000793178567378101684660913344893001\ 453216799081375942482*c_1001_4^10 - 1916840053058696704334176241594742234587814638173081508999481565464\ 0539/19649380215011897678510671525269913700173395021798251986220639\ 13723*c_1001_4^9 - 755094968506317098395894426204064072877777087293\ 86906685430792999942179/1178962812900713860710640291516194822010403\ 7013078951191732383482338*c_1001_4^8 - 6250196785278275644304351364727103592560556396647882803535902300166\ 57/2032694505001230794328690157786542796569661553979129515815928186\ 61*c_1001_4^7 - 942411068727041342998262134474893397522392152351895\ 0448303516352005795/11789628129007138607106402915161948220104037013\ 078951191732383482338*c_1001_4^6 + 1735065186145773424526582618555512097128910419673763885198066516285\ 95/1309958681000793178567378101684660913344893001453216799081375942\ 482*c_1001_4^5 + 11317425112895370541836771336623024363140923571193\ 50484557861503091661/1178962812900713860710640291516194822010403701\ 3078951191732383482338*c_1001_4^4 - 2571707283854577413109071761704796619449445665903854879248114283893\ 75/1178962812900713860710640291516194822010403701307895119173238348\ 2338*c_1001_4^3 - 2449248256323475830609734616475166820818050552408\ 3805448678252934664/19649380215011897678510671525269913700173395021\ 79825198622063913723*c_1001_4^2 - 290856305732857882449545752442466\ 5570745443233858394410691435522791/40653890100024615886573803155730\ 8559313932310795825903163185637322*c_1001_4 - 5305478838632992626208298823994614258704468451086940998489031406091\ /196493802150118976785106715252699137001733950217982519862206391372\ 3, c_0011_11 - 24739868813347930392137248237169442717106978822503732668054\ 69122468629535/2894624867118219692232585362939307012844603479562183\ 333447709989734072774*c_1001_4^25 - 1411081320662539468342174373278123106620988454735459571873602404139\ 3005785/28946248671182196922325853629393070128446034795621833334477\ 09989734072774*c_1001_4^24 - 28512319803533401454770184158322052160\ 92128919346935405601921550696799334/1315738575962827132832993346790\ 59409674754703616462878793077726806094217*c_1001_4^23 - 1037839220613592843383588425160394547345423445966757162407998953840\ 96047773/1447312433559109846116292681469653506422301739781091666723\ 854994867036387*c_1001_4^22 - 8979630104843275368276154431911240765\ 6681393449351674396997711053445053008/48243747785303661537209756048\ 9884502140767246593697222241284998289012129*c_1001_4^21 - 6639801158709772798019569961211680116502113851391528088141283474899\ 0241398/16081249261767887179069918682996150071358908219789907408042\ 8332763004043*c_1001_4^20 - 220889019807993690073591152576157056662\ 0118013871817475172330853649659171701/28946248671182196922325853629\ 39307012844603479562183333447709989734072774*c_1001_4^19 - 5899242136309706508914079224008309691092619257146776092840511781713\ 22600071/4824374778530366153720975604898845021407672465936972222412\ 84998289012129*c_1001_4^18 - 48630074191857599861008720620407220983\ 11149748752020250644574123990294269285/2894624867118219692232585362\ 939307012844603479562183333447709989734072774*c_1001_4^17 - 2570317546498300872927887605091338706681755411363890389842405405631\ 37907781/1315738575962827132832993346790594096747547036164628787930\ 77726806094217*c_1001_4^16 - 10220028947774693750653414233662241956\ 4254258917441499507222431405967400202/53604164205892957263566395609\ 987166904529694065966358026809444254334681*c_1001_4^15 - 2041768057156458786958727506263978286429046009564514395182185676087\ 417441687/144731243355910984611629268146965350642230173978109166672\ 3854994867036387*c_1001_4^14 - 160659798623078131029900147401578780\ 298233370767128337769757334215378317513/263147715192565426566598669\ 358118819349509407232925757586155453612188434*c_1001_4^13 + 2719637014101597620442286733427618478036266539475705196180125402279\ 84096503/9648749557060732307441951209797690042815344931873944444825\ 69996578024258*c_1001_4^12 + 44335844676779830168007867767142491519\ 80641944228716121880203380264584221/4537029572285610802872390851002\ 048609474300124705616510106128510554973*c_1001_4^11 + 4002427601284942678420626435692020765662587220988655479721603775640\ 19921783/3216249852353577435813983736599230014271781643957981481608\ 56665526008086*c_1001_4^10 + 54079635145771036262010012965011470455\ 9365404647645284943263882773059863064/48243747785303661537209756048\ 9884502140767246593697222241284998289012129*c_1001_4^9 + 2123504685809357209857623879366395253583085306293030014065869777612\ 259148849/289462486711821969223258536293930701284460347956218333344\ 7709989734072774*c_1001_4^8 + 1598427758002873572919917743349146141\ 4050012266956227242572245095228075736/49907325295141718831596299361\ 022534704217301371761781611167413616104703*c_1001_4^7 + 1915003334810934366008707009534857006066920316391370188834371524725\ 63398079/2894624867118219692232585362939307012844603479562183333447\ 709989734072774*c_1001_4^6 - 12254303373927250969037445019217477139\ 024297321675685048203699587001068549/321624985235357743581398373659\ 923001427178164395798148160856665526008086*c_1001_4^5 - 6246496626913055084660418558730613679835070947164722703134026852987\ 3088453/28946248671182196922325853629393070128446034795621833334477\ 09989734072774*c_1001_4^4 + 368624176428881074907283875632369527176\ 96126682366281775971431443698900219/2894624867118219692232585362939\ 307012844603479562183333447709989734072774*c_1001_4^3 + 3460545487296132171564645736047677729795638381166800060842238440180\ 404219/482437477853036615372097560489884502140767246593697222241284\ 998289012129*c_1001_4^2 - 10164834590809150486355078315346014248500\ 493043675052487122050946727907/998146505902834376631925987220450694\ 08434602743523563222334827232209406*c_1001_4 + 2085135553287574135024853441563607329397712764812795500974239995602\ 43509/4824374778530366153720975604898845021407672465936972222412849\ 98289012129, c_0011_3 - 150216143107075518460623588503814945561904645163661390062530\ 895640805/117896281290071386071064029151619482201040370130789511917\ 32383482338*c_1001_4^25 - 65759639668397354838107233113137489417545\ 7833125112834626816434001805/11789628129007138607106402915161948220\ 104037013078951191732383482338*c_1001_4^24 - 1397789265591730224203518624821296124142175609245607357603686237705\ 87/5358921876821426639593819506891794645501835005944977814423810673\ 79*c_1001_4^23 - 45472100219835598404887334007238072207978597867192\ 53885211919357698384/5894814064503569303553201457580974110052018506\ 539475595866191741169*c_1001_4^22 - 3890591968796016841342731764390582077902182288465785425615673606774\ 772/196493802150118976785106715252699137001733950217982519862206391\ 3723*c_1001_4^21 - 273846098211391192188695809935403827621285262416\ 2539811054181834122336/65497934050039658928368905084233045667244650\ 0726608399540687971241*c_1001_4^20 - 8830044086032062805214519656515905598431453111912448243291638082270\ 8933/11789628129007138607106402915161948220104037013078951191732383\ 482338*c_1001_4^19 - 2302646076600002963280563064575702700533779630\ 7069063227104169786839812/19649380215011897678510671525269913700173\ 39502179825198622063913723*c_1001_4^18 - 1829085661238684776754048075159523455534455198454338294968493654882\ 37885/1178962812900713860710640291516194822010403701307895119173238\ 3482338*c_1001_4^17 - 951578257544764881727257710585504952612276148\ 5875338981023416242659116/53589218768214266395938195068917946455018\ 3500594497781442381067379*c_1001_4^16 - 1093351085911929987192976336574491654713697647153704945164623826979\ 8222/65497934050039658928368905084233045667244650072660839954068797\ 1241*c_1001_4^15 - 708010405793929731131109023380936861081132716852\ 56330717217981856067254/5894814064503569303553201457580974110052018\ 506539475595866191741169*c_1001_4^14 - 5174859407012110436129547657060491350653441738823640282410655950479\ 563/107178437536428532791876390137835892910036700118899556288476213\ 4758*c_1001_4^13 + 117781109399852324506900919952557565124823829401\ 86267497643319519230409/3929876043002379535702134305053982740034679\ 004359650397244127827446*c_1001_4^12 + 1597215207294923780473116000346425805324032866223584653846634613518\ 23/1847904095455664358480627416169584360517874139981026832559934715\ 1*c_1001_4^11 + 142015884863959391852038815894496992606211351487586\ 69300044354720813893/1309958681000793178567378101684660913344893001\ 453216799081375942482*c_1001_4^10 + 1898799042338760405210039121574005512197355360345256286206505744793\ 1298/19649380215011897678510671525269913700173395021798251986220639\ 13723*c_1001_4^9 + 746112932705063697997390142177771446550117174501\ 31636931474545899192201/1178962812900713860710640291516194822010403\ 7013078951191732383482338*c_1001_4^8 + 6183795504071468637275465390192215215766850747131496847958705095812\ 69/2032694505001230794328690157786542796569661553979129515815928186\ 61*c_1001_4^7 + 933926586566451132193435852840331669662761370108803\ 8510708742247669333/11789628129007138607106402915161948220104037013\ 078951191732383482338*c_1001_4^6 - 1535852938510133201040348854102005920891642217731815301963078994734\ 77/1309958681000793178567378101684660913344893001453216799081375942\ 482*c_1001_4^5 - 97382121949818853194618100534395313522644724410508\ 7894246230125929141/11789628129007138607106402915161948220104037013\ 078951191732383482338*c_1001_4^4 + 2816659138215081226729835487538356774557192573555178460436274888725\ 75/1178962812900713860710640291516194822010403701307895119173238348\ 2338*c_1001_4^3 + 2598879911275287355881734769504137029815042458242\ 1690650131591562439/19649380215011897678510671525269913700173395021\ 79825198622063913723*c_1001_4^2 + 221023804390354933893706420275963\ 5132824638818048616164390658014245/40653890100024615886573803155730\ 8559313932310795825903163185637322*c_1001_4 + 4660517328827322598621434712151040640411935503908973370050456699501\ /196493802150118976785106715252699137001733950217982519862206391372\ 3, c_0011_6 + 470871598465458707836280600684811747503844845548934209958621\ 33335542168505/2894624867118219692232585362939307012844603479562183\ 333447709989734072774*c_1001_4^25 + 1961723791359345622081138251900785007407822543285129879715410242786\ 38017275/2894624867118219692232585362939307012844603479562183333447\ 709989734072774*c_1001_4^24 + 4194032842970261574547504218471611910\ 3573777159065671018871605794017106667/13157385759628271328329933467\ 9059409674754703616462878793077726806094217*c_1001_4^23 + 1328378925878746315758451730087147303629450472716922968468972070834\ 118291827/144731243355910984611629268146965350642230173978109166672\ 3854994867036387*c_1001_4^22 + 112671087871539417643170016991358161\ 2754794101279012705791037798699202228613/48243747785303661537209756\ 0489884502140767246593697222241284998289012129*c_1001_4^21 + 7797769556180217592262013244846916803389305745993637253972408137039\ 39157642/1608124926176788717906991868299615007135890821978990740804\ 28332763004043*c_1001_4^20 + 24744076553435760051916901844074400308\ 732149865906998223922886545372919030865/289462486711821969223258536\ 2939307012844603479562183333447709989734072774*c_1001_4^19 + 6356872372203768655077218104304783185291364703236936917783516341608\ 972090846/482437477853036615372097560489884502140767246593697222241\ 284998289012129*c_1001_4^18 + 4937422780144745740420955727393489831\ 2988857580186411096750155089185555617639/28946248671182196922325853\ 62939307012844603479562183333447709989734072774*c_1001_4^17 + 2514590841692953899420110290765361814939222278790740996191076051554\ 550215208/131573857596282713283299334679059409674754703616462878793\ 077726806094217*c_1001_4^16 + 3094812667278252151948036345365105409\ 96764758440635659264675676671786951936/1786805473529765242118879853\ 6662388968176564688655452675603148084778227*c_1001_4^15 + 1694041509035854067661718192466173527508745848114245076611080488275\ 8555575909/14473124335591098461162926814696535064223017397810916667\ 23854994867036387*c_1001_4^14 + 97082780708042549205333670029031544\ 7639330779289862378440125407865911815335/26314771519256542656659866\ 9358118819349509407232925757586155453612188434*c_1001_4^13 - 4489076154650030032325234522128190722451820413173450917284569006682\ 218132469/964874955706073230744195120979769004281534493187394444482\ 569996578024258*c_1001_4^12 - 4598080921112088118773597722262523023\ 8869011859488097698583069225547079736/45370295722856108028723908510\ 02048609474300124705616510106128510554973*c_1001_4^11 - 3793997247169308601550305360204907782306844240696714188060624252390\ 994652365/321624985235357743581398373659923001427178164395798148160\ 856665526008086*c_1001_4^10 - 4789002761206510285174161301550889012\ 910426446903931514923620344837854761668/482437477853036615372097560\ 489884502140767246593697222241284998289012129*c_1001_4^9 - 1743562442969129683247420054764230321544635285010286715755150290889\ 9145876755/28946248671182196922325853629393070128446034795621833334\ 47709989734072774*c_1001_4^8 - 130186234892841175692127591236808410\ 107611561142318222818901874757538527169/499073252951417188315962993\ 61022534704217301371761781611167413616104703*c_1001_4^7 - 1231853322772110173611771451562839165934705446951384629441746881231\ 337648385/289462486711821969223258536293930701284460347956218333344\ 7709989734072774*c_1001_4^6 + 9139423993068480047482564005162804034\ 2248389604371922688450082622955908381/32162498523535774358139837365\ 9923001427178164395798148160856665526008086*c_1001_4^5 + 2264833372802423018701556273888791746048531735948279835287202508922\ 22739003/2894624867118219692232585362939307012844603479562183333447\ 709989734072774*c_1001_4^4 - 86288526036993730488516323413529776131\ 881838872635249306852917209737214351/289462486711821969223258536293\ 9307012844603479562183333447709989734072774*c_1001_4^3 - 3472915811433786522025911507947441215388061147536987184566950160113\ 825472/482437477853036615372097560489884502140767246593697222241284\ 998289012129*c_1001_4^2 - 78714815498753680728555944876547026503995\ 4136294280450699281429512638103/99814650590283437663192598722045069\ 408434602743523563222334827232209406*c_1001_4 - 1200498116684235434830974754284591326393422481764593329720688521394\ 229490/482437477853036615372097560489884502140767246593697222241284\ 998289012129, c_0011_9 - 118439998307793924332607464625316900444361563651925170406115\ 42301345/1964938021501189767851067152526991370017339502179825198622\ 063913723*c_1001_4^25 - 5082517313434332483491909634251831649395711\ 0064510913302209519478190/19649380215011897678510671525269913700173\ 39502179825198622063913723*c_1001_4^24 - 2164820134363922090033753941757477632348313684300793301200764763638\ 6/17863072922738088798646065022972648818339450019816592714746035579\ 3*c_1001_4^23 - 696605475936468394036907968128901185077771502651396\ 724652060907868318/196493802150118976785106715252699137001733950217\ 9825198622063913723*c_1001_4^22 - 593646956479157265220187829517152\ 352057336683930498366720943794256237/654979340500396589283689050842\ 330456672446500726608399540687971241*c_1001_4^21 - 4148293573044816126884869436002232482443872393124671851542538611115\ 27/2183264468334655297612296836141101522241488335755361331802293237\ 47*c_1001_4^20 - 66405548880513834324878536497680494523373476591190\ 00139842417038507351/1964938021501189767851067152526991370017339502\ 179825198622063913723*c_1001_4^19 - 3821833574817481624180217100466990908848559928537129878213795569576\ 92/7277548227782184325374322787137005074138294452517871106007644124\ 9*c_1001_4^18 - 135235348811686163621572747904197503911296331828868\ 29883445988671249340/1964938021501189767851067152526991370017339502\ 179825198622063913723*c_1001_4^17 - 1392826978672219007693169461299936874625307856481387977865986069562\ 295/178630729227380887986460650229726488183394500198165927147460355\ 793*c_1001_4^16 - 4719487057251333824421419119261143184620366648982\ 842310888401636815134/654979340500396589283689050842330456672446500\ 726608399540687971241*c_1001_4^15 - 9886978229045640559260266960721183918037706124033645761451395392686\ 935/196493802150118976785106715252699137001733950217982519862206391\ 3723*c_1001_4^14 - 323863534311116718577379896947977034136460486037\ 867756720709489128569/178630729227380887986460650229726488183394500\ 198165927147460355793*c_1001_4^13 + 1057631066649242474952384706460990087945397578324119188573977822314\ 492/654979340500396589283689050842330456672446500726608399540687971\ 241*c_1001_4^12 + 2453954442020912439498648403740805832119247563265\ 2870925419923479606/61596803181855478616020913872319478683929137999\ 36756108533115717*c_1001_4^11 + 31483369417330389976279105135974959\ 37585742475647757735008186384707283/6549793405003965892836890508423\ 30456672446500726608399540687971241*c_1001_4^10 + 9084288047553250651664604938695568928708854974315776702427576209753\ 38/2183264468334655297612296836141101522241488335755361331802293237\ 47*c_1001_4^9 + 515342195136476532753033296805558778987373664591520\ 2180651598336999364/19649380215011897678510671525269913700173395021\ 79825198622063913723*c_1001_4^8 + 807371643684701753903368399138508\ 32429267627173384700984800056115427/6775648350004102647762300525955\ 1426552322051799304317193864272887*c_1001_4^7 + 4888842288398902380442597871375376526604270130682821202826680024547\ 65/1964938021501189767851067152526991370017339502179825198622063913\ 723*c_1001_4^6 - 20637173572015341695365031225651846389216700152126\ 404032543907618185/218326446833465529761229683614110152224148833575\ 536133180229323747*c_1001_4^5 - 80500064370787128798144019935695453\ 982567729797304697792383871102007/196493802150118976785106715252699\ 1370017339502179825198622063913723*c_1001_4^4 + 2064546621004072023194340813897879190614236078181945730957949245739\ 3/19649380215011897678510671525269913700173395021798251986220639137\ 23*c_1001_4^3 + 283402661352603622938677476620074985487442720805844\ 4229089660429747/65497934050039658928368905084233045667244650072660\ 8399540687971241*c_1001_4^2 + 1949251658574970513696512513656351140\ 90150123000999062529213340752/6775648350004102647762300525955142655\ 2322051799304317193864272887*c_1001_4 + 241833454168710983615556253658057278025491679354952138146063644525/\ 654979340500396589283689050842330456672446500726608399540687971241, c_0101_0 - 160310637635666753780530835572613187795649003570391379988400\ 16807168401230/1447312433559109846116292681469653506422301739781091\ 666723854994867036387*c_1001_4^25 - 6995679074765720742655486509021719667800719790469706884970868427205\ 7445010/14473124335591098461162926814696535064223017397810916667238\ 54994867036387*c_1001_4^24 - 29663241241024274940148178281782623089\ 335363416611304441794893012360053324/131573857596282713283299334679\ 059409674754703616462878793077726806094217*c_1001_4^23 - 9623515892380861922498289882887126748819774517629928192024128581167\ 25214052/1447312433559109846116292681469653506422301739781091666723\ 854994867036387*c_1001_4^22 - 8201758057596419458011241786663513854\ 20236508290728107595390398670627444418/4824374778530366153720975604\ 89884502140767246593697222241284998289012129*c_1001_4^21 - 5752545403078710689056363403885887785793137150607114598910243856000\ 72725703/1608124926176788717906991868299615007135890821978990740804\ 28332763004043*c_1001_4^20 - 92280466244548723155060832168183390359\ 53181403080227556727209866865458926874/1447312433559109846116292681\ 469653506422301739781091666723854994867036387*c_1001_4^19 - 4787698234311260532979237306988842655737433850773959851458518410755\ 746465027/482437477853036615372097560489884502140767246593697222241\ 284998289012129*c_1001_4^18 - 1888248261178955690049638494487124856\ 2733702992116096441575330457316885873320/14473124335591098461162926\ 81469653506422301739781091666723854994867036387*c_1001_4^17 - 1946786215628930761397854428289136342808341914506423500168965387247\ 066739907/131573857596282713283299334679059409674754703616462878793\ 077726806094217*c_1001_4^16 - 2452890117601584050060976068705988786\ 82609268060520250686984631939679906542/1786805473529765242118879853\ 6662388968176564688655452675603148084778227*c_1001_4^15 - 1392619823465761641312056885864844770691949751089359100444344030592\ 5322263920/14473124335591098461162926814696535064223017397810916667\ 23854994867036387*c_1001_4^14 - 46353771390556430275461208040430874\ 1252536239731101644469270547856013166810/13157385759628271328329933\ 4679059409674754703616462878793077726806094217*c_1001_4^13 + 1437336179649082089110709584753048917213545369565401942037139706961\ 363244237/482437477853036615372097560489884502140767246593697222241\ 284998289012129*c_1001_4^12 + 3412646571941090744922914457303499757\ 4572506694326210163644783287220295792/45370295722856108028723908510\ 02048609474300124705616510106128510554973*c_1001_4^11 + 1462831841233629089410339097126214443590666229613385147047095446717\ 965197327/160812492617678871790699186829961500713589082197899074080\ 428332763004043*c_1001_4^10 + 3811499440868841693319264282696065418\ 423025321541888930654268966770397790224/482437477853036615372097560\ 489884502140767246593697222241284998289012129*c_1001_4^9 + 7236574596736239152080379325555224101739457164975471244224164638832\ 350492047/144731243355910984611629268146965350642230173978109166672\ 3854994867036387*c_1001_4^8 + 1134700297572651096892278590896284447\ 14647345103425918957335105405938771467/4990732529514171883159629936\ 1022534704217301371761781611167413616104703*c_1001_4^7 + 7255387516745512731567983346615634276152337832109918897002654287157\ 07328921/1447312433559109846116292681469653506422301739781091666723\ 854994867036387*c_1001_4^6 - 25822959396334698484490974486272969150\ 453727329860772781545992545979511410/160812492617678871790699186829\ 961500713589082197899074080428332763004043*c_1001_4^5 - 9104249358440665346378559727921164430030512406559857634578389939143\ 1782468/14473124335591098461162926814696535064223017397810916667238\ 54994867036387*c_1001_4^4 + 538902085535112703226257860057856951634\ 98364319459697218810586270370427626/1447312433559109846116292681469\ 653506422301739781091666723854994867036387*c_1001_4^3 + 4951314073569457056660973948297647004299501825274882666297177624054\ 159471/482437477853036615372097560489884502140767246593697222241284\ 998289012129*c_1001_4^2 + 15411928947329687131628536797161328317044\ 7273204895964645740353978772313/49907325295141718831596299361022534\ 704217301371761781611167413616104703*c_1001_4 + 1106412919843739467111696840064873813262532734719990892708940330680\ 537199/482437477853036615372097560489884502140767246593697222241284\ 998289012129, c_0101_1 + 150216143107075518460623588503814945561904645163661390062530\ 895640805/117896281290071386071064029151619482201040370130789511917\ 32383482338*c_1001_4^25 + 65759639668397354838107233113137489417545\ 7833125112834626816434001805/11789628129007138607106402915161948220\ 104037013078951191732383482338*c_1001_4^24 + 1397789265591730224203518624821296124142175609245607357603686237705\ 87/5358921876821426639593819506891794645501835005944977814423810673\ 79*c_1001_4^23 + 45472100219835598404887334007238072207978597867192\ 53885211919357698384/5894814064503569303553201457580974110052018506\ 539475595866191741169*c_1001_4^22 + 3890591968796016841342731764390582077902182288465785425615673606774\ 772/196493802150118976785106715252699137001733950217982519862206391\ 3723*c_1001_4^21 + 273846098211391192188695809935403827621285262416\ 2539811054181834122336/65497934050039658928368905084233045667244650\ 0726608399540687971241*c_1001_4^20 + 8830044086032062805214519656515905598431453111912448243291638082270\ 8933/11789628129007138607106402915161948220104037013078951191732383\ 482338*c_1001_4^19 + 2302646076600002963280563064575702700533779630\ 7069063227104169786839812/19649380215011897678510671525269913700173\ 39502179825198622063913723*c_1001_4^18 + 1829085661238684776754048075159523455534455198454338294968493654882\ 37885/1178962812900713860710640291516194822010403701307895119173238\ 3482338*c_1001_4^17 + 951578257544764881727257710585504952612276148\ 5875338981023416242659116/53589218768214266395938195068917946455018\ 3500594497781442381067379*c_1001_4^16 + 1093351085911929987192976336574491654713697647153704945164623826979\ 8222/65497934050039658928368905084233045667244650072660839954068797\ 1241*c_1001_4^15 + 708010405793929731131109023380936861081132716852\ 56330717217981856067254/5894814064503569303553201457580974110052018\ 506539475595866191741169*c_1001_4^14 + 5174859407012110436129547657060491350653441738823640282410655950479\ 563/107178437536428532791876390137835892910036700118899556288476213\ 4758*c_1001_4^13 - 117781109399852324506900919952557565124823829401\ 86267497643319519230409/3929876043002379535702134305053982740034679\ 004359650397244127827446*c_1001_4^12 - 1597215207294923780473116000346425805324032866223584653846634613518\ 23/1847904095455664358480627416169584360517874139981026832559934715\ 1*c_1001_4^11 - 142015884863959391852038815894496992606211351487586\ 69300044354720813893/1309958681000793178567378101684660913344893001\ 453216799081375942482*c_1001_4^10 - 1898799042338760405210039121574005512197355360345256286206505744793\ 1298/19649380215011897678510671525269913700173395021798251986220639\ 13723*c_1001_4^9 - 746112932705063697997390142177771446550117174501\ 31636931474545899192201/1178962812900713860710640291516194822010403\ 7013078951191732383482338*c_1001_4^8 - 6183795504071468637275465390192215215766850747131496847958705095812\ 69/2032694505001230794328690157786542796569661553979129515815928186\ 61*c_1001_4^7 - 933926586566451132193435852840331669662761370108803\ 8510708742247669333/11789628129007138607106402915161948220104037013\ 078951191732383482338*c_1001_4^6 + 1535852938510133201040348854102005920891642217731815301963078994734\ 77/1309958681000793178567378101684660913344893001453216799081375942\ 482*c_1001_4^5 + 97382121949818853194618100534395313522644724410508\ 7894246230125929141/11789628129007138607106402915161948220104037013\ 078951191732383482338*c_1001_4^4 - 2816659138215081226729835487538356774557192573555178460436274888725\ 75/1178962812900713860710640291516194822010403701307895119173238348\ 2338*c_1001_4^3 - 2598879911275287355881734769504137029815042458242\ 1690650131591562439/19649380215011897678510671525269913700173395021\ 79825198622063913723*c_1001_4^2 - 221023804390354933893706420275963\ 5132824638818048616164390658014245/40653890100024615886573803155730\ 8559313932310795825903163185637322*c_1001_4 - 4660517328827322598621434712151040640411935503908973370050456699501\ /196493802150118976785106715252699137001733950217982519862206391372\ 3, c_0101_2 - 160310637635666753780530835572613187795649003570391379988400\ 16807168401230/1447312433559109846116292681469653506422301739781091\ 666723854994867036387*c_1001_4^25 - 6995679074765720742655486509021719667800719790469706884970868427205\ 7445010/14473124335591098461162926814696535064223017397810916667238\ 54994867036387*c_1001_4^24 - 29663241241024274940148178281782623089\ 335363416611304441794893012360053324/131573857596282713283299334679\ 059409674754703616462878793077726806094217*c_1001_4^23 - 9623515892380861922498289882887126748819774517629928192024128581167\ 25214052/1447312433559109846116292681469653506422301739781091666723\ 854994867036387*c_1001_4^22 - 8201758057596419458011241786663513854\ 20236508290728107595390398670627444418/4824374778530366153720975604\ 89884502140767246593697222241284998289012129*c_1001_4^21 - 5752545403078710689056363403885887785793137150607114598910243856000\ 72725703/1608124926176788717906991868299615007135890821978990740804\ 28332763004043*c_1001_4^20 - 92280466244548723155060832168183390359\ 53181403080227556727209866865458926874/1447312433559109846116292681\ 469653506422301739781091666723854994867036387*c_1001_4^19 - 4787698234311260532979237306988842655737433850773959851458518410755\ 746465027/482437477853036615372097560489884502140767246593697222241\ 284998289012129*c_1001_4^18 - 1888248261178955690049638494487124856\ 2733702992116096441575330457316885873320/14473124335591098461162926\ 81469653506422301739781091666723854994867036387*c_1001_4^17 - 1946786215628930761397854428289136342808341914506423500168965387247\ 066739907/131573857596282713283299334679059409674754703616462878793\ 077726806094217*c_1001_4^16 - 2452890117601584050060976068705988786\ 82609268060520250686984631939679906542/1786805473529765242118879853\ 6662388968176564688655452675603148084778227*c_1001_4^15 - 1392619823465761641312056885864844770691949751089359100444344030592\ 5322263920/14473124335591098461162926814696535064223017397810916667\ 23854994867036387*c_1001_4^14 - 46353771390556430275461208040430874\ 1252536239731101644469270547856013166810/13157385759628271328329933\ 4679059409674754703616462878793077726806094217*c_1001_4^13 + 1437336179649082089110709584753048917213545369565401942037139706961\ 363244237/482437477853036615372097560489884502140767246593697222241\ 284998289012129*c_1001_4^12 + 3412646571941090744922914457303499757\ 4572506694326210163644783287220295792/45370295722856108028723908510\ 02048609474300124705616510106128510554973*c_1001_4^11 + 1462831841233629089410339097126214443590666229613385147047095446717\ 965197327/160812492617678871790699186829961500713589082197899074080\ 428332763004043*c_1001_4^10 + 3811499440868841693319264282696065418\ 423025321541888930654268966770397790224/482437477853036615372097560\ 489884502140767246593697222241284998289012129*c_1001_4^9 + 7236574596736239152080379325555224101739457164975471244224164638832\ 350492047/144731243355910984611629268146965350642230173978109166672\ 3854994867036387*c_1001_4^8 + 1134700297572651096892278590896284447\ 14647345103425918957335105405938771467/4990732529514171883159629936\ 1022534704217301371761781611167413616104703*c_1001_4^7 + 7255387516745512731567983346615634276152337832109918897002654287157\ 07328921/1447312433559109846116292681469653506422301739781091666723\ 854994867036387*c_1001_4^6 - 25822959396334698484490974486272969150\ 453727329860772781545992545979511410/160812492617678871790699186829\ 961500713589082197899074080428332763004043*c_1001_4^5 - 9104249358440665346378559727921164430030512406559857634578389939143\ 1782468/14473124335591098461162926814696535064223017397810916667238\ 54994867036387*c_1001_4^4 + 538902085535112703226257860057856951634\ 98364319459697218810586270370427626/1447312433559109846116292681469\ 653506422301739781091666723854994867036387*c_1001_4^3 + 4951314073569457056660973948297647004299501825274882666297177624054\ 159471/482437477853036615372097560489884502140767246593697222241284\ 998289012129*c_1001_4^2 + 15411928947329687131628536797161328317044\ 7273204895964645740353978772313/49907325295141718831596299361022534\ 704217301371761781611167413616104703*c_1001_4 + 1106412919843739467111696840064873813262532734719990892708940330680\ 537199/482437477853036615372097560489884502140767246593697222241284\ 998289012129, c_0101_3 - 1, c_0101_6 + 102939112579982200140842332398298869413099958057943480831565\ 74092893175905/1447312433559109846116292681469653506422301739781091\ 666723854994867036387*c_1001_4^25 + 5022224357582724068880381202935074841303945431454573883380849230370\ 6358940/14473124335591098461162926814696535064223017397810916667238\ 54994867036387*c_1001_4^24 + 20845817609900984254487290287172220008\ 174773172451372074625912956291614394/131573857596282713283299334679\ 059409674754703616462878793077726806094217*c_1001_4^23 + 7129735091989279261017330609796552927275689778969443529354941921939\ 52593126/1447312433559109846116292681469653506422301739781091666723\ 854994867036387*c_1001_4^22 + 6122394018334290658435098688671623856\ 78755806743482880305732077277467484084/4824374778530366153720975604\ 89884502140767246593697222241284998289012129*c_1001_4^21 + 4409815208899079878762472688889628256697402571101831519558270702247\ 78199635/1608124926176788717906991868299615007135890821978990740804\ 28332763004043*c_1001_4^20 + 72108898652352849948901304262621373024\ 77794360350463607022803341721813768862/1447312433559109846116292681\ 469653506422301739781091666723854994867036387*c_1001_4^19 + 3803605333457764805539317652900755176015741263142751190315887868266\ 267693140/482437477853036615372097560489884502140767246593697222241\ 284998289012129*c_1001_4^18 + 1538478131698006125153542623339481640\ 9968219539884836591775961268576749667908/14473124335591098461162926\ 81469653506422301739781091666723854994867036387*c_1001_4^17 + 1612617861847730231618108133610660280877634894050253135604752703735\ 235246074/131573857596282713283299334679059409674754703616462878793\ 077726806094217*c_1001_4^16 + 6298320064033859263137805262943955013\ 57474180611515793598207456136839042434/5360416420589295726356639560\ 9987166904529694065966358026809444254334681*c_1001_4^15 + 1239985467810222698223742030507290607122340374632896534188014414899\ 3946407792/14473124335591098461162926814696535064223017397810916667\ 23854994867036387*c_1001_4^14 + 47040552769659104644229753784018083\ 2149993064452429618282650790818989962490/13157385759628271328329933\ 4679059409674754703616462878793077726806094217*c_1001_4^13 - 9347901182618507475414336679877886259279056540879893584329296753750\ 15904769/4824374778530366153720975604898845021407672465936972222412\ 84998289012129*c_1001_4^12 - 27672027388376060511719324630537023442\ 500721484751639057780894545083654248/453702957228561080287239085100\ 2048609474300124705616510106128510554973*c_1001_4^11 - 1237678107313867715905017880245599062563805892974350936226721707944\ 665563072/160812492617678871790699186829961500713589082197899074080\ 428332763004043*c_1001_4^10 - 3339315539845063739272658056552596217\ 212184578217482807006014525142802901393/482437477853036615372097560\ 489884502140767246593697222241284998289012129*c_1001_4^9 - 6556504516827584784390868173810575248236524760590056317594122664865\ 360964107/144731243355910984611629268146965350642230173978109166672\ 3854994867036387*c_1001_4^8 - 1033518740914572570828954805229949982\ 12063215276692263300661727999178491296/4990732529514171883159629936\ 1022534704217301371761781611167413616104703*c_1001_4^7 - 6817440557510926429812814547493482316364021583976645685613781460940\ 38770920/1447312433559109846116292681469653506422301739781091666723\ 854994867036387*c_1001_4^6 + 32296189613881933247778219496358018243\ 323658363151338729797692373364979973/160812492617678871790699186829\ 961500713589082197899074080428332763004043*c_1001_4^5 + 1914396307166856103973588281131468175900547604657286469810518358083\ 17924676/1447312433559109846116292681469653506422301739781091666723\ 854994867036387*c_1001_4^4 - 32092186787562594449726935475326506460\ 854353642662166655858091760384637262/144731243355910984611629268146\ 9653506422301739781091666723854994867036387*c_1001_4^3 - 6779912464506596921232474465419339678553752517339530335795276851786\ 426764/482437477853036615372097560489884502140767246593697222241284\ 998289012129*c_1001_4^2 - 20981407560452522802940447493433242955447\ 8553372831432525481521773750249/49907325295141718831596299361022534\ 704217301371761781611167413616104703*c_1001_4 - 1254180371891703103455370477555203039899887019691627293975089153487\ 941988/482437477853036615372097560489884502140767246593697222241284\ 998289012129, c_1001_4^26 + 325/67*c_1001_4^25 + 7538/335*c_1001_4^24 + 23468/335*c_1001_4^23 + 12276/67*c_1001_4^22 + 133758/335*c_1001_4^21 + 246877/335*c_1001_4^20 + 396966/335*c_1001_4^19 + 8149/5*c_1001_4^18 + 647824/335*c_1001_4^17 + 643902/335*c_1001_4^16 + 101048/67*c_1001_4^15 + 259241/335*c_1001_4^14 - 31131/335*c_1001_4^13 - 53942/67*c_1001_4^12 - 389787/335*c_1001_4^11 - 380454/335*c_1001_4^10 - 275791/335*c_1001_4^9 - 148942/335*c_1001_4^8 - 52157/335*c_1001_4^7 - 3459/335*c_1001_4^6 + 4657/335*c_1001_4^5 + 449/335*c_1001_4^4 - 624/335*c_1001_4^3 - 283/335*c_1001_4^2 - 138/335*c_1001_4 - 36/335 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.040 Total time: 2.250 seconds, Total memory usage: 32.09MB