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