Problem:
Problem A: Luck Manipulator

Nathan O. Davis くんは，あるゲームを攻略中であり，非常にレアなアイテムを手に入れようと四苦八苦していた．このレアなアイテムは，カジノのスロットマシーンで特殊な絵柄を一列に揃えたときに手に入れることができる．スロットマシーンには N 個のリールがあり，ボタンを一回押すと現在回転している最も左側のリールが停止する．そのため，このレアアイテムを手に入れるためには N 回ボタンを押す必要がある．また，特殊な絵柄で停止させるためにはあるタイミングでボタンを押す必要がある．ところが，このボタンを押すタイミングは非常にシビアであるため，なかなか上手くいかずに困っていた．そこで，Nathan くんはメモリビューアを利用して，ゲーム中におけるメモリの値を確認しながらゲームを解析することにした．

Nathan くんの解析の結果，その特殊な絵柄でリールを停止させるためには，ボタンが押された時に，メモリの 007E0D1F 番地に書き込まれた「乱数」が特定の値になっている必要があることを突き止めた．乱数の値は 1 フレーム毎に線形合同法によって変化しており，またボタンが押されたかどうかの判定は 1 フレーム毎に 1 回行われていることも分かった．ここで，線形合同法とは擬似乱数を生成するための方法の一つであり，以下の式によって値を決定する．

x' = (A × x + B) mod C

ここで，x は現在の乱数の値，x' は次の乱数の値，A, B, C は何らかの定数である．また，y mod z は y を z で割ったときの余りを表す．

例えば，2 個のリールを持つスロットマシーンで A = 5，B = 7，C = 11 で，最初の「乱数」の値が 10 であったとする．そして，特殊な絵柄でリールを止めるための条件は，左側のリールが 2，右側のリールが 4 であったとする．このとき，1 フレーム目における乱数の値は (5 × 10 + 7) mod 11 = 2 であるため，1 フレーム目にボタンを押せば左側のリールは特殊な絵柄で停止する．続く 2 フレーム目での乱数の値は (5 × 2 + 7) mod 11 = 6 であるから，2 フレーム目にボタンを押しても右側のリールは特殊な絵柄では停止しない．続く 3 フレーム目では乱数の値が (5 × 6 + 7 ) mod 11 = 4 になるので，3 フレーム目にボタンを押せば右側のリールは特殊な絵柄で停止する．よって，最短 3 フレームで全てのリールを特殊な絵柄で停止されることができ，レアなアイテムを手に入れることができる．

あなたの仕事は，最短で何フレーム目に全てのリールを特殊な絵柄で停止させることができるかを求めるプログラムを書いて，Nathan くんがレアなアイテムを手に入れられるよう助けてあげることである．

Input

入力は複数のデータセットからなる．各データセットは次の形式で与えられる．

N A B C X

Y1 Y2 ... YN

最初の行には 5 つの整数 N (1 ≤ N ≤ 100) ，A, B (0 ≤ A, B ≤ 10,000)，C (1 ≤ C ≤ 10,000) ，X (0 ≤ X < C) がそれぞれ 1 つの空白文字で区切られて与えられる．ここで，X は最初の乱数の値を表す．続く行では，N 個の整数 Y1, Y2, ... , YN (0 ≤ Yi ≤ 10,000) が 1 つの空白文字で区切られて与えられる．これらは，リールを特定の絵柄で止めるための条件を表しており，その第 i 番目の数 Yi は，左から i 番目のリールを特殊な絵柄で停止するためには，乱数の値が Yi である必要がある，いう意味である．

入力の終わりは，空白で区切られた 5 つの 0 を含む 1 行で示される．

Output

各データセットについて，特殊な絵柄で停止させるために必要となる最短のフレーム数を 1 行に出力せよ．なお，10,000 フレーム以内に停止させることができない場合は，フレーム数の代わりに -1 を出力せよ．出力に余計な空白や改行を含めてはならない．

Sample Input

1 5 7 11 10
10
2 5 7 11 10
2 4
2 1 1 256 0
128 255
2 0 0 1 0
1234 5678
2 1 1 100 0
99 98
2 1 1 100 0
99 99
2 1 1 10000 0
1 0
2 1 1 10000 0
2 1
0 0 0 0 0

Output for the Sample Input

0
3
255
-1
198
199
10000
-1

Solution in JAVA (judge verdict: Accepted)

import java.util.ArrayDeque;
import java.util.Scanner;
import java.util.function.LongSupplier;
import java.util.stream.Collectors;
import java.util.stream.IntStream;

public class Main{
	static final Scanner s=new Scanner(System.in);
	static final long[] fal_rnd(long[] ar,LongSupplier sp){
		int l=-1,r=ar.length;
		while(l+1!=r)
			ar[Math.random()<0.5?++l:--r]=sp.getAsLong();
		return ar;
	}
	static final IntStream REPS(int v){return IntStream.range(0, v);};
	public static void main(String[] __){
		cases:
		while (true) {
			final int n=s.nextInt(),a=s.nextInt(),b=s.nextInt(),c=s.nextInt(),x=s.nextInt();
			if(n+a+b+c+x==0) return;
			final ArrayDeque<Integer> in=REPS(n).mapToObj(v->s.nextInt()).collect(Collectors.toCollection(ArrayDeque<Integer>::new));
			final int[]rnd=IntStream.iterate(x,v->(a*v+b)%c).limit(10001).toArray();
			for(int i=0;i<=10000;i++){
				if(in.peekFirst()==rnd[i])
					in.pollFirst();
				if(in.isEmpty()) {
					System.out.println(i);
					continue cases;
				}
			}
			System.out.println(-1);
		}
	}
}