You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@ctakes.apache.org by ch...@apache.org on 2014/04/18 21:48:35 UTC
svn commit: r1588552 [13/42] - in /ctakes/sandbox/ctakes-web-client: ./
.settings/ WebContent/ WebContent/META-INF/ WebContent/WEB-INF/
WebContent/WEB-INF/lib/ src/ src/main/ src/main/java/ src/main/java/org/
src/main/java/org/apache/ src/main/java/org...
Added: ctakes/sandbox/ctakes-web-client/src/main/resources/org/apache/ctakes/coreference/models/anaphoricity.mayo.rbf.model
URL: http://svn.apache.org/viewvc/ctakes/sandbox/ctakes-web-client/src/main/resources/org/apache/ctakes/coreference/models/anaphoricity.mayo.rbf.model?rev=1588552&view=auto
==============================================================================
--- ctakes/sandbox/ctakes-web-client/src/main/resources/org/apache/ctakes/coreference/models/anaphoricity.mayo.rbf.model (added)
+++ ctakes/sandbox/ctakes-web-client/src/main/resources/org/apache/ctakes/coreference/models/anaphoricity.mayo.rbf.model Fri Apr 18 19:47:21 2014
@@ -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