Repair C1 with exactly ten actual-model routes (GitHub cb46b6635e57)

Update logbook: Repro - Hybrid Randomized Smoothing (nf7JT1jCSy)

initial commit