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