Christopher AMIAUD govlog

## solve.py
#!/usr/bin/env python
# coding: utf-8

import angr
import claripy
import time

def main():
    p = angr.Project('./chall')
	#!/usr/bin/env python
	# coding: utf-8

	import angr
	import claripy
	import time

	def main():
	p = angr.Project('./chall')