#include<bits/stdc++.h>
using namespace std;
long long m,n,p,q;
int main(){
	cin>>n>>m>>p>>q;
	if((p-1)*n+q<=n*m){
		cout<<"Program ends with return value 0.";
	}else{
		cout<<"Segmentation fault.";
	}
	return 0;
}