annotate paste/paste.11891 @ 8486:3263626338f2
<shachaf> le/rn modal logic/"modal logic" means "the most common logic" (that is, classical logic).
author |
HackBot |
date |
Thu, 16 Jun 2016 04:56:50 +0000 |
parents |
d26047b523ab |
children |
|
rev |
line source |
2544
|
1 protocol size sockets memory press maxhdr slab module cl co di ac io in de sh ss gs se re sp bi br ha uh gp em
|
|
2 RAWv6 992 0 -1 NI 0 yes kernel y y y n y y y n y y y y n y y y y n n
|
|
3 UDPLITEv6 976 0 -1 NI 0 yes kernel y y y n y y y n y y y y n n y y y y n
|
|
4 UDPv6 976 0 0 NI 0 yes kernel y y y n y n y n y y y y n n y y y y n
|
|
5 TCPv6 1800 0 0 no 208 yes kernel y y y y y y y y y y y y y n y y y y y
|
|
6 UNIX 728 0 -1 NI 0 yes kernel n n n n n n n n n n n n n n n n n n n
|
|
7 UDP-Lite 792 0 -1 NI 0 yes kernel y y y n y y y n y y y y y n y y y y n
|
|
8 PING 760 0 -1 NI 0 yes kernel y y y n n y n n y y y y n y y y y y n
|
|
9 RAW 768 0 -1 NI 0 yes kernel y y y n y y y n y y y y n y y y y n n
|
|
10 UDP 792 0 0 NI 0 yes kernel y y y n y n y n y y y y y n y y y y n
|
|
11 TCP 1616 1 0 no 208 yes kernel y y y y y y y y y y y y y n y y y y y
|
|
12 NETLINK 712 0 -1 NI 0 no kernel n n n n n n n n n n n n n n n n n n n
|