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