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