testcases:
  - name: "Test Case 1 (Num Min Target Min True)"
    inputs:
      - 1:  [-10000]
      - 2:  -10000
  - name: "Test Case 2 (Num Min Target Min False)"
    inputs:
      - 1:  [1717]
      - 2:  -10000
  - name: "Test Case 12 (Num Min Target Generic True)"
    inputs:
      - 1:  [-8461]
      - 2:  -8461
  - name: "Test Case 22 (Num Min Target Generic False)"
    inputs:
      - 1:  [8840]
      - 2:  0
  - name: "Test Case 32 (Num Min Target Max True)"
    inputs:
      - 1:  [10000]
      - 2:  10000
  - name: "Test Case 33 (Num Min Target Max False)"
    inputs:
      - 1:  [10000]
      - 2:  0
  - name: "Test Case 43 (Num Generic Target Min True)"
    inputs:
      - 1:  [-10000, -9931, -9930, -9905, -9899, -9890, -9835, -9826, -9787, -9783, -9776, -9764, -9751, -9737, -9734, -9728, -9726, -9697, -9692, -9669, -9667, -9593, -9570, -9564, -9519, -9505, -9480, -9467, -9432, -9421, -9382, -9369, -9368, -9336, -9327, -9320, -9262, -9238, -9236, -9199, -9176, -9157, -9152, -9134, -9124, -9093, -9092, -9078, -9074, -9059, -9057, -9047, -9046, -9039, -9038, -9009, -8948, -8946, -8939, -8858, -8838, -8835, -8814, -8813, -8804, -8789, -8786, -8780, -8743, -8717, -8714, -8712, -8660, -8657, -8641, -8637, -8614, -8604, -8591, -8590, -8551, -8550, -8543, -8526, -8484, -8477, -8472, -8471, -8442, -8401, -8394, -8386, -8370, -8336, -8324, -8275, -8273, -8235, -8184, -8164, -8140, -8085, -8068, -8064, -8053, -8040, -8033, -8011, -7987, -7961, -7960, -7959, -7946, -7932, -7920, -7918, -7892, -7879, -7877, -7870, -7862, -7860, -7858, -7855, -7844, -7824, -7823, -7752, -7748, -7714, -7705, -7695, -7689, -7675, -7664, -7652, -7618, -7592, -7570, -7563, -7562, -7560, -7459, -7450, -7408, -7407, -7402, -7347, -7324, -7308, -7300, -7294, -7199, -7198, -7172, -7166, -7164, -7161, -7157, -7150, -7145, -7099, -7060, -7034, -7028, -7008, -6986, -6972, -6954, -6943, -6941, -6914, -6904, -6800, -6778, -6764, -6745, -6725, -6690, -6685, -6631, -6626, -6584, -6548, -6520, -6486, -6467, -6435, -6420, -6418, -6397, -6380, -6274, -6271, -6258, -6225, -6183, -6140, -6134, -6122, -6103, -6076, -6068, -6010, -5990, -5968, -5955, -5947, -5941, -5911, -5900, -5895, -5893, -5867, -5802, -5791, -5766, -5679, -5672, -5667, -5653, -5648, -5626, -5582, -5581, -5567, -5557, -5545, -5518, -5506, -5502, -5491, -5444, -5428, -5419, -5385, -5364, -5356, -5297, -5263, -5238, -5199, -5175, -5164, -5141, -5125, -5115, -5095, -5085, -5064, -5014, -4999, -4992, -4985, -4973, -4951, -4920, -4876, -4862, -4858, -4856, -4852, -4837, -4831, -4819, -4771, -4758, -4755, -4706, -4694, -4681, -4657, -4612, -4598, -4597, -4580, -4576, -4532, -4496, -4480, -4350, -4348, -4343, -4300, -4282, -4262, -4256, -4255, -4211, -4198, -4183, -4173, -4147, -4125, -4089, -4081, -4059, -4046, -3992, -3990, -3965, -3949, -3926, -3918, -3863, -3861, -3857, -3853, -3829, -3822, -3821, -3778, -3770, -3753, -3749, -3723, -3658, -3654, -3653, -3648, -3640, -3566, -3563, -3544, -3539, -3509, -3442, -3408, -3398, -3368, -3366, -3316, -3315, -3314, -3312, -3293, -3274, -3261, -3252, -3194, -3184, -3183, -3170, -3155, -3107, -3061, -3054, -3050, -3019, -3013, -2967, -2946, -2909, -2851, -2843, -2826, -2802, -2792, -2772, -2747, -2741, -2737, -2726, -2707, -2678, -2625, -2592, -2590, -2585, -2573, -2572, -2536, -2535, -2534, -2510, -2497, -2494, -2486, -2465, -2436, -2429, -2423, -2359, -2358, -2356, -2312, -2308, -2305, -2303, -2291, -2283, -2243, -2232, -2225, -2222, -2214, -2132, -2118, -2082, -2075, -1986, -1966, -1963, -1962, -1944, -1936, -1926, -1899, -1881, -1856, -1830, -1828, -1825, -1804, -1799, -1793, -1776, -1762, -1756, -1755, -1709, -1628, -1614, -1602, -1567, -1536, -1512, -1511, -1508, -1497, -1475, -1469, -1463, -1462, -1421, -1416, -1406, -1404, -1375, -1332, -1320, -1294, -1261, -1244, -1224, -1199, -1188, -1187, -1182, -1151, -1106, -1059, -1020, -1009, -1008, -994, -991, -982, -935, -930, -916, -827, -821, -807, -801, -798, -783, -772, -769, -738, -712, -703, -685, -678, -644, -635, -616, -605, -573, -545, -520, -504, -491, -487, -442, -429, -425, -420, -389, -377, -331, -328, -221, -214, -193, -149, -124, -120, -117, -108, -96, -85, -81, -48, -42, -34, -9, -1, 42, 98, 116, 135, 137, 144, 183, 196, 199, 209, 213, 278, 311, 324, 337, 339, 388, 393, 396, 400, 417, 488, 498, 523, 547, 630, 635, 668, 670, 703, 704, 714, 721, 734, 739, 754, 777, 823, 844, 847, 899, 906, 925, 932, 954, 1019, 1022, 1092, 1105, 1113, 1128, 1134, 1173, 1192, 1242, 1256, 1260, 1326, 1327, 1356, 1357, 1363, 1366, 1376, 1378, 1379, 1381, 1394, 1421, 1450, 1453, 1466, 1478, 1501, 1510, 1523, 1528, 1534, 1542, 1581, 1609, 1632, 1657, 1708, 1756, 1761, 1832, 1841, 1851, 1893, 1917, 1928, 1946, 1951, 1964, 1984, 2009, 2013, 2015, 2023, 2042, 2088, 2094, 2111, 2133, 2137, 2148, 2162, 2163, 2173, 2179, 2213, 2254, 2268, 2372, 2428, 2513, 2550, 2584, 2597, 2603, 2625, 2644, 2674, 2694, 2706, 2725, 2731, 2733, 2740, 2748, 2772, 2818, 2848, 2859, 2883, 2909, 2916, 2927, 2948, 2971, 3007, 3026, 3047, 3073, 3113, 3158, 3180, 3207, 3216, 3243, 3271, 3286, 3296, 3301, 3342, 3349, 3367, 3377, 3404, 3441, 3453, 3472, 3506, 3552, 3560, 3587, 3589, 3602, 3612, 3620, 3623, 3625, 3645, 3672, 3680, 3713, 3723, 3757, 3774, 3801, 3826, 3866, 3886, 3906, 3928, 4027, 4126, 4206, 4236, 4267, 4271, 4309, 4349, 4360, 4376, 4393, 4422, 4460, 4484, 4568, 4625, 4638, 4642, 4650, 4656, 4690, 4738, 4766, 4822, 4823, 4850, 4879, 4881, 4882, 4885, 4897, 4935, 4942, 4964, 5024, 5030, 5046, 5055, 5059, 5068, 5081, 5089, 5112, 5159, 5162, 5171, 5181, 5186, 5193, 5205, 5210, 5275, 5284, 5311, 5374, 5375, 5411, 5413, 5433, 5441, 5491, 5503, 5514, 5540, 5570, 5577, 5592, 5598, 5613, 5632, 5701, 5728, 5749, 5782, 5845, 5862, 5876, 5877, 5893, 5896, 5932, 5956, 5958, 5972, 5979, 5984, 6001, 6006, 6013, 6045, 6055, 6057, 6060, 6069, 6145, 6163, 6170, 6174, 6183, 6185, 6190, 6221, 6225, 6245, 6246, 6308, 6314, 6393, 6395, 6407, 6421, 6443, 6492, 6521, 6535, 6556, 6579, 6588, 6712, 6713, 6716, 6776, 6782, 6819, 6824, 6855, 6862, 6863, 6949, 6950, 6960, 7053, 7078, 7119, 7132, 7138, 7166, 7181, 7182, 7188, 7189, 7191, 7214, 7226, 7246, 7265, 7315, 7324, 7361, 7362, 7364, 7382, 7401, 7409, 7478, 7482, 7483, 7542, 7563, 7575, 7582, 7600, 7634, 7671, 7678, 7684, 7699, 7712, 7713, 7755, 7833, 7884, 7885, 7890, 7911, 7923, 7927, 7930, 7940, 7943, 7988, 8017, 8076, 8079, 8093, 8102, 8114, 8153, 8160, 8228, 8247, 8285, 8289, 8323, 8332, 8342, 8343, 8351, 8354, 8374, 8380, 8385, 8396, 8411, 8463, 8538, 8581, 8591, 8596, 8648, 8666, 8668, 8680, 8686, 8703, 8704, 8714, 8739, 8767, 8788, 8804, 8835, 8836, 8842, 8854, 8893, 8895, 8939, 8960, 8961, 8977, 8990, 9029, 9046, 9062, 9063, 9069, 9083, 9127, 9156, 9158, 9168, 9198, 9221, 9222, 9248, 9262, 9297, 9298, 9341, 9342, 9387, 9388, 9400, 9421, 9546, 9558, 9569, 9580, 9591, 9611, 9646, 9652, 9675, 9743, 9753, 9756, 9763, 9765, 9766, 9782, 9815, 9820, 9834, 9837, 9887, 9920, 9951, 9953, 9969, 9983, 9992]
      - 2:  -10000
  - name: "Test Case 53 (Num Generic Target Min False)"
    inputs:
      - 1:  [-9958, -9936, -9926, -9905, -9896, -9888, -9807, -9737, -9711, -9644, -9639, -9599, -9544, -9530, -9522, -9500, -9491, -9466, -9444, -9439, -9427, -9402, -9348, -9343, -9305, -9258, -9208, -9202, -9190, -9171, -9141, -9133, -9131, -9114, -9058, -9040, -9018, -8961, -8947, -8929, -8928, -8908, -8883, -8880, -8864, -8788, -8753, -8743, -8742, -8732, -8717, -8701, -8679, -8677, -8641, -8618, -8595, -8583, -8551, -8547, -8546, -8482, -8461, -8452, -8444, -8425, -8414, -8391, -8360, -8319, -8286, -8259, -8230, -8227, -8225, -8190, -8178, -8154, -8113, -8103, -8093, -8034, -8004, -7991, -7945, -7857, -7849, -7828, -7826, -7824, -7806, -7800, -7740, -7630, -7628, -7604, -7597, -7572, -7525, -7507, -7505, -7439, -7424, -7413, -7408, -7369, -7322, -7316, -7315, -7268, -7240, -7227, -7220, -7217, -7206, -7195, -7190, -7125, -7113, -7090, -7075, -7073, -7052, -7003, -6973, -6971, -6931, -6903, -6883, -6879, -6877, -6845, -6838, -6831, -6817, -6748, -6721, -6707, -6698, -6633, -6609, -6607, -6558, -6551, -6550, -6548, -6542, -6540, -6523, -6429, -6426, -6419, -6372, -6369, -6297, -6259, -6211, -6204, -6202, -6194, -6189, -6187, -6166, -6157, -6154, -6141, -6084, -6078, -6066, -6055, -6039, -6035, -6031, -6030, -6002, -5986, -5983, -5932, -5918, -5886, -5868, -5854, -5843, -5829, -5813, -5791, -5786, -5773, -5746, -5731, -5684, -5674, -5660, -5653, -5650, -5647, -5629, -5626, -5604, -5603, -5564, -5562, -5559, -5523, -5518, -5487, -5472, -5415, -5400, -5398, -5396, -5388, -5325, -5281, -5270, -5225, -5188, -5170, -5167, -5161, -5158, -5134, -5123, -5094, -5064, -5058, -5048, -5033, -5009, -5008, -4961, -4952, -4948, -4946, -4939, -4938, -4935, -4903, -4834, -4815, -4806, -4790, -4758, -4731, -4723, -4716, -4712, -4542, -4530, -4516, -4472, -4415, -4393, -4355, -4338, -4297, -4281, -4235, -4228, -4188, -4173, -4137, -4101, -4069, -4046, -4045, -4042, -4018, -4009, -3952, -3930, -3885, -3871, -3839, -3788, -3781, -3780, -3777, -3760, -3759, -3729, -3727, -3721, -3667, -3603, -3590, -3564, -3529, -3481, -3477, -3476, -3447, -3443, -3402, -3395, -3376, -3363, -3359, -3320, -3306, -3290, -3255, -3205, -3106, -3072, -3057, -3052, -3037, -3032, -3027, -2999, -2974, -2971, -2966, -2962, -2937, -2933, -2913, -2906, -2868, -2862, -2815, -2813, -2812, -2806, -2803, -2795, -2760, -2739, -2726, -2674, -2656, -2650, -2603, -2582, -2560, -2556, -2545, -2530, -2520, -2495, -2490, -2410, -2409, -2402, -2394, -2389, -2376, -2363, -2298, -2266, -2211, -2205, -2199, -2190, -2180, -2161, -2144, -2118, -2068, -2063, -2057, -2049, -2005, -1970, -1947, -1942, -1937, -1921, -1915, -1904, -1861, -1859, -1853, -1851, -1819, -1812, -1775, -1770, -1745, -1722, -1667, -1662, -1634, -1632, -1630, -1594, -1579, -1575, -1564, -1539, -1536, -1525, -1460, -1454, -1444, -1399, -1394, -1393, -1389, -1386, -1379, -1344, -1313, -1301, -1294, -1288, -1287, -1281, -1279, -1224, -1193, -1134, -1129, -1056, -1038, -1018, -876, -851, -845, -827, -743, -701, -700, -675, -651, -630, -629, -615, -606, -593, -563, -551, -526, -507, -491, -428, -416, -412, -407, -397, -393, -360, -358, -340, -306, -268, -265, -247, -243, -239, -236, -232, -229, -208, -193, -192, -189, -184, -156, -154, -144, -131, -68, -39, -36, -16, 22, 48, 56, 61, 67, 131, 173, 212, 230, 240, 256, 258, 286, 307, 308, 337, 338, 347, 401, 403, 418, 421, 461, 489, 518, 566, 575, 581, 635, 643, 676, 750, 801, 825, 826, 840, 846, 863, 866, 964, 982, 1019, 1034, 1068, 1071, 1087, 1117, 1152, 1165, 1173, 1187, 1191, 1211, 1213, 1236, 1279, 1288, 1296, 1312, 1320, 1327, 1331, 1332, 1342, 1377, 1380, 1383, 1427, 1463, 1465, 1483, 1502, 1521, 1545, 1553, 1561, 1578, 1585, 1591, 1595, 1597, 1600, 1601, 1615, 1619, 1641, 1666, 1668, 1672, 1694, 1752, 1756, 1767, 1802, 1815, 1853, 1858, 1881, 1883, 1891, 1900, 1902, 1921, 1931, 1973, 1984, 1988, 2039, 2068, 2080, 2095, 2118, 2133, 2147, 2152, 2165, 2192, 2197, 2227, 2259, 2300, 2321, 2326, 2332, 2345, 2412, 2421, 2433, 2451, 2460, 2461, 2474, 2484, 2495, 2537, 2548, 2550, 2557, 2592, 2619, 2622, 2623, 2656, 2730, 2760, 2776, 2780, 2790, 2796, 2804, 2815, 2847, 2872, 2882, 2884, 2898, 2904, 2913, 2940, 2986, 2989, 3004, 3054, 3082, 3095, 3173, 3179, 3191, 3205, 3244, 3255, 3272, 3287, 3306, 3308, 3312, 3313, 3316, 3338, 3393, 3399, 3523, 3617, 3622, 3632, 3649, 3660, 3678, 3688, 3710, 3729, 3732, 3778, 3781, 3787, 3844, 3895, 3922, 3932, 3941, 3952, 3981, 4001, 4038, 4046, 4047, 4048, 4063, 4120, 4138, 4154, 4162, 4190, 4191, 4211, 4222, 4232, 4250, 4260, 4263, 4302, 4348, 4355, 4368, 4398, 4425, 4446, 4498, 4502, 4520, 4537, 4542, 4561, 4564, 4569, 4602, 4643, 4655, 4666, 4683, 4688, 4692, 4727, 4736, 4752, 4756, 4758, 4763, 4776, 4822, 4830, 4842, 4848, 4867, 4873, 4874, 4889, 4933, 4950, 4958, 4968, 4973, 5022, 5048, 5074, 5110, 5118, 5124, 5149, 5191, 5216, 5226, 5227, 5242, 5266, 5275, 5295, 5299, 5396, 5405, 5406, 5427, 5481, 5484, 5488, 5489, 5492, 5517, 5556, 5572, 5578, 5587, 5588, 5595, 5610, 5618, 5626, 5629, 5646, 5647, 5653, 5678, 5697, 5713, 5732, 5816, 5817, 5823, 5857, 5883, 5895, 5898, 5997, 6034, 6073, 6077, 6121, 6150, 6156, 6164, 6202, 6218, 6274, 6277, 6333, 6357, 6370, 6385, 6427, 6435, 6467, 6469, 6499, 6518, 6523, 6553, 6560, 6570, 6580, 6582, 6587, 6617, 6629, 6636, 6696, 6703, 6736, 6750, 6760, 6763, 6764, 6793, 6815, 6821, 6827, 6834, 6880, 6892, 6943, 6966, 7003, 7035, 7070, 7097, 7137, 7178, 7179, 7254, 7255, 7284, 7298, 7342, 7351, 7380, 7403, 7423, 7442, 7482, 7506, 7525, 7526, 7548, 7549, 7584, 7594, 7608, 7618, 7620, 7646, 7698, 7707, 7710, 7753, 7768, 7771, 7783, 7795, 7801, 7817, 7821, 7832, 7844, 7877, 7892, 7904, 7929, 7942, 7949, 7964, 7974, 7984, 8007, 8016, 8055, 8058, 8075, 8089, 8096, 8159, 8182, 8253, 8263, 8270, 8322, 8329, 8347, 8351, 8355, 8359, 8372, 8390, 8406, 8421, 8436, 8482, 8536, 8538, 8551, 8565, 8567, 8585, 8608, 8634, 8643, 8654, 8684, 8732, 8751, 8767, 8793, 8812, 8846, 8854, 8869, 8918, 8927, 8942, 8979, 8991, 9002, 9003, 9043, 9096, 9114, 9121, 9159, 9258, 9273, 9282, 9291, 9293, 9310, 9323, 9363, 9364, 9412, 9416, 9471, 9492, 9528, 9540, 9578, 9599, 9612, 9633, 9639, 9649, 9668, 9670, 9676, 9712, 9723, 9733, 9744, 9754, 9798, 9808, 9813, 9836, 9842, 9850, 9862, 9870, 9922, 9951, 9956, 9957, 9976, 9984]
      - 2:  -10000
  - name: "Test Case 63 (Num Generic Target Generic True)"
    inputs:
      - 1:  [-9991, -9988, -9969, -9896, -9859, -9858, -9844, -9746, -9745, -9705, -9678, -9665, -9617, -9605, -9581, -9574, -9561, -9527, -9498, -9436, -9408, -9404, -9400, -9391, -9291, -9288, -9280, -9274, -9273, -9269, -9268, -9259, -9250, -9178, -9155, -9127, -9026, -9009, -8995, -8961, -8960, -8954, -8921, -8866, -8831, -8818, -8799, -8787, -8721, -8720, -8681, -8653, -8643, -8632, -8593, -8575, -8569, -8555, -8552, -8497, -8490, -8486, -8481, -8432, -8416, -8395, -8369, -8343, -8329, -8291, -8288, -8265, -8197, -8172, -8155, -8122, -8119, -8118, -8108, -8081, -8077, -8070, -8068, -8045, -8018, -8014, -8010, -8007, -7971, -7954, -7935, -7876, -7820, -7808, -7792, -7781, -7780, -7760, -7734, -7731, -7711, -7698, -7694, -7692, -7666, -7658, -7655, -7605, -7595, -7532, -7506, -7496, -7399, -7389, -7374, -7322, -7309, -7299, -7284, -7268, -7248, -7233, -7176, -7156, -7084, -7083, -7070, -7018, -6990, -6987, -6984, -6974, -6955, -6954, -6935, -6920, -6914, -6913, -6910, -6909, -6884, -6787, -6766, -6707, -6692, -6690, -6676, -6669, -6636, -6614, -6610, -6598, -6594, -6575, -6549, -6544, -6505, -6494, -6485, -6473, -6454, -6451, -6445, -6429, -6423, -6401, -6386, -6379, -6375, -6372, -6371, -6366, -6360, -6292, -6281, -6259, -6223, -6197, -6186, -6122, -6121, -6077, -6070, -6038, -6017, -6000, -5991, -5989, -5930, -5929, -5921, -5884, -5880, -5856, -5803, -5763, -5738, -5737, -5700, -5688, -5685, -5672, -5644, -5622, -5610, -5605, -5588, -5565, -5550, -5548, -5510, -5500, -5415, -5338, -5323, -5305, -5259, -5249, -5184, -5183, -5168, -5153, -5132, -5081, -5076, -5013, -4982, -4969, -4947, -4920, -4899, -4883, -4856, -4844, -4838, -4817, -4746, -4708, -4704, -4698, -4682, -4681, -4668, -4632, -4625, -4619, -4602, -4559, -4543, -4540, -4530, -4521, -4520, -4512, -4464, -4412, -4407, -4357, -4293, -4265, -4259, -4249, -4218, -4185, -4180, -4161, -4119, -4118, -4105, -4051, -4047, -4007, -3982, -3911, -3899, -3888, -3887, -3885, -3806, -3790, -3758, -3753, -3744, -3693, -3607, -3594, -3518, -3512, -3509, -3459, -3420, -3418, -3383, -3378, -3363, -3352, -3334, -3309, -3294, -3283, -3274, -3261, -3242, -3236, -3230, -3223, -3216, -3190, -3177, -3164, -3161, -3143, -3132, -3051, -3040, -2989, -2945, -2913, -2910, -2883, -2876, -2855, -2823, -2819, -2809, -2796, -2726, -2687, -2686, -2670, -2642, -2549, -2540, -2530, -2522, -2512, -2486, -2478, -2469, -2468, -2459, -2428, -2423, -2398, -2395, -2394, -2387, -2298, -2289, -2282, -2251, -2244, -2230, -2229, -2191, -2169, -2155, -2109, -2091, -2040, -2031, -2021, -1992, -1991, -1987, -1980, -1973, -1951, -1900, -1895, -1865, -1742, -1717, -1674, -1656, -1645, -1613, -1608, -1567, -1556, -1554, -1520, -1515, -1507, -1502, -1493, -1463, -1456, -1435, -1405, -1374, -1337, -1336, -1331, -1316, -1297, -1273, -1237, -1232, -1228, -1181, -1161, -1146, -1138, -1132, -1116, -1077, -1075, -1011, -971, -935, -899, -898, -873, -861, -822, -810, -782, -778, -743, -736, -720, -716, -704, -696, -695, -604, -596, -560, -559, -549, -548, -524, -522, -515, -491, -481, -451, -421, -412, -401, -366, -328, -298, -276, -274, -244, -227, -222, -212, -203, -156, -141, -128, -120, -113, -111, -90, -81, -51, -36, -34, 15, 23, 31, 32, 80, 95, 98, 129, 147, 205, 209, 229, 232, 245, 263, 286, 305, 317, 318, 352, 371, 384, 399, 403, 409, 414, 415, 424, 439, 472, 503, 512, 542, 601, 602, 610, 633, 652, 687, 688, 714, 718, 733, 748, 772, 791, 794, 832, 834, 839, 848, 862, 891, 901, 928, 935, 951, 1007, 1027, 1038, 1066, 1067, 1129, 1166, 1193, 1229, 1268, 1274, 1281, 1313, 1322, 1337, 1365, 1369, 1414, 1417, 1422, 1424, 1506, 1513, 1519, 1536, 1538, 1542, 1553, 1559, 1574, 1585, 1612, 1624, 1628, 1680, 1704, 1707, 1723, 1788, 1790, 1829, 1838, 1862, 1879, 1882, 1890, 1953, 1954, 1969, 1990, 1991, 1996, 2070, 2103, 2110, 2111, 2119, 2132, 2143, 2144, 2145, 2153, 2170, 2173, 2233, 2250, 2275, 2282, 2299, 2306, 2322, 2335, 2359, 2399, 2406, 2407, 2413, 2425, 2430, 2503, 2509, 2510, 2520, 2566, 2567, 2593, 2595, 2597, 2603, 2623, 2626, 2631, 2688, 2694, 2721, 2744, 2756, 2764, 2790, 2793, 2858, 2862, 2863, 2868, 2880, 2889, 2997, 3008, 3009, 3021, 3028, 3045, 3048, 3062, 3095, 3150, 3166, 3170, 3188, 3227, 3231, 3239, 3263, 3265, 3306, 3307, 3316, 3339, 3347, 3366, 3406, 3430, 3441, 3453, 3463, 3470, 3482, 3488, 3489, 3526, 3529, 3535, 3555, 3565, 3588, 3619, 3631, 3650, 3714, 3742, 3745, 3773, 3826, 3846, 3848, 3906, 3911, 3955, 3985, 4041, 4073, 4120, 4137, 4147, 4159, 4165, 4180, 4200, 4234, 4247, 4249, 4252, 4259, 4269, 4280, 4299, 4300, 4312, 4334, 4357, 4361, 4370, 4374, 4376, 4380, 4384, 4386, 4388, 4389, 4407, 4418, 4470, 4521, 4545, 4568, 4594, 4603, 4610, 4704, 4742, 4811, 4822, 4836, 4854, 4888, 4894, 4928, 4944, 5004, 5033, 5041, 5052, 5066, 5071, 5075, 5115, 5151, 5169, 5205, 5244, 5250, 5266, 5283, 5363, 5366, 5388, 5465, 5595, 5605, 5616, 5638, 5666, 5672, 5698, 5753, 5773, 5774, 5791, 5793, 5794, 5795, 5803, 5817, 5835, 5836, 5839, 5867, 5947, 5970, 5994, 6016, 6029, 6043, 6057, 6135, 6141, 6144, 6190, 6223, 6228, 6251, 6307, 6308, 6317, 6348, 6350, 6368, 6379, 6407, 6409, 6411, 6448, 6452, 6460, 6545, 6559, 6622, 6623, 6624, 6636, 6710, 6809, 6854, 6910, 6922, 6925, 6936, 6939, 6942, 6953, 6963, 6970, 6976, 6978, 7040, 7055, 7065, 7090, 7104, 7119, 7174, 7181, 7183, 7198, 7211, 7221, 7242, 7243, 7277, 7285, 7297, 7318, 7346, 7369, 7373, 7392, 7412, 7413, 7441, 7472, 7480, 7504, 7520, 7531, 7545, 7569, 7598, 7601, 7631, 7642, 7667, 7692, 7703, 7719, 7729, 7799, 7813, 7827, 7862, 7886, 7903, 7914, 7931, 7932, 7939, 7955, 7956, 7986, 8023, 8040, 8054, 8059, 8070, 8071, 8104, 8113, 8120, 8125, 8197, 8235, 8236, 8242, 8283, 8308, 8327, 8358, 8364, 8382, 8406, 8425, 8436, 8438, 8443, 8457, 8464, 8474, 8490, 8516, 8586, 8633, 8636, 8654, 8671, 8685, 8696, 8731, 8759, 8777, 8814, 8825, 8829, 8888, 8931, 8941, 8987, 8991, 8998, 9028, 9047, 9048, 9080, 9094, 9100, 9112, 9151, 9155, 9185, 9186, 9204, 9216, 9225, 9271, 9284, 9292, 9294, 9339, 9342, 9375, 9376, 9382, 9390, 9396, 9408, 9422, 9452, 9464, 9487, 9503, 9506, 9549, 9553, 9555, 9556, 9557, 9574, 9579, 9607, 9614, 9673, 9680, 9706, 9713, 9718, 9752, 9781, 9809, 9819, 9821, 9853, 9874, 9925, 9931, 9967, 9972, 9996]
      - 2:  5071
  - name: "Test Case 73 (Num Generic Target Generic False)"
    inputs:
      - 1:  [-9991, -9976, -9975, -9949, -9943, -9939, -9920, -9909, -9902, -9881, -9869, -9868, -9865, -9852, -9826, -9824, -9819, -9815, -9755, -9706, -9687, -9669, -9641, -9605, -9550, -9511, -9474, -9444, -9441, -9412, -9403, -9370, -9306, -9289, -9270, -9250, -9237, -9198, -9167, -9123, -9116, -9105, -9104, -9082, -9077, -9053, -9028, -9023, -9021, -9015, -9012, -8973, -8951, -8944, -8932, -8930, -8920, -8908, -8901, -8887, -8886, -8885, -8880, -8864, -8841, -8829, -8825, -8804, -8780, -8770, -8769, -8729, -8708, -8698, -8690, -8673, -8640, -8632, -8604, -8603, -8583, -8573, -8561, -8553, -8534, -8523, -8496, -8494, -8476, -8458, -8422, -8362, -8347, -8339, -8316, -8312, -8279, -8256, -8205, -8185, -8184, -8174, -8153, -8149, -8133, -8132, -8128, -8090, -8085, -8056, -8054, -8024, -8018, -8012, -7998, -7995, -7944, -7936, -7901, -7844, -7834, -7804, -7784, -7774, -7765, -7764, -7745, -7744, -7715, -7681, -7670, -7640, -7576, -7550, -7514, -7510, -7509, -7491, -7480, -7475, -7470, -7424, -7365, -7356, -7310, -7309, -7290, -7288, -7234, -7232, -7219, -7211, -7189, -7110, -7107, -7032, -7025, -6970, -6962, -6959, -6936, -6921, -6905, -6899, -6897, -6869, -6861, -6840, -6838, -6835, -6808, -6800, -6786, -6757, -6734, -6710, -6708, -6695, -6681, -6648, -6631, -6618, -6616, -6598, -6574, -6535, -6523, -6483, -6471, -6470, -6462, -6461, -6395, -6379, -6376, -6323, -6314, -6286, -6259, -6250, -6248, -6220, -6209, -6177, -6161, -6157, -6118, -6101, -6084, -6061, -6044, -6028, -6027, -6026, -5959, -5950, -5924, -5923, -5921, -5873, -5872, -5852, -5844, -5832, -5831, -5827, -5809, -5805, -5780, -5777, -5759, -5739, -5737, -5709, -5703, -5690, -5676, -5657, -5637, -5622, -5606, -5589, -5588, -5569, -5557, -5528, -5499, -5479, -5459, -5429, -5410, -5398, -5395, -5380, -5317, -5315, -5294, -5282, -5272, -5170, -5167, -5164, -5162, -5094, -5084, -5073, -5054, -5050, -5044, -5040, -5018, -4994, -4933, -4911, -4847, -4841, -4837, -4836, -4813, -4805, -4736, -4717, -4710, -4685, -4669, -4644, -4641, -4634, -4621, -4569, -4567, -4550, -4482, -4477, -4473, -4454, -4452, -4450, -4446, -4443, -4437, -4436, -4431, -4420, -4416, -4402, -4327, -4267, -4225, -4200, -4184, -4179, -4174, -4154, -4151, -4113, -4105, -4001, -3968, -3939, -3913, -3909, -3855, -3804, -3776, -3764, -3729, -3673, -3654, -3647, -3619, -3602, -3534, -3521, -3509, -3496, -3479, -3437, -3398, -3395, -3355, -3311, -3309, -3273, -3271, -3215, -3145, -3144, -3068, -3018, -2985, -2975, -2970, -2953, -2951, -2930, -2874, -2862, -2847, -2841, -2837, -2825, -2775, -2725, -2709, -2706, -2643, -2590, -2583, -2575, -2574, -2567, -2486, -2478, -2461, -2440, -2434, -2432, -2409, -2406, -2378, -2370, -2360, -2324, -2308, -2300, -2278, -2263, -2145, -2120, -2090, -2089, -2067, -2056, -2043, -2041, -2030, -2029, -2021, -2020, -2016, -1935, -1884, -1851, -1838, -1837, -1794, -1792, -1774, -1695, -1694, -1684, -1646, -1643, -1633, -1613, -1600, -1591, -1564, -1551, -1541, -1520, -1516, -1514, -1472, -1470, -1465, -1455, -1438, -1404, -1401, -1374, -1343, -1316, -1258, -1185, -1177, -1175, -1164, -1134, -1113, -1105, -1104, -1050, -1047, -1039, -1021, -1013, -1010, -1009, -975, -960, -946, -936, -890, -862, -788, -760, -758, -730, -724, -706, -683, -594, -588, -572, -513, -512, -509, -501, -496, -472, -471, -461, -447, -392, -381, -375, -373, -370, -339, -338, -329, -320, -299, -293, -257, -244, -241, -185, -169, -149, -122, -92, -88, -21, -7, 33, 46, 59, 61, 70, 95, 155, 182, 203, 205, 212, 240, 259, 265, 305, 307, 324, 330, 333, 435, 441, 512, 530, 547, 558, 600, 603, 620, 655, 668, 693, 719, 736, 770, 794, 797, 812, 817, 844, 871, 885, 900, 903, 914, 917, 930, 937, 943, 952, 969, 990, 997, 1014, 1028, 1037, 1041, 1074, 1075, 1112, 1117, 1131, 1135, 1146, 1165, 1168, 1175, 1199, 1261, 1274, 1285, 1322, 1329, 1338, 1341, 1342, 1350, 1359, 1405, 1412, 1427, 1430, 1437, 1443, 1505, 1543, 1618, 1633, 1643, 1667, 1669, 1695, 1782, 1796, 1808, 1820, 1825, 1832, 1835, 1858, 1866, 1943, 1946, 1956, 1974, 1975, 1992, 1995, 2056, 2070, 2090, 2118, 2145, 2163, 2190, 2194, 2197, 2230, 2254, 2257, 2262, 2274, 2289, 2292, 2315, 2334, 2388, 2396, 2426, 2443, 2456, 2478, 2483, 2487, 2513, 2556, 2620, 2696, 2720, 2722, 2777, 2836, 2846, 2880, 2919, 2920, 2966, 2974, 3074, 3085, 3118, 3128, 3132, 3153, 3179, 3180, 3240, 3264, 3285, 3287, 3320, 3340, 3371, 3410, 3415, 3446, 3493, 3535, 3564, 3567, 3634, 3645, 3654, 3694, 3713, 3740, 3781, 3796, 3805, 3825, 3882, 3976, 3986, 3989, 4048, 4060, 4075, 4139, 4157, 4178, 4180, 4187, 4195, 4201, 4243, 4244, 4253, 4268, 4284, 4292, 4303, 4309, 4340, 4345, 4352, 4371, 4388, 4403, 4414, 4425, 4466, 4495, 4558, 4631, 4684, 4692, 4726, 4782, 4798, 4825, 4836, 4846, 4849, 4854, 4870, 4899, 4901, 5123, 5156, 5159, 5161, 5198, 5219, 5234, 5237, 5250, 5271, 5295, 5298, 5304, 5315, 5317, 5322, 5330, 5336, 5337, 5341, 5357, 5395, 5427, 5445, 5480, 5499, 5505, 5545, 5567, 5575, 5610, 5622, 5631, 5634, 5665, 5710, 5726, 5753, 5767, 5777, 5845, 5847, 5875, 5883, 5897, 5922, 5939, 5942, 5982, 6002, 6049, 6061, 6062, 6072, 6080, 6085, 6106, 6145, 6151, 6159, 6160, 6165, 6172, 6176, 6179, 6183, 6281, 6292, 6302, 6318, 6326, 6334, 6364, 6397, 6398, 6405, 6436, 6451, 6457, 6468, 6474, 6487, 6495, 6557, 6569, 6587, 6617, 6639, 6709, 6718, 6776, 6816, 6831, 6835, 6841, 6849, 6855, 6857, 6892, 6905, 6937, 6967, 6986, 7000, 7016, 7028, 7054, 7066, 7078, 7143, 7199, 7200, 7226, 7266, 7271, 7280, 7286, 7290, 7312, 7325, 7326, 7328, 7401, 7404, 7422, 7453, 7515, 7525, 7551, 7579, 7590, 7612, 7629, 7663, 7664, 7668, 7773, 7781, 7820, 7833, 7849, 7863, 7870, 7898, 7905, 7910, 7975, 7976, 7992, 8025, 8066, 8086, 8087, 8090, 8099, 8105, 8112, 8185, 8220, 8227, 8255, 8278, 8289, 8328, 8338, 8371, 8405, 8428, 8477, 8556, 8580, 8590, 8616, 8630, 8633, 8672, 8674, 8687, 8693, 8695, 8726, 8751, 8768, 8789, 8794, 8817, 8837, 8853, 8887, 8921, 8923, 8943, 8982, 8984, 8999, 9046, 9088, 9107, 9144, 9151, 9158, 9181, 9186, 9191, 9193, 9194, 9202, 9214, 9235, 9237, 9257, 9266, 9293, 9337, 9397, 9404, 9425, 9428, 9455, 9461, 9474, 9478, 9496, 9516, 9531, 9536, 9600, 9654, 9662, 9673, 9679, 9723, 9787, 9817, 9820, 9835, 9859, 9868, 9888, 9926, 9928, 9955, 9974, 9975]
      - 2:  316
  - name: "Test Case 83 (Num Generic Target Max True)"
    inputs:
      - 1:  [-9959, -9902, -9877, -9874, -9861, -9822, -9796, -9791, -9790, -9774, -9763, -9761, -9755, -9704, -9696, -9683, -9670, -9653, -9641, -9624, -9623, -9618, -9602, -9593, -9570, -9567, -9549, -9531, -9530, -9525, -9482, -9435, -9433, -9407, -9404, -9381, -9371, -9354, -9340, -9322, -9315, -9262, -9214, -9172, -9158, -9108, -9107, -9091, -9082, -9076, -9066, -9051, -9036, -9035, -8995, -8990, -8980, -8973, -8892, -8827, -8826, -8752, -8704, -8668, -8662, -8613, -8589, -8528, -8499, -8489, -8398, -8394, -8392, -8351, -8350, -8328, -8301, -8236, -8223, -8216, -8188, -8175, -8164, -8049, -8031, -8028, -7987, -7972, -7936, -7933, -7885, -7880, -7871, -7826, -7801, -7640, -7638, -7624, -7579, -7575, -7572, -7549, -7537, -7506, -7493, -7480, -7474, -7437, -7395, -7393, -7387, -7381, -7378, -7313, -7214, -7213, -7200, -7197, -7150, -7110, -7099, -7072, -7069, -7050, -7019, -7005, -6959, -6945, -6940, -6932, -6923, -6912, -6903, -6898, -6801, -6764, -6749, -6739, -6727, -6719, -6643, -6631, -6619, -6614, -6611, -6594, -6565, -6562, -6561, -6533, -6532, -6529, -6511, -6454, -6402, -6392, -6388, -6343, -6340, -6270, -6255, -6252, -6239, -6231, -6228, -6197, -6190, -6177, -6159, -6154, -6130, -6128, -6122, -6119, -6087, -6081, -6061, -6058, -6042, -6041, -6040, -6029, -6026, -5974, -5931, -5914, -5912, -5907, -5903, -5887, -5886, -5879, -5855, -5828, -5821, -5815, -5750, -5739, -5716, -5660, -5648, -5647, -5638, -5624, -5619, -5593, -5574, -5552, -5526, -5492, -5443, -5426, -5409, -5370, -5366, -5354, -5347, -5291, -5280, -5275, -5261, -5238, -5232, -5225, -5220, -5180, -5170, -5169, -5157, -5154, -5145, -5144, -5122, -5117, -5109, -5098, -5088, -5050, -5048, -4985, -4984, -4962, -4911, -4870, -4849, -4834, -4771, -4756, -4724, -4722, -4694, -4686, -4679, -4651, -4645, -4626, -4613, -4606, -4537, -4528, -4476, -4474, -4465, -4329, -4319, -4310, -4287, -4283, -4248, -4245, -4226, -4225, -4223, -4201, -4177, -4141, -4132, -4122, -4085, -4060, -4056, -4001, -3995, -3974, -3963, -3947, -3920, -3902, -3894, -3892, -3880, -3875, -3867, -3846, -3835, -3832, -3767, -3753, -3726, -3707, -3686, -3518, -3505, -3503, -3497, -3430, -3417, -3357, -3348, -3334, -3294, -3275, -3255, -3254, -3246, -3230, -3174, -3158, -3129, -3095, -3062, -3058, -3055, -3000, -2992, -2978, -2953, -2903, -2877, -2777, -2775, -2733, -2716, -2709, -2687, -2662, -2654, -2641, -2611, -2610, -2609, -2549, -2540, -2527, -2526, -2508, -2485, -2478, -2471, -2438, -2433, -2423, -2415, -2404, -2402, -2397, -2370, -2348, -2321, -2316, -2301, -2292, -2285, -2247, -2237, -2211, -2193, -2183, -2146, -2115, -2108, -2054, -2039, -2013, -2009, -1979, -1977, -1973, -1959, -1950, -1922, -1912, -1902, -1852, -1849, -1805, -1798, -1797, -1777, -1766, -1763, -1759, -1747, -1746, -1700, -1574, -1546, -1514, -1507, -1492, -1491, -1444, -1434, -1409, -1403, -1363, -1305, -1302, -1261, -1240, -1231, -1226, -1221, -1192, -1171, -1156, -1134, -1125, -1117, -1100, -1097, -1091, -1080, -1051, -1031, -1003, -985, -922, -916, -909, -874, -864, -851, -843, -804, -780, -775, -773, -751, -742, -729, -706, -683, -679, -655, -599, -571, -541, -519, -452, -406, -345, -334, -333, -256, -225, -208, -205, -147, -146, -142, -136, -132, -100, -93, -67, -48, -35, -19, -12, 13, 32, 37, 65, 86, 139, 158, 169, 216, 221, 223, 237, 242, 264, 319, 331, 337, 340, 360, 470, 483, 504, 518, 534, 552, 594, 647, 666, 670, 704, 711, 769, 770, 773, 775, 799, 803, 829, 872, 888, 902, 904, 917, 950, 991, 999, 1010, 1050, 1093, 1112, 1125, 1136, 1150, 1178, 1184, 1211, 1214, 1252, 1265, 1271, 1312, 1317, 1330, 1345, 1366, 1372, 1392, 1427, 1451, 1486, 1520, 1544, 1591, 1623, 1632, 1659, 1661, 1667, 1675, 1718, 1721, 1724, 1759, 1760, 1781, 1790, 1798, 1830, 1873, 1884, 1893, 1978, 1981, 1999, 2023, 2041, 2086, 2087, 2094, 2105, 2118, 2137, 2143, 2150, 2158, 2164, 2171, 2217, 2230, 2234, 2257, 2263, 2272, 2295, 2308, 2321, 2422, 2450, 2475, 2483, 2487, 2493, 2504, 2528, 2556, 2574, 2602, 2612, 2616, 2618, 2619, 2655, 2695, 2719, 2758, 2780, 2827, 2873, 2907, 2914, 2954, 2984, 3011, 3030, 3070, 3072, 3083, 3087, 3111, 3123, 3184, 3216, 3232, 3233, 3238, 3240, 3249, 3255, 3284, 3294, 3298, 3300, 3331, 3351, 3364, 3371, 3390, 3396, 3481, 3486, 3495, 3533, 3555, 3571, 3580, 3583, 3588, 3597, 3599, 3631, 3645, 3647, 3648, 3721, 3736, 3741, 3763, 3778, 3794, 3806, 3809, 3836, 3848, 3851, 3857, 3901, 3915, 3916, 3943, 3949, 3969, 3978, 4009, 4045, 4084, 4091, 4093, 4113, 4116, 4138, 4142, 4179, 4221, 4228, 4261, 4295, 4302, 4315, 4317, 4318, 4337, 4351, 4365, 4389, 4409, 4449, 4467, 4484, 4496, 4503, 4512, 4529, 4549, 4571, 4578, 4588, 4598, 4623, 4625, 4651, 4672, 4696, 4753, 4758, 4762, 4768, 4769, 4783, 4785, 4793, 4837, 4841, 4975, 5030, 5047, 5049, 5069, 5088, 5106, 5141, 5152, 5194, 5208, 5245, 5265, 5387, 5388, 5391, 5437, 5525, 5573, 5580, 5606, 5617, 5707, 5715, 5718, 5721, 5735, 5747, 5759, 5762, 5794, 5798, 5800, 5801, 5804, 5811, 5840, 5866, 5917, 5923, 5926, 5953, 6013, 6034, 6072, 6084, 6110, 6113, 6119, 6124, 6133, 6197, 6211, 6213, 6225, 6232, 6257, 6269, 6290, 6299, 6300, 6311, 6328, 6338, 6364, 6408, 6437, 6459, 6465, 6477, 6485, 6486, 6498, 6509, 6519, 6569, 6581, 6617, 6623, 6647, 6663, 6666, 6684, 6687, 6736, 6748, 6777, 6790, 6810, 6817, 6826, 6829, 6840, 6843, 6863, 6877, 7024, 7048, 7049, 7093, 7109, 7117, 7143, 7150, 7205, 7208, 7227, 7340, 7343, 7362, 7448, 7459, 7466, 7475, 7476, 7562, 7592, 7655, 7678, 7694, 7724, 7778, 7814, 7815, 7858, 7872, 7889, 7892, 7902, 7914, 7933, 7944, 7956, 7973, 7984, 7999, 8010, 8030, 8050, 8129, 8140, 8145, 8210, 8211, 8218, 8259, 8295, 8298, 8300, 8354, 8356, 8366, 8381, 8431, 8433, 8466, 8489, 8493, 8521, 8551, 8573, 8601, 8620, 8623, 8625, 8660, 8687, 8688, 8692, 8696, 8712, 8723, 8725, 8726, 8727, 8743, 8760, 8769, 8779, 8799, 8807, 8850, 8854, 8869, 8880, 8886, 8908, 8942, 8944, 8956, 8977, 8999, 9038, 9054, 9066, 9073, 9091, 9105, 9131, 9189, 9246, 9247, 9255, 9259, 9263, 9281, 9283, 9285, 9286, 9287, 9288, 9299, 9313, 9353, 9405, 9420, 9422, 9432, 9435, 9455, 9464, 9499, 9505, 9525, 9526, 9549, 9575, 9578, 9616, 9620, 9628, 9647, 9660, 9670, 9684, 9689, 9715, 9721, 9756, 9767, 9791, 9844, 9852, 9875, 9902, 9944, 9976, 9978, 9998, 10000]
      - 2:  10000
  - name: "Test Case 93 (Num Generic Target Max False)"
    inputs:
      - 1:  [-9996, -9984, -9943, -9926, -9905, -9889, -9884, -9853, -9843, -9837, -9828, -9790, -9773, -9771, -9763, -9738, -9735, -9734, -9709, -9701, -9644, -9629, -9611, -9608, -9502, -9501, -9474, -9452, -9366, -9319, -9303, -9293, -9276, -9254, -9202, -9201, -9193, -9150, -9111, -9091, -9083, -9045, -9028, -8900, -8890, -8883, -8861, -8851, -8841, -8834, -8808, -8776, -8762, -8751, -8743, -8738, -8686, -8675, -8613, -8606, -8581, -8568, -8550, -8548, -8540, -8504, -8503, -8487, -8474, -8421, -8409, -8399, -8349, -8336, -8313, -8305, -8291, -8244, -8225, -8220, -8217, -8192, -8173, -8144, -8138, -8136, -8090, -8036, -8026, -8015, -8003, -7962, -7945, -7934, -7932, -7921, -7886, -7864, -7801, -7796, -7776, -7774, -7769, -7753, -7739, -7734, -7733, -7715, -7709, -7705, -7642, -7638, -7623, -7609, -7587, -7582, -7544, -7542, -7534, -7508, -7491, -7465, -7463, -7456, -7434, -7426, -7425, -7418, -7414, -7395, -7368, -7342, -7338, -7330, -7308, -7300, -7294, -7290, -7252, -7224, -7213, -7151, -7148, -7142, -7117, -7114, -7111, -7081, -7080, -7075, -7071, -7008, -7005, -6978, -6919, -6893, -6878, -6855, -6851, -6848, -6824, -6819, -6796, -6790, -6778, -6770, -6767, -6762, -6735, -6699, -6698, -6662, -6658, -6606, -6588, -6575, -6483, -6460, -6436, -6433, -6350, -6295, -6287, -6286, -6178, -6169, -6162, -6160, -6129, -6128, -6123, -6069, -6066, -6042, -6026, -6013, -5982, -5890, -5864, -5861, -5817, -5811, -5794, -5793, -5746, -5740, -5695, -5684, -5674, -5615, -5575, -5565, -5523, -5506, -5490, -5467, -5445, -5425, -5394, -5344, -5335, -5273, -5254, -5237, -5232, -5209, -5207, -5206, -5199, -5163, -5133, -5127, -5115, -5075, -5036, -5033, -5027, -5000, -4989, -4985, -4869, -4832, -4805, -4788, -4758, -4729, -4720, -4682, -4670, -4642, -4631, -4584, -4579, -4524, -4516, -4512, -4478, -4445, -4430, -4421, -4411, -4409, -4394, -4384, -4380, -4368, -4366, -4349, -4347, -4310, -4298, -4291, -4250, -4179, -4153, -4149, -4054, -3987, -3936, -3910, -3906, -3901, -3856, -3844, -3824, -3701, -3700, -3667, -3663, -3526, -3513, -3499, -3490, -3464, -3413, -3365, -3319, -3264, -3257, -3253, -3179, -3127, -3109, -3077, -3000, -2980, -2967, -2941, -2936, -2899, -2893, -2892, -2868, -2829, -2828, -2817, -2814, -2798, -2751, -2737, -2702, -2700, -2693, -2690, -2635, -2634, -2619, -2613, -2595, -2588, -2574, -2569, -2548, -2519, -2496, -2488, -2483, -2470, -2452, -2446, -2413, -2364, -2347, -2321, -2305, -2287, -2269, -2225, -2214, -2209, -2207, -2192, -2183, -2178, -2174, -2172, -2134, -2111, -2103, -2095, -2068, -2067, -2056, -2052, -2050, -1998, -1979, -1978, -1975, -1958, -1954, -1944, -1940, -1909, -1906, -1895, -1893, -1853, -1824, -1797, -1781, -1750, -1749, -1743, -1741, -1721, -1719, -1695, -1670, -1652, -1627, -1618, -1602, -1568, -1563, -1547, -1495, -1477, -1462, -1445, -1435, -1433, -1399, -1381, -1378, -1365, -1364, -1359, -1317, -1310, -1292, -1272, -1269, -1251, -1229, -1200, -1164, -1146, -1123, -1104, -1087, -1083, -1080, -1046, -1020, -983, -972, -950, -941, -890, -874, -854, -853, -844, -843, -839, -838, -835, -815, -814, -784, -733, -698, -652, -648, -586, -582, -575, -560, -508, -429, -417, -408, -356, -347, -330, -317, -309, -235, -230, -196, -194, -186, -184, -179, -84, -71, -17, -4, 18, 38, 39, 82, 97, 141, 143, 177, 199, 219, 228, 242, 255, 267, 270, 277, 283, 326, 329, 344, 348, 374, 392, 409, 412, 415, 419, 427, 560, 580, 593, 604, 612, 651, 652, 669, 696, 703, 756, 760, 807, 813, 814, 919, 965, 1004, 1025, 1035, 1083, 1088, 1106, 1117, 1155, 1177, 1198, 1240, 1244, 1284, 1347, 1358, 1374, 1385, 1388, 1393, 1403, 1413, 1451, 1452, 1464, 1486, 1497, 1509, 1511, 1528, 1554, 1560, 1581, 1582, 1602, 1617, 1659, 1675, 1719, 1723, 1724, 1727, 1735, 1765, 1836, 1844, 1931, 1966, 1969, 2026, 2036, 2115, 2141, 2151, 2178, 2184, 2207, 2243, 2271, 2308, 2349, 2373, 2374, 2379, 2381, 2386, 2398, 2400, 2411, 2462, 2500, 2504, 2592, 2639, 2688, 2720, 2727, 2750, 2762, 2808, 2809, 2825, 2930, 2935, 2944, 2957, 2998, 3016, 3027, 3036, 3043, 3057, 3112, 3128, 3141, 3145, 3192, 3199, 3202, 3230, 3235, 3242, 3254, 3256, 3262, 3302, 3304, 3308, 3321, 3328, 3339, 3343, 3353, 3360, 3390, 3398, 3418, 3438, 3458, 3527, 3534, 3591, 3599, 3613, 3615, 3620, 3631, 3636, 3659, 3665, 3673, 3682, 3686, 3692, 3709, 3733, 3741, 3751, 3830, 3848, 3853, 3872, 3875, 3893, 3900, 3901, 3908, 3964, 3965, 3984, 3988, 4001, 4003, 4027, 4038, 4042, 4064, 4073, 4093, 4096, 4112, 4117, 4130, 4131, 4147, 4205, 4215, 4219, 4245, 4273, 4288, 4289, 4296, 4316, 4340, 4347, 4361, 4380, 4383, 4402, 4438, 4445, 4482, 4488, 4509, 4523, 4549, 4560, 4565, 4580, 4581, 4592, 4605, 4613, 4649, 4710, 4715, 4743, 4769, 4779, 4816, 4824, 4833, 4873, 4898, 4917, 4931, 4936, 4940, 4947, 4959, 4962, 4994, 5023, 5024, 5035, 5098, 5109, 5147, 5153, 5172, 5185, 5200, 5210, 5220, 5259, 5271, 5319, 5323, 5325, 5348, 5356, 5361, 5369, 5396, 5408, 5435, 5452, 5462, 5522, 5538, 5571, 5574, 5595, 5640, 5688, 5697, 5701, 5706, 5722, 5723, 5747, 5759, 5779, 5788, 5808, 5817, 5850, 5852, 5873, 5879, 5938, 5946, 5993, 6011, 6015, 6102, 6120, 6135, 6194, 6207, 6226, 6229, 6237, 6240, 6282, 6319, 6339, 6351, 6403, 6425, 6431, 6444, 6463, 6513, 6526, 6558, 6568, 6593, 6596, 6604, 6670, 6710, 6711, 6718, 6726, 6730, 6764, 6767, 6786, 6803, 6806, 6818, 6829, 6844, 6865, 6922, 6946, 6957, 6967, 7045, 7050, 7077, 7154, 7184, 7186, 7191, 7211, 7241, 7243, 7282, 7285, 7314, 7325, 7326, 7334, 7349, 7351, 7354, 7357, 7373, 7405, 7409, 7411, 7414, 7421, 7429, 7432, 7478, 7483, 7516, 7529, 7537, 7545, 7568, 7570, 7593, 7608, 7642, 7665, 7667, 7683, 7690, 7703, 7707, 7721, 7728, 7779, 7789, 7810, 7811, 7818, 7855, 7873, 7899, 7910, 7921, 7924, 7931, 7949, 8027, 8132, 8156, 8162, 8178, 8212, 8230, 8242, 8245, 8254, 8274, 8283, 8310, 8316, 8356, 8406, 8409, 8429, 8431, 8446, 8463, 8471, 8529, 8530, 8552, 8554, 8603, 8604, 8623, 8646, 8648, 8649, 8698, 8702, 8705, 8730, 8736, 8764, 8770, 8815, 8851, 8852, 8860, 8945, 8976, 8977, 8998, 9002, 9024, 9052, 9113, 9114, 9118, 9160, 9167, 9175, 9197, 9199, 9302, 9315, 9330, 9349, 9442, 9451, 9457, 9497, 9524, 9538, 9559, 9570, 9575, 9582, 9605, 9611, 9612, 9627, 9651, 9667, 9670, 9696, 9743, 9748, 9764, 9877, 9908, 9910, 9948, 9964, 9970, 9979, 9991]
      - 2:  10000
  - name: "Test Case 103 (Num Max Target Min True)"
    inputs:
      - 1:  [-10000, -9872, -9837, -9790, -9775, -9769, -9763, -9730, -9712, -9703, -9689, -9657, -9632, -9609, -9587, -9543, -9487, -9484, -9430, -9427, -9415, -9401, -9355, -9343, -9311, -9302, -9289, -9286, -9282, -9278, -9262, -9252, -9212, -9207, -9206, -9183, -9168, -9156, -9152, -9148, -9146, -9130, -9127, -9116, -9107, -9088, -9079, -9078, -9054, -9031, -9022, -9002, -8989, -8973, -8963, -8950, -8927, -8872, -8864, -8863, -8842, -8818, -8806, -8792, -8726, -8691, -8680, -8673, -8646, -8616, -8579, -8504, -8491, -8467, -8430, -8426, -8382, -8376, -8369, -8350, -8344, -8336, -8305, -8301, -8284, -8276, -8273, -8213, -8181, -8174, -8170, -8138, -8112, -8101, -8094, -8091, -8090, -8081, -8057, -8042, -8024, -8020, -7976, -7972, -7965, -7956, -7953, -7947, -7918, -7915, -7912, -7878, -7868, -7852, -7809, -7775, -7772, -7765, -7744, -7736, -7735, -7697, -7695, -7676, -7674, -7611, -7536, -7513, -7512, -7466, -7420, -7372, -7317, -7302, -7274, -7258, -7213, -7187, -7121, -7111, -7110, -7090, -7070, -7060, -7038, -6984, -6972, -6967, -6952, -6941, -6935, -6931, -6870, -6868, -6845, -6820, -6816, -6814, -6813, -6801, -6775, -6767, -6753, -6752, -6695, -6662, -6656, -6650, -6648, -6636, -6608, -6604, -6580, -6578, -6575, -6573, -6530, -6520, -6470, -6425, -6408, -6371, -6339, -6330, -6327, -6324, -6262, -6254, -6204, -6201, -6172, -6169, -6166, -6159, -6107, -6105, -6061, -6052, -6050, -6036, -6033, -5983, -5977, -5953, -5934, -5931, -5917, -5911, -5891, -5890, -5889, -5844, -5841, -5830, -5761, -5756, -5755, -5707, -5697, -5694, -5662, -5636, -5626, -5621, -5572, -5570, -5534, -5530, -5506, -5495, -5451, -5448, -5447, -5433, -5426, -5369, -5358, -5341, -5296, -5289, -5260, -5243, -5231, -5216, -5189, -5164, -5153, -5119, -5106, -5104, -5069, -5068, -5063, -5061, -5040, -5004, -4994, -4975, -4950, -4915, -4907, -4894, -4874, -4873, -4857, -4840, -4827, -4801, -4785, -4776, -4734, -4713, -4693, -4688, -4651, -4617, -4589, -4579, -4575, -4556, -4535, -4516, -4484, -4468, -4420, -4405, -4402, -4392, -4376, -4369, -4367, -4358, -4343, -4314, -4313, -4312, -4310, -4286, -4272, -4266, -4249, -4208, -4179, -4123, -4103, -4088, -4050, -3981, -3962, -3954, -3939, -3927, -3905, -3857, -3836, -3802, -3799, -3797, -3787, -3763, -3739, -3690, -3684, -3666, -3636, -3632, -3629, -3582, -3561, -3499, -3497, -3462, -3453, -3386, -3359, -3326, -3325, -3317, -3305, -3289, -3249, -3240, -3239, -3219, -3216, -3184, -3158, -3137, -3134, -3112, -3095, -3068, -3060, -3047, -3040, -2872, -2837, -2772, -2761, -2741, -2724, -2699, -2672, -2668, -2666, -2660, -2635, -2589, -2583, -2532, -2529, -2525, -2508, -2495, -2486, -2482, -2476, -2399, -2360, -2341, -2319, -2318, -2306, -2288, -2272, -2263, -2258, -2213, -2161, -2136, -2124, -2091, -2083, -2012, -1981, -1935, -1934, -1902, -1878, -1849, -1816, -1803, -1790, -1710, -1709, -1705, -1688, -1645, -1633, -1595, -1594, -1586, -1538, -1528, -1515, -1493, -1452, -1442, -1349, -1341, -1313, -1307, -1302, -1301, -1260, -1202, -1193, -1183, -1143, -1131, -1105, -1074, -1051, -1041, -1028, -1017, -945, -935, -934, -871, -850, -841, -840, -826, -799, -756, -752, -728, -723, -660, -647, -645, -632, -596, -570, -547, -520, -504, -497, -474, -467, -456, -455, -421, -407, -399, -367, -355, -345, -336, -334, -302, -291, -287, -280, -268, -255, -218, -186, -185, -174, -169, -166, -151, -142, -108, -76, -69, -37, -3, 4, 12, 16, 63, 81, 82, 90, 117, 121, 126, 131, 160, 163, 179, 234, 271, 277, 279, 297, 298, 300, 303, 317, 358, 359, 384, 391, 392, 435, 463, 471, 510, 549, 553, 568, 585, 623, 647, 680, 695, 704, 750, 751, 757, 782, 792, 820, 832, 848, 859, 867, 868, 874, 901, 907, 908, 940, 955, 971, 991, 1010, 1026, 1028, 1065, 1144, 1147, 1160, 1186, 1197, 1203, 1205, 1213, 1223, 1227, 1242, 1277, 1332, 1341, 1410, 1435, 1436, 1445, 1456, 1458, 1488, 1500, 1507, 1510, 1511, 1543, 1544, 1556, 1566, 1567, 1590, 1667, 1697, 1766, 1775, 1778, 1796, 1810, 1817, 1851, 1876, 1925, 1951, 1954, 2003, 2062, 2101, 2144, 2152, 2168, 2184, 2196, 2258, 2267, 2294, 2303, 2311, 2316, 2371, 2400, 2431, 2496, 2553, 2566, 2588, 2601, 2607, 2653, 2670, 2692, 2763, 2800, 2857, 2868, 2869, 2897, 2943, 2949, 2959, 2968, 2983, 3027, 3057, 3060, 3097, 3125, 3130, 3164, 3169, 3172, 3224, 3228, 3254, 3264, 3279, 3290, 3304, 3322, 3323, 3333, 3338, 3347, 3354, 3420, 3428, 3452, 3462, 3474, 3478, 3490, 3501, 3521, 3542, 3563, 3572, 3578, 3598, 3617, 3618, 3619, 3667, 3668, 3678, 3695, 3697, 3706, 3736, 3761, 3779, 3810, 3863, 3869, 3872, 3904, 3924, 3964, 3975, 3979, 3985, 3990, 3997, 3999, 4018, 4035, 4111, 4169, 4204, 4219, 4226, 4233, 4282, 4289, 4293, 4295, 4317, 4326, 4383, 4416, 4429, 4433, 4434, 4475, 4483, 4486, 4519, 4522, 4524, 4544, 4550, 4573, 4650, 4666, 4693, 4700, 4756, 4767, 4789, 4813, 4831, 4837, 4847, 4853, 4861, 4867, 4875, 4877, 4885, 4904, 4913, 4934, 4942, 4953, 5028, 5073, 5096, 5122, 5157, 5168, 5211, 5233, 5235, 5268, 5280, 5303, 5316, 5324, 5338, 5360, 5415, 5424, 5532, 5556, 5566, 5601, 5622, 5635, 5650, 5660, 5663, 5688, 5706, 5725, 5727, 5737, 5755, 5759, 5848, 5851, 5858, 5868, 5895, 5912, 5943, 5986, 6013, 6046, 6048, 6089, 6122, 6185, 6222, 6265, 6277, 6306, 6315, 6347, 6380, 6383, 6398, 6425, 6426, 6453, 6467, 6474, 6494, 6503, 6506, 6544, 6551, 6559, 6575, 6618, 6624, 6631, 6643, 6654, 6665, 6673, 6685, 6687, 6713, 6730, 6785, 6802, 6840, 6863, 6865, 6894, 7000, 7003, 7029, 7042, 7066, 7068, 7074, 7093, 7151, 7158, 7216, 7220, 7250, 7287, 7303, 7334, 7358, 7362, 7411, 7417, 7418, 7429, 7437, 7467, 7472, 7473, 7482, 7522, 7606, 7633, 7643, 7691, 7700, 7706, 7723, 7769, 7817, 7855, 7865, 7868, 7874, 7885, 7888, 7890, 7891, 7901, 7903, 7911, 7923, 7937, 7940, 7944, 7986, 8032, 8036, 8047, 8051, 8072, 8092, 8099, 8113, 8123, 8141, 8155, 8257, 8261, 8267, 8321, 8390, 8396, 8405, 8412, 8450, 8469, 8476, 8484, 8506, 8507, 8511, 8513, 8522, 8564, 8570, 8610, 8647, 8671, 8680, 8688, 8704, 8747, 8751, 8766, 8770, 8832, 8840, 8842, 8860, 8870, 8890, 8929, 8934, 8957, 8977, 8998, 9020, 9030, 9058, 9087, 9090, 9093, 9099, 9137, 9189, 9214, 9275, 9345, 9418, 9422, 9429, 9472, 9484, 9500, 9510, 9528, 9566, 9581, 9642, 9644, 9672, 9674, 9695, 9696, 9698, 9771, 9784, 9794, 9802, 9810, 9844, 9850, 9902, 9931, 9954, 9969]
      - 2:  -10000
  - name: "Test Case 113 (Num Max Target Min False)"
    inputs:
      - 1:  [-9921, -9860, -9833, -9812, -9768, -9767, -9757, -9731, -9714, -9710, -9673, -9659, -9627, -9621, -9570, -9562, -9522, -9504, -9503, -9465, -9461, -9382, -9320, -9314, -9299, -9257, -9242, -9222, -9208, -9205, -9155, -9134, -9108, -9103, -9089, -9088, -9053, -9030, -9019, -9006, -8999, -8998, -8997, -8925, -8856, -8792, -8760, -8712, -8692, -8688, -8683, -8680, -8650, -8643, -8634, -8620, -8610, -8589, -8549, -8533, -8530, -8523, -8501, -8470, -8465, -8437, -8432, -8427, -8413, -8385, -8359, -8268, -8234, -8227, -8214, -8202, -8182, -8174, -8162, -8143, -8124, -8094, -8076, -8072, -8051, -8050, -8036, -8035, -7987, -7978, -7950, -7904, -7880, -7865, -7835, -7828, -7825, -7824, -7798, -7775, -7764, -7719, -7640, -7636, -7622, -7614, -7575, -7546, -7384, -7361, -7359, -7355, -7349, -7302, -7290, -7275, -7225, -7214, -7196, -7195, -7161, -7117, -7112, -7105, -7100, -7065, -7050, -7028, -7023, -6976, -6975, -6964, -6954, -6949, -6918, -6916, -6909, -6887, -6851, -6849, -6836, -6833, -6829, -6805, -6778, -6770, -6758, -6742, -6734, -6704, -6627, -6611, -6594, -6558, -6549, -6494, -6489, -6433, -6428, -6426, -6406, -6362, -6333, -6331, -6330, -6320, -6315, -6290, -6235, -6225, -6182, -6167, -6164, -6154, -6142, -6128, -6113, -6102, -6085, -6074, -6057, -6043, -6039, -6018, -6003, -5996, -5955, -5919, -5917, -5911, -5857, -5819, -5788, -5777, -5712, -5691, -5640, -5628, -5613, -5595, -5594, -5586, -5581, -5571, -5539, -5528, -5520, -5492, -5491, -5440, -5406, -5404, -5399, -5386, -5384, -5381, -5352, -5343, -5311, -5285, -5275, -5274, -5265, -5252, -5250, -5247, -5241, -5231, -5196, -5160, -5139, -5125, -5093, -5060, -5041, -5035, -4970, -4931, -4924, -4890, -4867, -4850, -4839, -4729, -4715, -4710, -4707, -4702, -4689, -4670, -4668, -4627, -4626, -4593, -4536, -4519, -4508, -4503, -4496, -4486, -4475, -4474, -4469, -4439, -4376, -4365, -4354, -4326, -4324, -4310, -4289, -4270, -4264, -4247, -4227, -4218, -4211, -4202, -4186, -4179, -4171, -4098, -4067, -4050, -4036, -3975, -3971, -3954, -3907, -3902, -3895, -3846, -3822, -3805, -3786, -3775, -3773, -3743, -3710, -3670, -3647, -3640, -3617, -3608, -3594, -3574, -3558, -3536, -3518, -3502, -3465, -3462, -3435, -3415, -3397, -3395, -3394, -3382, -3380, -3373, -3340, -3332, -3325, -3311, -3274, -3240, -3153, -3148, -3145, -3133, -3119, -3096, -3073, -3066, -3052, -3025, -3013, -3007, -2921, -2917, -2903, -2896, -2885, -2875, -2870, -2860, -2754, -2751, -2735, -2680, -2676, -2656, -2633, -2631, -2622, -2618, -2607, -2598, -2562, -2555, -2539, -2488, -2480, -2465, -2440, -2432, -2408, -2406, -2391, -2382, -2374, -2354, -2344, -2335, -2290, -2289, -2287, -2275, -2269, -2258, -2231, -2207, -2187, -2165, -2113, -2110, -2107, -2045, -2029, -2008, -1986, -1972, -1960, -1947, -1928, -1901, -1891, -1866, -1829, -1782, -1747, -1734, -1721, -1714, -1711, -1689, -1684, -1677, -1672, -1670, -1667, -1651, -1604, -1592, -1557, -1547, -1540, -1520, -1511, -1489, -1461, -1425, -1421, -1418, -1405, -1394, -1373, -1367, -1355, -1323, -1299, -1262, -1255, -1177, -1163, -1155, -1151, -1131, -1125, -1105, -1082, -1022, -976, -948, -934, -840, -795, -782, -776, -770, -742, -741, -715, -703, -670, -604, -599, -583, -556, -547, -541, -489, -488, -462, -449, -416, -413, -402, -401, -395, -393, -375, -327, -306, -305, -298, -279, -263, -244, -214, -150, -148, -80, -13, -5, 20, 29, 39, 55, 74, 89, 107, 127, 146, 160, 199, 212, 252, 265, 269, 309, 378, 386, 423, 540, 550, 586, 602, 605, 646, 663, 690, 693, 749, 757, 768, 793, 794, 815, 824, 825, 836, 852, 863, 864, 880, 882, 890, 908, 937, 938, 966, 968, 976, 979, 1012, 1038, 1049, 1107, 1130, 1153, 1177, 1180, 1187, 1221, 1258, 1265, 1272, 1280, 1288, 1335, 1336, 1381, 1392, 1492, 1508, 1514, 1539, 1585, 1621, 1624, 1671, 1699, 1733, 1756, 1765, 1766, 1771, 1795, 1797, 1812, 1851, 1855, 1867, 1869, 1873, 1885, 1928, 1929, 1932, 1933, 1941, 1974, 1976, 1983, 2012, 2025, 2080, 2081, 2096, 2119, 2124, 2127, 2160, 2164, 2192, 2195, 2213, 2244, 2294, 2317, 2319, 2345, 2367, 2372, 2394, 2411, 2413, 2415, 2428, 2461, 2468, 2496, 2523, 2554, 2566, 2605, 2614, 2615, 2647, 2655, 2679, 2680, 2684, 2705, 2707, 2710, 2713, 2742, 2744, 2758, 2798, 2800, 2886, 2899, 2967, 3090, 3108, 3113, 3116, 3177, 3178, 3190, 3209, 3341, 3346, 3347, 3350, 3367, 3370, 3374, 3375, 3383, 3386, 3388, 3398, 3418, 3438, 3443, 3473, 3482, 3497, 3542, 3554, 3586, 3608, 3619, 3630, 3631, 3643, 3646, 3652, 3656, 3659, 3663, 3700, 3709, 3727, 3758, 3760, 3761, 3767, 3793, 3830, 3842, 3843, 3844, 3855, 3856, 3857, 3925, 3926, 3930, 3996, 4009, 4073, 4099, 4119, 4123, 4135, 4146, 4169, 4197, 4269, 4271, 4274, 4306, 4315, 4325, 4345, 4354, 4361, 4456, 4495, 4507, 4512, 4522, 4526, 4607, 4648, 4660, 4685, 4695, 4743, 4755, 4757, 4771, 4799, 4816, 4852, 4881, 4884, 4946, 4953, 4976, 4977, 4985, 4990, 5018, 5029, 5069, 5081, 5085, 5098, 5121, 5188, 5205, 5210, 5251, 5264, 5272, 5274, 5291, 5312, 5321, 5325, 5334, 5382, 5407, 5412, 5451, 5491, 5554, 5586, 5593, 5597, 5624, 5688, 5698, 5700, 5704, 5722, 5739, 5755, 5772, 5775, 5779, 5783, 5835, 5836, 5838, 5844, 5862, 5876, 5885, 5895, 5899, 5921, 5923, 5947, 5975, 5983, 6019, 6020, 6035, 6048, 6053, 6124, 6126, 6141, 6150, 6154, 6191, 6207, 6234, 6240, 6339, 6368, 6396, 6402, 6419, 6467, 6492, 6575, 6579, 6580, 6610, 6624, 6706, 6716, 6728, 6730, 6746, 6767, 6790, 6814, 6819, 6895, 6897, 6907, 7003, 7009, 7070, 7088, 7117, 7131, 7170, 7187, 7196, 7205, 7228, 7229, 7245, 7247, 7261, 7334, 7366, 7392, 7397, 7400, 7426, 7454, 7457, 7474, 7505, 7547, 7578, 7610, 7619, 7625, 7646, 7671, 7705, 7744, 7747, 7764, 7784, 7819, 7890, 7895, 7952, 7964, 7981, 7989, 8004, 8008, 8020, 8021, 8032, 8064, 8083, 8091, 8160, 8165, 8168, 8175, 8194, 8201, 8243, 8254, 8319, 8322, 8332, 8337, 8393, 8397, 8430, 8434, 8453, 8456, 8480, 8567, 8580, 8602, 8605, 8630, 8651, 8660, 8680, 8684, 8720, 8736, 8742, 8744, 8778, 8783, 8785, 8788, 8826, 8839, 8872, 8946, 8988, 9020, 9021, 9038, 9048, 9056, 9087, 9105, 9132, 9133, 9139, 9143, 9166, 9217, 9235, 9252, 9254, 9299, 9341, 9360, 9378, 9389, 9395, 9427, 9437, 9442, 9451, 9468, 9503, 9509, 9515, 9521, 9523, 9583, 9589, 9612, 9614, 9629, 9634, 9679, 9697, 9699, 9727, 9741, 9749, 9799, 9808, 9815, 9820, 9836, 9845, 9857, 9880, 9894, 9939, 9955, 9957, 9979]
      - 2:  -10000
  - name: "Test Case 123 (Num Max Target Generic True)"
    inputs:
      - 1:  [-9985, -9974, -9972, -9963, -9955, -9943, -9931, -9901, -9864, -9829, -9825, -9746, -9733, -9731, -9718, -9684, -9656, -9645, -9627, -9626, -9600, -9598, -9591, -9549, -9546, -9534, -9500, -9496, -9487, -9450, -9410, -9397, -9391, -9382, -9359, -9355, -9321, -9315, -9288, -9216, -9177, -9168, -9162, -9157, -9142, -9141, -9109, -9100, -9097, -9096, -9095, -9049, -9035, -9032, -9017, -8918, -8887, -8880, -8876, -8873, -8855, -8840, -8826, -8816, -8762, -8755, -8744, -8705, -8701, -8688, -8680, -8678, -8666, -8567, -8563, -8555, -8537, -8527, -8511, -8498, -8475, -8470, -8432, -8424, -8415, -8399, -8362, -8359, -8335, -8325, -8287, -8272, -8258, -8248, -8216, -8212, -8210, -8190, -8186, -8180, -8127, -8082, -8071, -8056, -8054, -8048, -8022, -8016, -8014, -8011, -7998, -7984, -7939, -7909, -7901, -7845, -7841, -7829, -7821, -7820, -7810, -7784, -7779, -7761, -7735, -7728, -7700, -7678, -7665, -7599, -7590, -7586, -7583, -7563, -7529, -7523, -7513, -7510, -7486, -7459, -7432, -7385, -7372, -7282, -7262, -7259, -7239, -7222, -7071, -7068, -6965, -6943, -6891, -6867, -6858, -6848, -6823, -6822, -6818, -6815, -6794, -6746, -6736, -6729, -6716, -6691, -6656, -6651, -6631, -6612, -6607, -6599, -6594, -6589, -6585, -6547, -6531, -6530, -6521, -6451, -6446, -6387, -6360, -6354, -6260, -6259, -6241, -6228, -6217, -6207, -6165, -6084, -6075, -6073, -6064, -6062, -6061, -6034, -5998, -5983, -5962, -5927, -5897, -5888, -5877, -5852, -5834, -5794, -5732, -5729, -5720, -5678, -5664, -5652, -5647, -5612, -5591, -5519, -5499, -5492, -5483, -5476, -5451, -5448, -5433, -5421, -5393, -5373, -5370, -5368, -5302, -5295, -5271, -5254, -5220, -5192, -5190, -5185, -5166, -5143, -5136, -5126, -5081, -5034, -5022, -4972, -4914, -4900, -4885, -4850, -4849, -4847, -4816, -4807, -4796, -4776, -4743, -4730, -4711, -4699, -4678, -4671, -4662, -4649, -4648, -4637, -4632, -4626, -4584, -4533, -4519, -4516, -4511, -4457, -4439, -4396, -4384, -4370, -4363, -4315, -4311, -4297, -4289, -4285, -4270, -4252, -4229, -4180, -4169, -4158, -4138, -4136, -4113, -4093, -4072, -4070, -4068, -4067, -4052, -4042, -4035, -4029, -4017, -3997, -3953, -3926, -3916, -3901, -3893, -3883, -3867, -3788, -3747, -3740, -3732, -3727, -3674, -3669, -3657, -3628, -3627, -3623, -3525, -3497, -3492, -3475, -3466, -3422, -3400, -3378, -3361, -3345, -3340, -3299, -3292, -3275, -3265, -3264, -3241, -3222, -3188, -3160, -3156, -3136, -3069, -3067, -3052, -3051, -3048, -3041, -3012, -3010, -2975, -2972, -2964, -2963, -2923, -2872, -2819, -2813, -2809, -2776, -2756, -2753, -2751, -2747, -2736, -2720, -2718, -2716, -2675, -2652, -2619, -2578, -2577, -2563, -2562, -2557, -2550, -2542, -2541, -2536, -2438, -2360, -2356, -2335, -2295, -2269, -2264, -2198, -2119, -2113, -2098, -2070, -2002, -1990, -1899, -1872, -1842, -1817, -1808, -1739, -1728, -1708, -1696, -1689, -1679, -1677, -1655, -1641, -1625, -1583, -1576, -1542, -1535, -1517, -1504, -1478, -1472, -1469, -1426, -1419, -1353, -1351, -1336, -1332, -1327, -1323, -1292, -1274, -1268, -1261, -1217, -1151, -1142, -1134, -1043, -1041, -1036, -1021, -1019, -1016, -993, -979, -941, -934, -920, -911, -870, -855, -849, -829, -805, -790, -746, -728, -708, -698, -670, -620, -591, -533, -486, -473, -461, -452, -451, -439, -396, -383, -380, -377, -330, -321, -319, -313, -303, -298, -271, -198, -188, -172, -165, -145, -140, -133, -100, -62, -46, -43, -40, -14, -6, 24, 45, 86, 116, 131, 152, 164, 180, 185, 200, 209, 212, 241, 242, 248, 257, 290, 294, 295, 323, 328, 330, 347, 352, 365, 386, 404, 445, 446, 483, 530, 549, 571, 575, 585, 597, 656, 665, 705, 729, 743, 809, 821, 850, 866, 885, 957, 1027, 1035, 1042, 1046, 1077, 1104, 1105, 1132, 1154, 1156, 1161, 1194, 1225, 1288, 1301, 1308, 1315, 1317, 1322, 1368, 1436, 1480, 1518, 1636, 1659, 1664, 1686, 1708, 1722, 1747, 1758, 1769, 1800, 1806, 1808, 1828, 1832, 1834, 1845, 1858, 1865, 1879, 1880, 1928, 1946, 1960, 1978, 2002, 2014, 2049, 2079, 2091, 2123, 2125, 2132, 2158, 2173, 2180, 2233, 2238, 2278, 2300, 2308, 2331, 2364, 2404, 2423, 2433, 2477, 2484, 2491, 2498, 2530, 2549, 2581, 2641, 2655, 2667, 2711, 2734, 2765, 2787, 2792, 2879, 2897, 2919, 2920, 2927, 2966, 3001, 3007, 3049, 3070, 3077, 3078, 3082, 3099, 3115, 3177, 3198, 3206, 3214, 3218, 3234, 3235, 3239, 3262, 3290, 3296, 3336, 3386, 3403, 3433, 3434, 3456, 3474, 3476, 3484, 3508, 3537, 3557, 3601, 3613, 3671, 3673, 3705, 3709, 3710, 3711, 3717, 3724, 3764, 3828, 3833, 3873, 3880, 3903, 3927, 3939, 3958, 3971, 3988, 4040, 4077, 4084, 4088, 4094, 4101, 4116, 4122, 4153, 4172, 4174, 4194, 4214, 4215, 4234, 4247, 4248, 4249, 4250, 4264, 4274, 4299, 4314, 4332, 4363, 4371, 4384, 4397, 4478, 4513, 4516, 4517, 4530, 4533, 4548, 4556, 4567, 4595, 4637, 4641, 4642, 4669, 4801, 4803, 4846, 4878, 4879, 4889, 4900, 4902, 4925, 4951, 4984, 5027, 5031, 5036, 5053, 5066, 5089, 5112, 5114, 5128, 5150, 5187, 5192, 5296, 5301, 5303, 5345, 5402, 5453, 5462, 5513, 5525, 5548, 5581, 5583, 5584, 5588, 5607, 5634, 5635, 5675, 5696, 5697, 5698, 5712, 5732, 5754, 5798, 5812, 5834, 5844, 5863, 5885, 5900, 5911, 5915, 5919, 5960, 5985, 5999, 6006, 6072, 6081, 6095, 6122, 6127, 6136, 6148, 6205, 6208, 6212, 6245, 6251, 6261, 6330, 6338, 6358, 6380, 6437, 6438, 6440, 6478, 6498, 6503, 6512, 6564, 6608, 6614, 6647, 6686, 6762, 6771, 6787, 6792, 6803, 6810, 6840, 6847, 6861, 6879, 6901, 6926, 6951, 6960, 6982, 7002, 7035, 7061, 7153, 7165, 7230, 7241, 7252, 7254, 7256, 7258, 7317, 7318, 7323, 7368, 7384, 7397, 7451, 7497, 7536, 7569, 7581, 7584, 7609, 7641, 7648, 7669, 7672, 7684, 7685, 7689, 7707, 7708, 7709, 7719, 7725, 7766, 7784, 7855, 7859, 7871, 7878, 7948, 7954, 7957, 7975, 7998, 8008, 8021, 8024, 8034, 8076, 8084, 8093, 8118, 8124, 8170, 8178, 8182, 8203, 8234, 8235, 8255, 8270, 8289, 8304, 8307, 8334, 8340, 8419, 8441, 8446, 8481, 8492, 8517, 8572, 8573, 8596, 8611, 8634, 8646, 8671, 8674, 8677, 8681, 8689, 8749, 8770, 8798, 8827, 8838, 8839, 8885, 8900, 8920, 8970, 8974, 8976, 8995, 9012, 9090, 9156, 9162, 9168, 9252, 9259, 9320, 9331, 9366, 9415, 9508, 9516, 9549, 9567, 9616, 9658, 9678, 9682, 9712, 9753, 9755, 9758, 9768, 9773, 9783, 9784, 9797, 9822, 9841, 9862, 9896, 9904, 9915, 9917, 9926, 9930, 9945, 9958, 9959, 9969]
      - 2:  -8705
  - name: "Test Case 133 (Num Max Target Generic False)"
    inputs:
      - 1:  [-9918, -9895, -9874, -9858, -9850, -9831, -9751, -9749, -9740, -9734, -9697, -9618, -9608, -9582, -9581, -9577, -9551, -9549, -9530, -9490, -9487, -9399, -9368, -9328, -9315, -9313, -9305, -9259, -9248, -9222, -9152, -9149, -9096, -9087, -9081, -9025, -9024, -9019, -9009, -9000, -8988, -8983, -8969, -8946, -8933, -8875, -8863, -8854, -8853, -8844, -8787, -8777, -8746, -8714, -8692, -8676, -8669, -8666, -8636, -8631, -8582, -8581, -8569, -8533, -8526, -8483, -8444, -8416, -8402, -8400, -8399, -8331, -8312, -8290, -8286, -8252, -8161, -8155, -8148, -8077, -8055, -8041, -8029, -8014, -7993, -7975, -7970, -7906, -7858, -7850, -7813, -7801, -7799, -7781, -7780, -7760, -7759, -7752, -7740, -7723, -7709, -7688, -7680, -7673, -7654, -7649, -7643, -7616, -7589, -7549, -7548, -7542, -7536, -7518, -7485, -7482, -7421, -7390, -7357, -7352, -7345, -7307, -7288, -7282, -7252, -7242, -7184, -7169, -7122, -7117, -7108, -7016, -7014, -7007, -6971, -6917, -6907, -6892, -6840, -6821, -6811, -6787, -6786, -6755, -6741, -6735, -6734, -6654, -6647, -6622, -6602, -6596, -6584, -6580, -6576, -6517, -6511, -6460, -6457, -6411, -6406, -6348, -6341, -6330, -6323, -6320, -6302, -6274, -6262, -6246, -6245, -6239, -6200, -6158, -6139, -6125, -6112, -6068, -6060, -6024, -6012, -5991, -5985, -5958, -5947, -5938, -5933, -5869, -5855, -5848, -5845, -5824, -5808, -5802, -5799, -5797, -5751, -5737, -5706, -5698, -5695, -5672, -5645, -5599, -5589, -5573, -5572, -5533, -5520, -5473, -5464, -5455, -5414, -5391, -5382, -5379, -5375, -5336, -5309, -5296, -5285, -5277, -5274, -5237, -5213, -5192, -5184, -5097, -5095, -5090, -5078, -5066, -5058, -5053, -5050, -5010, -4999, -4929, -4918, -4917, -4916, -4911, -4893, -4880, -4874, -4848, -4807, -4801, -4791, -4768, -4723, -4678, -4638, -4633, -4620, -4581, -4575, -4547, -4520, -4515, -4500, -4497, -4465, -4457, -4448, -4423, -4421, -4416, -4400, -4391, -4387, -4372, -4356, -4334, -4308, -4259, -4251, -4241, -4240, -4229, -4221, -4217, -4195, -4188, -4186, -4126, -4123, -4111, -4083, -4072, -4069, -4037, -4003, -3974, -3921, -3878, -3868, -3860, -3846, -3843, -3813, -3740, -3649, -3642, -3547, -3533, -3507, -3506, -3493, -3470, -3467, -3456, -3435, -3400, -3352, -3314, -3310, -3308, -3282, -3280, -3269, -3253, -3220, -3176, -3155, -3145, -3099, -3089, -3073, -3046, -3027, -2995, -2959, -2900, -2886, -2869, -2865, -2850, -2846, -2822, -2785, -2784, -2754, -2744, -2734, -2711, -2698, -2683, -2680, -2675, -2664, -2663, -2611, -2590, -2566, -2564, -2551, -2513, -2510, -2507, -2501, -2494, -2473, -2468, -2464, -2454, -2452, -2446, -2438, -2427, -2421, -2388, -2380, -2374, -2368, -2321, -2303, -2294, -2285, -2264, -2231, -2224, -2201, -2166, -2160, -2129, -2100, -2021, -1963, -1959, -1958, -1905, -1902, -1824, -1806, -1805, -1791, -1764, -1763, -1734, -1730, -1725, -1709, -1705, -1690, -1668, -1664, -1611, -1579, -1559, -1502, -1458, -1456, -1440, -1423, -1402, -1394, -1372, -1333, -1329, -1326, -1319, -1310, -1308, -1299, -1271, -1254, -1248, -1237, -1168, -1157, -1145, -1118, -1112, -1111, -1107, -1103, -1045, -1023, -1007, -943, -923, -905, -897, -890, -883, -859, -822, -811, -807, -776, -757, -755, -742, -664, -661, -657, -656, -642, -641, -640, -620, -617, -597, -566, -475, -451, -448, -430, -390, -389, -386, -375, -373, -369, -338, -316, -297, -284, -266, -261, -259, -252, -245, -190, -170, -163, -128, -116, -115, -88, -75, -72, -71, -44, -31, 13, 14, 29, 42, 78, 121, 152, 188, 201, 210, 219, 233, 238, 290, 302, 304, 305, 309, 358, 383, 384, 431, 450, 475, 490, 498, 575, 588, 595, 604, 614, 618, 623, 624, 625, 638, 641, 652, 654, 767, 769, 777, 842, 860, 879, 927, 932, 942, 943, 945, 992, 1000, 1001, 1017, 1018, 1023, 1029, 1048, 1067, 1074, 1084, 1095, 1104, 1130, 1174, 1192, 1204, 1285, 1297, 1305, 1328, 1380, 1397, 1431, 1451, 1457, 1459, 1531, 1540, 1574, 1607, 1624, 1639, 1672, 1699, 1728, 1733, 1744, 1778, 1802, 1820, 1868, 1915, 1931, 1971, 2006, 2087, 2091, 2092, 2095, 2117, 2118, 2164, 2191, 2193, 2216, 2224, 2253, 2255, 2258, 2271, 2330, 2339, 2342, 2357, 2363, 2423, 2433, 2452, 2485, 2493, 2498, 2554, 2556, 2562, 2589, 2603, 2617, 2714, 2730, 2791, 2801, 2802, 2868, 2897, 2905, 2911, 2930, 2950, 2993, 3020, 3022, 3091, 3122, 3144, 3194, 3200, 3220, 3246, 3267, 3282, 3295, 3312, 3320, 3322, 3411, 3449, 3450, 3527, 3553, 3587, 3605, 3662, 3665, 3672, 3682, 3684, 3697, 3704, 3707, 3717, 3719, 3761, 3766, 3821, 3822, 3867, 3873, 3894, 3912, 3938, 3954, 3955, 3959, 4092, 4093, 4119, 4147, 4168, 4178, 4222, 4312, 4320, 4341, 4353, 4385, 4396, 4398, 4421, 4449, 4471, 4479, 4481, 4497, 4503, 4511, 4518, 4523, 4538, 4584, 4591, 4593, 4627, 4631, 4635, 4651, 4721, 4732, 4738, 4759, 4773, 4804, 4825, 4830, 4844, 4895, 4909, 4931, 4994, 5029, 5035, 5039, 5053, 5056, 5065, 5123, 5154, 5165, 5198, 5235, 5239, 5244, 5264, 5279, 5295, 5296, 5326, 5340, 5344, 5347, 5372, 5400, 5476, 5486, 5553, 5574, 5591, 5619, 5634, 5663, 5674, 5691, 5745, 5759, 5760, 5823, 5842, 5850, 5879, 5895, 5926, 5974, 5976, 5977, 6038, 6058, 6060, 6143, 6154, 6165, 6172, 6187, 6204, 6206, 6212, 6229, 6241, 6254, 6276, 6315, 6325, 6328, 6351, 6394, 6416, 6437, 6454, 6465, 6480, 6485, 6496, 6497, 6502, 6506, 6513, 6545, 6550, 6555, 6572, 6578, 6586, 6595, 6624, 6626, 6631, 6641, 6646, 6681, 6688, 6731, 6746, 6804, 6832, 6860, 6880, 6889, 6897, 6901, 6937, 6947, 6953, 6979, 6980, 6990, 7008, 7015, 7017, 7041, 7051, 7057, 7066, 7124, 7136, 7149, 7194, 7199, 7204, 7291, 7330, 7331, 7342, 7356, 7369, 7382, 7406, 7418, 7449, 7454, 7470, 7497, 7522, 7571, 7595, 7596, 7607, 7628, 7635, 7647, 7664, 7673, 7721, 7722, 7747, 7776, 7840, 7841, 7857, 7881, 7928, 7949, 7975, 8005, 8017, 8053, 8065, 8068, 8124, 8129, 8137, 8173, 8178, 8203, 8226, 8229, 8238, 8260, 8273, 8280, 8352, 8366, 8380, 8402, 8423, 8424, 8426, 8433, 8440, 8493, 8532, 8570, 8579, 8585, 8622, 8640, 8682, 8706, 8710, 8752, 8809, 8824, 8826, 8832, 8833, 8834, 8875, 8929, 8930, 8941, 8944, 8960, 8962, 8973, 9027, 9097, 9103, 9117, 9123, 9219, 9221, 9224, 9228, 9231, 9234, 9353, 9361, 9369, 9402, 9429, 9438, 9499, 9523, 9525, 9540, 9566, 9574, 9575, 9600, 9607, 9624, 9639, 9674, 9680, 9687, 9733, 9762, 9779, 9780, 9791, 9814, 9823, 9837, 9845, 9855, 9900, 9936]
      - 2:  792
  - name: "Test Case 143 (Num Max Target Max True)"
    inputs:
      - 1:  [-9965, -9952, -9864, -9841, -9838, -9808, -9802, -9787, -9775, -9760, -9758, -9713, -9696, -9625, -9566, -9552, -9534, -9517, -9515, -9467, -9416, -9413, -9402, -9361, -9322, -9282, -9264, -9263, -9253, -9231, -9217, -9214, -9189, -9154, -9148, -9114, -9103, -9095, -9045, -9034, -9029, -9027, -9006, -8956, -8955, -8929, -8913, -8903, -8902, -8887, -8886, -8882, -8866, -8864, -8847, -8838, -8816, -8815, -8808, -8799, -8791, -8780, -8751, -8745, -8720, -8700, -8693, -8658, -8596, -8589, -8552, -8532, -8518, -8496, -8443, -8439, -8433, -8430, -8427, -8384, -8308, -8303, -8257, -8210, -8206, -8203, -8169, -8148, -8139, -8125, -8123, -8122, -8110, -8089, -8088, -8075, -8058, -7996, -7979, -7916, -7909, -7896, -7879, -7859, -7857, -7841, -7826, -7805, -7798, -7791, -7761, -7752, -7746, -7701, -7664, -7641, -7635, -7625, -7599, -7583, -7547, -7529, -7505, -7497, -7490, -7484, -7469, -7445, -7439, -7435, -7431, -7421, -7414, -7392, -7382, -7353, -7349, -7305, -7299, -7281, -7276, -7275, -7265, -7248, -7208, -7203, -7182, -7173, -7169, -7153, -7112, -7081, -7037, -7009, -7007, -7001, -6998, -6996, -6963, -6950, -6942, -6920, -6913, -6876, -6870, -6862, -6794, -6781, -6768, -6742, -6714, -6706, -6623, -6604, -6569, -6545, -6529, -6502, -6497, -6486, -6484, -6459, -6452, -6450, -6449, -6437, -6424, -6417, -6315, -6306, -6288, -6287, -6282, -6271, -6229, -6197, -6196, -6180, -6165, -6139, -6126, -6106, -6090, -6088, -5992, -5984, -5943, -5911, -5905, -5890, -5810, -5792, -5767, -5739, -5704, -5695, -5679, -5674, -5671, -5577, -5563, -5556, -5555, -5534, -5518, -5515, -5509, -5460, -5459, -5438, -5420, -5389, -5357, -5327, -5323, -5239, -5235, -5224, -5216, -5215, -5198, -5185, -5184, -5148, -5142, -5097, -5094, -5093, -5089, -5074, -5040, -5033, -5012, -5002, -5001, -4999, -4983, -4960, -4940, -4917, -4908, -4887, -4828, -4825, -4823, -4812, -4802, -4747, -4741, -4710, -4703, -4699, -4664, -4623, -4614, -4611, -4603, -4579, -4562, -4554, -4543, -4535, -4533, -4505, -4504, -4488, -4445, -4422, -4298, -4297, -4279, -4277, -4264, -4216, -4193, -4123, -4116, -4115, -4033, -4025, -3970, -3951, -3885, -3849, -3786, -3732, -3729, -3727, -3718, -3711, -3691, -3657, -3608, -3592, -3572, -3571, -3558, -3535, -3523, -3503, -3485, -3462, -3424, -3398, -3384, -3375, -3310, -3273, -3262, -3237, -3223, -3212, -3205, -3196, -3186, -3135, -3111, -2986, -2978, -2972, -2966, -2945, -2939, -2929, -2912, -2892, -2819, -2805, -2797, -2773, -2752, -2729, -2681, -2653, -2623, -2615, -2588, -2585, -2567, -2507, -2487, -2468, -2460, -2449, -2445, -2405, -2388, -2387, -2337, -2332, -2330, -2310, -2309, -2305, -2304, -2302, -2294, -2284, -2277, -2251, -2207, -2189, -2148, -2088, -2068, -2061, -2022, -2007, -1967, -1940, -1922, -1862, -1814, -1809, -1808, -1773, -1770, -1753, -1736, -1653, -1624, -1616, -1613, -1585, -1582, -1528, -1444, -1425, -1418, -1414, -1346, -1320, -1311, -1310, -1297, -1291, -1290, -1270, -1230, -1174, -1132, -1109, -1108, -1106, -1094, -1060, -1050, -990, -986, -956, -902, -888, -846, -833, -805, -739, -700, -689, -608, -570, -566, -545, -503, -485, -436, -420, -399, -367, -353, -342, -341, -303, -254, -214, -204, -186, -185, -151, -81, -18, -10, 3, 8, 52, 62, 114, 121, 132, 177, 179, 184, 206, 208, 213, 228, 291, 292, 331, 348, 383, 399, 463, 509, 510, 513, 519, 520, 525, 548, 549, 555, 579, 622, 632, 667, 683, 688, 725, 731, 737, 744, 747, 762, 781, 797, 811, 831, 839, 850, 853, 869, 871, 880, 906, 913, 1010, 1028, 1053, 1066, 1078, 1102, 1110, 1113, 1119, 1154, 1210, 1221, 1230, 1241, 1253, 1316, 1320, 1337, 1351, 1353, 1365, 1440, 1459, 1492, 1523, 1543, 1545, 1570, 1613, 1617, 1622, 1657, 1690, 1691, 1692, 1698, 1699, 1744, 1747, 1750, 1762, 1771, 1775, 1818, 1836, 1846, 1913, 1922, 1967, 1979, 1986, 2005, 2057, 2072, 2083, 2104, 2108, 2109, 2121, 2165, 2185, 2192, 2193, 2215, 2219, 2250, 2252, 2274, 2315, 2357, 2380, 2381, 2395, 2402, 2410, 2411, 2429, 2436, 2447, 2506, 2513, 2520, 2526, 2535, 2542, 2550, 2560, 2563, 2577, 2594, 2625, 2626, 2632, 2641, 2659, 2694, 2697, 2698, 2727, 2752, 2756, 2764, 2773, 2780, 2781, 2800, 2807, 2822, 2847, 2853, 2867, 2875, 2931, 2939, 2960, 3038, 3039, 3041, 3073, 3117, 3174, 3181, 3182, 3224, 3241, 3261, 3280, 3281, 3323, 3325, 3378, 3395, 3403, 3415, 3425, 3437, 3440, 3479, 3524, 3525, 3568, 3589, 3599, 3684, 3685, 3690, 3716, 3728, 3735, 3753, 3760, 3773, 3798, 3841, 3842, 3850, 3862, 3875, 3927, 3963, 3971, 3981, 3984, 4002, 4032, 4057, 4062, 4068, 4105, 4109, 4121, 4127, 4154, 4161, 4164, 4168, 4169, 4191, 4195, 4209, 4296, 4309, 4347, 4367, 4375, 4392, 4396, 4403, 4435, 4488, 4490, 4511, 4523, 4531, 4536, 4549, 4556, 4560, 4589, 4596, 4641, 4658, 4671, 4693, 4730, 4735, 4757, 4781, 4798, 4812, 4828, 4857, 4861, 4868, 4877, 4887, 4891, 4898, 4910, 4970, 5008, 5026, 5050, 5060, 5068, 5086, 5112, 5125, 5128, 5131, 5137, 5154, 5160, 5173, 5184, 5185, 5198, 5256, 5263, 5279, 5281, 5282, 5324, 5372, 5376, 5402, 5406, 5413, 5435, 5489, 5502, 5503, 5505, 5522, 5550, 5565, 5568, 5572, 5573, 5641, 5741, 5771, 5813, 5828, 5836, 5844, 5877, 5937, 5942, 5949, 5989, 5995, 5996, 6150, 6153, 6154, 6165, 6184, 6198, 6248, 6251, 6262, 6276, 6281, 6291, 6295, 6347, 6355, 6358, 6369, 6394, 6440, 6460, 6494, 6505, 6560, 6589, 6598, 6611, 6628, 6676, 6679, 6702, 6713, 6716, 6757, 6782, 6785, 6809, 6814, 6819, 6862, 6871, 6882, 6898, 6948, 6966, 6982, 7040, 7105, 7142, 7146, 7170, 7212, 7224, 7228, 7256, 7265, 7275, 7354, 7355, 7373, 7432, 7455, 7484, 7557, 7570, 7615, 7621, 7657, 7700, 7778, 7781, 7811, 7849, 7895, 7898, 7904, 7917, 7948, 7952, 7973, 7977, 8034, 8074, 8082, 8093, 8166, 8175, 8201, 8218, 8227, 8228, 8237, 8284, 8313, 8323, 8326, 8328, 8351, 8353, 8366, 8376, 8388, 8391, 8404, 8427, 8432, 8437, 8448, 8464, 8492, 8502, 8503, 8505, 8508, 8545, 8553, 8558, 8581, 8586, 8618, 8634, 8642, 8659, 8660, 8687, 8690, 8722, 8745, 8758, 8759, 8764, 8800, 8831, 8833, 8892, 8916, 8918, 8921, 8923, 8937, 8945, 8982, 8990, 9000, 9003, 9017, 9020, 9024, 9058, 9074, 9103, 9108, 9170, 9218, 9268, 9284, 9300, 9322, 9356, 9361, 9365, 9372, 9396, 9422, 9451, 9458, 9463, 9486, 9497, 9516, 9527, 9539, 9550, 9559, 9605, 9621, 9663, 9744, 9770, 9788, 9885, 9891, 9901, 9941, 9954]
      - 2:  10000
  - name: "Test Case 153 (Num Max Target Max False)"
    inputs:
      - 1:  [-9995, -9968, -9927, -9915, -9870, -9853, -9844, -9837, -9836, -9816, -9808, -9780, -9758, -9741, -9722, -9676, -9669, -9666, -9650, -9648, -9634, -9619, -9616, -9604, -9603, -9568, -9538, -9531, -9521, -9515, -9463, -9456, -9449, -9417, -9415, -9401, -9395, -9372, -9362, -9351, -9307, -9304, -9272, -9259, -9255, -9194, -9182, -9179, -9169, -9167, -9164, -9155, -9131, -9121, -9120, -9116, -9079, -9021, -9017, -9013, -9005, -8973, -8964, -8955, -8930, -8926, -8902, -8871, -8863, -8825, -8821, -8820, -8773, -8746, -8736, -8729, -8725, -8708, -8631, -8570, -8564, -8561, -8521, -8488, -8477, -8476, -8472, -8449, -8447, -8445, -8411, -8374, -8368, -8357, -8354, -8329, -8321, -8319, -8310, -8296, -8281, -8243, -8232, -8128, -8106, -8102, -8068, -8042, -8036, -8023, -7948, -7930, -7929, -7906, -7904, -7897, -7879, -7837, -7790, -7783, -7772, -7769, -7753, -7748, -7747, -7740, -7702, -7694, -7693, -7670, -7647, -7623, -7602, -7539, -7515, -7498, -7473, -7464, -7460, -7448, -7447, -7443, -7418, -7413, -7408, -7376, -7374, -7368, -7362, -7357, -7325, -7304, -7254, -7241, -7236, -7225, -7213, -7205, -7191, -7166, -7143, -7134, -7121, -7087, -7086, -7084, -7063, -7051, -7009, -6987, -6947, -6901, -6879, -6871, -6868, -6767, -6687, -6651, -6643, -6636, -6598, -6589, -6567, -6563, -6557, -6546, -6506, -6503, -6483, -6473, -6471, -6467, -6454, -6448, -6430, -6425, -6411, -6365, -6360, -6347, -6334, -6313, -6301, -6296, -6264, -6242, -6232, -6213, -6210, -6204, -6063, -6051, -6028, -6002, -5995, -5970, -5948, -5893, -5892, -5888, -5834, -5831, -5758, -5734, -5710, -5699, -5696, -5654, -5621, -5598, -5573, -5565, -5551, -5548, -5527, -5513, -5507, -5496, -5464, -5446, -5436, -5422, -5420, -5418, -5413, -5404, -5387, -5379, -5374, -5345, -5327, -5314, -5312, -5295, -5291, -5289, -5267, -5265, -5244, -5228, -5210, -5207, -5179, -5176, -5175, -5173, -5145, -5140, -5126, -5063, -5053, -5044, -5036, -4997, -4994, -4993, -4989, -4987, -4961, -4955, -4906, -4897, -4882, -4841, -4838, -4811, -4799, -4796, -4790, -4764, -4758, -4751, -4750, -4718, -4711, -4695, -4685, -4673, -4672, -4628, -4626, -4569, -4567, -4539, -4513, -4443, -4428, -4413, -4397, -4384, -4379, -4370, -4368, -4337, -4325, -4281, -4256, -4246, -4239, -4235, -4213, -4211, -4199, -4185, -4171, -4145, -4126, -4117, -4105, -4078, -4058, -4045, -4014, -3992, -3988, -3973, -3942, -3938, -3930, -3929, -3921, -3911, -3898, -3879, -3876, -3869, -3834, -3810, -3801, -3795, -3752, -3746, -3732, -3688, -3687, -3662, -3659, -3649, -3644, -3634, -3622, -3619, -3581, -3579, -3574, -3561, -3542, -3538, -3536, -3508, -3419, -3390, -3367, -3341, -3310, -3262, -3252, -3182, -3162, -3106, -3105, -3092, -3078, -3057, -3055, -3022, -3005, -2984, -2982, -2975, -2953, -2911, -2881, -2875, -2870, -2860, -2852, -2829, -2806, -2801, -2800, -2779, -2747, -2742, -2741, -2730, -2713, -2707, -2699, -2679, -2675, -2660, -2599, -2571, -2552, -2544, -2506, -2494, -2440, -2430, -2418, -2397, -2393, -2387, -2376, -2374, -2373, -2362, -2313, -2311, -2243, -2208, -2204, -2152, -2140, -2118, -2061, -2039, -2036, -2030, -1990, -1982, -1859, -1855, -1851, -1798, -1771, -1683, -1659, -1656, -1613, -1609, -1601, -1574, -1564, -1488, -1448, -1411, -1410, -1409, -1407, -1396, -1356, -1355, -1343, -1335, -1321, -1313, -1276, -1255, -1237, -1224, -1200, -1181, -1165, -1096, -1095, -1049, -1046, -1029, -1027, -1025, -1022, -1020, -968, -948, -932, -920, -908, -874, -859, -813, -808, -749, -732, -725, -702, -667, -646, -642, -632, -605, -588, -509, -508, -489, -444, -439, -408, -401, -345, -304, -295, -258, -203, -164, -135, -125, -110, -73, -60, -20, 11, 12, 25, 34, 54, 79, 87, 93, 100, 104, 165, 168, 187, 202, 213, 222, 231, 235, 246, 272, 291, 302, 329, 355, 358, 444, 454, 455, 494, 502, 559, 564, 585, 595, 608, 633, 647, 652, 656, 683, 729, 746, 765, 772, 781, 787, 841, 872, 877, 880, 884, 887, 891, 899, 924, 934, 951, 1003, 1046, 1072, 1095, 1119, 1121, 1134, 1138, 1170, 1201, 1207, 1212, 1213, 1237, 1256, 1292, 1314, 1323, 1342, 1352, 1386, 1390, 1425, 1444, 1548, 1563, 1639, 1663, 1686, 1696, 1701, 1729, 1760, 1779, 1853, 1859, 1893, 1903, 1929, 1947, 1990, 2010, 2013, 2024, 2048, 2096, 2101, 2129, 2133, 2137, 2157, 2159, 2160, 2175, 2177, 2229, 2244, 2247, 2254, 2256, 2274, 2284, 2328, 2366, 2367, 2405, 2407, 2437, 2442, 2467, 2476, 2537, 2590, 2593, 2603, 2606, 2624, 2636, 2678, 2690, 2712, 2756, 2771, 2841, 2849, 2892, 2957, 3030, 3048, 3060, 3077, 3118, 3137, 3151, 3165, 3192, 3197, 3212, 3224, 3244, 3324, 3358, 3372, 3427, 3428, 3442, 3446, 3478, 3517, 3543, 3567, 3594, 3628, 3663, 3698, 3716, 3734, 3741, 3756, 3764, 3797, 3799, 3837, 3859, 3909, 3959, 3968, 4014, 4017, 4035, 4037, 4066, 4078, 4085, 4159, 4174, 4184, 4187, 4222, 4249, 4261, 4279, 4286, 4309, 4324, 4334, 4353, 4406, 4424, 4428, 4432, 4438, 4456, 4460, 4472, 4501, 4510, 4513, 4529, 4535, 4536, 4595, 4613, 4649, 4664, 4692, 4695, 4751, 4776, 4784, 4792, 4837, 4860, 4880, 4888, 4897, 4921, 4930, 4939, 4978, 5006, 5028, 5077, 5088, 5100, 5105, 5122, 5137, 5146, 5174, 5213, 5226, 5233, 5318, 5333, 5366, 5380, 5386, 5402, 5407, 5408, 5422, 5441, 5446, 5447, 5466, 5491, 5502, 5530, 5537, 5551, 5559, 5572, 5624, 5648, 5668, 5684, 5697, 5716, 5749, 5837, 5840, 5851, 5875, 5886, 5895, 5899, 5925, 5957, 5958, 6074, 6076, 6077, 6082, 6088, 6110, 6119, 6125, 6154, 6177, 6187, 6190, 6194, 6196, 6197, 6234, 6319, 6347, 6358, 6495, 6570, 6571, 6619, 6662, 6669, 6714, 6741, 6752, 6758, 6761, 6762, 6766, 6785, 6788, 6904, 6972, 7020, 7049, 7052, 7069, 7070, 7074, 7085, 7089, 7115, 7144, 7194, 7226, 7229, 7260, 7274, 7292, 7413, 7415, 7447, 7486, 7498, 7515, 7524, 7585, 7586, 7614, 7624, 7653, 7658, 7671, 7677, 7702, 7718, 7735, 7745, 7747, 7752, 7760, 7786, 7795, 7802, 7830, 7842, 7903, 7912, 7948, 7950, 7979, 8012, 8029, 8052, 8068, 8084, 8085, 8108, 8121, 8151, 8191, 8195, 8221, 8236, 8265, 8290, 8312, 8319, 8326, 8328, 8344, 8357, 8396, 8417, 8503, 8509, 8565, 8571, 8580, 8588, 8589, 8616, 8620, 8647, 8699, 8722, 8784, 8812, 8828, 8942, 8959, 8999, 9010, 9030, 9031, 9035, 9041, 9054, 9065, 9072, 9108, 9131, 9139, 9153, 9162, 9247, 9261, 9280, 9306, 9307, 9337, 9345, 9423, 9457, 9475, 9503, 9517, 9539, 9562, 9601, 9630, 9652, 9679, 9691, 9774, 9775, 9782, 9789, 9792, 9816, 9836, 9853, 9890, 9898, 9928, 9946, 9964, 9970, 9973]
      - 2:  554
  - name: "Test Case 163 (Num Generic Target Generic Negative True)"
    inputs:
      - 1:  [-9979, -9970, -9965, -9963, -9962, -9957, -9954, -9950, -9945, -9935, -9928, -9921, -9908, -9903, -9884, -9880, -9874, -9873, -9870, -9867, -9850, -9832, -9824, -9822, -9810, -9805, -9777, -9754, -9741, -9735, -9732, -9712, -9699, -9693, -9682, -9666, -9664, -9653, -9650, -9627, -9616, -9594, -9568, -9531, -9493, -9487, -9484, -9470, -9466, -9438, -9425, -9420, -9418, -9379, -9369, -9346, -9332, -9315, -9312, -9294, -9293, -9281, -9272, -9251, -9228, -9215, -9214, -9202, -9199, -9187, -9179, -9178, -9156, -9151, -9134, -9133, -9132, -9127, -9118, -9111, -9105, -9099, -9098, -9095, -9086, -9070, -9033, -9024, -9015, -8996, -8989, -8987, -8967, -8966, -8949, -8918, -8917, -8911, -8905, -8901, -8894, -8887, -8884, -8881, -8858, -8855, -8847, -8845, -8814, -8806, -8797, -8786, -8772, -8770, -8762, -8758, -8751, -8738, -8732, -8726, -8724, -8722, -8719, -8716, -8687, -8671, -8650, -8626, -8625, -8602, -8599, -8589, -8585, -8574, -8561, -8545, -8540, -8539, -8532, -8530, -8520, -8518, -8514, -8507, -8506, -8503, -8499, -8474, -8472, -8463, -8451, -8411, -8408, -8375, -8347, -8332, -8311, -8306, -8297, -8287, -8281, -8277, -8266, -8259, -8241, -8238, -8234, -8231, -8219, -8217, -8197, -8187, -8172, -8164, -8157, -8130, -8120, -8114, -8107, -8089, -8081, -8076, -8069, -8061, -8057, -8054, -8045, -8042, -8039, -8030, -8029, -8026, -8020, -8018, -8011, -7991, -7986, -7985, -7980, -7943, -7941, -7938, -7925, -7911, -7895, -7872, -7865, -7810, -7807, -7805, -7804, -7799, -7788, -7784, -7783, -7768, -7763, -7730, -7717, -7709, -7658, -7653, -7648, -7646, -7620, -7607, -7596, -7590, -7579, -7576, -7569, -7563, -7562, -7559, -7553, -7536, -7516, -7514, -7504, -7489, -7464, -7447, -7429, -7427, -7417, -7408, -7399, -7394, -7375, -7347, -7340, -7331, -7320, -7318, -7304, -7301, -7299, -7295, -7288, -7251, -7246, -7242, -7226, -7206, -7192, -7191, -7189, -7184, -7172, -7170, -7168, -7165, -7163, -7162, -7157, -7149, -7145, -7141, -7128, -7122, -7116, -7114, -7111, -7092, -7086, -7084, -7081, -7078, -7074, -7052, -7040, -7039, -7021, -7011, -6990, -6988, -6975, -6958, -6953, -6950, -6944, -6935, -6928, -6893, -6882, -6869, -6866, -6843, -6817, -6798, -6794, -6781, -6777, -6775, -6767, -6766, -6762, -6760, -6758, -6739, -6720, -6708, -6694, -6691, -6668, -6664, -6646, -6631, -6613, -6611, -6600, -6568, -6558, -6541, -6535, -6527, -6526, -6513, -6510, -6495, -6491, -6477, -6459, -6454, -6448, -6436, -6418, -6393, -6383, -6371, -6366, -6360, -6339, -6324, -6320, -6316, -6306, -6293, -6292, -6290, -6280, -6270, -6250, -6246, -6245, -6243, -6242, -6238, -6237, -6212, -6200, -6164, -6159, -6151, -6148, -6140, -6123, -6122, -6108, -6097, -6088, -6070, -6062, -6027, -6018, -6017, -5992, -5981, -5977, -5946, -5931, -5917, -5915, -5913, -5908, -5895, -5865, -5859, -5836, -5823, -5809, -5791, -5783, -5781, -5774, -5765, -5763, -5742, -5740, -5728, -5704, -5695, -5692, -5688, -5679, -5676, -5669, -5639, -5635, -5627, -5606, -5605, -5600, -5599, -5567, -5558, -5549, -5536, -5524, -5523, -5517, -5498, -5493, -5485, -5468, -5466, -5462, -5460, -5458, -5441, -5429, -5390, -5343, -5339, -5336, -5332, -5324, -5300, -5297, -5294, -5293, -5287, -5276, -5252, -5243, -5231, -5204, -5203, -5186, -5185, -5170, -5164, -5160, -5111, -5095, -5075, -5073, -5068, -5065, -5040, -5038, -5037, -5025, -4982, -4978, -4971, -4956, -4946, -4932, -4915, -4910, -4891, -4863, -4862, -4856, -4855, -4841, -4816, -4809, -4796, -4795, -4774, -4773, -4731, -4719, -4710, -4689, -4678, -4672, -4670, -4665, -4655, -4654, -4641, -4584, -4583, -4577, -4568, -4560, -4557, -4530, -4522, -4518, -4509, -4508, -4497, -4491, -4484, -4478, -4477, -4473, -4458, -4457, -4451, -4445, -4438, -4436, -4412, -4411, -4399, -4395, -4393, -4392, -4390, -4387, -4386, -4379, -4377, -4357, -4345, -4335, -4318, -4316, -4310, -4302, -4285, -4244, -4234, -4233, -4214, -4212, -4208, -4199, -4191, -4176, -4170, -4150, -4135, -4123, -4114, -4104, -4097, -4093, -4066, -4029, -4003, -4001, -3999, -3979, -3978, -3975, -3969, -3965, -3955, -3936, -3928, -3925, -3905, -3898, -3887, -3881, -3871, -3866, -3853, -3845, -3840, -3830, -3824, -3815, -3811, -3806, -3803, -3774, -3713, -3706, -3705, -3697, -3692, -3685, -3677, -3670, -3660, -3636, -3634, -3623, -3622, -3608, -3606, -3600, -3596, -3595, -3587, -3580, -3575, -3568, -3542, -3540, -3538, -3526, -3525, -3516, -3514, -3507, -3491, -3490, -3479, -3474, -3466, -3461, -3444, -3443, -3419, -3415, -3414, -3405, -3394, -3375, -3361, -3341, -3270, -3261, -3260, -3247, -3242, -3230, -3208, -3206, -3194, -3145, -3106, -3104, -3076, -3069, -3068, -3053, -3051, -3050, -3041, -3029, -3026, -3023, -3021, -3019, -3014, -3005, -3000, -2996, -2983, -2982, -2981, -2980, -2968, -2944, -2943, -2937, -2933, -2907, -2906, -2905, -2895, -2893, -2886, -2880, -2856, -2847, -2817, -2786, -2776, -2748, -2696, -2692, -2687, -2671, -2636, -2629, -2611, -2604, -2594, -2590, -2584, -2562, -2555, -2548, -2547, -2543, -2539, -2519, -2513, -2510, -2506, -2495, -2469, -2457, -2451, -2449, -2401, -2398, -2381, -2356, -2341, -2340, -2328, -2320, -2298, -2296, -2286, -2281, -2257, -2238, -2235, -2232, -2210, -2207, -2204, -2202, -2198, -2190, -2189, -2162, -2160, -2151, -2095, -2089, -2077, -2062, -2060, -2049, -2043, -2028, -2025, -2018, -1994, -1990, -1985, -1960, -1953, -1952, -1951, -1947, -1937, -1919, -1918, -1908, -1905, -1896, -1895, -1887, -1877, -1870, -1869, -1867, -1863, -1851, -1828, -1808, -1804, -1803, -1792, -1783, -1775, -1766, -1765, -1747, -1741, -1708, -1704, -1695, -1687, -1671, -1631, -1626, -1594, -1586, -1580, -1571, -1563, -1529, -1498, -1490, -1482, -1480, -1471, -1459, -1453, -1452, -1447, -1433, -1425, -1419, -1418, -1391, -1380, -1373, -1370, -1368, -1364, -1350, -1348, -1346, -1335, -1318, -1316, -1306, -1303, -1267, -1232, -1217, -1194, -1192, -1190, -1172, -1160, -1156, -1154, -1135, -1127, -1124, -1121, -1120, -1118, -1097, -1093, -1080, -1075, -1070, -1068, -1048, -1041, -1035, -1032, -1031, -1009, -1008, -992, -986, -985, -980, -976, -972, -971, -958, -956, -947, -941, -916, -908, -906, -899, -893, -885, -876, -868, -856, -841, -836, -832, -768, -747, -746, -728, -726, -698, -692, -690, -689, -638, -619, -618, -597, -577, -576, -564, -546, -544, -542, -523, -521, -519, -513, -509, -497, -484, -463, -455, -446, -395, -389, -352, -347, -343, -337, -336, -333, -328, -322, -315, -289, -273, -265, -261, -245, -231, -213, -188, -181, -172, -171, -170, -169, -164, -159, -155, -152, -132, -118, -70, -68, -58, -44, -40, -36, -28, -26, -23, -14, -8, -4]
      - 2:  -4233
  - name: "Test Case 173 (Num Generic Target Generic Positive True)"
    inputs:
      - 1:  [19, 25, 30, 42, 45, 50, 66, 76, 114, 115, 133, 136, 143, 145, 164, 165, 178, 191, 198, 214, 220, 229, 237, 246, 257, 265, 282, 285, 304, 307, 315, 318, 340, 356, 375, 381, 397, 408, 414, 438, 443, 447, 469, 476, 483, 501, 504, 505, 532, 534, 551, 563, 565, 579, 604, 606, 611, 623, 636, 649, 688, 706, 722, 723, 758, 765, 771, 790, 793, 796, 799, 801, 818, 852, 858, 872, 881, 888, 889, 893, 910, 919, 920, 928, 940, 954, 961, 966, 990, 991, 1025, 1027, 1028, 1031, 1051, 1054, 1068, 1111, 1122, 1135, 1141, 1186, 1198, 1199, 1220, 1225, 1227, 1232, 1234, 1235, 1250, 1265, 1275, 1288, 1305, 1321, 1337, 1338, 1340, 1346, 1349, 1355, 1369, 1389, 1401, 1407, 1411, 1419, 1432, 1436, 1449, 1459, 1469, 1475, 1488, 1499, 1504, 1506, 1524, 1528, 1544, 1547, 1548, 1549, 1551, 1561, 1577, 1584, 1598, 1614, 1617, 1666, 1673, 1678, 1696, 1699, 1702, 1719, 1765, 1774, 1786, 1813, 1831, 1832, 1841, 1851, 1852, 1856, 1865, 1869, 1872, 1873, 1878, 1913, 1937, 1939, 1949, 1952, 1982, 2011, 2025, 2046, 2049, 2055, 2060, 2065, 2066, 2072, 2103, 2106, 2134, 2147, 2149, 2162, 2173, 2186, 2189, 2204, 2207, 2215, 2232, 2241, 2252, 2261, 2265, 2271, 2275, 2281, 2293, 2301, 2303, 2305, 2324, 2329, 2337, 2352, 2360, 2365, 2381, 2398, 2404, 2405, 2416, 2433, 2445, 2451, 2486, 2498, 2517, 2521, 2542, 2543, 2549, 2558, 2562, 2580, 2584, 2607, 2609, 2612, 2667, 2674, 2737, 2738, 2746, 2747, 2750, 2761, 2762, 2779, 2781, 2792, 2796, 2799, 2800, 2829, 2833, 2836, 2854, 2866, 2868, 2890, 2908, 2912, 2929, 2939, 2954, 2970, 2972, 2996, 3001, 3013, 3058, 3066, 3078, 3083, 3106, 3111, 3112, 3113, 3117, 3121, 3130, 3137, 3162, 3172, 3177, 3184, 3191, 3203, 3206, 3208, 3215, 3221, 3223, 3256, 3263, 3273, 3316, 3319, 3334, 3354, 3366, 3368, 3384, 3392, 3397, 3405, 3422, 3423, 3436, 3446, 3460, 3462, 3469, 3489, 3504, 3507, 3525, 3540, 3548, 3579, 3593, 3611, 3614, 3618, 3643, 3655, 3660, 3665, 3666, 3670, 3688, 3699, 3703, 3711, 3723, 3728, 3737, 3757, 3776, 3783, 3830, 3831, 3843, 3878, 3918, 3920, 3963, 3970, 3990, 3995, 4022, 4024, 4027, 4028, 4045, 4056, 4071, 4095, 4104, 4116, 4121, 4133, 4166, 4175, 4181, 4190, 4197, 4207, 4215, 4238, 4244, 4260, 4287, 4292, 4293, 4310, 4312, 4329, 4337, 4341, 4344, 4359, 4365, 4367, 4370, 4377, 4397, 4405, 4407, 4415, 4440, 4450, 4463, 4464, 4506, 4507, 4522, 4543, 4560, 4565, 4568, 4569, 4579, 4590, 4592, 4598, 4607, 4624, 4626, 4628, 4646, 4652, 4670, 4692, 4711, 4713, 4735, 4753, 4770, 4772, 4784, 4788, 4799, 4805, 4811, 4812, 4813, 4819, 4834, 4835, 4838, 4841, 4842, 4854, 4866, 4881, 4883, 4892, 4929, 4931, 4937, 4950, 4974, 4975, 4980, 4983, 4987, 4996, 5014, 5018, 5024, 5036, 5039, 5045, 5071, 5097, 5105, 5118, 5120, 5121, 5134, 5139, 5157, 5159, 5163, 5184, 5189, 5191, 5197, 5214, 5217, 5228, 5254, 5256, 5264, 5266, 5291, 5325, 5331, 5336, 5353, 5365, 5379, 5380, 5388, 5390, 5408, 5428, 5433, 5456, 5463, 5464, 5482, 5489, 5491, 5497, 5514, 5515, 5531, 5534, 5537, 5542, 5543, 5557, 5570, 5586, 5597, 5610, 5616, 5623, 5635, 5636, 5637, 5651, 5659, 5662, 5677, 5680, 5706, 5722, 5731, 5733, 5734, 5738, 5764, 5768, 5772, 5778, 5784, 5793, 5814, 5827, 5828, 5849, 5850, 5852, 5857, 5870, 5872, 5895, 5897, 5898, 5916, 5917, 5919, 5932, 5943, 5945, 5954, 5974, 5986, 5990, 5999, 6001, 6020, 6025, 6030, 6048, 6064, 6067, 6068, 6095, 6099, 6100, 6110, 6112, 6120, 6131, 6134, 6137, 6151, 6154, 6155, 6163, 6168, 6169, 6176, 6191, 6200, 6207, 6241, 6242, 6245, 6296, 6308, 6314, 6336, 6339, 6340, 6351, 6354, 6368, 6375, 6378, 6393, 6397, 6399, 6403, 6405, 6419, 6446, 6464, 6468, 6469, 6474, 6478, 6480, 6482, 6487, 6488, 6493, 6500, 6502, 6505, 6507, 6511, 6513, 6520, 6543, 6555, 6564, 6578, 6581, 6598, 6616, 6620, 6625, 6646, 6651, 6656, 6692, 6722, 6723, 6733, 6740, 6753, 6768, 6781, 6783, 6789, 6790, 6822, 6827, 6830, 6834, 6837, 6840, 6843, 6858, 6866, 6887, 6894, 6912, 6921, 6938, 6942, 6946, 6950, 6972, 6974, 6976, 6977, 6989, 6995, 7021, 7036, 7041, 7062, 7071, 7079, 7086, 7088, 7092, 7099, 7105, 7110, 7143, 7148, 7151, 7153, 7161, 7162, 7181, 7198, 7209, 7222, 7226, 7269, 7287, 7292, 7304, 7315, 7320, 7344, 7356, 7380, 7394, 7405, 7415, 7427, 7431, 7438, 7440, 7441, 7450, 7457, 7461, 7462, 7463, 7473, 7475, 7509, 7520, 7530, 7541, 7560, 7571, 7585, 7610, 7619, 7631, 7672, 7676, 7680, 7682, 7687, 7694, 7699, 7705, 7726, 7729, 7743, 7745, 7747, 7769, 7770, 7771, 7775, 7798, 7818, 7825, 7836, 7843, 7846, 7886, 7906, 7929, 7935, 7941, 7947, 7954, 7960, 7970, 7976, 7980, 7981, 7988, 7989, 7991, 7999, 8024, 8027, 8033, 8037, 8050, 8063, 8074, 8083, 8092, 8110, 8128, 8129, 8135, 8152, 8213, 8217, 8227, 8234, 8235, 8239, 8254, 8270, 8293, 8296, 8310, 8314, 8326, 8331, 8347, 8353, 8363, 8370, 8384, 8388, 8402, 8406, 8417, 8426, 8427, 8453, 8454, 8469, 8477, 8480, 8488, 8493, 8500, 8504, 8506, 8530, 8534, 8543, 8561, 8562, 8564, 8574, 8579, 8587, 8591, 8604, 8613, 8620, 8633, 8644, 8649, 8665, 8679, 8687, 8741, 8758, 8759, 8766, 8779, 8781, 8787, 8800, 8801, 8805, 8810, 8821, 8847, 8848, 8853, 8860, 8866, 8869, 8870, 8872, 8885, 8890, 8917, 8919, 8924, 8948, 8961, 8963, 8965, 8966, 8999, 9011, 9025, 9032, 9046, 9057, 9062, 9084, 9085, 9108, 9116, 9132, 9134, 9135, 9152, 9155, 9186, 9202, 9204, 9223, 9231, 9240, 9243, 9249, 9250, 9271, 9298, 9312, 9313, 9324, 9327, 9344, 9372, 9406, 9430, 9434, 9439, 9457, 9467, 9473, 9502, 9510, 9518, 9521, 9523, 9534, 9535, 9547, 9552, 9579, 9588, 9610, 9636, 9637, 9684, 9703, 9716, 9721, 9749, 9751, 9760, 9793, 9797, 9800, 9801, 9809, 9812, 9829, 9841, 9871, 9875, 9894, 9897, 9902, 9930, 9931, 9935, 9937, 9959, 9960, 9964, 9976, 9985, 9987, 9995]
      - 2:  6446
  - name: "Test Case 183 (Num Generic Target Generic Minmax True)"
    inputs:
      - 1:  [-10000, -9975, -9962, -9934, -9917, -9913, -9896, -9886, -9868, -9849, -9796, -9795, -9761, -9759, -9752, -9715, -9706, -9700, -9665, -9647, -9638, -9603, -9575, -9569, -9552, -9536, -9513, -9484, -9436, -9420, -9413, -9390, -9384, -9382, -9378, -9326, -9316, -9246, -9238, -9215, -9207, -9203, -9195, -9191, -9187, -9173, -9169, -9139, -9105, -9072, -9068, -9058, -9037, -9024, -9005, -8991, -8983, -8958, -8916, -8887, -8867, -8846, -8844, -8843, -8821, -8790, -8760, -8752, -8751, -8708, -8690, -8656, -8645, -8630, -8622, -8614, -8600, -8592, -8568, -8567, -8564, -8552, -8494, -8482, -8458, -8453, -8446, -8412, -8396, -8390, -8389, -8375, -8334, -8314, -8266, -8260, -8253, -8236, -8223, -8220, -8219, -8197, -8193, -8192, -8182, -8158, -8137, -8119, -8055, -8016, -8014, -8006, -7928, -7927, -7891, -7885, -7883, -7801, -7758, -7684, -7656, -7651, -7635, -7624, -7616, -7608, -7605, -7594, -7563, -7559, -7529, -7521, -7520, -7484, -7474, -7472, -7364, -7353, -7339, -7330, -7324, -7302, -7288, -7283, -7276, -7265, -7253, -7241, -7237, -7222, -7139, -7108, -7102, -7095, -7019, -7009, -6962, -6955, -6947, -6945, -6943, -6937, -6913, -6910, -6896, -6867, -6862, -6841, -6839, -6837, -6829, -6815, -6798, -6797, -6779, -6750, -6719, -6708, -6699, -6688, -6615, -6597, -6592, -6571, -6515, -6510, -6502, -6468, -6442, -6438, -6424, -6418, -6389, -6374, -6367, -6334, -6324, -6311, -6288, -6257, -6246, -6233, -6181, -6170, -6110, -6086, -6080, -6073, -6070, -6044, -6042, -6036, -6017, -5986, -5958, -5952, -5913, -5874, -5845, -5821, -5812, -5807, -5792, -5754, -5750, -5700, -5691, -5674, -5650, -5605, -5604, -5600, -5558, -5551, -5547, -5541, -5533, -5530, -5510, -5485, -5482, -5455, -5430, -5417, -5352, -5209, -5199, -5176, -5168, -5162, -5118, -5105, -5072, -5067, -5011, -4995, -4987, -4965, -4949, -4927, -4922, -4914, -4913, -4911, -4900, -4854, -4827, -4800, -4794, -4780, -4736, -4709, -4696, -4675, -4670, -4632, -4620, -4611, -4544, -4531, -4523, -4490, -4467, -4456, -4434, -4429, -4425, -4418, -4382, -4361, -4325, -4322, -4286, -4282, -4246, -4233, -4207, -4205, -4169, -4127, -4109, -4105, -4078, -4053, -4052, -4022, -4019, -4016, -4010, -3989, -3982, -3943, -3925, -3904, -3901, -3874, -3868, -3866, -3833, -3796, -3768, -3749, -3732, -3722, -3684, -3673, -3671, -3650, -3642, -3633, -3592, -3587, -3542, -3539, -3531, -3486, -3480, -3476, -3454, -3430, -3422, -3414, -3411, -3403, -3356, -3351, -3348, -3319, -3317, -3289, -3276, -3173, -3160, -3138, -3134, -3115, -3114, -3089, -3011, -2949, -2946, -2929, -2797, -2783, -2776, -2735, -2733, -2708, -2700, -2697, -2689, -2684, -2671, -2665, -2655, -2651, -2631, -2612, -2590, -2589, -2555, -2550, -2524, -2494, -2472, -2411, -2403, -2396, -2368, -2360, -2351, -2334, -2296, -2269, -2256, -2254, -2249, -2237, -2229, -2146, -2129, -2088, -2051, -2032, -2027, -2026, -1987, -1972, -1945, -1942, -1940, -1928, -1906, -1895, -1889, -1862, -1852, -1839, -1792, -1787, -1764, -1732, -1716, -1702, -1678, -1666, -1603, -1596, -1592, -1575, -1559, -1541, -1507, -1481, -1480, -1445, -1444, -1418, -1397, -1395, -1392, -1293, -1282, -1264, -1231, -1211, -1187, -1179, -1139, -1127, -1113, -1110, -1104, -1089, -1080, -1019, -982, -975, -901, -899, -886, -875, -782, -776, -769, -714, -664, -662, -647, -626, -619, -603, -591, -577, -561, -454, -446, -434, -420, -411, -388, -362, -360, -353, -278, -257, -245, -235, -228, -206, -188, -172, -167, -163, -122, -99, -88, -67, -56, -49, 6, 27, 32, 39, 49, 108, 156, 178, 185, 189, 219, 257, 309, 321, 334, 338, 373, 397, 402, 417, 420, 422, 430, 440, 483, 493, 506, 509, 538, 558, 574, 579, 591, 597, 608, 629, 655, 662, 690, 752, 758, 766, 788, 824, 835, 845, 864, 870, 889, 902, 907, 910, 913, 915, 923, 1035, 1069, 1130, 1144, 1153, 1157, 1158, 1168, 1188, 1206, 1228, 1247, 1266, 1279, 1291, 1364, 1411, 1417, 1443, 1466, 1483, 1534, 1580, 1597, 1599, 1612, 1621, 1637, 1642, 1668, 1669, 1765, 1780, 1801, 1819, 1833, 1835, 1916, 1953, 1966, 2001, 2002, 2009, 2027, 2044, 2060, 2074, 2086, 2113, 2121, 2157, 2176, 2191, 2197, 2206, 2217, 2244, 2250, 2253, 2260, 2322, 2380, 2384, 2421, 2481, 2495, 2512, 2518, 2540, 2557, 2559, 2565, 2581, 2601, 2629, 2634, 2677, 2683, 2686, 2713, 2738, 2828, 2864, 2899, 2920, 2922, 2926, 2948, 2997, 3003, 3017, 3043, 3064, 3065, 3067, 3088, 3122, 3144, 3150, 3165, 3178, 3197, 3209, 3216, 3264, 3318, 3332, 3333, 3336, 3373, 3374, 3380, 3394, 3408, 3419, 3448, 3452, 3472, 3484, 3501, 3516, 3520, 3535, 3571, 3640, 3668, 3686, 3722, 3736, 3756, 3774, 3784, 3791, 3828, 3843, 3896, 3912, 3929, 3936, 3947, 3961, 3982, 3997, 3999, 4023, 4039, 4042, 4108, 4109, 4212, 4213, 4224, 4227, 4253, 4260, 4267, 4273, 4303, 4342, 4372, 4401, 4414, 4446, 4464, 4466, 4468, 4573, 4574, 4605, 4647, 4650, 4654, 4673, 4700, 4752, 4801, 4843, 4849, 4875, 4896, 4900, 4919, 4926, 4927, 4942, 4957, 4969, 4976, 5014, 5055, 5155, 5164, 5183, 5193, 5217, 5259, 5287, 5289, 5322, 5331, 5340, 5352, 5361, 5362, 5377, 5387, 5407, 5409, 5429, 5521, 5665, 5672, 5687, 5722, 5726, 5727, 5775, 5807, 5810, 5814, 5839, 5860, 5880, 5895, 5912, 5926, 5942, 5952, 5981, 5994, 6037, 6048, 6061, 6065, 6088, 6110, 6156, 6175, 6177, 6182, 6183, 6186, 6187, 6188, 6220, 6269, 6296, 6300, 6332, 6388, 6394, 6416, 6450, 6472, 6475, 6488, 6537, 6539, 6546, 6576, 6603, 6615, 6628, 6632, 6670, 6724, 6744, 6757, 6766, 6774, 6812, 6841, 6867, 6873, 6888, 6898, 6935, 6956, 6970, 7001, 7033, 7091, 7125, 7153, 7180, 7194, 7234, 7268, 7269, 7287, 7288, 7289, 7297, 7337, 7357, 7458, 7465, 7486, 7524, 7538, 7542, 7587, 7593, 7595, 7598, 7605, 7609, 7639, 7683, 7686, 7705, 7717, 7745, 7749, 7755, 7761, 7767, 7772, 7804, 7833, 7890, 7935, 7950, 7957, 7961, 7974, 8006, 8058, 8103, 8108, 8140, 8141, 8143, 8166, 8203, 8217, 8230, 8259, 8267, 8282, 8321, 8326, 8453, 8481, 8486, 8489, 8504, 8524, 8542, 8543, 8574, 8576, 8580, 8587, 8595, 8602, 8622, 8627, 8637, 8669, 8691, 8703, 8733, 8796, 8823, 8866, 8889, 8895, 8947, 8954, 8976, 8991, 9005, 9050, 9055, 9070, 9085, 9088, 9093, 9138, 9167, 9174, 9191, 9203, 9235, 9245, 9283, 9289, 9297, 9340, 9387, 9391, 9406, 9407, 9494, 9570, 9591, 9608, 9609, 9624, 9658, 9666, 9667, 9668, 9694, 9743, 9757, 9765, 9778, 9794, 9796, 9843, 9860, 9870, 9878, 9893, 9896, 9903, 9906, 9913, 9917, 9926, 9953, 9958, 9987, 10000]
      - 2:  5361