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