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