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