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