<originalNodes>
    <node>(46,True,B,P -> 0)</node>
    <node>(47,Symkey,S,P -> 1)</node>
    <node>(48,And,B,P -> 1)</node>
    <node>(49,Or,B,P -> 1)</node>
    <node>(50,RS,S,P -> 1)</node>
    <node>(51,True,B,P -> 1)</node>
    <node>(62,IsOK,B,P -> 1)</node>
    <node>(64,Id,S,P -> 1)</node>
    <node>(65,And,B,P -> 1)</node>
    <node>(66,Or,B,P -> 1)</node>
    <node>(72,Id,S,P -> 1)</node>
    <node>(73,And,B,P -> 1)</node>
    <node>(74,Or,B,P -> 1)</node>
    <node>(80,Receive,S,P -> 1)</node>
    <node>(81,And,B,P -> 1)</node>
    <node>(82,Or,B,P -> 1)</node>
    <node>(86,Symenc,S,P -> 1)</node>
    <node>(87,And,B,P -> 1)</node>
    <node>(88,Or,B,P -> 1)</node>
    <node>(89,RS,S,P -> 1)</node>
    <node>(90,True,B,P -> 1)</node>
    <node>(107,Symdec,S,P -> 1)</node>
    <node>(108,And,B,P -> 1)</node>
    <node>(109,Or,B,P -> 1)</node>
    <node>(120,Send,N,P -> 1)</node>
    <node>(121,Req,B,P -> 1)</node>
    <node>(122,And,B,P -> 1)</node>
</originalNodes>
<originalEdges>
    <edge>50 54 47 (P,1) -> 1 PortRS</edge>
    <edge>48 55 47 (P,1) -> 1 PortSingleB</edge>
    <edge>46 59 48  PortStrictB</edge>
    <edge>49 60 48 (P,1) -> 1 PortStrictB</edge>
    <edge>51 58 48 (P,1) -> 1 PortStrictB</edge>
    <edge>109 119 49 (P,1) -> 1 PortUnstrB</edge>
    <edge>51 53 50 (P,1) -> 1 PortSingleB</edge>
    <edge>47 63 62 (P,1) -> 1 PortText</edge>
    <edge>47 67 64 (P,1) -> 1 PortText</edge>
    <edge>65 68 64 (P,1) -> 1 PortSingleB</edge>
    <edge>48 69 65 (P,1) -> 1 PortStrictB</edge>
    <edge>62 70 65 (P,1) -> 1 PortStrictB</edge>
    <edge>66 71 65 (P,1) -> 1 PortStrictB</edge>
    <edge>109 117 66 (P,1) -> 1 PortUnstrB</edge>
    <edge>47 75 72 (P,1) -> 1 PortText</edge>
    <edge>73 76 72 (P,1) -> 1 PortSingleB</edge>
    <edge>48 77 73 (P,1) -> 1 PortStrictB</edge>
    <edge>62 78 73 (P,1) -> 1 PortStrictB</edge>
    <edge>74 79 73 (P,1) -> 1 PortStrictB</edge>
    <edge>88 105 74 (P,1) -> 1 PortUnstrB</edge>
    <edge>81 83 80 (P,1) -> 1 PortSingleB</edge>
    <edge>62 84 81 (P,1) -> 1 PortStrictB</edge>
    <edge>82 85 81 (P,1) -> 1 PortStrictB</edge>
    <edge>88 106 82 (P,1) -> 1 PortUnstrB</edge>
    <edge>89 93 86 (P,1) -> 1 PortRS</edge>
    <edge>72 95 86 (P,1) -> 1 PortSymkey</edge>
    <edge>80 94 86 (P,1) -> 1 PortText</edge>
    <edge>87 96 86 (P,1) -> 1 PortSingleB</edge>
    <edge>62 102 87 (P,1) -> 1 PortStrictB</edge>
    <edge>73 100 87 (P,1) -> 1 PortStrictB</edge>
    <edge>81 101 87 (P,1) -> 1 PortStrictB</edge>
    <edge>88 103 87 (P,1) -> 1 PortStrictB</edge>
    <edge>90 99 87 (P,1) -> 1 PortStrictB</edge>
    <edge>109 118 88 (P,1) -> 1 PortUnstrB</edge>
    <edge>90 92 89 (P,1) -> 1 PortSingleB</edge>
    <edge>64 111 107 (P,1) -> 1 PortSymkey</edge>
    <edge>86 110 107 (P,1) -> 1 PortSymenc</edge>
    <edge>108 112 107 (P,1) -> 1 PortSingleB</edge>
    <edge>62 115 108 (P,1) -> 1 PortStrictB</edge>
    <edge>65 113 108 (P,1) -> 1 PortStrictB</edge>
    <edge>87 114 108 (P,1) -> 1 PortStrictB</edge>
    <edge>109 116 108 (P,1) -> 1 PortStrictB</edge>
    <edge>121 127 109 (P,1) -> 1 PortUnstrB</edge>
    <edge>107 123 120 (P,1) -> 1 PortText</edge>
    <edge>122 124 120 (P,1) -> 1 PortSingleB</edge>
    <edge>108 126 122 (P,1) -> 1 PortStrictB</edge>
    <edge>121 125 122 (P,1) -> 1 PortStrictB</edge>
