2+2W.litmus
2+2WObs.litmus
2+2WObsFenced.litmus
2+2WObsLoop.litmus
2+2WLocal.litmus
2+2WLocalFenced.litmus
2+2WLocalLoop.litmus
