text:
## test to see if we get lik=0.0 with perfect data
## with a network of 15 taxa, 3 hyb
## Claudia September 2016

if !isdefined(:individualtest) individualtest = false; end

if(individualtest)
    include("../src/types.jl")
    include("../src/functions.jl")
end

if isdefined(:PhyloNetworks)
    PhyloNetworks.CHECKNET || error("need CHECKNET==true in PhyloNetworks to test snaq in test_correctLik.jl")
else
    CHECKNET || error("need CHECKNET==true to test snaq in test_correctLik.jl")
end

qvec = Quartet[];
push!(qvec,Quartet(1,["10","12","7","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","11","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","5","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","8","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","4","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","5","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","11","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","4","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","7","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","5","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","8","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","4","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","7","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","7","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","7","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","8","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","5","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","4","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","8","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","8","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","4","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","8","4"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","11","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","8","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","7","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","11","8"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","7","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","8","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","5","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","7","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","11","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","7","8"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","7","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","4","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","7","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","7","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","7","4"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","8","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","7","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","4","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","7","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","11","4"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","8","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","11","7"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","11","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","8","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","7","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","5","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","4","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","7","4"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","11","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","7","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","4","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","7","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","8","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","5","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","7","8"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","11","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","8","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","8","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","11","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","7","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","4","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","8","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","7","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","11","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","8","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","4","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","8","4"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","8","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","8","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","8","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","12","5","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","4","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","5","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","5","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","8","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","4","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","8","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","4","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","4","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","4","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","5","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","5","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","5","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","4","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","4","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","4","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","5","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","8","4"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","4","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","5","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","5","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","4","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","8","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","8","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","4","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","4","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","4","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","4","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","4","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","5","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","4","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","8","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","8","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","5","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","5","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","8","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","5","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","5","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","4","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","4","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","4","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","8","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","8","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","5","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","5","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","7","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","11","5","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","4","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","5","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","5","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","5","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","5","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","5","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","5","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","5","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","5","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","5","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","4","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","5","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","5","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","4","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","5","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","5","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","5","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","5","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","4","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","4","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","5","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","4","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","8","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","4","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","7","4"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","8","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","7","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","13","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","13","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","7","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","7","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","13","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","8","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","4","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","13","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","8","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","8","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","7","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","7","8"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","5","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","8","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","9","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","8","4"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","7","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","4","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","8","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","4","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","9","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","2","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","13","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","2","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","13","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","13","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","4","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","4","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","5","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","8","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","9","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","2","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","7","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","4","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","2","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","9","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","7","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","9","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","9","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","5","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","2","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","13","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","8","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","13","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","9","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","1","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","9","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","9","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","5","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","13","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","6","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","5","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","13","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","5","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","1","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","13","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","13","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","5","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","7","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","1","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","4","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","2","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","13","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","5","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","5","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","7","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","9","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","4","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","13","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","4","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["10","3","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","8","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","4","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","4","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","8","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","8","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","4","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","5","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","5","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","5","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","8","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","8","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","4","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","4","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","5","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","8","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","5","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","5","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","4","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","8","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","5","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","4","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","5","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","4","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","4","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","4","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","4","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","4","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","4","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","4","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","5","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","5","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","5","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","5","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","5","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","4","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","5","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","8","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","4","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","8","4"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","4","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","8","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","4","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","8","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","5","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","11","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","5","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","7","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","5","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","5","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","5","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","5","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","5","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","5","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","5","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","5","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","8","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","4","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","5","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","4","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","13","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","8","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","8","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","13","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","4","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","4","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","2","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","4","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","8","4"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","13","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","8","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","5","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","13","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","2","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","9","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","2","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","4","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","5","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","13","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","9","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","1","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","4","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","8","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","9","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","6","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","13","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","13","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","2","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","5","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","1","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","9","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","9","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","13","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","13","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","5","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","2","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","4","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","4","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","9","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","13","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","5","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","9","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","13","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","5","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","8","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","8","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","13","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","13","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","5","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","8","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","4","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","5","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","9","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","9","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","4","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","8","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","8","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","4","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","2","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","1","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","9","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","7","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","13","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","3","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["12","13","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","5","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","5","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","5","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","5","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","4","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","5","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","5","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","5","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","4","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","4","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","5","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","5","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","5","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","5","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","4","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","4","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","5","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","5","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","4","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","5","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","4","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","5","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","5","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","4","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","8","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","13","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","4","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","9","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","4","5"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","2","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","6","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","5","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","9","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","2","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","13","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","13","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","13","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","13","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","2","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","5","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","13","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","13","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","9","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","2","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","4","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","13","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","1","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","5","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","1","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","9","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","5","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","5","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","13","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","4","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","9","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","1","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","4","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","9","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","5","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","13","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","5","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","13","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","4","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","2","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","9","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","4","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","13","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","9","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","2","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","13","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","9","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","4","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","5","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","13","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","4","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","13","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","3","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","5","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["11","9","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","5","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","5","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","13","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","13","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","5","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","5","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","13","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","13","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","13","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","13","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","5","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","13","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","5","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","13","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","13","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","5","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","13","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","5","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","4","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","5","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","8","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","3","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","1","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","1","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","13","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","9","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","9","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","5","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","2","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","9","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","2","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","9","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","5","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","2","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","5","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","5","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","9","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","9","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","5","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","13","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","5","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","13","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","13","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","9","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","2","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","6","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","5","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","13","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","9","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","5","3"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","2","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","9","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","9","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","1","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["7","2","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","4","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","5","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","13","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","2","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","3","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","2","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","2","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","9","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","6","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","13","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","3","13"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","13","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","13","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","9","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","9","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","13","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","13","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","2","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","13","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","9","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","1","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","13","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","3","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","9","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","3","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","2","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","13","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","13","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","9","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","13","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","1","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","13","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","13","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","13","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","13","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","1","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","9","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","13","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","13","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","13","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","9","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","3","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","9","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","2","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","3","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","9","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","3","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","13","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","13","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","3","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","5","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","3","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","13","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","13","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["8","13","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","2","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","1","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","13","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","9","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","13","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","2","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","13","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","9","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","9","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","13","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","13","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","13","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","9","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","9","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","6","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","9","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","9","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","6","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","13","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","13","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","9","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","13","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","9","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","1","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","1","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","9","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","13","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","13","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","1","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","13","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","13","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","9","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","13","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","13","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","2","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","1","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","13","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","9","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","2","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","13","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","2","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","2","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","2","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","13","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","9","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","9","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","9","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","9","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","9","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","13","9","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","2","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","13","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","13","9"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","13","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","13","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","13","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","13","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","9","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","13","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","1","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","9","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","13","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","13","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","9","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","13","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","9","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","13","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","2","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","13","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","13","9","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","13","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","13","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","13","2"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","2","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","9","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","2","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","13","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","13","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","13","9","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","13","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["4","13","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","13","9","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","3","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","13","9","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","2","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["5","13","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","9","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","2","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["9","2","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","6","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","2","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","9","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","2","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","2","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","9","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","9","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","1","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","1","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["9","2","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","2","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["9","6","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["9","1","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["2","1","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["1","6","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","9","2","1"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","9","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["9","2","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","2","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","2","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["2","1","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","9","2","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["2","6","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","2","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","6","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","2","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","9","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","9","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","9","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","9","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","2","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","2","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","9","1","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","9","1","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["9","1","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["9","2","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","9","15","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","9","2","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["9","1","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["9","2","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","1","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","9","2","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","1","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["3","1","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","2","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["9","2","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","9","6","15"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["2","1","6","14"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","9","1","6"],[0.5,0.4,0.1]));
push!(qvec,Quartet(1,["13","1","15","14"],[0.5,0.4,0.1]));

dpre = DataCF(qvec);
net = readTopologyLevel1("(15,(1,((14,(#H1,(((12,13),(11,#H3)),(7,((10)#H3,(8,9)))))),((((2,3))#H2,(6,(5,(#H2,4)))))#H1)));");
extractQuartet!(net,dpre)
df = writeExpCF(dpre.quartet)

d = readTableCF!(df)
val = optBL!(net,d, .1,.1,.1,.1)
@test val ≈ 0.0 atol=1e-12 # || error("not correct likelihood with perfect data")


text:
# Optimisation.jl
module Optimisation

# Optimisation related source code

end # module

ext: jl


text:
@testset "Truncated SVD" begin
    Q = diagm([2.0^(-j) for j in 1:100])
    tol = sum(2.0^(-j) for j in 27:100)

    Q_red = truncated_svd(Q, tol = tol)
    @test rank(Q_red) == 26
    @test norm(Matrix(Q_red) - diagm([j <= 26 ? 2.0^(-j) : 0 for j in 1:100])) < 1e-9

    Q_red = truncated_svd(Q, rmin = 30)
    @test rank(Q_red) == 30
    @test norm(Matrix(Q_red) - diagm([j <= 30 ? 2.0^(-j) : 0 for j in 1:100])) < 1e-9

    Q_red = truncated_svd(Q, rmax = 12)
    @test rank(Q_red) == 12
    @test norm(Matrix(Q_red) - diagm([j <= 12 ? 2.0^(-j) : 0 for j in 1:100])) < 1e-9

    Q_red = truncated_svd(Q, TSVD(), rmax = 12)
    @test rank(Q_red) == 12
    @test norm(Matrix(Q_red) - diagm([j <= 12 ? 2.0^(-j) : 0 for j in 1:100])) < 1e-9

    Q_red = truncated_svd(Q, 12)
    @test rank(Q_red) == 12
    @test norm(Matrix(Q_red) - diagm([j <= 12 ? 2.0^(-j) : 0 for j in 1:100])) < 1e-9

    Q_red = truncated_svd(Q, 12, TSVD())
    @test rank(Q_red) == 12
    @test norm(Matrix(Q_red) - diagm([j <= 12 ? 2.0^(-j) : 0 for j in 1:100])) < 1e-9
end

@testset "Rounding SVDLikeRepresentation" begin
    Q = qr(randn(100,100)).Q
    D = Diagonal([2.0^(-j) for j in 1:100])
    A = exp(Matrix(Q))*D*exp(Matrix(transpose(Q)))
    LRA = truncated_svd(A, tol = 0.01)

    # svd based rounding
    LRA_rounded = round(LRA + LRA)
    @test typeof(LRA_rounded) <: SVDLikeRepresentation
    @test rank(LRA_rounded) == rank(2*LRA)
    @test norm(Matrix(LRA_rounded) - Matrix(2*LRA)) <= 1e-8

    LRA_rounded = round(LRA .* LRA)
    @test rank(LRA_rounded) == rank(LRA.^2)
    @test norm(Matrix(LRA_rounded) - Matrix(LRA.^2)) <= 1e-8

    # tsvd based rounding
    LRA_tsvd_rounded = round(LRA .* LRA, TSVD(), rmax = 5)
    LRA_svd_rounded = round(LRA .* LRA, rmax = 5)
    @test typeof(LRA_tsvd_rounded) <: SVDLikeRepresentation
    @test norm(Matrix(LRA_tsvd_rounded) - Matrix(LRA_svd_rounded)) <= 1e-8
end

@testset "Rounding TwoFactorRepresentation" begin
    Q = qr(randn(100,100)).Q
    D = Diagonal([2.0^(-j) for j in 1:100])
    A = exp(Matrix(Q))*D*exp(Matrix(transpose(Q)))
    LRA = TwoFactorRepresentation(truncated_svd(A, tol = 0.01))

    LRA_rounded = round(LRA + LRA)
    @test typeof(LRA_rounded) <: TwoFactorRepresentation
    @test rank(LRA_rounded) == rank(2*LRA)
    @test norm(Matrix(LRA_rounded) - Matrix(2*LRA)) <= 1e-8

    LRA_rounded = round(LRA .* LRA)
    @test rank(LRA_rounded) == rank(LRA.^2)
    @test norm(Matrix(LRA_rounded) - Matrix(LRA.^2)) <= 1e-8

    # tsvd based rounding
    LRA_tsvd_rounded = round(LRA .* LRA, TSVD(), rmax = 5)
    LRA_svd_rounded = round(LRA .* LRA, rmax = 5)
    @test typeof(LRA_tsvd_rounded) <: TwoFactorRepresentation
    @test norm(Matrix(LRA_tsvd_rounded) - Matrix(LRA_svd_rounded)) <= 1e-8
end