1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
|
# language: FORTRAN
f
# Context
# {length,width | width+2<=length; 1<=width}
3 4
# M N 1
1 1 -1 -2
1 0 1 -1
1 0 0 1
0
8 # Number of statements
1
# {t1,t2,length,width | t1=0; t2=0; width+2<=length; 1<=width}
5 6
# i j M N 1
0 1 0 0 0 0
0 0 1 0 0 0
1 0 0 1 -1 -2
1 0 0 0 1 -1
1 0 0 0 0 1
0 0 0
1
# {t1,t2,length,width | 1<=t1<=width; t2=0; width+2<=length}
5 6
# i j M N 1
0 0 1 0 0 0
1 1 0 0 0 -1
1 -1 0 0 1 0
1 0 0 1 -1 -2
1 0 0 0 0 1
0 0 0
1
# {t1,t2,length,width | t1=t2; 1<=t2<=width; width+2<=length}
5 6
# i j M N 1
0 1 -1 0 0 0
1 0 1 0 0 -1
1 0 -1 0 1 0
1 0 0 1 -1 -2
1 0 0 0 0 1
0 0 0
1
# {t1,t2,length,width | t1=2t2-width; width+1<=t2<=length-1; 1<=width}
5 6
# i j M N 1
0 1 -2 0 1 0
1 0 1 0 -1 -1
1 0 -1 1 0 -1
1 0 0 0 1 -1
1 0 0 0 0 1
0 0 0
1
# {t1,t2,length,width | t1=2t2+width; 1<=t2<=length-width-1; 1<=width}
5 6
# i j M N 1
0 1 -2 0 -1 0
1 0 1 0 0 -1
1 0 -1 1 -1 -1
1 0 0 0 1 -1
1 0 0 0 0 1
0 0 0
1
# {t1,t2,length,width | (2t2-width+1,t2+1)<=t1<=(t2+length-1,2t2+width-1); 1<=t2<=length-1; width+2<=length}
8 6
# i j M N 1
1 1 -2 0 1 -1
1 1 -1 0 0 -1
1 -1 1 1 0 -1
1 -1 2 0 1 -1
1 0 1 0 0 -1
1 0 -1 1 0 -1
1 0 0 1 -1 -2
1 0 0 0 0 1
0 0 0
1
# {t1,t2,length,width | (width+1,2t2+width+1)<=t1<=(2length-width-2,2t2+width+2); width+2<=length; 1<=width}
6 6
# i j M N 1
1 1 0 0 -1 -1
1 1 -2 0 -1 -1
1 -1 0 2 -1 -2
1 -1 2 0 1 2
1 0 0 1 -1 -2
1 0 0 0 1 -1
0 0 0
1
# {t1,t2,length,width | (width+1,2t2-width)<=t1<=(2t2+width,2length-width-2); width+2<=length; 1<=width}
7 6
# i j M N 1
1 1 0 0 -1 -1
1 1 -2 0 1 0
1 -1 2 0 1 0
1 -1 0 2 -1 -2
1 0 0 1 -1 -2
1 0 0 0 1 -1
1 0 0 0 0 1
0 0 0
0
0 # Scattering functions
|
