const uint32_t n_cycles = 1803;
uint32_t cycles[n_cycles] = {3,6,7,8,10,11,12,16,19,23,24,40,42,57,77,83,109,112,116,120,127,144,150,163,168,183,186,189,191,197,198,201,205,208,211,213,221,226,227,230,232,240,242,254,259,260,272,273,278,279,280,285,286,302,308,309,328,332,335,336,337,339,340,341,345,348,352,353,369,371,386,406,412,438,441,445,449,456,473,479,492,497,512,515,518,520,526,527,530,534,537,540,542,550,555,556,559,561,569,571,583,588,589,601,602,607,608,609,614,615,631,637,638,657,661,664,665,666,668,669,670,674,677,681,682,698,700,715,735,741,767,770,774,778,785,802,808,821,826,841,844,847,849,855,856,859,863,866,869,871,879,884,885,888,890,898,900,912,917,918,930,931,936,937,938,943,944,960,966,967,986,990,993,994,995,997,998,999,1003,1006,1010,1011,1027,1029,1044,1064,1070,1096,1099,1103,1107,1114,1131,1137,1150,1155,1170,1173,1176,1178,1184,1185,1188,1192,1195,1198,1200,1208,1213,1214,1217,1219,1227,1229,1241,1246,1247,1259,1260,1265,1266,1267,1272,1273,1289,1295,1296,1315,1319,1322,1323,1324,1326,1327,1328,1332,1335,1339,1340,1356,1358,1373,1393,1399,1425,1428,1432,1436,1443,1460,1466,1479,1484,1499,1502,1505,1507,1513,1514,1517,1521,1524,1527,1529,1537,1542,1543,1546,1548,1556,1558,1570,1575,1576,1588,1589,1594,1595,1596,1601,1602,1618,1624,1625,1644,1648,1651,1652,1653,1655,1656,1657,1661,1664,1668,1669,1685,1687,1702,1722,1728,1754,1757,1761,1765,1772,1789,1795,1808,1813,1828,1831,1834,1836,1842,1843,1846,1850,1853,1856,1858,1866,1871,1872,1875,1877,1885,1887,1899,1904,1905,1917,1918,1923,1924,1925,1930,1931,1947,1953,1954,1973,1977,1980,1981,1982,1984,1985,1986,1990,1993,1997,1998,2014,2016,2031,2051,2057,2083,2086,2090,2094,2101,2118,2124,2137,2142,2157,2160,2163,2165,2171,2172,2175,2179,2182,2185,2187,2195,2200,2201,2204,2206,2214,2216,2228,2233,2234,2246,2247,2252,2253,2254,2259,2260,2276,2282,2283,2302,2306,2309,2310,2311,2313,2314,2315,2319,2322,2326,2327,2343,2345,2360,2380,2386,2412,2415,2419,2423,2430,2447,2453,2466,2471,2486,2489,2492,2494,2500,2501,2504,2508,2511,2514,2516,2524,2529,2530,2533,2535,2543,2545,2557,2562,2563,2575,2576,2581,2582,2583,2588,2589,2605,2611,2612,2631,2635,2638,2639,2640,2642,2643,2644,2648,2651,2655,2656,2672,2674,2689,2709,2715,2741,2744,2748,2752,2759,2776,2782,2795,2800,2815,2818,2821,2823,2829,2830,2833,2837,2840,2843,2845,2853,2858,2859,2862,2864,2872,2874,2886,2891,2892,2904,2905,2910,2911,2912,2917,2918,2934,2940,2941,2960,2964,2967,2968,2969,2971,2972,2973,2977,2980,2984,2985,3001,3003,3018,3038,3044,3070,3073,3077,3081,3088,3105,3111,3124,3129,3144,3147,3150,3152,3158,3159,3162,3166,3169,3172,3174,3182,3187,3188,3191,3193,3201,3203,3215,3220,3221,3233,3234,3239,3240,3241,3246,3247,3263,3269,3270,3289,3293,3296,3297,3298,3300,3301,3302,3306,3309,3313,3314,3330,3332,3347,3367,3373,3399,3402,3406,3410,3417,3434,3440,3453,3458,3473,3476,3479,3481,3487,3488,3491,3495,3498,3501,3503,3511,3516,3517,3520,3522,3530,3532,3544,3549,3550,3562,3563,3568,3569,3570,3575,3576,3592,3598,3599,3618,3622,3625,3626,3627,3629,3630,3631,3635,3638,3642,3643,3659,3661,3676,3696,3702,3728,3731,3735,3739,3746,3763,3769,3782,3787,3802,3805,3808,3810,3816,3817,3820,3824,3827,3830,3832,3840,3845,3846,3849,3851,3859,3861,3873,3878,3879,3891,3892,3897,3898,3899,3904,3905,3921,3927,3928,3947,3951,3954,3955,3956,3958,3959,3960,3964,3967,3971,3972,3988,3990,4005,4025,4031,4057,4060,4064,4068,4075,4092,4098,4111,4116,4131,4134,4137,4139,4145,4146,4149,4153,4156,4159,4161,4169,4174,4175,4178,4180,4188,4190,4202,4207,4208,4220,4221,4226,4227,4228,4233,4234,4250,4256,4257,4276,4280,4283,4284,4285,4287,4288,4289,4293,4296,4300,4301,4317,4319,4334,4354,4360,4386,4389,4393,4397,4404,4421,4427,4440,4445,4460,4463,4466,4468,4474,4475,4478,4482,4485,4488,4490,4498,4503,4504,4507,4509,4517,4519,4531,4536,4537,4549,4550,4555,4556,4557,4562,4563,4579,4585,4586,4605,4609,4612,4613,4614,4616,4617,4618,4622,4625,4629,4630,4646,4648,4663,4683,4689,4715,4718,4722,4726,4733,4750,4756,4769,4774,4789,4792,4795,4797,4803,4804,4807,4811,4814,4817,4819,4827,4832,4833,4836,4838,4846,4848,4860,4865,4866,4878,4879,4884,4885,4886,4891,4892,4908,4914,4915,4934,4938,4941,4942,4943,4945,4946,4947,4951,4954,4958,4959,4975,4977,4992,5012,5018,5044,5047,5051,5055,5062,5079,5085,5098,5103,5118,5121,5124,5126,5132,5133,5136,5140,5143,5146,5148,5156,5161,5162,5165,5167,5175,5177,5189,5194,5195,5207,5208,5213,5214,5215,5220,5221,5237,5243,5244,5263,5267,5270,5271,5272,5274,5275,5276,5280,5283,5287,5288,5304,5306,5321,5341,5347,5373,5376,5380,5384,5391,5408,5414,5427,5432,5447,5450,5453,5455,5461,5462,5465,5469,5472,5475,5477,5485,5490,5491,5494,5496,5504,5506,5518,5523,5524,5536,5537,5542,5543,5544,5549,5550,5566,5572,5573,5592,5596,5599,5600,5601,5603,5604,5605,5609,5612,5616,5617,5633,5635,5650,5670,5676,5702,5705,5709,5713,5720,5737,5743,5756,5761,5776,5779,5782,5784,5790,5791,5794,5798,5801,5804,5806,5814,5819,5820,5823,5825,5833,5835,5847,5852,5853,5865,5866,5871,5872,5873,5878,5879,5895,5901,5902,5921,5925,5928,5929,5930,5932,5933,5934,5938,5941,5945,5946,5962,5964,5979,5999,6005,6031,6034,6038,6042,6049,6066,6072,6085,6090,6105,6108,6111,6113,6119,6120,6123,6127,6130,6133,6135,6143,6148,6149,6152,6154,6162,6164,6176,6181,6182,6194,6195,6200,6201,6202,6207,6208,6224,6230,6231,6250,6254,6257,6258,6259,6261,6262,6263,6267,6270,6274,6275,6291,6293,6308,6328,6334,6360,6363,6367,6371,6378,6395,6401,6414,6419,6434,6437,6440,6442,6448,6449,6452,6456,6459,6462,6464,6472,6477,6478,6481,6483,6491,6493,6505,6510,6511,6523,6524,6529,6530,6531,6536,6537,6553,6559,6560,6579,6583,6586,6587,6588,6590,6591,6592,6596,6599,6603,6604,6620,6622,6637,6657,6663,6689,6692,6696,6700,6707,6724,6730,6743,6748,6763,6766,6769,6771,6777,6778,6781,6785,6788,6791,6793,6801,6806,6807,6810,6812,6820,6822,6834,6839,6840,6852,6853,6858,6859,6860,6865,6866,6882,6888,6889,6908,6912,6915,6916,6917,6919,6920,6921,6925,6928,6932,6933,6949,6951,6966,6986,6992,7018,7021,7025,7029,7036,7053,7059,7072,7077,7092,7095,7098,7100,7106,7107,7110,7114,7117,7120,7122,7130,7135,7136,7139,7141,7149,7151,7163,7168,7169,7181,7182,7187,7188,7189,7194,7195,7211,7217,7218,7237,7241,7244,7245,7246,7248,7249,7250,7254,7257,7261,7262,7278,7280,7295,7315,7321,7347,7350,7354,7358,7365,7382,7388,7401,7406,7421,7424,7427,7429,7435,7436,7439,7443,7446,7449,7451,7459,7464,7465,7468,7470,7478,7480,7492,7497,7498,7510,7511,7516,7517,7518,7523,7524,7540,7546,7547,7566,7570,7573,7574,7575,7577,7578,7579,7583,7586,7590,7591,7607,7609,7624,7644,7650,7676,7679,7683,7687,7694,7711,7717,7730,7735,7750,7753,7756,7758,7764,7765,7768,7772,7775,7778,7780,7788,7793,7794,7797,7799,7807,7809,7821,7826,7827,7839,7840,7845,7846,7847,7852,7853,7869,7875,7876,7895,7899,7902,7903,7904,7906,7907,7908,7912,7915,7919,7920,7936,7938,7953,7973,7979,8005,8008,8012,8016,8023,8040,8046,8059,8064,8079,8082,8085,8087,8093,8094,8097,8101,8104,8107,8109,8117,8122,8123,8126,8128,8136,8138,8150,8155,8156,8168,8169,8174,8175,8176,8181,8182,8198,8204,8205,8224,8228,8231,8232,8233,8235,8236,8237,8241,8244,8248,8249,8265,8267,8282,8302,8308,8334,8337,8341,8345,8352,8369,8375,8388,8393,8408,8411,8414,8416,8422,8423,8426,8430,8433,8436,8438,8446,8451,8452,8455,8457,8465,8467,8479,8484,8485,8497,8498,8503,8504,8505,8510,8511,8527,8533,8534,8553,8557,8560,8561,8562,8564,8565,8566,8570,8573,8577,8578,8594,8596,8611,8631,8637,8663,8666,8670,8674,8681,8698,8704,8717,8722,8737,8740,8743,8745,8751,8752,8755,8759,8762,8765,8767,8775,8780,8781,8784,8786,8794,8796,8808,8813,8814,8826,8827,8832,8833,8834,8839,8840,8856,8862,8863,8882,8886,8889,8890,8891,8893,8894,8895,8899,8902,8906,8907,8923,8925,8940,8960,8966,8992,8995,8999,9003,9010,9027,9033,9046,9051,9066,9069,9072,9074,9080,9081,9084,9088,9091,9094,9096,9104,9109,9110,9113,9115,9123,9125,9137,9142,9143,9155,9156,9161,9162,9163,9168,9169,9185,9191,9192,9211,9215,9218,9219,9220,9222,9223,9224,9228,9231,9235,9236,9252,9254,9269,9289,9295,9321,9324,9328,9332,9339,9356,9362,9375,9380,9395,9398,9401,9403,9409,9410,9413,9417,9420,9423,9425,9433,9438,9439,9442,9444,9452,9454,9466,9471,9472,9484,9485,9490,9491,9492,9497,9498,9514,9520,9521,9540,9544,9547,9548,9549,9551,9552,9553,9557,9560,9564,9565,9581,9583,9598,9618,9624,9650,9653,9657,9661,9668,9685,9691,9704,9709,9724,9727,9730,9732,9738,9739,9742,9746,9749,9752,9754,9762,9767,9768,9771,9773,9781,9783,9795,9800,9801,9813,9814,9819,9820,9821,9826,9827,9843,9849,9850,9869,9873,9876,9877,9878,9880,9881,9882,9886,9889,9893,9894,9910,9912,9927,9947,9953,9979,9982,9986,9990,9997,10014,10020,10033,10038,10053,10056,10059,10061,10067,10068,10071,10075,10078,10081,10083,10091,10096,10097,10100,10102,10110,10112,10124,10129,10130,10142,10143,10148,10149,10150,10155,10156,10172,10178,10179,10198,10202,10205,10206,10207,10209,10210,10211,10215,10218,10222,10223,10239,10241,10256,10276,10282,10308,10311,10315,10319,10326,10343,10349,10362,10367,10382,10385,10388,10390,10396,10397,10400,10404,10407,10410,10412};