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