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