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