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