Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2025-input.r072-tall-174860067200334.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 DLCshifumi-PT-4b, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r072-tall-174860067200334
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.6M
-rw-r--r-- 1 mcc users 7.5K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:32 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 29 14:32 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K 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 11K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 108K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 5.1M 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 DLCshifumi-PT-4b-ReachabilityCardinality-2025-00
FORMULA_NAME DLCshifumi-PT-4b-ReachabilityCardinality-2025-01
FORMULA_NAME DLCshifumi-PT-4b-ReachabilityCardinality-2025-02
FORMULA_NAME DLCshifumi-PT-4b-ReachabilityCardinality-2025-03
FORMULA_NAME DLCshifumi-PT-4b-ReachabilityCardinality-2025-04
FORMULA_NAME DLCshifumi-PT-4b-ReachabilityCardinality-2025-05
FORMULA_NAME DLCshifumi-PT-4b-ReachabilityCardinality-2025-06
FORMULA_NAME DLCshifumi-PT-4b-ReachabilityCardinality-2025-07
FORMULA_NAME DLCshifumi-PT-4b-ReachabilityCardinality-2025-08
FORMULA_NAME DLCshifumi-PT-4b-ReachabilityCardinality-2025-09
FORMULA_NAME DLCshifumi-PT-4b-ReachabilityCardinality-2025-10
FORMULA_NAME DLCshifumi-PT-4b-ReachabilityCardinality-2025-11
FORMULA_NAME DLCshifumi-PT-4b-ReachabilityCardinality-2025-12
FORMULA_NAME DLCshifumi-PT-4b-ReachabilityCardinality-2025-13
FORMULA_NAME DLCshifumi-PT-4b-ReachabilityCardinality-2025-14
FORMULA_NAME DLCshifumi-PT-4b-ReachabilityCardinality-2025-15

=== Now, execution of the tool begins

