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