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