Exact moment block certificate

Generated by scripts/generate_moments.py; all identities below are checked by the Lean kernel with integer arithmetic. No external verifier is trusted.

def PersistentSOS.certificateInteger0 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger0 = Int.ofNat (181355688403183751340640073158732082 * 10 ^ 60 + 150306678330376594572253802493709192464704682258716141755016)

def PersistentSOS.certificateInteger1 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger1 = Int.ofNat (94353158036457576410171530657379369 * 10 ^ 60 + 721941356954919870268065016395429943807580456119752309555222)

def PersistentSOS.certificateInteger2 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger2 = Int.ofNat (83355574141259580777961072865016599 * 10 ^ 60 + 43795880563393368375055477538852588249585872321946119369163)

def PersistentSOS.certificateInteger3 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger3 = Int.ofNat (53588648925373159441088575844936516 * 10 ^ 60 + 676918229567509702495165670405410321022618435083364571634768)

def PersistentSOS.certificateInteger4 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger4 = Int.ofNat (55722116089257953863020702891822085 * 10 ^ 60 + 331377341314507836064106007752835074098072417965937108012110)

def PersistentSOS.certificateInteger5 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger5 = Int.ofNat (53411055873977991097042500580422328 * 10 ^ 60 + 715300727844299309186703955147407773716256133194575921301924)

def PersistentSOS.certificateInteger6 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger6 = Int.ofNat (1277540979817846465782226392934510 * 10 ^ 60 + 925997034375820374927659220928515962016249163559305543239859)

def PersistentSOS.certificateInteger7 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger7 = Int.ofNat (18571477337002863093090802470203599 * 10 ^ 60 + 894865097490924570229920729741178121698636405440829498847105)

def PersistentSOS.certificateInteger8 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger8 = Int.ofNat (37104540634320479205280292071239648 * 10 ^ 60 + 336360894653256094108512852601860584918331509245026951067641)

def PersistentSOS.certificateInteger9 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger9 = Int.ofNat (20820886267387004914547629549922843 * 10 ^ 60 + 201031015453911525318219285025079412739389178445293802992486)

def PersistentSOS.certificateInteger10 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger10 = Int.ofNat (15772833310343474736617628872753760 * 10 ^ 60 + 372143032272584796533272149827333985964188234489391976059634)

def PersistentSOS.certificateInteger11 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger11 = Int.ofNat (10794253535614276429342207475969779 * 10 ^ 60 + 18980416019609274867488027654664373724391152360715588036026)

def PersistentSOS.certificateInteger12 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger12 = Int.ofNat (15093999109860459998616985432514850 * 10 ^ 60 + 584303652356686212530693292594113360245598845616813933892687)

def PersistentSOS.certificateInteger13 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger13 = Int.ofNat (3351895751375130471232363555496095 * 10 ^ 60 + 38537446492317066548487997000778123136074348129292802299549)

def PersistentSOS.certificateInteger14 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger14 = Int.ofNat (83251032693425950311280054782274428 * 10 ^ 60 + 786316444549080230130264331030056531612104960243044169678758)

def PersistentSOS.certificateInteger15 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger15 = Int.ofNat (41608816494757001909793743275950811 * 10 ^ 60 + 738277425075496552291097298925085035089492797650625747800834)

def PersistentSOS.certificateInteger16 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger16 = Int.ofNat (41095756611551676802424763741106662 * 10 ^ 60 + 944308242811983472448689095141312330284198738824833745146372)

def PersistentSOS.certificateInteger17 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger17 = Int.ofNat (32118749764848380578038228102443829 * 10 ^ 60 + 883455047556994050788059107960088500551322268042250456908610)

def PersistentSOS.certificateInteger18 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger18 = Int.ofNat (30902194650016455148172087437641909 * 10 ^ 60 + 31554893557346870296823835756054153871258587479936802520713)

def PersistentSOS.certificateInteger19 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger19 = Int.ofNat (9350585156974748475101212789860292 * 10 ^ 60 + 915913043444274900195543236975972676259514527882506887692966)

def PersistentSOS.certificateInteger20 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger20 = Int.ofNat (11720479407219885323620588096628365 * 10 ^ 60 + 925859507810217238447550682111567823989902830927967054538587)

def PersistentSOS.certificateInteger21 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger21 = Int.ofNat (15792204200890400559784873273347828 * 10 ^ 60 + 49209840438891576374380807748446964975080615993275618388749)

def PersistentSOS.certificateInteger22 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger22 = Int.ofNat (11779912097202474607128375009990054 * 10 ^ 60 + 450044339954417775050339545752606552216165375392725755327807)

def PersistentSOS.certificateInteger23 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger23 = Int.ofNat (12684218893533233775868564552173131 * 10 ^ 60 + 726040998151113192402038793534323831312279741589752796425612)

def PersistentSOS.certificateInteger24 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger24 = Int.ofNat (17253793520661376049866846273375003 * 10 ^ 60 + 14451804070186120559106628373135945547300283816615092998117)

def PersistentSOS.certificateInteger25 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger25 = Int.ofNat (16905249444988101346622237766742157 * 10 ^ 60 + 185367663340328305178852872584090296118916851767627140187944)

def PersistentSOS.certificateInteger26 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger26 = Int.ofNat (4142470543081585942876767376671185 * 10 ^ 60 + 194893093753464006050568660955851807608253731945963854704120)

def PersistentSOS.certificateInteger27 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger27 = Int.ofNat (128588641136858771057336097353332629 * 10 ^ 60 + 301436131461483107490091560496180248170328608265283187298436)

def PersistentSOS.certificateInteger28 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger28 = Int.ofNat (26393061377717783448333722884786090 * 10 ^ 60 + 988463261954937989141919538318257786218849590731492105045764)

def PersistentSOS.certificateInteger29 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger29 = Int.ofNat (31263360909780268954313365349560274 * 10 ^ 60 + 296665351607625796092890006397890090066002989412843904075621)

def PersistentSOS.certificateInteger30 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger30 = Int.ofNat (30931076240249347885828671890208589 * 10 ^ 60 + 574792695582599007455200015059064681346832610795564246802243)

def PersistentSOS.certificateInteger31 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger31 = Int.ofNat (5073972157739184413149596740828942 * 10 ^ 60 + 651234006286558616862849738167822012163028570329054339488414)

def PersistentSOS.certificateInteger32 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger32 = Int.ofNat (14923990043650759406482862284436719 * 10 ^ 60 + 550203165788823785645852886792172817174036019576029706498041)

def PersistentSOS.certificateInteger33 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger33 = Int.ofNat (19134506688726273759548712095983681 * 10 ^ 60 + 854879703515769256985103004158086321028091996389739316536451)

def PersistentSOS.certificateInteger34 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger34 = Int.ofNat (11315923482965386846312811813813634 * 10 ^ 60 + 408242479466470936785136936862507485357766199715790927021529)

def PersistentSOS.certificateInteger35 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger35 = Int.ofNat (4621278001948057118106753335060423 * 10 ^ 60 + 723859996820863582386140841768997393051793911434946526479449)

def PersistentSOS.certificateInteger36 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger36 = Int.ofNat (9080113026914863301798591614593211 * 10 ^ 60 + 746480927443376003277828188624194982492426249324444155529453)

def PersistentSOS.certificateInteger37 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger37 = Int.ofNat (2805981671281837526522144042126582 * 10 ^ 60 + 955068126424696725656482956423549165991045578298153694589835)

def PersistentSOS.certificateInteger38 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger38 = Int.ofNat (334217908068992489284535365834609 * 10 ^ 60 + 275652687060040897586254589369150108880709596841681349812345)

def PersistentSOS.certificateInteger39 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger39 = Int.ofNat (49996453488478404321363113060955169 * 10 ^ 60 + 341971307813455858247207459637417122208819861911847040530326)

def PersistentSOS.certificateInteger40 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger40 = Int.ofNat (6443567015217770180943072693713044 * 10 ^ 60 + 140429886050022647809444932387399464788653997404713653291226)

def PersistentSOS.certificateInteger41 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger41 = Int.ofNat (13731880090346459187708551620078330 * 10 ^ 60 + 258899237238821902529706295847241955601096250563428069941431)

def PersistentSOS.certificateInteger42 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger42 = Int.ofNat (3502867794645953462999766364439439 * 10 ^ 60 + 405672870973124143829063500061988922170235225744580953131984)

def PersistentSOS.certificateInteger43 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger43 = Int.ofNat (2378597139110949964413458575094080 * 10 ^ 60 + 4228988885906453326424132670632788303433634901207729085438)

def PersistentSOS.certificateInteger44 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger44 = Int.ofNat (14472148792462571089417384810388861 * 10 ^ 60 + 652090369409440930267533615367518413731273320959228489287255)

def PersistentSOS.certificateInteger45 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger45 = Int.ofNat (5198736568503684657393277550626734 * 10 ^ 60 + 392892957367269747573090536162241754532539888345562415017865)

def PersistentSOS.certificateInteger46 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger46 = Int.ofNat (186640103281238613670211054035811 * 10 ^ 60 + 875481605838392354878513933890519648342525415042867204633618)

def PersistentSOS.certificateInteger47 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger47 = Int.ofNat (12239564687288790540511752195933079 * 10 ^ 60 + 486503149811282230740556134840383461365194682508424940286037)

def PersistentSOS.certificateInteger48 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger48 = Int.ofNat (16088855179781632465238198665720787 * 10 ^ 60 + 176492453309581443088334501108417402564184242623706003368672)

def PersistentSOS.certificateInteger49 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger49 = Int.ofNat (1405177900810053685860928362556769 * 10 ^ 60 + 45800620005621526737658481612550510353281548946065773972194)

def PersistentSOS.certificateInteger50 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger50 = Int.ofNat (42872243609405267423658111480364412 * 10 ^ 60 + 809358639999334403979655085901536012210346021024870133279436)

def PersistentSOS.certificateInteger51 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger51 = Int.ofNat (18846017286384482482443461463433920 * 10 ^ 60 + 693475148610640484023639326360971383227566280104797918507770)

def PersistentSOS.certificateInteger52 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger52 = Int.ofNat (17674353038677596474356373892466596 * 10 ^ 60 + 414018970160543067301112236062645538834517569110605178122214)

def PersistentSOS.certificateInteger53 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger53 = Int.ofNat (8430649052924752813824133552199588 * 10 ^ 60 + 536166047217541157676909212118587200223273549557758136900045)

def PersistentSOS.certificateInteger54 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger54 = Int.ofNat (3512431270780799711157226281042933 * 10 ^ 60 + 925402207029136929483914264939192248250983792358724272255097)

def PersistentSOS.certificateInteger55 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger55 = Int.ofNat (11986013204895620981624324488891819 * 10 ^ 60 + 926807645174817296989581820650715216860164437487672535972791)

def PersistentSOS.certificateInteger56 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger56 = Int.ofNat (17401186876678960909749610742127864 * 10 ^ 60 + 747467614482179565508925560511062807296672268411336364008957)

def PersistentSOS.certificateInteger57 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger57 = Int.ofNat (11745040401157971123038727719696509 * 10 ^ 60 + 276707659978603125808806198733033714272398606881643785247720)

def PersistentSOS.certificateInteger58 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger58 = Int.ofNat (2489284403263345485175593774855300 * 10 ^ 60 + 612613725147031205049900763095574621388419475396605864583637)

def PersistentSOS.certificateInteger59 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger59 = Int.ofNat (276529053428823728201828553622385 * 10 ^ 60 + 81838757984044757549393640887370875926278823550371778311145)

