593 
2019/09/15 17:45:39

gcd(n, n+1) = 1

yamarten 
Success 


592 
2019/09/15 17:44:42

gcd(n, n+1) = 1

yamarten 
Failure 


591 
2019/09/15 17:44:15

gcd(n, n+1) = 1

yishibashi 
Success 


590 
2019/09/15 17:44:01

count l n = count (rev l) n

yishibashi 
Failure 


589 
2019/09/15 17:36:32

gcd(n, n+1) = 1

cympfh 
Success 


588 
2019/09/15 17:35:47

unique (unique l) = l

sorata 
Success 


587 
2019/09/15 17:35:45

unique count

kozima 
Success 


586 
2019/09/15 17:35:43

gcd(n, n+1) = 1

cympfh 
Failure 


585 
2019/09/15 17:33:43

gcd(n, n+1) = 1

cympfh 
Failure 


584 
2019/09/15 17:28:50

unique (unique l) = l

prime 
Success 


583 
2019/09/15 17:26:48

unique count

kkob 
Success 


582 
2019/09/15 17:26:40

gcd(n, n+1) = 1

okaduki 
Success 


581 
2019/09/15 17:24:55

gcd(n, n+1) = 1

mttm 
Success 


580 
2019/09/15 17:23:16

unique (unique l) = l

kkob 
Success 


579 
2019/09/15 17:22:52

unique (unique l) = l

kozima 
Success 


578 
2019/09/15 17:21:49

count l n = count (rev l) n

pekempey 
Success 


577 
2019/09/15 17:20:27

count l n = count (rev l) n

sorata 
Success 


576 
2019/09/15 17:19:57

count l n = count (rev l) n

pekempey 
Failure 


575 
2019/09/15 17:18:50

count l n = count (rev l) n

sorata 
Failure 


574 
2019/09/15 17:15:29

count l n = count (rev l) n

prime 
Success 


573 
2019/09/15 17:14:44

gcd(n, n+1) = 1

spica314 
Success 


572 
2019/09/15 17:13:56

count l n = count (rev l) n

kkob 
Success 


571 
2019/09/15 17:12:22

count l n = count (rev l) n

kozima 
Success 


570 
2019/09/15 17:06:42

gcd(n, n+1) = 1

sorata 
Success 


569 
2019/09/15 17:06:29

gcd(n, n+1) = 1

kkob 
Success 


568 
2019/09/15 17:06:16

gcd(n, n+1) = 1

pekempey 
Success 


567 
2019/09/15 17:05:53

gcd(n, n+1) = 1

pekempey 
Failure 


566 
2019/09/15 17:05:51

gcd(n, n+1) = 1

prime 
Success 


565 
2019/09/15 17:05:37

gcd(n, n+1) = 1

sorata 
Failure 


564 
2019/09/15 17:04:35

gcd(n, n+1) = 1

pekempey 
Failure 


563 
2019/09/15 17:03:52

gcd(n, n+1) = 1

kozima 
Success 


562 
2019/09/15 16:53:52

Multiplication in F_2 is idempotent

spica314 
Success 


561 
2019/09/15 16:35:29

1 + 1 = 2

asi1024 
Success 


560 
2019/09/14 21:51:35

Equivalent two quicksorts

kozima 
Success 


559 
2019/09/14 20:37:23

Cumulative sum of list

yamarten 
Success 


558 
2019/09/14 20:34:38

Cumulative sum of list

yamarten 
Rejected 


557 
2019/09/14 16:33:21

Grand Garden

drafear 
Success 


556 
2019/09/14 16:33:00

unique count

drafear 
Success 


555 
2019/09/14 16:32:40

unique (unique l) = l

drafear 
Success 


554 
2019/09/14 16:32:20

count l n = count (rev l) n

drafear 
Success 


553 
2019/09/14 16:31:57

gcd(n, n+1) = 1

drafear 
Success 


552 
2019/09/14 02:56:26

Equivalent two quicksorts

kkob 
Success 


551 
2019/09/14 02:54:55

Equivalent two quicksorts

kkob 
Failure 


550 
2019/09/13 22:59:28

forall l: list nat, l @ [0] <> []

minaminao 
Success 


549 
2019/09/13 22:21:16

n * S m = n + n * m

minaminao 
Success 


548 
2019/09/13 22:02:40

forall f: bool > bool, f^3(x) = f(x)

minaminao 
Success 


547 
2019/09/13 21:04:14

Summand of one

minaminao 
Success 


546 
2019/09/13 20:33:59

1 + 1 = 2

minaminao 
Success 


545 
2019/09/13 20:33:01

plus_comm

minaminao 
Success 


544 
2019/09/13 18:00:23

forall l: list nat, l @ [0] <> []

cympfh 
Success 

