Labeled solenoid numbers used throughot the code