About existential results of 494
16:43 13:50 44:42 29:25 20:40 20:45 33:42 23:43 21:14 15:44 11:45 15:14 60:48 20:07 25:27 18:21 17:13 20:19 17:21 23:09 28:07 19:22 18:10 23:23 22:45 16:48 53:08 24:06 26:31 25:54 24:24 21:04 42:27 53:24 154:52 60:08 90:33 90:05 28:14 22:04 23:21 25:53 22:38 56:47 59:14 27:32