</originalEdges>

<transformation nr="1">
    <decls>m=2;loop i 1 m (ID[i]=Id;B[i]=InputB;O[i]=OutputS;S[i]=InputS)</decls>
    <leftDGFR>loop i 1 m (ID[i](B[i];S[i]);O[i](ID[i]))</leftDGFR>
    <rightDGFR>loop i 1 m (O[i](S[i]))</rightDGFR>
    <leavingnodes>
        <node>((ID,[1]),(72,Id,Kaduv_tipp,P -> 1))</node>
        <node>((ID,[2]),(64,Id,Kaduv_tipp,P -> 1))</node>
    </leavingnodes>
    <stayingnodes>
    </stayingnodes>
    <inputnodes>
        <node>((B,[1]),(73,And,Sisend_tipp,P -> 1))</node>
        <node>((B,[2]),(65,And,Sisend_tipp,P -> 1))</node>
        <node>((S,[1]),(47,Symkey,Sisend_tipp,P -> 1))</node>
        <node>((S,[2]),(47,Symkey,Sisend_tipp,P -> 1))</node>
    </inputnodes>
    <outputnodes>
        <node>((O,[1]),(86,Symenc,Valjund_tipp,P -> 1))</node>
        <node>((O,[2]),(107,Symdec,Valjund_tipp,P -> 1))</node>
    </outputnodes>
    <comingnodes>
    </comingnodes>
    <leavingedges>
        <edge>(((ID,[2]),(O,[2])),(Kaduv_serv,111,(P,1) -> 1,PortSymkey))</edge>
        <edge>(((ID,[1]),(O,[1])),(Kaduv_serv,95,(P,1) -> 1,PortSymkey))</edge>
        <edge>(((B,[2]),(ID,[2])),(Kaduv_serv,68,(P,1) -> 1,PortSingleB))</edge>
        <edge>(((B,[1]),(ID,[1])),(Kaduv_serv,76,(P,1) -> 1,PortSingleB))</edge>
        <edge>(((S,[2]),(ID,[2])),(Kaduv_serv,67,(P,1) -> 1,PortText))</edge>
        <edge>(((S,[1]),(ID,[1])),(Kaduv_serv,75,(P,1) -> 1,PortText))</edge>
    </leavingedges>
    <stayingedges>
    </stayingedges>
    <comingedges>
        <edge>(((S,[1]),(O,[1])),(Tulev_serv,130,(P,1) -> 1,PortSymkey))</edge>
        <edge>(((S,[2]),(O,[2])),(Tulev_serv,131,(P,1) -> 1,PortSymkey))</edge>
    </comingedges>
</transformation>


