#include<bits/stdc++.h>
using namespace std;
int main()
{
    int n,frames;
    
    cin>>n;
    
    vector<int> pageSeq(n);
    
    for(int i=0;i<n;i++){
        cin>>pageSeq[i];
    }
    
    cin>>frames;
    
    
    vector<int> memory;
    
    queue<int> q;
    
    int pageFaults=0;
    
    for(int i=0;i<n;i++){
        
        int page=pageSeq[i];
        
        bool Found=false;
        
        for(int x:memory){
            if(x==page) Found=true; pageFaults++; break;
        }
        
        if(!found ){
            if(memory.size()<frames){
                memory.emplace_back(page);
                q.push(page);
            }
            else{
                int oldest=q.front(); q.pop();
                
                for(int j=0;j<frames;j++){
                    
                    if(oldest==memory[j]){
                        memory[j]=page;
                    }
                }
            }
        }
        
        cout<<"Step "<<i+1<<": "<<endl<<endl;
        
        for(int x: memory) cout<<x<<" "<<endl;
        
        cout<<(found ? "HIT" : "PAGE FAULT")<<endl<<endl;
    }
    
    cout<<"Total Page Faults :"<<pageFaults;
}