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