chore: simplify birthday
proof; avoiding max recursion depth is eas…
#6634
Job | Run time |
---|---|
8s | |
1h 11m 30s | |
7s | |
8s | |
27s | |
10s | |
1h 12m 30s |
birthday
proof; avoiding max recursion depth is eas…
#6634
Job | Run time |
---|---|
8s | |
1h 11m 30s | |
7s | |
8s | |
27s | |
10s | |
1h 12m 30s |