nella prima non capisco la parte:

codice:
assert i >= 0 : ...
che sarebbe "assert"?