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