def PersistentSOS.certificateInteger60 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger60 = Int.ofNat (20325313151936507116352037655565210 * 10 ^ 60 + 819250831810695886120538974554444405298946998585128940309570)

def PersistentSOS.certificateInteger61 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger61 = Int.ofNat (2342856839598661794209997169483123 * 10 ^ 60 + 826107957401741534679715001847408706431401852132544619386968)

def PersistentSOS.certificateInteger62 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger62 = Int.ofNat (7606454514383429583792389199328960 * 10 ^ 60 + 873776347471858711602529277072105633127329709451855711918505)

def PersistentSOS.certificateInteger63 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger63 = Int.ofNat (9169370951330358626393034156306859 * 10 ^ 60 + 340213365926354077110543803465305012851417798285251283525284)

def PersistentSOS.certificateInteger64 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger64 = Int.ofNat (4553408286307385939919604959200993 * 10 ^ 60 + 615232406006140695514148683470317034365521593567177853518178)

def PersistentSOS.certificateInteger65 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger65 = Int.ofNat (4528284768834545796709879939021070 * 10 ^ 60 + 841035879779394332361123359067194243777024565725865985905469)

def PersistentSOS.certificateInteger66 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger66 = Int.ofNat (4446528454854447996020258994371955 * 10 ^ 60 + 282981543357431082016860976614862640502852139102494676829766)

def PersistentSOS.certificateInteger67 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger67 = Int.ofNat (3509707191876428690465206477057279 * 10 ^ 60 + 448269757950888380007164222173960659852474085213494735400043)

def PersistentSOS.certificateInteger68 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger68 = Int.ofNat (1559347879160683819048283919246998 * 10 ^ 60 + 586961821859645395822880410539444858335965491127551433734082)

def PersistentSOS.certificateInteger69 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger69 = Int.ofNat (25756291124809538680885693480323994 * 10 ^ 60 + 361619360473068567706878917644521261569055638596263853673622)

def PersistentSOS.certificateInteger70 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger70 = Int.ofNat (2311290685033130537632021548765397 * 10 ^ 60 + 48306576397413013774514475170069156017863991206400974792161)

def PersistentSOS.certificateInteger71 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger71 = Int.ofNat (8148574034121854058671205861220021 * 10 ^ 60 + 380863810642856344644476244118977625827948581702366335039145)

def PersistentSOS.certificateInteger72 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger72 = Int.ofNat (5439074913649049080826465444740667 * 10 ^ 60 + 164054365761290291428625099593134276839142132894358609965220)

def PersistentSOS.certificateInteger73 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger73 = Int.ofNat (22360334888385646278434224517283785 * 10 ^ 60 + 923045263436472608876863827266957614038775270343846401130348)

def PersistentSOS.certificateInteger74 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger74 = Int.ofNat (7038102190302287778362128825831719 * 10 ^ 60 + 884973079463994032426186343963071075426067610627195580977809)

def PersistentSOS.certificateInteger75 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger75 = Int.ofNat (8543237462198106246089808297638342 * 10 ^ 60 + 309368276202777761009268578706663781387888946114200529573161)

def PersistentSOS.certificateInteger76 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger76 = Int.ofNat (784090705102246972926132438957031 * 10 ^ 60 + 717529607755824533315541910851490356949040208696905014328713)

def PersistentSOS.certificateInteger77 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger77 = Int.ofNat (6496095148746106252364565622317287 * 10 ^ 60 + 961329055410338065797142077383626581482992808853472260313315)

def PersistentSOS.certificateInteger78 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger78 = Int.ofNat (2042294376253905582479842559091346 * 10 ^ 60 + 127504295171644381505531904207034915504598868366510003491840)

def PersistentSOS.certificateInteger79 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger79 = Int.ofNat (555078857178626586543396876118905 * 10 ^ 60 + 826830087871128040283710848858016715154023381729171647239381)

def PersistentSOS.certificateInteger80 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger80 = Int.ofNat (1495047086755459961517470037542240 * 10 ^ 60 + 73575338461511221404205504084606070559329220726861091507360)

def PersistentSOS.certificateInteger81 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger81 = Int.ofNat (2045557990607204768243658976253782 * 10 ^ 60 + 895165063319059196808016215049742107231165373290710236871173)

def PersistentSOS.certificateInteger82 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger82 = Int.ofNat (276875609099720401317598495454175 * 10 ^ 60 + 62699389653819284922853724428246898820141702211939135435410)

def PersistentSOS.certificateInteger83 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger83 = Int.ofNat (915872201156981995639407422918014 * 10 ^ 60 + 223552525684729685656191752896202732801624973981020227181186)

def PersistentSOS.certificateInteger84 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger84 = Int.ofNat (20089335056365715692195595553350091 * 10 ^ 60 + 860530851616027652066619467156863439831265135767433627841788)

def PersistentSOS.certificateInteger85 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger85 = Int.ofNat (4985243499421685171919750482695491 * 10 ^ 60 + 675536833000397366482592025568739510690600929195061954829876)

def PersistentSOS.certificateInteger86 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger86 = Int.ofNat (10602381928485534353060984874291087 * 10 ^ 60 + 630157505497983914058141665210942813309280554483771854417002)

def PersistentSOS.certificateInteger87 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger87 = Int.ofNat (4231099609236402588730488742223890 * 10 ^ 60 + 724188309609348045066018152263921595863622376246189167885966)

def PersistentSOS.certificateInteger88 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger88 = Int.ofNat (9537712040817558997512570688484930 * 10 ^ 60 + 507089841130126757597055496822990154016875635370450361795751)

def PersistentSOS.certificateInteger89 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger89 = Int.ofNat (1674339649595103570773019291486236 * 10 ^ 60 + 851676270021738996612813324419722805462258654044711435628611)

def PersistentSOS.certificateInteger90 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger90 = Int.ofNat (13914545263894584530289227405533071 * 10 ^ 60 + 622722051369617727804986656022766922308418968876908661048252)

def PersistentSOS.certificateInteger91 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger91 = Int.ofNat (6698485123535062305188559050588588 * 10 ^ 60 + 733433015398088100644249145601702988622402467032322061484069)

def PersistentSOS.certificateInteger92 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger92 = Int.ofNat (1461613343752947897528635939753166 * 10 ^ 60 + 423814145442567217942238042952318405103262448965390822399445)

def PersistentSOS.certificateInteger93 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger93 = Int.ofNat (1510673425344664665208548606069363 * 10 ^ 60 + 555358699414145170267475627302507603097259152124650772852801)

def PersistentSOS.certificateInteger94 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger94 = Int.ofNat (790755951519150596712704392698716 * 10 ^ 60 + 243714666077947953860645676166768605303325609733256260232520)

def PersistentSOS.certificateInteger95 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger95 = Int.ofNat (49456923810312278856868438505046679 * 10 ^ 60 + 261318893237088147674453645941926741936651957004114223877834)

def PersistentSOS.certificateInteger96 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger96 = Int.ofNat (5186075732462513678556784009016675 * 10 ^ 60 + 997958901439367770905803452087858130317564344107005066093534)

def PersistentSOS.certificateInteger97 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger97 = Int.ofNat (7451526972952763143766732438816727 * 10 ^ 60 + 286274189888238528960524603047420398208438445231948763467829)

def PersistentSOS.certificateInteger98 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger98 = Int.ofNat (766955968074581024251218678959975 * 10 ^ 60 + 605677791164662478426674211555562147151827673442772157909104)

def PersistentSOS.certificateInteger99 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger99 = Int.ofNat (17742547222578322189231444011093840 * 10 ^ 60 + 673207889673925840759749049012618093116075199884243156926721)

def PersistentSOS.certificateInteger100 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger100 = Int.ofNat (3184409357839926498848025134570929 * 10 ^ 60 + 705716720849729529299560199777433853661244008061894709713689)

def PersistentSOS.certificateInteger101 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger101 = Int.ofNat (1744200229876833388163951675229390 * 10 ^ 60 + 607529675470522768883532099895768468392412543482515131907151)

def PersistentSOS.certificateInteger102 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger102 = Int.ofNat (18401002761339050191686303434484578 * 10 ^ 60 + 894552703477537493916400946694519448735802803003735546171381)

def PersistentSOS.certificateInteger103 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger103 = Int.ofNat (1281492204966407226442998876730433 * 10 ^ 60 + 37163120005363907830622139863604542935080574148611707153700)

def PersistentSOS.certificateInteger104 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger104 = Int.ofNat (9988286211928826034590750789048685 * 10 ^ 60 + 767075837863828503454668765156055468622220764271628981474240)

def PersistentSOS.certificateInteger105 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger105 = Int.ofNat (25607959669304851316835131443676007144328 * 10 ^ 60 + 567389713490387291703358135791188393689548995967413900204764)

def PersistentSOS.certificateInteger106 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger106 = Int.ofNat (1317968014386389709361921629728096381125 * 10 ^ 60 + 578193823929956548651012624077258304112399693396440172833402)

def PersistentSOS.certificateInteger107 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger107 = Int.ofNat (9906233454581196458236735776716851133584 * 10 ^ 60 + 787721621117849148422453036583481559167950858238322762793536)

def PersistentSOS.certificateInteger108 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger108 = Int.ofNat (2345068320728427353491828863089484553522 * 10 ^ 60 + 735300528830603657387458638647172018803855474876106130650540)

def PersistentSOS.certificateInteger109 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger109 = Int.ofNat (2334431859351207567596277017837018415198 * 10 ^ 60 + 637746539433066238202766068880718983921341988921389053309680)

def PersistentSOS.certificateInteger110 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger110 = Int.ofNat (7507395965681965697864450391397842403713 * 10 ^ 60 + 239505594738728660984503340390927652478819140360849995920874)

def PersistentSOS.certificateInteger111 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger111 = Int.ofNat (1542951480782576556032891832817991516947 * 10 ^ 60 + 837280038316150571648865500911959716653832631123039110650842)

def PersistentSOS.certificateInteger112 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger112 = Int.ofNat (2632597647516116959502574187272783871060 * 10 ^ 60 + 546995404608858332981892596571969996715763368066181945827558)

def PersistentSOS.certificateInteger113 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger113 = Int.ofNat (710256076882571546486915832598433139340 * 10 ^ 60 + 296074776688528825922371601220614972638867922074937851971620)

def PersistentSOS.certificateInteger114 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger114 = Int.ofNat (3356809376795372118190289974656739422440 * 10 ^ 60 + 521689020117666166610736505587691020939785557135828783320964)

def PersistentSOS.certificateInteger115 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger115 = Int.ofNat (8723741755817863884688990842341111413121 * 10 ^ 60 + 607276741513806895944027653815139675009625811253059726055100)

def PersistentSOS.certificateInteger116 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger116 = Int.ofNat (6785618443689050260860155040779439319819 * 10 ^ 60 + 247157492966353990574425329259429755351704660802236104241790)

def PersistentSOS.certificateInteger117 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger117 = Int.ofNat (1797978216130586353378088052103977853309 * 10 ^ 60 + 96296792624134230685916342565656065241295747740947903504602)

def PersistentSOS.certificateInteger118 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger118 = Int.ofNat (67670860338236638640122910071470703151701 * 10 ^ 60 + 388653077382473127422304412456115356370700353621319088868667)

def PersistentSOS.certificateInteger119 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger119 = Int.ofNat (1321080863639390077422868239097311230224 * 10 ^ 60 + 633168823527457633220882155815745437793021392749221872960240)

def PersistentSOS.certificateInteger120 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger120 = Int.ofNat (4236791198600282001591670726044168082554 * 10 ^ 60 + 528253556044380740406412004076501203427521659935903192260086)

