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