Magma V2.19-8 Wed Aug 21 2013 00:29:43 on localhost [Seed = 391186196] Type ? for help. Type -D to quit. Loading file "K14n17220__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n17220 geometric_solution 11.80510734 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 3201 0132 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 -1 0 1 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577786857332 0.526558367240 0 4 0 5 0132 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.362820031702 1.861409027954 4 3 3 0 3012 3012 0213 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 0 0 0 0 0 -6 6 6 -6 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.611061018954 0.544436581942 2 2 0 6 1230 0213 0132 0132 0 0 0 0 0 0 0 0 1 0 -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 -1 1 6 0 -6 0 1 6 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.731358196910 0.498474848146 7 1 8 2 0132 0132 0132 1230 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 6 -6 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.015154728885 0.401431638406 8 9 1 7 2031 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.652610604250 0.319157521210 10 11 3 11 0132 0132 0132 0213 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 0 -1 1 -7 0 0 7 0 -6 0 6 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334149565111 0.877008097365 4 5 10 12 0132 2310 0132 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 -1 1 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.849442035477 0.873999041384 11 9 5 4 0321 0321 1302 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401660753286 0.843745585465 10 5 12 8 2310 0132 3012 0321 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 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.490301889577 0.673662790016 6 12 9 7 0132 2031 3201 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 0 1 7 0 0 -7 0 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.363191509468 1.252642865320 8 6 12 6 0321 0132 2031 0213 0 0 0 0 0 0 0 0 0 0 1 -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 0 1 -1 0 0 6 -6 0 7 0 -7 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334149565111 0.877008097365 10 9 7 11 1302 1230 0132 1302 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 -1 -6 -7 0 7 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.085151383930 0.829592640368 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_9']), 'c_1001_10' : negation(d['c_0101_9']), 'c_1001_12' : negation(d['c_0110_5']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0011_12'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : d['c_0110_5'], 'c_1010_12' : d['c_0101_9'], 'c_1010_11' : d['c_1001_6'], 'c_1010_10' : d['c_0011_12'], '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_0011_5'], 'c_0101_10' : d['c_0011_8'], '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_0110_5'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0101_0'], 'c_1100_7' : d['c_0011_5'], 'c_1100_6' : d['c_1001_6'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_1001_6'], 'c_1100_3' : d['c_1001_6'], 'c_1100_2' : d['c_1001_6'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_9']), 'c_1100_10' : d['c_0011_5'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0110_5']), 'c_1010_6' : negation(d['c_0101_9']), 'c_1010_5' : negation(d['c_0011_12']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_1001_6'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_1001_4'], 'c_1100_8' : d['c_0101_0'], '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_5'], '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_5']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_10']), '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' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0011_8']), 'c_0110_10' : d['c_0011_2'], 'c_0110_12' : d['c_0101_9'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0011_2'], 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_5']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_8']), 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_2'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0011_8']})} 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_2, c_0011_3, c_0011_5, c_0011_8, c_0101_0, c_0101_1, c_0101_9, c_0110_5, c_1001_4, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 1259589471926714038363603530605081430791907051986867706011793428/11\ 418600300278790917624290821502130870905521599847652140859*c_1001_6^\ 21 + 32269878187271226348536372431696149670284754274513875173973884\ 74/11418600300278790917624290821502130870905521599847652140859*c_10\ 01_6^20 + 207539877734622975072359516517043052354302640222076126346\ 72561058/1141860030027879091762429082150213087090552159984765214085\ 9*c_1001_6^19 - 485089091033590505522670625839028733189539909281029\ 5782152065067/22837200600557581835248581643004261741811043199695304\ 281718*c_1001_6^18 - 1825779045288668980807477353694962308814882356\ 52335962444387461941/1141860030027879091762429082150213087090552159\ 9847652140859*c_1001_6^17 + 357363862614955424692900039940577342084\ 40913076823822234206731011/2283720060055758183524858164300426174181\ 1043199695304281718*c_1001_6^16 + 174194693003957459369032253404016\ 735732756435239045123021366166513/134336474120926951972050480252966\ 2455400649599982076722454*c_1001_6^15 - 4492953559210987715166986271695009457558151984630620782011517091387\ /11418600300278790917624290821502130870905521599847652140859*c_1001\ _6^14 + 16062534308044939335434850710198670593862053878340920408831\ 020282919/228372006005575818352485816430042617418110431996953042817\ 18*c_1001_6^13 - 97919369025665939894473362745170410037136386583812\ 86706388964659861/1141860030027879091762429082150213087090552159984\ 7652140859*c_1001_6^12 + 111965956698941441356461789212174174392398\ 1732632121608949539851003/13433647412092695197205048025296624554006\ 49599982076722454*c_1001_6^11 - 79188659626700610569103075246146950\ 28696564962114435480680730752341/1141860030027879091762429082150213\ 0870905521599847652140859*c_1001_6^10 + 1304667357829525251198515988783701660469149868811166630819033557963\ 5/22837200600557581835248581643004261741811043199695304281718*c_100\ 1_6^9 - 54337413370469388184149888902782713897790004302494960513562\ 73192244/1141860030027879091762429082150213087090552159984765214085\ 9*c_1001_6^8 + 4267797897791403179717434469369235000168295751727021\ 403781553034962/114186003002787909176242908215021308709055215998476\ 52140859*c_1001_6^7 - 571409482363294245058010877471873008728035142\ 0227508597670033624343/22837200600557581835248581643004261741811043\ 199695304281718*c_1001_6^6 + 15260325858506883833072633563146528069\ 23020392435111885152640011451/1141860030027879091762429082150213087\ 0905521599847652140859*c_1001_6^5 - 9603370314039822463335361068159496835895142489443041015722474201/17\ 4329775576775433856859401854994364441305673280116826578*c_1001_6^4 + 381095453806764826292416678110678641163345514812501807468255165921/\ 22837200600557581835248581643004261741811043199695304281718*c_1001_\ 6^3 - 4062557191349701391765678542117638432168245214296928935019815\ 0473/11418600300278790917624290821502130870905521599847652140859*c_\ 1001_6^2 + 10723550556911257975799642280155910457441786130293861598\ 990390027/228372006005575818352485816430042617418110431996953042817\ 18*c_1001_6 - 37624458427279106384208689501742568025581307613526661\ 4488126144/11418600300278790917624290821502130870905521599847652140\ 859, c_0011_0 - 1, c_0011_10 + 2559741942084416667728832987465789686608/492718558717262744\ 137895700672214998313*c_1001_6^21 + 9313168157988561417131007269575155548176/49271855871726274413789570\ 0672214998313*c_1001_6^20 + 505598829874911265187880072145162463994\ 20/492718558717262744137895700672214998313*c_1001_6^19 + 44443714018286357059557846513612862272166/4927185587172627441378957\ 00672214998313*c_1001_6^18 - 35252321601359913356733917576348743150\ 0891/492718558717262744137895700672214998313*c_1001_6^17 - 354223168292266264613150966725942940434028/492718558717262744137895\ 700672214998313*c_1001_6^16 + 2864990521774849406212231298918283545\ 739360/492718558717262744137895700672214998313*c_1001_6^15 - 5948090677799688675562687823334946700938512/49271855871726274413789\ 5700672214998313*c_1001_6^14 + 799172406091946759499808893681185689\ 9786490/492718558717262744137895700672214998313*c_1001_6^13 - 6442351135637699253552815236937256526833253/49271855871726274413789\ 5700672214998313*c_1001_6^12 + 483720227242133275467936802913913949\ 9700263/492718558717262744137895700672214998313*c_1001_6^11 - 3050711812350761808811452234660361272425863/49271855871726274413789\ 5700672214998313*c_1001_6^10 + 318532405400481547603832328301673716\ 3154699/492718558717262744137895700672214998313*c_1001_6^9 - 2413936467374215603934730611728209198609466/49271855871726274413789\ 5700672214998313*c_1001_6^8 + 1572252594845787843989932945196246622\ 933519/492718558717262744137895700672214998313*c_1001_6^7 - 375817211682118573168646982609927859152068/492718558717262744137895\ 700672214998313*c_1001_6^6 - 74015038678764436816463789446615174016\ 663/492718558717262744137895700672214998313*c_1001_6^5 + 182015796405286298455521458299313245365559/492718558717262744137895\ 700672214998313*c_1001_6^4 - 77695899414953835778488121443208363271\ 676/492718558717262744137895700672214998313*c_1001_6^3 + 25235026314544600258574591946763134344326/4927185587172627441378957\ 00672214998313*c_1001_6^2 - 306703024249565116126001091875195448067\ 7/492718558717262744137895700672214998313*c_1001_6 + 539675750542610894743114701390151368376/492718558717262744137895700\ 672214998313, c_0011_12 + 255841721285146518765405394990396486944552/8376215498193466\ 650344226911427654971321*c_1001_6^21 + 711879051290937328205193821475677075790172/837621549819346665034422\ 6911427654971321*c_1001_6^20 + 440787388232631688388086100440593174\ 8411048/8376215498193466650344226911427654971321*c_1001_6^19 + 598362812028176717719324139912667070867297/837621549819346665034422\ 6911427654971321*c_1001_6^18 - 362812238115061013769895946711445954\ 64699061/8376215498193466650344226911427654971321*c_1001_6^17 - 3929967247703931709637631789383421166779197/83762154981934666503442\ 26911427654971321*c_1001_6^16 + 17351498866835821145428496315877412\ 132837548/492718558717262744137895700672214998313*c_1001_6^15 - 850972506501804909870385526131329547487542835/837621549819346665034\ 4226911427654971321*c_1001_6^14 + 148340508301915505679520967061695\ 9650573426045/8376215498193466650344226911427654971321*c_1001_6^13 - 1755919011786760770200994263199161487008917969/83762154981934666503\ 44226911427654971321*c_1001_6^12 + 99369906492822886357501705871448381460073697/4927185587172627441378\ 95700672214998313*c_1001_6^11 - 13791122516844983840295521239223353\ 36558868677/8376215498193466650344226911427654971321*c_1001_6^10 + 1147325276425725099580847244794297389933564140/83762154981934666503\ 44226911427654971321*c_1001_6^9 - 945886869921758485965928440364920\ 280038951575/8376215498193466650344226911427654971321*c_1001_6^8 + 743170251359488719717896185253212239344887868/837621549819346665034\ 4226911427654971321*c_1001_6^7 - 4846214931778144167112969291322640\ 23446228870/8376215498193466650344226911427654971321*c_1001_6^6 + 253614256586802623941767077235182568345637412/837621549819346665034\ 4226911427654971321*c_1001_6^5 - 9947235074955893803535231766274064\ 6791423727/8376215498193466650344226911427654971321*c_1001_6^4 + 28656034360780945220868333926562210464975925/8376215498193466650344\ 226911427654971321*c_1001_6^3 - 54096540657750740151325740023539429\ 22921020/8376215498193466650344226911427654971321*c_1001_6^2 + 606219201515636651386254598487994088470446/837621549819346665034422\ 6911427654971321*c_1001_6 - 187877909214871848333095804730227053325\ 83/8376215498193466650344226911427654971321, c_0011_2 + 9386852973644572999572896079966284349440/8376215498193466650\ 344226911427654971321*c_1001_6^21 + 38574051944455921354584618968986386718200/8376215498193466650344226\ 911427654971321*c_1001_6^20 + 1974857891711663810142843885653602586\ 92964/8376215498193466650344226911427654971321*c_1001_6^19 + 236782760560127452300077289898087462433392/837621549819346665034422\ 6911427654971321*c_1001_6^18 - 129229643836114963241051893827901308\ 9029677/8376215498193466650344226911427654971321*c_1001_6^17 - 1959953100051061174449610728272894053814581/83762154981934666503442\ 26911427654971321*c_1001_6^16 + 61451755110395811858579589492571011\ 8878363/492718558717262744137895700672214998313*c_1001_6^15 - 16465826182355058255899908087931336763856994/8376215498193466650344\ 226911427654971321*c_1001_6^14 + 1453641977787535781824133137360031\ 1020884337/8376215498193466650344226911427654971321*c_1001_6^13 + 795413662439896043938889628251006971623825/837621549819346665034422\ 6911427654971321*c_1001_6^12 - 557079263884785634819109582761152597\ 112003/492718558717262744137895700672214998313*c_1001_6^11 + 12974480356993801140142654329924732127929025/8376215498193466650344\ 226911427654971321*c_1001_6^10 - 7373449999974562587967288571200852\ 206767076/8376215498193466650344226911427654971321*c_1001_6^9 + 6887256778532428307436741888450530769138305/83762154981934666503442\ 26911427654971321*c_1001_6^8 - 766209533335105286381373087924917604\ 1865533/8376215498193466650344226911427654971321*c_1001_6^7 + 8819202430902432727594908484024199890789912/83762154981934666503442\ 26911427654971321*c_1001_6^6 - 638335542625229748872745073326769920\ 0027609/8376215498193466650344226911427654971321*c_1001_6^5 + 3453020555022540958112894107528425948357030/83762154981934666503442\ 26911427654971321*c_1001_6^4 - 117758873072228049078668598625424064\ 6545675/8376215498193466650344226911427654971321*c_1001_6^3 + 307470976378543411762502159050562065780997/837621549819346665034422\ 6911427654971321*c_1001_6^2 - 4483262583793837490911882426161207622\ 3883/8376215498193466650344226911427654971321*c_1001_6 + 2857041109592027255764245335258427992057/83762154981934666503442269\ 11427654971321, c_0011_3 - 68217565380543051197258911435637782117072/837621549819346665\ 0344226911427654971321*c_1001_6^21 - 167543457172992194834785518505195489495272/837621549819346665034422\ 6911427654971321*c_1001_6^20 - 108120487178314413240893354730711733\ 4178064/8376215498193466650344226911427654971321*c_1001_6^19 + 324068262547688041868287382989757998483458/837621549819346665034422\ 6911427654971321*c_1001_6^18 + 103011509299340704151718212593574281\ 93697136/8376215498193466650344226911427654971321*c_1001_6^17 - 1885374113103842706666868379995831591637139/83762154981934666503442\ 26911427654971321*c_1001_6^16 - 49227911917956252328690572565444873\ 02941142/492718558717262744137895700672214998313*c_1001_6^15 + 250432912242822624309594765502796604225114537/837621549819346665034\ 4226911427654971321*c_1001_6^14 - 431647486808379743250303667651122\ 686066048194/8376215498193466650344226911427654971321*c_1001_6^13 + 503927396653485424396679048532638218435071617/837621549819346665034\ 4226911427654971321*c_1001_6^12 - 270831726540988526739708109416850\ 76673636152/492718558717262744137895700672214998313*c_1001_6^11 + 370355192302744509272051839032058280956857988/837621549819346665034\ 4226911427654971321*c_1001_6^10 - 303591604205568209767276527519551\ 205475928746/8376215498193466650344226911427654971321*c_1001_6^9 + 258598441257852214972247401272686772012721213/837621549819346665034\ 4226911427654971321*c_1001_6^8 - 1993994377692843435107311031140849\ 52917060666/8376215498193466650344226911427654971321*c_1001_6^7 + 125751927978417801066937998129599877380495745/837621549819346665034\ 4226911427654971321*c_1001_6^6 - 6069772746241307084794161010196471\ 6384225606/8376215498193466650344226911427654971321*c_1001_6^5 + 21893997987483665711803769477854453405180587/8376215498193466650344\ 226911427654971321*c_1001_6^4 - 56049368135365141898468074455307125\ 38892100/8376215498193466650344226911427654971321*c_1001_6^3 + 969401086054093814804710738381874290645919/837621549819346665034422\ 6911427654971321*c_1001_6^2 - 8025350373464853787920403634811014021\ 5005/8376215498193466650344226911427654971321*c_1001_6 - 1450410278182766215012073833492217363660/83762154981934666503442269\ 11427654971321, c_0011_5 + 16181506657021171425492580598640261515032/761474136199406059\ 122202446493423179211*c_1001_6^21 + 42900304677875197161608296484755224482572/7614741361994060591222024\ 46493423179211*c_1001_6^20 + 27327427489038488170128474448828092203\ 7996/761474136199406059122202446493423179211*c_1001_6^19 + 2558291375571055793941663736291671468323/76147413619940605912220244\ 6493423179211*c_1001_6^18 - 229234125023904236523662330725926886932\ 2554/761474136199406059122202446493423179211*c_1001_6^17 + 56969957111874897186198372930353197984053/7614741361994060591222024\ 46493423179211*c_1001_6^16 + 10959689037938187072963736720680897369\ 66785/44792596247023885830717790970201363483*c_1001_6^15 - 56312390020239629909409820350195778941645103/7614741361994060591222\ 02446493423179211*c_1001_6^14 + 10135387741762662025150602576285092\ 8714451843/761474136199406059122202446493423179211*c_1001_6^13 - 124420007620133185100320485731416929140421328/761474136199406059122\ 202446493423179211*c_1001_6^12 + 7230985861624267564173822775962953\ 331988699/44792596247023885830717790970201363483*c_1001_6^11 - 102653482714622847606914573312676994625539893/761474136199406059122\ 202446493423179211*c_1001_6^10 + 8514368840630272390948282483875459\ 7561052790/761474136199406059122202446493423179211*c_1001_6^9 - 70187083752646143064604788199076986279490653/7614741361994060591222\ 02446493423179211*c_1001_6^8 + 555957834787075950186184626905485413\ 90385669/761474136199406059122202446493423179211*c_1001_6^7 - 37440890558161643651759895084865713938421458/7614741361994060591222\ 02446493423179211*c_1001_6^6 + 204838971617500713175684591206368225\ 57042495/761474136199406059122202446493423179211*c_1001_6^5 - 8598543214631640147432652784798626530231908/76147413619940605912220\ 2446493423179211*c_1001_6^4 + 2696794123731571680068497407159574162\ 879696/761474136199406059122202446493423179211*c_1001_6^3 - 585635336018239555383578252031944414242360/761474136199406059122202\ 446493423179211*c_1001_6^2 + 80143516325536318487259501482542104860\ 237/761474136199406059122202446493423179211*c_1001_6 - 5037131011913058495910750814200001580288/76147413619940605912220244\ 6493423179211, c_0011_8 + 80721321377121185711447631514047072302848/837621549819346665\ 0344226911427654971321*c_1001_6^21 + 164002136369886724447803166814262869627616/837621549819346665034422\ 6911427654971321*c_1001_6^20 + 118999530640612047537283970216026728\ 7857968/8376215498193466650344226911427654971321*c_1001_6^19 - 953704638890215354106932959167754693129776/837621549819346665034422\ 6911427654971321*c_1001_6^18 - 121593384557263698589973628195455735\ 88328772/8376215498193466650344226911427654971321*c_1001_6^17 + 7155912456776973001077256121112774945004096/83762154981934666503442\ 26911427654971321*c_1001_6^16 + 58057270716626893477846149644111758\ 91016652/492718558717262744137895700672214998313*c_1001_6^15 - 336410786306845596210932472594038766839986414/837621549819346665034\ 4226911427654971321*c_1001_6^14 + 631679414851839894420367490659173\ 756263699834/8376215498193466650344226911427654971321*c_1001_6^13 - 810467872956263503442829929753261725726836074/837621549819346665034\ 4226911427654971321*c_1001_6^12 + 471232663015804144311977751324388\ 36530050182/492718558717262744137895700672214998313*c_1001_6^11 - 681972448234061922026730123649443641884548262/837621549819346665034\ 4226911427654971321*c_1001_6^10 + 556145651022690117345642409633248\ 363847697245/8376215498193466650344226911427654971321*c_1001_6^9 - 467500630891050911998870638344346630790362657/837621549819346665034\ 4226911427654971321*c_1001_6^8 + 3709340290567117815144866606629313\ 00036289960/8376215498193466650344226911427654971321*c_1001_6^7 - 255171025917189423946992667814156742127243259/837621549819346665034\ 4226911427654971321*c_1001_6^6 + 1410743497954610869539061364662848\ 80822154410/8376215498193466650344226911427654971321*c_1001_6^5 - 60869545767058976937147001790900413103033150/8376215498193466650344\ 226911427654971321*c_1001_6^4 + 19733084254039304670797305560051330\ 194673277/8376215498193466650344226911427654971321*c_1001_6^3 - 4605529946212977321499623216001239312818739/83762154981934666503442\ 26911427654971321*c_1001_6^2 + 703491742900553944323328902420091425\ 758037/8376215498193466650344226911427654971321*c_1001_6 - 56669411168493676290724465197792970705620/8376215498193466650344226\ 911427654971321, c_0101_0 + 42533049941528559767279987722811670190784/837621549819346665\ 0344226911427654971321*c_1001_6^21 + 154970132088429948672896626958204533287112/837621549819346665034422\ 6911427654971321*c_1001_6^20 + 847727947145051248626852154569011771\ 003428/8376215498193466650344226911427654971321*c_1001_6^19 + 760711697608679703701879472834863218357572/837621549819346665034422\ 6911427654971321*c_1001_6^18 - 574691064485145724944457611142195941\ 3155715/8376215498193466650344226911427654971321*c_1001_6^17 - 5946394809486827179870378445303380363417796/83762154981934666503442\ 26911427654971321*c_1001_6^16 + 27328335242575894885204443730518143\ 01688477/492718558717262744137895700672214998313*c_1001_6^15 - 98661795646084283865432038062494508510211277/8376215498193466650344\ 226911427654971321*c_1001_6^14 + 1411918881793601598996161943538843\ 76036178396/8376215498193466650344226911427654971321*c_1001_6^13 - 129224946786948839951312201484322237641379877/837621549819346665034\ 4226911427654971321*c_1001_6^12 + 674084741839774701230396633193335\ 3082549656/492718558717262744137895700672214998313*c_1001_6^11 - 86055505545791316980936249061299706312162465/8376215498193466650344\ 226911427654971321*c_1001_6^10 + 8114784412433274941595814721191892\ 0573634176/8376215498193466650344226911427654971321*c_1001_6^9 - 62698107637886901228801614710043471094977014/8376215498193466650344\ 226911427654971321*c_1001_6^8 + 44641085087363653417031890259199989\ 250748396/8376215498193466650344226911427654971321*c_1001_6^7 - 22996623430815799162417180929048159234678094/8376215498193466650344\ 226911427654971321*c_1001_6^6 + 10200069743999091284168411609236307\ 171652465/8376215498193466650344226911427654971321*c_1001_6^5 - 3383453833030079702997937220896469253046181/83762154981934666503442\ 26911427654971321*c_1001_6^4 + 101293328473916811217285908312891251\ 3057916/8376215498193466650344226911427654971321*c_1001_6^3 - 230957007543273215369958860167725536613233/837621549819346665034422\ 6911427654971321*c_1001_6^2 + 3755496113860260696051608463941533948\ 4888/8376215498193466650344226911427654971321*c_1001_6 - 8331626367380370798569057568569135133221/83762154981934666503442269\ 11427654971321, c_0101_1 + 7491767533475727153769122104009434467904/8376215498193466650\ 344226911427654971321*c_1001_6^21 + 68648528277601994263942677954135027282456/8376215498193466650344226\ 911427654971321*c_1001_6^20 + 2778368394817033609979523687390649196\ 13668/8376215498193466650344226911427654971321*c_1001_6^19 + 876196113271544799818070807526292503668424/837621549819346665034422\ 6911427654971321*c_1001_6^18 - 714802735177295677974370767593957940\ 911437/8376215498193466650344226911427654971321*c_1001_6^17 - 7041281961265437208771577026228956808205433/83762154981934666503442\ 26911427654971321*c_1001_6^16 + 32078294696497421499102066627128068\ 7244455/492718558717262744137895700672214998313*c_1001_6^15 + 31142320897969235085634840865229720848850496/8376215498193466650344\ 226911427654971321*c_1001_6^14 - 9560591018645315503187773970239781\ 0126699143/8376215498193466650344226911427654971321*c_1001_6^13 + 163824709593141134276918180147693175536273231/837621549819346665034\ 4226911427654971321*c_1001_6^12 - 100983249550005257602469688197824\ 34503887197/492718558717262744137895700672214998313*c_1001_6^11 + 150785122911259498020511848089992289333901602/837621549819346665034\ 4226911427654971321*c_1001_6^10 - 113572873460779565686017361124045\ 104742644700/8376215498193466650344226911427654971321*c_1001_6^9 + 99415668380370716912242807002460449571936545/8376215498193466650344\ 226911427654971321*c_1001_6^8 - 84260293044231223074104872613924370\ 454593004/8376215498193466650344226911427654971321*c_1001_6^7 + 63325995114311609135267589539858813582189496/8376215498193466650344\ 226911427654971321*c_1001_6^6 - 35930956118342454909786176141975400\ 701139258/8376215498193466650344226911427654971321*c_1001_6^5 + 15437729309468082495380448674256855667658102/8376215498193466650344\ 226911427654971321*c_1001_6^4 - 46499913365160479695739581536468069\ 62431619/8376215498193466650344226911427654971321*c_1001_6^3 + 983140201947755119347867653501957520854085/837621549819346665034422\ 6911427654971321*c_1001_6^2 - 1244245177811405077986985773918596964\ 51318/8376215498193466650344226911427654971321*c_1001_6 + 3373280332584086145589209862357227224142/83762154981934666503442269\ 11427654971321, c_0101_9 + 196621681161636782449379604871699070578624/83762154981934666\ 50344226911427654971321*c_1001_6^21 + 604332393619298263491318133390613519594760/837621549819346665034422\ 6911427654971321*c_1001_6^20 + 355627718511438376895070043749953045\ 2227908/8376215498193466650344226911427654971321*c_1001_6^19 + 1455431290366765407658558931268946909265372/83762154981934666503442\ 26911427654971321*c_1001_6^18 - 27644727195667975003123691576871066\ 700177527/8376215498193466650344226911427654971321*c_1001_6^17 - 11435320224935635900707022299014683770488956/8376215498193466650344\ 226911427654971321*c_1001_6^16 + 1319088342100432384281628508224445\ 8970089500/492718558717262744137895700672214998313*c_1001_6^15 - 585782905420383797158993213776976506688219916/837621549819346665034\ 4226911427654971321*c_1001_6^14 + 962531581659698065462200973143613\ 338198039870/8376215498193466650344226911427654971321*c_1001_6^13 - 1068261541050018426509229838656138184848750564/83762154981934666503\ 44226911427654971321*c_1001_6^12 + 58951984665742831424647584630259751482063139/4927185587172627441378\ 95700672214998313*c_1001_6^11 - 80558655588863603144378722174728845\ 1411995419/8376215498193466650344226911427654971321*c_1001_6^10 + 687459379827748733914781684489031715846362850/837621549819346665034\ 4226911427654971321*c_1001_6^9 - 5625343060077189218779007082168970\ 85517405835/8376215498193466650344226911427654971321*c_1001_6^8 + 431543057526024331478075182141365232459279660/837621549819346665034\ 4226911427654971321*c_1001_6^7 - 2694020984839164670182982140495486\ 00897967466/8376215498193466650344226911427654971321*c_1001_6^6 + 136710781637679068638863776679091809406148256/837621549819346665034\ 4226911427654971321*c_1001_6^5 - 5285511616013148689863496458949984\ 4946978905/8376215498193466650344226911427654971321*c_1001_6^4 + 15630265730115425700616973792928136408574025/8376215498193466650344\ 226911427654971321*c_1001_6^3 - 32267099582678375294309481041532605\ 06928295/8376215498193466650344226911427654971321*c_1001_6^2 + 443496814936331899003267503800926005197935/837621549819346665034422\ 6911427654971321*c_1001_6 - 283541372912295362885960411469420995854\ 28/8376215498193466650344226911427654971321, c_0110_5 + 274786517571015823520317669018686832009192/83762154981934666\ 50344226911427654971321*c_1001_6^21 + 762668494838926033460896650331410284325364/837621549819346665034422\ 6911427654971321*c_1001_6^20 + 471050627843492973481744889394508883\ 5626124/8376215498193466650344226911427654971321*c_1001_6^19 + 555744735239641251801778350724235885719185/837621549819346665034422\ 6911427654971321*c_1001_6^18 - 392871509847339870019636591281527792\ 59746382/8376215498193466650344226911427654971321*c_1001_6^17 - 4001588035610914234020518667098202239091466/83762154981934666503442\ 26911427654971321*c_1001_6^16 + 18801987987208923222444719050259641\ 098722300/492718558717262744137895700672214998313*c_1001_6^15 - 915424750635385512597209195476287894227962628/837621549819346665034\ 4226911427654971321*c_1001_6^14 + 157710888410275768921207616824336\ 2588231029711/8376215498193466650344226911427654971321*c_1001_6^13 - 1840023143643225109063596773474119648064648229/83762154981934666503\ 44226911427654971321*c_1001_6^12 + 102363542041817567171936443383653281256783283/492718558717262744137\ 895700672214998313*c_1001_6^11 - 1404857646759310533119520728461138\ 228688106915/8376215498193466650344226911427654971321*c_1001_6^10 + 1168743867622621319458840076167321846743488751/83762154981934666503\ 44226911427654971321*c_1001_6^9 - 967465219055270620237884519152125\ 338251884912/8376215498193466650344226911427654971321*c_1001_6^8 + 756338123417162354792269844906366106071508492/837621549819346665034\ 4226911427654971321*c_1001_6^7 - 4841987697114486844168273461879907\ 23898363356/8376215498193466650344226911427654971321*c_1001_6^6 + 246229383108604807866131231105625893432507769/837621549819346665034\ 4226911427654971321*c_1001_6^5 - 9255607997188856480464841778824862\ 4150172405/8376215498193466650344226911427654971321*c_1001_6^4 + 25183869307936437645307449315977291773501919/8376215498193466650344\ 226911427654971321*c_1001_6^3 - 43003976093287941872331425372323540\ 31910523/8376215498193466650344226911427654971321*c_1001_6^2 + 400215956390976959819662039741890535198508/837621549819346665034422\ 6911427654971321*c_1001_6 + 241155795817131509653442781856180170512\ /8376215498193466650344226911427654971321, c_1001_4 + 15652473990072891520274881088499621540016/837621549819346665\ 0344226911427654971321*c_1001_6^21 + 22385192249341061616189628515555839521896/8376215498193466650344226\ 911427654971321*c_1001_6^20 + 2219767661029657812474754945800073320\ 37728/8376215498193466650344226911427654971321*c_1001_6^19 - 283684656006551340947316341145980859264042/837621549819346665034422\ 6911427654971321*c_1001_6^18 - 203577959008687435422513021614906024\ 2543038/8376215498193466650344226911427654971321*c_1001_6^17 + 3021907714810466130784554116227514384317782/83762154981934666503442\ 26911427654971321*c_1001_6^16 + 99190578416021540708734530920185176\ 2699623/492718558717262744137895700672214998313*c_1001_6^15 - 78584542941751619157599318224810872675689589/8376215498193466650344\ 226911427654971321*c_1001_6^14 + 1732945721807784283619966390410708\ 50700439745/8376215498193466650344226911427654971321*c_1001_6^13 - 251670594806185502453941154574248272066164419/837621549819346665034\ 4226911427654971321*c_1001_6^12 + 161352656659755401482510774327719\ 93682654397/492718558717262744137895700672214998313*c_1001_6^11 - 240588825450716059206751444351168533491913124/837621549819346665034\ 4226911427654971321*c_1001_6^10 + 196572627952826847864993596610757\ 386111458271/8376215498193466650344226911427654971321*c_1001_6^9 - 160749620254711134756938535985131627112458972/837621549819346665034\ 4226911427654971321*c_1001_6^8 + 1337228425568701513427531192257795\ 37294047412/8376215498193466650344226911427654971321*c_1001_6^7 - 97731967004455797313650330308998275260176823/8376215498193466650344\ 226911427654971321*c_1001_6^6 + 58901395907683072613494085035735160\ 869948290/8376215498193466650344226911427654971321*c_1001_6^5 - 27108989772681133121476672254665698197036825/8376215498193466650344\ 226911427654971321*c_1001_6^4 + 94456062776813882820688244716453654\ 06540611/8376215498193466650344226911427654971321*c_1001_6^3 - 2302998616889998765693288268593339359045828/83762154981934666503442\ 26911427654971321*c_1001_6^2 + 381653413482919111401432918994363574\ 777357/8376215498193466650344226911427654971321*c_1001_6 - 22780054078560696679829296002458589914003/8376215498193466650344226\ 911427654971321, c_1001_6^22 + 5/2*c_1001_6^21 + 33/2*c_1001_6^20 - 19/8*c_1001_6^19 - 283/2*c_1001_6^18 + 99/4*c_1001_6^17 + 4597/4*c_1001_6^16 - 29215/8*c_1001_6^15 + 27213/4*c_1001_6^14 - 69589/8*c_1001_6^13 + 35583/4*c_1001_6^12 - 15371/2*c_1001_6^11 + 6425*c_1001_6^10 - 42435/8*c_1001_6^9 + 33829/8*c_1001_6^8 - 23565/8*c_1001_6^7 + 1710*c_1001_6^6 - 3161/4*c_1001_6^5 + 1141/4*c_1001_6^4 - 617/8*c_1001_6^3 + 15*c_1001_6^2 - 15/8*c_1001_6 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 20.350 Total time: 20.550 seconds, Total memory usage: 132.28MB