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