3 # =============================================== Global
11 # Parameter names are not provided
17 # =============================================== Options
21 # ===========================================
22 # 1 Data for symbol number 1
25 # 1.2 Generated Boolean
27 # 1.3 Number of dimensions
43 # ===========================================
44 # 2 Data for symbol number 2
47 # 2.2 Generated Boolean
49 # 2.3 Number of dimensions
67 0 -1 0 0 0 1 ## Arr = A
68 1 0 1 0 0 0 ## [1] >= 0
69 1 0 -1 0 1 0 ## [1] <= N
70 1 0 0 1 0 0 ## [2] >= 0
71 1 0 0 -1 1 0 ## [2] <= N