CPUTime001.stdout 36 Bytes
Newer Older
1 2 3 4
1028457
1664079
2692537
(True,True)