import json

realNaughties = [92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 114, 116, 118, 119, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 138, 140, 141, 145, 147, 148, 149, 150, 151, 152, 153, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 170, 171, 172, 173, 174, 176, 178, 179, 180, 181, 182, 183, 184, 185, 190, 196, 198, 201, 206, 209, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 435, 440, 449, 502, 503]
realNaughtyStrs = []
badStrs = json.load(open('naughtyStringsFromGitHub_minimaxir.json','r'))

print("Size before pruning good strings:" + str(len(badStrs)))
for idx,bs in enumerate(badStrs):
	if idx in realNaughties:
		realNaughtyStrs.append(bs)

print("Size after pruning good strings:" + str(len(realNaughtyStrs)))
fp = open('naughtyStringsFromGitHub_minimaxir.NICE_ONES_PRUNED.json','w')
fp.write(json.dumps(realNaughtyStrs))
fp.close()