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