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