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