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