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