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