LEVEL 587 (weight 2 plus subspace nonlift)
Existence discussion Integrality Congruence Weight 8


EXISTENCE OF NONLIFT in plus subspace
Define L, L' ∈ S2(K(587))+ and Q,Q' ∈ S4(K(587))+ as follows. (See bottom of page for definitions of the Theta Blocks Gritsenko lifts Gi, etc.) If we can prove that the weight 8 plus form
     F = Q2 + L Q L' + L2Q'
is identically zero, then by Theorem (see paper), it would follow that the form
     f = Q/L
would be a holomorphic cusp form. And because we know that there is at most one nonlift (see here), then it would follow that
     dim S2(K(587))= 19
and we can compute the action of the Hecke operators to see that actually this f is an eigenform. Its Fourier coefficients can be found here.

Conjecture: The above weight 8 cusp form F is zero.
Evidence: We have checked that the first 29735 coefficients are zero. By the discussion below on Weight 8 cusp forms, it is very likely that this is way more than sufficiently many vanishing Fourier coefficients to show that F=0.

Theorem: If the first 29735 Fourier coefficients determine a weight 8 cusp form, then the above weight 8 cusp form F is zero.


INTEGRALITY
Theorem: If the above f is a holomorphic cusp form, then it is integral.
Proof: This follows because f=Q/L where both Q and L are integral and because L can be checked to have content 1 by looking at its Fourier coefficients..


CONGRUENCES
Assuming that the nonlift f exists, then its first Fourier-Jacobi coefficient is φ where
     Grit(φ) = − 3G1 + 7G10 − 4G11 − 6G12 + 3G13 − 2G14 + G15 + 9G16 + 5G17 + 3G18 − 2G2 − 4G3 − 8G4 + 9G5 − 2G6 − 7G7

Assuming that the nonlift exists and is integral, then by considering the maximal minors of the matrix of Fourier coefficients of f and the wt 2 Gritsenko lifts given by the listed theta blocks, we find that the GCD of the maximal minors must be a factor of 11, which proves that any nontrivial congruence relation involving f and the wt 2 Gritsenko lifts must be modulo a factor of 11.
After solving for all possible congruences modulo 11, we find that the only possible congruence relation is
     f ≡ Grit(φ) mod 11

Continuing to assume that the nonlift exists and is integral, we can prove that
     f Grit(φ) mod 11
