#include <bits/stdc++.h>
using namespace std;
int main() {
  ios_base::sync_with_stdio(false);
  long long t = 1;
  while (t--) {
    long long n, ok = 0;
    cin >> n;
    long long a[n + 1];
    for (int i = 1; i <= n; i++) {
      cin >> a[i];
    }
    for (int i = 2; i <= n; i++) {
      if (a[i] == 2 && a[i - 1] == 3) {
        cout << "Infinite";
        return 0;
      }
      if (a[i] == 3 && a[i - 1] == 2) {
        cout << "Infinite";
        return 0;
      }
    }
    for (int i = n - 1; i >= 1; i--) {
      if ((a[i] == 1 || a[i] == 3) && (a[i + 1] == 1 || a[i + 1] == 3))
        ok += 4;
      else if ((a[i] == 1 || a[i] == 2) && (a[i + 1] == 1 || a[i + 1] == 2))
        ok += 3;
    }
    for (int i = 1; i <= n - 2; i++) {
      if (a[i] == 3 && a[i + 1] == 1 && a[i + 2] == 2) ok--;
    }
    cout << "Finite\n";
    cout << ok;
  }
}
