// LEFTOVERS FROM CREATING TEMPLATES.TXT
// AND POTENTIAL ARRAY INITIALIZATIONS


{<T0><F0>(){
<T1#integer#><V1>[9] = 
{<R1#integer;1<=R1<=9;#>, <R1>, <R1>, <R1>, <R1>, <R1>, <R1>, <R1>, <R1> };

}}


{<T0><F0>(){
<T1#integer#><V1>[9] = 
{1, 2, 3, 4, 5, 6, 7, 8, 9 };

}}


{<T0><F0>(){
<T1#integer#><V1>[9] = 
{9, 8, 7, 6, 5, 4, 3, 2, 1 };

}}


[<R1#integer;2<=R1<=9;#>]{<T0><F0>(){
<T1#integer#><V1>[9] = 
{
<R1>,
<R2#integer;R2 = R1 * 2;#>,
<R3#integer;R3 = R1 * 3;#>,
<R4#integer;R4 = R1 * 4;#>,
<R5#integer;R5 = R1 * 5;#>,
<R6#integer;R6 = R1 * 6;#>,
<R7#integer;R7 = R1 * 7;#>,
<R8#integer;R8 = R1 * 8;#>,
<R9#integer;R9 = R1 * 9;#>
};

}}


[<R1#integer;2<=R1<=9;#>]{<T0><F0>(){
<T1#integer#><V1>[9] = 
{
<R2#integer;R2 = R1 * 9;#>,
<R3#integer;R3 = R1 * 8;#>,
<R4#integer;R4 = R1 * 7;#>,
<R5#integer;R5 = R1 * 6;#>,
<R6#integer;R6 = R1 * 5;#>,
<R7#integer;R7 = R1 * 4;#>,
<R8#integer;R8 = R1 * 3;#>,
<R9#integer;R9 = R1 * 2;#>,
<R1>
};

}}


[<R1#integer;1<=R1<=9;#>]{<T0><F0>(){
<T1#integer#><V1>[9] = 
{
<R2#integer;R2 = R1 * 10;#>,
<R3#integer;R3 = R2 + 1;#>,
<R4#integer;R4 = R3 + 1;#>,
<R5#integer;R5 = R4 + 1;#>,
<R6#integer;R6 = R5 + 1;#>,
<R7#integer;R7 = R6 + 1;#>,
<R8#integer;R8 = R7 + 1;#>,
<R9#integer;R9 = R8 + 1;#>,
<R10#integer;R10 = R9 + 1;#>
};

}}



[<R1#integer;1<=R1<=9;#>]{<T0><F0>(){
<T1#integer#><V1>[9] = 
{
<R2#integer;R2 = R1 * 10;#>,
<R3#integer;R3 = R2 - 1;#>,
<R4#integer;R4 = R3 - 1;#>,
<R5#integer;R5 = R4 - 1;#>,
<R6#integer;R6 = R5 - 1;#>,
<R7#integer;R7 = R6 - 1;#>,
<R8#integer;R8 = R7 - 1;#>,
<R9#integer;R9 = R8 - 1;#>,
<R10#integer;R10 = R9 - 1;#>
};

}}


{<T0><F0>(){
<T1#integer#><V1>[9] = 
{
<R1#integer;1<=R1<=9;#>,
<R2#integer;11<=R2<=20;#>,
<R3#integer;21<=R3<=30;#>,
<R4#integer;31<=R4<=40;#>,
<R5#integer;41<=R5<=50;#>,
<R6#integer;51<=R6<=60;#>,
<R7#integer;61<=R7<=70;#>,
<R8#integer;71<=R8<=80;#>,
<R9#integer;81<=R9<=90;#>
};

}}


{<T0><F0>(){
<T1#integer#><V1>[9] = 
{
<R1#integer;81<=R1<=90;#>
<R2#integer;71<=R2<=80;#>,
<R3#integer;61<=R3<=70;#>,
<R4#integer;51<=R4<=60;#>,
<R5#integer;41<=R5<=50;#>,
<R6#integer;31<=R6<=40;#>,
<R7#integer;21<=R7<=30;#>,
<R8#integer;11<=R8<=20;#>,
<R9#integer;1<=R9<=9;#>,
};

}}




