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