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