#use "treeEngine.ml";;
#use "treeDictionary.ml";;
let j = D.empty;;

let j = D.insert "HVOKL" S.empty j;;
let j = D.insert "OFVXL" S.empty j;;
let j = D.insert "KFNEN" S.empty j;;
let j = D.insert "GJZYW" S.empty j;;
let j = D.insert "HKENA" S.empty j;;
let j = D.insert "AGCKE" S.empty j;;
let j = D.insert "FUCIO" S.empty j;;
let j = D.insert "TCFYZ" S.empty j;;
let j = D.insert "VATLM" S.empty j;;
let j = D.insert "HMIVX" S.empty j;;
let j = D.insert "FGMPY" S.empty j;;
let j = D.insert "AUNXP" S.empty j;;
let j = D.insert "SJPFY" S.empty j;;
let j = D.insert "DFQUF" S.empty j;;
let j = D.insert "VLWBP" S.empty j;;
let j = D.insert "VSVOP" S.empty j;;
let j = D.insert "IQRAR" S.empty j;;
let j = D.insert "OVHSE" S.empty j;;
let j = D.insert "EVWKM" S.empty j;;
let j = D.insert "WQUPA" S.empty j;;
let j = D.insert "GSBMM" S.empty j;;
let j = D.insert "MIILA" S.empty j;;
let j = D.insert "YATNF" S.empty j;;
let j = D.insert "JHLEH" S.empty j;;
let j = D.insert "UBTEV" S.empty j;;

let j = D.insert "EHITR" S.empty j;;
let j = D.insert "XNZJI" S.empty j;;
let j = D.insert "AGBLS" S.empty j;;
let j = D.insert "GFZTJ" S.empty j;;
let j = D.insert "BDFHE" S.empty j;;
let j = D.insert "KQRWW" S.empty j;;
let j = D.insert "QTJYU" S.empty j;;
let j = D.insert "QERHI" S.empty j;;
let j = D.insert "MTIWE" S.empty j;;
let j = D.insert "WEEFU" S.empty j;;
let j = D.insert "XCMPH" S.empty j;;
let j = D.insert "HORRV" S.empty j;;
let j = D.insert "UROJJ" S.empty j;;
let j = D.insert "JSXDN" S.empty j;;
let j = D.insert "QSFBX" S.empty j;;
let j = D.insert "PTMQG" S.empty j;;
let j = D.insert "UIACM" S.empty j;;
let j = D.insert "ZETBA" S.empty j;;
let j = D.insert "OVBOC" S.empty j;;
let j = D.insert "LCSKX" S.empty j;;
let j = D.insert "PQYLU" S.empty j;;
let j = D.insert "QONCJ" S.empty j;;
let j = D.insert "XQBTH" S.empty j;;
let j = D.insert "MBVVI" S.empty j;;
let j = D.insert "WPKQT" S.empty j;;
let j = D.insert "HGWDZ" S.empty j;;
let j = D.insert "FTPMI" S.empty j;;


