Magma V2.19-8 Wed Aug 21 2013 00:32:54 on localhost [Seed = 913319669] Type ? for help. Type -D to quit. Loading file "K14n19760__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n19760 geometric_solution 11.43326991 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -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 1 0 -1 0 0 -10 10 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.526955533630 0.395246834058 0 5 5 6 0132 0132 3201 0132 0 0 0 0 0 1 0 -1 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 -10 0 10 0 0 0 0 0 0 0 0 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.622131079114 0.983602511778 7 0 9 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.017289434628 1.312307589641 10 11 9 0 0132 0132 0213 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 -10 0 0 10 9 -9 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.680091412565 0.418722097357 5 9 0 11 3201 3201 0132 2103 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -10 10 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.009243546393 0.767944957373 1 1 12 4 2310 0132 0132 2310 0 0 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 -9 -1 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564317157719 0.437637142508 12 10 1 8 2310 3120 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -10 10 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460678928156 0.527203623281 2 8 12 11 0132 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.445641355799 0.449668084681 6 7 2 10 3201 0132 0132 0213 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 0 0 0 0 0 0 0 -10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.953635273603 0.854865625859 11 3 4 2 0132 0213 2310 0132 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 0 1 -1 0 0 0 0 9 0 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444745003268 0.383048351224 3 6 12 8 0132 3120 2310 0213 0 0 0 0 0 0 0 0 -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 0 0 0 10 0 0 -10 1 -1 0 0 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.421886864814 1.114813625029 9 3 7 4 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 10 -10 0 -1 0 1 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.644376171989 0.921041802541 7 10 6 5 2103 3201 3201 0132 0 0 0 0 0 1 0 -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 -9 0 9 -10 0 1 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.520302947043 0.798367969733 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0101_0']), 'c_1001_5' : negation(d['c_1001_10']), 'c_1001_4' : negation(d['c_0101_9']), 'c_1001_7' : d['c_0011_12'], 'c_1001_6' : negation(d['c_1001_10']), 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_9']), 'c_1001_9' : d['c_1001_3'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_1001_10']), 'c_1010_11' : d['c_1001_3'], 'c_1010_10' : d['c_0011_4'], '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' : d['c_0101_0'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_4'], 'c_1100_8' : d['c_0011_4'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0101_9']), 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0101_9']), 'c_1100_3' : negation(d['c_0101_9']), 'c_1100_2' : d['c_0011_4'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_5']), 'c_1100_10' : d['c_0011_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_0'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_1001_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_10']), 'c_1010_0' : negation(d['c_0101_9']), 'c_1010_9' : negation(d['c_0101_9']), 'c_1010_8' : d['c_0011_12'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_4'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_9'], 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_12'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_12'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_12'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : negation(d['c_0101_12'])})} 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_12, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_5, c_0101_9, c_1001_0, c_1001_10, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 9391029523135874959919046358769474816729133701323091218103355807302\ 170654/421477661649963657385038583721429618608008058590297725809876\ 9561600783*c_1001_3^19 - 118858555849837759893730365769772569055774\ 2912299811083982486421350497544/22183034823682297757107293880075243\ 0846320030836998803057829976926357*c_1001_3^18 + 2109582010692586802177503826515610074963335948481993273060747683248\ 4846969/42147766164996365738503858372142961860800805859029772580987\ 69561600783*c_1001_3^17 - 40524947551489947402955747530410726691109\ 85547512123472980205157836221769/1453371247068840197879443392142860\ 75382071744341481974417198950400027*c_1001_3^16 + 1221796655911206014609088229669277460451200149541895663553200269551\ 1333389/32421358588458742875772198747802278354462158353099825062298\ 2273969291*c_1001_3^15 - 295113195014502336167823190164058008238506\ 949241936428001722069571473500440/421477661649963657385038583721429\ 6186080080585902977258098769561600783*c_1001_3^14 + 8168181630902835061941425793777137646025499334109567530050568687310\ 36230343/4214776616499636573850385837214296186080080585902977258098\ 769561600783*c_1001_3^13 - 5826984637192294365093537185991091810731\ 4422166305846821787952922861372611/32421358588458742875772198747802\ 2783544621583530998250622982273969291*c_1001_3^12 + 1408417003337364531163067321799855879472983183990324159989565121379\ 910238694/421477661649963657385038583721429618608008058590297725809\ 8769561600783*c_1001_3^11 - 567361558669668683271763128897956139930\ 44853158499715953132715842653441814/3242135858845874287577219874780\ 22783544621583530998250622982273969291*c_1001_3^10 + 5341637684924658637011017798428170274361607305247724979158239890590\ 9611955/38316151059087605216821689429220874418909823508208884164534\ 2687418253*c_1001_3^9 - 1526391312150817152949195764131398944451547\ 5520804913440108591977268645247/42147766164996365738503858372142961\ 86080080585902977258098769561600783*c_1001_3^8 - 7111946599583767044277365313318695474699745383952770326002025592157\ 808643/980180608488287575314043217956813066530251299047204013511341\ 75851181*c_1001_3^7 + 477587500871455182402137557649215832653759032\ 076372068449227625422009277898/421477661649963657385038583721429618\ 6080080585902977258098769561600783*c_1001_3^6 - 1876035456721295001465258045543488721912784674765317911083745843574\ 5665060/22183034823682297757107293880075243084632003083699880305782\ 9976926357*c_1001_3^5 + 2297420756269469081890890819444153690109705\ 64871012533751595885526896527380/4214776616499636573850385837214296\ 186080080585902977258098769561600783*c_1001_3^4 - 1003525982143763473586815143633590136150398563234670417002621842915\ 22001617/4214776616499636573850385837214296186080080585902977258098\ 769561600783*c_1001_3^3 + 33204627276498153177837543627609916610981\ 556967745924509738232394921904997/421477661649963657385038583721429\ 6186080080585902977258098769561600783*c_1001_3^2 - 8317218112320866515274239773581469306645098552748783320378379376442\ 137109/421477661649963657385038583721429618608008058590297725809876\ 9561600783*c_1001_3 + 244090263771618019715597742296604155371136162\ 7929082999243764681694658460/42147766164996365738503858372142961860\ 80080585902977258098769561600783, c_0011_0 - 1, c_0011_10 + 51805795297277344407283915691622370066744789102445869/95659\ 41940126255450628503062090416645268660371960597*c_1001_3^19 - 137065215725761476236761952851953641545588291956034668/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^18 + 159321693475356703722627786725522593758864497292540426/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^17 - 24855641455644286982387310306529813670074959533440085/3298600669009\ 05360366500105589324711905815874895193*c_1001_3^16 + 1108490579265146043383434092106837037694207256213862166/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^15 - 2074591455965338735812735043618811985090702102746150460/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^14 + 5344440235205064104570032559161649022594752652687251372/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^13 - 6126013494890879697497322022381649243096560409592187717/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^12 + 10710779282924405447955773470347030040264411897457817007/9565941940\ 126255450628503062090416645268660371960597*c_1001_3^11 - 8876574011551873519929654487571386224337999760070791692/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^10 + 9022506609158618176376280904613566633729643962531282150/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^9 - 6220718752408697197524303647021685769237269620351114036/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^8 + 4105620059910409405649775306038379076306988037292781432/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^7 - 1695271643421684322220277526378509034525429216240498770/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^6 + 964082389694467300717457659875352102065686304810878824/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^5 - 346071560597132214295937860264051469093241433282747666/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^4 + 145040084033689707397465067241078832247299991245003423/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^3 - 65491241699784407130338076932702880299516246028276162/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^2 + 17035930057669098313917242405819425622845123354811694/9565941940126\ 255450628503062090416645268660371960597*c_1001_3 + 432394772489561374129972945915269116056397121601658/956594194012625\ 5450628503062090416645268660371960597, c_0011_12 - 55532582256682363404091953668152543937488960744844276/95659\ 41940126255450628503062090416645268660371960597*c_1001_3^19 + 135716100633004180450563824677579365305423520140621979/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^18 - 138971716964784211442214520912956224044756523299026391/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^17 + 25564575255856756910986437755177586997749268672655792/3298600669009\ 05360366500105589324711905815874895193*c_1001_3^16 - 1045870651138441829699584603535929937599156628406755450/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^15 + 1973514564942485208994543666595025208675692669465240660/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^14 - 5348658460276089813660834070156516154218852380668454736/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^13 + 5469124784413595059442458216683258430980743967096221938/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^12 - 10230151454915962715252060709806317363021294979293550783/9565941940\ 126255450628503062090416645268660371960597*c_1001_3^11 + 7735378856033447791024993004421608860147416616070319415/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^10 - 8037800625896447519588090892158395962186190516032970717/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^9 + 5864837016828409520085547139245398212118674681840472909/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^8 - 3550458776584140699446307161853497113112808372507233038/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^7 + 1779178961781598708475551638611385457435091854956974957/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^6 - 1054356213308503768097901198480363185294103067206305141/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^5 + 479577925717390632595497476820361042344944218025074980/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^4 - 165671982410934397602961673158071166139696122032262197/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^3 + 75669666777803999724081064766596362757715276711682675/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^2 - 25275382289591593432579406392415805056293599918841667/9565941940126\ 255450628503062090416645268660371960597*c_1001_3 + 241863861751293954357791007742125136883004211176965/956594194012625\ 5450628503062090416645268660371960597, c_0011_4 + 32157120297989504051132198063130674997356463128945069/956594\ 1940126255450628503062090416645268660371960597*c_1001_3^19 - 75872003341364361172464951345048028660298869199440387/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^18 + 65731817532933054291066528094208937395362777745637722/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^17 - 13832901817822999911398710066175241732652594411481826/3298600669009\ 05360366500105589324711905815874895193*c_1001_3^16 + 543652459617369490684652508950102250456900444158977769/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^15 - 976734534248861808010074870327216635640449963805135036/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^14 + 2827465984599097744489504816131109164260424775905975647/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^13 - 2571596114817078481413318334565928473064698686353591123/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^12 + 4806592818422920220307007719646048599554457023641964650/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^11 - 3010568546729479461642761841235736620784594597764545602/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^10 + 2528433627382398223073981519315324846006128269884791733/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^9 - 1568760126945070134243722239070758533083220198143150338/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^8 + 291132410079918010828139186729458005714383621745377862/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^7 + 186963371020826449858482133589114465780093285137311908/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^6 - 81677282471115652854686776647220185534233811890151880/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^5 + 92108467475122803193934588890372245544203526528876195/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^4 - 43293822228938139976947036795928050363153801788203020/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^3 - 5365553616932207339604196274348290539812170599673297/95659419401262\ 55450628503062090416645268660371960597*c_1001_3^2 - 10061062365350106356919685826067826648226807844128457/9565941940126\ 255450628503062090416645268660371960597*c_1001_3 + 6156022980391463205068070510551476486442962446185885/95659419401262\ 55450628503062090416645268660371960597, c_0101_0 - 79325234681482167574139238001881248135398528495240602/956594\ 1940126255450628503062090416645268660371960597*c_1001_3^19 + 164658053885156730767721034852351027109856677069869589/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^18 - 137933023250177615974720132157485520872467804521376525/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^17 + 34614836176773159779390799097982060847664750809627492/3298600669009\ 05360366500105589324711905815874895193*c_1001_3^16 - 1109730887527897486835771347937366246072645230797238274/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^15 + 2391919368096294545013886919692972870302596679508728726/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^14 - 6695271035488651464882329256590497571727424405483282809/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^13 + 5219129600157201917943941439754795735579849399076078852/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^12 - 12483688411857256076277210380166037051409470446539281075/9565941940\ 126255450628503062090416645268660371960597*c_1001_3^11 + 5927761405459259312870424688325945787935484308815076456/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^10 - 8561216575569180240163929914142267279127735575196097463/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^9 + 4184849975876042445312159720672579717484270421822244845/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^8 - 2427167828613455395241464994008544012405019823190918370/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^7 + 773313042075724031076566992898230810870987067064515689/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^6 - 511015382066589596241257326580230893969212777159531448/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^5 + 58294326478945749551208611462778061899753959344284422/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^4 - 51195227714243401127474183376315259104501255347095169/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^3 + 26548196063799650742644847604264544402583589758687994/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^2 + 194094060724152623564395400034949227536526353092128/956594194012625\ 5450628503062090416645268660371960597*c_1001_3 - 5811714505694992066344658159637852510609922430166703/95659419401262\ 55450628503062090416645268660371960597, c_0101_1 - 71704494167608097560504068882406563177473745193714867/956594\ 1940126255450628503062090416645268660371960597*c_1001_3^19 + 126053204391198084754429919806002678150142036050378631/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^18 - 81567434516499353443913349444541646278378155108004983/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^17 + 30279734434787637987871112556452262949931852071070903/3298600669009\ 05360366500105589324711905815874895193*c_1001_3^16 - 724174848740246128847062394553522018319742121626295197/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^15 + 1895914637641761915499026051197597951457081080054696053/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^14 - 5441554258715957009839928313583478494972541298829798317/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^13 + 2927167814032711050291901072584283444952845267752257028/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^12 - 10163419564937790551512818311032625080715609851555810066/9565941940\ 126255450628503062090416645268660371960597*c_1001_3^11 + 2146403169244631788481985681335577558112511543161149002/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^10 - 6681144907063982894596524900452652422247145782605480906/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^9 + 1777100395514196057553794069297132480819608390615351204/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^8 - 1362527143164238786386673261383721365035705199980193044/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^7 + 234566071447897036939789286123289725035005360163009530/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^6 - 343448175824718569841557804657516498548785455346638502/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^5 - 115922877411394189892864321892880297551960578257994966/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^4 - 57243771416899566706844070771610114385512844556005665/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^3 + 16999758569454759374815620464456524817060930627564194/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^2 + 5159803083115573299015032556956748234629105050077648/95659419401262\ 55450628503062090416645268660371960597*c_1001_3 + 3662674232777115285122088434889260353238875097308621/95659419401262\ 55450628503062090416645268660371960597, c_0101_11 + 54626578224160714765223658184003039824854732533185094/95659\ 41940126255450628503062090416645268660371960597*c_1001_3^19 - 142227651048748836793834978021669711119663852937212592/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^18 + 203377401649738128910259866020909810722810782934072971/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^17 - 28756236358272498439833344059503440020632962636189790/3298600669009\ 05360366500105589324711905815874895193*c_1001_3^16 + 1202897578192474940545100619785896005675441125692856663/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^15 - 2663869930169074809333761415861057085846719195473858317/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^14 + 6066074402446724904706437158193309132463084550167471045/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^13 - 7458475303069420496906199129219102594916325726187466303/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^12 + 14433548672373539620171949888778502625059468909370162886/9565941940\ 126255450628503062090416645268660371960597*c_1001_3^11 - 11312193508690307923378148287659640442750311793577828217/9565941940\ 126255450628503062090416645268660371960597*c_1001_3^10 + 15698342862533016610257577971534424629264536583296486862/9565941940\ 126255450628503062090416645268660371960597*c_1001_3^9 - 8751859626115815084146641630993376877107637710962847957/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^8 + 8835503615847800011799401318299450370238233779319402787/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^7 - 3608955159503825949449002280458709760148541153532150503/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^6 + 2370222162720177691731327910693154809567146579694270272/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^5 - 863512028912908048151525916527897712550547283570995566/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^4 + 462349055764403380551863873924930940385840019562041431/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^3 - 122393008967949262503283081740940406054917603286150565/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^2 + 72065479377606391678125810473981162235297660684126875/9565941940126\ 255450628503062090416645268660371960597*c_1001_3 - 14936328306934663875779403683461091172049095977228638/9565941940126\ 255450628503062090416645268660371960597, c_0101_12 + 53446629870170958961933249774783887498971675602341849/95659\ 41940126255450628503062090416645268660371960597*c_1001_3^19 - 141492765938732999396801521712884465246169824050778887/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^18 + 187846701063490675005597488597322043956262157752117989/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^17 - 27330152291857144939490800394942106787782793934988004/3298600669009\ 05360366500105589324711905815874895193*c_1001_3^16 + 1186923912548015754661894006525064744672507564037021023/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^15 - 2438335764929304762748412417652308182770410534203383449/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^14 + 5847881629219301495068480029968737378244929831281942573/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^13 - 7046079986598625771525158073633302297959381343596891655/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^12 + 13041226121878940159848372969114433515229661882007505327/9565941940\ 126255450628503062090416645268660371960597*c_1001_3^11 - 10757493442768191335743640126093917638628706214507752336/9565941940\ 126255450628503062090416645268660371960597*c_1001_3^10 + 13071236010742108075155898781122992082611360002093187704/9565941940\ 126255450628503062090416645268660371960597*c_1001_3^9 - 8250380863997646738184326213604316879575343915164059382/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^8 + 6893433547526497932831657195328061889144218614632856723/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^7 - 3047191441108543744703539546898504657744067284197015895/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^6 + 1793283756768021693483539512924698738966939129338063724/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^5 - 646833477437235374711046262780184502796739886054798575/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^4 + 303482955068244768154130271538606439884086075724898015/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^3 - 106672946843112756878462807973190269302605674451698349/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^2 + 41548900953609988185016631384682461162587242316083326/9565941940126\ 255450628503062090416645268660371960597*c_1001_3 - 9375393599109371417930158844838639143958767458470400/95659419401262\ 55450628503062090416645268660371960597, c_0101_5 - 67355339712493651939700382370791861572611717320013418/956594\ 1940126255450628503062090416645268660371960597*c_1001_3^19 + 156697890580771589487766111343989517294414917663555700/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^18 - 144525437937133479303396949447824686502653756042022710/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^17 + 29559376016205441253186604921521449523087165237173997/3298600669009\ 05360366500105589324711905815874895193*c_1001_3^16 - 1127519438662419823854633565945646457918434729314071828/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^15 + 2161141678186854393738865286707219436544546768146146004/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^14 - 5982856043784363538477046905527137020876498739550143446/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^13 + 5540071845949605150915135345643087098910271718716850250/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^12 - 10842239947924894977792183131789084804106780733792324832/9565941940\ 126255450628503062090416645268660371960597*c_1001_3^11 + 6542534475426501229917569269530513221900658944612128148/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^10 - 6986193635156726615862740000520007219128064237466213590/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^9 + 3617870863952054860472211470616893450896838372650513263/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^8 - 1906834333000745807918885974617614700109124342535035003/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^7 - 6837725787662897167547361887768365470029674795932472/95659419401262\ 55450628503062090416645268660371960597*c_1001_3^6 - 178957605606827043224665417769087063111241886443987804/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^5 - 108279886125438330804696363893613306893838672374077849/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^4 + 33153424600814145839480744755955947994218164884245654/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^3 - 16631044411530921339260464035985578625747855143520983/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^2 + 5848457902451784899935882109935726833971789723244502/95659419401262\ 55450628503062090416645268660371960597*c_1001_3 - 10429123565814841758331807205243031605146325985229408/9565941940126\ 255450628503062090416645268660371960597, c_0101_9 + 36996780484526311744720682081798986507876432406136916/956594\ 1940126255450628503062090416645268660371960597*c_1001_3^19 - 78448756456995087771946826595791407086768327879343486/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^18 + 67064276410596656380137585224085849306657186937154061/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^17 - 16201134507076762022250787389194176682797167433329267/3298600669009\ 05360366500105589324711905815874895193*c_1001_3^16 + 537298880824588901530888568170507511524701570476634081/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^15 - 1130095215429276984398777894204760026672641046668769429/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^14 + 3165746988537802556803769619807967584663261546420551112/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^13 - 2550211995272239550256440528620980604080919121453087551/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^12 + 5881538716945437922926560158635339542438803612593746459/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^11 - 2986917859626171120664239999432125589973491687814165581/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^10 + 3999152333239155712880981917903184034422214992074238668/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^9 - 2130391213566684287941408943139943069361383381699260627/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^8 + 1087363776835914668127515400206740824277966070563667681/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^7 - 454182763148847629367956868109589063857417822024523932/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^6 + 151744525440327555080630900835709724215096334739490575/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^5 - 70021697452070492853228831179734131245712441625748527/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^4 - 19814112166836426813508802514278325456070354960090916/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^3 - 9747438370741762613187666150761417883693868399252365/95659419401262\ 55450628503062090416645268660371960597*c_1001_3^2 - 6411768579919506439597580750827501982226607015599672/95659419401262\ 55450628503062090416645268660371960597*c_1001_3 + 1853433183872088640150755147795676300328607787984829/95659419401262\ 55450628503062090416645268660371960597, c_1001_0 - 41944355403984203100477036775952441015295498450445439/956594\ 1940126255450628503062090416645268660371960597*c_1001_3^19 + 115851007703565577150573050894212463686671635581253402/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^18 - 139735129342385529855299948731293629771491696420946312/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^17 + 20509867215349391525919373121860246603881856656208277/3298600669009\ 05360366500105589324711905815874895193*c_1001_3^16 - 960894681705461803841510066608852514954380736801666140/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^15 + 1754998826074364063689371629213429579039844187315920340/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^14 - 4499957279770234517758791923711740181275929150460643150/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^13 + 5382903876065172103730818827570382890987937639433076397/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^12 - 9074878461547075518194243380591520414674813167034934664/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^11 + 8064783214710185799525705114690400955454611670764874848/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^10 - 7707560208183907418826076321334622529966440252020110751/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^9 + 5806832430263602306732435620981355491284115924479893163/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^8 - 3473373042589979102687974449556894082513603612543686219/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^7 + 1754686756543147712803932233733547937190975994298323542/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^6 - 737136939663630509777851880151081172412456874886122090/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^5 + 352202323996235729108271533338173133304073968681650911/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^4 - 97829056454689425087380293389395798860949748338794841/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^3 + 49374047382722334518041856254827241597312489899477532/9565941940126\ 255450628503062090416645268660371960597*c_1001_3^2 - 10128823978058550804547564714424219867708660096586135/9565941940126\ 255450628503062090416645268660371960597*c_1001_3 + 430577302729675408754716333452992280086935562723238/956594194012625\ 5450628503062090416645268660371960597, c_1001_10 - 37646954767543154022401617795485583193576543409161014/95659\ 41940126255450628503062090416645268660371960597*c_1001_3^19 + 116495452753276306447394307087674223500033786277657721/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^18 - 153722022934491540591385185620482803966153254629495264/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^17 + 19536011108646643803238920600190227617619918575260341/3298600669009\ 05360366500105589324711905815874895193*c_1001_3^16 - 1041730181664997005528488289679116603002198624817392328/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^15 + 1797619315003936022921665928523189650803953423304698337/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^14 - 4529792029889861529932525671464048666815325610630135732/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^13 + 6093307843405329212017432918332771017226984002479041995/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^12 - 9390855411894769082643791699110676478865886288650308221/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^11 + 9977827713155405167233977751785323907800467035233548706/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^10 - 8932433425069454740464203753248460710343538374538318269/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^9 + 7852979848317640183091828753239500568914901133554191515/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^8 - 5027394496563216898194724551104771004871181259151325922/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^7 + 2856849433790215785959778473813104960313810212007635829/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^6 - 1529131839569682702449086125027086603669592771948456550/95659419401\ 26255450628503062090416645268660371960597*c_1001_3^5 + 741544231660153356537925833417005323788965469434964814/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^4 - 279692745959243549497579702118107318099642657879972602/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^3 + 116911625924090669435810519930823763667182271666049306/956594194012\ 6255450628503062090416645268660371960597*c_1001_3^2 - 45959273813271772556918054158110046698497840413256377/9565941940126\ 255450628503062090416645268660371960597*c_1001_3 + 10079499957862980208434385035745770598095996080290544/9565941940126\ 255450628503062090416645268660371960597, c_1001_3^20 - 463/191*c_1001_3^19 + 499/191*c_1001_3^18 - 2601/191*c_1001_3^17 + 3588/191*c_1001_3^16 - 7082/191*c_1001_3^15 + 18651/191*c_1001_3^14 - 19253/191*c_1001_3^13 + 37212/191*c_1001_3^12 - 27573/191*c_1001_3^11 + 31230/191*c_1001_3^10 - 21218/191*c_1001_3^9 + 14254/191*c_1001_3^8 - 6911/191*c_1001_3^7 + 4166/191*c_1001_3^6 - 8*c_1001_3^5 + 762/191*c_1001_3^4 - 310/191*c_1001_3^3 + 110/191*c_1001_3^2 - 14/191*c_1001_3 + 13/191 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 16.240 Total time: 16.440 seconds, Total memory usage: 139.69MB