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