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