100644 blob 9a52274e3f56e6acf37edd88aa08a54f6aaf23f1	1.cc
100644 blob 1e1c302856e6ce1eb427d4ed7cf5d9278f68c51f	14340.cc
040000 tree 25249aa5b888854765aa06392250972c4e059d3d	cons
040000 tree 7412824db0a60ff3e3475f923a5d400f60dc62c8	invalidation
040000 tree beb8f0050bd5364854d941496d38d8ef8c487221	modifiers
040000 tree 028201763b31fdbe978a4c6bd4c629fd116b162c	operators