w t[]={0x2f00576f,0x33f2c1f7,0x2f1fb204,0x1b49dda7,0x3d618237,0x42c83a2e,0x4541a121,0x53a72e14,0x1adea1c5,0x5d3cd90b,0x603c289b,0x568d5310,0x339e664f,0x62d0e527,0x51d53c3a,0x3b06de0b,0x62ec13db,0x45bce019,0x620fc251,0x22a4ccf8,0x24a37e0d,0x73fa15e0,0x3bdc4407,0x40a4f48d,0x5cc90e40,0x67fa4ee5,0x0125c7ee,0x2fe6c16e,0x7e1add4f,0x1c042b18,0x76bbddfb,0x4a2b4631,0x8048fa82,0x8a7b0aad,0x7bb56801,0x7d4a92d9,0x79315abf,0x7d5b2f01,0x88190c46,0x3401d0e0,0x8e4f4d4f,0x1c042b18,0x76bbddfb,0x4a2b4631,0x7f7528bb,0x5ced1bc0,0x302db8ee,0x2fe6c16e,0x7e1d8321,0x7bcd2355,0x4858de19,0x4a92d9fb,0x7bd13ad5,0x486e10a4,0x60fc23ac,0x4bb2b027,0x8d9ea76b,0x7e06c3b9,0x3005ff89,0x8cacd122,0x4d4023c9,0x795497cd,0x8048fa82,0x8a7a2921,0x7b93ea91,0x9b72aa8b,0x7ad992dc,0x8e2b4a44,0x6a8e48d8,0x8cacda82,0x78994d8f,0x83280aad,0x7bb567ee,0x6a841ea2,0x8bc262ad,0x82554aed,0x8067a0d0,0x6a378d0c,0x49a21dbd,0x5e513f9a,0x65251fca,0x93a180cd,0x80679cc0,0x5bb6f855,0x25ca3eb8,0x01745697,0x285cba96,0x09c5a2fa,0x0155f413,0x8f5c3585,0x55ebed57,0x7051cae3,0x9cf98367,0x704f4005,0x1133905e,0x0219c730,0x3830939a,0x02913d22,0x115f12a5,0x02a82e99,0x027a92f5,0x09ebc188,0x0c5dd2f5,0x09ebd997,0x0ede7342,0x05306d81,0x0c3e93e1,0x0c6bc9f9,0x0c7d12f1,0x0789e34a,0x0ebf33e2,0x0528b6d3,0x13a132f5,0x0c642c93,0x077bd2f2,0x04f9d45a,0x04fb32f2,0x02818247,0x051a7345,0x162044d3,0x0cc25043,0x0ecd8d62,0x079248fa,0x077af162,0x0762d2f6,0x115631e2,0x0c4ca486,0x18724d62,0x18a12d53,0x077bd2a4,0x0cc21f82,0x02813835,0x16860599,0x0c4583d9,0x2c029cd8,0x075c9345,0x111f3451,0x160292a4,0x113e43e4,0x11209528,0x0c456a31,0x2c09ee96,0x0c7c0091,0x2c291541,0x11365ea5,0x16383049,0x0c6c32a5,0x1397ec97,0x0791d0a3,0x0c5ca7e8,0x02b836a5,0x163f8433,0x13b730a3,0x04f1bb85,0x09e3f4a6,0x18b89e93,0x18a934a4,0x115dcd5a,0x18818ea4,0x09d3ed38,0x0a50d2fa,0x07727485,0x2c1221f7,0x077bd3e7,0x13af5ca2,0x13afa6a7,0x111fb6a3,0x13c69c27,0x18895ea3,0x0a0b33d1,0x2c020595,0x052933d1,0x2c098ae7,0x0edd46a3,0x2c1172a8,0x09d40723,0x2c219185,0x078b72a3,0x16863889,0x163f6ea7,0x0ef4b888,0x11a41daa,0x0c5c7502,0x0c73fd5a,0x0530d1e2,0x04ea4e96,0x0519ad23,0x2c21daa1,0x112f0831,0x2c194525,0x0c5526a6,0x0298a926,0x1889f4a6,0x1608bae3,0x18a0cea2,0x02a7fba1,0x0ebe56a6,0x163fe8d4,0x02982ea5,0x160293e9,0x163f84d6,0x11209482,0x138feae5,0x0cc21d55,0x16098241,0x0cc1eb5a,0x18b0e883,0x16860597,0x0a02cdd1,0x2c01ba99,0x1397b9a2,0x07dfd397,0x18918d51,0x2c0a21d8,0x02a7e2f5,0x2c098a45,0x187a36f1,0x2c098ae7,0x0edcfce7,0x2c20fa96,0x18995fd9,0x2c01bb33,0x13909902,0x0c6c4882,0x0ebf339a,0x05112b62,0x1398383a,0x0c73d0a8,0x07a1b7e2,0x187392a4,0x1136c029,0x077bd526,0x13906923,0x2c215ee4,0x18822183,0x2dc41040,0x67fa4ee0,0x2a12002b,0x6e9cf305,0x116a3990,0x6a5cf621,0xa8acba67,0x3bdc43e0,0x204da6ae,0x2da95320,0x2b1ccc2c,0x803aa126,0x92b3a768,0x9708c254,0x6078f2e9,0xb1bd4319,0x665b8683,0x1a48db3e,0x9e18d73c,0x973722d4,0x6078f2ce,0xb4c76950,0x92f0b125,0x97102267,0x25e9aeb0,0x649be0a0,0x9c4fcc1d,0x9c509167,0x25e9aeb0,0x21b6e822,0x93c342fd,0xb99be738,0xb1a29ec7,0x94523433,0x97282b4d,0xa8a21bd2,0x108966d4,0x6105743a,0x25568be0,0x93c35bfd,0x6649f143,0x115aa03d,0x9d6f5f1c,0x10b6892f,0x351dd8b0,0x10405825,0x803b3c1d,0x221502d1,0x7f60f709,0x040d0f68,0x9e192268,0x9708cf76,0x9e167f66,0x9708cf67,0x33bded95,0x61aeb8ad,0xa5cc9af6,0xaca23f1d,0xb24f6ff6,0xb4dee567,0x91ae1c4b,0x462ec570,}; w b=462; uint magic_number_L_plus_b= 3729; uint magic_number_L= 3267; w 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,578880,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,};