.
()ASL=/
()aASLsucc=/ ()bASLsucc=/ (注本題[x]取小於等於x的最大整數)
[] [] [] [] [] [] [] [] [] [] [] [] [] [] [] [] [] [] [] [] []