test006.idr:25:23-28:
This style of tactic proof is deprecated. See %runElab for the replacement.
test006.idr:32:23-28:
This style of tactic proof is deprecated. See %runElab for the replacement.
[False, True, False, True, False, True]