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