because
     f Grit(φ) = (11(522627250904096184843761646429575208248913177930864974470444329888757258457391071631880524775867830808865971732875721398254617854047 G12 − 1118091809091863144103516418821811713027075376453426146759172701969855110466906362831691057292958688563571107977860603116870497763764 G1 G10 + 332745695579659386271022899147323176465904022168455501105476617504088752656896451368267670404033645082579677762061668758085806187449 G102 + 609108491370494267489215982853482695881882306554774743294680685665320485072728013610814382622248915465585275206379928979375574385556 G1 G11 − 427919268836748631459583179138122697277057603041348298836642987344801036529104500127107991669246240108561684569658340687679873673452 G10 G11 + 135873640778661459194529849581842136740880582254336007137517913583449162863358832278913082454578702075886782117498915084197215588928 G112 + 59707771055994711824183075185036946530522600884313782732328709631316862916107329243390925734959564321978833575818533010752823497566 G1 G12 − 317852614573315629640062960790156437945235881711417503779117459397519361571312933618323420994323964717015028573129725597962449224939 G10 G12 + 222463043089237338983982801364367777096727162276948053140641156967671949605880030223974352215424451687187490191720867861987440318076 G11 G12 + 27978872881867725288282040487406857978109433343166063651546429888747307966262672708407092800334597860035975523208742853537425402026 G122 − 36957173636447786924907125671903289068470607252220468741838180672601153099066942860706794418079929440557325317820396840108972462070 G1 G13 + 151502619019009015756754365402007408032891584908565251882363276537807356471014942492160598802013417553474498673104911582289513264129 G10 G13 − 106989413963105070027261620686143425154234234882963455137637462391863218051716286930843683710484474526432021888169033235741313674272 G11 G13 − 21615711509597326091187370493346162886915413959900206502521755750788172839427080436691854204492970884293390711671641810658815674877 G12 G13 + 3813137534331731723523175124821366948930348644158587338374270403207259428147872041244153902162835977137701475033635191945051486932 G132 − 153224900465404739267382353378926569288085337583919626190481595686791277378550687132547520728156772629074720067089263744726553247262 G1 G14 − 167962393834785053294348766246572855333333038150485461898800306719238436925389586358807924699728504800257239154832788093914762841407 G10 G14 + 109589503302324737802848236254705854852197288899942471412077235324499402098123024447629613234638921930730437471786696655668544734460 G11 G14 + 71805315330113587404468980691479465715338641106883722982159561095411333655086303365061972277802555625859228127292106288200713877336 G12 G14 − 33781603874299993969869600347719501160604647425686575774738222501719288451931287591959239940287402154348752459800352796474153696285 G13 G14 + 19685385832523060623250083302649053488216577944058368526846381976625298910990241598012868522933890751269331638368154668614305917469 G142 + 591779567645096305093014616443763838463806699321365632421333366756837951584558421696121819671432843636523256165973428641193890662221 G1 G15 − 154957012023840072711495509190341478552205733187441718938927782505475813251620874220981751921158434910710239376947806324698985947907 G10 G15 + 81741367743827687874958677480434447556114071128705592801577345689233174216261726290691315823264931783685557809457623313112223271976 G11 G15 + 168901521427428291462339703065941329615649752814573381270344164479518646070441706089228197521975311310646550754380404317319386520141 G12 G15 − 85511287609092545597352296531980780656357212971164333493342861262752512223026785089899971860294593484613706179113052332472794881262 G13 G15 + 47441718240998024285399742072001294250227858902951180332148842409354027299439815103166525216617410928131865066156866263688279349605 G14 G15 − 28927444484623263168397784968973745435333554173072398646489206021273866233025358590104896609227401825664313334708088021040381792302 G152 − 823184625249323177290632732718895646844779299006333515354664498832135511842696563719511597140196188102016440908731771784029144985130 G1 G16 + 645165587229440796060948600077547101965673531198320238435727811949533651810803671886714478843504933589845387585585955532623274638550 G10 G16 − 429915516273551637962176578556444491386702005490390069863562662796224844096725343312664012524290384110394289416662083013369503792052 G11 G16 − 228268046105146620094149686227059812546745193141950176183540680683317303430645965090275004702734353449527507763247400391194791178485 G12 G16 + 104589280994167711251432838122438863636581567496076302368233329134719949025069594137564644457604736261149876664318048631279480998519 G13 G16 − 155818448815018195849804659292165611443813592697809579549539805315475460326582104035944200517280686728595369255478550042495242473473 G14 G16 − 244129467342879795055999402051602204772676785953393324499931859650006187672696547868624352482306171357681052985256454717100607134354 G15 G16 + 264617182061856283008549496663760871584766592440526370926765709008387063732867620812538871003717053952595826331695385620114366430292 G162 + 716605815176146999338268237161992690986234092918814486483000727313108236349819483391464577812251517143139424504049500118985817804387 G1 G17 + 35792036712877416111938956422048693291623914440806664856892666964515888039819414865886619940568444605302379422130103539815931967694 G10 G17 − 54480073756334577579158899668545525678088261715337898592988459834916959946076389101283637767309980600917111699494246384902233187108 G11 G17 + 149727238423931931880770084723630002890260838034568112450408039975968983811130999614030662284424597274215402651728477160901908280223 G12 G17 − 80166253688857965271297267356865580687792101836672270516057915102950437844595160033444696638746987783559855335478489449516462246069 G13 G17 + 5615134967253612950022566824647589521809985835322970360306617906228720983506565238462517641269734880986874957393149843209721974531 G14 G17 − 188310139839025642679530219502221430273275859641282770947239107909375403062417643991321589120996989413421398546341333019006593719150 G15 G17 − 119147091197939626197442598028242388942982151708417431117426745549964774595825190179125565424826393723421276702197782762086046459539 G16 G17 − 159034894632901573251544706966109848344620554878502888043702009947400565530413002288154821375773377279041197820180290384148971056692 G172 + 37678706869530458551951848113202256217996946231024079943270601033707600979869041850421639420289365139511972942548581314931862857129 G1 G18 + 70480659153281467432444900026122336890880175252473664096403833407946145024915002369617538851439335764838198004721807770896134584413 G10 G18 − 60691151182689328127656211899923384501656286508053976402803494889085382939659178289390506595870713504354135791950116772087954428720 G11 G18 + 47831682661026286758220742685983898091951508602464011599729195503378579828658582525487911467427670648823438432656732884821223193451 G12 G18 − 27097422016648342977657706340022296591572763992864934374376934820668857477747087398601575031634648812283011622096916963849916460300 G13 G18 − 10632472484092123020066895954609480834315673238231836407321238750330370895902733271232651382980521643309809411690894564647474073509 G14 G18 − 97085853304196481072253648728535790819501700064891703177051353138446971001041062250263266138948033740133177703167781448386134692650 G15 G18 + 418189738232291977320668353443772168281183652529975214856902253469820022941099694294995949723773961474632947825486588059422696027 G16 G18 − 152871505276038907879844469919804048288119509555584369067166219248330180223676859064218845281645820097771703341708178575301774485886 G17 G18 − 30910559550980074701180881464843663540503112637023521712751205223876116905894959439845728933797484789420713097130552155794967947232 G182 − 281189669914633666064532569921902642385585550862141280731207276926305672576558403569307501393863180140999644736139768886289676635083 G1 G2 + 925565091818903058259423148237382507017567684730671123950613657259757054457313440764308360833843820508235434246041678511406452532527 G10 G2 − 310711998254993995532361348343143203368106213060233850444665005424485227644236713341192856706608779503406384120371776061775000837125 G11 G2 + 204422907653711665776576523268654348027232687089276424951164260225032440345650079194760408459565357699129561287834819857603719101287 G12 G2 − 23899877654355625774071451785614281288430315716891049009360544355560034894559990453667396543484299845171009999095926111893670315527 G13 G2 + 211119532165063801733035486632048255358532844545535553421362713065953686380607582333639399461179935814419780963351167904682522373019 G14 G2 − 523740399662937521062207322269465192542509938851533558736094243431739301669015053359536858058625206142278515789874113519279157074354 G15 G2 + 494736969671661623396780974183311667796028764595348738364885527720709556278315905299868910819308012418718379538168467919111761531733 G16 G2 − 732405337714394943575853147256818506906801970957291627024631625421208174198864180335676322606094529472313818761724882842597743461562 G17 G2 − 290436347338636729744451274569702923045689181131766304230197380119321564675733819916774451540810334022672233924708822353137698279791 G18 G2 − 105852204745592995659099821893034376970291012100416704787194772743415582105191277504227270801491959429844696666128273186955744549993 G22 − 1139696009494619991780266925743043884853504492979782569007536619175595817544460821962095225016633373871012390056913520974652033412269 G1 G3 + 554922702512934968903957510435859601952549077377782271242766975954622644314341072587532141428147672389500107102205119469691019064440 G10 G3 − 152364198960892550167998303645977089837737225921880077885346987433665580033158245297295348251674476500131718344375491836275075185592 G11 G3 − 529263228722910011699463080206409280417388779858618989623964698812305036544384228077753303536741161237539472676275258927697682915727 G12 G3 + 12490522975082369225299830048429732928063837449278732693340139081141147023002157288196102052753088990975951431965135716926653489426 G13 G3 − 33377605219318824807079204308511209776052093903586315633863987165990241130976217746147248566194107850168793597878669678335722232295 G14 G3 + 47954032350472932034654220648910686195338706170055549236054005887928698415115635396480066260381969602166413244584496704373981865400 G15 G3 + 680657159867930263853674718326431790777830872245827860102509234909103870145860480428354374091509620619632962658243584392255281643852 G16 G3 − 40123029073158254345830214772768552142150913442990651234644930946561160015287776547891067045284909420027338021026929062141322358076 G17 G3 + 374696499001536297584821211257172699058867982552064752118882639130893442479208123230582171023601103056595499368646443976671465572373 G18 G3 + 1086366660558811190385915031092596368731582576515841033521861869364104140585496408409100278829111709729262273825446572548654825943851 G2 G3 + 264921600236400447042325507833990230544507659235515552028604216848723036554877663013494977526542035541660306693428436998845667910102 G32 + 94478276318990479019306756528942352676480471433805177828925529943098784886732466142130172260158889337362489744263268844068284043268 G1 G4 − 1112694852814843091215473909150375272483733810495074945410145820570974917369466738652152038049639655917266018699004248779789604896923 G10 G4 + 987127544934398818308580155463378125225546613574958627685135709574633656675020468337411494201010922941762523122038615499126318567834 G11 G4 − 52076718029268829088384732223401614449929989576226365664934520158677426230492545002222033043042101485042211441529883493783646433388 G12 G4 + 619310803431572574054991407369848426174526898840085132875784266284250702850195572698403324551126656539112573866626752367905812174667 G13 G4 − 23685804579132478776900401352667186873532759153848124038816846601173108364915782980660921509814210924897779453967787342410813884972 G14 G4 + 208232736057577167909495930623480444758565336999939538504897497598303261401070016338119768434757643154056441494458969045015208591982 G15 G4 − 485009192950944114304767215797664160376868806830653187084059473474094407388550645242493752155250204591663096214131679129343990798278 G16 G4 + 292931161308320563900972700652508515011876010137435304625339814543265424924494678584557084725632178532414943367930036887653678526922 G17 G4 + 520685721175618857923914712698512708466475672807505367861148863800318462936030265073081880188309965636369061501975121529013583062363 G18 G4 − 238348562119948722024805230426820079518885727498626635814662250968989103125970062015729032480655131885481396505664727714333740041922 G2 G4 − 828483270501174930796630505773291196755135625691523050502523073988163005306230365079174534367505082568962853895909031142449717900251 G3 G4 + 243599471418495865507964962522350957784089413761516441514001195434999737465037967919905747904487443763477340222162051214946108703892 G42 + 654656447315788154314270346774318376156130128236616403071840681538203575013454555054167436493180995558640803928212947381820105329464 G1 G5 + 303523738668190523013840180528104656468978421509515404419004981483493664274251193222068418508354771304689963244238536627514629213870 G10 G5 − 600999859194907627351795627500398083921936029809065351421705114134974225805659640192743251388105969265134444728150086194191634124084 G11 G5 + 60910545870309877934973338650984933816320954517210613627363588225606691905488418454989545087176553607824223261501379330568927685415 G12 G5 − 106778226712752467201602671302365866995787126700902679562046040688838831561011443662976408773190707520889121685706963247983927021487 G13 G5 + 47050996945369241051088095081385338908334261981601966848990711101623198991071163684906998952865993441072338233568282750630528009734 G14 G5 − 283560597639989411414058015090264354127268270911840702802716040255524931392965534904238667979399499962660907672489811145415593404310 G15 G5 + 204019037673048549262652359139889232547419764755576837393605482100920330961334984762464257032857412533601941250202650477831082796734 G16 G5 − 301470319571826442753695221641389718931334604250379072498781803810651044708159812128239465660661405711706059752408521357442364626442 G17 G5 − 117875201153096557096855170762542675895493271222812159693495639563086411137865861412547950541556211853464931113874582696885536113841 G18 G5 − 809121518770979956520886476339151245852582398603825796266844650415948132990070504364027039697544509006262547975716816996965823580376 G2 G5 + 51910141992003780730798421251709815975968140302391118271759720973927109316130371542339141874244814118525610884437803878117806478998 G3 G5 − 163850527581193678092398498263515422836297078307713134423363374939334737338262458333446557451282816815386602678546898181908755061993 G4 G5 + 133475897418492526483458091660882836507579897778878376158946440407130542337996280251862258756100684107338489822415435400735827609694 G52 + 476413960149388805268901532694287034360335465092501217744272827685374324671144690975971222974000744643490346604264338849953387369106 G1 G6 − 356846551761414676509362669055875539732840558057132959875907242855403628549259390916753616353273628472148501755730019319796828788398 G10 G6 + 217523307831827379639999037860021674509058728846598184541852627402308083026048627052170008465236135457525444672299400213315439561312 G11 G6 + 233706022124367550160195183099453195200630801026867292676822649212124355046974707271872565123698375916051738928061161624671056117614 G12 G6 − 114731957271426975347732701551706365903250727385678360622069766560075799147875489545364536363235312299445007860184880464709324816424 G13 G6 + 95619585177745329124158712266442696310187717746102324408205974571679161130406409610443269622648177656184550013293590892393384353422 G14 G6 + 20458267108622363826112041670672339336012498916287252049704994389901857067458414452031426408968107546433113266028690374276555642892 G15 G6 − 398669509006399139983393962904126205671751832577784934091534437490544992414414709896160089786124417163884135456632133047200755833890 G16 G6 − 129302120694624689346415935181997185049266814097996671051912622191032130176400438017212976396976782027506884043247729603848896559034 G17 G6 − 91582825881219104397929997158596345576961753198223621254652782808686881591846935224637947805928431788406064812075422232882645193648 G18 G6 − 341320494637821633077352577972374183546828913861243101088387625272137545834982284693735839595320126154407095407037718148174043657236 G2 G6 − 47535678455426381467123670442819592241953384092725546187484204379304361062422305941134624229255037405783207345148221619336009817091 G3 G6 + 589726814755935880980843478923259616897777584879804525042567909755992602920481890894213391720827935003003190109106632271594828957536 G4 G6 − 485856860530586960449182940934622970661096413482252182389067054305913349167464523993964809245216100854805062095790419202307944189060 G5 G6 + 74793243721248325021367056534550303069309218859715090486546835305291750797184605456356733618973392209791026806774971335608415883424 G62 + 71916713524637268890925180228593580752787866607039814744679567359071318026915321561545351795847200844841221976558620254173866596426 G1 G7 − 347603277100032414947586134109781404928080359938683304737310050513734087420512889936475153892046365072315286310611719740173228896022 G10 G7 + 246268917945727855691320513889628441274927497670932471708846881919404797732944492812787884860091425769793645019080273387109368828380 G11 G7 + 45377088236784465987668962917415053942040723655793763087423301259425003377072922646843260780591743208862969247262624647106691957331 G12 G7 − 15264855850743433930557366465636716031294005880753381536516197468760177373894937006420518695147306799398469010171361106861634630325 G13 G7 + 77137218389274665410217433622325727332267985465277548334902254006540317527309582701647871295151097630873219379543754443629510418871 G14 G7 + 200369599746595266653561175502465042552738259530045675720876808861824872950660876049561778623447138495402249264592323149841612159175 G15 G7 − 236452297724644050582357603268435025960880794114884627398186574742392114519443655429494238522906601327617298596785304106339638737138 G16 G7 + 191270901900898553598389375138569126711038717272213119052852464817229410455380594277013513570875073318157670016092480585897199088646 G17 G7 + 65757104014984114393752098910248355110717403775338206249443245661101034072205003116122541255426774989237831658211742704531744049391 G18 G7 + 8681617796864281353733034529593702747746038390554559652564729990436072220080139649430904449484891401877102970724836940832213876657 G2 G7 − 370946935888527958979748413736431306216290862755127189693387439842080133006301750749265146466317677426657744996276264797759245616741 G3 G7 + 435250477652048818967951046850084191864633384672721851580992538286148074352693459408226622758013249726255681002444715414226608445964 G4 G7 − 32539210651860783956359374115143469064746644454535060377778212467640288591145574689773069253942216671920118475123864998869065393868 G5 G7 + 266021376315904288625231336431628411731775505371925046312009190142705509151179387259593562948696221302764481980440985669511576365862 G6 G7 + 14857581520373028676563234962458228462176337770227803631833433009645334763616438568207483488012719989735608548550050982087422708573 G72 − 132264338770958094196528566482837577361499020078475610447001980525579803253986376914073981134988367499700247125673556978026884825493 G1 G8 − 2931637917263072421727581163014816637079132500767068928239736394494837174720032339727559295423246254713230850262220336780274336264 G10 G8 + 1675221667007469955272903521722752364045218571866896530422706511139906956982875622701462454527569288407560485864125906731585335008 G11 G8 + 2512832500511204932909355282584128546067827857800344795634059766709860435474313434052193681791353932611340728796188860097378002512 G12 G8 − 1256416250255602466454677641292064273033913928900172397817029883354930217737156717026096840895676966305670364398094430048689001256 G13 G8 + 837610833503734977636451760861376182022609285933448265211353255569953478491437811350731227263784644203780242932062953365792667504 G14 G8 − 418805416751867488818225880430688091011304642966724132605676627784976739245718905675365613631892322101890121466031476682896333752 G15 G8 − 3769248750766807399364032923876192819101741786700517193451089650064790653211470151078290522687030898917011093194283290146067003768 G16 G8 − 2094027083759337444091129402153440455056523214833620663028383138924883696228594528376828068159461610509450607330157383414481668760 G17 G8 − 1256416250255602466454677641292064273033913928900172397817029883354930217737156717026096840895676966305670364398094430048689001256 G18 G8 + 211155114056677526952481489686389610599773760306778828918873952329954184630716478297676067398382796073479525219126171806073276065481 G2 G8 − 240686855976309580100778833470701688519936233959214663520664594679210968684715143259141042862258451533969263816981410023637802741524 G3 G8 − 539248994302231962730435802023649243265705251158212586809837991544058771765550267682424379183550631234682167817828001079016491049252 G4 G8 + 303026605333846122148455091579666077635919938175098936487214212010795586569319500046945508724972791447304901079271358500246116949535 G5 G8 + 837610833503734977636451760861376182022609285933448265211353255569953478491437811350731227263784644203780242932062953365792667504 G6 G8 + 2931637917263072421727581163014816637079132500767068928239736394494837174720032339727559295423246254713230850262220336780274336264 G7 G8 − 355856619394213659194433702457274334960430538825843549867759707192710322465831268507253937535555114724417994609432253523729548142014 G1 G9 + 62381645103902325035978223277034635435741018778738846669068540436993560652422692368082964272666102056992750188690723782642181463474 G10 G9 − 35646654345087042877701841872591220248994867873565055239467737392567748944241538496047408155809201175424428679251842161509817979128 G11 G9 − 53469981517630564316552762808886830373492301810347582859201606088851623416362307744071112233713801763136643018877763242264726968692 G12 G9 + 26734990758815282158276381404443415186746150905173791429600803044425811708181153872035556116856900881568321509438881621132363484346 G13 G9 − 17823327172543521438850920936295610124497433936782527619733868696283874472120769248023704077904600587712214339625921080754908989564 G14 G9 + 8911663586271760719425460468147805062248716968391263809866934348141937236060384624011852038952300293856107169812960540377454494782 G15 G9 + 80204972276445846474829144213330245560238452715521374288802409133277435124543461616106668350570702644704964528316644863397090453038 G16 G9 + 44558317931358803597127302340739025311243584841956319049334671740709686180301923120059260194761501469280535849064802701887272473910 G17 G9 + 26734990758815282158276381404443415186746150905173791429600803044425811708181153872035556116856900881568321509438881621132363484346 G18 G9 + 263874345994295832415113443270251607685110422695373794372918320685133440946404868511295612599044568354772500602923023133658961352866 G2 G9 + 183531644180863423294256422693219119925795770273222295436218101719680192964866495910307413147872128156642524918669769537438678153342 G3 G9 + 190492248377923338383640434487975602556453930815835070270147692962492417386307882147145896222752395886600831321750492219670554384393 G4 G9 − 30436110540098796007549428705230646219070030394520025050639486412740915123524500900752371949795803300127113680383351337273933434857 G5 G9 − 17823327172543521438850920936295610124497433936782527619733868696283874472120769248023704077904600587712214339625921080754908989564 G6 G9 − 62381645103902325035978223277034635435741018778738846669068540436993560652422692368082964272666102056992750188690723782642181463474 G7 G9 + 6450458059852796547359237841945360914680315343039406198819563242173376004376137140211568363188497405900369203456224804345663971642 C1 − 22912708778046502380533941190788863772944703960883433916831065143617832450970521474564727414826150475741847283064054327406675874932262 C10 − 1135627490210047698343899550580769786217645891810265304512903028341991205598842133440020360156032181832131934383618885537323829729894 C100 + 87563742734905625022860068718449734759532652090595026852320187656997959933149830421924612822670025442403519923838484881128203174545 C101 + 868663230478794512498225252349729796562370018038287678038554050546091839051933650299997848897648006112270209521012937901655659474 C102 − 49236518584368622127752855395027895979500999454380936751303005698631302924486710504355172230460986124410042823339739675351726668763 C103 + 226900781633235932215001062092307514559787898977186266490547040349302362943585702049534400934251671252798443420438253337478484890760 C104 − 90472525077035682257523982696596870145781593697662686423043960008200438352466938930734749440960397365960844616110658889531242748118 C105 − 404062210629858395370452457294203444911532792354660369030624398087171945018158637550556747698918879945871752549827864337359927823546 C106 − 5226774431770365023666286795818822041495827860056758973948675289953806918083544943740307395984360041680273636040110546660013253021 C107 − 146878308367198550461494808391205226376500012195975841061731323563027015460958517745558931267596812294368593211339842862372611291584 C108 + 6823895633674397538348916434203135301122196572831403784921089411761832005849091269017335094793496535110100113740745845527549921668 C109 + 21139812391115522062803137271135720393996969658043566740590820763423410272440121966211181355576598549750369881066570423503761361695118 C11 + 12505122274312596081425601118994796115843077291164360769534301311616335119830176424737983871625627846981355573238133376216402345600 C110 − 419669538644637247791538280854373018727186347965226291361864265912855100906259080462440153200922467501907867673196900387229902412523 C111 − 430258176825108881740841894104936169724085360899904635334121715034100013393449090810857791382450533930465197254498517480688211542066 C112 + 12628142671092358785163106136975505070059683523530790362788692772949817746902362023981420213339989866974949028997114471082736696578 C113 + 6085560195680893624935714833202553564028551807346773496271337582322967909294449020496993310997166066262692831072368563121876199929 C114 + 52255249610033445450305128789181260897306606993474278957647490151910028962154165742386712488487917285822819251478769147022342637078 C115 − 20091391677152663643055233491500737049462016727956444453553971490841642889732001160962937570987281272023336965601434334119252566845786 C12 + 6056321610656049363297559479935228153544293496875587428001550443524322547922376548344912033676872255692512621560334058659862272539617 C13 + 26028827185341572264622330629345982144407461196589852669785398839790887994993359208329695676617239715915076223539820748550041730370755 C14 − 44824256189175193735935552573663941541102306989684953054598424090908832683362069984199086527700980643710474619820752510956857775858372 C15 + 24137403630579094339366193912042120348796600548047055795217095262955856138261771902247326533318809789550455561590316032055398368594148 C16 − 1076876904204237821044494288609517983278618046585559864316355083725950087732152119110233460340167387691063015255924960020603777931197 C17 − 44351486780081775502343463580601323842885447501909953104941737394257577414814819966002561372035992129959812523574132713251387078816777 C18 + 16664637310218776472611671848527900421077164828032632476293554828975253436654919243858333423385791297634997608496293639726094069205926 C19 + 1325817192990189223457709349697806764112099019323740524085796262280014644452385887970152455976988268644369892758240148111444045881978 C2 − 353446834337576828762493833399693417370463281288022816130681295555723837963100384241430559949893781577106081057328288898538829620395 C20 − 2590484429523267534607372332026131688944468656134150690422107136100932642094833313568565315771913050689817875084717168550773474542864 C21 + 22498008370912239597757201136563646809258159313959750431244028985572389720211068544902008441593524919151780617172112825645333489688195 C22 − 7488788903432776765813403159640166734171021585034722695362102022783421261234540621050220023516995717187441307938191929212621916221467 C23 − 6311804069087363189016922386329805777857710450090154965944178331353899702506300139306829522555864912901104356325455405946311187534144 C24 + 10413823539662794603194687822124155787523572151362836419671704800789453585430062224026784963351766637411870544873770452020255844504218 C25 − 6302669800296146276856698593077518184440463834797964512860991802918774060271748065591497387672315257641094241236519328942084107564788 C26 − 10504100775969547079900147977738178187527365890039534332885089502747136787243581892847504350484068232697178709539815348227491871654044 C27 − 21721900164038661647073310412168753116115581239808139588139268295637938400511396031333014111623706499875315013561928563667862785640396 C28 − 18137974273063714933918905671212563674132043722470793074648188386729704448103000458371496494874556327906769968820745470729979442116808 C29 − 5113591793360020831462551589182080381057726971392773854714851760635034254924681025124935975937469684485768949479185580130452445132376 C3 + 11528539314671767492456933805298570443783113519606918891700874171466304867684042326513630260414554584129348548833812086431481175929122 C30 + 4404398041905406689977826021651215526365473366593616156371150838275990343131181992043640945288513386132664495621754080154546674502585 C31 − 18180884712146370400165144210656477297300011439272703365023455025588410927371431115313944525191009642361655105658013080265530166051361 C32 + 21284469950151782126208861222298410338606592226450555851757022693482847571642940806569859299729896522766761438691472150599673793891703 C33 − 33225917174347791985191670323623985058400044521245592792866025848253652898278334321853874653843730066428843918083049028681215104514450 C34 + 6113865911187650209199747461492248558286625005387768413280764663496820318407734697976442737594183301448770520443069756361805196696068 C35 − 21420399159290708315657210133773652142691544525085638640276710181694172201741884723711827395342988682486980459097354388327454828778660 C36 − 11677797283283323140329470689599386824623101289025969476650408713282184270317950386718689158071651630543415859545636914597094525030899 C37 − 22426728377285132288956778064750906119561013494630201226451629447747596582758923640125553671164205949823344336479991678955800476352995 C38 + 6757916181404269724896985729465768887158502182313716325780953036992867697293301873607022975862793857471187409118187278796967511318300 C39 − 353756141029674545386391119410257209514270116540762332194847195955490976549272103909565504128978405203462758938375474335692637744927 C4 − 2301909522501951331085380219046107555275128546310507716112971804534981077887905654319454990489827501501620075276912391025782339288288 C40 − 22422670925519045615180257556989611761243374210840343029115656178001027213671258752564304322877708673701455707759756020603559821161392 C41 + 695860377162950558821426201862470419152215809289605619521908326650157686833346728035409803369912672653088641689350951361167456959256 C42 − 33452675340586788563432634137394103013358921655571831752578301985601105790804280109984926117939631307841859219193738106801971410375531 C43 + 11783305712543436192347092251166310663870387175501928753694578942056199211783194229496241800426796049581655533495121801810059605725603 C44 − 4435529885147711656429718270930423989789306903466665450469834377748430630290306167757322341853433587421461131691969791380352570315133 C45 − 4716012064787099288830921590103061058997937525538047988595457551940520670948425643768772613595515527900831308968905678109747319262116 C46 − 5608322741047500612042259547495661447918345635372500475188815516877653901827727103013121878312881414415373196667186190596829948079955 C47 − 17031499821278706974462187275245526695386347970487012952257535477238330910594477975173806877870259965034199347580960951946366636891901 C48 − 5933826451398119565377290369095849038249685126473350427813754643603724236090385291355844848897672585228275970873609633908684957424188 C49 + 13579795541833234545395097887926915089419054510664491095749011699433996859018151811208344941267412096252537425869118041968290887294090 C5 − 12163065387235233653459097723532478207972801480145503551375427450880620274138210747748942414442498927365238211209521372302875138126580 C50 − 831304722084271185738486779811746963629562538975933807078618515505320153156520968268980183593776634882803847004456293145105650790111 C51 − 5251312573284390364516148983956911824748972832334286817880747742937781177605447335896667546324846232093829635741026255857004645805867 C52 − 3306785244714878337841338201051729842619874261260051601540795433142337569281307286748151632612676865186263099393217061942090003126986 C53 + 2547257181304503019775884422301785645113539005513592118216249588244751115245123850620049801935311740976776282798892180879354111688705 C54 − 1785398361742566275852462356068436502391255003259618765217076210987476882469817353826978542521595079752980596278415727197730744891590 C55 − 1128990097216102418454078840370596030391960064673957102730880612265418193159913870730170726182748145164903665840156611142444490541317 C56 + 1302885841202641340505293774246120579491485799661629230636705097405281102042981474079083885787486230014956825471285222840721396301646 C57 − 587096685927577989566021176818985437484331364308891234471403505497581843304452729949483454469204010262886146683081167685768524759623 C58 + 477173644584301949070343827984946238691510277952868148651876756842624729104124665232531338854748415586677567564948993242560196364793 C59 − 16018090399506679737656183402825315488577041737868151592180958430097888610241228246567878161036645619541685443872290303814152404660945 C6 − 957978758049160408662024197900476372065290860058830309272707898825745910885723320906398390190408482223621390220990055015981499264739 C60 + 1630881305129708739971213496205217826167544800654748780801478443675285866781077877893960631858843993139380133126841354845014693357431 C61 − 1568122154498358746217341703315596044409224241171204324527717471461318630167750995223656972579885155790439394402871072230547948203517 C62 + 2210393024219155688734335372432867671873047019782538287997250684012539748351047609534571011121341638760151154844336229948676062176293 C63 − 4606317948311417564085516267404551658070091591953387178841098441201455242975244843450721569724431322878078806975872569961757059026430 C64 − 138530739607616268152324341525437025802816639149377563542654148028570968672102187880735188205227318837305078641358717614550416106908 C65 + 513269860371260707202489465250513286745951587243379998323231318986246081188686605936561446501786038301220244706987677244200348407479 C66 − 84255595228589988862485207669738733700920725706803014583420938786385934883565499136083889172217948251085844315590256179517209512067 C67 − 3650000463399646733180162394035837902796422965097464739116624937157070688900483977064368808766164049413816081772838333314913220403451 C68 − 253824103078972797690058679630682698541286423906670466597836093851566093293881209062377829788035061420056778623887688003560997008860 C69 − 1819673413176287531073366658088536456397849298203570122011907738194267193418841468579989292744987811479962083722299254000539095716297 C7 − 3697595808179794586325071290382002871044738563267606589330218737306655258067028322719222338309239944937210492297477535647047865063205 C70 − 1627494521347071555220388067918392862804308715184568928213521699706163995645001549596856381038767883329477325061245863003095931187026 C71 − 786935878249283310742717956229842127657331363079786685276024750960568492839123913425810513950290071935797878748099851588327576547670 C72 − 1223938715248592730047427965771225810883839288862984163606312198542052566665531929650321068028528469646744549179173948048499878044426 C73 − 474129257865725445236909618105329962811534110897593150403768003695989558642107824963718455724342211096667780905005085749329364399193 C74 − 40629999952726002685809540811720498464033947583255497587569915189064745587158837969927501222655795137833181098523398484259895938917 C75 − 104365082783685272880639460134498854737902831957386714192111205524641223343391805537829389373669057560513673012136635027272450102346 C76 + 330499455241954752584827161003634768125990510311735085099055931356350009751660988940837856685048597521784621534411778091331895185300 C77 + 669097194209957179943365240892232403670542306024162090306902925811634655964040645083157432156530043675079647292866959588533959498750 C78 + 347750558631827769246362381378470834577109322462769699515915497583110562094301164701193501308977651095904730819004895678349059199407 C79 + 14292194878754579681798978034454996247149195103400207169346633398004859790936189723113893494562651222678249024760060064654902265554219 C8 − 119867965001371638103691143479932127179537104518661187572661554474346032175964861581970907093023354350547689330943860536821543820559 C80 − 1178676131467211591063384486046352619041639901566485239642023407698121283606154554503991464611352302155574349500560170470443925921243 C81 − 255996384413382771233826829714567271268360627026131561496680280387026226541485434680625642977062761729419912305527720695504668255692 C82 − 1402259393051582088282619911892934682201994077956979162677145188354750783130936030519386108724996411784342723354682027473928509466792 C83 + 150097154966800643654611685459612519026631333713712513053276955879775642029907240344408247990014097906304689545568227284707457356952 C84 − 500268810330499560422132757666564367675916475868344933607456117581926357325506608828540600541951823545473938148974448924805949682608 C85 − 467564842547152485110998145487570971994812614739934280425003934260685131958147760768093989253579932050700458435232471947334539572659 C86 + 258753037520165474302878640519503404745146248591177497909408981168957981516418690345045127283400450589660579796123042252003663016060 C87 − 132898352221480216991873973656447075599128650538227875637719537465651086175533535875190147378499283559760506876158170545335795464559 C88 − 100324967085189221519847637040178524348346950561409840268011307463839986014346644021730162615316312426410171472073077454041506764752 C89 − 2281377595165192413358310518538003964510111996531574119002816904886069065006497817676544356654431156065383142099939880866745918251798 C9 − 805791378042303501745443930137760477738629038433690565098403906112538817230716531305198872394693037216641305172897326200790188440930 C90 + 16339832874750003541250286403453356289042427442926766319100159173231827350287219505956783265250191425249201326794973371654539617767 C91 − 569423845155058153200710709731660230318879069515201269151295910982400834122241072447416073858527823270402586246075927511998279825424 C92 − 17865267615189897718666871935762398890102455043122740881407667151541666305432396420073476039296282568527629110707402286553398553855 C93 + 188754194875597159625476859440911865541371266000045802762659270554318678422202968823072247694487339181235513328880146519965726592146 C94 + 396409940371451631415025270901247588369689775901372589062700315998841743040823593632708391021817745908095493343623643235905968733305 C95 − 17422327757321360437221590515596203226900479074524034667085076324526706848160039571570216547778327604845215273618915614309287248032 C96 − 593528289280005858006193319534696799207171446089405283873586713011740178391726732796705111612216998194407194592787889265595458925877 C97 + 16699550362855368824626539276871105583914769526993674564519903021309045468421462548064113794519204800771338707652751351919123522825 C98 − 19742372416838639331298095666652247659774248430261240024624893512347900671641150064803082436157105662920523003799283568564283567782 C99 − 160491535453813471456243147812658779942258148302377830904013441687736694036863251855305145218390201886762395480605976625459195561806 T2(G10G10) + 81371664525246409915342522367210246762045995219098066205227790050879891823517657665420765289961784232405168934915214254751402294817 T2(G10G11) − 97503253917182474804229686366533431027709816120765380309555908843079968944458457351047193985247097434590526610479945167515886950406 T2(G10G12) − 175188249064899335978643859779945305931074459938475790591570690062685377061423661293146004009535317040245626858825462566641313611295 T2(G10G13) + 28057343777348132875408855625666327198220297403416585835459058369188352022739505554628993454044644436654339257466114580818484081299 T2(G10G14) + 375004994981679736048057733023452569945533135193189451387712647664981485228871434918724208616864505584373573760451431091273998242499 T2(G10G15) − 141908784644855260428833881176753587403427352595315099806003548724762636603696128116056900804361764346897113564152681363174607361359 T2(G10G16) + 220619328143273241237631936152002529828197213959965326254610114587608730416945503444356240534860522644023085871111262886185809003471 T2(G10G17) + 81847153262425239245289716937321706456608573053865539999995448150594767124722300067710015434281048260605116290451216292684492589599 T2(G10G18) + 34413074570454091687295704609073668663166300255342179416079090225023778708494628322606059924030375268962262980776224789219721678132 T2(G11G11) + 18980550763079416373024222837001301472639046039242816014135288739498931719999523423523816048471848262036205746207592436400077284191 T2(G11G12) + 18080593342836372685410078445595874302306763566103009922200342370417217247619033607974040735518733543838839463853748815286037808869 T2(G11G13) + 66235617100805179179958922561602834386055417608006335240926844636202240787634213744404887961813585483890264332293132904538731965810 T2(G11G14) − 51617701213942793166998655533450221845729539539056470315707255289175412780143207136009332859842922633071077335148413347732716370323 T2(G11G15) + 42307118204629070640127533084623382510040612138382392499582435518788118918607213995023720632216460751605050376558426865444412520579 T2(G11G16) − 151689347206689118802209847968205646072194030467381126508723528019157299559307314785711400904930348774333521815734012294717761697679 T2(G11G17) + 58162586679729103963147708228655401772474987874859348296382531968024211440397631856446329540392267685222442548251268205752301398416 T2(G11G18) − 7652270258406763955427186392955856541843016453287779967924082088330201977335043917848356677101134037776259206204221101453959090241 T2(G12G12) − 12661057078143575604136200933078983930199516120751994275047512756409735407458054044978091213814963759075165870628187409593222157154 T2(G12G13) − 37987390775659611474312787992228705228743524356155587737561228322392995647356857205053342134239930594090976972641633828834942505606 T2(G12G14) + 58146671327391556861791645581663264841238803674082961122743645977550279621150125112088862784389041941734261691174214675815566454344 T2(G12G15) − 54170155237116560697250068806691952768896808316773323872917592354801030075234790747377013126604234572389292176956933759311324261228 T2(G12G16) + 50118954854471273886459102219446206053490925788983711912103626859220890490666678525625932001622696925724928650600572068867670289063 T2(G12G17) − 2304521024076604456400076620672328259166623970686635455092149935682382624126882556565262224952962285655402188582434666564998891763 T2(G12G18) − 500764248834055789679779240711774696379250925549348288476498869933701752592716524984881188654076973274705294548686664315193294330 T2(G13G13) + 2799385828488982878928849093560121428130643491864468088940514085783516226193139858196570920725323343967280987587114068844354060067 T2(G13G14) + 205624055970352894639325620480625992929088649154953290497016864168705729893922487867454118337320809283778740308381508105051816791147 T2(G13G15) − 74346070481925807772422042512190333245759027203508940087143166652520867045940510526937385760297578465450459580644175579215287953841 T2(G13G16) + 101662349501997173296895917746917412013585362644807671925948331449539469402188973285319317866903196820211111300193459016234854576889 T2(G13G17) + 90763408148881266748699845263882791503550956813638150689362783924801668493075762744354696476632401658797945837781768724988978268984 T2(G13G18) + 6085560195680893624935714833202553564028551807346773496271337582322967909294449020496993310997166066262692831072368563121876199929 T2(G14G14) − 29203705056269165875905788316077454599923960747827649749708722794942412740844959433007144178636184390212469287708368417533789499275 T2(G14G15) + 29372095564808922964803051936062780039794611883063654806296059950472293013464508945521414225487597650628179665052576867902630091980 T2(G14G16) − 101596223545196331396759848497326570649002283285755153385723193453812070396601270635415368042135460352459251196629997150683791620926 T2(G14G17) + 11312802697605826522308346491230685695046752051096149733636008739130909585043172276246452358893106691641406298955004628956737025784 T2(G14G18) − 194147597103538527086148616376811210270556761372102101138129726923161008664768214245717542709294494625689393682588976934449879880221 T2(G15G15) + 136501248014490247100144930815016131359079884035236320402654540024497865640146157112738755621992292541252008756259298941450668192467 T2(G15G16) − 143331468605517931280292663459464730810695990573708465540589120988411645994799099145238633448334209749852895358492734305249732223076 T2(G15G17) − 163198655500827056533577234662257464198714707434983593396426083948804707490019056776343010692929208754497217112915301377203671657393 T2(G15G18) − 16992759259370540672757506543382486768290433880996069166928963831798647479100637219322991198002573273646254158975390375630415068175 T2(G16G16) + 25198240718175163336816291199570033672375982231198994343547406459754283625500567980129541391635102460536319968986334013968358257216 T2(G16G17) + 56051280531549642307228214217691121704188384837937354981576220372365942891858245146785136920558905587659362872004723368510395292118 T2(G16G18) + 35394605665491583011291383060633158980493686816785388559840957768852216677630541054426740220499285860938575793224339399653418400173 T2(G17G17) − 119881705874858528429095307618078029705256714850215534674989869037667555662474340328083488244918400541297914942522217982327951116126 T2(G17G18) − 7642690419868205675116320055939108672199437702393419420565447307982826168756333533923859449469459464279432616636722900568381276891 T2(G18G18) − 152404106857394442281647057347497928881172597470145726121987004236197135388951400794260892771554293191357700587231274256495461053829 T2(G1G1) + 290495636919239614032944289309693119491108127503974873988207774814868296630930358150473257644702275207490675725464587325442574643029 T2(G1G10) − 28392312972292173899283052756120884364901315976495480865853920989810172736799772196064768569680577047105824094114955419983825055962 T2(G1G11) + 63535166446011384007503179780548285510775916507415722817648837226488969585430470711892462554878043974666876502394336135142798931855 T2(G1G12) + 185778248028227714868599768201351701281096098657092792003620101837127790830410910549435217962685879825483352407312412264751035024029 T2(G1G13) − 15281734117129433403512253351837986223408504901312594504935332904775006549535874707417639187589325082013906440216350137506867093041 T2(G1G14) − 324548362605358963216222281463670804149744953480564572780644793460466892457623137872491634748332913528883051976713083842034670011581 T2(G1G15) + 124443423543428522021709933835408894080718141273413372076975150848307870194653232892909221371814079637346421737276709737384264643294 T2(G1G16) − 104656699346654537481664618328207390156860327601973869195386394097449322528674720307401297340482275202526596471584090020911465773690 T2(G1G17) − 92771144442464957147575054428933236891599689198720416310038843723936403230460818888246548229856730370260680334446007653097867903944 T2(G1G18) − 39893108539678502522883785636038280837548700272284182450533907031397848321877028214694379501722447353722681100448395365720472688243 T2(G1G2) + 488288080747405720739078101003402395045486647660692200082229882046852906968506895097368234168929999869450023807845837734583571130004 T2(G1G3) − 69138996434585857843665602488674085602076575813522895463246880029003296037512899387277321046949646094860256589242212541305377723683 T2(G1G4) − 105979736309563892328462681251185388654883479222776812014599708190064210383169138212537501877274553275853907100559269034314423449128 T2(G1G5) − 91767138798921069124493757331021314421208771588459067215970925251059037290905956022439217248024205593505206309347015315149171021286 T2(G1G6) + 164252918375433420917839052894164878365803223323843692635262863319979231416270012522825531753102366417066931833698683282419406285784 T2(G1G7) − 130076543159143289478746531476978047886271530360780065506582178392955351082168242363010285297240002531445043235899223910583868714782 T2(G1G8) + 9973970243192784086150469134679079615053210774133789780759908667067458243191879832406754035737492299330554090191280957574129001254 T2(G1G9) + 108199828430640974462347052255645777017399990199943941935568702126983213086324619737470623059909163746774491497390737082287459227546 T2(G2G10) − 138892430268419989913652234525035647115633685141141830608166598179227301020234924271389394572023070419313413885951252582747019413832 T2(G2G11) + 36175917338617116630703802244298327503028001749285908506361893080859433887054662608918332679818948322876294002927144514570008041700 T2(G2G12) − 37860769070210105069598917601260842704592295396072339679246377609486685841829108075378131117325066434862299329637543867248168143854 T2(G2G13) − 8440261509885585797319863984070885767208976325616471797157696148434108743935339789156026811318622240284650372930589690471322876724 T2(G2G14) − 58828674044234870388402078347975733676320261909902603905740751939462568669056500109167767895527947494226519449236506886074175469502 T2(G2G15) + 80965862829826749708700883114905105610916095428351421217958380136976193809186865179744204663753169452577502265972732271951434257316 T2(G2G16) − 87654172060427147296279009726453875143337733032856901317502100163803459765237427510404044708605515303866513285095678360387941357081 T2(G2G17) − 19455374004234746431909015329000527750702796346792355296835870600186973144461724058455252239517363001320875134168782096656895626506 T2(G2G18) + 6688198153860237890992205896925398126402413395799142773685089466497585528677621162899534019015706048422599353916484328933335531568 T2(G2G2) + 177080413494318580027595368876362654721247420004101112376814425907304317337733127271608406892580847466839201426260123269844186951279 T2(G2G3) + 70990598713468442600892682465795890080673832091191323558054943716506777643418132932470761002255722977249654468516757299936575487971 T2(G2G4) − 66047756135704374751522347712406716941985559126053045958537563349984069870417925582337153962043499964360718696812541995783619934266 T2(G2G5) − 110705861398260010529246961138991453786827232858092782811870235493966767633355603748846559065392103162806696300792388069482282747487 T2(G2G6) − 5665822305856429701548341949773266025620921444141827729174245633224292538085903359445486634449206480866648717572257171861179571972 T2(G2G7) + 40990395116898363302125088725670523708996311937860253196764064037477940987277544516035019464655155259417905684480745546597628011648 T2(G2G8) − 26739877262796593846187587574141437929983497078799898862475883378612624786490490895837560634257435337699800238762953334651427223882 T2(G2G9) − 535951239777054417294437189528379264902493322171126207349537056103841597336924466577914999123446376267973757553271440016840550125554 T2(G3G10) − 4556505652954712749100617549961359753139375145797537550798881785384249153118827304798937274941203637750878007077861546326307351787 T2(G3G11) − 106377297256589412958440452576299837268328687274923124004544319027378845251910507988284611985064817840848619781160108608050447205717 T2(G3G12) − 446879715512193015538512925183182330389466963452370631145228786821773488191963704088440452256237188864896888441302920875598687412337 T2(G3G13) + 61448176012347617607533907069419539754116648670669730863005587944718299987927209932772977847012595462687798896619557958110248026685 T2(G3G14) + 670541999442380036003513262565430232175283117854297598620550183028912757291763600059972063912267271060287959390888501938074138004233 T2(G3G15) − 204871676803103020597541780946493272977618544150473817443705336393602949933056461672956582360496827527453532799072724523287252261867 T2(G3G16) + 274319546031661638687575795770300466296613595808149499872236005170618076577139793496673983096147410834555880548007866992306897671023 T2(G3G17) + 191403594449878908216605652721228654640030306292421725221104235710687956951749198218748973682095376095808174439628600424083715161611 T2(G3G18) − 477568412852660942166084253990516236249481789828578988530745491881041657583523442394704372245880883723872059039879760618684282172863 T2(G3G3) − 46497671887299511742422372799560900489786613528243965301431517765524223666801647163831412269221270803019862613125812392256666809128 T2(G3G4) + 480886793733024404263997778584677534848059636483651234218373275383406916917240277380927245209547102384720064395812750659712359492231 T2(G3G5) + 56449896862880084738299115487760660293304588103524109648794826414123122240614837671527175536722712031575020453849410380496155064458 T2(G3G6) − 329158107823262065925691810897758629730740104555169352833255298884222056429624835406922486517839987952393004346615278502308457091953 T2(G3G7) + 342721565701421104951043450169975535627677561789514307856712268426668852202607499866093310966285174375031856000580563843650009590151 T2(G3G8) − 99585906556311239530764789003880526598217934031679232610850150024866330766383359664992716552791294067705084037736269218180052291850 T2(G3G9) − 92164090310002985508594884727526287451794247425978645792361534141241151461755699309064661567404116512592337536501989923434575320249 T2(G4G10) + 30947286173181656546003911199424213943392829945591946649481842898780407746602300194149735733014900313884012543164547458220994697794 T2(G4G11) + 48344457184466878489448186089318762115712281262243061785629151657918256031078469137328744589696883785371382792576665381723527254852 T2(G4G12) − 14195435277738571841615765047029609521033917097875279728306124981694543751347280444081910568653322902960752785179778696452504583527 T2(G4G13) + 37596660011981698448508987482330114323684864976084032786135806260103044812812969212466107837792969999588623226505546624660073339576 T2(G4G14) + 24383554514255745640158736971116000828952204696534902493213004783157819721443052960209742029237546801119563117348797483248049053129 T2(G4G15) − 57181446882065800085417859424481775650598840951692865809478176273330769868927088598551049484585208760076426911560439664214967203600 T2(G4G16) + 47450254713083643972739564840735225790553128550303410515581820382822035152699551217886811500421181696020748937974808390985085845320 T2(G4G17) + 5509904697129292050296767175995284733553213494283427445990627274580183618259648299002403547013258458617230854585650139917106951724 T2(G4G18) − 21935135907281009079572090225163841286917909237085210581552047595400370042163405282366831735904925099645550853839088624768770789816 T2(G4G4) + 58245506316802224111913587243623762206816748186889951827709586093059862114551999867355893925391595712665001629887113696073887502260 T2(G4G5) + 39912367003535959511625692997716078526529537785842821862724757029170660383497919882423440838141366080400391365836015943251354024796 T2(G4G6) + 68859597677601133600850503111126581703343973155671215305520400866969927980938464762228864855989138008857990188579956483499846171380 T2(G4G7) + 44029426658629603421425960136548554382822708005590467897973838077520381151012801432737067656140116389138952990325267454306456656174 T2(G4G8) − 17885360227777748868934504108154579915550799334730723040086735992539210780368530081029051801568986676108602096598484968421455005138 T2(G4G9) + 243737604121639763596583377498800426388756871389133938481021049313301308265067058400099954235835660851047664873836519127067464266733 T2(G5G10) + 21627954268165591245067999949155025339534298829429682948057016157099552461104939352253602876930993654214946880242896686466498766224 T2(G5G11) − 39054773977003138010797244984557613546779102016802206210208136555963928420936658261123127606174052730498894405140707832030569437555 T2(G5G12) + 124385952056676440669527494441312444873140660611740502358330152488268289759136314168710556801081234166137730927001978429943465474333 T2(G5G13) − 102180660826302051596753940116908929138729017347490856869679038726249381013973024146755835658345909768235278665972175584502458794952 T2(G5G14) − 215752608411449726689040996700172575335329273891103193207760862151329739998015599853561243877117277792331308750836791348469262069629 T2(G5G15) + 38156378131120657397906577535637720508913099325817172089276621533099266198323998617081054057761767107623501654726891450543240671771 T2(G5G16) − 77530391744563784530352480017038803016307569590913438221509745079962428223549146768398176969194548350305537530028270150440366980077 T2(G5G17) − 137539027916895485000704243796820709699051681848692987022977121817726873506607964298058451895842470185125526884690631463898205766171 T2(G5G18) − 119725085869117434417387453986174619107733369056139402459998020541560797461617876909841177651254173142681103345223723647236132820296 T2(G5G5) − 23407246048274658441633364609316740914679748614364399825409886107680596172516025505619141234417278549552353554558847558885196249925 T2(G5G6) + 105532544371341530045462752715163368957304306991707851790546190820099293546353739959608107573296271135527528877955731057020617678198 T2(G5G7) − 199745007656755142516493297371492870808602544829642249417582351523327568924893648583394540369653821273528654670720417107117995347525 T2(G5G8) − 8067407109713471832470952786301881311488130367477430707078056466459627789844432895384489013614869039835941995166389220169560105902 T2(G5G9) + 99551057809016194266751682166173453835002352926144112189225446325397180650147133794700735210846576664119292574668434706163909938258 T2(G6G10) − 34794886128817503818452866499356607662235516241493273260805429793917488910710127907984940224076106866455687797276538563425766955346 T2(G6G11) + 108832037227200932589175298812405966067700401366772535559634149252138510985393564646701507012610980254170451178492820332886860205947 T2(G6G12) + 60424099542786075300028507547950864869243571356993884842369776762353460854631425801347880769250719157251896733152157299188365547607 T2(G6G13) + 36497902670170567580150593329172509415373370741468072499607010488024392747187013563456416412519432598476630472088976218864985621864 T2(G6G14) − 102387060604550243065768744558825125162832661679580487341359296455738131519071538067083561272099793340561733916109167072987331483029 T2(G6G15) + 12722234211833191227814884035326797071270414994552618871723546666231700458172055541692804719938284451592553098065656645401023318412 T2(G6G16) + 8566899483574070326832192092332037293520581779749352817817658894657332504220293886338576939092615358575182509032609338953349411818 T2(G6G17) − 31990559942499560665347822273320235006800793897878640733487050709330197193096352828815167365371750835993992139993093325474691162164 T2(G6G18) − 12069307827212654096307663895397666592022408556483316023894742007664880329358637828326596787185902603195500265885239641425147868004 T2(G6G6) + 70225972849459707770817283025267296208874841527969962634097514091373624532006956735026748192215662950381556449953140501224982598247 T2(G6G7) − 12417126396683470374706039139509939870436751387310049475441120271297778257014924918649317356665797064350682006730600808128940029901 T2(G6G8) + 38723797347575853679488517475211671852305814414319805779494650561279788225620070439275790314433440428355820473557313149312728300552 T2(G6G9) − 189900787383353274035746429125944600950353393862667457294398021278570687139793530561271714120139800046452830463646114250426523862968 T2(G7G10) + 27469483975868154079489505241597850210620100671785516176883447507689176997302426856540434656659292914867378786021463103449676118729 T2(G7G11) − 27679435538975693580431166480157001003554729273509787544189149071122354689119720838589116156956186326796565056433577529943919228694 T2(G7G12) − 121773971508191721827165497543401670164561466095437727212907054193958712581984718273441244908942888326501110569710323040893085270857 T2(G7G13) + 12838070248773874493895380946167088738010323622916046075285139730170244225890733430241295375632154431377501153199197058904557061915 T2(G7G14) + 184455751768524983180565542673636339486651776670986886385328458830205835788983182361920976808679405949161740982167212944524588873098 T2(G7G15) − 74461236276053903268827985824650076069568325013996795806353024441903073909999387905939276065284687886288875034953283203694692068455 T2(G7G16) + 47125643128856346728248005681066061086816501088927532717492470909704992432389123207068142423834645779386474150822468278206224277667 T2(G7G17) + 76016915734720983183021176984362550994846436405682551762349543648087810905720373726969513476688969590310641900494817004677632370821 T2(G7G18) − 40582181575822624276642651539627519778811968299184999650519958947794778293344645047420229854074302746469500497948971918860283301735 T2(G7G7) + 55985417392818069982919337812008364957955763286689768110623289632995046809979672828550421006263619950003149631851748928949274901984 T2(G7G8) + 42512233079647737282909307150447938421568385887968597408211387895283183331508260924796682406036479329957417058523922471847680324546 T2(G7G9) + 187146572725616692215294987644825009765882510656532312475244356850040728089309049259985641870441711865132971221777650069866972720387 T2(G8G10) − 114982692138023584104911758861457033456882497278345526722890953374861635592291708193360358711076608564476959982601506956392701956115 T2(G8G11) + 14522924236571228304147108724117417462117967209898250076454668827538253100292304123139768633800854269736498621826722827787040161059 T2(G8G12) + 91655139083236038533067464186578921100198227411189041491769186422531405514521878066801492080031475886053808626380442432820442828003 T2(G8G13) − 96945414183756983946704302638798208600611073849843038411433715354639782690003688979211447407234760071673092359105663454482457637556 T2(G8G14) − 209881151551984446743993410966358696301373686694949791286016984809484371067933372273126277152564586492815458036747116230777294910567 T2(G8G15) + 89001497301663144278798139490559019902262666874484132795737436462180099850685012367984445337099662035291607307568696399835937622257 T2(G8G16) − 17005374131523195137353751484434819005789357637456193004153792308507896401437284572289257159118449345068952340084739240159062734114 T2(G8G17) − 112485603761935450190747960187897273448182297169651297959370152279473634599541395720397867190259657782727791302591480881364104480304 T2(G8G18) − 21776140091471941539631782887814301975299910615866813637952282891000259967179334229031179847141163228929726571826423548693567237117 T2(G8G8) − 67448041347778657322891087273133053364532727343754842224754931981551875638771160003393783630422733246722036681709524365619700161713 T2(G8G9) − 79046004096191658657160149140568783102289351233387548299990548157543376981869665236894096511804995802190273023021389016025158005525 T2(G9G10) + 114014568040510017991485197193356758621397602900295475703746090313666875186750272820070670812344905760872653843936174841735390914269 T2(G9G11) − 18591530640380543093350181169709956745927532514746250737932369158868820672780626158546135400221095723807288078184185595688656636763 T2(G9G12) + 50723031396452996808628039012806776960938131210567967771041753575936500083891405198531913273273267909223287122623659227410971333695 T2(G9G13) + 58662601692867808217982395226552701375383659463813363606149515599521747930974566607638837339528167307763811865775194910543947067340 T2(G9G14) − 5300090284138921186899278319630703283732016246892558808892858699269333647084473933762346182775083882486595913619687950112149467673 T2(G9G15) − 49924765160559488406418616715803145648834065997250094984453659422082522038804490302054012145067669353329359234137238622682287649347 T2(G9G16) − 5843346388221430806904955510043665609807311269575411530809463941969731800134700766369080727591391876017135675694046551998237617535 T2(G9G17) + 48922790399068634303253487250188795866203128999581385170461649193123906189798133784115188140081574337936890271424880399524542024369 T2(G9G18) + 19742372416838639331298095666652247659774248430261240024624893512347900671641150064803082436157105662920523003799283568564283567782 T2(G9G9) − 305220050875679245792911954100244652847258328209165899509326750136408430297550360428521478269115795251753988679198936024199057260000 D1 D10 + 26390190297628746182198904268058943454238416293532347388767559397956527413172207261940743803227621244243904927619888100062217430473 D1 D11 − 274775279765493148468485265860318572089263741181361315359749338820404643544783115255506642089253098908846556480413048152286574323914 D10 D11 + 351613465457144887766640735292162337215869890395873884015726499115281440126016435717460348564409307979218698828175854191135313268718 D1 D12 + 403623443338978481735680309271619906131080844213379705486125493127707559595855872985715156603738464042941625588597096788763290143919 D10 D12 + 187587051732677859475534466814708065740274361668279384621191406948551334287998450206832491281159650036332162175435052479710903657040 D11 D12 + 329526962900471076359905543660782893610031751449777394831012678955906900146547178916766523630122243908757182478739338707810202243505 D1 D13 + 386528190348074937518988350051727480398130922015450250827851291074244648592047107853952322224735304793739751988773585583597804288951 D10 D13 + 167517800689066606666848605179113048562907730948099259330149847854677749042000876834474379640569544005473518296903670586998794177108 D11 D13 − 424253845456587443170398851513229331310093587155454311600886634867857436402069540141808395159984182486810471923713817176069246679749 D12 D13 − 271452444104990091543991652801949182976194360246340803578830438680049453137882232936823792402734347682800470631621217770127174673697 D1 D14 − 282777071608788031455126654806427769140318015429642723501750792242197759626356850246526107962759623593919346958783650428956573736365 D10 D14 + 173359336041880485798350943970579614576423881910644455522244493133933527227269246874361613063904499582476811005282565344198818272 D11 D14 + 343432968940192984661952933250601621423137700368023628386044163638749934432109771372256808179249799897733180041902221628743119948944 D12 D14 + 127279537135804506617201747174297557223487380399500515977981690246718095262500771774512471577558340799676224296341950227523571761733 D13 D14 − 180628647189754996354979309807254432243673685678927315467866511949102690828159963477646113502599248514489604529645255728728995316909 D1 D2 − 121605743309016135864781524810423713468753321547609298033966223426608151347145189514990008532462215236981379682893905341282169539266 D10 D2 − 401457880339446540813336062553258248373921652266784326026554379223687598832687476658340621648776860180462965174111799617981994988297 D11 D2 + 116694951124422257082957041223490171443638028248669293235153479743205359560518848046925392773118917076579755806772743436870798104207 D12 D2 + 253044294658296505493288379703419722272933474423562608634320732307691944961691568120027415334725674339984336344142178632579152144131 D13 D2 − 374651117233955610060595786410405226238097550909445990016881550297863751726851407698948146787282270696499136497254506279978375219394 D14 D2 + 195345505539260643100767185261744916372461260420556095010255682002491268509543520067092717150364833964879741737364816137747190490830 D1 D3 + 266161425896842578537057786957120884863946488691776045187235669859195492618557347143642217060955002549184526091356049599530372824828 D10 D3 + 152895437423823694909178439932535964278764461988800587773835918623913857002114741841922359571424568661596110215064782429089645729486 D11 D3 − 312675445476736264747803472598584604909720490798368058929180255761422716932950646372393977519126858697001566229902363557098464232737 D12 D3 − 512310934901921765466662206290793235388433600355267487792717286963000524365682655991189499438484131983341426858074707591689467242954 D13 D3 + 292094084951989181977424809916185959405443873624950147659665384530125277728375016526345286784244903288778191580697017059532281970 D14 D3 − 63777815177518934993274244998124111347874190495951402674716634988162742481392460584241112669042492161272167755629287447794738346194 D2 D3 + 295005292726690938643008519911845002021895470815624864783507040179468905057891034556380949021873193991784103828904263789649002324602 D1 D4 + 322541564153157709690103730408520150144716504363056130189092731069114880846625844309960551615787953919551645653812193717235953759687 D10 D4 + 243735416761732144012877653503286755854164261583873846520994601313792323136349573488704339533725858544543482572308879757277464132404 D11 D4 − 292655734737079545030610165416310162466260717494278776546209603342607346882459725963388612149867719720076551828682354238815616571771 D12 D4 − 418194703316430344164105209201954295578835745119081803957195696619166302043188813624662237730636337119181284301229790290560266973801 D13 D4 + 293055713091021710770416957801263426977162906836188218750092386003821561666204668037878579102995583089216375588527004130144209530925 D14 D4 − 103576418542880681470672949423990273250953950180929888314054595153385265437261711048863000466299666195717647737683161369052215989102 D2 D4 − 407593751135617630120704561033914342982549536723306389378659950713258926920688463295386797801117804180789454894677837818278904335013 D3 D4 + 350226163779143830013273551910808767765931340093436118674239515428118037482405999222285324543028526080075420279460617558954168025788 D1 D5 + 223643928407775693929102935483907126682653568429258644387133940437287889488084645528916579142090389190611315986055817246174168787588 D10 D5 + 474620513722550420439232544443258694519909226557960340746623489821847007174605382741727478672805453690333358931707898572123064755834 D11 D5 − 514135628325450743529917185657302637886313917256149578890650510171992871953093487108039128803508388384269064415462825976665213075446 D12 D5 − 602119317690656916526084242259020412755054914629397695880096818570153668587880524033389044643111208580721414881398456274469158027592 D13 D5 + 276958973845695572952755316568402056084798074745672196815775839502548013840323268104748503340884972011611358264431617353251106047136 D14 D5 + 202982430271435363399653351845156408855373206199759203176185579857822579113311356979896959947119547082196793652973091619877589645314 D2 D5 − 599231481188042682248085462729932210955636830931389143945051319104576128256801037545650643298765099822510295398468181740217165033923 D3 D5 − 393725809162360948655293211499308787184906853954648401719910396783698388783817807638018795665167743005501516229414326348822695226303 D4 D5 − 482051926206183068544063501632134283740957482737010594733245530412097319686291829667520822252169615328664262892892124757771568915658 D1 D6 − 546439463587842531402997898475486211473314745387322364770941468472210568790038312493342072268155830655810987573154999224963765412321 D10 D6 − 672214503562801958487109018340160939788814021843466258341812718920891913581725298012455967178994688173769222814075771340916058232240 D11 D6 + 660184706248033125875285618120755841783150752506536657031972578344421278568612625912146124016581181022513190792040436704482957553076 D12 D6 + 980496758755406742906103202942284245540313670381705738816965174432584427648610851789216832710118425879603205724712266566457236333731 D13 D6 − 453479178696801312155564513958088518315662279516907700658253172474369185311364518514355221041258792977302580798117660389834635533504 D14 D6 − 179537681935469896438540086592810297796065260619580450886811576875369642165703460837211166113905662462892094560828199423201948104327 D2 D6 + 1113316485102737203946749661171418854694758855815626681336230285470857460864122552297862940764573308885011718195172676848728551160839 D3 D6 + 535605664098446635280763402584832288870541824647627659649889309683615777270419370051384212167623031516035759070199285055331306436640 D4 D6 + 1084779107383617446696813808213049622089824664765505916551054199584436273485258437728139085747793049723439355489775723001936240818005 D5 D6 − 91380748131195033309532358166549012944816772859773767975548195993905000424530526384464430649024351397253341517909262659461495305906 D1 D7 + 87770902743782104392747503863831633098387248238325887042307651546933394142501486416152791421584680502113646281605482132016535152275 D10 D7 − 361308695522588157006851664887109564858239250170149334632942020349677096739282101256908512965740385525442189324759245675983609994020 D11 D7 + 100473000464426140720233822738263893778014158659537895795168387374909859024586953295951437365852047142106392584881662857150989253921 D12 D7 + 97329372449050963902496556164617945398274298858143300256479074349296301451808267202032629746365243035603894130342329107155033547796 D13 D7 − 168023625905183398095137787999857501412836347322491341991115839083531525335940076292048824996093532663682130790753430176328764184237 D14 D7 + 134695506623687324588877145918868408852871189119426368105382322418468663137460707656993921830633372843729117189726945971416257795853 D2 D7 − 40917545803690369272600571577858694438392119816780067673117463253004921288610347493795833358718677715371747069467547556373983925529 D3 D7 − 66331521906339868296709959288170338683822569939471523642667235516366076011625995488798372216138773586835262652998634452387212259789 D4 D7 − 30214266640573560534247647807398242518157509260402819739835788558898790242242001251678730590952923608302314120760047815020048021142 D5 D7 + 180488174479250266866404878889242766183150901052279168153465426314405154369722226990201180624581794352870823760588452313049103613939 D6 D7 − 236199707700607838020279784250364381859402808033264822398458725025429650305516650437874243320022904906022300667197707148233635127145 D1 D8 − 196930847113329256664874974328557960696546091820538528384480785731256380295546597011181825218979034981039598178206675125048853849467 D10 D8 + 211231016882705794240240847667677390049358676694125334013513095272463272314243680388747139501675429096766393817035599546625040670857 D11 D8 − 88001578432737034554362757280572203939585121847614778080745314342033571274583146484234459639474713270549247712496463917343361084534 D12 D8 + 162547381904177059314121848780875110770445573022127778535991580851743705417836191024458063692300254191676009544176269719398406833511 D13 D8 + 354700183291200716388390459296715828391506644421291952589558010555461347198543165534336759502631010660112394549970410679524019371771 D14 D8 − 98300239777574316516518680493302047190667303922138859573622305057479838556645175551027636541482420322984795430857770999526557659076 D2 D8 + 458934373789383439413528833873641383510462991466132638538911568074152592199725355498643653828218388510166292023796098600232908111698 D3 D8 + 156147362646243984687950569061123438684392059548234928779076132678798076241980391913232670565377012920222170836387684867746046218411 D4 D8 + 525718152884571607104894505562598193042969852363864077879634717814231819568663164147030201427638856733707591701098036905987120800666 D5 D8 − 587860968354671204722440135868377202607851912209935259335699265688862017296638510256435217691234501345221572226106176646782268944131 D6 D8 − 209668994383503061639559387663105860999086414955636495506386357335930389317782075797426299762746309320728404466759584916384433554507 D7 D8 − 367180065456574245025704340754875497962482381556949343361344727546696146444495379965249757394071683251110421180852028494595065556704 D1 D9 − 303868946450909890266592052673576905044692029737323352261740039882822973136934673284497359927735925631566089552547838808219686353318 D10 D9 − 344335268222960755211744679292613456076684691559863377682692733737497180098735555128984163432267921980778129524324490434373081408438 D11 D9 + 445261633343118184445441233759820631687124341157336247335592928846065550015095935830025388628263563402139359591717146678703013763929 D12 D9 + 535853179834835755228199696117163579520591477288509438991731868951913485054285459195377189522080982222288240666683063724167147988012 D13 D9 − 195530265319548311009296759267913399182055928798232786230472250843718097153512985484743422927375654185704025288445331271501837772275 D14 D9 − 25442294743990001968718048861947940153432248440917534435261388942507488381812578701201016054658007170468556002337606097795299335674 D2 D9 + 612094676168030281119650592279487266500084015151051790933080136170222369521124381195782475462469094737971857491556491189373976774609 D3 D9 + 316153586590052195552591594129071695225865933505830948485980545527953950101773527671065629775675130297135091313921482985494518454502 D4 D9 + 482306686736252407335948209279891086492113866790048887910728502705191280525183550763761740452463358217186964002790023611924221186616 D5 D9 − 906932016592279999367470810254165787497292336781283657344118385765094154563833234944758150281428934643985708862873486137281500150515 D6 D9 − 21128846089443666326284450609695386244085132024672299249986536162578502485836329352110468511337905079793450081620102443734063363532 D7 D9 − 378914022662075662969739709843641084669412766475368174947700311334484624275781505016638031439488408350458275598224681694104132667051 D8 D9))/(243486739654976679781721523304975215707669918205168826309359061993563794781251212606663261804486351509267375398239506996679927754677 G1 − 522886093053750464140178841517222134446420606264715787451463256077853754175122995007277767777767156558339493626096908048420552580277 G10 + 373652512141319012784957086350065876037421601199424019628174262354485197874236788767010976750091430708688650823122016481542342869552 G11 + 51294600283424163028517074226912572959867294462471116694501788129370064604814899965413003467280096076732621792549361898151946570381 G12 − 13981504292549682986251642124345012146077945028581486907372324811759951236542197484561897641263731916171572075123329037131855452084 G13 + 114544878010733522565354106525408162824831743875129786569125265965130756832719922847475948020211319955164377635852407562317326584989 G14 + 318201889330855894852375634658711199788669095903796385111381266234012528563278944491153862701501420082307446681788968231444199715322 G15 − 341549517434299225629832146742574130229231912399868647961405232392026626048961919384051336754092837209034831543796191203295863971651 G16 + 317245437346728677638509383849082149432034281782100803404499563397084857491085915930233717077511841733338756355293343043446787322393 G17 + 113338718353593607237663232037760099648511413002419579613421085820879095321614851279434339423924110894542614689478691237914882473184 G18 + 25112697184215625119073856697058351801404747211193578731377503021955778125554467031069410916423799651561081424999952039939397780821 G2 − 632144621556154955505803473555076729631404639783572025244774966581563494722363420779069013456389179671877573742899858696760669519101 G3 − 136405833239792928521539509746464135433093158214281018091874298447428817972957702576356532489195364853282880695450664285904040120770 G4 + 92192915833906554308812596682709512671274422143052513369220754268679554873996938007706133713933777445743570015770729508168984997865 G5 + 411362840466865787617518810940026666881200703728432997676007594179104629384515330009962034904353657153850647437262342345846287358832 G6 + 23347628103443330777456512083862930440562816496072262850023966158014097485682974892897474052591417126727384862007222971851664256329 G7 + 4606859584270542377000484684737569001124351072633965458662442905634744131702907962429021749950815543120791336126346243511859671272 G8 − 98028299448989367913680065149625855684735886652303901908536277829561309596664230864130372428475303232417178867942565944151999442602 G9)
