From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Sat, 4 Aug 2018 04:10:35 +0000 (-0700)
Subject: Scripts for running all the benchmarks + configurable serialization
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f53d203595e2113ad72850a3e58ea24ca2ad3273;p=Benchmarks_CSolver.git

Scripts for running all the benchmarks + configurable serialization
---

diff --git a/.gitignore b/.gitignore
index ad2688d7..50d481c5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,12 +1,13 @@
 # Ignoring editor's config folder
 */nbproject/
-
+*/dumps/
 # Other Benchmarks
+scratch/
 BlackBox/
+coloring_SAT/
 decamouflage/
 flow_solver/
 numberlink/
-scratch/
 slither-link-sat/
 
 # Format
@@ -14,3 +15,4 @@ DUMP*
 */.project
 */.pydevproject
 */log_file
+*.pyc
diff --git a/hexiom/bench.sh b/hexiom/bench.sh
new file mode 100755
index 00000000..22ce8b26
--- /dev/null
+++ b/hexiom/bench.sh
@@ -0,0 +1,39 @@
+#!/bin/bash
+
+#Terminate the script if even one command fails
+set -e
+
+
+#Variables
+DUMPDIR="dumps"
+PARAMETERS="36 38"
+
+#Checking the number of 
+if [ "$#" -lt 1 ]; then
+	echo "Illegal number of argument"
+	echo "./bench.sh [NUMBER] [--csolver/--dump]"
+	exit 1
+fi
+
+for PAR in $PARAMETERS; do
+    for ((i=0; i<"$1"; i++)); do
+
+	echo "$i:$PAR"
+	if [ "$#" -eq 1 ]; then
+        	(./run.sh hexiom_solve.py $PAR)	
+	else
+		if [ $2 = '--dump' ]; then
+			./run.sh csolverHexiom.py $PAR --dump
+			mkdir -p $DUMPDIR
+			mv DUMP* $DUMPDIR
+		elif [ $2 = '--csolver' ]; then
+			./run.sh csolverHexiom.py $PAR
+		else
+			echo "Unknown command : " $2
+			exit 1
+		fi
+	fi
+
+    done
+done
+
diff --git a/hexiom/csolverHexiom.py b/hexiom/csolverHexiom.py
index 361d3e6b..1ebec590 100755
--- a/hexiom/csolverHexiom.py
+++ b/hexiom/csolverHexiom.py
@@ -762,7 +762,7 @@ import sys
 def main():
 
     if len(sys.argv) <= 1:
-        print "usage: ./hexiom_solve.py [0-40]"
+        print "usage: ./hexiom_solve.py [0-40] [--dump]?"
         exit(1)
 
     level_no = int(sys.argv[1])
@@ -779,7 +779,8 @@ def main():
     formulation = SAT_formulation_from_board_input(board_input, csolverlb, csolver)
    
     print '=== Done! Calling CSolver solver now ==='
-#     csolverlb.printConstraints(csolver)
+    if len(sys.argv) > 2 and sys.argv[-1] == "--dump":
+        csolverlb.serialize(csolver)
     if csolverlb.solve(csolver) != 1:
         print '*** Got UNSAT result! ***'
         sys.exit(1)
diff --git a/killerSudoku/KillerSudokuGenerator.py b/killerSudoku/KillerSudokuGenerator.py
index 054daa10..fbccbc27 100644
--- a/killerSudoku/KillerSudokuGenerator.py
+++ b/killerSudoku/KillerSudokuGenerator.py
@@ -211,6 +211,10 @@ def outputKillerSudoku(filename):
 
 def main():
     filename = None
+    if len(sys.argv <1):
+        print "input file is missing\n killerSolver problems/9x9-20.problem --dump"
+        sys.exit()
+    
     if(len(sys.argv[1:]) == 0):
         filename = "Sudokus.txt"
     outputKillerSudoku(filename)
diff --git a/killerSudoku/argprocessor.py b/killerSudoku/argprocessor.py
index 8a24f20f..c748e558 100644
--- a/killerSudoku/argprocessor.py
+++ b/killerSudoku/argprocessor.py
@@ -8,6 +8,7 @@ class KSudokuArgParser:
         self.parser = argparse.ArgumentParser(description='Killer Sudoku Puzzle!')
         self.parser.add_argument('--problem', '-p', metavar='problem.killer', type=str, nargs=1,help='Files generated by KillerSudokuGenerator.py')
         self.parser.add_argument('--csolver', '-cs', action='store_true',help='Encode with the constraint solver (default: uses the original hand crafted encoding)')
+        self.parser.add_argument('--dump', '-dp', action='store_true',help='Dumps the problem into a file')
         self.args = self.parser.parse_args()
         
     def getProblemName(self):
@@ -16,6 +17,8 @@ class KSudokuArgParser:
     def useCSolverEncoding(self):
         return self.args.csolver
 
+    def shouldSerialize(self):
+        return self.args.dump
 # def main():
 #     print sys.argv
 #     argParser = KSudokuArgParser()
diff --git a/killerSudoku/bench.sh b/killerSudoku/bench.sh
new file mode 100755
index 00000000..90da937f
--- /dev/null
+++ b/killerSudoku/bench.sh
@@ -0,0 +1,38 @@
+#!/bin/bash
+
+#Terminate the script if even one command fails
+set -e
+
+
+#Variables
+DUMPDIR="dumps"
+PROBLEMS=./dataset-cs/2/*.killer
+
+#Checking the number of 
+if [ "$#" -lt 1 ]; then
+	echo "Illegal number of argument"
+	echo "./bench.sh [NUMBER] [--csolver/--dump]"
+	exit 1
+fi
+
+for PAR in $PROBLEMS; do
+    for ((i=0; i<"$1"; i++)); do
+	echo "$i:$PAR"
+	if [ "$#" -eq 1 ]; then
+        	./run.sh python killerSolver.py --problem $PAR
+	else
+		if [ $2 = '--dump' ]; then
+			./run.sh python killerSolver.py --problem $PAR --dump
+			mkdir -p $DUMPDIR
+			mv DUMP* $DUMPDIR
+		elif [ $2 = '--csolver' ]; then
+			./run.sh python killerSolver.py --problem $PAR --csolver
+		else
+			echo "Unknown command : " $2
+			exit 1
+		fi
+	fi
+
+    done
+done
+
diff --git a/killerSudoku/csolversudoku.py b/killerSudoku/csolversudoku.py
index 9391c6a6..7984a757 100644
--- a/killerSudoku/csolversudoku.py
+++ b/killerSudoku/csolversudoku.py
@@ -4,12 +4,12 @@ import numpy as np
 import sys
 from itertools import combinations, ifilter, chain
 
-def solveProblem(N, killerRules):
+def solveProblem(N, killerRules, serialize = False):
 	
-	return generateKillerSudokuConstraints(N, killerRules)
+	return generateKillerSudokuConstraints(N, killerRules, serialize)
 
 
-def generateKillerSudokuConstraints(N, killerRules):
+def generateKillerSudokuConstraints(N, killerRules, serialize):
 	csolverlb = ps.loadCSolver()
 	solver = csolverlb.createCCSolver()
 	s1 = [ i for i in range(1, N+1)]
@@ -105,7 +105,8 @@ def generateKillerSudokuConstraints(N, killerRules):
 			valid([problem[i + k % root, j + k // root] for k in range(N)])
 	
 	#Serializing the problem before solving it ....
-	csolverlb.serialize(solver)
+	if serialize:
+		csolverlb.serialize(solver)
 	if csolverlb.solve(solver) != 1:
 		return None
 	result = [[0 for i in range(N)] for i in range(N)]
diff --git a/killerSudoku/killerSolver.py b/killerSudoku/killerSolver.py
index 678f680c..bf4dbec0 100644
--- a/killerSudoku/killerSolver.py
+++ b/killerSudoku/killerSolver.py
@@ -321,8 +321,8 @@ def solveKillerSudoku(killerRules):
     global argparser
     result_matrix = None
     
-    if argparser.useCSolverEncoding():
-        result_matrix = cs.solveProblem(N, killerRules)
+    if argparser.useCSolverEncoding() or argparser.shouldSerialize():
+        result_matrix = cs.solveProblem(N, killerRules, argparser.shouldSerialize())
     else:
         result_matrix = solveOriginalEncoding(killerRules)
     
diff --git a/nqueens/bench.sh b/nqueens/bench.sh
new file mode 100755
index 00000000..c3cb80c4
--- /dev/null
+++ b/nqueens/bench.sh
@@ -0,0 +1,39 @@
+#!/bin/bash
+
+#Terminate the script if even one command fails
+set -e
+
+
+#Variables
+DUMPDIR="dumps"
+PARAMETERS="8 16"
+
+#Checking the number of 
+if [ "$#" -lt 1 ]; then
+	echo "Illegal number of argument"
+	echo "./bench.sh [NUMBER] [--csolver/--dump]"
+	exit 1
+fi
+
+for PAR in $PARAMETERS; do
+    for ((i=0; i<"$1"; i++)); do
+
+	echo "$i:$PAR"
+	if [ "$#" -eq 1 ]; then
+        	(./run.sh nqueen $PAR)	
+	else
+		if [ $2 = '--dump' ]; then
+			./run.sh nqueen $PAR --dump
+			mkdir -p $DUMPDIR
+			mv DUMP* $DUMPDIR
+		elif [ $2 = '--csolver' ]; then
+			./run.sh nqueen $PAR --csolver
+		else
+			echo "Unknown command : " $2
+			exit 1
+		fi
+	fi
+
+    done
+done
+
diff --git a/nqueens/nqueens.cc b/nqueens/nqueens.cc
index 48b1068c..24f45233 100644
--- a/nqueens/nqueens.cc
+++ b/nqueens/nqueens.cc
@@ -214,7 +214,7 @@ void originalNqueensEncoding(int N){
 }
 
 
-void csolverNQueensSub(int N){
+void csolverNQueensSub(int N, bool serialize=false){
 	CSolver *solver = new CSolver();
 	uint64_t domain[N];
 	for(int i=0; i<N; i++){
@@ -276,8 +276,9 @@ void csolverNQueensSub(int N){
 			solver->addConstraint(solver->applyLogicalOperation(SATC_NOT, equals));
 		}
 	}
-
-//	solver->serialize();
+	if (serialize){
+		solver->serialize();
+	}
 	if (solver->solve() != 1){
 		printf("Problem is Unsolvable ...\n");
 	}else {
@@ -406,7 +407,7 @@ void diagonallyDifferentConstraintBothDir(CSolver *solver, int N, vector<Element
 } 
 
 
-void csolverNQueens(int N){
+void csolverNQueens(int N, bool serialize=false){
 	if(N <=1){
 		cout<<"Q" << endl;
 		return;
@@ -425,7 +426,9 @@ void csolverNQueens(int N){
 	generateRowConstraints(solver, N, elems);
 	diagonallyDifferentConstraintBothDir(solver, N, elems);
 //	solver->printConstraints();
-//	solver->serialize();
+	if(serialize){
+		solver->serialize();
+	}
 	if (solver->solve() != 1){
 		printf("Problem is Unsolvable ...\n");
 	}else {
@@ -454,9 +457,14 @@ int main(int argc, char * argv[]){
 	if(argc <3){
 		printf("Running the original encoding ...\n");
 		originalNqueensEncoding(N);
-	}else if( strcmp( argv[2], "--csolver") == 0 ){
+	}else if( strcmp( argv[2], "--csolver") == 0){
 		printf("Running the CSolver encoding ...\n");
 		csolverNQueens(N);
+	}else if (strcmp( argv[2], "--dump") == 0){
+		printf("Running the CSolver encoding ...\n");
+		csolverNQueens(N, true);
+	}else {
+		printf("Unknown argument %s", argv[2]);
 	}
 	return 0;
 }
diff --git a/runall.sh b/runall.sh
new file mode 100755
index 00000000..20399584
--- /dev/null
+++ b/runall.sh
@@ -0,0 +1,13 @@
+#!/bin/bash
+DIR=`pwd`
+BENCHMARKS=(hexiom nqueens killerSudoku sudoku-csolver)
+
+
+for bench in ${BENCHMARKS[*]}
+do
+(echo "Running "$bench"...";
+cd ./$bench; 
+./bench.sh $@)
+done
+
+
diff --git a/satPlan2006/bench.sh b/satPlan2006/bench.sh
new file mode 100755
index 00000000..debeb345
--- /dev/null
+++ b/satPlan2006/bench.sh
@@ -0,0 +1,36 @@
+#!/bin/bash
+
+#Terminate the script if even one command fails
+set -e
+
+
+#Variables
+
+
+
+#Checking the number of 
+if [ "$#" -lt 1 ]; then
+	echo "Illegal number of argument"
+	echo "./bench.sh [NUMBER] [--csolver/--dump]"
+	exit 1
+fi
+
+for filename in ./hardpuzzles/*.txt; do
+    for ((i=0; i<"$1"; i++)); do
+	if [ "$#" -eq 1 ]; then
+        	echo Original encoding
+	else
+		if [ $2 = '--dump' ]; then
+			echo "Use csolver but dump it"
+		elif [ $2 = '--csolver' ]; then
+			echo "Use csolver without dumping"
+		else
+			echo "Unknown command : " $2
+			exit 1
+		fi
+	fi
+
+	echo "$i:$filename"
+    done
+done
+
diff --git a/sudoku-csolver/.gitignore b/sudoku-csolver/.gitignore
index 31dfede4..648641e1 100644
--- a/sudoku-csolver/.gitignore
+++ b/sudoku-csolver/.gitignore
@@ -1,7 +1,7 @@
 numpy*/
 pycosat*/
 bin/
-
+solved/
 
 csolver
 *.class
