Magma V2.19-8 Wed Aug 21 2013 00:52:30 on localhost [Seed = 2749740550] Type ? for help. Type -D to quit. Loading file "L12a358__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a358 geometric_solution 11.38048315 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1230 0132 0132 1 1 0 1 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 1 -1 0 0 0 0 0 1 0 -1 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.376528840169 1.070006318964 0 4 0 5 0132 0132 3012 0132 1 1 1 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 -4 4 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.707365741048 0.831597670138 6 7 5 0 0132 0132 1230 0132 1 1 1 1 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 1 0 -1 0 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.797108268836 0.689779468488 4 4 0 5 0132 1302 0132 1230 1 1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -5 5 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.376528840169 1.070006318964 3 1 6 3 0132 0132 3120 2031 1 1 0 1 0 0 1 -1 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 5 -5 0 0 -1 1 1 -1 0 0 5 -4 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.406533021112 0.697695305706 3 8 1 2 3012 0132 0132 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.678490357650 0.567272360889 2 8 4 9 0132 2310 3120 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.095711337866 0.774626072848 8 2 10 10 2310 0132 0132 0321 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 -5 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.159199493086 0.718852749717 9 5 7 6 3201 0132 3201 3201 1 1 1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 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.815329473025 1.435377788488 11 10 6 8 0132 0213 0132 2310 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 0 0 0 0 0 0 0 0 0 0 -1 1 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.159199493086 0.718852749717 11 7 9 7 2031 0321 0213 0132 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 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.706324797507 1.326067205010 9 12 10 12 0132 0132 1302 1023 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 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 1.059575097572 2.342753273032 12 11 12 11 2031 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377434100681 0.199999163030 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_2'], 'c_1001_10' : negation(d['c_0110_8']), 'c_1001_12' : d['c_0110_12'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_1001_4']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_1001_0'], 'c_1001_9' : negation(d['c_0110_8']), 'c_1001_8' : negation(d['c_0101_2']), 'c_1010_12' : d['c_0101_2'], 'c_1010_11' : d['c_0110_12'], 'c_1010_10' : d['c_1001_0'], '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' : negation(d['c_0011_10']), 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : negation(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' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : 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' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : negation(d['c_0110_8']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_0110_5'], 'c_1100_3' : d['c_0110_5'], 'c_1100_2' : d['c_0110_5'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_5']), 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0110_8']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_0'], 'c_1010_6' : negation(d['c_0110_8']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : negation(d['c_0110_8']), 'c_1010_8' : d['c_1001_4'], 'c_1100_8' : d['c_0011_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_11'], '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' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0101_2'], 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : d['c_0011_11'], 'c_0101_7' : d['c_0101_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_1'], '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_0101_2'], 'c_0101_8' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_2']})} 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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0110_12, c_0110_5, c_0110_8, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 6640220899511772597001519189368155698486354260546353503476489440460\ 8/522939156468980017245970744174632465675054146036630730165374905*c\ _1001_4^19 - 921377232173081451613213133986810618983660687641087376\ 6508905889792/47539923315361819749633704015875678697732195094239157\ 287761355*c_1001_4^18 - 1613402837875886252303526261756373321463361\ 04471612365232868941627392/5229391564689800172459707441746324656750\ 54146036630730165374905*c_1001_4^17 - 1232087444556266059620041153128097138523688800317521936764312527831\ 04/522939156468980017245970744174632465675054146036630730165374905*\ c_1001_4^16 - 34084196657094508881957652638331722709375765327841269\ 05704995880960/6152225370223294320540832284407440772647695835725067\ 413710293*c_1001_4^15 - 3164860357596902643157882190433895574199356\ 67119672285417305557434368/5229391564689800172459707441746324656750\ 54146036630730165374905*c_1001_4^14 - 3837867257648627281319555349943727941766245247503470650691662669414\ 4/47539923315361819749633704015875678697732195094239157287761355*c_\ 1001_4^13 - 2667710464626445580010716956170651696798953073006655716\ 13865962504192/5229391564689800172459707441746324656750541460366307\ 30165374905*c_1001_4^12 - 31404441526440136286786226972829599151545\ 756643170682649271886938112/402260889591523090189208264749717281288\ 50318925894671551182685*c_1001_4^11 - 3548362200167457434257881006347817083999807826629766203580695382343\ 68/522939156468980017245970744174632465675054146036630730165374905*\ c_1001_4^10 - 37984921175717002797311899433389147192875960599212196\ 6731525280169984/52293915646898001724597074417463246567505414603663\ 0730165374905*c_1001_4^9 - 3398204877286278562773536273006763488585\ 1545475290340030645639737344/10458783129379600344919414883492649313\ 5010829207326146033074981*c_1001_4^8 - 3725709020577764005482238768798000765505190545863156690939176634777\ 6/104587831293796003449194148834926493135010829207326146033074981*c\ _1001_4^7 - 1328922757516503204557134771531721936651820781426160745\ 25720746522624/5229391564689800172459707441746324656750541460366307\ 30165374905*c_1001_4^6 - 114991834727611789339829769188150598982844\ 045053221186799066844926976/522939156468980017245970744174632465675\ 054146036630730165374905*c_1001_4^5 - 2707144714256774019570229111523784293925432540300688714349120229017\ 6/522939156468980017245970744174632465675054146036630730165374905*c\ _1001_4^4 - 7135267062459013295315393062889318704224138940070324980\ 13740342784/4022608895915230901892082647497172812885031892589467155\ 1182685*c_1001_4^3 - 9835277254234332733387182909916672782737135449\ 04125687185801049696/1045878312937960034491941488349264931350108292\ 07326146033074981*c_1001_4^2 - 366987389523810312115909196012205913\ 4510551170480155306011359526272/52293915646898001724597074417463246\ 5675054146036630730165374905*c_1001_4 - 1280001318913077634715719894681746244382742678401914799825795354928\ /522939156468980017245970744174632465675054146036630730165374905, c_0011_0 - 1, c_0011_10 - 145759669983335246102259289262115326427398144/2537909675021\ 4883055503290379395535016567309*c_1001_4^19 - 56659195623621723849063213435172548522278912/2307190613655898459591\ 208216308685001506119*c_1001_4^18 - 776863749588439175233487991039161620542783488/253790967502148830555\ 03290379395535016567309*c_1001_4^17 - 1171004678791813613533575231804855267384885248/25379096750214883055\ 503290379395535016567309*c_1001_4^16 - 1156896504481537327776243365741447203276685312/25379096750214883055\ 503290379395535016567309*c_1001_4^15 - 2534128692786099269449425778606623944959066112/25379096750214883055\ 503290379395535016567309*c_1001_4^14 - 204980863455268476958455708861904983428857856/230719061365589845959\ 1208216308685001506119*c_1001_4^13 - 3117827810770976072759807009613046341782536192/25379096750214883055\ 503290379395535016567309*c_1001_4^12 - 1995085976357073070474129646458822935244281856/25379096750214883055\ 503290379395535016567309*c_1001_4^11 - 3646633135475631200507324388030227062845128704/25379096750214883055\ 503290379395535016567309*c_1001_4^10 - 2286994960253755407501089179311392876367266816/25379096750214883055\ 503290379395535016567309*c_1001_4^9 - 2904178963278067665517337876521121905760788480/25379096750214883055\ 503290379395535016567309*c_1001_4^8 - 1067378500959676291219786655280052523575434752/25379096750214883055\ 503290379395535016567309*c_1001_4^7 - 1959057431777680578504257172819653549737187328/25379096750214883055\ 503290379395535016567309*c_1001_4^6 - 750737121496964774067749489193903004225470016/253790967502148830555\ 03290379395535016567309*c_1001_4^5 - 964866728907242500290989139289120319389881448/253790967502148830555\ 03290379395535016567309*c_1001_4^4 - 91300198128683744301941710917209452214937848/2537909675021488305550\ 3290379395535016567309*c_1001_4^3 - 260930160501016227081373475133218286451709944/253790967502148830555\ 03290379395535016567309*c_1001_4^2 - 8451359771628570647771471560588578875624264/25379096750214883055503\ 290379395535016567309*c_1001_4 - 4079374657441227844974063563603370\ 2767129769/25379096750214883055503290379395535016567309, c_0011_11 - 912912670895538646698211275650833440620150784/2537909675021\ 4883055503290379395535016567309*c_1001_4^19 - 82236933152157203646183160427462405172232192/2307190613655898459591\ 208216308685001506119*c_1001_4^18 - 1595220677236777210028873031436251355167588352/25379096750214883055\ 503290379395535016567309*c_1001_4^17 - 671283881278706015318603940401817699911991296/253790967502148830555\ 03290379395535016567309*c_1001_4^16 - 3262920991593766210622480501941793790230200320/25379096750214883055\ 503290379395535016567309*c_1001_4^15 - 2310995441052899099212325850122477825766170624/25379096750214883055\ 503290379395535016567309*c_1001_4^14 - 346137990451309077454128114435707312249044992/230719061365589845959\ 1208216308685001506119*c_1001_4^13 - 953236116157311082775027712648152879571234816/253790967502148830555\ 03290379395535016567309*c_1001_4^12 - 4011969670714433700585775834824890352047790080/25379096750214883055\ 503290379395535016567309*c_1001_4^11 - 1977254933300227994756903671555344525743538688/25379096750214883055\ 503290379395535016567309*c_1001_4^10 - 2911018972202361075882187889429851922822676480/25379096750214883055\ 503290379395535016567309*c_1001_4^9 + 131655714943476552086882705402338228269924608/253790967502148830555\ 03290379395535016567309*c_1001_4^8 - 1512536968937286778976278684844674723580259584/25379096750214883055\ 503290379395535016567309*c_1001_4^7 - 381319045497397835275496528815228053138794432/253790967502148830555\ 03290379395535016567309*c_1001_4^6 - 637710475800914013335943265839436427456205600/253790967502148830555\ 03290379395535016567309*c_1001_4^5 + 394030271552852085700470809009766535013089536/253790967502148830555\ 03290379395535016567309*c_1001_4^4 + 38226115944576409604124025865394317377114488/2537909675021488305550\ 3290379395535016567309*c_1001_4^3 + 74554783099843522023485633787638946662484902/2537909675021488305550\ 3290379395535016567309*c_1001_4^2 + 22092975260710529551255532617686002088498578/2537909675021488305550\ 3290379395535016567309*c_1001_4 + 870001251101592647049568918556701\ 3189081771/25379096750214883055503290379395535016567309, c_0011_2 + 99236460948270427498285159789956492374310912/230719061365589\ 8459591208216308685001506119*c_1001_4^19 + 100566064828903586312972891836106932763885568/230719061365589845959\ 1208216308685001506119*c_1001_4^18 + 204321752472916796738287471954448713473064960/230719061365589845959\ 1208216308685001506119*c_1001_4^17 + 106478150591882385557000078981889490100420608/230719061365589845959\ 1208216308685001506119*c_1001_4^16 + 420403172748862916615882214706985537893236736/230719061365589845959\ 1208216308685001506119*c_1001_4^15 + 296050095923061223402702368044304307667820544/230719061365589845959\ 1208216308685001506119*c_1001_4^14 + 551099161330724997737928527991371068965814272/230719061365589845959\ 1208216308685001506119*c_1001_4^13 + 207130241288004020174723342049810211350417408/230719061365589845959\ 1208216308685001506119*c_1001_4^12 + 616835182327291190123640803591055887423170560/230719061365589845959\ 1208216308685001506119*c_1001_4^11 + 303525993502186710801363920059319436596267520/230719061365589845959\ 1208216308685001506119*c_1001_4^10 + 519174150909365580112937677511269204643229696/230719061365589845959\ 1208216308685001506119*c_1001_4^9 + 97386443967570833522316484600789213196600832/2307190613655898459591\ 208216308685001506119*c_1001_4^8 + 334282264014760419450730392787096069997974272/230719061365589845959\ 1208216308685001506119*c_1001_4^7 + 93766642258581884812856187161492516121500160/2307190613655898459591\ 208216308685001506119*c_1001_4^6 + 175809871122773886913733533223374062509562752/230719061365589845959\ 1208216308685001506119*c_1001_4^5 - 4078899576519523326675657427865088537692336/23071906136558984595912\ 08216308685001506119*c_1001_4^4 + 481759411829311320772436145053292\ 58482050872/2307190613655898459591208216308685001506119*c_1001_4^3 - 2237532095628927518904035515667467797274230/23071906136558984595912\ 08216308685001506119*c_1001_4^2 + 789274515501863820269444384030476\ 9586722690/2307190613655898459591208216308685001506119*c_1001_4 - 398603885095054084683793719705966337958285/230719061365589845959120\ 8216308685001506119, c_0011_5 - 7437010565060429359130335207435701249114112/2537909675021488\ 3055503290379395535016567309*c_1001_4^19 - 3381692823222394262885653764814049042759680/23071906136558984595912\ 08216308685001506119*c_1001_4^18 - 44759820842084822129220335573998519825924096/2537909675021488305550\ 3290379395535016567309*c_1001_4^17 - 71990284431210901736651900971481409177518080/2537909675021488305550\ 3290379395535016567309*c_1001_4^16 - 65369806873479231445312768954558138206158848/2537909675021488305550\ 3290379395535016567309*c_1001_4^15 - 155348090723740787196167903386841720260722688/253790967502148830555\ 03290379395535016567309*c_1001_4^14 - 11940415166173786606702075115449118588538880/2307190613655898459591\ 208216308685001506119*c_1001_4^13 - 195920997276693291918450376652852870403080192/253790967502148830555\ 03290379395535016567309*c_1001_4^12 - 115319259059849364721373236649887538948135936/253790967502148830555\ 03290379395535016567309*c_1001_4^11 - 230838640998925350224085536896728118607777792/253790967502148830555\ 03290379395535016567309*c_1001_4^10 - 134732702220253634599810706680076313751311616/253790967502148830555\ 03290379395535016567309*c_1001_4^9 - 191436811790748322184431589934383548908947456/253790967502148830555\ 03290379395535016567309*c_1001_4^8 - 62740334759364287264592491935242056681536384/2537909675021488305550\ 3290379395535016567309*c_1001_4^7 - 136716958760658712520991253954317301459355136/253790967502148830555\ 03290379395535016567309*c_1001_4^6 - 44688272366105788000745745897032721241212992/2537909675021488305550\ 3290379395535016567309*c_1001_4^5 - 78502946224258503187584467129140454775116544/2537909675021488305550\ 3290379395535016567309*c_1001_4^4 - 5624022133556017811433671203551433650758740/25379096750214883055503\ 290379395535016567309*c_1001_4^3 - 45447663468391627810311319480481668841015776/2537909675021488305550\ 3290379395535016567309*c_1001_4^2 - 523603778408038149450765749473970011516705/253790967502148830555032\ 90379395535016567309*c_1001_4 - 20789204684792336487718663298964133\ 224047776/25379096750214883055503290379395535016567309, c_0101_0 - 1, c_0101_1 - 575562145705873258773180235050279546279952384/25379096750214\ 883055503290379395535016567309*c_1001_4^19 - 52999923297357608012028233659792295229915136/2307190613655898459591\ 208216308685001506119*c_1001_4^18 - 1188322912467192854438102661513513632030261248/25379096750214883055\ 503290379395535016567309*c_1001_4^17 - 620321966547958080902400570624278066105876480/253790967502148830555\ 03290379395535016567309*c_1001_4^16 - 2446184135467938094176020370553884537582321664/25379096750214883055\ 503290379395535016567309*c_1001_4^15 - 1720110975777864850418205944724111833761021952/25379096750214883055\ 503290379395535016567309*c_1001_4^14 - 292092908162381134038971627462859255442997248/230719061365589845959\ 1208216308685001506119*c_1001_4^13 - 1210523590026424012873435766989214453748838400/25379096750214883055\ 503290379395535016567309*c_1001_4^12 - 3602079789246997928798794345798061904052017152/25379096750214883055\ 503290379395535016567309*c_1001_4^11 - 1767812138332571416277183677126276080025342976/25379096750214883055\ 503290379395535016567309*c_1001_4^10 - 3041200680578384621577504653353171215677857792/25379096750214883055\ 503290379395535016567309*c_1001_4^9 - 575397470026312848348026824140446591371900160/253790967502148830555\ 03290379395535016567309*c_1001_4^8 - 1968990801824756311315469181093083807805773056/25379096750214883055\ 503290379395535016567309*c_1001_4^7 - 548651931402652795281598657170561068164953216/253790967502148830555\ 03290379395535016567309*c_1001_4^6 - 1046290632870550705694525350995445109826086528/25379096750214883055\ 503290379395535016567309*c_1001_4^5 + 19809536442242802276815222825642647836545344/2537909675021488305550\ 3290379395535016567309*c_1001_4^4 - 310647633074895524811599865583181580977783496/253790967502148830555\ 03290379395535016567309*c_1001_4^3 + 12353512538378835715005231707030875785811428/2537909675021488305550\ 3290379395535016567309*c_1001_4^2 - 89614259396657567421674896782542457388407752/2537909675021488305550\ 3290379395535016567309*c_1001_4 + 225162873567667788101073562802676\ 7546839999/25379096750214883055503290379395535016567309, c_0101_2 + 14874021130120858718260670414871402498228224/253790967502148\ 83055503290379395535016567309*c_1001_4^19 + 6763385646444788525771307529628098085519360/23071906136558984595912\ 08216308685001506119*c_1001_4^18 + 89519641684169644258440671147997039651848192/2537909675021488305550\ 3290379395535016567309*c_1001_4^17 + 143980568862421803473303801942962818355036160/253790967502148830555\ 03290379395535016567309*c_1001_4^16 + 130739613746958462890625537909116276412317696/253790967502148830555\ 03290379395535016567309*c_1001_4^15 + 310696181447481574392335806773683440521445376/253790967502148830555\ 03290379395535016567309*c_1001_4^14 + 23880830332347573213404150230898237177077760/2307190613655898459591\ 208216308685001506119*c_1001_4^13 + 391841994553386583836900753305705740806160384/253790967502148830555\ 03290379395535016567309*c_1001_4^12 + 230638518119698729442746473299775077896271872/253790967502148830555\ 03290379395535016567309*c_1001_4^11 + 461677281997850700448171073793456237215555584/253790967502148830555\ 03290379395535016567309*c_1001_4^10 + 269465404440507269199621413360152627502623232/253790967502148830555\ 03290379395535016567309*c_1001_4^9 + 382873623581496644368863179868767097817894912/253790967502148830555\ 03290379395535016567309*c_1001_4^8 + 125480669518728574529184983870484113363072768/253790967502148830555\ 03290379395535016567309*c_1001_4^7 + 273433917521317425041982507908634602918710272/253790967502148830555\ 03290379395535016567309*c_1001_4^6 + 89376544732211576001491491794065442482425984/2537909675021488305550\ 3290379395535016567309*c_1001_4^5 + 157005892448517006375168934258280909550233088/253790967502148830555\ 03290379395535016567309*c_1001_4^4 + 11248044267112035622867342407102867301517480/2537909675021488305550\ 3290379395535016567309*c_1001_4^3 + 40137133436353489509616058202172267648896934/2537909675021488305550\ 3290379395535016567309*c_1001_4^2 + 1047207556816076298901531498947940023033410/25379096750214883055503\ 290379395535016567309*c_1001_4 + 1619931261936978991993403621853273\ 1431528243/25379096750214883055503290379395535016567309, c_0110_12 + 402071894177033763952678545088834951382040576/2537909675021\ 4883055503290379395535016567309*c_1001_4^19 + 37989900917638372274407092180641731523379200/2307190613655898459591\ 208216308685001506119*c_1001_4^18 + 821657182690549965825130446445553634792439808/253790967502148830555\ 03290379395535016567309*c_1001_4^17 + 313267798485401794831802579491127216137830400/253790967502148830555\ 03290379395535016567309*c_1001_4^16 + 1530001542347686741415498662459129896159084544/25379096750214883055\ 503290379395535016567309*c_1001_4^15 + 973535295648040524545924519903964969171288064/253790967502148830555\ 03290379395535016567309*c_1001_4^14 + 181801105097137934542003260222636363684577280/230719061365589845959\ 1208216308685001506119*c_1001_4^13 + 386257839288612471098069912866684773910347776/253790967502148830555\ 03290379395535016567309*c_1001_4^12 + 1945657036989178211425304174591241849483337728/25379096750214883055\ 503290379395535016567309*c_1001_4^11 + 623454468862406762843665306435198772126498816/253790967502148830555\ 03290379395535016567309*c_1001_4^10 + 1614781978719945739996209869492708839935372288/25379096750214883055\ 503290379395535016567309*c_1001_4^9 - 232796672709811799822833077290250375823067520/253790967502148830555\ 03290379395535016567309*c_1001_4^8 + 735115036233444835326685029712721848809750272/253790967502148830555\ 03290379395535016567309*c_1001_4^7 - 155064783976443535876314974442160850993823616/253790967502148830555\ 03290379395535016567309*c_1001_4^6 + 400919738532593882748050224672236489964568256/253790967502148830555\ 03290379395535016567309*c_1001_4^5 - 297638106160055351492258685676716592373965472/253790967502148830555\ 03290379395535016567309*c_1001_4^4 - 25077479633718815422872134803612439576448960/2537909675021488305550\ 3290379395535016567309*c_1001_4^3 - 167271594904299726728477603720487251841361800/253790967502148830555\ 03290379395535016567309*c_1001_4^2 - 2450361191140380037240394452270562121203280/25379096750214883055503\ 290379395535016567309*c_1001_4 - 1483933895511988563390665502702547\ 0539474007/25379096750214883055503290379395535016567309, c_0110_5 + c_1001_4, c_0110_8 + 913031407488659257285465620456408386789965824/25379096750214\ 883055503290379395535016567309*c_1001_4^19 + 84264719531468697179722165385673959676051456/2307190613655898459591\ 208216308685001506119*c_1001_4^18 + 1860219634005181929856032796914661600633290752/25379096750214883055\ 503290379395535016567309*c_1001_4^17 + 963106826755076479093600051457469167783247872/253790967502148830555\ 03290379395535016567309*c_1001_4^16 + 3820634788142339766042695223784056441808486400/25379096750214883055\ 503290379395535016567309*c_1001_4^15 + 2705538365947504727209668525604718534817972224/25379096750214883055\ 503290379395535016567309*c_1001_4^14 + 451839196348613186717884347188328743205273600/230719061365589845959\ 1208216308685001506119*c_1001_4^13 + 1850589076513632810447212448256362576925335552/25379096750214883055\ 503290379395535016567309*c_1001_4^12 + 5528269286918824792647429283218087622307401728/25379096750214883055\ 503290379395535016567309*c_1001_4^11 + 2748270884100786777596910419852398730083713024/25379096750214883055\ 503290379395535016567309*c_1001_4^10 + 4596458556541777795504229890376817710234959872/25379096750214883055\ 503290379395535016567309*c_1001_4^9 + 832618714415239584893764377592045832419035648/253790967502148830555\ 03290379395535016567309*c_1001_4^8 + 2894474805700920587939322196073724233076229632/25379096750214883055\ 503290379395535016567309*c_1001_4^7 + 833820670961686160076080292082304300356287744/253790967502148830555\ 03290379395535016567309*c_1001_4^6 + 1457890532178746790037123355855788091464241920/25379096750214883055\ 503290379395535016567309*c_1001_4^5 - 60614362713402212712837589872208008639190720/2537909675021488305550\ 3290379395535016567309*c_1001_4^4 + 357372000600456194751133006252980027409806628/253790967502148830555\ 03290379395535016567309*c_1001_4^3 - 24330336977399796541746172447183328365197552/2537909675021488305550\ 3290379395535016567309*c_1001_4^2 + 38007101192808623888035761692714932634457629/2537909675021488305550\ 3290379395535016567309*c_1001_4 - 402879853012231244002250989890191\ 3589124546/25379096750214883055503290379395535016567309, c_1001_0 + 7437010565060429359130335207435701249114112/2537909675021488\ 3055503290379395535016567309*c_1001_4^19 + 3381692823222394262885653764814049042759680/23071906136558984595912\ 08216308685001506119*c_1001_4^18 + 44759820842084822129220335573998519825924096/2537909675021488305550\ 3290379395535016567309*c_1001_4^17 + 71990284431210901736651900971481409177518080/2537909675021488305550\ 3290379395535016567309*c_1001_4^16 + 65369806873479231445312768954558138206158848/2537909675021488305550\ 3290379395535016567309*c_1001_4^15 + 155348090723740787196167903386841720260722688/253790967502148830555\ 03290379395535016567309*c_1001_4^14 + 11940415166173786606702075115449118588538880/2307190613655898459591\ 208216308685001506119*c_1001_4^13 + 195920997276693291918450376652852870403080192/253790967502148830555\ 03290379395535016567309*c_1001_4^12 + 115319259059849364721373236649887538948135936/253790967502148830555\ 03290379395535016567309*c_1001_4^11 + 230838640998925350224085536896728118607777792/253790967502148830555\ 03290379395535016567309*c_1001_4^10 + 134732702220253634599810706680076313751311616/253790967502148830555\ 03290379395535016567309*c_1001_4^9 + 191436811790748322184431589934383548908947456/253790967502148830555\ 03290379395535016567309*c_1001_4^8 + 62740334759364287264592491935242056681536384/2537909675021488305550\ 3290379395535016567309*c_1001_4^7 + 136716958760658712520991253954317301459355136/253790967502148830555\ 03290379395535016567309*c_1001_4^6 + 44688272366105788000745745897032721241212992/2537909675021488305550\ 3290379395535016567309*c_1001_4^5 + 78502946224258503187584467129140454775116544/2537909675021488305550\ 3290379395535016567309*c_1001_4^4 + 5624022133556017811433671203551433650758740/25379096750214883055503\ 290379395535016567309*c_1001_4^3 + 45447663468391627810311319480481668841015776/2537909675021488305550\ 3290379395535016567309*c_1001_4^2 + 523603778408038149450765749473970011516705/253790967502148830555032\ 90379395535016567309*c_1001_4 + 20789204684792336487718663298964133\ 224047776/25379096750214883055503290379395535016567309, c_1001_4^20 + c_1001_4^19 + 2*c_1001_4^18 + c_1001_4^17 + 33/8*c_1001_4^16 + 23/8*c_1001_4^15 + 85/16*c_1001_4^14 + 15/8*c_1001_4^13 + 1515/256*c_1001_4^12 + 735/256*c_1001_4^11 + 625/128*c_1001_4^10 + 49/64*c_1001_4^9 + 6325/2048*c_1001_4^8 + 1729/2048*c_1001_4^7 + 6473/4096*c_1001_4^6 - 459/4096*c_1001_4^5 + 26433/65536*c_1001_4^4 - 2047/65536*c_1001_4^3 + 5029/65536*c_1001_4^2 - 79/16384*c_1001_4 + 4181/524288 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.310 Total time: 0.510 seconds, Total memory usage: 32.09MB