COSTA: COSt and Termination Analyzer for Java Bytecode
    
    /*
 *  Copyright (C) 2009  E.Albert, P.Arenas, S.Genaim, G.Puebla, and D.Zanardini
 *                      https://costa.ls.fi.upm.es
 *
 *  This program is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation, either version 3 of the License, or
 *  (at your option) any later version.
 *
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */
package pubs;
/**
 * A simple class for Binary Search Trees. It includes method copy()
 * which recursively produces a copy of a BST.
 * 
 * @author M.Zamalloa
 *
 */
class BST{
	private LinkedList data;
	private BST lc;
	private BST rc;

	public BST() {
		data = new Nil();
		lc = null;
		rc = null;
	}

	public BST copy() {
		BST aux = new BST();
		aux.data=data.copy();
		if (lc==null) aux.lc=null;
		else aux.lc=lc.copy();
		if (rc==null) aux.rc=null;
		else aux.rc=rc.copy();
		return aux;
	}

	public static void main(String[] args) {

	        
                BST test = new BST();
                // level 1
                test.lc = new BST();
                test.rc = new BST();
		// level 2
		test.lc.lc = new BST();
		test.lc.rc = new BST();
                test.rc.lc = new BST();
		test.rc.rc = new BST(); 
		// level 3
		test.lc.lc.lc=new BST();
                test.lc.lc.rc=new BST();
                test.lc.rc.lc=new BST();
                test.lc.rc.rc=new BST();
                test.rc.lc.lc=new BST();
                test.rc.lc.rc=new BST();
                test.rc.rc.lc=new BST();
                test.rc.rc.rc=new BST();
                // level 4
                test.lc.lc.lc.lc=new BST();
                test.lc.lc.lc.rc=new BST();
                test.lc.lc.rc.lc=new BST();
                test.lc.lc.rc.rc=new BST();
                test.lc.rc.lc.lc=new BST();
                test.lc.rc.lc.rc=new BST();
                test.lc.rc.rc.lc=new BST();
                test.lc.rc.rc.rc=new BST();
                test.rc.lc.lc.lc=new BST();
                test.rc.lc.lc.rc=new BST();
                test.rc.lc.rc.lc=new BST();
                test.rc.lc.rc.rc=new BST();
                test.rc.rc.lc.lc=new BST();
                test.rc.rc.lc.rc=new BST();
                test.rc.rc.rc.lc=new BST();
                test.rc.rc.rc.rc=new BST();
                // level 5
                test.lc.lc.lc.lc.lc=new BST();
                test.lc.lc.lc.lc.rc=new BST();
                test.lc.lc.lc.rc.lc=new BST();
                test.lc.lc.lc.rc.rc=new BST();
                test.lc.lc.rc.lc.lc=new BST();
		test.lc.lc.rc.lc.rc=new BST();
                test.lc.lc.rc.rc.lc=new BST();
		test.lc.lc.rc.rc.rc=new BST();
                test.lc.rc.lc.lc.lc=new BST();
		test.lc.rc.lc.lc.rc=new BST();
                test.lc.rc.lc.rc.lc=new BST();
		test.lc.rc.lc.rc.rc=new BST();
                test.lc.rc.rc.lc.lc=new BST();
		test.lc.rc.rc.lc.rc=new BST();
                test.lc.rc.rc.rc.lc=new BST();
		test.lc.rc.rc.rc.rc=new BST();
                test.rc.lc.lc.lc.lc=new BST();
		test.rc.lc.lc.lc.rc=new BST();
                test.rc.lc.lc.rc.lc=new BST();
		test.rc.lc.lc.rc.rc=new BST();
                test.rc.lc.rc.lc.lc=new BST();
		test.rc.lc.rc.lc.rc=new BST();
                test.rc.lc.rc.rc.lc=new BST();
		test.rc.lc.rc.rc.rc=new BST();
                test.rc.rc.lc.lc.lc=new BST();
		test.rc.rc.lc.lc.rc=new BST();
                test.rc.rc.lc.rc.lc=new BST();
		test.rc.rc.lc.rc.rc=new BST();
                test.rc.rc.rc.lc.lc=new BST();
		test.rc.rc.rc.lc.rc=new BST();
                test.rc.rc.rc.rc.lc=new BST();
		test.rc.rc.rc.rc.rc=new BST();
		// level 6
		test.lc.lc.lc.lc.lc.lc=new BST();
                test.lc.lc.lc.lc.rc.lc=new BST();
                test.lc.lc.lc.rc.lc.lc=new BST();
                test.lc.lc.lc.rc.rc.lc=new BST();
                test.lc.lc.rc.lc.lc.lc=new BST();
		test.lc.lc.rc.lc.rc.lc=new BST();
                test.lc.lc.rc.rc.lc.lc=new BST();
		test.lc.lc.rc.rc.rc.lc=new BST();
                test.lc.rc.lc.lc.lc.lc=new BST();
		test.lc.rc.lc.lc.rc.lc=new BST();
                test.lc.rc.lc.rc.lc.lc=new BST();
		test.lc.rc.lc.rc.rc.lc=new BST();
                test.lc.rc.rc.lc.lc.lc=new BST();
		test.lc.rc.rc.lc.rc.lc=new BST();
                test.lc.rc.rc.rc.lc.lc=new BST();
		test.lc.rc.rc.rc.rc.lc=new BST();
                test.rc.lc.lc.lc.lc.lc=new BST();
		test.rc.lc.lc.lc.rc.lc=new BST();
                test.rc.lc.lc.rc.lc.lc=new BST();
		test.rc.lc.lc.rc.rc.lc=new BST();
                test.rc.lc.rc.lc.lc.lc=new BST();
		test.rc.lc.rc.lc.rc.lc=new BST();
                test.rc.lc.rc.rc.lc.lc=new BST();
		test.rc.lc.rc.rc.rc.lc=new BST();
                test.rc.rc.lc.lc.lc.lc=new BST();
		test.rc.rc.lc.lc.rc.lc=new BST();
                test.rc.rc.lc.rc.lc.lc=new BST();
		test.rc.rc.lc.rc.rc.lc=new BST();
                test.rc.rc.rc.lc.lc.lc=new BST();
		test.rc.rc.rc.lc.rc.lc=new BST();
                test.rc.rc.rc.rc.lc.lc=new BST();
		test.rc.rc.rc.rc.rc.lc=new BST();
                test.lc.lc.lc.lc.lc.rc=new BST();
                test.lc.lc.lc.lc.rc.rc=new BST();
                test.lc.lc.lc.rc.lc.rc=new BST();
                test.lc.lc.lc.rc.rc.rc=new BST();
                test.lc.lc.rc.lc.lc.rc=new BST();
		test.lc.lc.rc.lc.rc.rc=new BST();
                test.lc.lc.rc.rc.lc.rc=new BST();
		test.lc.lc.rc.rc.rc.rc=new BST();
                test.lc.rc.lc.lc.lc.rc=new BST();
		test.lc.rc.lc.lc.rc.rc=new BST();
                test.lc.rc.lc.rc.lc.rc=new BST();
		test.lc.rc.lc.rc.rc.rc=new BST();
                test.lc.rc.rc.lc.lc.rc=new BST();
		test.lc.rc.rc.lc.rc.rc=new BST();
                test.lc.rc.rc.rc.lc.rc=new BST();
		test.lc.rc.rc.rc.rc.rc=new BST();
                test.rc.lc.lc.lc.lc.rc=new BST();
		test.rc.lc.lc.lc.rc.rc=new BST();
                test.rc.lc.lc.rc.lc.rc=new BST();
		test.rc.lc.lc.rc.rc.rc=new BST();
                test.rc.lc.rc.lc.lc.rc=new BST();
		test.rc.lc.rc.lc.rc.rc=new BST();
                test.rc.lc.rc.rc.lc.rc=new BST();
		test.rc.lc.rc.rc.rc.rc=new BST();
                test.rc.rc.lc.lc.lc.rc=new BST();
		test.rc.rc.lc.lc.rc.rc=new BST();
                test.rc.rc.lc.rc.lc.rc=new BST();
		test.rc.rc.lc.rc.rc.rc=new BST();
                test.rc.rc.rc.lc.lc.rc=new BST();
		test.rc.rc.rc.lc.rc.rc=new BST();
                test.rc.rc.rc.rc.lc.rc=new BST();
		test.rc.rc.rc.rc.rc.rc=new BST();
		// level 7
		test.lc.lc.lc.lc.lc.lc.lc=new BST();
                test.lc.lc.lc.lc.rc.lc.lc=new BST();
                test.lc.lc.lc.rc.lc.lc.lc=new BST();
                test.lc.lc.lc.rc.rc.lc.lc=new BST();
                test.lc.lc.rc.lc.lc.lc.lc=new BST();
		test.lc.lc.rc.lc.rc.lc.lc=new BST();
                test.lc.lc.rc.rc.lc.lc.lc=new BST();
		test.lc.lc.rc.rc.rc.lc.lc=new BST();
                test.lc.rc.lc.lc.lc.lc.lc=new BST();
		test.lc.rc.lc.lc.rc.lc.lc=new BST();
                test.lc.rc.lc.rc.lc.lc.lc=new BST();
		test.lc.rc.lc.rc.rc.lc.lc=new BST();
                test.lc.rc.rc.lc.lc.lc.lc=new BST();
		test.lc.rc.rc.lc.rc.lc.lc=new BST();
                test.lc.rc.rc.rc.lc.lc.lc=new BST();
		test.lc.rc.rc.rc.rc.lc.lc=new BST();
                test.rc.lc.lc.lc.lc.lc.lc=new BST();
		test.rc.lc.lc.lc.rc.lc.lc=new BST();
                test.rc.lc.lc.rc.lc.lc.lc=new BST();
		test.rc.lc.lc.rc.rc.lc.lc=new BST();
                test.rc.lc.rc.lc.lc.lc.lc=new BST();
		test.rc.lc.rc.lc.rc.lc.lc=new BST();
                test.rc.lc.rc.rc.lc.lc.lc=new BST();
		test.rc.lc.rc.rc.rc.lc.lc=new BST();
                test.rc.rc.lc.lc.lc.lc.lc=new BST();
		test.rc.rc.lc.lc.rc.lc.lc=new BST();
                test.rc.rc.lc.rc.lc.lc.lc=new BST();
		test.rc.rc.lc.rc.rc.lc.lc=new BST();
                test.rc.rc.rc.lc.lc.lc.lc=new BST();
		test.rc.rc.rc.lc.rc.lc.lc=new BST();
                test.rc.rc.rc.rc.lc.lc.lc=new BST();
		test.rc.rc.rc.rc.rc.lc.lc=new BST();
                test.lc.lc.lc.lc.lc.rc.lc=new BST();
                test.lc.lc.lc.lc.rc.rc.lc=new BST();
                test.lc.lc.lc.rc.lc.rc.lc=new BST();
                test.lc.lc.lc.rc.rc.rc.lc=new BST();
                test.lc.lc.rc.lc.lc.rc.lc=new BST();
		test.lc.lc.rc.lc.rc.rc.lc=new BST();
                test.lc.lc.rc.rc.lc.rc.lc=new BST();
		test.lc.lc.rc.rc.rc.rc.lc=new BST();
                test.lc.rc.lc.lc.lc.rc.lc=new BST();
		test.lc.rc.lc.lc.rc.rc.lc=new BST();
                test.lc.rc.lc.rc.lc.rc.lc=new BST();
		test.lc.rc.lc.rc.rc.rc.lc=new BST();
                test.lc.rc.rc.lc.lc.rc.lc=new BST();
		test.lc.rc.rc.lc.rc.rc.lc=new BST();
                test.lc.rc.rc.rc.lc.rc.lc=new BST();
		test.lc.rc.rc.rc.rc.rc.lc=new BST();
                test.rc.lc.lc.lc.lc.rc.lc=new BST();
		test.rc.lc.lc.lc.rc.rc.lc=new BST();
                test.rc.lc.lc.rc.lc.rc.lc=new BST();
		test.rc.lc.lc.rc.rc.rc.lc=new BST();
                test.rc.lc.rc.lc.lc.rc.lc=new BST();
		test.rc.lc.rc.lc.rc.rc.lc=new BST();
                test.rc.lc.rc.rc.lc.rc.lc=new BST();
		test.rc.lc.rc.rc.rc.rc.lc=new BST();
                test.rc.rc.lc.lc.lc.rc.lc=new BST();
		test.rc.rc.lc.lc.rc.rc.lc=new BST();
                test.rc.rc.lc.rc.lc.rc.lc=new BST();
		test.rc.rc.lc.rc.rc.rc.lc=new BST();
                test.rc.rc.rc.lc.lc.rc.lc=new BST();
		test.rc.rc.rc.lc.rc.rc.lc=new BST();
                test.rc.rc.rc.rc.lc.rc.lc=new BST();
		test.rc.rc.rc.rc.rc.rc.lc=new BST();
		
                test.lc.lc.lc.lc.lc.lc.rc=new BST();
                test.lc.lc.lc.lc.rc.lc.rc=new BST();
                test.lc.lc.lc.rc.lc.lc.rc=new BST();
                test.lc.lc.lc.rc.rc.lc.rc=new BST();
                test.lc.lc.rc.lc.lc.lc.rc=new BST();
		test.lc.lc.rc.lc.rc.lc.rc=new BST();
                test.lc.lc.rc.rc.lc.lc.rc=new BST();
		test.lc.lc.rc.rc.rc.lc.rc=new BST();
                test.lc.rc.lc.lc.lc.lc.rc=new BST();
		test.lc.rc.lc.lc.rc.lc.rc=new BST();
                test.lc.rc.lc.rc.lc.lc.rc=new BST();
		test.lc.rc.lc.rc.rc.lc.rc=new BST();
                test.lc.rc.rc.lc.lc.lc.rc=new BST();
		test.lc.rc.rc.lc.rc.lc.rc=new BST();
                test.lc.rc.rc.rc.lc.lc.rc=new BST();
		test.lc.rc.rc.rc.rc.lc.rc=new BST();
                test.rc.lc.lc.lc.lc.lc.rc=new BST();
		test.rc.lc.lc.lc.rc.lc.rc=new BST();
                test.rc.lc.lc.rc.lc.lc.rc=new BST();
		test.rc.lc.lc.rc.rc.lc.rc=new BST();
                test.rc.lc.rc.lc.lc.lc.rc=new BST();
		test.rc.lc.rc.lc.rc.lc.rc=new BST();
                test.rc.lc.rc.rc.lc.lc.rc=new BST();
		test.rc.lc.rc.rc.rc.lc.rc=new BST();
                test.rc.rc.lc.lc.lc.lc.rc=new BST();
		test.rc.rc.lc.lc.rc.lc.rc=new BST();
                test.rc.rc.lc.rc.lc.lc.rc=new BST();
		test.rc.rc.lc.rc.rc.lc.rc=new BST();
                test.rc.rc.rc.lc.lc.lc.rc=new BST();
		test.rc.rc.rc.lc.rc.lc.rc=new BST();
                test.rc.rc.rc.rc.lc.lc.rc=new BST();
		test.rc.rc.rc.rc.rc.lc.rc=new BST();
                test.lc.lc.lc.lc.lc.rc.rc=new BST();
                test.lc.lc.lc.lc.rc.rc.rc=new BST();
                test.lc.lc.lc.rc.lc.rc.rc=new BST();
                test.lc.lc.lc.rc.rc.rc.rc=new BST();
                test.lc.lc.rc.lc.lc.rc.rc=new BST();
		test.lc.lc.rc.lc.rc.rc.rc=new BST();
                test.lc.lc.rc.rc.lc.rc.rc=new BST();
		test.lc.lc.rc.rc.rc.rc.rc=new BST();
                test.lc.rc.lc.lc.lc.rc.rc=new BST();
		test.lc.rc.lc.lc.rc.rc.rc=new BST();
                test.lc.rc.lc.rc.lc.rc.rc=new BST();
		test.lc.rc.lc.rc.rc.rc.rc=new BST();
                test.lc.rc.rc.lc.lc.rc.rc=new BST();
		test.lc.rc.rc.lc.rc.rc.rc=new BST();
                test.lc.rc.rc.rc.lc.rc.rc=new BST();
		test.lc.rc.rc.rc.rc.rc.rc=new BST();
                test.rc.lc.lc.lc.lc.rc.rc=new BST();
		test.rc.lc.lc.lc.rc.rc.rc=new BST();
                test.rc.lc.lc.rc.lc.rc.rc=new BST();
		test.rc.lc.lc.rc.rc.rc.rc=new BST();
                test.rc.lc.rc.lc.lc.rc.rc=new BST();
		test.rc.lc.rc.lc.rc.rc.rc=new BST();
                test.rc.lc.rc.rc.lc.rc.rc=new BST();
		test.rc.lc.rc.rc.rc.rc.rc=new BST();
                test.rc.rc.lc.lc.lc.rc.rc=new BST();
		test.rc.rc.lc.lc.rc.rc.rc=new BST();
                test.rc.rc.lc.rc.lc.rc.rc=new BST();
		test.rc.rc.lc.rc.rc.rc.rc=new BST();
                test.rc.rc.rc.lc.lc.rc.rc=new BST();
		test.rc.rc.rc.lc.rc.rc.rc=new BST();
                test.rc.rc.rc.rc.lc.rc.rc=new BST();
		test.rc.rc.rc.rc.rc.rc.rc=new BST();

	

                // level 8
		test.lc.lc.lc.lc.lc.lc.lc.lc=new BST();
                test.lc.lc.lc.lc.rc.lc.lc.lc=new BST();
                test.lc.lc.lc.rc.lc.lc.lc.lc=new BST();
                test.lc.lc.lc.rc.rc.lc.lc.lc=new BST();
                test.lc.lc.rc.lc.lc.lc.lc.lc=new BST();
		test.lc.lc.rc.lc.rc.lc.lc.lc=new BST();
                test.lc.lc.rc.rc.lc.lc.lc.lc=new BST();
		test.lc.lc.rc.rc.rc.lc.lc.lc=new BST();
                test.lc.rc.lc.lc.lc.lc.lc.lc=new BST();
		test.lc.rc.lc.lc.rc.lc.lc.lc=new BST();
                test.lc.rc.lc.rc.lc.lc.lc.lc=new BST();
		test.lc.rc.lc.rc.rc.lc.lc.lc=new BST();
                test.lc.rc.rc.lc.lc.lc.lc.lc=new BST();
		test.lc.rc.rc.lc.rc.lc.lc.lc=new BST();
                test.lc.rc.rc.rc.lc.lc.lc.lc=new BST();
		test.lc.rc.rc.rc.rc.lc.lc.lc=new BST();
                test.rc.lc.lc.lc.lc.lc.lc.lc=new BST();
		test.rc.lc.lc.lc.rc.lc.lc.lc=new BST();
                test.rc.lc.lc.rc.lc.lc.lc.lc=new BST();
		test.rc.lc.lc.rc.rc.lc.lc.lc=new BST();
                test.rc.lc.rc.lc.lc.lc.lc.lc=new BST();
		test.rc.lc.rc.lc.rc.lc.lc.lc=new BST();
                test.rc.lc.rc.rc.lc.lc.lc.lc=new BST();
		test.rc.lc.rc.rc.rc.lc.lc.lc=new BST();
                test.rc.rc.lc.lc.lc.lc.lc.lc=new BST();
		test.rc.rc.lc.lc.rc.lc.lc.lc=new BST();
                test.rc.rc.lc.rc.lc.lc.lc.lc=new BST();
		test.rc.rc.lc.rc.rc.lc.lc.lc=new BST();
                test.rc.rc.rc.lc.lc.lc.lc.lc=new BST();
		test.rc.rc.rc.lc.rc.lc.lc.lc=new BST();
                test.rc.rc.rc.rc.lc.lc.lc.lc=new BST();
		test.rc.rc.rc.rc.rc.lc.lc.lc=new BST();
                test.lc.lc.lc.lc.lc.rc.lc.lc=new BST();
                test.lc.lc.lc.lc.rc.rc.lc.lc=new BST();
                test.lc.lc.lc.rc.lc.rc.lc.lc=new BST();
                test.lc.lc.lc.rc.rc.rc.lc.lc=new BST();
                test.lc.lc.rc.lc.lc.rc.lc.lc=new BST();
		test.lc.lc.rc.lc.rc.rc.lc.lc=new BST();
                test.lc.lc.rc.rc.lc.rc.lc.lc=new BST();
		test.lc.lc.rc.rc.rc.rc.lc.lc=new BST();
                test.lc.rc.lc.lc.lc.rc.lc.lc=new BST();
		test.lc.rc.lc.lc.rc.rc.lc.lc=new BST();
                test.lc.rc.lc.rc.lc.rc.lc.lc=new BST();
		test.lc.rc.lc.rc.rc.rc.lc.lc=new BST();
                test.lc.rc.rc.lc.lc.rc.lc.lc=new BST();
		test.lc.rc.rc.lc.rc.rc.lc.lc=new BST();
                test.lc.rc.rc.rc.lc.rc.lc.lc=new BST();
		test.lc.rc.rc.rc.rc.rc.lc.lc=new BST();
                test.rc.lc.lc.lc.lc.rc.lc.lc=new BST();
		test.rc.lc.lc.lc.rc.rc.lc.lc=new BST();
                test.rc.lc.lc.rc.lc.rc.lc.lc=new BST();
		test.rc.lc.lc.rc.rc.rc.lc.lc=new BST();
                test.rc.lc.rc.lc.lc.rc.lc.lc=new BST();
		test.rc.lc.rc.lc.rc.rc.lc.lc=new BST();
                test.rc.lc.rc.rc.lc.rc.lc.lc=new BST();
		test.rc.lc.rc.rc.rc.rc.lc.lc=new BST();
                test.rc.rc.lc.lc.lc.rc.lc.lc=new BST();
		test.rc.rc.lc.lc.rc.rc.lc.lc=new BST();
                test.rc.rc.lc.rc.lc.rc.lc.lc=new BST();
		test.rc.rc.lc.rc.rc.rc.lc.lc=new BST();
                test.rc.rc.rc.lc.lc.rc.lc.lc=new BST();
		test.rc.rc.rc.lc.rc.rc.lc.lc=new BST();
                test.rc.rc.rc.rc.lc.rc.lc.lc=new BST();
		test.rc.rc.rc.rc.rc.rc.lc.lc=new BST();
                test.lc.lc.lc.lc.lc.lc.rc.lc=new BST();
                test.lc.lc.lc.lc.rc.lc.rc.lc=new BST();
                test.lc.lc.lc.rc.lc.lc.rc.lc=new BST();
                test.lc.lc.lc.rc.rc.lc.rc.lc=new BST();
                test.lc.lc.rc.lc.lc.lc.rc.lc=new BST();
		test.lc.lc.rc.lc.rc.lc.rc.lc=new BST();
                test.lc.lc.rc.rc.lc.lc.rc.lc=new BST();
		test.lc.lc.rc.rc.rc.lc.rc.lc=new BST();
                test.lc.rc.lc.lc.lc.lc.rc.lc=new BST();
		test.lc.rc.lc.lc.rc.lc.rc.lc=new BST();
                test.lc.rc.lc.rc.lc.lc.rc.lc=new BST();
		test.lc.rc.lc.rc.rc.lc.rc.lc=new BST();
                test.lc.rc.rc.lc.lc.lc.rc.lc=new BST();
		test.lc.rc.rc.lc.rc.lc.rc.lc=new BST();
                test.lc.rc.rc.rc.lc.lc.rc.lc=new BST();
		test.lc.rc.rc.rc.rc.lc.rc.lc=new BST();
                test.rc.lc.lc.lc.lc.lc.rc.lc=new BST();
		test.rc.lc.lc.lc.rc.lc.rc.lc=new BST();
                test.rc.lc.lc.rc.lc.lc.rc.lc=new BST();
		test.rc.lc.lc.rc.rc.lc.rc.lc=new BST();
                test.rc.lc.rc.lc.lc.lc.rc.lc=new BST();
		test.rc.lc.rc.lc.rc.lc.rc.lc=new BST();
                test.rc.lc.rc.rc.lc.lc.rc.lc=new BST();
		test.rc.lc.rc.rc.rc.lc.rc.lc=new BST();
                test.rc.rc.lc.lc.lc.lc.rc.lc=new BST();
		test.rc.rc.lc.lc.rc.lc.rc.lc=new BST();
                test.rc.rc.lc.rc.lc.lc.rc.lc=new BST();
		test.rc.rc.lc.rc.rc.lc.rc.lc=new BST();
                test.rc.rc.rc.lc.lc.lc.rc.lc=new BST();
		test.rc.rc.rc.lc.rc.lc.rc.lc=new BST();
                test.rc.rc.rc.rc.lc.lc.rc.lc=new BST();
		test.rc.rc.rc.rc.rc.lc.rc.lc=new BST();
                test.lc.lc.lc.lc.lc.rc.rc.lc=new BST();
                test.lc.lc.lc.lc.rc.rc.rc.lc=new BST();
                test.lc.lc.lc.rc.lc.rc.rc.lc=new BST();
                test.lc.lc.lc.rc.rc.rc.rc.lc=new BST();
                test.lc.lc.rc.lc.lc.rc.rc.lc=new BST();
		test.lc.lc.rc.lc.rc.rc.rc.lc=new BST();
                test.lc.lc.rc.rc.lc.rc.rc.lc=new BST();
		test.lc.lc.rc.rc.rc.rc.rc.lc=new BST();
                test.lc.rc.lc.lc.lc.rc.rc.lc=new BST();
		test.lc.rc.lc.lc.rc.rc.rc.lc=new BST();
                test.lc.rc.lc.rc.lc.rc.rc.lc=new BST();
		test.lc.rc.lc.rc.rc.rc.rc.lc=new BST();
                test.lc.rc.rc.lc.lc.rc.rc.lc=new BST();
		test.lc.rc.rc.lc.rc.rc.rc.lc=new BST();
                test.lc.rc.rc.rc.lc.rc.rc.lc=new BST();
		test.lc.rc.rc.rc.rc.rc.rc.lc=new BST();
                test.rc.lc.lc.lc.lc.rc.rc.lc=new BST();
		test.rc.lc.lc.lc.rc.rc.rc.lc=new BST();
                test.rc.lc.lc.rc.lc.rc.rc.lc=new BST();
		test.rc.lc.lc.rc.rc.rc.rc.lc=new BST();
                test.rc.lc.rc.lc.lc.rc.rc.lc=new BST();
		test.rc.lc.rc.lc.rc.rc.rc.lc=new BST();
                test.rc.lc.rc.rc.lc.rc.rc.lc=new BST();
		test.rc.lc.rc.rc.rc.rc.rc.lc=new BST();
                test.rc.rc.lc.lc.lc.rc.rc.lc=new BST();
		test.rc.rc.lc.lc.rc.rc.rc.lc=new BST();
                test.rc.rc.lc.rc.lc.rc.rc.lc=new BST();
		test.rc.rc.lc.rc.rc.rc.rc.lc=new BST();
                test.rc.rc.rc.lc.lc.rc.rc.lc=new BST();
		test.rc.rc.rc.lc.rc.rc.rc.lc=new BST();
                test.rc.rc.rc.rc.lc.rc.rc.lc=new BST();
		test.rc.rc.rc.rc.rc.rc.rc.lc=new BST();



		test.lc.lc.lc.lc.lc.lc.lc.lc.rc=new BST();
                test.lc.lc.lc.lc.rc.lc.lc.lc.rc=new BST();
                test.lc.lc.lc.rc.lc.lc.lc.lc.rc=new BST();
                test.lc.lc.lc.rc.rc.lc.lc.lc.rc=new BST();
                test.lc.lc.rc.lc.lc.lc.lc.lc.rc=new BST();
		test.lc.lc.rc.lc.rc.lc.lc.lc.rc=new BST();
                test.lc.lc.rc.rc.lc.lc.lc.lc.rc=new BST();
		test.lc.lc.rc.rc.rc.lc.lc.lc.rc=new BST();
                test.lc.rc.lc.lc.lc.lc.lc.lc.rc=new BST();
		test.lc.rc.lc.lc.rc.lc.lc.lc.rc=new BST();
                test.lc.rc.lc.rc.lc.lc.lc.lc.rc=new BST();
		test.lc.rc.lc.rc.rc.lc.lc.lc.rc=new BST();
                test.lc.rc.rc.lc.lc.lc.lc.lc.rc=new BST();
		test.lc.rc.rc.lc.rc.lc.lc.lc.rc=new BST();
                test.lc.rc.rc.rc.lc.lc.lc.lc.rc=new BST();
		test.lc.rc.rc.rc.rc.lc.lc.lc.rc=new BST();
                test.rc.lc.lc.lc.lc.lc.lc.lc.rc=new BST();
		test.rc.lc.lc.lc.rc.lc.lc.lc.rc=new BST();
                test.rc.lc.lc.rc.lc.lc.lc.lc.rc=new BST();
		test.rc.lc.lc.rc.rc.lc.lc.lc.rc=new BST();
                test.rc.lc.rc.lc.lc.lc.lc.lc.rc=new BST();
		test.rc.lc.rc.lc.rc.lc.lc.lc.rc=new BST();
                test.rc.lc.rc.rc.lc.lc.lc.lc.rc=new BST();
		test.rc.lc.rc.rc.rc.lc.lc.lc.rc=new BST();
                test.rc.rc.lc.lc.lc.lc.lc.lc.rc=new BST();
		test.rc.rc.lc.lc.rc.lc.lc.lc.rc=new BST();
                test.rc.rc.lc.rc.lc.lc.lc.lc.rc=new BST();
		test.rc.rc.lc.rc.rc.lc.lc.lc.rc=new BST();
                test.rc.rc.rc.lc.lc.lc.lc.lc.rc=new BST();
		test.rc.rc.rc.lc.rc.lc.lc.lc.rc=new BST();
                test.rc.rc.rc.rc.lc.lc.lc.lc.rc=new BST();
		test.rc.rc.rc.rc.rc.lc.lc.lc.rc=new BST();
                test.lc.lc.lc.lc.lc.rc.lc.lc.rc=new BST();
                test.lc.lc.lc.lc.rc.rc.lc.lc.rc=new BST();
                test.lc.lc.lc.rc.lc.rc.lc.lc.rc=new BST();
                test.lc.lc.lc.rc.rc.rc.lc.lc.rc=new BST();
                test.lc.lc.rc.lc.lc.rc.lc.lc.rc=new BST();
		test.lc.lc.rc.lc.rc.rc.lc.lc.rc=new BST();
                test.lc.lc.rc.rc.lc.rc.lc.lc.rc=new BST();
		test.lc.lc.rc.rc.rc.rc.lc.lc.rc=new BST();
                test.lc.rc.lc.lc.lc.rc.lc.lc.rc=new BST();
		test.lc.rc.lc.lc.rc.rc.lc.lc.rc=new BST();
                test.lc.rc.lc.rc.lc.rc.lc.lc.rc=new BST();
		test.lc.rc.lc.rc.rc.rc.lc.lc.rc=new BST();
                test.lc.rc.rc.lc.lc.rc.lc.lc.rc=new BST();
		test.lc.rc.rc.lc.rc.rc.lc.lc.rc=new BST();
                test.lc.rc.rc.rc.lc.rc.lc.lc.rc=new BST();
		test.lc.rc.rc.rc.rc.rc.lc.lc.rc=new BST();
                test.rc.lc.lc.lc.lc.rc.lc.lc.rc=new BST();
		test.rc.lc.lc.lc.rc.rc.lc.lc.rc=new BST();
                test.rc.lc.lc.rc.lc.rc.lc.lc.rc=new BST();
		test.rc.lc.lc.rc.rc.rc.lc.lc.rc=new BST();
                test.rc.lc.rc.lc.lc.rc.lc.lc.rc=new BST();
		test.rc.lc.rc.lc.rc.rc.lc.lc.rc=new BST();
                test.rc.lc.rc.rc.lc.rc.lc.lc.rc=new BST();
		test.rc.lc.rc.rc.rc.rc.lc.lc.rc=new BST();
                test.rc.rc.lc.lc.lc.rc.lc.lc.rc=new BST();
		test.rc.rc.lc.lc.rc.rc.lc.lc.rc=new BST();
                test.rc.rc.lc.rc.lc.rc.lc.lc.rc=new BST();
		test.rc.rc.lc.rc.rc.rc.lc.lc.rc=new BST();
                test.rc.rc.rc.lc.lc.rc.lc.lc.rc=new BST();
		test.rc.rc.rc.lc.rc.rc.lc.lc.rc=new BST();
                test.rc.rc.rc.rc.lc.rc.lc.lc.rc=new BST();
		test.rc.rc.rc.rc.rc.rc.lc.lc.rc=new BST();
                test.lc.lc.lc.lc.lc.lc.rc.lc.rc=new BST();
                test.lc.lc.lc.lc.rc.lc.rc.lc.rc=new BST();
                test.lc.lc.lc.rc.lc.lc.rc.lc.rc=new BST();
                test.lc.lc.lc.rc.rc.lc.rc.lc.rc=new BST();
                test.lc.lc.rc.lc.lc.lc.rc.lc.rc=new BST();
		test.lc.lc.rc.lc.rc.lc.rc.lc.rc=new BST();
                test.lc.lc.rc.rc.lc.lc.rc.lc.rc=new BST();
		test.lc.lc.rc.rc.rc.lc.rc.lc.rc=new BST();
                test.lc.rc.lc.lc.lc.lc.rc.lc.rc=new BST();
		test.lc.rc.lc.lc.rc.lc.rc.lc.rc=new BST();
                test.lc.rc.lc.rc.lc.lc.rc.lc.rc=new BST();
		test.lc.rc.lc.rc.rc.lc.rc.lc.rc=new BST();
                test.lc.rc.rc.lc.lc.lc.rc.lc.rc=new BST();
		test.lc.rc.rc.lc.rc.lc.rc.lc.rc=new BST();
                test.lc.rc.rc.rc.lc.lc.rc.lc.rc=new BST();
		test.lc.rc.rc.rc.rc.lc.rc.lc.rc=new BST();
                test.rc.lc.lc.lc.lc.lc.rc.lc.rc=new BST();
		test.rc.lc.lc.lc.rc.lc.rc.lc.rc=new BST();
                test.rc.lc.lc.rc.lc.lc.rc.lc.rc=new BST();
		test.rc.lc.lc.rc.rc.lc.rc.lc.rc=new BST();
                test.rc.lc.rc.lc.lc.lc.rc.lc.rc=new BST();
		test.rc.lc.rc.lc.rc.lc.rc.lc.rc=new BST();
                test.rc.lc.rc.rc.lc.lc.rc.lc.rc=new BST();
		test.rc.lc.rc.rc.rc.lc.rc.lc.rc=new BST();
                test.rc.rc.lc.lc.lc.lc.rc.lc.rc=new BST();
		test.rc.rc.lc.lc.rc.lc.rc.lc.rc=new BST();
                test.rc.rc.lc.rc.lc.lc.rc.lc.rc=new BST();
		test.rc.rc.lc.rc.rc.lc.rc.lc.rc=new BST();
                test.rc.rc.rc.lc.lc.lc.rc.lc.rc=new BST();
		test.rc.rc.rc.lc.rc.lc.rc.lc.rc=new BST();
                test.rc.rc.rc.rc.lc.lc.rc.lc.rc=new BST();
		test.rc.rc.rc.rc.rc.lc.rc.lc.rc=new BST();
                test.lc.lc.lc.lc.lc.rc.rc.lc.rc=new BST();
                test.lc.lc.lc.lc.rc.rc.rc.lc.rc=new BST();
                test.lc.lc.lc.rc.lc.rc.rc.lc.rc=new BST();
                test.lc.lc.lc.rc.rc.rc.rc.lc.rc=new BST();
                test.lc.lc.rc.lc.lc.rc.rc.lc.rc=new BST();
		test.lc.lc.rc.lc.rc.rc.rc.lc.rc=new BST();
                test.lc.lc.rc.rc.lc.rc.rc.lc.rc=new BST();
		test.lc.lc.rc.rc.rc.rc.rc.lc.rc=new BST();
                test.lc.rc.lc.lc.lc.rc.rc.lc.rc=new BST();
		test.lc.rc.lc.lc.rc.rc.rc.lc.rc=new BST();
                test.lc.rc.lc.rc.lc.rc.rc.lc.rc=new BST();
		test.lc.rc.lc.rc.rc.rc.rc.lc.rc=new BST();
                test.lc.rc.rc.lc.lc.rc.rc.lc.rc=new BST();
		test.lc.rc.rc.lc.rc.rc.rc.lc.rc=new BST();
                test.lc.rc.rc.rc.lc.rc.rc.lc.rc=new BST();
		test.lc.rc.rc.rc.rc.rc.rc.lc.rc=new BST();
                test.rc.lc.lc.lc.lc.rc.rc.lc.rc=new BST();
		test.rc.lc.lc.lc.rc.rc.rc.lc.rc=new BST();
                test.rc.lc.lc.rc.lc.rc.rc.lc.rc=new BST();
		test.rc.lc.lc.rc.rc.rc.rc.lc.rc=new BST();
                test.rc.lc.rc.lc.lc.rc.rc.lc.rc=new BST();
		test.rc.lc.rc.lc.rc.rc.rc.lc.rc=new BST();
                test.rc.lc.rc.rc.lc.rc.rc.lc.rc=new BST();
		test.rc.lc.rc.rc.rc.rc.rc.lc.rc=new BST();
                test.rc.rc.lc.lc.lc.rc.rc.lc.rc=new BST();
		test.rc.rc.lc.lc.rc.rc.rc.lc.rc=new BST();
                test.rc.rc.lc.rc.lc.rc.rc.lc.rc=new BST();
		test.rc.rc.lc.rc.rc.rc.rc.lc.rc=new BST();
                test.rc.rc.rc.lc.lc.rc.rc.lc.rc=new BST();
		test.rc.rc.rc.lc.rc.rc.rc.lc.rc=new BST();
                test.rc.rc.rc.rc.lc.rc.rc.lc.rc=new BST();
		test.rc.rc.rc.rc.rc.rc.rc.lc.rc=new BST();
                BST result =test.copy();

	}
}