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