013, 018, 033, 051, 063, 080, 082, 093, 108, 131,
132, 142, 143, 147, 152, 153, 167, 172, 180, 206,
212, 221, 236, 241, 243, 314, 334, 343, 354, 358,
374, 378, 407, 420, 438, 445, 455, 456, 490, 520,
527, 531, 538, 539, 586, 593, 600, 614, 636, 640,
646, 656, 657, 658, 670, 681, 684, 690, 726, 730,
753, 754, 761, 790, 792, 793, 797, 802, 814, 815,
820, 831, 832, 844, 853, 860, 865, 869, 870, 871,
876, 881, 893, 896, 907, 913, 937, 943, 944, 945,
950, 953, 954, 957, 966, 971, 977, 978, 983, 985,