// systematic referencing, some elements, var subscript, same order, non-contiguous
# 435
Array.OneDim.Referencing.Systematic
?
Array.OneDim.Initialization.Complete.Correct
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>] = 
{
<R2#integer;11<=R2<=19;#>,
<R3#integer;R3=R2- 1;#>,
<R4#integer;R4=R3- 1;#>,
<R5#integer;R5=R4- 1;#>,
<R6#integer;R6=R5- 1;#>,
<R7#integer;R7=R6- 1;#>,
<R8#integer;R8=R7- 1;#>,
<R9#integer;R9=R8- 1;#>,
<R10#integer;R10=R9- 1;#>
};
<T1><V2>;
for( <V2> = 0; <V2> < 9; <V2> = <V2> + 3 )
{
<< <V1>[<V2>];
}
}}
>
Type: debug_output
Hardness: 20

// systematic referencing, some elements, var subscript, same order, non-contiguous
# 436
Array.OneDim.Referencing.Systematic
?
Array.OneDim.Assignment.Systematic
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>];
<T1><V2>;
for( <V2> = 0; <V2> < <R1>; <V2> = <V2> + 1 )
{
<V1>[<V2>] = <V2>;
}
for( <V2> = 0; <V2> < <R1>; <V2> = <V2> + 3 )
{
<< <V1>[<V2>] + <V2>;
}
}}
>
Type: debug_output
Hardness: 20

// systematic referencing, some elements, var subscript, different order, contiguous
# 437
Array.OneDim.Referencing.Systematic
?
Array.OneDim.Initialization.Complete.Correct
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>] = 
{
<R3#integer;11<=R3<=20;#>,
<R4#integer;21<=R4<=30;#>,
<R5#integer;31<=R5<=40;#>,
<R6#integer;41<=R6<=50;#>,
<R7#integer;51<=R7<=60;#>,
<R8#integer;61<=R8<=70;#>,
<R9#integer;71<=R9<=80;#>,
<R10#integer;81<=R10<=90;#>,
<R11#integer;91<=R11<100;#>
};
<T1><V2>;
for( <V2> = 8; <V2> >= <R2#integer;4<=R2<=6;#>; <V2> = <V2> - 1 )
{
<< <V1>[<V2>];
}
}}
>
Type: debug_output
Hardness: 20

// systematic referencing, some elements, var subscript, different order, contiguous
# 438
Array.OneDim.Referencing.Systematic
?
Array.OneDim.Assignment.Systematic
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>];
<T1><V2>;
for( <V2> = 0; <V2> < <R1>; <V2> = <V2> + 1 )
{
<V1>[<V2>] = <V2>;
}
<T1><V3> = <R1>;
for( <V2> = <R1> - 1; <V2> >= <R2#integer;4<=R2<=6;#>; <V2> = <V2> - 1 )
{
<< <V1>[<V2>] + <R2>;
}
}}
>
Type: debug_output
Hardness: 20

// systematic referencing, some elements, var subscript, different order, contiguous
# 439
Array.OneDim.Referencing.Systematic
?
Array.OneDim.Initialization.Complete.Correct
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>] = 
{
<R3#integer;81<=R3<=90;#>,
<R4#integer;71<=R4<=80;#>,
<R5#integer;61<=R5<=70;#>,
<R6#integer;51<=R6<=60;#>,
<R7#integer;41<=R7<=50;#>,
<R8#integer;31<=R8<=40;#>,
<R9#integer;21<=R9<=30;#>,
<R10#integer;11<=R10<=20;#>,
<R11#integer;1<=R11<=10;#>
};
<T1><V2>;
for( <V2> = <R2#integer;3<=R2<=5;#>; <V2> >= 0; <V2> = <V2> - 1 )
{
<< <V1>[<V2>];
}
}}
>
Type: debug_output
Hardness: 20

// systematic referencing, some elements, var subscript, different order, contiguous
# 440
Array.OneDim.Referencing.Systematic
?
Array.OneDim.Assignment.Systematic
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>];
<T1><V2>;
for( <V2> = 0; <V2> < <R1>; <V2> = <V2> + 1 )
{
<V1>[<V2>] = <V2>;
}
<T1><V3> = <R1>;
for( <V2> = <R2#integer;3<=R2<=5;#>; <V2> >= 0; <V2> = <V2> - 1 )
{
<< <V1>[<V2>] + <R2>;
}
}}
>
Type: debug_output
Hardness: 20

