#!/bin/sh
# for splitting _n files
for x
do
echo splitting $x
echo inputformula\( > start_
echo \). > end1_
echo inputformula\(1,conjecture,true\). > end2_
grep '1:' $x | grep -v '11:' | grep -v '21:' | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.1
echo  $x.1

grep '2:' $x | grep -v '12:' | grep -v '22:' | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.2
echo  $x.2

grep '3:' $x | grep -v '13:' | grep -v '23:' | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.3
echo  $x.3

grep '4:' $x | grep -v '14:' | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.4
echo  $x.4

grep '5:' $x | grep -v '15:' | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.5
echo  $x.5

grep '6:' $x | grep -v '16:' | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.6
echo  $x.6

grep '7:' $x | grep -v '17:' | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.7
echo  $x.7

grep '8:' $x | grep -v '18:' | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.8
echo  $x.8

grep '9:' $x | grep -v '19:' | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.9
echo  $x.9

grep '10:' $x | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.10
echo  $x.10

grep '11:' $x | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.11
echo  $x.11

grep '12:' $x | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.12
echo  $x.12

grep '13:' $x | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.13
echo  $x.13

grep '14:' $x | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.14
echo  $x.14

grep '15:' $x | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.15
echo  $x.15

grep '16:' $x | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.16
echo  $x.16

grep '17:' $x | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.17
echo  $x.17


grep '18:' $x | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.18
echo  $x.18


grep '19:' $x | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.19
echo  $x.19


grep '20:' $x | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.20
echo  $x.20

grep '21:' $x | sed -e s/:/,hypothesis,/ > temp_
cat start_ temp_  end1_ end2_ > $x.21
echo  $x.21

rm start_ end1_ end2_ temp_
done
echo "done"