{"shas":[["30e01605cd9f44f2e6be239ca2970bc145719775","7d2e4df5aa69d01547cf7a9c9e99a88f87d5deae@gmail.com","tridiagonal to band operator","Nicolas Barbey"]],"ref":"refs/heads/master","size":1,"head":"30e01605cd9f44f2e6be239ca2970bc145719775","push_id":32610090}