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