CPUtime 18 Bytes
Newer Older
1
1204.2397048957646