Ruzicka_large_ring_synthesis loading ...