- se non avessi semplificato con auto tutto il secondo ramo della tattica
- elim n, avrei comunque potuto risolvere direttamente con auto entrambi
+ se non avessi semplificato con autobatch tutto il secondo ramo della tattica
+ elim n, avrei comunque potuto risolvere direttamente con autobatch entrambi