vnal = new Array();
vnal[-1]=[185,351,352,353,354,571,580,606,607,1836,1845,1850,2058,2059,2246,2247,2247,2337,2341,2440,2442,2626,2786,2789,2798,2807,2862,2863,2864,2865,2866,2867,2868,2869,2901,2902,2903,2906,2907,2908,2909,2910,2911,2914,2915,2931,2971,3023,3175,3231,3232,3233,3261,3267,3347,3348,3349,3629,3853,3908,3959,3960,3979,4009,4224,4270,4364,4394,4397,4558,4611,4612,4669,4731,4813,4840,4849,4850,4851,4853,4877,4878,4916,4917,4982,5071,5072,5079,5093,5094,5095,5096,5169,5197,5204,5215,5239,5240,5241,5301,5319,5422,5534,5534,5534,5534,5534,5534,5534,5534,5535,5535,5535,5535,5535,5535,5535,5536,5536,5536,5536,5536,5536,5536,5544,5651,5725,5726,5727,5729,5730,5731,5732,5739,5740,5741,5742,5755,5758,5758,5762,5763,5767,5768,5769,5828,5876,5876,5876,5877,5879,5880,5881,5887,5920,6015,6016,6135,6155,6256,6303,6304,6454,6455,6456,6459,6531,6533,6534,6545,6550,6551,6617,6618,6689,6690,6691,6829,6830,6924,6930,6939,7075,7078,7081,7098,7143,7226,7257,7286,7287,7288,7289];
vnal[1]=[3346];
vnal[2]=[2628];
vnal[4]=[2342];
vnal[9]=[1135,1157,2628,4075,4076,6118,7124,7124,7125,7125,7248,7249];
vnal[11]=[6944];
vnal[13]=[2342,2343,2627,2628,3184,4073,4074,4075,4076,4122,6118,6944,7248,7249];
vnal[15]=[545,1135,2342,2628,3184,4073,4076,4122,4677,6118,6944,7248,7249];
vnal[25]=[1334,1335,4217,7124];
vnal[71]=[2981];
vnal[72]=[2997];
vnal[77]=[1157,2328,2750,2783,4819,6495,7125];
vnal[78]=[1187,1196,1245,1250,1261,1296,1656,1663,1674,1684,1685,1812,1814,1820,1860,2319,2322,2322,2377,2378,2379,2384,2389,2390,2392,2395,2396,2398,2399,2400,2664,2696,2697,2699,2707,2714,2714,2767,2769,2833,2833,2834,2840,2946,2946,2956,2958,2960,2964,2968,2970,3093,3181,3181,3183,3217,3228,3616,3617,3618,3619,3620,3621,4172,4218,4219,4221,4367,4367,4402,4402,4402,4561,4562,4563,4564,4565,4631,4631,4705,4833,4889,4891,4902,4903,4914,5102,5103,5539,5916,5964,6447,6447];
vnal[79]=[2384,2389,2398,2399,2634,2777,2975,3616,3617,3618,3917,4219,4220,4221,4392,4561,4942,5027,5032,5296,5538,5539,5723,5868,5869,7285];
vnal[80]=[1213,1245,1250,1268,1661,1681,1684,2319,2322,2367,2380,2387,2389,2395,2396,2397,2399,2664,2696,2699,2798,2834,2946,2946,2956,3003,3114,3616,3617,3618,3620,3849,4129,4218,4219,4220,4221,4367,4402,4505,4561,4562,4563,4630,4630,4729,4889,4914,5027,5032,5539,5653,6447,6447,6779,6780];
vnal[93]=[1187,1192,1193,1196,1199,1213,1221,1230,1237,1245,1248,1249,1249,1250,1251,1252,1253,1253,1272,1272,1272,1272,1272,1309,1618,1633,1634,1636,1656,1657,1660,1661,1663,1669,1679,1681,1685,1811,1813,1856,1860,2133,2318,2319,2322,2322,2354,2366,2367,2369,2371,2377,2384,2385,2389,2390,2392,2394,2396,2397,2398,2664,2668,2678,2682,2689,2693,2693,2696,2713,2714,2714,2777,2833,2833,2834,2835,2835,2837,2838,2839,2840,2847,2923,2946,2947,2948,2956,2956,2958,2960,2962,2962,2966,2975,2978,3003,3092,3093,3094,3096,3097,3219,3223,3226,3227,3614,3616,3617,3618,3619,3621,3622,3855,4148,4169,4218,4220,4221,4367,4368,4399,4399,4402,4402,4402,4404,4406,4480,4480,4561,4562,4564,4565,4630,4630,4631,4633,4681,4693,4709,4835,4836,4871,4889,4893,4899,4900,4901,4901,4910,4910,4911,4914,4942,5022,5027,5032,5097,5100,5101,5538,5653,5866,5868,5875,5914,5964,6257,6261,6447,6447,6461,6834,6837,6932,6932,6933,6934,7068,7071,7071,7072,7153,7284];
vnal[106]=[3345];
vnal[128]=[2435];
vnal[129]=[1334,2750,3201,4670,5886];
vnal[135]=[2783,2928];
vnal[136]=[1351,2328];
vnal[151]=[4677];