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