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