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