equivalent_to_hn = [42302852, 42302946, 42303162, 42323122, 42323216, 42323432, 42358580, 42358644, 42358811, 42358978, 42359145, 42359357, 44390541, 44410811, 44445959, 44446330, 44446361, 44446423, 44446458, 48217845, 48272890, 48273536, 48273682, 48273989, 58075659, 58095929, 58130179, 58130628, 58131718, 58131745, 58131773, 67953907, 67957244, 67957681, 67957848, 67958015, 67958182, 67958395, 68185686, 68189095, 68189903, 68189965, 68189996, 68190031, 68653446, 68653573, 68653719, 68653865, 68654183, 69577454, 69580266, 69581164, 69581778, 69581832, 69581861, 70970200, 70973958, 70978107, 70978190, 71558182, 73169267, 73173204, 73179688, 73180065, 73180415, 73180442, 73180499, 73186121, 73198517, 73210913, 73231927, 73231955, 73287395, 73290663, 73294472, 73298835, 73299635, 73300470, 75621653, 75646445, 75667496, 75667651, 89176740, 89178865, 89180041, 89182328, 89184615, 89188156, 89188210, 89188239, 90252914, 90263396, 90271271, 90276806, 90290863, 102398486, 102401815, 102402260, 102402594, 102402761, 102402975, 102744082, 102747350, 102751108, 102755257, 102755340, 105877516, 105877732, 105881069, 105881506, 105881673, 105881840, 105882007, 105882220, 110519688, 110520065, 110520442, 110520510, 110520844, 110521225, 113068011, 113071420, 113072228, 113072290, 113072321, 113072356, 121882187, 121884995, 121885893, 121886499, 121886561, 121886596, 122350887, 122355028, 122355125, 122696042, 122699868, 122704164, 122704989, 122705861, 125133271, 125133544, 125133690, 125134008, 126410158, 126413906, 126414357, 129417142, 129421079, 129427940, 129428317, 129428374, 147976245, 147976527, 147979351, 147979800, 147980249, 147980899, 147980911, 147980917, 149944702, 149948457, 149948639, 149955111, 149955500, 149955907, 149955913, 149955925, 157254554, 157257366, 157258264, 157258961, 163863870, 163867138, 163869006, 163870947, 163875310, 163876945]
finite_equivalents = [48273390, 67953597, 67953691, 71553983, 71557731, 73173015, 73285871, 73288447, 73292531, 89177565, 90206751, 90209038, 90214894, 90265736, 105877422, 129416953, 129420890, 129427563, 129428290, 157258878, 157258932, 163876110]
unknown = [48217520, 48217671, 58095440, 73169078, 73169229, 102743259, 102745815, 102749116, 113067945, 113071354, 121884950, 122693826, 122697948]