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