Magma V2.19-8 Tue Aug 20 2013 23:57:55 on localhost [Seed = 3398214251] Type ? for help. Type -D to quit. Loading file "K13a4855__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13a4855 geometric_solution 11.07456945 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 3 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 -6 0 6 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.479957698460 1.150652469278 0 4 2 5 0132 0132 1302 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 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.302255357469 0.199001636498 1 0 7 6 2031 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 -1 1 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.563869637170 0.707349228411 5 0 8 0 0132 0321 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 1 -1 0 0 0 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.691218543399 0.740273875479 5 1 9 6 1023 0132 0132 1230 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 1 -1 0 0 0 0 0 0 0 0 -6 7 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.633447014542 0.790337642109 3 4 1 10 0132 1023 0132 0132 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 0 0 0 0 0 6 -6 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.173280411346 1.245478926883 4 7 2 11 3012 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 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.145390718522 2.109135508622 10 6 8 2 1230 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 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.131431173054 0.440236168493 7 9 11 3 2310 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 -1 0 1 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.575009150274 0.636221187372 11 8 12 4 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.465639460369 1.813348632058 10 7 5 10 3201 3012 0132 2310 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 0 0 0 1 0 6 -7 0 1 0 -1 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.260100977501 0.752017600153 12 8 6 9 1302 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.581403346685 0.227771428319 12 11 12 9 2031 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.244474330033 0.434636117990 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_8']), 'c_1001_10' : d['c_0011_6'], 'c_1001_12' : d['c_0101_9'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_4'], 'c_1001_7' : negation(d['c_0101_8']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_6'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_11'], 'c_1001_2' : d['c_1001_0'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_0101_4'], 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : negation(d['c_0101_4']), 'c_1010_10' : d['c_0101_10'], 's_0_10' : 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' : negation(d['c_0011_12']), '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' : d['1'], 's_2_5' : negation(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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_12']), 'c_1100_8' : d['c_0011_11'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : negation(d['c_0011_12']), 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : negation(d['c_0011_8']), 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : d['c_0011_11'], 'c_1100_3' : d['c_0011_11'], 'c_1100_2' : negation(d['c_0011_8']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_8']), 'c_1100_10' : d['c_0011_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_0'], 'c_1010_6' : negation(d['c_0101_8']), 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : d['c_1001_0'], 'c_1010_9' : d['c_0101_4'], 'c_1010_8' : d['c_0011_11'], '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' : d['1'], 'c_1100_12' : negation(d['c_0011_12']), 's_1_7' : 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' : d['1'], 'c_0011_9' : negation(d['c_0011_8']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_6']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_9']), 'c_0110_10' : negation(d['c_0101_10']), 'c_0110_12' : d['c_0101_9'], 'c_0101_12' : negation(d['c_0011_12']), 'c_0110_0' : d['c_0011_0'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : negation(d['c_0011_12'])})} 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_6, c_0011_8, c_0101_0, c_0101_10, c_0101_4, c_0101_6, c_0101_8, c_0101_9, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 46 Groebner basis: [ t + 13401183335584313568943534150766582366291594040107021059/9241425070\ 31057118728826038864309856674225586176*c_1001_0^45 - 23623338919974167910250095611785571416349750956683611041/4620712535\ 15528559364413019432154928337112793088*c_1001_0^44 + 107513771614587829204490624140873216307297932062173967/288794533447\ 20534960275813714509683021069549568*c_1001_0^43 - 49311950353597373781742880493028473682203812283348765401/4620712535\ 15528559364413019432154928337112793088*c_1001_0^42 + 49279956170343660602926193122118228657362138047223907105/4620712535\ 15528559364413019432154928337112793088*c_1001_0^41 - 8344558042693545589949698265437726665945633104661733805/11270030573\ 549477057668610230052559227734458368*c_1001_0^40 + 752155071047454662863576606077498648313628229214181354221/462071253\ 515528559364413019432154928337112793088*c_1001_0^39 - 645840561227425631409536408718309804621043992599326806817/231035626\ 757764279682206509716077464168556396544*c_1001_0^38 - 22196234403439191228996443041255483561162671574428406887/4018010900\ 1350309509948958211491732898879373312*c_1001_0^37 + 2341613734400577300172449516594042568814325724710720839473/46207125\ 3515528559364413019432154928337112793088*c_1001_0^36 - 1251732955042969493632329845492791184864166707034430335211/11551781\ 3378882139841103254858038732084278198272*c_1001_0^35 + 838498463090854103561015497317922691325893985627948555/484554586320\ 81434497107069990788058760183808*c_1001_0^34 + 7062355256147060880029598245243059255709754088957281609433/92414250\ 7031057118728826038864309856674225586176*c_1001_0^33 - 6639342975946799650233932263063251689387406790162492974229/23103562\ 6757764279682206509716077464168556396544*c_1001_0^32 + 30561670153546369754361790689079673355854302686099701775639/9241425\ 07031057118728826038864309856674225586176*c_1001_0^31 - 33575183833977471568818140272516741622812038349506041222103/9241425\ 07031057118728826038864309856674225586176*c_1001_0^30 - 7860652397832189877727234737327655194679362428672807403/15727408220\ 4060095086593948070849192762802176*c_1001_0^29 + 90931131224018668106627026117134707374661874423509700994899/9241425\ 07031057118728826038864309856674225586176*c_1001_0^28 - 1221752463286941497274284458276272921028758029516955237977/54361323\ 943003359925225061109665285686719152128*c_1001_0^27 - 12202829612969826312627422093665751992995763668904798494997/9241425\ 07031057118728826038864309856674225586176*c_1001_0^26 + 98399441496135369619397382089315420730372522589728813482975/9241425\ 07031057118728826038864309856674225586176*c_1001_0^25 - 130470791846686585589803394312699706287855538232640417944861/924142\ 507031057118728826038864309856674225586176*c_1001_0^24 - 5303914298828193934142558975498001242093607327978500489013/71087885\ 156235162979140464528023835128786583552*c_1001_0^23 + 132723421904276047548483224583258937270597674457308578747731/924142\ 507031057118728826038864309856674225586176*c_1001_0^22 - 42262440904574146208972606519267925747412184058460012838445/9241425\ 07031057118728826038864309856674225586176*c_1001_0^21 + 170463342510337816997329305244169432937087173740455510787/952724234\ 0526362048750783905817627388394078208*c_1001_0^20 + 104847864981965587090414807776974465589778063779946229354583/924142\ 507031057118728826038864309856674225586176*c_1001_0^19 - 5650075987715269372661950046571146660224302560079526357691/40180109\ 001350309509948958211491732898879373312*c_1001_0^18 - 68183728526605987534995919838882940209843488105930719180621/9241425\ 07031057118728826038864309856674225586176*c_1001_0^17 + 104103864189142064024776253397866442213033541296916224978875/924142\ 507031057118728826038864309856674225586176*c_1001_0^16 - 2355851744704834912659061634522332303973920542604780053521/92414250\ 7031057118728826038864309856674225586176*c_1001_0^15 - 13993029109121219095530655620260619019510954756089537294033/9241425\ 07031057118728826038864309856674225586176*c_1001_0^14 + 1120994339153370991681814931895975704016123894744523863927/27180661\ 971501679962612530554832642843359576064*c_1001_0^13 - 3040257410782840080987899972598869425468351226132375332431/71087885\ 156235162979140464528023835128786583552*c_1001_0^12 - 243032213174072007251870457325489489609137794462647792507/664850724\ 4827749055603065027800790335785795584*c_1001_0^11 + 39698268879161697186464220222437044569816767322450419704733/9241425\ 07031057118728826038864309856674225586176*c_1001_0^10 + 996729446484145140092866384489175507307311628937627526225/543613239\ 43003359925225061109665285686719152128*c_1001_0^9 - 20569433074547963685960216664131150633617678956717814473067/9241425\ 07031057118728826038864309856674225586176*c_1001_0^8 - 5539147172334788651200136673848723064596288635579786844055/92414250\ 7031057118728826038864309856674225586176*c_1001_0^7 + 6763474488584293818395651319734456376554264953087189226787/92414250\ 7031057118728826038864309856674225586176*c_1001_0^6 + 12863598149242682896711911064478960401550932667740601071/1004502725\ 0337577377487239552872933224719843328*c_1001_0^5 - 1433062041089920686275402811213756949952727420783591912523/92414250\ 7031057118728826038864309856674225586176*c_1001_0^4 - 152289951124864002589589258553833686555562379139756844289/924142507\ 031057118728826038864309856674225586176*c_1001_0^3 + 13919721405143018511831378822293279157944063389128657807/7108788515\ 6235162979140464528023835128786583552*c_1001_0^2 + 4533455242599942948972154924440694770826455364914127773/46207125351\ 5528559364413019432154928337112793088*c_1001_0 - 10464817213749037600245990428910998808525659418054808145/9241425070\ 31057118728826038864309856674225586176, c_0011_0 - 1, c_0011_10 + 3368*c_1001_0^45 - 12874*c_1001_0^44 + 2296*c_1001_0^43 - 17448*c_1001_0^42 + 30613*c_1001_0^41 - 162854*c_1001_0^40 + 411460*c_1001_0^39 - 651435*c_1001_0^38 - 184797*c_1001_0^37 + 1655104*c_1001_0^36 - 2863235*c_1001_0^35 + 4089510*c_1001_0^34 + 2194705*c_1001_0^33 - 9952806*c_1001_0^32 + 9040732*c_1001_0^31 - 6867677*c_1001_0^30 - 14206620*c_1001_0^29 + 32619028*c_1001_0^28 - 6142384*c_1001_0^27 - 15462212*c_1001_0^26 + 30641699*c_1001_0^25 - 40838648*c_1001_0^24 - 21782774*c_1001_0^23 + 60385606*c_1001_0^22 - 13425003*c_1001_0^21 - 10788200*c_1001_0^20 + 33444339*c_1001_0^19 - 47017736*c_1001_0^18 - 21634756*c_1001_0^17 + 52179248*c_1001_0^16 - 1047184*c_1001_0^15 - 16858892*c_1001_0^14 + 12411896*c_1001_0^13 - 13268570*c_1001_0^12 - 10853684*c_1001_0^11 + 19284464*c_1001_0^10 + 5377165*c_1001_0^9 - 11874418*c_1001_0^8 - 1731548*c_1001_0^7 + 4492729*c_1001_0^6 + 362963*c_1001_0^5 - 1088064*c_1001_0^4 - 45587*c_1001_0^3 + 157506*c_1001_0^2 + 2631*c_1001_0 - 10540, c_0011_11 + c_1001_0^45 - 3*c_1001_0^44 - 2*c_1001_0^43 - 6*c_1001_0^42 + 4*c_1001_0^41 - 44*c_1001_0^40 + 84*c_1001_0^39 - 114*c_1001_0^38 - 175*c_1001_0^37 + 389*c_1001_0^36 - 518*c_1001_0^35 + 680*c_1001_0^34 + 1395*c_1001_0^33 - 2067*c_1001_0^32 + 841*c_1001_0^31 - 694*c_1001_0^30 - 5371*c_1001_0^29 + 5685*c_1001_0^28 + 3776*c_1001_0^27 - 3616*c_1001_0^26 + 6512*c_1001_0^25 - 5680*c_1001_0^24 - 13128*c_1001_0^23 + 9744*c_1001_0^22 + 5460*c_1001_0^21 - 2748*c_1001_0^20 + 8528*c_1001_0^19 - 6088*c_1001_0^18 - 13612*c_1001_0^17 + 7340*c_1001_0^16 + 7152*c_1001_0^15 - 2652*c_1001_0^14 + 1561*c_1001_0^13 - 1427*c_1001_0^12 - 5206*c_1001_0^11 + 2278*c_1001_0^10 + 4184*c_1001_0^9 - 1384*c_1001_0^8 - 2008*c_1001_0^7 + 506*c_1001_0^6 + 639*c_1001_0^5 - 117*c_1001_0^4 - 134*c_1001_0^3 + 16*c_1001_0^2 + 16*c_1001_0 - 1, c_0011_12 - 13264*c_1001_0^45 + 42912*c_1001_0^44 + 25496*c_1001_0^43 + 40952*c_1001_0^42 - 55068*c_1001_0^41 + 520272*c_1001_0^40 - 1167244*c_1001_0^39 + 1300984*c_1001_0^38 + 3079172*c_1001_0^37 - 7838872*c_1001_0^36 + 8775052*c_1001_0^35 - 8312524*c_1001_0^34 - 23931523*c_1001_0^33 + 45646592*c_1001_0^32 - 20158237*c_1001_0^31 - 1326496*c_1001_0^30 + 96496376*c_1001_0^29 - 129309568*c_1001_0^28 - 42278092*c_1001_0^27 + 115438112*c_1001_0^26 - 146148858*c_1001_0^25 + 124515776*c_1001_0^24 + 208530934*c_1001_0^23 - 275849056*c_1001_0^22 - 20152678*c_1001_0^21 + 103471712*c_1001_0^20 - 192634804*c_1001_0^19 + 170183312*c_1001_0^18 + 197876509*c_1001_0^17 - 230764192*c_1001_0^16 - 50731217*c_1001_0^15 + 89932032*c_1001_0^14 - 65211146*c_1001_0^13 + 46027424*c_1001_0^12 + 81306336*c_1001_0^11 - 77734184*c_1001_0^10 - 47099483*c_1001_0^9 + 48162704*c_1001_0^8 + 16882797*c_1001_0^7 - 17744328*c_1001_0^6 - 3853419*c_1001_0^5 + 4095064*c_1001_0^4 + 520384*c_1001_0^3 - 553598*c_1001_0^2 - 32032*c_1001_0 + 33840, c_0011_6 + 63332*c_1001_0^45 - 238228*c_1001_0^44 + 41026*c_1001_0^43 - 370272*c_1001_0^42 + 557421*c_1001_0^41 - 3110017*c_1001_0^40 + 7645411*c_1001_0^39 - 12394784*c_1001_0^38 - 2805648*c_1001_0^37 + 28603369*c_1001_0^36 - 52670120*c_1001_0^35 + 78668520*c_1001_0^34 + 36352252*c_1001_0^33 - 169855486*c_1001_0^32 + 166741174*c_1001_0^31 - 147760646*c_1001_0^30 - 246026426*c_1001_0^29 + 567290904*c_1001_0^28 - 126615986*c_1001_0^27 - 201092676*c_1001_0^26 + 542502621*c_1001_0^25 - 754952326*c_1001_0^24 - 357361825*c_1001_0^23 + 975077712*c_1001_0^22 - 259666834*c_1001_0^21 - 69188398*c_1001_0^20 + 579754842*c_1001_0^19 - 833475588*c_1001_0^18 - 353142329*c_1001_0^17 + 814027194*c_1001_0^16 - 35039437*c_1001_0^15 - 202975760*c_1001_0^14 + 215949771*c_1001_0^13 - 248690140*c_1001_0^12 - 180833530*c_1001_0^11 + 304634740*c_1001_0^10 + 87072705*c_1001_0^9 - 173912293*c_1001_0^8 - 27334257*c_1001_0^7 + 61758968*c_1001_0^6 + 5586320*c_1001_0^5 - 14041839*c_1001_0^4 - 683144*c_1001_0^3 + 1899692*c_1001_0^2 + 38290*c_1001_0 - 117855, c_0011_8 + 7172*c_1001_0^45 - 24040*c_1001_0^44 - 4724*c_1001_0^43 - 44712*c_1001_0^42 + 41979*c_1001_0^41 - 338364*c_1001_0^40 + 724633*c_1001_0^39 - 1125100*c_1001_0^38 - 767163*c_1001_0^37 + 2926472*c_1001_0^36 - 4942366*c_1001_0^35 + 7014031*c_1001_0^34 + 6935421*c_1001_0^33 - 16453102*c_1001_0^32 + 13398925*c_1001_0^31 - 11721236*c_1001_0^30 - 33283690*c_1001_0^29 + 51328896*c_1001_0^28 + 2886432*c_1001_0^27 - 21319854*c_1001_0^26 + 57806082*c_1001_0^25 - 63522564*c_1001_0^24 - 63604418*c_1001_0^23 + 86001558*c_1001_0^22 - 5212390*c_1001_0^21 - 9667082*c_1001_0^20 + 68453048*c_1001_0^19 - 68485539*c_1001_0^18 - 62613188*c_1001_0^17 + 68632864*c_1001_0^16 + 13145636*c_1001_0^15 - 18192400*c_1001_0^14 + 23106012*c_1001_0^13 - 19445152*c_1001_0^12 - 27338960*c_1001_0^11 + 24366352*c_1001_0^10 + 15886859*c_1001_0^9 - 13894972*c_1001_0^8 - 5817251*c_1001_0^7 + 4904596*c_1001_0^6 + 1372945*c_1001_0^5 - 1105980*c_1001_0^4 - 193698*c_1001_0^3 + 148199*c_1001_0^2 + 12576*c_1001_0 - 9098, c_0101_0 - c_1001_0^45 + 4*c_1001_0^44 - c_1001_0^43 + 4*c_1001_0^42 - 10*c_1001_0^41 + 48*c_1001_0^40 - 128*c_1001_0^39 + 198*c_1001_0^38 + 61*c_1001_0^37 - 564*c_1001_0^36 + 907*c_1001_0^35 - 1198*c_1001_0^34 - 715*c_1001_0^33 + 3462*c_1001_0^32 - 2908*c_1001_0^31 + 1535*c_1001_0^30 + 4677*c_1001_0^29 - 11056*c_1001_0^28 + 1909*c_1001_0^27 + 7392*c_1001_0^26 - 10128*c_1001_0^25 + 12192*c_1001_0^24 + 7448*c_1001_0^23 - 22872*c_1001_0^22 + 4284*c_1001_0^21 + 8208*c_1001_0^20 - 11276*c_1001_0^19 + 14616*c_1001_0^18 + 7524*c_1001_0^17 - 20952*c_1001_0^16 + 188*c_1001_0^15 + 9804*c_1001_0^14 - 4213*c_1001_0^13 + 2988*c_1001_0^12 + 3779*c_1001_0^11 - 7484*c_1001_0^10 - 1906*c_1001_0^9 + 5568*c_1001_0^8 + 624*c_1001_0^7 - 2514*c_1001_0^6 - 133*c_1001_0^5 + 756*c_1001_0^4 + 17*c_1001_0^3 - 150*c_1001_0^2 - c_1001_0 + 16, c_0101_10 + 17*c_1001_0^45 - 67*c_1001_0^44 + 15*c_1001_0^43 - 74*c_1001_0^42 + 165*c_1001_0^41 - 816*c_1001_0^40 + 2142*c_1001_0^39 - 3330*c_1001_0^38 - 1023*c_1001_0^37 + 9215*c_1001_0^36 - 15091*c_1001_0^35 + 20412*c_1001_0^34 + 11928*c_1001_0^33 - 56261*c_1001_0^32 + 48084*c_1001_0^31 - 28716*c_1001_0^30 - 77295*c_1001_0^29 + 181046*c_1001_0^28 - 31445*c_1001_0^27 - 110832*c_1001_0^26 + 166651*c_1001_0^25 - 208144*c_1001_0^24 - 122168*c_1001_0^23 + 363504*c_1001_0^22 - 70532*c_1001_0^21 - 111204*c_1001_0^20 + 184660*c_1001_0^19 - 248152*c_1001_0^18 - 122720*c_1001_0^17 + 327956*c_1001_0^16 - 3380*c_1001_0^15 - 138564*c_1001_0^14 + 68781*c_1001_0^13 - 59039*c_1001_0^12 - 61457*c_1001_0^11 + 119034*c_1001_0^10 + 30901*c_1001_0^9 - 82988*c_1001_0^8 - 10086*c_1001_0^7 + 35162*c_1001_0^6 + 2143*c_1001_0^5 - 9699*c_1001_0^4 - 273*c_1001_0^3 + 1660*c_1001_0^2 + 16*c_1001_0 - 140, c_0101_4 + 19748*c_1001_0^45 - 74344*c_1001_0^44 + 12500*c_1001_0^43 - 113608*c_1001_0^42 + 173851*c_1001_0^41 - 966460*c_1001_0^40 + 2382689*c_1001_0^39 - 3845644*c_1001_0^38 - 924251*c_1001_0^37 + 9026904*c_1001_0^36 - 16441002*c_1001_0^35 + 24392879*c_1001_0^34 + 11672186*c_1001_0^33 - 53677138*c_1001_0^32 + 51952342*c_1001_0^31 - 45162744*c_1001_0^30 - 77890120*c_1001_0^29 + 178668832*c_1001_0^28 - 38401140*c_1001_0^27 - 66367596*c_1001_0^26 + 170618577*c_1001_0^25 - 235872648*c_1001_0^24 - 114545953*c_1001_0^23 + 310231884*c_1001_0^22 - 79950491*c_1001_0^21 - 26406852*c_1001_0^20 + 183127336*c_1001_0^19 - 262104482*c_1001_0^18 - 113173317*c_1001_0^17 + 259903376*c_1001_0^16 - 9803409*c_1001_0^15 - 66976240*c_1001_0^14 + 68107756*c_1001_0^13 - 77924416*c_1001_0^12 - 57602864*c_1001_0^11 + 97044520*c_1001_0^10 + 27916671*c_1001_0^9 - 55779116*c_1001_0^8 - 8814303*c_1001_0^7 + 19902268*c_1001_0^6 + 1811709*c_1001_0^5 - 4541796*c_1001_0^4 - 222890*c_1001_0^3 + 616155*c_1001_0^2 + 12576*c_1001_0 - 38290, c_0101_6 + 12466*c_1001_0^45 - 47340*c_1001_0^44 + 8140*c_1001_0^43 - 67312*c_1001_0^42 + 111717*c_1001_0^41 - 605145*c_1001_0^40 + 1514056*c_1001_0^39 - 2413240*c_1001_0^38 - 651847*c_1001_0^37 + 5961389*c_1001_0^36 - 10502471*c_1001_0^35 + 15218516*c_1001_0^34 + 7872384*c_1001_0^33 - 35693793*c_1001_0^32 + 33145252*c_1001_0^31 - 26580614*c_1001_0^30 - 51350742*c_1001_0^29 + 117624848*c_1001_0^28 - 23117232*c_1001_0^27 - 51247012*c_1001_0^26 + 111207729*c_1001_0^25 - 150321370*c_1001_0^24 - 77698754*c_1001_0^23 + 212640936*c_1001_0^22 - 49751481*c_1001_0^21 - 30577114*c_1001_0^20 + 120699165*c_1001_0^19 - 170859408*c_1001_0^18 - 76991193*c_1001_0^17 + 181571756*c_1001_0^16 - 4611152*c_1001_0^15 - 54132424*c_1001_0^14 + 44806274*c_1001_0^13 - 49357428*c_1001_0^12 - 38772720*c_1001_0^11 + 67348668*c_1001_0^10 + 19076845*c_1001_0^9 - 40352909*c_1001_0^8 - 6105360*c_1001_0^7 + 14913568*c_1001_0^6 + 1271989*c_1001_0^5 - 3525475*c_1001_0^4 - 158739*c_1001_0^3 + 496772*c_1001_0^2 + 9098*c_1001_0 - 32214, c_0101_8 + 54523*c_1001_0^45 - 197211*c_1001_0^44 + 17118*c_1001_0^43 - 349204*c_1001_0^42 + 420735*c_1001_0^41 - 2693661*c_1001_0^40 + 6240529*c_1001_0^39 - 10271780*c_1001_0^38 - 2917688*c_1001_0^37 + 22575561*c_1001_0^36 - 43085260*c_1001_0^35 + 64939358*c_1001_0^34 + 33932941*c_1001_0^33 - 131135301*c_1001_0^32 + 133705671*c_1001_0^31 - 126226410*c_1001_0^30 - 211588623*c_1001_0^29 + 437304895*c_1001_0^28 - 89313416*c_1001_0^27 - 127443456*c_1001_0^26 + 449633862*c_1001_0^25 - 593152559*c_1001_0^24 - 316470038*c_1001_0^23 + 712506820*c_1001_0^22 - 198880822*c_1001_0^21 - 9822768*c_1001_0^20 + 484466808*c_1001_0^19 - 632686768*c_1001_0^18 - 306643302*c_1001_0^17 + 579167023*c_1001_0^16 - 20752074*c_1001_0^15 - 123142376*c_1001_0^14 + 178888019*c_1001_0^13 - 190050770*c_1001_0^12 - 152439970*c_1001_0^11 + 216689876*c_1001_0^10 + 73761891*c_1001_0^9 - 119507945*c_1001_0^8 - 23117791*c_1001_0^7 + 41278796*c_1001_0^6 + 4687102*c_1001_0^5 - 9148669*c_1001_0^4 - 564164*c_1001_0^3 + 1207330*c_1001_0^2 + 30778*c_1001_0 - 73065, c_0101_9 + 18768*c_1001_0^45 - 85216*c_1001_0^44 + 67672*c_1001_0^43 - 127752*c_1001_0^42 + 274476*c_1001_0^41 - 1054160*c_1001_0^40 + 3029484*c_1001_0^39 - 5509032*c_1001_0^38 + 2407452*c_1001_0^37 + 8290824*c_1001_0^36 - 21058036*c_1001_0^35 + 36170372*c_1001_0^34 - 10703815*c_1001_0^33 - 52687760*c_1001_0^32 + 80901563*c_1001_0^31 - 88218784*c_1001_0^30 - 20958944*c_1001_0^29 + 206355840*c_1001_0^28 - 153455624*c_1001_0^27 + 1155872*c_1001_0^26 + 151110572*c_1001_0^25 - 336520384*c_1001_0^24 + 82859452*c_1001_0^23 + 306572064*c_1001_0^22 - 225116444*c_1001_0^21 + 82056160*c_1001_0^20 + 104444392*c_1001_0^19 - 348346672*c_1001_0^18 + 77765830*c_1001_0^17 + 254948000*c_1001_0^16 - 118281366*c_1001_0^15 - 15224960*c_1001_0^14 + 50906340*c_1001_0^13 - 115237728*c_1001_0^12 + 7117984*c_1001_0^11 + 106759768*c_1001_0^10 - 18943114*c_1001_0^9 - 53313424*c_1001_0^8 + 10202318*c_1001_0^7 + 17034520*c_1001_0^6 - 2926826*c_1001_0^5 - 3512008*c_1001_0^4 + 462384*c_1001_0^3 + 430995*c_1001_0^2 - 32032*c_1001_0 - 24160, c_1001_0^46 - 3*c_1001_0^45 - 2*c_1001_0^44 - 6*c_1001_0^43 + 4*c_1001_0^42 - 44*c_1001_0^41 + 84*c_1001_0^40 - 114*c_1001_0^39 - 175*c_1001_0^38 + 389*c_1001_0^37 - 518*c_1001_0^36 + 680*c_1001_0^35 + 1395*c_1001_0^34 - 2067*c_1001_0^33 + 841*c_1001_0^32 - 694*c_1001_0^31 - 5371*c_1001_0^30 + 5685*c_1001_0^29 + 3776*c_1001_0^28 - 3616*c_1001_0^27 + 6512*c_1001_0^26 - 5680*c_1001_0^25 - 13128*c_1001_0^24 + 9744*c_1001_0^23 + 5460*c_1001_0^22 - 2748*c_1001_0^21 + 8528*c_1001_0^20 - 6088*c_1001_0^19 - 13612*c_1001_0^18 + 7340*c_1001_0^17 + 7152*c_1001_0^16 - 2652*c_1001_0^15 + 1561*c_1001_0^14 - 1427*c_1001_0^13 - 5206*c_1001_0^12 + 2278*c_1001_0^11 + 4184*c_1001_0^10 - 1384*c_1001_0^9 - 2008*c_1001_0^8 + 506*c_1001_0^7 + 639*c_1001_0^6 - 117*c_1001_0^5 - 134*c_1001_0^4 + 16*c_1001_0^3 + 17*c_1001_0^2 - c_1001_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.760 Total time: 4.969 seconds, Total memory usage: 64.12MB