def PersistentSOS.certificateInteger121 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger121 = Int.ofNat (4783948819979291505429092729039949491215 * 10 ^ 60 + 851615279937688275940690001601215191876645618489630148348956)

def PersistentSOS.certificateInteger122 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger122 = Int.ofNat (4243588465480053827707678424313186046695 * 10 ^ 60 + 524021833715290524019771793101904472403937002798985588511021)

def PersistentSOS.certificateInteger123 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger123 = Int.ofNat (4788482778284391169819060646462532347997 * 10 ^ 60 + 378446571637337390556955023782060504212238920557661864480921)

def PersistentSOS.certificateInteger124 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger124 = Int.ofNat (1559415514359543679632940797428287628293 * 10 ^ 60 + 549726474334490387678124929942039868832450495787510272384673)

def PersistentSOS.certificateInteger125 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger125 = Int.ofNat (15655867620539009609380201357532320497578 * 10 ^ 60 + 919482847822783408550886939098929524144572448573861754977442)

def PersistentSOS.certificateInteger126 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger126 = Int.ofNat (1970170817733039850497939071728644481405 * 10 ^ 60 + 447275895336274462547145207189502256317075345459662659582598)

def PersistentSOS.certificateInteger127 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger127 = Int.ofNat (3087443844274565270243593911730224295358 * 10 ^ 60 + 527746015745205497903118010961246030273540905531918577251810)

def PersistentSOS.certificateInteger128 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger128 = Int.ofNat (3097030100226785890817408472215965054402 * 10 ^ 60 + 580135971080961817130906316272896808299827521378267606223401)

def PersistentSOS.certificateInteger129 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger129 = Int.ofNat (1405368265512180924892256766079640281140 * 10 ^ 60 + 158753680720153281038784112705724454013985480723191711122267)

def PersistentSOS.certificateInteger130 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger130 = Int.ofNat (25607414212826262886108526057096931856026 * 10 ^ 60 + 520304131791296207331692071444082162967261942142074170547952)

def PersistentSOS.certificateInteger131 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger131 = Int.ofNat (7512246597753272435450490203529833977953 * 10 ^ 60 + 767654181503049321397540617542242797414407912276480547138384)

def PersistentSOS.certificateInteger132 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger132 = Int.ofNat (1537056077657685617090029383573656488162 * 10 ^ 60 + 560755138579649042709532914804232387481397311479078454426216)

def PersistentSOS.certificateInteger133 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger133 = Int.ofNat (2342765894874672618826718197257857793698 * 10 ^ 60 + 359153950129722256041547537842163985961492640757426427155792)

def PersistentSOS.certificateInteger134 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger134 = Int.ofNat (2330551807359891709576914398202845451687 * 10 ^ 60 + 565890037172033744083195742568007521427769626265905798439392)

def PersistentSOS.certificateInteger135 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger135 = Int.ofNat (2629703444375969690673011019547158487304 * 10 ^ 60 + 286632321119222251322912910824492598420214933350620032257352)

def PersistentSOS.certificateInteger136 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger136 = Int.ofNat (714823451825405730590603115591534698147 * 10 ^ 60 + 229766079566398945191083590873069166181421041831613584929848)

def PersistentSOS.certificateInteger137 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger137 = Int.ofNat (3353742335232401977390406837858177136533 * 10 ^ 60 + 344780882515283497218934923891246377396016818331784242203344)

def PersistentSOS.certificateInteger138 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger138 = Int.ofNat (6783835129688279093644204992396718239876 * 10 ^ 60 + 309683799127433173120406767638910846684119079071243475203944)

def PersistentSOS.certificateInteger139 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger139 = Int.ofNat (8716866827025602887902995969273466786468 * 10 ^ 60 + 376677891076007728559286099437436763756583615631972042969616)

def PersistentSOS.certificateInteger140 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger140 = Int.ofNat (1795754183346073499789954999063801873544 * 10 ^ 60 + 41355267354744288367182376558980761679643315748168726765216)

def PersistentSOS.certificateInteger141 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger141 = Int.ofNat (19303199743892698968084813203141360674303 * 10 ^ 60 + 451366055283981877822818804553185750909469098642804432184556)

def PersistentSOS.certificateInteger142 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger142 = Int.ofNat (1825492474196281947146685300993053996398 * 10 ^ 60 + 143865195965673638378110251603725316216868464695444126457080)

def PersistentSOS.certificateInteger143 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger143 = Int.ofNat (13542875923071948897171915904497092928947 * 10 ^ 60 + 844231714609815755181277826475257985580248088357078170824434)

def PersistentSOS.certificateInteger144 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger144 = Int.ofNat (2042278745366097241817205557404964170501 * 10 ^ 60 + 508463015772514366691083795352902961984751152180882735794770)

def PersistentSOS.certificateInteger145 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger145 = Int.ofNat (5912862481546519447981943307848767642805 * 10 ^ 60 + 591301752923845375931863735750147763450735389409475895642398)

def PersistentSOS.certificateInteger146 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger146 = Int.ofNat (4189293317709281151733896164411483104807 * 10 ^ 60 + 84980665256475172669996009779857072050481166006954849867476)

def PersistentSOS.certificateInteger147 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger147 = Int.ofNat (16676609280983535155736931709856174592369 * 10 ^ 60 + 126047887097226994546444990073308462802993788506462445811412)

def PersistentSOS.certificateInteger148 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger148 = Int.ofNat (6317954883971270117023379165424007896058 * 10 ^ 60 + 527366621313125270880013941438091163458022214556840017827460)

def PersistentSOS.certificateInteger149 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger149 = Int.ofNat (5342349107495013996661486916582175572070 * 10 ^ 60 + 412586177926743091712823408143744560458278189220009491415922)

def PersistentSOS.certificateInteger150 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger150 = Int.ofNat (564709957579648254874555557005544654082 * 10 ^ 60 + 317944126146894673011678770934032497002894996973459865807670)

def PersistentSOS.certificateInteger151 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger151 = Int.ofNat (3444566088900140226526394155580160283049 * 10 ^ 60 + 250308937484951317303025452997461043770889299985469251915264)

def PersistentSOS.certificateInteger152 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger152 = Int.ofNat (2038232583574299659342730865955503829507 * 10 ^ 60 + 858329854322099895484385328657688056232721594269258010508924)

def PersistentSOS.certificateInteger153 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger153 = Int.ofNat (1601865441193750580300877383346213321820 * 10 ^ 60 + 964523800389663058333063048916332572498365160180665622811860)

def PersistentSOS.certificateInteger154 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger154 = Int.ofNat (1318005258582600507338333512999272511600 * 10 ^ 60 + 565706004948492196239236123053670172523502595296504091249940)

def PersistentSOS.certificateInteger155 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger155 = Int.ofNat (1183275981291866599766233170550851005051 * 10 ^ 60 + 978253504191969580162889288274723297315149985743736364669096)

def PersistentSOS.certificateInteger156 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger156 = Int.ofNat (87681593024872011826564664021251158978 * 10 ^ 60 + 639751513230810087665659995697631201803232276142700059005472)

def PersistentSOS.certificateInteger157 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger157 = Int.ofNat (950123876997745217358856034531727501505 * 10 ^ 60 + 335066516432404762205420707284184004477925055186691163109992)

def PersistentSOS.certificateInteger158 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger158 = Int.ofNat (701342089272607445858575863532299017121 * 10 ^ 60 + 770035245154796621947268301285575723024864005088409676602100)

def PersistentSOS.certificateInteger159 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger159 = Int.ofNat (428905179950935745902553283548122243460 * 10 ^ 60 + 375453897594461022628916284637258755735667982557062178237516)

def PersistentSOS.certificateInteger160 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger160 = Int.ofNat (19300086400556571350043651619737117423939 * 10 ^ 60 + 65052940707103239035430146844384596012166842035192747373851)

def PersistentSOS.certificateInteger161 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger161 = Int.ofNat (1830601864161924493677880509623467680813 * 10 ^ 60 + 451084491388990424662217132962303365608595355027617740559551)

def PersistentSOS.certificateInteger162 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger162 = Int.ofNat (5912215838455859559587340281704869239138 * 10 ^ 60 + 479363891678799163200110149016766923600066010157291852927881)

def PersistentSOS.certificateInteger163 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger163 = Int.ofNat (4187056693528880416364613537601643809857 * 10 ^ 60 + 869271812681738870028006947227713784767289719717618602403914)

def PersistentSOS.certificateInteger164 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger164 = Int.ofNat (16677946864620783287053574789396574642976 * 10 ^ 60 + 455380791797455996218598945590239382491232849408469848393122)

def PersistentSOS.certificateInteger165 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger165 = Int.ofNat (5332737176074540018773202885287227193915 * 10 ^ 60 + 198024895939861046981618034329278348974921285004300088764318)

def PersistentSOS.certificateInteger166 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger166 = Int.ofNat (6324279943293263334148519623292565689651 * 10 ^ 60 + 435189031315167901051399389784252863626657746948290291823183)

def PersistentSOS.certificateInteger167 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger167 = Int.ofNat (570052317539154850136441919307011868070 * 10 ^ 60 + 701394283074782296139150874399547271659357278070226119068877)

def PersistentSOS.certificateInteger168 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger168 = Int.ofNat (3443879003020471426866110060389433906884 * 10 ^ 60 + 930113031842304198527421869002550504482434984737774238164715)

def PersistentSOS.certificateInteger169 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger169 = Int.ofNat (1317299792014964163698011122079630276410 * 10 ^ 60 + 211556689419035877900188199168193510813683910333971289230565)

def PersistentSOS.certificateInteger170 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger170 = Int.ofNat (1182155377593791811329769591368353084590 * 10 ^ 60 + 361422845785640328997640040322189018804927429560891939238054)

def PersistentSOS.certificateInteger171 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger171 = Int.ofNat (90062549552258785703168412219882608003 * 10 ^ 60 + 901424370294041855745923488696792599940520007233748934897610)

def PersistentSOS.certificateInteger172 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger172 = Int.ofNat (704761468862920866999293927332916156818 * 10 ^ 60 + 309808214544449784985613919168735865011389209072562390569878)

def PersistentSOS.certificateInteger173 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger173 = Int.ofNat (951091669587473164188114303674113458375 * 10 ^ 60 + 829411536579067058801938913280858715473809335911222346153075)

def PersistentSOS.certificateInteger174 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger174 = Int.ofNat (429238574602135183307285685139687064108 * 10 ^ 60 + 272710000325202346012048437142954580100290392064006815125911)

def PersistentSOS.certificateInteger175 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger175 = Int.ofNat (9368397736242216276866058997736728838884 * 10 ^ 60 + 153160321777203660497777443342074542989038601062878093975587)

def PersistentSOS.certificateInteger176 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger176 = Int.ofNat (543746866819163488993304071882798092949 * 10 ^ 60 + 555294713015707492818946235872888208723248865973187768030690)

def PersistentSOS.certificateInteger177 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger177 = Int.ofNat (5528525501463785738073111637002904634936 * 10 ^ 60 + 149147296869565699124480267266414815453534614063898659427478)

def PersistentSOS.certificateInteger178 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger178 = Int.ofNat (4827069037006282726168451450970341873903 * 10 ^ 60 + 768384619583226748429512834100524170955949982994339574648082)

def PersistentSOS.certificateInteger179 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger179 = Int.ofNat (4834561166843832863851743437112684231658 * 10 ^ 60 + 6157140485484988952981137642218929023708244657838267399469)

def PersistentSOS.certificateInteger180 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger180 = Int.ofNat (741019259038607306166450855384492621965 * 10 ^ 60 + 466509183713490178817971581703368719470668857496767362985927)

