#include <bits/stdc++.h>
using namespace std;
int n, x, v[110];
int main() {
  cin >> n;
  for (int i = 1; i <= n; i++) cin >> v[i];
  for (int i = 2; i <= n; i++) {
    if (v[i] == 1) {
      if (v[i - 1] == 1) cout << "Infinite", exit(0);
      if (v[i - 1] == 2) x += 3;
      if (v[i - 1] == 3) x += 4;
    }
    if (v[i] == 2) {
      if (v[i - 1] == 1) x += (v[i - 2] == 3 ? 2 : 3);
      if (v[i - 1] == 2) cout << "Infinite", exit(0);
      if (v[i - 1] == 3) cout << "Infinite", exit(0);
    }
    if (v[i] == 3) {
      if (v[i - 1] == 1) x += 4;
      if (v[i - 1] == 2) cout << "Infinite", exit(0);
      if (v[i - 1] == 3) cout << "Infinite", exit(0);
    }
  }
  cout << "Finite\n" << x;
}
