hdu2937

题目大意：

给出n求sn，中括号代表向下取整。

为了方便表述，我们令a = (3k+6)!,b = (3k+7),令c = (a+1)/b也就是式子中的前半部分，d = a/b也就是式子中的后半部分。

观察c，d我们可以知道只有当c为整数时[c-[d]]为1，其他时候都是0，即只有当(a+1)%b==0时[c-[d]] == 1。

威尔逊定理告诉我们：当且仅当p为素数时：( p -1 )! ≡ -1 ( mod p )。

首先我们要介绍一个定理。

拉格朗日定理：群的子群的规模能被群的规模整除，我们在这里只拿乘法群做出证明，可以知道，一个乘法群能够分解成一些相交点只有1的乘法子群。

假设一个规模为n（即模n+1）的乘法群其可以分成m个相交点只有一的乘法子群，我们提出任意两个乘法子群，a1,a2..ax，与b1,b2..by将两子群中元素两两配对，

　  b1      　　b2     ...       by

a1　　 a1*b1　　 a1*b2          a1*by

a2

.

.

am      am*b1　　am*b2　　   am*by

我们可以知道