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