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