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