/* [edit routing-options martians] */
0.0.0.0/8 longer;  
1.0.0.0/8 longer;
2.0.0.0/8 longer;
5.0.0.0/8 longer;
10.0.0.0/8 longer;
14.0.0.0/8 longer;
23.0.0.0/8 longer;
27.0.0.0/8 longer;
31.0.0.0/8 longer;
36.0.0.0/8 longer;
37.0.0.0/8 longer;
39.0.0.0/8 longer;
42.0.0.0/8 longer;
46.0.0.0/8 longer;
49.0.0.0/8 longer;
50.0.0.0/8 longer;
100.0.0.0/8 longer;
101.0.0.0/8 longer;
102.0.0.0/8 longer;
103.0.0.0/8 longer;
104.0.0.0/8 longer;
105.0.0.0/8 longer;
106.0.0.0/8 longer;
107.0.0.0/8 longer;
108.0.0.0/8 longer;
109.0.0.0/8 longer;
127.0.0.0/8 longer;
128.0.0.0/16 longer;
169.254.0.0/16 longer;
172.16.0.0/12 longer;
175.0.0.0/8 longer;
176.0.0.0/8 longer;
177.0.0.0/8 longer;
178.0.0.0/8 longer;
179.0.0.0/8 longer;
180.0.0.0/8 longer;
181.0.0.0/8 longer;
182.0.0.0/8 longer;
183.0.0.0/8 longer;
184.0.0.0/8 longer;
185.0.0.0/8 longer;
192.0.2.0/24 longer;
192.168.0.0/16 longer;
198.18.0.0/15 longer;
223.0.0.0/8 longer;
240.0.0.0/4 longer;