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