define al_46997 = [112, 3280, 9886, 10153, 16925, 17413, 17415, 18250,
    34516, 34553, 34692, 35251, 35619, 38008, 38023, 38136,
    38173, 38179, 38254, 38839, 39489, 39753, 40916, 41255,
    41732, 43126, 44854, 46997, 48301, 48883, 51999, 57401,
    57883, 59570, 60614, 62396, 63279, 131477, 131789, 133492,
    134474, 134575, 134993, 135395, 136451, 136918, 137256, 137552,
    137835, 137846, 138037, 138181, 138211, 138435, 139058, 139254,
    139299, 139328, 139589, 139641, 139734, 139833, 139882, 140219,
    140362, 140363, 140506, 140719, 140727, 140731, 140889, 140913,
    140926, 140936, 140938, 140946, 140958, 140974, 141011, 141173,
    141221, 141237, 141376, 141449, 141712, 141747, 141776, 142025,
    142048, 142055, 142130, 142290, 142418, 142427, 198408, 198412,
    200334, 204185, 204254, 205058, 205532, 205590, 205593, 205603,
    205610, 205907, 205908, 205923, 206639, 207149, 207268, 207292,
    207301, 207343, 207427, 207466, 207537, 207650, 207683, 207740,
    207759, 207852, 208191, 208266, 208884, 208958, 208976, 209218,
    209295, 209334, 209557, 209650, 209661, 211571, 211685, 211722,
    211827, 211828, 211876, 211954, 212007, 212034, 212129, 212196,
    212237, 212268, 212331, 212334, 212342, 212357, 212358, 212359,
    212360, 212425, 212469, 212514, 212568, 212580, 212643, 212666,
    212705, 212740, 212746, 212756, 212767, 212783, 212793, 212799,
    212828, 212856, 212888, 212895, 212948, 212977, 212983, 213042,
    213045, 213069, 213105, 213196, 213244, 213253, 213262, 213316,
    213326, 213346, 213383, 396303, 398565];