BK_START 1748695816194

Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCshifumi-PT-4b
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
ReachabilityCardinality PT
Running Version 202505121319
[2025-05-31 12:50:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2025-05-31 12:50:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-05-31 12:50:18] [INFO ] Load time of PNML (sax parser for PT used): 614 ms
[2025-05-31 12:50:18] [INFO ] Transformed 15015 places.
[2025-05-31 12:50:18] [INFO ] Transformed 21341 transitions.
[2025-05-31 12:50:18] [INFO ] Found NUPN structural information;
[2025-05-31 12:50:18] [INFO ] Parsed PT model containing 15015 places and 21341 transitions and 56284 arcs in 1236 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 21 ms.
Working with output stream class java.io.PrintStream
FORMULA DLCshifumi-PT-4b-ReachabilityCardinality-2025-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-4b-ReachabilityCardinality-2025-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
RANDOM walk for 40000 steps (8 resets) in 2449 ms. (16 steps per ms) remains 10/14 properties
FORMULA DLCshifumi-PT-4b-ReachabilityCardinality-2025-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-4b-ReachabilityCardinality-2025-03 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-4b-ReachabilityCardinality-2025-01 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-4b-ReachabilityCardinality-2025-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40003 steps (8 resets) in 232 ms. (171 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (8 resets) in 369 ms. (108 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 182 ms. (218 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 618 ms. (64 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (8 resets) in 627 ms. (63 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 179 ms. (222 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 125 ms. (317 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 119 ms. (333 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 129 ms. (307 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 171 ms. (232 steps per ms) remains 10/10 properties
// Phase 1: matrix 21341 rows 15015 cols
[2025-05-31 12:50:21] [INFO ] Computed 691 invariants in 168 ms
[2025-05-31 12:50:21] [INFO ] Flatten gal took : 1315 ms
Excessive predecessor constraint size, skipping predecessor.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-05-31 12:50:22] [INFO ] Flatten gal took : 568 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/157 variables, 157/157 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/157 variables, 0/157 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2025-05-31 12:50:22] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12694994193728957509.gal : 192 ms
[2025-05-31 12:50:22] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality928070606146065378.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/ReachabilityCardinality12694994193728957509.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality928070606146065378.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 ...328
At refinement iteration 2 (OVERLAPS) 10469/10626 variables, 559/716 constraints. Problems are: Problem set: 0 solved, 10 unsolved
Loading property file /tmp/ReachabilityCardinality928070606146065378.prop.
At refinement iteration 3 (INCLUDED_ONLY) 0/10626 variables, 10469/11185 constraints. Problems are: Problem set: 0 solved, 10 unsolved
(s11699 0.0timeout
^^^^^^^^^^
(error "Invalid token: 0.0timeout")
Error getting values : (error "ParserException while parsing response: ((s0 0.0)
(s1 0.0)
(s2 0.0)
(s3 0.0)
(s4 0.0)
(s5 0.0)
(s6 0.0)
(s7 0.0)
(s8 0.0)
(s9 0.0)
(s10 0.0)
(s11 0.0)
(s12 0.0)
(s13 0.0)
(s14 0.0)
(s15 0.0)
(s16 0.0)
(s17 0.0)
(s18 0.0)
(s19 0.0)
(s20 0.0)
(s21 0.0)
(s22 0.0)
(s23 0.0)
(s24 0.0)
(s25 0.0)
(s26 0.0)
(s27 0.0)
(s28 0.0)
(s29 0.0)
(s30 0.0)
(s31 0.0)
(s32 0.0)
(s33 0.0)
(s34 0.0)
(s35 0.0)
(s36 0.0)
(s37 0.0)
(s38 0.0)
(s39 0.0)
(s40 0.0)
(s41 0.0)
(s42 0.0)
(s43 0.0)
(s44 0.0)
(s45 0.0)
(s46 0.0)
(s47 0.0)
(s48 0.0)
(s49 0.0)
(s50 0.0)
(s51 0.0)
(s52 0.0)
(s53 0.0)
(s54 0.0)
(s55 0.0)
(s56 0.0)
(s57 0.0)
(s58 0.0)
(s59 0.0)
(s60 0.0)
(s61 0.0)
(s62 0.0)
(s63 0.0)
(s64 0.0)
(s65 0.0)
(s66 0.0)
(s67 0.0)
(s68 0.0)
(s69 0.0)
(s70 0.0)
(s71 0.0)
(s72 0.0)
(s73 0.0)
(s74 0.0)
(s75 0.0)
(s76 0.0)
(s77 0.0)
(s78 0.0)
(s79 0.0)
(s80 0.0)
(s81 0.0)
(s82 0.0)
(s83 0.0)
(s84 0.0)
(s85 0.0)
(s86 0.0)
(s87 0.0)
(s88 0.0)
(s89 0.0)
(s90 0.0)
(s91 0.0)
(s92 0.0)
(s93 0.0)
(s94 0.0)
(s95 0.0)
(s96 0.0)
(s97 0.0)
(s98 0.0)
(s99 0.0)
(s100 0.0)
(s101 0.0)
(s102 0.0)
(s103 1.0)
(s104 0.0)
(s105 0.0)
(s106 0.0)
(s107 0.0)
(s108 0.0)
(s109 0.0)
(s110 0.0)
(s111 0.0)
(s112 0.0)
(s113 0.0)
(s114 0.0)
(s115 0.0)
(s116 0.0)
(s117 0.0)
(s118 0.0)
(s119 0.0)
(s120 0.0)
(s121 0.0)
(s122 0.0)
(s123 0.0)
(s124 0.0)
(s125 0.0)
(s126 0.0)
(s127 0.0)
(s128 0.0)
(s129 0.0)
(s130 0.0)
(s131 0.0)
(s132 0.0)
(s133 0.0)
(s134 0.0)
(s135 0.0)
(s136 0.0)
(s137 0.0)
(s138 0.0)
(s139 0.0)
(s140 0.0)
(s141 0.0)
(s142 0.0)
(s143 0.0)
(s144 0.0)
(s145 0.0)
(s146 0.0)
(s147 0.0)
(s148 0.0)
(s149 0.0)
(s150 0.0)
(s151 0.0)
(s152 0.0)
(s153 0.0)
(s154 0.0)
(s155 0.0)
(s156 0.0)
(s157 0.0)
(s158 0.0)
(s159 0.0)
(s160 0.0)
(s161 0.0)
(s162 0.0)
(s163 0.0)
(s164 0.0)
(s165 0.0)
(s166 0.0)
(s167 0.0)
(s168 0.0)
(s169 0.0)
(s170 0.0)
(s171 0.0)
(s172 0.0)
(s173 0.0)
(s174 0.0)
(s175 0.0)
(s176 0.0)
(s177 0.0)
(s178 0.0)
(s179 0.0)
(s180 0.0)
(s181 0.0)
(s182 0.0)
(s183 0.0)
(s184 0.0)
(s185 0.0)
(s186 0.0)
(s187 0.0)
(s188 0.0)
(s189 0.0)
(s190 0.0)
(s191 0.0)
(s192 0.0)
(s193 0.0)
(s194 0.0)
(s195 0.0)
(s196 0.0)
(s197 0.0)
(s198 0.0)
(s199 0.0)
(s200 0.0)
(s201 0.0)
(s202 0.0)
(s203 (/ 3.0 4.0))
(s204 0.0)
(s205 0.0)
(s206 0.0)
(s207 0.0)
(s208 0.0)
(s209 0.0)
(s210 0.0)
(s211 0.0)
(s212 0.0)
(s213 0.0)
(s214 0.0)
(s215 0.0)
(s216 0.0)
(s217 0.0)
(s218 0.0)
(s219 0.0)
(s220 0.0)
(s221 0.0)
(s222 0.0)
(s223 0.0)
(s224 0.0)
(s225 0.0)
(s226 0.0)
(s227 0.0)
(s228 0.0)
(s229 0.0)
(s230 0.0)
(s231 0.0)
(s232 0.0)
(s233 0.0)
(s234 0.0)
(s235 0.0)
(s236 0.0)
(s237 0.0)
(s238 0.0)
(s239 0.0)
(s240 0.0)
(s241 0.0)
(s242 0.0)
(s243 0.0)
(s244 0.0)
(s245 0.0)
(s246 0.0)
(s247 0.0)
(s248 0.0)
(s249 0.0)
(s250 0.0)
(s251 0.0)
(s252 0.0)
(s253 0.0)
(s254 0.0)
(s255 0.0)
(s256 0.0)
(s257 0.0)
(s258 0.0)
(s259 0.0)
(s260 0.0)
(s261 0.0)
(s262 0.0)
(s263 0.0)
(s264 0.0)
(s265 0.0)
(s266 0.0)
(s267 0.0)
(s268 0.0)
(s269 0.0)
(s270 0.0)
(s271 0.0)
(s272 0.0)
(s273 0.0)
(s274 0.0)
(s275 0.0)
(s276 0.0)
(s277 (/ 1.0 4.0))
(s278 0.0)
(s279 0.0)
(s280 0.0)
(s281 0.0)
(s282 0.0)
(s283 0.0)
(s284 0.0)
(s388 0.0)
(s389 0.0)
(s390 0.0)
(s391 0.0)
(s392 0.0)
(s393 0.0)
(s394 0.0)
(s395 0.0)
(s396 0.0)
(s397 (/ 3.0 4.0))
(s398 0.0)
(s399 0.0)
(s400 0.0)
(s401 0.0)
(s402 0.0)
(s403 0.0)
(s404 0.0)
(s405 0.0)
(s406 0.0)
(s407 0.0)
(s408 0.0)
(s409 0.0)
(s410 0.0)
(s411 0.0)
(s412 0.0)
(s413 0.0)
(s414 0.0)
(s415 0.0)
(s416 (/ 1.0 4.0))
(s417 0.0)
(s418 0.0)
(s419 0.0)
(s420 0.0)
(s421 0.0)
(s422 0.0)
(s423 0.0)
(s424 0.0)
(s425 0.0)
(s426 0.0)
(s427 0.0)
(s428 0.0)
(s429 0.0)
(s430 0.0)
(s431 0.0)
(s432 0.0)
(s433 0.0)
(s434 0.0)
(s435 0.0)
(s436 0.0)
(s437 0.0)
(s438 0.0)
(s439 0.0)
(s440 0.0)
(s441 0.0)
(s442 0.0)
(s443 0.0)
(s444 0.0)
(s445 0.0)
(s446 0.0)
(s447 0.0)
(s448 0.0)
(s449 0.0)
(s450 0.0)
(s451 0.0)
(s452 0.0)
(s453 0.0)
(s454 0.0)
(s455 0.0)
(s456 0.0)
(s457 0.0)
(s458 0.0)
(s459 0.0)
(s460 0.0)
(s461 0.0)
(s462 0.0)
(s463 0.0)
(s464 0.0)
(s465 0.0)
(s466 0.0)
(s467 0.0)
(s468 0.0)
(s469 0.0)
(s470 0.0)
(s471 0.0)
(s472 0.0)
(s473 0.0)
(s474 0.0)
(s475 0.0)
(s476 0.0)
(s477 0.0)
(s478 0.0)
(s479 0.0)
(s480 0.0)
(s481 0.0)
(s482 0.0)
(s483 0.0)
(s484 0.0)
(s485 0.0)
(s486 0.0)
(s487 0.0)
(s488 0.0)
(s489 0.0)
(s490 0.0)
(s594 0.0)
(s595 0.0)
(s596 0.0)
(s597 0.0)
(s598 0.0)
(s599 0.0)
(s600 0.0)
(s601 0.0)
(s602 0.0)
(s603 0.0)
(s604 0.0)
(s605 0.0)
(s606 0.0)
(s607 0.0)
(s608 0.0)
(s609 0.0)
(s610 0.0)
(s611 0.0)
(s612 0.0)
(s613 0.0)
(s614 0.0)
(s615 0.0)
(s616 0.0)
(s617 0.0)
(s618 0.0)
(s619 0.0)
(s620 0.0)
(s621 0.0)
(s622 0.0)
(s623 0.0)
(s624 0.0)
(s625 0.0)
(s626 0.0)
(s627 (/ 1.0 4.0))
(s628 0.0)
(s629 0.0)
(s630 0.0)
(s631 0.0)
(s632 0.0)
(s633 0.0)
(s634 0.0)
(s635 0.0)
(s636 0.0)
(s637 0.0)
(s638 0.0)
(s639 0.0)
(s640 0.0)
(s641 0.0)
(s642 0.0)
(s643 0.0)
(s644 0.0)
(s645 0.0)
(s646 0.0)
(s647 0.0)
(s648 0.0)
(s649 0.0)
(s650 0.0)
(s651 0.0)
(s652 0.0)
(s653 0.0)
(s654 0.0)
(s655 0.0)
(s656 0.0)
(s657 0.0)
(s658 0.0)
(s659 0.0)
(s660 0.0)
(s661 0.0)
(s662 0.0)
(s663 0.0)
(s664 0.0)
(s665 0.0)
(s666 0.0)
(s667 0.0)
(s668 0.0)
(s669 0.0)
(s670 0.0)
(s671 0.0)
(s672 0.0)
(s673 0.0)
(s674 0.0)
(s675 0.0)
(s676 0.0)
(s677 0.0)
(s678 0.0)
(s679 0.0)
(s680 0.0)
(s681 0.0)
(s682 0.0)
(s683 0.0)
(s684 0.0)
(s685 0.0)
(s686 (/ 3.0 4.0))
(s687 0.0)
(s688 0.0)
(s689 0.0)
(s690 0.0)
(s691 0.0)
(s692 0.0)
(s693 0.0)
(s694 0.0)
(s695 0.0)
(s696 0.0)
(s697 0.0)
(s698 0.0)
(s699 0.0)
(s700 0.0)
(s701 0.0)
(s702 0.0)
(s703 0.0)
(s704 0.0)
(s705 0.0)
(s706 0.0)
(s707 0.0)
(s708 0.0)
(s709 0.0)
(s710 0.0)
(s711 0.0)
(s712 0.0)
(s713 0.0)
(s714 0.0)
(s715 0.0)
(s716 0.0)
(s717 0.0)
(s718 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)
(s728 0.0)
(s729 0.0)
(s730 0.0)
(s731 0.0)
(s732 0.0)
(s733 0.0)
(s734 0.0)
(s735 0.0)
(s736 0.0)
(s737 0.0)
(s738 0.0)
(s739 0.0)
(s740 0.0)
(s741 0.0)
(s742 0.0)
(s743 0.0)
(s744 0.0)
(s745 (/ 1.0 4.0))
(s746 0.0)
(s747 0.0)
(s748 0.0)
(s749 0.0)
(s750 0.0)
(s751 0.0)
(s752 0.0)
(s753 0.0)
(s754 0.0)
(s755 0.0)
(s756 0.0)
(s757 0.0)
(s758 0.0)
(s759 0.0)
(s760 0.0)
(s761 0.0)
(s762 0.0)
(s763 0.0)
(s764 0.0)
(s765 0.0)
(s766 0.0)
(s767 0.0)
(s768 0.0)
(s769 0.0)
(s770 0.0)
(s771 0.0)
(s772 0.0)
(s773 0.0)
(s774 0.0)
(s775 0.0)
(s776 0.0)
(s777 0.0)
(s778 0.0)
(s779 0.0)
(s780 0.0)
(s781 0.0)
(s782 0.0)
(s783 0.0)
(s784 0.0)
(s785 0.0)
(s786 0.0)
(s787 0.0)
(s788 0.0)
(s789 (/ 3.0 4.0))
(s790 0.0)
(s791 0.0)
(s792 0.0)
(s793 0.0)
(s794 0.0)
(s795 0.0)
(s796 0.0)
(s797 0.0)
(s798 0.0)
(s799 0.0)
(s903 0.0)
(s904 0.0)
(s905 0.0)
(s906 0.0)
(s907 0.0)
(s908 0.0)
(s909 0.0)
(s910 0.0)
(s911 0.0)
(s912 0.0)
(s913 0.0)
(s914 0.0)
(s915 0.0)
(s916 0.0)
(s917 0.0)
(s918 0.0)
(s919 0.0)
(s920 0.0)
(s921 0.0)
(s922 0.0)
(s923 0.0)
(s924 0.0)
(s925 1.0)
(s926 0.0)
(s927 0.0)
(s928 0.0)
(s929 0.0)
(s930 0.0)
(s931 0.0)
(s932 0.0)
(s933 0.0)
(s934 0.0)
(s935 0.0)
(s936 0.0)
(s937 0.0)
(s938 0.0)
(s939 0.0)
(s940 0.0)
(s941 0.0)
(s942 0.0)
(s943 0.0)
(s944 0.0)
(s945 0.0)
(s946 0.0)
(s947 0.0)
(s948 0.0)
(s949 0.0)
(s950 0.0)
(s951 0.0)
(s952 0.0)
(s953 0.0)
(s954 0.0)
(s955 0.0)
(s956 0.0)
(s957 0.0)
(s958 0.0)
(s959 0.0)
(s960 0.0)
(s961 0.0)
(s962 0.0)
(s963 0.0)
(s964 0.0)
(s965 0.0)
(s966 0.0)
(s967 0.0)
(s968 0.0)
(s969 0.0)
(s970 0.0)
(s971 0.0)
(s972 0.0)
(s973 0.0)
(s974 0.0)
(s975 0.0)
(s976 0.0)
(s977 0.0)
(s978 0.0)
(s979 0.0)
(s980 0.0)
(s981 0.0)
(s982 0.0)
(s983 0.0)
(s984 0.0)
(s985 0.0)
(s986 0.0)
(s987 0.0)
(s988 0.0)
(s989 0.0)
(s990 0.0)
(s991 0.0)
(s992 0.0)
(s993 0.0)
(s994 0.0)
(s995 0.0)
(s996 0.0)
(s997 0.0)
(s998 0.0)
(s999 0.0)
(s1000 0.0)
(s1001 0.0)
(s1002 0.0)
(s1003 0.0)
(s1004 0.0)
(s1005 0.0)
(s1109 0.0)
(s1110 0.0)
(s1111 0.0)
(s1112 0.0)
(s1113 0.0)
(s1114 0.0)
(s1115 0.0)
(s1116 0.0)
(s1117 0.0)
(s1118 0.0)
(s1119 0.0)
(s1120 0.0)
(s1121 0.0)
(s1122 0.0)
(s1123 0.0)
(s1124 0.0)
(s1125 0.0)
(s1126 0.0)
(s1127 0.0)
(s1128 (/ 1.0 4.0))
(s1129 0.0)
(s1130 0.0)
(s1131 0.0)
(s1132 (/ 1.0 4.0))
(s1133 0.0)
(s1134 0.0)
(s1135 0.0)
(s1136 0.0)
(s1137 0.0)
(s1138 0.0)
(s1139 0.0)
(s1140 0.0)
(s1141 0.0)
(s1142 0.0)
(s1143 0.0)
(s1144 0.0)
(s1145 0.0)
(s1146 0.0)
(s1147 0.0)
(s1148 0.0)
(s1149 0.0)
(s1150 0.0)
(s1151 0.0)
(s1152 0.0)
(s1153 0.0)
(s1154 0.0)
(s1155 0.0)
(s1156 0.0)
(s1157 0.0)
(s1158 0.0)
(s1159 0.0)
(s1160 0.0)
(s1161 0.0)
(s1162 0.0)
(s1163 0.0)
(s1164 0.0)
(s1165 0.0)
(s1166 0.0)
(s1167 0.0)
(s1168 0.0)
(s1169 0.0)
(s1170 0.0)
(s1171 (/ 1.0 2.0))
(s1172 0.0)
(s1173 0.0)
(s1174 0.0)
(s1175 0.0)
(s1176 0.0)
(s1177 0.0)
(s1178 0.0)
(s1179 0.0)
(s1180 0.0)
(s1181 0.0)
(s1182 0.0)
(s1183 0.0)
(s1184 0.0)
(s1185 0.0)
(s1186 0.0)
(s1187 0.0)
(s1188 0.0)
(s1189 0.0)
(s1190 0.0)
(s1191 0.0)
(s1192 0.0)
(s1193 0.0)
(s1194 0.0)
(s1195 0.0)
(s1196 0.0)
(s1197 0.0)
(s1198 0.0)
(s1199 0.0)
(s1200 0.0)
(s1201 0.0)
(s1202 0.0)
(s1203 0.0)
(s1204 0.0)
(s1205 0.0)
(s1206 0.0)
(s1207 0.0)
(s1208 0.0)
(s1209 0.0)
(s1210 0.0)
(s1211 0.0)
(s1315 0.0)
(s1316 0.0)
(s1317 0.0)
(s1318 0.0)
(s1319 0.0)
(s1320 0.0)
(s1321 0.0)
(s1322 0.0)
(s1323 0.0)
(s1324 0.0)
(s1325 0.0)
(s1326 (/ 1.0 4.0))
(s1327 0.0)
(s1328 0.0)
(s1329 0.0)
(s1330 0.0)
(s1331 0.0)
(s1332 0.0)
(s1333 0.0)
(s1334 0.0)
(s1335 0.0)
(s1336 0.0)
(s1337 0.0)
(s1338 0.0)
(s1339 0.0)
(s1340 0.0)
(s1341 0.0)
(s1342 0.0)
(s1343 0.0)
(s1344 0.0)
(s1345 0.0)
(s1346 0.0)
(s1347 0.0)
(s1348 0.0)
(s1349 0.0)
(s1350 0.0)
(s1351 0.0)
(s1352 0.0)
(s1353 0.0)
(s1354 0.0)
(s1355 0.0)
(s1356 0.0)
(s1357 0.0)
(s1358 0.0)
(s1359 (/ 3.0 4.0))
(s1360 0.0)
(s1361 0.0)
(s1362 0.0)
(s1363 0.0)
(s1364 0.0)
(s1365 0.0)
(s1366 0.0)
(s1367 0.0)
(s1368 0.0)
(s1369 0.0)
(s1370 0.0)
(s1371 0.0)
(s1372 0.0)
(s1373 0.0)
(s1374 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)
(s1384 0.0)
(s1385 0.0)
(s1386 0.0)
(s1387 0.0)
(s1388 0.0)
(s1389 0.0)
(s1390 0.0)
(s1391 0.0)
(s1392 0.0)
(s1393 0.0)
(s1394 0.0)
(s1395 0.0)
(s1396 0.0)
(s1397 0.0)
(s1398 0.0)
(s1399 0.0)
(s1400 0.0)
(s1401 0.0)
(s1402 0.0)
(s1403 0.0)
(s1404 0.0)
(s1405 0.0)
(s1406 0.0)
(s1407 0.0)
(s1408 0.0)
(s1409 0.0)
(s1410 0.0)
(s1411 0.0)
(s1412 0.0)
(s1413 0.0)
(s1414 0.0)
(s1415 0.0)
(s1416 0.0)
(s1417 0.0)
(s1521 0.0)
(s1522 0.0)
(s1523 0.0)
(s1524 0.0)
(s1525 0.0)
(s1526 0.0)
(s1527 0.0)
(s1528 0.0)
(s1529 0.0)
(s1530 0.0)
(s1531 0.0)
(s1532 0.0)
(s1533 0.0)
(s1534 0.0)
(s1535 0.0)
(s1536 0.0)
(s1537 0.0)
(s1538 0.0)
(s1539 (/ 3.0 4.0))
(s1540 0.0)
(s1541 0.0)
(s1542 0.0)
(s1543 0.0)
(s1544 0.0)
(s1545 0.0)
(s1546 0.0)
(s1547 0.0)
(s1548 0.0)
(s1549 0.0)
(s1550 0.0)
(s1551 0.0)
(s1552 0.0)
(s1553 0.0)
(s1554 0.0)
(s1555 0.0)
(s1556 0.0)
(s1557 0.0)
(s1558 (/ 1.0 4.0))
(s1559 0.0)
(s1560 0.0)
(s1561 0.0)
(s1562 0.0)
(s1563 0.0)
(s1564 0.0)
(s1565 0.0)
(s1566 0.0)
(s1567 0.0)
(s1568 0.0)
(s1569 0.0)
(s1570 0.0)
(s1571 0.0)
(s1572 0.0)
(s1573 0.0)
(s1574 0.0)
(s1575 0.0)
(s1576 0.0)
(s1577 0.0)
(s1578 0.0)
(s1579 0.0)
(s1580 0.0)
(s1581 0.0)
(s1582 0.0)
(s1583 0.0)
(s1584 0.0)
(s1585 0.0)
(s1586 0.0)
(s1587 0.0)
(s1588 0.0)
(s1589 0.0)
(s1590 0.0)
(s1591 0.0)
(s1592 0.0)
(s1593 0.0)
(s1594 0.0)
(s1595 0.0)
(s1596 0.0)
(s1597 0.0)
(s1598 0.0)
(s1599 0.0)
(s1600 0.0)
(s1601 0.0)
(s1602 0.0)
(s1603 0.0)
(s1604 0.0)
(s1605 0.0)
(s1606 0.0)
(s1607 0.0)
(s1608 0.0)
(s1609 0.0)
(s1610 0.0)
(s1611 0.0)
(s1612 0.0)
(s1613 0.0)
(s1614 0.0)
(s1615 0.0)
(s1616 0.0)
(s1617 0.0)
(s1618 0.0)
(s1619 0.0)
(s1620 0.0)
(s1621 0.0)
(s1622 0.0)
(s1623 0.0)
(s1624 0.0)
(s1625 0.0)
(s1626 0.0)
(s1627 0.0)
(s1628 0.0)
(s1629 0.0)
(s1630 0.0)
(s1631 0.0)
(s1632 0.0)
(s1633 0.0)
(s1634 0.0)
(s1635 0.0)
(s1636 0.0)
(s1637 0.0)
(s1638 0.0)
(s1639 0.0)
(s1640 0.0)
(s1641 0.0)
(s1642 0.0)
(s1643 0.0)
(s1644 0.0)
(s1645 0.0)
(s1646 0.0)
(s1647 0.0)
(s1648 0.0)
(s1649 0.0)
(s1650 0.0)
(s1651 0.0)
(s1652 0.0)
(s1653 0.0)
(s1654 0.0)
(s1655 0.0)
(s1656 0.0)
(s1657 0.0)
(s1658 0.0)
(s1659 0.0)
(s1660 0.0)
(s1661 (/ 3.0 4.0))
(s1662 0.0)
(s1663 0.0)
(s1664 0.0)
(s1665 0.0)
(s1666 0.0)
(s1667 0.0)
(s1668 0.0)
(s1669 0.0)
(s1670 0.0)
(s1671 0.0)
(s1672 0.0)
(s1673 0.0)
(s1674 0.0)
(s1675 0.0)
(s1676 0.0)
(s1677 0.0)
(s1678 0.0)
(s1679 0.0)
(s1680 0.0)
(s1681 0.0)
(s1682 0.0)
(s1683 0.0)
(s1684 0.0)
(s1685 0.0)
(s1686 0.0)
(s1687 0.0)
(s1688 0.0)
(s1689 0.0)
(s1690 0.0)
(s1691 0.0)
(s1692 0.0)
(s1693 0.0)
(s1694 0.0)
(s1695 0.0)
(s1696 0.0)
(s1697 0.0)
(s1698 0.0)
(s1699 0.0)
(s1700 0.0)
(s1701 0.0)
(s1702 0.0)
(s1703 0.0)
(s1704 0.0)
(s1705 0.0)
(s1706 0.0)
(s1707 0.0)
(s1708 (/ 1.0 4.0))
(s1709 0.0)
(s1710 0.0)
(s1711 0.0)
(s1712 0.0)
(s1713 0.0)
(s1714 0.0)
(s1715 0.0)
(s1716 0.0)
(s1717 0.0)
(s1718 0.0)
(s1719 0.0)
(s1720 0.0)
(s1721 0.0)
(s1722 0.0)
(s1723 0.0)
(s1724 0.0)
(s1725 0.0)
(s1726 0.0)
(s1727 0.0)
(s1728 0.0)
(s1729 0.0)
(s1730 0.0)
(s1731 0.0)
(s1732 0.0)
(s1733 0.0)
(s1734 0.0)
(s1735 0.0)
(s1736 0.0)
(s1737 0.0)
(s1738 0.0)
(s1739 (/ 1.0 4.0))
(s1740 0.0)
(s1741 0.0)
(s1742 0.0)
(s1743 0.0)
(s1744 0.0)
(s1745 0.0)
(s1746 0.0)
(s1747 0.0)
(s1748 0.0)
(s1749 0.0)
(s1750 0.0)
(s1751 0.0)
(s1752 0.0)
(s1753 0.0)
(s1754 0.0)
(s1755 0.0)
(s1756 0.0)
(s1757 0.0)
(s1758 0.0)
(s1759 0.0)
(s1760 0.0)
(s1761 0.0)
(s1762 0.0)
(s1763 0.0)
(s1764 0.0)
(s1765 0.0)
(s1766 0.0)
(s1767 0.0)
(s1768 0.0)
(s1769 0.0)
(s1770 0.0)
(s1771 0.0)
(s1772 0.0)
(s1773 0.0)
(s1774 0.0)
(s1775 0.0)
(s1776 0.0)
(s1777 0.0)
(s1778 0.0)
(s1779 0.0)
(s1780 0.0)
(s1781 0.0)
(s1782 0.0)
(s1783 0.0)
(s1784 0.0)
(s1785 0.0)
(s1786 0.0)
(s1787 0.0)
(s1788 0.0)
(s1789 0.0)
(s1790 0.0)
(s1791 0.0)
(s1792 (/ 3.0 4.0))
(s1793 0.0)
(s1794 0.0)
(s1795 0.0)
(s1796 0.0)
(s1797 0.0)
(s1798 0.0)
(s1799 0.0)
(s1800 0.0)
(s1801 0.0)
(s1802 0.0)
(s1803 0.0)
(s1804 0.0)
(s1805 0.0)
(s1806 0.0)
(s1807 0.0)
(s1808 0.0)
(s1809 0.0)
(s1810 0.0)
(s1811 0.0)
(s1812 0.0)
(s1813 0.0)
(s1814 0.0)
(s1815 0.0)
(s1816 0.0)
(s1817 0.0)
(s1818 0.0)
(s1819 0.0)
(s1820 0.0)
(s1821 0.0)
(s1822 0.0)
(s1823 0.0)
(s1824 0.0)
(s1825 0.0)
(s1826 0.0)
(s1827 0.0)
(s1828 0.0)
(s1829 0.0)
(s1933 0.0)
(s1934 0.0)
(s1935 0.0)
(s1936 (/ 1.0 4.0))
(s1937 0.0)
(s1938 0.0)
(s1939 0.0)
(s1940 0.0)
(s1941 0.0)
(s1942 0.0)
(s1943 0.0)
(s1944 0.0)
(s1945 0.0)
(s1946 0.0)
(s1947 0.0)
(s1948 0.0)
(s1949 0.0)
(s1950 0.0)
(s1951 0.0)
(s1952 0.0)
(s1953 0.0)
(s1954 0.0)
(s1955 0.0)
(s1956 0.0)
(s1957 0.0)
(s1958 0.0)
(s1959 0.0)
(s1960 0.0)
(s1961 0.0)
(s1962 0.0)
(s1963 0.0)
(s1964 0.0)
(s1965 0.0)
(s1966 0.0)
(s1967 0.0)
(s1968 0.0)
(s1969 0.0)
(s1970 0.0)
(s1971 0.0)
(s1972 0.0)
(s1973 0.0)
(s1974 0.0)
(s1975 (/ 1.0 4.0))
(s1976 0.0)
(s1977 0.0)
(s1978 0.0)
(s1979 0.0)
(s1980 0.0)
(s1981 0.0)
(s1982 0.0)
(s1983 0.0)
(s1984 0.0)
(s1985 0.0)
(s1986 0.0)
(s1987 0.0)
(s1988 0.0)
(s1989 0.0)
(s1990 0.0)
(s1991 0.0)
(s1992 0.0)
(s1993 0.0)
(s1994 0.0)
(s1995 0.0)
(s1996 0.0)
(s1997 0.0)
(s1998 0.0)
(s1999 0.0)
(s2000 0.0)
(s2001 0.0)
(s2002 0.0)
(s2003 0.0)
(s2004 0.0)
(s2005 0.0)
(s2006 0.0)
(s2007 0.0)
(s2008 0.0)
(s2009 0.0)
(s2010 0.0)
(s2011 (/ 1.0 2.0))
(s2012 0.0)
(s2013 0.0)
(s2014 0.0)
(s2015 0.0)
(s2016 0.0)
(s2017 0.0)
(s2018 0.0)
(s2019 0.0)
(s2020 0.0)
(s2021 0.0)
(s2022 0.0)
(s2023 0.0)
(s2024 0.0)
(s2025 0.0)
(s2026 0.0)
(s2027 0.0)
(s2028 0.0)
(s2029 0.0)
(s2030 0.0)
(s2031 0.0)
(s2032 0.0)
(s2033 0.0)
(s2034 0.0)
(s2035 0.0)
(s2242 0.0)
(s2243 0.0)
(s2244 0.0)
(s2245 0.0)
(s2246 0.0)
(s2247 0.0)
(s2248 0.0)
(s2249 0.0)
(s2250 0.0)
(s2251 0.0)
(s2252 0.0)
(s2253 0.0)
(s2254 0.0)
(s2255 0.0)
(s2256 0.0)
(s2257 0.0)
(s2258 0.0)
(s2259 0.0)
(s2260 0.0)
(s2261 0.0)
(s2262 0.0)
(s2263 0.0)
(s2264 0.0)
(s2265 0.0)
(s2266 0.0)
(s2267 0.0)
(s2268 0.0)
(s2269 0.0)
(s2270 0.0)
(s2271 0.0)
(s2272 0.0)
(s2273 0.0)
(s2274 0.0)
(s2275 0.0)
(s2276 0.0)
(s2277 0.0)
(s2278 0.0)
(s2279 0.0)
(s2280 0.0)
(s2281 0.0)
(s2282 0.0)
(s2283 0.0)
(s2284 0.0)
(s2285 0.0)
(s2286 0.0)
(s2287 0.0)
(s2288 0.0)
(s2289 0.0)
(s2290 0.0)
(s2291 (/ 3.0 4.0))
(s2292 0.0)
(s2293 0.0)
(s2294 0.0)
(s2295 0.0)
(s2296 0.0)
(s2297 0.0)
(s2298 0.0)
(s2299 0.0)
(s2300 0.0)
(s2301 0.0)
(s2302 0.0)
(s2303 0.0)
(s2304 0.0)
(s2305 0.0)
(s2306 0.0)
(s2307 0.0)
(s2308 0.0)
(s2309 0.0)
(s2310 0.0)
(s2311 0.0)
(s2312 0.0)
(s2313 0.0)
(s2314 0.0)
(s2315 0.0)
(s2316 0.0)
(s2317 0.0)
(s2318 0.0)
(s2319 0.0)
(s2320 (/ 1.0 4.0))
(s2321 0.0)
(s2322 0.0)
(s2323 0.0)
(s2324 0.0)
(s2325 0.0)
(s2326 0.0)
(s2327 0.0)
(s2328 0.0)
(s2329 0.0)
(s2330 0.0)
(s2331 0.0)
(s2332 0.0)
(s2333 0.0)
(s2334 0.0)
(s2335 0.0)
(s2336 0.0)
(s2337 0.0)
(s2338 0.0)
(s2339 0.0)
(s2340 0.0)
(s2341 0.0)
(s2342 0.0)
(s2343 0.0)
(s2344 0.0)
(s2345 0.0)
(s2346 (/ 1.0 4.0))
(s2347 0.0)
(s2348 0.0)
(s2349 0.0)
(s2350 0.0)
(s2351 0.0)
(s2352 0.0)
(s2353 0.0)
(s2354 0.0)
(s2355 0.0)
(s2356 0.0)
(s2357 0.0)
(s2358 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)
(s2368 0.0)
(s2369 0.0)
(s2370 0.0)
(s2371 0.0)
(s2372 0.0)
(s2373 0.0)
(s2374 0.0)
(s2375 0.0)
(s2376 0.0)
(s2377 0.0)
(s2378 0.0)
(s2379 0.0)
(s2380 0.0)
(s2381 0.0)
(s2382 0.0)
(s2383 0.0)
(s2384 0.0)
(s2385 0.0)
(s2386 0.0)
(s2387 0.0)
(s2388 0.0)
(s2389 0.0)
(s2390 0.0)
(s2391 0.0)
(s2392 0.0)
(s2393 0.0)
(s2394 0.0)
(s2395 0.0)
(s2396 0.0)
(s2397 0.0)
(s2398 0.0)
(s2399 0.0)
(s2400 0.0)
(s2401 0.0)
(s2402 0.0)
(s2403 0.0)
(s2404 0.0)
(s2405 0.0)
(s2406 0.0)
(s2407 0.0)
(s2408 0.0)
(s2409 0.0)
(s2410 0.0)
(s2411 0.0)
(s2412 0.0)
(s2413 0.0)
(s2414 0.0)
(s2415 0.0)
(s2416 0.0)
(s2417 0.0)
(s2418 0.0)
(s2419 0.0)
(s2420 0.0)
(s2421 0.0)
(s2422 0.0)
(s2423 0.0)
(s2424 0.0)
(s2425 0.0)
(s2426 0.0)
(s2427 0.0)
(s2428 0.0)
(s2429 0.0)
(s2430 0.0)
(s2431 0.0)
(s2432 0.0)
(s2433 0.0)
(s2434 0.0)
(s2435 0.0)
(s2436 (/ 3.0 4.0))
(s2437 0.0)
(s2438 0.0)
(s2439 0.0)
(s2440 0.0)
(s2441 0.0)
(s2442 0.0)
(s2443 0.0)
(s2444 0.0)
(s2445 0.0)
(s2446 0.0)
(s2447 0.0)
(s2448 0.0)
(s2449 0.0)
(s2450 0.0)
(s2451 0.0)
(s2452 0.0)
(s2453 0.0)
(s2454 0.0)
(s2455 0.0)
(s2456 0.0)
(s2457 0.0)
(s2458 0.0)
(s2459 0.0)
(s2460 0.0)
(s2461 0.0)
(s2462 0.0)
(s2463 0.0)
(s2464 0.0)
(s2465 0.0)
(s2466 0.0)
(s2467 0.0)
(s2468 0.0)
(s2469 0.0)
(s2470 0.0)
(s2471 0.0)
(s2472 0.0)
(s2473 0.0)
(s2474 0.0)
(s2475 0.0)
(s2476 0.0)
(s2477 0.0)
(s2478 0.0)
(s2479 0.0)
(s2480 0.0)
(s2481 0.0)
(s2482 0.0)
(s2483 0.0)
(s2484 0.0)
(s2485 0.0)
(s2486 0.0)
(s2487 0.0)
(s2488 0.0)
(s2489 0.0)
(s2490 0.0)
(s2491 0.0)
(s2492 0.0)
(s2493 0.0)
(s2494 0.0)
(s2495 0.0)
(s2496 0.0)
(s2497 0.0)
(s2498 0.0)
(s2499 0.0)
(s2500 0.0)
(s2501 0.0)
(s2502 0.0)
(s2503 0.0)
(s2504 0.0)
(s2505 0.0)
(s2506 0.0)
(s2507 0.0)
(s2508 1.0)
(s2509 0.0)
(s2510 0.0)
(s2511 0.0)
(s2512 0.0)
(s2513 0.0)
(s2514 0.0)
(s2515 0.0)
(s2516 0.0)
(s2517 0.0)
(s2518 0.0)
(s2519 0.0)
(s2520 0.0)
(s2521 0.0)
(s2522 0.0)
(s2523 0.0)
(s2524 0.0)
(s2525 0.0)
(s2526 0.0)
(s2527 0.0)
(s2528 0.0)
(s2529 0.0)
(s2530 0.0)
(s2531 0.0)
(s2532 0.0)
(s2533 0.0)
(s2534 0.0)
(s2535 0.0)
(s2536 0.0)
(s2537 0.0)
(s2538 0.0)
(s2539 0.0)
(s2540 0.0)
(s2541 0.0)
(s2542 0.0)
(s2543 0.0)
(s2544 0.0)
(s2545 0.0)
(s2546 0.0)
(s2547 0.0)
(s2548 0.0)
(s2549 0.0)
(s2550 0.0)
(s2757 0.0)
(s2758 0.0)
(s2759 0.0)
(s2760 0.0)
(s2761 0.0)
(s2762 0.0)
(s2763 0.0)
(s2764 0.0)
(s2765 0.0)
(s2766 0.0)
(s2767 0.0)
(s2768 0.0)
(s2769 0.0)
(s2770 0.0)
(s2771 0.0)
(s2772 0.0)
(s2773 0.0)
(s2774 0.0)
(s2775 0.0)
(s2776 0.0)
(s2777 0.0)
(s2778 0.0)
(s2779 0.0)
(s2780 0.0)
(s2781 0.0)
(s2782 0.0)
(s2783 0.0)
(s2784 0.0)
(s2785 0.0)
(s2786 0.0)
(s2787 0.0)
(s2788 0.0)
(s2789 0.0)
(s2790 0.0)
(s2791 0.0)
(s2792 0.0)
(s2793 0.0)
(s2794 0.0)
(s2795 0.0)
(s2796 0.0)
(s2797 0.0)
(s2798 0.0)
(s2799 0.0)
(s2800 0.0)
(s2801 0.0)
(s2802 0.0)
(s2803 0.0)
(s2804 0.0)
(s2805 0.0)
(s2806 0.0)
(s2807 0.0)
(s2808 0.0)
(s2809 0.0)
(s2810 0.0)
(s2811 0.0)
(s2812 0.0)
(s2813 0.0)
(s2814 0.0)
(s2815 0.0)
(s2816 0.0)
(s2817 0.0)
(s2818 0.0)
(s2819 0.0)
(s2820 0.0)
(s2821 0.0)
(s2822 0.0)
(s2823 0.0)
(s2824 0.0)
(s2825 0.0)
(s2826 0.0)
(s2827 0.0)
(s2828 0.0)
(s2829 0.0)
(s2830 0.0)
(s2831 0.0)
(s2832 0.0)
(s2833 0.0)
(s2834 0.0)
(s2835 1.0)
(s2836 0.0)
(s2837 0.0)
(s2838 0.0)
(s2839 0.0)
(s2840 0.0)
(s2841 0.0)
(s2842 0.0)
(s2843 0.0)
(s2844 0.0)
(s2845 0.0)
(s2846 0.0)
(s2847 0.0)
(s2848 0.0)
(s2849 0.0)
(s2850 0.0)
(s2851 0.0)
(s2852 0.0)
(s2853 0.0)
(s2854 0.0)
(s2855 0.0)
(s2856 0.0)
(s2857 0.0)
(s2858 0.0)
(s2859 0.0)
(s2963 0.0)
(s2964 0.0)
(s2965 0.0)
(s2966 0.0)
(s2967 0.0)
(s2968 0.0)
(s2969 0.0)
(s2970 0.0)
(s2971 0.0)
(s2972 0.0)
(s2973 0.0)
(s2974 0.0)
(s2975 0.0)
(s2976 0.0)
(s2977 0.0)
(s2978 0.0)
(s2979 0.0)
(s2980 0.0)
(s2981 0.0)
(s2982 0.0)
(s2983 0.0)
(s2984 0.0)
(s2985 0.0)
(s2986 0.0)
(s2987 0.0)
(s2988 0.0)
(s2989 1.0)
(s2990 0.0)
(s2991 0.0)
(s2992 0.0)
(s2993 0.0)
(s2994 0.0)
(s2995 0.0)
(s2996 0.0)
(s2997 0.0)
(s2998 0.0)
(s2999 0.0)
(s3000 0.0)
(s3001 0.0)
(s3002 0.0)
(s3003 0.0)
(s3004 0.0)
(s3005 0.0)
(s3006 0.0)
(s3007 0.0)
(s3008 0.0)
(s3009 0.0)
(s3010 0.0)
(s3011 0.0)
(s3012 0.0)
(s3013 0.0)
(s3014 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)
(s3024 0.0)
(s3025 0.0)
(s3026 0.0)
(s3027 0.0)
(s3028 0.0)
(s3029 0.0)
(s3030 0.0)
(s3031 0.0)
(s3032 0.0)
(s3033 0.0)
(s3034 0.0)
(s3035 0.0)
(s3036 0.0)
(s3037 0.0)
(s3038 0.0)
(s3039 0.0)
(s3040 0.0)
(s3041 0.0)
(s3042 0.0)
(s3043 0.0)
(s3044 0.0)
(s3045 0.0)
(s3046 0.0)
(s3047 0.0)
(s3048 0.0)
(s3049 0.0)
(s3050 0.0)
(s3051 0.0)
(s3052 0.0)
(s3053 0.0)
(s3054 0.0)
(s3055 0.0)
(s3056 0.0)
(s3057 0.0)
(s3058 0.0)
(s3059 0.0)
(s3060 0.0)
(s3061 0.0)
(s3062 0.0)
(s3063 0.0)
(s3064 0.0)
(s3065 0.0)
(s3272 0.0)
(s3273 0.0)
(s3274 0.0)
(s3275 0.0)
(s3276 0.0)
(s3277 0.0)
(s3278 0.0)
(s3279 0.0)
(s3280 0.0)
(s3281 0.0)
(s3282 0.0)
(s3283 0.0)
(s3284 0.0)
(s3285 0.0)
(s3286 0.0)
(s3287 0.0)
(s3288 0.0)
(s3289 0.0)
(s3290 0.0)
(s3291 0.0)
(s3292 0.0)
(s3293 0.0)
(s3294 0.0)
(s3295 0.0)
(s3296 0.0)
(s3297 0.0)
(s3298 0.0)
(s3299 0.0)
(s3300 0.0)
(s3301 0.0)
(s3302 0.0)
(s3303 0.0)
(s3304 0.0)
(s3305 0.0)
(s3306 0.0)
(s3307 0.0)
(s3308 0.0)
(s3309 0.0)
(s3310 0.0)
(s3311 0.0)
(s3312 0.0)
(s3313 0.0)
(s3314 0.0)
(s3315 0.0)
(s3316 0.0)
(s3317 1.0)
(s3318 0.0)
(s3319 0.0)
(s3320 0.0)
(s3321 0.0)
(s3322 0.0)
(s3323 0.0)
(s3324 0.0)
(s3325 0.0)
(s3326 0.0)
(s3327 0.0)
(s3328 0.0)
(s3329 0.0)
(s3330 0.0)
(s3331 0.0)
(s3332 0.0)
(s3333 0.0)
(s3334 0.0)
(s3335 0.0)
(s3336 0.0)
(s3337 0.0)
(s3338 0.0)
(s3339 0.0)
(s3340 0.0)
(s3341 0.0)
(s3342 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)
(s3352 0.0)
(s3353 0.0)
(s3354 0.0)
(s3355 0.0)
(s3356 0.0)
(s3357 0.0)
(s3358 0.0)
(s3359 0.0)
(s3360 0.0)
(s3361 0.0)
(s3362 0.0)
(s3363 0.0)
(s3364 0.0)
(s3365 0.0)
(s3366 0.0)
(s3367 0.0)
(s3368 0.0)
(s3369 0.0)
(s3370 0.0)
(s3371 0.0)
(s3372 0.0)
(s3373 0.0)
(s3374 0.0)
(s3375 0.0)
(s3376 (/ 3.0 4.0))
(s3377 (/ 1.0 4.0))
(s3378 0.0)
(s3379 0.0)
(s3380 0.0)
(s3381 0.0)
(s3382 0.0)
(s3383 0.0)
(s3384 0.0)
(s3385 0.0)
(s3386 0.0)
(s3387 0.0)
(s3388 0.0)
(s3389 0.0)
(s3390 0.0)
(s3391 0.0)
(s3392 0.0)
(s3393 0.0)
(s3394 0.0)
(s3395 0.0)
(s3396 0.0)
(s3397 0.0)
(s3398 0.0)
(s3399 0.0)
(s3400 0.0)
(s3401 0.0)
(s3402 0.0)
(s3403 0.0)
(s3404 0.0)
(s3405 0.0)
(s3406 0.0)
(s3407 0.0)
(s3408 0.0)
(s3409 0.0)
(s3410 0.0)
(s3411 0.0)
(s3412 0.0)
(s3413 0.0)
(s3414 0.0)
(s3415 0.0)
(s3416 0.0)
(s3417 0.0)
(s3418 0.0)
(s3419 0.0)
(s3420 0.0)
(s3421 0.0)
(s3422 0.0)
(s3423 0.0)
(s3424 0.0)
(s3425 0.0)
(s3426 0.0)
(s3427 0.0)
(s3428 0.0)
(s3429 0.0)
(s3430 0.0)
(s3431 0.0)
(s3432 0.0)
(s3433 0.0)
(s3434 0.0)
(s3435 0.0)
(s3436 0.0)
(s3437 0.0)
(s3438 0.0)
(s3439 0.0)
(s3440 0.0)
(s3441 0.0)
(s3442 0.0)
(s3443 0.0)
(s3444 0.0)
(s3445 0.0)
(s3446 0.0)
(s3447 0.0)
(s3448 0.0)
(s3449 0.0)
(s3450 0.0)
(s3451 0.0)
(s3452 0.0)
(s3453 0.0)
(s3454 0.0)
(s3455 0.0)
(s3456 0.0)
(s3457 0.0)
(s3458 0.0)
(s3459 0.0)
(s3460 0.0)
(s3461 0.0)
(s3462 0.0)
(s3463 0.0)
(s3464 0.0)
(s3465 0.0)
(s3466 0.0)
(s3467 0.0)
(s3468 0.0)
(s3469 0.0)
(s3470 0.0)
(s3471 0.0)
(s3472 0.0)
(s3473 0.0)
(s3474 0.0)
(s3475 0.0)
(s3476 0.0)
(s3477 0.0)
(s3478 0.0)
(s3479 0.0)
(s3480 0.0)
(s3481 0.0)
(s3482 0.0)
(s3483 0.0)
(s3484 0.0)
(s3485 0.0)
(s3486 0.0)
(s3487 0.0)
(s3488 0.0)
(s3489 0.0)
(s3490 0.0)
(s3491 0.0)
(s3492 0.0)
(s3493 0.0)
(s3494 0.0)
(s3495 0.0)
(s3496 0.0)
(s3497 0.0)
(s3498 0.0)
(s3499 0.0)
(s3500 0.0)
(s3501 0.0)
(s3502 0.0)
(s3503 0.0)
(s3504 0.0)
(s3505 0.0)
(s3506 0.0)
(s3507 0.0)
(s3508 0.0)
(s3509 0.0)
(s3510 0.0)
(s3511 0.0)
(s3512 0.0)
(s3513 0.0)
(s3514 0.0)
(s3515 0.0)
(s3516 0.0)
(s3517 0.0)
(s3518 0.0)
(s3519 0.0)
(s3520 0.0)
(s3521 0.0)
(s3522 0.0)
(s3523 0.0)
(s3524 0.0)
(s3525 0.0)
(s3526 0.0)
(s3527 0.0)
(s3528 0.0)
(s3529 0.0)
(s3530 0.0)
(s3531 0.0)
(s3532 0.0)
(s3533 0.0)
(s3534 0.0)
(s3535 0.0)
(s3536 0.0)
(s3537 0.0)
(s3538 0.0)
(s3539 0.0)
(s3540 0.0)
(s3541 0.0)
(s3542 0.0)
(s3543 0.0)
(s3544 0.0)
(s3545 0.0)
(s3546 0.0)
(s3547 (/ 3.0 4.0))
(s3548 0.0)
(s3549 0.0)
(s3550 0.0)
(s3551 0.0)
(s3552 0.0)
(s3553 0.0)
(s3554 0.0)
(s3555 0.0)
(s3556 0.0)
(s3557 0.0)
(s3558 0.0)
(s3559 0.0)
(s3560 0.0)
(s3561 0.0)
(s3562 0.0)
(s3563 0.0)
(s3564 0.0)
(s3565 0.0)
(s3566 0.0)
(s3567 0.0)
(s3568 0.0)
(s3569 0.0)
(s3570 0.0)
(s3571 (/ 1.0 4.0))
(s3572 0.0)
(s3573 0.0)
(s3574 0.0)
(s3575 0.0)
(s3576 0.0)
(s3577 0.0)
(s3578 0.0)
(s3579 0.0)
(s3580 0.0)
(s3581 0.0)
(s3582 0.0)
(s3583 0.0)
(s3584 0.0)
(s3585 0.0)
(s3586 0.0)
(s3587 0.0)
(s3588 0.0)
(s3589 0.0)
(s3590 0.0)
(s3591 0.0)
(s3592 0.0)
(s3593 0.0)
(s3594 0.0)
(s3595 0.0)
(s3596 0.0)
(s3597 0.0)
(s3598 0.0)
(s3599 0.0)
(s3600 0.0)
(s3601 0.0)
(s3602 0.0)
(s3603 0.0)
(s3604 0.0)
(s3605 0.0)
(s3606 0.0)
(s3607 0.0)
(s3608 0.0)
(s3609 0.0)
(s3610 0.0)
(s3611 0.0)
(s3612 0.0)
(s3613 0.0)
(s3614 0.0)
(s3615 0.0)
(s3616 0.0)
(s3617 0.0)
(s3618 0.0)
(s3619 0.0)
(s3620 0.0)
(s3621 0.0)
(s3622 0.0)
(s3623 0.0)
(s3624 0.0)
(s3625 0.0)
(s3626 0.0)
(s3627 0.0)
(s3628 0.0)
(s3629 0.0)
(s3630 0.0)
(s3631 0.0)
(s3632 0.0)
(s3633 0.0)
(s3634 0.0)
(s3635 0.0)
(s3636 0.0)
(s3637 0.0)
(s3638 0.0)
(s3639 0.0)
(s3640 0.0)
(s3641 0.0)
(s3642 0.0)
(s3643 0.0)
(s3644 1.0)
(s3645 0.0)
(s3646 0.0)
(s3647 0.0)
(s3648 0.0)
(s3649 0.0)
(s3650 0.0)
(s3651 0.0)
(s3652 0.0)
(s3653 0.0)
(s3654 0.0)
(s3655 0.0)
(s3656 0.0)
(s3657 0.0)
(s3658 0.0)
(s3659 0.0)
(s3660 0.0)
(s3661 0.0)
(s3662 0.0)
(s3663 0.0)
(s3664 0.0)
(s3665 0.0)
(s3666 0.0)
(s3667 0.0)
(s3668 0.0)
(s3669 0.0)
(s3670 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)
(s3680 0.0)
(s3681 0.0)
(s3682 0.0)
(s3683 0.0)
(s3684 0.0)
(s3685 0.0)
(s3686 0.0)
(s3687 0.0)
(s3688 (/ 3.0 4.0))
(s3689 0.0)
(s3690 0.0)
(s3691 0.0)
(s3692 0.0)
(s3693 0.0)
(s3694 0.0)
(s3695 0.0)
(s3696 0.0)
(s3697 0.0)
(s3698 0.0)
(s3699 0.0)
(s3700 0.0)
(s3701 0.0)
(s3702 0.0)
(s3703 0.0)
(s3704 0.0)
(s3705 0.0)
(s3706 0.0)
(s3707 0.0)
(s3708 0.0)
(s3709 0.0)
(s3710 0.0)
(s3711 0.0)
(s3712 0.0)
(s3713 0.0)
(s3714 0.0)
(s3715 0.0)
(s3716 0.0)
(s3717 0.0)
(s3718 0.0)
(s3719 0.0)
(s3720 0.0)
(s3721 0.0)
(s3722 0.0)
(s3723 0.0)
(s3724 0.0)
(s3725 (/ 1.0 4.0))
(s3726 0.0)
(s3727 0.0)
(s3728 0.0)
(s3729 0.0)
(s3730 0.0)
(s3731 0.0)
(s3732 0.0)
(s3733 0.0)
(s3734 0.0)
(s3735 0.0)
(s3736 0.0)
(s3737 0.0)
(s3738 0.0)
(s3739 0.0)
(s3740 0.0)
(s3741 0.0)
(s3742 0.0)
(s3743 0.0)
(s3744 0.0)
(s3745 0.0)
(s3746 0.0)
(s3747 0.0)
(s3748 0.0)
(s3749 0.0)
(s3750 0.0)
(s3751 0.0)
(s3752 0.0)
(s3753 0.0)
(s3754 0.0)
(s3755 0.0)
(s3756 0.0)
(s3757 0.0)
(s3758 0.0)
(s3759 0.0)
(s3760 0.0)
(s3761 0.0)
(s3762 0.0)
(s3763 0.0)
(s3764 0.0)
(s3765 0.0)
(s3766 0.0)
(s3767 0.0)
(s3768 0.0)
(s3769 0.0)
(s3770 0.0)
(s3771 0.0)
(s3772 0.0)
(s3773 0.0)
(s3774 0.0)
(s3775 0.0)
(s3776 0.0)
(s3777 0.0)
(s3778 0.0)
(s3779 0.0)
(s3780 0.0)
(s3781 0.0)
(s3782 0.0)
(s3783 0.0)
(s3784 0.0)
(s3785 0.0)
(s3786 0.0)
(s3787 (/ 1.0 4.0))
(s3788 0.0)
(s3789 0.0)
(s3790 0.0)
(s3791 0.0)
(s3792 0.0)
(s3793 0.0)
(s3794 0.0)
(s3795 0.0)
(s3796 0.0)
(s3797 0.0)
(s3798 0.0)
(s3799 0.0)
(s3800 0.0)
(s3801 0.0)
(s3802 0.0)
(s3803 0.0)
(s3804 0.0)
(s3805 0.0)
(s3806 0.0)
(s3807 0.0)
(s3808 0.0)
(s3809 0.0)
(s3810 0.0)
(s3811 0.0)
(s3812 0.0)
(s3813 0.0)
(s3814 0.0)
(s3815 0.0)
(s3816 0.0)
(s3817 0.0)
(s3818 0.0)
(s3819 0.0)
(s3820 0.0)
(s3821 0.0)
(s3822 0.0)
(s3823 0.0)
(s3824 0.0)
(s3825 0.0)
(s3826 0.0)
(s3827 0.0)
(s3828 0.0)
(s3829 0.0)
(s3830 0.0)
(s3831 0.0)
(s3832 0.0)
(s3833 0.0)
(s3834 0.0)
(s3835 0.0)
(s3836 0.0)
(s3837 (/ 3.0 4.0))
(s3838 0.0)
(s3839 0.0)
(s3840 0.0)
(s3841 0.0)
(s3842 0.0)
(s3843 0.0)
(s3844 0.0)
(s3845 0.0)
(s3846 0.0)
(s3847 0.0)
(s3848 0.0)
(s3849 0.0)
(s3850 0.0)
(s3851 0.0)
(s3852 0.0)
(s3853 0.0)
(s3854 0.0)
(s3855 0.0)
(s3856 0.0)
(s3857 0.0)
(s3858 0.0)
(s3859 0.0)
(s3860 0.0)
(s3861 0.0)
(s3862 0.0)
(s3863 0.0)
(s3864 0.0)
(s3865 0.0)
(s3866 0.0)
(s3867 0.0)
(s3868 0.0)
(s3869 0.0)
(s3870 0.0)
(s3871 0.0)
(s3872 0.0)
(s3873 0.0)
(s3874 0.0)
(s3875 0.0)
(s3876 0.0)
(s3877 0.0)
(s3878 0.0)
(s3879 0.0)
(s3880 0.0)
(s3881 0.0)
(s3882 0.0)
(s3883 0.0)
(s3884 0.0)
(s3885 0.0)
(s3886 0.0)
(s3887 0.0)
(s3888 0.0)
(s3889 0.0)
(s3993 0.0)
(s3994 0.0)
(s3995 0.0)
(s3996 0.0)
(s3997 0.0)
(s3998 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)
(s4008 0.0)
(s4009 0.0)
(s4010 0.0)
(s4011 0.0)
(s4012 0.0)
(s4013 0.0)
(s4014 0.0)
(s4015 0.0)
(s4016 0.0)
(s4017 0.0)
(s4018 0.0)
(s4019 0.0)
(s4020 0.0)
(s4021 0.0)
(s4022 0.0)
(s4023 0.0)
(s4024 0.0)
(s4025 0.0)
(s4026 0.0)
(s4027 0.0)
(s4028 0.0)
(s4029 0.0)
(s4030 0.0)
(s4031 0.0)
(s4032 0.0)
(s4033 0.0)
(s4034 0.0)
(s4035 0.0)
(s4036 0.0)
(s4037 0.0)
(s4038 0.0)
(s4039 0.0)
(s4040 0.0)
(s4041 0.0)
(s4042 0.0)
(s4043 0.0)
(s4044 0.0)
(s4045 0.0)
(s4046 0.0)
(s4047 0.0)
(s4048 0.0)
(s4049 0.0)
(s4050 0.0)
(s4051 0.0)
(s4052 0.0)
(s4053 0.0)
(s4054 0.0)
(s4055 0.0)
(s4056 0.0)
(s4057 0.0)
(s4058 0.0)
(s4059 0.0)
(s4060 1.0)
(s4061 0.0)
(s4062 0.0)
(s4063 0.0)
(s4064 0.0)
(s4065 0.0)
(s4066 0.0)
(s4067 0.0)
(s4068 0.0)
(s4069 0.0)
(s4070 0.0)
(s4071 0.0)
(s4072 0.0)
(s4073 0.0)
(s4074 0.0)
(s4075 0.0)
(s4076 0.0)
(s4077 0.0)
(s4078 0.0)
(s4079 0.0)
(s4080 0.0)
(s4081 0.0)
(s4082 0.0)
(s4083 0.0)
(s4084 0.0)
(s4085 0.0)
(s4086 0.0)
(s4087 0.0)
(s4088 0.0)
(s4089 0.0)
(s4090 0.0)
(s4091 0.0)
(s4092 0.0)
(s4093 0.0)
(s4094 0.0)
(s4095 0.0)
(s4096 0.0)
(s4097 0.0)
(s4098 0.0)
(s4099 0.0)
(s4100 0.0)
(s4101 0.0)
(s4102 0.0)
(s4103 0.0)
(s4104 0.0)
(s4105 0.0)
(s4106 0.0)
(s4107 0.0)
(s4108 0.0)
(s4109 0.0)
(s4110 0.0)
(s4111 0.0)
(s4112 0.0)
(s4113 0.0)
(s4114 0.0)
(s4115 0.0)
(s4116 0.0)
(s4117 0.0)
(s4118 0.0)
(s4119 0.0)
(s4120 0.0)
(s4121 0.0)
(s4122 0.0)
(s4123 0.0)
(s4124 0.0)
(s4125 0.0)
(s4126 0.0)
(s4127 0.0)
(s4128 0.0)
(s4129 0.0)
(s4130 0.0)
(s4131 1.0)
(s4132 0.0)
(s4133 0.0)
(s4134 0.0)
(s4135 0.0)
(s4136 0.0)
(s4137 0.0)
(s4138 0.0)
(s4139 0.0)
(s4140 0.0)
(s4141 0.0)
(s4142 0.0)
(s4143 0.0)
(s4144 0.0)
(s4145 0.0)
(s4146 0.0)
(s4147 0.0)
(s4148 0.0)
(s4149 0.0)
(s4150 0.0)
(s4151 0.0)
(s4152 0.0)
(s4153 0.0)
(s4154 0.0)
(s4155 0.0)
(s4156 0.0)
(s4157 0.0)
(s4158 0.0)
(s4159 0.0)
(s4160 0.0)
(s4161 0.0)
(s4162 0.0)
(s4163 0.0)
(s4164 0.0)
(s4165 0.0)
(s4166 0.0)
(s4167 0.0)
(s4168 0.0)
(s4169 0.0)
(s4170 0.0)
(s4171 0.0)
(s4172 0.0)
(s4173 0.0)
(s4174 0.0)
(s4175 0.0)
(s4176 0.0)
(s4177 0.0)
(s4178 0.0)
(s4179 0.0)
(s4180 0.0)
(s4181 0.0)
(s4182 0.0)
(s4183 0.0)
(s4184 0.0)
(s4185 0.0)
(s4186 0.0)
(s4187 0.0)
(s4188 0.0)
(s4189 0.0)
(s4190 0.0)
(s4191 0.0)
(s4192 0.0)
(s4193 0.0)
(s4194 0.0)
(s4195 0.0)
(s4196 0.0)
(s4197 0.0)
(s4198 0.0)
(s4508 0.0)
(s4509 0.0)
(s4510 0.0)
(s4511 0.0)
(s4512 0.0)
(s4513 0.0)
(s4514 0.0)
(s4515 0.0)
(s4516 0.0)
(s4517 (/ 1.0 4.0))
(s4518 0.0)
(s4519 0.0)
(s4520 0.0)
(s4521 0.0)
(s4522 0.0)
(s4523 0.0)
(s4524 0.0)
(s4525 0.0)
(s4526 0.0)
(s4527 0.0)
(s4528 0.0)
(s4529 0.0)
(s4530 0.0)
(s4531 0.0)
(s4532 0.0)
(s4533 0.0)
(s4534 0.0)
(s4535 0.0)
(s4536 0.0)
(s4537 0.0)
(s4538 0.0)
(s4539 0.0)
(s4540 0.0)
(s4541 0.0)
(s4542 0.0)
(s4543 0.0)
(s4544 0.0)
(s4545 0.0)
(s4546 0.0)
(s4547 0.0)
(s4548 0.0)
(s4549 0.0)
(s4550 0.0)
(s4551 0.0)
(s4552 0.0)
(s4553 0.0)
(s4554 0.0)
(s4555 0.0)
(s4556 0.0)
(s4557 (/ 3.0 4.0))
(s4558 0.0)
(s4559 0.0)
(s4560 0.0)
(s4561 0.0)
(s4562 0.0)
(s4563 0.0)
(s4564 0.0)
(s4565 0.0)
(s4566 0.0)
(s4567 0.0)
(s4568 0.0)
(s4569 0.0)
(s4570 0.0)
(s4571 0.0)
(s4572 0.0)
(s4573 0.0)
(s4574 0.0)
(s4575 0.0)
(s4576 0.0)
(s4577 0.0)
(s4578 0.0)
(s4579 0.0)
(s4580 0.0)
(s4581 0.0)
(s4582 0.0)
(s4583 0.0)
(s4584 0.0)
(s4585 0.0)
(s4586 0.0)
(s4587 0.0)
(s4588 0.0)
(s4589 0.0)
(s4590 0.0)
(s4591 0.0)
(s4592 0.0)
(s4593 0.0)
(s4594 0.0)
(s4595 0.0)
(s4596 0.0)
(s4597 0.0)
(s4598 0.0)
(s4599 0.0)
(s4600 0.0)
(s4601 0.0)
(s4602 0.0)
(s4603 0.0)
(s4604 0.0)
(s4605 0.0)
(s4606 0.0)
(s4607 0.0)
(s4608 0.0)
(s4609 0.0)
(s4610 0.0)
(s4611 0.0)
(s4612 0.0)
(s4613 0.0)
(s4614 0.0)
(s4615 0.0)
(s4616 0.0)
(s4617 0.0)
(s4618 0.0)
(s4619 0.0)
(s4620 0.0)
(s4621 0.0)
(s4622 0.0)
(s4623 0.0)
(s4624 0.0)
(s4625 0.0)
(s4626 0.0)
(s4627 0.0)
(s4628 0.0)
(s4629 0.0)
(s4630 0.0)
(s4631 0.0)
(s4632 0.0)
(s4633 0.0)
(s4634 0.0)
(s4635 0.0)
(s4636 0.0)
(s4637 0.0)
(s4638 0.0)
(s4639 0.0)
(s4640 0.0)
(s4641 0.0)
(s4642 0.0)
(s4643 0.0)
(s4644 0.0)
(s4645 0.0)
(s4646 0.0)
(s4647 0.0)
(s4648 0.0)
(s4649 0.0)
(s4650 0.0)
(s4651 0.0)
(s4652 0.0)
(s4653 0.0)
(s4654 0.0)
(s4655 0.0)
(s4656 0.0)
(s4657 0.0)
(s4658 0.0)
(s4659 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)
(s4669 0.0)
(s4670 0.0)
(s4671 0.0)
(s4672 0.0)
(s4673 1.0)
(s4674 0.0)
(s4675 0.0)
(s4676 0.0)
(s4677 0.0)
(s4678 0.0)
(s4679 0.0)
(s4680 0.0)
(s4681 0.0)
(s4682 0.0)
(s4683 0.0)
(s4684 0.0)
(s4685 0.0)
(s4686 0.0)
(s4687 0.0)
(s4688 0.0)
(s4689 0.0)
(s4690 0.0)
(s4691 0.0)
(s4692 0.0)
(s4693 0.0)
(s4694 0.0)
(s4695 0.0)
(s4696 0.0)
(s4697 0.0)
(s4698 0.0)
(s4699 0.0)
(s4700 0.0)
(s4701 0.0)
(s4702 0.0)
(s4703 0.0)
(s4704 0.0)
(s4705 0.0)
(s4706 0.0)
(s4707 0.0)
(s4708 0.0)
(s4709 0.0)
(s4710 0.0)
(s4711 0.0)
(s4712 0.0)
(s4713 0.0)
(s4714 0.0)
(s4715 0.0)
(s4716 0.0)
(s4717 (/ 1.0 4.0))
(s4718 0.0)
(s4719 0.0)
(s4720 0.0)
(s4721 0.0)
(s4722 0.0)
(s4723 (/ 3.0 4.0))
(s4724 0.0)
(s4725 0.0)
(s4726 0.0)
(s4727 0.0)
(s4728 0.0)
(s4729 0.0)
(s4730 0.0)
(s4731 0.0)
(s4732 0.0)
(s4733 0.0)
(s4734 0.0)
(s4735 0.0)
(s4736 0.0)
(s4737 0.0)
(s4738 0.0)
(s4739 0.0)
(s4740 0.0)
(s4741 0.0)
(s4742 0.0)
(s4743 0.0)
(s4744 0.0)
(s4745 0.0)
(s4746 0.0)
(s4747 0.0)
(s4748 0.0)
(s4749 0.0)
(s4750 0.0)
(s4751 0.0)
(s4752 0.0)
(s4753 0.0)
(s4754 0.0)
(s4755 0.0)
(s4756 0.0)
(s4757 0.0)
(s4758 0.0)
(s4759 0.0)
(s4760 0.0)
(s4761 0.0)
(s4762 0.0)
(s4763 0.0)
(s4764 0.0)
(s4765 0.0)
(s4766 0.0)
(s4767 0.0)
(s4768 0.0)
(s4769 0.0)
(s4770 0.0)
(s4771 0.0)
(s4772 0.0)
(s4773 0.0)
(s4774 0.0)
(s4775 0.0)
(s4776 0.0)
(s4777 0.0)
(s4778 0.0)
(s4779 0.0)
(s4780 0.0)
(s4781 0.0)
(s4782 0.0)
(s4783 0.0)
(s4784 0.0)
(s4785 0.0)
(s4786 0.0)
(s4787 0.0)
(s4788 0.0)
(s4789 0.0)
(s4790 0.0)
(s4791 0.0)
(s4792 0.0)
(s4793 0.0)
(s4794 0.0)
(s4795 0.0)
(s4796 0.0)
(s4797 0.0)
(s4798 0.0)
(s4799 0.0)
(s4800 0.0)
(s4801 0.0)
(s4802 0.0)
(s4803 0.0)
(s4804 0.0)
(s4805 0.0)
(s4806 0.0)
(s4807 0.0)
(s4808 0.0)
(s4809 0.0)
(s4810 0.0)
(s4811 0.0)
(s4812 0.0)
(s4813 0.0)
(s4814 0.0)
(s4815 0.0)
(s4816 0.0)
(s4920 0.0)
(s4921 0.0)
(s4922 0.0)
(s4923 0.0)
(s4924 0.0)
(s4925 0.0)
(s4926 0.0)
(s4927 0.0)
(s4928 0.0)
(s4929 0.0)
(s4930 0.0)
(s4931 0.0)
(s4932 0.0)
(s4933 0.0)
(s4934 0.0)
(s4935 0.0)
(s4936 0.0)
(s4937 0.0)
(s4938 0.0)
(s4939 0.0)
(s4940 0.0)
(s4941 0.0)
(s4942 0.0)
(s4943 0.0)
(s4944 0.0)
(s4945 0.0)
(s4946 0.0)
(s4947 0.0)
(s4948 0.0)
(s4949 0.0)
(s4950 (/ 3.0 4.0))
(s4951 0.0)
(s4952 0.0)
(s4953 0.0)
(s4954 0.0)
(s4955 0.0)
(s4956 0.0)
(s4957 0.0)
(s4958 0.0)
(s4959 0.0)
(s4960 0.0)
(s4961 0.0)
(s4962 0.0)
(s4963 0.0)
(s4964 0.0)
(s4965 0.0)
(s4966 0.0)
(s4967 0.0)
(s4968 0.0)
(s4969 0.0)
(s4970 0.0)
(s4971 0.0)
(s4972 0.0)
(s4973 (/ 1.0 4.0))
(s4974 0.0)
(s4975 0.0)
(s4976 0.0)
(s4977 0.0)
(s4978 0.0)
(s4979 0.0)
(s4980 0.0)
(s4981 0.0)
(s4982 0.0)
(s4983 0.0)
(s4984 0.0)
(s4985 0.0)
(s4986 0.0)
(s4987 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)
(s4997 0.0)
(s4998 0.0)
(s4999 0.0)
(s5000 0.0)
(s5001 0.0)
(s5002 0.0)
(s5003 0.0)
(s5004 0.0)
(s5005 0.0)
(s5006 0.0)
(s5007 0.0)
(s5008 0.0)
(s5009 0.0)
(s5010 0.0)
(s5011 0.0)
(s5012 0.0)
(s5013 0.0)
(s5014 0.0)
(s5015 0.0)
(s5016 0.0)
(s5017 0.0)
(s5018 0.0)
(s5019 0.0)
(s5020 0.0)
(s5021 0.0)
(s5022 0.0)
(s5023 0.0)
(s5024 0.0)
(s5025 0.0)
(s5026 0.0)
(s5027 0.0)
(s5028 0.0)
(s5029 0.0)
(s5030 0.0)
(s5031 0.0)
(s5032 0.0)
(s5033 0.0)
(s5034 0.0)
(s5035 0.0)
(s5036 0.0)
(s5037 0.0)
(s5038 0.0)
(s5039 0.0)
(s5040 0.0)
(s5041 0.0)
(s5042 0.0)
(s5043 0.0)
(s5044 0.0)
(s5045 0.0)
(s5046 0.0)
(s5047 0.0)
(s5048 0.0)
(s5049 0.0)
(s5050 0.0)
(s5051 0.0)
(s5052 0.0)
(s5053 0.0)
(s5054 0.0)
(s5055 0.0)
(s5056 0.0)
(s5057 0.0)
(s5058 0.0)
(s5059 0.0)
(s5060 0.0)
(s5061 0.0)
(s5062 0.0)
(s5063 0.0)
(s5064 0.0)
(s5065 0.0)
(s5066 0.0)
(s5067 0.0)
(s5068 0.0)
(s5069 0.0)
(s5070 0.0)
(s5071 1.0)
(s5072 0.0)
(s5073 0.0)
(s5074 0.0)
(s5075 0.0)
(s5076 0.0)
(s5077 0.0)
(s5078 0.0)
(s5079 0.0)
(s5080 0.0)
(s5081 0.0)
(s5082 0.0)
(s5083 0.0)
(s5084 0.0)
(s5085 0.0)
(s5086 0.0)
(s5087 0.0)
(s5088 0.0)
(s5089 0.0)
(s5090 0.0)
(s5091 0.0)
(s5092 0.0)
(s5093 0.0)
(s5094 0.0)
(s5095 0.0)
(s5096 0.0)
(s5097 0.0)
(s5098 0.0)
(s5099 0.0)
(s5100 0.0)
(s5101 0.0)
(s5102 0.0)
(s5103 0.0)
(s5104 0.0)
(s5105 0.0)
(s5106 0.0)
(s5107 0.0)
(s5108 0.0)
(s5109 0.0)
(s5110 0.0)
(s5111 0.0)
(s5112 0.0)
(s5113 0.0)
(s5114 0.0)
(s5115 0.0)
(s5116 0.0)
(s5117 0.0)
(s5118 0.0)
(s5119 0.0)
(s5120 0.0)
(s5121 0.0)
(s5122 0.0)
(s5123 0.0)
(s5124 0.0)
(s5125 0.0)
(s5126 0.0)
(s5127 0.0)
(s5128 0.0)
(s5129 0.0)
(s5130 0.0)
(s5131 0.0)
(s5132 0.0)
(s5133 0.0)
(s5134 0.0)
(s5135 0.0)
(s5136 0.0)
(s5137 0.0)
(s5138 0.0)
(s5139 0.0)
(s5140 0.0)
(s5141 0.0)
(s5142 (/ 3.0 4.0))
(s5143 0.0)
(s5144 0.0)
(s5145 0.0)
(s5146 0.0)
(s5147 0.0)
(s5148 0.0)
(s5149 0.0)
(s5150 0.0)
(s5151 0.0)
(s5152 0.0)
(s5153 0.0)
(s5154 0.0)
(s5155 0.0)
(s5156 0.0)
(s5157 0.0)
(s5158 0.0)
(s5159 0.0)
(s5160 0.0)
(s5161 0.0)
(s5162 0.0)
(s5163 0.0)
(s5164 0.0)
(s5165 0.0)
(s5166 0.0)
(s5167 0.0)
(s5168 0.0)
(s5169 0.0)
(s5170 0.0)
(s5171 0.0)
(s5172 0.0)
(s5173 0.0)
(s5174 0.0)
(s5175 0.0)
(s5176 0.0)
(s5177 0.0)
(s5178 0.0)
(s5179 (/ 1.0 4.0))
(s5180 0.0)
(s5181 0.0)
(s5182 0.0)
(s5183 0.0)
(s5184 0.0)
(s5185 0.0)
(s5186 0.0)
(s5187 0.0)
(s5188 0.0)
(s5189 0.0)
(s5190 0.0)
(s5191 0.0)
(s5192 0.0)
(s5193 0.0)
(s5194 0.0)
(s5195 0.0)
(s5196 0.0)
(s5197 0.0)
(s5198 0.0)
(s5199 0.0)
(s5200 0.0)
(s5201 0.0)
(s5202 0.0)
(s5203 0.0)
(s5204 0.0)
(s5205 0.0)
(s5206 0.0)
(s5207 0.0)
(s5208 0.0)
(s5209 0.0)
(s5210 0.0)
(s5211 0.0)
(s5212 0.0)
(s5213 0.0)
(s5214 0.0)
(s5215 0.0)
(s5216 0.0)
(s5217 0.0)
(s5218 0.0)
(s5219 0.0)
(s5220 0.0)
(s5221 0.0)
(s5222 0.0)
(s5223 0.0)
(s5224 0.0)
(s5225 0.0)
(s5226 0.0)
(s5227 0.0)
(s5228 0.0)
(s5435 0.0)
(s5436 0.0)
(s5437 0.0)
(s5438 0.0)
(s5439 0.0)
(s5440 0.0)
(s5441 0.0)
(s5442 0.0)
(s5443 0.0)
(s5444 0.0)
(s5445 0.0)
(s5446 0.0)
(s5447 0.0)
(s5448 0.0)
(s5449 0.0)
(s5450 0.0)
(s5451 0.0)
(s5452 0.0)
(s5453 0.0)
(s5454 0.0)
(s5455 0.0)
(s5456 0.0)
(s5457 0.0)
(s5458 0.0)
(s5459 0.0)
(s5460 0.0)
(s5461 0.0)
(s5462 0.0)
(s5463 0.0)
(s5464 0.0)
(s5465 0.0)
(s5466 0.0)
(s5467 0.0)
(s5468 0.0)
(s5469 0.0)
(s5470 0.0)
(s5471 0.0)
(s5472 0.0)
(s5473 0.0)
(s5474 0.0)
(s5475 0.0)
(s5476 0.0)
(s5477 0.0)
(s5478 0.0)
(s5479 0.0)
(s5480 0.0)
(s5481 0.0)
(s5482 0.0)
(s5483 0.0)
(s5484 0.0)
(s5485 0.0)
(s5486 0.0)
(s5487 0.0)
(s5488 0.0)
(s5489 0.0)
(s5490 0.0)
(s5491 0.0)
(s5492 0.0)
(s5493 0.0)
(s5494 0.0)
(s5495 0.0)
(s5496 0.0)
(s5497 0.0)
(s5498 0.0)
(s5499 0.0)
(s5500 0.0)
(s5501 0.0)
(s5502 0.0)
(s5503 0.0)
(s5504 0.0)
(s5505 0.0)
(s5506 0.0)
(s5507 0.0)
(s5508 0.0)
(s5509 0.0)
(s5510 0.0)
(s5511 0.0)
(s5512 0.0)
(s5513 1.0)
(s5514 0.0)
(s5515 0.0)
(s5516 0.0)
(s5517 0.0)
(s5518 0.0)
(s5519 0.0)
(s5520 0.0)
(s5521 0.0)
(s5522 0.0)
(s5523 0.0)
(s5524 0.0)
(s5525 0.0)
(s5526 0.0)
(s5527 0.0)
(s5528 0.0)
(s5529 0.0)
(s5530 0.0)
(s5531 0.0)
(s5532 0.0)
(s5533 0.0)
(s5534 0.0)
(s5535 0.0)
(s5536 0.0)
(s5537 0.0)
(s5641 0.0)
(s5642 0.0)
(s5643 0.0)
(s5644 0.0)
(s5645 0.0)
(s5646 (/ 1.0 4.0))
(s5647 0.0)
(s5648 0.0)
(s5649 0.0)
(s5650 0.0)
(s5651 0.0)
(s5652 0.0)
(s5653 0.0)
(s5654 0.0)
(s5655 0.0)
(s5656 0.0)
(s5657 0.0)
(s5658 0.0)
(s5659 0.0)
(s5660 0.0)
(s5661 0.0)
(s5662 0.0)
(s5663 0.0)
(s5664 0.0)
(s5665 0.0)
(s5666 0.0)
(s5667 0.0)
(s5668 0.0)
(s5669 0.0)
(s5670 0.0)
(s5671 0.0)
(s5672 0.0)
(s5673 0.0)
(s5674 0.0)
(s5675 0.0)
(s5676 0.0)
(s5677 0.0)
(s5678 0.0)
(s5679 0.0)
(s5680 0.0)
(s5681 0.0)
(s5682 0.0)
(s5683 0.0)
(s5684 0.0)
(s5685 0.0)
(s5686 0.0)
(s5687 0.0)
(s5688 0.0)
(s5689 0.0)
(s5690 0.0)
(s5691 0.0)
(s5692 0.0)
(s5693 0.0)
(s5694 0.0)
(s5695 0.0)
(s5696 0.0)
(s5697 0.0)
(s5698 0.0)
(s5699 0.0)
(s5700 0.0)
(s5701 (/ 3.0 4.0))
(s5702 0.0)
(s5703 0.0)
(s5704 0.0)
(s5705 0.0)
(s5706 0.0)
(s5707 0.0)
(s5708 0.0)
(s5709 0.0)
(s5710 0.0)
(s5711 0.0)
(s5712 0.0)
(s5713 0.0)
(s5714 0.0)
(s5715 0.0)
(s5716 0.0)
(s5717 0.0)
(s5718 0.0)
(s5719 0.0)
(s5720 0.0)
(s5721 0.0)
(s5722 0.0)
(s5723 0.0)
(s5724 0.0)
(s5725 0.0)
(s5726 0.0)
(s5727 0.0)
(s5728 0.0)
(s5729 0.0)
(s5730 0.0)
(s5731 0.0)
(s5732 0.0)
(s5733 0.0)
(s5734 0.0)
(s5735 0.0)
(s5736 0.0)
(s5737 0.0)
(s5738 0.0)
(s5739 0.0)
(s5740 0.0)
(s5741 0.0)
(s5742 0.0)
(s5743 0.0)
(s5744 0.0)
(s5745 0.0)
(s5746 0.0)
(s5747 0.0)
(s5748 0.0)
(s5749 0.0)
(s5750 0.0)
(s5751 1.0)
(s5752 0.0)
(s5753 0.0)
(s5754 0.0)
(s5755 0.0)
(s5756 0.0)
(s5757 0.0)
(s5758 0.0)
(s5759 0.0)
(s5760 0.0)
(s5761 0.0)
(s5762 0.0)
(s5763 0.0)
(s5764 0.0)
(s5765 0.0)
(s5766 0.0)
(s5767 0.0)
(s5768 0.0)
(s5769 0.0)
(s5770 0.0)
(s5771 0.0)
(s5772 0.0)
(s5773 0.0)
(s5774 0.0)
(s5775 0.0)
(s5776 0.0)
(s5777 0.0)
(s5778 0.0)
(s5779 0.0)
(s5780 0.0)
(s5781 0.0)
(s5782 0.0)
(s5783 0.0)
(s5784 0.0)
(s5785 0.0)
(s5786 0.0)
(s5787 0.0)
(s5788 0.0)
(s5789 0.0)
(s5790 0.0)
(s5791 0.0)
(s5792 0.0)
(s5793 0.0)
(s5794 0.0)
(s5795 0.0)
(s5796 0.0)
(s5797 0.0)
(s5798 0.0)
(s5799 0.0)
(s5800 0.0)
(s5801 0.0)
(s5802 0.0)
(s5803 0.0)
(s5804 0.0)
(s5805 0.0)
(s5806 0.0)
(s5807 0.0)
(s5808 0.0)
(s5809 0.0)
(s5810 0.0)
(s5811 0.0)
(s5812 0.0)
(s5813 0.0)
(s5814 0.0)
(s5815 0.0)
(s5816 0.0)
(s5817 0.0)
(s5818 0.0)
(s5819 0.0)
(s5820 0.0)
(s5821 0.0)
(s5822 0.0)
(s5823 0.0)
(s5824 0.0)
(s5825 0.0)
(s5826 0.0)
(s5827 0.0)
(s5828 0.0)
(s5829 0.0)
(s5830 0.0)
(s5831 0.0)
(s5832 0.0)
(s5833 0.0)
(s5834 0.0)
(s5835 0.0)
(s5836 0.0)
(s5837 0.0)
(s5838 0.0)
(s5839 0.0)
(s5840 0.0)
(s5841 0.0)
(s5842 0.0)
(s5843 0.0)
(s5844 0.0)
(s5845 0.0)
(s5846 0.0)
(s6053 0.0)
(s6054 0.0)
(s6055 0.0)
(s6056 0.0)
(s6057 0.0)
(s6058 0.0)
(s6059 0.0)
(s6060 0.0)
(s6061 0.0)
(s6062 0.0)
(s6063 0.0)
(s6064 0.0)
(s6065 0.0)
(s6066 0.0)
(s6067 0.0)
(s6068 0.0)
(s6069 0.0)
(s6070 0.0)
(s6071 0.0)
(s6072 0.0)
(s6073 0.0)
(s6074 0.0)
(s6075 0.0)
(s6076 0.0)
(s6077 0.0)
(s6078 0.0)
(s6079 0.0)
(s6080 0.0)
(s6081 0.0)
(s6082 0.0)
(s6083 0.0)
(s6084 0.0)
(s6085 0.0)
(s6086 0.0)
(s6087 0.0)
(s6088 0.0)
(s6089 0.0)
(s6090 0.0)
(s6091 0.0)
(s6092 0.0)
(s6093 0.0)
(s6094 0.0)
(s6095 0.0)
(s6096 0.0)
(s6097 0.0)
(s6098 0.0)
(s6099 0.0)
(s6100 0.0)
(s6101 0.0)
(s6102 0.0)
(s6103 0.0)
(s6104 0.0)
(s6105 0.0)
(s6106 0.0)
(s6107 0.0)
(s6108 (/ 1.0 4.0))
(s6109 0.0)
(s6110 0.0)
(s6111 0.0)
(s6112 0.0)
(s6113 0.0)
(s6114 0.0)
(s6115 0.0)
(s6116 0.0)
(s6117 0.0)
(s6118 0.0)
(s6119 0.0)
(s6120 0.0)
(s6121 0.0)
(s6122 0.0)
(s6123 0.0)
(s6124 0.0)
(s6125 0.0)
(s6126 0.0)
(s6127 0.0)
(s6128 (/ 3.0 4.0))
(s6129 0.0)
(s6130 0.0)
(s6131 0.0)
(s6132 0.0)
(s6133 0.0)
(s6134 0.0)
(s6135 0.0)
(s6136 0.0)
(s6137 0.0)
(s6138 0.0)
(s6139 0.0)
(s6140 0.0)
(s6141 0.0)
(s6142 0.0)
(s6143 0.0)
(s6144 0.0)
(s6145 0.0)
(s6146 0.0)
(s6147 0.0)
(s6148 0.0)
(s6149 0.0)
(s6150 0.0)
(s6151 0.0)
(s6152 0.0)
(s6153 0.0)
(s6154 0.0)
(s6155 0.0)
(s6362 0.0)
(s6363 0.0)
(s6364 0.0)
(s6365 0.0)
(s6366 0.0)
(s6367 0.0)
(s6368 0.0)
(s6369 0.0)
(s6370 0.0)
(s6371 0.0)
(s6372 0.0)
(s6373 0.0)
(s6374 0.0)
(s6375 0.0)
(s6376 0.0)
(s6377 0.0)
(s6378 0.0)
(s6379 0.0)
(s6380 (/ 3.0 4.0))
(s6381 (/ 1.0 4.0))
(s6382 0.0)
(s6383 0.0)
(s6384 0.0)
(s6385 0.0)
(s6386 0.0)
(s6387 0.0)
(s6388 0.0)
(s6389 0.0)
(s6390 0.0)
(s6391 0.0)
(s6392 0.0)
(s6393 0.0)
(s6394 0.0)
(s6395 0.0)
(s6396 0.0)
(s6397 0.0)
(s6398 0.0)
(s6399 0.0)
(s6400 0.0)
(s6401 0.0)
(s6402 0.0)
(s6403 0.0)
(s6404 0.0)
(s6405 0.0)
(s6406 0.0)
(s6407 0.0)
(s6408 0.0)
(s6409 0.0)
(s6410 0.0)
(s6411 0.0)
(s6412 0.0)
(s6413 0.0)
(s6414 0.0)
(s6415 0.0)
(s6416 0.0)
(s6417 0.0)
(s6418 0.0)
(s6419 0.0)
(s6420 0.0)
(s6421 0.0)
(s6422 0.0)
(s6423 0.0)
(s6424 0.0)
(s6425 0.0)
(s6426 0.0)
(s6427 0.0)
(s6428 0.0)
(s6429 0.0)
(s6430 0.0)
(s6431 0.0)
(s6432 0.0)
(s6433 0.0)
(s6434 0.0)
(s6435 0.0)
(s6436 0.0)
(s6437 0.0)
(s6438 0.0)
(s6439 0.0)
(s6440 0.0)
(s6441 0.0)
(s6442 0.0)
(s6443 0.0)
(s6444 0.0)
(s6445 0.0)
(s6446 0.0)
(s6447 0.0)
(s6448 0.0)
(s6449 0.0)
(s6450 0.0)
(s6451 0.0)
(s6452 0.0)
(s6453 0.0)
(s6454 0.0)
(s6455 0.0)
(s6456 0.0)
(s6457 0.0)
(s6458 0.0)
(s6459 0.0)
(s6460 0.0)
(s6461 0.0)
(s6462 0.0)
(s6463 0.0)
(s6464 0.0)
(s6465 0.0)
(s6466 0.0)
(s6467 0.0)
(s6468 0.0)
(s6469 0.0)
(s6470 0.0)
(s6471 0.0)
(s6472 0.0)
(s6473 0.0)
(s6474 0.0)
(s6475 0.0)
(s6476 0.0)
(s6477 0.0)
(s6478 0.0)
(s6479 0.0)
(s6480 0.0)
(s6481 0.0)
(s6482 0.0)
(s6483 0.0)
(s6484 0.0)
(s6485 0.0)
(s6486 0.0)
(s6487 0.0)
(s6488 0.0)
(s6489 0.0)
(s6490 0.0)
(s6491 0.0)
(s6492 0.0)
(s6493 0.0)
(s6494 0.0)
(s6495 0.0)
(s6496 0.0)
(s6497 0.0)
(s6498 0.0)
(s6499 0.0)
(s6500 0.0)
(s6501 0.0)
(s6502 0.0)
(s6503 0.0)
(s6504 0.0)
(s6505 0.0)
(s6506 0.0)
(s6507 0.0)
(s6508 0.0)
(s6509 0.0)
(s6510 0.0)
(s6511 0.0)
(s6512 0.0)
(s6513 0.0)
(s6514 0.0)
(s6515 0.0)
(s6516 0.0)
(s6517 0.0)
(s6518 0.0)
(s6519 0.0)
(s6520 0.0)
(s6521 0.0)
(s6522 0.0)
(s6523 0.0)
(s6524 0.0)
(s6525 0.0)
(s6526 0.0)
(s6527 (/ 3.0 4.0))
(s6528 0.0)
(s6529 0.0)
(s6530 (/ 1.0 4.0))
(s6531 0.0)
(s6532 0.0)
(s6533 0.0)
(s6534 0.0)
(s6535 0.0)
(s6536 0.0)
(s6537 0.0)
(s6538 0.0)
(s6539 0.0)
(s6540 0.0)
(s6541 0.0)
(s6542 0.0)
(s6543 0.0)
(s6544 0.0)
(s6545 0.0)
(s6546 0.0)
(s6547 0.0)
(s6548 0.0)
(s6549 0.0)
(s6550 0.0)
(s6551 0.0)
(s6552 0.0)
(s6553 0.0)
(s6554 0.0)
(s6555 0.0)
(s6556 0.0)
(s6557 0.0)
(s6558 0.0)
(s6559 0.0)
(s6560 0.0)
(s6561 0.0)
(s6562 0.0)
(s6563 0.0)
(s6564 0.0)
(s6565 0.0)
(s6566 0.0)
(s6567 0.0)
(s6568 0.0)
(s6569 0.0)
(s6570 0.0)
(s6571 0.0)
(s6572 0.0)
(s6573 0.0)
(s6574 0.0)
(s6575 0.0)
(s6576 0.0)
(s6577 0.0)
(s6578 0.0)
(s6579 0.0)
(s6580 0.0)
(s6581 0.0)
(s6582 0.0)
(s6583 0.0)
(s6584 0.0)
(s6585 0.0)
(s6586 0.0)
(s6587 0.0)
(s6588 1.0)
(s6589 0.0)
(s6590 0.0)
(s6591 0.0)
(s6592 0.0)
(s6593 0.0)
(s6594 0.0)
(s6595 0.0)
(s6596 0.0)
(s6597 0.0)
(s6598 0.0)
(s6599 0.0)
(s6600 0.0)
(s6601 0.0)
(s6602 0.0)
(s6603 0.0)
(s6604 0.0)
(s6605 0.0)
(s6606 0.0)
(s6607 0.0)
(s6608 0.0)
(s6609 0.0)
(s6610 0.0)
(s6611 0.0)
(s6612 0.0)
(s6613 0.0)
(s6614 0.0)
(s6615 0.0)
(s6616 0.0)
(s6617 0.0)
(s6618 0.0)
(s6619 0.0)
(s6620 0.0)
(s6621 0.0)
(s6622 0.0)
(s6623 0.0)
(s6624 0.0)
(s6625 0.0)
(s6626 0.0)
(s6627 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)
(s6637 0.0)
(s6638 0.0)
(s6639 0.0)
(s6640 0.0)
(s6641 0.0)
(s6642 0.0)
(s6643 0.0)
(s6644 0.0)
(s6645 0.0)
(s6646 0.0)
(s6647 0.0)
(s6648 0.0)
(s6649 0.0)
(s6650 0.0)
(s6651 0.0)
(s6652 0.0)
(s6653 0.0)
(s6654 0.0)
(s6655 0.0)
(s6656 0.0)
(s6657 0.0)
(s6658 0.0)
(s6659 0.0)
(s6660 0.0)
(s6661 0.0)
(s6662 0.0)
(s6663 0.0)
(s6664 0.0)
(s6665 0.0)
(s6666 0.0)
(s6667 0.0)
(s6668 0.0)
(s6669 0.0)
(s6670 0.0)
(s6671 0.0)
(s6672 0.0)
(s6673 0.0)
(s6674 0.0)
(s6675 0.0)
(s6676 0.0)
(s6677 0.0)
(s6678 0.0)
(s6679 0.0)
(s6680 0.0)
(s6681 0.0)
(s6682 0.0)
(s6683 0.0)
(s6684 0.0)
(s6685 0.0)
(s6686 0.0)
(s6687 0.0)
(s6688 0.0)
(s6689 0.0)
(s6690 0.0)
(s6691 0.0)
(s6692 0.0)
(s6693 0.0)
(s6694 0.0)
(s6695 0.0)
(s6696 0.0)
(s6697 0.0)
(s6698 0.0)
(s6699 0.0)
(s6700 0.0)
(s6701 0.0)
(s6702 0.0)
(s6703 0.0)
(s6704 0.0)
(s6705 0.0)
(s6706 0.0)
(s6707 0.0)
(s6708 0.0)
(s6709 0.0)
(s6710 0.0)
(s6711 0.0)
(s6712 0.0)
(s6713 0.0)
(s6714 0.0)
(s6715 0.0)
(s6716 0.0)
(s6717 0.0)
(s6718 0.0)
(s6719 0.0)
(s6720 0.0)
(s6721 0.0)
(s6722 0.0)
(s6723 0.0)
(s6724 0.0)
(s6725 0.0)
(s6726 0.0)
(s6727 0.0)
(s6728 0.0)
(s6729 0.0)
(s6730 0.0)
(s6731 0.0)
(s6732 0.0)
(s6733 0.0)
(s6734 0.0)
(s6735 0.0)
(s6736 0.0)
(s6737 0.0)
(s6738 (/ 3.0 4.0))
(s6739 0.0)
(s6740 0.0)
(s6741 0.0)
(s6742 0.0)
(s6743 0.0)
(s6744 0.0)
(s6745 0.0)
(s6746 0.0)
(s6747 0.0)
(s6748 0.0)
(s6749 0.0)
(s6750 0.0)
(s6751 0.0)
(s6752 0.0)
(s6753 0.0)
(s6754 0.0)
(s6755 0.0)
(s6756 0.0)
(s6757 0.0)
(s6758 0.0)
(s6759 0.0)
(s6760 (/ 1.0 4.0))
(s6761 0.0)
(s6762 0.0)
(s6763 0.0)
(s6764 0.0)
(s6765 0.0)
(s6766 0.0)
(s6767 0.0)
(s6768 0.0)
(s6769 0.0)
(s6770 0.0)
(s6771 0.0)
(s6772 0.0)
(s6773 0.0)
(s6774 0.0)
(s6775 0.0)
(s6776 0.0)
(s6777 0.0)
(s6778 0.0)
(s6779 0.0)
(s6780 0.0)
(s6781 0.0)
(s6782 0.0)
(s6783 0.0)
(s6784 0.0)
(s6785 0.0)
(s6786 0.0)
(s6787 0.0)
(s6788 0.0)
(s6789 0.0)
(s6790 0.0)
(s6791 0.0)
(s6792 0.0)
(s6793 0.0)
(s6794 0.0)
(s6795 0.0)
(s6796 0.0)
(s6797 0.0)
(s6798 0.0)
(s6799 0.0)
(s6800 0.0)
(s6801 0.0)
(s6802 0.0)
(s6803 0.0)
(s6804 0.0)
(s6805 0.0)
(s6806 0.0)
(s6807 0.0)
(s6808 0.0)
(s6809 0.0)
(s6810 0.0)
(s6811 0.0)
(s6812 0.0)
(s6813 0.0)
(s6814 0.0)
(s6815 0.0)
(s6816 0.0)
(s6817 0.0)
(s6818 0.0)
(s6819 0.0)
(s6820 0.0)
(s6821 0.0)
(s6822 0.0)
(s6823 0.0)
(s6824 0.0)
(s6825 0.0)
(s6826 0.0)
(s6827 0.0)
(s6828 0.0)
(s6829 0.0)
(s6830 0.0)
(s6831 0.0)
(s6832 0.0)
(s6833 0.0)
(s6834 0.0)
(s6835 0.0)
(s6836 0.0)
(s6837 0.0)
(s6838 0.0)
(s6839 0.0)
(s6840 0.0)
(s6841 0.0)
(s6842 0.0)
(s6843 0.0)
(s6844 0.0)
(s6845 0.0)
(s6846 0.0)
(s6847 0.0)
(s6848 0.0)
(s6849 0.0)
(s6850 0.0)
(s6851 0.0)
(s6852 0.0)
(s6853 0.0)
(s6854 0.0)
(s6855 0.0)
(s6856 0.0)
(s6857 0.0)
(s6858 0.0)
(s6859 0.0)
(s6860 0.0)
(s6861 0.0)
(s6862 0.0)
(s6863 0.0)
(s6864 0.0)
(s6865 0.0)
(s6866 0.0)
(s6867 0.0)
(s6868 0.0)
(s6869 0.0)
(s6870 0.0)
(s6871 0.0)
(s6872 1.0)
(s6873 0.0)
(s6874 0.0)
(s6875 0.0)
(s6876 0.0)
(s7083 0.0)
(s7084 0.0)
(s7085 0.0)
(s7086 0.0)
(s7087 0.0)
(s7088 0.0)
(s7089 0.0)
(s7090 0.0)
(s7091 0.0)
(s7092 0.0)
(s7093 0.0)
(s7094 0.0)
(s7095 0.0)
(s7096 0.0)
(s7097 0.0)
(s7098 0.0)
(s7099 0.0)
(s7100 0.0)
(s7101 0.0)
(s7102 0.0)
(s7103 0.0)
(s7104 0.0)
(s7105 0.0)
(s7106 0.0)
(s7107 0.0)
(s7108 0.0)
(s7109 0.0)
(s7110 0.0)
(s7111 0.0)
(s7112 0.0)
(s7113 0.0)
(s7114 0.0)
(s7115 0.0)
(s7116 0.0)
(s7117 0.0)
(s7118 0.0)
(s7119 0.0)
(s7120 0.0)
(s7121 0.0)
(s7122 0.0)
(s7123 1.0)
(s7124 0.0)
(s7125 0.0)
(s7126 0.0)
(s7127 0.0)
(s7128 0.0)
(s7129 0.0)
(s7130 0.0)
(s7131 0.0)
(s7132 0.0)
(s7133 0.0)
(s7134 0.0)
(s7135 0.0)
(s7136 0.0)
(s7137 0.0)
(s7138 0.0)
(s7139 0.0)
(s7140 0.0)
(s7141 0.0)
(s7142 0.0)
(s7143 0.0)
(s7144 0.0)
(s7145 0.0)
(s7146 0.0)
(s7147 0.0)
(s7148 0.0)
(s7149 0.0)
(s7150 0.0)
(s7151 0.0)
(s7152 0.0)
(s7153 0.0)
(s7154 0.0)
(s7155 0.0)
(s7156 0.0)
(s7157 0.0)
(s7158 0.0)
(s7159 0.0)
(s7160 0.0)
(s7161 0.0)
(s7162 0.0)
(s7163 0.0)
(s7164 0.0)
(s7165 0.0)
(s7166 0.0)
(s7167 0.0)
(s7168 0.0)
(s7169 0.0)
(s7170 0.0)
(s7171 0.0)
(s7172 0.0)
(s7173 0.0)
(s7174 0.0)
(s7175 0.0)
(s7176 0.0)
(s7177 0.0)
(s7178 0.0)
(s7179 0.0)
(s7180 0.0)
(s7181 0.0)
(s7182 0.0)
(s7183 0.0)
(s7184 0.0)
(s7185 0.0)
(s7186 0.0)
(s7187 0.0)
(s7188 0.0)
(s7189 0.0)
(s7190 0.0)
(s7191 0.0)
(s7192 0.0)
(s7193 0.0)
(s7194 0.0)
(s7195 0.0)
(s7196 0.0)
(s7197 0.0)
(s7198 0.0)
(s7199 0.0)
(s7200 0.0)
(s7201 0.0)
(s7202 0.0)
(s7203 0.0)
(s7204 0.0)
(s7205 0.0)
(s7206 0.0)
(s7207 0.0)
(s7208 0.0)
(s7209 0.0)
(s7210 0.0)
(s7211 0.0)
(s7212 0.0)
(s7213 (/ 1.0 4.0))
(s7214 0.0)
(s7215 0.0)
(s7216 0.0)
(s7217 (/ 3.0 4.0))
(s7218 0.0)
(s7219 0.0)
(s7220 0.0)
(s7221 0.0)
(s7222 0.0)
(s7223 0.0)
(s7224 0.0)
(s7225 0.0)
(s7226 0.0)
(s7227 0.0)
(s7228 0.0)
(s7229 0.0)
(s7230 0.0)
(s7231 0.0)
(s7232 0.0)
(s7233 0.0)
(s7234 0.0)
(s7235 0.0)
(s7236 0.0)
(s7237 0.0)
(s7238 0.0)
(s7239 0.0)
(s7240 0.0)
(s7241 0.0)
(s7242 0.0)
(s7243 0.0)
(s7244 0.0)
(s7245 0.0)
(s7246 0.0)
(s7247 0.0)
(s7248 0.0)
(s7249 0.0)
(s7250 0.0)
(s7251 0.0)
(s7252 0.0)
(s7253 0.0)
(s7254 0.0)
(s7255 0.0)
(s7256 0.0)
(s7257 0.0)
(s7258 0.0)
(s7259 0.0)
(s7260 0.0)
(s7261 0.0)
(s7262 0.0)
(s7263 0.0)
(s7264 0.0)
(s7265 0.0)
(s7266 0.0)
(s7267 0.0)
(s7268 0.0)
(s7269 0.0)
(s7270 0.0)
(s7271 0.0)
(s7272 0.0)
(s7273 0.0)
(s7274 0.0)
(s7275 0.0)
(s7276 0.0)
(s7277 0.0)
(s7278 0.0)
(s7279 0.0)
(s7280 0.0)
(s7281 0.0)
(s7282 0.0)
(s7283 0.0)
(s7284 0.0)
(s7285 0.0)
(s7286 0.0)
(s7287 0.0)
(s7288 0.0)
(s7804 0.0)
(s7805 0.0)
(s7806 0.0)
(s7807 0.0)
(s7808 0.0)
(s7809 0.0)
(s7810 0.0)
(s7811 0.0)
(s7812 0.0)
(s7813 0.0)
(s7814 0.0)
(s7815 0.0)
(s7816 0.0)
(s7817 0.0)
(s7818 0.0)
(s7819 1.0)
(s7820 0.0)
(s7821 0.0)
(s7822 0.0)
(s7823 0.0)
(s7824 0.0)
(s7825 0.0)
(s7826 0.0)
(s7827 0.0)
(s7828 0.0)
(s7829 0.0)
(s7830 0.0)
(s7831 0.0)
(s7832 0.0)
(s7833 0.0)
(s7834 0.0)
(s7835 0.0)
(s7836 0.0)
(s7837 0.0)
(s7838 0.0)
(s7839 0.0)
(s7840 0.0)
(s7841 0.0)
(s7842 0.0)
(s7843 0.0)
(s7844 0.0)
(s7845 0.0)
(s7846 0.0)
(s7847 0.0)
(s7848 0.0)
(s7849 0.0)
(s7850 0.0)
(s7851 0.0)
(s7852 0.0)
(s7853 0.0)
(s7854 0.0)
(s7855 0.0)
(s7856 0.0)
(s7857 0.0)
(s7858 0.0)
(s7859 0.0)
(s7860 0.0)
(s7861 0.0)
(s7862 0.0)
(s7863 0.0)
(s7864 0.0)
(s7865 0.0)
(s7866 0.0)
(s7867 0.0)
(s7868 0.0)
(s7869 0.0)
(s7870 0.0)
(s7871 0.0)
(s7872 0.0)
(s7873 0.0)
(s7874 0.0)
(s7875 0.0)
(s7876 0.0)
(s7877 0.0)
(s7878 0.0)
(s7879 0.0)
(s7880 0.0)
(s7881 0.0)
(s7882 0.0)
(s7883 0.0)
(s7884 0.0)
(s7885 0.0)
(s7886 0.0)
(s7887 0.0)
(s7888 0.0)
(s7889 0.0)
(s7890 0.0)
(s7891 0.0)
(s7892 0.0)
(s7893 0.0)
(s7894 0.0)
(s7895 0.0)
(s7896 0.0)
(s7897 0.0)
(s7898 0.0)
(s7899 0.0)
(s7900 0.0)
(s7901 0.0)
(s7902 0.0)
(s7903 0.0)
(s7904 0.0)
(s7905 0.0)
(s7906 0.0)
(s7907 0.0)
(s7908 0.0)
(s7909 0.0)
(s7910 0.0)
(s7911 0.0)
(s7912 0.0)
(s7913 0.0)
(s7914 0.0)
(s7915 0.0)
(s7916 0.0)
(s7917 0.0)
(s7918 0.0)
(s7919 0.0)
(s7920 0.0)
(s7921 0.0)
(s7922 0.0)
(s7923 0.0)
(s7924 0.0)
(s7925 0.0)
(s7926 0.0)
(s7927 0.0)
(s7928 0.0)
(s7929 0.0)
(s7930 0.0)
(s7931 0.0)
(s7932 0.0)
(s7933 0.0)
(s7934 0.0)
(s7935 0.0)
(s7936 0.0)
(s7937 0.0)
(s7938 0.0)
(s7939 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)
(s7949 0.0)
(s7950 0.0)
(s7951 0.0)
(s7952 0.0)
(s7953 0.0)
(s7954 (/ 3.0 4.0))
(s7955 0.0)
(s7956 0.0)
(s7957 0.0)
(s7958 0.0)
(s7959 0.0)
(s7960 0.0)
(s7961 0.0)
(s7962 0.0)
(s7963 0.0)
(s7964 (/ 1.0 4.0))
(s7965 0.0)
(s7966 0.0)
(s7967 0.0)
(s7968 0.0)
(s7969 0.0)
(s7970 0.0)
(s7971 0.0)
(s7972 0.0)
(s7973 0.0)
(s7974 0.0)
(s7975 0.0)
(s7976 0.0)
(s7977 0.0)
(s7978 0.0)
(s7979 0.0)
(s7980 0.0)
(s7981 0.0)
(s7982 0.0)
(s7983 0.0)
(s7984 0.0)
(s7985 0.0)
(s7986 0.0)
(s7987 0.0)
(s7988 0.0)
(s7989 0.0)
(s7990 0.0)
(s7991 0.0)
(s7992 0.0)
(s7993 0.0)
(s7994 0.0)
(s7995 0.0)
(s7996 0.0)
(s7997 0.0)
(s7998 0.0)
(s7999 0.0)
(s8000 0.0)
(s8001 0.0)
(s8002 0.0)
(s8003 0.0)
(s8004 0.0)
(s8005 0.0)
(s8006 0.0)
(s8007 0.0)
(s8008 0.0)
(s8009 0.0)
(s8010 0.0)
(s8011 0.0)
(s8012 0.0)
(s8013 0.0)
(s8014 0.0)
(s8015 0.0)
(s8016 0.0)
(s8017 0.0)
(s8018 0.0)
(s8019 0.0)
(s8020 0.0)
(s8021 0.0)
(s8022 0.0)
(s8023 0.0)
(s8024 0.0)
(s8025 0.0)
(s8026 0.0)
(s8027 0.0)
(s8028 0.0)
(s8029 0.0)
(s8030 0.0)
(s8031 0.0)
(s8032 0.0)
(s8033 0.0)
(s8034 0.0)
(s8035 0.0)
(s8036 0.0)
(s8037 0.0)
(s8038 0.0)
(s8039 0.0)
(s8040 0.0)
(s8041 0.0)
(s8042 0.0)
(s8043 0.0)
(s8044 0.0)
(s8045 0.0)
(s8046 0.0)
(s8047 0.0)
(s8048 0.0)
(s8049 0.0)
(s8050 0.0)
(s8051 0.0)
(s8052 0.0)
(s8053 0.0)
(s8054 0.0)
(s8055 0.0)
(s8056 0.0)
(s8057 0.0)
(s8058 0.0)
(s8059 0.0)
(s8060 0.0)
(s8061 0.0)
(s8062 0.0)
(s8063 0.0)
(s8064 0.0)
(s8065 0.0)
(s8066 0.0)
(s8067 0.0)
(s8068 0.0)
(s8069 0.0)
(s8070 0.0)
(s8071 0.0)
(s8072 0.0)
(s8073 0.0)
(s8074 0.0)
(s8075 0.0)
(s8076 0.0)
(s8077 0.0)
(s8078 0.0)
(s8079 0.0)
(s8080 0.0)
(s8081 0.0)
(s8082 0.0)
(s8083 0.0)
(s8084 0.0)
(s8085 0.0)
(s8086 0.0)
(s8087 0.0)
(s8088 1.0)
(s8089 0.0)
(s8090 0.0)
(s8091 0.0)
(s8092 0.0)
(s8093 0.0)
(s8094 0.0)
(s8095 0.0)
(s8096 0.0)
(s8097 0.0)
(s8098 0.0)
(s8099 0.0)
(s8100 0.0)
(s8101 0.0)
(s8102 0.0)
(s8103 0.0)
(s8104 0.0)
(s8105 0.0)
(s8106 0.0)
(s8107 0.0)
(s8108 0.0)
(s8109 0.0)
(s8110 0.0)
(s8111 0.0)
(s8112 0.0)
(s8113 0.0)
(s8114 0.0)
(s8115 0.0)
(s8116 0.0)
(s8117 0.0)
(s8118 0.0)
(s8119 0.0)
(s8120 0.0)
(s8121 0.0)
(s8122 0.0)
(s8123 0.0)
(s8124 0.0)
(s8125 0.0)
(s8126 0.0)
(s8127 0.0)
(s8128 0.0)
(s8129 0.0)
(s8130 0.0)
(s8131 0.0)
(s8132 0.0)
(s8133 0.0)
(s8134 0.0)
(s8135 0.0)
(s8136 0.0)
(s8137 0.0)
(s8138 0.0)
(s8139 0.0)
(s8140 0.0)
(s8141 0.0)
(s8142 0.0)
(s8143 0.0)
(s8144 0.0)
(s8145 0.0)
(s8146 0.0)
(s8147 0.0)
(s8148 0.0)
(s8149 0.0)
(s8150 0.0)
(s8151 0.0)
(s8152 0.0)
(s8153 0.0)
(s8154 0.0)
(s8155 0.0)
(s8156 0.0)
(s8157 0.0)
(s8158 0.0)
(s8159 0.0)
(s8160 0.0)
(s8161 0.0)
(s8162 0.0)
(s8163 0.0)
(s8164 0.0)
(s8165 0.0)
(s8166 0.0)
(s8167 0.0)
(s8168 0.0)
(s8169 0.0)
(s8170 0.0)
(s8171 0.0)
(s8172 0.0)
(s8173 0.0)
(s8174 0.0)
(s8175 0.0)
(s8176 0.0)
(s8177 0.0)
(s8178 0.0)
(s8179 0.0)
(s8180 0.0)
(s8181 0.0)
(s8182 0.0)
(s8183 0.0)
(s8184 0.0)
(s8185 0.0)
(s8186 (/ 3.0 4.0))
(s8187 0.0)
(s8188 0.0)
(s8189 0.0)
(s8190 0.0)
(s8191 0.0)
(s8192 0.0)
(s8193 0.0)
(s8194 0.0)
(s8195 0.0)
(s8196 0.0)
(s8197 0.0)
(s8198 0.0)
(s8199 0.0)
(s8200 0.0)
(s8201 (/ 1.0 4.0))
(s8202 0.0)
(s8203 0.0)
(s8204 0.0)
(s8205 0.0)
(s8206 0.0)
(s8207 0.0)
(s8208 0.0)
(s8209 0.0)
(s8210 0.0)
(s8211 0.0)
(s8212 0.0)
(s8213 0.0)
(s8214 0.0)
(s8215 0.0)
(s8216 0.0)
(s8217 0.0)
(s8218 0.0)
(s8219 0.0)
(s8220 0.0)
(s8221 0.0)
(s8222 0.0)
(s8223 0.0)
(s8224 0.0)
(s8225 0.0)
(s8226 0.0)
(s8227 0.0)
(s8228 0.0)
(s8229 0.0)
(s8230 0.0)
(s8231 0.0)
(s8232 0.0)
(s8233 0.0)
(s8234 0.0)
(s8235 0.0)
(s8236 0.0)
(s8237 0.0)
(s8238 0.0)
(s8239 0.0)
(s8240 0.0)
(s8241 0.0)
(s8242 0.0)
(s8243 0.0)
(s8244 0.0)
(s8245 0.0)
(s8246 0.0)
(s8247 0.0)
(s8248 0.0)
(s8249 0.0)
(s8250 0.0)
(s8251 0.0)
(s8252 0.0)
(s8253 0.0)
(s8254 0.0)
(s8255 0.0)
(s8256 0.0)
(s8257 0.0)
(s8258 0.0)
(s8259 0.0)
(s8260 0.0)
(s8261 0.0)
(s8262 0.0)
(s8263 0.0)
(s8264 0.0)
(s8265 0.0)
(s8266 0.0)
(s8267 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)
(s8277 0.0)
(s8278 0.0)
(s8279 0.0)
(s8280 0.0)
(s8281 0.0)
(s8282 0.0)
(s8283 0.0)
(s8284 0.0)
(s8285 0.0)
(s8286 0.0)
(s8287 0.0)
(s8288 0.0)
(s8289 0.0)
(s8290 0.0)
(s8291 0.0)
(s8292 0.0)
(s8293 0.0)
(s8294 0.0)
(s8295 0.0)
(s8296 0.0)
(s8297 0.0)
(s8298 0.0)
(s8299 0.0)
(s8300 0.0)
(s8301 0.0)
(s8302 0.0)
(s8303 0.0)
(s8304 0.0)
(s8305 0.0)
(s8306 0.0)
(s8307 0.0)
(s8308 0.0)
(s8309 0.0)
(s8310 0.0)
(s8311 0.0)
(s8312 0.0)
(s8313 0.0)
(s8314 0.0)
(s8315 0.0)
(s8316 0.0)
(s8317 0.0)
(s8318 0.0)
(s8319 0.0)
(s8320 0.0)
(s8321 0.0)
(s8322 0.0)
(s8323 0.0)
(s8324 0.0)
(s8325 0.0)
(s8326 0.0)
(s8327 0.0)
(s8328 0.0)
(s8329 0.0)
(s8330 0.0)
(s8331 0.0)
(s8332 0.0)
(s8333 0.0)
(s8334 0.0)
(s8335 0.0)
(s8336 0.0)
(s8337 0.0)
(s8338 0.0)
(s8339 0.0)
(s8340 0.0)
(s8341 0.0)
(s8342 0.0)
(s8343 0.0)
(s8344 0.0)
(s8345 0.0)
(s8346 0.0)
(s8347 0.0)
(s8348 0.0)
(s8349 0.0)
(s8350 0.0)
(s8351 0.0)
(s8352 0.0)
(s8353 0.0)
(s8354 0.0)
(s8355 0.0)
(s8356 0.0)
(s8357 0.0)
(s8358 0.0)
(s8359 0.0)
(s8360 0.0)
(s8361 0.0)
(s8362 0.0)
(s8363 0.0)
(s8364 0.0)
(s8365 0.0)
(s8366 0.0)
(s8367 0.0)
(s8368 0.0)
(s8369 0.0)
(s8370 0.0)
(s8371 0.0)
(s8372 0.0)
(s8373 0.0)
(s8374 0.0)
(s8375 0.0)
(s8376 0.0)
(s8377 0.0)
(s8378 0.0)
(s8379 0.0)
(s8380 0.0)
(s8381 0.0)
(s8382 0.0)
(s8383 0.0)
(s8384 0.0)
(s8385 0.0)
(s8386 0.0)
(s8387 0.0)
(s8388 0.0)
(s8389 0.0)
(s8390 0.0)
(s8391 0.0)
(s8392 0.0)
(s8393 0.0)
(s8394 0.0)
(s8395 0.0)
(s8396 0.0)
(s8397 0.0)
(s8398 0.0)
(s8399 0.0)
(s8400 0.0)
(s8401 0.0)
(s8402 0.0)
(s8403 0.0)
(s8404 0.0)
(s8405 0.0)
(s8406 0.0)
(s8407 0.0)
(s8408 0.0)
(s8409 0.0)
(s8410 0.0)
(s8411 0.0)
(s8412 0.0)
(s8413 0.0)
(s8414 0.0)
(s8415 0.0)
(s8416 0.0)
(s8417 0.0)
(s8418 0.0)
(s8419 0.0)
(s8420 0.0)
(s8421 0.0)
(s8422 0.0)
(s8423 0.0)
(s8424 0.0)
(s8425 0.0)
(s8426 0.0)
(s8427 0.0)
(s8428 0.0)
(s8429 0.0)
(s8430 0.0)
(s8431 0.0)
(s8432 0.0)
(s8433 0.0)
(s8434 0.0)
(s8435 0.0)
(s8436 0.0)
(s8437 0.0)
(s8438 0.0)
(s8439 0.0)
(s8440 0.0)
(s8441 0.0)
(s8442 0.0)
(s8443 0.0)
(s8444 0.0)
(s8445 0.0)
(s8446 0.0)
(s8447 0.0)
(s8448 0.0)
(s8449 0.0)
(s8450 0.0)
(s8451 0.0)
(s8452 0.0)
(s8453 0.0)
(s8454 0.0)
(s8455 0.0)
(s8456 0.0)
(s8457 0.0)
(s8458 0.0)
(s8459 0.0)
(s8460 0.0)
(s8461 0.0)
(s8462 0.0)
(s8463 0.0)
(s8464 0.0)
(s8465 0.0)
(s8466 0.0)
(s8467 0.0)
(s8468 0.0)
(s8469 0.0)
(s8470 0.0)
(s8471 0.0)
(s8472 0.0)
(s8473 0.0)
(s8474 0.0)
(s8475 0.0)
(s8476 0.0)
(s8477 0.0)
(s8478 0.0)
(s8479 0.0)
(s8480 0.0)
(s8481 0.0)
(s8482 0.0)
(s8483 0.0)
(s8484 0.0)
(s8485 0.0)
(s8486 0.0)
(s8487 0.0)
(s8488 0.0)
(s8489 0.0)
(s8490 0.0)
(s8491 0.0)
(s8492 0.0)
(s8493 0.0)
(s8494 0.0)
(s8495 0.0)
(s8496 0.0)
(s8497 0.0)
(s8498 0.0)
(s8499 0.0)
(s8500 0.0)
(s8501 0.0)
(s8502 0.0)
(s8503 0.0)
(s8504 0.0)
(s8505 0.0)
(s8506 0.0)
(s8507 0.0)
(s8508 0.0)
(s8509 0.0)
(s8510 0.0)
(s8511 0.0)
(s8512 0.0)
(s8513 0.0)
(s8514 0.0)
(s8515 0.0)
(s8516 0.0)
(s8517 0.0)
(s8518 0.0)
(s8519 0.0)
(s8520 0.0)
(s8521 0.0)
(s8522 0.0)
(s8523 0.0)
(s8524 0.0)
(s8525 0.0)
(s8526 0.0)
(s8527 0.0)
(s8528 0.0)
(s8529 0.0)
(s8530 0.0)
(s8531 0.0)
(s8532 0.0)
(s8533 0.0)
(s8534 0.0)
(s8535 0.0)
(s8536 0.0)
(s8537 0.0)
(s8538 0.0)
(s8539 0.0)
(s8540 0.0)
(s8541 0.0)
(s8542 0.0)
(s8543 0.0)
(s8544 0.0)
(s8545 0.0)
(s8546 0.0)
(s8547 0.0)
(s8548 0.0)
(s8549 0.0)
(s8550 0.0)
(s8551 0.0)
(s8552 0.0)
(s8553 0.0)
(s8554 0.0)
(s8555 0.0)
(s8556 0.0)
(s8557 0.0)
(s8558 0.0)
(s8559 0.0)
(s8560 0.0)
(s8561 0.0)
(s8562 0.0)
(s8563 0.0)
(s8564 0.0)
(s8565 0.0)
(s8566 0.0)
(s8567 0.0)
(s8568 0.0)
(s8569 0.0)
(s8570 0.0)
(s8571 0.0)
(s8572 0.0)
(s8573 0.0)
(s8574 0.0)
(s8575 0.0)
(s8576 0.0)
(s8577 0.0)
(s8578 0.0)
(s8579 0.0)
(s8580 0.0)
(s8581 0.0)
(s8582 0.0)
(s8583 0.0)
(s8584 0.0)
(s8585 0.0)
(s8586 0.0)
(s8587 0.0)
(s8588 0.0)
(s8589 0.0)
(s8590 0.0)
(s8591 0.0)
(s8592 0.0)
(s8593 0.0)
(s8594 0.0)
(s8595 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)
(s8605 0.0)
(s8606 0.0)
(s8607 0.0)
(s8608 0.0)
(s8609 0.0)
(s8610 0.0)
(s8611 0.0)
(s8612 0.0)
(s8613 0.0)
(s8614 0.0)
(s8615 0.0)
(s8616 0.0)
(s8617 0.0)
(s8618 0.0)
(s8619 0.0)
(s8620 0.0)
(s8621 0.0)
(s8622 0.0)
(s8623 0.0)
(s8624 0.0)
(s8625 0.0)
(s8626 0.0)
(s8627 0.0)
(s8628 0.0)
(s8629 0.0)
(s8630 0.0)
(s8631 0.0)
(s8632 0.0)
(s8633 0.0)
(s8634 0.0)
(s8635 0.0)
(s8636 0.0)
(s8637 0.0)
(s8638 0.0)
(s8639 0.0)
(s8640 0.0)
(s8641 0.0)
(s8642 0.0)
(s8643 0.0)
(s8644 0.0)
(s8645 0.0)
(s8646 0.0)
(s8647 0.0)
(s8648 0.0)
(s8649 0.0)
(s8650 0.0)
(s8651 0.0)
(s8652 0.0)
(s8653 0.0)
(s8654 0.0)
(s8655 0.0)
(s8656 0.0)
(s8657 0.0)
(s8658 0.0)
(s8659 0.0)
(s8660 0.0)
(s8661 0.0)
(s8662 0.0)
(s8663 0.0)
(s8664 0.0)
(s8665 0.0)
(s8666 0.0)
(s8667 0.0)
(s8668 0.0)
(s8669 0.0)
(s8670 0.0)
(s8671 0.0)
(s8672 0.0)
(s8673 0.0)
(s8674 0.0)
(s8675 0.0)
(s8676 0.0)
(s8677 0.0)
(s8678 0.0)
(s8679 0.0)
(s8680 0.0)
(s8681 0.0)
(s8682 0.0)
(s8683 0.0)
(s8684 0.0)
(s8685 0.0)
(s8686 0.0)
(s8687 0.0)
(s8688 0.0)
(s8689 0.0)
(s8690 0.0)
(s8691 0.0)
(s8692 0.0)
(s8693 0.0)
(s8694 0.0)
(s8695 0.0)
(s8696 0.0)
(s8697 0.0)
(s8698 0.0)
(s8699 0.0)
(s8700 0.0)
(s8701 0.0)
(s8702 0.0)
(s8703 0.0)
(s8704 0.0)
(s8705 0.0)
(s8706 0.0)
(s8707 0.0)
(s8708 0.0)
(s8709 0.0)
(s8710 0.0)
(s8711 0.0)
(s8712 0.0)
(s8713 0.0)
(s8714 0.0)
(s8715 0.0)
(s8716 0.0)
(s8717 0.0)
(s8718 0.0)
(s8719 0.0)
(s8720 0.0)
(s8721 0.0)
(s8722 0.0)
(s8723 0.0)
(s8724 0.0)
(s8725 0.0)
(s8726 0.0)
(s8727 0.0)
(s8728 0.0)
(s8729 0.0)
(s8730 0.0)
(s8731 0.0)
(s8732 0.0)
(s8733 0.0)
(s8734 0.0)
(s8735 0.0)
(s8736 0.0)
(s8737 0.0)
(s8738 0.0)
(s8739 0.0)
(s8740 0.0)
(s8741 0.0)
(s8742 0.0)
(s8743 0.0)
(s8744 0.0)
(s8745 0.0)
(s8746 0.0)
(s8747 0.0)
(s8748 0.0)
(s8749 0.0)
(s8750 0.0)
(s8751 0.0)
(s8752 0.0)
(s8753 0.0)
(s8754 0.0)
(s8755 0.0)
(s8756 0.0)
(s8757 0.0)
(s8758 0.0)
(s8759 0.0)
(s8760 0.0)
(s8761 0.0)
(s8762 0.0)
(s8763 0.0)
(s8764 0.0)
(s8765 0.0)
(s8766 0.0)
(s8767 0.0)
(s8768 0.0)
(s8769 0.0)
(s8770 0.0)
(s8771 0.0)
(s8772 0.0)
(s8773 0.0)
(s8774 0.0)
(s8775 0.0)
(s8776 0.0)
(s8777 0.0)
(s8778 0.0)
(s8779 0.0)
(s8780 0.0)
(s8781 0.0)
(s8782 0.0)
(s8783 0.0)
(s8784 0.0)
(s8785 0.0)
(s8786 0.0)
(s8787 0.0)
(s8788 0.0)
(s8789 0.0)
(s8790 0.0)
(s8791 0.0)
(s8792 0.0)
(s8793 0.0)
(s8794 0.0)
(s8795 0.0)
(s8796 0.0)
(s8797 0.0)
(s8798 0.0)
(s8799 0.0)
(s8800 0.0)
(s8801 0.0)
(s8802 0.0)
(s8803 0.0)
(s8804 0.0)
(s8805 0.0)
(s8806 0.0)
(s8807 0.0)
(s8808 0.0)
(s8809 0.0)
(s8810 0.0)
(s8811 0.0)
(s8812 0.0)
(s8813 0.0)
(s8814 0.0)
(s8815 0.0)
(s8816 0.0)
(s8817 0.0)
(s8818 0.0)
(s8819 0.0)
(s8820 0.0)
(s8821 0.0)
(s8822 0.0)
(s8823 0.0)
(s8824 0.0)
(s8825 0.0)
(s8826 0.0)
(s8827 0.0)
(s8828 0.0)
(s8829 0.0)
(s8830 0.0)
(s8831 0.0)
(s8832 0.0)
(s8833 0.0)
(s8834 0.0)
(s8835 0.0)
(s8836 0.0)
(s8837 0.0)
(s8838 0.0)
(s8839 0.0)
(s8840 0.0)
(s8841 0.0)
(s8842 0.0)
(s8843 0.0)
(s8844 0.0)
(s8845 0.0)
(s8846 0.0)
(s8847 0.0)
(s8848 0.0)
(s8849 0.0)
(s8850 0.0)
(s8851 0.0)
(s8852 0.0)
(s8853 0.0)
(s8854 0.0)
(s8855 0.0)
(s8856 0.0)
(s8857 0.0)
(s8858 0.0)
(s8859 0.0)
(s8860 0.0)
(s8861 0.0)
(s8862 0.0)
(s8863 0.0)
(s8864 0.0)
(s8865 0.0)
(s8866 0.0)
(s8867 0.0)
(s8868 0.0)
(s8869 0.0)
(s8870 0.0)
(s8871 0.0)
(s8872 0.0)
(s8873 0.0)
(s8874 0.0)
(s8875 1.0)
(s8876 0.0)
(s8877 0.0)
(s8878 0.0)
(s8879 0.0)
(s8880 0.0)
(s8881 0.0)
(s8882 0.0)
(s8883 0.0)
(s8884 0.0)
(s8885 0.0)
(s8886 0.0)
(s8887 0.0)
(s8888 0.0)
(s8889 0.0)
(s8890 0.0)
(s8891 0.0)
(s8892 0.0)
(s8893 0.0)
(s8894 0.0)
(s8895 0.0)
(s8896 0.0)
(s8897 0.0)
(s8898 0.0)
(s8899 0.0)
(s8900 0.0)
(s8901 0.0)
(s8902 0.0)
(s8903 0.0)
(s8904 0.0)
(s8905 0.0)
(s8906 0.0)
(s8907 0.0)
(s8908 0.0)
(s8909 0.0)
(s8910 0.0)
(s8911 0.0)
(s8912 0.0)
(s8913 0.0)
(s8914 0.0)
(s8915 0.0)
(s8916 0.0)
(s8917 0.0)
(s8918 0.0)
(s8919 0.0)
(s8920 0.0)
(s8921 0.0)
(s8922 0.0)
(s8923 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)
(s8933 0.0)
(s8934 0.0)
(s8935 0.0)
(s8936 0.0)
(s8937 0.0)
(s8938 0.0)
(s8939 0.0)
(s8940 0.0)
(s8941 0.0)
(s8942 0.0)
(s8943 0.0)
(s8944 0.0)
(s8945 0.0)
(s8946 0.0)
(s8947 0.0)
(s8948 0.0)
(s8949 0.0)
(s8950 0.0)
(s8951 0.0)
(s8952 0.0)
(s8953 0.0)
(s8954 0.0)
(s8955 0.0)
(s8956 0.0)
(s8957 0.0)
(s8958 0.0)
(s8959 0.0)
(s8960 0.0)
(s8961 0.0)
(s8962 0.0)
(s8963 0.0)
(s8964 0.0)
(s8965 0.0)
(s8966 0.0)
(s8967 0.0)
(s8968 0.0)
(s8969 0.0)
(s8970 0.0)
(s8971 0.0)
(s8972 0.0)
(s8973 0.0)
(s8974 0.0)
(s8975 0.0)
(s8976 0.0)
(s8977 0.0)
(s8978 0.0)
(s8979 0.0)
(s8980 0.0)
(s8981 0.0)
(s8982 0.0)
(s8983 0.0)
(s8984 0.0)
(s8985 0.0)
(s8986 0.0)
(s8987 0.0)
(s8988 0.0)
(s8989 0.0)
(s8990 0.0)
(s8991 0.0)
(s8992 0.0)
(s8993 0.0)
(s8994 0.0)
(s8995 0.0)
(s8996 0.0)
(s8997 0.0)
(s8998 0.0)
(s8999 0.0)
(s9000 0.0)
(s9001 0.0)
(s9002 0.0)
(s9003 0.0)
(s9004 0.0)
(s9005 0.0)
(s9006 0.0)
(s9007 0.0)
(s9008 0.0)
(s9009 0.0)
(s9010 0.0)
(s9011 0.0)
(s9012 0.0)
(s9013 0.0)
(s9014 0.0)
(s9015 0.0)
(s9016 0.0)
(s9017 0.0)
(s9018 0.0)
(s9019 0.0)
(s9020 0.0)
(s9021 0.0)
(s9022 0.0)
(s9023 0.0)
(s9024 0.0)
(s9025 0.0)
(s9026 0.0)
(s9027 0.0)
(s9028 0.0)
(s9029 0.0)
(s9030 0.0)
(s9031 0.0)
(s9032 0.0)
(s9033 0.0)
(s9034 0.0)
(s9035 0.0)
(s9036 0.0)
(s9037 0.0)
(s9038 0.0)
(s9039 0.0)
(s9040 0.0)
(s9041 0.0)
(s9042 0.0)
(s9043 0.0)
(s9044 0.0)
(s9045 0.0)
(s9046 0.0)
(s9047 0.0)
(s9048 0.0)
(s9049 0.0)
(s9050 0.0)
(s9051 0.0)
(s9052 0.0)
(s9053 0.0)
(s9054 0.0)
(s9055 0.0)
(s9056 0.0)
(s9057 0.0)
(s9058 0.0)
(s9059 0.0)
(s9060 0.0)
(s9061 0.0)
(s9062 0.0)
(s9063 0.0)
(s9064 0.0)
(s9065 0.0)
(s9066 0.0)
(s9067 0.0)
(s9068 0.0)
(s9069 0.0)
(s9070 0.0)
(s9071 0.0)
(s9072 0.0)
(s9073 0.0)
(s9074 0.0)
(s9075 0.0)
(s9076 0.0)
(s9077 0.0)
(s9078 0.0)
(s9079 0.0)
(s9080 0.0)
(s9081 0.0)
(s9082 0.0)
(s9083 0.0)
(s9084 0.0)
(s9085 0.0)
(s9086 0.0)
(s9087 0.0)
(s9088 0.0)
(s9089 0.0)
(s9090 0.0)
(s9091 0.0)
(s9092 0.0)
(s9093 0.0)
(s9094 0.0)
(s9095 0.0)
(s9096 0.0)
(s9097 0.0)
(s9098 0.0)
(s9099 0.0)
(s9100 0.0)
(s9101 0.0)
(s9102 0.0)
(s9103 0.0)
(s9104 0.0)
(s9105 0.0)
(s9106 0.0)
(s9107 0.0)
(s9108 1.0)
(s9109 0.0)
(s9110 0.0)
(s9111 0.0)
(s9112 0.0)
(s9113 0.0)
(s9114 0.0)
(s9115 0.0)
(s9116 0.0)
(s9117 0.0)
(s9118 0.0)
(s9119 0.0)
(s9120 0.0)
(s9121 0.0)
(s9122 0.0)
(s9123 0.0)
(s9124 1.0)
(s9125 0.0)
(s9126 0.0)
(s9127 0.0)
(s9128 1.0)
(s9129 0.0)
(s9130 0.0)
(s9131 0.0)
(s9132 0.0)
(s9133 0.0)
(s9134 0.0)
(s9135 0.0)
(s9136 0.0)
(s9137 0.0)
(s9138 1.0)
(s9139 0.0)
(s9140 0.0)
(s9141 0.0)
(s9142 0.0)
(s9143 0.0)
(s9144 0.0)
(s9145 1.0)
(s9146 0.0)
(s9147 0.0)
(s9148 0.0)
(s9149 0.0)
(s9150 0.0)
(s9151 0.0)
(s9152 0.0)
(s9153 0.0)
(s9154 0.0)
(s9155 1.0)
(s9156 0.0)
(s9157 0.0)
(s9158 0.0)
(s9159 0.0)
(s9160 0.0)
(s9161 0.0)
(s9162 0.0)
(s9163 0.0)
(s9164 0.0)
(s9165 0.0)
(s9166 0.0)
(s9167 0.0)
(s9168 0.0)
(s9169 0.0)
(s9170 0.0)
(s9171 1.0)
(s9172 0.0)
(s9173 0.0)
(s9174 0.0)
(s9175 1.0)
(s9176 0.0)
(s9177 0.0)
(s9178 0.0)
(s9179 0.0)
(s9180 0.0)
(s9181 0.0)
(s9182 0.0)
(s9183 0.0)
(s9184 0.0)
(s9185 0.0)
(s9186 0.0)
(s9187 0.0)
(s9188 0.0)
(s9189 1.0)
(s9190 0.0)
(s9191 0.0)
(s9192 0.0)
(s9193 0.0)
(s9194 0.0)
(s9195 1.0)
(s9196 0.0)
(s9197 0.0)
(s9198 0.0)
(s9199 0.0)
(s9200 0.0)
(s9201 0.0)
(s9202 0.0)
(s9203 0.0)
(s9204 0.0)
(s9205 0.0)
(s9206 0.0)
(s9207 1.0)
(s9208 0.0)
(s9209 0.0)
(s9210 0.0)
(s9211 0.0)
(s9212 0.0)
(s9213 0.0)
(s9214 0.0)
(s9215 0.0)
(s9216 0.0)
(s9217 1.0)
(s9218 0.0)
(s9219 0.0)
(s9220 0.0)
(s9221 0.0)
(s9222 0.0)
(s9223 0.0)
(s9224 0.0)
(s9225 0.0)
(s9226 0.0)
(s9227 0.0)
(s9228 0.0)
(s9229 0.0)
(s9230 0.0)
(s9231 0.0)
(s9232 0.0)
(s9233 1.0)
(s9234 0.0)
(s9235 0.0)
(s9236 0.0)
(s9237 0.0)
(s9238 0.0)
(s9239 0.0)
(s9240 0.0)
(s9241 1.0)
(s9242 0.0)
(s9243 0.0)
(s9244 0.0)
(s9245 0.0)
(s9246 0.0)
(s9247 0.0)
(s9248 0.0)
(s9249 0.0)
(s9250 0.0)
(s9251 0.0)
(s9252 1.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)
(s9261 0.0)
(s9262 0.0)
(s9263 1.0)
(s9264 0.0)
(s9265 0.0)
(s9266 0.0)
(s9267 0.0)
(s9268 0.0)
(s9269 0.0)
(s9270 1.0)
(s9271 0.0)
(s9272 0.0)
(s9273 0.0)
(s9274 0.0)
(s9275 0.0)
(s9276 0.0)
(s9277 0.0)
(s9278 0.0)
(s9279 0.0)
(s9280 0.0)
(s9281 0.0)
(s9282 0.0)
(s9283 0.0)
(s9284 1.0)
(s9285 0.0)
(s9286 0.0)
(s9287 0.0)
(s9288 0.0)
(s9289 0.0)
(s9290 0.0)
(s9291 0.0)
(s9292 0.0)
(s9293 0.0)
(s9294 1.0)
(s9295 0.0)
(s9296 0.0)
(s9297 0.0)
(s9298 0.0)
(s9299 0.0)
(s9300 0.0)
(s9301 0.0)
(s9302 1.0)
(s9303 0.0)
(s9304 0.0)
(s9305 0.0)
(s9306 0.0)
(s9307 0.0)
(s9308 0.0)
(s9309 0.0)
(s9310 1.0)
(s9311 0.0)
(s9312 0.0)
(s9313 0.0)
(s9314 0.0)
(s9315 1.0)
(s9316 0.0)
(s9317 0.0)
(s9318 0.0)
(s9319 0.0)
(s9320 0.0)
(s9321 0.0)
(s9322 0.0)
(s9323 0.0)
(s9324 0.0)
(s9325 0.0)
(s9326 0.0)
(s9327 0.0)
(s9328 1.0)
(s9329 0.0)
(s9330 0.0)
(s9331 0.0)
(s9332 0.0)
(s9333 0.0)
(s9334 0.0)
(s9335 0.0)
(s9336 0.0)
(s9337 1.0)
(s9338 0.0)
(s9339 0.0)
(s9340 0.0)
(s9341 0.0)
(s9342 0.0)
(s9343 0.0)
(s9344 0.0)
(s9345 0.0)
(s9346 0.0)
(s9347 0.0)
(s9348 0.0)
(s9349 0.0)
(s9350 0.0)
(s9351 0.0)
(s9352 1.0)
(s9353 0.0)
(s9354 0.0)
(s9355 0.0)
(s9356 0.0)
(s9357 0.0)
(s9358 0.0)
(s9359 1.0)
(s9360 0.0)
(s9361 0.0)
(s9362 0.0)
(s9363 0.0)
(s9364 0.0)
(s9365 0.0)
(s9366 0.0)
(s9367 0.0)
(s9368 0.0)
(s9369 0.0)
(s9370 0.0)
(s9371 0.0)
(s9372 0.0)
(s9373 0.0)
(s9374 1.0)
(s9375 0.0)
(s9376 0.0)
(s9377 0.0)
(s9378 0.0)
(s9379 0.0)
(s9380 0.0)
(s9381 0.0)
(s9382 0.0)
(s9383 0.0)
(s9384 1.0)
(s9385 0.0)
(s9386 0.0)
(s9387 0.0)
(s9388 0.0)
(s9389 0.0)
(s9390 0.0)
(s9391 0.0)
(s9392 0.0)
(s9393 1.0)
(s9394 0.0)
(s9395 0.0)
(s9396 0.0)
(s9397 0.0)
(s9398 1.0)
(s9399 0.0)
(s9400 0.0)
(s9401 0.0)
(s9402 0.0)
(s9403 0.0)
(s9404 0.0)
(s9405 0.0)
(s9406 0.0)
(s9407 1.0)
(s9408 0.0)
(s9409 0.0)
(s9410 0.0)
(s9411 0.0)
(s9412 0.0)
(s9413 0.0)
(s9414 0.0)
(s9415 0.0)
(s9416 0.0)
(s9417 1.0)
(s9418 0.0)
(s9419 0.0)
(s9420 0.0)
(s9421 0.0)
(s9422 0.0)
(s9423 0.0)
(s9424 0.0)
(s9425 0.0)
(s9426 0.0)
(s9427 0.0)
(s9428 0.0)
(s9429 0.0)
(s9430 1.0)
(s9431 0.0)
(s9432 0.0)
(s9433 0.0)
(s9434 0.0)
(s9435 0.0)
(s9436 0.0)
(s9437 0.0)
(s9438 0.0)
(s9439 0.0)
(s9440 1.0)
(s9441 0.0)
(s9442 0.0)
(s9443 0.0)
(s9444 0.0)
(s9445 0.0)
(s9446 0.0)
(s9447 0.0)
(s9448 0.0)
(s9449 0.0)
(s9450 1.0)
(s9451 0.0)
(s9452 0.0)
(s9453 0.0)
(s9454 0.0)
(s9455 0.0)
(s9456 0.0)
(s9457 1.0)
(s9458 0.0)
(s9459 0.0)
(s9460 0.0)
(s9461 0.0)
(s9462 0.0)
(s9463 0.0)
(s9464 0.0)
(s9465 0.0)
(s9466 0.0)
(s9467 0.0)
(s9468 0.0)
(s9469 0.0)
(s9470 0.0)
(s9471 0.0)
(s9472 0.0)
(s9473 1.0)
(s9474 0.0)
(s9475 0.0)
(s9476 0.0)
(s9477 0.0)
(s9478 0.0)
(s9479 0.0)
(s9480 1.0)
(s9481 0.0)
(s9482 0.0)
(s9483 0.0)
(s9484 0.0)
(s9485 0.0)
(s9486 0.0)
(s9487 0.0)
(s9488 1.0)
(s9489 0.0)
(s9490 0.0)
(s9491 0.0)
(s9492 0.0)
(s9493 0.0)
(s9494 0.0)
(s9495 0.0)
(s9496 0.0)
(s9497 0.0)
(s9498 0.0)
(s9499 1.0)
(s9500 0.0)
(s9501 0.0)
(s9502 0.0)
(s9503 0.0)
(s9504 0.0)
(s9505 0.0)
(s9506 0.0)
(s9507 1.0)
(s9508 0.0)
(s9509 0.0)
(s9510 0.0)
(s9511 0.0)
(s9512 0.0)
(s9513 0.0)
(s9514 0.0)
(s9515 1.0)
(s9516 0.0)
(s9517 0.0)
(s9518 0.0)
(s9519 0.0)
(s9520 0.0)
(s9521 0.0)
(s9522 0.0)
(s9523 0.0)
(s9524 0.0)
(s9525 0.0)
(s9526 0.0)
(s9527 0.0)
(s9528 0.0)
(s9529 0.0)
(s9530 0.0)
(s9531 0.0)
(s9532 0.0)
(s9533 0.0)
(s9534 1.0)
(s9535 0.0)
(s9536 0.0)
(s9537 0.0)
(s9538 0.0)
(s9539 0.0)
(s9540 0.0)
(s9541 0.0)
(s9542 0.0)
(s9543 1.0)
(s9544 0.0)
(s9545 0.0)
(s9546 0.0)
(s9547 0.0)
(s9548 0.0)
(s9549 0.0)
(s9550 1.0)
(s9551 0.0)
(s9552 0.0)
(s9553 0.0)
(s9554 0.0)
(s9555 0.0)
(s9556 1.0)
(s9557 0.0)
(s9558 0.0)
(s9559 0.0)
(s9560 0.0)
(s9561 0.0)
(s9562 0.0)
(s9563 0.0)
(s9564 0.0)
(s9565 0.0)
(s9566 1.0)
(s9567 0.0)
(s9568 0.0)
(s9569 0.0)
(s9570 0.0)
(s9571 0.0)
(s9572 0.0)
(s9573 0.0)
(s9574 0.0)
(s9575 0.0)
(s9576 0.0)
(s9577 0.0)
(s9578 0.0)
(s9579 1.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)
(s9589 0.0)
(s9590 (/ 3.0 4.0))
(s9591 0.0)
(s9592 0.0)
(s9593 0.0)
(s9594 (/ 1.0 4.0))
(s9595 0.0)
(s9596 0.0)
(s9597 0.0)
(s9598 0.0)
(s9599 0.0)
(s9600 0.0)
(s9601 0.0)
(s9602 1.0)
(s9603 0.0)
(s9604 0.0)
(s9605 0.0)
(s9606 0.0)
(s9607 0.0)
(s9608 1.0)
(s9609 0.0)
(s9610 0.0)
(s9611 0.0)
(s9612 0.0)
(s9613 0.0)
(s9614 0.0)
(s9615 1.0)
(s9616 0.0)
(s9617 0.0)
(s9618 0.0)
(s9619 0.0)
(s9620 0.0)
(s9621 0.0)
(s9622 0.0)
(s9623 0.0)
(s9624 0.0)
(s9625 0.0)
(s9626 0.0)
(s9627 0.0)
(s9628 0.0)
(s9629 0.0)
(s9630 0.0)
(s9631 0.0)
(s9632 0.0)
(s9633 1.0)
(s9634 0.0)
(s9635 0.0)
(s9636 0.0)
(s9637 1.0)
(s9638 0.0)
(s9639 0.0)
(s9640 0.0)
(s9641 0.0)
(s9642 0.0)
(s9643 0.0)
(s9644 0.0)
(s9645 0.0)
(s9646 0.0)
(s9647 0.0)
(s9648 0.0)
(s9649 0.0)
(s9650 1.0)
(s9651 0.0)
(s9652 0.0)
(s9653 0.0)
(s9654 0.0)
(s9655 0.0)
(s9656 0.0)
(s9657 0.0)
(s9658 0.0)
(s9659 1.0)
(s9660 0.0)
(s9661 0.0)
(s9662 0.0)
(s9663 0.0)
(s9664 0.0)
(s9665 1.0)
(s9666 0.0)
(s9667 0.0)
(s9668 0.0)
(s9669 0.0)
(s9670 0.0)
(s9671 0.0)
(s9672 0.0)
(s9673 0.0)
(s9674 0.0)
(s9675 0.0)
(s9676 0.0)
(s9677 0.0)
(s9678 0.0)
(s9679 0.0)
(s9680 0.0)
(s9681 1.0)
(s9682 0.0)
(s9683 0.0)
(s9684 0.0)
(s9685 1.0)
(s9686 0.0)
(s9687 0.0)
(s9688 0.0)
(s9689 0.0)
(s9690 0.0)
(s9691 0.0)
(s9692 0.0)
(s9693 0.0)
(s9694 0.0)
(s9695 0.0)
(s9696 1.0)
(s9697 0.0)
(s9698 0.0)
(s9699 0.0)
(s9700 0.0)
(s9701 0.0)
(s9702 0.0)
(s9703 0.0)
(s9704 0.0)
(s9705 0.0)
(s9706 1.0)
(s9707 0.0)
(s9708 0.0)
(s9709 0.0)
(s9710 0.0)
(s9711 0.0)
(s9712 0.0)
(s9713 0.0)
(s9714 0.0)
(s9715 0.0)
(s9716 0.0)
(s9717 0.0)
(s9718 0.0)
(s9719 0.0)
(s9720 0.0)
(s9721 0.0)
(s9722 1.0)
(s9723 0.0)
(s9724 0.0)
(s9725 1.0)
(s9726 0.0)
(s9727 0.0)
(s9728 0.0)
(s9729 0.0)
(s9730 0.0)
(s9731 0.0)
(s9732 0.0)
(s9733 0.0)
(s9734 0.0)
(s9735 1.0)
(s9736 0.0)
(s9737 0.0)
(s9738 0.0)
(s9739 0.0)
(s9740 0.0)
(s9741 0.0)
(s9742 0.0)
(s9743 0.0)
(s9744 0.0)
(s9745 0.0)
(s9746 0.0)
(s9747 0.0)
(s9748 0.0)
(s9749 0.0)
(s9750 0.0)
(s9751 0.0)
(s9752 1.0)
(s9753 0.0)
(s9754 0.0)
(s9755 0.0)
(s9756 0.0)
(s9757 0.0)
(s9758 0.0)
(s9759 0.0)
(s9760 1.0)
(s9761 0.0)
(s9762 0.0)
(s9763 0.0)
(s9764 0.0)
(s9765 0.0)
(s9766 0.0)
(s9767 0.0)
(s9768 0.0)
(s9769 1.0)
(s9770 0.0)
(s9771 0.0)
(s9772 0.0)
(s9773 0.0)
(s9774 0.0)
(s9775 1.0)
(s9776 0.0)
(s9777 0.0)
(s9778 0.0)
(s9779 0.0)
(s9780 0.0)
(s9781 0.0)
(s9782 0.0)
(s9783 0.0)
(s9784 0.0)
(s9785 0.0)
(s9786 0.0)
(s9787 0.0)
(s9788 0.0)
(s9789 0.0)
(s9790 0.0)
(s9791 0.0)
(s9792 1.0)
(s9793 0.0)
(s9794 0.0)
(s9795 0.0)
(s9796 0.0)
(s9797 0.0)
(s9798 0.0)
(s9799 0.0)
(s9800 0.0)
(s9801 0.0)
(s9802 1.0)
(s9803 0.0)
(s9804 0.0)
(s9805 0.0)
(s9806 0.0)
(s9807 0.0)
(s9808 1.0)
(s9809 0.0)
(s9810 0.0)
(s9811 0.0)
(s9812 0.0)
(s9813 0.0)
(s9814 0.0)
(s9815 0.0)
(s9816 0.0)
(s9817 0.0)
(s9818 0.0)
(s9819 0.0)
(s9820 0.0)
(s9821 1.0)
(s9822 0.0)
(s9823 0.0)
(s9824 0.0)
(s9825 0.0)
(s9826 0.0)
(s9827 0.0)
(s9828 0.0)
(s9829 0.0)
(s9830 0.0)
(s9831 1.0)
(s9832 0.0)
(s9833 0.0)
(s9834 0.0)
(s9835 0.0)
(s9836 0.0)
(s9837 0.0)
(s9838 0.0)
(s9839 0.0)
(s9840 0.0)
(s9841 0.0)
(s9842 0.0)
(s9843 1.0)
(s9844 0.0)
(s9845 0.0)
(s9846 0.0)
(s9847 0.0)
(s9848 0.0)
(s9849 1.0)
(s9850 0.0)
(s9851 0.0)
(s9852 0.0)
(s9853 0.0)
(s9854 0.0)
(s9855 0.0)
(s9856 0.0)
(s9857 0.0)
(s9858 0.0)
(s9859 0.0)
(s9860 0.0)
(s9861 1.0)
(s9862 0.0)
(s9863 0.0)
(s9864 0.0)
(s9865 0.0)
(s9866 0.0)
(s9867 0.0)
(s9868 0.0)
(s9869 0.0)
(s9870 0.0)
(s9871 0.0)
(s9872 0.0)
(s9873 1.0)
(s9874 0.0)
(s9875 0.0)
(s9876 0.0)
(s9877 0.0)
(s9878 1.0)
(s9879 0.0)
(s9880 0.0)
(s9881 0.0)
(s9882 0.0)
(s9883 0.0)
(s9884 0.0)
(s9885 1.0)
(s9886 0.0)
(s9887 0.0)
(s9888 0.0)
(s9889 0.0)
(s9890 0.0)
(s9891 0.0)
(s9892 0.0)
(s9893 0.0)
(s9894 0.0)
(s9895 1.0)
(s9896 0.0)
(s9897 0.0)
(s9898 0.0)
(s9899 0.0)
(s9900 0.0)
(s9901 0.0)
(s9902 0.0)
(s9903 0.0)
(s9904 0.0)
(s9905 0.0)
(s9906 0.0)
(s9907 0.0)
(s9908 0.0)
(s9909 0.0)
(s9910 0.0)
(s9911 0.0)
(s9912 1.0)
(s9913 0.0)
(s9914 0.0)
(s9915 0.0)
(s9916 0.0)
(s9917 0.0)
(s9918 0.0)
(s9919 1.0)
(s9920 0.0)
(s9921 0.0)
(s9922 0.0)
(s9923 0.0)
(s9924 0.0)
(s9925 0.0)
(s9926 0.0)
(s9927 0.0)
(s9928 0.0)
(s9929 0.0)
(s9930 0.0)
(s9931 0.0)
(s9932 1.0)
(s9933 0.0)
(s9934 0.0)
(s9935 0.0)
(s9936 0.0)
(s9937 0.0)
(s9938 0.0)
(s9939 0.0)
(s9940 1.0)
(s9941 0.0)
(s9942 0.0)
(s9943 0.0)
(s9944 0.0)
(s9945 0.0)
(s9946 0.0)
(s9947 0.0)
(s9948 0.0)
(s9949 0.0)
(s9950 0.0)
(s9951 0.0)
(s9952 0.0)
(s9953 0.0)
(s9954 1.0)
(s9955 1.0)
(s9956 0.0)
(s9957 0.0)
(s9958 0.0)
(s9959 0.0)
(s9960 0.0)
(s9961 0.0)
(s9962 0.0)
(s9963 0.0)
(s9964 0.0)
(s9965 0.0)
(s9966 0.0)
(s9967 0.0)
(s9968 0.0)
(s9969 0.0)
(s9970 0.0)
(s9971 1.0)
(s9972 0.0)
(s9973 0.0)
(s9974 0.0)
(s9975 0.0)
(s9976 1.0)
(s9977 0.0)
(s9978 0.0)
(s9979 0.0)
(s9980 0.0)
(s9981 0.0)
(s9982 0.0)
(s9983 0.0)
(s9984 0.0)
(s9985 0.0)
(s9986 0.0)
(s9987 0.0)
(s9988 0.0)
(s9989 0.0)
(s9990 0.0)
(s9991 1.0)
(s9992 0.0)
(s9993 0.0)
(s9994 0.0)
(s9995 0.0)
(s9996 0.0)
(s9997 0.0)
(s9998 0.0)
(s9999 0.0)
(s10000 0.0)
(s10001 0.0)
(s10002 0.0)
(s10003 1.0)
(s10004 0.0)
(s10005 0.0)
(s10006 1.0)
(s10007 0.0)
(s10008 0.0)
(s10009 0.0)
(s10010 0.0)
(s10011 0.0)
(s10012 0.0)
(s10013 0.0)
(s10014 0.0)
(s10015 1.0)
(s10016 0.0)
(s10017 0.0)
(s10018 0.0)
(s10019 0.0)
(s10020 0.0)
(s10021 0.0)
(s10022 0.0)
(s10023 0.0)
(s10024 0.0)
(s10025 1.0)
(s10026 0.0)
(s10027 0.0)
(s10028 0.0)
(s10029 0.0)
(s10030 0.0)
(s10031 0.0)
(s10032 0.0)
(s10033 0.0)
(s10034 0.0)
(s10035 1.0)
(s10036 0.0)
(s10037 0.0)
(s10038 0.0)
(s10039 0.0)
(s10040 0.0)
(s10041 0.0)
(s10042 0.0)
(s10043 0.0)
(s10044 0.0)
(s10045 0.0)
(s10046 0.0)
(s10047 0.0)
(s10048 0.0)
(s10049 0.0)
(s10050 1.0)
(s10051 0.0)
(s10052 0.0)
(s10053 0.0)
(s10054 0.0)
(s10055 0.0)
(s10056 0.0)
(s10057 0.0)
(s10058 0.0)
(s10059 0.0)
(s10060 0.0)
(s10061 1.0)
(s10062 0.0)
(s10063 0.0)
(s10064 0.0)
(s10065 0.0)
(s10066 0.0)
(s10067 0.0)
(s10068 0.0)
(s10069 1.0)
(s10070 0.0)
(s10071 0.0)
(s10072 0.0)
(s10073 0.0)
(s10074 0.0)
(s10075 0.0)
(s10076 0.0)
(s10077 0.0)
(s10078 0.0)
(s10079 0.0)
(s10080 0.0)
(s10081 0.0)
(s10082 0.0)
(s10083 0.0)
(s10084 1.0)
(s10085 1.0)
(s10086 0.0)
(s10087 0.0)
(s10088 0.0)
(s10089 0.0)
(s10090 0.0)
(s10091 0.0)
(s10092 0.0)
(s10093 0.0)
(s10094 0.0)
(s10095 0.0)
(s10096 1.0)
(s10097 0.0)
(s10098 0.0)
(s10099 0.0)
(s10100 0.0)
(s10101 0.0)
(s10102 0.0)
(s10103 0.0)
(s10104 0.0)
(s10105 1.0)
(s10106 0.0)
(s10107 0.0)
(s10108 0.0)
(s10109 0.0)
(s10110 0.0)
(s10111 0.0)
(s10112 0.0)
(s10113 0.0)
(s10114 0.0)
(s10115 0.0)
(s10116 0.0)
(s10117 0.0)
(s10118 0.0)
(s10119 0.0)
(s10120 1.0)
(s10121 0.0)
(s10122 0.0)
(s10123 0.0)
(s10124 0.0)
(s10125 0.0)
(s10126 1.0)
(s10127 0.0)
(s10128 0.0)
(s10129 0.0)
(s10130 0.0)
(s10131 0.0)
(s10132 0.0)
(s10133 0.0)
(s10134 0.0)
(s10135 0.0)
(s10136 0.0)
(s10137 0.0)
(s10138 0.0)
(s10139 0.0)
(s10140 0.0)
(s10141 0.0)
(s10142 1.0)
(s10143 0.0)
(s10144 0.0)
(s10145 0.0)
(s10146 0.0)
(s10147 0.0)
(s10148 0.0)
(s10149 0.0)
(s10150 0.0)
(s10151 0.0)
(s10152 0.0)
(s10153 0.0)
(s10154 1.0)
(s10155 0.0)
(s10156 0.0)
(s10157 1.0)
(s10158 0.0)
(s10159 0.0)
(s10160 0.0)
(s10161 0.0)
(s10162 0.0)
(s10163 0.0)
(s10164 0.0)
(s10165 0.0)
(s10166 0.0)
(s10167 1.0)
(s10168 0.0)
(s10169 0.0)
(s10170 0.0)
(s10171 0.0)
(s10172 0.0)
(s10173 0.0)
(s10174 0.0)
(s10175 0.0)
(s10176 0.0)
(s10177 0.0)
(s10178 0.0)
(s10179 0.0)
(s10180 0.0)
(s10181 1.0)
(s10182 0.0)
(s10183 0.0)
(s10184 0.0)
(s10185 1.0)
(s10186 0.0)
(s10187 0.0)
(s10188 0.0)
(s10189 0.0)
(s10190 0.0)
(s10191 0.0)
(s10192 0.0)
(s10193 0.0)
(s10194 0.0)
(s10195 0.0)
(s10196 0.0)
(s10197 0.0)
(s10198 0.0)
(s10199 (/ 3.0 4.0))
(s10200 0.0)
(s10201 (/ 1.0 4.0))
(s10202 0.0)
(s10203 0.0)
(s10204 0.0)
(s10205 0.0)
(s10206 0.0)
(s10207 0.0)
(s10208 0.0)
(s10209 1.0)
(s10210 0.0)
(s10211 0.0)
(s10212 0.0)
(s10213 0.0)
(s10214 0.0)
(s10215 0.0)
(s10216 0.0)
(s10217 0.0)
(s10218 0.0)
(s10219 0.0)
(s10220 0.0)
(s10221 0.0)
(s10222 0.0)
(s10223 0.0)
(s10224 1.0)
(s10225 0.0)
(s10226 0.0)
(s10227 0.0)
(s10228 0.0)
(s10229 0.0)
(s10230 0.0)
(s10231 0.0)
(s10232 0.0)
(s10233 0.0)
(s10234 1.0)
(s10235 0.0)
(s10236 0.0)
(s10237 0.0)
(s10238 0.0)
(s10239 0.0)
(s10240 0.0)
(s10241 0.0)
(s10242 0.0)
(s10243 1.0)
(s10244 0.0)
(s10245 1.0)
(s10246 0.0)
(s10247 0.0)
(s10248 0.0)
(s10249 0.0)
(s10250 0.0)
(s10251 0.0)
(s10252 0.0)
(s10253 0.0)
(s10254 0.0)
(s10255 1.0)
(s10256 0.0)
(s10257 0.0)
(s10258 0.0)
(s10259 0.0)
(s10260 0.0)
(s10261 0.0)
(s10262 0.0)
(s10263 0.0)
(s10264 0.0)
(s10265 0.0)
(s10266 0.0)
(s10267 0.0)
(s10268 0.0)
(s10269 1.0)
(s10270 0.0)
(s10271 0.0)
(s10272 0.0)
(s10273 0.0)
(s10274 0.0)
(s10275 0.0)
(s10276 1.0)
(s10277 0.0)
(s10278 0.0)
(s10279 0.0)
(s10280 0.0)
(s10281 0.0)
(s10282 0.0)
(s10283 0.0)
(s10284 0.0)
(s10285 1.0)
(s10286 0.0)
(s10287 0.0)
(s10288 0.0)
(s10289 0.0)
(s10290 0.0)
(s10291 0.0)
(s10292 0.0)
(s10293 0.0)
(s10294 0.0)
(s10295 0.0)
(s10296 0.0)
(s10297 0.0)
(s10298 1.0)
(s10299 0.0)
(s10300 0.0)
(s10301 0.0)
(s10302 0.0)
(s10303 0.0)
(s10304 0.0)
(s10305 0.0)
(s10306 0.0)
(s10307 0.0)
(s10308 1.0)
(s10309 0.0)
(s10310 0.0)
(s10311 0.0)
(s10312 0.0)
(s10313 0.0)
(s10314 0.0)
(s10315 0.0)
(s10316 0.0)
(s10317 0.0)
(s10318 0.0)
(s10319 0.0)
(s10320 0.0)
(s10321 0.0)
(s10322 0.0)
(s10323 1.0)
(s10324 0.0)
(s10325 1.0)
(s10326 0.0)
(s10327 0.0)
(s10328 0.0)
(s10329 0.0)
(s10330 0.0)
(s10331 0.0)
(s10332 0.0)
(s10333 0.0)
(s10334 0.0)
(s10335 0.0)
(s10336 0.0)
(s10337 0.0)
(s10338 0.0)
(s10339 0.0)
(s10340 0.0)
(s10341 1.0)
(s10342 0.0)
(s10343 0.0)
(s10344 0.0)
(s10345 0.0)
(s10346 0.0)
(s10347 0.0)
(s10348 1.0)
(s10349 0.0)
(s10350 0.0)
(s10351 0.0)
(s10352 0.0)
(s10353 0.0)
(s10354 0.0)
(s10355 0.0)
(s10356 0.0)
(s10357 1.0)
(s10358 0.0)
(s10359 0.0)
(s10360 0.0)
(s10361 0.0)
(s10362 0.0)
(s10363 0.0)
(s10364 0.0)
(s10365 0.0)
(s10366 0.0)
(s10367 0.0)
(s10368 0.0)
(s10369 0.0)
(s10370 0.0)
(s10371 0.0)
(s10372 1.0)
(s10373 0.0)
(s10374 0.0)
(s10375 0.0)
(s10376 0.0)
(s10377 0.0)
(s10378 0.0)
(s10379 0.0)
(s10380 0.0)
(s10381 0.0)
(s10382 0.0)
(s10383 1.0)
(s10384 0.0)
(s10385 0.0)
(s10386 0.0)
(s10387 0.0)
(s10388 1.0)
(s10389 0.0)
(s10390 0.0)
(s10391 0.0)
(s10392 0.0)
(s10393 0.0)
(s10394 0.0)
(s10395 0.0)
(s10396 0.0)
(s10397 0.0)
(s10398 0.0)
(s10399 0.0)
(s10400 0.0)
(s10401 0.0)
(s10402 0.0)
(s10403 1.0)
(s10404 0.0)
(s10405 0.0)
(s10406 0.0)
(s10407 1.0)
(s10408 0.0)
(s10409 0.0)
(s10410 0.0)
(s10411 0.0)
(s10412 0.0)
(s10413 0.0)
(s10414 0.0)
(s10415 1.0)
(s10416 0.0)
(s10417 0.0)
(s10418 0.0)
(s10419 0.0)
(s10420 0.0)
(s10421 0.0)
(s10422 0.0)
(s10423 0.0)
(s10424 0.0)
(s10425 0.0)
(s10426 0.0)
(s10427 0.0)
(s10428 0.0)
(s10429 (/ 1.0 4.0))
(s10430 0.0)
(s10431 (/ 3.0 4.0))
(s10432 0.0)
(s10433 0.0)
(s10434 0.0)
(s10435 0.0)
(s10436 0.0)
(s10437 0.0)
(s10438 0.0)
(s10439 0.0)
(s10440 0.0)
(s10441 0.0)
(s10442 0.0)
(s10443 1.0)
(s10444 0.0)
(s10445 0.0)
(s10446 0.0)
(s10447 0.0)
(s10448 0.0)
(s10449 0.0)
(s10450 1.0)
(s10451 0.0)
(s10452 0.0)
(s10453 0.0)
(s10454 0.0)
(s10455 1.0)
(s10456 0.0)
(s10457 0.0)
(s10458 0.0)
(s10459 0.0)
(s10460 0.0)
(s10461 0.0)
(s10462 0.0)
(s10463 0.0)
(s10464 0.0)
(s10465 0.0)
(s10466 0.0)
(s10467 0.0)
(s10468 0.0)
(s10469 0.0)
(s10470 0.0)
(s10471 0.0)
(s10472 0.0)
(s10473 0.0)
(s10474 1.0)
(s10475 0.0)
(s10476 0.0)
(s10477 0.0)
(s10478 0.0)
(s10479 0.0)
(s10480 0.0)
(s10481 1.0)
(s10482 0.0)
(s10483 0.0)
(s10484 0.0)
(s10485 0.0)
(s10486 0.0)
(s10487 0.0)
(s10488 (/ 3.0 4.0))
(s10489 0.0)
(s10490 (/ 1.0 4.0))
(s10491 0.0)
(s10492 0.0)
(s10493 0.0)
(s10494 0.0)
(s10495 0.0)
(s10496 0.0)
(s10497 0.0)
(s10498 0.0)
(s10499 0.0)
(s10500 1.0)
(s10501 0.0)
(s10502 0.0)
(s10503 0.0)
(s10504 0.0)
(s10505 0.0)
(s10506 0.0)
(s10507 0.0)
(s10508 0.0)
(s10509 1.0)
(s10510 0.0)
(s10511 0.0)
(s10512 0.0)
(s10513 0.0)
(s10514 0.0)
(s10515 0.0)
(s10516 0.0)
(s10517 1.0)
(s10518 0.0)
(s10519 0.0)
(s10520 0.0)
(s10521 0.0)
(s10522 0.0)
(s10523 0.0)
(s10524 0.0)
(s10525 0.0)
(s10526 0.0)
(s10527 0.0)
(s10528 0.0)
(s10529 0.0)
(s10530 0.0)
(s10531 0.0)
(s10532 0.0)
(s10533 0.0)
(s10534 1.0)
(s10535 0.0)
(s10536 0.0)
(s10537 0.0)
(s10538 0.0)
(s10539 0.0)
(s10540 0.0)
(s10541 0.0)
(s10542 1.0)
(s10543 0.0)
(s10544 0.0)
(s10545 0.0)
(s10546 0.0)
(s10547 0.0)
(s10548 0.0)
(s10549 0.0)
(s10550 0.0)
(s10551 0.0)
(s10552 0.0)
(s10553 1.0)
(s10554 0.0)
(s10555 0.0)
(s10556 0.0)
(s10557 0.0)
(s10558 0.0)
(s10559 0.0)
(s10560 0.0)
(s10561 1.0)
(s10562 0.0)
(s10563 0.0)
(s10564 0.0)
(s10565 0.0)
(s10566 0.0)
(s10567 0.0)
(s10568 1.0)
(s10569 0.0)
(s10570 0.0)
(s10571 0.0)
(s10572 0.0)
(s10573 0.0)
(s10574 0.0)
(s10575 1.0)
(s10576 0.0)
(s10577 0.0)
(s10578 0.0)
(s10579 0.0)
(s10580 0.0)
(s10581 0.0)
(s10582 0.0)
(s10583 0.0)
(s10584 0.0)
(s10585 0.0)
(s10586 1.0)
(s10587 0.0)
(s10588 0.0)
(s10589 0.0)
(s10590 0.0)
(s10591 0.0)
(s10592 0.0)
(s10593 0.0)
(s10594 0.0)
(s10595 1.0)
(s10596 0.0)
(s10597 0.0)
(s10598 0.0)
(s10599 0.0)
(s10600 0.0)
(s10601 0.0)
(s10602 0.0)
(s10603 0.0)
(s10604 0.0)
(s10605 0.0)
(s10606 0.0)
(s10607 1.0)
(s10608 0.0)
(s10609 0.0)
(s10610 0.0)
(s10611 0.0)
(s10612 0.0)
(s10613 0.0)
(s10614 0.0)
(s10615 0.0)
(s10616 0.0)
(s10617 0.0)
(s10618 0.0)
(s10619 0.0)
(s10620 0.0)
(s10621 1.0)
(s10622 0.0)
(s10623 0.0)
(s10624 0.0)
(s10625 0.0)
(s10626 0.0)
(s10627 0.0)
(s10628 0.0)
(s10629 0.0)
(s10630 0.0)
(s10631 0.0)
(s10632 1.0)
(s10633 0.0)
(s10634 0.0)
(s10635 0.0)
(s10636 0.0)
(s10637 0.0)
(s10638 0.0)
(s10639 1.0)
(s10640 0.0)
(s10641 0.0)
(s10642 0.0)
(s10643 0.0)
(s10644 0.0)
(s10645 0.0)
(s10646 0.0)
(s10647 0.0)
(s10648 0.0)
(s10649 0.0)
(s10650 (/ 1.0 4.0))
(s10651 (/ 3.0 4.0))
(s10652 0.0)
(s10653 0.0)
(s10654 0.0)
(s10655 0.0)
(s10656 0.0)
(s10657 0.0)
(s10658 1.0)
(s10659 0.0)
(s10660 0.0)
(s10661 0.0)
(s10662 0.0)
(s10663 0.0)
(s10664 0.0)
(s10665 0.0)
(s10666 0.0)
(s10667 0.0)
(s10668 0.0)
(s10669 0.0)
(s10670 0.0)
(s10671 0.0)
(s10672 1.0)
(s10673 0.0)
(s10674 0.0)
(s10675 0.0)
(s10676 0.0)
(s10677 0.0)
(s10678 0.0)
(s10679 0.0)
(s10680 0.0)
(s10681 1.0)
(s10682 0.0)
(s10683 0.0)
(s10684 0.0)
(s10685 0.0)
(s10686 0.0)
(s10687 0.0)
(s10688 1.0)
(s10689 0.0)
(s10690 0.0)
(s10691 0.0)
(s10692 0.0)
(s10693 0.0)
(s10694 0.0)
(s10695 0.0)
(s10696 0.0)
(s10697 0.0)
(s10698 0.0)
(s10699 0.0)
(s10700 0.0)
(s10701 0.0)
(s10702 0.0)
(s10703 0.0)
(s10704 1.0)
(s10705 0.0)
(s10706 0.0)
(s10707 0.0)
(s10708 1.0)
(s10709 0.0)
(s10710 0.0)
(s10711 0.0)
(s10712 0.0)
(s10713 0.0)
(s10714 0.0)
(s10715 0.0)
(s10716 0.0)
(s10717 0.0)
(s10718 0.0)
(s10719 0.0)
(s10720 0.0)
(s10721 1.0)
(s10722 0.0)
(s10723 0.0)
(s10724 0.0)
(s10725 0.0)
(s10726 0.0)
(s10727 0.0)
(s10728 0.0)
(s10729 0.0)
(s10730 (/ 1.0 4.0))
(s10731 (/ 3.0 4.0))
(s10732 0.0)
(s10733 0.0)
(s10734 0.0)
(s10735 0.0)
(s10736 0.0)
(s10737 0.0)
(s10738 1.0)
(s10739 0.0)
(s10740 0.0)
(s10741 0.0)
(s10742 0.0)
(s10743 0.0)
(s10744 0.0)
(s10745 1.0)
(s10746 0.0)
(s10747 0.0)
(s10748 0.0)
(s10749 0.0)
(s10750 0.0)
(s10751 0.0)
(s10752 0.0)
(s10753 0.0)
(s10754 0.0)
(s10755 0.0)
(s10756 0.0)
(s10757 0.0)
(s10758 0.0)
(s10759 (/ 1.0 4.0))
(s10760 0.0)
(s10761 (/ 3.0 4.0))
(s10762 0.0)
(s10763 0.0)
(s10764 0.0)
(s10765 0.0)
(s10766 0.0)
(s10767 0.0)
(s10768 1.0)
(s10769 0.0)
(s10770 0.0)
(s10771 0.0)
(s10772 0.0)
(s10773 0.0)
(s10774 0.0)
(s10775 1.0)
(s10776 0.0)
(s10777 0.0)
(s10778 0.0)
(s10779 0.0)
(s10780 0.0)
(s10781 0.0)
(s10782 0.0)
(s10783 0.0)
(s10784 0.0)
(s10785 1.0)
(s10786 0.0)
(s10787 0.0)
(s10788 0.0)
(s10789 0.0)
(s10790 0.0)
(s10791 0.0)
(s10792 0.0)
(s10793 0.0)
(s10794 0.0)
(s10795 1.0)
(s10796 0.0)
(s10797 0.0)
(s10798 0.0)
(s10799 0.0)
(s10800 0.0)
(s10801 0.0)
(s10802 0.0)
(s10803 0.0)
(s10804 0.0)
(s10805 1.0)
(s10806 0.0)
(s10807 0.0)
(s10808 0.0)
(s10809 0.0)
(s10810 0.0)
(s10811 0.0)
(s10812 0.0)
(s10813 0.0)
(s10814 0.0)
(s10815 0.0)
(s10816 0.0)
(s10817 1.0)
(s10818 0.0)
(s10819 0.0)
(s10820 0.0)
(s10821 0.0)
(s10822 0.0)
(s10823 0.0)
(s10824 0.0)
(s10825 0.0)
(s10826 0.0)
(s10827 0.0)
(s10828 0.0)
(s10829 0.0)
(s10830 0.0)
(s10831 0.0)
(s10832 0.0)
(s10833 1.0)
(s10834 0.0)
(s10835 0.0)
(s10836 0.0)
(s10837 0.0)
(s10838 0.0)
(s10839 0.0)
(s10840 0.0)
(s10841 0.0)
(s10842 1.0)
(s10843 0.0)
(s10844 0.0)
(s10845 1.0)
(s10846 0.0)
(s10847 0.0)
(s10848 0.0)
(s10849 0.0)
(s10850 0.0)
(s10851 0.0)
(s10852 0.0)
(s10853 0.0)
(s10854 0.0)
(s10855 0.0)
(s10856 0.0)
(s10857 0.0)
(s10858 0.0)
(s10859 0.0)
(s10860 1.0)
(s10861 0.0)
(s10862 0.0)
(s10863 0.0)
(s10864 0.0)
(s10865 0.0)
(s10866 0.0)
(s10867 1.0)
(s10868 0.0)
(s10869 0.0)
(s10870 0.0)
(s10871 0.0)
(s10872 0.0)
(s10873 0.0)
(s10874 0.0)
(s10875 0.0)
(s10876 1.0)
(s10877 0.0)
(s10878 0.0)
(s10879 0.0)
(s10880 0.0)
(s10881 0.0)
(s10882 0.0)
(s10883 0.0)
(s10884 0.0)
(s10885 0.0)
(s10886 0.0)
(s10887 0.0)
(s10888 0.0)
(s10889 0.0)
(s10890 0.0)
(s10891 1.0)
(s10892 0.0)
(s10893 0.0)
(s10894 0.0)
(s10895 0.0)
(s10896 0.0)
(s10897 1.0)
(s10898 0.0)
(s10899 0.0)
(s10900 0.0)
(s10901 0.0)
(s10902 0.0)
(s10903 0.0)
(s10904 0.0)
(s10905 1.0)
(s10906 0.0)
(s10907 0.0)
(s10908 0.0)
(s10909 0.0)
(s10910 0.0)
(s10911 0.0)
(s10912 0.0)
(s10913 0.0)
(s10914 0.0)
(s10915 1.0)
(s10916 0.0)
(s10917 0.0)
(s10918 0.0)
(s10919 0.0)
(s10920 0.0)
(s10921 0.0)
(s10922 0.0)
(s10923 0.0)
(s10924 0.0)
(s10925 1.0)
(s10926 0.0)
(s10927 0.0)
(s10928 0.0)
(s10929 0.0)
(s10930 0.0)
(s10931 0.0)
(s10932 0.0)
(s10933 0.0)
(s10934 0.0)
(s10935 0.0)
(s10936 0.0)
(s10937 0.0)
(s10938 0.0)
(s10939 0.0)
(s10940 0.0)
(s10941 0.0)
(s10942 1.0)
(s10943 0.0)
(s10944 0.0)
(s10945 0.0)
(s10946 0.0)
(s10947 1.0)
(s10948 0.0)
(s10949 0.0)
(s10950 0.0)
(s10951 0.0)
(s10952 0.0)
(s10953 0.0)
(s10954 0.0)
(s10955 1.0)
(s10956 0.0)
(s10957 0.0)
(s10958 0.0)
(s10959 0.0)
(s10960 0.0)
(s10961 0.0)
(s10962 0.0)
(s10963 0.0)
(s10964 0.0)
(s10965 1.0)
(s10966 0.0)
(s10967 0.0)
(s10968 0.0)
(s10969 0.0)
(s10970 0.0)
(s10971 0.0)
(s10972 0.0)
(s10973 0.0)
(s10974 0.0)
(s10975 0.0)
(s10976 0.0)
(s10977 0.0)
(s10978 0.0)
(s10979 0.0)
(s10980 0.0)
(s10981 1.0)
(s10982 0.0)
(s10983 0.0)
(s10984 0.0)
(s10985 1.0)
(s10986 0.0)
(s10987 0.0)
(s10988 0.0)
(s10989 0.0)
(s10990 0.0)
(s10991 0.0)
(s10992 0.0)
(s10993 0.0)
(s10994 0.0)
(s10995 0.0)
(s10996 0.0)
(s10997 0.0)
(s10998 0.0)
(s10999 0.0)
(s11000 0.0)
(s11001 1.0)
(s11002 0.0)
(s11003 0.0)
(s11004 0.0)
(s11005 0.0)
(s11006 0.0)
(s11007 0.0)
(s11008 0.0)
(s11009 0.0)
(s11010 0.0)
(s11011 0.0)
(s11012 1.0)
(s11013 0.0)
(s11014 0.0)
(s11015 0.0)
(s11016 1.0)
(s11017 0.0)
(s11018 0.0)
(s11019 0.0)
(s11020 0.0)
(s11021 0.0)
(s11022 0.0)
(s11023 0.0)
(s11024 0.0)
(s11025 0.0)
(s11026 1.0)
(s11027 0.0)
(s11028 0.0)
(s11029 0.0)
(s11030 0.0)
(s11031 0.0)
(s11032 0.0)
(s11033 0.0)
(s11034 0.0)
(s11035 0.0)
(s11036 0.0)
(s11037 1.0)
(s11038 0.0)
(s11039 0.0)
(s11040 0.0)
(s11041 0.0)
(s11042 0.0)
(s11043 0.0)
(s11044 0.0)
(s11045 0.0)
(s11046 0.0)
(s11047 0.0)
(s11048 0.0)
(s11049 0.0)
(s11050 0.0)
(s11051 1.0)
(s11052 0.0)
(s11053 0.0)
(s11054 0.0)
(s11055 0.0)
(s11056 0.0)
(s11057 0.0)
(s11058 0.0)
(s11059 0.0)
(s11060 1.0)
(s11061 0.0)
(s11062 0.0)
(s11063 0.0)
(s11064 0.0)
(s11065 1.0)
(s11066 0.0)
(s11067 0.0)
(s11068 0.0)
(s11069 0.0)
(s11070 0.0)
(s11071 0.0)
(s11072 0.0)
(s11073 0.0)
(s11074 0.0)
(s11075 1.0)
(s11076 0.0)
(s11077 0.0)
(s11078 0.0)
(s11079 0.0)
(s11080 0.0)
(s11081 0.0)
(s11082 0.0)
(s11083 0.0)
(s11084 0.0)
(s11085 0.0)
(s11086 0.0)
(s11087 0.0)
(s11088 0.0)
(s11089 1.0)
(s11090 0.0)
(s11091 0.0)
(s11092 0.0)
(s11093 0.0)
(s11094 0.0)
(s11095 0.0)
(s11096 0.0)
(s11097 0.0)
(s11098 0.0)
(s11099 (/ 3.0 4.0))
(s11100 0.0)
(s11101 0.0)
(s11102 (/ 1.0 4.0))
(s11103 0.0)
(s11104 0.0)
(s11105 1.0)
(s11106 0.0)
(s11107 0.0)
(s11108 0.0)
(s11109 0.0)
(s11110 0.0)
(s11111 0.0)
(s11112 0.0)
(s11113 0.0)
(s11114 0.0)
(s11115 0.0)
(s11116 0.0)
(s11117 0.0)
(s11118 0.0)
(s11119 0.0)
(s11120 0.0)
(s11121 0.0)
(s11122 0.0)
(s11123 0.0)
(s11124 1.0)
(s11125 0.0)
(s11126 0.0)
(s11127 0.0)
(s11128 1.0)
(s11129 0.0)
(s11130 0.0)
(s11131 0.0)
(s11132 0.0)
(s11133 0.0)
(s11134 0.0)
(s11135 0.0)
(s11136 0.0)
(s11137 1.0)
(s11138 0.0)
(s11139 0.0)
(s11140 0.0)
(s11141 0.0)
(s11142 0.0)
(s11143 0.0)
(s11144 0.0)
(s11145 0.0)
(s11146 0.0)
(s11147 0.0)
(s11148 0.0)
(s11149 0.0)
(s11150 1.0)
(s11151 0.0)
(s11152 0.0)
(s11153 0.0)
(s11154 0.0)
(s11155 1.0)
(s11156 0.0)
(s11157 0.0)
(s11158 0.0)
(s11159 0.0)
(s11160 0.0)
(s11161 0.0)
(s11162 0.0)
(s11163 0.0)
(s11164 0.0)
(s11165 0.0)
(s11166 0.0)
(s11167 0.0)
(s11168 0.0)
(s11169 0.0)
(s11170 0.0)
(s11171 0.0)
(s11172 0.0)
(s11173 0.0)
(s11174 1.0)
(s11175 0.0)
(s11176 0.0)
(s11177 0.0)
(s11178 0.0)
(s11179 0.0)
(s11180 0.0)
(s11181 0.0)
(s11182 1.0)
(s11183 0.0)
(s11184 0.0)
(s11185 1.0)
(s11186 0.0)
(s11187 0.0)
(s11188 0.0)
(s11189 0.0)
(s11190 0.0)
(s11191 0.0)
(s11192 0.0)
(s11193 0.0)
(s11194 0.0)
(s11195 0.0)
(s11196 0.0)
(s11197 0.0)
(s11198 0.0)
(s11199 1.0)
(s11200 0.0)
(s11201 0.0)
(s11202 0.0)
(s11203 0.0)
(s11204 0.0)
(s11205 1.0)
(s11206 0.0)
(s11207 0.0)
(s11208 0.0)
(s11209 0.0)
(s11210 0.0)
(s11211 0.0)
(s11212 0.0)
(s11213 0.0)
(s11214 0.0)
(s11215 0.0)
(s11216 0.0)
(s11217 0.0)
(s11218 0.0)
(s11219 0.0)
(s11220 0.0)
(s11221 0.0)
(s11222 0.0)
(s11223 0.0)
(s11224 1.0)
(s11225 0.0)
(s11226 0.0)
(s11227 0.0)
(s11228 0.0)
(s11229 0.0)
(s11230 0.0)
(s11231 0.0)
(s11232 0.0)
(s11233 1.0)
(s11234 0.0)
(s11235 0.0)
(s11236 0.0)
(s11237 1.0)
(s11238 0.0)
(s11239 0.0)
(s11240 0.0)
(s11241 0.0)
(s11242 0.0)
(s11243 0.0)
(s11244 0.0)
(s11245 1.0)
(s11246 0.0)
(s11247 0.0)
(s11248 0.0)
(s11249 0.0)
(s11250 0.0)
(s11251 0.0)
(s11252 0.0)
(s11253 0.0)
(s11254 0.0)
(s11255 0.0)
(s11256 1.0)
(s11257 0.0)
(s11258 0.0)
(s11259 0.0)
(s11260 0.0)
(s11261 0.0)
(s11262 0.0)
(s11263 0.0)
(s11264 0.0)
(s11265 0.0)
(s11266 0.0)
(s11267 0.0)
(s11268 1.0)
(s11269 0.0)
(s11270 0.0)
(s11271 0.0)
(s11272 0.0)
(s11273 0.0)
(s11274 0.0)
(s11275 0.0)
(s11276 0.0)
(s11277 0.0)
(s11278 0.0)
(s11279 0.0)
(s11280 1.0)
(s11281 0.0)
(s11282 0.0)
(s11283 0.0)
(s11284 0.0)
(s11285 0.0)
(s11286 0.0)
(s11287 0.0)
(s11288 0.0)
(s11289 0.0)
(s11290 0.0)
(s11291 0.0)
(s11292 0.0)
(s11293 0.0)
(s11294 1.0)
(s11295 0.0)
(s11296 0.0)
(s11297 0.0)
(s11298 0.0)
(s11299 0.0)
(s11300 0.0)
(s11301 0.0)
(s11302 1.0)
(s11303 0.0)
(s11304 0.0)
(s11305 0.0)
(s11306 0.0)
(s11307 1.0)
(s11308 0.0)
(s11309 0.0)
(s11310 0.0)
(s11311 0.0)
(s11312 0.0)
(s11313 0.0)
(s11314 0.0)
(s11315 0.0)
(s11316 0.0)
(s11317 0.0)
(s11318 0.0)
(s11319 0.0)
(s11320 0.0)
(s11321 0.0)
(s11322 0.0)
(s11323 1.0)
(s11324 0.0)
(s11325 0.0)
(s11326 0.0)
(s11327 1.0)
(s11328 0.0)
(s11329 0.0)
(s11330 0.0)
(s11331 0.0)
(s11332 0.0)
(s11333 0.0)
(s11334 0.0)
(s11335 0.0)
(s11336 0.0)
(s11337 0.0)
(s11338 0.0)
(s11339 0.0)
(s11340 0.0)
(s11341 0.0)
(s11342 0.0)
(s11343 1.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)
(s11352 1.0)
(s11353 0.0)
(s11354 0.0)
(s11355 0.0)
(s11356 0.0)
(s11357 0.0)
(s11358 0.0)
(s11359 0.0)
(s11360 0.0)
(s11361 0.0)
(s11362 0.0)
(s11363 1.0)
(s11364 0.0)
(s11365 0.0)
(s11366 0.0)
(s11367 0.0)
(s11368 0.0)
(s11369 0.0)
(s11370 0.0)
(s11371 0.0)
(s11372 0.0)
(s11373 0.0)
(s11374 1.0)
(s11375 0.0)
(s11376 0.0)
(s11377 0.0)
(s11378 0.0)
(s11379 0.0)
(s11380 0.0)
(s11381 0.0)
(s11382 0.0)
(s11383 1.0)
(s11384 0.0)
(s11385 0.0)
(s11386 0.0)
(s11387 0.0)
(s11388 0.0)
(s11389 0.0)
(s11390 0.0)
(s11391 0.0)
(s11392 0.0)
(s11393 1.0)
(s11394 0.0)
(s11395 0.0)
(s11396 1.0)
(s11397 0.0)
(s11398 0.0)
(s11399 0.0)
(s11400 0.0)
(s11401 0.0)
(s11402 0.0)
(s11403 0.0)
(s11404 0.0)
(s11405 0.0)
(s11406 0.0)
(s11407 0.0)
(s11408 0.0)
(s11409 0.0)
(s11410 1.0)
(s11411 0.0)
(s11412 0.0)
(s11413 0.0)
(s11414 0.0)
(s11415 0.0)
(s11416 0.0)
(s11417 0.0)
(s11418 0.0)
(s11419 0.0)
(s11420 0.0)
(s11421 0.0)
(s11422 0.0)
(s11423 1.0)
(s11424 0.0)
(s11425 0.0)
(s11426 0.0)
(s11427 0.0)
(s11428 0.0)
(s11429 0.0)
(s11430 0.0)
(s11431 0.0)
(s11432 0.0)
(s11433 0.0)
(s11434 1.0)
(s11435 0.0)
(s11436 0.0)
(s11437 0.0)
(s11438 0.0)
(s11439 0.0)
(s11440 0.0)
(s11441 0.0)
(s11442 0.0)
(s11443 0.0)
(s11444 1.0)
(s11445 0.0)
(s11446 0.0)
(s11447 0.0)
(s11448 0.0)
(s11449 0.0)
(s11450 0.0)
(s11451 0.0)
(s11452 (/ 1.0 4.0))
(s11453 (/ 3.0 4.0))
(s11454 0.0)
(s11455 1.0)
(s11456 0.0)
(s11457 0.0)
(s11458 0.0)
(s11459 0.0)
(s11460 0.0)
(s11461 0.0)
(s11462 0.0)
(s11463 0.0)
(s11464 0.0)
(s11465 0.0)
(s11466 0.0)
(s11467 0.0)
(s11468 0.0)
(s11469 0.0)
(s11470 0.0)
(s11471 0.0)
(s11472 1.0)
(s11473 0.0)
(s11474 0.0)
(s11475 0.0)
(s11476 0.0)
(s11477 1.0)
(s11478 0.0)
(s11479 0.0)
(s11480 0.0)
(s11481 0.0)
(s11482 0.0)
(s11483 0.0)
(s11484 0.0)
(s11485 0.0)
(s11486 (/ 1.0 4.0))
(s11487 0.0)
(s11488 0.0)
(s11489 0.0)
(s11490 (/ 3.0 4.0))
(s11491 0.0)
(s11492 0.0)
(s11493 0.0)
(s11494 0.0)
(s11495 0.0)
(s11496 0.0)
(s11497 0.0)
(s11498 0.0)
(s11499 0.0)
(s11500 0.0)
(s11501 0.0)
(s11502 0.0)
(s11503 1.0)
(s11504 0.0)
(s11505 0.0)
(s11506 0.0)
(s11507 0.0)
(s11508 0.0)
(s11509 0.0)
(s11510 0.0)
(s11511 0.0)
(s11512 0.0)
(s11513 0.0)
(s11514 1.0)
(s11515 0.0)
(s11516 0.0)
(s11517 0.0)
(s11518 0.0)
(s11519 0.0)
(s11520 0.0)
(s11521 0.0)
(s11522 (/ 3.0 4.0))
(s11523 0.0)
(s11524 (/ 1.0 4.0))
(s11525 0.0)
(s11526 0.0)
(s11527 0.0)
(s11528 0.0)
(s11529 0.0)
(s11530 1.0)
(s11531 0.0)
(s11532 0.0)
(s11533 0.0)
(s11534 0.0)
(s11535 0.0)
(s11536 0.0)
(s11537 0.0)
(s11538 0.0)
(s11539 0.0)
(s11540 0.0)
(s11541 1.0)
(s11542 0.0)
(s11543 0.0)
(s11544 0.0)
(s11545 0.0)
(s11546 0.0)
(s11547 0.0)
(s11548 0.0)
(s11549 0.0)
(s11550 0.0)
(s11551 0.0)
(s11552 1.0)
(s11553 0.0)
(s11554 0.0)
(s11555 0.0)
(s11556 0.0)
(s11557 0.0)
(s11558 0.0)
(s11559 0.0)
(s11560 0.0)
(s11561 0.0)
(s11562 0.0)
(s11563 0.0)
(s11564 1.0)
(s11565 0.0)
(s11566 0.0)
(s11567 0.0)
(s11568 0.0)
(s11569 0.0)
(s11570 0.0)
(s11571 1.0)
(s11572 0.0)
(s11573 0.0)
(s11574 0.0)
(s11575 0.0)
(s11576 0.0)
(s11577 0.0)
(s11578 0.0)
(s11579 0.0)
(s11580 0.0)
(s11581 1.0)
(s11582 0.0)
(s11583 0.0)
(s11584 0.0)
(s11585 0.0)
(s11586 0.0)
(s11587 0.0)
(s11588 0.0)
(s11589 0.0)
(s11590 0.0)
(s11591 0.0)
(s11592 0.0)
(s11593 1.0)
(s11594 0.0)
(s11595 0.0)
(s11596 0.0)
(s11597 1.0)
(s11598 0.0)
(s11599 0.0)
(s11600 0.0)
(s11601 0.0)
(s11602 0.0)
(s11603 0.0)
(s11604 0.0)
(s11605 1.0)
(s11606 0.0)
(s11607 0.0)
(s11608 0.0)
(s11609 0.0)
(s11610 0.0)
(s11611 0.0)
(s11612 0.0)
(s11613 0.0)
(s11614 0.0)
(s11615 1.0)
(s11616 0.0)
(s11617 0.0)
(s11618 0.0)
(s11619 0.0)
(s11620 0.0)
(s11621 0.0)
(s11622 0.0)
(s11623 0.0)
(s11624 0.0)
(s11625 1.0)
(s11626 0.0)
(s11627 0.0)
(s11628 0.0)
(s11629 0.0)
(s11630 0.0)
(s11631 0.0)
(s11632 0.0)
(s11633 0.0)
(s11634 0.0)
(s11635 0.0)
(s11636 0.0)
(s11637 1.0)
(s11638 0.0)
(s11639 0.0)
(s11640 0.0)
(s11641 0.0)
(s11642 0.0)
(s11643 0.0)
(s11644 0.0)
(s11645 0.0)
(s11646 0.0)
(s11647 0.0)
(s11648 1.0)
(s11649 0.0)
(s11650 0.0)
(s11651 0.0)
(s11652 0.0)
(s11653 0.0)
(s11654 0.0)
(s11655 (/ 3.0 4.0))
(s11656 0.0)
(s11657 0.0)
(s11658 0.0)
(s11659 0.0)
(s11660 0.0)
(s11661 0.0)
(s11662 0.0)
(s11663 0.0)
(s11664 (/ 1.0 4.0))
(s11665 1.0)
(s11666 0.0)
(s11667 0.0)
(s11668 0.0)
(s11669 0.0)
(s11670 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)
(s11680 0.0)
(s11681 1.0)
(s11682 0.0)
(s11683 0.0)
(s11684 0.0)
(s11685 1.0)
(s11686 0.0)
(s11687 0.0)
(s11688 0.0)
(s11689 0.0)
(s11690 0.0)
(s11691 0.0)
(s11692 0.0)
(s11693 0.0)
(s11694 0.0)
(s11695 0.0)
(s11696 0.0)
(s11697 0.0)
(s11698 0.0)
(s11699 0.0timeout
) org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 10626/36356 variables, and 11185 constraints, problems are : Problem set: 0 solved, 10 unsolved in 5174 ms.
Refiners :[Domain max(s): 10626/15015 constraints, Positive P Invariants (semi-flows): 559/691 constraints, State Equation: 0/15015 constraints, PredecessorRefiner: 10/8 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 10 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/157 variables, 157/157 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/157 variables, 0/157 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 2 (OVERLAPS) 10469/10626 variables, 559/716 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/10626 variables, 10469/11185 constraints. Problems are: Problem set: 0 solved, 10 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 10626/36356 variables, and 11185 constraints, problems are : Problem set: 0 solved, 10 unsolved in 5023 ms.
Refiners :[Domain max(s): 10626/15015 constraints, Positive P Invariants (semi-flows): 559/691 constraints, State Equation: 0/15015 constraints, PredecessorRefiner: 2/8 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10773ms problems are : Problem set: 0 solved, 10 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 157 out of 15015 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 15015/15015 places, 21341/21341 transitions.
Graph (trivial) has 13892 edges and 15015 vertex of which 1235 / 15015 are part of one of the 85 SCC in 41 ms
Free SCC test removed 1150 places
Drop transitions (Empty/Sink Transition effects.) removed 1303 transitions
Reduce isomorphic transitions removed 1303 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 7204 transitions
Trivial Post-agglo rules discarded 7204 transitions
Performed 7204 trivial Post agglomeration. Transition count delta: 7204
Iterating post reduction 0 with 7204 rules applied. Total rules applied 7205 place count 13865 transition count 12834
Reduce places removed 7204 places and 0 transitions.
Ensure Unique test removed 224 transitions
Reduce isomorphic transitions removed 224 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 217 transitions
Trivial Post-agglo rules discarded 217 transitions
Performed 217 trivial Post agglomeration. Transition count delta: 217
Iterating post reduction 1 with 7645 rules applied. Total rules applied 14850 place count 6661 transition count 12393
Reduce places removed 217 places and 0 transitions.
Ensure Unique test removed 66 transitions
Reduce isomorphic transitions removed 66 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 65 transitions
Trivial Post-agglo rules discarded 65 transitions
Performed 65 trivial Post agglomeration. Transition count delta: 65
Iterating post reduction 2 with 348 rules applied. Total rules applied 15198 place count 6444 transition count 12262
Reduce places removed 65 places and 0 transitions.
Performed 80 Post agglomeration using F-continuation condition.Transition count delta: 80
Iterating post reduction 3 with 145 rules applied. Total rules applied 15343 place count 6379 transition count 12182
Reduce places removed 80 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 4 with 82 rules applied. Total rules applied 15425 place count 6299 transition count 12180
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 15426 place count 6298 transition count 12180
Performed 129 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 129 Pre rules applied. Total rules applied 15426 place count 6298 transition count 12051
Deduced a syphon composed of 129 places in 182 ms
Reduce places removed 129 places and 0 transitions.
Iterating global reduction 6 with 258 rules applied. Total rules applied 15684 place count 6169 transition count 12051
Discarding 1630 places :
Symmetric choice reduction at 6 with 1630 rule applications. Total rules 17314 place count 4539 transition count 10421
Iterating global reduction 6 with 1630 rules applied. Total rules applied 18944 place count 4539 transition count 10421
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 6 with 8 rules applied. Total rules applied 18952 place count 4539 transition count 10413
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 7 with 6 rules applied. Total rules applied 18958 place count 4535 transition count 10411
Performed 613 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 613 Pre rules applied. Total rules applied 18958 place count 4535 transition count 9798
Deduced a syphon composed of 613 places in 156 ms
Reduce places removed 613 places and 0 transitions.
Iterating global reduction 8 with 1226 rules applied. Total rules applied 20184 place count 3922 transition count 9798
Discarding 133 places :
Symmetric choice reduction at 8 with 133 rule applications. Total rules 20317 place count 3789 transition count 8082
Iterating global reduction 8 with 133 rules applied. Total rules applied 20450 place count 3789 transition count 8082
Ensure Unique test removed 120 transitions
Reduce isomorphic transitions removed 120 transitions.
Iterating post reduction 8 with 120 rules applied. Total rules applied 20570 place count 3789 transition count 7962
Performed 946 Post agglomeration using F-continuation condition with reduction of 2 identical transitions.
Deduced a syphon composed of 946 places in 4 ms
Reduce places removed 946 places and 0 transitions.
Iterating global reduction 9 with 1892 rules applied. Total rules applied 22462 place count 2843 transition count 7014
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 9 with 6 rules applied. Total rules applied 22468 place count 2843 transition count 7008
Renaming transitions due to excessive name length > 1024 char.
Discarding 3 places :
Symmetric choice reduction at 10 with 3 rule applications. Total rules 22471 place count 2840 transition count 6774
Iterating global reduction 10 with 3 rules applied. Total rules applied 22474 place count 2840 transition count 6774
Performed 101 Post agglomeration using F-continuation condition with reduction of 88 identical transitions.
Deduced a syphon composed of 101 places in 3 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 22676 place count 2739 transition count 7125
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 10 with 2 rules applied. Total rules applied 22678 place count 2739 transition count 7123
Discarding 25 places :
Symmetric choice reduction at 11 with 25 rule applications. Total rules 22703 place count 2714 transition count 6923
Iterating global reduction 11 with 25 rules applied. Total rules applied 22728 place count 2714 transition count 6923
Ensure Unique test removed 84 transitions
Reduce isomorphic transitions removed 84 transitions.
Iterating post reduction 11 with 84 rules applied. Total rules applied 22812 place count 2714 transition count 6839
Performed 101 Post agglomeration using F-continuation condition with reduction of 108 identical transitions.
Deduced a syphon composed of 101 places in 3 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 12 with 202 rules applied. Total rules applied 23014 place count 2613 transition count 7184
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 12 with 3 rules applied. Total rules applied 23017 place count 2613 transition count 7181
Discarding 29 places :
Symmetric choice reduction at 13 with 29 rule applications. Total rules 23046 place count 2584 transition count 6949
Iterating global reduction 13 with 29 rules applied. Total rules applied 23075 place count 2584 transition count 6949
Ensure Unique test removed 104 transitions
Reduce isomorphic transitions removed 104 transitions.
Iterating post reduction 13 with 104 rules applied. Total rules applied 23179 place count 2584 transition count 6845
Performed 92 Post agglomeration using F-continuation condition with reduction of 40 identical transitions.
Deduced a syphon composed of 92 places in 2 ms
Reduce places removed 92 places and 0 transitions.
Iterating global reduction 14 with 184 rules applied. Total rules applied 23363 place count 2492 transition count 7450
Drop transitions (Empty/Sink Transition effects.) removed 93 transitions
Reduce isomorphic transitions removed 93 transitions.
Iterating post reduction 14 with 93 rules applied. Total rules applied 23456 place count 2492 transition count 7357
Discarding 12 places :
Symmetric choice reduction at 15 with 12 rule applications. Total rules 23468 place count 2480 transition count 7255
Iterating global reduction 15 with 12 rules applied. Total rules applied 23480 place count 2480 transition count 7255
Ensure Unique test removed 42 transitions
Reduce isomorphic transitions removed 42 transitions.
Iterating post reduction 15 with 42 rules applied. Total rules applied 23522 place count 2480 transition count 7213
Drop transitions (Redundant composition of simpler transitions.) removed 132 transitions
Redundant transition composition rules discarded 132 transitions
Iterating global reduction 16 with 132 rules applied. Total rules applied 23654 place count 2480 transition count 7081
Discarding 3 places :
Symmetric choice reduction at 16 with 3 rule applications. Total rules 23657 place count 2477 transition count 7078
Iterating global reduction 16 with 3 rules applied. Total rules applied 23660 place count 2477 transition count 7078
Discarding 3 places :
Symmetric choice reduction at 16 with 3 rule applications. Total rules 23663 place count 2474 transition count 6832
Iterating global reduction 16 with 3 rules applied. Total rules applied 23666 place count 2474 transition count 6832
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 16 with 3 rules applied. Total rules applied 23669 place count 2474 transition count 6829
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 17 with 8 rules applied. Total rules applied 23677 place count 2470 transition count 6825
Discarding 3 places :
Symmetric choice reduction at 17 with 3 rule applications. Total rules 23680 place count 2467 transition count 6576
Iterating global reduction 17 with 3 rules applied. Total rules applied 23683 place count 2467 transition count 6576
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 17 with 2 rules applied. Total rules applied 23685 place count 2467 transition count 6574
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 18 with 4 rules applied. Total rules applied 23689 place count 2465 transition count 6593
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 18 with 3 rules applied. Total rules applied 23692 place count 2465 transition count 6590
Drop transitions (Redundant composition of simpler transitions.) removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 19 with 16 rules applied. Total rules applied 23708 place count 2465 transition count 6574
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 19 with 4 rules applied. Total rules applied 23712 place count 2463 transition count 6593
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 19 with 2 rules applied. Total rules applied 23714 place count 2463 transition count 6591
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 20 with 10 rules applied. Total rules applied 23724 place count 2463 transition count 6581
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 20 with 2 rules applied. Total rules applied 23726 place count 2462 transition count 6592
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 20 with 1 rules applied. Total rules applied 23727 place count 2462 transition count 6591
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 21 with 10 rules applied. Total rules applied 23737 place count 2462 transition count 6581
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 21 with 2 rules applied. Total rules applied 23739 place count 2461 transition count 6593
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 21 with 2 rules applied. Total rules applied 23741 place count 2461 transition count 6591
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 22 with 10 rules applied. Total rules applied 23751 place count 2461 transition count 6581
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 22 with 2 rules applied. Total rules applied 23753 place count 2460 transition count 6593
Free-agglomeration rule applied 1330 times with reduction of 741 identical transitions.
Iterating global reduction 22 with 1330 rules applied. Total rules applied 25083 place count 2460 transition count 4522
Reduce places removed 1330 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1454 transitions
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 1478 transitions.
Graph (complete) has 3785 edges and 1130 vertex of which 1073 are kept as prefixes of interest. Removing 57 places using SCC suffix rule.2 ms
Discarding 57 places :
Also discarding 28 output transitions
Drop transitions (Output transitions of discarded places.) removed 28 transitions
Iterating post reduction 22 with 2809 rules applied. Total rules applied 27892 place count 1073 transition count 3016
Drop transitions (Empty/Sink Transition effects.) removed 84 transitions
Reduce isomorphic transitions removed 84 transitions.
Iterating post reduction 23 with 84 rules applied. Total rules applied 27976 place count 1073 transition count 2932
Discarding 80 places :
Symmetric choice reduction at 24 with 80 rule applications. Total rules 28056 place count 993 transition count 2729
Iterating global reduction 24 with 80 rules applied. Total rules applied 28136 place count 993 transition count 2729
Drop transitions (Redundant composition of simpler transitions.) removed 268 transitions
Redundant transition composition rules discarded 268 transitions
Iterating global reduction 24 with 268 rules applied. Total rules applied 28404 place count 993 transition count 2461
Reduce places removed 3 places and 0 transitions.
Graph (complete) has 3162 edges and 990 vertex of which 983 are kept as prefixes of interest. Removing 7 places using SCC suffix rule.1 ms
Discarding 7 places :
Also discarding 6 output transitions
Drop transitions (Output transitions of discarded places.) removed 6 transitions
Iterating post reduction 24 with 4 rules applied. Total rules applied 28408 place count 983 transition count 2455
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 13 transitions.
Iterating post reduction 25 with 13 rules applied. Total rules applied 28421 place count 983 transition count 2442
Discarding 92 places :
Symmetric choice reduction at 26 with 92 rule applications. Total rules 28513 place count 891 transition count 2278
Iterating global reduction 26 with 92 rules applied. Total rules applied 28605 place count 891 transition count 2278
Free-agglomeration rule applied 2 times.
Iterating global reduction 26 with 2 rules applied. Total rules applied 28607 place count 891 transition count 2276
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 26 with 2 rules applied. Total rules applied 28609 place count 889 transition count 2276
Drop transitions (Redundant composition of simpler transitions.) removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 27 with 2 rules applied. Total rules applied 28611 place count 889 transition count 2274
Free-agglomeration rule applied 1 times.
Iterating global reduction 27 with 1 rules applied. Total rules applied 28612 place count 889 transition count 2273
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 27 with 1 rules applied. Total rules applied 28613 place count 888 transition count 2273
Partial Free-agglomeration rule applied 2 times.
Drop transitions (Partial Free agglomeration) removed 2 transitions
Iterating global reduction 28 with 2 rules applied. Total rules applied 28615 place count 888 transition count 2273
Applied a total of 28615 rules in 7278 ms. Remains 888 /15015 variables (removed 14127) and now considering 2273/21341 (removed 19068) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 7284 ms. Remains : 888/15015 places, 2273/21341 transitions.
RANDOM walk for 40000 steps (8 resets) in 1945 ms. (20 steps per ms) remains 2/10 properties
FORMULA DLCshifumi-PT-4b-ReachabilityCardinality-2025-14 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-4b-ReachabilityCardinality-2025-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-4b-ReachabilityCardinality-2025-11 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-4b-ReachabilityCardinality-2025-09 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-4b-ReachabilityCardinality-2025-08 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-4b-ReachabilityCardinality-2025-07 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-4b-ReachabilityCardinality-2025-04 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-4b-ReachabilityCardinality-2025-02 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (8 resets) in 224 ms. (177 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 140 ms. (283 steps per ms) remains 2/2 properties
[2025-05-31 12:50:40] [INFO ] Flow matrix only has 1099 transitions (discarded 1174 similar events)
// Phase 1: matrix 1099 rows 888 cols
[2025-05-31 12:50:40] [INFO ] Computed 468 invariants in 12 ms
[2025-05-31 12:50:40] [INFO ] State equation strengthened by 376 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/32 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 531/563 variables, 336/336 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/563 variables, 0/336 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 325/888 variables, 132/468 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/888 variables, 0/468 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 1099/1987 variables, 888/1356 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1987 variables, 376/1732 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/1987 variables, 0/1732 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (OVERLAPS) 0/1987 variables, 0/1732 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1987/1987 variables, and 1732 constraints, problems are : Problem set: 0 solved, 2 unsolved in 800 ms.
Refiners :[Positive P Invariants (semi-flows): 468/468 constraints, State Equation: 888/888 constraints, ReadFeed: 376/376 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/32 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 531/563 variables, 336/336 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/563 variables, 0/336 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 325/888 variables, 132/468 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/888 variables, 0/468 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 1099/1987 variables, 888/1356 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1987 variables, 376/1732 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/1987 variables, 2/1734 constraints. Problems are: Problem set: 0 solved, 2 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 12:50:41] [INFO ] Deduced a trap composed of 15 places in 64 ms of which 7 ms to minimize.
At refinement iteration 8 (INCLUDED_ONLY) 0/1987 variables, 1/1735 constraints. Problems are: Problem set: 0 solved, 2 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 12:50:42] [INFO ] Deduced a trap along path composed of 2 places in 29 ms of which 4 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 12:50:42] [INFO ] Deduced a trap along path composed of 2 places in 26 ms of which 1 ms to minimize.
At refinement iteration 9 (INCLUDED_ONLY) 0/1987 variables, 2/1737 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1987 variables, 0/1737 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (OVERLAPS) 0/1987 variables, 0/1737 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Int declared 1987/1987 variables, and 1737 constraints, problems are : Problem set: 0 solved, 2 unsolved in 2257 ms.
Refiners :[Positive P Invariants (semi-flows): 468/468 constraints, State Equation: 888/888 constraints, ReadFeed: 376/376 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 1/1 constraints, Known Traps Along Path: 2/2 constraints]
After SMT, in 3150ms problems are : Problem set: 0 solved, 2 unsolved
Finished Parikh walk after 93 steps, including 0 resets, run visited all 2 properties in 3 ms. (steps per millisecond=31 )
FORMULA DLCshifumi-PT-4b-ReachabilityCardinality-2025-15 TRUE TECHNIQUES PARIKH_WALK
FORMULA DLCshifumi-PT-4b-ReachabilityCardinality-2025-10 TRUE TECHNIQUES PARIKH_WALK
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Parikh walk visited 2 properties in 12 ms.
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 25991 ms.

BK_STOP 1748695843424

--------------------
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
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution ReachabilityCardinality -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 ReachabilityCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600