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