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