Darwin---1.4.5.CSA-Mod.s

%------------------------------------------------------------------------------
% File     : Darwin---1.4.5
% Problem  : SYO581+1 : TPTP v8.1.0. Released v5.5.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : darwin -pl 0 -pmc true -to %d %s

% Computer : n008.cluster.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory   : 8042.1875MB
% OS       : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit  : 0s
% DateTime : Thu Jul 21 15:04:02 EDT 2022

% Result   : CounterSatisfiable 0.52s 0.72s
% Output   : Model 0.52s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.13  % Problem  : SYO581+1 : TPTP v8.1.0. Released v5.5.0.
% 0.12/0.13  % Command  : darwin -pl 0 -pmc true -to %d %s
% 0.13/0.35  % Computer : n008.cluster.edu
% 0.13/0.35  % Model    : x86_64 x86_64
% 0.13/0.35  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35  % Memory   : 8042.1875MB
% 0.13/0.35  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35  % CPULimit : 300
% 0.13/0.35  % DateTime : Fri Jul  8 23:00:08 EDT 2022
% 0.13/0.35  % CPUTime  : 
% 0.13/0.35  Defaulting to tptp format.
% 0.52/0.72  SZS status CounterSatisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.52/0.72  
% 0.52/0.72  MODEL (CONTEXT):
% 0.52/0.72  SZS output start Model for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.52/0.73  -__-v__(=0)
% 0.52/0.73  +__con898
% 0.52/0.73  +__con899
% 0.52/0.73  +__con900
% 0.52/0.73  +__con901
% 0.52/0.73  +__con903
% 0.52/0.73  +__con904
% 0.52/0.73  +__con905
% 0.52/0.73  +__con906
% 0.52/0.73  +__con908
% 0.52/0.73  +__con909
% 0.52/0.73  +__con910
% 0.52/0.73  +__con911
% 0.52/0.73  +__con913
% 0.52/0.73  +__con914
% 0.52/0.73  +__con915
% 0.52/0.73  +__con916
% 0.52/0.73  +__con918
% 0.52/0.73  +__con919
% 0.52/0.73  +__con920
% 0.52/0.73  +__con921
% 0.52/0.73  +__con923
% 0.52/0.73  +__con924
% 0.52/0.73  +__con925
% 0.52/0.73  +__con926
% 0.52/0.73  +__con928
% 0.52/0.73  +__con929
% 0.52/0.73  +__con930
% 0.52/0.73  +__con931
% 0.52/0.73  +__con933
% 0.52/0.73  +__con934
% 0.52/0.73  +__con935
% 0.52/0.73  +__con936
% 0.52/0.73  +__con938
% 0.52/0.73  +__con939
% 0.52/0.73  +__con940
% 0.52/0.73  +__con941
% 0.52/0.73  +__con943
% 0.52/0.73  +__con944
% 0.52/0.73  +__con945
% 0.52/0.73  +__con946
% 0.52/0.73  +__con948
% 0.52/0.73  +__con949
% 0.52/0.73  +__con950
% 0.52/0.73  +__con951
% 0.52/0.73  +__con953
% 0.52/0.73  +__con954
% 0.52/0.73  +__con955
% 0.52/0.73  +__con956
% 0.52/0.73  +__con981
% 0.52/0.73  -__con982
% 0.52/0.73  +__con983
% 0.52/0.73  +b48_buttercup10007(_0)
% 0.52/0.73  +b48_buttercup10013(esk14_0)
% 0.52/0.73  +b48_buttercup10013(esk15_0)
% 0.52/0.73  +b48_buttercup10013(esk16_0)
% 0.52/0.73  +b48_buttercup10013(esk153_0)
% 0.52/0.73  +b48_buttercup10013(esk325_0)
% 0.52/0.73  +b48_buttercup10013(esk390_0)
% 0.52/0.73  +b48_buttercup10013(esk391_0)
% 0.52/0.73  +b48_buttercup10013(esk301_0)
% 0.52/0.73  -b48_buttercup10013(esk42_0)
% 0.52/0.73  +b48_buttercup10019(esk301_0)
% 0.52/0.73  -b48_buttercup10019(esk16_0)
% 0.52/0.73  -b48_buttercup10019(esk42_0)
% 0.52/0.73  +b48_buttercup10021(esk391_0)
% 0.52/0.73  -b48_buttercup10021(esk15_0)
% 0.52/0.73  -b48_buttercup10021(esk42_0)
% 0.52/0.73  +b48_buttercup10022(esk390_0)
% 0.52/0.73  -b48_buttercup10022(esk14_0)
% 0.52/0.73  -b48_buttercup10022(esk42_0)
% 0.52/0.73  +b48_buttercup10024(esk202_0)
% 0.52/0.73  +b48_buttercup10024(esk201_0)
% 0.52/0.73  +b48_buttercup10024(esk187_0)
% 0.52/0.73  +b48_buttercup10024(esk170_0)
% 0.52/0.73  +b48_buttercup10024(esk394_0)
% 0.52/0.73  +b48_buttercup10024(esk17_0)
% 0.52/0.73  +b48_buttercup10024(esk62_0)
% 0.52/0.73  +b48_buttercup10024(esk367_0)
% 0.52/0.73  +b48_buttercup10024(esk373_0)
% 0.52/0.73  +b48_buttercup10024(esk371_0)
% 0.52/0.73  +b48_buttercup10024(esk454_0)
% 0.52/0.73  +b48_buttercup10024(esk457_0)
% 0.52/0.73  +b48_buttercup10024(esk458_0)
% 0.52/0.73  +b48_buttercup10029(esk170_0)
% 0.52/0.73  +b48_buttercup10029(esk394_0)
% 0.52/0.73  +b48_buttercup10029(esk458_0)
% 0.52/0.73  -b48_buttercup10029(esk17_0)
% 0.52/0.73  -b48_buttercup10029(esk62_0)
% 0.52/0.73  -b48_buttercup10029(esk42_0)
% 0.52/0.73  +b48_buttercup10031(esk187_0)
% 0.52/0.73  +b48_buttercup10031(esk373_0)
% 0.52/0.73  -b48_buttercup10031(esk17_0)
% 0.52/0.73  -b48_buttercup10031(esk42_0)
% 0.52/0.73  +b48_buttercup10034(esk202_0)
% 0.52/0.73  +b48_buttercup10034(esk371_0)
% 0.52/0.73  -b48_buttercup10034(esk17_0)
% 0.52/0.73  -b48_buttercup10034(esk42_0)
% 0.52/0.73  +b48_buttercup10035(esk188_0)
% 0.52/0.73  +b48_buttercup10035(esk372_0)
% 0.52/0.73  -b48_buttercup10035(esk42_0)
% 0.52/0.73  +b48_buttercup10043(esk97_0)
% 0.52/0.73  +b48_buttercup10043(esk244_0)
% 0.52/0.73  +b48_buttercup10045(esk99_0)
% 0.52/0.73  +b48_buttercup10045(esk241_0)
% 0.52/0.73  +b48_buttercup10046(esk101_0)
% 0.52/0.73  +b48_buttercup10046(esk102_0)
% 0.52/0.73  +b48_buttercup10046(esk223_0)
% 0.52/0.73  +b48_buttercup10046(esk430_0)
% 0.52/0.73  +b48_buttercup10046(esk243_0)
% 0.52/0.73  +b48_buttercup10046(esk428_0)
% 0.52/0.73  -b48_buttercup10046(esk42_0)
% 0.52/0.73  +b48_buttercup10050(esk223_0)
% 0.52/0.73  +b48_buttercup10050(esk430_0)
% 0.52/0.73  -b48_buttercup10050(esk42_0)
% 0.52/0.73  +b48_buttercup10052(esk101_0)
% 0.52/0.73  +b48_buttercup10052(esk428_0)
% 0.52/0.73  -b48_buttercup10052(esk42_0)
% 0.52/0.73  +b48_buttercup10054(esk136_0)
% 0.52/0.73  +b48_buttercup10054(esk219_0)
% 0.52/0.73  +b48_buttercup10054(esk28_0)
% 0.52/0.73  +b48_buttercup10054(esk31_0)
% 0.52/0.73  +b48_buttercup10054(esk32_0)
% 0.52/0.73  +b48_buttercup10054(esk135_0)
% 0.52/0.73  +b48_buttercup10054(esk186_0)
% 0.52/0.73  +b48_buttercup10054(esk117_0)
% 0.52/0.73  +b48_buttercup10054(esk435_0)
% 0.52/0.73  +b48_buttercup10054(esk426_0)
% 0.52/0.73  +b48_buttercup10054(esk295_0)
% 0.52/0.73  +b48_buttercup10054(esk293_0)
% 0.52/0.73  +b48_buttercup10054(esk269_0)
% 0.52/0.73  +b48_buttercup10054(esk270_0)
% 0.52/0.73  +b48_buttercup10054(esk273_0)
% 0.52/0.73  -b48_buttercup10054(esk42_0)
% 0.52/0.73  +b48_buttercup10058(esk136_0)
% 0.52/0.73  +b48_buttercup10058(esk435_0)
% 0.52/0.73  -b48_buttercup10058(esk42_0)
% 0.52/0.73  +b48_buttercup10065(esk186_0)
% 0.52/0.73  +b48_buttercup10065(esk295_0)
% 0.52/0.73  -b48_buttercup10065(esk42_0)
% 0.52/0.73  +b48_buttercup10068(esk293_0)
% 0.52/0.73  -b48_buttercup10068(esk32_0)
% 0.52/0.73  -b48_buttercup10068(esk42_0)
% 0.52/0.73  +b48_buttercup10070(esk269_0)
% 0.52/0.73  -b48_buttercup10070(esk31_0)
% 0.52/0.73  -b48_buttercup10070(esk42_0)
% 0.52/0.73  +b48_buttercup10072(esk117_0)
% 0.52/0.73  +b48_buttercup10072(esk270_0)
% 0.52/0.73  -b48_buttercup10072(esk42_0)
% 0.52/0.73  +b48_buttercup10075(esk273_0)
% 0.52/0.73  -b48_buttercup10075(esk28_0)
% 0.52/0.73  -b48_buttercup10075(esk42_0)
% 0.52/0.73  +b48_buttercup10076(esk113_0)
% 0.52/0.73  +b48_buttercup10076(esk274_0)
% 0.52/0.73  -b48_buttercup10076(esk42_0)
% 0.52/0.73  +b48_buttercup10082(esk98_0)
% 0.52/0.73  +b48_buttercup10082(esk332_0)
% 0.52/0.73  -b48_buttercup10082(esk42_0)
% 0.52/0.73  +b48_buttercup10085(esk132_0)
% 0.52/0.73  +b48_buttercup10085(esk362_0)
% 0.52/0.73  -b48_buttercup10085(esk38_0)
% 0.52/0.73  -b48_buttercup10085(esk42_0)
% 0.52/0.73  +b48_buttercup10086(esk182_0)
% 0.52/0.73  +b48_buttercup10086(esk345_0)
% 0.52/0.73  -b48_buttercup10086(esk42_0)
% 0.52/0.73  +b48_buttercup10092(esk163_0)
% 0.52/0.73  +b48_buttercup10092(esk338_0)
% 0.52/0.73  -b48_buttercup10092(esk76_0)
% 0.52/0.73  -b48_buttercup10092(esk42_0)
% 0.52/0.73  +b48_buttercup10098(esk213_0)
% 0.52/0.73  +b48_buttercup10098(esk146_0)
% 0.52/0.73  +b48_buttercup10098(esk23_0)
% 0.52/0.73  +b48_buttercup10098(esk47_0)
% 0.52/0.73  +b48_buttercup10098(esk48_0)
% 0.52/0.73  +b48_buttercup10098(esk49_0)
% 0.52/0.73  +b48_buttercup10098(esk127_0)
% 0.52/0.73  +b48_buttercup10098(esk25_0)
% 0.52/0.73  +b48_buttercup10098(esk26_0)
% 0.52/0.73  +b48_buttercup10098(esk203_0)
% 0.52/0.73  +b48_buttercup10098(esk396_0)
% 0.52/0.73  +b48_buttercup10098(esk24_0)
% 0.52/0.73  +b48_buttercup10098(esk53_0)
% 0.52/0.73  +b48_buttercup10098(esk344_0)
% 0.52/0.73  +b48_buttercup10098(esk397_0)
% 0.52/0.73  +b48_buttercup10098(esk399_0)
% 0.52/0.73  +b48_buttercup10098(esk400_0)
% 0.52/0.73  +b48_buttercup10098(esk401_0)
% 0.52/0.73  +b48_buttercup10098(esk424_0)
% 0.52/0.73  +b48_buttercup10098(esk423_0)
% 0.52/0.73  +b48_buttercup10098(esk459_0)
% 0.52/0.73  +b48_buttercup10098(esk462_0)
% 0.52/0.73  +b48_buttercup10098(esk463_0)
% 0.52/0.73  +b48_buttercup10098(esk464_0)
% 0.52/0.73  +b48_buttercup10098(esk467_0)
% 0.52/0.73  +b48_buttercup10098(esk468_0)
% 0.52/0.73  +b48_buttercup10098(esk469_0)
% 0.52/0.73  +b48_buttercup10098(esk472_0)
% 0.52/0.73  +b48_buttercup10098(esk473_0)
% 0.52/0.73  +b48_buttercup10098(esk474_0)
% 0.52/0.73  +b48_buttercup10098(esk477_0)
% 0.52/0.73  +b48_buttercup10098(esk478_0)
% 0.52/0.73  +b48_buttercup10098(esk479_0)
% 0.52/0.73  +b48_buttercup10098(esk482_0)
% 0.52/0.73  +b48_buttercup10098(esk483_0)
% 0.52/0.73  +b48_buttercup10098(esk484_0)
% 0.52/0.73  +b48_buttercup10098(esk487_0)
% 0.52/0.73  +b48_buttercup10098(esk488_0)
% 0.52/0.73  +b48_buttercup10098(esk504_0)
% 0.52/0.73  +b48_buttercup10098(esk507_0)
% 0.52/0.73  +b48_buttercup10098(esk508_0)
% 0.52/0.73  +b48_buttercup10102(esk396_0)
% 0.52/0.73  +b48_buttercup10102(esk508_0)
% 0.52/0.73  -b48_buttercup10102(esk23_0)
% 0.52/0.73  -b48_buttercup10102(esk24_0)
% 0.52/0.73  -b48_buttercup10102(esk53_0)
% 0.52/0.73  -b48_buttercup10102(esk42_0)
% 0.52/0.73  +b48_buttercup10104(esk397_0)
% 0.52/0.73  +b48_buttercup10104(esk483_0)
% 0.52/0.73  -b48_buttercup10104(esk48_0)
% 0.52/0.73  -b48_buttercup10104(esk24_0)
% 0.52/0.73  -b48_buttercup10104(esk53_0)
% 0.52/0.73  -b48_buttercup10104(esk42_0)
% 0.52/0.73  +b48_buttercup10107(esk213_0)
% 0.52/0.73  +b48_buttercup10107(esk399_0)
% 0.52/0.73  +b48_buttercup10107(esk478_0)
% 0.52/0.73  -b48_buttercup10107(esk24_0)
% 0.52/0.73  -b48_buttercup10107(esk53_0)
% 0.52/0.73  -b48_buttercup10107(esk42_0)
% 0.52/0.73  +b48_buttercup10108(esk400_0)
% 0.52/0.73  +b48_buttercup10108(esk473_0)
% 0.52/0.73  -b48_buttercup10108(esk47_0)
% 0.52/0.73  -b48_buttercup10108(esk24_0)
% 0.52/0.73  -b48_buttercup10108(esk53_0)
% 0.52/0.73  -b48_buttercup10108(esk42_0)
% 0.52/0.73  +b48_buttercup10109(esk401_0)
% 0.52/0.73  +b48_buttercup10109(esk468_0)
% 0.52/0.73  -b48_buttercup10109(esk26_0)
% 0.52/0.73  -b48_buttercup10109(esk24_0)
% 0.52/0.73  -b48_buttercup10109(esk53_0)
% 0.52/0.73  -b48_buttercup10109(esk42_0)
% 0.52/0.73  +b48_buttercup10110(esk424_0)
% 0.52/0.73  +b48_buttercup10110(esk488_0)
% 0.52/0.73  -b48_buttercup10110(esk49_0)
% 0.52/0.73  -b48_buttercup10110(esk24_0)
% 0.52/0.73  -b48_buttercup10110(esk53_0)
% 0.52/0.73  -b48_buttercup10110(esk42_0)
% 0.52/0.73  +b48_buttercup10111(esk423_0)
% 0.52/0.73  +b48_buttercup10111(esk463_0)
% 0.52/0.73  -b48_buttercup10111(esk25_0)
% 0.52/0.73  -b48_buttercup10111(esk24_0)
% 0.52/0.73  -b48_buttercup10111(esk53_0)
% 0.52/0.73  -b48_buttercup10111(esk42_0)
% 0.52/0.73  +b48_buttercup10115(esk81_0)
% 0.52/0.73  +b48_buttercup10115(esk216_0)
% 0.52/0.73  +b48_buttercup10115(esk419_0)
% 0.52/0.73  +b48_buttercup10115(esk421_0)
% 0.52/0.73  +b48_buttercup10115(esk353_0)
% 0.52/0.73  -b48_buttercup10115(esk42_0)
% 0.52/0.73  +b48_buttercup10119(esk419_0)
% 0.52/0.73  -b48_buttercup10119(esk42_0)
% 0.52/0.73  +b48_buttercup10120(esk353_0)
% 0.52/0.73  -b48_buttercup10120(esk81_0)
% 0.52/0.73  -b48_buttercup10120(esk42_0)
% 0.52/0.73  +b48_buttercup10121(esk175_0)
% 0.52/0.73  +b48_buttercup10121(esk354_0)
% 0.52/0.73  -b48_buttercup10121(esk42_0)
% 0.52/0.73  +b48_buttercup10130(esk65_0)
% 0.52/0.73  +b48_buttercup10130(esk66_0)
% 0.52/0.73  +b48_buttercup10130(esk190_0)
% 0.52/0.73  +b48_buttercup10130(esk377_0)
% 0.52/0.73  +b48_buttercup10130(esk376_0)
% 0.52/0.73  +b48_buttercup10130(esk375_0)
% 0.52/0.73  -b48_buttercup10130(esk42_0)
% 0.52/0.73  +b48_buttercup10133(esk377_0)
% 0.52/0.73  -b48_buttercup10133(esk65_0)
% 0.52/0.73  -b48_buttercup10133(esk42_0)
% 0.52/0.73  +b48_buttercup10134(esk375_0)
% 0.52/0.73  -b48_buttercup10134(esk66_0)
% 0.52/0.73  -b48_buttercup10134(esk42_0)
% 0.52/0.73  +b48_buttercup10143(esk171_0)
% 0.52/0.73  +b48_buttercup10143(esk389_0)
% 0.52/0.73  -b48_buttercup10143(esk42_0)
% 0.52/0.73  +b48_buttercup10150(esk3_0)
% 0.52/0.73  +b48_buttercup10150(esk4_0)
% 0.52/0.73  +b48_buttercup10150(esk43_0)
% 0.52/0.73  +b48_buttercup10150(esk44_0)
% 0.52/0.73  +b48_buttercup10150(esk45_0)
% 0.52/0.73  +b48_buttercup10150(esk149_0)
% 0.52/0.73  +b48_buttercup10150(esk324_0)
% 0.52/0.73  +b48_buttercup10150(esk322_0)
% 0.52/0.73  +b48_buttercup10150(esk323_0)
% 0.52/0.73  +b48_buttercup10150(esk327_0)
% 0.52/0.73  +b48_buttercup10150(esk326_0)
% 0.52/0.73  +b48_buttercup10150(esk262_0)
% 0.52/0.73  -b48_buttercup10150(esk42_0)
% 0.52/0.73  +b48_buttercup10154(esk324_0)
% 0.52/0.73  -b48_buttercup10154(esk4_0)
% 0.52/0.73  -b48_buttercup10154(esk42_0)
% 0.52/0.73  +b48_buttercup10156(esk323_0)
% 0.52/0.73  -b48_buttercup10156(esk3_0)
% 0.52/0.73  -b48_buttercup10156(esk42_0)
% 0.52/0.73  +b48_buttercup10158(esk327_0)
% 0.52/0.73  -b48_buttercup10158(esk43_0)
% 0.52/0.73  -b48_buttercup10158(esk42_0)
% 0.52/0.73  +b48_buttercup10159(esk326_0)
% 0.52/0.73  -b48_buttercup10159(esk45_0)
% 0.52/0.73  -b48_buttercup10159(esk42_0)
% 0.52/0.73  +b48_buttercup10160(esk262_0)
% 0.52/0.73  -b48_buttercup10160(esk44_0)
% 0.52/0.73  -b48_buttercup10160(esk42_0)
% 0.52/0.73  +b48_buttercup10161(esk69_0)
% 0.52/0.73  +b48_buttercup10161(esk70_0)
% 0.52/0.73  +b48_buttercup10161(esk71_0)
% 0.52/0.73  +b48_buttercup10161(esk95_0)
% 0.52/0.73  +b48_buttercup10161(esk238_0)
% 0.52/0.73  +b48_buttercup10161(esk237_0)
% 0.52/0.73  +b48_buttercup10161(esk239_0)
% 0.52/0.73  +b48_buttercup10161(esk234_0)
% 0.52/0.73  -b48_buttercup10161(esk42_0)
% 0.52/0.73  +b48_buttercup10166(esk238_0)
% 0.52/0.73  -b48_buttercup10166(esk70_0)
% 0.52/0.73  -b48_buttercup10166(esk42_0)
% 0.52/0.73  +b48_buttercup10167(esk239_0)
% 0.52/0.73  -b48_buttercup10167(esk71_0)
% 0.52/0.73  -b48_buttercup10167(esk42_0)
% 0.52/0.73  +b48_buttercup10169(esk234_0)
% 0.52/0.73  -b48_buttercup10169(esk69_0)
% 0.52/0.73  -b48_buttercup10169(esk42_0)
% 0.52/0.73  +b48_buttercup10170(esk68_0)
% 0.52/0.73  +b48_buttercup10170(esk72_0)
% 0.52/0.73  +b48_buttercup10170(esk114_0)
% 0.52/0.73  +b48_buttercup10170(esk266_0)
% 0.52/0.73  +b48_buttercup10170(esk265_0)
% 0.52/0.73  +b48_buttercup10170(esk267_0)
% 0.52/0.73  -b48_buttercup10170(esk42_0)
% 0.52/0.73  +b48_buttercup10173(esk266_0)
% 0.52/0.73  -b48_buttercup10173(esk68_0)
% 0.52/0.73  -b48_buttercup10173(esk42_0)
% 0.52/0.73  +b48_buttercup10174(esk267_0)
% 0.52/0.73  -b48_buttercup10174(esk72_0)
% 0.52/0.73  -b48_buttercup10174(esk42_0)
% 0.52/0.73  +b48_buttercup10176(esk231_0)
% 0.52/0.73  +b48_buttercup10176(esk268_0)
% 0.52/0.73  -b48_buttercup10176(esk42_0)
% 0.52/0.73  +b48_buttercup10179(esk263_0)
% 0.52/0.73  -b48_buttercup10179(esk36_0)
% 0.52/0.73  -b48_buttercup10179(esk42_0)
% 0.52/0.73  +b48_buttercup10180(esk211_0)
% 0.52/0.73  +b48_buttercup10180(esk447_0)
% 0.52/0.73  -b48_buttercup10180(esk42_0)
% 0.52/0.73  +b48_buttercup10182(esk320_0)
% 0.52/0.73  +b48_buttercup10186(esk21_0)
% 0.52/0.73  +b48_buttercup10186(esk22_0)
% 0.52/0.73  +b48_buttercup10186(esk79_0)
% 0.52/0.73  +b48_buttercup10186(esk228_0)
% 0.52/0.73  +b48_buttercup10186(esk443_0)
% 0.52/0.73  +b48_buttercup10186(esk415_0)
% 0.52/0.73  +b48_buttercup10186(esk441_0)
% 0.52/0.73  +b48_buttercup10186(esk439_0)
% 0.52/0.73  -b48_buttercup10186(esk42_0)
% 0.52/0.73  +b48_buttercup10191(esk443_0)
% 0.52/0.73  -b48_buttercup10191(esk79_0)
% 0.52/0.73  -b48_buttercup10191(esk42_0)
% 0.52/0.73  +b48_buttercup10193(esk441_0)
% 0.52/0.73  -b48_buttercup10193(esk21_0)
% 0.52/0.73  -b48_buttercup10193(esk42_0)
% 0.52/0.73  +b48_buttercup10195(esk439_0)
% 0.52/0.73  -b48_buttercup10195(esk22_0)
% 0.52/0.73  -b48_buttercup10195(esk42_0)
% 0.52/0.73  +b48_buttercup10196(esk438_0)
% 0.52/0.73  +b48_buttercup10197(esk437_0)
% 0.52/0.73  +b48_buttercup10198(esk402_0)
% 0.52/0.73  +b48_buttercup10199(esk100_0)
% 0.52/0.73  +b48_buttercup10199(esk445_0)
% 0.52/0.73  -b48_buttercup10199(esk42_0)
% 0.52/0.73  +b48_buttercup10201(esk147_0)
% 0.52/0.73  +b48_buttercup10201(esk104_0)
% 0.52/0.73  +b48_buttercup10201(esk226_0)
% 0.52/0.73  +b48_buttercup10201(esk222_0)
% 0.52/0.73  +b48_buttercup10201(esk207_0)
% 0.52/0.73  +b48_buttercup10201(esk157_0)
% 0.52/0.73  +b48_buttercup10201(esk291_0)
% 0.52/0.73  +b48_buttercup10201(esk20_0)
% 0.52/0.73  +b48_buttercup10201(esk73_0)
% 0.52/0.73  +b48_buttercup10201(esk74_0)
% 0.52/0.73  +b48_buttercup10201(esk248_0)
% 0.52/0.73  +b48_buttercup10201(esk434_0)
% 0.52/0.73  +b48_buttercup10201(esk351_0)
% 0.52/0.73  +b48_buttercup10201(esk433_0)
% 0.52/0.73  +b48_buttercup10201(esk406_0)
% 0.52/0.73  +b48_buttercup10201(esk489_0)
% 0.52/0.73  +b48_buttercup10201(esk492_0)
% 0.52/0.73  +b48_buttercup10201(esk493_0)
% 0.52/0.73  +b48_buttercup10201(esk494_0)
% 0.52/0.73  +b48_buttercup10201(esk497_0)
% 0.52/0.73  +b48_buttercup10201(esk498_0)
% 0.52/0.73  +b48_buttercup10208(esk207_0)
% 0.52/0.73  +b48_buttercup10208(esk291_0)
% 0.52/0.73  +b48_buttercup10208(esk498_0)
% 0.52/0.73  -b48_buttercup10208(esk20_0)
% 0.52/0.73  -b48_buttercup10208(esk74_0)
% 0.52/0.73  -b48_buttercup10208(esk42_0)
% 0.52/0.73  +b48_buttercup10210(esk226_0)
% 0.52/0.73  +b48_buttercup10210(esk434_0)
% 0.52/0.73  -b48_buttercup10210(esk20_0)
% 0.52/0.73  -b48_buttercup10210(esk42_0)
% 0.52/0.73  +b48_buttercup10214(esk157_0)
% 0.52/0.73  +b48_buttercup10214(esk351_0)
% 0.52/0.73  +b48_buttercup10214(esk493_0)
% 0.52/0.73  -b48_buttercup10214(esk20_0)
% 0.52/0.73  -b48_buttercup10214(esk73_0)
% 0.52/0.73  -b48_buttercup10214(esk42_0)
% 0.52/0.73  +b48_buttercup10217(esk222_0)
% 0.52/0.73  +b48_buttercup10217(esk433_0)
% 0.52/0.73  -b48_buttercup10217(esk20_0)
% 0.52/0.73  -b48_buttercup10217(esk42_0)
% 0.52/0.73  +b48_buttercup10220(esk147_0)
% 0.52/0.73  +b48_buttercup10220(esk406_0)
% 0.52/0.73  -b48_buttercup10220(esk20_0)
% 0.52/0.73  -b48_buttercup10220(esk42_0)
% 0.52/0.73  +b48_buttercup10222(esk5_0)
% 0.52/0.73  +b48_buttercup10222(esk6_0)
% 0.52/0.73  +b48_buttercup10222(esk210_0)
% 0.52/0.73  +b48_buttercup10222(esk84_0)
% 0.52/0.73  +b48_buttercup10222(esk442_0)
% 0.52/0.73  +b48_buttercup10222(esk75_0)
% 0.52/0.73  +b48_buttercup10222(esk86_0)
% 0.52/0.73  +b48_buttercup10222(esk407_0)
% 0.52/0.73  +b48_buttercup10222(esk412_0)
% 0.52/0.73  +b48_buttercup10222(esk411_0)
% 0.52/0.73  -b48_buttercup10222(esk85_0)
% 0.52/0.73  +b48_buttercup10227(esk442_0)
% 0.52/0.73  -b48_buttercup10227(esk5_0)
% 0.52/0.73  -b48_buttercup10227(esk85_0)
% 0.52/0.73  -b48_buttercup10227(esk75_0)
% 0.52/0.73  -b48_buttercup10227(esk42_0)
% 0.52/0.73  +b48_buttercup10228(esk412_0)
% 0.52/0.73  -b48_buttercup10228(esk85_0)
% 0.52/0.73  -b48_buttercup10228(esk87_0)
% 0.52/0.73  -b48_buttercup10228(esk86_0)
% 0.52/0.73  -b48_buttercup10228(esk42_0)
% 0.52/0.73  -b48_buttercup10228(esk90_0)
% 0.52/0.73  +b48_buttercup10229(esk411_0)
% 0.52/0.73  -b48_buttercup10229(esk6_0)
% 0.52/0.73  -b48_buttercup10229(esk85_0)
% 0.52/0.73  -b48_buttercup10229(esk75_0)
% 0.52/0.73  -b48_buttercup10229(esk42_0)
% 0.52/0.73  +b48_buttercup10231(esk118_0)
% 0.52/0.73  +b48_buttercup10231(esk125_0)
% 0.52/0.73  +b48_buttercup10231(esk198_0)
% 0.52/0.73  +b48_buttercup10231(esk382_0)
% 0.52/0.73  -b48_buttercup10231(esk42_0)
% 0.52/0.73  +b48_buttercup10240(esk180_0)
% 0.52/0.73  +b48_buttercup10240(esk364_0)
% 0.52/0.73  -b48_buttercup10240(esk42_0)
% 0.52/0.73  +b48_buttercup10247(esk359_0)
% 0.52/0.73  +b48_buttercup10248(esk166_0)
% 0.52/0.73  +b48_buttercup10248(esk356_0)
% 0.52/0.73  -b48_buttercup10248(esk42_0)
% 0.52/0.73  +b48_buttercup10253(esk168_0)
% 0.52/0.73  +b48_buttercup10253(esk392_0)
% 0.52/0.73  +b48_buttercup10260(esk240_0)
% 0.52/0.73  -b48_buttercup10260(esk78_0)
% 0.52/0.73  +b48_buttercup10261(esk318_0)
% 0.52/0.73  -b48_buttercup10261(esk77_0)
% 0.52/0.73  +b48_buttercup10266(esk316_0)
% 0.52/0.73  +b48_buttercup10266(esk317_0)
% 0.52/0.73  +b48_buttercup10266(esk436_0)
% 0.52/0.73  +b48_buttercup10267(esk316_0)
% 0.52/0.73  +b48_buttercup10268(esk436_0)
% 0.52/0.73  +b48_buttercup10269(esk137_0)
% 0.52/0.73  +b48_buttercup10269(esk311_0)
% 0.52/0.73  -b48_buttercup10269(esk42_0)
% 0.52/0.73  +b48_buttercup10271(esk288_0)
% 0.52/0.73  +b48_buttercup10271(esk348_0)
% 0.52/0.73  +b48_buttercup10272(esk309_0)
% 0.52/0.73  +b48_buttercup10273(esk288_0)
% 0.52/0.73  +b48_buttercup10274(esk286_0)
% 0.52/0.73  +b48_buttercup10274(esk285_0)
% 0.52/0.73  +b48_buttercup10274(esk283_0)
% 0.52/0.73  +b48_buttercup10274(esk284_0)
% 0.52/0.73  +b48_buttercup10274(esk281_0)
% 0.52/0.73  +b48_buttercup10275(esk286_0)
% 0.52/0.73  +b48_buttercup10276(esk283_0)
% 0.52/0.73  +b48_buttercup10277(esk284_0)
% 0.52/0.73  +b48_buttercup10278(esk281_0)
% 0.52/0.73  +b48_buttercup10279(esk91_0)
% 0.52/0.73  +b48_buttercup10279(esk129_0)
% 0.52/0.73  +b48_buttercup10279(esk59_0)
% 0.52/0.73  +b48_buttercup10279(esk264_0)
% 0.52/0.73  +b48_buttercup10279(esk236_0)
% 0.52/0.73  +b48_buttercup10279(esk499_0)
% 0.52/0.73  +b48_buttercup10279(esk502_0)
% 0.52/0.73  +b48_buttercup10279(esk503_0)
% 0.52/0.73  +b48_buttercup10283(esk92_0)
% 0.52/0.73  +b48_buttercup10283(esk233_0)
% 0.52/0.73  +b48_buttercup10289(esk129_0)
% 0.52/0.73  +b48_buttercup10289(esk236_0)
% 0.52/0.73  +b48_buttercup10289(esk503_0)
% 0.52/0.73  -b48_buttercup10289(esk42_0)
% 0.52/0.73  -b48_buttercup10289(esk59_0)
% 0.52/0.73  +b48_buttercup10290(esk94_0)
% 0.52/0.73  +b48_buttercup10290(esk417_0)
% 0.52/0.73  +b48_buttercup10291(esk214_0)
% 0.52/0.73  +b48_buttercup10291(esk215_0)
% 0.52/0.73  +b48_buttercup10291(esk217_0)
% 0.52/0.73  +b48_buttercup10291(esk416_0)
% 0.52/0.73  +b48_buttercup10291(esk418_0)
% 0.52/0.73  +b48_buttercup10291(esk330_0)
% 0.52/0.73  -b48_buttercup10291(esk42_0)
% 0.52/0.73  +b48_buttercup10294(esk214_0)
% 0.52/0.73  +b48_buttercup10294(esk416_0)
% 0.52/0.73  -b48_buttercup10294(esk42_0)
% 0.52/0.73  +b48_buttercup10299(esk217_0)
% 0.52/0.73  +b48_buttercup10299(esk330_0)
% 0.52/0.73  -b48_buttercup10299(esk42_0)
% 0.52/0.73  +b48_buttercup10300(esk1_0)
% 0.52/0.73  +b48_buttercup10300(esk2_0)
% 0.52/0.73  +b48_buttercup10300(esk67_0)
% 0.52/0.73  +b48_buttercup10300(esk143_0)
% 0.52/0.73  +b48_buttercup10300(esk453_0)
% 0.52/0.73  +b48_buttercup10300(esk314_0)
% 0.52/0.73  +b48_buttercup10300(esk422_0)
% 0.52/0.73  +b48_buttercup10300(esk312_0)
% 0.52/0.73  +b48_buttercup10300(esk449_0)
% 0.52/0.73  +b48_buttercup10300(esk451_0)
% 0.52/0.73  -b48_buttercup10300(esk42_0)
% 0.52/0.73  +b48_buttercup10305(esk453_0)
% 0.52/0.73  +b48_buttercup10305(esk314_0)
% 0.52/0.73  -b48_buttercup10305(esk1_0)
% 0.52/0.73  -b48_buttercup10305(esk42_0)
% 0.52/0.73  -b48_buttercup10305(esk451_0)
% 0.52/0.73  +b48_buttercup10307(esk312_0)
% 0.52/0.73  -b48_buttercup10307(esk2_0)
% 0.52/0.73  -b48_buttercup10307(esk42_0)
% 0.52/0.73  +b48_buttercup10308(esk449_0)
% 0.52/0.73  -b48_buttercup10308(esk67_0)
% 0.52/0.73  -b48_buttercup10308(esk42_0)
% 0.52/0.73  +b48_buttercup10309(esk162_0)
% 0.52/0.73  +b48_buttercup10309(esk398_0)
% 0.52/0.73  -b48_buttercup10309(esk42_0)
% 0.52/0.73  +b48_buttercup10313(esk60_0)
% 0.52/0.73  +b48_buttercup10313(esk224_0)
% 0.52/0.73  +b48_buttercup10313(esk343_0)
% 0.52/0.73  +b48_buttercup10313(esk339_0)
% 0.52/0.73  +b48_buttercup10313(esk357_0)
% 0.52/0.73  -b48_buttercup10313(esk42_0)
% 0.52/0.73  +b48_buttercup10318(esk343_0)
% 0.52/0.73  -b48_buttercup10318(esk42_0)
% 0.52/0.73  +b48_buttercup10320(esk357_0)
% 0.52/0.73  -b48_buttercup10320(esk60_0)
% 0.52/0.73  -b48_buttercup10320(esk42_0)
% 0.52/0.73  +b48_buttercup10322(esk178_0)
% 0.52/0.73  +b48_buttercup10322(esk358_0)
% 0.52/0.73  -b48_buttercup10322(esk42_0)
% 0.52/0.73  +b48_buttercup10326(esk176_0)
% 0.52/0.73  +b48_buttercup10326(esk355_0)
% 0.52/0.73  -b48_buttercup10326(esk42_0)
% 0.52/0.73  +b48_buttercup10332(esk191_0)
% 0.52/0.73  +b48_buttercup10332(esk245_0)
% 0.52/0.73  -b48_buttercup10332(esk42_0)
% 0.52/0.73  +b48_buttercup10334(esk414_0)
% 0.52/0.73  +b48_buttercup10334(esk379_0)
% 0.52/0.73  +b48_buttercup10334(esk413_0)
% 0.52/0.73  +b48_buttercup10334(esk409_0)
% 0.52/0.73  +b48_buttercup10334(esk446_0)
% 0.52/0.73  -b48_buttercup10334(esk27_0)
% 0.52/0.73  -b48_buttercup10334(esk42_0)
% 0.52/0.73  +b48_buttercup10343(esk414_0)
% 0.52/0.73  -b48_buttercup10343(esk27_0)
% 0.52/0.73  -b48_buttercup10343(esk61_0)
% 0.52/0.73  -b48_buttercup10343(esk42_0)
% 0.52/0.73  +b48_buttercup10344(esk413_0)
% 0.52/0.73  -b48_buttercup10344(esk27_0)
% 0.52/0.73  -b48_buttercup10344(esk80_0)
% 0.52/0.73  -b48_buttercup10344(esk42_0)
% 0.52/0.73  +b48_buttercup10348(esk409_0)
% 0.52/0.73  -b48_buttercup10348(esk27_0)
% 0.52/0.73  -b48_buttercup10348(esk30_0)
% 0.52/0.73  -b48_buttercup10348(esk42_0)
% 0.52/0.73  +b48_buttercup10352(esk446_0)
% 0.52/0.73  -b48_buttercup10352(esk27_0)
% 0.52/0.73  -b48_buttercup10352(esk29_0)
% 0.52/0.73  -b48_buttercup10352(esk42_0)
% 0.52/0.73  +b48_buttercup10353(esk230_0)
% 0.52/0.73  +b48_buttercup10353(esk370_0)
% 0.52/0.73  -b48_buttercup10353(esk42_0)
% 0.52/0.73  +b48_buttercup10358(esk257_0)
% 0.52/0.73  +b48_buttercup10359(esk109_0)
% 0.52/0.73  +b48_buttercup10359(esk378_0)
% 0.52/0.73  +b48_buttercup10361(esk229_0)
% 0.52/0.73  +b48_buttercup10361(esk255_0)
% 0.52/0.73  +b48_buttercup10362(esk256_0)
% 0.52/0.73  -b48_buttercup10362(esk58_0)
% 0.52/0.73  -b48_buttercup10362(esk56_0)
% 0.52/0.73  -b48_buttercup10362(esk42_0)
% 0.52/0.73  +b48_buttercup10365(esk258_0)
% 0.52/0.73  +b48_buttercup10367(esk126_0)
% 0.52/0.73  +b48_buttercup10367(esk105_0)
% 0.52/0.73  +b48_buttercup10367(esk124_0)
% 0.52/0.73  +b48_buttercup10367(esk122_0)
% 0.52/0.73  +b48_buttercup10367(esk282_0)
% 0.52/0.73  +b48_buttercup10367(esk260_0)
% 0.52/0.73  +b48_buttercup10367(esk279_0)
% 0.52/0.73  +b48_buttercup10367(esk277_0)
% 0.52/0.73  -b48_buttercup10367(esk42_0)
% 0.52/0.73  +b48_buttercup10370(esk126_0)
% 0.52/0.73  +b48_buttercup10370(esk282_0)
% 0.52/0.73  -b48_buttercup10370(esk42_0)
% 0.52/0.73  +b48_buttercup10374(esk122_0)
% 0.52/0.73  +b48_buttercup10374(esk279_0)
% 0.52/0.73  -b48_buttercup10374(esk42_0)
% 0.52/0.73  +b48_buttercup10377(esk124_0)
% 0.52/0.73  +b48_buttercup10377(esk277_0)
% 0.52/0.73  -b48_buttercup10377(esk42_0)
% 0.52/0.73  +b48_buttercup10378(esk134_0)
% 0.52/0.73  +b48_buttercup10378(esk290_0)
% 0.52/0.73  -b48_buttercup10378(esk42_0)
% 0.52/0.73  +b48_buttercup10381(esk164_0)
% 0.52/0.73  +b48_buttercup10381(esk296_0)
% 0.52/0.73  -b48_buttercup10381(esk52_0)
% 0.52/0.73  -b48_buttercup10381(esk42_0)
% 0.52/0.73  +b48_buttercup10383(esk133_0)
% 0.52/0.73  +b48_buttercup10383(esk294_0)
% 0.52/0.73  -b48_buttercup10383(esk42_0)
% 0.52/0.73  +b48_buttercup10386(esk131_0)
% 0.52/0.73  +b48_buttercup10386(esk297_0)
% 0.52/0.73  -b48_buttercup10386(esk42_0)
% 0.52/0.73  +b48_buttercup10394(esk154_0)
% 0.52/0.73  +b48_buttercup10394(esk329_0)
% 0.52/0.73  -b48_buttercup10394(esk42_0)
% 0.52/0.73  +b48_buttercup10398(esk328_0)
% 0.52/0.73  -b48_buttercup10398(esk37_0)
% 0.52/0.73  -b48_buttercup10398(esk42_0)
% 0.52/0.73  +b48_buttercup10402(esk184_0)
% 0.52/0.73  +b48_buttercup10402(esk183_0)
% 0.52/0.73  +b48_buttercup10402(esk181_0)
% 0.52/0.73  +b48_buttercup10402(esk365_0)
% 0.52/0.73  +b48_buttercup10402(esk369_0)
% 0.52/0.73  +b48_buttercup10402(esk346_0)
% 0.52/0.73  -b48_buttercup10402(esk42_0)
% 0.52/0.73  +b48_buttercup10405(esk184_0)
% 0.52/0.73  +b48_buttercup10405(esk365_0)
% 0.52/0.73  -b48_buttercup10405(esk42_0)
% 0.52/0.73  +b48_buttercup10410(esk181_0)
% 0.52/0.73  +b48_buttercup10410(esk346_0)
% 0.52/0.73  -b48_buttercup10410(esk42_0)
% 0.52/0.73  +b48_buttercup10411(esk167_0)
% 0.52/0.73  +b48_buttercup10411(esk347_0)
% 0.52/0.73  -b48_buttercup10411(esk42_0)
% 0.52/0.73  +b48_buttercup10417(esk139_0)
% 0.52/0.73  +b48_buttercup10417(esk33_0)
% 0.52/0.73  +b48_buttercup10417(esk140_0)
% 0.52/0.73  +b48_buttercup10417(esk88_0)
% 0.52/0.73  +b48_buttercup10417(esk403_0)
% 0.52/0.73  +b48_buttercup10417(esk302_0)
% 0.52/0.73  +b48_buttercup10417(esk304_0)
% 0.52/0.73  +b48_buttercup10417(esk432_0)
% 0.52/0.73  +b48_buttercup10417(esk361_0)
% 0.52/0.73  +b48_buttercup10417(esk34_0)
% 0.52/0.73  +b48_buttercup10417(esk90_0)
% 0.52/0.73  +b48_buttercup10417(esk388_0)
% 0.52/0.73  +b48_buttercup10417(esk261_0)
% 0.52/0.73  -b48_buttercup10417(esk89_0)
% 0.52/0.73  +b48_buttercup10420(esk410_0)
% 0.52/0.73  +b48_buttercup10421(esk139_0)
% 0.52/0.73  +b48_buttercup10421(esk261_0)
% 0.52/0.73  -b48_buttercup10421(esk89_0)
% 0.52/0.73  -b48_buttercup10421(esk86_0)
% 0.52/0.73  -b48_buttercup10421(esk42_0)
% 0.52/0.73  -b48_buttercup10421(esk34_0)
% 0.52/0.73  -b48_buttercup10421(esk90_0)
% 0.52/0.73  +b48_buttercup10422(esk408_0)
% 0.52/0.73  -b48_buttercup10422(esk83_0)
% 0.52/0.73  -b48_buttercup10422(esk86_0)
% 0.52/0.73  -b48_buttercup10422(esk42_0)
% 0.52/0.73  -b48_buttercup10422(esk90_0)
% 0.52/0.73  +b48_buttercup10427(esk197_0)
% 0.52/0.73  +b48_buttercup10427(esk405_0)
% 0.52/0.73  -b48_buttercup10427(esk42_0)
% 0.52/0.73  +b48_buttercup10433(esk386_0)
% 0.52/0.73  +b48_buttercup10434(esk200_0)
% 0.52/0.73  +b48_buttercup10434(esk387_0)
% 0.52/0.73  -b48_buttercup10434(esk42_0)
% 0.52/0.73  +b48_buttercup10440(esk54_0)
% 0.52/0.73  +b48_buttercup10440(esk249_0)
% 0.52/0.73  +b48_buttercup10440(esk56_0)
% 0.52/0.73  +b48_buttercup10440(esk250_0)
% 0.52/0.73  +b48_buttercup10440(esk252_0)
% 0.52/0.73  -b48_buttercup10440(esk55_0)
% 0.52/0.73  +b48_buttercup10441(esk249_0)
% 0.52/0.73  -b48_buttercup10441(esk55_0)
% 0.52/0.73  -b48_buttercup10441(esk57_0)
% 0.52/0.73  -b48_buttercup10441(esk56_0)
% 0.52/0.73  -b48_buttercup10441(esk42_0)
% 0.52/0.73  +b48_buttercup10442(esk252_0)
% 0.52/0.73  -b48_buttercup10442(esk55_0)
% 0.52/0.73  +b48_buttercup10443(esk107_0)
% 0.52/0.73  +b48_buttercup10443(esk251_0)
% 0.52/0.73  -b48_buttercup10443(esk42_0)
% 0.52/0.73  +b48_buttercup10446(esk227_0)
% 0.52/0.73  +b48_buttercup10446(esk169_0)
% 0.52/0.73  +b48_buttercup10446(esk141_0)
% 0.52/0.73  +b48_buttercup10446(esk7_0)
% 0.52/0.73  +b48_buttercup10446(esk8_0)
% 0.52/0.73  +b48_buttercup10446(esk9_0)
% 0.52/0.73  +b48_buttercup10446(esk10_0)
% 0.52/0.73  +b48_buttercup10446(esk11_0)
% 0.52/0.73  +b48_buttercup10446(esk12_0)
% 0.52/0.73  +b48_buttercup10446(esk35_0)
% 0.52/0.73  +b48_buttercup10446(esk142_0)
% 0.52/0.73  +b48_buttercup10446(esk189_0)
% 0.52/0.73  +b48_buttercup10446(esk40_0)
% 0.52/0.73  +b48_buttercup10446(esk254_0)
% 0.52/0.73  +b48_buttercup10446(esk308_0)
% 0.52/0.73  +b48_buttercup10446(esk307_0)
% 0.52/0.73  +b48_buttercup10446(esk306_0)
% 0.52/0.73  +b48_buttercup10446(esk395_0)
% 0.52/0.73  +b48_buttercup10446(esk420_0)
% 0.52/0.73  +b48_buttercup10446(esk305_0)
% 0.52/0.73  +b48_buttercup10446(esk440_0)
% 0.52/0.73  -b48_buttercup10446(esk42_0)
% 0.52/0.73  +b48_buttercup10450(esk374_0)
% 0.52/0.73  +b48_buttercup10451(esk227_0)
% 0.52/0.73  +b48_buttercup10451(esk440_0)
% 0.52/0.73  -b48_buttercup10451(esk42_0)
% 0.52/0.73  +b48_buttercup10454(esk420_0)
% 0.52/0.73  -b48_buttercup10454(esk35_0)
% 0.52/0.73  -b48_buttercup10454(esk42_0)
% 0.52/0.73  -b48_buttercup10454(esk13_0)
% 0.52/0.73  +b48_buttercup10456(esk395_0)
% 0.52/0.73  -b48_buttercup10456(esk10_0)
% 0.52/0.73  -b48_buttercup10456(esk42_0)
% 0.52/0.73  -b48_buttercup10456(esk13_0)
% 0.52/0.73  +b48_buttercup10458(esk11_0)
% 0.52/0.73  +b48_buttercup10458(esk189_0)
% 0.52/0.73  +b48_buttercup10458(esk13_0)
% 0.52/0.73  +b48_buttercup10458(esk39_0)
% 0.52/0.73  +b48_buttercup10458(esk444_0)
% 0.52/0.73  -b48_buttercup10458(esk12_0)
% 0.52/0.73  +b48_buttercup10460(esk141_0)
% 0.52/0.73  +b48_buttercup10460(esk305_0)
% 0.52/0.73  -b48_buttercup10460(esk42_0)
% 0.52/0.73  +b48_buttercup10465(esk308_0)
% 0.52/0.73  -b48_buttercup10465(esk7_0)
% 0.52/0.73  -b48_buttercup10465(esk42_0)
% 0.52/0.73  -b48_buttercup10465(esk13_0)
% 0.52/0.73  +b48_buttercup10466(esk307_0)
% 0.52/0.73  -b48_buttercup10466(esk8_0)
% 0.52/0.73  -b48_buttercup10466(esk42_0)
% 0.52/0.73  -b48_buttercup10466(esk13_0)
% 0.52/0.73  +b48_buttercup10467(esk306_0)
% 0.52/0.73  -b48_buttercup10467(esk9_0)
% 0.52/0.73  -b48_buttercup10467(esk42_0)
% 0.52/0.73  -b48_buttercup10467(esk13_0)
% 0.52/0.73  +b48_buttercup10469(esk120_0)
% 0.52/0.73  +b48_buttercup10469(esk300_0)
% 0.52/0.73  -b48_buttercup10469(esk42_0)
% 0.52/0.73  +b48_buttercup10471(esk121_0)
% 0.52/0.73  +b48_buttercup10471(esk276_0)
% 0.52/0.73  -b48_buttercup10471(esk42_0)
% 0.52/0.73  +b48_buttercup10474(esk177_0)
% 0.52/0.73  +b48_buttercup10474(esk119_0)
% 0.52/0.73  +b48_buttercup10474(esk18_0)
% 0.52/0.73  +b48_buttercup10474(esk19_0)
% 0.52/0.73  +b48_buttercup10474(esk50_0)
% 0.52/0.73  +b48_buttercup10474(esk51_0)
% 0.52/0.73  +b48_buttercup10474(esk130_0)
% 0.52/0.73  +b48_buttercup10474(esk272_0)
% 0.52/0.73  +b48_buttercup10474(esk275_0)
% 0.52/0.73  +b48_buttercup10474(esk450_0)
% 0.52/0.73  +b48_buttercup10474(esk292_0)
% 0.52/0.73  +b48_buttercup10474(esk352_0)
% 0.52/0.73  +b48_buttercup10474(esk315_0)
% 0.52/0.73  -b48_buttercup10474(esk42_0)
% 0.52/0.73  +b48_buttercup10478(esk272_0)
% 0.52/0.73  -b48_buttercup10478(esk51_0)
% 0.52/0.73  -b48_buttercup10478(esk42_0)
% 0.52/0.73  +b48_buttercup10479(esk177_0)
% 0.52/0.73  +b48_buttercup10479(esk450_0)
% 0.52/0.73  -b48_buttercup10479(esk42_0)
% 0.52/0.73  +b48_buttercup10483(esk292_0)
% 0.52/0.73  -b48_buttercup10483(esk50_0)
% 0.52/0.73  -b48_buttercup10483(esk42_0)
% 0.52/0.73  +b48_buttercup10487(esk352_0)
% 0.52/0.73  -b48_buttercup10487(esk18_0)
% 0.52/0.73  -b48_buttercup10487(esk42_0)
% 0.52/0.73  +b48_buttercup10489(esk315_0)
% 0.52/0.73  -b48_buttercup10489(esk19_0)
% 0.52/0.73  -b48_buttercup10489(esk42_0)
% 0.52/0.73  +b48_buttercup10490(esk156_0)
% 0.52/0.73  +b48_buttercup10490(esk334_0)
% 0.52/0.73  -b48_buttercup10490(esk42_0)
% 0.52/0.73  +b48_buttercup10493(esk155_0)
% 0.52/0.73  +b48_buttercup10493(esk333_0)
% 0.52/0.73  -b48_buttercup10493(esk42_0)
% 0.52/0.73  +b48_buttercup10496(esk160_0)
% 0.52/0.73  +b48_buttercup10496(esk331_0)
% 0.52/0.73  -b48_buttercup10496(esk42_0)
% 0.52/0.73  +b48_buttercup10502(esk116_0)
% 0.52/0.73  +b48_buttercup10502(esk235_0)
% 0.52/0.73  -b48_buttercup10502(esk42_0)
% 0.52/0.73  +b48_buttercup10507(esk138_0)
% 0.52/0.73  +b48_buttercup10507(esk271_0)
% 0.52/0.73  -b48_buttercup10507(esk42_0)
% 0.52/0.73  +b48_buttercup10512(esk298_0)
% 0.52/0.73  +b48_buttercup10512(esk299_0)
% 0.52/0.73  +b48_buttercup10512(esk303_0)
% 0.52/0.73  +b48_buttercup10513(esk298_0)
% 0.52/0.73  +b48_buttercup10514(esk303_0)
% 0.52/0.73  +b48_buttercup10515(esk403_0)
% 0.52/0.73  +b48_buttercup10515(esk302_0)
% 0.52/0.73  +b48_buttercup10515(esk304_0)
% 0.52/0.73  +b48_buttercup10515(esk432_0)
% 0.52/0.73  +b48_buttercup10515(esk361_0)
% 0.52/0.73  -b48_buttercup10515(esk33_0)
% 0.52/0.73  -b48_buttercup10515(esk89_0)
% 0.52/0.73  -b48_buttercup10515(esk42_0)
% 0.52/0.73  -b48_buttercup10515(esk34_0)
% 0.52/0.73  +b48_buttercup10518(esk403_0)
% 0.52/0.73  -b48_buttercup10518(esk33_0)
% 0.52/0.73  -b48_buttercup10518(esk89_0)
% 0.52/0.73  -b48_buttercup10518(esk42_0)
% 0.52/0.73  -b48_buttercup10518(esk34_0)
% 0.52/0.73  +b48_buttercup10519(esk304_0)
% 0.52/0.73  -b48_buttercup10519(esk33_0)
% 0.52/0.73  -b48_buttercup10519(esk89_0)
% 0.52/0.73  -b48_buttercup10519(esk42_0)
% 0.52/0.73  -b48_buttercup10519(esk34_0)
% 0.52/0.73  +b48_buttercup10520(esk432_0)
% 0.52/0.73  -b48_buttercup10520(esk33_0)
% 0.52/0.73  -b48_buttercup10520(esk89_0)
% 0.52/0.73  -b48_buttercup10520(esk42_0)
% 0.52/0.73  -b48_buttercup10520(esk34_0)
% 0.52/0.73  +b48_buttercup10521(esk361_0)
% 0.52/0.73  -b48_buttercup10521(esk33_0)
% 0.52/0.73  -b48_buttercup10521(esk89_0)
% 0.52/0.73  -b48_buttercup10521(esk42_0)
% 0.52/0.73  -b48_buttercup10521(esk34_0)
% 0.52/0.73  +b48_buttercup10522(esk431_0)
% 0.52/0.73  +b48_buttercup10526(esk221_0)
% 0.52/0.73  +b48_buttercup10526(esk366_0)
% 0.52/0.73  -b48_buttercup10526(esk42_0)
% 0.52/0.73  +b48_buttercup10530(esk247_0)
% 0.52/0.73  +b48_buttercup10531(esk103_0)
% 0.52/0.73  +b48_buttercup10531(esk246_0)
% 0.52/0.73  -b48_buttercup10531(esk42_0)
% 0.52/0.73  +b48_buttercup10538(esk96_0)
% 0.52/0.73  +b48_buttercup10538(esk242_0)
% 0.52/0.73  +b48_buttercup10541(esk193_0)
% 0.52/0.73  +b48_buttercup10541(esk380_0)
% 0.52/0.73  +b48_buttercup10542(esk195_0)
% 0.52/0.73  +b48_buttercup10542(esk194_0)
% 0.52/0.73  +b48_buttercup10542(esk196_0)
% 0.52/0.73  +b48_buttercup10542(esk383_0)
% 0.52/0.73  +b48_buttercup10542(esk381_0)
% 0.52/0.73  +b48_buttercup10542(esk384_0)
% 0.52/0.73  -b48_buttercup10542(esk42_0)
% 0.52/0.73  +b48_buttercup10545(esk195_0)
% 0.52/0.73  +b48_buttercup10545(esk383_0)
% 0.52/0.73  -b48_buttercup10545(esk42_0)
% 0.52/0.73  +b48_buttercup10548(esk196_0)
% 0.52/0.73  +b48_buttercup10548(esk384_0)
% 0.52/0.73  -b48_buttercup10548(esk42_0)
% 0.52/0.73  +b48_buttercup10549(esk206_0)
% 0.52/0.73  +b48_buttercup10549(esk385_0)
% 0.52/0.73  -b48_buttercup10549(esk42_0)
% 0.52/0.73  +b48_buttercup10552(esk204_0)
% 0.52/0.73  +b48_buttercup10552(esk205_0)
% 0.52/0.73  +b48_buttercup10552(esk342_0)
% 0.52/0.73  +b48_buttercup10552(esk404_0)
% 0.52/0.73  +b48_buttercup10552(esk340_0)
% 0.52/0.73  -b48_buttercup10552(esk42_0)
% 0.52/0.73  +b48_buttercup10561(esk342_0)
% 0.52/0.73  -b48_buttercup10561(esk42_0)
% 0.52/0.73  +b48_buttercup10562(esk204_0)
% 0.52/0.73  +b48_buttercup10562(esk340_0)
% 0.52/0.73  -b48_buttercup10562(esk42_0)
% 0.52/0.73  +b48_buttercup10563(esk63_0)
% 0.52/0.73  +b48_buttercup10563(esk64_0)
% 0.52/0.73  +b48_buttercup10563(esk82_0)
% 0.52/0.73  +b48_buttercup10563(esk158_0)
% 0.52/0.73  +b48_buttercup10563(esk360_0)
% 0.52/0.73  +b48_buttercup10563(esk341_0)
% 0.52/0.73  +b48_buttercup10563(esk363_0)
% 0.52/0.73  +b48_buttercup10563(esk448_0)
% 0.52/0.73  -b48_buttercup10563(esk42_0)
% 0.52/0.73  +b48_buttercup10570(esk363_0)
% 0.52/0.73  -b48_buttercup10570(esk63_0)
% 0.52/0.73  -b48_buttercup10570(esk42_0)
% 0.52/0.73  +b48_buttercup10572(esk448_0)
% 0.52/0.73  -b48_buttercup10572(esk82_0)
% 0.52/0.73  -b48_buttercup10572(esk42_0)
% 0.52/0.73  +b48_buttercup10574(esk360_0)
% 0.52/0.73  -b48_buttercup10574(esk64_0)
% 0.52/0.73  -b48_buttercup10574(esk42_0)
% 0.52/0.73  +b48_buttercup10575(esk185_0)
% 0.52/0.73  +b48_buttercup10575(esk321_0)
% 0.52/0.73  -b48_buttercup10575(esk42_0)
% 0.52/0.73  +b48_buttercup10579(esk179_0)
% 0.52/0.73  +b48_buttercup10579(esk368_0)
% 0.52/0.73  -b48_buttercup10579(esk42_0)
% 0.52/0.73  +b48_buttercup10582(esk128_0)
% 0.52/0.73  +b48_buttercup10582(esk289_0)
% 0.52/0.73  -b48_buttercup10582(esk42_0)
% 0.52/0.73  +b48_buttercup10589(esk144_0)
% 0.52/0.73  +b48_buttercup10589(esk145_0)
% 0.52/0.73  +b48_buttercup10589(esk159_0)
% 0.52/0.73  +b48_buttercup10589(esk319_0)
% 0.52/0.73  +b48_buttercup10589(esk280_0)
% 0.52/0.73  +b48_buttercup10589(esk337_0)
% 0.52/0.73  -b48_buttercup10589(esk42_0)
% 0.52/0.73  +b48_buttercup10596(esk144_0)
% 0.52/0.73  +b48_buttercup10596(esk319_0)
% 0.52/0.73  -b48_buttercup10596(esk42_0)
% 0.52/0.73  +b48_buttercup10604(esk159_0)
% 0.52/0.73  +b48_buttercup10604(esk337_0)
% 0.52/0.73  -b48_buttercup10604(esk42_0)
% 0.52/0.73  +b48_buttercup10605(esk212_0)
% 0.52/0.73  +b48_buttercup10605(esk336_0)
% 0.52/0.73  -b48_buttercup10605(esk42_0)
% 0.52/0.73  +b48_buttercup10606(esk335_0)
% 0.52/0.73  +b48_buttercup10609(esk152_0)
% 0.52/0.73  +b48_buttercup10609(esk349_0)
% 0.52/0.73  -b48_buttercup10609(esk42_0)
% 0.52/0.73  +b48_buttercup10612(esk310_0)
% 0.52/0.73  +b48_buttercup10616(esk148_0)
% 0.52/0.73  +b48_buttercup10616(esk313_0)
% 0.52/0.73  -b48_buttercup10616(esk42_0)
% 0.52/0.73  +b48_buttercup10624(esk123_0)
% 0.52/0.73  +b48_buttercup10624(esk278_0)
% 0.52/0.73  -b48_buttercup10624(esk42_0)
% 0.52/0.73  +b48_buttercup10629(esk108_0)
% 0.52/0.73  +b48_buttercup10629(esk287_0)
% 0.52/0.73  -b48_buttercup10629(esk42_0)
% 0.52/0.73  +b48_buttercup10632(esk150_0)
% 0.52/0.73  +b48_buttercup10632(esk106_0)
% 0.52/0.73  +b48_buttercup10632(esk112_0)
% 0.52/0.73  +b48_buttercup10632(esk220_0)
% 0.52/0.73  +b48_buttercup10632(esk393_0)
% 0.52/0.73  +b48_buttercup10632(esk253_0)
% 0.52/0.73  +b48_buttercup10632(esk259_0)
% 0.52/0.73  +b48_buttercup10632(esk427_0)
% 0.52/0.73  -b48_buttercup10632(esk42_0)
% 0.52/0.73  +b48_buttercup10636(esk150_0)
% 0.52/0.73  +b48_buttercup10636(esk393_0)
% 0.52/0.73  -b48_buttercup10636(esk42_0)
% 0.52/0.73  +b48_buttercup10638(esk112_0)
% 0.52/0.73  +b48_buttercup10638(esk259_0)
% 0.52/0.73  -b48_buttercup10638(esk42_0)
% 0.52/0.73  +b48_buttercup10640(esk220_0)
% 0.52/0.73  +b48_buttercup10640(esk427_0)
% 0.52/0.73  -b48_buttercup10640(esk42_0)
% 0.52/0.73  +b48_buttercup10642(esk218_0)
% 0.52/0.73  +b48_buttercup10642(esk425_0)
% 0.52/0.73  -b48_buttercup10642(esk42_0)
% 0.52/0.73  +b48_buttercup10646(esk429_0)
% 0.52/0.73  +epred10_0
% 0.52/0.73  +epred11_0
% 0.52/0.73  +epred12_0
% 0.52/0.73  +epred1_0
% 0.52/0.73  +epred2_0
% 0.52/0.73  +epred3_0
% 0.52/0.73  +epred4_0
% 0.52/0.73  +epred5_0
% 0.52/0.73  +epred6_0
% 0.52/0.73  +epred7_0
% 0.52/0.73  +epred8_0
% 0.52/0.73  +epred9_0
% 0.52/0.73  +k04_buttercup10000(esk172_0)
% 0.52/0.73  -k04_buttercup10000(esk46_0)
% 0.52/0.73  +k04_buttercup10004(esk173_0)
% 0.52/0.73  -k04_buttercup10004(esk41_0)
% 0.52/0.73  +k04_buttercup10012(esk101_0)
% 0.52/0.73  +k04_buttercup10012(esk102_0)
% 0.52/0.73  +k04_buttercup10012(esk223_0)
% 0.52/0.73  +k04_buttercup10012(esk163_0)
% 0.52/0.73  +k04_buttercup10012(esk52_0)
% 0.52/0.73  +k04_buttercup10012(esk76_0)
% 0.52/0.73  +k04_buttercup10012(esk199_0)
% 0.52/0.73  +k04_buttercup10012(esk164_0)
% 0.52/0.73  +k04_buttercup10012(esk212_0)
% 0.52/0.73  +k04_buttercup10012(esk27_0)
% 0.52/0.73  +k04_buttercup10012(esk192_0)
% 0.52/0.73  +k04_buttercup10012(esk29_0)
% 0.52/0.73  +k04_buttercup10012(esk30_0)
% 0.52/0.73  +k04_buttercup10012(esk61_0)
% 0.52/0.73  +k04_buttercup10012(esk80_0)
% 0.52/0.73  +k04_buttercup10012(esk232_0)
% 0.52/0.73  +k04_buttercup10012(esk231_0)
% 0.52/0.73  +k04_buttercup10012(esk227_0)
% 0.52/0.73  +k04_buttercup10012(esk169_0)
% 0.52/0.73  +k04_buttercup10012(esk141_0)
% 0.52/0.73  +k04_buttercup10012(esk7_0)
% 0.52/0.73  +k04_buttercup10012(esk8_0)
% 0.52/0.73  +k04_buttercup10012(esk9_0)
% 0.52/0.73  +k04_buttercup10012(esk10_0)
% 0.52/0.73  +k04_buttercup10012(esk11_0)
% 0.52/0.73  +k04_buttercup10012(esk12_0)
% 0.52/0.73  +k04_buttercup10012(esk35_0)
% 0.52/0.73  +k04_buttercup10012(esk142_0)
% 0.52/0.73  +k04_buttercup10012(esk177_0)
% 0.52/0.73  +k04_buttercup10012(esk119_0)
% 0.52/0.73  +k04_buttercup10012(esk18_0)
% 0.52/0.73  +k04_buttercup10012(esk19_0)
% 0.52/0.73  +k04_buttercup10012(esk50_0)
% 0.52/0.73  +k04_buttercup10012(esk51_0)
% 0.52/0.73  +k04_buttercup10012(esk130_0)
% 0.52/0.73  +k04_buttercup10012(esk195_0)
% 0.52/0.73  +k04_buttercup10012(esk194_0)
% 0.52/0.73  +k04_buttercup10012(esk196_0)
% 0.52/0.73  +k04_buttercup10012(esk184_0)
% 0.52/0.73  +k04_buttercup10012(esk183_0)
% 0.52/0.73  +k04_buttercup10012(esk181_0)
% 0.52/0.73  +k04_buttercup10012(esk144_0)
% 0.52/0.73  +k04_buttercup10012(esk145_0)
% 0.52/0.73  +k04_buttercup10012(esk159_0)
% 0.52/0.73  +k04_buttercup10012(esk118_0)
% 0.52/0.73  +k04_buttercup10012(esk125_0)
% 0.52/0.73  +k04_buttercup10012(esk198_0)
% 0.52/0.73  +k04_buttercup10012(esk126_0)
% 0.52/0.73  +k04_buttercup10012(esk105_0)
% 0.52/0.73  +k04_buttercup10012(esk124_0)
% 0.52/0.73  +k04_buttercup10012(esk122_0)
% 0.52/0.73  +k04_buttercup10012(esk214_0)
% 0.52/0.73  +k04_buttercup10012(esk215_0)
% 0.52/0.73  +k04_buttercup10012(esk217_0)
% 0.52/0.73  +k04_buttercup10012(esk150_0)
% 0.52/0.73  +k04_buttercup10012(esk106_0)
% 0.52/0.73  +k04_buttercup10012(esk112_0)
% 0.52/0.73  +k04_buttercup10012(esk220_0)
% 0.52/0.73  +k04_buttercup10012(esk202_0)
% 0.52/0.73  +k04_buttercup10012(esk201_0)
% 0.52/0.73  +k04_buttercup10012(esk187_0)
% 0.52/0.73  +k04_buttercup10012(esk208_0)
% 0.52/0.73  +k04_buttercup10012(esk209_0)
% 0.52/0.73  +k04_buttercup10012(esk147_0)
% 0.52/0.73  +k04_buttercup10012(esk104_0)
% 0.52/0.73  +k04_buttercup10012(esk226_0)
% 0.52/0.73  +k04_buttercup10012(esk222_0)
% 0.52/0.73  +k04_buttercup10012(esk136_0)
% 0.52/0.73  +k04_buttercup10012(esk219_0)
% 0.52/0.73  +k04_buttercup10012(esk28_0)
% 0.52/0.73  +k04_buttercup10012(esk31_0)
% 0.52/0.73  +k04_buttercup10012(esk32_0)
% 0.52/0.73  +k04_buttercup10012(esk135_0)
% 0.52/0.73  +k04_buttercup10012(esk186_0)
% 0.52/0.73  +k04_buttercup10012(esk117_0)
% 0.52/0.73  +k04_buttercup10012(esk204_0)
% 0.52/0.73  +k04_buttercup10012(esk205_0)
% 0.52/0.73  +k04_buttercup10012(esk213_0)
% 0.52/0.73  +k04_buttercup10012(esk146_0)
% 0.52/0.73  +k04_buttercup10012(esk23_0)
% 0.52/0.73  +k04_buttercup10012(esk47_0)
% 0.52/0.73  +k04_buttercup10012(esk48_0)
% 0.52/0.73  +k04_buttercup10012(esk49_0)
% 0.52/0.73  +k04_buttercup10012(esk127_0)
% 0.52/0.73  +k04_buttercup10012(esk116_0)
% 0.52/0.73  +k04_buttercup10012(esk115_0)
% 0.52/0.73  +k04_buttercup10012(esk132_0)
% 0.52/0.73  +k04_buttercup10012(esk38_0)
% 0.52/0.73  +k04_buttercup10012(esk110_0)
% 0.52/0.73  +k04_buttercup10012(esk139_0)
% 0.52/0.73  +k04_buttercup10012(esk33_0)
% 0.52/0.73  +k04_buttercup10012(esk140_0)
% 0.52/0.73  +k04_buttercup10012(esk93_0)
% 0.52/0.73  +k04_buttercup10012(esk151_0)
% 0.52/0.73  +k04_buttercup10012(esk21_0)
% 0.52/0.73  +k04_buttercup10012(esk22_0)
% 0.52/0.73  +k04_buttercup10012(esk79_0)
% 0.52/0.73  +k04_buttercup10012(esk228_0)
% 0.52/0.73  +k04_buttercup10012(esk100_0)
% 0.52/0.73  +k04_buttercup10012(esk207_0)
% 0.52/0.73  +k04_buttercup10012(esk5_0)
% 0.52/0.73  +k04_buttercup10012(esk6_0)
% 0.52/0.73  +k04_buttercup10012(esk210_0)
% 0.52/0.73  +k04_buttercup10012(esk180_0)
% 0.52/0.73  +k04_buttercup10012(esk166_0)
% 0.52/0.73  +k04_buttercup10012(esk91_0)
% 0.52/0.73  +k04_buttercup10012(esk1_0)
% 0.52/0.73  +k04_buttercup10012(esk2_0)
% 0.52/0.73  +k04_buttercup10012(esk67_0)
% 0.52/0.73  +k04_buttercup10012(esk143_0)
% 0.52/0.73  +k04_buttercup10012(esk453_0)
% 0.52/0.73  +k04_buttercup10012(esk162_0)
% 0.52/0.73  +k04_buttercup10012(esk60_0)
% 0.52/0.73  +k04_buttercup10012(esk224_0)
% 0.52/0.73  +k04_buttercup10012(esk178_0)
% 0.52/0.73  +k04_buttercup10012(esk176_0)
% 0.52/0.73  +k04_buttercup10012(esk191_0)
% 0.52/0.73  +k04_buttercup10012(esk230_0)
% 0.52/0.73  +k04_buttercup10012(esk14_0)
% 0.52/0.73  +k04_buttercup10012(esk15_0)
% 0.52/0.73  +k04_buttercup10012(esk16_0)
% 0.52/0.73  +k04_buttercup10012(esk153_0)
% 0.52/0.73  +k04_buttercup10012(esk188_0)
% 0.52/0.73  +k04_buttercup10012(esk170_0)
% 0.52/0.73  +k04_buttercup10012(esk113_0)
% 0.52/0.73  +k04_buttercup10012(esk98_0)
% 0.52/0.73  +k04_buttercup10012(esk182_0)
% 0.52/0.73  +k04_buttercup10012(esk25_0)
% 0.52/0.73  +k04_buttercup10012(esk26_0)
% 0.52/0.73  +k04_buttercup10012(esk203_0)
% 0.52/0.73  +k04_buttercup10012(esk81_0)
% 0.52/0.73  +k04_buttercup10012(esk216_0)
% 0.52/0.73  +k04_buttercup10012(esk175_0)
% 0.52/0.73  +k04_buttercup10012(esk65_0)
% 0.52/0.73  +k04_buttercup10012(esk66_0)
% 0.52/0.73  +k04_buttercup10012(esk190_0)
% 0.52/0.73  +k04_buttercup10012(esk189_0)
% 0.52/0.73  +k04_buttercup10012(esk171_0)
% 0.52/0.73  +k04_buttercup10012(esk3_0)
% 0.52/0.73  +k04_buttercup10012(esk4_0)
% 0.52/0.73  +k04_buttercup10012(esk43_0)
% 0.52/0.73  +k04_buttercup10012(esk44_0)
% 0.52/0.73  +k04_buttercup10012(esk45_0)
% 0.52/0.73  +k04_buttercup10012(esk149_0)
% 0.52/0.73  +k04_buttercup10012(esk69_0)
% 0.52/0.73  +k04_buttercup10012(esk70_0)
% 0.52/0.73  +k04_buttercup10012(esk71_0)
% 0.52/0.73  +k04_buttercup10012(esk95_0)
% 0.52/0.73  +k04_buttercup10012(esk68_0)
% 0.52/0.73  +k04_buttercup10012(esk72_0)
% 0.52/0.73  +k04_buttercup10012(esk114_0)
% 0.52/0.73  +k04_buttercup10012(esk211_0)
% 0.52/0.73  +k04_buttercup10012(esk54_0)
% 0.52/0.73  +k04_buttercup10012(esk55_0)
% 0.52/0.73  +k04_buttercup10012(esk57_0)
% 0.52/0.73  +k04_buttercup10012(esk58_0)
% 0.52/0.73  +k04_buttercup10012(esk111_0)
% 0.52/0.73  +k04_buttercup10012(esk134_0)
% 0.52/0.73  +k04_buttercup10012(esk133_0)
% 0.52/0.73  +k04_buttercup10012(esk137_0)
% 0.52/0.73  +k04_buttercup10012(esk131_0)
% 0.52/0.73  +k04_buttercup10012(esk148_0)
% 0.52/0.73  +k04_buttercup10012(esk154_0)
% 0.52/0.73  +k04_buttercup10012(esk36_0)
% 0.52/0.73  +k04_buttercup10012(esk37_0)
% 0.52/0.73  +k04_buttercup10012(esk174_0)
% 0.52/0.73  +k04_buttercup10012(esk167_0)
% 0.52/0.73  +k04_buttercup10012(esk83_0)
% 0.52/0.73  +k04_buttercup10012(esk84_0)
% 0.52/0.73  +k04_buttercup10012(esk85_0)
% 0.52/0.73  +k04_buttercup10012(esk87_0)
% 0.52/0.73  +k04_buttercup10012(esk88_0)
% 0.52/0.73  +k04_buttercup10012(esk89_0)
% 0.52/0.73  +k04_buttercup10012(esk165_0)
% 0.52/0.73  +k04_buttercup10012(esk197_0)
% 0.52/0.73  +k04_buttercup10012(esk200_0)
% 0.52/0.73  +k04_buttercup10012(esk107_0)
% 0.52/0.73  +k04_buttercup10012(esk120_0)
% 0.52/0.73  +k04_buttercup10012(esk121_0)
% 0.52/0.73  +k04_buttercup10012(esk156_0)
% 0.52/0.73  +k04_buttercup10012(esk155_0)
% 0.52/0.73  +k04_buttercup10012(esk160_0)
% 0.52/0.73  +k04_buttercup10012(esk138_0)
% 0.52/0.73  +k04_buttercup10012(esk225_0)
% 0.52/0.73  +k04_buttercup10012(esk221_0)
% 0.52/0.73  +k04_buttercup10012(esk103_0)
% 0.52/0.73  +k04_buttercup10012(esk206_0)
% 0.52/0.73  +k04_buttercup10012(esk63_0)
% 0.52/0.73  +k04_buttercup10012(esk64_0)
% 0.52/0.73  +k04_buttercup10012(esk82_0)
% 0.52/0.73  +k04_buttercup10012(esk158_0)
% 0.52/0.73  +k04_buttercup10012(esk185_0)
% 0.52/0.73  +k04_buttercup10012(esk179_0)
% 0.52/0.73  +k04_buttercup10012(esk128_0)
% 0.52/0.73  +k04_buttercup10012(esk157_0)
% 0.52/0.73  +k04_buttercup10012(esk152_0)
% 0.52/0.73  +k04_buttercup10012(esk123_0)
% 0.52/0.73  +k04_buttercup10012(esk129_0)
% 0.52/0.73  +k04_buttercup10012(esk108_0)
% 0.52/0.73  +k04_buttercup10012(esk218_0)
% 0.52/0.73  +k04_buttercup10012(esk430_0)
% 0.52/0.73  +k04_buttercup10012(esk243_0)
% 0.52/0.73  +k04_buttercup10012(esk428_0)
% 0.52/0.73  +k04_buttercup10012(esk314_0)
% 0.52/0.73  +k04_buttercup10012(esk422_0)
% 0.52/0.73  +k04_buttercup10012(esk312_0)
% 0.52/0.73  +k04_buttercup10012(esk449_0)
% 0.52/0.73  +k04_buttercup10012(esk442_0)
% 0.52/0.73  +k04_buttercup10012(esk412_0)
% 0.52/0.73  +k04_buttercup10012(esk411_0)
% 0.52/0.73  +k04_buttercup10012(esk443_0)
% 0.52/0.73  +k04_buttercup10012(esk415_0)
% 0.52/0.73  +k04_buttercup10012(esk441_0)
% 0.52/0.73  +k04_buttercup10012(esk439_0)
% 0.52/0.73  +k04_buttercup10012(esk377_0)
% 0.52/0.73  +k04_buttercup10012(esk376_0)
% 0.52/0.73  +k04_buttercup10012(esk375_0)
% 0.52/0.73  +k04_buttercup10012(esk414_0)
% 0.52/0.73  +k04_buttercup10012(esk379_0)
% 0.52/0.73  +k04_buttercup10012(esk413_0)
% 0.52/0.73  +k04_buttercup10012(esk409_0)
% 0.52/0.73  +k04_buttercup10012(esk446_0)
% 0.52/0.73  +k04_buttercup10012(esk396_0)
% 0.52/0.73  +k04_buttercup10012(esk397_0)
% 0.52/0.73  +k04_buttercup10012(esk399_0)
% 0.52/0.73  +k04_buttercup10012(esk400_0)
% 0.52/0.73  +k04_buttercup10012(esk401_0)
% 0.52/0.73  +k04_buttercup10012(esk424_0)
% 0.52/0.73  +k04_buttercup10012(esk423_0)
% 0.52/0.73  +k04_buttercup10012(esk249_0)
% 0.52/0.73  +k04_buttercup10012(esk272_0)
% 0.52/0.73  +k04_buttercup10012(esk275_0)
% 0.52/0.73  +k04_buttercup10012(esk450_0)
% 0.52/0.73  +k04_buttercup10012(esk292_0)
% 0.52/0.73  +k04_buttercup10012(esk352_0)
% 0.52/0.73  +k04_buttercup10012(esk315_0)
% 0.52/0.73  +k04_buttercup10012(esk383_0)
% 0.52/0.73  +k04_buttercup10012(esk381_0)
% 0.52/0.73  +k04_buttercup10012(esk384_0)
% 0.52/0.73  +k04_buttercup10012(esk365_0)
% 0.52/0.73  +k04_buttercup10012(esk369_0)
% 0.52/0.73  +k04_buttercup10012(esk346_0)
% 0.52/0.73  +k04_buttercup10012(esk238_0)
% 0.52/0.73  +k04_buttercup10012(esk237_0)
% 0.52/0.73  +k04_buttercup10012(esk239_0)
% 0.52/0.73  +k04_buttercup10012(esk234_0)
% 0.52/0.73  +k04_buttercup10012(esk419_0)
% 0.52/0.73  +k04_buttercup10012(esk421_0)
% 0.52/0.73  +k04_buttercup10012(esk353_0)
% 0.52/0.73  +k04_buttercup10012(esk319_0)
% 0.52/0.73  +k04_buttercup10012(esk280_0)
% 0.52/0.73  +k04_buttercup10012(esk337_0)
% 0.52/0.73  +k04_buttercup10012(esk282_0)
% 0.52/0.73  +k04_buttercup10012(esk260_0)
% 0.52/0.73  +k04_buttercup10012(esk279_0)
% 0.52/0.73  +k04_buttercup10012(esk277_0)
% 0.52/0.73  +k04_buttercup10012(esk416_0)
% 0.52/0.73  +k04_buttercup10012(esk418_0)
% 0.52/0.73  +k04_buttercup10012(esk330_0)
% 0.52/0.73  +k04_buttercup10012(esk343_0)
% 0.52/0.73  +k04_buttercup10012(esk339_0)
% 0.52/0.73  +k04_buttercup10012(esk357_0)
% 0.52/0.73  +k04_buttercup10012(esk266_0)
% 0.52/0.73  +k04_buttercup10012(esk265_0)
% 0.52/0.73  +k04_buttercup10012(esk267_0)
% 0.52/0.73  +k04_buttercup10012(esk393_0)
% 0.52/0.73  +k04_buttercup10012(esk253_0)
% 0.52/0.73  +k04_buttercup10012(esk259_0)
% 0.52/0.73  +k04_buttercup10012(esk427_0)
% 0.52/0.73  +k04_buttercup10012(esk394_0)
% 0.52/0.73  +k04_buttercup10012(esk373_0)
% 0.52/0.73  +k04_buttercup10012(esk371_0)
% 0.52/0.73  +k04_buttercup10012(esk360_0)
% 0.52/0.73  +k04_buttercup10012(esk341_0)
% 0.52/0.73  +k04_buttercup10012(esk324_0)
% 0.52/0.73  +k04_buttercup10012(esk322_0)
% 0.52/0.73  +k04_buttercup10012(esk323_0)
% 0.52/0.73  +k04_buttercup10012(esk327_0)
% 0.52/0.73  +k04_buttercup10012(esk326_0)
% 0.52/0.73  +k04_buttercup10012(esk262_0)
% 0.52/0.73  +k04_buttercup10012(esk291_0)
% 0.52/0.73  +k04_buttercup10012(esk434_0)
% 0.52/0.73  +k04_buttercup10012(esk351_0)
% 0.52/0.73  +k04_buttercup10012(esk433_0)
% 0.52/0.73  +k04_buttercup10012(esk406_0)
% 0.52/0.73  +k04_buttercup10012(esk435_0)
% 0.52/0.73  +k04_buttercup10012(esk426_0)
% 0.52/0.73  +k04_buttercup10012(esk295_0)
% 0.52/0.73  +k04_buttercup10012(esk293_0)
% 0.52/0.73  +k04_buttercup10012(esk269_0)
% 0.52/0.73  +k04_buttercup10012(esk270_0)
% 0.52/0.73  +k04_buttercup10012(esk273_0)
% 0.52/0.73  +k04_buttercup10012(esk342_0)
% 0.52/0.73  +k04_buttercup10012(esk404_0)
% 0.52/0.73  +k04_buttercup10012(esk340_0)
% 0.52/0.73  +k04_buttercup10012(esk403_0)
% 0.52/0.73  +k04_buttercup10012(esk302_0)
% 0.52/0.73  +k04_buttercup10012(esk304_0)
% 0.52/0.73  +k04_buttercup10012(esk432_0)
% 0.52/0.73  +k04_buttercup10012(esk361_0)
% 0.52/0.73  +k04_buttercup10012(esk445_0)
% 0.52/0.73  +k04_buttercup10012(esk382_0)
% 0.52/0.73  +k04_buttercup10012(esk364_0)
% 0.52/0.73  +k04_buttercup10012(esk356_0)
% 0.52/0.73  +k04_buttercup10012(esk311_0)
% 0.52/0.73  +k04_buttercup10012(esk398_0)
% 0.52/0.73  +k04_buttercup10012(esk358_0)
% 0.52/0.73  +k04_buttercup10012(esk355_0)
% 0.52/0.73  +k04_buttercup10012(esk245_0)
% 0.52/0.73  +k04_buttercup10012(esk370_0)
% 0.52/0.73  +k04_buttercup10012(esk256_0)
% 0.52/0.73  +k04_buttercup10012(esk325_0)
% 0.52/0.73  +k04_buttercup10012(esk372_0)
% 0.52/0.73  +k04_buttercup10012(esk274_0)
% 0.52/0.73  +k04_buttercup10012(esk332_0)
% 0.52/0.73  +k04_buttercup10012(esk362_0)
% 0.52/0.73  +k04_buttercup10012(esk345_0)
% 0.52/0.73  +k04_buttercup10012(esk338_0)
% 0.52/0.73  +k04_buttercup10012(esk354_0)
% 0.52/0.73  +k04_buttercup10012(esk389_0)
% 0.52/0.73  +k04_buttercup10012(esk268_0)
% 0.52/0.73  +k04_buttercup10012(esk447_0)
% 0.52/0.73  +k04_buttercup10012(esk290_0)
% 0.52/0.73  +k04_buttercup10012(esk296_0)
% 0.52/0.73  +k04_buttercup10012(esk294_0)
% 0.52/0.73  +k04_buttercup10012(esk297_0)
% 0.52/0.73  +k04_buttercup10012(esk329_0)
% 0.52/0.73  +k04_buttercup10012(esk328_0)
% 0.52/0.73  +k04_buttercup10012(esk347_0)
% 0.52/0.73  +k04_buttercup10012(esk405_0)
% 0.52/0.73  +k04_buttercup10012(esk387_0)
% 0.52/0.73  +k04_buttercup10012(esk251_0)
% 0.52/0.73  +k04_buttercup10012(esk40_0)
% 0.52/0.73  +k04_buttercup10012(esk254_0)
% 0.52/0.73  +k04_buttercup10012(esk300_0)
% 0.52/0.73  +k04_buttercup10012(esk276_0)
% 0.52/0.73  +k04_buttercup10012(esk334_0)
% 0.52/0.73  +k04_buttercup10012(esk333_0)
% 0.52/0.73  +k04_buttercup10012(esk331_0)
% 0.52/0.73  +k04_buttercup10012(esk235_0)
% 0.52/0.73  +k04_buttercup10012(esk271_0)
% 0.52/0.73  +k04_buttercup10012(esk366_0)
% 0.52/0.73  +k04_buttercup10012(esk246_0)
% 0.52/0.73  +k04_buttercup10012(esk385_0)
% 0.52/0.73  +k04_buttercup10012(esk363_0)
% 0.52/0.73  +k04_buttercup10012(esk448_0)
% 0.52/0.73  +k04_buttercup10012(esk321_0)
% 0.52/0.73  +k04_buttercup10012(esk368_0)
% 0.52/0.73  +k04_buttercup10012(esk289_0)
% 0.52/0.73  +k04_buttercup10012(esk336_0)
% 0.52/0.73  +k04_buttercup10012(esk349_0)
% 0.52/0.73  +k04_buttercup10012(esk313_0)
% 0.52/0.73  +k04_buttercup10012(esk278_0)
% 0.52/0.73  +k04_buttercup10012(esk287_0)
% 0.52/0.73  +k04_buttercup10012(esk425_0)
% 0.52/0.73  +k04_buttercup10012(esk308_0)
% 0.52/0.73  +k04_buttercup10012(esk307_0)
% 0.52/0.73  +k04_buttercup10012(esk306_0)
% 0.52/0.73  +k04_buttercup10012(esk395_0)
% 0.52/0.73  +k04_buttercup10012(esk390_0)
% 0.52/0.73  +k04_buttercup10012(esk391_0)
% 0.52/0.73  +k04_buttercup10012(esk301_0)
% 0.52/0.73  +k04_buttercup10012(esk236_0)
% 0.52/0.73  +k04_buttercup10012(esk261_0)
% 0.52/0.73  +k04_buttercup10012(esk420_0)
% 0.52/0.73  +k04_buttercup10012(esk305_0)
% 0.52/0.73  +k04_buttercup10012(esk263_0)
% 0.52/0.73  +k04_buttercup10012(esk440_0)
% 0.52/0.73  +k04_buttercup10012(esk408_0)
% 0.52/0.73  +k04_buttercup10012(esk451_0)
% 0.52/0.73  +k04_buttercup10012(esk454_0)
% 0.52/0.73  +k04_buttercup10012(esk457_0)
% 0.52/0.73  +k04_buttercup10012(esk458_0)
% 0.52/0.73  +k04_buttercup10012(esk489_0)
% 0.52/0.73  +k04_buttercup10012(esk492_0)
% 0.52/0.73  +k04_buttercup10012(esk493_0)
% 0.52/0.73  +k04_buttercup10012(esk494_0)
% 0.52/0.73  +k04_buttercup10012(esk497_0)
% 0.52/0.73  +k04_buttercup10012(esk498_0)
% 0.52/0.73  +k04_buttercup10012(esk459_0)
% 0.52/0.73  +k04_buttercup10012(esk462_0)
% 0.52/0.73  +k04_buttercup10012(esk463_0)
% 0.52/0.73  +k04_buttercup10012(esk464_0)
% 0.52/0.73  +k04_buttercup10012(esk467_0)
% 0.52/0.73  +k04_buttercup10012(esk468_0)
% 0.52/0.73  +k04_buttercup10012(esk499_0)
% 0.52/0.73  +k04_buttercup10012(esk502_0)
% 0.52/0.73  +k04_buttercup10012(esk503_0)
% 0.52/0.73  +k04_buttercup10012(esk469_0)
% 0.52/0.73  +k04_buttercup10012(esk472_0)
% 0.52/0.73  +k04_buttercup10012(esk473_0)
% 0.52/0.73  +k04_buttercup10012(esk474_0)
% 0.52/0.73  +k04_buttercup10012(esk477_0)
% 0.52/0.73  +k04_buttercup10012(esk478_0)
% 0.52/0.73  +k04_buttercup10012(esk479_0)
% 0.52/0.73  +k04_buttercup10012(esk482_0)
% 0.52/0.73  +k04_buttercup10012(esk483_0)
% 0.52/0.73  +k04_buttercup10012(esk484_0)
% 0.52/0.73  +k04_buttercup10012(esk487_0)
% 0.52/0.73  +k04_buttercup10012(esk488_0)
% 0.52/0.73  +k04_buttercup10012(esk504_0)
% 0.52/0.73  +k04_buttercup10012(esk507_0)
% 0.52/0.73  +k04_buttercup10012(esk508_0)
% 0.52/0.73  +k04_buttercup10012(esk509_0)
% 0.52/0.73  +k04_buttercup10012(esk512_0)
% 0.52/0.73  -k04_buttercup10012(esk42_0)
% 0.52/0.73  +k04_buttercup10016(esk14_0)
% 0.52/0.73  +k04_buttercup10016(esk15_0)
% 0.52/0.73  +k04_buttercup10016(esk16_0)
% 0.52/0.73  +k04_buttercup10016(esk153_0)
% 0.52/0.73  +k04_buttercup10016(esk325_0)
% 0.52/0.73  +k04_buttercup10016(esk390_0)
% 0.52/0.73  +k04_buttercup10016(esk391_0)
% 0.52/0.73  +k04_buttercup10016(esk301_0)
% 0.52/0.73  -k04_buttercup10016(esk42_0)
% 0.52/0.73  +k04_buttercup10026(esk202_0)
% 0.52/0.73  +k04_buttercup10026(esk201_0)
% 0.52/0.73  +k04_buttercup10026(esk187_0)
% 0.52/0.73  +k04_buttercup10026(esk170_0)
% 0.52/0.73  +k04_buttercup10026(esk394_0)
% 0.52/0.73  +k04_buttercup10026(esk373_0)
% 0.52/0.73  +k04_buttercup10026(esk371_0)
% 0.52/0.73  +k04_buttercup10026(esk454_0)
% 0.52/0.73  +k04_buttercup10026(esk457_0)
% 0.52/0.73  +k04_buttercup10026(esk458_0)
% 0.52/0.73  -k04_buttercup10026(esk17_0)
% 0.52/0.73  -k04_buttercup10026(esk42_0)
% 0.52/0.73  +k04_buttercup10028(esk202_0)
% 0.52/0.73  +k04_buttercup10028(esk371_0)
% 0.52/0.73  -k04_buttercup10028(esk17_0)
% 0.52/0.73  -k04_buttercup10028(esk42_0)
% 0.52/0.73  +k04_buttercup10033(esk187_0)
% 0.52/0.73  +k04_buttercup10033(esk373_0)
% 0.52/0.73  -k04_buttercup10033(esk17_0)
% 0.52/0.73  -k04_buttercup10033(esk42_0)
% 0.52/0.73  +k04_buttercup10039(esk188_0)
% 0.52/0.73  +k04_buttercup10039(esk372_0)
% 0.52/0.73  -k04_buttercup10039(esk42_0)
% 0.52/0.73  +k04_buttercup10042(esk99_0)
% 0.52/0.73  +k04_buttercup10042(esk241_0)
% 0.52/0.73  +k04_buttercup10044(esk97_0)
% 0.52/0.73  +k04_buttercup10044(esk244_0)
% 0.52/0.73  +k04_buttercup10048(esk101_0)
% 0.52/0.73  +k04_buttercup10048(esk102_0)
% 0.52/0.73  +k04_buttercup10048(esk223_0)
% 0.52/0.73  +k04_buttercup10048(esk430_0)
% 0.52/0.73  +k04_buttercup10048(esk243_0)
% 0.52/0.73  +k04_buttercup10048(esk428_0)
% 0.52/0.73  -k04_buttercup10048(esk42_0)
% 0.52/0.73  +k04_buttercup10049(esk101_0)
% 0.52/0.73  +k04_buttercup10049(esk428_0)
% 0.52/0.73  -k04_buttercup10049(esk42_0)
% 0.52/0.73  +k04_buttercup10051(esk223_0)
% 0.52/0.73  +k04_buttercup10051(esk430_0)
% 0.52/0.73  -k04_buttercup10051(esk42_0)
% 0.52/0.73  +k04_buttercup10053(esk170_0)
% 0.52/0.73  +k04_buttercup10053(esk394_0)
% 0.52/0.73  +k04_buttercup10053(esk458_0)
% 0.52/0.73  -k04_buttercup10053(esk17_0)
% 0.52/0.73  -k04_buttercup10053(esk62_0)
% 0.52/0.73  -k04_buttercup10053(esk42_0)
% 0.52/0.73  +k04_buttercup10057(esk136_0)
% 0.52/0.73  +k04_buttercup10057(esk219_0)
% 0.52/0.73  +k04_buttercup10057(esk28_0)
% 0.52/0.73  +k04_buttercup10057(esk31_0)
% 0.52/0.73  +k04_buttercup10057(esk32_0)
% 0.52/0.73  +k04_buttercup10057(esk135_0)
% 0.52/0.73  +k04_buttercup10057(esk186_0)
% 0.52/0.73  +k04_buttercup10057(esk117_0)
% 0.52/0.73  +k04_buttercup10057(esk435_0)
% 0.52/0.73  +k04_buttercup10057(esk426_0)
% 0.52/0.73  +k04_buttercup10057(esk295_0)
% 0.52/0.73  +k04_buttercup10057(esk293_0)
% 0.52/0.73  +k04_buttercup10057(esk269_0)
% 0.52/0.73  +k04_buttercup10057(esk270_0)
% 0.52/0.73  +k04_buttercup10057(esk273_0)
% 0.52/0.73  -k04_buttercup10057(esk42_0)
% 0.52/0.73  +k04_buttercup10061(esk136_0)
% 0.52/0.73  +k04_buttercup10061(esk435_0)
% 0.52/0.73  -k04_buttercup10061(esk42_0)
% 0.52/0.73  +k04_buttercup10064(esk28_0)
% 0.52/0.73  +k04_buttercup10064(esk31_0)
% 0.52/0.73  +k04_buttercup10064(esk32_0)
% 0.52/0.73  +k04_buttercup10064(esk135_0)
% 0.52/0.73  +k04_buttercup10064(esk293_0)
% 0.52/0.73  +k04_buttercup10064(esk269_0)
% 0.52/0.73  +k04_buttercup10064(esk273_0)
% 0.52/0.73  -k04_buttercup10064(esk42_0)
% 0.52/0.73  +k04_buttercup10067(esk186_0)
% 0.52/0.73  +k04_buttercup10067(esk295_0)
% 0.52/0.73  -k04_buttercup10067(esk42_0)
% 0.52/0.73  +k04_buttercup10074(esk117_0)
% 0.52/0.73  +k04_buttercup10074(esk270_0)
% 0.52/0.73  -k04_buttercup10074(esk42_0)
% 0.52/0.73  +k04_buttercup10079(esk113_0)
% 0.52/0.73  +k04_buttercup10079(esk274_0)
% 0.52/0.73  -k04_buttercup10079(esk42_0)
% 0.52/0.73  +k04_buttercup10084(esk98_0)
% 0.52/0.73  +k04_buttercup10084(esk332_0)
% 0.52/0.73  -k04_buttercup10084(esk42_0)
% 0.52/0.73  +k04_buttercup10089(esk182_0)
% 0.52/0.73  +k04_buttercup10089(esk345_0)
% 0.52/0.73  -k04_buttercup10089(esk42_0)
% 0.52/0.73  +k04_buttercup10095(esk163_0)
% 0.52/0.73  +k04_buttercup10095(esk52_0)
% 0.52/0.73  +k04_buttercup10095(esk76_0)
% 0.52/0.73  +k04_buttercup10095(esk199_0)
% 0.52/0.73  +k04_buttercup10095(esk164_0)
% 0.52/0.73  +k04_buttercup10095(esk338_0)
% 0.52/0.73  +k04_buttercup10095(esk296_0)
% 0.52/0.73  -k04_buttercup10095(esk42_0)
% 0.52/0.73  +k04_buttercup10096(esk163_0)
% 0.52/0.73  +k04_buttercup10096(esk338_0)
% 0.52/0.73  -k04_buttercup10096(esk76_0)
% 0.52/0.73  -k04_buttercup10096(esk42_0)
% 0.52/0.73  +k04_buttercup10097(esk164_0)
% 0.52/0.73  +k04_buttercup10097(esk296_0)
% 0.52/0.73  -k04_buttercup10097(esk52_0)
% 0.52/0.73  -k04_buttercup10097(esk42_0)
% 0.52/0.73  +k04_buttercup10100(esk213_0)
% 0.52/0.73  +k04_buttercup10100(esk25_0)
% 0.52/0.73  +k04_buttercup10100(esk26_0)
% 0.52/0.73  +k04_buttercup10100(esk203_0)
% 0.52/0.73  +k04_buttercup10100(esk396_0)
% 0.52/0.73  +k04_buttercup10100(esk397_0)
% 0.52/0.73  +k04_buttercup10100(esk399_0)
% 0.52/0.73  +k04_buttercup10100(esk400_0)
% 0.52/0.73  +k04_buttercup10100(esk401_0)
% 0.52/0.73  +k04_buttercup10100(esk424_0)
% 0.52/0.73  +k04_buttercup10100(esk423_0)
% 0.52/0.73  +k04_buttercup10100(esk463_0)
% 0.52/0.73  +k04_buttercup10100(esk468_0)
% 0.52/0.73  +k04_buttercup10100(esk469_0)
% 0.52/0.73  +k04_buttercup10100(esk472_0)
% 0.52/0.73  +k04_buttercup10100(esk473_0)
% 0.52/0.73  +k04_buttercup10100(esk474_0)
% 0.52/0.73  +k04_buttercup10100(esk477_0)
% 0.52/0.73  +k04_buttercup10100(esk478_0)
% 0.52/0.73  +k04_buttercup10100(esk479_0)
% 0.52/0.73  +k04_buttercup10100(esk482_0)
% 0.52/0.73  +k04_buttercup10100(esk483_0)
% 0.52/0.73  +k04_buttercup10100(esk484_0)
% 0.52/0.73  +k04_buttercup10100(esk487_0)
% 0.52/0.73  +k04_buttercup10100(esk488_0)
% 0.52/0.73  +k04_buttercup10100(esk504_0)
% 0.52/0.73  +k04_buttercup10100(esk507_0)
% 0.52/0.73  +k04_buttercup10100(esk508_0)
% 0.52/0.73  -k04_buttercup10100(esk53_0)
% 0.52/0.73  -k04_buttercup10100(esk42_0)
% 0.52/0.73  +k04_buttercup10117(esk81_0)
% 0.52/0.73  +k04_buttercup10117(esk216_0)
% 0.52/0.73  +k04_buttercup10117(esk419_0)
% 0.52/0.73  +k04_buttercup10117(esk421_0)
% 0.52/0.73  +k04_buttercup10117(esk353_0)
% 0.52/0.73  -k04_buttercup10117(esk42_0)
% 0.52/0.73  +k04_buttercup10125(esk175_0)
% 0.52/0.73  +k04_buttercup10125(esk354_0)
% 0.52/0.73  -k04_buttercup10125(esk42_0)
% 0.52/0.73  +k04_buttercup10132(esk65_0)
% 0.52/0.73  +k04_buttercup10132(esk66_0)
% 0.52/0.73  +k04_buttercup10132(esk190_0)
% 0.52/0.73  +k04_buttercup10132(esk377_0)
% 0.52/0.73  +k04_buttercup10132(esk376_0)
% 0.52/0.73  +k04_buttercup10132(esk375_0)
% 0.52/0.73  -k04_buttercup10132(esk42_0)
% 0.52/0.73  +k04_buttercup10135(esk189_0)
% 0.52/0.73  -k04_buttercup10135(esk12_0)
% 0.52/0.73  -k04_buttercup10135(esk42_0)
% 0.52/0.73  -k04_buttercup10135(esk40_0)
% 0.52/0.73  -k04_buttercup10135(esk39_0)
% 0.52/0.73  +k04_buttercup10139(esk132_0)
% 0.52/0.73  +k04_buttercup10139(esk38_0)
% 0.52/0.73  +k04_buttercup10139(esk110_0)
% 0.52/0.73  +k04_buttercup10139(esk362_0)
% 0.52/0.73  -k04_buttercup10139(esk42_0)
% 0.52/0.73  +k04_buttercup10142(esk132_0)
% 0.52/0.73  +k04_buttercup10142(esk362_0)
% 0.52/0.73  -k04_buttercup10142(esk38_0)
% 0.52/0.73  -k04_buttercup10142(esk42_0)
% 0.52/0.73  +k04_buttercup10147(esk171_0)
% 0.52/0.73  +k04_buttercup10147(esk389_0)
% 0.52/0.73  -k04_buttercup10147(esk42_0)
% 0.52/0.73  +k04_buttercup10153(esk3_0)
% 0.52/0.73  +k04_buttercup10153(esk4_0)
% 0.52/0.73  +k04_buttercup10153(esk43_0)
% 0.52/0.73  +k04_buttercup10153(esk44_0)
% 0.52/0.73  +k04_buttercup10153(esk45_0)
% 0.52/0.73  +k04_buttercup10153(esk149_0)
% 0.52/0.73  +k04_buttercup10153(esk324_0)
% 0.52/0.73  +k04_buttercup10153(esk322_0)
% 0.52/0.73  +k04_buttercup10153(esk323_0)
% 0.52/0.73  +k04_buttercup10153(esk327_0)
% 0.52/0.73  +k04_buttercup10153(esk326_0)
% 0.52/0.73  +k04_buttercup10153(esk262_0)
% 0.52/0.73  -k04_buttercup10153(esk42_0)
% 0.52/0.73  +k04_buttercup10164(esk69_0)
% 0.52/0.73  +k04_buttercup10164(esk70_0)
% 0.52/0.73  +k04_buttercup10164(esk71_0)
% 0.52/0.73  +k04_buttercup10164(esk95_0)
% 0.52/0.73  +k04_buttercup10164(esk238_0)
% 0.52/0.73  +k04_buttercup10164(esk237_0)
% 0.52/0.73  +k04_buttercup10164(esk239_0)
% 0.52/0.73  +k04_buttercup10164(esk234_0)
% 0.52/0.73  -k04_buttercup10164(esk42_0)
% 0.52/0.73  +k04_buttercup10172(esk68_0)
% 0.52/0.73  +k04_buttercup10172(esk72_0)
% 0.52/0.73  +k04_buttercup10172(esk114_0)
% 0.52/0.73  +k04_buttercup10172(esk266_0)
% 0.52/0.73  +k04_buttercup10172(esk265_0)
% 0.52/0.73  +k04_buttercup10172(esk267_0)
% 0.52/0.73  -k04_buttercup10172(esk42_0)
% 0.52/0.73  +k04_buttercup10181(esk211_0)
% 0.52/0.73  +k04_buttercup10181(esk447_0)
% 0.52/0.73  -k04_buttercup10181(esk42_0)
% 0.52/0.73  +k04_buttercup10184(esk93_0)
% 0.52/0.73  -k04_buttercup10184(esk42_0)
% 0.52/0.73  +k04_buttercup10190(esk21_0)
% 0.52/0.73  +k04_buttercup10190(esk22_0)
% 0.52/0.73  +k04_buttercup10190(esk79_0)
% 0.52/0.73  +k04_buttercup10190(esk228_0)
% 0.52/0.73  +k04_buttercup10190(esk443_0)
% 0.52/0.73  +k04_buttercup10190(esk415_0)
% 0.52/0.73  +k04_buttercup10190(esk441_0)
% 0.52/0.73  +k04_buttercup10190(esk439_0)
% 0.52/0.73  -k04_buttercup10190(esk42_0)
% 0.52/0.73  +k04_buttercup10200(esk100_0)
% 0.52/0.73  +k04_buttercup10200(esk445_0)
% 0.52/0.73  -k04_buttercup10200(esk42_0)
% 0.52/0.73  +k04_buttercup10204(esk147_0)
% 0.52/0.73  +k04_buttercup10204(esk104_0)
% 0.52/0.73  +k04_buttercup10204(esk226_0)
% 0.52/0.73  +k04_buttercup10204(esk222_0)
% 0.52/0.73  +k04_buttercup10204(esk207_0)
% 0.52/0.73  +k04_buttercup10204(esk157_0)
% 0.52/0.73  +k04_buttercup10204(esk291_0)
% 0.52/0.73  +k04_buttercup10204(esk434_0)
% 0.52/0.73  +k04_buttercup10204(esk351_0)
% 0.52/0.73  +k04_buttercup10204(esk433_0)
% 0.52/0.73  +k04_buttercup10204(esk406_0)
% 0.52/0.73  +k04_buttercup10204(esk489_0)
% 0.52/0.73  +k04_buttercup10204(esk492_0)
% 0.52/0.73  +k04_buttercup10204(esk493_0)
% 0.52/0.73  +k04_buttercup10204(esk494_0)
% 0.52/0.73  +k04_buttercup10204(esk497_0)
% 0.52/0.73  +k04_buttercup10204(esk498_0)
% 0.52/0.73  -k04_buttercup10204(esk20_0)
% 0.52/0.73  -k04_buttercup10204(esk42_0)
% 0.52/0.73  +k04_buttercup10206(esk147_0)
% 0.52/0.73  +k04_buttercup10206(esk406_0)
% 0.52/0.73  -k04_buttercup10206(esk20_0)
% 0.52/0.73  -k04_buttercup10206(esk42_0)
% 0.52/0.73  +k04_buttercup10213(esk226_0)
% 0.52/0.73  +k04_buttercup10213(esk434_0)
% 0.52/0.73  -k04_buttercup10213(esk20_0)
% 0.52/0.73  -k04_buttercup10213(esk42_0)
% 0.52/0.73  +k04_buttercup10219(esk222_0)
% 0.52/0.73  +k04_buttercup10219(esk433_0)
% 0.52/0.73  -k04_buttercup10219(esk20_0)
% 0.52/0.73  -k04_buttercup10219(esk42_0)
% 0.52/0.73  +k04_buttercup10221(esk207_0)
% 0.52/0.73  +k04_buttercup10221(esk291_0)
% 0.52/0.73  +k04_buttercup10221(esk498_0)
% 0.52/0.73  -k04_buttercup10221(esk20_0)
% 0.52/0.73  -k04_buttercup10221(esk74_0)
% 0.52/0.73  -k04_buttercup10221(esk42_0)
% 0.52/0.73  +k04_buttercup10225(esk5_0)
% 0.52/0.73  +k04_buttercup10225(esk6_0)
% 0.52/0.73  +k04_buttercup10225(esk210_0)
% 0.52/0.73  +k04_buttercup10225(esk442_0)
% 0.52/0.73  +k04_buttercup10225(esk411_0)
% 0.52/0.73  -k04_buttercup10225(esk85_0)
% 0.52/0.73  -k04_buttercup10225(esk75_0)
% 0.52/0.73  -k04_buttercup10225(esk42_0)
% 0.52/0.73  +k04_buttercup10234(esk118_0)
% 0.52/0.73  +k04_buttercup10234(esk125_0)
% 0.52/0.73  +k04_buttercup10234(esk198_0)
% 0.52/0.73  +k04_buttercup10234(esk382_0)
% 0.52/0.73  -k04_buttercup10234(esk42_0)
% 0.52/0.73  +k04_buttercup10236(esk118_0)
% 0.52/0.73  -k04_buttercup10236(esk42_0)
% 0.52/0.73  +k04_buttercup10238(esk198_0)
% 0.52/0.73  -k04_buttercup10238(esk42_0)
% 0.52/0.73  +k04_buttercup10244(esk180_0)
% 0.52/0.73  +k04_buttercup10244(esk364_0)
% 0.52/0.73  -k04_buttercup10244(esk42_0)
% 0.52/0.73  +k04_buttercup10252(esk166_0)
% 0.52/0.73  +k04_buttercup10252(esk356_0)
% 0.52/0.73  -k04_buttercup10252(esk42_0)
% 0.52/0.73  +k04_buttercup10255(esk168_0)
% 0.52/0.73  +k04_buttercup10255(esk392_0)
% 0.52/0.73  +k04_buttercup10259(_0)
% 0.52/0.73  +k04_buttercup10282(esk91_0)
% 0.52/0.73  +k04_buttercup10282(esk129_0)
% 0.52/0.73  +k04_buttercup10282(esk236_0)
% 0.52/0.73  +k04_buttercup10282(esk499_0)
% 0.52/0.73  +k04_buttercup10282(esk502_0)
% 0.52/0.73  +k04_buttercup10282(esk503_0)
% 0.52/0.73  -k04_buttercup10282(esk42_0)
% 0.52/0.73  -k04_buttercup10282(esk59_0)
% 0.52/0.73  +k04_buttercup10286(esk92_0)
% 0.52/0.73  +k04_buttercup10286(esk233_0)
% 0.52/0.73  +k04_buttercup10288(esk94_0)
% 0.52/0.73  +k04_buttercup10288(esk417_0)
% 0.52/0.73  +k04_buttercup10293(esk214_0)
% 0.52/0.73  +k04_buttercup10293(esk215_0)
% 0.52/0.73  +k04_buttercup10293(esk217_0)
% 0.52/0.73  +k04_buttercup10293(esk416_0)
% 0.52/0.73  +k04_buttercup10293(esk418_0)
% 0.52/0.73  +k04_buttercup10293(esk330_0)
% 0.52/0.73  -k04_buttercup10293(esk42_0)
% 0.52/0.73  +k04_buttercup10296(esk214_0)
% 0.52/0.73  +k04_buttercup10296(esk416_0)
% 0.52/0.73  -k04_buttercup10296(esk42_0)
% 0.52/0.73  +k04_buttercup10298(esk217_0)
% 0.52/0.73  +k04_buttercup10298(esk330_0)
% 0.52/0.73  -k04_buttercup10298(esk42_0)
% 0.52/0.73  +k04_buttercup10303(esk1_0)
% 0.52/0.73  +k04_buttercup10303(esk2_0)
% 0.52/0.73  +k04_buttercup10303(esk67_0)
% 0.52/0.73  +k04_buttercup10303(esk143_0)
% 0.52/0.73  +k04_buttercup10303(esk453_0)
% 0.52/0.73  +k04_buttercup10303(esk314_0)
% 0.52/0.73  +k04_buttercup10303(esk422_0)
% 0.52/0.73  +k04_buttercup10303(esk312_0)
% 0.52/0.73  +k04_buttercup10303(esk449_0)
% 0.52/0.73  +k04_buttercup10303(esk451_0)
% 0.52/0.73  -k04_buttercup10303(esk42_0)
% 0.52/0.73  +k04_buttercup10312(esk162_0)
% 0.52/0.73  +k04_buttercup10312(esk398_0)
% 0.52/0.73  -k04_buttercup10312(esk42_0)
% 0.52/0.73  +k04_buttercup10316(esk60_0)
% 0.52/0.73  +k04_buttercup10316(esk224_0)
% 0.52/0.73  +k04_buttercup10316(esk343_0)
% 0.52/0.73  +k04_buttercup10316(esk339_0)
% 0.52/0.73  +k04_buttercup10316(esk357_0)
% 0.52/0.73  -k04_buttercup10316(esk42_0)
% 0.52/0.73  +k04_buttercup10325(esk178_0)
% 0.52/0.73  +k04_buttercup10325(esk358_0)
% 0.52/0.73  -k04_buttercup10325(esk42_0)
% 0.52/0.73  +k04_buttercup10329(esk176_0)
% 0.52/0.73  +k04_buttercup10329(esk355_0)
% 0.52/0.73  -k04_buttercup10329(esk42_0)
% 0.52/0.73  +k04_buttercup10333(esk191_0)
% 0.52/0.73  +k04_buttercup10333(esk245_0)
% 0.52/0.73  -k04_buttercup10333(esk42_0)
% 0.52/0.73  +k04_buttercup10337(esk212_0)
% 0.52/0.73  +k04_buttercup10337(esk27_0)
% 0.52/0.73  +k04_buttercup10337(esk192_0)
% 0.52/0.73  +k04_buttercup10337(esk29_0)
% 0.52/0.73  +k04_buttercup10337(esk30_0)
% 0.52/0.73  +k04_buttercup10337(esk61_0)
% 0.52/0.73  +k04_buttercup10337(esk80_0)
% 0.52/0.73  +k04_buttercup10337(esk232_0)
% 0.52/0.73  +k04_buttercup10337(esk231_0)
% 0.52/0.73  +k04_buttercup10337(esk414_0)
% 0.52/0.73  +k04_buttercup10337(esk379_0)
% 0.52/0.73  +k04_buttercup10337(esk413_0)
% 0.52/0.73  +k04_buttercup10337(esk409_0)
% 0.52/0.73  +k04_buttercup10337(esk446_0)
% 0.52/0.73  +k04_buttercup10337(esk268_0)
% 0.52/0.73  +k04_buttercup10337(esk336_0)
% 0.52/0.73  -k04_buttercup10337(esk42_0)
% 0.52/0.73  +k04_buttercup10342(esk212_0)
% 0.52/0.73  +k04_buttercup10342(esk336_0)
% 0.52/0.73  -k04_buttercup10342(esk42_0)
% 0.52/0.73  +k04_buttercup10347(esk29_0)
% 0.52/0.73  +k04_buttercup10347(esk30_0)
% 0.52/0.73  +k04_buttercup10347(esk61_0)
% 0.52/0.73  +k04_buttercup10347(esk80_0)
% 0.52/0.73  +k04_buttercup10347(esk232_0)
% 0.52/0.73  +k04_buttercup10347(esk414_0)
% 0.52/0.73  +k04_buttercup10347(esk413_0)
% 0.52/0.73  +k04_buttercup10347(esk409_0)
% 0.52/0.73  +k04_buttercup10347(esk446_0)
% 0.52/0.73  -k04_buttercup10347(esk42_0)
% 0.52/0.73  +k04_buttercup10351(esk231_0)
% 0.52/0.73  +k04_buttercup10351(esk268_0)
% 0.52/0.73  -k04_buttercup10351(esk42_0)
% 0.52/0.73  +k04_buttercup10356(esk230_0)
% 0.52/0.73  +k04_buttercup10356(esk370_0)
% 0.52/0.73  -k04_buttercup10356(esk42_0)
% 0.52/0.73  +k04_buttercup10357(esk229_0)
% 0.52/0.73  +k04_buttercup10357(esk255_0)
% 0.52/0.73  +k04_buttercup10360(esk109_0)
% 0.52/0.73  +k04_buttercup10360(esk378_0)
% 0.52/0.73  +k04_buttercup10364(esk54_0)
% 0.52/0.73  +k04_buttercup10364(esk55_0)
% 0.52/0.73  +k04_buttercup10364(esk57_0)
% 0.52/0.73  +k04_buttercup10364(esk58_0)
% 0.52/0.73  +k04_buttercup10364(esk111_0)
% 0.52/0.73  +k04_buttercup10364(esk249_0)
% 0.52/0.73  +k04_buttercup10364(esk256_0)
% 0.52/0.73  -k04_buttercup10364(esk56_0)
% 0.52/0.73  -k04_buttercup10364(esk42_0)
% 0.52/0.73  +k04_buttercup10369(esk126_0)
% 0.52/0.73  +k04_buttercup10369(esk105_0)
% 0.52/0.73  +k04_buttercup10369(esk124_0)
% 0.52/0.73  +k04_buttercup10369(esk122_0)
% 0.52/0.73  +k04_buttercup10369(esk282_0)
% 0.52/0.73  +k04_buttercup10369(esk260_0)
% 0.52/0.73  +k04_buttercup10369(esk279_0)
% 0.52/0.73  +k04_buttercup10369(esk277_0)
% 0.52/0.73  -k04_buttercup10369(esk42_0)
% 0.52/0.73  +k04_buttercup10371(esk126_0)
% 0.52/0.73  +k04_buttercup10371(esk282_0)
% 0.52/0.73  -k04_buttercup10371(esk42_0)
% 0.52/0.73  +k04_buttercup10373(esk124_0)
% 0.52/0.73  +k04_buttercup10373(esk277_0)
% 0.52/0.73  -k04_buttercup10373(esk42_0)
% 0.52/0.73  +k04_buttercup10376(esk122_0)
% 0.52/0.73  +k04_buttercup10376(esk279_0)
% 0.52/0.73  -k04_buttercup10376(esk42_0)
% 0.52/0.73  +k04_buttercup10380(esk134_0)
% 0.52/0.73  +k04_buttercup10380(esk290_0)
% 0.52/0.73  -k04_buttercup10380(esk42_0)
% 0.52/0.73  +k04_buttercup10382(esk133_0)
% 0.52/0.73  +k04_buttercup10382(esk294_0)
% 0.52/0.73  -k04_buttercup10382(esk42_0)
% 0.52/0.73  +k04_buttercup10385(esk137_0)
% 0.52/0.73  +k04_buttercup10385(esk311_0)
% 0.52/0.73  -k04_buttercup10385(esk42_0)
% 0.52/0.73  +k04_buttercup10389(esk131_0)
% 0.52/0.73  +k04_buttercup10389(esk297_0)
% 0.52/0.73  -k04_buttercup10389(esk42_0)
% 0.52/0.73  +k04_buttercup10391(esk148_0)
% 0.52/0.73  +k04_buttercup10391(esk313_0)
% 0.52/0.73  -k04_buttercup10391(esk42_0)
% 0.52/0.73  +k04_buttercup10397(esk154_0)
% 0.52/0.73  +k04_buttercup10397(esk329_0)
% 0.52/0.73  -k04_buttercup10397(esk42_0)
% 0.52/0.73  +k04_buttercup10400(esk36_0)
% 0.52/0.73  +k04_buttercup10400(esk37_0)
% 0.52/0.73  +k04_buttercup10400(esk174_0)
% 0.52/0.73  +k04_buttercup10400(esk328_0)
% 0.52/0.73  +k04_buttercup10400(esk263_0)
% 0.52/0.73  -k04_buttercup10400(esk42_0)
% 0.52/0.73  +k04_buttercup10404(esk184_0)
% 0.52/0.73  +k04_buttercup10404(esk183_0)
% 0.52/0.73  +k04_buttercup10404(esk181_0)
% 0.52/0.73  +k04_buttercup10404(esk365_0)
% 0.52/0.73  +k04_buttercup10404(esk369_0)
% 0.52/0.73  +k04_buttercup10404(esk346_0)
% 0.52/0.73  -k04_buttercup10404(esk42_0)
% 0.52/0.73  +k04_buttercup10406(esk184_0)
% 0.52/0.73  +k04_buttercup10406(esk365_0)
% 0.52/0.73  -k04_buttercup10406(esk42_0)
% 0.52/0.73  +k04_buttercup10408(esk181_0)
% 0.52/0.73  +k04_buttercup10408(esk346_0)
% 0.52/0.73  -k04_buttercup10408(esk42_0)
% 0.52/0.73  +k04_buttercup10415(esk167_0)
% 0.52/0.73  +k04_buttercup10415(esk347_0)
% 0.52/0.73  -k04_buttercup10415(esk42_0)
% 0.52/0.73  +k04_buttercup10419(esk139_0)
% 0.52/0.73  +k04_buttercup10419(esk83_0)
% 0.52/0.73  +k04_buttercup10419(esk84_0)
% 0.52/0.73  +k04_buttercup10419(esk85_0)
% 0.52/0.73  +k04_buttercup10419(esk87_0)
% 0.52/0.73  +k04_buttercup10419(esk88_0)
% 0.52/0.73  +k04_buttercup10419(esk89_0)
% 0.52/0.73  +k04_buttercup10419(esk165_0)
% 0.52/0.73  +k04_buttercup10419(esk412_0)
% 0.52/0.73  +k04_buttercup10419(esk261_0)
% 0.52/0.73  +k04_buttercup10419(esk408_0)
% 0.52/0.73  +k04_buttercup10419(esk509_0)
% 0.52/0.73  +k04_buttercup10419(esk512_0)
% 0.52/0.73  -k04_buttercup10419(esk86_0)
% 0.52/0.73  -k04_buttercup10419(esk42_0)
% 0.52/0.73  -k04_buttercup10419(esk90_0)
% 0.52/0.73  +k04_buttercup10424(esk208_0)
% 0.52/0.73  +k04_buttercup10424(esk209_0)
% 0.52/0.73  -k04_buttercup10424(esk42_0)
% 0.52/0.73  +k04_buttercup10425(esk208_0)
% 0.52/0.73  -k04_buttercup10425(esk42_0)
% 0.52/0.73  +k04_buttercup10430(esk197_0)
% 0.52/0.73  +k04_buttercup10430(esk405_0)
% 0.52/0.73  -k04_buttercup10430(esk42_0)
% 0.52/0.73  +k04_buttercup10437(esk200_0)
% 0.52/0.73  +k04_buttercup10437(esk387_0)
% 0.52/0.73  -k04_buttercup10437(esk42_0)
% 0.52/0.73  +k04_buttercup10445(esk107_0)
% 0.52/0.73  +k04_buttercup10445(esk251_0)
% 0.52/0.73  -k04_buttercup10445(esk42_0)
% 0.52/0.73  +k04_buttercup10449(esk227_0)
% 0.52/0.73  +k04_buttercup10449(esk169_0)
% 0.52/0.73  +k04_buttercup10449(esk141_0)
% 0.52/0.73  +k04_buttercup10449(esk7_0)
% 0.52/0.73  +k04_buttercup10449(esk8_0)
% 0.52/0.73  +k04_buttercup10449(esk9_0)
% 0.52/0.73  +k04_buttercup10449(esk10_0)
% 0.52/0.73  +k04_buttercup10449(esk11_0)
% 0.52/0.73  +k04_buttercup10449(esk12_0)
% 0.52/0.73  +k04_buttercup10449(esk35_0)
% 0.52/0.73  +k04_buttercup10449(esk142_0)
% 0.52/0.73  +k04_buttercup10449(esk189_0)
% 0.52/0.73  +k04_buttercup10449(esk40_0)
% 0.52/0.73  +k04_buttercup10449(esk254_0)
% 0.52/0.73  +k04_buttercup10449(esk308_0)
% 0.52/0.73  +k04_buttercup10449(esk307_0)
% 0.52/0.73  +k04_buttercup10449(esk306_0)
% 0.52/0.73  +k04_buttercup10449(esk395_0)
% 0.52/0.73  +k04_buttercup10449(esk420_0)
% 0.52/0.73  +k04_buttercup10449(esk305_0)
% 0.52/0.73  +k04_buttercup10449(esk440_0)
% 0.52/0.73  -k04_buttercup10449(esk42_0)
% 0.52/0.73  +k04_buttercup10453(esk227_0)
% 0.52/0.73  +k04_buttercup10453(esk440_0)
% 0.52/0.73  -k04_buttercup10453(esk42_0)
% 0.52/0.73  +k04_buttercup10462(esk141_0)
% 0.52/0.73  +k04_buttercup10462(esk305_0)
% 0.52/0.73  -k04_buttercup10462(esk42_0)
% 0.52/0.73  +k04_buttercup10464(esk7_0)
% 0.52/0.73  +k04_buttercup10464(esk8_0)
% 0.52/0.73  +k04_buttercup10464(esk9_0)
% 0.52/0.73  +k04_buttercup10464(esk10_0)
% 0.52/0.73  +k04_buttercup10464(esk11_0)
% 0.52/0.73  +k04_buttercup10464(esk12_0)
% 0.52/0.73  +k04_buttercup10464(esk35_0)
% 0.52/0.73  +k04_buttercup10464(esk142_0)
% 0.52/0.73  +k04_buttercup10464(esk308_0)
% 0.52/0.73  +k04_buttercup10464(esk307_0)
% 0.52/0.73  +k04_buttercup10464(esk306_0)
% 0.52/0.73  +k04_buttercup10464(esk395_0)
% 0.52/0.73  +k04_buttercup10464(esk420_0)
% 0.52/0.73  -k04_buttercup10464(esk42_0)
% 0.52/0.73  -k04_buttercup10464(esk13_0)
% 0.52/0.73  +k04_buttercup10470(esk120_0)
% 0.52/0.73  +k04_buttercup10470(esk300_0)
% 0.52/0.73  -k04_buttercup10470(esk42_0)
% 0.52/0.73  +k04_buttercup10473(esk121_0)
% 0.52/0.73  +k04_buttercup10473(esk276_0)
% 0.52/0.73  -k04_buttercup10473(esk42_0)
% 0.52/0.73  +k04_buttercup10477(esk177_0)
% 0.52/0.73  +k04_buttercup10477(esk119_0)
% 0.52/0.73  +k04_buttercup10477(esk18_0)
% 0.52/0.73  +k04_buttercup10477(esk19_0)
% 0.52/0.73  +k04_buttercup10477(esk50_0)
% 0.52/0.73  +k04_buttercup10477(esk51_0)
% 0.52/0.73  +k04_buttercup10477(esk130_0)
% 0.52/0.73  +k04_buttercup10477(esk272_0)
% 0.52/0.73  +k04_buttercup10477(esk275_0)
% 0.52/0.73  +k04_buttercup10477(esk450_0)
% 0.52/0.73  +k04_buttercup10477(esk292_0)
% 0.52/0.73  +k04_buttercup10477(esk352_0)
% 0.52/0.73  +k04_buttercup10477(esk315_0)
% 0.52/0.73  -k04_buttercup10477(esk42_0)
% 0.52/0.73  +k04_buttercup10482(esk177_0)
% 0.52/0.73  +k04_buttercup10482(esk450_0)
% 0.52/0.73  -k04_buttercup10482(esk42_0)
% 0.52/0.73  +k04_buttercup10486(esk18_0)
% 0.52/0.73  +k04_buttercup10486(esk19_0)
% 0.52/0.73  +k04_buttercup10486(esk50_0)
% 0.52/0.73  +k04_buttercup10486(esk51_0)
% 0.52/0.73  +k04_buttercup10486(esk130_0)
% 0.52/0.73  +k04_buttercup10486(esk272_0)
% 0.52/0.73  +k04_buttercup10486(esk292_0)
% 0.52/0.73  +k04_buttercup10486(esk352_0)
% 0.52/0.73  +k04_buttercup10486(esk315_0)
% 0.52/0.73  -k04_buttercup10486(esk42_0)
% 0.52/0.73  +k04_buttercup10492(esk156_0)
% 0.52/0.73  +k04_buttercup10492(esk334_0)
% 0.52/0.73  -k04_buttercup10492(esk42_0)
% 0.52/0.73  +k04_buttercup10495(esk155_0)
% 0.52/0.73  +k04_buttercup10495(esk333_0)
% 0.52/0.73  -k04_buttercup10495(esk42_0)
% 0.52/0.73  +k04_buttercup10499(esk160_0)
% 0.52/0.73  +k04_buttercup10499(esk331_0)
% 0.52/0.73  -k04_buttercup10499(esk42_0)
% 0.52/0.73  +k04_buttercup10504(esk116_0)
% 0.52/0.73  +k04_buttercup10504(esk115_0)
% 0.52/0.73  +k04_buttercup10504(esk235_0)
% 0.52/0.73  -k04_buttercup10504(esk42_0)
% 0.52/0.73  +k04_buttercup10506(esk116_0)
% 0.52/0.73  +k04_buttercup10506(esk235_0)
% 0.52/0.73  -k04_buttercup10506(esk42_0)
% 0.52/0.73  +k04_buttercup10510(esk138_0)
% 0.52/0.73  +k04_buttercup10510(esk271_0)
% 0.52/0.73  -k04_buttercup10510(esk42_0)
% 0.52/0.73  +k04_buttercup10516(esk139_0)
% 0.52/0.73  +k04_buttercup10516(esk33_0)
% 0.52/0.73  +k04_buttercup10516(esk140_0)
% 0.52/0.73  +k04_buttercup10516(esk403_0)
% 0.52/0.73  +k04_buttercup10516(esk302_0)
% 0.52/0.73  +k04_buttercup10516(esk304_0)
% 0.52/0.73  +k04_buttercup10516(esk432_0)
% 0.52/0.73  +k04_buttercup10516(esk361_0)
% 0.52/0.73  +k04_buttercup10516(esk261_0)
% 0.52/0.73  -k04_buttercup10516(esk89_0)
% 0.52/0.73  -k04_buttercup10516(esk42_0)
% 0.52/0.73  -k04_buttercup10516(esk34_0)
% 0.52/0.73  +k04_buttercup10517(esk139_0)
% 0.52/0.73  +k04_buttercup10517(esk261_0)
% 0.52/0.73  -k04_buttercup10517(esk89_0)
% 0.52/0.73  -k04_buttercup10517(esk86_0)
% 0.52/0.73  -k04_buttercup10517(esk42_0)
% 0.52/0.73  -k04_buttercup10517(esk34_0)
% 0.52/0.73  -k04_buttercup10517(esk90_0)
% 0.52/0.73  +k04_buttercup10524(esk225_0)
% 0.52/0.73  -k04_buttercup10524(esk42_0)
% 0.52/0.73  +k04_buttercup10529(esk221_0)
% 0.52/0.73  +k04_buttercup10529(esk366_0)
% 0.52/0.73  -k04_buttercup10529(esk42_0)
% 0.52/0.73  +k04_buttercup10535(esk103_0)
% 0.52/0.73  +k04_buttercup10535(esk246_0)
% 0.52/0.73  -k04_buttercup10535(esk42_0)
% 0.52/0.73  +k04_buttercup10539(esk96_0)
% 0.52/0.73  +k04_buttercup10539(esk242_0)
% 0.52/0.73  +k04_buttercup10540(esk193_0)
% 0.52/0.73  +k04_buttercup10540(esk380_0)
% 0.52/0.73  +k04_buttercup10544(esk195_0)
% 0.52/0.73  +k04_buttercup10544(esk194_0)
% 0.52/0.73  +k04_buttercup10544(esk196_0)
% 0.52/0.73  +k04_buttercup10544(esk383_0)
% 0.52/0.73  +k04_buttercup10544(esk381_0)
% 0.52/0.73  +k04_buttercup10544(esk384_0)
% 0.52/0.73  -k04_buttercup10544(esk42_0)
% 0.52/0.73  +k04_buttercup10546(esk195_0)
% 0.52/0.73  +k04_buttercup10546(esk383_0)
% 0.52/0.73  -k04_buttercup10546(esk42_0)
% 0.52/0.73  +k04_buttercup10547(esk196_0)
% 0.52/0.73  +k04_buttercup10547(esk384_0)
% 0.52/0.73  -k04_buttercup10547(esk42_0)
% 0.52/0.73  +k04_buttercup10551(esk206_0)
% 0.52/0.73  +k04_buttercup10551(esk385_0)
% 0.52/0.73  -k04_buttercup10551(esk42_0)
% 0.52/0.73  +k04_buttercup10555(esk204_0)
% 0.52/0.73  +k04_buttercup10555(esk205_0)
% 0.52/0.73  +k04_buttercup10555(esk342_0)
% 0.52/0.73  +k04_buttercup10555(esk404_0)
% 0.52/0.73  +k04_buttercup10555(esk340_0)
% 0.52/0.73  -k04_buttercup10555(esk42_0)
% 0.52/0.73  +k04_buttercup10559(esk204_0)
% 0.52/0.73  +k04_buttercup10559(esk340_0)
% 0.52/0.73  -k04_buttercup10559(esk42_0)
% 0.52/0.73  +k04_buttercup10567(esk63_0)
% 0.52/0.73  +k04_buttercup10567(esk64_0)
% 0.52/0.73  +k04_buttercup10567(esk82_0)
% 0.52/0.73  +k04_buttercup10567(esk158_0)
% 0.52/0.73  +k04_buttercup10567(esk360_0)
% 0.52/0.73  +k04_buttercup10567(esk341_0)
% 0.52/0.73  +k04_buttercup10567(esk363_0)
% 0.52/0.73  +k04_buttercup10567(esk448_0)
% 0.52/0.73  -k04_buttercup10567(esk42_0)
% 0.52/0.73  +k04_buttercup10578(esk185_0)
% 0.52/0.73  +k04_buttercup10578(esk321_0)
% 0.52/0.73  -k04_buttercup10578(esk42_0)
% 0.52/0.73  +k04_buttercup10581(esk179_0)
% 0.52/0.73  +k04_buttercup10581(esk368_0)
% 0.52/0.73  -k04_buttercup10581(esk42_0)
% 0.52/0.73  +k04_buttercup10586(esk128_0)
% 0.52/0.73  +k04_buttercup10586(esk289_0)
% 0.52/0.73  -k04_buttercup10586(esk42_0)
% 0.52/0.73  +k04_buttercup10593(esk144_0)
% 0.52/0.73  +k04_buttercup10593(esk145_0)
% 0.52/0.73  +k04_buttercup10593(esk159_0)
% 0.52/0.73  +k04_buttercup10593(esk319_0)
% 0.52/0.73  +k04_buttercup10593(esk280_0)
% 0.52/0.73  +k04_buttercup10593(esk337_0)
% 0.52/0.73  -k04_buttercup10593(esk42_0)
% 0.52/0.73  +k04_buttercup10599(esk144_0)
% 0.52/0.73  +k04_buttercup10599(esk319_0)
% 0.52/0.73  -k04_buttercup10599(esk42_0)
% 0.52/0.73  +k04_buttercup10602(esk159_0)
% 0.52/0.73  +k04_buttercup10602(esk337_0)
% 0.52/0.73  -k04_buttercup10602(esk42_0)
% 0.52/0.73  +k04_buttercup10608(esk157_0)
% 0.52/0.73  +k04_buttercup10608(esk351_0)
% 0.52/0.73  +k04_buttercup10608(esk493_0)
% 0.52/0.73  -k04_buttercup10608(esk20_0)
% 0.52/0.73  -k04_buttercup10608(esk73_0)
% 0.52/0.73  -k04_buttercup10608(esk42_0)
% 0.52/0.73  +k04_buttercup10611(esk152_0)
% 0.52/0.73  +k04_buttercup10611(esk349_0)
% 0.52/0.73  -k04_buttercup10611(esk42_0)
% 0.52/0.73  +k04_buttercup10619(esk213_0)
% 0.52/0.73  +k04_buttercup10619(esk146_0)
% 0.52/0.73  +k04_buttercup10619(esk23_0)
% 0.52/0.73  +k04_buttercup10619(esk47_0)
% 0.52/0.73  +k04_buttercup10619(esk48_0)
% 0.52/0.73  +k04_buttercup10619(esk49_0)
% 0.52/0.73  +k04_buttercup10619(esk127_0)
% 0.52/0.73  +k04_buttercup10619(esk396_0)
% 0.52/0.73  +k04_buttercup10619(esk397_0)
% 0.52/0.73  +k04_buttercup10619(esk399_0)
% 0.52/0.73  +k04_buttercup10619(esk400_0)
% 0.52/0.73  +k04_buttercup10619(esk401_0)
% 0.52/0.73  +k04_buttercup10619(esk424_0)
% 0.52/0.73  +k04_buttercup10619(esk423_0)
% 0.52/0.73  +k04_buttercup10619(esk459_0)
% 0.52/0.73  +k04_buttercup10619(esk462_0)
% 0.52/0.73  +k04_buttercup10619(esk463_0)
% 0.52/0.73  +k04_buttercup10619(esk464_0)
% 0.52/0.73  +k04_buttercup10619(esk467_0)
% 0.52/0.73  +k04_buttercup10619(esk468_0)
% 0.52/0.73  +k04_buttercup10619(esk473_0)
% 0.52/0.73  +k04_buttercup10619(esk478_0)
% 0.52/0.73  +k04_buttercup10619(esk483_0)
% 0.52/0.73  +k04_buttercup10619(esk488_0)
% 0.52/0.73  +k04_buttercup10619(esk508_0)
% 0.52/0.73  -k04_buttercup10619(esk24_0)
% 0.52/0.73  -k04_buttercup10619(esk42_0)
% 0.52/0.73  +k04_buttercup10620(esk213_0)
% 0.52/0.73  +k04_buttercup10620(esk399_0)
% 0.52/0.73  +k04_buttercup10620(esk478_0)
% 0.52/0.73  -k04_buttercup10620(esk24_0)
% 0.52/0.73  -k04_buttercup10620(esk53_0)
% 0.52/0.73  -k04_buttercup10620(esk42_0)
% 0.52/0.73  +k04_buttercup10622(esk23_0)
% 0.52/0.73  +k04_buttercup10622(esk47_0)
% 0.52/0.73  +k04_buttercup10622(esk48_0)
% 0.52/0.73  +k04_buttercup10622(esk49_0)
% 0.52/0.73  +k04_buttercup10622(esk127_0)
% 0.52/0.73  +k04_buttercup10622(esk396_0)
% 0.52/0.73  +k04_buttercup10622(esk397_0)
% 0.52/0.73  +k04_buttercup10622(esk400_0)
% 0.52/0.73  +k04_buttercup10622(esk424_0)
% 0.52/0.73  +k04_buttercup10622(esk473_0)
% 0.52/0.73  +k04_buttercup10622(esk483_0)
% 0.52/0.73  +k04_buttercup10622(esk488_0)
% 0.52/0.73  +k04_buttercup10622(esk508_0)
% 0.52/0.73  -k04_buttercup10622(esk24_0)
% 0.52/0.73  -k04_buttercup10622(esk42_0)
% 0.52/0.73  +k04_buttercup10626(esk123_0)
% 0.52/0.73  +k04_buttercup10626(esk278_0)
% 0.52/0.73  -k04_buttercup10626(esk42_0)
% 0.52/0.73  +k04_buttercup10628(esk129_0)
% 0.52/0.73  +k04_buttercup10628(esk236_0)
% 0.52/0.73  +k04_buttercup10628(esk503_0)
% 0.52/0.73  -k04_buttercup10628(esk42_0)
% 0.52/0.73  -k04_buttercup10628(esk59_0)
% 0.52/0.73  +k04_buttercup10631(esk108_0)
% 0.52/0.73  +k04_buttercup10631(esk287_0)
% 0.52/0.73  -k04_buttercup10631(esk42_0)
% 0.52/0.73  +k04_buttercup10635(esk150_0)
% 0.52/0.73  +k04_buttercup10635(esk106_0)
% 0.52/0.73  +k04_buttercup10635(esk112_0)
% 0.52/0.73  +k04_buttercup10635(esk220_0)
% 0.52/0.73  +k04_buttercup10635(esk393_0)
% 0.52/0.73  +k04_buttercup10635(esk253_0)
% 0.52/0.73  +k04_buttercup10635(esk259_0)
% 0.52/0.73  +k04_buttercup10635(esk427_0)
% 0.52/0.73  -k04_buttercup10635(esk42_0)
% 0.52/0.73  +k04_buttercup10637(esk150_0)
% 0.52/0.73  +k04_buttercup10637(esk393_0)
% 0.52/0.73  -k04_buttercup10637(esk42_0)
% 0.52/0.73  +k04_buttercup10639(esk112_0)
% 0.52/0.73  +k04_buttercup10639(esk259_0)
% 0.52/0.73  -k04_buttercup10639(esk42_0)
% 0.52/0.73  +k04_buttercup10641(esk220_0)
% 0.52/0.73  +k04_buttercup10641(esk427_0)
% 0.52/0.73  -k04_buttercup10641(esk42_0)
% 0.52/0.73  +k04_buttercup10643(esk218_0)
% 0.52/0.73  +k04_buttercup10643(esk425_0)
% 0.52/0.73  -k04_buttercup10643(esk42_0)
% 0.52/0.73  SZS output end Model for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------