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:  [-5229]
      - 2:  -10000
  - name: "Test Case 9 (Num Min Target Generic True)"
    inputs:
      - 1:  [-6206]
      - 2:  -6206
  - name: "Test Case 16 (Num Min Target Generic False)"
    inputs:
      - 1:  [8252]
      - 2:  -7178
  - name: "Test Case 23 (Num Min Target Max True)"
    inputs:
      - 1:  [10000]
      - 2:  10000
  - name: "Test Case 24 (Num Min Target Max False)"
    inputs:
      - 1:  [-8544]
      - 2:  9037
  - name: "Test Case 31 (Num Generic Target Min True)"
    inputs:
      - 1:  [-1267, -1259, -1243, -1237, -1229, -1217, -1198, -1189, -1166, -1160, -1157, -1137, -1097, -1092, -1080, -1075, -1071, -1045, -1010, -1000, -971, -966, -962, -933, -925, -922, -842, -838, -811, -756, -752, -751, -742, -741, -727, -726, -715, -683, -644, -616, -583, -561, -537, -517, -473, -466, -458, -456, -446, -444, -391, -379, -357, -355, -332, -294, -284, -280, -275, -274, -243, -220, -214, -199, -192, -158, -146, -142, -134, -117, -78, -50, -49, -35, -30, -18, -15, -4, 6, 31, 49, 103, 165, 174, 177, 231, 233, 256, 260, 278, 284, 295, 312, 327, 351, 382, 385, 430, 453, 457, 461, 476, 547, 557, 576, 591, 607, 617, 625, 645, 653, 685, 709, 714, 741, 756, 797, 818, 853, 855, 858, 889, 908, 919, 946, 998, 1013, 1030, 1052, 1053, 1066, 1068, 1075, 1093, 1138, 1149, 1150, 1166, 1192, 1204, 1253, 1277, 1301, 1325, 1341, 1361, 1381, 1411, 1429, 1457, 1463, 1497, 1540, 1548, 1623, 1681, 1686, 1762, 1766, 1788, 1798, 1821, 1835, 1840, 1862, 1865, 1875, 1890, 1896, 1905, 1918, 1971, 1992, 2034, 2071, 2079, 2094, 2099, 2150, 2157, 2158, 2176, 2181, 2186, 2193, 2207, 2217, 2226, 2229, 2263, 2301, 2326, 2360, 2394, 2399, 2407, 2412, 2448, 2473, 2483, 2488, 2520, 2521, 2576, 2626, 2646, 2656, 2659, 2671, 2681, 2734, 2743, 2762, 2765, 2782, 2787, 2797, 2845, 2875, 2885, 2900, 2920, 2950, 2968, 2975, 2978, 2979, 2982, 3005, 3044, 3066, 3084, 3091, 3106, 3117, 3123, 3148, 3161, 3162, 3165, 3242, 3261, 3308, 3318, 3319, 3327, 3366, 3408, 3415, 3419, 3433, 3442, 3502, 3524, 3534, 3621, 3630, 3636, 3653, 3701, 3718, 3723, 3731, 3739, 3753, 3813, 3848, 3863, 3871, 3873, 3889, 3937, 3941, 3950, 3968, 3983, 3989, 4023, 4060, 4073, 4082, 4086, 4093, 4112, 4113, 4126, 4215, 4250, 4269, 4285, 4333, 4336, 4345, 4388, 4391, 4414, 4432, 4465, 4469, 4486, 4496, 4503, 4519, 4534, 4537, 4607, 4684, 4686, 4691, 4693, 4697, 4719, 4721, 4778, 4797, 4822, 4856, 4862, 4867, 4873, 4877, 4915, 4916, 4921, 4939, 4941, 4949, 4965, 5033, 5061, 5104, 5112, 5137, 5152, 5156, 5184, 5187, 5201, 5235, 5238, 5243, 5265, 5308, 5322, 5334, 5355, 5363, 5376, 5390, 5453, 5455, 5475, 5488, 5502, 5510, 5547, 5628, 5630, 5647, 5658, 5758, 5770, 5779, 5782, 5785, 5797, 5821, 5833, 5904, 5908, 5909, 5916, 5925, 5932, 5952, 6007, 6044, 6045, 6046, 6058, 6060, 6074, 6098, 6101, 6136, 6153, 6193, 6202, 6224, 6238, 6260, 6267, 6275, 6288, 6296, 6304, 6385, 6387, 6402, 6410, 6429, 6434, 6445, 6474, 6478, 6484, 6495, 6498, 6548, 6595, 6658, 6661, 6670, 6674, 6677, 6713, 6743, 6753, 6780, 6801, 6814, 6818, 6853, 6871, 6872, 6897, 6898, 6921, 6928, 6966, 6974, 6983, 7003, 7005, 7061, 7096, 7102, 7123, 7157, 7169, 7170, 7196, 7220, 7278, 7281, 7283, 7286, 7355, 7405, 7408, 7409, 7425, 7445, 7459, 7496, 7509, 7520, 7529, 7543, 7555, 7622, 7679, 7681, 7689, 7696, 7732, 7752, 7753, 7759, 7769, 7771, 7791, 7841, 7862, 7882, 7888, 7895, 7902, 7921, 7931, 7943, 7978, 7991, 8054, 8070, 8092, 8099, 8134, 8136, 8204, 8207, 8213, 8225, 8231, 8255, 8262, 8288, 8297, 8331, 8338, 8350, 8447, 8465, 8471, 8473, 8544, 8571, 8574, 8592, 8715, 8750, 8767, 8834, 8835, 8889, 8909, 8940, 8947, 8969, 8994, 9005, 9068, 9086, 9088, 9094, 9119, 9132, 9236, 9243, 9282, 9284, 9285, 9353, 9422, 9483, 9500, 9504, 9521, 9523, 9584, 9623, 9626, 9639, 9661, 9685, 9692, 9822, 9828, 9868, 9900, 9910, 9915, 9928, 9931, 9941, 9947, 9978, 9979, 9980, 9988, 9995, -10000, -9994, -9946, -9936, -9922, -9921, -9908, -9835, -9805, -9751, -9710, -9663, -9657, -9622, -9599, -9585, -9571, -9534, -9524, -9512, -9505, -9463, -9447, -9401, -9395, -9378, -9356, -9328, -9287, -9250, -9249, -9206, -9187, -9181, -9144, -9137, -9127, -9123, -9098, -9091, -9056, -9054, -8985, -8966, -8955, -8951, -8942, -8924, -8882, -8871, -8870, -8868, -8867, -8851, -8848, -8825, -8824, -8817, -8815, -8754, -8751, -8749, -8734, -8724, -8714, -8666, -8646, -8631, -8619, -8600, -8589, -8586, -8584, -8577, -8570, -8567, -8556, -8554, -8545, -8542, -8506, -8472, -8458, -8438, -8436, -8431, -8392, -8385, -8371, -8365, -8363, -8354, -8321, -8287, -8263, -8260, -8214, -8210, -8199, -8192, -8174, -8160, -8159, -8128, -8120, -8058, -8051, -8049, -8042, -8038, -8030, -8006, -8005, -8002, -7993, -7964, -7962, -7958, -7946, -7942, -7936, -7919, -7887, -7882, -7842, -7823, -7821, -7792, -7786, -7770, -7765, -7755, -7754, -7731, -7722, -7713, -7711, -7708, -7651, -7643, -7588, -7550, -7543, -7533, -7530, -7514, -7489, -7460, -7434, -7416, -7385, -7371, -7369, -7335, -7333, -7288, -7283, -7267, -7247, -7240, -7233, -7212, -7184, -7182, -7160, -7139, -7127, -7096, -7084, -7080, -7048, -7030, -7019, -6994, -6972, -6968, -6943, -6941, -6929, -6890, -6867, -6854, -6836, -6819, -6816, -6799, -6724, -6713, -6643, -6635, -6597, -6591, -6577, -6552, -6548, -6526, -6518, -6514, -6499, -6495, -6487, -6441, -6407, -6373, -6360, -6343, -6317, -6300, -6297, -6294, -6269, -6236, -6218, -6156, -6137, -6095, -6093, -6052, -6000, -5939, -5898, -5895, -5830, -5827, -5826, -5800, -5765, -5764, -5733, -5726, -5718, -5670, -5652, -5632, -5620, -5616, -5507, -5496, -5494, -5487, -5434, -5400, -5399, -5367, -5352, -5346, -5338, -5328, -5307, -5251, -5241, -5226, -5184, -5168, -5152, -5131, -5112, -5109, -5095, -5059, -5028, -5009, -4992, -4975, -4959, -4943, -4888, -4832, -4818, -4786, -4781, -4771, -4748, -4726, -4718, -4668, -4647, -4636, -4594, -4577, -4562, -4524, -4515, -4491, -4483, -4470, -4468, -4452, -4432, -4413, -4331, -4330, -4312, -4242, -4236, -4232, -4227, -4206, -4170, -4163, -4117, -4092, -4080, -4072, -4070, -4036, -3989, -3988, -3954, -3950, -3924, -3858, -3840, -3832, -3831, -3762, -3732, -3685, -3657, -3636, -3634, -3627, -3561, -3539, -3497, -3476, -3453, -3449, -3387, -3342, -3312, -3311, -3307, -3296, -3291, -3256, -3199, -3153, -3136, -3133, -3103, -3082, -3067, -3057, -3039, -3024, -2989, -2983, -2977, -2973, -2959, -2917, -2909, -2904, -2883, -2869, -2840, -2834, -2801, -2796, -2778, -2764, -2732, -2703, -2689, -2656, -2615, -2549, -2544, -2526, -2517, -2516, -2513, -2475, -2448, -2423, -2361, -2326, -2322, -2314, -2296, -2282, -2256, -2245, -2240, -2228, -2195, -2171, -2128, -2098, -2060, -2045, -1997, -1894, -1857, -1792, -1749, -1739, -1713, -1701, -1666, -1658, -1646, -1639, -1616, -1579, -1564, -1552, -1550, -1488, -1475, -1466, -1437, -1426, -1405, -1367, -1343, -1337, -1305, -1297, -1287, -1271]
      - 2:  -10000
  - name: "Test Case 38 (Num Generic Target Min False)"
    inputs:
      - 1:  [4104, 4122, 4146, 4147, 4155, 4170, 4177, 4179, 4196, 4205, 4254, 4263, 4293, 4295, 4322, 4342, 4349, 4358, 4382, 4385, 4387, 4452, 4537, 4557, 4560, 4618, 4623, 4624, 4626, 4639, 4661, 4681, 4700, 4758, 4763, 4779, 4805, 4848, 4852, 4878, 4885, 4896, 4898, 4906, 4907, 4998, 5011, 5021, 5074, 5144, 5165, 5182, 5195, 5206, 5264, 5283, 5302, 5338, 5339, 5399, 5404, 5432, 5536, 5595, 5613, 5749, 5762, 5773, 5787, 5796, 5797, 5840, 5849, 5892, 5906, 5947, 5966, 6050, 6052, 6069, 6104, 6111, 6120, 6134, 6144, 6173, 6174, 6216, 6256, 6263, 6277, 6307, 6325, 6361, 6389, 6437, 6483, 6506, 6563, 6615, 6621, 6648, 6675, 6698, 6700, 6705, 6711, 6758, 6771, 6787, 6823, 6875, 6904, 6920, 6926, 6931, 6949, 6964, 6976, 6978, 6998, 7004, 7074, 7076, 7077, 7079, 7186, 7196, 7207, 7210, 7252, 7266, 7270, 7288, 7298, 7308, 7330, 7347, 7376, 7386, 7388, 7395, 7423, 7446, 7456, 7479, 7491, 7496, 7501, 7523, 7582, 7615, 7624, 7632, 7634, 7697, 7705, 7768, 7797, 7811, 7813, 7842, 7852, 7886, 7887, 7891, 7899, 7922, 7927, 7935, 7944, 7967, 7982, 8026, 8098, 8119, 8127, 8143, 8153, 8180, 8186, 8203, 8277, 8311, 8328, 8360, 8368, 8370, 8382, 8461, 8472, 8516, 8534, 8538, 8540, 8559, 8583, 8669, 8686, 8691, 8746, 8760, 8766, 8782, 8794, 8818, 8831, 8856, 8880, 8911, 8950, 8961, 8975, 8983, 8993, 8995, 9016, 9032, 9046, 9065, 9072, 9125, 9132, 9184, 9186, 9226, 9255, 9288, 9305, 9319, 9357, 9399, 9426, 9441, 9454, 9470, 9490, 9515, 9518, 9521, 9570, 9584, 9591, 9614, 9629, 9659, 9673, 9680, 9702, 9845, 9848, 9873, 9889, 9918, 9920, 9956, -9995, -9972, -9959, -9951, -9949, -9934, -9875, -9869, -9828, -9825, -9796, -9784, -9781, -9753, -9746, -9745, -9734, -9709, -9649, -9625, -9624, -9611, -9595, -9592, -9591, -9538, -9502, -9480, -9475, -9440, -9438, -9399, -9355, -9330, -9313, -9302, -9278, -9254, -9170, -9136, -9130, -9123, -9106, -9103, -9097, -9093, -9068, -9055, -9050, -9011, -8981, -8960, -8944, -8938, -8921, -8898, -8871, -8839, -8829, -8789, -8785, -8781, -8743, -8730, -8725, -8721, -8703, -8682, -8681, -8625, -8624, -8597, -8583, -8553, -8536, -8533, -8525, -8507, -8502, -8498, -8471, -8445, -8405, -8398, -8368, -8353, -8349, -8342, -8331, -8330, -8318, -8310, -8306, -8294, -8291, -8268, -8251, -8244, -8205, -8191, -8164, -8098, -8063, -8046, -8016, -8005, -7988, -7984, -7983, -7938, -7932, -7919, -7901, -7892, -7886, -7854, -7851, -7840, -7778, -7710, -7699, -7695, -7636, -7603, -7592, -7578, -7533, -7498, -7475, -7389, -7379, -7368, -7311, -7310, -7298, -7266, -7263, -7242, -7232, -7218, -7216, -7211, -7164, -7141, -7119, -7117, -7106, -7103, -7087, -7041, -7034, -7027, -7026, -7013, -7002, -6985, -6964, -6960, -6955, -6954, -6928, -6908, -6882, -6879, -6866, -6859, -6795, -6780, -6776, -6761, -6713, -6609, -6601, -6596, -6547, -6510, -6493, -6468, -6450, -6416, -6412, -6397, -6394, -6356, -6338, -6331, -6300, -6285, -6270, -6233, -6194, -6148, -6136, -6119, -6117, -6113, -6059, -6042, -6010, -5993, -5952, -5936, -5924, -5888, -5851, -5776, -5774, -5766, -5757, -5756, -5755, -5747, -5740, -5725, -5711, -5705, -5694, -5639, -5628, -5620, -5576, -5573, -5572, -5532, -5495, -5488, -5473, -5469, -5453, -5444, -5435, -5400, -5364, -5347, -5288, -5253, -5251, -5242, -5214, -5195, -5178, -5168, -5164, -5156, -5148, -5119, -5093, -5082, -5075, -5064, -5045, -5043, -5042, -5023, -4994, -4991, -4974, -4973, -4972, -4955, -4926, -4909, -4908, -4897, -4863, -4858, -4844, -4840, -4829, -4787, -4782, -4723, -4706, -4690, -4680, -4677, -4676, -4666, -4618, -4608, -4604, -4584, -4550, -4531, -4488, -4465, -4454, -4444, -4436, -4426, -4419, -4418, -4338, -4265, -4264, -4249, -4236, -4224, -4196, -4194, -4190, -4158, -4138, -4133, -4132, -4129, -4088, -4028, -3958, -3957, -3948, -3893, -3876, -3832, -3811, -3782, -3781, -3761, -3757, -3727, -3719, -3713, -3701, -3612, -3581, -3560, -3531, -3507, -3478, -3460, -3429, -3418, -3415, -3396, -3354, -3345, -3327, -3317, -3315, -3308, -3267, -3260, -3231, -3223, -3217, -3211, -3139, -3129, -3126, -3118, -3089, -3084, -3075, -3043, -3041, -3019, -3003, -3002, -2988, -2952, -2927, -2904, -2871, -2868, -2853, -2829, -2821, -2819, -2802, -2788, -2756, -2755, -2733, -2723, -2693, -2681, -2680, -2659, -2606, -2563, -2543, -2512, -2476, -2456, -2392, -2349, -2327, -2319, -2315, -2301, -2296, -2278, -2274, -2269, -2260, -2259, -2245, -2226, -2225, -2185, -2175, -2174, -2141, -2131, -2122, -2071, -2069, -2066, -2057, -2036, -2006, -1978, -1922, -1918, -1917, -1916, -1905, -1904, -1896, -1894, -1879, -1871, -1830, -1807, -1786, -1748, -1706, -1704, -1693, -1691, -1654, -1638, -1626, -1615, -1608, -1597, -1591, -1540, -1531, -1526, -1494, -1487, -1484, -1473, -1469, -1464, -1458, -1451, -1448, -1441, -1420, -1419, -1412, -1370, -1348, -1321, -1305, -1276, -1274, -1266, -1263, -1257, -1253, -1252, -1249, -1240, -1238, -1212, -1211, -1199, -1185, -1172, -1159, -1144, -1116, -1107, -1106, -1046, -1021, -1004, -986, -981, -977, -973, -938, -929, -906, -884, -883, -848, -846, -800, -790, -774, -756, -720, -657, -615, -587, -558, -529, -519, -516, -511, -499, -468, -467, -445, -416, -402, -388, -377, -360, -357, -355, -351, -349, -300, -288, -278, -245, -209, -202, -156, -140, -124, -119, -95, -78, -73, -60, -2, 0, 12, 13, 108, 109, 117, 152, 158, 171, 181, 203, 225, 259, 261, 263, 266, 292, 349, 378, 387, 391, 392, 474, 490, 525, 543, 544, 563, 573, 633, 675, 678, 683, 689, 700, 701, 706, 738, 742, 754, 767, 804, 829, 846, 885, 893, 898, 946, 951, 971, 988, 1001, 1004, 1032, 1066, 1069, 1099, 1101, 1125, 1136, 1190, 1221, 1245, 1280, 1382, 1389, 1399, 1402, 1412, 1456, 1457, 1465, 1466, 1515, 1530, 1546, 1593, 1595, 1613, 1614, 1619, 1664, 1758, 1780, 1816, 1823, 1825, 1837, 1861, 1903, 1954, 1964, 1969, 1974, 1976, 1977, 2019, 2072, 2099, 2127, 2139, 2144, 2145, 2153, 2231, 2252, 2262, 2280, 2312, 2314, 2351, 2372, 2385, 2421, 2468, 2476, 2524, 2559, 2573, 2576, 2582, 2590, 2602, 2665, 2709, 2722, 2743, 2747, 2778, 2804, 2813, 2841, 2884, 2896, 2897, 2925, 2926, 2976, 3014, 3022, 3041, 3049, 3059, 3062, 3065, 3136, 3142, 3157, 3191, 3216, 3241, 3302, 3341, 3342, 3360, 3413, 3426, 3487, 3500, 3503, 3505, 3514, 3538, 3540, 3571, 3594, 3598, 3603, 3625, 3637, 3690, 3701, 3703, 3727, 3732, 3759, 3775, 3810, 3811, 3827, 3911, 3913, 3983, 3985, 3986, 4020, 4035, 4083, 4088, 4092, 4094, 4095]
      - 2:  -10000
  - name: "Test Case 45 (Num Generic Target Generic True)"
    inputs:
      - 1:  [3601, 3610, 3617, 3645, 3649, 3656, 3694, 3721, 3744, 3759, 3770, 3809, 3813, 3832, 3852, 3915, 3918, 3940, 3943, 3959, 3989, 4026, 4033, 4044, 4054, 4072, 4074, 4079, 4106, 4124, 4150, 4159, 4232, 4245, 4261, 4329, 4346, 4361, 4363, 4380, 4397, 4404, 4421, 4433, 4448, 4561, 4575, 4577, 4582, 4615, 4628, 4643, 4668, 4717, 4720, 4723, 4724, 4738, 4750, 4759, 4763, 4765, 4767, 4780, 4786, 4788, 4804, 4823, 4827, 4841, 4848, 4876, 4900, 4927, 4985, 5005, 5046, 5054, 5064, 5083, 5113, 5128, 5133, 5196, 5214, 5227, 5242, 5248, 5249, 5257, 5278, 5319, 5352, 5411, 5439, 5448, 5463, 5465, 5468, 5489, 5503, 5542, 5566, 5573, 5590, 5599, 5609, 5629, 5644, 5651, 5662, 5686, 5687, 5703, 5721, 5727, 5742, 5755, 5801, 5805, 5807, 5850, 5897, 5912, 5919, 5926, 5956, 5980, 5999, 6007, 6026, 6061, 6067, 6072, 6074, 6095, 6107, 6113, 6115, 6124, 6144, 6162, 6221, 6222, 6227, 6241, 6244, 6263, 6265, 6283, 6296, 6324, 6335, 6348, 6364, 6389, 6406, 6452, 6472, 6473, 6474, 6483, 6500, 6540, 6550, 6552, 6568, 6576, 6612, 6628, 6630, 6636, 6648, 6657, 6658, 6678, 6686, 6696, 6697, 6728, 6733, 6806, 6875, 6890, 6924, 6939, 6948, 6965, 6967, 6981, 6989, 6998, 7040, 7121, 7131, 7147, 7150, 7195, 7243, 7251, 7258, 7283, 7308, 7368, 7375, 7377, 7392, 7396, 7468, 7528, 7530, 7563, 7613, 7622, 7651, 7714, 7764, 7800, 7822, 7834, 7839, 7840, 7844, 7846, 7853, 7882, 7884, 7895, 7915, 7919, 7933, 7970, 8043, 8066, 8131, 8136, 8148, 8160, 8176, 8195, 8198, 8224, 8246, 8277, 8292, 8335, 8404, 8420, 8431, 8455, 8514, 8526, 8539, 8541, 8571, 8587, 8597, 8604, 8651, 8661, 8686, 8716, 8734, 8736, 8762, 8771, 8772, 8793, 8842, 8852, 8853, 8860, 8884, 8901, 8934, 8970, 8985, 9005, 9008, 9010, 9088, 9095, 9121, 9122, 9134, 9156, 9207, 9209, 9215, 9254, 9263, 9313, 9319, 9328, 9358, 9405, 9431, 9434, 9464, 9477, 9481, 9493, 9519, 9522, 9523, 9524, 9568, 9577, 9584, 9595, 9608, 9610, 9620, 9652, 9661, 9662, 9709, 9751, 9783, 9790, 9792, 9801, 9802, 9808, 9848, 9874, 9919, 9949, 9951, -10000, -9985, -9970, -9944, -9862, -9857, -9813, -9779, -9734, -9702, -9661, -9606, -9602, -9598, -9584, -9559, -9515, -9496, -9494, -9491, -9481, -9394, -9392, -9370, -9312, -9308, -9307, -9281, -9265, -9249, -9221, -9220, -9188, -9180, -9177, -9169, -9105, -9084, -9073, -9050, -9030, -9028, -9023, -8972, -8965, -8957, -8913, -8907, -8904, -8864, -8856, -8843, -8840, -8836, -8813, -8792, -8745, -8738, -8730, -8727, -8726, -8697, -8659, -8615, -8579, -8569, -8559, -8503, -8501, -8492, -8490, -8476, -8470, -8438, -8435, -8428, -8423, -8421, -8399, -8275, -8268, -8227, -8162, -8119, -8102, -8093, -8068, -8048, -8009, -7993, -7967, -7955, -7946, -7930, -7914, -7883, -7881, -7860, -7856, -7816, -7764, -7755, -7744, -7739, -7718, -7705, -7697, -7687, -7638, -7636, -7629, -7625, -7593, -7546, -7542, -7528, -7511, -7481, -7445, -7437, -7399, -7393, -7391, -7385, -7383, -7375, -7359, -7317, -7267, -7258, -7256, -7252, -7247, -7208, -7206, -7195, -7181, -7174, -7148, -7122, -7071, -7054, -7053, -7050, -7040, -7011, -7009, -6971, -6945, -6922, -6903, -6877, -6802, -6795, -6794, -6771, -6740, -6716, -6690, -6686, -6678, -6662, -6640, -6629, -6620, -6587, -6568, -6560, -6558, -6543, -6536, -6535, -6494, -6437, -6411, -6406, -6397, -6389, -6365, -6362, -6358, -6355, -6345, -6255, -6244, -6168, -6147, -6142, -6110, -6097, -6074, -6068, -6039, -6018, -6014, -6010, -6006, -5993, -5954, -5893, -5865, -5864, -5835, -5833, -5819, -5779, -5764, -5740, -5723, -5721, -5692, -5689, -5681, -5667, -5645, -5642, -5631, -5627, -5608, -5604, -5597, -5592, -5554, -5529, -5523, -5518, -5482, -5461, -5422, -5417, -5410, -5367, -5361, -5351, -5333, -5296, -5278, -5269, -5159, -5157, -5139, -5105, -5020, -4973, -4961, -4923, -4912, -4899, -4887, -4880, -4871, -4868, -4856, -4804, -4800, -4783, -4736, -4719, -4658, -4640, -4616, -4585, -4584, -4573, -4570, -4562, -4552, -4531, -4517, -4391, -4375, -4289, -4288, -4273, -4256, -4215, -4201, -4197, -4190, -4189, -4173, -4127, -4119, -4117, -4104, -4090, -4087, -4050, -4045, -4018, -4017, -3993, -3973, -3964, -3951, -3937, -3935, -3926, -3920, -3915, -3914, -3910, -3898, -3878, -3868, -3843, -3790, -3783, -3775, -3749, -3724, -3718, -3645, -3641, -3608, -3601, -3599, -3579, -3573, -3553, -3524, -3484, -3408, -3326, -3292, -3275, -3233, -3205, -3132, -3121, -3101, -3100, -3056, -3051, -3016, -3006, -3003, -3002, -2990, -2975, -2973, -2971, -2969, -2943, -2939, -2916, -2908, -2879, -2863, -2847, -2797, -2796, -2795, -2781, -2689, -2662, -2660, -2650, -2609, -2571, -2559, -2547, -2526, -2518, -2507, -2477, -2436, -2422, -2419, -2415, -2384, -2333, -2289, -2272, -2241, -2224, -2186, -2157, -2142, -2110, -2104, -2102, -2095, -2057, -2056, -2045, -2035, -2006, -1988, -1952, -1915, -1900, -1882, -1875, -1863, -1850, -1847, -1822, -1805, -1801, -1783, -1780, -1762, -1746, -1740, -1731, -1723, -1708, -1683, -1654, -1610, -1590, -1588, -1564, -1557, -1531, -1529, -1524, -1503, -1499, -1447, -1434, -1433, -1430, -1387, -1381, -1356, -1314, -1295, -1252, -1247, -1233, -1219, -1168, -1142, -1138, -1046, -1044, -1043, -1016, -1007, -998, -969, -917, -914, -901, -899, -895, -877, -865, -862, -853, -784, -772, -771, -742, -732, -711, -679, -671, -652, -649, -599, -573, -570, -569, -548, -532, -502, -498, -472, -470, -463, -412, -365, -355, -330, -291, -282, -230, -221, -205, -147, -139, -82, -71, -70, -64, -17, -14, -10, 7, 42, 44, 79, 83, 106, 116, 168, 192, 194, 214, 235, 294, 306, 343, 381, 499, 585, 598, 605, 621, 649, 699, 710, 753, 814, 863, 879, 898, 920, 940, 959, 962, 989, 997, 1047, 1058, 1067, 1074, 1075, 1112, 1115, 1118, 1139, 1186, 1212, 1220, 1234, 1281, 1342, 1350, 1385, 1389, 1393, 1394, 1406, 1413, 1455, 1470, 1481, 1483, 1527, 1530, 1534, 1550, 1555, 1564, 1593, 1596, 1608, 1638, 1642, 1674, 1711, 1715, 1833, 1859, 1872, 1910, 1921, 1926, 1939, 1991, 2025, 2030, 2083, 2085, 2086, 2090, 2160, 2186, 2201, 2214, 2237, 2241, 2255, 2304, 2305, 2321, 2332, 2334, 2337, 2338, 2365, 2375, 2397, 2403, 2443, 2474, 2501, 2513, 2549, 2557, 2575, 2591, 2622, 2624, 2627, 2664, 2685, 2714, 2726, 2763, 2770, 2833, 2836, 2847, 2862, 2929, 2946, 2953, 2979, 2989, 3017, 3041, 3076, 3175, 3177, 3181, 3273, 3301, 3314, 3388, 3389, 3391, 3392, 3393, 3411, 3503, 3504, 3516, 3518, 3526, 3539, 3560, 3577]
      - 2:  6296
  - name: "Test Case 52 (Num Generic Target Generic False)"
    inputs:
      - 1:  [1435, 1447, 1448, 1479, 1501, 1507, 1550, 1617, 1746, 1840, 1847, 1849, 1873, 1880, 1881, 1887, 1902, 1914, 1916, 1944, 1961, 1968, 1978, 2004, 2070, 2078, 2099, 2176, 2178, 2180, 2190, 2244, 2258, 2270, 2307, 2310, 2325, 2362, 2423, 2455, 2470, 2507, 2525, 2563, 2574, 2582, 2606, 2607, 2651, 2653, 2764, 2769, 2795, 2871, 2873, 2876, 2877, 2891, 2900, 2910, 2920, 2922, 2934, 2946, 2950, 2956, 2983, 3022, 3044, 3069, 3081, 3145, 3156, 3211, 3237, 3259, 3292, 3294, 3358, 3362, 3384, 3411, 3414, 3449, 3467, 3474, 3476, 3482, 3525, 3548, 3551, 3602, 3606, 3623, 3658, 3701, 3732, 3758, 3762, 3800, 3861, 3869, 3873, 3884, 3932, 3965, 3966, 3980, 3991, 3995, 4014, 4024, 4031, 4035, 4038, 4105, 4113, 4131, 4135, 4137, 4168, 4169, 4171, 4180, 4205, 4214, 4231, 4235, 4241, 4245, 4249, 4318, 4381, 4407, 4455, 4478, 4526, 4546, 4550, 4599, 4608, 4622, 4635, 4655, 4693, 4695, 4760, 4778, 4814, 4824, 4838, 4842, 4862, 4940, 4978, 4983, 4988, 4996, 5004, 5014, 5068, 5091, 5094, 5099, 5121, 5150, 5159, 5192, 5260, 5273, 5281, 5318, 5324, 5336, 5349, 5364, 5392, 5441, 5447, 5500, 5501, 5510, 5534, 5542, 5561, 5594, 5614, 5626, 5655, 5670, 5673, 5675, 5686, 5735, 5752, 5764, 5771, 5817, 5820, 5856, 5869, 5923, 5946, 5984, 6078, 6124, 6173, 6175, 6183, 6185, 6227, 6235, 6259, 6262, 6283, 6311, 6331, 6385, 6387, 6389, 6397, 6409, 6438, 6478, 6525, 6545, 6565, 6591, 6603, 6628, 6631, 6687, 6701, 6713, 6720, 6745, 6752, 6762, 6771, 6799, 6827, 6831, 6833, 6897, 6910, 6925, 6970, 7000, 7025, 7046, 7052, 7081, 7090, 7103, 7106, 7123, 7139, 7154, 7172, 7188, 7208, 7259, 7291, 7305, 7310, 7313, 7315, 7325, 7334, 7338, 7352, 7366, 7373, 7385, 7392, 7394, 7402, 7432, 7433, 7439, 7440, 7483, 7553, 7577, 7606, 7627, 7646, 7649, 7650, 7699, 7718, 7732, 7744, 7761, 7805, 7836, 7850, 7858, 7871, 7886, 7933, 8032, 8052, 8067, 8093, 8110, 8127, 8146, 8221, 8239, 8267, 8277, 8337, 8358, 8381, 8392, 8447, 8493, 8551, 8553, 8588, 8642, 8670, 8679, 8714, 8773, 8783, 8802, 8844, 8860, 8923, 8930, 8986, 8994, 9003, 9004, 9010, 9013, 9014, 9032, 9046, 9048, 9076, 9078, 9087, 9101, 9115, 9130, 9157, 9168, 9173, 9208, 9252, 9262, 9274, 9282, 9284, 9289, 9339, 9382, 9410, 9436, 9448, 9476, 9487, 9493, 9513, 9563, 9652, 9692, 9714, 9738, 9769, 9838, 9849, 9875, 9876, 9881, 9883, 9887, 9918, 9927, 9947, 9950, 9986, 9989, 9992, -9991, -9957, -9950, -9948, -9925, -9923, -9918, -9913, -9909, -9881, -9869, -9847, -9839, -9795, -9791, -9772, -9760, -9749, -9740, -9727, -9714, -9706, -9668, -9662, -9659, -9637, -9619, -9603, -9572, -9558, -9546, -9527, -9487, -9486, -9474, -9418, -9416, -9391, -9359, -9345, -9324, -9317, -9304, -9289, -9287, -9269, -9266, -9263, -9251, -9250, -9241, -9220, -9206, -9203, -9174, -9165, -9163, -9140, -9116, -9113, -9110, -9076, -9072, -9055, -9031, -8979, -8900, -8896, -8872, -8842, -8823, -8791, -8732, -8667, -8661, -8561, -8555, -8531, -8504, -8503, -8502, -8495, -8455, -8399, -8387, -8368, -8367, -8347, -8314, -8306, -8300, -8280, -8243, -8225, -8206, -8181, -8172, -8150, -8137, -8104, -8103, -8055, -8044, -8037, -8033, -8016, -8014, -8007, -8006, -7973, -7967, -7945, -7934, -7932, -7926, -7923, -7920, -7917, -7910, -7901, -7894, -7867, -7852, -7839, -7835, -7833, -7823, -7813, -7795, -7775, -7769, -7748, -7733, -7682, -7666, -7646, -7621, -7599, -7598, -7579, -7565, -7561, -7559, -7555, -7478, -7441, -7440, -7423, -7421, -7357, -7350, -7335, -7323, -7178, -7171, -7144, -7138, -7114, -7113, -7102, -7091, -7086, -7077, -7018, -7009, -7001, -6984, -6982, -6957, -6955, -6940, -6920, -6916, -6912, -6879, -6875, -6856, -6843, -6828, -6814, -6803, -6785, -6763, -6728, -6701, -6687, -6668, -6658, -6630, -6613, -6609, -6591, -6585, -6569, -6567, -6533, -6532, -6530, -6509, -6470, -6466, -6425, -6413, -6390, -6311, -6287, -6227, -6225, -6220, -6215, -6202, -6200, -6170, -6165, -6164, -6140, -6055, -6042, -6036, -6024, -6004, -5973, -5914, -5901, -5899, -5890, -5878, -5802, -5789, -5780, -5719, -5700, -5693, -5667, -5629, -5613, -5611, -5601, -5591, -5586, -5584, -5582, -5580, -5541, -5522, -5486, -5484, -5462, -5389, -5363, -5359, -5356, -5262, -5253, -5218, -5138, -5132, -5129, -5126, -5084, -5060, -5055, -5028, -5022, -4979, -4975, -4947, -4907, -4854, -4829, -4771, -4760, -4740, -4699, -4662, -4625, -4619, -4611, -4586, -4554, -4546, -4498, -4496, -4479, -4461, -4453, -4446, -4412, -4409, -4399, -4389, -4377, -4313, -4287, -4265, -4255, -4234, -4217, -4161, -4123, -4042, -4037, -4032, -4026, -4011, -3943, -3935, -3930, -3926, -3924, -3918, -3899, -3822, -3811, -3752, -3750, -3728, -3726, -3725, -3699, -3690, -3650, -3603, -3589, -3572, -3562, -3557, -3542, -3515, -3471, -3451, -3446, -3436, -3369, -3367, -3336, -3315, -3306, -3301, -3287, -3246, -3223, -3208, -3195, -3173, -3160, -3142, -3108, -3069, -2998, -2991, -2986, -2971, -2942, -2940, -2932, -2917, -2893, -2877, -2859, -2842, -2795, -2790, -2768, -2750, -2735, -2726, -2715, -2705, -2698, -2649, -2641, -2629, -2615, -2602, -2571, -2568, -2519, -2496, -2495, -2487, -2484, -2469, -2467, -2445, -2439, -2417, -2407, -2396, -2375, -2370, -2338, -2302, -2288, -2286, -2283, -2260, -2237, -2208, -2156, -2131, -2114, -2048, -2029, -2022, -2019, -2001, -1941, -1939, -1896, -1880, -1876, -1856, -1853, -1845, -1844, -1817, -1769, -1758, -1746, -1745, -1739, -1710, -1707, -1644, -1643, -1641, -1590, -1575, -1555, -1545, -1534, -1520, -1512, -1502, -1474, -1460, -1435, -1423, -1408, -1382, -1378, -1375, -1371, -1358, -1295, -1259, -1227, -1177, -1154, -1150, -1131, -1127, -1085, -1080, -1027, -1021, -999, -924, -923, -884, -881, -832, -822, -820, -811, -802, -787, -761, -705, -647, -638, -623, -612, -499, -493, -466, -444, -428, -410, -405, -353, -342, -341, -340, -338, -329, -282, -251, -235, -209, -200, -184, -166, -71, -39, -7, -5, 44, 54, 56, 95, 108, 113, 170, 185, 196, 198, 205, 214, 221, 236, 238, 252, 254, 255, 260, 263, 284, 290, 327, 345, 356, 363, 375, 380, 462, 508, 515, 523, 547, 553, 554, 560, 562, 586, 611, 617, 621, 641, 648, 666, 685, 695, 704, 706, 719, 735, 788, 816, 820, 844, 859, 888, 930, 938, 976, 990, 1038, 1041, 1061, 1103, 1105, 1107, 1127, 1135, 1143, 1150, 1162, 1171, 1190, 1201, 1202, 1206, 1218, 1236, 1240, 1305, 1318, 1333, 1350, 1356, 1357, 1365, 1379, 1383]
      - 2:  1565
  - name: "Test Case 59 (Num Generic Target Max True)"
    inputs:
      - 1:  [6241, 6259, 6267, 6287, 6321, 6377, 6381, 6384, 6418, 6437, 6444, 6448, 6454, 6457, 6473, 6474, 6558, 6582, 6591, 6624, 6693, 6704, 6705, 6711, 6721, 6760, 6778, 6806, 6846, 6856, 6859, 6865, 6894, 6895, 6918, 6919, 6923, 6953, 6974, 6987, 6993, 7003, 7056, 7063, 7074, 7080, 7085, 7106, 7120, 7127, 7128, 7139, 7167, 7184, 7193, 7199, 7201, 7239, 7258, 7285, 7329, 7333, 7339, 7366, 7419, 7433, 7463, 7472, 7476, 7575, 7577, 7582, 7623, 7624, 7654, 7655, 7693, 7699, 7719, 7772, 7780, 7800, 7819, 7820, 7826, 7828, 7835, 7857, 7890, 7899, 7904, 7906, 7924, 7939, 7957, 7962, 7974, 7990, 7997, 8003, 8040, 8081, 8114, 8117, 8210, 8216, 8242, 8243, 8249, 8288, 8303, 8304, 8330, 8341, 8354, 8383, 8409, 8425, 8475, 8476, 8481, 8520, 8551, 8588, 8592, 8620, 8637, 8653, 8664, 8665, 8749, 8758, 8765, 8771, 8780, 8806, 8813, 8821, 8843, 8856, 8873, 8874, 8885, 8887, 8895, 8896, 8897, 8901, 8925, 8927, 8965, 8983, 8990, 8999, 9010, 9011, 9012, 9015, 9024, 9082, 9085, 9103, 9140, 9145, 9147, 9163, 9193, 9242, 9264, 9265, 9279, 9289, 9290, 9309, 9332, 9370, 9375, 9377, 9401, 9444, 9451, 9512, 9569, 9642, 9650, 9684, 9688, 9717, 9746, 9780, 9784, 9805, 9809, 9875, 9882, 9933, 9936, 9957, 9978, 9992, -9987, -9983, -9982, -9963, -9962, -9945, -9940, -9914, -9913, -9910, -9886, -9877, -9849, -9847, -9842, -9839, -9838, -9832, -9820, -9814, -9801, -9797, -9762, -9761, -9757, -9755, -9745, -9736, -9722, -9638, -9600, -9593, -9590, -9571, -9532, -9521, -9474, -9472, -9433, -9431, -9399, -9385, -9380, -9371, -9338, -9321, -9313, -9303, -9298, -9279, -9263, -9261, -9201, -9191, -9170, -9162, -9127, -9125, -9111, -9074, -9069, -9049, -9005, -8965, -8949, -8892, -8879, -8858, -8843, -8801, -8788, -8679, -8676, -8669, -8649, -8587, -8581, -8577, -8574, -8565, -8521, -8494, -8477, -8445, -8410, -8381, -8378, -8373, -8348, -8304, -8274, -8256, -8251, -8242, -8234, -8223, -8203, -8201, -8178, -8161, -8143, -8134, -8124, -8115, -8076, -8060, -8051, -8047, -8026, -7998, -7993, -7925, -7915, -7894, -7877, -7871, -7831, -7815, -7808, -7745, -7744, -7727, -7707, -7700, -7699, -7694, -7686, -7660, -7628, -7623, -7616, -7608, -7587, -7583, -7554, -7544, -7521, -7488, -7451, -7432, -7424, -7409, -7395, -7365, -7364, -7358, -7352, -7347, -7340, -7285, -7282, -7280, -7262, -7249, -7224, -7206, -7185, -7177, -7170, -7126, -7113, -7104, -7092, -7087, -7084, -7073, -7070, -7024, -7013, -7000, -6972, -6962, -6946, -6937, -6933, -6924, -6884, -6870, -6868, -6861, -6836, -6834, -6803, -6790, -6785, -6759, -6655, -6644, -6634, -6626, -6562, -6515, -6503, -6476, -6469, -6457, -6416, -6403, -6383, -6366, -6359, -6306, -6296, -6281, -6250, -6237, -6236, -6234, -6188, -6172, -6170, -6158, -6119, -6082, -6075, -6073, -6035, -5986, -5975, -5897, -5828, -5793, -5776, -5736, -5725, -5644, -5601, -5595, -5541, -5533, -5525, -5520, -5510, -5418, -5347, -5340, -5327, -5315, -5299, -5290, -5276, -5191, -5189, -5172, -5137, -5132, -5109, -5101, -5071, -5052, -5051, -5034, -5029, -5004, -4996, -4939, -4930, -4929, -4878, -4867, -4865, -4857, -4854, -4847, -4844, -4799, -4790, -4782, -4777, -4776, -4750, -4746, -4739, -4689, -4624, -4595, -4573, -4555, -4546, -4538, -4518, -4499, -4477, -4438, -4431, -4371, -4344, -4314, -4273, -4256, -4250, -4226, -4203, -4155, -4151, -4146, -4109, -4108, -4066, -4041, -4038, -4028, -4025, -4010, -3988, -3986, -3982, -3960, -3957, -3933, -3876, -3826, -3824, -3815, -3802, -3773, -3770, -3761, -3758, -3748, -3698, -3658, -3657, -3647, -3627, -3617, -3605, -3597, -3587, -3571, -3557, -3547, -3538, -3522, -3500, -3488, -3483, -3481, -3475, -3414, -3408, -3352, -3311, -3301, -3270, -3266, -3259, -3243, -3193, -3191, -3183, -3170, -3158, -3132, -3127, -3123, -3096, -3067, -3066, -3049, -3019, -3011, -2984, -2981, -2956, -2953, -2946, -2938, -2925, -2910, -2899, -2873, -2856, -2810, -2752, -2738, -2722, -2672, -2668, -2659, -2608, -2599, -2572, -2562, -2552, -2521, -2516, -2513, -2486, -2485, -2481, -2469, -2461, -2456, -2453, -2433, -2408, -2385, -2377, -2370, -2366, -2357, -2331, -2317, -2310, -2302, -2296, -2286, -2281, -2266, -2204, -2193, -2155, -2154, -2151, -2135, -2116, -2074, -2061, -2049, -2020, -2000, -1994, -1984, -1967, -1942, -1936, -1928, -1903, -1896, -1824, -1813, -1787, -1786, -1763, -1743, -1701, -1688, -1650, -1642, -1635, -1632, -1615, -1600, -1586, -1543, -1529, -1514, -1463, -1409, -1394, -1366, -1324, -1279, -1265, -1259, -1253, -1246, -1239, -1228, -1218, -1213, -1202, -1170, -1159, -1140, -1136, -1112, -1111, -1102, -1082, -1058, -1017, -1011, -1001, -973, -958, -947, -941, -915, -838, -815, -814, -785, -781, -693, -673, -638, -593, -585, -582, -578, -571, -552, -528, -400, -384, -375, -356, -284, -273, -228, -211, -196, -194, -183, -181, -173, -163, -154, -70, 33, 45, 62, 70, 73, 78, 138, 158, 161, 168, 201, 231, 250, 288, 308, 342, 353, 406, 478, 488, 514, 517, 523, 549, 578, 587, 607, 630, 684, 715, 771, 779, 786, 793, 802, 810, 841, 856, 860, 900, 967, 1016, 1041, 1049, 1052, 1087, 1091, 1094, 1106, 1127, 1143, 1149, 1161, 1173, 1218, 1229, 1235, 1248, 1257, 1299, 1400, 1446, 1450, 1465, 1471, 1500, 1524, 1529, 1540, 1549, 1591, 1597, 1610, 1621, 1654, 1710, 1713, 1722, 1740, 1772, 1777, 1778, 1801, 1833, 1840, 1912, 1913, 1919, 1921, 1981, 2027, 2046, 2047, 2058, 2077, 2129, 2146, 2148, 2184, 2194, 2217, 2268, 2277, 2309, 2336, 2347, 2381, 2393, 2476, 2511, 2534, 2565, 2568, 2587, 2592, 2597, 2603, 2658, 2690, 2724, 2736, 2832, 2877, 2887, 2891, 2955, 2982, 3010, 3012, 3018, 3019, 3036, 3054, 3059, 3088, 3117, 3139, 3140, 3151, 3181, 3228, 3257, 3326, 3337, 3357, 3387, 3402, 3407, 3408, 3420, 3475, 3487, 3520, 3521, 3531, 3552, 3559, 3586, 3591, 3596, 3615, 3646, 3675, 3786, 3790, 3806, 3818, 3858, 3871, 3989, 3993, 4058, 4063, 4069, 4077, 4084, 4091, 4096, 4107, 4130, 4166, 4174, 4184, 4195, 4221, 4301, 4331, 4334, 4404, 4409, 4423, 4433, 4459, 4462, 4476, 4478, 4520, 4538, 4542, 4569, 4572, 4579, 4618, 4622, 4627, 4670, 4678, 4728, 4755, 4773, 4814, 4815, 4836, 4871, 4934, 4943, 4946, 5001, 5005, 5018, 5120, 5134, 5149, 5157, 5172, 5217, 5272, 5322, 5332, 5368, 5370, 5378, 5391, 5404, 5432, 5457, 5516, 5525, 5526, 5528, 5560, 5575, 5582, 5590, 5623, 5686, 5705, 5736, 5770, 5812, 5838, 5847, 5932, 5951, 5953, 5965, 6095, 6096, 6098, 6106, 6127, 6143, 6154, 6207, 6209, 6215]
      - 2:  10000
  - name: "Test Case 66 (Num Generic Target Max False)"
    inputs:
      - 1:  [6239, 6245, 6251, 6282, 6291, 6293, 6309, 6313, 6321, 6341, 6390, 6412, 6427, 6443, 6451, 6469, 6496, 6542, 6685, 6695, 6734, 6769, 6785, 6790, 6830, 6842, 6850, 6857, 6866, 6869, 6887, 6893, 6916, 6965, 6967, 6975, 7001, 7056, 7061, 7087, 7125, 7129, 7179, 7183, 7209, 7272, 7282, 7285, 7330, 7343, 7347, 7355, 7385, 7391, 7397, 7398, 7401, 7411, 7433, 7441, 7450, 7455, 7465, 7466, 7503, 7572, 7577, 7602, 7627, 7631, 7647, 7660, 7687, 7693, 7694, 7699, 7719, 7728, 7731, 7782, 7786, 7797, 7819, 7833, 7939, 7980, 8026, 8101, 8138, 8151, 8166, 8186, 8190, 8195, 8208, 8245, 8271, 8280, 8298, 8318, 8333, 8344, 8369, 8403, 8485, 8530, 8550, 8564, 8576, 8599, 8607, 8615, 8618, 8651, 8751, 8782, 8801, 8811, 8812, 8820, 8833, 8835, 8841, 8867, 8879, 8894, 8902, 8926, 8949, 8981, 8989, 8995, 9016, 9047, 9064, 9082, 9117, 9124, 9127, 9129, 9161, 9177, 9182, 9184, 9237, 9297, 9335, 9357, 9376, 9383, 9410, 9417, 9418, 9429, 9444, 9468, 9474, 9480, 9492, 9509, 9516, 9517, 9590, 9632, 9655, 9732, 9760, 9801, 9807, 9890, 9918, 9920, 9942, 9959, -9920, -9912, -9885, -9881, -9875, -9874, -9826, -9818, -9816, -9801, -9795, -9790, -9762, -9699, -9655, -9632, -9629, -9614, -9613, -9540, -9520, -9487, -9432, -9412, -9360, -9344, -9329, -9320, -9305, -9269, -9237, -9228, -9201, -9194, -9153, -9152, -9137, -9121, -9092, -9089, -9071, -9068, -9055, -9007, -8990, -8979, -8961, -8951, -8942, -8925, -8870, -8860, -8847, -8842, -8841, -8837, -8827, -8728, -8706, -8688, -8638, -8627, -8626, -8624, -8614, -8572, -8542, -8532, -8528, -8520, -8519, -8513, -8501, -8487, -8415, -8408, -8374, -8347, -8324, -8299, -8200, -8185, -8179, -8159, -8152, -8142, -8081, -8063, -8009, -7908, -7888, -7880, -7867, -7839, -7833, -7827, -7819, -7807, -7792, -7774, -7753, -7747, -7709, -7691, -7668, -7654, -7631, -7554, -7524, -7506, -7487, -7483, -7446, -7436, -7423, -7415, -7388, -7316, -7277, -7273, -7268, -7263, -7251, -7215, -7193, -7182, -7171, -7128, -7126, -7112, -7088, -7082, -7028, -7015, -6986, -6979, -6914, -6897, -6891, -6880, -6877, -6840, -6812, -6784, -6766, -6743, -6738, -6732, -6728, -6725, -6723, -6712, -6685, -6664, -6636, -6603, -6580, -6568, -6529, -6525, -6520, -6506, -6502, -6490, -6473, -6446, -6441, -6401, -6399, -6398, -6378, -6356, -6348, -6336, -6324, -6304, -6298, -6263, -6231, -6224, -6214, -6196, -6189, -6138, -6137, -6092, -6090, -6058, -6037, -6021, -6015, -5995, -5994, -5966, -5942, -5902, -5897, -5891, -5871, -5860, -5855, -5845, -5833, -5825, -5789, -5782, -5775, -5768, -5742, -5734, -5708, -5682, -5661, -5658, -5644, -5639, -5595, -5594, -5588, -5571, -5568, -5560, -5553, -5551, -5544, -5533, -5528, -5515, -5463, -5435, -5432, -5426, -5416, -5391, -5387, -5381, -5328, -5321, -5310, -5235, -5206, -5201, -5194, -5180, -5117, -5115, -5093, -5083, -5073, -5070, -5067, -5058, -5029, -4959, -4929, -4903, -4879, -4871, -4820, -4767, -4766, -4737, -4728, -4717, -4713, -4699, -4681, -4677, -4665, -4657, -4629, -4598, -4593, -4576, -4570, -4555, -4514, -4504, -4492, -4460, -4456, -4433, -4431, -4429, -4410, -4405, -4400, -4386, -4372, -4352, -4345, -4333, -4314, -4274, -4228, -4153, -4145, -4143, -4135, -4125, -4116, -4091, -4021, -3984, -3956, -3953, -3945, -3939, -3911, -3902, -3898, -3880, -3821, -3789, -3757, -3690, -3683, -3645, -3595, -3584, -3569, -3558, -3550, -3477, -3466, -3390, -3364, -3331, -3323, -3320, -3307, -3293, -3283, -3273, -3267, -3233, -3211, -3194, -3170, -3134, -3126, -3116, -3112, -3110, -3092, -3082, -3069, -3031, -2994, -2951, -2947, -2932, -2926, -2921, -2911, -2898, -2887, -2885, -2870, -2832, -2817, -2814, -2805, -2795, -2744, -2738, -2697, -2695, -2690, -2672, -2654, -2597, -2586, -2568, -2565, -2561, -2559, -2549, -2548, -2541, -2528, -2500, -2360, -2351, -2343, -2341, -2321, -2320, -2315, -2304, -2295, -2276, -2271, -2251, -2230, -2221, -2170, -2126, -2062, -2054, -2041, -2036, -1985, -1960, -1951, -1922, -1886, -1879, -1864, -1848, -1738, -1716, -1712, -1710, -1683, -1673, -1654, -1644, -1642, -1565, -1559, -1557, -1543, -1536, -1391, -1378, -1357, -1340, -1337, -1312, -1302, -1298, -1229, -1212, -1195, -1177, -1134, -1131, -1118, -1112, -1098, -1089, -1079, -1078, -1053, -1019, -1017, -1007, -1005, -954, -950, -940, -927, -889, -888, -859, -852, -850, -812, -798, -790, -768, -750, -746, -725, -721, -710, -688, -666, -615, -586, -539, -492, -468, -446, -424, -420, -414, -403, -389, -379, -306, -247, -226, -220, -203, -157, -82, -59, -29, -21, -15, 5, 15, 54, 62, 101, 182, 197, 200, 219, 229, 250, 255, 303, 317, 319, 320, 328, 357, 389, 403, 426, 465, 469, 480, 501, 505, 532, 547, 610, 612, 628, 657, 668, 724, 725, 742, 744, 788, 794, 804, 808, 827, 828, 830, 840, 842, 862, 1004, 1006, 1017, 1038, 1072, 1078, 1114, 1150, 1156, 1171, 1174, 1186, 1199, 1245, 1273, 1291, 1293, 1316, 1324, 1347, 1372, 1404, 1409, 1419, 1422, 1442, 1454, 1467, 1478, 1492, 1504, 1521, 1566, 1597, 1599, 1643, 1654, 1658, 1674, 1685, 1737, 1755, 1757, 1776, 1802, 1848, 1881, 1889, 1911, 1914, 1946, 1970, 1989, 2002, 2087, 2115, 2145, 2150, 2151, 2168, 2170, 2209, 2213, 2223, 2237, 2240, 2253, 2325, 2332, 2333, 2341, 2368, 2386, 2425, 2434, 2461, 2499, 2506, 2546, 2562, 2592, 2593, 2644, 2653, 2663, 2745, 2749, 2774, 2782, 2804, 2828, 2879, 2893, 2899, 2902, 2903, 2924, 2940, 2995, 3038, 3113, 3146, 3191, 3199, 3200, 3206, 3217, 3254, 3256, 3262, 3284, 3287, 3312, 3314, 3316, 3318, 3334, 3393, 3457, 3482, 3489, 3503, 3515, 3560, 3562, 3572, 3636, 3656, 3671, 3682, 3702, 3728, 3791, 3806, 3810, 3814, 3818, 3851, 3884, 3897, 3903, 3925, 3947, 3986, 3996, 4067, 4085, 4130, 4158, 4175, 4178, 4180, 4204, 4206, 4208, 4210, 4250, 4251, 4252, 4266, 4313, 4315, 4371, 4378, 4381, 4395, 4396, 4428, 4431, 4434, 4451, 4477, 4492, 4509, 4519, 4526, 4536, 4560, 4602, 4607, 4671, 4694, 4695, 4714, 4759, 4797, 4799, 4802, 4812, 4829, 4845, 4856, 4865, 4869, 4871, 4885, 4932, 4963, 4990, 4999, 5017, 5065, 5080, 5145, 5156, 5160, 5178, 5210, 5211, 5215, 5229, 5282, 5284, 5335, 5346, 5347, 5389, 5509, 5519, 5530, 5532, 5548, 5560, 5568, 5630, 5653, 5674, 5680, 5718, 5729, 5753, 5754, 5772, 5794, 5798, 5818, 5821, 5834, 5839, 5854, 5859, 5860, 5893, 5897, 5900, 5906, 5916, 5993, 6000, 6007, 6036, 6047, 6072, 6081, 6090, 6092, 6104, 6137, 6157, 6183, 6204, 6205, 6208, 6209, 6226]
      - 2:  -1261
  - name: "Test Case 73 (Num Max Target Min True)"
    inputs:
      - 1:  [8862, 8873, 8906, 8994, 9008, 9015, 9019, 9020, 9021, 9034, 9038, 9047, 9153, 9173, 9186, 9201, 9244, 9248, 9262, 9266, 9329, 9331, 9358, 9361, 9408, 9427, 9470, 9566, 9571, 9572, 9576, 9593, 9614, 9695, 9706, 9730, 9767, 9792, 9840, 9847, 9860, 9862, 9888, 9892, 9900, 9905, 9906, 9923, 9932, 9942, -10000, -9963, -9939, -9935, -9926, -9907, -9903, -9893, -9855, -9830, -9820, -9819, -9794, -9755, -9732, -9717, -9699, -9682, -9680, -9678, -9642, -9629, -9591, -9590, -9582, -9558, -9542, -9531, -9480, -9472, -9386, -9352, -9347, -9308, -9302, -9298, -9295, -9290, -9255, -9250, -9241, -9199, -9151, -9136, -9114, -9090, -9083, -9064, -9050, -9044, -9035, -9007, -8981, -8974, -8956, -8938, -8934, -8871, -8796, -8786, -8722, -8609, -8580, -8572, -8553, -8547, -8538, -8523, -8509, -8506, -8499, -8494, -8483, -8480, -8479, -8474, -8460, -8442, -8414, -8408, -8386, -8365, -8318, -8304, -8271, -8248, -8241, -8191, -8185, -8180, -8179, -8164, -8161, -8151, -8132, -8101, -8093, -8089, -8088, -8066, -8028, -7995, -7992, -7973, -7949, -7944, -7918, -7894, -7833, -7811, -7799, -7743, -7740, -7737, -7711, -7702, -7673, -7652, -7614, -7604, -7589, -7563, -7511, -7480, -7435, -7397, -7380, -7365, -7324, -7297, -7281, -7229, -7209, -7192, -7188, -7152, -7067, -7057, -7048, -7015, -7014, -6987, -6982, -6979, -6966, -6953, -6947, -6938, -6934, -6919, -6863, -6814, -6757, -6745, -6733, -6728, -6722, -6638, -6621, -6596, -6578, -6552, -6492, -6467, -6448, -6402, -6381, -6376, -6362, -6360, -6357, -6356, -6348, -6301, -6256, -6236, -6217, -6216, -6209, -6202, -6196, -6183, -6147, -6145, -6137, -6115, -6110, -6067, -6046, -5977, -5927, -5923, -5904, -5903, -5901, -5896, -5884, -5862, -5851, -5835, -5833, -5821, -5800, -5782, -5731, -5729, -5683, -5674, -5616, -5589, -5548, -5541, -5530, -5526, -5524, -5521, -5519, -5512, -5468, -5452, -5390, -5383, -5367, -5358, -5289, -5286, -5249, -5223, -5197, -5189, -5166, -5112, -5104, -5084, -5048, -5031, -5027, -5025, -5002, -4991, -4976, -4962, -4954, -4945, -4916, -4896, -4865, -4816, -4801, -4767, -4752, -4736, -4705, -4684, -4662, -4651, -4633, -4631, -4625, -4597, -4595, -4592, -4590, -4581, -4578, -4551, -4538, -4535, -4487, -4457, -4444, -4424, -4420, -4412, -4410, -4342, -4332, -4280, -4239, -4212, -4210, -4203, -4185, -4184, -4141, -4135, -4122, -4054, -4024, -3993, -3976, -3953, -3952, -3885, -3846, -3815, -3807, -3798, -3797, -3728, -3722, -3705, -3703, -3698, -3632, -3629, -3624, -3598, -3560, -3557, -3541, -3539, -3518, -3516, -3489, -3473, -3453, -3435, -3433, -3403, -3396, -3377, -3348, -3335, -3319, -3294, -3268, -3240, -3231, -3229, -3228, -3217, -3163, -3156, -3122, -3113, -3104, -3085, -3037, -3011, -2996, -2991, -2981, -2967, -2953, -2938, -2928, -2907, -2868, -2846, -2797, -2780, -2764, -2757, -2733, -2678, -2617, -2607, -2586, -2584, -2566, -2544, -2543, -2539, -2538, -2527, -2512, -2499, -2486, -2454, -2438, -2378, -2366, -2363, -2262, -2216, -2207, -2200, -2199, -2194, -2164, -2115, -2109, -2075, -2072, -2062, -2042, -2028, -2005, -1992, -1972, -1963, -1913, -1901, -1898, -1850, -1847, -1843, -1805, -1791, -1787, -1731, -1685, -1676, -1660, -1651, -1635, -1586, -1583, -1559, -1535, -1521, -1515, -1487, -1466, -1456, -1449, -1421, -1382, -1377, -1338, -1313, -1310, -1259, -1247, -1242, -1237, -1192, -1187, -1174, -1171, -1167, -1157, -1133, -1121, -1081, -1047, -987, -986, -957, -954, -935, -884, -857, -844, -822, -819, -807, -802, -798, -785, -784, -775, -763, -744, -720, -709, -690, -632, -582, -551, -526, -523, -491, -481, -451, -438, -426, -406, -401, -394, -365, -354, -343, -325, -305, -283, -257, -256, -227, -225, -208, -179, -156, -132, -120, -93, -89, -76, -1, 45, 48, 61, 98, 108, 116, 118, 135, 159, 165, 181, 183, 199, 206, 211, 252, 271, 284, 310, 327, 333, 338, 354, 385, 402, 405, 423, 442, 468, 476, 481, 509, 542, 551, 562, 577, 584, 615, 630, 634, 707, 724, 740, 770, 793, 799, 822, 832, 853, 861, 884, 890, 931, 936, 946, 949, 954, 955, 962, 1035, 1036, 1041, 1042, 1043, 1045, 1061, 1101, 1142, 1154, 1155, 1158, 1162, 1168, 1190, 1224, 1226, 1229, 1230, 1241, 1265, 1267, 1268, 1271, 1272, 1289, 1303, 1377, 1382, 1383, 1389, 1407, 1440, 1473, 1504, 1559, 1580, 1590, 1608, 1619, 1644, 1678, 1681, 1696, 1805, 1814, 1864, 1868, 1883, 1897, 1912, 1959, 1972, 1973, 1993, 2023, 2074, 2085, 2100, 2103, 2129, 2155, 2164, 2186, 2228, 2230, 2236, 2253, 2265, 2287, 2303, 2304, 2314, 2321, 2323, 2355, 2359, 2363, 2372, 2378, 2483, 2485, 2503, 2513, 2557, 2573, 2617, 2653, 2718, 2720, 2736, 2774, 2791, 2859, 2865, 2866, 2873, 2888, 2937, 2956, 2975, 2978, 3002, 3009, 3045, 3098, 3107, 3113, 3133, 3135, 3155, 3173, 3200, 3210, 3238, 3248, 3252, 3268, 3279, 3289, 3321, 3325, 3329, 3330, 3418, 3419, 3441, 3471, 3479, 3512, 3516, 3518, 3539, 3568, 3575, 3607, 3735, 3738, 3751, 3770, 3791, 3815, 3816, 3851, 3918, 3930, 3959, 3965, 3976, 4037, 4038, 4073, 4105, 4122, 4146, 4230, 4243, 4254, 4264, 4269, 4285, 4308, 4316, 4322, 4330, 4350, 4381, 4387, 4394, 4404, 4437, 4445, 4451, 4454, 4461, 4481, 4552, 4590, 4615, 4670, 4671, 4692, 4738, 4765, 4776, 4780, 4800, 4811, 4814, 4842, 4854, 4857, 4932, 4941, 4957, 4977, 4978, 4984, 4996, 5056, 5072, 5083, 5093, 5117, 5121, 5124, 5128, 5131, 5134, 5142, 5167, 5187, 5194, 5203, 5207, 5221, 5242, 5273, 5280, 5307, 5309, 5340, 5364, 5378, 5382, 5391, 5424, 5484, 5491, 5499, 5526, 5533, 5543, 5561, 5573, 5593, 5604, 5606, 5615, 5638, 5660, 5683, 5721, 5731, 5740, 5755, 5813, 5815, 5848, 5878, 5929, 5943, 5965, 6031, 6046, 6055, 6082, 6087, 6097, 6102, 6137, 6144, 6150, 6155, 6196, 6197, 6201, 6235, 6315, 6332, 6364, 6376, 6426, 6430, 6450, 6458, 6518, 6562, 6637, 6640, 6656, 6697, 6700, 6779, 6780, 6809, 6813, 6814, 6822, 6851, 6917, 6923, 6939, 6966, 6971, 6980, 7016, 7017, 7053, 7062, 7066, 7186, 7189, 7190, 7199, 7203, 7293, 7316, 7318, 7356, 7470, 7489, 7499, 7519, 7521, 7526, 7531, 7557, 7572, 7581, 7594, 7603, 7604, 7632, 7658, 7666, 7705, 7713, 7728, 7755, 7772, 7785, 7799, 7804, 7814, 7818, 7843, 7890, 7929, 7931, 7939, 7943, 7951, 7959, 7961, 7979, 8020, 8053, 8078, 8092, 8096, 8155, 8164, 8171, 8175, 8183, 8211, 8220, 8245, 8315, 8336, 8400, 8464, 8472, 8480, 8491, 8496, 8522, 8523, 8528, 8539, 8544, 8571, 8583, 8634, 8713, 8715, 8723, 8829]
      - 2:  -10000
  - name: "Test Case 80 (Num Max Target Min False)"
    inputs:
      - 1:  [1010, 1028, 1032, 1046, 1067, 1101, 1116, 1125, 1141, 1173, 1183, 1203, 1219, 1226, 1273, 1275, 1284, 1330, 1390, 1402, 1443, 1446, 1449, 1523, 1538, 1547, 1563, 1568, 1582, 1606, 1613, 1633, 1684, 1719, 1733, 1742, 1782, 1808, 1811, 1820, 1842, 1848, 1902, 1932, 1967, 1975, 1977, 2020, 2090, 2091, 2112, 2152, 2169, 2174, 2179, 2190, 2194, 2226, 2259, 2263, 2311, 2315, 2329, 2343, 2345, 2359, 2366, 2397, 2403, 2409, 2449, 2456, 2476, 2530, 2539, 2570, 2578, 2588, 2589, 2624, 2627, 2652, 2689, 2701, 2708, 2716, 2739, 2744, 2778, 2779, 2796, 2817, 2836, 2854, 2875, 2909, 2913, 2958, 3026, 3061, 3073, 3094, 3105, 3130, 3144, 3160, 3164, 3182, 3193, 3210, 3233, 3237, 3285, 3292, 3305, 3339, 3357, 3361, 3403, 3418, 3447, 3464, 3470, 3545, 3561, 3573, 3594, 3612, 3621, 3646, 3665, 3707, 3780, 3828, 3841, 3851, 3857, 3867, 3877, 3901, 3903, 3909, 3914, 3946, 3947, 4030, 4032, 4043, 4096, 4103, 4119, 4144, 4173, 4188, 4207, 4232, 4235, 4270, 4287, 4341, 4344, 4363, 4373, 4381, 4385, 4411, 4438, 4445, 4453, 4465, 4477, 4486, 4505, 4525, 4550, 4614, 4643, 4648, 4661, 4667, 4712, 4718, 4808, 4875, 4891, 4894, 4900, 4902, 4953, 4956, 5032, 5056, 5081, 5089, 5090, 5100, 5113, 5118, 5121, 5170, 5189, 5204, 5216, 5260, 5262, 5274, 5283, 5287, 5343, 5348, 5364, 5404, 5425, 5427, 5429, 5474, 5491, 5519, 5530, 5543, 5561, 5690, 5695, 5697, 5715, 5741, 5755, 5756, 5769, 5788, 5799, 5803, 5807, 5834, 5836, 5848, 5907, 5921, 5930, 5931, 5978, 5985, 6009, 6010, 6031, 6035, 6051, 6054, 6072, 6086, 6102, 6106, 6115, 6141, 6142, 6147, 6155, 6163, 6165, 6175, 6178, 6231, 6232, 6235, 6243, 6261, 6265, 6319, 6330, 6332, 6349, 6387, 6389, 6391, 6398, 6404, 6416, 6422, 6527, 6560, 6601, 6609, 6614, 6617, 6677, 6684, 6703, 6730, 6745, 6778, 6781, 6823, 6829, 6882, 6886, 6891, 6892, 6894, 6904, 6947, 6999, 7022, 7027, 7041, 7084, 7085, 7101, 7120, 7148, 7162, 7185, 7209, 7226, 7232, 7244, 7276, 7277, 7283, 7321, 7333, 7362, 7368, 7386, 7415, 7425, 7516, 7548, 7555, 7576, 7579, 7588, 7591, 7598, 7600, 7604, 7607, 7620, 7624, 7642, 7647, 7675, 7715, 7743, 7752, 7769, 7796, 7815, 7835, 7894, 7906, 7949, 7976, 7980, 8053, 8089, 8092, 8156, 8165, 8209, 8210, 8221, 8240, 8249, 8265, 8309, 8357, 8358, 8380, 8439, 8477, 8480, 8499, 8502, 8524, 8526, 8540, 8544, 8562, 8584, 8598, 8605, 8613, 8616, 8684, 8756, 8770, 8799, 8802, 8897, 8913, 8953, 8961, 8966, 8994, 9046, 9059, 9147, 9148, 9156, 9208, 9209, 9218, 9221, 9234, 9278, 9302, 9358, 9365, 9366, 9388, 9419, 9426, 9464, 9511, 9526, 9527, 9591, 9611, 9614, 9632, 9633, 9636, 9637, 9641, 9644, 9651, 9660, 9666, 9669, 9691, 9706, 9727, 9737, 9757, 9893, 9907, 9946, 9947, 9949, 9951, 9973, -9995, -9952, -9941, -9927, -9887, -9864, -9859, -9852, -9851, -9850, -9817, -9809, -9806, -9801, -9792, -9760, -9734, -9722, -9714, -9654, -9632, -9622, -9619, -9592, -9567, -9509, -9508, -9468, -9426, -9413, -9364, -9352, -9322, -9300, -9292, -9282, -9264, -9214, -9209, -9204, -9191, -9156, -9137, -9125, -9118, -9060, -9020, -9018, -9016, -9008, -8984, -8940, -8927, -8909, -8880, -8871, -8865, -8864, -8845, -8836, -8832, -8763, -8754, -8705, -8687, -8646, -8633, -8590, -8579, -8556, -8553, -8528, -8516, -8513, -8495, -8473, -8434, -8343, -8335, -8325, -8318, -8280, -8231, -8214, -8181, -8141, -8116, -8054, -8043, -7980, -7943, -7916, -7906, -7884, -7876, -7857, -7846, -7838, -7821, -7811, -7750, -7736, -7726, -7707, -7704, -7672, -7669, -7644, -7640, -7638, -7637, -7630, -7620, -7591, -7579, -7557, -7540, -7537, -7532, -7511, -7482, -7461, -7454, -7451, -7446, -7443, -7415, -7384, -7332, -7319, -7287, -7246, -7241, -7208, -7205, -7195, -7192, -7191, -7188, -7187, -7181, -7172, -7166, -7163, -7121, -7053, -7041, -7019, -7017, -7016, -7008, -6990, -6948, -6861, -6808, -6774, -6763, -6722, -6699, -6666, -6647, -6636, -6634, -6623, -6614, -6590, -6564, -6552, -6537, -6518, -6512, -6499, -6432, -6425, -6422, -6418, -6402, -6322, -6308, -6283, -6260, -6259, -6245, -6228, -6223, -6213, -6206, -6191, -6189, -6186, -6158, -6152, -6121, -6116, -6108, -6091, -6082, -6079, -6074, -6061, -6053, -6052, -6021, -6020, -6000, -5999, -5989, -5977, -5949, -5928, -5917, -5887, -5886, -5871, -5866, -5843, -5838, -5837, -5832, -5819, -5812, -5781, -5769, -5765, -5742, -5739, -5700, -5675, -5674, -5661, -5647, -5631, -5584, -5572, -5554, -5542, -5515, -5508, -5502, -5445, -5431, -5426, -5377, -5345, -5344, -5298, -5245, -5193, -5167, -5074, -5066, -5038, -4989, -4954, -4946, -4915, -4896, -4850, -4846, -4844, -4813, -4802, -4737, -4728, -4678, -4659, -4658, -4650, -4635, -4618, -4608, -4588, -4562, -4513, -4494, -4492, -4478, -4454, -4391, -4384, -4374, -4370, -4351, -4335, -4309, -4254, -4246, -4215, -4204, -4203, -4170, -4169, -4167, -4160, -4128, -4122, -4114, -3993, -3939, -3931, -3926, -3925, -3908, -3901, -3897, -3896, -3865, -3840, -3818, -3817, -3769, -3756, -3695, -3665, -3651, -3626, -3611, -3523, -3510, -3467, -3462, -3402, -3381, -3374, -3355, -3292, -3270, -3258, -3234, -3216, -3150, -3141, -3130, -3128, -3126, -3122, -3109, -3105, -3094, -3086, -3085, -3068, -3064, -3030, -3009, -2993, -2992, -2984, -2954, -2946, -2943, -2941, -2927, -2923, -2869, -2861, -2843, -2805, -2787, -2770, -2764, -2760, -2702, -2675, -2606, -2605, -2601, -2587, -2573, -2554, -2531, -2529, -2507, -2461, -2448, -2442, -2434, -2414, -2413, -2395, -2359, -2347, -2342, -2339, -2316, -2315, -2305, -2296, -2272, -2263, -2258, -2102, -2090, -2071, -2067, -2057, -2049, -2039, -2038, -2005, -1974, -1970, -1950, -1936, -1930, -1926, -1900, -1890, -1881, -1871, -1869, -1852, -1820, -1749, -1741, -1726, -1676, -1668, -1645, -1643, -1636, -1591, -1576, -1573, -1527, -1496, -1467, -1465, -1461, -1439, -1410, -1403, -1399, -1394, -1392, -1390, -1370, -1332, -1301, -1274, -1271, -1188, -1183, -1179, -1163, -1152, -1143, -1122, -1109, -1068, -1059, -1026, -1025, -1017, -974, -935, -872, -868, -858, -835, -820, -802, -799, -728, -707, -706, -620, -570, -546, -534, -529, -508, -507, -462, -395, -375, -355, -316, -315, -303, -290, -266, -254, -248, -244, -237, -214, -213, -133, -64, -22, -14, 8, 17, 20, 39, 47, 55, 89, 119, 133, 151, 163, 173, 178, 213, 218, 229, 237, 297, 300, 317, 327, 415, 423, 448, 462, 507, 569, 591, 609, 621, 646, 649, 664, 698, 701, 736, 861, 875, 880, 890, 914, 921, 949, 953, 959, 973, 978, 993]
      - 2:  -10000
  - name: "Test Case 87 (Num Max Target Generic True)"
    inputs:
      - 1:  [-1878, -1848, -1831, -1825, -1803, -1792, -1784, -1747, -1744, -1739, -1668, -1666, -1649, -1647, -1586, -1567, -1564, -1486, -1470, -1427, -1404, -1341, -1329, -1303, -1289, -1277, -1276, -1267, -1261, -1256, -1243, -1218, -1187, -1175, -1148, -1123, -1116, -1104, -1073, -1072, -967, -960, -956, -927, -914, -907, -884, -867, -862, -855, -851, -850, -845, -831, -826, -789, -778, -745, -743, -730, -674, -625, -602, -593, -557, -535, -521, -516, -515, -495, -480, -464, -422, -416, -378, -376, -363, -341, -313, -290, -288, -235, -233, -221, -203, -142, -136, -125, -116, -111, -109, -79, -54, -26, -16, 48, 57, 60, 149, 184, 188, 193, 211, 229, 243, 257, 282, 296, 301, 317, 346, 366, 379, 386, 388, 422, 434, 477, 487, 493, 495, 502, 568, 589, 603, 609, 613, 631, 641, 642, 693, 694, 702, 705, 711, 716, 742, 810, 814, 815, 837, 842, 849, 867, 917, 949, 951, 957, 972, 978, 1002, 1006, 1016, 1027, 1051, 1056, 1072, 1091, 1099, 1113, 1118, 1131, 1135, 1166, 1174, 1211, 1212, 1218, 1227, 1255, 1283, 1299, 1302, 1309, 1311, 1320, 1342, 1438, 1439, 1442, 1444, 1481, 1484, 1509, 1529, 1546, 1556, 1569, 1574, 1592, 1602, 1622, 1630, 1666, 1688, 1698, 1702, 1711, 1718, 1725, 1738, 1773, 1776, 1795, 1816, 1829, 1862, 1893, 1895, 1926, 1933, 1939, 1961, 1970, 1979, 1993, 1998, 2044, 2072, 2095, 2098, 2133, 2150, 2168, 2190, 2192, 2194, 2208, 2225, 2249, 2251, 2265, 2276, 2324, 2353, 2383, 2400, 2403, 2517, 2560, 2567, 2600, 2653, 2665, 2669, 2675, 2728, 2744, 2754, 2779, 2821, 2836, 2840, 2842, 2895, 2916, 2925, 2984, 2986, 2997, 3000, 3106, 3129, 3196, 3202, 3240, 3252, 3279, 3313, 3314, 3324, 3328, 3367, 3372, 3395, 3400, 3435, 3470, 3497, 3527, 3578, 3612, 3632, 3644, 3699, 3710, 3718, 3722, 3728, 3743, 3772, 3792, 3810, 3855, 3861, 3862, 3881, 3897, 3909, 3959, 3969, 3980, 4014, 4018, 4042, 4050, 4122, 4135, 4136, 4137, 4156, 4202, 4273, 4286, 4300, 4349, 4372, 4403, 4406, 4413, 4431, 4440, 4444, 4482, 4496, 4506, 4509, 4522, 4543, 4583, 4586, 4600, 4605, 4616, 4623, 4634, 4637, 4648, 4653, 4672, 4693, 4709, 4710, 4712, 4737, 4741, 4749, 4752, 4779, 4795, 4796, 4812, 4814, 4819, 4829, 4832, 4833, 4836, 4838, 4867, 4887, 4896, 4911, 4916, 4938, 4961, 4974, 5028, 5031, 5043, 5086, 5092, 5105, 5113, 5133, 5135, 5154, 5162, 5241, 5262, 5277, 5281, 5295, 5321, 5337, 5350, 5369, 5395, 5414, 5432, 5436, 5446, 5467, 5485, 5505, 5521, 5583, 5638, 5677, 5680, 5719, 5732, 5735, 5745, 5768, 5772, 5775, 5798, 5799, 5815, 5833, 5841, 5845, 5857, 5859, 6003, 6016, 6048, 6060, 6073, 6123, 6137, 6141, 6159, 6230, 6253, 6256, 6326, 6387, 6390, 6476, 6477, 6484, 6517, 6552, 6565, 6649, 6688, 6710, 6764, 6813, 6861, 6886, 6899, 6907, 6918, 6941, 6947, 6948, 6958, 6978, 7005, 7041, 7064, 7070, 7093, 7098, 7102, 7103, 7143, 7155, 7160, 7200, 7204, 7218, 7247, 7312, 7315, 7346, 7351, 7353, 7372, 7377, 7403, 7424, 7435, 7437, 7461, 7493, 7498, 7508, 7525, 7579, 7594, 7619, 7676, 7678, 7688, 7692, 7707, 7708, 7739, 7746, 7750, 7780, 7792, 7794, 7804, 7805, 7835, 7838, 7843, 7850, 7865, 7887, 7896, 7902, 7920, 7968, 7998, 8023, 8028, 8059, 8068, 8107, 8151, 8155, 8166, 8173, 8189, 8192, 8217, 8218, 8248, 8282, 8296, 8326, 8355, 8385, 8436, 8483, 8516, 8520, 8565, 8568, 8604, 8613, 8621, 8652, 8673, 8679, 8681, 8699, 8714, 8729, 8753, 8773, 8807, 8828, 8860, 8876, 8944, 8948, 8950, 8955, 8992, 9009, 9072, 9098, 9105, 9129, 9137, 9147, 9172, 9181, 9227, 9232, 9236, 9251, 9258, 9273, 9291, 9380, 9398, 9400, 9427, 9450, 9463, 9464, 9481, 9506, 9531, 9556, 9570, 9579, 9633, 9657, 9674, 9709, 9754, 9766, 9769, 9792, 9796, 9854, 9857, 9859, 9863, 9882, 9920, 9923, 9933, -9975, -9875, -9870, -9859, -9852, -9812, -9807, -9803, -9779, -9771, -9765, -9749, -9728, -9670, -9652, -9631, -9630, -9621, -9532, -9493, -9491, -9479, -9421, -9404, -9394, -9386, -9358, -9357, -9343, -9326, -9321, -9316, -9312, -9302, -9281, -9228, -9214, -9204, -9197, -9170, -9159, -9157, -9150, -9138, -9135, -9132, -9098, -9065, -9051, -9032, -9026, -9015, -9004, -8986, -8956, -8942, -8899, -8868, -8816, -8815, -8804, -8801, -8778, -8727, -8692, -8672, -8671, -8663, -8608, -8607, -8535, -8532, -8504, -8495, -8486, -8460, -8411, -8363, -8351, -8338, -8328, -8300, -8249, -8241, -8183, -8176, -8151, -8106, -8097, -8087, -8049, -8037, -8015, -8011, -7986, -7975, -7934, -7903, -7878, -7869, -7861, -7851, -7835, -7834, -7799, -7791, -7737, -7717, -7699, -7688, -7676, -7668, -7636, -7625, -7611, -7586, -7568, -7555, -7554, -7543, -7538, -7519, -7510, -7444, -7415, -7406, -7361, -7356, -7335, -7331, -7319, -7287, -7286, -7279, -7260, -7254, -7247, -7245, -7238, -7209, -7143, -7131, -7119, -7091, -7086, -7082, -7058, -7048, -7034, -7031, -7004, -6976, -6930, -6929, -6916, -6913, -6849, -6801, -6733, -6721, -6611, -6575, -6566, -6532, -6491, -6428, -6406, -6401, -6364, -6356, -6326, -6320, -6305, -6250, -6187, -6182, -6152, -6104, -6089, -6070, -6011, -5983, -5975, -5970, -5963, -5959, -5942, -5925, -5900, -5896, -5890, -5886, -5790, -5785, -5783, -5765, -5760, -5681, -5678, -5611, -5576, -5569, -5551, -5539, -5537, -5478, -5465, -5438, -5419, -5390, -5313, -5312, -5311, -5308, -5304, -5284, -5279, -5250, -5212, -5208, -5200, -5184, -5177, -5135, -5129, -5126, -5125, -5091, -5078, -5067, -5055, -5046, -5040, -5039, -5035, -5005, -4978, -4929, -4880, -4869, -4867, -4863, -4835, -4827, -4806, -4778, -4772, -4720, -4696, -4688, -4654, -4642, -4640, -4608, -4600, -4598, -4595, -4553, -4548, -4539, -4509, -4498, -4461, -4421, -4360, -4303, -4283, -4235, -4223, -4185, -4174, -4145, -4134, -4122, -4064, -4028, -4013, -4004, -3937, -3924, -3894, -3889, -3867, -3860, -3837, -3818, -3811, -3761, -3744, -3742, -3715, -3697, -3692, -3691, -3687, -3662, -3652, -3650, -3638, -3635, -3623, -3608, -3561, -3510, -3507, -3494, -3484, -3480, -3478, -3465, -3415, -3362, -3337, -3301, -3278, -3273, -3267, -3257, -3252, -3247, -3237, -3154, -3121, -3107, -3101, -3078, -3067, -3065, -3031, -3013, -2999, -2972, -2883, -2865, -2840, -2812, -2796, -2770, -2766, -2761, -2752, -2733, -2710, -2700, -2693, -2683, -2673, -2615, -2602, -2557, -2479, -2476, -2468, -2380, -2379, -2335, -2317, -2306, -2302, -2297, -2293, -2281, -2272, -2265, -2249, -2236, -2173, -2167, -2162, -2155, -2147, -2108, -2088, -2054, -2052, -2048, -2042, -2014, -1989, -1986, -1984, -1981, -1962, -1934]
      - 2:  -4598
  - name: "Test Case 94 (Num Max Target Generic False)"
    inputs:
      - 1:  [7939, 7959, 7971, 7989, 8015, 8034, 8062, 8082, 8084, 8091, 8093, 8137, 8147, 8152, 8164, 8173, 8193, 8226, 8249, 8269, 8304, 8315, 8325, 8330, 8332, 8346, 8349, 8369, 8371, 8433, 8438, 8472, 8474, 8510, 8522, 8543, 8546, 8603, 8609, 8644, 8652, 8653, 8675, 8734, 8741, 8773, 8775, 8781, 8804, 8820, 8854, 8863, 8883, 8891, 8926, 8930, 8937, 8976, 9001, 9017, 9024, 9027, 9104, 9147, 9158, 9177, 9189, 9206, 9209, 9231, 9253, 9258, 9260, 9264, 9284, 9297, 9316, 9322, 9335, 9340, 9341, 9348, 9375, 9430, 9436, 9449, 9489, 9492, 9499, 9528, 9535, 9537, 9562, 9632, 9638, 9645, 9653, 9657, 9680, 9695, 9710, 9729, 9733, 9736, 9744, 9766, 9778, 9826, 9864, 9877, 9886, 9895, 9911, 9925, 9929, 9934, 9939, 9957, 9970, 9989, -9984, -9983, -9932, -9887, -9842, -9834, -9824, -9821, -9808, -9798, -9790, -9784, -9775, -9768, -9736, -9729, -9725, -9692, -9684, -9652, -9614, -9567, -9532, -9525, -9498, -9482, -9464, -9449, -9402, -9394, -9359, -9349, -9342, -9329, -9328, -9304, -9264, -9241, -9195, -9179, -9167, -9160, -9159, -9129, -9114, -9100, -9096, -9051, -9010, -9001, -8947, -8942, -8932, -8916, -8910, -8857, -8799, -8785, -8722, -8715, -8697, -8686, -8628, -8582, -8563, -8548, -8519, -8510, -8474, -8429, -8427, -8411, -8392, -8389, -8357, -8348, -8346, -8343, -8311, -8310, -8278, -8276, -8222, -8103, -8089, -8075, -8015, -7967, -7961, -7944, -7941, -7887, -7878, -7874, -7864, -7859, -7856, -7825, -7809, -7744, -7742, -7733, -7693, -7685, -7681, -7673, -7657, -7656, -7622, -7606, -7602, -7595, -7591, -7532, -7520, -7512, -7427, -7418, -7399, -7368, -7366, -7344, -7333, -7319, -7313, -7312, -7282, -7272, -7268, -7254, -7214, -7199, -7198, -7172, -7171, -7145, -7124, -7102, -7100, -7024, -6980, -6964, -6951, -6950, -6938, -6923, -6891, -6885, -6869, -6857, -6855, -6847, -6826, -6805, -6804, -6800, -6780, -6779, -6778, -6764, -6748, -6722, -6717, -6663, -6632, -6602, -6567, -6562, -6508, -6494, -6407, -6330, -6321, -6309, -6305, -6295, -6287, -6283, -6216, -6209, -6205, -6186, -6180, -6113, -6074, -6071, -6070, -6044, -6014, -6005, -6003, -6000, -5988, -5983, -5955, -5909, -5886, -5882, -5869, -5866, -5846, -5803, -5763, -5761, -5750, -5744, -5739, -5738, -5717, -5712, -5667, -5659, -5569, -5467, -5464, -5432, -5382, -5374, -5373, -5365, -5332, -5312, -5311, -5282, -5197, -5192, -5155, -5098, -5092, -5080, -5061, -5060, -5021, -4958, -4877, -4866, -4862, -4792, -4788, -4784, -4762, -4757, -4756, -4746, -4704, -4703, -4699, -4657, -4630, -4627, -4622, -4587, -4577, -4548, -4505, -4492, -4467, -4427, -4421, -4405, -4403, -4370, -4347, -4338, -4337, -4335, -4328, -4307, -4296, -4287, -4261, -4247, -4230, -4226, -4193, -4181, -4152, -4128, -4107, -4101, -4081, -4063, -4060, -4047, -3909, -3905, -3895, -3890, -3842, -3762, -3739, -3721, -3715, -3692, -3638, -3608, -3574, -3551, -3536, -3490, -3472, -3471, -3448, -3435, -3434, -3433, -3419, -3382, -3360, -3340, -3334, -3289, -3284, -3218, -3213, -3212, -3167, -3164, -3099, -3098, -3081, -3073, -3069, -3046, -3037, -3031, -3013, -3003, -3001, -3000, -2979, -2967, -2959, -2948, -2927, -2914, -2907, -2828, -2797, -2781, -2758, -2757, -2734, -2719, -2696, -2688, -2660, -2628, -2626, -2615, -2546, -2538, -2515, -2467, -2462, -2452, -2422, -2412, -2394, -2357, -2336, -2321, -2319, -2316, -2305, -2279, -2269, -2253, -2205, -2204, -2191, -2187, -2177, -2167, -2147, -2140, -2113, -2043, -2041, -2038, -2036, -2035, -2027, -1995, -1991, -1981, -1931, -1901, -1894, -1891, -1866, -1859, -1840, -1837, -1836, -1820, -1798, -1788, -1787, -1770, -1748, -1671, -1662, -1661, -1651, -1634, -1632, -1602, -1575, -1449, -1435, -1307, -1293, -1281, -1269, -1236, -1230, -1207, -1194, -1192, -1178, -1156, -1144, -1119, -1080, -1013, -1010, -999, -996, -960, -933, -927, -901, -892, -882, -875, -872, -851, -846, -816, -806, -766, -733, -653, -639, -633, -631, -602, -591, -559, -553, -532, -523, -515, -489, -480, -433, -424, -415, -409, -352, -330, -293, -289, -275, -272, -264, -262, -242, -241, -219, -197, -178, -150, -140, -139, -60, -35, -24, 3, 11, 45, 51, 83, 97, 133, 170, 192, 290, 294, 296, 305, 306, 325, 327, 329, 355, 411, 448, 472, 474, 498, 549, 568, 604, 612, 613, 617, 628, 635, 662, 664, 666, 710, 721, 748, 753, 787, 815, 818, 825, 826, 829, 837, 897, 907, 921, 952, 989, 1040, 1070, 1153, 1167, 1178, 1203, 1254, 1256, 1327, 1335, 1361, 1431, 1500, 1514, 1546, 1552, 1555, 1571, 1594, 1628, 1631, 1640, 1652, 1675, 1749, 1789, 1798, 1802, 1808, 1874, 1910, 1964, 2013, 2018, 2030, 2039, 2056, 2070, 2080, 2109, 2130, 2169, 2208, 2214, 2223, 2240, 2249, 2295, 2302, 2306, 2334, 2346, 2363, 2382, 2383, 2390, 2483, 2522, 2547, 2564, 2618, 2623, 2647, 2657, 2663, 2672, 2728, 2731, 2754, 2800, 2801, 2859, 2873, 2918, 2925, 2970, 2972, 2990, 2992, 2993, 2996, 3078, 3086, 3098, 3116, 3149, 3162, 3167, 3188, 3198, 3221, 3230, 3237, 3246, 3258, 3269, 3309, 3374, 3377, 3381, 3429, 3452, 3499, 3521, 3543, 3583, 3587, 3636, 3660, 3679, 3681, 3690, 3694, 3730, 3766, 3767, 3785, 3804, 3813, 3848, 3849, 3869, 3884, 3895, 3901, 3917, 3933, 3949, 3961, 3971, 3991, 4009, 4017, 4050, 4062, 4081, 4106, 4117, 4163, 4189, 4197, 4199, 4200, 4230, 4233, 4265, 4288, 4294, 4323, 4327, 4486, 4522, 4611, 4642, 4644, 4658, 4674, 4699, 4726, 4729, 4734, 4763, 4794, 4807, 4820, 4821, 4824, 4832, 4883, 4885, 4887, 4889, 4923, 4952, 4970, 4985, 5007, 5030, 5050, 5067, 5089, 5093, 5098, 5113, 5135, 5204, 5234, 5298, 5324, 5348, 5359, 5371, 5374, 5390, 5428, 5457, 5467, 5469, 5510, 5556, 5577, 5590, 5591, 5593, 5606, 5611, 5630, 5709, 5766, 5775, 5779, 5803, 5806, 5816, 5842, 5848, 5850, 5858, 5917, 5931, 5964, 5991, 6038, 6042, 6086, 6111, 6121, 6146, 6155, 6186, 6211, 6227, 6229, 6276, 6331, 6362, 6424, 6470, 6490, 6508, 6514, 6529, 6530, 6531, 6542, 6544, 6554, 6578, 6593, 6596, 6601, 6607, 6614, 6632, 6634, 6653, 6688, 6734, 6768, 6787, 6788, 6838, 6849, 6851, 6857, 6866, 6881, 6885, 6890, 6895, 6910, 6913, 6922, 6928, 6950, 6952, 6956, 6983, 6986, 7016, 7041, 7157, 7196, 7284, 7286, 7313, 7363, 7421, 7435, 7440, 7441, 7455, 7478, 7496, 7550, 7572, 7590, 7617, 7653, 7655, 7680, 7683, 7692, 7694, 7750, 7763, 7784, 7816, 7825, 7834, 7835, 7867, 7883, 7913, 7937]
      - 2:  -8030
  - name: "Test Case 101 (Num Max Target Max True)"
    inputs:
      - 1:  [262, 278, 293, 317, 340, 365, 377, 388, 421, 433, 435, 437, 455, 459, 462, 483, 509, 539, 554, 559, 576, 592, 624, 631, 662, 688, 744, 747, 753, 758, 796, 807, 945, 974, 1008, 1022, 1023, 1040, 1089, 1107, 1128, 1151, 1161, 1188, 1255, 1300, 1303, 1326, 1328, 1355, 1361, 1404, 1434, 1462, 1464, 1496, 1502, 1558, 1565, 1569, 1570, 1604, 1758, 1776, 1784, 1804, 1805, 1813, 1833, 1860, 1882, 1885, 1893, 1901, 1907, 1913, 1915, 1948, 1956, 1971, 2038, 2070, 2136, 2237, 2243, 2265, 2277, 2339, 2346, 2360, 2386, 2409, 2417, 2419, 2459, 2479, 2483, 2596, 2597, 2628, 2630, 2680, 2747, 2763, 2768, 2809, 2810, 2857, 2880, 2918, 2934, 2987, 2989, 2990, 2992, 3029, 3030, 3085, 3087, 3088, 3123, 3161, 3180, 3198, 3203, 3228, 3264, 3271, 3274, 3293, 3302, 3321, 3329, 3339, 3348, 3414, 3435, 3461, 3485, 3501, 3503, 3533, 3536, 3557, 3561, 3563, 3596, 3619, 3621, 3633, 3640, 3652, 3672, 3683, 3698, 3723, 3747, 3763, 3767, 3770, 3777, 3785, 3798, 3807, 3825, 3843, 3844, 3859, 3904, 3908, 3917, 3943, 3944, 3950, 3959, 3982, 4009, 4040, 4048, 4054, 4055, 4076, 4087, 4092, 4095, 4131, 4132, 4143, 4152, 4164, 4184, 4208, 4258, 4277, 4288, 4314, 4321, 4322, 4357, 4366, 4393, 4409, 4411, 4431, 4450, 4452, 4538, 4541, 4557, 4588, 4602, 4609, 4676, 4679, 4700, 4721, 4743, 4748, 4752, 4753, 4869, 4879, 4890, 4908, 4911, 4954, 4961, 5005, 5013, 5067, 5072, 5114, 5133, 5163, 5173, 5177, 5185, 5232, 5253, 5268, 5288, 5326, 5347, 5353, 5364, 5385, 5399, 5436, 5468, 5471, 5475, 5484, 5503, 5505, 5517, 5532, 5562, 5575, 5594, 5604, 5635, 5638, 5643, 5652, 5667, 5729, 5752, 5845, 5855, 5868, 5869, 5878, 5907, 5937, 5957, 5964, 6004, 6021, 6023, 6112, 6161, 6168, 6169, 6178, 6187, 6203, 6222, 6263, 6272, 6288, 6291, 6337, 6354, 6360, 6383, 6395, 6437, 6440, 6479, 6483, 6500, 6502, 6505, 6588, 6591, 6601, 6611, 6635, 6654, 6660, 6667, 6706, 6722, 6730, 6766, 6799, 6813, 6835, 6866, 6883, 6910, 7009, 7011, 7048, 7061, 7086, 7093, 7131, 7172, 7175, 7209, 7214, 7241, 7243, 7247, 7262, 7290, 7307, 7348, 7355, 7395, 7425, 7449, 7466, 7489, 7515, 7518, 7528, 7546, 7564, 7665, 7678, 7698, 7700, 7736, 7750, 7754, 7761, 7795, 7823, 7891, 7916, 7938, 7963, 7971, 8004, 8022, 8037, 8072, 8096, 8098, 8122, 8123, 8126, 8138, 8204, 8221, 8240, 8248, 8288, 8291, 8296, 8307, 8311, 8327, 8329, 8354, 8385, 8386, 8410, 8411, 8443, 8452, 8512, 8534, 8535, 8541, 8556, 8560, 8562, 8610, 8611, 8632, 8654, 8736, 8755, 8867, 8918, 8932, 8939, 8945, 8946, 8954, 9010, 9043, 9086, 9110, 9167, 9189, 9203, 9225, 9227, 9236, 9271, 9314, 9320, 9394, 9406, 9410, 9428, 9429, 9443, 9453, 9465, 9478, 9495, 9501, 9509, 9518, 9525, 9526, 9604, 9611, 9621, 9651, 9652, 9692, 9693, 9697, 9737, 9767, 9824, 9854, 9856, 9875, 9887, 9914, 9928, 9968, 10000, -9990, -9945, -9931, -9898, -9880, -9839, -9824, -9768, -9750, -9738, -9734, -9732, -9666, -9608, -9578, -9551, -9531, -9505, -9504, -9481, -9476, -9462, -9421, -9403, -9371, -9361, -9354, -9336, -9308, -9301, -9285, -9277, -9273, -9271, -9247, -9232, -9159, -9154, -9143, -9142, -9135, -9134, -9073, -9057, -9038, -9036, -9020, -8998, -8948, -8943, -8936, -8909, -8901, -8898, -8892, -8889, -8868, -8865, -8859, -8846, -8844, -8822, -8792, -8765, -8762, -8724, -8697, -8693, -8657, -8646, -8643, -8634, -8630, -8607, -8591, -8589, -8567, -8544, -8540, -8511, -8508, -8494, -8461, -8458, -8446, -8420, -8415, -8398, -8362, -8359, -8260, -8258, -8235, -8233, -8220, -8204, -8194, -8163, -8162, -8151, -8134, -8131, -8114, -8020, -7971, -7951, -7946, -7929, -7848, -7810, -7783, -7751, -7741, -7720, -7705, -7699, -7687, -7677, -7670, -7663, -7659, -7648, -7641, -7636, -7605, -7583, -7573, -7507, -7502, -7491, -7483, -7437, -7435, -7427, -7378, -7351, -7347, -7321, -7310, -7302, -7237, -7203, -7174, -7130, -7099, -7087, -7057, -7048, -7038, -7022, -7018, -7012, -7001, -6942, -6933, -6926, -6876, -6840, -6814, -6807, -6798, -6767, -6707, -6694, -6666, -6640, -6633, -6622, -6603, -6600, -6594, -6588, -6582, -6581, -6568, -6532, -6530, -6523, -6517, -6507, -6503, -6484, -6407, -6388, -6365, -6361, -6345, -6332, -6329, -6301, -6289, -6269, -6257, -6252, -6251, -6192, -6186, -6175, -6170, -6127, -6126, -6121, -6114, -6101, -6076, -6069, -6052, -6027, -6008, -6005, -5999, -5979, -5959, -5954, -5952, -5934, -5913, -5901, -5891, -5890, -5884, -5874, -5820, -5816, -5811, -5682, -5628, -5583, -5565, -5534, -5499, -5493, -5479, -5464, -5441, -5434, -5418, -5415, -5401, -5340, -5306, -5305, -5290, -5280, -5223, -5193, -5166, -5134, -5109, -5103, -5079, -5062, -5061, -5049, -5019, -4973, -4961, -4924, -4921, -4865, -4843, -4833, -4831, -4826, -4816, -4815, -4807, -4780, -4697, -4672, -4626, -4609, -4595, -4591, -4581, -4576, -4561, -4537, -4532, -4503, -4463, -4445, -4437, -4434, -4431, -4421, -4420, -4413, -4381, -4348, -4317, -4296, -4278, -4272, -4243, -4215, -4202, -4180, -4178, -4154, -4087, -4054, -4045, -4033, -3978, -3950, -3879, -3845, -3837, -3824, -3781, -3771, -3764, -3727, -3724, -3697, -3680, -3652, -3649, -3629, -3610, -3603, -3585, -3569, -3565, -3564, -3531, -3516, -3507, -3484, -3457, -3456, -3365, -3343, -3340, -3328, -3323, -3317, -3316, -3312, -3289, -3270, -3257, -3253, -3227, -3203, -3198, -3129, -3085, -3050, -3032, -3025, -3002, -2997, -2958, -2942, -2931, -2915, -2903, -2894, -2849, -2848, -2842, -2796, -2787, -2768, -2712, -2696, -2675, -2658, -2656, -2648, -2647, -2629, -2606, -2597, -2586, -2576, -2482, -2464, -2463, -2412, -2408, -2407, -2368, -2345, -2315, -2268, -2240, -2189, -2187, -2186, -2156, -2107, -2088, -2073, -2057, -2045, -2038, -2033, -2031, -1981, -1962, -1956, -1949, -1937, -1922, -1917, -1904, -1894, -1835, -1826, -1822, -1786, -1770, -1760, -1724, -1712, -1702, -1693, -1675, -1564, -1467, -1458, -1448, -1435, -1398, -1389, -1381, -1360, -1356, -1306, -1299, -1293, -1263, -1260, -1234, -1178, -1166, -1160, -1151, -1100, -1095, -1076, -1072, -1067, -1056, -1041, -1035, -1032, -1024, -981, -972, -954, -953, -947, -913, -862, -860, -855, -854, -851, -849, -800, -798, -793, -787, -784, -772, -760, -757, -742, -730, -693, -640, -637, -636, -635, -631, -551, -548, -527, -526, -513, -504, -503, -502, -487, -457, -453, -428, -411, -376, -342, -340, -311, -254, -225, -216, -191, -182, -64, 6, 29, 45, 119, 127, 153, 170, 176, 177, 181, 194, 208, 238, 239, 252]
      - 2:  10000
  - name: "Test Case 108 (Num Max Target Max False)"
    inputs:
      - 1:  [-525, -516, -484, -475, -428, -374, -323, -288, -264, -259, -158, -148, -113, -16, 3, 52, 101, 106, 107, 117, 137, 152, 162, 191, 223, 227, 255, 256, 284, 294, 296, 322, 369, 370, 394, 419, 471, 473, 479, 534, 560, 577, 616, 619, 627, 633, 645, 655, 686, 744, 749, 773, 774, 781, 801, 846, 890, 892, 894, 909, 911, 919, 974, 975, 1095, 1106, 1121, 1133, 1144, 1180, 1220, 1229, 1269, 1319, 1335, 1342, 1438, 1476, 1478, 1483, 1496, 1503, 1506, 1507, 1532, 1584, 1621, 1638, 1670, 1732, 1739, 1740, 1754, 1755, 1777, 1848, 1849, 1881, 1889, 1906, 1919, 1931, 1949, 1952, 1978, 1998, 2007, 2008, 2035, 2124, 2140, 2163, 2164, 2201, 2243, 2248, 2258, 2273, 2321, 2354, 2357, 2371, 2396, 2402, 2413, 2495, 2538, 2574, 2576, 2579, 2585, 2616, 2621, 2672, 2675, 2686, 2691, 2709, 2727, 2745, 2760, 2767, 2777, 2797, 2833, 2865, 2872, 2874, 2924, 2947, 2964, 2966, 2992, 3074, 3081, 3113, 3123, 3127, 3159, 3192, 3213, 3235, 3263, 3269, 3275, 3306, 3312, 3335, 3370, 3405, 3406, 3416, 3504, 3570, 3576, 3578, 3608, 3619, 3660, 3709, 3763, 3791, 3793, 3824, 3842, 3851, 3863, 3869, 3884, 3892, 3893, 3938, 3967, 3992, 4004, 4005, 4027, 4044, 4045, 4046, 4094, 4109, 4142, 4177, 4195, 4197, 4218, 4282, 4296, 4336, 4339, 4386, 4411, 4414, 4416, 4446, 4454, 4463, 4485, 4489, 4499, 4500, 4504, 4518, 4535, 4549, 4559, 4570, 4598, 4741, 4751, 4753, 4851, 4867, 4909, 4925, 4929, 4931, 4953, 4956, 4967, 4974, 5012, 5061, 5091, 5103, 5135, 5142, 5212, 5214, 5220, 5234, 5243, 5247, 5251, 5302, 5315, 5344, 5349, 5393, 5439, 5443, 5452, 5454, 5467, 5474, 5481, 5504, 5525, 5596, 5682, 5710, 5729, 5744, 5747, 5768, 5784, 5813, 5815, 5843, 5853, 5854, 5867, 5879, 5897, 5958, 5982, 6013, 6040, 6043, 6081, 6100, 6111, 6123, 6159, 6162, 6173, 6185, 6232, 6235, 6241, 6279, 6297, 6302, 6309, 6313, 6329, 6404, 6449, 6452, 6457, 6468, 6469, 6522, 6549, 6555, 6586, 6625, 6645, 6650, 6652, 6689, 6703, 6704, 6723, 6727, 6787, 6800, 6811, 6816, 6819, 6851, 6852, 6860, 6866, 6903, 6910, 6949, 6967, 6989, 7008, 7023, 7025, 7064, 7069, 7075, 7086, 7097, 7101, 7109, 7124, 7142, 7161, 7183, 7210, 7238, 7240, 7264, 7265, 7281, 7308, 7312, 7319, 7329, 7332, 7333, 7367, 7378, 7417, 7440, 7496, 7518, 7521, 7527, 7572, 7577, 7584, 7594, 7609, 7624, 7640, 7670, 7677, 7679, 7689, 7705, 7713, 7724, 7725, 7759, 7780, 7864, 7905, 7934, 7945, 7968, 7969, 7981, 8002, 8032, 8046, 8103, 8147, 8198, 8206, 8214, 8218, 8231, 8243, 8251, 8265, 8290, 8317, 8318, 8333, 8336, 8359, 8362, 8368, 8370, 8378, 8386, 8410, 8431, 8438, 8452, 8458, 8460, 8488, 8530, 8531, 8532, 8543, 8563, 8564, 8592, 8610, 8641, 8653, 8682, 8687, 8710, 8721, 8743, 8756, 8760, 8764, 8772, 8782, 8814, 8839, 8862, 8890, 8906, 8954, 9002, 9021, 9075, 9102, 9129, 9195, 9200, 9226, 9255, 9275, 9333, 9377, 9393, 9411, 9445, 9528, 9578, 9587, 9629, 9641, 9647, 9692, 9695, 9712, 9791, 9819, 9823, 9867, 9900, 9916, 9931, 9960, 9964, 9971, 9985, -9995, -9988, -9937, -9934, -9894, -9865, -9832, -9815, -9791, -9760, -9758, -9757, -9719, -9652, -9650, -9615, -9566, -9562, -9506, -9501, -9476, -9454, -9435, -9429, -9413, -9389, -9388, -9387, -9378, -9355, -9310, -9305, -9293, -9281, -9275, -9242, -9241, -9235, -9181, -9143, -9111, -9105, -9054, -9035, -9020, -9003, -8949, -8921, -8919, -8914, -8903, -8871, -8863, -8862, -8826, -8822, -8819, -8796, -8764, -8761, -8727, -8708, -8700, -8660, -8628, -8605, -8598, -8592, -8584, -8553, -8542, -8433, -8407, -8391, -8385, -8374, -8358, -8345, -8334, -8333, -8318, -8310, -8303, -8300, -8280, -8253, -8224, -8221, -8207, -8202, -8198, -8190, -8183, -8180, -8166, -8146, -8140, -8130, -8067, -8066, -8045, -8041, -8039, -8026, -7894, -7885, -7871, -7862, -7806, -7779, -7773, -7743, -7735, -7661, -7609, -7570, -7511, -7443, -7421, -7414, -7407, -7382, -7342, -7328, -7295, -7287, -7253, -7250, -7228, -7192, -7185, -7183, -7181, -7157, -7143, -7110, -7091, -7074, -7058, -7032, -7026, -7020, -7013, -6935, -6928, -6911, -6896, -6891, -6883, -6862, -6850, -6812, -6798, -6792, -6784, -6782, -6772, -6756, -6738, -6737, -6720, -6706, -6690, -6684, -6675, -6674, -6658, -6629, -6593, -6587, -6585, -6582, -6529, -6527, -6513, -6505, -6477, -6473, -6472, -6446, -6328, -6320, -6308, -6284, -6252, -6242, -6235, -6217, -6197, -6171, -6163, -6154, -6138, -6126, -6087, -6037, -5991, -5989, -5970, -5953, -5945, -5933, -5932, -5928, -5913, -5903, -5892, -5865, -5850, -5828, -5810, -5809, -5758, -5756, -5747, -5746, -5742, -5702, -5670, -5665, -5664, -5640, -5634, -5622, -5599, -5575, -5547, -5533, -5520, -5509, -5491, -5462, -5400, -5395, -5391, -5384, -5375, -5340, -5339, -5288, -5261, -5258, -5200, -5192, -5176, -5164, -5119, -5113, -5103, -5097, -5075, -5066, -5026, -4968, -4964, -4962, -4951, -4937, -4903, -4883, -4854, -4834, -4830, -4798, -4788, -4758, -4711, -4675, -4672, -4671, -4623, -4576, -4524, -4519, -4478, -4459, -4445, -4443, -4441, -4427, -4418, -4383, -4354, -4333, -4331, -4310, -4304, -4296, -4286, -4237, -4209, -4193, -4180, -4174, -4154, -4114, -4110, -4016, -3952, -3949, -3933, -3927, -3908, -3899, -3891, -3868, -3861, -3855, -3849, -3845, -3843, -3841, -3808, -3801, -3774, -3763, -3738, -3734, -3714, -3713, -3710, -3703, -3691, -3674, -3665, -3659, -3655, -3650, -3612, -3606, -3600, -3576, -3564, -3519, -3505, -3461, -3436, -3408, -3376, -3366, -3350, -3339, -3315, -3311, -3241, -3218, -3204, -3188, -3182, -3173, -3140, -3132, -3093, -3072, -3059, -3022, -2981, -2944, -2940, -2937, -2925, -2905, -2896, -2887, -2885, -2829, -2824, -2805, -2759, -2750, -2733, -2730, -2705, -2681, -2675, -2666, -2639, -2634, -2611, -2602, -2556, -2551, -2544, -2529, -2527, -2503, -2500, -2483, -2457, -2427, -2386, -2382, -2359, -2264, -2244, -2188, -2176, -2172, -2128, -2124, -2110, -2100, -2079, -2023, -1987, -1968, -1952, -1895, -1882, -1859, -1851, -1847, -1841, -1817, -1801, -1769, -1726, -1702, -1697, -1674, -1670, -1665, -1660, -1648, -1633, -1608, -1595, -1578, -1559, -1549, -1547, -1544, -1512, -1465, -1451, -1417, -1378, -1366, -1361, -1328, -1326, -1316, -1271, -1260, -1184, -1176, -1174, -1131, -1084, -1082, -1062, -1060, -1053, -1047, -1046, -1034, -996, -995, -984, -975, -943, -909, -870, -865, -863, -839, -812, -803, -798, -778, -769, -762, -733, -717, -681, -670, -658, -653, -643, -604, -586, -577, -575, -562, -546]
      - 2:  1605
  - name: "Test Case 115 (Num Generic Target Generic Ascending True)"
    inputs:
      - 1:  [-9996, -9941, -9939, -9930, -9928, -9916, -9867, -9865, -9851, -9846, -9815, -9797, -9786, -9765, -9756, -9722, -9704, -9696, -9694, -9669, -9667, -9634, -9607, -9577, -9563, -9558, -9545, -9543, -9532, -9484, -9474, -9432, -9425, -9406, -9399, -9388, -9379, -9374, -9349, -9331, -9315, -9239, -9231, -9218, -9209, -9198, -9195, -9181, -9171, -9166, -9163, -9161, -9144, -9136, -9127, -9106, -9076, -9024, -9018, -9011, -9003, -8965, -8954, -8924, -8913, -8878, -8848, -8843, -8837, -8833, -8831, -8824, -8820, -8808, -8806, -8745, -8701, -8698, -8679, -8667, -8631, -8629, -8577, -8574, -8571, -8541, -8501, -8484, -8480, -8476, -8463, -8453, -8432, -8414, -8407, -8392, -8372, -8371, -8330, -8326, -8325, -8289, -8275, -8263, -8242, -8221, -8094, -8073, -8044, -8009, -8008, -7981, -7975, -7939, -7931, -7924, -7883, -7843, -7824, -7775, -7760, -7700, -7694, -7690, -7676, -7664, -7645, -7627, -7599, -7593, -7566, -7556, -7539, -7460, -7372, -7335, -7310, -7285, -7282, -7265, -7262, -7257, -7252, -7249, -7206, -7203, -7196, -7153, -7132, -7114, -7051, -7043, -7032, -7021, -7020, -6994, -6993, -6992, -6985, -6977, -6961, -6957, -6916, -6906, -6904, -6881, -6851, -6838, -6815, -6791, -6773, -6740, -6702, -6680, -6657, -6650, -6642, -6599, -6536, -6531, -6523, -6509, -6508, -6467, -6466, -6424, -6373, -6332, -6298, -6290, -6289, -6267, -6242, -6228, -6198, -6196, -6156, -6086, -6046, -6042, -6030, -6021, -6017, -6005, -5983, -5968, -5961, -5956, -5952, -5907, -5902, -5898, -5891, -5877, -5876, -5857, -5845, -5831, -5807, -5795, -5774, -5769, -5768, -5757, -5737, -5722, -5682, -5610, -5603, -5599, -5586, -5576, -5569, -5564, -5559, -5555, -5489, -5469, -5464, -5441, -5354, -5318, -5308, -5284, -5179, -5171, -5135, -5126, -5107, -5086, -5049, -5048, -4970, -4912, -4829, -4819, -4801, -4787, -4768, -4751, -4720, -4713, -4711, -4708, -4683, -4678, -4675, -4674, -4633, -4614, -4584, -4581, -4555, -4528, -4523, -4519, -4510, -4478, -4464, -4423, -4404, -4375, -4366, -4278, -4263, -4255, -4225, -4196, -4178, -4176, -4157, -4116, -4080, -4051, -4011, -4002, -3972, -3963, -3956, -3931, -3930, -3881, -3833, -3813, -3775, -3774, -3730, -3715, -3710, -3691, -3688, -3670, -3623, -3613, -3598, -3592, -3581, -3563, -3560, -3527, -3522, -3509, -3475, -3463, -3460, -3405, -3393, -3368, -3358, -3357, -3356, -3351, -3341, -3295, -3253, -3248, -3202, -3198, -3188, -3179, -3163, -3162, -3137, -3132, -3129, -3066, -3058, -3028, -3017, -2999, -2984, -2957, -2948, -2946, -2932, -2901, -2872, -2847, -2807, -2794, -2778, -2747, -2741, -2707, -2697, -2683, -2657, -2620, -2609, -2608, -2605, -2602, -2527, -2497, -2495, -2453, -2439, -2437, -2433, -2423, -2420, -2357, -2339, -2335, -2305, -2289, -2279, -2268, -2260, -2243, -2204, -2186, -2178, -2172, -2152, -2151, -2115, -2114, -2095, -2084, -2077, -2026, -2014, -2009, -1989, -1961, -1892, -1876, -1865, -1807, -1800, -1789, -1776, -1771, -1762, -1728, -1713, -1675, -1643, -1621, -1597, -1582, -1563, -1547, -1516, -1514, -1489, -1423, -1391, -1366, -1358, -1353, -1316, -1294, -1293, -1267, -1231, -1212, -1210, -1200, -1146, -1144, -1128, -1095, -1057, -1052, -1045, -1032, -1021, -965, -919, -902, -889, -885, -870, -847, -844, -843, -820, -803, -786, -741, -688, -670, -668, -667, -661, -639, -635, -618, -549, -472, -465, -458, -438, -417, -402, -347, -336, -335, -289, -276, -245, -229, -204, -173, -162, -121, -118, -60, -48, -24, -23, -21, -7, -5, 40, 42, 56, 58, 61, 143, 152, 206, 224, 225, 232, 239, 284, 292, 304, 318, 355, 357, 362, 381, 392, 455, 471, 472, 508, 542, 554, 571, 585, 629, 645, 653, 658, 673, 677, 687, 694, 743, 762, 767, 777, 800, 889, 918, 920, 1015, 1032, 1049, 1075, 1084, 1145, 1158, 1160, 1231, 1285, 1298, 1310, 1316, 1331, 1336, 1358, 1374, 1378, 1411, 1415, 1420, 1446, 1458, 1463, 1490, 1548, 1551, 1573, 1595, 1627, 1653, 1701, 1761, 1778, 1822, 1824, 1916, 1945, 1969, 1986, 2002, 2036, 2066, 2070, 2120, 2135, 2192, 2202, 2221, 2232, 2253, 2268, 2283, 2293, 2310, 2328, 2378, 2381, 2451, 2484, 2488, 2541, 2576, 2581, 2591, 2604, 2608, 2630, 2635, 2638, 2651, 2675, 2690, 2707, 2709, 2719, 2739, 2756, 2811, 2871, 2906, 2914, 2933, 2998, 3014, 3019, 3045, 3060, 3081, 3082, 3129, 3171, 3192, 3201, 3237, 3255, 3311, 3363, 3369, 3445, 3460, 3465, 3478, 3483, 3489, 3491, 3493, 3527, 3529, 3609, 3613, 3651, 3659, 3678, 3685, 3734, 3737, 3744, 3755, 3763, 3785, 3814, 3820, 3824, 3825, 3869, 3904, 3908, 3914, 3916, 3955, 3963, 4006, 4008, 4024, 4034, 4042, 4067, 4147, 4153, 4161, 4168, 4171, 4173, 4215, 4237, 4250, 4252, 4259, 4292, 4299, 4301, 4330, 4380, 4410, 4423, 4495, 4568, 4572, 4643, 4644, 4654, 4693, 4696, 4705, 4708, 4736, 4741, 4789, 4839, 4840, 4856, 4867, 4899, 4910, 4920, 4927, 4936, 4940, 4956, 4963, 4978, 4981, 5007, 5015, 5035, 5039, 5060, 5061, 5082, 5103, 5114, 5115, 5146, 5155, 5163, 5173, 5205, 5208, 5220, 5243, 5291, 5318, 5333, 5337, 5378, 5421, 5450, 5467, 5472, 5482, 5496, 5512, 5601, 5656, 5690, 5695, 5699, 5704, 5706, 5734, 5762, 5768, 5779, 5784, 5792, 5810, 5829, 5845, 5861, 5862, 5885, 5932, 5937, 5969, 5984, 6015, 6016, 6018, 6050, 6052, 6064, 6069, 6070, 6077, 6126, 6147, 6151, 6165, 6167, 6185, 6188, 6220, 6250, 6251, 6317, 6344, 6362, 6365, 6369, 6380, 6387, 6415, 6439, 6454, 6463, 6538, 6550, 6561, 6569, 6578, 6589, 6609, 6646, 6693, 6695, 6762, 6805, 6836, 6850, 6957, 7003, 7060, 7070, 7093, 7112, 7117, 7161, 7165, 7187, 7221, 7233, 7239, 7252, 7266, 7269, 7286, 7303, 7339, 7344, 7360, 7391, 7404, 7465, 7466, 7492, 7503, 7527, 7572, 7599, 7636, 7644, 7662, 7723, 7752, 7754, 7851, 7869, 7891, 7901, 7968, 7969, 7975, 8015, 8039, 8042, 8054, 8058, 8083, 8100, 8163, 8172, 8181, 8190, 8192, 8225, 8244, 8312, 8326, 8338, 8350, 8375, 8467, 8497, 8512, 8514, 8516, 8528, 8547, 8580, 8583, 8588, 8589, 8602, 8612, 8659, 8663, 8672, 8675, 8681, 8710, 8738, 8761, 8801, 8803, 8824, 8854, 8855, 8888, 8912, 8916, 8922, 8925, 8948, 8951, 8953, 8963, 8981, 9059, 9069, 9071, 9073, 9086, 9090, 9113, 9143, 9147, 9149, 9160, 9189, 9210, 9238, 9267, 9270, 9296, 9320, 9369, 9404, 9419, 9438, 9468, 9494, 9501, 9517, 9538, 9568, 9619, 9665, 9693, 9753, 9763, 9778, 9781, 9807, 9822, 9824, 9846, 9848, 9850, 9854, 9857, 9899, 9904, 9927, 9939, 9984, 9989]
      - 2:  -3560
  - name: "Test Case 122 (Num Generic Target Generic Ascending False)"
    inputs:
      - 1:  [-9983, -9970, -9960, -9954, -9947, -9944, -9932, -9866, -9846, -9813, -9806, -9795, -9794, -9723, -9717, -9715, -9711, -9643, -9631, -9623, -9597, -9541, -9524, -9460, -9457, -9429, -9404, -9353, -9349, -9342, -9336, -9313, -9297, -9296, -9248, -9235, -9234, -9208, -9205, -9203, -9190, -9188, -9180, -9173, -9149, -9145, -9140, -9088, -9086, -9067, -8984, -8981, -8920, -8900, -8841, -8839, -8830, -8803, -8791, -8788, -8768, -8761, -8752, -8744, -8714, -8699, -8698, -8666, -8661, -8634, -8626, -8624, -8605, -8555, -8514, -8502, -8498, -8470, -8423, -8414, -8404, -8383, -8345, -8289, -8281, -8274, -8255, -8248, -8226, -8221, -8220, -8217, -8216, -8208, -8171, -8159, -8158, -8135, -8130, -8079, -8075, -8048, -8040, -8017, -7990, -7965, -7918, -7859, -7833, -7830, -7811, -7805, -7782, -7766, -7758, -7747, -7692, -7690, -7678, -7647, -7635, -7597, -7569, -7560, -7556, -7532, -7525, -7521, -7503, -7500, -7486, -7480, -7474, -7471, -7466, -7459, -7430, -7404, -7398, -7369, -7317, -7310, -7292, -7252, -7248, -7241, -7239, -7214, -7211, -7208, -7198, -7188, -7183, -7152, -7151, -7143, -7097, -7063, -7062, -7046, -7042, -7027, -7009, -6997, -6995, -6993, -6974, -6943, -6818, -6783, -6762, -6730, -6718, -6699, -6684, -6626, -6610, -6589, -6553, -6532, -6525, -6518, -6510, -6505, -6487, -6422, -6411, -6395, -6394, -6375, -6319, -6242, -6240, -6239, -6238, -6196, -6182, -6179, -6176, -6167, -6146, -6091, -6074, -6063, -6033, -5948, -5910, -5901, -5892, -5851, -5814, -5741, -5724, -5696, -5684, -5666, -5611, -5607, -5601, -5579, -5576, -5562, -5556, -5553, -5484, -5482, -5475, -5462, -5455, -5446, -5444, -5431, -5400, -5385, -5378, -5369, -5329, -5317, -5314, -5269, -5250, -5226, -5161, -5154, -5115, -5098, -5096, -5085, -5079, -5073, -5067, -5007, -4999, -4995, -4971, -4967, -4865, -4828, -4819, -4797, -4718, -4716, -4684, -4683, -4616, -4598, -4564, -4529, -4528, -4525, -4522, -4502, -4489, -4471, -4470, -4421, -4412, -4409, -4397, -4394, -4327, -4323, -4318, -4279, -4188, -4143, -4118, -4116, -4063, -4055, -4049, -4047, -4019, -3987, -3970, -3897, -3884, -3880, -3820, -3809, -3807, -3802, -3782, -3778, -3760, -3724, -3716, -3713, -3646, -3637, -3593, -3581, -3537, -3491, -3465, -3460, -3420, -3411, -3410, -3397, -3381, -3361, -3341, -3304, -3300, -3285, -3257, -3242, -3228, -3211, -3119, -3103, -3092, -3082, -3074, -3059, -3043, -3036, -3005, -2999, -2995, -2994, -2990, -2982, -2969, -2957, -2956, -2940, -2937, -2915, -2883, -2871, -2848, -2840, -2830, -2782, -2778, -2750, -2690, -2656, -2645, -2584, -2539, -2518, -2469, -2464, -2440, -2412, -2407, -2402, -2394, -2380, -2372, -2329, -2322, -2271, -2260, -2258, -2252, -2167, -2122, -2120, -2108, -2102, -2077, -2073, -2051, -2047, -1961, -1951, -1948, -1925, -1921, -1919, -1888, -1876, -1831, -1814, -1811, -1804, -1791, -1782, -1780, -1771, -1745, -1657, -1647, -1629, -1612, -1560, -1557, -1490, -1439, -1414, -1402, -1395, -1357, -1352, -1344, -1272, -1199, -1156, -1131, -1115, -1114, -1073, -1070, -1010, -1009, -963, -953, -942, -939, -936, -918, -912, -907, -888, -885, -860, -858, -847, -835, -824, -802, -801, -798, -721, -679, -672, -629, -624, -583, -577, -571, -568, -547, -528, -521, -498, -482, -448, -381, -360, -343, -342, -335, -322, -299, -286, -211, -202, -184, -176, -169, -159, -136, -119, -110, -19, 8, 69, 77, 86, 101, 103, 104, 120, 128, 195, 206, 244, 284, 287, 306, 325, 343, 416, 448, 451, 465, 471, 497, 507, 519, 525, 528, 597, 615, 635, 647, 765, 767, 771, 780, 782, 801, 823, 844, 847, 864, 903, 931, 961, 980, 992, 1065, 1075, 1085, 1140, 1151, 1152, 1156, 1161, 1164, 1184, 1185, 1201, 1209, 1260, 1276, 1283, 1334, 1409, 1452, 1465, 1466, 1476, 1500, 1544, 1577, 1602, 1612, 1613, 1651, 1712, 1718, 1723, 1726, 1733, 1736, 1745, 1756, 1763, 1807, 1809, 1861, 1895, 1898, 1914, 1918, 2045, 2057, 2075, 2126, 2137, 2152, 2192, 2197, 2211, 2236, 2240, 2252, 2269, 2278, 2291, 2301, 2315, 2330, 2356, 2366, 2374, 2379, 2427, 2434, 2469, 2526, 2605, 2616, 2618, 2658, 2663, 2665, 2672, 2677, 2696, 2700, 2727, 2778, 2786, 2794, 2839, 2844, 2877, 2885, 2891, 2922, 2927, 2937, 2940, 2964, 2967, 3019, 3025, 3037, 3045, 3064, 3070, 3074, 3118, 3147, 3184, 3230, 3231, 3241, 3248, 3256, 3271, 3305, 3346, 3363, 3376, 3403, 3408, 3411, 3431, 3449, 3464, 3474, 3488, 3493, 3505, 3579, 3610, 3641, 3659, 3676, 3731, 3740, 3782, 3806, 3841, 3849, 3856, 3920, 3923, 3946, 3953, 3968, 4056, 4062, 4068, 4091, 4093, 4113, 4130, 4184, 4204, 4223, 4250, 4293, 4295, 4302, 4309, 4325, 4331, 4341, 4371, 4393, 4428, 4474, 4513, 4528, 4529, 4585, 4614, 4651, 4659, 4745, 4784, 4838, 4873, 4876, 4885, 4910, 4957, 4976, 4981, 5007, 5029, 5039, 5049, 5057, 5113, 5145, 5180, 5218, 5267, 5294, 5297, 5302, 5309, 5312, 5328, 5330, 5337, 5338, 5351, 5367, 5383, 5393, 5419, 5443, 5477, 5478, 5488, 5495, 5519, 5534, 5536, 5538, 5551, 5587, 5603, 5621, 5633, 5636, 5646, 5655, 5670, 5705, 5710, 5716, 5741, 5757, 5761, 5819, 5835, 5856, 5893, 5896, 5911, 5923, 5927, 5956, 6018, 6037, 6039, 6042, 6142, 6148, 6182, 6196, 6262, 6268, 6277, 6278, 6287, 6301, 6343, 6351, 6399, 6409, 6416, 6446, 6450, 6451, 6481, 6524, 6527, 6533, 6564, 6617, 6629, 6669, 6673, 6677, 6680, 6688, 6731, 6746, 6758, 6765, 6766, 6769, 6787, 6794, 6796, 6799, 6807, 6814, 6828, 6829, 6849, 6857, 6866, 6888, 6911, 6922, 7006, 7033, 7036, 7069, 7072, 7079, 7105, 7116, 7131, 7149, 7163, 7184, 7186, 7197, 7198, 7216, 7219, 7226, 7260, 7290, 7364, 7373, 7395, 7396, 7408, 7431, 7432, 7445, 7452, 7478, 7498, 7501, 7515, 7542, 7560, 7582, 7590, 7602, 7635, 7685, 7706, 7795, 7803, 7812, 7824, 7832, 7845, 7861, 7873, 7875, 7927, 7962, 7991, 8023, 8025, 8026, 8057, 8063, 8094, 8107, 8117, 8123, 8138, 8168, 8176, 8194, 8200, 8265, 8286, 8293, 8305, 8323, 8329, 8343, 8362, 8408, 8414, 8434, 8509, 8536, 8570, 8609, 8637, 8654, 8734, 8766, 8767, 8791, 8792, 8803, 8807, 8811, 8850, 8853, 8875, 8883, 8898, 8912, 8929, 8984, 8989, 9001, 9006, 9070, 9071, 9105, 9126, 9130, 9139, 9150, 9152, 9230, 9267, 9272, 9276, 9286, 9288, 9305, 9313, 9328, 9348, 9369, 9372, 9390, 9447, 9474, 9486, 9487, 9504, 9512, 9517, 9558, 9563, 9574, 9587, 9593, 9595, 9626, 9637, 9643, 9666, 9673, 9678, 9680, 9720, 9784, 9788, 9789, 9792, 9835, 9872, 9892, 9923, 9925, 9929, 9939, 9949, 9975, 9982]
      - 2:  3803
  - name: "Test Case 129 (Num Generic Target Generic Positive True)"
    inputs:
      - 1:  [2187, 2202, 2209, 2213, 2223, 2232, 2236, 2243, 2268, 2277, 2297, 2322, 2326, 2334, 2338, 2340, 2343, 2346, 2349, 2354, 2358, 2362, 2363, 2367, 2374, 2392, 2394, 2422, 2425, 2432, 2502, 2510, 2516, 2520, 2544, 2550, 2561, 2585, 2594, 2600, 2608, 2615, 2639, 2641, 2648, 2663, 2664, 2667, 2675, 2685, 2692, 2715, 2717, 2718, 2740, 2774, 2782, 2831, 2833, 2852, 2873, 2874, 2888, 2934, 2937, 2952, 2954, 2959, 2971, 2974, 2977, 2979, 2981, 3029, 3046, 3052, 3059, 3070, 3093, 3101, 3115, 3116, 3121, 3124, 3133, 3141, 3143, 3153, 3158, 3162, 3184, 3199, 3215, 3237, 3262, 3270, 3287, 3291, 3300, 3369, 3375, 3386, 3392, 3410, 3417, 3420, 3424, 3434, 3435, 3452, 3486, 3493, 3519, 3534, 3537, 3542, 3556, 3564, 3565, 3576, 3591, 3601, 3605, 3606, 3607, 3627, 3634, 3648, 3661, 3663, 3674, 3678, 3703, 3706, 3707, 3712, 3723, 3737, 3746, 3772, 3775, 3777, 3794, 3799, 3802, 3807, 3808, 3816, 3824, 3833, 3860, 3866, 3870, 3875, 3882, 3896, 3901, 3907, 3910, 3917, 3919, 3924, 3953, 3970, 3987, 3989, 3994, 3997, 4000, 4012, 4018, 4021, 4031, 4039, 4040, 4046, 4053, 4056, 4070, 4116, 4117, 4156, 4174, 4177, 4181, 4199, 4210, 4226, 4243, 4252, 4256, 4278, 4287, 4333, 4334, 4339, 4348, 4352, 4388, 4397, 4402, 4419, 4424, 4426, 4449, 4455, 4474, 4482, 4490, 4494, 4521, 4523, 4524, 4567, 4586, 4589, 4594, 4598, 4614, 4633, 4653, 4675, 4682, 4690, 4695, 4699, 4700, 4702, 4717, 4719, 4728, 4729, 4749, 4758, 4764, 4775, 4784, 4790, 4796, 4803, 4816, 4819, 4822, 4837, 4838, 4852, 4877, 4880, 4888, 4891, 4902, 4904, 4913, 4914, 4927, 4933, 4938, 4945, 4949, 4958, 4994, 4996, 5035, 5047, 5052, 5062, 5074, 5076, 5089, 5093, 5116, 5127, 5173, 5214, 5220, 5223, 5227, 5228, 5233, 5239, 5247, 5259, 5269, 5277, 5288, 5290, 5292, 5303, 5305, 5314, 5315, 5317, 5340, 5348, 5374, 5384, 5390, 5392, 5396, 5403, 5408, 5412, 5418, 5426, 5437, 5440, 5464, 5470, 5478, 5485, 5486, 5496, 5499, 5506, 5520, 5522, 5532, 5539, 5543, 5546, 5547, 5559, 5562, 5579, 5582, 5595, 5596, 5598, 5600, 5612, 5630, 5633, 5641, 5642, 5658, 5667, 5682, 5690, 5710, 5730, 5769, 5777, 5783, 5788, 5790, 5825, 5831, 5853, 5861, 5862, 5865, 5866, 5884, 5889, 5899, 5906, 5914, 5951, 5958, 5984, 6003, 6011, 6031, 6040, 6048, 6056, 6057, 6058, 6060, 6062, 6090, 6094, 6104, 6112, 6113, 6142, 6150, 6153, 6154, 6169, 6170, 6173, 6187, 6193, 6227, 6229, 6253, 6256, 6275, 6277, 6294, 6321, 6328, 6329, 6338, 6343, 6348, 6398, 6404, 6408, 6410, 6422, 6432, 6435, 6438, 6444, 6456, 6473, 6486, 6507, 6510, 6512, 6516, 6518, 6534, 6549, 6550, 6574, 6583, 6585, 6589, 6609, 6610, 6616, 6640, 6649, 6659, 6677, 6684, 6689, 6690, 6702, 6716, 6722, 6749, 6762, 6785, 6798, 6799, 6804, 6812, 6822, 6826, 6830, 6837, 6842, 6851, 6869, 6877, 6884, 6897, 6903, 6909, 6914, 6917, 6922, 6931, 6934, 6948, 6956, 6973, 6995, 7009, 7011, 7022, 7030, 7035, 7036, 7054, 7057, 7060, 7083, 7109, 7119, 7121, 7135, 7148, 7168, 7169, 7173, 7175, 7176, 7189, 7197, 7202, 7203, 7208, 7219, 7225, 7256, 7257, 7271, 7288, 7290, 7291, 7302, 7350, 7375, 7381, 7384, 7388, 7402, 7403, 7408, 7409, 7410, 7412, 7451, 7466, 7486, 7513, 7531, 7542, 7547, 7557, 7566, 7576, 7591, 7595, 7599, 7605, 7606, 7609, 7634, 7641, 7651, 7656, 7663, 7670, 7677, 7690, 7698, 7717, 7727, 7735, 7747, 7753, 7757, 7778, 7785, 7786, 7798, 7815, 7819, 7828, 7838, 7849, 7854, 7855, 7870, 7889, 7892, 7893, 7896, 7904, 7907, 7915, 7917, 7918, 7924, 7927, 7933, 7935, 7937, 7943, 7955, 7957, 7979, 7981, 7988, 7993, 7996, 8003, 8013, 8027, 8029, 8049, 8071, 8076, 8079, 8090, 8092, 8106, 8111, 8117, 8121, 8123, 8126, 8151, 8170, 8172, 8182, 8184, 8189, 8194, 8196, 8208, 8214, 8219, 8223, 8235, 8236, 8260, 8268, 8275, 8302, 8305, 8312, 8331, 8342, 8346, 8349, 8352, 8356, 8364, 8387, 8412, 8414, 8456, 8487, 8488, 8502, 8515, 8519, 8524, 8541, 8547, 8548, 8577, 8578, 8604, 8614, 8619, 8624, 8643, 8648, 8652, 8659, 8670, 8701, 8705, 8721, 8746, 8747, 8773, 8776, 8781, 8783, 8796, 8806, 8817, 8835, 8840, 8845, 8850, 8854, 8858, 8867, 8871, 8872, 8878, 8890, 8909, 8915, 8955, 8976, 8978, 8985, 8994, 9011, 9034, 9044, 9051, 9055, 9059, 9060, 9067, 9073, 9074, 9087, 9088, 9101, 9109, 9126, 9128, 9140, 9151, 9164, 9167, 9188, 9196, 9215, 9230, 9243, 9249, 9250, 9278, 9284, 9302, 9310, 9313, 9326, 9339, 9345, 9349, 9362, 9382, 9383, 9397, 9402, 9410, 9411, 9430, 9436, 9446, 9461, 9468, 9469, 9478, 9482, 9485, 9488, 9503, 9506, 9511, 9518, 9550, 9558, 9570, 9572, 9576, 9583, 9624, 9627, 9649, 9650, 9652, 9678, 9679, 9693, 9695, 9705, 9715, 9732, 9740, 9766, 9769, 9782, 9806, 9808, 9809, 9820, 9861, 9864, 9865, 9867, 9878, 9881, 9902, 9922, 9923, 9932, 9938, 9956, 9963, 9974, 9978, 9985, 9989, 7, 26, 27, 32, 41, 42, 56, 74, 79, 107, 109, 166, 181, 206, 215, 221, 239, 249, 257, 270, 281, 314, 317, 322, 326, 336, 352, 359, 373, 398, 419, 422, 449, 469, 492, 500, 504, 517, 526, 527, 556, 561, 566, 567, 576, 588, 621, 631, 635, 661, 667, 674, 678, 679, 685, 690, 700, 712, 726, 742, 765, 766, 770, 773, 780, 786, 823, 835, 836, 842, 862, 865, 867, 868, 880, 885, 898, 914, 919, 920, 931, 932, 947, 950, 952, 966, 974, 976, 978, 979, 994, 995, 1012, 1042, 1048, 1069, 1070, 1071, 1102, 1115, 1124, 1130, 1135, 1136, 1150, 1158, 1177, 1183, 1202, 1215, 1224, 1229, 1230, 1266, 1267, 1268, 1287, 1299, 1307, 1321, 1333, 1341, 1343, 1358, 1361, 1364, 1391, 1396, 1401, 1437, 1445, 1475, 1503, 1525, 1534, 1548, 1556, 1564, 1611, 1625, 1629, 1657, 1666, 1681, 1684, 1686, 1692, 1694, 1715, 1728, 1734, 1762, 1777, 1808, 1814, 1829, 1849, 1855, 1869, 1873, 1880, 1884, 1905, 1926, 1929, 1942, 1965, 2018, 2023, 2027, 2035, 2042, 2048, 2110, 2113, 2119, 2128, 2131, 2135, 2140, 2151, 2163, 2173, 2175, 2184]
      - 2:  3875
  - name: "Test Case 136 (Num Generic Target Generic Positive False)"
    inputs:
      - 1:  [8558, 8564, 8595, 8600, 8618, 8642, 8660, 8662, 8683, 8689, 8722, 8729, 8744, 8755, 8758, 8780, 8786, 8789, 8800, 8818, 8830, 8836, 8869, 8885, 8903, 8954, 8962, 8972, 8986, 9004, 9021, 9026, 9040, 9046, 9086, 9111, 9116, 9123, 9141, 9169, 9170, 9186, 9190, 9193, 9203, 9209, 9239, 9240, 9260, 9261, 9302, 9303, 9307, 9326, 9353, 9362, 9385, 9386, 9391, 9393, 9400, 9402, 9414, 9421, 9427, 9430, 9446, 9465, 9479, 9488, 9491, 9494, 9520, 9524, 9529, 9533, 9559, 9561, 9566, 9582, 9583, 9591, 9602, 9606, 9616, 9618, 9638, 9642, 9651, 9652, 9654, 9661, 9664, 9676, 9679, 9681, 9687, 9695, 9703, 9706, 9711, 9718, 9726, 9753, 9766, 9782, 9806, 9812, 9815, 9826, 9831, 9840, 9842, 9846, 9867, 9869, 9870, 9871, 9873, 9874, 9879, 9900, 9903, 9909, 9923, 9971, 9975, 9979, 9988, 9990, 9994, 9995, 23, 53, 54, 56, 68, 75, 93, 112, 122, 129, 136, 141, 163, 169, 182, 190, 196, 209, 219, 249, 298, 304, 306, 309, 310, 317, 318, 331, 341, 369, 375, 381, 386, 390, 395, 404, 422, 433, 444, 471, 493, 542, 552, 561, 566, 570, 599, 606, 607, 611, 638, 640, 641, 662, 666, 682, 683, 689, 701, 721, 741, 746, 748, 759, 787, 805, 831, 853, 867, 870, 871, 881, 887, 901, 902, 934, 967, 970, 987, 991, 1005, 1008, 1011, 1021, 1028, 1058, 1068, 1070, 1080, 1095, 1135, 1136, 1170, 1178, 1225, 1230, 1231, 1248, 1259, 1264, 1282, 1295, 1300, 1301, 1304, 1323, 1338, 1359, 1371, 1381, 1401, 1402, 1405, 1406, 1430, 1435, 1436, 1439, 1440, 1443, 1460, 1462, 1464, 1470, 1476, 1482, 1484, 1498, 1499, 1501, 1509, 1520, 1529, 1549, 1558, 1562, 1570, 1599, 1606, 1608, 1617, 1638, 1644, 1656, 1660, 1674, 1702, 1712, 1758, 1763, 1779, 1784, 1796, 1798, 1805, 1812, 1818, 1835, 1841, 1852, 1861, 1873, 1884, 1896, 1899, 1905, 1906, 1907, 1909, 1915, 1953, 1969, 1970, 2025, 2030, 2036, 2045, 2049, 2051, 2055, 2065, 2084, 2086, 2089, 2092, 2123, 2144, 2145, 2154, 2169, 2171, 2173, 2176, 2182, 2194, 2199, 2235, 2238, 2250, 2272, 2280, 2306, 2313, 2323, 2368, 2375, 2377, 2380, 2390, 2420, 2439, 2449, 2456, 2465, 2502, 2508, 2513, 2514, 2527, 2534, 2537, 2552, 2554, 2555, 2572, 2585, 2599, 2616, 2628, 2630, 2632, 2641, 2662, 2664, 2696, 2702, 2703, 2705, 2712, 2716, 2731, 2732, 2748, 2760, 2763, 2764, 2766, 2789, 2790, 2798, 2805, 2808, 2810, 2824, 2825, 2839, 2846, 2853, 2871, 2885, 2889, 2897, 2903, 2905, 2906, 2936, 2957, 2961, 2975, 2982, 2985, 3009, 3011, 3014, 3016, 3029, 3044, 3050, 3058, 3072, 3074, 3086, 3108, 3118, 3134, 3135, 3166, 3174, 3176, 3194, 3197, 3199, 3200, 3205, 3224, 3267, 3279, 3289, 3300, 3308, 3318, 3321, 3352, 3361, 3374, 3380, 3394, 3405, 3412, 3440, 3487, 3499, 3516, 3519, 3523, 3540, 3555, 3582, 3591, 3605, 3613, 3630, 3632, 3634, 3647, 3653, 3674, 3682, 3696, 3708, 3740, 3747, 3763, 3782, 3784, 3786, 3801, 3803, 3819, 3841, 3853, 3872, 3876, 3884, 3893, 3895, 3901, 3902, 3917, 3918, 3941, 3944, 3952, 3962, 3964, 3965, 3984, 4011, 4040, 4060, 4069, 4098, 4109, 4111, 4123, 4129, 4133, 4140, 4143, 4148, 4155, 4184, 4195, 4199, 4223, 4237, 4244, 4259, 4264, 4271, 4276, 4300, 4303, 4309, 4311, 4341, 4358, 4361, 4363, 4370, 4388, 4391, 4395, 4400, 4443, 4473, 4501, 4514, 4535, 4540, 4541, 4555, 4565, 4567, 4568, 4574, 4576, 4577, 4584, 4599, 4615, 4620, 4627, 4630, 4638, 4643, 4674, 4702, 4718, 4749, 4753, 4755, 4780, 4783, 4794, 4795, 4816, 4822, 4848, 4859, 4880, 4902, 4919, 4927, 4934, 4959, 4970, 4976, 4988, 4993, 5010, 5015, 5019, 5028, 5035, 5043, 5062, 5070, 5080, 5094, 5110, 5135, 5173, 5175, 5212, 5222, 5227, 5243, 5248, 5260, 5265, 5270, 5284, 5319, 5325, 5327, 5331, 5333, 5339, 5349, 5352, 5382, 5388, 5398, 5400, 5415, 5417, 5426, 5428, 5431, 5436, 5437, 5473, 5491, 5509, 5519, 5524, 5532, 5543, 5553, 5565, 5576, 5584, 5587, 5624, 5635, 5639, 5648, 5650, 5652, 5656, 5659, 5666, 5690, 5697, 5702, 5751, 5773, 5802, 5811, 5829, 5837, 5850, 5852, 5864, 5875, 5889, 5890, 5913, 5924, 5930, 5944, 5949, 5957, 5958, 5962, 5963, 5967, 5970, 5993, 5997, 6001, 6005, 6014, 6019, 6036, 6041, 6046, 6084, 6096, 6105, 6112, 6122, 6127, 6135, 6141, 6144, 6150, 6173, 6174, 6176, 6193, 6218, 6221, 6234, 6256, 6260, 6275, 6280, 6289, 6299, 6305, 6315, 6316, 6319, 6324, 6331, 6358, 6383, 6393, 6419, 6437, 6442, 6443, 6446, 6455, 6457, 6461, 6471, 6473, 6479, 6499, 6511, 6516, 6522, 6528, 6529, 6536, 6539, 6546, 6562, 6574, 6576, 6584, 6590, 6591, 6599, 6600, 6610, 6652, 6680, 6690, 6692, 6697, 6699, 6711, 6715, 6718, 6721, 6723, 6724, 6746, 6757, 6760, 6768, 6777, 6781, 6787, 6795, 6802, 6806, 6817, 6831, 6835, 6849, 6855, 6856, 6859, 6873, 6874, 6884, 6890, 6899, 6901, 6902, 6907, 6924, 6929, 6930, 6937, 6940, 6943, 6945, 6951, 6958, 6966, 6993, 7011, 7013, 7022, 7033, 7045, 7057, 7073, 7081, 7085, 7089, 7097, 7109, 7114, 7121, 7126, 7142, 7146, 7162, 7168, 7179, 7192, 7216, 7217, 7233, 7247, 7253, 7260, 7261, 7266, 7267, 7268, 7272, 7277, 7282, 7291, 7293, 7302, 7310, 7311, 7326, 7331, 7346, 7356, 7365, 7380, 7390, 7395, 7401, 7410, 7413, 7418, 7434, 7459, 7483, 7486, 7487, 7509, 7520, 7542, 7547, 7548, 7579, 7581, 7588, 7595, 7617, 7633, 7637, 7643, 7650, 7660, 7666, 7670, 7673, 7674, 7678, 7688, 7697, 7708, 7716, 7724, 7734, 7757, 7760, 7762, 7764, 7777, 7785, 7787, 7809, 7845, 7850, 7879, 7884, 7895, 7896, 7903, 7911, 7914, 7921, 7936, 7937, 7949, 7955, 7963, 7965, 7966, 7982, 7990, 7997, 8001, 8005, 8007, 8012, 8036, 8043, 8048, 8051, 8053, 8066, 8082, 8083, 8089, 8092, 8099, 8129, 8131, 8142, 8165, 8185, 8204, 8215, 8230, 8231, 8266, 8274, 8298, 8308, 8311, 8313, 8316, 8318, 8324, 8353, 8358, 8359, 8361, 8394, 8404, 8424, 8441, 8442, 8444, 8450, 8465, 8472, 8476, 8482, 8487, 8488, 8500, 8511, 8529, 8545, 8548]
      - 2:  1458
  - name: "Test Case 143 (Num Generic Target Generic Negative True)"
    inputs:
      - 1:  [-2096, -2093, -2070, -2068, -2067, -2064, -2050, -2044, -2026, -2021, -2020, -2011, -1990, -1987, -1984, -1974, -1955, -1928, -1918, -1917, -1898, -1896, -1893, -1891, -1887, -1873, -1861, -1859, -1857, -1855, -1823, -1816, -1804, -1788, -1778, -1760, -1748, -1747, -1733, -1724, -1704, -1698, -1696, -1675, -1669, -1663, -1657, -1643, -1635, -1614, -1603, -1600, -1595, -1593, -1592, -1582, -1581, -1580, -1575, -1571, -1568, -1559, -1553, -1542, -1533, -1531, -1519, -1513, -1497, -1460, -1449, -1437, -1435, -1426, -1396, -1389, -1384, -1381, -1367, -1343, -1337, -1325, -1323, -1306, -1285, -1271, -1261, -1260, -1255, -1249, -1248, -1236, -1196, -1188, -1179, -1170, -1168, -1161, -1146, -1136, -1132, -1130, -1129, -1108, -1096, -1083, -1068, -1054, -1050, -1048, -1020, -1017, -990, -976, -969, -967, -937, -934, -933, -931, -907, -886, -884, -868, -862, -859, -849, -842, -838, -826, -825, -811, -808, -789, -788, -786, -782, -743, -718, -702, -698, -694, -689, -685, -681, -674, -673, -655, -633, -623, -618, -617, -598, -573, -529, -523, -520, -513, -508, -499, -497, -496, -493, -483, -478, -456, -449, -448, -442, -393, -392, -388, -384, -381, -363, -362, -359, -353, -352, -349, -328, -323, -312, -307, -301, -248, -246, -236, -234, -225, -199, -186, -167, -163, -145, -139, -136, -120, -115, -114, -113, -89, -82, -61, -56, -20, -4, -9989, -9979, -9967, -9951, -9949, -9945, -9943, -9941, -9902, -9898, -9895, -9889, -9887, -9883, -9873, -9869, -9863, -9855, -9844, -9815, -9803, -9800, -9789, -9784, -9774, -9772, -9771, -9751, -9689, -9680, -9672, -9636, -9635, -9634, -9628, -9625, -9621, -9607, -9586, -9566, -9556, -9524, -9520, -9504, -9496, -9477, -9468, -9447, -9443, -9442, -9434, -9431, -9420, -9413, -9408, -9403, -9394, -9391, -9368, -9345, -9330, -9325, -9323, -9307, -9301, -9297, -9292, -9286, -9250, -9231, -9228, -9210, -9183, -9174, -9162, -9143, -9139, -9133, -9124, -9122, -9117, -9114, -9100, -9098, -9079, -9075, -9066, -9052, -9051, -9048, -9044, -9034, -9022, -9019, -9016, -9008, -8994, -8985, -8980, -8967, -8958, -8957, -8948, -8905, -8901, -8900, -8899, -8889, -8874, -8836, -8813, -8804, -8770, -8768, -8764, -8743, -8734, -8730, -8725, -8709, -8681, -8680, -8673, -8631, -8617, -8600, -8592, -8585, -8583, -8576, -8569, -8567, -8557, -8555, -8525, -8498, -8496, -8488, -8482, -8472, -8466, -8447, -8443, -8434, -8410, -8406, -8373, -8371, -8354, -8343, -8335, -8321, -8311, -8310, -8297, -8279, -8273, -8256, -8251, -8249, -8238, -8225, -8219, -8207, -8206, -8200, -8195, -8177, -8170, -8160, -8154, -8152, -8137, -8136, -8135, -8129, -8128, -8123, -8117, -8114, -8110, -8104, -8100, -8093, -8092, -8078, -8076, -8066, -8059, -8058, -8047, -8046, -8040, -8037, -8009, -7978, -7974, -7961, -7951, -7944, -7907, -7902, -7886, -7879, -7870, -7868, -7855, -7847, -7837, -7831, -7825, -7821, -7815, -7807, -7806, -7804, -7763, -7744, -7742, -7736, -7718, -7700, -7696, -7664, -7649, -7647, -7635, -7630, -7629, -7617, -7612, -7611, -7588, -7586, -7584, -7567, -7555, -7554, -7537, -7534, -7529, -7525, -7489, -7484, -7440, -7429, -7425, -7398, -7388, -7386, -7383, -7365, -7354, -7332, -7329, -7295, -7283, -7282, -7279, -7278, -7264, -7258, -7249, -7192, -7170, -7150, -7134, -7121, -7117, -7116, -7078, -7070, -7065, -7048, -7035, -7015, -7014, -7013, -7011, -7006, -6998, -6996, -6990, -6979, -6947, -6945, -6940, -6934, -6923, -6905, -6898, -6892, -6886, -6882, -6872, -6869, -6866, -6862, -6845, -6838, -6836, -6828, -6821, -6786, -6784, -6777, -6772, -6771, -6762, -6757, -6756, -6748, -6734, -6721, -6711, -6695, -6677, -6669, -6659, -6645, -6631, -6626, -6599, -6592, -6590, -6584, -6579, -6568, -6555, -6545, -6533, -6518, -6497, -6476, -6475, -6444, -6435, -6411, -6408, -6407, -6401, -6391, -6376, -6351, -6332, -6313, -6311, -6299, -6294, -6283, -6269, -6261, -6251, -6247, -6246, -6236, -6231, -6221, -6213, -6210, -6207, -6201, -6163, -6152, -6150, -6145, -6142, -6108, -6085, -6081, -6078, -6065, -6050, -6047, -6029, -6014, -6002, -5980, -5975, -5970, -5954, -5951, -5947, -5931, -5926, -5925, -5881, -5877, -5875, -5872, -5867, -5845, -5844, -5842, -5841, -5837, -5835, -5834, -5829, -5821, -5815, -5805, -5793, -5776, -5774, -5771, -5766, -5763, -5755, -5738, -5717, -5705, -5689, -5681, -5668, -5665, -5655, -5653, -5611, -5597, -5581, -5571, -5570, -5568, -5564, -5555, -5547, -5515, -5501, -5491, -5475, -5462, -5450, -5448, -5427, -5425, -5422, -5374, -5366, -5353, -5349, -5348, -5346, -5340, -5299, -5288, -5287, -5242, -5239, -5230, -5221, -5214, -5207, -5188, -5131, -5091, -5087, -5063, -5046, -5035, -5019, -5014, -5005, -4999, -4984, -4981, -4979, -4978, -4967, -4961, -4954, -4939, -4915, -4904, -4889, -4887, -4883, -4875, -4852, -4843, -4827, -4806, -4805, -4794, -4754, -4749, -4746, -4725, -4692, -4691, -4683, -4667, -4664, -4655, -4654, -4642, -4626, -4601, -4590, -4586, -4584, -4536, -4515, -4513, -4505, -4498, -4491, -4489, -4485, -4472, -4467, -4457, -4455, -4448, -4430, -4428, -4427, -4413, -4405, -4403, -4387, -4384, -4369, -4339, -4338, -4328, -4324, -4322, -4318, -4315, -4314, -4304, -4301, -4291, -4272, -4269, -4265, -4262, -4259, -4257, -4250, -4240, -4239, -4237, -4227, -4219, -4203, -4181, -4171, -4170, -4143, -4116, -4106, -4101, -4090, -4084, -4070, -4069, -4058, -4040, -4019, -4014, -4012, -4003, -3989, -3961, -3949, -3936, -3894, -3893, -3878, -3858, -3830, -3829, -3813, -3787, -3784, -3757, -3749, -3739, -3718, -3711, -3710, -3702, -3686, -3667, -3660, -3658, -3655, -3650, -3649, -3646, -3641, -3634, -3631, -3609, -3600, -3590, -3579, -3564, -3563, -3528, -3527, -3513, -3495, -3488, -3479, -3471, -3455, -3419, -3414, -3402, -3383, -3352, -3342, -3336, -3317, -3316, -3292, -3280, -3269, -3262, -3260, -3250, -3219, -3212, -3209, -3206, -3200, -3194, -3191, -3177, -3169, -3167, -3138, -3135, -3128, -3087, -3078, -3076, -3073, -3060, -3047, -3044, -2992, -2967, -2960, -2956, -2952, -2949, -2940, -2923, -2915, -2913, -2876, -2875, -2849, -2840, -2837, -2836, -2832, -2828, -2824, -2822, -2807, -2796, -2793, -2775, -2771, -2769, -2755, -2740, -2727, -2714, -2711, -2693, -2680, -2674, -2662, -2660, -2657, -2643, -2631, -2605, -2593, -2590, -2580, -2573, -2554, -2537, -2536, -2527, -2521, -2499, -2494, -2493, -2466, -2463, -2455, -2443, -2439, -2407, -2399, -2394, -2389, -2381, -2369, -2365, -2363, -2358, -2357, -2340, -2329, -2324, -2315, -2314, -2312, -2304, -2298, -2297, -2286, -2283, -2271, -2260, -2254, -2248, -2246, -2223, -2207, -2198, -2189, -2178, -2176, -2158, -2150, -2137, -2133, -2104, -2102]
      - 2:  -7529
  - name: "Test Case 150 (Num Generic Target Generic Negative False)"
    inputs:
      - 1:  [-2388, -2384, -2370, -2368, -2358, -2341, -2332, -2319, -2316, -2314, -2312, -2302, -2299, -2260, -2257, -2244, -2232, -2230, -2199, -2193, -2181, -2180, -2136, -2126, -2112, -2096, -2080, -2060, -2049, -2033, -2008, -2005, -1994, -1977, -1969, -1955, -1952, -1929, -1926, -1916, -1894, -1887, -1882, -1866, -1834, -1821, -1790, -1782, -1781, -1775, -1773, -1767, -1764, -1757, -1738, -1733, -1729, -1721, -1701, -1691, -1678, -1659, -1637, -1633, -1628, -1621, -1592, -1583, -1546, -1533, -1532, -1515, -1512, -1499, -1479, -1473, -1470, -1450, -1442, -1431, -1428, -1420, -1414, -1395, -1381, -1380, -1377, -1374, -1363, -1355, -1354, -1345, -1332, -1327, -1298, -1294, -1286, -1278, -1275, -1270, -1266, -1249, -1219, -1214, -1208, -1199, -1197, -1178, -1173, -1167, -1164, -1158, -1156, -1154, -1144, -1128, -1122, -1114, -1101, -1093, -1086, -1074, -1073, -1054, -1019, -1015, -978, -939, -930, -928, -926, -918, -907, -904, -897, -895, -886, -882, -850, -833, -822, -817, -807, -774, -771, -767, -763, -744, -743, -730, -714, -702, -686, -680, -677, -667, -658, -657, -643, -642, -633, -626, -620, -613, -606, -591, -572, -568, -555, -547, -542, -528, -524, -518, -516, -510, -481, -471, -468, -461, -456, -435, -432, -424, -417, -408, -390, -359, -333, -327, -322, -321, -311, -310, -298, -297, -285, -274, -252, -249, -245, -231, -227, -211, -201, -169, -140, -109, -103, -96, -94, -91, -89, -84, -83, -65, -54, -41, -20, -14, -7, -9998, -9973, -9955, -9948, -9942, -9933, -9930, -9919, -9916, -9914, -9909, -9908, -9894, -9885, -9878, -9852, -9842, -9831, -9828, -9814, -9811, -9806, -9804, -9796, -9795, -9792, -9775, -9756, -9747, -9726, -9715, -9708, -9696, -9694, -9683, -9682, -9668, -9643, -9634, -9628, -9627, -9622, -9608, -9600, -9593, -9591, -9587, -9585, -9581, -9577, -9570, -9546, -9536, -9523, -9521, -9515, -9480, -9467, -9452, -9446, -9439, -9411, -9408, -9404, -9402, -9400, -9394, -9389, -9368, -9362, -9351, -9260, -9253, -9240, -9234, -9233, -9230, -9208, -9202, -9196, -9193, -9182, -9177, -9174, -9159, -9154, -9150, -9135, -9132, -9121, -9107, -9105, -9093, -9080, -9056, -9053, -9038, -9008, -8999, -8990, -8944, -8943, -8928, -8925, -8918, -8914, -8899, -8898, -8896, -8890, -8878, -8867, -8848, -8842, -8834, -8829, -8823, -8808, -8750, -8748, -8737, -8733, -8719, -8654, -8651, -8640, -8636, -8618, -8614, -8607, -8596, -8591, -8580, -8575, -8539, -8512, -8508, -8486, -8483, -8479, -8474, -8455, -8452, -8436, -8435, -8425, -8418, -8395, -8387, -8386, -8382, -8376, -8368, -8353, -8351, -8344, -8339, -8336, -8333, -8330, -8327, -8320, -8309, -8308, -8299, -8285, -8284, -8279, -8277, -8275, -8270, -8268, -8260, -8251, -8248, -8243, -8241, -8231, -8226, -8206, -8203, -8190, -8181, -8172, -8163, -8140, -8138, -8116, -8115, -8108, -8107, -8098, -8073, -8065, -8057, -8012, -8003, -7985, -7974, -7972, -7961, -7950, -7935, -7922, -7921, -7918, -7902, -7890, -7880, -7867, -7860, -7858, -7851, -7829, -7809, -7801, -7786, -7742, -7732, -7731, -7706, -7702, -7678, -7659, -7641, -7639, -7619, -7589, -7581, -7559, -7558, -7528, -7517, -7512, -7501, -7481, -7462, -7459, -7452, -7451, -7442, -7430, -7419, -7404, -7396, -7359, -7357, -7329, -7317, -7312, -7309, -7308, -7297, -7291, -7286, -7283, -7282, -7277, -7272, -7267, -7264, -7260, -7258, -7254, -7253, -7247, -7243, -7209, -7198, -7149, -7144, -7136, -7123, -7122, -7103, -7086, -7078, -7068, -7050, -7035, -7025, -7014, -7010, -7003, -6989, -6988, -6971, -6921, -6918, -6910, -6907, -6884, -6880, -6854, -6850, -6832, -6830, -6818, -6816, -6815, -6810, -6805, -6793, -6788, -6776, -6726, -6712, -6710, -6704, -6695, -6690, -6682, -6678, -6675, -6674, -6666, -6659, -6653, -6635, -6629, -6628, -6593, -6581, -6579, -6576, -6564, -6554, -6542, -6541, -6539, -6527, -6519, -6515, -6510, -6453, -6446, -6434, -6419, -6404, -6388, -6384, -6346, -6339, -6328, -6302, -6300, -6291, -6286, -6280, -6272, -6269, -6228, -6225, -6219, -6205, -6203, -6196, -6183, -6180, -6169, -6165, -6137, -6123, -6118, -6117, -6097, -6089, -6067, -6063, -6037, -6035, -6030, -5989, -5978, -5965, -5964, -5958, -5952, -5940, -5937, -5931, -5873, -5867, -5858, -5855, -5841, -5825, -5810, -5807, -5784, -5782, -5780, -5755, -5744, -5734, -5732, -5724, -5721, -5719, -5711, -5707, -5702, -5690, -5683, -5682, -5678, -5668, -5665, -5662, -5635, -5628, -5620, -5617, -5609, -5602, -5600, -5593, -5584, -5582, -5580, -5566, -5558, -5547, -5538, -5537, -5529, -5528, -5525, -5518, -5514, -5507, -5492, -5475, -5450, -5448, -5447, -5444, -5408, -5402, -5388, -5387, -5384, -5376, -5368, -5349, -5342, -5331, -5326, -5301, -5290, -5277, -5272, -5268, -5243, -5242, -5231, -5200, -5189, -5182, -5166, -5100, -5092, -5090, -5085, -5074, -5069, -5067, -5063, -5060, -5055, -5048, -5027, -5019, -5006, -5002, -4999, -4998, -4978, -4976, -4941, -4938, -4927, -4908, -4886, -4858, -4839, -4828, -4825, -4818, -4813, -4805, -4774, -4773, -4769, -4756, -4754, -4685, -4673, -4662, -4624, -4615, -4596, -4579, -4578, -4575, -4574, -4565, -4562, -4558, -4555, -4550, -4538, -4537, -4530, -4524, -4517, -4514, -4508, -4507, -4506, -4480, -4471, -4468, -4461, -4456, -4448, -4439, -4428, -4423, -4416, -4412, -4400, -4395, -4393, -4388, -4367, -4342, -4319, -4317, -4312, -4302, -4288, -4264, -4263, -4258, -4252, -4238, -4237, -4229, -4222, -4216, -4215, -4213, -4181, -4180, -4156, -4134, -4094, -4089, -4083, -4077, -4073, -4067, -4050, -4038, -4032, -4028, -4022, -4018, -4010, -4005, -3979, -3970, -3956, -3955, -3943, -3938, -3937, -3925, -3920, -3906, -3894, -3883, -3880, -3846, -3841, -3833, -3827, -3807, -3779, -3777, -3772, -3765, -3755, -3750, -3739, -3735, -3724, -3700, -3696, -3681, -3663, -3649, -3639, -3632, -3631, -3630, -3625, -3624, -3623, -3614, -3611, -3608, -3588, -3586, -3555, -3532, -3506, -3505, -3504, -3503, -3499, -3498, -3486, -3477, -3470, -3464, -3438, -3421, -3420, -3391, -3390, -3385, -3382, -3371, -3331, -3328, -3324, -3321, -3317, -3290, -3283, -3278, -3265, -3257, -3250, -3249, -3246, -3233, -3220, -3218, -3211, -3199, -3197, -3184, -3180, -3174, -3144, -3134, -3109, -3106, -3087, -3083, -3077, -3075, -3071, -3048, -3046, -3045, -3030, -3018, -3017, -3010, -3005, -3002, -2998, -2993, -2987, -2983, -2979, -2957, -2952, -2939, -2934, -2919, -2917, -2913, -2900, -2898, -2893, -2882, -2871, -2868, -2846, -2835, -2823, -2822, -2794, -2777, -2726, -2698, -2686, -2683, -2657, -2656, -2645, -2640, -2633, -2625, -2608, -2586, -2578, -2552, -2546, -2523, -2516, -2514, -2511, -2507, -2500, -2498, -2495, -2490, -2482, -2477, -2467, -2460, -2445, -2438, -2431, -2418]
      - 2:  -7810