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