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