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