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