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