#!/bin/bash
i=The_Longest_Road
bin=$(realpath -- ./build/$i/$i)
TIMEOUT=5
if [[ ! -z $ANGELIX_RUN ]]; then TIMEOUT=50; fi; 
TMP=/tmp/angelix/${i}_$RANDOM
mkdir -p $(dirname -- $TMP)
assert-equal () {
	timeout --preserve-status -k $TIMEOUT $TIMEOUT $ANGELIX_RUN $1 < $2  > $TMP
	x=$?
	if (( $x >= 64 )); then rm $TMP ; exit $x; fi; 
	bc=$(wc -c $3)
	cat $TMP | head -c $bc > $TMP.bc
	diff -q $TMP.bc $3 > /dev/null
	xx=$?
	rm $TMP $TMP.bc
	exit $xx
}
case "$1" in 
1)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.n1 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/n1.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/n1.out"
	;;
2)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p1 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p1.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p1.out"
	;;
3)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p2 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p2.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p2.out"
	;;
4)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p3 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p3.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p3.out"
	;;
5)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p4 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p4.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p4.out"
	;;
6)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p5 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p5.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p5.out"
	;;
7)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p6 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p6.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p6.out"
	;;
8)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p7 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p7.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p7.out"
	;;
9)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p8 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p8.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p8.out"
	;;
10)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p9 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p9.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p9.out"
	;;
11)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p10 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p10.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p10.out"
	;;
12)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p11 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p11.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p11.out"
	;;
13)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p12 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p12.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p12.out"
	;;
14)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p13 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p13.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p13.out"
	;;
15)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p14 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p14.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p14.out"
	;;
16)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p15 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p15.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p15.out"
	;;
17)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p16 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p16.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p16.out"
	;;
18)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p17 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p17.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p17.out"
	;;
19)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p18 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p18.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p18.out"
	;;
20)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p19 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p19.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p19.out"
	;;
21)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p20 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p20.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p20.out"
	;;
22)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p21 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p21.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p21.out"
	;;
23)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p22 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p22.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p22.out"
	;;
24)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p23 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p23.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p23.out"
	;;
25)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p24 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p24.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p24.out"
	;;
26)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p25 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p25.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p25.out"
	;;
27)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p26 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p26.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p26.out"
	;;
28)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p27 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p27.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p27.out"
	;;
29)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p28 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p28.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p28.out"
	;;
30)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p29 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p29.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p29.out"
	;;
31)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p30 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p30.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p30.out"
	;;
32)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p31 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p31.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p31.out"
	;;
33)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p32 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p32.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p32.out"
	;;
34)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p33 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p33.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p33.out"
	;;
35)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p34 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p34.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p34.out"
	;;
36)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p35 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p35.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p35.out"
	;;
37)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p36 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p36.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p36.out"
	;;
38)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p37 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p37.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p37.out"
	;;
39)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p38 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p38.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p38.out"
	;;
40)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p39 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p39.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p39.out"
	;;
41)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p40 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p40.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p40.out"
	;;
42)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p41 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p41.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p41.out"
	;;
43)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p42 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p42.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p42.out"
	;;
44)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p43 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p43.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p43.out"
	;;
45)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p44 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p44.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p44.out"
	;;
46)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p45 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p45.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p45.out"
	;;
47)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p46 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p46.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p46.out"
	;;
48)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p47 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p47.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p47.out"
	;;
49)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p48 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p48.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p48.out"
	;;
50)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p49 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p49.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p49.out"
	;;
51)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p50 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p50.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p50.out"
	;;
52)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p51 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p51.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p51.out"
	;;
53)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p52 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p52.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p52.out"
	;;
54)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p53 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p53.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p53.out"
	;;
55)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p54 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p54.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p54.out"
	;;
56)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p55 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p55.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p55.out"
	;;
57)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p56 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p56.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p56.out"
	;;
58)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p57 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p57.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p57.out"
	;;
59)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p58 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p58.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p58.out"
	;;
60)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p59 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p59.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p59.out"
	;;
61)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p60 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p60.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p60.out"
	;;
62)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p61 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p61.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p61.out"
	;;
63)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p62 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p62.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p62.out"
	;;
64)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p63 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p63.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p63.out"
	;;
65)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p64 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p64.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p64.out"
	;;
66)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p65 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p65.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p65.out"
	;;
67)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p66 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p66.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p66.out"
	;;
68)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p67 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p67.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p67.out"
	;;
69)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p68 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p68.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p68.out"
	;;
70)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p69 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p69.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p69.out"
	;;
71)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p70 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p70.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p70.out"
	;;
72)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p71 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p71.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p71.out"
	;;
73)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p72 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p72.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p72.out"
	;;
74)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p73 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p73.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p73.out"
	;;
75)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p74 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p74.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p74.out"
	;;
76)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p75 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p75.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p75.out"
	;;
77)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p76 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p76.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p76.out"
	;;
78)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p77 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p77.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p77.out"
	;;
79)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p78 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p78.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p78.out"
	;;
80)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p79 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p79.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p79.out"
	;;
81)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p80 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p80.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p80.out"
	;;
82)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p81 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p81.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p81.out"
	;;
83)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p82 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p82.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p82.out"
	;;
84)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p83 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p83.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p83.out"
	;;
85)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p84 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p84.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p84.out"
	;;
86)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p85 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p85.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p85.out"
	;;
87)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p86 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p86.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p86.out"
	;;
88)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p87 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p87.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p87.out"
	;;
89)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p88 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p88.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p88.out"
	;;
90)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p89 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p89.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p89.out"
	;;
91)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p90 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p90.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p90.out"
	;;
92)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p91 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p91.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p91.out"
	;;
93)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p92 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p92.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p92.out"
	;;
94)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p93 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p93.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p93.out"
	;;
95)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p94 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p94.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p94.out"
	;;
96)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p95 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p95.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p95.out"
	;;
97)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p96 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p96.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p96.out"
	;;
98)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p97 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p97.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p97.out"
	;;
99)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p98 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p98.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p98.out"
	;;
100)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p99 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p99.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p99.out"
	;;
101)
	export seed=$(cat /mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/seed.p100 | head -n1)
	assert-equal "$bin" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p100.in" "/mnt/Data/APR_eval/cgc_oracles/The_Longest_Road/p100.out"
	;;
esac