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