let j = D.insert "VFLDU" S.empty j;;
let j = D.insert "KVQIA" S.empty j;;
let j = D.insert "GRNRW" S.empty j;;
let j = D.insert "KQDJU" S.empty j;;
let j = D.insert "IVUDK" S.empty j;;
let j = D.insert "TQJAU" S.empty j;;
let j = D.insert "WJUTT" S.empty j;;
let j = D.insert "AAAOH" S.empty j;;
let j = D.insert "WFHHD" S.empty j;;
let j = D.insert "JGSID" S.empty j;;
let j = D.insert "XJLAP" S.empty j;;
let j = D.insert "NBHGV" S.empty j;;
let j = D.insert "RFZGR" S.empty j;;
let j = D.insert "WRBNW" S.empty j;;
let j = D.insert "KKRAA" S.empty j;;
let j = D.insert "GDJWA" S.empty j;;
let j = D.insert "ZXCQQ" S.empty j;;
let j = D.insert "COFQB" S.empty j;;
let j = D.insert "VAJMH" S.empty j;;
let j = D.insert "DYBGJ" S.empty j;;
let j = D.insert "GFGRZ" S.empty j;;
let j = D.insert "KWRJV" S.empty j;;
let j = D.insert "IRFYL" S.empty j;;
let j = D.insert "JIGHH" S.empty j;;
let j = D.insert "RWFTA" S.empty j;;
let j = D.insert "IPRIW" S.empty j;;
let j = D.insert "WDYQA" S.empty j;;
let j = D.insert "GWXJY" S.empty j;;
let j = D.insert "JDZNY" S.empty j;;
let j = D.insert "FXCKO" S.empty j;;
let j = D.insert "JASUG" S.empty j;;
let j = D.insert "JLETF" S.empty j;;
let j = D.insert "DIYGZ" S.empty j;;
let j = D.insert "IFQPI" S.empty j;;
let j = D.insert "VIRBG" S.empty j;;
let j = D.insert "ZQJEC" S.empty j;;
let j = D.insert "WAFMS" S.empty j;;
let j = D.insert "DWWZP" S.empty j;;
let j = D.insert "CHXDG" S.empty j;;
let j = D.insert "NYFOD" S.empty j;;
let j = D.insert "PCJYE" S.empty j;;
let j = D.insert "ZRHPF" S.empty j;;
let j = D.insert "JFTJR" S.empty j;;
let j = D.insert "AYAMJ" S.empty j;;
let j = D.insert "MOVUN" S.empty j;;
let j = D.insert "LULZS" S.empty j;;
let j = D.insert "VEGTY" S.empty j;;
let j = D.insert "NHCHT" S.empty j;;
D.rep_ok (D.remove "HVOKL" j);;
D.rep_ok (D.remove "OFVXL" j);;
D.rep_ok (D.remove "KFNEN" j);;
D.rep_ok (D.remove "GJZYW" j);;
D.rep_ok (D.remove "HKENA" j);;
D.rep_ok (D.remove "AGCKE" j);;
D.rep_ok (D.remove "FUCIO" j);;
D.rep_ok (D.remove "TCFYZ" j);;
D.rep_ok (D.remove "VATLM" j);;
D.rep_ok (D.remove "HMIVX" j);;
D.rep_ok (D.remove "FGMPY" j);;
D.rep_ok (D.remove "AUNXP" j);;
D.rep_ok (D.remove "SJPFY" j);;
D.rep_ok (D.remove "DFQUF" j);;
D.rep_ok (D.remove "VLWBP" j);;
D.rep_ok (D.remove "VSVOP" j);;
D.rep_ok (D.remove "IQRAR" j);;
D.rep_ok (D.remove "OVHSE" j);;
D.rep_ok (D.remove "EVWKM" j);;
D.rep_ok (D.remove "WQUPA" j);;
D.rep_ok (D.remove "GSBMM" j);;
D.rep_ok (D.remove "MIILA" j);;
D.rep_ok (D.remove "YATNF" j);;
D.rep_ok (D.remove "JHLEH" j);;
D.rep_ok (D.remove "UBTEV" j);;
D.rep_ok (D.remove "EHITR" j);;
D.rep_ok (D.remove "XNZJI" j);;
D.rep_ok (D.remove "AGBLS" j);;
D.rep_ok (D.remove "GFZTJ" j);;
D.rep_ok (D.remove "BDFHE" j);;
D.rep_ok (D.remove "KQRWW" j);;
D.rep_ok (D.remove "QTJYU" j);;
D.rep_ok (D.remove "QERHI" j);;
D.rep_ok (D.remove "MTIWE" j);;
D.rep_ok (D.remove "WEEFU" j);;
D.rep_ok (D.remove "XCMPH" j);;
D.rep_ok (D.remove "HORRV" j);;
D.rep_ok (D.remove "UROJJ" j);;
D.rep_ok (D.remove "JSXDN" j);;
D.rep_ok (D.remove "QSFBX" j);;
D.rep_ok (D.remove "PTMQG" j);;
D.rep_ok (D.remove "UIACM" j);;
D.rep_ok (D.remove "ZETBA" j);;
D.rep_ok (D.remove "OVBOC" j);;
D.rep_ok (D.remove "LCSKX" j);;
D.rep_ok (D.remove "PQYLU" j);;
D.rep_ok (D.remove "QONCJ" j);;
D.rep_ok (D.remove "XQBTH" j);;
D.rep_ok (D.remove "MBVVI" j);;
D.rep_ok (D.remove "WPKQT" j);;
D.rep_ok (D.remove "HGWDZ" j);;
D.rep_ok (D.remove "FTPMI" j);;
D.rep_ok (D.remove "VFLDU" j);;
D.rep_ok (D.remove "KVQIA" j);;
D.rep_ok (D.remove "GRNRW" j);;
D.rep_ok (D.remove "KQDJU" j);;
D.rep_ok (D.remove "IVUDK" j);;
D.rep_ok (D.remove "TQJAU" j);;
D.rep_ok (D.remove "WJUTT" j);;
D.rep_ok (D.remove "AAAOH" j);;
D.rep_ok (D.remove "WFHHD" j);;
D.rep_ok (D.remove "JGSID" j);;
D.rep_ok (D.remove "XJLAP" j);;
D.rep_ok (D.remove "NBHGV" j);;
D.rep_ok (D.remove "RFZGR" j);;
D.rep_ok (D.remove "WRBNW" j);;
D.rep_ok (D.remove "KKRAA" j);;
D.rep_ok (D.remove "GDJWA" j);;
D.rep_ok (D.remove "ZXCQQ" j);;
D.rep_ok (D.remove "COFQB" j);;
D.rep_ok (D.remove "VAJMH" j);;
D.rep_ok (D.remove "DYBGJ" j);;
D.rep_ok (D.remove "GFGRZ" j);;
D.rep_ok (D.remove "KWRJV" j);;
D.rep_ok (D.remove "IRFYL" j);;
D.rep_ok (D.remove "JIGHH" j);;
D.rep_ok (D.remove "RWFTA" j);;
D.rep_ok (D.remove "IPRIW" j);;
D.rep_ok (D.remove "WDYQA" j);;
D.rep_ok (D.remove "GWXJY" j);;
D.rep_ok (D.remove "JDZNY" j);;
D.rep_ok (D.remove "FXCKO" j);;
D.rep_ok (D.remove "JASUG" j);;
D.rep_ok (D.remove "JLETF" j);;
D.rep_ok (D.remove "DIYGZ" j);;
D.rep_ok (D.remove "IFQPI" j);;
D.rep_ok (D.remove "VIRBG" j);;
D.rep_ok (D.remove "ZQJEC" j);;
D.rep_ok (D.remove "WAFMS" j);;
D.rep_ok (D.remove "DWWZP" j);;
D.rep_ok (D.remove "CHXDG" j);;
D.rep_ok (D.remove "NYFOD" j);;
D.rep_ok (D.remove "PCJYE" j);;
D.rep_ok (D.remove "ZRHPF" j);;
D.rep_ok (D.remove "JFTJR" j);;
D.rep_ok (D.remove "AYAMJ" j);;
D.rep_ok (D.remove "MOVUN" j);;
D.rep_ok (D.remove "LULZS" j);;
D.rep_ok (D.remove "VEGTY" j);;
D.rep_ok (D.remove "NHCHT" j);;