// systematic referencing, some elements, var subscript, different order, non-contiguous
# 441
Array.OneDim.Referencing.Systematic
?
Array.OneDim.Initialization.Complete.Correct
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>] = 
{
<R2#integer;11<=R2<=19;#>,
<R3#integer;R3=R2- 1;#>,
<R4#integer;R4=R3- 1;#>,
<R5#integer;R5=R4- 1;#>,
<R6#integer;R6=R5- 1;#>,
<R7#integer;R7=R6- 1;#>,
<R8#integer;R8=R7- 1;#>,
<R9#integer;R9=R8- 1;#>,
<R10#integer;R10=R9- 1;#>
};
<T1><V2>;
for( <V2> = 8; <V2> >= 0; <V2> = <V2> - 3 )
{
<< <V1>[<V2>];
}
}}
>
Type: debug_output
Hardness: 25

// systematic referencing, some elements, var subscript, different order, non-contiguous
# 442
Array.OneDim.Referencing.Systematic
?
Array.OneDim.Assignment.Systematic
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>];
<T1><V2>;
for( <V2> = 0; <V2> < <R1>; <V2> = <V2> + 1 )
{
<V1>[<V2>] = <V2>;
}
<T1><V3> = <R1>;
for( <V2> = <V3> - 1; <V2> >= 0; <V2> = <V2> - 3 )
{
<< <V1>[<V2>] + <V2>;
}
}}
>
Type: debug_output
Hardness: 25





// uses self-reference, ssytematic assignment AND expression subscript
// - too many learning objectives in one


// systematic assignment, some elements (first few), var subscript, self-referential value 
# 380
Array.OneDim.Assignment.Self Referential
>
{<T0><F0>(){
<T1#integer#><V1#tell#>[<R1#integer;9<=R1<=12;#>];
<T1><V2>;
<V1>[0] = <R2#integer;4<=R2<=6;#>;
for( <V2> = 1; <V2> < <R2>; <V2> = <V2> + 1 )
{
<V1>[<V2>] = <V1>[<V2> - 1];
}
<< <V1#ask#>[<R3#integer;0<=R3<4;#>];
}}
>
Type: state
Hardness: 40

// systematic assignment, some elements (last few), var subscript, self-referential value 
# 381
Array.OneDim.Assignment.Self Referential
>
{<T0><F0>(){
<T1#integer#><V1#tell#>[<R1#integer;9<=R1<=12;#>];
<T1><V2> = <R2#integer;4<=R2<=6;#>;
<V1>[<V2>] = <R3#integer;6<=R3<9;#>;
for( <V2> = <V2> + 1; <V2> < <R1>;<V2> = <V2> + 1 )
{
<V1>[<V2>] = <V1>[<V2> - 1] + 1;
}
<< <V1#ask#>[<R3>];
}}
>
Type: state
Hardness: 40

