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