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