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