def PersistentSOS.certificateInteger181 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger181 = Int.ofNat (8638475735887402114780855153582562403550 * 10 ^ 60 + 654048859350611182496098969332811501342091991466246834370316)

def PersistentSOS.certificateInteger182 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger182 = Int.ofNat (6378555248818608454621174247280579138334 * 10 ^ 60 + 773620694997903065973066619028488389788391894876740255755268)

def PersistentSOS.certificateInteger183 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger183 = Int.ofNat (166679170381959693097917326071723255003 * 10 ^ 60 + 992087897162449282411908975155573289548759057761682511144604)

def PersistentSOS.certificateInteger184 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger184 = Int.ofNat (166576874822558770761705088901387347478 * 10 ^ 60 + 113993671706452574134369088108852843351687113214628980319946)

def PersistentSOS.certificateInteger185 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger185 = Int.ofNat (304287678312106116453109980313328756589 * 10 ^ 60 + 6585355199226143753743153251916013414605010008217499880586)

def PersistentSOS.certificateInteger186 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger186 = Int.ofNat (36044459098644809530276596877344356994830 * 10 ^ 60 + 967320080431067476971502085906355788087192545942318487795228)

def PersistentSOS.certificateInteger187 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger187 = Int.ofNat (4591183874306840168172000278176850258242 * 10 ^ 60 + 587280791503922207583167155727209436511489958963164479790068)

def PersistentSOS.certificateInteger188 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger188 = Int.ofNat (4601605466216281160475659542640567846069 * 10 ^ 60 + 967771805001742827807031959448505994328912181660001282628786)

def PersistentSOS.certificateInteger189 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger189 = Int.ofNat (356384919927947417520058250608795330112 * 10 ^ 60 + 74673201460465841357494431326828840155968940880959728942238)

def PersistentSOS.certificateInteger190 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger190 = Int.ofNat (12818161172420606123259033097273724880198 * 10 ^ 60 + 45500974424077468677965960593268564270758367175193901264660)

def PersistentSOS.certificateInteger191 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger191 = Int.ofNat (1713591398271466326951307093778323038098 * 10 ^ 60 + 596969913937867867532413825226539782719026054922203579267322)

def PersistentSOS.certificateInteger192 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger192 = Int.ofNat (1157899177533471893559478629935068309709 * 10 ^ 60 + 839628657540292465261195367402273362999835520842491371398702)

def PersistentSOS.certificateInteger193 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger193 = Int.ofNat (12851648136301329184544240702129477529702 * 10 ^ 60 + 146489831737102005298112516375807195638508260050586450800987)

def PersistentSOS.certificateInteger194 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger194 = Int.ofNat (1169720369950586450449684102498324310942 * 10 ^ 60 + 792879771183234721840387485205564062544629160791982042251703)

def PersistentSOS.certificateInteger195 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger195 = Int.ofNat (7440748561190181190834595864689426161512 * 10 ^ 60 + 181334880177107012765988367442593900442355936783083662840459)

def PersistentSOS.certificateInteger196 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger196 = Int.ofNat (9545747574198440209340581944733611071645914277 * 10 ^ 60 + 824991268529697780085688875695314665617564289649094807997874)

def PersistentSOS.certificateInteger197 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger197 = Int.ofNat (258532195626058046724603054195923720588353903 * 10 ^ 60 + 193520920220610163548649133474741732819872766159522653894552)

def PersistentSOS.certificateInteger198 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger198 = Int.ofNat (615289788601600451010707885290723875828886207 * 10 ^ 60 + 73098773126926998838314613276876601800892243392810972122924)

def PersistentSOS.certificateInteger199 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger199 = Int.ofNat (692472764820279048409149978482806047075479792 * 10 ^ 60 + 521173228130485854429213470116950978526022980442739362586734)

def PersistentSOS.certificateInteger200 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger200 = Int.ofNat (653765818294350815118469868181238345506365656 * 10 ^ 60 + 178953849684821008023449198723382787962839987245955395695462)

def PersistentSOS.certificateInteger201 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger201 = Int.ofNat (687361039846493719912511483543369404258328377 * 10 ^ 60 + 44877428959732768734579663439929240139012988379431534174508)

def PersistentSOS.certificateInteger202 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger202 = Int.ofNat (201062180217735290284457697163761203371000463 * 10 ^ 60 + 899622603412606571492792467559728512662483572144477509350616)

def PersistentSOS.certificateInteger203 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger203 = Int.ofNat (2205493168398252096819332693845382333784344364 * 10 ^ 60 + 600180359708249476977578640209058319833255560809713418655778)

def PersistentSOS.certificateInteger204 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger204 = Int.ofNat (253798972937715693805984777736118774264533336 * 10 ^ 60 + 247476908561490388740712558592214501487641344460060005008584)

def PersistentSOS.certificateInteger205 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger205 = Int.ofNat (499354339765896652884963198875541824803947072 * 10 ^ 60 + 933884601879123791563094258448563335341695476526806157257690)

def PersistentSOS.certificateInteger206 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger206 = Int.ofNat (387996618436275573982064041712770997290215159 * 10 ^ 60 + 124003303762374169874698879836515007871053138022339777615174)

def PersistentSOS.certificateInteger207 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger207 = Int.ofNat (185375691164386101896311092179693142193909734 * 10 ^ 60 + 240586125416763248739114781037979765220731465644605572480874)

def PersistentSOS.certificateInteger208 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger208 = Int.ofNat (3074732168868577314821281387372159963414208336 * 10 ^ 60 + 872243574254746990976354486455034168484094548101332609543752)

def PersistentSOS.certificateInteger209 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger209 = Int.ofNat (1188846647445065124299581484219406050085387325 * 10 ^ 60 + 68532893323989061515782291087252125540113375423921441693176)

def PersistentSOS.certificateInteger210 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger210 = Int.ofNat (344551072970733861851265828969771312307343360 * 10 ^ 60 + 945736141919872472055828403790962634158090883484941053668844)

def PersistentSOS.certificateInteger211 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger211 = Int.ofNat (740883689977718463039164617287453059957116937 * 10 ^ 60 + 706877032871790038126864841508623823772728030450704065306472)

def PersistentSOS.certificateInteger212 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger212 = Int.ofNat (413361802587415012546544763917646062711174888 * 10 ^ 60 + 263860195323955031124290884409527087740310483787366476888800)

def PersistentSOS.certificateInteger213 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger213 = Int.ofNat (515122891686742241328685025010311930083160589 * 10 ^ 60 + 138929999896568168587575734255681747593260417336598931256876)

def PersistentSOS.certificateInteger214 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger214 = Int.ofNat (139731666860178414823329904371982320888076819 * 10 ^ 60 + 507932192294976311150874765132200761936704768003255463799012)

def PersistentSOS.certificateInteger215 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger215 = Int.ofNat (656918108606966246930401615201027718328543834 * 10 ^ 60 + 496195723630605553111039068433657402242147513204437668713720)

def PersistentSOS.certificateInteger216 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger216 = Int.ofNat (481378636326956682376638311537335373582339009 * 10 ^ 60 + 216020312142111025388099907770052498810168505481661327198476)

def PersistentSOS.certificateInteger217 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger217 = Int.ofNat (860194985257152138510823296920698867641597106 * 10 ^ 60 + 26327521959693667067939058955026731369050456691919327578824)

def PersistentSOS.certificateInteger218 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger218 = Int.ofNat (351777180082280695357633631037324699019257747 * 10 ^ 60 + 272015134349376811314931702354793301894727162895928502953856)

def PersistentSOS.certificateInteger219 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger219 = Int.ofNat (2695345370223714551225912611420475176119928172 * 10 ^ 60 + 319060870286338319685831372923687270013062463871845598750824)

def PersistentSOS.certificateInteger220 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger220 = Int.ofNat (227578940693705219767746401177058107915614925 * 10 ^ 60 + 84495007591417967379878696348585786951615218782940823762620)

def PersistentSOS.certificateInteger221 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger221 = Int.ofNat (1815217746367429619820263728783219801958167673 * 10 ^ 60 + 61222348215578628541044798218659018795840343881174943821976)

def PersistentSOS.certificateInteger222 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger222 = Int.ofNat (268424252558237908274365466788358830011470956 * 10 ^ 60 + 144444614892359625381094142671302041218393609267944093345600)

def PersistentSOS.certificateInteger223 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger223 = Int.ofNat (800872163933872306103364969062459639477884048 * 10 ^ 60 + 550519298372184348231742528417694694955300000616466057877672)

def PersistentSOS.certificateInteger224 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger224 = Int.ofNat (582356452269028115035783593694986023552776025 * 10 ^ 60 + 880486834149903493542676064478897991659491285390307282666304)

def PersistentSOS.certificateInteger225 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger225 = Int.ofNat (2398192684474919707530897045157416794271420909 * 10 ^ 60 + 872068447893160986967536562495928251322552587305558931271708)

def PersistentSOS.certificateInteger226 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger226 = Int.ofNat (779309238523772212368096246864811980876918353 * 10 ^ 60 + 783148696788166184318271131416265712984772104783393799410340)

def PersistentSOS.certificateInteger227 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger227 = Int.ofNat (842098754539225023554142629390766559554910597 * 10 ^ 60 + 286603320114034591189186153292005118506520291079879799311188)

def PersistentSOS.certificateInteger228 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger228 = Int.ofNat (102987955542034409396823903633753232767342707 * 10 ^ 60 + 920449158754750472467842561268589775410244449776732628764060)

def PersistentSOS.certificateInteger229 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger229 = Int.ofNat (456333838246471845308834545861123043149633676 * 10 ^ 60 + 320778857240974672458524820481533615115071571599327124383456)

def PersistentSOS.certificateInteger230 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger230 = Int.ofNat (191168381753237342478990684509600159744219048 * 10 ^ 60 + 887825314110533193305682977281061160600374962229888439182726)

def PersistentSOS.certificateInteger231 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger231 = Int.ofNat (206327084907218843708200429247250519675166506 * 10 ^ 60 + 646163137128530278618451045447955260600646650745521775237530)

def PersistentSOS.certificateInteger232 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger232 = Int.ofNat (152219133171759137409830594355254626709435647 * 10 ^ 60 + 275864446225555401582900954304983408037463610246150829825170)

def PersistentSOS.certificateInteger233 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger233 = Int.ofNat (176224568979059728059655554827640866476479693 * 10 ^ 60 + 301735423155702878399425598548398184057235781275785908039684)

def PersistentSOS.certificateInteger234 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger234 = Int.ofNat (55590147414997365409636192105952900693257347 * 10 ^ 60 + 946074748257273010025090975781658585961372392162487905660008)

def PersistentSOS.certificateInteger235 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger235 = Int.ofNat (21867266863180116983793235424412176761188879 * 10 ^ 60 + 967522160455966175936761045460500976104039409028032710480868)

def PersistentSOS.certificateInteger236 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger236 = Int.ofNat (186376860381041312112647321399381154575856944 * 10 ^ 60 + 209617680323442248882682233082469015061949163220987819573850)

def PersistentSOS.certificateInteger237 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger237 = Int.ofNat (37418892011250956700774897857604649968376911 * 10 ^ 60 + 820765963029047344631900030180960855695998056637469396613054)

def PersistentSOS.certificateInteger238 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger238 = Int.ofNat (2414453297988346098287589786278912335413211214 * 10 ^ 60 + 925952687099452448894547997432822533035011889356166847107018)

def PersistentSOS.certificateInteger239 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger239 = Int.ofNat (194614413789311866686281507217906925290502133 * 10 ^ 60 + 513564096360819965517998947996263283477934183467147191740316)

