About the Execution of ITS-Tools for AirplaneLD-PT-2000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 122886.00 | 0.00 | 0.00 | TTTF?TT?T???FT?T | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r004-smll-171620118300303.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-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-5568
Executing tool itstools
Input is AirplaneLD-PT-2000, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r004-smll-171620118300303
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 48M
-rw-r--r-- 1 mcc users 2.0M Apr 12 06:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 6.7M Apr 12 06:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 729K Apr 12 04:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 3.9M Apr 12 04:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 382K Apr 22 14:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 962K Apr 22 14:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 382K Apr 22 14:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.5M Apr 22 14:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8M Apr 12 10:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13M Apr 12 10:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 994K Apr 12 08:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 5.1M Apr 12 08:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 107K Apr 22 14:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 191K Apr 22 14:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 8.7M May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME AirplaneLD-PT-2000-ReachabilityFireability-2024-00
FORMULA_NAME AirplaneLD-PT-2000-ReachabilityFireability-2024-01
FORMULA_NAME AirplaneLD-PT-2000-ReachabilityFireability-2024-02
FORMULA_NAME AirplaneLD-PT-2000-ReachabilityFireability-2024-03
FORMULA_NAME AirplaneLD-PT-2000-ReachabilityFireability-2024-04
FORMULA_NAME AirplaneLD-PT-2000-ReachabilityFireability-2024-05
FORMULA_NAME AirplaneLD-PT-2000-ReachabilityFireability-2024-06
FORMULA_NAME AirplaneLD-PT-2000-ReachabilityFireability-2024-07
FORMULA_NAME AirplaneLD-PT-2000-ReachabilityFireability-2024-08
FORMULA_NAME AirplaneLD-PT-2000-ReachabilityFireability-2024-09
FORMULA_NAME AirplaneLD-PT-2000-ReachabilityFireability-2024-10
FORMULA_NAME AirplaneLD-PT-2000-ReachabilityFireability-2024-11
FORMULA_NAME AirplaneLD-PT-2000-ReachabilityFireability-2024-12
FORMULA_NAME AirplaneLD-PT-2000-ReachabilityFireability-2024-13
FORMULA_NAME AirplaneLD-PT-2000-ReachabilityFireability-2024-14
FORMULA_NAME AirplaneLD-PT-2000-ReachabilityFireability-2024-15
=== Now, execution of the tool begins
BK_START 1716417005141
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AirplaneLD-PT-2000
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
ReachabilityFireability PT
Running Version 202405141337
[2024-05-22 22:30:07] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2024-05-22 22:30:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-22 22:30:09] [INFO ] Load time of PNML (sax parser for PT used): 1554 ms
[2024-05-22 22:30:09] [INFO ] Transformed 14019 places.
[2024-05-22 22:30:09] [INFO ] Transformed 16008 transitions.
[2024-05-22 22:30:09] [INFO ] Found NUPN structural information;
[2024-05-22 22:30:09] [INFO ] Parsed PT model containing 14019 places and 16008 transitions and 61028 arcs in 2251 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 337 ms.
Working with output stream class java.io.PrintStream
Reduce places removed 6002 places and 0 transitions.
FORMULA AirplaneLD-PT-2000-ReachabilityFireability-2024-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-PT-2000-ReachabilityFireability-2024-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2024-05-22 22:30:15] [INFO ] Flatten gal took : 2699 ms
[2024-05-22 22:30:16] [INFO ] Flatten gal took : 1067 ms
[2024-05-22 22:30:16] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7578345828445468327.gal : 259 ms
[2024-05-22 22:30:17] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2095961352407446399.prop : 212 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.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality7578345828445468327.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality2095961352407446399.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.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
Loading property file /tmp/ReachabilityCardinality2095961352407446399.prop.
RANDOM walk for 40000 steps (5038 resets) in 54691 ms. (0 steps per ms) remains 9/14 properties
FORMULA AirplaneLD-PT-2000-ReachabilityFireability-2024-15 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA AirplaneLD-PT-2000-ReachabilityFireability-2024-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA AirplaneLD-PT-2000-ReachabilityFireability-2024-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA AirplaneLD-PT-2000-ReachabilityFireability-2024-03 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA AirplaneLD-PT-2000-ReachabilityFireability-2024-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (8 resets) in 4392 ms. (9 steps per ms) remains 9/9 properties
BEST_FIRST walk for 27004 steps (0 resets) in 21715 ms. (1 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 111 ms. (357 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 110 ms. (360 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 60 ms. (655 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1052 ms. (37 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 117 ms. (339 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 91 ms. (434 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 166 ms. (239 steps per ms) remains 9/9 properties
// Phase 1: matrix 16008 rows 8017 cols
[2024-05-22 22:30:41] [INFO ] Computed 3 invariants in 8579 ms
Problem AirplaneLD-PT-2000-ReachabilityFireability-2024-12 is UNSAT
FORMULA AirplaneLD-PT-2000-ReachabilityFireability-2024-12 FALSE TECHNIQUES SMT_REFINEMENT
Error getting values : (error "ParserException while parsing response: ((s0 (/ 1.0 4.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 0.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 0.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 0.0)
(s278 0.0)
(s279 0.0)
(s280 0.0)
(s281 0.0)
(s282 0.0)
(s283 0.0)
(s284 0.0)
(s285 0.0)
(s286 0.0)
(s287 0.0)
(s288 0.0)
(s289 0.0)
(s290 0.0)
(s291 0.0)
(s292 0.0)
(s293 0.0)
(s294 0.0)
(s295 0.0)
(s296 0.0)
(s297 0.0)
(s298 0.0)
(s299 0.0)
(s300 0.0)
(s301 0.0)
(s302 0.0)
(s303 0.0)
(s304 0.0)
(s305 0.0)
(s306 0.0)
(s307 0.0)
(s308 0.0)
(s309 0.0)
(s310 0.0)
(s311 0.0)
(s312 0.0)
(s313 0.0)
(s314 0.0)
(s315 0.0)
(s316 0.0)
(s317 0.0)
(s318 0.0)
(s319 0.0)
(s320 0.0)
(s321 0.0)
(s322 0.0)
(s323 0.0)
(s324 0.0)
(s325 0.0)
(s326 0.0)
(s327 0.0)
(s328 0.0)
(s329 0.0)
(s330 0.0)
(s331 0.0)
(s332 0.0)
(s333 0.0)
(s334 0.0)
(s335 0.0)
(s336 0.0)
(s337 0.0)
(s338 0.0)
(s339 0.0)
(s340 0.0)
(s341 0.0)
(s342 0.0)
(s343 0.0)
(s344 0.0)
(s345 0.0)
(s346 0.0)
(s347 0.0)
(s348 0.0)
(s349 0.0)
(s350 0.0)
(s351 0.0)
(s352 0.0)
(s353 0.0)
(s354 0.0)
(s355 0.0)
(s356 0.0)
(s357 0.0)
(s358 0.0)
(s359 0.0)
(s360 0.0)
(s361 0.0)
(s362 0.0)
(s363 0.0)
(s364 0.0)
(s365 0.0)
(s366 0.0)
(s367 0.0)
(s368 0.0)
(s369 0.0)
(s370 0.0)
(s371 0.0)
(s372 0.0)
(s373 0.0)
(s374 0.0)
(s375 0.0)
(s376 0.0)
(s377 0.0)
(s378 0.0)
(s379 0.0)
(s380 0.0)
(s381 0.0)
(s382 0.0)
(s383 0.0)
(s384 0.0)
(s385 0.0)
(s386 0.0)
(s387 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 0.0)
(s398 0.0)
(s399 0.0)
(s400 (/ 1.0 4.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 0.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)
(s491 0.0)
(s492 0.0)
(s493 0.0)
(s494 0.0)
(s495 0.0)
(s496 0.0)
(s497 0.0)
(s498 0.0)
(s499 0.0)
(s500 0.0)
(s501 0.0)
(s502 0.0)
(s503 0.0)
(s504 0.0)
(s505 0.0)
(s506 0.0)
(s507 0.0)
(s508 0.0)
(s509 0.0)
(s510 0.0)
(s511 0.0)
(s512 0.0)
(s513 0.0)
(s514 0.0)
(s515 0.0)
(s516 0.0)
(s517 0.0)
(s518 0.0)
(s519 0.0)
(s520 0.0)
(s521 0.0)
(s522 0.0)
(s523 0.0)
(s524 0.0)
(s525 0.0)
(s526 0.0)
(s527 0.0)
(s528 0.0)
(s529 0.0)
(s530 0.0)
(s531 0.0)
(s532 0.0)
(s533 0.0)
(s534 0.0)
(s535 0.0)
(s536 0.0)
(s537 0.0)
(s538 0.0)
(s539 0.0)
(s540 0.0)
(s541 0.0)
(s542 0.0)
(s543 0.0)
(s544 0.0)
(s545 0.0)
(s546 0.0)
(s547 0.0)
(s548 0.0)
(s549 0.0)
(s550 0.0)
(s551 0.0)
(s552 0.0)
(s553 0.0)
(s554 0.0)
(s555 0.0)
(s556 0.0)
(s557 0.0)
(s558 0.0)
(s559 0.0)
(s560 0.0)
(s561 0.0)
(s562 0.0)
(s563 0.0)
(s564 0.0)
(s565 0.0)
(s566 0.0)
(s567 0.0)
(s568 0.0)
(s569 0.0)
(s570 0.0)
(s571 0.0)
(s572 0.0)
(s573 0.0)
(s574 0.0)
(s575 0.0)
(s576 0.0)
(s577 0.0)
(s578 0.0)
(s579 0.0)
(s580 0.0)
(s581 0.0)
(s582 0.0)
(s583 0.0)
(s584 0.0)
(s585 0.0)
(s586 0.0)
(s587 0.0)
(s588 0.0)
(s589 0.0)
(s590 0.0)
(s591 0.0)
(s592 0.0)
(s593 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 0.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 0.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 0.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 (/ 3.0 4.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 0.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)
(s800 0.0)
(s801 0.0)
(s802 0.0)
(s803 0.0)
(s804 0.0)
(s805 0.0)
(s806 0.0)
(s807 0.0)
(s808 0.0)
(s809 0.0)
(s810 0.0)
(s811 0.0)
(s812 0.0)
(s813 0.0)
(s814 0.0)
(s815 0.0)
(s816 0.0)
(s817 0.0)
(s818 0.0)
(s819 0.0)
(s820 0.0)
(s821 0.0)
(s822 0.0)
(s823 0.0)
(s824 0.0)
(s825 0.0)
(s826 0.0)
(s827 0.0)
(s828 0.0)
(s829 0.0)
(s830 0.0)
(s831 0.0)
(s832 (/ 3.0 4.0))
(s833 0.0)
(s834 0.0)
(s835 0.0)
(s836 0.0)
(s837 0.0)
(s838 0.0)
(s839 0.0)
(s840 0.0)
(s841 0.0)
(s842 0.0)
(s843 0.0)
(s844 0.0)
(s845 0.0)
(s846 0.0)
(s847 0.0)
(s848 0.0)
(s849 0.0)
(s850 0.0)
(s851 0.0)
(s852 0.0)
(s853 0.0)
(s854 0.0)
(s855 0.0)
(s856 0.0)
(s857 0.0)
(s858 0.0)
(s859 0.0)
(s860 0.0)
(s861 0.0)
(s862 0.0)
(s863 0.0)
(s864 0.0)
(s865 0.0)
(s866 0.0)
(s867 0.0)
(s868 0.0)
(s869 0.0)
(s870 0.0)
(s871 0.0)
(s872 0.0)
(s873 0.0)
(s874 0.0)
(s875 0.0)
(s876 0.0)
(s877 0.0)
(s878 0.0)
(s879 0.0)
(s880 0.0)
(s881 0.0)
(s882 0.0)
(s883 0.0)
(s884 0.0)
(s885 0.0)
(s886 0.0)
(s887 0.0)
(s888 0.0)
(s889 0.0)
(s890 0.0)
(s891 0.0)
(s892 0.0)
(s893 0.0)
(s894 0.0)
(s895 0.0)
(s896 0.0)
(s897 0.0)
(s898 0.0)
(s899 0.0)
(s900 0.0)
(s901 0.0)
(s902 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 0.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)
(s1006 0.0)
(s1007 0.0)
(s1008 0.0)
(s1009 0.0)
(s1010 0.0)
(s1011 0.0)
(s1012 0.0)
(s1013 0.0)
(s1014 0.0)
(s1015 0.0)
(s1016 0.0)
(s1017 0.0)
(s1018 0.0)
(s1019 0.0)
(s1020 0.0)
(s1021 0.0)
(s1022 0.0)
(s1023 0.0)
(s1024 0.0)
(s1025 0.0)
(s1026 0.0)
(s1027 0.0)
(s1028 0.0)
(s1029 0.0)
(s1030 0.0)
(s1031 0.0)
(s1032 0.0)
(s1033 0.0)
(s1034 0.0)
(s1035 0.0)
(s1036 0.0)
(s1037 0.0)
(s1038 0.0)
(s1039 0.0)
(s1040 0.0)
(s1041 0.0)
(s1042 0.0)
(s1043 0.0)
(s1044 0.0)
(s1045 0.0)
(s1046 0.0)
(s1047 0.0)
(s1048 0.0)
(s1049 0.0)
(s1050 0.0)
(s1051 0.0)
(s1052 0.0)
(s1053 0.0)
(s1054 0.0)
(s1055 0.0)
(s1056 0.0)
(s1057 0.0)
(s1058 0.0)
(s1059 0.0)
(s1060 0.0)
(s1061 0.0)
(s1062 0.0)
(s1063 0.0)
(s1064 0.0)
(s1065 0.0)
(s1066 0.0)
(s1067 0.0)
(s1068 0.0)
(s1069 0.0)
(s1070 0.0)
(s1071 0.0)
(s1072 0.0)
(s1073 0.0)
(s1074 0.0)
(s1075 0.0)
(s1076 0.0)
(s1077 0.0)
(s1078 0.0)
(s1079 0.0)
(s1080 0.0)
(s1081 0.0)
(s1082 0.0)
(s1083 0.0)
(s1084 0.0)
(s1085 0.0)
(s1086 0.0)
(s1087 0.0)
(s1088 0.0)
(s1089 0.0)
(s1090 0.0)
(s1091 0.0)
(s1092 0.0)
(s1093 0.0)
(s1094 0.0)
(s1095 0.0)
(s1096 0.0)
(s1097 0.0)
(s1098 0.0)
(s1099 0.0)
(s1100 0.0)
(s1101 0.0)
(s1102 0.0)
(s1103 0.0)
(s1104 0.0)
(s1105 0.0)
(s1106 0.0)
(s1107 0.0)
(s1108 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 0.0)
(s1129 0.0)
(s1130 0.0)
(s1131 0.0)
(s1132 0.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 (/ 3.0 4.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 0.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)
(s1212 0.0)
(s1213 1.0)
(s1214 0.0)
(s1215 0.0)
(s1216 0.0)
(s1217 0.0)
(s1218 0.0)
(s1219 0.0)
(s1220 0.0)
(s1221 0.0)
(s1222 0.0)
(s1223 0.0)
(s1224 0.0)
(s1225 0.0)
(s1226 0.0)
(s1227 0.0)
(s1228 0.0)
(s1229 0.0)
(s1230 0.0)
(s1231 0.0)
(s1232 0.0)
(s1233 0.0)
(s1234 0.0)
(s1235 0.0)
(s1236 0.0)
(s1237 0.0)
(s1238 0.0)
(s1239 0.0)
(s1240 0.0)
(s1241 0.0)
(s1242 0.0)
(s1243 0.0)
(s1244 0.0)
(s1245 0.0)
(s1246 0.0)
(s1247 0.0)
(s1248 0.0)
(s1249 0.0)
(s1250 0.0)
(s1251 0.0)
(s1252 0.0)
(s1253 0.0)
(s1254 0.0)
(s1255 0.0)
(s1256 0.0)
(s1257 0.0)
(s1258 0.0)
(s1259 0.0)
(s1260 0.0)
(s1261 0.0)
(s1262 0.0)
(s1263 0.0)
(s1264 0.0)
(s1265 0.0)
(s1266 0.0)
(s1267 0.0)
(s1268 0.0)
(s1269 0.0)
(s1270 0.0)
(s1271 0.0)
(s1272 0.0)
(s1273 0.0)
(s1274 0.0)
(s1275 0.0)
(s1276 0.0)
(s1277 0.0)
(s1278 0.0)
(s1279 0.0)
(s1280 0.0)
(s1281 0.0)
(s1282 0.0)
(s1283 0.0)
(s1284 0.0)
(s1285 0.0)
(s1286 0.0)
(s1287 0.0)
(s1288 0.0)
(s1289 0.0)
(s1290 0.0)
(s1291 0.0)
(s1292 0.0)
(s1293 0.0)
(s1294 0.0)
(s1295 0.0)
(s1296 0.0)
(s1297 0.0)
(s1298 0.0)
(s1299 0.0)
(s1300 0.0)
(s1301 0.0)
(s1302 0.0)
(s1303 0.0)
(s1304 0.0)
(s1305 0.0)
(s1306 0.0)
(s1307 0.0)
(s1308 0.0)
(s1309 0.0)
(s1310 0.0)
(s1311 0.0)
(s1312 0.0)
(s1313 0.0)
(s1314 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 0.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 0.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)
(s1418 0.0)
(s1419 0.0)
(s1420 0.0)
(s1421 0.0)
(s1422 0.0)
(s1423 0.0)
(s1424 0.0)
(s1425 0.0)
(s1426 0.0)
(s1427 0.0)
(s1428 0.0)
(s1429 0.0)
(s1430 0.0)
(s1431 0.0)
(s1432 0.0)
(s1433 0.0)
(s1434 0.0)
(s1435 0.0)
(s1436 0.0)
(s1437 0.0)
(s1438 0.0)
(s1439 0.0)
(s1440 0.0)
(s1441 0.0)
(s1442 0.0)
(s1443 0.0)
(s1444 0.0)
(s1445 0.0)
(s1446 0.0)
(s1447 0.0)
(s1448 0.0)
(s1449 0.0)
(s1450 0.0)
(s1451 0.0)
(s1452 0.0)
(s1453 0.0)
(s1454 0.0)
(s1455 0.0)
(s1456 0.0)
(s1457 0.0)
(s1458 0.0)
(s1459 0.0)
(s1460 0.0)
(s1461 0.0)
(s1462 0.0)
(s1463 0.0)
(s1464 0.0)
(s1465 0.0)
(s1466 0.0)
(s1467 0.0)
(s1468 0.0)
(s1469 0.0)
(s1470 0.0)
(s1471 0.0)
(s1472 0.0)
(s1473 0.0)
(s1474 0.0)
(s1475 0.0)
(s1476 0.0)
(s1477 0.0)
(s1478 0.0)
(s1479 0.0)
(s1480 0.0)
(s1481 0.0)
(s1482 0.0)
(s1483 0.0)
(s1484 0.0)
(s1485 (/ 1.0 4.0))
(s1486 0.0)
(s1487 0.0)
(s1488 0.0)
(s1489 0.0)
(s1490 0.0)
(s1491 0.0)
(s1492 0.0)
(s1493 0.0)
(s1494 0.0)
(s1495 0.0)
(s1496 0.0)
(s1497 0.0)
(s1498 0.0)
(s1499 0.0)
(s1500 0.0)
(s1501 0.0)
(s1502 0.0)
(s1503 0.0)
(s1504 0.0)
(s1505 1.0)
(s1506 0.0)
(s1507 0.0)
(s1508 0.0)
(s1509 0.0)
(s1510 0.0)
(s1511 0.0)
(s1512 0.0)
(s1513 0.0)
(s1514 0.0)
(s1515 0.0)
(s1516 0.0)
(s1517 0.0)
(s1518 0.0)
(s1519 0.0)
(s1520 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 0.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 0.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 0.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 0.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 0.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 0.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)
(s1830 0.0)
(s1831 0.0)
(s1832 0.0)
(s1833 0.0)
(s1834 0.0)
(s1835 0.0)
(s1836 0.0)
(s1837 0.0)
(s1838 0.0)
(s1839 0.0)
(s1840 0.0)
(s1841 0.0)
(s1842 0.0)
(s1843 0.0)
(s1844 0.0)
(s1845 0.0)
(s1846 0.0)
(s1847 0.0)
(s1848 0.0)
(s1849 0.0)
(s1850 0.0)
(s1851 0.0)
(s1852 0.0)
(s1853 0.0)
(s1854 0.0)
(s1855 0.0)
(s1856 0.0)
(s1857 0.0)
(s1858 0.0)
(s1859 0.0)
(s1860 0.0)
(s1861 0.0)
(s1862 0.0)
(s1863 0.0)
(s1864 0.0)
(s1865 0.0)
(s1866 0.0)
(s1867 0.0)
(s1868 0.0)
(s1869 0.0)
(s1870 0.0)
(s1871 0.0)
(s1872 0.0)
(s1873 0.0)
(s1874 0.0)
(s1875 0.0)
(s1876 0.0)
(s1877 0.0)
(s1878 0.0)
(s1879 0.0)
(s1880 0.0)
(s1881 0.0)
(s1882 0.0)
(s1883 0.0)
(s1884 0.0)
(s1885 0.0)
(s1886 0.0)
(s1887 0.0)
(s1888 0.0)
(s1889 0.0)
(s1890 0.0)
(s1891 0.0)
(s1892 0.0)
(s1893 0.0)
(s1894 0.0)
(s1895 0.0)
(s1896 0.0)
(s1897 0.0)
(s1898 0.0)
(s1899 0.0)
(s1900 0.0)
(s1901 0.0)
(s1902 0.0)
(s1903 0.0)
(s1904 0.0)
(s1905 0.0)
(s1906 0.0)
(s1907 0.0)
(s1908 0.0)
(s1909 0.0)
(s1910 0.0)
(s1911 0.0)
(s1912 0.0)
(s1913 0.0)
(s1914 0.0)
(s1915 0.0)
(s1916 0.0)
(s1917 0.0)
(s1918 0.0)
(s1919 0.0)
(s1920 0.0)
(s1921 0.0)
(s1922 0.0)
(s1923 0.0)
(s1924 0.0)
(s1925 0.0)
(s1926 0.0)
(s1927 0.0)
(s1928 0.0)
(s1929 0.0)
(s1930 0.0)
(s1931 0.0)
(s1932 0.0)
(s1933 0.0)
(s1934 0.0)
(s1935 0.0)
(s1936 0.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 0.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 1.0)
(s2002 1.0)
(s2003 1.0)
(s2004 1.0)
(s2005 1.0)
(s2006 1.0)
(s2007 1.0)
(s2008 1.0)
(s2009 1.0)
(s2010 1.0)
(s2011 1.0)
(s2012 1.0)
(s2013 1.0)
(s2014 1.0)
(s2015 1.0)
(s2016 1.0)
(s2017 1.0)
(s2018 1.0)
(s2019 1.0)
(s2020 1.0)
(s2021 1.0)
(s2022 1.0)
(s2023 1.0)
(s2024 1.0)
(s2025 1.0)
(s2026 1.0)
(s2027 1.0)
(s2028 1.0)
(s2029 1.0)
(s2030 1.0)
(s2031 1.0)
(s2032 1.0)
(s2033 1.0)
(s2034 1.0)
(s2035 1.0)
(s2036 1.0)
(s2037 1.0)
(s2038 1.0)
(s2039 1.0)
(s2040 1.0)
(s2041 1.0)
(s2042 1.0)
(s2043 1.0)
(s2044 1.0)
(s2045 1.0)
(s2046 1.0)
(s2047 1.0)
(s2048 1.0)
(s2049 1.0)
(s2050 1.0)
(s2051 1.0)
(s2052 1.0)
(s2053 1.0)
(s2054 1.0)
(s2055 1.0)
(s2056 1.0)
(s2057 1.0)
(s2058 1.0)
(s2059 1.0)
(s2060 1.0)
(s2061 1.0)
(s2062 1.0)
(s2063 1.0)
(s2064 1.0)
(s2065 1.0)
(s2066 1.0)
(s2067 1.0)
(s2068 1.0)
(s2069 1.0)
(s2070 1.0)
(s2071 1.0)
(s2072 1.0)
(s2073 1.0)
(s2074 1.0)
(s2075 1.0)
(s2076 1.0)
(s2077 1.0)
(s2078 1.0)
(s2079 1.0)
(s2080 1.0)
(s2081 1.0)
(s2082 1.0)
(s2083 1.0)
(s2084 1.0)
(s2085 1.0)
(s2086 1.0)
(s2087 1.0)
(s2088 1.0)
(s2089 1.0)
(s2090 1.0)
(s2091 1.0)
(s2092 1.0)
(s2093 1.0)
(s2094 1.0)
(s2095 1.0)
(s2096 1.0)
(s2097 1.0)
(s2098 1.0)
(s2099 1.0)
(s2100 1.0)
(s2101 1.0)
(s2102 1.0)
(s2103 1.0)
(s2104 1.0)
(s2105 1.0)
(s2106 1.0)
(s2107 1.0)
(s2108 1.0)
(s2109 1.0)
(s2110 1.0)
(s2111 1.0)
(s2112 1.0)
(s2113 1.0)
(s2114 1.0)
(s2115 1.0)
(s2116 1.0)
(s2117 1.0)
(s2118 1.0)
(s2119 1.0)
(s2120 1.0)
(s2121 1.0)
(s2122 1.0)
(s2123 1.0)
(s2124 1.0)
(s2125 1.0)
(s2126 1.0)
(s2127 1.0)
(s2128 1.0)
(s2129 1.0)
(s2130 1.0)
(s2131 1.0)
(s2132 1.0)
(s2133 1.0)
(s2134 1.0)
(s2135 1.0)
(s2136 1.0)
(s2137 1.0)
(s2138 1.0)
(s2139 1.0)
(s2140 1.0)
(s2141 1.0)
(s2142 1.0)
(s2143 1.0)
(s2144 1.0)
(s2145 1.0)
(s2146 1.0)
(s2147 1.0)
(s2148 1.0)
(s2149 1.0)
(s2150 1.0)
(s2151 1.0)
(s2152 1.0)
(s2153 1.0)
(s2154 1.0)
(s2155 1.0)
(s2156 1.0)
(s2157 1.0)
(s2158 1.0)
(s2159 1.0)
(s2160 1.0)
(s2161 1.0)
(s2162 1.0)
(s2163 1.0)
(s2164 1.0)
(s2165 1.0)
(s2166 1.0)
(s2167 1.0)
(s2168 1.0)
(s2169 1.0)
(s2170 1.0)
(s2171 1.0)
(s2172 1.0)
(s2173 1.0)
(s2174 1.0)
(s2175 1.0)
(s2176 1.0)
(s2177 1.0)
(s2178 1.0)
(s2179 1.0)
(s2180 1.0)
(s2181 1.0)
(s2182 1.0)
(s2183 1.0)
(s2184 1.0)
(s2185 1.0)
(s2186 1.0)
(s2187 1.0)
(s2188 1.0)
(s2189 1.0)
(s2190 1.0)
(s2191 1.0)
(s2192 1.0)
(s2193 1.0)
(s2194 1.0)
(s2195 1.0)
(s2196 1.0)
(s2197 1.0)
(s2198 1.0)
(s2199 1.0)
(s2200 1.0)
(s2201 1.0)
(s2202 1.0)
(s2203 1.0)
(s2204 1.0)
(s2205 1.0)
(s2206 1.0)
(s2207 1.0)
(s2208 1.0)
(s2209 1.0)
(s2210 1.0)
(s2211 1.0)
(s2212 1.0)
(s2213 1.0)
(s2214 1.0)
(s2215 1.0)
(s2216 1.0)
(s2217 1.0)
(s2218 1.0)
(s2219 1.0)
(s2220 1.0)
(s2221 1.0)
(s2222 1.0)
(s2223 1.0)
(s2224 1.0)
(s2225 1.0)
(s2226 1.0)
(s2227 1.0)
(s2228 1.0)
(s2229 1.0)
(s2230 1.0)
(s2231 1.0)
(s2232 1.0)
(s2233 1.0)
(s2234 1.0)
(s2235 1.0)
(s2236 1.0)
(s2237 1.0)
(s2238 1.0)
(s2239 1.0)
(s2240 1.0)
(s2241 1.0)
(s2242 1.0)
(s2243 1.0)
(s2244 1.0)
(s2245 1.0)
(s2246 1.0)
(s2247 1.0)
(s2248 1.0)
(s2249 1.0)
(s2250 1.0)
(s2251 1.0)
(s2252 1.0)
(s2253 1.0)
(s2254 1.0)
(s2255 1.0)
(s2256 1.0)
(s2257 1.0)
(s2258 1.0)
(s2259 1.0)
(s2260 1.0)
(s2261 1.0)
(s2262 1.0)
(s2263 1.0)
(s2264 1.0)
(s2265 1.0)
(s2266 1.0)
(s2267 1.0)
(s2268 1.0)
(s2269 1.0)
(s2270 1.0)
(s2271 1.0)
(s2272 1.0)
(s2273 1.0)
(s2274 1.0)
(s2275 1.0)
(s2276 1.0)
(s2277 1.0)
(s2278 1.0)
(s2279 1.0)
(s2280 1.0)
(s2281 1.0)
(s2282 1.0)
(s2283 1.0)
(s2284 1.0)
(s2285 1.0)
(s2286 1.0)
(s2287 1.0)
(s2288 1.0)
(s2289 1.0)
(s2290 1.0)
(s2291 1.0)
(s2292 1.0)
(s2293 1.0)
(s2294 1.0)
(s2295 1.0)
(s2296 1.0)
(s2297 1.0)
(s2298 1.0)
(s2299 1.0)
(s2300 1.0)
(s2301 1.0)
(s2302 1.0)
(s2303 1.0)
(s2304 1.0)
(s2305 1.0)
(s2306 1.0)
(s2307 1.0)
(s2308 1.0)
(s2309 1.0)
(s2310 1.0)
(s2311 1.0)
(s2312 1.0)
(s2313 1.0)
(s2314 1.0)
(s2315 1.0)
(s2316 1.0)
(s2317 1.0)
(s2318 1.0)
(s2319 1.0)
(s2320 1.0)
(s2321 1.0)
(s2322 1.0)
(s2323 1.0)
(s2324 1.0)
(s2325 1.0)
(s2326 1.0)
(s2327 1.0)
(s2328 1.0)
(s2329 1.0)
(s2330 1.0)
(s2331 1.0)
(s2332 1.0)
(s2333 1.0)
(s2334 1.0)
(s2335 1.0)
(s2336 1.0)
(s2337 1.0)
(s2338 1.0)
(s2339 1.0)
(s2340 1.0)
(s2341 1.0)
(s2342 1.0)
(s2343 1.0)
(s2344 1.0)
(s2345 1.0)
(s2346 1.0)
(s2347 1.0)
(s2348 1.0)
(s2349 1.0)
(s2350 1.0)
(s2351 1.0)
(s2352 1.0)
(s2353 1.0)
(s2354 1.0)
(s2355 1.0)
(s2356 1.0)
(s2357 1.0)
(s2358 1.0)
(s2359 1.0)
(s2360 1.0)
(s2361 1.0)
(s2362 1.0)
(s2363 1.0)
(s2364 1.0)
(s2365 1.0)
(s2366 1.0)
(s2367 1.0)
(s2368 1.0)
(s2369 1.0)
(s2370 1.0)
(s2371 1.0)
(s2372 1.0)
(s2373 1.0)
(s2374 1.0)
(s2375 1.0)
(s2376 1.0)
(s2377 1.0)
(s2378 1.0)
(s2379 1.0)
(s2380 1.0)
(s2381 1.0)
(s2382 1.0)
(s2383 1.0)
(s2384 1.0)
(s2385 1.0)
(s2386 1.0)
(s2387 1.0)
(s2388 1.0)
(s2389 1.0)
(s2390 1.0)
(s2391 1.0)
(s2392 1.0)
(s2393 1.0)
(s2394 1.0)
(s2395 1.0)
(s2396 1.0)
(s2397 1.0)
(s2398 1.0)
(s2399 1.0)
(s2400 1.0)
(s2401 1.0)
(s2402 1.0)
(s2403 1.0)
(s2404 1.0)
(s2405 1.0)
(s2406 1.0)
(s2407 1.0)
(s2408 1.0)
(s2409 1.0)
(s2410 1.0)
(s2411 1.0)
(s2412 1.0)
(s2413 1.0)
(s2414 1.0)
(s2415 1.0)
(s2416 1.0)
(s2417 1.0)
(s2418 1.0)
(s2419 1.0)
(s2420 1.0)
(s2421 1.0)
(s2422 1.0)
(s2423 1.0)
(s2424 1.0)
(s2425 1.0)
(s2426 1.0)
(s2427 1.0)
(s2428 1.0)
(s2429 1.0)
(s2430 1.0)
(s2431 1.0)
(s2432 1.0)
(s2433 1.0)
(s2434 1.0)
(s2435 1.0)
(s2436 1.0)
(s2437 1.0)
(s2438 1.0)
(s2439 1.0)
(s2440 1.0)
(s2441 1.0)
(s2442 1.0)
(s2443 1.0)
(s2444 1.0)
(s2445 1.0)
(s2446 1.0)
(s2447 1.0)
(s2448 1.0)
(s2449 1.0)
(s2450 1.0)
(s2451 1.0)
(s2452 1.0)
(s2453 1.0)
(s2454 1.0)
(s2455 1.0)
(s2456 1.0)
(s2457 1.0)
(s2458 1.0)
(s2459 1.0)
(s2460 1.0)
(s2461 1.0)
(s2462 1.0)
(s2463 1.0)
(s2464 1.0)
(s2465 1.0)
(s2466 1.0)
(s2467 1.0)
(s2468 1.0)
(s2469 1.0)
(s2470 1.0)
(s2471 1.0)
(s2472 1.0)
(s2473 1.0)
(s2474 1.0)
(s2475 1.0)
(s2476 1.0)
(s2477 1.0)
(s2478 1.0)
(s2479 1.0)
(s2480 1.0)
(s2481 1.0)
(s2482 1.0)
(s2483 1.0)
(s2484 1.0)
(s2485 1.0)
(s2486 1.0)
(s2487 1.0)
(s2488 1.0)
(s2489 1.0)
(s2490 1.0)
(s2491 1.0)
(s2492 1.0)
(s2493 1.0)
(s2494 1.0)
(s2495 1.0)
(s2496 1.0)
(s2497 1.0)
(s2498 1.0)
(s2499 1.0)
(s2500 1.0)
(s2501 1.0)
(s2502 1.0)
(s2503 1.0)
(s2504 1.0)
(s2505 1.0)
(s2506 1.0)
(s2507 1.0)
(s2508 1.0)
(s2509 1.0)
(s2510 1.0)
(s2511 1.0)
(s2512 1.0)
(s2513 1.0)
(s2514 1.0)
(s2515 1.0)
(s2516 1.0)
(s2517 1.0)
(s2518 1.0)
(s2519 1.0)
(s2520 1.0)
(s2521 1.0)
(s2522 1.0)
(s2523 1.0)
(s2524 1.0)
(s2525 1.0)
(s2526 1.0)
(s2527 1.0)
(s2528 1.0)
(s2529 1.0)
(s2530 1.0)
(s2531 1.0)
(s2532 1.0)
(s2533 1.0)
(s2534 1.0)
(s2535 1.0)
(s2536 1.0)
(s2537 1.0)
(s2538 1.0)
(s2539 1.0)
(s2540 1.0)
(s2541 1.0)
(s2542 1.0)
(s2543 1.0)
(s2544 1.0)
(s2545 1.0)
(s2546 1.0)
(s2547 1.0)
(s2548 1.0)
(s2549 1.0)
(s2550 1.0)
(s2551 1.0)
(s2552 1.0)
(s2553 1.0)
(s2554 1.0)
(s2555 1.0)
(s2556 1.0)
(s2557 1.0)
(s2558 1.0)
(s2559 1.0)
(s2560 1.0)
(s2561 1.0)
(s2562 1.0)
(s2563 1.0)
(s2564 1.0)
(s2565 1.0)
(s2566 1.0)
(s2567 1.0)
(s2568 1.0)
(s2569 1.0)
(s2570 1.0)
(s2571 1.0)
(s2572 1.0)
(s2573 1.0)
(s2574 1.0)
(s2575 1.0)
(s2576 1.0)
(s2577 1.0)
(s2578 1.0)
(s2579 1.0)
(s2580 1.0)
(s2581 1.0)
(s2582 1.0)
(s2583 1.0)
(s2584 1.0)
(s2585 1.0)
(s2586 1.0)
(s2587 1.0)
(s2588 1.0)
(s2589 1.0)
(s2590 1.0)
(s2591 1.0)
(s2592 1.0)
(s2593 1.0)
(s2594 1.0)
(s2595 1.0)
(s2596 1.0)
(s2597 1.0)
(s2598 1.0)
(s2599 1.0)
(s2600 1.0)
(s2601 1.0)
(s2602 1.0)
(s2603 1.0)
(s2604 1.0)
(s2605 1.0)
(s2606 1.0)
(s2607 1.0)
(s2608 1.0)
(s2609 1.0)
(s2610 1.0)
(s2611 1.0)
(s2612 1.0)
(s2613 1.0)
(s2614 1.0)
(s2615 1.0)
(s2616 1.0)
(s2617 1.0)
(s2618 1.0)
(s2619 1.0)
(s2620 1.0)
(s2621 1.0)
(s2622 1.0)
(s2623 1.0)
(s2624 1.0)
(s2625 1.0)
(s2626 1.0)
(s2627 1.0)
(s2628 1.0)
(s2629 1.0)
(s2630 1.0)
(s2631 1.0)
(s2632 1.0)
(s2633 1.0)
(s2634 1.0)
(s2635 1.0)
(s2636 1.0)
(s2637 1.0)
(s2638 1.0)
(s2639 1.0)
(s2640 (/ 3.0 4.0))
(s2641 1.0)
(s2642 1.0)
(s2643 1.0)
(s2644 1.0)
(s2645 1.0)
(s2646 1.0)
(s2647 1.0)
(s2648 1.0)
(s2649 1.0)
(s2650 1.0)
(s2651 1.0)
(s2652 1.0)
(s2653 1.0)
(s2654 1.0)
(s2655 1.0)
(s2656 1.0)
(s2657 1.0)
(s2658 1.0)
(s2659 1.0)
(s2660 1.0)
(s2661 1.0)
(s2662 1.0)
(s2663 1.0)
(s2664 1.0)
(s2665 1.0)
(s2666 1.0)
(s2667 1.0)
(s2668 1.0)
(s2669 1.0)
(s2670 1.0)
(s2671 1.0)
(s2672 1.0)
(s2673 1.0)
(s2674 1.0)
(s2675 1.0)
(s2676 1.0)
(s2677 1.0)
(s2678 1.0)
(s2679 1.0)
(s2680 1.0)
(s2681 1.0)
(s2682 1.0)
(s2683 1.0)
(s2684 1.0)
(s2685 1.0)
(s2686 1.0)
(s2687 1.0)
(s2688 1.0)
(s2689 1.0)
(s2690 1.0)
(s2691 1.0)
(s2692 1.0)
(s2693 1.0)
(s2694 1.0)
(s2695 1.0)
(s2696 1.0)
(s2697 1.0)
(s2698 1.0)
(s2699 1.0)
(s2700 1.0)
(s2701 1.0)
(s2702 1.0)
(s2703 1.0)
(s2704 1.0)
(s2705 1.0)
(s2706 1.0)
(s2707 1.0)
(s2708 1.0)
(s2709 1.0)
(s2710 1.0)
(s2711 1.0)
(s2712 1.0)
(s2713 1.0)
(s2714 1.0)
(s2715 1.0)
(s2716 1.0)
(s2717 1.0)
(s2718 1.0)
(s2719 1.0)
(s2720 1.0)
(s2721 1.0)
(s2722 1.0)
(s2723 1.0)
(s2724 1.0)
(s2725 1.0)
(s2726 1.0)
(s2727 1.0)
(s2728 1.0)
(s2729 1.0)
(s2730 1.0)
(s2731 1.0)
(s2732 1.0)
(s2733 1.0)
(s2734 1.0)
(s2735 1.0)
(s2736 1.0)
(s2737 1.0)
(s2738 1.0)
(s2739 1.0)
(s2740 1.0)
(s2741 1.0)
(s2742 1.0)
(s2743 1.0)
(s2744 1.0)
(s2745 1.0)
(s2746 1.0)
(s2747 1.0)
(s2748 1.0)
(s2749 1.0)
(s2750 1.0)
(s2751 1.0)
(s2752 1.0)
(s2753 1.0)
(s2754 1.0)
(s2755 1.0)
(s2756 1.0)
(s2757 1.0)
(s2758 1.0)
(s2759 1.0)
(s2760 1.0)
(s2761 1.0)
(s2762 1.0)
(s2763 1.0)
(s2764 1.0)
(s2765 1.0)
(s2766 1.0)
(s2767 1.0)
(s2768 1.0)
(s2769 1.0)
(s2770 1.0)
(s2771 1.0)
(s2772 1.0)
(s2773 1.0)
(s2774 1.0)
(s2775 1.0)
(s2776 1.0)
(s2777 1.0)
(s2778 1.0)
(s2779 1.0)
(s2780 1.0)
(s2781 1.0)
(s2782 1.0)
(s2783 1.0)
(s2784 1.0)
(s2785 1.0)
(s2786 1.0)
(s2787 1.0)
(s2788 1.0)
(s2789 1.0)
(s2790 1.0)
(s2791 1.0)
(s2792 1.0)
(s2793 1.0)
(s2794 1.0)
(s2795 1.0)
(s2796 1.0)
(s2797 1.0)
(s2798 1.0)
(s2799 1.0)
(s2800 1.0)
(s2801 1.0)
(s2802 1.0)
(s2803 1.0)
(s2804 1.0)
(s2805 1.0)
(s2806 1.0)
(s2807 1.0)
(s2808 1.0)
(s2809 1.0)
(s2810 1.0)
(s2811 1.0)
(s2812 1.0)
(s2813 1.0)
(s2814 1.0)
(s2815 1.0)
(s2816 1.0)
(s2817 1.0)
(s2818 1.0)
(s2819 1.0)
(s2820 1.0)
(s2821 1.0)
(s2822 1.0)
(s2823 1.0)
(s2824 1.0)
(s2825 1.0)
(s2826 1.0)
(s2827 1.0)
(s2828 1.0)
(s2829 1.0)
(s2830 1.0)
(s2831 1.0)
(s2832 1.0)
(s2833 1.0)
(s2834 1.0)
(s2835 1.0)
(s2836 1.0)
(s2837 1.0)
(s2838 1.0)
(s2839 1.0)
(s2840 1.0)
(s2841 1.0)
(s2842 1.0)
(s2843 1.0)
(s2844 1.0)
(s2845 1.0)
(s2846 1.0)
(s2847 1.0)
(s2848 1.0)
(s2849 1.0)
(s2850 1.0)
(s2851 1.0)
(s2852 1.0)
(s2853 1.0)
(s2854 1.0)
(s2855 1.0)
(s2856 1.0)
(s2857 1.0)
(s2858 1.0)
(s2859 1.0)
(s2860 1.0)
(s2861 1.0)
(s2862 1.0)
(s2863 1.0)
(s2864 1.0)
(s2865 1.0)
(s2866 1.0)
(s2867 1.0)
(s2868 1.0)
(s2869 1.0)
(s2870 1.0)
(s2871 1.0)
(s2872 1.0)
(s2873 1.0)
(s2874 1.0)
(s2875 1.0)
(s2876 1.0)
(s2877 1.0)
(s2878 1.0)
(s2879 1.0)
(s2880 1.0)
(s2881 1.0)
(s2882 1.0)
(s2883 1.0)
(s2884 1.0)
(s2885 1.0)
(s2886 1.0)
(s2887 1.0)
(s2888 1.0)
(s2889 1.0)
(s2890 1.0)
(s2891 1.0)
(s2892 1.0)
(s2893 1.0)
(s2894 1.0)
(s2895 1.0)
(s2896 1.0)
(s2897 1.0)
(s2898 1.0)
(s2899 1.0)
(s2900 1.0)
(s2901 1.0)
(s2902 1.0)
(s2903 1.0)
(s2904 1.0)
(s2905 1.0)
(s2906 1.0)
(s2907 1.0)
(s2908 1.0)
(s2909 1.0)
(s2910 1.0)
(s2911 1.0)
(s2912 1.0)
(s2913 1.0)
(s2914 1.0)
(s2915 1.0)
(s2916 1.0)
(s2917 1.0)
(s2918 1.0)
(s2919 1.0)
(s2920 1.0)
(s2921 1.0)
(s2922 1.0)
(s2923 1.0)
(s2924 1.0)
(s2925 1.0)
(s2926 1.0)
(s2927 1.0)
(s2928 1.0)
(s2929 1.0)
(s2930 1.0)
(s2931 1.0)
(s2932 1.0)
(s2933 1.0)
(s2934 1.0)
(s2935 1.0)
(s2936 1.0)
(s2937 1.0)
(s2938 1.0)
(s2939 1.0)
(s2940 1.0)
(s2941 1.0)
(s2942 1.0)
(s2943 1.0)
(s2944 1.0)
(s2945 1.0)
(s2946 1.0)
(s2947 1.0)
(s2948 1.0)
(s2949 1.0)
(s2950 1.0)
(s2951 1.0)
(s2952 1.0)
(s2953 1.0)
(s2954 1.0)
(s2955 1.0)
(s2956 1.0)
(s2957 1.0)
(s2958 1.0)
(s2959 1.0)
(s2960 1.0)
(s2961 1.0)
(s2962 1.0)
(s2963 1.0)
(s2964 1.0)
(s2965 1.0)
(s2966 1.0)
(s2967 1.0)
(s2968 1.0)
(s2969 1.0)
(s2970 1.0)
(s2971 1.0)
(s2972 1.0)
(s2973 1.0)
(s2974 1.0)
(s2975 1.0)
(s2976 1.0)
(s2977 1.0)
(s2978 1.0)
(s2979 1.0)
(s2980 1.0)
(s2981 1.0)
(s2982 1.0)
(s2983 1.0)
(s2984 1.0)
(s2985 1.0)
(s2986 1.0)
(s2987 1.0)
(s2988 1.0)
(s2989 1.0)
(s2990 1.0)
(s2991 1.0)
(s2992 1.0)
(s2993 1.0)
(s2994 1.0)
(s2995 1.0)
(s2996 1.0)
(s2997 1.0)
(s2998 1.0)
(s2999 1.0)
(s3000 1.0)
(s3001 1.0)
(s3002 (/ 1.0 4.0))
(s3003 (/ 1.0 4.0))
(s3004 (/ 1.0 4.0))
(s3005 (/ 1.0 4.0))
(s3006 (/ 1.0 4.0))
(s3007 (/ 1.0 4.0))
(s3008 (/ 1.0 4.0))
(s3009 (/ 1.0 4.0))
(s3010 (/ 1.0 4.0))
(s3011 (/ 1.0 4.0))
(s3012 (/ 1.0 4.0))
(s3013 (/ 1.0 4.0))
(s3014 (/ 1.0 4.0))
(s3015 (/ 1.0 4.0))
(s3016 (/ 1.0 4.0))
(s3017 (/ 1.0 4.0))
(s3018 (/ 1.0 4.0))
(s3019 (/ 1.0 4.0))
(s3020 (/ 1.0 4.0))
(s3021 (/ 1.0 4.0))
(s3022 (/ 1.0 4.0))
(s3023 (/ 1.0 4.0))
(s3024 (/ 1.0 4.0))
(s3025 (/ 1.0 4.0))
(s3026 (/ 1.0 4.0))
(s3027 (/ 1.0 4.0))
(s3028 (/ 1.0 4.0))
(s3029 (/ 1.0 4.0))
(s3030 (/ 1.0 4.0))
(s3031 (/ 1.0 4.0))
(s3032 (/ 1.0 4.0))
(s3033 (/ 1.0 4.0))
(s3034 (/ 1.0 4.0))
(s3035 (/ 1.0 4.0))
(s3036 (/ 1.0 4.0))
(s3037 (/ 1.0 4.0))
(s3038 (/ 1.0 4.0))
(s3039 (/ 1.0 4.0))
(s3040 (/ 1.0 4.0))
(s3041 (/ 1.0 4.0))
(s3042 (/ 1.0 4.0))
(s3043 (/ 1.0 4.0))
(s3044 (/ 1.0 4.0))
(s3045 (/ 1.0 4.0))
(s3046 (/ 1.0 4.0))
(s3047 (/ 1.0 4.0))
(s3048 (/ 1.0 4.0))
(s3049 (/ 1.0 4.0))
(s3050 (/ 1.0 4.0))
(s3051 (/ 1.0 4.0))
(s3052 (/ 1.0 4.0))
(s3053 (/ 1.0 4.0))
(s3054 (/ 1.0 4.0))
(s3055 (/ 1.0 4.0))
(s3056 (/ 1.0 4.0))
(s3057 (/ 1.0 4.0))
(s3058 (/ 1.0 4.0))
(s3059 (/ 1.0 4.0))
(s3060 (/ 1.0 4.0))
(s3061 (/ 1.0 4.0))
(s3062 (/ 1.0 4.0))
(s3063 (/ 1.0 4.0))
(s3064 (/ 1.0 4.0))
(s3065 (/ 1.0 4.0))
(s3066 (/ 1.0 4.0))
(s3067 (/ 1.0 4.0))
(s3068 (/ 1.0 4.0))
(s3069 (/ 1.0 4.0))
(s3070 (/ 1.0 4.0))
(s3071 (/ 1.0 4.0))
(s3072 (/ 1.0 4.0))
(s3073 (/ 1.0 4.0))
(s3074 (/ 1.0 4.0))
(s3075 (/ 1.0 4.0))
(s3076 (/ 1.0 4.0))
(s3077 (/ 1.0 4.0))
(s3078 (/ 1.0 4.0))
(s3079 (/ 1.0 4.0))
(s3080 (/ 1.0 4.0))
(s3081 (/ 1.0 4.0))
(s3082 (/ 1.0 4.0))
(s3083 (/ 1.0 4.0))
(s3084 (/ 1.0 4.0))
(s3085 (/ 1.0 4.0))
(s3086 (/ 1.0 4.0))
(s3087 (/ 1.0 4.0))
(s3088 (/ 1.0 4.0))
(s3089 (/ 1.0 4.0))
(s3090 (/ 1.0 4.0))
(s3091 (/ 1.0 4.0))
(s3092 (/ 1.0 4.0))
(s3093 (/ 1.0 4.0))
(s3094 (/ 1.0 4.0))
(s3095 (/ 1.0 4.0))
(s3096 (/ 1.0 4.0))
(s3097 (/ 1.0 4.0))
(s3098 (/ 1.0 4.0))
(s3099 (/ 1.0 4.0))
(s3100 (/ 1.0 4.0))
(s3101 (/ 1.0 4.0))
(s3102 (/ 1.0 4.0))
(s3103 (/ 1.0 4.0))
(s3104 (/ 1.0 4.0))
(s3105 (/ 1.0 4.0))
(s3106 (/ 1.0 4.0))
(s3107 (/ 1.0 4.0))
(s3108 (/ 1.0 4.0))
(s3109 (/ 1.0 4.0))
(s3110 (/ 1.0 4.0))
(s3111 (/ 1.0 4.0))
(s3112 (/ 1.0 4.0))
(s3113 (/ 1.0 4.0))
(s3114 (/ 1.0 4.0))
(s3115 (/ 1.0 4.0))
(s3116 (/ 1.0 4.0))
(s3117 (/ 1.0 4.0))
(s3118 (/ 1.0 4.0))
(s3119 (/ 1.0 4.0))
(s3120 (/ 1.0 4.0))
(s3121 (/ 1.0 4.0))
(s3122 (/ 1.0 4.0))
(s3123 (/ 1.0 4.0))
(s3124 (/ 1.0 4.0))
(s3125 (/ 1.0 4.0))
(s3126 (/ 1.0 4.0))
(s3127 (/ 1.0 4.0))
(s3128 (/ 1.0 4.0))
(s3129 (/ 1.0 4.0))
(s3130 (/ 1.0 4.0))
(s3131 (/ 1.0 4.0))
(s3132 (/ 1.0 4.0))
(s3133 (/ 1.0 4.0))
(s3134 (/ 1.0 4.0))
(s3135 (/ 1.0 4.0))
(s3136 (/ 1.0 4.0))
(s3137 (/ 1.0 4.0))
(s3138 (/ 1.0 4.0))
(s3139 (/ 1.0 4.0))
(s3140 (/ 1.0 4.0))
(s3141 (/ 1.0 4.0))
(s3142 (/ 1.0 4.0))
(s3143 (/ 1.0 4.0))
(s3144 (/ 1.0 4.0))
(s3145 (/ 1.0 4.0))
(s3146 (/ 1.0 4.0))
(s3147 (/ 1.0 4.0))
(s3148 (/ 1.0 4.0))
(s3149 (/ 1.0 4.0))
(s3150 (/ 1.0 4.0))
(s3151 (/ 1.0 4.0))
(s3152 (/ 1.0 4.0))
(s3153 (/ 1.0 4.0))
(s3154 (/ 1.0 4.0))
(s3155 (/ 1.0 4.0))
(s3156 (/ 1.0 4.0))
(s3157 (/ 1.0 4.0))
(s3158 (/ 1.0 4.0))
(s3159 (/ 1.0 4.0))
(s3160 (/ 1.0 4.0))
(s3161 (/ 1.0 4.0))
(s3162 (/ 1.0 4.0))
(s3163 (/ 1.0 4.0))
(s3164 (/ 1.0 4.0))
(s3165 (/ 1.0 4.0))
(s3166 (/ 1.0 4.0))
(s3167 (/ 1.0 4.0))
(s3168 (/ 1.0 4.0))
(s3169 (/ 1.0 4.0))
(s3170 (/ 1.0 4.0))
(s3171 (/ 1.0 4.0))
(s3172 (/ 1.0 4.0))
(s3173 (/ 1.0 4.0))
(s3174 (/ 1.0 4.0))
(s3175 (/ 1.0 4.0))
(s3176 (/ 1.0 4.0))
(s3177 (/ 1.0 4.0))
(s3178 (/ 1.0 4.0))
(s3179 (/ 1.0 4.0))
(s3180 (/ 1.0 4.0))
(s3181 (/ 1.0 4.0))
(s3182 (/ 1.0 4.0))
(s3183 (/ 1.0 4.0))
(s3184 (/ 1.0 4.0))
(s3185 (/ 1.0 4.0))
(s3186 (/ 1.0 4.0))
(s3187 (/ 1.0 4.0))
(s3188 (/ 1.0 4.0))
(s3189 (/ 1.0 4.0))
(s3190 (/ 1.0 4.0))
(s3191 (/ 1.0 4.0))
(s3192 (/ 1.0 4.0))
(s3193 (/ 1.0 4.0))
(s3194 (/ 1.0 4.0))
(s3195 (/ 1.0 4.0))
(s3196 (/ 1.0 4.0))
(s3197 (/ 1.0 4.0))
(s3198 (/ 1.0 4.0))
(s3199 (/ 1.0 4.0))
(s3200 (/ 1.0 4.0))
(s3201 (/ 1.0 4.0))
(s3202 (/ 1.0 4.0))
(s3203 (/ 1.0 4.0))
(s3204 (/ 1.0 4.0))
(s3205 (/ 1.0 4.0))
(s3206 (/ 1.0 4.0))
(s3207 (/ 1.0 4.0))
(s3208 (/ 1.0 4.0))
(s3209 (/ 1.0 4.0))
(s3210 (/ 1.0 4.0))
(s3211 (/ 1.0 4.0))
(s3212 (/ 1.0 4.0))
(s3213 (/ 1.0 4.0))
(s3214 (/ 1.0 4.0))
(s3215 (/ 1.0 4.0))
(s3216 (/ 1.0 4.0))
(s3217 (/ 1.0 4.0))
(s3218 (/ 1.0 4.0))
(s3219 (/ 1.0 4.0))
(s3220 (/ 1.0 4.0))
(s3221 (/ 1.0 4.0))
(s3222 (/ 1.0 4.0))
(s3223 (/ 1.0 4.0))
(s3224 (/ 1.0 4.0))
(s3225 (/ 1.0 4.0))
(s3226 (/ 1.0 4.0))
(s3227 (/ 1.0 4.0))
(s3228 (/ 1.0 4.0))
(s3229 (/ 1.0 4.0))
(s3230 (/ 1.0 4.0))
(s3231 (/ 1.0 4.0))
(s3232 (/ 1.0 4.0))
(s3233 (/ 1.0 4.0))
(s3234 (/ 1.0 4.0))
(s3235 (/ 1.0 4.0))
(s3236 (/ 1.0 4.0))
(s3237 (/ 1.0 4.0))
(s3238 (/ 1.0 4.0))
(s3239 (/ 1.0 4.0))
(s3240 (/ 1.0 4.0))
(s3241 (/ 1.0 4.0))
(s3242 (/ 1.0 4.0))
(s3243 (/ 1.0 4.0))
(s3244 (/ 1.0 4.0))
(s3245 (/ 1.0 4.0))
(s3246 (/ 1.0 4.0))
(s3247 (/ 1.0 4.0))
(s3248 (/ 1.0 4.0))
(s3249 (/ 1.0 4.0))
(s3250 (/ 1.0 4.0))
(s3251 (/ 1.0 4.0))
(s3252 (/ 1.0 4.0))
(s3253 (/ 1.0 4.0))
(s3254 (/ 1.0 4.0))
(s3255 (/ 1.0 4.0))
(s3256 (/ 1.0 4.0))
(s3257 (/ 1.0 4.0))
(s3258 (/ 1.0 4.0))
(s3259 (/ 1.0 4.0))
(s3260 (/ 1.0 4.0))
(s3261 (/ 1.0 4.0))
(s3262 (/ 1.0 4.0))
(s3263 (/ 1.0 4.0))
(s3264 (/ 1.0 4.0))
(s3265 (/ 1.0 4.0))
(s3266 (/ 1.0 4.0))
(s3267 (/ 1.0 4.0))
(s3268 (/ 1.0 4.0))
(s3269 (/ 1.0 4.0))
(s3270 (/ 1.0 4.0))
(s3271 (/ 1.0 4.0))
(s3272 (/ 1.0 4.0))
(s3273 (/ 1.0 4.0))
(s3274 (/ 1.0 4.0))
(s3275 (/ 1.0 4.0))
(s3276 (/ 1.0 4.0))
(s3277 (/ 1.0 4.0))
(s3278 (/ 1.0 4.0))
(s3279 (/ 1.0 4.0))
(s3280 (/ 1.0 4.0))
(s3281 (/ 1.0 4.0))
(s3282 (/ 1.0 4.0))
(s3283 (/ 1.0 4.0))
(s3284 (/ 1.0 4.0))
(s3285 (/ 1.0 4.0))
(s3286 (/ 1.0 4.0))
(s3287 (/ 1.0 4.0))
(s3288 (/ 1.0 4.0))
(s3289 (/ 1.0 4.0))
(s3290 (/ 1.0 4.0))
(s3291 (/ 1.0 4.0))
(s3292 (/ 1.0 4.0))
(s3293 (/ 1.0 4.0))
(s3294 (/ 1.0 4.0))
(s3295 (/ 1.0 4.0))
(s3296 (/ 1.0 4.0))
(s3297 (/ 1.0 4.0))
(s3298 (/ 1.0 4.0))
(s3299 (/ 1.0 4.0))
(s3300 (/ 1.0 4.0))
(s3301 (/ 1.0 4.0))
(s3302 (/ 1.0 4.0))
(s3303 (/ 1.0 4.0))
(s3304 (/ 1.0 4.0))
(s3305 (/ 1.0 4.0))
(s3306 (/ 1.0 4.0))
(s3307 (/ 1.0 4.0))
(s3308 (/ 1.0 4.0))
(s3309 (/ 1.0 4.0))
(s3310 (/ 1.0 4.0))
(s3311 (/ 1.0 4.0))
(s3312 (/ 1.0 4.0))
(s3313 (/ 1.0 4.0))
(s3314 (/ 1.0 4.0))
(s3315 (/ 1.0 4.0))
(s3316 (/ 1.0 4.0))
(s3317 (/ 1.0 4.0))
(s3318 (/ 1.0 4.0))
(s3319 (/ 1.0 4.0))
(s3320 (/ 1.0 4.0))
(s3321 (/ 1.0 4.0))
(s3322 (/ 1.0 4.0))
(s3323 (/ 1.0 4.0))
(s3324 (/ 1.0 4.0))
(s3325 (/ 1.0 4.0))
(s3326 (/ 1.0 4.0))
(s3327 (/ 1.0 4.0))
(s3328 (/ 1.0 4.0))
(s3329 (/ 1.0 4.0))
(s3330 (/ 1.0 4.0))
(s3331 (/ 1.0 4.0))
(s3332 (/ 1.0 4.0))
(s3333 (/ 1.0 4.0))
(s3334 (/ 1.0 4.0))
(s3335 (/ 1.0 4.0))
(s3336 (/ 1.0 4.0))
(s3337 (/ 1.0 4.0))
(s3338 (/ 1.0 4.0))
(s3339 (/ 1.0 4.0))
(s3340 (/ 1.0 4.0))
(s3341 (/ 1.0 4.0))
(s3342 (/ 1.0 4.0))
(s3343 (/ 1.0 4.0))
(s3344 (/ 1.0 4.0))
(s3345 (/ 1.0 4.0))
(s3346 (/ 1.0 4.0))
(s3347 (/ 1.0 4.0))
(s3348 (/ 1.0 4.0))
(s3349 (/ 1.0 4.0))
(s3350 (/ 1.0 4.0))
(s3351 (/ 1.0 4.0))
(s3352 (/ 1.0 4.0))
(s3353 (/ 1.0 4.0))
(s3354 (/ 1.0 4.0))
(s3355 (/ 1.0 4.0))
(s3356 (/ 1.0 4.0))
(s3357 (/ 1.0 4.0))
(s3358 (/ 1.0 4.0))
(s3359 (/ 1.0 4.0))
(s3360 (/ 1.0 4.0))
(s3361 (/ 1.0 4.0))
(s3362 (/ 1.0 4.0))
(s3363 (/ 1.0 4.0))
(s3364 (/ 1.0 4.0))
(s3365 (/ 1.0 4.0))
(s3366 (/ 1.0 4.0))
(s3367 (/ 1.0 4.0))
(s3368 (/ 1.0 4.0))
(s3369 (/ 1.0 4.0))
(s3370 (/ 1.0 4.0))
(s3371 (/ 1.0 4.0))
(s3372 (/ 1.0 4.0))
(s3373 (/ 1.0 4.0))
(s3374 (/ 1.0 4.0))
(s3375 (/ 1.0 4.0))
(s3376 (/ 1.0 4.0))
(s3377 (/ 1.0 4.0))
(s3378 (/ 1.0 4.0))
(s3379 (/ 1.0 4.0))
(s3380 (/ 1.0 4.0))
(s3381 (/ 1.0 4.0))
(s3382 (/ 1.0 4.0))
(s3383 (/ 1.0 4.0))
(s3384 (/ 1.0 4.0))
(s3385 (/ 1.0 4.0))
(s3386 (/ 1.0 4.0))
(s3387 (/ 1.0 4.0))
(s3388 (/ 1.0 4.0))
(s3389 (/ 1.0 4.0))
(s3390 (/ 1.0 4.0))
(s3391 (/ 1.0 4.0))
(s3392 (/ 1.0 4.0))
(s3393 (/ 1.0 4.0))
(s3394 (/ 1.0 4.0))
(s3395 (/ 1.0 4.0))
(s3396 (/ 1.0 4.0))
(s3397 (/ 1.0 4.0))
(s3398 (/ 1.0 4.0))
(s3399 (/ 1.0 4.0))
(s3400 (/ 1.0 4.0))
(s3401 (/ 1.0 4.0))
(s3402 (/ 1.0 4.0))
(s3403 (/ 1.0 4.0))
(s3404 (/ 1.0 4.0))
(s3405 (/ 1.0 4.0))
(s3406 (/ 1.0 4.0))
(s3407 (/ 1.0 4.0))
(s3408 (/ 1.0 4.0))
(s3409 (/ 1.0 4.0))
(s3410 (/ 1.0 4.0))
(s3411 (/ 1.0 4.0))
(s3412 (/ 1.0 4.0))
(s3413 (/ 1.0 4.0))
(s3414 (/ 1.0 4.0))
(s3415 (/ 1.0 4.0))
(s3416 (/ 1.0 4.0))
(s3417 (/ 1.0 4.0))
(s3418 (/ 1.0 4.0))
(s3419 (/ 1.0 4.0))
(s3420 (/ 1.0 4.0))
(s3421 (/ 1.0 4.0))
(s3422 (/ 1.0 4.0))
(s3423 (/ 1.0 4.0))
(s3424 (/ 1.0 4.0))
(s3425 (/ 1.0 4.0))
(s3426 (/ 1.0 4.0))
(s3427 (/ 1.0 4.0))
(s3428 (/ 1.0 4.0))
(s3429 (/ 1.0 4.0))
(s3430 (/ 1.0 4.0))
(s3431 (/ 1.0 4.0))
(s3432 (/ 1.0 4.0))
(s3433 (/ 1.0 4.0))
(s3434 (/ 1.0 4.0))
(s3435 (/ 1.0 4.0))
(s3436 (/ 1.0 4.0))
(s3437 (/ 1.0 4.0))
(s3438 1.0)
(s3439 (/ 1.0 4.0))
(s3440 (/ 1.0 4.0))
(s3441 (/ 1.0 4.0))
(s3442 (/ 1.0 4.0))
(s3443 (/ 1.0 4.0))
(s3444 (/ 1.0 4.0))
(s3445 (/ 1.0 4.0))
(s3446 (/ 1.0 4.0))
(s3447 (/ 1.0 4.0))
(s3448 (/ 1.0 4.0))
(s3449 (/ 1.0 4.0))
(s3450 (/ 1.0 4.0))
(s3451 (/ 1.0 4.0))
(s3452 (/ 1.0 4.0))
(s3453 (/ 1.0 4.0))
(s3454 (/ 1.0 4.0))
(s3455 (/ 1.0 4.0))
(s3456 (/ 1.0 4.0))
(s3457 (/ 1.0 4.0))
(s3458 (/ 1.0 4.0))
(s3459 (/ 1.0 4.0))
(s3460 (/ 1.0 4.0))
(s3461 (/ 1.0 4.0))
(s3462 (/ 1.0 4.0))
(s3463 (/ 1.0 4.0))
(s3464 (/ 1.0 4.0))
(s3465 (/ 1.0 4.0))
(s3466 (/ 1.0 4.0))
(s3467 (/ 1.0 4.0))
(s3468 (/ 1.0 4.0))
(s3469 (/ 1.0 4.0))
(s3470 (/ 1.0 4.0))
(s3471 (/ 1.0 4.0))
(s3472 (/ 1.0 4.0))
(s3473 (/ 1.0 4.0))
(s3474 (/ 1.0 4.0))
(s3475 (/ 1.0 4.0))
(s3476 (/ 1.0 4.0))
(s3477 (/ 1.0 4.0))
(s3478 (/ 1.0 4.0))
(s3479 (/ 1.0 4.0))
(s3480 (/ 1.0 4.0))
(s3481 (/ 1.0 4.0))
(s3482 (/ 1.0 4.0))
(s3483 (/ 1.0 4.0))
(s3484 (/ 1.0 4.0))
(s3485 (/ 1.0 4.0))
(s3486 (/ 1.0 4.0))
(s3487 (/ 1.0 4.0))
(s3488 (/ 1.0 4.0))
(s3489 (/ 1.0 4.0))
(s3490 (/ 1.0 4.0))
(s3491 (/ 1.0 4.0))
(s3492 (/ 1.0 4.0))
(s3493 (/ 1.0 4.0))
(s3494 (/ 1.0 4.0))
(s3495 (/ 1.0 4.0))
(s3496 (/ 1.0 4.0))
(s3497 (/ 1.0 4.0))
(s3498 (/ 1.0 4.0))
(s3499 (/ 1.0 4.0))
(s3500 (/ 1.0 4.0))
(s3501 (/ 1.0 4.0))
(s3502 (/ 1.0 4.0))
(s3503 (/ 1.0 4.0))
(s3504 (/ 1.0 4.0))
(s3505 (/ 1.0 4.0))
(s3506 (/ 1.0 4.0))
(s3507 (/ 1.0 4.0))
(s3508 (/ 1.0 4.0))
(s3509 (/ 1.0 4.0))
(s3510 (/ 1.0 4.0))
(s3511 (/ 1.0 4.0))
(s3512 (/ 1.0 4.0))
(s3513 (/ 1.0 4.0))
(s3514 (/ 1.0 4.0))
(s3515 (/ 1.0 4.0))
(s3516 (/ 1.0 4.0))
(s3517 (/ 1.0 4.0))
(s3518 (/ 1.0 4.0))
(s3519 (/ 1.0 4.0))
(s3520 (/ 1.0 4.0))
(s3521 (/ 1.0 4.0))
(s3522 (/ 1.0 4.0))
(s3523 (/ 1.0 4.0))
(s3524 (/ 1.0 4.0))
(s3525 (/ 1.0 4.0))
(s3526 (/ 1.0 4.0))
(s3527 (/ 1.0 4.0))
(s3528 (/ 1.0 4.0))
(s3529 (/ 1.0 4.0))
(s3530 (/ 1.0 4.0))
(s3531 (/ 1.0 4.0))
(s3532 (/ 1.0 4.0))
(s3533 (/ 1.0 4.0))
(s3534 (/ 1.0 4.0))
(s3535 (/ 1.0 4.0))
(s3536 (/ 1.0 4.0))
(s3537 (/ 1.0 4.0))
(s3538 (/ 1.0 4.0))
(s3539 (/ 1.0 4.0))
(s3540 (/ 1.0 4.0))
(s3541 (/ 1.0 4.0))
(s3542 (/ 1.0 4.0))
(s3543 (/ 1.0 4.0))
(s3544 (/ 1.0 4.0))
(s3545 (/ 1.0 4.0))
(s3546 (/ 1.0 4.0))
(s3547 (/ 1.0 4.0))
(s3548 (/ 1.0 4.0))
(s3549 (/ 1.0 4.0))
(s3550 (/ 1.0 4.0))
(s3551 (/ 1.0 4.0))
(s3552 (/ 1.0 4.0))
(s3553 (/ 1.0 4.0))
(s3554 (/ 1.0 4.0))
(s3555 (/ 1.0 4.0))
(s3556 (/ 1.0 4.0))
(s3557 (/ 1.0 4.0))
(s3558 (/ 1.0 4.0))
(s3559 (/ 1.0 4.0))
(s3560 (/ 1.0 4.0))
(s3561 (/ 1.0 4.0))
(s3562 (/ 1.0 4.0))
(s3563 (/ 1.0 4.0))
(s3564 (/ 1.0 4.0))
(s3565 (/ 1.0 4.0))
(s3566 (/ 1.0 4.0))
(s3567 (/ 1.0 4.0))
(s3568 (/ 1.0 4.0))
(s3569 (/ 1.0 4.0))
(s3570 (/ 1.0 4.0))
(s3571 (/ 1.0 4.0))
(s3572 (/ 1.0 4.0))
(s3573 (/ 1.0 4.0))
(s3574 (/ 1.0 4.0))
(s3575 (/ 1.0 4.0))
(s3576 (/ 1.0 4.0))
(s3577 (/ 1.0 4.0))
(s3578 (/ 1.0 4.0))
(s3579 (/ 1.0 4.0))
(s3580 (/ 1.0 4.0))
(s3581 (/ 1.0 4.0))
(s3582 (/ 1.0 4.0))
(s3583 (/ 1.0 4.0))
(s3584 (/ 1.0 4.0))
(s3585 (/ 1.0 4.0))
(s3586 (/ 1.0 4.0))
(s3587 (/ 1.0 4.0))
(s3588 (/ 1.0 4.0))
(s3589 (/ 1.0 4.0))
(s3590 (/ 1.0 4.0))
(s3591 (/ 1.0 4.0))
(s3592 (/ 1.0 4.0))
(s3593 (/ 1.0 4.0))
(s3594 (/ 1.0 4.0))
(s3595 (/ 1.0 4.0))
(s3596 (/ 1.0 4.0))
(s3597 (/ 1.0 4.0))
(s3598 (/ 1.0 4.0))
(s3599 (/ 1.0 4.0))
(s3600 (/ 1.0 4.0))
(s3601 (/ 1.0 4.0))
(s3602 (/ 1.0 4.0))
(s3603 (/ 1.0 4.0))
(s3604 (/ 1.0 4.0))
(s3605 (/ 1.0 4.0))
(s3606 (/ 1.0 4.0))
(s3607 (/ 1.0 4.0))
(s3608 (/ 1.0 4.0))
(s3609 (/ 1.0 4.0))
(s3610 (/ 1.0 4.0))
(s3611 (/ 1.0 4.0))
(s3612 (/ 1.0 4.0))
(s3613 (/ 1.0 4.0))
(s3614 (/ 1.0 4.0))
(s3615 (/ 1.0 4.0))
(s3616 (/ 1.0 4.0))
(s3617 (/ 1.0 4.0))
(s3618 (/ 1.0 4.0))
(s3619 (/ 1.0 4.0))
(s3620 (/ 1.0 4.0))
(s3621 (/ 1.0 4.0))
(s3622 (/ 1.0 4.0))
(s3623 (/ 1.0 4.0))
(s3624 (/ 1.0 4.0))
(s3625 (/ 1.0 4.0))
(s3626 (/ 1.0 4.0))
(s3627 (/ 1.0 4.0))
(s3628 (/ 1.0 4.0))
(s3629 (/ 1.0 4.0))
(s3630 (/ 1.0 4.0))
(s3631 (/ 1.0 4.0))
(s3632 (/ 1.0 4.0))
(s3633 (/ 1.0 4.0))
(s3634 (/ 1.0 4.0))
(s3635 (/ 1.0 4.0))
(s3636 (/ 1.0 4.0))
(s3637 (/ 1.0 4.0))
(s3638 (/ 1.0 4.0))
(s3639 (/ 1.0 4.0))
(s3640 (/ 1.0 4.0))
(s3641 (/ 1.0 4.0))
(s3642 (/ 1.0 4.0))
(s3643 (/ 1.0 4.0))
(s3644 (/ 1.0 4.0))
(s3645 (/ 1.0 4.0))
(s3646 (/ 1.0 4.0))
(s3647 (/ 1.0 4.0))
(s3648 (/ 1.0 4.0))
(s3649 (/ 1.0 4.0))
(s3650 (/ 1.0 4.0))
(s3651 (/ 1.0 4.0))
(s3652 (/ 1.0 4.0))
(s3653 (/ 1.0 4.0))
(s3654 (/ 1.0 4.0))
(s3655 (/ 1.0 4.0))
(s3656 (/ 1.0 4.0))
(s3657 (/ 1.0 4.0))
(s3658 (/ 1.0 4.0))
(s3659 (/ 1.0 4.0))
(s3660 (/ 1.0 4.0))
(s3661 (/ 1.0 4.0))
(s3662 (/ 1.0 4.0))
(s3663 (/ 1.0 4.0))
(s3664 (/ 1.0 4.0))
(s3665 (/ 1.0 4.0))
(s3666 (/ 1.0 4.0))
(s3667 (/ 1.0 4.0))
(s3668 (/ 1.0 4.0))
(s3669 (/ 1.0 4.0))
(s3670 (/ 1.0 4.0))
(s3671 (/ 1.0 4.0))
(s3672 (/ 1.0 4.0))
(s3673 (/ 1.0 4.0))
(s3674 (/ 1.0 4.0))
(s3675 (/ 1.0 4.0))
(s3676 (/ 1.0 4.0))
(s3677 (/ 1.0 4.0))
(s3678 (/ 1.0 4.0))
(s3679 (/ 1.0 4.0))
(s3680 (/ 1.0 4.0))
(s3681 (/ 1.0 4.0))
(s3682 (/ 1.0 4.0))
(s3683 (/ 1.0 4.0))
(s3684 (/ 1.0 4.0))
(s3685 (/ 1.0 4.0))
(s3686 (/ 1.0 4.0))
(s3687 (/ 1.0 4.0))
(s3688 (/ 1.0 4.0))
(s3689 (/ 1.0 4.0))
(s3690 (/ 1.0 4.0))
(s3691 (/ 1.0 4.0))
(s3692 (/ 1.0 4.0))
(s3693 (/ 1.0 4.0))
(s3694 (/ 1.0 4.0))
(s3695 (/ 1.0 4.0))
(s3696 (/ 1.0 4.0))
(s3697 (/ 1.0 4.0))
(s3698 (/ 1.0 4.0))
(s3699 (/ 1.0 4.0))
(s3700 (/ 1.0 4.0))
(s3701 (/ 1.0 4.0))
(s3702 (/ 1.0 4.0))
(s3703 (/ 1.0 4.0))
(s3704 (/ 1.0 4.0))
(s3705 (/ 1.0 4.0))
(s3706 (/ 1.0 4.0))
(s3707 (/ 1.0 4.0))
(s3708 (/ 1.0 4.0))
(s3709 (/ 1.0 4.0))
(s3710 (/ 1.0 4.0))
(s3711 (/ 1.0 4.0))
(s3712 (/ 1.0 4.0))
(s3713 (/ 1.0 4.0))
(s3714 (/ 1.0 4.0))
(s3715 (/ 1.0 4.0))
(s3716 (/ 1.0 4.0))
(s3717 (/ 1.0 4.0))
(s3718 (/ 1.0 4.0))
(s3719 (/ 1.0 4.0))
(s3720 (/ 1.0 4.0))
(s3721 (/ 1.0 4.0))
(s3722 (/ 1.0 4.0))
(s3723 (/ 1.0 4.0))
(s3724 (/ 1.0 4.0))
(s3725 (/ 1.0 4.0))
(s3726 (/ 1.0 4.0))
(s3727 (/ 1.0 4.0))
(s3728 (/ 1.0 4.0))
(s3729 (/ 1.0 4.0))
(s3730 (/ 1.0 4.0))
(s3731 (/ 1.0 4.0))
(s3732 (/ 1.0 4.0))
(s3733 (/ 1.0 4.0))
(s3734 (/ 1.0 4.0))
(s3735 (/ 1.0 4.0))
(s3736 (/ 1.0 4.0))
(s3737 (/ 1.0 4.0))
(s3738 (/ 1.0 4.0))
(s3739 (/ 1.0 4.0))
(s3740 (/ 1.0 4.0))
(s3741 (/ 1.0 4.0))
(s3742 (/ 1.0 4.0))
(s3743 (/ 1.0 4.0))
(s3744 (/ 1.0 4.0))
(s3745 (/ 1.0 4.0))
(s3746 (/ 1.0 4.0))
(s3747 (/ 1.0 4.0))
(s3748 (/ 1.0 4.0))
(s3749 (/ 1.0 4.0))
(s3750 (/ 1.0 4.0))
(s3751 (/ 1.0 4.0))
(s3752 (/ 1.0 4.0))
(s3753 (/ 1.0 4.0))
(s3754 (/ 1.0 4.0))
(s3755 (/ 1.0 4.0))
(s3756 (/ 1.0 4.0))
(s3757 (/ 1.0 4.0))
(s3758 (/ 1.0 4.0))
(s3759 (/ 1.0 4.0))
(s3760 (/ 1.0 4.0))
(s3761 (/ 1.0 4.0))
(s3762 (/ 1.0 4.0))
(s3763 (/ 1.0 4.0))
(s3764 (/ 1.0 4.0))
(s3765 (/ 1.0 4.0))
(s3766 (/ 1.0 4.0))
(s3767 (/ 1.0 4.0))
(s3768 (/ 1.0 4.0))
(s3769 (/ 1.0 4.0))
(s3770 (/ 1.0 4.0))
(s3771 (/ 1.0 4.0))
(s3772 (/ 1.0 4.0))
(s3773 (/ 1.0 4.0))
(s3774 (/ 1.0 4.0))
(s3775 (/ 1.0 4.0))
(s3776 (/ 1.0 4.0))
(s3777 (/ 1.0 4.0))
(s3778 (/ 1.0 4.0))
(s3779 (/ 1.0 4.0))
(s3780 (/ 1.0 4.0))
(s3781 (/ 1.0 4.0))
(s3782 (/ 1.0 4.0))
(s3783 (/ 1.0 4.0))
(s3784 (/ 1.0 4.0))
(s3785 (/ 1.0 4.0))
(s3786 (/ 1.0 4.0))
(s3787 (/ 1.0 4.0))
(s3788 (/ 1.0 4.0))
(s3789 (/ 1.0 4.0))
(s3790 (/ 1.0 4.0))
(s3791 (/ 1.0 4.0))
(s3792 (/ 1.0 4.0))
(s3793 (/ 1.0 4.0))
(s3794 (/ 1.0 4.0))
(s3795 (/ 1.0 4.0))
(s3796 (/ 1.0 4.0))
(s3797 (/ 1.0 4.0))
(s3798 (/ 1.0 4.0))
(s3799 (/ 1.0 4.0))
(s3800 (/ 1.0 4.0))
(s3801 (/ 1.0 4.0))
(s3802 (/ 1.0 4.0))
(s3803 (/ 1.0 4.0))
(s3804 (/ 1.0 4.0))
(s3805 (/ 1.0 4.0))
(s3806 (/ 1.0 4.0))
(s3807 (/ 1.0 4.0))
(s3808 (/ 1.0 4.0))
(s3809 (/ 1.0 4.0))
(s3810 (/ 1.0 4.0))
(s3811 (/ 1.0 4.0))
(s3812 (/ 1.0 4.0))
(s3813 (/ 1.0 4.0))
(s3814 (/ 1.0 4.0))
(s3815 (/ 1.0 4.0))
(s3816 (/ 1.0 4.0))
(s3817 (/ 1.0 4.0))
(s3818 (/ 1.0 4.0))
(s3819 (/ 1.0 4.0))
(s3820 (/ 1.0 4.0))
(s3821 (/ 1.0 4.0))
(s3822 (/ 1.0 4.0))
(s3823 (/ 1.0 4.0))
(s3824 (/ 1.0 4.0))
(s3825 (/ 1.0 4.0))
(s3826 (/ 1.0 4.0))
(s3827 (/ 1.0 4.0))
(s3828 (/ 1.0 4.0))
(s3829 (/ 1.0 4.0))
(s3830 (/ 1.0 4.0))
(s3831 (/ 1.0 4.0))
(s3832 (/ 1.0 4.0))
(s3833 (/ 1.0 4.0))
(s3834 (/ 1.0 4.0))
(s3835 (/ 1.0 4.0))
(s3836 (/ 1.0 4.0))
(s3837 (/ 1.0 4.0))
(s3838 (/ 1.0 4.0))
(s3839 (/ 1.0 4.0))
(s3840 (/ 1.0 4.0))
(s3841 (/ 1.0 4.0))
(s3842 (/ 1.0 4.0))
(s3843 (/ 1.0 4.0))
(s3844 (/ 1.0 4.0))
(s3845 (/ 1.0 4.0))
(s3846 (/ 1.0 4.0))
(s3847 (/ 1.0 4.0))
(s3848 (/ 1.0 4.0))
(s3849 (/ 1.0 4.0))
(s3850 (/ 1.0 4.0))
(s3851 (/ 1.0 4.0))
(s3852 (/ 1.0 4.0))
(s3853 (/ 1.0 4.0))
(s3854 (/ 1.0 4.0))
(s3855 (/ 1.0 4.0))
(s3856 (/ 1.0 4.0))
(s3857 (/ 1.0 4.0))
(s3858 (/ 1.0 4.0))
(s3859 (/ 1.0 4.0))
(s3860 (/ 1.0 4.0))
(s3861 (/ 1.0 4.0))
(s3862 (/ 1.0 4.0))
(s3863 (/ 1.0 4.0))
(s3864 (/ 1.0 4.0))
(s3865 (/ 1.0 4.0))
(s3866 (/ 1.0 4.0))
(s3867 (/ 1.0 4.0))
(s3868 (/ 1.0 4.0))
(s3869 (/ 1.0 4.0))
(s3870 (/ 1.0 4.0))
(s3871 (/ 1.0 4.0))
(s3872 (/ 1.0 4.0))
(s3873 (/ 1.0 4.0))
(s3874 (/ 1.0 4.0))
(s3875 (/ 1.0 4.0))
(s3876 (/ 1.0 4.0))
(s3877 (/ 1.0 4.0))
(s3878 (/ 1.0 4.0))
(s3879 (/ 1.0 4.0))
(s3880 (/ 1.0 4.0))
(s3881 (/ 1.0 4.0))
(s3882 (/ 1.0 4.0))
(s3883 (/ 1.0 4.0))
(s3884 (/ 1.0 4.0))
(s3885 (/ 1.0 4.0))
(s3886 (/ 1.0 4.0))
(s3887 (/ 1.0 4.0))
(s3888 (/ 1.0 4.0))
(s3889 (/ 1.0 4.0))
(s3890 (/ 1.0 4.0))
(s3891 (/ 1.0 4.0))
(s3892 (/ 1.0 4.0))
(s3893 (/ 1.0 4.0))
(s3894 (/ 1.0 4.0))
(s3895 (/ 1.0 4.0))
(s3896 (/ 1.0 4.0))
(s3897 (/ 1.0 4.0))
(s3898 (/ 1.0 4.0))
(s3899 (/ 1.0 4.0))
(s3900 (/ 1.0 4.0))
(s3901 (/ 1.0 4.0))
(s3902 (/ 1.0 4.0))
(s3903 (/ 1.0 4.0))
(s3904 (/ 1.0 4.0))
(s3905 (/ 1.0 4.0))
(s3906 (/ 1.0 4.0))
(s3907 (/ 1.0 4.0))
(s3908 (/ 1.0 4.0))
(s3909 (/ 1.0 4.0))
(s3910 (/ 1.0 4.0))
(s3911 (/ 1.0 4.0))
(s3912 (/ 1.0 4.0))
(s3913 (/ 1.0 4.0))
(s3914 (/ 1.0 4.0))
(s3915 (/ 1.0 4.0))
(s3916 (/ 1.0 4.0))
(s3917 (/ 1.0 4.0))
(s3918 (/ 1.0 4.0))
(s3919 (/ 1.0 4.0))
(s3920 (/ 1.0 4.0))
(s3921 (/ 1.0 4.0))
(s3922 (/ 1.0 4.0))
(s3923 (/ 1.0 4.0))
(s3924 (/ 1.0 4.0))
(s3925 (/ 1.0 4.0))
(s3926 (/ 1.0 4.0))
(s3927 (/ 1.0 4.0))
(s3928 (/ 1.0 4.0))
(s3929 (/ 1.0 4.0))
(s3930 (/ 1.0 4.0))
(s3931 (/ 1.0 4.0))
(s3932 (/ 1.0 4.0))
(s3933 (/ 1.0 4.0))
(s3934 (/ 1.0 4.0))
(s3935 (/ 1.0 4.0))
(s3936 (/ 1.0 4.0))
(s3937 (/ 1.0 4.0))
(s3938 (/ 1.0 4.0))
(s3939 (/ 1.0 4.0))
(s3940 (/ 1.0 4.0))
(s3941 (/ 1.0 4.0))
(s3942 (/ 1.0 4.0))
(s3943 (/ 1.0 4.0))
(s3944 (/ 1.0 4.0))
(s3945 (/ 1.0 4.0))
(s3946 (/ 1.0 4.0))
(s3947 (/ 1.0 4.0))
(s3948 (/ 1.0 4.0))
(s3949 (/ 1.0 4.0))
(s3950 (/ 1.0 4.0))
(s3951 (/ 1.0 4.0))
(s3952 (/ 1.0 4.0))
(s3953 (/ 1.0 4.0))
(s3954 (/ 1.0 4.0))
(s3955 (/ 1.0 4.0))
(s3956 (/ 1.0 4.0))
(s3957 (/ 1.0 4.0))
(s3958 (/ 1.0 4.0))
(s3959 (/ 1.0 4.0))
(s3960 (/ 1.0 4.0))
(s3961 (/ 1.0 4.0))
(s3962 (/ 1.0 4.0))
(s3963 (/ 1.0 4.0))
(s3964 (/ 1.0 4.0))
(s3965 (/ 1.0 4.0))
(s3966 (/ 1.0 4.0))
(s3967 (/ 1.0 4.0))
(s3968 (/ 1.0 4.0))
(s3969 (/ 1.0 4.0))
(s3970 (/ 1.0 4.0))
(s3971 (/ 1.0 4.0))
(s3972 (/ 1.0 4.0))
(s3973 (/ 1.0 4.0))
(s3974 (/ 1.0 4.0))
(s3975 (/ 1.0 4.0))
(s3976 (/ 1.0 4.0))
(s3977 (/ 1.0 4.0))
(s3978 (/ 1.0 4.0))
(s3979 (/ 1.0 4.0))
(s3980 (/ 1.0 4.0))
(s3981 (/ 1.0 4.0))
(s3982 (/ 1.0 4.0))
(s3983 (/ 1.0 4.0))
(s3984 (/ 1.0 4.0))
(s3985 (/ 1.0 4.0))
(s3986 (/ 1.0 4.0))
(s3987 (/ 1.0 4.0))
(s3988 (/ 1.0 4.0))
(s3989 (/ 1.0 4.0))
(s3990 (/ 1.0 4.0))
(s3991 (/ 1.0 4.0))
(s3992 (/ 1.0 4.0))
(s3993 (/ 1.0 4.0))
(s3994 (/ 1.0 4.0))
(s3995 (/ 1.0 4.0))
(s3996 (/ 1.0 4.0))
(s3997 (/ 1.0 4.0))
(s3998 (/ 1.0 4.0))
(s3999 (/ 1.0 4.0))
(s4000 (/ 1.0 4.0))
(s4001 1.0)
(s4002 (/ 1.0 4.0))
(s4068 0.0)
(s4290 (/ 1.0 4.0))
(s4622 1.0)
(s4653 (/ 1.0 4.0))
(s5075 (/ 1.0 4.0))
(s5148 (/ 1.0 4.0))
(s5239 (/ 3.0 4.0))
(s5611 (/ 1.0 4.0))
(s5637 (/ 1.0 4.0))
(s5650 1.0)
(s6002 (/ 1.0 4.0))
(s6003 (/ 1.0 4.0))
(s6004 (/ 1.0 4.0))
(s6005 (/ 1.0 4.0))
(s6006 (/ 1.0 4.0))
(s6007 (/ 1.0 4.0))
(s6008 (/ 1.0 4.0))
(s6009 (/ 1.0 4.0))
(s6010 (/ 1.0 4.0))
(s6011 (/ 1.0 4.0))
(s6012 (/ 1.0 4.0))
(s6013 (/ 1.0 4.0))
(s6014 (/ 1.0 4.0))
(s6015 (/ 1.0 4.0))
(s6016 (/ 1.0 4.0))
(s6017 (/ 1.0 4.0))
(s6018 (/ 1.0 4.0))
(s6019 (/ 1.0 4.0))
(s6020 (/ 1.0 4.0))
(s6021 (/ 1.0 4.0))
(s6022 (/ 1.0 4.0))
(s6023 (/ 1.0 4.0))
(s6024 (/ 1.0 4.0))
(s6025 (/ 1.0 4.0))
(s6026 (/ 1.0 4.0))
(s6027 (/ 1.0 4.0))
(s6028 (/ 1.0 4.0))
(s6029 (/ 1.0 4.0))
(s6030 (/ 1.0 4.0))
(s6031 (/ 1.0 4.0))
(s6032 (/ 1.0 4.0))
(s6033 (/ 1.0 4.0))
(s6034 (/ 1.0 4.0))
(s6035 (/ 1.0 4.0))
(s6036 (/ 1.0 4.0))
(s6037 (/ 1.0 4.0))
(s6038 (/ 1.0 4.0))
(s6039 (/ 1.0 4.0))
(s6040 (/ 1.0 4.0))
(s6041 (/ 1.0 4.0))
(s6042 (/ 1.0 4.0))
(s6043 (/ 1.0 4.0))
(s6044 (/ 1.0 4.0))
(s6045 (/ 1.0 4.0))
(s6046 (/ 1.0 4.0))
(s6047 (/ 1.0 4.0))
(s6048 (/ 1.0 4.0))
(s6049 (/ 1.0 4.0))
(s6050 (/ 1.0 4.0))
(s6051 (/ 1.0 4.0))
(s6052 (/ 1.0 4.0))
(s6053 (/ 1.0 4.0))
(s6054 (/ 1.0 4.0))
(s6055 (/ 1.0 4.0))
(s6056 (/ 1.0 4.0))
(s6057 (/ 1.0 4.0))
(s6058 (/ 1.0 4.0))
(s6059 (/ 1.0 4.0))
(s6060 (/ 1.0 4.0))
(s6061 (/ 1.0 4.0))
(s6062 (/ 1.0 4.0))
(s6063 (/ 1.0 4.0))
(s6064 (/ 1.0 4.0))
(s6065 (/ 1.0 4.0))
(s6066 (/ 1.0 4.0))
(s6067 (/ 1.0 4.0))
(s6068 (/ 1.0 4.0))
(s6069 (/ 1.0 4.0))
(s6070 (/ 1.0 4.0))
(s6071 (/ 1.0 4.0))
(s6072 (/ 1.0 4.0))
(s6073 (/ 1.0 4.0))
(s6074 (/ 1.0 4.0))
(s6075 (/ 1.0 4.0))
(s6076 (/ 1.0 4.0))
(s6077 (/ 1.0 4.0))
(s6078 (/ 1.0 4.0))
(s6079 (/ 1.0 4.0))
(s6080 (/ 1.0 4.0))
(s6081 (/ 1.0 4.0))
(s6082 (/ 1.0 4.0))
(s6083 (/ 1.0 4.0))
(s6084 (/ 1.0 4.0))
(s6085 (/ 1.0 4.0))
(s6086 (/ 1.0 4.0))
(s6087 (/ 1.0 4.0))
(s6088 (/ 1.0 4.0))
(s6089 (/ 1.0 4.0))
(s6090 (/ 1.0 4.0))
(s6091 (/ 1.0 4.0))
(s6092 (/ 1.0 4.0))
(s6093 (/ 1.0 4.0))
(s6094 (/ 1.0 4.0))
(s6095 (/ 1.0 4.0))
(s6096 (/ 1.0 4.0))
(s6097 (/ 1.0 4.0))
(s6098 (/ 1.0 4.0))
(s6099 (/ 1.0 4.0))
(s6100 (/ 1.0 4.0))
(s6101 (/ 1.0 4.0))
(s6102 (/ 1.0 4.0))
(s6103 (/ 1.0 4.0))
(s6104 (/ 1.0 4.0))
(s6105 (/ 1.0 4.0))
(s6106 (/ 1.0 4.0))
(s6107 (/ 1.0 4.0))
(s6108 (/ 1.0 4.0))
(s6109 (/ 1.0 4.0))
(s6110 (/ 1.0 4.0))
(s6111 (/ 1.0 4.0))
(s6112 (/ 1.0 4.0))
(s6113 (/ 1.0 4.0))
(s6114 (/ 1.0 4.0))
(s6115 (/ 1.0 4.0))
(s6116 (/ 1.0 4.0))
(s6117 (/ 1.0 4.0))
(s6118 (/ 1.0 4.0))
(s6119 (/ 1.0 4.0))
(s6120 (/ 1.0 4.0))
(s6121 (/ 1.0 4.0))
(s6122 (/ 1.0 4.0))
(s6123 (/ 1.0 4.0))
(s6124 (/ 1.0 4.0))
(s6125 (/ 1.0 4.0))
(s6126 (/ 1.0 4.0))
(s6127 (/ 1.0 4.0))
(s6128 (/ 1.0 4.0))
(s6129 (/ 1.0 4.0))
(s6130 (/ 1.0 4.0))
(s6131 (/ 1.0 4.0))
(s6132 (/ 1.0 4.0))
(s6133 (/ 1.0 4.0))
(s6134 (/ 1.0 4.0))
(s6135 (/ 1.0 4.0))
(s6136 (/ 1.0 4.0))
(s6137 (/ 1.0 4.0))
(s6138 (/ 1.0 4.0))
(s6139 (/ 1.0 4.0))
(s6140 (/ 1.0 4.0))
(s6141 (/ 1.0 4.0))
(s6142 (/ 1.0 4.0))
(s6143 (/ 1.0 4.0))
(s6144 (/ 1.0 4.0))
(s6145 (/ 1.0 4.0))
(s6146 (/ 1.0 4.0))
(s6147 (/ 1.0 4.0))
(s6148 (/ 1.0 4.0))
(s6149 (/ 1.0 4.0))
(s6150 (/ 1.0 4.0))
(s6151 (/ 1.0 4.0))
(s6152 (/ 1.0 4.0))
(s6153 (/ 1.0 4.0))
(s6154 (/ 1.0 4.0))
(s6155 (/ 1.0 4.0))
(s6156 (/ 1.0 4.0))
(s6157 (/ 1.0 4.0))
(s6158 (/ 1.0 4.0))
(s6159 (/ 1.0 4.0))
(s6160 (/ 1.0 4.0))
(s6161 (/ 1.0 4.0))
(s6162 (/ 1.0 4.0))
(s6163 (/ 1.0 4.0))
(s6164 (/ 1.0 4.0))
(s6165 (/ 1.0 4.0))
(s6166 (/ 1.0 4.0))
(s6167 (/ 1.0 4.0))
(s6168 (/ 1.0 4.0))
(s6169 (/ 1.0 4.0))
(s6170 (/ 1.0 4.0))
(s6171 (/ 1.0 4.0))
(s6172 (/ 1.0 4.0))
(s6173 (/ 1.0 4.0))
(s6174 (/ 1.0 4.0))
(s6175 (/ 1.0 4.0))
(s6176 (/ 1.0 4.0))
(s6177 (/ 1.0 4.0))
(s6178 (/ 1.0 4.0))
(s6179 (/ 1.0 4.0))
(s6180 (/ 1.0 4.0))
(s6181 (/ 1.0 4.0))
(s6182 (/ 1.0 4.0))
(s6183 (/ 1.0 4.0))
(s6184 (/ 1.0 4.0))
(s6185 (/ 1.0 4.0))
(s6186 (/ 1.0 4.0))
(s6187 (/ 1.0 4.0))
(s6188 (/ 1.0 4.0))
(s6189 (/ 1.0 4.0))
(s6190 (/ 1.0 4.0))
(s6191 (/ 1.0 4.0))
(s6192 (/ 1.0 4.0))
(s6193 (/ 1.0 4.0))
(s6194 (/ 1.0 4.0))
(s6195 (/ 1.0 4.0))
(s6196 (/ 1.0 4.0))
(s6197 (/ 1.0 4.0))
(s6198 (/ 1.0 4.0))
(s6199 (/ 1.0 4.0))
(s6200 (/ 1.0 4.0))
(s6201 (/ 1.0 4.0))
(s6202 (/ 1.0 4.0))
(s6203 (/ 1.0 4.0))
(s6204 (/ 1.0 4.0))
(s6205 (/ 1.0 4.0))
(s6206 (/ 1.0 4.0))
(s6207 (/ 1.0 4.0))
(s6208 (/ 1.0 4.0))
(s6209 (/ 1.0 4.0))
(s6210 (/ 1.0 4.0))
(s6211 (/ 1.0 4.0))
(s6212 (/ 1.0 4.0))
(s6213 (/ 1.0 4.0))
(s6214 (/ 1.0 4.0))
(s6215 (/ 1.0 4.0))
(s6216 (/ 1.0 4.0))
(s6217 (/ 1.0 4.0))
(s6218 (/ 1.0 4.0))
(s6219 (/ 1.0 4.0))
(s6220 (/ 1.0 4.0))
(s6221 (/ 1.0 4.0))
(s6222 (/ 1.0 4.0))
(s6223 (/ 1.0 4.0))
(s6224 (/ 1.0 4.0))
(s6225 (/ 1.0 4.0))
(s6226 (/ 1.0 4.0))
(s6227 (/ 1.0 4.0))
(s6228 (/ 1.0 4.0))
(s6229 (/ 1.0 4.0))
(s6230 (/ 1.0 4.0))
(s6231 (/ 1.0 4.0))
(s6232 (/ 1.0 4.0))
(s6233 (/ 1.0 4.0))
(s6234 (/ 1.0 4.0))
(s6235 (/ 1.0 4.0))
(s6236 (/ 1.0 4.0))
(s6237 (/ 1.0 4.0))
(s6238 (/ 1.0 4.0))
(s6239 (/ 1.0 4.0))
(s6240 (/ 1.0 4.0))
(s6241 (/ 1.0 4.0))
(s6242 (/ 1.0 4.0))
(s6243 (/ 1.0 4.0))
(s6244 (/ 1.0 4.0))
(s6245 (/ 1.0 4.0))
(s6246 (/ 1.0 4.0))
(s6247 (/ 1.0 4.0))
(s6248 (/ 1.0 4.0))
(s6249 (/ 1.0 4.0))
(s6250 (/ 1.0 4.0))
(s6251 (/ 1.0 4.0))
(s6252 (/ 1.0 4.0))
(s6253 (/ 1.0 4.0))
(s6254 (/ 1.0 4.0))
(s6255 (/ 1.0 4.0))
(s6256 (/ 1.0 4.0))
(s6257 (/ 1.0 4.0))
(s6258 (/ 1.0 4.0))
(s6259 (/ 1.0 4.0))
(s6260 (/ 1.0 4.0))
(s6261 (/ 1.0 4.0))
(s6262 (/ 1.0 4.0))
(s6263 (/ 1.0 4.0))
(s6264 (/ 1.0 4.0))
(s6265 (/ 1.0 4.0))
(s6266 (/ 1.0 4.0))
(s6267 (/ 1.0 4.0))
(s6268 (/ 1.0 4.0))
(s6269 (/ 1.0 4.0))
(s6270 (/ 1.0 4.0))
(s6271 (/ 1.0 4.0))
(s6272 (/ 1.0 4.0))
(s6273 (/ 1.0 4.0))
(s6274 (/ 1.0 4.0))
(s6275 (/ 1.0 4.0))
(s6276 (/ 1.0 4.0))
(s6277 (/ 1.0 4.0))
(s6278 (/ 1.0 4.0))
(s6279 (/ 1.0 4.0))
(s6280 (/ 1.0 4.0))
(s6281 (/ 1.0 4.0))
(s6282 (/ 1.0 4.0))
(s6283 (/ 1.0 4.0))
(s6284 (/ 1.0 4.0))
(s6285 (/ 1.0 4.0))
(s6286 (/ 1.0 4.0))
(s6287 (/ 1.0 4.0))
(s6288 (/ 1.0 4.0))
(s6289 (/ 1.0 4.0))
(s6290 (/ 1.0 4.0))
(s6291 (/ 1.0 4.0))
(s6292 (/ 1.0 4.0))
(s6293 (/ 3.0 4.0))
(s6294 (/ 1.0 4.0))
(s6295 (/ 1.0 4.0))
(s6296 (/ 1.0 4.0))
(s6297 (/ 1.0 4.0))
(s6298 (/ 1.0 4.0))
(s6299 (/ 1.0 4.0))
(s6300 (/ 1.0 4.0))
(s6301 (/ 1.0 4.0))
(s6302 (/ 1.0 4.0))
(s6303 (/ 1.0 4.0))
(s6304 (/ 1.0 4.0))
(s6305 (/ 1.0 4.0))
(s6306 (/ 1.0 4.0))
(s6307 (/ 1.0 4.0))
(s6308 (/ 1.0 4.0))
(s6309 (/ 1.0 4.0))
(s6310 (/ 1.0 4.0))
(s6311 (/ 1.0 4.0))
(s6312 (/ 1.0 4.0))
(s6313 (/ 1.0 4.0))
(s6314 (/ 1.0 4.0))
(s6315 (/ 1.0 4.0))
(s6316 (/ 1.0 4.0))
(s6317 (/ 1.0 4.0))
(s6318 (/ 1.0 4.0))
(s6319 (/ 1.0 4.0))
(s6320 (/ 1.0 4.0))
(s6321 (/ 1.0 4.0))
(s6322 (/ 1.0 4.0))
(s6323 (/ 1.0 4.0))
(s6324 (/ 1.0 4.0))
(s6325 (/ 1.0 4.0))
(s6326 (/ 1.0 4.0))
(s6327 (/ 1.0 4.0))
(s6328 (/ 1.0 4.0))
(s6329 (/ 1.0 4.0))
(s6330 (/ 1.0 4.0))
(s6331 (/ 1.0 4.0))
(s6332 (/ 1.0 4.0))
(s6333 (/ 1.0 4.0))
(s6334 (/ 1.0 4.0))
(s6335 (/ 1.0 4.0))
(s6336 (/ 1.0 4.0))
(s6337 (/ 1.0 4.0))
(s6338 (/ 1.0 4.0))
(s6339 (/ 1.0 4.0))
(s6340 (/ 1.0 4.0))
(s6341 (/ 1.0 4.0))
(s6342 (/ 1.0 4.0))
(s6343 (/ 1.0 4.0))
(s6344 (/ 1.0 4.0))
(s6345 (/ 1.0 4.0))
(s6346 (/ 1.0 4.0))
(s6347 (/ 1.0 4.0))
(s6348 (/ 1.0 4.0))
(s6349 (/ 1.0 4.0))
(s6350 (/ 1.0 4.0))
(s6351 (/ 1.0 4.0))
(s6352 (/ 1.0 4.0))
(s6353 (/ 1.0 4.0))
(s6354 (/ 1.0 4.0))
(s6355 (/ 1.0 4.0))
(s6356 (/ 1.0 4.0))
(s6357 (/ 1.0 4.0))
(s6358 (/ 1.0 4.0))
(s6359 (/ 1.0 4.0))
(s6360 (/ 1.0 4.0))
(s6361 (/ 1.0 4.0))
(s6362 (/ 1.0 4.0))
(s6363 (/ 1.0 4.0))
(s6364 (/ 1.0 4.0))
(s6365 (/ 1.0 4.0))
(s6366 (/ 1.0 4.0))
(s6367 (/ 1.0 4.0))
(s6368 (/ 1.0 4.0))
(s6369 (/ 1.0 4.0))
(s6370 (/ 1.0 4.0))
(s6371 (/ 1.0 4.0))
(s6372 (/ 1.0 4.0))
(s6373 (/ 1.0 4.0))
(s6374 (/ 1.0 4.0))
(s6375 (/ 1.0 4.0))
(s6376 (/ 1.0 4.0))
(s6377 (/ 1.0 4.0))
(s6378 (/ 1.0 4.0))
(s6379 (/ 1.0 4.0))
(s6380 (/ 1.0 4.0))
(s6381 (/ 1.0 4.0))
(s6382 (/ 1.0 4.0))
(s6383 (/ 1.0 4.0))
(s6384 (/ 1.0 4.0))
(s6385 (/ 1.0 4.0))
(s6386 (/ 1.0 4.0))
(s6387 (/ 1.0 4.0))
(s6388 (/ 1.0 4.0))
(s6389 (/ 1.0 4.0))
(s6390 (/ 1.0 4.0))
(s6391 (/ 1.0 4.0))
(s6392 (/ 1.0 4.0))
(s6393 (/ 1.0 4.0))
(s6394 (/ 1.0 4.0))
(s6395 (/ 1.0 4.0))
(s6396 (/ 1.0 4.0))
(s6397 (/ 1.0 4.0))
(s6398 (/ 1.0 4.0))
(s6399 (/ 1.0 4.0))
(s6400 (/ 1.0 4.0))
(s6401 (/ 1.0 4.0))
(s6402 (/ 1.0 4.0))
(s6403 (/ 1.0 4.0))
(s6404 (/ 1.0 4.0))
(s6405 (/ 1.0 4.0))
(s6406 (/ 1.0 4.0))
(s6407 (/ 1.0 4.0))
(s6408 (/ 1.0 4.0))
(s6409 (/ 1.0 4.0))
(s6410 (/ 1.0 4.0))
(s6411 (/ 1.0 4.0))
(s6412 (/ 1.0 4.0))
(s6413 (/ 1.0 4.0))
(s6414 (/ 1.0 4.0))
(s6415 (/ 1.0 4.0))
(s6416 (/ 1.0 4.0))
(s6417 (/ 1.0 4.0))
(s6418 (/ 1.0 4.0))
(s6419 (/ 1.0 4.0))
(s6420 (/ 1.0 4.0))
(s6421 (/ 1.0 4.0))
(s6422 (/ 1.0 4.0))
(s6423 (/ 1.0 4.0))
(s6424 (/ 1.0 4.0))
(s6425 (/ 1.0 4.0))
(s6426 (/ 1.0 4.0))
(s6427 (/ 1.0 4.0))
(s6428 (/ 1.0 4.0))
(s6429 (/ 1.0 4.0))
(s6430 (/ 1.0 4.0))
(s6431 (/ 1.0 4.0))
(s6432 (/ 1.0 4.0))
(s6433 (/ 1.0 4.0))
(s6434 (/ 1.0 4.0))
(s6435 (/ 1.0 4.0))
(s6436 (/ 1.0 4.0))
(s6437 (/ 1.0 4.0))
(s6438 (/ 1.0 4.0))
(s6439 (/ 1.0 4.0))
(s6440 (/ 1.0 4.0))
(s6441 (/ 1.0 4.0))
(s6442 (/ 1.0 4.0))
(s6443 (/ 1.0 4.0))
(s6444 (/ 1.0 4.0))
(s6445 (/ 1.0 4.0))
(s6446 (/ 1.0 4.0))
(s6447 (/ 1.0 4.0))
(s6448 (/ 1.0 4.0))
(s6449 (/ 1.0 4.0))
(s6450 (/ 1.0 4.0))
(s6451 (/ 1.0 4.0))
(s6452 (/ 1.0 4.0))
(s6453 (/ 1.0 4.0))
(s6454 (/ 1.0 4.0))
(s6455 (/ 1.0 4.0))
(s6456 (/ 1.0 4.0))
(s6457 (/ 1.0 4.0))
(s6458 (/ 1.0 4.0))
(s6459 (/ 1.0 4.0))
(s6460 (/ 1.0 4.0))
(s6461 (/ 1.0 4.0))
(s6462 (/ 1.0 4.0))
(s6463 (/ 1.0 4.0))
(s6464 (/ 1.0 4.0))
(s6465 (/ 1.0 4.0))
(s6466 (/ 1.0 4.0))
(s6467 (/ 1.0 4.0))
(s6468 (/ 1.0 4.0))
(s6469 (/ 1.0 4.0))
(s6470 (/ 1.0 4.0))
(s6471 (/ 1.0 4.0))
(s6472 (/ 1.0 4.0))
(s6473 (/ 1.0 4.0))
(s6474 (/ 1.0 4.0))
(s6475 (/ 1.0 4.0))
(s6476 (/ 1.0 4.0))
(s6477 (/ 1.0 4.0))
(s6478 (/ 1.0 4.0))
(s6479 (/ 1.0 4.0))
(s6480 (/ 1.0 4.0))
(s6481 (/ 1.0 4.0))
(s6482 (/ 1.0 4.0))
(s6483 (/ 1.0 4.0))
(s6484 (/ 1.0 4.0))
(s6485 (/ 1.0 4.0))
(s6486 (/ 1.0 4.0))
(s6487 (/ 1.0 4.0))
(s6488 (/ 1.0 4.0))
(s6489 (/ 1.0 4.0))
(s6490 (/ 1.0 4.0))
(s6491 (/ 1.0 4.0))
(s6492 (/ 1.0 4.0))
(s6493 (/ 1.0 4.0))
(s6494 (/ 1.0 4.0))
(s6495 (/ 1.0 4.0))
(s6496 (/ 1.0 4.0))
(s6497 (/ 1.0 4.0))
(s6498 (/ 1.0 4.0))
(s6499 (/ 1.0 4.0))
(s6500 (/ 1.0 4.0))
(s6501 (/ 1.0 4.0))
(s6502 (/ 1.0 4.0))
(s6503 (/ 1.0 4.0))
(s6504 (/ 1.0 4.0))
(s6505 (/ 1.0 4.0))
(s6506 (/ 1.0 4.0))
(s6507 (/ 1.0 4.0))
(s6508 (/ 1.0 4.0))
(s6509 (/ 1.0 4.0))
(s6510 (/ 1.0 4.0))
(s6511 (/ 1.0 4.0))
(s6512 (/ 1.0 4.0))
(s6513 (/ 1.0 4.0))
(s6514 (/ 1.0 4.0))
(s6515 (/ 1.0 4.0))
(s6516 (/ 1.0 4.0))
(s6517 (/ 1.0 4.0))
(s6518 (/ 1.0 4.0))
(s6519 (/ 1.0 4.0))
(s6520 (/ 1.0 4.0))
(s6521 (/ 1.0 4.0))
(s6522 (/ 1.0 4.0))
(s6523 (/ 1.0 4.0))
(s6524 (/ 1.0 4.0))
(s6525 (/ 1.0 4.0))
(s6526 (/ 1.0 4.0))
(s6527 (/ 1.0 4.0))
(s6528 (/ 1.0 4.0))
(s6529 (/ 1.0 4.0))
(s6530 (/ 1.0 4.0))
(s6531 (/ 1.0 4.0))
(s6532 (/ 1.0 4.0))
(s6533 (/ 1.0 4.0))
(s6534 (/ 1.0 4.0))
(s6535 (/ 1.0 4.0))
(s6536 (/ 1.0 4.0))
(s6537 (/ 1.0 4.0))
(s6538 (/ 1.0 4.0))
(s6539 (/ 1.0 4.0))
(s6540 (/ 3.0 4.0))
(s6541 (/ 1.0 4.0))
(s6542 (/ 1.0 4.0))
(s6543 (/ 1.0 4.0))
(s6544 (/ 1.0 4.0))
(s6545 (/ 1.0 4.0))
(s6546 (/ 1.0 4.0))
(s6547 (/ 1.0 4.0))
(s6548 (/ 1.0 4.0))
(s6549 (/ 1.0 4.0))
(s6550 (/ 1.0 4.0))
(s6551 (/ 1.0 4.0))
(s6552 (/ 1.0 4.0))
(s6553 (/ 1.0 4.0))
(s6554 (/ 1.0 4.0))
(s6555 (/ 1.0 4.0))
(s6556 (/ 1.0 4.0))
(s6557 (/ 1.0 4.0))
(s6558 (/ 1.0 4.0))
(s6559 (/ 1.0 4.0))
(s6560 (/ 1.0 4.0))
(s6561 (/ 1.0 4.0))
(s6562 (/ 1.0 4.0))
(s6563 (/ 1.0 4.0))
(s6564 (/ 1.0 4.0))
(s6565 (/ 1.0 4.0))
(s6566 (/ 1.0 4.0))
(s6567 (/ 1.0 4.0))
(s6568 (/ 1.0 4.0))
(s6569 (/ 1.0 4.0))
(s6570 (/ 1.0 4.0))
(s6571 (/ 1.0 4.0))
(s6572 (/ 1.0 4.0))
(s6573 (/ 1.0 4.0))
(s6574 (/ 1.0 4.0))
(s6575 (/ 1.0 4.0))
(s6576 (/ 1.0 4.0))
(s6577 (/ 1.0 4.0))
(s6578 (/ 1.0 4.0))
(s6579 (/ 1.0 4.0))
(s6580 (/ 1.0 4.0))
(s6581 (/ 1.0 4.0))
(s6582 (/ 1.0 4.0))
(s6583 (/ 1.0 4.0))
(s6584 (/ 1.0 4.0))
(s6585 (/ 1.0 4.0))
(s6586 (/ 1.0 4.0))
(s6587 (/ 1.0 4.0))
(s6588 (/ 1.0 4.0))
(s6589 (/ 1.0 4.0))
(s6590 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/6023 variables, 6023/6023 constraints. Problems are: Problem set: 1 solved, 8 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6023/24025 variables, and 6023 constraints, problems are : Problem set: 1 solved, 8 unsolved in 5535 ms.
Refiners :[Domain max(s): 6023/8017 constraints, Positive P Invariants (semi-flows): 0/2 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/8017 constraints, PredecessorRefiner: 8/0 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 1 solved, 8 unsolved
Problem AirplaneLD-PT-2000-ReachabilityFireability-2024-08 is UNSAT
FORMULA AirplaneLD-PT-2000-ReachabilityFireability-2024-08 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 0 (INCLUDED_ONLY) 0/6023 variables, 6023/6023 constraints. Problems are: Problem set: 2 solved, 7 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 6023/24025 variables, and 6023 constraints, problems are : Problem set: 2 solved, 7 unsolved in 5013 ms.
Refiners :[Domain max(s): 6023/8017 constraints, Positive P Invariants (semi-flows): 0/2 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/8017 constraints, PredecessorRefiner: 7/0 constraints, Known Traps: 0/0 constraints]
After SMT, in 34585ms problems are : Problem set: 2 solved, 7 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 6022 out of 8017 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8017/8017 places, 16008/16008 transitions.
Graph (complete) has 21023 edges and 8017 vertex of which 8014 are kept as prefixes of interest. Removing 3 places using SCC suffix rule.70 ms
Discarding 3 places :
Also discarding 0 output transitions
Discarding 1989 places :
Symmetric choice reduction at 0 with 1989 rule applications. Total rules 1990 place count 6025 transition count 14019
Iterating global reduction 0 with 1989 rules applied. Total rules applied 3979 place count 6025 transition count 14019
Ensure Unique test removed 1989 transitions
Reduce isomorphic transitions removed 1989 transitions.
Iterating post reduction 0 with 1989 rules applied. Total rules applied 5968 place count 6025 transition count 12030
Applied a total of 5968 rules in 1482 ms. Remains 6025 /8017 variables (removed 1992) and now considering 12030/16008 (removed 3978) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1504 ms. Remains : 6025/8017 places, 12030/16008 transitions.
RANDOM walk for 40000 steps (4911 resets) in 30478 ms. (1 steps per ms) remains 6/7 properties
FORMULA AirplaneLD-PT-2000-ReachabilityFireability-2024-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (4 resets) in 4497 ms. (8 steps per ms) remains 6/6 properties
BEST_FIRST walk for 24004 steps (0 resets) in 20462 ms. (1 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (4 resets) in 32 ms. (1212 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (4 resets) in 34 ms. (1142 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (4 resets) in 64 ms. (615 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (4 resets) in 103 ms. (384 steps per ms) remains 6/6 properties
// Phase 1: matrix 12030 rows 6025 cols
[2024-05-22 22:31:27] [INFO ] Computed 1 invariants in 4307 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/6022 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (OVERLAPS) 1/6023 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/6023 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 6 unsolved
BK_STOP 1716417128027
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AirplaneLD-PT-2000"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool itstools"
echo " Input is AirplaneLD-PT-2000, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r004-smll-171620118300303"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-PT-2000.tgz
mv AirplaneLD-PT-2000 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;