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