def PersistentSOS.certificateInteger240 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger240 = Int.ofNat (725843412733370775580814556110517321223608622 * 10 ^ 60 + 176249511084080182572741400566295417532190136609000022713712)

def PersistentSOS.certificateInteger241 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger241 = Int.ofNat (561823046367717188023673265631799396867488162 * 10 ^ 60 + 901022962028869899970698441448174677861463550369461951457526)

def PersistentSOS.certificateInteger242 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger242 = Int.ofNat (2493933837043047062099813465227146383906799214 * 10 ^ 60 + 606470290543288497317205843524581468742195077600226255263484)

def PersistentSOS.certificateInteger243 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger243 = Int.ofNat (391870448037148567253367927715849156572310362 * 10 ^ 60 + 154420302698783863458304066402059283774127981231488406440222)

def PersistentSOS.certificateInteger244 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger244 = Int.ofNat (1173904343054057491055202970594020232995674029 * 10 ^ 60 + 218077544761671578791946761082394486680855203349362908728642)

def PersistentSOS.certificateInteger245 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger245 = Int.ofNat (154922138977174910241119090348180625163086966 * 10 ^ 60 + 477579375523577282314012683700117906393136077214560177903886)

def PersistentSOS.certificateInteger246 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger246 = Int.ofNat (473158664604415393046889246367618510452079450 * 10 ^ 60 + 336276875454295560737226021609567949027735241996004806897706)

def PersistentSOS.certificateInteger247 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger247 = Int.ofNat (163608816293640233837710293357205458197193197 * 10 ^ 60 + 50013095980719835299002231085103948916340850986275476583614)

def PersistentSOS.certificateInteger248 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger248 = Int.ofNat (172966605977625200520687059800066795593056240 * 10 ^ 60 + 437334818451230144456139051593015340368058534165686689997706)

def PersistentSOS.certificateInteger249 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger249 = Int.ofNat (41276412122449070281262870820584228135501862 * 10 ^ 60 + 874701252086005297928194145200416656245097029918405251876608)

def PersistentSOS.certificateInteger250 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger250 = Int.ofNat (25293902007747705964755748797511767878994009 * 10 ^ 60 + 537296808931624568383960589230132028576762007063931940487162)

def PersistentSOS.certificateInteger251 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger251 = Int.ofNat (192028148931842608800438024850719959924314835 * 10 ^ 60 + 45131408409649542514582875044041264680215258372950219339780)

def PersistentSOS.certificateInteger252 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger252 = Int.ofNat (45312783008264388794644141022990805150819309 * 10 ^ 60 + 12967857517335013752933172131447763629716135421287126922820)

def PersistentSOS.certificateInteger253 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger253 = Int.ofNat (1284630126980346795315061400346714987024613060 * 10 ^ 60 + 506074902317388631141850012028134436637673710259907636367694)

def PersistentSOS.certificateInteger254 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger254 = Int.ofNat (87088893941050650074080824344215145174523539 * 10 ^ 60 + 997777207767928303538981856283280158904443813594387567547570)

def PersistentSOS.certificateInteger255 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger255 = Int.ofNat (829372311754181668130641719240868460552495281 * 10 ^ 60 + 219452703250608128950571026470868314135423121627944413856944)

def PersistentSOS.certificateInteger256 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger256 = Int.ofNat (554960740867150047481407002132071373852007379 * 10 ^ 60 + 799243959413203947389467608538219870028924653743932080064178)

def PersistentSOS.certificateInteger257 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger257 = Int.ofNat (781155814733380245824287695283046357053915864 * 10 ^ 60 + 188068122362135516211484961931502968178771368684183729571196)

def PersistentSOS.certificateInteger258 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger258 = Int.ofNat (130733944606135674234219483853393826184526616 * 10 ^ 60 + 887148926851137400807234609815851649188784286092714562209884)

def PersistentSOS.certificateInteger259 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger259 = Int.ofNat (1216996701330102330118252656026109074095342132 * 10 ^ 60 + 202356097770770666773151805844937225666833262768939935665064)

def PersistentSOS.certificateInteger260 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger260 = Int.ofNat (913817378865716570284603389393060643220341399 * 10 ^ 60 + 585823619020528960711197371637030161742973859802378765561152)

def PersistentSOS.certificateInteger261 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger261 = Int.ofNat (10629813375821379710441640687493309473246336 * 10 ^ 60 + 853713354360277333778974638722774023205972223161587357134284)

def PersistentSOS.certificateInteger262 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger262 = Int.ofNat (50096143701506523101612418242197412487740784 * 10 ^ 60 + 519490198811216831946929947791740910877170464549428892297034)

def PersistentSOS.certificateInteger263 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger263 = Int.ofNat (35924771355885475513728036337176791877172017 * 10 ^ 60 + 975800067355599680055634796194405300734365847028094097946654)

def PersistentSOS.certificateInteger264 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger264 = Int.ofNat (5027451268475663025126246307491423890862183942 * 10 ^ 60 + 996909572608304515344700022126351934546141029070651929181056)

def PersistentSOS.certificateInteger265 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger265 = Int.ofNat (809761143459699760244686567050063219681683102 * 10 ^ 60 + 334815903787721696564112657442315792654813471146524034858772)

def PersistentSOS.certificateInteger266 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger266 = Int.ofNat (524161664907112179736944796244165205953801833 * 10 ^ 60 + 985146454109840566631458826469189896141820522868446916933184)

def PersistentSOS.certificateInteger267 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger267 = Int.ofNat (17042865036639719583876174040807040561590360 * 10 ^ 60 + 877315234811796387806080994887177813099543276652544388132844)

def PersistentSOS.certificateInteger268 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger268 = Int.ofNat (1390324650612777114215134569436861135686056863 * 10 ^ 60 + 62585546029583626785177590434753285947235863334371394383140)

def PersistentSOS.certificateInteger269 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger269 = Int.ofNat (84444020887881512319192774013534580531249832 * 10 ^ 60 + 451400819825279920761930336295407652374146455823810948431062)

def PersistentSOS.certificateInteger270 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger270 = Int.ofNat (77010751205330877299504422250391051015414692 * 10 ^ 60 + 895968998600320223557077870045879365378202545064230764559758)

def PersistentSOS.certificateInteger271 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger271 = Int.ofNat (1560799509447309337059170563132943002830027339 * 10 ^ 60 + 46638447601224050623760167445369131609959721517277893712998)

def PersistentSOS.certificateInteger272 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger272 = Int.ofNat (232441268172792407192498135043508507352175620 * 10 ^ 60 + 816764256258196518892470512859090838128830293788028649045042)

def PersistentSOS.certificateInteger273 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger273 = Int.ofNat (1032830373549109254137922492125744900940213991 * 10 ^ 60 + 392610615525562321547488945157145023294381538179650897303642)

def PersistentSOS.certificateInteger274 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger274 = Int.ofNat (1143542032410067135723137509916790422516761985117949 * 10 ^ 60 + 984583302732254426996802987019707457269628174726091525044396)

def PersistentSOS.certificateInteger275 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger275 = Int.ofNat (449372084677628046553253232165819568880607390197616 * 10 ^ 60 + 737871798037601623403032747781805538303121083114159847140348)

def PersistentSOS.certificateInteger276 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger276 = Int.ofNat (135427582598665834940920485914059215256034679928723 * 10 ^ 60 + 245154971711739042146349166875816890383207302579173399330166)

def PersistentSOS.certificateInteger277 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger277 = Int.ofNat (282775679605460399102752585073282291668630101060582 * 10 ^ 60 + 557770858397429647836251221980861972174964929404478349368968)

def PersistentSOS.certificateInteger278 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger278 = Int.ofNat (161026197962860698519630203238302195248195799704107 * 10 ^ 60 + 273040597270067726198824179747004781191484720363668371625544)

def PersistentSOS.certificateInteger279 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger279 = Int.ofNat (189989835568802405812907743396978320903583426354114 * 10 ^ 60 + 327246413862903196331644076352512157509953166830809341431578)

def PersistentSOS.certificateInteger280 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger280 = Int.ofNat (29820893135048862817032016869307030437236086491492 * 10 ^ 60 + 251125496595708551764616418791943086649924391943949790544538)

def PersistentSOS.certificateInteger281 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger281 = Int.ofNat (242313691371460733627956981533880962787717578284144 * 10 ^ 60 + 354661042790383627814396466937315952915651030065938907166708)

def PersistentSOS.certificateInteger282 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger282 = Int.ofNat (174399672359963371933852638455894547378738872855706 * 10 ^ 60 + 259283862182307629330865250166055829980264270740993240769046)

def PersistentSOS.certificateInteger283 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger283 = Int.ofNat (324567592219328186580842239322553713829681167749374 * 10 ^ 60 + 241998743509895304924736103683659794630774125925839587109016)

def PersistentSOS.certificateInteger284 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger284 = Int.ofNat (129258661046080365273256568613488444727165784115159 * 10 ^ 60 + 989748070971524007205349327484815801016447820495551426276764)

def PersistentSOS.certificateInteger285 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger285 = Int.ofNat (989946303135941232559993595485177303475098897978538 * 10 ^ 60 + 211491859512950638769442339726463658062528284086941091595600)

def PersistentSOS.certificateInteger286 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger286 = Int.ofNat (68195190969478663158073431632052143234388274290623 * 10 ^ 60 + 167340173238274956423180107695744857256999902982812939858476)

def PersistentSOS.certificateInteger287 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger287 = Int.ofNat (660941175535482235381570763084614360151992217392451 * 10 ^ 60 + 954897497885127688368963582539921064096372864121605722987974)

def PersistentSOS.certificateInteger288 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger288 = Int.ofNat (83543708926490155070383356739381678437812594367945 * 10 ^ 60 + 965683073594635775826811086691862514994049873226889123297572)

def PersistentSOS.certificateInteger289 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger289 = Int.ofNat (303367981002746174415774378939912492059605425177232 * 10 ^ 60 + 232940667507667347821190042972399391718892589294778378059108)

def PersistentSOS.certificateInteger290 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger290 = Int.ofNat (270074039721402802054671642073942649993381347362026 * 10 ^ 60 + 139534679884397169853887176202839906795552968126168105262362)

def PersistentSOS.certificateInteger291 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger291 = Int.ofNat (887863866449847353844838504583338950325391420501880 * 10 ^ 60 + 268981698657499118652424671224339161975081410935051161689834)

def PersistentSOS.certificateInteger292 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger292 = Int.ofNat (278500971539154313749348301017722541329903873337138 * 10 ^ 60 + 906946749655708993859629278086348564352102974883294853771900)

def PersistentSOS.certificateInteger293 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger293 = Int.ofNat (304582320761452260546065782140474467789144839294276 * 10 ^ 60 + 44457322871003604842757909059769087334588323093471845110824)

def PersistentSOS.certificateInteger294 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger294 = Int.ofNat (33936216246087667663832917602348627361649017217310 * 10 ^ 60 + 441072455683932334201751359086521761912899945477347484929776)

def PersistentSOS.certificateInteger295 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger295 = Int.ofNat (151379850230501086261401244200073073663615172406321 * 10 ^ 60 + 194390829584348365754673613699431354388144254869340895968217)

def PersistentSOS.certificateInteger296 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger296 = Int.ofNat (53582171729590708957279642861929292615846217174509 * 10 ^ 60 + 22540829454456654869626590723876280793574822232609643467994)

def PersistentSOS.certificateInteger297 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger297 = Int.ofNat (58324344845893787376347908173650436015646130344705 * 10 ^ 60 + 436021023237332361133416537252607575761369367377023023927757)

