table ip6 t {
	set s {
		type ipv6_addr . ipv6_addr
		flags interval
		elements = { 2001:db8::/32 . 2001:db8:20::-2001:db8:20::20:1,
			     2001:db8::/33 . 2001:db8:21::-2001:db8:21::21:1,
			     2001:db8::/34 . 2001:db8:22::-2001:db8:22::22:1,
			     2001:db8::/35 . 2001:db8:23::-2001:db8:23::23:1,
			     2001:db8::/36 . 2001:db8:24::-2001:db8:24::24:1,
			     2001:db8::/37 . 2001:db8:25::-2001:db8:25::25:1,
			     2001:db8::/38 . 2001:db8:26::-2001:db8:26::26:1,
			     2001:db8::/39 . 2001:db8:27::-2001:db8:27::27:1,
			     2001:db8::/40 . 2001:db8:28::-2001:db8:28::28:1,
			     2001:db8::/41 . 2001:db8:29::-2001:db8:29::29:1,
			     2001:db8::/42 . 2001:db8:2a::-2001:db8:2a::2a:1,
			     2001:db8::/43 . 2001:db8:2b::-2001:db8:2b::2b:1,
			     2001:db8::/44 . 2001:db8:2c::-2001:db8:2c::2c:1,
			     2001:db8::/45 . 2001:db8:2d::-2001:db8:2d::2d:1,
			     2001:db8::/46 . 2001:db8:2e::-2001:db8:2e::2e:1,
			     2001:db8::/47 . 2001:db8:2f::-2001:db8:2f::2f:1,
			     2001:db8::/48 . 2001:db8:30::-2001:db8:30::30:1,
			     2001:db8::/49 . 2001:db8:31::-2001:db8:31::31:1,
			     2001:db8::/50 . 2001:db8:32::-2001:db8:32::32:1,
			     2001:db8::/51 . 2001:db8:33::-2001:db8:33::33:1,
			     2001:db8::/52 . 2001:db8:34::-2001:db8:34::34:1,
			     2001:db8::/53 . 2001:db8:35::-2001:db8:35::35:1,
			     2001:db8::/54 . 2001:db8:36::-2001:db8:36::36:1,
			     2001:db8::/55 . 2001:db8:37::-2001:db8:37::37:1,
			     2001:db8::/56 . 2001:db8:38::-2001:db8:38::38:1,
			     2001:db8::/57 . 2001:db8:39::-2001:db8:39::39:1,
			     2001:db8::/58 . 2001:db8:3a::-2001:db8:3a::3a:1,
			     2001:db8::/59 . 2001:db8:3b::-2001:db8:3b::3b:1,
			     2001:db8::/60 . 2001:db8:3c::-2001:db8:3c::3c:1,
			     2001:db8::/61 . 2001:db8:3d::-2001:db8:3d::3d:1,
			     2001:db8::/62 . 2001:db8:3e::-2001:db8:3e::3e:1,
			     2001:db8::/63 . 2001:db8:3f::-2001:db8:3f::3f:1,
			     2001:db8::/64 . 2001:db8:40::-2001:db8:40::40:1,
			     2001:db8::/65 . 2001:db8:41::-2001:db8:41::41:1,
			     2001:db8::/66 . 2001:db8:42::-2001:db8:42::42:1,
			     2001:db8::/67 . 2001:db8:43::-2001:db8:43::43:1,
			     2001:db8::/68 . 2001:db8:44::-2001:db8:44::44:1,
			     2001:db8::/69 . 2001:db8:45::-2001:db8:45::45:1,
			     2001:db8::/70 . 2001:db8:46::-2001:db8:46::46:1,
			     2001:db8::/71 . 2001:db8:47::-2001:db8:47::47:1,
			     2001:db8::/72 . 2001:db8:48::-2001:db8:48::48:1,
			     2001:db8::/73 . 2001:db8:49::-2001:db8:49::49:1,
			     2001:db8::/74 . 2001:db8:4a::-2001:db8:4a::4a:1,
			     2001:db8::/75 . 2001:db8:4b::-2001:db8:4b::4b:1,
			     2001:db8::/76 . 2001:db8:4c::-2001:db8:4c::4c:1,
			     2001:db8::/77 . 2001:db8:4d::-2001:db8:4d::4d:1,
			     2001:db8::/78 . 2001:db8:4e::-2001:db8:4e::4e:1,
			     2001:db8::/79 . 2001:db8:4f::-2001:db8:4f::4f:1,
			     2001:db8::/80 . 2001:db8:50::-2001:db8:50::50:1,
			     2001:db8::/81 . 2001:db8:51::-2001:db8:51::51:1,
			     2001:db8::/82 . 2001:db8:52::-2001:db8:52::52:1,
			     2001:db8::/83 . 2001:db8:53::-2001:db8:53::53:1,
			     2001:db8::/84 . 2001:db8:54::-2001:db8:54::54:1,
			     2001:db8::/85 . 2001:db8:55::-2001:db8:55::55:1,
			     2001:db8::/86 . 2001:db8:56::-2001:db8:56::56:1,
			     2001:db8::/87 . 2001:db8:57::-2001:db8:57::57:1,
			     2001:db8::/88 . 2001:db8:58::-2001:db8:58::58:1,
			     2001:db8::/89 . 2001:db8:59::-2001:db8:59::59:1,
			     2001:db8::/90 . 2001:db8:5a::-2001:db8:5a::5a:1,
			     2001:db8::/91 . 2001:db8:5b::-2001:db8:5b::5b:1,
			     2001:db8::/92 . 2001:db8:5c::-2001:db8:5c::5c:1,
			     2001:db8::/93 . 2001:db8:5d::-2001:db8:5d::5d:1,
			     2001:db8::/94 . 2001:db8:5e::-2001:db8:5e::5e:1,
			     2001:db8::/95 . 2001:db8:5f::-2001:db8:5f::5f:1,
			     2001:db8::/96 . 2001:db8:60::-2001:db8:60::60:1,
			     2001:db8::/97 . 2001:db8:61::-2001:db8:61::61:1,
			     2001:db8::/98 . 2001:db8:62::-2001:db8:62::62:1,
			     2001:db8::/99 . 2001:db8:63::-2001:db8:63::63:1,
			     2001:db8::/100 . 2001:db8:64::-2001:db8:64::64:1,
			     2001:db8::/101 . 2001:db8:65::-2001:db8:65::65:1,
			     2001:db8::/102 . 2001:db8:66::-2001:db8:66::66:1,
			     2001:db8::/103 . 2001:db8:67::-2001:db8:67::67:1,
			     2001:db8::/104 . 2001:db8:68::-2001:db8:68::68:1,
			     2001:db8::/105 . 2001:db8:69::-2001:db8:69::69:1,
			     2001:db8::/106 . 2001:db8:6a::-2001:db8:6a::6a:1,
			     2001:db8::/107 . 2001:db8:6b::-2001:db8:6b::6b:1,
			     2001:db8::/108 . 2001:db8:6c::-2001:db8:6c::6c:1,
			     2001:db8::/109 . 2001:db8:6d::-2001:db8:6d::6d:1,
			     2001:db8::/110 . 2001:db8:6e::-2001:db8:6e::6e:1,
			     2001:db8::/111 . 2001:db8:6f::-2001:db8:6f::6f:1,
			     2001:db8::/112 . 2001:db8:70::-2001:db8:70::70:1,
			     2001:db8::/113 . 2001:db8:71::-2001:db8:71::71:1,
			     2001:db8::/114 . 2001:db8:72::-2001:db8:72::72:1,
			     2001:db8::/115 . 2001:db8:73::-2001:db8:73::73:1,
			     2001:db8::/116 . 2001:db8:74::-2001:db8:74::74:1,
			     2001:db8::/117 . 2001:db8:75::-2001:db8:75::75:1,
			     2001:db8::/118 . 2001:db8:76::-2001:db8:76::76:1,
			     2001:db8::/119 . 2001:db8:77::-2001:db8:77::77:1,
			     2001:db8::/120 . 2001:db8:78::-2001:db8:78::78:1,
			     2001:db8::/121 . 2001:db8:79::-2001:db8:79::79:1,
			     2001:db8::/122 . 2001:db8:7a::-2001:db8:7a::7a:1,
			     2001:db8::/123 . 2001:db8:7b::-2001:db8:7b::7b:1,
			     2001:db8::/124 . 2001:db8:7c::-2001:db8:7c::7c:1,
			     2001:db8::/125 . 2001:db8:7d::-2001:db8:7d::7d:1,
			     2001:db8::/126 . 2001:db8:7e::-2001:db8:7e::7e:1,
			     2001:db8::/127 . 2001:db8:7f::-2001:db8:7f::7f:1 }
	}
}
table ip t {
	set s {
		type ipv4_addr . ipv4_addr
		flags interval
		elements = { 192.0.2.0/24 . 192.0.2.72-192.0.2.74,
			     192.0.2.0/25 . 192.0.2.75-192.0.2.77,
			     192.0.2.0/26 . 192.0.2.78-192.0.2.80,
			     192.0.2.0/27 . 192.0.2.81-192.0.2.83,
			     192.0.2.0/28 . 192.0.2.84-192.0.2.86,
			     192.0.2.0/29 . 192.0.2.87-192.0.2.89,
			     192.0.2.0/30 . 192.0.2.90-192.0.2.92,
			     192.0.2.0/31 . 192.0.2.93-192.0.2.95 }
	}
}