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