[[0,2,7,9,10,12,16,18,19,20,21,41,45,50,51,60,62,63,69,72,75,76,77,82,84,87,88,90,91,92,93,94,95,97,98,99,124,127,131,141,147,150,152,153,154,155,156,157,158,159,160,161,162,163,164,165,167,168,182,183,185,186,188,192,193,196,200,204,206,207,208,212,213,214,215,217,218,220,221,222,224,226,227,228,230,231,251,252,253,257,258,259,261,262,267,268,271,273,276,279,280,284,288,289,290,291,293,294,295,296,297,298,300,321,322,323,326,328,330,331,333,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,356,377,378,381,382,383,384,385,386,391,397,398,404,409,412,414,415,416,417,418,421,436,444,446,451,452,458,459,460,461,462,463,464,465,467,468,488,493,513,518,519,520,521,522,523,524,525,526,541,542,543,544,562,566,569,570,574,590,592,594,595,600,604,605,606,607,608,609,644,647,648,655,661,662,682,686,694,695,716,718,720,723,725,727,729,750,751,752,754,755,759,762,770,775,778,780,782,784,785,788,789,790,792,793,794,795,796,816,821,822,823,825,827,831,832,836,837,838,842,846,849,850,851,852,853,855,856,857,872,873,874,876,885,888,889,894,895,896,897,900,901,902,903,904,907,908,922,926,927,928,930,936,938,940,964,965,967,968,970,996,998,1000,1010,1013,1023],[1,3,8,11,15,22,23,25,26,27,28,29,30,31,35,38,39,43,46,49,53,55,56,57,66,67,68,78,79,80,83,85,86,96,100,101,107,109,114,116,117,119,120,122,123,126,130,132,133,134,136,140,143,144,146,149,151,166,170,171,172,173,175,177,178,184,195,198,199,201,203,209,211,235,240,242,244,245,246,248,250,255,260,266,269,272,274,275,277,278,283,292,299,301,303,304,308,310,311,313,318,325,327,355,357,358,359,360,362,363,364,365,367,369,371,372,374,389,390,400,401,403,407,426,427,428,435,448,454,457,466,469,470,472,473,474,475,478,480,481,482,483,486,487,499,502,504,508,509,527,528,529,532,534,535,536,538,540,545,546,547,548,553,554,557,558,563,564,568,572,573,576,577,581,583,585,588,591,593,597,602,603,610,611,616,617,618,620,621,630,646,649,651,652,654,656,657,658,659,660,671,674,679,687,689,690,693,696,697,699,701,702,703,707,710,715,717,719,721,722,724,726,728,731,732,736,737,738,740,741,743,744,746,747,756,757,761,763,766,772,774,777,779,791,797,799,805,809,810,811,819,820,824,830,833,834,840,841,843,847,848,859,862,863,864,866,867,868,877,878,879,881,882,883,884,887,891,898,899,906,909,910,911,912,913,914,915,916,917,919,921,923,924,925,929,932,939,943,944,949,950,966,969,972,973,975,976,978,980,982,985,987,993,1003,1004,1016,1019,1020,1022],[4,5,6,13,14,17,24,34,36,42,48,58,59,65,70,71,73,74,81,89,103,104,105,106,108,110,111,112,115,121,129,135,137,174,176,179,180,181,187,189,190,191,202,210,216,223,225,229,232,233,234,237,238,241,243,247,254,264,265,282,285,286,287,302,306,307,309,329,334,361,366,368,370,373,376,379,392,395,399,410,413,419,420,422,437,440,442,447,450,456,471,476,477,479,484,485,514,530,531,533,537,539,550,551,552,555,556,559,560,561,565,567,571,575,578,579,580,582,584,586,589,598,599,601,615,625,650,653,668,677,684,685,691,698,700,705,706,709,711,712,713,730,733,739,742,745,748,749,758,764,767,769,776,781,783,787,803,804,807,812,813,814,815,817,829,835,839,844,854,858,860,861,865,869,871,880,886,890,905,918,933,935,942,945,946,947,948,951,956,974,977,979,983,984,988,989,991,1001,1007,1009,1017,1018,1021],[32,33,37,44,47,52,54,102,113,118,128,142,148,169,219,236,256,263,305,320,324,393,394,405,406,423,424,425,429,431,432,433,438,439,445,449,453,510,549,587,596,612,613,614,619,622,623,624,636,643,663,664,666,667,669,670,672,673,678,681,683,688,692,704,734,735,753,765,768,771,773,786,798,800,801,802,808,818,826,845,870,892,920,952,953,958,959,960,961,962,963,971,981,986,990,992,994,995,997,999,1002,1005],[40,61,139,145,239,249,270,281,375,387,396,411,430,434,441,443,455,627,629,631,635,637,639,641,645,665,708,760,806,931,957,1006,1011,1012,1015],[64,125,319,332,380,402,408,505,628,638,640,642,676,680,714,828,1008],[138,388,489,492,494,495,496,497,498,501,503,507,511,512,516,626,632,633,634,675,937,954,955,1014],[197,314,315,316,317,875,893,934,941],[194,205,312,491,506,515],[490,517],[500]]