// systematic assignment, some elements (middle few), var subscript, self-referential value 
# 382
Array.OneDim.Assignment.Self Referential
>
{<T0><F0>(){
<T1#integer#><V1#tell#>[<R1#integer;9<=R1<=12;#>];
<T1><V2> = 0;
<T1><V3>;
for( <V3> = <R2#integer;2<=R2<=4;#>; <V3> < <R3#integer;6<=R3<=8;#>;<V3> = <V3> + 1 )
{
<V1>[<V2>] = <V2>;
<V1>[<V3>] = <V1>[<V2>];
<V2> = <V2> + 1;
}
<< <V1#ask#>[<R5#integer;4<=R5<6;#>];
}}
>
Type: state
Hardness: 45

// systematic assignment, some elements (alternating few), var subscript, self-referential value 
# 383
Array.OneDim.Assignment.Self Referential
>
{<T0><F0>(){
<T1#integer#><V1#tell#>[<R1#integer;8<=R1<=10;#>];
<T1><V2>;
for( <V2> = 1; <V2> < <R1>; <V2> = <V2> + <R3#integer;2<=R3<=3;#> )
{
<V1>[<V2>] = <V2>;
<V1>[<V2> - 1] = <V1>[<V2>] - 1;
}
<< <V1#ask#>[<R5#R5 = R3 + 1;#>];
}}
>
Type: state
Hardness: 50

// systematic assignment, all elements, var subscript, self-referential value - counting up
# 384
Array.OneDim.Assignment.Self Referential
>
{<T0><F0>(){
<T1#integer#><V1#tell#>[<R1#integer;9<=R1<=12;#>];
<V1>[0] = <R1>;
<T1><V2>;
for( <V2> = 1; <V2> < <R1>; <V2> = <V2> + 1 )
{
<V1>[<V2>] = <V1>[<V2> - 1]  - 1;
}
<< <V1#ask#>[<R5#integer;4<=R5<6;#>];
}}
>
Type: state
Hardness: 40

// systematic assignment, all elements, var subscript, self-referential value - counting down
# 385
Array.OneDim.Assignment.Self Referential
>
{<T0><F0>(){
<T1#integer#><V1#tell#>[<R1#integer;9<=R1<=12;#>];
<T1><V2> = <R1> - 1;
<V1>[<V2>] = <R1>;
for( <V2> = <V2> - 1; <V2> >= 0; <V2> = <V2> - 1 )
{
<V1>[<V2>] = <V1>[<V2> + 1] + 1;
}
<< <V1#ask#>[<R5#integer;4<=R5<6;#>];
}}
>
Type: state
Hardness: 50


// systematic referencing, all elements, expr subscript, different order
# 429
Array.OneDim.Referencing.Systematic
?
Array.OneDim.Initialization.Complete.Correct
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>] = 
{
<R2#integer;11<=R2<=19;#>,
<R3#integer;R3=R2- 1;#>,
<R4#integer;R4=R3- 1;#>,
<R5#integer;R5=R4- 1;#>,
<R6#integer;R6=R5- 1;#>,
<R7#integer;R7=R6- 1;#>,
<R8#integer;R8=R7- 1;#>,
<R9#integer;R9=R8- 1;#>,
<R10#integer;R10=R9- 1;#>
};
<T1><V2>;
for( <V2> = 9; <V2> >= 1; <V2> = <V2> - 1 )
{
<< <V1>[<V2> - 1];
}
}}
>
Type: debug_output
Hardness: 20

// systematic referencing, all elements, expr subscript, different order
# 430
Array.OneDim.Referencing.Systematic
?
Array.OneDim.Assignment.Systematic
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>];
<T1><V2>;
for( <V2> = 0; <V2> < <R1>; <V2> = <V2> + 1 )
{
<V1>[<V2>] = <V2>;
}
for( <V2> = <R1>; <V2> >= 0; <V2> = <V2> - 1 )
{
<< <V1>[<V2> - 1] + <V2>;
}
}}
>
Type: debug_output
Hardness: 20

// systematic referencing, some elements, expr subscript, same order, contiguous
# 443
Array.OneDim.Referencing.Systematic
?
Array.OneDim.Initialization.Complete.Correct
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>] = 
{
<R4#integer;1<=R4<=9;#>,
<R5#integer;R5=R4+1;#>,
<R6#integer;R6=R5+1;#>,
<R7#integer;R7=R6+1;#>,
<R8#integer;R8=R7+1;#>,
<R9#integer;R9=R8+1;#>,
<R10#integer;R10=R9+1;#>,
<R11#integer;R11=R10+1;#>,
<R12#integer;R12=R11+1;#>
};
<T1><V2>;
for( <V2> = 0; <V2> <= <R2#integer;2<=R2<=4;#>; <V2> = <V2> + 1 )
{
<< <V1>[<V2> + <R3#integer;1<=R3<=4;#>];
}
}}
>
Type: debug_output
Hardness: 25

// systematic referencing, some elements, expr subscript, same order, contiguous
# 444
Array.OneDim.Referencing.Systematic
?
Array.OneDim.Assignment.Systematic
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>];
<T1><V2>;
for( <V2> = 0; <V2> < <R1>; <V2> = <V2> + 1 )
{
<V1>[<V2>] = <V2>;
}
for( <V2> = <R2#integer;4<=R2<=6;#>; <V2> < <R1>; <V2> = <V2> + 1 )
{
<< <V1>[<V2> - <R2>];
}
}}
>
Type: debug_output
Hardness: 25

