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