def PersistentSOS.certificateInteger298 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger298 = Int.ofNat (62178928958782645592336728445753198804281701139781 * 10 ^ 60 + 334257131147529795974185447928699888549734160038786709023891)

def PersistentSOS.certificateInteger299 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger299 = Int.ofNat (6050903771095186763634535791962986925495180355617 * 10 ^ 60 + 218885261255001097185560042872348174345548577743095284039501)

def PersistentSOS.certificateInteger300 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger300 = Int.ofNat (13858997082173696261245864783343501616077263028049 * 10 ^ 60 + 881037569435788308395838967788256124843069165233652857706024)

def PersistentSOS.certificateInteger301 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger301 = Int.ofNat (5351846552360032799520779553102558442020997910555 * 10 ^ 60 + 522447474942459064841105383207581871444118363834598745043327)

def PersistentSOS.certificateInteger302 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger302 = Int.ofNat (58982808129381972888194479832067249344977333303769 * 10 ^ 60 + 925570573645200436400838921836972377162269669438191023762656)

def PersistentSOS.certificateInteger303 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger303 = Int.ofNat (18961249600009453583150248036632773120552085745074 * 10 ^ 60 + 5177506010007314834929526945142494344118888162209243405158)

def PersistentSOS.certificateInteger304 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger304 = Int.ofNat (883332848818550330277564435588018608918188939934494 * 10 ^ 60 + 157731087228297762559042200046729505978426197104403138482092)

def PersistentSOS.certificateInteger305 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger305 = Int.ofNat (54997232651167621658013937908974236340793071511946 * 10 ^ 60 + 906276831063721737730376528478385513982786631427865107929892)

def PersistentSOS.certificateInteger306 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger306 = Int.ofNat (275701995328753153039073573897068937434691180274557 * 10 ^ 60 + 968297221001833575510636183737354539030818361117094195768420)

def PersistentSOS.certificateInteger307 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger307 = Int.ofNat (265733667025828391381474670045933700020052668630812 * 10 ^ 60 + 385131015389154885495761004674251119675334266127402748103690)

def PersistentSOS.certificateInteger308 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger308 = Int.ofNat (923171470403285140487913366022547630724631492296101 * 10 ^ 60 + 676104214059092411842657519642117718172382709487018490616622)

def PersistentSOS.certificateInteger309 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger309 = Int.ofNat (133327122671443285450733052270143175789926582588528 * 10 ^ 60 + 688072866473767582626250659539161551833920222949963827695232)

def PersistentSOS.certificateInteger310 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger310 = Int.ofNat (427684819475473451741360251154256584166583869066268 * 10 ^ 60 + 816996841407750834122717373545623078815522152096467910820480)

def PersistentSOS.certificateInteger311 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger311 = Int.ofNat (53016927527123441915449518049472224155100292590022 * 10 ^ 60 + 341981025777218550010765191616240788108827408405174478737184)

def PersistentSOS.certificateInteger312 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger312 = Int.ofNat (157926989419907237134594454192123709141867856609445 * 10 ^ 60 + 704157365452447131398234059152371766852189180094079089241695)

def PersistentSOS.certificateInteger313 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger313 = Int.ofNat (66384467660593876007161609694966630203872840821491 * 10 ^ 60 + 533923382844201021940507351947495268233354815393762671884201)

def PersistentSOS.certificateInteger314 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger314 = Int.ofNat (5276698478468067356057907611063268638859392563774 * 10 ^ 60 + 318962247350007167991225375859120189043969622085903088051505)

def PersistentSOS.certificateInteger315 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger315 = Int.ofNat (8574001512593101135813793182563997715813576625962 * 10 ^ 60 + 761598295949336210440223463020192431898920637197169620987480)

def PersistentSOS.certificateInteger316 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger316 = Int.ofNat (3974838910062936541794907502818024910757647189488 * 10 ^ 60 + 247970289352078555015881451591510758642255621187496039255263)

def PersistentSOS.certificateInteger317 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger317 = Int.ofNat (61166859756351366032772977771951877830554731160318 * 10 ^ 60 + 680205708855521579997932082694898940242805486483518880047952)

def PersistentSOS.certificateInteger318 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger318 = Int.ofNat (21866811083490576410863162346677500901327953599516 * 10 ^ 60 + 60991025220288426123403306752842097480763902808343930294048)

def PersistentSOS.certificateInteger319 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger319 = Int.ofNat (477286323310690981466239884487259364475215680146503 * 10 ^ 60 + 273068250647894848808773201188163892501876082040968447756025)

def PersistentSOS.certificateInteger320 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger320 = Int.ofNat (49780219878231614874077156823228404525212966767686 * 10 ^ 60 + 766214895446099942124410045152787610281820806035298299921227)

def PersistentSOS.certificateInteger321 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger321 = Int.ofNat (311153571419499555474611306711474851005282449591358 * 10 ^ 60 + 249481682492177786595505993276414165228568621578551107598200)

def PersistentSOS.certificateInteger322 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger322 = Int.ofNat (210790570114523164104907983666506596301085949902675 * 10 ^ 60 + 684426421529019142816340369083532254012557721099806724517883)

def PersistentSOS.certificateInteger323 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger323 = Int.ofNat (294233815067024948388503771942760985587658660028463 * 10 ^ 60 + 144272356764696333216965010156693493541299798341263407422142)

def PersistentSOS.certificateInteger324 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger324 = Int.ofNat (50188507472340235140157031606520040171901799721682 * 10 ^ 60 + 68879264508599313180143979028765752959207724602410440613750)

def PersistentSOS.certificateInteger325 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger325 = Int.ofNat (263704851182362131141562242730011606179629600397630 * 10 ^ 60 + 775483844054931733391660390745850273215875621950267895935493)

def PersistentSOS.certificateInteger326 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger326 = Int.ofNat (362497522192497479635720935401432589836651577811747 * 10 ^ 60 + 136977391115386075290646830004390772032868434419059928590300)

def PersistentSOS.certificateInteger327 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger327 = Int.ofNat (39044620603481973883349513087040612784667098011267 * 10 ^ 60 + 476187513886694213103482896454635354506305675423975759432561)

def PersistentSOS.certificateInteger328 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger328 = Int.ofNat (52090406684649079210761225937278171140759926179216 * 10 ^ 60 + 117768811181807768216999994724834323642656828972334224547792)

def PersistentSOS.certificateInteger329 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger329 = Int.ofNat (2574044253322183015205464001589541288906360731428 * 10 ^ 60 + 776391587047855504849491995748499879357311097458952850329634)

def PersistentSOS.certificateInteger330 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger330 = Int.ofNat (1871541796015691395931615442535350840704700955811880 * 10 ^ 60 + 233981790633782639461681427531194596035749884252022203126992)

def PersistentSOS.certificateInteger331 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger331 = Int.ofNat (296901430277143164131903705459888697072932595397232 * 10 ^ 60 + 665595294451388288765229535587509572030270420589533273737162)

def PersistentSOS.certificateInteger332 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger332 = Int.ofNat (191543639608738870603984481457730538516835803636909 * 10 ^ 60 + 957297919738938264518114096796919905347406790068408875712300)

def PersistentSOS.certificateInteger333 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger333 = Int.ofNat (4515733742519352767816529398272318548553585827461 * 10 ^ 60 + 692353633175043752159959591164562924878256677156595314494910)

def PersistentSOS.certificateInteger334 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger334 = Int.ofNat (508526785126949484761583565315923097250465347983606 * 10 ^ 60 + 212817515874133807187343331611096440205529300209095700431215)

def PersistentSOS.certificateInteger335 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger335 = Int.ofNat (23911843045011822035138161137317539745379295636697 * 10 ^ 60 + 412900318629152469882275167332999018354992885722805096437652)

def PersistentSOS.certificateInteger336 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger336 = Int.ofNat (32321721764020335689783456502862473269121960333486 * 10 ^ 60 + 752583229113871217201762477656506830411947416847375423851968)

def PersistentSOS.certificateInteger337 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger337 = Int.ofNat (575932520421653041481224247436823256764959055608784 * 10 ^ 60 + 517719928831745490163806549247108212186991985561206159573534)

def PersistentSOS.certificateInteger338 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger338 = Int.ofNat (89454639990781260025259324116933011313467954242758 * 10 ^ 60 + 124190389666280757306491624298601270828755513747056555479056)

def PersistentSOS.certificateInteger339 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger339 = Int.ofNat (383660940303913952939922287093352502449853222392958 * 10 ^ 60 + 26100802546382426946304368006889280359829152418320495393588)

def PersistentSOS.certificateInteger340 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger340 = Int.ofNat (97437097487410880174382323349241979676611915925700224410 * 10 ^ 60 + 161988218205652118446438839723347673122850228620643781732504)

def PersistentSOS.certificateInteger341 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger341 = Int.ofNat (1794169815773102647599302047599934872275904909945367574 * 10 ^ 60 + 456625072143388374823361585866356718807959245747079849346772)

def PersistentSOS.certificateInteger342 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger342 = Int.ofNat (65866241868196610113772492582518052253143420415945549131 * 10 ^ 60 + 906894208542014835593368544135675921900470382673770447924660)

def PersistentSOS.certificateInteger343 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger343 = Int.ofNat (2427789364264275933779526435121673500268777590562887229 * 10 ^ 60 + 404816822161206973120216749851874143726589282099535625517800)

def PersistentSOS.certificateInteger344 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger344 = Int.ofNat (27398368441443720426271607952170541511496251704422169226 * 10 ^ 60 + 657690156599698833726862276571544379524285619003166662088876)

def PersistentSOS.certificateInteger345 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger345 = Int.ofNat (30949942586762013457819221356447328982147401679301434644 * 10 ^ 60 + 140027017452662068291989018301909412030641056732789978517872)

def PersistentSOS.certificateInteger346 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger346 = Int.ofNat (117769577525775177537316350367076229523765493680163785439 * 10 ^ 60 + 134991697164837615394677727351146725631414031035310207184852)

def PersistentSOS.certificateInteger347 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger347 = Int.ofNat (41573266868087939587054487355514429661654226710596597876 * 10 ^ 60 + 783370535768806729270345379491080729001677931146994876464092)

def PersistentSOS.certificateInteger348 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger348 = Int.ofNat (21208508711516834467681581922241952812470395247670575049 * 10 ^ 60 + 470855078151574927958833311143251512676228265495561651599264)

def PersistentSOS.certificateInteger349 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger349 = Int.ofNat (10150354691671259122374004239097961443361472407636984403 * 10 ^ 60 + 337355272262146515142813242445089007238286002619714156497832)

def PersistentSOS.certificateInteger350 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger350 = Int.ofNat (16213354718108214599735229018500185813619740385449308739 * 10 ^ 60 + 157210003146531381272663276893481263488553878060644304487124)

def PersistentSOS.certificateInteger351 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger351 = Int.ofNat (2407128271026850884446462614084650697361106335936238873 * 10 ^ 60 + 868110122623459060443671827128387915170803961983719564178564)

def PersistentSOS.certificateInteger352 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger352 = Int.ofNat (4702507663226566423256461118168742359631180980553359863 * 10 ^ 60 + 672722640632792034021433499378433999470330040769565702873782)

def PersistentSOS.certificateInteger353 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger353 = Int.ofNat (4753357900207900548299051905647277431544166549241726944 * 10 ^ 60 + 37338960506746266606840905227189795480900957389056918916612)

def PersistentSOS.certificateInteger354 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger354 = Int.ofNat (1147949301964324815886823865823017674403579142593064801 * 10 ^ 60 + 509257694392315975349399453320735349357817141693327809188796)

