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