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