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