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