<transformation nr="2">
    <decls>ENC=Symenc;DEC=Symdec;CE=InputB;CD=InputB;R=InputS;KE=InputS;KD=InputS;X=InputS;OD=OutputS;</decls>
    <leftDGFR>ENC(CE;R;KE;X);DEC(CD;ENC;KD);OD(DEC);</leftDGFR>
    <rightDGFR>OD(X);</rightDGFR>
    <leavingnodes>
        <node>((DEC,[]),(107,Symdec,Kaduv_tipp,P -> 1))</node>
        <node>((ENC,[]),(86,Symenc,Kaduv_tipp,P -> 1))</node>
    </leavingnodes>
    <stayingnodes>
    </stayingnodes>
    <inputnodes>
        <node>((CD,[]),(108,And,Sisend_tipp,P -> 1))</node>
        <node>((CE,[]),(87,And,Sisend_tipp,P -> 1))</node>
        <node>((KD,[]),(47,Symkey,Sisend_tipp,P -> 1))</node>
        <node>((KE,[]),(47,Symkey,Sisend_tipp,P -> 1))</node>
        <node>((R,[]),(89,RS,Sisend_tipp,P -> 1))</node>
        <node>((X,[]),(80,Receive,Sisend_tipp,P -> 1))</node>
    </inputnodes>
    <outputnodes>
        <node>((OD,[]),(120,Send,Valjund_tipp,P -> 1))</node>
    </outputnodes>
    <comingnodes>
    </comingnodes>
    <leavingedges>
        <edge>(((DEC,[]),(OD,[])),(Kaduv_serv,123,(P,1) -> 1,PortText))</edge>
        <edge>(((CD,[]),(DEC,[])),(Kaduv_serv,112,(P,1) -> 1,PortSingleB))</edge>
        <edge>(((KD,[]),(DEC,[])),(Kaduv_serv,133,(P,1) -> 1,PortSymkey))</edge>
        <edge>(((ENC,[]),(DEC,[])),(Kaduv_serv,110,(P,1) -> 1,PortSymenc))</edge>
        <edge>(((CE,[]),(ENC,[])),(Kaduv_serv,96,(P,1) -> 1,PortSingleB))</edge>
        <edge>(((R,[]),(ENC,[])),(Kaduv_serv,93,(P,1) -> 1,PortRS))</edge>
        <edge>(((KE,[]),(ENC,[])),(Kaduv_serv,132,(P,1) -> 1,PortSymkey))</edge>
        <edge>(((X,[]),(ENC,[])),(Kaduv_serv,94,(P,1) -> 1,PortText))</edge>
    </leavingedges>
    <stayingedges>
    </stayingedges>
    <comingedges>
        <edge>(((X,[]),(OD,[])),(Tulev_serv,134,(P,1) -> 1,PortText))</edge>
    </comingedges>
</transformation>


<transformation nr="3">
    <decls>T=True;O=OutputB;</decls>
    <leftDGFR>O(T)</leftDGFR>
    <rightDGFR></rightDGFR>
    <leavingnodes>
        <node>((T,[]),(90,True,Kaduv_tipp,P -> 1))</node>
    </leavingnodes>
    <stayingnodes>
    </stayingnodes>
    <inputnodes>
    </inputnodes>
    <outputnodes>
        <node>((O,[]),(87,And,Valjund_tipp,P -> 1))</node>
    </outputnodes>
    <comingnodes>
    </comingnodes>
    <leavingedges>
        <edge>(((T,[]),(O,[])),(Kaduv_serv,99,(P,1) -> 1,PortStrictB))</edge>
    </leavingedges>
    <stayingedges>
    </stayingedges>
    <comingedges>
    </comingedges>
</transformation>


<transformation nr="4">
    <decls>T=True;O=OutputB;</decls>
    <leftDGFR>O(T)</leftDGFR>
    <rightDGFR></rightDGFR>
    <leavingnodes>
        <node>((T,[]),(46,True,Kaduv_tipp,))</node>
    </leavingnodes>
    <stayingnodes>
    </stayingnodes>
    <inputnodes>
    </inputnodes>
    <outputnodes>
        <node>((O,[]),(48,And,Valjund_tipp,P -> 1))</node>
    </outputnodes>
    <comingnodes>
    </comingnodes>
    <leavingedges>
        <edge>(((T,[]),(O,[])),(Kaduv_serv,59,,PortStrictB))</edge>
    </leavingedges>
    <stayingedges>
    </stayingedges>
    <comingedges>
    </comingedges>
</transformation>


<transformation nr="5">
    <decls>I=InputB;OR=Or;O=OutputB;</decls>
    <leftDGFR>OR(I);O(OR)</leftDGFR>
    <rightDGFR></rightDGFR>
    <leavingnodes>
        <node>((OR,[]),(82,Or,Kaduv_tipp,P -> 1))</node>
    </leavingnodes>
    <stayingnodes>
    </stayingnodes>
    <inputnodes>
        <node>((I,[]),(88,Or,Sisend_tipp,P -> 1))</node>
    </inputnodes>
    <outputnodes>
        <node>((O,[]),(81,And,Valjund_tipp,P -> 1))</node>
    </outputnodes>
    <comingnodes>
    </comingnodes>
    <leavingedges>
        <edge>(((I,[]),(OR,[])),(Kaduv_serv,106,(P,1) -> 1,PortUnstrB))</edge>
        <edge>(((OR,[]),(O,[])),(Kaduv_serv,85,(P,1) -> 1,PortStrictB))</edge>
    </leavingedges>
    <stayingedges>
    </stayingedges>
    <comingedges>
    </comingedges>
