-
Notifications
You must be signed in to change notification settings - Fork 138
/
majority_1_default.eug
233 lines (218 loc) · 10.2 KB
/
majority_1_default.eug
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
PartType promoter;
PartType terminator;
PartType scar;
PartType cds;
PartType rbs;
PartType ribozyme;
cds AmtR(.SEQUENCE("ATGGCAGGCGCAGTTGGTCGTCCGCGTCGTAGTGCACCGCGTCGTGCAGGTAAAAATCCGCGTGAAGAAATTCTGGATGCAAGCGCAGAACTGTTTACCCGTCAGGGTTTTGCAACCACCAGTACCCATCAGATTGCAGATGCAGTTGGTATTCGTCAGGCAAGCCTGTATTATCATTTTCCGAGCAAAACCGAAATCTTTCTGACCCTGCTGAAAAGCACCGTTGAACCGAGCACCGTTCTGGCAGAAGATCTGAGCACCCTGGATGCAGGTCCGGAAATGCGTCTGTGGGCAATTGTTGCAAGCGAAGTTCGTCTGCTGCTGAGCACCAAATGGAATGTTGGTCGTCTGTATCAGCTGCCGATTGTTGGTAGCGAAGAATTTGCAGAATATCATAGCCAGCGTGAAGCACTGACCAATGTTTTTCGTGATCTGGCAACCGAAATTGTTGGTGATGATCCGCGTGCAGAACTGCCGTTTCATATTACCATGAGCGTTATTGAAATGCGTCGCAATGATGGTAAAATTCCGAGTCCGCTGAGCGCAGATAGCCTGCCGGAAACCGCAATTATGCTGGCAGATGCAAGCCTGGCAGTTCTGGGTGCACCGCTGCCTGCAGATCGTGTTGAAAAAACCCTGGAACTGATTAAACAGGCAGATGCAAAATAA"));
cds BM3R1(.SEQUENCE("ATGGAAAGCACCCCGACCAAACAGAAAGCAATTTTTAGCGCAAGCCTGCTGCTGTTTGCAGAACGTGGTTTTGATGCAACCACCATGCCGATGATTGCAGAAAATGCAAAAGTTGGTGCAGGCACCATTTATCGCTATTTCAAAAACAAAGAAAGCCTGGTGAACGAACTGTTTCAGCAGCATGTTAATGAATTTCTGCAGTGTATTGAAAGCGGTCTGGCAAATGAACGTGATGGTTATCGTGATGGCTTTCATCACATTTTTGAAGGTATGGTGACCTTTACCAAAAATCATCCGCGTGCACTGGGTTTTATCAAAACCCATAGCCAGGGCACCTTTCTGACCGAAGAAAGCCGTCTGGCATATCAGAAACTGGTTGAATTTGTGTGCACCTTTTTTCGTGAAGGTCAGAAACAGGGTGTGATTCGTAATCTGCCGGAAAATGCACTGATTGCAATTCTGTTTGGCAGCTTTATGGAAGTGTATGAAATGATCGAGAACGATTATCTGAGCCTGACCGATGAACTGCTGACCGGTGTTGAAGAAAGCCTGTGGGCAGCACTGAGCCGTCAGAGCTAA"));
cds BetI(.SEQUENCE("ATGCCGAAACTGGGTATGCAGAGCATTCGTCGTCGTCAGCTGATTGATGCAACCCTGGAAGCAATTAATGAAGTTGGTATGCATGATGCAACCATTGCACAGATTGCACGTCGTGCCGGTGTTAGCACCGGTATTATTAGCCATTATTTCCGCGATAAAAACGGTCTGCTGGAAGCAACCATGCGTGATATTACCAGCCAGCTGCGTGATGCAGTTCTGAATCGTCTGCATGCACTGCCGCAGGGTAGCGCAGAACAGCGTCTGCAGGCAATTGTTGGTGGTAATTTTGATGAAACCCAGGTTAGCAGCGCAGCAATGAAAGCATGGCTGGCATTTTGGGCAAGCAGCATGCATCAGCCGATGCTGTATCGTCTGCAGCAGGTTAGCAGTCGTCGTCTGCTGAGCAATCTGGTTAGCGAATTTCGTCGTGAACTGCCTCGTGAACAGGCACAAGAGGCAGGTTATGGTCTGGCAGCACTGATTGATGGTCTGTGGCTGCGTGCAGCACTGAGCGGTAAACCGCTGGATAAAACCCGTGCAAATAGCCTGACCCGTCATTTTATCACCCAGCATCTGCCGACCGATTAA"));
cds HlyIIR(.SEQUENCE("ATGAAATACATCCTGTTTGAGGTGTGCGAAATGGGTAAAAGCCGTGAACAGACCATGGAAAATATTCTGAAAGCAGCCAAAAAGAAATTCGGCGAACGTGGTTATGAAGGCACCAGCATTCAAGAAATTACCAAAGAAGCCAAAGTTAACGTTGCAATGGCCAGCTATTACTTTAATGGCAAAGAGAACCTGTACTACGAGGTGTTCAAAAAATACGGTCTGGCAAATGAACTGCCGAACTTTCTGGAAAAAAACCAGTTTAATCCGATTAATGCCCTGCGTGAATATCTGACCGTTTTTACCACCCACATTAAAGAAAATCCGGAAATTGGCACCCTGGCCTATGAAGAAATTATCAAAGAAAGCGCACGCCTGGAAAAAATCAAACCGTATTTTATCGGCAGCTTCGAACAGCTGAAAGAAATTCTGCAAGAGGGTGAAAAACAGGGTGTGTTTCACTTTTTTAGCATCAACCATACCATCCATTGGATTACCAGCATTGTTCTGTTTCCGAAATTCAAAAAATTCATCGATAGCCTGGGTCCGAATGAAACCAATGATACCAATCATGAATGGATGCCGGAAGATCTGGTTAGCCGTATTATTAGCGCACTGACCGATAAACCGAACATTTAA"));
cds PhlF(.SEQUENCE("ATGGCACGTACCCCGAGCCGTAGCAGCATTGGTAGCCTGCGTAGTCCGCATACCCATAAAGCAATTCTGACCAGCACCATTGAAATCCTGAAAGAATGTGGTTATAGCGGTCTGAGCATTGAAAGCGTTGCACGTCGTGCCGGTGCAAGCAAACCGACCATTTATCGTTGGTGGACCAATAAAGCAGCACTGATTGCCGAAGTGTATGAAAATGAAAGCGAACAGGTGCGTAAATTTCCGGATCTGGGTAGCTTTAAAGCCGATCTGGATTTTCTGCTGCGTAATCTGTGGAAAGTTTGGCGTGAAACCATTTGTGGTGAAGCATTTCGTTGTGTTATTGCAGAAGCACAGCTGGACCCTGCAACCCTGACCCAGCTGAAAGATCAGTTTATGGAACGTCGTCGTGAGATGCCGAAAAAACTGGTTGAAAATGCCATTAGCAATGGTGAACTGCCGAAAGATACCAATCGTGAACTGCTGCTGGATATGATTTTTGGTTTTTGTTGGTATCGCCTGCTGACCGAACAGCTGACCGTTGAACAGGATATTGAAGAATTTACCTTCCTGCTGATTAATGGTGTTTGTCCGGGTACACAGCGTTAA"));
cds SrpR(.SEQUENCE("ATGGCACGTAAAACCGCAGCAGAAGCAGAAGAAACCCGTCAGCGTATTATTGATGCAGCACTGGAAGTTTTTGTTGCACAGGGTGTTAGTGATGCAACCCTGGATCAGATTGCACGTAAAGCCGGTGTTACCCGTGGTGCAGTTTATTGGCATTTTAATGGTAAACTGGAAGTTCTGCAGGCAGTTCTGGCAAGCCGTCAGCATCCGCTGGAACTGGATTTTACACCGGATCTGGGTATTGAACGTAGCTGGGAAGCAGTTGTTGTTGCAATGCTGGATGCAGTTCATAGTCCGCAGAGCAAACAGTTTAGCGAAATTCTGATTTATCAGGGTCTGGATGAAAGCGGTCTGATTCATAATCGTATGGTTCAGGCAAGCGATCGTTTTCTGCAGTATATTCATCAGGTTCTGCGTCATGCAGTTACCCAGGGTGAACTGCCGATTAATCTGGATCTGCAGACCAGCATTGGTGTTTTTAAAGGTCTGATTACCGGTCTGCTGTATGAAGGTCTGCGTAGCAAAGATCAGCAGGCACAGATTATCAAAGTTGCACTGGGTAGCTTTTGGGCACTGCTGCGTGAACCGCCTCGTTTTCTGCTGTGTGAAGAAGCACAGATTAAACAGGTGAAATCCTTCGAATAA"));
promoter pAmtR(.SEQUENCE("CTTGTCCAACCAAATGATTCGTTACCAATTGACAGTTTCTATCGATCTATAGATAATGCTAGC"));
promoter pBAD(.SEQUENCE("ACTTTTCATACTCCCGCCATTCAGAGAAGAAACCAATTGTCCATATTGCATCAGACATTGCCGTCACTGCGTCTTTTACTGGCTCTTCTCGCTAACCAAACCGGTAACCCCGCTTATTAAAAGCATTCTGTAACAAAGCGGGACCAAAGCCATGACAAAAACGCGTAACAAAAGTGTCTATAATCACGGCAGAAAAGTCCACATTGATTATTTGCACGGCGTCACACTTTGCTATGCCATAGCATTTTTATCCATAAGATTAGCGGATCCTACCTGACGCTTTTTATCGCAACTCTCTACTGTTTCTCCATACCCGTTTTTTTGGGCTAGC"));
promoter pBM3R1(.SEQUENCE("AATCCGCGTGATAGGTCTGATTCGTTACCAATTGACGGAATGAACGTTCATTCCGATAATGCTAGC"));
promoter pHlyIIR(.SEQUENCE("ACCAGGAATCTGAACGATTCGTTACCAATTGACATATTTAAAATTCTTGTTTAAAatgctagc"));
promoter pSrpR(.SEQUENCE("TCTATGATTGGTCCAGATTCGTTACCAATTGACAGCTAGCTCAGTCCTAGGTATATACATACATGCTTGTTTGTTTGTAAAC"));
promoter pTac(.SEQUENCE("AACGATCGTTGGCTGTGTTGACAATTAATCATCGGCTCGTATAATGTGTGGAATTGTGAGCGCTCACAATT"));
promoter pTet(.SEQUENCE("TACTCCACCGTTGGCTTTTTTCCCTATCAGTGATAGAGATTGACATCCCTATCAGTGATAGAGATAATGAGCAC"));
rbs A1(.SEQUENCE("AATGTTCCCTAATAATCAGCAAAGAGGTTACTAG"));
rbs B3(.SEQUENCE("CCAAACGAGGCCGGGAGG"));
rbs E1(.SEQUENCE("CCCCCCGAGGAGTAGCAC"));
rbs H1(.SEQUENCE("ACCCCCGAG"));
rbs P3(.SEQUENCE("CTTTACGAGGGCGATCCT"));
rbs S2(.SEQUENCE("GAGTCTATGGACTATGTTTTCACATATGAGATACCAGG"));
ribozyme BydvJ(.SEQUENCE("CTGAagGGTGTCTCAAGGTGCGTACCTTGACTGATGAGTCCGAAAGGACGAAACACCcctctacaaataattttgtttaa"));
ribozyme RiboJ10(.SEQUENCE("CTGAAGCGCTCAACGGGTGTGCTTCCCGTTCTGATGAGTCCGTGAGGACGAAAGCGCCTCTACAAATAATTTTGTTTAA"));
ribozyme RiboJ51(.SEQUENCE("CTGAAGTAGTCACCGGCTGTGCTTGCCGGTCTGATGAGCCTGTGAAGGCGAAACTACCTCTACAAATAATTTTGTTTAA"));
ribozyme RiboJ53(.SEQUENCE("CTGAAGCGGTCAACGCATGTGCTTTGCGTTCTGATGAGACAGTGATGTCGAAACCGCCTCTACAAATAATTTTGTTTAA"));
ribozyme RiboJ57(.SEQUENCE("CTGAAGAAGTCAATTAATGTGCTTTTAATTCTGATGAGTCGGTGACGACGAAACTTCCTCTACAAATAATTTTGTTTAA"));
ribozyme SarJ(.SEQUENCE("CTGAGACTGTCGCCGGATGTGTATCCGACCTGACGATGGCCCAAAAGGGCCGAAACAGTCCTCTACAAATAATTTTGTTTAA"));
scar Cscar(.SEQUENCE("aatg"));
scar Dscar(.SEQUENCE("aggt"));
scar Escar(.SEQUENCE("gctt"));
scar Fscar(.SEQUENCE("cgct"));
scar Uscar(.SEQUENCE("gggc"));
scar Vscar(.SEQUENCE("tctg"));
scar Xscar(.SEQUENCE("tgtc"));
terminator ECK120029600(.SEQUENCE("TTCAGCCAAAAAACTTAAGACCGCCGGTCTTGTCCACTACCTTGCAGTAATGCGGTGGACAGGATCGGCGGTTTTCTTTTCTCTTCTCAA"));
terminator ECK120033736(.SEQUENCE("aacgcatgagAAAGCCCCCGGAAGATCACCTTCCGGGGGCTTTtttattgcgc"));
terminator ECK120033737(.SEQUENCE("ggaaacacagAAAAAAGCCCGCACCTGACAGTGCGGGCTTTTTTTTTcgaccaaagg"));
terminator L3S2P11(.SEQUENCE("CTCGGTACCAAATTCCAGAAAAGAGACGCTTTCGAGCGTCTTTTTTCGTTTTGGTCC"));
terminator L3S2P55(.SEQUENCE("CTCGGTACCAAAGACGAACAATAAGACGCTGAAAAGCGTCTTTTTTCGTTTTGGTCC"));
terminator L3S3P11(.SEQUENCE("CCAATTATTGAACACCCTTCGGGGTGTTTTTTTGTTTCTGGTCTACC"));
Device HlyIIR_device(
promoter,
RiboJ51,
H1,
HlyIIR,
ECK120033736
);
Device BetI_device(
promoter,
promoter,
RiboJ57,
E1,
BetI,
L3S3P11
);
Device SrpR_device(
promoter,
RiboJ10,
S2,
SrpR,
ECK120029600
);
Device AmtR_device(
promoter,
BydvJ,
A1,
AmtR,
L3S2P55
);
Device PhlF_device(
promoter,
promoter,
RiboJ53,
P3,
PhlF,
ECK120033737
);
Device BM3R1_device(
promoter,
promoter,
SarJ,
B3,
BM3R1,
L3S2P11
);
Rule HlyIIR_rules ( ON HlyIIR_device:
CONTAINS pTac AND
STARTSWITH pTac AND
ALL_FORWARD
);
Rule BetI_rules ( ON BetI_device:
CONTAINS pSrpR AND
CONTAINS pAmtR AND
STARTSWITH pSrpR AND
pSrpR BEFORE pAmtR AND
ALL_FORWARD
);
Rule SrpR_rules ( ON SrpR_device:
CONTAINS pBAD AND
STARTSWITH pBAD AND
ALL_FORWARD
);
Rule AmtR_rules ( ON AmtR_device:
CONTAINS pTet AND
ALL_FORWARD
);
Rule PhlF_rules ( ON PhlF_device:
CONTAINS pBM3R1 AND
CONTAINS pHlyIIR AND
STARTSWITH pBM3R1 AND
pBM3R1 BEFORE pHlyIIR AND
ALL_FORWARD
);
Rule BM3R1_rules ( ON BM3R1_device:
CONTAINS pBAD AND
CONTAINS pTet AND
STARTSWITH pBAD AND
pBAD BEFORE pTet AND
ALL_FORWARD
);
HlyIIR_devices = product(HlyIIR_device);
BetI_devices = product(BetI_device);
SrpR_devices = product(SrpR_device);
AmtR_devices = product(AmtR_device);
PhlF_devices = product(PhlF_device);
BM3R1_devices = product(BM3R1_device);
Device gate_HlyIIR();
Device gate_BetI();
Device gate_SrpR();
Device gate_AmtR();
Device gate_PhlF();
Device gate_BM3R1();
Device circuit();
Rule allRules( ON circuit:
gate_HlyIIR EXACTLY 1 AND
gate_BetI EXACTLY 1 AND
gate_SrpR EXACTLY 1 AND
gate_AmtR EXACTLY 1 AND
gate_PhlF EXACTLY 1 AND
gate_BM3R1 EXACTLY 1 AND
gate_PhlF BEFORE gate_SrpR AND
gate_PhlF BEFORE gate_BM3R1 AND
gate_PhlF BEFORE gate_BetI AND
gate_PhlF BEFORE gate_HlyIIR AND
gate_PhlF BEFORE gate_AmtR AND
gate_SrpR BEFORE gate_BM3R1 AND
gate_SrpR BEFORE gate_BetI AND
gate_SrpR BEFORE gate_HlyIIR AND
gate_SrpR BEFORE gate_AmtR AND
gate_BM3R1 BEFORE gate_BetI AND
gate_BM3R1 BEFORE gate_HlyIIR AND
gate_BM3R1 BEFORE gate_AmtR AND
gate_BetI BEFORE gate_HlyIIR AND
gate_BetI BEFORE gate_AmtR AND
gate_HlyIIR BEFORE gate_AmtR AND
ALL_FORWARD AND
Escar EXACTLY 1 AND
Xscar EXACTLY 1 AND
Vscar EXACTLY 1 AND
Uscar EXACTLY 1 AND
Fscar EXACTLY 1 AND
Dscar EXACTLY 1 AND
Cscar EXACTLY 1 AND
FORWARD Escar AND
FORWARD Xscar AND
FORWARD Vscar AND
FORWARD Uscar AND
FORWARD Fscar AND
FORWARD Dscar AND
FORWARD Cscar AND
[0] EQUALS Escar AND
[2] EQUALS Xscar AND
[4] EQUALS Vscar AND
[6] EQUALS Uscar AND
[8] EQUALS Fscar AND
[10] EQUALS Dscar AND
[12] EQUALS Cscar
);
Array allResults;
for(num i1=0; i1<sizeof(HlyIIR_devices); i1=i1+1) {
for(num i2=0; i2<sizeof(BetI_devices); i2=i2+1) {
for(num i3=0; i3<sizeof(SrpR_devices); i3=i3+1) {
for(num i4=0; i4<sizeof(AmtR_devices); i4=i4+1) {
for(num i5=0; i5<sizeof(PhlF_devices); i5=i5+1) {
for(num i6=0; i6<sizeof(BM3R1_devices); i6=i6+1) {
gate_HlyIIR = HlyIIR_devices[i1];
gate_BetI = BetI_devices[i2];
gate_SrpR = SrpR_devices[i3];
gate_AmtR = AmtR_devices[i4];
gate_PhlF = PhlF_devices[i5];
gate_BM3R1 = BM3R1_devices[i6];
Device circuit(
gate_HlyIIR,
gate_BetI,
gate_SrpR,
gate_AmtR,
gate_PhlF,
gate_BM3R1,
Escar,
Xscar,
Vscar,
Uscar,
Fscar,
Dscar,
Cscar
);
result = permute(circuit);
allResults = allResults + result;
}
}
}
}
}
}