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