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