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