Scripts for running all the benchmarks + configurable serialization

diff --git a/.gitignore b/.gitignore
index ad2688d7c2c5758ee75e8855fa88d7c92d30e6b6..50d481c561e07f050658c71a777473d2afb7e82c 100644 (file)
--- 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 (executable)
index 0000000..22ce8b2
--- /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 361d3e6bac2403b0e1b9923a02b2ca5eb4b017b4..1ebec590c937482287e27b99a6b2190999686c3e 100755 (executable)
--- 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 054daa106a70f945aa093e14ab6ac710c762c790..fbccbc27d74b4ece9ff67a5e5cbaf057aa5a47dc 100644 (file)
--- a/killerSudoku/KillerSudokuGenerator.py
+++ b/killerSudoku/KillerSudokuGenerator.py
@@ -211,6 +211,10 @@ def outputKillerSudoku(filename):
 \r
 def main():\r
     filename = None\r
+    if len(sys.argv <1):\r
+        print "input file is missing\n killerSolver problems/9x9-20.problem --dump"\r
+        sys.exit()\r
+    \r
     if(len(sys.argv[1:]) == 0):\r
         filename = "Sudokus.txt"\r
     outputKillerSudoku(filename)\r

diff --git a/killerSudoku/argprocessor.py b/killerSudoku/argprocessor.py
index 8a24f20fb0898b3c7b3b6b1205a70a92a6309c9f..c748e5588566c543b7191ebba093a2d9c8831e71 100644 (file)
--- 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 (executable)
index 0000000..90da937
--- /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 9391c6a6eb166c5e840a2bab1b589a7741703675..7984a757929e0197b7adb627b7d19fa99dcd59dd 100644 (file)
--- 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 678f680cbb6f791456f1262c6a634ba64afc16a0..bf4dbec073de3ce86464fbf005a373954a65e2d1 100644 (file)
--- 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 (executable)
index 0000000..c3cb80c
--- /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 48b1068c03bcce6adb724b1d0722eaffa77cb04c..24f452333efdaa9db4b877aa86bbad37924bb0a6 100644 (file)
--- 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 (executable)
index 0000000..2039958
--- /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 (executable)
index 0000000..debeb34
--- /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 31dfede482ace9253d418b93340c3133bb224b73..648641e1048bed3b9770e4247d7910ee68020ea4 100644 (file)
--- 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 c0cd372f88e8ba9d81802dec0b13311598f36878..e07154d137993c8fd5ba2584c13e3c8646297459 100644 (file)
--- 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 (executable)
index 0000000..683d2c3
--- /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 f2e732873b73addc738dcd0fae7acb43219f9525..f61a040cc0229f246580fbca4952cf0a3b3ec917 100644 (file)
--- 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 (file)
index f599e02..0000000
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 (file)
index e198845..0000000
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 (file)
index 12e545f..0000000
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 (file)
index b4749f2..0000000
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 (file)
index 5fb4860..0000000
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 (file)
index 5ecf1b9..0000000
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 (file)
index e29df22..0000000
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 (file)
index 52bbc15..0000000
--- 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 (file)
index 8a8ce23..0000000
--- 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 (file)
index 47c5606..0000000
--- 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 (file)
index 7f7b7d9..0000000
--- 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 (file)
index 749d43b..0000000
--- 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 (file)
index 12b29c9..0000000
--- 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 (file)
index fbf1ea7..0000000
--- 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 (file)
index c0f1f8d..0000000
--- 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 (file)
index 18df738..0000000
--- 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 (file)
index 0000000..6d0c0c7
--- /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