Skip to content

Instantly share code, notes, and snippets.

@mablr

mablr/README.md

Created June 8, 2026 18:33
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save mablr/cb84076c6c0712ce4b2cb11efc39df0b to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save mablr/cb84076c6c0712ce4b2cb11efc39df0b to your computer and use it in GitHub Desktop.
Download ZIP
Foundry PR #15070 follow-up: real invariant campaign source (corpus seed worker fan-out wall-clock + peak RSS benchmark)
Raw
README.md

Foundry PR #15070 follow-up — real invariant campaign

Real forge invariant project used to measure end-to-end wall-clock and peak RSS of the corpus-seed worker fan-out (companion to the micro-benchmark harness at https://gist.github.com/mablr/b87b9d75f3723b3de8b5796c72331ae2).

Target.sol exposes a large branch surface (1600 independent branch targets, ~3200 EVM edges, split across 8 functions to stay within solc's parser recursion limit) so coverage-guided invariant fuzzing accumulates a sizeable persisted corpus (~370 entries, depth-2000 sequences).

Layout

  • gen_target.py — generates src/Target.sol (tune N / FUNCS to grow the corpus)
  • src/Target.sol — generated target (committed for convenience)
  • test/Target.t.sol — invariant harness; always-true property, only the fan-out path matters
  • foundry.toml — corpus_dir enables coverage-guided fuzzing; runs/depth size the corpus

Reproduce

python3 gen_target.py          # regenerate src/Target.sol (optional)
forge build --no-lint          # long if-chains trip the lint engine, not the compiler

# 1) Warm/persist the corpus (writes ./corpus)
forge test --match-contract TargetInvariant

# 2) Measure a parallel campaign over the persisted corpus
/usr/bin/time -l forge test --match-contract TargetInvariant --invariant-workers 8

Compare three forge builds on the same persisted corpus, interleaving iterations:

  • Parent (before #15070): fan-out is corpus_seed.clone()
  • #15070 (as merged): corpus_seed.clone().for_worker(..)
  • Fix: corpus_seed.clone_for_worker(..)

Read maximum resident set size from /usr/bin/time -l (macOS) for peak RSS.

Raw
foundry.toml
[profile.default]
src = "src"
test = "test"
out = "out"
libs = []
[invariant]
runs = 3000
depth = 2000
corpus_dir = "corpus"
show_edge_coverage = true
Raw
gen_target.py
#!/usr/bin/env python3
"""Generate Target.sol with a large branch surface so coverage-guided invariant
fuzzing accumulates a sizeable corpus. Independent (non-nested) `if` statements,
split across several functions, keep solc's parser within its recursion limit."""
N = 1600 # number of distinct branch targets (~2 EVM edges each)
FUNCS = 8 # split across this many functions
per = N // FUNCS
L = ["// SPDX-License-Identifier: MIT", "pragma solidity ^0.8.0;", "contract Target {",
" uint256 public state;", " uint256 public reachedCount;",
" mapping(uint256 => uint256) public hits;"]
for f in range(FUNCS):
L.append(" function step%d(uint256 sel, uint256 x, uint256 y) public {" % f)
L.append(" uint256 s = sel %% %d;" % N)
for j in range(per):
i = f * per + j
L.append(" if (s == %d) {" % i)
L.append(" if (x %% %d == %d) { hits[%d] += 1; state += %d; }"
% ((i % 7) + 2, i % ((i % 7) + 2), i, (i % 5) + 1))
L.append(" else { hits[%d] += y %% 13; } }" % i)
L.append(" if (state > reachedCount) reachedCount = state;")
L.append(" }")
L.append("}")
open("src/Target.sol", "w").write("\n".join(L) + "\n")
print("wrote src/Target.sol:", N, "branches in", FUNCS, "functions")
Raw
Target.sol
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;
contract Target {
uint256 public state;
uint256 public reachedCount;
mapping(uint256 => uint256) public hits;
function step0(uint256 sel, uint256 x, uint256 y) public {
uint256 s = sel % 1600;
if (s == 0) {
if (x % 2 == 0) { hits[0] += 1; state += 1; }
else { hits[0] += y % 13; } }
if (s == 1) {
if (x % 3 == 1) { hits[1] += 1; state += 2; }
else { hits[1] += y % 13; } }
if (s == 2) {
if (x % 4 == 2) { hits[2] += 1; state += 3; }
else { hits[2] += y % 13; } }
if (s == 3) {
if (x % 5 == 3) { hits[3] += 1; state += 4; }
else { hits[3] += y % 13; } }
if (s == 4) {
if (x % 6 == 4) { hits[4] += 1; state += 5; }
else { hits[4] += y % 13; } }
if (s == 5) {
if (x % 7 == 5) { hits[5] += 1; state += 1; }
else { hits[5] += y % 13; } }
if (s == 6) {
if (x % 8 == 6) { hits[6] += 1; state += 2; }
else { hits[6] += y % 13; } }
if (s == 7) {
if (x % 2 == 1) { hits[7] += 1; state += 3; }
else { hits[7] += y % 13; } }
if (s == 8) {
if (x % 3 == 2) { hits[8] += 1; state += 4; }
else { hits[8] += y % 13; } }
if (s == 9) {
if (x % 4 == 1) { hits[9] += 1; state += 5; }
else { hits[9] += y % 13; } }
if (s == 10) {
if (x % 5 == 0) { hits[10] += 1; state += 1; }
else { hits[10] += y % 13; } }
if (s == 11) {
if (x % 6 == 5) { hits[11] += 1; state += 2; }
else { hits[11] += y % 13; } }
if (s == 12) {
if (x % 7 == 5) { hits[12] += 1; state += 3; }
else { hits[12] += y % 13; } }
if (s == 13) {
if (x % 8 == 5) { hits[13] += 1; state += 4; }
else { hits[13] += y % 13; } }
if (s == 14) {
if (x % 2 == 0) { hits[14] += 1; state += 5; }
else { hits[14] += y % 13; } }
if (s == 15) {
if (x % 3 == 0) { hits[15] += 1; state += 1; }
else { hits[15] += y % 13; } }
if (s == 16) {
if (x % 4 == 0) { hits[16] += 1; state += 2; }
else { hits[16] += y % 13; } }
if (s == 17) {
if (x % 5 == 2) { hits[17] += 1; state += 3; }
else { hits[17] += y % 13; } }
if (s == 18) {
if (x % 6 == 0) { hits[18] += 1; state += 4; }
else { hits[18] += y % 13; } }
if (s == 19) {
if (x % 7 == 5) { hits[19] += 1; state += 5; }
else { hits[19] += y % 13; } }
if (s == 20) {
if (x % 8 == 4) { hits[20] += 1; state += 1; }
else { hits[20] += y % 13; } }
if (s == 21) {
if (x % 2 == 1) { hits[21] += 1; state += 2; }
else { hits[21] += y % 13; } }
if (s == 22) {
if (x % 3 == 1) { hits[22] += 1; state += 3; }
else { hits[22] += y % 13; } }
if (s == 23) {
if (x % 4 == 3) { hits[23] += 1; state += 4; }
else { hits[23] += y % 13; } }
if (s == 24) {
if (x % 5 == 4) { hits[24] += 1; state += 5; }
else { hits[24] += y % 13; } }
if (s == 25) {
if (x % 6 == 1) { hits[25] += 1; state += 1; }
else { hits[25] += y % 13; } }
if (s == 26) {
if (x % 7 == 5) { hits[26] += 1; state += 2; }
else { hits[26] += y % 13; } }
if (s == 27) {
if (x % 8 == 3) { hits[27] += 1; state += 3; }
else { hits[27] += y % 13; } }
if (s == 28) {
if (x % 2 == 0) { hits[28] += 1; state += 4; }
else { hits[28] += y % 13; } }
if (s == 29) {
if (x % 3 == 2) { hits[29] += 1; state += 5; }
else { hits[29] += y % 13; } }
if (s == 30) {
if (x % 4 == 2) { hits[30] += 1; state += 1; }
else { hits[30] += y % 13; } }
if (s == 31) {
if (x % 5 == 1) { hits[31] += 1; state += 2; }
else { hits[31] += y % 13; } }
if (s == 32) {
if (x % 6 == 2) { hits[32] += 1; state += 3; }
else { hits[32] += y % 13; } }
if (s == 33) {
if (x % 7 == 5) { hits[33] += 1; state += 4; }
else { hits[33] += y % 13; } }
if (s == 34) {
if (x % 8 == 2) { hits[34] += 1; state += 5; }
else { hits[34] += y % 13; } }
if (s == 35) {
if (x % 2 == 1) { hits[35] += 1; state += 1; }
else { hits[35] += y % 13; } }
if (s == 36) {
if (x % 3 == 0) { hits[36] += 1; state += 2; }
else { hits[36] += y % 13; } }
if (s == 37) {
if (x % 4 == 1) { hits[37] += 1; state += 3; }
else { hits[37] += y % 13; } }
if (s == 38) {
if (x % 5 == 3) { hits[38] += 1; state += 4; }
else { hits[38] += y % 13; } }
if (s == 39) {
if (x % 6 == 3) { hits[39] += 1; state += 5; }
else { hits[39] += y % 13; } }
if (s == 40) {
if (x % 7 == 5) { hits[40] += 1; state += 1; }
else { hits[40] += y % 13; } }
if (s == 41) {
if (x % 8 == 1) { hits[41] += 1; state += 2; }
else { hits[41] += y % 13; } }
if (s == 42) {
if (x % 2 == 0) { hits[42] += 1; state += 3; }
else { hits[42] += y % 13; } }
if (s == 43) {
if (x % 3 == 1) { hits[43] += 1; state += 4; }
else { hits[43] += y % 13; } }
if (s == 44) {
if (x % 4 == 0) { hits[44] += 1; state += 5; }
else { hits[44] += y % 13; } }
if (s == 45) {
if (x % 5 == 0) { hits[45] += 1; state += 1; }
else { hits[45] += y % 13; } }
if (s == 46) {
if (x % 6 == 4) { hits[46] += 1; state += 2; }
else { hits[46] += y % 13; } }
if (s == 47) {
if (x % 7 == 5) { hits[47] += 1; state += 3; }
else { hits[47] += y % 13; } }
if (s == 48) {
if (x % 8 == 0) { hits[48] += 1; state += 4; }
else { hits[48] += y % 13; } }
if (s == 49) {
if (x % 2 == 1) { hits[49] += 1; state += 5; }
else { hits[49] += y % 13; } }
if (s == 50) {
if (x % 3 == 2) { hits[50] += 1; state += 1; }
else { hits[50] += y % 13; } }
if (s == 51) {
if (x % 4 == 3) { hits[51] += 1; state += 2; }
else { hits[51] += y % 13; } }
if (s == 52) {
if (x % 5 == 2) { hits[52] += 1; state += 3; }
else { hits[52] += y % 13; } }
if (s == 53) {
if (x % 6 == 5) { hits[53] += 1; state += 4; }
else { hits[53] += y % 13; } }
if (s == 54) {
if (x % 7 == 5) { hits[54] += 1; state += 5; }
else { hits[54] += y % 13; } }
if (s == 55) {
if (x % 8 == 7) { hits[55] += 1; state += 1; }
else { hits[55] += y % 13; } }
if (s == 56) {
if (x % 2 == 0) { hits[56] += 1; state += 2; }
else { hits[56] += y % 13; } }
if (s == 57) {
if (x % 3 == 0) { hits[57] += 1; state += 3; }
else { hits[57] += y % 13; } }
if (s == 58) {
if (x % 4 == 2) { hits[58] += 1; state += 4; }
else { hits[58] += y % 13; } }
if (s == 59) {
if (x % 5 == 4) { hits[59] += 1; state += 5; }
else { hits[59] += y % 13; } }
if (s == 60) {
if (x % 6 == 0) { hits[60] += 1; state += 1; }
else { hits[60] += y % 13; } }
if (s == 61) {
if (x % 7 == 5) { hits[61] += 1; state += 2; }
else { hits[61] += y % 13; } }
if (s == 62) {
if (x % 8 == 6) { hits[62] += 1; state += 3; }
else { hits[62] += y % 13; } }
if (s == 63) {
if (x % 2 == 1) { hits[63] += 1; state += 4; }
else { hits[63] += y % 13; } }
if (s == 64) {
if (x % 3 == 1) { hits[64] += 1; state += 5; }
else { hits[64] += y % 13; } }
if (s == 65) {
if (x % 4 == 1) { hits[65] += 1; state += 1; }
else { hits[65] += y % 13; } }
if (s == 66) {
if (x % 5 == 1) { hits[66] += 1; state += 2; }
else { hits[66] += y % 13; } }
if (s == 67) {
if (x % 6 == 1) { hits[67] += 1; state += 3; }
else { hits[67] += y % 13; } }
if (s == 68) {
if (x % 7 == 5) { hits[68] += 1; state += 4; }
else { hits[68] += y % 13; } }
if (s == 69) {
if (x % 8 == 5) { hits[69] += 1; state += 5; }
else { hits[69] += y % 13; } }
if (s == 70) {
if (x % 2 == 0) { hits[70] += 1; state += 1; }
else { hits[70] += y % 13; } }
if (s == 71) {
if (x % 3 == 2) { hits[71] += 1; state += 2; }
else { hits[71] += y % 13; } }
if (s == 72) {
if (x % 4 == 0) { hits[72] += 1; state += 3; }
else { hits[72] += y % 13; } }
if (s == 73) {
if (x % 5 == 3) { hits[73] += 1; state += 4; }
else { hits[73] += y % 13; } }
if (s == 74) {
if (x % 6 == 2) { hits[74] += 1; state += 5; }
else { hits[74] += y % 13; } }
if (s == 75) {
if (x % 7 == 5) { hits[75] += 1; state += 1; }
else { hits[75] += y % 13; } }
if (s == 76) {
if (x % 8 == 4) { hits[76] += 1; state += 2; }
else { hits[76] += y % 13; } }
if (s == 77) {
if (x % 2 == 1) { hits[77] += 1; state += 3; }
else { hits[77] += y % 13; } }
if (s == 78) {
if (x % 3 == 0) { hits[78] += 1; state += 4; }
else { hits[78] += y % 13; } }
if (s == 79) {
if (x % 4 == 3) { hits[79] += 1; state += 5; }
else { hits[79] += y % 13; } }
if (s == 80) {
if (x % 5 == 0) { hits[80] += 1; state += 1; }
else { hits[80] += y % 13; } }
if (s == 81) {
if (x % 6 == 3) { hits[81] += 1; state += 2; }
else { hits[81] += y % 13; } }
if (s == 82) {
if (x % 7 == 5) { hits[82] += 1; state += 3; }
else { hits[82] += y % 13; } }
if (s == 83) {
if (x % 8 == 3) { hits[83] += 1; state += 4; }
else { hits[83] += y % 13; } }
if (s == 84) {
if (x % 2 == 0) { hits[84] += 1; state += 5; }
else { hits[84] += y % 13; } }
if (s == 85) {
if (x % 3 == 1) { hits[85] += 1; state += 1; }
else { hits[85] += y % 13; } }
if (s == 86) {
if (x % 4 == 2) { hits[86] += 1; state += 2; }
else { hits[86] += y % 13; } }
if (s == 87) {
if (x % 5 == 2) { hits[87] += 1; state += 3; }
else { hits[87] += y % 13; } }
if (s == 88) {
if (x % 6 == 4) { hits[88] += 1; state += 4; }
else { hits[88] += y % 13; } }
if (s == 89) {
if (x % 7 == 5) { hits[89] += 1; state += 5; }
else { hits[89] += y % 13; } }
if (s == 90) {
if (x % 8 == 2) { hits[90] += 1; state += 1; }
else { hits[90] += y % 13; } }
if (s == 91) {
if (x % 2 == 1) { hits[91] += 1; state += 2; }
else { hits[91] += y % 13; } }
if (s == 92) {
if (x % 3 == 2) { hits[92] += 1; state += 3; }
else { hits[92] += y % 13; } }
if (s == 93) {
if (x % 4 == 1) { hits[93] += 1; state += 4; }
else { hits[93] += y % 13; } }
if (s == 94) {
if (x % 5 == 4) { hits[94] += 1; state += 5; }
else { hits[94] += y % 13; } }
if (s == 95) {
if (x % 6 == 5) { hits[95] += 1; state += 1; }
else { hits[95] += y % 13; } }
if (s == 96) {
if (x % 7 == 5) { hits[96] += 1; state += 2; }
else { hits[96] += y % 13; } }
if (s == 97) {
if (x % 8 == 1) { hits[97] += 1; state += 3; }
else { hits[97] += y % 13; } }
if (s == 98) {
if (x % 2 == 0) { hits[98] += 1; state += 4; }
else { hits[98] += y % 13; } }
if (s == 99) {
if (x % 3 == 0) { hits[99] += 1; state += 5; }
else { hits[99] += y % 13; } }
if (s == 100) {
if (x % 4 == 0) { hits[100] += 1; state += 1; }
else { hits[100] += y % 13; } }
if (s == 101) {
if (x % 5 == 1) { hits[101] += 1; state += 2; }
else { hits[101] += y % 13; } }
if (s == 102) {
if (x % 6 == 0) { hits[102] += 1; state += 3; }
else { hits[102] += y % 13; } }
if (s == 103) {
if (x % 7 == 5) { hits[103] += 1; state += 4; }
else { hits[103] += y % 13; } }
if (s == 104) {
if (x % 8 == 0) { hits[104] += 1; state += 5; }
else { hits[104] += y % 13; } }
if (s == 105) {
if (x % 2 == 1) { hits[105] += 1; state += 1; }
else { hits[105] += y % 13; } }
if (s == 106) {
if (x % 3 == 1) { hits[106] += 1; state += 2; }
else { hits[106] += y % 13; } }
if (s == 107) {
if (x % 4 == 3) { hits[107] += 1; state += 3; }
else { hits[107] += y % 13; } }
if (s == 108) {
if (x % 5 == 3) { hits[108] += 1; state += 4; }
else { hits[108] += y % 13; } }
if (s == 109) {
if (x % 6 == 1) { hits[109] += 1; state += 5; }
else { hits[109] += y % 13; } }
if (s == 110) {
if (x % 7 == 5) { hits[110] += 1; state += 1; }
else { hits[110] += y % 13; } }
if (s == 111) {
if (x % 8 == 7) { hits[111] += 1; state += 2; }
else { hits[111] += y % 13; } }
if (s == 112) {
if (x % 2 == 0) { hits[112] += 1; state += 3; }
else { hits[112] += y % 13; } }
if (s == 113) {
if (x % 3 == 2) { hits[113] += 1; state += 4; }
else { hits[113] += y % 13; } }
if (s == 114) {
if (x % 4 == 2) { hits[114] += 1; state += 5; }
else { hits[114] += y % 13; } }
if (s == 115) {
if (x % 5 == 0) { hits[115] += 1; state += 1; }
else { hits[115] += y % 13; } }
if (s == 116) {
if (x % 6 == 2) { hits[116] += 1; state += 2; }
else { hits[116] += y % 13; } }
if (s == 117) {
if (x % 7 == 5) { hits[117] += 1; state += 3; }
else { hits[117] += y % 13; } }
if (s == 118) {
if (x % 8 == 6) { hits[118] += 1; state += 4; }
else { hits[118] += y % 13; } }
if (s == 119) {
if (x % 2 == 1) { hits[119] += 1; state += 5; }
else { hits[119] += y % 13; } }
if (s == 120) {
if (x % 3 == 0) { hits[120] += 1; state += 1; }
else { hits[120] += y % 13; } }
if (s == 121) {
if (x % 4 == 1) { hits[121] += 1; state += 2; }
else { hits[121] += y % 13; } }
if (s == 122) {
if (x % 5 == 2) { hits[122] += 1; state += 3; }
else { hits[122] += y % 13; } }
if (s == 123) {
if (x % 6 == 3) { hits[123] += 1; state += 4; }
else { hits[123] += y % 13; } }
if (s == 124) {
if (x % 7 == 5) { hits[124] += 1; state += 5; }
else { hits[124] += y % 13; } }
if (s == 125) {
if (x % 8 == 5) { hits[125] += 1; state += 1; }
else { hits[125] += y % 13; } }
if (s == 126) {
if (x % 2 == 0) { hits[126] += 1; state += 2; }
else { hits[126] += y % 13; } }
if (s == 127) {
if (x % 3 == 1) { hits[127] += 1; state += 3; }
else { hits[127] += y % 13; } }
if (s == 128) {
if (x % 4 == 0) { hits[128] += 1; state += 4; }
else { hits[128] += y % 13; } }
if (s == 129) {
if (x % 5 == 4) { hits[129] += 1; state += 5; }
else { hits[129] += y % 13; } }
if (s == 130) {
if (x % 6 == 4) { hits[130] += 1; state += 1; }
else { hits[130] += y % 13; } }
if (s == 131) {
if (x % 7 == 5) { hits[131] += 1; state += 2; }
else { hits[131] += y % 13; } }
if (s == 132) {
if (x % 8 == 4) { hits[132] += 1; state += 3; }
else { hits[132] += y % 13; } }
if (s == 133) {
if (x % 2 == 1) { hits[133] += 1; state += 4; }
else { hits[133] += y % 13; } }
if (s == 134) {
if (x % 3 == 2) { hits[134] += 1; state += 5; }
else { hits[134] += y % 13; } }
if (s == 135) {
if (x % 4 == 3) { hits[135] += 1; state += 1; }
else { hits[135] += y % 13; } }
if (s == 136) {
if (x % 5 == 1) { hits[136] += 1; state += 2; }
else { hits[136] += y % 13; } }
if (s == 137) {
if (x % 6 == 5) { hits[137] += 1; state += 3; }
else { hits[137] += y % 13; } }
if (s == 138) {
if (x % 7 == 5) { hits[138] += 1; state += 4; }
else { hits[138] += y % 13; } }
if (s == 139) {
if (x % 8 == 3) { hits[139] += 1; state += 5; }
else { hits[139] += y % 13; } }
if (s == 140) {
if (x % 2 == 0) { hits[140] += 1; state += 1; }
else { hits[140] += y % 13; } }
if (s == 141) {
if (x % 3 == 0) { hits[141] += 1; state += 2; }
else { hits[141] += y % 13; } }
if (s == 142) {
if (x % 4 == 2) { hits[142] += 1; state += 3; }
else { hits[142] += y % 13; } }
if (s == 143) {
if (x % 5 == 3) { hits[143] += 1; state += 4; }
else { hits[143] += y % 13; } }
if (s == 144) {
if (x % 6 == 0) { hits[144] += 1; state += 5; }
else { hits[144] += y % 13; } }
if (s == 145) {
if (x % 7 == 5) { hits[145] += 1; state += 1; }
else { hits[145] += y % 13; } }
if (s == 146) {
if (x % 8 == 2) { hits[146] += 1; state += 2; }
else { hits[146] += y % 13; } }
if (s == 147) {
if (x % 2 == 1) { hits[147] += 1; state += 3; }
else { hits[147] += y % 13; } }
if (s == 148) {
if (x % 3 == 1) { hits[148] += 1; state += 4; }
else { hits[148] += y % 13; } }
if (s == 149) {
if (x % 4 == 1) { hits[149] += 1; state += 5; }
else { hits[149] += y % 13; } }
if (s == 150) {
if (x % 5 == 0) { hits[150] += 1; state += 1; }
else { hits[150] += y % 13; } }
if (s == 151) {
if (x % 6 == 1) { hits[151] += 1; state += 2; }
else { hits[151] += y % 13; } }
if (s == 152) {
if (x % 7 == 5) { hits[152] += 1; state += 3; }
else { hits[152] += y % 13; } }
if (s == 153) {
if (x % 8 == 1) { hits[153] += 1; state += 4; }
else { hits[153] += y % 13; } }
if (s == 154) {
if (x % 2 == 0) { hits[154] += 1; state += 5; }
else { hits[154] += y % 13; } }
if (s == 155) {
if (x % 3 == 2) { hits[155] += 1; state += 1; }
else { hits[155] += y % 13; } }
if (s == 156) {
if (x % 4 == 0) { hits[156] += 1; state += 2; }
else { hits[156] += y % 13; } }
if (s == 157) {
if (x % 5 == 2) { hits[157] += 1; state += 3; }
else { hits[157] += y % 13; } }
if (s == 158) {
if (x % 6 == 2) { hits[158] += 1; state += 4; }
else { hits[158] += y % 13; } }
if (s == 159) {
if (x % 7 == 5) { hits[159] += 1; state += 5; }
else { hits[159] += y % 13; } }
if (s == 160) {
if (x % 8 == 0) { hits[160] += 1; state += 1; }
else { hits[160] += y % 13; } }
if (s == 161) {
if (x % 2 == 1) { hits[161] += 1; state += 2; }
else { hits[161] += y % 13; } }
if (s == 162) {
if (x % 3 == 0) { hits[162] += 1; state += 3; }
else { hits[162] += y % 13; } }
if (s == 163) {
if (x % 4 == 3) { hits[163] += 1; state += 4; }
else { hits[163] += y % 13; } }
if (s == 164) {
if (x % 5 == 4) { hits[164] += 1; state += 5; }
else { hits[164] += y % 13; } }
if (s == 165) {
if (x % 6 == 3) { hits[165] += 1; state += 1; }
else { hits[165] += y % 13; } }
if (s == 166) {
if (x % 7 == 5) { hits[166] += 1; state += 2; }
else { hits[166] += y % 13; } }
if (s == 167) {
if (x % 8 == 7) { hits[167] += 1; state += 3; }
else { hits[167] += y % 13; } }
if (s == 168) {
if (x % 2 == 0) { hits[168] += 1; state += 4; }
else { hits[168] += y % 13; } }
if (s == 169) {
if (x % 3 == 1) { hits[169] += 1; state += 5; }
else { hits[169] += y % 13; } }
if (s == 170) {
if (x % 4 == 2) { hits[170] += 1; state += 1; }
else { hits[170] += y % 13; } }
if (s == 171) {
if (x % 5 == 1) { hits[171] += 1; state += 2; }
else { hits[171] += y % 13; } }
if (s == 172) {
if (x % 6 == 4) { hits[172] += 1; state += 3; }
else { hits[172] += y % 13; } }
if (s == 173) {
if (x % 7 == 5) { hits[173] += 1; state += 4; }
else { hits[173] += y % 13; } }
if (s == 174) {
if (x % 8 == 6) { hits[174] += 1; state += 5; }
else { hits[174] += y % 13; } }
if (s == 175) {
if (x % 2 == 1) { hits[175] += 1; state += 1; }
else { hits[175] += y % 13; } }
if (s == 176) {
if (x % 3 == 2) { hits[176] += 1; state += 2; }
else { hits[176] += y % 13; } }
if (s == 177) {
if (x % 4 == 1) { hits[177] += 1; state += 3; }
else { hits[177] += y % 13; } }
if (s == 178) {
if (x % 5 == 3) { hits[178] += 1; state += 4; }
else { hits[178] += y % 13; } }
if (s == 179) {
if (x % 6 == 5) { hits[179] += 1; state += 5; }
else { hits[179] += y % 13; } }
if (s == 180) {
if (x % 7 == 5) { hits[180] += 1; state += 1; }
else { hits[180] += y % 13; } }
if (s == 181) {
if (x % 8 == 5) { hits[181] += 1; state += 2; }
else { hits[181] += y % 13; } }
if (s == 182) {
if (x % 2 == 0) { hits[182] += 1; state += 3; }
else { hits[182] += y % 13; } }
if (s == 183) {
if (x % 3 == 0) { hits[183] += 1; state += 4; }
else { hits[183] += y % 13; } }
if (s == 184) {
if (x % 4 == 0) { hits[184] += 1; state += 5; }
else { hits[184] += y % 13; } }
if (s == 185) {
if (x % 5 == 0) { hits[185] += 1; state += 1; }
else { hits[185] += y % 13; } }
if (s == 186) {
if (x % 6 == 0) { hits[186] += 1; state += 2; }
else { hits[186] += y % 13; } }
if (s == 187) {
if (x % 7 == 5) { hits[187] += 1; state += 3; }
else { hits[187] += y % 13; } }
if (s == 188) {
if (x % 8 == 4) { hits[188] += 1; state += 4; }
else { hits[188] += y % 13; } }
if (s == 189) {
if (x % 2 == 1) { hits[189] += 1; state += 5; }
else { hits[189] += y % 13; } }
if (s == 190) {
if (x % 3 == 1) { hits[190] += 1; state += 1; }
else { hits[190] += y % 13; } }
if (s == 191) {
if (x % 4 == 3) { hits[191] += 1; state += 2; }
else { hits[191] += y % 13; } }
if (s == 192) {
if (x % 5 == 2) { hits[192] += 1; state += 3; }
else { hits[192] += y % 13; } }
if (s == 193) {
if (x % 6 == 1) { hits[193] += 1; state += 4; }
else { hits[193] += y % 13; } }
if (s == 194) {
if (x % 7 == 5) { hits[194] += 1; state += 5; }
else { hits[194] += y % 13; } }
if (s == 195) {
if (x % 8 == 3) { hits[195] += 1; state += 1; }
else { hits[195] += y % 13; } }
if (s == 196) {
if (x % 2 == 0) { hits[196] += 1; state += 2; }
else { hits[196] += y % 13; } }
if (s == 197) {
if (x % 3 == 2) { hits[197] += 1; state += 3; }
else { hits[197] += y % 13; } }
if (s == 198) {
if (x % 4 == 2) { hits[198] += 1; state += 4; }
else { hits[198] += y % 13; } }
if (s == 199) {
if (x % 5 == 4) { hits[199] += 1; state += 5; }
else { hits[199] += y % 13; } }
if (state > reachedCount) reachedCount = state;
}
function step1(uint256 sel, uint256 x, uint256 y) public {
uint256 s = sel % 1600;
if (s == 200) {
if (x % 6 == 2) { hits[200] += 1; state += 1; }
else { hits[200] += y % 13; } }
if (s == 201) {
if (x % 7 == 5) { hits[201] += 1; state += 2; }
else { hits[201] += y % 13; } }
if (s == 202) {
if (x % 8 == 2) { hits[202] += 1; state += 3; }
else { hits[202] += y % 13; } }
if (s == 203) {
if (x % 2 == 1) { hits[203] += 1; state += 4; }
else { hits[203] += y % 13; } }
if (s == 204) {
if (x % 3 == 0) { hits[204] += 1; state += 5; }
else { hits[204] += y % 13; } }
if (s == 205) {
if (x % 4 == 1) { hits[205] += 1; state += 1; }
else { hits[205] += y % 13; } }
if (s == 206) {
if (x % 5 == 1) { hits[206] += 1; state += 2; }
else { hits[206] += y % 13; } }
if (s == 207) {
if (x % 6 == 3) { hits[207] += 1; state += 3; }
else { hits[207] += y % 13; } }
if (s == 208) {
if (x % 7 == 5) { hits[208] += 1; state += 4; }
else { hits[208] += y % 13; } }
if (s == 209) {
if (x % 8 == 1) { hits[209] += 1; state += 5; }
else { hits[209] += y % 13; } }
if (s == 210) {
if (x % 2 == 0) { hits[210] += 1; state += 1; }
else { hits[210] += y % 13; } }
if (s == 211) {
if (x % 3 == 1) { hits[211] += 1; state += 2; }
else { hits[211] += y % 13; } }
if (s == 212) {
if (x % 4 == 0) { hits[212] += 1; state += 3; }
else { hits[212] += y % 13; } }
if (s == 213) {
if (x % 5 == 3) { hits[213] += 1; state += 4; }
else { hits[213] += y % 13; } }
if (s == 214) {
if (x % 6 == 4) { hits[214] += 1; state += 5; }
else { hits[214] += y % 13; } }
if (s == 215) {
if (x % 7 == 5) { hits[215] += 1; state += 1; }
else { hits[215] += y % 13; } }
if (s == 216) {
if (x % 8 == 0) { hits[216] += 1; state += 2; }
else { hits[216] += y % 13; } }
if (s == 217) {
if (x % 2 == 1) { hits[217] += 1; state += 3; }
else { hits[217] += y % 13; } }
if (s == 218) {
if (x % 3 == 2) { hits[218] += 1; state += 4; }
else { hits[218] += y % 13; } }
if (s == 219) {
if (x % 4 == 3) { hits[219] += 1; state += 5; }
else { hits[219] += y % 13; } }
if (s == 220) {
if (x % 5 == 0) { hits[220] += 1; state += 1; }
else { hits[220] += y % 13; } }
if (s == 221) {
if (x % 6 == 5) { hits[221] += 1; state += 2; }
else { hits[221] += y % 13; } }
if (s == 222) {
if (x % 7 == 5) { hits[222] += 1; state += 3; }
else { hits[222] += y % 13; } }
if (s == 223) {
if (x % 8 == 7) { hits[223] += 1; state += 4; }
else { hits[223] += y % 13; } }
if (s == 224) {
if (x % 2 == 0) { hits[224] += 1; state += 5; }
else { hits[224] += y % 13; } }
if (s == 225) {
if (x % 3 == 0) { hits[225] += 1; state += 1; }
else { hits[225] += y % 13; } }
if (s == 226) {
if (x % 4 == 2) { hits[226] += 1; state += 2; }
else { hits[226] += y % 13; } }
if (s == 227) {
if (x % 5 == 2) { hits[227] += 1; state += 3; }
else { hits[227] += y % 13; } }
if (s == 228) {
if (x % 6 == 0) { hits[228] += 1; state += 4; }
else { hits[228] += y % 13; } }
if (s == 229) {
if (x % 7 == 5) { hits[229] += 1; state += 5; }
else { hits[229] += y % 13; } }
if (s == 230) {
if (x % 8 == 6) { hits[230] += 1; state += 1; }
else { hits[230] += y % 13; } }
if (s == 231) {
if (x % 2 == 1) { hits[231] += 1; state += 2; }
else { hits[231] += y % 13; } }
if (s == 232) {
if (x % 3 == 1) { hits[232] += 1; state += 3; }
else { hits[232] += y % 13; } }
if (s == 233) {
if (x % 4 == 1) { hits[233] += 1; state += 4; }
else { hits[233] += y % 13; } }
if (s == 234) {
if (x % 5 == 4) { hits[234] += 1; state += 5; }
else { hits[234] += y % 13; } }
if (s == 235) {
if (x % 6 == 1) { hits[235] += 1; state += 1; }
else { hits[235] += y % 13; } }
if (s == 236) {
if (x % 7 == 5) { hits[236] += 1; state += 2; }
else { hits[236] += y % 13; } }
if (s == 237) {
if (x % 8 == 5) { hits[237] += 1; state += 3; }
else { hits[237] += y % 13; } }
if (s == 238) {
if (x % 2 == 0) { hits[238] += 1; state += 4; }
else { hits[238] += y % 13; } }
if (s == 239) {
if (x % 3 == 2) { hits[239] += 1; state += 5; }
else { hits[239] += y % 13; } }
if (s == 240) {
if (x % 4 == 0) { hits[240] += 1; state += 1; }
else { hits[240] += y % 13; } }
if (s == 241) {
if (x % 5 == 1) { hits[241] += 1; state += 2; }
else { hits[241] += y % 13; } }
if (s == 242) {
if (x % 6 == 2) { hits[242] += 1; state += 3; }
else { hits[242] += y % 13; } }
if (s == 243) {
if (x % 7 == 5) { hits[243] += 1; state += 4; }
else { hits[243] += y % 13; } }
if (s == 244) {
if (x % 8 == 4) { hits[244] += 1; state += 5; }
else { hits[244] += y % 13; } }
if (s == 245) {
if (x % 2 == 1) { hits[245] += 1; state += 1; }
else { hits[245] += y % 13; } }
if (s == 246) {
if (x % 3 == 0) { hits[246] += 1; state += 2; }
else { hits[246] += y % 13; } }
if (s == 247) {
if (x % 4 == 3) { hits[247] += 1; state += 3; }
else { hits[247] += y % 13; } }
if (s == 248) {
if (x % 5 == 3) { hits[248] += 1; state += 4; }
else { hits[248] += y % 13; } }
if (s == 249) {
if (x % 6 == 3) { hits[249] += 1; state += 5; }
else { hits[249] += y % 13; } }
if (s == 250) {
if (x % 7 == 5) { hits[250] += 1; state += 1; }
else { hits[250] += y % 13; } }
if (s == 251) {
if (x % 8 == 3) { hits[251] += 1; state += 2; }
else { hits[251] += y % 13; } }
if (s == 252) {
if (x % 2 == 0) { hits[252] += 1; state += 3; }
else { hits[252] += y % 13; } }
if (s == 253) {
if (x % 3 == 1) { hits[253] += 1; state += 4; }
else { hits[253] += y % 13; } }
if (s == 254) {
if (x % 4 == 2) { hits[254] += 1; state += 5; }
else { hits[254] += y % 13; } }
if (s == 255) {
if (x % 5 == 0) { hits[255] += 1; state += 1; }
else { hits[255] += y % 13; } }
if (s == 256) {
if (x % 6 == 4) { hits[256] += 1; state += 2; }
else { hits[256] += y % 13; } }
if (s == 257) {
if (x % 7 == 5) { hits[257] += 1; state += 3; }
else { hits[257] += y % 13; } }
if (s == 258) {
if (x % 8 == 2) { hits[258] += 1; state += 4; }
else { hits[258] += y % 13; } }
if (s == 259) {
if (x % 2 == 1) { hits[259] += 1; state += 5; }
else { hits[259] += y % 13; } }
if (s == 260) {
if (x % 3 == 2) { hits[260] += 1; state += 1; }
else { hits[260] += y % 13; } }
if (s == 261) {
if (x % 4 == 1) { hits[261] += 1; state += 2; }
else { hits[261] += y % 13; } }
if (s == 262) {
if (x % 5 == 2) { hits[262] += 1; state += 3; }
else { hits[262] += y % 13; } }
if (s == 263) {
if (x % 6 == 5) { hits[263] += 1; state += 4; }
else { hits[263] += y % 13; } }
if (s == 264) {
if (x % 7 == 5) { hits[264] += 1; state += 5; }
else { hits[264] += y % 13; } }
if (s == 265) {
if (x % 8 == 1) { hits[265] += 1; state += 1; }
else { hits[265] += y % 13; } }
if (s == 266) {
if (x % 2 == 0) { hits[266] += 1; state += 2; }
else { hits[266] += y % 13; } }
if (s == 267) {
if (x % 3 == 0) { hits[267] += 1; state += 3; }
else { hits[267] += y % 13; } }
if (s == 268) {
if (x % 4 == 0) { hits[268] += 1; state += 4; }
else { hits[268] += y % 13; } }
if (s == 269) {
if (x % 5 == 4) { hits[269] += 1; state += 5; }
else { hits[269] += y % 13; } }
if (s == 270) {
if (x % 6 == 0) { hits[270] += 1; state += 1; }
else { hits[270] += y % 13; } }
if (s == 271) {
if (x % 7 == 5) { hits[271] += 1; state += 2; }
else { hits[271] += y % 13; } }
if (s == 272) {
if (x % 8 == 0) { hits[272] += 1; state += 3; }
else { hits[272] += y % 13; } }
if (s == 273) {
if (x % 2 == 1) { hits[273] += 1; state += 4; }
else { hits[273] += y % 13; } }
if (s == 274) {
if (x % 3 == 1) { hits[274] += 1; state += 5; }
else { hits[274] += y % 13; } }
if (s == 275) {
if (x % 4 == 3) { hits[275] += 1; state += 1; }
else { hits[275] += y % 13; } }
if (s == 276) {
if (x % 5 == 1) { hits[276] += 1; state += 2; }
else { hits[276] += y % 13; } }
if (s == 277) {
if (x % 6 == 1) { hits[277] += 1; state += 3; }
else { hits[277] += y % 13; } }
if (s == 278) {
if (x % 7 == 5) { hits[278] += 1; state += 4; }
else { hits[278] += y % 13; } }
if (s == 279) {
if (x % 8 == 7) { hits[279] += 1; state += 5; }
else { hits[279] += y % 13; } }
if (s == 280) {
if (x % 2 == 0) { hits[280] += 1; state += 1; }
else { hits[280] += y % 13; } }
if (s == 281) {
if (x % 3 == 2) { hits[281] += 1; state += 2; }
else { hits[281] += y % 13; } }
if (s == 282) {
if (x % 4 == 2) { hits[282] += 1; state += 3; }
else { hits[282] += y % 13; } }
if (s == 283) {
if (x % 5 == 3) { hits[283] += 1; state += 4; }
else { hits[283] += y % 13; } }
if (s == 284) {
if (x % 6 == 2) { hits[284] += 1; state += 5; }
else { hits[284] += y % 13; } }
if (s == 285) {
if (x % 7 == 5) { hits[285] += 1; state += 1; }
else { hits[285] += y % 13; } }
if (s == 286) {
if (x % 8 == 6) { hits[286] += 1; state += 2; }
else { hits[286] += y % 13; } }
if (s == 287) {
if (x % 2 == 1) { hits[287] += 1; state += 3; }
else { hits[287] += y % 13; } }
if (s == 288) {
if (x % 3 == 0) { hits[288] += 1; state += 4; }
else { hits[288] += y % 13; } }
if (s == 289) {
if (x % 4 == 1) { hits[289] += 1; state += 5; }
else { hits[289] += y % 13; } }
if (s == 290) {
if (x % 5 == 0) { hits[290] += 1; state += 1; }
else { hits[290] += y % 13; } }
if (s == 291) {
if (x % 6 == 3) { hits[291] += 1; state += 2; }
else { hits[291] += y % 13; } }
if (s == 292) {
if (x % 7 == 5) { hits[292] += 1; state += 3; }
else { hits[292] += y % 13; } }
if (s == 293) {
if (x % 8 == 5) { hits[293] += 1; state += 4; }
else { hits[293] += y % 13; } }
if (s == 294) {
if (x % 2 == 0) { hits[294] += 1; state += 5; }
else { hits[294] += y % 13; } }
if (s == 295) {
if (x % 3 == 1) { hits[295] += 1; state += 1; }
else { hits[295] += y % 13; } }
if (s == 296) {
if (x % 4 == 0) { hits[296] += 1; state += 2; }
else { hits[296] += y % 13; } }
if (s == 297) {
if (x % 5 == 2) { hits[297] += 1; state += 3; }
else { hits[297] += y % 13; } }
if (s == 298) {
if (x % 6 == 4) { hits[298] += 1; state += 4; }
else { hits[298] += y % 13; } }
if (s == 299) {
if (x % 7 == 5) { hits[299] += 1; state += 5; }
else { hits[299] += y % 13; } }
if (s == 300) {
if (x % 8 == 4) { hits[300] += 1; state += 1; }
else { hits[300] += y % 13; } }
if (s == 301) {
if (x % 2 == 1) { hits[301] += 1; state += 2; }
else { hits[301] += y % 13; } }
if (s == 302) {
if (x % 3 == 2) { hits[302] += 1; state += 3; }
else { hits[302] += y % 13; } }
if (s == 303) {
if (x % 4 == 3) { hits[303] += 1; state += 4; }
else { hits[303] += y % 13; } }
if (s == 304) {
if (x % 5 == 4) { hits[304] += 1; state += 5; }
else { hits[304] += y % 13; } }
if (s == 305) {
if (x % 6 == 5) { hits[305] += 1; state += 1; }
else { hits[305] += y % 13; } }
if (s == 306) {
if (x % 7 == 5) { hits[306] += 1; state += 2; }
else { hits[306] += y % 13; } }
if (s == 307) {
if (x % 8 == 3) { hits[307] += 1; state += 3; }
else { hits[307] += y % 13; } }
if (s == 308) {
if (x % 2 == 0) { hits[308] += 1; state += 4; }
else { hits[308] += y % 13; } }
if (s == 309) {
if (x % 3 == 0) { hits[309] += 1; state += 5; }
else { hits[309] += y % 13; } }
if (s == 310) {
if (x % 4 == 2) { hits[310] += 1; state += 1; }
else { hits[310] += y % 13; } }
if (s == 311) {
if (x % 5 == 1) { hits[311] += 1; state += 2; }
else { hits[311] += y % 13; } }
if (s == 312) {
if (x % 6 == 0) { hits[312] += 1; state += 3; }
else { hits[312] += y % 13; } }
if (s == 313) {
if (x % 7 == 5) { hits[313] += 1; state += 4; }
else { hits[313] += y % 13; } }
if (s == 314) {
if (x % 8 == 2) { hits[314] += 1; state += 5; }
else { hits[314] += y % 13; } }
if (s == 315) {
if (x % 2 == 1) { hits[315] += 1; state += 1; }
else { hits[315] += y % 13; } }
if (s == 316) {
if (x % 3 == 1) { hits[316] += 1; state += 2; }
else { hits[316] += y % 13; } }
if (s == 317) {
if (x % 4 == 1) { hits[317] += 1; state += 3; }
else { hits[317] += y % 13; } }
if (s == 318) {
if (x % 5 == 3) { hits[318] += 1; state += 4; }
else { hits[318] += y % 13; } }
if (s == 319) {
if (x % 6 == 1) { hits[319] += 1; state += 5; }
else { hits[319] += y % 13; } }
if (s == 320) {
if (x % 7 == 5) { hits[320] += 1; state += 1; }
else { hits[320] += y % 13; } }
if (s == 321) {
if (x % 8 == 1) { hits[321] += 1; state += 2; }
else { hits[321] += y % 13; } }
if (s == 322) {
if (x % 2 == 0) { hits[322] += 1; state += 3; }
else { hits[322] += y % 13; } }
if (s == 323) {
if (x % 3 == 2) { hits[323] += 1; state += 4; }
else { hits[323] += y % 13; } }
if (s == 324) {
if (x % 4 == 0) { hits[324] += 1; state += 5; }
else { hits[324] += y % 13; } }
if (s == 325) {
if (x % 5 == 0) { hits[325] += 1; state += 1; }
else { hits[325] += y % 13; } }
if (s == 326) {
if (x % 6 == 2) { hits[326] += 1; state += 2; }
else { hits[326] += y % 13; } }
if (s == 327) {
if (x % 7 == 5) { hits[327] += 1; state += 3; }
else { hits[327] += y % 13; } }
if (s == 328) {
if (x % 8 == 0) { hits[328] += 1; state += 4; }
else { hits[328] += y % 13; } }
if (s == 329) {
if (x % 2 == 1) { hits[329] += 1; state += 5; }
else { hits[329] += y % 13; } }
if (s == 330) {
if (x % 3 == 0) { hits[330] += 1; state += 1; }
else { hits[330] += y % 13; } }
if (s == 331) {
if (x % 4 == 3) { hits[331] += 1; state += 2; }
else { hits[331] += y % 13; } }
if (s == 332) {
if (x % 5 == 2) { hits[332] += 1; state += 3; }
else { hits[332] += y % 13; } }
if (s == 333) {
if (x % 6 == 3) { hits[333] += 1; state += 4; }
else { hits[333] += y % 13; } }
if (s == 334) {
if (x % 7 == 5) { hits[334] += 1; state += 5; }
else { hits[334] += y % 13; } }
if (s == 335) {
if (x % 8 == 7) { hits[335] += 1; state += 1; }
else { hits[335] += y % 13; } }
if (s == 336) {
if (x % 2 == 0) { hits[336] += 1; state += 2; }
else { hits[336] += y % 13; } }
if (s == 337) {
if (x % 3 == 1) { hits[337] += 1; state += 3; }
else { hits[337] += y % 13; } }
if (s == 338) {
if (x % 4 == 2) { hits[338] += 1; state += 4; }
else { hits[338] += y % 13; } }
if (s == 339) {
if (x % 5 == 4) { hits[339] += 1; state += 5; }
else { hits[339] += y % 13; } }
if (s == 340) {
if (x % 6 == 4) { hits[340] += 1; state += 1; }
else { hits[340] += y % 13; } }
if (s == 341) {
if (x % 7 == 5) { hits[341] += 1; state += 2; }
else { hits[341] += y % 13; } }
if (s == 342) {
if (x % 8 == 6) { hits[342] += 1; state += 3; }
else { hits[342] += y % 13; } }
if (s == 343) {
if (x % 2 == 1) { hits[343] += 1; state += 4; }
else { hits[343] += y % 13; } }
if (s == 344) {
if (x % 3 == 2) { hits[344] += 1; state += 5; }
else { hits[344] += y % 13; } }
if (s == 345) {
if (x % 4 == 1) { hits[345] += 1; state += 1; }
else { hits[345] += y % 13; } }
if (s == 346) {
if (x % 5 == 1) { hits[346] += 1; state += 2; }
else { hits[346] += y % 13; } }
if (s == 347) {
if (x % 6 == 5) { hits[347] += 1; state += 3; }
else { hits[347] += y % 13; } }
if (s == 348) {
if (x % 7 == 5) { hits[348] += 1; state += 4; }
else { hits[348] += y % 13; } }
if (s == 349) {
if (x % 8 == 5) { hits[349] += 1; state += 5; }
else { hits[349] += y % 13; } }
if (s == 350) {
if (x % 2 == 0) { hits[350] += 1; state += 1; }
else { hits[350] += y % 13; } }
if (s == 351) {
if (x % 3 == 0) { hits[351] += 1; state += 2; }
else { hits[351] += y % 13; } }
if (s == 352) {
if (x % 4 == 0) { hits[352] += 1; state += 3; }
else { hits[352] += y % 13; } }
if (s == 353) {
if (x % 5 == 3) { hits[353] += 1; state += 4; }
else { hits[353] += y % 13; } }
if (s == 354) {
if (x % 6 == 0) { hits[354] += 1; state += 5; }
else { hits[354] += y % 13; } }
if (s == 355) {
if (x % 7 == 5) { hits[355] += 1; state += 1; }
else { hits[355] += y % 13; } }
if (s == 356) {
if (x % 8 == 4) { hits[356] += 1; state += 2; }
else { hits[356] += y % 13; } }
if (s == 357) {
if (x % 2 == 1) { hits[357] += 1; state += 3; }
else { hits[357] += y % 13; } }
if (s == 358) {
if (x % 3 == 1) { hits[358] += 1; state += 4; }
else { hits[358] += y % 13; } }
if (s == 359) {
if (x % 4 == 3) { hits[359] += 1; state += 5; }
else { hits[359] += y % 13; } }
if (s == 360) {
if (x % 5 == 0) { hits[360] += 1; state += 1; }
else { hits[360] += y % 13; } }
if (s == 361) {
if (x % 6 == 1) { hits[361] += 1; state += 2; }
else { hits[361] += y % 13; } }
if (s == 362) {
if (x % 7 == 5) { hits[362] += 1; state += 3; }
else { hits[362] += y % 13; } }
if (s == 363) {
if (x % 8 == 3) { hits[363] += 1; state += 4; }
else { hits[363] += y % 13; } }
if (s == 364) {
if (x % 2 == 0) { hits[364] += 1; state += 5; }
else { hits[364] += y % 13; } }
if (s == 365) {
if (x % 3 == 2) { hits[365] += 1; state += 1; }
else { hits[365] += y % 13; } }
if (s == 366) {
if (x % 4 == 2) { hits[366] += 1; state += 2; }
else { hits[366] += y % 13; } }
if (s == 367) {
if (x % 5 == 2) { hits[367] += 1; state += 3; }
else { hits[367] += y % 13; } }
if (s == 368) {
if (x % 6 == 2) { hits[368] += 1; state += 4; }
else { hits[368] += y % 13; } }
if (s == 369) {
if (x % 7 == 5) { hits[369] += 1; state += 5; }
else { hits[369] += y % 13; } }
if (s == 370) {
if (x % 8 == 2) { hits[370] += 1; state += 1; }
else { hits[370] += y % 13; } }
if (s == 371) {
if (x % 2 == 1) { hits[371] += 1; state += 2; }
else { hits[371] += y % 13; } }
if (s == 372) {
if (x % 3 == 0) { hits[372] += 1; state += 3; }
else { hits[372] += y % 13; } }
if (s == 373) {
if (x % 4 == 1) { hits[373] += 1; state += 4; }
else { hits[373] += y % 13; } }
if (s == 374) {
if (x % 5 == 4) { hits[374] += 1; state += 5; }
else { hits[374] += y % 13; } }
if (s == 375) {
if (x % 6 == 3) { hits[375] += 1; state += 1; }
else { hits[375] += y % 13; } }
if (s == 376) {
if (x % 7 == 5) { hits[376] += 1; state += 2; }
else { hits[376] += y % 13; } }
if (s == 377) {
if (x % 8 == 1) { hits[377] += 1; state += 3; }
else { hits[377] += y % 13; } }
if (s == 378) {
if (x % 2 == 0) { hits[378] += 1; state += 4; }
else { hits[378] += y % 13; } }
if (s == 379) {
if (x % 3 == 1) { hits[379] += 1; state += 5; }
else { hits[379] += y % 13; } }
if (s == 380) {
if (x % 4 == 0) { hits[380] += 1; state += 1; }
else { hits[380] += y % 13; } }
if (s == 381) {
if (x % 5 == 1) { hits[381] += 1; state += 2; }
else { hits[381] += y % 13; } }
if (s == 382) {
if (x % 6 == 4) { hits[382] += 1; state += 3; }
else { hits[382] += y % 13; } }
if (s == 383) {
if (x % 7 == 5) { hits[383] += 1; state += 4; }
else { hits[383] += y % 13; } }
if (s == 384) {
if (x % 8 == 0) { hits[384] += 1; state += 5; }
else { hits[384] += y % 13; } }
if (s == 385) {
if (x % 2 == 1) { hits[385] += 1; state += 1; }
else { hits[385] += y % 13; } }
if (s == 386) {
if (x % 3 == 2) { hits[386] += 1; state += 2; }
else { hits[386] += y % 13; } }
if (s == 387) {
if (x % 4 == 3) { hits[387] += 1; state += 3; }
else { hits[387] += y % 13; } }
if (s == 388) {
if (x % 5 == 3) { hits[388] += 1; state += 4; }
else { hits[388] += y % 13; } }
if (s == 389) {
if (x % 6 == 5) { hits[389] += 1; state += 5; }
else { hits[389] += y % 13; } }
if (s == 390) {
if (x % 7 == 5) { hits[390] += 1; state += 1; }
else { hits[390] += y % 13; } }
if (s == 391) {
if (x % 8 == 7) { hits[391] += 1; state += 2; }
else { hits[391] += y % 13; } }
if (s == 392) {
if (x % 2 == 0) { hits[392] += 1; state += 3; }
else { hits[392] += y % 13; } }
if (s == 393) {
if (x % 3 == 0) { hits[393] += 1; state += 4; }
else { hits[393] += y % 13; } }
if (s == 394) {
if (x % 4 == 2) { hits[394] += 1; state += 5; }
else { hits[394] += y % 13; } }
if (s == 395) {
if (x % 5 == 0) { hits[395] += 1; state += 1; }
else { hits[395] += y % 13; } }
if (s == 396) {
if (x % 6 == 0) { hits[396] += 1; state += 2; }
else { hits[396] += y % 13; } }
if (s == 397) {
if (x % 7 == 5) { hits[397] += 1; state += 3; }
else { hits[397] += y % 13; } }
if (s == 398) {
if (x % 8 == 6) { hits[398] += 1; state += 4; }
else { hits[398] += y % 13; } }
if (s == 399) {
if (x % 2 == 1) { hits[399] += 1; state += 5; }
else { hits[399] += y % 13; } }
if (state > reachedCount) reachedCount = state;
}
function step2(uint256 sel, uint256 x, uint256 y) public {
uint256 s = sel % 1600;
if (s == 400) {
if (x % 3 == 1) { hits[400] += 1; state += 1; }
else { hits[400] += y % 13; } }
if (s == 401) {
if (x % 4 == 1) { hits[401] += 1; state += 2; }
else { hits[401] += y % 13; } }
if (s == 402) {
if (x % 5 == 2) { hits[402] += 1; state += 3; }
else { hits[402] += y % 13; } }
if (s == 403) {
if (x % 6 == 1) { hits[403] += 1; state += 4; }
else { hits[403] += y % 13; } }
if (s == 404) {
if (x % 7 == 5) { hits[404] += 1; state += 5; }
else { hits[404] += y % 13; } }
if (s == 405) {
if (x % 8 == 5) { hits[405] += 1; state += 1; }
else { hits[405] += y % 13; } }
if (s == 406) {
if (x % 2 == 0) { hits[406] += 1; state += 2; }
else { hits[406] += y % 13; } }
if (s == 407) {
if (x % 3 == 2) { hits[407] += 1; state += 3; }
else { hits[407] += y % 13; } }
if (s == 408) {
if (x % 4 == 0) { hits[408] += 1; state += 4; }
else { hits[408] += y % 13; } }
if (s == 409) {
if (x % 5 == 4) { hits[409] += 1; state += 5; }
else { hits[409] += y % 13; } }
if (s == 410) {
if (x % 6 == 2) { hits[410] += 1; state += 1; }
else { hits[410] += y % 13; } }
if (s == 411) {
if (x % 7 == 5) { hits[411] += 1; state += 2; }
else { hits[411] += y % 13; } }
if (s == 412) {
if (x % 8 == 4) { hits[412] += 1; state += 3; }
else { hits[412] += y % 13; } }
if (s == 413) {
if (x % 2 == 1) { hits[413] += 1; state += 4; }
else { hits[413] += y % 13; } }
if (s == 414) {
if (x % 3 == 0) { hits[414] += 1; state += 5; }
else { hits[414] += y % 13; } }
if (s == 415) {
if (x % 4 == 3) { hits[415] += 1; state += 1; }
else { hits[415] += y % 13; } }
if (s == 416) {
if (x % 5 == 1) { hits[416] += 1; state += 2; }
else { hits[416] += y % 13; } }
if (s == 417) {
if (x % 6 == 3) { hits[417] += 1; state += 3; }
else { hits[417] += y % 13; } }
if (s == 418) {
if (x % 7 == 5) { hits[418] += 1; state += 4; }
else { hits[418] += y % 13; } }
if (s == 419) {
if (x % 8 == 3) { hits[419] += 1; state += 5; }
else { hits[419] += y % 13; } }
if (s == 420) {
if (x % 2 == 0) { hits[420] += 1; state += 1; }
else { hits[420] += y % 13; } }
if (s == 421) {
if (x % 3 == 1) { hits[421] += 1; state += 2; }
else { hits[421] += y % 13; } }
if (s == 422) {
if (x % 4 == 2) { hits[422] += 1; state += 3; }
else { hits[422] += y % 13; } }
if (s == 423) {
if (x % 5 == 3) { hits[423] += 1; state += 4; }
else { hits[423] += y % 13; } }
if (s == 424) {
if (x % 6 == 4) { hits[424] += 1; state += 5; }
else { hits[424] += y % 13; } }
if (s == 425) {
if (x % 7 == 5) { hits[425] += 1; state += 1; }
else { hits[425] += y % 13; } }
if (s == 426) {
if (x % 8 == 2) { hits[426] += 1; state += 2; }
else { hits[426] += y % 13; } }
if (s == 427) {
if (x % 2 == 1) { hits[427] += 1; state += 3; }
else { hits[427] += y % 13; } }
if (s == 428) {
if (x % 3 == 2) { hits[428] += 1; state += 4; }
else { hits[428] += y % 13; } }
if (s == 429) {
if (x % 4 == 1) { hits[429] += 1; state += 5; }
else { hits[429] += y % 13; } }
if (s == 430) {
if (x % 5 == 0) { hits[430] += 1; state += 1; }
else { hits[430] += y % 13; } }
if (s == 431) {
if (x % 6 == 5) { hits[431] += 1; state += 2; }
else { hits[431] += y % 13; } }
if (s == 432) {
if (x % 7 == 5) { hits[432] += 1; state += 3; }
else { hits[432] += y % 13; } }
if (s == 433) {
if (x % 8 == 1) { hits[433] += 1; state += 4; }
else { hits[433] += y % 13; } }
if (s == 434) {
if (x % 2 == 0) { hits[434] += 1; state += 5; }
else { hits[434] += y % 13; } }
if (s == 435) {
if (x % 3 == 0) { hits[435] += 1; state += 1; }
else { hits[435] += y % 13; } }
if (s == 436) {
if (x % 4 == 0) { hits[436] += 1; state += 2; }
else { hits[436] += y % 13; } }
if (s == 437) {
if (x % 5 == 2) { hits[437] += 1; state += 3; }
else { hits[437] += y % 13; } }
if (s == 438) {
if (x % 6 == 0) { hits[438] += 1; state += 4; }
else { hits[438] += y % 13; } }
if (s == 439) {
if (x % 7 == 5) { hits[439] += 1; state += 5; }
else { hits[439] += y % 13; } }
if (s == 440) {
if (x % 8 == 0) { hits[440] += 1; state += 1; }
else { hits[440] += y % 13; } }
if (s == 441) {
if (x % 2 == 1) { hits[441] += 1; state += 2; }
else { hits[441] += y % 13; } }
if (s == 442) {
if (x % 3 == 1) { hits[442] += 1; state += 3; }
else { hits[442] += y % 13; } }
if (s == 443) {
if (x % 4 == 3) { hits[443] += 1; state += 4; }
else { hits[443] += y % 13; } }
if (s == 444) {
if (x % 5 == 4) { hits[444] += 1; state += 5; }
else { hits[444] += y % 13; } }
if (s == 445) {
if (x % 6 == 1) { hits[445] += 1; state += 1; }
else { hits[445] += y % 13; } }
if (s == 446) {
if (x % 7 == 5) { hits[446] += 1; state += 2; }
else { hits[446] += y % 13; } }
if (s == 447) {
if (x % 8 == 7) { hits[447] += 1; state += 3; }
else { hits[447] += y % 13; } }
if (s == 448) {
if (x % 2 == 0) { hits[448] += 1; state += 4; }
else { hits[448] += y % 13; } }
if (s == 449) {
if (x % 3 == 2) { hits[449] += 1; state += 5; }
else { hits[449] += y % 13; } }
if (s == 450) {
if (x % 4 == 2) { hits[450] += 1; state += 1; }
else { hits[450] += y % 13; } }
if (s == 451) {
if (x % 5 == 1) { hits[451] += 1; state += 2; }
else { hits[451] += y % 13; } }
if (s == 452) {
if (x % 6 == 2) { hits[452] += 1; state += 3; }
else { hits[452] += y % 13; } }
if (s == 453) {
if (x % 7 == 5) { hits[453] += 1; state += 4; }
else { hits[453] += y % 13; } }
if (s == 454) {
if (x % 8 == 6) { hits[454] += 1; state += 5; }
else { hits[454] += y % 13; } }
if (s == 455) {
if (x % 2 == 1) { hits[455] += 1; state += 1; }
else { hits[455] += y % 13; } }
if (s == 456) {
if (x % 3 == 0) { hits[456] += 1; state += 2; }
else { hits[456] += y % 13; } }
if (s == 457) {
if (x % 4 == 1) { hits[457] += 1; state += 3; }
else { hits[457] += y % 13; } }
if (s == 458) {
if (x % 5 == 3) { hits[458] += 1; state += 4; }
else { hits[458] += y % 13; } }
if (s == 459) {
if (x % 6 == 3) { hits[459] += 1; state += 5; }
else { hits[459] += y % 13; } }
if (s == 460) {
if (x % 7 == 5) { hits[460] += 1; state += 1; }
else { hits[460] += y % 13; } }
if (s == 461) {
if (x % 8 == 5) { hits[461] += 1; state += 2; }
else { hits[461] += y % 13; } }
if (s == 462) {
if (x % 2 == 0) { hits[462] += 1; state += 3; }
else { hits[462] += y % 13; } }
if (s == 463) {
if (x % 3 == 1) { hits[463] += 1; state += 4; }
else { hits[463] += y % 13; } }
if (s == 464) {
if (x % 4 == 0) { hits[464] += 1; state += 5; }
else { hits[464] += y % 13; } }
if (s == 465) {
if (x % 5 == 0) { hits[465] += 1; state += 1; }
else { hits[465] += y % 13; } }
if (s == 466) {
if (x % 6 == 4) { hits[466] += 1; state += 2; }
else { hits[466] += y % 13; } }
if (s == 467) {
if (x % 7 == 5) { hits[467] += 1; state += 3; }
else { hits[467] += y % 13; } }
if (s == 468) {
if (x % 8 == 4) { hits[468] += 1; state += 4; }
else { hits[468] += y % 13; } }
if (s == 469) {
if (x % 2 == 1) { hits[469] += 1; state += 5; }
else { hits[469] += y % 13; } }
if (s == 470) {
if (x % 3 == 2) { hits[470] += 1; state += 1; }
else { hits[470] += y % 13; } }
if (s == 471) {
if (x % 4 == 3) { hits[471] += 1; state += 2; }
else { hits[471] += y % 13; } }
if (s == 472) {
if (x % 5 == 2) { hits[472] += 1; state += 3; }
else { hits[472] += y % 13; } }
if (s == 473) {
if (x % 6 == 5) { hits[473] += 1; state += 4; }
else { hits[473] += y % 13; } }
if (s == 474) {
if (x % 7 == 5) { hits[474] += 1; state += 5; }
else { hits[474] += y % 13; } }
if (s == 475) {
if (x % 8 == 3) { hits[475] += 1; state += 1; }
else { hits[475] += y % 13; } }
if (s == 476) {
if (x % 2 == 0) { hits[476] += 1; state += 2; }
else { hits[476] += y % 13; } }
if (s == 477) {
if (x % 3 == 0) { hits[477] += 1; state += 3; }
else { hits[477] += y % 13; } }
if (s == 478) {
if (x % 4 == 2) { hits[478] += 1; state += 4; }
else { hits[478] += y % 13; } }
if (s == 479) {
if (x % 5 == 4) { hits[479] += 1; state += 5; }
else { hits[479] += y % 13; } }
if (s == 480) {
if (x % 6 == 0) { hits[480] += 1; state += 1; }
else { hits[480] += y % 13; } }
if (s == 481) {
if (x % 7 == 5) { hits[481] += 1; state += 2; }
else { hits[481] += y % 13; } }
if (s == 482) {
if (x % 8 == 2) { hits[482] += 1; state += 3; }
else { hits[482] += y % 13; } }
if (s == 483) {
if (x % 2 == 1) { hits[483] += 1; state += 4; }
else { hits[483] += y % 13; } }
if (s == 484) {
if (x % 3 == 1) { hits[484] += 1; state += 5; }
else { hits[484] += y % 13; } }
if (s == 485) {
if (x % 4 == 1) { hits[485] += 1; state += 1; }
else { hits[485] += y % 13; } }
if (s == 486) {
if (x % 5 == 1) { hits[486] += 1; state += 2; }
else { hits[486] += y % 13; } }
if (s == 487) {
if (x % 6 == 1) { hits[487] += 1; state += 3; }
else { hits[487] += y % 13; } }
if (s == 488) {
if (x % 7 == 5) { hits[488] += 1; state += 4; }
else { hits[488] += y % 13; } }
if (s == 489) {
if (x % 8 == 1) { hits[489] += 1; state += 5; }
else { hits[489] += y % 13; } }
if (s == 490) {
if (x % 2 == 0) { hits[490] += 1; state += 1; }
else { hits[490] += y % 13; } }
if (s == 491) {
if (x % 3 == 2) { hits[491] += 1; state += 2; }
else { hits[491] += y % 13; } }
if (s == 492) {
if (x % 4 == 0) { hits[492] += 1; state += 3; }
else { hits[492] += y % 13; } }
if (s == 493) {
if (x % 5 == 3) { hits[493] += 1; state += 4; }
else { hits[493] += y % 13; } }
if (s == 494) {
if (x % 6 == 2) { hits[494] += 1; state += 5; }
else { hits[494] += y % 13; } }
if (s == 495) {
if (x % 7 == 5) { hits[495] += 1; state += 1; }
else { hits[495] += y % 13; } }
if (s == 496) {
if (x % 8 == 0) { hits[496] += 1; state += 2; }
else { hits[496] += y % 13; } }
if (s == 497) {
if (x % 2 == 1) { hits[497] += 1; state += 3; }
else { hits[497] += y % 13; } }
if (s == 498) {
if (x % 3 == 0) { hits[498] += 1; state += 4; }
else { hits[498] += y % 13; } }
if (s == 499) {
if (x % 4 == 3) { hits[499] += 1; state += 5; }
else { hits[499] += y % 13; } }
if (s == 500) {
if (x % 5 == 0) { hits[500] += 1; state += 1; }
else { hits[500] += y % 13; } }
if (s == 501) {
if (x % 6 == 3) { hits[501] += 1; state += 2; }
else { hits[501] += y % 13; } }
if (s == 502) {
if (x % 7 == 5) { hits[502] += 1; state += 3; }
else { hits[502] += y % 13; } }
if (s == 503) {
if (x % 8 == 7) { hits[503] += 1; state += 4; }
else { hits[503] += y % 13; } }
if (s == 504) {
if (x % 2 == 0) { hits[504] += 1; state += 5; }
else { hits[504] += y % 13; } }
if (s == 505) {
if (x % 3 == 1) { hits[505] += 1; state += 1; }
else { hits[505] += y % 13; } }
if (s == 506) {
if (x % 4 == 2) { hits[506] += 1; state += 2; }
else { hits[506] += y % 13; } }
if (s == 507) {
if (x % 5 == 2) { hits[507] += 1; state += 3; }
else { hits[507] += y % 13; } }
if (s == 508) {
if (x % 6 == 4) { hits[508] += 1; state += 4; }
else { hits[508] += y % 13; } }
if (s == 509) {
if (x % 7 == 5) { hits[509] += 1; state += 5; }
else { hits[509] += y % 13; } }
if (s == 510) {
if (x % 8 == 6) { hits[510] += 1; state += 1; }
else { hits[510] += y % 13; } }
if (s == 511) {
if (x % 2 == 1) { hits[511] += 1; state += 2; }
else { hits[511] += y % 13; } }
if (s == 512) {
if (x % 3 == 2) { hits[512] += 1; state += 3; }
else { hits[512] += y % 13; } }
if (s == 513) {
if (x % 4 == 1) { hits[513] += 1; state += 4; }
else { hits[513] += y % 13; } }
if (s == 514) {
if (x % 5 == 4) { hits[514] += 1; state += 5; }
else { hits[514] += y % 13; } }
if (s == 515) {
if (x % 6 == 5) { hits[515] += 1; state += 1; }
else { hits[515] += y % 13; } }
if (s == 516) {
if (x % 7 == 5) { hits[516] += 1; state += 2; }
else { hits[516] += y % 13; } }
if (s == 517) {
if (x % 8 == 5) { hits[517] += 1; state += 3; }
else { hits[517] += y % 13; } }
if (s == 518) {
if (x % 2 == 0) { hits[518] += 1; state += 4; }
else { hits[518] += y % 13; } }
if (s == 519) {
if (x % 3 == 0) { hits[519] += 1; state += 5; }
else { hits[519] += y % 13; } }
if (s == 520) {
if (x % 4 == 0) { hits[520] += 1; state += 1; }
else { hits[520] += y % 13; } }
if (s == 521) {
if (x % 5 == 1) { hits[521] += 1; state += 2; }
else { hits[521] += y % 13; } }
if (s == 522) {
if (x % 6 == 0) { hits[522] += 1; state += 3; }
else { hits[522] += y % 13; } }
if (s == 523) {
if (x % 7 == 5) { hits[523] += 1; state += 4; }
else { hits[523] += y % 13; } }
if (s == 524) {
if (x % 8 == 4) { hits[524] += 1; state += 5; }
else { hits[524] += y % 13; } }
if (s == 525) {
if (x % 2 == 1) { hits[525] += 1; state += 1; }
else { hits[525] += y % 13; } }
if (s == 526) {
if (x % 3 == 1) { hits[526] += 1; state += 2; }
else { hits[526] += y % 13; } }
if (s == 527) {
if (x % 4 == 3) { hits[527] += 1; state += 3; }
else { hits[527] += y % 13; } }
if (s == 528) {
if (x % 5 == 3) { hits[528] += 1; state += 4; }
else { hits[528] += y % 13; } }
if (s == 529) {
if (x % 6 == 1) { hits[529] += 1; state += 5; }
else { hits[529] += y % 13; } }
if (s == 530) {
if (x % 7 == 5) { hits[530] += 1; state += 1; }
else { hits[530] += y % 13; } }
if (s == 531) {
if (x % 8 == 3) { hits[531] += 1; state += 2; }
else { hits[531] += y % 13; } }
if (s == 532) {
if (x % 2 == 0) { hits[532] += 1; state += 3; }
else { hits[532] += y % 13; } }
if (s == 533) {
if (x % 3 == 2) { hits[533] += 1; state += 4; }
else { hits[533] += y % 13; } }
if (s == 534) {
if (x % 4 == 2) { hits[534] += 1; state += 5; }
else { hits[534] += y % 13; } }
if (s == 535) {
if (x % 5 == 0) { hits[535] += 1; state += 1; }
else { hits[535] += y % 13; } }
if (s == 536) {
if (x % 6 == 2) { hits[536] += 1; state += 2; }
else { hits[536] += y % 13; } }
if (s == 537) {
if (x % 7 == 5) { hits[537] += 1; state += 3; }
else { hits[537] += y % 13; } }
if (s == 538) {
if (x % 8 == 2) { hits[538] += 1; state += 4; }
else { hits[538] += y % 13; } }
if (s == 539) {
if (x % 2 == 1) { hits[539] += 1; state += 5; }
else { hits[539] += y % 13; } }
if (s == 540) {
if (x % 3 == 0) { hits[540] += 1; state += 1; }
else { hits[540] += y % 13; } }
if (s == 541) {
if (x % 4 == 1) { hits[541] += 1; state += 2; }
else { hits[541] += y % 13; } }
if (s == 542) {
if (x % 5 == 2) { hits[542] += 1; state += 3; }
else { hits[542] += y % 13; } }
if (s == 543) {
if (x % 6 == 3) { hits[543] += 1; state += 4; }
else { hits[543] += y % 13; } }
if (s == 544) {
if (x % 7 == 5) { hits[544] += 1; state += 5; }
else { hits[544] += y % 13; } }
if (s == 545) {
if (x % 8 == 1) { hits[545] += 1; state += 1; }
else { hits[545] += y % 13; } }
if (s == 546) {
if (x % 2 == 0) { hits[546] += 1; state += 2; }
else { hits[546] += y % 13; } }
if (s == 547) {
if (x % 3 == 1) { hits[547] += 1; state += 3; }
else { hits[547] += y % 13; } }
if (s == 548) {
if (x % 4 == 0) { hits[548] += 1; state += 4; }
else { hits[548] += y % 13; } }
if (s == 549) {
if (x % 5 == 4) { hits[549] += 1; state += 5; }
else { hits[549] += y % 13; } }
if (s == 550) {
if (x % 6 == 4) { hits[550] += 1; state += 1; }
else { hits[550] += y % 13; } }
if (s == 551) {
if (x % 7 == 5) { hits[551] += 1; state += 2; }
else { hits[551] += y % 13; } }
if (s == 552) {
if (x % 8 == 0) { hits[552] += 1; state += 3; }
else { hits[552] += y % 13; } }
if (s == 553) {
if (x % 2 == 1) { hits[553] += 1; state += 4; }
else { hits[553] += y % 13; } }
if (s == 554) {
if (x % 3 == 2) { hits[554] += 1; state += 5; }
else { hits[554] += y % 13; } }
if (s == 555) {
if (x % 4 == 3) { hits[555] += 1; state += 1; }
else { hits[555] += y % 13; } }
if (s == 556) {
if (x % 5 == 1) { hits[556] += 1; state += 2; }
else { hits[556] += y % 13; } }
if (s == 557) {
if (x % 6 == 5) { hits[557] += 1; state += 3; }
else { hits[557] += y % 13; } }
if (s == 558) {
if (x % 7 == 5) { hits[558] += 1; state += 4; }
else { hits[558] += y % 13; } }
if (s == 559) {
if (x % 8 == 7) { hits[559] += 1; state += 5; }
else { hits[559] += y % 13; } }
if (s == 560) {
if (x % 2 == 0) { hits[560] += 1; state += 1; }
else { hits[560] += y % 13; } }
if (s == 561) {
if (x % 3 == 0) { hits[561] += 1; state += 2; }
else { hits[561] += y % 13; } }
if (s == 562) {
if (x % 4 == 2) { hits[562] += 1; state += 3; }
else { hits[562] += y % 13; } }
if (s == 563) {
if (x % 5 == 3) { hits[563] += 1; state += 4; }
else { hits[563] += y % 13; } }
if (s == 564) {
if (x % 6 == 0) { hits[564] += 1; state += 5; }
else { hits[564] += y % 13; } }
if (s == 565) {
if (x % 7 == 5) { hits[565] += 1; state += 1; }
else { hits[565] += y % 13; } }
if (s == 566) {
if (x % 8 == 6) { hits[566] += 1; state += 2; }
else { hits[566] += y % 13; } }
if (s == 567) {
if (x % 2 == 1) { hits[567] += 1; state += 3; }
else { hits[567] += y % 13; } }
if (s == 568) {
if (x % 3 == 1) { hits[568] += 1; state += 4; }
else { hits[568] += y % 13; } }
if (s == 569) {
if (x % 4 == 1) { hits[569] += 1; state += 5; }
else { hits[569] += y % 13; } }
if (s == 570) {
if (x % 5 == 0) { hits[570] += 1; state += 1; }
else { hits[570] += y % 13; } }
if (s == 571) {
if (x % 6 == 1) { hits[571] += 1; state += 2; }
else { hits[571] += y % 13; } }
if (s == 572) {
if (x % 7 == 5) { hits[572] += 1; state += 3; }
else { hits[572] += y % 13; } }
if (s == 573) {
if (x % 8 == 5) { hits[573] += 1; state += 4; }
else { hits[573] += y % 13; } }
if (s == 574) {
if (x % 2 == 0) { hits[574] += 1; state += 5; }
else { hits[574] += y % 13; } }
if (s == 575) {
if (x % 3 == 2) { hits[575] += 1; state += 1; }
else { hits[575] += y % 13; } }
if (s == 576) {
if (x % 4 == 0) { hits[576] += 1; state += 2; }
else { hits[576] += y % 13; } }
if (s == 577) {
if (x % 5 == 2) { hits[577] += 1; state += 3; }
else { hits[577] += y % 13; } }
if (s == 578) {
if (x % 6 == 2) { hits[578] += 1; state += 4; }
else { hits[578] += y % 13; } }
if (s == 579) {
if (x % 7 == 5) { hits[579] += 1; state += 5; }
else { hits[579] += y % 13; } }
if (s == 580) {
if (x % 8 == 4) { hits[580] += 1; state += 1; }
else { hits[580] += y % 13; } }
if (s == 581) {
if (x % 2 == 1) { hits[581] += 1; state += 2; }
else { hits[581] += y % 13; } }
if (s == 582) {
if (x % 3 == 0) { hits[582] += 1; state += 3; }
else { hits[582] += y % 13; } }
if (s == 583) {
if (x % 4 == 3) { hits[583] += 1; state += 4; }
else { hits[583] += y % 13; } }
if (s == 584) {
if (x % 5 == 4) { hits[584] += 1; state += 5; }
else { hits[584] += y % 13; } }
if (s == 585) {
if (x % 6 == 3) { hits[585] += 1; state += 1; }
else { hits[585] += y % 13; } }
if (s == 586) {
if (x % 7 == 5) { hits[586] += 1; state += 2; }
else { hits[586] += y % 13; } }
if (s == 587) {
if (x % 8 == 3) { hits[587] += 1; state += 3; }
else { hits[587] += y % 13; } }
if (s == 588) {
if (x % 2 == 0) { hits[588] += 1; state += 4; }
else { hits[588] += y % 13; } }
if (s == 589) {
if (x % 3 == 1) { hits[589] += 1; state += 5; }
else { hits[589] += y % 13; } }
if (s == 590) {
if (x % 4 == 2) { hits[590] += 1; state += 1; }
else { hits[590] += y % 13; } }
if (s == 591) {
if (x % 5 == 1) { hits[591] += 1; state += 2; }
else { hits[591] += y % 13; } }
if (s == 592) {
if (x % 6 == 4) { hits[592] += 1; state += 3; }
else { hits[592] += y % 13; } }
if (s == 593) {
if (x % 7 == 5) { hits[593] += 1; state += 4; }
else { hits[593] += y % 13; } }
if (s == 594) {
if (x % 8 == 2) { hits[594] += 1; state += 5; }
else { hits[594] += y % 13; } }
if (s == 595) {
if (x % 2 == 1) { hits[595] += 1; state += 1; }
else { hits[595] += y % 13; } }
if (s == 596) {
if (x % 3 == 2) { hits[596] += 1; state += 2; }
else { hits[596] += y % 13; } }
if (s == 597) {
if (x % 4 == 1) { hits[597] += 1; state += 3; }
else { hits[597] += y % 13; } }
if (s == 598) {
if (x % 5 == 3) { hits[598] += 1; state += 4; }
else { hits[598] += y % 13; } }
if (s == 599) {
if (x % 6 == 5) { hits[599] += 1; state += 5; }
else { hits[599] += y % 13; } }
if (state > reachedCount) reachedCount = state;
}
function step3(uint256 sel, uint256 x, uint256 y) public {
uint256 s = sel % 1600;
if (s == 600) {
if (x % 7 == 5) { hits[600] += 1; state += 1; }
else { hits[600] += y % 13; } }
if (s == 601) {
if (x % 8 == 1) { hits[601] += 1; state += 2; }
else { hits[601] += y % 13; } }
if (s == 602) {
if (x % 2 == 0) { hits[602] += 1; state += 3; }
else { hits[602] += y % 13; } }
if (s == 603) {
if (x % 3 == 0) { hits[603] += 1; state += 4; }
else { hits[603] += y % 13; } }
if (s == 604) {
if (x % 4 == 0) { hits[604] += 1; state += 5; }
else { hits[604] += y % 13; } }
if (s == 605) {
if (x % 5 == 0) { hits[605] += 1; state += 1; }
else { hits[605] += y % 13; } }
if (s == 606) {
if (x % 6 == 0) { hits[606] += 1; state += 2; }
else { hits[606] += y % 13; } }
if (s == 607) {
if (x % 7 == 5) { hits[607] += 1; state += 3; }
else { hits[607] += y % 13; } }
if (s == 608) {
if (x % 8 == 0) { hits[608] += 1; state += 4; }
else { hits[608] += y % 13; } }
if (s == 609) {
if (x % 2 == 1) { hits[609] += 1; state += 5; }
else { hits[609] += y % 13; } }
if (s == 610) {
if (x % 3 == 1) { hits[610] += 1; state += 1; }
else { hits[610] += y % 13; } }
if (s == 611) {
if (x % 4 == 3) { hits[611] += 1; state += 2; }
else { hits[611] += y % 13; } }
if (s == 612) {
if (x % 5 == 2) { hits[612] += 1; state += 3; }
else { hits[612] += y % 13; } }
if (s == 613) {
if (x % 6 == 1) { hits[613] += 1; state += 4; }
else { hits[613] += y % 13; } }
if (s == 614) {
if (x % 7 == 5) { hits[614] += 1; state += 5; }
else { hits[614] += y % 13; } }
if (s == 615) {
if (x % 8 == 7) { hits[615] += 1; state += 1; }
else { hits[615] += y % 13; } }
if (s == 616) {
if (x % 2 == 0) { hits[616] += 1; state += 2; }
else { hits[616] += y % 13; } }
if (s == 617) {
if (x % 3 == 2) { hits[617] += 1; state += 3; }
else { hits[617] += y % 13; } }
if (s == 618) {
if (x % 4 == 2) { hits[618] += 1; state += 4; }
else { hits[618] += y % 13; } }
if (s == 619) {
if (x % 5 == 4) { hits[619] += 1; state += 5; }
else { hits[619] += y % 13; } }
if (s == 620) {
if (x % 6 == 2) { hits[620] += 1; state += 1; }
else { hits[620] += y % 13; } }
if (s == 621) {
if (x % 7 == 5) { hits[621] += 1; state += 2; }
else { hits[621] += y % 13; } }
if (s == 622) {
if (x % 8 == 6) { hits[622] += 1; state += 3; }
else { hits[622] += y % 13; } }
if (s == 623) {
if (x % 2 == 1) { hits[623] += 1; state += 4; }
else { hits[623] += y % 13; } }
if (s == 624) {
if (x % 3 == 0) { hits[624] += 1; state += 5; }
else { hits[624] += y % 13; } }
if (s == 625) {
if (x % 4 == 1) { hits[625] += 1; state += 1; }
else { hits[625] += y % 13; } }
if (s == 626) {
if (x % 5 == 1) { hits[626] += 1; state += 2; }
else { hits[626] += y % 13; } }
if (s == 627) {
if (x % 6 == 3) { hits[627] += 1; state += 3; }
else { hits[627] += y % 13; } }
if (s == 628) {
if (x % 7 == 5) { hits[628] += 1; state += 4; }
else { hits[628] += y % 13; } }
if (s == 629) {
if (x % 8 == 5) { hits[629] += 1; state += 5; }
else { hits[629] += y % 13; } }
if (s == 630) {
if (x % 2 == 0) { hits[630] += 1; state += 1; }
else { hits[630] += y % 13; } }
if (s == 631) {
if (x % 3 == 1) { hits[631] += 1; state += 2; }
else { hits[631] += y % 13; } }
if (s == 632) {
if (x % 4 == 0) { hits[632] += 1; state += 3; }
else { hits[632] += y % 13; } }
if (s == 633) {
if (x % 5 == 3) { hits[633] += 1; state += 4; }
else { hits[633] += y % 13; } }
if (s == 634) {
if (x % 6 == 4) { hits[634] += 1; state += 5; }
else { hits[634] += y % 13; } }
if (s == 635) {
if (x % 7 == 5) { hits[635] += 1; state += 1; }
else { hits[635] += y % 13; } }
if (s == 636) {
if (x % 8 == 4) { hits[636] += 1; state += 2; }
else { hits[636] += y % 13; } }
if (s == 637) {
if (x % 2 == 1) { hits[637] += 1; state += 3; }
else { hits[637] += y % 13; } }
if (s == 638) {
if (x % 3 == 2) { hits[638] += 1; state += 4; }
else { hits[638] += y % 13; } }
if (s == 639) {
if (x % 4 == 3) { hits[639] += 1; state += 5; }
else { hits[639] += y % 13; } }
if (s == 640) {
if (x % 5 == 0) { hits[640] += 1; state += 1; }
else { hits[640] += y % 13; } }
if (s == 641) {
if (x % 6 == 5) { hits[641] += 1; state += 2; }
else { hits[641] += y % 13; } }
if (s == 642) {
if (x % 7 == 5) { hits[642] += 1; state += 3; }
else { hits[642] += y % 13; } }
if (s == 643) {
if (x % 8 == 3) { hits[643] += 1; state += 4; }
else { hits[643] += y % 13; } }
if (s == 644) {
if (x % 2 == 0) { hits[644] += 1; state += 5; }
else { hits[644] += y % 13; } }
if (s == 645) {
if (x % 3 == 0) { hits[645] += 1; state += 1; }
else { hits[645] += y % 13; } }
if (s == 646) {
if (x % 4 == 2) { hits[646] += 1; state += 2; }
else { hits[646] += y % 13; } }
if (s == 647) {
if (x % 5 == 2) { hits[647] += 1; state += 3; }
else { hits[647] += y % 13; } }
if (s == 648) {
if (x % 6 == 0) { hits[648] += 1; state += 4; }
else { hits[648] += y % 13; } }
if (s == 649) {
if (x % 7 == 5) { hits[649] += 1; state += 5; }
else { hits[649] += y % 13; } }
if (s == 650) {
if (x % 8 == 2) { hits[650] += 1; state += 1; }
else { hits[650] += y % 13; } }
if (s == 651) {
if (x % 2 == 1) { hits[651] += 1; state += 2; }
else { hits[651] += y % 13; } }
if (s == 652) {
if (x % 3 == 1) { hits[652] += 1; state += 3; }
else { hits[652] += y % 13; } }
if (s == 653) {
if (x % 4 == 1) { hits[653] += 1; state += 4; }
else { hits[653] += y % 13; } }
if (s == 654) {
if (x % 5 == 4) { hits[654] += 1; state += 5; }
else { hits[654] += y % 13; } }
if (s == 655) {
if (x % 6 == 1) { hits[655] += 1; state += 1; }
else { hits[655] += y % 13; } }
if (s == 656) {
if (x % 7 == 5) { hits[656] += 1; state += 2; }
else { hits[656] += y % 13; } }
if (s == 657) {
if (x % 8 == 1) { hits[657] += 1; state += 3; }
else { hits[657] += y % 13; } }
if (s == 658) {
if (x % 2 == 0) { hits[658] += 1; state += 4; }
else { hits[658] += y % 13; } }
if (s == 659) {
if (x % 3 == 2) { hits[659] += 1; state += 5; }
else { hits[659] += y % 13; } }
if (s == 660) {
if (x % 4 == 0) { hits[660] += 1; state += 1; }
else { hits[660] += y % 13; } }
if (s == 661) {
if (x % 5 == 1) { hits[661] += 1; state += 2; }
else { hits[661] += y % 13; } }
if (s == 662) {
if (x % 6 == 2) { hits[662] += 1; state += 3; }
else { hits[662] += y % 13; } }
if (s == 663) {
if (x % 7 == 5) { hits[663] += 1; state += 4; }
else { hits[663] += y % 13; } }
if (s == 664) {
if (x % 8 == 0) { hits[664] += 1; state += 5; }
else { hits[664] += y % 13; } }
if (s == 665) {
if (x % 2 == 1) { hits[665] += 1; state += 1; }
else { hits[665] += y % 13; } }
if (s == 666) {
if (x % 3 == 0) { hits[666] += 1; state += 2; }
else { hits[666] += y % 13; } }
if (s == 667) {
if (x % 4 == 3) { hits[667] += 1; state += 3; }
else { hits[667] += y % 13; } }
if (s == 668) {
if (x % 5 == 3) { hits[668] += 1; state += 4; }
else { hits[668] += y % 13; } }
if (s == 669) {
if (x % 6 == 3) { hits[669] += 1; state += 5; }
else { hits[669] += y % 13; } }
if (s == 670) {
if (x % 7 == 5) { hits[670] += 1; state += 1; }
else { hits[670] += y % 13; } }
if (s == 671) {
if (x % 8 == 7) { hits[671] += 1; state += 2; }
else { hits[671] += y % 13; } }
if (s == 672) {
if (x % 2 == 0) { hits[672] += 1; state += 3; }
else { hits[672] += y % 13; } }
if (s == 673) {
if (x % 3 == 1) { hits[673] += 1; state += 4; }
else { hits[673] += y % 13; } }
if (s == 674) {
if (x % 4 == 2) { hits[674] += 1; state += 5; }
else { hits[674] += y % 13; } }
if (s == 675) {
if (x % 5 == 0) { hits[675] += 1; state += 1; }
else { hits[675] += y % 13; } }
if (s == 676) {
if (x % 6 == 4) { hits[676] += 1; state += 2; }
else { hits[676] += y % 13; } }
if (s == 677) {
if (x % 7 == 5) { hits[677] += 1; state += 3; }
else { hits[677] += y % 13; } }
if (s == 678) {
if (x % 8 == 6) { hits[678] += 1; state += 4; }
else { hits[678] += y % 13; } }
if (s == 679) {
if (x % 2 == 1) { hits[679] += 1; state += 5; }
else { hits[679] += y % 13; } }
if (s == 680) {
if (x % 3 == 2) { hits[680] += 1; state += 1; }
else { hits[680] += y % 13; } }
if (s == 681) {
if (x % 4 == 1) { hits[681] += 1; state += 2; }
else { hits[681] += y % 13; } }
if (s == 682) {
if (x % 5 == 2) { hits[682] += 1; state += 3; }
else { hits[682] += y % 13; } }
if (s == 683) {
if (x % 6 == 5) { hits[683] += 1; state += 4; }
else { hits[683] += y % 13; } }
if (s == 684) {
if (x % 7 == 5) { hits[684] += 1; state += 5; }
else { hits[684] += y % 13; } }
if (s == 685) {
if (x % 8 == 5) { hits[685] += 1; state += 1; }
else { hits[685] += y % 13; } }
if (s == 686) {
if (x % 2 == 0) { hits[686] += 1; state += 2; }
else { hits[686] += y % 13; } }
if (s == 687) {
if (x % 3 == 0) { hits[687] += 1; state += 3; }
else { hits[687] += y % 13; } }
if (s == 688) {
if (x % 4 == 0) { hits[688] += 1; state += 4; }
else { hits[688] += y % 13; } }
if (s == 689) {
if (x % 5 == 4) { hits[689] += 1; state += 5; }
else { hits[689] += y % 13; } }
if (s == 690) {
if (x % 6 == 0) { hits[690] += 1; state += 1; }
else { hits[690] += y % 13; } }
if (s == 691) {
if (x % 7 == 5) { hits[691] += 1; state += 2; }
else { hits[691] += y % 13; } }
if (s == 692) {
if (x % 8 == 4) { hits[692] += 1; state += 3; }
else { hits[692] += y % 13; } }
if (s == 693) {
if (x % 2 == 1) { hits[693] += 1; state += 4; }
else { hits[693] += y % 13; } }
if (s == 694) {
if (x % 3 == 1) { hits[694] += 1; state += 5; }
else { hits[694] += y % 13; } }
if (s == 695) {
if (x % 4 == 3) { hits[695] += 1; state += 1; }
else { hits[695] += y % 13; } }
if (s == 696) {
if (x % 5 == 1) { hits[696] += 1; state += 2; }
else { hits[696] += y % 13; } }
if (s == 697) {
if (x % 6 == 1) { hits[697] += 1; state += 3; }
else { hits[697] += y % 13; } }
if (s == 698) {
if (x % 7 == 5) { hits[698] += 1; state += 4; }
else { hits[698] += y % 13; } }
if (s == 699) {
if (x % 8 == 3) { hits[699] += 1; state += 5; }
else { hits[699] += y % 13; } }
if (s == 700) {
if (x % 2 == 0) { hits[700] += 1; state += 1; }
else { hits[700] += y % 13; } }
if (s == 701) {
if (x % 3 == 2) { hits[701] += 1; state += 2; }
else { hits[701] += y % 13; } }
if (s == 702) {
if (x % 4 == 2) { hits[702] += 1; state += 3; }
else { hits[702] += y % 13; } }
if (s == 703) {
if (x % 5 == 3) { hits[703] += 1; state += 4; }
else { hits[703] += y % 13; } }
if (s == 704) {
if (x % 6 == 2) { hits[704] += 1; state += 5; }
else { hits[704] += y % 13; } }
if (s == 705) {
if (x % 7 == 5) { hits[705] += 1; state += 1; }
else { hits[705] += y % 13; } }
if (s == 706) {
if (x % 8 == 2) { hits[706] += 1; state += 2; }
else { hits[706] += y % 13; } }
if (s == 707) {
if (x % 2 == 1) { hits[707] += 1; state += 3; }
else { hits[707] += y % 13; } }
if (s == 708) {
if (x % 3 == 0) { hits[708] += 1; state += 4; }
else { hits[708] += y % 13; } }
if (s == 709) {
if (x % 4 == 1) { hits[709] += 1; state += 5; }
else { hits[709] += y % 13; } }
if (s == 710) {
if (x % 5 == 0) { hits[710] += 1; state += 1; }
else { hits[710] += y % 13; } }
if (s == 711) {
if (x % 6 == 3) { hits[711] += 1; state += 2; }
else { hits[711] += y % 13; } }
if (s == 712) {
if (x % 7 == 5) { hits[712] += 1; state += 3; }
else { hits[712] += y % 13; } }
if (s == 713) {
if (x % 8 == 1) { hits[713] += 1; state += 4; }
else { hits[713] += y % 13; } }
if (s == 714) {
if (x % 2 == 0) { hits[714] += 1; state += 5; }
else { hits[714] += y % 13; } }
if (s == 715) {
if (x % 3 == 1) { hits[715] += 1; state += 1; }
else { hits[715] += y % 13; } }
if (s == 716) {
if (x % 4 == 0) { hits[716] += 1; state += 2; }
else { hits[716] += y % 13; } }
if (s == 717) {
if (x % 5 == 2) { hits[717] += 1; state += 3; }
else { hits[717] += y % 13; } }
if (s == 718) {
if (x % 6 == 4) { hits[718] += 1; state += 4; }
else { hits[718] += y % 13; } }
if (s == 719) {
if (x % 7 == 5) { hits[719] += 1; state += 5; }
else { hits[719] += y % 13; } }
if (s == 720) {
if (x % 8 == 0) { hits[720] += 1; state += 1; }
else { hits[720] += y % 13; } }
if (s == 721) {
if (x % 2 == 1) { hits[721] += 1; state += 2; }
else { hits[721] += y % 13; } }
if (s == 722) {
if (x % 3 == 2) { hits[722] += 1; state += 3; }
else { hits[722] += y % 13; } }
if (s == 723) {
if (x % 4 == 3) { hits[723] += 1; state += 4; }
else { hits[723] += y % 13; } }
if (s == 724) {
if (x % 5 == 4) { hits[724] += 1; state += 5; }
else { hits[724] += y % 13; } }
if (s == 725) {
if (x % 6 == 5) { hits[725] += 1; state += 1; }
else { hits[725] += y % 13; } }
if (s == 726) {
if (x % 7 == 5) { hits[726] += 1; state += 2; }
else { hits[726] += y % 13; } }
if (s == 727) {
if (x % 8 == 7) { hits[727] += 1; state += 3; }
else { hits[727] += y % 13; } }
if (s == 728) {
if (x % 2 == 0) { hits[728] += 1; state += 4; }
else { hits[728] += y % 13; } }
if (s == 729) {
if (x % 3 == 0) { hits[729] += 1; state += 5; }
else { hits[729] += y % 13; } }
if (s == 730) {
if (x % 4 == 2) { hits[730] += 1; state += 1; }
else { hits[730] += y % 13; } }
if (s == 731) {
if (x % 5 == 1) { hits[731] += 1; state += 2; }
else { hits[731] += y % 13; } }
if (s == 732) {
if (x % 6 == 0) { hits[732] += 1; state += 3; }
else { hits[732] += y % 13; } }
if (s == 733) {
if (x % 7 == 5) { hits[733] += 1; state += 4; }
else { hits[733] += y % 13; } }
if (s == 734) {
if (x % 8 == 6) { hits[734] += 1; state += 5; }
else { hits[734] += y % 13; } }
if (s == 735) {
if (x % 2 == 1) { hits[735] += 1; state += 1; }
else { hits[735] += y % 13; } }
if (s == 736) {
if (x % 3 == 1) { hits[736] += 1; state += 2; }
else { hits[736] += y % 13; } }
if (s == 737) {
if (x % 4 == 1) { hits[737] += 1; state += 3; }
else { hits[737] += y % 13; } }
if (s == 738) {
if (x % 5 == 3) { hits[738] += 1; state += 4; }
else { hits[738] += y % 13; } }
if (s == 739) {
if (x % 6 == 1) { hits[739] += 1; state += 5; }
else { hits[739] += y % 13; } }
if (s == 740) {
if (x % 7 == 5) { hits[740] += 1; state += 1; }
else { hits[740] += y % 13; } }
if (s == 741) {
if (x % 8 == 5) { hits[741] += 1; state += 2; }
else { hits[741] += y % 13; } }
if (s == 742) {
if (x % 2 == 0) { hits[742] += 1; state += 3; }
else { hits[742] += y % 13; } }
if (s == 743) {
if (x % 3 == 2) { hits[743] += 1; state += 4; }
else { hits[743] += y % 13; } }
if (s == 744) {
if (x % 4 == 0) { hits[744] += 1; state += 5; }
else { hits[744] += y % 13; } }
if (s == 745) {
if (x % 5 == 0) { hits[745] += 1; state += 1; }
else { hits[745] += y % 13; } }
if (s == 746) {
if (x % 6 == 2) { hits[746] += 1; state += 2; }
else { hits[746] += y % 13; } }
if (s == 747) {
if (x % 7 == 5) { hits[747] += 1; state += 3; }
else { hits[747] += y % 13; } }
if (s == 748) {
if (x % 8 == 4) { hits[748] += 1; state += 4; }
else { hits[748] += y % 13; } }
if (s == 749) {
if (x % 2 == 1) { hits[749] += 1; state += 5; }
else { hits[749] += y % 13; } }
if (s == 750) {
if (x % 3 == 0) { hits[750] += 1; state += 1; }
else { hits[750] += y % 13; } }
if (s == 751) {
if (x % 4 == 3) { hits[751] += 1; state += 2; }
else { hits[751] += y % 13; } }
if (s == 752) {
if (x % 5 == 2) { hits[752] += 1; state += 3; }
else { hits[752] += y % 13; } }
if (s == 753) {
if (x % 6 == 3) { hits[753] += 1; state += 4; }
else { hits[753] += y % 13; } }
if (s == 754) {
if (x % 7 == 5) { hits[754] += 1; state += 5; }
else { hits[754] += y % 13; } }
if (s == 755) {
if (x % 8 == 3) { hits[755] += 1; state += 1; }
else { hits[755] += y % 13; } }
if (s == 756) {
if (x % 2 == 0) { hits[756] += 1; state += 2; }
else { hits[756] += y % 13; } }
if (s == 757) {
if (x % 3 == 1) { hits[757] += 1; state += 3; }
else { hits[757] += y % 13; } }
if (s == 758) {
if (x % 4 == 2) { hits[758] += 1; state += 4; }
else { hits[758] += y % 13; } }
if (s == 759) {
if (x % 5 == 4) { hits[759] += 1; state += 5; }
else { hits[759] += y % 13; } }
if (s == 760) {
if (x % 6 == 4) { hits[760] += 1; state += 1; }
else { hits[760] += y % 13; } }
if (s == 761) {
if (x % 7 == 5) { hits[761] += 1; state += 2; }
else { hits[761] += y % 13; } }
if (s == 762) {
if (x % 8 == 2) { hits[762] += 1; state += 3; }
else { hits[762] += y % 13; } }
if (s == 763) {
if (x % 2 == 1) { hits[763] += 1; state += 4; }
else { hits[763] += y % 13; } }
if (s == 764) {
if (x % 3 == 2) { hits[764] += 1; state += 5; }
else { hits[764] += y % 13; } }
if (s == 765) {
if (x % 4 == 1) { hits[765] += 1; state += 1; }
else { hits[765] += y % 13; } }
if (s == 766) {
if (x % 5 == 1) { hits[766] += 1; state += 2; }
else { hits[766] += y % 13; } }
if (s == 767) {
if (x % 6 == 5) { hits[767] += 1; state += 3; }
else { hits[767] += y % 13; } }
if (s == 768) {
if (x % 7 == 5) { hits[768] += 1; state += 4; }
else { hits[768] += y % 13; } }
if (s == 769) {
if (x % 8 == 1) { hits[769] += 1; state += 5; }
else { hits[769] += y % 13; } }
if (s == 770) {
if (x % 2 == 0) { hits[770] += 1; state += 1; }
else { hits[770] += y % 13; } }
if (s == 771) {
if (x % 3 == 0) { hits[771] += 1; state += 2; }
else { hits[771] += y % 13; } }
if (s == 772) {
if (x % 4 == 0) { hits[772] += 1; state += 3; }
else { hits[772] += y % 13; } }
if (s == 773) {
if (x % 5 == 3) { hits[773] += 1; state += 4; }
else { hits[773] += y % 13; } }
if (s == 774) {
if (x % 6 == 0) { hits[774] += 1; state += 5; }
else { hits[774] += y % 13; } }
if (s == 775) {
if (x % 7 == 5) { hits[775] += 1; state += 1; }
else { hits[775] += y % 13; } }
if (s == 776) {
if (x % 8 == 0) { hits[776] += 1; state += 2; }
else { hits[776] += y % 13; } }
if (s == 777) {
if (x % 2 == 1) { hits[777] += 1; state += 3; }
else { hits[777] += y % 13; } }
if (s == 778) {
if (x % 3 == 1) { hits[778] += 1; state += 4; }
else { hits[778] += y % 13; } }
if (s == 779) {
if (x % 4 == 3) { hits[779] += 1; state += 5; }
else { hits[779] += y % 13; } }
if (s == 780) {
if (x % 5 == 0) { hits[780] += 1; state += 1; }
else { hits[780] += y % 13; } }
if (s == 781) {
if (x % 6 == 1) { hits[781] += 1; state += 2; }
else { hits[781] += y % 13; } }
if (s == 782) {
if (x % 7 == 5) { hits[782] += 1; state += 3; }
else { hits[782] += y % 13; } }
if (s == 783) {
if (x % 8 == 7) { hits[783] += 1; state += 4; }
else { hits[783] += y % 13; } }
if (s == 784) {
if (x % 2 == 0) { hits[784] += 1; state += 5; }
else { hits[784] += y % 13; } }
if (s == 785) {
if (x % 3 == 2) { hits[785] += 1; state += 1; }
else { hits[785] += y % 13; } }
if (s == 786) {
if (x % 4 == 2) { hits[786] += 1; state += 2; }
else { hits[786] += y % 13; } }
if (s == 787) {
if (x % 5 == 2) { hits[787] += 1; state += 3; }
else { hits[787] += y % 13; } }
if (s == 788) {
if (x % 6 == 2) { hits[788] += 1; state += 4; }
else { hits[788] += y % 13; } }
if (s == 789) {
if (x % 7 == 5) { hits[789] += 1; state += 5; }
else { hits[789] += y % 13; } }
if (s == 790) {
if (x % 8 == 6) { hits[790] += 1; state += 1; }
else { hits[790] += y % 13; } }
if (s == 791) {
if (x % 2 == 1) { hits[791] += 1; state += 2; }
else { hits[791] += y % 13; } }
if (s == 792) {
if (x % 3 == 0) { hits[792] += 1; state += 3; }
else { hits[792] += y % 13; } }
if (s == 793) {
if (x % 4 == 1) { hits[793] += 1; state += 4; }
else { hits[793] += y % 13; } }
if (s == 794) {
if (x % 5 == 4) { hits[794] += 1; state += 5; }
else { hits[794] += y % 13; } }
if (s == 795) {
if (x % 6 == 3) { hits[795] += 1; state += 1; }
else { hits[795] += y % 13; } }
if (s == 796) {
if (x % 7 == 5) { hits[796] += 1; state += 2; }
else { hits[796] += y % 13; } }
if (s == 797) {
if (x % 8 == 5) { hits[797] += 1; state += 3; }
else { hits[797] += y % 13; } }
if (s == 798) {
if (x % 2 == 0) { hits[798] += 1; state += 4; }
else { hits[798] += y % 13; } }
if (s == 799) {
if (x % 3 == 1) { hits[799] += 1; state += 5; }
else { hits[799] += y % 13; } }
if (state > reachedCount) reachedCount = state;
}
function step4(uint256 sel, uint256 x, uint256 y) public {
uint256 s = sel % 1600;
if (s == 800) {
if (x % 4 == 0) { hits[800] += 1; state += 1; }
else { hits[800] += y % 13; } }
if (s == 801) {
if (x % 5 == 1) { hits[801] += 1; state += 2; }
else { hits[801] += y % 13; } }
if (s == 802) {
if (x % 6 == 4) { hits[802] += 1; state += 3; }
else { hits[802] += y % 13; } }
if (s == 803) {
if (x % 7 == 5) { hits[803] += 1; state += 4; }
else { hits[803] += y % 13; } }
if (s == 804) {
if (x % 8 == 4) { hits[804] += 1; state += 5; }
else { hits[804] += y % 13; } }
if (s == 805) {
if (x % 2 == 1) { hits[805] += 1; state += 1; }
else { hits[805] += y % 13; } }
if (s == 806) {
if (x % 3 == 2) { hits[806] += 1; state += 2; }
else { hits[806] += y % 13; } }
if (s == 807) {
if (x % 4 == 3) { hits[807] += 1; state += 3; }
else { hits[807] += y % 13; } }
if (s == 808) {
if (x % 5 == 3) { hits[808] += 1; state += 4; }
else { hits[808] += y % 13; } }
if (s == 809) {
if (x % 6 == 5) { hits[809] += 1; state += 5; }
else { hits[809] += y % 13; } }
if (s == 810) {
if (x % 7 == 5) { hits[810] += 1; state += 1; }
else { hits[810] += y % 13; } }
if (s == 811) {
if (x % 8 == 3) { hits[811] += 1; state += 2; }
else { hits[811] += y % 13; } }
if (s == 812) {
if (x % 2 == 0) { hits[812] += 1; state += 3; }
else { hits[812] += y % 13; } }
if (s == 813) {
if (x % 3 == 0) { hits[813] += 1; state += 4; }
else { hits[813] += y % 13; } }
if (s == 814) {
if (x % 4 == 2) { hits[814] += 1; state += 5; }
else { hits[814] += y % 13; } }
if (s == 815) {
if (x % 5 == 0) { hits[815] += 1; state += 1; }
else { hits[815] += y % 13; } }
if (s == 816) {
if (x % 6 == 0) { hits[816] += 1; state += 2; }
else { hits[816] += y % 13; } }
if (s == 817) {
if (x % 7 == 5) { hits[817] += 1; state += 3; }
else { hits[817] += y % 13; } }
if (s == 818) {
if (x % 8 == 2) { hits[818] += 1; state += 4; }
else { hits[818] += y % 13; } }
if (s == 819) {
if (x % 2 == 1) { hits[819] += 1; state += 5; }
else { hits[819] += y % 13; } }
if (s == 820) {
if (x % 3 == 1) { hits[820] += 1; state += 1; }
else { hits[820] += y % 13; } }
if (s == 821) {
if (x % 4 == 1) { hits[821] += 1; state += 2; }
else { hits[821] += y % 13; } }
if (s == 822) {
if (x % 5 == 2) { hits[822] += 1; state += 3; }
else { hits[822] += y % 13; } }
if (s == 823) {
if (x % 6 == 1) { hits[823] += 1; state += 4; }
else { hits[823] += y % 13; } }
if (s == 824) {
if (x % 7 == 5) { hits[824] += 1; state += 5; }
else { hits[824] += y % 13; } }
if (s == 825) {
if (x % 8 == 1) { hits[825] += 1; state += 1; }
else { hits[825] += y % 13; } }
if (s == 826) {
if (x % 2 == 0) { hits[826] += 1; state += 2; }
else { hits[826] += y % 13; } }
if (s == 827) {
if (x % 3 == 2) { hits[827] += 1; state += 3; }
else { hits[827] += y % 13; } }
if (s == 828) {
if (x % 4 == 0) { hits[828] += 1; state += 4; }
else { hits[828] += y % 13; } }
if (s == 829) {
if (x % 5 == 4) { hits[829] += 1; state += 5; }
else { hits[829] += y % 13; } }
if (s == 830) {
if (x % 6 == 2) { hits[830] += 1; state += 1; }
else { hits[830] += y % 13; } }
if (s == 831) {
if (x % 7 == 5) { hits[831] += 1; state += 2; }
else { hits[831] += y % 13; } }
if (s == 832) {
if (x % 8 == 0) { hits[832] += 1; state += 3; }
else { hits[832] += y % 13; } }
if (s == 833) {
if (x % 2 == 1) { hits[833] += 1; state += 4; }
else { hits[833] += y % 13; } }
if (s == 834) {
if (x % 3 == 0) { hits[834] += 1; state += 5; }
else { hits[834] += y % 13; } }
if (s == 835) {
if (x % 4 == 3) { hits[835] += 1; state += 1; }
else { hits[835] += y % 13; } }
if (s == 836) {
if (x % 5 == 1) { hits[836] += 1; state += 2; }
else { hits[836] += y % 13; } }
if (s == 837) {
if (x % 6 == 3) { hits[837] += 1; state += 3; }
else { hits[837] += y % 13; } }
if (s == 838) {
if (x % 7 == 5) { hits[838] += 1; state += 4; }
else { hits[838] += y % 13; } }
if (s == 839) {
if (x % 8 == 7) { hits[839] += 1; state += 5; }
else { hits[839] += y % 13; } }
if (s == 840) {
if (x % 2 == 0) { hits[840] += 1; state += 1; }
else { hits[840] += y % 13; } }
if (s == 841) {
if (x % 3 == 1) { hits[841] += 1; state += 2; }
else { hits[841] += y % 13; } }
if (s == 842) {
if (x % 4 == 2) { hits[842] += 1; state += 3; }
else { hits[842] += y % 13; } }
if (s == 843) {
if (x % 5 == 3) { hits[843] += 1; state += 4; }
else { hits[843] += y % 13; } }
if (s == 844) {
if (x % 6 == 4) { hits[844] += 1; state += 5; }
else { hits[844] += y % 13; } }
if (s == 845) {
if (x % 7 == 5) { hits[845] += 1; state += 1; }
else { hits[845] += y % 13; } }
if (s == 846) {
if (x % 8 == 6) { hits[846] += 1; state += 2; }
else { hits[846] += y % 13; } }
if (s == 847) {
if (x % 2 == 1) { hits[847] += 1; state += 3; }
else { hits[847] += y % 13; } }
if (s == 848) {
if (x % 3 == 2) { hits[848] += 1; state += 4; }
else { hits[848] += y % 13; } }
if (s == 849) {
if (x % 4 == 1) { hits[849] += 1; state += 5; }
else { hits[849] += y % 13; } }
if (s == 850) {
if (x % 5 == 0) { hits[850] += 1; state += 1; }
else { hits[850] += y % 13; } }
if (s == 851) {
if (x % 6 == 5) { hits[851] += 1; state += 2; }
else { hits[851] += y % 13; } }
if (s == 852) {
if (x % 7 == 5) { hits[852] += 1; state += 3; }
else { hits[852] += y % 13; } }
if (s == 853) {
if (x % 8 == 5) { hits[853] += 1; state += 4; }
else { hits[853] += y % 13; } }
if (s == 854) {
if (x % 2 == 0) { hits[854] += 1; state += 5; }
else { hits[854] += y % 13; } }
if (s == 855) {
if (x % 3 == 0) { hits[855] += 1; state += 1; }
else { hits[855] += y % 13; } }
if (s == 856) {
if (x % 4 == 0) { hits[856] += 1; state += 2; }
else { hits[856] += y % 13; } }
if (s == 857) {
if (x % 5 == 2) { hits[857] += 1; state += 3; }
else { hits[857] += y % 13; } }
if (s == 858) {
if (x % 6 == 0) { hits[858] += 1; state += 4; }
else { hits[858] += y % 13; } }
if (s == 859) {
if (x % 7 == 5) { hits[859] += 1; state += 5; }
else { hits[859] += y % 13; } }
if (s == 860) {
if (x % 8 == 4) { hits[860] += 1; state += 1; }
else { hits[860] += y % 13; } }
if (s == 861) {
if (x % 2 == 1) { hits[861] += 1; state += 2; }
else { hits[861] += y % 13; } }
if (s == 862) {
if (x % 3 == 1) { hits[862] += 1; state += 3; }
else { hits[862] += y % 13; } }
if (s == 863) {
if (x % 4 == 3) { hits[863] += 1; state += 4; }
else { hits[863] += y % 13; } }
if (s == 864) {
if (x % 5 == 4) { hits[864] += 1; state += 5; }
else { hits[864] += y % 13; } }
if (s == 865) {
if (x % 6 == 1) { hits[865] += 1; state += 1; }
else { hits[865] += y % 13; } }
if (s == 866) {
if (x % 7 == 5) { hits[866] += 1; state += 2; }
else { hits[866] += y % 13; } }
if (s == 867) {
if (x % 8 == 3) { hits[867] += 1; state += 3; }
else { hits[867] += y % 13; } }
if (s == 868) {
if (x % 2 == 0) { hits[868] += 1; state += 4; }
else { hits[868] += y % 13; } }
if (s == 869) {
if (x % 3 == 2) { hits[869] += 1; state += 5; }
else { hits[869] += y % 13; } }
if (s == 870) {
if (x % 4 == 2) { hits[870] += 1; state += 1; }
else { hits[870] += y % 13; } }
if (s == 871) {
if (x % 5 == 1) { hits[871] += 1; state += 2; }
else { hits[871] += y % 13; } }
if (s == 872) {
if (x % 6 == 2) { hits[872] += 1; state += 3; }
else { hits[872] += y % 13; } }
if (s == 873) {
if (x % 7 == 5) { hits[873] += 1; state += 4; }
else { hits[873] += y % 13; } }
if (s == 874) {
if (x % 8 == 2) { hits[874] += 1; state += 5; }
else { hits[874] += y % 13; } }
if (s == 875) {
if (x % 2 == 1) { hits[875] += 1; state += 1; }
else { hits[875] += y % 13; } }
if (s == 876) {
if (x % 3 == 0) { hits[876] += 1; state += 2; }
else { hits[876] += y % 13; } }
if (s == 877) {
if (x % 4 == 1) { hits[877] += 1; state += 3; }
else { hits[877] += y % 13; } }
if (s == 878) {
if (x % 5 == 3) { hits[878] += 1; state += 4; }
else { hits[878] += y % 13; } }
if (s == 879) {
if (x % 6 == 3) { hits[879] += 1; state += 5; }
else { hits[879] += y % 13; } }
if (s == 880) {
if (x % 7 == 5) { hits[880] += 1; state += 1; }
else { hits[880] += y % 13; } }
if (s == 881) {
if (x % 8 == 1) { hits[881] += 1; state += 2; }
else { hits[881] += y % 13; } }
if (s == 882) {
if (x % 2 == 0) { hits[882] += 1; state += 3; }
else { hits[882] += y % 13; } }
if (s == 883) {
if (x % 3 == 1) { hits[883] += 1; state += 4; }
else { hits[883] += y % 13; } }
if (s == 884) {
if (x % 4 == 0) { hits[884] += 1; state += 5; }
else { hits[884] += y % 13; } }
if (s == 885) {
if (x % 5 == 0) { hits[885] += 1; state += 1; }
else { hits[885] += y % 13; } }
if (s == 886) {
if (x % 6 == 4) { hits[886] += 1; state += 2; }
else { hits[886] += y % 13; } }
if (s == 887) {
if (x % 7 == 5) { hits[887] += 1; state += 3; }
else { hits[887] += y % 13; } }
if (s == 888) {
if (x % 8 == 0) { hits[888] += 1; state += 4; }
else { hits[888] += y % 13; } }
if (s == 889) {
if (x % 2 == 1) { hits[889] += 1; state += 5; }
else { hits[889] += y % 13; } }
if (s == 890) {
if (x % 3 == 2) { hits[890] += 1; state += 1; }
else { hits[890] += y % 13; } }
if (s == 891) {
if (x % 4 == 3) { hits[891] += 1; state += 2; }
else { hits[891] += y % 13; } }
if (s == 892) {
if (x % 5 == 2) { hits[892] += 1; state += 3; }
else { hits[892] += y % 13; } }
if (s == 893) {
if (x % 6 == 5) { hits[893] += 1; state += 4; }
else { hits[893] += y % 13; } }
if (s == 894) {
if (x % 7 == 5) { hits[894] += 1; state += 5; }
else { hits[894] += y % 13; } }
if (s == 895) {
if (x % 8 == 7) { hits[895] += 1; state += 1; }
else { hits[895] += y % 13; } }
if (s == 896) {
if (x % 2 == 0) { hits[896] += 1; state += 2; }
else { hits[896] += y % 13; } }
if (s == 897) {
if (x % 3 == 0) { hits[897] += 1; state += 3; }
else { hits[897] += y % 13; } }
if (s == 898) {
if (x % 4 == 2) { hits[898] += 1; state += 4; }
else { hits[898] += y % 13; } }
if (s == 899) {
if (x % 5 == 4) { hits[899] += 1; state += 5; }
else { hits[899] += y % 13; } }
if (s == 900) {
if (x % 6 == 0) { hits[900] += 1; state += 1; }
else { hits[900] += y % 13; } }
if (s == 901) {
if (x % 7 == 5) { hits[901] += 1; state += 2; }
else { hits[901] += y % 13; } }
if (s == 902) {
if (x % 8 == 6) { hits[902] += 1; state += 3; }
else { hits[902] += y % 13; } }
if (s == 903) {
if (x % 2 == 1) { hits[903] += 1; state += 4; }
else { hits[903] += y % 13; } }
if (s == 904) {
if (x % 3 == 1) { hits[904] += 1; state += 5; }
else { hits[904] += y % 13; } }
if (s == 905) {
if (x % 4 == 1) { hits[905] += 1; state += 1; }
else { hits[905] += y % 13; } }
if (s == 906) {
if (x % 5 == 1) { hits[906] += 1; state += 2; }
else { hits[906] += y % 13; } }
if (s == 907) {
if (x % 6 == 1) { hits[907] += 1; state += 3; }
else { hits[907] += y % 13; } }
if (s == 908) {
if (x % 7 == 5) { hits[908] += 1; state += 4; }
else { hits[908] += y % 13; } }
if (s == 909) {
if (x % 8 == 5) { hits[909] += 1; state += 5; }
else { hits[909] += y % 13; } }
if (s == 910) {
if (x % 2 == 0) { hits[910] += 1; state += 1; }
else { hits[910] += y % 13; } }
if (s == 911) {
if (x % 3 == 2) { hits[911] += 1; state += 2; }
else { hits[911] += y % 13; } }
if (s == 912) {
if (x % 4 == 0) { hits[912] += 1; state += 3; }
else { hits[912] += y % 13; } }
if (s == 913) {
if (x % 5 == 3) { hits[913] += 1; state += 4; }
else { hits[913] += y % 13; } }
if (s == 914) {
if (x % 6 == 2) { hits[914] += 1; state += 5; }
else { hits[914] += y % 13; } }
if (s == 915) {
if (x % 7 == 5) { hits[915] += 1; state += 1; }
else { hits[915] += y % 13; } }
if (s == 916) {
if (x % 8 == 4) { hits[916] += 1; state += 2; }
else { hits[916] += y % 13; } }
if (s == 917) {
if (x % 2 == 1) { hits[917] += 1; state += 3; }
else { hits[917] += y % 13; } }
if (s == 918) {
if (x % 3 == 0) { hits[918] += 1; state += 4; }
else { hits[918] += y % 13; } }
if (s == 919) {
if (x % 4 == 3) { hits[919] += 1; state += 5; }
else { hits[919] += y % 13; } }
if (s == 920) {
if (x % 5 == 0) { hits[920] += 1; state += 1; }
else { hits[920] += y % 13; } }
if (s == 921) {
if (x % 6 == 3) { hits[921] += 1; state += 2; }
else { hits[921] += y % 13; } }
if (s == 922) {
if (x % 7 == 5) { hits[922] += 1; state += 3; }
else { hits[922] += y % 13; } }
if (s == 923) {
if (x % 8 == 3) { hits[923] += 1; state += 4; }
else { hits[923] += y % 13; } }
if (s == 924) {
if (x % 2 == 0) { hits[924] += 1; state += 5; }
else { hits[924] += y % 13; } }
if (s == 925) {
if (x % 3 == 1) { hits[925] += 1; state += 1; }
else { hits[925] += y % 13; } }
if (s == 926) {
if (x % 4 == 2) { hits[926] += 1; state += 2; }
else { hits[926] += y % 13; } }
if (s == 927) {
if (x % 5 == 2) { hits[927] += 1; state += 3; }
else { hits[927] += y % 13; } }
if (s == 928) {
if (x % 6 == 4) { hits[928] += 1; state += 4; }
else { hits[928] += y % 13; } }
if (s == 929) {
if (x % 7 == 5) { hits[929] += 1; state += 5; }
else { hits[929] += y % 13; } }
if (s == 930) {
if (x % 8 == 2) { hits[930] += 1; state += 1; }
else { hits[930] += y % 13; } }
if (s == 931) {
if (x % 2 == 1) { hits[931] += 1; state += 2; }
else { hits[931] += y % 13; } }
if (s == 932) {
if (x % 3 == 2) { hits[932] += 1; state += 3; }
else { hits[932] += y % 13; } }
if (s == 933) {
if (x % 4 == 1) { hits[933] += 1; state += 4; }
else { hits[933] += y % 13; } }
if (s == 934) {
if (x % 5 == 4) { hits[934] += 1; state += 5; }
else { hits[934] += y % 13; } }
if (s == 935) {
if (x % 6 == 5) { hits[935] += 1; state += 1; }
else { hits[935] += y % 13; } }
if (s == 936) {
if (x % 7 == 5) { hits[936] += 1; state += 2; }
else { hits[936] += y % 13; } }
if (s == 937) {
if (x % 8 == 1) { hits[937] += 1; state += 3; }
else { hits[937] += y % 13; } }
if (s == 938) {
if (x % 2 == 0) { hits[938] += 1; state += 4; }
else { hits[938] += y % 13; } }
if (s == 939) {
if (x % 3 == 0) { hits[939] += 1; state += 5; }
else { hits[939] += y % 13; } }
if (s == 940) {
if (x % 4 == 0) { hits[940] += 1; state += 1; }
else { hits[940] += y % 13; } }
if (s == 941) {
if (x % 5 == 1) { hits[941] += 1; state += 2; }
else { hits[941] += y % 13; } }
if (s == 942) {
if (x % 6 == 0) { hits[942] += 1; state += 3; }
else { hits[942] += y % 13; } }
if (s == 943) {
if (x % 7 == 5) { hits[943] += 1; state += 4; }
else { hits[943] += y % 13; } }
if (s == 944) {
if (x % 8 == 0) { hits[944] += 1; state += 5; }
else { hits[944] += y % 13; } }
if (s == 945) {
if (x % 2 == 1) { hits[945] += 1; state += 1; }
else { hits[945] += y % 13; } }
if (s == 946) {
if (x % 3 == 1) { hits[946] += 1; state += 2; }
else { hits[946] += y % 13; } }
if (s == 947) {
if (x % 4 == 3) { hits[947] += 1; state += 3; }
else { hits[947] += y % 13; } }
if (s == 948) {
if (x % 5 == 3) { hits[948] += 1; state += 4; }
else { hits[948] += y % 13; } }
if (s == 949) {
if (x % 6 == 1) { hits[949] += 1; state += 5; }
else { hits[949] += y % 13; } }
if (s == 950) {
if (x % 7 == 5) { hits[950] += 1; state += 1; }
else { hits[950] += y % 13; } }
if (s == 951) {
if (x % 8 == 7) { hits[951] += 1; state += 2; }
else { hits[951] += y % 13; } }
if (s == 952) {
if (x % 2 == 0) { hits[952] += 1; state += 3; }
else { hits[952] += y % 13; } }
if (s == 953) {
if (x % 3 == 2) { hits[953] += 1; state += 4; }
else { hits[953] += y % 13; } }
if (s == 954) {
if (x % 4 == 2) { hits[954] += 1; state += 5; }
else { hits[954] += y % 13; } }
if (s == 955) {
if (x % 5 == 0) { hits[955] += 1; state += 1; }
else { hits[955] += y % 13; } }
if (s == 956) {
if (x % 6 == 2) { hits[956] += 1; state += 2; }
else { hits[956] += y % 13; } }
if (s == 957) {
if (x % 7 == 5) { hits[957] += 1; state += 3; }
else { hits[957] += y % 13; } }
if (s == 958) {
if (x % 8 == 6) { hits[958] += 1; state += 4; }
else { hits[958] += y % 13; } }
if (s == 959) {
if (x % 2 == 1) { hits[959] += 1; state += 5; }
else { hits[959] += y % 13; } }
if (s == 960) {
if (x % 3 == 0) { hits[960] += 1; state += 1; }
else { hits[960] += y % 13; } }
if (s == 961) {
if (x % 4 == 1) { hits[961] += 1; state += 2; }
else { hits[961] += y % 13; } }
if (s == 962) {
if (x % 5 == 2) { hits[962] += 1; state += 3; }
else { hits[962] += y % 13; } }
if (s == 963) {
if (x % 6 == 3) { hits[963] += 1; state += 4; }
else { hits[963] += y % 13; } }
if (s == 964) {
if (x % 7 == 5) { hits[964] += 1; state += 5; }
else { hits[964] += y % 13; } }
if (s == 965) {
if (x % 8 == 5) { hits[965] += 1; state += 1; }
else { hits[965] += y % 13; } }
if (s == 966) {
if (x % 2 == 0) { hits[966] += 1; state += 2; }
else { hits[966] += y % 13; } }
if (s == 967) {
if (x % 3 == 1) { hits[967] += 1; state += 3; }
else { hits[967] += y % 13; } }
if (s == 968) {
if (x % 4 == 0) { hits[968] += 1; state += 4; }
else { hits[968] += y % 13; } }
if (s == 969) {
if (x % 5 == 4) { hits[969] += 1; state += 5; }
else { hits[969] += y % 13; } }
if (s == 970) {
if (x % 6 == 4) { hits[970] += 1; state += 1; }
else { hits[970] += y % 13; } }
if (s == 971) {
if (x % 7 == 5) { hits[971] += 1; state += 2; }
else { hits[971] += y % 13; } }
if (s == 972) {
if (x % 8 == 4) { hits[972] += 1; state += 3; }
else { hits[972] += y % 13; } }
if (s == 973) {
if (x % 2 == 1) { hits[973] += 1; state += 4; }
else { hits[973] += y % 13; } }
if (s == 974) {
if (x % 3 == 2) { hits[974] += 1; state += 5; }
else { hits[974] += y % 13; } }
if (s == 975) {
if (x % 4 == 3) { hits[975] += 1; state += 1; }
else { hits[975] += y % 13; } }
if (s == 976) {
if (x % 5 == 1) { hits[976] += 1; state += 2; }
else { hits[976] += y % 13; } }
if (s == 977) {
if (x % 6 == 5) { hits[977] += 1; state += 3; }
else { hits[977] += y % 13; } }
if (s == 978) {
if (x % 7 == 5) { hits[978] += 1; state += 4; }
else { hits[978] += y % 13; } }
if (s == 979) {
if (x % 8 == 3) { hits[979] += 1; state += 5; }
else { hits[979] += y % 13; } }
if (s == 980) {
if (x % 2 == 0) { hits[980] += 1; state += 1; }
else { hits[980] += y % 13; } }
if (s == 981) {
if (x % 3 == 0) { hits[981] += 1; state += 2; }
else { hits[981] += y % 13; } }
if (s == 982) {
if (x % 4 == 2) { hits[982] += 1; state += 3; }
else { hits[982] += y % 13; } }
if (s == 983) {
if (x % 5 == 3) { hits[983] += 1; state += 4; }
else { hits[983] += y % 13; } }
if (s == 984) {
if (x % 6 == 0) { hits[984] += 1; state += 5; }
else { hits[984] += y % 13; } }
if (s == 985) {
if (x % 7 == 5) { hits[985] += 1; state += 1; }
else { hits[985] += y % 13; } }
if (s == 986) {
if (x % 8 == 2) { hits[986] += 1; state += 2; }
else { hits[986] += y % 13; } }
if (s == 987) {
if (x % 2 == 1) { hits[987] += 1; state += 3; }
else { hits[987] += y % 13; } }
if (s == 988) {
if (x % 3 == 1) { hits[988] += 1; state += 4; }
else { hits[988] += y % 13; } }
if (s == 989) {
if (x % 4 == 1) { hits[989] += 1; state += 5; }
else { hits[989] += y % 13; } }
if (s == 990) {
if (x % 5 == 0) { hits[990] += 1; state += 1; }
else { hits[990] += y % 13; } }
if (s == 991) {
if (x % 6 == 1) { hits[991] += 1; state += 2; }
else { hits[991] += y % 13; } }
if (s == 992) {
if (x % 7 == 5) { hits[992] += 1; state += 3; }
else { hits[992] += y % 13; } }
if (s == 993) {
if (x % 8 == 1) { hits[993] += 1; state += 4; }
else { hits[993] += y % 13; } }
if (s == 994) {
if (x % 2 == 0) { hits[994] += 1; state += 5; }
else { hits[994] += y % 13; } }
if (s == 995) {
if (x % 3 == 2) { hits[995] += 1; state += 1; }
else { hits[995] += y % 13; } }
if (s == 996) {
if (x % 4 == 0) { hits[996] += 1; state += 2; }
else { hits[996] += y % 13; } }
if (s == 997) {
if (x % 5 == 2) { hits[997] += 1; state += 3; }
else { hits[997] += y % 13; } }
if (s == 998) {
if (x % 6 == 2) { hits[998] += 1; state += 4; }
else { hits[998] += y % 13; } }
if (s == 999) {
if (x % 7 == 5) { hits[999] += 1; state += 5; }
else { hits[999] += y % 13; } }
if (state > reachedCount) reachedCount = state;
}
function step5(uint256 sel, uint256 x, uint256 y) public {
uint256 s = sel % 1600;
if (s == 1000) {
if (x % 8 == 0) { hits[1000] += 1; state += 1; }
else { hits[1000] += y % 13; } }
if (s == 1001) {
if (x % 2 == 1) { hits[1001] += 1; state += 2; }
else { hits[1001] += y % 13; } }
if (s == 1002) {
if (x % 3 == 0) { hits[1002] += 1; state += 3; }
else { hits[1002] += y % 13; } }
if (s == 1003) {
if (x % 4 == 3) { hits[1003] += 1; state += 4; }
else { hits[1003] += y % 13; } }
if (s == 1004) {
if (x % 5 == 4) { hits[1004] += 1; state += 5; }
else { hits[1004] += y % 13; } }
if (s == 1005) {
if (x % 6 == 3) { hits[1005] += 1; state += 1; }
else { hits[1005] += y % 13; } }
if (s == 1006) {
if (x % 7 == 5) { hits[1006] += 1; state += 2; }
else { hits[1006] += y % 13; } }
if (s == 1007) {
if (x % 8 == 7) { hits[1007] += 1; state += 3; }
else { hits[1007] += y % 13; } }
if (s == 1008) {
if (x % 2 == 0) { hits[1008] += 1; state += 4; }
else { hits[1008] += y % 13; } }
if (s == 1009) {
if (x % 3 == 1) { hits[1009] += 1; state += 5; }
else { hits[1009] += y % 13; } }
if (s == 1010) {
if (x % 4 == 2) { hits[1010] += 1; state += 1; }
else { hits[1010] += y % 13; } }
if (s == 1011) {
if (x % 5 == 1) { hits[1011] += 1; state += 2; }
else { hits[1011] += y % 13; } }
if (s == 1012) {
if (x % 6 == 4) { hits[1012] += 1; state += 3; }
else { hits[1012] += y % 13; } }
if (s == 1013) {
if (x % 7 == 5) { hits[1013] += 1; state += 4; }
else { hits[1013] += y % 13; } }
if (s == 1014) {
if (x % 8 == 6) { hits[1014] += 1; state += 5; }
else { hits[1014] += y % 13; } }
if (s == 1015) {
if (x % 2 == 1) { hits[1015] += 1; state += 1; }
else { hits[1015] += y % 13; } }
if (s == 1016) {
if (x % 3 == 2) { hits[1016] += 1; state += 2; }
else { hits[1016] += y % 13; } }
if (s == 1017) {
if (x % 4 == 1) { hits[1017] += 1; state += 3; }
else { hits[1017] += y % 13; } }
if (s == 1018) {
if (x % 5 == 3) { hits[1018] += 1; state += 4; }
else { hits[1018] += y % 13; } }
if (s == 1019) {
if (x % 6 == 5) { hits[1019] += 1; state += 5; }
else { hits[1019] += y % 13; } }
if (s == 1020) {
if (x % 7 == 5) { hits[1020] += 1; state += 1; }
else { hits[1020] += y % 13; } }
if (s == 1021) {
if (x % 8 == 5) { hits[1021] += 1; state += 2; }
else { hits[1021] += y % 13; } }
if (s == 1022) {
if (x % 2 == 0) { hits[1022] += 1; state += 3; }
else { hits[1022] += y % 13; } }
if (s == 1023) {
if (x % 3 == 0) { hits[1023] += 1; state += 4; }
else { hits[1023] += y % 13; } }
if (s == 1024) {
if (x % 4 == 0) { hits[1024] += 1; state += 5; }
else { hits[1024] += y % 13; } }
if (s == 1025) {
if (x % 5 == 0) { hits[1025] += 1; state += 1; }
else { hits[1025] += y % 13; } }
if (s == 1026) {
if (x % 6 == 0) { hits[1026] += 1; state += 2; }
else { hits[1026] += y % 13; } }
if (s == 1027) {
if (x % 7 == 5) { hits[1027] += 1; state += 3; }
else { hits[1027] += y % 13; } }
if (s == 1028) {
if (x % 8 == 4) { hits[1028] += 1; state += 4; }
else { hits[1028] += y % 13; } }
if (s == 1029) {
if (x % 2 == 1) { hits[1029] += 1; state += 5; }
else { hits[1029] += y % 13; } }
if (s == 1030) {
if (x % 3 == 1) { hits[1030] += 1; state += 1; }
else { hits[1030] += y % 13; } }
if (s == 1031) {
if (x % 4 == 3) { hits[1031] += 1; state += 2; }
else { hits[1031] += y % 13; } }
if (s == 1032) {
if (x % 5 == 2) { hits[1032] += 1; state += 3; }
else { hits[1032] += y % 13; } }
if (s == 1033) {
if (x % 6 == 1) { hits[1033] += 1; state += 4; }
else { hits[1033] += y % 13; } }
if (s == 1034) {
if (x % 7 == 5) { hits[1034] += 1; state += 5; }
else { hits[1034] += y % 13; } }
if (s == 1035) {
if (x % 8 == 3) { hits[1035] += 1; state += 1; }
else { hits[1035] += y % 13; } }
if (s == 1036) {
if (x % 2 == 0) { hits[1036] += 1; state += 2; }
else { hits[1036] += y % 13; } }
if (s == 1037) {
if (x % 3 == 2) { hits[1037] += 1; state += 3; }
else { hits[1037] += y % 13; } }
if (s == 1038) {
if (x % 4 == 2) { hits[1038] += 1; state += 4; }
else { hits[1038] += y % 13; } }
if (s == 1039) {
if (x % 5 == 4) { hits[1039] += 1; state += 5; }
else { hits[1039] += y % 13; } }
if (s == 1040) {
if (x % 6 == 2) { hits[1040] += 1; state += 1; }
else { hits[1040] += y % 13; } }
if (s == 1041) {
if (x % 7 == 5) { hits[1041] += 1; state += 2; }
else { hits[1041] += y % 13; } }
if (s == 1042) {
if (x % 8 == 2) { hits[1042] += 1; state += 3; }
else { hits[1042] += y % 13; } }
if (s == 1043) {
if (x % 2 == 1) { hits[1043] += 1; state += 4; }
else { hits[1043] += y % 13; } }
if (s == 1044) {
if (x % 3 == 0) { hits[1044] += 1; state += 5; }
else { hits[1044] += y % 13; } }
if (s == 1045) {
if (x % 4 == 1) { hits[1045] += 1; state += 1; }
else { hits[1045] += y % 13; } }
if (s == 1046) {
if (x % 5 == 1) { hits[1046] += 1; state += 2; }
else { hits[1046] += y % 13; } }
if (s == 1047) {
if (x % 6 == 3) { hits[1047] += 1; state += 3; }
else { hits[1047] += y % 13; } }
if (s == 1048) {
if (x % 7 == 5) { hits[1048] += 1; state += 4; }
else { hits[1048] += y % 13; } }
if (s == 1049) {
if (x % 8 == 1) { hits[1049] += 1; state += 5; }
else { hits[1049] += y % 13; } }
if (s == 1050) {
if (x % 2 == 0) { hits[1050] += 1; state += 1; }
else { hits[1050] += y % 13; } }
if (s == 1051) {
if (x % 3 == 1) { hits[1051] += 1; state += 2; }
else { hits[1051] += y % 13; } }
if (s == 1052) {
if (x % 4 == 0) { hits[1052] += 1; state += 3; }
else { hits[1052] += y % 13; } }
if (s == 1053) {
if (x % 5 == 3) { hits[1053] += 1; state += 4; }
else { hits[1053] += y % 13; } }
if (s == 1054) {
if (x % 6 == 4) { hits[1054] += 1; state += 5; }
else { hits[1054] += y % 13; } }
if (s == 1055) {
if (x % 7 == 5) { hits[1055] += 1; state += 1; }
else { hits[1055] += y % 13; } }
if (s == 1056) {
if (x % 8 == 0) { hits[1056] += 1; state += 2; }
else { hits[1056] += y % 13; } }
if (s == 1057) {
if (x % 2 == 1) { hits[1057] += 1; state += 3; }
else { hits[1057] += y % 13; } }
if (s == 1058) {
if (x % 3 == 2) { hits[1058] += 1; state += 4; }
else { hits[1058] += y % 13; } }
if (s == 1059) {
if (x % 4 == 3) { hits[1059] += 1; state += 5; }
else { hits[1059] += y % 13; } }
if (s == 1060) {
if (x % 5 == 0) { hits[1060] += 1; state += 1; }
else { hits[1060] += y % 13; } }
if (s == 1061) {
if (x % 6 == 5) { hits[1061] += 1; state += 2; }
else { hits[1061] += y % 13; } }
if (s == 1062) {
if (x % 7 == 5) { hits[1062] += 1; state += 3; }
else { hits[1062] += y % 13; } }
if (s == 1063) {
if (x % 8 == 7) { hits[1063] += 1; state += 4; }
else { hits[1063] += y % 13; } }
if (s == 1064) {
if (x % 2 == 0) { hits[1064] += 1; state += 5; }
else { hits[1064] += y % 13; } }
if (s == 1065) {
if (x % 3 == 0) { hits[1065] += 1; state += 1; }
else { hits[1065] += y % 13; } }
if (s == 1066) {
if (x % 4 == 2) { hits[1066] += 1; state += 2; }
else { hits[1066] += y % 13; } }
if (s == 1067) {
if (x % 5 == 2) { hits[1067] += 1; state += 3; }
else { hits[1067] += y % 13; } }
if (s == 1068) {
if (x % 6 == 0) { hits[1068] += 1; state += 4; }
else { hits[1068] += y % 13; } }
if (s == 1069) {
if (x % 7 == 5) { hits[1069] += 1; state += 5; }
else { hits[1069] += y % 13; } }
if (s == 1070) {
if (x % 8 == 6) { hits[1070] += 1; state += 1; }
else { hits[1070] += y % 13; } }
if (s == 1071) {
if (x % 2 == 1) { hits[1071] += 1; state += 2; }
else { hits[1071] += y % 13; } }
if (s == 1072) {
if (x % 3 == 1) { hits[1072] += 1; state += 3; }
else { hits[1072] += y % 13; } }
if (s == 1073) {
if (x % 4 == 1) { hits[1073] += 1; state += 4; }
else { hits[1073] += y % 13; } }
if (s == 1074) {
if (x % 5 == 4) { hits[1074] += 1; state += 5; }
else { hits[1074] += y % 13; } }
if (s == 1075) {
if (x % 6 == 1) { hits[1075] += 1; state += 1; }
else { hits[1075] += y % 13; } }
if (s == 1076) {
if (x % 7 == 5) { hits[1076] += 1; state += 2; }
else { hits[1076] += y % 13; } }
if (s == 1077) {
if (x % 8 == 5) { hits[1077] += 1; state += 3; }
else { hits[1077] += y % 13; } }
if (s == 1078) {
if (x % 2 == 0) { hits[1078] += 1; state += 4; }
else { hits[1078] += y % 13; } }
if (s == 1079) {
if (x % 3 == 2) { hits[1079] += 1; state += 5; }
else { hits[1079] += y % 13; } }
if (s == 1080) {
if (x % 4 == 0) { hits[1080] += 1; state += 1; }
else { hits[1080] += y % 13; } }
if (s == 1081) {
if (x % 5 == 1) { hits[1081] += 1; state += 2; }
else { hits[1081] += y % 13; } }
if (s == 1082) {
if (x % 6 == 2) { hits[1082] += 1; state += 3; }
else { hits[1082] += y % 13; } }
if (s == 1083) {
if (x % 7 == 5) { hits[1083] += 1; state += 4; }
else { hits[1083] += y % 13; } }
if (s == 1084) {
if (x % 8 == 4) { hits[1084] += 1; state += 5; }
else { hits[1084] += y % 13; } }
if (s == 1085) {
if (x % 2 == 1) { hits[1085] += 1; state += 1; }
else { hits[1085] += y % 13; } }
if (s == 1086) {
if (x % 3 == 0) { hits[1086] += 1; state += 2; }
else { hits[1086] += y % 13; } }
if (s == 1087) {
if (x % 4 == 3) { hits[1087] += 1; state += 3; }
else { hits[1087] += y % 13; } }
if (s == 1088) {
if (x % 5 == 3) { hits[1088] += 1; state += 4; }
else { hits[1088] += y % 13; } }
if (s == 1089) {
if (x % 6 == 3) { hits[1089] += 1; state += 5; }
else { hits[1089] += y % 13; } }
if (s == 1090) {
if (x % 7 == 5) { hits[1090] += 1; state += 1; }
else { hits[1090] += y % 13; } }
if (s == 1091) {
if (x % 8 == 3) { hits[1091] += 1; state += 2; }
else { hits[1091] += y % 13; } }
if (s == 1092) {
if (x % 2 == 0) { hits[1092] += 1; state += 3; }
else { hits[1092] += y % 13; } }
if (s == 1093) {
if (x % 3 == 1) { hits[1093] += 1; state += 4; }
else { hits[1093] += y % 13; } }
if (s == 1094) {
if (x % 4 == 2) { hits[1094] += 1; state += 5; }
else { hits[1094] += y % 13; } }
if (s == 1095) {
if (x % 5 == 0) { hits[1095] += 1; state += 1; }
else { hits[1095] += y % 13; } }
if (s == 1096) {
if (x % 6 == 4) { hits[1096] += 1; state += 2; }
else { hits[1096] += y % 13; } }
if (s == 1097) {
if (x % 7 == 5) { hits[1097] += 1; state += 3; }
else { hits[1097] += y % 13; } }
if (s == 1098) {
if (x % 8 == 2) { hits[1098] += 1; state += 4; }
else { hits[1098] += y % 13; } }
if (s == 1099) {
if (x % 2 == 1) { hits[1099] += 1; state += 5; }
else { hits[1099] += y % 13; } }
if (s == 1100) {
if (x % 3 == 2) { hits[1100] += 1; state += 1; }
else { hits[1100] += y % 13; } }
if (s == 1101) {
if (x % 4 == 1) { hits[1101] += 1; state += 2; }
else { hits[1101] += y % 13; } }
if (s == 1102) {
if (x % 5 == 2) { hits[1102] += 1; state += 3; }
else { hits[1102] += y % 13; } }
if (s == 1103) {
if (x % 6 == 5) { hits[1103] += 1; state += 4; }
else { hits[1103] += y % 13; } }
if (s == 1104) {
if (x % 7 == 5) { hits[1104] += 1; state += 5; }
else { hits[1104] += y % 13; } }
if (s == 1105) {
if (x % 8 == 1) { hits[1105] += 1; state += 1; }
else { hits[1105] += y % 13; } }
if (s == 1106) {
if (x % 2 == 0) { hits[1106] += 1; state += 2; }
else { hits[1106] += y % 13; } }
if (s == 1107) {
if (x % 3 == 0) { hits[1107] += 1; state += 3; }
else { hits[1107] += y % 13; } }
if (s == 1108) {
if (x % 4 == 0) { hits[1108] += 1; state += 4; }
else { hits[1108] += y % 13; } }
if (s == 1109) {
if (x % 5 == 4) { hits[1109] += 1; state += 5; }
else { hits[1109] += y % 13; } }
if (s == 1110) {
if (x % 6 == 0) { hits[1110] += 1; state += 1; }
else { hits[1110] += y % 13; } }
if (s == 1111) {
if (x % 7 == 5) { hits[1111] += 1; state += 2; }
else { hits[1111] += y % 13; } }
if (s == 1112) {
if (x % 8 == 0) { hits[1112] += 1; state += 3; }
else { hits[1112] += y % 13; } }
if (s == 1113) {
if (x % 2 == 1) { hits[1113] += 1; state += 4; }
else { hits[1113] += y % 13; } }
if (s == 1114) {
if (x % 3 == 1) { hits[1114] += 1; state += 5; }
else { hits[1114] += y % 13; } }
if (s == 1115) {
if (x % 4 == 3) { hits[1115] += 1; state += 1; }
else { hits[1115] += y % 13; } }
if (s == 1116) {
if (x % 5 == 1) { hits[1116] += 1; state += 2; }
else { hits[1116] += y % 13; } }
if (s == 1117) {
if (x % 6 == 1) { hits[1117] += 1; state += 3; }
else { hits[1117] += y % 13; } }
if (s == 1118) {
if (x % 7 == 5) { hits[1118] += 1; state += 4; }
else { hits[1118] += y % 13; } }
if (s == 1119) {
if (x % 8 == 7) { hits[1119] += 1; state += 5; }
else { hits[1119] += y % 13; } }
if (s == 1120) {
if (x % 2 == 0) { hits[1120] += 1; state += 1; }
else { hits[1120] += y % 13; } }
if (s == 1121) {
if (x % 3 == 2) { hits[1121] += 1; state += 2; }
else { hits[1121] += y % 13; } }
if (s == 1122) {
if (x % 4 == 2) { hits[1122] += 1; state += 3; }
else { hits[1122] += y % 13; } }
if (s == 1123) {
if (x % 5 == 3) { hits[1123] += 1; state += 4; }
else { hits[1123] += y % 13; } }
if (s == 1124) {
if (x % 6 == 2) { hits[1124] += 1; state += 5; }
else { hits[1124] += y % 13; } }
if (s == 1125) {
if (x % 7 == 5) { hits[1125] += 1; state += 1; }
else { hits[1125] += y % 13; } }
if (s == 1126) {
if (x % 8 == 6) { hits[1126] += 1; state += 2; }
else { hits[1126] += y % 13; } }
if (s == 1127) {
if (x % 2 == 1) { hits[1127] += 1; state += 3; }
else { hits[1127] += y % 13; } }
if (s == 1128) {
if (x % 3 == 0) { hits[1128] += 1; state += 4; }
else { hits[1128] += y % 13; } }
if (s == 1129) {
if (x % 4 == 1) { hits[1129] += 1; state += 5; }
else { hits[1129] += y % 13; } }
if (s == 1130) {
if (x % 5 == 0) { hits[1130] += 1; state += 1; }
else { hits[1130] += y % 13; } }
if (s == 1131) {
if (x % 6 == 3) { hits[1131] += 1; state += 2; }
else { hits[1131] += y % 13; } }
if (s == 1132) {
if (x % 7 == 5) { hits[1132] += 1; state += 3; }
else { hits[1132] += y % 13; } }
if (s == 1133) {
if (x % 8 == 5) { hits[1133] += 1; state += 4; }
else { hits[1133] += y % 13; } }
if (s == 1134) {
if (x % 2 == 0) { hits[1134] += 1; state += 5; }
else { hits[1134] += y % 13; } }
if (s == 1135) {
if (x % 3 == 1) { hits[1135] += 1; state += 1; }
else { hits[1135] += y % 13; } }
if (s == 1136) {
if (x % 4 == 0) { hits[1136] += 1; state += 2; }
else { hits[1136] += y % 13; } }
if (s == 1137) {
if (x % 5 == 2) { hits[1137] += 1; state += 3; }
else { hits[1137] += y % 13; } }
if (s == 1138) {
if (x % 6 == 4) { hits[1138] += 1; state += 4; }
else { hits[1138] += y % 13; } }
if (s == 1139) {
if (x % 7 == 5) { hits[1139] += 1; state += 5; }
else { hits[1139] += y % 13; } }
if (s == 1140) {
if (x % 8 == 4) { hits[1140] += 1; state += 1; }
else { hits[1140] += y % 13; } }
if (s == 1141) {
if (x % 2 == 1) { hits[1141] += 1; state += 2; }
else { hits[1141] += y % 13; } }
if (s == 1142) {
if (x % 3 == 2) { hits[1142] += 1; state += 3; }
else { hits[1142] += y % 13; } }
if (s == 1143) {
if (x % 4 == 3) { hits[1143] += 1; state += 4; }
else { hits[1143] += y % 13; } }
if (s == 1144) {
if (x % 5 == 4) { hits[1144] += 1; state += 5; }
else { hits[1144] += y % 13; } }
if (s == 1145) {
if (x % 6 == 5) { hits[1145] += 1; state += 1; }
else { hits[1145] += y % 13; } }
if (s == 1146) {
if (x % 7 == 5) { hits[1146] += 1; state += 2; }
else { hits[1146] += y % 13; } }
if (s == 1147) {
if (x % 8 == 3) { hits[1147] += 1; state += 3; }
else { hits[1147] += y % 13; } }
if (s == 1148) {
if (x % 2 == 0) { hits[1148] += 1; state += 4; }
else { hits[1148] += y % 13; } }
if (s == 1149) {
if (x % 3 == 0) { hits[1149] += 1; state += 5; }
else { hits[1149] += y % 13; } }
if (s == 1150) {
if (x % 4 == 2) { hits[1150] += 1; state += 1; }
else { hits[1150] += y % 13; } }
if (s == 1151) {
if (x % 5 == 1) { hits[1151] += 1; state += 2; }
else { hits[1151] += y % 13; } }
if (s == 1152) {
if (x % 6 == 0) { hits[1152] += 1; state += 3; }
else { hits[1152] += y % 13; } }
if (s == 1153) {
if (x % 7 == 5) { hits[1153] += 1; state += 4; }
else { hits[1153] += y % 13; } }
if (s == 1154) {
if (x % 8 == 2) { hits[1154] += 1; state += 5; }
else { hits[1154] += y % 13; } }
if (s == 1155) {
if (x % 2 == 1) { hits[1155] += 1; state += 1; }
else { hits[1155] += y % 13; } }
if (s == 1156) {
if (x % 3 == 1) { hits[1156] += 1; state += 2; }
else { hits[1156] += y % 13; } }
if (s == 1157) {
if (x % 4 == 1) { hits[1157] += 1; state += 3; }
else { hits[1157] += y % 13; } }
if (s == 1158) {
if (x % 5 == 3) { hits[1158] += 1; state += 4; }
else { hits[1158] += y % 13; } }
if (s == 1159) {
if (x % 6 == 1) { hits[1159] += 1; state += 5; }
else { hits[1159] += y % 13; } }
if (s == 1160) {
if (x % 7 == 5) { hits[1160] += 1; state += 1; }
else { hits[1160] += y % 13; } }
if (s == 1161) {
if (x % 8 == 1) { hits[1161] += 1; state += 2; }
else { hits[1161] += y % 13; } }
if (s == 1162) {
if (x % 2 == 0) { hits[1162] += 1; state += 3; }
else { hits[1162] += y % 13; } }
if (s == 1163) {
if (x % 3 == 2) { hits[1163] += 1; state += 4; }
else { hits[1163] += y % 13; } }
if (s == 1164) {
if (x % 4 == 0) { hits[1164] += 1; state += 5; }
else { hits[1164] += y % 13; } }
if (s == 1165) {
if (x % 5 == 0) { hits[1165] += 1; state += 1; }
else { hits[1165] += y % 13; } }
if (s == 1166) {
if (x % 6 == 2) { hits[1166] += 1; state += 2; }
else { hits[1166] += y % 13; } }
if (s == 1167) {
if (x % 7 == 5) { hits[1167] += 1; state += 3; }
else { hits[1167] += y % 13; } }
if (s == 1168) {
if (x % 8 == 0) { hits[1168] += 1; state += 4; }
else { hits[1168] += y % 13; } }
if (s == 1169) {
if (x % 2 == 1) { hits[1169] += 1; state += 5; }
else { hits[1169] += y % 13; } }
if (s == 1170) {
if (x % 3 == 0) { hits[1170] += 1; state += 1; }
else { hits[1170] += y % 13; } }
if (s == 1171) {
if (x % 4 == 3) { hits[1171] += 1; state += 2; }
else { hits[1171] += y % 13; } }
if (s == 1172) {
if (x % 5 == 2) { hits[1172] += 1; state += 3; }
else { hits[1172] += y % 13; } }
if (s == 1173) {
if (x % 6 == 3) { hits[1173] += 1; state += 4; }
else { hits[1173] += y % 13; } }
if (s == 1174) {
if (x % 7 == 5) { hits[1174] += 1; state += 5; }
else { hits[1174] += y % 13; } }
if (s == 1175) {
if (x % 8 == 7) { hits[1175] += 1; state += 1; }
else { hits[1175] += y % 13; } }
if (s == 1176) {
if (x % 2 == 0) { hits[1176] += 1; state += 2; }
else { hits[1176] += y % 13; } }
if (s == 1177) {
if (x % 3 == 1) { hits[1177] += 1; state += 3; }
else { hits[1177] += y % 13; } }
if (s == 1178) {
if (x % 4 == 2) { hits[1178] += 1; state += 4; }
else { hits[1178] += y % 13; } }
if (s == 1179) {
if (x % 5 == 4) { hits[1179] += 1; state += 5; }
else { hits[1179] += y % 13; } }
if (s == 1180) {
if (x % 6 == 4) { hits[1180] += 1; state += 1; }
else { hits[1180] += y % 13; } }
if (s == 1181) {
if (x % 7 == 5) { hits[1181] += 1; state += 2; }
else { hits[1181] += y % 13; } }
if (s == 1182) {
if (x % 8 == 6) { hits[1182] += 1; state += 3; }
else { hits[1182] += y % 13; } }
if (s == 1183) {
if (x % 2 == 1) { hits[1183] += 1; state += 4; }
else { hits[1183] += y % 13; } }
if (s == 1184) {
if (x % 3 == 2) { hits[1184] += 1; state += 5; }
else { hits[1184] += y % 13; } }
if (s == 1185) {
if (x % 4 == 1) { hits[1185] += 1; state += 1; }
else { hits[1185] += y % 13; } }
if (s == 1186) {
if (x % 5 == 1) { hits[1186] += 1; state += 2; }
else { hits[1186] += y % 13; } }
if (s == 1187) {
if (x % 6 == 5) { hits[1187] += 1; state += 3; }
else { hits[1187] += y % 13; } }
if (s == 1188) {
if (x % 7 == 5) { hits[1188] += 1; state += 4; }
else { hits[1188] += y % 13; } }
if (s == 1189) {
if (x % 8 == 5) { hits[1189] += 1; state += 5; }
else { hits[1189] += y % 13; } }
if (s == 1190) {
if (x % 2 == 0) { hits[1190] += 1; state += 1; }
else { hits[1190] += y % 13; } }
if (s == 1191) {
if (x % 3 == 0) { hits[1191] += 1; state += 2; }
else { hits[1191] += y % 13; } }
if (s == 1192) {
if (x % 4 == 0) { hits[1192] += 1; state += 3; }
else { hits[1192] += y % 13; } }
if (s == 1193) {
if (x % 5 == 3) { hits[1193] += 1; state += 4; }
else { hits[1193] += y % 13; } }
if (s == 1194) {
if (x % 6 == 0) { hits[1194] += 1; state += 5; }
else { hits[1194] += y % 13; } }
if (s == 1195) {
if (x % 7 == 5) { hits[1195] += 1; state += 1; }
else { hits[1195] += y % 13; } }
if (s == 1196) {
if (x % 8 == 4) { hits[1196] += 1; state += 2; }
else { hits[1196] += y % 13; } }
if (s == 1197) {
if (x % 2 == 1) { hits[1197] += 1; state += 3; }
else { hits[1197] += y % 13; } }
if (s == 1198) {
if (x % 3 == 1) { hits[1198] += 1; state += 4; }
else { hits[1198] += y % 13; } }
if (s == 1199) {
if (x % 4 == 3) { hits[1199] += 1; state += 5; }
else { hits[1199] += y % 13; } }
if (state > reachedCount) reachedCount = state;
}
function step6(uint256 sel, uint256 x, uint256 y) public {
uint256 s = sel % 1600;
if (s == 1200) {
if (x % 5 == 0) { hits[1200] += 1; state += 1; }
else { hits[1200] += y % 13; } }
if (s == 1201) {
if (x % 6 == 1) { hits[1201] += 1; state += 2; }
else { hits[1201] += y % 13; } }
if (s == 1202) {
if (x % 7 == 5) { hits[1202] += 1; state += 3; }
else { hits[1202] += y % 13; } }
if (s == 1203) {
if (x % 8 == 3) { hits[1203] += 1; state += 4; }
else { hits[1203] += y % 13; } }
if (s == 1204) {
if (x % 2 == 0) { hits[1204] += 1; state += 5; }
else { hits[1204] += y % 13; } }
if (s == 1205) {
if (x % 3 == 2) { hits[1205] += 1; state += 1; }
else { hits[1205] += y % 13; } }
if (s == 1206) {
if (x % 4 == 2) { hits[1206] += 1; state += 2; }
else { hits[1206] += y % 13; } }
if (s == 1207) {
if (x % 5 == 2) { hits[1207] += 1; state += 3; }
else { hits[1207] += y % 13; } }
if (s == 1208) {
if (x % 6 == 2) { hits[1208] += 1; state += 4; }
else { hits[1208] += y % 13; } }
if (s == 1209) {
if (x % 7 == 5) { hits[1209] += 1; state += 5; }
else { hits[1209] += y % 13; } }
if (s == 1210) {
if (x % 8 == 2) { hits[1210] += 1; state += 1; }
else { hits[1210] += y % 13; } }
if (s == 1211) {
if (x % 2 == 1) { hits[1211] += 1; state += 2; }
else { hits[1211] += y % 13; } }
if (s == 1212) {
if (x % 3 == 0) { hits[1212] += 1; state += 3; }
else { hits[1212] += y % 13; } }
if (s == 1213) {
if (x % 4 == 1) { hits[1213] += 1; state += 4; }
else { hits[1213] += y % 13; } }
if (s == 1214) {
if (x % 5 == 4) { hits[1214] += 1; state += 5; }
else { hits[1214] += y % 13; } }
if (s == 1215) {
if (x % 6 == 3) { hits[1215] += 1; state += 1; }
else { hits[1215] += y % 13; } }
if (s == 1216) {
if (x % 7 == 5) { hits[1216] += 1; state += 2; }
else { hits[1216] += y % 13; } }
if (s == 1217) {
if (x % 8 == 1) { hits[1217] += 1; state += 3; }
else { hits[1217] += y % 13; } }
if (s == 1218) {
if (x % 2 == 0) { hits[1218] += 1; state += 4; }
else { hits[1218] += y % 13; } }
if (s == 1219) {
if (x % 3 == 1) { hits[1219] += 1; state += 5; }
else { hits[1219] += y % 13; } }
if (s == 1220) {
if (x % 4 == 0) { hits[1220] += 1; state += 1; }
else { hits[1220] += y % 13; } }
if (s == 1221) {
if (x % 5 == 1) { hits[1221] += 1; state += 2; }
else { hits[1221] += y % 13; } }
if (s == 1222) {
if (x % 6 == 4) { hits[1222] += 1; state += 3; }
else { hits[1222] += y % 13; } }
if (s == 1223) {
if (x % 7 == 5) { hits[1223] += 1; state += 4; }
else { hits[1223] += y % 13; } }
if (s == 1224) {
if (x % 8 == 0) { hits[1224] += 1; state += 5; }
else { hits[1224] += y % 13; } }
if (s == 1225) {
if (x % 2 == 1) { hits[1225] += 1; state += 1; }
else { hits[1225] += y % 13; } }
if (s == 1226) {
if (x % 3 == 2) { hits[1226] += 1; state += 2; }
else { hits[1226] += y % 13; } }
if (s == 1227) {
if (x % 4 == 3) { hits[1227] += 1; state += 3; }
else { hits[1227] += y % 13; } }
if (s == 1228) {
if (x % 5 == 3) { hits[1228] += 1; state += 4; }
else { hits[1228] += y % 13; } }
if (s == 1229) {
if (x % 6 == 5) { hits[1229] += 1; state += 5; }
else { hits[1229] += y % 13; } }
if (s == 1230) {
if (x % 7 == 5) { hits[1230] += 1; state += 1; }
else { hits[1230] += y % 13; } }
if (s == 1231) {
if (x % 8 == 7) { hits[1231] += 1; state += 2; }
else { hits[1231] += y % 13; } }
if (s == 1232) {
if (x % 2 == 0) { hits[1232] += 1; state += 3; }
else { hits[1232] += y % 13; } }
if (s == 1233) {
if (x % 3 == 0) { hits[1233] += 1; state += 4; }
else { hits[1233] += y % 13; } }
if (s == 1234) {
if (x % 4 == 2) { hits[1234] += 1; state += 5; }
else { hits[1234] += y % 13; } }
if (s == 1235) {
if (x % 5 == 0) { hits[1235] += 1; state += 1; }
else { hits[1235] += y % 13; } }
if (s == 1236) {
if (x % 6 == 0) { hits[1236] += 1; state += 2; }
else { hits[1236] += y % 13; } }
if (s == 1237) {
if (x % 7 == 5) { hits[1237] += 1; state += 3; }
else { hits[1237] += y % 13; } }
if (s == 1238) {
if (x % 8 == 6) { hits[1238] += 1; state += 4; }
else { hits[1238] += y % 13; } }
if (s == 1239) {
if (x % 2 == 1) { hits[1239] += 1; state += 5; }
else { hits[1239] += y % 13; } }
if (s == 1240) {
if (x % 3 == 1) { hits[1240] += 1; state += 1; }
else { hits[1240] += y % 13; } }
if (s == 1241) {
if (x % 4 == 1) { hits[1241] += 1; state += 2; }
else { hits[1241] += y % 13; } }
if (s == 1242) {
if (x % 5 == 2) { hits[1242] += 1; state += 3; }
else { hits[1242] += y % 13; } }
if (s == 1243) {
if (x % 6 == 1) { hits[1243] += 1; state += 4; }
else { hits[1243] += y % 13; } }
if (s == 1244) {
if (x % 7 == 5) { hits[1244] += 1; state += 5; }
else { hits[1244] += y % 13; } }
if (s == 1245) {
if (x % 8 == 5) { hits[1245] += 1; state += 1; }
else { hits[1245] += y % 13; } }
if (s == 1246) {
if (x % 2 == 0) { hits[1246] += 1; state += 2; }
else { hits[1246] += y % 13; } }
if (s == 1247) {
if (x % 3 == 2) { hits[1247] += 1; state += 3; }
else { hits[1247] += y % 13; } }
if (s == 1248) {
if (x % 4 == 0) { hits[1248] += 1; state += 4; }
else { hits[1248] += y % 13; } }
if (s == 1249) {
if (x % 5 == 4) { hits[1249] += 1; state += 5; }
else { hits[1249] += y % 13; } }
if (s == 1250) {
if (x % 6 == 2) { hits[1250] += 1; state += 1; }
else { hits[1250] += y % 13; } }
if (s == 1251) {
if (x % 7 == 5) { hits[1251] += 1; state += 2; }
else { hits[1251] += y % 13; } }
if (s == 1252) {
if (x % 8 == 4) { hits[1252] += 1; state += 3; }
else { hits[1252] += y % 13; } }
if (s == 1253) {
if (x % 2 == 1) { hits[1253] += 1; state += 4; }
else { hits[1253] += y % 13; } }
if (s == 1254) {
if (x % 3 == 0) { hits[1254] += 1; state += 5; }
else { hits[1254] += y % 13; } }
if (s == 1255) {
if (x % 4 == 3) { hits[1255] += 1; state += 1; }
else { hits[1255] += y % 13; } }
if (s == 1256) {
if (x % 5 == 1) { hits[1256] += 1; state += 2; }
else { hits[1256] += y % 13; } }
if (s == 1257) {
if (x % 6 == 3) { hits[1257] += 1; state += 3; }
else { hits[1257] += y % 13; } }
if (s == 1258) {
if (x % 7 == 5) { hits[1258] += 1; state += 4; }
else { hits[1258] += y % 13; } }
if (s == 1259) {
if (x % 8 == 3) { hits[1259] += 1; state += 5; }
else { hits[1259] += y % 13; } }
if (s == 1260) {
if (x % 2 == 0) { hits[1260] += 1; state += 1; }
else { hits[1260] += y % 13; } }
if (s == 1261) {
if (x % 3 == 1) { hits[1261] += 1; state += 2; }
else { hits[1261] += y % 13; } }
if (s == 1262) {
if (x % 4 == 2) { hits[1262] += 1; state += 3; }
else { hits[1262] += y % 13; } }
if (s == 1263) {
if (x % 5 == 3) { hits[1263] += 1; state += 4; }
else { hits[1263] += y % 13; } }
if (s == 1264) {
if (x % 6 == 4) { hits[1264] += 1; state += 5; }
else { hits[1264] += y % 13; } }
if (s == 1265) {
if (x % 7 == 5) { hits[1265] += 1; state += 1; }
else { hits[1265] += y % 13; } }
if (s == 1266) {
if (x % 8 == 2) { hits[1266] += 1; state += 2; }
else { hits[1266] += y % 13; } }
if (s == 1267) {
if (x % 2 == 1) { hits[1267] += 1; state += 3; }
else { hits[1267] += y % 13; } }
if (s == 1268) {
if (x % 3 == 2) { hits[1268] += 1; state += 4; }
else { hits[1268] += y % 13; } }
if (s == 1269) {
if (x % 4 == 1) { hits[1269] += 1; state += 5; }
else { hits[1269] += y % 13; } }
if (s == 1270) {
if (x % 5 == 0) { hits[1270] += 1; state += 1; }
else { hits[1270] += y % 13; } }
if (s == 1271) {
if (x % 6 == 5) { hits[1271] += 1; state += 2; }
else { hits[1271] += y % 13; } }
if (s == 1272) {
if (x % 7 == 5) { hits[1272] += 1; state += 3; }
else { hits[1272] += y % 13; } }
if (s == 1273) {
if (x % 8 == 1) { hits[1273] += 1; state += 4; }
else { hits[1273] += y % 13; } }
if (s == 1274) {
if (x % 2 == 0) { hits[1274] += 1; state += 5; }
else { hits[1274] += y % 13; } }
if (s == 1275) {
if (x % 3 == 0) { hits[1275] += 1; state += 1; }
else { hits[1275] += y % 13; } }
if (s == 1276) {
if (x % 4 == 0) { hits[1276] += 1; state += 2; }
else { hits[1276] += y % 13; } }
if (s == 1277) {
if (x % 5 == 2) { hits[1277] += 1; state += 3; }
else { hits[1277] += y % 13; } }
if (s == 1278) {
if (x % 6 == 0) { hits[1278] += 1; state += 4; }
else { hits[1278] += y % 13; } }
if (s == 1279) {
if (x % 7 == 5) { hits[1279] += 1; state += 5; }
else { hits[1279] += y % 13; } }
if (s == 1280) {
if (x % 8 == 0) { hits[1280] += 1; state += 1; }
else { hits[1280] += y % 13; } }
if (s == 1281) {
if (x % 2 == 1) { hits[1281] += 1; state += 2; }
else { hits[1281] += y % 13; } }
if (s == 1282) {
if (x % 3 == 1) { hits[1282] += 1; state += 3; }
else { hits[1282] += y % 13; } }
if (s == 1283) {
if (x % 4 == 3) { hits[1283] += 1; state += 4; }
else { hits[1283] += y % 13; } }
if (s == 1284) {
if (x % 5 == 4) { hits[1284] += 1; state += 5; }
else { hits[1284] += y % 13; } }
if (s == 1285) {
if (x % 6 == 1) { hits[1285] += 1; state += 1; }
else { hits[1285] += y % 13; } }
if (s == 1286) {
if (x % 7 == 5) { hits[1286] += 1; state += 2; }
else { hits[1286] += y % 13; } }
if (s == 1287) {
if (x % 8 == 7) { hits[1287] += 1; state += 3; }
else { hits[1287] += y % 13; } }
if (s == 1288) {
if (x % 2 == 0) { hits[1288] += 1; state += 4; }
else { hits[1288] += y % 13; } }
if (s == 1289) {
if (x % 3 == 2) { hits[1289] += 1; state += 5; }
else { hits[1289] += y % 13; } }
if (s == 1290) {
if (x % 4 == 2) { hits[1290] += 1; state += 1; }
else { hits[1290] += y % 13; } }
if (s == 1291) {
if (x % 5 == 1) { hits[1291] += 1; state += 2; }
else { hits[1291] += y % 13; } }
if (s == 1292) {
if (x % 6 == 2) { hits[1292] += 1; state += 3; }
else { hits[1292] += y % 13; } }
if (s == 1293) {
if (x % 7 == 5) { hits[1293] += 1; state += 4; }
else { hits[1293] += y % 13; } }
if (s == 1294) {
if (x % 8 == 6) { hits[1294] += 1; state += 5; }
else { hits[1294] += y % 13; } }
if (s == 1295) {
if (x % 2 == 1) { hits[1295] += 1; state += 1; }
else { hits[1295] += y % 13; } }
if (s == 1296) {
if (x % 3 == 0) { hits[1296] += 1; state += 2; }
else { hits[1296] += y % 13; } }
if (s == 1297) {
if (x % 4 == 1) { hits[1297] += 1; state += 3; }
else { hits[1297] += y % 13; } }
if (s == 1298) {
if (x % 5 == 3) { hits[1298] += 1; state += 4; }
else { hits[1298] += y % 13; } }
if (s == 1299) {
if (x % 6 == 3) { hits[1299] += 1; state += 5; }
else { hits[1299] += y % 13; } }
if (s == 1300) {
if (x % 7 == 5) { hits[1300] += 1; state += 1; }
else { hits[1300] += y % 13; } }
if (s == 1301) {
if (x % 8 == 5) { hits[1301] += 1; state += 2; }
else { hits[1301] += y % 13; } }
if (s == 1302) {
if (x % 2 == 0) { hits[1302] += 1; state += 3; }
else { hits[1302] += y % 13; } }
if (s == 1303) {
if (x % 3 == 1) { hits[1303] += 1; state += 4; }
else { hits[1303] += y % 13; } }
if (s == 1304) {
if (x % 4 == 0) { hits[1304] += 1; state += 5; }
else { hits[1304] += y % 13; } }
if (s == 1305) {
if (x % 5 == 0) { hits[1305] += 1; state += 1; }
else { hits[1305] += y % 13; } }
if (s == 1306) {
if (x % 6 == 4) { hits[1306] += 1; state += 2; }
else { hits[1306] += y % 13; } }
if (s == 1307) {
if (x % 7 == 5) { hits[1307] += 1; state += 3; }
else { hits[1307] += y % 13; } }
if (s == 1308) {
if (x % 8 == 4) { hits[1308] += 1; state += 4; }
else { hits[1308] += y % 13; } }
if (s == 1309) {
if (x % 2 == 1) { hits[1309] += 1; state += 5; }
else { hits[1309] += y % 13; } }
if (s == 1310) {
if (x % 3 == 2) { hits[1310] += 1; state += 1; }
else { hits[1310] += y % 13; } }
if (s == 1311) {
if (x % 4 == 3) { hits[1311] += 1; state += 2; }
else { hits[1311] += y % 13; } }
if (s == 1312) {
if (x % 5 == 2) { hits[1312] += 1; state += 3; }
else { hits[1312] += y % 13; } }
if (s == 1313) {
if (x % 6 == 5) { hits[1313] += 1; state += 4; }
else { hits[1313] += y % 13; } }
if (s == 1314) {
if (x % 7 == 5) { hits[1314] += 1; state += 5; }
else { hits[1314] += y % 13; } }
if (s == 1315) {
if (x % 8 == 3) { hits[1315] += 1; state += 1; }
else { hits[1315] += y % 13; } }
if (s == 1316) {
if (x % 2 == 0) { hits[1316] += 1; state += 2; }
else { hits[1316] += y % 13; } }
if (s == 1317) {
if (x % 3 == 0) { hits[1317] += 1; state += 3; }
else { hits[1317] += y % 13; } }
if (s == 1318) {
if (x % 4 == 2) { hits[1318] += 1; state += 4; }
else { hits[1318] += y % 13; } }
if (s == 1319) {
if (x % 5 == 4) { hits[1319] += 1; state += 5; }
else { hits[1319] += y % 13; } }
if (s == 1320) {
if (x % 6 == 0) { hits[1320] += 1; state += 1; }
else { hits[1320] += y % 13; } }
if (s == 1321) {
if (x % 7 == 5) { hits[1321] += 1; state += 2; }
else { hits[1321] += y % 13; } }
if (s == 1322) {
if (x % 8 == 2) { hits[1322] += 1; state += 3; }
else { hits[1322] += y % 13; } }
if (s == 1323) {
if (x % 2 == 1) { hits[1323] += 1; state += 4; }
else { hits[1323] += y % 13; } }
if (s == 1324) {
if (x % 3 == 1) { hits[1324] += 1; state += 5; }
else { hits[1324] += y % 13; } }
if (s == 1325) {
if (x % 4 == 1) { hits[1325] += 1; state += 1; }
else { hits[1325] += y % 13; } }
if (s == 1326) {
if (x % 5 == 1) { hits[1326] += 1; state += 2; }
else { hits[1326] += y % 13; } }
if (s == 1327) {
if (x % 6 == 1) { hits[1327] += 1; state += 3; }
else { hits[1327] += y % 13; } }
if (s == 1328) {
if (x % 7 == 5) { hits[1328] += 1; state += 4; }
else { hits[1328] += y % 13; } }
if (s == 1329) {
if (x % 8 == 1) { hits[1329] += 1; state += 5; }
else { hits[1329] += y % 13; } }
if (s == 1330) {
if (x % 2 == 0) { hits[1330] += 1; state += 1; }
else { hits[1330] += y % 13; } }
if (s == 1331) {
if (x % 3 == 2) { hits[1331] += 1; state += 2; }
else { hits[1331] += y % 13; } }
if (s == 1332) {
if (x % 4 == 0) { hits[1332] += 1; state += 3; }
else { hits[1332] += y % 13; } }
if (s == 1333) {
if (x % 5 == 3) { hits[1333] += 1; state += 4; }
else { hits[1333] += y % 13; } }
if (s == 1334) {
if (x % 6 == 2) { hits[1334] += 1; state += 5; }
else { hits[1334] += y % 13; } }
if (s == 1335) {
if (x % 7 == 5) { hits[1335] += 1; state += 1; }
else { hits[1335] += y % 13; } }
if (s == 1336) {
if (x % 8 == 0) { hits[1336] += 1; state += 2; }
else { hits[1336] += y % 13; } }
if (s == 1337) {
if (x % 2 == 1) { hits[1337] += 1; state += 3; }
else { hits[1337] += y % 13; } }
if (s == 1338) {
if (x % 3 == 0) { hits[1338] += 1; state += 4; }
else { hits[1338] += y % 13; } }
if (s == 1339) {
if (x % 4 == 3) { hits[1339] += 1; state += 5; }
else { hits[1339] += y % 13; } }
if (s == 1340) {
if (x % 5 == 0) { hits[1340] += 1; state += 1; }
else { hits[1340] += y % 13; } }
if (s == 1341) {
if (x % 6 == 3) { hits[1341] += 1; state += 2; }
else { hits[1341] += y % 13; } }
if (s == 1342) {
if (x % 7 == 5) { hits[1342] += 1; state += 3; }
else { hits[1342] += y % 13; } }
if (s == 1343) {
if (x % 8 == 7) { hits[1343] += 1; state += 4; }
else { hits[1343] += y % 13; } }
if (s == 1344) {
if (x % 2 == 0) { hits[1344] += 1; state += 5; }
else { hits[1344] += y % 13; } }
if (s == 1345) {
if (x % 3 == 1) { hits[1345] += 1; state += 1; }
else { hits[1345] += y % 13; } }
if (s == 1346) {
if (x % 4 == 2) { hits[1346] += 1; state += 2; }
else { hits[1346] += y % 13; } }
if (s == 1347) {
if (x % 5 == 2) { hits[1347] += 1; state += 3; }
else { hits[1347] += y % 13; } }
if (s == 1348) {
if (x % 6 == 4) { hits[1348] += 1; state += 4; }
else { hits[1348] += y % 13; } }
if (s == 1349) {
if (x % 7 == 5) { hits[1349] += 1; state += 5; }
else { hits[1349] += y % 13; } }
if (s == 1350) {
if (x % 8 == 6) { hits[1350] += 1; state += 1; }
else { hits[1350] += y % 13; } }
if (s == 1351) {
if (x % 2 == 1) { hits[1351] += 1; state += 2; }
else { hits[1351] += y % 13; } }
if (s == 1352) {
if (x % 3 == 2) { hits[1352] += 1; state += 3; }
else { hits[1352] += y % 13; } }
if (s == 1353) {
if (x % 4 == 1) { hits[1353] += 1; state += 4; }
else { hits[1353] += y % 13; } }
if (s == 1354) {
if (x % 5 == 4) { hits[1354] += 1; state += 5; }
else { hits[1354] += y % 13; } }
if (s == 1355) {
if (x % 6 == 5) { hits[1355] += 1; state += 1; }
else { hits[1355] += y % 13; } }
if (s == 1356) {
if (x % 7 == 5) { hits[1356] += 1; state += 2; }
else { hits[1356] += y % 13; } }
if (s == 1357) {
if (x % 8 == 5) { hits[1357] += 1; state += 3; }
else { hits[1357] += y % 13; } }
if (s == 1358) {
if (x % 2 == 0) { hits[1358] += 1; state += 4; }
else { hits[1358] += y % 13; } }
if (s == 1359) {
if (x % 3 == 0) { hits[1359] += 1; state += 5; }
else { hits[1359] += y % 13; } }
if (s == 1360) {
if (x % 4 == 0) { hits[1360] += 1; state += 1; }
else { hits[1360] += y % 13; } }
if (s == 1361) {
if (x % 5 == 1) { hits[1361] += 1; state += 2; }
else { hits[1361] += y % 13; } }
if (s == 1362) {
if (x % 6 == 0) { hits[1362] += 1; state += 3; }
else { hits[1362] += y % 13; } }
if (s == 1363) {
if (x % 7 == 5) { hits[1363] += 1; state += 4; }
else { hits[1363] += y % 13; } }
if (s == 1364) {
if (x % 8 == 4) { hits[1364] += 1; state += 5; }
else { hits[1364] += y % 13; } }
if (s == 1365) {
if (x % 2 == 1) { hits[1365] += 1; state += 1; }
else { hits[1365] += y % 13; } }
if (s == 1366) {
if (x % 3 == 1) { hits[1366] += 1; state += 2; }
else { hits[1366] += y % 13; } }
if (s == 1367) {
if (x % 4 == 3) { hits[1367] += 1; state += 3; }
else { hits[1367] += y % 13; } }
if (s == 1368) {
if (x % 5 == 3) { hits[1368] += 1; state += 4; }
else { hits[1368] += y % 13; } }
if (s == 1369) {
if (x % 6 == 1) { hits[1369] += 1; state += 5; }
else { hits[1369] += y % 13; } }
if (s == 1370) {
if (x % 7 == 5) { hits[1370] += 1; state += 1; }
else { hits[1370] += y % 13; } }
if (s == 1371) {
if (x % 8 == 3) { hits[1371] += 1; state += 2; }
else { hits[1371] += y % 13; } }
if (s == 1372) {
if (x % 2 == 0) { hits[1372] += 1; state += 3; }
else { hits[1372] += y % 13; } }
if (s == 1373) {
if (x % 3 == 2) { hits[1373] += 1; state += 4; }
else { hits[1373] += y % 13; } }
if (s == 1374) {
if (x % 4 == 2) { hits[1374] += 1; state += 5; }
else { hits[1374] += y % 13; } }
if (s == 1375) {
if (x % 5 == 0) { hits[1375] += 1; state += 1; }
else { hits[1375] += y % 13; } }
if (s == 1376) {
if (x % 6 == 2) { hits[1376] += 1; state += 2; }
else { hits[1376] += y % 13; } }
if (s == 1377) {
if (x % 7 == 5) { hits[1377] += 1; state += 3; }
else { hits[1377] += y % 13; } }
if (s == 1378) {
if (x % 8 == 2) { hits[1378] += 1; state += 4; }
else { hits[1378] += y % 13; } }
if (s == 1379) {
if (x % 2 == 1) { hits[1379] += 1; state += 5; }
else { hits[1379] += y % 13; } }
if (s == 1380) {
if (x % 3 == 0) { hits[1380] += 1; state += 1; }
else { hits[1380] += y % 13; } }
if (s == 1381) {
if (x % 4 == 1) { hits[1381] += 1; state += 2; }
else { hits[1381] += y % 13; } }
if (s == 1382) {
if (x % 5 == 2) { hits[1382] += 1; state += 3; }
else { hits[1382] += y % 13; } }
if (s == 1383) {
if (x % 6 == 3) { hits[1383] += 1; state += 4; }
else { hits[1383] += y % 13; } }
if (s == 1384) {
if (x % 7 == 5) { hits[1384] += 1; state += 5; }
else { hits[1384] += y % 13; } }
if (s == 1385) {
if (x % 8 == 1) { hits[1385] += 1; state += 1; }
else { hits[1385] += y % 13; } }
if (s == 1386) {
if (x % 2 == 0) { hits[1386] += 1; state += 2; }
else { hits[1386] += y % 13; } }
if (s == 1387) {
if (x % 3 == 1) { hits[1387] += 1; state += 3; }
else { hits[1387] += y % 13; } }
if (s == 1388) {
if (x % 4 == 0) { hits[1388] += 1; state += 4; }
else { hits[1388] += y % 13; } }
if (s == 1389) {
if (x % 5 == 4) { hits[1389] += 1; state += 5; }
else { hits[1389] += y % 13; } }
if (s == 1390) {
if (x % 6 == 4) { hits[1390] += 1; state += 1; }
else { hits[1390] += y % 13; } }
if (s == 1391) {
if (x % 7 == 5) { hits[1391] += 1; state += 2; }
else { hits[1391] += y % 13; } }
if (s == 1392) {
if (x % 8 == 0) { hits[1392] += 1; state += 3; }
else { hits[1392] += y % 13; } }
if (s == 1393) {
if (x % 2 == 1) { hits[1393] += 1; state += 4; }
else { hits[1393] += y % 13; } }
if (s == 1394) {
if (x % 3 == 2) { hits[1394] += 1; state += 5; }
else { hits[1394] += y % 13; } }
if (s == 1395) {
if (x % 4 == 3) { hits[1395] += 1; state += 1; }
else { hits[1395] += y % 13; } }
if (s == 1396) {
if (x % 5 == 1) { hits[1396] += 1; state += 2; }
else { hits[1396] += y % 13; } }
if (s == 1397) {
if (x % 6 == 5) { hits[1397] += 1; state += 3; }
else { hits[1397] += y % 13; } }
if (s == 1398) {
if (x % 7 == 5) { hits[1398] += 1; state += 4; }
else { hits[1398] += y % 13; } }
if (s == 1399) {
if (x % 8 == 7) { hits[1399] += 1; state += 5; }
else { hits[1399] += y % 13; } }
if (state > reachedCount) reachedCount = state;
}
function step7(uint256 sel, uint256 x, uint256 y) public {
uint256 s = sel % 1600;
if (s == 1400) {
if (x % 2 == 0) { hits[1400] += 1; state += 1; }
else { hits[1400] += y % 13; } }
if (s == 1401) {
if (x % 3 == 0) { hits[1401] += 1; state += 2; }
else { hits[1401] += y % 13; } }
if (s == 1402) {
if (x % 4 == 2) { hits[1402] += 1; state += 3; }
else { hits[1402] += y % 13; } }
if (s == 1403) {
if (x % 5 == 3) { hits[1403] += 1; state += 4; }
else { hits[1403] += y % 13; } }
if (s == 1404) {
if (x % 6 == 0) { hits[1404] += 1; state += 5; }
else { hits[1404] += y % 13; } }
if (s == 1405) {
if (x % 7 == 5) { hits[1405] += 1; state += 1; }
else { hits[1405] += y % 13; } }
if (s == 1406) {
if (x % 8 == 6) { hits[1406] += 1; state += 2; }
else { hits[1406] += y % 13; } }
if (s == 1407) {
if (x % 2 == 1) { hits[1407] += 1; state += 3; }
else { hits[1407] += y % 13; } }
if (s == 1408) {
if (x % 3 == 1) { hits[1408] += 1; state += 4; }
else { hits[1408] += y % 13; } }
if (s == 1409) {
if (x % 4 == 1) { hits[1409] += 1; state += 5; }
else { hits[1409] += y % 13; } }
if (s == 1410) {
if (x % 5 == 0) { hits[1410] += 1; state += 1; }
else { hits[1410] += y % 13; } }
if (s == 1411) {
if (x % 6 == 1) { hits[1411] += 1; state += 2; }
else { hits[1411] += y % 13; } }
if (s == 1412) {
if (x % 7 == 5) { hits[1412] += 1; state += 3; }
else { hits[1412] += y % 13; } }
if (s == 1413) {
if (x % 8 == 5) { hits[1413] += 1; state += 4; }
else { hits[1413] += y % 13; } }
if (s == 1414) {
if (x % 2 == 0) { hits[1414] += 1; state += 5; }
else { hits[1414] += y % 13; } }
if (s == 1415) {
if (x % 3 == 2) { hits[1415] += 1; state += 1; }
else { hits[1415] += y % 13; } }
if (s == 1416) {
if (x % 4 == 0) { hits[1416] += 1; state += 2; }
else { hits[1416] += y % 13; } }
if (s == 1417) {
if (x % 5 == 2) { hits[1417] += 1; state += 3; }
else { hits[1417] += y % 13; } }
if (s == 1418) {
if (x % 6 == 2) { hits[1418] += 1; state += 4; }
else { hits[1418] += y % 13; } }
if (s == 1419) {
if (x % 7 == 5) { hits[1419] += 1; state += 5; }
else { hits[1419] += y % 13; } }
if (s == 1420) {
if (x % 8 == 4) { hits[1420] += 1; state += 1; }
else { hits[1420] += y % 13; } }
if (s == 1421) {
if (x % 2 == 1) { hits[1421] += 1; state += 2; }
else { hits[1421] += y % 13; } }
if (s == 1422) {
if (x % 3 == 0) { hits[1422] += 1; state += 3; }
else { hits[1422] += y % 13; } }
if (s == 1423) {
if (x % 4 == 3) { hits[1423] += 1; state += 4; }
else { hits[1423] += y % 13; } }
if (s == 1424) {
if (x % 5 == 4) { hits[1424] += 1; state += 5; }
else { hits[1424] += y % 13; } }
if (s == 1425) {
if (x % 6 == 3) { hits[1425] += 1; state += 1; }
else { hits[1425] += y % 13; } }
if (s == 1426) {
if (x % 7 == 5) { hits[1426] += 1; state += 2; }
else { hits[1426] += y % 13; } }
if (s == 1427) {
if (x % 8 == 3) { hits[1427] += 1; state += 3; }
else { hits[1427] += y % 13; } }
if (s == 1428) {
if (x % 2 == 0) { hits[1428] += 1; state += 4; }
else { hits[1428] += y % 13; } }
if (s == 1429) {
if (x % 3 == 1) { hits[1429] += 1; state += 5; }
else { hits[1429] += y % 13; } }
if (s == 1430) {
if (x % 4 == 2) { hits[1430] += 1; state += 1; }
else { hits[1430] += y % 13; } }
if (s == 1431) {
if (x % 5 == 1) { hits[1431] += 1; state += 2; }
else { hits[1431] += y % 13; } }
if (s == 1432) {
if (x % 6 == 4) { hits[1432] += 1; state += 3; }
else { hits[1432] += y % 13; } }
if (s == 1433) {
if (x % 7 == 5) { hits[1433] += 1; state += 4; }
else { hits[1433] += y % 13; } }
if (s == 1434) {
if (x % 8 == 2) { hits[1434] += 1; state += 5; }
else { hits[1434] += y % 13; } }
if (s == 1435) {
if (x % 2 == 1) { hits[1435] += 1; state += 1; }
else { hits[1435] += y % 13; } }
if (s == 1436) {
if (x % 3 == 2) { hits[1436] += 1; state += 2; }
else { hits[1436] += y % 13; } }
if (s == 1437) {
if (x % 4 == 1) { hits[1437] += 1; state += 3; }
else { hits[1437] += y % 13; } }
if (s == 1438) {
if (x % 5 == 3) { hits[1438] += 1; state += 4; }
else { hits[1438] += y % 13; } }
if (s == 1439) {
if (x % 6 == 5) { hits[1439] += 1; state += 5; }
else { hits[1439] += y % 13; } }
if (s == 1440) {
if (x % 7 == 5) { hits[1440] += 1; state += 1; }
else { hits[1440] += y % 13; } }
if (s == 1441) {
if (x % 8 == 1) { hits[1441] += 1; state += 2; }
else { hits[1441] += y % 13; } }
if (s == 1442) {
if (x % 2 == 0) { hits[1442] += 1; state += 3; }
else { hits[1442] += y % 13; } }
if (s == 1443) {
if (x % 3 == 0) { hits[1443] += 1; state += 4; }
else { hits[1443] += y % 13; } }
if (s == 1444) {
if (x % 4 == 0) { hits[1444] += 1; state += 5; }
else { hits[1444] += y % 13; } }
if (s == 1445) {
if (x % 5 == 0) { hits[1445] += 1; state += 1; }
else { hits[1445] += y % 13; } }
if (s == 1446) {
if (x % 6 == 0) { hits[1446] += 1; state += 2; }
else { hits[1446] += y % 13; } }
if (s == 1447) {
if (x % 7 == 5) { hits[1447] += 1; state += 3; }
else { hits[1447] += y % 13; } }
if (s == 1448) {
if (x % 8 == 0) { hits[1448] += 1; state += 4; }
else { hits[1448] += y % 13; } }
if (s == 1449) {
if (x % 2 == 1) { hits[1449] += 1; state += 5; }
else { hits[1449] += y % 13; } }
if (s == 1450) {
if (x % 3 == 1) { hits[1450] += 1; state += 1; }
else { hits[1450] += y % 13; } }
if (s == 1451) {
if (x % 4 == 3) { hits[1451] += 1; state += 2; }
else { hits[1451] += y % 13; } }
if (s == 1452) {
if (x % 5 == 2) { hits[1452] += 1; state += 3; }
else { hits[1452] += y % 13; } }
if (s == 1453) {
if (x % 6 == 1) { hits[1453] += 1; state += 4; }
else { hits[1453] += y % 13; } }
if (s == 1454) {
if (x % 7 == 5) { hits[1454] += 1; state += 5; }
else { hits[1454] += y % 13; } }
if (s == 1455) {
if (x % 8 == 7) { hits[1455] += 1; state += 1; }
else { hits[1455] += y % 13; } }
if (s == 1456) {
if (x % 2 == 0) { hits[1456] += 1; state += 2; }
else { hits[1456] += y % 13; } }
if (s == 1457) {
if (x % 3 == 2) { hits[1457] += 1; state += 3; }
else { hits[1457] += y % 13; } }
if (s == 1458) {
if (x % 4 == 2) { hits[1458] += 1; state += 4; }
else { hits[1458] += y % 13; } }
if (s == 1459) {
if (x % 5 == 4) { hits[1459] += 1; state += 5; }
else { hits[1459] += y % 13; } }
if (s == 1460) {
if (x % 6 == 2) { hits[1460] += 1; state += 1; }
else { hits[1460] += y % 13; } }
if (s == 1461) {
if (x % 7 == 5) { hits[1461] += 1; state += 2; }
else { hits[1461] += y % 13; } }
if (s == 1462) {
if (x % 8 == 6) { hits[1462] += 1; state += 3; }
else { hits[1462] += y % 13; } }
if (s == 1463) {
if (x % 2 == 1) { hits[1463] += 1; state += 4; }
else { hits[1463] += y % 13; } }
if (s == 1464) {
if (x % 3 == 0) { hits[1464] += 1; state += 5; }
else { hits[1464] += y % 13; } }
if (s == 1465) {
if (x % 4 == 1) { hits[1465] += 1; state += 1; }
else { hits[1465] += y % 13; } }
if (s == 1466) {
if (x % 5 == 1) { hits[1466] += 1; state += 2; }
else { hits[1466] += y % 13; } }
if (s == 1467) {
if (x % 6 == 3) { hits[1467] += 1; state += 3; }
else { hits[1467] += y % 13; } }
if (s == 1468) {
if (x % 7 == 5) { hits[1468] += 1; state += 4; }
else { hits[1468] += y % 13; } }
if (s == 1469) {
if (x % 8 == 5) { hits[1469] += 1; state += 5; }
else { hits[1469] += y % 13; } }
if (s == 1470) {
if (x % 2 == 0) { hits[1470] += 1; state += 1; }
else { hits[1470] += y % 13; } }
if (s == 1471) {
if (x % 3 == 1) { hits[1471] += 1; state += 2; }
else { hits[1471] += y % 13; } }
if (s == 1472) {
if (x % 4 == 0) { hits[1472] += 1; state += 3; }
else { hits[1472] += y % 13; } }
if (s == 1473) {
if (x % 5 == 3) { hits[1473] += 1; state += 4; }
else { hits[1473] += y % 13; } }
if (s == 1474) {
if (x % 6 == 4) { hits[1474] += 1; state += 5; }
else { hits[1474] += y % 13; } }
if (s == 1475) {
if (x % 7 == 5) { hits[1475] += 1; state += 1; }
else { hits[1475] += y % 13; } }
if (s == 1476) {
if (x % 8 == 4) { hits[1476] += 1; state += 2; }
else { hits[1476] += y % 13; } }
if (s == 1477) {
if (x % 2 == 1) { hits[1477] += 1; state += 3; }
else { hits[1477] += y % 13; } }
if (s == 1478) {
if (x % 3 == 2) { hits[1478] += 1; state += 4; }
else { hits[1478] += y % 13; } }
if (s == 1479) {
if (x % 4 == 3) { hits[1479] += 1; state += 5; }
else { hits[1479] += y % 13; } }
if (s == 1480) {
if (x % 5 == 0) { hits[1480] += 1; state += 1; }
else { hits[1480] += y % 13; } }
if (s == 1481) {
if (x % 6 == 5) { hits[1481] += 1; state += 2; }
else { hits[1481] += y % 13; } }
if (s == 1482) {
if (x % 7 == 5) { hits[1482] += 1; state += 3; }
else { hits[1482] += y % 13; } }
if (s == 1483) {
if (x % 8 == 3) { hits[1483] += 1; state += 4; }
else { hits[1483] += y % 13; } }
if (s == 1484) {
if (x % 2 == 0) { hits[1484] += 1; state += 5; }
else { hits[1484] += y % 13; } }
if (s == 1485) {
if (x % 3 == 0) { hits[1485] += 1; state += 1; }
else { hits[1485] += y % 13; } }
if (s == 1486) {
if (x % 4 == 2) { hits[1486] += 1; state += 2; }
else { hits[1486] += y % 13; } }
if (s == 1487) {
if (x % 5 == 2) { hits[1487] += 1; state += 3; }
else { hits[1487] += y % 13; } }
if (s == 1488) {
if (x % 6 == 0) { hits[1488] += 1; state += 4; }
else { hits[1488] += y % 13; } }
if (s == 1489) {
if (x % 7 == 5) { hits[1489] += 1; state += 5; }
else { hits[1489] += y % 13; } }
if (s == 1490) {
if (x % 8 == 2) { hits[1490] += 1; state += 1; }
else { hits[1490] += y % 13; } }
if (s == 1491) {
if (x % 2 == 1) { hits[1491] += 1; state += 2; }
else { hits[1491] += y % 13; } }
if (s == 1492) {
if (x % 3 == 1) { hits[1492] += 1; state += 3; }
else { hits[1492] += y % 13; } }
if (s == 1493) {
if (x % 4 == 1) { hits[1493] += 1; state += 4; }
else { hits[1493] += y % 13; } }
if (s == 1494) {
if (x % 5 == 4) { hits[1494] += 1; state += 5; }
else { hits[1494] += y % 13; } }
if (s == 1495) {
if (x % 6 == 1) { hits[1495] += 1; state += 1; }
else { hits[1495] += y % 13; } }
if (s == 1496) {
if (x % 7 == 5) { hits[1496] += 1; state += 2; }
else { hits[1496] += y % 13; } }
if (s == 1497) {
if (x % 8 == 1) { hits[1497] += 1; state += 3; }
else { hits[1497] += y % 13; } }
if (s == 1498) {
if (x % 2 == 0) { hits[1498] += 1; state += 4; }
else { hits[1498] += y % 13; } }
if (s == 1499) {
if (x % 3 == 2) { hits[1499] += 1; state += 5; }
else { hits[1499] += y % 13; } }
if (s == 1500) {
if (x % 4 == 0) { hits[1500] += 1; state += 1; }
else { hits[1500] += y % 13; } }
if (s == 1501) {
if (x % 5 == 1) { hits[1501] += 1; state += 2; }
else { hits[1501] += y % 13; } }
if (s == 1502) {
if (x % 6 == 2) { hits[1502] += 1; state += 3; }
else { hits[1502] += y % 13; } }
if (s == 1503) {
if (x % 7 == 5) { hits[1503] += 1; state += 4; }
else { hits[1503] += y % 13; } }
if (s == 1504) {
if (x % 8 == 0) { hits[1504] += 1; state += 5; }
else { hits[1504] += y % 13; } }
if (s == 1505) {
if (x % 2 == 1) { hits[1505] += 1; state += 1; }
else { hits[1505] += y % 13; } }
if (s == 1506) {
if (x % 3 == 0) { hits[1506] += 1; state += 2; }
else { hits[1506] += y % 13; } }
if (s == 1507) {
if (x % 4 == 3) { hits[1507] += 1; state += 3; }
else { hits[1507] += y % 13; } }
if (s == 1508) {
if (x % 5 == 3) { hits[1508] += 1; state += 4; }
else { hits[1508] += y % 13; } }
if (s == 1509) {
if (x % 6 == 3) { hits[1509] += 1; state += 5; }
else { hits[1509] += y % 13; } }
if (s == 1510) {
if (x % 7 == 5) { hits[1510] += 1; state += 1; }
else { hits[1510] += y % 13; } }
if (s == 1511) {
if (x % 8 == 7) { hits[1511] += 1; state += 2; }
else { hits[1511] += y % 13; } }
if (s == 1512) {
if (x % 2 == 0) { hits[1512] += 1; state += 3; }
else { hits[1512] += y % 13; } }
if (s == 1513) {
if (x % 3 == 1) { hits[1513] += 1; state += 4; }
else { hits[1513] += y % 13; } }
if (s == 1514) {
if (x % 4 == 2) { hits[1514] += 1; state += 5; }
else { hits[1514] += y % 13; } }
if (s == 1515) {
if (x % 5 == 0) { hits[1515] += 1; state += 1; }
else { hits[1515] += y % 13; } }
if (s == 1516) {
if (x % 6 == 4) { hits[1516] += 1; state += 2; }
else { hits[1516] += y % 13; } }
if (s == 1517) {
if (x % 7 == 5) { hits[1517] += 1; state += 3; }
else { hits[1517] += y % 13; } }
if (s == 1518) {
if (x % 8 == 6) { hits[1518] += 1; state += 4; }
else { hits[1518] += y % 13; } }
if (s == 1519) {
if (x % 2 == 1) { hits[1519] += 1; state += 5; }
else { hits[1519] += y % 13; } }
if (s == 1520) {
if (x % 3 == 2) { hits[1520] += 1; state += 1; }
else { hits[1520] += y % 13; } }
if (s == 1521) {
if (x % 4 == 1) { hits[1521] += 1; state += 2; }
else { hits[1521] += y % 13; } }
if (s == 1522) {
if (x % 5 == 2) { hits[1522] += 1; state += 3; }
else { hits[1522] += y % 13; } }
if (s == 1523) {
if (x % 6 == 5) { hits[1523] += 1; state += 4; }
else { hits[1523] += y % 13; } }
if (s == 1524) {
if (x % 7 == 5) { hits[1524] += 1; state += 5; }
else { hits[1524] += y % 13; } }
if (s == 1525) {
if (x % 8 == 5) { hits[1525] += 1; state += 1; }
else { hits[1525] += y % 13; } }
if (s == 1526) {
if (x % 2 == 0) { hits[1526] += 1; state += 2; }
else { hits[1526] += y % 13; } }
if (s == 1527) {
if (x % 3 == 0) { hits[1527] += 1; state += 3; }
else { hits[1527] += y % 13; } }
if (s == 1528) {
if (x % 4 == 0) { hits[1528] += 1; state += 4; }
else { hits[1528] += y % 13; } }
if (s == 1529) {
if (x % 5 == 4) { hits[1529] += 1; state += 5; }
else { hits[1529] += y % 13; } }
if (s == 1530) {
if (x % 6 == 0) { hits[1530] += 1; state += 1; }
else { hits[1530] += y % 13; } }
if (s == 1531) {
if (x % 7 == 5) { hits[1531] += 1; state += 2; }
else { hits[1531] += y % 13; } }
if (s == 1532) {
if (x % 8 == 4) { hits[1532] += 1; state += 3; }
else { hits[1532] += y % 13; } }
if (s == 1533) {
if (x % 2 == 1) { hits[1533] += 1; state += 4; }
else { hits[1533] += y % 13; } }
if (s == 1534) {
if (x % 3 == 1) { hits[1534] += 1; state += 5; }
else { hits[1534] += y % 13; } }
if (s == 1535) {
if (x % 4 == 3) { hits[1535] += 1; state += 1; }
else { hits[1535] += y % 13; } }
if (s == 1536) {
if (x % 5 == 1) { hits[1536] += 1; state += 2; }
else { hits[1536] += y % 13; } }
if (s == 1537) {
if (x % 6 == 1) { hits[1537] += 1; state += 3; }
else { hits[1537] += y % 13; } }
if (s == 1538) {
if (x % 7 == 5) { hits[1538] += 1; state += 4; }
else { hits[1538] += y % 13; } }
if (s == 1539) {
if (x % 8 == 3) { hits[1539] += 1; state += 5; }
else { hits[1539] += y % 13; } }
if (s == 1540) {
if (x % 2 == 0) { hits[1540] += 1; state += 1; }
else { hits[1540] += y % 13; } }
if (s == 1541) {
if (x % 3 == 2) { hits[1541] += 1; state += 2; }
else { hits[1541] += y % 13; } }
if (s == 1542) {
if (x % 4 == 2) { hits[1542] += 1; state += 3; }
else { hits[1542] += y % 13; } }
if (s == 1543) {
if (x % 5 == 3) { hits[1543] += 1; state += 4; }
else { hits[1543] += y % 13; } }
if (s == 1544) {
if (x % 6 == 2) { hits[1544] += 1; state += 5; }
else { hits[1544] += y % 13; } }
if (s == 1545) {
if (x % 7 == 5) { hits[1545] += 1; state += 1; }
else { hits[1545] += y % 13; } }
if (s == 1546) {
if (x % 8 == 2) { hits[1546] += 1; state += 2; }
else { hits[1546] += y % 13; } }
if (s == 1547) {
if (x % 2 == 1) { hits[1547] += 1; state += 3; }
else { hits[1547] += y % 13; } }
if (s == 1548) {
if (x % 3 == 0) { hits[1548] += 1; state += 4; }
else { hits[1548] += y % 13; } }
if (s == 1549) {
if (x % 4 == 1) { hits[1549] += 1; state += 5; }
else { hits[1549] += y % 13; } }
if (s == 1550) {
if (x % 5 == 0) { hits[1550] += 1; state += 1; }
else { hits[1550] += y % 13; } }
if (s == 1551) {
if (x % 6 == 3) { hits[1551] += 1; state += 2; }
else { hits[1551] += y % 13; } }
if (s == 1552) {
if (x % 7 == 5) { hits[1552] += 1; state += 3; }
else { hits[1552] += y % 13; } }
if (s == 1553) {
if (x % 8 == 1) { hits[1553] += 1; state += 4; }
else { hits[1553] += y % 13; } }
if (s == 1554) {
if (x % 2 == 0) { hits[1554] += 1; state += 5; }
else { hits[1554] += y % 13; } }
if (s == 1555) {
if (x % 3 == 1) { hits[1555] += 1; state += 1; }
else { hits[1555] += y % 13; } }
if (s == 1556) {
if (x % 4 == 0) { hits[1556] += 1; state += 2; }
else { hits[1556] += y % 13; } }
if (s == 1557) {
if (x % 5 == 2) { hits[1557] += 1; state += 3; }
else { hits[1557] += y % 13; } }
if (s == 1558) {
if (x % 6 == 4) { hits[1558] += 1; state += 4; }
else { hits[1558] += y % 13; } }
if (s == 1559) {
if (x % 7 == 5) { hits[1559] += 1; state += 5; }
else { hits[1559] += y % 13; } }
if (s == 1560) {
if (x % 8 == 0) { hits[1560] += 1; state += 1; }
else { hits[1560] += y % 13; } }
if (s == 1561) {
if (x % 2 == 1) { hits[1561] += 1; state += 2; }
else { hits[1561] += y % 13; } }
if (s == 1562) {
if (x % 3 == 2) { hits[1562] += 1; state += 3; }
else { hits[1562] += y % 13; } }
if (s == 1563) {
if (x % 4 == 3) { hits[1563] += 1; state += 4; }
else { hits[1563] += y % 13; } }
if (s == 1564) {
if (x % 5 == 4) { hits[1564] += 1; state += 5; }
else { hits[1564] += y % 13; } }
if (s == 1565) {
if (x % 6 == 5) { hits[1565] += 1; state += 1; }
else { hits[1565] += y % 13; } }
if (s == 1566) {
if (x % 7 == 5) { hits[1566] += 1; state += 2; }
else { hits[1566] += y % 13; } }
if (s == 1567) {
if (x % 8 == 7) { hits[1567] += 1; state += 3; }
else { hits[1567] += y % 13; } }
if (s == 1568) {
if (x % 2 == 0) { hits[1568] += 1; state += 4; }
else { hits[1568] += y % 13; } }
if (s == 1569) {
if (x % 3 == 0) { hits[1569] += 1; state += 5; }
else { hits[1569] += y % 13; } }
if (s == 1570) {
if (x % 4 == 2) { hits[1570] += 1; state += 1; }
else { hits[1570] += y % 13; } }
if (s == 1571) {
if (x % 5 == 1) { hits[1571] += 1; state += 2; }
else { hits[1571] += y % 13; } }
if (s == 1572) {
if (x % 6 == 0) { hits[1572] += 1; state += 3; }
else { hits[1572] += y % 13; } }
if (s == 1573) {
if (x % 7 == 5) { hits[1573] += 1; state += 4; }
else { hits[1573] += y % 13; } }
if (s == 1574) {
if (x % 8 == 6) { hits[1574] += 1; state += 5; }
else { hits[1574] += y % 13; } }
if (s == 1575) {
if (x % 2 == 1) { hits[1575] += 1; state += 1; }
else { hits[1575] += y % 13; } }
if (s == 1576) {
if (x % 3 == 1) { hits[1576] += 1; state += 2; }
else { hits[1576] += y % 13; } }
if (s == 1577) {
if (x % 4 == 1) { hits[1577] += 1; state += 3; }
else { hits[1577] += y % 13; } }
if (s == 1578) {
if (x % 5 == 3) { hits[1578] += 1; state += 4; }
else { hits[1578] += y % 13; } }
if (s == 1579) {
if (x % 6 == 1) { hits[1579] += 1; state += 5; }
else { hits[1579] += y % 13; } }
if (s == 1580) {
if (x % 7 == 5) { hits[1580] += 1; state += 1; }
else { hits[1580] += y % 13; } }
if (s == 1581) {
if (x % 8 == 5) { hits[1581] += 1; state += 2; }
else { hits[1581] += y % 13; } }
if (s == 1582) {
if (x % 2 == 0) { hits[1582] += 1; state += 3; }
else { hits[1582] += y % 13; } }
if (s == 1583) {
if (x % 3 == 2) { hits[1583] += 1; state += 4; }
else { hits[1583] += y % 13; } }
if (s == 1584) {
if (x % 4 == 0) { hits[1584] += 1; state += 5; }
else { hits[1584] += y % 13; } }
if (s == 1585) {
if (x % 5 == 0) { hits[1585] += 1; state += 1; }
else { hits[1585] += y % 13; } }
if (s == 1586) {
if (x % 6 == 2) { hits[1586] += 1; state += 2; }
else { hits[1586] += y % 13; } }
if (s == 1587) {
if (x % 7 == 5) { hits[1587] += 1; state += 3; }
else { hits[1587] += y % 13; } }
if (s == 1588) {
if (x % 8 == 4) { hits[1588] += 1; state += 4; }
else { hits[1588] += y % 13; } }
if (s == 1589) {
if (x % 2 == 1) { hits[1589] += 1; state += 5; }
else { hits[1589] += y % 13; } }
if (s == 1590) {
if (x % 3 == 0) { hits[1590] += 1; state += 1; }
else { hits[1590] += y % 13; } }
if (s == 1591) {
if (x % 4 == 3) { hits[1591] += 1; state += 2; }
else { hits[1591] += y % 13; } }
if (s == 1592) {
if (x % 5 == 2) { hits[1592] += 1; state += 3; }
else { hits[1592] += y % 13; } }
if (s == 1593) {
if (x % 6 == 3) { hits[1593] += 1; state += 4; }
else { hits[1593] += y % 13; } }
if (s == 1594) {
if (x % 7 == 5) { hits[1594] += 1; state += 5; }
else { hits[1594] += y % 13; } }
if (s == 1595) {
if (x % 8 == 3) { hits[1595] += 1; state += 1; }
else { hits[1595] += y % 13; } }
if (s == 1596) {
if (x % 2 == 0) { hits[1596] += 1; state += 2; }
else { hits[1596] += y % 13; } }
if (s == 1597) {
if (x % 3 == 1) { hits[1597] += 1; state += 3; }
else { hits[1597] += y % 13; } }
if (s == 1598) {
if (x % 4 == 2) { hits[1598] += 1; state += 4; }
else { hits[1598] += y % 13; } }
if (s == 1599) {
if (x % 5 == 4) { hits[1599] += 1; state += 5; }
else { hits[1599] += y % 13; } }
if (state > reachedCount) reachedCount = state;
}
}
Raw
Target.t.sol
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;
import {Target} from "../src/Target.sol";
// Always-true invariant: we only exercise the campaign/corpus fan-out path, not a real property.
contract TargetInvariant {
Target internal target;
function setUp() public {
target = new Target();
}
function targetContracts() public view returns (address[] memory addrs) {
addrs = new address[](1);
addrs[0] = address(target);
}
function invariant_neverReverts() public view {
assert(target.reachedCount() >= 0);
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment