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