Magma V2.19-8 Tue Aug 20 2013 23:48:39 on localhost [Seed = 3019233553] Type ? for help. Type -D to quit. Loading file "L12a1264__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a1264 geometric_solution 11.02245514 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 1230 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 -1 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.687737374867 1.082701629761 0 4 4 5 0132 0132 1302 0132 1 1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 -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.778809926534 0.737586226415 0 0 7 6 3012 0132 0132 0132 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 -1 0 1 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.245924344729 0.852688305950 8 8 9 0 0132 2310 0132 0132 1 1 1 1 0 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 5 -6 1 0 0 -1 1 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.222248789112 0.484629176638 1 1 10 10 2031 0132 0132 1230 1 1 0 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 0 0 0 0 0 6 -6 -5 0 0 5 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.323114387449 0.641056935289 8 11 1 8 2103 0132 0132 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.017774550405 0.381784363621 7 6 2 6 2310 1302 0132 2031 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.374886842706 1.300726357215 9 9 6 2 0132 1230 3201 0132 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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.245924344729 0.852688305950 3 5 5 3 0132 0321 2103 3201 1 1 1 1 0 1 0 -1 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 5 0 -5 0 0 0 0 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.936905846543 2.111091088999 7 11 7 3 0132 3201 3012 0132 1 1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 0 6 -1 0 0 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687737374867 1.082701629761 4 11 11 4 3012 0321 3201 0132 1 1 1 0 0 0 1 -1 1 0 -1 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 -6 6 0 -6 0 -5 6 0 -1 -1 9 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.778809926534 0.737586226415 10 5 9 10 2310 0132 2310 0321 1 0 1 1 0 0 0 0 1 0 0 -1 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 1 -9 6 0 0 -6 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.778809926534 0.737586226415 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_1001_11']), 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0011_7']), 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : d['c_1001_4'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_7'], 'c_0101_10' : d['c_0011_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_6'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_1' : negation(d['c_0011_11']), 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0011_6']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_7']), 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_1001_11'], 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : negation(d['c_1001_11']), 'c_1010_8' : d['c_1001_11'], 'c_1100_8' : negation(d['c_0011_3']), 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_7']), '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_7'], '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' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_11']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_2'], 'c_0101_8' : d['c_0101_0'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_3'])})} 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_7, c_0101_0, c_0101_2, c_0101_3, c_0101_6, c_1001_11, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 7390154983754076446793543774853403942055661968714581944106558396877\ 58/1047441348750048427695190924364258949170049401073767094299845995\ 387333*c_1001_4^19 - 1900386688878157532968007464735439005608415912\ 4038945997600693107960658/34914711625001614256506364145475298305668\ 3133691255698099948665129111*c_1001_4^18 - 6871012449784113771625660290992198275551067444925457661067413280504\ 4251/34914711625001614256506364145475298305668313369125569809994866\ 5129111*c_1001_4^17 - 359141082131194879444456432621492323278839629\ 939471350953028302919835358/104744134875004842769519092436425894917\ 0049401073767094299845995387333*c_1001_4^16 - 2505347933932849113316731481587562479050395925894196486022545871581\ 01871/3491471162500161425650636414547529830566831336912556980999486\ 65129111*c_1001_4^15 - 27743041003129876259943288498904796704709728\ 796727320013227878695108809/455409282065238446823996054071416934421\ 76060916250743230428086755971*c_1001_4^14 + 3014102831654906941024590754553320344378997902987461584031555863681\ 255762/104744134875004842769519092436425894917004940107376709429984\ 5995387333*c_1001_4^13 + 118069977259803204190757115984742403281662\ 46224053956366600372906224444/2984163386752274722778321721835495581\ 681052424711587163247424488283*c_1001_4^12 - 1407288371338445262889240678736472531494341450840652481800908183666\ 829987/952219407954589479722900840331144499245499455521606449363496\ 35944303*c_1001_4^11 - 31320783446628433190798727594652825261166514\ 27172772445909414158757618095/1163823720833387141883545471515843276\ 85561044563751899366649555043037*c_1001_4^10 + 3456278851926690308362948220735393143439411335721401946884100905785\ 9894113/10474413487500484276951909243642589491700494010737670942998\ 45995387333*c_1001_4^9 + 555786923860332137480753018863374296127745\ 3908505203477227880635945167684/55128492039476233036588996019171523\ 640528915845987741805255052388807*c_1001_4^8 + 1268641210297048698841805398867646349752663352290047650451709760660\ 5794429/10474413487500484276951909243642589491700494010737670942998\ 45995387333*c_1001_4^7 - 162222703227827900929830478489815132529985\ 220644414414559251351031201318517/104744134875004842769519092436425\ 8949170049401073767094299845995387333*c_1001_4^6 - 1236210235911597438362441652992671180645323137983373752423063164259\ 95646094/1047441348750048427695190924364258949170049401073767094299\ 845995387333*c_1001_4^5 + 25212979100878143595657580908975278669343\ 845973223619720241027642612942886/349147116250016142565063641454752\ 983056683133691255698099948665129111*c_1001_4^4 + 1231414515827907014645137733816554580413500309170240991227493237027\ 89343205/1047441348750048427695190924364258949170049401073767094299\ 845995387333*c_1001_4^3 + 29559555060811932039152531367023928033935\ 4429881831569603081908110311765/18376164013158744345529665339723841\ 213509638615329247268418350796269*c_1001_4^2 - 1190640585539021515321570737245862991493838017726597280477418876746\ 37873/3526738547979961036010743853078312960168516501931875738383319\ 849789*c_1001_4 - 1494836829517149109175410505253759574197266135543\ 0275243844227343051122415/10474413487500484276951909243642589491700\ 49401073767094299845995387333, c_0011_0 - 1, c_0011_10 - 2182909271086873823729443881899871403116788492251434565/404\ 52266096219837282325914302791049223510871482820761054531*c_1001_4^1\ 9 + 172075958600826727377494043631629363113657722917246237245/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^18 + 322192543792109842353344275203801796805415760014576728781/404522660\ 96219837282325914302791049223510871482820761054531*c_1001_4^17 + 285205677833469752178677436040970137194737926096909574227/404522660\ 96219837282325914302791049223510871482820761054531*c_1001_4^16 + 1083518320878742515522228521168680709532643149752515518925/40452266\ 096219837282325914302791049223510871482820761054531*c_1001_4^15 - 902527099564717192381746825814621963452892341531134666743/404522660\ 96219837282325914302791049223510871482820761054531*c_1001_4^14 - 9711608407189764132312535269338530196195868473596382051892/40452266\ 096219837282325914302791049223510871482820761054531*c_1001_4^13 + 3276999962387884599128339720216337379095345837010202801569/40452266\ 096219837282325914302791049223510871482820761054531*c_1001_4^12 + 52971856719725803158408582854137958810406745054784156412240/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^11 + 1152380161871724155412693343868041803150550408393916265659/40452266\ 096219837282325914302791049223510871482820761054531*c_1001_4^10 - 171607060189819300011839088117488735121008080838061778473856/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^9 - 4510258453020376154964261417359758838054702686611599445213/21290666\ 36643149330648732331725844695974256393832671634449*c_1001_4^8 + 291862552673888129752211815591136891521549864030956013773575/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^7 + 273802771066292888441407892511851719372086744468288774704770/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^6 - 254762209453651068046534364918637095333811140135022488057498/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^5 - 324610344090240672106241023668936492346908969638468101502959/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^4 + 75666527218847540336556674571851098694497017049441530605727/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^3 + 10469189228406648887207635397786227745437574120803845450042/2129066\ 636643149330648732331725844695974256393832671634449*c_1001_4^2 - 24695804072847976383052021002718994654867608799958518295531/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4 - 51075685985200337806198443155513432458962791224126566309256/4045226\ 6096219837282325914302791049223510871482820761054531, c_0011_11 - 2182909271086873823729443881899871403116788492251434565/404\ 52266096219837282325914302791049223510871482820761054531*c_1001_4^1\ 9 + 172075958600826727377494043631629363113657722917246237245/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^18 + 322192543792109842353344275203801796805415760014576728781/404522660\ 96219837282325914302791049223510871482820761054531*c_1001_4^17 + 285205677833469752178677436040970137194737926096909574227/404522660\ 96219837282325914302791049223510871482820761054531*c_1001_4^16 + 1083518320878742515522228521168680709532643149752515518925/40452266\ 096219837282325914302791049223510871482820761054531*c_1001_4^15 - 902527099564717192381746825814621963452892341531134666743/404522660\ 96219837282325914302791049223510871482820761054531*c_1001_4^14 - 9711608407189764132312535269338530196195868473596382051892/40452266\ 096219837282325914302791049223510871482820761054531*c_1001_4^13 + 3276999962387884599128339720216337379095345837010202801569/40452266\ 096219837282325914302791049223510871482820761054531*c_1001_4^12 + 52971856719725803158408582854137958810406745054784156412240/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^11 + 1152380161871724155412693343868041803150550408393916265659/40452266\ 096219837282325914302791049223510871482820761054531*c_1001_4^10 - 171607060189819300011839088117488735121008080838061778473856/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^9 - 4510258453020376154964261417359758838054702686611599445213/21290666\ 36643149330648732331725844695974256393832671634449*c_1001_4^8 + 291862552673888129752211815591136891521549864030956013773575/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^7 + 273802771066292888441407892511851719372086744468288774704770/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^6 - 254762209453651068046534364918637095333811140135022488057498/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^5 - 324610344090240672106241023668936492346908969638468101502959/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^4 + 75666527218847540336556674571851098694497017049441530605727/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^3 + 10469189228406648887207635397786227745437574120803845450042/2129066\ 636643149330648732331725844695974256393832671634449*c_1001_4^2 + 15756462023371860899273893300072054568643262682862242759000/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4 - 51075685985200337806198443155513432458962791224126566309256/4045226\ 6096219837282325914302791049223510871482820761054531, c_0011_3 + 900764810229737886146288452225602822541016646140282223/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^19 - 68824493556905290689945101468618104220219645847924765609/4045226609\ 6219837282325914302791049223510871482820761054531*c_1001_4^18 - 305321207876896006573719939974165662204499200380591543382/404522660\ 96219837282325914302791049223510871482820761054531*c_1001_4^17 - 408242188584611580089779378072518299112433014560462506956/404522660\ 96219837282325914302791049223510871482820761054531*c_1001_4^16 - 707707691851136536939971251236875821004731952783950199723/404522660\ 96219837282325914302791049223510871482820761054531*c_1001_4^15 - 679403211431463984972423720732360452342944784264608603737/404522660\ 96219837282325914302791049223510871482820761054531*c_1001_4^14 + 5069721011345361786037342349182534266106461198237377053639/40452266\ 096219837282325914302791049223510871482820761054531*c_1001_4^13 + 8028614558091008339321538453931978677512060071910077025018/40452266\ 096219837282325914302791049223510871482820761054531*c_1001_4^12 - 26520205923007945227194306363345003236127540289618067346173/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^11 - 51419095092872961956073295418583434676636646491627614316869/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^10 + 76910765215987608786627100622354892367039635830824978903156/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^9 + 10519578810234362522761754316752684513460041017375378830136/2129066\ 636643149330648732331725844695974256393832671634449*c_1001_4^8 - 57578549188121400778642611009587522678772927235668900199338/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^7 - 397673401006514459150962713234377459315943789245065262241997/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^6 - 125449925608385067549035657714283784520253094363349898381112/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^5 + 395356947570741117678851032703967041429866013578535751840626/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^4 + 243383185689503763072512236629394899116958264955117235849737/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^3 - 8547201192328897303293461147967815975934125048289319989750/21290666\ 36643149330648732331725844695974256393832671634449*c_1001_4^2 - 166087913999044636582811808757750180193103164002345388659357/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4 + 24208607036796784978119312701793473200612921071745931704841/4045226\ 6096219837282325914302791049223510871482820761054531, c_0011_6 - 91465257792786747839159754420046390372985673790585131795/404\ 52266096219837282325914302791049223510871482820761054531*c_1001_4^1\ 9 + 7039919756188563992331527273386753112228425202834264083540/4045\ 2266096219837282325914302791049223510871482820761054531*c_1001_4^18 + 26777290716243586534229313658120552112760415771951924116981/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^17 + 47749564966358752882777535833908141877289535458824908974151/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^16 + 97399634384074940840502995067609601857986992066118746495074/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^15 + 90620379380879360539629773353241881802549189518673765718244/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^14 - 371018572956392239599582998303591037882579164010685753541578/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^13 - 583417738894231974780504467685133682339740023856688582005544/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^12 + 1894028590169858885656129075579641788091713088104401569119999/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^11 + 3865346932371809509254125962929973744381931651781469757792734/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^10 - 4028672438716967410381743650715309477661707172438506265742642/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^9 - 744909671665242853193136519916084493971727519181616499093378/212906\ 6636643149330648732331725844695974256393832671634449*c_1001_4^8 - 2840122384016135038842291812081740616064357675611712164888857/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^7 + 21284038850367627889324185450987710603065281749503759049857501/4045\ 2266096219837282325914302791049223510871482820761054531*c_1001_4^6 + 17821278037471594589916586192788932486132718676196599197189564/4045\ 2266096219837282325914302791049223510871482820761054531*c_1001_4^5 - 9452417841613342785327696330343617100131701764659957055317171/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^4 - 17149267702695851967593165658810980301516952398537465150154675/4045\ 2266096219837282325914302791049223510871482820761054531*c_1001_4^3 - 142075866892958713099360260203227806941954763107241491820152/212906\ 6636643149330648732331725844695974256393832671634449*c_1001_4^2 + 4871549519505418177201317733493431917019677164755012844655791/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4 + 2065754995409371425592828363061463010032466283743060290259736/40452\ 266096219837282325914302791049223510871482820761054531, c_0011_7 + 1, c_0101_0 - 1, c_0101_2 - 18865465193609801022883696598804780169317968524902866234/404\ 52266096219837282325914302791049223510871482820761054531*c_1001_4^1\ 9 + 1429851722003658810576389914380587868467300415187115487195/4045\ 2266096219837282325914302791049223510871482820761054531*c_1001_4^18 + 7264732031330512191246936403110088408095766088491565874521/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^17 + 13718815377780181867972955534158307026625508490342047512788/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^16 + 23847802113239643024470169552100823526597465043165121033784/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^15 + 30366662530538203796553153391512223625567582597651642079882/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^14 - 83376326213381488929179964073104812252959517391641555973138/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^13 - 225919754878513078113303962384110178659930561023524907623277/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^12 + 388699808500962841371227391652366185065003266118630734163545/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^11 + 1349413611298838909385127917956297711807401489101141154914615/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^10 - 648285735716573453697682996451162477893626843778664320665757/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^9 - 246106870491396150943968761508676750630270118206105513665618/212906\ 6636643149330648732331725844695974256393832671634449*c_1001_4^8 - 2021057812559065654681975827770875087817028548807164133826820/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^7 + 7006601175741684011499157194175417940158682209200384789999882/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^6 + 7383310360472016625686582112454410431205217786586609515024916/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^5 - 3254483102543011897701070506061677116738010875418491896986310/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^4 - 7207180315901991523044203416441644534107284066669985214084862/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^3 - 64089090725828065237024904482579396678292659273744841144852/2129066\ 636643149330648732331725844695974256393832671634449*c_1001_4^2 + 2253075303284219906665382054077648837667044484265896246755042/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4 + 937943739272408173414657057714405177136793649934084482340894/404522\ 66096219837282325914302791049223510871482820761054531, c_0101_3 + 264898375462265825017769936184476246657079849648333263/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^19 - 7482104754861606552332587015848192401969748721279083523/40452266096\ 219837282325914302791049223510871482820761054531*c_1001_4^18 - 1089325483784003736571792533908043398039815494527663097004/40452266\ 096219837282325914302791049223510871482820761054531*c_1001_4^17 - 2486470991308564439289180307825965300017041152362755845414/40452266\ 096219837282325914302791049223510871482820761054531*c_1001_4^16 - 2916179822349689484441133989791706886744962782049508539537/40452266\ 096219837282325914302791049223510871482820761054531*c_1001_4^15 - 7905693549473195154386245864720258422818908382919600728408/40452266\ 096219837282325914302791049223510871482820761054531*c_1001_4^14 + 3113981240314058889094046242667035481918820868136132751582/40452266\ 096219837282325914302791049223510871482820761054531*c_1001_4^13 + 60392272516546142358197158109374014032647112171571616868320/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^12 - 575196713486869161976021127555377759368228523544804276373/404522660\ 96219837282325914302791049223510871482820761054531*c_1001_4^11 - 323632467370164776730791928854721292382915488651229864177166/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^10 - 120864809324691777362201506981215732517898725268870263387142/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^9 + 52733336060797360943092301874533456790161372649910159230505/2129066\ 636643149330648732331725844695974256393832671634449*c_1001_4^8 + 886259713240103973370026771152461116852484550381437706698811/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^7 - 1404070527831931740843729433425308854186461268431322293252308/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^6 - 2135081817857343331776915475124524861205877803544721511838235/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^5 + 622439935974203608907120996932468861591547369447248315205077/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^4 + 2010668585516747537014156241708404538360489923250070540634852/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^3 + 19967148663301640044085105081082137937323399238380693466388/2129066\ 636643149330648732331725844695974256393832671634449*c_1001_4^2 - 691904423637681037310174754331356442523427338274716963847732/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4 - 261118938187379356134590208525378444960900838825414002858309/404522\ 66096219837282325914302791049223510871482820761054531, c_0101_6 + 18600566818147535197865926662620303922660888675254532971/404\ 52266096219837282325914302791049223510871482820761054531*c_1001_4^1\ 9 - 1422369617248797204024057327364739676065330666465836403672/4045\ 2266096219837282325914302791049223510871482820761054531*c_1001_4^18 - 6175406547546508454675143869202045010055950593963902777517/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^17 - 11232344386471617428683775226332341726608467337979291667374/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^16 - 20931622290889953540029035562309116639852502261115612494247/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^15 - 22460968981065008642166907526791965202748674214732041351474/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^14 + 80262344973067430040085917830437776771040696523505423221556/4045226\ 6096219837282325914302791049223510871482820761054531*c_1001_4^13 + 165527482361966935755106804274736164627283448851953290754957/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^12 - 388124611787475972209251370524810807305635037595085929887172/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^11 - 1025781143928674132654335989101576419424486000449911290737449/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^10 + 769150545041265231059884503432378210411525569047534584052899/404522\ 66096219837282325914302791049223510871482820761054531*c_1001_4^9 + 193373534430598790000876459634143293840108745556195354435113/212906\ 6636643149330648732331725844695974256393832671634449*c_1001_4^8 + 1134798099318961681311949056618413970964543998425726427128009/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^7 - 5602530647909752270655427760750109085972220940769062496747574/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^6 - 5248228542614673293909666637329885569999339983041888003186681/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^5 + 2632043166568808288793949509129208255146463505971243581781233/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^4 + 5196511730385243986030047174733239995746794143419914673450010/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4^3 + 44121942062526425192939799401497258740969260035364147678464/2129066\ 636643149330648732331725844695974256393832671634449*c_1001_4^2 - 1561170879646538869355207299746292395143617145991179282907310/40452\ 266096219837282325914302791049223510871482820761054531*c_1001_4 - 676824801085028817280066849189026732175892811108670479482585/404522\ 66096219837282325914302791049223510871482820761054531, c_1001_11 - 1, c_1001_4^20 - 78*c_1001_4^19 - 213*c_1001_4^18 - 247*c_1001_4^17 - 600*c_1001_4^16 + 8*c_1001_4^15 + 4822*c_1001_4^14 + 2124*c_1001_4^13 - 25774*c_1001_4^12 - 20259*c_1001_4^11 + 79553*c_1001_4^10 + 103078*c_1001_4^9 - 105497*c_1001_4^8 - 234904*c_1001_4^7 + 20938*c_1001_4^6 + 246714*c_1001_4^5 + 79114*c_1001_4^4 - 120741*c_1001_4^3 - 67608*c_1001_4^2 + 21001*c_1001_4 + 17379 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.300 seconds, Total memory usage: 32.09MB