define pyk of system Q as text unicode start of text unicode small s unicode small y unicode small s unicode small t unicode small e unicode small m unicode space unicode capital q unicode end of text end unicode text end text end define
define tex of system Q as text unicode start of text unicode capital z unicode capital f unicode small s unicode small u unicode small b unicode end of text end unicode text end text end define
define statement of system Q as all metavar var x end metavar indeed all metavar var y end metavar indeed all metavar var z end metavar indeed metavar var x end metavar * metavar var y end metavar * metavar var z end metavar = metavar var x end metavar * metavar var y end metavar * metavar var z end metavar rule plus all metavar var fx end metavar indeed all metavar var fy end metavar indeed R( metavar var fx end metavar ) << R( metavar var fy end metavar ) infer metavar var fx end metavar
GRD-2006-09-15.UTC:09:33:20.992497
=
MJD-53993.TAI:09:33:53.992497
=
LGT-4665029633992497e-6