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