Morphase returns the following CPL program:
primitive apply_f_oligo ==
\X => skolem @ ("f_oligo", X);
primitive mk_Oligo_17 ==
\_79_17 & (#ACE_STS:\_77_17,...) =>
{(let \_76_17 == StsKey( _154_17, _155_17 ) in
(let \_68_17 == StsKey( N_17, I_17 ) in
(#key:apply_f_oligo @ (S1_17), #STS2:<_76_17>, #sequence:<S1_17>, #STS1:<_68_17>)))
| \_78_17 & (#id:\_155_17, #name:\_154_17, #oligo2:\S1_17,...)<-_77_17,
\_70_17 & (#id:\I_17, #name:\N_17, #oligo1:S1_17,...)<-_77_17};
primitive mk_Oligo_18 ==
\_71_18 & (#ACE_STS:\_69_18,...) =>
{(let \_68_18 == StsKey( N_18, I_18 ) in
(#key:apply_f_oligo @ (S1_18), #sequence:<S1_18>, #STS1:<_68_18>, #STS2:<>))
| \_70_18 & (#id:\I_18, #name:\N_18, #oligo1:\S1_18,...)<-_69_18}
{+} (mk_Oligo_17 @ _71_18);
primitive mk_Oligo_16 ==
\_79_16 & (#ACE_STS:\_77_16,...) =>
{(let \_76_16 == StsKey( N_16, I_16 ) in
(#key:apply_f_oligo @ (S2_16), #sequence:<S2_16>, #STS2:<_76_16>, #STS1:<>))
| \_78_16 & (#id:\I_16, #name:\N_16, #oligo2:\S2_16,...)<-_77_16}
{+} (mk_Oligo_18 @ _79_16);
primitive mk_STS_44 ==
\_56_44 & (#ACE_STS:\_54_44,...) =>
{(let \_53_44 == StsKey( _186_44, _187_44 ) in
(let \_53_44 == StsKey( _199_44, _200_44 ) in
(let \_53_44 == StsKey( N_44, I_44 ) in
(#STS_length:<(#1:LO_44, #2:<HI_44>)>, #Oligo_1:<apply_f_oligo @ (O1_44)>,
#Oligo_2:<apply_f_oligo @ (O2_44)>, #key:_53_44, #GDB_id:<N_44>,
#Annealing_temp_time:<>, #Phil_positive_YAC:<>, #Negative_YAC:<>))))
| \_55_44 & (#id:\_187_44, #name:\_186_44, #STS_length_lo:<\LO_44>,...)<-_54_44,
\_48_44 & (#id:\_200_44, #name:\_199_44, #STS_length_lo:<LO_44>,
#STS_length_hi:<\HI_44>,...)<-_54_44,
\_41_44 & (#name:\N_44, #oligo1:\O1_44, #oligo2:\O2_44, #id:\I_44,...)<-_54_44};
primitive mk_STS_45 ==
\_99_45 & (#ACE_STS_YAC:\_97_45, #ACE_STS:\_101_45,...) =>
{(let \_95_45 == StsKey( _169_45, _170_45 ) in
(let \_96_45 == YacName( _171_45 ) in
(let \_95_45 == StsKey( _172_45, S_45 ) in
(let \_84_45 == YacName( Y_45 ) in
(let \_95_45 == StsKey( _188_45, _189_45 ) in
(let \_95_45 == StsKey( _201_45, _202_45 ) in
(let \_95_45 == StsKey( N_45, I_45 ) in
(#STS_length:<(#1:LO_45, #2:<HI_45>)>, #Oligo_1:<apply_f_oligo @ (O1_45)>,
#Oligo_2:<apply_f_oligo @ (O2_45)>, #Negative_YAC:<_96_45>,
#Phil_positive_YAC:<_84_45>, #Annealing_temp_time:<A_45>, #key:_95_45,
#GDB_id:<N_45>))))))))
| \_98_45 & (#id:\_170_45, #yac:\_171_45, #result:\_100_45,...)<-_97_45,
\_86_45 & (#id:\S_45, #yac:\Y_45, #result:\_88_45,...)<-_97_45,
_88_45 = "positive",
_100_45 = "negative",
\_102_45 & (#id:_170_45, #name:\_169_45,...)<-_101_45,
\_90_45 & (#id:S_45, #name:\_172_45,...)<-_101_45,
\_62_45 & (#id:\_189_45, #name:\_188_45, #annealing_temp_time:<\A_45>,...)<-_101_45,
\_48_45 & (#id:\_202_45, #name:\_201_45, #STS_length_lo:<\LO_45>,
#STS_length_hi:<\HI_45>,...)<-_101_45,
\_41_45 & (#name:\N_45, #oligo1:\O1_45, #oligo2:\O2_45, #id:\I_45,...)<-_101_45}
{+} (mk_STS_44 @ _99_45);
primitive mk_STS_46 ==
\_87_46 & (#ACE_STS_YAC:\_85_46, #ACE_STS:\_89_46,...) =>
{(let \_83_46 == StsKey( _173_46, S_46 ) in
(let \_84_46 == YacName( Y_46 ) in
(let \_83_46 == StsKey( _190_46, _191_46 ) in
(let \_83_46 == StsKey( _203_46, _204_46 ) in
(let \_83_46 == StsKey( N_46, I_46 ) in
(#STS_length:<(#1:LO_46, #2:<HI_46>)>, #Oligo_1:<apply_f_oligo @ (O1_46)>,
#Oligo_2:<apply_f_oligo @ (O2_46)>, #Phil_positive_YAC:<_84_46>,
#Annealing_temp_time:<A_46>, #key:_83_46, #GDB_id:<N_46>, #Negative_YAC:<>))))))
| \_86_46 & (#id:\S_46, #yac:\Y_46, #result:\_88_46,...)<-_85_46,
_88_46 = "positive",
\_90_46 & (#id:S_46, #name:\_173_46,...)<-_89_46,
\_62_46 & (#id:\_191_46, #name:\_190_46, #annealing_temp_time:<\A_46>,...)<-_89_46,
\_48_46 & (#id:\_204_46, #name:\_203_46, #STS_length_lo:<\LO_46>,
#STS_length_hi:<\HI_46>,...)<-_89_46,
\_41_46 & (#name:\N_46, #oligo1:\O1_46, #oligo2:\O2_46, #id:\I_46,...)<-_89_46}
{+} (mk_STS_45 @ _87_46);
primitive mk_STS_47 ==
\_99_47 & (#ACE_STS_YAC:\_97_47, #ACE_STS:\_101_47,...) =>
{(let \_95_47 == StsKey( _174_47, S_47 ) in
(let \_96_47 == YacName( Y_47 ) in
(let \_95_47 == StsKey( _192_47, _193_47 ) in
(let \_95_47 == StsKey( _205_47, _206_47 ) in
(let \_95_47 == StsKey( N_47, I_47 ) in
(#STS_length:<(#1:LO_47, #2:<HI_47>)>, #Oligo_1:<apply_f_oligo @ (O1_47)>,
#Oligo_2:<apply_f_oligo @ (O2_47)>, #Negative_YAC:<_96_47>,
#Annealing_temp_time:<A_47>, #key:_95_47, #GDB_id:<N_47>, #Phil_positive_YAC:<>))))))
| \_98_47 & (#id:\S_47, #yac:\Y_47, #result:\_100_47,...)<-_97_47,
_100_47 = "negative",
\_102_47 & (#id:S_47, #name:\_174_47,...)<-_101_47,
\_62_47 & (#id:\_193_47, #name:\_192_47, #annealing_temp_time:<\A_47>,...)<-_101_47,
\_48_47 & (#id:\_206_47, #name:\_205_47, #STS_length_lo:<\LO_47>,
#STS_length_hi:<\HI_47>,...)<-_101_47,
\_41_47 & (#name:\N_47, #oligo1:\O1_47, #oligo2:\O2_47, #id:\I_47,...)<-_101_47}
{+} (mk_STS_46 @ _99_47);
primitive mk_STS_48 ==
\_63_48 & (#ACE_STS:\_61_48,...) =>
{(let \_60_48 == StsKey( _194_48, _195_48 ) in
(let \_60_48 == StsKey( _207_48, _208_48 ) in
(let \_60_48 == StsKey( N_48, I_48 ) in
(#STS_length:<(#1:LO_48, #2:<HI_48>)>, #Oligo_1:<apply_f_oligo @ (O1_48)>,
#Oligo_2:<apply_f_oligo @ (O2_48)>, #Annealing_temp_time:<A_48>, #key:_60_48,
#GDB_id:<N_48>, #Phil_positive_YAC:<>, #Negative_YAC:<>))))
| \_62_48 & (#id:\_195_48, #name:\_194_48, #annealing_temp_time:<\A_48>,...)<-_61_48,
\_48_48 & (#id:\_208_48, #name:\_207_48, #STS_length_lo:<\LO_48>,
#STS_length_hi:<\HI_48>,...)<-_61_48,
\_41_48 & (#name:\N_48, #oligo1:\O1_48, #oligo2:\O2_48, #id:\I_48,...)<-_61_48}
{+} (mk_STS_47 @ _63_48);
primitive mk_STS_49 ==
\_99_49 & (#ACE_STS_YAC:\_97_49, #ACE_STS:\_101_49,...) =>
{(let \_95_49 == StsKey( _169_49, _170_49 ) in
(let \_96_49 == YacName( _171_49 ) in
(let \_95_49 == StsKey( _196_49, S_49 ) in
(let \_84_49 == YacName( Y_49 ) in
(let \_95_49 == StsKey( _209_49, _210_49 ) in
(let \_95_49 == StsKey( N_49, I_49 ) in
(#STS_length:<(#1:LO_49, #2:<HI_49>)>, #Oligo_1:<apply_f_oligo @ (O1_49)>,
#Oligo_2:<apply_f_oligo @ (O2_49)>, #Negative_YAC:<_96_49>,
#Phil_positive_YAC:<_84_49>, #key:_95_49, #GDB_id:<N_49>,
#Annealing_temp_time:<>)))))))
| \_98_49 & (#id:\_170_49, #yac:\_171_49, #result:\_100_49,...)<-_97_49,
\_86_49 & (#id:\S_49, #yac:\Y_49, #result:\_88_49,...)<-_97_49,
_88_49 = "positive",
_100_49 = "negative",
\_102_49 & (#id:_170_49, #name:\_169_49,...)<-_101_49,
\_90_49 & (#id:S_49, #name:\_196_49,...)<-_101_49,
\_48_49 & (#id:\_210_49, #name:\_209_49, #STS_length_lo:<\LO_49>,
#STS_length_hi:<\HI_49>,...)<-_101_49,
\_41_49 & (#name:\N_49, #oligo1:\O1_49, #oligo2:\O2_49, #id:\I_49,...)<-_101_49}
{+} (mk_STS_48 @ _99_49);
primitive mk_STS_50 ==
\_87_50 & (#ACE_STS_YAC:\_85_50, #ACE_STS:\_89_50,...) =>
{(let \_83_50 == StsKey( _197_50, S_50 ) in
(let \_84_50 == YacName( Y_50 ) in
(let \_83_50 == StsKey( _211_50, _212_50 ) in
(let \_83_50 == StsKey( N_50, I_50 ) in
(#STS_length:<(#1:LO_50, #2:<HI_50>)>, #Oligo_1:<apply_f_oligo @ (O1_50)>,
#Oligo_2:<apply_f_oligo @ (O2_50)>, #Phil_positive_YAC:<_84_50>, #key:_83_50,
#GDB_id:<N_50>, #Annealing_temp_time:<>, #Negative_YAC:<>)))))
| \_86_50 & (#id:\S_50, #yac:\Y_50, #result:\_88_50,...)<-_85_50,
_88_50 = "positive",
\_90_50 & (#id:S_50, #name:\_197_50,...)<-_89_50,
\_48_50 & (#id:\_212_50, #name:\_211_50, #STS_length_lo:<\LO_50>,
#STS_length_hi:<\HI_50>,...)<-_89_50,
\_41_50 & (#name:\N_50, #oligo1:\O1_50, #oligo2:\O2_50, #id:\I_50,...)<-_89_50}
{+} (mk_STS_49 @ _87_50);
primitive mk_STS_51 ==
\_99_51 & (#ACE_STS_YAC:\_97_51, #ACE_STS:\_101_51,...) =>
{(let \_95_51 == StsKey( _198_51, S_51 ) in
(let \_96_51 == YacName( Y_51 ) in
(let \_95_51 == StsKey( _213_51, _214_51 ) in
(let \_95_51 == StsKey( N_51, I_51 ) in
(#STS_length:<(#1:LO_51, #2:<HI_51>)>, #Oligo_1:<apply_f_oligo @ (O1_51)>,
#Oligo_2:<apply_f_oligo @ (O2_51)>, #Negative_YAC:<_96_51>, #key:_95_51,
#GDB_id:<N_51>, #Annealing_temp_time:<>, #Phil_positive_YAC:<>)))))
| \_98_51 & (#id:\S_51, #yac:\Y_51, #result:\_100_51,...)<-_97_51,
_100_51 = "negative",
\_102_51 & (#id:S_51, #name:\_198_51,...)<-_101_51,
\_48_51 & (#id:\_214_51, #name:\_213_51, #STS_length_lo:<\LO_51>,
#STS_length_hi:<\HI_51>,...)<-_101_51,
\_41_51 & (#name:\N_51, #oligo1:\O1_51, #oligo2:\O2_51, #id:\I_51,...)<-_101_51}
{+} (mk_STS_50 @ _99_51);
primitive mk_STS_52 ==
\_49_52 & (#ACE_STS:\_47_52,...) =>
{(let \_46_52 == StsKey( _215_52, _216_52 ) in
(let \_46_52 == StsKey( N_52, I_52 ) in
(#STS_length:<(#1:LO_52, #2:<HI_52>)>, #Oligo_1:<apply_f_oligo @ (O1_52)>,
#Oligo_2:<apply_f_oligo @ (O2_52)>, #key:_46_52, #GDB_id:<N_52>,
#Annealing_temp_time:<>, #Phil_positive_YAC:<>, #Negative_YAC:<>)))
| \_48_52 & (#id:\_216_52, #name:\_215_52, #STS_length_lo:<\LO_52>,
#STS_length_hi:<\HI_52>,...)<-_47_52,
\_41_52 & (#name:\N_52, #oligo1:\O1_52, #oligo2:\O2_52, #id:\I_52,...)<-_47_52}
{+} (mk_STS_51 @ _49_52);
primitive mk_STS_53 ==
\_99_53 & (#ACE_STS_YAC:\_97_53, #ACE_STS:\_101_53,...) =>
{(let \_95_53 == StsKey( _169_53, _170_53 ) in
(let \_96_53 == YacName( _171_53 ) in
(let \_95_53 == StsKey( _172_53, S_53 ) in
(let \_84_53 == YacName( Y_53 ) in
(let \_95_53 == StsKey( _175_53, _176_53 ) in
(let \_95_53 == StsKey( _217_53, _218_53 ) in
(let \_95_53 == StsKey( N_53, I_53 ) in
(#STS_length:<(#1:LO_53, #2:<>)>, #Oligo_1:<apply_f_oligo @ (O1_53)>,
#Oligo_2:<apply_f_oligo @ (O2_53)>, #Negative_YAC:<_96_53>,
#Phil_positive_YAC:<_84_53>, #Annealing_temp_time:<A_53>, #key:_95_53,
#GDB_id:<N_53>))))))))
| \_98_53 & (#id:\_170_53, #yac:\_171_53, #result:\_100_53,...)<-_97_53,
\_86_53 & (#id:\S_53, #yac:\Y_53, #result:\_88_53,...)<-_97_53,
_88_53 = "positive",
_100_53 = "negative",
\_102_53 & (#id:_170_53, #name:\_169_53,...)<-_101_53,
\_90_53 & (#id:S_53, #name:\_172_53,...)<-_101_53,
\_62_53 & (#id:\_176_53, #name:\_175_53, #annealing_temp_time:<\A_53>,...)<-_101_53,
\_55_53 & (#id:\_218_53, #name:\_217_53, #STS_length_lo:<\LO_53>,...)<-_101_53,
\_41_53 & (#name:\N_53, #oligo1:\O1_53, #oligo2:\O2_53, #id:\I_53,...)<-_101_53}
{+} (mk_STS_52 @ _99_53);
primitive mk_STS_54 ==
\_87_54 & (#ACE_STS_YAC:\_85_54, #ACE_STS:\_89_54,...) =>
{(let \_83_54 == StsKey( _173_54, S_54 ) in
(let \_84_54 == YacName( Y_54 ) in
(let \_83_54 == StsKey( _177_54, _178_54 ) in
(let \_83_54 == StsKey( _219_54, _220_54 ) in
(let \_83_54 == StsKey( N_54, I_54 ) in
(#STS_length:<(#1:LO_54, #2:<>)>, #Oligo_1:<apply_f_oligo @ (O1_54)>,
#Oligo_2:<apply_f_oligo @ (O2_54)>, #Phil_positive_YAC:<_84_54>,
#Annealing_temp_time:<A_54>, #key:_83_54, #GDB_id:<N_54>, #Negative_YAC:<>))))))
| \_86_54 & (#id:\S_54, #yac:\Y_54, #result:\_88_54,...)<-_85_54,
_88_54 = "positive",
\_90_54 & (#id:S_54, #name:\_173_54,...)<-_89_54,
\_62_54 & (#id:\_178_54, #name:\_177_54, #annealing_temp_time:<\A_54>,...)<-_89_54,
\_55_54 & (#id:\_220_54, #name:\_219_54, #STS_length_lo:<\LO_54>,...)<-_89_54,
\_41_54 & (#name:\N_54, #oligo1:\O1_54, #oligo2:\O2_54, #id:\I_54,...)<-_89_54}
{+} (mk_STS_53 @ _87_54);
primitive mk_STS_55 ==
\_99_55 & (#ACE_STS_YAC:\_97_55, #ACE_STS:\_101_55,...) =>
{(let \_95_55 == StsKey( _174_55, S_55 ) in
(let \_96_55 == YacName( Y_55 ) in
(let \_95_55 == StsKey( _179_55, _180_55 ) in
(let \_95_55 == StsKey( _221_55, _222_55 ) in
(let \_95_55 == StsKey( N_55, I_55 ) in
(#STS_length:<(#1:LO_55, #2:<>)>, #Oligo_1:<apply_f_oligo @ (O1_55)>,
#Oligo_2:<apply_f_oligo @ (O2_55)>, #Negative_YAC:<_96_55>,
#Annealing_temp_time:<A_55>, #key:_95_55, #GDB_id:<N_55>, #Phil_positive_YAC:<>))))))
| \_98_55 & (#id:\S_55, #yac:\Y_55, #result:\_100_55,...)<-_97_55,
_100_55 = "negative",
\_102_55 & (#id:S_55, #name:\_174_55,...)<-_101_55,
\_62_55 & (#id:\_180_55, #name:\_179_55, #annealing_temp_time:<\A_55>,...)<-_101_55,
\_55_55 & (#id:\_222_55, #name:\_221_55, #STS_length_lo:<\LO_55>,...)<-_101_55,
\_41_55 & (#name:\N_55, #oligo1:\O1_55, #oligo2:\O2_55, #id:\I_55,...)<-_101_55}
{+} (mk_STS_54 @ _99_55);
primitive mk_STS_56 ==
\_63_56 & (#ACE_STS:\_61_56,...) =>
{(let \_60_56 == StsKey( _181_56, _182_56 ) in
(let \_60_56 == StsKey( _223_56, _224_56 ) in
(let \_60_56 == StsKey( N_56, I_56 ) in
(#STS_length:<(#1:LO_56, #2:<>)>, #Oligo_1:<apply_f_oligo @ (O1_56)>,
#Oligo_2:<apply_f_oligo @ (O2_56)>, #Annealing_temp_time:<A_56>, #key:_60_56,
#GDB_id:<N_56>, #Phil_positive_YAC:<>, #Negative_YAC:<>))))
| \_62_56 & (#id:\_182_56, #name:\_181_56, #annealing_temp_time:<\A_56>,...)<-_61_56,
\_55_56 & (#id:\_224_56, #name:\_223_56, #STS_length_lo:<\LO_56>,...)<-_61_56,
\_41_56 & (#name:\N_56, #oligo1:\O1_56, #oligo2:\O2_56, #id:\I_56,...)<-_61_56}
{+} (mk_STS_55 @ _63_56);
primitive mk_STS_57 ==
\_99_57 & (#ACE_STS_YAC:\_97_57, #ACE_STS:\_101_57,...) =>
{(let \_95_57 == StsKey( _169_57, _170_57 ) in
(let \_96_57 == YacName( _171_57 ) in
(let \_95_57 == StsKey( _183_57, S_57 ) in
(let \_84_57 == YacName( Y_57 ) in
(let \_95_57 == StsKey( _225_57, _226_57 ) in
(let \_95_57 == StsKey( N_57, I_57 ) in
(#STS_length:<(#1:LO_57, #2:<>)>, #Oligo_1:<apply_f_oligo @ (O1_57)>,
#Oligo_2:<apply_f_oligo @ (O2_57)>, #Negative_YAC:<_96_57>,
#Phil_positive_YAC:<_84_57>, #key:_95_57, #GDB_id:<N_57>,
#Annealing_temp_time:<>)))))))
| \_98_57 & (#id:\_170_57, #yac:\_171_57, #result:\_100_57,...)<-_97_57,
\_86_57 & (#id:\S_57, #yac:\Y_57, #result:\_88_57,...)<-_97_57,
_88_57 = "positive",
_100_57 = "negative",
\_102_57 & (#id:_170_57, #name:\_169_57,...)<-_101_57,
\_90_57 & (#id:S_57, #name:\_183_57,...)<-_101_57,
\_55_57 & (#id:\_226_57, #name:\_225_57, #STS_length_lo:<\LO_57>,...)<-_101_57,
\_41_57 & (#name:\N_57, #oligo1:\O1_57, #oligo2:\O2_57, #id:\I_57,...)<-_101_57}
{+} (mk_STS_56 @ _99_57);
primitive mk_STS_58 ==
\_87_58 & (#ACE_STS_YAC:\_85_58, #ACE_STS:\_89_58,...) =>
{(let \_83_58 == StsKey( _184_58, S_58 ) in
(let \_84_58 == YacName( Y_58 ) in
(let \_83_58 == StsKey( _227_58, _228_58 ) in
(let \_83_58 == StsKey( N_58, I_58 ) in
(#STS_length:<(#1:LO_58, #2:<>)>, #Oligo_1:<apply_f_oligo @ (O1_58)>,
#Oligo_2:<apply_f_oligo @ (O2_58)>, #Phil_positive_YAC:<_84_58>, #key:_83_58,
#GDB_id:<N_58>, #Annealing_temp_time:<>, #Negative_YAC:<>)))))
| \_86_58 & (#id:\S_58, #yac:\Y_58, #result:\_88_58,...)<-_85_58,
_88_58 = "positive",
\_90_58 & (#id:S_58, #name:\_184_58,...)<-_89_58,
\_55_58 & (#id:\_228_58, #name:\_227_58, #STS_length_lo:<\LO_58>,...)<-_89_58,
\_41_58 & (#name:\N_58, #oligo1:\O1_58, #oligo2:\O2_58, #id:\I_58,...)<-_89_58}
{+} (mk_STS_57 @ _87_58);
primitive mk_STS_59 ==
\_99_59 & (#ACE_STS_YAC:\_97_59, #ACE_STS:\_101_59,...) =>
{(let \_95_59 == StsKey( _185_59, S_59 ) in
(let \_96_59 == YacName( Y_59 ) in
(let \_95_59 == StsKey( _229_59, _230_59 ) in
(let \_95_59 == StsKey( N_59, I_59 ) in
(#STS_length:<(#1:LO_59, #2:<>)>, #Oligo_1:<apply_f_oligo @ (O1_59)>,
#Oligo_2:<apply_f_oligo @ (O2_59)>, #Negative_YAC:<_96_59>, #key:_95_59,
#GDB_id:<N_59>, #Annealing_temp_time:<>, #Phil_positive_YAC:<>)))))
| \_98_59 & (#id:\S_59, #yac:\Y_59, #result:\_100_59,...)<-_97_59,
_100_59 = "negative",
\_102_59 & (#id:S_59, #name:\_185_59,...)<-_101_59,
\_55_59 & (#id:\_230_59, #name:\_229_59, #STS_length_lo:<\LO_59>,...)<-_101_59,
\_41_59 & (#name:\N_59, #oligo1:\O1_59, #oligo2:\O2_59, #id:\I_59,...)<-_101_59}
{+} (mk_STS_58 @ _99_59);
primitive mk_STS_60 ==
\_56_60 & (#ACE_STS:\_54_60,...) =>
{(let \_53_60 == StsKey( _231_60, _232_60 ) in
(let \_53_60 == StsKey( N_60, I_60 ) in
(#STS_length:<(#1:LO_60, #2:<>)>, #Oligo_1:<apply_f_oligo @ (O1_60)>,
#Oligo_2:<apply_f_oligo @ (O2_60)>, #key:_53_60, #GDB_id:<N_60>,
#Annealing_temp_time:<>, #Phil_positive_YAC:<>, #Negative_YAC:<>)))
| \_55_60 & (#id:\_232_60, #name:\_231_60, #STS_length_lo:<\LO_60>,...)<-_54_60,
\_41_60 & (#name:\N_60, #oligo1:\O1_60, #oligo2:\O2_60, #id:\I_60,...)<-_54_60}
{+} (mk_STS_59 @ _56_60);
primitive mk_STS_61 ==
\_99_61 & (#ACE_STS_YAC:\_97_61, #ACE_STS:\_101_61,...) =>
{(let \_95_61 == StsKey( _169_61, _170_61 ) in
(let \_96_61 == YacName( _171_61 ) in
(let \_95_61 == StsKey( _172_61, S_61 ) in
(let \_84_61 == YacName( Y_61 ) in
(let \_95_61 == StsKey( _233_61, _234_61 ) in
(let \_95_61 == StsKey( N_61, I_61 ) in
(#Oligo_1:<apply_f_oligo @ (O1_61)>, #Oligo_2:<apply_f_oligo @ (O2_61)>,
#Negative_YAC:<_96_61>, #Phil_positive_YAC:<_84_61>, #Annealing_temp_time:<A_61>,
#key:_95_61, #GDB_id:<N_61>, #STS_length:<>)))))))
| \_98_61 & (#id:\_170_61, #yac:\_171_61, #result:\_100_61,...)<-_97_61,
\_86_61 & (#id:\S_61, #yac:\Y_61, #result:\_88_61,...)<-_97_61,
_88_61 = "positive",
_100_61 = "negative",
\_102_61 & (#id:_170_61, #name:\_169_61,...)<-_101_61,
\_90_61 & (#id:S_61, #name:\_172_61,...)<-_101_61,
\_62_61 & (#id:\_234_61, #name:\_233_61, #annealing_temp_time:<\A_61>,...)<-_101_61,
\_41_61 & (#name:\N_61, #oligo1:\O1_61, #oligo2:\O2_61, #id:\I_61,...)<-_101_61}
{+} (mk_STS_60 @ _99_61);
primitive mk_STS_62 ==
\_87_62 & (#ACE_STS_YAC:\_85_62, #ACE_STS:\_89_62,...) =>
{(let \_83_62 == StsKey( _173_62, S_62 ) in
(let \_84_62 == YacName( Y_62 ) in
(let \_83_62 == StsKey( _235_62, _236_62 ) in
(let \_83_62 == StsKey( N_62, I_62 ) in
(#Oligo_1:<apply_f_oligo @ (O1_62)>, #Oligo_2:<apply_f_oligo @ (O2_62)>,
#Phil_positive_YAC:<_84_62>, #Annealing_temp_time:<A_62>, #key:_83_62,
#GDB_id:<N_62>, #STS_length:<>, #Negative_YAC:<>)))))
| \_86_62 & (#id:\S_62, #yac:\Y_62, #result:\_88_62,...)<-_85_62,
_88_62 = "positive",
\_90_62 & (#id:S_62, #name:\_173_62,...)<-_89_62,
\_62_62 & (#id:\_236_62, #name:\_235_62, #annealing_temp_time:<\A_62>,...)<-_89_62,
\_41_62 & (#name:\N_62, #oligo1:\O1_62, #oligo2:\O2_62, #id:\I_62,...)<-_89_62}
{+} (mk_STS_61 @ _87_62);
primitive mk_STS_63 ==
\_99_63 & (#ACE_STS_YAC:\_97_63, #ACE_STS:\_101_63,...) =>
{(let \_95_63 == StsKey( _174_63, S_63 ) in
(let \_96_63 == YacName( Y_63 ) in
(let \_95_63 == StsKey( _237_63, _238_63 ) in
(let \_95_63 == StsKey( N_63, I_63 ) in
(#Oligo_1:<apply_f_oligo @ (O1_63)>, #Oligo_2:<apply_f_oligo @ (O2_63)>,
#Negative_YAC:<_96_63>, #Annealing_temp_time:<A_63>, #key:_95_63,
#GDB_id:<N_63>, #STS_length:<>, #Phil_positive_YAC:<>)))))
| \_98_63 & (#id:\S_63, #yac:\Y_63, #result:\_100_63,...)<-_97_63,
_100_63 = "negative",
\_102_63 & (#id:S_63, #name:\_174_63,...)<-_101_63,
\_62_63 & (#id:\_238_63, #name:\_237_63, #annealing_temp_time:<\A_63>,...)<-_101_63,
\_41_63 & (#name:\N_63, #oligo1:\O1_63, #oligo2:\O2_63, #id:\I_63,...)<-_101_63}
{+} (mk_STS_62 @ _99_63);
primitive mk_STS_64 ==
\_63_64 & (#ACE_STS:\_61_64,...) =>
{(let \_60_64 == StsKey( _239_64, _240_64 ) in
(let \_60_64 == StsKey( N_64, I_64 ) in
(#Oligo_1:<apply_f_oligo @ (O1_64)>, #Oligo_2:<apply_f_oligo @ (O2_64)>,
#Annealing_temp_time:<A_64>, #key:_60_64, #GDB_id:<N_64>, #STS_length:<>,
#Phil_positive_YAC:<>, #Negative_YAC:<>)))
| \_62_64 & (#id:\_240_64, #name:\_239_64, #annealing_temp_time:<\A_64>,...)<-_61_64,
\_41_64 & (#name:\N_64, #oligo1:\O1_64, #oligo2:\O2_64, #id:\I_64,...)<-_61_64}
{+} (mk_STS_63 @ _63_64);
primitive mk_STS_65 ==
\_99_65 & (#ACE_STS_YAC:\_97_65, #ACE_STS:\_101_65,...) =>
{(let \_95_65 == StsKey( _169_65, _170_65 ) in
(let \_96_65 == YacName( _171_65 ) in
(let \_95_65 == StsKey( _241_65, S_65 ) in
(let \_84_65 == YacName( Y_65 ) in
(let \_95_65 == StsKey( N_65, I_65 ) in
(#Oligo_1:<apply_f_oligo @ (O1_65)>, #Oligo_2:<apply_f_oligo @ (O2_65)>,
#Negative_YAC:<_96_65>, #Phil_positive_YAC:<_84_65>, #key:_95_65, #GDB_id:<N_65>,
#STS_length:<>, #Annealing_temp_time:<>))))))
| \_98_65 & (#id:\_170_65, #yac:\_171_65, #result:\_100_65,...)<-_97_65,
\_86_65 & (#id:\S_65, #yac:\Y_65, #result:\_88_65,...)<-_97_65,
_88_65 = "positive",
_100_65 = "negative",
\_102_65 & (#id:_170_65, #name:\_169_65,...)<-_101_65,
\_90_65 & (#id:S_65, #name:\_241_65,...)<-_101_65,
\_41_65 & (#name:\N_65, #oligo1:\O1_65, #oligo2:\O2_65, #id:\I_65,...)<-_101_65}
{+} (mk_STS_64 @ _99_65);
primitive mk_STS_66 ==
\_87_66 & (#ACE_STS_YAC:\_85_66, #ACE_STS:\_89_66,...) =>
{(let \_83_66 == StsKey( _242_66, S_66 ) in
(let \_84_66 == YacName( Y_66 ) in
(let \_83_66 == StsKey( N_66, I_66 ) in
(#Oligo_1:<apply_f_oligo @ (O1_66)>, #Oligo_2:<apply_f_oligo @ (O2_66)>,
#Phil_positive_YAC:<_84_66>, #key:_83_66, #GDB_id:<N_66>, #STS_length:<>,
#Annealing_temp_time:<>, #Negative_YAC:<>))))
| \_86_66 & (#id:\S_66, #yac:\Y_66, #result:\_88_66,...)<-_85_66,
_88_66 = "positive",
\_90_66 & (#id:S_66, #name:\_242_66,...)<-_89_66,
\_41_66 & (#name:\N_66, #oligo1:\O1_66, #oligo2:\O2_66, #id:\I_66,...)<-_89_66}
{+} (mk_STS_65 @ _87_66);
primitive mk_STS_67 ==
\_99_67 & (#ACE_STS_YAC:\_97_67, #ACE_STS:\_101_67,...) =>
{(let \_95_67 == StsKey( _243_67, S_67 ) in
(let \_96_67 == YacName( Y_67 ) in
(let \_95_67 == StsKey( N_67, I_67 ) in
(#Oligo_1:<apply_f_oligo @ (O1_67)>, #Oligo_2:<apply_f_oligo @ (O2_67)>,
#Negative_YAC:<_96_67>, #key:_95_67, #GDB_id:<N_67>, #STS_length:<>,
#Annealing_temp_time:<>, #Phil_positive_YAC:<>))))
| \_98_67 & (#id:\S_67, #yac:\Y_67, #result:\_100_67,...)<-_97_67,
_100_67 = "negative",
\_102_67 & (#id:S_67, #name:\_243_67,...)<-_101_67,
\_41_67 & (#name:\N_67, #oligo1:\O1_67, #oligo2:\O2_67, #id:\I_67,...)<-_101_67}
{+} (mk_STS_66 @ _99_67);
primitive mk_STS_68 ==
\_42_68 & (#ACE_STS:\_40_68,...) =>
{(let \_37_68 == StsKey( N_68, I_68 ) in
(#Oligo_1:<apply_f_oligo @ (O1_68)>, #Oligo_2:<apply_f_oligo @ (O2_68)>, #key:_37_68,
#GDB_id:<N_68>, #STS_length:<>, #Annealing_temp_time:<>, #Phil_positive_YAC:<>,
#Negative_YAC:<>))
| \_41_68 & (#name:\N_68, #oligo1:\O1_68, #oligo2:\O2_68, #id:\I_68,...)<-_40_68}
{+} (mk_STS_67 @ _42_68);
primitive mk_STS_35 ==
\_56_35 & (#ACE_STS:\_54_35,...) =>
{(let \_53_35 == StsKey( _186_35, _187_35 ) in
(let \_53_35 == StsKey( N_35, I_35 ) in
(#STS_length:<(#1:LO_35, #2:<HI_35>)>, #key:_53_35, #GDB_id:<>, #Oligo_1:<>,
#Oligo_2:<>, #Annealing_temp_time:<>, #Phil_positive_YAC:<>, #Negative_YAC:<>)))
| \_55_35 & (#id:\_187_35, #name:\_186_35, #STS_length_lo:<\LO_35>,...)<-_54_35,
\_48_35 & (#id:\I_35, #name:\N_35, #STS_length_lo:<LO_35>,
#STS_length_hi:<\HI_35>,...)<-_54_35}
{+} (mk_STS_68 @ _56_35);
primitive mk_STS_36 ==
\_99_36 & (#ACE_STS_YAC:\_97_36, #ACE_STS:\_101_36,...) =>
{(let \_95_36 == StsKey( _169_36, _170_36 ) in
(let \_96_36 == YacName( _171_36 ) in
(let \_95_36 == StsKey( _172_36, S_36 ) in
(let \_84_36 == YacName( Y_36 ) in
(let \_95_36 == StsKey( _188_36, _189_36 ) in
(let \_95_36 == StsKey( N_36, I_36 ) in
(#STS_length:<(#1:LO_36, #2:<HI_36>)>, #Negative_YAC:<_96_36>,
#Phil_positive_YAC:<_84_36>, #Annealing_temp_time:<A_36>, #key:_95_36,
#GDB_id:<>, #Oligo_1:<>, #Oligo_2:<>)))))))
| \_98_36 & (#id:\_170_36, #yac:\_171_36, #result:\_100_36,...)<-_97_36,
\_86_36 & (#id:\S_36, #yac:\Y_36, #result:\_88_36,...)<-_97_36,
_88_36 = "positive",
_100_36 = "negative",
\_102_36 & (#id:_170_36, #name:\_169_36,...)<-_101_36,
\_90_36 & (#id:S_36, #name:\_172_36,...)<-_101_36,
\_62_36 & (#id:\_189_36, #name:\_188_36, #annealing_temp_time:<\A_36>,...)<-_101_36,
\_48_36 & (#id:\I_36, #name:\N_36, #STS_length_lo:<\LO_36>,
#STS_length_hi:<\HI_36>,...)<-_101_36}
{+} (mk_STS_35 @ _99_36);
primitive mk_STS_37 ==
\_87_37 & (#ACE_STS_YAC:\_85_37, #ACE_STS:\_89_37,...) =>
{(let \_83_37 == StsKey( _173_37, S_37 ) in
(let \_84_37 == YacName( Y_37 ) in
(let \_83_37 == StsKey( _190_37, _191_37 ) in
(let \_83_37 == StsKey( N_37, I_37 ) in
(#STS_length:<(#1:LO_37, #2:<HI_37>)>, #Phil_positive_YAC:<_84_37>,
#Annealing_temp_time:<A_37>, #key:_83_37, #GDB_id:<>, #Oligo_1:<>, #Oligo_2:<>,
#Negative_YAC:<>)))))
| \_86_37 & (#id:\S_37, #yac:\Y_37, #result:\_88_37,...)<-_85_37,
_88_37 = "positive",
\_90_37 & (#id:S_37, #name:\_173_37,...)<-_89_37,
\_62_37 & (#id:\_191_37, #name:\_190_37, #annealing_temp_time:<\A_37>,...)<-_89_37,
\_48_37 & (#id:\I_37, #name:\N_37, #STS_length_lo:<\LO_37>,
#STS_length_hi:<\HI_37>,...)<-_89_37}
{+} (mk_STS_36 @ _87_37);
primitive mk_STS_38 ==
\_99_38 & (#ACE_STS_YAC:\_97_38, #ACE_STS:\_101_38,...) =>
{(let \_95_38 == StsKey( _174_38, S_38 ) in
(let \_96_38 == YacName( Y_38 ) in
(let \_95_38 == StsKey( _192_38, _193_38 ) in
(let \_95_38 == StsKey( N_38, I_38 ) in
(#STS_length:<(#1:LO_38, #2:<HI_38>)>, #Negative_YAC:<_96_38>,
#Annealing_temp_time:<A_38>, #key:_95_38, #GDB_id:<>, #Oligo_1:<>, #Oligo_2:<>,
#Phil_positive_YAC:<>)))))
| \_98_38 & (#id:\S_38, #yac:\Y_38, #result:\_100_38,...)<-_97_38,
_100_38 = "negative",
\_102_38 & (#id:S_38, #name:\_174_38,...)<-_101_38,
\_62_38 & (#id:\_193_38, #name:\_192_38, #annealing_temp_time:<\A_38>,...)<-_101_38,
\_48_38 & (#id:\I_38, #name:\N_38, #STS_length_lo:<\LO_38>,
#STS_length_hi:<\HI_38>,...)<-_101_38}
{+} (mk_STS_37 @ _99_38);
primitive mk_STS_39 ==
\_63_39 & (#ACE_STS:\_61_39,...) =>
{(let \_60_39 == StsKey( _194_39, _195_39 ) in
(let \_60_39 == StsKey( N_39, I_39 ) in
(#STS_length:<(#1:LO_39, #2:<HI_39>)>, #Annealing_temp_time:<A_39>, #key:_60_39,
#GDB_id:<>, #Oligo_1:<>, #Oligo_2:<>, #Phil_positive_YAC:<>,
#Negative_YAC:<>)))
| \_62_39 & (#id:\_195_39, #name:\_194_39, #annealing_temp_time:<\A_39>,...)<-_61_39,
\_48_39 & (#id:\I_39, #name:\N_39, #STS_length_lo:<\LO_39>,
#STS_length_hi:<\HI_39>,...)<-_61_39}
{+} (mk_STS_38 @ _63_39);
primitive mk_STS_40 ==
\_99_40 & (#ACE_STS_YAC:\_97_40, #ACE_STS:\_101_40,...) =>
{(let \_95_40 == StsKey( _169_40, _170_40 ) in
(let \_96_40 == YacName( _171_40 ) in
(let \_95_40 == StsKey( _196_40, S_40 ) in
(let \_84_40 == YacName( Y_40 ) in
(let \_95_40 == StsKey( N_40, I_40 ) in
(#STS_length:<(#1:LO_40, #2:<HI_40>)>, #Negative_YAC:<_96_40>,
#Phil_positive_YAC:<_84_40>, #key:_95_40, #GDB_id:<>, #Oligo_1:<>,
#Oligo_2:<>, #Annealing_temp_time:<>))))))
| \_98_40 & (#id:\_170_40, #yac:\_171_40, #result:\_100_40,...)<-_97_40,
\_86_40 & (#id:\S_40, #yac:\Y_40, #result:\_88_40,...)<-_97_40,
_88_40 = "positive",
_100_40 = "negative",
\_102_40 & (#id:_170_40, #name:\_169_40,...)<-_101_40,
\_90_40 & (#id:S_40, #name:\_196_40,...)<-_101_40,
\_48_40 & (#id:\I_40, #name:\N_40, #STS_length_lo:<\LO_40>,
#STS_length_hi:<\HI_40>,...)<-_101_40}
{+} (mk_STS_39 @ _99_40);
primitive mk_STS_41 ==
\_87_41 & (#ACE_STS_YAC:\_85_41, #ACE_STS:\_89_41,...) =>
{(let \_83_41 == StsKey( _197_41, S_41 ) in
(let \_84_41 == YacName( Y_41 ) in
(let \_83_41 == StsKey( N_41, I_41 ) in
(#STS_length:<(#1:LO_41, #2:<HI_41>)>, #Phil_positive_YAC:<_84_41>, #key:_83_41,
#GDB_id:<>, #Oligo_1:<>, #Oligo_2:<>, #Annealing_temp_time:<>,
#Negative_YAC:<>))))
| \_86_41 & (#id:\S_41, #yac:\Y_41, #result:\_88_41,...)<-_85_41,
_88_41 = "positive",
\_90_41 & (#id:S_41, #name:\_197_41,...)<-_89_41,
\_48_41 & (#id:\I_41, #name:\N_41, #STS_length_lo:<\LO_41>,
#STS_length_hi:<\HI_41>,...)<-_89_41}
{+} (mk_STS_40 @ _87_41);
primitive mk_STS_42 ==
\_99_42 & (#ACE_STS_YAC:\_97_42, #ACE_STS:\_101_42,...) =>
{(let \_95_42 == StsKey( _198_42, S_42 ) in
(let \_96_42 == YacName( Y_42 ) in
(let \_95_42 == StsKey( N_42, I_42 ) in
(#STS_length:<(#1:LO_42, #2:<HI_42>)>, #Negative_YAC:<_96_42>, #key:_95_42,
#GDB_id:<>, #Oligo_1:<>, #Oligo_2:<>, #Annealing_temp_time:<>,
#Phil_positive_YAC:<>))))
| \_98_42 & (#id:\S_42, #yac:\Y_42, #result:\_100_42,...)<-_97_42,
_100_42 = "negative",
\_102_42 & (#id:S_42, #name:\_198_42,...)<-_101_42,
\_48_42 & (#id:\I_42, #name:\N_42, #STS_length_lo:<\LO_42>,
#STS_length_hi:<\HI_42>,...)<-_101_42}
{+} (mk_STS_41 @ _99_42);
primitive mk_STS_43 ==
\_49_43 & (#ACE_STS:\_47_43,...) =>
{(let \_46_43 == StsKey( N_43,I_43 ) in
(#STS_length:<(#1:LO_43, #2:<HI_43>)>, #key:_46_43, #GDB_id:<>, #Oligo_1:<>,
#Oligo_2:<>, #Annealing_temp_time:<>, #Phil_positive_YAC:<>, #Negative_YAC:<>))
| \_48_43 & (#id:\I_43, #name:\N_43, #STS_length_lo:<\LO_43>,
#STS_length_hi:<\HI_43>,...)<-_47_43}
{+} (mk_STS_42 @ _49_43);
primitive mk_STS_27 ==
\_99_27 & (#ACE_STS_YAC:\_97_27, #ACE_STS:\_101_27,...) =>
{(let \_95_27 == StsKey( _169_27, _170_27 ) in
(let \_96_27 == YacName( _171_27 ) in
(let \_95_27 == StsKey( _172_27, S_27 ) in
(let \_84_27 == YacName( Y_27 ) in
(let \_95_27 == StsKey( _175_27, _176_27 ) in
(let \_95_27 == StsKey( N_27, I_27 ) in
(#STS_length:<(#1:LO_27, #2:<>)>, #Negative_YAC:<_96_27>,
#Phil_positive_YAC:<_84_27>, #Annealing_temp_time:<A_27>, #key:_95_27,
#GDB_id:<>, #Oligo_1:<>, #Oligo_2:<>)))))))
| \_98_27 & (#id:\_170_27, #yac:\_171_27, #result:\_100_27,...)<-_97_27,
\_86_27 & (#id:\S_27, #yac:\Y_27, #result:\_88_27,...)<-_97_27,
_88_27 = "positive",
_100_27 = "negative",
\_102_27 & (#id:_170_27, #name:\_169_27,...)<-_101_27,
\_90_27 & (#id:S_27, #name:\_172_27,...)<-_101_27,
\_62_27 & (#id:\_176_27, #name:\_175_27, #annealing_temp_time:<\A_27>,...)<-_101_27,
\_55_27 & (#id:\I_27, #name:\N_27, #STS_length_lo:<\LO_27>,...)<-_101_27}
{+} (mk_STS_43 @_99_27);
primitive mk_STS_28 ==
\_87_28 & (#ACE_STS_YAC:\_85_28, #ACE_STS:\_89_28,...) =>
{(let \_83_28 == StsKey( _173_28, S_28 ) in
(let \_84_28 == YacName( Y_28 ) in
(let \_83_28 == StsKey( _177_28, _178_28 ) in
(let \_83_28 == StsKey( N_28, I_28 ) in
(#STS_length:<(#1:LO_28, #2:<>) >, #Phil_positive_YAC:<_84_28>,
#Annealing_temp_time:<A_28>, #key:_83_28, #GDB_id:<>, #Oligo_1:<>,
#Oligo_2:<>, #Negative_YAC:<>)))))
| \_86_28 & (#id:\S_28, #yac:\Y_28, #result:\_88_28,...)<-_85_28,
_88_28 = "positive",
\_90_28 & (#id:S_28, #name:\_173_28,...)<-_89_28,
\_62_28 & (#id:\_178_28, #name:\_177_28, #annealing_temp_time:<\A_28>,...)<-_89_28,
\_55_28 & (#id:\I_28, #name:\N_28, #STS_length_lo:<\LO_28>,...)<-_89_28}
{+} (mk_STS_27 @ _87_28);
primitive mk_STS_29 ==
\_99_29 & (#ACE_STS_YAC:\_97_29, #ACE_STS:\_101_29,...) =>
{(let \_95_29 == StsKey( _174_29, S_29 ) in
(let \_96_29 == YacName( Y_29 ) in
(let \_95_29 == StsKey( _179_29, _180_29 ) in
(let \_95_29 == StsKey( N_29, I_29 ) in
(#STS_length:<(#1:LO_29, #2:<>)>, #Negative_YAC:<_96_29>,
#Annealing_temp_time:<A_29>, #key:_95_29, #GDB_id:<>, #Oligo_1:<>,
#Oligo_2:<>, #Phil_positive_YAC:<>)))))
| \_98_29 & (#id:\S_29, #yac:\Y_29, #result:\_100_29,...)<-_97_29,
_100_29 = "negative",
\_102_29 & (#id:S_29, #name:\_174_29,...)<-_101_29,
\_62_29 & (#id:\_180_29, #name:\_179_29, #annealing_temp_time:<\A_29>,...)<-_101_29,
\_55_29 & (#id:\I_29, #name:\N_29, #STS_length_lo:<\LO_29>,...)<-_101_29}
{+} (mk_STS_28 @ _99_29);
primitive mk_STS_30 ==
\_63_30 & (#ACE_STS:\_61_30,...) =>
{(let \_60_30 == StsKey( _181_30, _182_30 ) in
(let \_60_30 == StsKey( N_30, I_30 ) in
(#STS_length:<(#1:LO_30, #2:<>)>, #Annealing_temp_time:<A_30>, #key:_60_30,
#GDB_id:<>, #Oligo_1:<>, #Oligo_2:<>, #Phil_positive_YAC:<>,
#Negative_YAC:<>)))
| \_62_30 & (#id:\_182_30, #name:\_181_30, #annealing_temp_time:<\A_30>,...)<-_61_30,
\_55_30 & (#id:\I_30, #name:\N_30, #STS_length_lo:<\LO_30>,...)<-_61_30}
{+} (mk_STS_29 @ _63_30);
primitive mk_STS_31 ==
\_99_31 & (#ACE_STS_YAC:\_97_31, #ACE_STS:\_101_31,...) =>
{(let \_95_31 == StsKey( _169_31, _170_31 ) in
(let \_96_31 == YacName( _171_31 ) in
(let \_95_31 == StsKey( _183_31, S_31 ) in
(let \_84_31 == YacName( Y_31 ) in
(let \_95_31 == StsKey( N_31, I_31 ) in
(#STS_length:<(#1:LO_31, #2:<>)>, #Negative_YAC:<_96_31>,
#Phil_positive_YAC:<_84_31>, #key:_95_31, #GDB_id:<>, #Oligo_1:<>,
#Oligo_2:<>, #Annealing_temp_time:<>))))))
| \_98_31 & (#id:\_170_31, #yac:\_171_31, #result:\_100_31,...)<-_97_31,
\_86_31 & (#id:\S_31, #yac:\Y_31, #result:\_88_31,...)<-_97_31,
_88_31 = "positive",
_100_31 = "negative",
\_102_31 & (#id:_170_31, #name:\_169_31,...)<-_101_31,
\_90_31 & (#id:S_31, #name:\_183_31,...)<-_101_31,
\_55_31 & (#id:\I_31, #name:\N_31, #STS_length_lo:<\LO_31>,...)<- _101_31}
{+} (mk_STS_30 @ _99_31);
primitive mk_STS_32 ==
\_87_32 & (#ACE_STS_YAC:\_85_32, #ACE_STS:\_89_32,...) =>
{(let \_83_32 == StsKey( _184_32, S_32 ) in
(let \_84_32 == YacName( Y_32 ) in
(let \_83_32 == StsKey( N_32, I_32 ) in
(#STS_length:<(#1:LO_32, #2:<>)>, #Phil_positive_YAC:<_84_32>, #key:_83_32,
#GDB_id:<>, #Oligo_1:<>, #Oligo_2:<>, #Annealing_temp_time:<>,
#Negative_YAC:<>))))
| \_86_32 & (#id:\S_32, #yac:\Y_32, #result:\_88_32,...)<-_85_32,
_88_32 = "positive",
\_90_32 & (#id:S_32, #name:\_184_32,...)<-_89_32,
\_55_32 & (#id:\I_32, #name:\N_32, #STS_length_lo:<\LO_32>,...)<-_89_32}
{+} (mk_STS_31 @ _87_32);
primitive mk_STS_33 ==
\_99_33 & (#ACE_STS_YAC:\_97_33, #ACE_STS:\_101_33,...) =>
{(let \_95_33 == StsKey( _185_33, S_33 ) in
(let \_96_33 == YacName( Y_33 ) in
(let \_95_33 == StsKey( N_33, I_33 ) in
(#STS_length:<(#1:LO_33, #2:<>)>, #Negative_YAC:<_96_33>, #key:_95_33,
#GDB_id:<>, #Oligo_1:<>, #Oligo_2:<>, #Annealing_temp_time:<>,
#Phil_positive_YAC:<>))))
| \_98_33 & (#id:\S_33, #yac:\Y_33, #result:\_100_33,...)<-_97_33,
_100_33 = "negative",
\_102_33 & (#id:S_33, #name:\_185_33,...)<-_101_33,
\_55_33 & (#id:\I_33, #name:\N_33, #STS_length_lo:<\LO_33>,...)<-_101_33}
{+} (mk_STS_32 @ _99_33);
primitive mk_STS_34 ==
\_56_34 & (#ACE_STS:\_54_34,...) =>
{(let \_53_34 == StsKey( N_34, I_34 ) in
(#STS_length:<(#1:LO_34, #2:<>)>, #key:_53_34, #GDB_id:<>, #Oligo_1:<>,
#Oligo_2:<>, #Annealing_temp_time:<>, #Phil_positive_YAC:<>, #Negative_YAC:<>))
| \_55_34 & (#id:\I_34, #name:\N_34, #STS_length_lo:<\LO_34>,...)<-_54_34}
{+} (mk_STS_33 @ _56_34);
primitive mk_STS_23 ==
\_99_23 & (#ACE_STS_YAC:\_97_23, #ACE_STS:\_101_23,...) =>
{(let \_95_23 == StsKey( _169_23, _170_23 ) in
(let \_96_23 == YacName( _171_23 ) in
(let \_95_23 == StsKey( _172_23, S_23 ) in
(let \_84_23 == YacName( Y_23 ) in
(let \_95_23 == StsKey( N_23, I_23 ) in
(#Negative_YAC:<_96_23>, #Phil_positive_YAC:<_84_23>, #key:_95_23,
#Annealing_temp_time:<A_23>, #GDB_id:<>, #Oligo_1:<>, #Oligo_2:<>,
#STS_length:<>))))))
| \_98_23 & (#id:\_170_23, #yac:\_171_23, #result:\_100_23,...)<-_97_23,
\_86_23 & (#id:\S_23, #yac:\Y_23, #result:\_88_23,...)<-_97_23,
_88_23 = "positive",
_100_23 = "negative",
\_102_23 & (#id:_170_23, #name:\_169_23,...)<-_101_23,
\_90_23 & (#id:S_23, #name:\_172_23,...)<-_101_23,
\_62_23 & (#id:\I_23, #name:\N_23, #annealing_temp_time:<\A_23>,...)<-_101_23}
{+} (mk_STS_34 @ _99_23);
primitive mk_STS_24 ==
\_87_24 & (#ACE_STS_YAC:\_85_24, #ACE_STS:\_89_24,...) =>
{(let \_83_24 == StsKey( _173_24, S_24 ) in
(let \_84_24 == YacName( Y_24 ) in
(let \_83_24 == StsKey( N_24, I_24 ) in
(#Phil_positive_YAC:<_84_24>, #key:_83_24, #Annealing_temp_time:<A_24>,
#GDB_id:<>, #Oligo_1:<>, #Oligo_2:<>, #STS_length:<>, #Negative_YAC:<>))))
| \_86_24 & (#id:\S_24, #yac:\Y_24, #result:\_88_24,...)<-_85_24,
_88_24 = "positive",
\_90_24 & (#id:S_24, #name:\_173_24,...)<-_89_24,
\_62_24 & (#id:\I_24, #name:\N_24, #annealing_temp_time:<\A_24>,...)<-_89_24}
{+} (mk_STS_23 @ _87_24);
primitive mk_STS_25 ==
\_99_25 & (#ACE_STS_YAC:\_97_25, #ACE_STS:\_101_25,...) =>
{(let \_95_25 == StsKey( _174_25, S_25 ) in
(let \_96_25 == YacName( Y_25 ) in
(let \_95_25 == StsKey( N_25, I_25 ) in
(#Negative_YAC:<_96_25>, #key:_95_25, #Annealing_temp_time:<A_25>, #GDB_id:<>,
#Oligo_1:<>, #Oligo_2:<>, #STS_length:<>, #Phil_positive_YAC:<>))))
| \_98_25 & (#id:\S_25, #yac:\Y_25, #result:\_100_25,...)<-_97_25,
_100_25 = "negative",
\_102_25 & (#id:S_25, #name:\_174_25,...)<-_101_25,
\_62_25 & (#id:\I_25, #name:\N_25, #annealing_temp_time:<\A_25>,...)<-_101_25}
{+} (mk_STS_24 @ _99_25);
primitive mk_STS_26 ==
\_63_26 & (#ACE_STS:\_61_26,...) =>
{(let \_60_26 == StsKey( N_26, I_26 ) in
(#key:_60_26, #Annealing_temp_time:<A_26>, #GDB_id:<>, #Oligo_1:<>,
#Oligo_2:<>, #STS_length:<>, #Phil_positive_YAC:<>, #Negative_YAC:<>))
| \_62_26 & (#id:\I_26, #name:\N_26, #annealing_temp_time:<\A_26>,...)<-_61_26}
{+} (mk_STS_25 @ _63_26);
primitive mk_STS_21 ==
\_99_21 & (#ACE_STS_YAC:\_97_21, #ACE_STS:\_101_21,...) =>
{(let \_95_21 == StsKey( _169_21, _170_21 ) in
(let \_96_21 == YacName( _171_21 ) in
(let \_95_21 == StsKey( N_21, S_21 ) in
(let \_84_21 == YacName( Y_21 ) in
(#Negative_YAC:<_96_21>, #key:_95_21, #Phil_positive_YAC:<_84_21>, #GDB_id:<>,
#Oligo_1:<>, #Oligo_2:<>, #STS_length:<>, #Annealing_temp_time:<>)))))
| \_98_21 & (#id:\_170_21, #yac:\_171_21, #result:\_100_21,...)<-_97_21,
\_86_21 & (#id:\S_21, #yac:\Y_21, #result:\_88_21,...)<-_97_21,
_88_21 = "positive",
_100_21 = "negative",
\_102_21 & (#id:_170_21, #name:\_169_21,...)<-_101_21,
\_90_21 & (#id:S_21, #name:\N_21,...)<-_101_21}
{+} (mk_STS_26 @ _99_21);
primitive mk_STS_22 ==
\_87_22 & (#ACE_STS_YAC:\_85_22, #ACE_STS:\_89_22,...) =>
{(let \_83_22 == StsKey( N_22, S_22 ) in
(let \_84_22 == YacName( Y_22 ) in
(#key:_83_22, #Phil_positive_YAC:<_84_22>, #GDB_id:<>, #Oligo_1:<>,
#Oligo_2:<>, #STS_length:<>, #Annealing_temp_time:<>, #Negative_YAC:<>)))
| \_86_22 & (#id:\S_22, #yac:\Y_22, #result:\_88_22,...)<-_85_22,
_88_22 = "positive",
\_90_22 & (#id:S_22, #name:\N_22,...)<-_89_22}
{+} (mk_STS_21 @ _87_22);
primitive mk_STS_20 ==
\_99_20 & (#ACE_STS_YAC:\_97_20, #ACE_STS:\_101_20,...) =>
{(let \_95_20 == StsKey( N_20, S_20 ) in
(let \_96_20 == YacName( Y_20 ) in
(#key:_95_20, #Negative_YAC:<_96_20>, #GDB_id:<>, #Oligo_1:<>, #Oligo_2:<>,
#STS_length:<>, #Annealing_temp_time:<>, #Phil_positive_YAC:<>)))
| \_98_20 & (#id:\S_20, #yac:\Y_20, #result:\_100_20,...)<-_97_20,
_100_20 = "negative",
\_102_20 & (#id:S_20, #name:\N_20,...)<-_101_20}
{+} (mk_STS_22 @ _99_20);
primitive mk_YAC_71 ==
\_123_71 & (#ACE_STS_YAC:\_121_71, #ACE_STS:\_125_71,...) =>
{(let \_119_71 == YacName( _252_71 ) in
(let \_120_71 == StsKey( _250_71, _251_71 ) in
(let \_119_71 == YacName( Y_71 ) in
(let \_108_71 == StsKey( N_71, S_71 ) in
(#Negative_STS:<_120_71>, #key:_119_71, #Phil_positive_STS:<_108_71>)))))
| \_122_71 & (#id:\_251_71, #yac:\_252_71, #result:\_124_71,...)<-_121_71,
\_110_71 & (#id:\S_71, #yac:\Y_71, #result:\_112_71,...)<-_121_71,
_112_71 = "positive",
_124_71 = "negative",
\_126_71 & (#id:_251_71, #name:\_250_71,...)<-_125_71,
\_114_71 & (#id:S_71, #name:\N_71,...)<-_125_71};
primitive mk_YAC_72 ==
\_111_72 & (#ACE_STS_YAC:\_109_72, #ACE_STS:\_113_72,...) =>
{(let \_107_72 == YacName( Y_72 ) in
(let \_108_72 == StsKey( N_72, S_72 ) in
(#key:_107_72, #Phil_positive_STS:<_108_72>, #Negative_STS:<>)))
| \_110_72 & (#id:\S_72, #yac:\Y_72, #result:\_112_72,...)<-_109_72,
_112_72 = "positive",
\_114_72 & (#id:S_72, #name:\N_72,...)<-_113_72}
{+} (mk_YAC_71 @ _111_72);
primitive mk_YAC_70 ==
\_123_70 & (#ACE_STS_YAC:\_121_70, #ACE_STS:\_125_70,...) =>
{(let \_119_70 == YacName( Y_70 ) in
(let \_120_70 == StsKey( N_70, S_70 ) in
(#key:_119_70, #Negative_STS:<_120_70>, #Phil_positive_STS:<>)))
| \_122_70 & (#id:\S_70, #yac:\Y_70, #result:\_124_70,...)<-_121_70,
_124_70 = "negative",
\_126_70 & (#id:S_70, #name:\N_70,...)<-_125_70}
{+} (mk_YAC_72 @ _123_70);
primitive mk_GDB_id_74 ==
\_134_74 & (#ACE_STS:\_132_74,...) =>
{(let \_131_74 == StsKey(N_74, I_74 ) in
(#key:N_74, #locus_symbol:<L_74>,#Positive_STS:<_131_74>))
| \_133_74 & (#name:\N_74, #locus_symbol:\L_74,#id:\I_74,...)<-_132_74};
primitive mk_STS ==
\SRC => ("STS", (mk_STS_20 @ SRC));
primitive mk_YAC ==
\SRC => ("YAC", (mk_YAC_70 @ SRC));
primitive mk_GDB_id ==
\SRC => ("GDB_id", (mk_GDB_id_74 @ SRC));
primitive mk_Oligo ==
\SRC => ("Oligo", (mk_Oligo_16 @ SRC));