100644 blob e594bd4e4de63d8ba0e8b23f37f3039c631c9d22	ComputerVerificationStrategyTest.java
100644 blob b9c5330debc07d0c905dc05cfbc4149c75ebf918	EdgeLabelVerificationStrategyTest.java
100644 blob 06309ea5d02e707480bc1944821f592bb83a015b	LambdaRestrictionStrategyTest.java
100644 blob e36e22b16d80a50364a15f9e1427543aba951c6a	ReadOnlyStrategyTest.java
100644 blob f25f66d1302b5a78a3a1f05b0c9b0212c98715ae	ReservedKeysVerificationStrategyTest.java
100644 blob a3e7c07dc9ffb67a128628b0250ff39f1d6011d2	StandardVerificationStrategyTest.java