Magma V2.19-8 Tue Aug 20 2013 23:48:54 on localhost [Seed = 3499539021] Type ? for help. Type -D to quit. Loading file "K11a9__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a9 geometric_solution 11.38498508 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 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 -1 1 -10 0 0 10 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.154719846431 1.254437613181 0 5 5 6 0132 0132 1302 0132 0 0 0 0 0 -1 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 0 0 0 0 10 1 -11 10 0 0 -10 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.061679262641 0.713010337763 4 0 7 3 0213 0132 0132 0132 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 11 0 -11 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.401888131910 0.318924017824 8 9 2 0 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485156786656 0.980171953334 2 7 0 8 0213 0132 0132 0213 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 -1 1 0 0 -10 10 -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.662109786346 0.553487464019 1 1 7 10 2031 0132 3201 0132 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 -10 0 10 -1 0 1 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.350871895898 0.435946208091 11 7 1 10 0132 3201 0132 1023 0 0 0 0 0 1 -1 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 -11 11 0 0 0 10 -10 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.814813200373 0.295436853469 5 4 6 2 2310 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 -11 11 -1 0 0 1 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.705271717851 0.728055131077 3 12 11 4 0132 0132 0132 0213 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 -10 -1 0 0 0 0 10 0 0 -10 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.455427997144 0.397893501848 11 3 10 10 2103 0132 3012 3120 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 1 -1 0 0 0 0 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.949509774126 0.829172344766 9 9 5 6 3120 1230 0132 1023 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 -10 10 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.949509774126 0.829172344766 6 12 9 8 0132 1230 2103 0132 0 0 0 0 0 0 1 -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 0 -10 10 0 0 0 0 11 0 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.947350220140 0.580592923508 12 8 11 12 3012 0132 3012 1230 0 0 0 0 0 1 0 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -11 0 11 -11 0 0 11 -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.909277018021 1.380133374572 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_11'], 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_0101_10'], 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0110_10']), 'c_1001_6' : negation(d['c_0101_7']), 'c_1001_1' : d['c_0101_10'], 'c_1001_0' : negation(d['c_0011_10']), 'c_1001_3' : negation(d['c_0011_10']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_0101_12'], 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : d['c_0101_11'], 's_3_11' : d['1'], 's_0_11' : 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_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : 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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_10']), 'c_1100_8' : negation(d['c_0110_10']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_11']), 'c_1100_3' : negation(d['c_0011_11']), 'c_1100_2' : negation(d['c_0011_11']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0110_10']), 'c_1100_10' : d['c_0011_4'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0110_10'], 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : negation(d['c_0110_10']), 'c_1010_3' : negation(d['c_0011_10']), 'c_1010_2' : negation(d['c_0011_10']), 'c_1010_1' : negation(d['c_0101_7']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : negation(d['c_0011_11']), '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' : d['1'], 'c_1100_12' : d['c_0011_12'], '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' : negation(d['1']), 's_1_1' : 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_12']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0011_12'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_10'], '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_3'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0011_4'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_3, c_0101_7, c_0110_10, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 4052796121764226346869404476829610116952427508003971771542314435949\ 59645607/4606600750159389014766545792568922740116079967764177258612\ 35703766799792*c_1001_2^35 - 32946991526994916297647918233303144834\ 511374076924983798111642647768571545/658085821451341287823792256081\ 27467715943999539488246551605100538114256*c_1001_2^34 + 2097509522920533155402858952378311100614153276464597248830257850102\ 98145135/6580858214513412878237922560812746771594399953948824655160\ 5100538114256*c_1001_2^33 - 803078434007416050390988828172921060958\ 317420966081192012654929727586011/245554410989306450680519498537789\ 058641582087833911367729869778127292*c_1001_2^32 + 2816022033221309854829177714591871015543114866079950091951615780110\ 3014303/82260727681417660977974032010159334644929999424360308189506\ 37567264282*c_1001_2^31 - 65198736333184554233423974457392585637477\ 40816183382295042395849144329583585/4606600750159389014766545792568\ 92274011607996776417725861235703766799792*c_1001_2^30 + 3676049175608741721816016004852331302448881395623883203454300988965\ 771869731/460660075015938901476654579256892274011607996776417725861\ 235703766799792*c_1001_2^29 - 7020823589076422117916100867132205484\ 15879315167755911614481486710236353/2953706559476397162584345853147\ 5524109490125466556663622803007422852*c_1001_2^28 + 4351777638066918720158183431961739009189838563871699544546073036977\ 965759691/460660075015938901476654579256892274011607996776417725861\ 235703766799792*c_1001_2^27 + 1799948438307472158257062925375392288\ 0256357423271252183973314508460883819527/46066007501593890147665457\ 9256892274011607996776417725861235703766799792*c_1001_2^26 - 1601068434339333297325739473164463529034921507729646010916993989042\ 2803698355/23033003750796945073832728962844613700580399838820886293\ 0617851883399896*c_1001_2^25 + 202812239305635979928528824742857246\ 81081744631331647081512609878004727831695/1151650187539847253691636\ 44814223068502901999194104431465308925941699948*c_1001_2^24 - 8132232498158377636852319055167404306155300581302231233435760658307\ 7297930703/46066007501593890147665457925689227401160799677641772586\ 1235703766799792*c_1001_2^23 + 618551819598300738848452689287807108\ 98453942489093592013124594072730791212215/4606600750159389014766545\ 79256892274011607996776417725861235703766799792*c_1001_2^22 - 4659320396316690330991611025136877771632823606877525951724251013602\ 633499593/115165018753984725369163644814223068502901999194104431465\ 308925941699948*c_1001_2^21 - 2766345890102227638883186780347084940\ 560420792409925126337699495356465075291/164521455362835321955948064\ 02031866928985999884872061637901275134528564*c_1001_2^20 + 2040418335579116654423087886247791067674238200388065160725310871348\ 843030223/885884759646036348993566498570946680791553839954649472810\ 0686610899996*c_1001_2^19 - 766759198756943923187536532470507287817\ 2673567267436700629189233723151694037/28791254688496181342290911203\ 555767125725499798526107866327231485424987*c_1001_2^18 + 8657870350765107314449322802426115571510643694221234491502415731084\ 921901287/575825093769923626845818224071115342514509995970522157326\ 54462970849974*c_1001_2^17 + 17550162995958549102453451694852617694\ 049107294853408029410687962436577470907/460660075015938901476654579\ 256892274011607996776417725861235703766799792*c_1001_2^16 - 6881239741543032396858449078333088903616520541566500503091648011221\ 1345135457/46066007501593890147665457925689227401160799677641772586\ 1235703766799792*c_1001_2^15 + 130990091039626888977543503916869065\ 03076772411919966718907000967951045600005/5758250937699236268458182\ 2407111534251450999597052215732654462970849974*c_1001_2^14 - 7035496569627366303265129119916467571798699369037654967839634136911\ 9777263925/46066007501593890147665457925689227401160799677641772586\ 1235703766799792*c_1001_2^13 + 148613924874761557853874185239904516\ 57876730789604282064109608312466923445327/2303300375079694507383272\ 89628446137005803998388208862930617851883399896*c_1001_2^12 + 3641810828242508406548903727553668406133789750843623863710161026355\ 279092845/115165018753984725369163644814223068502901999194104431465\ 308925941699948*c_1001_2^11 - 4654502709404492613381435929681338792\ 643885558861283356554342391020592723827/575825093769923626845818224\ 07111534251450999597052215732654462970849974*c_1001_2^10 + 2878391977055511716752536430108542807420488830281597916127576809184\ 0501821839/46066007501593890147665457925689227401160799677641772586\ 1235703766799792*c_1001_2^9 - 9916192017058241414349543839836828283\ 535727026477263929609774151850947343629/230330037507969450738327289\ 628446137005803998388208862930617851883399896*c_1001_2^8 + 1398330198228718724634217870969809668234051328807610366012776677481\ 49033103/3543539038584145395974265994283786723166215359818597891240\ 2746443599984*c_1001_2^7 + 2273076685475399082027256981363546390234\ 60545533556635172734719236240797929/2879125468849618134229091120355\ 5767125725499798526107866327231485424987*c_1001_2^6 - 3454626332481606647259555672864716204029269420258704177155728404538\ 509277943/460660075015938901476654579256892274011607996776417725861\ 235703766799792*c_1001_2^5 + 12286201742155116584450645584491695011\ 31026686635526795734042481520825917141/2303300375079694507383272896\ 28446137005803998388208862930617851883399896*c_1001_2^4 + 4366384471139735329093995516383015672707527301304628268946159516264\ 4369543/32904291072567064391189612804063733857971999769744123275802\ 550269057128*c_1001_2^3 - 23076110013113505872880498340885735585086\ 3083984400546566727267223918054117/11516501875398472536916364481422\ 3068502901999194104431465308925941699948*c_1001_2^2 + 1409085820863653986047518377022324858032419194203646664209305477170\ 61216175/1151650187539847253691636448142230685029019991941044314653\ 08925941699948*c_1001_2 - 26135026206256939926652907536648908875295\ 805925866009721621344258605672818/287912546884961813422909112035557\ 67125725499798526107866327231485424987, c_0011_0 - 1, c_0011_10 + 1646510865932455387985568714679584317613243823960476795/147\ 11469246158436765102516431421693467729046948104936*c_1001_2^35 - 2975913847252198992678993590617845704166380432790297575/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^34 + 7327309689132611296690166765600875642862503170160476069/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^33 - 24472070349908823530098205584723092696754046409694165/2744677098163\ 8874561758426178025547514419863709151*c_1001_2^32 + 3809719265118401938896538646546765160512941910343217967/36778673115\ 39609191275629107855423366932261737026234*c_1001_2^31 - 34973988927241941177850016838432972890262974646448117101/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^30 + 50295884284783729268214285619000121163972611038103984927/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^29 - 17824148911440512600845970749524859982419744827232196711/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^28 + 74562869864559009624538276719081292629886451781361511087/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^27 + 32541758412483287505358937625639349480568025692213181671/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^26 - 102190518008016202125053093960150577264371958218395732399/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^25 + 117120707846051260356118274004433431713077451593349588257/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^24 - 690496790213436980859426195220426800656391352552823779507/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^23 + 673875214209036728504620632817150775225596293268523435219/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^22 - 108061030968620959557220017994870544841270721951786004769/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^21 - 13462411900211451145723284799636084303503325330978492775/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^20 + 65289949800260313049015948164601148958453657308753739093/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^19 - 183259256826615033725141507034082758351636893388582669651/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^18 + 153375320163416395676424303347637135675401904310483697445/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^17 - 204203745270664454647759266910383955530378263475281742165/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^16 - 230571853141956688233096593225448877306610158139205522861/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^15 + 62595734213125028354252770150547916013768597862496226453/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^14 - 503054653405830793940712967341905773041694267285777180685/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^13 + 158679555870942088230568337755321178911518436018315304875/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^12 - 12166999763323564733855983873538045299375841010606377236/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^11 - 14099138833255213216647453284504038630025614322927767377/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^10 + 90201518915251100187322953671100442020139085771971078115/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^9 - 28267632751379384087684055499023724505019634961939681937/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^8 + 11066003347921063412891334422333496019775666533808833051/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^7 + 4216403906143754326310382928130639100828820688797529405/36778673115\ 39609191275629107855423366932261737026234*c_1001_2^6 - 18280469326138219963083861491683703183756574897783815943/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^5 + 4391178582338145210208609815319527403849139457361986759/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^4 - 772544125421725434031307598886826296990194763218181591/735573462307\ 9218382551258215710846733864523474052468*c_1001_2^3 - 196830029360702225527020052967664645915080288720500258/183893365576\ 9804595637814553927711683466130868513117*c_1001_2^2 + 344701285137358840573721233174693026289614924294789077/367786731153\ 9609191275629107855423366932261737026234*c_1001_2 - 48164744418858235963617362979769626692721708410886531/1838933655769\ 804595637814553927711683466130868513117, c_0011_11 - 346795793635840794822531223921664885644007404503543143/1471\ 1469246158436765102516431421693467729046948104936*c_1001_2^35 + 142162042469984056538804596807186464225127665649047443/147114692461\ 58436765102516431421693467729046948104936*c_1001_2^34 - 552161339467215841750835782862624405574628332151157927/147114692461\ 58436765102516431421693467729046948104936*c_1001_2^33 + 1379166011679663886438210943007471628821120311666049/54893541963277\ 749123516852356051095028839727418302*c_1001_2^32 + 355308187951586012777724208262128351648207633737452461/367786731153\ 9609191275629107855423366932261737026234*c_1001_2^31 + 1438166526593023109034262333195381945336034563781297445/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^30 + 1887186486623933017449366143464251666811004756352781137/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^29 - 2058739111189553935144876345342808070996206627122908481/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^28 + 11305454422766258185512390421899066361414365454302485881/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^27 - 38850315912677574709707977997115093752889333738223659461/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^26 + 23225658830603894744199029013008255132735351021431875375/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^25 - 11591821003275540880749480244326095357734173392430342141/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^24 + 1457087278486572568242474940599442222146022596175082423/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^23 + 101959191648104230563096193572269310601824155451031976093/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^22 - 95373495354152035464536059265465798760774291145531208663/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^21 + 63795678913460725410982960023906022325316884314086233163/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^20 - 109150874776744818934521250327869643332327063657569421789/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^19 + 41698935792823797190731526842607840751999024802290912969/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^18 + 19134885286171570508686813073247816602946525039306264341/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^17 - 204014982601237055747122254822022562411877560877010289757/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^16 + 220693079061335243702444014606239146382131330600107119487/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^15 - 69929367747148335929655037967533898762902081211078868887/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^14 + 7568537330786039389009784606551522066681943755603097947/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^13 + 50292237206441244656347922021204472418970830232465648533/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^12 - 35106418198240325744664562282341906514246896836706033525/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^11 + 15104957105618269929639314279051917207372222736813631381/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^10 - 64409069938364471284982732260640805574808917202971063899/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^9 + 8025631153170330461767222017897674636974933963018789695/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^8 + 8080413988899574875670434494293013798712958343806616711/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^7 - 6153439561457773173762384919463914036890193207932492539/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^6 + 4973683573772119609585383668267740889811299891341833505/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^5 + 852454111211169896126431888687742716763126573307705463/735573462307\ 9218382551258215710846733864523474052468*c_1001_2^4 - 1779376726051641300189537033179992254462939970544350245/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^3 + 362197388928318560313968129063838791710075022757173959/183893365576\ 9804595637814553927711683466130868513117*c_1001_2^2 - 344237359877203915973386047300251771528662205024974707/367786731153\ 9609191275629107855423366932261737026234*c_1001_2 + 38422229506915085052866691467148208876012998684689503/1838933655769\ 804595637814553927711683466130868513117, c_0011_12 - 481012906720638832869644278713217017916289793667193959/7355\ 734623079218382551258215710846733864523474052468*c_1001_2^35 + 843859144985611906333386941499261428903034632426688505/367786731153\ 9609191275629107855423366932261737026234*c_1001_2^34 - 4038938102701188216957793188472430156535394734405860351/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^33 + 126611245952887086410739986441912109968834871745502791/109787083926\ 555498247033704712102190057679454836604*c_1001_2^32 - 3355845550444762178678744852311051870869875245549784487/18389336557\ 69804595637814553927711683466130868513117*c_1001_2^31 + 22547673565726964095214145377881770820846959476813440933/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^30 - 9667976921544494384487494328749716247951376454027777998/18389336557\ 69804595637814553927711683466130868513117*c_1001_2^29 + 14615229758363537348233923253996636590795155165853696849/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^28 - 77213814269012590280466588852958668925456468678786284365/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^27 + 57101156031020801921871669125810057493606999157445433813/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^26 + 40205041277458551985657110445646107844744887191973835383/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^25 - 56755441485856840152634894953478537661580214412223881608/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^24 + 481419429496499656060354430909444843120879365245150786045/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^23 - 344171522341392951267546576258604603017077715693492186565/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^22 + 180805828506951049254252182926377381868056125432659810350/183893365\ 5769804595637814553927711683466130868513117*c_1001_2^21 - 129878432805601528247229889685088669868241403671221945623/183893365\ 5769804595637814553927711683466130868513117*c_1001_2^20 + 109241685978264876899089018201822436813398833244561019299/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^19 + 331942563838060476711206747451014293057749972567310126619/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^18 - 302838468623449888214265986296373384969367454840225568911/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^17 + 148663119279543468691778216045903461836642808593561646458/183893365\ 5769804595637814553927711683466130868513117*c_1001_2^16 - 323734688938435790254656585977119316649043628194299328723/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^15 - 12276679728370217479493418329182375083625327812863921349/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^14 + 85693163865253851428934155811443134412159056959204423088/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^13 - 449030769861710590669266086305774469137473101203554054673/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^12 + 94809216705494395640304621996573712098509991123596030169/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^11 - 110790653979486849951350254371593438348042840910411087993/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^10 + 73270676060007833170454013220366778941314219899742907173/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^9 + 9066510138920906967181681299174072569089409358656942095/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^8 - 14336821644918974439750900613081089768557777033333357021/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^7 + 7665432568709119950526977853345727958308031806848531697/36778673115\ 39609191275629107855423366932261737026234*c_1001_2^6 + 674439364160068930366155538914433664544339973609566658/183893365576\ 9804595637814553927711683466130868513117*c_1001_2^5 - 10417741329421678105225050085421258266942209109297076157/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^4 + 4616857082021924654025512069910780865916775584991727375/36778673115\ 39609191275629107855423366932261737026234*c_1001_2^3 - 1283995059420185609511226109861605042811245613557670313/18389336557\ 69804595637814553927711683466130868513117*c_1001_2^2 + 445129195385303137486150288913059712258958899708479921/183893365576\ 9804595637814553927711683466130868513117*c_1001_2 - 73723928362856699257156667373338247182975485493952849/1838933655769\ 804595637814553927711683466130868513117, c_0011_4 - 156047587655257539786586352575655980777379134850993229/18389\ 33655769804595637814553927711683466130868513117*c_1001_2^35 + 1915157127657489764582518931903994277500937573987301309/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^34 - 4627437951002030216293064615424840926171324863695075551/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^33 + 71001269409622874472271841408264888312454690718231317/5489354196327\ 7749123516852356051095028839727418302*c_1001_2^32 - 3638953496910252646831992110507284249015674089561698955/18389336557\ 69804595637814553927711683466130868513117*c_1001_2^31 + 6349153366158239383108811406800314682882861670461999014/18389336557\ 69804595637814553927711683466130868513117*c_1001_2^30 - 42521146334408370353291087196817317878103856776357341165/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^29 + 63866488383962504602470514609593873339082728383788145895/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^28 - 82735288621818101907115401037606990459865370349112332065/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^27 + 53382168149677091863945054098612418339286319860513817471/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^26 + 14230146822773869763074368950882957006434256661627569527/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^25 - 132014048652739163878399326503395712924787504758330620673/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^24 + 267486840145086444697645489525247860825809065744671259085/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^23 - 738356950743504471997863434821826742834706527717917592649/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^22 + 754107056928946034402891501293824906342067053820394432187/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^21 - 511892326384474636446524182790746924462119381802493849283/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^20 + 32424911038007799952976446779375630650910376078874300259/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^19 + 391114834998581766662811503931786422075313183174947311125/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^18 - 655128238616974921667189616395372979049726786151914051267/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^17 + 305219213587147432194408237191588828483515224507813799319/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^16 - 151798213253134507004361140420145776745006925000158314219/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^15 - 45597968364286239385997986650417395297997595301422640821/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^14 + 385356900377945944717607402623944672514057437575963888415/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^13 - 237681385070751669620898051506022187951564843603877517527/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^12 + 193107174661053670056023031503740454835259140024304841327/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^11 - 107198050677363579195656437468163006802958141574579867269/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^10 + 31505992520328348889933536057133314856926447695647677399/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^9 + 15743326780635585546786074271130664914775113508804847513/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^8 - 7656070863306338325118422199047055704906276274616702093/18389336557\ 69804595637814553927711683466130868513117*c_1001_2^7 + 6884832361810499153678874648853795181582795903125843727/36778673115\ 39609191275629107855423366932261737026234*c_1001_2^6 + 4607393523039761263891515227596435748769542662444676377/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^5 - 5682000084319265562180665515992126034150062263237935861/36778673115\ 39609191275629107855423366932261737026234*c_1001_2^4 + 2348227714351260529128602888560718471465924843424136308/18389336557\ 69804595637814553927711683466130868513117*c_1001_2^3 - 1221257746601411480942830765423972853979413946428440641/18389336557\ 69804595637814553927711683466130868513117*c_1001_2^2 + 387621478120185268545841286942774048370661582531030993/183893365576\ 9804595637814553927711683466130868513117*c_1001_2 - 59060682389911376375989216558977180970502092740275255/1838933655769\ 804595637814553927711683466130868513117, c_0101_0 + 1775032965478353080837923116161815629159061495459308697/1471\ 1469246158436765102516431421693467729046948104936*c_1001_2^35 - 6279361868894075573124060633723682063909619229695033621/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^34 + 14937197830590241367967871619429316723523795616985473659/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^33 - 235206827689074207283142906063224396706729153279133517/109787083926\ 555498247033704712102190057679454836604*c_1001_2^32 + 12463293811876518540155345398460767755213201524816126963/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^31 - 83563451805877673783253163610130863786074743671909557411/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^30 + 143909883582682542328849232767476847694183148069387060757/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^29 - 54161797033984339746448359316474306001803285542113859463/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^28 + 286980150733958517933438902520914749378919620016802732191/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^27 - 212922999872491936816018574408679705049030027541762199975/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^26 - 37243500740663439461459157101798205975760914247018241899/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^25 + 209992531067050467483665438100786654500971391389488637721/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^24 - 1787895099540989457192327827500847585732568531015826361477/14711469\ 246158436765102516431421693467729046948104936*c_1001_2^23 + 2557859872105375734672391801464882140466985945705114606613/14711469\ 246158436765102516431421693467729046948104936*c_1001_2^22 - 672436704452855539170926981740511201199863584667046418683/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^21 + 968867976186039563006365290031835490317523608759208053905/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^20 - 102020238699641484607923989908801271916245001396325452459/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^19 - 616650614796611169422482177887755481359191934579498194891/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^18 + 1128794246456339442140194842018023585058283044028840007219/73557346\ 23079218382551258215710846733864523474052468*c_1001_2^17 - 2219476523347643588002759865082841198143689978012395437087/14711469\ 246158436765102516431421693467729046948104936*c_1001_2^16 + 1208033755447002340420081329595641740384565499228009338691/14711469\ 246158436765102516431421693467729046948104936*c_1001_2^15 + 90859841186179791805612873169216400781635172775392224253/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^14 - 1280978574867353494270740061801631978584530471647460108845/14711469\ 246158436765102516431421693467729046948104936*c_1001_2^13 + 418891084483492773571374805119322463712533240076315060017/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^12 - 176740767353342952940293671031414925944802658984391694846/183893365\ 5769804595637814553927711683466130868513117*c_1001_2^11 + 102869154814901496462382891804626115962062960138497296982/183893365\ 5769804595637814553927711683466130868513117*c_1001_2^10 - 268123888209248064344581406677290395068706726759875210323/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^9 - 18599326105133474086976654050860331281871870076670519955/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^8 + 108996350344887110586334099928771748140642082183606665561/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^7 - 28378050083463360444228748869788229054623480648177466727/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^6 - 10859349762189506257779924035927262254308278620340771507/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^5 + 9839832512526044320433819821769540372338132577225697943/36778673115\ 39609191275629107855423366932261737026234*c_1001_2^4 - 17262759838362046695194900556468261624730463958703082685/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^3 + 2367547811097163994209085288445973036586038587809632865/18389336557\ 69804595637814553927711683466130868513117*c_1001_2^2 - 1609434842083818040337271351014904945164832650555296637/36778673115\ 39609191275629107855423366932261737026234*c_1001_2 + 131759034084471887317108659220575696718902324365786295/183893365576\ 9804595637814553927711683466130868513117, c_0101_10 - 1429014413100588476956083256774176947203401348218003059/147\ 11469246158436765102516431421693467729046948104936*c_1001_2^35 + 4596056202773824868662044758997648369310469595663951979/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^34 - 11057889001709680574703025609621700255820862395474771569/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^33 + 170555523182819724908171489874015578262712951913683409/109787083926\ 555498247033704712102190057679454836604*c_1001_2^32 - 4417572875071037407606925891010586490706059822001206055/18389336557\ 69804595637814553927711683466130868513117*c_1001_2^31 + 60747876954478538513536635047142824934173761416916745333/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^30 - 102565377229778743517242259670993440696762255550162090231/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^29 + 38627894446902742160785188715579774058974216922627313633/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^28 - 201140142681102075734792427557961591076192218708787949893/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^27 + 135248341767720292537123832554203091662577220667161594321/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^26 + 16291181176343660346368437717822541741566342427869121090/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^25 - 157867634073303849831985806555632604301971164260274815269/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^24 + 1292526688053975336569944042961201590059090522229464074715/14711469\ 246158436765102516431421693467729046948104936*c_1001_2^23 - 1798424669587618582639589430530723367177407495301481353855/14711469\ 246158436765102516431421693467729046948104936*c_1001_2^22 + 461241562070287556687396862751544060883025800333138372741/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^21 - 631077131373049792377711367964242504691630165211042626495/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^20 + 21516443610171617554471660177184839156923609442237929343/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^19 + 474704520590074884061094635675994802742731631442517219189/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^18 - 801397902779101519599565455170584499073895217175710056099/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^17 + 1500847705613513117775574876986922161638865804537640665781/14711469\ 246158436765102516431421693467729046948104936*c_1001_2^16 - 751687323058577151288606572587078496924587403361555934557/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^15 - 108671953660695212312920478983439559879103730820609187115/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^14 + 941462040504574944892380678442912226324610945148343041287/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^13 - 145563893046379623573279758200958173797013491582214672223/183893365\ 5769804595637814553927711683466130868513117*c_1001_2^12 + 118165860391970229406307484824396059102571784506633806933/183893365\ 5769804595637814553927711683466130868513117*c_1001_2^11 - 65440911434430257140019726429730378528027394929672636450/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^10 + 151604732850814207387751508626554267970622333303570148297/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^9 + 20591656532742710398444699854028656722734052490264173869/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^8 - 76033797212669745554990003811295627841990600400132663359/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^7 + 16963506365356669666179160439179144612568462240749599503/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^6 + 11620919847538768855304407555943173075403488202062305189/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^5 - 7032402763824582526624408100941710358165730304440507807/36778673115\ 39609191275629107855423366932261737026234*c_1001_2^4 + 11488358089961844282931778963285816390544088061550194105/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^3 - 1477777848365963555161630073152528329900023739317443478/18389336557\ 69804595637814553927711683466130868513117*c_1001_2^2 + 922838845669546898328631192356530231914488496689031921/367786731153\ 9609191275629107855423366932261737026234*c_1001_2 - 65337723143828716283236620381748992800008845568809593/1838933655769\ 804595637814553927711683466130868513117, c_0101_11 + 3693687729544321578984547007925991249493671579155672561/147\ 11469246158436765102516431421693467729046948104936*c_1001_2^35 - 6410080061751954263884280370571893090598512402436137257/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^34 + 15476127950527916107910189490133365280536657538562195185/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^33 - 51199088432641777833317021585182128475361998388354349/2744677098163\ 8874561758426178025547514419863709151*c_1001_2^32 + 3728714471357351331202473151304340794828784976455326840/18389336557\ 69804595637814553927711683466130868513117*c_1001_2^31 - 72129513172728739669567071664549392515645628143261534047/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^30 + 102271481825202920090488232112476664984290717141327273345/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^29 - 70300608352252947409834569259766099743145706408808238179/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^28 + 140476806723259012796054690564183970462060360474309455185/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^27 + 108588232633265425635326536289143020868784547755418030215/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^26 - 239159359227780890345326859730274604127540477213728979597/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^25 + 126921949974356512844620903910892456027520063781780389634/183893365\ 5769804595637814553927711683466130868513117*c_1001_2^24 - 1424917325309185782603229019786902270217875230768167148937/14711469\ 246158436765102516431421693467729046948104936*c_1001_2^23 + 1268873973944403294086464925900516031597941358711315628357/14711469\ 246158436765102516431421693467729046948104936*c_1001_2^22 - 327626017031157108538968040164292835410101723357373640725/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^21 - 104601219084080164314649877615764072838705045931415196781/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^20 + 674616561099951736940525604834981812379015555613519686403/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^19 - 809147590361660859485985414152347801389487694223237010681/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^18 + 293576924419787355347935114716645707640174120126152047269/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^17 - 173516322212078311127710961037378598534243437052010160793/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^16 - 750229934943642192152874249650895956956373086947283643725/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^15 + 603150068879791520420751485422807840655489134080505268065/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^14 - 1050996941057361066300277026387128797948947806303697969021/14711469\ 246158436765102516431421693467729046948104936*c_1001_2^13 + 264941815395255185494310247783770556358115561984590612043/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^12 - 3176244490804670685661849853269192264901566237446157967/18389336557\ 69804595637814553927711683466130868513117*c_1001_2^11 - 33381449915012082765630155753952624768983530543483361426/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^10 + 268304289252525402915862267979654109805394320783794453629/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^9 - 68207077976072996163365136063648517388867822853047877551/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^8 + 12577635127647609718772916757292569732203260167434799967/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^7 + 25163091097933317478992457634047957858804229819245148697/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^6 - 44023465170082362949757408313775334611322873445345268643/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^5 + 7942317728578988474416377095768721177165981966023584699/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^4 + 725257805963966723272191995274045917797365358154613007/735573462307\ 9218382551258215710846733864523474052468*c_1001_2^3 - 1726810373993121850614514085808717708323000183569239253/36778673115\ 39609191275629107855423366932261737026234*c_1001_2^2 + 1137866106357582169357168368423523241597760596289407507/36778673115\ 39609191275629107855423366932261737026234*c_1001_2 - 143682449614114064478185542405783587309636140297197392/183893365576\ 9804595637814553927711683466130868513117, c_0101_12 + 1894170588300088612598698478675338502332365003469452099/147\ 11469246158436765102516431421693467729046948104936*c_1001_2^35 - 3075663993110335728398035281154717427828381782728624491/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^34 + 7620760151656925505996257476789247001188676794538135495/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^33 - 49115002789098793868541771477741339789987737677431467/5489354196327\ 7749123516852356051095028839727418302*c_1001_2^32 + 1706213745074990625643740555220008293499427784974911930/18389336557\ 69804595637814553927711683466130868513117*c_1001_2^31 - 34986158686189709849356187758578331165189003547134705285/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^30 + 47471800356583495654383700886860833623462001694544834999/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^29 - 32781699503014111660655999959549245501435036078206650805/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^28 + 62266021009112259673852032706101241518398863663907855811/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^27 + 66827237101397496808742210122577479868451268262407284305/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^26 - 122343708926683863771329698808362735710832491717140001223/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^25 + 125843712064425649223782902883201110927980958192810875741/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^24 - 680040616593579772501593188851122629579308945969054236427/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^23 + 566720336334498533365078640840445730417540955569895718703/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^22 - 119333766302877974920120649340906220605960309131434689143/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^21 - 76324032183275624380856606395514848737302620836770973745/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^20 + 368194896034208207711955902132838745771044733352505315797/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^19 - 407888888750019946155663143901147087136759938644468156379/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^18 + 134258631137807031856245963869310762903682496201839637517/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^17 - 1267057976742407060592066354639195857830542520471171391/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^16 - 452142189773908424974876191496623693903720986239903872631/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^15 + 321101307167061404533838556148460016027063130268255646017/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^14 - 511381017739748697861707230752982190455865312989112795039/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^13 + 107146924817073126369804624025010928572866892940470567557/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^12 + 6090658603575537044837885738382371026288498782332754766/18389336557\ 69804595637814553927711683466130868513117*c_1001_2^11 - 22801760495502985155457339574805478844800031458746147612/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^10 + 158455578382846811631074111111730041717150616259040904995/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^9 - 36853773235143735252581401578829096130342764534436174399/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^8 + 2018840058767763861481993692968314666705349039468114673/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^7 + 15020362861472456739067774809186448729394016575469894799/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^6 - 23631303163549449785951131728790176910288631968465310117/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^5 + 3491567913592136649954984947653186504727154826528297931/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^4 + 1186302217720411808305223661988304724364138885703658877/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^3 - 583744746217507803016037301855676627860098297961005036/183893365576\ 9804595637814553927711683466130868513117*c_1001_2^2 + 690999752283718846633674682428742143588330250760760835/367786731153\ 9609191275629107855423366932261737026234*c_1001_2 - 83921067402272195255421452667590634127915374682409343/1838933655769\ 804595637814553927711683466130868513117, c_0101_3 - 119719024817745344053738045873688124337516799828335941/14711\ 469246158436765102516431421693467729046948104936*c_1001_2^35 + 895641981532796825012115066448937318360044510864761435/147114692461\ 58436765102516431421693467729046948104936*c_1001_2^34 - 2284771698168732280455670345723465600034922292594582251/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^33 + 18425274645422114002391344299968500994423743971111853/5489354196327\ 7749123516852356051095028839727418302*c_1001_2^32 - 2224076332112584097271332788034959804774461809550308217/36778673115\ 39609191275629107855423366932261737026234*c_1001_2^31 + 13252151962692675731593808567397631150614791962629760859/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^30 - 23468731196355951803844383318253102459517632347357752427/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^29 + 9509469701214308398868729202215146568466855543210350549/36778673115\ 39609191275629107855423366932261737026234*c_1001_2^28 - 52627155029838018068281289102109792118809984221640768951/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^27 + 53495528923552949872205091705905449865910456803397752783/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^26 + 89979767611619483000445322579095463856290407007652327/7355734623079\ 218382551258215710846733864523474052468*c_1001_2^25 - 30470900212705641789715335505800226464723549354934636259/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^24 + 300897987853098201053576101423046920056272021782473292613/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^23 - 477886953801287316641099043968993501924358092004596985731/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^22 + 67279426788666069965346409382913821300079998792781258678/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^21 - 211014133878419454801234863273224763864560379100311459193/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^20 + 68555189764025903092273011772034323125065096413098490657/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^19 + 25945041027800918648106879245871653494734491849065192634/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^18 - 221713972712918354358929470343344294211544352546812882493/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^17 + 467513165148250257892139813321017800858309594900374412969/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^16 - 279403702229132711667483804900830262234642054538263687983/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^15 - 3152491899464326718300402784216738409074918055510906755/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^14 + 243397270549616962872093957509637287191508103831665906839/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^13 - 169225523621273653095451077735721070576545589004340146865/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^12 + 72123212901361922328228707042754515686534088500995405651/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^11 - 20873644749056781371530720974812327613984355543877738971/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^10 + 50866309506459176516622831631890283997659114208422471215/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^9 + 1660556540744120583979647144989598759399644470891822792/18389336557\ 69804595637814553927711683466130868513117*c_1001_2^8 - 25139481733733261594472138730201493738749636199602724651/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^7 + 6129831244296931543294674283271264135417424404448972679/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^6 + 2647007536252383507919768060939703506276735380092820117/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^5 - 4298278023526465801377877263784541080931530961195363697/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^4 + 3526542156899211126042470069964353731019895206754970099/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^3 - 441055721740381571900500690526937252619954170889235450/183893365576\ 9804595637814553927711683466130868513117*c_1001_2^2 + 270942227812158720611365859041475202487963442382176011/367786731153\ 9609191275629107855423366932261737026234*c_1001_2 - 18827306499591452723954877190950703319702206247732610/1838933655769\ 804595637814553927711683466130868513117, c_0101_7 - 3848500310618020484743743911804847441471889654609951019/1471\ 1469246158436765102516431421693467729046948104936*c_1001_2^35 + 12017330383468609926279434784603748656611250749276468979/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^34 - 29042970869765490994816973132110459679688306811080117579/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^33 + 446534899514836535752462990156258181840626157001946639/109787083926\ 555498247033704712102190057679454836604*c_1001_2^32 - 23007209776403165421615278644989000153842595221898202821/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^31 + 159678080420441129191422897627299371575916614281665325465/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^30 - 268038119558738201615537728407720834830702868928995673599/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^29 + 201684650338246141727877077134629379739606065093120879745/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^28 - 523846332750620362383709822505117607776496465378914780337/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^27 + 345248884681364867872072176366550199720002226941461895611/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^26 + 86856969138556016654062118101323452885728710500400857925/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^25 - 413539310235962920661146111756841678398062291512124630819/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^24 + 3371891329031536234059618888173634111150104037577707602579/14711469\ 246158436765102516431421693467729046948104936*c_1001_2^23 - 4676821476513318744746977280646918196970598615982372476047/14711469\ 246158436765102516431421693467729046948104936*c_1001_2^22 + 2397651700697426938097493832542194023004691644737135463063/73557346\ 23079218382551258215710846733864523474052468*c_1001_2^21 - 1638997325583012526286591876151602383013852072248346350461/73557346\ 23079218382551258215710846733864523474052468*c_1001_2^20 + 224686684617032549427878136800241419152005122954415506981/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^19 + 306979146524304704843038686056745135894698924705002168216/183893365\ 5769804595637814553927711683466130868513117*c_1001_2^18 - 2076621466732409421850205796127335941215410167532648768899/73557346\ 23079218382551258215710846733864523474052468*c_1001_2^17 + 3892387602616912680962687485910998962929421884683131564775/14711469\ 246158436765102516431421693467729046948104936*c_1001_2^16 - 1956143915273398904219015912335420543566299136614382976899/14711469\ 246158436765102516431421693467729046948104936*c_1001_2^15 - 138350033825365484676385635564248879930721376844828926995/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^14 + 2434797368410823438907018207784081294643771610755579709697/14711469\ 246158436765102516431421693467729046948104936*c_1001_2^13 - 377556483750192019861442061195692176380270329005082369644/183893365\ 5769804595637814553927711683466130868513117*c_1001_2^12 + 307740071904611852195711782579199226864620068433769674752/183893365\ 5769804595637814553927711683466130868513117*c_1001_2^11 - 342886537119375182193949472713206568318921269020410325777/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^10 + 405823553814332290143587295085976417321647375827964052769/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^9 + 49478035025267171474576820826160952847982778051213686013/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^8 - 195445795639484337376512952373617895394933165361539711601/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^7 + 11082979050335364684452541596151458655899405275792817892/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^6 + 28667609083149738258590512782584461093499698175941530675/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^5 - 9047094097090707266694629667893132708249413073411260260/18389336557\ 69804595637814553927711683466130868513117*c_1001_2^4 + 29951894262434372707751994065870905304183743787819144705/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^3 - 3893357751763670413858918960269618467186259958119735071/18389336557\ 69804595637814553927711683466130868513117*c_1001_2^2 + 2484406260511463857693889059453881676902889756459133449/36778673115\ 39609191275629107855423366932261737026234*c_1001_2 - 187374165587700962042537793861046384469532867575662795/183893365576\ 9804595637814553927711683466130868513117, c_0110_10 + 2098869335164046676790049367364869059105963055993535557/147\ 11469246158436765102516431421693467729046948104936*c_1001_2^35 - 3172524484989735127900397732082421477869432977702534263/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^34 + 7719978536220861964492490058232408474860768520810977337/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^33 - 24023052865612477192551121091498235124577474700050415/2744677098163\ 8874561758426178025547514419863709151*c_1001_2^32 + 2931226062765389587243776216313774509473204269059831837/36778673115\ 39609191275629107855423366932261737026234*c_1001_2^31 - 33679466992941794587013922530377316012930562422299683103/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^30 + 43872559380218775844479340110895829184221384538508281591/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^29 - 28935645545361214804600972795141530255611706574295559441/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^28 + 46853745661587959364525015710071193403245164752935058223/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^27 + 101668741425731701147885644181317662315539353455703164835/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^26 - 142888524680760845837581212081823332598700215341916862431/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^25 + 132261973260601205733008812655263391004497381692350060223/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^24 - 649747675524898097417167819615430049900935237642517701009/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^23 + 433414609574348852100520130474576928461684061440093262295/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^22 - 6725378462679173822156530048302036832328777062706267025/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^21 - 285814548081712509355790170701907109349139700351482736297/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^20 + 236350788741995598043462150127012697623732181706909450757/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^19 - 436100583462581521956849238666998432800193676083758575561/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^18 + 211905450200975043329841215534255076392759259548628272193/735573462\ 3079218382551258215710846733864523474052468*c_1001_2^17 + 226780400837517321385007597396864721079967015473405588217/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^16 - 679522808827496916145547910587542180407604637858115761227/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^15 + 191500753830719245231822599389803277314372752071557524225/367786731\ 1539609191275629107855423366932261737026234*c_1001_2^14 - 494108305834455054758045820035689459814831651309052237461/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^13 + 44354495709068800325783594034830686117439745408531536501/7355734623\ 079218382551258215710846733864523474052468*c_1001_2^12 + 51385011271012283815956748803548524054031485118379461683/3677867311\ 539609191275629107855423366932261737026234*c_1001_2^11 - 38368701432501475041373106320949360378841386276328850567/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^10 + 221319886150157035353188220659859057242278324718967441973/147114692\ 46158436765102516431421693467729046948104936*c_1001_2^9 - 10682077347784059900986586384579685304501165009297928550/1838933655\ 769804595637814553927711683466130868513117*c_1001_2^8 - 8809029742630679912678815241798255299175827489349790347/14711469246\ 158436765102516431421693467729046948104936*c_1001_2^7 + 5319150338458627601914210898500871390657601788239103423/18389336557\ 69804595637814553927711683466130868513117*c_1001_2^6 - 27647927775986303723335026097530352127917245200440004127/1471146924\ 6158436765102516431421693467729046948104936*c_1001_2^5 + 2188092481500816701625540243602104778496684672297715741/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^4 + 3245347127973499442779471423359284736892837886478952533/73557346230\ 79218382551258215710846733864523474052468*c_1001_2^3 - 955187420344234418205173774911366556302481288915708493/183893365576\ 9804595637814553927711683466130868513117*c_1001_2^2 + 1006934998985567091671590092600048271335586424733828301/36778673115\ 39609191275629107855423366932261737026234*c_1001_2 - 113970202088297222663101876962166017243862664443047503/183893365576\ 9804595637814553927711683466130868513117, c_1001_2^36 - 99/41*c_1001_2^35 + 273/41*c_1001_2^34 - 546/41*c_1001_2^33 + 840/41*c_1001_2^32 - 1611/41*c_1001_2^31 + 2483/41*c_1001_2^30 - 3886/41*c_1001_2^29 + 5077/41*c_1001_2^28 - 3457/41*c_1001_2^27 - 1792/41*c_1001_2^26 + 13608/41*c_1001_2^25 - 29405/41*c_1001_2^24 + 43099/41*c_1001_2^23 - 48918/41*c_1001_2^22 + 39180/41*c_1001_2^21 - 404*c_1001_2^20 - 11380/41*c_1001_2^19 + 33288/41*c_1001_2^18 - 38863/41*c_1001_2^17 + 27899/41*c_1001_2^16 - 6226/41*c_1001_2^15 - 14791/41*c_1001_2^14 + 26908/41*c_1001_2^13 - 27652/41*c_1001_2^12 + 20004/41*c_1001_2^11 - 10287/41*c_1001_2^10 + 2712/41*c_1001_2^9 + 841/41*c_1001_2^8 - 1242/41*c_1001_2^7 + 423/41*c_1001_2^6 + 372/41*c_1001_2^5 - 634/41*c_1001_2^4 + 484/41*c_1001_2^3 - 252/41*c_1001_2^2 + 88/41*c_1001_2 - 16/41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.480 Total time: 3.690 seconds, Total memory usage: 64.12MB