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