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