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