Skip to content

Commit dccd18f

Browse files
KalashnikovniKalashnikovni
committed
Updated tests
1 parent 3686ba8 commit dccd18f

4 files changed

Lines changed: 49 additions & 51 deletions

File tree

‎test/TestRL1.test‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/* Matching + SCC test of the following model:
22

33
model TestRL1
4-
constant Integer N = 100000;
4+
constant Integer N = 1000000;
55
Real iL[N], Ua[N], Uc[N];
66
parameter Real Ra = 1, Rb = 1, Rc = 1, L = 1;
77
equation

‎test/TestRL2.test‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ model TestRL2
55
//iR[i] must be computed out of iR[i+1]
66
//uL[i+1] must be computed out of uL[i]
77

8-
constant Integer N=100000;
8+
constant Integer N=1000000;
99
Real iL[N],iR[N],uL[N];
1010
parameter Real L=1,R=1,L1=1,I=1,R0=1;
1111
equation

‎test/TestRL3.test‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -6,19 +6,19 @@ model TestRL3
66
//uL[i] and uL[i+1] can be computed out of each other
77
//All variables form a large algebraic loop
88

9-
constant Integer N=100000;
9+
constant Integer N=1000000;
1010
Real iL[N],iR[N],uL[N];
1111
parameter Real L=1,R=1,L1=1,U=1,R0=1;
1212
equation
1313
for i in 1:N loop
1414
L*der(iL[i])=uL[i]; // der(iL[1:N])
1515
end for;
1616
for i in 1:N-1 loop
17-
iR[i]-iR[i+1]-iL[i]=0; // iR[1], iR[3:N]
18-
uL[i]-uL[i+1]-R*iR[i+1]=0; // iR[2], uL[2:N-1]
19-
end for;
17+
iR[i]-iR[i+1]-iL[i]=0; // iR[2:N]
18+
uL[i]-uL[i+1]-R*iR[i+1]=0; // uL[2:N]
19+
end for;
2020
U-uL[1]-R*iR[1]=0; // uL[1]
21-
uL[N]-(iR[N]-iL[N])*R0=0; // uL[N]
21+
uL[N]-(iR[N]-iL[N])*R0=0; // iR[1]
2222
end TestRL3;
2323
*/
2424

‎test/advection2D.test‎

Lines changed: 42 additions & 44 deletions
Original file line numberDiff line numberDiff line change
@@ -241,19 +241,7 @@ Vmap: <<{[1:1:V1x]x[1:1:V1y]} -> |0*x+1|0*x+1|, {[V1x+1:1:V2x]x[V1y+1:1:V2y]} ->
241241
, {[V8x+1:1:V9x]x[V8y+1:1:V9y]} -> |0*x+9|0*x+9|, {[V9x+1:1:V10x]x[V9y+1:1:V10y]} -> |0*x+10|0*x+10|
242242
, {[V10x+1:1:V11x]x[V10y+1:1:V11y]} -> |0*x+11|0*x+11|, {[V11x+1:1:V12x]x[V11y+1:1:V12y]} -> |0*x+12|0*x+12|>>
243243

