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