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