100644 blob ccc240275d1ced6b3a6d8cd584a4fff528c5200d	.gitignore
040000 tree 65e1098a2382431fca316115e0300920754932ac	bin
040000 tree 24d678a6abb7c1bc3efcbe3f14a3e99e59f02835	configs
040000 tree 196f1f03395d17a5dfd4602eefeb2f812013f2a8	doc
040000 tree ef2d3217906b2f5ef70c795ccd2fdaa1929354bb	formal