diff --git a/sudoku-csolver/Sudoku.py b/sudoku-csolver/Sudoku.py
index c0cd372f..e07154d1 100644
--- a/sudoku-csolver/Sudoku.py
+++ b/sudoku-csolver/Sudoku.py
@@ -31,6 +31,9 @@ def main(argv):
 			if "--csolver" in args:
 				print "Solving the problem using csolver ..."
 				read_problem_from_file(args[indx], True)
+			elif "--dump" in args:
+				print "Solving the problem using csolver ..."
+				read_problem_from_file(args[indx], True, True)
 			else:
 				read_problem_from_file(args[indx])
 		elif opt in ( "--gen"):
@@ -51,8 +54,8 @@ def help():
 	print('Sudoku.py -h [or] --hard')
 	print('Sudoku.py -v [or] --evil')
 	print('Sudoku.py -b [or] --blank')
-	print('Sudoku.py --file file.problem [--csolver]')
-	print('Sudoku.py --gen 9 20 [--csolver]')
+	print('Sudoku.py --file file.problem [--csolver/--dump]')
+	print('Sudoku.py --gen 9 20 [--csolver/--dump]')
 	print('All problems generated by websudoku.com')
 	sys.exit()
 
@@ -90,7 +93,8 @@ def validateSolution(problem):
 	global N
 	for row in problem:
 		for i in range(1, N):
-			if row.count(i) >1:
+			row2 = [r for r in row]
+			if row2.count(i) !=1:
 				return False
 	for col in range(1,N):
 		for i in range(1, N):
@@ -122,18 +126,18 @@ def generate_problem(N, K):
 	pprint(problem)
 	np.savetxt('problems/'+str(N) + 'x' + str(N) + '-' + str(K) + '.problem',problem)
 
-def read_problem_from_file(filename, useCsolver=False):
+def read_problem_from_file(filename, useCsolver=False, serialize=False):
 	problem = np.loadtxt(filename)
 	global N
 	N=int(re.findall('\d+', filename)[0])
 	problem = problem.astype(int)
-	solve_problem(problem, useCsolver)
+	solve_problem(problem, useCsolver, serialize)
 
-def solve_problem(problemset, useCsolver):
+def solve_problem(problemset, useCsolver, serialize):
 	print('Problem:') 
 	pprint(problemset)
 	if useCsolver:
-		problemset=cs.solveProblem(N, problemset)
+		problemset=cs.solveProblem(N, problemset, serialize)
 		np.savetxt('solved/'+str(N) + 'x' + str(N) + '.problem',problemset)
 	else: 
 		solve(problemset) 