244-
map1: <<{[1:1:E1x]x[1:1:E1y]} -> |1*x+off1bx|1*x+off1by|, {[E1x+1:1:E2x]x[E1y+1:1:E2y]} -> |1*x+off2bx|1*x+off2by|
245-
, {[E2x+1:1:E3x]x[E2y+1:1:E3y]} -> |1*x+off3bx|1*x+off3by|, {[E3x+1:1:E4x]x[E3y+1:1:E4y]} -> |1*x+off4bx|1*x+off4by|
246-
, {[E4x+1:1:E5x]x[E4y+1:1:E5y]} -> |1*x+off5bx|1*x+off5by|, {[E5x+1:1:E6x]x[E5y+1:1:E6y]} -> |1*x+off6bx|1*x+off6by|
247-
, {[E6x+1:1:E7x]x[E6y+1:1:E7y]} -> |1*x+off7bx|1*x+off7by|, {[E7x+1:1:E8x]x[E7y+1:1:E8y]} -> |1*x+off8bx|1*x+off8by|
248-
, {[E8x+1:1:E9x]x[E8y+1:1:E9y]} -> |1*x+off9bx|1*x+off9by|, {[E9x+1:1:E10x]x[E9y+1:1:E10y]} -> |1*x+off10bx|1*x+off10by|
249-
, {[E10x+1:1:E11x]x[E10y+1:1:E11y]} -> |1*x+off11bx|1*x+off11by|, {[E11x+1:1:E12x]x[E11y+1:1:E12y]} -> |1*x+off12bx|1*x+off12by|
250-
, {[E12x+1:1:E13x]x[E12y+1:1:E13y]} -> |1*x+off13bx|1*x+off13by|, {[E13x+1:1:E14x]x[E13y+1:1:E14y]} -> |1*x+off14bx|1*x+off14by|
251-
, {[E14x+1:1:E15x]x[E14y+1:1:E15y]} -> |1*x+off15bx|1*x+off15by|, {[E15x+1:1:E16x]x[E15y+1:1:E16y]} -> |1*x+off16bx|1*x+off16by|
252-
, {[E16x+1:1:E17x]x[E16y+1:1:E17y]} -> |1*x+off17bx|1*x+off17by|, {[E17x+1:1:E18x]x[E17y+1:1:E18y]} -> |1*x+off18bx|1*x+off18by|
253-
, {[E18x+1:1:E19x]x[E18y+1:1:E19y]} -> |1*x+off19bx|1*x+off19by|, {[E19x+1:1:E20x]x[E19y+1:1:E20y]} -> |1*x+off20bx|1*x+off20by|
254-
, {[E20x+1:1:E21x]x[E20y+1:1:E21y]} -> |1*x+off21bx|1*x+off21by|, {[E21x+1:1:E22x]x[E21y+1:1:E22y]} -> |1*x+off22bx|1*x+off22by|>>
255-
256-
map2: <<{[1:1:E1x]x[1:1:E1y]} -> |1*x+off1dx|1*x+off1dy|, {[E1x+1:1:E2x]x[E1y+1:1:E2y]} -> |1*x+off2dx|1*x+off2dy|
244+
map1: <<{[1:1:E1x]x[1:1:E1y]} -> |1*x+off1dx|1*x+off1dy|, {[E1x+1:1:E2x]x[E1y+1:1:E2y]} -> |1*x+off2dx|1*x+off2dy|
257245
, {[E2x+1:1:E3x]x[E2y+1:1:E3y]} -> |1*x+off3dx|1*x+off3dy|, {[E3x+1:1:E4x]x[E3y+1:1:E4y]} -> |1*x+off4dx|1*x+off4dy|
258246
, {[E4x+1:1:E5x]x[E4y+1:1:E5y]} -> |1*x+off5dx|1*x+off5dy|, {[E5x+1:1:E6x]x[E5y+1:1:E6y]} -> |1*x+off6dx|1*x+off6dy|
259247
, {[E6x+1:1:E7x]x[E6y+1:1:E7y]} -> |1*x+off7dx|1*x+off7dy|, {[E7x+1:1:E8x]x[E7y+1:1:E8y]} -> |1*x+off8dx|1*x+off8dy|
@@ -265,17 +253,29 @@ map2: <<{[1:1:E1x]x[1:1:E1y]} -> |1*x+off1dx|1*x+off1dy|, {[E1x+1:1:E2x]x[E1y+1:
265253
, {[E18x+1:1:E19x]x[E18y+1:1:E19y]} -> |1*x+off19dx|1*x+off19dy|, {[E19x+1:1:E20x]x[E19y+1:1:E20y]} -> |1*x+off20dx|1*x+off20dy|
266254
, {[E20x+1:1:E21x]x[E20y+1:1:E21y]} -> |1*x+off21dx|1*x+off21dy|, {[E21x+1:1:E22x]x[E21y+1:1:E22y]} -> |1*x+off22dx|1*x+off22dy|>>
267255

256+
map2: <<{[1:1:E1x]x[1:1:E1y]} -> |1*x+off1bx|1*x+off1by|, {[E1x+1:1:E2x]x[E1y+1:1:E2y]} -> |1*x+off2bx|1*x+off2by|
257+
, {[E2x+1:1:E3x]x[E2y+1:1:E3y]} -> |1*x+off3bx|1*x+off3by|, {[E3x+1:1:E4x]x[E3y+1:1:E4y]} -> |1*x+off4bx|1*x+off4by|
258+
, {[E4x+1:1:E5x]x[E4y+1:1:E5y]} -> |1*x+off5bx|1*x+off5by|, {[E5x+1:1:E6x]x[E5y+1:1:E6y]} -> |1*x+off6bx|1*x+off6by|
259+
, {[E6x+1:1:E7x]x[E6y+1:1:E7y]} -> |1*x+off7bx|1*x+off7by|, {[E7x+1:1:E8x]x[E7y+1:1:E8y]} -> |1*x+off8bx|1*x+off8by|
260+
, {[E8x+1:1:E9x]x[E8y+1:1:E9y]} -> |1*x+off9bx|1*x+off9by|, {[E9x+1:1:E10x]x[E9y+1:1:E10y]} -> |1*x+off10bx|1*x+off10by|
261+
, {[E10x+1:1:E11x]x[E10y+1:1:E11y]} -> |1*x+off11bx|1*x+off11by|, {[E11x+1:1:E12x]x[E11y+1:1:E12y]} -> |1*x+off12bx|1*x+off12by|
262+
, {[E12x+1:1:E13x]x[E12y+1:1:E13y]} -> |1*x+off13bx|1*x+off13by|, {[E13x+1:1:E14x]x[E13y+1:1:E14y]} -> |1*x+off14bx|1*x+off14by|
263+
, {[E14x+1:1:E15x]x[E14y+1:1:E15y]} -> |1*x+off15bx|1*x+off15by|, {[E15x+1:1:E16x]x[E15y+1:1:E16y]} -> |1*x+off16bx|1*x+off16by|
264+
, {[E16x+1:1:E17x]x[E16y+1:1:E17y]} -> |1*x+off17bx|1*x+off17by|, {[E17x+1:1:E18x]x[E17y+1:1:E18y]} -> |1*x+off18bx|1*x+off18by|
265+
, {[E18x+1:1:E19x]x[E18y+1:1:E19y]} -> |1*x+off19bx|1*x+off19by|, {[E19x+1:1:E20x]x[E19y+1:1:E20y]} -> |1*x+off20bx|1*x+off20by|
266+
, {[E20x+1:1:E21x]x[E20y+1:1:E21y]} -> |1*x+off21bx|1*x+off21by|, {[E21x+1:1:E22x]x[E21y+1:1:E22y]} -> |1*x+off22bx|1*x+off22by|>>
267+
268268
Emap: <<{[1:1:E1x]x[1:1:E1y]} -> |0*x+1|0*x+1|, {[E1x+1:1:E2x]x[E1y+1:1:E2y]} -> |0*x+2|0*x+2|
269269
, {[E2x+1:1:E3x]x[E2y+1:1:E3y]} -> |0*x+3|0*x+3|, {[E3x+1:1:E4x]x[E3y+1:1:E4y]} -> |0*x+4|0*x+4|
270270
, {[E4x+1:1:E5x]x[E4y+1:1:E5y]} -> |0*x+5|0*x+5|, {[E5x+1:1:E6x]x[E5y+1:1:E6y]} -> |0*x+6|0*x+6|
271-
, {[E6x+1:1:E7x]x[E6y+1:1:E7y]} -> |0*x+6|0*x+6|, {[E7x+1:1:E8x]x[E7y+1:1:E8y]} -> |0*x+7|0*x+7|
272-
, {[E8x+1:1:E9x]x[E8y+1:1:E9y]} -> |0*x+8|0*x+8|, {[E9x+1:1:E10x]x[E9y+1:1:E10y]} -> |0*x+9|0*x+9|
273-
, {[E10x+1:1:E11x]x[E10y+1:1:E11y]} -> |0*x+10|0*x+10|, {[E11x+1:1:E12x]x[E11y+1:1:E12y]} -> |0*x+10|0*x+10|
274-
, {[E12x+1:1:E13x]x[E12y+1:1:E13y]} -> |0*x+11|0*x+11|, {[E13x+1:1:E14x]x[E13y+1:1:E14y]} -> |0*x+12|0*x+12|
275-
, {[E14x+1:1:E15x]x[E14y+1:1:E15y]} -> |0*x+13|0*x+13|, {[E15x+1:1:E16x]x[E15y+1:1:E16y]} -> |0*x+14|0*x+14|
276-
, {[E16x+1:1:E17x]x[E16y+1:1:E17y]} -> |0*x+14|0*x+14|, {[E17x+1:1:E18x]x[E17y+1:1:E18y]} -> |0*x+14|0*x+14|
277-
, {[E18x+1:1:E19x]x[E18y+1:1:E19y]} -> |0*x+15|0*x+15|, {[E19x+1:1:E20x]x[E19y+1:1:E20y]} -> |0*x+16|0*x+16|
278-
, {[E20x+1:1:E21x]x[E20y+1:1:E21y]} -> |0*x+17|0*x+17|, {[E21x+1:1:E22x]x[E21y+1:1:E22y]} -> |0*x+18|0*x+18|>>
271+
, {[E6x+1:1:E7x]x[E6y+1:1:E7y]} -> |0*x+7|0*x+7|, {[E7x+1:1:E8x]x[E7y+1:1:E8y]} -> |0*x+8|0*x+8|
272+
, {[E8x+1:1:E9x]x[E8y+1:1:E9y]} -> |0*x+9|0*x+9|, {[E9x+1:1:E10x]x[E9y+1:1:E10y]} -> |0*x+10|0*x+10|
273+
, {[E10x+1:1:E11x]x[E10y+1:1:E11y]} -> |0*x+11|0*x+11|, {[E11x+1:1:E12x]x[E11y+1:1:E12y]} -> |0*x+12|0*x+12|
274+
, {[E12x+1:1:E13x]x[E12y+1:1:E13y]} -> |0*x+13|0*x+13|, {[E13x+1:1:E14x]x[E13y+1:1:E14y]} -> |0*x+14|0*x+14|
275+
, {[E14x+1:1:E15x]x[E14y+1:1:E15y]} -> |0*x+15|0*x+15|, {[E15x+1:1:E16x]x[E15y+1:1:E16y]} -> |0*x+16|0*x+16|
276+
, {[E16x+1:1:E17x]x[E16y+1:1:E17y]} -> |0*x+17|0*x+17|, {[E17x+1:1:E18x]x[E17y+1:1:E18y]} -> |0*x+18|0*x+18|
277+
, {[E18x+1:1:E19x]x[E18y+1:1:E19y]} -> |0*x+19|0*x+19|, {[E19x+1:1:E20x]x[E19y+1:1:E20y]} -> |0*x+20|0*x+20|
278+
, {[E20x+1:1:E21x]x[E20y+1:1:E21y]} -> |0*x+21|0*x+21|, {[E21x+1:1:E22x]x[E21y+1:1:E22y]} -> |0*x+22|0*x+22|>>
279279

280280
X: F
281281

@@ -291,19 +291,7 @@ matchSCC(
291291
, {[V8x+1:1:V9x]x[V8y+1:1:V9y]} -> |0*x+9|0*x+9|, {[V9x+1:1:V10x]x[V9y+1:1:V10y]} -> |0*x+10|0*x+10|
292292
, {[V10x+1:1:V11x]x[V10y+1:1:V11y]} -> |0*x+11|0*x+11|, {[V11x+1:1:V12x]x[V11y+1:1:V12y]} -> |0*x+12|0*x+12|>>
293293

294-
map1: <<{[1:1:E1x]x[1:1:E1y]} -> |1*x+off1bx|1*x+off1by|, {[E1x+1:1:E2x]x[E1y+1:1:E2y]} -> |1*x+off2bx|1*x+off2by|
295-
, {[E2x+1:1:E3x]x[E2y+1:1:E3y]} -> |1*x+off3bx|1*x+off3by|, {[E3x+1:1:E4x]x[E3y+1:1:E4y]} -> |1*x+off4bx|1*x+off4by|
296-
, {[E4x+1:1:E5x]x[E4y+1:1:E5y]} -> |1*x+off5bx|1*x+off5by|, {[E5x+1:1:E6x]x[E5y+1:1:E6y]} -> |1*x+off6bx|1*x+off6by|
297-
, {[E6x+1:1:E7x]x[E6y+1:1:E7y]} -> |1*x+off7bx|1*x+off7by|, {[E7x+1:1:E8x]x[E7y+1:1:E8y]} -> |1*x+off8bx|1*x+off8by|
298-
, {[E8x+1:1:E9x]x[E8y+1:1:E9y]} -> |1*x+off9bx|1*x+off9by|, {[E9x+1:1:E10x]x[E9y+1:1:E10y]} -> |1*x+off10bx|1*x+off10by|
299-
, {[E10x+1:1:E11x]x[E10y+1:1:E11y]} -> |1*x+off11bx|1*x+off11by|, {[E11x+1:1:E12x]x[E11y+1:1:E12y]} -> |1*x+off12bx|1*x+off12by|
300-
, {[E12x+1:1:E13x]x[E12y+1:1:E13y]} -> |1*x+off13bx|1*x+off13by|, {[E13x+1:1:E14x]x[E13y+1:1:E14y]} -> |1*x+off14bx|1*x+off14by|
301-
, {[E14x+1:1:E15x]x[E14y+1:1:E15y]} -> |1*x+off15bx|1*x+off15by|, {[E15x+1:1:E16x]x[E15y+1:1:E16y]} -> |1*x+off16bx|1*x+off16by|
302-
, {[E16x+1:1:E17x]x[E16y+1:1:E17y]} -> |1*x+off17bx|1*x+off17by|, {[E17x+1:1:E18x]x[E17y+1:1:E18y]} -> |1*x+off18bx|1*x+off18by|
303-
, {[E18x+1:1:E19x]x[E18y+1:1:E19y]} -> |1*x+off19bx|1*x+off19by|, {[E19x+1:1:E20x]x[E19y+1:1:E20y]} -> |1*x+off20bx|1*x+off20by|
304-
, {[E20x+1:1:E21x]x[E20y+1:1:E21y]} -> |1*x+off21bx|1*x+off21by|, {[E21x+1:1:E22x]x[E21y+1:1:E22y]} -> |1*x+off22bx|1*x+off22by|>>
305-
306-
map2: <<{[1:1:E1x]x[1:1:E1y]} -> |1*x+off1dx|1*x+off1dy|, {[E1x+1:1:E2x]x[E1y+1:1:E2y]} -> |1*x+off2dx|1*x+off2dy|
294+
map1: <<{[1:1:E1x]x[1:1:E1y]} -> |1*x+off1dx|1*x+off1dy|, {[E1x+1:1:E2x]x[E1y+1:1:E2y]} -> |1*x+off2dx|1*x+off2dy|
307295
, {[E2x+1:1:E3x]x[E2y+1:1:E3y]} -> |1*x+off3dx|1*x+off3dy|, {[E3x+1:1:E4x]x[E3y+1:1:E4y]} -> |1*x+off4dx|1*x+off4dy|
308296
, {[E4x+1:1:E5x]x[E4y+1:1:E5y]} -> |1*x+off5dx|1*x+off5dy|, {[E5x+1:1:E6x]x[E5y+1:1:E6y]} -> |1*x+off6dx|1*x+off6dy|
309297
, {[E6x+1:1:E7x]x[E6y+1:1:E7y]} -> |1*x+off7dx|1*x+off7dy|, {[E7x+1:1:E8x]x[E7y+1:1:E8y]} -> |1*x+off8dx|1*x+off8dy|
@@ -315,20 +303,30 @@ matchSCC(
315303
, {[E18x+1:1:E19x]x[E18y+1:1:E19y]} -> |1*x+off19dx|1*x+off19dy|, {[E19x+1:1:E20x]x[E19y+1:1:E20y]} -> |1*x+off20dx|1*x+off20dy|
316304
, {[E20x+1:1:E21x]x[E20y+1:1:E21y]} -> |1*x+off21dx|1*x+off21dy|, {[E21x+1:1:E22x]x[E21y+1:1:E22y]} -> |1*x+off22dx|1*x+off22dy|>>
317305

306+
map2: <<{[1:1:E1x]x[1:1:E1y]} -> |1*x+off1bx|1*x+off1by|, {[E1x+1:1:E2x]x[E1y+1:1:E2y]} -> |1*x+off2bx|1*x+off2by|
307+
, {[E2x+1:1:E3x]x[E2y+1:1:E3y]} -> |1*x+off3bx|1*x+off3by|, {[E3x+1:1:E4x]x[E3y+1:1:E4y]} -> |1*x+off4bx|1*x+off4by|
308+
, {[E4x+1:1:E5x]x[E4y+1:1:E5y]} -> |1*x+off5bx|1*x+off5by|, {[E5x+1:1:E6x]x[E5y+1:1:E6y]} -> |1*x+off6bx|1*x+off6by|
309+
, {[E6x+1:1:E7x]x[E6y+1:1:E7y]} -> |1*x+off7bx|1*x+off7by|, {[E7x+1:1:E8x]x[E7y+1:1:E8y]} -> |1*x+off8bx|1*x+off8by|
310+
, {[E8x+1:1:E9x]x[E8y+1:1:E9y]} -> |1*x+off9bx|1*x+off9by|, {[E9x+1:1:E10x]x[E9y+1:1:E10y]} -> |1*x+off10bx|1*x+off10by|
311+
, {[E10x+1:1:E11x]x[E10y+1:1:E11y]} -> |1*x+off11bx|1*x+off11by|, {[E11x+1:1:E12x]x[E11y+1:1:E12y]} -> |1*x+off12bx|1*x+off12by|
312+
, {[E12x+1:1:E13x]x[E12y+1:1:E13y]} -> |1*x+off13bx|1*x+off13by|, {[E13x+1:1:E14x]x[E13y+1:1:E14y]} -> |1*x+off14bx|1*x+off14by|
313+
, {[E14x+1:1:E15x]x[E14y+1:1:E15y]} -> |1*x+off15bx|1*x+off15by|, {[E15x+1:1:E16x]x[E15y+1:1:E16y]} -> |1*x+off16bx|1*x+off16by|
314+
, {[E16x+1:1:E17x]x[E16y+1:1:E17y]} -> |1*x+off17bx|1*x+off17by|, {[E17x+1:1:E18x]x[E17y+1:1:E18y]} -> |1*x+off18bx|1*x+off18by|
315+
, {[E18x+1:1:E19x]x[E18y+1:1:E19y]} -> |1*x+off19bx|1*x+off19by|, {[E19x+1:1:E20x]x[E19y+1:1:E20y]} -> |1*x+off20bx|1*x+off20by|
316+
, {[E20x+1:1:E21x]x[E20y+1:1:E21y]} -> |1*x+off21bx|1*x+off21by|, {[E21x+1:1:E22x]x[E21y+1:1:E22y]} -> |1*x+off22bx|1*x+off22by|>>
317+
318318
Emap: <<{[1:1:E1x]x[1:1:E1y]} -> |0*x+1|0*x+1|, {[E1x+1:1:E2x]x[E1y+1:1:E2y]} -> |0*x+2|0*x+2|
319319
, {[E2x+1:1:E3x]x[E2y+1:1:E3y]} -> |0*x+3|0*x+3|, {[E3x+1:1:E4x]x[E3y+1:1:E4y]} -> |0*x+4|0*x+4|
320320
, {[E4x+1:1:E5x]x[E4y+1:1:E5y]} -> |0*x+5|0*x+5|, {[E5x+1:1:E6x]x[E5y+1:1:E6y]} -> |0*x+6|0*x+6|
321-
, {[E6x+1:1:E7x]x[E6y+1:1:E7y]} -> |0*x+6|0*x+6|, {[E7x+1:1:E8x]x[E7y+1:1:E8y]} -> |0*x+7|0*x+7|
322-
, {[E8x+1:1:E9x]x[E8y+1:1:E9y]} -> |0*x+8|0*x+8|, {[E9x+1:1:E10x]x[E9y+1:1:E10y]} -> |0*x+9|0*x+9|
323-
, {[E10x+1:1:E11x]x[E10y+1:1:E11y]} -> |0*x+10|0*x+10|, {[E11x+1:1:E12x]x[E11y+1:1:E12y]} -> |0*x+10|0*x+10|
324-
, {[E12x+1:1:E13x]x[E12y+1:1:E13y]} -> |0*x+11|0*x+11|, {[E13x+1:1:E14x]x[E13y+1:1:E14y]} -> |0*x+12|0*x+12|
325-
, {[E14x+1:1:E15x]x[E14y+1:1:E15y]} -> |0*x+13|0*x+13|, {[E15x+1:1:E16x]x[E15y+1:1:E16y]} -> |0*x+14|0*x+14|
326-
, {[E16x+1:1:E17x]x[E16y+1:1:E17y]} -> |0*x+14|0*x+14|, {[E17x+1:1:E18x]x[E17y+1:1:E18y]} -> |0*x+14|0*x+14|
327-
, {[E18x+1:1:E19x]x[E18y+1:1:E19y]} -> |0*x+15|0*x+15|, {[E19x+1:1:E20x]x[E19y+1:1:E20y]} -> |0*x+16|0*x+16|
328-
, {[E20x+1:1:E21x]x[E20y+1:1:E21y]} -> |0*x+17|0*x+17|, {[E21x+1:1:E22x]x[E21y+1:1:E22y]} -> |0*x+18|0*x+18|>>
329-
321+
, {[E6x+1:1:E7x]x[E6y+1:1:E7y]} -> |0*x+7|0*x+7|, {[E7x+1:1:E8x]x[E7y+1:1:E8y]} -> |0*x+8|0*x+8|
322+
, {[E8x+1:1:E9x]x[E8y+1:1:E9y]} -> |0*x+9|0*x+9|, {[E9x+1:1:E10x]x[E9y+1:1:E10y]} -> |0*x+10|0*x+10|
323+
, {[E10x+1:1:E11x]x[E10y+1:1:E11y]} -> |0*x+11|0*x+11|, {[E11x+1:1:E12x]x[E11y+1:1:E12y]} -> |0*x+12|0*x+12|
324+
, {[E12x+1:1:E13x]x[E12y+1:1:E13y]} -> |0*x+13|0*x+13|, {[E13x+1:1:E14x]x[E13y+1:1:E14y]} -> |0*x+14|0*x+14|
325+
, {[E14x+1:1:E15x]x[E14y+1:1:E15y]} -> |0*x+15|0*x+15|, {[E15x+1:1:E16x]x[E15y+1:1:E16y]} -> |0*x+16|0*x+16|
326+
, {[E16x+1:1:E17x]x[E16y+1:1:E17y]} -> |0*x+17|0*x+17|, {[E17x+1:1:E18x]x[E17y+1:1:E18y]} -> |0*x+18|0*x+18|
327+
, {[E18x+1:1:E19x]x[E18y+1:1:E19y]} -> |0*x+19|0*x+19|, {[E19x+1:1:E20x]x[E19y+1:1:E20y]} -> |0*x+20|0*x+20|
328+
, {[E20x+1:1:E21x]x[E20y+1:1:E21y]} -> |0*x+21|0*x+21|, {[E21x+1:1:E22x]x[E21y+1:1:E22y]} -> |0*x+22|0*x+22|>>
330329
X: F
331-
332330
Y: U
333331
, 1
334332
);

0 commit comments

Comments
 (0)