// systematic referencing, some elements, expr subscript, same order, non-contiguous
# 445
Array.OneDim.Referencing.Systematic
?
Array.OneDim.Initialization.Complete.Correct
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>] = 
{
<R3#integer;61<=R3<=70;#>,
<R4#integer;51<=R4<=60;#>,
<R5#integer;41<=R5<=50;#>,
<R6#integer;31<=R6<=40;#>,
<R7#integer;21<=R7<=30;#>,
<R8#integer;11<=R8<=20;#>,
<R9#integer;1<=R9<=10;#>
};
<T1><V2>;
for( <V2> = 0; <V2> < <R2#integer;2<=R2<=4;#>; <V2> = <V2> + 1 )
{
<< <V1>[<V2> * 2>];
}
}}
>
Type: debug_output
Hardness: 30

// systematic referencing, some elements, expr subscript, different order, contiguous
# 446
Array.OneDim.Referencing.Systematic
?
Array.OneDim.Assignment.Systematic
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>];
<T1><V2>;
for( <V2> = 0; <V2> < <R1>; <V2> = <V2> + 1 )
{
<V1>[<V2>] = <V2>;
}
for( <V2> = <R1>; <V2> >= <R2#integer;3<=R2<=5;#>; <V2> = <V2> - 1 )
{
<< <V1>[<V2> - <R2>];
}
}}
>
Type: debug_output
Hardness: 30

// systematic referencing, some elements, expr subscript, different order, contiguous
# 447
Array.OneDim.Referencing.Systematic
?
Array.OneDim.Initialization.Complete.Correct
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>] = 
{
<R3#integer;11<=R3<=20;#>,
<R4#integer;21<=R4<=30;#>,
<R5#integer;31<=R5<=40;#>,
<R6#integer;41<=R6<=50;#>,
<R7#integer;51<=R7<=60;#>,
<R8#integer;61<=R8<=70;#>,
<R9#integer;71<=R9<=80;#>
};
<T1><V2>;
for( <V2> = <R2#integer;2<=R2<=4;#>; <V2> >= 0; <V2> = <V2> - 1 )
{
<< <V1>[<V2> + <R2>];
}
}}
>
Type: debug_output
Hardness: 30

// systematic referencing, some elements, expr subscript, different order, non-contiguous
# 448
Array.OneDim.Referencing.Systematic
?
Array.OneDim.Assignment.Systematic
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>];
<T1><V2>;
for( <V2> = 0; <V2> < <R1>; <V2> = <V2> + 1 )
{
<V1>[<V2>] = <V2>;
}
for( <V2> = <R1> - 1; <V2> > 0; <V2> = <V2> - 2 )
{
<< <V1>[<V2> / 2];
}
}}
>
Type: debug_output
Hardness: 35








// random referencing, exprn subscript, by itself, same order
# 410
Array.OneDim.Referencing.Random
?
Array.OneDim.Initialization.Complete.Correct
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>] = 
{
<R2#integer;1<=R2<=9;#>,
<R3#integer;R3=R2+1;#>,
<R4#integer;R4=R3+1;#>,
<R5#integer;R5=R4+1;#>,
<R6#integer;R6=R5+1;#>,
<R7#integer;R7=R6+1;#>,
<R8#integer;R8=R7+1;#>,
<R9#integer;R9=R8+1;#>,
<R10#integer;R10=R9+1;#>
};
<T1><V2> = <R11#integer;2<=R11<=4;#>;
<< <V1>[<V2> - 2];
<< <V1>[<V2> + 1];
<< <V1>[<V2> * 2];
}}
>
Type: debug_output
Hardness: 30

// random referencing, exprn subscript, in an expression, same order
# 412
Array.OneDim.Referencing.Random
?
Array.OneDim.Initialization.Complete.Correct
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>] = 
{
<R2#integer;11<=R2<=19;#>,
<R3#integer;R3=R2- 1;#>,
<R4#integer;R4=R3- 1;#>,
<R5#integer;R5=R4- 1;#>,
<R6#integer;R6=R5- 1;#>,
<R7#integer;R7=R6- 1;#>,
<R8#integer;R8=R7- 1;#>,
<R9#integer;R9=R8- 1;#>,
<R10#integer;R10=R9- 1;#>
};
<T1><V2> = <R11#integer;1<=R11<=3;#>;
<< <V1>[<V2> - 1] - 1;
<< <V1>[<V2> * 2] * 10;
<< <V1>[<V2> + 5] + 5;
}}
>
Type: debug_output
Hardness: 40

