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