/Archive/z3/.git/objects/25
67a8196b645e5b04d2ea3e5860574e3226b340