0;(;S4;0;i;S5;0;E;1;0;T;2;0;F;3;1;+;S6;1;-;S7;1;#;acc;2;+;r3;2;-;r3;2;*;S8;2;\;S9;2;#;r3;3;+;r6;3;-;r6;3;*;r6;3;\;r6;3;#;r6;4;(;S13;4;i;S14;4;E;10;4;T;11;4;F;12;5;+;r8;5;-;r8;5;*;r8;5;\;r8;5;#;r8;6;(;S4;6;i;S5;6;T;15;6;F;3;7;(;S4;7;i;S5;7;T;16;7;F;3;8;(;S4;8;i;S5;8;F;17;9;(;S4;9;i;S5;9;F;18;10;+;S20;10;-;S21;10;);S19;11;+;r3;11;-;r3;11;*;S22;11;\;S23;11;);r3;12;+;r6;12;-;r6;12;*;r6;12;\;r6;12;);r6;13;(;S13;13;i;S14;13;E;24;13;T;11;13;F;12;14;+;r8;14;-;r8;14;*;r8;14;\;r8;14;);r8;15;+;r1;15;-;r1;15;*;S8;15;\;S9;15;#;r1;16;+;r2;16;-;r2;16;*;S8;16;\;S9;16;#;r2;17;+;r4;17;-;r4;17;*;r4;17;\;r4;17;#;r4;18;+;r5;18;-;r5;18;*;r5;18;\;r5;18;#;r5;19;+;r7;19;-;r7;19;*;r7;19;\;r7;19;#;r7;20;(;S13;20;i;S14;20;T;25;20;F;12;21;(;S13;21;i;S14;21;T;26;21;F;12;22;(;S13;22;i;S14;22;F;27;23;(;S13;23;i;S14;23;F;28;24;+;S20;24;-;S21;24;);S29;25;+;r1;25;-;r1;25;*;S22;25;\;S23;25;);r1;26;+;r2;26;-;r2;26;*;S22;26;\;S23;26;);r2;27;+;r4;27;-;r4;27;*;r4;27;\;r4;27;);r4;28;+;r5;28;-;r5;28;*;r5;28;\;r5;28;);r5;29;+;r7;29;-;r7;29;*;r7;29;\;r7;29;);r7;