def PersistentSOS.certificateInteger355 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger355 = Int.ofNat (5098008591285903227115409237021589468910474549056337777 * 10 ^ 60 + 434959956382097498515573937547355493852901584959173296675468)

def PersistentSOS.certificateInteger356 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger356 = Int.ofNat (1833116203216378062120148902046006202660531762605460624 * 10 ^ 60 + 764649617364752092551282675273614585175783577005188935634856)

def PersistentSOS.certificateInteger357 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger357 = Int.ofNat (2461191823770400214721299628878911203863567470303461099 * 10 ^ 60 + 204469623841662606927750385024305250583521109571302480005880)

def PersistentSOS.certificateInteger358 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger358 = Int.ofNat (437660631264827423612041200614643874253395986841926109 * 10 ^ 60 + 42005042314918496120732679623340900152542106415808379874256)

def PersistentSOS.certificateInteger359 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger359 = Int.ofNat (97442986945348384943840839113246287612881063512192547469 * 10 ^ 60 + 444798904384066551639856550523013333658619863223605533295592)

def PersistentSOS.certificateInteger360 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger360 = Int.ofNat (1818333714012094354970734459077339431300911917524739912 * 10 ^ 60 + 570824318477474973284324731422230450055600689056181875218360)

def PersistentSOS.certificateInteger361 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger361 = Int.ofNat (27399877607660087655322535794098822617918430367927883218 * 10 ^ 60 + 756920002290444843080073461420289325952226286822500531931184)

def PersistentSOS.certificateInteger362 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger362 = Int.ofNat (30950430236219525059743891030742138050673174776572850883 * 10 ^ 60 + 21424463629582175914510180894724654088345545584259793457044)

def PersistentSOS.certificateInteger363 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger363 = Int.ofNat (117770325429712128286106220946631284713801334757474182728 * 10 ^ 60 + 929728005912603324455272318213239572622329851558905822863844)

def PersistentSOS.certificateInteger364 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger364 = Int.ofNat (21138329202738267379753924847351872023327573415512809176 * 10 ^ 60 + 541178553745339992307151005968870795825507203180845228840600)

def PersistentSOS.certificateInteger365 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger365 = Int.ofNat (41620181461748758762402079616740934405022248406319516220 * 10 ^ 60 + 661958080391396108496350193411330738525847347138124127893408)

def PersistentSOS.certificateInteger366 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger366 = Int.ofNat (10180270327005928284673642079139071341791757716759471693 * 10 ^ 60 + 975748475167186805054525038485537474537632130842001333553584)

def PersistentSOS.certificateInteger367 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger367 = Int.ofNat (16202682170364944619221038318313352180216845209576890438 * 10 ^ 60 + 760473511006294904739097029017229890549388931010637554389466)

def PersistentSOS.certificateInteger368 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger368 = Int.ofNat (4747673018121695990550600101354282710066641295415218222 * 10 ^ 60 + 410190641131386077473993596583774038479371004511759753483086)

def PersistentSOS.certificateInteger369 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger369 = Int.ofNat (1135172647259749392146790877739188094992988885381352957 * 10 ^ 60 + 725974839305099910994052464318807033832706464088244257259598)

def PersistentSOS.certificateInteger370 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger370 = Int.ofNat (5114694597985931409983682883778042388649105175093913942 * 10 ^ 60 + 657372736030119541588247991313792443743789833487074601516768)

def PersistentSOS.certificateInteger371 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger371 = Int.ofNat (2465759817910749081134502959102370069608648572064030672 * 10 ^ 60 + 713257763575006516354314688303340668304534483665180016625374)

def PersistentSOS.certificateInteger372 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger372 = Int.ofNat (1852446822779707282054078373407401124214667694089285295 * 10 ^ 60 + 874467633023071007236377920915250054008222519696727573539712)

def PersistentSOS.certificateInteger373 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger373 = Int.ofNat (439105142278321493871403220734517940836090637744384546 * 10 ^ 60 + 859266350858129041300405522674504533794985861181504937462608)

def PersistentSOS.certificateInteger374 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger374 = Int.ofNat (53395591138243056973481277662243132315841826969991010602 * 10 ^ 60 + 319123831009730548396980506030397854184314429249981289005684)

def PersistentSOS.certificateInteger375 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger375 = Int.ofNat (6556997229404695720720964647179987962463291228642359244 * 10 ^ 60 + 326252492247338691281944380474480770128559962702159137716644)

def PersistentSOS.certificateInteger376 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger376 = Int.ofNat (42097732284334232300718216201672795137972746146083594890 * 10 ^ 60 + 15855684604430523589600375214072046972429169417829562021076)

def PersistentSOS.certificateInteger377 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger377 = Int.ofNat (28722951230939520705143360804644899175644544281368729750 * 10 ^ 60 + 115278805750564783075020936950806858706025373092255329525744)

def PersistentSOS.certificateInteger378 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger378 = Int.ofNat (28788126783446468313690667410199034865894015829027103503 * 10 ^ 60 + 431954272890700788693133214963055233067108407909307589019516)

def PersistentSOS.certificateInteger379 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger379 = Int.ofNat (8585026888626643735523176991995767265745202785861634904 * 10 ^ 60 + 170645226654178129846161716894297420915263384656256002459408)

def PersistentSOS.certificateInteger380 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger380 = Int.ofNat (31497616448897969676225631917422677199178345104237025301 * 10 ^ 60 + 376889240935769056324421546963681270508821289320010856214716)

def PersistentSOS.certificateInteger381 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger381 = Int.ofNat (44182727511793084861745013400365953204654266578730801790 * 10 ^ 60 + 158436895886460079883608487110870501203792108342916233258796)

def PersistentSOS.certificateInteger382 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger382 = Int.ofNat (5222212132087064570824073361551883087762260680978180605 * 10 ^ 60 + 847650229183234905190458860295692783511808819574911135484596)

def PersistentSOS.certificateInteger383 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger383 = Int.ofNat (5226272081759612426250533356987254117773424154409992904 * 10 ^ 60 + 364319940027312385512207580331960544215505724032953375631976)

def PersistentSOS.certificateInteger384 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger384 = Int.ofNat (712163867937080938022527621104388660167333813112950982 * 10 ^ 60 + 464791923737898182338279890983629467059319987664109889882904)

def PersistentSOS.certificateInteger385 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger385 = Int.ofNat (218052150232444140276577739546210159227349780327408012693 * 10 ^ 60 + 181553067151806840795202119059588955457413220599402231577432)

def PersistentSOS.certificateInteger386 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger386 = Int.ofNat (31140550733243657344617181599253411898106813090755541059 * 10 ^ 60 + 725200628133859420850220126425439691998546656253617807192416)

def PersistentSOS.certificateInteger387 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger387 = Int.ofNat (31185129502925059374686971778339451362585205959596399630 * 10 ^ 60 + 426005222542337913607268877794139040304406259434051873786872)

def PersistentSOS.certificateInteger388 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger388 = Int.ofNat (2740195228791318871741105408422713112502224794038390325 * 10 ^ 60 + 252183530146132711813140702500709342534193084275026320486948)

def PersistentSOS.certificateInteger389 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger389 = Int.ofNat (57733195163192166191980630115187073714630485401201812425 * 10 ^ 60 + 128994810506561059903111007083417512305323693583869136829976)

def PersistentSOS.certificateInteger390 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger390 = Int.ofNat (8794353578234607817014568902861105849444494522904527419 * 10 ^ 60 + 853396965489638496207534670592725900054647943280384170155072)

def PersistentSOS.certificateInteger391 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger391 = Int.ofNat (6233552172904703681660607609790390601555448607383744101 * 10 ^ 60 + 267764508865347472308348481690824720825307785697775679347028)

def PersistentSOS.certificateInteger392 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger392 = Int.ofNat (57958679371577123961070760757596022208052325294019623632 * 10 ^ 60 + 394468603319721666200652121357351657553951854366168760502292)

def PersistentSOS.certificateInteger393 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger393 = Int.ofNat (6321345496024729608997972489614657336695366293503355909 * 10 ^ 60 + 109103359918026250867138950226579113643822036537611435932048)

def PersistentSOS.certificateInteger394 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger394 = Int.ofNat (44210744805024583304970508818060561101651472605183581337 * 10 ^ 60 + 112800373013017885032128132243037079694504424628384928276848)

def PersistentSOS.certificateInteger395 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger396 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger396 = Int.ofNat (101761339480600880240184586493303786886796832728116099534736 * 10 ^ 60 + 735827847111627696807118489822268009308449396565550023505916)

def PersistentSOS.certificateInteger397 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger397 = Int.ofNat (396874638935825757510685615805957336005377354923015963206947 * 10 ^ 60 + 744235607298174140537448846338131590460344055068284019047668)

def PersistentSOS.certificateInteger398 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger398 = Int.ofNat (362029606015904425310306262625151909025465229823360148693241 * 10 ^ 60 + 418108766065378318398992312938657353652946190755916866509556)

def PersistentSOS.certificateInteger399 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger399 = Int.ofNat (146371795781232665644531355571238788748447465628377967930676 * 10 ^ 60 + 457567208033428283184847200147118549124502213529383016475208)

def PersistentSOS.certificateInteger400 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger400 = Int.ofNat (249607387221365200811030426242562564883030437902590768563249 * 10 ^ 60 + 571418130490420595740583426990469781700478676435032348196268)

def PersistentSOS.certificateInteger401 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger401 = Int.ofNat (90966504678020421571457042078570319230167019110537346674081 * 10 ^ 60 + 247860608247519786116378297103184942826384197987548415577900)

def PersistentSOS.certificateInteger402 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger402 = Int.ofNat (176434023220775560004530514922612488148163008559076968941895 * 10 ^ 60 + 182272721332721939664712045965534291910081778108211750432272)

def PersistentSOS.certificateInteger403 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger403 = Int.ofNat (53216969623655876836527134125289676349098403020728835951247 * 10 ^ 60 + 847614846893656306315562967298263653475549065209325624190968)

def PersistentSOS.certificateInteger404 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger405 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger405 = Int.ofNat (15096775978397581701108415422227820334973998639532658237804 * 10 ^ 60 + 490306078175208517725834163194980565205012142697952183647640)

def PersistentSOS.certificateInteger406 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger406 = Int.ofNat (756541481225040345535278102919799703219417302355871178703390 * 10 ^ 60 + 367147309937392353298240221835007487521565069908164540630956)

def PersistentSOS.certificateInteger407 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger407 = Int.ofNat (854506136445154217839222077961475546593057864498481124513960 * 10 ^ 60 + 531982690893151962619332243008525183386919713454864877630936)

def PersistentSOS.certificateInteger408 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger409 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger409 = Int.ofNat (593434599081727423171404840560047292588642157241560012656873 * 10 ^ 60 + 154500098779024815873655291856341824588625254911406945550420)

def PersistentSOS.certificateInteger410 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger411 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger411 = Int.ofNat (282779527088787325610349872124906877727788243659138236356156 * 10 ^ 60 + 473105612206268555701999994985839018343259207097377006596296)

def PersistentSOS.certificateInteger412 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger413 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger413 = Int.ofNat (346364191240073554288369301353128786562528670729414528605787 * 10 ^ 60 + 255393949461546775270518183620198111144474747163842756471764)

def PersistentSOS.certificateInteger414 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger414 = Int.ofNat (162432043657677490971625416024674502981506276505535549764128 * 10 ^ 60 + 154111706075906554213627228752808946812699412538443898143452)

def PersistentSOS.certificateInteger415 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger415 = Int.ofNat (185774779055200299597637039066872805891913616382330005365634 * 10 ^ 60 + 322564858489359681439405230930929128070675736295524367569832)

