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