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