and note that this is a multiple of 11 because the content of the denominator is 1, and because the numerator is obviously a multiple of 11.

See here for a congruence relation between this level 587 wt 2 plus nonlift and the level 587 wt 2 minus nonlift.


WEIGHT 8 CUSP FORMS
In an attempt to find manageable set of determining coefficients for the weight 8 space of cusp forms, we will attempt to find a spanning set for it. The weight 8 space of cusp forms has dimension
     dim S8(K(587)) = 11008
We attempt to find cusp forms in the plus and minus parts separately and hope that the dimensions add up to the above 11008.

There has not yet been an attempt to span S8(K(587))+.


Weight 2 Theta Blocks (Number of wt 2 Gritsenko lifts: 18)
     G1 = Grit(THBK2(3,5,6,6,7,9,12,13,15,20))
     G2 = Grit(THBK2(3,5,5,7,8,8,12,13,15,20))
     G3 = Grit(THBK2(3,5,5,6,7,10,12,13,16,19))
     G4 = Grit(THBK2(3,4,5,7,8,9,12,13,16,19))
     G5 = Grit(THBK2(3,4,5,7,7,10,12,14,15,19))
     G6 = Grit(THBK2(3,4,5,6,8,11,11,14,15,19))
     G7 = Grit(THBK2(3,4,4,8,8,11,12,12,14,20))
     G8 = Grit(THBK2(3,4,4,7,8,11,12,13,15,19))
     G9 = Grit(THBK2(3,3,5,7,8,10,12,15,15,18))
     G10 = Grit(THBK2(3,3,5,6,8,9,12,13,14,21))
     G11 = Grit(THBK2(3,3,4,6,7,10,13,13,16,19))
     G12 = Grit(THBK2(3,3,4,5,7,8,12,13,17,20))
     G13 = Grit(THBK2(2,5,6,7,8,9,11,13,15,20))
     G14 = Grit(THBK2(2,5,6,7,7,9,12,13,16,19))
     G15 = Grit(THBK2(2,5,5,7,9,10,11,12,15,20))
     G16 = Grit(THBK2(2,5,5,7,8,9,12,13,17,18))
     G17 = Grit(THBK2(2,4,5,6,7,9,12,13,17,19))
     G18 = Grit(THBK2(2,4,5,5,6,9,11,13,16,21))


