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