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