Weight 4 Theta Blocks (Number of wt 4 Gritsenko lifts: 115)
     C1 = Grit(THBK4(1,1,1,1,1,1,12,32))
     C2 = Grit(THBK4(1,1,1,1,1,2,3,34))
     C3 = Grit(THBK4(1,1,1,1,1,2,18,29))
     C4 = Grit(THBK4(1,1,1,1,1,3,22,26))
     C5 = Grit(THBK4(1,1,1,1,1,4,8,33))
     C6 = Grit(THBK4(1,1,1,1,1,8,9,32))
     C7 = Grit(THBK4(1,1,1,1,1,8,12,31))
     C8 = Grit(THBK4(1,1,1,1,1,8,23,24))
     C9 = Grit(THBK4(1,1,1,1,1,10,13,30))
     C10 = Grit(THBK4(1,1,1,1,1,12,20,25))
     C11 = Grit(THBK4(1,1,1,1,1,13,18,26))
     C12 = Grit(THBK4(1,1,1,1,1,18,19,22))
     C13 = Grit(THBK4(1,1,1,1,2,3,14,31))
     C14 = Grit(THBK4(1,1,1,1,2,6,13,31))
     C15 = Grit(THBK4(1,1,1,1,2,6,17,29))
     C16 = Grit(THBK4(1,1,1,1,2,7,21,26))
     C17 = Grit(THBK4(1,1,1,1,2,10,15,29))
     C18 = Grit(THBK4(1,1,1,1,2,10,21,25))
     C19 = Grit(THBK4(1,1,1,1,2,14,21,23))
     C20 = Grit(THBK4(1,1,1,1,3,3,24,24))
     C21 = Grit(THBK4(1,1,1,1,3,4,11,32))
     C22 = Grit(THBK4(1,1,1,1,3,4,19,28))
     C23 = Grit(THBK4(1,1,1,1,3,6,6,33))
     C24 = Grit(THBK4(1,1,1,1,3,8,16,29))
     C25 = Grit(THBK4(1,1,1,1,3,10,10,31))
     C26 = Grit(THBK4(1,1,1,1,3,14,17,26))
     C27 = Grit(THBK4(1,1,1,1,3,19,20,20))
     C28 = Grit(THBK4(1,1,1,1,4,7,9,32))
     C29 = Grit(THBK4(1,1,1,1,4,7,12,31))
     C30 = Grit(THBK4(1,1,1,1,4,7,23,24))
     C31 = Grit(THBK4(1,1,1,1,4,12,13,29))
     C32 = Grit(THBK4(1,1,1,1,4,15,20,23))
     C33 = Grit(THBK4(1,1,1,1,5,7,14,30))
     C34 = Grit(THBK4(1,1,1,1,6,17,19,22))
     C35 = Grit(THBK4(1,1,1,1,7,10,11,30))
     C36 = Grit(THBK4(1,1,1,1,9,17,20,20))
     C37 = Grit(THBK4(1,1,1,1,14,17,18,19))
     C38 = Grit(THBK4(1,1,1,2,3,10,23,23))
     C39 = Grit(THBK4(1,1,1,2,3,11,19,26))
     C40 = Grit(THBK4(1,1,1,2,5,11,11,30))
     C41 = Grit(THBK4(1,1,1,2,6,7,11,31))
     C42 = Grit(THBK4(1,1,1,3,4,4,13,31))
     C43 = Grit(THBK4(1,1,1,3,4,4,17,29))
     C44 = Grit(THBK4(1,1,1,3,5,7,8,32))
     C45 = Grit(THBK4(1,1,1,3,5,16,16,25))
     C46 = Grit(THBK4(1,1,1,3,7,10,22,23))
     C47 = Grit(THBK4(1,1,1,3,9,9,10,30))
     C48 = Grit(THBK4(1,1,1,3,15,17,18,18))
     C49 = Grit(THBK4(1,1,1,4,4,5,5,33))
     C50 = Grit(THBK4(1,1,1,6,14,17,17,19))
     C51 = Grit(THBK4(1,1,1,7,9,10,10,29))
     C52 = Grit(THBK4(1,1,1,9,16,16,17,17))
     C53 = Grit(THBK4(1,1,2,2,2,2,16,30))
     C54 = Grit(THBK4(1,1,2,2,2,6,10,32))
     C55 = Grit(THBK4(1,1,2,2,2,8,14,30))
     C56 = Grit(THBK4(1,1,2,2,5,5,5,33))
     C57 = Grit(THBK4(1,1,2,2,5,9,23,23))
     C58 = Grit(THBK4(1,1,2,2,7,7,15,29))
     C59 = Grit(THBK4(1,1,2,2,7,15,19,23))
     C60 = Grit(THBK4(1,1,2,3,3,14,15,27))
     C61 = Grit(THBK4(1,1,2,3,3,15,21,22))
     C62 = Grit(THBK4(1,1,2,5,6,7,23,23))
     C63 = Grit(THBK4(1,1,2,6,6,6,6,32))
     C64 = Grit(THBK4(1,1,2,12,16,16,16,16))
     C65 = Grit(THBK4(1,1,3,3,3,4,20,27))
     C66 = Grit(THBK4(1,1,3,3,5,12,12,29))
     C67 = Grit(THBK4(1,1,3,4,5,5,16,29))
     C68 = Grit(THBK4(1,1,4,5,5,15,16,25))
     C69 = Grit(THBK4(1,1,4,7,8,9,11,29))
     C70 = Grit(THBK4(1,1,4,15,15,15,15,16))
     C71 = Grit(THBK4(1,1,5,6,7,7,22,23))
     C72 = Grit(THBK4(1,1,8,9,9,9,9,28))
     C73 = Grit(THBK4(1,1,8,12,14,16,16,16))
     C74 = Grit(THBK4(1,2,2,2,2,2,8,33))
     C75 = Grit(THBK4(1,2,2,2,2,9,20,26))
     C76 = Grit(THBK4(1,2,2,2,2,12,22,23))
     C77 = Grit(THBK4(1,2,2,2,7,12,22,22))
     C78 = Grit(THBK4(1,2,2,3,3,9,15,29))
     C79 = Grit(THBK4(1,2,2,3,4,4,10,32))
     C80 = Grit(THBK4(1,2,2,3,17,17,17,17))
     C81 = Grit(THBK4(1,2,3,11,11,11,11,26))
     C82 = Grit(THBK4(1,2,3,13,13,13,13,22))
     C83 = Grit(THBK4(1,2,4,4,4,4,4,33))
     C84 = Grit(THBK4(1,2,5,5,6,19,19,19))
     C85 = Grit(THBK4(1,2,10,13,15,15,15,15))
     C86 = Grit(THBK4(1,2,13,13,13,13,13,18))
     C87 = Grit(THBK4(1,3,4,5,5,5,17,28))
     C88 = Grit(THBK4(1,3,7,7,7,7,22,22))
     C89 = Grit(THBK4(1,4,7,9,9,9,9,28))
     C90 = Grit(THBK4(1,4,12,13,13,15,15,15))
     C91 = Grit(THBK4(1,5,5,5,5,8,15,28))
     C92 = Grit(THBK4(1,7,12,14,14,14,14,14))
     C93 = Grit(THBK4(2,2,2,2,2,3,11,32))
     C94 = Grit(THBK4(2,2,2,2,2,5,20,27))
     C95 = Grit(THBK4(2,2,2,2,2,7,12,31))
     C96 = Grit(THBK4(2,2,2,2,2,9,17,28))
     C97 = Grit(THBK4(2,2,2,3,8,8,8,31))
     C98 = Grit(THBK4(2,2,2,5,5,12,22,22))
     C99 = Grit(THBK4(2,2,3,3,3,3,17,29))
     C100 = Grit(THBK4(2,3,4,4,12,12,20,21))
     C101 = Grit(THBK4(2,3,5,5,6,15,15,25))
     C102 = Grit(THBK4(2,3,8,8,8,8,8,29))
     C103 = Grit(THBK4(2,4,4,4,4,4,19,27))
     C104 = Grit(THBK4(2,4,6,6,6,6,7,31))
     C105 = Grit(THBK4(2,6,9,9,9,9,9,27))
     C106 = Grit(THBK4(2,7,7,7,7,7,21,22))
     C107 = Grit(THBK4(2,8,8,8,8,8,11,27))
     C108 = Grit(THBK4(2,10,12,13,13,14,14,14))
     C109 = Grit(THBK4(3,4,4,4,14,14,14,23))
     C110 = Grit(THBK4(3,5,5,5,5,5,16,28))
     C111 = Grit(THBK4(4,4,4,4,4,5,13,30))
     C112 = Grit(THBK4(4,12,13,13,13,13,13,13))
     C113 = Grit(THBK4(5,7,8,8,9,9,9,27))
     C114 = Grit(THBK4(7,7,7,7,7,10,10,27))
     C115 = Grit(THBK4(8,11,12,13,13,13,13,13))


