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