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