vnal = new Array();
vnal[-1]=[185,351,353,354,552,569,571,574,580,606,607,715,1021,1834,1837,2058,2059,2061,2246,2247,2247,2307,2308,2332,2334,2337,2341,2428,2629,2725,2786,2789,2798,2807,2862,2863,2864,2865,2866,2867,2868,2869,2901,2902,2903,2904,2906,2907,2908,2909,2910,2913,2915,2915,2931,3022,3023,3127,3231,3232,3233,3261,3262,3267,3338,3347,3348,3349,3629,3847,3853,3923,3959,3960,4009,4072,4224,4225,4226,4261,4364,4392,4393,4398,4611,4612,4669,4813,4840,4841,4848,4850,4853,4854,4916,4917,4971,4979,4982,4984,4994,4997,5071,5072,5074,5079,5093,5094,5095,5096,5239,5240,5301,5534,5534,5534,5534,5534,5535,5535,5535,5535,5535,5535,5535,5536,5536,5536,5536,5536,5536,5544,5650,5669,5725,5726,5727,5729,5730,5731,5732,5734,5735,5739,5740,5741,5742,5743,5755,5758,5758,5762,5763,5765,5828,5876,5876,5876,5877,5878,5879,5880,5881,5882,5894,5920,5965,6016,6155,6302,6304,6454,6455,6456,6456,6458,6460,6531,6533,6534,6535,6536,6538,6539,6545,6546,6549,6550,6551,6617,6618,6689,6690,6691];
vnal[1]=[3346];
vnal[4]=[4073];
vnal[8]=[2627];
vnal[9]=[1135,1157,2627,2628,4074,4075,4076,6118];
vnal[13]=[2342,2627,2628,3184,4073,4074,4075,4122,6118];
vnal[15]=[545,1135,1157,2342,2627,2628,3184,4073,4074,4075,4122,4677];
vnal[19]=[180];
vnal[25]=[1334,1335,4217];
vnal[77]=[2328,2435,2750,2783,4216,5550,5620,5890,5893];
vnal[78]=[1187,1196,1213,1271,1308,1309,1662,1667,1669,1674,1684,1685,1812,1814,1818,1819,1860,2322,2322,2371,2378,2379,2380,2384,2385,2387,2389,2390,2391,2392,2395,2396,2398,2696,2699,2709,2710,2714,2714,2767,2769,2834,2840,2946,2946,2956,2964,2965,2966,2968,2977,2986,3093,3176,3181,3181,3183,3216,3217,3268,3270,3616,3617,3618,3619,3620,3621,4172,4219,4221,4402,4402,4561,4562,4563,4564,4565,4631,4631,4833,4834,4889,4889,4891,4902,4903,4914,5091,5102,5103,5538,5539,5653,5653,5913,5914,5916,5919];
vnal[79]=[1187,1187,1192,1193,1196,1199,1208,1209,1213,1230,1237,1241,1249,1261,1272,1272,1272,1272,1272,1618,1636,1660,1661,1662,1663,1665,1679,1681,1682,1684,1685,1686,1811,1813,1856,1860,2319,2354,2354,2366,2367,2369,2370,2371,2377,2380,2384,2389,2391,2395,2397,2398,2399,2634,2664,2689,2689,2693,2693,2713,2714,2714,2767,2771,2776,2777,2833,2833,2834,2835,2837,2838,2847,2946,2947,2948,2960,2961,2962,2962,2975,2987,3092,3092,3093,3094,3222,3224,3225,3226,3227,3615,3616,3617,3618,3620,3621,3917,4147,4169,4171,4218,4219,4221,4223,4367,4369,4370,4370,4392,4399,4402,4402,4402,4480,4480,4561,4562,4565,4630,4633,4690,4693,4694,4695,4696,4697,4835,4889,4889,4890,4893,4899,4900,4901,4901,4910,4910,4911,4914,4942,5027,5027,5032,5097,5098,5100,5102,5103,5295,5538,5539,5869,5913,5916,5964,6257,6257,6260,6261,6262,6453,6461];
vnal[80]=[1187,1213,1261,1264,1268,1268,1271,1327,1328,1656,1681,1684,1811,1813,1860,2380,2387,2389,2392,2395,2396,2399,2664,2696,2696,2699,2798,2946,2956,2960,3114,3228,3616,3617,3618,3620,3621,3849,4129,4218,4219,4221,4402,4505,4561,4562,4630,4729,4889,5027,5032,5034,5102,5103,5296,5500,5539,5653,5916,5917,6447];
vnal[93]=[2377,2380,2384,2385,2387,2389,2390,2391,2394,2395,2396,2397,2399,2668,2678,2682,2777,2923,2975,2978,3617,3618,3619,3621,4220,4221,4404,4406,4561,4562,4563,4564,4565,4701,4709,4710,4942,5022,5022,5027,5027,5032,5084,5296,5538,5751];
vnal[106]=[3345];
vnal[129]=[1334,2291,2435,2750,3201,4670];
vnal[135]=[2783,2928];
vnal[136]=[2328];
vnal[151]=[4677];