*** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** Welcome to EV configuration. If you are in a hurry, just press return here and hope for the best. The defaults should usually do. Skip further questions and use defaults (y/n)? [y] y *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** POSIX optionally offers support for a monotonic clock source. EV can take advantage of this clock source to detect time jumps reliably. Unfortunately, some systems are bound to be broken, so you can disable this here: you can completely disable the detection and use of the monotonic clock by answering 'n' here. Support for this clock type will otherwise be autodetected at both compile- and runtime. (this setting currently affects the use of nanosleep over select as well). Enable optional support for CLOCK_MONOTONIC (y/n)? [y] y *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** POSIX optionally offers support for a (potentially) high-resolution realtime clock interface. In a good implementation, using it is faster than the normal method of using gettimeofday. Unfortunately, this option is also bound to be broken on some systems, so you can disable use and probing of this feature altogether here. Otherwise support for this clock type will be autodetected at compiletime. Prefer clock_gettime (CLOCK_REALTIME) over gettimeofday (y/n)? [y] y *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** EV can use various backends with various portability issue. The select backend is the most portable and makes for a good fallback, but it can be limited to a low number of file descriptors and/or might not compile. If you have problems with compiling ev_select.c, you might try to play around with disabling it here, or forcing it to use the fd_set provided by your OS, via the next question. I highly recommend keeping it in. Enable select backend (y/n)? [y] y *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** The select backend can operate in two modes. One uses the system-provided fd_set and is usually limited to 1024 file descriptors (64 on windows), the other requires your header files to define NFDBITS and declare a suitable fd_mask type. If you run into problems compiling ev_select.c, you can try forcing the use of the system fd_set here. Force use of system fd_set for select backend (y/n)? [n] n *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** The second very portable backend is poll(2). It does not exist on windows and various versions of Mac OS X (and on the other versions it simply doesn't work), but works basically everywhere else. It is recommended to use the default here unless you run into compile problems in ev_poll.c. Enable poll backend (y/n)? [n] n *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** Select and poll make it hard to write efficient servers, especially if the number of active connections is much lower than the watched ones. GNU/Linux systems have a more scalable method called "epoll", which EV can use. For this to work, both your kernel and glibc have to support epoll, but if you can compile it, the detection will be done at runtime, and EV will safely fall back to using select when epoll isn't available. If unsure, accept the default. Enable epoll backend (y/n)? [n] n *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** Similarly to the epoll backend above, EV can take advantage of kqueue on many BSD systems. Support for kqueue will be detected at runtime, with a safe fallback to other methods when it cannot be used. Note that kqueue is broken on most operating systems, so it defaults to 'n' on everything but netbsd. Here is what we know: NetBSD: partially working in at least 3.1. Yeah! :) FreeBSD: broken on at least 6.2-STABLE, sockets *likely* work, ptys definitely don't. OpenBSD: reports indicate that it likely doesn't work (similar problems as on FreeBSD). OS X: completely, utterly broken on at least < 10.5. Enable kqueue backend (y/n)? [n] n *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** Similarly to the kqueue backend above, EV can take advantage of the solaris 10 event port interface. Support for event ports will be detected at runtime, with a safe fallback to other methods when it cannot be used. Enable event port backend (y/n)? [n] n *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** EV needs the functions pthread_atfork and clock_gettime. On most systems you need some special libraries for this (such as -lrt and -lpthread). You can specify additional libraries to provide these calls (and any other required by EV) now, or accept the default. Extra libraries for pthread_atfork and clock_gettime? [-lpthread -lrt] -lpthread -lrt *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** A backend of a different kind is the Linux inotify(7) interface, which can be used to speed up (and reduce resource consumption) of stat watchers. If you have it, it is usually a good idea to enable it. Enable inotify support (y/n)? [n] n *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** Checking if your kit is complete... Looks good Note (probably harmless): No library found for -lpthread Note (probably harmless): No library found for -lrt Writing Makefile for EV Microsoft (R) Program Maintenance Utility Version 6.00.8168.0 Copyright (C) Microsoft Corp 1988-1998. All rights reserved. cp EV/MakeMaker.pm blib\lib/EV/MakeMaker.pm cp EV/EVAPI.h blib\lib/EV/EVAPI.h cp EV.pm blib\lib/EV.pm cp libev/ev.h blib\lib/EV/ev.h C:\cpanrun\build\5-10-0\bin\perl.exe C:\cpanrun\build\5-10-0\lib\ExtUtils\xsubpp -typemap C:\cpanrun\build\5-10-0\lib\ExtUtils\typemap -typemap typemap EV.xs > EV.xsc && C:\cpanrun\build\5-10-0\bin\perl.exe -MExtUtils::Command -e mv EV.xsc EV.c cl -c -Ilibev -nologo -GF -W3 -MD -Zi -DNDEBUG -O1 -DWIN32 -D_CONSOLE -DNO_STRICT -DHAVE_DES_FCRYPT -DUSE_SITECUSTOMIZE -DPRIVLIB_LAST_IN_INC -DPERL_IMPLICIT_CONTEXT -DPERL_IMPLICIT_SYS -DUSE_PERLIO -DPERL_MSVCRT_READFIX -MD -Zi -DNDEBUG -O1 -DVERSION=\"3.0\" -DXS_VERSION=\"3.0\" "-IC:\cpanrun\build\5-10-0\lib\CORE" -DEV_USE_MONOTONIC=1 -DEV_USE_REALTIME=1 -DEV_USE_SELECT=1 -DEV_USE_POLL=0 -DEV_USE_EPOLL=0 -DEV_USE_KQUEUE=0 -DEV_USE_PORT=0 -DEV_USE_INOTIFY=0 EV.c EV.c libev/ev.c(456) : warning C4244: 'function' : conversion from 'double ' to 'unsigned long ', possible loss of data Running Mkbootstrap for EV () C:\cpanrun\build\5-10-0\bin\perl.exe -MExtUtils::Command -e chmod 644 EV.bs C:\cpanrun\build\5-10-0\bin\perl.exe -MExtUtils::Mksymlists -e "Mksymlists('NAME'=>\"EV\", 'DLBASE' => 'EV', 'DL_FUNCS' => { }, 'FUNCLIST' => [], 'IMPORTS' => { }, 'DL_VARS' => []);" link -out:blib\arch\auto\EV\EV.dll -dll -nologo -nodefaultlib -debug -opt:ref,icf -libpath:"C:\cpanrun\build\5-10-0\lib\CORE" -machine:x86 EV.obj C:\cpanrun\build\5-10-0\lib\CORE\perl510.lib C:\PROGRA~1\MICROS~3\VC98\LIB\oldnames.lib C:\PROGRA~1\MICROS~3\VC98\LIB\kernel32.lib C:\PROGRA~1\MICROS~3\VC98\LIB\user32.lib C:\PROGRA~1\MICROS~3\VC98\LIB\gdi32.lib C:\PROGRA~1\MICROS~3\VC98\LIB\winspool.lib C:\PROGRA~1\MICROS~3\VC98\LIB\comdlg32.lib C:\PROGRA~1\MICROS~3\VC98\LIB\advapi32.lib C:\PROGRA~1\MICROS~3\VC98\LIB\shell32.lib C:\PROGRA~1\MICROS~3\VC98\LIB\ole32.lib C:\PROGRA~1\MICROS~3\VC98\LIB\oleaut32.lib C:\PROGRA~1\MICROS~3\VC98\LIB\netapi32.lib C:\PROGRA~1\MICROS~3\VC98\LIB\uuid.lib C:\PROGRA~1\MICROS~3\VC98\LIB\ws2_32.lib C:\PROGRA~1\MICROS~3\VC98\LIB\mpr.lib C:\PROGRA~1\MICROS~3\VC98\LIB\winmm.lib C:\PROGRA~1\MICROS~3\VC98\LIB\version.lib C:\PROGRA~1\MICROS~3\VC98\LIB\odbc32.lib C:\PROGRA~1\MICROS~3\VC98\LIB\odbccp32.lib C:\PROGRA~1\MICROS~3\VC98\LIB\msvcrt.lib -def:EV.def Creating library blib\arch\auto\EV\EV.lib and object blib\arch\auto\EV\EV.exp C:\cpanrun\build\5-10-0\bin\perl.exe -MExtUtils::Command -e chmod 755 blib\arch\auto\EV\EV.dll C:\cpanrun\build\5-10-0\bin\perl.exe -MExtUtils::Command -e cp EV.bs blib\arch\auto\EV\EV.bs C:\cpanrun\build\5-10-0\bin\perl.exe -MExtUtils::Command -e chmod 644 blib\arch\auto\EV\EV.bs Microsoft (R) Program Maintenance Utility Version 6.00.8168.0 Copyright (C) Microsoft Corp 1988-1998. All rights reserved. C:\cpanrun\build\5-10-0\bin\perl.exe "-MExtUtils::Command::MM" "-e" "test_harness(1, 'blib\lib', 'blib\arch')" t/*.t t/00_load..........1..2 ok 1 # ok 2 # ok t/01_timer.........1..6002 ok 1 ok 2 # p0 646 1204127592.484 >= 1204127592.437 ok 3 # p1 646 1204127592.484 >= 1204127592.437 + 0.0468506360193715 ok 4 # p0 714 1204127592.484 >= 1204127592.484 ok 5 # p1 714 1204127592.484 >= 1204127592.437 + 0.046152716036886 ok 6 # p0 135 1204127592.484 >= 1204127592.484 ok 7 # p1 135 1204127592.484 >= 1204127592.437 + 0.0459264750024886 ok 8 # p0 414 1204127592.484 >= 1204127592.484 ok 9 # p1 414 1204127592.484 >= 1204127592.437 + 0.0452463160036132 ok 10 # p0 80 1204127592.484 >= 1204127592.484 ok 11 # p1 80 1204127592.484 >= 1204127592.437 + 0.0449344000007841 ok 12 # p0 559 1204127592.484 >= 1204127592.484 ok 13 # p1 559 1204127592.484 >= 1204127592.437 + 0.0443978510447778 ok 14 # p0 905 1204127592.484 >= 1204127592.484 ok 15 # p1 905 1204127592.484 >= 1204127592.437 + 0.0433432750869542 ok 16 # p0 134 1204127592.484 >= 1204127592.484 ok 17 # p1 134 1204127592.484 >= 1204127592.437 + 0.0429440760017314 ok 18 # p0 986 1204127592.484 >= 1204127592.484 ok 19 # p1 986 1204127592.484 >= 1204127592.437 + 0.0426631160080433 ok 20 # p0 667 1204127592.484 >= 1204127592.484 ok 21 # p1 667 1204127592.484 >= 1204127592.437 + 0.0402844190830365 ok 22 # p0 730 1204127592.484 >= 1204127592.484 ok 23 # p1 730 1204127592.484 >= 1204127592.437 + 0.0383659000508487 ok 24 # p0 99 1204127592.484 >= 1204127592.484 ok 25 # p1 99 1204127592.484 >= 1204127592.437 + 0.038031571000829 ok 26 # p0 364 1204127592.484 >= 1204127592.484 ok 27 # p1 364 1204127592.484 >= 1204127592.437 + 0.037754416000098 ok 28 # p0 824 1204127592.484 >= 1204127592.484 ok 29 # p1 824 1204127592.484 >= 1204127592.437 + 0.0370904960436746 ok 30 # p0 623 1204127592.484 >= 1204127592.484 ok 31 # p1 623 1204127592.484 >= 1204127592.437 + 0.0355224590748549 ok 32 # p0 223 1204127592.484 >= 1204127592.484 ok 33 # p1 223 1204127592.484 >= 1204127592.437 + 0.0346160589979263 ok 34 # p0 632 1204127592.484 >= 1204127592.484 ok 35 # p1 632 1204127592.484 >= 1204127592.437 + 0.0343559039756656 ok 36 # p0 482 1204127592.484 >= 1204127592.484 ok 37 # p1 482 1204127592.484 >= 1204127592.437 + 0.0330218040035106 ok 38 # p0 59 1204127592.484 >= 1204127592.484 ok 39 # p1 59 1204127592.484 >= 1204127592.437 + 0.0311588510003276 ok 40 # p0 200 1204127592.484 >= 1204127592.484 ok 41 # p1 200 1204127592.484 >= 1204127592.437 + 0.0308399999994435 ok 42 # p0 8 1204127592.484 >= 1204127592.484 ok 43 # p1 8 1204127592.484 >= 1204127592.437 + 0.0304493440000044 ok 44 # p0 906 1204127592.484 >= 1204127592.484 ok 45 # p1 906 1204127592.484 >= 1204127592.437 + 0.0299645559862256 ok 46 # p0 109 1204127592.484 >= 1204127592.484 ok 47 # p1 109 1204127592.484 >= 1204127592.437 + 0.0276352510009019 ok 48 # p0 220 1204127592.484 >= 1204127592.484 ok 49 # p1 220 1204127592.484 >= 1204127592.437 + 0.0273164000100223 ok 50 # p0 92 1204127592.484 >= 1204127592.484 ok 51 # p1 92 1204127592.484 >= 1204127592.437 + 0.0269257440013462 ok 52 # p0 37 1204127592.484 >= 1204127592.484 ok 53 # p1 37 1204127592.484 >= 1204127592.437 + 0.0263304990000961 ok 54 # p0 469 1204127592.484 >= 1204127592.484 ok 55 # p1 469 1204127592.484 >= 1204127592.437 + 0.0260649310075678 ok 56 # p0 743 1204127592.484 >= 1204127592.484 ok 57 # p1 743 1204127592.484 >= 1204127592.437 + 0.0239047789946198 ok 58 # p0 285 1204127592.484 >= 1204127592.484 ok 59 # p1 285 1204127592.484 >= 1204127592.437 + 0.019499475005432 ok 60 # p0 681 1204127592.484 >= 1204127592.484 ok 61 # p1 681 1204127592.484 >= 1204127592.437 + 0.0190347310854122 ok 62 # p0 86 1204127592.484 >= 1204127592.484 ok 63 # p1 86 1204127592.484 >= 1204127592.437 + 0.0188023160008015 ok 64 # p0 862 1204127592.484 >= 1204127592.484 ok 65 # p1 862 1204127592.484 >= 1204127592.437 + 0.0187869240762666 ok 66 # p0 846 1204127592.484 >= 1204127592.484 ok 67 # p1 846 1204127592.484 >= 1204127592.437 + 0.0169170360313728 ok 68 # p0 163 1204127592.484 >= 1204127592.484 ok 69 # p1 163 1204127592.484 >= 1204127592.437 + 0.015759699002956 ok 70 # p0 757 1204127592.484 >= 1204127592.484 ok 71 # p1 757 1204127592.484 >= 1204127592.437 + 0.0150957790901884 ok 72 # p0 690 1204127592.484 >= 1204127592.484 ok 73 # p1 690 1204127592.484 >= 1204127592.437 + 0.0145731000229716 ok 74 # p0 187 1204127592.484 >= 1204127592.484 ok 75 # p1 187 1204127592.484 >= 1204127592.437 + 0.0122360989989829 ok 76 # p0 323 1204127592.484 >= 1204127592.484 ok 77 # p1 323 1204127592.484 >= 1204127592.437 + 0.0117126590048429 ok 78 # p0 357 1204127592.484 >= 1204127592.484 ok 79 # p1 357 1204127592.484 >= 1204127592.437 + 0.0115381790092215 ok 80 # p0 633 1204127592.484 >= 1204127592.484 ok 81 # p1 633 1204127592.484 >= 1204127592.437 + 0.0112062189728022 ok 82 # p0 885 1204127592.484 >= 1204127592.484 ok 83 # p1 885 1204127592.484 >= 1204127592.437 + 0.0107414750382304 ok 84 # p0 493 1204127592.484 >= 1204127592.484 ok 85 # p1 493 1204127592.484 >= 1204127592.437 + 0.0106657790020108 ok 86 # p0 241 1204127592.484 >= 1204127592.484 ok 87 # p1 241 1204127592.484 >= 1204127592.437 + 0.00825545100087766 ok 88 # p0 4 1204127592.484 >= 1204127592.484 ok 89 # p1 4 1204127592.484 >= 1204127592.437 + 0.00761233600000111 ok 90 # p0 453 1204127592.484 >= 1204127592.484 ok 91 # p1 453 1204127592.484 >= 1204127592.437 + 0.0074911389965564 ok 92 # p0 651 1204127592.484 >= 1204127592.484 ok 93 # p1 651 1204127592.484 >= 1204127592.437 + 0.00722557108383626 ok 94 # p0 867 1204127592.484 >= 1204127592.484 ok 95 # p1 867 1204127592.484 >= 1204127592.437 + 0.00682721904013306 ok 96 # p0 662 1204127592.484 >= 1204127592.484 ok 97 # p1 662 1204127592.484 >= 1204127592.437 + 0.00378612405620515 ok 98 # p0 345 1204127592.484 >= 1204127592.484 ok 99 # p1 345 1204127592.484 >= 1204127592.437 + 0.00364327500574291 ok 100 # p0 733 1204127592.484 >= 1204127592.484 ok 101 # p1 733 1204127592.484 >= 1204127592.437 + 0.00152481906116009 ok 102 # p0 596 1204127592.484 >= 1204127592.484 ok 103 # p1 596 1204127592.484 >= 1204127592.437 + 0.00147153600119054 ok 104 # t0 23 1204127592.484 + 0.02 >= 1204127592.484 ok 105 # t1 23 1204127592.484 + 0.02 >= 1204127592.437 + 0.0452927440001076 ok 106 # t0 307 1204127592.484 + 0.02 >= 1204127592.484 ok 107 # t1 307 1204127592.484 + 0.02 >= 1204127592.437 + 0.044982663996052 ok 108 # t0 495 1204127592.484 + 0.02 >= 1204127592.484 ok 109 # t1 495 1204127592.484 + 0.02 >= 1204127592.437 + 0.043203400040511 ok 110 # t0 311 1204127592.484 + 0.02 >= 1204127592.484 ok 111 # t1 311 1204127592.484 + 0.02 >= 1204127592.437 + 0.0411332560179289 ok 112 # t0 399 1204127592.484 + 0.02 >= 1204127592.484 ok 113 # t1 399 1204127592.484 + 0.02 >= 1204127592.437 + 0.0409265360212885 ok 114 # t0 546 1204127592.484 + 0.02 >= 1204127592.484 ok 115 # t1 546 1204127592.484 + 0.02 >= 1204127592.437 + 0.0406269760569558 ok 116 # t0 590 1204127592.484 + 0.02 >= 1204127592.484 ok 117 # t1 590 1204127592.484 + 0.02 >= 1204127592.437 + 0.0404616000596434 ok 118 # t0 174 1204127592.484 + 0.02 >= 1204127592.484 ok 119 # t1 174 1204127592.484 + 0.02 >= 1204127592.437 + 0.0402327360061463 ok 120 # t0 394 1204127592.484 + 0.02 >= 1204127592.484 ok 121 # t1 394 1204127592.484 + 0.02 >= 1204127592.437 + 0.0398192960419692 ok 122 # t0 924 1204127592.484 + 0.02 >= 1204127592.484 ok 123 # t1 924 1204127592.484 + 0.02 >= 1204127592.437 + 0.0394287360832095 ok 124 # t0 564 1204127592.484 + 0.02 >= 1204127592.484 ok 125 # t1 564 1204127592.484 + 0.02 >= 1204127592.437 + 0.0386402560397983 ok 126 # t0 698 1204127592.484 + 0.02 >= 1204127592.484 ok 127 # t1 698 1204127592.484 + 0.02 >= 1204127592.437 + 0.0374405439943075 ok 128 # t0 7 1204127592.484 + 0.02 >= 1204127592.484 ok 129 # t1 7 1204127592.484 + 0.02 >= 1204127592.437 + 0.0363314639999999 ok 130 # t0 433 1204127592.484 + 0.02 >= 1204127592.484 ok 131 # t1 433 1204127592.484 + 0.02 >= 1204127592.437 + 0.0357113039935939 ok 132 # t0 242 1204127592.484 + 0.02 >= 1204127592.484 ok 133 # t1 242 1204127592.484 + 0.02 >= 1204127592.437 + 0.0350175040075555 ok 134 # t0 347 1204127592.484 + 0.02 >= 1204127592.484 ok 135 # t1 347 1204127592.484 + 0.02 >= 1204127592.437 + 0.033372424019035 ok 136 # t0 489 1204127592.484 + 0.02 >= 1204127592.484 ok 137 # t1 489 1204127592.484 + 0.02 >= 1204127592.437 + 0.0329796560108662 ok 138 # t0 816 1204127592.484 + 0.02 >= 1204127592.484 ok 139 # t1 816 1204127592.484 + 0.02 >= 1204127592.437 + 0.0310876159928739 ok 140 # t0 331 1204127592.484 + 0.02 >= 1204127592.484 ok 141 # t1 331 1204127592.484 + 0.02 >= 1204127592.437 + 0.0308474960038438 ok 142 # t0 850 1204127592.484 + 0.02 >= 1204127592.484 ok 143 # t1 850 1204127592.484 + 0.02 >= 1204127592.437 + 0.0302600001450628 ok 144 # t0 615 1204127592.484 + 0.02 >= 1204127592.484 ok 145 # t1 615 1204127592.484 + 0.02 >= 1204127592.437 + 0.0299586000619456 ok 146 # t0 947 1204127592.484 + 0.02 >= 1204127592.484 ok 147 # t1 947 1204127592.484 + 0.02 >= 1204127592.437 + 0.0282428241334856 ok 148 # t0 396 1204127592.484 + 0.02 >= 1204127592.484 ok 149 # t1 396 1204127592.484 + 0.02 >= 1204127592.437 + 0.0276501760235988 ok 150 # t0 90 1204127592.484 + 0.02 >= 1204127592.484 ok 151 # t1 90 1204127592.484 + 0.02 >= 1204127592.437 + 0.0262216000010085 ok 152 # t0 658 1204127592.484 + 0.02 >= 1204127592.484 ok 153 # t1 658 1204127592.484 + 0.02 >= 1204127592.437 + 0.024815904092975 ok 154 # t0 490 1204127592.484 + 0.02 >= 1204127592.484 ok 155 # t1 490 1204127592.484 + 0.02 >= 1204127592.437 + 0.0241736000170931 ok 156 # t0 147 1204127592.484 + 0.02 >= 1204127592.484 ok 157 # t1 147 1204127592.484 + 0.02 >= 1204127592.437 + 0.022175623998919 ok 158 # t0 930 1204127592.484 + 0.02 >= 1204127592.484 ok 159 # t1 930 1204127592.484 + 0.02 >= 1204127592.437 + 0.0221063999924809 ok 160 # t0 279 1204127592.484 + 0.02 >= 1204127592.484 ok 161 # t1 279 1204127592.484 + 0.02 >= 1204127592.437 + 0.0219895759946667 ok 162 # t0 479 1204127592.484 + 0.02 >= 1204127592.484 ok 163 # t1 479 1204127592.484 + 0.02 >= 1204127592.437 + 0.0189271760173142 ok 164 # t0 858 1204127592.484 + 0.02 >= 1204127592.484 ok 165 # t1 858 1204127592.484 + 0.02 >= 1204127592.437 + 0.01869110413827 ok 166 # t0 621 1204127592.484 + 0.02 >= 1204127592.484 ok 167 # t1 621 1204127592.484 + 0.02 >= 1204127592.437 + 0.018410376040265 ok 168 # t0 116 1204127592.484 + 0.02 >= 1204127592.484 ok 169 # t1 116 1204127592.484 + 0.02 >= 1204127592.437 + 0.0178812160011148 ok 170 # t0 941 1204127592.484 + 0.02 >= 1204127592.484 ok 171 # t1 941 1204127592.484 + 0.02 >= 1204127592.437 + 0.0167566160671413 ok 172 # t0 297 1204127592.484 + 0.02 >= 1204127592.484 ok 173 # t1 297 1204127592.484 + 0.02 >= 1204127592.437 + 0.0155532240169123 ok 174 # t0 62 1204127592.484 + 0.02 >= 1204127592.484 ok 175 # t1 62 1204127592.484 + 0.02 >= 1204127592.437 + 0.0134315840005002 ok 176 # t0 748 1204127592.484 + 0.02 >= 1204127592.484 ok 177 # t1 748 1204127592.484 + 0.02 >= 1204127592.437 + 0.0122333440231159 ok 178 # t0 786 1204127592.484 + 0.02 >= 1204127592.484 ok 179 # t1 786 1204127592.484 + 0.02 >= 1204127592.437 + 0.0088394561316818 ok 180 # t0 918 1204127592.484 + 0.02 >= 1204127592.484 ok 181 # t1 918 1204127592.484 + 0.02 >= 1204127592.437 + 0.00809526420198381 ok 182 # t0 425 1204127592.484 + 0.02 >= 1204127592.484 ok 183 # t1 425 1204127592.484 + 0.02 >= 1204127592.437 + 0.0075650000362657 ok 184 # t0 198 1204127592.484 + 0.02 >= 1204127592.484 ok 185 # t1 198 1204127592.484 + 0.02 >= 1204127592.437 + 0.00691254400589969 ok 186 # t0 711 1204127592.484 + 0.02 >= 1204127592.484 ok 187 # t1 711 1204127592.484 + 0.02 >= 1204127592.437 + 0.00649005605373532 ok 188 # t0 870 1204127592.484 + 0.02 >= 1204127592.484 ok 189 # t1 870 1204127592.484 + 0.02 >= 1204127592.437 + 0.00581840006634593 ok 190 # t0 851 1204127592.484 + 0.02 >= 1204127592.484 ok 191 # t1 851 1204127592.484 + 0.02 >= 1204127592.437 + 0.00576653610914946 ok 192 # t0 501 1204127592.484 + 0.02 >= 1204127592.484 ok 193 # t1 501 1204127592.484 + 0.02 >= 1204127592.437 + 0.00477133603999391 ok 194 # t0 58 1204127592.484 + 0.02 >= 1204127592.484 ok 195 # t1 58 1204127592.484 + 0.02 >= 1204127592.437 + 0.0044703040002787 ok 196 # t0 643 1204127592.484 + 0.02 >= 1204127592.484 ok 197 # t1 643 1204127592.484 + 0.02 >= 1204127592.437 + 0.00423386401962489 ok 198 # t0 919 1204127592.484 + 0.02 >= 1204127592.484 ok 199 # t1 919 1204127592.484 + 0.02 >= 1204127592.437 + 0.0028074961155653 ok 200 # t0 910 1204127592.484 + 0.02 >= 1204127592.484 ok 201 # t1 910 1204127592.484 + 0.02 >= 1204127592.437 + 0.00174159999005497 ok 202 # t0 99 1204127592.484 + 0.02 >= 1204127592.484 ok 203 # t1 99 1204127592.484 + 0.02 >= 1204127592.437 + 0.00172813600147492 ok 204 # p0 570 1204127592.515 >= 1204127592.484 ok 205 # p1 570 1204127592.515 >= 1204127592.437 + 0.0779979000217281 ok 206 # p0 556 1204127592.515 >= 1204127592.515 ok 207 # p1 556 1204127592.515 >= 1204127592.437 + 0.0779438560130075 ok 208 # p0 172 1204127592.515 >= 1204127592.515 ok 209 # p1 172 1204127592.515 >= 1204127592.437 + 0.075209264003206 ok 210 # p0 491 1204127592.515 >= 1204127592.515 ok 211 # p1 491 1204127592.515 >= 1204127592.437 + 0.0743484509875998 ok 212 # p0 723 1204127592.515 >= 1204127592.515 ok 213 # p1 723 1204127592.515 >= 1204127592.437 + 0.074299058993347 ok 214 # p0 795 1204127592.515 >= 1204127592.515 ok 215 # p1 795 1204127592.515 >= 1204127592.437 + 0.0741662750951946 ok 216 # p0 861 1204127592.515 >= 1204127592.515 ok 217 # p1 861 1204127592.515 >= 1204127592.437 + 0.0740334910806268 ok 218 # p0 670 1204127592.515 >= 1204127592.515 ok 219 # p1 670 1204127592.515 >= 1204127592.437 + 0.0736019000178203 ok 220 # p0 98 1204127592.515 >= 1204127592.515 ok 221 # p1 98 1204127592.515 >= 1204127592.437 + 0.0693046840005991 ok 222 # p0 12 1204127592.515 >= 1204127592.515 ok 223 # p1 12 1204127592.515 >= 1204127592.437 + 0.0685110240000029 ok 224 # p0 363 1204127592.515 >= 1204127592.515 ok 225 # p1 363 1204127592.515 >= 1204127592.437 + 0.0668688990117516 ok 226 # p0 439 1204127592.515 >= 1204127592.515 ok 227 # p1 439 1204127592.515 >= 1204127592.437 + 0.0660628910409287 ok 228 # p0 783 1204127592.515 >= 1204127592.515 ok 229 # p1 783 1204127592.515 >= 1204127592.437 + 0.06496661901474 ok 230 # p0 821 1204127592.515 >= 1204127592.515 ok 231 # p1 821 1204127592.515 >= 1204127592.437 + 0.0641606110148132 ok 232 # p0 326 1204127592.515 >= 1204127592.515 ok 233 # p1 326 1204127592.515 >= 1204127592.437 + 0.0630387960118242 ok 234 # p0 791 1204127592.515 >= 1204127592.515 ok 235 # p1 791 1204127592.515 >= 1204127592.437 + 0.0558750510681421 ok 236 # p0 303 1204127592.515 >= 1204127592.515 ok 237 # p1 303 1204127592.515 >= 1204127592.437 + 0.0550597390101757 ok 238 # p0 126 1204127592.515 >= 1204127592.515 ok 239 # p1 126 1204127592.515 >= 1204127592.437 + 0.0533403959998395 ok 240 # p0 787 1204127592.515 >= 1204127592.515 ok 241 # p1 787 1204127592.515 >= 1204127592.437 + 0.052808499080129 ok 242 # p0 75 1204127592.515 >= 1204127592.515 ok 243 # p1 75 1204127592.515 >= 1204127592.437 + 0.0512118750002628 ok 244 # p0 339 1204127592.515 >= 1204127592.515 ok 245 # p1 339 1204127592.515 >= 1204127592.437 + 0.0510790910047945 ok 246 # p0 947 1204127592.515 >= 1204127592.515 ok 247 # p1 947 1204127592.515 >= 1204127592.437 + 0.0507147391326725 ok 248 # p0 462 1204127592.515 >= 1204127592.515 ok 249 # p1 462 1204127592.515 >= 1204127592.437 + 0.0504653240204789 ok 250 # p0 752 1204127592.515 >= 1204127592.515 ok 251 # p1 752 1204127592.515 >= 1204127592.437 + 0.0504035840276629 ok 252 # p0 34 1204127592.515 >= 1204127592.515 ok 253 # p1 34 1204127592.515 >= 1204127592.437 + 0.049991276000128 ok 254 # p0 646 1204127592.515 >= 1204127592.515 ok 255 # p1 646 1204127592.515 >= 1204127592.437 + 0.0497788007705822 ok 256 # p0 580 1204127592.515 >= 1204127592.515 ok 257 # p1 580 1204127592.515 >= 1204127592.437 + 0.04936440003803 ok 258 # p0 306 1204127592.515 >= 1204127592.515 ok 259 # p1 306 1204127592.515 >= 1204127592.437 + 0.0492933560017264 ok 260 # p0 374 1204127592.515 >= 1204127592.515 ok 261 # p1 374 1204127592.515 >= 1204127592.437 + 0.0489443959959317 ok 262 # p0 127 1204127592.515 >= 1204127592.515 ok 263 # p1 127 1204127592.515 >= 1204127592.437 + 0.0487104590029048 ok 264 # p0 414 1204127592.515 >= 1204127592.515 ok 265 # p1 414 1204127592.515 >= 1204127592.437 + 0.048074210753839 ok 266 # p0 496 1204127592.515 >= 1204127592.515 ok 267 # p1 496 1204127592.515 >= 1204127592.437 + 0.0472783360164613 ok 268 # p0 905 1204127592.515 >= 1204127592.515 ok 269 # p1 905 1204127592.515 >= 1204127592.437 + 0.0460522297798889 ok 270 # p0 667 1204127592.515 >= 1204127592.515 ok 271 # p1 667 1204127592.515 >= 1204127592.437 + 0.0428021952757263 ok 272 # p0 364 1204127592.515 >= 1204127592.515 ok 273 # p1 364 1204127592.515 >= 1204127592.437 + 0.0401140670001041 ok 274 # p0 223 1204127592.515 >= 1204127592.515 ok 275 # p1 223 1204127592.515 >= 1204127592.437 + 0.0367795626852967 ok 276 # p0 59 1204127592.515 >= 1204127592.515 ok 277 # p1 59 1204127592.515 >= 1204127592.437 + 0.033106279187848 ok 278 # p0 906 1204127592.515 >= 1204127592.515 ok 279 # p1 906 1204127592.515 >= 1204127592.437 + 0.0318373407353647 ok 280 # p0 92 1204127592.515 >= 1204127592.515 ok 281 # p1 92 1204127592.515 >= 1204127592.437 + 0.0286086030014303 ok 282 # p0 743 1204127592.515 >= 1204127592.515 ok 283 # p1 743 1204127592.515 >= 1204127592.437 + 0.0253988276817836 ok 284 # p0 86 1204127592.515 >= 1204127592.515 ok 285 # p1 86 1204127592.515 >= 1204127592.437 + 0.0199774607508516 ok 286 # p0 163 1204127592.515 >= 1204127592.515 ok 287 # p1 163 1204127592.515 >= 1204127592.437 + 0.0167446801906408 ok 288 # p0 187 1204127592.515 >= 1204127592.515 ok 289 # p1 187 1204127592.515 >= 1204127592.437 + 0.0130008551864194 ok 290 # p0 633 1204127592.515 >= 1204127592.515 ok 291 # p1 633 1204127592.515 >= 1204127592.437 + 0.0119066076586023 ok 292 # p0 241 1204127592.515 >= 1204127592.515 ok 293 # p1 241 1204127592.515 >= 1204127592.437 + 0.00877141668843251 ok 294 # p0 651 1204127592.515 >= 1204127592.515 ok 295 # p1 651 1204127592.515 >= 1204127592.437 + 0.00767716927657602 ok 296 # p0 345 1204127592.515 >= 1204127592.515 ok 297 # p1 345 1204127592.515 >= 1204127592.437 + 0.00387097969360184 ok 298 # t0 557 1204127592.515 + 0.02 >= 1204127592.515 ok 299 # t1 557 1204127592.515 + 0.02 >= 1204127592.437 + 0.0775586640229449 ok 300 # t0 579 1204127592.515 + 0.02 >= 1204127592.515 ok 301 # t1 579 1204127592.515 + 0.02 >= 1204127592.437 + 0.0774759760824963 ok 302 # t0 958 1204127592.515 + 0.02 >= 1204127592.515 ok 303 # t1 958 1204127592.515 + 0.02 >= 1204127592.437 + 0.0757087040692568 ok 304 # t0 983 1204127592.515 + 0.02 >= 1204127592.515 ok 305 # t1 983 1204127592.515 + 0.02 >= 1204127592.437 + 0.0753881041891873 ok 306 # t0 240 1204127592.515 + 0.02 >= 1204127592.515 ok 307 # t1 240 1204127592.515 + 0.02 >= 1204127592.437 + 0.0753536000120221 ok 308 # t0 328 1204127592.515 + 0.02 >= 1204127592.515 ok 309 # t1 328 1204127592.515 + 0.02 >= 1204127592.437 + 0.0751882240001578 ok 310 # t0 338 1204127592.515 + 0.02 >= 1204127592.515 ok 311 # t1 338 1204127592.515 + 0.02 >= 1204127592.437 + 0.0745259840041399 ok 312 # t0 514 1204127592.515 + 0.02 >= 1204127592.515 ok 313 # t1 514 1204127592.515 + 0.02 >= 1204127592.437 + 0.0740298560122028 ok 314 # t0 287 1204127592.515 + 0.02 >= 1204127592.515 ok 315 # t1 287 1204127592.515 + 0.02 >= 1204127592.437 + 0.0731909839960281 ok 316 # t0 571 1204127592.515 + 0.02 >= 1204127592.515 ok 317 # t1 571 1204127592.515 + 0.02 >= 1204127592.437 + 0.0723847760818899 ok 318 # t0 232 1204127592.515 + 0.02 >= 1204127592.515 ok 319 # t1 232 1204127592.515 + 0.02 >= 1204127592.437 + 0.0715248640044592 ok 320 # t0 516 1204127592.515 + 0.02 >= 1204127592.515 ok 321 # t1 516 1204127592.515 + 0.02 >= 1204127592.437 + 0.0708220160449855 ok 322 # t0 220 1204127592.515 + 0.02 >= 1204127592.515 ok 323 # t1 220 1204127592.515 + 0.02 >= 1204127592.437 + 0.0702624000114156 ok 324 # t0 991 1204127592.515 + 0.02 >= 1204127592.515 ok 325 # t1 991 1204127592.515 + 0.02 >= 1204127592.437 + 0.070214216131717 ok 326 # t0 8 1204127592.515 + 0.02 >= 1204127592.515 ok 327 # t1 8 1204127592.515 + 0.02 >= 1204127592.437 + 0.0678615040000068 ok 328 # t0 82 1204127592.515 + 0.02 >= 1204127592.515 ok 329 # t1 82 1204127592.515 + 0.02 >= 1204127592.437 + 0.0671992640000099 ok 330 # t0 844 1204127592.515 + 0.02 >= 1204127592.515 ok 331 # t1 844 1204127592.515 + 0.02 >= 1204127592.437 + 0.0655048959888518 ok 332 # t0 594 1204127592.515 + 0.02 >= 1204127592.515 ok 333 # t1 594 1204127592.515 + 0.02 >= 1204127592.437 + 0.0622128960676491 ok 334 # t0 324 1204127592.515 + 0.02 >= 1204127592.515 ok 335 # t1 324 1204127592.515 + 0.02 >= 1204127592.437 + 0.0598319359996822 ok 336 # t0 371 1204127592.515 + 0.02 >= 1204127592.515 ok 337 # t1 371 1204127592.515 + 0.02 >= 1204127592.437 + 0.0550823760277126 ok 338 # t0 481 1204127592.515 + 0.02 >= 1204127592.515 ok 339 # t1 481 1204127592.515 + 0.02 >= 1204127592.437 + 0.0547722960473038 ok 340 # t0 124 1204127592.515 + 0.02 >= 1204127592.515 ok 341 # t1 124 1204127592.515 + 0.02 >= 1204127592.437 + 0.0537263360020006 ok 342 # t0 838 1204127592.515 + 0.02 >= 1204127592.515 ok 343 # t1 838 1204127592.515 + 0.02 >= 1204127592.437 + 0.0520939840935171 ok 344 # t0 976 1204127592.515 + 0.02 >= 1204127592.515 ok 345 # t1 976 1204127592.515 + 0.02 >= 1204127592.437 + 0.0506255361251533 ok 346 # t0 59 1204127592.515 + 0.02 >= 1204127592.515 ok 347 # t1 59 1204127592.515 + 0.02 >= 1204127592.437 + 0.0504046160003782 ok 348 # t0 367 1204127592.515 + 0.02 >= 1204127592.515 ok 349 # t1 367 1204127592.515 + 0.02 >= 1204127592.437 + 0.0499705040128902 ok 350 # t0 23 1204127592.515 + 0.02 >= 1204127592.515 ok 351 # t1 23 1204127592.515 + 0.02 >= 1204127592.437 + 0.0498306751251221 ok 352 # t0 311 1204127592.515 + 0.02 >= 1204127592.515 ok 353 # t1 311 1204127592.515 + 0.02 >= 1204127592.437 + 0.0495707988739014 ok 354 # t0 590 1204127592.515 + 0.02 >= 1204127592.515 ok 355 # t1 590 1204127592.515 + 0.02 >= 1204127592.437 + 0.0495288372039795 ok 356 # t0 924 1204127592.515 + 0.02 >= 1204127592.515 ok 357 # t1 924 1204127592.515 + 0.02 >= 1204127592.437 + 0.049464225769043 ok 358 # t0 7 1204127592.515 + 0.02 >= 1204127592.515 ok 359 # t1 7 1204127592.515 + 0.02 >= 1204127592.437 + 0.0492706298828125 ok 360 # t0 347 1204127592.515 + 0.02 >= 1204127592.515 ok 361 # t1 347 1204127592.515 + 0.02 >= 1204127592.437 + 0.0490856170654297 ok 362 # t0 233 1204127592.515 + 0.02 >= 1204127592.515 ok 363 # t1 233 1204127592.515 + 0.02 >= 1204127592.437 + 0.0489561040012632 ok 364 # t0 331 1204127592.515 + 0.02 >= 1204127592.515 ok 365 # t1 331 1204127592.515 + 0.02 >= 1204127592.437 + 0.0489277839660645 ok 366 # t0 947 1204127592.515 + 0.02 >= 1204127592.515 ok 367 # t1 947 1204127592.515 + 0.02 >= 1204127592.437 + 0.0487651824951172 ok 368 # t0 658 1204127592.515 + 0.02 >= 1204127592.515 ok 369 # t1 658 1204127592.515 + 0.02 >= 1204127592.437 + 0.0485508441925049 ok 370 # t0 930 1204127592.515 + 0.02 >= 1204127592.515 ok 371 # t1 930 1204127592.515 + 0.02 >= 1204127592.437 + 0.0483815670013428 ok 372 # t0 858 1204127592.515 + 0.02 >= 1204127592.515 ok 373 # t1 858 1204127592.515 + 0.02 >= 1204127592.437 + 0.0481681823730469 ok 374 # t0 941 1204127592.515 + 0.02 >= 1204127592.515 ok 375 # t1 941 1204127592.515 + 0.02 >= 1204127592.437 + 0.0480473041534424 ok 376 # t0 748 1204127592.515 + 0.02 >= 1204127592.515 ok 377 # t1 748 1204127592.515 + 0.02 >= 1204127592.437 + 0.0477645397186279 ok 378 # t0 425 1204127592.515 + 0.02 >= 1204127592.515 ok 379 # t1 425 1204127592.515 + 0.02 >= 1204127592.437 + 0.0474727153778076 ok 380 # t0 870 1204127592.515 + 0.02 >= 1204127592.515 ok 381 # t1 870 1204127592.515 + 0.02 >= 1204127592.437 + 0.0473635196685791 ok 382 # t0 58 1204127592.515 + 0.02 >= 1204127592.515 ok 383 # t1 58 1204127592.515 + 0.02 >= 1204127592.437 + 0.0472793579101563 ok 384 # t0 761 1204127592.515 + 0.02 >= 1204127592.515 ok 385 # t1 761 1204127592.515 + 0.02 >= 1204127592.437 + 0.0472196560585871 ok 386 # t0 910 1204127592.515 + 0.02 >= 1204127592.515 ok 387 # t1 910 1204127592.515 + 0.02 >= 1204127592.437 + 0.0471088886260986 ok 388 # t0 801 1204127592.515 + 0.02 >= 1204127592.515 ok 389 # t1 801 1204127592.515 + 0.02 >= 1204127592.437 + 0.0470129360910505 ok 390 # p0 118 1204127592.562 >= 1204127592.515 ok 391 # p1 118 1204127592.562 >= 1204127592.437 + 0.12463540400131 ok 392 # p0 400 1204127592.562 >= 1204127592.562 ok 393 # p1 400 1204127592.562 >= 1204127592.437 + 0.123359999997774 ok 394 # p0 427 1204127592.562 >= 1204127592.562 ok 395 # p1 427 1204127592.562 >= 1204127592.437 + 0.121850659023039 ok 396 # p0 16 1204127592.562 >= 1204127592.562 ok 397 # p1 16 1204127592.562 >= 1204127592.437 + 0.121797376000018 ok 398 # p0 354 1204127592.562 >= 1204127592.562 ok 399 # p1 354 1204127592.562 >= 1204127592.437 + 0.12171863601543 ok 400 # p0 750 1204127592.562 >= 1204127592.562 ok 401 # p1 750 1204127592.562 >= 1204127592.437 + 0.121187500073574 ok 402 # p0 399 1204127592.562 >= 1204127592.562 ok 403 # p1 399 1204127592.562 >= 1204127592.437 + 0.118218971008901 ok 404 # p0 590 1204127592.562 >= 1204127592.562 ok 405 # p1 590 1204127592.562 >= 1204127592.437 + 0.115885100036394 ok 406 # p0 434 1204127592.562 >= 1204127592.562 ok 407 # p1 434 1204127592.562 >= 1204127592.437 + 0.114322476001689 ok 408 # p0 119 1204127592.562 >= 1204127592.562 ok 409 # p1 119 1204127592.562 >= 1204127592.437 + 0.112393130999408 ok 410 # p0 289 1204127592.562 >= 1204127592.562 ok 411 # p1 289 1204127592.562 >= 1204127592.437 + 0.111869691012544 ok 412 # p0 391 1204127592.562 >= 1204127592.562 ok 413 # p1 391 1204127592.562 >= 1204127592.437 + 0.111346251011128 ok 414 # p0 218 1204127592.562 >= 1204127592.562 ok 415 # p1 218 1204127592.562 >= 1204127592.437 + 0.110541004003608 ok 416 # p0 561 1204127592.562 >= 1204127592.562 ok 417 # p1 561 1204127592.562 >= 1204127592.437 + 0.110124891041778 ok 418 # p0 957 1204127592.562 >= 1204127592.562 ok 419 # p1 957 1204127592.562 >= 1204127592.437 + 0.109394578961656 ok 420 # p0 440 1204127592.562 >= 1204127592.562 ok 421 # p1 440 1204127592.562 >= 1204127592.437 + 0.109265600040089 ok 422 # p0 392 1204127592.562 >= 1204127592.562 ok 423 # p1 392 1204127592.562 >= 1204127592.437 + 0.108874944009585 ok 424 # p0 184 1204127592.562 >= 1204127592.562 ok 425 # p1 184 1204127592.562 >= 1204127592.437 + 0.107702976005385 ok 426 # p0 799 1204127592.562 >= 1204127592.562 ok 427 # p1 799 1204127592.562 >= 1204127592.437 + 0.107682171044871 ok 428 # p0 983 1204127592.562 >= 1204127592.562 ok 429 # p1 983 1204127592.562 >= 1204127592.437 + 0.107283819001168 ok 430 # p0 826 1204127592.562 >= 1204127592.562 ok 431 # p1 826 1204127592.562 >= 1204127592.437 + 0.107134796096943 ok 432 # p0 417 1204127592.562 >= 1204127592.562 ok 433 # p1 417 1204127592.562 >= 1204127592.437 + 0.106343419000041 ok 434 # p0 969 1204127592.562 >= 1204127592.562 ok 435 # p1 969 1204127592.562 >= 1204127592.437 + 0.105413930956274 ok 436 # p0 74 1204127592.562 >= 1204127592.562 ok 437 # p1 74 1204127592.562 >= 1204127592.437 + 0.105321996000384 ok 438 # p0 938 1204127592.562 >= 1204127592.562 ok 439 # p1 938 1204127592.562 >= 1204127592.437 + 0.104259724030271 ok 440 # p0 143 1204127592.562 >= 1204127592.562 ok 441 # p1 143 1204127592.562 >= 1204127592.437 + 0.104041179001797 ok 442 # p0 157 1204127592.562 >= 1204127592.562 ok 443 # p1 157 1204127592.562 >= 1204127592.437 + 0.102279379003448 ok 444 # p0 58 1204127592.562 >= 1204127592.562 ok 445 # p1 58 1204127592.562 >= 1204127592.437 + 0.10049364400038 ok 446 # p0 39 1204127592.562 >= 1204127592.562 ok 447 # p1 39 1204127592.562 >= 1204127592.437 + 0.0986476910002239 ok 448 # p0 237 1204127592.562 >= 1204127592.562 ok 449 # p1 237 1204127592.562 >= 1204127592.437 + 0.0985812990111299 ok 450 # p0 193 1204127592.562 >= 1204127592.562 ok 451 # p1 193 1204127592.562 >= 1204127592.437 + 0.0969939790011267 ok 452 # p0 48 1204127592.562 >= 1204127592.562 ok 453 # p1 48 1204127592.562 >= 1204127592.437 + 0.0961763840000458 ok 454 # p0 876 1204127592.562 >= 1204127592.562 ok 455 # p1 876 1204127592.562 >= 1204127592.437 + 0.095246896147728 ok 456 # p0 835 1204127592.562 >= 1204127592.562 ok 457 # p1 835 1204127592.562 >= 1204127592.437 + 0.0944354750681669 ok 458 # p0 142 1204127592.562 >= 1204127592.562 ok 459 # p1 142 1204127592.562 >= 1204127592.437 + 0.09344644399971 ok 460 # p0 779 1204127592.562 >= 1204127592.562 ok 461 # p1 779 1204127592.562 >= 1204127592.437 + 0.0923494109883904 ok 462 # p0 845 1204127592.562 >= 1204127592.562 ok 463 # p1 845 1204127592.562 >= 1204127592.437 + 0.0873882750747725 ok 464 # p0 937 1204127592.562 >= 1204127592.562 ok 465 # p1 937 1204127592.562 >= 1204127592.437 + 0.0871890990529209 ok 466 # p0 583 1204127592.562 >= 1204127592.562 ok 467 # p1 583 1204127592.562 >= 1204127592.437 + 0.0843294190126471 ok 468 # p0 556 1204127592.562 >= 1204127592.562 ok 469 # p1 556 1204127592.562 >= 1204127592.437 + 0.0828153470138204 ok 470 # p0 599 1204127592.562 >= 1204127592.562 ok 471 # p1 599 1204127592.562 >= 1204127592.437 + 0.0821105710347183 ok 472 # p0 643 1204127592.562 >= 1204127592.562 ok 473 # p1 643 1204127592.562 >= 1204127592.437 + 0.0820441790856421 ok 474 # p0 891 1204127592.562 >= 1204127592.562 ok 475 # p1 891 1204127592.562 >= 1204127592.437 + 0.0805572511162609 ok 476 # p0 723 1204127592.562 >= 1204127592.562 ok 477 # p1 723 1204127592.562 >= 1204127592.437 + 0.0789427501804312 ok 478 # p0 670 1204127592.562 >= 1204127592.562 ok 479 # p1 670 1204127592.562 >= 1204127592.437 + 0.0782020187689341 ok 480 # p0 363 1204127592.562 >= 1204127592.562 ok 481 # p1 363 1204127592.562 >= 1204127592.437 + 0.0710482051999861 ok 482 # p0 821 1204127592.562 >= 1204127592.562 ok 483 # p1 821 1204127592.562 >= 1204127592.437 + 0.068170649203239 ok 484 # p0 303 1204127592.562 >= 1204127592.562 ok 485 # p1 303 1204127592.562 >= 1204127592.437 + 0.0585009726983117 ok 486 # p0 75 1204127592.562 >= 1204127592.562 ok 487 # p1 75 1204127592.562 >= 1204127592.437 + 0.0544126171877792 ok 488 # p0 462 1204127592.562 >= 1204127592.562 ok 489 # p1 462 1204127592.562 >= 1204127592.437 + 0.0536194067717588 ok 490 # p0 646 1204127592.562 >= 1204127592.562 ok 491 # p1 646 1204127592.562 >= 1204127592.437 + 0.0528899758187436 ok 492 # p0 374 1204127592.562 >= 1204127592.562 ok 493 # p1 374 1204127592.562 >= 1204127592.437 + 0.0520034207456774 ok 494 # p0 496 1204127592.562 >= 1204127592.562 ok 495 # p1 496 1204127592.562 >= 1204127592.437 + 0.0502332320174901 ok 496 # p0 364 1204127592.562 >= 1204127592.562 ok 497 # p1 364 1204127592.562 >= 1204127592.437 + 0.0426211961876106 ok 498 # p0 906 1204127592.562 >= 1204127592.562 ok 499 # p1 906 1204127592.562 >= 1204127592.437 + 0.033827174531325 ok 500 # p0 86 1204127592.562 >= 1204127592.562 ok 501 # p1 86 1204127592.562 >= 1204127592.437 + 0.0212260520477798 ok 502 # p0 633 1204127592.562 >= 1204127592.562 ok 503 # p1 633 1204127592.562 >= 1204127592.437 + 0.0126507706372649 ok 504 # p0 345 1204127592.562 >= 1204127592.562 ok 505 # p1 345 1204127592.562 >= 1204127592.437 + 0.00411291592445195 ok 506 # t0 880 1204127592.562 + 0.02 >= 1204127592.562 ok 507 # t1 880 1204127592.562 + 0.02 >= 1204127592.437 + 0.124198400182649 ok 508 # t0 36 1204127592.562 + 0.02 >= 1204127592.562 ok 509 # t1 36 1204127592.562 + 0.02 >= 1204127592.437 + 0.124195456000052 ok 510 # t0 810 1204127592.562 + 0.02 >= 1204127592.562 ok 511 # t1 810 1204127592.562 + 0.02 >= 1204127592.437 + 0.123949600150809 ok 512 # t0 662 1204127592.562 + 0.02 >= 1204127592.562 ok 513 # t1 662 1204127592.562 + 0.02 >= 1204127592.437 + 0.123389984015375 ok 514 # t0 566 1204127592.562 + 0.02 >= 1204127592.562 ok 515 # t1 566 1204127592.562 + 0.02 >= 1204127592.437 + 0.122499616001733 ok 516 # t0 888 1204127592.562 + 0.02 >= 1204127592.562 ok 517 # t1 888 1204127592.562 + 0.02 >= 1204127592.437 + 0.121590784052387 ok 518 # t0 98 1204127592.562 + 0.02 >= 1204127592.562 ok 519 # t1 98 1204127592.562 + 0.02 >= 1204127592.437 + 0.12096694399952 ok 520 # t0 186 1204127592.562 + 0.02 >= 1204127592.562 ok 521 # t1 186 1204127592.562 + 0.02 >= 1204127592.437 + 0.120884256000863 ok 522 # t0 172 1204127592.562 + 0.02 >= 1204127592.562 ok 523 # t1 172 1204127592.562 + 0.02 >= 1204127592.437 + 0.11898022400419 ok 524 # t0 108 1204127592.562 + 0.02 >= 1204127592.562 ok 525 # t1 108 1204127592.562 + 0.02 >= 1204127592.437 + 0.11775910399956 ok 526 # t0 460 1204127592.562 + 0.02 >= 1204127592.562 ok 527 # t1 460 1204127592.562 + 0.02 >= 1204127592.437 + 0.117097600013949 ok 528 # t0 964 1204127592.562 + 0.02 >= 1204127592.562 ok 529 # t1 964 1204127592.562 + 0.02 >= 1204127592.437 + 0.116003456059843 ok 530 # t0 133 1204127592.562 + 0.02 >= 1204127592.562 ok 531 # t1 133 1204127592.562 + 0.02 >= 1204127592.437 + 0.115658504000749 ok 532 # t0 762 1204127592.562 + 0.02 >= 1204127592.562 ok 533 # t1 762 1204127592.562 + 0.02 >= 1204127592.437 + 0.115236384095624 ok 534 # t0 417 1204127592.562 + 0.02 >= 1204127592.562 ok 535 # t1 417 1204127592.562 + 0.02 >= 1204127592.437 + 0.115141704038251 ok 536 # t0 290 1204127592.562 + 0.02 >= 1204127592.562 ok 537 # t1 290 1204127592.562 + 0.02 >= 1204127592.437 + 0.111757600010606 ok 538 # t0 792 1204127592.562 + 0.02 >= 1204127592.562 ok 539 # t1 792 1204127592.562 + 0.02 >= 1204127592.437 + 0.110600704094395 ok 540 # t0 970 1204127592.562 + 0.02 >= 1204127592.562 ok 541 # t1 970 1204127592.562 + 0.02 >= 1204127592.437 + 0.107642400078475 ok 542 # t0 271 1204127592.562 + 0.02 >= 1204127592.562 ok 543 # t1 271 1204127592.562 + 0.02 >= 1204127592.437 + 0.106511176010827 ok 544 # t0 697 1204127592.562 + 0.02 >= 1204127592.562 ok 545 # t1 697 1204127592.562 + 0.02 >= 1204127592.437 + 0.105146824033 ok 546 # t0 180 1204127592.562 + 0.02 >= 1204127592.562 ok 547 # t1 180 1204127592.562 + 0.02 >= 1204127592.437 + 0.104886400004034 ok 548 # t0 865 1204127592.562 + 0.02 >= 1204127592.562 ok 549 # t1 865 1204127592.562 + 0.02 >= 1204127592.437 + 0.104278600076213 ok 550 # t0 309 1204127592.562 + 0.02 >= 1204127592.562 ok 551 # t1 309 1204127592.562 + 0.02 >= 1204127592.437 + 0.101316615997348 ok 552 # t0 593 1204127592.562 + 0.02 >= 1204127592.562 ok 553 # t1 593 1204127592.562 + 0.02 >= 1204127592.437 + 0.100469064083882 ok 554 # t0 649 1204127592.562 + 0.02 >= 1204127592.562 ok 555 # t1 649 1204127592.562 + 0.02 >= 1204127592.437 + 0.0989585360512137 ok 556 # t0 969 1204127592.562 + 0.02 >= 1204127592.562 ok 557 # t1 969 1204127592.562 + 0.02 >= 1204127592.437 + 0.0985258962027729 ok 558 # t0 913 1204127592.562 + 0.02 >= 1204127592.562 ok 559 # t1 913 1204127592.562 + 0.02 >= 1204127592.437 + 0.0975941841024905 ok 560 # t0 370 1204127592.562 + 0.02 >= 1204127592.562 ok 561 # t1 370 1204127592.562 + 0.02 >= 1204127592.437 + 0.0974984000204131 ok 562 # t0 980 1204127592.562 + 0.02 >= 1204127592.562 ok 563 # t1 980 1204127592.562 + 0.02 >= 1204127592.437 + 0.0966944000683725 ok 564 # t0 766 1204127592.562 + 0.02 >= 1204127592.562 ok 565 # t1 766 1204127592.562 + 0.02 >= 1204127592.437 + 0.0960100160446018 ok 566 # t0 226 1204127592.562 + 0.02 >= 1204127592.562 ok 567 # t1 226 1204127592.562 + 0.02 >= 1204127592.437 + 0.0952215360011905 ok 568 # t0 469 1204127592.562 + 0.02 >= 1204127592.562 ok 569 # t1 469 1204127592.562 + 0.02 >= 1204127592.437 + 0.0919418960111216 ok 570 # t0 667 1204127592.562 + 0.02 >= 1204127592.562 ok 571 # t1 667 1204127592.562 + 0.02 >= 1204127592.437 + 0.0911977040814236 ok 572 # t0 895 1204127592.562 + 0.02 >= 1204127592.562 ok 573 # t1 895 1204127592.562 + 0.02 >= 1204127592.437 + 0.0900193999987096 ok 574 # t0 568 1204127592.562 + 0.02 >= 1204127592.562 ok 575 # t1 568 1204127592.562 + 0.02 >= 1204127592.437 + 0.0898416640702635 ok 576 # t0 391 1204127592.562 + 0.02 >= 1204127592.562 ok 577 # t1 391 1204127592.562 + 0.02 >= 1204127592.437 + 0.0896030160365626 ok 578 # t0 533 1204127592.562 + 0.02 >= 1204127592.562 ok 579 # t1 533 1204127592.562 + 0.02 >= 1204127592.437 + 0.0891689040581696 ok 580 # t0 294 1204127592.562 + 0.02 >= 1204127592.562 ok 581 # t1 294 1204127592.562 + 0.02 >= 1204127592.437 + 0.0887024959956761 ok 582 # t0 552 1204127592.562 + 0.02 >= 1204127592.562 ok 583 # t1 552 1204127592.562 + 0.02 >= 1204127592.437 + 0.088620544061996 ok 584 # t0 192 1204127592.562 + 0.02 >= 1204127592.562 ok 585 # t1 192 1204127592.562 + 0.02 >= 1204127592.437 + 0.0882263040039106 ok 586 # t0 558 1204127592.562 + 0.02 >= 1204127592.562 ok 587 # t1 558 1204127592.562 + 0.02 >= 1204127592.437 + 0.0879583039786667 ok 588 # t0 32 1204127592.562 + 0.02 >= 1204127592.562 ok 589 # t1 32 1204127592.562 + 0.02 >= 1204127592.437 + 0.0857840640001086 ok 590 # t0 252 1204127592.562 + 0.02 >= 1204127592.562 ok 591 # t1 252 1204127592.562 + 0.02 >= 1204127592.437 + 0.0855773440125631 ok 592 # t0 693 1204127592.562 + 0.02 >= 1204127592.562 ok 593 # t1 693 1204127592.562 + 0.02 >= 1204127592.437 + 0.084678664105013 ok 594 # t0 869 1204127592.562 + 0.02 >= 1204127592.562 ok 595 # t1 869 1204127592.562 + 0.02 >= 1204127592.437 + 0.0837690960615873 ok 596 # t0 179 1204127592.562 + 0.02 >= 1204127592.562 ok 597 # t1 179 1204127592.562 + 0.02 >= 1204127592.437 + 0.0836007760008215 ok 598 # t0 531 1204127592.562 + 0.02 >= 1204127592.562 ok 599 # t1 531 1204127592.562 + 0.02 >= 1204127592.437 + 0.0827738960506395 ok 600 # t0 958 1204127592.562 + 0.02 >= 1204127592.562 ok 601 # t1 958 1204127592.562 + 0.02 >= 1204127592.437 + 0.0827319622039795 ok 602 # t0 328 1204127592.562 + 0.02 >= 1204127592.562 ok 603 # t1 328 1204127592.562 + 0.02 >= 1204127592.437 + 0.0826992988586426 ok 604 # t0 287 1204127592.562 + 0.02 >= 1204127592.562 ok 605 # t1 287 1204127592.562 + 0.02 >= 1204127592.437 + 0.0825746059417725 ok 606 # t0 516 1204127592.562 + 0.02 >= 1204127592.562 ok 607 # t1 516 1204127592.562 + 0.02 >= 1204127592.437 + 0.0824265480041504 ok 608 # t0 8 1204127592.562 + 0.02 >= 1204127592.562 ok 609 # t1 8 1204127592.562 + 0.02 >= 1204127592.437 + 0.0822412967681885 ok 610 # t0 594 1204127592.562 + 0.02 >= 1204127592.562 ok 611 # t1 594 1204127592.562 + 0.02 >= 1204127592.437 + 0.0818884372711182 ok 612 # t0 481 1204127592.562 + 0.02 >= 1204127592.562 ok 613 # t1 481 1204127592.562 + 0.02 >= 1204127592.437 + 0.081423282623291 ok 614 # t0 170 1204127592.562 + 0.02 >= 1204127592.562 ok 615 # t1 170 1204127592.562 + 0.02 >= 1204127592.437 + 0.0812103999996907 ok 616 # t0 976 1204127592.562 + 0.02 >= 1204127592.562 ok 617 # t1 976 1204127592.562 + 0.02 >= 1204127592.437 + 0.0811641216278076 ok 618 # t0 23 1204127592.562 + 0.02 >= 1204127592.562 ok 619 # t1 23 1204127592.562 + 0.02 >= 1204127592.437 + 0.0811145305633545 ok 620 # t0 924 1204127592.562 + 0.02 >= 1204127592.562 ok 621 # t1 924 1204127592.562 + 0.02 >= 1204127592.437 + 0.0810916423797607 ok 622 # t0 233 1204127592.562 + 0.02 >= 1204127592.562 ok 623 # t1 233 1204127592.562 + 0.02 >= 1204127592.437 + 0.0810599327087402 ok 624 # t0 658 1204127592.562 + 0.02 >= 1204127592.562 ok 625 # t1 658 1204127592.562 + 0.02 >= 1204127592.437 + 0.0810344219207764 ok 626 # t0 941 1204127592.562 + 0.02 >= 1204127592.562 ok 627 # t1 941 1204127592.562 + 0.02 >= 1204127592.437 + 0.081002950668335 ok 628 # t0 870 1204127592.562 + 0.02 >= 1204127592.562 ok 629 # t1 870 1204127592.562 + 0.02 >= 1204127592.437 + 0.0809602737426758 ok 630 # t0 910 1204127592.562 + 0.02 >= 1204127592.562 ok 631 # t1 910 1204127592.562 + 0.02 >= 1204127592.437 + 0.080944299697876 ok 632 # p0 268 1204127592.609 >= 1204127592.562 ok 633 # p1 268 1204127592.609 >= 1204127592.437 + 0.171776304006926 ok 634 # p0 701 1204127592.609 >= 1204127592.609 ok 635 # p1 701 1204127592.609 >= 1204127592.437 + 0.169345171074383 ok 636 # p0 258 1204127592.609 >= 1204127592.609 ok 637 # p1 258 1204127592.609 >= 1204127592.437 + 0.169220844007214 ok 638 # p0 534 1204127592.609 >= 1204127592.609 ok 639 # p1 534 1204127592.609 >= 1204127592.437 + 0.168955276021734 ok 640 # p0 492 1204127592.609 >= 1204127592.609 ok 641 # p1 492 1204127592.609 >= 1204127592.437 + 0.167031344026327 ok 642 # p0 888 1204127592.609 >= 1204127592.609 ok 643 # p1 888 1204127592.609 >= 1204127592.437 + 0.166367423953488 ok 644 # p0 383 1204127592.609 >= 1204127592.609 ok 645 # p1 383 1204127592.609 >= 1204127592.437 + 0.165372219023993 ok 646 # p0 266 1204127592.609 >= 1204127592.609 ok 647 # p1 266 1204127592.609 >= 1204127592.437 + 0.163652875999105 ok 648 # p0 898 1204127592.609 >= 1204127592.609 ok 649 # p1 898 1204127592.609 >= 1204127592.437 + 0.163637483958155 ok 650 # p0 260 1204127592.609 >= 1204127592.609 ok 651 # p1 260 1204127592.609 >= 1204127592.437 + 0.162119600005099 ok 652 # p0 864 1204127592.609 >= 1204127592.609 ok 653 # p1 864 1204127592.609 >= 1204127592.437 + 0.16114841599483 ok 654 # p0 518 1204127592.609 >= 1204127592.609 ok 655 # p1 518 1204127592.609 >= 1204127592.437 + 0.160777804034296 ok 656 # p0 638 1204127592.609 >= 1204127592.609 ok 657 # p1 638 1204127592.609 >= 1204127592.437 + 0.159730924060568 ok 658 # p0 264 1204127592.609 >= 1204127592.609 ok 659 # p1 264 1204127592.609 >= 1204127592.437 + 0.159335616001044 ok 660 # p0 262 1204127592.609 >= 1204127592.609 ok 661 # p1 262 1204127592.609 >= 1204127592.437 + 0.158824523998192 ok 662 # p0 209 1204127592.609 >= 1204127592.609 ok 663 # p1 209 1204127592.609 >= 1204127592.437 + 0.15715305100457 ok 664 # p0 369 1204127592.609 >= 1204127592.609 ok 665 # p1 369 1204127592.609 >= 1204127592.437 + 0.156455131014809 ok 666 # p0 803 1204127592.609 >= 1204127592.609 ok 667 # p1 803 1204127592.609 >= 1204127592.437 + 0.156422739033587 ok 668 # p0 384 1204127592.609 >= 1204127592.609 ok 669 # p1 384 1204127592.609 >= 1204127592.437 + 0.155288576002931 ok 670 # p0 613 1204127592.609 >= 1204127592.609 ok 671 # p1 613 1204127592.609 >= 1204127592.437 + 0.154992899042554 ok 672 # p0 428 1204127592.609 >= 1204127592.609 ok 673 # p1 428 1204127592.609 >= 1204127592.437 + 0.153634864022024 ok 674 # p0 970 1204127592.609 >= 1204127592.609 ok 675 # p1 970 1204127592.609 >= 1204127592.437 + 0.152933900011703 ok 676 # p0 198 1204127592.609 >= 1204127592.609 ok 677 # p1 198 1204127592.609 >= 1204127592.437 + 0.152126284003316 ok 678 # p0 728 1204127592.609 >= 1204127592.609 ok 679 # p1 728 1204127592.609 >= 1204127592.437 + 0.151017664000392 ok 680 # p0 675 1204127592.609 >= 1204127592.609 ok 681 # p1 675 1204127592.609 >= 1204127592.437 + 0.148161875084043 ok 682 # p0 342 1204127592.609 >= 1204127592.609 ok 683 # p1 342 1204127592.609 >= 1204127592.437 + 0.148079244012479 ok 684 # p0 451 1204127592.609 >= 1204127592.609 ok 685 # p1 451 1204127592.609 >= 1204127592.437 + 0.14729717100272 ok 686 # p0 104 1204127592.609 >= 1204127592.609 ok 687 # p1 104 1204127592.609 >= 1204127592.437 + 0.145939136000379 ok 688 # p0 958 1204127592.609 >= 1204127592.609 ok 689 # p1 958 1204127592.609 >= 1204127592.437 + 0.145496044075117 ok 690 # p0 61 1204127592.609 >= 1204127592.609 ok 691 # p1 61 1204127592.609 >= 1204127592.437 + 0.145343891000266 ok 692 # p0 530 1204127592.609 >= 1204127592.609 ok 693 # p1 530 1204127592.609 >= 1204127592.437 + 0.144073900009971 ok 694 # p0 89 1204127592.609 >= 1204127592.609 ok 695 # p1 89 1204127592.609 >= 1204127592.437 + 0.143582091001008 ok 696 # p0 489 1204127592.609 >= 1204127592.609 ok 697 # p1 489 1204127592.609 >= 1204127592.437 + 0.141837291012052 ok 698 # p0 753 1204127592.609 >= 1204127592.609 ok 699 # p1 753 1204127592.609 >= 1204127592.437 + 0.141438939026557 ok 700 # p0 522 1204127592.609 >= 1204127592.609 ok 701 # p1 522 1204127592.609 >= 1204127592.437 + 0.139985164045356 ok 702 # p0 446 1204127592.609 >= 1204127592.609 ok 703 # p1 446 1204127592.609 >= 1204127592.437 + 0.138464235991705 ok 704 # p0 467 1204127592.609 >= 1204127592.609 ok 705 # p1 467 1204127592.609 >= 1204127592.437 + 0.13542161899386 ok 706 # p0 775 1204127592.609 >= 1204127592.609 ok 707 # p1 775 1204127592.609 >= 1204127592.437 + 0.13495687500108 ok 708 # p0 526 1204127592.609 >= 1204127592.609 ok 709 # p1 526 1204127592.609 >= 1204127592.437 + 0.134417196037248 ok 710 # p0 308 1204127592.609 >= 1204127592.609 ok 711 # p1 308 1204127592.609 >= 1204127592.437 + 0.133540144001017 ok 712 # p0 333 1204127592.609 >= 1204127592.609 ok 713 # p1 333 1204127592.609 >= 1204127592.437 + 0.132770419004373 ok 714 # p0 964 1204127592.609 >= 1204127592.609 ok 715 # p1 964 1204127592.609 >= 1204127592.437 + 0.132087216014043 ok 716 # p0 400 1204127592.609 >= 1204127592.609 ok 717 # p1 400 1204127592.609 >= 1204127592.437 + 0.131069999997635 ok 718 # p0 354 1204127592.609 >= 1204127592.609 ok 719 # p1 354 1204127592.609 >= 1204127592.437 + 0.129326050766394 ok 720 # p0 848 1204127592.609 >= 1204127592.609 ok 721 # p1 848 1204127592.609 >= 1204127592.437 + 0.128829184104688 ok 722 # p0 700 1204127592.609 >= 1204127592.609 ok 723 # p1 700 1204127592.609 >= 1204127592.437 + 0.127790000056848 ok 724 # p0 590 1204127592.609 >= 1204127592.609 ok 725 # p1 590 1204127592.609 >= 1204127592.437 + 0.123127918788668 ok 726 # p0 289 1204127592.609 >= 1204127592.609 ok 727 # p1 289 1204127592.609 >= 1204127592.437 + 0.118861546700828 ok 728 # p0 561 1204127592.609 >= 1204127592.609 ok 729 # p1 561 1204127592.609 >= 1204127592.437 + 0.117007696731889 ok 730 # p0 392 1204127592.609 >= 1204127592.609 ok 731 # p1 392 1204127592.609 >= 1204127592.437 + 0.115679628010184 ok 732 # p0 983 1204127592.609 >= 1204127592.609 ok 733 # p1 983 1204127592.609 >= 1204127592.437 + 0.113989057688741 ok 734 # p0 969 1204127592.609 >= 1204127592.609 ok 735 # p1 969 1204127592.609 >= 1204127592.437 + 0.112002301641041 ok 736 # p0 143 1204127592.609 >= 1204127592.609 ok 737 # p1 143 1204127592.609 >= 1204127592.437 + 0.110543752689409 ok 738 # p0 39 1204127592.609 >= 1204127592.609 ok 739 # p1 39 1204127592.609 >= 1204127592.437 + 0.104813171687738 ok 740 # p0 48 1204127592.609 >= 1204127592.609 ok 741 # p1 48 1204127592.609 >= 1204127592.437 + 0.102187408000049 ok 742 # p0 142 1204127592.609 >= 1204127592.609 ok 743 # p1 142 1204127592.609 >= 1204127592.437 + 0.0992868467496919 ok 744 # p0 937 1204127592.609 >= 1204127592.609 ok 745 # p1 937 1204127592.609 >= 1204127592.437 + 0.0926384177437285 ok 746 # p0 599 1204127592.609 >= 1204127592.609 ok 747 # p1 599 1204127592.609 >= 1204127592.437 + 0.0872424817243882 ok 748 # p0 723 1204127592.609 >= 1204127592.609 ok 749 # p1 723 1204127592.609 >= 1204127592.437 + 0.0838766720667081 ok 750 # p0 821 1204127592.609 >= 1204127592.609 ok 751 # p1 821 1204127592.609 >= 1204127592.437 + 0.0724313147784414 ok 752 # p0 462 1204127592.609 >= 1204127592.609 ok 753 # p1 462 1204127592.609 >= 1204127592.437 + 0.0569706196949937 ok 754 # p0 496 1204127592.609 >= 1204127592.609 ok 755 # p1 496 1204127592.609 >= 1204127592.437 + 0.0533728090185832 ok 756 # p0 86 1204127592.609 >= 1204127592.609 ok 757 # p1 86 1204127592.609 >= 1204127592.437 + 0.0225526803007661 ok 758 # t0 804 1204127592.609 + 0.02 >= 1204127592.609 ok 759 # t1 804 1204127592.609 + 0.02 >= 1204127592.437 + 0.168155776103958 ok 760 # t0 622 1204127592.609 + 0.02 >= 1204127592.609 ok 761 # t1 622 1204127592.609 + 0.02 >= 1204127592.437 + 0.164533024071716 ok 762 # t0 798 1204127592.609 + 0.02 >= 1204127592.609 ok 763 # t1 798 1204127592.609 + 0.02 >= 1204127592.437 + 0.163706144085154 ok 764 # t0 34 1204127592.609 + 0.02 >= 1204127592.609 ok 765 # t1 34 1204127592.609 + 0.02 >= 1204127592.437 + 0.163248416000215 ok 766 # t0 318 1204127592.609 + 0.02 >= 1204127592.609 ok 767 # t1 318 1204127592.609 + 0.02 >= 1204127592.437 + 0.162917664012639 ok 768 # t0 251 1204127592.609 + 0.02 >= 1204127592.609 ok 769 # t1 251 1204127592.609 + 0.02 >= 1204127592.437 + 0.161603336004191 ok 770 # t0 317 1204127592.609 + 0.02 >= 1204127592.609 ok 771 # t1 317 1204127592.609 + 0.02 >= 1204127592.437 + 0.161479304020759 ok 772 # t0 348 1204127592.609 + 0.02 >= 1204127592.609 ok 773 # t1 348 1204127592.609 + 0.02 >= 1204127592.437 + 0.160930944024585 ok 774 # t0 788 1204127592.609 + 0.02 >= 1204127592.609 ok 775 # t1 788 1204127592.609 + 0.02 >= 1204127592.437 + 0.159277184167877 ok 776 # t0 292 1204127592.609 + 0.02 >= 1204127592.609 ok 777 # t1 292 1204127592.609 + 0.02 >= 1204127592.437 + 0.15848870400805 ok 778 # t0 341 1204127592.609 + 0.02 >= 1204127592.609 ok 779 # t1 341 1204127592.609 + 0.02 >= 1204127592.437 + 0.156305416021496 ok 780 # t0 26 1204127592.609 + 0.02 >= 1204127592.609 ok 781 # t1 26 1204127592.609 + 0.02 >= 1204127592.437 + 0.154287135999994 ok 782 # t0 926 1204127592.609 + 0.02 >= 1204127592.609 ok 783 # t1 926 1204127592.609 + 0.02 >= 1204127592.437 + 0.15017193602398 ok 784 # t0 497 1204127592.609 + 0.02 >= 1204127592.609 ok 785 # t1 497 1204127592.609 + 0.02 >= 1204127592.437 + 0.146910024050158 ok 786 # t0 14 1204127592.609 + 0.02 >= 1204127592.609 ok 787 # t1 14 1204127592.609 + 0.02 >= 1204127592.437 + 0.145325855999999 ok 788 # t0 655 1204127592.609 + 0.02 >= 1204127592.609 ok 789 # t1 655 1204127592.609 + 0.02 >= 1204127592.437 + 0.145027399994433 ok 790 # t0 160 1204127592.609 + 0.02 >= 1204127592.609 ok 791 # t1 160 1204127592.609 + 0.02 >= 1204127592.437 + 0.144601600004535 ok 792 # t0 765 1204127592.609 + 0.02 >= 1204127592.609 ok 793 # t1 765 1204127592.609 + 0.02 >= 1204127592.437 + 0.144510600017384 ok 794 # t0 928 1204127592.609 + 0.02 >= 1204127592.609 ok 795 # t1 928 1204127592.609 + 0.02 >= 1204127592.437 + 0.144397824071348 ok 796 # t0 797 1204127592.609 + 0.02 >= 1204127592.609 ok 797 # t1 797 1204127592.609 + 0.02 >= 1204127592.437 + 0.144345224136487 ok 798 # t0 907 1204127592.609 + 0.02 >= 1204127592.609 ok 799 # t1 907 1204127592.609 + 0.02 >= 1204127592.437 + 0.143725064117461 ok 800 # t0 866 1204127592.609 + 0.02 >= 1204127592.609 ok 801 # t1 866 1204127592.609 + 0.02 >= 1204127592.437 + 0.142845215974376 ok 802 # t0 617 1204127592.609 + 0.02 >= 1204127592.609 ok 803 # t1 617 1204127592.609 + 0.02 >= 1204127592.437 + 0.142626504064538 ok 804 # t0 661 1204127592.609 + 0.02 >= 1204127592.609 ok 805 # t1 661 1204127592.609 + 0.02 >= 1204127592.437 + 0.142440456082113 ok 806 # t0 901 1204127592.609 + 0.02 >= 1204127592.609 ok 807 # t1 901 1204127592.609 + 0.02 >= 1204127592.437 + 0.141200136160478 ok 808 # t0 671 1204127592.609 + 0.02 >= 1204127592.609 ok 809 # t1 671 1204127592.609 + 0.02 >= 1204127592.437 + 0.14111597603187 ok 810 # t0 945 1204127592.609 + 0.02 >= 1204127592.609 ok 811 # t1 945 1204127592.609 + 0.02 >= 1204127592.437 + 0.140931400004774 ok 812 # t0 484 1204127592.609 + 0.02 >= 1204127592.609 ok 813 # t1 484 1204127592.609 + 0.02 >= 1204127592.437 + 0.140070016030222 ok 814 # t0 91 1204127592.609 + 0.02 >= 1204127592.609 ok 815 # t1 91 1204127592.609 + 0.02 >= 1204127592.437 + 0.140017416000774 ok 816 # t0 891 1204127592.609 + 0.02 >= 1204127592.609 ok 817 # t1 891 1204127592.609 + 0.02 >= 1204127592.437 + 0.139979016035795 ok 818 # t0 619 1204127592.609 + 0.02 >= 1204127592.609 ok 819 # t1 619 1204127592.609 + 0.02 >= 1204127592.437 + 0.138777096057311 ok 820 # t0 943 1204127592.609 + 0.02 >= 1204127592.609 ok 821 # t1 943 1204127592.609 + 0.02 >= 1204127592.437 + 0.13710266398266 ok 822 # t0 73 1204127592.609 + 0.02 >= 1204127592.609 ok 823 # t1 73 1204127592.609 + 0.02 >= 1204127592.437 + 0.134905544000503 ok 824 # t0 499 1204127592.609 + 0.02 >= 1204127592.609 ok 825 # t1 499 1204127592.609 + 0.02 >= 1204127592.437 + 0.134099336049985 ok 826 # t0 694 1204127592.609 + 0.02 >= 1204127592.609 ok 827 # t1 694 1204127592.609 + 0.02 >= 1204127592.437 + 0.13348969607614 ok 828 # t0 880 1204127592.609 + 0.02 >= 1204127592.609 ok 829 # t1 880 1204127592.609 + 0.02 >= 1204127592.437 + 0.132762432098389 ok 830 # t0 356 1204127592.609 + 0.02 >= 1204127592.609 ok 831 # t1 356 1204127592.609 + 0.02 >= 1204127592.437 + 0.132743296009721 ok 832 # t0 662 1204127592.609 + 0.02 >= 1204127592.609 ok 833 # t1 662 1204127592.609 + 0.02 >= 1204127592.437 + 0.132711887359619 ok 834 # t0 98 1204127592.609 + 0.02 >= 1204127592.609 ok 835 # t1 98 1204127592.609 + 0.02 >= 1204127592.437 + 0.13256049156189 ok 836 # t0 27 1204127592.609 + 0.02 >= 1204127592.609 ok 837 # t1 27 1204127592.609 + 0.02 >= 1204127592.437 + 0.132359943999973 ok 838 # t0 108 1204127592.609 + 0.02 >= 1204127592.609 ok 839 # t1 108 1204127592.609 + 0.02 >= 1204127592.437 + 0.132359981536865 ok 840 # t0 115 1204127592.609 + 0.02 >= 1204127592.609 ok 841 # t1 115 1204127592.609 + 0.02 >= 1204127592.437 + 0.132318600000872 ok 842 # t0 133 1204127592.609 + 0.02 >= 1204127592.609 ok 843 # t1 133 1204127592.609 + 0.02 >= 1204127592.437 + 0.13222861289978 ok 844 # t0 290 1204127592.609 + 0.02 >= 1204127592.609 ok 845 # t1 290 1204127592.609 + 0.02 >= 1204127592.437 + 0.131984949111938 ok 846 # t0 978 1204127592.609 + 0.02 >= 1204127592.609 ok 847 # t1 978 1204127592.609 + 0.02 >= 1204127592.437 + 0.131918624043465 ok 848 # t0 271 1204127592.609 + 0.02 >= 1204127592.609 ok 849 # t1 271 1204127592.609 + 0.02 >= 1204127592.437 + 0.131656885147095 ok 850 # t0 865 1204127592.609 + 0.02 >= 1204127592.609 ok 851 # t1 865 1204127592.609 + 0.02 >= 1204127592.437 + 0.13151741027832 ok 852 # t0 649 1204127592.609 + 0.02 >= 1204127592.609 ok 853 # t1 649 1204127592.609 + 0.02 >= 1204127592.437 + 0.131184816360474 ok 854 # t0 902 1204127592.609 + 0.02 >= 1204127592.609 ok 855 # t1 902 1204127592.609 + 0.02 >= 1204127592.437 + 0.131110944086686 ok 856 # t0 370 1204127592.609 + 0.02 >= 1204127592.609 ok 857 # t1 370 1204127592.609 + 0.02 >= 1204127592.437 + 0.131093740463257 ok 858 # t0 226 1204127592.609 + 0.02 >= 1204127592.609 ok 859 # t1 226 1204127592.609 + 0.02 >= 1204127592.437 + 0.130951404571533 ok 860 # t0 895 1204127592.609 + 0.02 >= 1204127592.609 ok 861 # t1 895 1204127592.609 + 0.02 >= 1204127592.437 + 0.130626201629639 ok 862 # t0 533 1204127592.609 + 0.02 >= 1204127592.609 ok 863 # t1 533 1204127592.609 + 0.02 >= 1204127592.437 + 0.130573034286499 ok 864 # t0 192 1204127592.609 + 0.02 >= 1204127592.609 ok 865 # t1 192 1204127592.609 + 0.02 >= 1204127592.437 + 0.130514144897461 ok 866 # t0 252 1204127592.609 + 0.02 >= 1204127592.609 ok 867 # t1 252 1204127592.609 + 0.02 >= 1204127592.437 + 0.130348682403564 ok 868 # t0 280 1204127592.609 + 0.02 >= 1204127592.609 ok 869 # t1 280 1204127592.609 + 0.02 >= 1204127592.437 + 0.130342400021618 ok 870 # t0 179 1204127592.609 + 0.02 >= 1204127592.609 ok 871 # t1 179 1204127592.609 + 0.02 >= 1204127592.437 + 0.130224943161011 ok 872 # t0 328 1204127592.609 + 0.02 >= 1204127592.609 ok 873 # t1 328 1204127592.609 + 0.02 >= 1204127592.437 + 0.130168676376343 ok 874 # t0 8 1204127592.609 + 0.02 >= 1204127592.609 ok 875 # t1 8 1204127592.609 + 0.02 >= 1204127592.437 + 0.130140066146851 ok 876 # t0 170 1204127592.609 + 0.02 >= 1204127592.609 ok 877 # t1 170 1204127592.609 + 0.02 >= 1204127592.437 + 0.130075693130493 ok 878 # t0 924 1204127592.609 + 0.02 >= 1204127592.609 ok 879 # t1 924 1204127592.609 + 0.02 >= 1204127592.437 + 0.130068302154541 ok 880 # t0 941 1204127592.609 + 0.02 >= 1204127592.609 ok 881 # t1 941 1204127592.609 + 0.02 >= 1204127592.437 + 0.130062580108643 ok 882 # t0 407 1204127592.609 + 0.02 >= 1204127592.609 ok 883 # t1 407 1204127592.609 + 0.02 >= 1204127592.437 + 0.127973064023536 ok 884 # t0 326 1204127592.609 + 0.02 >= 1204127592.609 ok 885 # t1 326 1204127592.609 + 0.02 >= 1204127592.437 + 0.125768736004829 ok 886 # p0 274 1204127592.656 >= 1204127592.609 ok 887 # p1 274 1204127592.656 >= 1204127592.437 + 0.218983596001635 ok 888 # p0 927 1204127592.656 >= 1204127592.656 ok 889 # p1 927 1204127592.656 >= 1204127592.437 + 0.218817658955231 ok 890 # p0 635 1204127592.656 >= 1204127592.656 ok 891 # p1 635 1204127592.656 >= 1204127592.437 + 0.217761475010775 ok 892 # p0 199 1204127592.656 >= 1204127592.656 ok 893 # p1 199 1204127592.656 >= 1204127592.437 + 0.216007371003798 ok 894 # p0 307 1204127592.656 >= 1204127592.656 ok 895 # p1 307 1204127592.656 >= 1204127592.437 + 0.21594097900379 ok 896 # p0 252 1204127592.656 >= 1204127592.656 ok 897 # p1 252 1204127592.656 >= 1204127592.437 + 0.213361583999358 ok 898 # p0 487 1204127592.656 >= 1204127592.656 ok 899 # p1 487 1204127592.656 >= 1204127592.437 + 0.213132299017161 ok 900 # p0 538 1204127592.656 >= 1204127592.656 ok 901 # p1 538 1204127592.656 >= 1204127592.437 + 0.209061324014328 ok 902 # p0 618 1204127592.656 >= 1204127592.656 ok 903 # p1 618 1204127592.656 >= 1204127592.437 + 0.208363404031843 ok 904 # p0 976 1204127592.656 >= 1204127592.656 ok 905 # p1 976 1204127592.656 >= 1204127592.437 + 0.208036096068099 ok 906 # p0 478 1204127592.656 >= 1204127592.656 ok 907 # p1 478 1204127592.656 >= 1204127592.437 + 0.206061164033599 ok 908 # p0 468 1204127592.656 >= 1204127592.656 ok 909 # p1 468 1204127592.656 >= 1204127592.437 + 0.205267504032236 ok 910 # p0 150 1204127592.656 >= 1204127592.656 ok 911 # p1 150 1204127592.656 >= 1204127592.437 + 0.204847500001051 ok 912 # p0 678 1204127592.656 >= 1204127592.656 ok 913 # p1 678 1204127592.656 >= 1204127592.437 + 0.204316364019178 ok 914 # p0 233 1204127592.656 >= 1204127592.656 ok 915 # p1 233 1204127592.656 >= 1204127592.437 + 0.204131819002214 ok 916 # p0 739 1204127592.656 >= 1204127592.656 ok 917 # p1 739 1204127592.656 >= 1204127592.437 + 0.203534291009419 ok 918 # p0 688 1204127592.656 >= 1204127592.656 ok 919 # p1 688 1204127592.656 >= 1204127592.437 + 0.203348224051297 ok 920 # p0 452 1204127592.656 >= 1204127592.656 ok 921 # p1 452 1204127592.656 >= 1204127592.437 + 0.201918384002056 ok 922 # p0 924 1204127592.656 >= 1204127592.656 ok 923 # p1 924 1204127592.656 >= 1204127592.437 + 0.201861296081916 ok 924 # p0 560 1204127592.656 >= 1204127592.656 ok 925 # p1 560 1204127592.656 >= 1204127592.437 + 0.201785600045696 ok 926 # p0 68 1204127592.656 >= 1204127592.656 ok 927 # p1 68 1204127592.656 >= 1204127592.437 + 0.199965104000512 ok 928 # p0 272 1204127592.656 >= 1204127592.656 ok 929 # p1 272 1204127592.656 >= 1204127592.437 + 0.199441664008191 ok 930 # p0 408 1204127592.656 >= 1204127592.656 ok 931 # p1 408 1204127592.656 >= 1204127592.437 + 0.198743744025705 ok 932 # p0 916 1204127592.656 >= 1204127592.656 ok 933 # p1 916 1204127592.656 >= 1204127592.437 + 0.198512176051736 ok 934 # p0 216 1204127592.656 >= 1204127592.656 ok 935 # p1 216 1204127592.656 >= 1204127592.437 + 0.197571775999677 ok 936 # p0 612 1204127592.656 >= 1204127592.656 ok 937 # p1 612 1204127592.656 >= 1204127592.437 + 0.197173424006905 ok 938 # p0 514 1204127592.656 >= 1204127592.656 ok 939 # p1 514 1204127592.656 >= 1204127592.437 + 0.196795116004068 ok 940 # p0 825 1204127592.656 >= 1204127592.656 ok 941 # p1 825 1204127592.656 >= 1204127592.437 + 0.196636875043623 ok 942 # p0 77 1204127592.656 >= 1204127592.656 ok 943 # p1 77 1204127592.656 >= 1204127592.437 + 0.195846259000064 ok 944 # p0 748 1204127592.656 >= 1204127592.656 ok 945 # p1 748 1204127592.656 >= 1204127592.437 + 0.195777583983727 ok 946 # p0 585 1204127592.656 >= 1204127592.656 ok 947 # p1 585 1204127592.656 >= 1204127592.437 + 0.19573047501035 ok 948 # p0 999 1204127592.656 >= 1204127592.656 ok 949 # p1 999 1204127592.656 >= 1204127592.437 + 0.194933771155775 ok 950 # p0 254 1204127592.656 >= 1204127592.656 ok 951 # p1 254 1204127592.656 >= 1204127592.437 + 0.194841836011619 ok 952 # p0 219 1204127592.656 >= 1204127592.656 ok 953 # p1 219 1204127592.656 >= 1204127592.437 + 0.193452931009233 ok 954 # p0 952 1204127592.656 >= 1204127592.656 ok 955 # p1 952 1204127592.656 >= 1204127592.437 + 0.193160383962095 ok 956 # p0 771 1204127592.656 >= 1204127592.656 ok 957 # p1 771 1204127592.656 >= 1204127592.437 + 0.19278901105281 ok 958 # p0 919 1204127592.656 >= 1204127592.656 ok 959 # p1 919 1204127592.656 >= 1204127592.437 + 0.192631531041116 ok 960 # p0 20 1204127592.656 >= 1204127592.656 ok 961 # p1 20 1204127592.656 >= 1204127592.437 + 0.190308400000049 ok 962 # p0 712 1204127592.656 >= 1204127592.656 ok 963 # p1 712 1204127592.656 >= 1204127592.437 + 0.189253824064508 ok 964 # p0 992 1204127592.656 >= 1204127592.656 ok 965 # p1 992 1204127592.656 >= 1204127592.437 + 0.189113344065845 ok 966 # p0 707 1204127592.656 >= 1204127592.656 ok 967 # p1 707 1204127592.656 >= 1204127592.437 + 0.18865857901983 ok 968 # p0 38 1204127592.656 >= 1204127592.656 ok 969 # p1 38 1204127592.656 >= 1204127592.437 + 0.187013324000191 ok 970 # p0 407 1204127592.656 >= 1204127592.656 ok 971 # p1 407 1204127592.656 >= 1204127592.437 + 0.185990379017312 ok 972 # p0 328 1204127592.656 >= 1204127592.656 ok 973 # p1 328 1204127592.656 >= 1204127592.437 + 0.185347264021402 ok 974 # p0 317 1204127592.656 >= 1204127592.656 ok 975 # p1 317 1204127592.656 >= 1204127592.437 + 0.184752019005828 ok 976 # p0 897 1204127592.656 >= 1204127592.656 ok 977 # p1 897 1204127592.656 >= 1204127592.437 + 0.184628539020196 ok 978 # p0 695 1204127592.656 >= 1204127592.656 ok 979 # p1 695 1204127592.656 >= 1204127592.437 + 0.184287275071256 ok 980 # p0 270 1204127592.656 >= 1204127592.656 ok 981 # p1 270 1204127592.656 >= 1204127592.437 + 0.183705900009954 ok 982 # p0 268 1204127592.656 >= 1204127592.656 ok 983 # p1 268 1204127592.656 >= 1204127592.437 + 0.182512323007359 ok 984 # p0 828 1204127592.656 >= 1204127592.656 ok 985 # p1 828 1204127592.656 >= 1204127592.437 + 0.180985264014453 ok 986 # p0 256 1204127592.656 >= 1204127592.656 ok 987 # p1 256 1204127592.656 >= 1204127592.437 + 0.180128256004537 ok 988 # p0 160 1204127592.656 >= 1204127592.656 ok 989 # p1 160 1204127592.656 >= 1204127592.437 + 0.179737600003136 ok 990 # p0 563 1204127592.656 >= 1204127592.656 ok 991 # p1 563 1204127592.656 >= 1204127592.437 + 0.179658099019434 ok 992 # p0 534 1204127592.656 >= 1204127592.656 ok 993 # p1 534 1204127592.656 >= 1204127592.437 + 0.179514980773092 ok 994 # p0 383 1204127592.656 >= 1204127592.656 ok 995 # p1 383 1204127592.656 >= 1204127592.437 + 0.175707982712993 ok 996 # p0 855 1204127592.656 >= 1204127592.656 ok 997 # p1 855 1204127592.656 >= 1204127592.437 + 0.17549527506344 ok 998 # p0 41 1204127592.656 >= 1204127592.656 ok 999 # p1 41 1204127592.656 >= 1204127592.437 + 0.174771051000334 ok 1000 # p0 260 1204127592.656 >= 1204127592.656 ok 1001 # p1 260 1204127592.656 >= 1204127592.437 + 0.172252075005417 ok 1002 # p0 638 1204127592.656 >= 1204127592.656 ok 1003 # p1 638 1204127592.656 >= 1204127592.437 + 0.169714106814354 ok 1004 # p0 209 1204127592.656 >= 1204127592.656 ok 1005 # p1 209 1204127592.656 >= 1204127592.437 + 0.166975116692356 ok 1006 # p0 384 1204127592.656 >= 1204127592.656 ok 1007 # p1 384 1204127592.656 >= 1204127592.437 + 0.164994112003114 ok 1008 # p0 970 1204127592.656 >= 1204127592.656 ok 1009 # p1 970 1204127592.656 >= 1204127592.437 + 0.162492268762435 ok 1010 # p0 675 1204127592.656 >= 1204127592.656 ok 1011 # p1 675 1204127592.656 >= 1204127592.437 + 0.157421992276795 ok 1012 # p0 104 1204127592.656 >= 1204127592.656 ok 1013 # p1 104 1204127592.656 >= 1204127592.437 + 0.155060332000403 ok 1014 # p0 530 1204127592.656 >= 1204127592.656 ok 1015 # p1 530 1204127592.656 >= 1204127592.437 + 0.153078518760594 ok 1016 # p0 753 1204127592.656 >= 1204127592.656 ok 1017 # p1 753 1204127592.656 >= 1204127592.437 + 0.150278872715717 ok 1018 # p0 467 1204127592.656 >= 1204127592.656 ok 1019 # p1 467 1204127592.656 >= 1204127592.437 + 0.143885470180976 ok 1020 # p0 308 1204127592.656 >= 1204127592.656 ok 1021 # p1 308 1204127592.656 >= 1204127592.437 + 0.141886403001081 ok 1022 # p0 400 1204127592.656 >= 1204127592.656 ok 1023 # p1 400 1204127592.656 >= 1204127592.437 + 0.139261874997487 ok 1024 # p0 700 1204127592.656 >= 1204127592.656 ok 1025 # p1 700 1204127592.656 >= 1204127592.437 + 0.135776875060401 ok 1026 # p0 561 1204127592.656 >= 1204127592.656 ok 1027 # p1 561 1204127592.656 >= 1204127592.437 + 0.124320677777632 ok 1028 # p0 969 1204127592.656 >= 1204127592.656 ok 1029 # p1 969 1204127592.656 >= 1204127592.437 + 0.119002445493607 ok 1030 # p0 48 1204127592.656 >= 1204127592.656 ok 1031 # p1 48 1204127592.656 >= 1204127592.437 + 0.108574121000052 ok 1032 # p0 599 1204127592.656 >= 1204127592.656 ok 1033 # p1 599 1204127592.656 >= 1204127592.437 + 0.0926951368321625 ok 1034 # p0 462 1204127592.656 >= 1204127592.656 ok 1035 # p1 462 1204127592.656 >= 1204127592.437 + 0.0605312834259308 ok 1036 # t0 587 1204127592.656 + 0.02 >= 1204127592.656 ok 1037 # t1 587 1204127592.656 + 0.02 >= 1204127592.437 + 0.218290184042417 ok 1038 # t0 277 1204127592.656 + 0.02 >= 1204127592.656 ok 1039 # t1 277 1204127592.656 + 0.02 >= 1204127592.437 + 0.217895944020711 ok 1040 # t0 312 1204127592.656 + 0.02 >= 1204127592.656 ok 1041 # t1 312 1204127592.656 + 0.02 >= 1204127592.437 + 0.217347584024537 ok 1042 # t0 717 1204127592.656 + 0.02 >= 1204127592.656 ok 1043 # t1 717 1204127592.656 + 0.02 >= 1204127592.437 + 0.216448904015124 ok 1044 # t0 975 1204127592.656 + 0.02 >= 1204127592.656 ok 1045 # t1 975 1204127592.656 + 0.02 >= 1204127592.437 + 0.216285000089556 ok 1046 # t0 845 1204127592.656 + 0.02 >= 1204127592.656 ok 1047 # t1 845 1204127592.656 + 0.02 >= 1204127592.437 + 0.215787400025874 ok 1048 # t0 190 1204127592.656 + 0.02 >= 1204127592.656 ok 1049 # t1 190 1204127592.656 + 0.02 >= 1204127592.437 + 0.215629600003012 ok 1050 # t0 248 1204127592.656 + 0.02 >= 1204127592.656 ok 1051 # t1 248 1204127592.656 + 0.02 >= 1204127592.437 + 0.214905344008002 ok 1052 # t0 65 1204127592.656 + 0.02 >= 1204127592.656 ok 1053 # t1 65 1204127592.656 + 0.02 >= 1204127592.437 + 0.214294600000358 ok 1054 # t0 219 1204127592.656 + 0.02 >= 1204127592.656 ok 1055 # t1 219 1204127592.656 + 0.02 >= 1204127592.437 + 0.214149896011804 ok 1056 # t0 473 1204127592.656 + 0.02 >= 1204127592.656 ok 1057 # t1 473 1204127592.656 + 0.02 >= 1204127592.437 + 0.212287944043055 ok 1058 # t0 88 1204127592.656 + 0.02 >= 1204127592.656 ok 1059 # t1 88 1204127592.656 + 0.02 >= 1204127592.437 + 0.21124198400139 ok 1060 # t0 478 1204127592.656 + 0.02 >= 1204127592.656 ok 1061 # t1 478 1204127592.656 + 0.02 >= 1204127592.437 + 0.207310624013189 ok 1062 # t0 960 1204127592.656 + 0.02 >= 1204127592.656 ok 1063 # t1 960 1204127592.656 + 0.02 >= 1204127592.437 + 0.205657600192353 ok 1064 # t0 418 1204127592.656 + 0.02 >= 1204127592.656 ok 1065 # t1 418 1204127592.656 + 0.02 >= 1204127592.437 + 0.203647264046595 ok 1066 # t0 431 1204127592.656 + 0.02 >= 1204127592.656 ok 1067 # t1 431 1204127592.656 + 0.02 >= 1204127592.437 + 0.20345069601899 ok 1068 # t0 224 1204127592.656 + 0.02 >= 1204127592.656 ok 1069 # t1 224 1204127592.656 + 0.02 >= 1204127592.437 + 0.203419135999866 ok 1070 # t0 563 1204127592.656 + 0.02 >= 1204127592.656 ok 1071 # t1 563 1204127592.656 + 0.02 >= 1204127592.437 + 0.203016584040597 ok 1072 # t0 118 1204127592.656 + 0.02 >= 1204127592.656 ok 1073 # t1 118 1204127592.656 + 0.02 >= 1204127592.437 + 0.201618464001513 ok 1074 # t0 999 1204127592.656 + 0.02 >= 1204127592.656 ok 1075 # t1 999 1204127592.656 + 0.02 >= 1204127592.437 + 0.200763336149976 ok 1076 # t0 734 1204127592.656 + 0.02 >= 1204127592.656 ok 1077 # t1 734 1204127592.656 + 0.02 >= 1204127592.437 + 0.199882016051561 ok 1078 # t0 441 1204127592.656 + 0.02 >= 1204127592.656 ok 1079 # t1 441 1204127592.656 + 0.02 >= 1204127592.437 + 0.199580616026651 ok 1080 # t0 725 1204127592.656 + 0.02 >= 1204127592.656 ok 1081 # t1 725 1204127592.656 + 0.02 >= 1204127592.437 + 0.198485000059009 ok 1082 # t0 837 1204127592.656 + 0.02 >= 1204127592.656 ok 1083 # t1 837 1204127592.656 + 0.02 >= 1204127592.437 + 0.197906184010208 ok 1084 # t0 466 1204127592.656 + 0.02 >= 1204127592.656 ok 1085 # t1 466 1204127592.656 + 0.02 >= 1204127592.437 + 0.195824416005053 ok 1086 # t0 222 1204127592.656 + 0.02 >= 1204127592.656 ok 1087 # t1 222 1204127592.656 + 0.02 >= 1204127592.437 + 0.195099424003274 ok 1088 # t0 790 1204127592.656 + 0.02 >= 1204127592.656 ok 1089 # t1 790 1204127592.656 + 0.02 >= 1204127592.437 + 0.193197600077838 ok 1090 # t0 81 1204127592.656 + 0.02 >= 1204127592.656 ok 1091 # t1 81 1204127592.656 + 0.02 >= 1204127592.437 + 0.19123949599998 ok 1092 # t0 345 1204127592.656 + 0.02 >= 1204127592.656 ok 1093 # t1 345 1204127592.656 + 0.02 >= 1204127592.437 + 0.19086740000057 ok 1094 # t0 141 1204127592.656 + 0.02 >= 1204127592.656 ok 1095 # t1 141 1204127592.656 + 0.02 >= 1204127592.437 + 0.189915016002487 ok 1096 # t0 427 1204127592.656 + 0.02 >= 1204127592.656 ok 1097 # t1 427 1204127592.656 + 0.02 >= 1204127592.437 + 0.189377544040326 ok 1098 # t0 550 1204127592.656 + 0.02 >= 1204127592.656 ok 1099 # t1 550 1204127592.656 + 0.02 >= 1204127592.437 + 0.18914000003133 ok 1100 # t0 804 1204127592.656 + 0.02 >= 1204127592.656 ok 1101 # t1 804 1204127592.656 + 0.02 >= 1204127592.437 + 0.182509660720825 ok 1102 # t0 34 1204127592.656 + 0.02 >= 1204127592.656 ok 1103 # t1 34 1204127592.656 + 0.02 >= 1204127592.437 + 0.182203054428101 ok 1104 # t0 317 1204127592.656 + 0.02 >= 1204127592.656 ok 1105 # t1 317 1204127592.656 + 0.02 >= 1204127592.437 + 0.182092428207397 ok 1106 # t0 292 1204127592.656 + 0.02 >= 1204127592.656 ok 1107 # t1 292 1204127592.656 + 0.02 >= 1204127592.437 + 0.181905508041382 ok 1108 # t0 926 1204127592.656 + 0.02 >= 1204127592.656 ok 1109 # t1 926 1204127592.656 + 0.02 >= 1204127592.437 + 0.18138575553894 ok 1110 # t0 46 1204127592.656 + 0.02 >= 1204127592.656 ok 1111 # t1 46 1204127592.656 + 0.02 >= 1204127592.437 + 0.181170976000431 ok 1112 # t0 655 1204127592.656 + 0.02 >= 1204127592.656 ok 1113 # t1 655 1204127592.656 + 0.02 >= 1204127592.437 + 0.181064128875732 ok 1114 # t0 928 1204127592.656 + 0.02 >= 1204127592.656 ok 1115 # t1 928 1204127592.656 + 0.02 >= 1204127592.437 + 0.181024789810181 ok 1116 # t0 866 1204127592.656 + 0.02 >= 1204127592.656 ok 1117 # t1 866 1204127592.656 + 0.02 >= 1204127592.437 + 0.180927753448486 ok 1118 # t0 901 1204127592.656 + 0.02 >= 1204127592.656 ok 1119 # t1 901 1204127592.656 + 0.02 >= 1204127592.437 + 0.180824995040894 ok 1120 # t0 484 1204127592.656 + 0.02 >= 1204127592.656 ok 1121 # t1 484 1204127592.656 + 0.02 >= 1204127592.437 + 0.180754423141479 ok 1122 # t0 619 1204127592.656 + 0.02 >= 1204127592.656 ok 1123 # t1 619 1204127592.656 + 0.02 >= 1204127592.437 + 0.180673599243164 ok 1124 # t0 499 1204127592.656 + 0.02 >= 1204127592.656 ok 1125 # t1 499 1204127592.656 + 0.02 >= 1204127592.437 + 0.180381059646606 ok 1126 # t0 356 1204127592.656 + 0.02 >= 1204127592.656 ok 1127 # t1 356 1204127592.656 + 0.02 >= 1204127592.437 + 0.180296421051025 ok 1128 # t0 27 1204127592.656 + 0.02 >= 1204127592.656 ok 1129 # t1 27 1204127592.656 + 0.02 >= 1204127592.437 + 0.180272340774536 ok 1130 # t0 133 1204127592.656 + 0.02 >= 1204127592.656 ok 1131 # t1 133 1204127592.656 + 0.02 >= 1204127592.437 + 0.180264234542847 ok 1132 # t0 300 1204127592.656 + 0.02 >= 1204127592.656 ok 1133 # t1 300 1204127592.656 + 0.02 >= 1204127592.437 + 0.180240000016056 ok 1134 # t0 271 1204127592.656 + 0.02 >= 1204127592.656 ok 1135 # t1 271 1204127592.656 + 0.02 >= 1204127592.437 + 0.180228471755981 ok 1136 # t0 902 1204127592.656 + 0.02 >= 1204127592.656 ok 1137 # t1 902 1204127592.656 + 0.02 >= 1204127592.437 + 0.18019437789917 ok 1138 # t0 895 1204127592.656 + 0.02 >= 1204127592.656 ok 1139 # t1 895 1204127592.656 + 0.02 >= 1204127592.437 + 0.180164098739624 ok 1140 # t0 252 1204127592.656 + 0.02 >= 1204127592.656 ok 1141 # t1 252 1204127592.656 + 0.02 >= 1204127592.437 + 0.18014669418335 ok 1142 # t0 328 1204127592.656 + 0.02 >= 1204127592.656 ok 1143 # t1 328 1204127592.656 + 0.02 >= 1204127592.437 + 0.180135488510132 ok 1144 # t0 924 1204127592.656 + 0.02 >= 1204127592.656 ok 1145 # t1 924 1204127592.656 + 0.02 >= 1204127592.437 + 0.180129289627075 ok 1146 # t0 614 1204127592.656 + 0.02 >= 1204127592.656 ok 1147 # t1 614 1204127592.656 + 0.02 >= 1204127592.437 + 0.179930655984208 ok 1148 # t0 326 1204127592.656 + 0.02 >= 1204127592.656 ok 1149 # t1 326 1204127592.656 + 0.02 >= 1204127592.437 + 0.179860591888428 ok 1150 # t0 578 1204127592.656 + 0.02 >= 1204127592.656 ok 1151 # t1 578 1204127592.656 + 0.02 >= 1204127592.437 + 0.178792224032804 ok 1152 # t0 842 1204127592.656 + 0.02 >= 1204127592.656 ok 1153 # t1 842 1204127592.656 + 0.02 >= 1204127592.437 + 0.177551903994754 ok 1154 # t0 125 1204127592.656 + 0.02 >= 1204127592.656 ok 1155 # t1 125 1204127592.656 + 0.02 >= 1204127592.437 + 0.177125000001979 ok 1156 # t0 301 1204127592.656 + 0.02 >= 1204127592.656 ok 1157 # t1 301 1204127592.656 + 0.02 >= 1204127592.437 + 0.176876936020562 ok 1158 # t0 101 1204127592.656 + 0.02 >= 1204127592.656 ok 1159 # t1 101 1204127592.656 + 0.02 >= 1204127592.437 + 0.175862536001659 ok 1160 # t0 105 1204127592.656 + 0.02 >= 1204127592.656 ok 1161 # t1 105 1204127592.656 + 0.02 >= 1204127592.437 + 0.174579400001676 ok 1162 # t0 669 1204127592.656 + 0.02 >= 1204127592.656 ok 1163 # t1 669 1204127592.656 + 0.02 >= 1204127592.437 + 0.174415496061556 ok 1164 # t0 247 1204127592.656 + 0.02 >= 1204127592.656 ok 1165 # t1 247 1204127592.656 + 0.02 >= 1204127592.437 + 0.174414024004363 ok 1166 # t0 20 1204127592.656 + 0.02 >= 1204127592.656 ok 1167 # t1 20 1204127592.656 + 0.02 >= 1204127592.437 + 0.174134400000071 ok 1168 # t0 893 1204127592.656 + 0.02 >= 1204127592.656 ok 1169 # t1 893 1204127592.656 + 0.02 >= 1204127592.437 + 0.173257864080369 ok 1170 # t0 548 1204127592.656 + 0.02 >= 1204127592.656 ok 1171 # t1 548 1204127592.656 + 0.02 >= 1204127592.437 + 0.173142144049052 ok 1172 # t0 840 1204127592.656 + 0.02 >= 1204127592.656 ok 1173 # t1 840 1204127592.656 + 0.02 >= 1204127592.437 + 0.173081600107253 ok 1174 # t0 990 1204127592.656 + 0.02 >= 1204127592.656 ok 1175 # t1 990 1204127592.656 + 0.02 >= 1204127592.437 + 0.172813600162044 ok 1176 # p0 177 1204127592.718 >= 1204127592.656 ok 1177 # p1 177 1204127592.718 >= 1204127592.437 + 0.280429659003858 ok 1178 # p0 375 1204127592.718 >= 1204127592.718 ok 1179 # p1 375 1204127592.718 >= 1204127592.437 + 0.280296875018394 ok 1180 # p0 839 1204127592.718 >= 1204127592.718 ok 1181 # p1 839 1204127592.718 >= 1204127592.437 + 0.280198091058992 ok 1182 # p0 600 1204127592.718 >= 1204127592.718 ok 1183 # p1 600 1204127592.718 >= 1204127592.437 + 0.27756000001682 ok 1184 # p0 196 1204127592.718 >= 1204127592.718 ok 1185 # p1 196 1204127592.718 >= 1204127592.437 + 0.277218736002396 ok 1186 # p0 946 1204127592.718 >= 1204127592.718 ok 1187 # p1 946 1204127592.718 >= 1204127592.437 + 0.275080236140639 ok 1188 # p0 746 1204127592.718 >= 1204127592.718 ok 1189 # p1 746 1204127592.718 >= 1204127592.437 + 0.27417383599095 ok 1190 # p0 24 1204127592.718 >= 1204127592.718 ok 1191 # p1 24 1204127592.718 >= 1204127592.437 + 0.274044096000011 ok 1192 # p0 278 1204127592.718 >= 1204127592.718 ok 1193 # p1 278 1204127592.718 >= 1204127592.437 + 0.269485964003252 ok 1194 # p0 726 1204127592.718 >= 1204127592.718 ok 1195 # p1 726 1204127592.718 >= 1204127592.437 + 0.267475596047007 ok 1196 # p0 932 1204127592.718 >= 1204127592.718 ok 1197 # p1 932 1204127592.718 >= 1204127592.437 + 0.266109104035422 ok 1198 # p0 767 1204127592.718 >= 1204127592.718 ok 1199 # p1 767 1204127592.718 >= 1204127592.437 + 0.265845819027163 ok 1200 # p0 584 1204127592.718 >= 1204127592.718 ok 1201 # p1 584 1204127592.718 >= 1204127592.437 + 0.264554176013917 ok 1202 # p0 542 1204127592.718 >= 1204127592.718 ok 1203 # p1 542 1204127592.718 >= 1204127592.437 + 0.264392044045962 ok 1204 # p0 878 1204127592.718 >= 1204127592.718 ok 1205 # p1 878 1204127592.718 >= 1204127592.437 + 0.264251564163715 ok 1206 # p0 63 1204127592.718 >= 1204127592.718 ok 1207 # p1 63 1204127592.718 >= 1204127592.437 + 0.26333509899996 ok 1208 # p0 967 1204127592.718 >= 1204127592.718 ok 1209 # p1 967 1204127592.718 >= 1204127592.437 + 0.263228619005531 ok 1210 # p0 376 1204127592.718 >= 1204127592.718 ok 1211 # p1 376 1204127592.718 >= 1204127592.437 + 0.262600896006916 ok 1212 # p0 248 1204127592.718 >= 1204127592.718 ok 1213 # p1 248 1204127592.718 >= 1204127592.437 + 0.261819584004115 ok 1214 # p0 182 1204127592.718 >= 1204127592.718 ok 1215 # p1 182 1204127592.718 >= 1204127592.437 + 0.259438604000025 ok 1216 # p0 830 1204127592.718 >= 1204127592.718 ok 1217 # p1 830 1204127592.718 >= 1204127592.437 + 0.258641900029033 ok 1218 # p0 110 1204127592.718 >= 1204127592.718 ok 1219 # p1 110 1204127592.718 >= 1204127592.437 + 0.256829100002506 ok 1220 # p0 908 1204127592.718 >= 1204127592.718 ok 1221 # p1 908 1204127592.718 >= 1204127592.437 + 0.256061743944883 ok 1222 # p0 574 1204127592.718 >= 1204127592.718 ok 1223 # p1 574 1204127592.718 >= 1204127592.437 + 0.255125996016432 ok 1224 # p0 43 1204127592.718 >= 1204127592.718 ok 1225 # p1 43 1204127592.718 >= 1204127592.437 + 0.2547005790002 ok 1226 # p0 624 1204127592.718 >= 1204127592.718 ok 1227 # p1 624 1204127592.718 >= 1204127592.437 + 0.253808896057308 ok 1228 # p0 565 1204127592.718 >= 1204127592.718 ok 1229 # p1 565 1204127592.718 >= 1204127592.437 + 0.252997475035954 ok 1230 # p0 652 1204127592.718 >= 1204127592.718 ok 1231 # p1 652 1204127592.718 >= 1204127592.437 + 0.252155184047297 ok 1232 # p0 945 1204127592.718 >= 1204127592.718 ok 1233 # p1 945 1204127592.718 >= 1204127592.437 + 0.250397274969146 ok 1234 # p0 170 1204127592.718 >= 1204127592.718 ok 1235 # p1 170 1204127592.718 >= 1204127592.437 + 0.249781900005473 ok 1236 # p0 661 1204127592.718 >= 1204127592.718 ok 1237 # p1 661 1204127592.718 >= 1204127592.437 + 0.249341091024689 ok 1238 # p0 327 1204127592.718 >= 1204127592.718 ok 1239 # p1 327 1204127592.718 >= 1204127592.437 + 0.248717259004479 ok 1240 # p0 465 1204127592.718 >= 1204127592.718 ok 1241 # p1 465 1204127592.718 >= 1204127592.437 + 0.248584475019015 ok 1242 # p0 510 1204127592.718 >= 1204127592.718 ok 1243 # p1 510 1204127592.718 >= 1204127592.437 + 0.24803710001288 ok 1244 # p0 653 1204127592.718 >= 1204127592.718 ok 1245 # p1 653 1204127592.718 >= 1204127592.437 + 0.248036339064129 ok 1246 # p0 660 1204127592.718 >= 1204127592.718 ok 1247 # p1 660 1204127592.718 >= 1204127592.437 + 0.245847600046545 ok 1248 # p0 850 1204127592.718 >= 1204127592.718 ok 1249 # p1 850 1204127592.718 >= 1204127592.437 + 0.244547500042245 ok 1250 # p0 276 1204127592.718 >= 1204127592.718 ok 1251 # p1 276 1204127592.718 >= 1204127592.437 + 0.24233169600484 ok 1252 # p0 713 1204127592.718 >= 1204127592.718 ok 1253 # p1 713 1204127592.718 >= 1204127592.437 + 0.242227499024011 ok 1254 # p0 981 1204127592.718 >= 1204127592.718 ok 1255 # p1 981 1204127592.718 >= 1204127592.437 + 0.238455330953002 ok 1256 # p0 111 1204127592.718 >= 1204127592.718 ok 1257 # p1 111 1204127592.718 >= 1204127592.437 + 0.236974490999273 ok 1258 # p0 250 1204127592.718 >= 1204127592.718 ok 1259 # p1 250 1204127592.718 >= 1204127592.437 + 0.235687500011409 ok 1260 # p0 689 1204127592.718 >= 1204127592.718 ok 1261 # p1 689 1204127592.718 >= 1204127592.437 + 0.233484891010448 ok 1262 # p0 437 1204127592.718 >= 1204127592.718 ok 1263 # p1 437 1204127592.718 >= 1204127592.437 + 0.232512099028099 ok 1264 # p0 366 1204127592.718 >= 1204127592.718 ok 1265 # p1 366 1204127592.718 >= 1204127592.437 + 0.23238007602049 ok 1266 # p0 635 1204127592.718 >= 1204127592.718 ok 1267 # p1 635 1204127592.718 >= 1204127592.437 + 0.231371567198948 ok 1268 # p0 101 1204127592.718 >= 1204127592.718 ok 1269 # p1 101 1204127592.718 >= 1204127592.437 + 0.228339971001333 ok 1270 # p0 911 1204127592.718 >= 1204127592.718 ok 1271 # p1 911 1204127592.718 >= 1204127592.437 + 0.227344091050327 ok 1272 # p0 422 1204127592.718 >= 1204127592.718 ok 1273 # p1 422 1204127592.718 >= 1204127592.437 + 0.227202764013782 ok 1274 # p0 252 1204127592.718 >= 1204127592.718 ok 1275 # p1 252 1204127592.718 >= 1204127592.437 + 0.226696682999318 ok 1276 # p0 601 1204127592.718 >= 1204127592.718 ok 1277 # p1 601 1204127592.718 >= 1204127592.437 + 0.223960971052293 ok 1278 # p0 151 1204127592.718 >= 1204127592.718 ok 1279 # p1 151 1204127592.718 >= 1204127592.437 + 0.22305457100083 ok 1280 # p0 625 1204127592.718 >= 1204127592.718 ok 1281 # p1 625 1204127592.718 >= 1204127592.437 + 0.223046874976717 ok 1282 # p0 310 1204127592.718 >= 1204127592.718 ok 1283 # p1 310 1204127592.718 >= 1204127592.437 + 0.221593099995516 ok 1284 # p0 618 1204127592.718 >= 1204127592.718 ok 1285 # p1 618 1204127592.718 >= 1204127592.437 + 0.221386116783833 ok 1286 # p0 807 1204127592.718 >= 1204127592.718 ok 1287 # p1 807 1204127592.718 >= 1204127592.437 + 0.220387979061343 ok 1288 # p0 606 1204127592.718 >= 1204127592.718 ok 1289 # p1 606 1204127592.718 >= 1204127592.437 + 0.220238956040703 ok 1290 # p0 293 1204127592.718 >= 1204127592.718 ok 1291 # p1 293 1204127592.718 >= 1204127592.437 + 0.219464579000487 ok 1292 # p0 729 1204127592.718 >= 1204127592.718 ok 1293 # p1 729 1204127592.718 >= 1204127592.437 + 0.219216010998935 ok 1294 # p0 468 1204127592.718 >= 1204127592.718 ok 1295 # p1 468 1204127592.718 >= 1204127592.437 + 0.21809672303425 ok 1296 # p0 233 1204127592.718 >= 1204127592.718 ok 1297 # p1 233 1204127592.718 >= 1204127592.437 + 0.216890057689852 ok 1298 # p0 452 1204127592.718 >= 1204127592.718 ok 1299 # p1 452 1204127592.718 >= 1204127592.437 + 0.214538283002184 ok 1300 # p0 68 1204127592.718 >= 1204127592.718 ok 1301 # p1 68 1204127592.718 >= 1204127592.437 + 0.212462923000544 ok 1302 # p0 916 1204127592.718 >= 1204127592.718 ok 1303 # p1 916 1204127592.718 >= 1204127592.437 + 0.210919187054969 ok 1304 # p0 514 1204127592.718 >= 1204127592.718 ok 1305 # p1 514 1204127592.718 >= 1204127592.437 + 0.209094810754323 ok 1306 # p0 748 1204127592.718 >= 1204127592.718 ok 1307 # p1 748 1204127592.718 >= 1204127592.437 + 0.20801368298271 ok 1308 # p0 254 1204127592.718 >= 1204127592.718 ok 1309 # p1 254 1204127592.718 >= 1204127592.437 + 0.207019450762346 ok 1310 # p0 771 1204127592.718 >= 1204127592.718 ok 1311 # p1 771 1204127592.718 >= 1204127592.437 + 0.20483832424361 ok 1312 # p0 712 1204127592.718 >= 1204127592.718 ok 1313 # p1 712 1204127592.718 >= 1204127592.437 + 0.20108218806854 ok 1314 # p0 38 1204127592.718 >= 1204127592.718 ok 1315 # p1 38 1204127592.718 >= 1204127592.437 + 0.198701656750202 ok 1316 # p0 317 1204127592.718 >= 1204127592.718 ok 1317 # p1 317 1204127592.718 >= 1204127592.437 + 0.196299020193692 ok 1318 # p0 270 1204127592.718 >= 1204127592.718 ok 1319 # p1 270 1204127592.718 >= 1204127592.437 + 0.195187518760576 ok 1320 # p0 256 1204127592.718 >= 1204127592.718 ok 1321 # p1 256 1204127592.718 >= 1204127592.437 + 0.19138627200482 ok 1322 # p0 534 1204127592.718 >= 1204127592.718 ok 1323 # p1 534 1204127592.718 >= 1204127592.437 + 0.190734667071411 ok 1324 # p0 41 1204127592.718 >= 1204127592.718 ok 1325 # p1 41 1204127592.718 >= 1204127592.437 + 0.185694241687855 ok 1326 # p0 209 1204127592.718 >= 1204127592.718 ok 1327 # p1 209 1204127592.718 >= 1204127592.437 + 0.177411061485628 ok 1328 # p0 675 1204127592.718 >= 1204127592.718 ok 1329 # p1 675 1204127592.718 >= 1204127592.437 + 0.167260866794095 ok 1330 # p0 753 1204127592.718 >= 1204127592.718 ok 1331 # p1 753 1204127592.718 >= 1204127592.437 + 0.159671302260449 ok 1332 # p0 400 1204127592.718 >= 1204127592.718 ok 1333 # p1 400 1204127592.718 >= 1204127592.437 + 0.14796574218483 ok 1334 # p0 969 1204127592.718 >= 1204127592.718 ok 1335 # p1 969 1204127592.718 >= 1204127592.437 + 0.126440098336957 ok 1336 # p0 462 1204127592.718 >= 1204127592.718 ok 1337 # p1 462 1204127592.718 >= 1204127592.437 + 0.0643144886400515 ok 1338 # t0 283 1204127592.718 + 0.02 >= 1204127592.718 ok 1339 # t1 283 1204127592.718 + 0.02 >= 1204127592.437 + 0.280624904000433 ok 1340 # t0 569 1204127592.718 + 0.02 >= 1204127592.718 ok 1341 # t1 569 1204127592.718 + 0.02 >= 1204127592.437 + 0.279818696086295 ok 1342 # t0 86 1204127592.718 + 0.02 >= 1204127592.718 ok 1343 # t1 86 1204127592.718 + 0.02 >= 1204127592.437 + 0.279745056001047 ok 1344 # t0 482 1204127592.718 + 0.02 >= 1204127592.718 ok 1345 # t1 482 1204127592.718 + 0.02 >= 1204127592.437 + 0.279000864014961 ok 1346 # t0 993 1204127592.718 + 0.02 >= 1204127592.718 ok 1347 # t1 993 1204127592.718 + 0.02 >= 1204127592.437 + 0.27762746415101 ok 1348 # t0 185 1204127592.718 + 0.02 >= 1204127592.718 ok 1349 # t1 185 1204127592.718 + 0.02 >= 1204127592.437 + 0.274374600005103 ok 1350 # t0 383 1204127592.718 + 0.02 >= 1204127592.718 ok 1351 # t1 383 1204127592.718 + 0.02 >= 1204127592.437 + 0.27400250401115 ok 1352 # t0 284 1204127592.718 + 0.02 >= 1204127592.718 ok 1353 # t1 284 1204127592.718 + 0.02 >= 1204127592.437 + 0.272460416017566 ok 1354 # t0 16 1204127592.718 + 0.02 >= 1204127592.718 ok 1355 # t1 16 1204127592.718 + 0.02 >= 1204127592.437 + 0.271446016000027 ok 1356 # t0 806 1204127592.718 + 0.02 >= 1204127592.718 ok 1357 # t1 806 1204127592.718 + 0.02 >= 1204127592.437 + 0.269937696168199 ok 1358 # t0 120 1204127592.718 + 0.02 >= 1204127592.718 ok 1359 # t1 120 1204127592.718 + 0.02 >= 1204127592.437 + 0.268838400003006 ok 1360 # t0 164 1204127592.718 + 0.02 >= 1204127592.718 ok 1361 # t1 164 1204127592.718 + 0.02 >= 1204127592.437 + 0.268797056000039 ok 1362 # t0 41 1204127592.718 + 0.02 >= 1204127592.718 ok 1363 # t1 41 1204127592.718 + 0.02 >= 1204127592.437 + 0.266799816000002 ok 1364 # t0 422 1204127592.718 + 0.02 >= 1204127592.718 ok 1365 # t1 422 1204127592.718 + 0.02 >= 1204127592.437 + 0.266376223997213 ok 1366 # t0 751 1204127592.718 + 0.02 >= 1204127592.718 ok 1367 # t1 751 1204127592.718 + 0.02 >= 1204127592.437 + 0.264939336106181 ok 1368 # t0 811 1204127592.718 + 0.02 >= 1204127592.718 ok 1369 # t1 811 1204127592.718 + 0.02 >= 1204127592.437 + 0.264629255980253 ok 1370 # t0 872 1204127592.718 + 0.02 >= 1204127592.718 ok 1371 # t1 872 1204127592.718 + 0.02 >= 1204127592.437 + 0.26252902415581 ok 1372 # t0 273 1204127592.718 + 0.02 >= 1204127592.718 ok 1373 # t1 273 1204127592.718 + 0.02 >= 1204127592.437 + 0.260156744014239 ok 1374 # t0 295 1204127592.718 + 0.02 >= 1204127592.718 ok 1375 # t1 295 1204127592.718 + 0.02 >= 1204127592.437 + 0.260115400014911 ok 1376 # t0 462 1204127592.718 + 0.02 >= 1204127592.718 ok 1377 # t1 462 1204127592.718 + 0.02 >= 1204127592.437 + 0.259857184020802 ok 1378 # t0 708 1204127592.718 + 0.02 >= 1204127592.718 ok 1379 # t1 708 1204127592.718 + 0.02 >= 1204127592.437 + 0.258264704025351 ok 1380 # t0 45 1204127592.718 + 0.02 >= 1204127592.718 ok 1381 # t1 45 1204127592.718 + 0.02 >= 1204127592.437 + 0.256555400000252 ok 1382 # t0 329 1204127592.718 + 0.02 >= 1204127592.718 ok 1383 # t1 329 1204127592.718 + 0.02 >= 1204127592.437 + 0.256203976023244 ok 1384 # t0 808 1204127592.718 + 0.02 >= 1204127592.718 ok 1385 # t1 808 1204127592.718 + 0.02 >= 1204127592.437 + 0.255202304106206 ok 1386 # t0 896 1204127592.718 + 0.02 >= 1204127592.718 ok 1387 # t1 896 1204127592.718 + 0.02 >= 1204127592.437 + 0.254706175997853 ok 1388 # t0 429 1204127592.718 + 0.02 >= 1204127592.718 ok 1389 # t1 429 1204127592.718 + 0.02 >= 1204127592.437 + 0.254672776034568 ok 1390 # t0 393 1204127592.718 + 0.02 >= 1204127592.718 ok 1391 # t1 393 1204127592.718 + 0.02 >= 1204127592.437 + 0.25220986403292 ok 1392 # t0 459 1204127592.718 + 0.02 >= 1204127592.718 ok 1393 # t1 459 1204127592.718 + 0.02 >= 1204127592.437 + 0.252023816050496 ok 1394 # t0 227 1204127592.718 + 0.02 >= 1204127592.718 ok 1395 # t1 227 1204127592.718 + 0.02 >= 1204127592.437 + 0.247428744012723 ok 1396 # t0 653 1204127592.718 + 0.02 >= 1204127592.718 ok 1397 # t1 653 1204127592.718 + 0.02 >= 1204127592.437 + 0.246188424061984 ok 1398 # t0 909 1204127592.718 + 0.02 >= 1204127592.718 ok 1399 # t1 909 1204127592.718 + 0.02 >= 1204127592.437 + 0.244865416083485 ok 1400 # t0 74 1204127592.718 + 0.02 >= 1204127592.718 ok 1401 # t1 74 1204127592.718 + 0.02 >= 1204127592.437 + 0.243899936000162 ok 1402 # t0 778 1204127592.718 + 0.02 >= 1204127592.718 ok 1403 # t1 778 1204127592.718 + 0.02 >= 1204127592.437 + 0.241915424121544 ok 1404 # t0 364 1204127592.718 + 0.02 >= 1204127592.718 ok 1405 # t1 364 1204127592.718 + 0.02 >= 1204127592.437 + 0.240278656012379 ok 1406 # t0 648 1204127592.718 + 0.02 >= 1204127592.718 ok 1407 # t1 648 1204127592.718 + 0.02 >= 1204127592.437 + 0.239327743998729 ok 1408 # t0 355 1204127592.718 + 0.02 >= 1204127592.718 ok 1409 # t1 355 1204127592.718 + 0.02 >= 1204127592.437 + 0.238219400023809 ok 1410 # t0 270 1204127592.718 + 0.02 >= 1204127592.718 ok 1411 # t1 270 1204127592.718 + 0.02 >= 1204127592.437 + 0.235994400005438 ok 1412 # t0 103 1204127592.718 + 0.02 >= 1204127592.718 ok 1413 # t1 103 1204127592.718 + 0.02 >= 1204127592.437 + 0.233479624002939 ok 1414 # t0 323 1204127592.718 + 0.02 >= 1204127592.718 ok 1415 # t1 323 1204127592.718 + 0.02 >= 1204127592.437 + 0.23316954402253 ok 1416 # t0 312 1204127592.718 + 0.02 >= 1204127592.718 ok 1417 # t1 312 1204127592.718 + 0.02 >= 1204127592.437 + 0.232583999633789 ok 1418 # t0 845 1204127592.718 + 0.02 >= 1204127592.718 ok 1419 # t1 845 1204127592.718 + 0.02 >= 1204127592.437 + 0.232486486434937 ok 1420 # t0 65 1204127592.718 + 0.02 >= 1204127592.718 ok 1421 # t1 65 1204127592.718 + 0.02 >= 1204127592.437 + 0.232393264770508 ok 1422 # t0 88 1204127592.718 + 0.02 >= 1204127592.718 ok 1423 # t1 88 1204127592.718 + 0.02 >= 1204127592.437 + 0.232202529907227 ok 1424 # t0 343 1204127592.718 + 0.02 >= 1204127592.718 ok 1425 # t1 343 1204127592.718 + 0.02 >= 1204127592.437 + 0.231845064001391 ok 1426 # t0 84 1204127592.718 + 0.02 >= 1204127592.718 ok 1427 # t1 84 1204127592.718 + 0.02 >= 1204127592.437 + 0.231730815999981 ok 1428 # t0 418 1204127592.718 + 0.02 >= 1204127592.718 ok 1429 # t1 418 1204127592.718 + 0.02 >= 1204127592.437 + 0.231727838516235 ok 1430 # t0 563 1204127592.718 + 0.02 >= 1204127592.718 ok 1431 # t1 563 1204127592.718 + 0.02 >= 1204127592.437 + 0.231688499450684 ok 1432 # t0 734 1204127592.718 + 0.02 >= 1204127592.718 ok 1433 # t1 734 1204127592.718 + 0.02 >= 1204127592.437 + 0.231492519378662 ok 1434 # t0 837 1204127592.718 + 0.02 >= 1204127592.718 ok 1435 # t1 837 1204127592.718 + 0.02 >= 1204127592.437 + 0.231369018554688 ok 1436 # t0 790 1204127592.718 + 0.02 >= 1204127592.718 ok 1437 # t1 790 1204127592.718 + 0.02 >= 1204127592.437 + 0.231074810028076 ok 1438 # t0 141 1204127592.718 + 0.02 >= 1204127592.718 ok 1439 # t1 141 1204127592.718 + 0.02 >= 1204127592.437 + 0.23086953163147 ok 1440 # t0 651 1204127592.718 + 0.02 >= 1204127592.718 ok 1441 # t1 651 1204127592.718 + 0.02 >= 1204127592.437 + 0.230832136003301 ok 1442 # t0 193 1204127592.718 + 0.02 >= 1204127592.718 ok 1443 # t1 193 1204127592.718 + 0.02 >= 1204127592.437 + 0.230830664004316 ok 1444 # t0 335 1204127592.718 + 0.02 >= 1204127592.718 ok 1445 # t1 335 1204127592.718 + 0.02 >= 1204127592.437 + 0.230582600022899 ok 1446 # t0 804 1204127592.718 + 0.02 >= 1204127592.718 ok 1447 # t1 804 1204127592.718 + 0.02 >= 1204127592.437 + 0.230406761169434 ok 1448 # t0 292 1204127592.718 + 0.02 >= 1204127592.718 ok 1449 # t1 292 1204127592.718 + 0.02 >= 1204127592.437 + 0.230368852615356 ok 1450 # t0 655 1204127592.718 + 0.02 >= 1204127592.718 ok 1451 # t1 655 1204127592.718 + 0.02 >= 1204127592.437 + 0.230316400527954 ok 1452 # t0 901 1204127592.718 + 0.02 >= 1204127592.718 ok 1453 # t1 901 1204127592.718 + 0.02 >= 1204127592.437 + 0.230301380157471 ok 1454 # t0 499 1204127592.718 + 0.02 >= 1204127592.718 ok 1455 # t1 499 1204127592.718 + 0.02 >= 1204127592.437 + 0.230273723602295 ok 1456 # t0 133 1204127592.718 + 0.02 >= 1204127592.718 ok 1457 # t1 133 1204127592.718 + 0.02 >= 1204127592.437 + 0.230266332626343 ok 1458 # t0 902 1204127592.718 + 0.02 >= 1204127592.718 ok 1459 # t1 902 1204127592.718 + 0.02 >= 1204127592.437 + 0.230262041091919 ok 1460 # t0 328 1204127592.718 + 0.02 >= 1204127592.718 ok 1461 # t1 328 1204127592.718 + 0.02 >= 1204127592.437 + 0.230258226394653 ok 1462 # t0 326 1204127592.718 + 0.02 >= 1204127592.718 ok 1463 # t1 326 1204127592.718 + 0.02 >= 1204127592.437 + 0.230241060256958 ok 1464 # t0 125 1204127592.718 + 0.02 >= 1204127592.718 ok 1465 # t1 125 1204127592.718 + 0.02 >= 1204127592.437 + 0.230070114135742 ok 1466 # t0 105 1204127592.718 + 0.02 >= 1204127592.718 ok 1467 # t1 105 1204127592.718 + 0.02 >= 1204127592.437 + 0.229911088943481 ok 1468 # t0 20 1204127592.718 + 0.02 >= 1204127592.718 ok 1469 # t1 20 1204127592.718 + 0.02 >= 1204127592.437 + 0.229883193969727 ok 1470 # t0 840 1204127592.718 + 0.02 >= 1204127592.718 ok 1471 # t1 840 1204127592.718 + 0.02 >= 1204127592.437 + 0.229817390441895 ok 1472 # t0 911 1204127592.718 + 0.02 >= 1204127592.718 ok 1473 # t1 911 1204127592.718 + 0.02 >= 1204127592.437 + 0.229488456156105 ok 1474 # t0 397 1204127592.718 + 0.02 >= 1204127592.718 ok 1475 # t1 397 1204127592.718 + 0.02 >= 1204127592.437 + 0.22787162399618 ok 1476 # t0 165 1204127592.718 + 0.02 >= 1204127592.718 ok 1477 # t1 165 1204127592.718 + 0.02 >= 1204127592.437 + 0.227022600003693 ok 1478 # t0 681 1204127592.718 + 0.02 >= 1204127592.718 ok 1479 # t1 681 1204127592.718 + 0.02 >= 1204127592.437 + 0.226858696085401 ok 1480 # t0 188 1204127592.718 + 0.02 >= 1204127592.718 ok 1481 # t1 188 1204127592.718 + 0.02 >= 1204127592.437 + 0.226515584006847 ok 1482 # t0 472 1204127592.718 + 0.02 >= 1204127592.718 ok 1483 # t1 472 1204127592.718 + 0.02 >= 1204127592.437 + 0.225895424024202 ok 1484 # t0 881 1204127592.718 + 0.02 >= 1204127592.718 ok 1485 # t1 881 1204127592.718 + 0.02 >= 1204127592.437 + 0.225825096014887 ok 1486 # t0 132 1204127592.718 + 0.02 >= 1204127592.718 ok 1487 # t1 132 1204127592.718 + 0.02 >= 1204127592.437 + 0.225294464002218 ok 1488 # t0 334 1204127592.718 + 0.02 >= 1204127592.718 ok 1489 # t1 334 1204127592.718 + 0.02 >= 1204127592.437 + 0.224342816014541 ok 1490 # t0 262 1204127592.718 + 0.02 >= 1204127592.718 ok 1491 # t1 262 1204127592.718 + 0.02 >= 1204127592.437 + 0.22320438400493 ok 1492 # t0 306 1204127592.718 + 0.02 >= 1204127592.718 ok 1493 # t1 306 1204127592.718 + 0.02 >= 1204127592.437 + 0.223121696006274 ok 1494 # t0 742 1204127592.718 + 0.02 >= 1204127592.718 ok 1495 # t1 742 1204127592.718 + 0.02 >= 1204127592.437 + 0.22032950411085 ok 1496 # t0 122 1204127592.718 + 0.02 >= 1204127592.718 ok 1497 # t1 122 1204127592.718 + 0.02 >= 1204127592.437 + 0.219541024001956 ok 1498 # t0 161 1204127592.718 + 0.02 >= 1204127592.718 ok 1499 # t1 161 1204127592.718 + 0.02 >= 1204127592.437 + 0.219344456003455 ok 1500 # t0 962 1204127592.718 + 0.02 >= 1204127592.718 ok 1501 # t1 962 1204127592.718 + 0.02 >= 1204127592.437 + 0.219089184189215 ok 1502 # t0 406 1204127592.718 + 0.02 >= 1204127592.718 ok 1503 # t1 406 1204127592.718 + 0.02 >= 1204127592.437 + 0.219044896017294 ok 1504 # p0 297 1204127592.781 >= 1204127592.718 ok 1505 # p1 297 1204127592.781 >= 1204127592.437 + 0.342284139012918 ok 1506 # p0 564 1204127592.781 >= 1204127592.781 ok 1507 # p1 564 1204127592.781 >= 1204127592.437 + 0.340852016001008 ok 1508 # p0 121 1204127592.781 >= 1204127592.781 ok 1509 # p1 121 1204127592.781 >= 1204127592.437 + 0.340763210999285 ok 1510 # p0 832 1204127592.781 >= 1204127592.781 ok 1511 # p1 832 1204127592.781 >= 1204127592.437 + 0.34010470402427 ok 1512 # p0 42 1204127592.781 >= 1204127592.781 ok 1513 # p1 42 1204127592.781 >= 1204127592.437 + 0.339260044000184 ok 1514 # p0 45 1204127592.781 >= 1204127592.781 ok 1515 # p1 45 1204127592.781 >= 1204127592.437 + 0.338436275000277 ok 1516 # p0 710 1204127592.781 >= 1204127592.781 ok 1517 # p1 710 1204127592.781 >= 1204127592.437 + 0.336161100072786 ok 1518 # p0 282 1204127592.781 >= 1204127592.781 ok 1519 # p1 282 1204127592.781 >= 1204127592.437 + 0.335213004000252 ok 1520 # p0 416 1204127592.781 >= 1204127592.781 ok 1521 # p1 416 1204127592.781 >= 1204127592.437 + 0.335026176006068 ok 1522 # p0 546 1204127592.781 >= 1204127592.781 ok 1523 # p1 546 1204127592.781 >= 1204127592.437 + 0.33494743600022 ok 1524 # p0 355 1204127592.781 >= 1204127592.781 ok 1525 # p1 355 1204127592.781 >= 1204127592.437 + 0.334040275018197 ok 1526 # p0 630 1204127592.781 >= 1204127592.781 ok 1527 # p1 630 1204127592.781 >= 1204127592.437 + 0.333509900025092 ok 1528 # p0 567 1204127592.781 >= 1204127592.781 ok 1529 # p1 567 1204127592.781 >= 1204127592.437 + 0.33014301903313 ok 1530 # p0 719 1204127592.781 >= 1204127592.781 ok 1531 # p1 719 1204127592.781 >= 1204127592.437 + 0.330051931086928 ok 1532 # p0 62 1204127592.781 >= 1204127592.781 ok 1533 # p1 62 1204127592.781 >= 1204127592.437 + 0.328863724000257 ok 1534 # p0 883 1204127592.781 >= 1204127592.781 ok 1535 # p1 883 1204127592.781 >= 1204127592.437 + 0.328415218973532 ok 1536 # p0 165 1204127592.781 >= 1204127592.781 ok 1537 # p1 165 1204127592.781 >= 1204127592.437 + 0.327865475002909 ok 1538 # p0 244 1204127592.781 >= 1204127592.781 ok 1539 # p1 244 1204127592.781 >= 1204127592.437 + 0.325502256004256 ok 1540 # p0 140 1204127592.781 >= 1204127592.781 ok 1541 # p1 140 1204127592.781 >= 1204127592.437 + 0.325111600002856 ok 1542 # p0 229 1204127592.781 >= 1204127592.781 ok 1543 # p1 229 1204127592.781 >= 1204127592.437 + 0.324907011003233 ok 1544 # p0 349 1204127592.781 >= 1204127592.781 ok 1545 # p1 349 1204127592.781 >= 1204127592.437 + 0.324383571016369 ok 1546 # p0 615 1204127592.781 >= 1204127592.781 ok 1547 # p1 615 1204127592.781 >= 1204127592.437 + 0.323486475041136 ok 1548 # p0 903 1204127592.781 >= 1204127592.781 ok 1549 # p1 903 1204127592.781 >= 1204127592.437 + 0.322955338982865 ok 1550 # p0 644 1204127592.781 >= 1204127592.781 ok 1551 # p1 644 1204127592.781 >= 1204127592.437 + 0.319361455971375 ok 1552 # p0 683 1204127592.781 >= 1204127592.781 ok 1553 # p1 683 1204127592.781 >= 1204127592.437 + 0.316938019008376 ok 1554 # p0 271 1204127592.781 >= 1204127592.781 ok 1555 # p1 271 1204127592.781 >= 1204127592.437 + 0.316098011011491 ok 1556 # p0 124 1204127592.781 >= 1204127592.781 ok 1557 # p1 124 1204127592.781 >= 1204127592.437 + 0.315454896001029 ok 1558 # p0 91 1204127592.781 >= 1204127592.781 ok 1559 # p1 91 1204127592.781 >= 1204127592.437 + 0.314859651000006 ok 1560 # p0 415 1204127592.781 >= 1204127592.781 ok 1561 # p1 415 1204127592.781 >= 1204127592.437 + 0.314660475007258 ok 1562 # p0 506 1204127592.781 >= 1204127592.781 ok 1563 # p1 506 1204127592.781 >= 1204127592.437 + 0.314503756002523 ok 1564 # p0 871 1204127592.781 >= 1204127592.781 ok 1565 # p1 871 1204127592.781 >= 1204127592.437 + 0.314387211110443 ok 1566 # p0 312 1204127592.781 >= 1204127592.781 ok 1567 # p1 312 1204127592.781 >= 1204127592.437 + 0.313452224014327 ok 1568 # p0 255 1204127592.781 >= 1204127592.781 ok 1569 # p1 255 1204127592.781 >= 1204127592.437 + 0.31200927500322 ok 1570 # p0 669 1204127592.781 >= 1204127592.781 ok 1571 # p1 669 1204127592.781 >= 1204127592.437 + 0.311544531024992 ok 1572 # p0 330 1204127592.781 >= 1204127592.781 ok 1573 # p1 330 1204127592.781 >= 1204127592.437 + 0.311461900011636 ok 1574 # p0 849 1204127592.781 >= 1204127592.781 ok 1575 # p1 849 1204127592.781 >= 1204127592.437 + 0.311212571104988 ok 1576 # p0 425 1204127592.781 >= 1204127592.781 ok 1577 # p1 425 1204127592.781 >= 1204127592.437 + 0.311136875010561 ok 1578 # p0 587 1204127592.781 >= 1204127592.781 ok 1579 # p1 587 1204127592.781 >= 1204127592.437 + 0.310937699046917 ok 1580 # p0 183 1204127592.781 >= 1204127592.781 ok 1581 # p1 183 1204127592.781 >= 1204127592.437 + 0.308095019005123 ok 1582 # p0 645 1204127592.781 >= 1204127592.781 ok 1583 # p1 645 1204127592.781 >= 1204127592.437 + 0.307630275026895 ok 1584 # p0 866 1204127592.781 >= 1204127592.781 ok 1585 # p1 866 1204127592.781 >= 1204127592.437 + 0.307316076010466 ok 1586 # p0 935 1204127592.781 >= 1204127592.781 ok 1587 # p1 935 1204127592.781 >= 1204127592.437 + 0.305902475025505 ok 1588 # p0 137 1204127592.781 >= 1204127592.781 ok 1589 # p1 137 1204127592.781 >= 1204127592.437 + 0.304745899000409 ok 1590 # p0 877 1204127592.781 >= 1204127592.781 ok 1591 # p1 877 1204127592.781 >= 1204127592.437 + 0.304273459129035 ok 1592 # p0 488 1204127592.781 >= 1204127592.781 ok 1593 # p1 488 1204127592.781 >= 1204127592.437 + 0.302009024017025 ok 1594 # p0 344 1204127592.781 >= 1204127592.781 ok 1595 # p1 344 1204127592.781 >= 1204127592.437 + 0.300837056012824 ok 1596 # p0 280 1204127592.781 >= 1204127592.781 ok 1597 # p1 280 1204127592.781 >= 1204127592.437 + 0.300446400011424 ok 1598 # p0 668 1204127592.781 >= 1204127592.781 ok 1599 # p1 668 1204127592.781 >= 1204127592.437 + 0.300438704085536 ok 1600 # p0 458 1204127592.781 >= 1204127592.781 ok 1601 # p1 458 1204127592.781 >= 1204127592.437 + 0.299628044012934 ok 1602 # p0 811 1204127592.781 >= 1204127592.781 ok 1603 # p1 811 1204127592.781 >= 1204127592.437 + 0.299577891011722 ok 1604 # p0 375 1204127592.781 >= 1204127592.781 ok 1605 # p1 375 1204127592.781 >= 1204127592.437 + 0.297815429707043 ok 1606 # p0 698 1204127592.781 >= 1204127592.781 ok 1607 # p1 698 1204127592.781 >= 1204127592.437 + 0.297534284065478 ok 1608 # p0 982 1204127592.781 >= 1204127592.781 ok 1609 # p1 982 1204127592.781 >= 1204127592.437 + 0.297393803950399 ok 1610 # p0 356 1204127592.781 >= 1204127592.781 ok 1611 # p1 356 1204127592.781 >= 1204127592.437 + 0.297313456016127 ok 1612 # p0 997 1204127592.781 >= 1204127592.781 ok 1613 # p1 997 1204127592.781 >= 1204127592.437 + 0.29565593902953 ok 1614 # p0 196 1204127592.781 >= 1204127592.781 ok 1615 # p1 196 1204127592.781 >= 1204127592.437 + 0.294544907002546 ok 1616 # p0 129 1204127592.781 >= 1204127592.781 ok 1617 # p1 129 1204127592.781 >= 1204127592.437 + 0.292305211001803 ok 1618 # p0 267 1204127592.781 >= 1204127592.781 ok 1619 # p1 267 1204127592.781 >= 1204127592.437 + 0.292238819005433 ok 1620 # p0 246 1204127592.781 >= 1204127592.781 ok 1621 # p1 246 1204127592.781 >= 1204127592.437 + 0.291757836006582 ok 1622 # p0 24 1204127592.781 >= 1204127592.781 ok 1623 # p1 24 1204127592.781 >= 1204127592.437 + 0.291171852000012 ok 1624 # p0 449 1204127592.781 >= 1204127592.781 ok 1625 # p1 449 1204127592.781 >= 1204127592.437 + 0.290909370989539 ok 1626 # p0 259 1204127592.781 >= 1204127592.781 ok 1627 # p1 259 1204127592.781 >= 1204127592.437 + 0.290194451008574 ok 1628 # p0 955 1204127592.781 >= 1204127592.781 ok 1629 # p1 955 1204127592.781 >= 1204127592.437 + 0.290046275127679 ok 1630 # p0 132 1204127592.781 >= 1204127592.781 ok 1631 # p1 132 1204127592.781 >= 1204127592.437 + 0.289833904000261 ok 1632 # p0 214 1204127592.781 >= 1204127592.781 ok 1633 # p1 214 1204127592.781 >= 1204127592.437 + 0.288408716005506 ok 1634 # p0 485 1204127592.781 >= 1204127592.781 ok 1635 # p1 485 1204127592.781 >= 1204127592.437 + 0.288233475002926 ok 1636 # p0 171 1204127592.781 >= 1204127592.781 ok 1637 # p1 171 1204127592.781 >= 1204127592.437 + 0.28701981100312 ok 1638 # p0 52 1204127592.781 >= 1204127592.781 ok 1639 # p1 52 1204127592.781 >= 1204127592.437 + 0.286484784000095 ok 1640 # p0 263 1204127592.781 >= 1204127592.781 ok 1641 # p1 263 1204127592.781 >= 1204127592.437 + 0.283604299009312 ok 1642 # p0 749 1204127592.781 >= 1204127592.781 ok 1643 # p1 749 1204127592.781 >= 1204127592.437 + 0.283006771001965 ok 1644 # p0 932 1204127592.781 >= 1204127592.781 ok 1645 # p1 932 1204127592.781 >= 1204127592.437 + 0.282740923037636 ok 1646 # p0 542 1204127592.781 >= 1204127592.781 ok 1647 # p1 542 1204127592.781 >= 1204127592.437 + 0.280916546798835 ok 1648 # p0 967 1204127592.781 >= 1204127592.781 ok 1649 # p1 967 1204127592.781 >= 1204127592.437 + 0.279680407693377 ok 1650 # p0 182 1204127592.781 >= 1204127592.781 ok 1651 # p1 182 1204127592.781 >= 1204127592.437 + 0.275653516750026 ok 1652 # p0 908 1204127592.781 >= 1204127592.781 ok 1653 # p1 908 1204127592.781 >= 1204127592.437 + 0.272065602941439 ok 1654 # p0 624 1204127592.781 >= 1204127592.781 ok 1655 # p1 624 1204127592.781 >= 1204127592.437 + 0.269671952060889 ok 1656 # p0 945 1204127592.781 >= 1204127592.781 ok 1657 # p1 945 1204127592.781 >= 1204127592.437 + 0.266047104654717 ok 1658 # p0 327 1204127592.781 >= 1204127592.781 ok 1659 # p1 327 1204127592.781 >= 1204127592.437 + 0.264262087692259 ok 1660 # p0 653 1204127592.781 >= 1204127592.781 ok 1661 # p1 653 1204127592.781 >= 1204127592.437 + 0.263538610255637 ok 1662 # p0 276 1204127592.781 >= 1204127592.781 ok 1663 # p1 276 1204127592.781 >= 1204127592.437 + 0.257477427005142 ok 1664 # p0 111 1204127592.781 >= 1204127592.781 ok 1665 # p1 111 1204127592.781 >= 1204127592.437 + 0.251785396686728 ok 1666 # p0 437 1204127592.781 >= 1204127592.781 ok 1667 # p1 437 1204127592.781 >= 1204127592.437 + 0.247044105217356 ok 1668 # p0 101 1204127592.781 >= 1204127592.781 ok 1669 # p1 101 1204127592.781 >= 1204127592.437 + 0.242611219188916 ok 1670 # p0 252 1204127592.781 >= 1204127592.781 ok 1671 # p1 252 1204127592.781 >= 1204127592.437 + 0.240865225686775 ok 1672 # p0 625 1204127592.781 >= 1204127592.781 ok 1673 # p1 625 1204127592.781 >= 1204127592.437 + 0.236987304662762 ok 1674 # p0 807 1204127592.781 >= 1204127592.781 ok 1675 # p1 807 1204127592.781 >= 1204127592.437 + 0.234162227752677 ok 1676 # p0 729 1204127592.781 >= 1204127592.781 ok 1677 # p1 729 1204127592.781 >= 1204127592.437 + 0.232917011686368 ok 1678 # p0 452 1204127592.781 >= 1204127592.781 ok 1679 # p1 452 1204127592.781 >= 1204127592.437 + 0.227946925689821 ok 1680 # p0 514 1204127592.781 >= 1204127592.781 ok 1681 # p1 514 1204127592.781 >= 1204127592.437 + 0.222163236426468 ok 1682 # p0 771 1204127592.781 >= 1204127592.781 ok 1683 # p1 771 1204127592.781 >= 1204127592.437 + 0.217640719508836 ok 1684 # p0 317 1204127592.781 >= 1204127592.781 ok 1685 # p1 317 1204127592.781 >= 1204127592.437 + 0.208567708955798 ok 1686 # p0 534 1204127592.781 >= 1204127592.781 ok 1687 # p1 534 1204127592.781 >= 1204127592.437 + 0.202655583763374 ok 1688 # p0 675 1204127592.781 >= 1204127592.781 ok 1689 # p1 675 1204127592.781 >= 1204127592.437 + 0.177714670968726 ok 1690 # p0 969 1204127592.781 >= 1204127592.781 ok 1691 # p1 969 1204127592.781 >= 1204127592.437 + 0.134342604483017 ok 1692 # t0 620 1204127592.781 + 0.02 >= 1204127592.781 ok 1693 # t1 620 1204127592.781 + 0.02 >= 1204127592.437 + 0.343158400035463 ok 1694 # t0 64 1204127592.781 + 0.02 >= 1204127592.781 ok 1695 # t1 64 1204127592.781 + 0.02 >= 1204127592.437 + 0.343136256000435 ok 1696 # t0 997 1204127592.781 + 0.02 >= 1204127592.781 ok 1697 # t1 997 1204127592.781 + 0.02 >= 1204127592.437 + 0.342902024043724 ok 1698 # t0 504 1204127592.781 + 0.02 >= 1204127592.781 ok 1699 # t1 504 1204127592.781 + 0.02 >= 1204127592.437 + 0.342309376050252 ok 1700 # t0 677 1204127592.781 + 0.02 >= 1204127592.781 ok 1701 # t1 677 1204127592.781 + 0.02 >= 1204127592.437 + 0.342113544000313 ok 1702 # t0 743 1204127592.781 + 0.02 >= 1204127592.781 ok 1703 # t1 743 1204127592.781 + 0.02 >= 1204127592.437 + 0.341803464107215 ok 1704 # t0 819 1204127592.781 + 0.02 >= 1204127592.781 ok 1705 # t1 819 1204127592.781 + 0.02 >= 1204127592.437 + 0.341410696040839 ok 1706 # t0 885 1204127592.781 + 0.02 >= 1204127592.781 ok 1707 # t1 885 1204127592.781 + 0.02 >= 1204127592.437 + 0.34103860007599 ok 1708 # t0 308 1204127592.781 + 0.02 >= 1204127592.781 ok 1709 # t1 308 1204127592.781 + 0.02 >= 1204127592.437 + 0.337714304012479 ok 1710 # t0 716 1204127592.781 + 0.02 >= 1204127592.781 ok 1711 # t1 716 1204127592.781 + 0.02 >= 1204127592.437 + 0.337612416013144 ok 1712 # t0 1000 1204127592.781 + 0.02 >= 1204127592.781 ok 1713 # t1 1000 1204127592.781 + 0.02 >= 1204127592.437 + 0.33600000012666 ok 1714 # t0 310 1204127592.781 + 0.02 >= 1204127592.781 ok 1715 # t1 310 1204127592.781 + 0.02 >= 1204127592.437 + 0.335789600008866 ok 1716 # t0 358 1204127592.781 + 0.02 >= 1204127592.781 ok 1717 # t1 358 1204127592.781 + 0.02 >= 1204127592.437 + 0.334403104003286 ok 1718 # t0 878 1204127592.781 + 0.02 >= 1204127592.781 ok 1719 # t1 878 1204127592.781 + 0.02 >= 1204127592.437 + 0.33355702413246 ok 1720 # t0 606 1204127592.781 + 0.02 >= 1204127592.781 ok 1721 # t1 606 1204127592.781 + 0.02 >= 1204127592.437 + 0.331051296088845 ok 1722 # t0 890 1204127592.781 + 0.02 >= 1204127592.781 ok 1723 # t1 890 1204127592.781 + 0.02 >= 1204127592.437 + 0.329645600169897 ok 1724 # t0 71 1204127592.781 + 0.02 >= 1204127592.781 ok 1725 # t1 71 1204127592.781 + 0.02 >= 1204127592.437 + 0.329528776001098 ok 1726 # t0 21 1204127592.781 + 0.02 >= 1204127592.781 ok 1727 # t1 21 1204127592.781 + 0.02 >= 1204127592.437 + 0.326983175999999 ok 1728 # t0 263 1204127592.781 + 0.02 >= 1204127592.781 ok 1729 # t1 263 1204127592.781 + 0.02 >= 1204127592.437 + 0.326755784000852 ok 1730 # t0 56 1204127592.781 + 0.02 >= 1204127592.781 ok 1731 # t1 56 1204127592.781 + 0.02 >= 1204127592.437 + 0.325213695999992 ok 1732 # t0 340 1204127592.781 + 0.02 >= 1204127592.781 ok 1733 # t1 340 1204127592.781 + 0.02 >= 1204127592.437 + 0.324841599998763 ok 1734 # t0 759 1204127592.781 + 0.02 >= 1204127592.781 ok 1735 # t1 759 1204127592.781 + 0.02 >= 1204127592.437 + 0.323798216064461 ok 1736 # t0 803 1204127592.781 + 0.02 >= 1204127592.781 ok 1737 # t1 803 1204127592.781 + 0.02 >= 1204127592.437 + 0.323570823995396 ok 1738 # t0 201 1204127592.781 + 0.02 >= 1204127592.781 ok 1739 # t1 201 1204127592.781 + 0.02 >= 1204127592.437 + 0.323009736006497 ok 1740 # t0 509 1204127592.781 + 0.02 >= 1204127592.781 ok 1741 # t1 509 1204127592.781 + 0.02 >= 1204127592.437 + 0.322286216018256 ok 1742 # t0 142 1204127592.781 + 0.02 >= 1204127592.781 ok 1743 # t1 142 1204127592.781 + 0.02 >= 1204127592.437 + 0.318115104004391 ok 1744 # t0 403 1204127592.781 + 0.02 >= 1204127592.781 ok 1745 # t1 403 1204127592.781 + 0.02 >= 1204127592.437 + 0.31748442404205 ok 1746 # t0 211 1204127592.781 + 0.02 >= 1204127592.781 ok 1747 # t1 211 1204127592.781 + 0.02 >= 1204127592.437 + 0.316594055999303 ok 1748 # t0 733 1204127592.781 + 0.02 >= 1204127592.781 ok 1749 # t1 733 1204127592.781 + 0.02 >= 1204127592.437 + 0.316244104062207 ok 1750 # t0 829 1204127592.781 + 0.02 >= 1204127592.781 ok 1751 # t1 829 1204127592.781 + 0.02 >= 1204127592.437 + 0.31574797607027 ok 1752 # t0 436 1204127592.781 + 0.02 >= 1204127592.781 ok 1753 # t1 436 1204127592.781 + 0.02 >= 1204127592.437 + 0.315632256038953 ok 1754 # t0 726 1204127592.781 + 0.02 >= 1204127592.781 ok 1755 # t1 726 1204127592.781 + 0.02 >= 1204127592.437 + 0.315157536068 ok 1756 # t0 779 1204127592.781 + 0.02 >= 1204127592.781 ok 1757 # t1 779 1204127592.781 + 0.02 >= 1204127592.437 + 0.314733576029539 ok 1758 # t0 783 1204127592.781 + 0.02 >= 1204127592.781 ok 1759 # t1 783 1204127592.781 + 0.02 >= 1204127592.437 + 0.314712904160842 ok 1760 # t0 700 1204127592.781 + 0.02 >= 1204127592.781 ok 1761 # t1 700 1204127592.781 + 0.02 >= 1204127592.437 + 0.314639999996871 ok 1762 # t0 640 1204127592.781 + 0.02 >= 1204127592.781 ok 1763 # t1 640 1204127592.781 + 0.02 >= 1204127592.437 + 0.313625600072555 ok 1764 # t0 135 1204127592.781 + 0.02 >= 1204127592.781 ok 1765 # t1 135 1204127592.781 + 0.02 >= 1204127592.437 + 0.30899860000136 ok 1766 # t0 575 1204127592.781 + 0.02 >= 1204127592.781 ok 1767 # t1 575 1204127592.781 + 0.02 >= 1204127592.437 + 0.307965000043623 ok 1768 # t0 42 1204127592.781 + 0.02 >= 1204127592.781 ok 1769 # t1 42 1204127592.781 + 0.02 >= 1204127592.437 + 0.307932703999995 ok 1770 # t0 526 1204127592.781 + 0.02 >= 1204127592.781 ok 1771 # t1 526 1204127592.781 + 0.02 >= 1204127592.437 + 0.307023136003409 ok 1772 # t0 94 1204127592.781 + 0.02 >= 1204127592.781 ok 1773 # t1 94 1204127592.781 + 0.02 >= 1204127592.437 + 0.306628896001712 ok 1774 # t0 987 1204127592.781 + 0.02 >= 1204127592.781 ok 1775 # t1 987 1204127592.781 + 0.02 >= 1204127592.437 + 0.30583578418009 ok 1776 # t0 95 1204127592.781 + 0.02 >= 1204127592.781 ok 1777 # t1 95 1204127592.781 + 0.02 >= 1204127592.437 + 0.303907400000753 ok 1778 # t0 521 1204127592.781 + 0.02 >= 1204127592.781 ok 1779 # t1 521 1204127592.781 + 0.02 >= 1204127592.437 + 0.303039176040329 ok 1780 # t0 480 1204127592.781 + 0.02 >= 1204127592.781 ok 1781 # t1 480 1204127592.781 + 0.02 >= 1204127592.437 + 0.301414400048088 ok 1782 # t0 112 1204127592.781 + 0.02 >= 1204127592.781 ok 1783 # t1 112 1204127592.781 + 0.02 >= 1204127592.437 + 0.300854783999966 ok 1784 # t0 656 1204127592.781 + 0.02 >= 1204127592.781 ok 1785 # t1 656 1204127592.781 + 0.02 >= 1204127592.437 + 0.300752896000631 ok 1786 # t0 680 1204127592.781 + 0.02 >= 1204127592.781 ok 1787 # t1 680 1204127592.781 + 0.02 >= 1204127592.437 + 0.299366399995051 ok 1788 # t0 111 1204127592.781 + 0.02 >= 1204127592.781 ok 1789 # t1 111 1204127592.781 + 0.02 >= 1204127592.437 + 0.298774856000819 ok 1790 # t0 569 1204127592.781 + 0.02 >= 1204127592.781 ok 1791 # t1 569 1204127592.781 + 0.02 >= 1204127592.437 + 0.298488616943359 ok 1792 # t0 993 1204127592.781 + 0.02 >= 1204127592.781 ok 1793 # t1 993 1204127592.781 + 0.02 >= 1204127592.437 + 0.298351526260376 ok 1794 # t0 395 1204127592.781 + 0.02 >= 1204127592.781 ok 1795 # t1 395 1204127592.781 + 0.02 >= 1204127592.437 + 0.298299400019459 ok 1796 # t0 676 1204127592.781 + 0.02 >= 1204127592.781 ok 1797 # t1 676 1204127592.781 + 0.02 >= 1204127592.437 + 0.29810393601656 ok 1798 # t0 284 1204127592.781 + 0.02 >= 1204127592.781 ok 1799 # t1 284 1204127592.781 + 0.02 >= 1204127592.437 + 0.298028707504272 ok 1800 # t0 120 1204127592.781 + 0.02 >= 1204127592.781 ok 1801 # t1 120 1204127592.781 + 0.02 >= 1204127592.437 + 0.297802209854126 ok 1802 # t0 422 1204127592.781 + 0.02 >= 1204127592.781 ok 1803 # t1 422 1204127592.781 + 0.02 >= 1204127592.437 + 0.297648429870605 ok 1804 # t0 872 1204127592.781 + 0.02 >= 1204127592.781 ok 1805 # t1 872 1204127592.781 + 0.02 >= 1204127592.437 + 0.297407865524292 ok 1806 # t0 275 1204127592.781 + 0.02 >= 1204127592.781 ok 1807 # t1 275 1204127592.781 + 0.02 >= 1204127592.437 + 0.297285000007832 ok 1808 # t0 462 1204127592.781 + 0.02 >= 1204127592.781 ok 1809 # t1 462 1204127592.781 + 0.02 >= 1204127592.437 + 0.297240972518921 ok 1810 # t0 329 1204127592.781 + 0.02 >= 1204127592.781 ok 1811 # t1 329 1204127592.781 + 0.02 >= 1204127592.437 + 0.297012567520142 ok 1812 # t0 429 1204127592.781 + 0.02 >= 1204127592.781 ok 1813 # t1 429 1204127592.781 + 0.02 >= 1204127592.437 + 0.296916961669922 ok 1814 # t0 227 1204127592.781 + 0.02 >= 1204127592.781 ok 1815 # t1 227 1204127592.781 + 0.02 >= 1204127592.437 + 0.296464204788208 ok 1816 # t0 74 1204127592.781 + 0.02 >= 1204127592.781 ok 1817 # t1 74 1204127592.781 + 0.02 >= 1204127592.437 + 0.296243667602539 ok 1818 # t0 648 1204127592.781 + 0.02 >= 1204127592.781 ok 1819 # t1 648 1204127592.781 + 0.02 >= 1204127592.437 + 0.295957803726196 ok 1820 # t0 103 1204127592.781 + 0.02 >= 1204127592.781 ok 1821 # t1 103 1204127592.781 + 0.02 >= 1204127592.437 + 0.295592308044434 ok 1822 # t0 845 1204127592.781 + 0.02 >= 1204127592.781 ok 1823 # t1 845 1204127592.781 + 0.02 >= 1204127592.437 + 0.295530319213867 ok 1824 # t0 343 1204127592.781 + 0.02 >= 1204127592.781 ok 1825 # t1 343 1204127592.781 + 0.02 >= 1204127592.437 + 0.295490264892578 ok 1826 # t0 563 1204127592.781 + 0.02 >= 1204127592.781 ok 1827 # t1 563 1204127592.781 + 0.02 >= 1204127592.437 + 0.295480489730835 ok 1828 # t0 790 1204127592.781 + 0.02 >= 1204127592.781 ok 1829 # t1 790 1204127592.781 + 0.02 >= 1204127592.437 + 0.2954421043396 ok 1830 # t0 193 1204127592.781 + 0.02 >= 1204127592.781 ok 1831 # t1 193 1204127592.781 + 0.02 >= 1204127592.437 + 0.295426845550537 ok 1832 # t0 292 1204127592.781 + 0.02 >= 1204127592.781 ok 1833 # t1 292 1204127592.781 + 0.02 >= 1204127592.437 + 0.295397996902466 ok 1834 # t0 499 1204127592.781 + 0.02 >= 1204127592.781 ok 1835 # t1 499 1204127592.781 + 0.02 >= 1204127592.437 + 0.295392036437988 ok 1836 # t0 328 1204127592.781 + 0.02 >= 1204127592.781 ok 1837 # t1 328 1204127592.781 + 0.02 >= 1204127592.437 + 0.295391082763672 ok 1838 # t0 105 1204127592.781 + 0.02 >= 1204127592.781 ok 1839 # t1 105 1204127592.781 + 0.02 >= 1204127592.437 + 0.295369386672974 ok 1840 # t0 911 1204127592.781 + 0.02 >= 1204127592.781 ok 1841 # t1 911 1204127592.781 + 0.02 >= 1204127592.437 + 0.295342922210693 ok 1842 # t0 681 1204127592.781 + 0.02 >= 1204127592.781 ok 1843 # t1 681 1204127592.781 + 0.02 >= 1204127592.437 + 0.295178651809692 ok 1844 # t0 881 1204127592.781 + 0.02 >= 1204127592.781 ok 1845 # t1 881 1204127592.781 + 0.02 >= 1204127592.437 + 0.295114040374756 ok 1846 # t0 150 1204127592.781 + 0.02 >= 1204127592.781 ok 1847 # t1 150 1204127592.781 + 0.02 >= 1204127592.437 + 0.295060000004014 ok 1848 # t0 262 1204127592.781 + 0.02 >= 1204127592.781 ok 1849 # t1 262 1204127592.781 + 0.02 >= 1204127592.437 + 0.294950246810913 ok 1850 # t0 122 1204127592.781 + 0.02 >= 1204127592.781 ok 1851 # t1 122 1204127592.781 + 0.02 >= 1204127592.437 + 0.294721126556396 ok 1852 # t0 289 1204127592.781 + 0.02 >= 1204127592.781 ok 1853 # t1 289 1204127592.781 + 0.02 >= 1204127592.437 + 0.294698056008201 ok 1854 # t0 406 1204127592.781 + 0.02 >= 1204127592.781 ok 1855 # t1 406 1204127592.781 + 0.02 >= 1204127592.437 + 0.294690132141113 ok 1856 # t0 421 1204127592.781 + 0.02 >= 1204127592.781 ok 1857 # t1 421 1204127592.781 + 0.02 >= 1204127592.437 + 0.294387975998688 ok 1858 # t0 574 1204127592.781 + 0.02 >= 1204127592.781 ok 1859 # t1 574 1204127592.781 + 0.02 >= 1204127592.437 + 0.292763935984112 ok 1860 # t0 402 1204127592.781 + 0.02 >= 1204127592.781 ok 1861 # t1 402 1204127592.781 + 0.02 >= 1204127592.437 + 0.29203894402599 ok 1862 # t0 986 1204127592.781 + 0.02 >= 1204127592.781 ok 1863 # t1 986 1204127592.781 + 0.02 >= 1204127592.437 + 0.291917856084183 ok 1864 # t0 13 1204127592.781 + 0.02 >= 1204127592.781 ok 1865 # t1 13 1204127592.781 + 0.02 >= 1204127592.437 + 0.288571783999998 ok 1866 # t0 581 1204127592.781 + 0.02 >= 1204127592.781 ok 1867 # t1 581 1204127592.781 + 0.02 >= 1204127592.437 + 0.287455496028997 ok 1868 # t0 464 1204127592.781 + 0.02 >= 1204127592.781 ok 1869 # t1 464 1204127592.781 + 0.02 >= 1204127592.437 + 0.286099456017837 ok 1870 # t0 981 1204127592.781 + 0.02 >= 1204127592.781 ok 1871 # t1 981 1204127592.781 + 0.02 >= 1204127592.437 + 0.285388296004385 ok 1872 # t0 630 1204127592.781 + 0.02 >= 1204127592.781 ok 1873 # t1 630 1204127592.781 + 0.02 >= 1204127592.437 + 0.284858400002122 ok 1874 # t0 451 1204127592.781 + 0.02 >= 1204127592.781 ok 1875 # t1 451 1204127592.781 + 0.02 >= 1204127592.437 + 0.282777736021671 ok 1876 # t0 440 1204127592.781 + 0.02 >= 1204127592.781 ok 1877 # t1 440 1204127592.781 + 0.02 >= 1204127592.437 + 0.281049600045662 ok 1878 # t0 18 1204127592.781 + 0.02 >= 1204127592.781 ok 1879 # t1 18 1204127592.781 + 0.02 >= 1204127592.437 + 0.281048864000013 ok 1880 # p0 148 1204127592.859 >= 1204127592.781 ok 1881 # p1 148 1204127592.859 >= 1204127592.437 + 0.421287984001538 ok 1882 # p0 988 1204127592.859 >= 1204127592.859 ok 1883 # p1 988 1204127592.859 >= 1204127592.437 + 0.421007024124265 ok 1884 # p0 550 1204127592.859 >= 1204127592.859 ok 1885 # p1 550 1204127592.859 >= 1204127592.437 + 0.420727499993518 ok 1886 # p0 286 1204127592.859 >= 1204127592.859 ok 1887 # p1 286 1204127592.859 >= 1204127592.437 + 0.416164716007188 ok 1888 # p0 676 1204127592.859 >= 1204127592.859 ok 1889 # p1 676 1204127592.859 >= 1204127592.437 + 0.415928496047854 ok 1890 # p0 180 1204127592.859 >= 1204127592.859 ok 1891 # p1 180 1204127592.859 >= 1204127592.437 + 0.414980400004424 ok 1892 # p0 627 1204127592.859 >= 1204127592.859 ok 1893 # p1 627 1204127592.859 >= 1204127592.437 + 0.41437745897565 ok 1894 # p0 9 1204127592.859 >= 1204127592.859 ok 1895 # p1 9 1204127592.859 >= 1204127592.437 + 0.41353745100001 ok 1896 # p0 405 1204127592.859 >= 1204127592.859 ok 1897 # p1 405 1204127592.859 >= 1204127592.437 + 0.413338275015121 ok 1898 # p0 569 1204127592.859 >= 1204127592.859 ok 1899 # p1 569 1204127592.859 >= 1204127592.437 + 0.411094731010962 ok 1900 # p0 279 1204127592.859 >= 1204127592.859 ok 1901 # p1 279 1204127592.859 >= 1204127592.437 + 0.409490411009756 ok 1902 # p0 314 1204127592.859 >= 1204127592.859 ok 1903 # p1 314 1204127592.859 >= 1204127592.437 + 0.409117516013794 ok 1904 # p0 337 1204127592.859 >= 1204127592.859 ok 1905 # p1 337 1204127592.859 >= 1204127592.437 + 0.407836699014297 ok 1906 # p0 194 1204127592.859 >= 1204127592.859 ok 1907 # p1 194 1204127592.859 >= 1204127592.437 + 0.406117356003961 ok 1908 # p0 240 1204127592.859 >= 1204127592.859 ok 1909 # p1 240 1204127592.859 >= 1204127592.437 + 0.404409599999781 ok 1910 # p0 159 1204127592.859 >= 1204127592.859 ok 1911 # p1 159 1204127592.859 >= 1204127592.437 + 0.402966651003226 ok 1912 # p0 435 1204127592.859 >= 1204127592.859 ok 1913 # p1 435 1204127592.859 >= 1204127592.437 + 0.40276747502503 ok 1914 # p0 116 1204127592.859 >= 1204127592.859 ok 1915 # p1 116 1204127592.859 >= 1204127592.437 + 0.401974576001521 ok 1916 # p0 247 1204127592.859 >= 1204127592.859 ok 1917 # p1 247 1204127592.859 >= 1204127592.437 + 0.401312939007767 ok 1918 # p0 995 1204127592.859 >= 12041275