{"shas":[["c715ff299437855f575c4af324e5bf098dacf151","0f6912922ec73b8ab030d78cb88dbcbed082bcd3@gmail.com","Starting to print formulas.\n\nStill not done with the first scheme of xboole_0.","Jesse Alama"]],"ref":"refs/heads/wsm","size":1,"head":"c715ff299437855f575c4af324e5bf098dacf151","push_id":34134760}