// random referencing, exprn subscript, in an expression, different order
# 413
Array.OneDim.Referencing.Random
?
Array.OneDim.Assignment.Systematic
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>];
<T1><V2>;
for( <V2> = 0; <V2> < <R1>; <V2> = <V2> + 1 )
{
<V1>[<V2>] = <V2>;
}
<V2> = <R2#integer;6<=R2<=8;#>;
<< <V1>[<V2> - <R3#integer;1<=R3<=3;#>] + <R3>;
<< <V1>[<V2> - <R4#integer;4<=R4<=6;#>] + <R4>;
<< <V1>[<V2> - 2] + <V1>[<V2> - 4];

}}
>
Type: debug_output
Hardness: 45







// const referencing subscript, complete initialization
# 525
Array.OneDim.Subscript.Out of Bounds
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>] = 
{
<R2#integer;1<=R1<=9;#>,
<R3#integer;R3=R2+1;#>,
<R4#integer;R4=R3+1;#>,
<R5#integer;R5=R4+1;#>,
<R6#integer;R6=R5+1;#>,
<R7#integer;R7=R6+1;#>,
<R8#integer;R8=R7+1;#>,
<R9#integer;R9=R8+1;#>,
<R10#integer;R10=R9+1;#>
};
<< <V1>[<R1>];
<V1>[<R11#integer;0<=R11<=2;#>] = <R12#integer;3<=R12<=8;#>;
<V1>[<R13#integer;6<=R13<=8;#>] = <R1>;
}}
>
Type: debug_output
Hardness: 10

// const referencing subscript, systematic assignment to all elements
# 526
Array.OneDim.Subscript.Out of Bounds
?
Array.OneDim.Assignment.Systematic
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>];
<T1><V2>;
for( <V2> = 0; <V2> < <R1>; <V2> = <V2> + 1 )
{
<V1>[<V2>] = <V2>;
}
<V1>[<R2#integer;6<=R2<=8;#>] = <R1> - <R2>;
<< <V1>[<R1>];
<V1>[<R3#integer;0<=R3<=2;#>] = <R4#integer;3<=R4<=9;#>;
}}
>
Type: debug_output
Hardness: 15

// const referencing subscript, INcomplete initialization
# 527
Array.OneDim.Subscript.Out of Bounds
?
Array.OneDim.Initialization.Incomplete
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>] = 
{
<R2#integer;1<=R1<=9;#>,
<R3#integer;R3=R2+1;#>,
<R4#integer;R4=R3+1;#>,
<R5#integer;R5=R4+1;#>,
<R6#integer;R6=R5+1;#>,
<R7#integer;R7=R6+1;#>
};
<V1>[<R8#integer;0<=R8<=2;#>] = <R9#integer;3<=R9<=8;#>;
<< <V1>[<R1>];
}}
>
Type: debug_output
Hardness: 20


// var referencing subscript, complete initialization
# 528
Array.OneDim.Subscript.Out of Bounds
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>] = 
{
<R2#integer;1<=R1<=9;#>,
<R3#integer;R3=R2+1;#>,
<R4#integer;R4=R3+1;#>,
<R5#integer;R5=R4+1;#>,
<R6#integer;R6=R5+1;#>,
<R7#integer;R7=R6+1;#>,
<R8#integer;R8=R7+1;#>,
<R9#integer;R9=R8+1;#>,
<R10#integer;R10=R9+1;#>
};
<T1><V2> = 0;
<V1>[<V2>] = <R11#integer;0<=R11<=2;#>;
<V2> = <R1>;
<< <V1>[<V2>];
<V2> = <V2> - 1;
<V1>[<V2>] = <R12#integer;3<=R12<=8;#>;
}}
>
Type: debug_output
Hardness: 15

// exprsn referencing subscript, complete initialization
# 531
Array.OneDim.Subscript.Out of Bounds
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>] = 
{
<R2#integer;1<=R1<=9;#>,
<R3#integer;R3=R2+1;#>,
<R4#integer;R4=R3+1;#>,
<R5#integer;R5=R4+1;#>,
<R6#integer;R6=R5+1;#>,
<R7#integer;R7=R6+1;#>,
<R8#integer;R8=R7+1;#>,
<R9#integer;R9=R8+1;#>,
<R10#integer;R10=R9+1;#>
};
<T1><V2> = <R1>;
<V1>[<V2> - 1] = <R11#integer;0<=R11<=8;#>;
<< <V1>[<V2> + 1];
}}
>
Type: debug_output
Hardness: 20

