Memory exhausted error on verilog parsing

[rafaeltp]

Steps to reproduce the issue

I am running read_verilog on a netlist file (automatically generated by a commercial tool). A minimalist code to reproduce is:

module foo();

  wire a = {n15312, n15311, n15310, n15309, n15308, n15307, n15306, n15305, n15304, n15303, n15302, n15301, n15300, n15299, n15298, n15297, n15296, n15295, n15294, n15293, n15292, n15291, n15290, n15289, n15288, n8400, n15286, n15285, n15284, n15283, n15282, n15281, n15280, n15279, n15278, n15277, n15276, n15275, n15274, n15273, n15272, n15271, n15270, n15269, n15268, n15267, n15266, n15265, n15264, n15263, n15262, n8399, n15260, n15259, n15258, n15257, n15256, n15255, n15254, n15253, n15252, n15251, n15250, n15249, n15248, n15247, n15246, n15245, n15244, n15243, n15242, n15241, n15240, n15239, n15238, n15237, n15236, n8398, n15234, n15233, n15232, n15231, n15230, n15229, n15228, n15227, n15226, n15225, n15224, n15223, n15222, n15221, n15220, n15219, n15218, n15217, n15216, n15215, n15214, n15213, n15212, n15211, n15210, n8397, n15208, n15207, n15206, n15205, n15204, n15203, n15202, n15201, n15200, n15199, n15198, n15197, n15196, n15195, n15194, n15193, n15192, n15191, n15190, n15189, n15188, n15187, n15186, n15185, n15184, n8396, n15182, n15181, n15180, n15179, n15178, n15177, n15176, n15175, n15174, n15173, n15172, n15171, n15170, n15169, n15168, n15167, n15166, n15165, n15164, n15163, n15162, n15161, n15160, n15159, n15158, n8395, n15156, n15155, n15154, n15153, n15152, n15151, n15150, n15149, n15148, n15147, n15146, n15145, n15144, n15143, n15142, n15141, n15140, n15139, n15138, n15137, n15136, n15135, n15134, n15133, n15132, n8394, n15130, n15129, n15128, n15127, n15126, n15125, n15124, n15123, n15122, n15121, n15120, n15119, n15118, n15117, n15116, n15115, n15114, n15113, n15112, n15111, n15110, n15109, n15108, n15107, n15106, n8393, n15104, n15103, n15102, n15101, n15100, n15099, n15098, n15097, n15096, n15095, n15094, n15093, n15092, n15091, n15090, n15089, n15088, n15087, n15086, n15085, n15084, n15083, n15082, n15081, n15080, n8392, n15078, n15077, n15076, n15075, n15074, n15073, n15072, n15071, n15070, n15069, n15068, n15067, n15066, n15065, n15064, n15063, n15062, n15061, n15060, n15059, n15058, n15057, n15056, n15055, n15054, n8391, n15052, n15051, n15050, n15049, n15048, n15047, n15046, n15045, n15044, n15043, n15042, n15041, n15040, n15039, n15038, n15037, n15036, n15035, n15034, n15033, n15032, n15031, n15030, n15029, n15028, n8390, n15026, n15025, n15024, n15023, n15022, n15021, n15020, n15019, n15018, n15017, n15016, n15015, n15014, n15013, n15012, n15011, n15010, n15009, n15008, n15007, n15006, n15005, n15004, n15003, n15002, n8389, n15000, n14999, n14998, n14997, n14996, n14995, n14994, n14993, n14992, n14991, n14990, n14989, n14988, n14987, n14986, n14985, n14984, n14983, n14982, n14981, n14980, n14979, n14978, n14977, n14976, n8388, n14974, n14973, n14972, n14971, n14970, n14969, n14968, n14967, n14966, n14965, n14964, n14963, n14962, n14961, n14960, n14959, n14958, n14957, n14956, n14955, n14954, n14953, n14952, n14951, n14950, n8387, n14948, n14947, n14946, n14945, n14944, n14943, n14942, n14941, n14940, n14939, n14938, n14937, n14936, n14935, n14934, n14933, n14932, n14931, n14930, n14929, n14928, n14927, n14926, n14925, n14924, n8386, n14922, n14921, n14920, n14919, n14918, n14917, n14916, n14915, n14914, n14913, n14912, n14911, n14910, n14909, n14908, n14907, n14906, n14905, n14904, n14903, n14902, n14901, n14900, n14899, n14898, n8385, n14896, n14895, n14894, n14893, n14892, n14891, n14890, n14889, n14888, n14887, n14886, n14885, n14884, n14883, n14882, n14881, n14880, n14879, n14878, n14877, n14876, n14875, n14874, n14873, n14872, n8384, n14870, n14869, n14868, n14867, n14866, n14865, n14864, n14863, n14862, n14861, n14860, n14859, n14858, n14857, n14856, n14855, n14854, n14853, n14852, n14851, n14850, n14849, n14848, n14847, n14846, n8383, n14844, n14843, n14842, n14841, n14840, n14839, n14838, n14837, n14836, n14835, n14834, n14833, n14832, n14831, n14830, n14829, n14828, n14827, n14826, n14825, n14824, n14823, n14822, n14821, n14820, n8382, n14818, n14817, n14816, n14815, n14814, n14813, n14812, n14811, n14810, n14809, n14808, n14807, n14806, n14805, n14804, n14803, n14802, n14801, n14800, n14799, n14798, n14797, n14796, n14795, n14794, n8381, n14792, n14791, n14790, n14789, n14788, n14787, n14786, n14785, n14784, n14783, n14782, n14781, n14780, n14779, n14778, n14777, n14776, n14775, n14774, n14773, n14772, n14771, n14770, n14769, n14768, n8380, n14766, n14765, n14764, n14763, n14762, n14761, n14760, n14759, n14758, n14757, n14756, n14755, n14754, n14753, n14752, n14751, n14750, n14749, n14748, n14747, n14746, n14745, n14744, n14743, n14742, n8379, n14740, n14739, n14738, n14737, n14736, n14735, n14734, n14733, n14732, n14731, n14730, n14729, n14728, n14727, n14726, n14725, n14724, n14723, n14722, n14721, n14720, n14719, n14718, n14717, n14716, n8378, n14714, n14713, n14712, n14711, n14710, n14709, n14708, n14707, n14706, n14705, n14704, n14703, n14702, n14701, n14700, n14699, n14698, n14697, n14696, n14695, n14694, n14693, n14692, n14691, n14690, n8377, n14688, n14687, n14686, n14685, n14684, n14683, n14682, n14681, n14680, n14679, n14678, n14677, n14676, n14675, n14674, n14673, n14672, n14671, n14670, n14669, n14668, n14667, n14666, n14665, n14664, n8376, n14662, n14661, n14660, n14659, n14658, n14657, n14656, n14655, n14654, n14653, n14652, n14651, n14650, n14649, n14648, n14647, n14646, n14645, n14644, n14643, n14642, n14641, n14640, n14639, n14638, n8375, n14636, n14635, n14634, n14633, n14632, n14631, n14630, n14629, n14628, n14627, n14626, n14625, n14624, n14623, n14622, n14621, n14620, n14619, n14618, n14617, n14616, n14615, n14614, n14613, n14612, n8374, n14610, n14609, n14608, n14607, n14606, n14605, n14604, n14603, n14602, n14601, n14600, n14599, n14598, n14597, n14596, n14595, n14594, n14593, n14592, n14591, n14590, n14589, n14588, n14587, n14586, n8373, n14584, n14583, n14582, n14581, n14580, n14579, n14578, n14577, n14576, n14575, n14574, n14573, n14572, n14571, n14570, n14569, n14568, n14567, n14566, n14565, n14564, n14563, n14562, n14561, n14560, n8372, n14558, n14557, n14556, n14555, n14554, n14553, n14552, n14551, n14550, n14549, n14548, n14547, n14546, n14545, n14544, n14543, n14542, n14541, n14540, n14539, n14538, n14537, n14536, n14535, n14534, n8371, n14532, n14531, n14530, n14529, n14528, n14527, n14526, n14525, n14524, n14523, n14522, n14521, n14520, n14519, n14518, n14517, n14516, n14515, n14514, n14513, n14512, n14511, n14510, n14509, n14508, n8370, n14506, n14505, n14504, n14503, n14502, n14501, n14500, n14499, n14498, n14497, n14496, n14495, n14494, n14493, n14492, n14491, n14490, n14489, n14488, n14487, n14486, n14485, n14484, n14483, n14482, n8369, n14480, n14479, n14478, n14477, n14476, n14475, n14474, n14473, n14472, n14471, n14470, n14469, n14468, n14467, n14466, n14465, n14464, n14463, n14462, n14461, n14460, n14459, n14458, n14457, n14456, n8368, n14454, n14453, n14452, n14451, n14450, n14449, n14448, n14447, n14446, n14445, n14444, n14443, n14442, n14441, n14440, n14439, n14438, n14437, n14436, n14435, n14434, n14433, n14432, n14431, n14430, n8367, n14428, n14427, n14426, n14425, n14424, n14423, n14422, n14421, n14420, n14419, n14418, n14417, n14416, n14415, n14414, n14413, n14412, n14411, n14410, n14409, n14408, n14407, n14406, n14405, n14404, n8366, n14402, n14401, n14400, n14399, n14398, n14397, n14396, n14395, n14394, n14393, n14392, n14391, n14390, n14389, n14388, n14387, n14386, n14385, n14384, n14383, n14382, n14381, n14380, n14379, n14378, n8365, n14376, n14375, n14374, n14373, n14372, n14371, n14370, n14369, n14368, n14367, n14366, n14365, n14364, n14363, n14362, n14361, n14360, n14359, n14358, n14357, n14356, n14355, n14354, n14353, n14352, n8364, n14350, n14349, n14348, n14347, n14346, n14345, n14344, n14343, n14342, n14341, n14340, n14339, n14338, n14337, n14336, n14335, n14334, n14333, n14332, n14331, n14330, n14329, n14328, n14327, n14326, n8363, n14324, n14323, n14322, n14321, n14320, n14319, n14318, n14317, n14316, n14315, n14314, n14313, n14312, n14311, n14310, n14309, n14308, n14307, n14306, n14305, n14304, n14303, n14302, n14301, n14300, n8362, n14298, n14297, n14296, n14295, n14294, n14293, n14292, n14291, n14290, n14289, n14288, n14287, n14286, n14285, n14284, n14283, n14282, n14281, n14280, n14279, n14278, n14277, n14276, n14275, n14274, n8361, n14272, n14271, n14270, n14269, n14268, n14267, n14266, n14265, n14264, n14263, n14262, n14261, n14260, n14259, n14258, n14257, n14256, n14255, n14254, n14253, n14252, n14251, n14250, n14249, n14248, n8360, n14246, n14245, n14244, n14243, n14242, n14241, n14240, n14239, n14238, n14237, n14236, n14235, n14234, n14233, n14232, n14231, n14230, n14229, n14228, n14227, n14226, n14225, n14224, n14223, n14222, n8359, n14220, n14219, n14218, n14217, n14216, n14215, n14214, n14213, n14212, n14211, n14210, n14209, n14208, n14207, n14206, n14205, n14204, n14203, n14202, n14201, n14200, n14199, n14198, n14197, n14196, n8358, n14194, n14193, n14192, n14191, n14190, n14189, n14188, n14187, n14186, n14185, n14184, n14183, n14182, n14181, n14180, n14179, n14178, n14177, n14176, n14175, n14174, n14173, n14172, n14171, n14170, n8357, n14168, n14167, n14166, n14165, n14164, n14163, n14162, n14161, n14160, n14159, n14158, n14157, n14156, n14155, n14154, n14153, n14152, n14151, n14150, n14149, n14148, n14147, n14146, n14145, n14144, n8356, n14142, n14141, n14140, n14139, n14138, n14137, n14136, n14135, n14134, n14133, n14132, n14131, n14130, n14129, n14128, n14127, n14126, n14125, n14124, n14123, n14122, n14121, n14120, n14119, n14118, n8355, n14116, n14115, n14114, n14113, n14112, n14111, n14110, n14109, n14108, n14107, n14106, n14105, n14104, n14103, n14102, n14101, n14100, n14099, n14098, n14097, n14096, n14095, n14094, n14093, n14092, n8354, n14090, n14089, n14088, n14087, n14086, n14085, n14084, n14083, n14082, n14081, n14080, n14079, n14078, n14077, n14076, n14075, n14074, n14073, n14072, n14071, n14070, n14069, n14068, n14067, n14066, n8353, n14064, n14063, n14062, n14061, n14060, n14059, n14058, n14057, n14056, n14055, n14054, n14053, n14052, n14051, n14050, n14049, n14048, n14047, n14046, n14045, n14044, n14043, n14042, n14041, n14040, n8352, n14038, n14037, n14036, n14035, n14034, n14033, n14032, n14031, n14030, n14029, n14028, n14027, n14026, n14025, n14024, n14023, n14022, n14021, n14020, n14019, n14018, n14017, n14016, n14015, n14014, n8351, n14012, n14011, n14010, n14009, n14008, n14007, n14006, n14005, n14004, n14003, n14002, n14001, n14000, n13999, n13998, n13997, n13996, n13995, n13994, n13993, n13992, n13991, n13990, n13989, n13988, n8350, n13986, n13985, n13984, n13983, n13982, n13981, n13980, n13979, n13978, n13977, n13976, n13975, n13974, n13973, n13972, n13971, n13970, n13969, n13968, n13967, n13966, n13965, n13964, n13963, n13962, n8349, n13960, n13959, n13958, n13957, n13956, n13955, n13954, n13953, n13952, n13951, n13950, n13949, n13948, n13947, n13946, n13945, n13944, n13943, n13942, n13941, n13940, n13939, n13938, n13937, n13936, n8348, n13934, n13933, n13932, n13931, n13930, n13929, n13928, n13927, n13926, n13925, n13924, n13923, n13922, n13921, n13920, n13919, n13918, n13917, n13916, n13915, n13914, n13913, n13912, n13911, n13910, n8347, n13908, n13907, n13906, n13905, n13904, n13903, n13902, n13901, n13900, n13899, n13898, n13897, n13896, n13895, n13894, n13893, n13892, n13891, n13890, n13889, n13888, n13887, n13886, n13885, n13884, n8346, n13882, n13881, n13880, n13879, n13878, n13877, n13876, n13875, n13874, n13873, n13872, n13871, n13870, n13869, n13868, n13867, n13866, n13865, n13864, n13863, n13862, n13861, n13860, n13859, n13858, n8345, n13856, n13855, n13854, n13853, n13852, n13851, n13850, n13849, n13848, n13847, n13846, n13845, n13844, n13843, n13842, n13841, n13840, n13839, n13838, n13837, n13836, n13835, n13834, n13833, n13832, n8344, n13830, n13829, n13828, n13827, n13826, n13825, n13824, n13823, n13822, n13821, n13820, n13819, n13818, n13817, n13816, n13815, n13814, n13813, n13812, n13811, n13810, n13809, n13808, n13807, n13806, n8343, n13804, n13803, n13802, n13801, n13800, n13799, n13798, n13797, n13796, n13795, n13794, n13793, n13792, n13791, n13790, n13789, n13788, n13787, n13786, n13785, n13784, n13783, n13782, n13781, n13780, n8342, n13778, n13777, n13776, n13775, n13774, n13773, n13772, n13771, n13770, n13769, n13768, n13767, n13766, n13765, n13764, n13763, n13762, n13761, n13760, n13759, n13758, n13757, n13756, n13755, n13754, n8341, n13752, n13751, n13750, n13749, n13748, n13747, n13746, n13745, n13744, n13743, n13742, n13741, n13740, n13739, n13738, n13737, n13736, n13735, n13734, n13733, n13732, n13731, n13730, n13729, n13728, n8340, n13726, n13725, n13724, n13723, n13722, n13721, n13720, n13719, n13718, n13717, n13716, n13715, n13714, n13713, n13712, n13711, n13710, n13709, n13708, n13707, n13706, n13705, n13704, n13703, n13702, n8339, n13700, n13699, n13698, n13697, n13696, n13695, n13694, n13693, n13692, n13691, n13690, n13689, n13688, n13687, n13686, n13685, n13684, n13683, n13682, n13681, n13680, n13679, n13678, n13677, n13676, n8338, n13674, n13673, n13672, n13671, n13670, n13669, n13668, n13667, n13666, n13665, n13664, n13663, n13662, n13661, n13660, n13659, n13658, n13657, n13656, n13655, n13654, n13653, n13652, n13651, n13650, n8337, n13648, n13647, n13646, n13645, n13644, n13643, n13642, n13641, n13640, n13639, n13638, n13637, n13636, n13635, n13634, n13633, n13632, n13631, n13630, n13629, n13628, n13627, n13626, n13625, n13624, n8336, n13622, n13621, n13620, n13619, n13618, n13617, n13616, n13615, n13614, n13613, n13612, n13611, n13610, n13609, n13608, n13607, n13606, n13605, n13604, n13603, n13602, n13601, n13600, n13599, n13598, n8335, n13596, n13595, n13594, n13593, n13592, n13591, n13590, n13589, n13588, n13587, n13586, n13585, n13584, n13583, n13582, n13581, n13580, n13579, n13578, n13577, n13576, n13575, n13574, n13573, n13572, n8334, n13570, n13569, n13568, n13567, n13566, n13565, n13564, n13563, n13562, n13561, n13560, n13559, n13558, n13557, n13556, n13555, n13554, n13553, n13552, n13551, n13550, n13549, n13548, n13547, n13546, n8333, n13544, n13543, n13542, n13541, n13540, n13539, n13538, n13537, n13536, n13535, n13534, n13533, n13532, n13531, n13530, n13529, n13528, n13527, n13526, n13525, n13524, n13523, n13522, n13521, n13520, n8332, n13518, n13517, n13516, n13515, n13514, n13513, n13512, n13511, n13510, n13509, n13508, n13507, n13506, n13505, n13504, n13503, n13502, n13501, n13500, n13499, n13498, n13497, n13496, n13495, n13494, n8331, n13492, n13491, n13490, n13489, n13488, n13487, n13486, n13485, n13484, n13483, n13482, n13481, n13480, n13479, n13478, n13477, n13476, n13475, n13474, n13473, n13472, n13471, n13470, n13469, n13468, n8330, n13466, n13465, n13464, n13463, n13462, n13461, n13460, n13459, n13458, n13457, n13456, n13455, n13454, n13453, n13452, n13451, n13450, n13449, n13448, n13447, n13446, n13445, n13444, n13443, n13442, n8329, n13440, n13439, n13438, n13437, n13436, n13435, n13434, n13433, n13432, n13431, n13430, n13429, n13428, n13427, n13426, n13425, n13424, n13423, n13422, n13421, n13420, n13419, n13418, n13417, n13416, n8328, n13414, n13413, n13412, n13411, n13410, n13409, n13408, n13407, n13406, n13405, n13404, n13403, n13402, n13401, n13400, n13399, n13398, n13397, n13396, n13395, n13394, n13393, n13392, n13391, n13390, n8327, n13388, n13387, n13386, n13385, n13384, n13383, n13382, n13381, n13380, n13379, n13378, n13377, n13376, n13375, n13374, n13373, n13372, n13371, n13370, n13369, n13368, n13367, n13366, n13365, n13364, n8326, n13362, n13361, n13360, n13359, n13358, n13357, n13356, n13355, n13354, n13353, n13352, n13351, n13350, n13349, n13348, n13347, n13346, n13345, n13344, n13343, n13342, n13341, n13340, n13339, n13338, n8325, n13336, n13335, n13334, n13333, n13332, n13331, n13330, n13329, n13328, n13327, n13326, n13325, n13324, n13323, n13322, n13321, n13320, n13319, n13318, n13317, n13316, n13315, n13314, n13313, n13312, n8324, n13310, n13309, n13308, n13307, n13306, n13305, n13304, n13303, n13302, n13301, n13300, n13299, n13298, n13297, n13296, n13295, n13294, n13293, n13292, n13291, n13290, n13289, n13288, n13287, n13286, n8323, n13284, n13283, n13282, n13281, n13280, n13279, n13278, n13277, n13276, n13275, n13274, n13273, n13272, n13271, n13270, n13269, n13268, n13267, n13266, n13265, n13264, n13263, n13262, n13261, n13260, n8322, n13258, n13257, n13256, n13255, n13254, n13253, n13252, n13251, n13250, n13249, n13248, n13247, n13246, n13245, n13244, n13243, n13242, n13241, n13240, n13239, n13238, n13237, n13236, n13235, n13234, n8321, n13232, n13231, n13230, n13229, n13228, n13227, n13226, n13225, n13224, n13223, n13222, n13221, n13220, n13219, n13218, n13217, n13216, n13215, n13214, n13213, n13212, n13211, n13210, n13209, n13208, n8320, n13206, n13205, n13204, n13203, n13202, n13201, n13200, n13199, n13198, n13197, n13196, n13195, n13194, n13193, n13192, n13191, n13190, n13189, n13188, n13187, n13186, n13185, n13184, n13183, n13182, n8319, n13180, n13179, n13178, n13177, n13176, n13175, n13174, n13173, n13172, n13171, n13170, n13169, n13168, n13167, n13166, n13165, n13164, n13163, n13162, n13161, n13160, n13159, n13158, n13157, n13156, n8318, n13154, n13153, n13152, n13151, n13150, n13149, n13148, n13147, n13146, n13145, n13144, n13143, n13142, n13141, n13140, n13139, n13138, n13137, n13136, n13135, n13134, n13133, n13132, n13131, n13130, n8317, n13128, n13127, n13126, n13125, n13124, n13123, n13122, n13121, n13120, n13119, n13118, n13117, n13116, n13115, n13114, n13113, n13112, n13111, n13110, n13109, n13108, n13107, n13106, n13105, n13104, n8316, n13102, n13101, n13100, n13099, n13098, n13097, n13096, n13095, n13094, n13093, n13092, n13091, n13090, n13089, n13088, n13087, n13086, n13085, n13084, n13083, n13082, n13081, n13080, n13079, n13078, n8315, n13076, n13075, n13074, n13073, n13072, n13071, n13070, n13069, n13068, n13067, n13066, n13065, n13064, n13063, n13062, n13061, n13060, n13059, n13058, n13057, n13056, n13055, n13054, n13053, n13052, n8314, n13050, n13049, n13048, n13047, n13046, n13045, n13044, n13043, n13042, n13041, n13040, n13039, n13038, n13037, n13036, n13035, n13034, n13033, n13032, n13031, n13030, n13029, n13028, n13027, n13026, n8313, n13024, n13023, n13022, n13021, n13020, n13019, n13018, n13017, n13016, n13015, n13014, n13013, n13012, n13011, n13010, n13009, n13008, n13007, n13006, n13005, n13004, n13003, n13002, n13001, n13000, n8312, n12998, n12997, n12996, n12995, n12994, n12993, n12992, n12991, n12990, n12989, n12988, n12987, n12986, n12985, n12984, n12983, n12982, n12981, n12980, n12979, n12978, n12977, n12976, n12975, n12974, n8311, n12972, n12971, n12970, n12969, n12968, n12967, n12966, n12965, n12964, n12963, n12962, n12961, n12960, n12959, n12958, n12957, n12956, n12955, n12954, n12953, n12952, n12951, n12950, n12949, n12948, n8310, n12946, n12945, n12944, n12943, n12942, n12941, n12940, n12939, n12938, n12937, n12936, n12935, n12934, n12933, n12932, n12931, n12930, n12929, n12928, n12927, n12926, n12925, n12924, n12923, n12922, n8309, n12920, n12919, n12918, n12917, n12916, n12915, n12914, n12913, n12912, n12911, n12910, n12909, n12908, n12907, n12906, n12905, n12904, n12903, n12902, n12901, n12900, n12899, n12898, n12897, n12896, n8308, n12894, n12893, n12892, n12891, n12890, n12889, n12888, n12887, n12886, n12885, n12884, n12883, n12882, n12881, n12880, n12879, n12878, n12877, n12876, n12875, n12874, n12873, n12872, n12871, n12870, n8307, n12868, n12867, n12866, n12865, n12864, n12863, n12862, n12861, n12860, n12859, n12858, n12857, n12856, n12855, n12854, n12853, n12852, n12851, n12850, n12849, n12848, n12847, n12846, n12845, n12844, n8306, n12842, n12841, n12840, n12839, n12838, n12837, n12836, n12835, n12834, n12833, n12832, n12831, n12830, n12829, n12828, n12827, n12826, n12825, n12824, n12823, n12822, n12821, n12820, n12819, n12818, n8305, n12816, n12815, n12814, n12813, n12812, n12811, n12810, n12809, n12808, n12807, n12806, n12805, n12804, n12803, n12802, n12801, n12800, n12799, n12798, n12797, n12796, n12795, n12794, n12793, n12792, n8304, n12790, n12789, n12788, n12787, n12786, n12785, n12784, n12783, n12782, n12781, n12780, n12779, n12778, n12777, n12776, n12775, n12774, n12773, n12772, n12771, n12770, n12769, n12768, n12767, n12766, n8303, n12764, n12763, n12762, n12761, n12760, n12759, n12758, n12757, n12756, n12755, n12754, n12753, n12752, n12751, n12750, n12749, n12748, n12747, n12746, n12745, n12744, n12743, n12742, n12741, n12740, n8302, n12738, n12737, n12736, n12735, n12734, n12733, n12732, n12731, n12730, n12729, n12728, n12727, n12726, n12725, n12724, n12723, n12722, n12721, n12720, n12719, n12718, n12717, n12716, n12715, n12714, n8301, n12712, n12711, n12710, n12709, n12708, n12707, n12706, n12705, n12704, n12703, n12702, n12701, n12700, n12699, n12698, n12697, n12696, n12695, n12694, n12693, n12692, n12691, n12690, n12689, n12688, n8300, n12686, n12685, n12684, n12683, n12682, n12681, n12680, n12679, n12678, n12677, n12676, n12675, n12674, n12673, n12672, n12671, n12670, n12669, n12668, n12667, n12666, n12665, n12664, n12663, n12662, n8299, n12660, n12659, n12658, n12657, n12656, n12655, n12654, n12653, n12652, n12651, n12650, n12649, n12648, n12647, n12646, n12645, n12644, n12643, n12642, n12641, n12640, n12639, n12638, n12637, n12636, n8298, n12634, n12633, n12632, n12631, n12630, n12629, n12628, n12627, n12626, n12625, n12624, n12623, n12622, n12621, n12620, n12619, n12618, n12617, n12616, n12615, n12614, n12613, n12612, n12611, n12610, n8297, n12608, n12607, n12606, n12605, n12604, n12603, n12602, n12601, n12600, n12599, n12598, n12597, n12596, n12595, n12594, n12593, n12592, n12591, n12590, n12589, n12588, n12587, n12586, n12585, n12584, n8296, n12582, n12581, n12580, n12579, n12578, n12577, n12576, n12575, n12574, n12573, n12572, n12571, n12570, n12569, n12568, n12567, n12566, n12565, n12564, n12563, n12562, n12561, n12560, n12559, n12558, n8295, n12556, n12555, n12554, n12553, n12552, n12551, n12550, n12549, n12548, n12547, n12546, n12545, n12544, n12543, n12542, n12541, n12540, n12539, n12538, n12537, n12536, n12535, n12534, n12533, n12532, n8294, n12530, n12529, n12528, n12527, n12526, n12525, n12524, n12523, n12522, n12521, n12520, n12519, n12518, n12517, n12516, n12515, n12514, n12513, n12512, n12511, n12510, n12509, n12508, n12507, n12506, n8293, n12504, n12503, n12502, n12501, n12500, n12499, n12498, n12497, n12496, n12495, n12494, n12493, n12492, n12491, n12490, n12489, n12488, n12487, n12486, n12485, n12484, n12483, n12482, n12481, n12480, n8292, n12478, n12477, n12476, n12475, n12474, n12473, n12472, n12471, n12470, n12469, n12468, n12467, n12466, n12465, n12464, n12463, n12462, n12461, n12460, n12459, n12458, n12457, n12456, n12455, n12454, n8291, n12452, n12451, n12450, n12449, n12448, n12447, n12446, n12445, n12444, n12443, n12442, n12441, n12440, n12439, n12438, n12437, n12436, n12435, n12434, n12433, n12432, n12431, n12430, n12429, n12428, n8290, n12426, n12425, n12424, n12423, n12422, n12421, n12420, n12419, n12418, n12417, n12416, n12415, n12414, n12413, n12412, n12411, n12410, n12409, n12408, n12407, n12406, n12405, n12404, n12403, n12402, n8289, n12400, n12399, n12398, n12397, n12396, n12395, n12394, n12393, n12392, n12391, n12390, n12389, n12388, n12387, n12386, n12385, n12384, n12383, n12382, n12381, n12380, n12379, n12378, n12377, n12376, n8288, n12374, n12373, n12372, n12371, n12370, n12369, n12368, n12367, n12366, n12365, n12364, n12363, n12362, n12361, n12360, n12359, n12358, n12357, n12356, n12355, n12354, n12353, n12352, n12351, n12350, n8287, n12348, n12347, n12346, n12345, n12344, n12343, n12342, n12341, n12340, n12339, n12338, n12337, n12336, n12335, n12334, n12333, n12332, n12331, n12330, n12329, n12328, n12327, n12326, n12325, n12324, n8286, n12322, n12321, n12320, n12319, n12318, n12317, n12316, n12315, n12314, n12313, n12312, n12311, n12310, n12309, n12308, n12307, n12306, n12305, n12304, n12303, n12302, n12301, n12300, n12299, n12298, n8285, n12296, n12295, n12294, n12293, n12292, n12291, n12290, n12289, n12288, n12287, n12286, n12285, n12284, n12283, n12282, n12281, n12280, n12279, n12278, n12277, n12276, n12275, n12274, n12273, n12272, n8284, n12270, n12269, n12268, n12267, n12266, n12265, n12264, n12263, n12262, n12261, n12260, n12259, n12258, n12257, n12256, n12255, n12254, n12253, n12252, n12251, n12250, n12249, n12248, n12247, n12246, n8283, n12244, n12243, n12242, n12241, n12240, n12239, n12238, n12237, n12236, n12235, n12234, n12233, n12232, n12231, n12230, n12229, n12228, n12227, n12226, n12225, n12224, n12223, n12222, n12221, n12220, n8282, n12218, n12217, n12216, n12215, n12214, n12213, n12212, n12211, n12210, n12209, n12208, n12207, n12206, n12205, n12204, n12203, n12202, n12201, n12200, n12199, n12198, n12197, n12196, n12195, n12194, n8281, n12192, n12191, n12190, n12189, n12188, n12187, n12186, n12185, n12184, n12183, n12182, n12181, n12180, n12179, n12178, n12177, n12176, n12175, n12174, n12173, n12172, n12171, n12170, n12169, n12168, n8280, n12166, n12165, n12164, n12163, n12162, n12161, n12160, n12159, n12158, n12157, n12156, n12155, n12154, n12153, n12152, n12151, n12150, n12149, n12148, n12147, n12146, n12145, n12144, n12143, n12142, n8279, n12140, n12139, n12138, n12137, n12136, n12135, n12134, n12133, n12132, n12131, n12130, n12129, n12128, n12127, n12126, n12125, n12124, n12123, n12122, n12121, n12120, n12119, n12118, n12117, n12116, n8278, n12114, n12113, n12112, n12111, n12110, n12109, n12108, n12107, n12106, n12105, n12104, n12103, n12102, n12101, n12100, n12099, n12098, n12097, n12096, n12095, n12094, n12093, n12092, n12091, n12090, n8277, n12088, n12087, n12086, n12085, n12084, n12083, n12082, n12081, n12080, n12079, n12078, n12077, n12076, n12075, n12074, n12073, n12072, n12071, n12070, n12069, n12068, n12067, n12066, n12065, n12064, n8276, n12062, n12061, n12060, n12059, n12058, n12057, n12056, n12055, n12054, n12053, n12052, n12051, n12050, n12049, n12048, n12047, n12046, n12045, n12044, n12043, n12042, n12041, n12040, n12039, n12038, n8275, n12036, n12035, n12034, n12033, n12032, n12031, n12030, n12029, n12028, n12027, n12026, n12025, n12024, n12023, n12022, n12021, n12020, n12019, n12018, n12017, n12016, n12015, n12014, n12013, n12012, n8274, n12010, n12009, n12008, n12007, n12006, n12005, n12004, n12003, n12002, n12001, n12000, n11999, n11998, n11997, n11996, n11995, n11994, n11993, n11992, n11991, n11990, n11989, n11988, n11987, n11986, n8273, n11984, n11983, n11982, n11981, n11980, n11979, n11978, n11977, n11976, n11975, n11974, n11973, n11972, n11971, n11970, n11969, n11968, n11967, n11966, n11965, n11964, n11963, n11962, n11961, n11960, n8272, n11958, n11957, n11956, n11955, n11954, n11953, n11952, n11951, n11950, n11949, n11948, n11947, n11946, n11945, n11944, n11943, n11942, n11941, n11940, n11939, n11938, n11937, n11936, n11935, n11934, n8271, n11932, n11931, n11930, n11929, n11928, n11927, n11926, n11925, n11924, n11923, n11922, n11921, n11920, n11919, n11918, n11917, n11916, n11915, n11914, n11913, n11912, n11911, n11910, n11909, n11908, n8270, n11906, n11905, n11904, n11903, n11902, n11901, n11900, n11899, n11898, n11897, n11896, n11895, n11894, n11893, n11892, n11891, n11890, n11889, n11888, n11887, n11886, n11885, n11884, n11883, n11882, n8269, n11880, n11879, n11878, n11877, n11876, n11875, n11874, n11873, n11872, n11871, n11870, n11869, n11868, n11867, n11866, n11865, n11864, n11863, n11862, n11861, n11860, n11859, n11858, n11857, n11856, n8268, n11854, n11853, n11852, n11851, n11850, n11849, n11848, n11847, n11846, n11845, n11844, n11843, n11842, n11841, n11840, n11839, n11838, n11837, n11836, n11835, n11834, n11833, n11832, n11831, n11830, n8267, n11828, n11827, n11826, n11825, n11824, n11823, n11822, n11821, n11820, n11819, n11818, n11817, n11816, n11815, n11814, n11813, n11812, n11811, n11810, n11809, n11808, n11807, n11806, n11805, n11804, n8266, n11802, n11801, n11800, n11799, n11798, n11797, n11796, n11795, n11794, n11793, n11792, n11791, n11790, n11789, n11788, n11787, n11786, n11785, n11784, n11783, n11782, n11781, n11780, n11779, n11778, n8265, n11776, n11775, n11774, n11773, n11772, n11771, n11770, n11769, n11768, n11767, n11766, n11765, n11764, n11763, n11762, n11761, n11760, n11759, n11758, n11757, n11756, n11755, n11754, n11753, n11752, n8264, n11750, n11749, n11748, n11747, n11746, n11745, n11744, n11743, n11742, n11741, n11740, n11739, n11738, n11737, n11736, n11735, n11734, n11733, n11732, n11731, n11730, n11729, n11728, n11727, n11726, n8263, n11724, n11723, n11722, n11721, n11720, n11719, n11718, n11717, n11716, n11715, n11714, n11713, n11712, n11711, n11710, n11709, n11708, n11707, n11706, n11705, n11704, n11703, n11702, n11701, n11700, n8262, n11698, n11697, n11696, n11695, n11694, n11693, n11692, n11691, n11690, n11689, n11688, n11687, n11686, n11685, n11684, n11683, n11682, n11681, n11680, n11679, n11678, n11677, n11676, n11675, n11674, n8261, n11672, n11671, n11670, n11669, n11668, n11667, n11666, n11665, n11664, n11663, n11662, n11661, n11660, n11659, n11658, n11657, n11656, n11655, n11654, n11653, n11652, n11651, n11650, n11649, n11648, n8260, n11646, n11645, n11644, n11643, n11642, n11641, n11640, n11639, n11638, n11637, n11636, n11635, n11634, n11633, n11632, n11631, n11630, n11629, n11628, n11627, n11626, n11625, n11624, n11623, n11622, n8259, n11620, n11619, n11618, n11617, n11616, n11615, n11614, n11613, n11612, n11611, n11610, n11609, n11608, n11607, n11606, n11605, n11604, n11603, n11602, n11601, n11600, n11599, n11598, n11597, n11596, n8258, n11594, n11593, n11592, n11591, n11590, n11589, n11588, n11587, n11586, n11585, n11584, n11583, n11582, n11581, n11580, n11579, n11578, n11577, n11576, n11575, n11574, n11573, n11572, n11571, n11570, n8257, n11568, n11567, n11566, n11565, n11564, n11563, n11562, n11561, n11560, n11559, n11558, n11557, n11556, n11555, n11554, n11553, n11552, n11551, n11550, n11549, n11548, n11547, n11546, n11545, n11544, n8256, n11542, n11541, n11540, n11539, n11538, n11537, n11536, n11535, n11534, n11533, n11532, n11531, n11530, n11529, n11528, n11527, n11526, n11525, n11524, n11523, n11522, n11521, n11520, n11519, n11518, n8255, n11516, n11515, n11514, n11513, n11512, n11511, n11510, n11509, n11508, n11507, n11506, n11505, n11504, n11503, n11502, n11501, n11500, n11499, n11498, n11497, n11496, n11495, n11494, n11493, n11492, n8254, n11490, n11489, n11488, n11487, n11486, n11485, n11484, n11483, n11482, n11481, n11480, n11479, n11478, n11477, n11476, n11475, n11474, n11473, n11472, n11471, n11470, n11469, n11468, n11467, n11466, n8253, n11464, n11463, n11462, n11461, n11460, n11459, n11458, n11457, n11456, n11455, n11454, n11453, n11452, n11451, n11450, n11449, n11448, n11447, n11446, n11445, n11444, n11443, n11442, n11441, n11440, n8252, n11438, n11437, n11436, n11435, n11434, n11433, n11432, n11431, n11430, n11429, n11428, n11427, n11426, n11425, n11424, n11423, n11422, n11421, n11420, n11419, n11418, n11417, n11416, n11415, n11414, n8251, n11412, n11411, n11410, n11409, n11408, n11407, n11406, n11405, n11404, n11403, n11402, n11401, n11400, n11399, n11398, n11397, n11396, n11395, n11394, n11393, n11392, n11391, n11390, n11389, n11388, n8250, n11386, n11385, n11384, n11383, n11382, n11381, n11380, n11379, n11378, n11377, n11376, n11375, n11374, n11373, n11372, n11371, n11370, n11369, n11368, n11367, n11366, n11365, n11364, n11363, n11362, n8249, n11360, n11359, n11358, n11357, n11356, n11355, n11354, n11353, n11352, n11351, n11350, n11349, n11348, n11347, n11346, n11345, n11344, n11343, n11342, n11341, n11340, n11339, n11338, n11337, n11336, n8248, n11334, n11333, n11332, n11331, n11330, n11329, n11328, n11327, n11326, n11325, n11324, n11323, n11322, n11321, n11320, n11319, n11318, n11317, n11316, n11315, n11314, n11313, n11312, n11311, n11310, n8247, n11308, n11307, n11306, n11305, n11304, n11303, n11302, n11301, n11300, n11299, n11298, n11297, n11296, n11295, n11294, n11293, n11292, n11291, n11290, n11289, n11288, n11287, n11286, n11285, n11284, n8246, n11282, n11281, n11280, n11279, n11278, n11277, n11276, n11275, n11274, n11273, n11272, n11271, n11270, n11269, n11268, n11267, n11266, n11265, n11264, n11263, n11262, n11261, n11260, n11259, n11258, n8245, n11256, n11255, n11254, n11253, n11252, n11251, n11250, n11249, n11248, n11247, n11246, n11245, n11244, n11243, n11242, n11241, n11240, n11239, n11238, n11237, n11236, n11235, n11234, n11233, n11232, n8244, n11230, n11229, n11228, n11227, n11226, n11225, n11224, n11223, n11222, n11221, n11220, n11219, n11218, n11217, n11216, n11215, n11214, n11213, n11212, n11211, n11210, n11209, n11208, n11207, n11206, n8243, n11204, n11203, n11202, n11201, n11200, n11199, n11198, n11197, n11196, n11195, n11194, n11193, n11192, n11191, n11190, n11189, n11188, n11187, n11186, n11185, n11184, n11183, n11182, n11181, n11180, n8242, n11178, n11177, n11176, n11175, n11174, n11173, n11172, n11171, n11170, n11169, n11168, n11167, n11166, n11165, n11164, n11163, n11162, n11161, n11160, n11159, n11158, n11157, n11156, n11155, n11154, n8241, n11152, n11151, n11150, n11149, n11148, n11147, n11146, n11145, n11144, n11143, n11142, n11141, n11140, n11139, n11138, n11137, n11136, n11135, n11134, n11133, n11132, n11131, n11130, n11129, n11128, n8240, n11126, n11125, n11124, n11123, n11122, n11121, n11120, n11119, n11118, n11117, n11116, n11115, n11114, n11113, n11112, n11111, n11110, n11109, n11108, n11107, n11106, n11105, n11104, n11103, n11102, n8239, n11100, n11099, n11098, n11097, n11096, n11095, n11094, n11093, n11092, n11091, n11090, n11089, n11088, n11087, n11086, n11085, n11084, n11083, n11082, n11081, n11080, n11079, n11078, n11077, n11076, n8238, n11074, n11073, n11072, n11071, n11070, n11069, n11068, n11067, n11066, n11065, n11064, n11063, n11062, n11061, n11060, n11059, n11058, n11057, n11056, n11055, n11054, n11053, n11052, n11051, n11050, n8237, n11048, n11047, n11046, n11045, n11044, n11043, n11042, n11041, n11040, n11039, n11038, n11037, n11036, n11035, n11034, n11033, n11032, n11031, n11030, n11029, n11028, n11027, n11026, n11025, n11024, n8236, n11022, n11021, n11020, n11019, n11018, n11017, n11016, n11015, n11014, n11013, n11012, n11011, n11010, n11009, n11008, n11007, n11006, n11005, n11004, n11003, n11002, n11001, n11000, n10999, n10998, n8235, n10996, n10995, n10994, n10993, n10992, n10991, n10990, n10989, n10988, n10987, n10986, n10985, n10984, n10983, n10982, n10981, n10980, n10979, n10978, n10977, n10976, n10975, n10974, n10973, n10972, n8234, n10970, n10969, n10968, n10967, n10966, n10965, n10964, n10963, n10962, n10961, n10960, n10959, n10958, n10957, n10956, n10955, n10954, n10953, n10952, n10951, n10950, n10949, n10948, n10947, n10946, n8233, n10944, n10943, n10942, n10941, n10940, n10939, n10938, n10937, n10936, n10935, n10934, n10933, n10932, n10931, n10930, n10929, n10928, n10927, n10926, n10925, n10924, n10923, n10922, n10921, n10920, n8232, n10918, n10917, n10916, n10915, n10914, n10913, n10912, n10911, n10910, n10909, n10908, n10907, n10906, n10905, n10904, n10903, n10902, n10901, n10900, n10899, n10898, n10897, n10896, n10895, n10894, n8231, n10892, n10891, n10890, n10889, n10888, n10887, n10886, n10885, n10884, n10883, n10882, n10881, n10880, n10879, n10878, n10877, n10876, n10875, n10874, n10873, n10872, n10871, n10870, n10869, n10868, n8230, n10866, n10865, n10864, n10863, n10862, n10861, n10860, n10859, n10858, n10857, n10856, n10855, n10854, n10853, n10852, n10851, n10850, n10849, n10848, n10847, n10846, n10845, n10844, n10843, n10842, n8229, n10840, n10839, n10838, n10837, n10836, n10835, n10834, n10833, n10832, n10831, n10830, n10829, n10828, n10827, n10826, n10825, n10824, n10823, n10822, n10821, n10820, n10819, n10818, n10817, n10816, n8228, n10814, n10813, n10812, n10811, n10810, n10809, n10808, n10807, n10806, n10805, n10804, n10803, n10802, n10801, n10800, n10799, n10798, n10797, n10796, n10795, n10794, n10793, n10792, n10791, n10790, n8227, n10788, n10787, n10786, n10785, n10784, n10783, n10782, n10781, n10780, n10779, n10778, n10777, n10776, n10775, n10774, n10773, n10772, n10771, n10770, n10769, n10768, n10767, n10766, n10765, n10764, n8226, n10762, n10761, n10760, n10759, n10758, n10757, n10756, n10755, n10754, n10753, n10752, n10751, n10750, n10749, n10748, n10747, n10746, n10745, n10744, n10743, n10742, n10741, n10740, n10739, n10738, n8225, n10736, n10735, n10734, n10733, n10732, n10731, n10730, n10729, n10728, n10727, n10726, n10725, n10724, n10723, n10722, n10721, n10720, n10719, n10718, n10717, n10716, n10715, n10714, n10713, n10712, n8224, n10710, n10709, n10708, n10707, n10706, n10705, n10704, n10703, n10702, n10701, n10700, n10699, n10698, n10697, n10696, n10695, n10694, n10693, n10692, n10691, n10690, n10689, n10688, n10687, n10686, n8223, n10684, n10683, n10682, n10681, n10680, n10679, n10678, n10677, n10676, n10675, n10674, n10673, n10672, n10671, n10670, n10669, n10668, n10667, n10666, n10665, n10664, n10663, n10662, n10661, n10660, n8222, n10658, n10657, n10656, n10655, n10654, n10653, n10652, n10651, n10650, n10649, n10648, n10647, n10646, n10645, n10644, n10643, n10642, n10641, n10640, n10639, n10638, n10637, n10636, n10635, n10634, n8221, n10632, n10631, n10630, n10629, n10628, n10627, n10626, n10625, n10624, n10623, n10622, n10621, n10620, n10619, n10618, n10617, n10616, n10615, n10614, n10613, n10612, n10611, n10610, n10609, n10608, n8220, n10606, n10605, n10604, n10603, n10602, n10601, n10600, n10599, n10598, n10597, n10596, n10595, n10594, n10593, n10592, n10591, n10590, n10589, n10588, n10587, n10586, n10585, n10584, n10583, n10582, n8219, n10580, n10579, n10578, n10577, n10576, n10575, n10574, n10573, n10572, n10571, n10570, n10569, n10568, n10567, n10566, n10565, n10564, n10563, n10562, n10561, n10560, n10559, n10558, n10557, n10556, n8218, n10554, n10553, n10552, n10551, n10550, n10549, n10548, n10547, n10546, n10545, n10544, n10543, n10542, n10541, n10540, n10539, n10538, n10537, n10536, n10535, n10534, n10533, n10532, n10531, n10530, n8217, n10528, n10527, n10526, n10525, n10524, n10523, n10522, n10521, n10520, n10519, n10518, n10517, n10516, n10515, n10514, n10513, n10512, n10511, n10510, n10509, n10508, n10507, n10506, n10505, n10504, n8216, n10502, n10501, n10500, n10499, n10498, n10497, n10496, n10495, n10494, n10493, n10492, n10491, n10490, n10489, n10488, n10487, n10486, n10485, n10484, n10483, n10482, n10481, n10480, n10479, n10478, n8215, n10476, n10475, n10474, n10473, n10472, n10471, n10470, n10469, n10468, n10467, n10466, n10465, n10464, n10463, n10462, n10461, n10460, n10459, n10458, n10457, n10456, n10455, n10454, n10453, n10452, n8214, n10450, n10449, n10448, n10447, n10446, n10445, n10444, n10443, n10442, n10441, n10440, n10439, n10438, n10437, n10436, n10435, n10434, n10433, n10432, n10431, n10430, n10429, n10428, n10427, n10426, n8213, n10424, n10423, n10422, n10421, n10420, n10419, n10418, n10417, n10416, n10415, n10414, n10413, n10412, n10411, n10410, n10409, n10408, n10407, n10406, n10405, n10404, n10403, n10402, n10401, n10400, n8212, n10398, n10397, n10396, n10395, n10394, n10393, n10392, n10391, n10390, n10389, n10388, n10387, n10386, n10385, n10384, n10383, n10382, n10381, n10380, n10379, n10378, n10377, n10376, n10375, n10374, n8211, n10372, n10371, n10370, n10369, n10368, n10367, n10366, n10365, n10364, n10363, n10362, n10361, n10360, n10359, n10358, n10357, n10356, n10355, n10354, n10353, n10352, n10351, n10350, n10349, n10348, n8210, n10346, n10345, n10344, n10343, n10342, n10341, n10340, n10339, n10338, n10337, n10336, n10335, n10334, n10333, n10332, n10331, n10330, n10329, n10328, n10327, n10326, n10325, n10324, n10323, n10322, n8209, n10320, n10319, n10318, n10317, n10316, n10315, n10314, n10313, n10312, n10311, n10310, n10309, n10308, n10307, n10306, n10305, n10304, n10303, n10302, n10301, n10300, n10299, n10298, n10297, n10296, n8208, n10294, n10293, n10292, n10291, n10290, n10289, n10288, n10287, n10286, n10285, n10284, n10283, n10282, n10281, n10280, n10279, n10278, n10277, n10276, n10275, n10274, n10273, n10272, n10271, n10270, n8207, n10268, n10267, n10266, n10265, n10264, n10263, n10262, n10261, n10260, n10259, n10258, n10257, n10256, n10255, n10254, n10253, n10252, n10251, n10250, n10249, n10248, n10247, n10246, n10245, n10244, n8206, n10242, n10241, n10240, n10239, n10238, n10237, n10236, n10235, n10234, n10233, n10232, n10231, n10230, n10229, n10228, n10227, n10226, n10225, n10224, n10223, n10222, n10221, n10220, n10219, n10218, n8205, n10216, n10215, n10214, n10213, n10212, n10211, n10210, n10209, n10208, n10207, n10206, n10205, n10204, n10203, n10202, n10201, n10200, n10199, n10198, n10197, n10196, n10195, n10194, n10193, n10192, n8204, n10190, n10189, n10188, n10187, n10186, n10185, n10184, n10183, n10182, n10181, n10180, n10179, n10178, n10177, n10176, n10175, n10174, n10173, n10172, n10171, n10170, n10169, n10168, n10167, n10166, n8203, n10164, n10163, n10162, n10161, n10160, n10159, n10158, n10157, n10156, n10155, n10154, n10153, n10152, n10151, n10150, n10149, n10148, n10147, n10146, n10145, n10144, n10143, n10142, n10141, n10140, n8202, n10138, n10137, n10136, n10135, n10134, n10133, n10132, n10131, n10130, n10129, n10128, n10127, n10126, n10125, n10124, n10123, n10122, n10121, n10120, n10119, n10118, n10117, n10116, n10115, n10114, n8201, n10112, n10111, n10110, n10109, n10108, n10107, n10106, n10105, n10104, n10103, n10102, n10101, n10100, n10099, n10098, n10097, n10096, n10095, n10094, n10093, n10092, n10091, n10090, n10089, n10088, n8200, n10086, n10085, n10084, n10083, n10082, n10081, n10080, n10079, n10078, n10077, n10076, n10075, n10074, n10073, n10072, n10071, n10070, n10069, n10068, n10067, n10066, n10065, n10064, n10063, n10062, n8199, n10060, n10059, n10058, n10057, n10056, n10055, n10054, n10053, n10052, n10051, n10050, n10049, n10048, n10047, n10046, n10045, n10044, n10043, n10042, n10041, n10040, n10039, n10038, n10037, n10036, n8198, n10034, n10033, n10032, n10031, n10030, n10029, n10028, n10027, n10026, n10025, n10024, n10023, n10022, n10021, n10020, n10019, n10018, n10017, n10016, n10015, n10014, n10013, n10012, n10011, n10010, n8197, n10008, n10007, n10006, n10005, n10004, n10003, n10002, n10001, n10000, n9999, n9998, n9997, n9996, n9995, n9994, n9993, n9992, n9991, n9990, n9989, n9988, n9987, n9986, n9985, n9984, n8196, n9982, n9981, n9980, n9979, n9978, n9977, n9976, n9975, n9974, n9973, n9972, n9971, n9970, n9969, n9968, n9967, n9966, n9965, n9964, n9963, n9962, n9961, n9960, n9959, n9958, n8195, n9956, n9955, n9954, n9953, n9952, n9951, n9950, n9949, n9948, n9947, n9946, n9945, n9944, n9943, n9942, n9941, n9940, n9939, n9938, n9937, n9936, n9935, n9934, n9933, n9932, n8194, n9930, n9929, n9928, n9927, n9926, n9925, n9924, n9923, n9922, n9921, n9920, n9919, n9918, n9917, n9916, n9915, n9914, n9913, n9912, n9911, n9910, n9909, n9908, n9907, n9906, n8193, n9904, n9903, n9902, n9901, n9900, n9899, n9898, n9897, n9896, n9895, n9894, n9893, n9892, n9891, n9890, n9889, n9888, n9887, n9886, n9885, n9884, n9883, n9882, n9881, n9880, n8192, n9878, n9877, n9876, n9875, n9874, n9873, n9872, n9871, n9870, n9869, n9868, n9867, n9866, n9865, n9864, n9863, n9862, n9861, n9860, n9859, n9858, n9857, n9856, n9855, n9854, n8191, n9852, n9851, n9850, n9849, n9848, n9847, n9846, n9845, n9844, n9843, n9842, n9841, n9840, n9839, n9838, n9837, n9836, n9835, n9834, n9833, n9832, n9831, n9830, n9829, n9828, n8190, n9826, n9825, n9824, n9823, n9822, n9821, n9820, n9819, n9818, n9817, n9816, n9815, n9814, n9813, n9812, n9811, n9810, n9809, n9808, n9807, n9806, n9805, n9804, n9803, n9802, n8189, n9800, n9799, n9798, n9797, n9796, n9795, n9794, n9793, n9792, n9791, n9790, n9789, n9788, n9787, n9786, n9785, n9784, n9783, n9782, n9781, n9780, n9779, n9778, n9777, n9776, n8188, n9774, n9773, n9772, n9771, n9770, n9769, n9768, n9767, n9766, n9765, n9764, n9763, n9762, n9761, n9760, n9759, n9758, n9757, n9756, n9755, n9754, n9753, n9752, n9751, n9750, n8187, n9748, n9747, n9746, n9745, n9744, n9743, n9742, n9741, n9740, n9739, n9738, n9737, n9736, n9735, n9734, n9733, n9732, n9731, n9730, n9729, n9728, n9727, n9726, n9725, n9724, n8186, n9722, n9721, n9720, n9719, n9718, n9717, n9716, n9715, n9714, n9713, n9712, n9711, n9710, n9709, n9708, n9707, n9706, n9705, n9704, n9703, n9702, n9701, n9700, n9699, n9698, n8185, n9696, n9695, n9694, n9693, n9692, n9691, n9690, n9689, n9688, n9687, n9686, n9685, n9684, n9683, n9682, n9681, n9680, n9679, n9678, n9677, n9676, n9675, n9674, n9673, n9672, n8184, n9670, n9669, n9668, n9667, n9666, n9665, n9664, n9663, n9662, n9661, n9660, n9659, n9658, n9657, n9656, n9655, n9654, n9653, n9652, n9651, n9650, n9649, n9648, n9647, n9646, n8183, n9644, n9643, n9642, n9641, n9640, n9639, n9638, n9637, n9636, n9635, n9634, n9633, n9632, n9631, n9630, n9629, n9628, n9627, n9626, n9625, n9624, n9623, n9622, n9621, n9620, n8182, n9618, n9617, n9616, n9615, n9614, n9613, n9612, n9611, n9610, n9609, n9608, n9607, n9606, n9605, n9604, n9603, n9602, n9601, n9600, n9599, n9598, n9597, n9596, n9595, n9594, n8181, n9592, n9591, n9590, n9589, n9588, n9587, n9586, n9585, n9584, n9583, n9582, n9581, n9580, n9579, n9578, n9577, n9576, n9575, n9574, n9573, n9572, n9571, n9570, n9569, n9568, n8180, n9566, n9565, n9564, n9563, n9562, n9561, n9560, n9559, n9558, n9557, n9556, n9555, n9554, n9553, n9552, n9551, n9550, n9549, n9548, n9547, n9546, n9545, n9544, n9543, n9542, n8179, n9540, n9539, n9538, n9537, n9536, n9535, n9534, n9533, n9532, n9531, n9530, n9529, n9528, n9527, n9526, n9525, n9524, n9523, n9522, n9521, n9520, n9519, n9518, n9517, n9516, n8178, n9514, n9513, n9512, n9511, n9510, n9509, n9508, n9507, n9506, n9505, n9504, n9503, n9502, n9501, n9500, n9499, n9498, n9497, n9496, n9495, n9494, n9493, n9492, n9491, n9490, n8177, n9488, n9487, n9486, n9485, n9484, n9483, n9482, n9481, n9480, n9479, n9478, n9477, n9476, n9475, n9474, n9473, n9472, n9471, n9470, n9469, n9468, n9467, n9466, n9465, n9464, n8176, n9462, n9461, n9460, n9459, n9458, n9457, n9456, n9455, n9454, n9453, n9452, n9451, n9450, n9449, n9448, n9447, n9446, n9445, n9444, n9443, n9442, n9441, n9440, n9439, n9438, n8175, n9436, n9435, n9434, n9433, n9432, n9431, n9430, n9429, n9428, n9427, n9426, n9425, n9424, n9423, n9422, n9421, n9420, n9419, n9418, n9417, n9416, n9415, n9414, n9413, n9412, n8174, n9410, n9409, n9408, n9407, n9406, n9405, n9404, n9403, n9402, n9401, n9400, n9399, n9398, n9397, n9396, n9395, n9394, n9393, n9392, n9391, n9390, n9389, n9388, n9387, n9386, n8173, n9384, n9383, n9382, n9381, n9380, n9379, n9378, n9377, n9376, n9375, n9374, n9373, n9372, n9371, n9370, n9369, n9368, n9367, n9366, n9365, n9364, n9363, n9362, n9361, n9360, n8172, n9358, n9357, n9356, n9355, n9354, n9353, n9352, n9351, n9350, n9349, n9348, n9347, n9346, n9345, n9344, n9343, n9342, n9341, n9340, n9339, n9338, n9337, n9336, n9335, n9334, n8171, n9332, n9331, n9330, n9329, n9328, n9327, n9326, n9325, n9324, n9323, n9322, n9321, n9320, n9319, n9318, n9317, n9316, n9315, n9314, n9313, n9312, n9311, n9310, n9309, n9308, n8170, n9306, n9305, n9304, n9303, n9302, n9301, n9300, n9299, n9298, n9297, n9296, n9295, n9294, n9293, n9292, n9291, n9290, n9289, n9288, n9287, n9286, n9285, n9284, n9283, n9282, n8169, n9280, n9279, n9278, n9277, n9276, n9275, n9274, n9273, n9272, n9271, n9270, n9269, n9268, n9267, n9266, n9265, n9264, n9263, n9262, n9261, n9260, n9259, n9258, n9257, n9256, n8168, n9254, n9253, n9252, n9251, n9250, n9249, n9248, n9247, n9246, n9245, n9244, n9243, n9242, n9241, n9240, n9239, n9238, n9237, n9236, n9235, n9234, n9233, n9232, n9231, n9230, n8167, n9228, n9227, n9226, n9225, n9224, n9223, n9222, n9221, n9220, n9219, n9218, n9217, n9216, n9215, n9214, n9213, n9212, n9211, n9210, n9209, n9208, n9207, n9206, n9205, n9204, n8166, n9202, n9201, n9200, n9199, n9198, n9197, n9196, n9195, n9194, n9193, n9192, n9191, n9190, n9189, n9188, n9187, n9186, n9185, n9184, n9183, n9182, n9181, n9180, n9179, n9178, n8165, n9176, n9175, n9174, n9173, n9172, n9171, n9170, n9169, n9168, n9167, n9166, n9165, n9164, n9163, n9162, n9161, n9160, n9159, n9158, n9157, n9156, n9155, n9154, n9153, n9152, n8164, n9150, n9149, n9148, n9147, n9146, n9145, n9144, n9143, n9142, n9141, n9140, n9139, n9138, n9137, n9136, n9135, n9134, n9133, n9132, n9131, n9130, n9129, n9128, n9127, n9126, n8163, n9124, n9123, n9122, n9121, n9120, n9119, n9118, n9117, n9116, n9115, n9114, n9113, n9112, n9111, n9110, n9109, n9108, n9107, n9106, n9105, n9104, n9103, n9102, n9101, n9100, n8162, n9098, n9097, n9096, n9095, n9094, n9093, n9092, n9091, n9090, n9089, n9088, n9087, n9086, n9085, n9084, n9083, n9082, n9081, n9080, n9079, n9078, n9077, n9076, n9075, n9074, n8161, n9072, n9071, n9070, n9069, n9068, n9067, n9066, n9065, n9064, n9063, n9062, n9061, n9060, n9059, n9058, n9057, n9056, n9055, n9054, n9053, n9052, n9051, n9050, n9049, n9048, n8160, n9046, n9045, n9044, n9043, n9042, n9041, n9040, n9039, n9038, n9037, n9036, n9035, n9034, n9033, n9032, n9031, n9030, n9029, n9028, n9027, n9026, n9025, n9024, n9023, n9022, n8159, n9020, n9019, n9018, n9017, n9016, n9015, n9014, n9013, n9012, n9011, n9010, n9009, n9008, n9007, n9006, n9005, n9004, n9003, n9002, n9001, n9000, n8999, n8998, n8997, n8996, n8158, n8994, n8993, n8992, n8991, n8990, n8989, n8988, n8987, n8986, n8985, n8984, n8983, n8982, n8981, n8980, n8979, n8978, n8977, n8976, n8975, n8974, n8973, n8972, n8971, n8970, n8157, n8968, n8967, n8966, n8965, n8964, n8963, n8962, n8961, n8960, n8959, n8958, n8957, n8956, n8955, n8954, n8953, n8952, n8951, n8950, n8949, n8948, n8947, n8946, n8945, n8944, n8156, n8942, n8941, n8940, n8939, n8938, n8937, n8936, n8935, n8934, n8933, n8932, n8931, n8930, n8929, n8928, n8927, n8926, n8925, n8924, n8923, n8922, n8921, n8920, n8919, n8918, n8155, n8916, n8915, n8914, n8913, n8912, n8911, n8910, n8909, n8908, n8907, n8906, n8905, n8904, n8903, n8902, n8901, n8900, n8899, n8898, n8897, n8896, n8895, n8894, n8893, n8892, n8154, n8890, n8889, n8888, n8887, n8886, n8885, n8884, n8883, n8882, n8881, n8880, n8879, n8878, n8877, n8876, n8875, n8874, n8873, n8872, n8871, n8870, n8869, n8868, n8867, n8866, n8153, n8864, n8863, n8862, n8861, n8860, n8859, n8858, n8857, n8856, n8855, n8854, n8853, n8852, n8851, n8850, n8849, n8848, n8847, n8846, n8845, n8844, n8843, n8842, n8841, n8840, n8152, n8838, n8837, n8836, n8835, n8834, n8833, n8832, n8831, n8830, n8829, n8828, n8827, n8826, n8825, n8824, n8823, n8822, n8821, n8820, n8819, n8818, n8817, n8816, n8815, n8814, n8151, n8812, n8811, n8810, n8809, n8808, n8807, n8806, n8805, n8804, n8803, n8802, n8801, n8800, n8799, n8798, n8797, n8796, n8795, n8794, n8793, n8792, n8791, n8790, n8789, n8788, n8150, n8786, n8785, n8784, n8783, n8782, n8781, n8780, n8779, n8778, n8777, n8776, n8775, n8774, n8773, n8772, n8771, n8770, n8769, n8768, n8767, n8766, n8765, n8764, n8763, n8762, n8149, n8760, n8759, n8758, n8757, n8756, n8755, n8754, n8753, n8752, n8751, n8750, n8749, n8748, n8747, n8746, n8745, n8744, n8743, n8742, n8741, n8740, n8739, n8738, n8737, n8736, n8148, n8734, n8733, n8732, n8731, n8730, n8729, n8728, n8727, n8726, n8725, n8724, n8723, n8722, n8721, n8720, n8719, n8718, n8717, n8716, n8715, n8714, n8713, n8712, n8711, n8710, n8147, n8708, n8707, n8706, n8705, n8704, n8703, n8702, n8701, n8700, n8699, n8698, n8697, n8696, n8695, n8694, n8693, n8692, n8691, n8690, n8689, n8688, n8687, n8686, n8685, n8684, n8146, n8682, n8681, n8680, n8679, n8678, n8677, n8676, n8675, n8674, n8673, n8672, n8671, n8670, n8669, n8668, n8667, n8666, n8665, n8664, n8663, n8662, n8661, n8660, n8659, n8658, n8145};

endmodule

(Note: I know the sample doesn't make sense as a verilog module, it was extracted from a much larger file)

Expected behavior

I just expect to be able to parse the line :-)

Actual behavior

I am getting the following error message:

1. Executing Verilog-2005 frontend.
Parsing Verilog input from `foo.v' to AST representation.
ERROR: Parser error in line foo.v:4: memory exhausted

[tomverbeure]

The error happens because the stack of the verilog parser is exhausted.

The default depth is 10000.

Your specific example can be fixed by making the following change in the source code, which increases the stack from 10000 to 15000:

diff --git a/frontends/verilog/verilog_parser.y b/frontends/verilog/verilog_parser.y
index 16cac14..d3c59d0 100644
--- a/frontends/verilog/verilog_parser.y
+++ b/frontends/verilog/verilog_parser.y
@@ -39,6 +39,8 @@
 #include "frontends/verilog/verilog_frontend.h"
 #include "kernel/log.h"

+#define YYMAXDEPTH 15000
+
 USING_YOSYS_NAMESPACE

But ultimately, if your tool concatenates 8000 signals into one vector, it might as well concatenate 80000 on a larger design, and you'll be back to square one.

[daveshah1]

No longer seeing the error on latest master, suspect this has been fixed by #1017.