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