1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
"1abc25hriwm4"

/ { str โ†’ int }
(
    (('0'โ‰ฅ)๐Ÿ—บ)
    (('9'โ‰ค)๐Ÿ—บ)&โˆง
    ๐Ÿ”“0 1ยฏ๐Ÿ”’
    (10ร—+)โฌ‡
) โ†’ l

(^0<ยฏ๐Ÿฌ) โ†’ โŸ


("\n"โ‰ข)๐Ÿ‘ฉโ€๐Ÿ‘ฉโ€๐Ÿ‘งโ€๐Ÿ‘ง l๐Ÿ—บ

(๐Ÿ“ถ|๐Ÿ‡ณ๐Ÿ‡ฟ(-โŸ)๐Ÿ—บ+โ†˜๏ธ) โ†’ a
(
	0 1 ๐Ÿ”’ < โ†’ s
	2๐ŸชŸ (s-(๐Ÿ”€-)๐Ÿ‹ (โ‰ฅ1)(โ‰ค3)&sโˆง!)๐Ÿ—บ+โ†˜๏ธ0โ‰ก
) โ†’ 'd2p1'

(๐Ÿ“1+โซ(^๐Ÿ‡ฝ 'd2p1')๐Ÿ—บ+โ†˜๏ธ0โ‰ข) โ†’ 'd2p2'