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