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