29:- use_module(library(slipcover)). 30
31:- if(current_predicate(use_rendering/1)). 32:- use_rendering(c3). 33:- use_rendering(lpad). 34:- endif. 35
36:-sc. 37
38:- set_sc(depth_bound,true). 39:- set_sc(specialization,mode). 40:- set_sc(verbosity,1). 41
42bg([]).
43
44in([]).
45
46fold(1,[m1,m2,m3,m4,m5,m6,m7,m8,m9,m10,m11,m12,m13,m14,m15,m16,m17,m18,m19,m20,m21,m22,m23,m24,m25,m26,m27,m28,m29,m30,m31,m32,m33,m34,m35,m36,m37,m38,m39,m40,m41,m42,m43,m44,m45,m46,m47,m48,m49,m50,m51,m52,m53,m54,m55,m56,m57,m58,m59,m60,m61,m62,m63,m64,m65,m66,m67,m68,m69,m70,m71,m72,m73]).
47
48fold(2,[m74,m75,m76,m77,m78,m79,m80,m81,m82,m83,m84,m85,m86,m87,m88,m89,m90,m91,m92,m93,m94,m95,m96,m97,m98,m99,m100,m101,m102,m103,m104,m105,m106,m107,m108,m109,m110,m111,m112,m113,m114,m115,m116,m117,m118,m119,m120,m121,m122,m123,m124,m125,m126,m127,m128,m129,m130,m131,m132,m133,m134,m135,m136,m137,m138,m139,m140,m141,m142,m143,m144,m145,m146]).
49
50fold(3,[m147,m148,m149,m150,m151,m152,m153,m154,m155,m156,m157,m158,m159,m160,m161,m162,m163,m164,m165,m166,m167,m168,m169,m170,m171,m172,m173,m174,m175,m176,m177,m178,m179,m180,m181,m182,m183,m184,m185,m186,m187,m188,m189,m190,m191,m192,m193,m194,m195,m196,m197,m198,m199,m200,m201,m202,m203,m204,m205,m206,m207,m208,m209,m210,m211,m212,m213,m214,m215,m216,m217,m218,m219]).
51
52fold(4,[m220,m221,m222,m223,m224,m225,m226,m227,m228,m229,m230,m231,m232,m233,m234,m235,m236,m237,m238,m239,m240,m241,m242,m243,m244,m245,m246,m247,m248,m249,m250,m251,m252,m253,m254,m255,m256,m257,m258,m259,m260,m261,m262,m263,m264,m265,m266,m267,m268,m269,m270,m271,m272,m273,m274,m275,m276,m277,m278,m279,m280,m281,m282,m283,m284,m285,m286,m287,m288,m289,m290,m291,m292]).
53
54fold(5,[m293,m294,m295,m296,m297,m298,m299,m300,m301,m302,m303,m304,m305,m306,m307,m308,m309,m310,m311,m312,m313,m314,m315,m316,m317,m318,m319,m320,m321,m322,m323,m324,m325,m326,m327,m328,m329,m330,m331,m332,m333,m334,m335,m336,m337,m338,m339,m340,m341,m342,m343,m344,m345,m346,m347,m348,m349,m350,m351,m352,m353,m354,m355,m356,m357,m358,m359,m360,m361,m362,m363,m364]).
55
56output('41L'/0).
57
58output('67N'/0).
59
60output('70R'/0).
61
62output('210W'/0).
63
64output('215FY'/0).
65
66output('219EQ'/0).
67
68input('41L'/0).
69
70input('67N'/0).
71
72input('70R'/0).
73
74input('210W'/0).
75
76input('215FY'/0).
77
78input('219EQ'/0).
79
80modeh(*,'41L').
81modeh(*,'67N').
82modeh(*,'70R').
83modeh(*,'210W').
84modeh(*,'215FY').
85modeh(*,'219EQ').
86
87determination('41L'/0,'67N'/0).
88determination('41L'/0,'70R'/0).
89determination('41L'/0,'210W'/0).
90determination('41L'/0,'215FY'/0).
91determination('41L'/0,'219EQ'/0).
92
93determination('67N'/0,'41L'/0).
94determination('67N'/0,'70R'/0).
95determination('67N'/0,'210W'/0).
96determination('67N'/0,'215FY'/0).
97determination('67N'/0,'219EQ'/0).
98
99determination('70R'/0,'67N'/0).
100determination('70R'/0,'41L'/0).
101determination('70R'/0,'210W'/0).
102determination('70R'/0,'215FY'/0).
103determination('70R'/0,'219EQ'/0).
104
105determination('210W'/0,'67N'/0).
106determination('210W'/0,'70R'/0).
107determination('210W'/0,'41L'/0).
108determination('210W'/0,'215FY'/0).
109determination('210W'/0,'219EQ'/0).
110
111determination('215FY'/0,'67N'/0).
112determination('215FY'/0,'70R'/0).
113determination('215FY'/0,'210W'/0).
114determination('215FY'/0,'41L'/0).
115determination('215FY'/0,'219EQ'/0).
116
117determination('219EQ'/0,'67N'/0).
118determination('219EQ'/0,'70R'/0).
119determination('219EQ'/0,'210W'/0).
120determination('219EQ'/0,'215FY'/0).
121determination('219EQ'/0,'41L'/0).
122
123modeb(*,'41L').
124modeb(*,'67N').
125modeb(*,'70R').
126modeb(*,'210W').
127modeb(*,'215FY').
128modeb(*,'219EQ').
129
130
131
132
133
134begin(model(m1)).
135'wildtype'.
136neg('41L').
137neg('67N').
138'70R'.
139neg('210W').
140neg('215FY').
141neg('219EQ').
142end(model(m1)).
143
144begin(model(m2)).
145'wildtype'.
146neg('41L').
147neg('67N').
148neg('70R').
149neg('210W').
150'215FY'.
151neg('219EQ').
152end(model(m2)).
153
154begin(model(m3)).
155'wildtype'.
156neg('41L').
157neg('67N').
158'70R'.
159neg('210W').
160neg('215FY').
161neg('219EQ').
162end(model(m3)).
163
164begin(model(m4)).
165'wildtype'.
166neg('41L').
167neg('67N').
168neg('70R').
169neg('210W').
170neg('215FY').
171neg('219EQ').
172end(model(m4)).
173
174begin(model(m5)).
175'wildtype'.
176'41L'.
177'67N'.
178'70R'.
179neg('210W').
180'215FY'.
181'219EQ'.
182end(model(m5)).
183
184begin(model(m6)).
185'wildtype'.
186neg('41L').
187'67N'.
188neg('70R').
189neg('210W').
190neg('215FY').
191neg('219EQ').
192end(model(m6)).
193
194begin(model(m7)).
195'wildtype'.
196neg('41L').
197'67N'.
198'70R'.
199neg('210W').
200neg('215FY').
201'219EQ'.
202end(model(m7)).
203
204begin(model(m8)).
205'wildtype'.
206neg('41L').
207neg('67N').
208'70R'.
209neg('210W').
210neg('215FY').
211neg('219EQ').
212end(model(m8)).
213
214begin(model(m9)).
215'wildtype'.
216neg('41L').
217'67N'.
218'70R'.
219neg('210W').
220'215FY'.
221'219EQ'.
222end(model(m9)).
223
224begin(model(m10)).
225'wildtype'.
226neg('41L').
227neg('67N').
228'70R'.
229neg('210W').
230'215FY'.
231'219EQ'.
232end(model(m10)).
233
234begin(model(m11)).
235'wildtype'.
236neg('41L').
237neg('67N').
238neg('70R').
239neg('210W').
240neg('215FY').
241neg('219EQ').
242end(model(m11)).
243
244begin(model(m12)).
245'wildtype'.
246neg('41L').
247neg('67N').
248'70R'.
249neg('210W').
250neg('215FY').
251neg('219EQ').
252end(model(m12)).
253
254begin(model(m13)).
255'wildtype'.
256neg('41L').
257neg('67N').
258'70R'.
259neg('210W').
260neg('215FY').
261neg('219EQ').
262end(model(m13)).
263
264begin(model(m14)).
265'wildtype'.
266'41L'.
267neg('67N').
268neg('70R').
269'210W'.
270'215FY'.
271neg('219EQ').
272end(model(m14)).
273
274begin(model(m15)).
275'wildtype'.
276neg('41L').
277neg('67N').
278neg('70R').
279neg('210W').
280neg('215FY').
281neg('219EQ').
282end(model(m15)).
283
284begin(model(m16)).
285'wildtype'.
286'41L'.
287'67N'.
288'70R'.
289neg('210W').
290'215FY'.
291'219EQ'.
292end(model(m16)).
293
294begin(model(m17)).
295'wildtype'.
296neg('41L').
297'67N'.
298'70R'.
299neg('210W').
300neg('215FY').
301'219EQ'.
302end(model(m17)).
303
304begin(model(m18)).
305'wildtype'.
306neg('41L').
307neg('67N').
308'70R'.
309neg('210W').
310neg('215FY').
311neg('219EQ').
312end(model(m18)).
313
314begin(model(m19)).
315'wildtype'.
316neg('41L').
317neg('67N').
318neg('70R').
319neg('210W').
320neg('215FY').
321neg('219EQ').
322end(model(m19)).
323
324begin(model(m20)).
325'wildtype'.
326neg('41L').
327neg('67N').
328neg('70R').
329neg('210W').
330neg('215FY').
331neg('219EQ').
332end(model(m20)).
333
334begin(model(m21)).
335'wildtype'.
336neg('41L').
337'67N'.
338'70R'.
339neg('210W').
340'215FY'.
341'219EQ'.
342end(model(m21)).
343
344begin(model(m22)).
345'wildtype'.
346neg('41L').
347neg('67N').
348neg('70R').
349neg('210W').
350neg('215FY').
351neg('219EQ').
352end(model(m22)).
353
354begin(model(m23)).
355'wildtype'.
356'41L'.
357neg('67N').
358'70R'.
359neg('210W').
360'215FY'.
361neg('219EQ').
362end(model(m23)).
363
364begin(model(m24)).
365'wildtype'.
366neg('41L').
367'67N'.
368'70R'.
369neg('210W').
370'215FY'.
371'219EQ'.
372end(model(m24)).
373
374begin(model(m25)).
375'wildtype'.
376neg('41L').
377neg('67N').
378neg('70R').
379neg('210W').
380neg('215FY').
381neg('219EQ').
382end(model(m25)).
383
384begin(model(m26)).
385'wildtype'.
386neg('41L').
387neg('67N').
388'70R'.
389neg('210W').
390neg('215FY').
391neg('219EQ').
392end(model(m26)).
393
394begin(model(m27)).
395'wildtype'.
396neg('41L').
397neg('67N').
398neg('70R').
399neg('210W').
400neg('215FY').
401neg('219EQ').
402end(model(m27)).
403
404begin(model(m28)).
405'wildtype'.
406'41L'.
407neg('67N').
408neg('70R').
409'210W'.
410'215FY'.
411neg('219EQ').
412end(model(m28)).
413
414begin(model(m29)).
415'wildtype'.
416neg('41L').
417neg('67N').
418neg('70R').
419neg('210W').
420neg('215FY').
421neg('219EQ').
422end(model(m29)).
423
424begin(model(m30)).
425'wildtype'.
426neg('41L').
427neg('67N').
428'70R'.
429neg('210W').
430'215FY'.
431'219EQ'.
432end(model(m30)).
433
434begin(model(m31)).
435'wildtype'.
436neg('41L').
437neg('67N').
438'70R'.
439neg('210W').
440neg('215FY').
441neg('219EQ').
442end(model(m31)).
443
444begin(model(m32)).
445'wildtype'.
446neg('41L').
447neg('67N').
448'70R'.
449neg('210W').
450neg('215FY').
451neg('219EQ').
452end(model(m32)).
453
454begin(model(m33)).
455'wildtype'.
456neg('41L').
457neg('67N').
458'70R'.
459neg('210W').
460neg('215FY').
461neg('219EQ').
462end(model(m33)).
463
464begin(model(m34)).
465'wildtype'.
466neg('41L').
467neg('67N').
468neg('70R').
469neg('210W').
470neg('215FY').
471neg('219EQ').
472end(model(m34)).
473
474begin(model(m35)).
475'wildtype'.
476neg('41L').
477'67N'.
478'70R'.
479neg('210W').
480'215FY'.
481'219EQ'.
482end(model(m35)).
483
484begin(model(m36)).
485'wildtype'.
486'41L'.
487'67N'.
488neg('70R').
489neg('210W').
490neg('215FY').
491neg('219EQ').
492end(model(m36)).
493
494begin(model(m37)).
495'wildtype'.
496neg('41L').
497neg('67N').
498neg('70R').
499neg('210W').
500neg('215FY').
501neg('219EQ').
502end(model(m37)).
503
504begin(model(m38)).
505'wildtype'.
506neg('41L').
507'67N'.
508'70R'.
509neg('210W').
510neg('215FY').
511'219EQ'.
512end(model(m38)).
513
514begin(model(m39)).
515'wildtype'.
516neg('41L').
517neg('67N').
518neg('70R').
519neg('210W').
520neg('215FY').
521neg('219EQ').
522end(model(m39)).
523
524begin(model(m40)).
525'wildtype'.
526neg('41L').
527neg('67N').
528neg('70R').
529neg('210W').
530neg('215FY').
531neg('219EQ').
532end(model(m40)).
533
534begin(model(m41)).
535'wildtype'.
536neg('41L').
537neg('67N').
538'70R'.
539neg('210W').
540neg('215FY').
541'219EQ'.
542end(model(m41)).
543
544begin(model(m42)).
545'wildtype'.
546'41L'.
547neg('67N').
548neg('70R').
549'210W'.
550'215FY'.
551neg('219EQ').
552end(model(m42)).
553
554begin(model(m43)).
555'wildtype'.
556'41L'.
557neg('67N').
558neg('70R').
559neg('210W').
560'215FY'.
561neg('219EQ').
562end(model(m43)).
563
564begin(model(m44)).
565'wildtype'.
566neg('41L').
567neg('67N').
568neg('70R').
569neg('210W').
570neg('215FY').
571neg('219EQ').
572end(model(m44)).
573
574begin(model(m45)).
575'wildtype'.
576neg('41L').
577neg('67N').
578neg('70R').
579neg('210W').
580neg('215FY').
581neg('219EQ').
582end(model(m45)).
583
584begin(model(m46)).
585'wildtype'.
586neg('41L').
587neg('67N').
588neg('70R').
589neg('210W').
590neg('215FY').
591neg('219EQ').
592end(model(m46)).
593
594begin(model(m47)).
595'wildtype'.
596neg('41L').
597neg('67N').
598'70R'.
599neg('210W').
600neg('215FY').
601neg('219EQ').
602end(model(m47)).
603
604begin(model(m48)).
605'wildtype'.
606neg('41L').
607neg('67N').
608'70R'.
609neg('210W').
610neg('215FY').
611neg('219EQ').
612end(model(m48)).
613
614begin(model(m49)).
615'wildtype'.
616'41L'.
617'67N'.
618'70R'.
619neg('210W').
620'215FY'.
621'219EQ'.
622end(model(m49)).
623
624begin(model(m50)).
625'wildtype'.
626neg('41L').
627neg('67N').
628'70R'.
629neg('210W').
630neg('215FY').
631neg('219EQ').
632end(model(m50)).
633
634begin(model(m51)).
635'wildtype'.
636'41L'.
637neg('67N').
638neg('70R').
639neg('210W').
640'215FY'.
641neg('219EQ').
642end(model(m51)).
643
644begin(model(m52)).
645'wildtype'.
646'41L'.
647'67N'.
648'70R'.
649neg('210W').
650neg('215FY').
651'219EQ'.
652end(model(m52)).
653
654begin(model(m53)).
655'wildtype'.
656neg('41L').
657neg('67N').
658neg('70R').
659neg('210W').
660neg('215FY').
661neg('219EQ').
662end(model(m53)).
663
664begin(model(m54)).
665'wildtype'.
666neg('41L').
667'67N'.
668'70R'.
669neg('210W').
670neg('215FY').
671'219EQ'.
672end(model(m54)).
673
674begin(model(m55)).
675'wildtype'.
676neg('41L').
677neg('67N').
678neg('70R').
679neg('210W').
680neg('215FY').
681neg('219EQ').
682end(model(m55)).
683
684begin(model(m56)).
685'wildtype'.
686neg('41L').
687neg('67N').
688neg('70R').
689neg('210W').
690neg('215FY').
691neg('219EQ').
692end(model(m56)).
693
694begin(model(m57)).
695'wildtype'.
696'41L'.
697neg('67N').
698'70R'.
699neg('210W').
700'215FY'.
701'219EQ'.
702end(model(m57)).
703
704begin(model(m58)).
705'wildtype'.
706neg('41L').
707neg('67N').
708neg('70R').
709neg('210W').
710neg('215FY').
711neg('219EQ').
712end(model(m58)).
713
714begin(model(m59)).
715'wildtype'.
716neg('41L').
717'67N'.
718neg('70R').
719neg('210W').
720'215FY'.
721'219EQ'.
722end(model(m59)).
723
724begin(model(m60)).
725'wildtype'.
726'41L'.
727'67N'.
728'70R'.
729'210W'.
730'215FY'.
731neg('219EQ').
732end(model(m60)).
733
734begin(model(m61)).
735'wildtype'.
736neg('41L').
737neg('67N').
738neg('70R').
739neg('210W').
740neg('215FY').
741neg('219EQ').
742end(model(m61)).
743
744begin(model(m62)).
745'wildtype'.
746neg('41L').
747'67N'.
748'70R'.
749neg('210W').
750neg('215FY').
751'219EQ'.
752end(model(m62)).
753
754begin(model(m63)).
755'wildtype'.
756'41L'.
757neg('67N').
758neg('70R').
759'210W'.
760'215FY'.
761neg('219EQ').
762end(model(m63)).
763
764begin(model(m64)).
765'wildtype'.
766'41L'.
767neg('67N').
768neg('70R').
769'210W'.
770'215FY'.
771neg('219EQ').
772end(model(m64)).
773
774begin(model(m65)).
775'wildtype'.
776neg('41L').
777neg('67N').
778'70R'.
779neg('210W').
780'215FY'.
781neg('219EQ').
782end(model(m65)).
783
784begin(model(m66)).
785'wildtype'.
786neg('41L').
787neg('67N').
788'70R'.
789neg('210W').
790neg('215FY').
791neg('219EQ').
792end(model(m66)).
793
794begin(model(m67)).
795'wildtype'.
796neg('41L').
797'67N'.
798'70R'.
799neg('210W').
800'215FY'.
801'219EQ'.
802end(model(m67)).
803
804begin(model(m68)).
805'wildtype'.
806'41L'.
807neg('67N').
808'70R'.
809neg('210W').
810'215FY'.
811neg('219EQ').
812end(model(m68)).
813
814begin(model(m69)).
815'wildtype'.
816neg('41L').
817neg('67N').
818neg('70R').
819neg('210W').
820neg('215FY').
821neg('219EQ').
822end(model(m69)).
823
824begin(model(m70)).
825'wildtype'.
826'41L'.
827'67N'.
828'70R'.
829neg('210W').
830'215FY'.
831neg('219EQ').
832end(model(m70)).
833
834begin(model(m71)).
835'wildtype'.
836'41L'.
837'67N'.
838neg('70R').
839'210W'.
840'215FY'.
841neg('219EQ').
842end(model(m71)).
843
844begin(model(m72)).
845'wildtype'.
846neg('41L').
847neg('67N').
848neg('70R').
849neg('210W').
850'215FY'.
851neg('219EQ').
852end(model(m72)).
853
854begin(model(m73)).
855'wildtype'.
856'41L'.
857neg('67N').
858neg('70R').
859neg('210W').
860'215FY'.
861neg('219EQ').
862end(model(m73)).
864begin(model(m74)).
865'wildtype'.
866neg('41L').
867'67N'.
868'70R'.
869neg('210W').
870neg('215FY').
871'219EQ'.
872end(model(m74)).
873
874begin(model(m75)).
875'wildtype'.
876neg('41L').
877neg('67N').
878neg('70R').
879neg('210W').
880neg('215FY').
881neg('219EQ').
882end(model(m75)).
883
884begin(model(m76)).
885'wildtype'.
886neg('41L').
887neg('67N').
888neg('70R').
889neg('210W').
890neg('215FY').
891neg('219EQ').
892end(model(m76)).
893
894begin(model(m77)).
895'wildtype'.
896neg('41L').
897neg('67N').
898neg('70R').
899neg('210W').
900neg('215FY').
901neg('219EQ').
902end(model(m77)).
903
904begin(model(m78)).
905'wildtype'.
906'41L'.
907'67N'.
908'70R'.
909neg('210W').
910'215FY'.
911neg('219EQ').
912end(model(m78)).
913
914begin(model(m79)).
915'wildtype'.
916neg('41L').
917'67N'.
918'70R'.
919neg('210W').
920neg('215FY').
921'219EQ'.
922end(model(m79)).
923
924begin(model(m80)).
925'wildtype'.
926'41L'.
927'67N'.
928'70R'.
929neg('210W').
930'215FY'.
931neg('219EQ').
932end(model(m80)).
933
934begin(model(m81)).
935'wildtype'.
936'41L'.
937neg('67N').
938neg('70R').
939'210W'.
940'215FY'.
941neg('219EQ').
942end(model(m81)).
943
944begin(model(m82)).
945'wildtype'.
946neg('41L').
947neg('67N').
948neg('70R').
949neg('210W').
950neg('215FY').
951neg('219EQ').
952end(model(m82)).
953
954begin(model(m83)).
955'wildtype'.
956neg('41L').
957'67N'.
958'70R'.
959neg('210W').
960neg('215FY').
961'219EQ'.
962end(model(m83)).
963
964begin(model(m84)).
965'wildtype'.
966neg('41L').
967neg('67N').
968neg('70R').
969neg('210W').
970neg('215FY').
971neg('219EQ').
972end(model(m84)).
973
974begin(model(m85)).
975'wildtype'.
976'41L'.
977'67N'.
978'70R'.
979neg('210W').
980'215FY'.
981'219EQ'.
982end(model(m85)).
983
984begin(model(m86)).
985'wildtype'.
986neg('41L').
987neg('67N').
988neg('70R').
989neg('210W').
990neg('215FY').
991neg('219EQ').
992end(model(m86)).
993
994begin(model(m87)).
995'wildtype'.
996neg('41L').
997neg('67N').
998'70R'.
999neg('210W').
1000neg('215FY').
1001neg('219EQ').
1002end(model(m87)).
1003
1004begin(model(m88)).
1005'wildtype'.
1006neg('41L').
1007neg('67N').
1008neg('70R').
1009neg('210W').
1010neg('215FY').
1011neg('219EQ').
1012end(model(m88)).
1013
1014begin(model(m89)).
1015'wildtype'.
1016'41L'.
1017neg('67N').
1018neg('70R').
1019'210W'.
1020'215FY'.
1021neg('219EQ').
1022end(model(m89)).
1023
1024begin(model(m90)).
1025'wildtype'.
1026neg('41L').
1027'67N'.
1028'70R'.
1029neg('210W').
1030neg('215FY').
1031neg('219EQ').
1032end(model(m90)).
1033
1034begin(model(m91)).
1035'wildtype'.
1036'41L'.
1037'67N'.
1038neg('70R').
1039'210W'.
1040'215FY'.
1041neg('219EQ').
1042end(model(m91)).
1043
1044begin(model(m92)).
1045'wildtype'.
1046neg('41L').
1047neg('67N').
1048neg('70R').
1049neg('210W').
1050neg('215FY').
1051neg('219EQ').
1052end(model(m92)).
1053
1054begin(model(m93)).
1055'wildtype'.
1056neg('41L').
1057neg('67N').
1058'70R'.
1059neg('210W').
1060neg('215FY').
1061neg('219EQ').
1062end(model(m93)).
1063
1064begin(model(m94)).
1065'wildtype'.
1066neg('41L').
1067neg('67N').
1068neg('70R').
1069neg('210W').
1070neg('215FY').
1071neg('219EQ').
1072end(model(m94)).
1073
1074begin(model(m95)).
1075'wildtype'.
1076neg('41L').
1077neg('67N').
1078neg('70R').
1079neg('210W').
1080neg('215FY').
1081neg('219EQ').
1082end(model(m95)).
1083
1084begin(model(m96)).
1085'wildtype'.
1086neg('41L').
1087neg('67N').
1088neg('70R').
1089neg('210W').
1090neg('215FY').
1091neg('219EQ').
1092end(model(m96)).
1093
1094begin(model(m97)).
1095'wildtype'.
1096neg('41L').
1097neg('67N').
1098'70R'.
1099neg('210W').
1100neg('215FY').
1101neg('219EQ').
1102end(model(m97)).
1103
1104begin(model(m98)).
1105'wildtype'.
1106neg('41L').
1107neg('67N').
1108neg('70R').
1109neg('210W').
1110neg('215FY').
1111neg('219EQ').
1112end(model(m98)).
1113
1114begin(model(m99)).
1115'wildtype'.
1116neg('41L').
1117neg('67N').
1118neg('70R').
1119neg('210W').
1120neg('215FY').
1121neg('219EQ').
1122end(model(m99)).
1123
1124begin(model(m100)).
1125'wildtype'.
1126neg('41L').
1127neg('67N').
1128'70R'.
1129neg('210W').
1130neg('215FY').
1131neg('219EQ').
1132end(model(m100)).
1133
1134begin(model(m101)).
1135'wildtype'.
1136neg('41L').
1137neg('67N').
1138'70R'.
1139neg('210W').
1140neg('215FY').
1141neg('219EQ').
1142end(model(m101)).
1143
1144begin(model(m102)).
1145'wildtype'.
1146'41L'.
1147neg('67N').
1148neg('70R').
1149'210W'.
1150'215FY'.
1151neg('219EQ').
1152end(model(m102)).
1153
1154begin(model(m103)).
1155'wildtype'.
1156neg('41L').
1157neg('67N').
1158neg('70R').
1159neg('210W').
1160neg('215FY').
1161neg('219EQ').
1162end(model(m103)).
1163
1164begin(model(m104)).
1165'wildtype'.
1166'41L'.
1167'67N'.
1168'70R'.
1169'210W'.
1170'215FY'.
1171neg('219EQ').
1172end(model(m104)).
1173
1174begin(model(m105)).
1175'wildtype'.
1176'41L'.
1177neg('67N').
1178neg('70R').
1179neg('210W').
1180'215FY'.
1181neg('219EQ').
1182end(model(m105)).
1183
1184begin(model(m106)).
1185'wildtype'.
1186'41L'.
1187'67N'.
1188neg('70R').
1189'210W'.
1190'215FY'.
1191'219EQ'.
1192end(model(m106)).
1193
1194begin(model(m107)).
1195'wildtype'.
1196neg('41L').
1197'67N'.
1198'70R'.
1199neg('210W').
1200'215FY'.
1201'219EQ'.
1202end(model(m107)).
1203
1204begin(model(m108)).
1205'wildtype'.
1206'41L'.
1207neg('67N').
1208neg('70R').
1209'210W'.
1210'215FY'.
1211neg('219EQ').
1212end(model(m108)).
1213
1214begin(model(m109)).
1215'wildtype'.
1216neg('41L').
1217neg('67N').
1218neg('70R').
1219neg('210W').
1220neg('215FY').
1221neg('219EQ').
1222end(model(m109)).
1223
1224begin(model(m110)).
1225'wildtype'.
1226neg('41L').
1227neg('67N').
1228'70R'.
1229neg('210W').
1230neg('215FY').
1231neg('219EQ').
1232end(model(m110)).
1233
1234begin(model(m111)).
1235'wildtype'.
1236neg('41L').
1237neg('67N').
1238'70R'.
1239neg('210W').
1240neg('215FY').
1241neg('219EQ').
1242end(model(m111)).
1243
1244begin(model(m112)).
1245'wildtype'.
1246'41L'.
1247'67N'.
1248'70R'.
1249neg('210W').
1250'215FY'.
1251'219EQ'.
1252end(model(m112)).
1253
1254begin(model(m113)).
1255'wildtype'.
1256'41L'.
1257'67N'.
1258neg('70R').
1259neg('210W').
1260'215FY'.
1261neg('219EQ').
1262end(model(m113)).
1263
1264begin(model(m114)).
1265'wildtype'.
1266neg('41L').
1267neg('67N').
1268neg('70R').
1269neg('210W').
1270neg('215FY').
1271neg('219EQ').
1272end(model(m114)).
1273
1274begin(model(m115)).
1275'wildtype'.
1276neg('41L').
1277neg('67N').
1278neg('70R').
1279neg('210W').
1280neg('215FY').
1281neg('219EQ').
1282end(model(m115)).
1283
1284begin(model(m116)).
1285'wildtype'.
1286neg('41L').
1287neg('67N').
1288neg('70R').
1289neg('210W').
1290neg('215FY').
1291neg('219EQ').
1292end(model(m116)).
1293
1294begin(model(m117)).
1295'wildtype'.
1296neg('41L').
1297'67N'.
1298'70R'.
1299neg('210W').
1300'215FY'.
1301'219EQ'.
1302end(model(m117)).
1303
1304begin(model(m118)).
1305'wildtype'.
1306neg('41L').
1307neg('67N').
1308'70R'.
1309neg('210W').
1310neg('215FY').
1311neg('219EQ').
1312end(model(m118)).
1313
1314begin(model(m119)).
1315'wildtype'.
1316neg('41L').
1317neg('67N').
1318neg('70R').
1319neg('210W').
1320neg('215FY').
1321neg('219EQ').
1322end(model(m119)).
1323
1324begin(model(m120)).
1325'wildtype'.
1326'41L'.
1327neg('67N').
1328neg('70R').
1329'210W'.
1330'215FY'.
1331neg('219EQ').
1332end(model(m120)).
1333
1334begin(model(m121)).
1335'wildtype'.
1336neg('41L').
1337neg('67N').
1338'70R'.
1339neg('210W').
1340'215FY'.
1341neg('219EQ').
1342end(model(m121)).
1343
1344begin(model(m122)).
1345'wildtype'.
1346'41L'.
1347neg('67N').
1348neg('70R').
1349'210W'.
1350'215FY'.
1351neg('219EQ').
1352end(model(m122)).
1353
1354begin(model(m123)).
1355'wildtype'.
1356neg('41L').
1357neg('67N').
1358'70R'.
1359neg('210W').
1360'215FY'.
1361'219EQ'.
1362end(model(m123)).
1363
1364begin(model(m124)).
1365'wildtype'.
1366neg('41L').
1367'67N'.
1368'70R'.
1369neg('210W').
1370neg('215FY').
1371'219EQ'.
1372end(model(m124)).
1373
1374begin(model(m125)).
1375'wildtype'.
1376'41L'.
1377'67N'.
1378neg('70R').
1379'210W'.
1380'215FY'.
1381neg('219EQ').
1382end(model(m125)).
1383
1384begin(model(m126)).
1385'wildtype'.
1386neg('41L').
1387neg('67N').
1388'70R'.
1389neg('210W').
1390'215FY'.
1391'219EQ'.
1392end(model(m126)).
1393
1394begin(model(m127)).
1395'wildtype'.
1396neg('41L').
1397neg('67N').
1398neg('70R').
1399neg('210W').
1400'215FY'.
1401neg('219EQ').
1402end(model(m127)).
1403
1404begin(model(m128)).
1405'wildtype'.
1406neg('41L').
1407neg('67N').
1408neg('70R').
1409neg('210W').
1410neg('215FY').
1411neg('219EQ').
1412end(model(m128)).
1413
1414begin(model(m129)).
1415'wildtype'.
1416'41L'.
1417neg('67N').
1418neg('70R').
1419'210W'.
1420'215FY'.
1421neg('219EQ').
1422end(model(m129)).
1423
1424begin(model(m130)).
1425'wildtype'.
1426'41L'.
1427'67N'.
1428neg('70R').
1429'210W'.
1430'215FY'.
1431neg('219EQ').
1432end(model(m130)).
1433
1434begin(model(m131)).
1435'wildtype'.
1436'41L'.
1437'67N'.
1438neg('70R').
1439neg('210W').
1440'215FY'.
1441neg('219EQ').
1442end(model(m131)).
1443
1444begin(model(m132)).
1445'wildtype'.
1446neg('41L').
1447neg('67N').
1448neg('70R').
1449neg('210W').
1450neg('215FY').
1451neg('219EQ').
1452end(model(m132)).
1453
1454begin(model(m133)).
1455'wildtype'.
1456neg('41L').
1457neg('67N').
1458neg('70R').
1459neg('210W').
1460'215FY'.
1461neg('219EQ').
1462end(model(m133)).
1463
1464begin(model(m134)).
1465'wildtype'.
1466neg('41L').
1467neg('67N').
1468neg('70R').
1469neg('210W').
1470neg('215FY').
1471neg('219EQ').
1472end(model(m134)).
1473
1474begin(model(m135)).
1475'wildtype'.
1476neg('41L').
1477neg('67N').
1478neg('70R').
1479neg('210W').
1480neg('215FY').
1481neg('219EQ').
1482end(model(m135)).
1483
1484begin(model(m136)).
1485'wildtype'.
1486neg('41L').
1487neg('67N').
1488'70R'.
1489neg('210W').
1490neg('215FY').
1491neg('219EQ').
1492end(model(m136)).
1493
1494begin(model(m137)).
1495'wildtype'.
1496neg('41L').
1497neg('67N').
1498'70R'.
1499neg('210W').
1500neg('215FY').
1501'219EQ'.
1502end(model(m137)).
1503
1504begin(model(m138)).
1505'wildtype'.
1506neg('41L').
1507neg('67N').
1508neg('70R').
1509neg('210W').
1510neg('215FY').
1511neg('219EQ').
1512end(model(m138)).
1513
1514begin(model(m139)).
1515'wildtype'.
1516neg('41L').
1517neg('67N').
1518'70R'.
1519neg('210W').
1520'215FY'.
1521neg('219EQ').
1522end(model(m139)).
1523
1524begin(model(m140)).
1525'wildtype'.
1526'41L'.
1527neg('67N').
1528neg('70R').
1529neg('210W').
1530'215FY'.
1531neg('219EQ').
1532end(model(m140)).
1533
1534begin(model(m141)).
1535'wildtype'.
1536'41L'.
1537neg('67N').
1538neg('70R').
1539neg('210W').
1540'215FY'.
1541neg('219EQ').
1542end(model(m141)).
1543
1544begin(model(m142)).
1545'wildtype'.
1546neg('41L').
1547neg('67N').
1548neg('70R').
1549'210W'.
1550'215FY'.
1551neg('219EQ').
1552end(model(m142)).
1553
1554begin(model(m143)).
1555'wildtype'.
1556neg('41L').
1557neg('67N').
1558neg('70R').
1559neg('210W').
1560neg('215FY').
1561neg('219EQ').
1562end(model(m143)).
1563
1564begin(model(m144)).
1565'wildtype'.
1566'41L'.
1567neg('67N').
1568neg('70R').
1569'210W'.
1570'215FY'.
1571neg('219EQ').
1572end(model(m144)).
1573
1574begin(model(m145)).
1575'wildtype'.
1576neg('41L').
1577'67N'.
1578'70R'.
1579neg('210W').
1580neg('215FY').
1581'219EQ'.
1582end(model(m145)).
1583
1584begin(model(m146)).
1585'wildtype'.
1586neg('41L').
1587neg('67N').
1588neg('70R').
1589neg('210W').
1590neg('215FY').
1591neg('219EQ').
1592end(model(m146)).
1594begin(model(m147)).
1595'wildtype'.
1596neg('41L').
1597'67N'.
1598neg('70R').
1599neg('210W').
1600'215FY'.
1601neg('219EQ').
1602end(model(m147)).
1603
1604begin(model(m148)).
1605'wildtype'.
1606'41L'.
1607neg('67N').
1608'70R'.
1609neg('210W').
1610'215FY'.
1611neg('219EQ').
1612end(model(m148)).
1613
1614begin(model(m149)).
1615'wildtype'.
1616neg('41L').
1617neg('67N').
1618neg('70R').
1619neg('210W').
1620neg('215FY').
1621neg('219EQ').
1622end(model(m149)).
1623
1624begin(model(m150)).
1625'wildtype'.
1626neg('41L').
1627neg('67N').
1628neg('70R').
1629neg('210W').
1630neg('215FY').
1631neg('219EQ').
1632end(model(m150)).
1633
1634begin(model(m151)).
1635'wildtype'.
1636neg('41L').
1637neg('67N').
1638neg('70R').
1639neg('210W').
1640neg('215FY').
1641neg('219EQ').
1642end(model(m151)).
1643
1644begin(model(m152)).
1645'wildtype'.
1646neg('41L').
1647neg('67N').
1648neg('70R').
1649neg('210W').
1650neg('215FY').
1651neg('219EQ').
1652end(model(m152)).
1653
1654begin(model(m153)).
1655'wildtype'.
1656neg('41L').
1657neg('67N').
1658neg('70R').
1659neg('210W').
1660neg('215FY').
1661neg('219EQ').
1662end(model(m153)).
1663
1664begin(model(m154)).
1665'wildtype'.
1666neg('41L').
1667neg('67N').
1668'70R'.
1669neg('210W').
1670neg('215FY').
1671neg('219EQ').
1672end(model(m154)).
1673
1674begin(model(m155)).
1675'wildtype'.
1676neg('41L').
1677neg('67N').
1678'70R'.
1679neg('210W').
1680neg('215FY').
1681neg('219EQ').
1682end(model(m155)).
1683
1684begin(model(m156)).
1685'wildtype'.
1686neg('41L').
1687neg('67N').
1688neg('70R').
1689neg('210W').
1690'215FY'.
1691neg('219EQ').
1692end(model(m156)).
1693
1694begin(model(m157)).
1695'wildtype'.
1696'41L'.
1697neg('67N').
1698'70R'.
1699neg('210W').
1700'215FY'.
1701neg('219EQ').
1702end(model(m157)).
1703
1704begin(model(m158)).
1705'wildtype'.
1706neg('41L').
1707neg('67N').
1708neg('70R').
1709neg('210W').
1710neg('215FY').
1711neg('219EQ').
1712end(model(m158)).
1713
1714begin(model(m159)).
1715'wildtype'.
1716neg('41L').
1717neg('67N').
1718neg('70R').
1719neg('210W').
1720neg('215FY').
1721neg('219EQ').
1722end(model(m159)).
1723
1724begin(model(m160)).
1725'wildtype'.
1726neg('41L').
1727neg('67N').
1728neg('70R').
1729neg('210W').
1730neg('215FY').
1731neg('219EQ').
1732end(model(m160)).
1733
1734begin(model(m161)).
1735'wildtype'.
1736neg('41L').
1737neg('67N').
1738'70R'.
1739neg('210W').
1740neg('215FY').
1741neg('219EQ').
1742end(model(m161)).
1743
1744begin(model(m162)).
1745'wildtype'.
1746neg('41L').
1747neg('67N').
1748neg('70R').
1749'210W'.
1750'215FY'.
1751neg('219EQ').
1752end(model(m162)).
1753
1754begin(model(m163)).
1755'wildtype'.
1756neg('41L').
1757neg('67N').
1758'70R'.
1759neg('210W').
1760neg('215FY').
1761neg('219EQ').
1762end(model(m163)).
1763
1764begin(model(m164)).
1765'wildtype'.
1766neg('41L').
1767neg('67N').
1768neg('70R').
1769neg('210W').
1770'215FY'.
1771neg('219EQ').
1772end(model(m164)).
1773
1774begin(model(m165)).
1775'wildtype'.
1776neg('41L').
1777neg('67N').
1778'70R'.
1779neg('210W').
1780'215FY'.
1781'219EQ'.
1782end(model(m165)).
1783
1784begin(model(m166)).
1785'wildtype'.
1786neg('41L').
1787'67N'.
1788neg('70R').
1789'210W'.
1790'215FY'.
1791neg('219EQ').
1792end(model(m166)).
1793
1794begin(model(m167)).
1795'wildtype'.
1796'41L'.
1797neg('67N').
1798neg('70R').
1799neg('210W').
1800'215FY'.
1801neg('219EQ').
1802end(model(m167)).
1803
1804begin(model(m168)).
1805'wildtype'.
1806neg('41L').
1807neg('67N').
1808'70R'.
1809neg('210W').
1810'215FY'.
1811neg('219EQ').
1812end(model(m168)).
1813
1814begin(model(m169)).
1815'wildtype'.
1816neg('41L').
1817neg('67N').
1818neg('70R').
1819neg('210W').
1820'215FY'.
1821'219EQ'.
1822end(model(m169)).
1823
1824begin(model(m170)).
1825'wildtype'.
1826neg('41L').
1827neg('67N').
1828'70R'.
1829neg('210W').
1830'215FY'.
1831neg('219EQ').
1832end(model(m170)).
1833
1834begin(model(m171)).
1835'wildtype'.
1836neg('41L').
1837neg('67N').
1838neg('70R').
1839neg('210W').
1840neg('215FY').
1841neg('219EQ').
1842end(model(m171)).
1843
1844begin(model(m172)).
1845'wildtype'.
1846neg('41L').
1847'67N'.
1848'70R'.
1849neg('210W').
1850neg('215FY').
1851'219EQ'.
1852end(model(m172)).
1853
1854begin(model(m173)).
1855'wildtype'.
1856neg('41L').
1857neg('67N').
1858'70R'.
1859neg('210W').
1860'215FY'.
1861neg('219EQ').
1862end(model(m173)).
1863
1864begin(model(m174)).
1865'wildtype'.
1866neg('41L').
1867'67N'.
1868'70R'.
1869neg('210W').
1870'215FY'.
1871'219EQ'.
1872end(model(m174)).
1873
1874begin(model(m175)).
1875'wildtype'.
1876'41L'.
1877neg('67N').
1878neg('70R').
1879neg('210W').
1880neg('215FY').
1881neg('219EQ').
1882end(model(m175)).
1883
1884begin(model(m176)).
1885'wildtype'.
1886neg('41L').
1887neg('67N').
1888neg('70R').
1889neg('210W').
1890neg('215FY').
1891neg('219EQ').
1892end(model(m176)).
1893
1894begin(model(m177)).
1895'wildtype'.
1896'41L'.
1897neg('67N').
1898neg('70R').
1899'210W'.
1900'215FY'.
1901neg('219EQ').
1902end(model(m177)).
1903
1904begin(model(m178)).
1905'wildtype'.
1906neg('41L').
1907neg('67N').
1908neg('70R').
1909neg('210W').
1910neg('215FY').
1911neg('219EQ').
1912end(model(m178)).
1913
1914begin(model(m179)).
1915'wildtype'.
1916'41L'.
1917neg('67N').
1918neg('70R').
1919neg('210W').
1920'215FY'.
1921neg('219EQ').
1922end(model(m179)).
1923
1924begin(model(m180)).
1925'wildtype'.
1926neg('41L').
1927neg('67N').
1928neg('70R').
1929neg('210W').
1930neg('215FY').
1931neg('219EQ').
1932end(model(m180)).
1933
1934begin(model(m181)).
1935'wildtype'.
1936neg('41L').
1937neg('67N').
1938neg('70R').
1939neg('210W').
1940neg('215FY').
1941neg('219EQ').
1942end(model(m181)).
1943
1944begin(model(m182)).
1945'wildtype'.
1946neg('41L').
1947neg('67N').
1948neg('70R').
1949neg('210W').
1950neg('215FY').
1951neg('219EQ').
1952end(model(m182)).
1953
1954begin(model(m183)).
1955'wildtype'.
1956neg('41L').
1957neg('67N').
1958'70R'.
1959neg('210W').
1960neg('215FY').
1961'219EQ'.
1962end(model(m183)).
1963
1964begin(model(m184)).
1965'wildtype'.
1966neg('41L').
1967neg('67N').
1968neg('70R').
1969neg('210W').
1970neg('215FY').
1971neg('219EQ').
1972end(model(m184)).
1973
1974begin(model(m185)).
1975'wildtype'.
1976'41L'.
1977neg('67N').
1978neg('70R').
1979neg('210W').
1980'215FY'.
1981neg('219EQ').
1982end(model(m185)).
1983
1984begin(model(m186)).
1985'wildtype'.
1986'41L'.
1987'67N'.
1988'70R'.
1989neg('210W').
1990neg('215FY').
1991neg('219EQ').
1992end(model(m186)).
1993
1994begin(model(m187)).
1995'wildtype'.
1996neg('41L').
1997neg('67N').
1998neg('70R').
1999neg('210W').
2000neg('215FY').
2001neg('219EQ').
2002end(model(m187)).
2003
2004begin(model(m188)).
2005'wildtype'.
2006neg('41L').
2007neg('67N').
2008neg('70R').
2009neg('210W').
2010neg('215FY').
2011neg('219EQ').
2012end(model(m188)).
2013
2014begin(model(m189)).
2015'wildtype'.
2016'41L'.
2017neg('67N').
2018neg('70R').
2019'210W'.
2020'215FY'.
2021neg('219EQ').
2022end(model(m189)).
2023
2024begin(model(m190)).
2025'wildtype'.
2026neg('41L').
2027neg('67N').
2028'70R'.
2029neg('210W').
2030neg('215FY').
2031neg('219EQ').
2032end(model(m190)).
2033
2034begin(model(m191)).
2035'wildtype'.
2036neg('41L').
2037'67N'.
2038'70R'.
2039neg('210W').
2040neg('215FY').
2041'219EQ'.
2042end(model(m191)).
2043
2044begin(model(m192)).
2045'wildtype'.
2046neg('41L').
2047neg('67N').
2048'70R'.
2049neg('210W').
2050'215FY'.
2051'219EQ'.
2052end(model(m192)).
2053
2054begin(model(m193)).
2055'wildtype'.
2056'41L'.
2057'67N'.
2058'70R'.
2059neg('210W').
2060'215FY'.
2061'219EQ'.
2062end(model(m193)).
2063
2064begin(model(m194)).
2065'wildtype'.
2066neg('41L').
2067neg('67N').
2068'70R'.
2069neg('210W').
2070neg('215FY').
2071'219EQ'.
2072end(model(m194)).
2073
2074begin(model(m195)).
2075'wildtype'.
2076neg('41L').
2077neg('67N').
2078'70R'.
2079neg('210W').
2080neg('215FY').
2081neg('219EQ').
2082end(model(m195)).
2083
2084begin(model(m196)).
2085'wildtype'.
2086neg('41L').
2087neg('67N').
2088'70R'.
2089neg('210W').
2090neg('215FY').
2091'219EQ'.
2092end(model(m196)).
2093
2094begin(model(m197)).
2095'wildtype'.
2096neg('41L').
2097neg('67N').
2098neg('70R').
2099neg('210W').
2100'215FY'.
2101neg('219EQ').
2102end(model(m197)).
2103
2104begin(model(m198)).
2105'wildtype'.
2106neg('41L').
2107neg('67N').
2108'70R'.
2109neg('210W').
2110neg('215FY').
2111neg('219EQ').
2112end(model(m198)).
2113
2114begin(model(m199)).
2115'wildtype'.
2116neg('41L').
2117'67N'.
2118'70R'.
2119neg('210W').
2120neg('215FY').
2121'219EQ'.
2122end(model(m199)).
2123
2124begin(model(m200)).
2125'wildtype'.
2126neg('41L').
2127neg('67N').
2128'70R'.
2129neg('210W').
2130neg('215FY').
2131neg('219EQ').
2132end(model(m200)).
2133
2134begin(model(m201)).
2135'wildtype'.
2136neg('41L').
2137neg('67N').
2138neg('70R').
2139neg('210W').
2140neg('215FY').
2141neg('219EQ').
2142end(model(m201)).
2143
2144begin(model(m202)).
2145'wildtype'.
2146neg('41L').
2147neg('67N').
2148neg('70R').
2149neg('210W').
2150neg('215FY').
2151neg('219EQ').
2152end(model(m202)).
2153
2154begin(model(m203)).
2155'wildtype'.
2156neg('41L').
2157neg('67N').
2158'70R'.
2159'210W'.
2160'215FY'.
2161'219EQ'.
2162end(model(m203)).
2163
2164begin(model(m204)).
2165'wildtype'.
2166'41L'.
2167neg('67N').
2168neg('70R').
2169'210W'.
2170'215FY'.
2171neg('219EQ').
2172end(model(m204)).
2173
2174begin(model(m205)).
2175'wildtype'.
2176neg('41L').
2177neg('67N').
2178neg('70R').
2179neg('210W').
2180'215FY'.
2181neg('219EQ').
2182end(model(m205)).
2183
2184begin(model(m206)).
2185'wildtype'.
2186'41L'.
2187neg('67N').
2188neg('70R').
2189neg('210W').
2190'215FY'.
2191neg('219EQ').
2192end(model(m206)).
2193
2194begin(model(m207)).
2195'wildtype'.
2196'41L'.
2197neg('67N').
2198neg('70R').
2199'210W'.
2200'215FY'.
2201neg('219EQ').
2202end(model(m207)).
2203
2204begin(model(m208)).
2205'wildtype'.
2206neg('41L').
2207neg('67N').
2208neg('70R').
2209neg('210W').
2210'215FY'.
2211neg('219EQ').
2212end(model(m208)).
2213
2214begin(model(m209)).
2215'wildtype'.
2216neg('41L').
2217neg('67N').
2218'70R'.
2219neg('210W').
2220neg('215FY').
2221neg('219EQ').
2222end(model(m209)).
2223
2224begin(model(m210)).
2225'wildtype'.
2226neg('41L').
2227neg('67N').
2228neg('70R').
2229neg('210W').
2230neg('215FY').
2231neg('219EQ').
2232end(model(m210)).
2233
2234begin(model(m211)).
2235'wildtype'.
2236neg('41L').
2237'67N'.
2238'70R'.
2239neg('210W').
2240neg('215FY').
2241'219EQ'.
2242end(model(m211)).
2243
2244begin(model(m212)).
2245'wildtype'.
2246neg('41L').
2247'67N'.
2248'70R'.
2249neg('210W').
2250neg('215FY').
2251'219EQ'.
2252end(model(m212)).
2253
2254begin(model(m213)).
2255'wildtype'.
2256neg('41L').
2257neg('67N').
2258neg('70R').
2259'210W'.
2260'215FY'.
2261neg('219EQ').
2262end(model(m213)).
2263
2264begin(model(m214)).
2265'wildtype'.
2266neg('41L').
2267neg('67N').
2268neg('70R').
2269neg('210W').
2270neg('215FY').
2271neg('219EQ').
2272end(model(m214)).
2273
2274begin(model(m215)).
2275'wildtype'.
2276neg('41L').
2277neg('67N').
2278neg('70R').
2279neg('210W').
2280neg('215FY').
2281neg('219EQ').
2282end(model(m215)).
2283
2284begin(model(m216)).
2285'wildtype'.
2286neg('41L').
2287neg('67N').
2288neg('70R').
2289neg('210W').
2290'215FY'.
2291neg('219EQ').
2292end(model(m216)).
2293
2294begin(model(m217)).
2295'wildtype'.
2296neg('41L').
2297'67N'.
2298'70R'.
2299neg('210W').
2300neg('215FY').
2301'219EQ'.
2302end(model(m217)).
2303
2304begin(model(m218)).
2305'wildtype'.
2306neg('41L').
2307neg('67N').
2308neg('70R').
2309neg('210W').
2310'215FY'.
2311neg('219EQ').
2312end(model(m218)).
2313
2314begin(model(m219)).
2315'wildtype'.
2316neg('41L').
2317'67N'.
2318'70R'.
2319neg('210W').
2320neg('215FY').
2321'219EQ'.
2322end(model(m219)).
2324begin(model(m220)).
2325'wildtype'.
2326neg('41L').
2327neg('67N').
2328neg('70R').
2329neg('210W').
2330neg('215FY').
2331neg('219EQ').
2332end(model(m220)).
2333
2334begin(model(m221)).
2335'wildtype'.
2336'41L'.
2337'67N'.
2338'70R'.
2339neg('210W').
2340'215FY'.
2341'219EQ'.
2342end(model(m221)).
2343
2344begin(model(m222)).
2345'wildtype'.
2346'41L'.
2347'67N'.
2348neg('70R').
2349'210W'.
2350'215FY'.
2351'219EQ'.
2352end(model(m222)).
2353
2354begin(model(m223)).
2355'wildtype'.
2356neg('41L').
2357neg('67N').
2358'70R'.
2359neg('210W').
2360neg('215FY').
2361neg('219EQ').
2362end(model(m223)).
2363
2364begin(model(m224)).
2365'wildtype'.
2366'41L'.
2367'67N'.
2368'70R'.
2369'210W'.
2370'215FY'.
2371neg('219EQ').
2372end(model(m224)).
2373
2374begin(model(m225)).
2375'wildtype'.
2376'41L'.
2377neg('67N').
2378neg('70R').
2379neg('210W').
2380'215FY'.
2381neg('219EQ').
2382end(model(m225)).
2383
2384begin(model(m226)).
2385'wildtype'.
2386neg('41L').
2387neg('67N').
2388neg('70R').
2389neg('210W').
2390neg('215FY').
2391neg('219EQ').
2392end(model(m226)).
2393
2394begin(model(m227)).
2395'wildtype'.
2396neg('41L').
2397neg('67N').
2398neg('70R').
2399neg('210W').
2400neg('215FY').
2401neg('219EQ').
2402end(model(m227)).
2403
2404begin(model(m228)).
2405'wildtype'.
2406'41L'.
2407neg('67N').
2408neg('70R').
2409neg('210W').
2410'215FY'.
2411neg('219EQ').
2412end(model(m228)).
2413
2414begin(model(m229)).
2415'wildtype'.
2416neg('41L').
2417neg('67N').
2418neg('70R').
2419neg('210W').
2420neg('215FY').
2421neg('219EQ').
2422end(model(m229)).
2423
2424begin(model(m230)).
2425'wildtype'.
2426neg('41L').
2427neg('67N').
2428neg('70R').
2429neg('210W').
2430neg('215FY').
2431neg('219EQ').
2432end(model(m230)).
2433
2434begin(model(m231)).
2435'wildtype'.
2436neg('41L').
2437'67N'.
2438'70R'.
2439neg('210W').
2440'215FY'.
2441'219EQ'.
2442end(model(m231)).
2443
2444begin(model(m232)).
2445'wildtype'.
2446neg('41L').
2447neg('67N').
2448neg('70R').
2449neg('210W').
2450neg('215FY').
2451neg('219EQ').
2452end(model(m232)).
2453
2454begin(model(m233)).
2455'wildtype'.
2456neg('41L').
2457neg('67N').
2458neg('70R').
2459neg('210W').
2460neg('215FY').
2461neg('219EQ').
2462end(model(m233)).
2463
2464begin(model(m234)).
2465'wildtype'.
2466neg('41L').
2467neg('67N').
2468'70R'.
2469neg('210W').
2470neg('215FY').
2471neg('219EQ').
2472end(model(m234)).
2473
2474begin(model(m235)).
2475'wildtype'.
2476'41L'.
2477neg('67N').
2478neg('70R').
2479neg('210W').
2480'215FY'.
2481neg('219EQ').
2482end(model(m235)).
2483
2484begin(model(m236)).
2485'wildtype'.
2486'41L'.
2487neg('67N').
2488'70R'.
2489neg('210W').
2490'215FY'.
2491neg('219EQ').
2492end(model(m236)).
2493
2494begin(model(m237)).
2495'wildtype'.
2496neg('41L').
2497'67N'.
2498neg('70R').
2499'210W'.
2500'215FY'.
2501neg('219EQ').
2502end(model(m237)).
2503
2504begin(model(m238)).
2505'wildtype'.
2506'41L'.
2507neg('67N').
2508neg('70R').
2509'210W'.
2510'215FY'.
2511neg('219EQ').
2512end(model(m238)).
2513
2514begin(model(m239)).
2515'wildtype'.
2516'41L'.
2517neg('67N').
2518'70R'.
2519neg('210W').
2520neg('215FY').
2521neg('219EQ').
2522end(model(m239)).
2523
2524begin(model(m240)).
2525'wildtype'.
2526neg('41L').
2527neg('67N').
2528neg('70R').
2529neg('210W').
2530neg('215FY').
2531neg('219EQ').
2532end(model(m240)).
2533
2534begin(model(m241)).
2535'wildtype'.
2536neg('41L').
2537neg('67N').
2538neg('70R').
2539neg('210W').
2540neg('215FY').
2541neg('219EQ').
2542end(model(m241)).
2543
2544begin(model(m242)).
2545'wildtype'.
2546neg('41L').
2547neg('67N').
2548neg('70R').
2549neg('210W').
2550neg('215FY').
2551neg('219EQ').
2552end(model(m242)).
2553
2554begin(model(m243)).
2555'wildtype'.
2556neg('41L').
2557neg('67N').
2558'70R'.
2559'210W'.
2560'215FY'.
2561'219EQ'.
2562end(model(m243)).
2563
2564begin(model(m244)).
2565'wildtype'.
2566neg('41L').
2567neg('67N').
2568neg('70R').
2569neg('210W').
2570neg('215FY').
2571neg('219EQ').
2572end(model(m244)).
2573
2574begin(model(m245)).
2575'wildtype'.
2576'41L'.
2577neg('67N').
2578neg('70R').
2579neg('210W').
2580'215FY'.
2581neg('219EQ').
2582end(model(m245)).
2583
2584begin(model(m246)).
2585'wildtype'.
2586neg('41L').
2587'67N'.
2588'70R'.
2589neg('210W').
2590neg('215FY').
2591'219EQ'.
2592end(model(m246)).
2593
2594begin(model(m247)).
2595'wildtype'.
2596neg('41L').
2597neg('67N').
2598neg('70R').
2599neg('210W').
2600neg('215FY').
2601neg('219EQ').
2602end(model(m247)).
2603
2604begin(model(m248)).
2605'wildtype'.
2606neg('41L').
2607neg('67N').
2608'70R'.
2609neg('210W').
2610neg('215FY').
2611neg('219EQ').
2612end(model(m248)).
2613
2614begin(model(m249)).
2615'wildtype'.
2616'41L'.
2617neg('67N').
2618neg('70R').
2619neg('210W').
2620'215FY'.
2621neg('219EQ').
2622end(model(m249)).
2623
2624begin(model(m250)).
2625'wildtype'.
2626neg('41L').
2627neg('67N').
2628'70R'.
2629neg('210W').
2630neg('215FY').
2631neg('219EQ').
2632end(model(m250)).
2633
2634begin(model(m251)).
2635'wildtype'.
2636'41L'.
2637'67N'.
2638'70R'.
2639neg('210W').
2640'215FY'.
2641'219EQ'.
2642end(model(m251)).
2643
2644begin(model(m252)).
2645'wildtype'.
2646neg('41L').
2647neg('67N').
2648'70R'.
2649neg('210W').
2650neg('215FY').
2651neg('219EQ').
2652end(model(m252)).
2653
2654begin(model(m253)).
2655'wildtype'.
2656'41L'.
2657'67N'.
2658'70R'.
2659neg('210W').
2660'215FY'.
2661neg('219EQ').
2662end(model(m253)).
2663
2664begin(model(m254)).
2665'wildtype'.
2666neg('41L').
2667neg('67N').
2668neg('70R').
2669neg('210W').
2670neg('215FY').
2671'219EQ'.
2672end(model(m254)).
2673
2674begin(model(m255)).
2675'wildtype'.
2676neg('41L').
2677neg('67N').
2678neg('70R').
2679neg('210W').
2680neg('215FY').
2681neg('219EQ').
2682end(model(m255)).
2683
2684begin(model(m256)).
2685'wildtype'.
2686'41L'.
2687neg('67N').
2688neg('70R').
2689neg('210W').
2690'215FY'.
2691neg('219EQ').
2692end(model(m256)).
2693
2694begin(model(m257)).
2695'wildtype'.
2696'41L'.
2697neg('67N').
2698neg('70R').
2699neg('210W').
2700'215FY'.
2701neg('219EQ').
2702end(model(m257)).
2703
2704begin(model(m258)).
2705'wildtype'.
2706'41L'.
2707'67N'.
2708'70R'.
2709'210W'.
2710'215FY'.
2711neg('219EQ').
2712end(model(m258)).
2713
2714begin(model(m259)).
2715'wildtype'.
2716neg('41L').
2717neg('67N').
2718'70R'.
2719neg('210W').
2720neg('215FY').
2721neg('219EQ').
2722end(model(m259)).
2723
2724begin(model(m260)).
2725'wildtype'.
2726neg('41L').
2727neg('67N').
2728neg('70R').
2729neg('210W').
2730neg('215FY').
2731'219EQ'.
2732end(model(m260)).
2733
2734begin(model(m261)).
2735'wildtype'.
2736neg('41L').
2737neg('67N').
2738'70R'.
2739neg('210W').
2740neg('215FY').
2741neg('219EQ').
2742end(model(m261)).
2743
2744begin(model(m262)).
2745'wildtype'.
2746neg('41L').
2747neg('67N').
2748neg('70R').
2749neg('210W').
2750neg('215FY').
2751neg('219EQ').
2752end(model(m262)).
2753
2754begin(model(m263)).
2755'wildtype'.
2756neg('41L').
2757'67N'.
2758'70R'.
2759neg('210W').
2760neg('215FY').
2761'219EQ'.
2762end(model(m263)).
2763
2764begin(model(m264)).
2765'wildtype'.
2766neg('41L').
2767'67N'.
2768'70R'.
2769neg('210W').
2770neg('215FY').
2771'219EQ'.
2772end(model(m264)).
2773
2774begin(model(m265)).
2775'wildtype'.
2776neg('41L').
2777neg('67N').
2778neg('70R').
2779neg('210W').
2780neg('215FY').
2781neg('219EQ').
2782end(model(m265)).
2783
2784begin(model(m266)).
2785'wildtype'.
2786neg('41L').
2787neg('67N').
2788'70R'.
2789neg('210W').
2790neg('215FY').
2791neg('219EQ').
2792end(model(m266)).
2793
2794begin(model(m267)).
2795'wildtype'.
2796'41L'.
2797'67N'.
2798neg('70R').
2799'210W'.
2800'215FY'.
2801neg('219EQ').
2802end(model(m267)).
2803
2804begin(model(m268)).
2805'wildtype'.
2806neg('41L').
2807neg('67N').
2808'70R'.
2809neg('210W').
2810neg('215FY').
2811neg('219EQ').
2812end(model(m268)).
2813
2814begin(model(m269)).
2815'wildtype'.
2816neg('41L').
2817neg('67N').
2818'70R'.
2819neg('210W').
2820neg('215FY').
2821'219EQ'.
2822end(model(m269)).
2823
2824begin(model(m270)).
2825'wildtype'.
2826'41L'.
2827'67N'.
2828neg('70R').
2829neg('210W').
2830'215FY'.
2831neg('219EQ').
2832end(model(m270)).
2833
2834begin(model(m271)).
2835'wildtype'.
2836'41L'.
2837neg('67N').
2838neg('70R').
2839'210W'.
2840'215FY'.
2841neg('219EQ').
2842end(model(m271)).
2843
2844begin(model(m272)).
2845'wildtype'.
2846neg('41L').
2847'67N'.
2848'70R'.
2849neg('210W').
2850'215FY'.
2851neg('219EQ').
2852end(model(m272)).
2853
2854begin(model(m273)).
2855'wildtype'.
2856neg('41L').
2857'67N'.
2858'70R'.
2859neg('210W').
2860neg('215FY').
2861neg('219EQ').
2862end(model(m273)).
2863
2864begin(model(m274)).
2865'wildtype'.
2866neg('41L').
2867neg('67N').
2868neg('70R').
2869neg('210W').
2870neg('215FY').
2871neg('219EQ').
2872end(model(m274)).
2873
2874begin(model(m275)).
2875'wildtype'.
2876neg('41L').
2877neg('67N').
2878neg('70R').
2879neg('210W').
2880neg('215FY').
2881neg('219EQ').
2882end(model(m275)).
2883
2884begin(model(m276)).
2885'wildtype'.
2886neg('41L').
2887neg('67N').
2888neg('70R').
2889neg('210W').
2890neg('215FY').
2891neg('219EQ').
2892end(model(m276)).
2893
2894begin(model(m277)).
2895'wildtype'.
2896neg('41L').
2897neg('67N').
2898neg('70R').
2899neg('210W').
2900neg('215FY').
2901neg('219EQ').
2902end(model(m277)).
2903
2904begin(model(m278)).
2905'wildtype'.
2906neg('41L').
2907neg('67N').
2908neg('70R').
2909neg('210W').
2910neg('215FY').
2911neg('219EQ').
2912end(model(m278)).
2913
2914begin(model(m279)).
2915'wildtype'.
2916neg('41L').
2917neg('67N').
2918'70R'.
2919neg('210W').
2920neg('215FY').
2921neg('219EQ').
2922end(model(m279)).
2923
2924begin(model(m280)).
2925'wildtype'.
2926neg('41L').
2927neg('67N').
2928neg('70R').
2929neg('210W').
2930neg('215FY').
2931neg('219EQ').
2932end(model(m280)).
2933
2934begin(model(m281)).
2935'wildtype'.
2936neg('41L').
2937neg('67N').
2938neg('70R').
2939neg('210W').
2940neg('215FY').
2941neg('219EQ').
2942end(model(m281)).
2943
2944begin(model(m282)).
2945'wildtype'.
2946neg('41L').
2947neg('67N').
2948'70R'.
2949neg('210W').
2950neg('215FY').
2951neg('219EQ').
2952end(model(m282)).
2953
2954begin(model(m283)).
2955'wildtype'.
2956neg('41L').
2957neg('67N').
2958neg('70R').
2959neg('210W').
2960neg('215FY').
2961neg('219EQ').
2962end(model(m283)).
2963
2964begin(model(m284)).
2965'wildtype'.
2966'41L'.
2967neg('67N').
2968neg('70R').
2969'210W'.
2970'215FY'.
2971neg('219EQ').
2972end(model(m284)).
2973
2974begin(model(m285)).
2975'wildtype'.
2976'41L'.
2977neg('67N').
2978neg('70R').
2979'210W'.
2980'215FY'.
2981neg('219EQ').
2982end(model(m285)).
2983
2984begin(model(m286)).
2985'wildtype'.
2986neg('41L').
2987neg('67N').
2988'70R'.
2989neg('210W').
2990neg('215FY').
2991neg('219EQ').
2992end(model(m286)).
2993
2994begin(model(m287)).
2995'wildtype'.
2996neg('41L').
2997neg('67N').
2998neg('70R').
2999neg('210W').
3000neg('215FY').
3001neg('219EQ').
3002end(model(m287)).
3003
3004begin(model(m288)).
3005'wildtype'.
3006neg('41L').
3007neg('67N').
3008'70R'.
3009neg('210W').
3010neg('215FY').
3011neg('219EQ').
3012end(model(m288)).
3013
3014begin(model(m289)).
3015'wildtype'.
3016'41L'.
3017neg('67N').
3018neg('70R').
3019neg('210W').
3020'215FY'.
3021neg('219EQ').
3022end(model(m289)).
3023
3024begin(model(m290)).
3025'wildtype'.
3026neg('41L').
3027neg('67N').
3028'70R'.
3029neg('210W').
3030'215FY'.
3031neg('219EQ').
3032end(model(m290)).
3033
3034begin(model(m291)).
3035'wildtype'.
3036neg('41L').
3037'67N'.
3038neg('70R').
3039neg('210W').
3040neg('215FY').
3041'219EQ'.
3042end(model(m291)).
3043
3044begin(model(m292)).
3045'wildtype'.
3046neg('41L').
3047neg('67N').
3048'70R'.
3049neg('210W').
3050neg('215FY').
3051neg('219EQ').
3052end(model(m292)).
3054begin(model(m293)).
3055'wildtype'.
3056neg('41L').
3057'67N'.
3058'70R'.
3059neg('210W').
3060neg('215FY').
3061neg('219EQ').
3062end(model(m293)).
3063
3064begin(model(m294)).
3065'wildtype'.
3066neg('41L').
3067neg('67N').
3068'70R'.
3069neg('210W').
3070neg('215FY').
3071neg('219EQ').
3072end(model(m294)).
3073
3074begin(model(m295)).
3075'wildtype'.
3076'41L'.
3077neg('67N').
3078neg('70R').
3079neg('210W').
3080'215FY'.
3081neg('219EQ').
3082end(model(m295)).
3083
3084begin(model(m296)).
3085'wildtype'.
3086neg('41L').
3087neg('67N').
3088'70R'.
3089neg('210W').
3090neg('215FY').
3091neg('219EQ').
3092end(model(m296)).
3093
3094begin(model(m297)).
3095'wildtype'.
3096neg('41L').
3097neg('67N').
3098neg('70R').
3099neg('210W').
3100neg('215FY').
3101neg('219EQ').
3102end(model(m297)).
3103
3104begin(model(m298)).
3105'wildtype'.
3106neg('41L').
3107'67N'.
3108'70R'.
3109neg('210W').
3110neg('215FY').
3111'219EQ'.
3112end(model(m298)).
3113
3114begin(model(m299)).
3115'wildtype'.
3116'41L'.
3117neg('67N').
3118'70R'.
3119neg('210W').
3120'215FY'.
3121neg('219EQ').
3122end(model(m299)).
3123
3124begin(model(m300)).
3125'wildtype'.
3126'41L'.
3127'67N'.
3128'70R'.
3129neg('210W').
3130'215FY'.
3131'219EQ'.
3132end(model(m300)).
3133
3134begin(model(m301)).
3135'wildtype'.
3136neg('41L').
3137'67N'.
3138'70R'.
3139neg('210W').
3140'215FY'.
3141neg('219EQ').
3142end(model(m301)).
3143
3144begin(model(m302)).
3145'wildtype'.
3146neg('41L').
3147neg('67N').
3148neg('70R').
3149neg('210W').
3150neg('215FY').
3151neg('219EQ').
3152end(model(m302)).
3153
3154begin(model(m303)).
3155'wildtype'.
3156neg('41L').
3157neg('67N').
3158'70R'.
3159neg('210W').
3160neg('215FY').
3161neg('219EQ').
3162end(model(m303)).
3163
3164begin(model(m304)).
3165'wildtype'.
3166neg('41L').
3167neg('67N').
3168neg('70R').
3169neg('210W').
3170neg('215FY').
3171neg('219EQ').
3172end(model(m304)).
3173
3174begin(model(m305)).
3175'wildtype'.
3176neg('41L').
3177neg('67N').
3178'70R'.
3179neg('210W').
3180neg('215FY').
3181neg('219EQ').
3182end(model(m305)).
3183
3184begin(model(m306)).
3185'wildtype'.
3186neg('41L').
3187'67N'.
3188'70R'.
3189neg('210W').
3190neg('215FY').
3191'219EQ'.
3192end(model(m306)).
3193
3194begin(model(m307)).
3195'wildtype'.
3196neg('41L').
3197neg('67N').
3198neg('70R').
3199neg('210W').
3200neg('215FY').
3201neg('219EQ').
3202end(model(m307)).
3203
3204begin(model(m308)).
3205'wildtype'.
3206'41L'.
3207neg('67N').
3208neg('70R').
3209neg('210W').
3210'215FY'.
3211neg('219EQ').
3212end(model(m308)).
3213
3214begin(model(m309)).
3215'wildtype'.
3216neg('41L').
3217neg('67N').
3218'70R'.
3219neg('210W').
3220neg('215FY').
3221neg('219EQ').
3222end(model(m309)).
3223
3224begin(model(m310)).
3225'wildtype'.
3226'41L'.
3227neg('67N').
3228neg('70R').
3229'210W'.
3230'215FY'.
3231neg('219EQ').
3232end(model(m310)).
3233
3234begin(model(m311)).
3235'wildtype'.
3236neg('41L').
3237'67N'.
3238'70R'.
3239neg('210W').
3240neg('215FY').
3241neg('219EQ').
3242end(model(m311)).
3243
3244begin(model(m312)).
3245'wildtype'.
3246neg('41L').
3247neg('67N').
3248'70R'.
3249neg('210W').
3250neg('215FY').
3251neg('219EQ').
3252end(model(m312)).
3253
3254begin(model(m313)).
3255'wildtype'.
3256neg('41L').
3257neg('67N').
3258'70R'.
3259'210W'.
3260'215FY'.
3261'219EQ'.
3262end(model(m313)).
3263
3264begin(model(m314)).
3265'wildtype'.
3266neg('41L').
3267'67N'.
3268'70R'.
3269neg('210W').
3270'215FY'.
3271neg('219EQ').
3272end(model(m314)).
3273
3274begin(model(m315)).
3275'wildtype'.
3276neg('41L').
3277'67N'.
3278'70R'.
3279neg('210W').
3280'215FY'.
3281'219EQ'.
3282end(model(m315)).
3283
3284begin(model(m316)).
3285'wildtype'.
3286'41L'.
3287neg('67N').
3288neg('70R').
3289neg('210W').
3290'215FY'.
3291neg('219EQ').
3292end(model(m316)).
3293
3294begin(model(m317)).
3295'wildtype'.
3296neg('41L').
3297neg('67N').
3298'70R'.
3299neg('210W').
3300neg('215FY').
3301neg('219EQ').
3302end(model(m317)).
3303
3304begin(model(m318)).
3305'wildtype'.
3306'41L'.
3307neg('67N').
3308neg('70R').
3309neg('210W').
3310'215FY'.
3311neg('219EQ').
3312end(model(m318)).
3313
3314begin(model(m319)).
3315'wildtype'.
3316neg('41L').
3317neg('67N').
3318neg('70R').
3319neg('210W').
3320neg('215FY').
3321neg('219EQ').
3322end(model(m319)).
3323
3324begin(model(m320)).
3325'wildtype'.
3326neg('41L').
3327neg('67N').
3328neg('70R').
3329neg('210W').
3330neg('215FY').
3331neg('219EQ').
3332end(model(m320)).
3333
3334begin(model(m321)).
3335'wildtype'.
3336neg('41L').
3337neg('67N').
3338neg('70R').
3339neg('210W').
3340neg('215FY').
3341neg('219EQ').
3342end(model(m321)).
3343
3344begin(model(m322)).
3345'wildtype'.
3346neg('41L').
3347neg('67N').
3348neg('70R').
3349neg('210W').
3350'215FY'.
3351neg('219EQ').
3352end(model(m322)).
3353
3354begin(model(m323)).
3355'wildtype'.
3356neg('41L').
3357neg('67N').
3358'70R'.
3359neg('210W').
3360neg('215FY').
3361neg('219EQ').
3362end(model(m323)).
3363
3364begin(model(m324)).
3365'wildtype'.
3366neg('41L').
3367neg('67N').
3368neg('70R').
3369neg('210W').
3370neg('215FY').
3371neg('219EQ').
3372end(model(m324)).
3373
3374begin(model(m325)).
3375'wildtype'.
3376neg('41L').
3377neg('67N').
3378'70R'.
3379neg('210W').
3380neg('215FY').
3381neg('219EQ').
3382end(model(m325)).
3383
3384begin(model(m326)).
3385'wildtype'.
3386'41L'.
3387neg('67N').
3388neg('70R').
3389'210W'.
3390'215FY'.
3391neg('219EQ').
3392end(model(m326)).
3393
3394begin(model(m327)).
3395'wildtype'.
3396'41L'.
3397'67N'.
3398'70R'.
3399neg('210W').
3400'215FY'.
3401'219EQ'.
3402end(model(m327)).
3403
3404begin(model(m328)).
3405'wildtype'.
3406neg('41L').
3407neg('67N').
3408'70R'.
3409neg('210W').
3410neg('215FY').
3411neg('219EQ').
3412end(model(m328)).
3413
3414begin(model(m329)).
3415'wildtype'.
3416neg('41L').
3417neg('67N').
3418neg('70R').
3419neg('210W').
3420neg('215FY').
3421neg('219EQ').
3422end(model(m329)).
3423
3424begin(model(m330)).
3425'wildtype'.
3426neg('41L').
3427neg('67N').
3428neg('70R').
3429neg('210W').
3430neg('215FY').
3431neg('219EQ').
3432end(model(m330)).
3433
3434begin(model(m331)).
3435'wildtype'.
3436'41L'.
3437neg('67N').
3438neg('70R').
3439neg('210W').
3440neg('215FY').
3441neg('219EQ').
3442end(model(m331)).
3443
3444begin(model(m332)).
3445'wildtype'.
3446neg('41L').
3447neg('67N').
3448neg('70R').
3449neg('210W').
3450neg('215FY').
3451neg('219EQ').
3452end(model(m332)).
3453
3454begin(model(m333)).
3455'wildtype'.
3456'41L'.
3457neg('67N').
3458neg('70R').
3459neg('210W').
3460'215FY'.
3461neg('219EQ').
3462end(model(m333)).
3463
3464begin(model(m334)).
3465'wildtype'.
3466neg('41L').
3467neg('67N').
3468'70R'.
3469neg('210W').
3470neg('215FY').
3471neg('219EQ').
3472end(model(m334)).
3473
3474begin(model(m335)).
3475'wildtype'.
3476'41L'.
3477'67N'.
3478'70R'.
3479neg('210W').
3480'215FY'.
3481'219EQ'.
3482end(model(m335)).
3483
3484begin(model(m336)).
3485'wildtype'.
3486'41L'.
3487neg('67N').
3488neg('70R').
3489'210W'.
3490'215FY'.
3491neg('219EQ').
3492end(model(m336)).
3493
3494begin(model(m337)).
3495'wildtype'.
3496neg('41L').
3497neg('67N').
3498neg('70R').
3499neg('210W').
3500neg('215FY').
3501neg('219EQ').
3502end(model(m337)).
3503
3504begin(model(m338)).
3505'wildtype'.
3506neg('41L').
3507neg('67N').
3508neg('70R').
3509neg('210W').
3510neg('215FY').
3511neg('219EQ').
3512end(model(m338)).
3513
3514begin(model(m339)).
3515'wildtype'.
3516'41L'.
3517neg('67N').
3518neg('70R').
3519neg('210W').
3520'215FY'.
3521neg('219EQ').
3522end(model(m339)).
3523
3524begin(model(m340)).
3525'wildtype'.
3526'41L'.
3527neg('67N').
3528neg('70R').
3529neg('210W').
3530'215FY'.
3531neg('219EQ').
3532end(model(m340)).
3533
3534begin(model(m341)).
3535'wildtype'.
3536'41L'.
3537neg('67N').
3538neg('70R').
3539neg('210W').
3540'215FY'.
3541neg('219EQ').
3542end(model(m341)).
3543
3544begin(model(m342)).
3545'wildtype'.
3546neg('41L').
3547neg('67N').
3548neg('70R').
3549neg('210W').
3550'215FY'.
3551neg('219EQ').
3552end(model(m342)).
3553
3554begin(model(m343)).
3555'wildtype'.
3556neg('41L').
3557neg('67N').
3558'70R'.
3559neg('210W').
3560neg('215FY').
3561neg('219EQ').
3562end(model(m343)).
3563
3564begin(model(m344)).
3565'wildtype'.
3566'41L'.
3567neg('67N').
3568neg('70R').
3569neg('210W').
3570'215FY'.
3571neg('219EQ').
3572end(model(m344)).
3573
3574begin(model(m345)).
3575'wildtype'.
3576neg('41L').
3577neg('67N').
3578neg('70R').
3579neg('210W').
3580neg('215FY').
3581neg('219EQ').
3582end(model(m345)).
3583
3584begin(model(m346)).
3585'wildtype'.
3586neg('41L').
3587neg('67N').
3588neg('70R').
3589neg('210W').
3590neg('215FY').
3591neg('219EQ').
3592end(model(m346)).
3593
3594begin(model(m347)).
3595'wildtype'.
3596neg('41L').
3597'67N'.
3598'70R'.
3599neg('210W').
3600neg('215FY').
3601'219EQ'.
3602end(model(m347)).
3603
3604begin(model(m348)).
3605'wildtype'.
3606'41L'.
3607neg('67N').
3608neg('70R').
3609'210W'.
3610neg('215FY').
3611neg('219EQ').
3612end(model(m348)).
3613
3614begin(model(m349)).
3615'wildtype'.
3616'41L'.
3617neg('67N').
3618'70R'.
3619neg('210W').
3620'215FY'.
3621neg('219EQ').
3622end(model(m349)).
3623
3624begin(model(m350)).
3625'wildtype'.
3626neg('41L').
3627neg('67N').
3628neg('70R').
3629neg('210W').
3630neg('215FY').
3631neg('219EQ').
3632end(model(m350)).
3633
3634begin(model(m351)).
3635'wildtype'.
3636neg('41L').
3637neg('67N').
3638neg('70R').
3639neg('210W').
3640neg('215FY').
3641neg('219EQ').
3642end(model(m351)).
3643
3644begin(model(m352)).
3645'wildtype'.
3646'41L'.
3647neg('67N').
3648neg('70R').
3649'210W'.
3650'215FY'.
3651neg('219EQ').
3652end(model(m352)).
3653
3654begin(model(m353)).
3655'wildtype'.
3656neg('41L').
3657neg('67N').
3658neg('70R').
3659neg('210W').
3660neg('215FY').
3661neg('219EQ').
3662end(model(m353)).
3663
3664begin(model(m354)).
3665'wildtype'.
3666'41L'.
3667neg('67N').
3668neg('70R').
3669neg('210W').
3670'215FY'.
3671neg('219EQ').
3672end(model(m354)).
3673
3674begin(model(m355)).
3675'wildtype'.
3676neg('41L').
3677neg('67N').
3678neg('70R').
3679neg('210W').
3680neg('215FY').
3681neg('219EQ').
3682end(model(m355)).
3683
3684begin(model(m356)).
3685'wildtype'.
3686neg('41L').
3687neg('67N').
3688neg('70R').
3689neg('210W').
3690neg('215FY').
3691neg('219EQ').
3692end(model(m356)).
3693
3694begin(model(m357)).
3695'wildtype'.
3696neg('41L').
3697neg('67N').
3698neg('70R').
3699neg('210W').
3700'215FY'.
3701neg('219EQ').
3702end(model(m357)).
3703
3704begin(model(m358)).
3705'wildtype'.
3706neg('41L').
3707neg('67N').
3708'70R'.
3709neg('210W').
3710'215FY'.
3711'219EQ'.
3712end(model(m358)).
3713
3714begin(model(m359)).
3715'wildtype'.
3716neg('41L').
3717neg('67N').
3718neg('70R').
3719neg('210W').
3720neg('215FY').
3721neg('219EQ').
3722end(model(m359)).
3723
3724begin(model(m360)).
3725'wildtype'.
3726'41L'.
3727neg('67N').
3728neg('70R').
3729neg('210W').
3730'215FY'.
3731neg('219EQ').
3732end(model(m360)).
3733
3734begin(model(m361)).
3735'wildtype'.
3736'41L'.
3737neg('67N').
3738neg('70R').
3739neg('210W').
3740'215FY'.
3741neg('219EQ').
3742end(model(m361)).
3743
3744begin(model(m362)).
3745'wildtype'.
3746neg('41L').
3747'67N'.
3748'70R'.
3749neg('210W').
3750neg('215FY').
3751neg('219EQ').
3752end(model(m362)).
3753
3754begin(model(m363)).
3755'wildtype'.
3756neg('41L').
3757neg('67N').
3758'70R'.
3759neg('210W').
3760neg('215FY').
3761neg('219EQ').
3762end(model(m363)).
3763
3764begin(model(m364)).
3765'wildtype'.
3766neg('41L').
3767neg('67N').
3768'70R'.
3769neg('210W').
3770neg('215FY').
3771neg('219EQ').
3772end(model(m364)).
?-
induce([1,2,3,4],[5],P,LL,AUCROC,ROC,AUCPR,PR). ?-induce_par([1,2,3,4],[5],P,LL,AUCROC,ROC,AUCPR,PR). ?-induce([1,2,3,4,5],P). ?-induce_par([1,2,3,4,5],P). */