</transformation>


<transformation nr="6">
    <decls>I=InputB;OR=Or;O=OutputB;</decls>
    <leftDGFR>OR(I);O(OR)</leftDGFR>
    <rightDGFR></rightDGFR>
    <leavingnodes>
        <node>((OR,[]),(74,Or,Kaduv_tipp,P -> 1))</node>
    </leavingnodes>
    <stayingnodes>
    </stayingnodes>
    <inputnodes>
        <node>((I,[]),(88,Or,Sisend_tipp,P -> 1))</node>
    </inputnodes>
    <outputnodes>
        <node>((O,[]),(73,And,Valjund_tipp,P -> 1))</node>
    </outputnodes>
    <comingnodes>
    </comingnodes>
    <leavingedges>
        <edge>(((I,[]),(OR,[])),(Kaduv_serv,105,(P,1) -> 1,PortUnstrB))</edge>
        <edge>(((OR,[]),(O,[])),(Kaduv_serv,79,(P,1) -> 1,PortStrictB))</edge>
    </leavingedges>
    <stayingedges>
    </stayingedges>
    <comingedges>
    </comingedges>
</transformation>


<transformation nr="7">
    <decls>I=InputB;OR=Or;O=OutputB;</decls>
    <leftDGFR>OR(I);O(OR)</leftDGFR>
    <rightDGFR></rightDGFR>
    <leavingnodes>
        <node>((OR,[]),(66,Or,Kaduv_tipp,P -> 1))</node>
    </leavingnodes>
    <stayingnodes>
    </stayingnodes>
    <inputnodes>
        <node>((I,[]),(109,Or,Sisend_tipp,P -> 1))</node>
    </inputnodes>
    <outputnodes>
        <node>((O,[]),(65,And,Valjund_tipp,P -> 1))</node>
    </outputnodes>
    <comingnodes>
    </comingnodes>
    <leavingedges>
        <edge>(((I,[]),(OR,[])),(Kaduv_serv,117,(P,1) -> 1,PortUnstrB))</edge>
        <edge>(((OR,[]),(O,[])),(Kaduv_serv,71,(P,1) -> 1,PortStrictB))</edge>
    </leavingedges>
    <stayingedges>
    </stayingedges>
    <comingedges>
    </comingedges>
</transformation>


<transformation nr="8">
    <decls>I=InputB;OR=Or;O=OutputB;</decls>
    <leftDGFR>OR(I);O(OR)</leftDGFR>
    <rightDGFR></rightDGFR>
    <leavingnodes>
        <node>((OR,[]),(88,Or,Kaduv_tipp,P -> 1))</node>
    </leavingnodes>
    <stayingnodes>
    </stayingnodes>
    <inputnodes>
        <node>((I,[]),(109,Or,Sisend_tipp,P -> 1))</node>
    </inputnodes>
    <outputnodes>
        <node>((O,[]),(87,And,Valjund_tipp,P -> 1))</node>
    </outputnodes>
    <comingnodes>
    </comingnodes>
    <leavingedges>
        <edge>(((I,[]),(OR,[])),(Kaduv_serv,118,(P,1) -> 1,PortUnstrB))</edge>
        <edge>(((OR,[]),(O,[])),(Kaduv_serv,103,(P,1) -> 1,PortStrictB))</edge>
    </leavingedges>
    <stayingedges>
    </stayingedges>
    <comingedges>
    </comingedges>
</transformation>


