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