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