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