| Server IP : 180.180.241.3 / Your IP : 216.73.216.252 Web Server : Microsoft-IIS/7.5 System : Windows NT NETWORK-NHRC 6.1 build 7601 (Windows Server 2008 R2 Standard Edition Service Pack 1) i586 User : IUSR ( 0) PHP Version : 5.3.28 Disable Function : NONE MySQL : ON | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : C:/ProgramData/Sophos/AutoUpdate/Cache/sed64/Config/Rules/ |
Upload File : |
CLIPS V6.30 E dict-entry-str add-dict-entry build-all-paths build-directed-edges-from-src build-directed-edges-from-dest-with-attribute build-directed-edges-from-dest build-all-nodes-with-attribute build-all-nodes build-all-beacons canonicalise output-fact (message-duplicate) (direct-duplicate) (message-modify) (direct-modify) ppinstance (create-instance) delete-instance init-slots make-instance modify do-for-all-facts do-for-fact find-all-facts any-factp (query-fact-slot) (query-fact) fact-slot-value retract assert undefrule get-defrule-list ** string-to-field str-index sub-string str-compare str-length sym-cat str-cat (get-progn$-field) foreach progn$ member$ nth$ insert$ / - * + oddp > < >= <= neq eq or and not funcall create$ length switch break return progn while if $ " user-launched - . / 0 : \ a b f i n s notes.exe get-op-node-beacons is-edge-in-json-output can-invokes adjust-root-cause-score-by-time url-beacon-to-ipaddress-node-seed beacon-chain::writer-in-loaded-triangle output-tainted-ipaddress-nodes root-cause-score is-beacon url-beacon-to-url-node-seed loaded-ancestor-supplied-file-seed write-path INSTALL_TIME_TOLERANCE strip-suffix LOW-SALIENCE build-FileOperation-undirected-edges-seed op-stats forward-chain::injection-target RegistryWriter Run in-progress edge-type winword.exe edge-path tainted OfficeSuite output-filereader-edges length forward-chain-child-seed build-all-edges-seed build-directed-edges-from-src-seed get-process-path-string str-len UrlPath ComplexRootCauseDefs chunk-size lcpath beacon-chain::file-in-read-triangle init output-facts-if ROOT-CAUSE-PRIORITY-FAMOUS-FACE TIMESTAMP_TOLERANCE app-id-category uncanonicalised-path JSONGen MULTIFIELD beacon-chain::writer-in-running-from-triangle 11 12 19 20 43 node-aux skypehost.exe ThreadInjector get-sha256-for-path-beacon copied_from get-filenames :: new mspub.exe EXTERNAL-ADDRESS ProcessPath build-ThreadInjector-undirected-edges-seed beacon-ipaddress file beacon-chain::file-in-cl-param-triangle rct add-earliest-taint-time res CL is-node-in-json-output +oo TRUE collect-root-cause-written-file msiexec-read-potentially-moved-installer-seed destid SYMBOL tmp-slash-safe process-beacon-to-process-node issuer beacon-chain-1 beacon-chain-2 beacon-chain-3 beacon-chain-4 beacon-chain-5 beacon-chain-6 beacon-chain-7 beacon-chain-8 beacon-chain-9 can-invoke msiexec-invoked-by-bundle-installer-seed LEXEME invokee-filename char build-all-paths correct-quotes famous-faces collect-root-cause-earliest-running-from-ancestor-supplied-file rc-nodeid zip ADDRESS build-undirected-edges HIGHEST-SALIENCE output-tainted-nodes-app-id get-op-node-root-causes beacon-chain::ipconnect hxmail.exe done as app-id-name get-detection-type c1 c2 forward-start-time blocked MAIN output-tainted-process-nodes-commandline i0 i1 id RCACollectRootCauses RCARevokeRootCauses no FileMoveFrom reset-facts-output-state pf build-ProcessParent-edges-undirected-seed explorer.exe update-root-cause-score-for-beacon-filepath STRING taint edge-aux filename beacon-chain-9-seed DnsQuerySrc dest-node invoker-filename complex-root-cause \windows\system32\wininit.exe file-path facts-output set-or-update-beacon-dist esc-path taint-prefix relation forward-chain::child \program files\hitmanpro.alert\ output-meta-edges \package cache\ running-from-ancestor-supplied-file bundle-written-file-read-by-msiexec undef-earlier-rules famous-face add-url-to-root-cause \temp\ FileWriter attribute forward-chain::runningfrom ROOT-CAUSE-PRIORITY-WRITE add-taint-facts uncanonicalised-path-beacon-to-path-node-seed can time values url-beacon-to-ipaddress-node text known-goodies beacon-chain::file-in-launched-triangle beacon-chain-5-seed EmailClient forward-chain-runningfrom-written-file-seed score-adjusted root-cause-nodeid RCAPath beacon-detection beacon-chain::runningfrom source-value chrome.exe output-tainted-process-nodes-base runtimebroker.exe beacon-chain page detection build-all-nodes taint-file-copies-from-root-cause process-ancestor1 process-ancestor2 LOWEST-SALIENCE -InvokedBy temp-str ProcessParent removable_drive sophos beacon-chain-2-running type path FilePath OPFilter INITIAL-OBJECT beacon-chain::injector removable beaconid collect-node-values-with-attribute known-famous-face-processes build-ProcessPath-edges-undirected-seed beacon-chain::filewrite last-nodeid src user-launched-from-explorer str PRIMITIVE can-invoke-by-pid HIGH-SALIENCE get-op-nodes-on-file-copy path-beacon-to-path-node cmd.exe (QDS) svchost.exe beacon-chain::msiexec-invoker add-root-cause-from-beacon-on-demand node-path update-root-cause-score-file-copies read-ancestor-supplied-file FileDeleter build-all-edges get-op-node-end-time famous-face-app-id-categories lync.exe excel.exe edges can-invoke-schedule-with-taskeng can-invoke-schedule-with-taskeng-seed1 can-invoke-schedule-with-taskeng-seed2 can-invoke-schedule-with-taskeng-seed3 node built tried_to_access ancestor-taint beacon-chain::file-in-msiexec-read-triangle output-tainted-url-nodes existing build-RegistryWriter-undirected-edges-seed build-URLAccessor-undirected-edges-seed op-rc-path none relid INTEGER RCAConfig score-modifier ImageUse beacon-linked can-path scanned loaded-ancestor-supplied-file seed-all-beacons other-writers \program files (x86)\hitmanpro.alert\ NUMBER taint-injection-target message-modify suffix-len build-DnsQuerySrc-undirected-edges-seed elapsed-time update-newest-beacon-time msiexec.exe file-copy::process path-beacon-to-path-node-seed op-complex-root-cause known-app-id-processes beacon find-last-in earliest-taint-time StructuredRootCause beacon-chain-7-seed hbt-process rc-path get-edge-start-time is-op-complex-root-cause-in-json-output ROOT-CAUSE-PRIORITY-DISJOINTED-WRITE-AND-LAUNCH outlook.exe drive-type process-beacon-to-process-node-edge-seed beacon-chain::command-parameter output-tainted-process-nodes-path known-goody sourceid relation-aux taint-edge DEFAULT-SALIENCE output-tainted-complex-root-cause string-to-multifield-delimited beacon-ipaddress-seed URLAccessor -ancestor build-ImageUse-undirected-edges-seed initial-fact USER running-with-ancestor-supplied-file-as-parameter direct-modify read-file op-node start ROOT-CAUSE-PRIORITY-PROCESS-FILE-COPY nodeid dns interaction microsoftedgecp.exe output-edges get-node-with-nodeid strlength Browser beacon-chain::writer-in-cl-param-triangle count user-launched-from-cmd user-launched-from-runtimebroker file-copy::read GraphDefs build-all-paths-seed direct-duplicate edge initial-facts-output-state writer FileReader known-goody-processes is-root-cause OBJECT uncanonicalised-url-beacon-to-url-node-seed network_share_path can-url blocked-root-cause-chain InvokedBy ROOT-CAUSE-PRIORITY-ANCESTOR-WRITE-AND-LAUNCH ancestor pid RCATimeAnalysis network is-beacon-chain-node dot-pos modified-score ipaddress provenance-value -oo existing-time written-file-launched command-line pos build-directed-edges-from-dest-seed get-op-node-start-time build-directed-edges domain-name BeaconDetect can-invoke-by-filename beacon-chain::beacon do-forward-analysis root-cause is-on-chain-with-taint desc dest dlength \program files (x86)\sophos\ prev beacon-nodeid root-cause-chain invokee invoker prefix process-path-writer-seed hmpa-process grpwise.exe dist initial-object taints beacon-chain-6-seed output-tainted-path-nodes add-root-cause-from-beacon-on-access get-file-extension beacon-chain::writer-in-msiexec-read-triangle msiexec-invoked-by-bundle-installer process-name-id latest-taint-time add-latest-taint-time FACT-ADDRESS url-beacon-to-url-node INSTANCE-NAME FALSE add-taint-with-time mfield filepath build-all-beacons earliest-root-cause-activity beacon-chain::file-in-loaded-triangle url-beacon-to-domain-name-node-seed URL skype.exe registrykey thunderbird.exe beacon-chain::urlaccess beaconids op-edge FileRenamer add-drive-type-to-path-nodes skypeapp.exe ForwardAnalysis delete beacons print file-copy::write forward-chain-child has-taint-prefix beacon-chain-2-seed substr target-value path-string deffunction get-edge-end-time opera.exe outputted find-str-suffix taint-injection-target-seed add-filecopy-root-cause build-potential-copies-from-root-cause RegistryPath Utility mtd-process IMClient famous-face-app-id-category get-op-nodes-on-root-cause-chain VOIP meta-edge beacon-chain::writer-in-launched-triangle forward-chain::filewritten beacon-dist msiexec-read-potentially-moved-installer rc-candidate-count FORWARD_ANALYSIS_TIME_TOLERANCE \program files\sophos\ wlmail.exe forward-chain-runningfrom-written-file create ROOT-CAUSE-FROM-BEACON target-type numeric-time GraphBuild taskeng.exe detection:: all score-modifier-scaled wmiprvse.exe provenance-type file-copy anc any image INSTANCE-ADDRESS source-type ips-process prefix-end output-tainted-domain-name-nodes root-cause-path-1 root-cause-path-2 root-cause-path-3 end path-search-state INSTANCE add-sha256-to-path-node read-path beacon-chain::dnsquery edge-types OPFilterDefs artifact src-node beacon-chain::file-in-running-from-triangle onenote.exe ini nodes ext process-beacon-to-process-node-path-seed collect-root-cause-written-file-launched msaccess.exe CommandParameter build-IpConnector-undirected-edges-seed firefox.exe msi sha256 beacon-chain-8-seed update-root-cause-score url-beacon-to-domain-name-node newest-beacon-time beacon-aux output-rc-candidate-count build-all-nodes-with-attribute collect-root-cause-famous-face accessed update-earliest-root-cause-activity yes process powerpnt.exe network_drive build-directed-edges-from-dest-with-attribute CommandLine url name get-op-nodes-on-forward-chain beacon-chain::writer-in-read-triangle reader start-pos RCA message-duplicate output-all-json forward-chain value uncanonicalised-url FLOAT written-file regkeypath user-launched-from-runtimebroker-cmd iexplore.exe add-taint beacon-chain-4-seed revoke-lower-score-root-cause \program files (x86)\common files\sophos\ IpConnector DomainName edgeid read-ancestor-supplied-file-seed written-file-read-by-msiexec ? A ?
# ( 2 < d
defrule defmodule 1 object patterns defclass $ Z definstances deftemplate & facts defglobal deffunctions generic functions deffacts CLIPS : ^W ^ < ^ ^ 3 ^ 3 ^ : ^S : ^! ^ ^ 7 ^F ^) 3 ^ : ^e 3 ^ ^S : ^ : ^^ ^: 3 ^x 3 ^ ^S ^ : ^? ^ ^ 3 ^ ^ 3 ^ ^: 3 ^ 3 ^ : ^( ! : ^ 3 ^ 3 ^U ^ ^ : ^ ^q 3 ^ : ^^ ^ ^ , ^S - ^ . ^ / ^ 0 ^ 1 ^N 2 ^F 3 ^" 4 ^5 5 ^
6 ^ 7 ^ 8 ^[ : ^a 3 ^ ^f 3 ^ ^~ 3 ^ : ^ @ : ^ ^: B 3 ^ C 3 ^ : ^ 3 ^ ^: G 3 ^i H 3 ^v ^- : ^] K : ^7 3 ^ 3 ^ 3 ^ : ^ : ^ Q : ^ : ^% 7 ^ T 7 ^ ^ ^6 W : ^
X ^! Y : G ^6 [ : ^
\ ^! ] : N ^6 _ : ^
` ^! a : Q ^ ^: d 3 ^ e ^8 f : ] g 7 ^ ^( 7 ^I : ^ 3 ^ ^> 3 ^j ^ ^: q 3 ^ r 3 ^ 3 ^ ^: u 3 ^U v ^4 w : H x : ^] ^ ^: | 3 ^ } 3 ^ ^3 : ^# : ^
^ ^9 ^8 : ) ^8 : ) S ^S ^
^# 3 ^| ^ ^X ^ ^: 3 ^ 3 ^ 7 ^ 7 ^ ^: 3 ^ ^4 ! : Q 1 ! : T Z : ^; ^ : ^^ : ^L : ^s : ^S ^ ^d ^9 < ^ < ^ ` : ^L : ^a : ^J 3 ^ 3 ^y ^9 < ^
< ^ F < ^ < ^ 5 < ^ < ^ < ^ N < ^ < ^ 3 ^ ^: 3 ^t 3 ^~ ^ : ^k ^ : ^h 3 ^ ^8 : ^G ^> ^Z 3 ^m ^ ^Q ^ : ^/ ^
: ^V : ^^ ^: 3 ^ 3 ^ : ^l ^4 : ^G : ^
: ^! : ^a 7 ^8 ^: 3 ^ 3 ^z 3 ^ 3 ^n 3 ^ 3 ^ 3 ^ : ^G : ^ 3 ^x : ^c ^: 3 ^ 3 ^ ^ 8 ^ ^ ^ ^n ^^ ^ : ^7 : ^ ^ ^S ^ ^ ^ ^ ^N ^F ^" ^ ^5 ^
^ ^ ^ ^:
3 ^ 3 ^y 7 ^0 ^ 3 ^ : ^Q ^: 3 ^ 3 ^ : ^_ ^8 ^ ^" & : G :
^ 3 ^ : ^ : ^a : ^N ^+ ! : ^H " ^= # $ % & # ' 3 ^[ ^: * 3 ^ + ^ , : H : ^R . : ^; : ^ ^: 1 3 ^ 2 ^ 3 : D 3 ^ 7 ^" 3 ^ ^ 7 ^ ^ : ^\ 7 ^ ^: = 3 ^ > ^8 ? : G @ ' A , B C D : L E ^: G 3 ^U H 3 ^w 7 ^ ^" ^8 L ^ M ^$ N
O R P 7 Q ^8 T ^ U ^$ V
W Z X 7 Y ^8 \ ^ ] ^$ ^
_ b ` 7 a ^ 3 ^} 7 ^ f 7 ^ ^ h ^H i ^
j ^ ^ ^ m : ^D ^: o 3 ^ p 3 ^ ^F ^9 s < ^ t u < ^ v ^[ : ^D y : ^J ^; ^ 3 ^q 3 ^ ^ ^ ^: ^7 : : h ^7 : Q : e < ^ ^ ^ ^ ^ ^ ^X ^8 : ^G ^ ^9 ^8 : G ^8 : G H ^ < ^ ^ ^: 3 ^ ^ : c : S ^8 t : H ^: 3 ^ 3 ^ : ^L : ^ ^ : ^Y ^ 3 ^ ^: 3 ^u ^ : J ^i ^: 3 ^ ^8 $
: Z : H 3 ^ ^: 3 ^t ^4 : G : H ^: 3 ^} ^7 : : ^ 3 ^ ^ 3 ^t ^ 3 ^ ^: 3 ^ 3 ^ : ^L 3 ^i 3 ^ : ^G : ^ : ^# : ^R 3 ^ ^ ^ ^ ^0 ^
^ ^ : ^\ : ^! ^U : ^# ^: 3 ^ 3 ^v 3 ^ ^: 3 ^o 3 ^q 3 ^ : ^V ^: 3 ^ 3 ^ : ^! : ^\ : ^+ 3 ^ : ^ : ^ : ^ : ^ : ^+ ^ : ^D ^0 ^ ^ ^
^: 3 ^ ^7 : : c ^: 3 ^ ^7 : : a ^ ^
^d ^ ^n
^ ^i ^ 3 ^ 7 ^& ^: 3 ^U ^ : D ^$ ^ 3 ^ 7 ^5 ^4 ^! : L ^! : _ ^N ^7 ! : ^ " : ^( : ^J $ : ^^ ^0 & ^ ' ^ ( ^ ^: * 3 ^ + 3 ^ 7 ^, 3 ^` ^ ^ 3 ^ < ^ 2 ^ ^ ^: 5 3 ^} 6 3 ^ ^: 8 3 ^ 9 3 ^ 3 ^ 7 ^ 7 ^ 8 ^ > 5 ^. ^ ^ ^ ^# ^ : ^J E : ^ ^7 G : ^ H : ^e : ^N ^ K ^ L ^d M ^ N ^ O ^A ^ Q ^ < ^ S ^ ^ ^: V 3 ^} W ^8 X : Y : 3 ^{ ^ \ ^ ] ^d ^ ^ _ ^ ` ^ a ^# b ^ 3 ^u : ^! e : ^L ^: g 3 ^ h 3 ^ ^ ^ ^: : ^T ^5 7 ^ ^B p b q t r : G s b u x
v a w y ~ ? z : { | a } 7 " a B ? : - ? ^B b : L b
a 8 a B ? : G ?
^B b : L b
a 7 " a B ? : G - ? ^B ? : ^B ? : : ^B ? : : ( 1 : D : G ^B : : D ^B : # : D ^B 8 @ : B ? B : : # B : : # ? ^B : 8 @ : 8 B
: F : F ? ^B 8 @ : B * ? ! B " % # : $
& B ' ( : )
? + ^B - . 8 / 4 0 3 1 2 @ : B 5 D ? 6 7 : 8 9 ; B < ? = : > " @ B A B : C " ? E ^B G H 8 I N J M K L @ : B O ^ ? P Q T R S d U B V Y W : X Z B [ \ : ] ? _ ^B a b 8 c h d g e f @ : B i x ? j k n l m o B p s q : r 5 t B u v : w 5 ? y ^B { | 8 } ~ @ : B ? n B : d B : B : ? ^B : 8 @ : 8 B : ? ^B : N ^B * ; = ? : ( ^B : ; = 9 ^B : : D ^B : : # : D ^B ^B : : # : D : V ^B b ? ! D a
a ^B ? ^B b : G b ' a ? : a ^B b : G b ' a Y 1 ? : a ^B ?
: G ^B
? : ? : : ^B ? : : D ^B ? n n ! : G ^B # $ ( ? % : & ' ) ? * : + , : ^B . / ? 0 1 2 : G ^B 4 5 9 ? 6 : 7 8 : ? ; : < = : ^B ? @ ? A d B d C : G ^B E F J ? G : H I K ? L : M N : ^B P Q ? R S T : J ^B V W ? X : Y > Z N ^B \ ] a ? ^ : _ ` b ? c : d e : ^B g h ? i d j d k : G ^B m n r ? o : p q s ? t : u v : ^B x y 9 z & { } | : G ' ~ : # ^B 9 q ' : 2 : ^B ? : > N ^B D 9 8 $ : Q 4 : > 1 ! : Q Z B 9 : N : 9 ^B 9 : N : 9 ^B D 8 : D B : 1 : G 9 9 $ : D : J ^B ? : > ^B D 8 : D B : 1 : G 9 9 * : N ^B ? : > ^B D 8 : D B : 1 : G 9 9 * z : N ^B ? : F ^B D 8 : D B : 1 : G 9 9 -
: Q ^B
? : > 5 ^B D 8 : D B : 1 : G 9 9 * ! " : N ^B $ % ? & : ' > ( ^B * D + 8 , / - . : D B 0 1 5 : ! 2 1 3 : G 4 6 7 9 $ 8 9 3 9 : : R ^B < = ? > : ? @ S ^B B D C 8 D G E F : D B H
I K 9 - J + L P : M 1 N : G O Q 9 * ^B S T ? U : V > W Y S X ^B [ b \ ^ ] : _ D _ : ` h 7 a d b a c 7 e f a g B i b j k l : m 8 n s o r p q : 4 7 t y u x v w v : O 8 z { ~ | } B b 1 a D 3 a @ ? D 4 a B
9 : 5 : 4 1 : G 9 3 : R : O 1 : G 9 $ 9 * ^B b : _ D : 7 a 7 a B b : 8 : 4 7 v : ! 8 B b 1 a D 3 a @ ? D 4 a B
9 : 5 : 4 1 : G 9 3 : R : ! 1 : G 9 $ 9 * ^B ? : >
^B
9 6 : % 1 : G 9 -
: Q : K
1 : G 9 9 $ ^B ? : J > S ^B ? : R > ! " ^B # $ ? % : k & > ' )
( N ^B + , ? - : b . : a / # ^B 1 2 ? 3 : \ 4 > 5 ^B 7
8 : 9 E 9 ; > 9 3 < > = : R ? C : 7 @ 1 A : G B D H : g E 1 F : G G I J 9 K 9 * ^B M
N P 9 E O Q T 9 3 R > S : R U Y : 7 V 1 W : G X Z ^ : B [ 1 \ : G ] _ ` 9 a 9 * ^B c
d f 9 E e g j 9 3 h > i : R k o : 7 l 1 m : G n p t : ! q 1 r : G s u v 9 w 9 * ^B y z ? { : J ^B } ~ ? : J ^B ? : J ^B ? : J ^B
9 3 9 6 : N : ! 1 : G : % 1 : G 9 9 ^B
9 : R 9 3 H : R : + 1 : G : M 1 : G 9 9 $ 9 * ^B b : ] D 8 $ a B
9 : 9 C : T : / 1 : G : 4 1 : G 9 * 9 - ^B ? : J > S ^B b : _ b : f b
: d D : 8 $ a 7 " a < 7 " a ? : c : 4 : ? : B ^B
9 6 : % 1
: G
9 : : + 1 : G 9 @ : R : / 1 : G ! " 9 # $ 9 % 9 $ ^B ' ( : ) 5 8 * / + . , - @ : V 8 0 1 4 2 3 B 6 > 7 ? 8 9 : ; < = ? ? ^B A D B : C T 4 D J ! E F : Z 1 G ! H I : R Z 5 K O ! L M : Z ! N : R 5 P ! Q R : T ! S : Z B U V Y 9 $ W X : R Z ^ : ! [ 1 \ : G ] b _ d ' ` : k a b : ! c e ? f a g h [ i : k j : ! ^B l D m 8 n q o p : Y D r s u : t > v z : w 1 x y Z D { | ~ : } : 1 Z D : : 1 Z : Z ^B : Z
^B D 8 : 8 u : 8 @ 8 8 > ? ? : Z ^B D 8 : 8 u : 8 @ 8 9 8 8 H ? ? : Z ^B D 8 : 8 u : 8 @ 8 8
?
? D : : 1 Z : Z ^B " ? : Y S ! : L # ? $ : Y % & ' : L ^B )
* , 9 $ + L
- / 9 E .
0 2 9 1 3 7 ? 4 : p 5 ) 6 : T 8 < ? 9 : p : ; : Q = ? > : p ? @ : d ^B B C : D P 8 E J F I G H @ : 8 K L O M N B Q Y R : S 1 T Z U V W X ? Z ! ^w ^B ] ^ ? _ : # ! ^w ^B b c 9 d e : # ^B g b h k / i : j : N b l o 0 m n b
p q b r 1 s t | u / v w . x a y z a { 0 } : G ~ a b / . / a b 0 a ' : L 9 a 1 c ? $ : ! ^w ^B b > : 8 U 8 ? b ? ! a I D a
a ^B 9 9 ^B ? : $ ^B 9 b : 8 8 v : : 8 N 8 v : : 8 8 v : : 8 S 8 : : 8
8 : : 8
F 8 v : : ! 8 8 v : : " . 8 # ( $ ' % & 8 ) * - + , v : : / ; 8 0 5 1 4 2 3 5 8 6 7 : 8 9 v : : < H 8 = B > A ? @ 8 C D G E F v : : I U 8 J O K N L M 8 P Q T R S v : : V 8 W \ X [ Y Z 8 ] ^ a _ ` v : B c D d t 8 e j f i g h : b k o l m n v b p q r s D u v : w 8 x ~ y | z { @ a } K 8 8 ? D : 8 8 ( ? B ? : { D ; : 8 @ a K 8 ? ? a K $ ?
: 8 [ 8 v : B
D 8 : b v b D : 8 @ a K 8 8 ? B
? :
{ D
;
:
8
@ a
K 8
?
?
a
K
$ ?
j
:
*
8
$
#
!
"
N 8 %
&
)
'
(
: B +
h
D ,
-
E
: .
C
8 /
7
0
3
1
2
@ 4
5
6
v 8 8
=
9
<
:
;
8 >
?
B
@
A
? D
B F
G
K
? H
: I
J
{ D L
; M
`
N
: O
^
8 P
X
Q
T
R
S
@ U
V
W
v 8 Y
Z
]
[
\
? _
a
? b
c
f
d
e
v g
$ ? i
k
9 l
m
| ^B o
p
t
? q
: r
s
{ D u
v
: w
8 x
}
y
|
z
{
: G 8 ~
8
?
?
:
Z
9
| ^B
b
? %
:
: R
Q
: J
D
8
: L
a
S
a
S
^B
b
? %
:
Q
: N
D
8
: Q
a
S
a
S
^B
? %
:
:
: G
1 ^B
? %
: <
: <
: G
1 ^B
b
? %
:
: H
Q
: N
D
8
: J
a
S a S X e : L
! ^w ^B
) & J ( ) & J ( ! ^w ^B ! " ? # / $ : G % Z
! ^w ^B ( ) 9 * + / , : G - Z
^B / 0 ? 1 2 : 3 ^B 5
6 9 $ 7 ^B 9 : ? ; : < > = ? > N ^B A
B D 9 C
E 9 F ^B H I ? J K : L F ^B N
O 9 $ P ! ^B R S ? # T ^B V W 9 X Y ^B [ b \ _ ] : ^ b ` c a : b d ? e : f g h i j k l m n o p q r s > t v a u > w y a x z { | ^B ~ b : J D 7 a 9 a ^B 9 : J ^B 9 : G : J ^B ? " 9 @ 9 9 9 B 9 9 9 9 e ^B 9 : G ^B 9 : G ^B 9 ^B 9 ^B D 7 " { : G 9 ^B D 7 " : G 9 ^B D 7 " : G 9 ^B b : G b : b
: ? : a >
a >
a ^B 9
: G ^B 9
: G ^B b : b ! $ " : # % ? & : ' d ( ) * + , - . / 0 1 2 3 4 > 5 7 a 6 > 8 : a 9 ; < = ^B ? b @ C A : G B 1 b D G E : F b
H K I : J L ? M : N O P Q R S T U a V W X Y Z [ \ > ] _ a ^ > ` b a a c d e ^B g b h k i : G j b l o m : n b
p s q : r t ? u : v A w x y z { | } a ~ n > a > a ^B ? : : # : : ^B ? : : # : : ! ^ ^B ? : S : : ^B 9 : G ^B 9 : G ^B = W & 9 ^ ^ ^ ^ ^ ^
^ ^ ^ R ^ B b ^ " J _ ^D ; a b ' _ b # / a _ a ^ ~ B ^) ` D 8 ( _ A Y ^A B ^D
9
4
b % a P b %
6 7
6
#
1
/
a
a
a
a P
b
'
a P
6 ^!
a P
B
b ^
= b ^
%
_ b ^
%
_ b ^ !
"
b ^ #
$
^C %
c
6 &
*
a ' '
(
a )
F B +
b ,
3
/ -
1 .
2
a ' /
0
a 1
w b 4
:
# 5
a ' 6
7
a 1 8
9
_ D ;
7 <
?
_ =
a 9 >
B @
R
b A
G
# B
a ' C
D
a ' E
F
_ b H
M
' I
a J
K
a A L
n b N
1 O
a ' P
Q
B S
b T
\
- U
= V
Y
! W
a X
Z
a [
b ]
^
b _
1 `
a 1 a
b
b ^ d
l
- e
= f
i
! g
a h
j
a k
a ^ m
B o
^D p
y
8 q
s
_ r
A t
1 u
> v
x
a r w
b ^ z
{
^C |
7 }
a r ~
B
b
"
_
a r
D
a
j B
b
1
a
U a
j b
#
1
a
j >
a r
a r
@ ^D
8
a
U A
A
a
U B
b ^
%
_ b ^
%
_ b ^
/
a
0 a
b ^
#
a
a
0 _ ^D
:
5
a
0 a
8
$
_
a
A
a
A
B
b ^
_
_ ^D
7
a
j A
#
/
a
j _ A
B
b ^
_
@ ^
?
a
!
_ ^
?
a
(
B
b ^
_
@ b ^
!
_ b ^
^
:
8 @ a 8
B
b ? ^D 8 a ? a a B b ! % " a # $ D & 3 ' + a ' ( ) g a * , a - . / a 0 B 2 b ^ 3 6 4 _ 5 @ b ^
7 9 ! 8 _ b ^ : ; ^ < Q : = J 8 > D ? B @ A @ a C 8 E F I G H B K O b L M N ? P ^D R 8 S V a T U W ] ? X a Y Z [ a \ B ^ b _ c ` a a b D d 4 e i a ' f g g a h j a k l m a n p _ ^ q _ ^ B s ^ t v _ u _ ^ w y _ x _
^ z _ { _
B } b ^ ~ ^D ; " _ b _ B b C 4 a % _ B b
a b " # 1 a y % _ _ D ; a 3 b 1 / % _ a y b 1 a y a 3 D : 8 a 7 a y b ' a # 1 a y / a _ b ' a # 1 a y / a _ a ^ B b ^ ' _ ^C " a 4 B b # 1 " a 4 % a 4 a 4 ^A a 4 B b ^ " _ ^D a j A # / a j _ A B b ^ b ^
^D ? "
a X C 4 a % a X B b
a b ' " # 1 " a ! y % # % a X $ a X & D ( 9 ; ) + a * 3 b , 4 1 - / . 3 % / 1 a X 0 a 2 y b 5 1 6 a 7 8
b : 1 ; a < = y a > 3 ^D @ H 2 A C a B
b D ' E a X F G a ^X I K ? ^ L ^ M O _ N ^( P ^ B R b ^ S V T U _ ^D W n 7 X [ a Y Z b B \ b ] _ % ^ _ D ` 4 a e a b c b a d + A f # g 1 h k a i j b a l m + _ ^A o B q b ^
r s b ^ t u b ^ v w ^ x : y 8 z { ~ | } N 9 8 _ 8 _ B : 8 @ v 8 B b
D 8 _ b
a b a ? ? ^ : 8 } a 8 | a m 8 } _
B b Y ? a ^ B ^ : 8 @ _ 8 B D 3 _ _ A ? ^ ? _ _ ^: 8 @ _ 8 8
? ^ ^ B b ^ _ ^A : 2 8 @ _ 8 $ # ! " 9 % 8 & + ' * ( ) _ 8 , - 0 . / a 1 ? 3 B 5 ^ 6 : ? 7 _ 8 U 9 ^ ; Y : < H 8 = B > A ? @ @ _ 8 C D G E F B I W D J V 3 K P _ L M N O Q R T S U _ A ? X ^ Z ? [ _ \ ] _ B _ b ^ ` a ^ b : c o 8 d i e h f g N 8 j k n l m _ B p q : r 8 s { t w u v v x y z @ 8 | } ~ B b ? ? a ^ 9 ^8 _ { ^8 ' _ B b ^ = ^ : 8 @ _ 8 _ B b - a ? ^A a B b ^ _ b ^ 8 _ ( b ^
8 _ { b ^ 8 _ b ^ 8 _ b ^ 8 _ ^A : + a = d A a ( 9 a { : a 9 8 a 8 a a 1 a ' B ^
8 @ _ B A ? ^A B
b ^ _ b ^ _ v ^A : a a a ! a " A $ ^Y & ^: ' 2 < ( , _ ) * + 8 - . 1 / 0 ^B 3 =
4 7 5 6 8 9 ; : < _ ^ > ^ 5` @ ? 5`B B C E ?
D F H ?
G I K ?
J { L N ?
M O Q ?
P R T ?
S ( U W ?
V & X Z ?
Y [ ] ?
\ ^ ` ?
_ a c ?
b L d f ?
e g i ?
h j l ?
k C m o ?
n p r ?
q s u ?
t v x ?
w y { ?
z | ~ ?
} E ?
5`B ? A G ? B ? C ) ? ? ? @ 5` ? ( S 5`B ? ? x ? ? ? ? P ; 9 ; ; ; ; ; J ; ; ; ; ; ; ; ; ; ; ; ; w ; g ; ; [ ; + ; ; defrule $ ( ) S T [ \ ^
_ ` a c
d h i q r I o T
. k O
7 , !
F # ` % z ' ) + - . N 0 2 4 6 8 : < > W B F H G K N " P ! - S " 3 U # > X $ D Z % O \ * & U ` _ ' [ c 4 ( f g P l j * w l a +
q , u b - w . c /
0 d 1 2 e 3 4 f 5 " 6 g 7 8 # h 9 ) : ; i ; A < R > , Z = + ? @ $ A
B C $ " D * * E 0 H 7 6 F 4 L G 1 b J I x J | K K L h M : N ' O & [ P
" Q 3 $ R # / k S & ; @ < U
k E V H r W L X O Z Y Q Z S [ 4 ( Y A i ] [ \ k ^ ` a m f o
` u
v b z c | n
e
f
h
g
j k l & ' , m . n 4 o 8 p @ q G M Q s Q t U u Z , v } w
x x 2 y l z { y | } ~ > f D * %
@ # D ! ( Z k
( D !
Z # D ( F P c ! ( F n ! ! ! ! # D !
! " ! $ ! ! &
! " ( ! # * ! $ , # D % - ! & / ! ' 1 ! ( 3 ! ) 5 ! * 7 ! + 9 ! , ; ! - = 0 ? ( / 4 @ # D 5 A ! 6 C ( / 8 D # D 9 E ! : G # D > A ? I @ J A G L ( D B M ! C O # D D E Q F R G O T # D H E C V ! J W K T Y " # D L E [ # N Y ] $ / O ^ G # D R _ ! S a % 4 D T b I U ] J d & < V e # W f a X ] h ' # D Y i Y ! [ k ( Z \ h m ) k ] n / ^ o L # D _ p ! ` _ r * Z c s / d t m # D e ; v + # D f ; , x , c g y r : h z d O i { k | d | / l } # D m ~ v ! n - ( : o z y . N ) p s k q / r z # D s ! y / # D | } ! } 0 ( & N ) { d O k / 1 # D k 2 N ) d O k / 3 # D 4 9 : k / 5 # D 6 N ) d O k / 7 # D 8 4 & { k / 9 N ) : / : ) k ; <
(
( 4 & I O k / # D
= > ? n (
R I ( } 9 k @ : / A 0
> I 6 B
C
| " D E f ( (
(
I 4 & M 9 k F ) G c H 0
> N ) : / I N ) J 0
> N ) K N )
L N ) l ( l ( N )
O : /
# D !
M d (
( 4 &
M 9 ) k
N 0
E ( 0 F
}
: ! N ) # O : ! % P L & ' ) J (
l ) + s * +
E , ( L -
. : 0 Q 9 1 %
I 2 2 l 3 ( } 4 : ! 5 5 k " 6 # 7 x $ 8 % 9 # D & :
! ( : R = S
R * > 4 + ? 8 } , @ & - A A . B / C k 0 D 1 9 0 F T / 2 G # D 3 I U k 5 J / 6 K # D 7 G M V ( / 8 N F # D 9 P W ( / < N M R X ( / = N P T Y d O > U K k ? V * Z @ W - D A X ! B Z Z ( < J [ b 7 - K \ ' L ] d
y M ^ e s N _ f O ` a
P a ( p Q b 6 } R c I & S d U : T e & U f V k V g = | / W h # D X X j [ # D Y X l \ ( [ p n ] ~ \ p l p ^ ] q n d O ^ r / _ s ( / ` t # D a X 9 = _ w ` k b x y c y X # D d X r { a ( # D e X } b ( # D f ~ ! g c # D i ~ t d j : k d O l } k m Z / n \ # D o e : p d O q k r / s t b ) u f U O v D w t D y t z X g ? { d O | h d O } k ~ / j = i j ( # D X k l ( l / # D m ^ 0 @ d O ] / ( / n D o Z ) & N N ) d O ^ k - p q V k # D ! = r s ! G t u ( D ! v ( D ! w / # D ! x ( / # D ! y # D ! z # D ! { # D ! | # D ! } # D ! ~ # D ! # D ! / T # D ! # D ! # D ! [ / # D ! W / # D ! R c ( # D ! c ( # D ! ( ( c ( # D ! # D ! # D ! ! a a= a a a aK a a a a a a a aN aG a a a
a a
a a a a a a a a a a a a a! a# a% a' a) a+ a, a. a0 a2 a4 a6 a8 av . at / a: a 1 a 2 au 3 a< a> a? aG 7 a@ aB aC aY ; aT < aO = aD aJ ? aF aH aI aK aL aR E aN aP aQ aW I aS aU aV a[ M aX aZ af P ab Q a\ a] a^ a` aa ac ad ae ak Z ag ah aj al am an an a al b ao aq ar as au aw ax a j ay az a{ a| a} a a a a a t a u a v a w a x a a z a { a a a ~ a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a# a a a a a a a a a a a a a a a a a a a a a a a a a a a a a! a a a a a a a a a a a a a a a a a a a a a a a a
a a a
a a a a a a a a a a a a a a a a. a a a" a$ a% a& a' a( a) a* a+ a, a- a/ a0 a1 a2 a3 a4 a5 a6 a7 aD ' a8 a; ) a9 a< a= a> a? a@ aA aB aC aE a 4 aF aH aI aJ aL aR : aP ; aM aO aQ aS aT aU aV a C a D a{ E ay F at G aj H ah I aW aY aZ a[ a\ a] a^ a_ a` aa ab ac ad ae af ag a Z ai ak am ao ap aq ar as av aw ax az a| a h a} a a a a a a a a a a a a a a a x a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a
a a
defmodule d M o _
2
! "
# ( ) . < / 0 M
M
M M M M M 2 ! M $ % & M ' * + 2 , M - object patterns defclass
]
= M " $ ) * V
. 0
1 2 7 9 : < l
? @ B u
E F I L M O 9 R S T V W
,6` U 6 ,6` U ,6` U ,6` U ,6` U ; ,6` U ,6` U O ,6` U definstances
deftemplate t # $ $
% %
8 V D ! P y
/ ] $
! % & p ( + . - / 0 4 7 m : v = ? o A D E I J = K ( _ ! g
" l # n w x y ` @ @ v v u s
'
} | } } | } ^ < R . \ % @ % @
@
% @ % @ s
{
(
i > ) : ~ v > z @ B e
@ @ B e facts & x < p h i E A $ ;
M U < ; <
o <
^ <
h <
O <
T <
D < .
] < $
@ < z
< < ; < < < < k 1 < $ ; B k $ h < " h ; # ! $ n h 7 " e ; % " * A e U $ & [ e j $ % ' V e $ & ( Q e $ ' ) e e $ $ ( ; + $ e U , * - < R + . * + / < - m 0 * - 1 < / 2 * / 3 < R 1 4 * 1 6 < h 5 3 < 4 T 7 * 3 9 h 8 6 7 ? : * 6 < h ; 9 ~ : = * 9 > w < < ? * < C < h @ > A < ? h B > ? x A D * > F < C E < C D G * C I < h H F R < G $ J * F M # < K I K < S I J L < [ I K j N * I S < h O M < N P < A N O Q < N P R < o N Q I T * M V < h U S , < T i W * S [ < h X V Y < W h Z V W ` Y b \ * V _ < h ] [ j < ~ \ ^ J < ' \ ] ~ 7 * [ ` a * _ < h b ` c < a h d ` a ; c < ; f * < e g < e f h < = e g i < e h j < e i k < i e j l < e k m { < ? e l n q < e m o < b e n p C < U e o q < e p r c < j e q s < T e r t ? < e s u < m e t v < 7 e u w < k e v x < $ e w z S ; { y _ S z | 7 S 3 z { } S z | ~ > S z } S z ~ S q z ; ; z W ; ; J ; g ; ; ; q f
h ; . h 3 h h h h m h q h h h
h ; w ; < m < < ; 3 < < m ; h ; < < h B : 3 5 < 1 ; ; - *
( & m $ " J q / = < h < h 1 7 9 p < 8 n I ; h r h
j ; $
,
k 5 n I S ; S S < < < s < < defglobal
w C 1 z 8 / \ * ? @ ' c
{ 9
% deffunctions
`5 `5 `5 3 `5
`5n
`5
`5
`5
T `5
`51 `5o `5r ^
`5| `5 `5 p `5 0 `5J `5Q j `5p `5 a `5 t `5 `54 /
`5^ r `5 `5 W `5 E `5 `5 & `5# 7 `5% generic functions
deffacts
8 ? q A CLIPS