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