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