examples/msg/trace-route-user-variables/trace-route-user-variables.tesh

   1 #!/usr/bin/env tesh
   2
   3 p Trace user variables associated to links of the platform file
   4 $ $SG_TEST_EXENV ${bindir:=.}/trace-route-user-variables$EXEEXT --cfg=tracing:yes --cfg=tracing/platform:yes ${platfdir}/small_platform.xml ${srcdir}/../app-masterworker/app-masterworker_d.xml
   5 > [0.000000] [xbt_cfg/INFO] Configuration change: Set 'tracing' to 'yes'
   6 > [0.000000] [xbt_cfg/INFO] Configuration change: Set 'tracing/platform' to 'yes'
   7
   8 $ tail -n +3 simgrid.trace
   9 > %EventDef PajeDefineContainerType 0
  10 > %       Alias string
  11 > %       Type string
  12 > %       Name string
  13 > %EndEventDef
  14 > %EventDef PajeDefineVariableType 1
  15 > %       Alias string
  16 > %       Type string
  17 > %       Name string
  18 > %       Color color
  19 > %EndEventDef
  20 > %EventDef PajeDefineStateType 2
  21 > %       Alias string
  22 > %       Type string
  23 > %       Name string
  24 > %EndEventDef
  25 > %EventDef PajeDefineEventType 3
  26 > %       Alias string
  27 > %       Type string
  28 > %       Name string
  29 > %EndEventDef
  30 > %EventDef PajeDefineLinkType 4
  31 > %       Alias string
  32 > %       Type string
  33 > %       StartContainerType string
  34 > %       EndContainerType string
  35 > %       Name string
  36 > %EndEventDef
  37 > %EventDef PajeDefineEntityValue 5
  38 > %       Alias string
  39 > %       Type string
  40 > %       Name string
  41 > %       Color color
  42 > %EndEventDef
  43 > %EventDef PajeCreateContainer 6
  44 > %       Time date
  45 > %       Alias string
  46 > %       Type string
  47 > %       Container string
  48 > %       Name string
  49 > %EndEventDef
  50 > %EventDef PajeDestroyContainer 7
  51 > %       Time date
  52 > %       Type string
  53 > %       Name string
  54 > %EndEventDef
  55 > %EventDef PajeSetVariable 8
  56 > %       Time date
  57 > %       Type string
  58 > %       Container string
  59 > %       Value double
  60 > %EndEventDef
  61 > %EventDef PajeAddVariable 9
  62 > %       Time date
  63 > %       Type string
  64 > %       Container string
  65 > %       Value double
  66 > %EndEventDef
  67 > %EventDef PajeSubVariable 10
  68 > %       Time date
  69 > %       Type string
  70 > %       Container string
  71 > %       Value double
  72 > %EndEventDef
  73 > %EventDef PajeSetState 11
  74 > %       Time date
  75 > %       Type string
  76 > %       Container string
  77 > %       Value string
  78 > %EndEventDef
  79 > %EventDef PajePushState 12
  80 > %       Time date
  81 > %       Type string
  82 > %       Container string
  83 > %       Value string
  84 > %EndEventDef
  85 > %EventDef PajePopState 13
  86 > %       Time date
  87 > %       Type string
  88 > %       Container string
  89 > %EndEventDef
  90 > %EventDef PajeResetState 14
  91 > %       Time date
  92 > %       Type string
  93 > %       Container string
  94 > %EndEventDef
  95 > %EventDef PajeStartLink 15
  96 > %       Time date
  97 > %       Type string
  98 > %       Container string
  99 > %       Value string
 100 > %       StartContainer string
 101 > %       Key string
 102 > %EndEventDef
 103 > %EventDef PajeEndLink 16
 104 > %       Time date
 105 > %       Type string
 106 > %       Container string
 107 > %       Value string
 108 > %       EndContainer string
 109 > %       Key string
 110 > %EndEventDef
 111 > %EventDef PajeNewEvent 17
 112 > %       Time date
 113 > %       Type string
 114 > %       Container string
 115 > %       Value string
 116 > %EndEventDef
 117 > 0 1 0 HOST
 118 > 6 0.000000 1 1 0 "Tremblay"
 119 > 1 2 1 power "1 1 1"
 120 > 6 0.000000 2 1 0 "Jupiter"
 121 > 6 0.000000 3 1 0 "Fafard"
 122 > 6 0.000000 4 1 0 "Ginette"
 123 > 6 0.000000 5 1 0 "Bourassa"
 124 > 6 0.000000 6 1 0 "Jacquelin"
 125 > 6 0.000000 7 1 0 "Boivin"
 126 > 0 3 0 LINK
 127 > 6 0.000000 8 3 0 "6"
 128 > 1 4 3 bandwidth "1 1 1"
 129 > 1 5 3 latency "1 1 1"
 130 > 6 0.000000 9 3 0 "3"
 131 > 6 0.000000 10 3 0 "7"
 132 > 6 0.000000 11 3 0 "9"
 133 > 6 0.000000 12 3 0 "2"
 134 > 6 0.000000 13 3 0 "8"
 135 > 6 0.000000 14 3 0 "1"
 136 > 6 0.000000 15 3 0 "4"
 137 > 6 0.000000 16 3 0 "0"
 138 > 6 0.000000 17 3 0 "5"
 139 > 6 0.000000 18 3 0 "145"
 140 > 6 0.000000 19 3 0 "10"
 141 > 6 0.000000 20 3 0 "11"
 142 > 6 0.000000 21 3 0 "16"
 143 > 6 0.000000 22 3 0 "17"
 144 > 6 0.000000 23 3 0 "44"
 145 > 6 0.000000 24 3 0 "47"
 146 > 6 0.000000 25 3 0 "54"
 147 > 6 0.000000 26 3 0 "56"
 148 > 6 0.000000 27 3 0 "59"
 149 > 6 0.000000 28 3 0 "78"
 150 > 6 0.000000 29 3 0 "79"
 151 > 6 0.000000 30 3 0 "80"
 152 > 6 0.000000 31 3 0 "loopback"
 153 > 4 6 0 3 3 0-LINK3-LINK3
 154 > 4 7 0 1 3 0-HOST1-LINK3
 155 > 4 8 0 3 1 0-LINK3-HOST1
 156 > 8 0.000000 2 1 98095000.000000
 157 > 8 0.000000 2 2 76296000.000000
 158 > 8 0.000000 2 3 76296000.000000
 159 > 8 0.000000 2 4 48492000.000000
 160 > 8 0.000000 2 5 48492000.000000
 161 > 8 0.000000 2 6 137333000.000000
 162 > 8 0.000000 2 7 98095000.000000
 163 > 8 0.000000 4 8 41279125.000000
 164 > 8 0.000000 5 8 0.000060
 165 > 8 0.000000 4 9 34285625.000000
 166 > 8 0.000000 5 9 0.000514
 167 > 8 0.000000 4 10 11618875.000000
 168 > 8 0.000000 5 10 0.000190
 169 > 8 0.000000 4 11 7209750.000000
 170 > 8 0.000000 5 11 0.001462
 171 > 8 0.000000 4 12 118682500.000000
 172 > 8 0.000000 5 12 0.000137
 173 > 8 0.000000 4 13 8158000.000000
 174 > 8 0.000000 5 13 0.000271
 175 > 8 0.000000 4 14 34285625.000000
 176 > 8 0.000000 5 14 0.000514
 177 > 8 0.000000 4 15 10099625.000000
 178 > 8 0.000000 5 15 0.000480
 179 > 8 0.000000 4 16 41279125.000000
 180 > 8 0.000000 5 16 0.000060
 181 > 8 0.000000 4 17 27946250.000000
 182 > 8 0.000000 5 17 0.000278
 183 > 8 0.000000 4 18 2583375.000000
 184 > 8 0.000000 5 18 0.000410
 185 > 8 0.000000 4 19 34285625.000000
 186 > 8 0.000000 5 19 0.000514
 187 > 8 0.000000 4 20 118682500.000000
 188 > 8 0.000000 5 20 0.000137
 189 > 8 0.000000 4 21 34285625.000000
 190 > 8 0.000000 5 21 0.000514
 191 > 8 0.000000 4 22 118682500.000000
 192 > 8 0.000000 5 22 0.000137
 193 > 8 0.000000 4 23 10314625.000000
 194 > 8 0.000000 5 23 0.006933
 195 > 8 0.000000 4 24 10314625.000000
 196 > 8 0.000000 5 24 0.006933
 197 > 8 0.000000 4 25 15376875.000000
 198 > 8 0.000000 5 25 0.035083
 199 > 8 0.000000 4 26 21414750.000000
 200 > 8 0.000000 5 26 0.029589
 201 > 8 0.000000 4 27 11845375.000000
 202 > 8 0.000000 5 27 0.000371
 203 > 8 0.000000 4 28 27946250.000000
 204 > 8 0.000000 5 28 0.000278
 205 > 8 0.000000 4 29 8427250.000000
 206 > 8 0.000000 5 29 0.000156
 207 > 8 0.000000 4 30 15376875.000000
 208 > 8 0.000000 5 30 0.035083
 209 > 8 0.000000 4 31 498000000.000000
 210 > 8 0.000000 5 31 0.000015
 211 > 15 0.000000 6 0 topology 12 0
 212 > 16 0.000000 6 0 topology 16 0
 213 > 15 0.000000 6 0 topology 9 1
 214 > 16 0.000000 6 0 topology 16 1
 215 > 15 0.000000 6 0 topology 16 2
 216 > 16 0.000000 6 0 topology 14 2
 217 > 15 0.000000 6 0 topology 21 3
 218 > 16 0.000000 6 0 topology 19 3
 219 > 15 0.000000 6 0 topology 8 4
 220 > 16 0.000000 6 0 topology 19 4
 221 > 15 0.000000 6 0 topology 19 5
 222 > 16 0.000000 6 0 topology 20 5
 223 > 15 0.000000 6 0 topology 8 6
 224 > 16 0.000000 6 0 topology 20 6
 225 > 15 0.000000 6 0 topology 27 7
 226 > 16 0.000000 6 0 topology 18 7
 227 > 15 0.000000 7 0 topology 5 8
 228 > 16 0.000000 7 0 topology 18 8
 229 > 15 0.000000 7 0 topology 4 9
 230 > 16 0.000000 7 0 topology 18 9
 231 > 15 0.000000 7 0 topology 2 10
 232 > 16 0.000000 7 0 topology 18 10
 233 > 15 0.000000 6 0 topology 16 11
 234 > 16 0.000000 6 0 topology 21 11
 235 > 15 0.000000 6 0 topology 21 12
 236 > 16 0.000000 6 0 topology 22 12
 237 > 15 0.000000 6 0 topology 9 13
 238 > 16 0.000000 6 0 topology 12 13
 239 > 15 0.000000 6 0 topology 15 14
 240 > 16 0.000000 6 0 topology 9 14
 241 > 15 0.000000 7 0 topology 1 15
 242 > 16 0.000000 7 0 topology 9 15
 243 > 15 0.000000 6 0 topology 20 16
 244 > 16 0.000000 6 0 topology 23 16
 245 > 15 0.000000 6 0 topology 23 17
 246 > 16 0.000000 6 0 topology 24 17
 247 > 15 0.000000 7 0 topology 5 18
 248 > 16 0.000000 7 0 topology 24 18
 249 > 15 0.000000 7 0 topology 4 19
 250 > 16 0.000000 7 0 topology 24 19
 251 > 15 0.000000 7 0 topology 2 20
 252 > 16 0.000000 7 0 topology 24 20
 253 > 15 0.000000 6 0 topology 11 21
 254 > 16 0.000000 6 0 topology 15 21
 255 > 15 0.000000 7 0 topology 1 22
 256 > 16 0.000000 7 0 topology 15 22
 257 > 15 0.000000 6 0 topology 12 23
 258 > 16 0.000000 6 0 topology 17 23
 259 > 15 0.000000 6 0 topology 9 24
 260 > 16 0.000000 6 0 topology 17 24
 261 > 15 0.000000 6 0 topology 22 25
 262 > 16 0.000000 6 0 topology 25 25
 263 > 15 0.000000 6 0 topology 12 26
 264 > 16 0.000000 6 0 topology 25 26
 265 > 15 0.000000 6 0 topology 25 27
 266 > 16 0.000000 6 0 topology 26 27
 267 > 15 0.000000 6 0 topology 26 28
 268 > 16 0.000000 6 0 topology 27 28
 269 > 15 0.000000 6 0 topology 14 29
 270 > 16 0.000000 6 0 topology 8 29
 271 > 15 0.000000 6 0 topology 13 30
 272 > 16 0.000000 6 0 topology 8 30
 273 > 15 0.000000 6 0 topology 11 31
 274 > 16 0.000000 6 0 topology 8 31
 275 > 15 0.000000 6 0 topology 8 32
 276 > 16 0.000000 6 0 topology 10 32
 277 > 15 0.000000 6 0 topology 30 33
 278 > 16 0.000000 6 0 topology 28 33
 279 > 15 0.000000 7 0 topology 3 34
 280 > 16 0.000000 7 0 topology 28 34
 281 > 15 0.000000 6 0 topology 28 35
 282 > 16 0.000000 6 0 topology 29 35
 283 > 15 0.000000 7 0 topology 3 36
 284 > 16 0.000000 7 0 topology 30 36
 285 > 15 0.000000 6 0 topology 14 37
 286 > 16 0.000000 6 0 topology 13 37
 287 > 15 0.000000 6 0 topology 29 38
 288 > 16 0.000000 6 0 topology 11 38
 289 > 15 0.000000 7 0 topology 1 39
 290 > 16 0.000000 7 0 topology 11 39
 291 > 15 0.000000 8 0 topology 24 40
 292 > 16 0.000000 8 0 topology 7 40
 293 > 15 0.000000 8 0 topology 10 41
 294 > 16 0.000000 8 0 topology 5 41
 295 > 15 0.000000 8 0 topology 13 42
 296 > 16 0.000000 8 0 topology 3 42
 297 > 15 0.000000 8 0 topology 17 43
 298 > 16 0.000000 8 0 topology 4 43
 299 > 15 0.000000 8 0 topology 18 44
 300 > 16 0.000000 8 0 topology 6 44
 301 > 15 0.000000 8 0 topology 11 45
 302 > 16 0.000000 8 0 topology 2 45
 303 > 1 9 3 Link_Capacity "1 1 1"
 304 > 1 10 3 Link_Utilization "0.9 0.1 0.1"
 305 > 8 0.000000 9 15 12.340000
 306 > 8 0.000000 9 9 12.340000
 307 > 8 0.000000 9 12 12.340000
 308 > 8 0.000000 9 16 12.340000
 309 > 8 0.000000 9 14 12.340000
 310 > 8 0.000000 9 8 12.340000
 311 > 8 0.000000 9 10 12.340000
 312 > 8 0.000000 9 13 56.780000
 313 > 8 0.000000 9 14 56.780000
 314 > 8 0.000000 9 16 56.780000
 315 > 8 0.000000 9 12 56.780000
 316 > 8 0.000000 9 17 56.780000
 317 > 8 0.000000 10 15 1.200000
 318 > 8 0.000000 10 9 1.200000
 319 > 8 0.000000 10 12 1.200000
 320 > 8 0.000000 10 16 1.200000
 321 > 8 0.000000 10 14 1.200000
 322 > 8 0.000000 10 8 1.200000
 323 > 8 0.000000 10 10 1.200000
 324 > 8 0.000000 10 13 3.400000
 325 > 8 0.000000 10 14 3.400000
 326 > 8 0.000000 10 16 3.400000
 327 > 8 0.000000 10 12 3.400000
 328 > 8 0.000000 10 17 3.400000
 329 > 8 0.000000 9 15 12.340000
 330 > 8 0.000000 9 9 12.340000
 331 > 8 0.000000 9 12 12.340000
 332 > 8 0.000000 9 16 12.340000
 333 > 8 0.000000 9 14 12.340000
 334 > 8 0.000000 9 8 12.340000
 335 > 8 0.000000 9 10 12.340000
 336 > 8 0.000000 9 13 56.780000
 337 > 8 0.000000 9 14 56.780000
 338 > 8 0.000000 9 16 56.780000
 339 > 8 0.000000 9 12 56.780000
 340 > 8 0.000000 9 17 56.780000
 341 > 8 0.000000 10 15 1.200000
 342 > 8 0.000000 10 9 1.200000
 343 > 8 0.000000 10 12 1.200000
 344 > 8 0.000000 10 16 1.200000
 345 > 8 0.000000 10 14 1.200000
 346 > 8 0.000000 10 8 1.200000
 347 > 8 0.000000 10 10 1.200000
 348 > 8 0.000000 10 13 3.400000
 349 > 8 0.000000 10 14 3.400000
 350 > 8 0.000000 10 16 3.400000
 351 > 8 0.000000 10 12 3.400000
 352 > 8 0.000000 10 17 3.400000
 353 > 8 0.000000 9 15 12.340000
 354 > 8 0.000000 9 9 12.340000
 355 > 8 0.000000 9 12 12.340000
 356 > 8 0.000000 9 16 12.340000
 357 > 8 0.000000 9 14 12.340000
 358 > 8 0.000000 9 8 12.340000
 359 > 8 0.000000 9 10 12.340000
 360 > 8 0.000000 9 13 56.780000
 361 > 8 0.000000 9 14 56.780000
 362 > 8 0.000000 9 16 56.780000
 363 > 8 0.000000 9 12 56.780000
 364 > 8 0.000000 9 17 56.780000
 365 > 8 0.000000 10 15 1.200000
 366 > 8 0.000000 10 9 1.200000
 367 > 8 0.000000 10 12 1.200000
 368 > 8 0.000000 10 16 1.200000
 369 > 8 0.000000 10 14 1.200000
 370 > 8 0.000000 10 8 1.200000
 371 > 8 0.000000 10 10 1.200000
 372 > 8 0.000000 10 13 3.400000
 373 > 8 0.000000 10 14 3.400000
 374 > 8 0.000000 10 16 3.400000
 375 > 8 0.000000 10 12 3.400000
 376 > 8 0.000000 10 17 3.400000
 377 > 8 0.000000 9 15 12.340000
 378 > 8 0.000000 9 9 12.340000
 379 > 8 0.000000 9 12 12.340000
 380 > 8 0.000000 9 16 12.340000
 381 > 8 0.000000 9 14 12.340000
 382 > 8 0.000000 9 8 12.340000
 383 > 8 0.000000 9 10 12.340000
 384 > 8 0.000000 9 13 56.780000
 385 > 8 0.000000 9 14 56.780000
 386 > 8 0.000000 9 16 56.780000
 387 > 8 0.000000 9 12 56.780000
 388 > 8 0.000000 9 17 56.780000
 389 > 8 0.000000 10 15 1.200000
 390 > 8 0.000000 10 9 1.200000
 391 > 8 0.000000 10 12 1.200000
 392 > 8 0.000000 10 16 1.200000
 393 > 8 0.000000 10 14 1.200000
 394 > 8 0.000000 10 8 1.200000
 395 > 8 0.000000 10 10 1.200000
 396 > 8 0.000000 10 13 3.400000
 397 > 8 0.000000 10 14 3.400000
 398 > 8 0.000000 10 16 3.400000
 399 > 8 0.000000 10 12 3.400000
 400 > 8 0.000000 10 17 3.400000
 401 > 8 0.000000 9 15 12.340000
 402 > 8 0.000000 9 9 12.340000
 403 > 8 0.000000 9 12 12.340000
 404 > 8 0.000000 9 16 12.340000
 405 > 8 0.000000 9 14 12.340000
 406 > 8 0.000000 9 8 12.340000
 407 > 8 0.000000 9 10 12.340000
 408 > 8 0.000000 9 13 56.780000
 409 > 8 0.000000 9 14 56.780000
 410 > 8 0.000000 9 16 56.780000
 411 > 8 0.000000 9 12 56.780000
 412 > 8 0.000000 9 17 56.780000
 413 > 8 0.000000 10 15 1.200000
 414 > 8 0.000000 10 9 1.200000
 415 > 8 0.000000 10 12 1.200000
 416 > 8 0.000000 10 16 1.200000
 417 > 8 0.000000 10 14 1.200000
 418 > 8 0.000000 10 8 1.200000
 419 > 8 0.000000 10 10 1.200000
 420 > 8 0.000000 10 13 3.400000
 421 > 8 0.000000 10 14 3.400000
 422 > 8 0.000000 10 16 3.400000
 423 > 8 0.000000 10 12 3.400000
 424 > 8 0.000000 10 17 3.400000
 425 > 8 0.000000 9 15 12.340000
 426 > 8 0.000000 9 9 12.340000
 427 > 8 0.000000 9 12 12.340000
 428 > 8 0.000000 9 16 12.340000
 429 > 8 0.000000 9 14 12.340000
 430 > 8 0.000000 9 8 12.340000
 431 > 8 0.000000 9 10 12.340000
 432 > 8 0.000000 9 13 56.780000
 433 > 8 0.000000 9 14 56.780000
 434 > 8 0.000000 9 16 56.780000
 435 > 8 0.000000 9 12 56.780000
 436 > 8 0.000000 9 17 56.780000
 437 > 8 0.000000 10 15 1.200000
 438 > 8 0.000000 10 9 1.200000
 439 > 8 0.000000 10 12 1.200000
 440 > 8 0.000000 10 16 1.200000
 441 > 8 0.000000 10 14 1.200000
 442 > 8 0.000000 10 8 1.200000
 443 > 8 0.000000 10 10 1.200000
 444 > 8 0.000000 10 13 3.400000
 445 > 8 0.000000 10 14 3.400000
 446 > 8 0.000000 10 16 3.400000
 447 > 8 0.000000 10 12 3.400000
 448 > 8 0.000000 10 17 3.400000
 449 > 9 0.013107 10 15 5.600000
 450 > 9 0.013107 10 9 5.600000
 451 > 9 0.013107 10 12 5.600000
 452 > 9 0.013107 10 16 5.600000
 453 > 9 0.013107 10 14 5.600000
 454 > 9 0.013107 10 8 5.600000
 455 > 9 0.013107 10 10 5.600000
 456 > 9 0.013107 10 13 7.800000
 457 > 9 0.013107 10 14 7.800000
 458 > 9 0.013107 10 16 7.800000
 459 > 9 0.013107 10 12 7.800000
 460 > 9 0.013107 10 17 7.800000
 461 > 9 0.013107 10 15 5.600000
 462 > 9 0.013107 10 9 5.600000
 463 > 9 0.013107 10 12 5.600000
 464 > 9 0.013107 10 16 5.600000
 465 > 9 0.013107 10 14 5.600000
 466 > 9 0.013107 10 8 5.600000
 467 > 9 0.013107 10 10 5.600000
 468 > 9 0.013107 10 13 7.800000
 469 > 9 0.013107 10 14 7.800000
 470 > 9 0.013107 10 16 7.800000
 471 > 9 0.013107 10 12 7.800000
 472 > 9 0.013107 10 17 7.800000
 473 > 9 0.020388 10 15 5.600000
 474 > 9 0.020388 10 9 5.600000
 475 > 9 0.020388 10 12 5.600000
 476 > 9 0.020388 10 16 5.600000
 477 > 9 0.020388 10 14 5.600000
 478 > 9 0.020388 10 8 5.600000
 479 > 9 0.020388 10 10 5.600000
 480 > 9 0.020388 10 13 7.800000
 481 > 9 0.020388 10 14 7.800000
 482 > 9 0.020388 10 16 7.800000
 483 > 9 0.020388 10 12 7.800000
 484 > 9 0.020388 10 17 7.800000
 485 > 9 0.020388 10 15 5.600000
 486 > 9 0.020388 10 9 5.600000
 487 > 9 0.020388 10 12 5.600000
 488 > 9 0.020388 10 16 5.600000
 489 > 9 0.020388 10 14 5.600000
 490 > 9 0.020388 10 8 5.600000
 491 > 9 0.020388 10 10 5.600000
 492 > 9 0.020388 10 13 7.800000
 493 > 9 0.020388 10 14 7.800000
 494 > 9 0.020388 10 16 7.800000
 495 > 9 0.020388 10 12 7.800000
 496 > 9 0.020388 10 17 7.800000
 497 > 9 0.020622 10 15 5.600000
 498 > 9 0.020622 10 9 5.600000
 499 > 9 0.020622 10 12 5.600000
 500 > 9 0.020622 10 16 5.600000
 501 > 9 0.020622 10 14 5.600000
 502 > 9 0.020622 10 8 5.600000
 503 > 9 0.020622 10 10 5.600000
 504 > 9 0.020622 10 13 7.800000
 505 > 9 0.020622 10 14 7.800000
 506 > 9 0.020622 10 16 7.800000
 507 > 9 0.020622 10 12 7.800000
 508 > 9 0.020622 10 17 7.800000
 509 > 9 0.020622 10 15 5.600000
 510 > 9 0.020622 10 9 5.600000
 511 > 9 0.020622 10 12 5.600000
 512 > 9 0.020622 10 16 5.600000
 513 > 9 0.020622 10 14 5.600000
 514 > 9 0.020622 10 8 5.600000
 515 > 9 0.020622 10 10 5.600000
 516 > 9 0.020622 10 13 7.800000
 517 > 9 0.020622 10 14 7.800000
 518 > 9 0.020622 10 16 7.800000
 519 > 9 0.020622 10 12 7.800000
 520 > 9 0.020622 10 17 7.800000
 521 > 9 0.026214 10 15 5.600000
 522 > 9 0.026214 10 9 5.600000
 523 > 9 0.026214 10 12 5.600000
 524 > 9 0.026214 10 16 5.600000
 525 > 9 0.026214 10 14 5.600000
 526 > 9 0.026214 10 8 5.600000
 527 > 9 0.026214 10 10 5.600000
 528 > 9 0.026214 10 13 7.800000
 529 > 9 0.026214 10 14 7.800000
 530 > 9 0.026214 10 16 7.800000
 531 > 9 0.026214 10 12 7.800000
 532 > 9 0.026214 10 17 7.800000
 533 > 9 0.026214 10 15 5.600000
 534 > 9 0.026214 10 9 5.600000
 535 > 9 0.026214 10 12 5.600000
 536 > 9 0.026214 10 16 5.600000
 537 > 9 0.026214 10 14 5.600000
 538 > 9 0.026214 10 8 5.600000
 539 > 9 0.026214 10 10 5.600000
 540 > 9 0.026214 10 13 7.800000
 541 > 9 0.026214 10 14 7.800000
 542 > 9 0.026214 10 16 7.800000
 543 > 9 0.026214 10 12 7.800000
 544 > 9 0.026214 10 17 7.800000
 545 > 9 0.039321 10 15 5.600000
 546 > 9 0.039321 10 9 5.600000
 547 > 9 0.039321 10 12 5.600000
 548 > 9 0.039321 10 16 5.600000
 549 > 9 0.039321 10 14 5.600000
 550 > 9 0.039321 10 8 5.600000
 551 > 9 0.039321 10 10 5.600000
 552 > 9 0.039321 10 13 7.800000
 553 > 9 0.039321 10 14 7.800000
 554 > 9 0.039321 10 16 7.800000
 555 > 9 0.039321 10 12 7.800000
 556 > 9 0.039321 10 17 7.800000
 557 > 9 0.039321 10 15 5.600000
 558 > 9 0.039321 10 9 5.600000
 559 > 9 0.039321 10 12 5.600000
 560 > 9 0.039321 10 16 5.600000
 561 > 9 0.039321 10 14 5.600000
 562 > 9 0.039321 10 8 5.600000
 563 > 9 0.039321 10 10 5.600000
 564 > 9 0.039321 10 13 7.800000
 565 > 9 0.039321 10 14 7.800000
 566 > 9 0.039321 10 16 7.800000
 567 > 9 0.039321 10 12 7.800000
 568 > 9 0.039321 10 17 7.800000
 569 > 9 0.040777 10 15 5.600000
 570 > 9 0.040777 10 9 5.600000
 571 > 9 0.040777 10 12 5.600000
 572 > 9 0.040777 10 16 5.600000
 573 > 9 0.040777 10 14 5.600000
 574 > 9 0.040777 10 8 5.600000
 575 > 9 0.040777 10 10 5.600000
 576 > 9 0.040777 10 13 7.800000
 577 > 9 0.040777 10 14 7.800000
 578 > 9 0.040777 10 16 7.800000
 579 > 9 0.040777 10 12 7.800000
 580 > 9 0.040777 10 17 7.800000
 581 > 9 0.040777 10 15 5.600000
 582 > 9 0.040777 10 9 5.600000
 583 > 9 0.040777 10 12 5.600000
 584 > 9 0.040777 10 16 5.600000
 585 > 9 0.040777 10 14 5.600000
 586 > 9 0.040777 10 8 5.600000
 587 > 9 0.040777 10 10 5.600000
 588 > 9 0.040777 10 13 7.800000
 589 > 9 0.040777 10 14 7.800000
 590 > 9 0.040777 10 16 7.800000
 591 > 9 0.040777 10 12 7.800000
 592 > 9 0.040777 10 17 7.800000
 593 > 9 0.041244 10 15 5.600000
 594 > 9 0.041244 10 9 5.600000
 595 > 9 0.041244 10 12 5.600000
 596 > 9 0.041244 10 16 5.600000
 597 > 9 0.041244 10 14 5.600000
 598 > 9 0.041244 10 8 5.600000
 599 > 9 0.041244 10 10 5.600000
 600 > 9 0.041244 10 13 7.800000
 601 > 9 0.041244 10 14 7.800000
 602 > 9 0.041244 10 16 7.800000
 603 > 9 0.041244 10 12 7.800000
 604 > 9 0.041244 10 17 7.800000
 605 > 9 0.041244 10 15 5.600000
 606 > 9 0.041244 10 9 5.600000
 607 > 9 0.041244 10 12 5.600000
 608 > 9 0.041244 10 16 5.600000
 609 > 9 0.041244 10 14 5.600000
 610 > 9 0.041244 10 8 5.600000
 611 > 9 0.041244 10 10 5.600000
 612 > 9 0.041244 10 13 7.800000
 613 > 9 0.041244 10 14 7.800000
 614 > 9 0.041244 10 16 7.800000
 615 > 9 0.041244 10 12 7.800000
 616 > 9 0.041244 10 17 7.800000
 617 > 9 0.052427 10 15 5.600000
 618 > 9 0.052427 10 9 5.600000
 619 > 9 0.052427 10 12 5.600000
 620 > 9 0.052427 10 16 5.600000
 621 > 9 0.052427 10 14 5.600000
 622 > 9 0.052427 10 8 5.600000
 623 > 9 0.052427 10 10 5.600000
 624 > 9 0.052427 10 13 7.800000
 625 > 9 0.052427 10 14 7.800000
 626 > 9 0.052427 10 16 7.800000
 627 > 9 0.052427 10 12 7.800000
 628 > 9 0.052427 10 17 7.800000
 629 > 9 0.052427 10 15 5.600000
 630 > 9 0.052427 10 9 5.600000
 631 > 9 0.052427 10 12 5.600000
 632 > 9 0.052427 10 16 5.600000
 633 > 9 0.052427 10 14 5.600000
 634 > 9 0.052427 10 8 5.600000
 635 > 9 0.052427 10 10 5.600000
 636 > 9 0.052427 10 13 7.800000
 637 > 9 0.052427 10 14 7.800000
 638 > 9 0.052427 10 16 7.800000
 639 > 9 0.052427 10 12 7.800000
 640 > 9 0.052427 10 17 7.800000
 641 > 9 0.061165 10 15 5.600000
 642 > 9 0.061165 10 9 5.600000
 643 > 9 0.061165 10 12 5.600000
 644 > 9 0.061165 10 16 5.600000
 645 > 9 0.061165 10 14 5.600000
 646 > 9 0.061165 10 8 5.600000
 647 > 9 0.061165 10 10 5.600000
 648 > 9 0.061165 10 13 7.800000
 649 > 9 0.061165 10 14 7.800000
 650 > 9 0.061165 10 16 7.800000
 651 > 9 0.061165 10 12 7.800000
 652 > 9 0.061165 10 17 7.800000
 653 > 9 0.061165 10 15 5.600000
 654 > 9 0.061165 10 9 5.600000
 655 > 9 0.061165 10 12 5.600000
 656 > 9 0.061165 10 16 5.600000
 657 > 9 0.061165 10 14 5.600000
 658 > 9 0.061165 10 8 5.600000
 659 > 9 0.061165 10 10 5.600000
 660 > 9 0.061165 10 13 7.800000
 661 > 9 0.061165 10 14 7.800000
 662 > 9 0.061165 10 16 7.800000
 663 > 9 0.061165 10 12 7.800000
 664 > 9 0.061165 10 17 7.800000
 665 > 9 0.061866 10 15 5.600000
 666 > 9 0.061866 10 9 5.600000
 667 > 9 0.061866 10 12 5.600000
 668 > 9 0.061866 10 16 5.600000
 669 > 9 0.061866 10 14 5.600000
 670 > 9 0.061866 10 8 5.600000
 671 > 9 0.061866 10 10 5.600000
 672 > 9 0.061866 10 13 7.800000
 673 > 9 0.061866 10 14 7.800000
 674 > 9 0.061866 10 16 7.800000
 675 > 9 0.061866 10 12 7.800000
 676 > 9 0.061866 10 17 7.800000
 677 > 9 0.061866 10 15 5.600000
 678 > 9 0.061866 10 9 5.600000
 679 > 9 0.061866 10 12 5.600000
 680 > 9 0.061866 10 16 5.600000
 681 > 9 0.061866 10 14 5.600000
 682 > 9 0.061866 10 8 5.600000
 683 > 9 0.061866 10 10 5.600000
 684 > 9 0.061866 10 13 7.800000
 685 > 9 0.061866 10 14 7.800000
 686 > 9 0.061866 10 16 7.800000
 687 > 9 0.061866 10 12 7.800000
 688 > 9 0.061866 10 17 7.800000
 689 > 9 0.065534 10 15 5.600000
 690 > 9 0.065534 10 9 5.600000
 691 > 9 0.065534 10 12 5.600000
 692 > 9 0.065534 10 16 5.600000
 693 > 9 0.065534 10 14 5.600000
 694 > 9 0.065534 10 8 5.600000
 695 > 9 0.065534 10 10 5.600000
 696 > 9 0.065534 10 13 7.800000
 697 > 9 0.065534 10 14 7.800000
 698 > 9 0.065534 10 16 7.800000
 699 > 9 0.065534 10 12 7.800000
 700 > 9 0.065534 10 17 7.800000
 701 > 9 0.065534 10 15 5.600000
 702 > 9 0.065534 10 9 5.600000
 703 > 9 0.065534 10 12 5.600000
 704 > 9 0.065534 10 16 5.600000
 705 > 9 0.065534 10 14 5.600000
 706 > 9 0.065534 10 8 5.600000
 707 > 9 0.065534 10 10 5.600000
 708 > 9 0.065534 10 13 7.800000
 709 > 9 0.065534 10 14 7.800000
 710 > 9 0.065534 10 16 7.800000
 711 > 9 0.065534 10 12 7.800000
 712 > 9 0.065534 10 17 7.800000
 713 > 9 0.078641 10 15 5.600000
 714 > 9 0.078641 10 9 5.600000
 715 > 9 0.078641 10 12 5.600000
 716 > 9 0.078641 10 16 5.600000
 717 > 9 0.078641 10 14 5.600000
 718 > 9 0.078641 10 8 5.600000
 719 > 9 0.078641 10 10 5.600000
 720 > 9 0.078641 10 13 7.800000
 721 > 9 0.078641 10 14 7.800000
 722 > 9 0.078641 10 16 7.800000
 723 > 9 0.078641 10 12 7.800000
 724 > 9 0.078641 10 17 7.800000
 725 > 9 0.078641 10 15 5.600000
 726 > 9 0.078641 10 9 5.600000
 727 > 9 0.078641 10 12 5.600000
 728 > 9 0.078641 10 16 5.600000
 729 > 9 0.078641 10 14 5.600000
 730 > 9 0.078641 10 8 5.600000
 731 > 9 0.078641 10 10 5.600000
 732 > 9 0.078641 10 13 7.800000
 733 > 9 0.078641 10 14 7.800000
 734 > 9 0.078641 10 16 7.800000
 735 > 9 0.078641 10 12 7.800000
 736 > 9 0.078641 10 17 7.800000
 737 > 9 0.081554 10 15 5.600000
 738 > 9 0.081554 10 9 5.600000
 739 > 9 0.081554 10 12 5.600000
 740 > 9 0.081554 10 16 5.600000
 741 > 9 0.081554 10 14 5.600000
 742 > 9 0.081554 10 8 5.600000
 743 > 9 0.081554 10 10 5.600000
 744 > 9 0.081554 10 13 7.800000
 745 > 9 0.081554 10 14 7.800000
 746 > 9 0.081554 10 16 7.800000
 747 > 9 0.081554 10 12 7.800000
 748 > 9 0.081554 10 17 7.800000
 749 > 9 0.081554 10 15 5.600000
 750 > 9 0.081554 10 9 5.600000
 751 > 9 0.081554 10 12 5.600000
 752 > 9 0.081554 10 16 5.600000
 753 > 9 0.081554 10 14 5.600000
 754 > 9 0.081554 10 8 5.600000
 755 > 9 0.081554 10 10 5.600000
 756 > 9 0.081554 10 13 7.800000
 757 > 9 0.081554 10 14 7.800000
 758 > 9 0.081554 10 16 7.800000
 759 > 9 0.081554 10 12 7.800000
 760 > 9 0.081554 10 17 7.800000
 761 > 9 0.082488 10 15 5.600000
 762 > 9 0.082488 10 9 5.600000
 763 > 9 0.082488 10 12 5.600000
 764 > 9 0.082488 10 16 5.600000
 765 > 9 0.082488 10 14 5.600000
 766 > 9 0.082488 10 8 5.600000
 767 > 9 0.082488 10 10 5.600000
 768 > 9 0.082488 10 13 7.800000
 769 > 9 0.082488 10 14 7.800000
 770 > 9 0.082488 10 16 7.800000
 771 > 9 0.082488 10 12 7.800000
 772 > 9 0.082488 10 17 7.800000
 773 > 9 0.082488 10 15 5.600000
 774 > 9 0.082488 10 9 5.600000
 775 > 9 0.082488 10 12 5.600000
 776 > 9 0.082488 10 16 5.600000
 777 > 9 0.082488 10 14 5.600000
 778 > 9 0.082488 10 8 5.600000
 779 > 9 0.082488 10 10 5.600000
 780 > 9 0.082488 10 13 7.800000
 781 > 9 0.082488 10 14 7.800000
 782 > 9 0.082488 10 16 7.800000
 783 > 9 0.082488 10 12 7.800000
 784 > 9 0.082488 10 17 7.800000
 785 > 9 0.091748 10 15 5.600000
 786 > 9 0.091748 10 9 5.600000
 787 > 9 0.091748 10 12 5.600000
 788 > 9 0.091748 10 16 5.600000
 789 > 9 0.091748 10 14 5.600000
 790 > 9 0.091748 10 8 5.600000
 791 > 9 0.091748 10 10 5.600000
 792 > 9 0.091748 10 13 7.800000
 793 > 9 0.091748 10 14 7.800000
 794 > 9 0.091748 10 16 7.800000
 795 > 9 0.091748 10 12 7.800000
 796 > 9 0.091748 10 17 7.800000
 797 > 9 0.091748 10 15 5.600000
 798 > 9 0.091748 10 9 5.600000
 799 > 9 0.091748 10 12 5.600000
 800 > 9 0.091748 10 16 5.600000
 801 > 9 0.091748 10 14 5.600000
 802 > 9 0.091748 10 8 5.600000
 803 > 9 0.091748 10 10 5.600000
 804 > 9 0.091748 10 13 7.800000
 805 > 9 0.091748 10 14 7.800000
 806 > 9 0.091748 10 16 7.800000
 807 > 9 0.091748 10 12 7.800000
 808 > 9 0.091748 10 17 7.800000
 809 > 9 0.101942 10 15 5.600000
 810 > 9 0.101942 10 9 5.600000
 811 > 9 0.101942 10 12 5.600000
 812 > 9 0.101942 10 16 5.600000
 813 > 9 0.101942 10 14 5.600000
 814 > 9 0.101942 10 8 5.600000
 815 > 9 0.101942 10 10 5.600000
 816 > 9 0.101942 10 13 7.800000
 817 > 9 0.101942 10 14 7.800000
 818 > 9 0.101942 10 16 7.800000
 819 > 9 0.101942 10 12 7.800000
 820 > 9 0.101942 10 17 7.800000
 821 > 9 0.101942 10 15 5.600000
 822 > 9 0.101942 10 9 5.600000
 823 > 9 0.101942 10 12 5.600000
 824 > 9 0.101942 10 16 5.600000
 825 > 9 0.101942 10 14 5.600000
 826 > 9 0.101942 10 8 5.600000
 827 > 9 0.101942 10 10 5.600000
 828 > 9 0.101942 10 13 7.800000
 829 > 9 0.101942 10 14 7.800000
 830 > 9 0.101942 10 16 7.800000
 831 > 9 0.101942 10 12 7.800000
 832 > 9 0.101942 10 17 7.800000
 833 > 9 0.103110 10 15 5.600000
 834 > 9 0.103110 10 9 5.600000
 835 > 9 0.103110 10 12 5.600000
 836 > 9 0.103110 10 16 5.600000
 837 > 9 0.103110 10 14 5.600000
 838 > 9 0.103110 10 8 5.600000
 839 > 9 0.103110 10 10 5.600000
 840 > 9 0.103110 10 13 7.800000
 841 > 9 0.103110 10 14 7.800000
 842 > 9 0.103110 10 16 7.800000
 843 > 9 0.103110 10 12 7.800000
 844 > 9 0.103110 10 17 7.800000
 845 > 9 0.103110 10 15 5.600000
 846 > 9 0.103110 10 9 5.600000
 847 > 9 0.103110 10 12 5.600000
 848 > 9 0.103110 10 16 5.600000
 849 > 9 0.103110 10 14 5.600000
 850 > 9 0.103110 10 8 5.600000
 851 > 9 0.103110 10 10 5.600000
 852 > 9 0.103110 10 13 7.800000
 853 > 9 0.103110 10 14 7.800000
 854 > 9 0.103110 10 16 7.800000
 855 > 9 0.103110 10 12 7.800000
 856 > 9 0.103110 10 17 7.800000
 857 > 9 0.104855 10 15 5.600000
 858 > 9 0.104855 10 9 5.600000
 859 > 9 0.104855 10 12 5.600000
 860 > 9 0.104855 10 16 5.600000
 861 > 9 0.104855 10 14 5.600000
 862 > 9 0.104855 10 8 5.600000
 863 > 9 0.104855 10 10 5.600000
 864 > 9 0.104855 10 13 7.800000
 865 > 9 0.104855 10 14 7.800000
 866 > 9 0.104855 10 16 7.800000
 867 > 9 0.104855 10 12 7.800000
 868 > 9 0.104855 10 17 7.800000
 869 > 9 0.104855 10 15 5.600000
 870 > 9 0.104855 10 9 5.600000
 871 > 9 0.104855 10 12 5.600000
 872 > 9 0.104855 10 16 5.600000
 873 > 9 0.104855 10 14 5.600000
 874 > 9 0.104855 10 8 5.600000
 875 > 9 0.104855 10 10 5.600000
 876 > 9 0.104855 10 13 7.800000
 877 > 9 0.104855 10 14 7.800000
 878 > 9 0.104855 10 16 7.800000
 879 > 9 0.104855 10 12 7.800000
 880 > 9 0.104855 10 17 7.800000
 881 > 9 0.117962 10 15 5.600000
 882 > 9 0.117962 10 9 5.600000
 883 > 9 0.117962 10 12 5.600000
 884 > 9 0.117962 10 16 5.600000
 885 > 9 0.117962 10 14 5.600000
 886 > 9 0.117962 10 8 5.600000
 887 > 9 0.117962 10 10 5.600000
 888 > 9 0.117962 10 13 7.800000
 889 > 9 0.117962 10 14 7.800000
 890 > 9 0.117962 10 16 7.800000
 891 > 9 0.117962 10 12 7.800000
 892 > 9 0.117962 10 17 7.800000
 893 > 9 0.117962 10 15 5.600000
 894 > 9 0.117962 10 9 5.600000
 895 > 9 0.117962 10 12 5.600000
 896 > 9 0.117962 10 16 5.600000
 897 > 9 0.117962 10 14 5.600000
 898 > 9 0.117962 10 8 5.600000
 899 > 9 0.117962 10 10 5.600000
 900 > 9 0.117962 10 13 7.800000
 901 > 9 0.117962 10 14 7.800000
 902 > 9 0.117962 10 16 7.800000
 903 > 9 0.117962 10 12 7.800000
 904 > 9 0.117962 10 17 7.800000
 905 > 9 0.122330 10 15 5.600000
 906 > 9 0.122330 10 9 5.600000
 907 > 9 0.122330 10 12 5.600000
 908 > 9 0.122330 10 16 5.600000
 909 > 9 0.122330 10 14 5.600000
 910 > 9 0.122330 10 8 5.600000
 911 > 9 0.122330 10 10 5.600000
 912 > 9 0.122330 10 13 7.800000
 913 > 9 0.122330 10 14 7.800000
 914 > 9 0.122330 10 16 7.800000
 915 > 9 0.122330 10 12 7.800000
 916 > 9 0.122330 10 17 7.800000
 917 > 9 0.122330 10 15 5.600000
 918 > 9 0.122330 10 9 5.600000
 919 > 9 0.122330 10 12 5.600000
 920 > 9 0.122330 10 16 5.600000
 921 > 9 0.122330 10 14 5.600000
 922 > 9 0.122330 10 8 5.600000
 923 > 9 0.122330 10 10 5.600000
 924 > 9 0.122330 10 13 7.800000
 925 > 9 0.122330 10 14 7.800000
 926 > 9 0.122330 10 16 7.800000
 927 > 9 0.122330 10 12 7.800000
 928 > 9 0.122330 10 17 7.800000
 929 > 9 0.123732 10 15 5.600000
 930 > 9 0.123732 10 9 5.600000
 931 > 9 0.123732 10 12 5.600000
 932 > 9 0.123732 10 16 5.600000
 933 > 9 0.123732 10 14 5.600000
 934 > 9 0.123732 10 8 5.600000
 935 > 9 0.123732 10 10 5.600000
 936 > 9 0.123732 10 13 7.800000
 937 > 9 0.123732 10 14 7.800000
 938 > 9 0.123732 10 16 7.800000
 939 > 9 0.123732 10 12 7.800000
 940 > 9 0.123732 10 17 7.800000
 941 > 9 0.123732 10 15 5.600000
 942 > 9 0.123732 10 9 5.600000
 943 > 9 0.123732 10 12 5.600000
 944 > 9 0.123732 10 16 5.600000
 945 > 9 0.123732 10 14 5.600000
 946 > 9 0.123732 10 8 5.600000
 947 > 9 0.123732 10 10 5.600000
 948 > 9 0.123732 10 13 7.800000
 949 > 9 0.123732 10 14 7.800000
 950 > 9 0.123732 10 16 7.800000
 951 > 9 0.123732 10 12 7.800000
 952 > 9 0.123732 10 17 7.800000
 953 > 9 0.131068 10 15 5.600000
 954 > 9 0.131068 10 9 5.600000
 955 > 9 0.131068 10 12 5.600000
 956 > 9 0.131068 10 16 5.600000
 957 > 9 0.131068 10 14 5.600000
 958 > 9 0.131068 10 8 5.600000
 959 > 9 0.131068 10 10 5.600000
 960 > 9 0.131068 10 13 7.800000
 961 > 9 0.131068 10 14 7.800000
 962 > 9 0.131068 10 16 7.800000
 963 > 9 0.131068 10 12 7.800000
 964 > 9 0.131068 10 17 7.800000
 965 > 9 0.131068 10 15 5.600000
 966 > 9 0.131068 10 9 5.600000
 967 > 9 0.131068 10 12 5.600000
 968 > 9 0.131068 10 16 5.600000
 969 > 9 0.131068 10 14 5.600000
 970 > 9 0.131068 10 8 5.600000
 971 > 9 0.131068 10 10 5.600000
 972 > 9 0.131068 10 13 7.800000
 973 > 9 0.131068 10 14 7.800000
 974 > 9 0.131068 10 16 7.800000
 975 > 9 0.131068 10 12 7.800000
 976 > 9 0.131068 10 17 7.800000
 977 > 9 0.142719 10 15 5.600000
 978 > 9 0.142719 10 9 5.600000
 979 > 9 0.142719 10 12 5.600000
 980 > 9 0.142719 10 16 5.600000
 981 > 9 0.142719 10 14 5.600000
 982 > 9 0.142719 10 8 5.600000
 983 > 9 0.142719 10 10 5.600000
 984 > 9 0.142719 10 13 7.800000
 985 > 9 0.142719 10 14 7.800000
 986 > 9 0.142719 10 16 7.800000
 987 > 9 0.142719 10 12 7.800000
 988 > 9 0.142719 10 17 7.800000
 989 > 9 0.142719 10 15 5.600000
 990 > 9 0.142719 10 9 5.600000
 991 > 9 0.142719 10 12 5.600000
 992 > 9 0.142719 10 16 5.600000
 993 > 9 0.142719 10 14 5.600000
 994 > 9 0.142719 10 8 5.600000
 995 > 9 0.142719 10 10 5.600000
 996 > 9 0.142719 10 13 7.800000
 997 > 9 0.142719 10 14 7.800000
 998 > 9 0.142719 10 16 7.800000
 999 > 9 0.142719 10 12 7.800000
