0000000000000000000000000000000000000000 74ec02cc7ef1b73ca143d02dea80aa7174d508cc capso <jakubnovak97@gmail.com> 1653134417 +0200	clone: from http://github.com/capsosk/klee/
74ec02cc7ef1b73ca143d02dea80aa7174d508cc f52ae01a9365781ad396cbacf00dfcb32fc18841 capso <jakubnovak97@gmail.com> 1653298602 +0200	commit (merge): Merge branch 'lazy-init' of http://github.com/capsosk/klee into lazy-init
f52ae01a9365781ad396cbacf00dfcb32fc18841 b3a5afe44af0c114bb5cb8265ff0995fa1fbf2e2 capso <jakubnovak97@gmail.com> 1653298623 +0200	reset: moving to origin/lazy-init
b3a5afe44af0c114bb5cb8265ff0995fa1fbf2e2 27c0db2594152db8c86cf79820a6e36af5a9c60e capso <jakubnovak97@gmail.com> 1653300160 +0200	pull: Merge made by the 'recursive' strategy.
27c0db2594152db8c86cf79820a6e36af5a9c60e 327c8bd8b131cf5ffed870ba9fadae4f8e752405 capso <jakubnovak97@gmail.com> 1653300178 +0200	reset: moving to origin/lazy-init
