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