{"shas":[["12509a39fb7f507a994d34ee7422114a0d02febc","5d85613a56c124e3a3ff8ce6fc95d10cdcb5001e@brillout.com","minor changes","Romuald Brillout"],["5e3c0f3924dd20fdf70cff91fde3066c65ecc955","5d85613a56c124e3a3ff8ce6fc95d10cdcb5001e@brillout.com","adding files","Romuald Brillout"]],"ref":"refs/heads/modelchecking","size":2,"head":"5e3c0f3924dd20fdf70cff91fde3066c65ecc955","push_id":43298841}