def PersistentSOS.certificateInteger416 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger416 = Int.ofNat (121836662465839858902779587245156883972307161284612775045891 * 10 ^ 60 + 342635862568551119743852788950609840464213046754190196993876)

def PersistentSOS.certificateInteger417 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger417 = Int.ofNat (112813736726244676487288216958483448288164060770360077954480 * 10 ^ 60 + 941444678910888265899961313774305659928111270410636962381888)

def PersistentSOS.certificateInteger418 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger418 = Int.ofNat (58964211028813698998227126495156531254882169068355671522414 * 10 ^ 60 + 860945372332043774086866986840665952113513163598556586826192)

def PersistentSOS.certificateInteger419 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger420 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger421 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger421 = Int.ofNat (765329601832601589942873200498890773513036380395169846751740 * 10 ^ 60 + 736461669445744476224466946438674496965816359955080350616212)

def PersistentSOS.certificateInteger422 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger423 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger424 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger424 = Int.ofNat (488304695760561475717048499440944896231240868894641070555525 * 10 ^ 60 + 991514228508188165238879425005181785221417409673870691559800)

def PersistentSOS.certificateInteger425 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger426 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger426 = Int.ofNat (577219766504949089074986957520579443044645876935175955706458 * 10 ^ 60 + 135921156452568255155581968400173303852926577313567256626440)

def PersistentSOS.certificateInteger427 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger427 = Int.ofNat (680213763947083940685083916540602658582545564403971324489310 * 10 ^ 60 + 200261587052671132116756948252525972937006827864408543308040)

def PersistentSOS.certificateInteger428 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger428 = Int.ofNat (128696051806663149747866291512777027257298658727954665126972 * 10 ^ 60 + 218628421990143290473714149488188699366387748157904680971824)

def PersistentSOS.certificateInteger429 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger429 = Int.ofNat (214038231895553885034008501039160062967457519663418314467531 * 10 ^ 60 + 130058044667775699592394718284173455847413006261264826505328)

def PersistentSOS.certificateInteger430 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger431 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger432 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger432 = Int.ofNat (472979022456280823144937229464759192523090564008574680368320 * 10 ^ 60 + 378253166257844411184399023327924926876041682815715407161360)

def PersistentSOS.certificateInteger433 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger434 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger435 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger435 = Int.ofNat (21696365235094477746853394780764025445199098532962468644623 * 10 ^ 60 + 631479864822067721920887142958058256180613577016823207108000)

def PersistentSOS.certificateInteger436 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger436 = Int.ofNat (900152863640129110277273318583294880846465029860788914244602 * 10 ^ 60 + 934434395291130095681460274448212162002340869824954108277936)

def PersistentSOS.certificateInteger437 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger438 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• PersistentSOS.certificateInteger438 = Int.ofNat (726870914835771478434282344508496148799017807483044294833998 * 10 ^ 60 + 791187249816686044712450584385613377274076209386200084323040)

def PersistentSOS.certificateInteger439 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger440 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger441 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger442 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger443 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger444 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger445 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger446 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger447 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger448 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger449 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger450 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger451 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger452 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger453 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger454 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger455 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger456 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger457 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger458 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger459 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger460 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger461 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger462 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger463 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger464 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger465 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger466 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger467 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger468 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger469 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger470 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger471 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger472 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger473 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger474 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger475 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger476 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger477 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger478 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger479 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger480 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger481 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger482 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger483 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger484 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger485 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger486 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger487 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger488 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger489 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger490 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger491 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger492 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger493 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger494 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger495 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger496 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger497 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger498 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger499 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger500 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger501 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger502 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger503 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger504 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger505 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger506 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger507 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger508 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger509 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger510 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger511 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger512 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger513 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger514 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger515 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger516 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger517 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger518 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger519 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger520 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger521 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger522 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger523 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger524 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger525 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger526 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger527 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger528 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger529 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger530 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger531 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger532 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger533 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger534 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger535 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger536 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger537 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger538 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger539 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger540 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger541 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger542 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger543 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger544 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger545 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger546 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger547 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger548 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger549 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger550 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger551 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger552 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger553 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger554 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger555 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.certificateInteger556 : ℤ

Exact large integer shared by the full moment block and its Schur certificates.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage0 : Fin 28 → Fin 28 → ℤ

Exact integer matrix after 0 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage1 : Fin 27 → Fin 27 → ℤ

Exact integer matrix after 1 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage2 : Fin 26 → Fin 26 → ℤ

Exact integer matrix after 2 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage3 : Fin 25 → Fin 25 → ℤ

Exact integer matrix after 3 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage4 : Fin 24 → Fin 24 → ℤ

Exact integer matrix after 4 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage5 : Fin 23 → Fin 23 → ℤ

Exact integer matrix after 5 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage6 : Fin 22 → Fin 22 → ℤ

Exact integer matrix after 6 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage7 : Fin 21 → Fin 21 → ℤ

Exact integer matrix after 7 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage8 : Fin 20 → Fin 20 → ℤ

Exact integer matrix after 8 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage9 : Fin 19 → Fin 19 → ℤ

Exact integer matrix after 9 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage10 : Fin 18 → Fin 18 → ℤ

Exact integer matrix after 10 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage11 : Fin 17 → Fin 17 → ℤ

Exact integer matrix after 11 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage12 : Fin 16 → Fin 16 → ℤ

Exact integer matrix after 12 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage13 : Fin 15 → Fin 15 → ℤ

Exact integer matrix after 13 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage14 : Fin 14 → Fin 14 → ℤ

Exact integer matrix after 14 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage15 : Fin 13 → Fin 13 → ℤ

Exact integer matrix after 15 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage16 : Fin 12 → Fin 12 → ℤ

Exact integer matrix after 16 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage17 : Fin 11 → Fin 11 → ℤ

Exact integer matrix after 17 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage18 : Fin 10 → Fin 10 → ℤ

Exact integer matrix after 18 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage19 : Fin 9 → Fin 9 → ℤ

Exact integer matrix after 19 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage20 : Fin 8 → Fin 8 → ℤ

Exact integer matrix after 20 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage21 : Fin 7 → Fin 7 → ℤ

Exact integer matrix after 21 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage22 : Fin 6 → Fin 6 → ℤ

Exact integer matrix after 22 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage23 : Fin 5 → Fin 5 → ℤ

Exact integer matrix after 23 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage24 : Fin 4 → Fin 4 → ℤ

Exact integer matrix after 24 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage25 : Fin 3 → Fin 3 → ℤ

Exact integer matrix after 25 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage26 : Fin 2 → Fin 2 → ℤ

Exact integer matrix after 26 fraction-free Schur steps in moment block Full0.

Equations

• One or more equations did not get rendered due to their size.

def PersistentSOS.momentBlockFull0Stage27 : Fin 1 → Fin 1 → ℤ

Exact integer matrix after 27 fraction-free Schur steps in moment block Full0.

Equations

• PersistentSOS.momentBlockFull0Stage27 = ![![0]]

theorem PersistentSOS.momentBlockFull0Stage27_psd : IsPSD fun (i j : Fin 1) => ↑(momentBlockFull0Stage27 i j)

theorem PersistentSOS.momentBlockFull0Stage26_psd : IsPSD fun (i j : Fin 2) => ↑(momentBlockFull0Stage26 i j)

theorem PersistentSOS.momentBlockFull0Stage25_psd : IsPSD fun (i j : Fin 3) => ↑(momentBlockFull0Stage25 i j)

theorem PersistentSOS.momentBlockFull0Stage24_psd : IsPSD fun (i j : Fin 4) => ↑(momentBlockFull0Stage24 i j)

theorem PersistentSOS.momentBlockFull0Stage23_psd : IsPSD fun (i j : Fin 5) => ↑(momentBlockFull0Stage23 i j)

theorem PersistentSOS.momentBlockFull0Stage22_psd : IsPSD fun (i j : Fin 6) => ↑(momentBlockFull0Stage22 i j)

theorem PersistentSOS.momentBlockFull0Stage21_psd : IsPSD fun (i j : Fin 7) => ↑(momentBlockFull0Stage21 i j)

theorem PersistentSOS.momentBlockFull0Stage20_psd : IsPSD fun (i j : Fin 8) => ↑(momentBlockFull0Stage20 i j)

theorem PersistentSOS.momentBlockFull0Stage19_psd : IsPSD fun (i j : Fin 9) => ↑(momentBlockFull0Stage19 i j)

theorem PersistentSOS.momentBlockFull0Stage18_psd : IsPSD fun (i j : Fin 10) => ↑(momentBlockFull0Stage18 i j)

theorem PersistentSOS.momentBlockFull0Stage17_psd : IsPSD fun (i j : Fin 11) => ↑(momentBlockFull0Stage17 i j)

theorem PersistentSOS.momentBlockFull0Stage16_psd : IsPSD fun (i j : Fin 12) => ↑(momentBlockFull0Stage16 i j)

theorem PersistentSOS.momentBlockFull0Stage15_psd : IsPSD fun (i j : Fin 13) => ↑(momentBlockFull0Stage15 i j)

theorem PersistentSOS.momentBlockFull0Stage14_psd : IsPSD fun (i j : Fin 14) => ↑(momentBlockFull0Stage14 i j)

theorem PersistentSOS.momentBlockFull0Stage13_psd : IsPSD fun (i j : Fin 15) => ↑(momentBlockFull0Stage13 i j)

theorem PersistentSOS.momentBlockFull0Stage12_psd : IsPSD fun (i j : Fin 16) => ↑(momentBlockFull0Stage12 i j)

theorem PersistentSOS.momentBlockFull0Stage11_psd : IsPSD fun (i j : Fin 17) => ↑(momentBlockFull0Stage11 i j)

theorem PersistentSOS.momentBlockFull0Stage10_psd : IsPSD fun (i j : Fin 18) => ↑(momentBlockFull0Stage10 i j)

theorem PersistentSOS.momentBlockFull0Stage9_psd : IsPSD fun (i j : Fin 19) => ↑(momentBlockFull0Stage9 i j)

theorem PersistentSOS.momentBlockFull0Stage8_psd : IsPSD fun (i j : Fin 20) => ↑(momentBlockFull0Stage8 i j)

theorem PersistentSOS.momentBlockFull0Stage7_psd : IsPSD fun (i j : Fin 21) => ↑(momentBlockFull0Stage7 i j)

theorem PersistentSOS.momentBlockFull0Stage6_psd : IsPSD fun (i j : Fin 22) => ↑(momentBlockFull0Stage6 i j)

theorem PersistentSOS.momentBlockFull0Stage5_psd : IsPSD fun (i j : Fin 23) => ↑(momentBlockFull0Stage5 i j)

theorem PersistentSOS.momentBlockFull0Stage4_psd : IsPSD fun (i j : Fin 24) => ↑(momentBlockFull0Stage4 i j)

theorem PersistentSOS.momentBlockFull0Stage3_psd : IsPSD fun (i j : Fin 25) => ↑(momentBlockFull0Stage3 i j)

theorem PersistentSOS.momentBlockFull0Stage2_psd : IsPSD fun (i j : Fin 26) => ↑(momentBlockFull0Stage2 i j)

theorem PersistentSOS.momentBlockFull0Stage1_psd : IsPSD fun (i j : Fin 27) => ↑(momentBlockFull0Stage1 i j)

theorem PersistentSOS.momentBlockFull0Stage0_psd : IsPSD fun (i j : Fin 28) => ↑(momentBlockFull0Stage0 i j)