1000 > 9 0.142719 10 17 7.800000
1001 > 10 0.144175 10 15 3.400000
1002 > 10 0.144175 10 9 3.400000
1003 > 10 0.144175 10 12 3.400000
1004 > 10 0.144175 10 16 3.400000
1005 > 10 0.144175 10 14 3.400000
1006 > 10 0.144175 10 8 3.400000
1007 > 10 0.144175 10 10 3.400000
1008 > 10 0.144175 10 13 5.600000
1009 > 10 0.144175 10 14 5.600000
1010 > 10 0.144175 10 16 5.600000
1011 > 10 0.144175 10 12 5.600000
1012 > 10 0.144175 10 17 5.600000
1013 > 10 0.144175 10 15 3.400000
1014 > 10 0.144175 10 9 3.400000
1015 > 10 0.144175 10 12 3.400000
1016 > 10 0.144175 10 16 3.400000
1017 > 10 0.144175 10 14 3.400000
1018 > 10 0.144175 10 8 3.400000
1019 > 10 0.144175 10 10 3.400000
1020 > 10 0.144175 10 13 5.600000
1021 > 10 0.144175 10 14 5.600000
1022 > 10 0.144175 10 16 5.600000
1023 > 10 0.144175 10 12 5.600000
1024 > 10 0.144175 10 17 5.600000
1025 > 9 0.144354 10 15 5.600000
1026 > 9 0.144354 10 9 5.600000
1027 > 9 0.144354 10 12 5.600000
1028 > 9 0.144354 10 16 5.600000
1029 > 9 0.144354 10 14 5.600000
1030 > 9 0.144354 10 8 5.600000
1031 > 9 0.144354 10 10 5.600000
1032 > 9 0.144354 10 13 7.800000
1033 > 9 0.144354 10 14 7.800000
1034 > 9 0.144354 10 16 7.800000
1035 > 9 0.144354 10 12 7.800000
1036 > 9 0.144354 10 17 7.800000
1037 > 9 0.144354 10 15 5.600000
1038 > 9 0.144354 10 9 5.600000
1039 > 9 0.144354 10 12 5.600000
1040 > 9 0.144354 10 16 5.600000
1041 > 9 0.144354 10 14 5.600000
1042 > 9 0.144354 10 8 5.600000
1043 > 9 0.144354 10 10 5.600000
1044 > 9 0.144354 10 13 7.800000
1045 > 9 0.144354 10 14 7.800000
1046 > 9 0.144354 10 16 7.800000
1047 > 9 0.144354 10 12 7.800000
1048 > 9 0.144354 10 17 7.800000
1049 > 10 0.157282 10 15 3.400000
1050 > 10 0.157282 10 9 3.400000
1051 > 10 0.157282 10 12 3.400000
1052 > 10 0.157282 10 16 3.400000
1053 > 10 0.157282 10 14 3.400000
1054 > 10 0.157282 10 8 3.400000
1055 > 10 0.157282 10 10 3.400000
1056 > 10 0.157282 10 13 5.600000
1057 > 10 0.157282 10 14 5.600000
1058 > 10 0.157282 10 16 5.600000
1059 > 10 0.157282 10 12 5.600000
1060 > 10 0.157282 10 17 5.600000
1061 > 10 0.157282 10 15 3.400000
1062 > 10 0.157282 10 9 3.400000
1063 > 10 0.157282 10 12 3.400000
1064 > 10 0.157282 10 16 3.400000
1065 > 10 0.157282 10 14 3.400000
1066 > 10 0.157282 10 8 3.400000
1067 > 10 0.157282 10 10 3.400000
1068 > 10 0.157282 10 13 5.600000
1069 > 10 0.157282 10 14 5.600000
1070 > 10 0.157282 10 16 5.600000
1071 > 10 0.157282 10 12 5.600000
1072 > 10 0.157282 10 17 5.600000
1073 > 9 0.163107 10 15 5.600000
1074 > 9 0.163107 10 9 5.600000
1075 > 9 0.163107 10 12 5.600000
1076 > 9 0.163107 10 16 5.600000
1077 > 9 0.163107 10 14 5.600000
1078 > 9 0.163107 10 8 5.600000
1079 > 9 0.163107 10 10 5.600000
1080 > 9 0.163107 10 13 7.800000
1081 > 9 0.163107 10 14 7.800000
1082 > 9 0.163107 10 16 7.800000
1083 > 9 0.163107 10 12 7.800000
1084 > 9 0.163107 10 17 7.800000
1085 > 9 0.163107 10 15 5.600000
1086 > 9 0.163107 10 9 5.600000
1087 > 9 0.163107 10 12 5.600000
1088 > 9 0.163107 10 16 5.600000
1089 > 9 0.163107 10 14 5.600000
1090 > 9 0.163107 10 8 5.600000
1091 > 9 0.163107 10 10 5.600000
1092 > 9 0.163107 10 13 7.800000
1093 > 9 0.163107 10 14 7.800000
1094 > 9 0.163107 10 16 7.800000
1095 > 9 0.163107 10 12 7.800000
1096 > 9 0.163107 10 17 7.800000
1097 > 9 0.164976 10 15 5.600000
1098 > 9 0.164976 10 9 5.600000
1099 > 9 0.164976 10 12 5.600000
1100 > 9 0.164976 10 16 5.600000
1101 > 9 0.164976 10 14 5.600000
1102 > 9 0.164976 10 8 5.600000
1103 > 9 0.164976 10 10 5.600000
1104 > 9 0.164976 10 13 7.800000
1105 > 9 0.164976 10 14 7.800000
1106 > 9 0.164976 10 16 7.800000
1107 > 9 0.164976 10 12 7.800000
1108 > 9 0.164976 10 17 7.800000
1109 > 9 0.164976 10 15 5.600000
1110 > 9 0.164976 10 9 5.600000
1111 > 9 0.164976 10 12 5.600000
1112 > 9 0.164976 10 16 5.600000
1113 > 9 0.164976 10 14 5.600000
1114 > 9 0.164976 10 8 5.600000
1115 > 9 0.164976 10 10 5.600000
1116 > 9 0.164976 10 13 7.800000
1117 > 9 0.164976 10 14 7.800000
1118 > 9 0.164976 10 16 7.800000
1119 > 9 0.164976 10 12 7.800000
1120 > 9 0.164976 10 17 7.800000
1121 > 10 0.170389 10 15 3.400000
1122 > 10 0.170389 10 9 3.400000
1123 > 10 0.170389 10 12 3.400000
1124 > 10 0.170389 10 16 3.400000
1125 > 10 0.170389 10 14 3.400000
1126 > 10 0.170389 10 8 3.400000
1127 > 10 0.170389 10 10 3.400000
1128 > 10 0.170389 10 13 5.600000
1129 > 10 0.170389 10 14 5.600000
1130 > 10 0.170389 10 16 5.600000
1131 > 10 0.170389 10 12 5.600000
1132 > 10 0.170389 10 17 5.600000
1133 > 10 0.170389 10 15 3.400000
1134 > 10 0.170389 10 9 3.400000
1135 > 10 0.170389 10 12 3.400000
1136 > 10 0.170389 10 16 3.400000
1137 > 10 0.170389 10 14 3.400000
1138 > 10 0.170389 10 8 3.400000
1139 > 10 0.170389 10 10 3.400000
1140 > 10 0.170389 10 13 5.600000
1141 > 10 0.170389 10 14 5.600000
1142 > 10 0.170389 10 16 5.600000
1143 > 10 0.170389 10 12 5.600000
1144 > 10 0.170389 10 17 5.600000
1145 > 9 0.183496 10 15 5.600000
1146 > 9 0.183496 10 9 5.600000
1147 > 9 0.183496 10 12 5.600000
1148 > 9 0.183496 10 16 5.600000
1149 > 9 0.183496 10 14 5.600000
1150 > 9 0.183496 10 8 5.600000
1151 > 9 0.183496 10 10 5.600000
1152 > 9 0.183496 10 13 7.800000
1153 > 9 0.183496 10 14 7.800000
1154 > 9 0.183496 10 16 7.800000
1155 > 9 0.183496 10 12 7.800000
1156 > 9 0.183496 10 17 7.800000
1157 > 9 0.183496 10 15 5.600000
1158 > 9 0.183496 10 9 5.600000
1159 > 9 0.183496 10 12 5.600000
1160 > 9 0.183496 10 16 5.600000
1161 > 9 0.183496 10 14 5.600000
1162 > 9 0.183496 10 8 5.600000
1163 > 9 0.183496 10 10 5.600000
1164 > 9 0.183496 10 13 7.800000
1165 > 9 0.183496 10 14 7.800000
1166 > 9 0.183496 10 16 7.800000
1167 > 9 0.183496 10 12 7.800000
1168 > 9 0.183496 10 17 7.800000
1169 > 10 0.183496 10 15 3.400000
1170 > 10 0.183496 10 9 3.400000
1171 > 10 0.183496 10 12 3.400000
1172 > 10 0.183496 10 16 3.400000
1173 > 10 0.183496 10 14 3.400000
1174 > 10 0.183496 10 8 3.400000
1175 > 10 0.183496 10 10 3.400000
1176 > 10 0.183496 10 13 5.600000
1177 > 10 0.183496 10 14 5.600000
1178 > 10 0.183496 10 16 5.600000
1179 > 10 0.183496 10 12 5.600000
1180 > 10 0.183496 10 17 5.600000
1181 > 10 0.183496 10 15 3.400000
1182 > 10 0.183496 10 9 3.400000
1183 > 10 0.183496 10 12 3.400000
1184 > 10 0.183496 10 16 3.400000
1185 > 10 0.183496 10 14 3.400000
1186 > 10 0.183496 10 8 3.400000
1187 > 10 0.183496 10 10 3.400000
1188 > 10 0.183496 10 13 5.600000
1189 > 10 0.183496 10 14 5.600000
1190 > 10 0.183496 10 16 5.600000
1191 > 10 0.183496 10 12 5.600000
1192 > 10 0.183496 10 17 5.600000
1193 > 9 0.185598 10 15 5.600000
1194 > 9 0.185598 10 9 5.600000
1195 > 9 0.185598 10 12 5.600000
1196 > 9 0.185598 10 16 5.600000
1197 > 9 0.185598 10 14 5.600000
1198 > 9 0.185598 10 8 5.600000
1199 > 9 0.185598 10 10 5.600000
1200 > 9 0.185598 10 13 7.800000
1201 > 9 0.185598 10 14 7.800000
1202 > 9 0.185598 10 16 7.800000
1203 > 9 0.185598 10 12 7.800000
1204 > 9 0.185598 10 17 7.800000
1205 > 9 0.185598 10 15 5.600000
1206 > 9 0.185598 10 9 5.600000
1207 > 9 0.185598 10 12 5.600000
1208 > 9 0.185598 10 16 5.600000
1209 > 9 0.185598 10 14 5.600000
1210 > 9 0.185598 10 8 5.600000
1211 > 9 0.185598 10 10 5.600000
1212 > 9 0.185598 10 13 7.800000
1213 > 9 0.185598 10 14 7.800000
1214 > 9 0.185598 10 16 7.800000
1215 > 9 0.185598 10 12 7.800000
1216 > 9 0.185598 10 17 7.800000
1217 > 10 0.196602 10 15 3.400000
1218 > 10 0.196602 10 9 3.400000
1219 > 10 0.196602 10 12 3.400000
1220 > 10 0.196602 10 16 3.400000
1221 > 10 0.196602 10 14 3.400000
1222 > 10 0.196602 10 8 3.400000
1223 > 10 0.196602 10 10 3.400000
1224 > 10 0.196602 10 13 5.600000
1225 > 10 0.196602 10 14 5.600000
1226 > 10 0.196602 10 16 5.600000
1227 > 10 0.196602 10 12 5.600000
1228 > 10 0.196602 10 17 5.600000
1229 > 10 0.196602 10 15 3.400000
1230 > 10 0.196602 10 9 3.400000
1231 > 10 0.196602 10 12 3.400000
1232 > 10 0.196602 10 16 3.400000
1233 > 10 0.196602 10 14 3.400000
1234 > 10 0.196602 10 8 3.400000
1235 > 10 0.196602 10 10 3.400000
1236 > 10 0.196602 10 13 5.600000
1237 > 10 0.196602 10 14 5.600000
1238 > 10 0.196602 10 16 5.600000
1239 > 10 0.196602 10 12 5.600000
1240 > 10 0.196602 10 17 5.600000
1241 > 9 0.203884 10 15 5.600000
1242 > 9 0.203884 10 9 5.600000
1243 > 9 0.203884 10 12 5.600000
1244 > 9 0.203884 10 16 5.600000
1245 > 9 0.203884 10 14 5.600000
1246 > 9 0.203884 10 8 5.600000
1247 > 9 0.203884 10 10 5.600000
1248 > 9 0.203884 10 13 7.800000
1249 > 9 0.203884 10 14 7.800000
1250 > 9 0.203884 10 16 7.800000
1251 > 9 0.203884 10 12 7.800000
1252 > 9 0.203884 10 17 7.800000
1253 > 9 0.203884 10 15 5.600000
1254 > 9 0.203884 10 9 5.600000
1255 > 9 0.203884 10 12 5.600000
1256 > 9 0.203884 10 16 5.600000
1257 > 9 0.203884 10 14 5.600000
1258 > 9 0.203884 10 8 5.600000
1259 > 9 0.203884 10 10 5.600000
1260 > 9 0.203884 10 13 7.800000
1261 > 9 0.203884 10 14 7.800000
1262 > 9 0.203884 10 16 7.800000
1263 > 9 0.203884 10 12 7.800000
1264 > 9 0.203884 10 17 7.800000
1265 > 9 0.206220 10 15 5.600000
1266 > 9 0.206220 10 9 5.600000
1267 > 9 0.206220 10 12 5.600000
1268 > 9 0.206220 10 16 5.600000
1269 > 9 0.206220 10 14 5.600000
1270 > 9 0.206220 10 8 5.600000
1271 > 9 0.206220 10 10 5.600000
1272 > 9 0.206220 10 13 7.800000
1273 > 9 0.206220 10 14 7.800000
1274 > 9 0.206220 10 16 7.800000
1275 > 9 0.206220 10 12 7.800000
1276 > 9 0.206220 10 17 7.800000
1277 > 9 0.206220 10 15 5.600000
1278 > 9 0.206220 10 9 5.600000
1279 > 9 0.206220 10 12 5.600000
1280 > 9 0.206220 10 16 5.600000
1281 > 9 0.206220 10 14 5.600000
1282 > 9 0.206220 10 8 5.600000
1283 > 9 0.206220 10 10 5.600000
1284 > 9 0.206220 10 13 7.800000
1285 > 9 0.206220 10 14 7.800000
1286 > 9 0.206220 10 16 7.800000
1287 > 9 0.206220 10 12 7.800000
1288 > 9 0.206220 10 17 7.800000
1289 > 10 0.209709 10 15 3.400000
1290 > 10 0.209709 10 9 3.400000
1291 > 10 0.209709 10 12 3.400000
1292 > 10 0.209709 10 16 3.400000
1293 > 10 0.209709 10 14 3.400000
1294 > 10 0.209709 10 8 3.400000
1295 > 10 0.209709 10 10 3.400000
1296 > 10 0.209709 10 13 5.600000
1297 > 10 0.209709 10 14 5.600000
1298 > 10 0.209709 10 16 5.600000
1299 > 10 0.209709 10 12 5.600000
1300 > 10 0.209709 10 17 5.600000
1301 > 10 0.209709 10 15 3.400000
1302 > 10 0.209709 10 9 3.400000
1303 > 10 0.209709 10 12 3.400000
1304 > 10 0.209709 10 16 3.400000
1305 > 10 0.209709 10 14 3.400000
1306 > 10 0.209709 10 8 3.400000
1307 > 10 0.209709 10 10 3.400000
1308 > 10 0.209709 10 13 5.600000
1309 > 10 0.209709 10 14 5.600000
1310 > 10 0.209709 10 16 5.600000
1311 > 10 0.209709 10 12 5.600000
1312 > 10 0.209709 10 17 5.600000
1313 > 10 0.222816 10 15 3.400000
1314 > 10 0.222816 10 9 3.400000
1315 > 10 0.222816 10 12 3.400000
1316 > 10 0.222816 10 16 3.400000
1317 > 10 0.222816 10 14 3.400000
1318 > 10 0.222816 10 8 3.400000
1319 > 10 0.222816 10 10 3.400000
1320 > 10 0.222816 10 13 5.600000
1321 > 10 0.222816 10 14 5.600000
1322 > 10 0.222816 10 16 5.600000
1323 > 10 0.222816 10 12 5.600000
1324 > 10 0.222816 10 17 5.600000
1325 > 10 0.222816 10 15 3.400000
1326 > 10 0.222816 10 9 3.400000
1327 > 10 0.222816 10 12 3.400000
1328 > 10 0.222816 10 16 3.400000
1329 > 10 0.222816 10 14 3.400000
1330 > 10 0.222816 10 8 3.400000
1331 > 10 0.222816 10 10 3.400000
1332 > 10 0.222816 10 13 5.600000
1333 > 10 0.222816 10 14 5.600000
1334 > 10 0.222816 10 16 5.600000
1335 > 10 0.222816 10 12 5.600000
1336 > 10 0.222816 10 17 5.600000
1337 > 10 0.224272 10 15 3.400000
1338 > 10 0.224272 10 9 3.400000
1339 > 10 0.224272 10 12 3.400000
1340 > 10 0.224272 10 16 3.400000
1341 > 10 0.224272 10 14 3.400000
1342 > 10 0.224272 10 8 3.400000
1343 > 10 0.224272 10 10 3.400000
1344 > 10 0.224272 10 13 5.600000
1345 > 10 0.224272 10 14 5.600000
1346 > 10 0.224272 10 16 5.600000
1347 > 10 0.224272 10 12 5.600000
1348 > 10 0.224272 10 17 5.600000
1349 > 10 0.224272 10 15 3.400000
1350 > 10 0.224272 10 9 3.400000
1351 > 10 0.224272 10 12 3.400000
1352 > 10 0.224272 10 16 3.400000
1353 > 10 0.224272 10 14 3.400000
1354 > 10 0.224272 10 8 3.400000
1355 > 10 0.224272 10 10 3.400000
1356 > 10 0.224272 10 13 5.600000
1357 > 10 0.224272 10 14 5.600000
1358 > 10 0.224272 10 16 5.600000
1359 > 10 0.224272 10 12 5.600000
1360 > 10 0.224272 10 17 5.600000
1361 > 10 0.226842 10 15 3.400000
1362 > 10 0.226842 10 9 3.400000
1363 > 10 0.226842 10 12 3.400000
1364 > 10 0.226842 10 16 3.400000
1365 > 10 0.226842 10 14 3.400000
1366 > 10 0.226842 10 8 3.400000
1367 > 10 0.226842 10 10 3.400000
1368 > 10 0.226842 10 13 5.600000
1369 > 10 0.226842 10 14 5.600000
1370 > 10 0.226842 10 16 5.600000
1371 > 10 0.226842 10 12 5.600000
1372 > 10 0.226842 10 17 5.600000
1373 > 10 0.226842 10 15 3.400000
1374 > 10 0.226842 10 9 3.400000
1375 > 10 0.226842 10 12 3.400000
1376 > 10 0.226842 10 16 3.400000
1377 > 10 0.226842 10 14 3.400000
1378 > 10 0.226842 10 8 3.400000
1379 > 10 0.226842 10 10 3.400000
1380 > 10 0.226842 10 13 5.600000
1381 > 10 0.226842 10 14 5.600000
1382 > 10 0.226842 10 16 5.600000
1383 > 10 0.226842 10 12 5.600000
1384 > 10 0.226842 10 17 5.600000
1385 > 10 0.235923 10 15 3.400000
1386 > 10 0.235923 10 9 3.400000
1387 > 10 0.235923 10 12 3.400000
1388 > 10 0.235923 10 16 3.400000
1389 > 10 0.235923 10 14 3.400000
1390 > 10 0.235923 10 8 3.400000
1391 > 10 0.235923 10 10 3.400000
1392 > 10 0.235923 10 13 5.600000
1393 > 10 0.235923 10 14 5.600000
1394 > 10 0.235923 10 16 5.600000
1395 > 10 0.235923 10 12 5.600000
1396 > 10 0.235923 10 17 5.600000
1397 > 10 0.235923 10 15 3.400000
1398 > 10 0.235923 10 9 3.400000
1399 > 10 0.235923 10 12 3.400000
1400 > 10 0.235923 10 16 3.400000
1401 > 10 0.235923 10 14 3.400000
1402 > 10 0.235923 10 8 3.400000
1403 > 10 0.235923 10 10 3.400000
1404 > 10 0.235923 10 13 5.600000
1405 > 10 0.235923 10 14 5.600000
1406 > 10 0.235923 10 16 5.600000
1407 > 10 0.235923 10 12 5.600000
1408 > 10 0.235923 10 17 5.600000
1409 > 10 0.244661 10 15 3.400000
1410 > 10 0.244661 10 9 3.400000
1411 > 10 0.244661 10 12 3.400000
1412 > 10 0.244661 10 16 3.400000
1413 > 10 0.244661 10 14 3.400000
1414 > 10 0.244661 10 8 3.400000
1415 > 10 0.244661 10 10 3.400000
1416 > 10 0.244661 10 13 5.600000
1417 > 10 0.244661 10 14 5.600000
1418 > 10 0.244661 10 16 5.600000
1419 > 10 0.244661 10 12 5.600000
1420 > 10 0.244661 10 17 5.600000
1421 > 10 0.244661 10 15 3.400000
1422 > 10 0.244661 10 9 3.400000
1423 > 10 0.244661 10 12 3.400000
1424 > 10 0.244661 10 16 3.400000
1425 > 10 0.244661 10 14 3.400000
1426 > 10 0.244661 10 8 3.400000
1427 > 10 0.244661 10 10 3.400000
1428 > 10 0.244661 10 13 5.600000
1429 > 10 0.244661 10 14 5.600000
1430 > 10 0.244661 10 16 5.600000
1431 > 10 0.244661 10 12 5.600000
1432 > 10 0.244661 10 17 5.600000
1433 > 10 0.247463 10 15 3.400000
1434 > 10 0.247463 10 9 3.400000
1435 > 10 0.247463 10 12 3.400000
1436 > 10 0.247463 10 16 3.400000
1437 > 10 0.247463 10 14 3.400000
1438 > 10 0.247463 10 8 3.400000
1439 > 10 0.247463 10 10 3.400000
1440 > 10 0.247463 10 13 5.600000
1441 > 10 0.247463 10 14 5.600000
1442 > 10 0.247463 10 16 5.600000
1443 > 10 0.247463 10 12 5.600000
1444 > 10 0.247463 10 17 5.600000
1445 > 10 0.247463 10 15 3.400000
1446 > 10 0.247463 10 9 3.400000
1447 > 10 0.247463 10 12 3.400000
1448 > 10 0.247463 10 16 3.400000
1449 > 10 0.247463 10 14 3.400000
1450 > 10 0.247463 10 8 3.400000
1451 > 10 0.247463 10 10 3.400000
1452 > 10 0.247463 10 13 5.600000
1453 > 10 0.247463 10 14 5.600000
1454 > 10 0.247463 10 16 5.600000
1455 > 10 0.247463 10 12 5.600000
1456 > 10 0.247463 10 17 5.600000
1457 > 10 0.249030 10 15 3.400000
1458 > 10 0.249030 10 9 3.400000
1459 > 10 0.249030 10 12 3.400000
1460 > 10 0.249030 10 16 3.400000
1461 > 10 0.249030 10 14 3.400000
1462 > 10 0.249030 10 8 3.400000
1463 > 10 0.249030 10 10 3.400000
1464 > 10 0.249030 10 13 5.600000
1465 > 10 0.249030 10 14 5.600000
1466 > 10 0.249030 10 16 5.600000
1467 > 10 0.249030 10 12 5.600000
1468 > 10 0.249030 10 17 5.600000
1469 > 10 0.249030 10 15 3.400000
1470 > 10 0.249030 10 9 3.400000
1471 > 10 0.249030 10 12 3.400000
1472 > 10 0.249030 10 16 3.400000
1473 > 10 0.249030 10 14 3.400000
1474 > 10 0.249030 10 8 3.400000
1475 > 10 0.249030 10 10 3.400000
1476 > 10 0.249030 10 13 5.600000
1477 > 10 0.249030 10 14 5.600000
1478 > 10 0.249030 10 16 5.600000
1479 > 10 0.249030 10 12 5.600000
1480 > 10 0.249030 10 17 5.600000
1481 > 10 0.262137 10 15 3.400000
1482 > 10 0.262137 10 9 3.400000
1483 > 10 0.262137 10 12 3.400000
1484 > 10 0.262137 10 16 3.400000
1485 > 10 0.262137 10 14 3.400000
1486 > 10 0.262137 10 8 3.400000
1487 > 10 0.262137 10 10 3.400000
1488 > 10 0.262137 10 13 5.600000
1489 > 10 0.262137 10 14 5.600000
1490 > 10 0.262137 10 16 5.600000
1491 > 10 0.262137 10 12 5.600000
1492 > 10 0.262137 10 17 5.600000
1493 > 10 0.262137 10 15 3.400000
1494 > 10 0.262137 10 9 3.400000
1495 > 10 0.262137 10 12 3.400000
1496 > 10 0.262137 10 16 3.400000
1497 > 10 0.262137 10 14 3.400000
1498 > 10 0.262137 10 8 3.400000
1499 > 10 0.262137 10 10 3.400000
1500 > 10 0.262137 10 13 5.600000
1501 > 10 0.262137 10 14 5.600000
1502 > 10 0.262137 10 16 5.600000
1503 > 10 0.262137 10 12 5.600000
1504 > 10 0.262137 10 17 5.600000
1505 > 10 0.265049 10 15 3.400000
1506 > 10 0.265049 10 9 3.400000
1507 > 10 0.265049 10 12 3.400000
1508 > 10 0.265049 10 16 3.400000
1509 > 10 0.265049 10 14 3.400000
1510 > 10 0.265049 10 8 3.400000
1511 > 10 0.265049 10 10 3.400000
1512 > 10 0.265049 10 13 5.600000
1513 > 10 0.265049 10 14 5.600000
1514 > 10 0.265049 10 16 5.600000
1515 > 10 0.265049 10 12 5.600000
1516 > 10 0.265049 10 17 5.600000
1517 > 10 0.265049 10 15 3.400000
1518 > 10 0.265049 10 9 3.400000
1519 > 10 0.265049 10 12 3.400000
1520 > 10 0.265049 10 16 3.400000
1521 > 10 0.265049 10 14 3.400000
1522 > 10 0.265049 10 8 3.400000
1523 > 10 0.265049 10 10 3.400000
1524 > 10 0.265049 10 13 5.600000
1525 > 10 0.265049 10 14 5.600000
1526 > 10 0.265049 10 16 5.600000
1527 > 10 0.265049 10 12 5.600000
1528 > 10 0.265049 10 17 5.600000
1529 > 10 0.268085 10 15 3.400000
1530 > 10 0.268085 10 9 3.400000
1531 > 10 0.268085 10 12 3.400000
1532 > 10 0.268085 10 16 3.400000
1533 > 10 0.268085 10 14 3.400000
1534 > 10 0.268085 10 8 3.400000
1535 > 10 0.268085 10 10 3.400000
1536 > 10 0.268085 10 13 5.600000
1537 > 10 0.268085 10 14 5.600000
1538 > 10 0.268085 10 16 5.600000
1539 > 10 0.268085 10 12 5.600000
1540 > 10 0.268085 10 17 5.600000
1541 > 10 0.268085 10 15 3.400000
1542 > 10 0.268085 10 9 3.400000
1543 > 10 0.268085 10 12 3.400000
1544 > 10 0.268085 10 16 3.400000
1545 > 10 0.268085 10 14 3.400000
1546 > 10 0.268085 10 8 3.400000
1547 > 10 0.268085 10 10 3.400000
1548 > 10 0.268085 10 13 5.600000
1549 > 10 0.268085 10 14 5.600000
1550 > 10 0.268085 10 16 5.600000
1551 > 10 0.268085 10 12 5.600000
1552 > 10 0.268085 10 17 5.600000
1553 > 10 0.285438 10 15 3.400000
1554 > 10 0.285438 10 9 3.400000
1555 > 10 0.285438 10 12 3.400000
1556 > 10 0.285438 10 16 3.400000
1557 > 10 0.285438 10 14 3.400000
1558 > 10 0.285438 10 8 3.400000
1559 > 10 0.285438 10 10 3.400000
1560 > 10 0.285438 10 13 5.600000
1561 > 10 0.285438 10 14 5.600000
1562 > 10 0.285438 10 16 5.600000
1563 > 10 0.285438 10 12 5.600000
1564 > 10 0.285438 10 17 5.600000
1565 > 10 0.285438 10 15 3.400000
1566 > 10 0.285438 10 9 3.400000
1567 > 10 0.285438 10 12 3.400000
1568 > 10 0.285438 10 16 3.400000
1569 > 10 0.285438 10 14 3.400000
1570 > 10 0.285438 10 8 3.400000
1571 > 10 0.285438 10 10 3.400000
1572 > 10 0.285438 10 13 5.600000
1573 > 10 0.285438 10 14 5.600000
1574 > 10 0.285438 10 16 5.600000
1575 > 10 0.285438 10 12 5.600000
1576 > 10 0.285438 10 17 5.600000
1577 > 10 0.288707 10 15 3.400000
1578 > 10 0.288707 10 9 3.400000
1579 > 10 0.288707 10 12 3.400000
1580 > 10 0.288707 10 16 3.400000
1581 > 10 0.288707 10 14 3.400000
1582 > 10 0.288707 10 8 3.400000
1583 > 10 0.288707 10 10 3.400000
1584 > 10 0.288707 10 13 5.600000
1585 > 10 0.288707 10 14 5.600000
1586 > 10 0.288707 10 16 5.600000
1587 > 10 0.288707 10 12 5.600000
1588 > 10 0.288707 10 17 5.600000
1589 > 10 0.288707 10 15 3.400000
1590 > 10 0.288707 10 9 3.400000
1591 > 10 0.288707 10 12 3.400000
1592 > 10 0.288707 10 16 3.400000
1593 > 10 0.288707 10 14 3.400000
1594 > 10 0.288707 10 8 3.400000
1595 > 10 0.288707 10 10 3.400000
1596 > 10 0.288707 10 13 5.600000
1597 > 10 0.288707 10 14 5.600000
1598 > 10 0.288707 10 16 5.600000
1599 > 10 0.288707 10 12 5.600000
1600 > 10 0.288707 10 17 5.600000
1601 > 10 0.305826 10 15 3.400000
1602 > 10 0.305826 10 9 3.400000
1603 > 10 0.305826 10 12 3.400000
1604 > 10 0.305826 10 16 3.400000
1605 > 10 0.305826 10 14 3.400000
1606 > 10 0.305826 10 8 3.400000
1607 > 10 0.305826 10 10 3.400000
1608 > 10 0.305826 10 13 5.600000
1609 > 10 0.305826 10 14 5.600000
1610 > 10 0.305826 10 16 5.600000
1611 > 10 0.305826 10 12 5.600000
1612 > 10 0.305826 10 17 5.600000
1613 > 10 0.305826 10 15 3.400000
1614 > 10 0.305826 10 9 3.400000
1615 > 10 0.305826 10 12 3.400000
1616 > 10 0.305826 10 16 3.400000
1617 > 10 0.305826 10 14 3.400000
1618 > 10 0.305826 10 8 3.400000
1619 > 10 0.305826 10 10 3.400000
1620 > 10 0.305826 10 13 5.600000
1621 > 10 0.305826 10 14 5.600000
1622 > 10 0.305826 10 16 5.600000
1623 > 10 0.305826 10 12 5.600000
1624 > 10 0.305826 10 17 5.600000
1625 > 10 0.309329 10 15 3.400000
1626 > 10 0.309329 10 9 3.400000
1627 > 10 0.309329 10 12 3.400000
1628 > 10 0.309329 10 16 3.400000
1629 > 10 0.309329 10 14 3.400000
1630 > 10 0.309329 10 8 3.400000
1631 > 10 0.309329 10 10 3.400000
1632 > 10 0.309329 10 13 5.600000
1633 > 10 0.309329 10 14 5.600000
1634 > 10 0.309329 10 16 5.600000
1635 > 10 0.309329 10 12 5.600000
1636 > 10 0.309329 10 17 5.600000
1637 > 10 0.309329 10 15 3.400000
1638 > 10 0.309329 10 9 3.400000
1639 > 10 0.309329 10 12 3.400000
1640 > 10 0.309329 10 16 3.400000
1641 > 10 0.309329 10 14 3.400000
1642 > 10 0.309329 10 8 3.400000
1643 > 10 0.309329 10 10 3.400000
1644 > 10 0.309329 10 13 5.600000
1645 > 10 0.309329 10 14 5.600000
1646 > 10 0.309329 10 16 5.600000
1647 > 10 0.309329 10 12 5.600000
1648 > 10 0.309329 10 17 5.600000
1649 > 10 0.326214 10 15 3.400000
1650 > 10 0.326214 10 9 3.400000
1651 > 10 0.326214 10 12 3.400000
1652 > 10 0.326214 10 16 3.400000
1653 > 10 0.326214 10 14 3.400000
1654 > 10 0.326214 10 8 3.400000
1655 > 10 0.326214 10 10 3.400000
1656 > 10 0.326214 10 13 5.600000
1657 > 10 0.326214 10 14 5.600000
1658 > 10 0.326214 10 16 5.600000
1659 > 10 0.326214 10 12 5.600000
1660 > 10 0.326214 10 17 5.600000
1661 > 10 0.326214 10 15 3.400000
1662 > 10 0.326214 10 9 3.400000
1663 > 10 0.326214 10 12 3.400000
1664 > 10 0.326214 10 16 3.400000
1665 > 10 0.326214 10 14 3.400000
1666 > 10 0.326214 10 8 3.400000
1667 > 10 0.326214 10 10 3.400000
1668 > 10 0.326214 10 13 5.600000
1669 > 10 0.326214 10 14 5.600000
1670 > 10 0.326214 10 16 5.600000
1671 > 10 0.326214 10 12 5.600000
1672 > 10 0.326214 10 17 5.600000
1673 > 10 0.329951 10 15 3.400000
1674 > 10 0.329951 10 9 3.400000
1675 > 10 0.329951 10 12 3.400000
1676 > 10 0.329951 10 16 3.400000
1677 > 10 0.329951 10 14 3.400000
1678 > 10 0.329951 10 8 3.400000
1679 > 10 0.329951 10 10 3.400000
1680 > 10 0.329951 10 13 5.600000
1681 > 10 0.329951 10 14 5.600000
1682 > 10 0.329951 10 16 5.600000
1683 > 10 0.329951 10 12 5.600000
1684 > 10 0.329951 10 17 5.600000
1685 > 10 0.329951 10 15 3.400000
1686 > 10 0.329951 10 9 3.400000
1687 > 10 0.329951 10 12 3.400000
1688 > 10 0.329951 10 16 3.400000
1689 > 10 0.329951 10 14 3.400000
1690 > 10 0.329951 10 8 3.400000
1691 > 10 0.329951 10 10 3.400000
1692 > 10 0.329951 10 13 5.600000
1693 > 10 0.329951 10 14 5.600000
1694 > 10 0.329951 10 16 5.600000
1695 > 10 0.329951 10 12 5.600000
1696 > 10 0.329951 10 17 5.600000
1697 > 10 0.346603 10 15 3.400000
1698 > 10 0.346603 10 9 3.400000
1699 > 10 0.346603 10 12 3.400000
1700 > 10 0.346603 10 16 3.400000
1701 > 10 0.346603 10 14 3.400000
1702 > 10 0.346603 10 8 3.400000
1703 > 10 0.346603 10 10 3.400000
1704 > 10 0.346603 10 13 5.600000
1705 > 10 0.346603 10 14 5.600000
1706 > 10 0.346603 10 16 5.600000
1707 > 10 0.346603 10 12 5.600000
1708 > 10 0.346603 10 17 5.600000
1709 > 10 0.346603 10 15 3.400000
1710 > 10 0.346603 10 9 3.400000
1711 > 10 0.346603 10 12 3.400000
1712 > 10 0.346603 10 16 3.400000
1713 > 10 0.346603 10 14 3.400000
1714 > 10 0.346603 10 8 3.400000
1715 > 10 0.346603 10 10 3.400000
1716 > 10 0.346603 10 13 5.600000
1717 > 10 0.346603 10 14 5.600000
1718 > 10 0.346603 10 16 5.600000
1719 > 10 0.346603 10 12 5.600000
1720 > 10 0.346603 10 17 5.600000
1721 > 10 0.350573 10 15 3.400000
1722 > 10 0.350573 10 9 3.400000
1723 > 10 0.350573 10 12 3.400000
1724 > 10 0.350573 10 16 3.400000
1725 > 10 0.350573 10 14 3.400000
1726 > 10 0.350573 10 8 3.400000
1727 > 10 0.350573 10 10 3.400000
1728 > 10 0.350573 10 13 5.600000
1729 > 10 0.350573 10 14 5.600000
1730 > 10 0.350573 10 16 5.600000
1731 > 10 0.350573 10 12 5.600000
1732 > 10 0.350573 10 17 5.600000
1733 > 10 0.350573 10 15 3.400000
1734 > 10 0.350573 10 9 3.400000
1735 > 10 0.350573 10 12 3.400000
1736 > 10 0.350573 10 16 3.400000
1737 > 10 0.350573 10 14 3.400000
1738 > 10 0.350573 10 8 3.400000
1739 > 10 0.350573 10 10 3.400000
1740 > 10 0.350573 10 13 5.600000
1741 > 10 0.350573 10 14 5.600000
1742 > 10 0.350573 10 16 5.600000
1743 > 10 0.350573 10 12 5.600000
1744 > 10 0.350573 10 17 5.600000
1745 > 10 0.366991 10 15 3.400000
1746 > 10 0.366991 10 9 3.400000
1747 > 10 0.366991 10 12 3.400000
1748 > 10 0.366991 10 16 3.400000
1749 > 10 0.366991 10 14 3.400000
1750 > 10 0.366991 10 8 3.400000
1751 > 10 0.366991 10 10 3.400000
1752 > 10 0.366991 10 13 5.600000
1753 > 10 0.366991 10 14 5.600000
1754 > 10 0.366991 10 16 5.600000
1755 > 10 0.366991 10 12 5.600000
1756 > 10 0.366991 10 17 5.600000
1757 > 10 0.366991 10 15 3.400000
1758 > 10 0.366991 10 9 3.400000
1759 > 10 0.366991 10 12 3.400000
1760 > 10 0.366991 10 16 3.400000
1761 > 10 0.366991 10 14 3.400000
1762 > 10 0.366991 10 8 3.400000
1763 > 10 0.366991 10 10 3.400000
1764 > 10 0.366991 10 13 5.600000
1765 > 10 0.366991 10 14 5.600000
1766 > 10 0.366991 10 16 5.600000
1767 > 10 0.366991 10 12 5.600000
1768 > 10 0.366991 10 17 5.600000
1769 > 10 0.371195 10 15 3.400000
1770 > 10 0.371195 10 9 3.400000
1771 > 10 0.371195 10 12 3.400000
1772 > 10 0.371195 10 16 3.400000
1773 > 10 0.371195 10 14 3.400000
1774 > 10 0.371195 10 8 3.400000
1775 > 10 0.371195 10 10 3.400000
1776 > 10 0.371195 10 13 5.600000
1777 > 10 0.371195 10 14 5.600000
1778 > 10 0.371195 10 16 5.600000
1779 > 10 0.371195 10 12 5.600000
1780 > 10 0.371195 10 17 5.600000
1781 > 10 0.371195 10 15 3.400000
1782 > 10 0.371195 10 9 3.400000
1783 > 10 0.371195 10 12 3.400000
1784 > 10 0.371195 10 16 3.400000
1785 > 10 0.371195 10 14 3.400000
1786 > 10 0.371195 10 8 3.400000
1787 > 10 0.371195 10 10 3.400000
1788 > 10 0.371195 10 13 5.600000
1789 > 10 0.371195 10 14 5.600000
1790 > 10 0.371195 10 16 5.600000
1791 > 10 0.371195 10 12 5.600000
1792 > 10 0.371195 10 17 5.600000
1793 > 10 0.387380 10 15 3.400000
1794 > 10 0.387380 10 9 3.400000
1795 > 10 0.387380 10 12 3.400000
1796 > 10 0.387380 10 16 3.400000
1797 > 10 0.387380 10 14 3.400000
1798 > 10 0.387380 10 8 3.400000
1799 > 10 0.387380 10 10 3.400000
1800 > 10 0.387380 10 13 5.600000
1801 > 10 0.387380 10 14 5.600000
1802 > 10 0.387380 10 16 5.600000
1803 > 10 0.387380 10 12 5.600000
1804 > 10 0.387380 10 17 5.600000
1805 > 10 0.387380 10 15 3.400000
1806 > 10 0.387380 10 9 3.400000
1807 > 10 0.387380 10 12 3.400000
1808 > 10 0.387380 10 16 3.400000
1809 > 10 0.387380 10 14 3.400000
1810 > 10 0.387380 10 8 3.400000
1811 > 10 0.387380 10 10 3.400000
1812 > 10 0.387380 10 13 5.600000
1813 > 10 0.387380 10 14 5.600000
1814 > 10 0.387380 10 16 5.600000
1815 > 10 0.387380 10 12 5.600000
1816 > 10 0.387380 10 17 5.600000
1817 > 10 0.391817 10 15 3.400000
1818 > 10 0.391817 10 9 3.400000
1819 > 10 0.391817 10 12 3.400000
1820 > 10 0.391817 10 16 3.400000
1821 > 10 0.391817 10 14 3.400000
1822 > 10 0.391817 10 8 3.400000
1823 > 10 0.391817 10 10 3.400000
1824 > 10 0.391817 10 13 5.600000
1825 > 10 0.391817 10 14 5.600000
1826 > 10 0.391817 10 16 5.600000
1827 > 10 0.391817 10 12 5.600000
1828 > 10 0.391817 10 17 5.600000
1829 > 10 0.391817 10 15 3.400000
1830 > 10 0.391817 10 9 3.400000
1831 > 10 0.391817 10 12 3.400000
1832 > 10 0.391817 10 16 3.400000
1833 > 10 0.391817 10 14 3.400000
1834 > 10 0.391817 10 8 3.400000
1835 > 10 0.391817 10 10 3.400000
1836 > 10 0.391817 10 13 5.600000
1837 > 10 0.391817 10 14 5.600000
1838 > 10 0.391817 10 16 5.600000
1839 > 10 0.391817 10 12 5.600000
1840 > 10 0.391817 10 17 5.600000
1841 > 10 0.407768 10 15 3.400000
1842 > 10 0.407768 10 9 3.400000
1843 > 10 0.407768 10 12 3.400000
1844 > 10 0.407768 10 16 3.400000
1845 > 10 0.407768 10 14 3.400000
1846 > 10 0.407768 10 8 3.400000
1847 > 10 0.407768 10 10 3.400000
1848 > 10 0.407768 10 13 5.600000
1849 > 10 0.407768 10 14 5.600000
1850 > 10 0.407768 10 16 5.600000
1851 > 10 0.407768 10 12 5.600000
1852 > 10 0.407768 10 17 5.600000
1853 > 10 0.407768 10 15 3.400000
1854 > 10 0.407768 10 9 3.400000
1855 > 10 0.407768 10 12 3.400000
1856 > 10 0.407768 10 16 3.400000
1857 > 10 0.407768 10 14 3.400000
1858 > 10 0.407768 10 8 3.400000
1859 > 10 0.407768 10 10 3.400000
1860 > 10 0.407768 10 13 5.600000
1861 > 10 0.407768 10 14 5.600000
1862 > 10 0.407768 10 16 5.600000
1863 > 10 0.407768 10 12 5.600000
1864 > 10 0.407768 10 17 5.600000
1865 > 10 0.412439 10 15 3.400000
1866 > 10 0.412439 10 9 3.400000
1867 > 10 0.412439 10 12 3.400000
1868 > 10 0.412439 10 16 3.400000
1869 > 10 0.412439 10 14 3.400000
1870 > 10 0.412439 10 8 3.400000
1871 > 10 0.412439 10 10 3.400000
1872 > 10 0.412439 10 13 5.600000
1873 > 10 0.412439 10 14 5.600000
1874 > 10 0.412439 10 16 5.600000
1875 > 10 0.412439 10 12 5.600000
1876 > 10 0.412439 10 17 5.600000
1877 > 10 0.412439 10 15 3.400000
1878 > 10 0.412439 10 9 3.400000
1879 > 10 0.412439 10 12 3.400000
1880 > 10 0.412439 10 16 3.400000
1881 > 10 0.412439 10 14 3.400000
1882 > 10 0.412439 10 8 3.400000
1883 > 10 0.412439 10 10 3.400000
1884 > 10 0.412439 10 13 5.600000
1885 > 10 0.412439 10 14 5.600000
1886 > 10 0.412439 10 16 5.600000
1887 > 10 0.412439 10 12 5.600000
1888 > 10 0.412439 10 17 5.600000
1889 > 7 0.412439 3 16
1890 > 7 0.412439 3 14
1891 > 7 0.412439 3 19
1892 > 7 0.412439 3 20
1893 > 7 0.412439 3 18
1894 > 7 0.412439 3 21
1895 > 7 0.412439 3 22
1896 > 7 0.412439 3 12
1897 > 7 0.412439 3 9
1898 > 7 0.412439 3 15
1899 > 7 0.412439 3 23
1900 > 7 0.412439 3 24
1901 > 7 0.412439 3 17
1902 > 7 0.412439 3 25
1903 > 7 0.412439 3 26
1904 > 7 0.412439 3 27
1905 > 7 0.412439 3 8
1906 > 7 0.412439 3 10
1907 > 7 0.412439 3 28
1908 > 7 0.412439 3 29
1909 > 7 0.412439 3 13
1910 > 7 0.412439 3 30
1911 > 7 0.412439 3 11
1912 > 7 0.412439 1 7
1913 > 7 0.412439 1 5
1914 > 7 0.412439 1 3
1915 > 7 0.412439 1 4
1916 > 7 0.412439 1 6
1917 > 7 0.412439 1 2
1918 > 7 0.412439 1 1
1919 > 7 0.412439 3 31
1920 $ rm -f simgrid.trace