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