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