#!/bin/bash

date >dkf2a.out
date >dkf2.out

l1=x
fgrep '/' fpdiv1.out | while read l
do
  echo $l
  if [ "$l1" == x ]
  then
    l1="$l"
  else
    l2="$l"
    a2flx >/tmp/in.flx <<EOF
slip<
i=10
arnf 14
zq
dkf  15
zq
$l1
$l2
_e10;
EOF
    cat >/tmp/$f.demo <<EOF
LOADCONFIG configs/help3demo.gier
LOADREADER /tmp/in.flx
WAITINPUT
TYPE 41
WAITINPUT
TYPE 17
WAITSTOP
DEBUG 2
PRESS start
WAITSTOP
DEBUG 0
QUIT
EOF
    ./GIER /tmp/$f.demo
echo $l1 >>dkf2.out
echo $l2 >>dkf2.out
./dkf1.pl >>dkf2.out
    sed -n -e '1,/mark/ p' tapes/mk/fpdiv1.asc > /tmp/in.asc
    IFS='/' read -r -a l1f <<< "$l1"
    IFS='/' read -r -a l2f <<< "$l2"
    echo "test(_r_e_a_l _1_0 ${l1f[0]} _1_0 ${l1f[1]} _1_0 ${l1f[2]} _1_0 ${l1f[3]}, _r_e_a_l _1_0 ${l2f[0]} _1_0 ${l2f[1]} _1_0 ${l2f[2]} _1_0 ${l2f[3]});" >>/tmp/in.asc
    echo "_e_n_d;" >>/tmp/in.asc
    echo "t<" >>/tmp/in.asc
    cat >/tmp/in.demo <<EOF
LOADCONFIG configs/help3demo.gier
LOADREADER /tmp/in.asc
WAITINPUT
TYPE 41
WAITINPUT
TYPE 17
WAITINPUT
press setkb
SELECT 3 48
LOADPUNCH 0.flx
TYPE 41
WAITINPUT
TYPE 20
WAITINPUT
TYPE 37
WAITINPUT
TYPE 17
WAITINPUT
FINISHPUNCH
QUIT
EOF
    ./GIER /tmp/in.demo
    flx2a <0.flx >>dkf2a.out
    l1=x
  fi
done