equal
deleted
inserted
replaced
1 yJC0k+R1r4pWViX9DxewEQ 2224 0 |
1 iks4GfP7O/NgNFyGZ4ynjQ 2224 0 |
2 #2 := false |
2 #2 := false |
3 #4 := 0::int |
3 #4 := 0::int |
4 decl uf_3 :: (-> int int) |
4 decl uf_3 :: (-> int int) |
5 #8 := (uf_3 0::int) |
5 #8 := (uf_3 0::int) |
6 #647 := -1::int |
6 #647 := -1::int |