<transformation nr="9">
    <decls>I=InputB;O1=Or;O2=Or;OO1=OutputB;OO2=OO1;</decls>
    <leftDGFR>O1(I);OO1(O1);OO2(O2);O2(O1);</leftDGFR>
    <rightDGFR>O1(I);OO2(O2);O2(O1);</rightDGFR>
    <leavingnodes>
    </leavingnodes>
    <stayingnodes>
        <node>((O1,[]),(109,Or,Olev_tipp,P -> 1))</node>
        <node>((O2,[]),(49,Or,Olev_tipp,P -> 1))</node>
    </stayingnodes>
    <inputnodes>
        <node>((I,[]),(121,Req,Sisend_tipp,P -> 1))</node>
    </inputnodes>
    <outputnodes>
        <node>((OO1,[]),(108,And,Valjund_tipp,P -> 1))</node>
        <node>((OO2,[]),(48,And,Valjund_tipp,P -> 1))</node>
    </outputnodes>
    <comingnodes>
    </comingnodes>
    <leavingedges>
        <edge>(((O1,[]),(OO1,[])),(Kaduv_serv,116,(P,1) -> 1,PortStrictB))</edge>
    </leavingedges>
    <stayingedges>
        <edge>(((I,[]),(O1,[])),(Olev_serv,127,(P,1) -> 1,PortUnstrB))</edge>
        <edge>(((O2,[]),(OO2,[])),(Olev_serv,60,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((O1,[]),(O2,[])),(Olev_serv,119,(P,1) -> 1,PortUnstrB))</edge>
    </stayingedges>
    <comingedges>
    </comingedges>
</transformation>


<transformation nr="10">
    <decls>I=InputB;O=OutputB;OR=Or;</decls>
    <leftDGFR>OR(I);O(OR);</leftDGFR>
    <rightDGFR>O(I);</rightDGFR>
    <leavingnodes>
        <node>((OR,[]),(49,Or,Kaduv_tipp,P -> 1))</node>
    </leavingnodes>
    <stayingnodes>
    </stayingnodes>
    <inputnodes>
        <node>((I,[]),(109,Or,Sisend_tipp,P -> 1))</node>
    </inputnodes>
    <outputnodes>
        <node>((O,[]),(48,And,Valjund_tipp,P -> 1))</node>
    </outputnodes>
    <comingnodes>
    </comingnodes>
    <leavingedges>
        <edge>(((I,[]),(OR,[])),(Kaduv_serv,119,(P,1) -> 1,PortUnstrB))</edge>
        <edge>(((OR,[]),(O,[])),(Kaduv_serv,60,(P,1) -> 1,PortStrictB))</edge>
    </leavingedges>
    <stayingedges>
    </stayingedges>
    <comingedges>
        <edge>(((I,[]),(O,[])),(Tulev_serv,136,(P,1) -> 1,PortStrictB))</edge>
    </comingedges>
</transformation>


<transformation nr="11">
    <decls>I=InputB;O=OutputB;OR=Or;</decls>
    <leftDGFR>OR(I);O(OR);</leftDGFR>
    <rightDGFR>O(I);</rightDGFR>
    <leavingnodes>
        <node>((OR,[]),(109,Or,Kaduv_tipp,P -> 1))</node>
    </leavingnodes>
    <stayingnodes>
    </stayingnodes>
    <inputnodes>
        <node>((I,[]),(121,Req,Sisend_tipp,P -> 1))</node>
    </inputnodes>
    <outputnodes>
        <node>((O,[]),(48,And,Valjund_tipp,P -> 1))</node>
    </outputnodes>
    <comingnodes>
    </comingnodes>
    <leavingedges>
        <edge>(((I,[]),(OR,[])),(Kaduv_serv,127,(P,1) -> 1,PortUnstrB))</edge>
        <edge>(((OR,[]),(O,[])),(Kaduv_serv,137,(P,1) -> 1,PortStrictB))</edge>
    </leavingedges>
    <stayingedges>
    </stayingedges>
    <comingedges>
        <edge>(((I,[]),(O,[])),(Tulev_serv,138,(P,1) -> 1,PortStrictB))</edge>
    </comingedges>
</transformation>


<transformation nr="12">
    <decls>T=True;R=RS;O=OutputS;O3=O;O2=OutputB</decls>
    <leftDGFR>R(T);O2(T);O(R)</leftDGFR>
    <rightDGFR>R(T);O(R)</rightDGFR>
    <leavingnodes>
    </leavingnodes>
    <stayingnodes>
        <node>((R,[]),(50,RS,Olev_tipp,P -> 1))</node>
        <node>((T,[]),(51,True,Olev_tipp,P -> 1))</node>
    </stayingnodes>
    <inputnodes>
    </inputnodes>
    <outputnodes>
        <node>((O,[]),(47,Symkey,Valjund_tipp,P -> 1))</node>
        <node>((O2,[]),(48,And,Valjund_tipp,P -> 1))</node>
    </outputnodes>
    <comingnodes>
    </comingnodes>
    <leavingedges>
        <edge>(((T,[]),(O2,[])),(Kaduv_serv,58,(P,1) -> 1,PortStrictB))</edge>
    </leavingedges>
    <stayingedges>
        <edge>(((R,[]),(O,[])),(Olev_serv,54,(P,1) -> 1,PortRS))</edge>
        <edge>(((T,[]),(R,[])),(Olev_serv,53,(P,1) -> 1,PortSingleB))</edge>
    </stayingedges>
    <comingedges>
    </comingedges>
</transformation>


<transformation nr="13">
    <decls>A1=And;A2=And;A3=And;O=OutputB;loop i 1 6 (I[i]=InputB)</decls>
    <leftDGFR>A1(I[1];I[2]);A2(A1;I[3];A3);A3(I[4];I[5];I[6]);O(A2)</leftDGFR>
    <rightDGFR>A1(I[1];I[2]);A2(A1;;A3);A3(I[4];I[5];I[6]);O(A2)</rightDGFR>
    <leavingnodes>
    </leavingnodes>
    <stayingnodes>
        <node>((A1,[]),(65,And,Olev_tipp,P -> 1))</node>
        <node>((A2,[]),(108,And,Olev_tipp,P -> 1))</node>
        <node>((A3,[]),(87,And,Olev_tipp,P -> 1))</node>
    </stayingnodes>
    <inputnodes>
        <node>((I,[1]),(48,And,Sisend_tipp,P -> 1))</node>
        <node>((I,[2]),(62,IsOK,Sisend_tipp,P -> 1))</node>
        <node>((I,[3]),(62,IsOK,Sisend_tipp,P -> 1))</node>
        <node>((I,[4]),(73,And,Sisend_tipp,P -> 1))</node>
        <node>((I,[5]),(62,IsOK,Sisend_tipp,P -> 1))</node>
        <node>((I,[6]),(81,And,Sisend_tipp,P -> 1))</node>
    </inputnodes>
    <outputnodes>
        <node>((O,[]),(122,And,Valjund_tipp,P -> 1))</node>
    </outputnodes>
    <comingnodes>
    </comingnodes>
    <leavingedges>
        <edge>(((I,[3]),(A2,[])),(Kaduv_serv,115,(P,1) -> 1,PortStrictB))</edge>
    </leavingedges>
    <stayingedges>
        <edge>(((A2,[]),(O,[])),(Olev_serv,126,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((A1,[]),(A2,[])),(Olev_serv,113,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((A3,[]),(A2,[])),(Olev_serv,114,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((I,[1]),(A1,[])),(Olev_serv,69,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((I,[2]),(A1,[])),(Olev_serv,70,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((I,[4]),(A3,[])),(Olev_serv,100,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((I,[5]),(A3,[])),(Olev_serv,102,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((I,[6]),(A3,[])),(Olev_serv,101,(P,1) -> 1,PortStrictB))</edge>
    </stayingedges>
    <comingedges>
    </comingedges>
</transformation>


<transformation nr="14">
    <decls>n=2;loop i 1 n (O[i]=OutputB;A[i]=And);loop i 1 3 (I[i]=InputB)</decls>
    <leftDGFR>A[1](I[1]);A[2](A[1];I[2];I[3]);loop i 1 n (O[i](A[i]))</leftDGFR>
    <rightDGFR>A[1](I[1]);A[2](;I[2];I[3]);loop i 1 n (O[i](A[i]))</rightDGFR>
    <leavingnodes>
    </leavingnodes>
    <stayingnodes>
        <node>((A,[1]),(81,And,Olev_tipp,P -> 1))</node>
        <node>((A,[2]),(87,And,Olev_tipp,P -> 1))</node>
    </stayingnodes>
    <inputnodes>
        <node>((I,[1]),(62,IsOK,Sisend_tipp,P -> 1))</node>
        <node>((I,[2]),(73,And,Sisend_tipp,P -> 1))</node>
        <node>((I,[3]),(62,IsOK,Sisend_tipp,P -> 1))</node>
    </inputnodes>
    <outputnodes>
        <node>((O,[1]),(80,Receive,Valjund_tipp,P -> 1))</node>
        <node>((O,[2]),(108,And,Valjund_tipp,P -> 1))</node>
    </outputnodes>
    <comingnodes>
    </comingnodes>
    <leavingedges>
        <edge>(((A,[1]),(A,[2])),(Kaduv_serv,101,(P,1) -> 1,PortStrictB))</edge>
    </leavingedges>
    <stayingedges>
        <edge>(((I,[1]),(A,[1])),(Olev_serv,84,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((A,[2]),(O,[2])),(Olev_serv,114,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((A,[1]),(O,[1])),(Olev_serv,83,(P,1) -> 1,PortSingleB))</edge>
        <edge>(((I,[2]),(A,[2])),(Olev_serv,100,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((I,[3]),(A,[2])),(Olev_serv,102,(P,1) -> 1,PortStrictB))</edge>
    </stayingedges>
    <comingedges>
    </comingedges>
</transformation>


<transformation nr="15">
    <decls>loop i 1 3 (I[i]=InputB);loop i 1 2 (A[i]=And);O=OutputB;</decls>
    <leftDGFR>A[1](loop i 1 2 (I[i]));A[2](A[1];I[3]);O(A[2])</leftDGFR>
    <rightDGFR>A[1](loop i 1 2 (I[i]));A[2](A[1];);O(A[2])</rightDGFR>
    <leavingnodes>
    </leavingnodes>
    <stayingnodes>
        <node>((A,[1]),(73,And,Olev_tipp,P -> 1))</node>
        <node>((A,[2]),(87,And,Olev_tipp,P -> 1))</node>
    </stayingnodes>
    <inputnodes>
        <node>((I,[1]),(62,IsOK,Sisend_tipp,P -> 1))</node>
        <node>((I,[2]),(48,And,Sisend_tipp,P -> 1))</node>
        <node>((I,[3]),(62,IsOK,Sisend_tipp,P -> 1))</node>
    </inputnodes>
    <outputnodes>
        <node>((O,[]),(108,And,Valjund_tipp,P -> 1))</node>
    </outputnodes>
    <comingnodes>
    </comingnodes>
    <leavingedges>
        <edge>(((I,[3]),(A,[2])),(Kaduv_serv,102,(P,1) -> 1,PortStrictB))</edge>
    </leavingedges>
    <stayingedges>
        <edge>(((A,[2]),(O,[])),(Olev_serv,114,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((A,[1]),(A,[2])),(Olev_serv,100,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((I,[1]),(A,[1])),(Olev_serv,78,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((I,[2]),(A,[1])),(Olev_serv,77,(P,1) -> 1,PortStrictB))</edge>
    </stayingedges>
    <comingedges>
    </comingedges>
</transformation>


<transformation nr="16">
    <decls>n=2;loop i 1 n (I[i]=InputB;O[i]=OutputB;A[i]=And;);</decls>
    <leftDGFR>loop i 1 n (A[i](I[i]);O[i](A[i]))</leftDGFR>
    <rightDGFR>loop i 1 n (O[i](I[i]))</rightDGFR>
    <leavingnodes>
        <node>((A,[1]),(87,And,Kaduv_tipp,P -> 1))</node>
        <node>((A,[2]),(81,And,Kaduv_tipp,P -> 1))</node>
    </leavingnodes>
    <stayingnodes>
    </stayingnodes>
    <inputnodes>
        <node>((I,[1]),(73,And,Sisend_tipp,P -> 1))</node>
        <node>((I,[2]),(62,IsOK,Sisend_tipp,P -> 1))</node>
    </inputnodes>
    <outputnodes>
        <node>((O,[1]),(80,Receive,Valjund_tipp,P -> 1))</node>
        <node>((O,[2]),(108,And,Valjund_tipp,P -> 1))</node>
    </outputnodes>
    <comingnodes>
    </comingnodes>
    <leavingedges>
        <edge>(((I,[2]),(A,[2])),(Kaduv_serv,84,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((I,[1]),(A,[1])),(Kaduv_serv,100,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((A,[1]),(O,[2])),(Kaduv_serv,114,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((A,[2]),(O,[1])),(Kaduv_serv,83,(P,1) -> 1,PortSingleB))</edge>
    </leavingedges>
    <stayingedges>
    </stayingedges>
    <comingedges>
        <edge>(((I,[1]),(O,[1])),(Tulev_serv,140,(P,1) -> 1,PortSingleB))</edge>
        <edge>(((I,[2]),(O,[2])),(Tulev_serv,141,(P,1) -> 1,PortStrictB))</edge>
    </comingedges>
</transformation>


<transformation nr="17">
    <decls>loop i 1 3 (I[i]=InputB);A1=And;A2=And;O=OutputB;</decls>
    <leftDGFR>A1(I[1];I[2]);A2(I[3];A1);O(A2)</leftDGFR>
    <rightDGFR>A1(I[1];I[2]);O(A1)</rightDGFR>
    <leavingnodes>
        <node>((A2,[]),(108,And,Kaduv_tipp,P -> 1))</node>
    </leavingnodes>
    <stayingnodes>
        <node>((A1,[]),(65,And,Olev_tipp,P -> 1))</node>
    </stayingnodes>
    <inputnodes>
        <node>((I,[1]),(62,IsOK,Sisend_tipp,P -> 1))</node>
        <node>((I,[2]),(48,And,Sisend_tipp,P -> 1))</node>
        <node>((I,[3]),(62,IsOK,Sisend_tipp,P -> 1))</node>
    </inputnodes>
    <outputnodes>
        <node>((O,[]),(122,And,Valjund_tipp,P -> 1))</node>
    </outputnodes>
    <comingnodes>
    </comingnodes>
    <leavingedges>
        <edge>(((A2,[]),(O,[])),(Kaduv_serv,126,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((A1,[]),(A2,[])),(Kaduv_serv,113,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((I,[3]),(A2,[])),(Kaduv_serv,143,(P,1) -> 1,PortStrictB))</edge>
    </leavingedges>
    <stayingedges>
        <edge>(((I,[1]),(A1,[])),(Olev_serv,70,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((I,[2]),(A1,[])),(Olev_serv,69,(P,1) -> 1,PortStrictB))</edge>
    </stayingedges>
    <comingedges>
        <edge>(((A1,[]),(O,[])),(Tulev_serv,144,(P,1) -> 1,PortStrictB))</edge>
    </comingedges>
</transformation>


<transformation nr="18">
    <decls>n=2;m=2;loop i 1 n (A[i]=And;loop j 1 m (B[i,j]=InputB);OA[i]=OutputB);</decls>
    <leftDGFR>loop i 1 n (A[i](loop j 1 m (B[i,j]));OA[i](A[i]))</leftDGFR>
    <rightDGFR>A[1](loop j 1 m (B[1,j]));loop i 1 n (OA[i](A[1]));</rightDGFR>
    <leavingnodes>
        <node>((A,[2]),(65,And,Kaduv_tipp,P -> 1))</node>
    </leavingnodes>
    <stayingnodes>
        <node>((A,[1]),(73,And,Olev_tipp,P -> 1))</node>
    </stayingnodes>
    <inputnodes>
        <node>((B,[1,1]),(62,IsOK,Sisend_tipp,P -> 1))</node>
        <node>((B,[1,2]),(48,And,Sisend_tipp,P -> 1))</node>
        <node>((B,[2,1]),(48,And,Sisend_tipp,P -> 1))</node>
        <node>((B,[2,2]),(62,IsOK,Sisend_tipp,P -> 1))</node>
    </inputnodes>
    <outputnodes>
        <node>((OA,[1]),(80,Receive,Valjund_tipp,P -> 1))</node>
        <node>((OA,[2]),(122,And,Valjund_tipp,P -> 1))</node>
    </outputnodes>
    <comingnodes>
    </comingnodes>
    <leavingedges>
        <edge>(((A,[2]),(OA,[2])),(Kaduv_serv,145,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((B,[2,1]),(A,[1])),(Kaduv_serv,77,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((B,[2,2]),(A,[1])),(Kaduv_serv,78,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((B,[1,1]),(A,[2])),(Kaduv_serv,70,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((B,[1,2]),(A,[2])),(Kaduv_serv,69,(P,1) -> 1,PortStrictB))</edge>
    </leavingedges>
    <stayingedges>
        <edge>(((A,[1]),(OA,[1])),(Olev_serv,142,(P,1) -> 1,PortSingleB))</edge>
    </stayingedges>
    <comingedges>
        <edge>(((B,[1,1]),(A,[1])),(Tulev_serv,146,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((B,[1,2]),(A,[1])),(Tulev_serv,147,(P,1) -> 1,PortStrictB))</edge>
        <edge>(((A,[1]),(OA,[2])),(Tulev_serv,148,(P,1) -> 1,PortStrictB))</edge>
    </comingedges>
</transformation>

