.x+=:. .x+=:. s .x+=:.
.uef^" z` ^% .. z` ^% :8 z` ^%
:d88E .u . .d`` . <k @L . <k .88 .. . : . <k
`888E u .d88B :@8c @8Ne. .u .u .@8Ned8" 9888i .dL .@8Ned8" :888ooo .u .888: x888 x888. .@8Ned8"
888E .z8k us888u. ="8888f8888r %8888:u@88N ud8888. .@^%8888" `Y888k:*888. .@^%8888" -*8888888 ud8888. ~`8888~'888X`?888f` .@^%8888"
888E~?888L .@88 "8888" 4888>'88" `888I 888. :888'8888. x88: `)8b. 888E 888I x88: `)8b. 8888 :888'8888. X888 888X '888> x88: `)8b.
888E 888E 9888 9888 4888> ' 888I 888I d888 '88%" 8888N=*8888 888E 888I 8888N=*8888 8888 d888 '88%" X888 888X '888> 8888N=*8888
888E 888E 9888 9888 4888> 888I 888I 8888.+" %8" R88 888E 888I %8" R88 8888 8888.+" X888 888X '888> %8" R88
888E 888E 9888 9888 .d888L .+ uW888L 888' 8888L @8Wou 9% 888E 888I @8Wou 9% .8888Lu= 8888L X888 888X '888> @8Wou 9%
888E 888E 9888 9888 ^"8888*" '*88888Nu88P '8888c. .+ .888888P` x888N><888' .888888P` ^%888* '8888c. .+ "*88%""*88" '888!` .888888P`
m888N= 888> "888*""888" "Y" ~ '88888F` "88888% ` ^"F "88" 888 ` ^"F 'Y" "88888% `~ " `"` ` ^"F
`Y" 888 ^Y" ^Y' 888 ^ "YP' 88F "YP'
J88" *8E 98"
@% '8> ./"
:" " ~` ======================================================== HARPE systems: high-assurance reasoning, processing & execution systems ======================================================== Type 'help' to list commands.
harpe.systems >