They are in files named ICs<subgraph><number> where those numbered 0 uses all ECs while 5 uses only the safest ones.
