w t[]={0x13140b0e,0x0f151617,0x16181319,0x0c13140b,0x0e0f1518,0x1a0b1b1b,0x181c1d1a,0x1e1f1d1e,0x20212223,0x150b2425,0x0b00260f,0x15270f11,0x00260228,0x2223150b,0x24250b00,0x10150b24,0x250f2927,0x00100228,0x222a290d,0x2b190e0f,0x162c292a,0x272d1c1d,0x2e0d242a,0x290d1628,0x220e0f10,0x2a290f00,0x2f000d30,0x291b2700,0x192a2927,0x281b2715,0x190d2700,0x2018102b,0x300b2705,0x0026311a,0x1f133233,0x321f3435,0x102b300b,0x27030019,0x31333637,0x1c1f1f1e,0x3801352c,0x34323339,0x3a3b361e,0x3336373a,0x32341a2c,0x333a3234,0x13332034,0x1c363a32,0x383c3528,0x1b271519,0x0d27003b,0x18102b30,0x0b270300,0x19313336,0x371c1f1f,0x1e380135,0x102b300b,0x27050026,0x31133b3a,0x1a1f1332,0x33321f34,0x352c3432,0x33393a3b,0x361e3336,0x373a1f2c,0x331a2c33,0x3a133336,0x1e361f3c,0x35283b00,0x26023d20,0x00263e18,0x3b003035,0x2c343233,0x393a1336,0x332c1a3a,0x32341333,0x20341c36,0x3a32383d,0x263e352c,0x34323339,0x3a323432,0x3332203f,0x3240363a,0x1f2c331a,0x2c333d3b,0x1200303e,0x352c3432,0x33393a32,0x34323332,0x203f3240,0x363a3b36,0x1e333637,0x3a1f2c33,0x1a2c333a,0x1333361e,0x361f3d30,0x3e35302e,0x26412c29,0x2a272d1f,0x0c420f0d,0x2733301c,0x2b2a231a,0x301b3d26,0x2e263e35,0x302e1941,0x262e1935,0x150f2719,0x15290030,0x353c2810,0x2b300b27,0x04001002,0x3d3b002c,0x3e31133b,0x3a330b15,0x240f2718,0x282f0027,0x43444118,0x453c3528,0x2f003f41,0x05020306,0x35282f00,0x0c410507,0x0935282f,0x00464344,0x41180112,0x050a0104,0x0a0a0207,0x09120205,0x01070505,0x09010112,0x03050405,0x07080805,0x05120305,0x04050805,0x07060712,0x0402020a,0x03080105,0x01120601,0x05070103,0x09050912,0x03010307,0x02040a06,0x03120602,0x02090409,0x03080312,0x03050506,0x03050303,0x05120302,0x02030401,0x0a020312,0x03020102,0x09040702,0x07120405,0x09050209,0x03051207,0x04030605,0x05011203,0x0808030a,0x03050901,0x12030202,0x03060708,0x07091205,0x03020806,0x0a010501,0x120a0705,0x01030305,0x12020405,0x12050802,0x01020607,0x05091204,0x05090502,0x09090912,0x020a0908,0x03011204,0x05070104,0x01010901,0x12060302,0x08030604,0x0a031202,0x04070502,0x06040701,0x120a0805,0x02080701,0x12030505,0x06050907,0x05011207,0x04040107,0x04011205,0x09080704,0x09050705,0x12050802,0x03050703,0x08031203,0x05050606,0x08010909,0x12050909,0x02070308,0x06031203,0x02020108,0x05040407,0x12060a0a,0x0505030a,0x08071204,0x07090501,0x0a0a0301,0x12040402,0x03070804,0x1202030a,0x03040208,0x05120409,0x03070305,0x12060708,0x05030512,0x08050602,0x07070109,0x12030808,0x010a070a,0x04011203,0x04090909,0x01120204,0x05050209,0x09090112,0x03010607,0x06070602,0x03120402,0x02080402,0x040a0312,0x06070805,0x03071202,0x03091206,0x08090909,0x01120706,0x0a060808,0x07120502,0x0a050504,0x03120508,0x05010a02,0x0a070912,0x02010505,0x0602070a,0x0a031206,0x0a020107,0x03060701,0x1205020a,0x05050409,0x12060105,0x060a060a,0x04071206,0x09020106,0x030a0701,0x12020107,0x03020106,0x03091206,0x09090609,0x04010501,0x12050901,0x12060909,0x09020906,0x07011208,0x02080101,0x06050512,0x05010509,0x02090401,0x05120301,0x0a0a0906,0x08030912,0x04050704,0x08030901,0x12020105,0x09080201,0x02020312,0x0205070a,0x05050101,0x12030709,0x08010702,0x03051203,0x0104050a,0x02060301,0x12030106,0x07060703,0x06071202,0x01070308,0x01080312,0x06010506,0x0a060509,0x09120507,0x06080206,0x0312050a,0x02060301,0x12080206,0x070a0508,0x03120803,0x0a060602,0x0a011202,0x04070405,0x0a090305,0x120a0608,0x01060a03,0x12060506,0x040a0307,0x0803123c,0x3528102b,0x300b2700,0x11122d41,0x2c2e192e,0x2d450806,0x3511412c,0x2e192e11,0x45080635,0x28192a29,0x27000d12,0x2a120e12,0x39123741,0x11353941,0x2d352a41,0x37473d08,0x0548393e,0x45080635,0x282a103d,0x2a49410c,0x4a4a2a4b,0x0c473f3e,0x18280e41,0x3d2a480c,0x3e4c0202,0x35282a10,0x3d0e4b03,0x3e0d413d,0x0e4b4b05,0x3e470235,0x280f2b1b,0x0f002a10,0x3d0e4141,0x02013e0d,0x41020935,0x280f2b1b,0x0f000d41,0x3d27433d,0x2a480c3e,0x4d020244,0x49493d3d,0x08483d3d,0x0e48033e,0x4a083e3e,0x45053e4a,0x02063e47,0x0235283c,0x0f2b1b0f,0x18282a10,0x3d2a490c,0x3e2a4841,0x3f480235,0x280d4127,0x432a4d05,0x4449493d,0x3d04483d,0x2a4a043e,0x3e45093e,0x4a030606,0x353c2839,0x413d2d48,0x393e4507,0x3537413d,0x1148373e,0x45073528,0x150f2719,0x15290046,0x430d4449,0x493d3747,0x3945063e,0x4a02453d,0x374b063e,0x35283c36,0x34381c1d,0x3c3c3c00,};
w L=4125;
w b=468;
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,521725392,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,10627072,504595488,4657152,491520,71569472,72955190,136349824,9570592,545392672,};