! TYPEDSTREAM 2.4

time 30.5200000000
walltime 4.0000000000
thread_time 0.0000000000
host "mps-pc59"
system "Linux"
