https://codeforces.com/contest/1156/problem/A

题解：模拟

1、注意3 1 2这种排列；

/*
*@Author:   STZG
*@Language: C++
*/
#include <bits/stdc++.h>
#include<iostream>
#include<algorithm>
#include<cstdlib>
#include<cstring>
#include<cstdio>
#include<string>
#include<vector>
#include<bitset>
#include<queue>
#include<deque>
#include<stack>
#include<cmath>
#include<list>
#include<map>
#include<set>
//#define DEBUG
#define RI register int
#define endl "\n"
using namespace std;
typedef long long ll;
//typedef __int128 lll;
const int N=100000+10;
const int M=100000+10;
const int MOD=1e9+7;
const double PI = acos(-1.0);
const double EXP = 1E-8;
const int INF = 0x3f3f3f3f;
int t,n,m,k,p,l,r,u,v;
int ans,cnt,flag,temp,sum;
int a[N];
char str;
struct node{};
int main()
{
#ifdef DEBUG
	freopen("input.in", "r", stdin);
	//freopen("output.out", "w", stdout);
#endif
    //ios::sync_with_stdio(false);
    //cin.tie(0);
    //cout.tie(0);
    //scanf("%d",&t);
    //while(t--){
    scanf("%d",&n);
    for(int i=1;i<=n;i++){
        scanf("%d",&a[i]);
    }
    for(int i=2;i<=n;i++){
        if(a[i-1]==a[i]){
            cout<<"Infinite"<<endl;
            return 0;
        }
        if(a[i-1]==1){
            if(a[i]==2){
                ans+=3;
            }else{
                ans+=4;
            }
        }else if(a[i-1]==2){
            if(a[i]==1){
                ans+=3;
            }else{
                cout<<"Infinite"<<endl;
                return 0;
            }
        }else{
            if(a[i]==1){
                ans+=4;
            }else{
                cout<<"Infinite"<<endl;
                return 0;
            }

        }
    }
    for(int i=3;i<=n;i++){
        if(a[i-2]==3&&a[i-1]==1&&a[i]==2){
            ans--;
        }
    }
    cout<<"Finite"<<endl;
    cout<<ans<<endl;
    //}

#ifdef DEBUG
	printf("Time cost : %lf s\n",(double)clock()/CLOCKS_PER_SEC);
#endif
    //cout << "Hello world!" << endl;
    return 0;
}