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