[
][
][
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
][
][
]
[
]
[
][
][
]
[
]
[
]
[
]
[
][
][
]
[
]
[
]
[
][
][
][
]
[
]
[
]
[
]
[
]
[
]
[
][
][
][
]
[
]
[$AND(ts_W1G_QS2a,ts_W1G_QS2b,ts_W1G_QS2c)]
[$AND(ts_W1G_QSG21a,ts_W1G_QSG21b,ts_W1G_QSG21c)]
[
]
[$AND(ts_W2G_QS2a,ts_W2G_QS2b,ts_W2G_QS2c)]
[$AND(ts_W2G_QSG21a,ts_W2G_QSG21b,ts_W2G_QSG21c)]
[
]
[$AND(ts_W3G_QS2a,ts_W3G_QS2b,ts_W3G_QS2c)]
[$AND(ts_W3G_QSG21a,ts_W3G_QSG21b,ts_W3G_QSG21c)]
[
]
[$AND(ts_W4G_QS2a,ts_W4G_QS2b,ts_W4G_QS2c)]
[$AND(ts_W4G_QSG21a,ts_W4G_QSG21b,ts_W4G_QSG21c)]
[
]
[$AND(ts_T2G_QS2a,ts_T2G_QS2b,ts_T2G_QS2c)]
[$AND(ts_T2G_QSG21a,ts_T2G_QSG21b,ts_T2G_QSG21c)]
[
]
[$AND(ts_QB1G_QS2a,ts_QB1G_QS2b,ts_QB1G_QS2c)]
[$AND(ts_QB1G_QSG21a,ts_QB1G_QSG21b,ts_QB1G_QSG21c)]
[
]
[$AND(ts_W7G_QS2a,ts_W7G_QS2b,ts_W7G_QS2c)]
[$AND(ts_W7G_QSG21a,ts_W7G_QSG21b,ts_W7G_QSG21c)]
[
]
[$AND(ts_T1G_QS2a,ts_T1G_QS2b,ts_T1G_QS2c)]
[$AND(ts_T1G_QSG21a,ts_T1G_QSG21b,ts_T1G_QSG21c)]
[
]
[$AND(ts_W9G_QS2a,ts_W9G_QS2b,ts_W9G_QS2c)]
[$AND(ts_W9G_QSG21a,ts_W9G_QSG21b,ts_W9G_QSG21c)]
[
]
[$AND(ts_W11G_QS2a,ts_W11G_QS2b,ts_W11G_QS2c)]
[$AND(ts_W11G_QSG21a,ts_W11G_QSG21b,ts_W11G_QSG21c)]
[
]
[$AND(ts_W12G_QS2a,ts_W12G_QS2b,ts_W12G_QS2c)]
[$AND(ts_W12G_QSG21a,ts_W12G_QSG21b,ts_W12G_QSG21c)]
[
]
[
]
[
][
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[!self()]
[!self()]
[
]
[!self()]
[!self()]
[!self()]
[!self()]
[!self()]
[!self()]
[
][
][
][$(!ts_W1E:QSG2:2 and !ts_W1E:QSG1:1 and !ts_W1E:QSG2:1 and !ts_Q1:W1E and !ts_W2E:QSG2:1) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W1E:QS2 and !ts_W1E:QS1) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W1E:QS2 and !ts_3ATE:SQ1 and !ts_W2E:QS2) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W1E:QSG2:2 and !ts_W1E:QSG1:1 and !ts_W1E:QSG1:2 and !ts_W1E:QSG3:2 and !ts_Q1:W1E) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W1E:QS2 and !ts_W1E:QS1) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W1E:QS1 and !ts_W1E:QS3 and !ts_W1E:QS5 and !ts_SF1:TV1E and !ts_SF2:TV1E and !ts_SF3:TV1E) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W1E:QSG1:2 and !ts_W1E:QSG3:2 and !ts_W2E:QSG5:1) or $ts_SQ220;pause0(const_220,self())]
[$ts_SQ220;pause0(const_220,self())]
[$(!ts_W1E:QSG4:2 and !ts_W1E:QSG3:1 and !ts_W1E:QSG4:1 and !ts_Q2:W1E and !ts_W2E:QSG4:1) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W1E:QS4 and !ts_W1E:QS3) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W1E:QS4 and !ts_4ATE:SQ1 and !ts_W2E:QS4) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W1E:QSG1:2 and !ts_W1E:QSG3:2 and !ts_W1E:QSG4:2 and !ts_W1E:QSG3:1 and !ts_Q2:W1E) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W1E:QS4 and !ts_W1E:QS3) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W1E:QS1 and !ts_W1E:QS3 and !ts_W1E:QS5 and !ts_SF1:TV1E and !ts_SF2:TV1E and !ts_SF3:TV1E) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W2E:QSG2:2 and !ts_W2E:QSG1:1 and !ts_W2E:QSG2:1 and !ts_Q1:W2E and !ts_W1E:QSG2:1) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W2E:QS2 and !ts_W2E:QS1) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W2E:QS2 and !ts_3ATE:SQ1 and !ts_W1E:QS2) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W2E:QSG2:2 and !ts_W2E:QSG1:1 and !ts_W2E:QSG1:2 and !ts_W2E:QSG3:2 and !ts_Q1:W2E) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W2E:QS2 and !ts_W2E:QS1) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W2E:QS1 and !ts_W2E:QS3 and !ts_W2E:QS5 and !ts_SF1:TV2E and !ts_SF2:TV2E and !ts_SF3:TV2E) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W2E:QSG1:2 and !ts_W2E:QSG3:2 and !ts_W1E:QSG5:1) or $ts_SQ220;pause0(const_220,self())]
[$ts_SQ220;pause0(const_220,self())]
[$(!ts_W2E:QSG4:2 and !ts_W2E:QSG3:1 and !ts_W2E:QSG4:1 and !ts_Q2:W2E and !ts_W1E:QSG4:1) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W2E:QS4 and !ts_W2E:QS3) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W2E:QS4 and !ts_4ATE:SQ1 and !ts_W1E:QS4) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W2E:QSG1:2 and !ts_W2E:QSG3:2 and !ts_W2E:QSG4:2 and !ts_W2E:QSG3:1 and !ts_Q2:W2E) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W2E:QS4 and !ts_W2E:QS3) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_W2E:QS1 and !ts_W2E:QS3 and !ts_W2E:QS5 and !ts_SF1:TV2E and !ts_SF2:TV2E and !ts_SF3:TV2E) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_3ATE:SQG1:1 and !ts_3ATG:QSG4:2 and !ts_3ATG:QSG3:1 and !ts_3ATP:QSG1:2 and !ts_W2E:QSG2:1 and !ts_W1E:QSG2:1 and !ts_Q1:W1E and!ts_Q1:W2E) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_3ATE:SQ1 and !ts_3ATG:QS4 and !ts_3ATG:QS3 and !ts_3ATP:QS1) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_3ATE:SQG1:1 and !ts_3ATG:QSG4:2 and !ts_3ATG:QSG3:1 and !ts_QTN3P and !ts_QSG1:305) or $ts_SQ35;pause0(const_6,self())]
[$(!ts_3ATE:SQ1 and !ts_3ATG:QS4 and !ts_3ATG:QS3) or $ts_SQ35;pause0(const_6,self())]
[$(!ts_QS1:303) or $ts_SQ35;pause0(const_6,self())]
[$(!ts_3ATP:QSG1:1 and !ts_QSG1:305) or $ts_SQ35;pause0(const_6,self())]
[$(!ts_3ATP:QSG1:1 and !ts_QSG1:305) or $ts_SQ35;pause0(const_6,self())]
[$(!ts_3ATP:QS1 and !ts_QS1:303) or $ts_SQ35;pause0(const_6,self())]
[$(!ts_4ATE:SQG1:1 and !ts_4ATG:QSG4:2 and !ts_4ATG:QSG3:1 and !ts_4ATP:QSG1:2 and !ts_W2E:QSG4:1 and !ts_W1E:QSG4:1 and !ts_Q2:W1E and!ts_Q2:W2E) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_4ATE:SQ1 and !ts_4ATG:QS4 and !ts_4ATG:QS3 and !ts_4ATP:QS1) or $ts_SQ220;pause0(const_220,self())]
[$(!ts_4ATE:SQG1:1 and !ts_4ATG:QSG4:2 and !ts_4ATG:QSG3:1 and !ts_QTN4P and !ts_QSG1:406) or $ts_SQ35;pause0(const_6,self())]
[$(!ts_4ATE:SQ1 and !ts_4ATG:QS4 and !ts_4ATG:QS3) or $ts_SQ35;pause0(const_6,self())]
[$(!ts_QS1:404) or $ts_SQ35;pause0(const_6,self())]
[$(!ts_4ATP:QSG1:1 and !ts_QSG1:406) or $ts_SQ35;pause0(const_6,self())]
[$(!ts_4ATP:QSG1:1 and !ts_QSG1:406) or $ts_SQ35;pause0(const_6,self())]
[$(!ts_4ATP:QS1 and !ts_QS1:404) or $ts_SQ35;pause0(const_6,self())]
[
][$(!ts_3ATG:QSG1:1 and !ts_3ATG:QS2:a and !ts_3ATG:QS2:b and !ts_3ATG:QS2:c and !ts_3ATG:QSG2:1:a and !ts_3ATG:QSG2:1:b and !ts_3ATG:QSG2:1:c and !ts_3ATG:QSG4:1 and !ts_QT3G and !ts_QK1G:QSG1:1 and !ts_TV1G:QSG1:2) or $(!ts_3ATG:QSG1:1 and ts_3ATG:QS2:a and ts_3ATG:QS2:b and ts_3ATG:QS2:c and ts_QK1G:QS1 and !ts_QK1G:QSG1:1 and ts_QK1G:QS2 and ts_QK1G and !ts_TV1G:QSG1:2) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_3ATG:QS1 and !ts_3ATG:QSG2:1:a and !ts_3ATG:QSG2:1:b and !ts_3ATG:QSG2:1:c and !ts_3ATG:QS4) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_3ATG:QS1 and !ts_3ATG:QSG1:1 and !ts_3ATG:QSG2:1:a and !ts_3ATG:QSG2:1:b and !ts_3ATG:QSG2:1:c and !ts_3ATG:QSG4:1 and !ts_QT3G and !ts_QK1G:QSG2:1 and !ts_TV2G:QSG2:2) or $(ts_3ATG:QS1 and !ts_3ATG:QSG2:1:a and !ts_3ATG:QSG2:1:b and !ts_3ATG:QSG2:1:c and ts_QK1G:QS1 and ts_QK1G:QS2 and !ts_QK1G:QSG2:1 and ts_QK1G and !ts_TV2G:QSG2:2) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_3ATG:QS1 and !ts_3ATG:QSG1:1 and !ts_3ATG:QSG2:1:a and !ts_3ATG:QSG2:1:b and !ts_3ATG:QSG2:1:c and !ts_3ATG:QSG4:1 and !ts_QT3G and !ts_QK1G:QSG2:1 and !ts_TV2G:QSG2:2) or $(ts_3ATG:QS1 and !ts_3ATG:QSG2:1:a and !ts_3ATG:QSG2:1:b and !ts_3ATG:QSG2:1:c and ts_QK1G:QS1 and ts_QK1G:QS2 and !ts_QK1G:QSG2:1 and ts_QK1G and !ts_TV2G:QSG2:2) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_3ATG:QS1 and !ts_3ATG:QSG1:1 and !ts_3ATG:QSG2:1:a and !ts_3ATG:QSG2:1:b and !ts_3ATG:QSG2:1:c and !ts_3ATG:QSG4:1 and !ts_QT3G and !ts_QK1G:QSG2:1 and !ts_TV2G:QSG2:2) or $(ts_3ATG:QS1 and !ts_3ATG:QSG2:1:a and !ts_3ATG:QSG2:1:b and !ts_3ATG:QSG2:1:c and ts_QK1G:QS1 and ts_QK1G:QS2 and !ts_QK1G:QSG2:1 and ts_QK1G and !ts_TV2G:QSG2:2) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_3ATG:QS1 and !ts_3ATG:QS2:a and !ts_3ATG:QS2:b and !ts_3ATG:QS2:c and !ts_3ATG:QS4) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_3ATG:QS1 and !ts_3ATG:QS2:a and !ts_3ATG:QS2:b and !ts_3ATG:QS2:c and !ts_3ATG:QS4) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_3ATG:QS1 and !ts_3ATG:QS2:a and !ts_3ATG:QS2:b and !ts_3ATG:QS2:c and !ts_3ATG:QS4) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_3ATE:SQG1:1 and !ts_3ATG:QSG1:1 and !ts_3ATG:QSG2:1:a and !ts_3ATG:QSG2:1:b and !ts_3ATG:QSG2:1:c and !ts_3ATG:QSG4:1 and !ts_3ATG:QSG4:2 and !ts_3ATG:QSG3:1 and !ts_3ATP:QSG1:2 and !ts_QT3G) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_3ATG:QS1 and !ts_3ATG:QS2:a and !ts_3ATG:QS2:b and !ts_3ATG:QS2:c and !ts_3ATG:QS4) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_3ATE:SQ1 and !ts_3ATG:QS4 and !ts_3ATG:QS3 and !ts_3ATP:QS1) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_3ATG:QSG3:1 and !ts_4ATG:QSG3:2 and !ts_W1G:QS3 and !ts_W2G:QS3 and !ts_W3G:QS3 and !ts_W4G:QS3 and !ts_T2G:QS3 and !ts_W7G:QS3 and !ts_T1G:QS3 and !ts_W9G:QS3 and !ts_W11G:QS3 and !ts_W12G:QS3 and !ts_4ATG:QS3 and !ts_QB1G and !ts_QB1G:QSG3:2) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_3ATE:SQ1 and !ts_3ATG:QS4 and !ts_3ATG:QS3 and !ts_3ATP:QS1) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_4ATG:QSG1:1 and !ts_4ATG:QS2:a and !ts_4ATG:QS2:b and !ts_4ATG:QS2:c and !ts_4ATG:QSG2:1:a and !ts_4ATG:QSG2:1:b and !ts_4ATG:QSG2:1:c and !ts_4ATG:QSG4:1 and !ts_QT4G and !ts_QK1G:QSG1:1 and !ts_TV1G:QSG1:2) or $(!ts_4ATG:QSG1:1 and ts_4ATG:QS2:a and ts_4ATG:QS2:b and ts_4ATG:QS2:c and ts_QK1G:QS1 and !ts_QK1G:QSG1:1 and ts_QK1G:QS2 and ts_QK1G and !ts_TV1G:QSG1:2) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_4ATG:QS1 and !ts_4ATG:QSG2:1:a and !ts_4ATG:QSG2:1:b and !ts_4ATG:QSG2:1:c and !ts_4ATG:QS4) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_4ATG:QS1 and !ts_4ATG:QSG1:1 and !ts_4ATG:QSG2:1:a and !ts_4ATG:QSG2:1:b and !ts_4ATG:QSG2:1:c and !ts_4ATG:QSG4:1 and !ts_QT4G and !ts_QK1G:QSG2:1 and !ts_TV2G:QSG2:2) or $(ts_4ATG:QS1 and !ts_4ATG:QSG2:1:a and !ts_4ATG:QSG2:1:b and !ts_4ATG:QSG2:1:c and ts_QK1G:QS1 and ts_QK1G:QS2 and !ts_QK1G:QSG2:1 and ts_QK1G and !ts_TV2G:QSG2:2) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_4ATG:QS1 and !ts_4ATG:QSG1:1 and !ts_4ATG:QSG2:1:a and !ts_4ATG:QSG2:1:b and !ts_4ATG:QSG2:1:c and !ts_4ATG:QSG4:1 and !ts_QT4G and !ts_QK1G:QSG2:1 and !ts_TV2G:QSG2:2) or $(ts_4ATG:QS1 and !ts_4ATG:QSG2:1:a and !ts_4ATG:QSG2:1:b and !ts_4ATG:QSG2:1:c and ts_QK1G:QS1 and ts_QK1G:QS2 and !ts_QK1G:QSG2:1 and ts_QK1G and !ts_TV2G:QSG2:2) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_4ATG:QS1 and !ts_4ATG:QSG1:1 and !ts_4ATG:QSG2:1:a and !ts_4ATG:QSG2:1:b and !ts_4ATG:QSG2:1:c and !ts_4ATG:QSG4:1 and !ts_QT4G and !ts_QK1G:QSG2:1 and !ts_TV2G:QSG2:2) or $(ts_4ATG:QS1 and !ts_4ATG:QSG2:1:a and !ts_4ATG:QSG2:1:b and !ts_4ATG:QSG2:1:c and ts_QK1G:QS1 and ts_QK1G:QS2 and !ts_QK1G:QSG2:1 and ts_QK1G and !ts_TV2G:QSG2:2) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_4ATG:QS1 and !ts_4ATG:QS2:a and !ts_4ATG:QS2:b and !ts_4ATG:QS2:c and !ts_4ATG:QS4) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_4ATG:QS1 and !ts_4ATG:QS2:a and !ts_4ATG:QS2:b and !ts_4ATG:QS2:c and !ts_4ATG:QS4) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_4ATG:QS1 and !ts_4ATG:QS2:a and !ts_4ATG:QS2:b and !ts_4ATG:QS2:c and !ts_4ATG:QS4) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_4ATE:SQG1:1 and !ts_4ATG:QSG1:1 and !ts_4ATG:QSG2:1:a and !ts_4ATG:QSG2:1:b and !ts_4ATG:QSG2:1:c and !ts_4ATG:QSG4:1 and !ts_4ATG:QSG4:2 and !ts_4ATG:QSG3:1 and !ts_4ATP:QSG1:2 and !ts_QT4G) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_4ATG:QS1 and !ts_4ATG:QS2:a and !ts_4ATG:QS2:b and !ts_4ATG:QS2:c and !ts_4ATG:QS4) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_4ATE:SQ1 and !ts_4ATG:QS4 and !ts_4ATG:QS3 and !ts_4ATP:QS1) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_4ATG:QSG3:1 and !ts_4ATG:QSG3:2 and !ts_W1G:QS3 and !ts_W2G:QS3 and !ts_W3G:QS3 and !ts_W4G:QS3 and !ts_T2G:QS3 and !ts_W7G:QS3 and !ts_T1G:QS3 and !ts_W9G:QS3 and !ts_W11G:QS3 and !ts_W12G:QS3 and !ts_3ATG:QS3 and !ts_QB1G and !ts_QB1G:QSG3:2) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_4ATE:SQ1 and !ts_4ATG:QS4 and !ts_4ATG:QS3 and !ts_4ATP:QS1) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_QK1G:QSG1:1 and !ts_QK1G:QSG1:2 and !ts_QK1G:QSG2:2 and !ts_QK1G and !ts_TV1G:QSG1:2) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_QK1G:QS1 and !ts_QK1G:QS2) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_QK1G:QS1 and !ts_TV1G:QS1 and !ts_W1G:QS1 and !ts_W2G:QS1 and !ts_W3G:QS1 and !ts_W4G:QS1 and !ts_T2G:QS1 and !ts_QB1G:QS1 and !ts_W7G:QS1 and !ts_T1G:QS1 and !ts_W9G:QS1 and !ts_W11G:QS1 and !ts_W12G:QS1 and !ts_3ATG:QS1 and !ts_4ATG:QS1) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_QK1G:QSG2:1 and !ts_QK1G:QSG1:2 and !ts_QK1G:QSG2:2 and !ts_QK1G and !ts_TV2G:QSG2:2) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_QK1G:QS1 and !ts_QK1G:QS2) or $ts_SQ110;pause0(const_110,self())]
[$(!ts_QK1G:QS2 and !ts_TV2G:QS2 and !ts_W1G:QS2:a and !ts_W1G:QS2:b and !ts_W1G:QS2:c and !ts_W2G:QS2:a and !ts_W2G:QS2:b and !ts_W2G:QS2:c and !ts_W3G:QS2:a and !ts_W3G:QS2:b and !ts_W3G:QS2:c and !ts_W4G:QS2:a and !ts_W4G:QS2:b and !ts_W4G:QS2:c and !ts_T2G:QS2:a and !ts_T2G:QS2:b and !ts_T2G:QS2:c and !ts_QB1G:QS2:a and !ts_QB1G:QS2:b and !ts_QB1G:QS2:c and !ts_W7G:QS2:a and !ts_W7G:QS2:b and !ts_W7G:QS2:c and !ts_T1G:QS2:a and !ts_T1G:QS2:b and !ts_T1G:QS2:c and !ts_W9G:QS2:a and !ts_W9G:QS2:b and !ts_W9G:QS2:c and !ts_W11G:QS2:a and !ts_W11G:QS2:b and !ts_W11G:QS2:c and !ts_W12G:QS2:a and !ts_W12G:QS2:b and !ts_W12G:QS2:c and !ts_3ATG:QS2:a and !ts_3ATG:QS2:b and !ts_3ATG:QS2:c and !ts_4ATG:QS2:a and !ts_4ATG:QS2:b and !ts_4ATG:QS2:c) or $ts_SQ110;pause0(const_110,self())]
[
][$(!ts_W1G:QSG3:1 and !ts_W1G:QSG4:2 and !ts_W2G:QS3 and !ts_W3G:QS3 and !ts_W4G:QS3 and !ts_T2G:QS3 and !ts_W7G:QS3 and !ts_T1G:QS3 and !ts_W9G:QS3 and !ts_W11G:QS3 and !ts_W12G:QS3 and !ts_3ATG:QS3 and !ts_4ATG:QS3 and !ts_4ATG:QSG3:2 and !ts_QB1G and !ts_QB1G:QSG3:2) or $ts_SQ110]
[$(!ts_W1G:QS3 and !ts_W1G:QS4) or $ts_SQ110]
[$(!ts_W1G:QSG3:1 and !ts_W1G:QSG4:1 and !ts_W1G:QSG4:2 and !ts_W1G:QSG1:1 and !ts_W1G:QSG2:1:a and !ts_W1G:QSG2:1:b and !ts_W1G:QSG2:1:c and !ts_QW1G) or $ts_SQ110]
[$(!ts_W1G:QS4 and !ts_W1G:QS1 and !ts_W1G:QS2:a and !ts_W1G:QS2:b and !ts_W1G:QS2:c) or $ts_SQ110]
[$(!ts_W1G:QS3 and !ts_W1G:QS4) or $ts_SQ110]
[$(!ts_W1G:QSG4:1 and !ts_W1G:QSG1:1 and !ts_W1G:QS2:a and !ts_W1G:QS2:b and !ts_W1G:QS2:c and !ts_W1G:QSG2:1:a and !ts_W1G:QSG2:1:b and !ts_W1G:QSG2:1:c and !ts_QW1G and !ts_QK1G:QSG1:2 and !ts_TV1G:QSG1:2) or $(ts_W1G:QS2:a and ts_W1G:QS2:b and ts_W1G:QS2:c and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_W1G:QS4 and !ts_W1G:QS1 and !ts_W1G:QS2:a and !ts_W1G:QS2:b and !ts_W1G:QS2:c) or $ts_SQ110]
[$(!ts_W1G:QSG4:1 and !ts_W1G:QS1 and !ts_W1G:QSG1:1 and !ts_W1G:QSG2:1:a and !ts_W1G:QSG2:1:b and !ts_W1G:QSG2:1:c and !ts_QW1G and !ts_QK1G:QSG2:1 and !ts_TV2G:QSG2:2) or $(ts_W1G:QS1 and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_W1G:QS4 and !ts_W1G:QS1 and !ts_W1G:QS2:a and !ts_W1G:QS2:b and !ts_W1G:QS2:c) or $ts_SQ110]
[$(!ts_W2G:QSG3:1 and !ts_W2G:QSG4:2 and !ts_W1G:QS3 and !ts_W3G:QS3 and !ts_W4G:QS3 and !ts_T2G:QS3 and !ts_W7G:QS3 and !ts_T1G:QS3 and !ts_W9G:QS3 and !ts_W11G:QS3 and !ts_W12G:QS3 and !ts_3ATG:QS3 and !ts_4ATG:QS3 and !ts_4ATG:QSG3:2 and !ts_QB1G and !ts_QB1G:QSG3:2) or $ts_SQ110]
[$(!ts_W2G:QS3 and !ts_W2G:QS4) or $ts_SQ110]
[$(!ts_W2G:QSG3:1 and !ts_W2G:QSG4:1 and !ts_W2G:QSG4:2 and !ts_W2G:QSG1:1 and !ts_W2G:QSG2:1:a and !ts_W2G:QSG2:1:b and !ts_W2G:QSG2:1:c and !ts_QW2G) or $ts_SQ110]
[$(!ts_W2G:QS4 and !ts_W2G:QS1 and !ts_W2G:QS2:a and !ts_W2G:QS2:b and !ts_W2G:QS2:c) or $ts_SQ110]
[$(!ts_W2G:QS3 and !ts_W2G:QS4) or $ts_SQ110]
[$(!ts_W2G:QSG4:1 and !ts_W2G:QSG1:1 and !ts_W2G:QS2:a and !ts_W2G:QS2:b and !ts_W2G:QS2:c and !ts_W2G:QSG2:1:a and !ts_W2G:QSG2:1:b and !ts_W2G:QSG2:1:c and !ts_QW2G and !ts_QK1G:QSG1:2 and !ts_TV1G:QSG1:2) or $(ts_W2G:QS2:a and ts_W2G:QS2:b and ts_W2G:QS2:c and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_W2G:QS4 and !ts_W2G:QS1 and !ts_W2G:QS2:a and !ts_W2G:QS2:b and !ts_W2G:QS2:c) or $ts_SQ110]
[$(!ts_W2G:QSG4:1 and !ts_W2G:QS1 and !ts_W2G:QSG1:1 and !ts_W2G:QSG2:1:a and !ts_W2G:QSG2:1:b and !ts_W2G:QSG2:1:c and !ts_QW2G and !ts_QK1G:QSG2:1 and !ts_TV2G:QSG2:2) or $(ts_W2G:QS1 and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_W2G:QS4 and !ts_W2G:QS1 and !ts_W2G:QS2:a and !ts_W2G:QS2:b and !ts_W2G:QS2:c) or $ts_SQ110]
[$(!ts_W3G:QSG3:1 and !ts_W3G:QSG4:2 and !ts_W1G:QS3 and !ts_W2G:QS3 and !ts_W4G:QS3 and !ts_T2G:QS3 and !ts_W7G:QS3 and !ts_T1G:QS3 and !ts_W9G:QS3 and !ts_W11G:QS3 and !ts_W12G:QS3 and !ts_3ATG:QS3 and !ts_4ATG:QS3 and !ts_4ATG:QSG3:2 and !ts_QB1G and !ts_QB1G:QSG3:2) or $ts_SQ110]
[$(!ts_W3G:QS3 and !ts_W3G:QS4) or $ts_SQ110]
[$(!ts_W3G:QSG3:1 and !ts_W3G:QSG4:1 and !ts_W3G:QSG4:2 and !ts_W3G:QSG1:1 and !ts_W3G:QSG2:1:a and !ts_W3G:QSG2:1:b and !ts_W3G:QSG2:1:c and !ts_QW3G) or $ts_SQ110]
[$(!ts_W3G:QS4 and !ts_W3G:QS1 and !ts_W3G:QS2:a and !ts_W3G:QS2:b and !ts_W3G:QS2:c) or $ts_SQ110]
[$(!ts_W3G:QS3 and !ts_W3G:QS4) or $ts_SQ110]
[$(!ts_W3G:QSG4:1 and !ts_W3G:QSG1:1 and !ts_W3G:QS2:a and !ts_W3G:QS2:b and !ts_W3G:QS2:c and !ts_W3G:QSG2:1:a and !ts_W3G:QSG2:1:b and !ts_W3G:QSG2:1:c and !ts_QW3G and !ts_QK1G:QSG1:2 and !ts_TV1G:QSG1:2) or $(ts_W3G:QS2:a and ts_W3G:QS2:b and ts_W3G:QS2:c and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_W3G:QS4 and !ts_W3G:QS1 and !ts_W3G:QS2:a and !ts_W3G:QS2:b and !ts_W3G:QS2:c) or $ts_SQ110]
[$(!ts_W3G:QSG4:1 and !ts_W3G:QS1 and !ts_W3G:QSG1:1 and !ts_W3G:QSG2:1:a and !ts_W3G:QSG2:1:b and !ts_W3G:QSG2:1:c and !ts_QW3G and !ts_QK1G:QSG2:1 and !ts_TV2G:QSG2:2) or $(ts_W3G:QS1 and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_W3G:QS4 and !ts_W3G:QS1 and !ts_W3G:QS2:a and !ts_W3G:QS2:b and !ts_W3G:QS2:c) or $ts_SQ110]
[$(!ts_W4G:QSG3:1 and !ts_W4G:QSG4:2 and !ts_W1G:QS3 and !ts_W2G:QS3 and !ts_W3G:QS3 and !ts_T2G:QS3 and !ts_W7G:QS3 and !ts_T1G:QS3 and !ts_W9G:QS3 and !ts_W11G:QS3 and !ts_W12G:QS3 and !ts_3ATG:QS3 and !ts_4ATG:QS3 and !ts_4ATG:QSG3:2 and !ts_QB1G and !ts_QB1G:QSG3:2) or $ts_SQ110]
[$(!ts_W4G:QS3 and !ts_W4G:QS4) or $ts_SQ110]
[$(!ts_W4G:QSG3:1 and !ts_W4G:QSG4:1 and !ts_W4G:QSG4:2 and !ts_W4G:QSG1:1 and !ts_W4G:QSG2:1:a and !ts_W4G:QSG2:1:b and !ts_W4G:QSG2:1:c and !ts_QW4G) or $ts_SQ110]
[$(!ts_W4G:QS4 and !ts_W4G:QS1 and !ts_W4G:QS2:a and !ts_W4G:QS2:b and !ts_W4G:QS2:c) or $ts_SQ110]
[$(!ts_W4G:QS3 and !ts_W4G:QS4) or $ts_SQ110]
[$(!ts_W4G:QSG4:1 and !ts_W4G:QSG1:1 and !ts_W4G:QS2:a and !ts_W4G:QS2:b and !ts_W4G:QS2:c and !ts_W4G:QSG2:1:a and !ts_W4G:QSG2:1:b and !ts_W4G:QSG2:1:c and !ts_QW4G and !ts_QK1G:QSG1:2 and !ts_TV1G:QSG1:2) or $(ts_W4G:QS2:a and ts_W4G:QS2:b and ts_W4G:QS2:c and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_W4G:QS4 and !ts_W4G:QS1 and !ts_W4G:QS2:a and !ts_W4G:QS2:b and !ts_W4G:QS2:c) or $ts_SQ110]
[$(!ts_W4G:QSG4:1 and !ts_W4G:QS1 and !ts_W4G:QSG1:1 and !ts_W4G:QSG2:1:a and !ts_W4G:QSG2:1:b and !ts_W4G:QSG2:1:c and !ts_QW4G and !ts_QK1G:QSG2:1 and !ts_TV2G:QSG2:2) or $(ts_W4G:QS1 and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_W4G:QS4 and !ts_W4G:QS1 and !ts_W4G:QS2:a and !ts_W4G:QS2:b and !ts_W4G:QS2:c) or $ts_SQ110]
[$(!ts_T2G:QSG3:1 and !ts_T2G:QSG4:2 and !ts_W1G:QS3 and !ts_W2G:QS3 and !ts_W3G:QS3 and !ts_W4G:QS3 and !ts_T1G:QS3 and !ts_W7G:QS3 and !ts_W9G:QS3 and !ts_W11G:QS3 and !ts_W12G:QS3 and !ts_3ATG:QS3 and !ts_4ATG:QS3 and !ts_4ATG:QSG3:2 and !ts_QB1G and !ts_QB1G:QSG3:2 and !ts_T2H:QSG1:2 and !ts_QSG1:201) or $ts_SQ110]
[$(!ts_T2G:QS3 and !ts_T2G:QS4 and !ts_T2H:QS1 and !ts_QS1:201) or $ts_SQ110]
[$(!ts_T2G:QSG3:1 and !ts_T2G:QSG4:1 and !ts_T2G:QSG4:2 and !ts_T2G:QSG1:1 and !ts_T2G:QSG2:1:a and !ts_T2G:QSG2:1:b and !ts_T2G:QSG2:1:c and !ts_QT2G and !ts_T2H:QSG1:2 and !ts_QSG1:201) or $ts_SQ110]
[$(!ts_T2G:QS4 and !ts_T2G:QS1 and !ts_T2G:QS2:a and !ts_T2G:QS2:b and !ts_T2G:QS2:c) or $ts_SQ110]
[$(!ts_T2G:QS3 and !ts_T2G:QS4 and !ts_T2H:QS1 and !ts_QS1:201) or $ts_SQ110]
[$(!ts_T2G:QSG4:1 and !ts_T2G:QSG1:1 and !ts_T2G:QS2:a and !ts_T2G:QS2:b and !ts_T2G:QS2:c and !ts_T2G:QSG2:1:a and !ts_T2G:QSG2:1:b and !ts_T2G:QSG2:1:c and !ts_QT2G and !ts_QK1G:QSG1:1 and !ts_TV1G:QSG1:2) or $(ts_T2G:QS2:a and ts_T2G:QS2:b and ts_T2G:QS2:c and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_T2G:QS4 and !ts_T2G:QS1 and !ts_T2G:QS2:a and !ts_T2G:QS2:b and !ts_T2G:QS2:c) or $ts_SQ110]
[$(!ts_T2G:QSG4:1 and !ts_T2G:QS1 and !ts_T2G:QSG1:1 and !ts_T2G:QSG2:1:a and !ts_T2G:QSG2:1:b and !ts_T2G:QSG2:1:c and !ts_QT2G and !ts_QK1G:QSG2:1 and !ts_TV2G:QSG2:2) or $(ts_T2G:QS1 and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_T2G:QS4 and !ts_T2G:QS1 and !ts_T2G:QS2:a and !ts_T2G:QS2:b and !ts_T2G:QS2:c) or $ts_SQ110]
[$(!ts_QB1G:QSG3:2 and !ts_QB1G:QSG3:1 and !ts_QB1G:QSG1:1 and !ts_QB1G:QSG2:1:a and !ts_QB1G:QSG2:1:b and !ts_QB1G:QSG2:1:c and !ts_QB1G and !ts_4ATG:QSG3:2) or $ts_SQ110]
[$(!ts_QB1G:QS3 and !ts_W1G:QS3 and !ts_W2G:QS3 and !ts_W3G:QS3 and !ts_W4G:QS3 and !ts_T2G:QS3 and !ts_W7G:QS3 and !ts_T1G:QS3 and !ts_W9G:QS3 and !ts_W11G:QS3 and !ts_W12G:QS3 and !ts_3ATG:QS3 and !ts_4ATG:QS3) or $ts_SQ110]
[$(!ts_QB1G:QS3 and !ts_QB1G:QS1 and !ts_QB1G:QS2:a and !ts_QB1G:QS2:b and !ts_QB1G:QS2:c) or $ts_SQ110]
[$(!ts_QB1G:QSG3:1 and !ts_QB1G:QSG1:1 and !ts_QB1G:QS2:a and !ts_QB1G:QS2:b and !ts_QB1G:QS2:c and !ts_QB1G:QSG2:1:a and !ts_QB1G:QSG2:1:b and !ts_QB1G:QSG2:1:c and !ts_QB1G and !ts_TV1G:QSG1:2 and !ts_QK1G:QSG1:1) or $(ts_QB1G:QS2:a and ts_QB1G:QS2:b and ts_QB1G:QS2:c and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_QB1G:QS3 and !ts_QB1G:QS1 and !ts_QB1G:QS2:a and !ts_QB1G:QS2:b and !ts_QB1G:QS2:c) or $ts_SQ110]
[$(!ts_QB1G:QSG3:1 and !ts_QB1G:QS1 and !ts_QB1G:QSG1:1 and !ts_QB1G:QSG2:1:a and !ts_QB1G:QSG2:1:b and !ts_QB1G:QSG2:1:c and !ts_QB1G and !ts_TV2G:QSG2:2 and !ts_QK1G:QSG2:1) or $(ts_QB1G:QS1 and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_QB1G:QS3 and !ts_QB1G:QS1 and !ts_QB1G:QS2:a and !ts_QB1G:QS2:b and !ts_QB1G:QS2:c) or $ts_SQ110]
[$(!ts_W7G:QSG3:1 and !ts_W7G:QSG4:2 and !ts_W1G:QS3 and !ts_W2G:QS3 and !ts_W3G:QS3 and !ts_T2G:QS3 and !ts_W4G:QS3 and !ts_T1G:QS3 and !ts_W9G:QS3 and !ts_W11G:QS3 and !ts_W12G:QS3 and !ts_3ATG:QS3 and !ts_4ATG:QS3 and !ts_4ATG:QSG3:2 and !ts_QB1G and !ts_QB1G:QSG3:2) or $ts_SQ110]
[$(!ts_W7G:QS3 and !ts_W7G:QS4) or $ts_SQ110]
[$(!ts_W7G:QSG3:1 and !ts_W7G:QSG4:1 and !ts_W7G:QSG4:2 and !ts_W7G:QSG1:1 and !ts_W7G:QSG2:1:a and !ts_W7G:QSG2:1:b and !ts_W7G:QSG2:1:c and !ts_QW7G) or $ts_SQ110]
[$(!ts_W7G:QS4 and !ts_W7G:QS1 and !ts_W7G:QS2:a and !ts_W7G:QS2:b and !ts_W7G:QS2:c) or $ts_SQ110]
[$(!ts_W7G:QS3 and !ts_W7G:QS4) or $ts_SQ110]
[$(!ts_W7G:QSG4:1 and !ts_W7G:QSG1:1 and !ts_W7G:QS2:a and !ts_W7G:QS2:b and !ts_W7G:QS2:c and !ts_W7G:QSG2:1:a and !ts_W7G:QSG2:1:b and !ts_W7G:QSG2:1:c and !ts_QW7G and !ts_QK1G:QSG1:2 and !ts_TV1G:QSG1:2) or $(ts_W7G:QS2:a and ts_W7G:QS2:b and ts_W7G:QS2:c and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_W7G:QS4 and !ts_W7G:QS1 and !ts_W7G:QS2:a and !ts_W7G:QS2:b and !ts_W7G:QS2:c) or $ts_SQ110]
[$(!ts_W7G:QSG4:1 and !ts_W7G:QS1 and !ts_W7G:QSG1:1 and !ts_W7G:QSG2:1:a and !ts_W7G:QSG2:1:b and !ts_W7G:QSG2:1:c and !ts_QW7G and !ts_QK1G:QSG2:1 and !ts_TV2G:QSG2:2) or $(ts_W7G:QS1 and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_W7G:QS4 and !ts_W7G:QS1 and !ts_W7G:QS2:a and !ts_W7G:QS2:b and !ts_W7G:QS2:c) or $ts_SQ110]
[$(!ts_T1G:QSG3:1 and !ts_T1G:QSG4:2 and !ts_W1G:QS3 and !ts_W2G:QS3 and !ts_W3G:QS3 and !ts_W4G:QS3 and !ts_T2G:QS3 and !ts_W7G:QS3 and !ts_W9G:QS3 and !ts_W11G:QS3 and !ts_W12G:QS3 and !ts_3ATG:QS3 and !ts_4ATG:QS3 and !ts_4ATG:QSG3:2 and !ts_QB1G and !ts_QB1G:QSG3:2 and !ts_T1H:QSG1:2 and !ts_QSG1:101) or $ts_SQ110]
[$(!ts_T1G:QS3 and !ts_T1G:QS4 and !ts_T1H:QS1 and !ts_QS1:101) or $ts_SQ110]
[$(!ts_T1G:QSG3:1 and !ts_T1G:QSG4:1 and !ts_T1G:QSG4:2 and !ts_T1G:QSG1:1 and !ts_T1G:QSG2:1:a and !ts_T1G:QSG2:1:b and !ts_T1G:QSG2:1:c and !ts_QT1G and !ts_T1H:QSG1:2 and !ts_QSG1:101) or $ts_SQ110]
[$(!ts_T1G:QS4 and !ts_T1G:QS1 and !ts_T1G:QS2:a and !ts_T1G:QS2:b and !ts_T1G:QS2:c) or $ts_SQ110]
[$(!ts_T1G:QS3 and !ts_T1G:QS4 and !ts_T1H:QS1 and !ts_QS1:101) or $ts_SQ110]
[$(!ts_T1G:QSG4:1 and !ts_T1G:QSG1:1 and !ts_T1G:QS2:a and !ts_T1G:QS2:b and !ts_T1G:QS2:c and !ts_T1G:QSG2:1:a and !ts_T1G:QSG2:1:b and !ts_T1G:QSG2:1:c and !ts_QT1G and !ts_QK1G:QSG1:1 and !ts_TV1G:QSG1:2) or $(ts_T1G:QS2:a and ts_T1G:QS2:b and ts_T1G:QS2:c and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_T1G:QS4 and !ts_T1G:QS1 and !ts_T1G:QS2:a and !ts_T1G:QS2:b and !ts_T1G:QS2:c) or $ts_SQ110]
[$(!ts_T1G:QSG4:1 and !ts_T1G:QS1 and !ts_T1G:QSG1:1 and !ts_T1G:QSG2:1:a and !ts_T1G:QSG2:1:b and !ts_T1G:QSG2:1:c and !ts_QT1G and !ts_QK1G:QSG2:1 and !ts_TV2G:QSG2:2) or $(ts_T1G:QS1 and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_T1G:QS4 and !ts_T1G:QS1 and !ts_T1G:QS2:a and !ts_T1G:QS2:b and !ts_T1G:QS2:c) or $ts_SQ110]
[$(!ts_W9G:QSG3:1 and !ts_W9G:QSG4:2 and !ts_W1G:QS3 and !ts_W2G:QS3 and !ts_W3G:QS3 and !ts_T2G:QS3 and !ts_W4G:QS3 and !ts_T1G:QS3 and !ts_W7G:QS3 and !ts_W11G:QS3 and !ts_W12G:QS3 and !ts_3ATG:QS3 and !ts_4ATG:QS3 and !ts_4ATG:QSG3:2 and !ts_QB1G and !ts_QB1G:QSG3:2) or $ts_SQ110]
[$(!ts_W9G:QS3 and !ts_W9G:QS4) or $ts_SQ110]
[$(!ts_W9G:QSG3:1 and !ts_W9G:QSG4:1 and !ts_W9G:QSG4:2 and !ts_W9G:QSG1:1 and !ts_W9G:QSG2:1:a and !ts_W9G:QSG2:1:b and !ts_W9G:QSG2:1:c and !ts_QW9G) or $ts_SQ110]
[$(!ts_W9G:QS4 and !ts_W9G:QS1 and !ts_W9G:QS2:a and !ts_W9G:QS2:b and !ts_W9G:QS2:c) or $ts_SQ110]
[$(!ts_W9G:QS3 and !ts_W9G:QS4) or $ts_SQ110]
[$(!ts_W9G:QSG4:1 and !ts_W9G:QSG1:1 and !ts_W9G:QS2:a and !ts_W9G:QS2:b and !ts_W9G:QS2:c and !ts_W9G:QSG2:1:a and !ts_W9G:QSG2:1:b and !ts_W9G:QSG2:1:c and !ts_QW9G and !ts_QK1G:QSG1:2 and !ts_TV1G:QSG1:2) or $(ts_W9G:QS2:a and ts_W9G:QS2:b and ts_W9G:QS2:c and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_W9G:QS4 and !ts_W9G:QS1 and !ts_W9G:QS2:a and !ts_W9G:QS2:b and !ts_W9G:QS2:c) or $ts_SQ110]
[$(!ts_W9G:QSG4:1 and !ts_W9G:QS1 and !ts_W9G:QSG1:1 and !ts_W9G:QSG2:1:a and !ts_W9G:QSG2:1:b and !ts_W9G:QSG2:1:c and !ts_QW9G and !ts_QK1G:QSG2:1 and !ts_TV2G:QSG2:2) or $(ts_W9G:QS1 and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_W9G:QS4 and !ts_W9G:QS1 and !ts_W9G:QS2:a and !ts_W9G:QS2:b and !ts_W9G:QS2:c) or $ts_SQ110]
[$(!ts_W11G:QSG3:1 and !ts_W11G:QSG4:2 and !ts_W1G:QS3 and !ts_W2G:QS3 and !ts_W3G:QS3 and !ts_T2G:QS3 and !ts_W4G:QS3 and !ts_T1G:QS3 and !ts_W7G:QS3 and !ts_W9G:QS3 and !ts_W12G:QS3 and !ts_3ATG:QS3 and !ts_4ATG:QS3 and !ts_4ATG:QSG3:2 and !ts_QB1G and !ts_QB1G:QSG3:2) or $ts_SQ110]
[$(!ts_W11G:QS3 and !ts_W11G:QS4) or $ts_SQ110]
[$(!ts_W11G:QSG3:1 and !ts_W11G:QSG4:1 and !ts_W11G:QSG4:2 and !ts_W11G:QSG1:1 and !ts_W11G:QSG2:1:a and !ts_W11G:QSG2:1:b and !ts_W11G:QSG2:1:c and !ts_QW11G) or $ts_SQ110]
[$(!ts_W11G:QS4 and !ts_W11G:QS1 and !ts_W11G:QS2:a and !ts_W11G:QS2:b and !ts_W11G:QS2:c) or $ts_SQ110]
[$(!ts_W11G:QS3 and !ts_W11G:QS4) or $ts_SQ110]
[$(!ts_W11G:QSG4:1 and !ts_W11G:QSG1:1 and !ts_W11G:QS2:a and !ts_W11G:QS2:b and !ts_W11G:QS2:c and !ts_W11G:QSG2:1:a and !ts_W11G:QSG2:1:b and !ts_W11G:QSG2:1:c and !ts_QW11G and !ts_QK1G:QSG1:2 and !ts_TV1G:QSG1:2) or $(ts_W11G:QS2:a and ts_W11G:QS2:b and ts_W11G:QS2:c and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_W11G:QS4 and !ts_W11G:QS1 and !ts_W11G:QS2:a and !ts_W11G:QS2:b and !ts_W11G:QS2:c) or $ts_SQ110]
[$(!ts_W11G:QSG4:1 and !ts_W11G:QS1 and !ts_W11G:QSG1:1 and !ts_W11G:QSG2:1:a and !ts_W11G:QSG2:1:b and !ts_W11G:QSG2:1:c and !ts_QW11G and !ts_QK1G:QSG2:1 and !ts_TV2G:QSG2:2) or $(ts_W11G:QS1 and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_W11G:QS4 and !ts_W11G:QS1 and !ts_W11G:QS2:a and !ts_W11G:QS2:b and !ts_W11G:QS2:c) or $ts_SQ110]
[$(!ts_W12G:QSG3:1 and !ts_W12G:QSG4:2 and !ts_W1G:QS3 and !ts_W2G:QS3 and !ts_W3G:QS3 and !ts_T2G:QS3 and !ts_W4G:QS3 and !ts_T1G:QS3 and !ts_W7G:QS3 and !ts_W9G:QS3 and !ts_W11G:QS3 and !ts_3ATG:QS3 and !ts_4ATG:QS3 and !ts_4ATG:QSG3:2 and !ts_QB1G and !ts_QB1G:QSG3:2) or $ts_SQ110]
[$(!ts_W12G:QS3 and !ts_W12G:QS4) or $ts_SQ110]
[$(!ts_W12G:QSG3:1 and !ts_W12G:QSG4:1 and !ts_W12G:QSG4:2 and !ts_W12G:QSG1:1 and !ts_W12G:QSG2:1:a and !ts_W12G:QSG2:1:b and !ts_W12G:QSG2:1:c and !ts_QW12G) or $ts_SQ110]
[$(!ts_W12G:QS4 and !ts_W12G:QS1 and !ts_W12G:QS2:a and !ts_W12G:QS2:b and !ts_W12G:QS2:c) or $ts_SQ110]
[$(!ts_W12G:QS3 and !ts_W12G:QS4) or $ts_SQ110]
[$(!ts_W12G:QSG4:1 and !ts_W12G:QSG1:1 and !ts_W12G:QS2:a and !ts_W12G:QS2:b and !ts_W12G:QS2:c and !ts_W12G:QSG2:1:a and !ts_W12G:QSG2:1:b and !ts_W12G:QSG2:1:c and !ts_QW12G and !ts_QK1G:QSG1:2 and !ts_TV1G:QSG1:2) or $(ts_W12G:QS2:a and ts_W12G:QS2:b and ts_W12G:QS2:c and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_W12G:QS4 and !ts_W12G:QS1 and !ts_W12G:QS2:a and !ts_W12G:QS2:b and !ts_W12G:QS2:c) or $ts_SQ110]
[$(!ts_W12G:QSG4:1 and !ts_W12G:QS1 and !ts_W12G:QSG1:1 and !ts_W12G:QSG2:1:a and !ts_W12G:QSG2:1:b and !ts_W12G:QSG2:1:c and !ts_QW12G and !ts_QK1G:QSG2:1 and !ts_TV2G:QSG2:2) or $(ts_W12G:QS1 and ts_QK1G and ts_QK1G:QS1 and ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_W12G:QS4 and !ts_W12G:QS1 and !ts_W12G:QS2:a and !ts_W12G:QS2:b and !ts_W12G:QS2:c) or $ts_SQ110]
[$(!ts_QK1G:QSG1:1 and !ts_TV1G:QSG1:1 and !ts_TV1G:QSG1:2) or $ts_SQ110]
[$(!ts_TV1G:QS1 and !ts_SF1:2:TV1G) or $ts_SQ110]
[$(!ts_TV1G:QS1 and !ts_W1G:QS1 and !ts_W2G:QS1 and !ts_W3G:QS1 and !ts_W4G:QS1 and !ts_T2G:QS1 and !ts_QB1G:QS1 and !ts_W7G:QS1 and !ts_T1G:QS1 and !ts_W9G:QS1 and !ts_W11G:QS1 and !ts_W12G:QS1 and !ts_3ATG:QS1 and !ts_4ATG:QS1 and !ts_QK1G:QS1) or $ts_SQ110]
[$(!ts_QK1G:QSG2:1 and !ts_TV2G:QSG2:2 and !ts_TV2G:QSG2:1) or $ts_SQ110]
[$(!ts_TV2G:QS2 and !ts_SF1:2:TV2G) or $ts_SQ110]
[$(!ts_TV2G:QS2 and !ts_W1G:QS2:a and !ts_W1G:QS2:b and !ts_W1G:QS2:c and !ts_W2G:QS2:a and !ts_W2G:QS2:b and !ts_W2G:QS2:c and !ts_W3G:QS2:a and !ts_W3G:QS2:b and !ts_W3G:QS2:c and !ts_W4G:QS2:a and !ts_W4G:QS2:b and !ts_W4G:QS2:c and !ts_T2G:QS2:a and !ts_T2G:QS2:b and !ts_T2G:QS2:c and !ts_QB1G:QS2:a and !ts_QB1G:QS2:b and !ts_QB1G:QS2:c and !ts_W7G:QS2:a and !ts_W7G:QS2:b and !ts_W7G:QS2:c and !ts_T1G:QS2:a and !ts_T1G:QS2:b and !ts_T1G:QS2:c and !ts_W9G:QS2:a and !ts_W9G:QS2:b and !ts_W9G:QS2:c and !ts_W11G:QS2:a and !ts_W11G:QS2:b and !ts_W11G:QS2:c and !ts_W12G:QS2:a and !ts_W12G:QS2:b and !ts_W12G:QS2:c and !ts_3ATG:QS2:a and !ts_3ATG:QS2:b and !ts_3ATG:QS2:c and !ts_4ATG:QS2:a and !ts_4ATG:QS2:b and !ts_4ATG:QS2:c and !ts_QK1G:QS2) or $ts_SQ110]
[$(!ts_4ATG:QS3 and !ts_W1G:QS3 and !ts_W2G:QS3 and !ts_W3G:QS3 and !ts_W4G:QS3 and !ts_T2G:QS3 and !ts_W7G:QS3 and !ts_T1G:QS3 and !ts_W9G:QS3 and !ts_W11G:QS3 and !ts_W12G:QS3 and !ts_3ATG:QS3 and !ts_QB1G and !ts_QB1G:QSG3:2 and !ts_QB1G:QS3) or $ts_SQ110]
[diag_module_1 and diag_module_2 and diag_module_3 and
diag_module_4 and diag_module_5 and diag_module_6 and
diag_module_7 and diag_module_8 and diag_module_9 and
diag_module_10 and diag_module_11 and diag_module_12
and diag_module_13 and diag_module_14 and diag_module_15 and diag_module_16 and diag_module_17 and diag_module_18 and diag_module_19 and diag_module_20 and diag_ipac_6 and diag_ipac_4 and diag_ipac_2]
[
][$(!ts_W1H:QSG1:1 and !ts_W1H:QSG1:2 and !ts_W1H:QSG2:1 and !ts_QW1H) or $ts_SQ35]
[$(!ts_W1H:QS1 and !ts_W1H:QS2) or $ts_SQ35]
[$(!ts_W1H:QS1) or $ts_SQ35]
[$(!ts_W1H:QSG1:1 and !ts_W1H:QSG2:1 and !ts_QW1H and !ts_TV1H:QSG1:1 and !ts_QC1H:QSG1:1) or $ts_SQ35]
[$(!ts_W1H:QS1 and !ts_W1H:QS2) or $ts_SQ35]
[$(!ts_W3H:QSG1:1 and !ts_W3H:QSG1:2 and !ts_W3H:QSG2:1 and !ts_QW3H) or $ts_SQ35]
[$(!ts_W3H:QS1 and !ts_W3H:QS2) or $ts_SQ35]
[$(!ts_W3H:QS1) or $ts_SQ35]
[$(!ts_W3H:QSG1:1 and !ts_W3H:QSG2:1 and !ts_QW3H and !ts_TV1H:QSG1:1 and !ts_QC1H:QSG1:1) or $ts_SQ35]
[$(!ts_W3H:QS1 and !ts_W3H:QS2) or $ts_SQ35]
[$(!ts_QC1H:QSG1:1 and !ts_TV1H:QSG1:1 and !ts_TV1H:QSG1:2) or $ts_SQ35]
[$(!ts_QC1H:QS1 and !ts_T1H:QS2 and !ts_W1H:QS2 and !ts_W3H:QS2 and !ts_TV1H:QS1) or $ts_SQ35]
[$(!ts_TV1H:QS1) or $ts_SQ35]
[$(!ts_QC1H:QSG1:1 and !ts_QC1H:QSG1:2 and !ts_QC1H:QSG2:2 and !ts_QC1H and !ts_TV1H:QSG1:1) or $ts_SQ35]
[$(!ts_QC1H:QS1 and !ts_T1H:QS2 and !ts_W1H:QS2 and !ts_W3H:QS2 and !ts_TV1H:QS1) or $ts_SQ35]
[$(!ts_QC1H:QS1 and !ts_QC1H:QS2) or $ts_SQ35]
[$(!ts_QC1H:QSG1:2 and !ts_QC1H:QSG2:1 and !ts_QC1H:QSG2:2 and !ts_QC1H and !ts_TV2H:QSG1:1) or $ts_SQ35]
[$(!ts_QC1H:QS2 and !ts_T2H:QS2 and !ts_W2H:QS2 and !ts_W4H:QS2 and !ts_TV2H:QS1) or $ts_SQ35]
[$(!ts_QC1H:QS1 and !ts_QC1H:QS2) or $ts_SQ35]
[$(!ts_T2G:QSG3:1 and !ts_T2G:QSG4:2 and !ts_T2H:QSG1:1 and !ts_T2H:QSG1:2 and !ts_T2H:QSG2:1 and !ts_QT2H and !ts_QSG1:201) or $ts_SQ35]
[$(!ts_T2H:QS1 and !ts_T2H:QS2) or $ts_SQ35]
[$(!ts_T2G:QS3 and !ts_T2G:QS4 and !ts_T2H:QS1 and !ts_QS1:201) or $ts_SQ35]
[$(!ts_T2H:QSG1:1 and !ts_T2H:QSG2:1 and !ts_QT2H and !ts_TV2H:QSG1:1 and !ts_QC1H:QSG2:1) or $ts_SQ35]
[$(!ts_T2H:QS1 and !ts_T2H:QS2) or $ts_SQ35]
[$(!ts_W2H:QSG1:1 and !ts_W2H:QSG1:2 and !ts_W2H:QSG2:1 and !ts_QW2H) or $ts_SQ35]
[$(!ts_W2H:QS1 and !ts_W2H:QS2) or $ts_SQ35]
[$(!ts_W2H:QS1) or $ts_SQ35]
[$(!ts_W2H:QSG1:1 and !ts_W2H:QSG2:1 and !ts_QW2H and !ts_TV2H:QSG1:1 and !ts_QC1H:QSG2:1) or $ts_SQ35]
[$(!ts_W2H:QS1 and !ts_W2H:QS2) or $ts_SQ35]
[$(!ts_W4H:QSG1:1 and !ts_W4H:QSG1:2 and !ts_W4H:QSG2:1 and !ts_QW4H) or $ts_SQ35]
[$(!ts_W4H:QS1 and !ts_W4H:QS2) or $ts_SQ35]
[$(!ts_W4H:QS1) or $ts_SQ35]
[$(!ts_W4H:QSG1:1 and !ts_W4H:QSG2:1 and !ts_QW4H and !ts_TV2H:QSG1:1 and !ts_QC1H:QSG2:1) or $ts_SQ35]
[$(!ts_W4H:QS1 and !ts_W4H:QS2) or $ts_SQ35]
[$(!ts_QC1H:QSG2:1 and !ts_TV2H:QSG1:1 and !ts_TV2H:QSG1:2) or $ts_SQ35]
[$(!ts_QC1H:QS2 and !ts_T2H:QS2 and !ts_W2H:QS2 and !ts_W4H:QS2 and !ts_TV2H:QS1) or $ts_SQ35]
[$(!ts_TV2H:QS1) or $ts_SQ35]
[$(!ts_T1G:QSG3:1 and !ts_T1G:QSG4:2 and !ts_T1H:QSG1:1 and !ts_T1H:QSG1:2 and !ts_T1H:QSG2:1 and !ts_QT1H and !ts_QSG1:101) or $ts_SQ35]
[$(!ts_T1H:QS1 and !ts_T1H:QS2) or $ts_SQ35]
[$(!ts_T1G:QS3 and !ts_T1G:QS4 and !ts_T1H:QS1 and !ts_QS1:101) or $ts_SQ35]
[$(!ts_T1H:QSG1:1 and !ts_T1H:QSG2:1 and !ts_QT1H and !ts_TV1H:QSG1:1 and !ts_QC1H:QSG1:1) or $ts_SQ35]
[$(!ts_T1H:QS1 and !ts_T1H:QS2) or $ts_SQ35]
[$(!ts_T1G:QSG3:1 and !ts_T1G:QSG4:2 and !ts_T1H:QSG1:2 and !ts_QT1P and !ts_QSG1:101 and !ts_QSG1:102) or $ts_SQ35]
[$(!ts_T1G:QS3 and !ts_T1G:QS4 and !ts_T1H:QS1 and !ts_QS1:101) or $ts_SQ35]
[$(!ts_T2G:QSG3:1 and !ts_T2G:QSG4:2 and !ts_T2H:QSG1:2 and !ts_QT2P and !ts_QSG1:201 and !ts_QSG1:202) or $ts_SQ35]
[$(!ts_T2G:QS3 and !ts_T2G:QS4 and !ts_T2H:QS1 and !ts_QS1:201) or $ts_SQ35]
[
][
][
]
[
]
[
]
[
]
[
][7]
[7]
[3]
[
][
]
[
][
][
]
[
]
[
]
[
]
[
]
[
]