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