About the Execution of ITS-Tools for LeafsetExtension-PT-S64C3
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 48366.00 | 0.00 | 0.00 | FTTTTTTFTTTTTTTF | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r114-tall-174876423400791.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5832
Executing tool itstools
Input is LeafsetExtension-PT-S64C3, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r114-tall-174876423400791
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 16K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 113K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.9K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.6K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.9K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 104K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 6 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 14M May 29 14:32 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-00
FORMULA_NAME LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-01
FORMULA_NAME LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-02
FORMULA_NAME LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-03
FORMULA_NAME LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-04
FORMULA_NAME LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-05
FORMULA_NAME LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-06
FORMULA_NAME LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-07
FORMULA_NAME LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-08
FORMULA_NAME LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-09
FORMULA_NAME LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-10
FORMULA_NAME LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-11
FORMULA_NAME LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-12
FORMULA_NAME LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-13
FORMULA_NAME LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-14
FORMULA_NAME LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-15
=== Now, execution of the tool begins
BK_START 1748902991606
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=LeafsetExtension-PT-S64C3
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
ReachabilityFireability PT
Running Version 202505121319
[2025-06-02 22:23:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2025-06-02 22:23:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-02 22:23:13] [INFO ] Load time of PNML (sax parser for PT used): 698 ms
[2025-06-02 22:23:13] [INFO ] Transformed 21462 places.
[2025-06-02 22:23:13] [INFO ] Transformed 21129 transitions.
[2025-06-02 22:23:14] [INFO ] Parsed PT model containing 21462 places and 21129 transitions and 67740 arcs in 924 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 19 ms.
Working with output stream class java.io.PrintStream
RANDOM walk for 40000 steps (1545 resets) in 4019 ms. (9 steps per ms) remains 6/16 properties
FORMULA LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-15 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-10 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-08 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-07 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-00 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (56 resets) in 277 ms. (143 steps per ms) remains 5/6 properties
FORMULA LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-13 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 40004 steps (56 resets) in 287 ms. (138 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (55 resets) in 353 ms. (113 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (54 resets) in 427 ms. (93 steps per ms) remains 4/5 properties
FORMULA LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-11 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 40004 steps (54 resets) in 201 ms. (198 steps per ms) remains 4/4 properties
// Phase 1: matrix 21129 rows 21462 cols
[2025-06-02 22:23:16] [INFO ] Flatten gal took : 1426 ms
[2025-06-02 22:23:17] [INFO ] Flatten gal took : 633 ms
[2025-06-02 22:23:17] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11217423039289917300.gal : 178 ms
[2025-06-02 22:23:17] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1706367603961731670.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality11217423039289917300.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality1706367603961731670.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
[2025-06-02 22:23:18] [INFO ] Computed 333 invariants in 2840 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/5 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 14413/14418 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Loading property file /tmp/ReachabilityCardinality1706367603961731670.prop.
At refinement iteration 2 (INCLUDED_ONLY) 0/14418 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Error getting values : (error "ParserException while parsing response: ((s0 0.0)
(s1 1.0)
(s2 0.0)
(s3 0.0)
(s4 0.0)
(s6 0.0)
(s8 0.0)
(s9 0.0)
(s11 0.0)
(s13 0.0)
(s14 0.0)
(s16 0.0)
(s18 0.0)
(s19 0.0)
(s21 0.0)
(s23 0.0)
(s24 0.0)
(s26 0.0)
(s28 0.0)
(s29 0.0)
(s31 0.0)
(s33 0.0)
(s34 0.0)
(s36 0.0)
(s38 0.0)
(s39 0.0)
(s41 0.0)
(s43 0.0)
(s44 0.0)
(s46 0.0)
(s48 0.0)
(s49 0.0)
(s51 0.0)
(s53 0.0)
(s54 0.0)
(s56 0.0)
(s58 0.0)
(s59 0.0)
(s61 0.0)
(s63 0.0)
(s64 0.0)
(s65 0.0)
(s66 0.0)
(s67 0.0)
(s68 0.0)
(s69 0.0)
(s71 0.0)
(s73 0.0)
(s74 0.0)
(s76 0.0)
(s78 0.0)
(s79 0.0)
(s81 0.0)
(s83 0.0)
(s84 0.0)
(s86 0.0)
(s88 0.0)
(s89 0.0)
(s91 0.0)
(s93 0.0)
(s94 0.0)
(s96 0.0)
(s99 0.0)
(s101 0.0)
(s103 0.0)
(s104 0.0)
(s106 0.0)
(s108 0.0)
(s109 0.0)
(s111 0.0)
(s113 0.0)
(s114 0.0)
(s116 0.0)
(s118 0.0)
(s119 0.0)
(s121 0.0)
(s123 0.0)
(s124 0.0)
(s126 0.0)
(s129 0.0)
(s131 0.0)
(s133 0.0)
(s134 0.0)
(s136 0.0)
(s139 0.0)
(s141 0.0)
(s144 0.0)
(s146 0.0)
(s148 0.0)
(s149 0.0)
(s151 0.0)
(s154 0.0)
(s156 0.0)
(s159 0.0)
(s161 0.0)
(s163 0.0)
(s164 0.0)
(s166 0.0)
(s168 0.0)
(s169 0.0)
(s171 0.0)
(s174 0.0)
(s175 0.0)
(s176 0.0)
(s177 0.0)
(s179 0.0)
(s181 0.0)
(s184 0.0)
(s186 0.0)
(s188 0.0)
(s189 0.0)
(s190 0.0)
(s191 0.0)
(s192 0.0)
(s193 0.0)
(s194 0.0)
(s196 0.0)
(s198 0.0)
(s199 0.0)
(s201 0.0)
(s204 0.0)
(s206 0.0)
(s209 0.0)
(s211 0.0)
(s214 0.0)
(s216 0.0)
(s218 0.0)
(s219 0.0)
(s221 0.0)
(s224 0.0)
(s226 0.0)
(s229 0.0)
(s231 0.0)
(s234 0.0)
(s236 0.0)
(s239 0.0)
(s241 0.0)
(s244 0.0)
(s246 0.0)
(s248 0.0)
(s249 0.0)
(s251 0.0)
(s253 0.0)
(s254 0.0)
(s256 0.0)
(s259 0.0)
(s261 0.0)
(s264 0.0)
(s266 0.0)
(s269 0.0)
(s271 0.0)
(s274 0.0)
(s276 0.0)
(s279 0.0)
(s281 0.0)
(s284 0.0)
(s286 0.0)
(s289 0.0)
(s291 0.0)
(s294 0.0)
(s296 0.0)
(s299 0.0)
(s301 0.0)
(s304 0.0)
(s306 0.0)
(s309 0.0)
(s311 0.0)
(s314 0.0)
(s316 0.0)
(s319 0.0)
(s321 0.0)
(s323 0.0)
(s324 0.0)
(s325 0.0)
(s326 0.0)
(s327 0.0)
(s329 1.0)
(s330 0.0)
(s331 0.0)
(s332 0.0)
(s334 0.0)
(s335 0.0)
(s336 0.0)
(s337 0.0)
(s338 0.0)
(s339 0.0)
(s341 0.0)
(s342 0.0)
(s343 0.0)
(s344 0.0)
(s346 0.0)
(s347 0.0)
(s348 0.0)
(s349 0.0)
(s351 0.0)
(s352 0.0)
(s353 0.0)
(s354 0.0)
(s356 0.0)
(s357 0.0)
(s358 0.0)
(s359 0.0)
(s361 0.0)
(s362 0.0)
(s363 0.0)
(s364 0.0)
(s366 0.0)
(s367 0.0)
(s368 0.0)
(s369 0.0)
(s371 0.0)
(s372 0.0)
(s373 0.0)
(s374 0.0)
(s376 0.0)
(s377 0.0)
(s378 0.0)
(s379 0.0)
(s381 0.0)
(s382 0.0)
(s383 0.0)
(s384 0.0)
(s386 0.0)
(s387 0.0)
(s388 0.0)
(s389 0.0)
(s391 0.0)
(s392 0.0)
(s393 0.0)
(s394 0.0)
(s395 0.0)
(s396 0.0)
(s397 0.0)
(s398 0.0)
(s399 0.0)
(s401 0.0)
(s402 0.0)
(s403 0.0)
(s404 0.0)
(s406 0.0)
(s407 0.0)
(s408 0.0)
(s409 0.0)
(s411 0.0)
(s412 0.0)
(s413 0.0)
(s414 0.0)
(s416 0.0)
(s417 0.0)
(s418 0.0)
(s419 0.0)
(s421 0.0)
(s422 0.0)
(s423 0.0)
(s424 0.0)
(s427 0.0)
(s428 0.0)
(s429 0.0)
(s431 0.0)
(s432 0.0)
(s433 0.0)
(s434 0.0)
(s436 0.0)
(s437 0.0)
(s438 0.0)
(s439 0.0)
(s441 0.0)
(s442 0.0)
(s443 0.0)
(s444 0.0)
(s446 0.0)
(s447 0.0)
(s448 0.0)
(s449 0.0)
(s451 0.0)
(s452 0.0)
(s453 0.0)
(s454 0.0)
(s457 0.0)
(s458 0.0)
(s459 0.0)
(s461 0.0)
(s462 0.0)
(s463 0.0)
(s464 0.0)
(s467 0.0)
(s468 0.0)
(s469 0.0)
(s472 0.0)
(s473 0.0)
(s474 0.0)
(s476 0.0)
(s477 0.0)
(s478 0.0)
(s479 0.0)
(s482 0.0)
(s483 0.0)
(s484 0.0)
(s487 0.0)
(s488 0.0)
(s489 0.0)
(s491 0.0)
(s492 0.0)
(s494 0.0)
(s496 0.0)
(s497 0.0)
(s499 0.0)
(s502 0.0)
(s503 0.0)
(s504 0.0)
(s505 0.0)
(s507 0.0)
(s509 0.0)
(s512 0.0)
(s514 0.0)
(s516 0.0)
(s517 0.0)
(s518 0.0)
(s519 0.0)
(s520 0.0)
(s521 0.0)
(s522 0.0)
(s524 0.0)
(s526 0.0)
(s527 0.0)
(s529 0.0)
(s532 0.0)
(s534 0.0)
(s537 0.0)
(s539 0.0)
(s542 0.0)
(s544 0.0)
(s546 0.0)
(s547 0.0)
(s549 0.0)
(s552 0.0)
(s554 0.0)
(s557 0.0)
(s559 0.0)
(s562 0.0)
(s564 0.0)
(s567 0.0)
(s569 0.0)
(s572 0.0)
(s574 0.0)
(s576 0.0)
(s577 0.0)
(s579 0.0)
(s581 0.0)
(s582 0.0)
(s584 0.0)
(s587 0.0)
(s589 0.0)
(s592 0.0)
(s594 0.0)
(s597 0.0)
(s599 0.0)
(s602 0.0)
(s604 0.0)
(s607 0.0)
(s609 0.0)
(s612 0.0)
(s614 0.0)
(s617 0.0)
(s619 0.0)
(s622 0.0)
(s624 0.0)
(s627 0.0)
(s629 0.0)
(s632 0.0)
(s634 0.0)
(s637 0.0)
(s639 0.0)
(s642 0.0)
(s644 0.0)
(s647 0.0)
(s649 0.0)
(s651 0.0)
(s652 0.0)
(s653 0.0)
(s654 0.0)
(s655 0.0)
(s657 1.0)
(s658 0.0)
(s659 0.0)
(s660 0.0)
(s662 0.0)
(s663 0.0)
(s664 0.0)
(s665 0.0)
(s666 0.0)
(s667 0.0)
(s669 0.0)
(s670 0.0)
(s671 0.0)
(s672 0.0)
(s674 0.0)
(s675 0.0)
(s676 0.0)
(s677 0.0)
(s679 0.0)
(s680 0.0)
(s681 0.0)
(s682 0.0)
(s684 0.0)
(s685 0.0)
(s686 0.0)
(s687 0.0)
(s689 0.0)
(s690 0.0)
(s691 0.0)
(s692 0.0)
(s694 0.0)
(s695 0.0)
(s696 0.0)
(s697 0.0)
(s699 0.0)
(s700 0.0)
(s701 0.0)
(s702 0.0)
(s704 0.0)
(s705 0.0)
(s706 0.0)
(s707 0.0)
(s709 0.0)
(s710 0.0)
(s711 0.0)
(s712 0.0)
(s714 0.0)
(s715 0.0)
(s716 0.0)
(s717 0.0)
(s719 0.0)
(s720 0.0)
(s721 0.0)
(s722 0.0)
(s723 0.0)
(s724 0.0)
(s725 0.0)
(s726 0.0)
(s727 0.0)
(s729 0.0)
(s730 0.0)
(s731 0.0)
(s732 0.0)
(s734 0.0)
(s735 0.0)
(s736 0.0)
(s737 0.0)
(s739 0.0)
(s740 0.0)
(s741 0.0)
(s742 0.0)
(s744 0.0)
(s745 0.0)
(s746 0.0)
(s747 0.0)
(s749 0.0)
(s750 0.0)
(s751 0.0)
(s752 0.0)
(s755 0.0)
(s756 0.0)
(s757 0.0)
(s759 0.0)
(s760 0.0)
(s761 0.0)
(s762 0.0)
(s764 0.0)
(s765 0.0)
(s766 0.0)
(s767 0.0)
(s769 0.0)
(s770 0.0)
(s771 0.0)
(s772 0.0)
(s774 0.0)
(s775 0.0)
(s776 0.0)
(s777 0.0)
(s779 0.0)
(s780 0.0)
(s781 0.0)
(s782 0.0)
(s785 0.0)
(s786 0.0)
(s787 0.0)
(s789 0.0)
(s790 0.0)
(s791 0.0)
(s792 0.0)
(s795 0.0)
(s796 0.0)
(s797 0.0)
(s800 0.0)
(s801 0.0)
(s802 0.0)
(s804 0.0)
(s805 0.0)
(s806 0.0)
(s807 0.0)
(s810 0.0)
(s811 0.0)
(s812 0.0)
(s815 0.0)
(s816 0.0)
(s817 0.0)
(s819 0.0)
(s820 0.0)
(s822 0.0)
(s824 0.0)
(s825 0.0)
(s827 0.0)
(s830 0.0)
(s831 0.0)
(s832 0.0)
(s833 0.0)
(s835 0.0)
(s837 0.0)
(s840 0.0)
(s842 0.0)
(s844 0.0)
(s845 0.0)
(s846 0.0)
(s847 0.0)
(s848 0.0)
(s849 0.0)
(s850 0.0)
(s852 0.0)
(s854 0.0)
(s855 0.0)
(s857 0.0)
(s860 0.0)
(s862 0.0)
(s865 0.0)
(s867 0.0)
(s870 0.0)
(s872 0.0)
(s874 0.0)
(s875 0.0)
(s877 0.0)
(s880 0.0)
(s882 0.0)
(s885 0.0)
(s887 0.0)
(s890 0.0)
(s892 0.0)
(s895 0.0)
(s897 0.0)
(s900 0.0)
(s902 0.0)
(s904 0.0)
(s905 0.0)
(s907 0.0)
(s909 0.0)
(s910 0.0)
(s912 0.0)
(s915 0.0)
(s917 0.0)
(s920 0.0)
(s922 0.0)
(s925 0.0)
(s927 0.0)
(s930 0.0)
(s932 0.0)
(s935 0.0)
(s937 0.0)
(s940 0.0)
(s942 0.0)
(s945 0.0)
(s947 0.0)
(s950 0.0)
(s952 0.0)
(s955 0.0)
(s957 0.0)
(s960 0.0)
(s962 0.0)
(s965 0.0)
(s967 0.0)
(s970 0.0)
(s972 0.0)
(s975 0.0)
(s977 0.0)
(s979 0.0)
(s980 0.0)
(s981 0.0)
(s982 0.0)
(s983 0.0)
(s985 1.0)
(s986 0.0)
(s987 0.0)
(s988 0.0)
(s990 0.0)
(s991 0.0)
(s992 0.0)
(s993 0.0)
(s994 0.0)
(s995 0.0)
(s997 0.0)
(s998 0.0)
(s999 0.0)
(s1000 0.0)
(s1002 0.0)
(s1003 0.0)
(s1004 0.0)
(s1005 0.0)
(s1007 0.0)
(s1008 0.0)
(s1009 0.0)
(s1010 0.0)
(s1012 0.0)
(s1013 0.0)
(s1014 0.0)
(s1015 0.0)
(s1017 0.0)
(s1018 0.0)
(s1019 0.0)
(s1020 0.0)
(s1022 0.0)
(s1023 0.0)
(s1024 0.0)
(s1025 0.0)
(s1027 0.0)
(s1028 0.0)
(s1029 0.0)
(s1030 0.0)
(s1032 0.0)
(s1033 0.0)
(s1034 0.0)
(s1035 0.0)
(s1037 0.0)
(s1038 0.0)
(s1039 0.0)
(s1040 0.0)
(s1042 0.0)
(s1043 0.0)
(s1044 0.0)
(s1045 0.0)
(s1047 0.0)
(s1048 0.0)
(s1049 0.0)
(s1050 0.0)
(s1051 0.0)
(s1052 0.0)
(s1053 0.0)
(s1054 0.0)
(s1055 0.0)
(s1057 0.0)
(s1058 0.0)
(s1059 0.0)
(s1060 0.0)
(s1062 0.0)
(s1063 0.0)
(s1064 0.0)
(s1065 0.0)
(s1067 0.0)
(s1068 0.0)
(s1069 0.0)
(s1070 0.0)
(s1072 0.0)
(s1073 0.0)
(s1074 0.0)
(s1075 0.0)
(s1077 0.0)
(s1078 0.0)
(s1079 0.0)
(s1080 0.0)
(s1083 0.0)
(s1084 0.0)
(s1085 0.0)
(s1087 0.0)
(s1088 0.0)
(s1089 0.0)
(s1090 0.0)
(s1092 0.0)
(s1093 0.0)
(s1094 0.0)
(s1095 0.0)
(s1097 0.0)
(s1098 0.0)
(s1099 0.0)
(s1100 0.0)
(s1102 0.0)
(s1103 0.0)
(s1104 0.0)
(s1105 0.0)
(s1107 0.0)
(s1108 0.0)
(s1109 0.0)
(s1110 0.0)
(s1113 0.0)
(s1114 0.0)
(s1115 0.0)
(s1117 0.0)
(s1118 0.0)
(s1119 0.0)
(s1120 0.0)
(s1123 0.0)
(s1124 0.0)
(s1125 0.0)
(s1128 0.0)
(s1129 0.0)
(s1130 0.0)
(s1132 0.0)
(s1133 0.0)
(s1134 0.0)
(s1135 0.0)
(s1138 0.0)
(s1139 0.0)
(s1140 0.0)
(s1143 0.0)
(s1144 0.0)
(s1145 0.0)
(s1147 0.0)
(s1148 0.0)
(s1150 0.0)
(s1152 0.0)
(s1153 0.0)
(s1155 0.0)
(s1158 0.0)
(s1159 0.0)
(s1160 0.0)
(s1161 0.0)
(s1163 0.0)
(s1165 0.0)
(s1168 0.0)
(s1170 0.0)
(s1172 0.0)
(s1173 0.0)
(s1174 0.0)
(s1175 0.0)
(s1176 0.0)
(s1177 0.0)
(s1178 0.0)
(s1180 0.0)
(s1182 0.0)
(s1183 0.0)
(s1185 0.0)
(s1188 0.0)
(s1190 0.0)
(s1193 0.0)
(s1195 0.0)
(s1198 0.0)
(s1200 0.0)
(s1202 0.0)
(s1203 0.0)
(s1205 0.0)
(s1208 0.0)
(s1210 0.0)
(s1213 0.0)
(s1215 0.0)
(s1218 0.0)
(s1220 0.0)
(s1223 0.0)
(s1225 0.0)
(s1228 0.0)
(s1230 0.0)
(s1232 0.0)
(s1233 0.0)
(s1235 0.0)
(s1237 0.0)
(s1238 0.0)
(s1240 0.0)
(s1243 0.0)
(s1245 0.0)
(s1248 0.0)
(s1250 0.0)
(s1253 0.0)
(s1255 0.0)
(s1258 0.0)
(s1260 0.0)
(s1263 0.0)
(s1265 0.0)
(s1268 0.0)
(s1270 0.0)
(s1273 0.0)
(s1275 0.0)
(s1278 0.0)
(s1280 0.0)
(s1283 0.0)
(s1285 0.0)
(s1288 0.0)
(s1290 0.0)
(s1293 0.0)
(s1295 0.0)
(s1298 0.0)
(s1300 0.0)
(s1303 0.0)
(s1305 0.0)
(s1307 0.0)
(s1308 0.0)
(s1309 0.0)
(s1310 0.0)
(s1311 0.0)
(s1313 1.0)
(s1314 0.0)
(s1315 0.0)
(s1316 0.0)
(s1318 0.0)
(s1319 0.0)
(s1320 0.0)
(s1321 0.0)
(s1322 0.0)
(s1323 0.0)
(s1325 0.0)
(s1326 0.0)
(s1327 0.0)
(s1328 0.0)
(s1330 0.0)
(s1331 0.0)
(s1332 0.0)
(s1333 0.0)
(s1335 0.0)
(s1336 0.0)
(s1337 0.0)
(s1338 0.0)
(s1340 0.0)
(s1341 0.0)
(s1342 0.0)
(s1343 0.0)
(s1345 0.0)
(s1346 0.0)
(s1347 0.0)
(s1348 0.0)
(s1350 0.0)
(s1351 0.0)
(s1352 0.0)
(s1353 0.0)
(s1355 0.0)
(s1356 0.0)
(s1357 0.0)
(s1358 0.0)
(s1360 0.0)
(s1361 0.0)
(s1362 0.0)
(s1363 0.0)
(s1365 0.0)
(s1366 0.0)
(s1367 0.0)
(s1368 0.0)
(s1370 0.0)
(s1371 0.0)
(s1372 0.0)
(s1373 0.0)
(s1375 0.0)
(s1376 0.0)
(s1377 0.0)
(s1378 0.0)
(s1379 0.0)
(s1380 0.0)
(s1381 0.0)
(s1382 0.0)
(s1383 0.0)
(s1385 0.0)
(s1386 0.0)
(s1387 0.0)
(s1388 0.0)
(s1390 0.0)
(s1391 0.0)
(s1392 0.0)
(s1393 0.0)
(s1395 0.0)
(s1396 0.0)
(s1397 0.0)
(s1398 0.0)
(s1400 0.0)
(s1401 0.0)
(s1402 0.0)
(s1403 0.0)
(s1405 0.0)
(s1406 0.0)
(s1407 0.0)
(s1408 0.0)
(s1411 0.0)
(s1412 0.0)
(s1413 0.0)
(s1415 0.0)
(s1416 0.0)
(s1417 0.0)
(s1418 0.0)
(s1420 0.0)
(s1421 0.0)
(s1422 0.0)
(s1423 0.0)
(s1425 0.0)
(s1426 0.0)
(s1427 0.0)
(s1428 0.0)
(s1430 0.0)
(s1431 0.0)
(s1432 0.0)
(s1433 0.0)
(s1435 0.0)
(s1436 0.0)
(s1437 0.0)
(s1438 0.0)
(s1441 0.0)
(s1442 0.0)
(s1443 0.0)
(s1445 0.0)
(s1446 0.0)
(s1447 0.0)
(s1448 0.0)
(s1451 0.0)
(s1452 0.0)
(s1453 0.0)
(s1456 0.0)
(s1457 0.0)
(s1458 0.0)
(s1460 0.0)
(s1461 0.0)
(s1462 0.0)
(s1463 0.0)
(s1466 0.0)
(s1467 0.0)
(s1468 0.0)
(s1471 0.0)
(s1472 0.0)
(s1473 0.0)
(s1475 0.0)
(s1476 0.0)
(s1478 0.0)
(s1480 0.0)
(s1481 0.0)
(s1483 0.0)
(s1486 0.0)
(s1487 0.0)
(s1488 0.0)
(s1489 0.0)
(s1491 0.0)
(s1493 0.0)
(s1496 0.0)
(s1498 0.0)
(s1500 0.0)
(s1501 0.0)
(s1502 0.0)
(s1503 0.0)
(s1504 0.0)
(s1505 0.0)
(s1506 0.0)
(s1508 0.0)
(s1510 0.0)
(s1511 0.0)
(s1513 0.0)
(s1516 0.0)
(s1518 0.0)
(s1521 0.0)
(s1523 0.0)
(s1526 0.0)
(s1528 0.0)
(s1530 0.0)
(s1531 0.0)
(s1533 0.0)
(s1536 0.0)
(s1538 0.0)
(s1541 0.0)
(s1543 0.0)
(s1546 0.0)
(s1548 0.0)
(s1551 0.0)
(s1553 0.0)
(s1556 0.0)
(s1558 0.0)
(s1560 0.0)
(s1561 0.0)
(s1563 0.0)
(s1565 0.0)
(s1566 0.0)
(s1568 0.0)
(s1571 0.0)
(s1573 0.0)
(s1576 0.0)
(s1578 0.0)
(s1581 0.0)
(s1583 0.0)
(s1586 0.0)
(s1588 0.0)
(s1591 0.0)
(s1593 0.0)
(s1596 0.0)
(s1598 0.0)
(s1601 0.0)
(s1603 0.0)
(s1606 0.0)
(s1608 0.0)
(s1611 0.0)
(s1613 0.0)
(s1616 0.0)
(s1618 0.0)
(s1621 0.0)
(s1623 0.0)
(s1626 0.0)
(s1628 0.0)
(s1631 0.0)
(s1633 0.0)
(s1635 0.0)
(s1636 0.0)
(s1637 0.0)
(s1638 0.0)
(s1639 0.0)
(s1641 1.0)
(s1642 0.0)
(s1643 0.0)
(s1644 0.0)
(s1646 0.0)
(s1647 0.0)
(s1648 0.0)
(s1649 0.0)
(s1650 0.0)
(s1651 0.0)
(s1653 0.0)
(s1654 0.0)
(s1655 0.0)
(s1656 0.0)
(s1658 0.0)
(s1659 0.0)
(s1660 0.0)
(s1661 0.0)
(s1663 0.0)
(s1664 0.0)
(s1665 0.0)
(s1666 0.0)
(s1668 0.0)
(s1669 0.0)
(s1670 0.0)
(s1671 0.0)
(s1673 0.0)
(s1674 0.0)
(s1675 0.0)
(s1676 0.0)
(s1678 0.0)
(s1679 0.0)
(s1680 0.0)
(s1681 0.0)
(s1683 0.0)
(s1684 0.0)
(s1685 0.0)
(s1686 0.0)
(s1688 0.0)
(s1689 0.0)
(s1690 0.0)
(s1691 0.0)
(s1693 0.0)
(s1694 0.0)
(s1695 0.0)
(s1696 0.0)
(s1698 0.0)
(s1699 0.0)
(s1700 0.0)
(s1701 0.0)
(s1703 0.0)
(s1704 0.0)
(s1705 0.0)
(s1706 0.0)
(s1707 0.0)
(s1708 0.0)
(s1709 0.0)
(s1710 0.0)
(s1711 0.0)
(s1713 0.0)
(s1714 0.0)
(s1715 0.0)
(s1716 0.0)
(s1718 0.0)
(s1719 0.0)
(s1720 0.0)
(s1721 0.0)
(s1723 0.0)
(s1724 0.0)
(s1725 0.0)
(s1726 0.0)
(s1728 0.0)
(s1729 0.0)
(s1730 0.0)
(s1731 0.0)
(s1733 0.0)
(s1734 0.0)
(s1735 0.0)
(s1736 0.0)
(s1739 0.0)
(s1740 0.0)
(s1741 0.0)
(s1743 0.0)
(s1744 0.0)
(s1745 0.0)
(s1746 0.0)
(s1748 0.0)
(s1749 0.0)
(s1750 0.0)
(s1751 0.0)
(s1753 0.0)
(s1754 0.0)
(s1755 0.0)
(s1756 0.0)
(s1758 0.0)
(s1759 0.0)
(s1760 0.0)
(s1761 0.0)
(s1763 0.0)
(s1764 0.0)
(s1765 0.0)
(s1766 0.0)
(s1769 0.0)
(s1770 0.0)
(s1771 0.0)
(s1773 0.0)
(s1774 0.0)
(s1775 0.0)
(s1776 0.0)
(s1779 0.0)
(s1780 0.0)
(s1781 0.0)
(s1784 0.0)
(s1785 0.0)
(s1786 0.0)
(s1788 0.0)
(s1789 0.0)
(s1790 0.0)
(s1791 0.0)
(s1794 0.0)
(s1795 0.0)
(s1796 0.0)
(s1799 0.0)
(s1800 0.0)
(s1801 0.0)
(s1803 0.0)
(s1804 0.0)
(s1806 0.0)
(s1808 0.0)
(s1809 0.0)
(s1811 0.0)
(s1814 0.0)
(s1815 0.0)
(s1816 0.0)
(s1817 0.0)
(s1819 0.0)
(s1821 0.0)
(s1824 0.0)
(s1826 0.0)
(s1828 0.0)
(s1829 0.0)
(s1830 0.0)
(s1831 0.0)
(s1832 0.0)
(s1833 0.0)
(s1834 0.0)
(s1836 0.0)
(s1838 0.0)
(s1839 0.0)
(s1841 0.0)
(s1844 0.0)
(s1846 0.0)
(s1849 0.0)
(s1851 0.0)
(s1854 0.0)
(s1856 0.0)
(s1858 0.0)
(s1859 0.0)
(s1861 0.0)
(s1864 0.0)
(s1866 0.0)
(s1869 0.0)
(s1871 0.0)
(s1874 0.0)
(s1876 0.0)
(s1879 0.0)
(s1881 0.0)
(s1884 0.0)
(s1886 0.0)
(s1888 0.0)
(s1889 0.0)
(s1891 0.0)
(s1893 0.0)
(s1894 0.0)
(s1896 0.0)
(s1899 0.0)
(s1901 0.0)
(s1904 0.0)
(s1906 0.0)
(s1909 0.0)
(s1911 0.0)
(s1914 0.0)
(s1916 0.0)
(s1919 0.0)
(s1921 0.0)
(s1924 0.0)
(s1926 0.0)
(s1929 0.0)
(s1931 0.0)
(s1934 0.0)
(s1936 0.0)
(s1939 0.0)
(s1941 0.0)
(s1944 0.0)
(s1946 0.0)
(s1949 0.0)
(s1951 0.0)
(s1954 0.0)
(s1956 0.0)
(s1959 0.0)
(s1961 0.0)
(s1963 0.0)
(s1964 0.0)
(s1965 0.0)
(s1966 0.0)
(s1967 0.0)
(s1969 1.0)
(s1970 0.0)
(s1971 0.0)
(s1972 0.0)
(s1974 0.0)
(s1975 0.0)
(s1976 0.0)
(s1977 0.0)
(s1978 0.0)
(s1979 0.0)
(s1981 0.0)
(s1982 0.0)
(s1983 0.0)
(s1984 0.0)
(s1986 0.0)
(s1987 0.0)
(s1988 0.0)
(s1989 0.0)
(s1991 0.0)
(s1992 0.0)
(s1993 0.0)
(s1994 0.0)
(s1996 0.0)
(s1997 0.0)
(s1998 0.0)
(s1999 0.0)
(s2001 0.0)
(s2002 0.0)
(s2003 0.0)
(s2004 0.0)
(s2006 0.0)
(s2007 0.0)
(s2008 0.0)
(s2009 0.0)
(s2011 0.0)
(s2012 0.0)
(s2013 0.0)
(s2014 0.0)
(s2016 0.0)
(s2017 0.0)
(s2018 0.0)
(s2019 0.0)
(s2021 0.0)
(s2022 0.0)
(s2023 0.0)
(s2024 0.0)
(s2026 0.0)
(s2027 0.0)
(s2028 0.0)
(s2029 0.0)
(s2031 0.0)
(s2032 0.0)
(s2033 0.0)
(s2034 0.0)
(s2035 0.0)
(s2036 0.0)
(s2037 0.0)
(s2038 0.0)
(s2039 0.0)
(s2041 0.0)
(s2042 0.0)
(s2043 0.0)
(s2044 0.0)
(s2046 0.0)
(s2047 0.0)
(s2048 0.0)
(s2049 0.0)
(s2051 0.0)
(s2052 0.0)
(s2053 0.0)
(s2054 0.0)
(s2056 0.0)
(s2057 0.0)
(s2058 0.0)
(s2059 0.0)
(s2061 0.0)
(s2062 0.0)
(s2063 0.0)
(s2064 0.0)
(s2067 0.0)
(s2068 0.0)
(s2069 0.0)
(s2071 0.0)
(s2072 0.0)
(s2073 0.0)
(s2074 0.0)
(s2076 0.0)
(s2077 0.0)
(s2078 0.0)
(s2079 0.0)
(s2081 0.0)
(s2082 0.0)
(s2083 0.0)
(s2084 0.0)
(s2086 0.0)
(s2087 0.0)
(s2088 0.0)
(s2089 0.0)
(s2091 0.0)
(s2092 0.0)
(s2093 0.0)
(s2094 0.0)
(s2097 0.0)
(s2098 0.0)
(s2099 0.0)
(s2101 0.0)
(s2102 0.0)
(s2103 0.0)
(s2104 0.0)
(s2107 0.0)
(s2108 0.0)
(s2109 0.0)
(s2112 0.0)
(s2113 0.0)
(s2114 0.0)
(s2116 0.0)
(s2117 0.0)
(s2118 0.0)
(s2119 0.0)
(s2122 0.0)
(s2123 0.0)
(s2124 0.0)
(s2127 0.0)
(s2128 0.0)
(s2129 0.0)
(s2131 0.0)
(s2132 0.0)
(s2134 0.0)
(s2136 0.0)
(s2137 0.0)
(s2139 0.0)
(s2142 0.0)
(s2143 0.0)
(s2144 0.0)
(s2145 0.0)
(s2147 0.0)
(s2149 0.0)
(s2152 0.0)
(s2154 0.0)
(s2156 0.0)
(s2157 0.0)
(s2158 0.0)
(s2159 0.0)
(s2160 0.0)
(s2161 0.0)
(s2162 0.0)
(s2164 0.0)
(s2166 0.0)
(s2167 0.0)
(s2169 0.0)
(s2172 0.0)
(s2174 0.0)
(s2177 0.0)
(s2179 0.0)
(s2182 0.0)
(s2184 0.0)
(s2186 0.0)
(s2187 0.0)
(s2189 0.0)
(s2192 0.0)
(s2194 0.0)
(s2197 0.0)
(s2199 0.0)
(s2202 0.0)
(s2204 0.0)
(s2207 0.0)
(s2209 0.0)
(s2212 0.0)
(s2214 0.0)
(s2216 0.0)
(s2217 0.0)
(s2219 0.0)
(s2221 0.0)
(s2222 0.0)
(s2224 0.0)
(s2227 0.0)
(s2229 0.0)
(s2232 0.0)
(s2234 0.0)
(s2237 0.0)
(s2239 0.0)
(s2242 0.0)
(s2244 0.0)
(s2247 0.0)
(s2249 0.0)
(s2252 0.0)
(s2254 0.0)
(s2257 0.0)
(s2259 0.0)
(s2262 0.0)
(s2264 0.0)
(s2267 0.0)
(s2269 0.0)
(s2272 0.0)
(s2274 0.0)
(s2277 0.0)
(s2279 0.0)
(s2282 0.0)
(s2284 0.0)
(s2287 0.0)
(s2289 0.0)
(s2291 0.0)
(s2292 0.0)
(s2293 0.0)
(s2294 0.0)
(s2295 0.0)
(s2297 1.0)
(s2298 0.0)
(s2299 0.0)
(s2300 0.0)
(s2302 0.0)
(s2303 0.0)
(s2304 0.0)
(s2305 0.0)
(s2306 0.0)
(s2307 0.0)
(s2309 0.0)
(s2310 0.0)
(s2311 0.0)
(s2312 0.0)
(s2314 0.0)
(s2315 0.0)
(s2316 0.0)
(s2317 0.0)
(s2319 0.0)
(s2320 0.0)
(s2321 0.0)
(s2322 0.0)
(s2324 0.0)
(s2325 0.0)
(s2326 0.0)
(s2327 0.0)
(s2329 0.0)
(s2330 0.0)
(s2331 0.0)
(s2332 0.0)
(s2334 0.0)
(s2335 0.0)
(s2336 0.0)
(s2337 0.0)
(s2339 0.0)
(s2340 0.0)
(s2341 0.0)
(s2342 0.0)
(s2344 0.0)
(s2345 0.0)
(s2346 0.0)
(s2347 0.0)
(s2349 0.0)
(s2350 0.0)
(s2351 0.0)
(s2352 0.0)
(s2354 0.0)
(s2355 0.0)
(s2356 0.0)
(s2357 0.0)
(s2359 0.0)
(s2360 0.0)
(s2361 0.0)
(s2362 0.0)
(s2363 0.0)
(s2364 0.0)
(s2365 0.0)
(s2366 0.0)
(s2367 0.0)
(s2369 0.0)
(s2370 0.0)
(s2371 0.0)
(s2372 0.0)
(s2374 0.0)
(s2375 0.0)
(s2376 0.0)
(s2377 0.0)
(s2379 0.0)
(s2380 0.0)
(s2381 0.0)
(s2382 0.0)
(s2384 0.0)
(s2385 0.0)
(s2386 0.0)
(s2387 0.0)
(s2389 0.0)
(s2390 0.0)
(s2391 0.0)
(s2392 0.0)
(s2395 0.0)
(s2396 0.0)
(s2397 0.0)
(s2399 0.0)
(s2400 0.0)
(s2401 0.0)
(s2402 0.0)
(s2404 0.0)
(s2405 0.0)
(s2406 0.0)
(s2407 0.0)
(s2409 0.0)
(s2410 0.0)
(s2411 0.0)
(s2412 0.0)
(s2414 0.0)
(s2415 0.0)
(s2416 0.0)
(s2417 0.0)
(s2419 0.0)
(s2420 0.0)
(s2421 0.0)
(s2422 0.0)
(s2425 0.0)
(s2426 0.0)
(s2427 0.0)
(s2429 0.0)
(s2430 0.0)
(s2431 0.0)
(s2432 0.0)
(s2435 0.0)
(s2436 0.0)
(s2437 0.0)
(s2440 0.0)
(s2441 0.0)
(s2442 0.0)
(s2444 0.0)
(s2445 0.0)
(s2446 0.0)
(s2447 0.0)
(s2450 0.0)
(s2451 0.0)
(s2452 0.0)
(s2455 0.0)
(s2456 0.0)
(s2457 0.0)
(s2459 0.0)
(s2460 0.0)
(s2462 0.0)
(s2464 0.0)
(s2465 0.0)
(s2467 0.0)
(s2470 0.0)
(s2471 0.0)
(s2472 0.0)
(s2473 0.0)
(s2475 0.0)
(s2477 0.0)
(s2480 0.0)
(s2482 0.0)
(s2484 0.0)
(s2485 0.0)
(s2486 0.0)
(s2487 0.0)
(s2488 0.0)
(s2489 0.0)
(s2490 0.0)
(s2492 0.0)
(s2494 0.0)
(s2495 0.0)
(s2497 0.0)
(s2500 0.0)
(s2502 0.0)
(s2505 0.0)
(s2507 0.0)
(s2510 0.0)
(s2512 0.0)
(s2514 0.0)
(s2515 0.0)
(s2517 0.0)
(s2520 0.0)
(s2522 0.0)
(s2525 0.0)
(s2527 0.0)
(s2530 0.0)
(s2532 0.0)
(s2535 0.0)
(s2537 0.0)
(s2540 0.0)
(s2542 0.0)
(s2544 0.0)
(s2545 0.0)
(s2547 0.0)
(s2549 0.0)
(s2550 0.0)
(s2552 0.0)
(s2555 0.0)
(s2557 0.0)
(s2560 0.0)
(s2562 0.0)
(s2565 0.0)
(s2567 0.0)
(s2570 0.0)
(s2572 0.0)
(s2575 0.0)
(s2577 0.0)
(s2580 0.0)
(s2582 0.0)
(s2585 0.0)
(s2587 0.0)
(s2590 0.0)
(s2592 0.0)
(s2595 0.0)
(s2597 0.0)
(s2600 0.0)
(s2602 0.0)
(s2605 0.0)
(s2607 0.0)
(s2610 0.0)
(s2612 0.0)
(s2615 0.0)
(s2617 0.0)
(s2619 0.0)
(s2620 0.0)
(s2621 0.0)
(s2622 0.0)
(s2623 0.0)
(s2625 1.0)
(s2626 0.0)
(s2627 0.0)
(s2628 0.0)
(s2630 0.0)
(s2631 0.0)
(s2632 0.0)
(s2633 0.0)
(s2634 0.0)
(s2635 0.0)
(s2637 0.0)
(s2638 0.0)
(s2639 0.0)
(s2640 0.0)
(s2642 0.0)
(s2643 0.0)
(s2644 0.0)
(s2645 0.0)
(s2647 0.0)
(s2648 0.0)
(s2649 0.0)
(s2650 0.0)
(s2652 0.0)
(s2653 0.0)
(s2654 0.0)
(s2655 0.0)
(s2657 0.0)
(s2658 0.0)
(s2659 0.0)
(s2660 0.0)
(s2662 0.0)
(s2663 0.0)
(s2664 0.0)
(s2665 0.0)
(s2667 0.0)
(s2668 0.0)
(s2669 0.0)
(s2670 0.0)
(s2672 0.0)
(s2673 0.0)
(s2674 0.0)
(s2675 0.0)
(s2677 0.0)
(s2678 0.0)
(s2679 0.0)
(s2680 0.0)
(s2682 0.0)
(s2683 0.0)
(s2684 0.0)
(s2685 0.0)
(s2687 0.0)
(s2688 0.0)
(s2689 0.0)
(s2690 0.0)
(s2691 0.0)
(s2692 0.0)
(s2693 0.0)
(s2694 0.0)
(s2695 0.0)
(s2697 0.0)
(s2698 0.0)
(s2699 0.0)
(s2700 0.0)
(s2702 0.0)
(s2703 0.0)
(s2704 0.0)
(s2705 0.0)
(s2707 0.0)
(s2708 0.0)
(s2709 0.0)
(s2710 0.0)
(s2712 0.0)
(s2713 0.0)
(s2714 0.0)
(s2715 0.0)
(s2717 0.0)
(s2718 0.0)
(s2719 0.0)
(s2720 0.0)
(s2723 0.0)
(s2724 0.0)
(s2725 0.0)
(s2727 0.0)
(s2728 0.0)
(s2729 0.0)
(s2730 0.0)
(s2732 0.0)
(s2733 0.0)
(s2734 0.0)
(s2735 0.0)
(s2737 0.0)
(s2738 0.0)
(s2739 0.0)
(s2740 0.0)
(s2742 0.0)
(s2743 0.0)
(s2744 0.0)
(s2745 0.0)
(s2747 0.0)
(s2748 0.0)
(s2749 0.0)
(s2750 0.0)
(s2753 0.0)
(s2754 0.0)
(s2755 0.0)
(s2757 0.0)
(s2758 0.0)
(s2759 0.0)
(s2760 0.0)
(s2763 0.0)
(s2764 0.0)
(s2765 0.0)
(s2768 0.0)
(s2769 0.0)
(s2770 0.0)
(s2772 0.0)
(s2773 0.0)
(s2774 0.0)
(s2775 0.0)
(s2778 0.0)
(s2779 0.0)
(s2780 0.0)
(s2783 0.0)
(s2784 0.0)
(s2785 0.0)
(s2787 0.0)
(s2788 0.0)
(s2790 0.0)
(s2792 0.0)
(s2793 0.0)
(s2795 0.0)
(s2798 0.0)
(s2799 0.0)
(s2800 0.0)
(s2801 0.0)
(s2803 0.0)
(s2805 0.0)
(s2808 0.0)
(s2810 0.0)
(s2812 0.0)
(s2813 0.0)
(s2814 0.0)
(s2815 0.0)
(s2816 0.0)
(s2817 0.0)
(s2818 0.0)
(s2820 0.0)
(s2822 0.0)
(s2823 0.0)
(s2825 0.0)
(s2828 0.0)
(s2830 0.0)
(s2833 0.0)
(s2835 0.0)
(s2838 0.0)
(s2840 0.0)
(s2842 0.0)
(s2843 0.0)
(s2845 0.0)
(s2848 0.0)
(s2850 0.0)
(s2853 0.0)
(s2855 0.0)
(s2858 0.0)
(s2860 0.0)
(s2863 0.0)
(s2865 0.0)
(s2868 0.0)
(s2870 0.0)
(s2872 0.0)
(s2873 0.0)
(s2875 0.0)
(s2877 0.0)
(s2878 0.0)
(s2880 0.0)
(s2883 0.0)
(s2885 0.0)
(s2888 0.0)
(s2890 0.0)
(s2893 0.0)
(s2895 0.0)
(s2898 0.0)
(s2900 0.0)
(s2903 0.0)
(s2905 0.0)
(s2908 0.0)
(s2910 0.0)
(s2913 0.0)
(s2915 0.0)
(s2918 0.0)
(s2920 0.0)
(s2923 0.0)
(s2925 0.0)
(s2928 0.0)
(s2930 0.0)
(s2933 0.0)
(s2935 0.0)
(s2938 0.0)
(s2940 0.0)
(s2943 0.0)
(s2945 0.0)
(s2947 0.0)
(s2948 0.0)
(s2949 0.0)
(s2950 0.0)
(s2951 0.0)
(s2953 1.0)
(s2954 0.0)
(s2955 0.0)
(s2956 0.0)
(s2958 0.0)
(s2959 0.0)
(s2960 0.0)
(s2961 0.0)
(s2962 0.0)
(s2963 0.0)
(s2965 0.0)
(s2966 0.0)
(s2967 0.0)
(s2968 0.0)
(s2970 0.0)
(s2971 0.0)
(s2972 0.0)
(s2973 0.0)
(s2975 0.0)
(s2976 0.0)
(s2977 0.0)
(s2978 0.0)
(s2980 0.0)
(s2981 0.0)
(s2982 0.0)
(s2983 0.0)
(s2985 0.0)
(s2986 0.0)
(s2987 0.0)
(s2988 0.0)
(s2990 0.0)
(s2991 0.0)
(s2992 0.0)
(s2993 0.0)
(s2995 0.0)
(s2996 0.0)
(s2997 0.0)
(s2998 0.0)
(s3000 0.0)
(s3001 0.0)
(s3002 0.0)
(s3003 0.0)
(s3005 0.0)
(s3006 0.0)
(s3007 0.0)
(s3008 0.0)
(s3010 0.0)
(s3011 0.0)
(s3012 0.0)
(s3013 0.0)
(s3015 0.0)
(s3016 0.0)
(s3017 0.0)
(s3018 0.0)
(s3019 0.0)
(s3020 0.0)
(s3021 0.0)
(s3022 0.0)
(s3023 0.0)
(s3025 0.0)
(s3026 0.0)
(s3027 0.0)
(s3028 0.0)
(s3030 0.0)
(s3031 0.0)
(s3032 0.0)
(s3033 0.0)
(s3035 0.0)
(s3036 0.0)
(s3037 0.0)
(s3038 0.0)
(s3040 0.0)
(s3041 0.0)
(s3042 0.0)
(s3043 0.0)
(s3045 0.0)
(s3046 0.0)
(s3047 0.0)
(s3048 0.0)
(s3051 0.0)
(s3052 0.0)
(s3053 0.0)
(s3055 0.0)
(s3056 0.0)
(s3057 0.0)
(s3058 0.0)
(s3060 0.0)
(s3061 0.0)
(s3062 0.0)
(s3063 0.0)
(s3065 0.0)
(s3066 0.0)
(s3067 0.0)
(s3068 0.0)
(s3070 0.0)
(s3071 0.0)
(s3072 0.0)
(s3073 0.0)
(s3075 0.0)
(s3076 0.0)
(s3077 0.0)
(s3078 0.0)
(s3081 0.0)
(s3082 0.0)
(s3083 0.0)
(s3085 0.0)
(s3086 0.0)
(s3087 0.0)
(s3088 0.0)
(s3091 0.0)
(s3092 0.0)
(s3093 0.0)
(s3096 0.0)
(s3097 0.0)
(s3098 0.0)
(s3100 0.0)
(s3101 0.0)
(s3102 0.0)
(s3103 0.0)
(s3106 0.0)
(s3107 0.0)
(s3108 0.0)
(s3111 0.0)
(s3112 0.0)
(s3113 0.0)
(s3115 0.0)
(s3116 0.0)
(s3118 0.0)
(s3120 0.0)
(s3121 0.0)
(s3123 0.0)
(s3126 0.0)
(s3127 0.0)
(s3128 0.0)
(s3129 0.0)
(s3131 0.0)
(s3133 0.0)
(s3136 0.0)
(s3138 0.0)
(s3140 0.0)
(s3141 0.0)
(s3142 0.0)
(s3143 0.0)
(s3144 0.0)
(s3145 0.0)
(s3146 0.0)
(s3148 0.0)
(s3150 0.0)
(s3151 0.0)
(s3153 0.0)
(s3156 0.0)
(s3158 0.0)
(s3161 0.0)
(s3163 0.0)
(s3166 0.0)
(s3168 0.0)
(s3170 0.0)
(s3171 0.0)
(s3173 0.0)
(s3176 0.0)
(s3178 0.0)
(s3181 0.0)
(s3183 0.0)
(s3186 0.0)
(s3188 0.0)
(s3191 0.0)
(s3193 0.0)
(s3196 0.0)
(s3198 0.0)
(s3200 0.0)
(s3201 0.0)
(s3203 0.0)
(s3205 0.0)
(s3206 0.0)
(s3208 0.0)
(s3211 0.0)
(s3213 0.0)
(s3216 0.0)
(s3218 0.0)
(s3221 0.0)
(s3223 0.0)
(s3226 0.0)
(s3228 0.0)
(s3231 0.0)
(s3233 0.0)
(s3236 0.0)
(s3238 0.0)
(s3241 0.0)
(s3243 0.0)
(s3246 0.0)
(s3248 0.0)
(s3251 0.0)
(s3253 0.0)
(s3256 0.0)
(s3258 0.0)
(s3261 0.0)
(s3263 0.0)
(s3266 0.0)
(s3268 0.0)
(s3271 0.0)
(s3273 0.0)
(s3275 0.0)
(s3276 0.0)
(s3277 0.0)
(s3278 0.0)
(s3279 0.0)
(s3281 1.0)
(s3282 0.0)
(s3283 0.0)
(s3284 0.0)
(s3286 0.0)
(s3287 0.0)
(s3288 0.0)
(s3289 0.0)
(s3290 0.0)
(s3291 0.0)
(s3293 0.0)
(s3294 0.0)
(s3295 0.0)
(s3296 0.0)
(s3298 0.0)
(s3299 0.0)
(s3300 0.0)
(s3301 0.0)
(s3303 0.0)
(s3304 0.0)
(s3305 0.0)
(s3306 0.0)
(s3308 0.0)
(s3309 0.0)
(s3310 0.0)
(s3311 0.0)
(s3313 0.0)
(s3314 0.0)
(s3315 0.0)
(s3316 0.0)
(s3318 0.0)
(s3319 0.0)
(s3320 0.0)
(s3321 0.0)
(s3323 0.0)
(s3324 0.0)
(s3325 0.0)
(s3326 0.0)
(s3328 0.0)
(s3329 0.0)
(s3330 0.0)
(s3331 0.0)
(s3333 0.0)
(s3334 0.0)
(s3335 0.0)
(s3336 0.0)
(s3338 0.0)
(s3339 0.0)
(s3340 0.0)
(s3341 0.0)
(s3343 0.0)
(s3344 0.0)
(s3345 0.0)
(s3346 0.0)
(s3347 0.0)
(s3348 0.0)
(s3349 0.0)
(s3350 0.0)
(s3351 0.0)
(s3353 0.0)
(s3354 0.0)
(s3355 0.0)
(s3356 0.0)
(s3358 0.0)
(s3359 0.0)
(s3360 0.0)
(s3361 0.0)
(s3363 0.0)
(s3364 0.0)
(s3365 0.0)
(s3366 0.0)
(s3368 0.0)
(s3369 0.0)
(s3370 0.0)
(s3371 0.0)
(s3373 0.0)
(s3374 0.0)
(s3375 0.0)
(s3376 0.0)
(s3379 0.0)
(s3380 0.0)
(s3381 0.0)
(s3383 0.0)
(s3384 0.0)
(s3385 0.0)
(s3386 0.0)
(s3388 0.0)
(s3389 0.0)
(s3390 0.0)
(s3391 0.0)
(s3393 0.0)
(s3394 0.0)
(s3395 0.0)
(s3396 0.0)
(s3398 0.0)
(s3399 0.0)
(s3400 0.0)
(s3401 0.0)
(s3403 0.0)
(s3404 0.0)
(s3405 0.0)
(s3406 0.0)
(s3409 0.0)
(s3410 0.0)
(s3411 0.0)
(s3413 0.0)
(s3414 0.0)
(s3415 0.0)
(s3416 0.0)
(s3419 0.0)
(s3420 0.0)
(s3421 0.0)
(s3424 0.0)
(s3425 0.0)
(s3426 0.0)
(s3428 0.0)
(s3429 0.0)
(s3430 0.0)
(s3431 0.0)
(s3434 0.0)
(s3435 0.0)
(s3436 0.0)
(s3439 0.0)
(s3440 0.0)
(s3441 0.0)
(s3443 0.0)
(s3444 0.0)
(s3446 0.0)
(s3448 0.0)
(s3449 0.0)
(s3451 0.0)
(s3454 0.0)
(s3455 0.0)
(s3456 0.0)
(s3457 0.0)
(s3459 0.0)
(s3461 0.0)
(s3464 0.0)
(s3466 0.0)
(s3468 0.0)
(s3469 0.0)
(s3470 0.0)
(s3471 0.0)
(s3472 0.0)
(s3473 0.0)
(s3474 0.0)
(s3476 0.0)
(s3478 0.0)
(s3479 0.0)
(s3481 0.0)
(s3484 0.0)
(s3486 0.0)
(s3489 0.0)
(s3491 0.0)
(s3494 0.0)
(s3496 0.0)
(s3498 0.0)
(s3499 0.0)
(s3501 0.0)
(s3504 0.0)
(s3506 0.0)
(s3509 0.0)
(s3511 0.0)
(s3514 0.0)
(s3516 0.0)
(s3519 0.0)
(s3521 0.0)
(s3524 0.0)
(s3526 0.0)
(s3528 0.0)
(s3529 0.0)
(s3531 0.0)
(s3533 0.0)
(s3534 0.0)
(s3536 0.0)
(s3539 0.0)
(s3541 0.0)
(s3544 0.0)
(s3546 0.0)
(s3549 0.0)
(s3551 0.0)
(s3554 0.0)
(s3556 0.0)
(s3559 0.0)
(s3561 0.0)
(s3564 0.0)
(s3566 0.0)
(s3569 0.0)
(s3571 0.0)
(s3574 0.0)
(s3576 0.0)
(s3579 0.0)
(s3581 0.0)
(s3584 0.0)
(s3586 0.0)
(s3589 0.0)
(s3591 0.0)
(s3594 0.0)
(s3596 0.0)
(s3599 0.0)
(s3601 0.0)
(s3603 0.0)
(s3604 0.0)
(s3605 0.0)
(s3606 0.0)
(s3607 0.0)
(s3609 1.0)
(s3610 0.0)
(s3611 0.0)
(s3612 0.0)
(s3614 0.0)
(s3615 0.0)
(s3616 0.0)
(s3617 0.0)
(s3618 0.0)
(s3619 0.0)
(s3621 0.0)
(s3622 0.0)
(s3623 0.0)
(s3624 0.0)
(s3626 0.0)
(s3627 0.0)
(s3628 0.0)
(s3629 0.0)
(s3631 0.0)
(s3632 0.0)
(s3633 0.0)
(s3634 0.0)
(s3636 0.0)
(s3637 0.0)
(s3638 0.0)
(s3639 0.0)
(s3641 0.0)
(s3642 0.0)
(s3643 0.0)
(s3644 0.0)
(s3646 0.0)
(s3647 0.0)
(s3648 0.0)
(s3649 0.0)
(s3651 0.0)
(s3652 0.0)
(s3653 0.0)
(s3654 0.0)
(s3656 0.0)
(s3657 0.0)
(s3658 0.0)
(s3659 0.0)
(s3661 0.0)
(s3662 0.0)
(s3663 0.0)
(s3664 0.0)
(s3666 0.0)
(s3667 0.0)
(s3668 0.0)
(s3669 0.0)
(s3671 0.0)
(s3672 0.0)
(s3673 0.0)
(s3674 0.0)
(s3675 0.0)
(s3676 0.0)
(s3677 0.0)
(s3678 0.0)
(s3679 0.0)
(s3681 0.0)
(s3682 0.0)
(s3683 0.0)
(s3684 0.0)
(s3686 0.0)
(s3687 0.0)
(s3688 0.0)
(s3689 0.0)
(s3691 0.0)
(s3692 0.0)
(s3693 0.0)
(s3694 0.0)
(s3696 0.0)
(s3697 0.0)
(s3698 0.0)
(s3699 0.0)
(s3701 0.0)
(s3702 0.0)
(s3703 0.0)
(s3704 0.0)
(s3707 0.0)
(s3708 0.0)
(s3709 0.0)
(s3711 0.0)
(s3712 0.0)
(s3713 0.0)
(s3714 0.0)
(s3716 0.0)
(s3717 0.0)
(s3718 0.0)
(s3719 0.0)
(s3721 0.0)
(s3722 0.0)
(s3723 0.0)
(s3724 0.0)
(s3726 0.0)
(s3727 0.0)
(s3728 0.0)
(s3729 0.0)
(s3731 0.0)
(s3732 0.0)
(s3733 0.0)
(s3734 0.0)
(s3737 0.0)
(s3738 0.0)
(s3739 0.0)
(s3741 0.0)
(s3742 0.0)
(s3743 0.0)
(s3744 0.0)
(s3747 0.0)
(s3748 0.0)
(s3749 0.0)
(s3752 0.0)
(s3753 0.0)
(s3754 0.0)
(s3756 0.0)
(s3757 0.0)
(s3758 0.0)
(s3759 0.0)
(s3762 0.0)
(s3763 0.0)
(s3764 0.0)
(s3767 0.0)
(s3768 0.0)
(s3769 0.0)
(s3771 0.0)
(s3772 0.0)
(s3774 0.0)
(s3776 0.0)
(s3777 0.0)
(s3779 0.0)
(s3782 0.0)
(s3783 0.0)
(s3784 0.0)
(s3785 0.0)
(s3787 0.0)
(s3789 0.0)
(s3792 0.0)
(s3794 0.0)
(s3796 0.0)
(s3797 0.0)
(s3798 0.0)
(s3799 0.0)
(s3800 0.0)
(s3801 0.0)
(s3802 0.0)
(s3804 0.0)
(s3806 0.0)
(s3807 0.0)
(s3809 0.0)
(s3812 0.0)
(s3814 0.0)
(s3817 0.0)
(s3819 0.0)
(s3822 0.0)
(s3824 0.0)
(s3826 0.0)
(s3827 0.0)
(s3829 0.0)
(s3832 0.0)
(s3834 0.0)
(s3837 0.0)
(s3839 0.0)
(s3842 0.0)
(s3844 0.0)
(s3847 0.0)
(s3849 0.0)
(s3852 0.0)
(s3854 0.0)
(s3856 0.0)
(s3857 0.0)
(s3859 0.0)
(s3861 0.0)
(s3862 0.0)
(s3864 0.0)
(s3867 0.0)
(s3869 0.0)
(s3872 0.0)
(s3874 0.0)
(s3877 0.0)
(s3879 0.0)
(s3882 0.0)
(s3884 0.0)
(s3887 0.0)
(s3889 0.0)
(s3892 0.0)
(s3894 0.0)
(s3897 0.0)
(s3899 0.0)
(s3902 0.0)
(s3904 0.0)
(s3907 0.0)
(s3909 0.0)
(s3912 0.0)
(s3914 0.0)
(s3917 0.0)
(s3919 0.0)
(s3922 0.0)
(s3924 0.0)
(s3927 0.0)
(s3929 0.0)
(s3931 0.0)
(s3932 0.0)
(s3933 0.0)
(s3934 0.0)
(s3935 0.0)
(s3937 1.0)
(s3938 0.0)
(s3939 0.0)
(s3940 0.0)
(s3942 0.0)
(s3943 0.0)
(s3944 0.0)
(s3945 0.0)
(s3946 0.0)
(s3947 0.0)
(s3949 0.0)
(s3950 0.0)
(s3951 0.0)
(s3952 0.0)
(s3954 0.0)
(s3955 0.0)
(s3956 0.0)
(s3957 0.0)
(s3959 0.0)
(s3960 0.0)
(s3961 0.0)
(s3962 0.0)
(s3964 0.0)
(s3965 0.0)
(s3966 0.0)
(s3967 0.0)
(s3969 0.0)
(s3970 0.0)
(s3971 0.0)
(s3972 0.0)
(s3974 0.0)
(s3975 0.0)
(s3976 0.0)
(s3977 0.0)
(s3979 0.0)
(s3980 0.0)
(s3981 0.0)
(s3982 0.0)
(s3984 0.0)
(s3985 0.0)
(s3986 0.0)
(s3987 0.0)
(s3989 0.0)
(s3990 0.0)
(s3991 0.0)
(s3992 0.0)
(s3994 0.0)
(s3995 0.0)
(s3996 0.0)
(s3997 0.0)
(s3999 0.0)
(s4000 0.0)
(s4001 0.0)
(s4002 0.0)
(s4003 0.0)
(s4004 0.0)
(s4005 0.0)
(s4006 0.0)
(s4007 0.0)
(s4009 0.0)
(s4010 0.0)
(s4011 0.0)
(s4012 0.0)
(s4014 0.0)
(s4015 0.0)
(s4016 0.0)
(s4017 0.0)
(s4019 0.0)
(s4020 0.0)
(s4021 0.0)
(s4022 0.0)
(s4024 0.0)
(s4025 0.0)
(s4026 0.0)
(s4027 0.0)
(s4029 0.0)
(s4030 0.0)
(s4031 0.0)
(s4032 0.0)
(s4035 0.0)
(s4036 0.0)
(s4037 0.0)
(s4039 0.0)
(s4040 0.0)
(s4041 0.0)
(s4042 0.0)
(s4044 0.0)
(s4045 0.0)
(s4046 0.0)
(s4047 0.0)
(s4049 0.0)
(s4050 0.0)
(s4051 0.0)
(s4052 0.0)
(s4054 0.0)
(s4055 0.0)
(s4056 0.0)
(s4057 0.0)
(s4059 0.0)
(s4060 0.0)
(s4061 0.0)
(s4062 0.0)
(s4065 0.0)
(s4066 0.0)
(s4067 0.0)
(s4069 0.0)
(s4070 0.0)
(s4071 0.0)
(s4072 0.0)
(s4075 0.0)
(s4076 0.0)
(s4077 0.0)
(s4080 0.0)
(s4081 0.0)
(s4082 0.0)
(s4084 0.0)
(s4085 0.0)
(s4086 0.0)
(s4087 0.0)
(s4090 0.0)
(s4091 0.0)
(s4092 0.0)
(s4095 0.0)
(s4096 0.0)
(s4097 0.0)
(s4099 0.0)
(s4100 0.0)
(s4102 0.0)
(s4104 0.0)
(s4105 0.0)
(s4107 0.0)
(s4110 0.0)
(s4111 0.0)
(s4112 0.0)
(s4113 0.0)
(s4115 0.0)
(s4117 0.0)
(s4120 0.0)
(s4122 0.0)
(s4124 0.0)
(s4125 0.0)
(s4126 0.0)
(s4127 0.0)
(s4128 0.0)
(s4129 0.0)
(s4130 0.0)
(s4132 0.0)
(s4134 0.0)
(s4135 0.0)
(s4137 0.0)
(s4140 0.0)
(s4142 0.0)
(s4145 0.0)
(s4147 0.0)
(s4150 0.0)
(s4152 0.0)
(s4154 0.0)
(s4155 0.0)
(s4157 0.0)
(s4160 0.0)
(s4162 0.0)
(s4165 0.0)
(s4167 0.0)
(s4170 0.0)
(s4172 0.0)
(s4175 0.0)
(s4177 0.0)
(s4180 0.0)
(s4182 0.0)
(s4184 0.0)
(s4185 0.0)
(s4187 0.0)
(s4189 0.0)
(s4190 0.0)
(s4192 0.0)
(s4195 0.0)
(s4197 0.0)
(s4200 0.0)
(s4202 0.0)
(s4205 0.0)
(s4207 0.0)
(s4210 0.0)
(s4212 0.0)
(s4215 0.0)
(s4217 0.0)
(s4220 0.0)
(s4222 0.0)
(s4225 0.0)
(s4227 0.0)
(s4230 0.0)
(s4232 0.0)
(s4235 0.0)
(s4237 0.0)
(s4240 0.0)
(s4242 0.0)
(s4245 0.0)
(s4247 0.0)
(s4250 0.0)
(s4252 0.0)
(s4255 0.0)
(s4257 0.0)
(s4259 0.0)
(s4260 0.0)
(s4261 0.0)
(s4262 0.0)
(s4263 0.0)
(s4265 0.0)
(s4266 1.0)
(s4267 0.0)
(s4268 0.0)
(s4270 0.0)
(s4271 0.0)
(s4272 0.0)
(s4273 0.0)
(s4274 0.0)
(s4275 0.0)
(s4277 0.0)
(s4278 0.0)
(s4279 0.0)
(s4280 0.0)
(s4282 0.0)
(s4283 0.0)
(s4284 0.0)
(s4285 0.0)
(s4287 0.0)
(s4288 0.0)
(s4289 0.0)
(s4290 0.0)
(s4292 0.0)
(s4293 0.0)
(s4294 0.0)
(s4295 0.0)
(s4297 0.0)
(s4298 0.0)
(s4299 0.0)
(s4300 0.0)
(s4302 0.0)
(s4303 0.0)
(s4304 0.0)
(s4305 0.0)
(s4307 0.0)
(s4308 0.0)
(s4309 0.0)
(s4310 0.0)
(s4312 0.0)
(s4313 0.0)
(s4314 0.0)
(s4315 0.0)
(s4317 0.0)
(s4318 0.0)
(s4319 0.0)
(s4320 0.0)
(s4322 0.0)
(s4323 0.0)
(s4324 0.0)
(s4325 0.0)
(s4327 0.0)
(s4328 0.0)
(s4329 0.0)
(s4330 0.0)
(s4332 0.0)
(s4333 0.0)
(s4334 0.0)
(s4335 0.0)
(s4337 0.0)
(s4338 0.0)
(s4339 0.0)
(s4340 0.0)
(s4342 0.0)
(s4343 0.0)
(s4344 0.0)
(s4345 0.0)
(s4347 0.0)
(s4348 0.0)
(s4349 0.0)
(s4350 0.0)
(s4352 0.0)
(s4353 0.0)
(s4354 0.0)
(s4355 0.0)
(s4357 0.0)
(s4358 0.0)
(s4359 0.0)
(s4360 0.0)
(s4363 0.0)
(s4364 0.0)
(s4365 0.0)
(s4367 0.0)
(s4368 0.0)
(s4369 0.0)
(s4370 0.0)
(s4372 0.0)
(s4373 0.0)
(s4374 0.0)
(s4375 0.0)
(s4377 0.0)
(s4378 0.0)
(s4379 0.0)
(s4380 0.0)
(s4382 0.0)
(s4383 0.0)
(s4384 0.0)
(s4385 0.0)
(s4387 0.0)
(s4388 0.0)
(s4389 0.0)
(s4390 0.0)
(s4393 0.0)
(s4394 0.0)
(s4395 0.0)
(s4397 0.0)
(s4398 0.0)
(s4399 0.0)
(s4400 0.0)
(s4403 0.0)
(s4404 0.0)
(s4405 0.0)
(s4408 0.0)
(s4409 0.0)
(s4410 0.0)
(s4412 0.0)
(s4413 0.0)
(s4414 0.0)
(s4415 0.0)
(s4418 0.0)
(s4419 0.0)
(s4420 0.0)
(s4423 0.0)
(s4424 0.0)
(s4425 0.0)
(s4427 0.0)
(s4428 0.0)
(s4430 0.0)
(s4432 0.0)
(s4433 0.0)
(s4435 0.0)
(s4438 0.0)
(s4439 0.0)
(s4440 0.0)
(s4441 0.0)
(s4443 0.0)
(s4445 0.0)
(s4448 0.0)
(s4450 0.0)
(s4452 0.0)
(s4453 0.0)
(s4454 0.0)
(s4455 0.0)
(s4456 0.0)
(s4457 0.0)
(s4458 0.0)
(s4460 0.0)
(s4462 0.0)
(s4463 0.0)
(s4465 0.0)
(s4468 0.0)
(s4470 0.0)
(s4473 0.0)
(s4475 0.0)
(s4478 0.0)
(s4480 0.0)
(s4482 0.0)
(s4483 0.0)
(s4485 0.0)
(s4488 0.0)
(s4490 0.0)
(s4493 0.0)
(s4495 0.0)
(s4498 0.0)
(s4500 0.0)
(s4503 0.0)
(s4505 0.0)
(s4508 0.0)
(s4510 0.0)
(s4512 0.0)
(s4513 0.0)
(s4515 0.0)
(s4517 0.0)
(s4518 0.0)
(s4520 0.0)
(s4523 0.0)
(s4525 0.0)
(s4528 0.0)
(s4530 0.0)
(s4533 0.0)
(s4535 0.0)
(s4538 0.0)
(s4540 0.0)
(s4543 0.0)
(s4545 0.0)
(s4548 0.0)
(s4550 0.0)
(s4553 0.0)
(s4555 0.0)
(s4558 0.0)
(s4560 0.0)
(s4563 0.0)
(s4565 0.0)
(s4568 0.0)
(s4570 0.0)
(s4573 0.0)
(s4575 0.0)
(s4578 0.0)
(s4580 0.0)
(s4583 0.0)
(s4585 0.0)
(s4587 0.0)
(s4588 0.0)
(s4589 0.0)
(s4590 0.0)
(s4591 0.0)
(s4593 1.0)
(s4594 0.0)
(s4595 0.0)
(s4596 0.0)
(s4598 0.0)
(s4599 0.0)
(s4600 0.0)
(s4601 0.0)
(s4602 0.0)
(s4603 0.0)
(s4605 0.0)
(s4606 0.0)
(s4607 0.0)
(s4608 0.0)
(s4610 0.0)
(s4611 0.0)
(s4612 0.0)
(s4613 0.0)
(s4615 0.0)
(s4616 0.0)
(s4617 0.0)
(s4618 0.0)
(s4620 0.0)
(s4621 0.0)
(s4622 0.0)
(s4623 0.0)
(s4625 0.0)
(s4626 0.0)
(s4627 0.0)
(s4628 0.0)
(s4630 0.0)
(s4631 0.0)
(s4632 0.0)
(s4633 0.0)
(s4635 0.0)
(s4636 0.0)
(s4637 0.0)
(s4638 0.0)
(s4640 0.0)
(s4641 0.0)
(s4642 0.0)
(s4643 0.0)
(s4645 0.0)
(s4646 0.0)
(s4647 0.0)
(s4648 0.0)
(s4650 0.0)
(s4651 0.0)
(s4652 0.0)
(s4653 0.0)
(s4655 0.0)
(s4656 0.0)
(s4657 0.0)
(s4658 0.0)
(s4660 0.0)
(s4661 0.0)
(s4662 0.0)
(s4663 0.0)
(s4664 0.0)
(s4665 0.0)
(s4666 0.0)
(s4667 0.0)
(s4668 0.0)
(s4670 0.0)
(s4671 0.0)
(s4672 0.0)
(s4673 0.0)
(s4675 0.0)
(s4676 0.0)
(s4677 0.0)
(s4678 0.0)
(s4680 0.0)
(s4681 0.0)
(s4682 0.0)
(s4683 0.0)
(s4685 0.0)
(s4686 0.0)
(s4687 0.0)
(s4688 0.0)
(s4691 0.0)
(s4692 0.0)
(s4693 0.0)
(s4695 0.0)
(s4696 0.0)
(s4697 0.0)
(s4698 0.0)
(s4700 0.0)
(s4701 0.0)
(s4702 0.0)
(s4703 0.0)
(s4705 0.0)
(s4706 0.0)
(s4707 0.0)
(s4708 0.0)
(s4710 0.0)
(s4711 0.0)
(s4712 0.0)
(s4713 0.0)
(s4715 0.0)
(s4716 0.0)
(s4717 0.0)
(s4718 0.0)
(s4721 0.0)
(s4722 0.0)
(s4723 0.0)
(s4725 0.0)
(s4726 0.0)
(s4727 0.0)
(s4728 0.0)
(s4731 0.0)
(s4732 0.0)
(s4733 0.0)
(s4736 0.0)
(s4737 0.0)
(s4738 0.0)
(s4740 0.0)
(s4741 0.0)
(s4742 0.0)
(s4743 0.0)
(s4746 0.0)
(s4747 0.0)
(s4748 0.0)
(s4751 0.0)
(s4752 0.0)
(s4753 0.0)
(s4755 0.0)
(s4756 0.0)
(s4758 0.0)
(s4760 0.0)
(s4761 0.0)
(s4763 0.0)
(s4766 0.0)
(s4767 0.0)
(s4768 0.0)
(s4769 0.0)
(s4771 0.0)
(s4773 0.0)
(s4776 0.0)
(s4778 0.0)
(s4780 0.0)
(s4781 0.0)
(s4782 0.0)
(s4783 0.0)
(s4784 0.0)
(s4785 0.0)
(s4786 0.0)
(s4788 0.0)
(s4790 0.0)
(s4791 0.0)
(s4793 0.0)
(s4796 0.0)
(s4798 0.0)
(s4801 0.0)
(s4803 0.0)
(s4806 0.0)
(s4808 0.0)
(s4810 0.0)
(s4811 0.0)
(s4813 0.0)
(s4816 0.0)
(s4818 0.0)
(s4821 0.0)
(s4823 0.0)
(s4826 0.0)
(s4828 0.0)
(s4831 0.0)
(s4833 0.0)
(s4836 0.0)
(s4838 0.0)
(s4840 0.0)
(s4841 0.0)
(s4843 0.0)
(s4845 0.0)
(s4846 0.0)
(s4848 0.0)
(s4851 0.0)
(s4853 0.0)
(s4856 0.0)
(s4858 0.0)
(s4861 0.0)
(s4863 0.0)
(s4866 0.0)
(s4868 0.0)
(s4871 0.0)
(s4873 0.0)
(s4876 0.0)
(s4878 0.0)
(s4881 0.0)
(s4883 0.0)
(s4886 0.0)
(s4888 0.0)
(s4891 0.0)
(s4893 0.0)
(s4896 0.0)
(s4898 0.0)
(s4901 0.0)
(s4903 0.0)
(s4906 0.0)
(s4908 0.0)
(s4911 0.0)
(s4913 0.0)
(s4915 0.0)
(s4916 0.0)
(s4917 0.0)
(s4918 0.0)
(s4919 0.0)
(s4921 1.0)
(s4922 0.0)
(s4923 0.0)
(s4924 0.0)
(s4926 0.0)
(s4927 0.0)
(s4928 0.0)
(s4929 0.0)
(s4930 0.0)
(s4931 0.0)
(s4933 0.0)
(s4934 0.0)
(s4935 0.0)
(s4936 0.0)
(s4938 0.0)
(s4939 0.0)
(s4940 0.0)
(s4941 0.0)
(s4943 0.0)
(s4944 0.0)
(s4945 0.0)
(s4946 0.0)
(s4948 0.0)
(s4949 0.0)
(s4950 0.0)
(s4951 0.0)
(s4953 0.0)
(s4954 0.0)
(s4955 0.0)
(s4956 0.0)
(s4958 0.0)
(s4959 0.0)
(s4960 0.0)
(s4961 0.0)
(s4963 0.0)
(s4964 0.0)
(s4965 0.0)
(s4966 0.0)
(s4968 0.0)
(s4969 0.0)
(s4970 0.0)
(s4971 0.0)
(s4973 0.0)
(s4974 0.0)
(s4975 0.0)
(s4976 0.0)
(s4978 0.0)
(s4979 0.0)
(s4980 0.0)
(s4981 0.0)
(s4983 0.0)
(s4984 0.0)
(s4985 0.0)
(s4986 0.0)
(s4988 0.0)
(s4989 0.0)
(s4990 0.0)
(s4991 0.0)
(s4992 0.0)
(s4993 0.0)
(s4994 0.0)
(s4995 0.0)
(s4996 0.0)
(s4998 0.0)
(s4999 0.0)
(s5000 0.0)
(s5001 0.0)
(s5003 0.0)
(s5004 0.0)
(s5005 0.0)
(s5006 0.0)
(s5008 0.0)
(s5009 0.0)
(s5010 0.0)
(s5011 0.0)
(s5013 0.0)
(s5014 0.0)
(s5015 0.0)
(s5016 0.0)
(s5019 0.0)
(s5020 0.0)
(s5021 0.0)
(s5023 0.0)
(s5024 0.0)
(s5025 0.0)
(s5026 0.0)
(s5028 0.0)
(s5029 0.0)
(s5030 0.0)
(s5031 0.0)
(s5033 0.0)
(s5034 0.0)
(s5035 0.0)
(s5036 0.0)
(s5038 0.0)
(s5039 0.0)
(s5040 0.0)
(s5041 0.0)
(s5043 0.0)
(s5044 0.0)
(s5045 0.0)
(s5046 0.0)
(s5049 0.0)
(s5050 0.0)
(s5051 0.0)
(s5053 0.0)
(s5054 0.0)
(s5055 0.0)
(s5056 0.0)
(s5059 0.0)
(s5060 0.0)
(s5061 0.0)
(s5064 0.0)
(s5065 0.0)
(s5066 0.0)
(s5068 0.0)
(s5069 0.0)
(s5070 0.0)
(s5071 0.0)
(s5074 0.0)
(s5075 0.0)
(s5076 0.0)
(s5079 0.0)
(s5080 0.0)
(s5081 0.0)
(s5083 0.0)
(s5084 0.0)
(s5086 0.0)
(s5088 0.0)
(s5089 0.0)
(s5091 0.0)
(s5094 0.0)
(s5095 0.0)
(s5096 0.0)
(s5097 0.0)
(s5099 0.0)
(s5101 0.0)
(s5104 0.0)
(s5106 0.0)
(s5108 0.0)
(s5109 0.0)
(s5110 0.0)
(s5111 0.0)
(s5112 0.0)
(s5113 0.0)
(s5114 0.0)
(s5116 0.0)
(s5118 0.0)
(s5119 0.0)
(s5121 0.0)
(s5124 0.0)
(s5126 0.0)
(s5129 0.0)
(s5131 0.0)
(s5134 0.0)
(s5136 0.0)
(s5138 0.0)
(s5139 0.0)
(s5141 0.0)
(s5144 0.0)
(s5146 0.0)
(s5149 0.0)
(s5151 0.0)
(s5154 0.0)
(s5156 0.0)
(s5159 0.0)
(s5161 0.0)
(s5164 0.0)
(s5166 0.0)
(s5168 0.0)
(s5169 0.0)
(s5171 0.0)
(s5173 0.0)
(s5174 0.0)
(s5176 0.0)
(s5179 0.0)
(s5181 0.0)
(s5184 0.0)
(s5186 0.0)
(s5189 0.0)
(s5191 0.0)
(s5194 0.0)
(s5196 0.0)
(s5199 0.0)
(s5201 0.0)
(s5204 0.0)
(s5206 0.0)
(s5209 0.0)
(s5211 0.0)
(s5214 0.0)
(s5216 0.0)
(s5219 0.0)
(s5221 0.0)
(s5224 0.0)
(s5226 0.0)
(s5229 0.0)
(s5231 0.0)
(s5234 0.0)
(s5236 0.0)
(s5239 0.0)
(s5241 0.0)
(s5243 0.0)
(s5244 0.0)
(s5245 0.0)
(s5246 0.0)
(s5247 0.0)
(s5249 1.0)
(s5250 0.0)
(s5251 0.0)
(s5252 0.0)
(s5254 0.0)
(s5255 0.0)
(s5256 0.0)
(s5257 0.0)
(s5258 0.0)
(s5259 0.0)
(s5261 0.0)
(s5262 0.0)
(s5263 0.0)
(s5264 0.0)
(s5266 0.0)
(s5267 0.0)
(s5268 0.0)
(s5269 0.0)
(s5271 0.0)
(s5272 0.0)
(s5273 0.0)
(s5274 0.0)
(s5276 0.0)
(s5277 0.0)
(s5278 0.0)
(s5279 0.0)
(s5281 0.0)
(s5282 0.0)
(s5283 0.0)
(s5284 0.0)
(s5286 0.0)
(s5287 0.0)
(s5288 0.0)
(s5289 0.0)
(s5291 0.0)
(s5292 0.0)
(s5293 0.0)
(s5294 0.0)
(s5296 0.0)
(s5297 0.0)
(s5298 0.0)
(s5299 0.0)
(s5301 0.0)
(s5302 0.0)
(s5303 0.0)
(s5304 0.0)
(s5306 0.0)
(s5307 0.0)
(s5308 0.0)
(s5309 0.0)
(s5311 0.0)
(s5312 0.0)
(s5313 0.0)
(s5314 0.0)
(s5316 0.0)
(s5317 0.0)
(s5318 0.0)
(s5319 0.0)
(s5320 0.0)
(s5321 0.0)
(s5322 0.0)
(s5323 0.0)
(s5324 0.0)
(s5326 0.0)
(s5327 0.0)
(s5328 0.0)
(s5329 0.0)
(s5331 0.0)
(s5332 0.0)
(s5333 0.0)
(s5334 0.0)
(s5336 0.0)
(s5337 0.0)
(s5338 0.0)
(s5339 0.0)
(s5341 0.0)
(s5342 0.0)
(s5343 0.0)
(s5344 0.0)
(s5347 0.0)
(s5348 0.0)
(s5349 0.0)
(s5351 0.0)
(s5352 0.0)
(s5353 0.0)
(s5354 0.0)
(s5356 0.0)
(s5357 0.0)
(s5358 0.0)
(s5359 0.0)
(s5361 0.0)
(s5362 0.0)
(s5363 0.0)
(s5364 0.0)
(s5366 0.0)
(s5367 0.0)
(s5368 0.0)
(s5369 0.0)
(s5371 0.0)
(s5372 0.0)
(s5373 0.0)
(s5374 0.0)
(s5377 0.0)
(s5378 0.0)
(s5379 0.0)
(s5381 0.0)
(s5382 0.0)
(s5383 0.0)
(s5384 0.0)
(s5387 0.0)
(s5388 0.0)
(s5389 0.0)
(s5392 0.0)
(s5393 0.0)
(s5394 0.0)
(s5396 0.0)
(s5397 0.0)
(s5398 0.0)
(s5399 0.0)
(s5402 0.0)
(s5403 0.0)
(s5404 0.0)
(s5407 0.0)
(s5408 0.0)
(s5409 0.0)
(s5411 0.0)
(s5412 0.0)
(s5414 0.0)
(s5416 0.0)
(s5417 0.0)
(s5419 0.0)
(s5422 0.0)
(s5423 0.0)
(s5424 0.0)
(s5425 0.0)
(s5427 0.0)
(s5429 0.0)
(s5432 0.0)
(s5434 0.0)
(s5436 0.0)
(s5437 0.0)
(s5438 0.0)
(s5439 0.0)
(s5440 0.0)
(s5441 0.0)
(s5442 0.0)
(s5444 0.0)
(s5446 0.0)
(s5447 0.0)
(s5449 0.0)
(s5452 0.0)
(s5454 0.0)
(s5457 0.0)
(s5459 0.0)
(s5462 0.0)
(s5464 0.0)
(s5466 0.0)
(s5467 0.0)
(s5469 0.0)
(s5472 0.0)
(s5474 0.0)
(s5477 0.0)
(s5479 0.0)
(s5482 0.0)
(s5484 0.0)
(s5487 0.0)
(s5489 0.0)
(s5492 0.0)
(s5494 0.0)
(s5496 0.0)
(s5497 0.0)
(s5499 0.0)
(s5501 0.0)
(s5502 0.0)
(s5504 0.0)
(s5507 0.0)
(s5509 0.0)
(s5512 0.0)
(s5514 0.0)
(s5517 0.0)
(s5519 0.0)
(s5522 0.0)
(s5524 0.0)
(s5527 0.0)
(s5529 0.0)
(s5532 0.0)
(s5534 0.0)
(s5537 0.0)
(s5539 0.0)
(s5542 0.0)
(s5544 0.0)
(s5547 0.0)
(s5549 0.0)
(s5552 0.0)
(s5554 0.0)
(s5557 0.0)
(s5559 0.0)
(s5562 0.0)
(s5564 0.0)
(s5567 0.0)
(s5569 0.0)
(s5571 0.0)
(s5572 0.0)
(s5573 0.0)
(s5574 0.0)
(s5575 0.0)
(s5577 1.0)
(s5578 0.0)
(s5579 0.0)
(s5580 0.0)
(s5582 0.0)
(s5583 0.0)
(s5584 0.0)
(s5585 0.0)
(s5586 0.0)
(s5587 0.0)
(s5589 0.0)
(s5590 0.0)
(s5591 0.0)
(s5592 0.0)
(s5594 0.0)
(s5595 0.0)
(s5596 0.0)
(s5597 0.0)
(s5599 0.0)
(s5600 0.0)
(s5601 0.0)
(s5602 0.0)
(s5604 0.0)
(s5605 0.0)
(s5606 0.0)
(s5607 0.0)
(s5609 0.0)
(s5610 0.0)
(s5611 0.0)
(s5612 0.0)
(s5614 0.0)
(s5615 0.0)
(s5616 0.0)
(s5617 0.0)
(s5619 0.0)
(s5620 0.0)
(s5621 0.0)
(s5622 0.0)
(s5624 0.0)
(s5625 0.0)
(s5626 0.0)
(s5627 0.0)
(s5629 0.0)
(s5630 0.0)
(s5631 0.0)
(s5632 0.0)
(s5634 0.0)
(s5635 0.0)
(s5636 0.0)
(s5637 0.0)
(s5639 0.0)
(s5640 0.0)
(s5641 0.0)
(s5642 0.0)
(s5644 0.0)
(s5645 0.0)
(s5646 0.0)
(s5647 0.0)
(s5648 0.0)
(s5649 0.0)
(s5650 0.0)
(s5651 0.0)
(s5652 0.0)
(s5654 0.0)
(s5655 0.0)
(s5656 0.0)
(s5657 0.0)
(s5659 0.0)
(s5660 0.0)
(s5661 0.0)
(s5662 0.0)
(s5664 0.0)
(s5665 0.0)
(s5666 0.0)
(s5667 0.0)
(s5669 0.0)
(s5670 0.0)
(s5671 0.0)
(s5672 0.0)
(s5675 0.0)
(s5676 0.0)
(s5677 0.0)
(s5679 0.0)
(s5680 0.0)
(s5681 0.0)
(s5682 0.0)
(s5684 0.0)
(s5685 0.0)
(s5686 0.0)
(s5687 0.0)
(s5689 0.0)
(s5690 0.0)
(s5691 0.0)
(s5692 0.0)
(s5694 0.0)
(s5695 0.0)
(s5696 0.0)
(s5697 0.0)
(s5699 0.0)
(s5700 0.0)
(s5701 0.0)
(s5702 0.0)
(s5705 0.0)
(s5706 0.0)
(s5707 0.0)
(s5709 0.0)
(s5710 0.0)
(s5711 0.0)
(s5712 0.0)
(s5715 0.0)
(s5716 0.0)
(s5717 0.0)
(s5720 0.0)
(s5721 0.0)
(s5722 0.0)
(s5724 0.0)
(s5725 0.0)
(s5726 0.0)
(s5727 0.0)
(s5730 0.0)
(s5731 0.0)
(s5732 0.0)
(s5735 0.0)
(s5736 0.0)
(s5737 0.0)
(s5739 0.0)
(s5740 0.0)
(s5742 0.0)
(s5744 0.0)
(s5745 0.0)
(s5747 0.0)
(s5750 0.0)
(s5751 0.0)
(s5752 0.0)
(s5753 0.0)
(s5755 0.0)
(s5757 0.0)
(s5760 0.0)
(s5762 0.0)
(s5764 0.0)
(s5765 0.0)
(s5766 0.0)
(s5767 0.0)
(s5768 0.0)
(s5769 0.0)
(s5770 0.0)
(s5772 0.0)
(s5774 0.0)
(s5775 0.0)
(s5777 0.0)
(s5780 0.0)
(s5782 0.0)
(s5785 0.0)
(s5787 0.0)
(s5790 0.0)
(s5792 0.0)
(s5794 0.0)
(s5795 0.0)
(s5797 0.0)
(s5800 0.0)
(s5802 0.0)
(s5805 0.0)
(s5807 0.0)
(s5810 0.0)
(s5812 0.0)
(s5815 0.0)
(s5817 0.0)
(s5820 0.0)
(s5822 0.0)
(s5824 0.0)
(s5825 0.0)
(s5827 0.0)
(s5829 0.0)
(s5830 0.0)
(s5832 0.0)
(s5835 0.0)
(s5837 0.0)
(s5840 0.0)
(s5842 0.0)
(s5845 0.0)
(s5847 0.0)
(s5850 0.0)
(s5852 0.0)
(s5855 0.0)
(s5857 0.0)
(s5860 0.0)
(s5862 0.0)
(s5865 0.0)
(s5867 0.0)
(s5870 0.0)
(s5872 0.0)
(s5875 0.0)
(s5877 0.0)
(s5880 0.0)
(s5882 0.0)
(s5885 0.0)
(s5887 0.0)
(s5890 0.0)
(s5892 0.0)
(s5895 0.0)
(s5897 0.0)
(s5899 0.0)
(s5900 0.0)
(s5901 0.0)
(s5902 0.0)
(s5903 0.0)
(s5905 1.0)
(s5906 0.0)
(s5907 0.0)
(s5908 0.0)
(s5910 0.0)
(s5911 0.0)
(s5912 0.0)
(s5913 0.0)
(s5914 0.0)
(s5915 0.0)
(s5917 0.0)
(s5918 0.0)
(s5919 0.0)
(s5920 0.0)
(s5922 0.0)
(s5923 0.0)
(s5924 0.0)
(s5925 0.0)
(s5927 0.0)
(s5928 0.0)
(s5929 0.0)
(s5930 0.0)
(s5932 0.0)
(s5933 0.0)
(s5934 0.0)
(s5935 0.0)
(s5937 0.0)
(s5938 0.0)
(s5939 0.0)
(s5940 0.0)
(s5942 0.0)
(s5943 0.0)
(s5944 0.0)
(s5945 0.0)
(s5947 0.0)
(s5948 0.0)
(s5949 0.0)
(s5950 0.0)
(s5952 0.0)
(s5953 0.0)
(s5954 0.0)
(s5955 0.0)
(s5957 0.0)
(s5958 0.0)
(s5959 0.0)
(s5960 0.0)
(s5962 0.0)
(s5963 0.0)
(s5964 0.0)
(s5965 0.0)
(s5967 0.0)
(s5968 0.0)
(s5969 0.0)
(s5970 0.0)
(s5972 0.0)
(s5973 0.0)
(s5974 0.0)
(s5975 0.0)
(s5976 0.0)
(s5977 0.0)
(s5978 0.0)
(s5979 0.0)
(s5980 0.0)
(s5982 0.0)
(s5983 0.0)
(s5984 0.0)
(s5985 0.0)
(s5987 0.0)
(s5988 0.0)
(s5989 0.0)
(s5990 0.0)
(s5992 0.0)
(s5993 0.0)
(s5994 0.0)
(s5995 0.0)
(s5997 0.0)
(s5998 0.0)
(s5999 0.0)
(s6000 0.0)
(s6003 0.0)
(s6004 0.0)
(s6005 0.0)
(s6007 0.0)
(s6008 0.0)
(s6009 0.0)
(s6010 0.0)
(s6012 0.0)
(s6013 0.0)
(s6014 0.0)
(s6015 0.0)
(s6017 0.0)
(s6018 0.0)
(s6019 0.0)
(s6020 0.0)
(s6022 0.0)
(s6023 0.0)
(s6024 0.0)
(s6025 0.0)
(s6027 0.0)
(s6028 0.0)
(s6029 0.0)
(s6030 0.0)
(s6033 0.0)
(s6034 0.0)
(s6035 0.0)
(s6037 0.0)
(s6038 0.0)
(s6039 0.0)
(s6040 0.0)
(s6043 0.0)
(s6044 0.0)
(s6045 0.0)
(s6048 0.0)
(s6049 0.0)
(s6050 0.0)
(s6052 0.0)
(s6053 0.0)
(s6054 0.0)
(s6055 0.0)
(s6058 0.0)
(s6059 0.0)
(s6060 0.0)
(s6063 0.0)
(s6064 0.0)
(s6065 0.0)
(s6067 0.0)
(s6068 0.0)
(s6070 0.0)
(s6072 0.0)
(s6073 0.0)
(s6075 0.0)
(s6078 0.0)
(s6079 0.0)
(s6080 0.0)
(s6081 0.0)
(s6083 0.0)
(s6085 0.0)
(s6088 0.0)
(s6090 0.0)
(s6092 0.0)
(s6093 0.0)
(s6094 0.0)
(s6095 0.0)
(s6096 0.0)
(s6097 0.0)
(s6098 0.0)
(s6100 0.0)
(s6102 0.0)
(s6103 0.0)
(s6105 0.0)
(s6108 0.0)
(s6110 0.0)
(s6113 0.0)
(s6115 0.0)
(s6118 0.0)
(s6120 0.0)
(s6122 0.0)
(s6123 0.0)
(s6125 0.0)
(s6128 0.0)
(s6130 0.0)
(s6133 0.0)
(s6135 0.0)
(s6138 0.0)
(s6140 0.0)
(s6143 0.0)
(s6145 0.0)
(s6148 0.0)
(s6150 0.0)
(s6152 0.0)
(s6153 0.0)
(s6155 0.0)
(s6157 0.0)
(s6158 0.0)
(s6160 0.0)
(s6163 0.0)
(s6165 0.0)
(s6168 0.0)
(s6170 0.0)
(s6173 0.0)
(s6175 0.0)
(s6178 0.0)
(s6180 0.0)
(s6183 0.0)
(s6185 0.0)
(s6188 0.0)
(s6190 0.0)
(s6193 0.0)
(s6195 0.0)
(s6198 0.0)
(s6200 0.0)
(s6203 0.0)
(s6205 0.0)
(s6208 0.0)
(s6210 0.0)
(s6213 0.0)
(s6215 0.0)
(s6218 0.0)
(s6220 0.0)
(s6223 0.0)
(s6225 0.0)
(s6227 0.0)
(s6228 0.0)
(s6229 0.0)
(s6230 0.0)
(s6231 0.0)
(s6233 1.0)
(s6234 0.0)
(s6235 0.0)
(s6236 0.0)
(s6238 0.0)
(s6239 0.0)
(s6240 0.0)
(s6241 0.0)
(s6242 0.0)
(s6243 0.0)
(s6245 0.0)
(s6246 0.0)
(s6247 0.0)
(s6248 0.0)
(s6250 0.0)
(s6251 0.0)
(s6252 0.0)
(s6253 0.0)
(s6255 0.0)
(s6256 0.0)
(s6257 0.0)
(s6258 0.0)
(s6260 0.0)
(s6261 0.0)
(s6262 0.0)
(s6263 0.0)
(s6265 0.0)
(s6266 0.0)
(s6267 0.0)
(s6268 0.0)
(s6270 0.0)
(s6271 0.0)
(s6272 0.0)
(s6273 0.0)
(s6275 0.0)
(s6276 0.0)
(s6277 0.0)
(s6278 0.0)
(s6280 0.0)
(s6281 0.0)
(s6282 0.0)
(s6283 0.0)
(s6285 0.0)
(s6286 0.0)
(s6287 0.0)
(s6288 0.0)
(s6290 0.0)
(s6291 0.0)
(s6292 0.0)
(s6293 0.0)
(s6295 0.0)
(s6296 0.0)
(s6297 0.0)
(s6298 0.0)
(s6300 0.0)
(s6301 0.0)
(s6302 0.0)
(s6303 0.0)
(s6304 0.0)
(s6305 0.0)
(s6306 0.0)
(s6307 0.0)
(s6308 0.0)
(s6310 0.0)
(s6311 0.0)
(s6312 0.0)
(s6313 0.0)
(s6315 0.0)
(s6316 0.0)
(s6317 0.0)
(s6318 0.0)
(s6320 0.0)
(s6321 0.0)
(s6322 0.0)
(s6323 0.0)
(s6325 0.0)
(s6326 0.0)
(s6327 0.0)
(s6328 0.0)
(s6331 0.0)
(s6332 0.0)
(s6333 0.0)
(s6335 0.0)
(s6336 0.0)
(s6337 0.0)
(s6338 0.0)
(s6340 0.0)
(s6341 0.0)
(s6342 0.0)
(s6343 0.0)
(s6345 0.0)
(s6346 0.0)
(s6347 0.0)
(s6348 0.0)
(s6350 0.0)
(s6351 0.0)
(s6352 0.0)
(s6353 0.0)
(s6355 0.0)
(s6356 0.0)
(s6357 0.0)
(s6358 0.0)
(s6361 0.0)
(s6362 0.0)
(s6363 0.0)
(s6365 0.0)
(s6366 0.0)
(s6367 0.0)
(s6368 0.0)
(s6371 0.0)
(s6372 0.0)
(s6373 0.0)
(s6376 0.0)
(s6377 0.0)
(s6378 0.0)
(s6380 0.0)
(s6381 0.0)
(s6382 0.0)
(s6383 0.0)
(s6386 0.0)
(s6387 0.0)
(s6388 0.0)
(s6391 0.0)
(s6392 0.0)
(s6393 0.0)
(s6395 0.0)
(s6396 0.0)
(s6398 0.0)
(s6400 0.0)
(s6401 0.0)
(s6403 0.0)
(s6406 0.0)
(s6407 0.0)
(s6408 0.0)
(s6409 0.0)
(s6411 0.0)
(s6413 0.0)
(s6416 0.0)
(s6418 0.0)
(s6420 0.0)
(s6421 0.0)
(s6422 0.0)
(s6423 0.0)
(s6424 0.0)
(s6425 0.0)
(s6426 0.0)
(s6428 0.0)
(s6430 0.0)
(s6431 0.0)
(s6433 0.0)
(s6436 0.0)
(s6438 0.0)
(s6441 0.0)
(s6443 0.0)
(s6446 0.0)
(s6448 0.0)
(s6450 0.0)
(s6451 0.0)
(s6453 0.0)
(s6456 0.0)
(s6458 0.0)
(s6461 0.0)
(s6463 0.0)
(s6466 0.0)
(s6468 0.0)
(s6471 0.0)
(s6473 0.0)
(s6476 0.0)
(s6478 0.0)
(s6480 0.0)
(s6481 0.0)
(s6483 0.0)
(s6485 0.0)
(s6486 0.0)
(s6488 0.0)
(s6491 0.0)
(s6493 0.0)
(s6496 0.0)
(s6498 0.0)
(s6501 0.0)
(s6503 0.0)
(s6506 0.0)
(s6508 0.0)
(s6511 0.0)
(s6513 0.0)
(s6516 0.0)
(s6518 0.0)
(s6521 0.0)
(s6523 0.0)
(s6526 0.0)
(s6528 0.0)
(s6531 0.0)
(s6533 0.0)
(s6536 0.0)
(s6538 0.0)
(s6541 0.0)
(s6543 0.0)
(s6546 0.0)
(s6548 0.0)
(s6551 0.0)
(s6553 0.0)
(s6555 0.0)
(s6556 0.0)
(s6557 0.0)
(s6558 0.0)
(s6559 0.0)
(s6561 1.0)
(s6562 0.0)
(s6563 0.0)
(s6564 0.0)
(s6566 0.0)
(s6567 0.0)
(s6568 0.0)
(s6569 0.0)
(s6570 0.0)
(s6571 0.0)
(s6573 0.0)
(s6574 0.0)
(s6575 0.0)
(s6576 0.0)
(s6578 0.0)
(s6579 0.0)
(s6580 0.0)
(s6581 0.0)
(s6583 0.0)
(s6584 0.0)
(s6585 0.0)
(s6586 0.0)
(s6588 0.0)
(s6589 0.0)
(s6590 0.0)
(s6591 0.0)
(s6593 0.0)
(s6594 0.0)
(s6595 0.0)
(s6596 0.0)
(s6598 0.0)
(s6599 0.0)
(s6600 0.0)
(s6601 0.0)
(s6603 0.0)
(s6604 0.0)
(s6605 0.0)
(s6606 0.0)
(s6608 0.0)
(s6609 0.0)
(s6610 0.0)
(s6611 0.0)
(s6613 0.0)
(s6614 0.0)
(s6615 0.0)
(s6616 0.0)
(s6618 0.0)
(s6619 0.0)
(s6620 0.0)
(s6621 0.0)
(s6623 0.0)
(s6624 0.0)
(s6625 0.0)
(s6626 0.0)
(s6628 0.0)
(s6629 0.0)
(s6630 0.0)
(s6631 0.0)
(s6632 0.0)
(s6633 0.0)
(s6634 0.0)
(s6635 0.0)
(s6636 0.0)
(s6638 0.0)
(s6639 0.0)
(s6640 0.0)
(s6641 0.0)
(s6643 0.0)
(s6644 0.0)
(s6645 0.0)
(s6646 0.0)
(s6648 0.0)
(s6649 0.0)
(s6650 0.0)
(s6651 0.0)
(s6653 0.0)
(s6654 0.0)
(s6655 0.0)
(s6656 0.0)
(s6658 0.0)
(s6659 0.0)
(s6660 0.0)
(s6661 0.0)
(s6663 0.0)
(s6664 0.0)
(s6665 0.0)
(s6666 0.0)
(s6668 0.0)
(s6669 0.0)
(s6670 0.0)
(s6671 0.0)
(s6673 0.0)
(s6674 0.0)
(s6675 0.0)
(s6676 0.0)
(s6678 0.0)
(s6679 0.0)
(s6680 0.0)
(s6681 0.0)
(s6683 0.0)
(s6684 0.0)
(s6685 0.0)
(s6686 0.0)
(s6689 0.0)
(s6690 0.0)
(s6691 0.0)
(s6693 0.0)
(s6694 0.0)
(s6695 0.0)
(s6696 0.0)
(s6699 0.0)
(s6700 0.0)
(s6701 0.0)
(s6704 0.0)
(s6705 0.0)
(s6706 0.0)
(s6708 0.0)
(s6709 0.0)
(s6710 0.0)
(s6711 0.0)
(s6714 0.0)
(s6715 0.0)
(s6716 0.0)
(s6719 0.0)
(s6720 0.0)
(s6721 0.0)
(s6723 0.0)
(s6724 0.0)
(s6726 0.0)
(s6728 0.0)
(s6729 0.0)
(s6731 0.0)
(s6734 0.0)
(s6735 0.0)
(s6736 0.0)
(s6737 0.0)
(s6739 0.0)
(s6741 0.0)
(s6744 0.0)
(s6746 0.0)
(s6748 0.0)
(s6749 0.0)
(s6750 0.0)
(s6751 0.0)
(s6752 0.0)
(s6753 0.0)
(s6754 0.0)
(s6756 0.0)
(s6758 0.0)
(s6759 0.0)
(s6761 0.0)
(s6764 0.0)
(s6766 0.0)
(s6769 0.0)
(s6771 0.0)
(s6774 0.0)
(s6776 0.0)
(s6778 0.0)
(s6779 0.0)
(s6781 0.0)
(s6784 0.0)
(s6786 0.0)
(s6789 0.0)
(s6791 0.0)
(s6794 0.0)
(s6796 0.0)
(s6799 0.0)
(s6801 0.0)
(s6804 0.0)
(s6806 0.0)
(s6808 0.0)
(s6809 0.0)
(s6811 0.0)
(s6813 0.0)
(s6814 0.0)
(s6816 0.0)
(s6819 0.0)
(s6821 0.0)
(s6824 0.0)
(s6826 0.0)
(s6829 0.0)
(s6831 0.0)
(s6834 0.0)
(s6836 0.0)
(s6839 0.0)
(s6841 0.0)
(s6844 0.0)
(s6846 0.0)
(s6849 0.0)
(s6851 0.0)
(s6854 0.0)
(s6856 0.0)
(s6859 0.0)
(s6861 0.0)
(s6864 0.0)
(s6866 0.0)
(s6869 0.0)
(s6871 0.0)
(s6874 0.0)
(s6876 0.0)
(s6879 0.0)
(s6881 0.0)
(s6883 0.0)
(s6884 0.0)
(s6885 0.0)
(s6886 0.0)
(s6888 0.0)
(s6889 1.0)
(s6890 0.0)
(s6891 0.0)
(s6892 0.0)
(s6894 0.0)
(s6895 0.0)
(s6896 0.0)
(s6897 0.0)
(s6898 0.0)
(s6899 0.0)
(s6901 0.0)
(s6902 0.0)
(s6903 0.0)
(s6904 0.0)
(s6906 0.0)
(s6907 0.0)
(s6908 0.0)
(s6909 0.0)
(s6911 0.0)
(s6912 0.0)
(s6913 0.0)
(s6914 0.0)
(s6916 0.0)
(s6917 0.0)
(s6918 0.0)
(s6919 0.0)
(s6921 0.0)
(s6922 0.0)
(s6923 0.0)
(s6924 0.0)
(s6926 0.0)
(s6927 0.0)
(s6928 0.0)
(s6929 0.0)
(s6931 0.0)
(s6932 0.0)
(s6933 0.0)
(s6934 0.0)
(s6936 0.0)
(s6937 0.0)
(s6938 0.0)
(s6939 0.0)
(s6941 0.0)
(s6942 0.0)
(s6943 0.0)
(s6944 0.0)
(s6946 0.0)
(s6947 0.0)
(s6948 0.0)
(s6949 0.0)
(s6951 0.0)
(s6952 0.0)
(s6953 0.0)
(s6954 0.0)
(s6956 0.0)
(s6957 0.0)
(s6958 0.0)
(s6959 0.0)
(s6960 0.0)
(s6961 0.0)
(s6962 0.0)
(s6963 0.0)
(s6964 0.0)
(s6966 0.0)
(s6967 0.0)
(s6968 0.0)
(s6969 0.0)
(s6971 0.0)
(s6972 0.0)
(s6973 0.0)
(s6974 0.0)
(s6976 0.0)
(s6977 0.0)
(s6978 0.0)
(s6979 0.0)
(s6981 0.0)
(s6982 0.0)
(s6983 0.0)
(s6984 0.0)
(s6986 0.0)
(s6987 0.0)
(s6988 0.0)
(s6989 0.0)
(s6992 0.0)
(s6993 0.0)
(s6994 0.0)
(s6996 0.0)
(s6997 0.0)
(s6998 0.0)
(s6999 0.0)
(s7001 0.0)
(s7002 0.0)
(s7003 0.0)
(s7004 0.0)
(s7006 0.0)
(s7007 0.0)
(s7008 0.0)
(s7009 0.0)
(s7011 0.0)
(s7012 0.0)
(s7013 0.0)
(s7014 0.0)
(s7017 0.0)
(s7018 0.0)
(s7019 0.0)
(s7021 0.0)
(s7022 0.0)
(s7023 0.0)
(s7024 0.0)
(s7027 0.0)
(s7028 0.0)
(s7029 0.0)
(s7032 0.0)
(s7033 0.0)
(s7034 0.0)
(s7036 0.0)
(s7037 0.0)
(s7038 0.0)
(s7039 0.0)
(s7042 0.0)
(s7043 0.0)
(s7044 0.0)
(s7047 0.0)
(s7048 0.0)
(s7049 0.0)
(s7051 0.0)
(s7052 0.0)
(s7054 0.0)
(s7056 0.0)
(s7057 0.0)
(s7059 0.0)
(s7062 0.0)
(s7063 0.0)
(s7064 0.0)
(s7065 0.0)
(s7067 0.0)
(s7069 0.0)
(s7072 0.0)
(s7074 0.0)
(s7076 0.0)
(s7077 0.0)
(s7078 0.0)
(s7079 0.0)
(s7080 0.0)
(s7081 0.0)
(s7082 0.0)
(s7084 0.0)
(s7086 0.0)
(s7087 0.0)
(s7089 0.0)
(s7092 0.0)
(s7094 0.0)
(s7097 0.0)
(s7099 0.0)
(s7102 0.0)
(s7104 0.0)
(s7106 0.0)
(s7107 0.0)
(s7109 0.0)
(s7112 0.0)
(s7114 0.0)
(s7117 0.0)
(s7119 0.0)
(s7122 0.0)
(s7124 0.0)
(s7127 0.0)
(s7129 0.0)
(s7132 0.0)
(s7134 0.0)
(s7136 0.0)
(s7137 0.0)
(s7139 0.0)
(s7141 0.0)
(s7142 0.0)
(s7144 0.0)
(s7147 0.0)
(s7149 0.0)
(s7152 0.0)
(s7154 0.0)
(s7157 0.0)
(s7159 0.0)
(s7162 0.0)
(s7164 0.0)
(s7167 0.0)
(s7169 0.0)
(s7172 0.0)
(s7174 0.0)
(s7177 0.0)
(s7179 0.0)
(s7182 0.0)
(s7184 0.0)
(s7187 0.0)
(s7189 0.0)
(s7192 0.0)
(s7194 0.0)
(s7197 0.0)
(s7199 0.0)
(s7202 0.0)
(s7204 0.0)
(s7207 0.0)
(s7209 0.0)
(s7211 0.0)
(s7212 0.0)
(s7213 0.0)
(s7214 0.0)
(s7215 0.0)
(s7217 1.0)
(s7218 0.0)
(s7219 0.0)
(s7220 0.0)
(s7222 0.0)
(s7223 0.0)
(s7224 0.0)
(s7225 0.0)
(s7226 0.0)
(s7227 0.0)
(s7229 0.0)
(s7230 0.0)
(s7231 0.0)
(s7232 0.0)
(s7234 0.0)
(s7235 0.0)
(s7236 0.0)
(s7237 0.0)
(s7239 0.0)
(s7240 0.0)
(s7241 0.0)
(s7242 0.0)
(s7244 0.0)
(s7245 0.0)
(s7246 0.0)
(s7247 0.0)
(s7249 0.0)
(s7250 0.0)
(s7251 0.0)
(s7252 0.0)
(s7254 0.0)
(s7255 0.0)
(s7256 0.0)
(s7257 0.0)
(s7259 0.0)
(s7260 0.0)
(s7261 0.0)
(s7262 0.0)
(s7264 0.0)
(s7265 0.0)
(s7266 0.0)
(s7267 0.0)
(s7269 0.0)
(s7270 0.0)
(s7271 0.0)
(s7272 0.0)
(s7274 0.0)
(s7275 0.0)
(s7276 0.0)
(s7277 0.0)
(s7279 0.0)
(s7280 0.0)
(s7281 0.0)
(s7282 0.0)
(s7284 0.0)
(s7285 0.0)
(s7286 0.0)
(s7287 0.0)
(s7288 0.0)
(s7289 0.0)
(s7290 0.0)
(s7291 0.0)
(s7292 0.0)
(s7294 0.0)
(s7295 0.0)
(s7296 0.0)
(s7297 0.0)
(s7299 0.0)
(s7300 0.0)
(s7301 0.0)
(s7302 0.0)
(s7304 0.0)
(s7305 0.0)
(s7306 0.0)
(s7307 0.0)
(s7309 0.0)
(s7310 0.0)
(s7311 0.0)
(s7312 0.0)
(s7314 0.0)
(s7315 0.0)
(s7316 0.0)
(s7317 0.0)
(s7320 0.0)
(s7321 0.0)
(s7322 0.0)
(s7324 0.0)
(s7325 0.0)
(s7326 0.0)
(s7327 0.0)
(s7329 0.0)
(s7330 0.0)
(s7331 0.0)
(s7332 0.0)
(s7334 0.0)
(s7335 0.0)
(s7336 0.0)
(s7337 0.0)
(s7339 0.0)
(s7340 0.0)
(s7341 0.0)
(s7342 0.0)
(s7345 0.0)
(s7346 0.0)
(s7347 0.0)
(s7349 0.0)
(s7350 0.0)
(s7351 0.0)
(s7352 0.0)
(s7355 0.0)
(s7356 0.0)
(s7357 0.0)
(s7360 0.0)
(s7361 0.0)
(s7362 0.0)
(s7364 0.0)
(s7365 0.0)
(s7366 0.0)
(s7367 0.0)
(s7370 0.0)
(s7371 0.0)
(s7372 0.0)
(s7375 0.0)
(s7376 0.0)
(s7377 0.0)
(s7379 0.0)
(s7380 0.0)
(s7382 0.0)
(s7384 0.0)
(s7385 0.0)
(s7387 0.0)
(s7390 0.0)
(s7391 0.0)
(s7392 0.0)
(s7393 0.0)
(s7395 0.0)
(s7397 0.0)
(s7400 0.0)
(s7402 0.0)
(s7404 0.0)
(s7405 0.0)
(s7406 0.0)
(s7407 0.0)
(s7408 0.0)
(s7409 0.0)
(s7410 0.0)
(s7412 0.0)
(s7414 0.0)
(s7415 0.0)
(s7417 0.0)
(s7420 0.0)
(s7422 0.0)
(s7425 0.0)
(s7427 0.0)
(s7430 0.0)
(s7432 0.0)
(s7434 0.0)
(s7435 0.0)
(s7437 0.0)
(s7440 0.0)
(s7442 0.0)
(s7445 0.0)
(s7447 0.0)
(s7450 0.0)
(s7452 0.0)
(s7455 0.0)
(s7457 0.0)
(s7460 0.0)
(s7462 0.0)
(s7464 0.0)
(s7465 0.0)
(s7467 0.0)
(s7469 0.0)
(s7470 0.0)
(s7472 0.0)
(s7475 0.0)
(s7477 0.0)
(s7480 0.0)
(s7482 0.0)
(s7485 0.0)
(s7487 0.0)
(s7490 0.0)
(s7492 0.0)
(s7495 0.0)
(s7497 0.0)
(s7500 0.0)
(s7502 0.0)
(s7505 0.0)
(s7507 0.0)
(s7510 0.0)
(s7512 0.0)
(s7515 0.0)
(s7517 0.0)
(s7520 0.0)
(s7522 0.0)
(s7525 0.0)
(s7527 0.0)
(s7530 0.0)
(s7532 0.0)
(s7535 0.0)
(s7537 0.0)
(s7539 0.0)
(s7540 0.0)
(s7541 0.0)
(s7542 0.0)
(s7543 0.0)
(s7545 1.0)
(s7546 0.0)
(s7547 0.0)
(s7548 0.0)
(s7550 0.0)
(s7551 0.0)
(s7552 0.0)
(s7553 0.0)
(s7554 0.0)
(s7555 0.0)
(s7557 0.0)
(s7558 0.0)
(s7559 0.0)
(s7560 0.0)
(s7562 0.0)
(s7563 0.0)
(s7564 0.0)
(s7565 0.0)
(s7567 0.0)
(s7568 0.0)
(s7569 0.0)
(s7570 0.0)
(s7572 0.0)
(s7573 0.0)
(s7574 0.0)
(s7575 0.0)
(s7577 0.0)
(s7578 0.0)
(s7579 0.0)
(s7580 0.0)
(s7582 0.0)
(s7583 0.0)
(s7584 0.0)
(s7585 0.0)
(s7587 0.0)
(s7588 0.0)
(s7589 0.0)
(s7590 0.0)
(s7592 0.0)
(s7593 0.0)
(s7594 0.0)
(s7595 0.0)
(s7597 0.0)
(s7598 0.0)
(s7599 0.0)
(s7600 0.0)
(s7602 0.0)
(s7603 0.0)
(s7604 0.0)
(s7605 0.0)
(s7607 0.0)
(s7608 0.0)
(s7609 0.0)
(s7610 0.0)
(s7612 0.0)
(s7613 0.0)
(s7614 0.0)
(s7615 0.0)
(s7616 0.0)
(s7617 0.0)
(s7618 0.0)
(s7619 0.0)
(s7620 0.0)
(s7622 0.0)
(s7623 0.0)
(s7624 0.0)
(s7625 0.0)
(s7627 0.0)
(s7628 0.0)
(s7629 0.0)
(s7630 0.0)
(s7632 0.0)
(s7633 0.0)
(s7634 0.0)
(s7635 0.0)
(s7637 0.0)
(s7638 0.0)
(s7639 0.0)
(s7640 0.0)
(s7642 0.0)
(s7643 0.0)
(s7644 0.0)
(s7645 0.0)
(s7648 0.0)
(s7649 0.0)
(s7650 0.0)
(s7652 0.0)
(s7653 0.0)
(s7654 0.0)
(s7655 0.0)
(s7657 0.0)
(s7658 0.0)
(s7659 0.0)
(s7660 0.0)
(s7662 0.0)
(s7663 0.0)
(s7664 0.0)
(s7665 0.0)
(s7667 0.0)
(s7668 0.0)
(s7669 0.0)
(s7670 0.0)
(s7673 0.0)
(s7674 0.0)
(s7675 0.0)
(s7677 0.0)
(s7678 0.0)
(s7679 0.0)
(s7680 0.0)
(s7683 0.0)
(s7684 0.0)
(s7685 0.0)
(s7688 0.0)
(s7689 0.0)
(s7690 0.0)
(s7692 0.0)
(s7693 0.0)
(s7694 0.0)
(s7695 0.0)
(s7698 0.0)
(s7699 0.0)
(s7700 0.0)
(s7703 0.0)
(s7704 0.0)
(s7705 0.0)
(s7707 0.0)
(s7708 0.0)
(s7710 0.0)
(s7712 0.0)
(s7713 0.0)
(s7715 0.0)
(s7718 0.0)
(s7719 0.0)
(s7720 0.0)
(s7721 0.0)
(s7723 0.0)
(s7725 0.0)
(s7728 0.0)
(s7730 0.0)
(s7732 0.0)
(s7733 0.0)
(s7734 0.0)
(s7735 0.0)
(s7736 0.0)
(s7737 0.0)
(s7738 0.0)
(s7740 0.0)
(s7742 0.0)
(s7743 0.0)
(s7745 0.0)
(s7748 0.0)
(s7750 0.0)
(s7753 0.0)
(s7755 0.0)
(s7758 0.0)
(s7760 0.0)
(s7762 0.0)
(s7763 0.0)
(s7765 0.0)
(s7768 0.0)
(s7770 0.0)
(s7773 0.0)
(s7775 0.0)
(s7778 0.0)
(s7780 0.0)
(s7783 0.0)
(s7785 0.0)
(s7788 0.0)
(s7790 0.0)
(s7792 0.0)
(s7793 0.0)
(s7795 0.0)
(s7797 0.0)
(s7798 0.0)
(s7800 0.0)
(s7803 0.0)
(s7805 0.0)
(s7808 0.0)
(s7810 0.0)
(s7813 0.0)
(s7815 0.0)
(s7818 0.0)
(s7820 0.0)
(s7823 0.0)
(s7825 0.0)
(s7828 0.0)
(s7830 0.0)
(s7833 0.0)
(s7835 0.0)
(s7838 0.0)
(s7840 0.0)
(s7843 0.0)
(s7845 0.0)
(s7848 0.0)
(s7850 0.0)
(s7853 0.0)
(s7855 0.0)
(s7858 0.0)
(s7860 0.0)
(s7863 0.0)
(s7865 0.0)
(s7867 0.0)
(s7868 0.0)
(s7869 0.0)
(s7870 0.0)
(s7871 0.0)
(s7873 1.0)
(s7874 0.0)
(s7875 0.0)
(s7876 0.0)
(s7878 0.0)
(s7879 0.0)
(s7880 0.0)
(s7881 0.0)
(s7882 0.0)
(s7883 0.0)
(s7885 0.0)
(s7886 0.0)
(s7887 0.0)
(s7888 0.0)
(s7890 0.0)
(s7891 0.0)
(s7892 0.0)
(s7893 0.0)
(s7895 0.0)
(s7896 0.0)
(s7897 0.0)
(s7898 0.0)
(s7900 0.0)
(s7901 0.0)
(s7902 0.0)
(s7903 0.0)
(s7905 0.0)
(s7906 0.0)
(s7907 0.0)
(s7908 0.0)
(s7910 0.0)
(s7911 0.0)
(s7912 0.0)
(s7913 0.0)
(s7915 0.0)
(s7916 0.0)
(s7917 0.0)
(s7918 0.0)
(s7920 0.0)
(s7921 0.0)
(s7922 0.0)
(s7923 0.0)
(s7925 0.0)
(s7926 0.0)
(s7927 0.0)
(s7928 0.0)
(s7930 0.0)
(s7931 0.0)
(s7932 0.0)
(s7933 0.0)
(s7935 0.0)
(s7936 0.0)
(s7937 0.0)
(s7938 0.0)
(s7940 0.0)
(s7941 0.0)
(s7942 0.0)
(s7943 0.0)
(s7944 0.0)
(s7945 0.0)
(s7946 0.0)
(s7947 0.0)
(s7948 0.0)
(s7950 0.0)
(s7951 0.0)
(s7952 0.0)
(s7953 0.0)
(s7955 0.0)
(s7956 0.0)
(s7957 0.0)
(s7958 0.0)
(s7960 0.0)
(s7961 0.0)
(s7962 0.0)
(s7963 0.0)
(s7965 0.0)
(s7966 0.0)
(s7967 0.0)
(s7968 0.0)
(s7970 0.0)
(s7971 0.0)
(s7972 0.0)
(s7973 0.0)
(s7976 0.0)
(s7977 0.0)
(s7978 0.0)
(s7980 0.0)
(s7981 0.0)
(s7982 0.0)
(s7983 0.0)
(s7985 0.0)
(s7986 0.0)
(s7987 0.0)
(s7988 0.0)
(s7990 0.0)
(s7991 0.0)
(s7992 0.0)
(s7993 0.0)
(s7995 0.0)
(s7996 0.0)
(s7997 0.0)
(s7998 0.0)
(s8001 0.0)
(s8002 0.0)
(s8003 0.0)
(s8005 0.0)
(s8006 0.0)
(s8007 0.0)
(s8008 0.0)
(s8011 0.0)
(s8012 0.0)
(s8013 0.0)
(s8016 0.0)
(s8017 0.0)
(s8018 0.0)
(s8020 0.0)
(s8021 0.0)
(s8022 0.0)
(s8023 0.0)
(s8026 0.0)
(s8027 0.0)
(s8028 0.0)
(s8031 0.0)
(s8032 0.0)
(s8033 0.0)
(s8035 0.0)
(s8036 0.0)
(s8038 0.0)
(s8040 0.0)
(s8041 0.0)
(s8043 0.0)
(s8046 0.0)
(s8047 0.0)
(s8048 0.0)
(s8049 0.0)
(s8051 0.0)
(s8053 0.0)
(s8056 0.0)
(s8058 0.0)
(s8060 0.0)
(s8061 0.0)
(s8062 0.0)
(s8063 0.0)
(s8064 0.0)
(s8065 0.0)
(s8066 0.0)
(s8068 0.0)
(s8070 0.0)
(s8071 0.0)
(s8073 0.0)
(s8076 0.0)
(s8078 0.0)
(s8081 0.0)
(s8083 0.0)
(s8086 0.0)
(s8088 0.0)
(s8090 0.0)
(s8091 0.0)
(s8093 0.0)
(s8096 0.0)
(s8098 0.0)
(s8101 0.0)
(s8103 0.0)
(s8106 0.0)
(s8108 0.0)
(s8111 0.0)
(s8113 0.0)
(s8116 0.0)
(s8118 0.0)
(s8120 0.0)
(s8121 0.0)
(s8123 0.0)
(s8125 0.0)
(s8126 0.0)
(s8128 0.0)
(s8131 0.0)
(s8133 0.0)
(s8136 0.0)
(s8138 0.0)
(s8141 0.0)
(s8143 0.0)
(s8146 0.0)
(s8148 0.0)
(s8151 0.0)
(s8153 0.0)
(s8156 0.0)
(s8158 0.0)
(s8161 0.0)
(s8163 0.0)
(s8166 0.0)
(s8168 0.0)
(s8171 0.0)
(s8173 0.0)
(s8176 0.0)
(s8178 0.0)
(s8181 0.0)
(s8183 0.0)
(s8186 0.0)
(s8188 0.0)
(s8191 0.0)
(s8193 0.0)
(s8195 0.0)
(s8196 0.0)
(s8197 0.0)
(s8198 0.0)
(s8199 0.0)
(s8201 1.0)
(s8202 0.0)
(s8203 0.0)
(s8204 0.0)
(s8206 0.0)
(s8207 0.0)
(s8208 0.0)
(s8209 0.0)
(s8210 0.0)
(s8211 0.0)
(s8213 0.0)
(s8214 0.0)
(s8215 0.0)
(s8216 0.0)
(s8218 0.0)
(s8219 0.0)
(s8220 0.0)
(s8221 0.0)
(s8223 0.0)
(s8224 0.0)
(s8225 0.0)
(s8226 0.0)
(s8228 0.0)
(s8229 0.0)
(s8230 0.0)
(s8231 0.0)
(s8233 0.0)
(s8234 0.0)
(s8235 0.0)
(s8236 0.0)
(s8238 0.0)
(s8239 0.0)
(s8240 0.0)
(s8241 0.0)
(s8243 0.0)
(s8244 0.0)
(s8245 0.0)
(s8246 0.0)
(s8248 0.0)
(s8249 0.0)
(s8250 0.0)
(s8251 0.0)
(s8253 0.0)
(s8254 0.0)
(s8255 0.0)
(s8256 0.0)
(s8258 0.0)
(s8259 0.0)
(s8260 0.0)
(s8261 0.0)
(s8263 0.0)
(s8264 0.0)
(s8265 0.0)
(s8266 0.0)
(s8268 0.0)
(s8269 0.0)
(s8270 0.0)
(s8271 0.0)
(s8272 0.0)
(s8273 0.0)
(s8274 0.0)
(s8275 0.0)
(s8276 0.0)
(s8278 0.0)
(s8279 0.0)
(s8280 0.0)
(s8281 0.0)
(s8283 0.0)
(s8284 0.0)
(s8285 0.0)
(s8286 0.0)
(s8288 0.0)
(s8289 0.0)
(s8290 0.0)
(s8291 0.0)
(s8293 0.0)
(s8294 0.0)
(s8295 0.0)
(s8296 0.0)
(s8298 0.0)
(s8299 0.0)
(s8300 0.0)
(s8301 0.0)
(s8304 0.0)
(s8305 0.0)
(s8306 0.0)
(s8308 0.0)
(s8309 0.0)
(s8310 0.0)
(s8311 0.0)
(s8313 0.0)
(s8314 0.0)
(s8315 0.0)
(s8316 0.0)
(s8318 0.0)
(s8319 0.0)
(s8320 0.0)
(s8321 0.0)
(s8323 0.0)
(s8324 0.0)
(s8325 0.0)
(s8326 0.0)
(s8329 0.0)
(s8330 0.0)
(s8331 0.0)
(s8333 0.0)
(s8334 0.0)
(s8335 0.0)
(s8336 0.0)
(s8339 0.0)
(s8340 0.0)
(s8341 0.0)
(s8344 0.0)
(s8345 0.0)
(s8346 0.0)
(s8348 0.0)
(s8349 0.0)
(s8350 0.0)
(s8351 0.0)
(s8354 0.0)
(s8355 0.0)
(s8356 0.0)
(s8359 0.0)
(s8360 0.0)
(s8361 0.0)
(s8363 0.0)
(s8364 0.0)
(s8366 0.0)
(s8368 0.0)
(s8369 0.0)
(s8371 0.0)
(s8374 0.0)
(s8375 0.0)
(s8376 0.0)
(s8377 0.0)
(s8379 0.0)
(s8381 0.0)
(s8384 0.0)
(s8386 0.0)
(s8388 0.0)
(s8389 0.0)
(s8390 0.0)
(s8391 0.0)
(s8392 0.0)
(s8393 0.0)
(s8394 0.0)
(s8396 0.0)
(s8398 0.0)
(s8399 0.0)
(s8401 0.0)
(s8404 0.0)
(s8406 0.0)
(s8409 0.0)
(s8411 0.0)
(s8414 0.0)
(s8416 0.0)
(s8418 0.0)
(s8419 0.0)
(s8421 0.0)
(s8424 0.0)
(s8426 0.0)
(s8429 0.0)
(s8431 0.0)
(s8434 0.0)
(s8436 0.0)
(s8439 0.0)
(s8441 0.0)
(s8444 0.0)
(s8446 0.0)
(s8448 0.0)
(s8449 0.0)
(s8451 0.0)
(s8453 0.0)
(s8454 0.0)
(s8456 0.0)
(s8459 0.0)
(s8461 0.0)
(s8464 0.0)
(s8466 0.0)
(s8469 0.0)
(s8471 0.0)
(s8474 0.0)
(s8476 0.0)
(s8479 0.0)
(s8481 0.0)
(s8484 0.0)
(s8486 0.0)
(s8489 0.0)
(s8491 0.0)
(s8494 0.0)
(s8496 0.0)
(s8499 0.0)
(s8501 0.0)
(s8504 0.0)
(s8506 0.0)
(s8509 0.0)
(s8511 0.0)
(s8514 0.0)
(s8516 0.0)
(s8519 0.0)
(s8521 0.0)
(s8523 0.0)
(s8524 0.0)
(s8525 0.0)
(s8526 0.0)
(s8527 0.0)
(s8529 1.0)
(s8530 0.0)
(s8531 0.0)
(s8532 0.0)
(s8534 0.0)
(s8535 0.0)
(s8536 0.0)
(s8537 0.0)
(s8538 0.0)
(s8539 0.0)
(s8541 0.0)
(s8542 0.0)
(s8543 0.0)
(s8544 0.0)
(s8546 0.0)
(s8547 0.0)
(s8548 0.0)
(s8549 0.0)
(s8551 0.0)
(s8552 0.0)
(s8553 0.0)
(s8554 0.0)
(s8556 0.0)
(s8557 0.0)
(s8558 0.0)
(s8559 0.0)
(s8561 0.0)
(s8562 0.0)
(s8563 0.0)
(s8564 0.0)
(s8566 0.0)
(s8567 0.0)
(s8568 0.0)
(s8569 0.0)
(s8571 0.0)
(s8572 0.0)
(s8573 0.0)
(s8574 0.0)
(s8576 0.0)
(s8577 0.0)
(s8578 0.0)
(s8579 0.0)
(s8581 0.0)
(s8582 0.0)
(s8583 0.0)
(s8584 0.0)
(s8586 0.0)
(s8587 0.0)
(s8588 0.0)
(s8589 0.0)
(s8591 0.0)
(s8592 0.0)
(s8593 0.0)
(s8594 0.0)
(s8596 0.0)
(s8597 0.0)
(s8598 0.0)
(s8599 0.0)
(s8600 0.0)
(s8601 0.0)
(s8602 0.0)
(s8603 0.0)
(s8604 0.0)
(s8606 0.0)
(s8607 0.0)
(s8608 0.0)
(s8609 0.0)
(s8611 0.0)
(s8612 0.0)
(s8613 0.0)
(s8614 0.0)
(s8616 0.0)
(s8617 0.0)
(s8618 0.0)
(s8619 0.0)
(s8621 0.0)
(s8622 0.0)
(s8623 0.0)
(s8624 0.0)
(s8626 0.0)
(s8627 0.0)
(s8628 0.0)
(s8629 0.0)
(s8632 0.0)
(s8633 0.0)
(s8634 0.0)
(s8636 0.0)
(s8637 0.0)
(s8638 0.0)
(s8639 0.0)
(s8641 0.0)
(s8642 0.0)
(s8643 0.0)
(s8644 0.0)
(s8646 0.0)
(s8647 0.0)
(s8648 0.0)
(s8649 0.0)
(s8651 0.0)
(s8652 0.0)
(s8653 0.0)
(s8654 0.0)
(s8656 0.0)
(s8657 0.0)
(s8658 0.0)
(s8659 0.0)
(s8661 0.0)
(s8662 0.0)
(s8663 0.0)
(s8664 0.0)
(s8667 0.0)
(s8668 0.0)
(s8669 0.0)
(s8672 0.0)
(s8673 0.0)
(s8674 0.0)
(s8676 0.0)
(s8677 0.0)
(s8678 0.0)
(s8679 0.0)
(s8682 0.0)
(s8683 0.0)
(s8684 0.0)
(s8687 0.0)
(s8688 0.0)
(s8689 0.0)
(s8691 0.0)
(s8692 0.0)
(s8694 0.0)
(s8696 0.0)
(s8697 0.0)
(s8699 0.0)
(s8702 0.0)
(s8703 0.0)
(s8704 0.0)
(s8705 0.0)
(s8707 0.0)
(s8709 0.0)
(s8712 0.0)
(s8714 0.0)
(s8716 0.0)
(s8717 0.0)
(s8718 0.0)
(s8719 0.0)
(s8720 0.0)
(s8721 0.0)
(s8722 0.0)
(s8724 0.0)
(s8726 0.0)
(s8727 0.0)
(s8729 0.0)
(s8732 0.0)
(s8734 0.0)
(s8737 0.0)
(s8739 0.0)
(s8742 0.0)
(s8744 0.0)
(s8746 0.0)
(s8747 0.0)
(s8749 0.0)
(s8752 0.0)
(s8754 0.0)
(s8757 0.0)
(s8759 0.0)
(s8762 0.0)
(s8764 0.0)
(s8767 0.0)
(s8769 0.0)
(s8772 0.0)
(s8774 0.0)
(s8776 0.0)
(s8777 0.0)
(s8779 0.0)
(s8781 0.0)
(s8782 0.0)
(s8784 0.0)
(s8787 0.0)
(s8789 0.0)
(s8792 0.0)
(s8794 0.0)
(s8797 0.0)
(s8799 0.0)
(s8802 0.0)
(s8804 0.0)
(s8807 0.0)
(s8809 0.0)
(s8812 0.0)
(s8814 0.0)
(s8817 0.0)
(s8819 0.0)
(s8822 0.0)
(s8824 0.0)
(s8827 0.0)
(s8829 0.0)
(s8832 0.0)
(s8834 0.0)
(s8837 0.0)
(s8839 0.0)
(s8842 0.0)
(s8844 0.0)
(s8847 0.0)
(s8849 0.0)
(s8851 0.0)
(s8852 0.0)
(s8853 0.0)
(s8854 0.0)
(s8856 0.0)
(s8857 1.0)
(s8858 0.0)
(s8859 0.0)
(s8860 0.0)
(s8862 0.0)
(s8863 0.0)
(s8864 0.0)
(s8865 0.0)
(s8866 0.0)
(s8867 0.0)
(s8869 0.0)
(s8870 0.0)
(s8871 0.0)
(s8872 0.0)
(s8874 0.0)
(s8875 0.0)
(s8876 0.0)
(s8877 0.0)
(s8879 0.0)
(s8880 0.0)
(s8881 0.0)
(s8882 0.0)
(s8884 0.0)
(s8885 0.0)
(s8886 0.0)
(s8887 0.0)
(s8889 0.0)
(s8890 0.0)
(s8891 0.0)
(s8892 0.0)
(s8894 0.0)
(s8895 0.0)
(s8896 0.0)
(s8897 0.0)
(s8899 0.0)
(s8900 0.0)
(s8901 0.0)
(s8902 0.0)
(s8904 0.0)
(s8905 0.0)
(s8906 0.0)
(s8907 0.0)
(s8909 0.0)
(s8910 0.0)
(s8911 0.0)
(s8912 0.0)
(s8914 0.0)
(s8915 0.0)
(s8916 0.0)
(s8917 0.0)
(s8919 0.0)
(s8920 0.0)
(s8921 0.0)
(s8922 0.0)
(s8924 0.0)
(s8925 0.0)
(s8926 0.0)
(s8927 0.0)
(s8928 0.0)
(s8929 0.0)
(s8930 0.0)
(s8931 0.0)
(s8932 0.0)
(s8934 0.0)
(s8935 0.0)
(s8936 0.0)
(s8937 0.0)
(s8939 0.0)
(s8940 0.0)
(s8941 0.0)
(s8942 0.0)
(s8944 0.0)
(s8945 0.0)
(s8946 0.0)
(s8947 0.0)
(s8949 0.0)
(s8950 0.0)
(s8951 0.0)
(s8952 0.0)
(s8954 0.0)
(s8955 0.0)
(s8956 0.0)
(s8957 0.0)
(s8960 0.0)
(s8961 0.0)
(s8962 0.0)
(s8964 0.0)
(s8965 0.0)
(s8966 0.0)
(s8967 0.0)
(s8969 0.0)
(s8970 0.0)
(s8971 0.0)
(s8972 0.0)
(s8974 0.0)
(s8975 0.0)
(s8976 0.0)
(s8977 0.0)
(s8979 0.0)
(s8980 0.0)
(s8981 0.0)
(s8982 0.0)
(s8984 0.0)
(s8985 0.0)
(s8986 0.0)
(s8987 0.0)
(s8990 0.0)
(s8991 0.0)
(s8992 0.0)
(s8995 0.0)
(s8996 0.0)
(s8997 0.0)
(s9000 0.0)
(s9001 0.0)
(s9002 0.0)
(s9004 0.0)
(s9005 0.0)
(s9006 0.0)
(s9007 0.0)
(s9010 0.0)
(s9011 0.0)
(s9012 0.0)
(s9015 0.0)
(s9016 0.0)
(s9017 0.0)
(s9019 0.0)
(s9020 0.0)
(s9022 0.0)
(s9024 0.0)
(s9025 0.0)
(s9027 0.0)
(s9030 0.0)
(s9031 0.0)
(s9032 0.0)
(s9033 0.0)
(s9035 0.0)
(s9037 0.0)
(s9040 0.0)
(s9042 0.0)
(s9044 0.0)
(s9045 0.0)
(s9046 0.0)
(s9047 0.0)
(s9048 0.0)
(s9049 0.0)
(s9050 0.0)
(s9052 0.0)
(s9054 0.0)
(s9055 0.0)
(s9057 0.0)
(s9060 0.0)
(s9062 0.0)
(s9065 0.0)
(s9067 0.0)
(s9070 0.0)
(s9072 0.0)
(s9074 0.0)
(s9075 0.0)
(s9077 0.0)
(s9080 0.0)
(s9082 0.0)
(s9085 0.0)
(s9087 0.0)
(s9090 0.0)
(s9092 0.0)
(s9095 0.0)
(s9097 0.0)
(s9100 0.0)
(s9102 0.0)
(s9104 0.0)
(s9105 0.0)
(s9107 0.0)
(s9109 0.0)
(s9110 0.0)
(s9112 0.0)
(s9115 0.0)
(s9117 0.0)
(s9120 0.0)
(s9122 0.0)
(s9125 0.0)
(s9127 0.0)
(s9130 0.0)
(s9132 0.0)
(s9135 0.0)
(s9137 0.0)
(s9140 0.0)
(s9142 0.0)
(s9145 0.0)
(s9147 0.0)
(s9150 0.0)
(s9152 0.0)
(s9155 0.0)
(s9157 0.0)
(s9160 0.0)
(s9162 0.0)
(s9165 0.0)
(s9167 0.0)
(s9170 0.0)
(s9172 0.0)
(s9175 0.0)
(s9177 0.0)
(s9179 0.0)
(s9180 0.0)
(s9181 0.0)
(s9182 0.0)
(s9183 0.0)
(s9185 1.0)
(s9186 0.0)
(s9187 0.0)
(s9188 0.0)
(s9190 0.0)
(s9191 0.0)
(s9192 0.0)
(s9193 0.0)
(s9194 0.0)
(s9195 0.0)
(s9197 0.0)
(s9198 0.0)
(s9199 0.0)
(s9200 0.0)
(s9202 0.0)
(s9203 0.0)
(s9204 0.0)
(s9205 0.0)
(s9207 0.0)
(s9208 0.0)
(s9209 0.0)
(s9210 0.0)
(s9212 0.0)
(s9213 0.0)
(s9214 0.0)
(s9215 0.0)
(s9217 0.0)
(s9218 0.0)
(s9219 0.0)
(s9220 0.0)
(s9222 0.0)
(s9223 0.0)
(s9224 0.0)
(s9225 0.0)
(s9227 0.0)
(s9228 0.0)
(s9229 0.0)
(s9230 0.0)
(s9232 0.0)
(s9233 0.0)
(s9234 0.0)
(s9235 0.0)
(s9237 0.0)
(s9238 0.0)
(s9239 0.0)
(s9240 0.0)
(s9242 0.0)
(s9243 0.0)
(s9244 0.0)
(s9245 0.0)
(s9247 0.0)
(s9248 0.0)
(s9249 0.0)
(s9250 0.0)
(s9252 0.0)
(s9253 0.0)
(s9254 0.0)
(s9255 0.0)
(s9256 0.0)
(s9257 0.0)
(s9258 0.0)
(s9259 0.0)
(s9260 0.0)
(s9262 0.0)
(s9263 0.0)
(s9264 0.0)
(s9265 0.0)
(s9267 0.0)
(s9268 0.0)
(s9269 0.0)
(s9270 0.0)
(s9272 0.0)
(s9273 0.0)
(s9274 0.0)
(s9275 0.0)
(s9277 0.0)
(s9278 0.0)
(s9279 0.0)
(s9280 0.0)
(s9282 0.0)
(s9283 0.0)
(s9284 0.0)
(s9285 0.0)
(s9288 0.0)
(s9289 0.0)
(s9290 0.0)
(s9292 0.0)
(s9293 0.0)
(s9294 0.0)
(s9295 0.0)
(s9297 0.0)
(s9298 0.0)
(s9299 0.0)
(s9300 0.0)
(s9302 0.0)
(s9303 0.0)
(s9304 0.0)
(s9305 0.0)
(s9307 0.0)
(s9308 0.0)
(s9309 0.0)
(s9310 0.0)
(s9312 0.0)
(s9313 0.0)
(s9314 0.0)
(s9315 0.0)
(s9318 0.0)
(s9319 0.0)
(s9320 0.0)
(s9322 0.0)
(s9323 0.0)
(s9324 0.0)
(s9325 0.0)
(s9328 0.0)
(s9329 0.0)
(s9330 0.0)
(s9332 0.0)
(s9333 0.0)
(s9334 0.0)
(s9335 0.0)
(s9338 0.0)
(s9339 0.0)
(s9340 0.0)
(s9343 0.0)
(s9344 0.0)
(s9345 0.0)
(s9347 0.0)
(s9348 0.0)
(s9350 0.0)
(s9352 0.0)
(s9353 0.0)
(s9355 0.0)
(s9358 0.0)
(s9359 0.0)
(s9360 0.0)
(s9361 0.0)
(s9363 0.0)
(s9365 0.0)
(s9368 0.0)
(s9370 0.0)
(s9372 0.0)
(s9373 0.0)
(s9374 0.0)
(s9375 0.0)
(s9376 0.0)
(s9377 0.0)
(s9378 0.0)
(s9380 0.0)
(s9382 0.0)
(s9383 0.0)
(s9385 0.0)
(s9388 0.0)
(s9390 0.0)
(s9393 0.0)
(s9395 0.0)
(s9398 0.0)
(s9400 0.0)
(s9402 0.0)
(s9403 0.0)
(s9405 0.0)
(s9408 0.0)
(s9410 0.0)
(s9413 0.0)
(s9415 0.0)
(s9418 0.0)
(s9420 0.0)
(s9423 0.0)
(s9425 0.0)
(s9428 0.0)
(s9430 0.0)
(s9432 0.0)
(s9433 0.0)
(s9435 0.0)
(s9437 0.0)
(s9438 0.0)
(s9440 0.0)
(s9443 0.0)
(s9445 0.0)
(s9448 0.0)
(s9450 0.0)
(s9453 0.0)
(s9455 0.0)
(s9458 0.0)
(s9460 0.0)
(s9463 0.0)
(s9465 0.0)
(s9468 0.0)
(s9470 0.0)
(s9473 0.0)
(s9475 0.0)
(s9478 0.0)
(s9480 0.0)
(s9483 0.0)
(s9485 0.0)
(s9488 0.0)
(s9490 0.0)
(s9493 0.0)
(s9495 0.0)
(s9498 0.0)
(s9500 0.0)
(s9503 0.0)
(s9505 0.0)
(s9507 0.0)
(s9508 0.0)
(s9509 0.0)
(s9510 0.0)
(s9512 0.0)
(s9513 1.0)
(s9514 0.0)
(s9515 0.0)
(s9516 0.0)
(s9518 0.0)
(s9519 0.0)
(s9520 0.0)
(s9521 0.0)
(s9522 0.0)
(s9523 0.0)
(s9525 0.0)
(s9526 0.0)
(s9527 0.0)
(s9528 0.0)
(s9530 0.0)
(s9531 0.0)
(s9532 0.0)
(s9533 0.0)
(s9535 0.0)
(s9536 0.0)
(s9537 0.0)
(s9538 0.0)
(s9540 0.0)
(s9541 0.0)
(s9542 0.0)
(s9543 0.0)
(s9545 0.0)
(s9546 0.0)
(s9547 0.0)
(s9548 0.0)
(s9550 0.0)
(s9551 0.0)
(s9552 0.0)
(s9553 0.0)
(s9555 0.0)
(s9556 0.0)
(s9557 0.0)
(s9558 0.0)
(s9560 0.0)
(s9561 0.0)
(s9562 0.0)
(s9563 0.0)
(s9565 0.0)
(s9566 0.0)
(s9567 0.0)
(s9568 0.0)
(s9570 0.0)
(s9571 0.0)
(s9572 0.0)
(s9573 0.0)
(s9575 0.0)
(s9576 0.0)
(s9577 0.0)
(s9578 0.0)
(s9580 0.0)
(s9581 0.0)
(s9582 0.0)
(s9583 0.0)
(s9584 0.0)
(s9585 0.0)
(s9586 0.0)
(s9587 0.0)
(s9588 0.0)
(s9590 0.0)
(s9591 0.0)
(s9592 0.0)
(s9593 0.0)
(s9595 0.0)
(s9596 0.0)
(s9597 0.0)
(s9598 0.0)
(s9600 0.0)
(s9601 0.0)
(s9602 0.0)
(s9603 0.0)
(s9605 0.0)
(s9606 0.0)
(s9607 0.0)
(s9608 0.0)
(s9610 0.0)
(s9611 0.0)
(s9612 0.0)
(s9613 0.0)
(s9616 0.0)
(s9617 0.0)
(s9618 0.0)
(s9620 0.0)
(s9621 0.0)
(s9622 0.0)
(s9623 0.0)
(s9625 0.0)
(s9626 0.0)
(s9627 0.0)
(s9628 0.0)
(s9630 0.0)
(s9631 0.0)
(s9632 0.0)
(s9633 0.0)
(s9635 0.0)
(s9636 0.0)
(s9637 0.0)
(s9638 0.0)
(s9640 0.0)
(s9641 0.0)
(s9642 0.0)
(s9643 0.0)
(s9646 0.0)
(s9647 0.0)
(s9648 0.0)
(s9650 0.0)
(s9651 0.0)
(s9652 0.0)
(s9653 0.0)
(s9656 0.0)
(s9657 0.0)
(s9658 0.0)
(s9660 0.0)
(s9661 0.0)
(s9662 0.0)
(s9663 0.0)
(s9666 0.0)
(s9667 0.0)
(s9668 0.0)
(s9671 0.0)
(s9672 0.0)
(s9673 0.0)
(s9675 0.0)
(s9676 0.0)
(s9678 0.0)
(s9680 0.0)
(s9681 0.0)
(s9683 0.0)
(s9686 0.0)
(s9687 0.0)
(s9688 0.0)
(s9689 0.0)
(s9691 0.0)
(s9693 0.0)
(s9696 0.0)
(s9698 0.0)
(s9700 0.0)
(s9701 0.0)
(s9702 0.0)
(s9703 0.0)
(s9704 0.0)
(s9705 0.0)
(s9706 0.0)
(s9708 0.0)
(s9710 0.0)
(s9711 0.0)
(s9713 0.0)
(s9716 0.0)
(s9718 0.0)
(s9721 0.0)
(s9723 0.0)
(s9726 0.0)
(s9728 0.0)
(s9730 0.0)
(s9731 0.0)
(s9733 0.0)
(s9736 0.0)
(s9738 0.0)
(s9741 0.0)
(s9743 0.0)
(s9746 0.0)
(s9748 0.0)
(s9751 0.0)
(s9753 0.0)
(s9756 0.0)
(s9758 0.0)
(s9760 0.0)
(s9761 0.0)
(s9763 0.0)
(s9765 0.0)
(s9766 0.0)
(s9768 0.0)
(s9771 0.0)
(s9773 0.0)
(s9776 0.0)
(s9778 0.0)
(s9781 0.0)
(s9783 0.0)
(s9786 0.0)
(s9788 0.0)
(s9791 0.0)
(s9793 0.0)
(s9796 0.0)
(s9798 0.0)
(s9801 0.0)
(s9803 0.0)
(s9806 0.0)
(s9808 0.0)
(s9811 0.0)
(s9813 0.0)
(s9816 0.0)
(s9818 0.0)
(s9821 0.0)
(s9823 0.0)
(s9826 0.0)
(s9828 0.0)
(s9831 0.0)
(s9833 0.0)
(s9835 0.0)
(s9836 0.0)
(s9837 0.0)
(s9838 0.0)
(s9840 0.0)
(s9841 1.0)
(s9842 0.0)
(s9843 0.0)
(s9844 0.0)
(s9846 0.0)
(s9847 0.0)
(s9848 0.0)
(s9849 0.0)
(s9850 0.0)
(s9851 0.0)
(s9853 0.0)
(s9854 0.0)
(s9855 0.0)
(s9856 0.0)
(s9858 0.0)
(s9859 0.0)
(s9860 0.0)
(s9861 0.0)
(s9863 0.0)
(s9864 0.0)
(s9865 0.0)
(s9866 0.0)
(s9868 0.0)
(s9869 0.0)
(s9870 0.0)
(s9871 0.0)
(s9873 0.0)
(s9874 0.0)
(s9875 0.0)
(s9876 0.0)
(s9878 0.0)
(s9879 0.0)
(s9880 0.0)
(s9881 0.0)
(s9883 0.0)
(s9884 0.0)
(s9885 0.0)
(s9886 0.0)
(s9888 0.0)
(s9889 0.0)
(s9890 0.0)
(s9891 0.0)
(s9893 0.0)
(s9894 0.0)
(s9895 0.0)
(s9896 0.0)
(s9898 0.0)
(s9899 0.0)
(s9900 0.0)
(s9901 0.0)
(s9903 0.0)
(s9904 0.0)
(s9905 0.0)
(s9906 0.0)
(s9908 0.0)
(s9909 0.0)
(s9910 0.0)
(s9911 0.0)
(s9912 0.0)
(s9913 0.0)
(s9914 0.0)
(s9915 0.0)
(s9916 0.0)
(s9918 0.0)
(s9919 0.0)
(s9920 0.0)
(s9921 0.0)
(s9923 0.0)
(s9924 0.0)
(s9925 0.0)
(s9926 0.0)
(s9928 0.0)
(s9929 0.0)
(s9930 0.0)
(s9931 0.0)
(s9933 0.0)
(s9934 0.0)
(s9935 0.0)
(s9936 0.0)
(s9938 0.0)
(s9939 0.0)
(s9940 0.0)
(s9941 0.0)
(s9944 0.0)
(s9945 0.0)
(s9946 0.0)
(s9948 0.0)
(s9949 0.0)
(s9950 0.0)
(s9951 0.0)
(s9953 0.0)
(s9954 0.0)
(s9955 0.0)
(s9956 0.0)
(s9958 0.0)
(s9959 0.0)
(s9960 0.0)
(s9961 0.0)
(s9963 0.0)
(s9964 0.0)
(s9965 0.0)
(s9966 0.0)
(s9968 0.0)
(s9969 0.0)
(s9970 0.0)
(s9971 0.0)
(s9974 0.0)
(s9975 0.0)
(s9976 0.0)
(s9978 0.0)
(s9979 0.0)
(s9980 0.0)
(s9981 0.0)
(s9984 0.0)
(s9985 0.0)
(s9986 0.0)
(s9989 0.0)
(s9990 0.0)
(s9991 0.0)
(s9994 0.0)
(s9995 0.0)
(s9996 0.0)
(s9999 0.0)
(s10000 0.0)
(s10001 0.0)
(s10003 0.0)
(s10004 0.0)
(s10006 0.0)
(s10008 0.0)
(s10009 0.0)
(s10011 0.0)
(s10014 0.0)
(s10015 0.0)
(s10016 0.0)
(s10017 0.0)
(s10019 0.0)
(s10021 0.0)
(s10024 0.0)
(s10026 0.0)
(s10028 0.0)
(s10029 0.0)
(s10030 0.0)
(s10031 0.0)
(s10032 0.0)
(s10033 0.0)
(s10034 0.0)
(s10036 0.0)
(s10038 0.0)
(s10039 0.0)
(s10041 0.0)
(s10044 0.0)
(s10046 0.0)
(s10049 0.0)
(s10051 0.0)
(s10054 0.0)
(s10056 0.0)
(s10058 0.0)
(s10059 0.0)
(s10061 0.0)
(s10064 0.0)
(s10066 0.0)
(s10069 0.0)
(s10071 0.0)
(s10074 0.0)
(s10076 0.0)
(s10079 0.0)
(s10081 0.0)
(s10084 0.0)
(s10086 0.0)
(s10088 0.0)
(s10089 0.0)
(s10091 0.0)
(s10093 0.0)
(s10094 0.0)
(s10096 0.0)
(s10099 0.0)
(s10101 0.0)
(s10104 0.0)
(s10106 0.0)
(s10109 0.0)
(s10111 0.0)
(s10114 0.0)
(s10116 0.0)
(s10119 0.0)
(s10121 0.0)
(s10124 0.0)
(s10126 0.0)
(s10129 0.0)
(s10131 0.0)
(s10134 0.0)
(s10136 0.0)
(s10139 0.0)
(s10141 0.0)
(s10144 0.0)
(s10146 0.0)
(s10149 0.0)
(s10151 0.0)
(s10154 0.0)
(s10156 0.0)
(s10159 0.0)
(s10161 0.0)
(s10163 0.0)
(s10164 0.0)
(s10165 0.0)
(s10166 0.0)
(s10167 0.0)
(s10169 1.0)
(s10170 0.0)
(s10171 0.0)
(s10172 0.0)
(s10174 0.0)
(s10175 0.0)
(s10176 0.0)
(s10177 0.0)
(s10178 0.0)
(s10179 0.0)
(s10181 0.0)
(s10182 0.0)
(s10183 0.0)
(s10184 0.0)
(s10186 0.0)
(s10187 0.0)
(s10188 0.0)
(s10189 0.0)
(s10191 0.0)
(s10192 0.0)
(s10193 0.0)
(s10194 0.0)
(s10196 0.0)
(s10197 0.0)
(s10198 0.0)
(s10199 0.0)
(s10201 0.0)
(s10202 0.0)
(s10203 0.0)
(s10204 0.0)
(s10206 0.0)
(s10207 0.0)
(s10208 0.0)
(s10209 0.0)
(s10211 0.0)
(s10212 0.0)
(s10213 0.0)
(s10214 0.0)
(s10216 0.0)
(s10217 0.0)
(s10218 0.0)
(s10219 0.0)
(s10221 0.0)
(s10222 0.0)
(s10223 0.0)
(s10224 0.0)
(s10226 0.0)
(s10227 0.0)
(s10228 0.0)
(s10229 0.0)
(s10231 0.0)
(s10232 0.0)
(s10233 0.0)
(s10234 0.0)
(s10236 0.0)
(s10237 0.0)
(s10238 0.0)
(s10239 0.0)
(s10240 0.0)
(s10241 0.0)
(s10242 0.0)
(s10243 0.0)
(s10244 0.0)
(s10246 0.0)
(s10247 0.0)
(s10248 0.0)
(s10249 0.0)
(s10251 0.0)
(s10252 0.0)
(s10253 0.0)
(s10254 0.0)
(s10256 0.0)
(s10257 0.0)
(s10258 0.0)
(s10259 0.0)
(s10261 0.0)
(s10262 0.0)
(s10263 0.0)
(s10264 0.0)
(s10266 0.0)
(s10267 0.0)
(s10268 0.0)
(s10269 0.0)
(s10272 0.0)
(s10273 0.0)
(s10274 0.0)
(s10276 0.0)
(s10277 0.0)
(s10278 0.0)
(s10279 0.0)
(s10281 0.0)
(s10282 0.0)
(s10283 0.0)
(s10284 0.0)
(s10286 0.0)
(s10287 0.0)
(s10288 0.0)
(s10289 0.0)
(s10291 0.0)
(s10292 0.0)
(s10293 0.0)
(s10294 0.0)
(s10296 0.0)
(s10297 0.0)
(s10298 0.0)
(s10299 0.0)
(s10302 0.0)
(s10303 0.0)
(s10304 0.0)
(s10306 0.0)
(s10307 0.0)
(s10308 0.0)
(s10309 0.0)
(s10312 0.0)
(s10313 0.0)
(s10314 0.0)
(s10317 0.0)
(s10318 0.0)
(s10319 0.0)
(s10321 0.0)
(s10322 0.0)
(s10323 0.0)
(s10324 0.0)
(s10328 0.0)
(s10329 0.0)
(s10330 0.0)
(s10332 0.0)
(s10333 0.0)
(s10335 0.0)
(s10337 0.0)
(s10338 0.0)
(s10340 0.0)
(s10343 0.0)
(s10344 0.0)
(s10345 0.0)
(s10346 0.0)
(s10348 0.0)
(s10350 0.0)
(s10353 0.0)
(s10355 0.0)
(s10357 0.0)
(s10358 0.0)
(s10359 0.0)
(s10360 0.0)
(s10361 0.0)
(s10362 0.0)
(s10363 0.0)
(s10365 0.0)
(s10367 0.0)
(s10368 0.0)
(s10370 0.0)
(s10373 0.0)
(s10375 0.0)
(s10378 0.0)
(s10380 0.0)
(s10383 0.0)
(s10385 0.0)
(s10387 0.0)
(s10388 0.0)
(s10390 0.0)
(s10393 0.0)
(s10395 0.0)
(s10398 0.0)
(s10400 0.0)
(s10403 0.0)
(s10405 0.0)
(s10408 0.0)
(s10410 0.0)
(s10413 0.0)
(s10415 0.0)
(s10417 0.0)
(s10418 0.0)
(s10420 0.0)
(s10422 0.0)
(s10423 0.0)
(s10425 0.0)
(s10428 0.0)
(s10430 0.0)
(s10433 0.0)
(s10435 0.0)
(s10438 0.0)
(s10440 0.0)
(s10443 0.0)
(s10445 0.0)
(s10448 0.0)
(s10450 0.0)
(s10453 0.0)
(s10455 0.0)
(s10458 0.0)
(s10460 0.0)
(s10463 0.0)
(s10465 0.0)
(s10468 0.0)
(s10470 0.0)
(s10473 0.0)
(s10475 0.0)
(s10478 0.0)
(s10480 0.0)
(s10483 0.0)
(s10485 0.0)
(s10488 0.0)
(s10490 0.0)
(s10492 0.0)
(s10493 0.0)
(s10494 0.0)
(s10495 0.0)
(s10497 0.0)
(s10498 1.0)
(s10499 1.0)
(s10500 0.0)
(s10501 0.0)
(s10502 0.0)
(s10504 0.0)
(s10505 0.0)
(s10506 0.0)
(s10507 0.0)
(s10508 0.0)
(s10509 0.0)
(s10511 0.0)
(s10512 0.0)
(s10513 0.0)
(s10514 0.0)
(s10516 0.0)
(s10517 0.0)
(s10518 0.0)
(s10519 0.0)
(s10521 0.0)
(s10522 0.0)
(s10523 0.0)
(s10524 0.0)
(s10526 0.0)
(s10527 0.0)
(s10528 0.0)
(s10529 0.0)
(s10531 0.0)
(s10532 0.0)
(s10533 0.0)
(s10534 0.0)
(s10536 0.0)
(s10537 0.0)
(s10538 0.0)
(s10539 0.0)
(s10541 0.0)
(s10542 0.0)
(s10543 0.0)
(s10544 0.0)
(s10546 0.0)
(s10547 0.0)
(s10548 0.0)
(s10549 0.0)
(s10551 0.0)
(s10552 0.0)
(s10553 0.0)
(s10554 0.0)
(s10556 0.0)
(s10557 0.0)
(s10558 0.0)
(s10559 0.0)
(s10561 0.0)
(s10562 0.0)
(s10563 0.0)
(s10564 0.0)
(s10566 0.0)
(s10567 0.0)
(s10568 0.0)
(s10569 0.0)
(s10570 0.0)
(s10571 0.0)
(s10572 0.0)
(s10573 0.0)
(s10574 0.0)
(s10576 0.0)
(s10577 0.0)
(s10578 0.0)
(s10579 0.0)
(s10581 0.0)
(s10582 0.0)
(s10583 0.0)
(s10584 0.0)
(s10586 0.0)
(s10587 0.0)
(s10588 0.0)
(s10589 0.0)
(s10591 0.0)
(s10592 0.0)
(s10593 0.0)
(s10594 0.0)
(s10596 0.0)
(s10597 0.0)
(s10598 0.0)
(s10599 0.0)
(s10602 0.0)
(s10603 0.0)
(s10604 0.0)
(s10606 0.0)
(s10607 0.0)
(s10608 0.0)
(s10609 0.0)
(s10611 0.0)
(s10612 0.0)
(s10613 0.0)
(s10614 0.0)
(s10616 0.0)
(s10617 0.0)
(s10618 0.0)
(s10619 0.0)
(s10621 0.0)
(s10622 0.0)
(s10623 0.0)
(s10624 0.0)
(s10626 0.0)
(s10627 0.0)
(s10628 0.0)
(s10629 0.0)
(s10632 0.0)
(s10633 0.0)
(s10634 0.0)
(s10636 0.0)
(s10637 0.0)
(s10638 0.0)
(s10639 0.0)
(s10642 0.0)
(s10643 0.0)
(s10644 0.0)
(s10647 0.0)
(s10648 0.0)
(s10649 0.0)
(s10651 0.0)
(s10652 0.0)
(s10653 0.0)
(s10654 0.0)
(s10657 0.0)
(s10658 0.0)
(s10659 0.0)
(s10661 0.0)
(s10662 0.0)
(s10664 0.0)
(s10666 0.0)
(s10667 0.0)
(s10669 0.0)
(s10672 0.0)
(s10673 0.0)
(s10674 0.0)
(s10675 0.0)
(s10677 0.0)
(s10679 0.0)
(s10682 0.0)
(s10684 0.0)
(s10686 0.0)
(s10687 0.0)
(s10688 0.0)
(s10689 0.0)
(s10690 0.0)
(s10691 0.0)
(s10692 0.0)
(s10694 0.0)
(s10696 0.0)
(s10697 0.0)
(s10699 0.0)
(s10702 0.0)
(s10704 0.0)
(s10707 0.0)
(s10709 0.0)
(s10712 0.0)
(s10714 0.0)
(s10716 0.0)
(s10717 0.0)
(s10719 0.0)
(s10722 0.0)
(s10724 0.0)
(s10727 0.0)
(s10729 0.0)
(s10732 0.0)
(s10734 0.0)
(s10737 0.0)
(s10739 0.0)
(s10742 0.0)
(s10744 0.0)
(s10746 0.0)
(s10747 0.0)
(s10749 0.0)
(s10751 0.0)
(s10752 0.0)
(s10754 0.0)
(s10757 0.0)
(s10759 0.0)
(s10762 0.0)
(s10764 0.0)
(s10767 0.0)
(s10769 0.0)
(s10772 0.0)
(s10774 0.0)
(s10777 0.0)
(s10779 0.0)
(s10782 0.0)
(s10784 0.0)
(s10787 0.0)
(s10789 0.0)
(s10792 0.0)
(s10794 0.0)
(s10797 0.0)
(s10799 0.0)
(s10802 0.0)
(s10804 0.0)
(s10807 0.0)
(s10809 0.0)
(s10812 0.0)
(s10814 0.0)
(s10817 0.0)
(s10819 0.0)
(s10821 0.0)
(s10822 0.0)
(s10823 0.0)
(s10824 0.0)
(s10826 0.0)
(s10827 1.0)
(s10828 0.0)
(s10829 0.0)
(s10830 0.0)
(s10832 0.0)
(s10833 0.0)
(s10834 0.0)
(s10835 0.0)
(s10836 0.0)
(s10837 0.0)
(s10839 0.0)
(s10840 0.0)
(s10841 0.0)
(s10842 0.0)
(s10844 0.0)
(s10845 0.0)
(s10846 0.0)
(s10847 0.0)
(s10849 0.0)
(s10850 0.0)
(s10851 0.0)
(s10852 0.0)
(s10854 0.0)
(s10855 0.0)
(s10856 0.0)
(s10857 0.0)
(s10859 0.0)
(s10860 0.0)
(s10861 0.0)
(s10862 0.0)
(s10864 0.0)
(s10865 0.0)
(s10866 0.0)
(s10867 0.0)
(s10869 0.0)
(s10870 0.0)
(s10871 0.0)
(s10872 0.0)
(s10874 0.0)
(s10875 0.0)
(s10876 0.0)
(s10877 0.0)
(s10879 0.0)
(s10880 0.0)
(s10881 0.0)
(s10882 0.0)
(s10884 0.0)
(s10885 0.0)
(s10886 0.0)
(s10887 0.0)
(s10889 0.0)
(s10890 0.0)
(s10891 0.0)
(s10892 0.0)
(s10894 0.0)
(s10895 0.0)
(s10896 0.0)
(s10897 0.0)
(s10898 0.0)
(s10899 0.0)
(s10900 0.0)
(s10901 0.0)
(s10902 0.0)
(s10904 0.0)
(s10905 0.0)
(s10906 0.0)
(s10907 0.0)
(s10909 0.0)
(s10910 0.0)
(s10911 0.0)
(s10912 0.0)
(s10914 0.0)
(s10915 0.0)
(s10916 0.0)
(s10917 0.0)
(s10919 0.0)
(s10920 0.0)
(s10921 0.0)
(s10922 0.0)
(s10924 0.0)
(s10925 0.0)
(s10926 0.0)
(s10927 0.0)
(s10930 0.0)
(s10931 0.0)
(s10932 0.0)
(s10934 0.0)
(s10935 0.0)
(s10936 0.0)
(s10937 0.0)
(s10939 0.0)
(s10940 0.0)
(s10941 0.0)
(s10942 0.0)
(s10944 0.0)
(s10945 0.0)
(s10946 0.0)
(s10947 0.0)
(s10949 0.0)
(s10950 0.0)
(s10951 0.0)
(s10952 0.0)
(s10954 0.0)
(s10955 0.0)
(s10956 0.0)
(s10957 0.0)
(s10960 0.0)
(s10961 0.0)
(s10962 0.0)
(s10964 0.0)
(s10965 0.0)
(s10966 0.0)
(s10967 0.0)
(s10970 0.0)
(s10971 0.0)
(s10972 0.0)
(s10975 0.0)
(s10976 0.0)
(s10977 0.0)
(s10979 0.0)
(s10980 0.0)
(s10981 0.0)
(s10982 0.0)
(s10985 0.0)
(s10986 0.0)
(s10987 0.0)
(s10991 0.0)
(s10993 0.0)
(s10994 0.0)
(s10995 0.0)
(s10996 0.0)
(s10997 0.0)
(s10998 0.0)
(s11001 0.0)
(s11002 0.0)
(s11003 0.0)
(s11004 0.0)
(s11006 0.0)
(s11007 0.0)
(s11008 0.0)
(s11011 0.0)
(s11012 0.0)
(s11013 0.0)
(s11015 0.0)
(s11016 0.0)
(s11017 0.0)
(s11018 0.0)
(s11019 0.0)
(s11020 0.0)
(s11021 0.0)
(s11022 0.0)
(s11023 0.0)
(s11025 0.0)
(s11026 0.0)
(s11027 0.0)
(s11028 0.0)
(s11031 0.0)
(s11032 0.0)
(s11033 0.0)
(s11036 0.0)
(s11037 0.0)
(s11038 0.0)
(s11041 0.0)
(s11042 0.0)
(s11043 0.0)
(s11045 0.0)
(s11046 0.0)
(s11047 0.0)
(s11048 0.0)
(s11051 0.0)
(s11052 0.0)
(s11053 0.0)
(s11056 0.0)
(s11057 0.0)
(s11058 0.0)
(s11061 0.0)
(s11062 0.0)
(s11063 0.0)
(s11066 0.0)
(s11067 0.0)
(s11068 0.0)
(s11071 0.0)
(s11072 0.0)
(s11073 0.0)
(s11075 0.0)
(s11076 0.0)
(s11077 0.0)
(s11078 0.0)
(s11080 0.0)
(s11081 0.0)
(s11082 0.0)
(s11083 0.0)
(s11086 0.0)
(s11087 0.0)
(s11088 0.0)
(s11091 0.0)
(s11092 0.0)
(s11093 0.0)
(s11096 0.0)
(s11097 0.0)
(s11098 0.0)
(s11101 0.0)
(s11102 0.0)
(s11103 0.0)
(s11106 0.0)
(s11107 0.0)
(s11108 0.0)
(s11111 0.0)
(s11112 0.0)
(s11113 0.0)
(s11116 0.0)
(s11117 0.0)
(s11118 0.0)
(s11121 0.0)
(s11122 0.0)
(s11123 0.0)
(s11126 0.0)
(s11127 0.0)
(s11128 0.0)
(s11131 0.0)
(s11132 0.0)
(s11133 0.0)
(s11136 0.0)
(s11137 0.0)
(s11138 0.0)
(s11141 0.0)
(s11142 0.0)
(s11143 0.0)
(s11146 0.0)
(s11147 0.0)
(s11148 0.0)
(s11150 0.0)
(s11151 0.0)
(s11152 0.0)
(s11153 0.0)
(s11154 0.0)
(s11156 1.0)
(s11157 0.0)
(s11158 0.0)
(s11159 0.0)
(s11161 0.0)
(s11162 0.0)
(s11163 0.0)
(s11164 0.0)
(s11165 0.0)
(s11166 0.0)
(s11168 0.0)
(s11169 0.0)
(s11170 0.0)
(s11171 0.0)
(s11173 0.0)
(s11174 0.0)
(s11175 0.0)
(s11176 0.0)
(s11178 0.0)
(s11179 0.0)
(s11180 0.0)
(s11181 0.0)
(s11183 0.0)
(s11184 0.0)
(s11185 0.0)
(s11186 0.0)
(s11188 0.0)
(s11189 0.0)
(s11190 0.0)
(s11191 0.0)
(s11193 0.0)
(s11194 0.0)
(s11195 0.0)
(s11196 0.0)
(s11198 0.0)
(s11199 0.0)
(s11200 0.0)
(s11201 0.0)
(s11203 0.0)
(s11204 0.0)
(s11205 0.0)
(s11206 0.0)
(s11208 0.0)
(s11209 0.0)
(s11210 0.0)
(s11211 0.0)
(s11213 0.0)
(s11214 0.0)
(s11215 0.0)
(s11216 0.0)
(s11218 0.0)
(s11219 0.0)
(s11220 0.0)
(s11221 0.0)
(s11223 0.0)
(s11224 0.0)
(s11225 0.0)
(s11226 0.0)
(s11227 0.0)
(s11228 0.0)
(s11229 0.0)
(s11230 0.0)
(s11231 0.0)
(s11233 0.0)
(s11234 0.0)
(s11235 0.0)
(s11236 0.0)
(s11238 0.0)
(s11239 0.0)
(s11240 0.0)
(s11241 0.0)
(s11243 0.0)
(s11244 0.0)
(s11245 0.0)
(s11246 0.0)
(s11248 0.0)
(s11249 0.0)
(s11250 0.0)
(s11251 0.0)
(s11253 0.0)
(s11254 0.0)
(s11255 0.0)
(s11256 0.0)
(s11259 0.0)
(s11260 0.0)
(s11261 0.0)
(s11263 0.0)
(s11264 0.0)
(s11265 0.0)
(s11266 0.0)
(s11268 0.0)
(s11269 0.0)
(s11270 0.0)
(s11271 0.0)
(s11273 0.0)
(s11274 0.0)
(s11275 0.0)
(s11276 0.0)
(s11278 0.0)
(s11279 0.0)
(s11280 0.0)
(s11281 0.0)
(s11283 0.0)
(s11284 0.0)
(s11285 0.0)
(s11286 0.0)
(s11289 0.0)
(s11290 0.0)
(s11291 0.0)
(s11293 0.0)
(s11294 0.0)
(s11295 0.0)
(s11296 0.0)
(s11299 0.0)
(s11300 0.0)
(s11301 0.0)
(s11304 0.0)
(s11305 0.0)
(s11306 0.0)
(s11308 0.0)
(s11309 0.0)
(s11310 0.0)
(s11311 0.0)
(s11314 0.0)
(s11315 0.0)
(s11316 0.0)
(s11319 0.0)
(s11321 0.0)
(s11322 0.0)
(s11323 0.0)
(s11324 0.0)
(s11325 0.0)
(s11326 0.0)
(s11329 0.0)
(s11330 0.0)
(s11331 0.0)
(s11332 0.0)
(s11334 0.0)
(s11335 0.0)
(s11336 0.0)
(s11339 0.0)
(s11340 0.0)
(s11341 0.0)
(s11343 0.0)
(s11344 0.0)
(s11345 0.0)
(s11346 0.0)
(s11347 0.0)
(s11348 0.0)
(s11349 0.0)
(s11350 0.0)
(s11351 0.0)
(s11353 0.0)
(s11354 0.0)
(s11355 0.0)
(s11356 0.0)
(s11359 0.0)
(s11360 0.0)
(s11361 0.0)
(s11364 0.0)
(s11365 0.0)
(s11366 0.0)
(s11369 0.0)
(s11370 0.0)
(s11371 0.0)
(s11373 0.0)
(s11374 0.0)
(s11375 0.0)
(s11376 0.0)
(s11379 0.0)
(s11380 0.0)
(s11381 0.0)
(s11384 0.0)
(s11385 0.0)
(s11386 0.0)
(s11389 0.0)
(s11390 0.0)
(s11391 0.0)
(s11394 0.0)
(s11395 0.0)
(s11396 0.0)
(s11399 0.0)
(s11400 0.0)
(s11401 0.0)
(s11403 0.0)
(s11404 0.0)
(s11405 0.0)
(s11406 0.0)
(s11408 0.0)
(s11409 0.0)
(s11410 0.0)
(s11411 0.0)
(s11414 0.0)
(s11415 0.0)
(s11416 0.0)
(s11419 0.0)
(s11420 0.0)
(s11421 0.0)
(s11424 0.0)
(s11425 0.0)
(s11426 0.0)
(s11429 0.0)
(s11430 0.0)
(s11431 0.0)
(s11434 0.0)
(s11435 0.0)
(s11436 0.0)
(s11439 0.0)
(s11440 0.0)
(s11441 0.0)
(s11444 0.0)
(s11445 0.0)
(s11446 0.0)
(s11449 0.0)
(s11450 0.0)
(s11451 0.0)
(s11454 0.0)
(s11455 0.0)
(s11456 0.0)
(s11459 0.0)
(s11460 0.0)
(s11461 0.0)
(s11464 0.0)
(s11465 0.0)
(s11466 0.0)
(s11469 0.0)
(s11470 0.0)
(s11471 0.0)
(s11474 0.0)
(s11475 0.0)
(s11476 0.0)
(s11478 0.0)
(s11479 0.0)
(s11480 0.0)
(s11481 0.0)
(s11482 0.0)
(s11484 0.0)
(s11485 1.0)
(s11486 0.0)
(s11487 0.0)
(s11489 0.0)
(s11490 0.0)
(s11491 0.0)
(s11492 0.0)
(s11493 0.0)
(s11494 0.0)
(s11496 0.0)
(s11497 0.0)
(s11498 0.0)
(s11499 0.0)
(s11501 0.0)
(s11502 0.0)
(s11503 0.0)
(s11504 0.0)
(s11506 0.0)
(s11507 0.0)
(s11508 0.0)
(s11509 0.0)
(s11511 0.0)
(s11512 0.0)
(s11513 0.0)
(s11514 0.0)
(s11516 0.0)
(s11517 0.0)
(s11518 0.0)
(s11519 0.0)
(s11521 0.0)
(s11522 0.0)
(s11523 0.0)
(s11524 0.0)
(s11526 0.0)
(s11527 0.0)
(s11528 0.0)
(s11529 0.0)
(s11531 0.0)
(s11532 0.0)
(s11533 0.0)
(s11534 0.0)
(s11536 0.0)
(s11537 0.0)
(s11538 0.0)
(s11539 0.0)
(s11541 0.0)
(s11542 0.0)
(s11543 0.0)
(s11544 0.0)
(s11546 0.0)
(s11547 0.0)
(s11548 0.0)
(s11549 0.0)
(s11551 0.0)
(s11552 0.0)
(s11553 0.0)
(s11554 0.0)
(s11555 0.0)
(s11556 0.0)
(s11557 0.0)
(s11558 0.0)
(s11559 0.0)
(s11561 0.0)
(s11562 0.0)
(s11563 0.0)
(s11564 0.0)
(s11566 0.0)
(s11567 0.0)
(s11568 0.0)
(s11569 0.0)
(s11571 0.0)
(s11572 0.0)
(s11573 0.0)
(s11574 0.0)
(s11576 0.0)
(s11577 0.0)
(s11578 0.0)
(s11579 0.0)
(s11581 0.0)
(s11582 0.0)
(s11583 0.0)
(s11584 0.0)
(s11587 0.0)
(s11588 0.0)
(s11589 0.0)
(s11591 0.0)
(s11592 0.0)
(s11593 0.0)
(s11594 0.0)
(s11596 0.0)
(s11597 0.0)
(s11598 0.0)
(s11599 0.0)
(s11601 0.0)
(s11602 0.0)
(s11603 0.0)
(s11604 0.0)
(s11606 0.0)
(s11607 0.0)
(s11608 0.0)
(s11609 0.0)
(s11611 0.0)
(s11612 0.0)
(s11613 0.0)
(s11614 0.0)
(s11617 0.0)
(s11618 0.0)
(s11619 0.0)
(s11621 0.0)
(s11622 0.0)
(s11623 0.0)
(s11624 0.0)
(s11627 0.0)
(s11628 0.0)
(s11629 0.0)
(s11632 0.0)
(s11633 0.0)
(s11634 0.0)
(s11636 0.0)
(s11637 0.0)
(s11638 0.0)
(s11639 0.0)
(s11642 0.0)
(s11643 0.0)
(s11644 0.0)
(s11647 0.0)
(s11649 0.0)
(s11650 0.0)
(s11651 0.0)
(s11652 0.0)
(s11653 0.0)
(s11654 0.0)
(s11656 0.0)
(s11657 0.0)
(s11658 0.0)
(s11659 0.0)
(s11662 0.0)
(s11663 0.0)
(s11664 0.0)
(s11667 0.0)
(s11668 0.0)
(s11669 0.0)
(s11671 0.0)
(s11672 0.0)
(s11673 0.0)
(s11674 0.0)
(s11675 0.0)
(s11676 0.0)
(s11677 0.0)
(s11678 0.0)
(s11679 0.0)
(s11681 0.0)
(s11682 0.0)
(s11683 0.0)
(s11684 0.0)
(s11687 0.0)
(s11688 0.0)
(s11689 0.0)
(s11692 0.0)
(s11693 0.0)
(s11694 0.0)
(s11697 0.0)
(s11698 0.0)
(s11699 0.0)
(s11701 0.0)
(s11702 0.0)
(s11703 0.0)
(s11704 0.0)
(s11707 0.0)
(s11708 0.0)
(s11709 0.0)
(s11712 0.0)
(s11713 0.0)
(s11714 0.0)
(s11717 0.0)
(s11718 0.0)
(s11719 0.0)
(s11722 0.0)
(s11723 0.0)
(s11724 0.0)
(s11727 0.0)
(s11728 0.0)
(s11729 0.0)
(s11731 0.0)
(s11732 0.0)
(s11733 0.0)
(s11734 0.0)
(s11736 0.0)
(s11737 0.0)
(s11738 0.0)
(s11739 0.0)
(s11742 0.0)
(s11743 0.0)
(s11744 0.0)
(s11747 0.0)
(s11748 0.0)
(s11749 0.0)
(s11752 0.0)
(s11753 0.0)
(s11754 0.0)
(s11757 0.0)
(s11758 0.0)
(s11759 0.0)
(s11762 0.0)
(s11763 0.0)
(s11764 0.0)
(s11767 0.0)
(s11768 0.0)
(s11769 0.0)
(s11772 0.0)
(s11773 0.0)
(s11774 0.0)
(s11777 0.0)
(s11778 0.0)
(s11779 0.0)
(s11782 0.0)
(s11783 0.0)
(s11784 0.0)
(s11787 0.0)
(s11788 0.0)
(s11789 0.0)
(s11792 0.0)
(s11793 0.0)
(s11794 0.0)
(s11797 0.0)
(s11798 0.0)
(s11799 0.0)
(s11802 0.0)
(s11803 0.0)
(s11804 0.0)
(s11806 0.0)
(s11807 0.0)
(s11808 0.0)
(s11809 0.0)
(s11811 0.0)
(s11812 1.0)
(s11813 0.0)
(s11814 0.0)
(s11815 0.0)
(s11817 0.0)
(s11818 0.0)
(s11819 0.0)
(s11820 0.0)
(s11821 0.0)
(s11822 0.0)
(s11824 0.0)
(s11825 0.0)
(s11826 0.0)
(s11827 0.0)
(s11829 0.0)
(s11830 0.0)
(s11831 0.0)
(s11832 0.0)
(s11834 0.0)
(s11835 0.0)
(s11836 0.0)
(s11837 0.0)
(s11839 0.0)
(s11840 0.0)
(s11841 0.0)
(s11842 0.0)
(s11844 0.0)
(s11845 0.0)
(s11846 0.0)
(s11847 0.0)
(s11849 0.0)
(s11850 0.0)
(s11851 0.0)
(s11852 0.0)
(s11854 0.0)
(s11855 0.0)
(s11856 0.0)
(s11857 0.0)
(s11859 0.0)
(s11860 0.0)
(s11861 0.0)
(s11862 0.0)
(s11864 0.0)
(s11865 0.0)
(s11866 0.0)
(s11867 0.0)
(s11869 0.0)
(s11870 0.0)
(s11871 0.0)
(s11872 0.0)
(s11874 0.0)
(s11875 0.0)
(s11876 0.0)
(s11877 0.0)
(s11879 0.0)
(s11880 0.0)
(s11881 0.0)
(s11882 0.0)
(s11883 0.0)
(s11884 0.0)
(s11885 0.0)
(s11886 0.0)
(s11887 0.0)
(s11889 0.0)
(s11890 0.0)
(s11891 0.0)
(s11892 0.0)
(s11894 0.0)
(s11895 0.0)
(s11896 0.0)
(s11897 0.0)
(s11899 0.0)
(s11900 0.0)
(s11901 0.0)
(s11902 0.0)
(s11904 0.0)
(s11905 0.0)
(s11906 0.0)
(s11907 0.0)
(s11909 0.0)
(s11910 0.0)
(s11911 0.0)
(s11912 0.0)
(s11915 0.0)
(s11916 0.0)
(s11917 0.0)
(s11919 0.0)
(s11920 0.0)
(s11921 0.0)
(s11922 0.0)
(s11924 0.0)
(s11925 0.0)
(s11926 0.0)
(s11927 0.0)
(s11929 0.0)
(s11930 0.0)
(s11931 0.0)
(s11932 0.0)
(s11934 0.0)
(s11935 0.0)
(s11936 0.0)
(s11937 0.0)
(s11939 0.0)
(s11940 0.0)
(s11941 0.0)
(s11942 0.0)
(s11945 0.0)
(s11946 0.0)
(s11947 0.0)
(s11949 0.0)
(s11950 0.0)
(s11951 0.0)
(s11952 0.0)
(s11955 0.0)
(s11956 0.0)
(s11957 0.0)
(s11960 0.0)
(s11961 0.0)
(s11962 0.0)
(s11964 0.0)
(s11965 0.0)
(s11966 0.0)
(s11967 0.0)
(s11970 0.0)
(s11971 0.0)
(s11972 0.0)
(s11975 0.0)
(s11977 0.0)
(s11978 0.0)
(s11979 0.0)
(s11980 0.0)
(s11981 0.0)
(s11982 0.0)
(s11984 0.0)
(s11985 0.0)
(s11986 0.0)
(s11987 0.0)
(s11990 0.0)
(s11991 0.0)
(s11992 0.0)
(s11993 0.0)
(s11995 0.0)
(s11996 0.0)
(s11997 0.0)
(s11999 0.0)
(s12000 0.0)
(s12001 0.0)
(s12002 0.0)
(s12003 0.0)
(s12004 0.0)
(s12005 0.0)
(s12006 0.0)
(s12007 0.0)
(s12009 0.0)
(s12010 0.0)
(s12011 0.0)
(s12012 0.0)
(s12015 0.0)
(s12016 0.0)
(s12017 0.0)
(s12020 0.0)
(s12021 0.0)
(s12022 0.0)
(s12025 0.0)
(s12026 0.0)
(s12027 0.0)
(s12029 0.0)
(s12030 0.0)
(s12031 0.0)
(s12032 0.0)
(s12035 0.0)
(s12036 0.0)
(s12037 0.0)
(s12040 0.0)
(s12041 0.0)
(s12042 0.0)
(s12045 0.0)
(s12046 0.0)
(s12047 0.0)
(s12050 0.0)
(s12051 0.0)
(s12052 0.0)
(s12055 0.0)
(s12056 0.0)
(s12057 0.0)
(s12059 0.0)
(s12060 0.0)
(s12061 0.0)
(s12062 0.0)
(s12064 0.0)
(s12065 0.0)
(s12066 0.0)
(s12067 0.0)
(s12070 0.0)
(s12071 0.0)
(s12072 0.0)
(s12075 0.0)
(s12076 0.0)
(s12077 0.0)
(s12080 0.0)
(s12081 0.0)
(s12082 0.0)
(s12085 0.0)
(s12086 0.0)
(s12087 0.0)
(s12090 0.0)
(s12091 0.0)
(s12092 0.0)
(s12095 0.0)
(s12096 0.0)
(s12097 0.0)
(s12100 0.0)
(s12101 0.0)
(s12102 0.0)
(s12105 0.0)
(s12106 0.0)
(s12107 0.0)
(s12110 0.0)
(s12111 0.0)
(s12112 0.0)
(s12115 0.0)
(s12116 0.0)
(s12117 0.0)
(s12120 0.0)
(s12121 0.0)
(s12122 0.0)
(s12125 0.0)
(s12126 0.0)
(s12127 0.0)
(s12130 0.0)
(s12131 0.0)
(s12132 0.0)
(s12134 0.0)
(s12135 0.0)
(s12136 0.0)
(s12137 0.0)
(s12139 0.0)
(s12140 1.0)
(s12141 0.0)
(s12142 0.0)
(s12143 0.0)
(s12145 0.0)
(s12146 0.0)
(s12147 0.0)
(s12148 0.0)
(s12149 0.0)
(s12150 0.0)
(s12152 0.0)
(s12153 0.0)
(s12154 0.0)
(s12155 0.0)
(s12157 0.0)
(s12158 0.0)
(s12159 0.0)
(s12160 0.0)
(s12162 0.0)
(s12163 0.0)
(s12164 0.0)
(s12165 0.0)
(s12167 0.0)
(s12168 0.0)
(s12169 0.0)
(s12170 0.0)
(s12172 0.0)
(s12173 0.0)
(s12174 0.0)
(s12175 0.0)
(s12177 0.0)
(s12178 0.0)
(s12179 0.0)
(s12180 0.0)
(s12182 0.0)
(s12183 0.0)
(s12184 0.0)
(s12185 0.0)
(s12187 0.0)
(s12188 0.0)
(s12189 0.0)
(s12190 0.0)
(s12192 0.0)
(s12193 0.0)
(s12194 0.0)
(s12195 0.0)
(s12197 0.0)
(s12198 0.0)
(s12199 0.0)
(s12200 0.0)
(s12202 0.0)
(s12203 0.0)
(s12204 0.0)
(s12205 0.0)
(s12207 0.0)
(s12208 0.0)
(s12209 0.0)
(s12210 0.0)
(s12211 0.0)
(s12212 0.0)
(s12213 0.0)
(s12214 0.0)
(s12215 0.0)
(s12217 0.0)
(s12218 0.0)
(s12219 0.0)
(s12220 0.0)
(s12222 0.0)
(s12223 0.0)
(s12224 0.0)
(s12225 0.0)
(s12227 0.0)
(s12228 0.0)
(s12229 0.0)
(s12230 0.0)
(s12232 0.0)
(s12233 0.0)
(s12234 0.0)
(s12235 0.0)
(s12237 0.0)
(s12238 0.0)
(s12239 0.0)
(s12240 0.0)
(s12243 0.0)
(s12244 0.0)
(s12245 0.0)
(s12247 0.0)
(s12248 0.0)
(s12249 0.0)
(s12250 0.0)
(s12252 0.0)
(s12253 0.0)
(s12254 0.0)
(s12255 0.0)
(s12257 0.0)
(s12258 0.0)
(s12259 0.0)
(s12260 0.0)
(s12262 0.0)
(s12263 0.0)
(s12264 0.0)
(s12265 0.0)
(s12267 0.0)
(s12268 0.0)
(s12269 0.0)
(s12270 0.0)
(s12273 0.0)
(s12274 0.0)
(s12275 0.0)
(s12277 0.0)
(s12278 0.0)
(s12279 0.0)
(s12280 0.0)
(s12283 0.0)
(s12284 0.0)
(s12285 0.0)
(s12288 0.0)
(s12289 0.0)
(s12290 0.0)
(s12292 0.0)
(s12293 0.0)
(s12294 0.0)
(s12295 0.0)
(s12298 0.0)
(s12299 0.0)
(s12300 0.0)
(s12303 0.0)
(s12305 0.0)
(s12306 0.0)
(s12307 0.0)
(s12308 0.0)
(s12309 0.0)
(s12310 0.0)
(s12312 0.0)
(s12313 0.0)
(s12314 0.0)
(s12315 0.0)
(s12318 0.0)
(s12319 0.0)
(s12320 0.0)
(s12321 0.0)
(s12323 0.0)
(s12324 0.0)
(s12325 0.0)
(s12327 0.0)
(s12328 0.0)
(s12329 0.0)
(s12330 0.0)
(s12331 0.0)
(s12332 0.0)
(s12333 0.0)
(s12334 0.0)
(s12335 0.0)
(s12337 0.0)
(s12338 0.0)
(s12339 0.0)
(s12340 0.0)
(s12343 0.0)
(s12344 0.0)
(s12345 0.0)
(s12348 0.0)
(s12349 0.0)
(s12350 0.0)
(s12353 0.0)
(s12354 0.0)
(s12355 0.0)
(s12357 0.0)
(s12358 0.0)
(s12359 0.0)
(s12360 0.0)
(s12363 0.0)
(s12364 0.0)
(s12365 0.0)
(s12368 0.0)
(s12369 0.0)
(s12370 0.0)
(s12373 0.0)
(s12374 0.0)
(s12375 0.0)
(s12378 0.0)
(s12379 0.0)
(s12380 0.0)
(s12383 0.0)
(s12384 0.0)
(s12385 0.0)
(s12387 0.0)
(s12388 0.0)
(s12389 0.0)
(s12390 0.0)
(s12392 0.0)
(s12393 0.0)
(s12394 0.0)
(s12395 0.0)
(s12398 0.0)
(s12399 0.0)
(s12400 0.0)
(s12403 0.0)
(s12404 0.0)
(s12405 0.0)
(s12408 0.0)
(s12409 0.0)
(s12410 0.0)
(s12413 0.0)
(s12414 0.0)
(s12415 0.0)
(s12418 0.0)
(s12419 0.0)
(s12420 0.0)
(s12423 0.0)
(s12424 0.0)
(s12425 0.0)
(s12428 0.0)
(s12429 0.0)
(s12430 0.0)
(s12433 0.0)
(s12434 0.0)
(s12435 0.0)
(s12438 0.0)
(s12439 0.0)
(s12440 0.0)
(s12443 0.0)
(s12444 0.0)
(s12445 0.0)
(s12448 0.0)
(s12449 0.0)
(s12450 0.0)
(s12453 0.0)
(s12454 0.0)
(s12455 0.0)
(s12458 0.0)
(s12459 0.0)
(s12460 0.0)
(s12462 0.0)
(s12463 0.0)
(s12464 0.0)
(s12465 0.0)
(s12467 0.0)
(s12468 0.0)
(s12469 1.0)
(s12470 0.0)
(s12471 0.0)
(s12473 0.0)
(s12474 0.0)
(s12475 0.0)
(s12476 0.0)
(s12477 0.0)
(s12478 0.0)
(s12480 0.0)
(s12481 0.0)
(s12482 0.0)
(s12483 0.0)
(s12485 0.0)
(s12486 0.0)
(s12487 0.0)
(s12488 0.0)
(s12490 0.0)
(s12491 0.0)
(s12492 0.0)
(s12493 0.0)
(s12495 0.0)
(s12496 0.0)
(s12497 0.0)
(s12498 0.0)
(s12500 0.0)
(s12501 0.0)
(s12502 0.0)
(s12503 0.0)
(s12505 0.0)
(s12506 0.0)
(s12507 0.0)
(s12508 0.0)
(s12510 0.0)
(s12511 0.0)
(s12512 0.0)
(s12513 0.0)
(s12515 0.0)
(s12516 0.0)
(s12517 0.0)
(s12518 0.0)
(s12520 0.0)
(s12521 0.0)
(s12522 0.0)
(s12523 0.0)
(s12525 0.0)
(s12526 0.0)
(s12527 0.0)
(s12528 0.0)
(s12530 0.0)
(s12531 0.0)
(s12532 0.0)
(s12533 0.0)
(s12535 0.0)
(s12536 0.0)
(s12537 0.0)
(s12538 0.0)
(s12539 0.0)
(s12540 0.0)
(s12541 0.0)
(s12542 0.0)
(s12543 0.0)
(s12545 0.0)
(s12546 0.0)
(s12547 0.0)
(s12548 0.0)
(s12550 0.0)
(s12551 0.0)
(s12552 0.0)
(s12553 0.0)
(s12555 0.0)
(s12556 0.0)
(s12557 0.0)
(s12558 0.0)
(s12560 0.0)
(s12561 0.0)
(s12562 0.0)
(s12563 0.0)
(s12565 0.0)
(s12566 0.0)
(s12567 0.0)
(s12568 0.0)
(s12571 0.0)
(s12572 0.0)
(s12573 0.0)
(s12575 0.0)
(s12576 0.0)
(s12577 0.0)
(s12578 0.0)
(s12580 0.0)
(s12581 0.0)
(s12582 0.0)
(s12583 0.0)
(s12585 0.0)
(s12586 0.0)
(s12587 0.0)
(s12588 0.0)
(s12590 0.0)
(s12591 0.0)
(s12592 0.0)
(s12593 0.0)
(s12595 0.0)
(s12596 0.0)
(s12597 0.0)
(s12598 0.0)
(s12601 0.0)
(s12602 0.0)
(s12603 0.0)
(s12605 0.0)
(s12606 0.0)
(s12607 0.0)
(s12608 0.0)
(s12611 0.0)
(s12612 0.0)
(s12613 0.0)
(s12616 0.0)
(s12617 0.0)
(s12618 0.0)
(s12620 0.0)
(s12621 0.0)
(s12622 0.0)
(s12623 0.0)
(s12626 0.0)
(s12627 0.0)
(s12628 0.0)
(s12631 0.0)
(s12633 0.0)
(s12634 0.0)
(s12635 0.0)
(s12636 0.0)
(s12637 0.0)
(s12638 0.0)
(s12640 0.0)
(s12641 0.0)
(s12642 0.0)
(s12643 0.0)
(s12646 0.0)
(s12647 0.0)
(s12648 0.0)
(s12649 0.0)
(s12651 0.0)
(s12652 0.0)
(s12653 0.0)
(s12656 0.0)
(s12657 0.0)
(s12658 0.0)
(s12660 0.0)
(s12661 0.0)
(s12662 0.0)
(s12663 0.0)
(s12665 0.0)
(s12666 0.0)
(s12667 0.0)
(s12668 0.0)
(s12671 0.0)
(s12672 0.0)
(s12673 0.0)
(s12676 0.0)
(s12677 0.0)
(s12678 0.0)
(s12681 0.0)
(s12682 0.0)
(s12683 0.0)
(s12685 0.0)
(s12686 0.0)
(s12687 0.0)
(s12688 0.0)
(s12691 0.0)
(s12692 0.0)
(s12693 0.0)
(s12696 0.0)
(s12697 0.0)
(s12698 0.0)
(s12701 0.0)
(s12702 0.0)
(s12703 0.0)
(s12706 0.0)
(s12707 0.0)
(s12708 0.0)
(s12711 0.0)
(s12712 0.0)
(s12713 0.0)
(s12715 0.0)
(s12716 0.0)
(s12717 0.0)
(s12718 0.0)
(s12720 0.0)
(s12721 0.0)
(s12722 0.0)
(s12723 0.0)
(s12726 0.0)
(s12727 0.0)
(s12728 0.0)
(s12731 0.0)
(s12732 0.0)
(s12733 0.0)
(s12736 0.0)
(s12737 0.0)
(s12738 0.0)
(s12741 0.0)
(s12742 0.0)
(s12743 0.0)
(s12746 0.0)
(s12747 0.0)
(s12748 0.0)
(s12751 0.0)
(s12752 0.0)
(s12753 0.0)
(s12756 0.0)
(s12757 0.0)
(s12758 0.0)
(s12761 0.0)
(s12762 0.0)
(s12763 0.0)
(s12766 0.0)
(s12767 0.0)
(s12768 0.0)
(s12771 0.0)
(s12772 0.0)
(s12773 0.0)
(s12776 0.0)
(s12777 0.0)
(s12778 0.0)
(s12781 0.0)
(s12782 0.0)
(s12783 0.0)
(s12786 0.0)
(s12787 0.0)
(s12788 0.0)
(s12790 0.0)
(s12791 0.0)
(s12792 0.0)
(s12793 0.0)
(s12794 0.0)
(s12796 1.0)
(s12797 0.0)
(s12798 0.0)
(s12799 0.0)
(s12801 0.0)
(s12802 0.0)
(s12803 0.0)
(s12804 0.0)
(s12805 0.0)
(s12806 0.0)
(s12808 0.0)
(s12809 0.0)
(s12810 0.0)
(s12811 0.0)
(s12813 0.0)
(s12814 0.0)
(s12815 0.0)
(s12816 0.0)
(s12818 0.0)
(s12819 0.0)
(s12820 0.0)
(s12821 0.0)
(s12823 0.0)
(s12824 0.0)
(s12825 0.0)
(s12826 0.0)
(s12828 0.0)
(s12829 0.0)
(s12830 0.0)
(s12831 0.0)
(s12833 0.0)
(s12834 0.0)
(s12835 0.0)
(s12836 0.0)
(s12838 0.0)
(s12839 0.0)
(s12840 0.0)
(s12841 0.0)
(s12843 0.0)
(s12844 0.0)
(s12845 0.0)
(s12846 0.0)
(s12848 0.0)
(s12849 0.0)
(s12850 0.0)
(s12851 0.0)
(s12853 0.0)
(s12854 0.0)
(s12855 0.0)
(s12856 0.0)
(s12858 0.0)
(s12859 0.0)
(s12860 0.0)
(s12861 0.0)
(s12863 0.0)
(s12864 0.0)
(s12865 0.0)
(s12866 0.0)
(s12867 0.0)
(s12868 0.0)
(s12869 0.0)
(s12870 0.0)
(s12871 0.0)
(s12873 0.0)
(s12874 0.0)
(s12875 0.0)
(s12876 0.0)
(s12878 0.0)
(s12879 0.0)
(s12880 0.0)
(s12881 0.0)
(s12883 0.0)
(s12884 0.0)
(s12885 0.0)
(s12886 0.0)
(s12888 0.0)
(s12889 0.0)
(s12890 0.0)
(s12891 0.0)
(s12893 0.0)
(s12894 0.0)
(s12895 0.0)
(s12896 0.0)
(s12899 0.0)
(s12900 0.0)
(s12901 0.0)
(s12903 0.0)
(s12904 0.0)
(s12905 0.0)
(s12906 0.0)
(s12908 0.0)
(s12909 0.0)
(s12910 0.0)
(s12911 0.0)
(s12913 0.0)
(s12914 0.0)
(s12915 0.0)
(s12916 0.0)
(s12918 0.0)
(s12919 0.0)
(s12920 0.0)
(s12921 0.0)
(s12923 0.0)
(s12924 0.0)
(s12925 0.0)
(s12926 0.0)
(s12929 0.0)
(s12930 0.0)
(s12931 0.0)
(s12933 0.0)
(s12934 0.0)
(s12935 0.0)
(s12936 0.0)
(s12939 0.0)
(s12940 0.0)
(s12941 0.0)
(s12944 0.0)
(s12945 0.0)
(s12946 0.0)
(s12948 0.0)
(s12949 0.0)
(s12950 0.0)
(s12951 0.0)
(s12954 0.0)
(s12955 0.0)
(s12956 0.0)
(s12959 0.0)
(s12961 0.0)
(s12962 0.0)
(s12963 0.0)
(s12964 0.0)
(s12965 0.0)
(s12966 0.0)
(s12968 0.0)
(s12969 0.0)
(s12970 0.0)
(s12971 0.0)
(s12974 0.0)
(s12975 0.0)
(s12976 0.0)
(s12977 0.0)
(s12979 0.0)
(s12980 0.0)
(s12981 0.0)
(s12984 0.0)
(s12985 0.0)
(s12986 0.0)
(s12988 0.0)
(s12989 0.0)
(s12990 0.0)
(s12991 0.0)
(s12992 0.0)
(s12993 0.0)
(s12994 0.0)
(s12995 0.0)
(s12996 0.0)
(s12999 0.0)
(s13000 0.0)
(s13001 0.0)
(s13004 0.0)
(s13005 0.0)
(s13006 0.0)
(s13009 0.0)
(s13010 0.0)
(s13011 0.0)
(s13013 0.0)
(s13014 0.0)
(s13015 0.0)
(s13016 0.0)
(s13019 0.0)
(s13020 0.0)
(s13021 0.0)
(s13024 0.0)
(s13025 0.0)
(s13026 0.0)
(s13029 0.0)
(s13030 0.0)
(s13031 0.0)
(s13034 0.0)
(s13035 0.0)
(s13036 0.0)
(s13039 0.0)
(s13040 0.0)
(s13041 0.0)
(s13043 0.0)
(s13044 0.0)
(s13045 0.0)
(s13046 0.0)
(s13048 0.0)
(s13049 0.0)
(s13050 0.0)
(s13051 0.0)
(s13054 0.0)
(s13055 0.0)
(s13056 0.0)
(s13059 0.0)
(s13060 0.0)
(s13061 0.0)
(s13064 0.0)
(s13065 0.0)
(s13066 0.0)
(s13069 0.0)
(s13070 0.0)
(s13071 0.0)
(s13074 0.0)
(s13075 0.0)
(s13076 0.0)
(s13079 0.0)
(s13080 0.0)
(s13081 0.0)
(s13084 0.0)
(s13085 0.0)
(s13086 0.0)
(s13089 0.0)
(s13090 0.0)
(s13091 0.0)
(s13094 0.0)
(s13095 0.0)
(s13096 0.0)
(s13099 0.0)
(s13100 0.0)
(s13101 0.0)
(s13104 0.0)
(s13105 0.0)
(s13106 0.0)
(s13109 0.0)
(s13110 0.0)
(s13111 0.0)
(s13114 0.0)
(s13115 0.0)
(s13116 0.0)
(s13118 0.0)
(s13119 0.0)
(s13120 0.0)
(s13121 0.0)
(s13122 0.0)
(s13124 1.0)
(s13125 0.0)
(s13126 0.0)
(s13127 0.0)
(s13128 0.0)
(s13129 0.0)
(s13130 0.0)
(s13131 0.0)
(s13132 0.0)
(s13133 0.0)
(s13134 0.0)
(s13136 0.0)
(s13137 0.0)
(s13138 0.0)
(s13139 0.0)
(s13141 0.0)
(s13142 0.0)
(s13143 0.0)
(s13144 0.0)
(s13146 0.0)
(s13147 0.0)
(s13148 0.0)
(s13149 0.0)
(s13151 0.0)
(s13152 0.0)
(s13153 0.0)
(s13154 0.0)
(s13156 0.0)
(s13157 0.0)
(s13158 0.0)
(s13159 0.0)
(s13161 0.0)
(s13162 0.0)
(s13163 0.0)
(s13164 0.0)
(s13166 0.0)
(s13167 0.0)
(s13168 0.0)
(s13169 0.0)
(s13171 0.0)
(s13172 0.0)
(s13173 0.0)
(s13174 0.0)
(s13176 0.0)
(s13177 0.0)
(s13178 0.0)
(s13179 0.0)
(s13181 0.0)
(s13182 0.0)
(s13183 0.0)
(s13184 0.0)
(s13186 0.0)
(s13187 0.0)
(s13188 0.0)
(s13189 0.0)
(s13191 0.0)
(s13192 0.0)
(s13193 1.0)
(s13194 0.0)
(s13195 0.0)
(s13196 0.0)
(s13197 0.0)
(s13198 0.0)
(s13199 0.0)
(s13201 0.0)
(s13202 0.0)
(s13203 0.0)
(s13204 0.0)
(s13206 0.0)
(s13207 0.0)
(s13208 0.0)
(s13209 0.0)
(s13211 0.0)
(s13212 0.0)
(s13213 0.0)
(s13214 0.0)
(s13216 0.0)
(s13217 0.0)
(s13218 0.0)
(s13219 0.0)
(s13221 0.0)
(s13222 0.0)
(s13223 0.0)
(s13224 0.0)
(s13227 0.0)
(s13228 0.0)
(s13229 0.0)
(s13231 0.0)
(s13232 0.0)
(s13233 0.0)
(s13234 0.0)
(s13236 0.0)
(s13237 0.0)
(s13238 0.0)
(s13239 0.0)
(s13241 0.0)
(s13242 0.0)
(s13243 0.0)
(s13244 0.0)
(s13246 0.0)
(s13247 0.0)
(s13248 0.0)
(s13249 0.0)
(s13251 0.0)
(s13252 0.0)
(s13253 0.0)
(s13254 0.0)
(s13257 0.0)
(s13258 0.0)
(s13259 0.0)
(s13261 0.0)
(s13262 0.0)
(s13263 0.0)
(s13264 0.0)
(s13267 0.0)
(s13268 0.0)
(s13269 0.0)
(s13272 0.0)
(s13273 0.0)
(s13274 0.0)
(s13276 0.0)
(s13277 0.0)
(s13278 0.0)
(s13279 0.0)
(s13282 0.0)
(s13283 0.0)
(s13284 0.0)
(s13287 0.0)
(s13289 0.0)
(s13290 0.0)
(s13291 0.0)
(s13292 0.0)
(s13293 0.0)
(s13294 0.0)
(s13296 0.0)
(s13297 0.0)
(s13298 0.0)
(s13299 0.0)
(s13302 0.0)
(s13303 0.0)
(s13304 0.0)
(s13305 0.0)
(s13307 0.0)
(s13308 0.0)
(s13309 0.0)
(s13312 0.0)
(s13313 0.0)
(s13314 0.0)
(s13316 0.0)
(s13317 0.0)
(s13318 0.0)
(s13319 0.0)
(s13320 0.0)
(s13321 0.0)
(s13322 0.0)
(s13323 0.0)
(s13324 0.0)
(s13327 0.0)
(s13328 0.0)
(s13329 0.0)
(s13332 0.0)
(s13333 0.0)
(s13334 0.0)
(s13337 0.0)
(s13338 0.0)
(s13339 0.0)
(s13341 0.0)
(s13342 0.0)
(s13343 0.0)
(s13344 0.0)
(s13347 0.0)
(s13348 0.0)
(s13349 0.0)
(s13352 0.0)
(s13353 0.0)
(s13354 0.0)
(s13357 0.0)
(s13358 0.0)
(s13359 0.0)
(s13362 0.0)
(s13363 0.0)
(s13364 0.0)
(s13367 0.0)
(s13368 0.0)
(s13369 0.0)
(s13371 0.0)
(s13372 0.0)
(s13373 0.0)
(s13374 0.0)
(s13376 0.0)
(s13377 0.0)
(s13378 0.0)
(s13379 0.0)
(s13382 0.0)
(s13383 0.0)
(s13384 0.0)
(s13387 0.0)
(s13388 0.0)
(s13389 0.0)
(s13392 0.0)
(s13393 0.0)
(s13394 0.0)
(s13397 0.0)
(s13398 0.0)
(s13399 0.0)
(s13402 0.0)
(s13403 0.0)
(s13404 0.0)
(s13407 0.0)
(s13408 0.0)
(s13409 0.0)
(s13412 0.0)
(s13413 0.0)
(s13414 0.0)
(s13417 0.0)
(s13418 0.0)
(s13419 0.0)
(s13422 0.0)
(s13423 0.0)
(s13424 0.0)
(s13427 0.0)
(s13428 0.0)
(s13429 0.0)
(s13432 0.0)
(s13433 0.0)
(s13434 0.0)
(s13437 0.0)
(s13438 0.0)
(s13439 0.0)
(s13442 0.0)
(s13443 0.0)
(s13444 0.0)
(s13446 0.0)
(s13447 1.0)
(s13448 0.0)
(s13449 0.0)
(s13450 0.0)
(s13452 1.0)
(s13453 0.0)
(s13454 0.0)
(s13455 0.0)
(s13457 0.0)
(s13458 0.0)
(s13459 0.0)
(s13460 0.0)
(s13461 0.0)
(s13462 0.0)
(s13464 0.0)
(s13465 0.0)
(s13466 0.0)
(s13467 0.0)
(s13469 0.0)
(s13470 0.0)
(s13471 0.0)
(s13472 0.0)
(s13474 0.0)
(s13475 0.0)
(s13476 0.0)
(s13477 0.0)
(s13479 0.0)
(s13480 0.0)
(s13481 0.0)
(s13482 0.0)
(s13484 0.0)
(s13485 0.0)
(s13486 0.0)
(s13487 0.0)
(s13489 0.0)
(s13490 0.0)
(s13491 0.0)
(s13492 0.0)
(s13494 0.0)
(s13495 0.0)
(s13496 0.0)
(s13497 0.0)
(s13499 0.0)
(s13500 0.0)
(s13501 0.0)
(s13502 0.0)
(s13504 0.0)
(s13505 0.0)
(s13506 0.0)
(s13507 0.0)
(s13509 0.0)
(s13510 0.0)
(s13511 0.0)
(s13512 0.0)
(s13514 0.0)
(s13515 0.0)
(s13516 0.0)
(s13517 0.0)
(s13519 0.0)
(s13520 0.0)
(s13521 0.0)
(s13522 0.0)
(s13523 0.0)
(s13524 0.0)
(s13525 0.0)
(s13526 0.0)
(s13527 0.0)
(s13529 0.0)
(s13530 0.0)
(s13531 0.0)
(s13532 0.0)
(s13534 0.0)
(s13535 0.0)
(s13536 0.0)
(s13537 0.0)
(s13539 0.0)
(s13540 0.0)
(s13541 0.0)
(s13542 0.0)
(s13544 0.0)
(s13545 0.0)
(s13546 0.0)
(s13547 0.0)
(s13549 0.0)
(s13550 0.0)
(s13551 0.0)
(s13552 0.0)
(s13555 0.0)
(s13556 0.0)
(s13557 0.0)
(s13559 0.0)
(s13560 0.0)
(s13561 0.0)
(s13562 0.0)
(s13564 0.0)
(s13565 0.0)
(s13566 0.0)
(s13567 0.0)
(s13569 0.0)
(s13570 0.0)
(s13571 0.0)
(s13572 0.0)
(s13574 0.0)
(s13575 0.0)
(s13576 0.0)
(s13577 0.0)
(s13579 0.0)
(s13580 0.0)
(s13581 0.0)
(s13582 0.0)
(s13585 0.0)
(s13586 0.0)
(s13587 0.0)
(s13589 0.0)
(s13590 0.0)
(s13591 0.0)
(s13592 0.0)
(s13595 0.0)
(s13596 0.0)
(s13597 0.0)
(s13600 0.0)
(s13601 0.0)
(s13602 0.0)
(s13604 0.0)
(s13605 0.0)
(s13606 0.0)
(s13607 0.0)
(s13610 0.0)
(s13611 0.0)
(s13612 0.0)
(s13615 0.0)
(s13617 0.0)
(s13618 0.0)
(s13619 0.0)
(s13620 0.0)
(s13621 0.0)
(s13622 0.0)
(s13624 0.0)
(s13625 0.0)
(s13626 0.0)
(s13627 0.0)
(s13630 0.0)
(s13631 0.0)
(s13632 0.0)
(s13633 0.0)
(s13635 0.0)
(s13636 0.0)
(s13637 0.0)
(s13640 0.0)
(s13641 0.0)
(s13642 0.0)
(s13644 0.0)
(s13645 0.0)
(s13646 0.0)
(s13647 0.0)
(s13648 0.0)
(s13649 0.0)
(s13650 0.0)
(s13651 0.0)
(s13652 0.0)
(s13654 0.0)
(s13655 0.0)
(s13656 0.0)
(s13657 0.0)
(s13660 0.0)
(s13661 0.0)
(s13662 0.0)
(s13665 0.0)
(s13666 0.0)
(s13667 0.0)
(s13669 0.0)
(s13670 0.0)
(s13671 0.0)
(s13672 0.0)
(s13675 0.0)
(s13676 0.0)
(s13677 0.0)
(s13680 0.0)
(s13681 0.0)
(s13682 0.0)
(s13685 0.0)
(s13686 0.0)
(s13687 0.0)
(s13690 0.0)
(s13691 0.0)
(s13692 0.0)
(s13695 0.0)
(s13696 0.0)
(s13697 0.0)
(s13699 0.0)
(s13700 0.0)
(s13701 0.0)
(s13702 0.0)
(s13704 0.0)
(s13705 0.0)
(s13706 0.0)
(s13707 0.0)
(s13710 0.0)
(s13711 0.0)
(s13712 0.0)
(s13715 0.0)
(s13716 0.0)
(s13717 0.0)
(s13720 0.0)
(s13721 0.0)
(s13722 0.0)
(s13725 0.0)
(s13726 0.0)
(s13727 0.0)
(s13730 0.0)
(s13731 0.0)
(s13732 0.0)
(s13735 0.0)
(s13736 0.0)
(s13737 0.0)
(s13740 0.0)
(s13741 0.0)
(s13742 0.0)
(s13745 0.0)
(s13746 0.0)
(s13747 0.0)
(s13750 0.0)
(s13751 0.0)
(s13752 0.0)
(s13755 0.0)
(s13756 0.0)
(s13757 0.0)
(s13760 0.0)
(s13761 0.0)
(s13762 0.0)
(s13765 0.0)
(s13766 0.0)
(s13767 0.0)
(s13770 0.0)
(s13771 0.0)
(s13772 0.0)
(s13774 0.0)
(s13775 0.0)
(s13776 0.0)
(s13777 0.0)
(s13779 0.0)
(s13780 1.0)
(s13781 0.0)
(s13782 0.0)
(s13783 0.0)
(s13785 0.0)
(s13786 0.0)
(s13787 0.0)
(s13788 0.0)
(s13789 0.0)
(s13790 0.0)
(s13792 0.0)
(s13793 0.0)
(s13794 0.0)
(s13795 0.0)
(s13797 0.0)
(s13798 0.0)
(s13799 0.0)
(s13800 0.0)
(s13802 0.0)
(s13803 0.0)
(s13804 0.0)
(s13805 0.0)
(s13807 0.0)
(s13808 0.0)
(s13809 0.0)
(s13810 0.0)
(s13812 0.0)
(s13813 0.0)
(s13814 0.0)
(s13815 0.0)
(s13817 0.0)
(s13818 0.0)
(s13819 0.0)
(s13820 0.0)
(s13822 0.0)
(s13823 0.0)
(s13824 0.0)
(s13825 0.0)
(s13827 0.0)
(s13828 0.0)
(s13829 0.0)
(s13830 0.0)
(s13832 0.0)
(s13833 0.0)
(s13834 0.0)
(s13835 0.0)
(s13837 0.0)
(s13838 0.0)
(s13839 0.0)
(s13840 0.0)
(s13842 0.0)
(s13843 0.0)
(s13844 0.0)
(s13845 0.0)
(s13847 0.0)
(s13848 0.0)
(s13849 0.0)
(s13850 0.0)
(s13851 0.0)
(s13852 0.0)
(s13853 0.0)
(s13854 0.0)
(s13855 0.0)
(s13857 0.0)
(s13858 0.0)
(s13859 0.0)
(s13860 0.0)
(s13862 0.0)
(s13863 0.0)
(s13864 0.0)
(s13865 0.0)
(s13867 0.0)
(s13868 0.0)
(s13869 0.0)
(s13870 0.0)
(s13872 0.0)
(s13873 0.0)
(s13874 0.0)
(s13875 0.0)
(s13877 0.0)
(s13878 0.0)
(s13879 0.0)
(s13880 0.0)
(s13883 0.0)
(s13884 0.0)
(s13885 0.0)
(s13887 0.0)
(s13888 0.0)
(s13889 0.0)
(s13890 0.0)
(s13892 0.0)
(s13893 0.0)
(s13894 0.0)
(s13895 0.0)
(s13897 0.0)
(s13898 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 3 (OVERLAPS) 67/14485 variables, 67/76 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 14485/42591 variables, and 76 constraints, problems are : Problem set: 0 solved, 4 unsolved in 5098 ms.
Refiners :[Positive P Invariants (semi-flows): 67/67 constraints, Generalized P Invariants (flows): 9/266 constraints, State Equation: 0/21462 constraints, PredecessorRefiner: 4/4 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/5 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 14413/14418 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/14418 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 3 (OVERLAPS) 67/14485 variables, 67/76 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 22:23:59] [INFO ] Deduced a trap composed of 1285 places in 31124 ms of which 729 ms to minimize.
SMT process timed out in 43596ms, After SMT, problems are : Problem set: 0 solved, 4 unsolved
Fused 4 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5 out of 21462 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 21462/21462 places, 21129/21129 transitions.
Graph (complete) has 42457 edges and 21462 vertex of which 280 are kept as prefixes of interest. Removing 21182 places using SCC suffix rule.31 ms
Discarding 21182 places :
Also discarding 15339 output transitions
Drop transitions (Output transitions of discarded places.) removed 15339 transitions
Drop transitions (Empty/Sink Transition effects.) removed 4328 transitions
Reduce isomorphic transitions removed 4328 transitions.
Discarding 2 places :
Implicit places reduction removed 2 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 63 transitions
Trivial Post-agglo rules discarded 63 transitions
Performed 63 trivial Post agglomeration. Transition count delta: 63
Iterating post reduction 0 with 4393 rules applied. Total rules applied 4394 place count 278 transition count 1399
Reduce places removed 68 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 70 transitions
Reduce isomorphic transitions removed 70 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 1 with 139 rules applied. Total rules applied 4533 place count 210 transition count 1328
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 4534 place count 209 transition count 1328
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2 Pre rules applied. Total rules applied 4534 place count 209 transition count 1326
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 4538 place count 207 transition count 1326
Discarding 30 places :
Symmetric choice reduction at 3 with 30 rule applications. Total rules 4568 place count 177 transition count 1296
Iterating global reduction 3 with 30 rules applied. Total rules applied 4598 place count 177 transition count 1296
Free-agglomeration rule applied 66 times.
Iterating global reduction 3 with 66 rules applied. Total rules applied 4664 place count 177 transition count 1230
Reduce places removed 66 places and 0 transitions.
Iterating post reduction 3 with 66 rules applied. Total rules applied 4730 place count 111 transition count 1230
Drop transitions (Redundant composition of simpler transitions.) removed 66 transitions
Redundant transition composition rules discarded 66 transitions
Iterating global reduction 4 with 66 rules applied. Total rules applied 4796 place count 111 transition count 1164
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 4 with 3 rules applied. Total rules applied 4799 place count 111 transition count 1161
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 4802 place count 108 transition count 1161
Partial Free-agglomeration rule applied 31 times.
Drop transitions (Partial Free agglomeration) removed 31 transitions
Iterating global reduction 5 with 31 rules applied. Total rules applied 4833 place count 108 transition count 1161
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 5 with 1 rules applied. Total rules applied 4834 place count 107 transition count 1161
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 6 with 1 rules applied. Total rules applied 4835 place count 107 transition count 1160
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 4836 place count 106 transition count 1160
Applied a total of 4836 rules in 346 ms. Remains 106 /21462 variables (removed 21356) and now considering 1160/21129 (removed 19969) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 353 ms. Remains : 106/21462 places, 1160/21129 transitions.
RANDOM walk for 1582 steps (148 resets) in 54 ms. (28 steps per ms) remains 0/4 properties
FORMULA LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-09 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-04 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LeafsetExtension-PT-S64C3-ReachabilityFireability-2025-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
All properties solved without resorting to model-checking.
Total runtime 46848 ms.
BK_STOP 1748903039972
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LeafsetExtension-PT-S64C3"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5832"
echo " Executing tool itstools"
echo " Input is LeafsetExtension-PT-S64C3, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r114-tall-174876423400791"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/LeafsetExtension-PT-S64C3.tgz
mv LeafsetExtension-PT-S64C3 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;