active1(A) :- trip(A,hydrophobic,polar,10.107,2.500,polar,18.611,2.500,11.714,2.500).
active2(A) :- trip(A,hydrophobic,small,17.404,2.500,polar,15.008,2.500,3.891,2.500).
active3(A) :- trip(A,small,small,17.404,2.500,polar,18.611,2.500,6.204,2.500).
active4(A) :- trip(A,hydrophobic,small,17.404,2.500,polar,15.251,2.500,10.000,2.500).
active5(A) :- trip(A,hydrophobic,polar,9.238,2.500,gly,17.404,2.500,10.925,2.500).
active6(A) :- trip(A,hydrophobic,small,17.605,2.500,hydrophobic,17.690,2.500,8.921,2.500).
active7(A) :- trip(A,hydrophobic,hydrophobic,5.930,2.500,small,17.404,2.500,17.199,2.500).
active8(A) :- trip(A,small,small,17.404,2.500,aromaticish,15.251,2.500,10.000,2.500).
active9(A) :- trip(A,hydrophobic,polar,11.431,2.500,polar,18.611,2.500,10.409,2.500).
active10(A) :- trip(A,hydrophobic,polar,9.603,2.500,gly,17.199,2.500,10.925,2.500).
active11(A) :- trip(A,hydrophobic,small,17.956,2.500,small,17.605,2.500,6.834,2.500).
active12(A) :- trip(A,hydrophobic,small,17.404,2.500,aromaticish,15.251,2.500,10.000,2.500).
active13(A) :- trip(A,hydrophobic,polar,17.956,2.500,small,17.605,2.500,6.834,2.500).
active14(A) :- trip(A,hydrophobic,small,17.956,2.500,small,14.961,2.500,8.555,2.500).
active15(A) :- trip(A,hydrophobic,small,17.404,2.500,small,14.961,2.500,10.772,2.500).
active16(A) :- trip(A,hydrophobic,polar,7.569,2.500,gly,17.605,2.500,10.554,2.500).
active17(A) :- trip(A,hydrophobic,polar,15.251,2.500,small,17.605,2.500,5.689,2.500).
active18(A) :- trip(A,hydrophobic,small,17.404,2.500,gly,14.961,2.500,10.772,2.500).
active19(A) :- trip(A,hydrophobic,polar,5.371,2.500,small,17.956,2.500,17.250,2.500).
active20(A) :- trip(A,hydrophobic,gly,17.404,2.500,polar,15.008,2.500,3.891,2.500).
active21(A) :- trip(A,hydrophobic,bulky,5.930,2.500,gly,14.961,2.500,13.513,2.500).
active22(A) :- trip(A,small,bulky,5.930,2.500,small,17.404,2.500,17.199,2.500).
active23(A) :- trip(A,hydrophobic,ch,9.238,2.500,bulky,18.141,2.500,10.359,2.500).
active24(A) :- trip(A,ch,gly,11.311,2.500,hydrophobic,7.768,2.500,11.309,2.500).
active25(A) :- trip(A,small,gly,17.404,2.500,polar,18.611,2.500,6.204,2.500).
active26(A) :- trip(A,hydrophobic,gly,17.404,2.500,small,13.148,2.500,9.033,2.500).
active27(A) :- trip(A,small,polar,10.107,2.500,polar,18.611,2.500,11.714,2.500).
active28(A) :- trip(A,hydrophobic,bulky,18.141,2.500,polar,15.008,2.500,6.650,2.500).
active29(A) :- trip(A,hydrophobic,gly,17.404,2.500,hydrophobic,17.690,2.500,7.922,2.500).
active30(A) :- trip(A,hydrophobic,small,17.404,2.500,ch,15.008,2.500,3.891,2.500).
active31(A) :- trip(A,hydrophobic,polar,10.107,2.500,gly,17.404,2.500,8.249,2.500).
active32(A) :- trip(A,small,bulky,5.930,2.500,gly,17.404,2.500,17.199,2.500).
active33(A) :- trip(A,hydrophobic,bulkypol,10.107,2.500,small,17.404,2.500,8.249,2.500).
active34(A) :- trip(A,hydrophobic,polar,7.569,2.500,gly,17.404,2.500,14.851,2.500).
active35(A) :- trip(A,small,bulkypol,10.107,2.500,polar,18.611,2.500,11.714,2.500).
active36(A) :- trip(A,hydrophobic,ch,15.008,2.500,hydrophobic,17.690,2.500,7.999,2.500).
active37(A) :- trip(A,hydrophobic,small,17.605,2.500,bulky,17.690,2.500,8.921,2.500).
active38(A) :- trip(A,hydrophobic,hydrophobic,5.930,2.500,gly,17.605,2.500,15.225,2.500).
active39(A) :- trip(A,small,polar,11.431,2.500,polar,18.611,2.500,10.409,2.500).
active40(A) :- trip(A,hydrophobic,small,17.956,2.500,gly,14.961,2.500,8.555,2.500).
active41(A) :- trip(A,hydrophobic,polar,15.251,2.500,hydrophobic,17.690,2.500,8.986,2.500).
active42(A) :- trip(A,hydrophobic,polar,13.647,2.500,aromaticish,15.251,2.500,12.233,2.500).
active43(A) :- trip(A,hydrophobic,small,17.404,2.500,gly,13.148,2.500,9.033,2.500).
active44(A) :- trip(A,hydrophobic,hydrophobic,18.629,2.500,polar,13.868,2.500,6.650,2.500).
active45(A) :- trip(A,polar,gly,5.185,2.500,gly,8.336,2.500,8.373,2.500).
active46(A) :- trip(A,hydrophobic,gly,17.605,2.500,small,14.961,2.500,3.827,2.500).
active47(A) :- trip(A,small,polar,10.107,2.500,gly,17.404,2.500,8.249,2.500).
active48(A) :- trip(A,hydrophobic,polar,9.238,2.500,gly,17.605,2.500,9.513,2.500).
active49(A) :- trip(A,small,ch,15.008,2.500,bulky,17.690,2.500,7.999,2.500).
active50(A) :- trip(A,hydrophobic,ch,9.603,2.500,bulky,17.745,2.500,8.714,2.500).
active51(A) :- trip(A,hydrophobic,polar,15.251,2.500,bulky,17.690,2.500,8.986,2.500).
active52(A) :- trip(A,hydrophobic,hydrophobic,18.141,2.500,polar,15.008,2.500,6.650,2.500).
active53(A) :- trip(A,hydrophobic,small,14.515,2.500,hydrophobic,17.690,2.500,14.638,2.500).
active54(A) :- trip(A,hydrophobic,ch,9.238,2.500,aromaticish,15.251,2.500,8.065,2.500).
active55(A) :- trip(A,hydrophobic,hydrophobic,18.629,2.500,small,13.513,2.500,9.577,2.500).
active56(A) :- trip(A,hydrophobic,ch,13.662,2.500,polar,17.399,2.500,10.409,2.500).
active57(A) :- trip(A,hydrophobic,polar,9.238,2.500,polar,18.611,2.500,10.095,2.500).
active58(A) :- trip(A,hydrophobic,small,14.515,2.500,bulky,17.690,2.500,14.638,2.500).
active59(A) :- trip(A,hydrophobic,small,17.404,2.500,polar,18.611,2.500,6.204,2.500).
active60(A) :- trip(A,hydrophobic,polar,18.611,2.500,hydrophobic,17.690,2.500,4.620,2.500).
active61(A) :- trip(A,ch,gly,11.311,2.500,bulky,7.768,2.500,11.309,2.500).
active62(A) :- trip(A,hydrophobic,gly,17.404,2.500,bulky,17.690,2.500,7.922,2.500).
active63(A) :- trip(A,hydrophobic,polar,7.569,2.500,small,17.404,2.500,14.851,2.500).
active64(A) :- trip(A,ch,bulky,10.359,2.500,gly,10.925,2.500,4.495,2.500).
active65(A) :- trip(A,hydrophobic,polar,11.431,2.500,small,17.956,2.500,16.433,2.500).
active66(A) :- trip(A,hydrophobic,ch,9.603,2.500,hydrophobic,18.629,2.500,10.359,2.500).
active67(A) :- trip(A,small,polar,5.371,2.500,small,17.956,2.500,17.250,2.500).
active68(A) :- trip(A,hydrophobic,small,17.404,2.500,small,13.148,2.500,9.033,2.500).
active69(A) :- trip(A,small,posch,9.238,2.500,polar,17.956,2.500,12.209,2.500).
active70(A) :- trip(A,bulkypol,polar,10.821,2.500,bulkypol,14.101,2.500,5.859,2.500).
active71(A) :- trip(A,hydrophobic,hydrophobic,5.930,2.500,gly,17.404,2.500,17.199,2.500).
active72(A) :- trip(A,hydrophobic,hydrophobic,18.141,2.500,polar,15.251,2.500,10.799,2.500).
active73(A) :- trip(A,small,ch,11.431,2.500,bulky,18.141,2.500,7.825,2.500).
active74(A) :- trip(A,hydrophobic,ch,9.238,2.500,small,17.956,2.500,12.209,2.500).
active75(A) :- trip(A,small,bulkypol,13.647,2.500,small,17.956,2.500,11.709,2.500).
active76(A) :- trip(A,hydrophobic,ch,9.238,2.500,bulky,17.690,2.500,8.714,2.500).
active77(A) :- trip(A,hydrophobic,gly,17.404,2.500,polar,15.251,2.500,10.000,2.500).
active78(A) :- trip(A,hydrophobic,polar,18.611,2.500,small,14.961,2.500,6.501,2.500).
active79(A) :- trip(A,small,hydrophobic,18.141,2.500,ch,15.251,2.500,10.799,2.500).
active80(A) :- trip(A,small,gly,17.404,2.500,aromaticish,15.251,2.500,10.000,2.500).
active81(A) :- trip(A,hydrophobic,polar,17.956,2.500,small,14.961,2.500,8.555,2.500).
active82(A) :- trip(A,hydrophobic,hydrophobic,18.141,2.500,small,14.961,2.500,9.577,2.500).
active83(A) :- trip(A,hydrophobic,bulkypol,10.107,2.500,polar,18.611,2.500,11.714,2.500).
active84(A) :- trip(A,hydrophobic,gly,17.605,2.500,hydrophobic,17.690,2.500,8.921,2.500).
active85(A) :- trip(A,hydrophobic,ch,13.647,2.500,aromaticish,15.251,2.500,12.233,2.500).
active86(A) :- trip(A,small,hydrophobic,5.930,2.500,small,17.404,2.500,17.199,2.500).
active87(A) :- trip(A,hydrophobic,ch,13.662,2.500,hydrophobic,18.629,2.500,7.825,2.500).
active88(A) :- trip(A,polar,gly,20.460,2.500,polar,17.167,2.500,6.204,2.500).
active89(A) :- trip(A,ch,hydrophobic,10.359,2.500,gly,10.925,2.500,4.495,2.500).
active90(A) :- trip(A,small,hydrophobic,18.141,2.500,gly,13.148,2.500,11.448,2.500).
active91(A) :- trip(A,hydrophobic,hydrophobic,18.629,2.500,polar,17.399,2.500,5.506,2.500).
active92(A) :- trip(A,small,small,17.404,2.500,gly,14.961,2.500,10.772,2.500).
active93(A) :- trip(A,small,gly,17.605,2.500,small,14.961,2.500,3.827,2.500).
active94(A) :- trip(A,hydrophobic,small,17.956,2.500,gly,17.605,2.500,6.834,2.500).
active95(A) :- trip(A,ch,gly,10.925,2.500,hydrophobic,8.714,2.500,7.922,2.500).
active96(A) :- trip(A,hydrophobic,ch,15.251,2.500,hydrophobic,17.690,2.500,8.986,2.500).
active97(A) :- trip(A,hydrophobic,ch,9.603,2.500,bulky,18.629,2.500,10.359,2.500).
active98(A) :- trip(A,small,hydrophobic,5.930,2.500,gly,17.404,2.500,17.199,2.500).
active99(A) :- trip(A,hydrophobic,small,17.605,2.500,small,14.961,2.500,3.827,2.500).
active100(A) :- trip(A,hydrophobic,ch,11.431,2.500,bulky,17.690,2.500,7.768,2.500).
active101(A) :- trip(A,posch,gly,10.925,2.500,polar,8.538,2.500,3.891,2.500).
active102(A) :- trip(A,hydrophobic,gly,17.605,2.500,bulky,17.690,2.500,8.921,2.500).
active103(A) :- trip(A,hydrophobic,gly,17.404,2.500,small,14.961,2.500,10.772,2.500).
active104(A) :- trip(A,ch,bulky,7.825,2.500,small,15.191,2.500,15.938,2.500).
active105(A) :- trip(A,hydrophobic,polar,13.662,2.500,gly,17.199,2.500,9.366,2.500).
active106(A) :- trip(A,hydrophobic,polar,9.238,2.500,bulky,18.141,2.500,10.359,2.500).
active107(A) :- trip(A,hydrophobic,polar,15.251,2.500,small,17.956,2.500,5.312,2.500).
active108(A) :- trip(A,small,small,17.605,2.500,small,14.961,2.500,3.827,2.500).
active109(A) :- trip(A,hydrophobic,small,17.404,2.500,ch,15.251,2.500,10.000,2.500).
active110(A) :- trip(A,hydrophobic,hydrophobic,5.930,2.500,small,17.605,2.500,15.225,2.500).
active111(A) :- trip(A,hydrophobic,hydrophobic,5.930,2.500,gly,14.961,2.500,13.513,2.500).
active112(A) :- trip(A,small,polar,5.371,2.500,polar,18.611,2.500,14.925,2.500).
active113(A) :- trip(A,hydrophobic,aromaticish,9.238,2.500,polar,17.956,2.500,12.209,2.500).
active114(A) :- trip(A,polar,gly,11.311,2.500,hydrophobic,7.768,2.500,11.309,2.500).
active115(A) :- trip(A,hydrophobic,hydrophobic,18.141,2.500,small,13.148,2.500,11.448,2.500).
active116(A) :- trip(A,ch,hydrophobic,7.825,2.500,gly,9.366,2.500,4.495,2.500).
active117(A) :- trip(A,ch,hydrophobic,7.825,2.500,small,15.191,2.500,15.938,2.500).
active118(A) :- trip(A,ch,bulky,7.825,2.500,small,9.366,2.500,4.495,2.500).
active119(A) :- trip(A,hydrophobic,ch,9.603,2.500,gly,17.199,2.500,10.925,2.500).
active120(A) :- trip(A,small,ch,15.251,2.500,bulky,17.690,2.500,8.986,2.500).
active121(A) :- trip(A,polar,gly,20.460,2.500,polar,17.224,2.500,3.891,2.500).
active122(A) :- trip(A,hydrophobic,small,17.404,2.500,negch,15.008,2.500,3.891,2.500).
active123(A) :- trip(A,hydrophobic,small,17.956,2.500,hydrophobic,17.690,2.500,13.666,2.500).
active124(A) :- trip(A,polar,gly,10.833,2.500,hydrophobic,8.714,2.500,14.638,2.500).
active125(A) :- trip(A,hydrophobic,small,14.515,2.500,gly,17.605,2.500,9.809,2.500).
active126(A) :- trip(A,hydrophobic,polar,10.107,2.500,bulky,18.141,2.500,9.362,2.500).
active127(A) :- trip(A,hydrophobic,polar,11.431,2.500,gly,17.404,2.500,9.366,2.500).
active128(A) :- trip(A,small,polar,9.238,2.500,polar,18.611,2.500,10.095,2.500).
active129(A) :- trip(A,hydrophobic,aromaticish,15.251,2.500,hydrophobic,17.690,2.500,8.986,2.500).
active130(A) :- trip(A,hydrophobic,aromaticish,15.251,2.500,small,14.515,2.500,5.841,2.500).
active131(A) :- trip(A,small,small,17.404,2.500,small,14.961,2.500,10.772,2.500).
active132(A) :- trip(A,hydrophobic,polar,5.371,2.500,small,17.605,2.500,15.334,2.500).
active133(A) :- trip(A,hydrophobic,bulky,5.930,2.500,small,17.404,2.500,17.199,2.500).
active134(A) :- trip(A,hydrophobic,ch,11.431,2.500,polar,18.611,2.500,10.409,2.500).
active135(A) :- trip(A,hydrophobic,ch,15.008,2.500,bulky,17.690,2.500,7.999,2.500).
active136(A) :- trip(A,hydrophobic,aromaticish,9.238,2.500,aromaticish,15.251,2.500,8.065,2.500).
active137(A) :- trip(A,polar,gly,10.216,2.500,hydrophobic,7.999,2.500,14.638,2.500).
active138(A) :- trip(A,hydrophobic,hydrophobic,18.629,2.500,small,15.225,2.500,12.641,2.500).
active139(A) :- trip(A,hydrophobic,small,14.515,2.500,smallpol,17.956,2.500,4.850,2.500).
active140(A) :- trip(A,hydrophobic,polar,5.371,2.500,gly,17.605,2.500,15.334,2.500).
active141(A) :- trip(A,ch,gly,8.342,2.500,hydrophobic,8.714,2.500,11.309,2.500).
active142(A) :- trip(A,ch,bulky,7.825,2.500,gly,9.366,2.500,4.495,2.500).
active143(A) :- trip(A,hydrophobic,small,17.404,2.500,small,14.515,2.500,14.068,2.500).
active144(A) :- trip(A,bulkypol,ch,12.233,2.500,bulky,16.444,2.500,8.986,2.500).
active145(A) :- trip(A,small,polar,9.238,2.500,gly,17.404,2.500,10.925,2.500).
active146(A) :- trip(A,hydrophobic,polar,7.569,2.500,small,17.956,2.500,10.805,2.500).
active147(A) :- trip(A,hydrophobic,posch,9.603,2.500,hydrophobic,18.629,2.500,10.359,2.500).
active148(A) :- trip(A,hydrophobic,ch,13.662,2.500,gly,10.151,2.500,11.311,2.500).
active149(A) :- trip(A,hydrophobic,polar,9.603,2.500,bulky,18.629,2.500,10.359,2.500).
active150(A) :- trip(A,hydrophobic,ch,11.248,2.500,gly,13.513,2.500,10.802,2.500).
active151(A) :- trip(A,ch,gly,10.833,2.500,hydrophobic,8.714,2.500,14.638,2.500).
active152(A) :- trip(A,ch,posch,11.488,2.500,small,9.170,2.500,4.766,2.500).
active153(A) :- trip(A,small,hydrophobic,18.141,2.500,gly,17.404,2.500,4.495,2.500).
active154(A) :- trip(A,hydrophobic,hydrophobic,18.629,2.500,small,10.151,2.500,11.448,2.500).
active155(A) :- trip(A,hydrophobic,ch,13.647,2.500,polar,17.956,2.500,11.709,2.500).
active156(A) :- trip(A,hydrophobic,polar,7.569,2.500,small,17.605,2.500,10.554,2.500).
active157(A) :- trip(A,hydrophobic,hydrophobic,5.930,2.500,polar,18.611,2.500,17.399,2.500).
active158(A) :- trip(A,ch,aromaticish,6.576,2.500,bulky,7.999,2.500,8.986,2.500).
active159(A) :- trip(A,bulkypol,polar,14.101,2.500,hydrophobic,16.444,2.500,13.237,2.500).
active160(A) :- trip(A,ch,small,12.209,2.500,hydrophobic,8.714,2.500,13.666,2.500).
active161(A) :- trip(A,small,hydrophobic,5.930,2.500,hydrophobic,18.141,2.500,18.629,2.500).
active162(A) :- trip(A,small,polar,5.371,2.500,posch,15.251,2.500,13.293,2.500).
active163(A) :- trip(A,ch,ch,10.821,2.500,small,10.211,2.500,9.513,2.500).
active164(A) :- trip(A,ala,polar,9.238,2.500,bulky,18.141,2.500,10.359,2.500).
active165(A) :- trip(A,posch,ch,10.821,2.500,small,10.802,2.500,6.153,2.500).
active166(A) :- trip(A,hydrophobic,aromaticish,9.238,2.500,small,17.956,2.500,12.209,2.500).
active167(A) :- trip(A,hydrophobic,small,17.605,2.500,gly,14.961,2.500,3.827,2.500).
active168(A) :- trip(A,ch,ch,8.951,2.500,bulky,7.768,2.500,7.999,2.500).
active169(A) :- trip(A,ch,polar,5.260,2.500,small,10.833,2.500,15.191,2.500).
active170(A) :- trip(A,posch,ch,8.065,2.500,hydrophobic,8.714,2.500,8.986,2.500).
active171(A) :- trip(A,ch,gly,8.342,2.500,bulky,8.714,2.500,11.309,2.500).
active172(A) :- trip(A,hydrophobic,ch,9.238,2.500,small,17.404,2.500,10.925,2.500).
active173(A) :- trip(A,polar,val,10.359,2.500,small,12.209,2.500,15.910,2.500).
active174(A) :- trip(A,hydrophobic,posch,9.238,2.500,bulky,17.690,2.500,8.714,2.500).
active175(A) :- trip(A,small,polar,15.008,2.500,gly,17.605,2.500,11.137,2.500).
active176(A) :- trip(A,small,small,17.404,2.500,small,14.515,2.500,14.068,2.500).
active177(A) :- trip(A,ch,hydrophobic,7.825,2.500,small,9.366,2.500,4.495,2.500).
active178(A) :- trip(A,hydrophobic,small,13.148,2.500,gly,17.605,2.500,10.224,2.500).
active179(A) :- trip(A,hydrophobic,bulky,18.141,2.500,small,14.961,2.500,9.577,2.500).
active180(A) :- trip(A,hydrophobic,gly,14.515,2.500,polar,17.956,2.500,4.850,2.500).
active181(A) :- trip(A,hydrophobic,bulky,18.141,2.500,polar,15.251,2.500,10.799,2.500).
active182(A) :- trip(A,posch,hydrophobic,10.359,2.500,gly,10.925,2.500,4.495,2.500).
active183(A) :- trip(A,hydrophobic,gly,17.404,2.500,polar,18.611,2.500,6.204,2.500).
active184(A) :- trip(A,hydrophobic,polar,15.008,2.500,small,17.956,2.500,11.501,2.500).
active185(A) :- trip(A,ch,ch,12.233,2.500,gly,10.211,2.500,5.689,2.500).
active186(A) :- trip(A,hydrophobic,gly,17.404,2.500,ch,15.008,2.500,3.891,2.500).
active187(A) :- trip(A,small,bulky,18.141,2.500,small,14.961,2.500,9.577,2.500).
active188(A) :- trip(A,hydrophobic,polar,10.107,2.500,small,17.956,2.500,16.760,2.500).
active189(A) :- trip(A,hydrophobic,ch,9.238,2.500,polar,18.611,2.500,10.095,2.500).
active190(A) :- trip(A,ch,polar,12.209,2.500,hydrophobic,8.714,2.500,13.666,2.500).
active191(A) :- trip(A,hydrophobic,ch,13.868,2.500,bulky,17.745,2.500,7.999,2.500).
active192(A) :- trip(A,hydrophobic,polar,5.371,2.500,polar,17.956,2.500,17.250,2.500).
active193(A) :- trip(A,hydrophobic,hydrophobic,5.930,2.500,bulky,17.690,2.500,17.745,2.500).
active194(A) :- trip(A,ch,polar,17.224,2.500,hydrophobic,16.444,2.500,7.999,2.500).
active195(A) :- trip(A,hydrophobic,ch,15.008,2.500,aromaticish,15.251,2.500,6.576,2.500).
active196(A) :- trip(A,posch,hydrophobic,10.359,2.500,small,12.209,2.500,15.910,2.500).
active197(A) :- trip(A,ch,polar,7.294,2.500,small,9.513,2.500,15.404,2.500).
active198(A) :- trip(A,small,ch,9.238,2.500,polar,17.956,2.500,12.209,2.500).
active199(A) :- trip(A,small,polar,11.431,2.500,polar,17.956,2.500,16.433,2.500).
active200(A) :- trip(A,hydrophobic,ch,9.603,2.500,small,17.199,2.500,10.925,2.500).
active201(A) :- trip(A,ala,polar,9.238,2.500,hydrophobic,18.141,2.500,10.359,2.500).
active202(A) :- trip(A,small,polar,18.611,2.500,small,14.515,2.500,12.144,2.500).
active203(A) :- trip(A,hydrophobic,polar,5.371,2.500,small,17.404,2.500,13.545,2.500).
active204(A) :- trip(A,ch,bulky,10.359,2.500,small,12.209,2.500,15.910,2.500).
active205(A) :- trip(A,small,bulkypol,5.371,2.500,polar,18.611,2.500,14.925,2.500).
active206(A) :- trip(A,ch,polar,12.209,2.500,bulky,8.714,2.500,13.666,2.500).
active207(A) :- trip(A,hydrophobic,polar,9.238,2.500,smallpol,17.956,2.500,12.209,2.500).
active208(A) :- trip(A,small,bulkypol,10.107,2.500,gly,17.404,2.500,8.249,2.500).
active209(A) :- trip(A,hydrophobic,polar,18.611,2.500,small,17.605,2.500,8.432,2.500).
active210(A) :- trip(A,hydrophobic,ch,11.431,2.500,hydrophobic,17.690,2.500,7.768,2.500).
active211(A) :- trip(A,ch,gly,10.216,2.500,bulky,7.999,2.500,14.638,2.500).
active212(A) :- trip(A,ch,hydrophobic,10.359,2.500,small,12.209,2.500,15.910,2.500).
active213(A) :- trip(A,hydrophobic,posch,13.647,2.500,gly,14.961,2.500,10.802,2.500).
active214(A) :- trip(A,ch,polar,5.859,2.500,small,9.513,2.500,15.334,2.500).
active215(A) :- trip(A,small,small,17.404,2.500,posch,15.251,2.500,10.000,2.500).
active216(A) :- trip(A,posch,bulky,10.359,2.500,small,12.209,2.500,15.910,2.500).
active217(A) :- trip(A,hydrophobic,polar,13.647,2.500,gly,17.605,2.500,10.211,2.500).
active218(A) :- trip(A,hydrophobic,hydrophobic,18.629,2.500,gly,13.513,2.500,9.577,2.500).
active219(A) :- trip(A,posch,bulky,10.359,2.500,gly,10.925,2.500,4.495,2.500).
active220(A) :- trip(A,posch,gly,10.833,2.500,hydrophobic,8.714,2.500,14.638,2.500).
active221(A) :- trip(A,hydrophobic,ch,9.603,2.500,hydrophobic,17.745,2.500,8.714,2.500).
active222(A) :- trip(A,hydrophobic,polar,13.647,2.500,bulky,17.690,2.500,16.444,2.500).
active223(A) :- trip(A,hydrophobic,polar,10.107,2.500,gly,17.605,2.500,15.404,2.500).
active224(A) :- trip(A,small,polar,17.956,2.500,hydrophobic,17.690,2.500,13.666,2.500).
active225(A) :- trip(A,posch,ch,8.538,2.500,hydrophobic,8.714,2.500,7.999,2.500).
active226(A) :- trip(A,hydrophobic,aromaticish,15.251,2.500,bulky,17.690,2.500,8.986,2.500).
active227(A) :- trip(A,hydrophobic,polar,11.431,2.500,bulky,18.141,2.500,7.825,2.500).
active228(A) :- trip(A,hydrophobic,polar,15.251,2.500,gly,17.605,2.500,5.689,2.500).
active229(A) :- trip(A,hydrophobic,gly,17.404,2.500,aromaticish,15.251,2.500,10.000,2.500).
active230(A) :- trip(A,posch,gly,8.342,2.500,hydrophobic,8.714,2.500,11.309,2.500).
active231(A) :- trip(A,hydrophobic,hydrophobic,18.141,2.500,polar,18.611,2.500,5.506,2.500).
active232(A) :- trip(A,hydrophobic,polar,13.647,2.500,hydrophobic,17.690,2.500,16.444,2.500).
active233(A) :- trip(A,posch,gly,10.925,2.500,polar,12.209,2.500,14.960,2.500).
active234(A) :- trip(A,small,gly,17.404,2.500,ch,15.008,2.500,3.891,2.500).
active235(A) :- trip(A,hydrophobic,ch,13.647,2.500,gly,14.961,2.500,10.802,2.500).
active236(A) :- trip(A,polar,gly,11.311,2.500,bulky,7.768,2.500,11.309,2.500).
active237(A) :- trip(A,small,ch,15.008,2.500,hydrophobic,17.690,2.500,7.999,2.500).
active238(A) :- trip(A,ch,small,12.209,2.500,bulky,8.714,2.500,13.666,2.500).
active239(A) :- trip(A,small,polar,18.611,2.500,small,14.961,2.500,6.501,2.500).
active240(A) :- trip(A,posch,hydrophobic,10.359,2.500,small,8.342,2.500,11.448,2.500).
active241(A) :- trip(A,polar,val,10.359,2.500,small,10.833,2.500,15.938,2.500).
active242(A) :- trip(A,ch,gly,10.216,2.500,hydrophobic,7.999,2.500,14.638,2.500).
active243(A) :- trip(A,hydrophobic,hydrophobic,5.930,2.500,hydrophobic,18.141,2.500,18.629,2.500).
active244(A) :- trip(A,small,bulkypol,5.371,2.500,gly,14.515,2.500,14.663,2.500).
active245(A) :- trip(A,hydrophobic,ch,9.238,2.500,gly,17.605,2.500,9.513,2.500).
active246(A) :- trip(A,small,polar,7.569,2.500,polar,18.611,2.500,13.690,2.500).
active247(A) :- trip(A,small,small,17.404,2.500,gly,14.515,2.500,14.068,2.500).
active248(A) :- trip(A,posch,aromaticish,8.065,2.500,small,9.513,2.500,5.689,2.500).
active249(A) :- trip(A,ch,gly,9.513,2.500,hydrophobic,8.714,2.500,8.921,2.500).
active250(A) :- trip(A,hydrophobic,hydrophobic,18.629,2.500,small,13.635,2.500,15.910,2.500).
active251(A) :- trip(A,hydrophobic,polar,5.371,2.500,hydrophobic,18.141,2.500,13.485,2.500).
active252(A) :- trip(A,hydrophobic,hydrophobic,5.930,2.500,small,17.956,2.500,13.635,2.500).
active253(A) :- trip(A,hydrophobic,polar,13.662,2.500,hydrophobic,18.629,2.500,7.825,2.500).
active254(A) :- trip(A,ch,ch,11.488,2.500,small,9.170,2.500,4.766,2.500).
active255(A) :- trip(A,hydrophobic,polar,10.107,2.500,small,17.404,2.500,8.249,2.500).
active256(A) :- trip(A,small,polar,13.647,2.500,posch,15.251,2.500,12.233,2.500).
active257(A) :- trip(A,hydrophobic,posch,11.248,2.500,gly,13.513,2.500,10.802,2.500).
active258(A) :- trip(A,hydrophobic,ch,11.431,2.500,bulky,18.141,2.500,7.825,2.500).
active259(A) :- trip(A,hydrophobic,posch,9.603,2.500,gly,17.199,2.500,10.925,2.500).
active260(A) :- trip(A,small,polar,13.647,2.500,negch,11.431,2.500,15.672,2.500).
active261(A) :- trip(A,hydrophobic,bulky,5.930,2.500,gly,17.404,2.500,17.199,2.500).
active262(A) :- trip(A,hydrophobic,hydrophobic,18.629,2.500,polar,13.635,2.500,15.910,2.500).
active263(A) :- trip(A,ala,small,14.515,2.500,small,17.956,2.500,4.850,2.500).
active264(A) :- trip(A,small,ch,13.647,2.500,gly,17.605,2.500,10.211,2.500).
active265(A) :- trip(A,hydrophobic,bulky,18.629,2.500,small,10.151,2.500,11.448,2.500).
active266(A) :- trip(A,ch,bulky,10.359,2.500,small,8.342,2.500,11.448,2.500).
active267(A) :- trip(A,ch,gly,8.342,2.500,small,9.513,2.500,10.224,2.500).
active268(A) :- trip(A,hydrophobic,bulkypol,10.107,2.500,bulky,17.690,2.500,11.038,2.500).
active269(A) :- trip(A,hydrophobic,bulky,18.629,2.500,small,13.513,2.500,9.577,2.500).
active270(A) :- trip(A,hydrophobic,gly,14.515,2.500,smallpol,17.956,2.500,4.850,2.500).
active271(A) :- trip(A,hydrophobic,ch,13.662,2.500,bulky,17.745,2.500,7.768,2.500).
active272(A) :- trip(A,hydrophobic,hydrophobic,5.930,2.500,hydrophobic,17.690,2.500,17.745,2.500).
active273(A) :- trip(A,posch,polar,12.209,2.500,bulky,8.714,2.500,13.666,2.500).
active274(A) :- trip(A,hydrophobic,ch,15.251,2.500,small,17.605,2.500,5.689,2.500).
active275(A) :- trip(A,hydrophobic,aromaticish,15.251,2.500,small,17.605,2.500,5.689,2.500).
active276(A) :- trip(A,small,ch,11.431,2.500,bulky,17.690,2.500,7.768,2.500).
active277(A) :- trip(A,hydrophobic,posch,9.238,2.500,bulky,18.141,2.500,10.359,2.500).
active278(A) :- trip(A,small,hydrophobic,18.141,2.500,small,14.961,2.500,9.577,2.500).
active279(A) :- trip(A,hydrophobic,negch,15.008,2.500,hydrophobic,17.690,2.500,7.999,2.500).
active280(A) :- trip(A,small,hydrophobic,18.141,2.500,aromaticish,15.251,2.500,10.799,2.500).
active281(A) :- trip(A,hydrophobic,bulkypol,10.107,2.500,bulky,18.141,2.500,9.362,2.500).
active282(A) :- trip(A,hydrophobic,ch,13.662,2.500,bulky,18.629,2.500,7.825,2.500).
active283(A) :- trip(A,hydrophobic,small,17.404,2.500,small,17.605,2.500,13.713,2.500).
active284(A) :- trip(A,ch,gly,10.833,2.500,bulky,8.714,2.500,14.638,2.500).
active285(A) :- trip(A,hydrophobic,ch,13.868,2.500,aromaticish,12.352,2.500,6.576,2.500).
active286(A) :- trip(A,hydrophobic,polar,11.248,2.500,hydrophobic,17.745,2.500,16.444,2.500).
active287(A) :- trip(A,hydrophobic,polar,18.611,2.500,bulky,17.690,2.500,4.620,2.500).
active288(A) :- trip(A,hydrophobic,polar,13.662,2.500,gly,9.715,2.500,15.191,2.500).
active289(A) :- trip(A,small,bulky,18.141,2.500,ch,15.251,2.500,10.799,2.500).
active290(A) :- trip(A,val,polar,5.506,2.500,aromaticish,10.799,2.500,6.576,2.500).
active291(A) :- trip(A,hydrophobic,bulkypol,10.107,2.500,gly,17.404,2.500,8.249,2.500).
active292(A) :- trip(A,posch,polar,12.209,2.500,hydrophobic,8.714,2.500,13.666,2.500).
active293(A) :- trip(A,small,bulky,18.141,2.500,small,14.515,2.500,15.938,2.500).
active294(A) :- trip(A,ch,ch,12.233,2.500,gly,10.802,2.500,4.766,2.500).
active295(A) :- trip(A,small,gly,17.404,2.500,negch,15.008,2.500,3.891,2.500).
active296(A) :- trip(A,hydrophobic,ch,13.647,2.500,gly,14.515,2.500,11.941,2.500).
active297(A) :- trip(A,posch,aromaticish,8.065,2.500,small,10.833,2.500,5.841,2.500).
active298(A) :- trip(A,small,small,17.404,2.500,ch,15.251,2.500,10.000,2.500).
active299(A) :- trip(A,ch,gly,8.342,2.500,small,12.209,2.500,8.098,2.500).
active300(A) :- trip(A,hydrophobic,hydrophobic,18.141,2.500,small,14.515,2.500,15.938,2.500).
active301(A) :- trip(A,hydrophobic,ch,11.431,2.500,aromaticish,15.251,2.500,11.488,2.500).
active302(A) :- trip(A,hydrophobic,ch,9.238,2.500,gly,17.404,2.500,10.925,2.500).
active303(A) :- trip(A,small,polar,7.569,2.500,gly,17.404,2.500,14.851,2.500).
active304(A) :- trip(A,hydrophobic,small,14.515,2.500,small,17.956,2.500,4.850,2.500).
active305(A) :- trip(A,hydrophobic,aromaticish,15.251,2.500,small,14.961,2.500,4.766,2.500).
active306(A) :- trip(A,hydrophobic,polar,7.569,2.500,polar,18.611,2.500,13.690,2.500).
active307(A) :- trip(A,posch,polar,10.095,2.500,gly,10.833,2.500,12.144,2.500).
active308(A) :- trip(A,hydrophobic,bulky,5.930,2.500,gly,17.605,2.500,15.225,2.500).
active309(A) :- trip(A,small,hydrophobic,18.141,2.500,polar,18.611,2.500,5.506,2.500).
active310(A) :- trip(A,hydrophobic,ch,15.251,2.500,bulky,17.690,2.500,8.986,2.500).
active311(A) :- trip(A,hydrophobic,posch,9.603,2.500,bulky,18.629,2.500,10.359,2.500).
active312(A) :- trip(A,bulkypol,ch,15.672,2.500,hydrophobic,16.444,2.500,7.768,2.500).
active313(A) :- trip(A,ch,bulky,7.825,2.500,aromaticish,11.488,2.500,10.799,2.500).
active314(A) :- trip(A,small,polar,9.238,2.500,gly,17.605,2.500,9.513,2.500).
active315(A) :- trip(A,hydrophobic,gly,17.404,2.500,small,14.515,2.500,14.068,2.500).
active316(A) :- trip(A,ch,aromaticish,6.576,2.500,hydrophobic,7.999,2.500,8.986,2.500).
active317(A) :- trip(A,hydrophobic,hydrophobic,18.141,2.500,gly,13.148,2.500,11.448,2.500).
active318(A) :- trip(A,hydrophobic,hydrophobic,18.141,2.500,small,17.605,2.500,12.641,2.500).
active319(A) :- trip(A,small,polar,13.647,2.500,ch,15.251,2.500,12.233,2.500).
active320(A) :- trip(A,hydrophobic,bulky,18.629,2.500,polar,13.868,2.500,6.650,2.500).
active321(A) :- trip(A,hydrophobic,small,13.148,2.500,small,17.956,2.500,8.098,2.500).
active322(A) :- trip(A,ch,small,20.460,2.500,polar,17.167,2.500,6.204,2.500).
active323(A) :- trip(A,hydrophobic,bulkypol,7.569,2.500,gly,17.605,2.500,10.554,2.500).
active324(A) :- trip(A,small,small,17.956,2.500,hydrophobic,17.690,2.500,13.666,2.500).
active325(A) :- trip(A,hydrophobic,hydrophobic,5.930,2.500,smallpol,17.956,2.500,13.635,2.500).
active326(A) :- trip(A,hydrophobic,posch,9.603,2.500,bulky,17.745,2.500,8.714,2.500).
active327(A) :- trip(A,hydrophobic,ch,11.431,2.500,gly,13.148,2.500,11.311,2.500).
active328(A) :- trip(A,hydrophobic,polar,11.431,2.500,hydrophobic,18.141,2.500,7.825,2.500).
active329(A) :- trip(A,ch,polar,6.576,2.500,gly,10.216,2.500,5.841,2.500).
active330(A) :- trip(A,hydrophobic,ch,13.868,2.500,gly,15.225,2.500,11.137,2.500).
active331(A) :- trip(A,bulkypol,ch,12.233,2.500,hydrophobic,16.444,2.500,8.986,2.500).
active332(A) :- trip(A,hydrophobic,gly,15.938,2.500,polar,15.910,2.500,4.850,2.500).
active333(A) :- trip(A,small,hydrophobic,18.141,2.500,small,17.605,2.500,12.641,2.500).
active334(A) :- trip(A,hydrophobic,posch,9.238,2.500,aromaticish,15.251,2.500,8.065,2.500).
active335(A) :- trip(A,aromaticish,gly,10.925,2.500,polar,12.209,2.500,14.960,2.500).
active336(A) :- trip(A,ch,posch,12.233,2.500,small,10.211,2.500,5.689,2.500).
active337(A) :- trip(A,ch,small,5.185,2.500,gly,10.216,2.500,5.310,2.500).
active338(A) :- trip(A,hydrophobic,polar,10.107,2.500,bulky,17.690,2.500,11.038,2.500).
active339(A) :- trip(A,ch,ch,8.538,2.500,bulky,8.714,2.500,7.999,2.500).
active340(A) :- trip(A,ch,ch,11.488,2.500,gly,11.311,2.500,4.689,2.500).
active341(A) :- trip(A,hydrophobic,polar,18.611,2.500,gly,14.961,2.500,6.501,2.500).
active342(A) :- trip(A,ch,aromaticish,12.233,2.500,small,10.211,2.500,5.689,2.500).
active343(A) :- trip(A,posch,polar,14.101,2.500,aromaticish,12.233,2.500,13.293,2.500).
active344(A) :- trip(A,small,ch,11.431,2.500,polar,18.611,2.500,10.409,2.500).
active345(A) :- trip(A,hydrophobic,hydrophobic,18.141,2.500,gly,17.404,2.500,4.495,2.500).
active346(A) :- trip(A,small,polar,17.956,2.500,small,14.961,2.500,8.555,2.500).
active347(A) :- trip(A,hydrophobic,bulky,18.629,2.500,polar,12.352,2.500,10.799,2.500).
active348(A) :- trip(A,bulkypol,negch,15.672,2.500,hydrophobic,16.444,2.500,7.768,2.500).
active349(A) :- trip(A,hydrophobic,polar,9.238,2.500,bulkypol,18.611,2.500,10.095,2.500).
active350(A) :- trip(A,small,ch,15.251,2.500,hydrophobic,17.690,2.500,8.986,2.500).
active351(A) :- trip(A,hydrophobic,aromaticish,9.603,2.500,gly,17.199,2.500,10.925,2.500).
active352(A) :- trip(A,hydrophobic,aromaticish,15.251,2.500,small,17.956,2.500,5.312,2.500).
active353(A) :- trip(A,hydrophobic,bulky,18.629,2.500,small,15.225,2.500,12.641,2.500).
active354(A) :- trip(A,hydrophobic,ch,13.868,2.500,hydrophobic,17.745,2.500,7.999,2.500).
active355(A) :- trip(A,small,val,18.141,2.500,small,14.961,2.500,9.577,2.500).
active356(A) :- trip(A,hydrophobic,polar,10.107,2.500,small,17.605,2.500,15.404,2.500).
active357(A) :- trip(A,hydrophobic,polar,15.008,2.500,hydrophobic,17.690,2.500,7.999,2.500).
active358(A) :- trip(A,hydrophobic,polar,11.431,2.500,gly,17.605,2.500,12.956,2.500).
active359(A) :- trip(A,hydrophobic,bulkypol,7.569,2.500,small,17.956,2.500,10.805,2.500).
active360(A) :- trip(A,small,hydrophobic,18.141,2.500,small,17.956,2.500,15.910,2.500).
active361(A) :- trip(A,hydrophobic,small,14.515,2.500,gly,14.961,2.500,9.769,2.500).
active362(A) :- trip(A,ch,aromaticish,10.821,2.500,polar,14.101,2.500,5.859,2.500).
active363(A) :- trip(A,ch,polar,14.101,2.500,aromaticish,12.233,2.500,13.293,2.500).
active364(A) :- trip(A,ala,polar,10.107,2.500,polar,18.611,2.500,11.714,2.500).
active365(A) :- trip(A,hydrophobic,ch,9.238,2.500,hydrophobic,18.141,2.500,10.359,2.500).
active366(A) :- trip(A,ch,posch,11.488,2.500,hydrophobic,7.768,2.500,8.986,2.500).
active367(A) :- trip(A,small,bulkypol,7.569,2.500,polar,18.611,2.500,13.690,2.500).
active368(A) :- trip(A,hydrophobic,gly,15.938,2.500,gly,9.577,2.500,9.769,2.500).
active369(A) :- trip(A,ch,bulky,7.825,2.500,small,9.170,2.500,9.577,2.500).
active370(A) :- trip(A,hydrophobic,gly,14.515,2.500,hydrophobic,17.690,2.500,14.638,2.500).
active371(A) :- trip(A,small,bulky,5.930,2.500,hydrophobic,17.690,2.500,17.745,2.500).
active372(A) :- trip(A,posch,gly,10.833,2.500,bulky,8.714,2.500,14.638,2.500).
active373(A) :- trip(A,hydrophobic,bulky,5.930,2.500,smallpol,17.956,2.500,13.635,2.500).
active374(A) :- trip(A,small,gly,17.404,2.500,small,14.515,2.500,14.068,2.500).
active375(A) :- trip(A,hydrophobic,small,4.495,2.500,negch,6.650,2.500,3.891,2.500).
active376(A) :- trip(A,hydrophobic,ch,13.662,2.500,hydrophobic,17.745,2.500,7.768,2.500).
active377(A) :- trip(A,polar,thr,10.409,2.500,polar,16.433,2.500,11.055,2.500).
active378(A) :- trip(A,hydrophobic,ch,13.662,2.500,gly,13.513,2.500,9.170,2.500).
active379(A) :- trip(A,small,bulky,5.930,2.500,hydrophobic,18.141,2.500,18.629,2.500).
active380(A) :- trip(A,hydrophobic,polar,11.248,2.500,bulky,17.745,2.500,16.444,2.500).
active381(A) :- trip(A,small,small,17.956,2.500,small,14.961,2.500,8.555,2.500).
active382(A) :- trip(A,small,small,17.404,2.500,ch,15.008,2.500,3.891,2.500).
active383(A) :- trip(A,ch,gly,11.137,2.500,hydrophobic,7.999,2.500,8.921,2.500).
active384(A) :- trip(A,ch,hydrophobic,7.825,2.500,small,12.956,2.500,12.641,2.500).
active385(A) :- trip(A,small,polar,9.238,2.500,bulkypol,18.611,2.500,10.095,2.500).
active386(A) :- trip(A,ala,polar,11.431,2.500,hydrophobic,18.141,2.500,7.825,2.500).
active387(A) :- trip(A,hydrophobic,ch,9.238,2.500,hydrophobic,17.690,2.500,8.714,2.500).
active388(A) :- trip(A,hydrophobic,bulky,18.141,2.500,small,13.148,2.500,11.448,2.500).
active389(A) :- trip(A,hydrophobic,aromaticish,15.251,2.500,small,13.148,2.500,4.689,2.500).
active390(A) :- trip(A,hydrophobic,posch,15.251,2.500,hydrophobic,17.690,2.500,8.986,2.500).
active391(A) :- trip(A,hydrophobic,hydrophobic,5.930,2.500,bulky,18.141,2.500,18.629,2.500).
active392(A) :- trip(A,hydrophobic,small,17.956,2.500,bulky,17.690,2.500,13.666,2.500).
active393(A) :- trip(A,ch,polar,14.101,2.500,gly,10.802,2.500,11.998,2.500).
active394(A) :- trip(A,hydrophobic,polar,5.371,2.500,gly,17.404,2.500,13.545,2.500).
active395(A) :- trip(A,posch,ch,10.821,2.500,small,10.211,2.500,9.513,2.500).
active396(A) :- trip(A,polar,gly,10.925,2.500,aromaticish,8.065,2.500,10.000,2.500).
active397(A) :- trip(A,ala,polar,10.107,2.500,aromaticish,15.251,2.500,11.923,2.500).
active398(A) :- trip(A,hydrophobic,gly,17.404,2.500,gly,13.148,2.500,9.033,2.500).
active399(A) :- trip(A,hydrophobic,posch,13.647,2.500,gly,14.515,2.500,11.941,2.500).
active400(A) :- trip(A,hydrophobic,bulky,18.629,2.500,polar,17.399,2.500,5.506,2.500).
active401(A) :- trip(A,hydrophobic,posch,13.647,2.500,small,14.961,2.500,10.802,2.500).
active402(A) :- trip(A,posch,small,12.209,2.500,bulky,8.714,2.500,13.666,2.500).
active403(A) :- trip(A,ch,aromaticish,8.065,2.500,small,8.342,2.500,4.689,2.500).
active404(A) :- trip(A,hydrophobic,hydrophobic,18.629,2.500,gly,10.151,2.500,11.448,2.500).
active405(A) :- trip(A,posch,small,10.833,2.500,small,12.209,2.500,4.850,2.500).
active406(A) :- trip(A,small,small,17.605,2.500,gly,14.961,2.500,3.827,2.500).
active407(A) :- trip(A,ch,hydrophobic,7.825,2.500,small,11.311,2.500,11.448,2.500).
active408(A) :- trip(A,posch,small,12.209,2.500,hydrophobic,8.714,2.500,13.666,2.500).
active409(A) :- trip(A,hydrophobic,posch,9.238,2.500,polar,5.371,2.500,5.859,2.500).
active410(A) :- trip(A,small,thr,10.107,2.500,polar,18.611,2.500,11.714,2.500).
active411(A) :- trip(A,small,gly,17.404,2.500,ch,15.251,2.500,10.000,2.500).
active412(A) :- trip(A,hydrophobic,hydrophobic,18.141,2.500,small,17.404,2.500,4.495,2.500).
active413(A) :- trip(A,hydrophobic,ch,11.431,2.500,gly,17.404,2.500,9.366,2.500).
active414(A) :- trip(A,hydrophobic,polar,10.107,2.500,ch,15.251,2.500,11.923,2.500).
active415(A) :- trip(A,posch,ch,10.821,2.500,polar,14.101,2.500,5.859,2.500).
active416(A) :- trip(A,hydrophobic,negch,13.868,2.500,hydrophobic,17.745,2.500,7.999,2.500).
active417(A) :- trip(A,small,polar,5.371,2.500,gly,17.605,2.500,15.334,2.500).
active418(A) :- trip(A,small,ch,13.647,2.500,gly,14.961,2.500,10.802,2.500).
active419(A) :- trip(A,small,posch,13.647,2.500,gly,17.605,2.500,10.211,2.500).
active420(A) :- trip(A,hydrophobic,posch,9.238,2.500,small,17.956,2.500,12.209,2.500).
active421(A) :- trip(A,hydrophobic,polar,9.603,2.500,small,17.199,2.500,10.925,2.500).
active422(A) :- trip(A,ch,gly,10.925,2.500,polar,12.209,2.500,14.960,2.500).
active423(A) :- trip(A,hydrophobic,aromaticish,15.251,2.500,polar,17.956,2.500,5.312,2.500).
active424(A) :- trip(A,ch,polar,17.745,2.500,hydrophobic,16.444,2.500,11.038,2.500).
active425(A) :- trip(A,small,bulky,18.141,2.500,gly,13.148,2.500,11.448,2.500).
active426(A) :- trip(A,small,polar,17.956,2.500,small,17.605,2.500,6.834,2.500).
active427(A) :- trip(A,ch,bulky,10.359,2.500,gly,8.342,2.500,11.448,2.500).
active428(A) :- trip(A,hydrophobic,polar,15.008,2.500,aromaticish,15.251,2.500,6.576,2.500).
active429(A) :- trip(A,hydrophobic,small,17.404,2.500,bulky,17.690,2.500,7.922,2.500).
active430(A) :- trip(A,ala,polar,9.238,2.500,aromaticish,15.251,2.500,8.065,2.500).
active431(A) :- trip(A,hydrophobic,posch,9.238,2.500,gly,17.404,2.500,10.925,2.500).
active432(A) :- trip(A,hydrophobic,hydrophobic,18.629,2.500,gly,17.199,2.500,4.495,2.500).
active433(A) :- trip(A,hydrophobic,aromaticish,9.238,2.500,gly,14.515,2.500,10.833,2.500).
active434(A) :- trip(A,aromaticish,polar,5.859,2.500,polar,12.209,2.500,17.250,2.500).
active435(A) :- trip(A,posch,gly,9.513,2.500,hydrophobic,8.714,2.500,8.921,2.500).
active436(A) :- trip(A,small,hydrophobic,5.930,2.500,bulky,18.141,2.500,18.629,2.500).
active437(A) :- trip(A,small,bulkypol,10.107,2.500,ch,15.251,2.500,11.923,2.500).
active438(A) :- trip(A,posch,polar,7.294,2.500,small,9.513,2.500,15.404,2.500).
active439(A) :- trip(A,hydrophobic,gly,17.404,2.500,gly,14.961,2.500,10.772,2.500).
active440(A) :- trip(A,small,polar,5.371,2.500,polar,17.956,2.500,17.250,2.500).
active441(A) :- trip(A,small,ch,15.008,2.500,small,14.515,2.500,10.216,2.500).
active442(A) :- trip(A,posch,polar,10.821,2.500,gly,10.211,2.500,9.513,2.500).
active443(A) :- trip(A,val,gly,15.938,2.500,polar,15.910,2.500,4.850,2.500).
active444(A) :- trip(A,gly,small,8.098,2.500,gly,10.224,2.500,6.834,2.500).
active445(A) :- trip(A,posch,polar,8.538,2.500,gly,8.342,2.500,5.185,2.500).
active446(A) :- trip(A,hydrophobic,hydrophobic,18.629,2.500,ch,13.868,2.500,6.650,2.500).
active447(A) :- trip(A,ch,polar,5.859,2.500,hydrophobic,10.359,2.500,13.485,2.500).
active448(A) :- trip(A,hydrophobic,ch,11.431,2.500,hydrophobic,18.141,2.500,7.825,2.500).
active449(A) :- trip(A,ch,bulky,7.825,2.500,small,11.311,2.500,11.448,2.500).
active450(A) :- trip(A,hydrophobic,polar,13.662,2.500,bulky,18.629,2.500,7.825,2.500).
active451(A) :- trip(A,polar,gly,20.460,2.500,ch,17.224,2.500,3.891,2.500).
active452(A) :- trip(A,small,hydrophobic,18.141,2.500,small,14.515,2.500,15.938,2.500).
active453(A) :- trip(A,hydrophobic,bulkypol,10.107,2.500,hydrophobic,18.141,2.500,9.362,2.500).
active454(A) :- trip(A,ch,polar,7.294,2.500,gly,10.925,2.500,8.249,2.500).
active455(A) :- trip(A,hydrophobic,gly,17.404,2.500,negch,15.008,2.500,3.891,2.500).
active456(A) :- trip(A,hydrophobic,posch,10.799,2.500,small,15.910,2.500,5.312,2.500).
active457(A) :- trip(A,hydrophobic,polar,13.647,2.500,ch,11.431,2.500,15.672,2.500).
active458(A) :- trip(A,hydrophobic,negch,13.662,2.500,hydrophobic,17.745,2.500,7.768,2.500).
active459(A) :- trip(A,ch,gly,6.153,2.500,bulky,8.714,2.500,6.155,2.500).
active460(A) :- trip(A,hydrophobic,gly,14.515,2.500,small,17.956,2.500,4.850,2.500).
active461(A) :- trip(A,posch,bulky,10.359,2.500,small,8.342,2.500,11.448,2.500).
active462(A) :- trip(A,posch,gly,10.925,2.500,hydrophobic,8.714,2.500,7.922,2.500).
active463(A) :- trip(A,small,gly,17.404,2.500,polar,15.008,2.500,3.891,2.500).
active464(A) :- trip(A,hydrophobic,small,17.404,2.500,hydrophobic,17.690,2.500,7.922,2.500).
active465(A) :- trip(A,hydrophobic,hydrophobic,18.141,2.500,ch,15.008,2.500,6.650,2.500).
active466(A) :- trip(A,small,bulky,18.141,2.500,small,17.605,2.500,12.641,2.500).
active467(A) :- trip(A,polar,gly,10.833,2.500,bulky,8.714,2.500,14.638,2.500).
active468(A) :- trip(A,hydrophobic,small,17.404,2.500,gly,14.515,2.500,14.068,2.500).
active469(A) :- trip(A,hydrophobic,polar,9.603,2.500,hydrophobic,18.629,2.500,10.359,2.500).
active470(A) :- trip(A,ch,polar,6.576,2.500,gly,11.137,2.500,5.689,2.500).
active471(A) :- trip(A,hydrophobic,ch,11.248,2.500,gly,9.715,2.500,11.941,2.500).
active472(A) :- trip(A,hydrophobic,ch,15.008,2.500,gly,14.515,2.500,10.216,2.500).
active473(A) :- trip(A,ala,polar,10.107,2.500,hydrophobic,18.141,2.500,9.362,2.500).
active474(A) :- trip(A,hydrophobic,posch,9.238,2.500,gly,17.605,2.500,9.513,2.500).
active475(A) :- trip(A,hydrophobic,ch,9.238,2.500,small,17.605,2.500,9.513,2.500).
active476(A) :- trip(A,ch,ch,11.488,2.500,gly,9.170,2.500,4.766,2.500).
active477(A) :- trip(A,hydrophobic,polar,9.238,2.500,small,17.404,2.500,10.925,2.500).
active478(A) :- trip(A,hydrophobic,ch,15.251,2.500,small,17.956,2.500,5.312,2.500).
active479(A) :- trip(A,hydrophobic,small,13.148,2.500,bulky,17.690,2.500,11.309,2.500).
active480(A) :- trip(A,ch,bulky,10.359,2.500,small,6.153,2.500,9.577,2.500).
active481(A) :- trip(A,small,posch,15.251,2.500,bulky,17.690,2.500,8.986,2.500).
active482(A) :- trip(A,hydrophobic,posch,9.603,2.500,small,17.199,2.500,10.925,2.500).
active483(A) :- trip(A,small,small,14.515,2.500,hydrophobic,17.690,2.500,14.638,2.500).
active484(A) :- trip(A,polar,gly,20.460,2.500,negch,17.224,2.500,3.891,2.500).
active485(A) :- trip(A,posch,ch,12.233,2.500,gly,10.802,2.500,4.766,2.500).
active486(A) :- trip(A,small,aromaticish,15.251,2.500,polar,17.956,2.500,5.312,2.500).
active487(A) :- trip(A,ala,ch,9.238,2.500,polar,17.956,2.500,12.209,2.500).
active488(A) :- trip(A,hydrophobic,aromaticish,9.603,2.500,gly,9.715,2.500,10.833,2.500).
active489(A) :- trip(A,hydrophobic,polar,7.569,2.500,bulkypol,18.611,2.500,13.690,2.500).
active490(A) :- trip(A,ch,bulkypol,14.101,2.500,polar,12.233,2.500,13.293,2.500).
active491(A) :- trip(A,ch,ch,10.821,2.500,gly,10.802,2.500,6.153,2.500).
active492(A) :- trip(A,ch,polar,5.859,2.500,bulky,10.359,2.500,13.485,2.500).
active493(A) :- trip(A,small,hydrophobic,5.930,2.500,bulky,17.690,2.500,17.745,2.500).
active494(A) :- trip(A,hydrophobic,gly,15.938,2.500,hydrophobic,4.540,2.500,14.638,2.500).
active495(A) :- trip(A,hydrophobic,bulkypol,5.371,2.500,polar,18.611,2.500,14.925,2.500).
active496(A) :- trip(A,small,polar,5.371,2.500,his,15.251,2.500,13.293,2.500).
active497(A) :- trip(A,posch,aromaticish,10.821,2.500,polar,14.101,2.500,5.859,2.500).
active498(A) :- trip(A,ch,gly,9.513,2.500,bulky,8.714,2.500,8.921,2.500).
active499(A) :- trip(A,polar,thr,7.294,2.500,gly,8.342,2.500,9.604,2.500).
active500(A) :- trip(A,hydrophobic,aromaticish,9.238,2.500,ch,15.008,2.500,8.538,2.500).
active501(A) :- trip(A,hydrophobic,bulky,18.141,2.500,ch,15.008,2.500,6.650,2.500).
active502(A) :- trip(A,polar,gly,10.216,2.500,bulky,7.999,2.500,14.638,2.500).
active503(A) :- trip(A,posch,gly,10.925,2.500,polar,10.095,2.500,6.204,2.500).
active504(A) :- trip(A,small,gly,17.404,2.500,hydrophobic,17.690,2.500,7.922,2.500).
active505(A) :- trip(A,small,hydrophobic,18.141,2.500,polar,15.251,2.500,10.799,2.500).
active506(A) :- trip(A,ch,ch,10.821,2.500,small,11.709,2.500,12.209,2.500).
active507(A) :- trip(A,polar,gly,15.191,2.500,gly,9.170,2.500,9.769,2.500).
active508(A) :- trip(A,posch,polar,10.821,2.500,polar,14.101,2.500,5.859,2.500).
active509(A) :- trip(A,hydrophobic,polar,13.662,2.500,bulkypol,17.399,2.500,10.409,2.500).
active510(A) :- trip(A,hydrophobic,posch,10.799,2.500,polar,15.910,2.500,5.312,2.500).
active511(A) :- trip(A,posch,ch,8.538,2.500,small,8.342,2.500,5.185,2.500).
active512(A) :- trip(A,small,polar,13.647,2.500,his,15.251,2.500,12.233,2.500).
active513(A) :- trip(A,hydrophobic,bulky,18.141,2.500,polar,18.611,2.500,5.506,2.500).
active514(A) :- trip(A,small,bulkypol,13.647,2.500,posch,15.251,2.500,12.233,2.500).
active515(A) :- trip(A,hydrophobic,polar,15.008,2.500,polar,17.956,2.500,11.501,2.500).
active516(A) :- trip(A,ch,polar,17.167,2.500,hydrophobic,16.444,2.500,4.620,2.500).
active517(A) :- trip(A,hydrophobic,small,14.515,2.500,small,17.605,2.500,9.809,2.500).
active518(A) :- trip(A,hydrophobic,small,4.495,2.500,gly,15.938,2.500,14.068,2.500).
active519(A) :- trip(A,hydrophobic,ch,15.251,2.500,gly,17.605,2.500,5.689,2.500).
active520(A) :- trip(A,ch,val,7.825,2.500,small,9.170,2.500,9.577,2.500).
active521(A) :- trip(A,hydrophobic,gly,17.605,2.500,gly,14.961,2.500,3.827,2.500).
active522(A) :- trip(A,small,small,17.404,2.500,his,15.251,2.500,10.000,2.500).
active523(A) :- trip(A,ch,ch,8.951,2.500,hydrophobic,7.768,2.500,7.999,2.500).
active524(A) :- trip(A,ch,bulky,7.825,2.500,hydrophobic,7.768,2.500,4.540,2.500).
active525(A) :- trip(A,hydrophobic,ch,13.647,2.500,gly,17.605,2.500,10.211,2.500).
active526(A) :- trip(A,hydrophobic,aromaticish,9.238,2.500,ch,15.251,2.500,8.065,2.500).
active527(A) :- trip(A,ch,smallpol,12.209,2.500,hydrophobic,8.714,2.500,13.666,2.500).
active528(A) :- trip(A,posch,gly,8.342,2.500,bulky,8.714,2.500,11.309,2.500).
active529(A) :- trip(A,ch,aromaticish,12.233,2.500,small,10.802,2.500,4.766,2.500).
active530(A) :- trip(A,hydrophobic,bulkypol,5.371,2.500,aromaticish,15.251,2.500,13.293,2.500).
active531(A) :- trip(A,small,polar,11.431,2.500,gly,17.404,2.500,9.366,2.500).
active532(A) :- trip(A,posch,polar,5.859,2.500,hydrophobic,10.359,2.500,13.485,2.500).
active533(A) :- trip(A,small,hydrophobic,5.930,2.500,hydrophobic,17.690,2.500,17.745,2.500).
active534(A) :- trip(A,small,negch,15.008,2.500,hydrophobic,17.690,2.500,7.999,2.500).
active535(A) :- trip(A,hydrophobic,aromaticish,9.238,2.500,gly,17.404,2.500,10.925,2.500).
active536(A) :- trip(A,ch,small,10.833,2.500,bulky,8.714,2.500,14.638,2.500).
active537(A) :- trip(A,ch,gly,9.366,2.500,polar,8.951,2.500,3.891,2.500).
active538(A) :- trip(A,hydrophobic,bulkypol,7.569,2.500,polar,18.611,2.500,13.690,2.500).
active539(A) :- trip(A,ch,small,10.833,2.500,hydrophobic,8.714,2.500,14.638,2.500).
active540(A) :- trip(A,ch,hydrophobic,10.359,2.500,small,6.153,2.500,9.577,2.500).
active541(A) :- trip(A,hydrophobic,posch,13.647,2.500,small,13.148,2.500,14.275,2.500).
active542(A) :- trip(A,hydrophobic,small,15.938,2.500,small,15.910,2.500,4.850,2.500).
active543(A) :- trip(A,posch,gly,11.941,2.500,small,10.802,2.500,9.769,2.500).
active544(A) :- trip(A,hydrophobic,ch,11.248,2.500,aromaticish,9.603,2.500,10.821,2.500).
active545(A) :- trip(A,hydrophobic,bulkypol,7.569,2.500,hydrophobic,18.141,2.500,15.278,2.500).
active546(A) :- trip(A,hydrophobic,bulkypol,7.569,2.500,aromaticish,15.251,2.500,8.869,2.500).
active547(A) :- trip(A,posch,hydrophobic,10.359,2.500,small,10.925,2.500,4.495,2.500).
active548(A) :- trip(A,hydrophobic,gly,13.148,2.500,gly,14.961,2.500,8.373,2.500).
active549(A) :- trip(A,small,bulky,18.141,2.500,gly,14.515,2.500,15.938,2.500).
active550(A) :- trip(A,ch,bulky,7.825,2.500,small,16.433,2.500,15.910,2.500).
active551(A) :- trip(A,ala,small,17.404,2.500,polar,15.251,2.500,10.000,2.500).
active552(A) :- trip(A,ch,ch,8.065,2.500,hydrophobic,8.714,2.500,8.986,2.500).
active553(A) :- trip(A,hydrophobic,posch,11.248,2.500,bulkypol,9.221,2.500,14.101,2.500).
active554(A) :- trip(A,hydrophobic,aromaticish,9.238,2.500,bulky,18.141,2.500,10.359,2.500).
active555(A) :- trip(A,hydrophobic,polar,15.008,2.500,gly,17.605,2.500,11.137,2.500).
active556(A) :- trip(A,hydrophobic,polar,5.371,2.500,ch,15.251,2.500,13.293,2.500).
active557(A) :- trip(A,hydrophobic,smallpol,17.956,2.500,small,17.605,2.500,6.834,2.500).
active558(A) :- trip(A,small,small,14.515,2.500,bulky,17.690,2.500,14.638,2.500).
active559(A) :- trip(A,hydrophobic,polar,9.238,2.500,hydrophobic,18.141,2.500,10.359,2.500).
active560(A) :- trip(A,small,bulky,18.141,2.500,polar,18.611,2.500,5.506,2.500).
active561(A) :- trip(A,ch,aromaticish,12.233,2.500,hydrophobic,16.444,2.500,8.986,2.500).
active562(A) :- trip(A,ch,hydrophobic,7.825,2.500,aromaticish,11.488,2.500,10.799,2.500).
active563(A) :- trip(A,ch,polar,17.167,2.500,polar,17.224,2.500,5.588,2.500).
active564(A) :- trip(A,posch,polar,14.101,2.500,gly,10.802,2.500,11.998,2.500).
active565(A) :- trip(A,hydrophobic,polar,13.647,2.500,ch,15.251,2.500,12.233,2.500).
active566(A) :- trip(A,small,bulkypol,7.569,2.500,gly,17.404,2.500,14.851,2.500).
active567(A) :- trip(A,ch,gly,20.460,2.500,polar,17.167,2.500,6.204,2.500).
active568(A) :- trip(A,ala,polar,10.107,2.500,ch,15.251,2.500,11.923,2.500).
active569(A) :- trip(A,small,polar,13.647,2.500,smallpol,17.956,2.500,11.709,2.500).
active570(A) :- trip(A,aromaticish,hydrophobic,10.359,2.500,gly,10.925,2.500,4.495,2.500).
active571(A) :- trip(A,hydrophobic,small,4.495,2.500,ch,6.650,2.500,3.891,2.500).
active572(A) :- trip(A,small,hydrophobic,18.141,2.500,posch,15.251,2.500,10.799,2.500).
active573(A) :- trip(A,polar,gly,15.191,2.500,polar,16.433,2.500,4.850,2.500).
active574(A) :- trip(A,bulkypol,aromaticish,12.233,2.500,small,14.275,2.500,4.689,2.500).
active575(A) :- trip(A,ch,gly,10.925,2.500,polar,8.538,2.500,3.891,2.500).
active576(A) :- trip(A,hydrophobic,bulkypol,7.569,2.500,small,17.605,2.500,10.554,2.500).
active577(A) :- trip(A,ch,small,20.460,2.500,polar,17.224,2.500,3.891,2.500).
active578(A) :- trip(A,hydrophobic,ch,13.662,2.500,small,10.151,2.500,11.311,2.500).
active579(A) :- trip(A,posch,polar,8.065,2.500,gly,8.342,2.500,4.689,2.500).
active580(A) :- trip(A,hydrophobic,bulkypol,18.611,2.500,small,14.515,2.500,12.144,2.500).
active581(A) :- trip(A,ch,val,10.359,2.500,polar,12.209,2.500,15.910,2.500).
active582(A) :- trip(A,hydrophobic,ch,15.008,2.500,ch,15.251,2.500,6.576,2.500).
active583(A) :- trip(A,posch,hydrophobic,10.359,2.500,gly,8.342,2.500,11.448,2.500).
active584(A) :- trip(A,posch,polar,17.224,2.500,hydrophobic,16.444,2.500,7.999,2.500).
active585(A) :- trip(A,small,bulkypol,10.107,2.500,posch,15.251,2.500,11.923,2.500).
active586(A) :- trip(A,hydrophobic,bulky,5.930,2.500,hydrophobic,17.690,2.500,17.745,2.500).
active587(A) :- trip(A,posch,ch,12.233,2.500,small,10.211,2.500,5.689,2.500).
active588(A) :- trip(A,small,aromaticish,9.238,2.500,gly,17.605,2.500,9.513,2.500).
active589(A) :- trip(A,ch,polar,14.101,2.500,hydrophobic,16.444,2.500,13.237,2.500).
active590(A) :- trip(A,ch,polar,17.224,2.500,bulky,16.444,2.500,7.999,2.500).
active591(A) :- trip(A,ch,posch,10.821,2.500,polar,14.101,2.500,5.859,2.500).
active592(A) :- trip(A,ala,polar,5.371,2.500,polar,18.611,2.500,14.925,2.500).
active593(A) :- trip(A,small,polar,17.956,2.500,bulky,17.690,2.500,13.666,2.500).
active594(A) :- trip(A,posch,bulky,10.359,2.500,gly,8.342,2.500,11.448,2.500).
active595(A) :- trip(A,hydrophobic,gly,4.495,2.500,ch,6.650,2.500,3.891,2.500).
active596(A) :- trip(A,ch,polar,11.709,2.500,hydrophobic,16.444,2.500,13.666,2.500).
active597(A) :- trip(A,ch,gly,11.137,2.500,small,8.336,2.500,3.827,2.500).
active598(A) :- trip(A,hydrophobic,polar,11.431,2.500,aromaticish,15.251,2.500,11.488,2.500).
active599(A) :- trip(A,ch,small,5.185,2.500,gly,11.137,2.500,10.224,2.500).
active600(A) :- trip(A,small,gly,17.404,2.500,posch,15.251,2.500,10.000,2.500).
active601(A) :- trip(A,ch,polar,5.859,2.500,hydrophobic,8.714,2.500,13.237,2.500).
active602(A) :- trip(A,hydrophobic,bulkypol,13.647,2.500,aromaticish,15.251,2.500,12.233,2.500).
active603(A) :- trip(A,hydrophobic,polar,18.611,2.500,small,13.148,2.500,8.790,2.500).
active604(A) :- trip(A,ch,polar,17.745,2.500,polar,15.672,2.500,5.346,2.500).
active605(A) :- trip(A,hydrophobic,polar,7.569,2.500,hydrophobic,18.141,2.500,15.278,2.500).
active606(A) :- trip(A,hydrophobic,posch,13.647,2.500,polar,17.956,2.500,11.709,2.500).
active607(A) :- trip(A,small,bulkypol,5.371,2.500,gly,17.605,2.500,15.334,2.500).
active608(A) :- trip(A,small,small,17.404,2.500,polar,17.956,2.500,14.960,2.500).
active609(A) :- trip(A,small,bulky,18.141,2.500,polar,15.251,2.500,10.799,2.500).
active610(A) :- trip(A,posch,ch,12.233,2.500,gly,10.211,2.500,5.689,2.500).
active611(A) :- trip(A,ala,ch,15.008,2.500,hydrophobic,17.690,2.500,7.999,2.500).
active612(A) :- trip(A,small,small,14.515,2.500,smallpol,17.956,2.500,4.850,2.500).
active613(A) :- trip(A,hydrophobic,ch,13.662,2.500,gly,17.199,2.500,9.366,2.500).
active614(A) :- trip(A,ch,ch,11.488,2.500,hydrophobic,7.768,2.500,8.986,2.500).
active615(A) :- trip(A,posch,bulkypol,7.294,2.500,small,10.925,2.500,8.249,2.500).
active616(A) :- trip(A,polar,gly,5.185,2.500,small,8.336,2.500,8.373,2.500).
active617(A) :- trip(A,ch,val,10.359,2.500,small,8.342,2.500,11.448,2.500).
active618(A) :- trip(A,ch,aromaticish,10.821,2.500,small,10.802,2.500,6.153,2.500).
active619(A) :- trip(A,polar,gly,5.185,2.500,gly,11.137,2.500,10.224,2.500).
active620(A) :- trip(A,hydrophobic,polar,11.431,2.500,polar,17.956,2.500,16.433,2.500).
active621(A) :- trip(A,hydrophobic,polar,7.569,2.500,bulky,18.141,2.500,15.278,2.500).
active622(A) :- trip(A,hydrophobic,polar,17.956,2.500,hydrophobic,17.690,2.500,13.666,2.500).
active623(A) :- trip(A,ch,val,10.359,2.500,gly,8.342,2.500,11.448,2.500).
active624(A) :- trip(A,small,polar,7.569,2.500,bulkypol,18.611,2.500,13.690,2.500).
active625(A) :- trip(A,posch,polar,12.233,2.500,small,14.275,2.500,4.689,2.500).
active626(A) :- trip(A,hydrophobic,bulkypol,5.371,2.500,gly,14.515,2.500,14.663,2.500).
active627(A) :- trip(A,posch,small,10.211,2.500,small,10.802,2.500,3.827,2.500).
active628(A) :- trip(A,posch,aromaticish,12.233,2.500,small,10.211,2.500,5.689,2.500).
active629(A) :- trip(A,small,aromaticish,9.238,2.500,gly,17.404,2.500,10.925,2.500).
active630(A) :- trip(A,ch,small,20.460,2.500,hydrophobic,16.444,2.500,7.922,2.500).
active631(A) :- trip(A,posch,aromaticish,8.065,2.500,small,8.342,2.500,4.689,2.500).
active632(A) :- trip(A,small,hydrophobic,5.930,2.500,gly,17.605,2.500,15.225,2.500).
active633(A) :- trip(A,small,polar,11.431,2.500,bulkypol,18.611,2.500,10.409,2.500).
active634(A) :- trip(A,ch,hydrophobic,10.359,2.500,small,8.342,2.500,11.448,2.500).
active635(A) :- trip(A,ch,gly,10.216,2.500,small,11.137,2.500,9.809,2.500).
active636(A) :- trip(A,hydrophobic,ch,13.662,2.500,gly,9.715,2.500,15.191,2.500).
active637(A) :- trip(A,small,posch,13.647,2.500,gly,14.961,2.500,10.802,2.500).
active638(A) :- trip(A,hydrophobic,negch,15.008,2.500,bulky,17.690,2.500,7.999,2.500).
active639(A) :- trip(A,small,hydrophobic,18.141,2.500,gly,14.515,2.500,15.938,2.500).
active640(A) :- trip(A,hydrophobic,posch,9.603,2.500,hydrophobic,17.745,2.500,8.714,2.500).
active641(A) :- trip(A,hydrophobic,bulkypol,10.107,2.500,hydrophobic,17.690,2.500,11.038,2.500).
active642(A) :- trip(A,small,small,17.404,2.500,small,17.605,2.500,13.713,2.500).
active643(A) :- trip(A,hydrophobic,ch,6.650,2.500,aromaticish,10.799,2.500,6.576,2.500).
active644(A) :- trip(A,bulkypol,ch,15.672,2.500,bulky,16.444,2.500,7.768,2.500).
active645(A) :- trip(A,posch,polar,10.821,2.500,bulkypol,14.101,2.500,5.859,2.500).
active646(A) :- trip(A,ch,gly,20.460,2.500,polar,17.224,2.500,3.891,2.500).
active647(A) :- trip(A,hydrophobic,hydrophobic,18.629,2.500,ch,12.352,2.500,10.799,2.500).
active648(A) :- trip(A,small,ch,11.431,2.500,hydrophobic,18.141,2.500,7.825,2.500).
active649(A) :- trip(A,small,small,17.404,2.500,bulkypol,18.611,2.500,6.204,2.500).
active650(A) :- trip(A,hydrophobic,posch,15.251,2.500,small,13.148,2.500,4.689,2.500).
active651(A) :- trip(A,hydrophobic,bulky,18.629,2.500,polar,13.635,2.500,15.910,2.500).
active652(A) :- trip(A,hydrophobic,hydrophobic,18.629,2.500,small,17.199,2.500,4.495,2.500).
active653(A) :- trip(A,hydrophobic,polar,9.238,2.500,aromaticish,15.251,2.500,8.065,2.500).
active654(A) :- trip(A,hydrophobic,polar,10.107,2.500,bulkypol,18.611,2.500,11.714,2.500).
active655(A) :- trip(A,ch,val,7.825,2.500,gly,9.170,2.500,9.577,2.500).
active656(A) :- trip(A,hydrophobic,bulky,18.629,2.500,small,13.635,2.500,15.910,2.500).
active657(A) :- trip(A,hydrophobic,hydrophobic,18.629,2.500,small,9.715,2.500,15.938,2.500).
active658(A) :- trip(A,posch,polar,5.859,2.500,polar,12.209,2.500,17.250,2.500).
active659(A) :- trip(A,hydrophobic,posch,13.647,2.500,small,14.515,2.500,11.941,2.500).
active660(A) :- trip(A,small,bulky,5.930,2.500,gly,17.605,2.500,15.225,2.500).
active661(A) :- trip(A,hydrophobic,small,14.515,2.500,polar,17.956,2.500,4.850,2.500).
active662(A) :- trip(A,posch,ch,8.538,2.500,bulky,8.714,2.500,7.999,2.500).
active663(A) :- trip(A,hydrophobic,polar,17.956,2.500,gly,17.605,2.500,6.834,2.500).
active664(A) :- trip(A,ch,polar,15.672,2.500,aromaticish,12.233,2.500,11.488,2.500).
active665(A) :- trip(A,ch,val,10.359,2.500,small,9.513,2.500,12.641,2.500).
active666(A) :- trip(A,ch,posch,12.233,2.500,small,10.802,2.500,4.766,2.500).
active667(A) :- trip(A,hydrophobic,gly,17.404,2.500,ch,15.251,2.500,10.000,2.500).
active668(A) :- trip(A,small,hydrophobic,18.141,2.500,gly,17.605,2.500,12.641,2.500).
active669(A) :- trip(A,bulkypol,polar,17.745,2.500,polar,15.672,2.500,5.346,2.500).
active670(A) :- trip(A,ch,aromaticish,12.233,2.500,small,11.709,2.500,5.312,2.500).
active671(A) :- trip(A,ch,ch,17.224,2.500,hydrophobic,16.444,2.500,7.999,2.500).
active672(A) :- trip(A,small,posch,9.238,2.500,bulky,17.690,2.500,8.714,2.500).
active673(A) :- trip(A,hydrophobic,negch,13.662,2.500,polar,17.399,2.500,10.409,2.500).
active674(A) :- trip(A,hydrophobic,posch,15.251,2.500,bulky,17.690,2.500,8.986,2.500).
active675(A) :- trip(A,ala,ch,9.238,2.500,bulky,18.141,2.500,10.359,2.500).
active676(A) :- trip(A,small,small,17.956,2.500,bulky,17.690,2.500,13.666,2.500).
active677(A) :- trip(A,small,bulky,18.141,2.500,gly,17.605,2.500,12.641,2.500).
active678(A) :- trip(A,small,aromaticish,9.238,2.500,hydrophobic,18.141,2.500,10.359,2.500).
active679(A) :- trip(A,hydrophobic,polar,13.662,2.500,small,9.715,2.500,15.191,2.500).
active680(A) :- trip(A,hydrophobic,aromaticish,9.238,2.500,gly,17.605,2.500,9.513,2.500).
active681(A) :- trip(A,hydrophobic,polar,15.008,2.500,small,17.605,2.500,11.137,2.500).
active682(A) :- trip(A,hydrophobic,posch,15.251,2.500,polar,17.956,2.500,5.312,2.500).
active683(A) :- trip(A,hydrophobic,gly,15.938,2.500,small,15.910,2.500,4.850,2.500).
active684(A) :- trip(A,ch,aromaticish,8.065,2.500,small,6.153,2.500,4.766,2.500).
active685(A) :- trip(A,ala,polar,10.107,2.500,bulky,18.141,2.500,9.362,2.500).
active686(A) :- trip(A,posch,gly,10.925,2.500,small,8.342,2.500,9.033,2.500).
active687(A) :- trip(A,small,posch,9.238,2.500,hydrophobic,17.690,2.500,8.714,2.500).
active688(A) :- trip(A,ch,small,12.956,2.500,hydrophobic,7.768,2.500,8.921,2.500).
active689(A) :- trip(A,hydrophobic,polar,5.371,2.500,hydrophobic,17.690,2.500,13.237,2.500).
active690(A) :- trip(A,gly,small,8.098,2.500,gly,8.373,2.500,8.555,2.500).
active691(A) :- trip(A,hydrophobic,polar,5.371,2.500,bulky,18.141,2.500,13.485,2.500).
active692(A) :- trip(A,hydrophobic,ch,13.647,2.500,aromaticish,9.238,2.500,10.821,2.500).
active693(A) :- trip(A,hydrophobic,posch,15.251,2.500,small,14.515,2.500,5.841,2.500).
active694(A) :- trip(A,hydrophobic,posch,11.248,2.500,small,9.715,2.500,11.941,2.500).
active695(A) :- trip(A,small,hydrophobic,18.141,2.500,polar,17.956,2.500,15.910,2.500).
active696(A) :- trip(A,ala,polar,5.371,2.500,polar,17.956,2.500,17.250,2.500).
active697(A) :- trip(A,aromaticish,hydrophobic,10.359,2.500,aromaticish,8.065,2.500,10.799,2.500).
active698(A) :- trip(A,small,ch,11.431,2.500,gly,13.148,2.500,11.311,2.500).
active699(A) :- trip(A,small,polar,10.107,2.500,bulkypol,18.611,2.500,11.714,2.500).
active700(A) :- trip(A,ala,ch,9.238,2.500,aromaticish,15.251,2.500,8.065,2.500).
active701(A) :- trip(A,bulkypol,small,14.275,2.500,bulky,16.444,2.500,11.309,2.500).
active702(A) :- trip(A,bulkypol,posch,10.821,2.500,polar,14.101,2.500,5.859,2.500).
active703(A) :- trip(A,hydrophobic,polar,15.008,2.500,bulky,17.690,2.500,7.999,2.500).
active704(A) :- trip(A,ch,posch,12.233,2.500,small,11.709,2.500,5.312,2.500).
active705(A) :- trip(A,hydrophobic,polar,11.431,2.500,bulkypol,18.611,2.500,10.409,2.500).
active706(A) :- trip(A,aromaticish,bulky,10.359,2.500,aromaticish,8.065,2.500,10.799,2.500).
active707(A) :- trip(A,hydrophobic,ch,15.008,2.500,polar,17.956,2.500,11.501,2.500).
active708(A) :- trip(A,hydrophobic,hydrophobic,18.141,2.500,gly,14.961,2.500,9.577,2.500).
active709(A) :- trip(A,small,ch,13.647,2.500,gly,14.515,2.500,11.941,2.500).
active710(A) :- trip(A,bulkypol,bulkypol,14.101,2.500,small,14.275,2.500,11.844,2.500).
active711(A) :- trip(A,ala,polar,15.251,2.500,hydrophobic,17.690,2.500,8.986,2.500).
active712(A) :- trip(A,small,aromaticish,9.238,2.500,gly,14.515,2.500,10.833,2.500).
active713(A) :- trip(A,ch,gly,10.925,2.500,bulky,8.714,2.500,7.922,2.500).
active714(A) :- trip(A,hydrophobic,gly,14.515,2.500,bulky,17.690,2.500,14.638,2.500).
active715(A) :- trip(A,posch,gly,10.925,2.500,small,10.833,2.500,14.068,2.500).
active716(A) :- trip(A,ch,polar,7.294,2.500,gly,10.833,2.500,14.200,2.500).
active717(A) :- trip(A,small,bulkypol,13.647,2.500,ch,15.251,2.500,12.233,2.500).
active718(A) :- trip(A,hydrophobic,polar,5.371,2.500,polar,18.611,2.500,14.925,2.500).
active719(A) :- trip(A,hydrophobic,polar,9.238,2.500,small,17.605,2.500,9.513,2.500).
active720(A) :- trip(A,small,bulky,18.141,2.500,small,17.956,2.500,15.910,2.500).
active721(A) :- trip(A,ch,polar,5.260,2.500,gly,10.925,2.500,9.366,2.500).
active722(A) :- trip(A,hydrophobic,polar,5.506,2.500,gly,15.938,2.500,12.144,2.500).
active723(A) :- trip(A,ala,polar,11.431,2.500,aromaticish,15.251,2.500,11.488,2.500).
active724(A) :- trip(A,hydrophobic,hydrophobic,18.141,2.500,ch,15.251,2.500,10.799,2.500).
active725(A) :- trip(A,hydrophobic,small,17.404,2.500,posch,15.251,2.500,10.000,2.500).
active726(A) :- trip(A,posch,polar,10.821,2.500,gly,11.941,2.500,10.833,2.500).
active727(A) :- trip(A,hydrophobic,bulkypol,10.107,2.500,aromaticish,15.251,2.500,11.923,2.500).
active728(A) :- trip(A,posch,gly,10.833,2.500,small,9.513,2.500,9.809,2.500).
active729(A) :- trip(A,posch,bulky,10.359,2.500,small,10.925,2.500,4.495,2.500).
active730(A) :- trip(A,hydrophobic,polar,13.647,2.500,polar,17.956,2.500,11.709,2.500).
active731(A) :- trip(A,polar,gly,10.925,2.500,polar,12.209,2.500,14.960,2.500).
active732(A) :- trip(A,hydrophobic,polar,10.107,2.500,hydrophobic,18.141,2.500,9.362,2.500).
active733(A) :- trip(A,hydrophobic,bulky,18.141,2.500,small,14.515,2.500,15.938,2.500).
active734(A) :- trip(A,hydrophobic,bulkypol,7.569,2.500,small,17.404,2.500,14.851,2.500).
active735(A) :- trip(A,ch,bulkypol,5.859,2.500,polar,12.209,2.500,17.250,2.500).
active736(A) :- trip(A,posch,ch,10.821,2.500,small,14.275,2.500,8.342,2.500).
active737(A) :- trip(A,hydrophobic,polar,10.107,2.500,polar,17.956,2.500,16.760,2.500).
active738(A) :- trip(A,hydrophobic,ch,9.238,2.500,polar,17.956,2.500,12.209,2.500).
active739(A) :- trip(A,small,ch,9.238,2.500,polar,18.611,2.500,10.095,2.500).
active740(A) :- trip(A,posch,ch,8.065,2.500,bulky,8.714,2.500,8.986,2.500).
active741(A) :- trip(A,hydrophobic,aromaticish,9.603,2.500,small,17.199,2.500,10.925,2.500).
active742(A) :- trip(A,small,polar,18.611,2.500,gly,13.148,2.500,8.790,2.500).
active743(A) :- trip(A,ch,polar,17.745,2.500,bulky,16.444,2.500,11.038,2.500).
active744(A) :- trip(A,small,polar,5.371,2.500,bulkypol,18.611,2.500,14.925,2.500).
active745(A) :- trip(A,hydrophobic,small,17.404,2.500,polar,17.956,2.500,14.960,2.500).
active746(A) :- trip(A,small,ch,13.647,2.500,small,17.956,2.500,11.709,2.500).
active747(A) :- trip(A,hydrophobic,polar,9.238,2.500,small,17.956,2.500,12.209,2.500).
active748(A) :- trip(A,bulkypol,ch,17.224,2.500,hydrophobic,16.444,2.500,7.999,2.500).
active749(A) :- trip(A,small,bulkypol,10.107,2.500,bulky,18.141,2.500,9.362,2.500).
active750(A) :- trip(A,hydrophobic,posch,11.248,2.500,small,10.151,2.500,14.275,2.500).
active751(A) :- trip(A,ala,polar,11.431,2.500,polar,18.611,2.500,10.409,2.500).
active752(A) :- trip(A,posch,polar,7.294,2.500,gly,10.925,2.500,8.249,2.500).
active753(A) :- trip(A,val,gly,15.938,2.500,small,15.910,2.500,4.850,2.500).
active754(A) :- trip(A,hydrophobic,polar,5.371,2.500,gly,14.515,2.500,14.663,2.500).
active755(A) :- trip(A,posch,small,20.460,2.500,polar,17.167,2.500,6.204,2.500).
active756(A) :- trip(A,small,polar,17.956,2.500,gly,14.961,2.500,8.555,2.500).
active757(A) :- trip(A,hydrophobic,ch,13.662,2.500,aromaticish,12.352,2.500,11.488,2.500).
active758(A) :- trip(A,hydrophobic,bulky,18.629,2.500,gly,10.151,2.500,11.448,2.500).
active759(A) :- trip(A,posch,polar,5.260,2.500,small,10.833,2.500,15.191,2.500).
active760(A) :- trip(A,hydrophobic,negch,11.431,2.500,hydrophobic,17.690,2.500,7.768,2.500).
active761(A) :- trip(A,small,ch,15.008,2.500,gly,17.605,2.500,11.137,2.500).
active762(A) :- trip(A,aromaticish,polar,8.065,2.500,gly,10.833,2.500,5.841,2.500).
active763(A) :- trip(A,hydrophobic,hydrophobic,18.141,2.500,aromaticish,15.251,2.500,10.799,2.500).
active764(A) :- trip(A,hydrophobic,gly,4.495,2.500,negch,6.650,2.500,3.891,2.500).
active765(A) :- trip(A,polar,gly,15.191,2.500,bulky,7.768,2.500,14.638,2.500).
active766(A) :- trip(A,ch,ch,15.672,2.500,hydrophobic,16.444,2.500,7.768,2.500).
active767(A) :- trip(A,posch,posch,12.233,2.500,small,10.211,2.500,5.689,2.500).
active768(A) :- trip(A,bulkypol,small,14.275,2.500,hydrophobic,16.444,2.500,11.309,2.500).
active769(A) :- trip(A,ch,posch,12.233,2.500,small,11.941,2.500,5.841,2.500).
active770(A) :- trip(A,posch,gly,11.941,2.500,small,10.211,2.500,9.809,2.500).
active771(A) :- trip(A,ch,hydrophobic,7.825,2.500,small,16.433,2.500,15.910,2.500).
active772(A) :- trip(A,posch,polar,5.859,2.500,small,9.513,2.500,15.334,2.500).
active773(A) :- trip(A,posch,ch,8.538,2.500,polar,8.065,2.500,6.576,2.500).
active774(A) :- trip(A,hydrophobic,hydrophobic,18.629,2.500,gly,15.225,2.500,12.641,2.500).
active775(A) :- trip(A,hydrophobic,aromaticish,9.603,2.500,bulky,18.629,2.500,10.359,2.500).
active776(A) :- trip(A,polar,val,7.825,2.500,aromaticish,11.488,2.500,10.799,2.500).
active777(A) :- trip(A,ch,aromaticish,12.233,2.500,small,11.941,2.500,5.841,2.500).
active778(A) :- trip(A,hydrophobic,ch,13.647,2.500,small,14.961,2.500,10.802,2.500).
active779(A) :- trip(A,small,hydrophobic,18.141,2.500,ch,15.008,2.500,6.650,2.500).
active780(A) :- trip(A,hydrophobic,polar,15.251,2.500,gly,14.961,2.500,4.766,2.500).
active781(A) :- trip(A,posch,polar,8.065,2.500,polar,12.209,2.500,5.312,2.500).
active782(A) :- trip(A,ch,bulkypol,14.101,2.500,gly,10.802,2.500,11.998,2.500).
active783(A) :- trip(A,small,ch,13.647,2.500,aromaticish,15.251,2.500,12.233,2.500).
active784(A) :- trip(A,small,bulkypol,13.647,2.500,ch,11.431,2.500,15.672,2.500).
active785(A) :- trip(A,small,posch,13.647,2.500,small,17.956,2.500,11.709,2.500).
active786(A) :- trip(A,aromaticish,ch,8.538,2.500,small,8.342,2.500,5.185,2.500).
active787(A) :- trip(A,ch,gly,11.137,2.500,bulky,7.999,2.500,8.921,2.500).
active788(A) :- trip(A,ch,polar,10.095,2.500,gly,10.833,2.500,12.144,2.500).
active789(A) :- trip(A,ch,ch,8.538,2.500,hydrophobic,8.714,2.500,7.999,2.500).
active790(A) :- trip(A,hydrophobic,gly,13.148,2.500,hydrophobic,17.690,2.500,11.309,2.500).
active791(A) :- trip(A,ala,posch,9.238,2.500,bulky,18.141,2.500,10.359,2.500).
active792(A) :- trip(A,small,posch,13.647,2.500,small,14.515,2.500,11.941,2.500).
active793(A) :- trip(A,posch,polar,8.538,2.500,gly,9.513,2.500,11.137,2.500).
active794(A) :- trip(A,ch,hydrophobic,7.825,2.500,hydrophobic,7.768,2.500,4.540,2.500).
active795(A) :- trip(A,small,hydrophobic,5.930,2.500,his,15.251,2.500,12.352,2.500).
active796(A) :- trip(A,ala,aromaticish,9.238,2.500,small,13.148,2.500,8.342,2.500).
active797(A) :- trip(A,posch,smallpol,12.209,2.500,hydrophobic,8.714,2.500,13.666,2.500).
active798(A) :- trip(A,hydrophobic,negch,15.008,2.500,aromaticish,15.251,2.500,6.576,2.500).
active799(A) :- trip(A,posch,small,10.925,2.500,polar,8.538,2.500,3.891,2.500).
active800(A) :- trip(A,polar,val,7.825,2.500,gly,11.311,2.500,11.448,2.500).
active801(A) :- trip(A,posch,polar,14.101,2.500,small,11.941,2.500,14.663,2.500).
active802(A) :- trip(A,hydrophobic,his,9.603,2.500,aromaticish,12.352,2.500,8.065,2.500).
active803(A) :- trip(A,small,thr,10.107,2.500,small,17.404,2.500,8.249,2.500).
active804(A) :- trip(A,small,polar,18.611,2.500,gly,14.961,2.500,6.501,2.500).
active805(A) :- trip(A,small,gly,17.404,2.500,polar,17.956,2.500,14.960,2.500).
active806(A) :- trip(A,posch,polar,8.538,2.500,small,9.513,2.500,11.137,2.500).
active807(A) :- trip(A,ch,posch,10.821,2.500,small,10.211,2.500,9.513,2.500).
active808(A) :- trip(A,hydrophobic,bulky,5.930,2.500,polar,18.611,2.500,17.399,2.500).
active809(A) :- trip(A,small,bulky,5.930,2.500,his,15.251,2.500,12.352,2.500).
active810(A) :- trip(A,hydrophobic,posch,9.238,2.500,small,17.404,2.500,10.925,2.500).
active811(A) :- trip(A,polar,gly,10.216,2.500,gly,8.336,2.500,9.769,2.500).
active812(A) :- trip(A,ch,bulkypol,14.101,2.500,hydrophobic,16.444,2.500,13.237,2.500).
active813(A) :- trip(A,ch,polar,10.821,2.500,polar,14.101,2.500,5.859,2.500).
active814(A) :- trip(A,small,ch,11.431,2.500,ch,15.251,2.500,11.488,2.500).
active815(A) :- trip(A,small,aromaticish,9.238,2.500,bulky,18.141,2.500,10.359,2.500).
active816(A) :- trip(A,ala,ch,15.251,2.500,hydrophobic,17.690,2.500,8.986,2.500).
active817(A) :- trip(A,hydrophobic,hydrophobic,5.930,2.500,glu,11.431,2.500,13.662,2.500).
active818(A) :- trip(A,his,gly,10.925,2.500,hydrophobic,8.714,2.500,7.922,2.500).
active819(A) :- trip(A,ala,polar,11.431,2.500,bulky,18.141,2.500,7.825,2.500).
active820(A) :- trip(A,small,bulky,5.930,2.500,bulky,17.690,2.500,17.745,2.500).
active821(A) :- trip(A,hydrophobic,hydrophobic,18.629,2.500,aromaticish,12.352,2.500,10.799,2.500).
active822(A) :- trip(A,ch,polar,5.859,2.500,gly,10.833,2.500,14.663,2.500).
active823(A) :- trip(A,ala,polar,15.251,2.500,bulky,17.690,2.500,8.986,2.500).
active824(A) :- trip(A,hydrophobic,negch,11.431,2.500,hydrophobic,18.141,2.500,7.825,2.500).
active825(A) :- trip(A,ch,polar,11.501,2.500,hydrophobic,7.999,2.500,13.666,2.500).
active826(A) :- trip(A,ch,aromaticish,11.488,2.500,small,9.170,2.500,4.766,2.500).
active827(A) :- trip(A,small,polar,18.611,2.500,hydrophobic,17.690,2.500,4.620,2.500).
active828(A) :- trip(A,polar,gly,10.833,2.500,gly,9.513,2.500,9.809,2.500).
active829(A) :- trip(A,ch,hydrophobic,19.787,2.500,polar,17.224,2.500,6.650,2.500).
active830(A) :- trip(A,small,ch,15.008,2.500,small,17.605,2.500,11.137,2.500).
active831(A) :- trip(A,aromaticish,polar,5.859,2.500,small,12.209,2.500,17.250,2.500).
active832(A) :- trip(A,posch,polar,7.294,2.500,small,10.925,2.500,8.249,2.500).
active833(A) :- trip(A,hydrophobic,gly,13.148,2.500,gly,14.515,2.500,5.310,2.500).
active834(A) :- trip(A,ch,polar,5.859,2.500,bulky,8.714,2.500,13.237,2.500).
active835(A) :- trip(A,posch,small,11.941,2.500,small,11.709,2.500,4.850,2.500).
active836(A) :- trip(A,ch,polar,11.501,2.500,bulky,7.999,2.500,13.666,2.500).
active837(A) :- trip(A,hydrophobic,ch,15.251,2.500,gly,13.148,2.500,4.689,2.500).
active838(A) :- trip(A,posch,bulkypol,10.095,2.500,small,9.513,2.500,8.432,2.500).
active839(A) :- trip(A,ch,bulkypol,14.101,2.500,aromaticish,12.233,2.500,13.293,2.500).
active840(A) :- trip(A,small,bulky,18.141,2.500,posch,15.251,2.500,10.799,2.500).
active841(A) :- trip(A,hydrophobic,posch,13.647,2.500,polar,15.251,2.500,12.233,2.500).
active842(A) :- trip(A,posch,val,10.359,2.500,small,9.513,2.500,12.641,2.500).
active843(A) :- trip(A,ala,hydrophobic,5.930,2.500,ch,15.251,2.500,12.352,2.500).
active844(A) :- trip(A,hydrophobic,ch,9.603,2.500,polar,17.399,2.500,10.095,2.500).
active845(A) :- trip(A,val,small,15.938,2.500,small,15.910,2.500,4.850,2.500).
active846(A) :- trip(A,posch,polar,7.294,2.500,small,10.833,2.500,14.200,2.500).
active847(A) :- trip(A,ch,aromaticish,8.065,2.500,small,9.513,2.500,5.689,2.500).
active848(A) :- trip(A,small,gly,17.404,2.500,bulkypol,18.611,2.500,6.204,2.500).
active849(A) :- trip(A,posch,gly,8.342,2.500,small,12.209,2.500,8.098,2.500).
active850(A) :- trip(A,val,small,15.938,2.500,polar,15.910,2.500,4.850,2.500).
active851(A) :- trip(A,hydrophobic,his,9.238,2.500,polar,17.956,2.500,12.209,2.500).
active852(A) :- trip(A,ch,bulky,7.825,2.500,small,12.956,2.500,12.641,2.500).
active853(A) :- trip(A,ch,aromaticish,8.065,2.500,small,10.833,2.500,5.841,2.500).
active854(A) :- trip(A,gly,ser,8.098,2.500,gly,8.373,2.500,8.555,2.500).
active855(A) :- trip(A,ch,hydrophobic,10.359,2.500,small,10.833,2.500,15.938,2.500).
active856(A) :- trip(A,hydrophobic,hydrophobic,5.930,2.500,ser,17.956,2.500,13.635,2.500).
active857(A) :- trip(A,small,polar,13.647,2.500,aromaticish,15.251,2.500,12.233,2.500).
active858(A) :- trip(A,hydrophobic,aromaticish,9.238,2.500,small,17.404,2.500,10.925,2.500).
active859(A) :- trip(A,small,gly,17.605,2.500,hydrophobic,17.690,2.500,8.921,2.500).
active860(A) :- trip(A,ch,val,7.825,2.500,small,11.311,2.500,11.448,2.500).
active861(A) :- trip(A,ch,aromaticish,11.488,2.500,small,12.956,2.500,5.689,2.500).
active862(A) :- trip(A,bulkypol,polar,17.167,2.500,polar,17.224,2.500,5.588,2.500).
active863(A) :- trip(A,bulkypol,aromaticish,10.821,2.500,polar,14.101,2.500,5.859,2.500).
active864(A) :- trip(A,ala,polar,10.107,2.500,hydrophobic,17.690,2.500,11.038,2.500).
active865(A) :- trip(A,ch,aromaticish,10.821,2.500,hydrophobic,16.444,2.500,8.714,2.500).
active866(A) :- trip(A,posch,aromaticish,8.065,2.500,small,12.209,2.500,5.312,2.500).
active867(A) :- trip(A,ch,aromaticish,11.488,2.500,small,11.311,2.500,4.689,2.500).
active868(A) :- trip(A,polar,gly,15.191,2.500,smallpol,16.433,2.500,4.850,2.500).
active869(A) :- trip(A,posch,polar,15.672,2.500,aromaticish,12.233,2.500,11.488,2.500).
active870(A) :- trip(A,bulkypol,polar,17.167,2.500,hydrophobic,16.444,2.500,4.620,2.500).
active871(A) :- trip(A,ch,small,11.311,2.500,hydrophobic,7.768,2.500,11.309,2.500).
active872(A) :- trip(A,posch,gly,8.342,2.500,small,9.513,2.500,10.224,2.500).
active873(A) :- trip(A,hydrophobic,gly,15.938,2.500,small,9.577,2.500,9.769,2.500).
active874(A) :- trip(A,small,bulkypol,10.107,2.500,hydrophobic,18.141,2.500,9.362,2.500).
active875(A) :- trip(A,ch,hydrophobic,7.825,2.500,val,7.768,2.500,4.540,2.500).
active876(A) :- trip(A,hydrophobic,ch,15.251,2.500,gly,14.961,2.500,4.766,2.500).
active877(A) :- trip(A,ala,polar,11.431,2.500,gly,14.961,2.500,9.170,2.500).
active878(A) :- trip(A,posch,polar,10.095,2.500,small,10.833,2.500,12.144,2.500).
active879(A) :- trip(A,ch,smallpol,12.209,2.500,bulky,8.714,2.500,13.666,2.500).
active880(A) :- trip(A,ch,aromaticish,8.065,2.500,hydrophobic,8.714,2.500,8.986,2.500).
active881(A) :- trip(A,bulkypol,polar,14.101,2.500,small,14.275,2.500,11.844,2.500).
active882(A) :- trip(A,ala,polar,9.238,2.500,polar,18.611,2.500,10.095,2.500).
active883(A) :- trip(A,hydrophobic,bulkypol,10.107,2.500,small,17.605,2.500,15.404,2.500).
active884(A) :- trip(A,small,ch,13.647,2.500,ch,15.251,2.500,12.233,2.500).
active885(A) :- trip(A,hydrophobic,negch,13.868,2.500,gly,10.151,2.500,5.185,2.500).
active886(A) :- trip(A,bulkypol,small,11.941,2.500,gly,10.802,2.500,9.769,2.500).
active887(A) :- trip(A,hydrophobic,aromaticish,9.238,2.500,smallpol,17.956,2.500,12.209,2.500).
active888(A) :- trip(A,small,hydrophobic,18.141,2.500,small,13.148,2.500,11.448,2.500).
active889(A) :- trip(A,posch,ch,12.233,2.500,small,10.802,2.500,4.766,2.500).
active890(A) :- trip(A,hydrophobic,aromaticish,15.251,2.500,gly,14.515,2.500,5.841,2.500).
active891(A) :- trip(A,hydrophobic,polar,7.569,2.500,bulky,17.690,2.500,13.474,2.500).
active892(A) :- trip(A,ala,small,14.961,2.500,hydrophobic,17.690,2.500,6.155,2.500).
active893(A) :- trip(A,ch,small,11.311,2.500,bulky,7.768,2.500,11.309,2.500).
active894(A) :- trip(A,bulkypol,negch,15.672,2.500,bulky,16.444,2.500,7.768,2.500).
active895(A) :- trip(A,posch,val,10.359,2.500,gly,8.342,2.500,11.448,2.500).
active896(A) :- trip(A,hydrophobic,polar,5.371,2.500,ch,15.008,2.500,11.897,2.500).
active897(A) :- trip(A,posch,polar,5.859,2.500,bulky,10.359,2.500,13.485,2.500).
active898(A) :- trip(A,hydrophobic,ch,13.647,2.500,small,14.515,2.500,11.941,2.500).
active899(A) :- trip(A,posch,polar,10.821,2.500,polar,12.233,2.500,8.065,2.500).
active900(A) :- trip(A,hydrophobic,bulkypol,7.569,2.500,bulky,18.141,2.500,15.278,2.500).
active901(A) :- trip(A,posch,small,10.925,2.500,ch,8.538,2.500,3.891,2.500).
active902(A) :- trip(A,hydrophobic,bulky,5.930,2.500,small,17.605,2.500,15.225,2.500).
active903(A) :- trip(A,hydrophobic,polar,10.107,2.500,aromaticish,15.251,2.500,11.923,2.500).
active904(A) :- trip(A,hydrophobic,posch,15.251,2.500,small,17.956,2.500,5.312,2.500).
active905(A) :- trip(A,posch,small,20.460,2.500,polar,17.224,2.500,3.891,2.500).
active906(A) :- trip(A,posch,polar,17.745,2.500,bulky,16.444,2.500,11.038,2.500).
active907(A) :- trip(A,polar,val,10.359,2.500,gly,9.513,2.500,12.641,2.500).
active908(A) :- trip(A,ala,polar,11.431,2.500,gly,13.148,2.500,11.311,2.500).
active909(A) :- trip(A,hydrophobic,ch,13.868,2.500,gly,9.715,2.500,10.216,2.500).
active910(A) :- trip(A,polar,gly,10.216,2.500,gly,11.137,2.500,9.809,2.500).
active911(A) :- trip(A,small,aromaticish,9.238,2.500,polar,17.956,2.500,12.209,2.500).
active912(A) :- trip(A,posch,small,10.833,2.500,hydrophobic,8.714,2.500,14.638,2.500).
active913(A) :- trip(A,posch,polar,7.294,2.500,polar,12.209,2.500,16.760,2.500).
active914(A) :- trip(A,ch,ch,8.538,2.500,gly,8.342,2.500,5.185,2.500).
active915(A) :- trip(A,ch,gly,6.153,2.500,hydrophobic,8.714,2.500,6.155,2.500).
active916(A) :- trip(A,bulkypol,polar,17.745,2.500,bulky,16.444,2.500,11.038,2.500).
active917(A) :- trip(A,ala,polar,7.569,2.500,polar,18.611,2.500,13.690,2.500).
active918(A) :- trip(A,ch,hydrophobic,7.825,2.500,gly,11.311,2.500,11.448,2.500).
active919(A) :- trip(A,small,gly,17.404,2.500,gly,14.961,2.500,10.772,2.500).
active920(A) :- trip(A,small,ch,9.238,2.500,gly,14.515,2.500,10.833,2.500).
active921(A) :- trip(A,ch,bulky,10.359,2.500,gly,9.513,2.500,12.641,2.500).
active922(A) :- trip(A,ch,polar,15.672,2.500,hydrophobic,16.444,2.500,7.768,2.500).
active923(A) :- trip(A,hydrophobic,gly,14.515,2.500,gly,17.605,2.500,9.809,2.500).
active924(A) :- trip(A,small,posch,13.647,2.500,polar,17.956,2.500,11.709,2.500).
active925(A) :- trip(A,posch,bulky,10.359,2.500,gly,9.513,2.500,12.641,2.500).
active926(A) :- trip(A,ch,aromaticish,6.576,2.500,small,8.336,2.500,4.766,2.500).
active927(A) :- trip(A,hydrophobic,bulkypol,5.371,2.500,polar,17.956,2.500,17.250,2.500).
active928(A) :- trip(A,posch,ch,12.233,2.500,small,11.709,2.500,5.312,2.500).
active929(A) :- trip(A,ch,gly,8.336,2.500,bulky,7.999,2.500,6.155,2.500).
active930(A) :- trip(A,hydrophobic,ch,15.251,2.500,gly,14.515,2.500,5.841,2.500).
active931(A) :- trip(A,hydrophobic,posch,15.251,2.500,small,17.605,2.500,5.689,2.500).
active932(A) :- trip(A,small,polar,18.611,2.500,small,17.605,2.500,8.432,2.500).
active933(A) :- trip(A,small,gly,17.404,2.500,gly,13.148,2.500,9.033,2.500).
active934(A) :- trip(A,small,posch,9.238,2.500,hydrophobic,18.141,2.500,10.359,2.500).
active935(A) :- trip(A,posch,polar,5.859,2.500,small,10.833,2.500,14.663,2.500).
active936(A) :- trip(A,ch,small,11.941,2.500,hydrophobic,16.444,2.500,14.638,2.500).
active937(A) :- trip(A,ch,bulkypol,14.101,2.500,small,11.941,2.500,14.663,2.500).
active938(A) :- trip(A,ch,val,7.825,2.500,hydrophobic,7.768,2.500,4.540,2.500).
active939(A) :- trip(A,hydrophobic,gly,14.961,2.500,bulky,17.690,2.500,6.155,2.500).
active940(A) :- trip(A,ala,small,17.404,2.500,aromaticish,15.251,2.500,10.000,2.500).
active941(A) :- trip(A,small,gly,17.404,2.500,small,14.961,2.500,10.772,2.500).
active942(A) :- trip(A,hydrophobic,ch,9.238,2.500,smallpol,17.956,2.500,12.209,2.500).
active943(A) :- trip(A,posch,posch,10.821,2.500,polar,14.101,2.500,5.859,2.500).
active944(A) :- trip(A,small,posch,13.647,2.500,gly,14.515,2.500,11.941,2.500).
active945(A) :- trip(A,his,polar,10.095,2.500,polar,12.209,2.500,11.055,2.500).
active946(A) :- trip(A,hydrophobic,aromaticish,9.238,2.500,negch,15.008,2.500,8.538,2.500).
active947(A) :- trip(A,small,thr,7.569,2.500,polar,17.956,2.500,10.805,2.500).
active948(A) :- trip(A,small,small,17.404,2.500,negch,15.008,2.500,3.891,2.500).
active949(A) :- trip(A,hydrophobic,ch,6.650,2.500,ch,10.799,2.500,6.576,2.500).
active950(A) :- trip(A,hydrophobic,posch,9.238,2.500,gly,13.148,2.500,8.342,2.500).
active951(A) :- trip(A,hydrophobic,small,13.148,2.500,polar,17.956,2.500,8.098,2.500).
active952(A) :- trip(A,ch,polar,5.859,2.500,polar,12.209,2.500,17.250,2.500).
active953(A) :- trip(A,gly,smallpol,8.098,2.500,gly,10.224,2.500,6.834,2.500).
active954(A) :- trip(A,small,bulky,18.141,2.500,ch,15.008,2.500,6.650,2.500).
active955(A) :- trip(A,ala,hydrophobic,5.930,2.500,gly,14.961,2.500,13.513,2.500).
active956(A) :- trip(A,small,polar,11.431,2.500,ch,15.251,2.500,11.488,2.500).
active957(A) :- trip(A,hydrophobic,small,15.938,2.500,gly,9.577,2.500,9.769,2.500).
active958(A) :- trip(A,ch,ch,8.951,2.500,gly,11.311,2.500,5.185,2.500).
active959(A) :- trip(A,posch,ch,10.821,2.500,gly,10.802,2.500,6.153,2.500).
active960(A) :- trip(A,posch,small,9.513,2.500,small,6.153,2.500,3.827,2.500).
active961(A) :- trip(A,posch,polar,14.101,2.500,small,14.275,2.500,11.844,2.500).
active962(A) :- trip(A,small,gly,17.605,2.500,bulky,17.690,2.500,8.921,2.500).
active963(A) :- trip(A,ch,small,11.137,2.500,small,8.336,2.500,3.827,2.500).
active964(A) :- trip(A,hydrophobic,aromaticish,9.603,2.500,bulky,17.745,2.500,8.714,2.500).
active965(A) :- trip(A,hydrophobic,small,13.148,2.500,hydrophobic,17.690,2.500,11.309,2.500).
active966(A) :- trip(A,hydrophobic,posch,9.238,2.500,polar,17.956,2.500,12.209,2.500).
active967(A) :- trip(A,posch,polar,8.065,2.500,gly,10.833,2.500,5.841,2.500).
active968(A) :- trip(A,ch,aromaticish,8.065,2.500,bulky,8.714,2.500,8.986,2.500).
active969(A) :- trip(A,ch,ch,10.821,2.500,polar,14.101,2.500,5.859,2.500).
active970(A) :- trip(A,small,polar,13.647,2.500,ch,11.431,2.500,15.672,2.500).
active971(A) :- trip(A,small,gly,17.404,2.500,bulky,17.690,2.500,7.922,2.500).
active972(A) :- trip(A,ch,gly,9.366,2.500,small,9.170,2.500,10.772,2.500).
active973(A) :- trip(A,ala,ch,9.238,2.500,hydrophobic,18.141,2.500,10.359,2.500).
active974(A) :- trip(A,ch,gly,9.366,2.500,small,11.311,2.500,9.033,2.500).
active975(A) :- trip(A,posch,val,10.359,2.500,small,8.342,2.500,11.448,2.500).
active976(A) :- trip(A,posch,ch,10.821,2.500,small,11.941,2.500,10.833,2.500).
active977(A) :- trip(A,ch,posch,10.821,2.500,small,10.802,2.500,6.153,2.500).
active978(A) :- trip(A,small,hydrophobic,5.930,2.500,polar,18.611,2.500,17.399,2.500).
active979(A) :- trip(A,posch,small,11.941,2.500,gly,10.211,2.500,9.809,2.500).
active980(A) :- trip(A,posch,small,10.925,2.500,aromaticish,8.065,2.500,10.000,2.500).
active981(A) :- trip(A,posch,gly,10.925,2.500,small,12.209,2.500,14.960,2.500).
active982(A) :- trip(A,aromaticish,polar,7.294,2.500,polar,12.209,2.500,16.760,2.500).
active983(A) :- trip(A,hydrophobic,small,17.404,2.500,bulkypol,18.611,2.500,6.204,2.500).
active984(A) :- trip(A,polar,gly,9.366,2.500,ch,8.951,2.500,3.891,2.500).
active985(A) :- trip(A,hydrophobic,aromaticish,9.603,2.500,hydrophobic,18.629,2.500,10.359,2.500).
active986(A) :- trip(A,polar,gly,11.941,2.500,gly,10.211,2.500,9.809,2.500).
active987(A) :- trip(A,ala,polar,9.238,2.500,small,17.956,2.500,12.209,2.500).
active988(A) :- trip(A,ala,polar,10.107,2.500,bulky,17.690,2.500,11.038,2.500).
active989(A) :- trip(A,posch,small,10.833,2.500,bulky,8.714,2.500,14.638,2.500).
active990(A) :- trip(A,hydrophobic,polar,18.611,2.500,small,14.515,2.500,12.144,2.500).
active991(A) :- trip(A,bulkypol,polar,15.672,2.500,hydrophobic,16.444,2.500,7.768,2.500).
active992(A) :- trip(A,hydrophobic,polar,10.107,2.500,posch,15.251,2.500,11.923,2.500).
active993(A) :- trip(A,hydrophobic,polar,11.431,2.500,hydrophobic,17.690,2.500,7.768,2.500).
active994(A) :- trip(A,ala,ch,15.008,2.500,bulky,17.690,2.500,7.999,2.500).
active995(A) :- trip(A,ch,bulkypol,7.294,2.500,polar,8.538,2.500,7.627,2.500).
active996(A) :- trip(A,hydrophobic,gly,11.448,2.500,gly,15.938,2.500,5.310,2.500).
active997(A) :- trip(A,hydrophobic,gly,13.148,2.500,gly,17.605,2.500,10.224,2.500).
active998(A) :- trip(A,bulkypol,ch,10.821,2.500,gly,10.211,2.500,9.513,2.500).
active999(A) :- trip(A,ch,aromaticish,12.233,2.500,bulky,16.444,2.500,8.986,2.500).
active1000(A) :- trip(A,small,thr,7.569,2.500,polar,18.611,2.500,13.690,2.500).