{"shas":[["aed043160595076bdfe21c3c580139c960f4e52c","3d0f3b9ddcacec30c4008c5e030e6c13a478cb4f@lubarov.com","working on generic upper and lower bounds (not complete)","Daniel Lubarov"]],"ref":"refs/heads/master","size":1,"head":"aed043160595076bdfe21c3c580139c960f4e52c","push_id":41455304}