Magma V2.19-8 Tue Aug 20 2013 23:38:13 on localhost [Seed = 206202926] Type ? for help. Type -D to quit. Loading file "K11a242__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a242 geometric_solution 9.03328411 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 1 2 3 0132 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472069793284 0.862945615185 0 4 0 5 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.195872238106 0.498344607731 6 4 5 0 0132 0321 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.805034366382 0.728527739787 4 7 0 7 0213 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -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.698792068832 1.004514627516 3 1 6 2 0213 0132 0213 0321 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 1 -1 0 1 0 11 -12 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.776830527663 1.658617796930 8 2 1 9 0132 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -11 12 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.451479281622 1.840106383809 2 4 8 8 0132 0213 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.689000417292 0.640797705434 3 3 8 9 3012 0132 3120 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.273881200322 0.913381234213 5 6 7 6 0132 0321 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.221770315223 0.723784461939 9 9 5 7 1302 2031 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.804348408434 1.093700233675 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : d['c_1001_2'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0110_7'], 'c_1001_8' : negation(d['c_0101_7']), 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_1001_3'], 'c_1100_8' : negation(d['c_0101_7']), 'c_1100_5' : d['c_1001_3'], 'c_1100_4' : d['c_1001_2'], 'c_1100_7' : d['c_0011_9'], 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : d['c_0110_7'], 'c_1100_3' : d['c_0110_7'], 'c_1100_2' : d['c_0110_7'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_0110_7'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_0101_7'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_2'], 'c_1010_0' : d['c_1001_3'], 'c_1010_9' : d['c_0011_9'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : negation(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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : d['c_0011_9'], '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' : 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_2']), 'c_0011_2' : d['c_0011_2'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_9']), 'c_0101_8' : negation(d['c_0011_9']), 'c_0110_9' : negation(d['c_0110_7']), 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : negation(d['c_0011_2']), 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0011_5']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_5, c_0011_9, c_0101_0, c_0101_7, c_0110_7, c_1001_0, c_1001_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 12759831219269385375329125012990163096186242730395056646/4110526448\ 0801092048760855209174480214660241708226525*c_1001_3^22 - 79753241027090160412137871461821212819057638155265622932/4110526448\ 0801092048760855209174480214660241708226525*c_1001_3^21 - 136280331342958531667693027935449893937884060936898705656/411052644\ 80801092048760855209174480214660241708226525*c_1001_3^20 + 426053154328624790207136600707094274033487387918765038092/822105289\ 6160218409752171041834896042932048341645305*c_1001_3^19 - 4540412643666712331252527280810396865092924735748235172751/41105264\ 480801092048760855209174480214660241708226525*c_1001_3^18 - 352820732899849447890486636273330926015436665354407866184/747368445\ 105474400886561003803172367539277121967755*c_1001_3^17 + 69929568677538923215818867436939888381812503093094108253004/4110526\ 4480801092048760855209174480214660241708226525*c_1001_3^16 + 331035082945638295486124631632731873855111754355885659726/373684222\ 5527372004432805019015861837696385609838775*c_1001_3^15 - 4036572624108736691527574668608606764523454626377618925208/74736844\ 5105474400886561003803172367539277121967755*c_1001_3^14 + 125574190565116362996966667695482478298076788357331574227898/411052\ 64480801092048760855209174480214660241708226525*c_1001_3^13 + 371911169971649751485149128318411275114525150987876704140144/411052\ 64480801092048760855209174480214660241708226525*c_1001_3^12 - 359678154961910073786412037319566908982091193299599917741204/411052\ 64480801092048760855209174480214660241708226525*c_1001_3^11 - 1312571052908581253446497531717302003316010779544907574472/14524828\ 4384456155649331643848673074963463751619175*c_1001_3^10 + 533914924433031243092060704086836983374557748753796045098059/411052\ 64480801092048760855209174480214660241708226525*c_1001_3^9 + 22114453218622533250876141319009184939705794374981759821/4657820337\ 767829127338340533617504840188129372037*c_1001_3^8 - 482394261324474056613274100995459948897407308587527334595198/411052\ 64480801092048760855209174480214660241708226525*c_1001_3^7 - 292072157828151016054476979620562323041868581509495371482/117443612\ 8022888344250310148833556577561721191663615*c_1001_3^6 + 38170520340537826055660988550965682685248678370120878801079/5872180\ 640114441721251550744167782887808605958318075*c_1001_3^5 - 4565421385876212985400942001989301827756728796918661837988/37368422\ 25527372004432805019015861837696385609838775*c_1001_3^4 - 84139815489651740834293708172767530846111598906547210491208/4110526\ 4480801092048760855209174480214660241708226525*c_1001_3^3 + 356484577170724851889893062307189365957793448149891543172/533834603\ 646767429204686431287980262528055087119825*c_1001_3^2 + 11776560018181535711740264648423507144075913431616632525271/4110526\ 4480801092048760855209174480214660241708226525*c_1001_3 - 4931359034270701338134679486156073828428412881878044380563/41105264\ 480801092048760855209174480214660241708226525, c_0011_0 - 1, c_0011_2 - 16435083173384969592140811642629526644560767/681456910533325\ 37101402772153474912960061157*c_1001_3^22 + 99172048307846970486326766629732677763755000/6814569105333253710140\ 2772153474912960061157*c_1001_3^21 + 196034474582853156007799792425217253153951472/681456910533325371014\ 02772153474912960061157*c_1001_3^20 - 2696820756859198673847146530654458578203737607/68145691053332537101\ 402772153474912960061157*c_1001_3^19 + 5282389040786609673697920798334459722813580935/68145691053332537101\ 402772153474912960061157*c_1001_3^18 + 25994761499366051622644972450961490655055298880/6814569105333253710\ 1402772153474912960061157*c_1001_3^17 - 84314299763309181501824690800401592036063788345/6814569105333253710\ 1402772153474912960061157*c_1001_3^16 - 21120527528682051971001821616299134209802361847/6814569105333253710\ 1402772153474912960061157*c_1001_3^15 + 278173631291177724970509348088879009091067156756/681456910533325371\ 01402772153474912960061157*c_1001_3^14 - 107853346163098920516235501559548912680574382723/681456910533325371\ 01402772153474912960061157*c_1001_3^13 - 487935992787835185344603337065066240710605151380/681456910533325371\ 01402772153474912960061157*c_1001_3^12 + 368209340529837034647197906636181213211306928676/681456910533325371\ 01402772153474912960061157*c_1001_3^11 + 1852612095877278786745698696062929640847115092/24079749488810083781\ 4144071213692271943679*c_1001_3^10 - 581549975046212998782307139157328617832886656574/681456910533325371\ 01402772153474912960061157*c_1001_3^9 - 927642251319731657867205111536603893379137721/193047283437202654678\ 194821964518167025669*c_1001_3^8 + 546983761140592214419256230487940401394589207624/681456910533325371\ 01402772153474912960061157*c_1001_3^7 + 82908364484818804910890460490675202124886491114/6814569105333253710\ 1402772153474912960061157*c_1001_3^6 - 313156670214270366995616078623741903184735394825/681456910533325371\ 01402772153474912960061157*c_1001_3^5 + 27565149729685148764188376710615275160800141052/6814569105333253710\ 1402772153474912960061157*c_1001_3^4 + 101685525279502919592859958641845917966853202515/681456910533325371\ 01402772153474912960061157*c_1001_3^3 - 24576231779096695320891656901059346058301405800/6814569105333253710\ 1402772153474912960061157*c_1001_3^2 - 14644536521248921878629208197151942666847274101/6814569105333253710\ 1402772153474912960061157*c_1001_3 + 5028886862706115611772892939726814949779101207/68145691053332537101\ 402772153474912960061157, c_0011_5 - 10848610001257272295383870953136404588220208/681456910533325\ 37101402772153474912960061157*c_1001_3^22 + 69048677385091110271373600362030235668546409/6814569105333253710140\ 2772153474912960061157*c_1001_3^21 + 109566453157900672362977618311464120670246345/681456910533325371014\ 02772153474912960061157*c_1001_3^20 - 1834414306112485302326148673555047062680404885/68145691053332537101\ 402772153474912960061157*c_1001_3^19 + 4057734184010097533587025926227219388578278889/68145691053332537101\ 402772153474912960061157*c_1001_3^18 + 16306426399534713721069950920538610746918356396/6814569105333253710\ 1402772153474912960061157*c_1001_3^17 - 62003421299410469076625775632619456071388442380/6814569105333253710\ 1402772153474912960061157*c_1001_3^16 + 1860760749783423498062059219865142886609966623/68145691053332537101\ 402772153474912960061157*c_1001_3^15 + 198147530405305746323433787218848048868800223151/681456910533325371\ 01402772153474912960061157*c_1001_3^14 - 132813360843865212219211670986692692708270160655/681456910533325371\ 01402772153474912960061157*c_1001_3^13 - 326618547579181755674317798424305137334084015717/681456910533325371\ 01402772153474912960061157*c_1001_3^12 + 366311954765695959291122446782521420508343394019/681456910533325371\ 01402772153474912960061157*c_1001_3^11 + 1098945136356157122543158599782752422642387112/24079749488810083781\ 4144071213692271943679*c_1001_3^10 - 540513567375277683940239162944488175630011018661/681456910533325371\ 01402772153474912960061157*c_1001_3^9 - 379968567997886994122441776755182851199593905/193047283437202654678\ 194821964518167025669*c_1001_3^8 + 489634659187127391524726177549147293759503737970/681456910533325371\ 01402772153474912960061157*c_1001_3^7 - 37650361738073608332220511172062230000071881001/6814569105333253710\ 1402772153474912960061157*c_1001_3^6 - 272392377585291754722453209002635710861542440019/681456910533325371\ 01402772153474912960061157*c_1001_3^5 + 77566108915137770966066415935232300398839679149/6814569105333253710\ 1402772153474912960061157*c_1001_3^4 + 85863015273950948157999454954529997511403184570/6814569105333253710\ 1402772153474912960061157*c_1001_3^3 - 37224823229129164642571369550698997044056706082/6814569105333253710\ 1402772153474912960061157*c_1001_3^2 - 11923100471840825174500478039073043278647599771/6814569105333253710\ 1402772153474912960061157*c_1001_3 + 6538158864611428903472218862844104739940542455/68145691053332537101\ 402772153474912960061157, c_0011_9 + 563547903257482296165607514970924983675349/68145691053332537\ 101402772153474912960061157*c_1001_3^22 - 4411138899330654722357926052162275263029463/68145691053332537101402\ 772153474912960061157*c_1001_3^21 - 1196586329954150834029092883621700614237893/68145691053332537101402\ 772153474912960061157*c_1001_3^20 + 108362975710315072776081852925844066999380275/681456910533325371014\ 02772153474912960061157*c_1001_3^19 - 342498800112277495428022778496972322300051421/681456910533325371014\ 02772153474912960061157*c_1001_3^18 - 664067003325110832978579308700675590292392306/681456910533325371014\ 02772153474912960061157*c_1001_3^17 + 4733814673033294411546304906412958156598398028/68145691053332537101\ 402772153474912960061157*c_1001_3^16 - 3694755281243623862896603705149691164759964435/68145691053332537101\ 402772153474912960061157*c_1001_3^15 - 14270320067162194355436561149382502203256405111/6814569105333253710\ 1402772153474912960061157*c_1001_3^14 + 21964727033861622344054037344158953878124439679/6814569105333253710\ 1402772153474912960061157*c_1001_3^13 + 19166609036713912661865922823500851332537381368/6814569105333253710\ 1402772153474912960061157*c_1001_3^12 - 50386270246820148072410980065716876408239993775/6814569105333253710\ 1402772153474912960061157*c_1001_3^11 - 31215341895935677057641132670675275172588356/2407974948881008378141\ 44071213692271943679*c_1001_3^10 + 69436253774443773575326101311847441468484878654/6814569105333253710\ 1402772153474912960061157*c_1001_3^9 - 36646088757233146537172548366812481249144570/1930472834372026546781\ 94821964518167025669*c_1001_3^8 - 606658109147268575567566330850017\ 36372153497824/68145691053332537101402772153474912960061157*c_1001_\ 3^7 + 25701146156051257163043541533297374503309783771/6814569105333\ 2537101402772153474912960061157*c_1001_3^6 + 32886646293080708763887495755762427993563918345/6814569105333253710\ 1402772153474912960061157*c_1001_3^5 - 20051784887613340022158286241559914935728437788/6814569105333253710\ 1402772153474912960061157*c_1001_3^4 - 10087485677289819038999255622853888126533193577/6814569105333253710\ 1402772153474912960061157*c_1001_3^3 + 7829752820887824924066622836702784264450768924/68145691053332537101\ 402772153474912960061157*c_1001_3^2 + 1356184419636138769887406335321505188373121303/68145691053332537101\ 402772153474912960061157*c_1001_3 - 1274247657346937660986570412280424843514945957/68145691053332537101\ 402772153474912960061157, c_0101_0 - 17390912951695270168786432452021602227888812/681456910533325\ 37101402772153474912960061157*c_1001_3^22 + 108431997643929039438043811134698205730752204/681456910533325371014\ 02772153474912960061157*c_1001_3^21 + 188128666607540594462252041857664076164210125/681456910533325371014\ 02772153474912960061157*c_1001_3^20 - 2905877787349627802075846533637647520191476272/68145691053332537101\ 402772153474912960061157*c_1001_3^19 + 6141459585169027711111368323079899924348602913/68145691053332537101\ 402772153474912960061157*c_1001_3^18 + 26669361684287376705963706656876540950343896796/6814569105333253710\ 1402772153474912960061157*c_1001_3^17 - 95294995631179262260372015313892312788528238290/6814569105333253710\ 1402772153474912960061157*c_1001_3^16 - 7176763621753491376818336534820973929234058721/68145691053332537101\ 402772153474912960061157*c_1001_3^15 + 307501923507419686873072291863160035945277978514/681456910533325371\ 01402772153474912960061157*c_1001_3^14 - 170970765451740849329123506312846589383155224922/681456910533325371\ 01402772153474912960061157*c_1001_3^13 - 520064082818412079587823842438864434136192175698/681456910533325371\ 01402772153474912960061157*c_1001_3^12 + 500714742773407557769638134835664862487072901517/681456910533325371\ 01402772153474912960061157*c_1001_3^11 + 1849114616764471819156216900004693245418777619/24079749488810083781\ 4144071213692271943679*c_1001_3^10 - 753869350849320945128641225568135090356365839706/681456910533325371\ 01402772153474912960061157*c_1001_3^9 - 778682747798800038012932472145595324259444958/193047283437202654678\ 194821964518167025669*c_1001_3^8 + 690377749348277532896211653422477138761866676745/681456910533325371\ 01402772153474912960061157*c_1001_3^7 + 8875736671129926918551072860386396756300042044/68145691053332537101\ 402772153474912960061157*c_1001_3^6 - 387475723613116339726162257018421779482683754832/681456910533325371\ 01402772153474912960061157*c_1001_3^5 + 78822795144512204196572332862647681207305473953/6814569105333253710\ 1402772153474912960061157*c_1001_3^4 + 123440773149933310295005095154094521785968121731/681456910533325371\ 01402772153474912960061157*c_1001_3^3 - 43332832275033907600203217864034334665159027217/6814569105333253710\ 1402772153474912960061157*c_1001_3^2 - 17401256482616488191066003222840133125470876094/6814569105333253710\ 1402772153474912960061157*c_1001_3 + 7964302200737585715212972269310851978722625411/68145691053332537101\ 402772153474912960061157, c_0101_7 - 16451083107573846891892640991432643522860368/681456910533325\ 37101402772153474912960061157*c_1001_3^22 + 103765461942696553859336201507056669323016213/681456910533325371014\ 02772153474912960061157*c_1001_3^21 + 170373145184474706048684689170208274346023865/681456910533325371014\ 02772153474912960061157*c_1001_3^20 - 2759289343071320025782842520858337389000747662/68145691053332537101\ 402772153474912960061157*c_1001_3^19 + 6001160930594424764113115149897187046436603318/68145691053332537101\ 402772153474912960061157*c_1001_3^18 + 24765340464172824285342443159244619846487542930/6814569105333253710\ 1402772153474912960061157*c_1001_3^17 - 91674572145000045989399289027659565379949510710/6814569105333253710\ 1402772153474912960061157*c_1001_3^16 - 546889728905173979056407486765486858610161479/681456910533325371014\ 02772153474912960061157*c_1001_3^15 + 288323831226871512693852279255499655023407846010/681456910533325371\ 01402772153474912960061157*c_1001_3^14 - 175117057928732681870388270103672652257897785441/681456910533325371\ 01402772153474912960061157*c_1001_3^13 - 477508141052608070290966114076168520902302406534/681456910533325371\ 01402772153474912960061157*c_1001_3^12 + 486410293376002710799822719528988788813095913691/681456910533325371\ 01402772153474912960061157*c_1001_3^11 + 1651687647469091415176789126083530853076971667/24079749488810083781\ 4144071213692271943679*c_1001_3^10 - 712299202609886157495504675772175555173397244639/681456910533325371\ 01402772153474912960061157*c_1001_3^9 - 658705178953866034760746453910484346287356421/193047283437202654678\ 194821964518167025669*c_1001_3^8 + 636867331963867574510809323616352334021442027490/681456910533325371\ 01402772153474912960061157*c_1001_3^7 - 4295601939896491730454241675435145155176516899/68145691053332537101\ 402772153474912960061157*c_1001_3^6 - 348759772684942270421016579216412012071945549752/681456910533325371\ 01402772153474912960061157*c_1001_3^5 + 73861319422204569785681330052609721246903879398/6814569105333253710\ 1402772153474912960061157*c_1001_3^4 + 108202795271106736740802842041593741616069439607/681456910533325371\ 01402772153474912960061157*c_1001_3^3 - 37864445271188068649687374640499416063836993959/6814569105333253710\ 1402772153474912960061157*c_1001_3^2 - 14787516542995035479593413890987228725937727380/6814569105333253710\ 1402772153474912960061157*c_1001_3 + 6631981141908803661590057163243876309249973243/68145691053332537101\ 402772153474912960061157, c_0110_7 + 5589057218047736033121241446814365755478095/6814569105333253\ 7101402772153474912960061157*c_1001_3^22 - 35615469086728143298871702795231399526073235/6814569105333253710140\ 2772153474912960061157*c_1001_3^21 - 55124221731631765816375903079042365491431639/6814569105333253710140\ 2772153474912960061157*c_1001_3^20 + 938232056703801538135060680342447614784612526/681456910533325371014\ 02772153474912960061157*c_1001_3^19 - 2104119443101551350246163931927010823671886393/68145691053332537101\ 402772153474912960061157*c_1001_3^18 - 8205776735121484378540620327832547354584596922/68145691053332537101\ 402772153474912960061157*c_1001_3^17 + 31517144601184559750328400572400947195285844823/6814569105333253710\ 1402772153474912960061157*c_1001_3^16 - 2468533251156316573204799818783265571986798859/68145691053332537101\ 402772153474912960061157*c_1001_3^15 - 95554026606135638085131574461768062450318736339/6814569105333253710\ 1402772153474912960061157*c_1001_3^14 + 65253940217766045058765192811059841946454971372/6814569105333253710\ 1402772153474912960061157*c_1001_3^13 + 152789266446933995520478525757441731525771721329/681456910533325371\ 01402772153474912960061157*c_1001_3^12 - 171384910418447993615859025999445209331439666365/681456910533325371\ 01402772153474912960061157*c_1001_3^11 - 499096822504973529883882859791243106420812751/240797494888100837814\ 144071213692271943679*c_1001_3^10 + 243244192160345607081602907408765206323258587959/681456910533325371\ 01402772153474912960061157*c_1001_3^9 + 168548131853729085660484044013134462441916271/193047283437202654678\ 194821964518167025669*c_1001_3^8 - 211635930571855044253946069251246966492746201508/681456910533325371\ 01402772153474912960061157*c_1001_3^7 + 14595249209121924750315972567610210771872661062/6814569105333253710\ 1402772153474912960061157*c_1001_3^6 + 112699423735670867601533190755935572547361140935/681456910533325371\ 01402772153474912960061157*c_1001_3^5 - 30218828978493809631912340966438878725273721430/6814569105333253710\ 1402772153474912960061157*c_1001_3^4 - 33800350572179454333337549522174934419025946138/6814569105333253710\ 1402772153474912960061157*c_1001_3^3 + 13896053964556505132928263272736950297105371719/6814569105333253710\ 1402772153474912960061157*c_1001_3^2 + 4377991120981414838233040884563285874136520209/68145691053332537101\ 402772153474912960061157*c_1001_3 - 2329864547336237039136278164932900764758784262/68145691053332537101\ 402772153474912960061157, c_1001_0 + 7715335799890115710339974582638644108991385/6814569105333253\ 7101402772153474912960061157*c_1001_3^22 - 48167719810640830150661744350303063270804018/6814569105333253710140\ 2772153474912960061157*c_1001_3^21 - 82407757465412711645403242387090504197634189/6814569105333253710140\ 2772153474912960061157*c_1001_3^20 + 1285337487892595701939845006000043132481303133/68145691053332537101\ 402772153474912960061157*c_1001_3^19 - 2739646486808261293890569997662419330671551343/68145691053332537101\ 402772153474912960061157*c_1001_3^18 - 11696635025728722959128692920466233014422655476/6814569105333253710\ 1402772153474912960061157*c_1001_3^17 + 42075515583093168401085321496690525642255586926/6814569105333253710\ 1402772153474912960061157*c_1001_3^16 + 2003177905916624530056972896064616960085796205/68145691053332537101\ 402772153474912960061157*c_1001_3^15 - 132387969228109619717368106809856860069839608395/681456910533325371\ 01402772153474912960061157*c_1001_3^14 + 74923040083814552962087819145844713123733994998/6814569105333253710\ 1402772153474912960061157*c_1001_3^13 + 220111111995118648368700987201746572302921959162/681456910533325371\ 01402772153474912960061157*c_1001_3^12 - 212856786164142150935734042815518247707875459060/681456910533325371\ 01402772153474912960061157*c_1001_3^11 - 769612479903034152281056125249517750876539883/240797494888100837814\ 144071213692271943679*c_1001_3^10 + 313537516759611135772990325305900115254403124735/681456910533325371\ 01402772153474912960061157*c_1001_3^9 + 318712044068048603386456349778282173577017816/193047283437202654678\ 194821964518167025669*c_1001_3^8 - 280707186156403393356867825775339972198862814136/681456910533325371\ 01402772153474912960061157*c_1001_3^7 - 4380600257131080795637794730893048418780904946/68145691053332537101\ 402772153474912960061157*c_1001_3^6 + 153739575949823126862811519851401615275609969748/681456910533325371\ 01402772153474912960061157*c_1001_3^5 - 29692939158896678736515916440420730122216570065/6814569105333253710\ 1402772153474912960061157*c_1001_3^4 - 47803135797765458959020963349113921320968252053/6814569105333253710\ 1402772153474912960061157*c_1001_3^3 + 15835359800811929607807320558586498807938672083/6814569105333253710\ 1402772153474912960061157*c_1001_3^2 + 6665974534483929741037557516185473382223325896/68145691053332537101\ 402772153474912960061157*c_1001_3 - 2800454773413867660655719408413471892468415278/68145691053332537101\ 402772153474912960061157, c_1001_2 - 16170344826695734646616060677516353492338068/681456910533325\ 37101402772153474912960061157*c_1001_3^22 + 100938459461916834127559586248042565563080414/681456910533325371014\ 02772153474912960061157*c_1001_3^21 + 172605901530797341717683596189947017659614649/681456910533325371014\ 02772153474912960061157*c_1001_3^20 - 2692812018790922141335585245084937002685366479/68145691053332537101\ 402772153474912960061157*c_1001_3^19 + 5743454658931646788762696345338655023618672733/68145691053332537101\ 402772153474912960061157*c_1001_3^18 + 24491190550097849384834817231706134777726267675/6814569105333253710\ 1402772153474912960061157*c_1001_3^17 - 88141804673750422736740663812069560250884619864/6814569105333253710\ 1402772153474912960061157*c_1001_3^16 - 3895932418403091973000847613407017893781161468/68145691053332537101\ 402772153474912960061157*c_1001_3^15 + 276925718559923535231676107865300933510957094035/681456910533325371\ 01402772153474912960061157*c_1001_3^14 - 158161718013342976304749438974839104282115658171/681456910533325371\ 01402772153474912960061157*c_1001_3^13 - 459198548889320192475647406241491650972444756137/681456910533325371\ 01402772153474912960061157*c_1001_3^12 + 448222268781666974051749786358435571322205722293/681456910533325371\ 01402772153474912960061157*c_1001_3^11 + 1597874892233581804703798412369467196414863095/24079749488810083781\ 4144071213692271943679*c_1001_3^10 - 659603012176782117001855321603798635802232877844/681456910533325371\ 01402772153474912960061157*c_1001_3^9 - 651450297275202499646846418404050590405227475/193047283437202654678\ 194821964518167025669*c_1001_3^8 + 589995714800584700719430506393560408279952594589/681456910533325371\ 01402772153474912960061157*c_1001_3^7 + 3851382339133656005592466204357647379748509228/68145691053332537101\ 402772153474912960061157*c_1001_3^6 - 322639862359563416002906644924084215558098034149/681456910533325371\ 01402772153474912960061157*c_1001_3^5 + 65430031156093072131124545493932860526741387039/6814569105333253710\ 1402772153474912960061157*c_1001_3^4 + 99911722784272423552868647047560392541636785865/6814569105333253710\ 1402772153474912960061157*c_1001_3^3 - 34332451380263808579829158239797478370534497134/6814569105333253710\ 1402772153474912960061157*c_1001_3^2 - 13635625914545998596945677394304558636237161261/6814569105333253710\ 1402772153474912960061157*c_1001_3 + 6059588913918344382611571534739283632149692961/68145691053332537101\ 402772153474912960061157, c_1001_3^23 - 7*c_1001_3^22 - 6*c_1001_3^21 + 175*c_1001_3^20 - 481*c_1001_3^19 - 1255*c_1001_3^18 + 6624*c_1001_3^17 - 3819*c_1001_3^16 - 17655*c_1001_3^15 + 22938*c_1001_3^14 + 21844*c_1001_3^13 - 50234*c_1001_3^12 - 7996*c_1001_3^11 + 63994*c_1001_3^10 - 16210*c_1001_3^9 - 49588*c_1001_3^8 + 27800*c_1001_3^7 + 21693*c_1001_3^6 - 19853*c_1001_3^5 - 3653*c_1001_3^4 + 7184*c_1001_3^3 - 709*c_1001_3^2 - 1093*c_1001_3 + 295 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.300 seconds, Total memory usage: 32.09MB