You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@ctakes.apache.org by se...@apache.org on 2022/11/30 15:54:52 UTC
svn commit: r1905648 [17/37] - in /ctakes/ctakes-models/trunk: ./ .idea/ ctakes-assertion-models/ ctakes-assertion-models/src/ ctakes-assertion-models/src/main/ ctakes-assertion-models/src/main/resources/ ctakes-assertion-models/src/main/resources/org/...
Added: ctakes/ctakes-models/trunk/ctakes-coreference-models/src/main/resources/org/apache/ctakes/coreference/models/anaphoricity.mayo.rbf.model
URL: http://svn.apache.org/viewvc/ctakes/ctakes-models/trunk/ctakes-coreference-models/src/main/resources/org/apache/ctakes/coreference/models/anaphoricity.mayo.rbf.model?rev=1905648&view=auto
==============================================================================
--- ctakes/ctakes-models/trunk/ctakes-coreference-models/src/main/resources/org/apache/ctakes/coreference/models/anaphoricity.mayo.rbf.model (added)
+++ ctakes/ctakes-models/trunk/ctakes-coreference-models/src/main/resources/org/apache/ctakes/coreference/models/anaphoricity.mayo.rbf.model Wed Nov 30 15:54:26 2022
@@ -0,0 +1,2388 @@
+svm_type c_svc
+kernel_type rbf
+gamma 0.07692307692307693
+nr_class 2
+total_sv 2377
+rho 0.5011153471654957
+label 1 0
+probA -0.9390852796764717
+probB 0.15259263507630258
+nr_sv 1187 1190
+SV
+1.0 1:1.0 4:1.0 10:1.0 12:1.0
+1.0 1:1.0 4:1.0 10:1.0 12:1.0
+1.0 1:1.0 4:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0 13:1.0
+1.0 4:1.0 10:1.0 12:1.0 13:1.0
+1.0 4:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0 13:1.0
+1.0 4:1.0 10:1.0 12:1.0 13:1.0
+1.0 4:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0
+1.0 3:1.0 8:1.0
+1.0 3:1.0 8:1.0
+1.0 3:1.0 8:1.0 13:1.0
+1.0 3:1.0 8:1.0 13:1.0
+1.0 3:1.0 8:1.0 13:1.0
+1.0 5:1.0 9:1.0 12:1.0
+1.0 5:1.0 9:1.0 12:1.0
+1.0 5:1.0 9:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 4:1.0 9:1.0 12:1.0
+1.0 4:1.0 9:1.0 12:1.0
+1.0 4:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0
+1.0 3:1.0 9:1.0
+1.0 3:1.0 9:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 5:1.0 9:1.0 13:1.0
+1.0 5:1.0 9:1.0 13:1.0
+1.0 5:1.0 9:1.0 13:1.0
+1.0 3:1.0 8:1.0
+1.0 3:1.0 8:1.0
+1.0 3:1.0 8:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0
+1.0 2:1.0 3:1.0 8:1.0
+1.0 2:1.0 3:1.0 8:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 7:1.0
+1.0 3:1.0 7:1.0
+1.0 3:1.0 7:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 7:1.0
+1.0 3:1.0 7:1.0
+1.0 3:1.0 7:1.0
+1.0 3:1.0 8:1.0 11:1.0 12:1.0
+1.0 3:1.0 8:1.0 11:1.0 12:1.0
+1.0 3:1.0 8:1.0 11:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 9:1.0
+1.0 3:1.0 9:1.0
+1.0 3:1.0 9:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 4:1.0 9:1.0 12:1.0 13:1.0
+1.0 1:1.0 4:1.0 9:1.0 12:1.0 13:1.0
+1.0 1:1.0 4:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 7:1.0
+1.0 3:1.0 7:1.0
+1.0 3:1.0 7:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0
+1.0 1:1.0 3:1.0 10:1.0
+1.0 1:1.0 3:1.0 10:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+0.18264201527065183 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+0.9684393231128858 3:1.0 8:1.0 11:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+0.6981455886627518 3:1.0 7:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 13:1.0
+1.0 3:1.0 8:1.0 13:1.0
+1.0 3:1.0 8:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 8:1.0 13:1.0
+1.0 3:1.0 8:1.0 13:1.0
+1.0 3:1.0 8:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 13:1.0
+1.0 3:1.0 8:1.0 13:1.0
+1.0 3:1.0 8:1.0 13:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 7:1.0
+1.0 3:1.0 7:1.0
+1.0 3:1.0 7:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 7:1.0
+1.0 3:1.0 7:1.0
+1.0 3:1.0 7:1.0
+1.0 3:1.0 7:1.0 13:1.0
+1.0 3:1.0 7:1.0 13:1.0
+1.0 3:1.0 7:1.0 13:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 7:1.0 13:1.0
+1.0 3:1.0 7:1.0 13:1.0
+1.0 3:1.0 7:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 7:1.0 13:1.0
+1.0 3:1.0 7:1.0 13:1.0
+1.0 3:1.0 7:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0 13:1.0
+1.0 4:1.0 7:1.0 12:1.0 13:1.0
+1.0 4:1.0 7:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 7:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 7:1.0 13:1.0
+1.0 3:1.0 7:1.0 13:1.0
+1.0 3:1.0 7:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 13:1.0
+1.0 3:1.0 7:1.0 13:1.0
+1.0 3:1.0 7:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+0.4010726971836286 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0
+1.0 3:1.0 7:1.0
+1.0 3:1.0 7:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 7:1.0 12:1.0
+1.0 2:1.0 3:1.0 7:1.0 12:1.0
+1.0 2:1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 7:1.0
+1.0 1:1.0 3:1.0 7:1.0
+1.0 1:1.0 3:1.0 7:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 7:1.0 12:1.0
+1.0 2:1.0 3:1.0 7:1.0 12:1.0
+1.0 2:1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 13:1.0
+1.0 1:1.0 3:1.0 10:1.0 13:1.0
+1.0 1:1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0 13:1.0
+1.0 4:1.0 10:1.0 12:1.0 13:1.0
+1.0 4:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0 13:1.0
+1.0 4:1.0 10:1.0 12:1.0 13:1.0
+1.0 4:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 2:1.0 3:1.0 7:1.0 12:1.0
+1.0 2:1.0 3:1.0 7:1.0 12:1.0
+1.0 2:1.0 3:1.0 7:1.0 12:1.0
+1.0 2:1.0 3:1.0 7:1.0 12:1.0
+1.0 2:1.0 3:1.0 7:1.0 12:1.0
+1.0 2:1.0 3:1.0 7:1.0 12:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 4:1.0 8:1.0 11:1.0 12:1.0
+1.0 4:1.0 8:1.0 11:1.0 12:1.0
+1.0 4:1.0 8:1.0 11:1.0 12:1.0
+1.0 4:1.0 8:1.0 12:1.0 13:1.0
+1.0 4:1.0 8:1.0 12:1.0 13:1.0
+1.0 4:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 11:1.0 12:1.0
+1.0 3:1.0 8:1.0 11:1.0 12:1.0
+1.0 3:1.0 8:1.0 11:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0
+1.0 2:1.0 3:1.0 9:1.0
+1.0 2:1.0 3:1.0 9:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 1:1.0 3:1.0 7:1.0
+1.0 1:1.0 3:1.0 7:1.0
+1.0 1:1.0 3:1.0 7:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0
+1.0 3:1.0 9:1.0
+1.0 3:1.0 9:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 8:1.0
+1.0 3:1.0 8:1.0
+1.0 3:1.0 8:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0
+1.0 3:1.0 8:1.0
+1.0 3:1.0 8:1.0
+1.0 4:1.0 9:1.0 12:1.0
+1.0 4:1.0 9:1.0 12:1.0
+1.0 4:1.0 9:1.0 12:1.0
+1.0 3:1.0 8:1.0 13:1.0
+1.0 3:1.0 8:1.0 13:1.0
+1.0 3:1.0 8:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 4:1.0 9:1.0 12:1.0 13:1.0
+1.0 4:1.0 9:1.0 12:1.0 13:1.0
+1.0 4:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0
+1.0 3:1.0 9:1.0
+1.0 3:1.0 9:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0
+1.0 3:1.0 8:1.0
+1.0 3:1.0 8:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 9:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 13:1.0
+1.0 1:1.0 3:1.0 10:1.0 13:1.0
+1.0 1:1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0
+1.0 3:1.0 7:1.0
+1.0 3:1.0 7:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 9:1.0
+1.0 3:1.0 9:1.0
+1.0 3:1.0 9:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 4:1.0 8:1.0 12:1.0
+1.0 4:1.0 8:1.0 12:1.0
+1.0 4:1.0 8:1.0 12:1.0
+0.7656112918425196 2:1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 4:1.0 8:1.0 12:1.0
+1.0 4:1.0 8:1.0 12:1.0
+1.0 4:1.0 8:1.0 12:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 8:1.0
+1.0 3:1.0 8:1.0
+1.0 3:1.0 8:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 3:1.0 10:1.0
+1.0 2:1.0 3:1.0 7:1.0 12:1.0
+0.388545750061424 2:1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 10:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 4:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 4:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 2:1.0 3:1.0 7:1.0
+1.0 2:1.0 3:1.0 7:1.0
+1.0 2:1.0 3:1.0 7:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 13:1.0
+1.0 3:1.0 7:1.0 13:1.0
+1.0 3:1.0 7:1.0 13:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 8:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+0.9632049072239095 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+0.045764438329075355 3:1.0 7:1.0 12:1.0 13:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 8:1.0 13:1.0
+1.0 3:1.0 8:1.0 13:1.0
+1.0 3:1.0 8:1.0 13:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 1:1.0 3:1.0 10:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 9:1.0 12:1.0 13:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 4:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 13:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 4:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 4:1.0 9:1.0 12:1.0 13:1.0
+-1.0 4:1.0 9:1.0 11:1.0 12:1.0 13:1.0
+-1.0 4:1.0 9:1.0 11:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 13:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0
+-0.79553895773162 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 4:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 5:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 2:1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 11:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0
+-1.0 2:1.0 3:1.0 8:1.0 13:1.0
+-1.0 2:1.0 3:1.0 8:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 5:1.0 9:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 4:1.0 9:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 4:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 13:1.0
+-0.22520146884871456 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 13:1.0
+-1.0 2:1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 4:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-0.4135169950563655 4:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 4:1.0 10:1.0 12:1.0 13:1.0
+-1.0 4:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 7:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 1:1.0 4:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0
+-1.0 3:1.0 7:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0
+-1.0 3:1.0 7:1.0 13:1.0
+-1.0 3:1.0 7:1.0 13:1.0
+-1.0 3:1.0 7:1.0 13:1.0
+-1.0 3:1.0 7:1.0 13:1.0
+-1.0 3:1.0 7:1.0 13:1.0
+-1.0 3:1.0 7:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 9:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 13:1.0
+-1.0 4:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0
+-1.0 3:1.0 6:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0
+-0.12433996647252689 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 4:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 6:1.0 12:1.0
+-1.0 4:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 6:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 4:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 5:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 4:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 2:1.0 3:1.0 9:1.0 12:1.0
+-1.0 4:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 2:1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 4:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 13:1.0
+-1.0 4:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 13:1.0
+-1.0 1:1.0 3:1.0 10:1.0
+-1.0 4:1.0 7:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 4:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 10:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0
+-1.0 4:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 2:1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 4:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 4:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 6:1.0 12:1.0
+-1.0 3:1.0 7:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 2:1.0 3:1.0 6:1.0 13:1.0
+-1.0 2:1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 4:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 13:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 2:1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0
+-1.0 1:1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 4:1.0 8:1.0 12:1.0 13:1.0
+-1.0 4:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 4:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 2:1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 5:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 2:1.0 5:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 4:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 4:1.0 9:1.0 12:1.0
+-1.0 4:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 5:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 9:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 2:1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0
+-1.0 2:1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 4:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 9:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-0.7979036550300467 5:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-0.38736812943587084 4:1.0 9:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 11:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 7:1.0 12:1.0
+-1.0 2:1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 4:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 2:1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 2:1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 2:1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 2:1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 1:1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-0.23272556772180797 1:1.0 4:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 4:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 4:1.0 10:1.0 12:1.0 13:1.0
+-0.9135933956986192 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 4:1.0 7:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0 13:1.0
+-1.0 5:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 4:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 2:1.0 3:1.0 9:1.0 12:1.0
+-0.19110169656586562 3:1.0 9:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 13:1.0
+-1.0 4:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-0.9570523240816792 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 8:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-0.29363537095793596 4:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 8:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 2:1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 10:1.0
+-0.8350768541722111 3:1.0 10:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0
+-1.0 4:1.0 8:1.0 12:1.0 13:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0
+-1.0 4:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 5:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 2:1.0 3:1.0 9:1.0 12:1.0
+-1.0 2:1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 4:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 4:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 5:1.0 7:1.0 12:1.0 13:1.0
+-0.246371629913583 1:1.0 4:1.0 10:1.0 12:1.0 13:1.0
+-1.0 4:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 5:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0
+-1.0 3:1.0 10:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 1:1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0 11:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0
+-1.0 3:1.0 9:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 2:1.0 3:1.0 10:1.0
+-1.0 2:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 9:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 2:1.0 3:1.0 8:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 8:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 1:1.0 5:1.0 8:1.0 12:1.0 13:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 4:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 1:1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 8:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 1:1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0
+-1.0 2:1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 3:1.0 9:1.0 12:1.0 13:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0 13:1.0
+-1.0 3:1.0 8:1.0 12:1.0
+-1.0 2:1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 7:1.0 12:1.0
+-1.0 3:1.0 10:1.0 12:1.0
+-1.0 1:1.0 3:1.0 8:1.0 12:1.0