ERC20 Token Klee Kai (382f0160c24f5c515a19f155bac14d479433a407)

Address:
382f0160c24f5c515a19f155bac14d479433a407
Name:
Klee Kai
Short Name:
KLEE
Description:
Decimals:
9
Showing the last 1000 Transactions
Hash Block From To Value Time
0x1328159c… 15050514 0x57c96e36230a… 0xb19ea1d1b9ed… 51,080,789,675,254.42188 KLEE 2022-06-30 13:15:20 +0000 UTC
0xcb0b5b1e… 15049437 0x12a2b0ca9deb… 0xb19ea1d1b9ed… 80,205,956,351,962.79688 KLEE 2022-06-30 08:22:32 +0000 UTC
0x2a625cbe… 15047522 0x4edfd76f49f0… 0xb19ea1d1b9ed… 2,560,510,097,007.53076 KLEE 2022-06-29 23:36:54 +0000 UTC
0x4e51a1eb… 15045833 0x6ed87e0e9d22… 0xb19ea1d1b9ed… 30,640,092,485,401.61719 KLEE 2022-06-29 16:18:23 +0000 UTC
0x7cdf573c… 15042014 0xd862ebb9af77… 0xb19ea1d1b9ed… 48,382,990,459,740.18750 KLEE 2022-06-28 22:49:35 +0000 UTC
0xeef54672… 15040547 0x85e9944698f8… 0xb19ea1d1b9ed… 3,586,433.12968 KLEE 2022-06-28 16:21:24 +0000 UTC
0x2c2381fb… 15037575 0x799d6e3ee24a… 0xb19ea1d1b9ed… 2,673,709,426,460.16211 KLEE 2022-06-28 02:52:15 +0000 UTC
0x45fb8c6b… 15036140 0xd585b5906264… 0xb19ea1d1b9ed… 176,247,648,265,108.78125 KLEE 2022-06-27 20:24:58 +0000 UTC
0x82cdd0c4… 15032197 0x46a09f91e0c6… 0xb19ea1d1b9ed… 10,898,826,876,600.05859 KLEE 2022-06-27 03:03:55 +0000 UTC
0x48104d7b… 15031948 0xbfcf28cea772… 0xb19ea1d1b9ed… 4,493,485,014,164.41992 KLEE 2022-06-27 01:56:18 +0000 UTC
0x351a8fb1… 15030082 0xd8c0b95d8d34… 0xb19ea1d1b9ed… 27,491,466,686,450.01562 KLEE 2022-06-26 17:31:23 +0000 UTC
0x355196be… 15028780 0x02b3a6c6e835… 0xb19ea1d1b9ed… 48,484,360,540,895.16406 KLEE 2022-06-26 11:33:30 +0000 UTC
0xa82903c2… 15027342 0xdef052bc594e… 0xb19ea1d1b9ed… 18,073,317,920,184.22656 KLEE 2022-06-26 05:04:14 +0000 UTC
0x84dbbb88… 15024447 0xeffc79877a54… 0xb19ea1d1b9ed… 68,653,730,556,071.37500 KLEE 2022-06-25 15:58:23 +0000 UTC
0x69690064… 15022402 0x98d833d67149… 0xb19ea1d1b9ed… 54,848,958,915,650.96094 KLEE 2022-06-25 06:38:39 +0000 UTC
0x11ef3008… 15021474 0xbf627404ceab… 0xb19ea1d1b9ed… 28,548,682,919,319.13672 KLEE 2022-06-25 02:36:00 +0000 UTC
0x5e732ce7… 15017585 0x0b5285823c8a… 0xb19ea1d1b9ed… 293,335,445,330,933.12500 KLEE 2022-06-24 09:17:37 +0000 UTC
0x41fe8016… 15016965 0x9e203bad9899… 0xb19ea1d1b9ed… 58,781,822,717,218.82031 KLEE 2022-06-24 06:34:57 +0000 UTC
0xb9858be1… 15015310 0xbe4408607b97… 0xb19ea1d1b9ed… 1,459,677,592,703.53125 KLEE 2022-06-23 23:03:09 +0000 UTC
0x0e48f489… 15014671 0x151ed7171630… 0xb19ea1d1b9ed… 7,295,641,034,656.40820 KLEE 2022-06-23 20:20:28 +0000 UTC
0x86fc201f… 15013677 0xc9437448844c… 0xb19ea1d1b9ed… 992,672,541,666.84558 KLEE 2022-06-23 15:46:06 +0000 UTC
0x7867b412… 15013552 0xa8730fbe46fb… 0xb19ea1d1b9ed… 2,535,041,357,014.35938 KLEE 2022-06-23 15:13:33 +0000 UTC
0x4a829f8c… 15013422 0xa25d7297231d… 0xb19ea1d1b9ed… 10,593,209,534,146.62305 KLEE 2022-06-23 14:36:45 +0000 UTC
0xafd8b0d5… 15013414 0xa3900467e593… 0xb19ea1d1b9ed… 4,808,090,411,273.81152 KLEE 2022-06-23 14:34:39 +0000 UTC
0x5af948b7… 15010226 0x3d207b91f329… 0xb19ea1d1b9ed… 26,889,069,256,211.22266 KLEE 2022-06-23 00:04:52 +0000 UTC
0xa684c5b7… 15008378 0x83570df520e1… 0xb19ea1d1b9ed… 2,518,851,475,302.28906 KLEE 2022-06-22 15:51:55 +0000 UTC
0x3074045a… 15005445 0xb3e2f3a9f4ef… 0xb19ea1d1b9ed… 2,334,286,496,797.58252 KLEE 2022-06-22 02:42:07 +0000 UTC
0x710cc372… 15003581 0x0c93c1860c5b… 0xb19ea1d1b9ed… 945,960,040,205,818.50000 KLEE 2022-06-21 18:19:38 +0000 UTC
0xff4b53af… 15003143 0x06ac57ee8976… 0xb19ea1d1b9ed… 16,358,984,710,306.97070 KLEE 2022-06-21 16:18:56 +0000 UTC
0xdf1b821a… 15000532 0x8535469e1f0c… 0xb19ea1d1b9ed… 37,185,790,064,910.22656 KLEE 2022-06-21 04:48:48 +0000 UTC
0x297d3fd5… 15000521 0xa2de321d1980… 0xb19ea1d1b9ed… 372,494,351,252.97180 KLEE 2022-06-21 04:44:53 +0000 UTC
0xfa051af0… 14999221 0x2e9811b9af6c… 0xb19ea1d1b9ed… 205,431,786,089.30035 KLEE 2022-06-20 23:23:58 +0000 UTC
0x7b7b3c94… 14998625 0x8137800d3f51… 0xb19ea1d1b9ed… 4,237,299,235,663.01221 KLEE 2022-06-20 20:53:06 +0000 UTC
0xc762205e… 14998289 0xa697f9c479af… 0xb19ea1d1b9ed… 1,705,450,414,619.18359 KLEE 2022-06-20 19:33:34 +0000 UTC
0x86f2c786… 14998030 0x7ea6d115655a… 0xb19ea1d1b9ed… 5,665,021,910,844.87109 KLEE 2022-06-20 18:29:45 +0000 UTC
0x50bda059… 14996744 0x39231708c5de… 0xb19ea1d1b9ed… 71,909,968,087,911.64062 KLEE 2022-06-20 13:13:47 +0000 UTC
0xb11ddbe6… 14982608 0xcf056442ce60… 0xb19ea1d1b9ed… 13,493,503,423,974.87695 KLEE 2022-06-18 02:34:01 +0000 UTC
0xb11ddbe6… 14982608 0xcf056442ce60… 0xb19ea1d1b9ed… 13,493,503,423,974.87695 KLEE 2022-06-18 02:34:00 +0000 UTC
0x4fc9e1bf… 14958335 0xbe94b4700b2e… 0xb19ea1d1b9ed… 3,514,455,178,178.19775 KLEE 2022-06-13 22:07:19 +0000 UTC
0x4ec77f76… 14949904 0x38efa3d54920… 0xb19ea1d1b9ed… 19,761,326,944,981.64453 KLEE 2022-06-12 11:30:53 +0000 UTC
0xa7739bc6… 14949375 0xb19ea1d1b9ed… 0x3d12dda28984… 4,900,000,000,000.00000 KLEE 2022-06-12 09:19:24 +0000 UTC
0x40d4035d… 14946470 0xe0a616c3659b… 0xb19ea1d1b9ed… 218,093,974,001,081.50000 KLEE 2022-06-11 21:18:16 +0000 UTC
0xeb6f6513… 14942243 0x3f0163cd94fb… 0xb19ea1d1b9ed… 209,306,471.83153 KLEE 2022-06-11 04:10:26 +0000 UTC
0xf28025d4… 14942051 0x426c8ecddd1c… 0xb19ea1d1b9ed… 8,987,247,009,007.95312 KLEE 2022-06-11 03:24:45 +0000 UTC
0xf8715ea7… 14939914 0xb6255fd42d07… 0xb19ea1d1b9ed… 8,752,260,796,681.47656 KLEE 2022-06-10 18:20:03 +0000 UTC
0x624c631c… 14934280 0xb19ea1d1b9ed… 0x8044e86ca196… 2,939,806,743,560,853.00000 KLEE 2022-06-09 19:27:18 +0000 UTC
0xd90105c0… 14931952 0xf67d4d639448… 0xb19ea1d1b9ed… 343,997,422,061,178.75000 KLEE 2022-06-09 09:52:28 +0000 UTC
0xf2b99f55… 14931927 0xf67d4d639448… 0xb19ea1d1b9ed… 294,000,000,000,000.00000 KLEE 2022-06-09 09:47:17 +0000 UTC
0xc46c5990… 14929106 0xc3373cd8f89e… 0xb19ea1d1b9ed… 116,172,799,268,549.92188 KLEE 2022-06-08 22:11:26 +0000 UTC
0xbd6b9f24… 14927288 0xb12f15aed7e9… 0xb19ea1d1b9ed… 27,273,927,359.80196 KLEE 2022-06-08 14:49:31 +0000 UTC
0x3ce6e8d7… 14926669 0xe0a616c3659b… 0xb19ea1d1b9ed… 51,308,836,497,316.85938 KLEE 2022-06-08 12:27:34 +0000 UTC
0x6826f60e… 14925450 0x33423fc8b693… 0xb19ea1d1b9ed… 796,847,864,591.43164 KLEE 2022-06-08 07:20:11 +0000 UTC
0xd14c694c… 14922952 0x556b8c6f9e30… 0xb19ea1d1b9ed… 97,299,694,890,952.98438 KLEE 2022-06-07 21:09:40 +0000 UTC
0xac0d5442… 14919883 0x939f7d7cfffb… 0xb19ea1d1b9ed… 302,335,970,820,866.75000 KLEE 2022-06-07 08:41:37 +0000 UTC
0x01cfddb5… 14919660 0xe0a616c3659b… 0xb19ea1d1b9ed… 127,017,979,621,370.73438 KLEE 2022-06-07 07:53:29 +0000 UTC
0xa87f70a3… 14917154 0x654b8efe6758… 0xb19ea1d1b9ed… 322,078,043,832,797.87500 KLEE 2022-06-06 21:34:20 +0000 UTC
0xf4198f66… 14904223 0xe356fe28b7b6… 0xb19ea1d1b9ed… 1,317,786,764,802,448.25000 KLEE 2022-06-04 16:40:18 +0000 UTC
0x63d0e706… 14904179 0xe356fe28b7b6… 0xb19ea1d1b9ed… 0.98000 KLEE 2022-06-04 16:30:27 +0000 UTC
0xb156578c… 14901263 0x8044e86ca196… Uniswap V2: Router 2 0x7a25… 7,336,137,042,805.28906 KLEE 2022-06-04 04:24:54 +0000 UTC
0xb156578c… 14901263 Uniswap V2: Router 2 0x7a25… 0xb19ea1d1b9ed… 7,189,426,162,264.45703 KLEE 2022-06-04 04:24:54 +0000 UTC
0x61c2eeec… 14895196 0x17974ad16250… 0xb19ea1d1b9ed… 12,668,454,981,157.29883 KLEE 2022-06-03 04:52:59 +0000 UTC
0x8ec64858… 14890333 0xcfb8845a9c8c… 0xb19ea1d1b9ed… 1,612,735,509,466.78613 KLEE 2022-06-02 09:58:22 +0000 UTC
0xf9722f11… 14890281 0x27fb2ae74fa5… 0xb19ea1d1b9ed… 436,476,978,253.56799 KLEE 2022-06-02 09:47:13 +0000 UTC
0x7e7da794… 14889331 0x654557932a5d… 0xb19ea1d1b9ed… 5,074,072,333,314.33691 KLEE 2022-06-02 06:03:07 +0000 UTC
0x967cac48… 14884448 0xb19ea1d1b9ed… 0x8044e86ca196… 2,152,035,930,314,807.25000 KLEE 2022-06-01 11:07:08 +0000 UTC
0xdb46e7d6… 14883956 0x08d0b9aa7121… 0x03f7724180aa… 2,212,862,783,525,798.00000 KLEE 2022-06-01 09:06:33 +0000 UTC
0xdb46e7d6… 14883956 0x03f7724180aa… 0xb19ea1d1b9ed… 2,169,685,261,899,452.50000 KLEE 2022-06-01 09:06:33 +0000 UTC
0x37e4cbcf… 14874127 0xb866deecb1f6… 0xb19ea1d1b9ed… 425,864,321,753.89209 KLEE 2022-05-30 18:30:26 +0000 UTC
0x9b01b112… 14865917 0x0ef763bf866e… 0xb19ea1d1b9ed… 9,858,729,393,526.21094 KLEE 2022-05-29 10:20:34 +0000 UTC
0x1742153f… 14860460 0x991d9ff8c098… 0xb19ea1d1b9ed… 121,022,999,813.75652 KLEE 2022-05-28 13:09:18 +0000 UTC
0x30c4c0b1… 14857858 0x414562d4559b… 0xb19ea1d1b9ed… 1,096,241,323,322.08081 KLEE 2022-05-28 03:10:15 +0000 UTC
0xef4a2b3f… 14856025 0x8b3defb4756f… 0xb19ea1d1b9ed… 14,767,910,995,608.11914 KLEE 2022-05-27 19:47:00 +0000 UTC
0x18bde7fb… 14852477 0xb19ea1d1b9ed… 0x8044e86ca196… 845,268,645,551,603.75000 KLEE 2022-05-27 05:58:31 +0000 UTC
0x80707104… 14847860 0x3d006d8e3a6e… 0xb19ea1d1b9ed… 8,637,833,737,701.71094 KLEE 2022-05-26 12:06:23 +0000 UTC
0x591b928d… 14847682 0x3629a9f9fdb3… 0xb19ea1d1b9ed… 595,864,387,991.92053 KLEE 2022-05-26 11:25:03 +0000 UTC
0x6168083d… 14846459 0xe0a616c3659b… 0xb19ea1d1b9ed… 0.88200 KLEE 2022-05-26 06:24:49 +0000 UTC
0xff1f9f58… 14846363 0xe0a616c3659b… 0xb19ea1d1b9ed… 97.02000 KLEE 2022-05-26 06:03:09 +0000 UTC
0x1c4440a2… 14845814 0x248df66e7cd4… 0xb19ea1d1b9ed… 6,181,526,063,536.58984 KLEE 2022-05-26 03:54:25 +0000 UTC
0x57b6f56f… 14844607 0x9db7bee775cb… 0xb19ea1d1b9ed… 101,848,036,403,637.68750 KLEE 2022-05-25 23:13:38 +0000 UTC
0x7bc69a03… 14844055 0x248732778b29… 0xb19ea1d1b9ed… 16,436,580,264,924.60547 KLEE 2022-05-25 21:00:39 +0000 UTC
0x599d1cd1… 14840702 0xa0acb4b6a4fa… 0xb19ea1d1b9ed… 68,266,488,535.90068 KLEE 2022-05-25 08:00:02 +0000 UTC
0x966609a6… 14840040 0x07888c3c5d25… 0xe0a616c3659b… 2,646,593,494,460,454.50000 KLEE 2022-05-25 05:25:35 +0000 UTC
0xc93aa0c0… 14840005 0xe5b8ff1ca1c3… 0xe0a616c3659b… 1,419,360,402,899,068.75000 KLEE 2022-05-25 05:17:05 +0000 UTC
0x7f99e94a… 14839898 0x8044e86ca196… 0x08d0b9aa7121… 681,844,017,123,295.37500 KLEE 2022-05-25 04:51:26 +0000 UTC
0xc18a78f4… 14839892 0xe5b8ff1ca1c3… 0xe0a616c3659b… 882,000,000,000,000.00000 KLEE 2022-05-25 04:50:16 +0000 UTC
0x8c432dfe… 14839890 0xe5b8ff1ca1c3… 0xe0a616c3659b… 882,000,000,000,000.00000 KLEE 2022-05-25 04:49:32 +0000 UTC
0xa4d75f85… 14839886 0xe5b8ff1ca1c3… 0xe0a616c3659b… 882,000,000,000,000.00000 KLEE 2022-05-25 04:48:56 +0000 UTC
0x853f3def… 14839867 0xe5b8ff1ca1c3… 0xe0a616c3659b… 882,000,000,000,000.00000 KLEE 2022-05-25 04:44:44 +0000 UTC
0x2fc3304b… 14833041 0x79bdcf08263d… 0xb19ea1d1b9ed… 3,079,684,964,315.50146 KLEE 2022-05-24 01:51:54 +0000 UTC
0x245680a7… 14827362 0xd47d5821fbbb… 0xb19ea1d1b9ed… 16,617,657,614,127.80469 KLEE 2022-05-23 04:00:19 +0000 UTC
0x492a86a1… 14821693 0x5c6c0ca683a7… 0xb19ea1d1b9ed… 110,299,893,621.14429 KLEE 2022-05-22 05:43:36 +0000 UTC
0x88235ecc… 14820546 0xc4505f34e04e… 0xb19ea1d1b9ed… 229,355,161,627,433.71875 KLEE 2022-05-22 01:12:21 +0000 UTC
0x44259b3e… 14819814 0xa4d896c545aa… 0xb19ea1d1b9ed… 1,558,694,670,609.69556 KLEE 2022-05-21 22:24:18 +0000 UTC
0x1c0e85ad… 14819801 0x69741001f958… 0xb19ea1d1b9ed… 146,840,675,715,721.96875 KLEE 2022-05-21 22:21:32 +0000 UTC
0x0b8f0b63… 14813022 0x607c38a07813… 0xb19ea1d1b9ed… 6,134,739,246,272.05469 KLEE 2022-05-20 19:58:45 +0000 UTC
0x676e81b8… 14808984 0xac117f50fbda… 0xb19ea1d1b9ed… 359,051,497,523.15735 KLEE 2022-05-20 04:12:44 +0000 UTC
0x33ab9112… 14807170 0xd78d7be9746d… 0xb19ea1d1b9ed… 64,680,588,650,867.84375 KLEE 2022-05-19 21:11:32 +0000 UTC
0x3b5e4b5a… 14807023 0xe0a616c3659b… 0xb19ea1d1b9ed… 3,081,190,012,997.31982 KLEE 2022-05-19 20:36:05 +0000 UTC
0xa4a7ed0e… 14806141 0xd78d7be9746d… 0xb19ea1d1b9ed… 39,988,500,308,796.85156 KLEE 2022-05-19 17:10:14 +0000 UTC
0x3a3ae961… 14804754 WhiteBIT 0x39f6… 0xb19ea1d1b9ed… 154,516,184,016,603.09375 KLEE 2022-05-19 11:39:34 +0000 UTC
0xd630d7e0… 14804522 0x586425b6812f… 0xb19ea1d1b9ed… 98.00000 KLEE 2022-05-19 10:48:32 +0000 UTC
0xf5c2b694… 14802936 0x5d9b060e9a21… 0xb19ea1d1b9ed… 5,010,648,432,672.86230 KLEE 2022-05-19 04:30:49 +0000 UTC
0xce3fc487… 14797572 0xec0d682372d4… 0xb19ea1d1b9ed… 3,718,277,897,847.94531 KLEE 2022-05-18 07:39:42 +0000 UTC
0x491592f0… 14795732 0x2ff6f012b534… 0xb19ea1d1b9ed… 982,770,963,777.78125 KLEE 2022-05-18 00:41:56 +0000 UTC
0x5fe77635… 14795379 0xb19ea1d1b9ed… 0x8044e86ca196… 6,468,000,000,000,001.00000 KLEE 2022-05-17 23:19:39 +0000 UTC
0xfe475dff… 14795369 0xa67e9f021b9d… 0xb19ea1d1b9ed… 6,440,028,801,274,796.00000 KLEE 2022-05-17 23:17:12 +0000 UTC
0x63dbcbc3… 14795326 0x2ff6f012b534… 0xb19ea1d1b9ed… 1,736,254,384,451.01099 KLEE 2022-05-17 23:07:05 +0000 UTC
0x7a1a343a… 14794798 0xef4792a5d225… 0xb19ea1d1b9ed… 10,951,737,554,105.95898 KLEE 2022-05-17 21:08:28 +0000 UTC
0xabb252a3… 14794680 0xb19ea1d1b9ed… 0x2ff6f012b534… 2,771,680,113,966.74609 KLEE 2022-05-17 20:41:01 +0000 UTC
0x37bc9a18… 14792927 0xac24b650dcea… 0xb19ea1d1b9ed… 1,335,225,602,617.32690 KLEE 2022-05-17 14:02:09 +0000 UTC
0xaa16a486… 14786599 0xb19ea1d1b9ed… 0xe033480d7d80… 13,745,076,324,494.71289 KLEE 2022-05-16 13:45:21 +0000 UTC
0xaa16a486… 14786599 0xb19ea1d1b9ed… 0xe033480d7d80… 13,745,076,324,494.71289 KLEE 2022-05-16 13:45:21 +0000 UTC
0x8d6140e4… 14786427 0xce41ded99eb6… 0xb19ea1d1b9ed… 206,341,443,572,184.56250 KLEE 2022-05-16 13:05:28 +0000 UTC
0x1e06a68d… 14783300 0x560f464d5d96… 0xb19ea1d1b9ed… 3,087,009,233,171.93701 KLEE 2022-05-16 01:10:13 +0000 UTC
0xf4cb8b1e… 14781249 0x7b6d4c78b994… 0xb19ea1d1b9ed… 2,872,964,036,379.42578 KLEE 2022-05-15 17:30:15 +0000 UTC
0xd1eff201… 14779598 0xaae0d5ee9348… 0xb19ea1d1b9ed… 1,341,029,963,803.75098 KLEE 2022-05-15 11:07:38 +0000 UTC
0xed402cee… 14778334 0xfbddcb1cd3de… 0xb19ea1d1b9ed… 1,876,112,336,007.45435 KLEE 2022-05-15 06:17:16 +0000 UTC
0xbb908a8b… 14772926 0x67592fab01dc… 0xb19ea1d1b9ed… 48,356,306.41787 KLEE 2022-05-14 09:53:38 +0000 UTC
0xe06ef860… 14770022 0xb19ea1d1b9ed… 0x8044e86ca196… 1,493,190,394,642,982.00000 KLEE 2022-05-13 22:19:39 +0000 UTC
0xbcb7424d… 14768074 0xeff824c48288… 0xb19ea1d1b9ed… 18,782,073,428,579.93359 KLEE 2022-05-13 15:05:47 +0000 UTC
0xd2802a94… 14767311 0x652993979fa7… 0xb19ea1d1b9ed… 436,248,768,644,515.43750 KLEE 2022-05-13 12:15:03 +0000 UTC
0xf0e58005… 14765568 0xa41000c7faf8… 0xb19ea1d1b9ed… 1,067,532,825,929,947.50000 KLEE 2022-05-13 05:45:03 +0000 UTC
0x2ab8b1f8… 14733418 0xb19ea1d1b9ed… 0x0bab54dfec0b… 96,875,492,798.05489 KLEE 2022-05-08 02:15:21 +0000 UTC
0x1d32f48d… 14716558 0x90f1205d0278… 0xb19ea1d1b9ed… 1,198,852,543,671.48462 KLEE 2022-05-05 09:49:03 +0000 UTC
0xb88ee4b8… 14707949 0xb19ea1d1b9ed… 0x8044e86ca196… 142,818,505,493,470.03125 KLEE 2022-05-04 01:01:04 +0000 UTC
0xe1151b50… 14700677 0xc36119b212b7… 0xa67e9f021b9d… 13,547,427,573,692.64453 KLEE 2022-05-02 21:31:55 +0000 UTC
0xad2187fe… 14700598 0x0898e112c47f… 0x0898e112c47f… 1,078,000,000,000.00000 KLEE 2022-05-02 21:15:34 +0000 UTC
0x6e685f51… 14700503 0xb9238b6f3f85… 0xa67e9f021b9d… 3,103,059,148,249.79053 KLEE 2022-05-02 20:52:18 +0000 UTC
0xa59d18de… 14700418 0xe8bc587e8901… 0xa67e9f021b9d… 7,406,702,470,233.40527 KLEE 2022-05-02 20:30:35 +0000 UTC
0xb7fc0c98… 14700343 0x008149bf11b9… 0xa67e9f021b9d… 2,876,462,694,579.19092 KLEE 2022-05-02 20:14:30 +0000 UTC
0x92113d56… 14700187 0xe0ab871e25b2… 0xa67e9f021b9d… 1,587,207,420,442.06763 KLEE 2022-05-02 19:40:37 +0000 UTC
0x3e22507e… 14700156 0xacfc89dfb5aa… 0xa67e9f021b9d… 849,718,123,397.27478 KLEE 2022-05-02 19:33:17 +0000 UTC
0x646f74f2… 14700089 0xb7d93dd1eff9… 0xa67e9f021b9d… 3,934,089,255,882.79590 KLEE 2022-05-02 19:19:24 +0000 UTC
0xfdb290e6… 14699938 0x74af44856a2a… 0xa67e9f021b9d… 811,170,181,968.95227 KLEE 2022-05-02 18:40:00 +0000 UTC
0x49e509c2… 14699765 0xc48a1fe4e5bd… 0x07888c3c5d25… 46,489,301,090,991.74219 KLEE 2022-05-02 17:55:03 +0000 UTC
0x2078e8f2… 14699756 0xf7ff2d931352… 0xa67e9f021b9d… 1,255,378,950,668.11011 KLEE 2022-05-02 17:52:40 +0000 UTC
0x6716249a… 14699751 0xcab12a4dc4d3… 0xa67e9f021b9d… 115,250,770,055,370.79688 KLEE 2022-05-02 17:51:58 +0000 UTC
0xcbbdf422… 14699743 0x9bde1cecb101… 0xcab12a4dc4d3… 117,600,000,000,000.01562 KLEE 2022-05-02 17:49:25 +0000 UTC
0xa146c343… 14699699 0xda439e3f74e2… 0xa67e9f021b9d… 1,078,559,816,622.01843 KLEE 2022-05-02 17:40:08 +0000 UTC
0x9f5e8867… 14699697 0x4e9137515bcd… 0xc48a1fe4e5bd… 47,435,322,282,985.28125 KLEE 2022-05-02 17:39:27 +0000 UTC
0xf7859da9… 14699669 0x94e8622a4ca6… 0xa67e9f021b9d… 10,452,639,394,777.26953 KLEE 2022-05-02 17:33:10 +0000 UTC
0x8bcd3337… 14699623 0xcab12a4dc4d3… 0x9bde1cecb101… 294,010,466,807,010.31250 KLEE 2022-05-02 17:24:29 +0000 UTC
0xef8e4e70… 14699580 0xcab12a4dc4d3… 0xc0fa1e4667bc… 167,169,169,235,797.53125 KLEE 2022-05-02 17:13:13 +0000 UTC
0x05cb228d… 14699560 0xe0a616c3659b… 0xf9032d374dfb… 4,473,682,180,579.63965 KLEE 2022-05-02 17:08:20 +0000 UTC
0x6770411d… 14699546 0x21aff11e82cf… 0xa67e9f021b9d… 644,596,079,360.62573 KLEE 2022-05-02 17:04:32 +0000 UTC
0xc3d72733… 14699522 0xe0a616c3659b… 0x1b0b28548055… 28,260,095,432,549.39844 KLEE 2022-05-02 16:59:41 +0000 UTC
0x31705243… 14699479 0xcab12a4dc4d3… 0x8044e86ca196… 596,928,888,888,888.75000 KLEE 2022-05-02 16:47:17 +0000 UTC
0xb2fe1be8… 14699443 0x66bf5d350149… 0xa67e9f021b9d… 1,239,190,323,275.73340 KLEE 2022-05-02 16:39:12 +0000 UTC
0x9aa19af6… 14699435 0xc0fa1e4667bc… 0xcab12a4dc4d3… 288,408,123,380,651.18750 KLEE 2022-05-02 16:37:14 +0000 UTC
0x8cee19ee… 14699434 0xec93980672b2… 0xa67e9f021b9d… 1,413,007,363,572.44165 KLEE 2022-05-02 16:37:12 +0000 UTC
0x5b9f67d3… 14699411 0x1c1b7530f74c… 0xa67e9f021b9d… 17,582,685,932,267.73438 KLEE 2022-05-02 16:31:47 +0000 UTC
0x9087f314… 14699408 0x96c92037dcf2… 0xa67e9f021b9d… 114,703,337,363.06110 KLEE 2022-05-02 16:30:49 +0000 UTC
0x0d78f49f… 14699400 0x1ead9f1f0e38… 0xa67e9f021b9d… 2,777,315,389,454.79541 KLEE 2022-05-02 16:29:16 +0000 UTC
0x8224bff7… 14699399 0xcab12a4dc4d3… 0xc0fa1e4667bc… 294,000,000,000,000.00000 KLEE 2022-05-02 16:29:07 +0000 UTC
0x30eed255… 14699395 0xaf048bc3e1ee… 0x1c68e43890fe… 57,115,609,048,756.93750 KLEE 2022-05-02 16:28:24 +0000 UTC
0x3f3278cc… 14699393 0xcab12a4dc4d3… 0xc0fa1e4667bc… 294,000,000,000.00000 KLEE 2022-05-02 16:27:07 +0000 UTC
0xaff709df… 14699391 0x8044e86ca196… 0xaf048bc3e1ee… 58,280,536,013,361.46094 KLEE 2022-05-02 16:27:02 +0000 UTC
0xf8270233… 14699358 0x8044e86ca196… 0xcab12a4dc4d3… 1,089,425,237,129,380.25000 KLEE 2022-05-02 16:20:49 +0000 UTC
0x07051ea6… 14699319 0xd22701b99dd6… 0xa67e9f021b9d… 13,873,486,038,593.67188 KLEE 2022-05-02 16:11:42 +0000 UTC
0xbca8214b… 14699263 0x637640fda993… 0xa67e9f021b9d… 2,999,903,051,331.83545 KLEE 2022-05-02 15:58:10 +0000 UTC
0x1d480efe… 14699256 0x7c638120309b… 0xa67e9f021b9d… 10,201,818,200,190.20312 KLEE 2022-05-02 15:56:53 +0000 UTC
0xc3f94c94… 14699228 0x84061a7f23f5… 0xa67e9f021b9d… 521,041,868,641,238.68750 KLEE 2022-05-02 15:49:56 +0000 UTC
0x3c613a8b… 14699218 0x8044e86ca196… 0x84061a7f23f5… 510,236,243,621,035.93750 KLEE 2022-05-02 15:48:31 +0000 UTC
0x426a54da… 14699206 0x2a4fddb56bbb… 0xa67e9f021b9d… 1,270,472,124,538.59766 KLEE 2022-05-02 15:46:06 +0000 UTC
0x5def91cc… 14699191 0x86c35635912f… 0xa67e9f021b9d… 4,146,395,318,449.96777 KLEE 2022-05-02 15:42:42 +0000 UTC
0xeb262a51… 14699174 0x458921c5a01d… 0xa67e9f021b9d… 522,234,755,130.17004 KLEE 2022-05-02 15:39:27 +0000 UTC
0xcd08e2cb… 14699118 0x9bde1cecb101… 0xa67e9f021b9d… 101,809,693,009,765.37500 KLEE 2022-05-02 15:26:21 +0000 UTC
0x984ff2bb… 14699102 0x8044e86ca196… 0x9bde1cecb101… 101,450,882,957,821.93750 KLEE 2022-05-02 15:24:19 +0000 UTC
0x65fbc3bf… 14699067 0xb31da187228c… 0xa67e9f021b9d… 2,478,802,158,174.95215 KLEE 2022-05-02 15:17:11 +0000 UTC
0x73ce9900… 14699064 0xed619c680082… 0xa67e9f021b9d… 1,309,136,798,801.92163 KLEE 2022-05-02 15:16:49 +0000 UTC
0x097cfc30… 14699027 0x4d21509df723… 0x9bde1cecb101… 2,434,401,741,035.54492 KLEE 2022-05-02 15:09:47 +0000 UTC
0xeb4713c0… 14698991 0x9bde1cecb101… 0x4d21509df723… 2,484,082,148,062.17139 KLEE 2022-05-02 15:02:16 +0000 UTC
0x36da06ca… 14698980 0x23cf9b4a5780… 0xa67e9f021b9d… 931,954,240,016.77612 KLEE 2022-05-02 15:00:26 +0000 UTC
0x99abcb3a… 14698896 0xd796380f352f… 0xa67e9f021b9d… 2,688,871,627,874.37744 KLEE 2022-05-02 14:44:06 +0000 UTC
0x3d6929de… 14698895 0xc429542d7f71… 0xa67e9f021b9d… 52,009,045,697,586.68750 KLEE 2022-05-02 14:43:28 +0000 UTC
0xd4276102… 14698872 0x08d0b9aa7121… 0xbef4b1dad32e… 88,570,440,000,000.00000 KLEE 2022-05-02 14:38:26 +0000 UTC
0xca18985d… 14698768 0x595236b84466… 0xa67e9f021b9d… 63,394,157,613.86404 KLEE 2022-05-02 14:15:51 +0000 UTC
0xd72afb8a… 14698757 0xbb50e608c419… 0xa67e9f021b9d… 5,511,900,171,522.28613 KLEE 2022-05-02 14:13:40 +0000 UTC
0x213bf8f7… 14698722 0xdd62fc4ff418… 0xa67e9f021b9d… 10,387,536,610,573.53320 KLEE 2022-05-02 14:07:23 +0000 UTC
0xf446246a… 14698715 0x7d28e2645baa… 0xa67e9f021b9d… 3,408,379,702,585.90967 KLEE 2022-05-02 14:05:36 +0000 UTC
0x382c299b… 14698676 0x75bdb654126a… 0xa67e9f021b9d… 2,719,506,237,022.72461 KLEE 2022-05-02 13:59:35 +0000 UTC
0x7569767a… 14698673 0x9c09766a6c43… 0xa67e9f021b9d… 671,219,081,503.77185 KLEE 2022-05-02 13:59:12 +0000 UTC
0xa8862b79… 14698644 0xdba9f715eda5… 0xb19ea1d1b9ed… 144,338,921,142,058.15625 KLEE 2022-05-02 13:53:02 +0000 UTC
0x69c80df7… 14698642 0x80530be92370… 0xb19ea1d1b9ed… 1,394,247,728,829.61353 KLEE 2022-05-02 13:52:41 +0000 UTC
0x9d1cd8fb… 14698628 0x1c2c91643e06… 0xa67e9f021b9d… 518,567,727,190.52014 KLEE 2022-05-02 13:51:08 +0000 UTC
0x7b281afc… 14698548 0x98ddc7e447c2… 0xa67e9f021b9d… 1,113,000,233,012.38794 KLEE 2022-05-02 13:34:45 +0000 UTC
0x1267fd6c… 14698507 0x823a0694821e… 0xac31ba9348dd… 2,604,572,344,113.44238 KLEE 2022-05-02 13:25:36 +0000 UTC
0x97ac4c1e… 14698463 0xe0a616c3659b… 0xeff824c48288… 19,139,729,107,784.60156 KLEE 2022-05-02 13:17:46 +0000 UTC
0x950085bd… 14698426 0x86c113c02764… 0xa67e9f021b9d… 349,148,731,397,644.06250 KLEE 2022-05-02 13:08:01 +0000 UTC
0x15a76d68… 14698394 0xefc929f58024… 0xa67e9f021b9d… 41,492,561,129,971.11719 KLEE 2022-05-02 12:59:38 +0000 UTC
0x75af401c… 14698322 0x9320231d9759… 0xa67e9f021b9d… 54,535,815,399.43883 KLEE 2022-05-02 12:39:06 +0000 UTC
0xfcdd2b4c… 14698246 0x37e0c12c9b3e… 0x07888c3c5d25… 4,875,495,925,230.78418 KLEE 2022-05-02 12:21:01 +0000 UTC
0x040732eb… 14698237 0xa3c13e978370… 0xa67e9f021b9d… 364,790,985,650.72223 KLEE 2022-05-02 12:19:17 +0000 UTC
0x1e99a53a… 14698232 0x08d0b9aa7121… 0x03f7724180aa… 150,268,436,114,677.00000 KLEE 2022-05-02 12:18:12 +0000 UTC
0x1e99a53a… 14698232 0x03f7724180aa… 0xdba9f715eda5… 147,267,583,651,462.18750 KLEE 2022-05-02 12:18:12 +0000 UTC
0x21ad6d9f… 14698193 0x8621e4991b4d… 0x8044e86ca196… 960,612,900,463,668.75000 KLEE 2022-05-02 12:09:33 +0000 UTC
0xed2d7937… 14698188 0xc9a5ec9e1a95… 0x07888c3c5d25… 48,525,429,138,321.30469 KLEE 2022-05-02 12:08:01 +0000 UTC
0xed2d7937… 14698188 0xc9a5ec9e1a95… 0x07888c3c5d25… 48,525,429,138,321.30469 KLEE 2022-05-02 12:08:01 +0000 UTC
0xeeacf2c2… 14698158 0x96b9a9fe3c62… 0x37e0c12c9b3e… 4,973,663,826,455.33594 KLEE 2022-05-02 12:00:22 +0000 UTC
0x60fe1b56… 14698154 0xde54f1518dae… 0xa67e9f021b9d… 652,807,033,399.83545 KLEE 2022-05-02 11:59:34 +0000 UTC
0x6582c32a… 14698153 0xd0744957a36a… 0xa67e9f021b9d… 5,044,140,470,781.70898 KLEE 2022-05-02 11:59:17 +0000 UTC
0x2afb3740… 14698137 0x547864d3cd1d… 0xa67e9f021b9d… 470,960,529,124.62744 KLEE 2022-05-02 11:55:27 +0000 UTC
0x6c6d0709… 14698131 0x589b1ba4cde1… 0xa67e9f021b9d… 45,840,249,734,698.80469 KLEE 2022-05-02 11:54:51 +0000 UTC
0xa582d066… 14698128 0xaf048bc3e1ee… 0xc9a5ec9e1a95… 49,024,569,901,391.93750 KLEE 2022-05-02 11:54:29 +0000 UTC
0xe6d1e8ef… 14698106 0x3ad78698c41c… 0xa67e9f021b9d… 224,266.49606 KLEE 2022-05-02 11:49:25 +0000 UTC
0x43a14e6a… 14698094 0x8044e86ca196… 0x8621e4991b4d… 980,000,000,321,292.37500 KLEE 2022-05-02 11:46:39 +0000 UTC
0xa9407884… 14698074 0xe0a616c3659b… 0x4e9137515bcd… 48,330,653,067,731.85938 KLEE 2022-05-02 11:42:36 +0000 UTC
0x959ab560… 14698041 0xaf048bc3e1ee… 0xc9a5ec9e1a95… 490,000,000,000.00000 KLEE 2022-05-02 11:34:09 +0000 UTC
0x8bdaf003… 14697993 0xaf048bc3e1ee… 0x1c68e43890fe… 34,300,000,000,000.00000 KLEE 2022-05-02 11:21:57 +0000 UTC
0xfa616b83… 14697964 0x2a9961aa2b35… 0xa67e9f021b9d… 2,110,049,833,195.91455 KLEE 2022-05-02 11:13:18 +0000 UTC
0x4c8d3b22… 14697962 0x0a2ef97ebccc… 0xa67e9f021b9d… 4,131,669,680,232.19385 KLEE 2022-05-02 11:12:13 +0000 UTC
0x69f8801e… 14697949 0xb19ea1d1b9ed… 0x8044e86ca196… 392,808,581,826,466.06250 KLEE 2022-05-02 11:09:23 +0000 UTC
0x3343d74e… 14697943 0x4a7a2a3a57cf… 0xa67e9f021b9d… 1,753,667,464,612.91528 KLEE 2022-05-02 11:08:03 +0000 UTC
0x31524dc8… 14697931 0x0ae40554358d… 0xa67e9f021b9d… 10,419,910,986,091.28516 KLEE 2022-05-02 11:05:51 +0000 UTC
0xc587f4ab… 14697860 0x4b746731c8f1… 0xa67e9f021b9d… 548,595,557,075.28033 KLEE 2022-05-02 10:45:35 +0000 UTC
0xd99f5613… 14697852 0xd38611e112b1… 0xb19ea1d1b9ed… 14,665,962,538,490.10156 KLEE 2022-05-02 10:44:11 +0000 UTC
0x286b3661… 14697847 0xe49f0eb79bbd… 0xa67e9f021b9d… 26,380,411,078,797.89453 KLEE 2022-05-02 10:43:21 +0000 UTC
0x920fa6dd… 14697780 0x051d60e337e9… 0xa67e9f021b9d… 10,146,186,948,753.75000 KLEE 2022-05-02 10:27:40 +0000 UTC
0xedb89398… 14697780 0xa8094f042d89… 0xa67e9f021b9d… 11,865,794,360,022.83984 KLEE 2022-05-02 10:27:40 +0000 UTC
0x3c083c57… 14697771 0xaf048bc3e1ee… 0x54d6a53e6133… 490,000,000,000.00000 KLEE 2022-05-02 10:25:44 +0000 UTC
0xae673c86… 14697754 0x19a2594f2575… 0x8044e86ca196… 1,262,413,829,037.73608 KLEE 2022-05-02 10:22:32 +0000 UTC
0xcb6ae7d2… 14697743 0xa027bb12aa99… 0xa67e9f021b9d… 1,222,183,309,832.86914 KLEE 2022-05-02 10:19:19 +0000 UTC
0x359461d3… 14697738 0x712bd6964b01… 0xa67e9f021b9d… 56,510,313,241,427.58594 KLEE 2022-05-02 10:18:11 +0000 UTC
0x359461d3… 14697738 0x712bd6964b01… 0xa67e9f021b9d… 56,510,313,241,427.58594 KLEE 2022-05-02 10:18:11 +0000 UTC
0x127e5c67… 14697711 0x8ac2730fedde… 0xa67e9f021b9d… 210,778,174,777,884.90625 KLEE 2022-05-02 10:12:12 +0000 UTC
0x9a7ae3a5… 14697709 0xaf048bc3e1ee… 0x1c68e43890fe… 34,300,000,000,000.00000 KLEE 2022-05-02 10:11:53 +0000 UTC
0x297ef98a… 14697702 0x57d7858f8221… 0xa67e9f021b9d… 3,053,742,410,499.70947 KLEE 2022-05-02 10:10:51 +0000 UTC
0x35359028… 14697702 0x4784c85073d6… 0xa67e9f021b9d… 138,954,733,813.91357 KLEE 2022-05-02 10:10:51 +0000 UTC
0xdf962184… 14697683 0xb9262b5eb9cd… 0xa67e9f021b9d… 1,343,982,165,263.35938 KLEE 2022-05-02 10:04:50 +0000 UTC
0x9bf5b0c7… 14697670 0xaf048bc3e1ee… 0x1c68e43890fe… 7,089,247,014,458.06934 KLEE 2022-05-02 10:02:19 +0000 UTC
0xec69ef60… 14697667 0x8044e86ca196… 0xdd62fc4ff418… 10,203,770,454,468.10742 KLEE 2022-05-02 10:01:21 +0000 UTC
0x4256e6d6… 14697643 0x5d5d81724d59… 0xa67e9f021b9d… 1,227,846,534,860.40112 KLEE 2022-05-02 09:55:17 +0000 UTC
0x150b6e07… 14697643 0x376ec81e1f4c… 0xa67e9f021b9d… 4,342,965,642,521.48828 KLEE 2022-05-02 09:55:17 +0000 UTC
0x86653c0f… 14697636 0xaf048bc3e1ee… 0x1c68e43890fe… 98,000,000,000.00000 KLEE 2022-05-02 09:53:39 +0000 UTC
0x136dd594… 14697616 0xd00ed966a7f0… 0xa67e9f021b9d… 1,723,770,172,741.59180 KLEE 2022-05-02 09:48:55 +0000 UTC
0x060ad679… 14697594 0xb63f7f76f030… 0xa67e9f021b9d… 23,329,756,433,778.34766 KLEE 2022-05-02 09:44:36 +0000 UTC
0xe22c02c8… 14697572 0xe033480d7d80… 0xa67e9f021b9d… 14,025,588,086,219.09375 KLEE 2022-05-02 09:37:52 +0000 UTC
0x1d269a59… 14697566 0xa64061327723… 0xa67e9f021b9d… 203,194,551,593.80331 KLEE 2022-05-02 09:36:28 +0000 UTC
0xab5cf5b9… 14697559 0x26beadbaf2f7… 0xa67e9f021b9d… 7,907,894,028,609.43750 KLEE 2022-05-02 09:34:33 +0000 UTC
0x2b1b72fe… 14697546 0x3f4ad062f4d5… 0x8771906e7fd8… 101,071,897,716,116.03125 KLEE 2022-05-02 09:32:23 +0000 UTC
0x4b782ca8… 14697545 0xa76f224981bb… 0xa67e9f021b9d… 1,426,461,981,206.38257 KLEE 2022-05-02 09:32:13 +0000 UTC
0x1281c31e… 14697533 0xc75a2b294238… 0xa67e9f021b9d… 5,656,166,023,813.80859 KLEE 2022-05-02 09:30:34 +0000 UTC
0x05a7643e… 14697532 0x73d0d29774a7… 0xb19ea1d1b9ed… 2,165,011,679,175.35376 KLEE 2022-05-02 09:30:28 +0000 UTC
0x8ebfe115… 14697506 0x5a5c953805ff… 0xe033480d7d80… 14,311,435,367,407.85156 KLEE 2022-05-02 09:25:34 +0000 UTC
0xd24046e5… 14697503 0x04663c984a24… 0xa67e9f021b9d… 1,271,089,814,575.34473 KLEE 2022-05-02 09:24:29 +0000 UTC
0x18b4a0ff… 14697444 0x5e330e768bc2… 0xa67e9f021b9d… 10,378,977,506,244.76953 KLEE 2022-05-02 09:11:11 +0000 UTC
0x6e0f64e7… 14697417 0xcd7851e31601… 0xef362d2d93dd… 941,917,768,329.36206 KLEE 2022-05-02 09:06:27 +0000 UTC
0xe9bf66fc… 14697392 0x722c72c965ac… 0xa67e9f021b9d… 150,025,099,915,253.00000 KLEE 2022-05-02 08:59:28 +0000 UTC
0xe2a7327e… 14697390 0xe44e115f63eb… 0xa67e9f021b9d… 2,727,503,048,432.02881 KLEE 2022-05-02 08:59:23 +0000 UTC
0x006bfb6b… 14697360 0x570c318cf7e2… 0xa67e9f021b9d… 279,262,497,076.36755 KLEE 2022-05-02 08:51:01 +0000 UTC
0x976db193… 14697304 0x8044e86ca196… 0x66e70f6812a1… 25,538,755,235,518.16797 KLEE 2022-05-02 08:36:17 +0000 UTC
0x0065cfc6… 14697281 0x8044e86ca196… 0xaf048bc3e1ee… 128,320,859,870,638.43750 KLEE 2022-05-02 08:31:48 +0000 UTC
0xeb56320b… 14697268 0xeb1d6db04461… 0xa67e9f021b9d… 153,885,870,183.16687 KLEE 2022-05-02 08:29:04 +0000 UTC
0x19eb0d91… 14697231 0xc8559372440a… 0xa67e9f021b9d… 163,823,914,414.24063 KLEE 2022-05-02 08:20:09 +0000 UTC
0xb5172728… 14697211 0x2de9f62ddf21… 0xa67e9f021b9d… 314,685,771,152.49457 KLEE 2022-05-02 08:15:09 +0000 UTC
0x62364d28… 14697197 0x4c6304e6091b… 0xa67e9f021b9d… 27,937,645,388,445.43359 KLEE 2022-05-02 08:13:13 +0000 UTC
0x85570ddd… 14697195 0xc70384a960e1… 0xa67e9f021b9d… 2,662,930,421,120.11816 KLEE 2022-05-02 08:12:29 +0000 UTC
0x36c9f559… 14697163 0x9f32d09ca4bf… 0xa67e9f021b9d… 598,546,746,194.42444 KLEE 2022-05-02 08:05:33 +0000 UTC
0x9a898b1b… 14697135 0x45437a212b12… 0xa67e9f021b9d… 8,642,650,159,000.78418 KLEE 2022-05-02 07:59:03 +0000 UTC
0x95c638d3… 14697092 0xeaee2ed3187a… 0xa67e9f021b9d… 1,743,993,795,662.66577 KLEE 2022-05-02 07:50:32 +0000 UTC
0x95c638d3… 14697091 0xeaee2ed3187a… 0xa67e9f021b9d… 1,743,993,795,662.66577 KLEE 2022-05-02 07:50:04 +0000 UTC
0x30446248… 14697085 0xb76e874f769f… 0xa67e9f021b9d… 103,356,856,139,777.62500 KLEE 2022-05-02 07:47:20 +0000 UTC
0x0e552e80… 14697053 0x68e7106e98fb… 0xa67e9f021b9d… 3,460,574,779,737.26660 KLEE 2022-05-02 07:42:18 +0000 UTC
0x9434db82… 14697033 0x008a38438bd3… 0xa67e9f021b9d… 8,223,466,275,811.07422 KLEE 2022-05-02 07:38:33 +0000 UTC
0x9434db82… 14697033 0x008a38438bd3… 0xa67e9f021b9d… 8,223,466,275,811.07422 KLEE 2022-05-02 07:38:33 +0000 UTC
0x24c5dcc6… 14697024 0xb32232eb2d1c… 0xa67e9f021b9d… 11,682,177,697,509.19531 KLEE 2022-05-02 07:34:59 +0000 UTC
0xe0a71627… 14696984 0x8044e86ca196… 0x5a5c953805ff… 14,602,000,000,000.00000 KLEE 2022-05-02 07:24:01 +0000 UTC
0x03a54370… 14696916 0x08d0b9aa7121… 0xbefae27ec4ae… 7,740,040,000,000.00000 KLEE 2022-05-02 07:07:50 +0000 UTC
0xc4b21a33… 14696904 0xc88f2288368c… 0x8044e86ca196… 4,355,339,008,534.30029 KLEE 2022-05-02 07:04:57 +0000 UTC
0x34aeb3d4… 14696892 0x200c326a96fd… 0xa67e9f021b9d… 4,893,098,525,311.93945 KLEE 2022-05-02 07:01:42 +0000 UTC
0x9788d34f… 14696858 0x877b19b19b14… 0xa67e9f021b9d… 406,989,090,408.16827 KLEE 2022-05-02 06:54:22 +0000 UTC
0xc8426f90… 14696829 0x5c67eca997aa… 0xa67e9f021b9d… 2,989,262,987,797.15820 KLEE 2022-05-02 06:49:23 +0000 UTC
0xb32146a2… 14696814 0x57d6fa663a18… 0x8044e86ca196… 2,427,171,915,153.27783 KLEE 2022-05-02 06:44:01 +0000 UTC
0x713e58aa… 14696776 0xd11ce48ae323… 0xa67e9f021b9d… 1,820,318,784,328.99878 KLEE 2022-05-02 06:34:45 +0000 UTC
0x6f60f669… 14696751 0x75f43cc1ae51… 0xa67e9f021b9d… 8,588,665,852,730.69043 KLEE 2022-05-02 06:30:49 +0000 UTC
0xfab64e43… 14696740 0xa16d141664b1… 0xa67e9f021b9d… 7,272,823,683,981.65332 KLEE 2022-05-02 06:29:01 +0000 UTC
0x435c1371… 14696722 0xdca10b434b88… 0xa67e9f021b9d… 800,172,071,593.57190 KLEE 2022-05-02 06:24:35 +0000 UTC
0x0f46c9f3… 14696702 0x2abcf57f0937… 0xa67e9f021b9d… 11,631,719,698,417.20312 KLEE 2022-05-02 06:19:38 +0000 UTC
0x8595fa1f… 14696691 0x0c3c1d524aea… 0xa67e9f021b9d… 4,125,396,050,249.88525 KLEE 2022-05-02 06:17:00 +0000 UTC
0x4d966c75… 14696640 0xd68b57e44b6b… 0xa67e9f021b9d… 535,185,890,348,421.81250 KLEE 2022-05-02 06:08:08 +0000 UTC
0x7f304483… 14696616 0x197b21c39d55… 0xa67e9f021b9d… 18,566,289,299,330.58203 KLEE 2022-05-02 06:01:19 +0000 UTC
0x5481af14… 14696506 0x8948d536e2c1… 0xa67e9f021b9d… 1,104,855,092,683.42749 KLEE 2022-05-02 05:35:31 +0000 UTC
0x03841bbf… 14696495 0x67592fab01dc… 0xb19ea1d1b9ed… 1,134,841,519,078.58057 KLEE 2022-05-02 05:33:33 +0000 UTC
0x49e70b01… 14696494 0xe71375bd6c4b… 0xa67e9f021b9d… 1,037,777,402,882.85498 KLEE 2022-05-02 05:33:27 +0000 UTC
0x63ef0b29… 14696472 0x3847a92f8491… 0xa67e9f021b9d… 86,251,266,710,039.26562 KLEE 2022-05-02 05:29:21 +0000 UTC
0x89122268… 14696421 0xe0a616c3659b… 0xdb7cfaca6f17… 120,143,845,156,215.31250 KLEE 2022-05-02 05:18:14 +0000 UTC
0x29eb9a0d… 14696366 0x804c25407817… 0xfe19147e3f14… 2,065,537,724,528.67896 KLEE 2022-05-02 05:02:07 +0000 UTC
0x0defb50a… 14696352 0x190b5d9d6ca2… 0xa67e9f021b9d… 1,841,332,180,737.79321 KLEE 2022-05-02 05:00:12 +0000 UTC
0x2d713fb7… 14696297 0x79393fed4af4… 0xa67e9f021b9d… 214,715.60018 KLEE 2022-05-02 04:50:06 +0000 UTC
0xad0ba9e0… 14696228 0x447ea4127c75… 0xa67e9f021b9d… 3,687,527,786,221.53174 KLEE 2022-05-02 04:34:53 +0000 UTC
0xd51b0d20… 14696217 0x62f36e4d854b… 0xa67e9f021b9d… 1,074,301,074,761.27588 KLEE 2022-05-02 04:32:20 +0000 UTC
0xf5358377… 14696193 0xf9cdc0e27fea… 0xa67e9f021b9d… 583,728,444,057.39490 KLEE 2022-05-02 04:28:08 +0000 UTC
0x68365d48… 14696134 0x421a4f1022c5… 0xa67e9f021b9d… 234,716,772,753.98007 KLEE 2022-05-02 04:15:05 +0000 UTC
0xae4feeda… 14696133 0xb18efe8fa39d… 0xa67e9f021b9d… 13,026,201,503,955.65430 KLEE 2022-05-02 04:14:31 +0000 UTC
0x8208855a… 14696118 0x8044e86ca196… 0x277ccfab0c99… 90,486,673,172,387.10938 KLEE 2022-05-02 04:11:36 +0000 UTC
0x0e6df378… 14696072 0xd88552b5ef59… 0xa67e9f021b9d… 1,049,086,144,292.79236 KLEE 2022-05-02 03:57:45 +0000 UTC
0x41204e0a… 14696022 0xc7041685ba54… 0xa67e9f021b9d… 7,324,158,390,928.04492 KLEE 2022-05-02 03:42:36 +0000 UTC
0x60f9449c… 14695984 0xd91ef46e4a1e… 0x8044e86ca196… 16,704,257,490,586.70312 KLEE 2022-05-02 03:33:25 +0000 UTC
0x9bce9467… 14695981 0x8bbb7aabde33… 0xa67e9f021b9d… 260,728,971,943,351.28125 KLEE 2022-05-02 03:32:56 +0000 UTC
0x34a05b08… 14695969 0xbb8a7739fa37… 0xa67e9f021b9d… 59,653,975,740,641.92969 KLEE 2022-05-02 03:30:10 +0000 UTC
0xf2120f47… 14695934 0x2c84a419003e… 0xa67e9f021b9d… 5,602,042,979,946.50000 KLEE 2022-05-02 03:24:02 +0000 UTC
0x75505d2e… 14695902 0x33d67b4398e3… 0xa67e9f021b9d… 78,238,434,654,370.67188 KLEE 2022-05-02 03:17:01 +0000 UTC
0x4fa85fa3… 14695885 0x2db7cfb582e0… 0xa67e9f021b9d… 2,782,864,538,485.38721 KLEE 2022-05-02 03:12:42 +0000 UTC
0x3cd3cab2… 14695862 0x174c0cd4abe8… 0xa67e9f021b9d… 2,210,930,205,374.82227 KLEE 2022-05-02 03:06:30 +0000 UTC
0xf4768f04… 14695862 0x373e6b069915… 0xa67e9f021b9d… 1,994,077,689,376.36987 KLEE 2022-05-02 03:06:30 +0000 UTC
0x5c8b43e4… 14695857 0xc8e6720196fa… 0xa67e9f021b9d… 1,048,691,839,574.16980 KLEE 2022-05-02 03:05:47 +0000 UTC
0xd51154fe… 14695848 0xaa83622ff6d5… 0xa67e9f021b9d… 377,532,492,813.44989 KLEE 2022-05-02 03:03:28 +0000 UTC
0x5648db1d… 14695829 0x336f466d9ff0… 0xa67e9f021b9d… 2,370,010,431,160.90527 KLEE 2022-05-02 03:00:28 +0000 UTC
0xcb06c641… 14695769 0x18cd5eeea07e… 0xa67e9f021b9d… 5,439,145,018,156.95703 KLEE 2022-05-02 02:45:37 +0000 UTC
0x698a8119… 14695769 0x62e2ccda508c… 0xa67e9f021b9d… 451,656,799,613.20038 KLEE 2022-05-02 02:45:37 +0000 UTC
0xc3cd9008… 14695767 0x277ccfab0c99… 0xa67e9f021b9d… 24,286,407,799,113.70703 KLEE 2022-05-02 02:45:31 +0000 UTC
0x93522a2e… 14695750 0x32404828729a… 0xa67e9f021b9d… 6,200,686,290,971.40625 KLEE 2022-05-02 02:42:17 +0000 UTC
0x8707c894… 14695744 0xc85b338dc1b0… 0xa67e9f021b9d… 34,572,968,746.10257 KLEE 2022-05-02 02:41:00 +0000 UTC
0x3074a9b4… 14695735 0x38cd8df08523… 0xa67e9f021b9d… 13,507,665,242,397.83594 KLEE 2022-05-02 02:38:20 +0000 UTC
0x46761780… 14695672 0x4ca7029c4e6c… 0xa67e9f021b9d… 3,906,002,539,737.33984 KLEE 2022-05-02 02:24:59 +0000 UTC
0xbcd2c775… 14695646 0x1c291f73cc47… 0xa67e9f021b9d… 2,682,425,844,255.10010 KLEE 2022-05-02 02:18:36 +0000 UTC
0xa4f70a24… 14695569 0xe8d170d150a7… 0xa67e9f021b9d… 2,114,640,411,408.72314 KLEE 2022-05-02 01:57:05 +0000 UTC
0x480c12f3… 14695568 0xfffe0bea3dff… 0xa67e9f021b9d… 52,269,881,214,147.68750 KLEE 2022-05-02 01:57:00 +0000 UTC
0x54639f29… 14695563 0xbd519d3f1893… 0xa67e9f021b9d… 42,539,871,095,520.55469 KLEE 2022-05-02 01:55:25 +0000 UTC
0x7ab7d026… 14695550 0x2eb62bc33ffe… 0xa67e9f021b9d… 145,214,389,641.85614 KLEE 2022-05-02 01:53:17 +0000 UTC
0x170f5728… 14695522 0x1d3d7288bb57… 0xa67e9f021b9d… 3,197,169,354,446.35059 KLEE 2022-05-02 01:47:23 +0000 UTC
0x917067af… 14695521 0x33170196cb15… 0xa67e9f021b9d… 1,435,049,541,654.33789 KLEE 2022-05-02 01:47:11 +0000 UTC
0x707848d7… 14695520 0x558b1c7a217e… 0xb19ea1d1b9ed… 1,756,135,844,450.37280 KLEE 2022-05-02 01:46:48 +0000 UTC
0xdab94324… 14695515 0x658c9a833902… 0xa67e9f021b9d… 716,081,757,714.52454 KLEE 2022-05-02 01:46:20 +0000 UTC
0x73b34a0d… 14695503 0xf56b9197a9d1… 0xe5b8ff1ca1c3… 244,902,053,073,592.12500 KLEE 2022-05-02 01:43:31 +0000 UTC
0x895f3db9… 14695487 0xcb2f5e501ece… 0xa67e9f021b9d… 716,481,635,691.14563 KLEE 2022-05-02 01:40:46 +0000 UTC
0x1a859741… 14695469 0x9b8f7e18895b… 0xa67e9f021b9d… 6,177,687,018,733.48242 KLEE 2022-05-02 01:34:22 +0000 UTC
0x2401d631… 14695462 0x7cb364e7b9c2… 0xa67e9f021b9d… 32,043,307,350,460.31250 KLEE 2022-05-02 01:31:55 +0000 UTC
0xff5b92d7… 14695445 0x83adc093b16e… 0xa67e9f021b9d… 1,692,130,322,147.86182 KLEE 2022-05-02 01:27:55 +0000 UTC
0xaa347c3c… 14695429 0xb2c916d1e712… 0xa67e9f021b9d… 26,047,626,211,583.14844 KLEE 2022-05-02 01:26:10 +0000 UTC
0x23572624… 14695425 0x80b37482b1f8… 0xf56b9197a9d1… 249,883,847,963,993.06250 KLEE 2022-05-02 01:25:12 +0000 UTC
0xd97caa0d… 14695404 0xa47ea37b40c0… 0xa67e9f021b9d… 1,050,569,730,312.29871 KLEE 2022-05-02 01:21:06 +0000 UTC
0x7bc904e0… 14695396 0x32ea54978bcd… 0xa67e9f021b9d… 591,850,036,922.40747 KLEE 2022-05-02 01:18:56 +0000 UTC
0x02f9a46a… 14695377 0xe83ffef36a83… 0x558b1c7a217e… 1,791,767,717,456.44629 KLEE 2022-05-02 01:14:43 +0000 UTC
0x082b627f… 14695325 0x2b0f1b3b9fe3… 0xa67e9f021b9d… 330,505,696,322.13007 KLEE 2022-05-02 01:05:58 +0000 UTC
0x4da60a2c… 14695316 0xc88b5277cda8… 0x07888c3c5d25… 377,719,366,709,913.56250 KLEE 2022-05-02 01:04:43 +0000 UTC
0x4da60a2c… 14695316 0xc88b5277cda8… 0x07888c3c5d25… 377,719,366,709,913.56250 KLEE 2022-05-02 01:04:43 +0000 UTC
0x2f2fc379… 14695254 0x40dffa04c2f4… 0xc88b5277cda8… 385,397,494,352,120.75000 KLEE 2022-05-02 00:52:10 +0000 UTC
0xcf160db7… 14695243 0x7d73558e79d0… 0xa67e9f021b9d… 240,315,346,328.50745 KLEE 2022-05-02 00:49:40 +0000 UTC
0x65edf709… 14695242 0x8044e86ca196… 0x40dffa04c2f4… 393,231,068,780,597.93750 KLEE 2022-05-02 00:49:00 +0000 UTC
0x011eaa89… 14695200 0xd5a63d12e11d… 0x80530be92370… 1,420,481,946,795.17554 KLEE 2022-05-02 00:39:38 +0000 UTC
0xacb4dfa7… 14695192 0x7a03d8909408… 0xa67e9f021b9d… 98,447,351,744.99153 KLEE 2022-05-02 00:38:28 +0000 UTC
0xa6fe37fc… 14695155 0x8206d11de25b… 0xa67e9f021b9d… 23,517,945,984,930.94922 KLEE 2022-05-02 00:29:57 +0000 UTC
0x76f16174… 14695114 0x3b84b42df25c… 0xa67e9f021b9d… 11,420,653,588,233.61914 KLEE 2022-05-02 00:21:26 +0000 UTC
0x66fd28d5… 14695080 0x8044e86ca196… 0x08d0b9aa7121… 349,550,553,557,752.93750 KLEE 2022-05-02 00:16:35 +0000 UTC
0x5fb30c53… 14695071 0xbefae27ec4ae… 0x08d0b9aa7121… 347,887,940,230,680.87500 KLEE 2022-05-02 00:14:59 +0000 UTC
0xecf41996… 14695068 0xdab6ce6f04a0… 0xa67e9f021b9d… 965,691,900,410.70471 KLEE 2022-05-02 00:13:58 +0000 UTC
0x235bb18c… 14695062 0x08d0b9aa7121… 0xbefae27ec4ae… 354,961,879,999,999.93750 KLEE 2022-05-02 00:11:37 +0000 UTC
0x649a3c67… 14695032 0xbc7b285261f7… 0xa67e9f021b9d… 1,628,807,917,760.85669 KLEE 2022-05-02 00:04:41 +0000 UTC
0x63cf3abe… 14695004 0x8fb0787eadbd… 0xa67e9f021b9d… 1,260,144,201,082.63965 KLEE 2022-05-01 23:58:28 +0000 UTC
0x3410671d… 14694932 0x6a4d6c80cc72… 0xa67e9f021b9d… 6,884,321,947,860.41699 KLEE 2022-05-01 23:40:24 +0000 UTC
0x381b606a… 14694914 0xaef3d7079d7b… 0xa67e9f021b9d… 45,953,292,823.84200 KLEE 2022-05-01 23:35:16 +0000 UTC
0x639917e4… 14694912 0x8b8ed81cd31d… 0xa67e9f021b9d… 38,225,963,415.21360 KLEE 2022-05-01 23:34:56 +0000 UTC
0x1cda07b1… 14694904 0xc2db20648cfe… 0xa67e9f021b9d… 288,548,352,265.39954 KLEE 2022-05-01 23:33:48 +0000 UTC
0x043d256d… 14694882 0x0c10e0b95922… 0xa67e9f021b9d… 1,240,692,457,344.74780 KLEE 2022-05-01 23:29:26 +0000 UTC
0xe68d146c… 14694786 0xf1df079a3627… 0xa67e9f021b9d… 1,661,511,364,208.14331 KLEE 2022-05-01 23:06:35 +0000 UTC
0x6f13a77b… 14694782 0x6cad728b6639… 0xa67e9f021b9d… 19,148,958,507,953.29688 KLEE 2022-05-01 23:06:03 +0000 UTC
0xb96267c2… 14694769 0x1fdfc24fbb83… 0xa67e9f021b9d… 12,342,990,094,649.50195 KLEE 2022-05-01 23:03:08 +0000 UTC
0x042442fc… 14694696 0xadd64f58f60e… 0xa67e9f021b9d… 1,176,565,484,105.68359 KLEE 2022-05-01 22:50:33 +0000 UTC
0x902cca85… 14694667 0x8fd65a18e500… 0xa67e9f021b9d… 2,464,700,558,528.39648 KLEE 2022-05-01 22:44:35 +0000 UTC
0x1e5d0c9e… 14694666 0x62b638b2651e… 0xa67e9f021b9d… 2,348,030,700,525.46484 KLEE 2022-05-01 22:44:02 +0000 UTC
0x4d9e2817… 14694664 0x48c04ed56919… 0xb19ea1d1b9ed… 23,277,398,924.43742 KLEE 2022-05-01 22:43:34 +0000 UTC
0xf01a0b6e… 14694662 0x8f302bd1eb6c… 0xa67e9f021b9d… 2,555,783,770,625.45410 KLEE 2022-05-01 22:43:20 +0000 UTC
0x7830f529… 14694640 0x483cdbe10a27… 0xa67e9f021b9d… 1,125,056,493,532.92847 KLEE 2022-05-01 22:37:19 +0000 UTC
0xcaf2c219… 14694610 0xabb7307cc18a… 0xa67e9f021b9d… 1,682,726,247,992.49658 KLEE 2022-05-01 22:29:37 +0000 UTC
0x864316ef… 14694600 0xf0d31d315876… 0xa67e9f021b9d… 1,498,088,490,124.82788 KLEE 2022-05-01 22:27:54 +0000 UTC
0xb1aa07ca… 14694521 0xbf831c1b0846… 0xa67e9f021b9d… 262,241,262,724.10846 KLEE 2022-05-01 22:08:15 +0000 UTC
0xed67c85d… 14694425 0xd1c099791e56… 0xa67e9f021b9d… 6,215,236,357,572.68457 KLEE 2022-05-01 21:46:41 +0000 UTC
0x27ab7b01… 14694413 0x26a787c626d2… 0xa67e9f021b9d… 69,144,729,561,285.67188 KLEE 2022-05-01 21:44:58 +0000 UTC
0x82bca39f… 14694409 0x6a2b536fa428… 0xa67e9f021b9d… 1,220,853,157,690.58374 KLEE 2022-05-01 21:43:09 +0000 UTC
0xd3d94775… 14694407 0x2955abd93f57… 0xa67e9f021b9d… 439,663,378,956.64264 KLEE 2022-05-01 21:42:30 +0000 UTC
0x36109593… 14694383 0x2169c4d7b5af… 0xa67e9f021b9d… 2,425,385,689,163.31641 KLEE 2022-05-01 21:37:59 +0000 UTC
0xe846993c… 14694261 0xcc2d3b3fae0e… 0xa67e9f021b9d… 2,547,143,883,820.43506 KLEE 2022-05-01 21:12:22 +0000 UTC
0xdd556c04… 14694153 0xde698c07f905… 0xa67e9f021b9d… 765,602,592,686.93542 KLEE 2022-05-01 20:46:47 +0000 UTC
0xe8c1a6bc… 14694115 0x3e43c358787e… 0xd38611e112b1… 14,948,218,833,710.33594 KLEE 2022-05-01 20:38:35 +0000 UTC
0xc6056872… 14694115 0x45d93d762cff… 0xa67e9f021b9d… 3,680,543,086,340.85742 KLEE 2022-05-01 20:38:35 +0000 UTC
0xae9b156d… 14694115 0xab4a5c3414aa… 0xa67e9f021b9d… 3,707,165,969,006.64014 KLEE 2022-05-01 20:38:35 +0000 UTC
0x543d1836… 14694100 0x2d2edb36f4ef… 0xa67e9f021b9d… 2,445,655,031,801.49561 KLEE 2022-05-01 20:34:41 +0000 UTC
0xb687fff8… 14694090 0xfbca00161569… 0x2d2edb36f4ef… 2,495,565,083,129.66260 KLEE 2022-05-01 20:33:14 +0000 UTC
0x72a7f815… 14694070 0x0ac845876525… 0xa67e9f021b9d… 2,555,866,510,572.50635 KLEE 2022-05-01 20:29:40 +0000 UTC
0x87248093… 14694064 0x7f5a0a6847fd… 0xa67e9f021b9d… 11,602,521,804,518.18555 KLEE 2022-05-01 20:28:22 +0000 UTC
0x4340f53b… 14694062 0x6461ba7ccf5e… 0xa67e9f021b9d… 1,221,495,568,116.88428 KLEE 2022-05-01 20:28:07 +0000 UTC
0x82e5eb57… 14694043 0x2d50c597caf1… 0xa67e9f021b9d… 2,078,662,173,049.78442 KLEE 2022-05-01 20:24:32 +0000 UTC
0x7a3b50ac… 14694019 0x0c134a0b4719… 0xa67e9f021b9d… 1,501,712,142,537.36938 KLEE 2022-05-01 20:19:29 +0000 UTC
0x3a15a7ef… 14693993 0xd794667f4b45… 0xa67e9f021b9d… 10,016,720,745,877.78711 KLEE 2022-05-01 20:12:59 +0000 UTC
0x90ca0558… 14693979 0xc0915654c700… 0xa67e9f021b9d… 1,378,898,000,056.18994 KLEE 2022-05-01 20:09:43 +0000 UTC
0x91f5692b… 14693938 0xdc931ac1ef6e… 0xa67e9f021b9d… 456,271,279,349.54749 KLEE 2022-05-01 19:59:31 +0000 UTC
0xc6b969fa… 14693774 0x391bc0658a39… 0xb19ea1d1b9ed… 378,564,564,914,535.18750 KLEE 2022-05-01 19:20:42 +0000 UTC
0xdd0f45bf… 14693770 0xf7f6a3515f99… 0x01ffff835fb3… 524,895,225,549.22363 KLEE 2022-05-01 19:20:02 +0000 UTC
0x860d21dc… 14693744 0x448fe2511636… 0xa67e9f021b9d… 2,123,198,169,806.30786 KLEE 2022-05-01 19:15:37 +0000 UTC
0x85b6c131… 14693693 0x7d551c20e2df… 0xa67e9f021b9d… 1,962,245,868,168.79883 KLEE 2022-05-01 19:04:04 +0000 UTC
0x59dd76da… 14693689 0x4ebd211696ec… 0x304a141e6ef3… 8,203,683,705,332.56445 KLEE 2022-05-01 19:01:31 +0000 UTC
0x28ef2352… 14693688 0xa5875a83c61a… 0xa67e9f021b9d… 173,461,448,027.42380 KLEE 2022-05-01 19:00:55 +0000 UTC
0x9da17465… 14693681 0xe6bad058021a… 0xa67e9f021b9d… 1,602,923,720,733.52783 KLEE 2022-05-01 18:59:48 +0000 UTC
0xf6d9d6bc… 14693676 0xc965dfc64077… 0xa67e9f021b9d… 2,439,869,446,687.03027 KLEE 2022-05-01 18:58:52 +0000 UTC
0xc1f11ed0… 14693666 0x8c696d5e077b… 0xa67e9f021b9d… 1,133,996,104,622.16797 KLEE 2022-05-01 18:57:27 +0000 UTC
0x94502b4e… 14693665 0x64a3d421d026… 0xa67e9f021b9d… 440,630,454,023.55096 KLEE 2022-05-01 18:57:25 +0000 UTC
0x928a46d9… 14693568 0x5195283cdf7b… 0xa67e9f021b9d… 3,132,751,200,330.85059 KLEE 2022-05-01 18:33:20 +0000 UTC
0xa4450f25… 14693560 0xc4b4f657f742… 0x8044e86ca196… 124,807,506,483,205.84375 KLEE 2022-05-01 18:31:52 +0000 UTC
0x0f7e9198… 14693523 0xe0a616c3659b… 0x80b37482b1f8… 127,400,000,000,000.00000 KLEE 2022-05-01 18:20:06 +0000 UTC
0x34c3cd87… 14693520 0x8044e86ca196… 0x02b7faf71601… 135,149,376,481,652.03125 KLEE 2022-05-01 18:19:46 +0000 UTC
0x2d766d24… 14693514 0xee6c49529dc0… 0xa67e9f021b9d… 411,185,129,573.10364 KLEE 2022-05-01 18:18:58 +0000 UTC
0xd7930b34… 14693506 0xe7c7611b8e05… 0x07888c3c5d25… 130,881,491,693,533.76562 KLEE 2022-05-01 18:16:54 +0000 UTC
0xad8c5f38… 14693479 0xeb276e8bf3d2… 0xa67e9f021b9d… 16,708,874,461,957.72461 KLEE 2022-05-01 18:11:28 +0000 UTC
0x632c0498… 14693465 0x54e651afdcf1… 0xa67e9f021b9d… 263,999,692,844.74219 KLEE 2022-05-01 18:08:03 +0000 UTC
0x1ebb0940… 14693441 0xdfc43d46410c… 0xe7c7611b8e05… 133,548,439,901,984.53125 KLEE 2022-05-01 18:03:58 +0000 UTC
0x021e2fa0… 14693438 0x8044e86ca196… 0xdfc43d46410c… 136,270,076,709,743.40625 KLEE 2022-05-01 18:03:18 +0000 UTC
0x62f85289… 14693419 0xe7c7611b8e05… 0xe5b8ff1ca1c3… 132,005,525,801,536.64062 KLEE 2022-05-01 17:59:16 +0000 UTC
0xcd28dde7… 14693408 0x958c50339d96… 0xa67e9f021b9d… 14,395,690,182,171.60352 KLEE 2022-05-01 17:57:11 +0000 UTC
0xd9b0f222… 14693400 0xb82267fe0351… 0xa67e9f021b9d… 4,482,866,754,030.01172 KLEE 2022-05-01 17:54:04 +0000 UTC
0xd4333832… 14693390 0xe0a616c3659b… 0x80b37482b1f8… 127,400,000,000,000.00000 KLEE 2022-05-01 17:52:15 +0000 UTC
0x1dfd1897… 14693380 0x08d0b9aa7121… 0x03f7724180aa… 322,337,840,170,680.31250 KLEE 2022-05-01 17:50:05 +0000 UTC
0x1dfd1897… 14693380 0x03f7724180aa… 0x391bc0658a39… 315,911,865,593,763.12500 KLEE 2022-05-01 17:50:05 +0000 UTC
0x96008c0f… 14693377 0xdfc43d46410c… 0xe7c7611b8e05… 134,674,248,591,444.37500 KLEE 2022-05-01 17:49:51 +0000 UTC
0x7684a6c9… 14693375 0xf21783a38a34… 0xa67e9f021b9d… 1,841,377,152,613.70264 KLEE 2022-05-01 17:49:26 +0000 UTC
0x83a59fc5… 14693372 0x8044e86ca196… 0xdfc43d46410c… 137,418,848,574,009.28125 KLEE 2022-05-01 17:49:15 +0000 UTC
0xdabf9863… 14693329 0xc88b5277cda8… 0xe5b8ff1ca1c3… 267,353,272,288,122.15625 KLEE 2022-05-01 17:40:57 +0000 UTC
0x70e64940… 14693325 0xcb989c1930bd… 0xa67e9f021b9d… 1,195,109,080,381.16870 KLEE 2022-05-01 17:40:01 +0000 UTC
0xc9145adb… 14693258 0x2d3107cfb023… 0xa67e9f021b9d… 5,081,645,598,235.16797 KLEE 2022-05-01 17:24:35 +0000 UTC
0x064be0b5… 14693246 0x40dffa04c2f4… 0xc88b5277cda8… 272,793,923,775,459.81250 KLEE 2022-05-01 17:22:37 +0000 UTC
0x17c2689a… 14693243 0x8044e86ca196… 0x40dffa04c2f4… 278,344,421,951,733.87500 KLEE 2022-05-01 17:21:27 +0000 UTC
0xf6d32c1a… 14693243 0xcf2198a355a1… 0xa67e9f021b9d… 16,055,523,371,635.84766 KLEE 2022-05-01 17:21:27 +0000 UTC
0xab21f8fb… 14693236 0xe0a616c3659b… 0x7510c282c0d0… 127,400,000,000,000.00000 KLEE 2022-05-01 17:20:32 +0000 UTC
0x30cfc991… 14693215 0xcaf1eb83634b… 0xa67e9f021b9d… 10,775,123,581,977.71484 KLEE 2022-05-01 17:16:21 +0000 UTC
0x485385c0… 14693174 0x4d48af891c0f… 0xa67e9f021b9d… 46,645,250,705,240.41406 KLEE 2022-05-01 17:03:36 +0000 UTC
0xf4e13556… 14693122 0x09f667f33b5d… 0xa67e9f021b9d… 3,850,856,820,049.94482 KLEE 2022-05-01 16:52:40 +0000 UTC
0x741cd845… 14693063 0x2d2edb36f4ef… 0xfbca00161569… 2,544,697,072,933.47656 KLEE 2022-05-01 16:39:12 +0000 UTC
0x34b59aa5… 14693045 0x5961cdbbe665… 0xa67e9f021b9d… 303,619,433,833,822.37500 KLEE 2022-05-01 16:34:17 +0000 UTC
0x949228dc… 14693040 0xe7c7611b8e05… 0x07888c3c5d25… 135,402,169,500,993.31250 KLEE 2022-05-01 16:32:30 +0000 UTC
0x27c9cb00… 14693021 0x7dd7d2ed5aa5… 0xb19ea1d1b9ed… 2,515,289,601,739.93506 KLEE 2022-05-01 16:27:53 +0000 UTC
0xf426b370… 14692987 0x0a367c76953b… 0xa67e9f021b9d… 6,881,821,069,457.86621 KLEE 2022-05-01 16:18:44 +0000 UTC
0x8663f411… 14692932 0x05b64a5d9765… 0xa67e9f021b9d… 4,485,815,433,244.88379 KLEE 2022-05-01 16:05:41 +0000 UTC
0x68f70b2f… 14692875 0xdfc43d46410c… 0xe7c7611b8e05… 138,161,191,898,689.90625 KLEE 2022-05-01 15:52:44 +0000 UTC
0xcf7cbdbf… 14692864 0x8044e86ca196… 0xdfc43d46410c… 140,976,751,934,090.65625 KLEE 2022-05-01 15:50:46 +0000 UTC
0x841905b6… 14692861 0xe7c7611b8e05… 0xe5b8ff1ca1c3… 134,132,447,184,745.40625 KLEE 2022-05-01 15:50:17 +0000 UTC
0x830232dc… 14692803 0x1356df8dc066… 0xa67e9f021b9d… 352,981,462,984.41260 KLEE 2022-05-01 15:36:55 +0000 UTC
0x792501ca… 14692793 0xce584ef14112… 0x8044e86ca196… 33,762,510,020,701.28516 KLEE 2022-05-01 15:33:46 +0000 UTC
0x5c22a516… 14692776 0x2450df31b701… 0xa67e9f021b9d… 105,799,109,476.82597 KLEE 2022-05-01 15:29:38 +0000 UTC
0x93572eae… 14692765 0xdfc43d46410c… 0xe7c7611b8e05… 136,865,065,202,479.42188 KLEE 2022-05-01 15:28:31 +0000 UTC
0x482e0048… 14692760 0x08d0b9aa7121… 0xdfc43d46410c… 139,654,249,417,783.57812 KLEE 2022-05-01 15:27:18 +0000 UTC
0x8974160a… 14692745 0xf89073c0ad84… 0xa67e9f021b9d… 5,358,170,256,279.28516 KLEE 2022-05-01 15:24:03 +0000 UTC
0x5d06d26c… 14692723 0xf570b31e7574… 0xe5b8ff1ca1c3… 21,670,376,975,474.00781 KLEE 2022-05-01 15:18:50 +0000 UTC
0x8871dc08… 14692674 0xf570b31e7574… 0xe5b8ff1ca1c3… 980,000,000,000,000.00000 KLEE 2022-05-01 15:08:03 +0000 UTC
0xbeaf192c… 14692644 0xe0a616c3659b… 0x838fda746da6… 11,212,505,242,630.30078 KLEE 2022-05-01 15:00:59 +0000 UTC
0xf8d439ff… 14692636 0x870727673af0… 0x76c349de9a4e… 9,802,044,207,647.67383 KLEE 2022-05-01 14:58:58 +0000 UTC
0x65854e59… 14692634 0x870727673af0… 0xf570b31e7574… 1,021,890,664,698,821.25000 KLEE 2022-05-01 14:58:52 +0000 UTC
0x2844d3f7… 14692622 0x8044e86ca196… 0x870727673af0… 1,052,519,446,592,412.25000 KLEE 2022-05-01 14:56:39 +0000 UTC
0x5922f29a… 14692586 0x0d97f88a763b… 0xa67e9f021b9d… 22,184,982,762,428.52734 KLEE 2022-05-01 14:48:05 +0000 UTC
0x4d778aa1… 14692563 0x4dc2462685d8… 0xdc08b9db24e1… 1,015,777,870,033.68481 KLEE 2022-05-01 14:43:55 +0000 UTC
0x1bfd46ea… 14692554 0x24f3894cbbdf… 0xa67e9f021b9d… 1,587,903,174,248.63623 KLEE 2022-05-01 14:41:45 +0000 UTC
0x41819ee9… 14692553 0xafbd2569f4f4… 0xa67e9f021b9d… 4,681,530,538,173.59180 KLEE 2022-05-01 14:41:42 +0000 UTC
0xad93b795… 14692528 0x31cd34f02b9d… 0x24f3894cbbdf… 1,620,305,998,822.51172 KLEE 2022-05-01 14:35:13 +0000 UTC
0x3cd51b25… 14692482 0x3be5c2b08bdc… 0xa67e9f021b9d… 25,778,665,788,408.23438 KLEE 2022-05-01 14:25:27 +0000 UTC
0x4ec613d9… 14692460 0x08572fb98efe… 0xa67e9f021b9d… 2,278,638,310,138.07129 KLEE 2022-05-01 14:19:04 +0000 UTC
0x7c1a934a… 14692450 0x5b867d312773… 0xa67e9f021b9d… 3,049,448,508,861.98096 KLEE 2022-05-01 14:17:33 +0000 UTC
0xf9373ba9… 14692422 0xa94fb7fd9b11… 0xa67e9f021b9d… 3,810,638,622,208.26416 KLEE 2022-05-01 14:12:06 +0000 UTC
0xf42514d8… 14692380 0x25212facf11f… 0x08d0b9aa7121… 53,900,000,000,000.00000 KLEE 2022-05-01 14:01:42 +0000 UTC
0xc575130f… 14692375 0xf280ed14e181… 0xa67e9f021b9d… 1,949,270,854,816.86035 KLEE 2022-05-01 14:00:35 +0000 UTC
0xa5d971ac… 14692368 0xb19ea1d1b9ed… 0x8044e86ca196… 441,551,817,590,795.68750 KLEE 2022-05-01 13:59:46 +0000 UTC
0x3684ca34… 14692359 0xb3b7d5dfc63d… 0xa67e9f021b9d… 645,906,398,164.23206 KLEE 2022-05-01 13:58:25 +0000 UTC
0xa823269a… 14692315 0x2fc14b758845… 0xa67e9f021b9d… 2,569,572,924,028.75586 KLEE 2022-05-01 13:47:28 +0000 UTC
0x8e77e862… 14692292 0xe25b28b7bc3a… 0x7dd7d2ed5aa5… 2,564,314,485,382.88037 KLEE 2022-05-01 13:42:44 +0000 UTC
0xb36d79d0… 14692238 0x9074a7143ab3… 0xa67e9f021b9d… 293,124,406,285.76526 KLEE 2022-05-01 13:30:13 +0000 UTC
0x157cd389… 14692236 0x80530be92370… 0xd5a63d12e11d… 1,446,642,508,672.86450 KLEE 2022-05-01 13:29:53 +0000 UTC
0x69c252cb… 14692229 0xe0a616c3659b… 0xb19ea1d1b9ed… 127,400,000,000,000.00000 KLEE 2022-05-01 13:28:13 +0000 UTC
0x38629415… 14692215 0xaf338c887d7c… 0xa67e9f021b9d… 40,182,680,087.30615 KLEE 2022-05-01 13:23:35 +0000 UTC
0x148a5c34… 14692204 0x199ab3f1a22e… 0xa67e9f021b9d… 5,066,015,284,324.01855 KLEE 2022-05-01 13:20:32 +0000 UTC
0xeb44c3ef… 14692177 0xd33bd34b4ae0… 0xa67e9f021b9d… 10,228,783,672,154.72852 KLEE 2022-05-01 13:15:25 +0000 UTC
0xe0017e44… 14692167 0x936148bfb141… 0xa67e9f021b9d… 48,860,655,790,854.63281 KLEE 2022-05-01 13:12:51 +0000 UTC
0xa4ce1715… 14692136 0xf2cfc3036d26… 0xa67e9f021b9d… 670,301,547,553.67200 KLEE 2022-05-01 13:05:00 +0000 UTC
0xa5ab2f65… 14692134 0x8b9954683346… 0xa67e9f021b9d… 6,337,418,189,031.39844 KLEE 2022-05-01 13:04:19 +0000 UTC
0x50573278… 14692111 0x93b77111e8ab… 0xa67e9f021b9d… 1,448,223,557,111.74316 KLEE 2022-05-01 13:00:07 +0000 UTC
0xf1263204… 14692102 0x21096dd5a757… 0xa67e9f021b9d… 2,499,268,978,035.89600 KLEE 2022-05-01 12:57:54 +0000 UTC
0xc5017d01… 14692096 0xa8c865bfcf97… 0xa67e9f021b9d… 4,945,221,313,019.93262 KLEE 2022-05-01 12:57:16 +0000 UTC
0x9b13d2ae… 14692093 0xd3a0286aee48… 0xa67e9f021b9d… 4,902,499,827,120.90820 KLEE 2022-05-01 12:57:00 +0000 UTC
0xc45a49fa… 14692076 0xf07986cf47ca… 0xa67e9f021b9d… 1,351,187,686,433.55566 KLEE 2022-05-01 12:54:14 +0000 UTC
0x3b6ceed4… 14692050 0x08d0b9aa7121… 0x5961cdbbe665… 187,050,989,833,837.50000 KLEE 2022-05-01 12:47:33 +0000 UTC
0xf6becace… 14692034 0xda99aec58c07… 0xa67e9f021b9d… 8,125,504,230,567.06250 KLEE 2022-05-01 12:45:07 +0000 UTC
0x5bcfc4f6… 14692033 0xf6387fd97ada… 0xb19ea1d1b9ed… 295,259,422,978.31354 KLEE 2022-05-01 12:45:03 +0000 UTC
0xb64b10c7… 14692007 0x69e011afd703… 0xa67e9f021b9d… 259,791,201,119.85446 KLEE 2022-05-01 12:39:15 +0000 UTC
0x91d90e83… 14692000 0x15f7277cd702… 0xa67e9f021b9d… 1,278,122,472,424.37061 KLEE 2022-05-01 12:38:03 +0000 UTC
0x94b73e94… 14691992 0x67d86ca13d66… 0xa67e9f021b9d… 10,571,797,017,653.66602 KLEE 2022-05-01 12:36:56 +0000 UTC
0xc946c478… 14691983 0xe0a616c3659b… 0x8bf1c20ecb5a… 18,495,865,317,067.17969 KLEE 2022-05-01 12:34:07 +0000 UTC
0x69fbd932… 14691979 0x88545afc9791… 0xa67e9f021b9d… 1,427,511,413,953.54468 KLEE 2022-05-01 12:33:29 +0000 UTC
0xb60c2263… 14691959 0x5fa6da334eb7… 0xa67e9f021b9d… 401,438,039,642.04999 KLEE 2022-05-01 12:28:57 +0000 UTC
0x5577e330… 14691944 0xe1812c032652… 0xa67e9f021b9d… 30,961,549,736.89643 KLEE 2022-05-01 12:25:54 +0000 UTC
0x34698dad… 14691940 0x48f262c6254a… 0xa67e9f021b9d… 1,265,427,878,552.22388 KLEE 2022-05-01 12:24:24 +0000 UTC
0x2da20d0e… 14691910 0x8665a0450261… 0xa67e9f021b9d… 3,394,469,498,049.10938 KLEE 2022-05-01 12:16:49 +0000 UTC
0x044f35c6… 14691862 0xbe86cc6039e9… 0xa67e9f021b9d… 5,502,732,098,007.45312 KLEE 2022-05-01 12:06:23 +0000 UTC
0x3337d84c… 14691860 0xbbf4f6f04e84… 0xa67e9f021b9d… 802,780,877,562.35303 KLEE 2022-05-01 12:06:15 +0000 UTC
0xcbbdb6f3… 14691858 0xddcad0826c19… 0xa67e9f021b9d… 797,703,290,545.85059 KLEE 2022-05-01 12:05:32 +0000 UTC
0x047cd114… 14691830 0xc3e11524bc95… 0xa67e9f021b9d… 105,424,178,341.36298 KLEE 2022-05-01 11:58:58 +0000 UTC
0xa2fae384… 14691816 0x0ee4da3fb227… 0xa67e9f021b9d… 87,546,479,591.61115 KLEE 2022-05-01 11:56:07 +0000 UTC
0x30bc1299… 14691805 0x68192ff0646c… 0xa67e9f021b9d… 304,331,410,367,526.12500 KLEE 2022-05-01 11:53:56 +0000 UTC
0x54500c20… 14691754 0x8044e86ca196… 0x865d8cce369d… 38,122,426,685,276.71875 KLEE 2022-05-01 11:42:47 +0000 UTC
0xc2036cb0… 14691708 0xebda672aa437… 0xa67e9f021b9d… 2,677,226,493,935.36719 KLEE 2022-05-01 11:32:38 +0000 UTC
0xce53b670… 14691687 0x41a9fc098bc3… 0xa67e9f021b9d… 2,750,488,835,934.26611 KLEE 2022-05-01 11:27:14 +0000 UTC
0x03831f80… 14691679 0xe6c21b1ef120… 0xa67e9f021b9d… 4,506,507,901,252.41504 KLEE 2022-05-01 11:25:36 +0000 UTC
0x2139708f… 14691660 0x58401cbcb30b… 0x73d0d29774a7… 2,202,814,887,004.73535 KLEE 2022-05-01 11:22:01 +0000 UTC
0x7f58066a… 14691656 0x5ec7106011fb… 0xa67e9f021b9d… 3,594,269,339,264.41943 KLEE 2022-05-01 11:20:39 +0000 UTC
0x9498fe4f… 14691649 0x1d6092145d06… 0xa67e9f021b9d… 5,230,111,026,160.61035 KLEE 2022-05-01 11:18:55 +0000 UTC
0x1e719198… 14691631 0xe80bb5d2f8aa… 0xa67e9f021b9d… 2,775,958,285,526.08398 KLEE 2022-05-01 11:13:29 +0000 UTC
0xed6abace… 14691630 0x8274815ab8e0… 0xa67e9f021b9d… 100,218,475,408.34560 KLEE 2022-05-01 11:13:23 +0000 UTC
0x05ffbd77… 14691627 0x73df836ec0a0… 0xa67e9f021b9d… 619,245,108,789.62354 KLEE 2022-05-01 11:12:34 +0000 UTC
0xfe9a38e9… 14691618 0xde3685f513be… 0xa67e9f021b9d… 6,620,025,365,818.26855 KLEE 2022-05-01 11:10:11 +0000 UTC
0x149cbe36… 14691607 0xd0fb6ddbb211… 0xa67e9f021b9d… 993,249,165,922.68701 KLEE 2022-05-01 11:08:19 +0000 UTC
0x71b42398… 14691594 0xa57eab68eff0… 0xa67e9f021b9d… 117,976,603,120.34229 KLEE 2022-05-01 11:05:51 +0000 UTC
0x4138068d… 14691587 0x659944a473e9… 0xa67e9f021b9d… 1,780,780,294,342.81104 KLEE 2022-05-01 11:04:37 +0000 UTC
0x913e3aff… 14691574 0xc7adbf6489a2… 0xa67e9f021b9d… 1,739,160,721,556.25757 KLEE 2022-05-01 11:02:22 +0000 UTC
0xae5e1b45… 14691551 0x68528ed294cc… 0xa67e9f021b9d… 1,041,712,418,802.44678 KLEE 2022-05-01 10:57:01 +0000 UTC
0xf2ceb058… 14691540 0x9a751035af1f… 0xa67e9f021b9d… 2,517,049,862,230.38623 KLEE 2022-05-01 10:54:48 +0000 UTC
0x9a10c9cf… 14691510 0x7268baa993c1… 0xa67e9f021b9d… 1,878,558,051,080.63208 KLEE 2022-05-01 10:44:32 +0000 UTC
0xd7703212… 14691492 0xdc6aba33685e… 0xa67e9f021b9d… 25,139,845,559,446.90625 KLEE 2022-05-01 10:40:10 +0000 UTC
0x6309e9e5… 14691480 0x002b243eb9bb… 0xb19ea1d1b9ed… 2,532,539,782,727.75977 KLEE 2022-05-01 10:38:05 +0000 UTC
0xdb96ab8e… 14691410 0xa148efa0d3ca… 0xa67e9f021b9d… 411,497,001,812.24432 KLEE 2022-05-01 10:21:59 +0000 UTC
0x2a32e535… 14691348 0x36457397248c… 0xa67e9f021b9d… 7,467,527,903,858.91699 KLEE 2022-05-01 10:06:18 +0000 UTC
0x1cfed348… 14691330 0xf2c7b7cead7e… 0xa67e9f021b9d… 26,195,780,824,945.75781 KLEE 2022-05-01 10:02:38 +0000 UTC
0x94b6352b… 14691317 0x461a9b280592… 0xa67e9f021b9d… 752,899,684,431.93335 KLEE 2022-05-01 09:59:08 +0000 UTC
0xbbf366ce… 14691300 0x2d7fd3d6ac1f… 0xe5b8ff1ca1c3… 542,502,787,014,138.31250 KLEE 2022-05-01 09:54:50 +0000 UTC
0x77aa65cd… 14691298 0xf765e0cf6f71… 0xa67e9f021b9d… 10,812,125,251,047.48633 KLEE 2022-05-01 09:54:15 +0000 UTC
0x5bb3c703… 14691280 0x52f8f9dd6a8f… 0xa67e9f021b9d… 11,795,595.47508 KLEE 2022-05-01 09:50:32 +0000 UTC
0x7873e255… 14691274 0xe0a616c3659b… 0x92aa2af4fa37… 127,400,000,000,000.00000 KLEE 2022-05-01 09:48:58 +0000 UTC
0x021dbc22… 14691250 0x9c22cebb76ed… 0x2d7fd3d6ac1f… 553,442,613,205,141.50000 KLEE 2022-05-01 09:45:06 +0000 UTC
0x472c99fe… 14691247 0x8044e86ca196… 0x9c22cebb76ed… 564,670,902,328,434.12500 KLEE 2022-05-01 09:44:12 +0000 UTC
0x1ff46e07… 14691247 0x9b20ca357ed1… 0xa67e9f021b9d… 9,565,006,490,395.97266 KLEE 2022-05-01 09:44:12 +0000 UTC
0xfe6a5423… 14691247 0xc65f0de25515… 0x7611c0bd3c2b… 548,310,243,477.84033 KLEE 2022-05-01 09:44:12 +0000 UTC
0x0610dd16… 14691239 0x5b214c89c90b… 0xa67e9f021b9d… 116,900,353,544,823.34375 KLEE 2022-05-01 09:42:24 +0000 UTC
0x96c3f5d4… 14691139 0xc510f47fb6fe… 0xa67e9f021b9d… 75,459,833,507,050.46875 KLEE 2022-05-01 09:20:05 +0000 UTC
0x3b2b8e74… 14691133 0xcad3f203c85e… 0xa67e9f021b9d… 30,900,596,090,757.34766 KLEE 2022-05-01 09:19:04 +0000 UTC
0x588cf726… 14691120 0x68e6453a114a… 0xa67e9f021b9d… 255,636,239,031.10867 KLEE 2022-05-01 09:16:18 +0000 UTC
0x6e3bce1f… 14691117 0xb26e03eb735e… 0xa67e9f021b9d… 1,180,737,032,909.78784 KLEE 2022-05-01 09:16:06 +0000 UTC
0x0fd862e3… 14691090 0xdd31d6e9469b… 0xa67e9f021b9d… 1,673,451,396,315.34131 KLEE 2022-05-01 09:08:59 +0000 UTC
0x0fd862e3… 14691090 0xdd31d6e9469b… 0xa67e9f021b9d… 1,673,451,396,315.34131 KLEE 2022-05-01 09:08:59 +0000 UTC
0x1184035c… 14691068 0xa14cb6467172… 0xa67e9f021b9d… 9,071,408,859,315.46484 KLEE 2022-05-01 09:03:59 +0000 UTC
0xfa18707f… 14691052 0x2e845657785e… 0xa67e9f021b9d… 26,103,256,371,730.22266 KLEE 2022-05-01 08:59:53 +0000 UTC
0x5a20f9d3… 14691041 0x2d7fd3d6ac1f… 0x07888c3c5d25… 415,274,887,286,098.37500 KLEE 2022-05-01 08:57:32 +0000 UTC
0x3cb5342e… 14691024 0xe50aa968577b… 0x2e845657785e… 13,810,092,361,575.04688 KLEE 2022-05-01 08:54:17 +0000 UTC
0x881726d9… 14691021 0xab1a93ed8441… 0x8044e86ca196… 599,975,792,517,487.50000 KLEE 2022-05-01 08:52:57 +0000 UTC
0xebece76b… 14691009 0x8c1995288371… 0xa67e9f021b9d… 3,203,517,991,525.24951 KLEE 2022-05-01 08:49:56 +0000 UTC
0x8d475704… 14691004 0xf97918a6a258… 0xa67e9f021b9d… 254,567,589,635.05716 KLEE 2022-05-01 08:48:57 +0000 UTC
0xdb28387e… 14691002 0xa648b4ff446c… 0xb19ea1d1b9ed… 70,685,757,992,709.17188 KLEE 2022-05-01 08:48:10 +0000 UTC
0x3141b236… 14691000 0x0f656a2a6ab0… 0xa67e9f021b9d… 8,113,236,027,914.49512 KLEE 2022-05-01 08:47:52 +0000 UTC
0x3141b236… 14690999 0x0f656a2a6ab0… 0xa67e9f021b9d… 8,113,236,027,914.49512 KLEE 2022-05-01 08:47:41 +0000 UTC
0xabe290e0… 14690984 0xcbd0533a4e08… 0xa67e9f021b9d… 762,738,987,135.90369 KLEE 2022-05-01 08:44:30 +0000 UTC
0x051bb9ee… 14690934 0x036398e5dcf7… 0xa67e9f021b9d… 58,276,037,832.73695 KLEE 2022-05-01 08:34:47 +0000 UTC
0x519d8936… 14690905 0x9c22cebb76ed… 0x2d7fd3d6ac1f… 423,704,784,798,250.56250 KLEE 2022-05-01 08:30:06 +0000 UTC
0xe8b4fc0c… 14690905 0x84628e1a9d70… 0xa67e9f021b9d… 2,443,844,336,471.92188 KLEE 2022-05-01 08:30:06 +0000 UTC
0xa29b6871… 14690899 0x8044e86ca196… 0x9c22cebb76ed… 432,311,653,694,467.18750 KLEE 2022-05-01 08:28:28 +0000 UTC
0xf81d317d… 14690893 0xce9a342453fb… 0xa67e9f021b9d… 12,557,174,184,938.22070 KLEE 2022-05-01 08:26:45 +0000 UTC
0x8d927d3f… 14690879 0x8044e86ca196… 0xab1a93ed8441… 612,024,046,481,922.25000 KLEE 2022-05-01 08:23:02 +0000 UTC
0x2b2b16dd… 14690717 0xc03053ed0425… 0xb19ea1d1b9ed… 3,298,293,661,635.63721 KLEE 2022-05-01 07:38:56 +0000 UTC
0xb193ce86… 14690689 0xda2a65cece6b… 0xa67e9f021b9d… 1,341,159,734,576.27954 KLEE 2022-05-01 07:32:42 +0000 UTC
0xbfcf72e9… 14690675 0x756e44c7e2aa… 0xa67e9f021b9d… 2,284,138,932,601.68457 KLEE 2022-05-01 07:30:45 +0000 UTC
0x2ba50e55… 14690663 0xb783b2e7a495… 0xa67e9f021b9d… 2,118,330,286,081.58130 KLEE 2022-05-01 07:28:26 +0000 UTC
0x1ffb9685… 14690651 0xe7c7611b8e05… 0x07888c3c5d25… 162,445,848,052,084.59375 KLEE 2022-05-01 07:26:07 +0000 UTC
0x5ed8fe9c… 14690627 0x031b6a841fc4… 0xa67e9f021b9d… 18,794,960,989,550.16016 KLEE 2022-05-01 07:19:58 +0000 UTC
0xf5619224… 14690612 0x2d7fd3d6ac1f… 0x07888c3c5d25… 593,426,077,459,563.87500 KLEE 2022-05-01 07:15:04 +0000 UTC
0xcf145d6e… 14690608 0x8d8cf237f20d… 0xa67e9f021b9d… 7,652,403,414,592.17188 KLEE 2022-05-01 07:14:31 +0000 UTC
0x87226628… 14690560 0x2085d1a684d6… 0xa67e9f021b9d… 6,122,705,238,760.75488 KLEE 2022-05-01 07:02:32 +0000 UTC
0x3a063848… 14690559 0xcb6351cd8f78… 0xa67e9f021b9d… 2,329,272,590,309.99414 KLEE 2022-05-01 07:02:24 +0000 UTC
0x68d7c43f… 14690507 0x2f734e3f1c8f… 0xb19ea1d1b9ed… 496,119,291,842.76221 KLEE 2022-05-01 06:50:54 +0000 UTC
0xaea953a8… 14690468 0x761bb4b9ae56… 0xa67e9f021b9d… 40,303,335,475,922.07812 KLEE 2022-05-01 06:42:18 +0000 UTC
0x4364bd89… 14690461 0xdfc43d46410c… 0xe7c7611b8e05… 165,709,223,113,774.28125 KLEE 2022-05-01 06:40:11 +0000 UTC
0x50267ac5… 14690461 0xb307f5bb82ef… 0x2d7fd3d6ac1f… 605,455,551,977,292.62500 KLEE 2022-05-01 06:40:11 +0000 UTC
0x8c750a39… 14690451 0x8044e86ca196… 0xb307f5bb82ef… 617,733,709,411,707.50000 KLEE 2022-05-01 06:39:05 +0000 UTC
0x6727c843… 14690437 0x08d0b9aa7121… 0xdfc43d46410c… 169,063,826,710,406.53125 KLEE 2022-05-01 06:36:35 +0000 UTC
0x57e41c78… 14690364 0x77df8b4fe2d9… 0xa67e9f021b9d… 1,428,024,735,026.51074 KLEE 2022-05-01 06:17:15 +0000 UTC
0x8a34368c… 14690357 0xf570b31e7574… 0xe5b8ff1ca1c3… 971,655,437,250,072.62500 KLEE 2022-05-01 06:16:06 +0000 UTC
0x5236f834… 14690349 0x145f92412cf5… 0xa67e9f021b9d… 655,100,970,169.23865 KLEE 2022-05-01 06:15:15 +0000 UTC
0x3936c4cf… 14690306 0x0929c8866130… 0xa67e9f021b9d… 6,635,511,991,421.90527 KLEE 2022-05-01 06:07:17 +0000 UTC
0xd721b3d8… 14690292 0x302f033edbc8… 0xa67e9f021b9d… 1,120,253,431,447.49487 KLEE 2022-05-01 06:05:03 +0000 UTC
0x61186440… 14690276 0x870727673af0… 0xf570b31e7574… 991,282,360,019,322.12500 KLEE 2022-05-01 06:01:16 +0000 UTC
0x4112d73f… 14690266 0xd8ebb7528ac1… 0xa67e9f021b9d… 1,980,854,224,467.38647 KLEE 2022-05-01 05:59:36 +0000 UTC
0xad971cce… 14690262 0x8044e86ca196… 0x870727673af0… 1,011,302,923,487,837.87500 KLEE 2022-05-01 05:59:06 +0000 UTC
0xae476a1a… 14690037 0xe864ad7b13bb… 0xe864ad7b13bb… 3,654,042,877,373.02637 KLEE 2022-05-01 05:09:16 +0000 UTC
0xf926ada1… 14689999 0x0203edf96d47… 0x8044e86ca196… 1,872,745,077,870,744.50000 KLEE 2022-05-01 05:02:23 +0000 UTC
0x488f85bb… 14689931 0xc066a76701fd… 0x0203edf96d47… 1,910,217,558,155,229.50000 KLEE 2022-05-01 04:48:11 +0000 UTC
0x9349e11e… 14689915 0x8044e86ca196… 0xc066a76701fd… 1,948,424,603,707,104.00000 KLEE 2022-05-01 04:44:32 +0000 UTC
0x6966cff8… 14688822 0x707e9ac0319c… 0xa67e9f021b9d… 1,458,366,467,141.68237 KLEE 2022-05-01 00:44:08 +0000 UTC
0x6d568af1… 14688802 0xd3feb7ca0525… 0xa67e9f021b9d… 7,814,522,483,346.18457 KLEE 2022-05-01 00:39:47 +0000 UTC
0xb12f219f… 14688787 0x53a0dca3bc83… 0xa67e9f021b9d… 657,796,384,861.25977 KLEE 2022-05-01 00:36:45 +0000 UTC
0xc45bf9e2… 14688740 0xece9d4e10b90… 0xd2ffa64e04bc… 9,520,931,079,611.56445 KLEE 2022-05-01 00:25:53 +0000 UTC
0xfd1f360e… 14688737 0x1b94b307bcc4… 0xa67e9f021b9d… 637,055,449,431.97437 KLEE 2022-05-01 00:24:22 +0000 UTC
0xaef35479… 14688735 0x9d109ce0592a… 0xe5b8ff1ca1c3… 101,903,384,318,304.85938 KLEE 2022-05-01 00:23:48 +0000 UTC
0x64b05c07… 14688735 0x8947c82b63a6… 0xa67e9f021b9d… 2,591,154,075,488.23291 KLEE 2022-05-01 00:23:48 +0000 UTC
0x19f67b7a… 14688715 0xa5dd76d2b646… 0xa67e9f021b9d… 6,255,154,163,788.76660 KLEE 2022-05-01 00:19:24 +0000 UTC
0xfccc277f… 14688664 0x35846f076199… 0xa67e9f021b9d… 1,443,873,283,452.41846 KLEE 2022-05-01 00:06:55 +0000 UTC
0x0dd28e00… 14688624 0x8bf1c20ecb5a… 0x9d109ce0592a… 103,980,802,489,368.17188 KLEE 2022-04-30 23:58:19 +0000 UTC
0x9cd1d771… 14688607 0x8044e86ca196… 0x8bf1c20ecb5a… 106,100,548,745,360.71875 KLEE 2022-04-30 23:54:56 +0000 UTC
0x49c25183… 14688569 0xe415b91c1edc… 0xa67e9f021b9d… 3,009,740,360,905.00146 KLEE 2022-04-30 23:47:05 +0000 UTC
0x997d67a2… 14688545 0xdd4685660461… 0xa67e9f021b9d… 5,065,385,823,060.17383 KLEE 2022-04-30 23:40:23 +0000 UTC
0x9c5d1fa1… 14688530 0x8631613f1fab… 0xa67e9f021b9d… 2,168,740,954,507.16992 KLEE 2022-04-30 23:37:25 +0000 UTC
0x0705d5df… 14688526 0x2a1e4352731f… 0xa67e9f021b9d… 1,975,275,146,487.88892 KLEE 2022-04-30 23:36:35 +0000 UTC
0xf3875356… 14688520 0xe419fd8202ef… 0xa67e9f021b9d… 917,097,122,654.03284 KLEE 2022-04-30 23:34:48 +0000 UTC
0x6dd5fe08… 14688520 0xab183bd6ee61… 0xa67e9f021b9d… 1,157,558,693,220.21216 KLEE 2022-04-30 23:34:48 +0000 UTC
0xf694cf2a… 14688477 0x597b47249653… 0xa67e9f021b9d… 20,128,556,243,402.88281 KLEE 2022-04-30 23:26:42 +0000 UTC
0x20d798f7… 14688454 0x44ee7d811f62… 0xa67e9f021b9d… 35,633,718,005,556.37500 KLEE 2022-04-30 23:20:38 +0000 UTC
0x6b6419f1… 14688442 0xea5d5d55459c… 0xa67e9f021b9d… 348,262,754,029.83783 KLEE 2022-04-30 23:17:42 +0000 UTC
0x1247e634… 14688368 0xf47e35f6abc3… 0xa67e9f021b9d… 164,459,638,784.55157 KLEE 2022-04-30 22:59:27 +0000 UTC
0x6a0145f0… 14688365 0x229fc89023e6… 0x08d0b9aa7121… 17,270,844,744,273.30273 KLEE 2022-04-30 22:58:53 +0000 UTC
0x6a0145f0… 14688365 0x229fc89023e6… 0x08d0b9aa7121… 17,270,844,744,273.30273 KLEE 2022-04-30 22:58:53 +0000 UTC
0xfa3e5aee… 14688354 0x7ab5047e455d… 0x196e498bf97b… 8,762,560,544,462.80469 KLEE 2022-04-30 22:56:44 +0000 UTC
0x4ca38a45… 14688345 0x443716269ca2… 0xa67e9f021b9d… 2,797,696,469,338.01221 KLEE 2022-04-30 22:53:57 +0000 UTC
0xe1725865… 14688337 0xf9cf4c48a072… 0xa67e9f021b9d… 437,692.27139 KLEE 2022-04-30 22:51:45 +0000 UTC
0x9119dbcd… 14688335 0x9dcd85023e4d… 0xa67e9f021b9d… 8,828,271,433,072.30469 KLEE 2022-04-30 22:51:20 +0000 UTC
0xd32b2f9d… 14688318 0xb72369560e73… 0x9dcd85023e4d… 9,008,423,635,409.77148 KLEE 2022-04-30 22:47:57 +0000 UTC
0x3e3c0596… 14688310 0x08d0b9aa7121… 0x03f7724180aa… 73,401,687,722,027.56250 KLEE 2022-04-30 22:46:10 +0000 UTC
0x3e3c0596… 14688310 0x03f7724180aa… 0xa648b4ff446c… 71,934,734,201,130.28125 KLEE 2022-04-30 22:46:10 +0000 UTC
0xef85bd55… 14688303 0x8044e86ca196… 0x3f4ad062f4d5… 99,911,215,268,728.14062 KLEE 2022-04-30 22:44:04 +0000 UTC
0x399e4d7b… 14688268 0xaf7d0e8d6f15… 0xa67e9f021b9d… 4,430,448,513,904.59375 KLEE 2022-04-30 22:35:15 +0000 UTC
0xb59ff358… 14688261 0x138cac60aa48… 0xa67e9f021b9d… 1,072,286,713,029.25500 KLEE 2022-04-30 22:32:52 +0000 UTC
0xa311f6ef… 14688260 0xbe2c04767e40… 0xa67e9f021b9d… 2,050,419,083,610.46094 KLEE 2022-04-30 22:31:56 +0000 UTC
0xf0bf9c96… 14688249 0x407c3b9fdd40… 0xa67e9f021b9d… 8,724,196,928,741.58691 KLEE 2022-04-30 22:29:53 +0000 UTC
0xf0bf9c96… 14688249 0x407c3b9fdd40… 0xa67e9f021b9d… 8,724,196,928,741.58691 KLEE 2022-04-30 22:29:53 +0000 UTC
0x0344427d… 14688218 0x1a4cb30caf54… 0xa67e9f021b9d… 2,951,803,831,372.76514 KLEE 2022-04-30 22:20:46 +0000 UTC
0xb8f356e2… 14688185 0xe28a473d0619… 0xa67e9f021b9d… 16,941,726,283,389.93555 KLEE 2022-04-30 22:13:27 +0000 UTC
0xe91c0733… 14688185 0x4633a60cf50b… 0xa67e9f021b9d… 15,004,688,588,869.52148 KLEE 2022-04-30 22:13:27 +0000 UTC
0xadc6f80e… 14688144 0xa3ba0f374fe5… 0xa67e9f021b9d… 30,851,722,058,454.37891 KLEE 2022-04-30 22:02:34 +0000 UTC
0x54fd735c… 14688136 0x5a1e4da1af0d… 0xa67e9f021b9d… 511,386,442,922.01306 KLEE 2022-04-30 22:00:17 +0000 UTC
0x08f88326… 14688125 0x4fccf138442a… 0xa67e9f021b9d… 7,700,175,087,766.01758 KLEE 2022-04-30 21:58:03 +0000 UTC
0x43a85889… 14688111 0xa8c1ed586b4f… 0xa67e9f021b9d… 1,006,080,972,204.36523 KLEE 2022-04-30 21:55:03 +0000 UTC
0x11d84553… 14688084 0x5b890462b028… 0xa67e9f021b9d… 2,323,788,910,780.61084 KLEE 2022-04-30 21:50:34 +0000 UTC
0x6bfe8a3b… 14688075 0xf0c4b062f522… 0xa67e9f021b9d… 3,509,621,145,514.24219 KLEE 2022-04-30 21:49:19 +0000 UTC
0x38628e0a… 14688067 0x53add2e8a474… 0xa67e9f021b9d… 10,383,826,124,673.08594 KLEE 2022-04-30 21:46:48 +0000 UTC
0x77ce22a0… 14688055 0x8e703cad57d3… 0xa67e9f021b9d… 42,819,074,013,610.06250 KLEE 2022-04-30 21:45:03 +0000 UTC
0x73fa7eb2… 14688055 0x5bf41531ae8f… 0xa67e9f021b9d… 8,374,906,966,015.25293 KLEE 2022-04-30 21:45:03 +0000 UTC
0x749c41a1… 14688037 0xc33fa42c21cd… 0xa67e9f021b9d… 10,406,405,360,853.31836 KLEE 2022-04-30 21:39:12 +0000 UTC
0x9881e9cf… 14688026 0x7b97a43d5e39… 0xa67e9f021b9d… 6,286,765,388,350.93750 KLEE 2022-04-30 21:36:37 +0000 UTC
0x07467936… 14688019 0xfc3193018488… 0xa67e9f021b9d… 315,384,697,814,550.25000 KLEE 2022-04-30 21:35:34 +0000 UTC
0x29d248df… 14688014 0xcb4e21f10a92… 0xa67e9f021b9d… 890,468,988,022.28418 KLEE 2022-04-30 21:34:32 +0000 UTC
0xc99dbf85… 14688013 0x69d06eae30eb… 0xa67e9f021b9d… 1,381,365,674,685.11499 KLEE 2022-04-30 21:33:58 +0000 UTC
0x69c31feb… 14687990 0x4b798418113f… 0xa67e9f021b9d… 6,552,886,472,278.58496 KLEE 2022-04-30 21:28:13 +0000 UTC
0x01dc997a… 14687973 0xd427c88a6c28… 0xa67e9f021b9d… 2,358,287,331,287.88184 KLEE 2022-04-30 21:23:28 +0000 UTC
0x8202aa36… 14687967 0xaf997d3f059a… 0x4b798418113f… 3,361,055,471,610.64697 KLEE 2022-04-30 21:22:52 +0000 UTC
0x8202aa36… 14687966 0xaf997d3f059a… 0x4b798418113f… 3,361,055,471,610.64697 KLEE 2022-04-30 21:22:44 +0000 UTC
0xc390667e… 14687948 0x6d98628aa0c3… 0xa67e9f021b9d… 2,215,049,737,497.25977 KLEE 2022-04-30 21:17:05 +0000 UTC
0x187fc9f9… 14687947 0xa6f0f673c2d8… 0xa67e9f021b9d… 14,727,364,220,244.85352 KLEE 2022-04-30 21:16:59 +0000 UTC
0xce0aa526… 14687910 0x584f196ea274… 0xa67e9f021b9d… 8,389,516,383,661.66406 KLEE 2022-04-30 21:08:09 +0000 UTC
0xba5ae030… 14687905 0xbfb7c4547151… 0xa67e9f021b9d… 571,706,660,527.54065 KLEE 2022-04-30 21:07:30 +0000 UTC
0xba5ae030… 14687905 0xbfb7c4547151… 0xa67e9f021b9d… 571,706,660,527.54065 KLEE 2022-04-30 21:07:30 +0000 UTC
0xd5791aab… 14687903 0x323c5b9220f6… 0xa67e9f021b9d… 1,288,370,125,269.56226 KLEE 2022-04-30 21:07:28 +0000 UTC
0x5a00f8d6… 14687854 0x827caae0dd41… 0xa67e9f021b9d… 10,657,571,539,713.64453 KLEE 2022-04-30 20:55:47 +0000 UTC
0xe0bcc485… 14687842 0x08d0b9aa7121… 0x229fc89023e6… 17,620,330,789,475.65625 KLEE 2022-04-30 20:51:46 +0000 UTC
0x69f9ef6b… 14687823 0x83a4d692e460… 0xa67e9f021b9d… 542,452,399,120.83051 KLEE 2022-04-30 20:49:43 +0000 UTC
0x441487df… 14687812 0x3e886a63a1b5… 0xa67e9f021b9d… 743,302,736,340.67444 KLEE 2022-04-30 20:46:37 +0000 UTC
0x7ff4e2d5… 14687803 0xac1c51c08621… 0xa67e9f021b9d… 610,780,226,764,599.50000 KLEE 2022-04-30 20:45:14 +0000 UTC
0x9a162959… 14687787 0xe5a53b12d96f… 0xa67e9f021b9d… 52,665,552,535.52432 KLEE 2022-04-30 20:41:54 +0000 UTC
0x41505f16… 14687777 0x9b0d7a0132eb… 0xa67e9f021b9d… 1,423,762,675,684.32056 KLEE 2022-04-30 20:40:45 +0000 UTC
0xe5c33573… 14687770 0xa5ac43c38ba5… 0xa67e9f021b9d… 1,132,908,236,562.55103 KLEE 2022-04-30 20:39:28 +0000 UTC
0xfbfb3fb5… 14687766 0x08d0b9aa7121… 0x03f7724180aa… 80,613,588,894,146.54688 KLEE 2022-04-30 20:38:12 +0000 UTC
0xfbfb3fb5… 14687766 0x03f7724180aa… 0x25212facf11f… 79,002,620,051,174.09375 KLEE 2022-04-30 20:38:12 +0000 UTC
0xb88e1bf8… 14687755 0x41de5f7d0ca2… 0xa67e9f021b9d… 371,654,068,395.04407 KLEE 2022-04-30 20:36:15 +0000 UTC
0xa20d4720… 14687755 0x978464eb17a8… 0xa67e9f021b9d… 72,958,319,853,533.93750 KLEE 2022-04-30 20:36:15 +0000 UTC
0x08a9abcd… 14687744 0xca5cf87ea661… 0xa67e9f021b9d… 5,480,153,415,083.54883 KLEE 2022-04-30 20:33:22 +0000 UTC
0x7a54872c… 14687744 0x34bc1799ef70… 0xa67e9f021b9d… 2,089,790,271,684.58374 KLEE 2022-04-30 20:33:22 +0000 UTC
0x08a9abcd… 14687744 0xca5cf87ea661… 0xa67e9f021b9d… 5,480,153,415,083.54883 KLEE 2022-04-30 20:33:22 +0000 UTC
0x7a54872c… 14687744 0x34bc1799ef70… 0xa67e9f021b9d… 2,089,790,271,684.58374 KLEE 2022-04-30 20:33:22 +0000 UTC
0x410df639… 14687740 0xdebe111daa2a… 0xa67e9f021b9d… 4,773,302,392,541.91602 KLEE 2022-04-30 20:32:33 +0000 UTC
0x7c6e97a8… 14687738 0x1ba1878885f3… 0xa67e9f021b9d… 1,438,638,487,695.45532 KLEE 2022-04-30 20:32:09 +0000 UTC
0xb74d1896… 14687733 0x9dcd85023e4d… 0xb72369560e73… 9,189,116,470,897.62500 KLEE 2022-04-30 20:31:09 +0000 UTC
0x3eec77e3… 14687721 0x92cb6f6f3620… 0xa67e9f021b9d… 2,733,535,982,455.32324 KLEE 2022-04-30 20:26:02 +0000 UTC
0xddd255b5… 14687699 0x40745f59e191… 0xa67e9f021b9d… 2,332,968,088,916.02588 KLEE 2022-04-30 20:22:45 +0000 UTC
0x608a5be5… 14687664 0xb19787663028… 0xa67e9f021b9d… 520,023,552,315.34802 KLEE 2022-04-30 20:14:52 +0000 UTC
0x7016ac4c… 14687664 0x8044e86ca196… 0x5961cdbbe665… 121,929,301,530,341.12500 KLEE 2022-04-30 20:14:52 +0000 UTC
0x1de84790… 14687659 0x5c91afec0be1… 0xa67e9f021b9d… 12,985,459,696,800.32227 KLEE 2022-04-30 20:14:22 +0000 UTC
0x99776811… 14687657 0x658df94b1828… 0xa67e9f021b9d… 1,720,778,693,169.34521 KLEE 2022-04-30 20:14:00 +0000 UTC
0xbfd55386… 14687656 0x38d59a0027cb… 0xa67e9f021b9d… 199,340,799,077.58176 KLEE 2022-04-30 20:13:45 +0000 UTC
0x7d907731… 14687656 0x54cf8fe59612… 0xa67e9f021b9d… 1,764,077,802,322.69141 KLEE 2022-04-30 20:13:45 +0000 UTC
0xc7a388ba… 14687650 0x312ed2c2f12e… 0xa67e9f021b9d… 2,198,524,626,279.00513 KLEE 2022-04-30 20:11:27 +0000 UTC
0x211cefa4… 14687634 0xd1f9cf2753a5… 0x8044e86ca196… 247,924,143,205,104.59375 KLEE 2022-04-30 20:08:57 +0000 UTC
0xdff0f3f5… 14687621 0x823a72704def… 0xa67e9f021b9d… 1,384,265,031,242.54468 KLEE 2022-04-30 20:05:05 +0000 UTC
0xca7d7a94… 14687614 0xad5982718a54… 0xa67e9f021b9d… 4,992,039,159,832.48145 KLEE 2022-04-30 20:03:42 +0000 UTC
0xd4f12539… 14687610 0x371d9e183eb3… 0xa67e9f021b9d… 1,083,372,623,754.45898 KLEE 2022-04-30 20:03:03 +0000 UTC
0xd2ee63bc… 14687602 0x7f02daa1229a… 0xa67e9f021b9d… 1,170,788,747,825.95166 KLEE 2022-04-30 20:01:22 +0000 UTC
0x0e21a5ef… 14687587 0xa1793f21032a… 0xa67e9f021b9d… 344,406,061,466.27771 KLEE 2022-04-30 19:59:03 +0000 UTC
0x7e4b23f5… 14687579 0x11a7e4ab2190… 0xa67e9f021b9d… 5,094,690,806,320.95703 KLEE 2022-04-30 19:57:33 +0000 UTC
0x5c5f5e59… 14687578 0x08d0b9aa7121… 0x8044e86ca196… 403,521,411,838,916.25000 KLEE 2022-04-30 19:57:19 +0000 UTC
0x1de034a1… 14687578 0x2964a6d3d6ba… 0xa67e9f021b9d… 461,053,185,682.92114 KLEE 2022-04-30 19:57:19 +0000 UTC
0xc8999c24… 14687576 0x8044e86ca196… 0xac1c51c08621… 617,602,849,404,521.12500 KLEE 2022-04-30 19:57:13 +0000 UTC
0x656fc467… 14687575 0x524e00339c61… 0xa67e9f021b9d… 2,483,188,514,668.67139 KLEE 2022-04-30 19:57:02 +0000 UTC
0x01c5ff53… 14687572 0x8044e86ca196… 0xf76a5647740b… 2,973,222,000,000.00146 KLEE 2022-04-30 19:56:42 +0000 UTC
0x1586b187… 14687569 0x1608aa29f132… 0xa67e9f021b9d… 20,771,360,135,419.96094 KLEE 2022-04-30 19:56:19 +0000 UTC
0xe69a9c6e… 14687556 0xa929f030458b… 0xbbf7a7b61dd2… 345,465,380,523,725.68750 KLEE 2022-04-30 19:52:49 +0000 UTC
0xf67c999b… 14687556 0x275da66c19ea… 0xa67e9f021b9d… 370,725,012,265.02893 KLEE 2022-04-30 19:52:49 +0000 UTC
0x0f063fef… 14687553 0x8044e86ca196… 0xa929f030458b… 352,490,208,435,011.43750 KLEE 2022-04-30 19:51:51 +0000 UTC
0x98174d45… 14687541 0xd1f9cf2753a5… 0x8044e86ca196… 24,544,490,177,294,976.00000 KLEE 2022-04-30 19:48:48 +0000 UTC
0x80cec491… 14687541 0x8044e86ca196… 0x08d0b9aa7121… 411,366,506,282,325.18750 KLEE 2022-04-30 19:48:48 +0000 UTC
0xae65d8cd… 14687541 0x8044e86ca196… 0x08d0b9aa7121… 2,346,073,515,345,317.50000 KLEE 2022-04-30 19:48:48 +0000 UTC
0xc0f60803… 14687539 0x259bcd370290… 0xa67e9f021b9d… 5,393,298,490,365.09277 KLEE 2022-04-30 19:47:51 +0000 UTC
0xddc4624a… 14687539 0x384c7d54a6a6… 0xa67e9f021b9d… 1,247,859,863,777.64111 KLEE 2022-04-30 19:47:51 +0000 UTC
0x2e6caa83… 14687534 0xa67e9f021b9d… 0xd1f9cf2753a5… 25,298,381,959,693,964.00000 KLEE 2022-04-30 19:46:21 +0000 UTC
0x99b89a67… 14687534 0x34ea4e34790d… 0xa67e9f021b9d… 2,912,007,344,626.31738 KLEE 2022-04-30 19:46:21 +0000 UTC
0x76202bbd… 14687520 0x4bdc745d0db8… 0xa67e9f021b9d… 319,538,811,854.44727 KLEE 2022-04-30 19:42:18 +0000 UTC
0xd281862b… 14687510 0x95332d8172fd… 0xa67e9f021b9d… 401,192,505,545.23059 KLEE 2022-04-30 19:40:27 +0000 UTC
0xe75c6c17… 14687497 0x5bc979b6d63d… 0xa67e9f021b9d… 1,482,720,030,300.56982 KLEE 2022-04-30 19:37:42 +0000 UTC
0xbed67651… 14687494 0x4d4c6b87c23f… 0xa67e9f021b9d… 2,440,335,109,864.55225 KLEE 2022-04-30 19:37:05 +0000 UTC
0x31b7b19a… 14687483 0x772c72ff5c6a… 0xa67e9f021b9d… 581,908,246,426.88696 KLEE 2022-04-30 19:34:22 +0000 UTC
0x060e6aeb… 14687479 0xf835542f4818… 0xa67e9f021b9d… 11,719,981,667,423.14453 KLEE 2022-04-30 19:33:49 +0000 UTC
0x285b861d… 14687475 0x275ccb49789e… 0xa67e9f021b9d… 1,113,149,535,259.71436 KLEE 2022-04-30 19:32:42 +0000 UTC
0x185ae60a… 14687461 0xb56078a44b9f… 0xa67e9f021b9d… 948,503,219,264.06689 KLEE 2022-04-30 19:28:48 +0000 UTC
0xf340753f… 14687460 0x3a27c45f0204… 0xa67e9f021b9d… 578,318,030,620.09692 KLEE 2022-04-30 19:28:07 +0000 UTC
0xbc69ec95… 14687455 0x308b715aac50… 0xa67e9f021b9d… 2,083,175,320,752.68188 KLEE 2022-04-30 19:27:39 +0000 UTC
0x31f1d2ba… 14687446 0x6cbc315911ca… 0xa67e9f021b9d… 1,084,253,096,273.83704 KLEE 2022-04-30 19:26:03 +0000 UTC
0x5d3a3f19… 14687437 0x2ee7c0742551… 0xa67e9f021b9d… 35,262,437,245,442.92188 KLEE 2022-04-30 19:24:31 +0000 UTC
0x803437ff… 14687430 0xe5a43a6f6f01… 0xa67e9f021b9d… 2,108,174,888,902.27954 KLEE 2022-04-30 19:23:03 +0000 UTC
0x0a0853e3… 14687418 0x6b493b4cb5df… 0xa67e9f021b9d… 44,371,538,561,299.12500 KLEE 2022-04-30 19:20:49 +0000 UTC
0x7273e1b0… 14687417 0xbf09e8aa7f18… 0xa67e9f021b9d… 600,389,457,234.54053 KLEE 2022-04-30 19:20:32 +0000 UTC
0xd1a4f1ed… 14687392 0x02f09a6b8b7b… 0xa67e9f021b9d… 1,121,380,692,651.53955 KLEE 2022-04-30 19:16:31 +0000 UTC
0x8a101b29… 14687389 0x3596fdd3aa46… 0xa67e9f021b9d… 35,920,978,088,716.67188 KLEE 2022-04-30 19:15:34 +0000 UTC
0x5ce6338c… 14687389 0x1a4e47a02785… 0xa67e9f021b9d… 814,112,984,063.10986 KLEE 2022-04-30 19:15:34 +0000 UTC
0x4555c242… 14687377 0xbb75d960bfe9… 0xa67e9f021b9d… 173,103,166,386,051.56250 KLEE 2022-04-30 19:12:01 +0000 UTC
0x47fac58a… 14687347 0xd4246b184106… 0xa67e9f021b9d… 9,279,483,086,861.79102 KLEE 2022-04-30 19:04:16 +0000 UTC
0xd5590de6… 14687344 0xb2974a93a00a… 0xa67e9f021b9d… 5,214,851.26822 KLEE 2022-04-30 19:03:51 +0000 UTC
0xe6c51bc6… 14687336 0xc8f93448599a… 0xa67e9f021b9d… 111,140,413,910.12865 KLEE 2022-04-30 19:01:56 +0000 UTC
0x4aa2251b… 14687332 0xbe1da6f9f9bc… 0xa67e9f021b9d… 1,200,657,463,500.93677 KLEE 2022-04-30 19:01:33 +0000 UTC
0x49ae72dc… 14687309 0xf62d9be52ece… 0xa67e9f021b9d… 7,858,242,700,287.21094 KLEE 2022-04-30 18:57:27 +0000 UTC
0x49ae72dc… 14687308 0xf62d9be52ece… 0xa67e9f021b9d… 7,858,242,700,287.21094 KLEE 2022-04-30 18:57:04 +0000 UTC
0xde23b1bc… 14687292 0x2f533309b77d… 0xa67e9f021b9d… 7,837,602,643,083.38770 KLEE 2022-04-30 18:53:28 +0000 UTC
0x9a1484a8… 14687286 0x641bad3eb363… 0xa67e9f021b9d… 1,326,364,390,928.67041 KLEE 2022-04-30 18:52:02 +0000 UTC
0xefc1eb4b… 14687274 0x9e33f84177ad… 0xa67e9f021b9d… 899,346,178,579.97620 KLEE 2022-04-30 18:49:57 +0000 UTC
0x149a5210… 14687273 0x05c27f940e5d… 0xa67e9f021b9d… 18,107,584,106,972.82031 KLEE 2022-04-30 18:49:51 +0000 UTC
0xcaa3b789… 14687270 0x246dd5bf8529… 0xa67e9f021b9d… 3,983,175,889,026.54346 KLEE 2022-04-30 18:48:42 +0000 UTC
0x3cfbd621… 14687238 0x1b2ea8bb7d6c… 0xa67e9f021b9d… 6,982,713,892,757.29492 KLEE 2022-04-30 18:42:56 +0000 UTC
0xa00e8a85… 14687216 0x33c1b3aa3966… 0xa67e9f021b9d… 4,022,941,117,365.44531 KLEE 2022-04-30 18:39:14 +0000 UTC
0x50da1c7b… 14687184 0xdd9903e6adfb… 0xa67e9f021b9d… 211,658,258,269.33752 KLEE 2022-04-30 18:32:24 +0000 UTC
0xd0c8cbea… 14687161 0xd0afe602ab93… 0xa67e9f021b9d… 1,018,232,089,831.78650 KLEE 2022-04-30 18:29:08 +0000 UTC
0x219abbbe… 14687134 0x9d35386ee325… 0xa67e9f021b9d… 7,185,079,148,107.97266 KLEE 2022-04-30 18:23:45 +0000 UTC
0x205a17d8… 14687112 0xf23fa1443747… 0xa67e9f021b9d… 5,474,270,305,311.01562 KLEE 2022-04-30 18:17:56 +0000 UTC
0x8d185b3f… 14687104 0x8ec25e2ad519… 0xa67e9f021b9d… 2,746,996,643,468.99756 KLEE 2022-04-30 18:15:53 +0000 UTC
0xe388c0b6… 14687099 0x4299b42bb969… 0xa67e9f021b9d… 1,114,425,363,418.65747 KLEE 2022-04-30 18:14:56 +0000 UTC
0xc1881dd2… 14687095 0x2781a37695fa… 0xa67e9f021b9d… 8,225,557,750,709.15137 KLEE 2022-04-30 18:13:36 +0000 UTC
0xf1ce04f5… 14687075 0x22a8a54e896f… 0xa67e9f021b9d… 250,585,193,769.71359 KLEE 2022-04-30 18:09:28 +0000 UTC
0x5327c8c5… 14687054 0x9146a53be92c… 0xa67e9f021b9d… 1,593,823,583,667.99194 KLEE 2022-04-30 18:05:31 +0000 UTC
0xaa487706… 14687050 0x7401c3b4609b… 0xa67e9f021b9d… 5,355,551,653,263.07520 KLEE 2022-04-30 18:04:28 +0000 UTC
0xc7edff0a… 14687023 0x2665898249a8… 0xb19ea1d1b9ed… 7,730,961,477,337.70703 KLEE 2022-04-30 17:58:04 +0000 UTC
0x0551129a… 14687010 0xf0eb56977dfb… 0xa67e9f021b9d… 3,596,770,059,408.98389 KLEE 2022-04-30 17:53:15 +0000 UTC
0x17c0578f… 14686994 0x00bde13ca686… 0xa67e9f021b9d… 517,093,199,442.28241 KLEE 2022-04-30 17:50:33 +0000 UTC
0x45779ce9… 14686993 0xddf656014b0f… 0xa67e9f021b9d… 1,008,994,606,097.16675 KLEE 2022-04-30 17:49:46 +0000 UTC
0x5cdd9395… 14686991 0x3374b9824b77… 0xa67e9f021b9d… 57,741,760,284,515.45312 KLEE 2022-04-30 17:49:10 +0000 UTC
0x741c062c… 14686955 0x865fae70ea39… 0xb19ea1d1b9ed… 440,371,481,521.62769 KLEE 2022-04-30 17:40:52 +0000 UTC
0xbf513e02… 14686938 0x5f7883df8aaf… 0xa67e9f021b9d… 575,190,305,723.81421 KLEE 2022-04-30 17:38:02 +0000 UTC
0x3a278ac0… 14686925 0x1630f5a8385d… 0xa67e9f021b9d… 471,143,042,013.50140 KLEE 2022-04-30 17:35:48 +0000 UTC
0x3a278ac0… 14686925 0x1630f5a8385d… 0xa67e9f021b9d… 471,143,042,013.50140 KLEE 2022-04-30 17:35:48 +0000 UTC
0x481fdf75… 14686920 0xa51893098115… 0xa67e9f021b9d… 114,752,283,817.78943 KLEE 2022-04-30 17:35:02 +0000 UTC
0x911a3281… 14686910 0x75e3c976fd83… 0xa67e9f021b9d… 2,376,350,604,816.99902 KLEE 2022-04-30 17:32:09 +0000 UTC
0x1ac000e8… 14686882 0x8044e86ca196… 0x204586249922… 20,824,728,233,912.54297 KLEE 2022-04-30 17:25:43 +0000 UTC
0xe57ec5b6… 14686847 0x2501282bc5c0… 0xa67e9f021b9d… 7,753,809,491,656.23633 KLEE 2022-04-30 17:19:44 +0000 UTC
0xe6566f0c… 14686812 0xe0a616c3659b… 0x710dad971a4b… 10,976,000,000,000.00000 KLEE 2022-04-30 17:11:28 +0000 UTC
0x383ce8f8… 14686803 0x2103041e5316… 0xa67e9f021b9d… 156,017,942,235.46545 KLEE 2022-04-30 17:09:29 +0000 UTC
0x4ac9cebd… 14686794 0xd62858d680f9… 0xa67e9f021b9d… 9,723,752,423,520.94531 KLEE 2022-04-30 17:06:54 +0000 UTC
0xf77a654d… 14686776 0x9d98b34d3bb7… 0xa67e9f021b9d… 58,075,486,311,778.82812 KLEE 2022-04-30 17:01:04 +0000 UTC
0x039f8ead… 14686768 0xf8b204fc05a2… 0xa67e9f021b9d… 1,041,694,240,879.76685 KLEE 2022-04-30 16:58:38 +0000 UTC
0xf6d72ab2… 14686752 0x34de0bb034b7… 0xa67e9f021b9d… 2,138,544,167,830.94141 KLEE 2022-04-30 16:53:38 +0000 UTC
0x19385171… 14686741 0xfc5ea925b254… 0xa67e9f021b9d… 1,114,435,727,950.16724 KLEE 2022-04-30 16:51:40 +0000 UTC
0xfd842e2b… 14686721 0x3014bc54ab62… 0xa67e9f021b9d… 3,583,488,035,145.61670 KLEE 2022-04-30 16:46:34 +0000 UTC
0xfd842e2b… 14686721 0x3014bc54ab62… 0xa67e9f021b9d… 3,583,488,035,145.61670 KLEE 2022-04-30 16:46:33 +0000 UTC
0x4902f106… 14686711 0xf378edd2ba2f… 0xa67e9f021b9d… 330,436,884,923.90381 KLEE 2022-04-30 16:43:51 +0000 UTC
0x00acbd63… 14686702 0x402553bc7d8b… 0xa67e9f021b9d… 317,139,775,938.92163 KLEE 2022-04-30 16:41:10 +0000 UTC
0x51a7bcf9… 14686678 0xc225cf5a182c… 0xa67e9f021b9d… 8,349,557,619,929.95508 KLEE 2022-04-30 16:31:39 +0000 UTC
0x626a7ee5… 14686664 0xd827ebe18b61… 0xa67e9f021b9d… 352,086,755,142.57892 KLEE 2022-04-30 16:28:10 +0000 UTC
0xb512c171… 14686657 0x6b7f19e5d9f0… 0xa67e9f021b9d… 14,513,296,038,996.22266 KLEE 2022-04-30 16:25:45 +0000 UTC
0xfab931d6… 14686652 0x9efc55072a31… 0xa67e9f021b9d… 5,087,008,443,245.23926 KLEE 2022-04-30 16:25:19 +0000 UTC
0x68be86e9… 14686623 0x05bf22b7cc11… 0xa67e9f021b9d… 653,729,690,980.44031 KLEE 2022-04-30 16:19:04 +0000 UTC
0x69839320… 14686620 0xb7805e81234d… 0xa67e9f021b9d… 2,303,471,888,339.20850 KLEE 2022-04-30 16:18:49 +0000 UTC
0x26d63340… 14686601 0x7cc1651b1d1d… 0xa67e9f021b9d… 20,909,844,809,038.27344 KLEE 2022-04-30 16:15:06 +0000 UTC
0xb9298022… 14686577 0x9e71312df769… 0xa67e9f021b9d… 1,280,647,186,178.76782 KLEE 2022-04-30 16:09:26 +0000 UTC
0x6d45343d… 14686567 0xca50ba230988… 0xa67e9f021b9d… 8,182,012,036,209.27148 KLEE 2022-04-30 16:08:02 +0000 UTC
0x2d7973f8… 14686564 0xfa7eb602edb1… 0xa67e9f021b9d… 1,892,199,696,274.99561 KLEE 2022-04-30 16:07:30 +0000 UTC
0xd4181d26… 14686545 0xc55360102a6e… 0xa67e9f021b9d… 21,081,555,917,104.20312 KLEE 2022-04-30 16:02:28 +0000 UTC
0x2c7d9432… 14686516 0xf53dc3d7cc1b… 0xa67e9f021b9d… 870,262,310,371.34229 KLEE 2022-04-30 15:55:47 +0000 UTC
0x3cd30980… 14686500 0xd8e1c195ea7c… 0xa67e9f021b9d… 1,622,514,728,760.88574 KLEE 2022-04-30 15:52:29 +0000 UTC
0xfbd0189e… 14686380 0xa9f81720d6a3… 0xa67e9f021b9d… 69,433,275,136,902.50000 KLEE 2022-04-30 15:26:44 +0000 UTC
0x3442b893… 14686361 0x26a35269544b… 0x323c5b9220f6… 1,297,213,396,600.00732 KLEE 2022-04-30 15:22:04 +0000 UTC
0xcca8feba… 14686323 0x341deb704a4c… 0xa67e9f021b9d… 566,536,093,263.46912 KLEE 2022-04-30 15:13:09 +0000 UTC
0xf6eca700… 14686311 0xe87044feb58e… 0xa67e9f021b9d… 6,910,723,165,730.54883 KLEE 2022-04-30 15:10:04 +0000 UTC
0x7ad279bd… 14686289 0x80dd5528b868… 0xa67e9f021b9d… 1,322,152,089,007.02661 KLEE 2022-04-30 15:04:24 +0000 UTC
0xb6b23a3a… 14686282 0xab41e07a053e… 0xa67e9f021b9d… 2,514,569,125,136.95459 KLEE 2022-04-30 15:03:06 +0000 UTC
0x861e9029… 14686282 0xd02207c94a40… 0xa67e9f021b9d… 1,315,989,181,838.11914 KLEE 2022-04-30 15:03:06 +0000 UTC
0xe5b4023d… 14686241 0xbfae8871162c… 0xa67e9f021b9d… 3,686,817,648,595.62744 KLEE 2022-04-30 14:53:42 +0000 UTC
0xdfced2d0… 14686218 0xdf25c6147033… 0xa67e9f021b9d… 2,690,333,335,255.82666 KLEE 2022-04-30 14:48:25 +0000 UTC
0x7bdc85d8… 14686218 0x1a668c29e90b… 0xa67e9f021b9d… 110,737,803,331,257.96875 KLEE 2022-04-30 14:48:25 +0000 UTC
0x3b390503… 14686206 0xd2ffa64e04bc… 0xece9d4e10b90… 9,583,695,585,155.24414 KLEE 2022-04-30 14:45:55 +0000 UTC
0xe7830e87… 14686173 0x15641dcbe804… 0xa67e9f021b9d… 6,894,191,006,580.41504 KLEE 2022-04-30 14:39:41 +0000 UTC
0xef868899… 14686152 0x50eb7087c37a… 0xa67e9f021b9d… 1,200,845,871,461.87695 KLEE 2022-04-30 14:35:09 +0000 UTC
0x731aabf6… 14686140 0xe70d9ef36bbd… 0x08d0b9aa7121… 700,046,949.26927 KLEE 2022-04-30 14:33:14 +0000 UTC
0x66959a56… 14686112 0xd6a30713473f… 0xefd8203c8525… 4,261,073,266,652.54150 KLEE 2022-04-30 14:26:57 +0000 UTC
0xabb141dc… 14686102 0xbd953875616e… 0xa67e9f021b9d… 3,240,890,784,956.94971 KLEE 2022-04-30 14:25:36 +0000 UTC
0x0d1969a1… 14686063 0xefd8203c8525… 0xd6a30713473f… 4,348,027,195,466.77832 KLEE 2022-04-30 14:16:44 +0000 UTC
0x61dd5302… 14686052 0x62a639dbcc96… 0xa67e9f021b9d… 4,199,238,990,129.98291 KLEE 2022-04-30 14:14:28 +0000 UTC
0x69f41597… 14686005 0x1a2f92c5552f… 0xa67e9f021b9d… 463,686,336,978.67181 KLEE 2022-04-30 14:05:35 +0000 UTC
0x99c7c61c… 14685976 0xbfcefe22af72… 0xa67e9f021b9d… 1,516,406,096,861.17725 KLEE 2022-04-30 13:58:21 +0000 UTC
0xd4c66a28… 14685964 0x7d2b395d52b4… 0xa67e9f021b9d… 4,923,996,140,084.75781 KLEE 2022-04-30 13:56:07 +0000 UTC
0xe8c33949… 14685944 0xfd45d927a136… 0xa67e9f021b9d… 5,878,456,278,340.30957 KLEE 2022-04-30 13:52:01 +0000 UTC
0x7c0d95dc… 14685942 0xbb28c0b3675a… 0xa67e9f021b9d… 16,250,790,450,085.76367 KLEE 2022-04-30 13:51:46 +0000 UTC
0x81710a33… 14685889 0x383beaa21572… 0xa67e9f021b9d… 27,573,064,172,348.89453 KLEE 2022-04-30 13:36:22 +0000 UTC
0xa89e506b… 14685884 0xe4fef70465d7… 0xa67e9f021b9d… 174,961,300,203.98181 KLEE 2022-04-30 13:35:27 +0000 UTC
0x1bece669… 14685884 0xe37e0653fe78… 0xa67e9f021b9d… 2,095,225,013,890.02515 KLEE 2022-04-30 13:35:27 +0000 UTC
0x7051177f… 14685880 0x38df0f1c0758… 0xa67e9f021b9d… 1,079,074,706,544.68860 KLEE 2022-04-30 13:33:54 +0000 UTC
0x65f93380… 14685811 0xa5f1fae88249… 0xa67e9f021b9d… 2,427,549,551,931.77539 KLEE 2022-04-30 13:18:36 +0000 UTC
0x9d8f11d1… 14685760 0xc581abaf3a65… 0xd94a906f4000… 9,650,065,118.66841 KLEE 2022-04-30 13:06:53 +0000 UTC
0xce936ae2… 14685746 0xd23247c70715… 0xa67e9f021b9d… 4,570,388,895,619.82129 KLEE 2022-04-30 13:03:28 +0000 UTC
0xce936ae2… 14685746 0xd23247c70715… 0xa67e9f021b9d… 4,570,388,895,619.82129 KLEE 2022-04-30 13:03:28 +0000 UTC
0x26d50ec3… 14685727 0x622ea563660b… 0xa67e9f021b9d… 3,269,370,686,012.07861 KLEE 2022-04-30 12:59:04 +0000 UTC
0xe9b8cd91… 14685691 0xd4a0e32b2584… 0xa67e9f021b9d… 10,013,619,925.35243 KLEE 2022-04-30 12:50:48 +0000 UTC
0x6032f0a2… 14685682 0x8044e86ca196… 0x79ed0b975a09… 17,895,396,356,956.33594 KLEE 2022-04-30 12:48:41 +0000 UTC
0x0f284104… 14685669 0xf71684264538… 0xa67e9f021b9d… 1,700,723,828,380.19019 KLEE 2022-04-30 12:45:26 +0000 UTC
0x0f284104… 14685669 0xf71684264538… 0xa67e9f021b9d… 1,700,723,828,380.19019 KLEE 2022-04-30 12:45:25 +0000 UTC
0x9a9b47d9… 14685662 0xf7d9aeae5baf… 0xa67e9f021b9d… 2,150,680,918,475.42651 KLEE 2022-04-30 12:44:05 +0000 UTC
0xd6ecff64… 14685656 0x4da992f4903b… 0xa67e9f021b9d… 1,028,263,714,976.35168 KLEE 2022-04-30 12:43:38 +0000 UTC
0xde233bfd… 14685612 0xadb5fa63521f… 0xa67e9f021b9d… 2,370,151,789,018.94629 KLEE 2022-04-30 12:35:26 +0000 UTC
0x8065546e… 14685591 0x066bdf6fc70a… 0xa67e9f021b9d… 2,196,893,837,362.88574 KLEE 2022-04-30 12:30:01 +0000 UTC
0xf0a91a74… 14685573 0x29325d88ec0a… 0xa67e9f021b9d… 1,230,353,970,167.41650 KLEE 2022-04-30 12:25:23 +0000 UTC
0x1ac17604… 14685558 0xaebd003529d9… 0xa67e9f021b9d… 2,105,380,901,358.41821 KLEE 2022-04-30 12:22:39 +0000 UTC
0x4e68c98a… 14685520 0x833c13df3f72… 0xa67e9f021b9d… 1,319,619,597,896.56128 KLEE 2022-04-30 12:15:39 +0000 UTC
0x9260c830… 14685513 0x12c0ed5b1715… 0xa67e9f021b9d… 2,077,306,707,810.23682 KLEE 2022-04-30 12:14:13 +0000 UTC
0x9fe52500… 14685506 0x0216b13a9af7… 0xa67e9f021b9d… 15,817,875,550,810.36133 KLEE 2022-04-30 12:12:35 +0000 UTC
0xd8aa3a0a… 14685448 0xb75cfd0ca755… 0xa67e9f021b9d… 1,513,519,702,490.73535 KLEE 2022-04-30 11:58:37 +0000 UTC
0xd6a029d5… 14685447 0x856398e2952e… 0xa67e9f021b9d… 1,212,622,367,899.09375 KLEE 2022-04-30 11:58:26 +0000 UTC
0x4a86c31b… 14685443 0x96da549f4464… 0xa67e9f021b9d… 163,417,407,894,893.06250 KLEE 2022-04-30 11:57:57 +0000 UTC
0xf83fa0b8… 14685437 0x134e2ca341d0… 0xa67e9f021b9d… 4,660,567,053,278.85352 KLEE 2022-04-30 11:55:43 +0000 UTC
0xd621ba1e… 14685420 0xee79915f5fda… 0xa67e9f021b9d… 1,600,443,506,880.09058 KLEE 2022-04-30 11:49:58 +0000 UTC
0x4f184e33… 14685395 0x8044e86ca196… 0x96da549f4464… 144,715,620,000,000.00000 KLEE 2022-04-30 11:44:07 +0000 UTC
0x75283cea… 14685386 0x4d0206d0c6ef… 0xa67e9f021b9d… 2,429,227,974,012.77637 KLEE 2022-04-30 11:42:15 +0000 UTC
0x75283cea… 14685386 0x4d0206d0c6ef… 0xa67e9f021b9d… 2,429,227,974,012.77637 KLEE 2022-04-30 11:42:14 +0000 UTC
0xcfea6d9d… 14685362 0xeb0810da2cae… 0xa67e9f021b9d… 6,954,057,095,918.70898 KLEE 2022-04-30 11:37:43 +0000 UTC
0x84454e24… 14685336 0xfa2241d98b47… 0xa67e9f021b9d… 252,478,342,111.90515 KLEE 2022-04-30 11:29:00 +0000 UTC
0xe485416b… 14685325 0x65a3b7efe52d… 0xa67e9f021b9d… 346,296,919,532.27747 KLEE 2022-04-30 11:25:05 +0000 UTC
0xa1fddc4c… 14685319 0xef8a422f57fa… 0xa67e9f021b9d… 9,622,716,593,001.77539 KLEE 2022-04-30 11:23:39 +0000 UTC
0xebd450bd… 14685299 0xf9a0913cf3d7… 0xa67e9f021b9d… 9,088,949,940,083.15430 KLEE 2022-04-30 11:20:01 +0000 UTC
0xcb6bc6b9… 14685292 0xf9ecc72955fc… 0xa67e9f021b9d… 2,073,924,690,912.36719 KLEE 2022-04-30 11:19:12 +0000 UTC
0x908fa4cc… 14685282 0xdd94d22e1b65… 0xa67e9f021b9d… 395,273,281,336.22211 KLEE 2022-04-30 11:17:44 +0000 UTC
0x59851782… 14685274 0x7508dc82dffd… 0xa67e9f021b9d… 1,285,449,463,335.93628 KLEE 2022-04-30 11:15:55 +0000 UTC
0x49e87960… 14685265 0x86dc4d84b5df… 0xa67e9f021b9d… 34,308,212,409.98804 KLEE 2022-04-30 11:14:00 +0000 UTC
0xf66db76b… 14685253 0x9590957c36d1… 0xa67e9f021b9d… 215,418,358,717.73627 KLEE 2022-04-30 11:11:32 +0000 UTC
0x2c7a4fbd… 14685243 0x8f0f5c50ed97… 0xa67e9f021b9d… 417,850,824,698.68250 KLEE 2022-04-30 11:08:43 +0000 UTC
0x7ff31dc6… 14685237 0x0ef9cb36a92f… 0xa67e9f021b9d… 166,981,009,986.11548 KLEE 2022-04-30 11:07:15 +0000 UTC
0x7c8cd199… 14685209 0x196e498bf97b… 0x7ab5047e455d… 8,820,173,034,398.94336 KLEE 2022-04-30 11:01:19 +0000 UTC
0x66b2456b… 14685201 0x60e9778e84ba… 0xb19ea1d1b9ed… 193,470,373,707,977.93750 KLEE 2022-04-30 10:58:38 +0000 UTC
0xdb4a5159… 14685199 0x58e168542c8d… 0xa67e9f021b9d… 18,032,295,536,933.16797 KLEE 2022-04-30 10:58:00 +0000 UTC
0x8cbc6e16… 14685198 0x8044e86ca196… 0x4ebd211696ec… 5,852,888,380,059.80176 KLEE 2022-04-30 10:57:54 +0000 UTC
0x4d4c1fd1… 14685113 0xdfe3b97792e2… 0xa67e9f021b9d… 737,719,981,715.59534 KLEE 2022-04-30 10:37:05 +0000 UTC
0xe43fad46… 14685105 0x08d0b9aa7121… 0x196e498bf97b… 8,999,758,576,482.39844 KLEE 2022-04-30 10:35:35 +0000 UTC
0x10d56ec7… 14685062 0x921f85342449… 0xa67e9f021b9d… 2,877,449,023,715.06348 KLEE 2022-04-30 10:26:55 +0000 UTC
0xb9d05ba5… 14685062 0xff627b391c04… 0xa67e9f021b9d… 1,321,985,748,722.50195 KLEE 2022-04-30 10:26:55 +0000 UTC
0x05e9d372… 14685049 0xea8cde8878bc… 0xa67e9f021b9d… 2,103,219,393,422.18213 KLEE 2022-04-30 10:24:51 +0000 UTC
0xf4a25a81… 14685042 0x620393b7c787… 0xa67e9f021b9d… 463,750,564,232.80225 KLEE 2022-04-30 10:23:14 +0000 UTC
0xb52666a4… 14685034 0x1dea9089a637… 0xa67e9f021b9d… 1,290,481,326,930.09912 KLEE 2022-04-30 10:22:09 +0000 UTC
0x26b78090… 14685034 0xd0799e636249… 0xa67e9f021b9d… 3,276,587,797,169.38330 KLEE 2022-04-30 10:22:09 +0000 UTC
0x683b80b6… 14685018 0x03beb53e3dc6… 0xa67e9f021b9d… 1,048,558,609,014.75818 KLEE 2022-04-30 10:19:03 +0000 UTC
0x18279864… 14684992 0x69342248cfef… 0xa67e9f021b9d… 3,290,388,052,445.24072 KLEE 2022-04-30 10:10:19 +0000 UTC
0x6028f2b3… 14684984 0xe4b4d32a4436… 0xa67e9f021b9d… 5,027,721,020,913.38379 KLEE 2022-04-30 10:08:40 +0000 UTC
0xb29f7386… 14684966 0x10e9d58feccd… 0xa67e9f021b9d… 6,737,832,544,010.59277 KLEE 2022-04-30 10:05:16 +0000 UTC
0xb29f7386… 14684966 0x10e9d58feccd… 0xa67e9f021b9d… 6,737,832,544,010.59277 KLEE 2022-04-30 10:05:16 +0000 UTC
0xa983bbf2… 14684942 0xf794a38a871e… 0xa67e9f021b9d… 10,771,715.54941 KLEE 2022-04-30 09:59:49 +0000 UTC
0x16cdf686… 14684939 0x004dec538105… 0xa67e9f021b9d… 116,156,414,484.00517 KLEE 2022-04-30 09:58:43 +0000 UTC
0xd3efa128… 14684906 0xca0be3dd4fa9… 0xa67e9f021b9d… 3,582,527,665,796.27490 KLEE 2022-04-30 09:52:10 +0000 UTC
0x38ba1ce2… 14684839 0x61db16aa50fe… 0xa67e9f021b9d… 280,813,986,704.66516 KLEE 2022-04-30 09:38:29 +0000 UTC
0xab5d3400… 14684833 0xaabfa7c9a868… 0xa67e9f021b9d… 1,115,193,630,951.41748 KLEE 2022-04-30 09:37:44 +0000 UTC
0xc02b5c9d… 14684828 0xec5be0e66c0b… 0xa67e9f021b9d… 32,181,219,421,491.02344 KLEE 2022-04-30 09:36:19 +0000 UTC
0x8528e824… 14684754 0xb20f3f0f1d8b… 0xa67e9f021b9d… 780,165,855,655.01501 KLEE 2022-04-30 09:19:02 +0000 UTC
0x41e59654… 14684745 0xea3931fb3870… 0xa67e9f021b9d… 6,934,257,095,822.31055 KLEE 2022-04-30 09:17:39 +0000 UTC
0x395c8fb6… 14684699 0x7f1d299305a0… 0xa67e9f021b9d… 1,526,879,621,530.22998 KLEE 2022-04-30 09:04:53 +0000 UTC
0x1e44f2db… 14684691 0x9f9bcd4149b0… 0xa67e9f021b9d… 1,805,716,815,963.35425 KLEE 2022-04-30 09:02:35 +0000 UTC
0x26defc1f… 14684684 0xcea92a610a9e… 0xa67e9f021b9d… 13,020,797,571,343.31250 KLEE 2022-04-30 09:01:08 +0000 UTC
0x756e8f01… 14684682 0xf8cd2e47a8ae… 0xa67e9f021b9d… 10,323,280,310,352.40039 KLEE 2022-04-30 09:00:06 +0000 UTC
0xf4455ed1… 14684662 0x62c955fa8a9e… 0xa67e9f021b9d… 2,099,310,322,694.75220 KLEE 2022-04-30 08:55:08 +0000 UTC
0xd02034c2… 14684655 0xd1b3a98f877d… 0xa67e9f021b9d… 1,259,592,951,711.05371 KLEE 2022-04-30 08:53:25 +0000 UTC
0x5554ce1e… 14684648 0x8dfb2fdf60f0… 0xa67e9f021b9d… 33,059,898,782,869.31250 KLEE 2022-04-30 08:51:37 +0000 UTC
0xa1396b67… 14684630 0x87c4763f51b3… 0x2f734e3f1c8f… 74,814,325.98127 KLEE 2022-04-30 08:45:36 +0000 UTC
0x4fbbf418… 14684604 0xec798136e12d… 0xa67e9f021b9d… 4,300,659,094,709.35938 KLEE 2022-04-30 08:41:09 +0000 UTC
0x8cd0f7be… 14684583 0xd574466cbf97… 0xa67e9f021b9d… 10,303,190,569,343.38477 KLEE 2022-04-30 08:37:04 +0000 UTC
0x6e1d956a… 14684559 0x530c89c0875b… 0xa67e9f021b9d… 29,022,288,411,849.38281 KLEE 2022-04-30 08:31:56 +0000 UTC
0x51b39886… 14684555 0x21fb7d417804… 0xa67e9f021b9d… 34,582,565,568,430.73047 KLEE 2022-04-30 08:30:45 +0000 UTC
0x2c890236… 14684551 0x285106207354… 0xa67e9f021b9d… 300,661,554,140.82733 KLEE 2022-04-30 08:30:38 +0000 UTC
0x5db9741e… 14684534 0x50980e6ed811… 0xa67e9f021b9d… 100,777,571,098.18114 KLEE 2022-04-30 08:28:02 +0000 UTC
0x438aaf34… 14684529 0xc4b1e68ae74a… 0xa67e9f021b9d… 2,142,690,556,720.40381 KLEE 2022-04-30 08:27:09 +0000 UTC
0x042fcf48… 14684528 0x83b02b3b2dad… 0xa67e9f021b9d… 10,271,976,408,445.42578 KLEE 2022-04-30 08:26:11 +0000 UTC
0x7747ae2b… 14684515 0x17ecd6844e52… 0xa67e9f021b9d… 1,843,842,300,724.03491 KLEE 2022-04-30 08:23:36 +0000 UTC
0x41cdbfa6… 14684483 0x28a7517de4ae… 0xa67e9f021b9d… 15,874,067,894,356.87891 KLEE 2022-04-30 08:15:29 +0000 UTC
0x0c895ee8… 14684480 0x93e89379cb19… 0xa67e9f021b9d… 308,700,103,771,277.25000 KLEE 2022-04-30 08:14:55 +0000 UTC
0x4d2e904d… 14684404 0xd75c0a6e3f6c… 0xa67e9f021b9d… 26,489,352,280,434.24219 KLEE 2022-04-30 07:59:35 +0000 UTC
0x538425fa… 14684394 0x1cf5608044a1… 0xa67e9f021b9d… 134,680,312,075.48053 KLEE 2022-04-30 07:57:45 +0000 UTC
0xc13f3a73… 14684359 0x26bca8139e0d… 0xa67e9f021b9d… 666,477,116,350.42249 KLEE 2022-04-30 07:49:25 +0000 UTC
0x90a7c7dc… 14684351 0x121df441f88f… 0xa67e9f021b9d… 2,126,940,268,327.72632 KLEE 2022-04-30 07:48:05 +0000 UTC
0x316f6860… 14684316 0xcf9713f52b8f… 0xa67e9f021b9d… 8,147,216,939,207.56348 KLEE 2022-04-30 07:43:03 +0000 UTC
0x265ca718… 14684311 0xc0260ad2c186… 0xa67e9f021b9d… 7,241,211,819,354.32715 KLEE 2022-04-30 07:41:58 +0000 UTC
0xc18a8718… 14684299 0xc81bb040408c… 0xa67e9f021b9d… 676,438,273,030.11987 KLEE 2022-04-30 07:38:07 +0000 UTC
0x33925aab… 14684233 0xab1a93ed8441… 0xa67e9f021b9d… 53,463,028,451,471.43750 KLEE 2022-04-30 07:22:23 +0000 UTC
0x949b45f4… 14684203 0x210e3756cd06… 0xa67e9f021b9d… 20,951,623,272,482.36719 KLEE 2022-04-30 07:15:17 +0000 UTC
0x04d9fdcd… 14684186 0xa593971dde43… 0xa67e9f021b9d… 4,602,068,165,564.42676 KLEE 2022-04-30 07:11:47 +0000 UTC
0xfa6f80ec… 14684161 0xc42a2e58765b… 0xa67e9f021b9d… 1,078,695,709,753.79407 KLEE 2022-04-30 07:06:53 +0000 UTC
0xee52fb82… 14684157 0x7c6a6888c3be… 0xe5b8ff1ca1c3… 4,643,893,801,247.15918 KLEE 2022-04-30 07:05:43 +0000 UTC
0x0ecbf081… 14684141 0x61d2650d6bde… 0xa67e9f021b9d… 542,015,541,309.82550 KLEE 2022-04-30 07:02:16 +0000 UTC
0x4ee26196… 14684124 0xa264d125be95… 0xa67e9f021b9d… 314,228,796,251.84985 KLEE 2022-04-30 06:56:57 +0000 UTC
0xc5ab1fee… 14684123 0x2d877ea1a40f… 0xa67e9f021b9d… 6,044,910,867,084.77832 KLEE 2022-04-30 06:56:00 +0000 UTC
0xbd3aa98d… 14684115 0x6fd962bd7844… 0xa67e9f021b9d… 851,779,986,646.23059 KLEE 2022-04-30 06:54:06 +0000 UTC
0x0b62081c… 14684103 0xf32ff6b8a24d… 0xa67e9f021b9d… 5,163,183,090,956.36621 KLEE 2022-04-30 06:51:05 +0000 UTC
0x2729f2f6… 14684054 0x3b94f4585fff… 0x08d0b9aa7121… 14,800,913,218,747.63672 KLEE 2022-04-30 06:36:49 +0000 UTC
0x5c12e8b3… 14684031 0x441a285b7ab3… 0x7c6a6888c3be… 4,738,636,267,655.68848 KLEE 2022-04-30 06:32:12 +0000 UTC
0x5c12e8b3… 14684031 0x441a285b7ab3… 0x7c6a6888c3be… 4,738,636,267,655.68848 KLEE 2022-04-30 06:32:12 +0000 UTC
0x88a654af… 14684021 0x3c72f71d6b96… 0xa67e9f021b9d… 1,098,692,430,059.48096 KLEE 2022-04-30 06:29:52 +0000 UTC
0xe1ab191b… 14684019 0x8044e86ca196… 0x3b94f4585fff… 27,779,201,192,579.30859 KLEE 2022-04-30 06:29:17 +0000 UTC
0x88581a80… 14684015 0x495151c0f090… 0xa67e9f021b9d… 2,668,306,449,178.58838 KLEE 2022-04-30 06:27:28 +0000 UTC
0x7ed91d54… 14684014 0xa04d380a35cf… 0xa67e9f021b9d… 239,204,479,286.87711 KLEE 2022-04-30 06:26:44 +0000 UTC
0x67328d79… 14683969 0xa2fae7aebb9d… 0xa67e9f021b9d… 3,777,368,674,740.54102 KLEE 2022-04-30 06:16:07 +0000 UTC
0xacbe69cf… 14683948 0xd532762d65e2… 0xa67e9f021b9d… 1,073,302,057,604.56787 KLEE 2022-04-30 06:12:41 +0000 UTC
0x6669e3bb… 14683925 0xaee530945325… 0xa67e9f021b9d… 2,264,218,299,149.63623 KLEE 2022-04-30 06:08:24 +0000 UTC
0xe1f4aa7f… 14683917 0xf825bc1885ef… 0xa67e9f021b9d… 5,725,686,264,711.84766 KLEE 2022-04-30 06:06:35 +0000 UTC
0x73dc14b7… 14683915 0x6690d851d8f0… 0xa67e9f021b9d… 3,696,671,549,207.23193 KLEE 2022-04-30 06:05:45 +0000 UTC
0x8f3a91bd… 14683909 0xadac0a92461a… 0xa67e9f021b9d… 19,496,096,091,538.58594 KLEE 2022-04-30 06:04:45 +0000 UTC
0xa95f4ff5… 14683905 0xba73c0cecfbe… 0xa67e9f021b9d… 25,457,259,111,335.68359 KLEE 2022-04-30 06:03:42 +0000 UTC
0xe376fddb… 14683890 0xaf76167c8f14… 0xa67e9f021b9d… 888,372,538,915.43384 KLEE 2022-04-30 05:59:48 +0000 UTC
0x400b369e… 14683890 0xe8b7d55dab9f… 0xa67e9f021b9d… 4,232,922,357,353.83545 KLEE 2022-04-30 05:59:48 +0000 UTC
0xec93f47f… 14683888 0xeaf4c339c5bf… 0xa67e9f021b9d… 85,725,205,764.11212 KLEE 2022-04-30 05:59:43 +0000 UTC
0x9fbe0a36… 14683871 0xf2065cf80256… 0xa67e9f021b9d… 565,967,652,107.82422 KLEE 2022-04-30 05:56:05 +0000 UTC
0x5dc80b52… 14683856 0x42c5ef07f4f2… 0xa67e9f021b9d… 322,231,037,073.14227 KLEE 2022-04-30 05:53:00 +0000 UTC
0xbadbc1e9… 14683841 0x5d2f8e0fb70b… 0xa67e9f021b9d… 2,498,459,955,360.49756 KLEE 2022-04-30 05:49:16 +0000 UTC
0xdeb75a68… 14683838 0x8ee94fe1400d… 0xa67e9f021b9d… 323,771,792,618.97028 KLEE 2022-04-30 05:48:58 +0000 UTC
0x5a638aa3… 14683827 0xd17e05022bc5… 0xa67e9f021b9d… 2,303,193,376,665.82275 KLEE 2022-04-30 05:47:42 +0000 UTC
0x51912a37… 14683824 0x5f978f775cdc… 0xa67e9f021b9d… 1,683,513,861,203.46826 KLEE 2022-04-30 05:47:02 +0000 UTC
0x995faab5… 14683809 0x99b5abc0e37d… 0xa67e9f021b9d… 81,104.71447 KLEE 2022-04-30 05:44:21 +0000 UTC
0xdc41f05a… 14683809 0x6458735613c2… 0xa67e9f021b9d… 10,522,191,018,821.57617 KLEE 2022-04-30 05:44:21 +0000 UTC
0xb8634be7… 14683795 0xd960c070d484… 0xa67e9f021b9d… 1,522,717,108,409.06714 KLEE 2022-04-30 05:38:54 +0000 UTC
0xc67a7f31… 14683794 0x93fa67dc500e… 0xa67e9f021b9d… 1,882,431,736,269.84326 KLEE 2022-04-30 05:38:50 +0000 UTC
0xcf451b6e… 14683785 0x804838671658… 0xa67e9f021b9d… 984,698,535,554.20752 KLEE 2022-04-30 05:35:18 +0000 UTC
0xcf451b6e… 14683785 0x804838671658… 0xa67e9f021b9d… 984,698,535,554.20752 KLEE 2022-04-30 05:35:18 +0000 UTC
0x2b910d88… 14683765 0xc32825bfaeb9… 0xa67e9f021b9d… 22,896,219,630,058.21094 KLEE 2022-04-30 05:31:20 +0000 UTC
0xda0a98cf… 14683731 0x96793a0c7198… 0xa67e9f021b9d… 515,709,548,929.17297 KLEE 2022-04-30 05:25:04 +0000 UTC
0x18001baa… 14683727 0x6ea396b3df26… 0xa67e9f021b9d… 584,408,540,503.17676 KLEE 2022-04-30 05:24:49 +0000 UTC
0x0ae9e02f… 14683716 0x9d80e17161bb… 0xa67e9f021b9d… 2,023,562,194,172.58179 KLEE 2022-04-30 05:22:55 +0000 UTC
0x43934196… 14683709 0x6b1e6605df84… 0xa67e9f021b9d… 155,251,099,440.66467 KLEE 2022-04-30 05:21:37 +0000 UTC
0xaf4bb17e… 14683692 0x16cc86c3ce91… 0xa67e9f021b9d… 7,201,074,613,140.64355 KLEE 2022-04-30 05:15:36 +0000 UTC
0x3432d8fa… 14683691 0x06e192b8c945… 0xa67e9f021b9d… 1,065,693,613,773.71997 KLEE 2022-04-30 05:15:20 +0000 UTC
0x54f4954f… 14683690 0xbaf1c208d83b… 0xa67e9f021b9d… 1,545,137,735,188.20801 KLEE 2022-04-30 05:15:15 +0000 UTC
0x88641175… 14683688 0xac0b336a10c5… 0xa67e9f021b9d… 19,758,383,698,687.36719 KLEE 2022-04-30 05:14:51 +0000 UTC
0xf352e214… 14683684 0x0311663d459d… 0xa67e9f021b9d… 1,868,322,743,046.98389 KLEE 2022-04-30 05:14:02 +0000 UTC
0x2e241077… 14683669 0xb7612b5b7870… 0xa67e9f021b9d… 3,525,146,316,114.54688 KLEE 2022-04-30 05:10:54 +0000 UTC
0x00287a07… 14683662 0x441a293f91fa… 0xa67e9f021b9d… 179,770,538,637.05585 KLEE 2022-04-30 05:08:16 +0000 UTC
0xd37e35a4… 14683658 0x08d0b9aa7121… 0x03f7724180aa… 3,670,151,594,450.06787 KLEE 2022-04-30 05:07:55 +0000 UTC
0xd37e35a4… 14683658 0x03f7724180aa… 0xb7612b5b7870… 3,596,751,257,757.26855 KLEE 2022-04-30 05:07:55 +0000 UTC
0xcaf2fe98… 14683652 0x9ff0032d103f… 0xa67e9f021b9d… 3,192,582,908,557.31982 KLEE 2022-04-30 05:05:52 +0000 UTC
0xcaf2fe98… 14683652 0x9ff0032d103f… 0xa67e9f021b9d… 3,192,582,908,557.31982 KLEE 2022-04-30 05:05:52 +0000 UTC
0x092b798b… 14683647 0x6320b683c70b… 0xa67e9f021b9d… 1,846,466,464,665.22046 KLEE 2022-04-30 05:04:52 +0000 UTC
0xef15248f… 14683635 0x63808e758aa7… 0xa67e9f021b9d… 29,921,388,874.66050 KLEE 2022-04-30 05:02:51 +0000 UTC
0x86142c54… 14683607 0x05f7a050ec84… 0xac0b336a10c5… 20,161,459,304,426.10938 KLEE 2022-04-30 04:57:59 +0000 UTC
0x644ba2e3… 14683586 0x9a1b6343153f… 0xa67e9f021b9d… 103,609,795,290.37973 KLEE 2022-04-30 04:54:01 +0000 UTC
0x02a72932… 14683571 0xf14a7ac16ffa… 0xa67e9f021b9d… 5,765,790,937,373.97949 KLEE 2022-04-30 04:51:41 +0000 UTC
0x3c8e0618… 14683551 0xcd62b3e748f1… 0xa67e9f021b9d… 23,106,434,186,214.60938 KLEE 2022-04-30 04:46:52 +0000 UTC
0x1b61aeb6… 14683538 0x816b468711e3… 0xa67e9f021b9d… 5,430,043,199,098.27539 KLEE 2022-04-30 04:43:56 +0000 UTC
0x01da1642… 14683519 0x5e91018ffad6… 0xcd62b3e748f1… 992,366,363,251.62329 KLEE 2022-04-30 04:38:37 +0000 UTC
0x7271ae74… 14683516 0x4e740cc15698… 0xa67e9f021b9d… 1,697,116,471,597.11914 KLEE 2022-04-30 04:37:36 +0000 UTC
0x013dff1d… 14683511 0x40ff397c7c1d… 0xa67e9f021b9d… 102,899,462,929,921.39062 KLEE 2022-04-30 04:36:09 +0000 UTC
0x16444405… 14683511 0x317f4a4471bc… 0xa67e9f021b9d… 364,308,868,630.78455 KLEE 2022-04-30 04:36:09 +0000 UTC
0xe7174b05… 14683506 0x7dc4b2e0ea54… 0xa67e9f021b9d… 10,474,984,873,871.20508 KLEE 2022-04-30 04:35:00 +0000 UTC
0x9fa57ffc… 14683468 0xcf4f5e6f19b8… 0xa67e9f021b9d… 4,812,867,901,213.25781 KLEE 2022-04-30 04:26:50 +0000 UTC
0xb1d99551… 14683467 0x701a83a88ed4… 0xa67e9f021b9d… 25,694,857,640,550.48828 KLEE 2022-04-30 04:26:44 +0000 UTC
0x37d8525f… 14683462 0x08d0b9aa7121… 0xc510f47fb6fe… 24,665,272,866,252.03516 KLEE 2022-04-30 04:25:53 +0000 UTC
0x9d3bf46f… 14683459 0xa751df9c5486… 0xa67e9f021b9d… 569,085,108,066.32129 KLEE 2022-04-30 04:24:20 +0000 UTC
0x7881cee7… 14683449 0xc2d6b0ef5c96… 0xa67e9f021b9d… 2,406,574,386,906.87354 KLEE 2022-04-30 04:22:55 +0000 UTC
0xa269e1df… 14683447 0x08d0b9aa7121… 0xc510f47fb6fe… 48,682,096,542,592.92188 KLEE 2022-04-30 04:22:42 +0000 UTC
0xb88af674… 14683434 0xde0a1532688a… 0xa67e9f021b9d… 7,136,049,246,204.29297 KLEE 2022-04-30 04:19:08 +0000 UTC
0x620cddc2… 14683408 0x08d0b9aa7121… 0x03f7724180aa… 8,045,747,523,641.70410 KLEE 2022-04-30 04:13:41 +0000 UTC
0x620cddc2… 14683408 0x03f7724180aa… 0x2665898249a8… 7,884,845,525,727.54785 KLEE 2022-04-30 04:13:41 +0000 UTC
0xf0f0be87… 14683406 0x94aa215930db… 0xa67e9f021b9d… 4,506,178,726,666.44922 KLEE 2022-04-30 04:13:22 +0000 UTC
0x05965c02… 14683320 0xac0b336a10c5… 0x05f7a050ec84… 20,571,633,165,901.37109 KLEE 2022-04-30 03:56:05 +0000 UTC
0x31142f4c… 14683309 0x79bfa46fbf38… 0xde0a1532688a… 7,280,640,592,525.47168 KLEE 2022-04-30 03:53:38 +0000 UTC
0x21340965… 14683307 0x9e1732749170… 0xa67e9f021b9d… 463,244,706,296.36914 KLEE 2022-04-30 03:52:58 +0000 UTC
0x29a1ea2a… 14683304 0x2cfcdd60eada… 0xa67e9f021b9d… 1,982,308,513,492.63574 KLEE 2022-04-30 03:52:53 +0000 UTC
0xc1a6068f… 14683297 0x0203edf96d47… 0xa67e9f021b9d… 163,709,517,706,830.00000 KLEE 2022-04-30 03:51:51 +0000 UTC
0x2c940f02… 14683284 0xde88d5a79e7e… 0xa67e9f021b9d… 4,410,260,013,376.31641 KLEE 2022-04-30 03:48:10 +0000 UTC
0xef9a9e45… 14683269 0xcf95e6f0bcda… 0xa67e9f021b9d… 1,249,034,022,665.56177 KLEE 2022-04-30 03:44:33 +0000 UTC
0x66441e19… 14683267 0xf570b31e7574… 0xe5b8ff1ca1c3… 318,100,778,325,982.75000 KLEE 2022-04-30 03:44:17 +0000 UTC
0x4f347dac… 14683267 0xe7c7611b8e05… 0x07888c3c5d25… 44,655,892,583,229.51562 KLEE 2022-04-30 03:44:17 +0000 UTC
0x51b0b435… 14683263 0x60f24dbcd881… 0xf667ca50e8bb… 6,946,191,151,301.44238 KLEE 2022-04-30 03:43:44 +0000 UTC
0x2c1804f0… 14683245 0xe033480d7d80… 0x5a5c953805ff… 573,787.58412 KLEE 2022-04-30 03:39:06 +0000 UTC
0x725b45dd… 14683238 0x7ab5047e455d… 0xa67e9f021b9d… 9,444,477,357,554.43945 KLEE 2022-04-30 03:37:26 +0000 UTC
0x6c1b983a… 14683221 0x7da04b9f9f9d… 0xa67e9f021b9d… 91,820,530,923.29565 KLEE 2022-04-30 03:33:49 +0000 UTC
0x1fdf1ad0… 14683220 0xcb0e15948d78… 0xa67e9f021b9d… 73,681,518,079.72951 KLEE 2022-04-30 03:33:41 +0000 UTC
0xe8459a25… 14683219 0xe033480d7d80… 0x8044e86ca196… 7,630,222,160,621.26270 KLEE 2022-04-30 03:32:33 +0000 UTC
0x54ec14ac… 14683213 0x89f2bb111883… 0xa67e9f021b9d… 368,312,470,269.32599 KLEE 2022-04-30 03:31:20 +0000 UTC
0xc487166e… 14683202 0x517bb20d3210… 0xa67e9f021b9d… 1,953,980,900,109.54834 KLEE 2022-04-30 03:29:07 +0000 UTC
0x87ea62ad… 14683197 0xdfc43d46410c… 0xe7c7611b8e05… 45,566,562,825,377.30469 KLEE 2022-04-30 03:27:25 +0000 UTC
0xf74c7105… 14683197 0xe24638306a60… 0xa67e9f021b9d… 95,709,190,953.70544 KLEE 2022-04-30 03:27:25 +0000 UTC
0xba806c18… 14683197 0xc4277207d4cd… 0xa67e9f021b9d… 329,034,096,883.27606 KLEE 2022-04-30 03:27:25 +0000 UTC
0xa4301810… 14683193 0x08d0b9aa7121… 0xdfc43d46410c… 46,496,051,279,041.80469 KLEE 2022-04-30 03:26:42 +0000 UTC
0xa4301810… 14683193 0x08d0b9aa7121… 0xdfc43d46410c… 46,496,051,279,041.80469 KLEE 2022-04-30 03:26:39 +0000 UTC
0x28ba470e… 14683192 0xd103d7fabd4f… 0xa67e9f021b9d… 123,566,598,293.12476 KLEE 2022-04-30 03:26:27 +0000 UTC
0xe9933a8a… 14683182 0x02becbafcbe1… 0xa67e9f021b9d… 355,798,077,470.85486 KLEE 2022-04-30 03:25:16 +0000 UTC
0x1bf9763b… 14683181 0x3692420e2465… 0xa67e9f021b9d… 2,309,709,091,018.33398 KLEE 2022-04-30 03:25:04 +0000 UTC
0x37a43cdd… 14683170 0x0662d447bd52… 0xa67e9f021b9d… 1,035,572,600,099.35571 KLEE 2022-04-30 03:22:29 +0000 UTC
0x3ceba5d9… 14683165 0x870727673af0… 0xf570b31e7574… 324,561,053,396,834.25000 KLEE 2022-04-30 03:20:50 +0000 UTC
0x61cb5988… 14683162 0x8044e86ca196… 0x870727673af0… 331,162,355,622,418.62500 KLEE 2022-04-30 03:20:29 +0000 UTC
0x3bbb72c1… 14683161 0x0056847e5721… 0xa67e9f021b9d… 1,574,468,466,826.56836 KLEE 2022-04-30 03:20:09 +0000 UTC
0xf0d4236e… 14683154 0x59d1c7faba85… 0xa67e9f021b9d… 2,293,369,403,294.24316 KLEE 2022-04-30 03:17:52 +0000 UTC
0xb1fb1a0c… 14683148 0xeb583c342f48… 0xa67e9f021b9d… 10,086,318,571,736.86914 KLEE 2022-04-30 03:16:35 +0000 UTC
0x79c03409… 14683135 0x11b9d4d14d67… 0xa67e9f021b9d… 84,173,641,269.98543 KLEE 2022-04-30 03:11:53 +0000 UTC
0x00b50b57… 14683130 0xe8c6d88965c1… 0xa67e9f021b9d… 597,382,362,884.42908 KLEE 2022-04-30 03:10:54 +0000 UTC
0xb35dc6a3… 14683099 0x5120a4d57d7d… 0xa67e9f021b9d… 30,210,136,747,297.39844 KLEE 2022-04-30 03:04:29 +0000 UTC
0x36bc3f55… 14683079 0xe0e65a5c2e29… 0x5120a4d57d7d… 19,964,282,808,539.21484 KLEE 2022-04-30 02:59:40 +0000 UTC
0x1214dcc1… 14683047 0xf78a26ed70ce… 0xa67e9f021b9d… 325,741,130,573.51898 KLEE 2022-04-30 02:51:40 +0000 UTC