Weight 2 "Tweak" Theta Blocks that yield Gritsenko lifts with Characters
     D1 = Grit(THBK2(1,1,3,24))
     D2 = Grit(THBK2(1,1,12,21))
     D3 = Grit(THBK2(1,8,9,21))
     D4 = Grit(THBK2(1,9,12,19))
     D5 = Grit(THBK2(3,3,13,20))
     D6 = Grit(THBK2(3,4,11,21))
     D7 = Grit(THBK2(3,8,15,17))
     D8 = Grit(THBK2(4,7,9,21))
     D9 = Grit(THBK2(4,11,15,15))
     D10 = Grit(THBK2(5,9,9,20))
     D11 = Grit(THBK2(5,9,15,16))
     D12 = Grit(THBK2(7,12,13,15))
     D13 = Grit(THBK2(8,9,9,19))
     D14 = Grit(THBK2(9,9,13,16))


The set A4 of 4x4 matrices used in theta tracing. Here |A4|=20.
     {{20,4,3,7},{4,24,3,10},{3,3,26,7},{7,10,7,36}}
     {{20,1,3,1},{1,22,2,10},{3,2,22,5},{1,10,5,42}}
     {{18,4,5,3},{4,24,2,5},{5,2,24,1},{3,5,1,38}}
     {{16,3,2,2},{3,20,5,4},{2,5,24,3},{2,4,3,50}}
     {{16,1,4,2},{1,28,2,11},{4,2,30,13},{2,11,13,36}}
     {{16,5,3,-2},{5,24,5,-4},{3,5,34,17},{-2,-4,17,40}}
     {{18,7,0,2},{7,30,5,13},{0,5,32,13},{2,13,13,32}}
     {{16,3,3,-4},{3,20,5,5},{3,5,28,10},{-4,5,10,48}}
     {{16,3,2,7},{3,20,5,0},{2,5,24,10},{7,0,10,56}}
     {{24,10,2,-7},{10,24,3,-11},{2,3,30,1},{-7,-11,1,30}}
     {{20,9,-2,-7},{9,26,2,-11},{-2,2,30,1},{-7,-11,1,32}}
     {{20,7,5,-1},{7,24,4,-11},{5,4,26,0},{-1,-11,0,38}}
     {{20,3,5,-6},{3,22,3,10},{5,3,26,1},{-6,10,1,40}}
     {{20,1,6,1},{1,22,6,-5},{6,6,22,3},{1,-5,3,44}}
     {{18,1,-3,2},{1,20,5,-7},{-3,5,28,6},{2,-7,6,42}}
     {{14,1,4,-1},{1,20,8,6},{4,8,42,21},{-1,6,21,44}}
     {{16,3,6,7},{3,18,8,2},{6,8,26,5},{7,2,5,62}}
     {{18,1,5,8},{1,20,8,2},{5,8,24,11},{8,2,11,56}}
     {{18,5,-2,-3},{5,18,1,-4},{-2,1,20,2},{-3,-4,2,60}}
     {{18,5,7,-5},{5,24,9,7},{7,9,28,5},{-5,7,5,42}}