Magma V2.19-8 Tue Aug 20 2013 23:39:19 on localhost [Seed = 1814693948] Type ? for help. Type -D to quit. Loading file "K13n193__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n193 geometric_solution 10.02815498 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 3 0132 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 -1 1 0 0 1 -1 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.443465102922 0.601194983561 0 4 2 5 0132 0132 1230 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 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.441417645170 0.884251797683 6 0 3 1 0132 0132 3201 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.253918585107 0.922365797680 2 0 4 0 2310 2310 2031 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 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.059123840700 0.747850442092 7 1 7 3 0132 0132 3120 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.471848993718 0.448030002783 6 8 1 9 3201 0132 0132 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 0 0 0 0 0 0 -7 8 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.347207214524 1.009798477877 2 8 9 5 0132 3201 2031 2310 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 0 0 0.770623997075 0.882548657425 4 8 4 10 0132 2310 3120 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 -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.471848993718 0.448030002783 10 5 6 7 1023 0132 2310 3201 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 1 -8 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.579811913734 1.655489614395 10 10 5 6 3201 2031 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.391017016682 1.350443615993 9 8 7 9 1302 1023 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.277496843737 0.615360118999 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_0']), 'c_1001_10' : d['c_0101_8'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_1001_4']), 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_3'], 'c_1001_2' : negation(d['c_0101_3']), 'c_1001_9' : d['c_0101_9'], 'c_1001_8' : d['c_0101_9'], 'c_1010_10' : negation(d['c_0101_8']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_9']), '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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(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_0101_6'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_3'], 'c_1100_7' : d['c_0011_9'], 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : d['c_0101_6'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_1100_10' : d['c_0011_9'], 'c_1010_7' : d['c_0101_8'], 'c_1010_6' : negation(d['c_0101_9']), 'c_1010_5' : d['c_0101_9'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0101_3']), 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_1001_4'], 's_3_1' : negation(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' : negation(d['1']), 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_0'], '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_10' : negation(d['c_0101_9']), 'c_0101_7' : negation(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_9']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_8'], 'c_0110_8' : negation(d['c_0101_8']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_9'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : negation(d['c_0011_9']), 'c_1100_8' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_9, c_0101_0, c_0101_1, c_0101_3, c_0101_6, c_0101_8, c_0101_9, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 154278645159897579169827548038851172504140289/106174765096954141747\ 735615143640062700657*c_1001_4^19 + 227729612293741085851703131756053458339545848755/541491301994466122\ 9134516372325643197733507*c_1001_4^18 + 3167492080145209891358819162384440511383937628337/54149130199446612\ 29134516372325643197733507*c_1001_4^17 + 27983100219801792520716616169101788082437769813781/5414913019944661\ 229134516372325643197733507*c_1001_4^16 + 175370024996272292874807955740395464492859903104262/541491301994466\ 1229134516372325643197733507*c_1001_4^15 + 826149256482068109732373126860512248978767239233403/541491301994466\ 1229134516372325643197733507*c_1001_4^14 + 275280030018655741854248857326818711240385430273942/492264819994969\ 202648592397484149381612137*c_1001_4^13 + 8824822302547871263404613610328858015826211474950324/54149130199446\ 61229134516372325643197733507*c_1001_4^12 + 20732121817769612151086805396076374712762819221376559/5414913019944\ 661229134516372325643197733507*c_1001_4^11 + 39584033549490166494286866902910828537670218508340120/5414913019944\ 661229134516372325643197733507*c_1001_4^10 + 61652671297967390066988134116196358762046225840604255/5414913019944\ 661229134516372325643197733507*c_1001_4^9 + 78314675549067647796097334649086329610536829408184688/5414913019944\ 661229134516372325643197733507*c_1001_4^8 + 80793388470673402291809316044206718122211048445357606/5414913019944\ 661229134516372325643197733507*c_1001_4^7 + 67109878170915098472534917450484624409827725914501052/5414913019944\ 661229134516372325643197733507*c_1001_4^6 + 14747956940681288932901495734995063615362850575805442/1804971006648\ 220409711505457441881065911169*c_1001_4^5 + 22640590513157451674462529612030272919877683373700323/5414913019944\ 661229134516372325643197733507*c_1001_4^4 + 8683879365116661470824021437738001737507032603400169/54149130199446\ 61229134516372325643197733507*c_1001_4^3 + 2355864514963302361997641346233910787935976372066848/54149130199446\ 61229134516372325643197733507*c_1001_4^2 + 405208003573763828558977620857356289491177759833487/541491301994466\ 1229134516372325643197733507*c_1001_4 + 33541921812974895307537606706527041112589508580205/5414913019944661\ 229134516372325643197733507, c_0011_0 - 1, c_0011_10 - 96982639367121404067622397619992/14301488052538372067297414\ 322363*c_1001_4^19 - 2847029658459991065449039513897794/14301488052\ 538372067297414322363*c_1001_4^18 - 40183288737460401633648384692904857/1430148805253837206729741432236\ 3*c_1001_4^17 - 360516943052398433286470581859772752/14301488052538\ 372067297414322363*c_1001_4^16 - 2296802693705774353435469133964635\ 986/14301488052538372067297414322363*c_1001_4^15 - 11012388323551087693861821304890788513/1430148805253837206729741432\ 2363*c_1001_4^14 - 41136616903586349183296708040110616433/143014880\ 52538372067297414322363*c_1001_4^13 - 122362669865803410483695742819100756043/143014880525383720672974143\ 22363*c_1001_4^12 - 293877476536684477992032891982334647911/1430148\ 8052538372067297414322363*c_1001_4^11 - 574602431307455378480203343570624301884/143014880525383720672974143\ 22363*c_1001_4^10 - 918135311121706216107783815311100784370/1430148\ 8052538372067297414322363*c_1001_4^9 - 1198689444086156392894995721694144870770/14301488052538372067297414\ 322363*c_1001_4^8 - 1273311868418521213395989454772226619215/143014\ 88052538372067297414322363*c_1001_4^7 - 363606511828780230738645952990388579424/476716268417945735576580477\ 4121*c_1001_4^6 - 742606636151786332403826874747444137784/143014880\ 52538372067297414322363*c_1001_4^5 - 392553945388843621425978431466664697113/143014880525383720672974143\ 22363*c_1001_4^4 - 155348920128472073921432419420230276965/14301488\ 052538372067297414322363*c_1001_4^3 - 43305195492796874501593699014234668647/1430148805253837206729741432\ 2363*c_1001_4^2 - 7582212217804830657290306752867910972/14301488052\ 538372067297414322363*c_1001_4 - 2090553667778266822984805289486298\ 31/4767162684179457355765804774121, c_0011_3 + 2909642503969354037665893958411/1430148805253837206729741432\ 2363*c_1001_4^19 + 28416522763737438938719709387607/476716268417945\ 7355765804774121*c_1001_4^18 + 401450619218425358012971503175351/47\ 67162684179457355765804774121*c_1001_4^17 + 10840917350255812446570666932948618/1430148805253837206729741432236\ 3*c_1001_4^16 + 69437180136149570197748830203767849/143014880525383\ 72067297414322363*c_1001_4^15 + 33531870440815498157852365242322638\ 2/14301488052538372067297414322363*c_1001_4^14 + 421159477717928730414060651303810752/476716268417945735576580477412\ 1*c_1001_4^13 + 1265155155588700633065806330624531825/4767162684179\ 457355765804774121*c_1001_4^12 + 9213332361564925224973156160291449\ 571/14301488052538372067297414322363*c_1001_4^11 + 18215643508236734314741932703500362888/1430148805253837206729741432\ 2363*c_1001_4^10 + 9811002012989170647868113621106365321/4767162684\ 179457355765804774121*c_1001_4^9 + 38845567395924852834084152297170820356/1430148805253837206729741432\ 2363*c_1001_4^8 + 13894432591213728363701885942871181942/4767162684\ 179457355765804774121*c_1001_4^7 + 36031291290682818766201315936819593907/1430148805253837206729741432\ 2363*c_1001_4^6 + 24711354378809106843843936812407965536/1430148805\ 2538372067297414322363*c_1001_4^5 + 13132104326562750539856800584507884328/1430148805253837206729741432\ 2363*c_1001_4^4 + 1736772270278120921133467584162091009/47671626841\ 79457355765804774121*c_1001_4^3 + 483749862740165063248069851608620\ 042/4767162684179457355765804774121*c_1001_4^2 + 84284213777357612498927832091384992/4767162684179457355765804774121\ *c_1001_4 + 20717941506401291797175053745953162/1430148805253837206\ 7297414322363, c_0011_9 - 7538335103204163356473548019039/1430148805253837206729741432\ 2363*c_1001_4^19 - 215632879872431363409313002403133/14301488052538\ 372067297414322363*c_1001_4^18 - 2961543132933864306801863304294304\ /14301488052538372067297414322363*c_1001_4^17 - 25802061262329726767886752587525153/1430148805253837206729741432236\ 3*c_1001_4^16 - 159211803138813189769444233983050369/14301488052538\ 372067297414322363*c_1001_4^15 - 7370530958144413867879052352274119\ 91/14301488052538372067297414322363*c_1001_4^14 - 2648682636066571667520887400144676235/14301488052538372067297414322\ 363*c_1001_4^13 - 7547768851615918404877307245699728979/14301488052\ 538372067297414322363*c_1001_4^12 - 17283671718057944949490812322774856671/1430148805253837206729741432\ 2363*c_1001_4^11 - 32047101041309741503850037434023460398/143014880\ 52538372067297414322363*c_1001_4^10 - 48262669563348044923276312405387469339/1430148805253837206729741432\ 2363*c_1001_4^9 - 58972857496793432788088164281586292948/1430148805\ 2538372067297414322363*c_1001_4^8 - 58160644269280505545431868946425161571/1430148805253837206729741432\ 2363*c_1001_4^7 - 15276651160741053744080785799033853884/4767162684\ 179457355765804774121*c_1001_4^6 - 28385781187506987210042500319883895864/1430148805253837206729741432\ 2363*c_1001_4^5 - 13473477709402357677247036315008541490/1430148805\ 2538372067297414322363*c_1001_4^4 - 4710517513501406006757775724070807430/14301488052538372067297414322\ 363*c_1001_4^3 - 1135940115681942054128271156556813382/143014880525\ 38372067297414322363*c_1001_4^2 - 167124474786477267175440166173169\ 429/14301488052538372067297414322363*c_1001_4 - 3703814670704546031670440352666064/4767162684179457355765804774121, c_0101_0 - 18002928327798472057239520872895/143014880525383720672974143\ 22363*c_1001_4^19 - 171472704910026148213895118263670/4767162684179\ 457355765804774121*c_1001_4^18 - 2358225694072296629229326699999095\ /4767162684179457355765804774121*c_1001_4^17 - 61878701613483077024235543866947934/1430148805253837206729741432236\ 3*c_1001_4^16 - 384428221766819856491460017672311046/14301488052538\ 372067297414322363*c_1001_4^15 - 1797786526720564293578483966253182\ 318/14301488052538372067297414322363*c_1001_4^14 - 2183829792441918912868563958819756317/47671626841794573557658047741\ 21*c_1001_4^13 - 6338721815712558996716465265537852302/476716268417\ 9457355765804774121*c_1001_4^12 - 445793201925401787861403189435019\ 33975/14301488052538372067297414322363*c_1001_4^11 - 85109558334868652908628065501679000720/1430148805253837206729741432\ 2363*c_1001_4^10 - 44279523953844827694056084853801642532/476716268\ 4179457355765804774121*c_1001_4^9 - 169471138835891597848654706013141738148/143014880525383720672974143\ 22363*c_1001_4^8 - 58658317843782453845802427420866316994/476716268\ 4179457355765804774121*c_1001_4^7 - 147410999737790661827508216243717490726/143014880525383720672974143\ 22363*c_1001_4^6 - 98151595505781241398046441032136270943/143014880\ 52538372067297414322363*c_1001_4^5 - 50752455378631244188499401414640475166/1430148805253837206729741432\ 2363*c_1001_4^4 - 6548980255867961171014885730572623585/47671626841\ 79457355765804774121*c_1001_4^3 - 178566858784566546966547672764830\ 6671/4767162684179457355765804774121*c_1001_4^2 - 305766901550017356596901131388764526/476716268417945735576580477412\ 1*c_1001_4 - 74198002956451246555034254800737644/143014880525383720\ 67297414322363, c_0101_1 + 4740645989962470998394027030534/4767162684179457355765804774\ 121*c_1001_4^19 + 414968533711410502387019730102763/143014880525383\ 72067297414322363*c_1001_4^18 + 5823185600430457930674299867168765/\ 14301488052538372067297414322363*c_1001_4^17 + 51949953567093080177427389813246770/1430148805253837206729741432236\ 3*c_1001_4^16 + 329104501325162542138260589701106594/14301488052538\ 372067297414322363*c_1001_4^15 + 1568971778503875517967407636911346\ 273/14301488052538372067297414322363*c_1001_4^14 + 5826811341096500889532804480380907411/14301488052538372067297414322\ 363*c_1001_4^13 + 17228261993665078930759420514799967928/1430148805\ 2538372067297414322363*c_1001_4^12 + 41119684635286048817139240148455452608/1430148805253837206729741432\ 2363*c_1001_4^11 + 79877878559475270369718783516466724073/143014880\ 52538372067297414322363*c_1001_4^10 + 126769764618206795509416823404550104160/143014880525383720672974143\ 22363*c_1001_4^9 + 164337543306108016013463330814799578118/14301488\ 052538372067297414322363*c_1001_4^8 + 173285351372000666414265097766407813139/143014880525383720672974143\ 22363*c_1001_4^7 + 147321175376979944316740766439235832319/14301488\ 052538372067297414322363*c_1001_4^6 + 33169804011230225590980025904356828659/4767162684179457355765804774\ 121*c_1001_4^5 + 52183372772020901894194063467808994717/14301488052\ 538372067297414322363*c_1001_4^4 + 20485109546462476771541905094693769170/1430148805253837206729741432\ 2363*c_1001_4^3 + 5664854886102513625477027352679007231/14301488052\ 538372067297414322363*c_1001_4^2 + 984165869773081639421559910432187753/143014880525383720672974143223\ 63*c_1001_4 + 80826271336840061439123458033518780/14301488052538372\ 067297414322363, c_0101_3 - 16527903718349238072283759707520/143014880525383720672974143\ 22363*c_1001_4^19 - 476177803929572360388456346204418/1430148805253\ 8372067297414322363*c_1001_4^18 - 659690696914871434271925603372819\ 1/14301488052538372067297414322363*c_1001_4^17 - 58085035925018509561256862518804017/1430148805253837206729741432236\ 3*c_1001_4^16 - 363062996066979610341613576412034124/14301488052538\ 372067297414322363*c_1001_4^15 - 1707391791052304494455191996382673\ 090/14301488052538372067297414322363*c_1001_4^14 - 6254311141908802820756388359869540262/14301488052538372067297414322\ 363*c_1001_4^13 - 18241700700574422226640831747384797186/1430148805\ 2538372067297414322363*c_1001_4^12 - 42963333350028815852685087289298488531/1430148805253837206729741432\ 2363*c_1001_4^11 - 82407562735836580095322659507548083066/143014880\ 52538372067297414322363*c_1001_4^10 - 129254730944433445850260641672874811909/143014880525383720672974143\ 22363*c_1001_4^9 - 165803661675782001205435008158061216548/14301488\ 052538372067297414322363*c_1001_4^8 - 173272322358331718327454294816572345671/143014880525383720672974143\ 22363*c_1001_4^7 - 48759856487554857213632702813176032255/476716268\ 4179457355765804774121*c_1001_4^6 - 98343679243950472041574373874339519215/1430148805253837206729741432\ 2363*c_1001_4^5 - 51473012241983058145844465204930157464/1430148805\ 2538372067297414322363*c_1001_4^4 - 20232953016982695906508685849639121619/1430148805253837206729741432\ 2363*c_1001_4^3 - 5623556521485004592781645254701255190/14301488052\ 538372067297414322363*c_1001_4^2 - 986122360615851691185754858417238830/143014880525383720672974143223\ 63*c_1001_4 - 27372949222445162585631933565764996/47671626841794573\ 55765804774121, c_0101_6 - 23696474850174028668614883316843/143014880525383720672974143\ 22363*c_1001_4^19 - 681493380002617402225820773990726/1430148805253\ 8372067297414322363*c_1001_4^18 - 943011022712886833444241322434914\ 6/14301488052538372067297414322363*c_1001_4^17 - 27657682084542334233947159657759173/4767162684179457355765804774121\ *c_1001_4^16 - 172829687667526158330080386914135865/476716268417945\ 7355765804774121*c_1001_4^15 - 812865437094477700898536914180873451\ /4767162684179457355765804774121*c_1001_4^14 - 8936482999474151107042306063450075243/14301488052538372067297414322\ 363*c_1001_4^13 - 26080564565599813827847778161825323968/1430148805\ 2538372067297414322363*c_1001_4^12 - 20488589938080938073152140366224655245/4767162684179457355765804774\ 121*c_1001_4^11 - 39318786541784369292805828327196557337/4767162684\ 179457355765804774121*c_1001_4^10 - 185034203472321612564340460714683004005/143014880525383720672974143\ 22363*c_1001_4^9 - 79075314349674004554172542635744940610/476716268\ 4179457355765804774121*c_1001_4^8 - 247532644485969476360243929123855172681/143014880525383720672974143\ 22363*c_1001_4^7 - 208372157701190179851545079060328567238/14301488\ 052538372067297414322363*c_1001_4^6 - 139444452587021629634576425318986180110/143014880525383720672974143\ 22363*c_1001_4^5 - 24164099206414526001471221653046061270/476716268\ 4179457355765804774121*c_1001_4^4 - 28228336890898235825633251893398847458/1430148805253837206729741432\ 2363*c_1001_4^3 - 7748038318901424319020952638770113315/14301488052\ 538372067297414322363*c_1001_4^2 - 1336851244317550510719697362948048083/14301488052538372067297414322\ 363*c_1001_4 - 109081208204424979286943280014886505/143014880525383\ 72067297414322363, c_0101_8 - 17259143483219696921552811292838/476716268417945735576580477\ 4121*c_1001_4^19 - 1503783815004683162288391073922518/1430148805253\ 8372067297414322363*c_1001_4^18 - 209921879529275905450105269946277\ 39/14301488052538372067297414322363*c_1001_4^17 - 186179242555375200064392982196297725/143014880525383720672974143223\ 63*c_1001_4^16 - 1171747157553650563421893006834442989/143014880525\ 38372067297414322363*c_1001_4^15 - 5545741114853805963266280379129963618/14301488052538372067297414322\ 363*c_1001_4^14 - 20431389211961402078734194582793716769/1430148805\ 2538372067297414322363*c_1001_4^13 - 59882174313719627121934216136771219867/1430148805253837206729741432\ 2363*c_1001_4^12 - 141562466053002201491580448628478287350/14301488\ 052538372067297414322363*c_1001_4^11 - 272145039324293506227893639114153831122/143014880525383720672974143\ 22363*c_1001_4^10 - 427039658322835675661840468536993686451/1430148\ 8052538372067297414322363*c_1001_4^9 - 546797695814214526614404672022128977682/143014880525383720672974143\ 22363*c_1001_4^8 - 568835430993831806900379051676881948824/14301488\ 052538372067297414322363*c_1001_4^7 - 476477582258710298098365827788217190136/143014880525383720672974143\ 22363*c_1001_4^6 - 105533506515712847418392794709779848757/47671626\ 84179457355765804774121*c_1001_4^5 - 163022042311336347321192787281802060169/143014880525383720672974143\ 22363*c_1001_4^4 - 62700636370037263384703239978446746141/143014880\ 52538372067297414322363*c_1001_4^3 - 16944423461650526055487771489303604821/1430148805253837206729741432\ 2363*c_1001_4^2 - 2868168307012033285230839339626329485/14301488052\ 538372067297414322363*c_1001_4 - 2286788696938300878917878951936054\ 21/14301488052538372067297414322363, c_0101_9 - 75734752703563734787146758646071/143014880525383720672974143\ 22363*c_1001_4^19 - 2233445958914256482793791386229572/143014880525\ 38372067297414322363*c_1001_4^18 - 31668259309188812389538230302698237/1430148805253837206729741432236\ 3*c_1001_4^17 - 285464082669335373269366618692321451/14301488052538\ 372067297414322363*c_1001_4^16 - 1827548316722593643231306354282683\ 670/14301488052538372067297414322363*c_1001_4^15 - 8807036115534956483670673121993904251/14301488052538372067297414322\ 363*c_1001_4^14 - 33072649212746310842614253353827085681/1430148805\ 2538372067297414322363*c_1001_4^13 - 98917138029441713489165982137214895043/1430148805253837206729741432\ 2363*c_1001_4^12 - 238923542584326496651329267801333794837/14301488\ 052538372067297414322363*c_1001_4^11 - 469909121016380050980256887825565123220/143014880525383720672974143\ 22363*c_1001_4^10 - 755414905519393423020843682895643849238/1430148\ 8052538372067297414322363*c_1001_4^9 - 992410952636015551446545868537451271017/143014880525383720672974143\ 22363*c_1001_4^8 - 1060949721420532190095496149134337053308/1430148\ 8052538372067297414322363*c_1001_4^7 - 304952997927640516668498747726221630691/476716268417945735576580477\ 4121*c_1001_4^6 - 626998467922261422221947013787400633945/143014880\ 52538372067297414322363*c_1001_4^5 - 333718709109859705323123702609252219967/143014880525383720672974143\ 22363*c_1001_4^4 - 132995122467096010282612716113787825560/14301488\ 052538372067297414322363*c_1001_4^3 - 37341820584385535043175228587247366567/1430148805253837206729741432\ 2363*c_1001_4^2 - 6586768381107976392657121119965872292/14301488052\ 538372067297414322363*c_1001_4 - 1830058526676737432850236352408239\ 16/4767162684179457355765804774121, c_1001_4^20 + 520/17*c_1001_4^19 + 7660/17*c_1001_4^18 + 71913/17*c_1001_4^17 + 481003/17*c_1001_4^16 + 2430988/17*c_1001_4^15 + 9616938/17*c_1001_4^14 + 30458977/17*c_1001_4^13 + 78381633/17*c_1001_4^12 + 165414817/17*c_1001_4^11 + 287757177/17*c_1001_4^10 + 413285106/17*c_1001_4^9 + 489149124/17*c_1001_4^8 + 474471697/17*c_1001_4^7 + 373492068/17*c_1001_4^6 + 234911638/17*c_1001_4^5 + 115278633/17*c_1001_4^4 + 42533270/17*c_1001_4^3 + 11097670/17*c_1001_4^2 + 1825303/17*c_1001_4 + 8371 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.450 Total time: 0.650 seconds, Total memory usage: 32.09MB