no binat on lo0 inet from 192.168.1.1 to 10.1.2.3
binat on lo0 inet from 192.168.1.1 to any -> 10.0.0.1
binat on lo0 inet proto tcp from 192.168.1.2 to any -> 10.0.0.2
binat on lo0 inet proto udp from 192.168.1.3 to any -> 10.0.0.3
binat on lo0 inet proto icmp from 192.168.1.4 to any -> 10.0.0.4
binat on lo0 inet from 192.168.1.5 to 172.16.1.1 -> 10.0.0.5
binat on lo0 inet from 192.168.1.6 to 172.16.1.2 -> 10.0.0.6
binat on lo0 inet from 192.168.1.7 to 172.16.2.0/24 -> 10.0.0.7
binat on lo0 inet from 192.168.2.0/24 to any -> 10.0.5.0/24
binat on lo0 inet from 192.168.2.0/28 to any -> 10.0.4.0/28
binat on lo0 inet from 192.168.2.0/30 to 192.168.3.1 -> 10.0.3.0/30
binat on lo0 inet from 192.168.1.8 to ! 172.17.0.0/16 -> 10.0.0.8
binat on lo0 inet from 1.1.1.1 to no-route -> 2.2.2.2
binat on lo0 inet from (lo0:0) to 1.1.1.1 -> 2.2.2.2
binat on lo0 inet from (lo0:0) to 1.1.1.1 -> (lo1000000:0)
binat on lo0 inet from (lo0:0) to (lo1000000:0) -> (lo1000000:0)
binat on lo0 inet from 1.1.1.1 to <sometable> -> 2.2.2.2
binat on lo0 inet from 1.1.1.1 to ! <sometable> -> 2.2.2.2
binat on lo0 inet from 1.1.1.1 to (lo1000000:0) -> 2.2.2.2
binat on lo0 inet from 1.1.1.1 to ! (lo1000000:0) -> 2.2.2.2
binat on lo0 inet from (lo0:0) to <sometable> -> 2.2.2.2
binat on lo0 inet6 from ::1 to no-route -> ::2
binat on lo0 inet6 from (lo0:0) to ::1 -> ::2
binat on lo0 inet6 from (lo0:0) to ::1 -> (lo1000000:0)
binat on lo0 inet6 from (lo0:0) to (lo1000000:0) -> (lo1000000:0)
binat on lo0 inet6 from ::1 to <sometable> -> ::2
binat on lo0 inet6 from ::1 to ! <sometable> -> ::2
binat on lo0 inet6 from ::1 to (lo1000000:0) -> ::2
binat on lo0 inet6 from ::1 to ! (lo1000000:0) -> ::2
binat on lo0 inet6 from (lo0:0) to <sometable> -> ::2
binat on lo0 inet6 from ::1 to (lo0) -> ::1
binat on lo0 inet6 from ::1 to (lo0:0) -> ::1
binat on lo0 inet6 from ::1 to (lo0:peer) -> ::1
binat on lo0 inet6 from ::1 to (lo0:peer:0) -> ::1
binat on lo0 inet6 from ::1 to (lo0:broadcast) -> ::1
binat on lo0 inet6 from ::1 to (lo0:broadcast:0) -> ::1
binat on lo0 inet6 from ::1 to (lo0:network) -> ::1
binat on lo0 inet6 from ::1 to (lo0:network:0) -> ::1
binat on lo0 inet6 from ::1 to (lo0)/100 -> ::2
binat on lo0 inet6 from ::1 to (lo0:0)/100 -> ::2
binat on lo0 inet6 from ::1 to (lo0:peer)/100 -> ::2
binat on lo0 inet6 from ::1 to (lo0:peer:0)/100 -> ::2
binat on lo inet6 from (lo0:0) to ::1 -> ::2
binat on tun inet6 from (lo0:0) to ::1 -> ::2