311 
2019/08/25 22:59:19

l1 <> l2 if l2 is an odd permutation of l1

satos 
Failure 


310 
2019/08/25 22:53:38

Cumulative sum of list

yamarten 
Success 


309 
2019/08/25 22:53:17

Cumulative sum of list

yamarten 
Failure 


308 
2019/08/25 22:37:37

l1 <> l2 if l2 is an odd permutation of l1

kozima 
Success 


307 
2019/08/25 22:17:35

Cumulative sum of list

okaduki 
Success 


306 
2019/08/25 21:59:34

Cumulative sum of list

prime 
Success 


305 
2019/08/25 21:56:16

Cumulative sum of list

pekempey 
Success 


304 
2019/08/25 21:43:53

Cumulative sum of list

kimiyuki 
Success 


302 
2019/08/25 21:42:18

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

minaminao 
Failure 


300 
2019/08/25 21:32:24

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

satanic0258 
Success 


299 
2019/08/25 21:31:49

Cumulative sum of list

sorata 
Failure 


298 
2019/08/25 21:29:46

Cumulative sum of list

suibaka 
Success 


297 
2019/08/25 21:29:02

Cumulative sum of list

drafear 
Success 


296 
2019/08/25 21:28:07

l1 <> l2 if l2 is an odd permutation of l1

drafear 
Failure 


295 
2019/08/25 21:28:02

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

a_happin 
Success 


294 
2019/08/25 21:27:14

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

etonagisa 
Success 


293 
2019/08/25 21:26:53

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

pekempey 
Success 


292 
2019/08/25 21:25:30

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

spica314 
Success 


291 
2019/08/25 21:24:47

Cumulative sum of list

satos 
Success 


290 
2019/08/25 21:23:01

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

spica314 
Failure 


289 
2019/08/25 21:22:31

Cumulative sum of list

yodvhskd 
Success 


288 
2019/08/25 21:19:26

Cumulative sum of list

yodvhskd 
Failure 


287 
2019/08/25 21:19:25

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

taisei 
Success 


286 
2019/08/25 21:17:58

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

yamarten 
Success 


285 
2019/08/25 21:17:06

Cumulative sum of list

momohatt 
Success 


284 
2019/08/25 21:16:50

Cumulative sum of list

taisei 
Success 


283 
2019/08/25 21:14:54

Cumulative sum of list

kozima 
Success 


282 
2019/08/25 21:13:07

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

satos 
Success 


281 
2019/08/25 21:12:16

Cumulative sum of list

splatoon_suki 
Success 


280 
2019/08/25 21:11:55

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

utgwkk 
Success 


279 
2019/08/25 21:10:57

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

suibaka 
Success 


278 
2019/08/25 21:10:39

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

sorata 
Success 


277 
2019/08/25 21:10:21

Cumulative sum of list

kaz 
Success 


276 
2019/08/25 21:08:50

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

kanra824 
Success 


275 
2019/08/25 21:07:19

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

prime 
Success 


274 
2019/08/25 21:03:51

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

suibaka 
Failure 


273 
2019/08/25 21:03:38

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

suibaka 
Failure 


272 
2019/08/25 21:03:18

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

okaduki 
Success 


271 
2019/08/25 21:03:08

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

kozima 
Success 


270 
2019/08/25 21:03:06

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

momohatt 
Success 


269 
2019/08/25 21:02:03

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

drafear 
Success 


268 
2019/08/25 21:01:56

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

splatoon_suki 
Success 


267 
2019/08/25 21:01:54

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

drafear 
Success 


266 
2019/08/25 21:01:32

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

kaz 
Success 


265 
2019/08/25 21:01:23

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

yodvhskd 
Success 


264 
2019/08/25 21:01:17

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

kimiyuki 
Success 

