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