examples/msg/trace-link-srcdst-user-variables/trace-link-srcdst-user-variables.tesh

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