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