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