[SKY DETSH - 098C] multics config by ccc4sat

############################################################################

        [SKY DETSH - 098C]    

############################################################################

ONID: 0085 

CAID: 098C 

PROVIDERS: 000000 

SID LIST: 00C9 00CA 00E6 00E7 00E8 00E9 00EA 00EB 0196 01A0 01A1 01A2 01A3 01A3 01A4 012D 012E 012F 0130 0132 0133 5273 5274 527D 527E 157C 157F 1581 1586 1589 EF10 EF11 EF14 EF15 0026 2774 277E 2781 2EAF 2EC3 30D4 30D6 30E8 006D 008C 008F 0091 013E 0140 0191 1392 1393 33AC 132F 1330 1331 1334 0066 0075 0077 007C 0089 0152 0154 126E 126F EF74 EF75 EF76 EF77 EF78 EF8A EF8B EF8C 0008 0009 000B 0013 0015 0018 001A 001C 002B 00FB 00FD 00FE 0105 0106 0107 010F 0110 0111 0119 011A 011B 0123 0124 0125 012D 012E 012F 000C 0010 0016 0019 001E 0024 0029 002A 0032 0034 00DE 0137 0138 0139 0141 0142 0143 014B 014C 014D 014E 0159 0163 016D 0206 0090 0148 014A 0228 0229 0065 0078 0079 0080 0088 00A8 0102 0104 0192 0193 0194 0076 0081 0082 0083 010B 010C 010E 0195 0198 006E 006F 0070 0072 007F 0115 0116 0118 000A 000D 000E 0014 0017 001B 001D 0022 00DD 00DF 0196 0197 0201 0204 0086 0087 008A 008B 0093 0133 0136 0320 0321 0069 006B 007E 011F 0120 0122 0071 0074 007A 007B 0084 0129 012A 012C 1018 1018 1519 151A 3337 332D 32CB 

SID DENYLIST: 0 

ACCEPT NULL PROVIDER: 1 

ACCEPT NULL ONID: 0 

ACCEPT NULL CAID: 0 

ACCEPT NULL SID: 0 

ENABLE CACHE: YES 

ENABLE CACHEEX: YES 

ENABLE NEWCAMD: YES 

CACHE SENDREQ: YES 

CACHE TIMEOUT: 60 

DCW MAXFAILED: 0 

SERVER FIRST: 0 

SERVER MAX: 10 

DCW CHECK: 0 

DCW TIME: 1 

RETRY NEWCAMD: 3 

RETRY CCCAM: 0 

DCW MINTIME: 500 

DCW TIMEOUT: 800 

SERVER TIMEOUT: 550 

SERVER INTERVAL: 50 

SERVER VALIDECMTIME: 1300