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