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