g t[]={0x2f00576f,0x33f2c1f7,0x2f1fb204,0x1b49dda7,0x3d618237,0x42c83a2e,0x4541a121,0x53a72e14,0x1adea1c5,0x5d3cd90b,0x603c289b,0x568d5310,0x339e664f,0x62d0e527,0x51d53c3a,0x3b06de0b,0x62ec13db,0x45bce019,0x620fc251,0x22a4ccf8,0x24a26b0d,0x718915e0,0x3bdc4407,0x40a4f48d,0x5cc90e40,0x67f27ee5,0x0125aeee,0x2fded81e,0x7ba20d4e,0x1c042b18,0x7442f4ab,0x4a2b45e1,0x7dd7e131,0x8802215d,0x793c7eb0,0x7ad99288,0x76b88a6f,0x7aea15b0,0x85a02346,0x3401d0e0,0x8bde4d4e,0x1c042b18,0x7442f4ab,0x4a2b45e1,0x7d04286b,0x5ced1bbf,0x3025cfee,0x2fded81e,0x7ba4b2d0,0x79543a04,0x4850f4c8,0x4a92c0fb,0x79586a84,0x48664053,0x8b2a258f,0x0126f369,0x016c68a2,0x76b44093,0x80770b08,0x76b88a6f,0x7aea15b0,0x85a69ff3,0x6a865f87,0x8a33f131,0x7628343e,0x80ac7ba1,0x3e5dcba9,0x2d5f4c1b,0x7b8dda68,0x76bb5f80,0x4d905394,0x8a7a6d41,0x8097918b,0x78689288,0x2fe6ed44,0x4b0f80f3,0x71b140db,0x62ec13de,0x1f417b36,0x790b1049,0x53c9d65b,0x5bb83ff3,0x71affbd5,0x6e9d819f,0x5d839980,0x71e21f2a,0x70a7a740,0x28e2812b,0x93ed1d08,0x77f907ff,0x5d7d89f0,0x5ec855c7,0x8f2c49f0,0x1f38af31,0x7db71b43,0xa0bace31,0x2c1a0a54,0x18b85439,0x2c021d57,0x0c5cf151,0x2c09ee45,0x11564995,0x2c09ee45,0x13afc0e7,0x2c1172aa,0x07919a91,0x2c20fa97,0x02895299,0x2c0989f7,0x05023be3,0x2c2112a9,0x0a0a9d83,0x2c09ee96,0x077a5bf5,0x2c09a2a3,0x09cccaa3,0x2c09a252,0x1618efa7,0x2c11bfd5,0x05289ca2,0x11368ce5,0x0c3e92f8,0x13a06af5,0x160292f2,0x04fa0838,0x115f1393,0x05211921,0x0c3e9527,0x0c3d1bf5,0x2c0205a2,0x0c73b252,0x0edd2fe2,0x09ebf292,0x164036a2,0x18b118f1,0x2c11bf31,0x09cbebd1,0x2c020635,0x05114631,0x2c40e992,0x13becea3,0x0c5ca799,0x113e2ea7,0x09e35b34,0x02fe1fd8,0x11372297,0x0cc21f82,0x077abff8,0x07dfec95,0x0ed5a859,0x16861fd9,0x0518fd86,0x07dfeba2,0x02affe44,0x11a4392a,0x0c5c5e28,0x11a40639,0x0c3dcd23,0x02fe0542,0x078a7952,0x04fa6af4,0x052102a4,0x16111ff5,0x2c219185,0x077bd485,0x0eb65131,0x1685ed88,0x02bfd224,0x02fdec49,0x163f6ea2,0x09eb8da9,0x163f6ea3,0x02a090e7,0x0eb5f0a4,0x04f26942,0x0a1270a6,0x1155fdf7,0x2c01ede2,0x1146dbe8,0x13c07392,0x18918e43,0x2c19d991,0x187a9c39,0x2c01ba95,0x0eb6522a,0x07e03922,0x02a7fce7,0x02fe1daa,0x0c5c76e2,0x0eae4eea,0x0ef48642,0x0eec8256,0x07a1cf62,0x04ea7ff2,0x02a02de2,0x0eed32e9,0x09cc4d62,0x0c7b6ea6,0x164031a9,0x0edccea8,0x05209956,0x0c5dd391,0x0c7b84d4,0x0299d2f1,0x18b902e8,0x079b1345,0x113708f9,0x02fdd255,0x1637b252,0x04fb32a5,0x11659e91,0x02fded39,0x13907fa3,0x0cc1eb54,0x0c8353e3,0x02fdeb56,0x11468ff6,0x11a43655,0x0ef4b799,0x1685d257,0x07919b83,0x2c19c0e8,0x051130a5,0x187a36f1,0x2c30b3e7,0x1891d902,0x13a06be6,0x05303ea2,0x09fb159a,0x1610f2aa,0x0ee49aea,0x07e03796,0x0a126d38,0x07e55a17,0x285ca196,0x075665db,0x6e9f263a,0x7db614f8,0x5cc74ac9,0x2c613342,0x83549021,0x7e36e1cd,0x6cfe84e5,0xaa42a216,0x8822663a,0x7db7b63b,0x6649db08,0xb10f7247,0x1896f357,0x24200016,0x1f27faa2,0x7db7b63b,0x2468adcd,0x9b9d6519,0x0e107dd3,0x5fb0522f,0x0141f27e,0x9bbb628c,0x21a96503,0x5fb0522f,0x006bc996,0xa08206ec,0x94c622e2,0xaf878578,0xacb8b7a6,0x092ecabc,0x948fd008,0x0516d192,0x7db95eda,0x3ff17be0,0x915242fc,0x66420843,0x09f0173d,0x9afe461b,0x10aea02e,0x3516085f,0x103887d5,0x7dca22cc,0x220d19d1,0x7cefddb9,0x04052667,0x9b9f503c,0xac99a147,0x7e274992,0x6e68b6cc,0xa63fb745,0x25ca3eb8,0x0211cd52,0xaf8783d5,0x885ae908,0x06fb13d9,0x107fc76a,0x807fee8c,0x8f64ca00,};
g b=460;
uint magic_number_L_plus_b= 3694;
uint magic_number_L= 3234;
g F[]={0,490399168,140644800,243467744,243474656,311927040,504602848,202613952,511838272,244524224,211230912,210183616,34841824,6325440,277292480,211256768,421759040,9640224,134,471015648,34841888,198720,346030080,136415360,9741760,244548640,6330630,487638464,471246272,244557088,488162752,211074336,599442976,368409920,3312673,12923174,382624,567424,74516608,277096930,238880,134418880,205656512,311731392,567426,128,6595776,4194432,474091968,1044516992,591062560,4194438,504595936,581052960,106210528,588583040,480,588818560,71700544,404818304,209985728,34637280,1048710112,14694400,268706124,203491520,205656256,504595488,10627072,4657152,491520,71569472,72955190,136349824,9570592,545392672,};