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