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