diff --git a/sudoku-csolver/bench.sh b/sudoku-csolver/bench.sh
new file mode 100755
index 00000000..683d2c3b
--- /dev/null
+++ b/sudoku-csolver/bench.sh
@@ -0,0 +1,39 @@
+#!/bin/bash
+
+#Terminate the script if even one command fails
+set -e
+
+
+#Variables
+DUMPDIR="dumps"
+PROBLEMS=./problems/*.problem
+
+#Checking the number of 
+if [ "$#" -lt 1 ]; then
+	echo "Illegal number of argument"
+	echo "./bench.sh [NUMBER] [--csolver/--dump]"
+	exit 1
+fi
+
+for PAR in $PROBLEMS; do
+    for ((i=0; i<"$1"; i++)); do
+
+	echo "$i:$PAR"
+	if [ "$#" -eq 1 ]; then
+        	(./run.sh python Sudoku.py --file $PAR)	
+	else
+		if [ $2 = '--dump' ]; then
+			./run.sh python Sudoku.py --file $PAR --dump
+			mkdir -p $DUMPDIR
+			mv DUMP* $DUMPDIR
+		elif [ $2 = '--csolver' ]; then
+			./run.sh python Sudoku.py --file $PAR --csolver
+		else
+			echo "Unknown command : " $2
+			exit 1
+		fi
+	fi
+
+    done
+done
+
diff --git a/sudoku-csolver/csolversudoku.py b/sudoku-csolver/csolversudoku.py
index f2e73287..f61a040c 100644
--- a/sudoku-csolver/csolversudoku.py
+++ b/sudoku-csolver/csolversudoku.py
@@ -6,8 +6,8 @@ import sys
 def generateProblem(N):
 	return generateSudokuConstraints(N)	
 
-def solveProblem(N, problem):
-	return generateSudokuConstraints(N, problem)
+def solveProblem(N, problem, serialize):
+	return generateSudokuConstraints(N, problem, serialize)
 
 def replaceWithElemConstOptimization(elemConsts, problem, sudoku):
 	for i,row in enumerate(sudoku):
@@ -42,7 +42,7 @@ def extractItemInSetOptimization(csolverlb, solver, sudoku, N):
 	
 	return np.array([[csolverlb.getElementVar(solver,sets[i][j]) for j in range(N)] for i in range(N)])
 
-def generateSudokuConstraints(N, sudoku = None):
+def generateSudokuConstraints(N, sudoku = None, serialize=False):
 	csolverlb = ps.loadCSolver()
 	solver = csolverlb.createCCSolver()
 	s1 = [ i for i in range(1, N+1)]
@@ -107,7 +107,8 @@ def generateSudokuConstraints(N, sudoku = None):
                         valid([problem[i + k % root, j + k // root] for k in range(N)])
 	
 	#Serializing the problem before solving it ....
-	csolverlb.serialize(solver)
+	if serialize:
+		csolverlb.serialize(solver)
 	if csolverlb.solve(solver) != 1:
 		print "Problem is unsolvable!"
                 sys.exit(1)
diff --git a/sudoku-csolver/dumps/DUMP-2 b/sudoku-csolver/dumps/DUMP-2
deleted file mode 100644
index f599e02a..00000000
Binary files a/sudoku-csolver/dumps/DUMP-2 and /dev/null differ
diff --git a/sudoku-csolver/dumps/DUMP-36 b/sudoku-csolver/dumps/DUMP-36
deleted file mode 100644
index e1988454..00000000
Binary files a/sudoku-csolver/dumps/DUMP-36 and /dev/null differ
diff --git a/sudoku-csolver/dumps/DUMP-36-2 b/sudoku-csolver/dumps/DUMP-36-2
deleted file mode 100644
index 12e545f7..00000000
Binary files a/sudoku-csolver/dumps/DUMP-36-2 and /dev/null differ
diff --git a/sudoku-csolver/dumps/DUMP-4 b/sudoku-csolver/dumps/DUMP-4
deleted file mode 100644
index b4749f2b..00000000
Binary files a/sudoku-csolver/dumps/DUMP-4 and /dev/null differ
diff --git a/sudoku-csolver/dumps/DUMP-49 b/sudoku-csolver/dumps/DUMP-49
deleted file mode 100644
index 5fb4860c..00000000
Binary files a/sudoku-csolver/dumps/DUMP-49 and /dev/null differ
diff --git a/sudoku-csolver/dumps/DUMP-9 b/sudoku-csolver/dumps/DUMP-9
deleted file mode 100644
index 5ecf1b91..00000000
Binary files a/sudoku-csolver/dumps/DUMP-9 and /dev/null differ
diff --git a/sudoku-csolver/dumps/DUMP-bug b/sudoku-csolver/dumps/DUMP-bug
deleted file mode 100644
index e29df22b..00000000
Binary files a/sudoku-csolver/dumps/DUMP-bug and /dev/null differ
diff --git a/sudoku-csolver/out/out16-binaryinx b/sudoku-csolver/out/out16-binaryinx
deleted file mode 100644
index 52bbc154..00000000
--- a/sudoku-csolver/out/out16-binaryinx
+++ /dev/null
@@ -1,10 +0,0 @@
-erializing ...
-Polarity time: 0.000361
-Preprocess time: 0.001681
-Decompose Order: 0.000006
-Encoding Graph Time: 0.007974
-Elapse Encode time: 0.113536
-Is problem UNSAT after encoding: 0
-CNF Encode time: 0.000000
-SAT Solving time: 0.033928
-
diff --git a/sudoku-csolver/out/out16-onehot b/sudoku-csolver/out/out16-onehot
deleted file mode 100644
index 8a8ce23e..00000000
--- a/sudoku-csolver/out/out16-onehot
+++ /dev/null
@@ -1,11 +0,0 @@
-f
-larity time: 0.000360
-Preprocess time: 0.001708
-Decompose Order: 0.000009
-Encoding Graph Time: 0.008117
-Elapse Encode time: 0.104967
-Is problem UNSAT after encoding: 0
-CNF Encode time: 0.000000
-SAT Solving time: 0.034124
-Result Computed in SAT solver: 1
-
diff --git a/sudoku-csolver/out/out16-original b/sudoku-csolver/out/out16-original
deleted file mode 100644
index 47c5606e..00000000
--- a/sudoku-csolver/out/out16-original
+++ /dev/null
@@ -1,7 +0,0 @@
-
-ne :30976
-Second one :92416
-Third one :123136
-P CNF 123136(number of clauses)
-Time: 0.0240921974182
-
diff --git a/sudoku-csolver/out/out25-binaryIndx b/sudoku-csolver/out/out25-binaryIndx
deleted file mode 100644
index 7f7b7d90..00000000
--- a/sudoku-csolver/out/out25-binaryIndx
+++ /dev/null
@@ -1,12 +0,0 @@
-ing csolver ...
-serializing ...
-Polarity time: 0.001680
-Preprocess time: 0.011128
-Decompose Order: 0.000022
-Encoding Graph Time: 0.037682
-Elapse Encode time: 0.837125
-Is problem UNSAT after encoding: 0
-CNF Encode time: 0.000000
-SAT Solving time: 0.303226
-Result Computed in SAT solver: 1
-
diff --git a/sudoku-csolver/out/out25-onehot b/sudoku-csolver/out/out25-onehot
deleted file mode 100644
index 749d43b3..00000000
--- a/sudoku-csolver/out/out25-onehot
+++ /dev/null
@@ -1,11 +0,0 @@
-f
-larity time: 0.001769
-Preprocess time: 0.009536
-Decompose Order: 0.000022
-Encoding Graph Time: 0.036868
-Elapse Encode time: 0.810467
-Is problem UNSAT after encoding: 0
-CNF Encode time: 0.000000
-SAT Solving time: 0.304123
-Result Computed in SAT solver: 1
-
diff --git a/sudoku-csolver/out/out25-original b/sudoku-csolver/out/out25-original
deleted file mode 100644
index 12b29c94..00000000
--- a/sudoku-csolver/out/out25-original
+++ /dev/null
@@ -1,6 +0,0 @@
-
-ne :188125
-Second one :563125
-Third one :750625
-P CNF 750625(number of clauses)
-Time: 0.240067958832
diff --git a/sudoku-csolver/out/out36-binaryindx b/sudoku-csolver/out/out36-binaryindx
deleted file mode 100644
index fbf1ea7e..00000000
--- a/sudoku-csolver/out/out36-binaryindx
+++ /dev/null
@@ -1,10 +0,0 @@
-f
-larity time: 0.005411
-Preprocess time: 0.025317
-Decompose Order: 0.000019
-Encoding Graph Time: 0.111397
-Elapse Encode time: 4.460973
-Is problem UNSAT after encoding: 0
-CNF Encode time: 0.000000
-SAT Solving time: 234.080542
-Result Computed in SAT solver: 1
diff --git a/sudoku-csolver/out/out36-onehot b/sudoku-csolver/out/out36-onehot
deleted file mode 100644
index c0f1f8d2..00000000
--- a/sudoku-csolver/out/out36-onehot
+++ /dev/null
@@ -1,11 +0,0 @@
-erializing ...
-Polarity time: 0.005552
-Preprocess time: 0.023992
-Decompose Order: 0.000020
-Encoding Graph Time: 0.106497
-Elapse Encode time: 4.447840
-Is problem UNSAT after encoding: 0
-CNF Encode time: 0.000000
-SAT Solving time: 124.777708
-Result Computed in SAT solver: 1
-
diff --git a/sudoku-csolver/out/out36-original b/sudoku-csolver/out/out36-original
deleted file mode 100644
index 18df7384..00000000
--- a/sudoku-csolver/out/out36-original
+++ /dev/null
@@ -1,7 +0,0 @@
-
-ne :817776
-Second one :2450736
-Third one :3267216
-P CNF 3267216(number of clauses)
-Time: 177.606576204
-
diff --git a/sudoku-csolver/problems/64x64-1500.problem b/sudoku-csolver/problems/64x64-1500.problem
new file mode 100644
index 00000000..6d0c0c78
--- /dev/null
+++ b/sudoku-csolver/problems/64x64-1500.problem
@@ -0,0 +1,64 @@
+6.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.100000000000000000e+01 0.000000000000000000e+00 5.900000000000000000e+01 5.800000000000000000e+01 5.700000000000000000e+01 0.000000000000000000e+00 5.500000000000000000e+01 5.400000000000000000e+01 5.300000000000000000e+01 5.200000000000000000e+01 0.000000000000000000e+00 5.000000000000000000e+01 4.900000000000000000e+01 4.800000000000000000e+01 4.700000000000000000e+01 0.000000000000000000e+00 4.500000000000000000e+01 4.400000000000000000e+01 0.000000000000000000e+00 4.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.700000000000000000e+01 3.600000000000000000e+01 0.000000000000000000e+00 3.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.100000000000000000e+01 3.000000000000000000e+01 2.900000000000000000e+01 0.000000000000000000e+00 2.700000000000000000e+01 2.600000000000000000e+01 2.500000000000000000e+01 2.400000000000000000e+01 2.300000000000000000e+01 2.200000000000000000e+01 0.000000000000000000e+00 2.000000000000000000e+01 1.900000000000000000e+01 1.800000000000000000e+01 1.700000000000000000e+01 0.000000000000000000e+00 1.500000000000000000e+01 1.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 9.000000000000000000e+00 0.000000000000000000e+00 7.000000000000000000e+00 6.000000000000000000e+00 5.000000000000000000e+00 4.000000000000000000e+00 3.000000000000000000e+00 2.000000000000000000e+00 1.000000000000000000e+00
+0.000000000000000000e+00 5.500000000000000000e+01 5.400000000000000000e+01 5.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.900000000000000000e+01 6.400000000000000000e+01 0.000000000000000000e+00 6.200000000000000000e+01 0.000000000000000000e+00 6.000000000000000000e+01 0.000000000000000000e+00 5.800000000000000000e+01 5.700000000000000000e+01 4.000000000000000000e+01 3.900000000000000000e+01 3.800000000000000000e+01 0.000000000000000000e+00 3.600000000000000000e+01 3.500000000000000000e+01 3.400000000000000000e+01 3.300000000000000000e+01 0.000000000000000000e+00 4.700000000000000000e+01 4.600000000000000000e+01 0.000000000000000000e+00 4.400000000000000000e+01 0.000000000000000000e+00 4.200000000000000000e+01 0.000000000000000000e+00 2.400000000000000000e+01 2.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.000000000000000000e+01 1.900000000000000000e+01 1.800000000000000000e+01 1.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+01 2.900000000000000000e+01 2.800000000000000000e+01 2.700000000000000000e+01 2.600000000000000000e+01 2.500000000000000000e+01 8.000000000000000000e+00 7.000000000000000000e+00 6.000000000000000000e+00 5.000000000000000000e+00 4.000000000000000000e+00 3.000000000000000000e+00 2.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.500000000000000000e+01 1.400000000000000000e+01 1.300000000000000000e+01 1.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 9.000000000000000000e+00
+0.000000000000000000e+00 4.700000000000000000e+01 4.600000000000000000e+01 0.000000000000000000e+00 4.400000000000000000e+01 4.300000000000000000e+01 4.200000000000000000e+01 0.000000000000000000e+00 4.000000000000000000e+01 0.000000000000000000e+00 3.800000000000000000e+01 3.700000000000000000e+01 3.600000000000000000e+01 3.500000000000000000e+01 3.400000000000000000e+01 0.000000000000000000e+00 6.400000000000000000e+01 6.300000000000000000e+01 6.200000000000000000e+01 6.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.800000000000000000e+01 5.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.400000000000000000e+01 5.300000000000000000e+01 5.200000000000000000e+01 0.000000000000000000e+00 5.000000000000000000e+01 4.900000000000000000e+01 0.000000000000000000e+00 1.500000000000000000e+01 1.400000000000000000e+01 1.300000000000000000e+01 0.000000000000000000e+00 1.100000000000000000e+01 1.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 6.000000000000000000e+00 5.000000000000000000e+00 4.000000000000000000e+00 3.000000000000000000e+00 2.000000000000000000e+00 0.000000000000000000e+00 3.200000000000000000e+01 3.100000000000000000e+01 3.000000000000000000e+01 0.000000000000000000e+00 2.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.400000000000000000e+01 2.300000000000000000e+01 2.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.700000000000000000e+01
+0.000000000000000000e+00 0.000000000000000000e+00 3.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.500000000000000000e+01 0.000000000000000000e+00 3.300000000000000000e+01 4.800000000000000000e+01 4.700000000000000000e+01 4.600000000000000000e+01 4.500000000000000000e+01 4.400000000000000000e+01 0.000000000000000000e+00 4.200000000000000000e+01 4.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.400000000000000000e+01 5.300000000000000000e+01 5.200000000000000000e+01 5.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.400000000000000000e+01 6.300000000000000000e+01 6.200000000000000000e+01 6.100000000000000000e+01 6.000000000000000000e+01 0.000000000000000000e+00 5.800000000000000000e+01 5.700000000000000000e+01 8.000000000000000000e+00 0.000000000000000000e+00 6.000000000000000000e+00 5.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.000000000000000000e+00 0.000000000000000000e+00 1.600000000000000000e+01 1.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+01 0.000000000000000000e+00 2.400000000000000000e+01 2.300000000000000000e+01 2.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.700000000000000000e+01 3.200000000000000000e+01 0.000000000000000000e+00 3.000000000000000000e+01 2.900000000000000000e+01 2.800000000000000000e+01 2.700000000000000000e+01 2.600000000000000000e+01 2.500000000000000000e+01
+0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.900000000000000000e+01 2.800000000000000000e+01 0.000000000000000000e+00 2.600000000000000000e+01 2.500000000000000000e+01 0.000000000000000000e+00 2.300000000000000000e+01 2.200000000000000000e+01 2.100000000000000000e+01 2.000000000000000000e+01 0.000000000000000000e+00 1.800000000000000000e+01 1.700000000000000000e+01 1.600000000000000000e+01 1.500000000000000000e+01 1.400000000000000000e+01 1.300000000000000000e+01 1.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 9.000000000000000000e+00 8.000000000000000000e+00 7.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+00 4.000000000000000000e+00 3.000000000000000000e+00 2.000000000000000000e+00 1.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 6.200000000000000000e+01 6.100000000000000000e+01 6.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.400000000000000000e+01 0.000000000000000000e+00 5.200000000000000000e+01 5.100000000000000000e+01 5.000000000000000000e+01 4.900000000000000000e+01 0.000000000000000000e+00 4.700000000000000000e+01 4.600000000000000000e+01 0.000000000000000000e+00 4.400000000000000000e+01 4.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.000000000000000000e+01 0.000000000000000000e+00 3.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.300000000000000000e+01
+0.000000000000000000e+00 2.300000000000000000e+01 2.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.900000000000000000e+01 1.800000000000000000e+01 1.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+01 2.900000000000000000e+01 2.800000000000000000e+01 2.700000000000000000e+01 2.600000000000000000e+01 0.000000000000000000e+00 8.000000000000000000e+00 7.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+00 4.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.600000000000000000e+01 1.500000000000000000e+01 1.400000000000000000e+01 0.000000000000000000e+00 1.200000000000000000e+01 1.100000000000000000e+01 1.000000000000000000e+01 0.000000000000000000e+00 5.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 6.200000000000000000e+01 6.100000000000000000e+01 0.000000000000000000e+00 5.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.000000000000000000e+01 0.000000000000000000e+00 3.800000000000000000e+01 0.000000000000000000e+00 3.600000000000000000e+01 0.000000000000000000e+00 3.400000000000000000e+01 3.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.600000000000000000e+01 4.500000000000000000e+01 4.400000000000000000e+01 4.300000000000000000e+01 4.200000000000000000e+01 4.100000000000000000e+01
+0.000000000000000000e+00 1.500000000000000000e+01 0.000000000000000000e+00 1.300000000000000000e+01 1.200000000000000000e+01 0.000000000000000000e+00 1.000000000000000000e+01 0.000000000000000000e+00 8.000000000000000000e+00 0.000000000000000000e+00 6.000000000000000000e+00 0.000000000000000000e+00 4.000000000000000000e+00 3.000000000000000000e+00 2.000000000000000000e+00 0.000000000000000000e+00 3.200000000000000000e+01 3.100000000000000000e+01 3.000000000000000000e+01 0.000000000000000000e+00 2.800000000000000000e+01 0.000000000000000000e+00 2.600000000000000000e+01 2.500000000000000000e+01 0.000000000000000000e+00 2.300000000000000000e+01 2.200000000000000000e+01 0.000000000000000000e+00 2.000000000000000000e+01 1.900000000000000000e+01 1.800000000000000000e+01 1.700000000000000000e+01 0.000000000000000000e+00 4.700000000000000000e+01 4.600000000000000000e+01 0.000000000000000000e+00 4.400000000000000000e+01 4.300000000000000000e+01 4.200000000000000000e+01 0.000000000000000000e+00 4.000000000000000000e+01 3.900000000000000000e+01 3.800000000000000000e+01 0.000000000000000000e+00 3.600000000000000000e+01 0.000000000000000000e+00 3.400000000000000000e+01 3.300000000000000000e+01 6.400000000000000000e+01 0.000000000000000000e+00 6.200000000000000000e+01 6.100000000000000000e+01 0.000000000000000000e+00 5.900000000000000000e+01 5.800000000000000000e+01 0.000000000000000000e+00 5.600000000000000000e+01 0.000000000000000000e+00 5.400000000000000000e+01 0.000000000000000000e+00 5.200000000000000000e+01 5.100000000000000000e+01 5.000000000000000000e+01 4.900000000000000000e+01
+0.000000000000000000e+00 7.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+00 4.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+00 0.000000000000000000e+00 1.500000000000000000e+01 0.000000000000000000e+00 1.300000000000000000e+01 0.000000000000000000e+00 1.100000000000000000e+01 1.000000000000000000e+01 9.000000000000000000e+00 2.400000000000000000e+01 2.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.000000000000000000e+01 1.900000000000000000e+01 1.800000000000000000e+01 0.000000000000000000e+00 3.200000000000000000e+01 3.100000000000000000e+01 3.000000000000000000e+01 2.900000000000000000e+01 2.800000000000000000e+01 2.700000000000000000e+01 2.600000000000000000e+01 0.000000000000000000e+00 4.000000000000000000e+01 3.900000000000000000e+01 0.000000000000000000e+00 3.700000000000000000e+01 3.600000000000000000e+01 0.000000000000000000e+00 3.400000000000000000e+01 3.300000000000000000e+01 4.800000000000000000e+01 4.700000000000000000e+01 4.600000000000000000e+01 4.500000000000000000e+01 0.000000000000000000e+00 4.300000000000000000e+01 4.200000000000000000e+01 0.000000000000000000e+00 5.600000000000000000e+01 5.500000000000000000e+01 5.400000000000000000e+01 0.000000000000000000e+00 5.200000000000000000e+01 5.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 6.300000000000000000e+01 6.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.700000000000000000e+01
+6.300000000000000000e+01 6.400000000000000000e+01 0.000000000000000000e+00 6.200000000000000000e+01 0.000000000000000000e+00 6.000000000000000000e+01 5.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.600000000000000000e+01 0.000000000000000000e+00 5.400000000000000000e+01 5.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.700000000000000000e+01 4.800000000000000000e+01 4.500000000000000000e+01 4.600000000000000000e+01 0.000000000000000000e+00 4.400000000000000000e+01 4.100000000000000000e+01 4.200000000000000000e+01 3.900000000000000000e+01 4.000000000000000000e+01 0.000000000000000000e+00 3.800000000000000000e+01 3.500000000000000000e+01 3.600000000000000000e+01 3.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.900000000000000000e+01 0.000000000000000000e+00 2.700000000000000000e+01 2.800000000000000000e+01 0.000000000000000000e+00 2.600000000000000000e+01 2.300000000000000000e+01 2.400000000000000000e+01 0.000000000000000000e+00 2.200000000000000000e+01 1.900000000000000000e+01 2.000000000000000000e+01 1.700000000000000000e+01 1.800000000000000000e+01 1.500000000000000000e+01 1.600000000000000000e+01 1.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 9.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 8.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+00 4.000000000000000000e+00 0.000000000000000000e+00 2.000000000000000000e+00
+5.500000000000000000e+01 5.600000000000000000e+01 0.000000000000000000e+00 5.400000000000000000e+01 5.100000000000000000e+01 5.200000000000000000e+01 4.900000000000000000e+01 5.000000000000000000e+01 6.300000000000000000e+01 6.400000000000000000e+01 6.100000000000000000e+01 6.200000000000000000e+01 0.000000000000000000e+00 6.000000000000000000e+01 0.000000000000000000e+00 5.800000000000000000e+01 3.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.300000000000000000e+01 0.000000000000000000e+00 4.100000000000000000e+01 0.000000000000000000e+00 2.300000000000000000e+01 2.400000000000000000e+01 0.000000000000000000e+00 2.200000000000000000e+01 1.900000000000000000e+01 2.000000000000000000e+01 1.700000000000000000e+01 1.800000000000000000e+01 0.000000000000000000e+00 3.200000000000000000e+01 2.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.500000000000000000e+01 2.600000000000000000e+01 7.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.000000000000000000e+00 1.500000000000000000e+01 1.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+01
+4.700000000000000000e+01 4.800000000000000000e+01 4.500000000000000000e+01 0.000000000000000000e+00 4.300000000000000000e+01 4.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.900000000000000000e+01 4.000000000000000000e+01 3.700000000000000000e+01 3.800000000000000000e+01 3.500000000000000000e+01 0.000000000000000000e+00 3.300000000000000000e+01 3.400000000000000000e+01 6.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.200000000000000000e+01 0.000000000000000000e+00 6.000000000000000000e+01 0.000000000000000000e+00 5.800000000000000000e+01 5.500000000000000000e+01 5.600000000000000000e+01 0.000000000000000000e+00 5.400000000000000000e+01 5.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.300000000000000000e+01 1.400000000000000000e+01 1.100000000000000000e+01 1.200000000000000000e+01 0.000000000000000000e+00 1.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+00 2.000000000000000000e+00 3.100000000000000000e+01 3.200000000000000000e+01 2.900000000000000000e+01 3.000000000000000000e+01 2.700000000000000000e+01 2.800000000000000000e+01 2.500000000000000000e+01 2.600000000000000000e+01 2.300000000000000000e+01 2.400000000000000000e+01 0.000000000000000000e+00 2.200000000000000000e+01 0.000000000000000000e+00 2.000000000000000000e+01 0.000000000000000000e+00 1.800000000000000000e+01
+0.000000000000000000e+00 4.000000000000000000e+01 3.700000000000000000e+01 3.800000000000000000e+01 3.500000000000000000e+01 3.600000000000000000e+01 3.300000000000000000e+01 3.400000000000000000e+01 0.000000000000000000e+00 4.800000000000000000e+01 4.500000000000000000e+01 0.000000000000000000e+00 4.300000000000000000e+01 4.400000000000000000e+01 4.100000000000000000e+01 4.200000000000000000e+01 5.500000000000000000e+01 5.600000000000000000e+01 0.000000000000000000e+00 5.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+01 6.300000000000000000e+01 6.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.900000000000000000e+01 6.000000000000000000e+01 5.700000000000000000e+01 0.000000000000000000e+00 7.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+00 4.000000000000000000e+00 1.000000000000000000e+00 2.000000000000000000e+00 1.500000000000000000e+01 1.600000000000000000e+01 0.000000000000000000e+00 1.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 9.000000000000000000e+00 0.000000000000000000e+00 2.300000000000000000e+01 2.400000000000000000e+01 2.100000000000000000e+01 0.000000000000000000e+00 1.900000000000000000e+01 2.000000000000000000e+01 1.700000000000000000e+01 0.000000000000000000e+00 3.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+01 0.000000000000000000e+00 2.800000000000000000e+01 2.500000000000000000e+01 2.600000000000000000e+01
+0.000000000000000000e+00 0.000000000000000000e+00 2.900000000000000000e+01 3.000000000000000000e+01 2.700000000000000000e+01 2.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.200000000000000000e+01 1.900000000000000000e+01 2.000000000000000000e+01 1.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.200000000000000000e+01 9.000000000000000000e+00 1.000000000000000000e+01 0.000000000000000000e+00 8.000000000000000000e+00 5.000000000000000000e+00 6.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.000000000000000000e+00 6.300000000000000000e+01 6.400000000000000000e+01 6.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.000000000000000000e+01 5.700000000000000000e+01 0.000000000000000000e+00 5.500000000000000000e+01 5.600000000000000000e+01 5.300000000000000000e+01 5.400000000000000000e+01 5.100000000000000000e+01 5.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.700000000000000000e+01 4.800000000000000000e+01 0.000000000000000000e+00 4.600000000000000000e+01 4.300000000000000000e+01 4.400000000000000000e+01 4.100000000000000000e+01 4.200000000000000000e+01 3.900000000000000000e+01 4.000000000000000000e+01 3.700000000000000000e+01 3.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.300000000000000000e+01 3.400000000000000000e+01
+0.000000000000000000e+00 2.400000000000000000e+01 2.100000000000000000e+01 2.200000000000000000e+01 1.900000000000000000e+01 2.000000000000000000e+01 1.700000000000000000e+01 1.800000000000000000e+01 3.100000000000000000e+01 0.000000000000000000e+00 2.900000000000000000e+01 3.000000000000000000e+01 2.700000000000000000e+01 2.800000000000000000e+01 2.500000000000000000e+01 2.600000000000000000e+01 7.000000000000000000e+00 8.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+00 4.000000000000000000e+00 1.000000000000000000e+00 2.000000000000000000e+00 1.500000000000000000e+01 1.600000000000000000e+01 1.300000000000000000e+01 1.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+01 0.000000000000000000e+00 5.600000000000000000e+01 5.300000000000000000e+01 5.400000000000000000e+01 5.100000000000000000e+01 5.200000000000000000e+01 0.000000000000000000e+00 5.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.900000000000000000e+01 6.000000000000000000e+01 0.000000000000000000e+00 5.800000000000000000e+01 0.000000000000000000e+00 4.000000000000000000e+01 0.000000000000000000e+00 3.800000000000000000e+01 0.000000000000000000e+00 3.600000000000000000e+01 3.300000000000000000e+01 3.400000000000000000e+01 4.700000000000000000e+01 4.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.400000000000000000e+01 4.100000000000000000e+01 4.200000000000000000e+01
+0.000000000000000000e+00 1.600000000000000000e+01 1.300000000000000000e+01 1.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 9.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 8.000000000000000000e+00 5.000000000000000000e+00 6.000000000000000000e+00 0.000000000000000000e+00 4.000000000000000000e+00 1.000000000000000000e+00 2.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.900000000000000000e+01 3.000000000000000000e+01 0.000000000000000000e+00 2.800000000000000000e+01 2.500000000000000000e+01 0.000000000000000000e+00 2.300000000000000000e+01 2.400000000000000000e+01 2.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.000000000000000000e+01 1.700000000000000000e+01 1.800000000000000000e+01 4.700000000000000000e+01 4.800000000000000000e+01 4.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.400000000000000000e+01 0.000000000000000000e+00 4.200000000000000000e+01 0.000000000000000000e+00 4.000000000000000000e+01 0.000000000000000000e+00 3.800000000000000000e+01 0.000000000000000000e+00 3.600000000000000000e+01 3.300000000000000000e+01 3.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.900000000000000000e+01 6.000000000000000000e+01 0.000000000000000000e+00 5.800000000000000000e+01 5.500000000000000000e+01 5.600000000000000000e+01 5.300000000000000000e+01 5.400000000000000000e+01 5.100000000000000000e+01 5.200000000000000000e+01 4.900000000000000000e+01 5.000000000000000000e+01
+7.000000000000000000e+00 8.000000000000000000e+00 0.000000000000000000e+00 6.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+00 0.000000000000000000e+00 1.500000000000000000e+01 0.000000000000000000e+00 1.300000000000000000e+01 1.400000000000000000e+01 1.100000000000000000e+01 0.000000000000000000e+00 9.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.100000000000000000e+01 2.200000000000000000e+01 0.000000000000000000e+00 2.000000000000000000e+01 0.000000000000000000e+00 1.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.700000000000000000e+01 2.800000000000000000e+01 2.500000000000000000e+01 2.600000000000000000e+01 3.900000000000000000e+01 4.000000000000000000e+01 0.000000000000000000e+00 3.800000000000000000e+01 3.500000000000000000e+01 3.600000000000000000e+01 0.000000000000000000e+00 3.400000000000000000e+01 4.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.600000000000000000e+01 4.300000000000000000e+01 4.400000000000000000e+01 4.100000000000000000e+01 4.200000000000000000e+01 5.500000000000000000e+01 5.600000000000000000e+01 5.300000000000000000e+01 5.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.900000000000000000e+01 5.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.100000000000000000e+01 6.200000000000000000e+01 5.900000000000000000e+01 6.000000000000000000e+01 0.000000000000000000e+00 5.800000000000000000e+01
+6.200000000000000000e+01 6.100000000000000000e+01 0.000000000000000000e+00 6.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.000000000000000000e+01 5.900000000000000000e+01 5.400000000000000000e+01 5.300000000000000000e+01 5.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.900000000000000000e+01 5.200000000000000000e+01 5.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.200000000000000000e+01 4.100000000000000000e+01 4.400000000000000000e+01 4.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.900000000000000000e+01 0.000000000000000000e+00 3.300000000000000000e+01 3.600000000000000000e+01 0.000000000000000000e+00 3.000000000000000000e+01 2.900000000000000000e+01 3.200000000000000000e+01 3.100000000000000000e+01 2.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.700000000000000000e+01 2.200000000000000000e+01 2.100000000000000000e+01 2.400000000000000000e+01 2.300000000000000000e+01 1.800000000000000000e+01 0.000000000000000000e+00 2.000000000000000000e+01 0.000000000000000000e+00 1.400000000000000000e+01 1.300000000000000000e+01 1.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 9.000000000000000000e+00 0.000000000000000000e+00 1.100000000000000000e+01 6.000000000000000000e+00 5.000000000000000000e+00 0.000000000000000000e+00 7.000000000000000000e+00 2.000000000000000000e+00 0.000000000000000000e+00 4.000000000000000000e+00 3.000000000000000000e+00
+0.000000000000000000e+00 0.000000000000000000e+00 5.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.200000000000000000e+01 5.100000000000000000e+01 0.000000000000000000e+00 6.100000000000000000e+01 6.400000000000000000e+01 0.000000000000000000e+00 5.800000000000000000e+01 5.700000000000000000e+01 0.000000000000000000e+00 5.900000000000000000e+01 0.000000000000000000e+00 3.700000000000000000e+01 0.000000000000000000e+00 3.900000000000000000e+01 3.400000000000000000e+01 3.300000000000000000e+01 3.600000000000000000e+01 3.500000000000000000e+01 4.600000000000000000e+01 4.500000000000000000e+01 4.800000000000000000e+01 4.700000000000000000e+01 4.200000000000000000e+01 4.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.200000000000000000e+01 2.100000000000000000e+01 2.400000000000000000e+01 2.300000000000000000e+01 1.800000000000000000e+01 1.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.900000000000000000e+01 3.200000000000000000e+01 3.100000000000000000e+01 0.000000000000000000e+00 2.500000000000000000e+01 2.800000000000000000e+01 2.700000000000000000e+01 0.000000000000000000e+00 5.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.000000000000000000e+00 0.000000000000000000e+00 4.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.300000000000000000e+01 1.600000000000000000e+01 1.500000000000000000e+01 1.000000000000000000e+01 9.000000000000000000e+00 1.200000000000000000e+01 1.100000000000000000e+01
+0.000000000000000000e+00 4.500000000000000000e+01 4.800000000000000000e+01 0.000000000000000000e+00 4.200000000000000000e+01 4.100000000000000000e+01 0.000000000000000000e+00 4.300000000000000000e+01 3.800000000000000000e+01 3.700000000000000000e+01 4.000000000000000000e+01 3.900000000000000000e+01 3.400000000000000000e+01 0.000000000000000000e+00 3.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.100000000000000000e+01 6.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.700000000000000000e+01 6.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.300000000000000000e+01 5.600000000000000000e+01 5.500000000000000000e+01 0.000000000000000000e+00 4.900000000000000000e+01 5.200000000000000000e+01 0.000000000000000000e+00 1.400000000000000000e+01 1.300000000000000000e+01 1.600000000000000000e+01 1.500000000000000000e+01 1.000000000000000000e+01 9.000000000000000000e+00 1.200000000000000000e+01 1.100000000000000000e+01 0.000000000000000000e+00 5.000000000000000000e+00 8.000000000000000000e+00 7.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+00 4.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.200000000000000000e+01 3.100000000000000000e+01 0.000000000000000000e+00 2.500000000000000000e+01 2.800000000000000000e+01 2.700000000000000000e+01 2.200000000000000000e+01 2.100000000000000000e+01 0.000000000000000000e+00 2.300000000000000000e+01 0.000000000000000000e+00 1.700000000000000000e+01 2.000000000000000000e+01 1.900000000000000000e+01
+0.000000000000000000e+00 3.700000000000000000e+01 4.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.300000000000000000e+01 0.000000000000000000e+00 3.500000000000000000e+01 4.600000000000000000e+01 4.500000000000000000e+01 4.800000000000000000e+01 4.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.400000000000000000e+01 0.000000000000000000e+00 5.400000000000000000e+01 5.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+01 0.000000000000000000e+00 5.200000000000000000e+01 5.100000000000000000e+01 6.200000000000000000e+01 6.100000000000000000e+01 6.400000000000000000e+01 6.300000000000000000e+01 0.000000000000000000e+00 5.700000000000000000e+01 6.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+00 8.000000000000000000e+00 0.000000000000000000e+00 2.000000000000000000e+00 1.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 1.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.800000000000000000e+01 0.000000000000000000e+00 2.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.900000000000000000e+01 3.200000000000000000e+01 3.100000000000000000e+01 2.600000000000000000e+01 2.500000000000000000e+01 2.800000000000000000e+01 2.700000000000000000e+01
+0.000000000000000000e+00 2.900000000000000000e+01 3.200000000000000000e+01 0.000000000000000000e+00 2.600000000000000000e+01 2.500000000000000000e+01 2.800000000000000000e+01 2.700000000000000000e+01 0.000000000000000000e+00 2.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.700000000000000000e+01 2.000000000000000000e+01 1.900000000000000000e+01 0.000000000000000000e+00 1.300000000000000000e+01 1.600000000000000000e+01 1.500000000000000000e+01 1.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.100000000000000000e+01 6.000000000000000000e+00 5.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 6.100000000000000000e+01 6.400000000000000000e+01 6.300000000000000000e+01 5.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.900000000000000000e+01 0.000000000000000000e+00 5.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.100000000000000000e+01 0.000000000000000000e+00 4.500000000000000000e+01 4.800000000000000000e+01 0.000000000000000000e+00 4.200000000000000000e+01 0.000000000000000000e+00 4.400000000000000000e+01 0.000000000000000000e+00 3.800000000000000000e+01 3.700000000000000000e+01 4.000000000000000000e+01 3.900000000000000000e+01 3.400000000000000000e+01 3.300000000000000000e+01 0.000000000000000000e+00 3.500000000000000000e+01
+2.200000000000000000e+01 2.100000000000000000e+01 2.400000000000000000e+01 2.300000000000000000e+01 0.000000000000000000e+00 1.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.100000000000000000e+01 2.600000000000000000e+01 0.000000000000000000e+00 2.800000000000000000e+01 2.700000000000000000e+01 6.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 7.000000000000000000e+00 2.000000000000000000e+00 1.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+00 1.400000000000000000e+01 1.300000000000000000e+01 1.600000000000000000e+01 1.500000000000000000e+01 1.000000000000000000e+01 0.000000000000000000e+00 1.200000000000000000e+01 1.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.600000000000000000e+01 0.000000000000000000e+00 5.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.100000000000000000e+01 6.200000000000000000e+01 6.100000000000000000e+01 6.400000000000000000e+01 6.300000000000000000e+01 5.800000000000000000e+01 5.700000000000000000e+01 6.000000000000000000e+01 5.900000000000000000e+01 3.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.900000000000000000e+01 3.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.500000000000000000e+01 4.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.400000000000000000e+01 4.300000000000000000e+01
+0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.200000000000000000e+01 1.100000000000000000e+01 6.000000000000000000e+00 5.000000000000000000e+00 8.000000000000000000e+00 7.000000000000000000e+00 2.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+01 2.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.600000000000000000e+01 2.500000000000000000e+01 0.000000000000000000e+00 2.700000000000000000e+01 2.200000000000000000e+01 2.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.800000000000000000e+01 1.700000000000000000e+01 2.000000000000000000e+01 0.000000000000000000e+00 4.600000000000000000e+01 4.500000000000000000e+01 4.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.400000000000000000e+01 4.300000000000000000e+01 0.000000000000000000e+00 3.700000000000000000e+01 0.000000000000000000e+00 3.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.600000000000000000e+01 3.500000000000000000e+01 0.000000000000000000e+00 6.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.800000000000000000e+01 5.700000000000000000e+01 6.000000000000000000e+01 0.000000000000000000e+00 5.400000000000000000e+01 5.300000000000000000e+01 0.000000000000000000e+00 5.500000000000000000e+01 0.000000000000000000e+00 4.900000000000000000e+01 5.200000000000000000e+01 5.100000000000000000e+01
+0.000000000000000000e+00 5.000000000000000000e+00 8.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+00 4.000000000000000000e+00 3.000000000000000000e+00 1.400000000000000000e+01 1.300000000000000000e+01 0.000000000000000000e+00 1.500000000000000000e+01 1.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.800000000000000000e+01 1.700000000000000000e+01 0.000000000000000000e+00 1.900000000000000000e+01 3.000000000000000000e+01 0.000000000000000000e+00 3.200000000000000000e+01 3.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.000000000000000000e+01 3.900000000000000000e+01 3.400000000000000000e+01 0.000000000000000000e+00 3.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.200000000000000000e+01 4.100000000000000000e+01 4.400000000000000000e+01 4.300000000000000000e+01 0.000000000000000000e+00 5.300000000000000000e+01 0.000000000000000000e+00 5.500000000000000000e+01 5.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.100000000000000000e+01 6.200000000000000000e+01 6.100000000000000000e+01 6.400000000000000000e+01 6.300000000000000000e+01 5.800000000000000000e+01 0.000000000000000000e+00 6.000000000000000000e+01 5.900000000000000000e+01
+6.100000000000000000e+01 6.200000000000000000e+01 6.300000000000000000e+01 6.400000000000000000e+01 5.700000000000000000e+01 0.000000000000000000e+00 5.900000000000000000e+01 6.000000000000000000e+01 5.300000000000000000e+01 5.400000000000000000e+01 0.000000000000000000e+00 5.600000000000000000e+01 0.000000000000000000e+00 5.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.600000000000000000e+01 0.000000000000000000e+00 4.800000000000000000e+01 0.000000000000000000e+00 4.200000000000000000e+01 4.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.400000000000000000e+01 3.500000000000000000e+01 3.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.200000000000000000e+01 0.000000000000000000e+00 2.600000000000000000e+01 0.000000000000000000e+00 2.800000000000000000e+01 2.100000000000000000e+01 2.200000000000000000e+01 0.000000000000000000e+00 2.400000000000000000e+01 1.700000000000000000e+01 1.800000000000000000e+01 1.900000000000000000e+01 0.000000000000000000e+00 1.300000000000000000e+01 1.400000000000000000e+01 1.500000000000000000e+01 0.000000000000000000e+00 9.000000000000000000e+00 1.000000000000000000e+01 0.000000000000000000e+00 1.200000000000000000e+01 5.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 8.000000000000000000e+00 1.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+00 4.000000000000000000e+00
+0.000000000000000000e+00 0.000000000000000000e+00 5.500000000000000000e+01 5.600000000000000000e+01 4.900000000000000000e+01 5.000000000000000000e+01 5.100000000000000000e+01 5.200000000000000000e+01 6.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.400000000000000000e+01 0.000000000000000000e+00 5.800000000000000000e+01 0.000000000000000000e+00 6.000000000000000000e+01 3.700000000000000000e+01 3.800000000000000000e+01 0.000000000000000000e+00 4.000000000000000000e+01 3.300000000000000000e+01 0.000000000000000000e+00 3.500000000000000000e+01 0.000000000000000000e+00 4.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.800000000000000000e+01 4.100000000000000000e+01 4.200000000000000000e+01 4.300000000000000000e+01 0.000000000000000000e+00 2.100000000000000000e+01 0.000000000000000000e+00 2.300000000000000000e+01 0.000000000000000000e+00 1.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.000000000000000000e+01 2.900000000000000000e+01 0.000000000000000000e+00 3.100000000000000000e+01 0.000000000000000000e+00 2.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 6.000000000000000000e+00 7.000000000000000000e+00 8.000000000000000000e+00 0.000000000000000000e+00 2.000000000000000000e+00 0.000000000000000000e+00 4.000000000000000000e+00 1.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.600000000000000000e+01 9.000000000000000000e+00 0.000000000000000000e+00 1.100000000000000000e+01 1.200000000000000000e+01
+0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.300000000000000000e+01 6.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.900000000000000000e+01 6.000000000000000000e+01 5.300000000000000000e+01 5.400000000000000000e+01 5.500000000000000000e+01 5.600000000000000000e+01 4.900000000000000000e+01 5.000000000000000000e+01 5.100000000000000000e+01 5.200000000000000000e+01 0.000000000000000000e+00 1.400000000000000000e+01 1.500000000000000000e+01 0.000000000000000000e+00 9.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.200000000000000000e+01 5.000000000000000000e+00 6.000000000000000000e+00 7.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 2.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.200000000000000000e+01 2.500000000000000000e+01 0.000000000000000000e+00 2.700000000000000000e+01 2.800000000000000000e+01 2.100000000000000000e+01 2.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.700000000000000000e+01 1.800000000000000000e+01 1.900000000000000000e+01 2.000000000000000000e+01
+0.000000000000000000e+00 0.000000000000000000e+00 3.900000000000000000e+01 4.000000000000000000e+01 3.300000000000000000e+01 3.400000000000000000e+01 3.500000000000000000e+01 3.600000000000000000e+01 0.000000000000000000e+00 4.600000000000000000e+01 0.000000000000000000e+00 4.800000000000000000e+01 4.100000000000000000e+01 4.200000000000000000e+01 4.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.500000000000000000e+01 5.600000000000000000e+01 0.000000000000000000e+00 5.000000000000000000e+01 5.100000000000000000e+01 5.200000000000000000e+01 0.000000000000000000e+00 6.200000000000000000e+01 0.000000000000000000e+00 6.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.900000000000000000e+01 6.000000000000000000e+01 0.000000000000000000e+00 6.000000000000000000e+00 7.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 1.300000000000000000e+01 1.400000000000000000e+01 1.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.100000000000000000e+01 1.200000000000000000e+01 0.000000000000000000e+00 2.200000000000000000e+01 2.300000000000000000e+01 2.400000000000000000e+01 0.000000000000000000e+00 1.800000000000000000e+01 1.900000000000000000e+01 0.000000000000000000e+00 2.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.800000000000000000e+01
+2.900000000000000000e+01 0.000000000000000000e+00 3.100000000000000000e+01 3.200000000000000000e+01 2.500000000000000000e+01 2.600000000000000000e+01 2.700000000000000000e+01 2.800000000000000000e+01 2.100000000000000000e+01 2.200000000000000000e+01 2.300000000000000000e+01 2.400000000000000000e+01 1.700000000000000000e+01 0.000000000000000000e+00 1.900000000000000000e+01 2.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+01 0.000000000000000000e+00 1.200000000000000000e+01 0.000000000000000000e+00 6.000000000000000000e+00 7.000000000000000000e+00 8.000000000000000000e+00 1.000000000000000000e+00 2.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 6.100000000000000000e+01 6.200000000000000000e+01 0.000000000000000000e+00 6.400000000000000000e+01 5.700000000000000000e+01 0.000000000000000000e+00 5.900000000000000000e+01 6.000000000000000000e+01 5.300000000000000000e+01 5.400000000000000000e+01 0.000000000000000000e+00 5.600000000000000000e+01 4.900000000000000000e+01 5.000000000000000000e+01 5.100000000000000000e+01 0.000000000000000000e+00 4.500000000000000000e+01 0.000000000000000000e+00 4.700000000000000000e+01 4.800000000000000000e+01 4.100000000000000000e+01 4.200000000000000000e+01 4.300000000000000000e+01 0.000000000000000000e+00 3.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.000000000000000000e+01 3.300000000000000000e+01 3.400000000000000000e+01 0.000000000000000000e+00 3.600000000000000000e+01
+0.000000000000000000e+00 0.000000000000000000e+00 2.300000000000000000e+01 0.000000000000000000e+00 1.700000000000000000e+01 0.000000000000000000e+00 1.900000000000000000e+01 2.000000000000000000e+01 2.900000000000000000e+01 0.000000000000000000e+00 3.100000000000000000e+01 3.200000000000000000e+01 0.000000000000000000e+00 2.600000000000000000e+01 2.700000000000000000e+01 0.000000000000000000e+00 5.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 1.300000000000000000e+01 1.400000000000000000e+01 1.500000000000000000e+01 1.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.100000000000000000e+01 1.200000000000000000e+01 0.000000000000000000e+00 5.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.900000000000000000e+01 0.000000000000000000e+00 5.100000000000000000e+01 0.000000000000000000e+00 6.100000000000000000e+01 0.000000000000000000e+00 6.300000000000000000e+01 6.400000000000000000e+01 5.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.000000000000000000e+01 0.000000000000000000e+00 3.400000000000000000e+01 0.000000000000000000e+00 3.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.700000000000000000e+01 4.800000000000000000e+01 4.100000000000000000e+01 4.200000000000000000e+01 0.000000000000000000e+00 4.400000000000000000e+01
+0.000000000000000000e+00 1.400000000000000000e+01 1.500000000000000000e+01 1.600000000000000000e+01 9.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 8.000000000000000000e+00 1.000000000000000000e+00 2.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 2.900000000000000000e+01 3.000000000000000000e+01 3.100000000000000000e+01 3.200000000000000000e+01 2.500000000000000000e+01 2.600000000000000000e+01 0.000000000000000000e+00 2.800000000000000000e+01 2.100000000000000000e+01 0.000000000000000000e+00 2.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.800000000000000000e+01 1.900000000000000000e+01 0.000000000000000000e+00 4.500000000000000000e+01 0.000000000000000000e+00 4.700000000000000000e+01 4.800000000000000000e+01 4.100000000000000000e+01 4.200000000000000000e+01 4.300000000000000000e+01 4.400000000000000000e+01 3.700000000000000000e+01 3.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.400000000000000000e+01 3.500000000000000000e+01 0.000000000000000000e+00 6.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.800000000000000000e+01 0.000000000000000000e+00 6.000000000000000000e+01 0.000000000000000000e+00 5.400000000000000000e+01 0.000000000000000000e+00 5.600000000000000000e+01 4.900000000000000000e+01 0.000000000000000000e+00 5.100000000000000000e+01 5.200000000000000000e+01
+5.000000000000000000e+00 0.000000000000000000e+00 7.000000000000000000e+00 8.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.000000000000000000e+00 1.300000000000000000e+01 1.400000000000000000e+01 0.000000000000000000e+00 1.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.100000000000000000e+01 0.000000000000000000e+00 2.100000000000000000e+01 2.200000000000000000e+01 2.300000000000000000e+01 2.400000000000000000e+01 1.700000000000000000e+01 1.800000000000000000e+01 1.900000000000000000e+01 2.000000000000000000e+01 2.900000000000000000e+01 3.000000000000000000e+01 3.100000000000000000e+01 3.200000000000000000e+01 2.500000000000000000e+01 0.000000000000000000e+00 2.700000000000000000e+01 2.800000000000000000e+01 3.700000000000000000e+01 3.800000000000000000e+01 3.900000000000000000e+01 4.000000000000000000e+01 3.300000000000000000e+01 0.000000000000000000e+00 3.500000000000000000e+01 3.600000000000000000e+01 4.500000000000000000e+01 4.600000000000000000e+01 4.700000000000000000e+01 4.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.400000000000000000e+01 5.300000000000000000e+01 0.000000000000000000e+00 5.500000000000000000e+01 5.600000000000000000e+01 4.900000000000000000e+01 5.000000000000000000e+01 5.100000000000000000e+01 0.000000000000000000e+00 6.100000000000000000e+01 6.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.700000000000000000e+01 0.000000000000000000e+00 5.900000000000000000e+01 6.000000000000000000e+01
+0.000000000000000000e+00 5.900000000000000000e+01 0.000000000000000000e+00 5.700000000000000000e+01 6.400000000000000000e+01 0.000000000000000000e+00 6.200000000000000000e+01 6.100000000000000000e+01 0.000000000000000000e+00 5.100000000000000000e+01 5.000000000000000000e+01 4.900000000000000000e+01 5.600000000000000000e+01 0.000000000000000000e+00 5.400000000000000000e+01 5.300000000000000000e+01 4.400000000000000000e+01 4.300000000000000000e+01 0.000000000000000000e+00 4.100000000000000000e+01 4.800000000000000000e+01 4.700000000000000000e+01 4.600000000000000000e+01 4.500000000000000000e+01 3.600000000000000000e+01 3.500000000000000000e+01 3.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.900000000000000000e+01 3.800000000000000000e+01 3.700000000000000000e+01 0.000000000000000000e+00 2.700000000000000000e+01 2.600000000000000000e+01 2.500000000000000000e+01 0.000000000000000000e+00 3.100000000000000000e+01 3.000000000000000000e+01 2.900000000000000000e+01 2.000000000000000000e+01 1.900000000000000000e+01 1.800000000000000000e+01 1.700000000000000000e+01 0.000000000000000000e+00 2.300000000000000000e+01 2.200000000000000000e+01 2.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 9.000000000000000000e+00 1.600000000000000000e+01 0.000000000000000000e+00 1.400000000000000000e+01 1.300000000000000000e+01 0.000000000000000000e+00 3.000000000000000000e+00 2.000000000000000000e+00 0.000000000000000000e+00 8.000000000000000000e+00 7.000000000000000000e+00 6.000000000000000000e+00 5.000000000000000000e+00
+5.200000000000000000e+01 5.100000000000000000e+01 0.000000000000000000e+00 4.900000000000000000e+01 5.600000000000000000e+01 5.500000000000000000e+01 5.400000000000000000e+01 5.300000000000000000e+01 6.000000000000000000e+01 0.000000000000000000e+00 5.800000000000000000e+01 5.700000000000000000e+01 6.400000000000000000e+01 0.000000000000000000e+00 6.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.300000000000000000e+01 4.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.800000000000000000e+01 4.700000000000000000e+01 4.600000000000000000e+01 4.500000000000000000e+01 2.000000000000000000e+01 1.900000000000000000e+01 1.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.300000000000000000e+01 0.000000000000000000e+00 2.100000000000000000e+01 0.000000000000000000e+00 2.700000000000000000e+01 2.600000000000000000e+01 2.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.000000000000000000e+00 3.000000000000000000e+00 2.000000000000000000e+00 1.000000000000000000e+00 0.000000000000000000e+00 7.000000000000000000e+00 6.000000000000000000e+00 5.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.500000000000000000e+01 1.400000000000000000e+01 1.300000000000000000e+01
+4.400000000000000000e+01 0.000000000000000000e+00 4.200000000000000000e+01 4.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.400000000000000000e+01 3.300000000000000000e+01 4.000000000000000000e+01 3.900000000000000000e+01 3.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.900000000000000000e+01 5.800000000000000000e+01 5.700000000000000000e+01 6.400000000000000000e+01 6.300000000000000000e+01 6.200000000000000000e+01 6.100000000000000000e+01 5.200000000000000000e+01 5.100000000000000000e+01 5.000000000000000000e+01 4.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.400000000000000000e+01 5.300000000000000000e+01 0.000000000000000000e+00 1.100000000000000000e+01 1.000000000000000000e+01 0.000000000000000000e+00 1.600000000000000000e+01 1.500000000000000000e+01 1.400000000000000000e+01 1.300000000000000000e+01 4.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 7.000000000000000000e+00 6.000000000000000000e+00 5.000000000000000000e+00 2.800000000000000000e+01 2.700000000000000000e+01 2.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+01 0.000000000000000000e+00 2.000000000000000000e+01 1.900000000000000000e+01 1.800000000000000000e+01 1.700000000000000000e+01 2.400000000000000000e+01 2.300000000000000000e+01 2.200000000000000000e+01 2.100000000000000000e+01
+3.600000000000000000e+01 0.000000000000000000e+00 3.400000000000000000e+01 3.300000000000000000e+01 4.000000000000000000e+01 3.900000000000000000e+01 0.000000000000000000e+00 3.700000000000000000e+01 4.400000000000000000e+01 4.300000000000000000e+01 0.000000000000000000e+00 4.100000000000000000e+01 4.800000000000000000e+01 0.000000000000000000e+00 4.600000000000000000e+01 4.500000000000000000e+01 5.200000000000000000e+01 5.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.600000000000000000e+01 5.500000000000000000e+01 0.000000000000000000e+00 5.300000000000000000e+01 6.000000000000000000e+01 5.900000000000000000e+01 5.800000000000000000e+01 5.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.100000000000000000e+01 6.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.000000000000000000e+00 1.000000000000000000e+00 8.000000000000000000e+00 0.000000000000000000e+00 6.000000000000000000e+00 0.000000000000000000e+00 1.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 9.000000000000000000e+00 1.600000000000000000e+01 1.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.000000000000000000e+01 1.900000000000000000e+01 1.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.200000000000000000e+01 0.000000000000000000e+00 2.800000000000000000e+01 0.000000000000000000e+00 2.600000000000000000e+01 2.500000000000000000e+01 3.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.900000000000000000e+01
+2.800000000000000000e+01 2.700000000000000000e+01 0.000000000000000000e+00 2.500000000000000000e+01 3.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.900000000000000000e+01 2.000000000000000000e+01 1.900000000000000000e+01 1.800000000000000000e+01 1.700000000000000000e+01 2.400000000000000000e+01 2.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.100000000000000000e+01 1.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.300000000000000000e+01 0.000000000000000000e+00 3.000000000000000000e+00 2.000000000000000000e+00 1.000000000000000000e+00 8.000000000000000000e+00 7.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.800000000000000000e+01 5.700000000000000000e+01 6.400000000000000000e+01 6.300000000000000000e+01 6.200000000000000000e+01 6.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.400000000000000000e+01 5.300000000000000000e+01 4.400000000000000000e+01 4.300000000000000000e+01 4.200000000000000000e+01 4.100000000000000000e+01 4.800000000000000000e+01 4.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.600000000000000000e+01 0.000000000000000000e+00 3.400000000000000000e+01 0.000000000000000000e+00 4.000000000000000000e+01 3.900000000000000000e+01 0.000000000000000000e+00 3.700000000000000000e+01
+2.000000000000000000e+01 0.000000000000000000e+00 1.800000000000000000e+01 1.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.200000000000000000e+01 2.100000000000000000e+01 2.800000000000000000e+01 2.700000000000000000e+01 0.000000000000000000e+00 2.500000000000000000e+01 3.200000000000000000e+01 3.100000000000000000e+01 3.000000000000000000e+01 2.900000000000000000e+01 4.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 6.000000000000000000e+00 0.000000000000000000e+00 1.200000000000000000e+01 0.000000000000000000e+00 1.000000000000000000e+01 9.000000000000000000e+00 1.600000000000000000e+01 0.000000000000000000e+00 1.400000000000000000e+01 1.300000000000000000e+01 0.000000000000000000e+00 5.100000000000000000e+01 0.000000000000000000e+00 4.900000000000000000e+01 5.600000000000000000e+01 5.500000000000000000e+01 5.400000000000000000e+01 5.300000000000000000e+01 6.000000000000000000e+01 5.900000000000000000e+01 5.800000000000000000e+01 0.000000000000000000e+00 6.400000000000000000e+01 0.000000000000000000e+00 6.200000000000000000e+01 6.100000000000000000e+01 0.000000000000000000e+00 3.500000000000000000e+01 3.400000000000000000e+01 3.300000000000000000e+01 4.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.700000000000000000e+01 4.400000000000000000e+01 0.000000000000000000e+00 4.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.700000000000000000e+01 4.600000000000000000e+01 4.500000000000000000e+01
+1.200000000000000000e+01 0.000000000000000000e+00 1.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.300000000000000000e+01 0.000000000000000000e+00 3.000000000000000000e+00 2.000000000000000000e+00 1.000000000000000000e+00 0.000000000000000000e+00 7.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.800000000000000000e+01 2.700000000000000000e+01 2.600000000000000000e+01 0.000000000000000000e+00 3.200000000000000000e+01 3.100000000000000000e+01 3.000000000000000000e+01 2.900000000000000000e+01 2.000000000000000000e+01 0.000000000000000000e+00 1.800000000000000000e+01 0.000000000000000000e+00 2.400000000000000000e+01 2.300000000000000000e+01 2.200000000000000000e+01 0.000000000000000000e+00 4.400000000000000000e+01 4.300000000000000000e+01 0.000000000000000000e+00 4.100000000000000000e+01 4.800000000000000000e+01 4.700000000000000000e+01 4.600000000000000000e+01 0.000000000000000000e+00 3.600000000000000000e+01 0.000000000000000000e+00 3.400000000000000000e+01 3.300000000000000000e+01 4.000000000000000000e+01 3.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.700000000000000000e+01 0.000000000000000000e+00 6.300000000000000000e+01 6.200000000000000000e+01 6.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.300000000000000000e+01
+4.000000000000000000e+00 3.000000000000000000e+00 2.000000000000000000e+00 1.000000000000000000e+00 8.000000000000000000e+00 7.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+00 0.000000000000000000e+00 1.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.300000000000000000e+01 2.000000000000000000e+01 1.900000000000000000e+01 1.800000000000000000e+01 0.000000000000000000e+00 2.400000000000000000e+01 2.300000000000000000e+01 2.200000000000000000e+01 2.100000000000000000e+01 0.000000000000000000e+00 2.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.100000000000000000e+01 3.000000000000000000e+01 0.000000000000000000e+00 3.600000000000000000e+01 3.500000000000000000e+01 3.400000000000000000e+01 0.000000000000000000e+00 4.000000000000000000e+01 0.000000000000000000e+00 3.800000000000000000e+01 3.700000000000000000e+01 4.400000000000000000e+01 4.300000000000000000e+01 4.200000000000000000e+01 4.100000000000000000e+01 0.000000000000000000e+00 4.700000000000000000e+01 4.600000000000000000e+01 4.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.500000000000000000e+01 5.400000000000000000e+01 5.300000000000000000e+01 0.000000000000000000e+00 5.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.100000000000000000e+01
+5.900000000000000000e+01 6.000000000000000000e+01 0.000000000000000000e+00 5.800000000000000000e+01 6.300000000000000000e+01 6.400000000000000000e+01 0.000000000000000000e+00 6.200000000000000000e+01 0.000000000000000000e+00 5.200000000000000000e+01 4.900000000000000000e+01 5.000000000000000000e+01 0.000000000000000000e+00 5.600000000000000000e+01 5.300000000000000000e+01 5.400000000000000000e+01 4.300000000000000000e+01 4.400000000000000000e+01 0.000000000000000000e+00 4.200000000000000000e+01 0.000000000000000000e+00 4.800000000000000000e+01 0.000000000000000000e+00 4.600000000000000000e+01 0.000000000000000000e+00 3.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.700000000000000000e+01 2.800000000000000000e+01 2.500000000000000000e+01 2.600000000000000000e+01 0.000000000000000000e+00 3.200000000000000000e+01 0.000000000000000000e+00 3.000000000000000000e+01 0.000000000000000000e+00 2.000000000000000000e+01 0.000000000000000000e+00 1.800000000000000000e+01 0.000000000000000000e+00 2.400000000000000000e+01 2.100000000000000000e+01 0.000000000000000000e+00 1.100000000000000000e+01 1.200000000000000000e+01 9.000000000000000000e+00 1.000000000000000000e+01 1.500000000000000000e+01 0.000000000000000000e+00 1.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.000000000000000000e+00 1.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+00 6.000000000000000000e+00
+0.000000000000000000e+00 5.200000000000000000e+01 4.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.600000000000000000e+01 5.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.700000000000000000e+01 5.800000000000000000e+01 6.300000000000000000e+01 6.400000000000000000e+01 0.000000000000000000e+00 6.200000000000000000e+01 3.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.300000000000000000e+01 0.000000000000000000e+00 4.100000000000000000e+01 4.200000000000000000e+01 4.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.600000000000000000e+01 0.000000000000000000e+00 2.000000000000000000e+01 0.000000000000000000e+00 1.800000000000000000e+01 2.300000000000000000e+01 2.400000000000000000e+01 0.000000000000000000e+00 2.200000000000000000e+01 2.700000000000000000e+01 2.800000000000000000e+01 2.500000000000000000e+01 2.600000000000000000e+01 3.100000000000000000e+01 3.200000000000000000e+01 2.900000000000000000e+01 3.000000000000000000e+01 3.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+00 2.000000000000000000e+00 7.000000000000000000e+00 8.000000000000000000e+00 5.000000000000000000e+00 0.000000000000000000e+00 1.100000000000000000e+01 1.200000000000000000e+01 9.000000000000000000e+00 1.000000000000000000e+01 1.500000000000000000e+01 0.000000000000000000e+00 1.300000000000000000e+01 1.400000000000000000e+01
+0.000000000000000000e+00 4.400000000000000000e+01 0.000000000000000000e+00 4.200000000000000000e+01 0.000000000000000000e+00 4.800000000000000000e+01 4.500000000000000000e+01 4.600000000000000000e+01 0.000000000000000000e+00 3.600000000000000000e+01 3.300000000000000000e+01 3.400000000000000000e+01 3.900000000000000000e+01 4.000000000000000000e+01 3.700000000000000000e+01 3.800000000000000000e+01 0.000000000000000000e+00 6.000000000000000000e+01 5.700000000000000000e+01 0.000000000000000000e+00 6.300000000000000000e+01 6.400000000000000000e+01 6.100000000000000000e+01 6.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.900000000000000000e+01 5.000000000000000000e+01 0.000000000000000000e+00 5.600000000000000000e+01 5.300000000000000000e+01 5.400000000000000000e+01 1.100000000000000000e+01 1.200000000000000000e+01 9.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.300000000000000000e+01 0.000000000000000000e+00 3.000000000000000000e+00 4.000000000000000000e+00 0.000000000000000000e+00 2.000000000000000000e+00 7.000000000000000000e+00 8.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.800000000000000000e+01 2.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.200000000000000000e+01 2.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.000000000000000000e+01 1.700000000000000000e+01 1.800000000000000000e+01 2.300000000000000000e+01 2.400000000000000000e+01 2.100000000000000000e+01 2.200000000000000000e+01
+3.500000000000000000e+01 0.000000000000000000e+00 3.300000000000000000e+01 3.400000000000000000e+01 0.000000000000000000e+00 4.000000000000000000e+01 0.000000000000000000e+00 3.800000000000000000e+01 4.300000000000000000e+01 4.400000000000000000e+01 4.100000000000000000e+01 4.200000000000000000e+01 4.700000000000000000e+01 4.800000000000000000e+01 4.500000000000000000e+01 0.000000000000000000e+00 5.100000000000000000e+01 5.200000000000000000e+01 4.900000000000000000e+01 5.000000000000000000e+01 5.500000000000000000e+01 0.000000000000000000e+00 5.300000000000000000e+01 5.400000000000000000e+01 0.000000000000000000e+00 6.000000000000000000e+01 5.700000000000000000e+01 0.000000000000000000e+00 6.300000000000000000e+01 6.400000000000000000e+01 0.000000000000000000e+00 6.100000000000000000e+01 3.000000000000000000e+00 4.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 7.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+00 0.000000000000000000e+00 1.100000000000000000e+01 0.000000000000000000e+00 9.000000000000000000e+00 1.000000000000000000e+01 1.500000000000000000e+01 1.600000000000000000e+01 1.300000000000000000e+01 0.000000000000000000e+00 1.900000000000000000e+01 2.000000000000000000e+01 0.000000000000000000e+00 1.800000000000000000e+01 2.300000000000000000e+01 2.400000000000000000e+01 2.100000000000000000e+01 0.000000000000000000e+00 2.700000000000000000e+01 0.000000000000000000e+00 2.500000000000000000e+01 2.600000000000000000e+01 0.000000000000000000e+00 3.200000000000000000e+01 0.000000000000000000e+00 3.000000000000000000e+01
+2.700000000000000000e+01 2.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.100000000000000000e+01 3.200000000000000000e+01 2.900000000000000000e+01 3.000000000000000000e+01 1.900000000000000000e+01 2.000000000000000000e+01 1.700000000000000000e+01 1.800000000000000000e+01 2.300000000000000000e+01 2.400000000000000000e+01 2.100000000000000000e+01 2.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 9.000000000000000000e+00 0.000000000000000000e+00 1.500000000000000000e+01 0.000000000000000000e+00 1.300000000000000000e+01 1.400000000000000000e+01 0.000000000000000000e+00 4.000000000000000000e+00 1.000000000000000000e+00 2.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 6.000000000000000000e+00 5.900000000000000000e+01 6.000000000000000000e+01 0.000000000000000000e+00 5.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.100000000000000000e+01 6.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.900000000000000000e+01 5.000000000000000000e+01 5.500000000000000000e+01 5.600000000000000000e+01 5.300000000000000000e+01 5.400000000000000000e+01 4.300000000000000000e+01 0.000000000000000000e+00 4.100000000000000000e+01 4.200000000000000000e+01 4.700000000000000000e+01 4.800000000000000000e+01 4.500000000000000000e+01 0.000000000000000000e+00 3.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.900000000000000000e+01 4.000000000000000000e+01 0.000000000000000000e+00 3.800000000000000000e+01
+1.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.800000000000000000e+01 0.000000000000000000e+00 2.400000000000000000e+01 2.100000000000000000e+01 0.000000000000000000e+00 2.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 7.000000000000000000e+00 8.000000000000000000e+00 5.000000000000000000e+00 6.000000000000000000e+00 1.100000000000000000e+01 1.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.500000000000000000e+01 1.600000000000000000e+01 1.300000000000000000e+01 1.400000000000000000e+01 5.100000000000000000e+01 5.200000000000000000e+01 4.900000000000000000e+01 0.000000000000000000e+00 5.500000000000000000e+01 5.600000000000000000e+01 5.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.500000000000000000e+01 0.000000000000000000e+00 3.300000000000000000e+01 3.400000000000000000e+01 3.900000000000000000e+01 0.000000000000000000e+00 3.700000000000000000e+01 3.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.100000000000000000e+01 4.200000000000000000e+01 4.700000000000000000e+01 4.800000000000000000e+01 4.500000000000000000e+01 4.600000000000000000e+01
+0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.500000000000000000e+01 0.000000000000000000e+00 1.300000000000000000e+01 0.000000000000000000e+00 3.000000000000000000e+00 4.000000000000000000e+00 0.000000000000000000e+00 2.000000000000000000e+00 7.000000000000000000e+00 8.000000000000000000e+00 5.000000000000000000e+00 6.000000000000000000e+00 0.000000000000000000e+00 2.800000000000000000e+01 0.000000000000000000e+00 2.600000000000000000e+01 3.100000000000000000e+01 3.200000000000000000e+01 0.000000000000000000e+00 3.000000000000000000e+01 1.900000000000000000e+01 2.000000000000000000e+01 1.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.100000000000000000e+01 2.200000000000000000e+01 4.300000000000000000e+01 4.400000000000000000e+01 4.100000000000000000e+01 4.200000000000000000e+01 4.700000000000000000e+01 0.000000000000000000e+00 4.500000000000000000e+01 0.000000000000000000e+00 3.500000000000000000e+01 0.000000000000000000e+00 3.300000000000000000e+01 0.000000000000000000e+00 3.900000000000000000e+01 4.000000000000000000e+01 3.700000000000000000e+01 3.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.700000000000000000e+01 0.000000000000000000e+00 6.300000000000000000e+01 0.000000000000000000e+00 6.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.400000000000000000e+01
+0.000000000000000000e+00 4.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 7.000000000000000000e+00 8.000000000000000000e+00 5.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.200000000000000000e+01 9.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.600000000000000000e+01 1.300000000000000000e+01 1.400000000000000000e+01 1.900000000000000000e+01 2.000000000000000000e+01 0.000000000000000000e+00 1.800000000000000000e+01 2.300000000000000000e+01 0.000000000000000000e+00 2.100000000000000000e+01 2.200000000000000000e+01 2.700000000000000000e+01 2.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+01 3.500000000000000000e+01 3.600000000000000000e+01 3.300000000000000000e+01 3.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.700000000000000000e+01 3.800000000000000000e+01 0.000000000000000000e+00 4.400000000000000000e+01 4.100000000000000000e+01 4.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.500000000000000000e+01 0.000000000000000000e+00 5.100000000000000000e+01 5.200000000000000000e+01 4.900000000000000000e+01 5.000000000000000000e+01 5.500000000000000000e+01 5.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 6.000000000000000000e+01 5.700000000000000000e+01 5.800000000000000000e+01 6.300000000000000000e+01 6.400000000000000000e+01 6.100000000000000000e+01 6.200000000000000000e+01
+0.000000000000000000e+00 5.700000000000000000e+01 6.000000000000000000e+01 5.900000000000000000e+01 6.200000000000000000e+01 6.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.200000000000000000e+01 5.100000000000000000e+01 5.400000000000000000e+01 0.000000000000000000e+00 5.600000000000000000e+01 0.000000000000000000e+00 4.200000000000000000e+01 4.100000000000000000e+01 4.400000000000000000e+01 0.000000000000000000e+00 4.600000000000000000e+01 0.000000000000000000e+00 4.800000000000000000e+01 4.700000000000000000e+01 3.400000000000000000e+01 0.000000000000000000e+00 3.600000000000000000e+01 3.500000000000000000e+01 3.800000000000000000e+01 3.700000000000000000e+01 0.000000000000000000e+00 3.900000000000000000e+01 2.600000000000000000e+01 0.000000000000000000e+00 2.800000000000000000e+01 2.700000000000000000e+01 3.000000000000000000e+01 0.000000000000000000e+00 3.200000000000000000e+01 3.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.900000000000000000e+01 2.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.300000000000000000e+01 1.000000000000000000e+01 0.000000000000000000e+00 1.200000000000000000e+01 1.100000000000000000e+01 1.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.500000000000000000e+01 2.000000000000000000e+00 0.000000000000000000e+00 4.000000000000000000e+00 3.000000000000000000e+00 6.000000000000000000e+00 0.000000000000000000e+00 8.000000000000000000e+00 7.000000000000000000e+00
+0.000000000000000000e+00 0.000000000000000000e+00 5.200000000000000000e+01 5.100000000000000000e+01 5.400000000000000000e+01 5.300000000000000000e+01 0.000000000000000000e+00 5.500000000000000000e+01 0.000000000000000000e+00 5.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.200000000000000000e+01 6.100000000000000000e+01 0.000000000000000000e+00 6.300000000000000000e+01 3.400000000000000000e+01 0.000000000000000000e+00 3.600000000000000000e+01 3.500000000000000000e+01 3.800000000000000000e+01 3.700000000000000000e+01 4.000000000000000000e+01 3.900000000000000000e+01 4.200000000000000000e+01 4.100000000000000000e+01 4.400000000000000000e+01 0.000000000000000000e+00 4.600000000000000000e+01 4.500000000000000000e+01 4.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.200000000000000000e+01 0.000000000000000000e+00 2.400000000000000000e+01 2.300000000000000000e+01 0.000000000000000000e+00 2.500000000000000000e+01 2.800000000000000000e+01 2.700000000000000000e+01 3.000000000000000000e+01 2.900000000000000000e+01 3.200000000000000000e+01 0.000000000000000000e+00 2.000000000000000000e+00 1.000000000000000000e+00 4.000000000000000000e+00 3.000000000000000000e+00 6.000000000000000000e+00 5.000000000000000000e+00 8.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+01 9.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.400000000000000000e+01 1.300000000000000000e+01 1.600000000000000000e+01 1.500000000000000000e+01
+4.200000000000000000e+01 4.100000000000000000e+01 0.000000000000000000e+00 4.300000000000000000e+01 4.600000000000000000e+01 0.000000000000000000e+00 4.800000000000000000e+01 4.700000000000000000e+01 3.400000000000000000e+01 3.300000000000000000e+01 3.600000000000000000e+01 3.500000000000000000e+01 3.800000000000000000e+01 3.700000000000000000e+01 4.000000000000000000e+01 3.900000000000000000e+01 5.800000000000000000e+01 0.000000000000000000e+00 6.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 6.400000000000000000e+01 0.000000000000000000e+00 5.000000000000000000e+01 4.900000000000000000e+01 5.200000000000000000e+01 5.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.600000000000000000e+01 5.500000000000000000e+01 1.000000000000000000e+01 9.000000000000000000e+00 0.000000000000000000e+00 1.100000000000000000e+01 1.400000000000000000e+01 0.000000000000000000e+00 1.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+00 8.000000000000000000e+00 7.000000000000000000e+00 2.600000000000000000e+01 2.500000000000000000e+01 0.000000000000000000e+00 2.700000000000000000e+01 0.000000000000000000e+00 2.900000000000000000e+01 3.200000000000000000e+01 3.100000000000000000e+01 0.000000000000000000e+00 1.700000000000000000e+01 2.000000000000000000e+01 1.900000000000000000e+01 2.200000000000000000e+01 2.100000000000000000e+01 0.000000000000000000e+00 2.300000000000000000e+01
+0.000000000000000000e+00 3.300000000000000000e+01 3.600000000000000000e+01 3.500000000000000000e+01 3.800000000000000000e+01 3.700000000000000000e+01 0.000000000000000000e+00 3.900000000000000000e+01 4.200000000000000000e+01 4.100000000000000000e+01 0.000000000000000000e+00 4.300000000000000000e+01 4.600000000000000000e+01 4.500000000000000000e+01 0.000000000000000000e+00 4.700000000000000000e+01 5.000000000000000000e+01 4.900000000000000000e+01 0.000000000000000000e+00 5.100000000000000000e+01 5.400000000000000000e+01 5.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.800000000000000000e+01 5.700000000000000000e+01 6.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.100000000000000000e+01 6.400000000000000000e+01 6.300000000000000000e+01 2.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+00 6.000000000000000000e+00 0.000000000000000000e+00 8.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 9.000000000000000000e+00 0.000000000000000000e+00 1.100000000000000000e+01 0.000000000000000000e+00 1.300000000000000000e+01 1.600000000000000000e+01 1.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.000000000000000000e+01 1.900000000000000000e+01 2.200000000000000000e+01 2.100000000000000000e+01 2.400000000000000000e+01 2.300000000000000000e+01 0.000000000000000000e+00 2.500000000000000000e+01 0.000000000000000000e+00 2.700000000000000000e+01 3.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.100000000000000000e+01
+0.000000000000000000e+00 2.500000000000000000e+01 0.000000000000000000e+00 2.700000000000000000e+01 3.000000000000000000e+01 2.900000000000000000e+01 3.200000000000000000e+01 3.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.900000000000000000e+01 2.200000000000000000e+01 2.100000000000000000e+01 0.000000000000000000e+00 2.300000000000000000e+01 1.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+00 8.000000000000000000e+00 7.000000000000000000e+00 5.800000000000000000e+01 5.700000000000000000e+01 6.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.100000000000000000e+01 6.400000000000000000e+01 6.300000000000000000e+01 5.000000000000000000e+01 0.000000000000000000e+00 5.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.300000000000000000e+01 5.600000000000000000e+01 0.000000000000000000e+00 4.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.500000000000000000e+01 4.800000000000000000e+01 4.700000000000000000e+01 3.400000000000000000e+01 3.300000000000000000e+01 3.600000000000000000e+01 3.500000000000000000e+01 3.800000000000000000e+01 3.700000000000000000e+01 4.000000000000000000e+01 3.900000000000000000e+01
+0.000000000000000000e+00 1.700000000000000000e+01 2.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.100000000000000000e+01 2.400000000000000000e+01 2.300000000000000000e+01 2.600000000000000000e+01 2.500000000000000000e+01 0.000000000000000000e+00 2.700000000000000000e+01 3.000000000000000000e+01 2.900000000000000000e+01 0.000000000000000000e+00 3.100000000000000000e+01 2.000000000000000000e+00 1.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+00 8.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+01 9.000000000000000000e+00 0.000000000000000000e+00 1.100000000000000000e+01 1.400000000000000000e+01 1.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.200000000000000000e+01 5.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.900000000000000000e+01 0.000000000000000000e+00 6.100000000000000000e+01 6.400000000000000000e+01 6.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.500000000000000000e+01 3.800000000000000000e+01 0.000000000000000000e+00 4.000000000000000000e+01 3.900000000000000000e+01 4.200000000000000000e+01 4.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.600000000000000000e+01 0.000000000000000000e+00 4.800000000000000000e+01 4.700000000000000000e+01
+0.000000000000000000e+00 9.000000000000000000e+00 1.200000000000000000e+01 1.100000000000000000e+01 1.400000000000000000e+01 1.300000000000000000e+01 0.000000000000000000e+00 1.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+00 8.000000000000000000e+00 0.000000000000000000e+00 2.600000000000000000e+01 2.500000000000000000e+01 2.800000000000000000e+01 2.700000000000000000e+01 3.000000000000000000e+01 2.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.800000000000000000e+01 0.000000000000000000e+00 2.000000000000000000e+01 1.900000000000000000e+01 2.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.300000000000000000e+01 0.000000000000000000e+00 4.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.600000000000000000e+01 4.500000000000000000e+01 4.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.600000000000000000e+01 3.500000000000000000e+01 3.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.900000000000000000e+01 5.800000000000000000e+01 5.700000000000000000e+01 0.000000000000000000e+00 5.900000000000000000e+01 6.200000000000000000e+01 6.100000000000000000e+01 6.400000000000000000e+01 6.300000000000000000e+01 0.000000000000000000e+00 4.900000000000000000e+01 0.000000000000000000e+00 5.100000000000000000e+01 0.000000000000000000e+00 5.300000000000000000e+01 5.600000000000000000e+01 5.500000000000000000e+01
+2.000000000000000000e+00 1.000000000000000000e+00 4.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 5.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+01 9.000000000000000000e+00 1.200000000000000000e+01 0.000000000000000000e+00 1.400000000000000000e+01 1.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.800000000000000000e+01 0.000000000000000000e+00 2.000000000000000000e+01 1.900000000000000000e+01 2.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.300000000000000000e+01 0.000000000000000000e+00 2.500000000000000000e+01 2.800000000000000000e+01 2.700000000000000000e+01 3.000000000000000000e+01 0.000000000000000000e+00 3.200000000000000000e+01 3.100000000000000000e+01 3.400000000000000000e+01 3.300000000000000000e+01 3.600000000000000000e+01 3.500000000000000000e+01 0.000000000000000000e+00 3.700000000000000000e+01 0.000000000000000000e+00 3.900000000000000000e+01 0.000000000000000000e+00 4.100000000000000000e+01 4.400000000000000000e+01 4.300000000000000000e+01 4.600000000000000000e+01 0.000000000000000000e+00 4.800000000000000000e+01 4.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.100000000000000000e+01 0.000000000000000000e+00 5.300000000000000000e+01 5.600000000000000000e+01 5.500000000000000000e+01 0.000000000000000000e+00 5.700000000000000000e+01 6.000000000000000000e+01 5.900000000000000000e+01 0.000000000000000000e+00 6.100000000000000000e+01 6.400000000000000000e+01 6.300000000000000000e+01
+5.700000000000000000e+01 0.000000000000000000e+00 5.900000000000000000e+01 0.000000000000000000e+00 6.100000000000000000e+01 6.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.200000000000000000e+01 0.000000000000000000e+00 5.400000000000000000e+01 0.000000000000000000e+00 5.600000000000000000e+01 4.100000000000000000e+01 4.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.600000000000000000e+01 4.700000000000000000e+01 4.800000000000000000e+01 3.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.600000000000000000e+01 3.700000000000000000e+01 3.800000000000000000e+01 3.900000000000000000e+01 4.000000000000000000e+01 0.000000000000000000e+00 2.600000000000000000e+01 2.700000000000000000e+01 2.800000000000000000e+01 2.900000000000000000e+01 3.000000000000000000e+01 3.100000000000000000e+01 3.200000000000000000e+01 1.700000000000000000e+01 1.800000000000000000e+01 1.900000000000000000e+01 2.000000000000000000e+01 2.100000000000000000e+01 2.200000000000000000e+01 2.300000000000000000e+01 2.400000000000000000e+01 9.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.200000000000000000e+01 0.000000000000000000e+00 1.400000000000000000e+01 1.500000000000000000e+01 1.600000000000000000e+01 1.000000000000000000e+00 2.000000000000000000e+00 3.000000000000000000e+00 4.000000000000000000e+00 5.000000000000000000e+00 6.000000000000000000e+00 0.000000000000000000e+00 8.000000000000000000e+00
+0.000000000000000000e+00 0.000000000000000000e+00 5.100000000000000000e+01 5.200000000000000000e+01 5.300000000000000000e+01 5.400000000000000000e+01 5.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.900000000000000000e+01 6.000000000000000000e+01 6.100000000000000000e+01 0.000000000000000000e+00 6.300000000000000000e+01 6.400000000000000000e+01 3.300000000000000000e+01 3.400000000000000000e+01 0.000000000000000000e+00 3.600000000000000000e+01 3.700000000000000000e+01 3.800000000000000000e+01 0.000000000000000000e+00 4.000000000000000000e+01 4.100000000000000000e+01 4.200000000000000000e+01 4.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.600000000000000000e+01 4.700000000000000000e+01 0.000000000000000000e+00 1.700000000000000000e+01 1.000000000000000000e+01 0.000000000000000000e+00 2.000000000000000000e+01 2.100000000000000000e+01 0.000000000000000000e+00 2.300000000000000000e+01 2.400000000000000000e+01 2.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 6.000000000000000000e+00 0.000000000000000000e+00 8.000000000000000000e+00 9.000000000000000000e+00 1.800000000000000000e+01 0.000000000000000000e+00 1.200000000000000000e+01 1.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.600000000000000000e+01
+4.100000000000000000e+01 0.000000000000000000e+00 4.300000000000000000e+01 4.400000000000000000e+01 0.000000000000000000e+00 4.600000000000000000e+01 4.700000000000000000e+01 4.800000000000000000e+01 3.300000000000000000e+01 3.400000000000000000e+01 3.500000000000000000e+01 3.600000000000000000e+01 0.000000000000000000e+00 3.800000000000000000e+01 0.000000000000000000e+00 4.000000000000000000e+01 5.700000000000000000e+01 5.800000000000000000e+01 0.000000000000000000e+00 6.000000000000000000e+01 6.100000000000000000e+01 6.200000000000000000e+01 6.300000000000000000e+01 6.400000000000000000e+01 4.900000000000000000e+01 0.000000000000000000e+00 5.100000000000000000e+01 5.200000000000000000e+01 5.300000000000000000e+01 0.000000000000000000e+00 5.500000000000000000e+01 5.600000000000000000e+01 9.000000000000000000e+00 1.800000000000000000e+01 1.100000000000000000e+01 1.200000000000000000e+01 1.300000000000000000e+01 1.400000000000000000e+01 1.500000000000000000e+01 1.600000000000000000e+01 0.000000000000000000e+00 2.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 7.000000000000000000e+00 8.000000000000000000e+00 2.500000000000000000e+01 2.600000000000000000e+01 0.000000000000000000e+00 2.800000000000000000e+01 2.900000000000000000e+01 3.000000000000000000e+01 3.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+01 1.900000000000000000e+01 2.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.400000000000000000e+01
+0.000000000000000000e+00 3.400000000000000000e+01 3.500000000000000000e+01 3.600000000000000000e+01 3.700000000000000000e+01 0.000000000000000000e+00 3.900000000000000000e+01 0.000000000000000000e+00 4.100000000000000000e+01 4.200000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.500000000000000000e+01 4.600000000000000000e+01 4.700000000000000000e+01 0.000000000000000000e+00 4.900000000000000000e+01 0.000000000000000000e+00 5.100000000000000000e+01 0.000000000000000000e+00 5.300000000000000000e+01 0.000000000000000000e+00 5.500000000000000000e+01 5.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.900000000000000000e+01 6.000000000000000000e+01 6.100000000000000000e+01 6.200000000000000000e+01 6.300000000000000000e+01 6.400000000000000000e+01 0.000000000000000000e+00 2.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 6.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 9.000000000000000000e+00 1.000000000000000000e+01 1.100000000000000000e+01 1.200000000000000000e+01 0.000000000000000000e+00 1.400000000000000000e+01 0.000000000000000000e+00 1.600000000000000000e+01 1.700000000000000000e+01 1.800000000000000000e+01 1.900000000000000000e+01 2.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.600000000000000000e+01 2.700000000000000000e+01 2.800000000000000000e+01 2.900000000000000000e+01 3.000000000000000000e+01 3.100000000000000000e+01 3.200000000000000000e+01
+2.500000000000000000e+01 2.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.900000000000000000e+01 3.000000000000000000e+01 0.000000000000000000e+00 3.200000000000000000e+01 1.700000000000000000e+01 1.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.200000000000000000e+01 0.000000000000000000e+00 2.400000000000000000e+01 9.000000000000000000e+00 0.000000000000000000e+00 1.100000000000000000e+01 0.000000000000000000e+00 1.300000000000000000e+01 1.400000000000000000e+01 0.000000000000000000e+00 1.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 7.000000000000000000e+00 8.000000000000000000e+00 5.700000000000000000e+01 0.000000000000000000e+00 5.900000000000000000e+01 6.000000000000000000e+01 6.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.900000000000000000e+01 5.000000000000000000e+01 5.100000000000000000e+01 0.000000000000000000e+00 5.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.600000000000000000e+01 4.100000000000000000e+01 4.200000000000000000e+01 0.000000000000000000e+00 4.400000000000000000e+01 4.500000000000000000e+01 4.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.300000000000000000e+01 3.400000000000000000e+01 3.500000000000000000e+01 3.600000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 4.000000000000000000e+01
+1.700000000000000000e+01 1.800000000000000000e+01 1.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 2.200000000000000000e+01 2.300000000000000000e+01 2.400000000000000000e+01 0.000000000000000000e+00 2.600000000000000000e+01 2.700000000000000000e+01 2.800000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 3.100000000000000000e+01 3.200000000000000000e+01 0.000000000000000000e+00 2.000000000000000000e+00 3.000000000000000000e+00 4.000000000000000000e+00 5.000000000000000000e+00 6.000000000000000000e+00 7.000000000000000000e+00 8.000000000000000000e+00 0.000000000000000000e+00 1.000000000000000000e+01 1.100000000000000000e+01 1.200000000000000000e+01 1.300000000000000000e+01 1.400000000000000000e+01 1.500000000000000000e+01 1.600000000000000000e+01 4.900000000000000000e+01 5.000000000000000000e+01 5.100000000000000000e+01 5.200000000000000000e+01 5.300000000000000000e+01 0.000000000000000000e+00 5.500000000000000000e+01 0.000000000000000000e+00 5.700000000000000000e+01 0.000000000000000000e+00 5.900000000000000000e+01 6.000000000000000000e+01 6.100000000000000000e+01 6.200000000000000000e+01 6.300000000000000000e+01 0.000000000000000000e+00 3.300000000000000000e+01 3.400000000000000000e+01 3.500000000000000000e+01 3.600000000000000000e+01 3.700000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.000000000000000000e+01 4.100000000000000000e+01 4.200000000000000000e+01 4.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.600000000000000000e+01 4.700000000000000000e+01 4.800000000000000000e+01
+0.000000000000000000e+00 1.000000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 7.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.700000000000000000e+01 2.800000000000000000e+01 2.900000000000000000e+01 3.000000000000000000e+01 3.100000000000000000e+01 3.200000000000000000e+01 1.700000000000000000e+01 0.000000000000000000e+00 1.900000000000000000e+01 0.000000000000000000e+00 2.100000000000000000e+01 2.200000000000000000e+01 2.300000000000000000e+01 2.400000000000000000e+01 0.000000000000000000e+00 4.200000000000000000e+01 4.300000000000000000e+01 4.400000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.700000000000000000e+01 4.800000000000000000e+01 3.300000000000000000e+01 3.400000000000000000e+01 3.500000000000000000e+01 3.600000000000000000e+01 0.000000000000000000e+00 3.800000000000000000e+01 3.900000000000000000e+01 0.000000000000000000e+00 5.700000000000000000e+01 5.800000000000000000e+01 5.900000000000000000e+01 6.000000000000000000e+01 6.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 5.100000000000000000e+01 0.000000000000000000e+00 5.300000000000000000e+01 5.400000000000000000e+01 5.500000000000000000e+01 5.600000000000000000e+01
+0.000000000000000000e+00 0.000000000000000000e+00 3.000000000000000000e+00 4.000000000000000000e+00 0.000000000000000000e+00 6.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 1.100000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.400000000000000000e+01 1.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 1.800000000000000000e+01 1.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.500000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 0.000000000000000000e+00 2.900000000000000000e+01 0.000000000000000000e+00 3.100000000000000000e+01 3.200000000000000000e+01 3.300000000000000000e+01 3.400000000000000000e+01 0.000000000000000000e+00 3.600000000000000000e+01 0.000000000000000000e+00 3.800000000000000000e+01 3.900000000000000000e+01 4.000000000000000000e+01 0.000000000000000000e+00 4.200000000000000000e+01 4.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 4.600000000000000000e+01 4.700000000000000000e+01 4.800000000000000000e+01 0.000000000000000000e+00 5.000000000000000000e+01 0.000000000000000000e+00 5.200000000000000000e+01 5.300000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 5.600000000000000000e+01 5.700000000000000000e+01 5.800000000000000000e+01 5.900000000000000000e+01 0.000000000000000000e+00 0.000000000000000000e+00 6.200000000000000000e+01 6.300000000000000000e+01 6.400000000000000000e+01