void resize(int size) { sensor.resize(size); execution.resize(size); }
KeyPair() { sensor.resize(1); execution.resize(1); }