100644 blob c4ad4240130e6d9f565e189f3cf399a3114284d3	83833.cc
040000 tree ae1b7d8291d96e5ec00c015cfb59c16f8d75d57c	cons
040000 tree 42a7aae8f882728e2f287a42219305316ad10012	operators
040000 tree a43c3a9732a62368cc46cb19eb11b931b3cefccc	requirements