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