// exprsn referencing subscript, INcomplete initialization
# 533
Array.OneDim.Subscript.Out of Bounds
?
Array.OneDim.Initialization.Incomplete
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>] = 
{
<R2#integer;1<=R1<=9;#>,
<R3#integer;R3=R2+1;#>,
<R4#integer;R4=R3+1;#>,
<R5#integer;R5=R4+1;#>,
<R6#integer;R6=R5+1;#>,
<R7#integer;R7=R6+1;#>
};
<T1><V2> = <R8#integer;6<=R8<=8;#>;
<V1>[<V2>] = <R9#integer;3<=R9<=8;#>;
<V1>[<V2> / 2] = <R9>;
<< <V1>[<V2> * 2];
}}
>
Type: debug_output
Hardness: 30


// random referencing, var subscript, by itself, 123 order
# 410
Array.OneDim.Subscript.Out of Bounds
?
Array.OneDim.Initialization.Complete.Correct
>
{<T0><F0>(){
<T1#integer#><V1>[9] = 
{1, 2, 3, 4, 5, 6, 7, 8, 9 };
<T1><V2> = <R1#integer;0<=R1<=2;#>;
<< <V1>[<V2>] * 10;
<V2> = <V2> + <R3#integer;2<=R3<=3;#>;
<< <V1>[<V2>];
<V2> = <V2> + <R3>;
<< <V1>[<V2>] * 10;
}}
>
Type: debug_output
Hardness: 30

// random referencing, var subscript, by itself, 321 order
# 411
Array.OneDim.Subscript.Out of Bounds
?
Array.OneDim.Initialization.Complete.Correct
>
[<R1#integer;1<=R1<=9;#>]{<T0><F0>(){
<T1#integer#><V1>[9] = 
{
<R2#integer;R2 = R1 * 10;#>,
<R3#integer;R3 = R2 + 1;#>,
<R4#integer;R4 = R3 + 1;#>,
<R5#integer;R5 = R4 + 1;#>,
<R6#integer;R6 = R5 + 1;#>,
<R7#integer;R7 = R6 + 1;#>,
<R8#integer;R8 = R7 + 1;#>,
<R9#integer;R9 = R8 + 1;#>,
<R10#integer;R10 = R9 + 1;#>
};
<T1><V2> = <R12#integer;6<=R12<=8;#>;
<< <V1>[<V2>] - 1;
<V2> = <V2> - <R13#integer;2<=R13<=3;#>;
<< <V1>[<V2>];
<V2> = <V2> - <R13>;
<< <V1>[<V2>] + 1;
}}
>
Type: debug_output
Hardness: 30

// random referencing, var subscript, in an expression, 213 order
# 412
Array.OneDim.Subscript.Out of Bounds
?
Array.OneDim.Initialization.Complete.Correct
>
{<T0><F0>(){
<T1#integer#><V1>[9] = 
{9, 8, 7, 6, 5, 4, 3, 2, 1 };
<T1><V2> = <R2#integer;3<=R2<=5;#>;
<< <V1>[<V2>];
<V2> = <R1#integer;0<=R1<=2;#>;
<< <V1>[<V2>] - <V2>;
<V2> = <R3#integer;6<=R3<=8;#>;
<< <V1>[<V2>] + <V2>;
}}
>
Type: debug_output
Hardness: 30

// random referencing, var subscript, in an expression, 132 order
# 413
Array.OneDim.Subscript.Out of Bounds
?
Array.OneDim.Initialization.Complete.Correct
>
{<T0><F0>(){
<T1#integer#><V1>[9] = 
{
<R1#integer;81<=R1<=90;#>
<R2#integer;71<=R2<=80;#>,
<R3#integer;61<=R3<=70;#>,
<R4#integer;51<=R4<=60;#>,
<R5#integer;41<=R5<=50;#>,
<R6#integer;31<=R6<=40;#>,
<R7#integer;21<=R7<=30;#>,
<R8#integer;11<=R8<=20;#>,
<R9#integer;1<=R9<=9;#>,
};
<T1><V2> = <R12#integer;6<=R12<=8;#>;
<< <V1>[<V2>];
<V2> = <R14#integer;0<=R14<=2;#>;
<< <V1>[<V2>] - 40;
<V2> = <R13#integer;3<=R13<=5;#>
<< <V1>[<V2>] - 20;
}}
>
Type: debug_output
Hardness: 30

