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