#include<iostream>
using namespace std;
int main()
{
    long long a,b,c,d;
    cin>>a>>b>>c>>d;
    if(c>a || d>b)
        cout<<"Segmentation fault.";
    else
        cout<<"Program ends with return value 0.";
    return 0;
}