040000 tree b8ee78bf202ce956df1f4083d33be40c6d94581d	binders
100644 blob fbc7c63c1a6de6ab9a66ddada19eab7bc426c435	comparisons.cc
100644 blob d16542d1592af73fe0cef9bda49079551545246b	dr660.cc