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