// random referencing, var subscript, in an expression, 231 order
# 414
Array.OneDim.Subscript.Out of Bounds
?
Array.OneDim.Initialization.Complete.Correct
>
[<R1#integer;1<=R1<=9;#>]{<T0><F0>(){
<T1#integer#><V1>[9] = 
{
<R2#integer;R2 = R1 * 10;#>,
<R3#integer;R3 = R2 - 1;#>,
<R4#integer;R4 = R3 - 1;#>,
<R5#integer;R5 = R4 - 1;#>,
<R6#integer;R6 = R5 - 1;#>,
<R7#integer;R7 = R6 - 1;#>,
<R8#integer;R8 = R7 - 1;#>,
<R9#integer;R9 = R8 - 1;#>,
<R10#integer;R10 = R9 - 1;#>
};
<T1><V2> = <R13#integer;3<=R13<=5;#>;
<< <V1>[<V2>];
<T1><V3> = <V2> + <R11#2<=R11<=3;#>;
<< <V1>[<V3>];
<V2> = <V2> - <R11>;
<< <V1>[<V2>];
}}
>
Type: debug_output
Hardness: 30

// random referencing, var subscript, in an expression, 312 order
# 415
Array.OneDim.Subscript.Out of Bounds
?
Array.OneDim.Initialization.Complete.Correct
>
{<T0><F0>(){
<T1#integer#><V1>[9] = 
{
<R1#integer;1<=R1<=9;#>,
<R2#integer;11<=R2<=20;#>,
<R3#integer;21<=R3<=30;#>,
<R4#integer;31<=R4<=40;#>,
<R5#integer;41<=R5<=50;#>,
<R6#integer;51<=R6<=60;#>,
<R7#integer;61<=R7<=70;#>,
<R8#integer;71<=R8<=80;#>,
<R9#integer;81<=R9<=90;#>
};
<T1><V2> = <R12#integer;6<=R12<=8;#>;
<< <V1>[<V2>] - 50;
<V2> = <R14#integer;0<=R14<=2;#>;
<< <V1>[<V2>] + 50;
<V2> = <R13#integer;3<=R13<=5;#>;
<< <V1>[<V2>];
}}
>
Type: debug_output
Hardness: 30

// random assignment, some elements, var subscript, variable value 
# 312
Array.OneDim.Subscript.Out of Bounds
?
Array.OneDim.Assignment.Random
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>];
<T1><V2> = <R2#integer;0<=R2<=2;#>;
<T1><V3> = <R3#integer;3<=R3<=5;#>;
<T1><V4> = <R4#integer;6<=R4<=8;#>;
<V1>[<V2>] = <V4>;
<V1>[<V3>] = <V2>;
<V1>[<V4>] = <V3>;
}}
>
Type: state
Hardness: 30

// random assignment, some elements, var subscript, expression value 
# 313
Array.OneDim.Subscript.Out of Bounds
?
Array.OneDim.Assignment.Random
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>];
<T1><V2> = <R2#integer;0<=R2<=2;#>;
<V1>[<V2>] = <V2> * <V2>;
<V2> = <R3#integer;3<=R3<=5;#>;
<V1>[<V2>] = <V2> * 2;
<V2> = <R4#integer;6<=R4<=8;#>;
<V1>[<V2>] = <V2> + 2;
}}
>
Type: state
Hardness: 35


// var referencing subscript, INcomplete initialization
# 540
Array.OneDim.Subscript.Out of Bounds
?
Array.OneDim.Initialization.Incomplete
>
{<T0><F0>(){
<T1#integer#><V1>[<R1#integer;9<=R1<=12;#>] = 
{
<R2#integer;1<=R1<=9;#>,
<R3#integer;R3=R2+1;#>,
<R4#integer;R4=R3+1;#>,
<R5#integer;R5=R4+1;#>,
<R6#integer;R6=R5+1;#>,
<R7#integer;R7=R6+1;#>
};
<T1><V2> = <R8#integer;R8=R1 - 1;#>;
<V1>[<V2>] = <R9#integer;3<=R9<=8;#>;
<V2> = <V2> + 1;
<< <V1>[<V2>];
}}
>
Type: debug_output
Hardness: 25