a lot of failed bitmagic proofs
a lot of failed bitmagic proofs

jcaesar/Iptables_Semantics,jcaesar/Iptables_Semantics,diekmann/Iptables_Semantics,diekmann/Iptables_Semantics,diekmann/Iptables_Semantics,jcaesar/Iptables_Semantics