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