------------------------------------------------------------ Pratt version 2.1, Sept. 1996 Written by Inge Jonassen, University of Bergen Norway email: inge@ii.uib.no For more information, see http://www.ii.uib.no/~inge/Pratt.html ------------------------------------------------------------ Please quote: I.Jonassen, J.F.Collins, D.G.Higgins. Protein Science 1995;4(8):1587-1595. ------------------------------------------------------------ Pratt version 2.1 Analysing 21 sequences from file CECROPIN PATTERN CONSERVATION: CM: min Nr of Seqs to Match 21 C%: min Percentage Seqs to Match 100.0 PATTERN RESTRICTIONS : PP: pos in seq [off,complete,start] off PL: max Pattern Length 50 PN: max Nr of Pattern Symbols 50 PX: max Nr of consecutive x's 5 FN: max Nr of flexible spacers 2 FL: max Flexibility 2 FP: max Flex.Product 10 BI: Input Pattern Symbol File off BN: Nr of Pattern Symbols Initial Search 20 PATTERN SCORING: S: Scoring [info,mdl,tree,dist,ppv] info SEARCH PARAMETERS: G: Pattern Graph from [seq,al,query] seq E: Search Greediness 3 R: Pattern Refinement on RG: Generalise ambiguous symbols off OUTPUT: OF: Output Filename CECROPIN.pratt2 OP: PROSITE Pattern Format on ON: max number patterns 20 OA: max number Alignments 20 M: Print Patterns in sequences off Sequence lengths: CEC1_CERCA 63 CEC1_PIG 31 CEC2_CERCA 63 CEC2_MANSE 37 CEC3_MANSE 37 CEC4_BOMMO 35 CEC4_MANSE 37 CEC5_MANSE 61 CECA_BOMMO 35 CECA_DROME 63 CECA_HYACE 64 CECB_ANTPE 35 CECB_DROME 63 CECB_HYACE 62 CECC_DROME 63 CECD_ANTPE 36 CECD_HYACE 62 SR1A_SARPE 63 SR1B_SARPE 63 SR1C_SARPE 39 SR1D_SARPE 40 Pratt run started at Thu Feb 6 19:05:31 1997 Best Patterns before refinement: fitness hits(seqs) Pattern 1: 11.0102 31( 21) I-x(0,2)-A-x(1,2)-A 2: 11.0102 21( 21) K-x(2,3)-E-x(0,2)-G 3: 8.3401 21( 21) K-x(5)-G 4: 8.3401 21( 21) K-x(2)-E 5: 7.8401 24( 21) G-x(2,3)-R 6: 7.8401 53( 21) I-x(2,3)-G 7: 7.8401 90( 21) A-x(1,2)-A 8: 7.8401 44( 21) A-x(4,5)-G 9: 7.8401 50( 21) I-x(4,5)-A 10: 7.8401 34( 21) K-x(1,2)-E 11: 7.3401 27( 21) G-x(1,3)-R 12: 7.3401 53( 21) I-x(1,3)-G 13: 7.3401 65( 21) A-x(3,5)-G 14: 7.3401 45( 21) I-x(0,2)-A 15: 7.3401 53( 21) G-x(3,5)-A 16: 7.3401 27( 21) E-x(0,2)-G Best Patterns (after refinement phase): fitness hits(seqs) Pattern A 1: 34.5857 21( 21) K-[EKR]-[IL]-E-x(2)-[AG]-x(4)-[DNS]-[AEG]-x-[IV]-x(2)-[AGIL]-[AGIP]-x-[AGIV]-[AEGQT] B 2: 28.1522 34( 21) K-x(1,2)-E-x(2)-[AG]-x(4)-[DNS]-[AEG]-x-[IV]-x(2)-[AGIL]-[AGIP]-x-[AGIV]-[AEGQT] C 3: 22.5063 26( 21) I-x(0,2)-A-x(1,2)-A-[AGIV]-[AENQ]-[GSTV]-[AGLV]-[AGP] D 4: 13.1263 30( 21) I-x(4,5)-A-x(4)-[AGN]-x-[ALP] E 5: 12.8199 33( 21) I-x(0,2)-A-x(2)-[AI]-x(2)-[GSTV] F 6: 12.6861 34( 21) A-x(1,2)-A-x(2)-[AGV]-x-[AGNP] G 7: 11.0102 21( 21) K-x(2,3)-E-x(0,2)-G H 8: 10.9870 21( 21) K-[EKR]-x(4)-G I 9: 9.5754 39( 21) G-x(3,5)-A-x(2)-[AGQS] J 10: 7.8401 24( 21) G-x(2,3)-R K 11: 7.8401 53( 21) I-x(2,3)-G L 12: 7.8401 44( 21) A-x(4,5)-G M 13: 7.3401 27( 21) G-x(1,3)-R N 14: 7.3401 53( 21) I-x(1,3)-G O 15: 7.3401 65( 21) A-x(3,5)-G P 16: 7.3401 27( 21) E-x(0,2)-G Best patterns with alignements: fitness hits(seqs) Pattern A 1: 34.5857 21( 21) K-[EKR]-[IL]-E-x(2)-[AG]-x(4)-[DNS]-[AEG]-x-[IV]-x(2)-[AGIL]-[AGIP]-x-[AGIV]-[AEGQT] Occurences: 21(21) CEC1_CERCA : 31- 52: lkkig KKIErvGqhtrDAtIqtIAvAQ qaanv CEC1_PIG : 8- 29: lskta KKLEnsAkkriSEgIaiAIqGG pr CEC2_CERCA : 31- 52: lkkig KKIErvGqhtrDAtIqtIGvAQ qaanv CEC2_MANSE : 5- 26: wnpf KELEraGqrvrDAvIsaAPaVA tvgqa CEC3_MANSE : 5- 26: wnpf KELEraGqrvrDAiIsaGPaVA tvgqa CEC4_BOMMO : 6- 27: rwkif KKIEkvGqnirDGiVkaGPaVA vvgqa CEC4_MANSE : 5- 26: wnpf KELEraGqrvrDAiIsaAPaVA tvgqa CEC5_MANSE : 29- 50: pwnpf KELEraGqrvrDAvIsaAAvAT vgqaa CECA_BOMMO : 6- 27: rwkif KKIEkmGrnirDGiVkaGPaIE vlgsa CECA_DROME : 31- 52: lkkig KKIErvGqhtrDAtIqgLGiAQ qaanv CECA_HYACE : 32- 53: kwklf KKIEkvGqnirDGiIkaGPaVA vvgqa CECB_ANTPE : 6- 27: kwkif KKIEkvGrnirNGiIkaGPaVA vlgea CECB_DROME : 31- 52: lrklg KKIEriGqhtrDAsIqvLGiAQ qaanv CECB_HYACE : 32- 53: kwkvf KKIEkmGrnirNGiVkaGPaIA vlgea CECC_DROME : 31- 52: lkklg KRIEriGqhtrDAtIqgLGiAQ qaanv CECD_ANTPE : 5- 26: wnpf KELEraGqrvrDAiIsaGPaVA tvaqa CECD_HYACE : 29- 50: pwnpf KELEkvGqrvrDAvIsaGPaVA tvaqa SR1A_SARPE : 31- 52: lkkig KKIErvGqhtrDAtIqgLGiAQ qaanv SR1B_SARPE : 31- 52: lkkig KKIErvGqhtrDAtIqvIGvAQ qaanv SR1C_SARPE : 8- 29: lrkig KKIErvGqhtrDAtIqvLGiAQ qaanv SR1D_SARPE : 8- 29: irdfg KRIErvGqhtrDAtIqtIAvAQ qaanv B 2: 28.1522 34( 21) K-x(1,2)-E-x(2)-[AG]-x(4)-[DNS]-[AEG]-x-[IV]-x(2)-[AGIL]-[AGIP]-x-[AGIV]-[AEGQT] Occurences: 34(21) CEC1_CERCA : 31- 52: lkkig KkiErvGqhtrDAtIqtIAvAQ qaanv CEC1_CERCA : 32- 52: kkigk Ki-ErvGqhtrDAtIqtIAvAQ qaanv CEC1_PIG : 8- 29: lskta KklEnsAkkriSEgIaiAIqGG pr CEC1_PIG : 9- 29: sktak Kl-EnsAkkriSEgIaiAIqGG pr CEC2_CERCA : 31- 52: lkkig KkiErvGqhtrDAtIqtIGvAQ qaanv CEC2_CERCA : 32- 52: kkigk Ki-ErvGqhtrDAtIqtIGvAQ qaanv CEC2_MANSE : 5- 26: wnpf KelEraGqrvrDAvIsaAPaVA tvgqa CEC3_MANSE : 5- 26: wnpf KelEraGqrvrDAiIsaGPaVA tvgqa CEC4_BOMMO : 6- 27: rwkif KkiEkvGqnirDGiVkaGPaVA vvgqa CEC4_BOMMO : 7- 27: wkifk Ki-EkvGqnirDGiVkaGPaVA vvgqa CEC4_MANSE : 5- 26: wnpf KelEraGqrvrDAiIsaAPaVA tvgqa CEC5_MANSE : 29- 50: pwnpf KelEraGqrvrDAvIsaAAvAT vgqaa CECA_BOMMO : 6- 27: rwkif KkiEkmGrnirDGiVkaGPaIE vlgsa CECA_BOMMO : 7- 27: wkifk Ki-EkmGrnirDGiVkaGPaIE vlgsa CECA_DROME : 31- 52: lkkig KkiErvGqhtrDAtIqgLGiAQ qaanv CECA_DROME : 32- 52: kkigk Ki-ErvGqhtrDAtIqgLGiAQ qaanv CECA_HYACE : 32- 53: kwklf KkiEkvGqnirDGiIkaGPaVA vvgqa CECA_HYACE : 33- 53: wklfk Ki-EkvGqnirDGiIkaGPaVA vvgqa CECB_ANTPE : 6- 27: kwkif KkiEkvGrnirNGiIkaGPaVA vlgea CECB_ANTPE : 7- 27: wkifk Ki-EkvGrnirNGiIkaGPaVA vlgea CECB_DROME : 31- 52: lrklg KkiEriGqhtrDAsIqvLGiAQ qaanv CECB_DROME : 32- 52: rklgk Ki-EriGqhtrDAsIqvLGiAQ qaanv CECB_HYACE : 32- 53: kwkvf KkiEkmGrnirNGiVkaGPaIA vlgea CECB_HYACE : 33- 53: wkvfk Ki-EkmGrnirNGiVkaGPaIA vlgea CECC_DROME : 31- 52: lkklg KriEriGqhtrDAtIqgLGiAQ qaanv CECD_ANTPE : 5- 26: wnpf KelEraGqrvrDAiIsaGPaVA tvaqa CECD_HYACE : 29- 50: pwnpf KelEkvGqrvrDAvIsaGPaVA tvaqa SR1A_SARPE : 31- 52: lkkig KkiErvGqhtrDAtIqgLGiAQ qaanv SR1A_SARPE : 32- 52: kkigk Ki-ErvGqhtrDAtIqgLGiAQ qaanv SR1B_SARPE : 31- 52: lkkig KkiErvGqhtrDAtIqvIGvAQ qaanv SR1B_SARPE : 32- 52: kkigk Ki-ErvGqhtrDAtIqvIGvAQ qaanv SR1C_SARPE : 8- 29: lrkig KkiErvGqhtrDAtIqvLGiAQ qaanv SR1C_SARPE : 9- 29: rkigk Ki-ErvGqhtrDAtIqvLGiAQ qaanv SR1D_SARPE : 8- 29: irdfg KriErvGqhtrDAtIqtIAvAQ qaanv C 3: 22.5063 26( 21) I-x(0,2)-A-x(1,2)-A-[AGIV]-[AENQ]-[GSTV]-[AGLV]-[AGP] Occurences: 26(21) CEC1_CERCA : 48- 59: atiqt IavAqqAANVAA targ CEC1_PIG : 22- 30: riseg I--Ai-AIQGGP r CEC2_CERCA : 48- 59: atiqt IgvAqqAANVAA tlkg CEC2_MANSE : 19- 29: vrdav IsaAp-AVATVG qaaai CEC2_MANSE : 19- 29: vrdav Is-AapAVATVG qaaai CEC3_MANSE : 18- 29: rvrda IisAgpAVATVG qaaai CEC3_MANSE : 19- 29: vrdai Is-AgpAVATVG qaaai CEC4_BOMMO : 19- 30: nirdg IvkAgpAVAVVG qaati CEC4_MANSE : 18- 29: rvrda IisAapAVATVG qaaai CEC4_MANSE : 19- 29: vrdai IsaAp-AVATVG qaaai CEC4_MANSE : 19- 29: vrdai Is-AapAVATVG qaaai CEC5_MANSE : 43- 52: vrdav Is-Aa-AVATVG qaaai CECA_BOMMO : 19- 30: nirdg IvkAgpAIEVLG sakai CECA_DROME : 50- 59: iqglg I--AqqAANVAA targ CECA_HYACE : 45- 56: nirdg IikAgpAVAVVG qatqi CECA_HYACE : 46- 56: irdgi Ik-AgpAVAVVG qatqi CECB_ANTPE : 19- 30: nirng IikAgpAVAVLG eakal CECB_ANTPE : 20- 30: irngi Ik-AgpAVAVLG eakal CECB_DROME : 50- 59: iqvlg I--AqqAANVAA targ CECB_HYACE : 45- 56: nirng IvkAgpAIAVLG eakal CECC_DROME : 50- 59: iqglg I--AqqAANVAA targ CECD_ANTPE : 18- 29: rvrda IisAgpAVATVA qatal CECD_ANTPE : 19- 29: vrdai Is-AgpAVATVA qatal CECD_HYACE : 43- 53: vrdav Is-AgpAVATVA qatal SR1A_SARPE : 50- 59: iqglg I--AqqAANVAA targ SR1B_SARPE : 48- 59: atiqv IgvAqqAANVAA targ SR1C_SARPE : 27- 36: iqvlg I--AqqAANVAA tar SR1D_SARPE : 25- 36: atiqt IavAqqAANVAA tlkg D 4: 13.1263 30( 21) I-x(4,5)-A-x(4)-[AGN]-x-[ALP] Occurences: 30(21) CEC1_CERCA : 45- 58: trdat IqtiavAqqaaNvA atarg CEC1_CERCA : 48- 61: atiqt IavaqqAanvaAtA rg CEC1_PIG : 18- 30: sakkr Isegi-AiaiqGgP r CEC2_CERCA : 45- 58: trdat IqtigvAqqaaNvA atlkg CEC2_CERCA : 48- 61: atiqt IgvaqqAanvaAtL kg CEC2_MANSE : 19- 31: vrdav Isaap-AvatvGqA aaiar CEC3_MANSE : 18- 31: rvrda IisagpAvatvGqA aaiar CEC3_MANSE : 19- 31: vrdai Isagp-AvatvGqA aaiar CEC4_BOMMO : 19- 32: nirdg IvkagpAvavvGqA ati CEC4_MANSE : 18- 31: rvrda IisaapAvatvGqA aaiar CEC4_MANSE : 19- 31: vrdai Isaap-AvatvGqA aaiar CEC5_MANSE : 43- 56: vrdav IsaaavAtvgqAaA iargg CECA_BOMMO : 19- 32: nirdg IvkagpAievlGsA kai CECA_DROME : 45- 58: trdat IqglgiAqqaaNvA atarg CECA_HYACE : 45- 58: nirdg IikagpAvavvGqA tqiak CECA_HYACE : 46- 58: irdgi Ikagp-AvavvGqA tqiak CECB_ANTPE : 19- 32: nirng IikagpAvavlGeA kal CECB_ANTPE : 20- 32: irngi Ikagp-AvavlGeA kal CECB_DROME : 45- 58: trdas IqvlgiAqqaaNvA atarg CECB_HYACE : 45- 58: nirng IvkagpAiavlGeA kalg CECC_DROME : 45- 58: trdat IqglgiAqqaaNvA atarg CECD_ANTPE : 18- 31: rvrda IisagpAvatvAqA talak CECD_ANTPE : 19- 31: vrdai Isagp-AvatvAqA talak CECD_HYACE : 43- 55: vrdav Isagp-AvatvAqA talak SR1A_SARPE : 45- 58: trdat IqglgiAqqaaNvA atarg SR1B_SARPE : 45- 58: trdat IqvigvAqqaaNvA atarg SR1B_SARPE : 48- 61: atiqv IgvaqqAanvaAtA rg SR1C_SARPE : 22- 35: trdat IqvlgiAqqaaNvA atar SR1D_SARPE : 22- 35: trdat IqtiavAqqaaNvA atlkg SR1D_SARPE : 25- 38: atiqt IavaqqAanvaAtL kg E 5: 12.8199 33( 21) I-x(0,2)-A-x(2)-[AI]-x(2)-[GSTV] Occurences: 33(21) CEC1_CERCA : 12- 21: filva IviAifAgqT eagwl CEC1_CERCA : 14- 21: lvaiv I--AifAgqT eagwl CEC1_CERCA : 48- 57: atiqt IavAqqAanV aatar CEC1_PIG : 22- 29: riseg I--AiaIqgG pr CEC2_CERCA : 13- 21: vllav If-AvfAgqT eagwl CEC2_CERCA : 48- 57: atiqt IgvAqqAanV aatlk CEC2_MANSE : 19- 27: vrdav Is-AapAvaT vgqaa CEC3_MANSE : 18- 27: rvrda IisAgpAvaT vgqaa CEC3_MANSE : 19- 27: vrdai Is-AgpAvaT vgqaa CEC4_BOMMO : 19- 28: nirdg IvkAgpAvaV vgqaa CEC4_MANSE : 18- 27: rvrda IisAapAvaT vgqaa CEC4_MANSE : 19- 27: vrdai Is-AapAvaT vgqaa CEC5_MANSE : 43- 52: vrdav IsaAavAtvG qaaai CECA_BOMMO : 19- 28: nirdg IvkAgpAieV lgsak CECA_DROME : 13- 21: vfval Il-AitIgqS eagwl CECA_DROME : 50- 57: iqglg I--AqqAanV aatar CECA_HYACE : 45- 54: nirdg IikAgpAvaV vgqat CECA_HYACE : 46- 54: irdgi Ik-AgpAvaV vgqat CECB_ANTPE : 19- 28: nirng IikAgpAvaV lgeak CECB_ANTPE : 20- 28: irngi Ik-AgpAvaV lgeak CECB_DROME : 50- 57: iqvlg I--AqqAanV aatar CECB_HYACE : 45- 54: nirng IvkAgpAiaV lgeak CECC_DROME : 13- 21: vfval Il-AisIgqS eagwl CECC_DROME : 50- 57: iqglg I--AqqAanV aatar CECD_ANTPE : 18- 27: rvrda IisAgpAvaT vaqat CECD_ANTPE : 19- 27: vrdai Is-AgpAvaT vaqat CECD_HYACE : 43- 51: vrdav Is-AgpAvaT vaqat SR1A_SARPE : 13- 21: ifval Il-AvfAgqS qagwl SR1A_SARPE : 50- 57: iqglg I--AqqAanV aatar SR1B_SARPE : 13- 21: ifval Il-AvfAgqS qagwl SR1B_SARPE : 48- 57: atiqv IgvAqqAanV aatar SR1C_SARPE : 27- 34: iqvlg I--AqqAanV aatar SR1D_SARPE : 25- 34: atiqt IavAqqAanV aatlk F 6: 12.6861 34( 21) A-x(1,2)-A-x(2)-[AGV]-x-[AGNP] Occurences: 34(21) CEC1_CERCA : 49- 56: tiqti Av-AqqAaN vaata CEC1_CERCA : 51- 59: qtiav AqqAanVaA targ CEC1_CERCA : 55- 63: vaqqa AnvAatArG CEC1_PIG : 23- 30: isegi Ai-AiqGgP r CEC2_CERCA : 51- 59: qtigv AqqAanVaA tlkg CEC2_MANSE : 24- 31: isaap Av-AtvGqA aaiar CEC3_MANSE : 24- 31: isagp Av-AtvGqA aaiar CEC4_BOMMO : 22- 30: dgivk AgpAvaVvG qaati CEC4_BOMMO : 25- 32: vkagp Av-AvvGqA ati CEC4_MANSE : 24- 31: isaap Av-AtvGqA aaiar CEC5_MANSE : 46- 54: avisa AavAtvGqA aaiar CEC5_MANSE : 47- 54: visaa Av-AtvGqA aaiar CECA_BOMMO : 22- 30: dgivk AgpAieVlG sakai CECA_DROME : 51- 59: qglgi AqqAanVaA targ CECA_DROME : 55- 63: iaqqa AnvAatArG CECA_HYACE : 48- 56: dgiik AgpAvaVvG qatqi CECA_HYACE : 51- 58: ikagp Av-AvvGqA tqiak CECB_ANTPE : 22- 30: ngiik AgpAvaVlG eakal CECB_ANTPE : 25- 32: ikagp Av-AvlGeA kal CECB_DROME : 51- 59: qvlgi AqqAanVaA targ CECB_DROME : 55- 63: iaqqa AnvAatArG CECB_HYACE : 48- 56: ngivk AgpAiaVlG eakal CECB_HYACE : 51- 58: vkagp Ai-AvlGeA kalg CECC_DROME : 51- 59: qglgi AqqAanVaA targ CECC_DROME : 55- 63: iaqqa AnvAatArG CECD_ANTPE : 24- 31: isagp Av-AtvAqA talak CECD_HYACE : 48- 55: isagp Av-AtvAqA talak SR1A_SARPE : 51- 59: qglgi AqqAanVaA targ SR1A_SARPE : 55- 63: iaqqa AnvAatArG SR1B_SARPE : 51- 59: qvigv AqqAanVaA targ SR1B_SARPE : 55- 63: vaqqa AnvAatArG SR1C_SARPE : 28- 36: qvlgi AqqAanVaA tar SR1D_SARPE : 26- 33: tiqti Av-AqqAaN vaatl SR1D_SARPE : 28- 36: qtiav AqqAanVaA tlkg G 7: 11.0102 21( 21) K-x(2,3)-E-x(0,2)-G Occurences: 21(21) CEC1_CERCA : 31- 37: lkkig Kki-ErvG qhtrd CEC1_PIG : 16- 21: ensak KrisE--G iaiai CEC2_CERCA : 31- 37: lkkig Kki-ErvG qhtrd CEC2_MANSE : 5- 11: wnpf Kel-EraG qrvrd CEC3_MANSE : 5- 11: wnpf Kel-EraG qrvrd CEC4_BOMMO : 6- 12: rwkif Kki-EkvG qnird CEC4_MANSE : 5- 11: wnpf Kel-EraG qrvrd CEC5_MANSE : 29- 35: pwnpf Kel-EraG qrvrd CECA_BOMMO : 6- 12: rwkif Kki-EkmG rnird CECA_DROME : 31- 37: lkkig Kki-ErvG qhtrd CECA_HYACE : 32- 38: kwklf Kki-EkvG qnird CECB_ANTPE : 6- 12: kwkif Kki-EkvG rnirn CECB_DROME : 31- 37: lrklg Kki-EriG qhtrd CECB_HYACE : 32- 38: kwkvf Kki-EkmG rnirn CECC_DROME : 31- 37: lkklg Kri-EriG qhtrd CECD_ANTPE : 5- 11: wnpf Kel-EraG qrvrd CECD_HYACE : 29- 35: pwnpf Kel-EkvG qrvrd SR1A_SARPE : 31- 37: lkkig Kki-ErvG qhtrd SR1B_SARPE : 31- 37: lkkig Kki-ErvG qhtrd SR1C_SARPE : 8- 14: lrkig Kki-ErvG qhtrd SR1D_SARPE : 8- 14: irdfg Kri-ErvG qhtrd H 8: 10.9870 21( 21) K-[EKR]-x(4)-G Occurences: 21(21) CEC1_CERCA : 31- 37: lkkig KKiervG qhtrd CEC1_PIG : 15- 21: lensa KKriseG iaiai CEC2_CERCA : 31- 37: lkkig KKiervG qhtrd CEC2_MANSE : 5- 11: wnpf KEleraG qrvrd CEC3_MANSE : 5- 11: wnpf KEleraG qrvrd CEC4_BOMMO : 6- 12: rwkif KKiekvG qnird CEC4_MANSE : 5- 11: wnpf KEleraG qrvrd CEC5_MANSE : 29- 35: pwnpf KEleraG qrvrd CECA_BOMMO : 6- 12: rwkif KKiekmG rnird CECA_DROME : 31- 37: lkkig KKiervG qhtrd CECA_HYACE : 32- 38: kwklf KKiekvG qnird CECB_ANTPE : 6- 12: kwkif KKiekvG rnirn CECB_DROME : 31- 37: lrklg KKieriG qhtrd CECB_HYACE : 32- 38: kwkvf KKiekmG rnirn CECC_DROME : 31- 37: lkklg KRieriG qhtrd CECD_ANTPE : 5- 11: wnpf KEleraG qrvrd CECD_HYACE : 29- 35: pwnpf KElekvG qrvrd SR1A_SARPE : 31- 37: lkkig KKiervG qhtrd SR1B_SARPE : 31- 37: lkkig KKiervG qhtrd SR1C_SARPE : 8- 14: lrkig KKiervG qhtrd SR1D_SARPE : 8- 14: irdfg KRiervG qhtrd I 9: 9.5754 39( 21) G-x(3,5)-A-x(2)-[AGQS] Occurences: 39(21) CEC1_CERCA : 37- 46: kierv GqhtrdAtiQ tiava CEC1_PIG : 21- 28: krise Giai--AiqG gpr CEC2_CERCA : 37- 46: kierv GqhtrdAtiQ tigva CEC2_CERCA : 49- 58: tiqti GvaqqaAnvA atlkg CEC2_MANSE : 11- 20: elera GqrvrdAviS aapav CEC3_MANSE : 11- 20: elera GqrvrdAiiS agpav CEC3_MANSE : 22- 29: aiisa Gpav--AtvG qaaai CEC4_BOMMO : 18- 25: qnird Givk--AgpA vavvg CEC4_BOMMO : 23- 30: givka Gpav--AvvG qaati CEC4_MANSE : 11- 20: elera GqrvrdAiiS aapav CEC5_MANSE : 35- 44: elera GqrvrdAviS aaava CEC5_MANSE : 52- 61: avatv GqaaaiArgG CECA_BOMMO : 18- 25: rnird Givk--AgpA ievlg CECA_DROME : 37- 46: kierv GqhtrdAtiQ glgia CECA_DROME : 47- 54: datiq Glgi--AqqA anvaa CECA_DROME : 49- 58: tiqgl GiaqqaAnvA atarg CECA_HYACE : 44- 51: qnird Giik--AgpA vavvg CECA_HYACE : 49- 56: giika Gpav--AvvG qatqi CECB_ANTPE : 18- 25: rnirn Giik--AgpA vavlg CECB_ANTPE : 23- 30: giika Gpav--AvlG eakal CECB_DROME : 37- 46: kieri GqhtrdAsiQ vlgia CECB_DROME : 49- 58: siqvl GiaqqaAnvA atarg CECB_HYACE : 44- 51: rnirn Givk--AgpA iavlg CECB_HYACE : 49- 56: givka Gpai--AvlG eakal CECC_DROME : 37- 46: rieri GqhtrdAtiQ glgia CECC_DROME : 47- 54: datiq Glgi--AqqA anvaa CECC_DROME : 49- 58: tiqgl GiaqqaAnvA atarg CECD_ANTPE : 11- 20: elera GqrvrdAiiS agpav CECD_ANTPE : 22- 29: aiisa Gpav--AtvA qatal CECD_HYACE : 35- 44: elekv GqrvrdAviS agpav CECD_HYACE : 46- 53: avisa Gpav--AtvA qatal SR1A_SARPE : 37- 46: kierv GqhtrdAtiQ glgia SR1A_SARPE : 47- 54: datiq Glgi--AqqA anvaa SR1A_SARPE : 49- 58: tiqgl GiaqqaAnvA atarg SR1B_SARPE : 37- 46: kierv GqhtrdAtiQ vigva SR1B_SARPE : 49- 58: tiqvi GvaqqaAnvA atarg SR1C_SARPE : 14- 23: kierv GqhtrdAtiQ vlgia SR1C_SARPE : 26- 35: tiqvl GiaqqaAnvA atar SR1D_SARPE : 14- 23: rierv GqhtrdAtiQ tiava J 10: 7.8401 24( 21) G-x(2,3)-R Occurences: 24(21) CEC1_CERCA : 37- 41: kierv GqhtR datiq CEC1_PIG : 28- 31: aiaiq Ggp-R CEC2_CERCA : 37- 41: kierv GqhtR datiq CEC2_MANSE : 11- 15: elera GqrvR davis CEC3_MANSE : 11- 15: elera GqrvR daiis CEC4_BOMMO : 12- 16: kiekv GqniR dgivk CEC4_MANSE : 11- 15: elera GqrvR daiis CEC5_MANSE : 35- 39: elera GqrvR davis CECA_BOMMO : 12- 16: kiekm GrniR dgivk CECA_DROME : 37- 41: kierv GqhtR datiq CECA_HYACE : 38- 42: kiekv GqniR dgiik CECB_ANTPE : 12- 16: kiekv GrniR ngiik CECB_DROME : 24- 27: gnsea Gwl-R klgkk CECB_DROME : 37- 41: kieri GqhtR dasiq CECB_HYACE : 38- 42: kiekm GrniR ngivk CECC_DROME : 37- 41: rieri GqhtR datiq CECD_ANTPE : 11- 15: elera GqrvR daiis CECD_HYACE : 35- 39: elekv GqrvR davis SR1A_SARPE : 37- 41: kierv GqhtR datiq SR1B_SARPE : 37- 41: kierv GqhtR datiq SR1C_SARPE : 1- 4: Gwl-R kigkk SR1C_SARPE : 14- 18: kierv GqhtR datiq SR1D_SARPE : 1- 4: Gwi-R dfgkr SR1D_SARPE : 14- 18: rierv GqhtR datiq K 11: 7.8401 53( 21) I-x(2,3)-G Occurences: 53(21) CEC1_CERCA : 16- 19: aivia Ifa-G qteag CEC1_CERCA : 33- 37: kigkk IervG qhtrd CEC1_PIG : 18- 21: sakkr Ise-G iaiai CEC1_PIG : 24- 28: segia IaiqG gpr CEC1_PIG : 26- 29: giaia Iqg-G pr CEC2_CERCA : 33- 37: kigkk IervG qhtrd CEC2_CERCA : 45- 49: trdat IqtiG vaqqa CEC2_MANSE : 34- 37: gqaaa Iar-G CEC3_MANSE : 18- 22: rvrda IisaG pavat CEC3_MANSE : 19- 22: vrdai Isa-G pavat CEC3_MANSE : 34- 37: gqaaa Iar-G CEC4_BOMMO : 8- 12: kifkk IekvG qnird CEC4_BOMMO : 15- 18: kvgqn Ird-G ivkag CEC4_BOMMO : 19- 23: nirdg IvkaG pavav CEC4_MANSE : 34- 37: gqaaa Iar-G CEC5_MANSE : 57- 60: gqaaa Iar-G g CEC5_MANSE : 57- 61: gqaaa IargG CECA_BOMMO : 8- 12: kifkk IekmG rnird CECA_BOMMO : 15- 18: kmgrn Ird-G ivkag CECA_BOMMO : 19- 23: nirdg IvkaG paiev CECA_BOMMO : 26- 30: kagpa IevlG sakai CECA_DROME : 16- 19: alila Iti-G qseag CECA_DROME : 33- 37: kigkk IervG qhtrd CECA_DROME : 45- 49: trdat IqglG iaqqa CECA_HYACE : 34- 38: klfkk IekvG qnird CECA_HYACE : 41- 44: kvgqn Ird-G iikag CECA_HYACE : 45- 49: nirdg IikaG pavav CECA_HYACE : 46- 49: irdgi Ika-G pavav CECA_HYACE : 61- 64: gqatq Iak-G CECB_ANTPE : 8- 12: kifkk IekvG rnirn CECB_ANTPE : 15- 18: kvgrn Irn-G iikag CECB_ANTPE : 19- 23: nirng IikaG pavav CECB_ANTPE : 20- 23: irngi Ika-G pavav CECB_DROME : 16- 19: alila Isl-G nseag CECB_DROME : 33- 37: klgkk IeriG qhtrd CECB_DROME : 45- 49: trdas IqvlG iaqqa CECB_HYACE : 34- 38: kvfkk IekmG rnirn CECB_HYACE : 41- 44: kmgrn Irn-G ivkag CECB_HYACE : 45- 49: nirng IvkaG paiav CECB_HYACE : 52- 56: kagpa IavlG eakal CECC_DROME : 16- 19: alila Isi-G qseag CECC_DROME : 33- 37: klgkr IeriG qhtrd CECC_DROME : 45- 49: trdat IqglG iaqqa CECD_ANTPE : 18- 22: rvrda IisaG pavat CECD_ANTPE : 19- 22: vrdai Isa-G pavat CECD_HYACE : 43- 46: vrdav Isa-G pavat SR1A_SARPE : 33- 37: kigkk IervG qhtrd SR1A_SARPE : 45- 49: trdat IqglG iaqqa SR1B_SARPE : 33- 37: kigkk IervG qhtrd SR1B_SARPE : 45- 49: trdat IqviG vaqqa SR1C_SARPE : 10- 14: kigkk IervG qhtrd SR1C_SARPE : 22- 26: trdat IqvlG iaqqa SR1D_SARPE : 3- 7: gw IrdfG krier SR1D_SARPE : 10- 14: dfgkr IervG qhtrd L 12: 7.8401 44( 21) A-x(4,5)-G Occurences: 44(21) CEC1_CERCA : 18- 24: viaif AgqteaG wlkki CEC1_CERCA : 58- 63: qaanv Aatar-G CEC1_PIG : 23- 28: isegi Aiaiq-G gpr CEC1_PIG : 23- 29: isegi AiaiqgG pr CEC2_CERCA : 18- 24: ifavf AgqteaG wlkki CEC2_CERCA : 43- 49: qhtrd AtiqtiG vaqqa CEC2_CERCA : 58- 63: qaanv Aatlk-G CEC2_MANSE : 24- 29: isaap Avatv-G qaaai CEC2_MANSE : 31- 37: atvgq AaaiarG CEC2_MANSE : 32- 37: tvgqa Aaiar-G CEC3_MANSE : 17- 22: qrvrd Aiisa-G pavat CEC3_MANSE : 24- 29: isagp Avatv-G qaaai CEC3_MANSE : 31- 37: atvgq AaaiarG CEC3_MANSE : 32- 37: tvgqa Aaiar-G CEC4_BOMMO : 25- 30: vkagp Avavv-G qaati CEC4_MANSE : 24- 29: isaap Avatv-G qaaai CEC4_MANSE : 31- 37: atvgq AaaiarG CEC4_MANSE : 32- 37: tvgqa Aaiar-G CEC5_MANSE : 46- 52: avisa AavatvG qaaai CEC5_MANSE : 47- 52: visaa Avatv-G qaaai CEC5_MANSE : 54- 60: atvgq AaaiarG g CEC5_MANSE : 55- 60: tvgqa Aaiar-G g CEC5_MANSE : 55- 61: tvgqa AaiargG CEC5_MANSE : 56- 61: vgqaa Aiarg-G CECA_BOMMO : 25- 30: vkagp Aievl-G sakai CECA_DROME : 43- 49: qhtrd AtiqglG iaqqa CECA_DROME : 58- 63: qaanv Aatar-G CECA_HYACE : 51- 56: ikagp Avavv-G qatqi CECA_HYACE : 58- 64: avvgq AtqiakG CECB_ANTPE : 25- 30: ikagp Avavl-G eakal CECB_DROME : 43- 49: qhtrd AsiqvlG iaqqa CECB_DROME : 58- 63: qaanv Aatar-G CECB_HYACE : 51- 56: vkagp Aiavl-G eakal CECC_DROME : 43- 49: qhtrd AtiqglG iaqqa CECC_DROME : 58- 63: qaanv Aatar-G CECD_ANTPE : 17- 22: qrvrd Aiisa-G pavat CECD_HYACE : 41- 46: qrvrd Avisa-G pavat CECD_HYACE : 55- 61: atvaq AtalakG k SR1A_SARPE : 18- 24: ilavf AgqsqaG wlkki SR1A_SARPE : 43- 49: qhtrd AtiqglG iaqqa SR1A_SARPE : 58- 63: qaanv Aatar-G SR1B_SARPE : 18- 24: ilavf AgqsqaG wlkki SR1B_SARPE : 43- 49: qhtrd AtiqviG vaqqa SR1B_SARPE : 58- 63: qaanv Aatar-G SR1C_SARPE : 20- 26: qhtrd AtiqvlG iaqqa SR1D_SARPE : 35- 40: qaanv Aatlk-G M 13: 7.3401 27( 21) G-x(1,3)-R Occurences: 27(21) CEC1_CERCA : 37- 41: kierv GqhtR datiq CEC1_PIG : 28- 31: aiaiq Ggp-R CEC1_PIG : 29- 31: iaiqg Gp--R CEC2_CERCA : 37- 41: kierv GqhtR datiq CEC2_MANSE : 11- 13: elera Gq--R vrdav CEC2_MANSE : 11- 15: elera GqrvR davis CEC3_MANSE : 11- 13: elera Gq--R vrdai CEC3_MANSE : 11- 15: elera GqrvR daiis CEC4_BOMMO : 12- 16: kiekv GqniR dgivk CEC4_MANSE : 11- 13: elera Gq--R vrdai CEC4_MANSE : 11- 15: elera GqrvR daiis CEC5_MANSE : 35- 37: elera Gq--R vrdav CEC5_MANSE : 35- 39: elera GqrvR davis CECA_BOMMO : 12- 16: kiekm GrniR dgivk CECA_DROME : 37- 41: kierv GqhtR datiq CECA_HYACE : 38- 42: kiekv GqniR dgiik CECB_ANTPE : 12- 16: kiekv GrniR ngiik CECB_DROME : 24- 27: gnsea Gwl-R klgkk CECB_DROME : 37- 41: kieri GqhtR dasiq CECB_HYACE : 38- 42: kiekm GrniR ngivk CECC_DROME : 30- 32: wlkkl Gk--R ierig CECC_DROME : 37- 41: rieri GqhtR datiq CECD_ANTPE : 11- 13: elera Gq--R vrdai CECD_ANTPE : 11- 15: elera GqrvR daiis CECD_HYACE : 35- 37: elekv Gq--R vrdav CECD_HYACE : 35- 39: elekv GqrvR davis SR1A_SARPE : 37- 41: kierv GqhtR datiq SR1B_SARPE : 37- 41: kierv GqhtR datiq SR1C_SARPE : 1- 4: Gwl-R kigkk SR1C_SARPE : 14- 18: kierv GqhtR datiq SR1D_SARPE : 1- 4: Gwi-R dfgkr SR1D_SARPE : 7- 9: wirdf Gk--R iervg SR1D_SARPE : 14- 18: rierv GqhtR datiq N 14: 7.3401 53( 21) I-x(1,3)-G Occurences: 53(21) CEC1_CERCA : 16- 19: aivia Ifa-G qteag CEC1_CERCA : 33- 37: kigkk IervG qhtrd CEC1_PIG : 18- 21: sakkr Ise-G iaiai CEC1_PIG : 24- 28: segia IaiqG gpr CEC1_PIG : 26- 28: giaia Iq--G gpr CEC1_PIG : 26- 29: giaia Iqg-G pr CEC2_CERCA : 33- 37: kigkk IervG qhtrd CEC2_CERCA : 45- 49: trdat IqtiG vaqqa CEC2_MANSE : 34- 37: gqaaa Iar-G CEC3_MANSE : 18- 22: rvrda IisaG pavat CEC3_MANSE : 19- 22: vrdai Isa-G pavat CEC3_MANSE : 34- 37: gqaaa Iar-G CEC4_BOMMO : 8- 12: kifkk IekvG qnird CEC4_BOMMO : 15- 18: kvgqn Ird-G ivkag CEC4_BOMMO : 19- 23: nirdg IvkaG pavav CEC4_MANSE : 34- 37: gqaaa Iar-G CEC5_MANSE : 57- 60: gqaaa Iar-G g CEC5_MANSE : 57- 61: gqaaa IargG CECA_BOMMO : 8- 12: kifkk IekmG rnird CECA_BOMMO : 15- 18: kmgrn Ird-G ivkag CECA_BOMMO : 19- 23: nirdg IvkaG paiev CECA_BOMMO : 26- 30: kagpa IevlG sakai CECA_DROME : 16- 19: alila Iti-G qseag CECA_DROME : 33- 37: kigkk IervG qhtrd CECA_DROME : 45- 47: trdat Iq--G lgiaq CECA_DROME : 45- 49: trdat IqglG iaqqa CECA_HYACE : 34- 38: klfkk IekvG qnird CECA_HYACE : 41- 44: kvgqn Ird-G iikag CECA_HYACE : 45- 49: nirdg IikaG pavav CECA_HYACE : 46- 49: irdgi Ika-G pavav CECA_HYACE : 61- 64: gqatq Iak-G CECB_ANTPE : 8- 12: kifkk IekvG rnirn CECB_ANTPE : 15- 18: kvgrn Irn-G iikag CECB_ANTPE : 19- 23: nirng IikaG pavav CECB_ANTPE : 20- 23: irngi Ika-G pavav CECB_DROME : 16- 19: alila Isl-G nseag CECB_DROME : 33- 37: klgkk IeriG qhtrd CECB_DROME : 45- 49: trdas IqvlG iaqqa CECB_HYACE : 34- 38: kvfkk IekmG rnirn CECB_HYACE : 41- 44: kmgrn Irn-G ivkag CECB_HYACE : 45- 49: nirng IvkaG paiav CECB_HYACE : 52- 56: kagpa IavlG eakal CECC_DROME : 16- 19: alila Isi-G qseag CECC_DROME : 33- 37: klgkr IeriG qhtrd CECC_DROME : 45- 47: trdat Iq--G lgiaq CECC_DROME : 45- 49: trdat IqglG iaqqa CECD_ANTPE : 18- 22: rvrda IisaG pavat CECD_ANTPE : 19- 22: vrdai Isa-G pavat CECD_HYACE : 43- 46: vrdav Isa-G pavat SR1A_SARPE : 33- 37: kigkk IervG qhtrd SR1A_SARPE : 45- 47: trdat Iq--G lgiaq SR1A_SARPE : 45- 49: trdat IqglG iaqqa SR1B_SARPE : 33- 37: kigkk IervG qhtrd SR1B_SARPE : 45- 49: trdat IqviG vaqqa SR1C_SARPE : 10- 14: kigkk IervG qhtrd SR1C_SARPE : 22- 26: trdat IqvlG iaqqa SR1D_SARPE : 3- 7: gw IrdfG krier SR1D_SARPE : 10- 14: dfgkr IervG qhtrd O 15: 7.3401 65( 21) A-x(3,5)-G Occurences: 65(21) CEC1_CERCA : 15- 19: vaivi Aifa--G qteag CEC1_CERCA : 18- 24: viaif AgqteaG wlkki CEC1_CERCA : 58- 63: qaanv Aatar-G CEC1_CERCA : 59- 63: aanva Atar--G CEC1_PIG : 23- 28: isegi Aiaiq-G gpr CEC1_PIG : 23- 29: isegi AiaiqgG pr CEC1_PIG : 25- 29: egiai Aiqg--G pr CEC2_CERCA : 15- 19: lavif Avfa--G qteag CEC2_CERCA : 18- 24: ifavf AgqteaG wlkki CEC2_CERCA : 43- 49: qhtrd AtiqtiG vaqqa CEC2_CERCA : 58- 63: qaanv Aatlk-G CEC2_CERCA : 59- 63: aanva Atlk--G CEC2_MANSE : 24- 29: isaap Avatv-G qaaai CEC2_MANSE : 31- 37: atvgq AaaiarG CEC2_MANSE : 32- 37: tvgqa Aaiar-G CEC2_MANSE : 33- 37: vgqaa Aiar--G CEC3_MANSE : 17- 22: qrvrd Aiisa-G pavat CEC3_MANSE : 24- 29: isagp Avatv-G qaaai CEC3_MANSE : 31- 37: atvgq AaaiarG CEC3_MANSE : 32- 37: tvgqa Aaiar-G CEC3_MANSE : 33- 37: vgqaa Aiar--G CEC4_BOMMO : 25- 30: vkagp Avavv-G qaati CEC4_MANSE : 24- 29: isaap Avatv-G qaaai CEC4_MANSE : 31- 37: atvgq AaaiarG CEC4_MANSE : 32- 37: tvgqa Aaiar-G CEC4_MANSE : 33- 37: vgqaa Aiar--G CEC5_MANSE : 46- 52: avisa AavatvG qaaai CEC5_MANSE : 47- 52: visaa Avatv-G qaaai CEC5_MANSE : 54- 60: atvgq AaaiarG g CEC5_MANSE : 55- 60: tvgqa Aaiar-G g CEC5_MANSE : 55- 61: tvgqa AaiargG CEC5_MANSE : 56- 60: vgqaa Aiar--G g CEC5_MANSE : 56- 61: vgqaa Aiarg-G CECA_BOMMO : 25- 30: vkagp Aievl-G sakai CECA_DROME : 15- 19: valil Aiti--G qseag CECA_DROME : 43- 47: qhtrd Atiq--G lgiaq CECA_DROME : 43- 49: qhtrd AtiqglG iaqqa CECA_DROME : 58- 63: qaanv Aatar-G CECA_DROME : 59- 63: aanva Atar--G CECA_HYACE : 51- 56: ikagp Avavv-G qatqi CECA_HYACE : 58- 64: avvgq AtqiakG CECB_ANTPE : 25- 30: ikagp Avavl-G eakal CECB_DROME : 15- 19: valil Aisl--G nseag CECB_DROME : 43- 49: qhtrd AsiqvlG iaqqa CECB_DROME : 58- 63: qaanv Aatar-G CECB_DROME : 59- 63: aanva Atar--G CECB_HYACE : 51- 56: vkagp Aiavl-G eakal CECB_HYACE : 58- 62: avlge Akal--G CECC_DROME : 15- 19: valil Aisi--G qseag CECC_DROME : 43- 47: qhtrd Atiq--G lgiaq CECC_DROME : 43- 49: qhtrd AtiqglG iaqqa CECC_DROME : 58- 63: qaanv Aatar-G CECC_DROME : 59- 63: aanva Atar--G CECD_ANTPE : 17- 22: qrvrd Aiisa-G pavat CECD_HYACE : 41- 46: qrvrd Avisa-G pavat CECD_HYACE : 55- 61: atvaq AtalakG k CECD_HYACE : 57- 61: vaqat Alak--G k SR1A_SARPE : 15- 19: valil Avfa--G qsqag SR1A_SARPE : 18- 24: ilavf AgqsqaG wlkki SR1A_SARPE : 43- 47: qhtrd Atiq--G lgiaq SR1A_SARPE : 43- 49: qhtrd AtiqglG iaqqa SR1A_SARPE : 58- 63: qaanv Aatar-G SR1A_SARPE : 59- 63: aanva Atar--G SR1B_SARPE : 15- 19: valil Avfa--G qsqag SR1B_SARPE : 18- 24: ilavf AgqsqaG wlkki SR1B_SARPE : 43- 49: qhtrd AtiqviG vaqqa SR1B_SARPE : 58- 63: qaanv Aatar-G SR1B_SARPE : 59- 63: aanva Atar--G SR1C_SARPE : 20- 26: qhtrd AtiqvlG iaqqa SR1D_SARPE : 35- 40: qaanv Aatlk-G SR1D_SARPE : 36- 40: aanva Atlk--G P 16: 7.3401 27( 21) E-x(0,2)-G Occurences: 27(21) CEC1_CERCA : 22- 24: fagqt Ea-G wlkki CEC1_CERCA : 34- 37: igkki ErvG qhtrd CEC1_PIG : 20- 21: kkris E--G iaiai CEC2_CERCA : 22- 24: fagqt Ea-G wlkki CEC2_CERCA : 34- 37: igkki ErvG qhtrd CEC2_MANSE : 8- 11: pfkel EraG qrvrd CEC3_MANSE : 8- 11: pfkel EraG qrvrd CEC4_BOMMO : 9- 12: ifkki EkvG qnird CEC4_MANSE : 8- 11: pfkel EraG qrvrd CEC5_MANSE : 32- 35: pfkel EraG qrvrd CECA_BOMMO : 9- 12: ifkki EkmG rnird CECA_BOMMO : 27- 30: agpai EvlG sakai CECA_DROME : 22- 24: tigqs Ea-G wlkki CECA_DROME : 34- 37: igkki ErvG qhtrd CECA_HYACE : 35- 38: lfkki EkvG qnird CECB_ANTPE : 9- 12: ifkki EkvG rnirn CECB_DROME : 22- 24: slgns Ea-G wlrkl CECB_DROME : 34- 37: lgkki EriG qhtrd CECB_HYACE : 35- 38: vfkki EkmG rnirn CECC_DROME : 22- 24: sigqs Ea-G wlkkl CECC_DROME : 34- 37: lgkri EriG qhtrd CECD_ANTPE : 8- 11: pfkel EraG qrvrd CECD_HYACE : 32- 35: pfkel EkvG qrvrd SR1A_SARPE : 34- 37: igkki ErvG qhtrd SR1B_SARPE : 34- 37: igkki ErvG qhtrd SR1C_SARPE : 11- 14: igkki ErvG qhtrd SR1D_SARPE : 11- 14: fgkri ErvG qhtrd Number of patterns evaluated by Pratt:23 Total running time: 0 seconds