About implication results of 308
26:48 04:18 08:04 03:14 01:34 03:13 01:58 03:15 01:15 02:01 02:33 02:26 01:30 01:16 13:22 02:05 22:51 01:41 02:18 01:47 02:33 02:56 03:23 13:56 06:42 06:43 02:28 03:06 02:48 04:40 02:40 02:19 03:35 10:09 04:32 03:05 02:44 04:52 04:27 05:31 03:47 03:53 04:43 05:45 05:11 04:39