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