(*
*)
MODULE Test;
IMPORT SYSTEM, Services, StdLog;
CONST
M = 7;
N = 25;
s = 7;
t = 15;
mag01 = BITS(8EBFD028H);
b = BITS(2B5B2500H);
c = BITS(0DB8B0000H);
count = 400
000
000
;
kMax = 50;
VAR
x: ARRAY 25 OF SET;
time: LONGINT;
PROCEDURE
Do*
;
VAR
i: INTEGER;
j, k: LONGINT;
string: ARRAY 20 OF CHAR;
BEGIN
k := 0;
WHILE k < kMax DO
StdLog.String("k = "); StdLog.Int(k); StdLog.Int(count * N); StdLog.String(" iterations took ");
time := Services.Ticks();
j := 0;
WHILE j < count DO
i := 0;
WHILE i < N - M DO
IF MIN(SET) IN x[i] THEN
x[i] := x[i + M] / SYSTEM.LSH(x[i], - 1) / mag01
ELSE
x[i] := x[i + M] / SYSTEM.LSH(x[i], - 1)
END;
INC(i)
END;
WHILE i < N DO
IF MIN(SET) IN x[i] THEN
x[i] := x[i + M - N] / SYSTEM.LSH(x[i], - 1) / mag01
ELSE
x[i] := x[i + M - N] / SYSTEM.LSH(x[i], - 1)
END;
INC(i)
END;
INC(j);
END;
time := (Services.Ticks() - time) DIV Services.resolution;
StdLog.Int(time); StdLog.String("s"); StdLog.Ln;
i := 0;
WHILE i < N DO
StdLog.String("x["); StdLog.Int(i); StdLog.String("] := ");
StdLog.Set(x[i]); StdLog.String(";"); StdLog.Ln;
INC(i)
END;
INC(k)
END
END Do;
BEGIN
(* x[0] := BITS(95F24DABH);
x[1] := BITS(0B685215H);
x[2] := BITS(0E76CCAE7H);
x[3] := BITS(0AF3EC239H);
x[4] := BITS(715FAD23H);
x[5] := BITS(24A590ADH);
x[6] := BITS(69E4B5EFH);
x[7] := BITS(0BF456141H);
x[8] := BITS(96BC1B7BH);
x[9] := BITS(0A7BDF852H);
x[10] := BITS(0C1DE75B7H);
x[11] := BITS(8858A9C9H);
x[12] := BITS(2DA87693H);
x[13] := BITS(0B657F9DDH);
x[14] := BITS(0FFDC8A9FH);
x[15] := BITS(8121DA71H);
x[16] := BITS(8B823ECBH);
x[17] := BITS(885D05F5H);
x[18] := BITS(4E20CD47H);
x[19] := BITS(5A9AD5D9H);
x[20] := BITS(512C0C03H);
x[21] := BITS(0EA857CCDH);
x[22] := BITS(4CC1D30FH);
x[23] := BITS(8891A8A1H);
x[24] := BITS(0A6B7AADBH);*)
(* state after 5*10^11 samples *)
(*x[0] := {0..2, 9..13, 16..18, 21, 25, 26, 28};
x[1] := {3, 7..9, 11, 12, 14..16, 18..20, 24, 29, 31};
x[2] := {0, 3..6, 8, 9, 11, 17, 20..22, 24, 26, 28, 29};
x[3] := {0, 4..6, 9, 11, 12, 16, 21, 23, 27, 30};
x[4] := {1, 3, 6, 8, 10, 12, 13, 17, 22..25, 27..31};
x[5] := {2, 4, 5, 9, 12, 13, 15..21, 24, 26, 31};
x[6] := {0, 2, 5, 7..10, 13..16, 22..26, 29, 30};
x[7] := {1, 3, 6, 8, 10, 12, 14, 21..24, 26..28, 30};
x[8] := {0..2, 4..7, 10..13, 17, 19, 22, 25, 28..31};
x[9] := {2, 5, 6, 8, 9, 11, 13, 16..20, 23, 24, 26..29};
x[10] := {5, 6, 8, 10, 11, 16, 18, 19, 21, 23..25, 27..30};
x[11] := {0, 3, 4, 7, 13, 20, 21, 23, 24, 27, 30};
x[12] := {1, 4..6, 10, 11, 14..18, 20..23, 26, 29, 31};
x[13] := {0, 2, 4, 6, 10, 11, 13..15, 17, 19, 20, 22, 23, 28..30};
x[14] := {0, 2..6, 8, 11, 12, 14..16, 19, 23..25, 27, 28, 30, 31};
x[15] := {0, 2, 4, 8, 9, 13..15, 17, 19..22, 24, 26..29};
x[16] := {1..3, 5, 7, 8, 10, 14, 15, 21, 23..26, 28, 30};
x[17] := {0, 10, 12..14, 17..21, 27..29, 31};
x[18] := {0, 7, 10, 13..16, 19, 21, 26, 28, 30};
x[19] := {0, 1, 4, 8..10, 12, 13, 16, 18..21, 23, 24, 27, 29..31};
x[20] := {0, 1, 3, 5, 8, 11..16, 20..24, 27, 29..31};
x[21] := {0, 3, 5, 7..9, 11, 15..17, 22, 25, 26, 28, 31};
x[22] := {0, 2, 4, 6..8, 11, 13, 14, 16, 17, 23, 24, 26, 27, 29..31};
x[23] := {1, 5, 9, 10, 19..21, 23, 25..29};
x[24] := {0..3, 5..7, 9, 10, 14, 16, 19, 20, 22..25, 27, 29, 31};*)
(* state after 10*10^11 samples *)
(*x[0] := {0..4, 6, 7, 11, 13, 14, 20, 22..27, 29, 30};
x[1] := {0..4, 6, 8, 15, 17, 19, 20, 22..24, 26, 29};
x[2] := {0, 2, 4, 6, 10, 12, 14, 16, 17, 19, 21..24, 28, 30};
x[3] := {1, 4, 5, 8..11, 16, 17, 19, 24, 31};
x[4] := {4..9, 18..23, 25, 28, 29, 31};
x[5] := {3..5, 7, 9, 11, 13, 14, 16, 18..20, 22, 23, 26, 28..30};
x[6] := {1, 4, 5, 7, 9, 12, 13, 18..22, 26, 28, 29};
x[7] := {1..4, 8..14, 17, 20, 25, 29, 30};
x[8] := {1..3, 7, 13..15, 18..24, 27, 31};
x[9] := {0, 2, 7, 10, 13..15, 19, 21, 23, 26, 27};
x[10] := {0, 2..6, 8, 10, 11, 15, 16, 21, 23, 25..27, 29, 31};
x[11] := {3, 8, 9, 11, 13, 15, 19, 22, 26, 28, 30, 31};
x[12] := {0, 1, 4, 7, 13, 14, 20, 22..24, 27, 31};
x[13] := {2, 3, 6, 7, 9, 12, 13, 19, 22..26, 30};
x[14] := {1..4, 7..13, 16, 18, 20, 22, 23, 25, 26, 28, 31};
x[15] := {0, 1, 6, 8..12, 17, 19, 20, 23, 24, 26, 28..30};
x[16] := {3, 6..8, 12, 14, 15, 20..24, 26, 28..31};
x[17] := {0, 1, 3, 5..7, 9, 14..23, 25, 27, 29, 30};
x[18] := {0, 2, 3, 6..8, 10, 17, 18, 20, 23, 24, 26, 28};
x[19] := {1..4, 7, 8, 11, 14, 15, 17..19, 22, 24, 26..30};
x[20] := {3, 8, 11, 16, 17, 21, 23, 24, 26..28};
x[21] := {0..3, 5, 6, 10, 12, 13, 16, 24, 26, 28, 30, 31};
x[22] := {0, 4, 7..9, 11..14, 16, 17, 21..23, 25, 27, 29..31};
x[23] := {0, 2, 3, 6..9, 12, 15, 16, 18, 19, 21, 23, 25, 26, 29, 31};
x[24] := {0, 2, 9, 10, 12, 14, 18, 22, 24, 26, 27, 30, 31};*)
(* state after 15*10^11 samples *)
(*x[0] := {0, 2, 5, 6, 10, 12, 18, 19, 21, 23, 25, 28..31};
x[1] := {0, 6, 8..11, 13, 16, 18, 20, 22..31};
x[2] := {0, 2, 7, 9..11, 14, 15, 17, 20..22, 24, 28, 29, 31};
x[3] := {2, 4, 6..9, 12..14, 16, 18, 19, 21, 24, 25, 27, 31};
x[4] := {0, 1, 3, 5..7, 9, 10, 12..14, 23..27, 29, 30};
x[5] := {1..7, 9, 12, 13, 15, 17..20, 27, 28, 30};
x[6] := {1, 2, 5, 9..12, 15, 18, 23, 25, 29, 30};
x[7] := {0, 1, 3..8, 12, 19, 22, 25, 27..29, 31};
x[8] := {0, 3..5, 8, 12, 15, 19..25, 27, 28, 31};
x[9] := {0, 3..5, 7, 8, 11..13, 15..19, 21, 23..25, 27..31};
x[10] := {0, 2..4, 8..15, 19, 22, 24, 27, 28};
x[11] := {0, 3, 4, 7..10, 12, 13, 16, 19, 20, 22, 24, 27, 29};
x[12] := {0, 3..5, 8, 10, 12, 13, 16, 17, 20, 26, 27, 30};
x[13] := {0..3, 7, 8, 10, 14, 15, 19, 20, 22..25, 27, 29, 30};
x[14] := {0, 1, 4..9, 13, 16, 19, 20, 22, 26, 28..31};
x[15] := {0, 2, 14, 16, 17, 19, 21..24, 26, 27};
x[16] := {1, 2, 7, 8, 10, 11, 14..16, 18, 21, 22, 24, 26, 28, 30};
x[17] := {0, 2, 6, 8, 10, 11, 20..22, 24..30};
x[18] := {2, 4..14, 16..18, 20, 22, 25, 29, 30};
x[19] := {0, 3, 6, 12, 13, 15, 17, 18, 20, 22..26, 30};
x[20] := {0, 1, 3, 5, 6, 8, 10, 12, 13, 15, 18, 21, 22, 25, 28, 30};
x[21] := {0, 2, 4, 5, 7, 8, 11..13, 15, 22..24, 27..31};
x[22] := {1, 4, 5, 7..11, 13, 15, 17, 19, 20, 23, 28, 29};
x[23] := {0, 2, 5..8, 12..15, 17, 20..23, 26, 28, 31};
x[24] := {0, 2, 3, 7, 9, 11, 12, 16, 18..20, 23, 25, 29..31};*)
(* state after 20*10^11 samples *)
(*x[0] := {1, 6, 8, 11, 13, 14, 16, 17, 20, 23, 29};
x[1] := {5, 12, 14, 15, 17..19, 22..26, 29};
x[2] := {0, 2, 5..7, 9, 10, 12..14, 19, 20, 24, 25, 31};
x[3] := {0, 1, 4, 6, 8, 12..17, 20, 24, 27, 29, 31};
x[4] := {0..4, 8..12, 14..16, 20, 22..24, 26..28, 30};
x[5] := {0, 1, 6, 8, 11..13, 15, 19, 21, 24, 27..29, 31};
x[6] := {0, 2, 3, 6, 8, 10, 12..15, 17, 18, 20, 21, 23, 25, 30, 31};
x[7] := {0, 5..8, 10, 12..16, 18, 22, 24, 25, 27};
x[8] := {2, 5, 7..13, 15, 16, 18, 19, 24, 29};
x[9] := {2, 3, 6..8, 10..13, 17, 19..22, 25, 26, 28..31};
x[10] := {0, 2, 3, 8, 11..14, 23, 25, 28};
x[11] := {4, 5, 8..12, 14..17, 21..24, 27, 31};
x[12] := {3, 4, 6..8, 16..21, 23, 24, 26, 29};
x[13] := {0..2, 4, 5, 9..13, 15, 17, 18, 22, 24, 27..29, 31};
x[14] := {1, 7, 8, 10..17, 19, 21, 24, 25, 27, 28, 30};
x[15] := {0, 1, 3..5, 7, 8, 14, 18, 19, 21, 23, 25..27, 29, 31};
x[16] := {0..2, 4, 5, 8..11, 13, 17, 19, 21, 22, 26, 29, 30};
x[17] := {2..4, 8..12, 14..16, 18, 21, 23..25, 27..29};
x[18] := {1..4, 6..10, 13, 15, 18..20, 22..24, 29, 30};
x[19] := {0..3, 6, 8, 9, 11..14, 17, 18, 21, 23..26, 31};
x[20] := {1, 2, 7, 8, 11..13, 15, 17, 18, 23, 26, 27, 29, 30};
x[21] := {1..3, 5, 6, 8, 10, 12..17, 23, 26..31};
x[22] := {0..6, 8, 10, 16..23, 26, 27};
x[23] := {1..3, 6, 7, 10, 12, 15, 19, 20, 23, 26..28, 30};
x[24] := {2..4, 6, 7, 13, 14, 18, 22..24, 26, 27, 29};*)
(* state after 25*10^11 samples *)
(*x[0] := {1..3, 8, 10..13, 15..17, 21..24, 27, 29};
x[1] := {0, 2, 3, 5..7, 9, 10, 12, 15, 20, 23..25, 29};
x[2] := {0..2, 5, 7, 10, 11, 15, 17, 20, 22, 25, 28..30};
x[3] := {1, 3, 9..13, 16..18, 21, 24, 28..30};
x[4] := {0, 3, 6, 8, 10..12, 19, 21, 24, 27, 29};
x[5] := {0, 1, 3, 6..8, 11, 13, 17, 20, 23, 25, 26, 29, 30};
x[6] := {1, 4, 7, 9, 13, 19, 20, 22, 24, 26..29, 31};
x[7] := {1, 2, 4..6, 9..17, 25, 29..31};
x[8] := {0, 1, 5, 6, 9, 10, 14, 17, 19, 21, 22, 26, 27, 30};
x[9] := {2..4, 7, 10, 11, 13, 14, 16, 17, 19..22, 25, 27, 28, 30, 31};
x[10] := {0, 1, 5, 6, 13, 15, 16, 19, 20, 22, 23, 25..28, 31};
x[11] := {1, 2, 4, 11, 13..15, 17, 18, 20, 21, 24..26, 28, 29};
x[12] := {3, 5, 6, 9, 13..17, 20, 21, 27, 29, 31};
x[13] := {1, 4..7, 10..12, 14, 16, 18..22, 25, 26, 28, 30, 31};
x[14] := {0..3, 6, 11, 12, 14..19, 21, 24, 25, 27..29};
x[15] := {0, 2..6, 10, 12, 14, 16, 18, 22, 30, 31};
x[16] := {1..3, 5..8, 10, 14, 16..22, 29, 30};
x[17] := {1, 2, 6..11, 13, 22, 24, 26, 27, 29, 31};
x[18] := {1, 2, 4..9, 15, 17..19, 21, 23..27, 31};
x[19] := {0, 2, 4, 7, 9..12, 14..16, 18, 21, 25, 27, 30, 31};
x[20] := {0..2, 4..6, 10, 12, 16..19, 21, 22, 24..26, 28..30};
x[21] := {0, 2..4, 6, 7, 9, 15, 17, 19, 21..24, 27, 28, 30};
x[22] := {4..7, 11, 16, 19, 20, 22, 24..26, 28..30};
x[23] := {2, 5, 11, 13, 20, 21, 24, 26, 28, 29};
x[24] := {2, 3, 5, 6, 9..15, 17..19, 21, 24, 25, 28, 30};*)
(* state after 30*10^11 samples *)
(*x[0] := {0, 2..4, 9, 10, 12, 13, 17, 19..22, 25, 26, 31};
x[1] := {0, 4, 6..8, 10, 11, 13, 15, 18, 19, 26, 27, 31};
x[2] := {1, 5, 8..10, 15..17, 19, 21, 22, 24, 25, 30};
x[3] := {2, 4..9, 11, 12, 14, 20, 23..25, 30};
x[4] := {1..3, 5..7, 9, 13, 15..17, 19..25, 27, 28};
x[5] := {2, 5, 7, 10, 12, 13, 18, 22, 24..27, 31};
x[6] := {3, 4, 6, 7, 9, 10, 12, 14, 16, 17, 19..22, 30};
x[7] := {1, 7, 8, 17, 19, 25, 26, 29, 31};
x[8] := {0, 4, 7, 9..11, 13, 16, 17, 20, 22, 27, 28, 30};
x[9] := {1..4, 7, 9, 13, 15..17, 19, 23, 25, 30, 31};
x[10] := {0..4, 6, 8..10, 14, 15, 18, 19, 23, 24, 26, 28, 29, 31};
x[11] := {0, 2, 4, 7, 9, 12, 14, 15, 17, 19, 21, 23..26, 29, 30};
x[12] := {0, 1, 3, 7, 8, 10..12, 14, 16, 20, 21, 26, 28};
x[13] := {2, 3, 5, 6, 8, 10, 11, 13, 15..17, 20, 24, 25, 27, 28, 30, 31};
x[14] := {0..2, 6..8, 10..12, 14, 16..18, 20, 24, 25, 27, 28, 30};
x[15] := {0..3, 8..11, 14, 16, 18..20, 24, 25, 28..31};
x[16] := {2..5, 8, 16, 17, 21..23, 26, 28, 30};
x[17] := {0, 1, 6, 7, 11, 13, 16..19, 21, 24, 26};
x[18] := {3, 4, 14, 15, 22..26};
x[19] := {0, 3, 6, 8, 11..13, 16, 17, 21..23, 25..28};
x[20] := {1, 3..5, 7, 11, 12, 19, 20, 22, 23, 25, 28, 29, 31};
x[21] := {2..5, 8..10, 14, 17, 18, 20, 21, 24..29, 31};
x[22] := {1, 9, 14, 17, 20..23, 25, 26, 28};
x[23] := {0..2, 4, 6, 7, 9, 11, 14, 17..22, 25, 27, 28, 30};
x[24] := {1..4, 6, 10..12, 18..24, 26, 29..31};*)
(* state after 35*10^11 samples *)
(*x[0] := {0, 3, 5..7, 10..12, 15, 17, 18, 23..28, 30, 31};
x[1] := {4..6, 8, 9, 13, 15, 20, 22, 23, 25, 26, 28};
x[2] := {2, 6..9, 12..14, 16, 17, 20, 21, 23..29};
x[3] := {0, 2, 6, 7, 9..11, 14..16, 19, 20, 22, 24, 26, 28, 29, 31};
x[4] := {1, 4, 6, 7, 10, 11, 14..17, 19, 21..25, 28};
x[5] := {0, 2..4, 7, 9..11, 14, 16, 17, 20, 22, 24..31};
x[6] := {2, 5, 6, 8, 10, 12..15, 20, 22..24, 26, 28..31};
x[7] := {0, 1, 8, 10, 12..14, 17..19, 24, 25, 27..30};
x[8] := {0, 1, 5, 6, 10, 12, 15, 16, 19..22, 26, 28..30};
x[9] := {0..7, 10, 11, 15, 16, 18, 19, 24, 26..28, 31};
x[10] := {0, 1, 3, 5..10, 12, 14..16, 18, 20, 21, 24, 25, 27..31};
x[11] := {0, 2, 5, 6, 8, 10..13, 15, 18..22, 26, 29, 30};
x[12] := {0..3, 7..10, 13, 15..18, 22..24, 26, 27, 29, 30};
x[13] := {2, 7..9, 11, 16..18, 23..26};
x[14] := {7, 8, 10, 12, 15, 16, 18..20, 22..24, 29, 31};
x[15] := {1, 2, 5, 7, 9, 10, 12, 13, 15, 16, 20, 22, 23, 25, 26, 30, 31};
x[16] := {0, 2, 7, 9..11, 14, 15, 17, 19, 21, 24, 25, 27..29};
x[17] := {7, 9, 10, 12, 17, 18, 21, 29..31};
x[18] := {2..5, 7, 10, 11, 13, 14, 16, 17, 19, 20, 23, 25..28, 30};
x[19] := {3..5, 8, 13..17, 19, 21, 23..26, 28};
x[20] := {0, 1, 3, 10..17, 21, 23, 24, 26, 27, 29..31};
x[21] := {0..3, 6, 9, 12, 14..18, 20, 22, 24, 26, 29, 31};
x[22] := {0, 5, 9, 12, 16, 18, 23, 25, 29, 31};
x[23] := {2..4, 7, 8, 14, 16..18, 20, 21, 23, 27, 28, 31};
x[24] := {0, 1, 5, 9, 13, 14, 16, 22, 26, 27, 29, 31};*)
(* state after 40*10^11 samples *)
(*x[0] := {0, 3, 5..8, 11..13, 15, 16, 20, 21, 25, 29};
x[1] := {1, 4, 6, 7, 12..16, 18, 22..24, 31};
x[2] := {0..3, 5, 6, 8, 10..12, 14, 15, 22, 23, 26..28};
x[3] := {1..3, 6..9, 11, 12, 16..19, 21, 24, 27..29};
x[4] := {1, 4, 8, 9, 11..15, 18, 20, 22, 25, 26, 29, 30};
x[5] := {3, 8, 10, 13, 18..20, 23, 26, 30};
x[6] := {0, 1, 5..7, 9, 11, 14, 15, 17..19, 23, 28..30};
x[7] := {1, 2, 6..8, 10, 11, 17, 25..28, 31};
x[8] := {0, 1, 5, 7, 8, 10..13, 15, 17..21, 25, 27, 30, 31};
x[9] := {0..5, 8, 10, 11, 13, 14, 17, 20..22, 24, 27};
x[10] := {0, 1, 4, 6, 9, 11, 13, 15, 16, 18, 19, 22..25, 28..30};
x[11] := {0, 2..4, 10, 13, 14, 16, 19, 20, 22, 26..30};
x[12] := {2..4, 6, 7, 9, 14..16, 18, 20..22, 24, 28, 30, 31};
x[13] := {1..4, 6, 7, 9..15, 20, 22, 24, 27, 30};
x[14] := {0, 3, 4, 6, 9, 11..13, 16, 17, 19..25, 28..30};
x[15] := {0, 4..7, 9..12, 14, 18, 24, 29, 31};
x[16] := {0, 2..4, 7..10, 12..15, 19..21, 24..26};
x[17] := {2, 3, 5, 7, 9, 11, 12, 14..16, 18, 21..23, 26, 28, 29};
x[18] := {1..9, 14, 16..23, 25, 26, 28};
x[19] := {1, 7, 9, 16, 17, 19, 25, 26, 28..30};
x[20] := {0, 4, 6, 7, 10, 13, 14, 16, 17, 22, 23, 27};
x[21] := {1, 3, 5, 9, 10, 12, 14..16, 19..22, 24, 25, 28, 29};
x[22] := {5, 6, 10, 11, 15..17, 19..21, 23, 24, 28, 29};
x[23] := {0..6, 10, 13, 14, 16, 18, 19, 24, 27, 28, 31};
x[24] := {0, 2, 4, 6, 9, 17, 20, 25, 26, 30};*)
(* state after 45*10^11 samples *)
(*x[0] := {0, 1, 3, 4, 8..10, 14, 17, 20, 21, 23, 26, 28, 29, 31};
x[1] := {1..3, 6, 7, 9, 10, 12, 15, 18, 20..22, 25, 28, 30, 31};
x[2] := {0..3, 5..7, 9, 11, 13, 14, 16..18, 20, 22, 23, 25, 26, 28, 29};
x[3] := {0, 6, 9, 10, 12..14, 20, 21, 23, 26, 28, 29, 31};
x[4] := {3, 5, 7, 14, 16, 18, 20, 23, 25, 26, 28, 29};
x[5] := {1..3, 5, 7, 9, 14, 17, 19..24, 27, 28};
x[6] := {1..4, 6, 7, 9..13, 17, 18, 23, 24, 26, 27, 29, 31};
x[7] := {3, 4, 6, 7, 10, 12, 14, 17..19, 22, 24, 27, 29, 30};
x[8] := {1, 2, 4, 5, 8..10, 12, 14, 15, 17, 19, 21, 22, 26, 27, 30};
x[9] := {0..3, 5, 8, 10, 11, 17..20, 22, 23, 27, 28, 30, 31};
x[10] := {3, 8..13, 17..19, 22, 25..27, 29, 31};
x[11] := {0..5, 7, 10, 12, 14, 15, 17, 22..27, 30, 31};
x[12] := {1, 4, 5, 7, 9..11, 13, 16, 19, 20, 22, 23, 25, 27, 28, 31};
x[13] := {1..3, 5, 9..12, 14, 17, 18, 20, 21, 23..26, 30, 31};
x[14] := {1, 9, 10, 15..20, 22..24, 31};
x[15] := {1, 2, 4, 6, 9, 13..16, 18..20, 27, 28};
x[16] := {0, 18, 20..22, 25, 27..30};
x[17] := {1, 2, 4, 15, 17, 18, 21, 23, 24, 26, 29};
x[18] := {0, 2, 5, 7, 8, 10..13, 18, 21, 24..28, 30, 31};
x[19] := {2..6, 10, 11, 19, 22, 25, 30, 31};
x[20] := {2, 7..10, 14, 15, 17, 20..23, 25, 29..31};
x[21] := {2, 4, 5, 7, 11, 12, 14, 15, 17..24, 26..28, 30};
x[22] := {3, 5, 6, 14, 15, 17, 18, 20, 22..24, 26, 27, 29, 30};
x[23] := {0, 1, 4, 8, 11, 12, 15..17, 19, 23, 24, 28, 29};
x[24] := {1..5, 7..10, 14, 16, 19, 23, 24, 29, 30};*)
(* state after 50*10^11 samples *)
(*x[0] := {0..2, 5, 7, 12, 13, 18, 19, 25..28, 31};
x[1] := {1, 3, 5, 6, 9, 12, 15, 16, 19, 22..24, 27, 29, 31};
x[2] := {0, 1, 5, 7, 8, 10..12, 14, 16..19, 21, 23..25, 27, 29, 31};
x[3] := {1, 4, 5, 7, 13, 15, 20..22, 24, 25, 28, 30};
x[4] := {4..6, 9, 11, 12, 16, 20, 22..24, 27, 28, 30};
x[5] := {1, 2, 4, 6..12, 14, 16..19, 22, 27..31};
x[6] := {0, 4..6, 8..11, 13..16, 18, 19, 21, 25, 30, 31};
x[7] := {3, 6, 8, 9, 15, 16, 19..22, 24, 27..29, 31};
x[8] := {1, 3, 6, 8, 10, 11, 13..15, 17, 19, 20, 23, 24, 26, 29, 30};
x[9] := {0..2, 4, 5, 7, 9, 13, 15..17, 19..21, 25..28, 30, 31};
x[10] := {0, 2, 3, 6, 7, 9, 14, 15, 18, 20..24, 31};
x[11] := {0..7, 11..13, 15..17, 21, 22, 24, 25, 27..29, 31};
x[12] := {3, 8, 10..13, 15, 20, 21, 26, 28, 29};
x[13] := {0, 2..5, 11, 12, 15, 21, 22, 25, 27, 28, 30};
x[14] := {1, 2, 4, 11..13, 19, 20, 23..26, 30, 31};
x[15] := {2, 4, 8, 9, 11, 14, 17..19, 21, 23, 25, 26, 28..31};
x[16] := {0, 3, 4, 6, 8..11, 14..17, 21, 24, 26, 30};
x[17] := {0, 3, 4, 6, 7, 10, 12, 14, 18, 20, 23, 30, 31};
x[18] := {1, 3, 6, 7, 9, 10, 13..16, 20..22, 24, 30};
x[19] := {1, 2, 6, 10, 12, 13, 16, 18, 20, 21, 24, 27, 29};
x[20] := {0, 2, 3, 5, 6, 8, 11, 13, 14, 18, 19, 21, 24, 26..31};
x[21] := {0, 2, 6, 12, 13, 17, 19, 24..28, 30, 31};
x[22] := {0, 2, 4, 6..12, 15..18, 20, 23, 25, 29};
x[23] := {0, 1, 3, 7, 11, 12, 14..18, 29..31};
x[24] := {0..3, 5, 8, 10, 12, 15, 17, 24, 25, 28..30};*)
(* state after 55*10^11 samples *)
(*x[0] := {1, 5, 7, 8, 11, 16, 18, 20, 21, 23, 28..31};
x[1] := {2, 3, 8, 17, 23, 24, 26, 30, 31};
x[2] := {2, 5, 7, 11, 13, 15, 16, 21, 24..26, 30};
x[3] := {0, 1, 5..7, 9, 15..18, 20..22, 30};
x[4] := {4, 5, 8, 9, 11..13, 15, 19, 23, 25..29, 31};
x[5] := {0, 1, 3, 5, 8..11, 19, 21..23, 26, 29, 30};
x[6] := {3, 5..7, 10, 12, 14, 18, 19, 21..23, 25, 26, 30, 31};
x[7] := {0, 1, 3, 4, 11, 15, 17..19, 27, 29, 31};
x[8] := {0, 4, 7, 8, 12, 14, 17, 19, 21..24, 27..29};
x[9] := {5, 8, 12, 15..21, 25..29};
x[10] := {0, 4, 5, 12, 14, 15, 19, 20, 22, 23, 26};
x[11] := {0, 2..4, 7, 8, 10, 11, 14, 17..19, 21, 25, 28, 29};
x[12] := {1, 3, 7..10, 13, 16..18, 20, 22..26, 28, 30};
x[13] := {2, 5, 8, 12, 15..17, 19, 23, 25..27};
x[14] := {0, 1, 7, 10, 14, 16..18, 20, 21, 24, 26, 27, 30, 31};
x[15] := {0, 1, 4, 8..10, 13, 16, 17, 19, 21, 22, 24, 25, 27, 30};
x[16] := {0, 2, 5, 6, 8, 10, 13, 15..17, 19, 21, 22, 25, 30, 31};
x[17] := {0, 1, 6, 7, 12, 13, 17, 24, 26, 28, 30};
x[18] := {0, 2..7, 11, 12, 14, 16, 18, 22, 26, 28, 29};
x[19] := {1, 3, 5..8, 12, 13, 15, 18, 20..23, 27, 31};
x[20] := {1, 3, 5..7, 13, 14, 18, 21, 22, 25, 28..31};
x[21] := {0, 2, 5, 7, 8, 13, 19..21, 25, 26, 28..30};
x[22] := {0, 6..8, 13, 14, 18, 20..24, 28, 29};
x[23] := {1..3, 5, 7, 12, 13, 17..20, 22, 23, 25..28, 30};
x[24] := {0, 2, 5, 6, 12, 14..16, 19, 22..26, 30, 31};*)
(* state after 60*10^11 samples *)
(*x[0] := {0..2, 6, 8, 10, 11, 16, 19, 22, 23, 25..29};
x[1] := {2..5, 7..12, 14, 16, 21, 25..28};
x[2] := {0, 5, 6, 8..11, 13..16, 22..24, 30};
x[3] := {1, 3..5, 10, 12, 15, 17, 20, 21, 25, 26, 29};
x[4] := {2..5, 7, 8, 12..14, 16, 17, 20, 21, 24, 27, 29..31};
x[5] := {0, 2..4, 9..12, 14, 15, 19, 21, 23, 24, 27..30};
x[6] := {1, 3, 4, 9, 11..14, 18, 19, 25, 26, 29, 31};
x[7] := {0, 1, 3, 5..8, 10..14, 20, 22, 25, 28, 31};
x[8] := {0..3, 6, 9, 11, 15, 17, 19..21, 25..31};
x[9] := {0, 2, 5, 9, 11, 12, 16, 19..21, 25, 27, 28, 30, 31};
x[10] := {4, 7..9, 14, 17, 18, 21, 25, 28..31};
x[11] := {1, 2, 5, 6, 8, 11..13, 16..18, 20, 22, 23, 25, 27};
x[12] := {0, 6..8, 13, 15, 17, 18, 20..23, 25, 26, 29, 31};
x[13] := {0..5, 11, 13, 14, 17..21, 23..25, 27..29};
x[14] := {5, 7, 9, 12, 14, 20, 21, 23..26, 29, 31};
x[15] := {6, 9, 12, 16..20, 22, 24..28, 30, 31};
x[16] := {2..4, 6, 8, 11, 16, 17, 19, 20, 22, 23, 25, 26, 28, 29};
x[17] := {0, 6, 10..12, 15..22, 24, 25, 27..29};
x[18] := {0, 2, 3, 5, 8, 11, 13, 14, 16, 17, 19, 20, 22..24, 26, 28..31};
x[19] := {0, 1, 4, 5, 7, 8, 13..15, 18, 20, 22, 24..28, 30, 31};
x[20] := {0, 1, 4, 5, 11, 12, 19, 20, 23..27};
x[21] := {1, 3..5, 8, 10, 15, 19, 20, 22, 24, 27, 29, 31};
x[22] := {0, 2, 4, 6, 8, 10, 11, 13..15, 18, 20, 22, 26..28, 30};
x[23] := {0, 5, 6, 10..12, 15..21, 24, 26, 29};
x[24] := {1, 3, 5, 6, 8, 9, 13, 14, 17, 19, 20, 22, 27..31};*)
(* state after 65*10^11 samples *)
(*x[ 0] := {3..6, 8, 11..14, 16, 20, 22, 24, 26..28, 30, 31};
x[ 1] := {0, 1, 9, 12..20, 22, 26, 29, 31};
x[ 2] := {0, 2, 4, 11, 13, 14, 18, 22, 25, 27, 29..31};
x[ 3] := {2..5, 8, 9, 12, 17, 19, 20, 24..29, 31};
x[ 4] := {1, 2, 5, 7, 9..12, 14, 18..20, 23..25, 27, 29..31};
x[ 5] := {0..5, 7..9, 12..17, 19, 22, 26, 28, 30, 31};
x[ 6] := {2, 3, 5..7, 11, 14, 16, 17, 20, 21, 23, 24};
x[ 7] := {0, 2, 4..6, 8, 10, 12..16, 19, 22, 24, 29, 31};
x[ 8] := {1, 2, 4, 5, 11, 16, 18..20, 23, 31};
x[ 9] := {0..2, 7..10, 12, 16, 17, 19, 20, 25, 27, 29..31};
x[ 10] := {0, 2..4, 8, 9, 11, 13, 14, 19..21, 23, 24, 26..29};
x[ 11] := {0, 1, 4, 6, 9..12, 14, 16, 17, 19, 20, 22..28, 31};
x[ 12] := {0..4, 6..8, 11, 12, 17, 18, 20, 26, 27, 29..31};
x[ 13] := {0, 4, 6, 9, 10, 12, 14, 15, 28, 29, 31};
x[ 14] := {0, 2, 3, 6..8, 10, 13, 14, 18, 19, 21, 24, 25, 27};
x[ 15] := {1, 5, 6, 10, 14, 17, 19, 20, 28, 30};
x[ 16] := {1..3, 6..8, 15, 17, 20, 23, 26, 27, 30, 31};
x[ 17] := {0..4, 7..11, 13, 15, 17, 18, 20..23, 26, 27, 29};
x[ 18] := {0, 1, 3, 4, 6..8, 10..12, 14..16, 18, 25..27, 29, 30};
x[ 19] := {0, 2..6, 8..10, 12, 13, 20..22, 24..28};
x[ 20] := {0..3, 6..8, 11, 14, 17, 18, 21, 22, 27, 28, 31};
x[ 21] := {2..5, 12, 14..20, 24, 27..29};
x[ 22] := {2..5, 8, 17..20, 22, 23, 25, 29, 30};
x[ 23] := {0, 1, 3, 5..10, 12, 14..16, 18, 20, 21, 23..25, 27, 28, 31};
x[ 24] := {0, 4..7, 11, 12, 18, 20, 23, 26, 28..30};*)
(* state after 70*10^11 samples *)
(*x[0] := {0, 3, 6, 10..13, 15, 17..19, 21, 23..26, 28, 30, 31};
x[1] := {0, 1, 3, 7, 10, 12..14, 16, 18, 20, 23, 26, 29, 30};
x[2] := {4, 6, 9, 13, 20, 21, 24..26, 29, 31};
x[3] := {0, 1, 3, 5..7, 10..15, 17, 19, 20, 24, 26, 30, 31};
x[4] := {0, 4..6, 10, 11, 15, 18, 20..22, 27, 28, 30, 31};
x[5] := {0, 4, 6, 8, 13, 15, 19, 23..25, 28, 29};
x[6] := {0, 2, 12, 13, 15, 16, 18, 21, 22, 27..30};
x[7] := {0, 4, 6, 9, 11..13, 16, 18, 22, 23, 26, 29};
x[8] := {3, 5, 6, 9, 10, 14..18, 21..23, 25..28, 31};
x[9] := {1, 5, 7, 9, 11, 12, 14, 15, 17, 18, 20, 21, 23, 25, 26, 31};
x[10] := {6, 7, 9, 11, 12, 17..19, 21, 23, 25, 29};
x[11] := {0, 1, 3, 4, 6, 7, 11, 13, 14, 16, 18, 22, 25, 26, 28..30};
x[12] := {0..2, 4..7, 11, 12, 14, 18..20, 23, 24, 27, 29, 30};
x[13] := {0, 3..7, 9..12, 15, 16, 18, 20..22, 25, 26, 29, 31};
x[14] := {2, 4, 8, 11, 13, 15, 20, 21, 23, 24, 26, 28, 30};
x[15] := {1..7, 9, 10, 12..18, 21..23, 25, 27, 30, 31};
x[16] := {0..6, 8, 10..12, 14, 17, 19, 20, 22, 23, 26, 28, 30};
x[17] := {4, 6, 8, 10, 15, 19, 22, 23, 26, 29..31};
x[18] := {0, 2, 3, 5, 11, 12, 15, 16, 19..22, 25..29, 31};
x[19] := {0..2, 4, 5, 8, 12, 13, 16, 18..21, 26, 27, 29};
x[20] := {0, 6, 11, 16..20, 23, 25..27, 29, 30};
x[21] := {2, 3, 6, 10, 11, 14..19, 23, 25, 27, 31};
x[22] := {0, 2..8, 10, 11, 13, 15, 17, 18, 20, 23, 25..30};
x[23] := {1, 3, 6, 7, 12..14, 16, 17, 19, 22, 25..27, 29, 30};
x[24] := {0, 2, 3, 6, 8, 9, 11, 15, 22, 26..29, 31};*)
(* state after 75*10^11 samples *)
(*x[0] := {2, 4, 9, 12, 13, 15, 17, 18, 20..23, 25, 27, 29};
x[1] := {3, 5, 6, 8..10, 12, 13, 15, 19, 21..23, 26, 28..31};
x[2] := {0, 1, 3, 8..11, 13, 15, 19, 21..24, 27, 28, 30, 31};
x[3] := {2, 3, 6, 8..10, 13, 14, 17, 21, 25..27, 29};
x[4] := {1, 3..6, 8..14, 18, 19, 22, 23, 28, 29, 31};
x[5] := {0, 2..6, 8, 11..14, 18..21, 23..25, 27, 30};
x[6] := {0, 3..5, 7, 8, 14, 15, 17, 19, 20, 22, 23, 26..28, 30, 31};
x[7] := {2, 5, 6, 8, 11, 14..17, 19, 22..24, 27, 29, 30};
x[8] := {0..2, 4..6, 9, 11, 15, 17, 18, 22, 27..29, 31};
x[9] := {0..2, 4..6, 8..10, 14..16, 20, 25, 26, 28, 30, 31};
x[10] := {0, 1, 4, 7..12, 14, 15, 17, 18, 20..22, 25, 27, 30, 31};
x[11] := {0, 2..4, 8, 9, 12, 14..16, 19, 22..24, 26, 28, 31};
x[12] := {0, 4, 6..12, 14, 15, 17, 18, 20..22, 24..29, 31};
x[13] := {2..5, 7, 10..14, 17..21, 24, 25, 28, 30, 31};
x[14] := {0..2, 4..8, 12..15, 17, 18, 20, 21, 25, 26, 28..31};
x[15] := {0..4, 10, 12, 14, 15, 20, 21, 23};
x[16] := {0, 3, 6, 8, 9, 11..15, 17..19, 21..25, 28};
x[17] := {0, 1, 4, 5, 9, 12, 15, 19, 23, 25, 30, 31};
x[18] := {1..4, 6, 9, 10, 12, 18..20, 23, 25, 27, 28};
x[19] := {0, 1, 5, 11, 18..21, 24..26, 28, 30};
x[20] := {3, 5, 7, 9, 13, 14, 17, 18, 20, 21, 25, 27, 28, 30};
x[21] := {0, 1, 3, 4, 6, 7, 9, 12, 16, 18, 20, 21, 24..27, 30};
x[22] := {2, 5, 6, 8..10, 14..16, 18, 21, 23, 25..27, 30};
x[23] := {3, 5, 12..14, 16, 18, 20..22, 26, 29..31};
x[24] := {0, 1, 3, 8, 9, 15..20, 25..27, 29};*)
(* state after 80*10^11 samples *)
(*x[0] := {1, 5..7, 11, 13, 14, 16..19, 22, 23, 27, 31};
x[1] := {0..2, 4, 6..8, 12, 13, 15, 17, 20, 22..25, 27, 29, 30};
x[2] := {0, 4, 6, 9, 11, 13, 15..19, 23..26, 28, 30};
x[3] := {1, 2, 4, 5, 7, 14, 16, 17, 22..24, 26, 28};
x[4] := {0, 8..10, 12, 18, 19, 21, 22, 24, 25, 27, 28, 30, 31};
x[5] := {0, 2, 4, 11, 12, 18, 20..24, 27, 29..31};
x[6] := {1, 3, 4, 7..9, 11..14, 16, 17, 20, 21, 23, 26, 28..31};
x[7] := {0, 5..7, 10..12, 14, 17, 18, 21..23, 26, 27, 31};
x[8] := {0..6, 8, 10, 12, 14, 15, 17, 18, 22, 25, 30};
x[9] := {2, 3, 5, 7, 9, 12, 13, 16..22, 24..26, 31};
x[10] := {1..3, 6..8, 10, 12, 17, 18, 20, 24..27};
x[11] := {1..4, 7..10, 15, 17, 20..23, 25..29, 31};
x[12] := {1, 4..6, 10..12, 15..18, 22, 25..27, 29, 31};
x[13] := {1, 3, 7..10, 14, 15, 21, 23..31};
x[14] := {0..2, 10, 11, 13..15, 18, 21, 28..30};
x[15] := {5..7, 9..11, 13..18, 24, 28..30};
x[16] := {1, 2, 4, 5, 8..10, 13, 16, 18, 19, 21, 23, 26};
x[17] := {1..3, 5..9, 16..19, 21, 24, 25, 28, 30, 31};
x[18] := {0..2, 5, 7, 9..11, 16..18, 22, 23, 25, 26, 29, 30};
x[19] := {1, 3, 6..8, 10, 13..15, 18, 20, 21, 24, 26, 30};
x[20] := {0..2, 4, 7, 9, 12, 14, 16..24, 26, 28, 30};
x[21] := {0, 6, 13, 17, 20, 22, 24, 25, 27, 31};
x[22] := {3, 4, 6, 8, 9, 11, 14, 17, 18, 23..25, 31};
x[23] := {0..2, 5, 6, 8..11, 13, 17..20, 24, 29, 31};
x[24] := {7, 11, 12, 15, 16, 18, 19, 21, 25, 27, 28, 30, 31};*)
(* state after 85*10^11 samples *)
(*x[0] := {0, 1, 5..7, 10, 13, 15, 19, 21..23, 27, 31};
x[1] := {2..5, 7..12, 15, 16, 18..20, 22..26, 28..30};
x[2] := {2, 4..6, 9, 12, 14, 16, 18, 20, 21, 24..26, 29, 31};
x[3] := {0, 2, 3, 7, 10, 12, 13, 17, 21..23, 26..29, 31};
x[4] := {0, 2, 4, 6, 8, 10, 11, 13, 16..19, 21, 25..27, 29..31};
x[5] := {1..3, 5, 6, 10, 16..18, 21, 25, 26, 28..31};
x[6] := {0, 1, 3..5, 8..10, 12, 13, 16, 17, 19..21, 23, 25, 29, 31};
x[7] := {2, 5, 7, 9..11, 13, 14, 16, 20, 29, 31};
x[8] := {4, 6, 8..11, 14, 18, 19, 21, 22, 25..28, 30, 31};
x[9] := {0, 3, 7, 11, 13..16, 18, 19, 22, 24, 28..31};
x[10] := {2, 5, 8..10, 15, 17, 18, 20..22, 24..26, 30, 31};
x[11] := {0, 2..7, 9..13, 15..18, 20, 23, 25, 26};
x[12] := {0, 2, 3, 6..8, 10, 11, 13, 17, 20, 23, 25, 26, 29..31};
x[13] := {0, 3, 4, 7, 10, 12, 18, 21, 25, 27, 28, 30, 31};
x[14] := {1, 3..5, 11, 13, 15, 17, 19, 25..28, 31};
x[15] := {1..4, 7, 9, 10, 12..14, 18, 20..22, 25, 29, 30};
x[16] := {0, 2, 4..7, 9, 12, 14, 15, 17, 19..22, 24, 28, 30};
x[17] := {1, 5, 8, 9, 11..13, 16, 20, 24, 25, 29..31};
x[18] := {0..2, 4..6, 8, 12, 15, 18, 20, 22, 24, 25, 27, 28, 30, 31};
x[19] := {0, 2, 4..6, 8..13, 15, 17, 19, 20, 24, 28, 30, 31};
x[20] := {1..4, 6, 7, 12, 17, 20..23, 26, 29..31};
x[21] := {0, 3..5, 7, 11, 12, 18..20, 23..25, 27, 30, 31};
x[22] := {2, 5, 7, 9, 11..17, 19, 21, 23, 25};
x[23] := {0, 1, 3, 4, 7, 9, 10, 12..14, 16, 18, 20, 22, 23, 29, 30};
x[24] := {0, 1, 4, 9, 11, 13, 15, 18..23, 26, 27, 30};*)
(* state after 90*10^11 samples *)
(*x[0] := {0, 3, 5, 8..10, 12, 14, 15, 17, 18, 21, 22, 24, 25};
x[1] := {0, 2, 5, 7, 9, 11..13, 16, 18..20, 24..26, 28, 31};
x[2] := {0, 3, 4, 6, 9..12, 14, 15, 18..20, 23, 26, 28, 29};
x[3] := {1, 3, 5..10, 12..14, 19, 20, 24, 25, 27, 28, 30, 31};
x[4] := {2..5, 7, 8, 10, 11, 14, 16, 17, 19, 22..26, 29, 31};
x[5] := {2, 3, 6, 7, 9, 10, 12..19, 21, 22, 24, 28, 30, 31};
x[6] := {0, 1, 4, 6..8, 12, 15, 16, 20, 21, 23..26, 28, 31};
x[7] := {1, 7..9, 13, 14, 24..26, 29};
x[8] := {4, 9, 12..14, 20, 21, 24, 25, 27, 29, 30};
x[9] := {2..4, 10, 11, 13..15, 17, 18, 20, 22, 23, 26, 27, 29};
x[10] := {1, 3, 5, 6, 9..11, 13..15, 17..22, 24, 28, 30};
x[11] := {4, 6, 16, 17, 20, 22..25, 27, 29..31};
x[12] := {0, 1, 3..5, 7, 11..13, 16, 20, 21, 23..26, 31};
x[13] := {2, 6..8, 10, 13..16, 19, 22, 25..27, 29..31};
x[14] := {2, 4, 6..8, 11, 15, 16, 19, 21, 23, 27..31};
x[15] := {0, 2..4, 6, 9..11, 14, 15, 17, 19, 22, 23, 27, 28, 30, 31};
x[16] := {5, 7, 9..11, 13..15, 18, 20, 21, 23, 27, 31};
x[17] := {2, 4, 6, 8, 10, 12..15, 17, 18, 22..25, 28..31};
x[18] := {0, 1, 3, 5, 7, 10, 11, 14..16, 18, 19, 23, 27..29};
x[19] := {1, 2, 4, 5, 9..12, 18, 19, 21, 24, 26, 31};
x[20] := {1..3, 11, 13, 15, 17, 20, 21, 23..27};
x[21] := {3, 5..9, 13..15, 17, 19, 23, 28..30};
x[22] := {0..3, 7, 9, 13..16, 20, 21, 23, 25..29};
x[23] := {0, 2, 3, 6..8, 11, 12, 16, 17, 21, 24..27, 31};
x[24] := {1, 3, 4, 7, 9, 12, 14, 15, 17, 19, 20, 24..27, 29..31};*)
(* state after 95*10^11 samples *)
(*x[0] := {1, 3, 5, 7, 9, 11, 12, 15..17, 20..25, 30};
x[1] := {0, 1, 4..7, 13, 14, 16, 18..20, 22, 23, 26, 28, 30, 31};
x[2] := {0..2, 5..7, 9, 10, 12, 15, 16, 19, 20, 22, 23, 26, 28, 30};
x[3] := {2, 3, 6, 7, 9, 12, 13, 15, 17, 19..22, 24..26, 29};
x[4] := {1, 2, 5, 7, 9, 15, 16, 20, 24..28};
x[5] := {0..4, 9, 11, 17..20, 22, 23};
x[6] := {2..5, 7, 12, 14, 17, 19..22, 24, 26, 29};
x[7] := {0..3, 6, 9, 12..15, 17..19, 23..26, 28, 30};
x[8] := {2, 9, 12, 15, 16, 18, 23..29, 31};
x[9] := {0, 3..5, 7..10, 13, 17, 18, 20, 22, 25, 30};
x[10] := {0, 2, 5, 8, 10, 12..14, 17, 18, 21..23, 29, 31};
x[11] := {0..3, 5, 7, 9, 11..13, 15, 17, 24, 25, 30};
x[12] := {1, 5, 7..9, 13, 15, 17, 18, 26..28};
x[13] := {0..3, 6, 9, 10, 12..14, 22, 26..29, 31};
x[14] := {2..5, 9, 11, 14, 16, 18, 22..24, 26, 28, 29, 31};
x[15] := {2, 4..9, 12, 15..23, 27, 31};
x[16] := {0, 1, 4..7, 10, 12, 15, 18..21, 23, 24, 27, 29};
x[17] := {0, 1, 6, 7, 9..12, 15, 16, 19, 22, 23, 25, 29..31};
x[18] := {0, 9..11, 13, 18, 20..22, 28..31};
x[19] := {1, 4, 6, 8, 9, 11, 13, 16..18, 21, 22, 27, 28, 30};
x[20] := {0..2, 4, 8, 9, 11, 12, 14, 15, 18, 20, 23, 27, 28, 31};
x[21] := {0, 3..5, 7..9, 13, 15, 16, 19..22, 26, 27, 30};
x[22] := {0..2, 4..8, 10..13, 15, 18, 21, 26..29};
x[23] := {0, 6, 9..12, 14, 16, 19, 21, 22, 24..27, 31};
x[24] := {2..4, 6..8, 10, 11, 13..15, 19..22, 24, 30};*)
(* state after 100*10^11 samples *)
(*x[0] := {0..3, 5, 6, 8, 10, 13, 16..18, 24, 28..31};
x[1] := {0, 2, 4, 5, 7, 11, 12, 14, 18, 19, 22, 26, 29, 30};
x[2] := {0, 2, 4, 6..12, 15, 16, 18, 19, 21, 24, 28, 31};
x[3] := {3, 4, 6, 8..12, 16, 19..25, 27, 28, 31};
x[4] := {0, 2, 3, 5, 6, 10..13, 15, 16, 22..24, 28..30};
x[5] := {1..3, 6, 7, 9, 11, 13, 14, 16, 23..25, 28};
x[6] := {0, 1, 4, 5, 8..11, 13, 14, 16, 18..20, 22, 26..30};
x[7] := {1, 3, 6..8, 14, 17..19, 22, 23, 25..27, 29, 30};
x[8] := {0, 2, 3, 5..8, 10, 19..21, 27};
x[9] := {5, 7..14, 16, 17, 19, 20, 22, 24, 26..29, 31};
x[10] := {1..4, 6..8, 10, 11, 13..15, 17..23, 25, 27..30};
x[11] := {0, 2, 5, 8, 10, 18, 22, 23, 25..28, 30};
x[12] := {2..6, 8..11, 13, 16..22, 30, 31};
x[13] := {0, 4, 5, 12, 13, 17, 19..22, 26..28};
x[14] := {0, 4..7, 13, 16, 18..23, 26..28, 31};
x[15] := {0, 2..13, 16, 18, 22, 27, 29, 30};
x[16] := {2..5, 7, 8, 11, 13, 17, 18, 23, 24, 26, 27, 30, 31};
x[17] := {3, 8, 9, 11, 13, 15..17, 20..22, 24, 26};
x[18] := {1, 3, 5..8, 15..17, 21..25, 27..30};
x[19] := {0, 4, 8..11, 17, 25..30};
x[20] := {0, 3, 4, 7, 13, 14, 20, 22, 24..28, 31};
x[21] := {2..4, 8, 9, 12, 14, 15, 17, 20, 25, 26, 28..30};
x[22] := {0..6, 8..11, 13, 14, 19, 26..28, 30, 31};
x[23] := {7, 8, 10..12, 14, 16, 17, 20..22, 24, 25, 30};
x[24] := {0, 2, 5, 6, 9, 10, 12, 13, 16, 19, 21, 23, 25};*)
(* state after 105*10^11 samples *)
(*x[0] := {5, 7..14, 19..22, 25..27, 29, 31};
x[1] := {5, 8, 10, 13, 14, 20, 21, 23, 27};
x[2] := {1..4, 7, 9, 12, 15..18, 20, 22..26, 30};
x[3] := {1, 2, 6, 7, 9, 12, 15..17, 20..22, 25..28, 30};
x[4] := {0, 4, 5, 13, 15, 17..20, 22, 23, 25, 28..31};
x[5] := {0, 2, 4, 7, 9, 11, 17, 18, 20, 22, 24, 25, 28, 30, 31};
x[6] := {4, 8..13, 16, 18, 19, 21, 23, 25, 26, 30};
x[7] := {0, 2..4, 7, 10..16, 18..21, 23, 26..31};
x[8] := {0, 3, 6, 7, 9, 11, 12, 14, 15, 17, 18, 20..22, 24, 28, 31};
x[9] := {3, 4, 6, 7, 11, 17, 21..24, 29, 31};
x[10] := {6, 9, 13, 14, 16, 18, 20, 21, 24, 25, 27, 28, 30, 31};
x[11] := {3, 4, 12..17, 20, 23, 26, 29, 31};
x[12] := {1, 4..7, 11, 13..15, 21, 22, 24, 25, 30, 31};
x[13] := {0, 1, 5, 7, 9, 10, 14..20, 22..27, 30};
x[14] := {0, 1, 4, 7..9, 11..13, 15, 17, 19, 24, 27, 30, 31};
x[15] := {0, 3, 5, 7, 9, 10, 12, 14, 18..22, 25, 27, 28, 31};
x[16] := {0, 2..4, 6, 8, 11, 13, 15..19, 21, 22, 26, 28, 30, 31};
x[17] := {0..4, 6..10, 12, 13, 18, 19, 23, 26, 31};
x[18] := {0, 1, 5, 6, 8, 12, 14, 30, 31};
x[19] := {0, 2..6, 8, 11, 16, 19, 20, 25..27, 30};
x[20] := {3, 5, 6, 10..15, 17, 18, 20, 22, 23, 27, 30, 31};
x[21] := {1, 3, 6, 8, 11, 12, 17, 18, 24..26, 30, 31};
x[22] := {1..3, 6, 8, 10, 12, 15..17, 19, 21, 26, 28..31};
x[23] := {0, 2, 4, 7, 9, 13, 14, 16..18, 24, 28..31};
x[24] := {6, 13..17, 21, 22, 27, 29..31};*)
(* state after 110*10^11 samples *)
x[0] := {2, 6, 8..10, 12..14, 17, 18, 21, 22, 24, 26..30};
x[1] := {0, 4, 8, 13..15, 17, 19, 20, 23, 26..28};
x[2] := {2..4, 6, 9, 13..15, 21..23, 26, 28};
x[3] := {2, 3, 9, 10, 12, 15..19, 21, 22, 25, 26, 28, 29, 31};
x[4] := {1, 2, 5..8, 10, 11, 13, 17, 20, 21, 23, 24, 27, 28, 30, 31};
x[5] := {0, 1, 4, 6, 8, 13, 19..21, 25, 31};
x[6] := {0, 1, 3, 4, 6, 9, 11, 13..16, 22..24, 29, 31};
x[7] := {1, 5, 7, 8, 12, 14..21, 23, 24, 26..29};
x[8] := {0..3, 5, 8, 9, 16, 17, 27, 28, 31};
x[9] := {0..3, 6, 9..11, 14, 16..18, 23, 25, 27..29, 31};
x[10] := {1, 5, 6, 10, 11, 15, 16, 18..22, 24, 27, 28, 30, 31};
x[11] := {0, 4, 6..8, 10, 11, 15, 16, 20..22, 25..29, 31};
x[12] := {0, 2..6, 9, 11, 14, 15, 19, 22, 25..28};
x[13] := {3, 4, 7, 9, 11, 16, 17, 19, 21, 28, 29, 31};
x[14] := {2..5, 7..9, 11, 12, 14..17, 19..21, 24, 26, 30};
x[15] := {2, 4, 5, 7, 10, 11, 14, 16, 18..22, 25, 26, 28};
x[16] := {0, 6, 8, 10, 15, 16, 18, 19, 21, 23, 24, 29..31};
x[17] := {0, 4, 5, 8, 10, 14, 15, 17, 19, 23, 25, 28..30};
x[18] := {0, 2..4, 6, 7, 11, 13..15, 17, 21, 24..27, 29};
x[19] := {0..2, 4..6, 8..12, 14, 15, 17, 21..28};
x[20] := {1..3, 8..11, 20, 21, 23, 24, 27, 29..31};
x[21] := {0, 2..7, 10, 11, 14, 19, 21..23, 26, 28, 29, 31};
x[22] := {0, 1, 3, 4, 6..8, 12, 14, 19, 22..24, 29, 31};
x[23] := {3, 6, 7, 10..12, 14..16, 18, 20, 21, 23, 26, 27, 29, 30};
x[24] := {0..2, 7, 9, 11..20, 22, 25, 27, 30};
(* state after 115*10^11 samples *)
(*x[0] := {1, 2, 4, 5, 9, 11, 13, 15..22, 24, 25, 28};
x[1] := {4, 5, 7..9, 11, 12, 14, 18, 20, 22..24, 28, 29, 31};
x[2] := {0..3, 7, 8, 10..12, 14, 15, 20, 24, 25, 28, 31};
x[3] := {0, 2, 4, 5, 9, 11..20, 25, 26};
x[4] := {0, 1, 3, 5, 11, 12, 22, 24, 25, 29..31};
x[5] := {0..2, 6, 13, 15, 18, 20, 23, 27, 30, 31};
x[6] := {0, 4, 9, 12, 13, 16, 17, 21, 23, 25, 27, 28, 31};
x[7] := {5, 7, 8, 10, 12, 13, 15, 18, 20..24, 29};
x[8] := {1, 7, 8, 10, 16, 19, 21..25, 27..31};
x[9] := {0, 1, 8, 11, 12, 14, 17, 20, 22, 23, 26, 29};
x[10] := {1..6, 8, 10, 11, 13..17, 20..23, 27..30};
x[11] := {1, 3, 5, 7, 8, 10, 12..14, 16..18, 21, 23, 25..27, 29};
x[12] := {0, 2, 3, 5, 6, 8, 10, 11, 13, 14, 16..19, 21, 26..30};
x[13] := {6, 8, 10, 12, 14..19, 21..24, 27, 31};
x[14] := {4, 8..10, 13..15, 18, 20, 21, 26, 29, 30};
x[15] := {0, 2, 3, 7, 8, 10, 20, 21, 23, 26, 27, 29, 31};
x[16] := {0..3, 6, 7, 9, 12, 14, 16, 17, 19, 22, 23, 27, 30};
x[17] := {0, 1, 3, 4, 7, 9, 14, 15, 17, 18, 20..22, 24, 25, 28..30};
x[18] := {0, 3, 6, 11, 14, 15, 18..22, 25, 26, 28, 29, 31};
x[19] := {2, 3, 5, 7, 10, 12, 14, 15, 18, 19, 23, 25, 27..30};
x[20] := {1..7, 13..15, 17, 20, 21, 25, 27, 28, 31};
x[21] := {1, 4..11, 13, 19, 20, 22, 24, 26, 28, 29};
x[22] := {0..2, 4, 9, 11, 13, 15, 16, 18, 24, 28, 31};
x[23] := {0, 2, 5..18, 20, 21, 25, 26, 29};
x[24] := {1, 3, 5..8, 12..16, 24, 26, 29};*)
(* state after 115*10^11 samples *)
(*x[0] := {4, 5, 7, 8, 11, 14, 16, 19, 22, 25..27, 29};
x[1] := {2, 3, 5, 8, 10..12, 14, 18, 19, 21, 23, 24, 27..30};
x[2] := {1, 3, 4, 7..9, 12, 13, 15, 18, 22..26, 28, 30, 31};
x[3] := {1, 4, 6, 8, 11, 13, 14, 21..23, 26, 28, 30};
x[4] := {0, 2, 3, 5, 11, 12, 16, 18, 20, 21, 26, 29..31};
x[5] := {0, 1, 7..10, 17, 18, 20, 23, 28, 29};
x[6] := {0, 1, 3, 6, 7, 10..13, 15, 23..25, 27..31};
x[7] := {2, 3, 12, 14, 16, 17, 19, 23..25, 28..30};
x[8] := {2, 3, 6..11, 13, 15, 18, 26, 27, 29, 31};
x[9] := {0, 3, 6, 8, 12, 14, 15, 19, 20, 22..24, 26, 28};
x[10] := {1..3, 5, 7..9, 12, 14, 15, 18, 21, 24, 26, 30};
x[11] := {1, 3, 4, 6, 13, 17, 18, 20, 21, 23, 28, 29};
x[12] := {1, 2, 5, 7, 13, 15..17, 19..22, 24, 25, 28, 29};
x[13] := {8, 10, 11, 13, 14, 20, 22, 24..27, 30};
x[14] := {0, 3, 8, 9, 11, 13, 14, 17, 18, 20, 22, 24, 26..28, 30};
x[15] := {0, 3, 5, 7, 8, 10..13, 16, 19, 20, 22, 24, 26};
x[16] := {1, 4..6, 9, 14..16, 18..26, 28, 31};
x[17] := {1, 5, 9..11, 13, 14, 18, 21, 24, 26..28, 30, 31};
x[18] := {0, 1, 4, 6, 7, 9..13, 17, 19, 22, 23, 26, 28, 30};
x[19] := {5, 6, 8, 11, 13, 15, 18..22, 25, 26, 28..30};
x[20] := {0..2, 5, 6, 8..17, 20, 21, 24, 25, 28, 30};
x[21] := {0, 11..13, 17, 19..22, 26, 29..31};
x[22] := {0, 1, 4, 6, 7, 9, 12..14, 17..23, 26, 28};
x[23] := {3, 4, 6, 9..13, 17, 18, 21, 29, 31};
x[24] := {3, 4, 10, 14, 17, 20, 24, 25, 27..30};*)
(* state after 120*10^11 samples *)
(*x[0] := {0, 3..5, 8, 10, 11, 13, 14, 17, 20, 21, 26, 28, 30};
x[1] := {1, 2, 6, 7, 10..12, 15, 17, 19, 20, 22..29, 31};
x[2] := {0, 2, 4, 9..12, 16, 17, 19, 20, 23, 25, 27, 29};
x[3] := {1, 3..6, 9..11, 15, 18..20, 22..24, 31};
x[4] := {1..3, 5, 7, 10, 13, 16..18, 20..22};
x[5] := {0, 3, 6, 8..10, 12, 15, 17, 19, 21..23, 27, 30};
x[6] := {0..2, 4, 5, 7, 8, 10, 12, 13, 15, 16, 18, 20, 23, 24, 27, 30};
x[7] := {2..6, 8, 9, 14, 15, 21, 24..27, 29, 31};
x[8] := {0, 5, 9, 12, 13, 15..19, 21, 28, 31};
x[9] := {2, 3, 7, 8, 12, 16, 18, 19, 22, 24, 26, 30};
x[10] := {2, 4, 6..12, 14, 17, 19, 21, 23, 24, 27, 28, 30, 31};
x[11] := {3, 5, 6, 9, 11, 13, 17, 19..21, 24, 26..29};
x[12] := {0..2, 4, 8, 11, 13..15, 17..19, 22, 25..28, 30};
x[13] := {1, 3, 4, 8, 11, 15..17, 20, 21, 23..25, 28, 31};
x[14] := {1..3, 5, 7..9, 11, 12, 14, 16, 18, 20, 22, 29..31};
x[15] := {0, 20..22, 24, 26..30};
x[16] := {0, 1, 4, 5, 7, 11..14, 16, 18..20, 22, 25, 27, 28};
x[17] := {0, 2, 3, 5, 8..11, 14..16, 19, 21, 22, 24, 25, 27..31};
x[18] := {0, 2..4, 6, 9..12, 16, 19, 22, 23, 25..27, 29, 30};
x[19] := {1, 3..5, 8, 11..14, 16..19, 22, 23, 26, 29};
x[20] := {1, 5, 7, 12, 15..17, 19..24, 26, 28, 29};
x[21] := {0, 3, 4, 6, 8..10, 13..16, 18, 20..22, 24, 25, 27, 29, 31};
x[22] := {3, 5, 7, 16, 18, 21..25, 27, 28, 30};
x[23] := {0, 4, 6..9, 12, 14, 16..18, 20..23, 26, 29, 31};
x[24] := {0, 7..14, 18, 19, 21, 23, 25, 27, 28, 30};*)
(* state after 125*10^11 samples *)
(*x[0] := {0, 4..6, 8..10, 12, 15, 18, 20, 24, 25, 27, 30, 31};
x[1] := {3, 7, 10, 11, 15..19, 23, 27..29};
x[2] := {3, 7..9, 12..14, 17, 21, 23, 24, 27..29};
x[3] := {0, 1, 4, 6, 9, 11, 13, 15, 21, 25, 28..30};
x[4] := {1, 3, 4, 6, 7, 10, 11, 13, 17, 18, 20, 21, 24, 29, 30};
x[5] := {0, 1, 4, 7, 11..13, 17, 19, 25, 27, 28, 30, 31};
x[6] := {1..3, 7, 8, 10, 12..17, 19, 20, 23..25, 27, 29, 31};
x[7] := {1, 2, 5, 7..10, 14..17, 19..21, 23, 26..28, 30, 31};
x[8] := {4, 8, 9, 11..19, 21, 22, 24..26, 28};
x[9] := {0, 1, 3, 7, 9, 10, 13..17, 19, 21, 22, 26, 28..30};
x[10] := {1, 2, 5, 6, 9, 13, 14, 16..18, 21, 24, 25, 27, 29..31};
x[11] := {1, 5, 11, 12, 14..16, 19, 21, 22, 24, 29};
x[12] := {2..8, 10, 12, 14..22, 24, 30};
x[13] := {0, 2, 3, 5, 8, 19..21, 30};
x[14] := {1..3, 5, 7, 9, 13, 14, 16..19, 25, 26, 31};
x[15] := {1, 2, 4, 9, 11, 14, 19, 21, 22, 26, 27, 30};
x[16] := {6..8, 12, 14..18, 22, 23, 26..29, 31};
x[17] := {0..6, 8, 10, 13, 19, 20, 26, 29, 30};
x[18] := {4..8, 11, 13, 14, 16, 17, 20, 23, 25, 27..31};
x[19] := {0..3, 5..7, 11, 12, 15..17, 19, 21, 24..31};
x[20] := {2, 4..7, 11..17, 20, 23, 24, 27, 31};
x[21] := {0, 1, 4, 9..11, 13, 18..23, 25, 30};
x[22] := {0..5, 7, 11, 12, 15, 17, 22, 23, 26, 27, 29};
x[23] := {1, 2, 4, 6, 10, 23, 24, 27, 29, 31};
x[24] := {0, 1, 3..5, 10, 13, 14, 17, 20, 22, 27, 28, 30, 31};*)
(* state after 130*10^11 samples *)
x[0] := {3..5, 8, 10, 12, 13, 20, 24..31};
x[1] := {3..6, 10..13, 15, 17..21, 24, 26, 27, 29, 31};
x[2] := {1, 3..5, 9..12, 16..19, 21, 23, 27, 28, 30, 31};
x[3] := {0, 3, 6, 8, 11, 12, 14, 16..19, 21, 28, 31};
x[4] := {4, 6, 8, 9, 11..16, 18, 19, 22, 23, 25, 26, 28, 30, 31};
x[5] := {4..8, 10, 13..16, 18, 19, 21, 22, 27..30};
x[6] := {3, 6, 8, 10..13, 15..17, 23..30};
x[7] := {1..3, 6..9, 11, 16, 20, 26, 28, 29, 31};
x[8] := {3, 5..9, 12, 14, 20, 22, 23, 25, 26, 28};
x[9] := {4, 5, 9, 10, 13..20, 22..24, 29..31};
x[10] := {0..4, 6, 8, 9, 14, 16..23, 27, 28, 31};
x[11] := {0..2, 4, 5, 7..9, 12, 14, 15, 17, 19, 21..25};
x[12] := {1, 2, 6, 8..11, 13..17, 21, 25..29};
x[13] := {0, 2, 4..7, 9, 11, 12, 14, 18..23, 25, 27, 29, 30};
x[14] := {0..5, 10, 15..17, 19, 21, 23, 25, 27, 29, 31};
x[15] := {0, 6, 10, 13, 15, 18, 19, 22..29, 31};
x[16] := {0..2, 5, 7, 8, 10, 11, 13, 21, 22, 24, 25, 28, 30};
x[17] := {0, 3, 4, 11, 16, 17, 20..22, 24, 25, 27, 29};
x[18] := {2, 4, 7..9, 11..14, 16, 18..21, 25, 27, 28, 30};
x[19] := {1, 2, 8, 10, 12, 14..18, 20, 23..25, 27, 31};
x[20] := {0..2, 9, 11..13, 15..18, 22, 25, 27, 30};
x[21] := {0, 1, 4, 9, 12, 13, 16, 17, 19, 20, 22..25, 29, 30};
x[22] := {5, 9, 11, 12, 15, 16, 18, 22, 23, 25, 26, 28, 30};
x[23] := {3, 4, 8, 10, 11, 15, 17, 19, 21, 23, 26, 30, 31};
x[24] := {1, 6, 11..13, 18, 23, 30};
END Test.
Test.Do