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