好开心又做出一道，看样子做数论一定要先看书，认认真真仔仔细细的看一下各种重要的性质 及其用途，然后第一次接触的题目 边想边看别人的怎么做的，这样做出第一道题目后，后面的题目就完全可以自己思考啦

设要+t次，列出方程  c*t-p*2^k=b-a（p是一个正整数，这里的内存相当于一个长度为2^k的圆圈，满了就重来一圈）

这样子就符合扩展欧几里德的方程基本式了

然后令  c*t-p*2^k=gcd(c,2^k);

gcd=exgcd(c,t0,2^l,p0);

解出t0;那么t=t0*(b-a)/gcd；

那么答案救出来了

#include<iostream>

#include<cstdio>

#include<list>

#include<algorithm>

#include<cstring>

#include<string>

#include<queue>

#include<stack>

#include<map>

#include<vector>

#include<cmath>

#include<memory.h>

#include<set>

#define ll long long

#define LL __int64

#define eps 1e-8

//const ll INF=9999999999999;

#define M 400000100

#define inf 0xfffffff

using namespace std;

//vector<pair<int,int> > G;

//typedef pair<int,int> P;

//vector<pair<int,int>> ::iterator iter;

//

//map<ll,int>mp;

//map<ll,int>::iterator p;

//vector<int>G[30012];

LL extgcd(LL a,LL &x,LL b,LL &y)

{

	if(b==0)

	{

		x=1;

		y=0;

		return a;

	}

	LL r=extgcd(b,x,a%b,y);

	LL t=x;

	x=y;

	y=t-a/b*y;

	return r;

}

int main(void)

{

	LL a,b,c,k;

	while(cin>>a>>b>>c>>k)

	{

		if(a+b+c+k == 0)

			break;

		LL MOD=(LL)1<<k;//这里要强制转化，坑了我好多遍，倒霉

		LL t0,p0;

		LL gcd=extgcd(c,t0,MOD,p0);

		LL m=b-a;

		if(m%gcd!=0)

		{

			puts("FOREVER");

			continue;

		}

		LL t=(t0*m/gcd+MOD)%MOD;//这里一定要注意，最好每一道题目都加上MOD在模MOD，因为有可能t0值是负的

		t=(t%(MOD/gcd)+(MOD/gcd))%(MOD/gcd);//这里要模的值要看清楚 是MODgcd，而不是MOD；

		cout<<t<<endl;

	}

}