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