2a82e68a-6913-40ee-8257-974155aae359 7 3 5 false false 0 decimal

&[DATE] &[TIME] - &[FILENAME]

$x\#ASL\#a2gx\#psi/14.69616.8754106-^*ASL\#ft/*-(5.2559^*(-evalpsig*:$ $x\#ASL\#g2ax\#psig/14.69616.8754106-^*ASL\#ft/*-(5.2559^*(+evalpsi*:$ $p130psi*5200ft*a2g(:17.863psig*$ $p15200ft*g2apsi30$