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