Index of /hawaii/proofs/184/_gsdata_

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]2023-0721-080111-VALSDELLCOMPUTE-Proofs.log2023-07-21 15:01 379  
[   ]2023-0721-081326-VALSDELLCOMPUTE-Proofs.log2023-07-21 15:13 379  
[   ]2023-0721-082538-VALSDELLCOMPUTE-Proofs.log2023-07-21 15:25 379  
[   ]2023-0721-083750-VALSDELLCOMPUTE-Proofs.log2023-07-21 15:37 379  
[   ]2023-0721-085153-VALSDELLCOMPUTE-Proofs.log2023-07-21 15:51 379  
[   ]2023-0721-090405-VALSDELLCOMPUTE-Proofs.log2023-07-21 16:04 379  
[   ]2023-0721-091619-VALSDELLCOMPUTE-Proofs.log2023-07-21 16:16 379  
[   ]2023-0721-092831-VALSDELLCOMPUTE-Proofs.log2023-07-21 16:28 379  
[   ]2023-0721-094043-VALSDELLCOMPUTE-Proofs.log2023-07-21 16:40 379  
[   ]2023-0721-095231-VALSDELLCOMPUTE-Proofs.log2023-07-21 16:52 379  
[   ]2023-0721-100443-VALSDELLCOMPUTE-Proofs.log2023-07-21 17:04 379  
[   ]2023-0721-101655-VALSDELLCOMPUTE-Proofs.log2023-07-21 17:17 379  
[   ]2023-0721-102907-VALSDELLCOMPUTE-Proofs.log2023-07-21 17:29 379  
[   ]2023-0721-104119-VALSDELLCOMPUTE-Proofs.log2023-07-21 17:41 379  
[   ]2023-0721-105331-VALSDELLCOMPUTE-Proofs.log2023-07-21 17:53 379  
[   ]2023-0721-110546-VALSDELLCOMPUTE-Proofs.log2023-07-21 18:05 379  
[   ]2023-0721-111758-VALSDELLCOMPUTE-Proofs.log2023-07-21 18:18 379  
[   ]2023-0721-113010-VALSDELLCOMPUTE-Proofs.log2023-07-21 18:30 379  
[   ]2023-0721-114222-VALSDELLCOMPUTE-Proofs.log2023-07-21 18:42 379  
[   ]2023-0721-115435-VALSDELLCOMPUTE-Proofs.log2023-07-21 18:54 379  
[   ]2023-0721-120647-VALSDELLCOMPUTE-Proofs.log2023-07-21 19:06 379  
[   ]2023-0721-121859-VALSDELLCOMPUTE-Proofs.log2023-07-21 19:19 379  
[   ]2023-0721-123112-VALSDELLCOMPUTE-Proofs.log2023-07-21 19:31 379  
[   ]2023-0721-124324-VALSDELLCOMPUTE-Proofs.log2023-07-21 19:43 379  
[   ]2023-0721-125536-VALSDELLCOMPUTE-Proofs.log2023-07-21 19:55 379  
[   ]2023-0721-130748-VALSDELLCOMPUTE-Proofs.log2023-07-21 20:07 379  
[   ]2023-0721-132001-VALSDELLCOMPUTE-Proofs.log2023-07-21 20:20 379  
[   ]2023-0721-133213-VALSDELLCOMPUTE-Proofs.log2023-07-21 20:32 379  
[   ]2023-0721-134425-VALSDELLCOMPUTE-Proofs.log2023-07-21 20:44 379  
[   ]2023-0721-135637-VALSDELLCOMPUTE-Proofs.log2023-07-21 20:56 379  
[   ]2023-0721-140849-VALSDELLCOMPUTE-Proofs.log2023-07-21 21:08 379  
[   ]2023-0721-142101-VALSDELLCOMPUTE-Proofs.log2023-07-21 21:21 379  
[   ]2023-0721-143313-VALSDELLCOMPUTE-Proofs.log2023-07-21 21:33 379  
[   ]2023-0721-144525-VALSDELLCOMPUTE-Proofs.log2023-07-21 21:45 379  
[   ]2023-0721-145737-VALSDELLCOMPUTE-Proofs.log2023-07-21 21:57 379  
[   ]2023-0721-150952-VALSDELLCOMPUTE-Proofs.log2023-07-21 22:09 379  
[   ]2023-0721-152204-VALSDELLCOMPUTE-Proofs.log2023-07-21 22:22 379  
[   ]2023-0721-153416-VALSDELLCOMPUTE-Proofs.log2023-07-21 22:34 379  
[   ]2023-0721-154628-VALSDELLCOMPUTE-Proofs.log2023-07-21 22:46 379  
[   ]2023-0721-155841-VALSDELLCOMPUTE-Proofs.log2023-07-21 22:58 379  
[   ]2023-0721-161053-VALSDELLCOMPUTE-Proofs.log2023-07-21 23:10 379  
[   ]2023-0721-162305-VALSDELLCOMPUTE-Proofs.log2023-07-21 23:23 379  
[   ]2023-0721-163517-VALSDELLCOMPUTE-Proofs.log2023-07-21 23:35 379  
[   ]2023-0721-164608-VALSDELLCOMPUTE-Proofs.log2023-07-21 23:46 379  
[   ]2023-0721-165853-VALSDELLCOMPUTE-Proofs.log2023-07-21 23:59 379  
[   ]2023-0721-171108-VALSDELLCOMPUTE-Proofs.log2023-07-22 00:11 379  
[   ]2023-0721-172320-VALSDELLCOMPUTE-Proofs.log2023-07-22 00:23 379  
[   ]2023-0721-173532-VALSDELLCOMPUTE-Proofs.log2023-07-22 00:35 379  
[   ]2023-0721-174744-VALSDELLCOMPUTE-Proofs.log2023-07-22 00:47 379  
[   ]2023-0721-175956-VALSDELLCOMPUTE-Proofs.log2023-07-22 01:00 379  
[   ]2023-0721-181208-VALSDELLCOMPUTE-Proofs.log2023-07-22 01:12 379  
[   ]2023-0721-182420-VALSDELLCOMPUTE-Proofs.log2023-07-22 01:24 379  
[   ]2023-0721-183632-VALSDELLCOMPUTE-Proofs.log2023-07-22 01:36 379  
[   ]2023-0721-184844-VALSDELLCOMPUTE-Proofs.log2023-07-22 01:48 379  
[   ]2023-0725-164151-VALSDELLCOMPUTE-Proofs.log2023-07-25 23:41 379  
[   ]2023-0725-164203-VALSDELLCOMPUTE-Proofs.log2023-07-25 23:42 379  
[   ]2023-0725-165418-VALSDELLCOMPUTE-Proofs.log2023-07-25 23:54 379  
[   ]2023-0725-170630-VALSDELLCOMPUTE-Proofs.log2023-07-26 00:06 379  
[   ]2023-0725-171845-VALSDELLCOMPUTE-Proofs.log2023-07-26 00:18 379  
[   ]2023-0725-173057-VALSDELLCOMPUTE-Proofs.log2023-07-26 00:31 379  
[   ]2023-0725-174309-VALSDELLCOMPUTE-Proofs.log2023-07-26 00:43 379  
[   ]2023-0725-175521-VALSDELLCOMPUTE-Proofs.log2023-07-26 00:55 379  
[   ]2023-0725-180733-VALSDELLCOMPUTE-Proofs.log2023-07-26 01:07 379  
[   ]2023-0725-181945-VALSDELLCOMPUTE-Proofs.log2023-07-26 01:19 379  
[   ]2023-0725-183157-VALSDELLCOMPUTE-Proofs.log2023-07-26 01:32 379  
[   ]2023-0725-184218-VALSDELLCOMPUTE-Proofs.log2023-07-26 01:42 379  
[   ]2023-0725-185518-VALSDELLCOMPUTE-Proofs.log2023-07-26 01:55 379  
[   ]2023-0725-190730-VALSDELLCOMPUTE-Proofs.log2023-07-26 02:07 379  
[   ]2023-0725-191942-VALSDELLCOMPUTE-Proofs.log2023-07-26 02:19 379  
[   ]2023-0725-193154-VALSDELLCOMPUTE-Proofs.log2023-07-26 02:31 379  
[   ]2023-0725-194403-VALSDELLCOMPUTE-Proofs.log2023-07-26 02:44 379  
[   ]2023-0725-195613-VALSDELLCOMPUTE-Proofs.log2023-07-26 02:56 379  
[   ]2023-0725-200837-VALSDELLCOMPUTE-Proofs.log2023-07-26 03:08 379  
[   ]2023-0725-202049-VALSDELLCOMPUTE-Proofs.log2023-07-26 03:20 379  
[   ]2023-0725-203301-VALSDELLCOMPUTE-Proofs.log2023-07-26 03:33 379  
[   ]2023-0725-204513-VALSDELLCOMPUTE-Proofs.log2023-07-26 03:45 379  
[   ]2023-0725-205725-VALSDELLCOMPUTE-Proofs.log2023-07-26 03:57 379  
[   ]2023-0725-210937-VALSDELLCOMPUTE-Proofs.log2023-07-26 04:09 379  
[   ]2023-0725-212149-VALSDELLCOMPUTE-Proofs.log2023-07-26 04:21 379  
[   ]2023-0725-213401-VALSDELLCOMPUTE-Proofs.log2023-07-26 04:34 379  
[   ]2023-0725-214613-VALSDELLCOMPUTE-Proofs.log2023-07-26 04:46 379  
[   ]2023-0725-215825-VALSDELLCOMPUTE-Proofs.log2023-07-26 04:58 379  
[   ]2023-0725-221037-VALSDELLCOMPUTE-Proofs.log2023-07-26 05:10 379  
[   ]2023-0725-222249-VALSDELLCOMPUTE-Proofs.log2023-07-26 05:22 379  
[   ]2023-0725-223501-VALSDELLCOMPUTE-Proofs.log2023-07-26 05:35 379  
[   ]2023-0725-224713-VALSDELLCOMPUTE-Proofs.log2023-07-26 05:47 379  
[   ]2023-0725-225925-VALSDELLCOMPUTE-Proofs.log2023-07-26 05:59 379  
[   ]2023-0725-231137-VALSDELLCOMPUTE-Proofs.log2023-07-26 06:11 379  
[   ]2023-0725-232349-VALSDELLCOMPUTE-Proofs.log2023-07-26 06:23 379  
[   ]2023-0725-233358-VALSDELLCOMPUTE-Proofs.log2023-07-26 06:34 379  
[   ]2023-0725-234416-VALSDELLCOMPUTE-Proofs.log2023-07-26 06:44 379  
[   ]2023-0725-235628-VALSDELLCOMPUTE-Proofs.log2023-07-26 06:56 379  
[   ]2023-0726-000840-VALSDELLCOMPUTE-Proofs.log2023-07-26 07:15 2.0K 
[   ]2023-0726-002052-VALSDELLCOMPUTE-Proofs.log2023-07-26 07:20 379  
[   ]2023-0726-003304-VALSDELLCOMPUTE-Proofs.log2023-07-26 07:33 379  
[   ]2023-0726-004516-VALSDELLCOMPUTE-Proofs.log2023-07-26 07:45 379  
[   ]2023-0726-005728-VALSDELLCOMPUTE-Proofs.log2023-07-26 07:57 379  
[   ]2023-0726-010940-VALSDELLCOMPUTE-Proofs.log2023-07-26 08:09 379  
[   ]2023-0726-012152-VALSDELLCOMPUTE-Proofs.log2023-07-26 08:21 379  
[   ]2023-0726-013404-VALSDELLCOMPUTE-Proofs.log2023-07-26 08:34 379  
[   ]2023-0726-014616-VALSDELLCOMPUTE-Proofs.log2023-07-26 08:46 379  
[   ]2023-0726-015828-VALSDELLCOMPUTE-Proofs.log2023-07-26 08:58 379  
[   ]2023-0726-021040-VALSDELLCOMPUTE-Proofs.log2023-07-26 09:10 379  
[   ]2023-0726-022252-VALSDELLCOMPUTE-Proofs.log2023-07-26 09:22 379  
[   ]2023-0726-023504-VALSDELLCOMPUTE-Proofs.log2023-07-26 09:35 379  
[   ]2023-0726-024716-VALSDELLCOMPUTE-Proofs.log2023-07-26 09:47 379  
[   ]2023-0726-025940-VALSDELLCOMPUTE-Proofs.log2023-07-26 09:59 379  
[   ]2023-0726-031152-VALSDELLCOMPUTE-Proofs.log2023-07-26 10:11 379  
[   ]2023-0726-032404-VALSDELLCOMPUTE-Proofs.log2023-07-26 10:24 379  
[   ]2023-0726-033616-VALSDELLCOMPUTE-Proofs.log2023-07-26 10:36 379  
[   ]2023-0726-034828-VALSDELLCOMPUTE-Proofs.log2023-07-26 10:48 379  
[   ]2023-0726-040040-VALSDELLCOMPUTE-Proofs.log2023-07-26 11:00 379  
[   ]2023-0726-041252-VALSDELLCOMPUTE-Proofs.log2023-07-26 11:12 379  
[   ]2023-0726-042504-VALSDELLCOMPUTE-Proofs.log2023-07-26 11:25 379  
[   ]2023-0726-043716-VALSDELLCOMPUTE-Proofs.log2023-07-26 11:37 379  
[   ]2023-0726-044928-VALSDELLCOMPUTE-Proofs.log2023-07-26 11:49 379  
[   ]2023-0726-050140-VALSDELLCOMPUTE-Proofs.log2023-07-26 12:01 379  
[   ]2023-0726-051352-VALSDELLCOMPUTE-Proofs.log2023-07-26 12:13 379  
[   ]2023-0726-052604-VALSDELLCOMPUTE-Proofs.log2023-07-26 12:26 379  
[   ]2023-0726-053816-VALSDELLCOMPUTE-Proofs.log2023-07-26 12:38 379  
[   ]2023-0726-055028-VALSDELLCOMPUTE-Proofs.log2023-07-26 12:50 379  
[   ]2023-0726-060240-VALSDELLCOMPUTE-Proofs.log2023-07-26 13:02 379  
[   ]2023-0726-061537-VALSDELLCOMPUTE-Proofs.log2023-07-26 13:15 379  
[   ]2023-0726-062749-VALSDELLCOMPUTE-Proofs.log2023-07-26 13:27 379  
[   ]2023-0726-063904-VALSDELLCOMPUTE-Proofs.log2023-07-26 13:39 379  
[   ]2023-0726-065116-VALSDELLCOMPUTE-Proofs.log2023-07-26 13:51 379  
[   ]2023-0726-070328-VALSDELLCOMPUTE-Proofs.log2023-07-26 14:03 379  
[   ]2023-0726-071540-VALSDELLCOMPUTE-Proofs.log2023-07-26 14:15 379  
[   ]2023-0726-072752-VALSDELLCOMPUTE-Proofs.log2023-07-26 14:27 379  
[   ]2023-0726-074004-VALSDELLCOMPUTE-Proofs.log2023-07-26 14:40 379  
[   ]2023-0726-075216-VALSDELLCOMPUTE-Proofs.log2023-07-26 14:52 379  
[   ]2023-0726-080428-VALSDELLCOMPUTE-Proofs.log2023-07-26 15:04 379  
[   ]2023-0726-081640-VALSDELLCOMPUTE-Proofs.log2023-07-26 15:16 379  
[   ]2023-0726-082852-VALSDELLCOMPUTE-Proofs.log2023-07-26 15:28 379  
[   ]2023-0726-084104-VALSDELLCOMPUTE-Proofs.log2023-07-26 15:41 379  
[   ]2023-0726-085318-VALSDELLCOMPUTE-Proofs.log2023-07-26 15:53 379  
[   ]2023-0726-090530-VALSDELLCOMPUTE-Proofs.log2023-07-26 16:05 379  
[   ]2023-0726-091742-VALSDELLCOMPUTE-Proofs.log2023-07-26 16:17 379  
[   ]2023-0726-092954-VALSDELLCOMPUTE-Proofs.log2023-07-26 16:29 379  
[   ]2023-0726-094312-VALSDELLCOMPUTE-Proofs.log2023-07-26 16:43 379  
[   ]2023-0726-144900-VALSDELLCOMPUTE-Proofs.log2023-07-26 21:50 379  
[   ]2023-0726-145948-VALSDELLCOMPUTE-Proofs.log2023-07-26 22:03 378  
[   ]2023-0726-151224-VALSDELLCOMPUTE-Proofs.log2023-07-26 22:13 378  
[   ]2023-0726-152439-VALSDELLCOMPUTE-Proofs.log2023-07-26 22:26 254  
[   ]2023-0726-153654-VALSDELLCOMPUTE-Proofs.log2023-07-26 22:38 378  
[   ]2023-0726-154915-VALSDELLCOMPUTE-Proofs.log2023-07-26 22:49 378  
[   ]2023-0726-160130-VALSDELLCOMPUTE-Proofs.log2023-07-26 23:04 101  
[   ]2023-0726-161245-VALSDELLCOMPUTE-Proofs.log2023-07-26 23:12 379  
[   ]2023-0726-162536-VALSDELLCOMPUTE-Proofs.log2023-07-26 23:28 254  
[   ]2023-0726-163757-VALSDELLCOMPUTE-Proofs.log2023-07-26 23:38 378  
[   ]2023-0726-165018-VALSDELLCOMPUTE-Proofs.log2023-07-26 23:50 378  
[   ]2023-0726-171448-VALSDELLCOMPUTE-Proofs.log2023-07-27 00:15 378  
[   ]2023-0726-172518-VALSDELLCOMPUTE-Proofs.log2023-07-27 00:25 379  
[   ]2023-0726-173736-VALSDELLCOMPUTE-Proofs.log2023-07-27 00:38 378  
[   ]2023-0726-174954-VALSDELLCOMPUTE-Proofs.log2023-07-27 00:50 378  
[   ]2023-0726-180209-VALSDELLCOMPUTE-Proofs.log2023-07-27 01:02 378  
[   ]2023-0726-181427-VALSDELLCOMPUTE-Proofs.log2023-07-27 01:14 379  
[   ]2023-0726-182639-VALSDELLCOMPUTE-Proofs.log2023-07-27 01:27 378  
[   ]2023-0726-183909-VALSDELLCOMPUTE-Proofs.log2023-07-27 01:39 378  
[   ]2023-0726-185124-VALSDELLCOMPUTE-Proofs.log2023-07-27 01:51 378  
[   ]2023-0726-190342-VALSDELLCOMPUTE-Proofs.log2023-07-27 02:04 379  
[   ]2023-0726-191600-VALSDELLCOMPUTE-Proofs.log2023-07-27 02:16 378  
[   ]2023-0726-192815-VALSDELLCOMPUTE-Proofs.log2023-07-27 02:28 378  
[   ]2023-0726-194027-VALSDELLCOMPUTE-Proofs.log2023-07-27 02:40 379  
[   ]2023-0726-195242-VALSDELLCOMPUTE-Proofs.log2023-07-27 02:53 378  
[   ]2023-0726-200454-VALSDELLCOMPUTE-Proofs.log2023-07-27 03:05 378  
[   ]2023-0726-201706-VALSDELLCOMPUTE-Proofs.log2023-07-27 03:18 101  
[   ]2023-0726-202936-VALSDELLCOMPUTE-Proofs.log2023-07-27 03:32 101  
[   ]2023-0726-204151-VALSDELLCOMPUTE-Proofs.log2023-07-27 03:42 378  
[   ]2023-0726-205415-VALSDELLCOMPUTE-Proofs.log2023-07-27 03:55 378  
[   ]2023-0726-210627-VALSDELLCOMPUTE-Proofs.log2023-07-27 04:07 378  
[   ]2023-0726-211836-VALSDELLCOMPUTE-Proofs.log2023-07-27 04:20 378  
[   ]2023-0726-213045-VALSDELLCOMPUTE-Proofs.log2023-07-27 04:33 822  
[   ]2023-0726-214254-VALSDELLCOMPUTE-Proofs.log2023-07-27 04:43 378  
[   ]2023-0726-215518-VALSDELLCOMPUTE-Proofs.log2023-07-27 04:57 101  
[   ]2023-0726-220742-VALSDELLCOMPUTE-Proofs.log2023-07-27 05:08 378  
[   ]2023-0726-222003-VALSDELLCOMPUTE-Proofs.log2023-07-27 05:20 378  
[   ]2023-0726-223215-VALSDELLCOMPUTE-Proofs.log2023-07-27 05:33 378  
[   ]2023-0726-224427-VALSDELLCOMPUTE-Proofs.log2023-07-27 05:44 378  
[   ]2023-0726-225657-VALSDELLCOMPUTE-Proofs.log2023-07-27 05:59 378  
[   ]2023-0726-230911-VALSDELLCOMPUTE-Proofs.log2023-07-27 06:13 670  
[   ]2023-0726-232123-VALSDELLCOMPUTE-Proofs.log2023-07-27 06:28 222  
[   ]2023-0726-233505-VALSDELLCOMPUTE-Proofs.log2023-07-27 06:35 379  
[   ]2023-0726-234417-VALSDELLCOMPUTE-Proofs.log2023-07-27 06:46 101  
[   ]2023-0726-235632-VALSDELLCOMPUTE-Proofs.log2023-07-27 06:56 379  
[   ]2023-0727-000853-VALSDELLCOMPUTE-Proofs.log2023-07-27 07:13 553  
[   ]2023-0727-002108-VALSDELLCOMPUTE-Proofs.log2023-07-27 07:28 723  
[   ]2023-0727-003650-VALSDELLCOMPUTE-Proofs.log2023-07-27 07:43 712  
[   ]2023-0727-005047-VALSDELLCOMPUTE-Proofs.log2023-07-27 07:53 101  
[   ]2023-0727-010023-VALSDELLCOMPUTE-Proofs.log2023-07-27 08:06 514  
[   ]2023-0727-012814-VALSDELLCOMPUTE-Proofs.log2023-07-27 08:36 706  
[   ]2023-0727-014544-VALSDELLCOMPUTE-Proofs.log2023-07-27 08:46 379  
[   ]2023-0727-015508-VALSDELLCOMPUTE-Proofs.log2023-07-27 08:57 101  
[   ]2023-0727-021032-VALSDELLCOMPUTE-Proofs.log2023-07-27 09:12 378  
[   ]2023-0727-022323-VALSDELLCOMPUTE-Proofs.log2023-07-27 09:26 378  
[   ]2023-0727-023538-VALSDELLCOMPUTE-Proofs.log2023-07-27 09:37 254  
[   ]2023-0727-024935-VALSDELLCOMPUTE-Proofs.log2023-07-27 09:54 607  
[   ]2023-0727-031714-VALSDELLCOMPUTE-Proofs.log2023-07-27 10:17 379  
[   ]2023-0727-032914-VALSDELLCOMPUTE-Proofs.log2023-07-27 10:31 378  
[   ]2023-0727-033829-VALSDELLCOMPUTE-Proofs.log2023-07-27 10:39 378  
[   ]2023-0727-034505-VALSDELLCOMPUTE-Proofs.log2023-07-27 10:51 378  
[   ]2023-0727-041320-VALSDELLCOMPUTE-Proofs.log2023-07-27 11:15 101  
[   ]2023-0727-042535-VALSDELLCOMPUTE-Proofs.log2023-07-27 11:25 379  
[   ]2023-0727-044056-VALSDELLCOMPUTE-Proofs.log2023-07-27 11:47 390  
[   ]2023-0727-050411-VALSDELLCOMPUTE-Proofs.log2023-07-27 12:09 798  
[   ]2023-0727-051538-VALSDELLCOMPUTE-Proofs.log2023-07-27 12:25 1.2K 
[   ]2023-0727-053738-VALSDELLCOMPUTE-Proofs.log2023-07-27 12:40 593  
[   ]2023-0727-055026-VALSDELLCOMPUTE-Proofs.log2023-07-27 12:52 378  
[   ]2023-0727-060859-VALSDELLCOMPUTE-Proofs.log2023-07-27 13:14 499  
[   ]2023-0727-062620-VALSDELLCOMPUTE-Proofs.log2023-07-27 13:29 581  
[   ]2023-0727-063656-VALSDELLCOMPUTE-Proofs.log2023-07-27 13:37 379  
[   ]2023-0727-070026-VALSDELLCOMPUTE-Proofs.log2023-07-27 14:02 101  
[   ]2023-0727-072817-VALSDELLCOMPUTE-Proofs.log2023-07-27 14:30 347  
[   ]2023-0727-074217-VALSDELLCOMPUTE-Proofs.log2023-07-27 14:42 379  
[   ]2023-0727-075429-VALSDELLCOMPUTE-Proofs.log2023-07-27 14:54 379  
[   ]2023-0727-080641-VALSDELLCOMPUTE-Proofs.log2023-07-27 15:06 379  
[   ]2023-0727-081859-VALSDELLCOMPUTE-Proofs.log2023-07-27 15:19 379  
[   ]2023-0727-083111-VALSDELLCOMPUTE-Proofs.log2023-07-27 15:31 379  
[   ]2023-0727-084323-VALSDELLCOMPUTE-Proofs.log2023-07-27 15:43 379  
[   ]2023-0727-085535-VALSDELLCOMPUTE-Proofs.log2023-07-27 15:55 379  
[   ]2023-0727-090747-VALSDELLCOMPUTE-Proofs.log2023-07-27 16:07 379  
[   ]2023-0727-091959-VALSDELLCOMPUTE-Proofs.log2023-07-27 16:20 379  
[   ]2023-0727-093211-VALSDELLCOMPUTE-Proofs.log2023-07-27 16:32 379  
[   ]2023-0727-094423-VALSDELLCOMPUTE-Proofs.log2023-07-27 16:44 379  
[   ]2023-0727-095700-VALSDELLCOMPUTE-Proofs.log2023-07-27 16:57 379  
[   ]2023-0727-100914-VALSDELLCOMPUTE-Proofs.log2023-07-27 17:09 379  
[   ]2023-0727-102126-VALSDELLCOMPUTE-Proofs.log2023-07-27 17:21 379  
[   ]2023-0727-103338-VALSDELLCOMPUTE-Proofs.log2023-07-27 17:33 379  
[   ]2023-0727-104550-VALSDELLCOMPUTE-Proofs.log2023-07-27 17:45 379  
[   ]2023-0727-105802-VALSDELLCOMPUTE-Proofs.log2023-07-27 17:58 379  
[   ]2023-0727-111014-VALSDELLCOMPUTE-Proofs.log2023-07-27 18:10 379  
[   ]2023-0727-112226-VALSDELLCOMPUTE-Proofs.log2023-07-27 18:22 379  
[   ]2023-0727-113438-VALSDELLCOMPUTE-Proofs.log2023-07-27 18:34 379  
[   ]2023-0727-114650-VALSDELLCOMPUTE-Proofs.log2023-07-27 18:46 379  
[   ]2023-0727-115902-VALSDELLCOMPUTE-Proofs.log2023-07-27 18:59 379  
[   ]2023-0727-121114-VALSDELLCOMPUTE-Proofs.log2023-07-27 19:11 379  
[   ]2023-0727-122326-VALSDELLCOMPUTE-Proofs.log2023-07-27 19:23 379  
[   ]2023-0727-123538-VALSDELLCOMPUTE-Proofs.log2023-07-27 19:35 379  
[   ]2023-0727-124750-VALSDELLCOMPUTE-Proofs.log2023-07-27 19:47 379  
[   ]2023-0727-130002-VALSDELLCOMPUTE-Proofs.log2023-07-27 20:00 379  
[   ]2023-0727-131214-VALSDELLCOMPUTE-Proofs.log2023-07-27 20:12 379  
[   ]2023-0727-132426-VALSDELLCOMPUTE-Proofs.log2023-07-27 20:24 379  
[   ]2023-0727-133638-VALSDELLCOMPUTE-Proofs.log2023-07-27 20:36 379  
[   ]2023-0727-134850-VALSDELLCOMPUTE-Proofs.log2023-07-27 20:48 379  
[   ]2023-0727-140102-VALSDELLCOMPUTE-Proofs.log2023-07-27 21:01 379  
[   ]2023-0727-141317-VALSDELLCOMPUTE-Proofs.log2023-07-27 21:13 379  
[   ]2023-0727-142529-VALSDELLCOMPUTE-Proofs.log2023-07-27 21:25 379  
[   ]2023-0727-143741-VALSDELLCOMPUTE-Proofs.log2023-07-27 21:37 379  
[   ]2023-0727-144953-VALSDELLCOMPUTE-Proofs.log2023-07-27 21:49 379  
[   ]2023-0727-150205-VALSDELLCOMPUTE-Proofs.log2023-07-27 22:02 379  
[   ]2023-0727-150332-VALSDELLCOMPUTE-Proofs.log2023-07-27 22:03 379  
[   ]2023-0727-151544-VALSDELLCOMPUTE-Proofs.log2023-07-27 22:15 379  
[   ]2023-0727-152756-VALSDELLCOMPUTE-Proofs.log2023-07-27 22:28 379  
[   ]2023-0727-154009-VALSDELLCOMPUTE-Proofs.log2023-07-27 22:40 379  
[   ]2023-0727-155221-VALSDELLCOMPUTE-Proofs.log2023-07-27 22:52 379  
[   ]2023-0727-160351-VALSDELLCOMPUTE-Proofs.log2023-07-27 23:03 379  
[   ]2023-0727-161445-VALSDELLCOMPUTE-Proofs.log2023-07-27 23:14 379  
[   ]2023-0727-162658-VALSDELLCOMPUTE-Proofs.log2023-07-27 23:27 379  
[   ]2023-0727-163910-VALSDELLCOMPUTE-Proofs.log2023-07-27 23:39 379  
[   ]2023-0727-165122-VALSDELLCOMPUTE-Proofs.log2023-07-27 23:51 379  
[   ]2023-0727-170207-VALSDELLCOMPUTE-Proofs.log2023-07-28 00:02 379  
[   ]2023-0727-171419-VALSDELLCOMPUTE-Proofs.log2023-07-28 00:14 379  
[   ]2023-0727-172631-VALSDELLCOMPUTE-Proofs.log2023-07-28 00:26 379  
[   ]2023-0727-173843-VALSDELLCOMPUTE-Proofs.log2023-07-28 00:38 379  
[   ]2023-0727-175055-VALSDELLCOMPUTE-Proofs.log2023-07-28 00:51 379  
[   ]2023-0727-180307-VALSDELLCOMPUTE-Proofs.log2023-07-28 01:03 379  
[   ]2023-0727-181519-VALSDELLCOMPUTE-Proofs.log2023-07-28 01:15 379  
[   ]2023-0727-182732-VALSDELLCOMPUTE-Proofs.log2023-07-28 01:27 379  
[   ]2023-0727-183944-VALSDELLCOMPUTE-Proofs.log2023-07-28 01:39 379  
[   ]2023-0727-185156-VALSDELLCOMPUTE-Proofs.log2023-07-28 01:52 379  
[   ]2023-0727-190408-VALSDELLCOMPUTE-Proofs.log2023-07-28 02:04 379  
[   ]2023-0727-191620-VALSDELLCOMPUTE-Proofs.log2023-07-28 02:16 379  
[   ]2023-0727-192832-VALSDELLCOMPUTE-Proofs.log2023-07-28 02:28 379  
[   ]2023-0727-194045-VALSDELLCOMPUTE-Proofs.log2023-07-28 02:40 379  
[   ]2023-0727-195257-VALSDELLCOMPUTE-Proofs.log2023-07-28 02:53 379  
[   ]2023-0727-200512-VALSDELLCOMPUTE-Proofs.log2023-07-28 03:05 379  
[   ]2023-0727-201724-VALSDELLCOMPUTE-Proofs.log2023-07-28 03:17 379  
[   ]2023-0727-202936-VALSDELLCOMPUTE-Proofs.log2023-07-28 03:29 379  
[   ]2023-0727-204149-VALSDELLCOMPUTE-Proofs.log2023-07-28 03:41 379  
[   ]2023-0727-205401-VALSDELLCOMPUTE-Proofs.log2023-07-28 03:54 379  
[   ]2023-0727-210613-VALSDELLCOMPUTE-Proofs.log2023-07-28 04:06 379  
[   ]2023-0727-211825-VALSDELLCOMPUTE-Proofs.log2023-07-28 04:18 379  
[   ]2023-0727-212840-VALSDELLCOMPUTE-Proofs.log2023-07-28 04:28 379  
[   ]2023-0727-214052-VALSDELLCOMPUTE-Proofs.log2023-07-28 04:40 379  
[   ]2023-0727-215304-VALSDELLCOMPUTE-Proofs.log2023-07-28 04:53 379  
[   ]2023-0727-220516-VALSDELLCOMPUTE-Proofs.log2023-07-28 05:05 379  
[   ]2023-0727-221728-VALSDELLCOMPUTE-Proofs.log2023-07-28 05:17 379  
[   ]2023-0727-222940-VALSDELLCOMPUTE-Proofs.log2023-07-28 05:29 379  
[   ]2023-0727-224152-VALSDELLCOMPUTE-Proofs.log2023-07-28 05:41 379  
[   ]2023-0727-225406-VALSDELLCOMPUTE-Proofs.log2023-07-28 05:54 379  
[   ]2023-0727-230618-VALSDELLCOMPUTE-Proofs.log2023-07-28 06:06 379  
[   ]2023-0727-231830-VALSDELLCOMPUTE-Proofs.log2023-07-28 06:18 379  
[   ]2023-0727-233042-VALSDELLCOMPUTE-Proofs.log2023-07-28 06:30 379  
[   ]2023-0727-234254-VALSDELLCOMPUTE-Proofs.log2023-07-28 06:42 379  
[   ]2023-0727-235506-VALSDELLCOMPUTE-Proofs.log2023-07-28 06:55 379  
[   ]2023-0728-000718-VALSDELLCOMPUTE-Proofs.log2023-07-28 07:07 379  
[   ]2023-0728-001930-VALSDELLCOMPUTE-Proofs.log2023-07-28 07:19 379  
[   ]2023-0728-003142-VALSDELLCOMPUTE-Proofs.log2023-07-28 07:31 379  
[   ]2023-0728-004354-VALSDELLCOMPUTE-Proofs.log2023-07-28 07:43 379  
[   ]2023-0728-005609-VALSDELLCOMPUTE-Proofs.log2023-07-28 07:56 379  
[   ]2023-0728-010821-VALSDELLCOMPUTE-Proofs.log2023-07-28 08:08 379  
[   ]2023-0728-012033-VALSDELLCOMPUTE-Proofs.log2023-07-28 08:20 379  
[   ]2023-0728-013246-VALSDELLCOMPUTE-Proofs.log2023-07-28 08:32 379  
[   ]2023-0728-014458-VALSDELLCOMPUTE-Proofs.log2023-07-28 08:45 379  
[   ]2023-0728-015710-VALSDELLCOMPUTE-Proofs.log2023-07-28 08:57 379  
[   ]2023-0728-020922-VALSDELLCOMPUTE-Proofs.log2023-07-28 09:09 379  
[   ]2023-0728-022134-VALSDELLCOMPUTE-Proofs.log2023-07-28 09:21 379  
[   ]2023-0728-023346-VALSDELLCOMPUTE-Proofs.log2023-07-28 09:33 379  
[   ]2023-0728-024558-VALSDELLCOMPUTE-Proofs.log2023-07-28 09:46 379  
[   ]2023-0728-025810-VALSDELLCOMPUTE-Proofs.log2023-07-28 09:58 379  
[   ]2023-0728-031022-VALSDELLCOMPUTE-Proofs.log2023-07-28 10:10 379  
[   ]2023-0728-032210-VALSDELLCOMPUTE-Proofs.log2023-07-28 10:22 379  
[   ]2023-0728-033422-VALSDELLCOMPUTE-Proofs.log2023-07-28 10:34 379  
[   ]2023-0728-034634-VALSDELLCOMPUTE-Proofs.log2023-07-28 10:46 379  
[   ]2023-0728-035846-VALSDELLCOMPUTE-Proofs.log2023-07-28 10:58 379  
[   ]2023-0728-041058-VALSDELLCOMPUTE-Proofs.log2023-07-28 11:11 379  
[   ]2023-0728-042310-VALSDELLCOMPUTE-Proofs.log2023-07-28 11:23 379  
[   ]2023-0728-043522-VALSDELLCOMPUTE-Proofs.log2023-07-28 11:35 379  
[   ]2023-0728-044734-VALSDELLCOMPUTE-Proofs.log2023-07-28 11:47 379  
[   ]2023-0728-045946-VALSDELLCOMPUTE-Proofs.log2023-07-28 11:59 379  
[   ]2023-0728-051158-VALSDELLCOMPUTE-Proofs.log2023-07-28 12:12 379  
[   ]2023-0728-052410-VALSDELLCOMPUTE-Proofs.log2023-07-28 12:24 379  
[   ]2023-0728-053622-VALSDELLCOMPUTE-Proofs.log2023-07-28 12:36 379  
[   ]2023-0728-054834-VALSDELLCOMPUTE-Proofs.log2023-07-28 12:48 379  
[   ]2023-0728-060046-VALSDELLCOMPUTE-Proofs.log2023-07-28 13:00 379  
[   ]2023-0728-061258-VALSDELLCOMPUTE-Proofs.log2023-07-28 13:13 379  
[   ]2023-0728-062512-VALSDELLCOMPUTE-Proofs.log2023-07-28 13:25 379  
[   ]2023-0728-063745-VALSDELLCOMPUTE-Proofs.log2023-07-28 13:37 379  
[   ]2023-0728-064957-VALSDELLCOMPUTE-Proofs.log2023-07-28 13:50 379  
[   ]2023-0728-070209-VALSDELLCOMPUTE-Proofs.log2023-07-28 14:02 379  
[   ]2023-0728-071421-VALSDELLCOMPUTE-Proofs.log2023-07-28 14:14 379  
[   ]2023-0728-072633-VALSDELLCOMPUTE-Proofs.log2023-07-28 14:26 379  
[   ]2023-0728-073845-VALSDELLCOMPUTE-Proofs.log2023-07-28 14:38 379  
[   ]2023-0728-075057-VALSDELLCOMPUTE-Proofs.log2023-07-28 14:51 379  
[   ]2023-0728-080309-VALSDELLCOMPUTE-Proofs.log2023-07-28 15:03 379  
[   ]2023-0728-081521-VALSDELLCOMPUTE-Proofs.log2023-07-28 15:15 379  
[   ]2023-0728-082733-VALSDELLCOMPUTE-Proofs.log2023-07-28 15:27 379  
[   ]2023-0728-083945-VALSDELLCOMPUTE-Proofs.log2023-07-28 15:39 379  
[   ]2023-0728-085157-VALSDELLCOMPUTE-Proofs.log2023-07-28 15:52 379  
[   ]2023-0728-090409-VALSDELLCOMPUTE-Proofs.log2023-07-28 16:04 379  
[   ]2023-0728-091621-VALSDELLCOMPUTE-Proofs.log2023-07-28 16:16 379  
[   ]2023-0728-092834-VALSDELLCOMPUTE-Proofs.log2023-07-28 16:28 379  
[   ]2023-0728-094046-VALSDELLCOMPUTE-Proofs.log2023-07-28 16:40 379  
[   ]2023-0728-095104-VALSDELLCOMPUTE-Proofs.log2023-07-28 16:51 379  
[   ]2023-0728-100317-VALSDELLCOMPUTE-Proofs.log2023-07-28 17:03 379  
[   ]2023-0728-101529-VALSDELLCOMPUTE-Proofs.log2023-07-28 17:15 379  
[   ]2023-0728-102741-VALSDELLCOMPUTE-Proofs.log2023-07-28 17:27 379  
[   ]2023-0728-103805-VALSDELLCOMPUTE-Proofs.log2023-07-28 17:38 378  
[   ]2023-0728-104950-VALSDELLCOMPUTE-Proofs.log2023-07-28 17:49 379  
[   ]2023-0728-110202-VALSDELLCOMPUTE-Proofs.log2023-07-28 18:02 379  
[   ]2023-0728-111414-VALSDELLCOMPUTE-Proofs.log2023-07-28 18:14 379  
[   ]2023-0728-112626-VALSDELLCOMPUTE-Proofs.log2023-07-28 18:26 379  
[   ]2023-0728-113838-VALSDELLCOMPUTE-Proofs.log2023-07-28 18:38 379  
[   ]2023-0728-115050-VALSDELLCOMPUTE-Proofs.log2023-07-28 18:50 379  
[   ]2023-0728-120302-VALSDELLCOMPUTE-Proofs.log2023-07-28 19:03 379  
[   ]2023-0728-121514-VALSDELLCOMPUTE-Proofs.log2023-07-28 19:15 379  
[   ]2023-0728-122726-VALSDELLCOMPUTE-Proofs.log2023-07-28 19:27 378  
[   ]2023-0728-123938-VALSDELLCOMPUTE-Proofs.log2023-07-28 19:39 379  
[   ]2023-0728-125150-VALSDELLCOMPUTE-Proofs.log2023-07-28 19:51 379  
[   ]2023-0728-130402-VALSDELLCOMPUTE-Proofs.log2023-07-28 20:04 379  
[   ]2023-0728-131556-VALSDELLCOMPUTE-Proofs.log2023-07-28 20:16 379  
[   ]2023-0728-132808-VALSDELLCOMPUTE-Proofs.log2023-07-28 20:28 379  
[   ]2023-0728-134020-VALSDELLCOMPUTE-Proofs.log2023-07-28 20:40 379  
[   ]2023-0728-135232-VALSDELLCOMPUTE-Proofs.log2023-07-28 20:52 379  
[   ]2023-0728-140444-VALSDELLCOMPUTE-Proofs.log2023-07-28 21:04 379  
[   ]2023-0728-141656-VALSDELLCOMPUTE-Proofs.log2023-07-28 21:17 379  
[   ]2023-0728-142908-VALSDELLCOMPUTE-Proofs.log2023-07-28 21:29 379  
[   ]2023-0728-144120-VALSDELLCOMPUTE-Proofs.log2023-07-28 21:41 379  
[   ]2023-0728-145253-VALSDELLCOMPUTE-Proofs.log2023-07-28 21:52 379  
[   ]2023-0728-150417-VALSDELLCOMPUTE-Proofs.log2023-07-28 22:04 379  
[   ]2023-0728-151629-VALSDELLCOMPUTE-Proofs.log2023-07-28 22:16 379  
[   ]2023-0728-152841-VALSDELLCOMPUTE-Proofs.log2023-07-28 22:28 379  
[   ]2023-0728-154055-VALSDELLCOMPUTE-Proofs.log2023-07-28 22:40 379  
[   ]2023-0728-155307-VALSDELLCOMPUTE-Proofs.log2023-07-28 22:53 379  
[   ]2023-0728-160519-VALSDELLCOMPUTE-Proofs.log2023-07-28 23:05 379  
[   ]2023-0728-161731-VALSDELLCOMPUTE-Proofs.log2023-07-28 23:17 379  
[   ]2023-0728-162943-VALSDELLCOMPUTE-Proofs.log2023-07-28 23:29 379  
[   ]2023-0728-164155-VALSDELLCOMPUTE-Proofs.log2023-07-28 23:42 379  
[   ]2023-0728-165407-VALSDELLCOMPUTE-Proofs.log2023-07-28 23:54 379  
[   ]2023-0728-170622-VALSDELLCOMPUTE-Proofs.log2023-07-29 00:06 379  
[   ]2023-0728-171834-VALSDELLCOMPUTE-Proofs.log2023-07-29 00:18 379  
[   ]2023-0728-173046-VALSDELLCOMPUTE-Proofs.log2023-07-29 00:30 379  
[   ]2023-0728-174258-VALSDELLCOMPUTE-Proofs.log2023-07-29 00:43 379  
[   ]2023-0728-175510-VALSDELLCOMPUTE-Proofs.log2023-07-29 00:55 379  
[   ]2023-0728-180722-VALSDELLCOMPUTE-Proofs.log2023-07-29 01:07 379  
[   ]2023-0728-181934-VALSDELLCOMPUTE-Proofs.log2023-07-29 01:19 379  
[   ]2023-0728-183146-VALSDELLCOMPUTE-Proofs.log2023-07-29 01:31 379  
[   ]2023-0728-184358-VALSDELLCOMPUTE-Proofs.log2023-07-29 01:44 379  
[   ]2023-0728-185610-VALSDELLCOMPUTE-Proofs.log2023-07-29 01:56 379  
[   ]2023-0728-190822-VALSDELLCOMPUTE-Proofs.log2023-07-29 02:08 379  
[   ]2023-0728-192034-VALSDELLCOMPUTE-Proofs.log2023-07-29 02:20 379  
[   ]2023-0728-193246-VALSDELLCOMPUTE-Proofs.log2023-07-29 02:32 379  
[   ]2023-0728-194457-VALSDELLCOMPUTE-Proofs.log2023-07-29 02:45 379  
[   ]2023-0728-195711-VALSDELLCOMPUTE-Proofs.log2023-07-29 02:57 379  
[   ]2023-0728-200923-VALSDELLCOMPUTE-Proofs.log2023-07-29 03:09 379  
[   ]2023-0728-202135-VALSDELLCOMPUTE-Proofs.log2023-07-29 03:21 379  
[   ]2023-0728-203347-VALSDELLCOMPUTE-Proofs.log2023-07-29 03:33 379  
[   ]2023-0728-204559-VALSDELLCOMPUTE-Proofs.log2023-07-29 03:46 379  
[   ]2023-0728-205811-VALSDELLCOMPUTE-Proofs.log2023-07-29 03:58 379  
[   ]2023-0728-211023-VALSDELLCOMPUTE-Proofs.log2023-07-29 04:10 379  
[   ]2023-0728-212235-VALSDELLCOMPUTE-Proofs.log2023-07-29 04:22 379  
[   ]2023-0728-213447-VALSDELLCOMPUTE-Proofs.log2023-07-29 04:34 379  
[   ]2023-0728-214456-VALSDELLCOMPUTE-Proofs.log2023-07-29 04:45 379  
[   ]2023-0728-215556-VALSDELLCOMPUTE-Proofs.log2023-07-29 04:56 379  
[   ]2023-0728-220808-VALSDELLCOMPUTE-Proofs.log2023-07-29 05:08 379  
[   ]2023-0728-222020-VALSDELLCOMPUTE-Proofs.log2023-07-29 05:20 379  
[   ]2023-0728-223232-VALSDELLCOMPUTE-Proofs.log2023-07-29 05:32 379  
[   ]2023-0728-224444-VALSDELLCOMPUTE-Proofs.log2023-07-29 05:44 379  
[   ]2023-0728-225656-VALSDELLCOMPUTE-Proofs.log2023-07-29 05:57 379  
[   ]2023-0728-230908-VALSDELLCOMPUTE-Proofs.log2023-07-29 06:09 379  
[   ]2023-0728-232120-VALSDELLCOMPUTE-Proofs.log2023-07-29 06:21 379  
[   ]2023-0728-233332-VALSDELLCOMPUTE-Proofs.log2023-07-29 06:33 379  
[   ]2023-0728-234544-VALSDELLCOMPUTE-Proofs.log2023-07-29 06:45 379  
[   ]2023-0728-235756-VALSDELLCOMPUTE-Proofs.log2023-07-29 06:58 379  
[   ]2023-0729-001008-VALSDELLCOMPUTE-Proofs.log2023-07-29 07:10 379  
[   ]2023-0729-002220-VALSDELLCOMPUTE-Proofs.log2023-07-29 07:22 379  
[   ]2023-0729-003435-VALSDELLCOMPUTE-Proofs.log2023-07-29 07:34 379  
[   ]2023-0729-004647-VALSDELLCOMPUTE-Proofs.log2023-07-29 07:46 379  
[   ]2023-0729-005859-VALSDELLCOMPUTE-Proofs.log2023-07-29 07:59 379  
[   ]2023-0729-011111-VALSDELLCOMPUTE-Proofs.log2023-07-29 08:11 379  
[   ]2023-0729-012323-VALSDELLCOMPUTE-Proofs.log2023-07-29 08:23 379  
[   ]2023-0729-013538-VALSDELLCOMPUTE-Proofs.log2023-07-29 08:35 379  
[   ]2023-0729-014750-VALSDELLCOMPUTE-Proofs.log2023-07-29 08:47 379  
[   ]2023-0729-020002-VALSDELLCOMPUTE-Proofs.log2023-07-29 09:00 379  
[   ]2023-0729-021214-VALSDELLCOMPUTE-Proofs.log2023-07-29 09:12 379  
[   ]2023-0729-022347-VALSDELLCOMPUTE-Proofs.log2023-07-29 09:23 379  
[   ]2023-0729-023559-VALSDELLCOMPUTE-Proofs.log2023-07-29 09:36 379  
[   ]2023-0729-024811-VALSDELLCOMPUTE-Proofs.log2023-07-29 09:48 379  
[   ]2023-0729-030023-VALSDELLCOMPUTE-Proofs.log2023-07-29 10:00 379  
[   ]2023-0729-031235-VALSDELLCOMPUTE-Proofs.log2023-07-29 10:12 379  
[   ]2023-0729-032447-VALSDELLCOMPUTE-Proofs.log2023-07-29 10:24 379  
[   ]2023-0729-033659-VALSDELLCOMPUTE-Proofs.log2023-07-29 10:37 379  
[   ]2023-0729-034911-VALSDELLCOMPUTE-Proofs.log2023-07-29 10:49 379  
[   ]2023-0729-040123-VALSDELLCOMPUTE-Proofs.log2023-07-29 11:01 379  
[   ]2023-0729-041335-VALSDELLCOMPUTE-Proofs.log2023-07-29 11:13 379  
[   ]2023-0729-042547-VALSDELLCOMPUTE-Proofs.log2023-07-29 11:25 379  
[   ]2023-0729-043759-VALSDELLCOMPUTE-Proofs.log2023-07-29 11:38 379  
[   ]2023-0729-045011-VALSDELLCOMPUTE-Proofs.log2023-07-29 11:50 379  
[   ]2023-0729-050223-VALSDELLCOMPUTE-Proofs.log2023-07-29 12:02 379  
[   ]2023-0729-051435-VALSDELLCOMPUTE-Proofs.log2023-07-29 12:14 379  
[   ]2023-0729-052647-VALSDELLCOMPUTE-Proofs.log2023-07-29 12:26 379  
[   ]2023-0729-053859-VALSDELLCOMPUTE-Proofs.log2023-07-29 12:39 379  
[   ]2023-0729-055111-VALSDELLCOMPUTE-Proofs.log2023-07-29 12:51 379  
[   ]2023-0729-060323-VALSDELLCOMPUTE-Proofs.log2023-07-29 13:03 379  
[   ]2023-0729-061535-VALSDELLCOMPUTE-Proofs.log2023-07-29 13:15 379  
[   ]2023-0729-062747-VALSDELLCOMPUTE-Proofs.log2023-07-29 13:27 379  
[   ]2023-0729-063959-VALSDELLCOMPUTE-Proofs.log2023-07-29 13:40 379  
[   ]2023-0729-065211-VALSDELLCOMPUTE-Proofs.log2023-07-29 13:52 379  
[   ]2023-0729-070423-VALSDELLCOMPUTE-Proofs.log2023-07-29 14:04 379  
[   ]2023-0729-071635-VALSDELLCOMPUTE-Proofs.log2023-07-29 14:16 379  
[   ]2023-0729-072847-VALSDELLCOMPUTE-Proofs.log2023-07-29 14:28 379  
[   ]2023-0729-074059-VALSDELLCOMPUTE-Proofs.log2023-07-29 14:41 379  
[   ]2023-0729-075311-VALSDELLCOMPUTE-Proofs.log2023-07-29 14:53 379  
[   ]2023-0729-080523-VALSDELLCOMPUTE-Proofs.log2023-07-29 15:05 379  
[   ]2023-0729-081735-VALSDELLCOMPUTE-Proofs.log2023-07-29 15:17 379  
[   ]2023-0729-082947-VALSDELLCOMPUTE-Proofs.log2023-07-29 15:29 379  
[   ]2023-0729-084159-VALSDELLCOMPUTE-Proofs.log2023-07-29 15:42 379  
[   ]2023-0729-085411-VALSDELLCOMPUTE-Proofs.log2023-07-29 15:54 379  
[   ]2023-0729-090623-VALSDELLCOMPUTE-Proofs.log2023-07-29 16:06 379  
[   ]2023-0729-091835-VALSDELLCOMPUTE-Proofs.log2023-07-29 16:18 379  
[   ]2023-0729-093047-VALSDELLCOMPUTE-Proofs.log2023-07-29 16:30 379  
[   ]2023-0729-094259-VALSDELLCOMPUTE-Proofs.log2023-07-29 16:43 379  
[   ]2023-0729-095511-VALSDELLCOMPUTE-Proofs.log2023-07-29 16:55 379  
[   ]2023-0729-100723-VALSDELLCOMPUTE-Proofs.log2023-07-29 17:07 379  
[   ]2023-0729-101935-VALSDELLCOMPUTE-Proofs.log2023-07-29 17:19 379  
[   ]2023-0729-103147-VALSDELLCOMPUTE-Proofs.log2023-07-29 17:31 379  
[   ]2023-0729-104359-VALSDELLCOMPUTE-Proofs.log2023-07-29 17:44 379  
[   ]2023-0729-105612-VALSDELLCOMPUTE-Proofs.log2023-07-29 17:56 379  
[   ]2023-0729-110815-VALSDELLCOMPUTE-Proofs.log2023-07-29 18:08 379  
[   ]2023-0729-112027-VALSDELLCOMPUTE-Proofs.log2023-07-29 18:20 379  
[   ]2023-0729-113239-VALSDELLCOMPUTE-Proofs.log2023-07-29 18:32 379  
[   ]2023-0729-114451-VALSDELLCOMPUTE-Proofs.log2023-07-29 18:44 379  
[   ]2023-0729-115703-VALSDELLCOMPUTE-Proofs.log2023-07-29 18:57 379  
[   ]2023-0729-120918-VALSDELLCOMPUTE-Proofs.log2023-07-29 19:09 379  
[   ]2023-0729-122130-VALSDELLCOMPUTE-Proofs.log2023-07-29 19:21 379  
[   ]2023-0729-123342-VALSDELLCOMPUTE-Proofs.log2023-07-29 19:33 379  
[   ]2023-0729-124554-VALSDELLCOMPUTE-Proofs.log2023-07-29 19:46 379  
[   ]2023-0729-125806-VALSDELLCOMPUTE-Proofs.log2023-07-29 19:58 379  
[   ]2023-0729-131018-VALSDELLCOMPUTE-Proofs.log2023-07-29 20:10 379  
[   ]2023-0729-132230-VALSDELLCOMPUTE-Proofs.log2023-07-29 20:22 379  
[   ]2023-0729-133442-VALSDELLCOMPUTE-Proofs.log2023-07-29 20:34 379  
[   ]2023-0729-134654-VALSDELLCOMPUTE-Proofs.log2023-07-29 20:47 379  
[   ]2023-0729-135906-VALSDELLCOMPUTE-Proofs.log2023-07-29 20:59 379  
[   ]2023-0729-141118-VALSDELLCOMPUTE-Proofs.log2023-07-29 21:11 379  
[   ]2023-0729-142330-VALSDELLCOMPUTE-Proofs.log2023-07-29 21:23 379  
[   ]2023-0729-143545-VALSDELLCOMPUTE-Proofs.log2023-07-29 21:35 379  
[   ]2023-0729-144757-VALSDELLCOMPUTE-Proofs.log2023-07-29 21:48 379  
[   ]2023-0729-150009-VALSDELLCOMPUTE-Proofs.log2023-07-29 22:00 379  
[   ]2023-0729-151221-VALSDELLCOMPUTE-Proofs.log2023-07-29 22:12 379  
[   ]2023-0729-152433-VALSDELLCOMPUTE-Proofs.log2023-07-29 22:24 379  
[   ]2023-0729-153645-VALSDELLCOMPUTE-Proofs.log2023-07-29 22:36 379  
[   ]2023-0729-154857-VALSDELLCOMPUTE-Proofs.log2023-07-29 22:49 379  
[   ]2023-0729-160109-VALSDELLCOMPUTE-Proofs.log2023-07-29 23:01 379  
[   ]2023-0729-161321-VALSDELLCOMPUTE-Proofs.log2023-07-29 23:13 379  
[   ]2023-0729-162533-VALSDELLCOMPUTE-Proofs.log2023-07-29 23:25 379  
[   ]2023-0729-163745-VALSDELLCOMPUTE-Proofs.log2023-07-29 23:37 379  
[   ]2023-0729-164957-VALSDELLCOMPUTE-Proofs.log2023-07-29 23:50 379  
[   ]2023-0729-170209-VALSDELLCOMPUTE-Proofs.log2023-07-30 00:02 379  
[   ]2023-0729-171421-VALSDELLCOMPUTE-Proofs.log2023-07-30 00:14 379  
[   ]2023-0729-172633-VALSDELLCOMPUTE-Proofs.log2023-07-30 00:26 379  
[   ]2023-0729-173845-VALSDELLCOMPUTE-Proofs.log2023-07-30 00:38 379  
[   ]2023-0729-175059-VALSDELLCOMPUTE-Proofs.log2023-07-30 00:51 379  
[   ]2023-0729-180311-VALSDELLCOMPUTE-Proofs.log2023-07-30 01:03 379  
[   ]2023-0729-181523-VALSDELLCOMPUTE-Proofs.log2023-07-30 01:15 379  
[   ]2023-0729-182735-VALSDELLCOMPUTE-Proofs.log2023-07-30 01:27 379  
[   ]2023-0729-183947-VALSDELLCOMPUTE-Proofs.log2023-07-30 01:39 379  
[   ]2023-0729-185159-VALSDELLCOMPUTE-Proofs.log2023-07-30 01:52 379  
[   ]2023-0729-190411-VALSDELLCOMPUTE-Proofs.log2023-07-30 02:04 379  
[   ]2023-0729-191623-VALSDELLCOMPUTE-Proofs.log2023-07-30 02:16 379  
[   ]2023-0729-192835-VALSDELLCOMPUTE-Proofs.log2023-07-30 02:28 379  
[   ]2023-0729-194047-VALSDELLCOMPUTE-Proofs.log2023-07-30 02:40 379  
[   ]2023-0729-195259-VALSDELLCOMPUTE-Proofs.log2023-07-30 02:53 379  
[   ]2023-0729-200514-VALSDELLCOMPUTE-Proofs.log2023-07-30 03:05 379  
[   ]2023-0729-201726-VALSDELLCOMPUTE-Proofs.log2023-07-30 03:17 379  
[   ]2023-0729-202938-VALSDELLCOMPUTE-Proofs.log2023-07-30 03:29 379  
[   ]2023-0729-204150-VALSDELLCOMPUTE-Proofs.log2023-07-30 03:41 379  
[   ]2023-0729-205402-VALSDELLCOMPUTE-Proofs.log2023-07-30 03:54 379  
[   ]2023-0729-210614-VALSDELLCOMPUTE-Proofs.log2023-07-30 04:06 379  
[   ]2023-0729-211829-VALSDELLCOMPUTE-Proofs.log2023-07-30 04:18 379  
[   ]2023-0729-213041-VALSDELLCOMPUTE-Proofs.log2023-07-30 04:30 379  
[   ]2023-0729-214253-VALSDELLCOMPUTE-Proofs.log2023-07-30 04:42 379  
[   ]2023-0729-215505-VALSDELLCOMPUTE-Proofs.log2023-07-30 04:55 379  
[   ]2023-0729-220717-VALSDELLCOMPUTE-Proofs.log2023-07-30 05:07 379  
[   ]2023-0729-221929-VALSDELLCOMPUTE-Proofs.log2023-07-30 05:19 379  
[   ]2023-0729-223220-VALSDELLCOMPUTE-Proofs.log2023-07-30 05:32 379  
[   ]2023-0729-224432-VALSDELLCOMPUTE-Proofs.log2023-07-30 05:44 379  
[   ]2023-0729-225644-VALSDELLCOMPUTE-Proofs.log2023-07-30 05:56 379  
[   ]2023-0729-230856-VALSDELLCOMPUTE-Proofs.log2023-07-30 06:09 379  
[   ]2023-0729-232108-VALSDELLCOMPUTE-Proofs.log2023-07-30 06:21 379  
[   ]2023-0729-233932-VALSDELLCOMPUTE-Proofs.log2023-07-30 06:39 379  
[   ]2023-0729-235144-VALSDELLCOMPUTE-Proofs.log2023-07-30 06:51 379  
[   ]2023-0730-000356-VALSDELLCOMPUTE-Proofs.log2023-07-30 07:04 379  
[   ]2023-0730-001608-VALSDELLCOMPUTE-Proofs.log2023-07-30 07:16 379  
[   ]2023-0730-002820-VALSDELLCOMPUTE-Proofs.log2023-07-30 07:28 379  
[   ]2023-0730-004032-VALSDELLCOMPUTE-Proofs.log2023-07-30 07:40 379  
[   ]2023-0730-005244-VALSDELLCOMPUTE-Proofs.log2023-07-30 07:52 379  
[   ]2023-0730-010456-VALSDELLCOMPUTE-Proofs.log2023-07-30 08:05 379  
[   ]2023-0730-011614-VALSDELLCOMPUTE-Proofs.log2023-07-30 08:16 379  
[   ]2023-0730-012829-VALSDELLCOMPUTE-Proofs.log2023-07-30 08:28 379  
[   ]2023-0730-014041-VALSDELLCOMPUTE-Proofs.log2023-07-30 08:40 379  
[   ]2023-0730-015253-VALSDELLCOMPUTE-Proofs.log2023-07-30 08:52 379  
[   ]2023-0730-020507-VALSDELLCOMPUTE-Proofs.log2023-07-30 09:05 379  
[   ]2023-0730-021719-VALSDELLCOMPUTE-Proofs.log2023-07-30 09:17 379  
[   ]2023-0730-022931-VALSDELLCOMPUTE-Proofs.log2023-07-30 09:29 379  
[   ]2023-0730-024143-VALSDELLCOMPUTE-Proofs.log2023-07-30 09:41 379  
[   ]2023-0730-025355-VALSDELLCOMPUTE-Proofs.log2023-07-30 09:53 379  
[   ]2023-0730-030607-VALSDELLCOMPUTE-Proofs.log2023-07-30 10:06 379  
[   ]2023-0730-031822-VALSDELLCOMPUTE-Proofs.log2023-07-30 10:18 379  
[   ]2023-0730-033034-VALSDELLCOMPUTE-Proofs.log2023-07-30 10:30 379  
[   ]2023-0730-034246-VALSDELLCOMPUTE-Proofs.log2023-07-30 10:42 379  
[   ]2023-0730-035501-VALSDELLCOMPUTE-Proofs.log2023-07-30 10:55 379  
[   ]2023-0730-040713-VALSDELLCOMPUTE-Proofs.log2023-07-30 11:07 379  
[   ]2023-0730-041925-VALSDELLCOMPUTE-Proofs.log2023-07-30 11:19 379  
[   ]2023-0730-043137-VALSDELLCOMPUTE-Proofs.log2023-07-30 11:31 379  
[   ]2023-0730-044349-VALSDELLCOMPUTE-Proofs.log2023-07-30 11:43 379  
[   ]2023-0730-045601-VALSDELLCOMPUTE-Proofs.log2023-07-30 11:56 379  
[   ]2023-0730-050813-VALSDELLCOMPUTE-Proofs.log2023-07-30 12:08 379  
[   ]2023-0730-052025-VALSDELLCOMPUTE-Proofs.log2023-07-30 12:20 379  
[   ]2023-0730-053237-VALSDELLCOMPUTE-Proofs.log2023-07-30 12:32 379  
[   ]2023-0730-054449-VALSDELLCOMPUTE-Proofs.log2023-07-30 12:44 379  
[   ]2023-0730-055704-VALSDELLCOMPUTE-Proofs.log2023-07-30 12:57 379  
[   ]2023-0730-060916-VALSDELLCOMPUTE-Proofs.log2023-07-30 13:09 379  
[   ]2023-0730-062128-VALSDELLCOMPUTE-Proofs.log2023-07-30 13:21 379  
[   ]2023-0730-063340-VALSDELLCOMPUTE-Proofs.log2023-07-30 13:33 379  
[   ]2023-0730-064552-VALSDELLCOMPUTE-Proofs.log2023-07-30 13:45 379  
[   ]2023-0730-065804-VALSDELLCOMPUTE-Proofs.log2023-07-30 13:58 379  
[   ]2023-0730-071016-VALSDELLCOMPUTE-Proofs.log2023-07-30 14:10 379  
[   ]2023-0730-072228-VALSDELLCOMPUTE-Proofs.log2023-07-30 14:22 379  
[   ]2023-0730-073440-VALSDELLCOMPUTE-Proofs.log2023-07-30 14:34 379  
[   ]2023-0730-074652-VALSDELLCOMPUTE-Proofs.log2023-07-30 14:46 379  
[   ]2023-0730-075904-VALSDELLCOMPUTE-Proofs.log2023-07-30 14:59 379  
[   ]2023-0730-081116-VALSDELLCOMPUTE-Proofs.log2023-07-30 15:11 379  
[   ]2023-0730-082328-VALSDELLCOMPUTE-Proofs.log2023-07-30 15:23 379  
[   ]2023-0730-083540-VALSDELLCOMPUTE-Proofs.log2023-07-30 15:35 379  
[   ]2023-0730-084752-VALSDELLCOMPUTE-Proofs.log2023-07-30 15:47 379  
[   ]2023-0730-090006-VALSDELLCOMPUTE-Proofs.log2023-07-30 16:00 379  
[   ]2023-0730-091219-VALSDELLCOMPUTE-Proofs.log2023-07-30 16:12 379  
[   ]2023-0730-092431-VALSDELLCOMPUTE-Proofs.log2023-07-30 16:24 379  
[   ]2023-0730-093643-VALSDELLCOMPUTE-Proofs.log2023-07-30 16:36 379  
[   ]2023-0730-094855-VALSDELLCOMPUTE-Proofs.log2023-07-30 16:49 379  
[   ]2023-0730-100107-VALSDELLCOMPUTE-Proofs.log2023-07-30 17:01 379  
[   ]2023-0730-101319-VALSDELLCOMPUTE-Proofs.log2023-07-30 17:13 379  
[   ]2023-0730-102531-VALSDELLCOMPUTE-Proofs.log2023-07-30 17:25 379  
[   ]2023-0730-103743-VALSDELLCOMPUTE-Proofs.log2023-07-30 17:37 379  
[   ]2023-0730-104955-VALSDELLCOMPUTE-Proofs.log2023-07-30 17:50 379  
[   ]2023-0730-110207-VALSDELLCOMPUTE-Proofs.log2023-07-30 18:02 379  
[   ]2023-0730-111420-VALSDELLCOMPUTE-Proofs.log2023-07-30 18:14 379  
[   ]2023-0730-112632-VALSDELLCOMPUTE-Proofs.log2023-07-30 18:26 379  
[   ]2023-0730-113844-VALSDELLCOMPUTE-Proofs.log2023-07-30 18:38 379  
[   ]2023-0730-115056-VALSDELLCOMPUTE-Proofs.log2023-07-30 18:51 379  
[   ]2023-0730-120308-VALSDELLCOMPUTE-Proofs.log2023-07-30 19:03 379  
[   ]2023-0730-121338-VALSDELLCOMPUTE-Proofs.log2023-07-30 19:13 379  
[   ]2023-0730-122617-VALSDELLCOMPUTE-Proofs.log2023-07-30 19:26 379  
[   ]2023-0730-123832-VALSDELLCOMPUTE-Proofs.log2023-07-30 19:38 379  
[   ]2023-0730-125044-VALSDELLCOMPUTE-Proofs.log2023-07-30 19:50 379  
[   ]2023-0730-130411-VALSDELLCOMPUTE-Proofs.log2023-07-30 20:04 379  
[   ]2023-0730-131623-VALSDELLCOMPUTE-Proofs.log2023-07-30 20:16 379  
[   ]2023-0730-132835-VALSDELLCOMPUTE-Proofs.log2023-07-30 20:28 379  
[   ]2023-0730-134047-VALSDELLCOMPUTE-Proofs.log2023-07-30 20:40 379  
[   ]2023-0730-135259-VALSDELLCOMPUTE-Proofs.log2023-07-30 20:53 379  
[   ]2023-0730-140515-VALSDELLCOMPUTE-Proofs.log2023-07-30 21:05 379  
[   ]2023-0730-141728-VALSDELLCOMPUTE-Proofs.log2023-07-30 21:17 379  
[   ]2023-0730-142940-VALSDELLCOMPUTE-Proofs.log2023-07-30 21:29 379  
[   ]2023-0730-144152-VALSDELLCOMPUTE-Proofs.log2023-07-30 21:41 379  
[   ]2023-0730-145404-VALSDELLCOMPUTE-Proofs.log2023-07-30 21:54 379  
[   ]2023-0730-150616-VALSDELLCOMPUTE-Proofs.log2023-07-30 22:06 379  
[   ]2023-0730-151828-VALSDELLCOMPUTE-Proofs.log2023-07-30 22:18 379  
[   ]2023-0730-153040-VALSDELLCOMPUTE-Proofs.log2023-07-30 22:30 379  
[   ]2023-0730-154252-VALSDELLCOMPUTE-Proofs.log2023-07-30 22:42 379  
[   ]2023-0730-155504-VALSDELLCOMPUTE-Proofs.log2023-07-30 22:55 379  
[   ]2023-0730-160716-VALSDELLCOMPUTE-Proofs.log2023-07-30 23:07 379  
[   ]2023-0730-161928-VALSDELLCOMPUTE-Proofs.log2023-07-30 23:19 379  
[   ]2023-0730-163140-VALSDELLCOMPUTE-Proofs.log2023-07-30 23:31 379  
[   ]2023-0730-164355-VALSDELLCOMPUTE-Proofs.log2023-07-30 23:44 379  
[   ]2023-0730-165607-VALSDELLCOMPUTE-Proofs.log2023-07-30 23:56 379  
[   ]2023-0730-170819-VALSDELLCOMPUTE-Proofs.log2023-07-31 00:08 379  
[   ]2023-0730-172034-VALSDELLCOMPUTE-Proofs.log2023-07-31 00:20 379  
[   ]2023-0730-173246-VALSDELLCOMPUTE-Proofs.log2023-07-31 00:32 379  
[   ]2023-0730-174458-VALSDELLCOMPUTE-Proofs.log2023-07-31 00:45 379  
[   ]2023-0730-175710-VALSDELLCOMPUTE-Proofs.log2023-07-31 00:57 379  
[   ]2023-0730-180922-VALSDELLCOMPUTE-Proofs.log2023-07-31 01:09 379  
[   ]2023-0730-182134-VALSDELLCOMPUTE-Proofs.log2023-07-31 01:21 379  
[   ]2023-0730-183349-VALSDELLCOMPUTE-Proofs.log2023-07-31 01:33 379  
[   ]2023-0730-184601-VALSDELLCOMPUTE-Proofs.log2023-07-31 01:46 379  
[   ]2023-0730-185813-VALSDELLCOMPUTE-Proofs.log2023-07-31 01:58 379  
[   ]2023-0730-191025-VALSDELLCOMPUTE-Proofs.log2023-07-31 02:10 379  
[   ]2023-0730-192237-VALSDELLCOMPUTE-Proofs.log2023-07-31 02:22 379  
[   ]2023-0730-193449-VALSDELLCOMPUTE-Proofs.log2023-07-31 02:34 379  
[   ]2023-0730-194701-VALSDELLCOMPUTE-Proofs.log2023-07-31 02:47 379  
[   ]2023-0730-195913-VALSDELLCOMPUTE-Proofs.log2023-07-31 02:59 379  
[   ]2023-0730-201125-VALSDELLCOMPUTE-Proofs.log2023-07-31 03:11 379  
[   ]2023-0730-202337-VALSDELLCOMPUTE-Proofs.log2023-07-31 03:23 379  
[   ]2023-0730-203549-VALSDELLCOMPUTE-Proofs.log2023-07-31 03:35 379  
[   ]2023-0730-204801-VALSDELLCOMPUTE-Proofs.log2023-07-31 03:48 379  
[   ]2023-0730-210016-VALSDELLCOMPUTE-Proofs.log2023-07-31 04:00 379  
[   ]2023-0730-211228-VALSDELLCOMPUTE-Proofs.log2023-07-31 04:12 379  
[   ]2023-0730-212440-VALSDELLCOMPUTE-Proofs.log2023-07-31 04:24 379  
[   ]2023-0730-213652-VALSDELLCOMPUTE-Proofs.log2023-07-31 04:36 379  
[   ]2023-0730-214904-VALSDELLCOMPUTE-Proofs.log2023-07-31 04:49 379  
[   ]2023-0730-220116-VALSDELLCOMPUTE-Proofs.log2023-07-31 05:01 379  
[   ]2023-0730-221328-VALSDELLCOMPUTE-Proofs.log2023-07-31 05:13 379  
[   ]2023-0730-222540-VALSDELLCOMPUTE-Proofs.log2023-07-31 05:25 379  
[   ]2023-0730-223752-VALSDELLCOMPUTE-Proofs.log2023-07-31 05:37 379  
[   ]2023-0730-225004-VALSDELLCOMPUTE-Proofs.log2023-07-31 05:50 379  
[   ]2023-0730-230216-VALSDELLCOMPUTE-Proofs.log2023-07-31 06:02 379  
[   ]2023-0730-231431-VALSDELLCOMPUTE-Proofs.log2023-07-31 06:14 379  
[   ]2023-0730-232643-VALSDELLCOMPUTE-Proofs.log2023-07-31 06:26 379  
[   ]2023-0730-233855-VALSDELLCOMPUTE-Proofs.log2023-07-31 06:39 379  
[   ]2023-0730-234958-VALSDELLCOMPUTE-Proofs.log2023-07-31 06:50 379  
[   ]2023-0731-000240-VALSDELLCOMPUTE-Proofs.log2023-07-31 07:02 379  
[   ]2023-0731-001452-VALSDELLCOMPUTE-Proofs.log2023-07-31 07:14 379  
[   ]2023-0731-002704-VALSDELLCOMPUTE-Proofs.log2023-07-31 07:27 379  
[   ]2023-0731-003919-VALSDELLCOMPUTE-Proofs.log2023-07-31 07:39 379  
[   ]2023-0731-005131-VALSDELLCOMPUTE-Proofs.log2023-07-31 07:51 379  
[   ]2023-0731-010343-VALSDELLCOMPUTE-Proofs.log2023-07-31 08:03 379  
[   ]2023-0731-011555-VALSDELLCOMPUTE-Proofs.log2023-07-31 08:15 379  
[   ]2023-0731-012807-VALSDELLCOMPUTE-Proofs.log2023-07-31 08:28 379  
[   ]2023-0731-014040-VALSDELLCOMPUTE-Proofs.log2023-07-31 08:40 379  
[   ]2023-0731-015252-VALSDELLCOMPUTE-Proofs.log2023-07-31 08:52 379  
[   ]2023-0731-020504-VALSDELLCOMPUTE-Proofs.log2023-07-31 09:05 379  
[   ]2023-0731-021716-VALSDELLCOMPUTE-Proofs.log2023-07-31 09:17 379  
[   ]2023-0731-022928-VALSDELLCOMPUTE-Proofs.log2023-07-31 09:29 379  
[   ]2023-0731-024140-VALSDELLCOMPUTE-Proofs.log2023-07-31 09:41 379  
[   ]2023-0731-025352-VALSDELLCOMPUTE-Proofs.log2023-07-31 09:53 379  
[   ]2023-0731-030607-VALSDELLCOMPUTE-Proofs.log2023-07-31 10:06 379  
[   ]2023-0731-031819-VALSDELLCOMPUTE-Proofs.log2023-07-31 10:18 379  
[   ]2023-0731-033034-VALSDELLCOMPUTE-Proofs.log2023-07-31 10:30 379  
[   ]2023-0731-034246-VALSDELLCOMPUTE-Proofs.log2023-07-31 10:42 379  
[   ]2023-0731-035458-VALSDELLCOMPUTE-Proofs.log2023-07-31 10:55 379  
[   ]2023-0731-040710-VALSDELLCOMPUTE-Proofs.log2023-07-31 11:07 379  
[   ]2023-0731-041922-VALSDELLCOMPUTE-Proofs.log2023-07-31 11:19 379  
[   ]2023-0731-043134-VALSDELLCOMPUTE-Proofs.log2023-07-31 11:31 379  
[   ]2023-0731-044346-VALSDELLCOMPUTE-Proofs.log2023-07-31 11:43 379  
[   ]2023-0731-045558-VALSDELLCOMPUTE-Proofs.log2023-07-31 11:56 379  
[   ]2023-0731-050810-VALSDELLCOMPUTE-Proofs.log2023-07-31 12:08 379  
[   ]2023-0731-052022-VALSDELLCOMPUTE-Proofs.log2023-07-31 12:20 379  
[   ]2023-0731-053234-VALSDELLCOMPUTE-Proofs.log2023-07-31 12:32 379  
[   ]2023-0731-054449-VALSDELLCOMPUTE-Proofs.log2023-07-31 12:44 379  
[   ]2023-0731-055701-VALSDELLCOMPUTE-Proofs.log2023-07-31 12:57 379  
[   ]2023-0731-060913-VALSDELLCOMPUTE-Proofs.log2023-07-31 13:09 379  
[   ]2023-0731-062125-VALSDELLCOMPUTE-Proofs.log2023-07-31 13:21 379  
[   ]2023-0731-063337-VALSDELLCOMPUTE-Proofs.log2023-07-31 13:33 379  
[   ]2023-0731-064549-VALSDELLCOMPUTE-Proofs.log2023-07-31 13:45 379  
[   ]2023-0731-065801-VALSDELLCOMPUTE-Proofs.log2023-07-31 13:58 379  
[   ]2023-0731-071013-VALSDELLCOMPUTE-Proofs.log2023-07-31 14:10 379  
[   ]2023-0731-072225-VALSDELLCOMPUTE-Proofs.log2023-07-31 14:22 379  
[   ]2023-0731-073437-VALSDELLCOMPUTE-Proofs.log2023-07-31 14:34 379  
[   ]2023-0731-074649-VALSDELLCOMPUTE-Proofs.log2023-07-31 14:46 379  
[   ]2023-0731-075901-VALSDELLCOMPUTE-Proofs.log2023-07-31 14:59 379  
[   ]2023-0731-081113-VALSDELLCOMPUTE-Proofs.log2023-07-31 15:11 379  
[   ]2023-0731-082325-VALSDELLCOMPUTE-Proofs.log2023-07-31 15:23 379  
[   ]2023-0731-083537-VALSDELLCOMPUTE-Proofs.log2023-07-31 15:35 379  
[   ]2023-0731-084749-VALSDELLCOMPUTE-Proofs.log2023-07-31 15:47 379  
[   ]2023-0731-090001-VALSDELLCOMPUTE-Proofs.log2023-07-31 16:00 379  
[   ]2023-0731-091216-VALSDELLCOMPUTE-Proofs.log2023-07-31 16:12 379  
[   ]2023-0731-092428-VALSDELLCOMPUTE-Proofs.log2023-07-31 16:24 379  
[   ]2023-0731-093643-VALSDELLCOMPUTE-Proofs.log2023-07-31 16:36 379  
[   ]2023-0731-094855-VALSDELLCOMPUTE-Proofs.log2023-07-31 16:49 379  
[   ]2023-0731-100107-VALSDELLCOMPUTE-Proofs.log2023-07-31 17:01 379  
[   ]2023-0731-101319-VALSDELLCOMPUTE-Proofs.log2023-07-31 17:13 379  
[   ]2023-0731-102531-VALSDELLCOMPUTE-Proofs.log2023-07-31 17:25 379  
[   ]2023-0731-103743-VALSDELLCOMPUTE-Proofs.log2023-07-31 17:37 379  
[   ]2023-0731-104955-VALSDELLCOMPUTE-Proofs.log2023-07-31 17:50 379  
[   ]2023-0731-110207-VALSDELLCOMPUTE-Proofs.log2023-07-31 18:02 379  
[   ]2023-0731-111419-VALSDELLCOMPUTE-Proofs.log2023-07-31 18:14 379  
[   ]2023-0731-112631-VALSDELLCOMPUTE-Proofs.log2023-07-31 18:26 379  
[   ]2023-0731-113846-VALSDELLCOMPUTE-Proofs.log2023-07-31 18:38 379  
[   ]2023-0731-115101-VALSDELLCOMPUTE-Proofs.log2023-07-31 18:51 379  
[   ]2023-0731-120313-VALSDELLCOMPUTE-Proofs.log2023-07-31 19:03 379  
[   ]2023-0731-121525-VALSDELLCOMPUTE-Proofs.log2023-07-31 19:15 379  
[   ]2023-0731-122740-VALSDELLCOMPUTE-Proofs.log2023-07-31 19:27 379  
[   ]2023-0731-123752-VALSDELLCOMPUTE-Proofs.log2023-07-31 19:37 379  
[   ]2023-0731-125004-VALSDELLCOMPUTE-Proofs.log2023-07-31 19:50 379  
[   ]2023-0731-130216-VALSDELLCOMPUTE-Proofs.log2023-07-31 20:02 379  
[   ]2023-0731-131431-VALSDELLCOMPUTE-Proofs.log2023-07-31 20:14 379  
[   ]2023-0731-132643-VALSDELLCOMPUTE-Proofs.log2023-07-31 20:26 379  
[   ]2023-0731-133855-VALSDELLCOMPUTE-Proofs.log2023-07-31 20:39 379  
[   ]2023-0731-135107-VALSDELLCOMPUTE-Proofs.log2023-07-31 20:51 379  
[   ]2023-0731-140319-VALSDELLCOMPUTE-Proofs.log2023-07-31 21:03 379  
[   ]2023-0731-141531-VALSDELLCOMPUTE-Proofs.log2023-07-31 21:15 379  
[   ]2023-0731-142746-VALSDELLCOMPUTE-Proofs.log2023-07-31 21:27 379  
[   ]2023-0731-143958-VALSDELLCOMPUTE-Proofs.log2023-07-31 21:40 379  
[   ]2023-0731-145210-VALSDELLCOMPUTE-Proofs.log2023-07-31 21:52 379  
[   ]2023-0731-150422-VALSDELLCOMPUTE-Proofs.log2023-07-31 22:04 379  
[   ]2023-0731-151634-VALSDELLCOMPUTE-Proofs.log2023-07-31 22:16 379  
[   ]2023-0731-152849-VALSDELLCOMPUTE-Proofs.log2023-07-31 22:28 379  
[   ]2023-0731-153907-VALSDELLCOMPUTE-Proofs.log2023-07-31 22:39 379  
[   ]2023-0731-155122-VALSDELLCOMPUTE-Proofs.log2023-07-31 22:51 379  
[   ]2023-0731-160334-VALSDELLCOMPUTE-Proofs.log2023-07-31 23:03 379  
[   ]2023-0731-161546-VALSDELLCOMPUTE-Proofs.log2023-07-31 23:15 379  
[   ]2023-0731-162758-VALSDELLCOMPUTE-Proofs.log2023-07-31 23:28 379  
[   ]2023-0731-164010-VALSDELLCOMPUTE-Proofs.log2023-07-31 23:40 379  
[   ]2023-0731-165225-VALSDELLCOMPUTE-Proofs.log2023-07-31 23:52 378  
[   ]2023-0731-170440-VALSDELLCOMPUTE-Proofs.log2023-08-01 00:04 379  
[   ]2023-0731-171652-VALSDELLCOMPUTE-Proofs.log2023-08-01 00:16 379  
[   ]2023-0731-172904-VALSDELLCOMPUTE-Proofs.log2023-08-01 00:29 379  
[   ]2023-0731-174116-VALSDELLCOMPUTE-Proofs.log2023-08-01 00:41 379  
[   ]2023-0731-175328-VALSDELLCOMPUTE-Proofs.log2023-08-01 00:53 379  
[   ]2023-0731-180540-VALSDELLCOMPUTE-Proofs.log2023-08-01 01:05 379  
[   ]2023-0731-181752-VALSDELLCOMPUTE-Proofs.log2023-08-01 01:17 379  
[   ]2023-0731-183004-VALSDELLCOMPUTE-Proofs.log2023-08-01 01:30 379  
[   ]2023-0731-184216-VALSDELLCOMPUTE-Proofs.log2023-08-01 01:42 379  
[   ]2023-0731-185428-VALSDELLCOMPUTE-Proofs.log2023-08-01 01:54 379  
[   ]2023-0731-190640-VALSDELLCOMPUTE-Proofs.log2023-08-01 02:06 379  
[   ]2023-0731-191855-VALSDELLCOMPUTE-Proofs.log2023-08-01 02:19 379  
[   ]2023-0731-193107-VALSDELLCOMPUTE-Proofs.log2023-08-01 02:31 379  
[   ]2023-0731-194322-VALSDELLCOMPUTE-Proofs.log2023-08-01 02:43 379  
[   ]2023-0731-195534-VALSDELLCOMPUTE-Proofs.log2023-08-01 02:55 379  
[   ]2023-0731-200746-VALSDELLCOMPUTE-Proofs.log2023-08-01 03:07 379  
[   ]2023-0731-201958-VALSDELLCOMPUTE-Proofs.log2023-08-01 03:20 379  
[   ]2023-0731-203210-VALSDELLCOMPUTE-Proofs.log2023-08-01 03:32 379  
[   ]2023-0731-204422-VALSDELLCOMPUTE-Proofs.log2023-08-01 03:44 379  
[   ]2023-0731-205634-VALSDELLCOMPUTE-Proofs.log2023-08-01 03:56 379  
[   ]2023-0731-210846-VALSDELLCOMPUTE-Proofs.log2023-08-01 04:08 379  
[   ]2023-0731-212058-VALSDELLCOMPUTE-Proofs.log2023-08-01 04:21 379  
[   ]2023-0731-213310-VALSDELLCOMPUTE-Proofs.log2023-08-01 04:33 379  
[   ]2023-0731-214522-VALSDELLCOMPUTE-Proofs.log2023-08-01 04:45 379  
[   ]2023-0731-215734-VALSDELLCOMPUTE-Proofs.log2023-08-01 04:57 379  
[   ]2023-0731-220949-VALSDELLCOMPUTE-Proofs.log2023-08-01 05:09 379  
[   ]2023-0731-222201-VALSDELLCOMPUTE-Proofs.log2023-08-01 05:22 379  
[   ]2023-0731-223413-VALSDELLCOMPUTE-Proofs.log2023-08-01 05:34 379  
[   ]2023-0731-224625-VALSDELLCOMPUTE-Proofs.log2023-08-01 05:46 379  
[   ]2023-0731-225840-VALSDELLCOMPUTE-Proofs.log2023-08-01 05:58 379  
[   ]2023-0731-231052-VALSDELLCOMPUTE-Proofs.log2023-08-01 06:10 379  
[   ]2023-0731-232307-VALSDELLCOMPUTE-Proofs.log2023-08-01 06:23 379  
[   ]2023-0731-233828-VALSDELLCOMPUTE-Proofs.log2023-08-01 06:38 379  
[   ]2023-0731-235040-VALSDELLCOMPUTE-Proofs.log2023-08-01 06:50 379  
[   ]2023-0801-000255-VALSDELLCOMPUTE-Proofs.log2023-08-01 07:03 379  
[   ]2023-0801-001507-VALSDELLCOMPUTE-Proofs.log2023-08-01 07:15 379  
[   ]2023-0801-002719-VALSDELLCOMPUTE-Proofs.log2023-08-01 07:27 379  
[   ]2023-0801-003934-VALSDELLCOMPUTE-Proofs.log2023-08-01 07:39 379  
[   ]2023-0801-005146-VALSDELLCOMPUTE-Proofs.log2023-08-01 07:51 379  
[   ]2023-0801-010358-VALSDELLCOMPUTE-Proofs.log2023-08-01 08:04 379  
[   ]2023-0801-011610-VALSDELLCOMPUTE-Proofs.log2023-08-01 08:16 379  
[   ]2023-0801-012822-VALSDELLCOMPUTE-Proofs.log2023-08-01 08:28 379  
[   ]2023-0801-014034-VALSDELLCOMPUTE-Proofs.log2023-08-01 08:40 379  
[   ]2023-0801-015246-VALSDELLCOMPUTE-Proofs.log2023-08-01 08:52 379  
[   ]2023-0801-020458-VALSDELLCOMPUTE-Proofs.log2023-08-01 09:05 379  
[   ]2023-0801-021710-VALSDELLCOMPUTE-Proofs.log2023-08-01 09:17 379  
[   ]2023-0801-022922-VALSDELLCOMPUTE-Proofs.log2023-08-01 09:29 379  
[   ]2023-0801-024134-VALSDELLCOMPUTE-Proofs.log2023-08-01 09:41 379  
[   ]2023-0801-025346-VALSDELLCOMPUTE-Proofs.log2023-08-01 09:53 379  
[   ]2023-0801-030558-VALSDELLCOMPUTE-Proofs.log2023-08-01 10:06 379  
[   ]2023-0801-031740-VALSDELLCOMPUTE-Proofs.log2023-08-01 10:17 379  
[   ]2023-0801-033040-VALSDELLCOMPUTE-Proofs.log2023-08-01 10:30 379  
[   ]2023-0801-034252-VALSDELLCOMPUTE-Proofs.log2023-08-01 10:42 379  
[   ]2023-0801-035504-VALSDELLCOMPUTE-Proofs.log2023-08-01 10:55 379  
[   ]2023-0801-040719-VALSDELLCOMPUTE-Proofs.log2023-08-01 11:07 379  
[   ]2023-0801-041931-VALSDELLCOMPUTE-Proofs.log2023-08-01 11:19 379  
[   ]2023-0801-043143-VALSDELLCOMPUTE-Proofs.log2023-08-01 11:31 379  
[   ]2023-0801-044355-VALSDELLCOMPUTE-Proofs.log2023-08-01 11:44 379  
[   ]2023-0801-045607-VALSDELLCOMPUTE-Proofs.log2023-08-01 11:56 379  
[   ]2023-0801-050819-VALSDELLCOMPUTE-Proofs.log2023-08-01 12:08 379  
[   ]2023-0801-052031-VALSDELLCOMPUTE-Proofs.log2023-08-01 12:20 379  
[   ]2023-0801-053243-VALSDELLCOMPUTE-Proofs.log2023-08-01 12:32 379  
[   ]2023-0801-054458-VALSDELLCOMPUTE-Proofs.log2023-08-01 12:45 379  
[   ]2023-0801-055710-VALSDELLCOMPUTE-Proofs.log2023-08-01 12:57 379  
[   ]2023-0801-060922-VALSDELLCOMPUTE-Proofs.log2023-08-01 13:09 379  
[   ]2023-0801-062137-VALSDELLCOMPUTE-Proofs.log2023-08-01 13:21 379  
[   ]2023-0801-063349-VALSDELLCOMPUTE-Proofs.log2023-08-01 13:33 379  
[   ]2023-0801-064601-VALSDELLCOMPUTE-Proofs.log2023-08-01 13:46 379  
[   ]2023-0801-065813-VALSDELLCOMPUTE-Proofs.log2023-08-01 13:58 379  
[   ]2023-0801-071025-VALSDELLCOMPUTE-Proofs.log2023-08-01 14:10 379  
[   ]2023-0801-072237-VALSDELLCOMPUTE-Proofs.log2023-08-01 14:22 379  
[   ]2023-0801-073449-VALSDELLCOMPUTE-Proofs.log2023-08-01 14:34 379  
[   ]2023-0801-074704-VALSDELLCOMPUTE-Proofs.log2023-08-01 14:47 379  
[   ]2023-0801-075916-VALSDELLCOMPUTE-Proofs.log2023-08-01 14:59 379  
[   ]2023-0801-081128-VALSDELLCOMPUTE-Proofs.log2023-08-01 15:11 379  
[   ]2023-0801-082340-VALSDELLCOMPUTE-Proofs.log2023-08-01 15:23 379  
[   ]2023-0801-083552-VALSDELLCOMPUTE-Proofs.log2023-08-01 15:35 379  
[   ]2023-0801-084804-VALSDELLCOMPUTE-Proofs.log2023-08-01 15:48 379  
[   ]2023-0801-090017-VALSDELLCOMPUTE-Proofs.log2023-08-01 16:00 379  
[   ]2023-0801-091229-VALSDELLCOMPUTE-Proofs.log2023-08-01 16:12 379  
[   ]2023-0801-092441-VALSDELLCOMPUTE-Proofs.log2023-08-01 16:24 379  
[   ]2023-0801-093653-VALSDELLCOMPUTE-Proofs.log2023-08-01 16:36 379  
[   ]2023-0801-094905-VALSDELLCOMPUTE-Proofs.log2023-08-01 16:49 379  
[   ]2023-0801-100120-VALSDELLCOMPUTE-Proofs.log2023-08-01 17:01 379  
[   ]2023-0801-101332-VALSDELLCOMPUTE-Proofs.log2023-08-01 17:13 379  
[   ]2023-0801-102544-VALSDELLCOMPUTE-Proofs.log2023-08-01 17:25 379  
[   ]2023-0801-103756-VALSDELLCOMPUTE-Proofs.log2023-08-01 17:38 379  
[   ]2023-0801-105008-VALSDELLCOMPUTE-Proofs.log2023-08-01 17:50 379  
[   ]2023-0801-110220-VALSDELLCOMPUTE-Proofs.log2023-08-01 18:02 379  
[   ]2023-0801-111432-VALSDELLCOMPUTE-Proofs.log2023-08-01 18:14 379  
[   ]2023-0801-112526-VALSDELLCOMPUTE-Proofs.log2023-08-01 18:25 379  
[   ]2023-0801-113738-VALSDELLCOMPUTE-Proofs.log2023-08-01 18:37 379  
[   ]2023-0801-114950-VALSDELLCOMPUTE-Proofs.log2023-08-01 18:49 379  
[   ]2023-0801-120202-VALSDELLCOMPUTE-Proofs.log2023-08-01 19:02 379  
[   ]2023-0801-121414-VALSDELLCOMPUTE-Proofs.log2023-08-01 19:14 379  
[   ]2023-0801-122626-VALSDELLCOMPUTE-Proofs.log2023-08-01 19:26 379  
[   ]2023-0801-123838-VALSDELLCOMPUTE-Proofs.log2023-08-01 19:38 379  
[   ]2023-0801-125050-VALSDELLCOMPUTE-Proofs.log2023-08-01 19:50 379  
[   ]2023-0801-130305-VALSDELLCOMPUTE-Proofs.log2023-08-01 20:03 379  
[   ]2023-0801-131517-VALSDELLCOMPUTE-Proofs.log2023-08-01 20:15 379  
[   ]2023-0801-132729-VALSDELLCOMPUTE-Proofs.log2023-08-01 20:27 379  
[   ]2023-0801-133941-VALSDELLCOMPUTE-Proofs.log2023-08-01 20:39 379  
[   ]2023-0801-135153-VALSDELLCOMPUTE-Proofs.log2023-08-01 20:51 379  
[   ]2023-0801-140408-VALSDELLCOMPUTE-Proofs.log2023-08-01 21:04 379  
[   ]2023-0801-141620-VALSDELLCOMPUTE-Proofs.log2023-08-01 21:16 379  
[   ]2023-0801-142832-VALSDELLCOMPUTE-Proofs.log2023-08-01 21:29 490  
[   ]2023-0801-144044-VALSDELLCOMPUTE-Proofs.log2023-08-01 21:40 379  
[   ]2023-0801-145256-VALSDELLCOMPUTE-Proofs.log2023-08-01 21:53 379  
[   ]2023-0801-150511-VALSDELLCOMPUTE-Proofs.log2023-08-01 22:05 379  
[   ]2023-0801-151723-VALSDELLCOMPUTE-Proofs.log2023-08-01 22:17 379  
[   ]2023-0801-152935-VALSDELLCOMPUTE-Proofs.log2023-08-01 22:29 379  
[   ]2023-0801-154147-VALSDELLCOMPUTE-Proofs.log2023-08-01 22:41 379  
[   ]2023-0801-155359-VALSDELLCOMPUTE-Proofs.log2023-08-01 22:54 379  
[   ]2023-0801-160611-VALSDELLCOMPUTE-Proofs.log2023-08-01 23:06 379  
[   ]2023-0801-161823-VALSDELLCOMPUTE-Proofs.log2023-08-01 23:18 379  
[   ]2023-0801-163035-VALSDELLCOMPUTE-Proofs.log2023-08-01 23:30 379  
[   ]2023-0801-164247-VALSDELLCOMPUTE-Proofs.log2023-08-01 23:42 379  
[   ]2023-0801-165459-VALSDELLCOMPUTE-Proofs.log2023-08-01 23:55 379  
[   ]2023-0801-170711-VALSDELLCOMPUTE-Proofs.log2023-08-02 00:07 379  
[   ]2023-0801-171820-VALSDELLCOMPUTE-Proofs.log2023-08-02 00:18 379  
[   ]2023-0801-173032-VALSDELLCOMPUTE-Proofs.log2023-08-02 00:30 379  
[   ]2023-0801-174244-VALSDELLCOMPUTE-Proofs.log2023-08-02 00:42 379  
[   ]2023-0801-175456-VALSDELLCOMPUTE-Proofs.log2023-08-02 00:55 379  
[   ]2023-0801-180708-VALSDELLCOMPUTE-Proofs.log2023-08-02 01:07 379  
[   ]2023-0801-181920-VALSDELLCOMPUTE-Proofs.log2023-08-02 01:19 379  
[   ]2023-0801-183132-VALSDELLCOMPUTE-Proofs.log2023-08-02 01:31 379  
[   ]2023-0801-184348-VALSDELLCOMPUTE-Proofs.log2023-08-02 01:43 379  
[   ]2023-0801-185559-VALSDELLCOMPUTE-Proofs.log2023-08-02 01:56 379  
[   ]2023-0801-190811-VALSDELLCOMPUTE-Proofs.log2023-08-02 02:08 379  
[   ]2023-0801-192023-VALSDELLCOMPUTE-Proofs.log2023-08-02 02:20 379  
[   ]2023-0801-193235-VALSDELLCOMPUTE-Proofs.log2023-08-02 02:32 379  
[   ]2023-0801-194447-VALSDELLCOMPUTE-Proofs.log2023-08-02 02:44 379  
[   ]2023-0801-195659-VALSDELLCOMPUTE-Proofs.log2023-08-02 02:57 379  
[   ]2023-0801-200910-VALSDELLCOMPUTE-Proofs.log2023-08-02 03:09 379  
[   ]2023-0801-202122-VALSDELLCOMPUTE-Proofs.log2023-08-02 03:21 379  
[   ]2023-0801-203334-VALSDELLCOMPUTE-Proofs.log2023-08-02 03:33 379  
[   ]2023-0801-204546-VALSDELLCOMPUTE-Proofs.log2023-08-02 03:45 379  
[   ]2023-0801-205758-VALSDELLCOMPUTE-Proofs.log2023-08-02 03:58 379  
[   ]2023-0801-211012-VALSDELLCOMPUTE-Proofs.log2023-08-02 04:10 379  
[   ]2023-0801-212223-VALSDELLCOMPUTE-Proofs.log2023-08-02 04:22 379  
[   ]2023-0801-213435-VALSDELLCOMPUTE-Proofs.log2023-08-02 04:34 379  
[   ]2023-0801-214647-VALSDELLCOMPUTE-Proofs.log2023-08-02 04:46 379  
[   ]2023-0801-215859-VALSDELLCOMPUTE-Proofs.log2023-08-02 04:59 379  
[   ]2023-0801-221111-VALSDELLCOMPUTE-Proofs.log2023-08-02 05:11 379  
[   ]2023-0801-222326-VALSDELLCOMPUTE-Proofs.log2023-08-02 05:23 379  
[   ]2023-0801-223538-VALSDELLCOMPUTE-Proofs.log2023-08-02 05:35 379  
[   ]2023-0801-224750-VALSDELLCOMPUTE-Proofs.log2023-08-02 05:47 379  
[   ]2023-0801-230002-VALSDELLCOMPUTE-Proofs.log2023-08-02 06:00 379  
[   ]2023-0801-231214-VALSDELLCOMPUTE-Proofs.log2023-08-02 06:12 379  
[   ]2023-0801-232426-VALSDELLCOMPUTE-Proofs.log2023-08-02 06:24 379  
[   ]2023-0801-233741-VALSDELLCOMPUTE-Proofs.log2023-08-02 06:37 379  
[   ]2023-0801-234953-VALSDELLCOMPUTE-Proofs.log2023-08-02 06:49 379  
[   ]2023-0802-000205-VALSDELLCOMPUTE-Proofs.log2023-08-02 07:02 379  
[   ]2023-0802-001417-VALSDELLCOMPUTE-Proofs.log2023-08-02 07:14 379  
[   ]2023-0802-002629-VALSDELLCOMPUTE-Proofs.log2023-08-02 07:26 379  
[   ]2023-0802-003841-VALSDELLCOMPUTE-Proofs.log2023-08-02 07:38 379  
[   ]2023-0802-005053-VALSDELLCOMPUTE-Proofs.log2023-08-02 07:50 379  
[   ]2023-0802-010305-VALSDELLCOMPUTE-Proofs.log2023-08-02 08:03 379  
[   ]2023-0802-011517-VALSDELLCOMPUTE-Proofs.log2023-08-02 08:15 379  
[   ]2023-0802-012729-VALSDELLCOMPUTE-Proofs.log2023-08-02 08:27 379  
[   ]2023-0802-013941-VALSDELLCOMPUTE-Proofs.log2023-08-02 08:39 379  
[   ]2023-0802-015156-VALSDELLCOMPUTE-Proofs.log2023-08-02 08:52 379  
[   ]2023-0802-020408-VALSDELLCOMPUTE-Proofs.log2023-08-02 09:04 379  
[   ]2023-0802-021620-VALSDELLCOMPUTE-Proofs.log2023-08-02 09:16 379  
[   ]2023-0802-022835-VALSDELLCOMPUTE-Proofs.log2023-08-02 09:28 379  
[   ]2023-0802-024047-VALSDELLCOMPUTE-Proofs.log2023-08-02 09:40 379  
[   ]2023-0802-025259-VALSDELLCOMPUTE-Proofs.log2023-08-02 09:53 379  
[   ]2023-0802-030511-VALSDELLCOMPUTE-Proofs.log2023-08-02 10:05 379  
[   ]2023-0802-031723-VALSDELLCOMPUTE-Proofs.log2023-08-02 10:17 379  
[   ]2023-0802-032935-VALSDELLCOMPUTE-Proofs.log2023-08-02 10:29 379  
[   ]2023-0802-034147-VALSDELLCOMPUTE-Proofs.log2023-08-02 10:41 379  
[   ]2023-0802-035359-VALSDELLCOMPUTE-Proofs.log2023-08-02 10:54 379  
[   ]2023-0802-040556-VALSDELLCOMPUTE-Proofs.log2023-08-02 11:06 379  
[   ]2023-0802-041808-VALSDELLCOMPUTE-Proofs.log2023-08-02 11:18 379  
[   ]2023-0802-043020-VALSDELLCOMPUTE-Proofs.log2023-08-02 11:30 379  
[   ]2023-0802-044232-VALSDELLCOMPUTE-Proofs.log2023-08-02 11:42 379  
[   ]2023-0802-045444-VALSDELLCOMPUTE-Proofs.log2023-08-02 11:54 379  
[   ]2023-0802-050656-VALSDELLCOMPUTE-Proofs.log2023-08-02 12:07 379  
[   ]2023-0802-051908-VALSDELLCOMPUTE-Proofs.log2023-08-02 12:19 379  
[   ]2023-0802-053120-VALSDELLCOMPUTE-Proofs.log2023-08-02 12:31 379  
[   ]2023-0802-054332-VALSDELLCOMPUTE-Proofs.log2023-08-02 12:43 379  
[   ]2023-0802-055544-VALSDELLCOMPUTE-Proofs.log2023-08-02 12:55 379  
[   ]2023-0802-060756-VALSDELLCOMPUTE-Proofs.log2023-08-02 13:08 379  
[   ]2023-0802-062008-VALSDELLCOMPUTE-Proofs.log2023-08-02 13:20 379  
[   ]2023-0802-063220-VALSDELLCOMPUTE-Proofs.log2023-08-02 13:32 379  
[   ]2023-0802-064432-VALSDELLCOMPUTE-Proofs.log2023-08-02 13:44 379  
[   ]2023-0802-065550-VALSDELLCOMPUTE-Proofs.log2023-08-02 13:55 379  
[   ]2023-0802-070559-VALSDELLCOMPUTE-Proofs.log2023-08-02 14:06 379  
[   ]2023-0802-071811-VALSDELLCOMPUTE-Proofs.log2023-08-02 14:18 379  
[   ]2023-0802-073023-VALSDELLCOMPUTE-Proofs.log2023-08-02 14:30 379  
[   ]2023-0802-074238-VALSDELLCOMPUTE-Proofs.log2023-08-02 14:42 379  
[   ]2023-0802-075453-VALSDELLCOMPUTE-Proofs.log2023-08-02 14:54 379  
[   ]2023-0802-080705-VALSDELLCOMPUTE-Proofs.log2023-08-02 15:07 379  
[   ]2023-0802-081917-VALSDELLCOMPUTE-Proofs.log2023-08-02 15:19 379  
[   ]2023-0802-083129-VALSDELLCOMPUTE-Proofs.log2023-08-02 15:31 379  
[   ]2023-0802-084341-VALSDELLCOMPUTE-Proofs.log2023-08-02 15:43 379  
[   ]2023-0802-085553-VALSDELLCOMPUTE-Proofs.log2023-08-02 15:55 379  
[   ]2023-0802-090805-VALSDELLCOMPUTE-Proofs.log2023-08-02 16:08 379  
[   ]2023-0802-092017-VALSDELLCOMPUTE-Proofs.log2023-08-02 16:20 379  
[   ]2023-0802-093232-VALSDELLCOMPUTE-Proofs.log2023-08-02 16:32 379  
[   ]2023-0802-094444-VALSDELLCOMPUTE-Proofs.log2023-08-02 16:44 379  
[   ]2023-0802-095535-VALSDELLCOMPUTE-Proofs.log2023-08-02 16:55 379  
[   ]2023-0802-100747-VALSDELLCOMPUTE-Proofs.log2023-08-02 17:07 379  
[   ]2023-0802-101959-VALSDELLCOMPUTE-Proofs.log2023-08-02 17:20 379  
[   ]2023-0802-103211-VALSDELLCOMPUTE-Proofs.log2023-08-02 17:32 379  
[   ]2023-0802-104423-VALSDELLCOMPUTE-Proofs.log2023-08-02 17:44 379  
[   ]2023-0802-105635-VALSDELLCOMPUTE-Proofs.log2023-08-02 17:56 379  
[   ]2023-0802-110847-VALSDELLCOMPUTE-Proofs.log2023-08-02 18:08 379  
[   ]2023-0802-112059-VALSDELLCOMPUTE-Proofs.log2023-08-02 18:21 379  
[   ]2023-0802-113311-VALSDELLCOMPUTE-Proofs.log2023-08-02 18:33 379  
[   ]2023-0802-114520-VALSDELLCOMPUTE-Proofs.log2023-08-02 18:45 379  
[   ]2023-0802-115732-VALSDELLCOMPUTE-Proofs.log2023-08-02 18:57 379  
[   ]2023-0802-120944-VALSDELLCOMPUTE-Proofs.log2023-08-02 19:09 379  
[   ]2023-0802-122153-VALSDELLCOMPUTE-Proofs.log2023-08-02 19:22 379  
[   ]2023-0802-123404-VALSDELLCOMPUTE-Proofs.log2023-08-02 19:34 379  
[   ]2023-0802-124610-VALSDELLCOMPUTE-Proofs.log2023-08-02 19:46 379  
[   ]2023-0802-125820-VALSDELLCOMPUTE-Proofs.log2023-08-02 19:58 379  
[   ]2023-0802-131029-VALSDELLCOMPUTE-Proofs.log2023-08-02 20:10 379  
[   ]2023-0802-132238-VALSDELLCOMPUTE-Proofs.log2023-08-02 20:22 379  
[   ]2023-0802-133538-VALSDELLCOMPUTE-Proofs.log2023-08-02 20:35 379  
[   ]2023-0802-134750-VALSDELLCOMPUTE-Proofs.log2023-08-02 20:47 379  
[   ]2023-0802-140002-VALSDELLCOMPUTE-Proofs.log2023-08-02 21:00 379  
[   ]2023-0802-141214-VALSDELLCOMPUTE-Proofs.log2023-08-02 21:12 379  
[   ]2023-0802-142426-VALSDELLCOMPUTE-Proofs.log2023-08-02 21:24 379  
[   ]2023-0802-143638-VALSDELLCOMPUTE-Proofs.log2023-08-02 21:36 379  
[   ]2023-0802-144850-VALSDELLCOMPUTE-Proofs.log2023-08-02 21:48 379  
[   ]2023-0802-150102-VALSDELLCOMPUTE-Proofs.log2023-08-02 22:01 379  
[   ]2023-0802-151316-VALSDELLCOMPUTE-Proofs.log2023-08-02 22:13 379  
[   ]2023-0802-152528-VALSDELLCOMPUTE-Proofs.log2023-08-02 22:25 379  
[   ]2023-0802-153740-VALSDELLCOMPUTE-Proofs.log2023-08-02 22:37 379  
[   ]2023-0802-154952-VALSDELLCOMPUTE-Proofs.log2023-08-02 22:49 379  
[   ]2023-0802-160207-VALSDELLCOMPUTE-Proofs.log2023-08-02 23:02 379  
[   ]2023-0802-161419-VALSDELLCOMPUTE-Proofs.log2023-08-02 23:14 379  
[   ]2023-0802-162631-VALSDELLCOMPUTE-Proofs.log2023-08-02 23:26 379  
[   ]2023-0802-163843-VALSDELLCOMPUTE-Proofs.log2023-08-02 23:38 379  
[   ]2023-0802-165055-VALSDELLCOMPUTE-Proofs.log2023-08-02 23:51 379  
[   ]2023-0802-170404-VALSDELLCOMPUTE-Proofs.log2023-08-03 00:04 379  
[   ]2023-0802-171616-VALSDELLCOMPUTE-Proofs.log2023-08-03 00:16 379  
[   ]2023-0802-172828-VALSDELLCOMPUTE-Proofs.log2023-08-03 00:28 379  
[   ]2023-0802-174040-VALSDELLCOMPUTE-Proofs.log2023-08-03 00:40 379  
[   ]2023-0802-175252-VALSDELLCOMPUTE-Proofs.log2023-08-03 00:52 379  
[   ]2023-0802-180504-VALSDELLCOMPUTE-Proofs.log2023-08-03 01:05 379  
[   ]2023-0802-181716-VALSDELLCOMPUTE-Proofs.log2023-08-03 01:17 379  
[   ]2023-0802-182928-VALSDELLCOMPUTE-Proofs.log2023-08-03 01:29 379  
[   ]2023-0802-184140-VALSDELLCOMPUTE-Proofs.log2023-08-03 01:41 379  
[   ]2023-0802-185352-VALSDELLCOMPUTE-Proofs.log2023-08-03 01:53 379  
[   ]2023-0802-190604-VALSDELLCOMPUTE-Proofs.log2023-08-03 02:06 379  
[   ]2023-0802-191743-VALSDELLCOMPUTE-Proofs.log2023-08-03 02:17 379  
[   ]2023-0802-192749-VALSDELLCOMPUTE-Proofs.log2023-08-03 02:27 379  
[   ]2023-0802-194001-VALSDELLCOMPUTE-Proofs.log2023-08-03 02:40 379  
[   ]2023-0802-195213-VALSDELLCOMPUTE-Proofs.log2023-08-03 02:52 379  
[   ]2023-0802-200425-VALSDELLCOMPUTE-Proofs.log2023-08-03 03:04 379  
[   ]2023-0802-201637-VALSDELLCOMPUTE-Proofs.log2023-08-03 03:16 379  
[   ]2023-0802-202849-VALSDELLCOMPUTE-Proofs.log2023-08-03 03:28 379  
[   ]2023-0802-204101-VALSDELLCOMPUTE-Proofs.log2023-08-03 03:41 379  
[   ]2023-0802-205313-VALSDELLCOMPUTE-Proofs.log2023-08-03 03:53 379  
[   ]2023-0802-210525-VALSDELLCOMPUTE-Proofs.log2023-08-03 04:05 379  
[   ]2023-0802-211737-VALSDELLCOMPUTE-Proofs.log2023-08-03 04:17 379  
[   ]2023-0802-212949-VALSDELLCOMPUTE-Proofs.log2023-08-03 04:29 379  
[   ]2023-0802-214201-VALSDELLCOMPUTE-Proofs.log2023-08-03 04:42 379  
[   ]2023-0802-215413-VALSDELLCOMPUTE-Proofs.log2023-08-03 04:54 379  
[   ]2023-0802-220625-VALSDELLCOMPUTE-Proofs.log2023-08-03 05:06 379  
[   ]2023-0802-221837-VALSDELLCOMPUTE-Proofs.log2023-08-03 05:18 379  
[   ]2023-0802-223049-VALSDELLCOMPUTE-Proofs.log2023-08-03 05:30 379  
[   ]2023-0802-224301-VALSDELLCOMPUTE-Proofs.log2023-08-03 05:43 379  
[   ]2023-0802-225513-VALSDELLCOMPUTE-Proofs.log2023-08-03 05:55 379  
[   ]2023-0802-230725-VALSDELLCOMPUTE-Proofs.log2023-08-03 06:07 379  
[   ]2023-0802-231937-VALSDELLCOMPUTE-Proofs.log2023-08-03 06:19 379  
[   ]2023-0802-233149-VALSDELLCOMPUTE-Proofs.log2023-08-03 06:31 379  
[   ]2023-0802-234404-VALSDELLCOMPUTE-Proofs.log2023-08-03 06:44 379  
[   ]2023-0802-235616-VALSDELLCOMPUTE-Proofs.log2023-08-03 06:56 379  
[   ]2023-0803-000828-VALSDELLCOMPUTE-Proofs.log2023-08-03 07:08 379  
[   ]2023-0803-002040-VALSDELLCOMPUTE-Proofs.log2023-08-03 07:20 379  
[   ]2023-0803-003352-VALSDELLCOMPUTE-Proofs.log2023-08-03 07:33 379  
[   ]2023-0803-004604-VALSDELLCOMPUTE-Proofs.log2023-08-03 07:46 379  
[   ]2023-0803-005755-VALSDELLCOMPUTE-Proofs.log2023-08-03 07:58 379  
[   ]2023-0803-011007-VALSDELLCOMPUTE-Proofs.log2023-08-03 08:10 379  
[   ]2023-0803-012219-VALSDELLCOMPUTE-Proofs.log2023-08-03 08:22 379  
[   ]2023-0803-013431-VALSDELLCOMPUTE-Proofs.log2023-08-03 08:34 379  
[   ]2023-0803-014643-VALSDELLCOMPUTE-Proofs.log2023-08-03 08:46 379  
[   ]2023-0803-015855-VALSDELLCOMPUTE-Proofs.log2023-08-03 08:59 379  
[   ]2023-0803-021107-VALSDELLCOMPUTE-Proofs.log2023-08-03 09:11 379  
[   ]2023-0803-022319-VALSDELLCOMPUTE-Proofs.log2023-08-03 09:23 379  
[   ]2023-0803-023531-VALSDELLCOMPUTE-Proofs.log2023-08-03 09:35 379  
[   ]2023-0803-024743-VALSDELLCOMPUTE-Proofs.log2023-08-03 09:47 379  
[   ]2023-0803-025958-VALSDELLCOMPUTE-Proofs.log2023-08-03 10:00 379  
[   ]2023-0803-031210-VALSDELLCOMPUTE-Proofs.log2023-08-03 10:12 379  
[   ]2023-0803-032422-VALSDELLCOMPUTE-Proofs.log2023-08-03 10:24 379  
[   ]2023-0803-033634-VALSDELLCOMPUTE-Proofs.log2023-08-03 10:36 379  
[   ]2023-0803-034846-VALSDELLCOMPUTE-Proofs.log2023-08-03 10:48 379  
[   ]2023-0803-040058-VALSDELLCOMPUTE-Proofs.log2023-08-03 11:01 379  
[   ]2023-0803-041225-VALSDELLCOMPUTE-Proofs.log2023-08-03 11:12 379  
[   ]2023-0803-042437-VALSDELLCOMPUTE-Proofs.log2023-08-03 11:24 379  
[   ]2023-0803-043649-VALSDELLCOMPUTE-Proofs.log2023-08-03 11:36 379  
[   ]2023-0803-044901-VALSDELLCOMPUTE-Proofs.log2023-08-03 11:49 379  
[   ]2023-0803-050113-VALSDELLCOMPUTE-Proofs.log2023-08-03 12:01 379  
[   ]2023-0803-051325-VALSDELLCOMPUTE-Proofs.log2023-08-03 12:13 379  
[   ]2023-0803-052537-VALSDELLCOMPUTE-Proofs.log2023-08-03 12:25 379  
[   ]2023-0803-053749-VALSDELLCOMPUTE-Proofs.log2023-08-03 12:37 379  
[   ]2023-0803-055001-VALSDELLCOMPUTE-Proofs.log2023-08-03 12:50 379  
[   ]2023-0803-060213-VALSDELLCOMPUTE-Proofs.log2023-08-03 13:02 379  
[   ]2023-0803-061425-VALSDELLCOMPUTE-Proofs.log2023-08-03 13:14 379  
[   ]2023-0803-062638-VALSDELLCOMPUTE-Proofs.log2023-08-03 13:26 379  
[   ]2023-0803-063850-VALSDELLCOMPUTE-Proofs.log2023-08-03 13:38 379  
[   ]2023-0803-065102-VALSDELLCOMPUTE-Proofs.log2023-08-03 13:51 379  
[   ]2023-0803-070314-VALSDELLCOMPUTE-Proofs.log2023-08-03 14:03 379  
[   ]2023-0803-071429-VALSDELLCOMPUTE-Proofs.log2023-08-03 14:14 379  
[   ]2023-0803-072611-VALSDELLCOMPUTE-Proofs.log2023-08-03 14:26 379  
[   ]2023-0803-073902-VALSDELLCOMPUTE-Proofs.log2023-08-03 14:39 379  
[   ]2023-0803-075114-VALSDELLCOMPUTE-Proofs.log2023-08-03 14:51 379  
[   ]2023-0803-080326-VALSDELLCOMPUTE-Proofs.log2023-08-03 15:03 379  
[   ]2023-0803-081538-VALSDELLCOMPUTE-Proofs.log2023-08-03 15:15 379  
[   ]2023-0803-082750-VALSDELLCOMPUTE-Proofs.log2023-08-03 15:27 379  
[   ]2023-0803-084002-VALSDELLCOMPUTE-Proofs.log2023-08-03 15:40 379  
[   ]2023-0803-085214-VALSDELLCOMPUTE-Proofs.log2023-08-03 15:52 379  
[   ]2023-0803-090426-VALSDELLCOMPUTE-Proofs.log2023-08-03 16:04 379  
[   ]2023-0803-091641-VALSDELLCOMPUTE-Proofs.log2023-08-03 16:16 379  
[   ]2023-0803-092856-VALSDELLCOMPUTE-Proofs.log2023-08-03 16:29 379  
[   ]2023-0803-094108-VALSDELLCOMPUTE-Proofs.log2023-08-03 16:41 379  
[   ]2023-0803-095320-VALSDELLCOMPUTE-Proofs.log2023-08-03 16:53 379  
[   ]2023-0803-100532-VALSDELLCOMPUTE-Proofs.log2023-08-03 17:05 379  
[   ]2023-0803-101745-VALSDELLCOMPUTE-Proofs.log2023-08-03 17:17 379  
[   ]2023-0803-102957-VALSDELLCOMPUTE-Proofs.log2023-08-03 17:30 379  
[   ]2023-0803-104209-VALSDELLCOMPUTE-Proofs.log2023-08-03 17:42 379  
[   ]2023-0803-105424-VALSDELLCOMPUTE-Proofs.log2023-08-03 17:54 379  
[   ]2023-0803-110636-VALSDELLCOMPUTE-Proofs.log2023-08-03 18:06 379  
[   ]2023-0803-111848-VALSDELLCOMPUTE-Proofs.log2023-08-03 18:18 379  
[   ]2023-0803-113100-VALSDELLCOMPUTE-Proofs.log2023-08-03 18:31 379  
[   ]2023-0803-114312-VALSDELLCOMPUTE-Proofs.log2023-08-03 18:43 379  
[   ]2023-0803-115524-VALSDELLCOMPUTE-Proofs.log2023-08-03 18:55 379  
[   ]2023-0803-120737-VALSDELLCOMPUTE-Proofs.log2023-08-03 19:07 379  
[   ]2023-0803-121949-VALSDELLCOMPUTE-Proofs.log2023-08-03 19:19 379  
[   ]2023-0803-123201-VALSDELLCOMPUTE-Proofs.log2023-08-03 19:32 379  
[   ]2023-0803-124413-VALSDELLCOMPUTE-Proofs.log2023-08-03 19:44 379  
[   ]2023-0803-125625-VALSDELLCOMPUTE-Proofs.log2023-08-03 19:56 379  
[   ]2023-0803-130837-VALSDELLCOMPUTE-Proofs.log2023-08-03 20:08 379  
[   ]2023-0803-132049-VALSDELLCOMPUTE-Proofs.log2023-08-03 20:20 379  
[   ]2023-0803-133301-VALSDELLCOMPUTE-Proofs.log2023-08-03 20:33 379  
[   ]2023-0803-134513-VALSDELLCOMPUTE-Proofs.log2023-08-03 20:45 379  
[   ]2023-0803-135725-VALSDELLCOMPUTE-Proofs.log2023-08-03 20:57 379  
[   ]2023-0803-140937-VALSDELLCOMPUTE-Proofs.log2023-08-03 21:09 379  
[   ]2023-0803-142149-VALSDELLCOMPUTE-Proofs.log2023-08-03 21:21 379  
[   ]2023-0803-143401-VALSDELLCOMPUTE-Proofs.log2023-08-03 21:34 379  
[   ]2023-0803-144422-VALSDELLCOMPUTE-Proofs.log2023-08-03 21:44 379  
[   ]2023-0803-145634-VALSDELLCOMPUTE-Proofs.log2023-08-03 21:56 379  
[   ]2023-0803-150846-VALSDELLCOMPUTE-Proofs.log2023-08-03 22:08 379  
[   ]2023-0803-152058-VALSDELLCOMPUTE-Proofs.log2023-08-03 22:21 379  
[   ]2023-0803-153310-VALSDELLCOMPUTE-Proofs.log2023-08-03 22:33 379  
[   ]2023-0803-154522-VALSDELLCOMPUTE-Proofs.log2023-08-03 22:45 379  
[   ]2023-0803-155734-VALSDELLCOMPUTE-Proofs.log2023-08-03 22:57 379  
[   ]2023-0803-160946-VALSDELLCOMPUTE-Proofs.log2023-08-03 23:09 379  
[   ]2023-0803-162158-VALSDELLCOMPUTE-Proofs.log2023-08-03 23:22 379  
[   ]2023-0803-163410-VALSDELLCOMPUTE-Proofs.log2023-08-03 23:34 379  
[   ]2023-0803-164622-VALSDELLCOMPUTE-Proofs.log2023-08-03 23:46 379  
[   ]2023-0803-165834-VALSDELLCOMPUTE-Proofs.log2023-08-03 23:58 379  
[   ]2023-0803-171046-VALSDELLCOMPUTE-Proofs.log2023-08-04 00:10 379  
[   ]2023-0803-172258-VALSDELLCOMPUTE-Proofs.log2023-08-04 00:23 379  
[   ]2023-0803-173510-VALSDELLCOMPUTE-Proofs.log2023-08-04 00:35 379  
[   ]2023-0803-174722-VALSDELLCOMPUTE-Proofs.log2023-08-04 00:47 379  
[   ]2023-0803-175934-VALSDELLCOMPUTE-Proofs.log2023-08-04 00:59 379  
[   ]2023-0803-181146-VALSDELLCOMPUTE-Proofs.log2023-08-04 01:11 379  
[   ]2023-0803-182246-VALSDELLCOMPUTE-Proofs.log2023-08-04 01:22 379  
[   ]2023-0803-183458-VALSDELLCOMPUTE-Proofs.log2023-08-04 01:35 379  
[   ]2023-0803-184710-VALSDELLCOMPUTE-Proofs.log2023-08-04 01:47 379  
[   ]2023-0803-185822-VALSDELLCOMPUTE-Proofs.log2023-08-04 01:58 379  
[   ]2023-0803-191022-VALSDELLCOMPUTE-Proofs.log2023-08-04 02:10 379  
[   ]2023-0803-192234-VALSDELLCOMPUTE-Proofs.log2023-08-04 02:22 378  
[   ]2023-0803-193449-VALSDELLCOMPUTE-Proofs.log2023-08-04 02:34 379  
[   ]2023-0803-194701-VALSDELLCOMPUTE-Proofs.log2023-08-04 02:47 379  
[   ]2023-0803-195913-VALSDELLCOMPUTE-Proofs.log2023-08-04 02:59 379  
[   ]2023-0803-201125-VALSDELLCOMPUTE-Proofs.log2023-08-04 03:11 379  
[   ]2023-0803-202337-VALSDELLCOMPUTE-Proofs.log2023-08-04 03:23 379  
[   ]2023-0803-203549-VALSDELLCOMPUTE-Proofs.log2023-08-04 03:35 379  
[   ]2023-0803-204801-VALSDELLCOMPUTE-Proofs.log2023-08-04 03:48 379  
[   ]2023-0803-210013-VALSDELLCOMPUTE-Proofs.log2023-08-04 04:00 379  
[   ]2023-0803-211225-VALSDELLCOMPUTE-Proofs.log2023-08-04 04:12 379  
[   ]2023-0803-212437-VALSDELLCOMPUTE-Proofs.log2023-08-04 04:24 379  
[   ]2023-0803-213649-VALSDELLCOMPUTE-Proofs.log2023-08-04 04:36 379  
[   ]2023-0803-214901-VALSDELLCOMPUTE-Proofs.log2023-08-04 04:49 379  
[   ]2023-0803-220019-VALSDELLCOMPUTE-Proofs.log2023-08-04 05:00 379  
[   ]2023-0803-221231-VALSDELLCOMPUTE-Proofs.log2023-08-04 05:12 379  
[   ]2023-0803-222443-VALSDELLCOMPUTE-Proofs.log2023-08-04 05:24 379  
[   ]2023-0803-223655-VALSDELLCOMPUTE-Proofs.log2023-08-04 05:37 379  
[   ]2023-0803-224907-VALSDELLCOMPUTE-Proofs.log2023-08-04 05:49 379  
[   ]2023-0803-230119-VALSDELLCOMPUTE-Proofs.log2023-08-04 06:01 379  
[   ]2023-0803-231333-VALSDELLCOMPUTE-Proofs.log2023-08-04 06:13 379  
[   ]2023-0803-232548-VALSDELLCOMPUTE-Proofs.log2023-08-04 06:25 379  
[   ]2023-0803-233801-VALSDELLCOMPUTE-Proofs.log2023-08-04 06:38 379  
[   ]2023-0803-235013-VALSDELLCOMPUTE-Proofs.log2023-08-04 06:50 379  
[   ]2023-0804-000228-VALSDELLCOMPUTE-Proofs.log2023-08-04 07:02 379  
[   ]2023-0804-001440-VALSDELLCOMPUTE-Proofs.log2023-08-04 07:14 379  
[   ]2023-0804-002652-VALSDELLCOMPUTE-Proofs.log2023-08-04 07:26 379  
[   ]2023-0804-003904-VALSDELLCOMPUTE-Proofs.log2023-08-04 07:39 379  
[   ]2023-0804-005116-VALSDELLCOMPUTE-Proofs.log2023-08-04 07:51 379  
[   ]2023-0804-010328-VALSDELLCOMPUTE-Proofs.log2023-08-04 08:03 379  
[   ]2023-0804-011540-VALSDELLCOMPUTE-Proofs.log2023-08-04 08:15 379  
[   ]2023-0804-012752-VALSDELLCOMPUTE-Proofs.log2023-08-04 08:27 379  
[   ]2023-0804-014004-VALSDELLCOMPUTE-Proofs.log2023-08-04 08:40 379  
[   ]2023-0804-015049-VALSDELLCOMPUTE-Proofs.log2023-08-04 08:50 379  
[   ]2023-0804-020301-VALSDELLCOMPUTE-Proofs.log2023-08-04 09:03 379  
[   ]2023-0804-021513-VALSDELLCOMPUTE-Proofs.log2023-08-04 09:15 379  
[   ]2023-0804-022725-VALSDELLCOMPUTE-Proofs.log2023-08-04 09:27 379  
[   ]2023-0804-023937-VALSDELLCOMPUTE-Proofs.log2023-08-04 09:39 379  
[   ]2023-0804-025149-VALSDELLCOMPUTE-Proofs.log2023-08-04 09:51 379  
[   ]2023-0804-030401-VALSDELLCOMPUTE-Proofs.log2023-08-04 10:04 379  
[   ]2023-0804-031613-VALSDELLCOMPUTE-Proofs.log2023-08-04 10:16 379  
[   ]2023-0804-032825-VALSDELLCOMPUTE-Proofs.log2023-08-04 10:28 379  
[   ]2023-0804-034037-VALSDELLCOMPUTE-Proofs.log2023-08-04 10:40 379  
[   ]2023-0804-035249-VALSDELLCOMPUTE-Proofs.log2023-08-04 10:52 379  
[   ]2023-0804-040501-VALSDELLCOMPUTE-Proofs.log2023-08-04 11:05 379  
[   ]2023-0804-041713-VALSDELLCOMPUTE-Proofs.log2023-08-04 11:17 379  
[   ]2023-0804-042925-VALSDELLCOMPUTE-Proofs.log2023-08-04 11:29 379  
[   ]2023-0804-044137-VALSDELLCOMPUTE-Proofs.log2023-08-04 11:41 379  
[   ]2023-0804-045349-VALSDELLCOMPUTE-Proofs.log2023-08-04 11:53 379  
[   ]2023-0804-050601-VALSDELLCOMPUTE-Proofs.log2023-08-04 12:06 379  
[   ]2023-0804-051840-VALSDELLCOMPUTE-Proofs.log2023-08-04 12:18 379  
[   ]2023-0804-053052-VALSDELLCOMPUTE-Proofs.log2023-08-04 12:30 379  
[   ]2023-0804-054304-VALSDELLCOMPUTE-Proofs.log2023-08-04 12:43 379  
[   ]2023-0804-055516-VALSDELLCOMPUTE-Proofs.log2023-08-04 12:55 379  
[   ]2023-0804-060801-VALSDELLCOMPUTE-Proofs.log2023-08-04 13:08 379  
[   ]2023-0804-062013-VALSDELLCOMPUTE-Proofs.log2023-08-04 13:20 379  
[   ]2023-0804-063101-VALSDELLCOMPUTE-Proofs.log2023-08-04 13:31 379  
[   ]2023-0804-064128-VALSDELLCOMPUTE-Proofs.log2023-08-04 13:41 379  
[   ]2023-0804-065340-VALSDELLCOMPUTE-Proofs.log2023-08-04 13:53 379  
[   ]2023-0804-070552-VALSDELLCOMPUTE-Proofs.log2023-08-04 14:05 379  
[   ]2023-0804-071804-VALSDELLCOMPUTE-Proofs.log2023-08-04 14:18 379  
[   ]2023-0804-073016-VALSDELLCOMPUTE-Proofs.log2023-08-04 14:30 379  
[   ]2023-0804-074228-VALSDELLCOMPUTE-Proofs.log2023-08-04 14:42 379  
[   ]2023-0804-075440-VALSDELLCOMPUTE-Proofs.log2023-08-04 14:54 379  
[   ]2023-0804-080652-VALSDELLCOMPUTE-Proofs.log2023-08-04 15:06 379  
[   ]2023-0804-081904-VALSDELLCOMPUTE-Proofs.log2023-08-04 15:19 379  
[   ]2023-0804-083116-VALSDELLCOMPUTE-Proofs.log2023-08-04 15:31 379  
[   ]2023-0804-084328-VALSDELLCOMPUTE-Proofs.log2023-08-04 15:43 379  
[   ]2023-0804-085604-VALSDELLCOMPUTE-Proofs.log2023-08-04 15:56 379  
[   ]2023-0804-090816-VALSDELLCOMPUTE-Proofs.log2023-08-04 16:08 379  
[   ]2023-0804-092031-VALSDELLCOMPUTE-Proofs.log2023-08-04 16:20 379  
[   ]2023-0804-093243-VALSDELLCOMPUTE-Proofs.log2023-08-04 16:32 379  
[   ]2023-0804-094455-VALSDELLCOMPUTE-Proofs.log2023-08-04 16:45 379  
[   ]2023-0804-095707-VALSDELLCOMPUTE-Proofs.log2023-08-04 16:57 379  
[   ]2023-0804-100919-VALSDELLCOMPUTE-Proofs.log2023-08-04 17:09 379  
[   ]2023-0804-102131-VALSDELLCOMPUTE-Proofs.log2023-08-04 17:21 379  
[   ]2023-0804-103346-VALSDELLCOMPUTE-Proofs.log2023-08-04 17:33 379  
[   ]2023-0804-104601-VALSDELLCOMPUTE-Proofs.log2023-08-04 17:46 379  
[   ]2023-0804-105816-VALSDELLCOMPUTE-Proofs.log2023-08-04 17:58 379  
[   ]2023-0804-111028-VALSDELLCOMPUTE-Proofs.log2023-08-04 18:10 379  
[   ]2023-0804-112240-VALSDELLCOMPUTE-Proofs.log2023-08-04 18:22 379  
[   ]2023-0804-113455-VALSDELLCOMPUTE-Proofs.log2023-08-04 18:35 379  
[   ]2023-0804-114707-VALSDELLCOMPUTE-Proofs.log2023-08-04 18:47 379  
[   ]2023-0804-115919-VALSDELLCOMPUTE-Proofs.log2023-08-04 18:59 379  
[   ]2023-0804-121131-VALSDELLCOMPUTE-Proofs.log2023-08-04 19:11 379  
[   ]2023-0804-122431-VALSDELLCOMPUTE-Proofs.log2023-08-04 19:24 379  
[   ]2023-0804-123643-VALSDELLCOMPUTE-Proofs.log2023-08-04 19:36 379  
[   ]2023-0804-124855-VALSDELLCOMPUTE-Proofs.log2023-08-04 19:49 379  
[   ]2023-0804-130107-VALSDELLCOMPUTE-Proofs.log2023-08-04 20:01 379  
[   ]2023-0804-131319-VALSDELLCOMPUTE-Proofs.log2023-08-04 20:13 379  
[   ]2023-0804-132531-VALSDELLCOMPUTE-Proofs.log2023-08-04 20:25 379  
[   ]2023-0804-133743-VALSDELLCOMPUTE-Proofs.log2023-08-04 20:37 379  
[   ]2023-0804-134955-VALSDELLCOMPUTE-Proofs.log2023-08-04 20:50 379  
[   ]2023-0804-140207-VALSDELLCOMPUTE-Proofs.log2023-08-04 21:02 379  
[   ]2023-0804-141422-VALSDELLCOMPUTE-Proofs.log2023-08-04 21:14 379  
[   ]2023-0804-142634-VALSDELLCOMPUTE-Proofs.log2023-08-04 21:26 379  
[   ]2023-0804-143846-VALSDELLCOMPUTE-Proofs.log2023-08-04 21:38 379  
[   ]2023-0804-145101-VALSDELLCOMPUTE-Proofs.log2023-08-04 21:51 379  
[   ]2023-0804-150313-VALSDELLCOMPUTE-Proofs.log2023-08-04 22:03 379  
[   ]2023-0804-151525-VALSDELLCOMPUTE-Proofs.log2023-08-04 22:15 379  
[   ]2023-0804-152737-VALSDELLCOMPUTE-Proofs.log2023-08-04 22:27 379  
[   ]2023-0804-153949-VALSDELLCOMPUTE-Proofs.log2023-08-04 22:39 379  
[   ]2023-0804-155352-VALSDELLCOMPUTE-Proofs.log2023-08-04 22:53 379  
[   ]2023-0804-160604-VALSDELLCOMPUTE-Proofs.log2023-08-04 23:06 379  
[   ]2023-0804-161816-VALSDELLCOMPUTE-Proofs.log2023-08-04 23:18 379  
[   ]2023-0804-163028-VALSDELLCOMPUTE-Proofs.log2023-08-04 23:30 379  
[   ]2023-0804-164240-VALSDELLCOMPUTE-Proofs.log2023-08-04 23:42 379  
[   ]2023-0804-165452-VALSDELLCOMPUTE-Proofs.log2023-08-04 23:54 379  
[   ]2023-0804-170704-VALSDELLCOMPUTE-Proofs.log2023-08-05 00:07 379  
[   ]2023-0804-171916-VALSDELLCOMPUTE-Proofs.log2023-08-05 00:19 379  
[   ]2023-0804-173128-VALSDELLCOMPUTE-Proofs.log2023-08-05 00:31 379  
[   ]2023-0804-174340-VALSDELLCOMPUTE-Proofs.log2023-08-05 00:43 379  
[   ]2023-0804-175552-VALSDELLCOMPUTE-Proofs.log2023-08-05 00:55 379  
[   ]2023-0804-175655-VALSDELLCOMPUTE-Proofs.log2023-08-05 01:04 1.8K 
[   ]2023-0804-180804-VALSDELLCOMPUTE-Proofs.log2023-08-05 01:08 379  
[   ]2023-0804-181910-VALSDELLCOMPUTE-Proofs.log2023-08-05 01:19 379  
[   ]2023-0804-183122-VALSDELLCOMPUTE-Proofs.log2023-08-05 01:31 379  
[   ]2023-0804-184334-VALSDELLCOMPUTE-Proofs.log2023-08-05 01:43 379  
[   ]2023-0804-185546-VALSDELLCOMPUTE-Proofs.log2023-08-05 01:55 379  
[   ]2023-0804-190758-VALSDELLCOMPUTE-Proofs.log2023-08-05 02:08 379  
[   ]2023-0804-192010-VALSDELLCOMPUTE-Proofs.log2023-08-05 02:20 379  
[   ]2023-0804-193128-VALSDELLCOMPUTE-Proofs.log2023-08-05 02:31 379  
[   ]2023-0804-194340-VALSDELLCOMPUTE-Proofs.log2023-08-05 02:43 379  
[   ]2023-0804-195552-VALSDELLCOMPUTE-Proofs.log2023-08-05 02:55 379  
[   ]2023-0804-200804-VALSDELLCOMPUTE-Proofs.log2023-08-05 03:08 379  
[   ]2023-0804-202016-VALSDELLCOMPUTE-Proofs.log2023-08-05 03:20 378  
[   ]2023-0804-203228-VALSDELLCOMPUTE-Proofs.log2023-08-05 03:32 379  
[   ]2023-0804-204440-VALSDELLCOMPUTE-Proofs.log2023-08-05 03:44 379  
[   ]2023-0804-205652-VALSDELLCOMPUTE-Proofs.log2023-08-05 03:56 379  
[   ]2023-0804-210904-VALSDELLCOMPUTE-Proofs.log2023-08-05 04:09 379  
[   ]2023-0804-212116-VALSDELLCOMPUTE-Proofs.log2023-08-05 04:21 379  
[   ]2023-0804-213328-VALSDELLCOMPUTE-Proofs.log2023-08-05 04:33 379  
[   ]2023-0804-214542-VALSDELLCOMPUTE-Proofs.log2023-08-05 04:45 379  
[   ]2023-0804-215756-VALSDELLCOMPUTE-Proofs.log2023-08-05 04:58 379  
[   ]2023-0804-221011-VALSDELLCOMPUTE-Proofs.log2023-08-05 05:10 379  
[   ]2023-0804-222223-VALSDELLCOMPUTE-Proofs.log2023-08-05 05:22 379  
[   ]2023-0804-223347-VALSDELLCOMPUTE-Proofs.log2023-08-05 05:33 379  
[   ]2023-0804-224559-VALSDELLCOMPUTE-Proofs.log2023-08-05 05:46 379  
[   ]2023-0804-225811-VALSDELLCOMPUTE-Proofs.log2023-08-05 05:58 379  
[   ]2023-0804-231023-VALSDELLCOMPUTE-Proofs.log2023-08-05 06:10 379  
[   ]2023-0804-232123-VALSDELLCOMPUTE-Proofs.log2023-08-05 06:21 379  
[   ]2023-0804-233335-VALSDELLCOMPUTE-Proofs.log2023-08-05 06:33 379  
[   ]2023-0804-234547-VALSDELLCOMPUTE-Proofs.log2023-08-05 06:45 379  
[   ]2023-0804-235759-VALSDELLCOMPUTE-Proofs.log2023-08-05 06:58 379  
[   ]2023-0805-001011-VALSDELLCOMPUTE-Proofs.log2023-08-05 07:10 379  
[   ]2023-0805-002223-VALSDELLCOMPUTE-Proofs.log2023-08-05 07:22 379  
[   ]2023-0805-003435-VALSDELLCOMPUTE-Proofs.log2023-08-05 07:34 379  
[   ]2023-0805-004647-VALSDELLCOMPUTE-Proofs.log2023-08-05 07:46 379  
[   ]2023-0805-005859-VALSDELLCOMPUTE-Proofs.log2023-08-05 07:59 379  
[   ]2023-0805-011111-VALSDELLCOMPUTE-Proofs.log2023-08-05 08:11 379  
[   ]2023-0805-012323-VALSDELLCOMPUTE-Proofs.log2023-08-05 08:23 379  
[   ]2023-0805-013535-VALSDELLCOMPUTE-Proofs.log2023-08-05 08:35 379  
[   ]2023-0805-014747-VALSDELLCOMPUTE-Proofs.log2023-08-05 08:47 379  
[   ]2023-0805-015959-VALSDELLCOMPUTE-Proofs.log2023-08-05 09:00 379  
[   ]2023-0805-021211-VALSDELLCOMPUTE-Proofs.log2023-08-05 09:12 379  
[   ]2023-0805-022423-VALSDELLCOMPUTE-Proofs.log2023-08-05 09:24 379  
[   ]2023-0805-023635-VALSDELLCOMPUTE-Proofs.log2023-08-05 09:36 379  
[   ]2023-0805-024847-VALSDELLCOMPUTE-Proofs.log2023-08-05 09:48 379  
[   ]2023-0805-030120-VALSDELLCOMPUTE-Proofs.log2023-08-05 10:01 379  
[   ]2023-0805-031332-VALSDELLCOMPUTE-Proofs.log2023-08-05 10:13 379  
[   ]2023-0805-032544-VALSDELLCOMPUTE-Proofs.log2023-08-05 10:25 379  
[   ]2023-0805-033756-VALSDELLCOMPUTE-Proofs.log2023-08-05 10:38 379  
[   ]2023-0805-035008-VALSDELLCOMPUTE-Proofs.log2023-08-05 10:50 379  
[   ]2023-0805-040220-VALSDELLCOMPUTE-Proofs.log2023-08-05 11:02 379  
[   ]2023-0805-041432-VALSDELLCOMPUTE-Proofs.log2023-08-05 11:14 379  
[   ]2023-0805-042644-VALSDELLCOMPUTE-Proofs.log2023-08-05 11:26 379  
[   ]2023-0805-043856-VALSDELLCOMPUTE-Proofs.log2023-08-05 11:39 379  
[   ]2023-0805-045108-VALSDELLCOMPUTE-Proofs.log2023-08-05 11:51 379  
[   ]2023-0805-050320-VALSDELLCOMPUTE-Proofs.log2023-08-05 12:03 379  
[   ]2023-0805-051532-VALSDELLCOMPUTE-Proofs.log2023-08-05 12:15 379  
[   ]2023-0805-052744-VALSDELLCOMPUTE-Proofs.log2023-08-05 12:27 379  
[   ]2023-0805-053956-VALSDELLCOMPUTE-Proofs.log2023-08-05 12:40 379  
[   ]2023-0805-055208-VALSDELLCOMPUTE-Proofs.log2023-08-05 12:52 379  
[   ]2023-0805-060420-VALSDELLCOMPUTE-Proofs.log2023-08-05 13:04 379  
[   ]2023-0805-061632-VALSDELLCOMPUTE-Proofs.log2023-08-05 13:16 379  
[   ]2023-0805-062902-VALSDELLCOMPUTE-Proofs.log2023-08-05 13:29 379  
[   ]2023-0805-064129-VALSDELLCOMPUTE-Proofs.log2023-08-05 13:41 379  
[   ]2023-0805-065341-VALSDELLCOMPUTE-Proofs.log2023-08-05 13:53 379  
[   ]2023-0805-070553-VALSDELLCOMPUTE-Proofs.log2023-08-05 14:05 379  
[   ]2023-0805-071805-VALSDELLCOMPUTE-Proofs.log2023-08-05 14:18 379  
[   ]2023-0805-073017-VALSDELLCOMPUTE-Proofs.log2023-08-05 14:30 379  
[   ]2023-0805-074229-VALSDELLCOMPUTE-Proofs.log2023-08-05 14:42 379  
[   ]2023-0805-075441-VALSDELLCOMPUTE-Proofs.log2023-08-05 14:54 379  
[   ]2023-0805-080653-VALSDELLCOMPUTE-Proofs.log2023-08-05 15:06 379  
[   ]2023-0805-081905-VALSDELLCOMPUTE-Proofs.log2023-08-05 15:19 379  
[   ]2023-0805-083117-VALSDELLCOMPUTE-Proofs.log2023-08-05 15:31 379  
[   ]2023-0805-084238-VALSDELLCOMPUTE-Proofs.log2023-08-05 15:42 379  
[   ]2023-0805-085450-VALSDELLCOMPUTE-Proofs.log2023-08-05 15:54 379  
[   ]2023-0805-090702-VALSDELLCOMPUTE-Proofs.log2023-08-05 16:07 379  
[   ]2023-0805-091914-VALSDELLCOMPUTE-Proofs.log2023-08-05 16:19 379  
[   ]2023-0805-093126-VALSDELLCOMPUTE-Proofs.log2023-08-05 16:31 379  
[   ]2023-0805-094338-VALSDELLCOMPUTE-Proofs.log2023-08-05 16:43 379  
[   ]2023-0805-095550-VALSDELLCOMPUTE-Proofs.log2023-08-05 16:55 379  
[   ]2023-0805-100747-VALSDELLCOMPUTE-Proofs.log2023-08-05 17:07 379  
[   ]2023-0805-102002-VALSDELLCOMPUTE-Proofs.log2023-08-05 17:20 379  
[   ]2023-0805-103215-VALSDELLCOMPUTE-Proofs.log2023-08-05 17:32 379  
[   ]2023-0805-104427-VALSDELLCOMPUTE-Proofs.log2023-08-05 17:44 379  
[   ]2023-0805-105639-VALSDELLCOMPUTE-Proofs.log2023-08-05 17:56 379  
[   ]2023-0805-110851-VALSDELLCOMPUTE-Proofs.log2023-08-05 18:08 379  
[   ]2023-0805-112103-VALSDELLCOMPUTE-Proofs.log2023-08-05 18:21 379  
[   ]2023-0805-113315-VALSDELLCOMPUTE-Proofs.log2023-08-05 18:33 379  
[   ]2023-0805-114530-VALSDELLCOMPUTE-Proofs.log2023-08-05 18:45 379  
[   ]2023-0805-115742-VALSDELLCOMPUTE-Proofs.log2023-08-05 18:57 379  
[   ]2023-0805-120954-VALSDELLCOMPUTE-Proofs.log2023-08-05 19:09 379  
[   ]2023-0805-122206-VALSDELLCOMPUTE-Proofs.log2023-08-05 19:22 379  
[   ]2023-0805-123418-VALSDELLCOMPUTE-Proofs.log2023-08-05 19:34 379  
[   ]2023-0805-124630-VALSDELLCOMPUTE-Proofs.log2023-08-05 19:46 379  
[   ]2023-0805-125842-VALSDELLCOMPUTE-Proofs.log2023-08-05 19:58 379  
[   ]2023-0805-131054-VALSDELLCOMPUTE-Proofs.log2023-08-05 20:10 379  
[   ]2023-0805-132306-VALSDELLCOMPUTE-Proofs.log2023-08-05 20:23 379  
[   ]2023-0805-133418-VALSDELLCOMPUTE-Proofs.log2023-08-05 20:34 379  
[   ]2023-0805-134630-VALSDELLCOMPUTE-Proofs.log2023-08-05 20:46 379  
[   ]2023-0805-135842-VALSDELLCOMPUTE-Proofs.log2023-08-05 20:58 379  
[   ]2023-0805-141057-VALSDELLCOMPUTE-Proofs.log2023-08-05 21:11 379  
[   ]2023-0805-142309-VALSDELLCOMPUTE-Proofs.log2023-08-05 21:23 379  
[   ]2023-0805-143521-VALSDELLCOMPUTE-Proofs.log2023-08-05 21:35 379  
[   ]2023-0805-144733-VALSDELLCOMPUTE-Proofs.log2023-08-05 21:47 379  
[   ]2023-0805-145945-VALSDELLCOMPUTE-Proofs.log2023-08-05 21:59 379  
[   ]2023-0805-151157-VALSDELLCOMPUTE-Proofs.log2023-08-05 22:12 379  
[   ]2023-0805-152409-VALSDELLCOMPUTE-Proofs.log2023-08-05 22:24 379  
[   ]2023-0805-153621-VALSDELLCOMPUTE-Proofs.log2023-08-05 22:36 379  
[   ]2023-0805-154833-VALSDELLCOMPUTE-Proofs.log2023-08-05 22:48 379  
[   ]2023-0805-160045-VALSDELLCOMPUTE-Proofs.log2023-08-05 23:00 379  
[   ]2023-0805-161257-VALSDELLCOMPUTE-Proofs.log2023-08-05 23:13 379  
[   ]2023-0805-162509-VALSDELLCOMPUTE-Proofs.log2023-08-05 23:25 379  
[   ]2023-0805-163724-VALSDELLCOMPUTE-Proofs.log2023-08-05 23:37 379  
[   ]2023-0805-164936-VALSDELLCOMPUTE-Proofs.log2023-08-05 23:49 379  
[   ]2023-0805-170148-VALSDELLCOMPUTE-Proofs.log2023-08-06 00:01 379  
[   ]2023-0805-171400-VALSDELLCOMPUTE-Proofs.log2023-08-06 00:14 379  
[   ]2023-0805-172612-VALSDELLCOMPUTE-Proofs.log2023-08-06 00:26 379  
[   ]2023-0805-173826-VALSDELLCOMPUTE-Proofs.log2023-08-06 00:38 379  
[   ]2023-0805-175041-VALSDELLCOMPUTE-Proofs.log2023-08-06 00:50 379  
[   ]2023-0805-180253-VALSDELLCOMPUTE-Proofs.log2023-08-06 01:02 379  
[   ]2023-0805-181505-VALSDELLCOMPUTE-Proofs.log2023-08-06 01:15 379  
[   ]2023-0805-182717-VALSDELLCOMPUTE-Proofs.log2023-08-06 01:27 379  
[   ]2023-0805-183929-VALSDELLCOMPUTE-Proofs.log2023-08-06 01:39 379  
[   ]2023-0805-185059-VALSDELLCOMPUTE-Proofs.log2023-08-06 01:51 379  
[   ]2023-0805-190311-VALSDELLCOMPUTE-Proofs.log2023-08-06 02:03 379  
[   ]2023-0805-191523-VALSDELLCOMPUTE-Proofs.log2023-08-06 02:15 379  
[   ]2023-0805-192735-VALSDELLCOMPUTE-Proofs.log2023-08-06 02:27 379  
[   ]2023-0805-193947-VALSDELLCOMPUTE-Proofs.log2023-08-06 02:39 379  
[   ]2023-0805-195159-VALSDELLCOMPUTE-Proofs.log2023-08-06 02:52 379  
[   ]2023-0805-200411-VALSDELLCOMPUTE-Proofs.log2023-08-06 03:04 379  
[   ]2023-0805-201623-VALSDELLCOMPUTE-Proofs.log2023-08-06 03:16 379  
[   ]2023-0805-202835-VALSDELLCOMPUTE-Proofs.log2023-08-06 03:28 379  
[   ]2023-0805-204047-VALSDELLCOMPUTE-Proofs.log2023-08-06 03:40 379  
[   ]2023-0805-205250-VALSDELLCOMPUTE-Proofs.log2023-08-06 03:52 379  
[   ]2023-0805-210502-VALSDELLCOMPUTE-Proofs.log2023-08-06 04:05 379  
[   ]2023-0805-211714-VALSDELLCOMPUTE-Proofs.log2023-08-06 04:17 379  
[   ]2023-0805-212926-VALSDELLCOMPUTE-Proofs.log2023-08-06 04:29 379  
[   ]2023-0805-214138-VALSDELLCOMPUTE-Proofs.log2023-08-06 04:41 379  
[   ]2023-0805-215208-VALSDELLCOMPUTE-Proofs.log2023-08-06 04:52 379  
[   ]2023-0805-220420-VALSDELLCOMPUTE-Proofs.log2023-08-06 05:04 379  
[   ]2023-0805-221632-VALSDELLCOMPUTE-Proofs.log2023-08-06 05:16 379  
[   ]2023-0805-222844-VALSDELLCOMPUTE-Proofs.log2023-08-06 05:28 379  
[   ]2023-0805-224056-VALSDELLCOMPUTE-Proofs.log2023-08-06 05:41 379  
[   ]2023-0805-225308-VALSDELLCOMPUTE-Proofs.log2023-08-06 05:53 379  
[   ]2023-0805-230520-VALSDELLCOMPUTE-Proofs.log2023-08-06 06:05 379  
[   ]2023-0805-231659-VALSDELLCOMPUTE-Proofs.log2023-08-06 06:17 379  
[   ]2023-0805-232911-VALSDELLCOMPUTE-Proofs.log2023-08-06 06:29 379  
[   ]2023-0805-234123-VALSDELLCOMPUTE-Proofs.log2023-08-06 06:41 379  
[   ]2023-0805-235335-VALSDELLCOMPUTE-Proofs.log2023-08-06 06:53 379  
[   ]2023-0806-000547-VALSDELLCOMPUTE-Proofs.log2023-08-06 07:05 379  
[   ]2023-0806-001759-VALSDELLCOMPUTE-Proofs.log2023-08-06 07:18 379  
[   ]2023-0806-003011-VALSDELLCOMPUTE-Proofs.log2023-08-06 07:30 379  
[   ]2023-0806-004220-VALSDELLCOMPUTE-Proofs.log2023-08-06 07:42 379  
[   ]2023-0806-005338-VALSDELLCOMPUTE-Proofs.log2023-08-06 07:53 379  
[   ]2023-0806-010550-VALSDELLCOMPUTE-Proofs.log2023-08-06 08:05 379  
[   ]2023-0806-011802-VALSDELLCOMPUTE-Proofs.log2023-08-06 08:18 379  
[   ]2023-0806-013014-VALSDELLCOMPUTE-Proofs.log2023-08-06 08:30 379  
[   ]2023-0806-014226-VALSDELLCOMPUTE-Proofs.log2023-08-06 08:42 379  
[   ]2023-0806-015438-VALSDELLCOMPUTE-Proofs.log2023-08-06 08:54 379  
[   ]2023-0806-020650-VALSDELLCOMPUTE-Proofs.log2023-08-06 09:06 379  
[   ]2023-0806-021905-VALSDELLCOMPUTE-Proofs.log2023-08-06 09:19 379  
[   ]2023-0806-023117-VALSDELLCOMPUTE-Proofs.log2023-08-06 09:31 379  
[   ]2023-0806-024329-VALSDELLCOMPUTE-Proofs.log2023-08-06 09:43 379  
[   ]2023-0806-025541-VALSDELLCOMPUTE-Proofs.log2023-08-06 09:55 379  
[   ]2023-0806-030753-VALSDELLCOMPUTE-Proofs.log2023-08-06 10:07 379  
[   ]2023-0806-032005-VALSDELLCOMPUTE-Proofs.log2023-08-06 10:20 379  
[   ]2023-0806-033217-VALSDELLCOMPUTE-Proofs.log2023-08-06 10:32 379  
[   ]2023-0806-034429-VALSDELLCOMPUTE-Proofs.log2023-08-06 10:44 379  
[   ]2023-0806-035641-VALSDELLCOMPUTE-Proofs.log2023-08-06 10:56 379  
[   ]2023-0806-040856-VALSDELLCOMPUTE-Proofs.log2023-08-06 11:09 379  
[   ]2023-0806-042156-VALSDELLCOMPUTE-Proofs.log2023-08-06 11:22 379  
[   ]2023-0806-043411-VALSDELLCOMPUTE-Proofs.log2023-08-06 11:34 379  
[   ]2023-0806-044623-VALSDELLCOMPUTE-Proofs.log2023-08-06 11:46 379  
[   ]2023-0806-045835-VALSDELLCOMPUTE-Proofs.log2023-08-06 11:58 379  
[   ]2023-0806-051138-VALSDELLCOMPUTE-Proofs.log2023-08-06 12:11 379  
[   ]2023-0806-052350-VALSDELLCOMPUTE-Proofs.log2023-08-06 12:23 379  
[   ]2023-0806-053602-VALSDELLCOMPUTE-Proofs.log2023-08-06 12:36 379  
[   ]2023-0806-054814-VALSDELLCOMPUTE-Proofs.log2023-08-06 12:48 379  
[   ]2023-0806-060026-VALSDELLCOMPUTE-Proofs.log2023-08-06 13:00 379  
[   ]2023-0806-061238-VALSDELLCOMPUTE-Proofs.log2023-08-06 13:12 379  
[   ]2023-0806-062450-VALSDELLCOMPUTE-Proofs.log2023-08-06 13:24 379  
[   ]2023-0806-063702-VALSDELLCOMPUTE-Proofs.log2023-08-06 13:37 379  
[   ]2023-0806-065215-VALSDELLCOMPUTE-Proofs.log2023-08-06 13:52 379  
[   ]2023-0806-070427-VALSDELLCOMPUTE-Proofs.log2023-08-06 14:04 379  
[   ]2023-0806-071639-VALSDELLCOMPUTE-Proofs.log2023-08-06 14:16 379  
[   ]2023-0806-072851-VALSDELLCOMPUTE-Proofs.log2023-08-06 14:28 379  
[   ]2023-0806-074103-VALSDELLCOMPUTE-Proofs.log2023-08-06 14:41 379  
[   ]2023-0806-075315-VALSDELLCOMPUTE-Proofs.log2023-08-06 14:53 379  
[   ]2023-0806-080527-VALSDELLCOMPUTE-Proofs.log2023-08-06 15:05 379  
[   ]2023-0806-081739-VALSDELLCOMPUTE-Proofs.log2023-08-06 15:17 379  
[   ]2023-0806-082951-VALSDELLCOMPUTE-Proofs.log2023-08-06 15:29 379  
[   ]2023-0806-084203-VALSDELLCOMPUTE-Proofs.log2023-08-06 15:42 379  
[   ]2023-0806-085415-VALSDELLCOMPUTE-Proofs.log2023-08-06 15:54 379  
[   ]2023-0806-090627-VALSDELLCOMPUTE-Proofs.log2023-08-06 16:06 379  
[   ]2023-0806-091839-VALSDELLCOMPUTE-Proofs.log2023-08-06 16:18 379  
[   ]2023-0806-093051-VALSDELLCOMPUTE-Proofs.log2023-08-06 16:30 379  
[   ]2023-0806-094303-VALSDELLCOMPUTE-Proofs.log2023-08-06 16:43 379  
[   ]2023-0806-095515-VALSDELLCOMPUTE-Proofs.log2023-08-06 16:55 379  
[   ]2023-0806-100727-VALSDELLCOMPUTE-Proofs.log2023-08-06 17:07 379  
[   ]2023-0806-101939-VALSDELLCOMPUTE-Proofs.log2023-08-06 17:19 379  
[   ]2023-0806-103151-VALSDELLCOMPUTE-Proofs.log2023-08-06 17:31 379  
[   ]2023-0806-104403-VALSDELLCOMPUTE-Proofs.log2023-08-06 17:44 379  
[   ]2023-0806-105615-VALSDELLCOMPUTE-Proofs.log2023-08-06 17:56 379  
[   ]2023-0806-110827-VALSDELLCOMPUTE-Proofs.log2023-08-06 18:08 379  
[   ]2023-0806-111954-VALSDELLCOMPUTE-Proofs.log2023-08-06 18:19 379  
[   ]2023-0806-112957-VALSDELLCOMPUTE-Proofs.log2023-08-06 18:30 379  
[   ]2023-0806-114209-VALSDELLCOMPUTE-Proofs.log2023-08-06 18:42 379  
[   ]2023-0806-115421-VALSDELLCOMPUTE-Proofs.log2023-08-06 18:54 379  
[   ]2023-0806-120633-VALSDELLCOMPUTE-Proofs.log2023-08-06 19:06 379  
[   ]2023-0806-121845-VALSDELLCOMPUTE-Proofs.log2023-08-06 19:18 379  
[   ]2023-0806-123057-VALSDELLCOMPUTE-Proofs.log2023-08-06 19:31 379  
[   ]2023-0806-124309-VALSDELLCOMPUTE-Proofs.log2023-08-06 19:43 379  
[   ]2023-0806-125521-VALSDELLCOMPUTE-Proofs.log2023-08-06 19:55 379  
[   ]2023-0806-130733-VALSDELLCOMPUTE-Proofs.log2023-08-06 20:07 379  
[   ]2023-0806-131945-VALSDELLCOMPUTE-Proofs.log2023-08-06 20:19 379  
[   ]2023-0806-133157-VALSDELLCOMPUTE-Proofs.log2023-08-06 20:32 379  
[   ]2023-0806-134409-VALSDELLCOMPUTE-Proofs.log2023-08-06 20:44 379  
[   ]2023-0806-135621-VALSDELLCOMPUTE-Proofs.log2023-08-06 20:56 379  
[   ]2023-0806-140833-VALSDELLCOMPUTE-Proofs.log2023-08-06 21:08 379  
[   ]2023-0806-142045-VALSDELLCOMPUTE-Proofs.log2023-08-06 21:20 379  
[   ]2023-0806-143257-VALSDELLCOMPUTE-Proofs.log2023-08-06 21:33 379  
[   ]2023-0806-144509-VALSDELLCOMPUTE-Proofs.log2023-08-06 21:45 379  
[   ]2023-0806-145721-VALSDELLCOMPUTE-Proofs.log2023-08-06 21:57 379  
[   ]2023-0806-150951-VALSDELLCOMPUTE-Proofs.log2023-08-06 22:09 379  
[   ]2023-0806-152203-VALSDELLCOMPUTE-Proofs.log2023-08-06 22:22 379  
[   ]2023-0806-153415-VALSDELLCOMPUTE-Proofs.log2023-08-06 22:34 379  
[   ]2023-0806-154627-VALSDELLCOMPUTE-Proofs.log2023-08-06 22:46 379  
[   ]2023-0806-155839-VALSDELLCOMPUTE-Proofs.log2023-08-06 22:58 379  
[   ]2023-0806-161051-VALSDELLCOMPUTE-Proofs.log2023-08-06 23:10 379  
[   ]2023-0806-162454-VALSDELLCOMPUTE-Proofs.log2023-08-06 23:25 379  
[   ]2023-0806-163706-VALSDELLCOMPUTE-Proofs.log2023-08-06 23:37 379  
[   ]2023-0806-164918-VALSDELLCOMPUTE-Proofs.log2023-08-06 23:49 379  
[   ]2023-0806-170130-VALSDELLCOMPUTE-Proofs.log2023-08-07 00:01 379  
[   ]2023-0806-171345-VALSDELLCOMPUTE-Proofs.log2023-08-07 00:13 379  
[   ]2023-0806-172557-VALSDELLCOMPUTE-Proofs.log2023-08-07 00:26 379  
[   ]2023-0806-173809-VALSDELLCOMPUTE-Proofs.log2023-08-07 00:38 379  
[   ]2023-0806-175021-VALSDELLCOMPUTE-Proofs.log2023-08-07 00:50 379  
[   ]2023-0806-180233-VALSDELLCOMPUTE-Proofs.log2023-08-07 01:02 379  
[   ]2023-0806-181445-VALSDELLCOMPUTE-Proofs.log2023-08-07 01:14 379  
[   ]2023-0806-182657-VALSDELLCOMPUTE-Proofs.log2023-08-07 01:27 379  
[   ]2023-0806-183912-VALSDELLCOMPUTE-Proofs.log2023-08-07 01:39 379  
[   ]2023-0806-185124-VALSDELLCOMPUTE-Proofs.log2023-08-07 01:51 379  
[   ]2023-0806-190157-VALSDELLCOMPUTE-Proofs.log2023-08-07 02:02 379  
[   ]2023-0806-191409-VALSDELLCOMPUTE-Proofs.log2023-08-07 02:14 379  
[   ]2023-0806-192621-VALSDELLCOMPUTE-Proofs.log2023-08-07 02:26 379  
[   ]2023-0806-193833-VALSDELLCOMPUTE-Proofs.log2023-08-07 02:38 379  
[   ]2023-0806-195047-VALSDELLCOMPUTE-Proofs.log2023-08-07 02:50 379  
[   ]2023-0806-200301-VALSDELLCOMPUTE-Proofs.log2023-08-07 03:03 379  
[   ]2023-0806-201513-VALSDELLCOMPUTE-Proofs.log2023-08-07 03:15 379  
[   ]2023-0806-202725-VALSDELLCOMPUTE-Proofs.log2023-08-07 03:27 379  
[   ]2023-0806-203937-VALSDELLCOMPUTE-Proofs.log2023-08-07 03:39 379  
[   ]2023-0806-205149-VALSDELLCOMPUTE-Proofs.log2023-08-07 03:51 379  
[   ]2023-0806-210401-VALSDELLCOMPUTE-Proofs.log2023-08-07 04:04 379  
[   ]2023-0806-211613-VALSDELLCOMPUTE-Proofs.log2023-08-07 04:16 379  
[   ]2023-0806-212825-VALSDELLCOMPUTE-Proofs.log2023-08-07 04:28 379  
[   ]2023-0806-214037-VALSDELLCOMPUTE-Proofs.log2023-08-07 04:40 379  
[   ]2023-0806-215249-VALSDELLCOMPUTE-Proofs.log2023-08-07 04:52 379  
[   ]2023-0806-220501-VALSDELLCOMPUTE-Proofs.log2023-08-07 05:05 379  
[   ]2023-0806-221713-VALSDELLCOMPUTE-Proofs.log2023-08-07 05:17 379  
[   ]2023-0806-222926-VALSDELLCOMPUTE-Proofs.log2023-08-07 05:29 379  
[   ]2023-0806-224038-VALSDELLCOMPUTE-Proofs.log2023-08-07 05:40 379  
[   ]2023-0806-225341-VALSDELLCOMPUTE-Proofs.log2023-08-07 05:53 379  
[   ]2023-0806-230553-VALSDELLCOMPUTE-Proofs.log2023-08-07 06:05 379  
[   ]2023-0806-231805-VALSDELLCOMPUTE-Proofs.log2023-08-07 06:18 379  
[   ]2023-0806-233932-VALSDELLCOMPUTE-Proofs.log2023-08-07 06:39 379  
[   ]2023-0806-235144-VALSDELLCOMPUTE-Proofs.log2023-08-07 06:51 379  
[   ]2023-0807-000356-VALSDELLCOMPUTE-Proofs.log2023-08-07 07:04 379  
[   ]2023-0807-001608-VALSDELLCOMPUTE-Proofs.log2023-08-07 07:16 379  
[   ]2023-0807-002820-VALSDELLCOMPUTE-Proofs.log2023-08-07 07:28 379  
[   ]2023-0807-004032-VALSDELLCOMPUTE-Proofs.log2023-08-07 07:40 379  
[   ]2023-0807-005244-VALSDELLCOMPUTE-Proofs.log2023-08-07 07:52 379  
[   ]2023-0807-010456-VALSDELLCOMPUTE-Proofs.log2023-08-07 08:05 379  
[   ]2023-0807-011708-VALSDELLCOMPUTE-Proofs.log2023-08-07 08:17 379  
[   ]2023-0807-012920-VALSDELLCOMPUTE-Proofs.log2023-08-07 08:29 379  
[   ]2023-0807-014132-VALSDELLCOMPUTE-Proofs.log2023-08-07 08:41 379  
[   ]2023-0807-015344-VALSDELLCOMPUTE-Proofs.log2023-08-07 08:53 379  
[   ]2023-0807-020556-VALSDELLCOMPUTE-Proofs.log2023-08-07 09:06 379  
[   ]2023-0807-021808-VALSDELLCOMPUTE-Proofs.log2023-08-07 09:18 379  
[   ]2023-0807-023020-VALSDELLCOMPUTE-Proofs.log2023-08-07 09:30 379  
[   ]2023-0807-024323-VALSDELLCOMPUTE-Proofs.log2023-08-07 09:43 379  
[   ]2023-0807-025535-VALSDELLCOMPUTE-Proofs.log2023-08-07 09:55 379  
[   ]2023-0807-031959-VALSDELLCOMPUTE-Proofs.log2023-08-07 10:20 379  
[   ]2023-0807-033211-VALSDELLCOMPUTE-Proofs.log2023-08-07 10:32 379  
[   ]2023-0807-034423-VALSDELLCOMPUTE-Proofs.log2023-08-07 10:44 379  
[   ]2023-0807-035635-VALSDELLCOMPUTE-Proofs.log2023-08-07 10:56 379  
[   ]2023-0807-040847-VALSDELLCOMPUTE-Proofs.log2023-08-07 11:08 379  
[   ]2023-0807-042059-VALSDELLCOMPUTE-Proofs.log2023-08-07 11:21 379  
[   ]2023-0807-043311-VALSDELLCOMPUTE-Proofs.log2023-08-07 11:33 379  
[   ]2023-0807-044523-VALSDELLCOMPUTE-Proofs.log2023-08-07 11:45 379  
[   ]2023-0807-045735-VALSDELLCOMPUTE-Proofs.log2023-08-07 11:57 379  
[   ]2023-0807-050947-VALSDELLCOMPUTE-Proofs.log2023-08-07 12:09 379  
[   ]2023-0807-052159-VALSDELLCOMPUTE-Proofs.log2023-08-07 12:22 379  
[   ]2023-0807-053411-VALSDELLCOMPUTE-Proofs.log2023-08-07 12:34 379  
[   ]2023-0807-054623-VALSDELLCOMPUTE-Proofs.log2023-08-07 12:46 379  
[   ]2023-0807-055944-VALSDELLCOMPUTE-Proofs.log2023-08-07 12:59 379  
[   ]2023-0807-061156-VALSDELLCOMPUTE-Proofs.log2023-08-07 13:12 379  
[   ]2023-0807-062408-VALSDELLCOMPUTE-Proofs.log2023-08-07 13:24 379  
[   ]2023-0807-063620-VALSDELLCOMPUTE-Proofs.log2023-08-07 13:36 379  
[   ]2023-0807-064832-VALSDELLCOMPUTE-Proofs.log2023-08-07 13:48 379  
[   ]2023-0807-070046-VALSDELLCOMPUTE-Proofs.log2023-08-07 14:00 379  
[   ]2023-0807-071259-VALSDELLCOMPUTE-Proofs.log2023-08-07 14:13 379  
[   ]2023-0807-072511-VALSDELLCOMPUTE-Proofs.log2023-08-07 14:25 379  
[   ]2023-0807-073723-VALSDELLCOMPUTE-Proofs.log2023-08-07 14:37 379  
[   ]2023-0807-074935-VALSDELLCOMPUTE-Proofs.log2023-08-07 14:49 379  
[   ]2023-0807-080147-VALSDELLCOMPUTE-Proofs.log2023-08-07 15:01 379  
[   ]2023-0807-081359-VALSDELLCOMPUTE-Proofs.log2023-08-07 15:14 379  
[   ]2023-0807-082611-VALSDELLCOMPUTE-Proofs.log2023-08-07 15:26 379  
[   ]2023-0807-083823-VALSDELLCOMPUTE-Proofs.log2023-08-07 15:38 379  
[   ]2023-0807-085035-VALSDELLCOMPUTE-Proofs.log2023-08-07 15:50 379  
[   ]2023-0807-090247-VALSDELLCOMPUTE-Proofs.log2023-08-07 16:02 379  
[   ]2023-0807-091502-VALSDELLCOMPUTE-Proofs.log2023-08-07 16:15 379  
[   ]2023-0807-092617-VALSDELLCOMPUTE-Proofs.log2023-08-07 16:26 378  
[   ]2023-0807-093911-VALSDELLCOMPUTE-Proofs.log2023-08-07 16:39 379  
[   ]2023-0807-095123-VALSDELLCOMPUTE-Proofs.log2023-08-07 16:51 379  
[   ]2023-0807-100217-VALSDELLCOMPUTE-Proofs.log2023-08-07 17:02 379  
[   ]2023-0807-101429-VALSDELLCOMPUTE-Proofs.log2023-08-07 17:14 379  
[   ]2023-0807-102641-VALSDELLCOMPUTE-Proofs.log2023-08-07 17:26 379  
[   ]2023-0807-103853-VALSDELLCOMPUTE-Proofs.log2023-08-07 17:38 379  
[   ]2023-0807-105105-VALSDELLCOMPUTE-Proofs.log2023-08-07 17:51 379  
[   ]2023-0807-110317-VALSDELLCOMPUTE-Proofs.log2023-08-07 18:03 379  
[   ]2023-0807-111531-VALSDELLCOMPUTE-Proofs.log2023-08-07 18:15 379  
[   ]2023-0807-112743-VALSDELLCOMPUTE-Proofs.log2023-08-07 18:27 379  
[   ]2023-0807-113955-VALSDELLCOMPUTE-Proofs.log2023-08-07 18:39 379  
[   ]2023-0807-115207-VALSDELLCOMPUTE-Proofs.log2023-08-07 18:52 379  
[   ]2023-0807-120419-VALSDELLCOMPUTE-Proofs.log2023-08-07 19:04 379  
[   ]2023-0807-121631-VALSDELLCOMPUTE-Proofs.log2023-08-07 19:16 379  
[   ]2023-0807-122846-VALSDELLCOMPUTE-Proofs.log2023-08-07 19:28 379  
[   ]2023-0807-124058-VALSDELLCOMPUTE-Proofs.log2023-08-07 19:41 379  
[   ]2023-0807-125310-VALSDELLCOMPUTE-Proofs.log2023-08-07 19:53 379  
[   ]2023-0807-130522-VALSDELLCOMPUTE-Proofs.log2023-08-07 20:05 379  
[   ]2023-0807-131734-VALSDELLCOMPUTE-Proofs.log2023-08-07 20:17 379  
[   ]2023-0807-132946-VALSDELLCOMPUTE-Proofs.log2023-08-07 20:29 379  
[   ]2023-0807-134158-VALSDELLCOMPUTE-Proofs.log2023-08-07 20:42 379  
[   ]2023-0807-135410-VALSDELLCOMPUTE-Proofs.log2023-08-07 20:54 379  
[   ]2023-0807-140622-VALSDELLCOMPUTE-Proofs.log2023-08-07 21:06 379  
[   ]2023-0807-141837-VALSDELLCOMPUTE-Proofs.log2023-08-07 21:18 379  
[   ]2023-0807-143049-VALSDELLCOMPUTE-Proofs.log2023-08-07 21:30 379  
[   ]2023-0807-144237-VALSDELLCOMPUTE-Proofs.log2023-08-07 21:42 379  
[   ]2023-0807-145449-VALSDELLCOMPUTE-Proofs.log2023-08-07 21:54 379  
[   ]2023-0807-150701-VALSDELLCOMPUTE-Proofs.log2023-08-07 22:07 379  
[   ]2023-0807-151913-VALSDELLCOMPUTE-Proofs.log2023-08-07 22:19 379  
[   ]2023-0807-153125-VALSDELLCOMPUTE-Proofs.log2023-08-07 22:31 379  
[   ]2023-0807-154340-VALSDELLCOMPUTE-Proofs.log2023-08-07 22:43 379  
[   ]2023-0807-155552-VALSDELLCOMPUTE-Proofs.log2023-08-07 22:55 379  
[   ]2023-0807-160804-VALSDELLCOMPUTE-Proofs.log2023-08-07 23:08 379  
[   ]2023-0807-162016-VALSDELLCOMPUTE-Proofs.log2023-08-07 23:20 379  
[   ]2023-0807-163228-VALSDELLCOMPUTE-Proofs.log2023-08-07 23:32 379  
[   ]2023-0807-164440-VALSDELLCOMPUTE-Proofs.log2023-08-07 23:44 379  
[   ]2023-0807-165652-VALSDELLCOMPUTE-Proofs.log2023-08-07 23:56 379  
[   ]2023-0807-170904-VALSDELLCOMPUTE-Proofs.log2023-08-08 00:09 379  
[   ]2023-0807-172116-VALSDELLCOMPUTE-Proofs.log2023-08-08 00:21 379  
[   ]2023-0807-173328-VALSDELLCOMPUTE-Proofs.log2023-08-08 00:33 379  
[   ]2023-0807-174540-VALSDELLCOMPUTE-Proofs.log2023-08-08 00:45 379  
[   ]2023-0807-175752-VALSDELLCOMPUTE-Proofs.log2023-08-08 00:57 379  
[   ]2023-0807-181004-VALSDELLCOMPUTE-Proofs.log2023-08-08 01:10 379  
[   ]2023-0807-182216-VALSDELLCOMPUTE-Proofs.log2023-08-08 01:22 379  
[   ]2023-0807-183428-VALSDELLCOMPUTE-Proofs.log2023-08-08 01:34 379  
[   ]2023-0807-184640-VALSDELLCOMPUTE-Proofs.log2023-08-08 01:46 379  
[   ]2023-0807-185852-VALSDELLCOMPUTE-Proofs.log2023-08-08 01:58 379  
[   ]2023-0807-191104-VALSDELLCOMPUTE-Proofs.log2023-08-08 02:11 379  
[   ]2023-0807-192316-VALSDELLCOMPUTE-Proofs.log2023-08-08 02:23 379  
[   ]2023-0807-193528-VALSDELLCOMPUTE-Proofs.log2023-08-08 02:35 379  
[   ]2023-0807-194740-VALSDELLCOMPUTE-Proofs.log2023-08-08 02:47 379  
[   ]2023-0807-195952-VALSDELLCOMPUTE-Proofs.log2023-08-08 02:59 379  
[   ]2023-0807-201210-VALSDELLCOMPUTE-Proofs.log2023-08-08 03:12 379  
[   ]2023-0807-202422-VALSDELLCOMPUTE-Proofs.log2023-08-08 03:24 379  
[   ]2023-0807-203735-VALSDELLCOMPUTE-Proofs.log2023-08-08 03:37 379  
[   ]2023-0807-204947-VALSDELLCOMPUTE-Proofs.log2023-08-08 03:49 379  
[   ]2023-0807-210159-VALSDELLCOMPUTE-Proofs.log2023-08-08 04:02 379  
[   ]2023-0807-211411-VALSDELLCOMPUTE-Proofs.log2023-08-08 04:14 379  
[   ]2023-0807-212623-VALSDELLCOMPUTE-Proofs.log2023-08-08 04:26 379  
[   ]2023-0807-213835-VALSDELLCOMPUTE-Proofs.log2023-08-08 04:38 379  
[   ]2023-0807-215047-VALSDELLCOMPUTE-Proofs.log2023-08-08 04:50 379  
[   ]2023-0807-220302-VALSDELLCOMPUTE-Proofs.log2023-08-08 05:03 379  
[   ]2023-0807-221514-VALSDELLCOMPUTE-Proofs.log2023-08-08 05:15 379  
[   ]2023-0807-222726-VALSDELLCOMPUTE-Proofs.log2023-08-08 05:27 379  
[   ]2023-0807-223938-VALSDELLCOMPUTE-Proofs.log2023-08-08 05:39 379  
[   ]2023-0807-225150-VALSDELLCOMPUTE-Proofs.log2023-08-08 05:51 379  
[   ]2023-0807-230402-VALSDELLCOMPUTE-Proofs.log2023-08-08 06:04 379  
[   ]2023-0807-231614-VALSDELLCOMPUTE-Proofs.log2023-08-08 06:16 379  
[   ]2023-0807-232826-VALSDELLCOMPUTE-Proofs.log2023-08-08 06:28 379  
[   ]2023-0807-234038-VALSDELLCOMPUTE-Proofs.log2023-08-08 06:40 379  
[   ]2023-0807-235250-VALSDELLCOMPUTE-Proofs.log2023-08-08 06:52 379  
[   ]2023-0808-000502-VALSDELLCOMPUTE-Proofs.log2023-08-08 07:05 379  
[   ]2023-0808-001647-VALSDELLCOMPUTE-Proofs.log2023-08-08 07:16 379  
[   ]2023-0808-002753-VALSDELLCOMPUTE-Proofs.log2023-08-08 07:27 379  
[   ]2023-0808-004008-VALSDELLCOMPUTE-Proofs.log2023-08-08 07:40 379  
[   ]2023-0808-005220-VALSDELLCOMPUTE-Proofs.log2023-08-08 07:52 379  
[   ]2023-0808-010432-VALSDELLCOMPUTE-Proofs.log2023-08-08 08:04 379  
[   ]2023-0808-011644-VALSDELLCOMPUTE-Proofs.log2023-08-08 08:16 379  
[   ]2023-0808-012856-VALSDELLCOMPUTE-Proofs.log2023-08-08 08:29 379  
[   ]2023-0808-014108-VALSDELLCOMPUTE-Proofs.log2023-08-08 08:41 379  
[   ]2023-0808-015320-VALSDELLCOMPUTE-Proofs.log2023-08-08 08:53 379  
[   ]2023-0808-020532-VALSDELLCOMPUTE-Proofs.log2023-08-08 09:05 379  
[   ]2023-0808-021744-VALSDELLCOMPUTE-Proofs.log2023-08-08 09:17 379  
[   ]2023-0808-022956-VALSDELLCOMPUTE-Proofs.log2023-08-08 09:30 379  
[   ]2023-0808-024208-VALSDELLCOMPUTE-Proofs.log2023-08-08 09:42 379  
[   ]2023-0808-025420-VALSDELLCOMPUTE-Proofs.log2023-08-08 09:54 379  
[   ]2023-0808-030632-VALSDELLCOMPUTE-Proofs.log2023-08-08 10:06 379  
[   ]2023-0808-031844-VALSDELLCOMPUTE-Proofs.log2023-08-08 10:18 379  
[   ]2023-0808-033056-VALSDELLCOMPUTE-Proofs.log2023-08-08 10:31 379  
[   ]2023-0808-034308-VALSDELLCOMPUTE-Proofs.log2023-08-08 10:43 379  
[   ]2023-0808-035432-VALSDELLCOMPUTE-Proofs.log2023-08-08 10:55 378  
[   ]2023-0808-040429-VALSDELLCOMPUTE-Proofs.log2023-08-08 11:04 379  
[   ]2023-0808-041641-VALSDELLCOMPUTE-Proofs.log2023-08-08 11:16 379  
[   ]2023-0808-042853-VALSDELLCOMPUTE-Proofs.log2023-08-08 11:28 379  
[   ]2023-0808-044105-VALSDELLCOMPUTE-Proofs.log2023-08-08 11:41 379  
[   ]2023-0808-045317-VALSDELLCOMPUTE-Proofs.log2023-08-08 11:53 379  
[   ]2023-0808-050529-VALSDELLCOMPUTE-Proofs.log2023-08-08 12:05 379  
[   ]2023-0808-051741-VALSDELLCOMPUTE-Proofs.log2023-08-08 12:17 379  
[   ]2023-0808-052953-VALSDELLCOMPUTE-Proofs.log2023-08-08 12:29 379  
[   ]2023-0808-054205-VALSDELLCOMPUTE-Proofs.log2023-08-08 12:42 379  
[   ]2023-0808-055417-VALSDELLCOMPUTE-Proofs.log2023-08-08 12:54 379  
[   ]2023-0808-060629-VALSDELLCOMPUTE-Proofs.log2023-08-08 13:06 379  
[   ]2023-0808-061841-VALSDELLCOMPUTE-Proofs.log2023-08-08 13:18 379  
[   ]2023-0808-063053-VALSDELLCOMPUTE-Proofs.log2023-08-08 13:30 379  
[   ]2023-0808-064305-VALSDELLCOMPUTE-Proofs.log2023-08-08 13:43 379  
[   ]2023-0808-065517-VALSDELLCOMPUTE-Proofs.log2023-08-08 13:55 379  
[   ]2023-0808-070729-VALSDELLCOMPUTE-Proofs.log2023-08-08 14:07 379  
[   ]2023-0808-071941-VALSDELLCOMPUTE-Proofs.log2023-08-08 14:19 379  
[   ]2023-0808-073117-VALSDELLCOMPUTE-Proofs.log2023-08-08 14:31 379  
[   ]2023-0808-074329-VALSDELLCOMPUTE-Proofs.log2023-08-08 14:43 379  
[   ]2023-0808-075541-VALSDELLCOMPUTE-Proofs.log2023-08-08 14:55 379  
[   ]2023-0808-080753-VALSDELLCOMPUTE-Proofs.log2023-08-08 15:07 379  
[   ]2023-0808-082005-VALSDELLCOMPUTE-Proofs.log2023-08-08 15:20 379  
[   ]2023-0808-083217-VALSDELLCOMPUTE-Proofs.log2023-08-08 15:32 379  
[   ]2023-0808-084429-VALSDELLCOMPUTE-Proofs.log2023-08-08 15:44 379  
[   ]2023-0808-085641-VALSDELLCOMPUTE-Proofs.log2023-08-08 15:56 379  
[   ]2023-0808-090853-VALSDELLCOMPUTE-Proofs.log2023-08-08 16:08 379  
[   ]2023-0808-092105-VALSDELLCOMPUTE-Proofs.log2023-08-08 16:21 379  
[   ]2023-0808-093317-VALSDELLCOMPUTE-Proofs.log2023-08-08 16:33 379  
[   ]2023-0808-094529-VALSDELLCOMPUTE-Proofs.log2023-08-08 16:45 379  
[   ]2023-0808-095436-VALSDELLCOMPUTE-Proofs.log2023-08-08 16:54 379  
[   ]2023-0808-100648-VALSDELLCOMPUTE-Proofs.log2023-08-08 17:06 379  
[   ]2023-0808-101900-VALSDELLCOMPUTE-Proofs.log2023-08-08 17:19 379  
[   ]2023-0808-103112-VALSDELLCOMPUTE-Proofs.log2023-08-08 17:31 379  
[   ]2023-0808-104324-VALSDELLCOMPUTE-Proofs.log2023-08-08 17:43 379  
[   ]2023-0808-105536-VALSDELLCOMPUTE-Proofs.log2023-08-08 17:55 379  
[   ]2023-0808-110609-VALSDELLCOMPUTE-Proofs.log2023-08-08 18:06 379  
[   ]2023-0808-111821-VALSDELLCOMPUTE-Proofs.log2023-08-08 18:18 379  
[   ]2023-0808-113033-VALSDELLCOMPUTE-Proofs.log2023-08-08 18:30 379  
[   ]2023-0808-114245-VALSDELLCOMPUTE-Proofs.log2023-08-08 18:42 379  
[   ]2023-0808-115457-VALSDELLCOMPUTE-Proofs.log2023-08-08 18:55 379  
[   ]2023-0808-120709-VALSDELLCOMPUTE-Proofs.log2023-08-08 19:07 379  
[   ]2023-0808-121921-VALSDELLCOMPUTE-Proofs.log2023-08-08 19:19 379  
[   ]2023-0808-123133-VALSDELLCOMPUTE-Proofs.log2023-08-08 19:31 379  
[   ]2023-0808-124245-VALSDELLCOMPUTE-Proofs.log2023-08-08 19:42 379  
[   ]2023-0808-125506-VALSDELLCOMPUTE-Proofs.log2023-08-08 19:55 379  
[   ]2023-0808-130718-VALSDELLCOMPUTE-Proofs.log2023-08-08 20:07 379  
[   ]2023-0808-131930-VALSDELLCOMPUTE-Proofs.log2023-08-08 20:19 379  
[   ]2023-0808-133141-VALSDELLCOMPUTE-Proofs.log2023-08-08 20:31 379  
[   ]2023-0808-134350-VALSDELLCOMPUTE-Proofs.log2023-08-08 20:43 379  
[   ]2023-0808-135559-VALSDELLCOMPUTE-Proofs.log2023-08-08 20:56 379  
[   ]2023-0808-140809-VALSDELLCOMPUTE-Proofs.log2023-08-08 21:08 379  
[   ]2023-0808-142018-VALSDELLCOMPUTE-Proofs.log2023-08-08 21:20 379  
[   ]2023-0808-143227-VALSDELLCOMPUTE-Proofs.log2023-08-08 21:32 379  
[   ]2023-0808-144603-VALSDELLCOMPUTE-Proofs.log2023-08-08 21:46 379  
[   ]2023-0808-145813-VALSDELLCOMPUTE-Proofs.log2023-08-08 21:58 379  
[   ]2023-0808-151022-VALSDELLCOMPUTE-Proofs.log2023-08-08 22:10 379  
[   ]2023-0808-152234-VALSDELLCOMPUTE-Proofs.log2023-08-08 22:22 379  
[   ]2023-0808-153449-VALSDELLCOMPUTE-Proofs.log2023-08-08 22:34 379  
[   ]2023-0808-154701-VALSDELLCOMPUTE-Proofs.log2023-08-08 22:47 379  
[   ]2023-0808-155916-VALSDELLCOMPUTE-Proofs.log2023-08-08 22:59 379  
[   ]2023-0808-161128-VALSDELLCOMPUTE-Proofs.log2023-08-08 23:11 379  
[   ]2023-0808-162340-VALSDELLCOMPUTE-Proofs.log2023-08-08 23:23 379  
[   ]2023-0808-163552-VALSDELLCOMPUTE-Proofs.log2023-08-08 23:35 379  
[   ]2023-0808-164804-VALSDELLCOMPUTE-Proofs.log2023-08-08 23:48 379  
[   ]2023-0808-170017-VALSDELLCOMPUTE-Proofs.log2023-08-09 00:00 379  
[   ]2023-0808-171229-VALSDELLCOMPUTE-Proofs.log2023-08-09 00:12 379  
[   ]2023-0808-172441-VALSDELLCOMPUTE-Proofs.log2023-08-09 00:24 379  
[   ]2023-0808-173832-VALSDELLCOMPUTE-Proofs.log2023-08-09 00:38 379  
[   ]2023-0808-175044-VALSDELLCOMPUTE-Proofs.log2023-08-09 00:50 379  
[   ]2023-0808-180256-VALSDELLCOMPUTE-Proofs.log2023-08-09 01:03 379  
[   ]2023-0808-181508-VALSDELLCOMPUTE-Proofs.log2023-08-09 01:15 379  
[   ]2023-0808-182535-VALSDELLCOMPUTE-Proofs.log2023-08-09 01:25 379  
[   ]2023-0808-183750-VALSDELLCOMPUTE-Proofs.log2023-08-09 01:37 379  
[   ]2023-0808-185002-VALSDELLCOMPUTE-Proofs.log2023-08-09 01:50 379  
[   ]2023-0808-190214-VALSDELLCOMPUTE-Proofs.log2023-08-09 02:02 379  
[   ]2023-0808-191426-VALSDELLCOMPUTE-Proofs.log2023-08-09 02:14 379  
[   ]2023-0808-192502-VALSDELLCOMPUTE-Proofs.log2023-08-09 02:25 379  
[   ]2023-0808-193714-VALSDELLCOMPUTE-Proofs.log2023-08-09 02:37 379  
[   ]2023-0808-194926-VALSDELLCOMPUTE-Proofs.log2023-08-09 02:49 379  
[   ]2023-0808-200138-VALSDELLCOMPUTE-Proofs.log2023-08-09 03:01 379  
[   ]2023-0808-201353-VALSDELLCOMPUTE-Proofs.log2023-08-09 03:13 379  
[   ]2023-0808-202605-VALSDELLCOMPUTE-Proofs.log2023-08-09 03:26 379  
[   ]2023-0808-203817-VALSDELLCOMPUTE-Proofs.log2023-08-09 03:38 379  
[   ]2023-0808-205029-VALSDELLCOMPUTE-Proofs.log2023-08-09 03:50 379  
[   ]2023-0808-210241-VALSDELLCOMPUTE-Proofs.log2023-08-09 04:02 379  
[   ]2023-0808-211453-VALSDELLCOMPUTE-Proofs.log2023-08-09 04:14 379  
[   ]2023-0808-212705-VALSDELLCOMPUTE-Proofs.log2023-08-09 04:27 379  
[   ]2023-0808-213917-VALSDELLCOMPUTE-Proofs.log2023-08-09 04:39 379  
[   ]2023-0808-215129-VALSDELLCOMPUTE-Proofs.log2023-08-09 04:51 379  
[   ]2023-0808-220305-VALSDELLCOMPUTE-Proofs.log2023-08-09 05:03 379  
[   ]2023-0808-221517-VALSDELLCOMPUTE-Proofs.log2023-08-09 05:15 379  
[   ]2023-0808-222729-VALSDELLCOMPUTE-Proofs.log2023-08-09 05:27 379  
[   ]2023-0808-223941-VALSDELLCOMPUTE-Proofs.log2023-08-09 05:39 379  
[   ]_file_state_v4._gs2023-08-05 01:00 2.5K 
[   ]_insync_v4.gsl2023-08-09 05:39 118  
[   ]_recycled_db._gs2023-08-05 01:00 685  
[DIR]_saved_/2023-08-05 01:00 -