c: seed: 2298
c: seed: effe9
c: seed: 329fb28
c: seed: f9f4815b
c: seed: 30a82151
c: seed: 8923528c
c: seed: 11bac25e
c: seed: b7c3a5a5
c: seed: 9bf9ffe7
c: seed: cd77f57d
c: seed: 1a5b3cae
c: seed: f11b60ab
c: seed: 13b9ef89