verif_skip.py

a = [11, 4610, 7468, 12611, 16998, 20537, 25262, 30998, 35631, 39420, 42010, 45938, 51135, 55818, 60822, 63929, 69090, 73485, 77743, 81760, 85073, 88349, 92424, 96450, 101490, 105657, 111535, 115104, 118451, 122360, 127878, 131967, 136093, 139587, 144539, 148234, 150659, 154019] 



b = [11, 34, 266, 303, 310, 378, 699, 1003, 1068, 1088, 1167, 1203, 1322, 1724, 1890, 1986, 2010, 2155, 2304, 2321, 2331, 2360, 2368, 2550, 2562, 2599, 2674, 2806, 2895, 2908, 2974, 3312, 3472, 3712, 3767, 4290, 4369, 4610, 4643, 4672, 4731, 4824, 4888, 4956, 5133, 5457, 5518, 5534, 5615, 5673, 5861, 5865, 5917, 5932, 6002, 6011, 6055, 6084, 6129, 6207, 6294, 6387, 6404, 6482, 6539, 6588, 6645, 6670, 6928, 7127, 7288, 7357, 7436, 7468, 7632, 7825, 7915, 8139, 8195, 8291, 8359, 8495, 8507, 8593, 8608, 8849, 9361, 9684, 9864, 10039, 10211, 10285, 10385, 10640, 10681, 10719, 11026, 11185, 11261, 11395, 11475, 11970, 12121, 12263, 12419, 12421, 12451, 12463, 12552, 12611, 12989, 13135, 13167, 13517, 13815, 13982, 14134, 14319, 14378, 14450, 14477, 14513, 14575, 14708, 14750, 14856, 15021, 15025, 15163, 15287, 15315, 15350, 15373, 15555, 15656, 15831, 15842, 15975, 16252, 16428, 16477, 16569, 16688, 16723, 16831, 16998, 17034, 17366, 17497, 17534, 17541, 17608, 17771, 17781, 17787, 17901, 17995, 18014, 18121, 18214, 18724, 18735, 18838, 18920, 18988, 19204, 19241, 19276, 19355, 19421, 19432, 19648, 19849, 19903, 20002, 20050, 20266, 20318, 20445, 20511, 20535, 20537, 20633, 20734, 20851, 20888, 21544, 21568, 21642, 21746, 21816, 22011, 22261, 22297, 22309, 22449, 22826, 22829, 22872, 22904, 22937, 23019, 23066, 23108, 23161, 23263, 23376, 23528, 23652, 24053, 24196, 24634, 24836, 24987, 25043, 25084, 25148, 25262, 25386, 25554, 26263, 26266, 26268, 26294, 26305, 26547, 26586, 26653, 26728, 26735, 26790, 27047, 27102, 27412, 27434, 27612, 27639, 28229, 28312, 28570, 28780, 29265, 29381, 29417, 29639, 29643, 29999, 30230, 30347, 30458, 30511, 30635, 30755, 30998, 31026, 31168, 31403, 31540, 31554, 31618, 31675, 31825, 31911, 31947, 32122, 32188, 32576, 32626, 32747, 32884, 33076, 33120, 33480, 33645, 33662, 33769, 33970, 34665, 34753, 34819, 34840, 34984, 35146, 35195, 35232, 35287, 35339, 35582, 35588, 35631, 35716, 35782, 35960, 36007, 36040, 36087, 36198, 36292, 36342, 36351, 36360, 36409, 36563, 36916, 36942, 37003, 37163, 37206, 37382, 37389, 37410, 37458, 37625, 37643, 38019, 38069, 38169, 38699, 38887, 39059, 39171, 39179, 39247, 39267, 39311, 39420, 39494, 39546, 39559, 39775, 39808, 39824, 39921, 40000, 40022, 40024, 40037, 40174, 40225, 40226, 40254, 40262, 40415, 40438, 40443, 40514, 40714, 40772, 40958, 40961, 40998, 41054, 41252, 41530, 41556, 41673, 41699, 41769, 41803, 41875, 41959, 42010, 42142, 42278, 42317, 42374, 42425, 42468, 42505, 42678, 42717, 42786, 42854, 42889, 43054, 43583, 43795, 44033, 44242, 44357, 44400, 44405, 44588, 44617, 44630, 44730, 44748, 44811, 44862, 44971, 44994, 45003, 45004, 45202, 45350, 45576, 45643, 45938, 45944, 45986, 46137, 46409, 46457, 46671, 46785, 46873, 46924, 47526, 47608, 47925, 48045, 48268, 48286, 48291, 48331, 48435, 48651, 48937, 49138, 49266, 49472, 49598, 49600, 49607, 49867, 49870, 50055, 50303, 50336, 50794, 50950, 50998, 51101, 51135, 51496, 51871, 51872, 51989, 52125, 52295, 52319, 52353, 52419, 52536, 52827, 53012, 53044, 53092, 53123, 53247, 53275, 53470, 53573, 53613, 53659, 53838, 53869, 54090, 54096, 54109, 54279, 54293, 54550, 54581, 54639, 54699, 54836, 55093, 55234, 55818, 56097, 56167, 56230, 56322, 56341, 56408, 56452, 56591, 56628, 56825, 56863, 56979, 57042, 57104, 57130, 57318, 57480, 57582, 58160, 58380, 58653, 58788, 58907, 59219, 59273, 59332, 59458, 59516, 59683, 60002, 60038, 60391, 60402, 60540, 60711, 60822, 60891, 60906, 60981, 61068, 61096, 61117, 61346, 61526, 61546, 61582, 61707, 61776, 61876, 62121, 62225, 62252, 62264, 62392, 62419, 62529, 62689, 62848, 62970, 63006, 63053, 63079, 63104, 63127, 63237, 63272, 63301, 63329, 63563, 63621, 63884, 63929, 64053, 64118, 64190, 64326, 64404, 64562, 64658, 64813, 65029, 65042, 65059, 65279, 65306, 65490, 65694, 65825, 66197, 66332, 66486, 66532, 66537, 66591, 66648, 66670, 67131, 67214, 67527, 67568, 67580, 67656, 67659, 68085, 68218, 68339, 68703, 69090, 69128, 69224, 69329, 69385, 69512, 69785, 70088, 70218, 70248, 70275, 70299, 70571, 70576, 70741, 70777, 70832, 70962, 70982, 71008, 71024, 71065, 71108, 71385, 71519, 71797, 72079, 72493, 72508, 72719, 72786, 72999, 73049, 73151, 73154, 73368, 73485, 73521, 73798, 73851, 74061, 74079, 74246, 74255, 74348, 74394, 74554, 74575, 74592, 74643, 74692, 75176, 75461, 75591, 75725, 75961, 76006, 76087, 76143, 76174, 76381, 76434, 76469, 76550, 76626, 76667, 76748, 77112, 77164, 77259, 77514, 77653, 77743, 77919, 78052, 78082, 78151, 78214, 78413, 78444, 78683, 78760, 78888, 78931, 79318, 79474, 79482, 79561, 79618, 79715, 79739, 80097, 80105, 80156, 80245, 80294, 80344, 80572, 80653, 80665, 80907, 80971, 81132, 81140, 81214, 81424, 81497, 81669, 81760, 81851, 82015, 82076, 82098, 82163, 82168, 82253, 82335, 82464, 82902, 82984, 83062, 83074, 83337, 83379, 83388, 83443, 83564, 83667, 83674, 83715, 83987, 84193, 84397, 84406, 84455, 84513, 84576, 84605, 84615, 84718, 84762, 84786, 84792, 85030, 85073, 85077, 85081, 85124, 85307, 85534, 85572, 85610, 85718, 85970, 85997, 85999, 86293, 86315, 86406, 86609, 86729, 86762, 86805, 86838, 86874, 86879, 86928, 87037, 87310, 87418, 87420, 87580, 87622, 87655, 87659, 87771, 87867, 87893, 88088, 88294, 88349, 88476, 88525, 88728, 88852, 89017, 89089, 89224, 89276, 89337, 89356, 89452, 89740, 89767, 89918, 90119, 90250, 90279, 90282, 90294, 90305, 90321, 90327, 90432, 90514, 90535, 90814, 90832, 90935, 91106, 91154, 91303, 91811, 91915, 92183, 92269, 92424, 92685, 92880, 93036, 93122, 93370, 93448, 93654, 93804, 93837, 93865, 93904, 93935, 94058, 94068, 94087, 94147, 94257, 94387, 94407, 94418, 94506, 94745, 94793, 94915, 94982, 95032, 95221, 95544, 95561, 95576, 95868, 95879, 96016, 96278, 96389, 96450, 96563, 96576, 96885, 97243, 97292, 97411, 97525, 97629, 97667, 97783, 97922, 98293, 98296, 98459, 98694, 98763, 98795, 98800, 98938, 98943, 99036, 99076, 99177, 99396, 99816, 99936, 99988, 100160, 100281, 100298, 100348, 101095, 101159, 101219, 101481, 101490, 101502, 101734, 101761, 101771, 101878, 101943, 101966, 102094, 102131, 102209, 102637, 102751, 102797, 102809, 103008, 103129, 103563, 103584, 103747, 103880, 103932, 103978, 104078, 104155, 104271, 104358, 104398, 104435, 104547, 104642, 105062, 105397, 105451, 105550, 105588, 105657, 106654, 106884, 107060, 107254, 107461, 108163, 108221, 108310, 108361, 108413, 108426, 108449, 108507, 108511, 108525, 108641, 108690, 108849, 109013, 109027, 109189, 109211, 109325, 109340, 109590, 110048, 110201, 110407, 110419, 110706, 110727, 110749, 111160, 111244, 111270, 111535, 111669, 111687, 111873, 112061, 112110, 112175, 112233, 112270, 112326, 112365, 112554, 112728, 112820, 112826, 112829, 112887, 113120, 113257, 113430, 113525, 113578, 113586, 113628, 113694, 113975, 114062, 114075, 114263, 114286, 114323, 114335, 114391, 114394, 114613, 114997, 115104, 115123, 115167, 115388, 115741, 115853, 115890, 115918, 116178, 116291, 116307, 116457, 116580, 116731, 116783, 116862, 116866, 116885, 116927, 117073, 117121, 117196, 117220, 117256, 117316, 117327, 117560, 117688, 117765, 117837, 117874, 118013, 118091, 118143, 118219, 118299, 118451, 118454, 118491, 118969, 119002, 119175, 119316, 119372, 119411, 119627, 119706, 119711, 119757, 119793, 119895, 120022, 120322, 120550, 120643, 120809, 120813, 120868, 121148, 121187, 121405, 121435, 121498, 121567, 121600, 121627, 121660, 121708, 122128, 122198, 122234, 122249, 122360, 122422, 122536, 122563, 122713, 122859, 123165, 123308, 123508, 123514, 123618, 123854, 123873, 123875, 124365, 124568, 124631, 124995, 125026, 125064, 125067, 125295, 125489, 125636, 126136, 126326, 126637, 126783, 126826, 127122, 127157, 127415, 127580, 127603, 127608, 127677, 127878, 128222, 128270, 128545, 128587, 128598, 128687, 129103, 129111, 129216, 129230, 129408, 129441, 129704, 129765, 129783, 129832, 129876, 129906, 129946, 130016, 130105, 130228, 130235, 130257, 130369, 130496, 130759, 131153, 131422, 131542, 131582, 131666, 131716, 131838, 131913, 131967, 132172, 132353, 132386, 132393, 132560, 132938, 133503, 133667, 133778, 133860, 134011, 134021, 134207, 134363, 134393, 134426, 134448, 134751, 134879, 134952, 135066, 135086, 135142, 135191, 135205, 135337, 135363, 135401, 135426, 135431, 135508, 135692, 135779, 135998, 136011, 136093, 136334, 136444, 136721, 136784, 136948, 137045, 137283, 137339, 137386, 137458, 137503, 137551, 137628, 137699, 138042, 138048, 138159, 138204, 138404, 138434, 138527, 138720, 138814, 138864, 138916, 139074, 139111, 139156, 139190, 139223, 139258, 139334, 139393, 139420, 139501, 139587, 139659, 139689, 139814, 140044, 140087, 140299, 140518, 140602, 140685, 140686, 140798, 141019, 141076, 141180, 141742, 142003, 142277, 142318, 142687, 142778, 142972, 143065, 143172, 143449, 143464, 143493, 143547, 143795, 143862, 143887, 144010, 144243, 144285, 144375, 144394, 144539, 144632, 144656, 144756, 144850, 145289, 145329, 145406, 145500, 145585, 145657, 145967, 146188, 146399, 146409, 146419, 146633, 146671, 146697, 146700, 146704, 146706, 146785, 146991, 147092, 147101, 147334, 147557, 147578, 147633, 147652, 147709, 147854, 147905, 147919, 148088, 148234, 148548, 148615, 148639, 148720, 148764, 148787, 148881, 148933, 148953, 149027, 149047, 149051, 149131, 149201, 149253, 149327, 149335, 149579, 149604, 149632, 149649, 149731, 149842, 149855, 149887, 149892, 149903, 149929, 149937, 149947, 149990, 150003, 150105, 150137, 150144, 150659, 150707, 150716, 150813, 150829, 150865, 150871, 151112, 151241, 151244, 151295, 151388, 151440, 151575, 151606, 151734, 151773, 151987, 152049, 152079, 152254, 152356, 152504, 152588, 152660, 152729, 152880, 152881, 153046, 153105, 153310, 153510, 153818, 153838, 153944, 153967, 154019, 154040, 154328, 154431, 154652, 154712, 154881, 154928, 154941, 155093, 155109, 155178, 155284, 155329, 155390, 155424, 155489, 155655, 155693, 155727, 155777, 156034, 156205, 156312, 156418, 156468, 156508, 156675, 156850, 157038, 157171, 157176]

b_partitioned = []
for i in range(0, len(b), 36):
    b_partitioned.append(b[i])


print(b_partitioned, '\n' ,a)

print("Len of b_partitioned", len(b_partitioned), "Len of the one created", len(a))