Index of /hawaii/proofs/185/_gsdata_

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]2023-1003-103611-VALSDELLCOMPUTE-Proofs.log2023-10-03 17:36 379  
[   ]_insync_v4.gsl2023-10-03 17:36 118  
[   ]2023-0915-221022-VALSDELLCOMPUTE-Proofs.log2023-09-16 05:10 379  
[   ]2023-0915-215810-VALSDELLCOMPUTE-Proofs.log2023-09-16 04:58 379  
[   ]2023-0915-214558-VALSDELLCOMPUTE-Proofs.log2023-09-16 04:46 379  
[   ]2023-0915-213346-VALSDELLCOMPUTE-Proofs.log2023-09-16 04:33 379  
[   ]2023-0915-212134-VALSDELLCOMPUTE-Proofs.log2023-09-16 04:21 379  
[   ]2023-0915-210922-VALSDELLCOMPUTE-Proofs.log2023-09-16 04:09 379  
[   ]2023-0915-205710-VALSDELLCOMPUTE-Proofs.log2023-09-16 03:57 379  
[   ]2023-0915-204458-VALSDELLCOMPUTE-Proofs.log2023-09-16 03:45 379  
[   ]2023-0915-203355-VALSDELLCOMPUTE-Proofs.log2023-09-16 03:33 379  
[   ]2023-0915-202143-VALSDELLCOMPUTE-Proofs.log2023-09-16 03:21 379  
[   ]2023-0915-200931-VALSDELLCOMPUTE-Proofs.log2023-09-16 03:09 379  
[   ]2023-0915-195719-VALSDELLCOMPUTE-Proofs.log2023-09-16 02:57 379  
[   ]2023-0915-194507-VALSDELLCOMPUTE-Proofs.log2023-09-16 02:45 379  
[   ]2023-0915-193255-VALSDELLCOMPUTE-Proofs.log2023-09-16 02:33 379  
[   ]2023-0915-192043-VALSDELLCOMPUTE-Proofs.log2023-09-16 02:20 379  
[   ]2023-0915-190831-VALSDELLCOMPUTE-Proofs.log2023-09-16 02:08 379  
[   ]2023-0915-185619-VALSDELLCOMPUTE-Proofs.log2023-09-16 01:56 379  
[   ]2023-0915-184407-VALSDELLCOMPUTE-Proofs.log2023-09-16 01:44 379  
[   ]2023-0915-183155-VALSDELLCOMPUTE-Proofs.log2023-09-16 01:31 379  
[   ]2023-0915-181943-VALSDELLCOMPUTE-Proofs.log2023-09-16 01:19 379  
[   ]2023-0915-180731-VALSDELLCOMPUTE-Proofs.log2023-09-16 01:07 379  
[   ]2023-0915-175519-VALSDELLCOMPUTE-Proofs.log2023-09-16 00:55 379  
[   ]2023-0915-174307-VALSDELLCOMPUTE-Proofs.log2023-09-16 00:43 379  
[   ]2023-0915-173055-VALSDELLCOMPUTE-Proofs.log2023-09-16 00:30 379  
[   ]2023-0915-171843-VALSDELLCOMPUTE-Proofs.log2023-09-16 00:18 379  
[   ]2023-0915-170646-VALSDELLCOMPUTE-Proofs.log2023-09-16 00:06 379  
[   ]2023-0915-165434-VALSDELLCOMPUTE-Proofs.log2023-09-15 23:54 379  
[   ]2023-0915-164222-VALSDELLCOMPUTE-Proofs.log2023-09-15 23:42 379  
[   ]2023-0915-163010-VALSDELLCOMPUTE-Proofs.log2023-09-15 23:30 379  
[   ]2023-0915-161758-VALSDELLCOMPUTE-Proofs.log2023-09-15 23:18 379  
[   ]2023-0915-160546-VALSDELLCOMPUTE-Proofs.log2023-09-15 23:05 379  
[   ]2023-0915-155334-VALSDELLCOMPUTE-Proofs.log2023-09-15 22:53 379  
[   ]2023-0915-154122-VALSDELLCOMPUTE-Proofs.log2023-09-15 22:41 379  
[   ]2023-0915-152910-VALSDELLCOMPUTE-Proofs.log2023-09-15 22:29 379  
[   ]2023-0915-151658-VALSDELLCOMPUTE-Proofs.log2023-09-15 22:17 379  
[   ]2023-0915-150446-VALSDELLCOMPUTE-Proofs.log2023-09-15 22:04 379  
[   ]2023-0915-145234-VALSDELLCOMPUTE-Proofs.log2023-09-15 21:52 379  
[   ]2023-0915-144022-VALSDELLCOMPUTE-Proofs.log2023-09-15 21:40 379  
[   ]2023-0915-142810-VALSDELLCOMPUTE-Proofs.log2023-09-15 21:28 379  
[   ]2023-0915-141558-VALSDELLCOMPUTE-Proofs.log2023-09-15 21:16 379  
[   ]2023-0915-140343-VALSDELLCOMPUTE-Proofs.log2023-09-15 21:03 379  
[   ]2023-0915-135131-VALSDELLCOMPUTE-Proofs.log2023-09-15 20:51 379  
[   ]2023-0915-133919-VALSDELLCOMPUTE-Proofs.log2023-09-15 20:39 379  
[   ]2023-0915-132543-VALSDELLCOMPUTE-Proofs.log2023-09-15 20:25 379  
[   ]2023-0915-131331-VALSDELLCOMPUTE-Proofs.log2023-09-15 20:13 379  
[   ]2023-0915-130119-VALSDELLCOMPUTE-Proofs.log2023-09-15 20:01 379  
[   ]2023-0915-124907-VALSDELLCOMPUTE-Proofs.log2023-09-15 19:49 379  
[   ]2023-0915-123655-VALSDELLCOMPUTE-Proofs.log2023-09-15 19:40 1.0K 
[   ]2023-0915-122725-VALSDELLCOMPUTE-Proofs.log2023-09-15 19:27 489  
[   ]2023-0915-121513-VALSDELLCOMPUTE-Proofs.log2023-09-15 19:15 379  
[   ]2023-0915-120301-VALSDELLCOMPUTE-Proofs.log2023-09-15 19:03 379  
[   ]2023-0915-115049-VALSDELLCOMPUTE-Proofs.log2023-09-15 18:50 379  
[   ]2023-0915-113834-VALSDELLCOMPUTE-Proofs.log2023-09-15 18:38 379  
[   ]2023-0915-112622-VALSDELLCOMPUTE-Proofs.log2023-09-15 18:26 379  
[   ]2023-0915-111410-VALSDELLCOMPUTE-Proofs.log2023-09-15 18:14 379  
[   ]2023-0915-110158-VALSDELLCOMPUTE-Proofs.log2023-09-15 18:04 378  
[   ]2023-0915-105034-VALSDELLCOMPUTE-Proofs.log2023-09-15 17:50 379  
[   ]2023-0915-103822-VALSDELLCOMPUTE-Proofs.log2023-09-15 17:38 379  
[   ]2023-0915-102613-VALSDELLCOMPUTE-Proofs.log2023-09-15 17:26 379  
[   ]2023-0915-101349-VALSDELLCOMPUTE-Proofs.log2023-09-15 17:13 379  
[   ]2023-0915-100231-VALSDELLCOMPUTE-Proofs.log2023-09-15 17:02 379  
[   ]2023-0915-095022-VALSDELLCOMPUTE-Proofs.log2023-09-15 16:50 379  
[   ]2023-0915-093810-VALSDELLCOMPUTE-Proofs.log2023-09-15 16:38 378  
[   ]2023-0915-092558-VALSDELLCOMPUTE-Proofs.log2023-09-15 16:26 379  
[   ]2023-0915-091349-VALSDELLCOMPUTE-Proofs.log2023-09-15 16:13 379  
[   ]2023-0915-090140-VALSDELLCOMPUTE-Proofs.log2023-09-15 16:01 379  
[   ]2023-0915-084931-VALSDELLCOMPUTE-Proofs.log2023-09-15 15:49 379  
[   ]2023-0915-083722-VALSDELLCOMPUTE-Proofs.log2023-09-15 15:37 379  
[   ]2023-0915-082513-VALSDELLCOMPUTE-Proofs.log2023-09-15 15:25 379  
[   ]2023-0915-081301-VALSDELLCOMPUTE-Proofs.log2023-09-15 15:13 379  
[   ]2023-0915-080052-VALSDELLCOMPUTE-Proofs.log2023-09-15 15:00 379  
[   ]2023-0915-074843-VALSDELLCOMPUTE-Proofs.log2023-09-15 14:48 379  
[   ]2023-0915-073634-VALSDELLCOMPUTE-Proofs.log2023-09-15 14:36 379  
[   ]2023-0915-072425-VALSDELLCOMPUTE-Proofs.log2023-09-15 14:24 379  
[   ]2023-0915-071216-VALSDELLCOMPUTE-Proofs.log2023-09-15 14:12 379  
[   ]2023-0915-070004-VALSDELLCOMPUTE-Proofs.log2023-09-15 14:00 379  
[   ]2023-0915-064749-VALSDELLCOMPUTE-Proofs.log2023-09-15 13:47 379  
[   ]2023-0915-063540-VALSDELLCOMPUTE-Proofs.log2023-09-15 13:35 379  
[   ]2023-0915-062328-VALSDELLCOMPUTE-Proofs.log2023-09-15 13:23 379  
[   ]2023-0915-061119-VALSDELLCOMPUTE-Proofs.log2023-09-15 13:11 379  
[   ]2023-0915-055907-VALSDELLCOMPUTE-Proofs.log2023-09-15 12:59 379  
[   ]2023-0915-054701-VALSDELLCOMPUTE-Proofs.log2023-09-15 12:47 379  
[   ]2023-0915-053619-VALSDELLCOMPUTE-Proofs.log2023-09-15 12:36 379  
[   ]2023-0915-052316-VALSDELLCOMPUTE-Proofs.log2023-09-15 12:25 812  
[   ]2023-0915-043449-VALSDELLCOMPUTE-Proofs.log2023-09-15 11:38 1.2K 
[   ]2023-0915-040731-VALSDELLCOMPUTE-Proofs.log2023-09-15 11:12 1.4K 
[   ]2023-0915-034355-VALSDELLCOMPUTE-Proofs.log2023-09-15 10:44 379  
[   ]2023-0915-033146-VALSDELLCOMPUTE-Proofs.log2023-09-15 10:31 379  
[   ]2023-0915-031937-VALSDELLCOMPUTE-Proofs.log2023-09-15 10:19 379  
[   ]2023-0915-030728-VALSDELLCOMPUTE-Proofs.log2023-09-15 10:07 379  
[   ]2023-0915-025516-VALSDELLCOMPUTE-Proofs.log2023-09-15 09:55 379  
[   ]2023-0915-024307-VALSDELLCOMPUTE-Proofs.log2023-09-15 09:43 379  
[   ]2023-0915-023058-VALSDELLCOMPUTE-Proofs.log2023-09-15 09:31 379  
[   ]2023-0915-021846-VALSDELLCOMPUTE-Proofs.log2023-09-15 09:18 379  
[   ]2023-0915-013016-VALSDELLCOMPUTE-Proofs.log2023-09-15 08:30 379  
[   ]2023-0915-011807-VALSDELLCOMPUTE-Proofs.log2023-09-15 08:18 379  
[   ]2023-0915-010558-VALSDELLCOMPUTE-Proofs.log2023-09-15 08:06 379  
[   ]2023-0915-005349-VALSDELLCOMPUTE-Proofs.log2023-09-15 07:53 379  
[   ]2023-0915-004225-VALSDELLCOMPUTE-Proofs.log2023-09-15 07:42 379  
[   ]2023-0915-003016-VALSDELLCOMPUTE-Proofs.log2023-09-15 07:30 379  
[   ]2023-0915-001807-VALSDELLCOMPUTE-Proofs.log2023-09-15 07:18 379  
[   ]2023-0915-000558-VALSDELLCOMPUTE-Proofs.log2023-09-15 07:06 379  
[   ]2023-0914-235349-VALSDELLCOMPUTE-Proofs.log2023-09-15 06:53 379  
[   ]2023-0914-234140-VALSDELLCOMPUTE-Proofs.log2023-09-15 06:41 379  
[   ]2023-0914-232931-VALSDELLCOMPUTE-Proofs.log2023-09-15 06:29 379  
[   ]2023-0914-231722-VALSDELLCOMPUTE-Proofs.log2023-09-15 06:17 379  
[   ]2023-0914-230513-VALSDELLCOMPUTE-Proofs.log2023-09-15 06:05 379  
[   ]2023-0914-225301-VALSDELLCOMPUTE-Proofs.log2023-09-15 05:53 379  
[   ]2023-0914-224052-VALSDELLCOMPUTE-Proofs.log2023-09-15 05:43 1.0K 
[   ]2023-0914-222843-VALSDELLCOMPUTE-Proofs.log2023-09-15 05:29 600  
[   ]2023-0914-221631-VALSDELLCOMPUTE-Proofs.log2023-09-15 05:16 379  
[   ]2023-0914-220422-VALSDELLCOMPUTE-Proofs.log2023-09-15 05:04 379  
[   ]2023-0914-215213-VALSDELLCOMPUTE-Proofs.log2023-09-15 04:52 379  
[   ]2023-0914-214004-VALSDELLCOMPUTE-Proofs.log2023-09-15 04:40 379  
[   ]2023-0914-212752-VALSDELLCOMPUTE-Proofs.log2023-09-15 04:27 379  
[   ]2023-0914-211543-VALSDELLCOMPUTE-Proofs.log2023-09-15 04:15 379  
[   ]2023-0914-210334-VALSDELLCOMPUTE-Proofs.log2023-09-15 04:03 379  
[   ]2023-0914-205125-VALSDELLCOMPUTE-Proofs.log2023-09-15 03:51 379  
[   ]2023-0914-203916-VALSDELLCOMPUTE-Proofs.log2023-09-15 03:39 379  
[   ]2023-0914-202707-VALSDELLCOMPUTE-Proofs.log2023-09-15 03:27 379  
[   ]2023-0914-201458-VALSDELLCOMPUTE-Proofs.log2023-09-15 03:15 379  
[   ]2023-0914-200249-VALSDELLCOMPUTE-Proofs.log2023-09-15 03:02 379  
[   ]2023-0914-195040-VALSDELLCOMPUTE-Proofs.log2023-09-15 02:50 379  
[   ]2023-0914-193828-VALSDELLCOMPUTE-Proofs.log2023-09-15 02:38 379  
[   ]2023-0914-192619-VALSDELLCOMPUTE-Proofs.log2023-09-15 02:26 379  
[   ]2023-0914-191410-VALSDELLCOMPUTE-Proofs.log2023-09-15 02:14 379  
[   ]2023-0914-190201-VALSDELLCOMPUTE-Proofs.log2023-09-15 02:02 379  
[   ]2023-0914-185134-VALSDELLCOMPUTE-Proofs.log2023-09-15 01:51 379  
[   ]2023-0914-183925-VALSDELLCOMPUTE-Proofs.log2023-09-15 01:39 379  
[   ]2023-0914-182922-VALSDELLCOMPUTE-Proofs.log2023-09-15 01:29 379  
[   ]2023-0914-181713-VALSDELLCOMPUTE-Proofs.log2023-09-15 01:17 379  
[   ]2023-0914-180501-VALSDELLCOMPUTE-Proofs.log2023-09-15 01:05 379  
[   ]2023-0914-175252-VALSDELLCOMPUTE-Proofs.log2023-09-15 00:52 379  
[   ]2023-0914-174043-VALSDELLCOMPUTE-Proofs.log2023-09-15 00:40 379  
[   ]2023-0914-172834-VALSDELLCOMPUTE-Proofs.log2023-09-15 00:28 379  
[   ]2023-0914-171749-VALSDELLCOMPUTE-Proofs.log2023-09-15 00:17 379  
[   ]2023-0914-170540-VALSDELLCOMPUTE-Proofs.log2023-09-15 00:05 379  
[   ]2023-0914-165331-VALSDELLCOMPUTE-Proofs.log2023-09-14 23:53 379  
[   ]2023-0914-164122-VALSDELLCOMPUTE-Proofs.log2023-09-14 23:41 379  
[   ]2023-0914-163155-VALSDELLCOMPUTE-Proofs.log2023-09-14 23:32 379  
[   ]2023-0914-161946-VALSDELLCOMPUTE-Proofs.log2023-09-14 23:19 379  
[   ]2023-0914-160737-VALSDELLCOMPUTE-Proofs.log2023-09-14 23:07 379  
[   ]2023-0914-155528-VALSDELLCOMPUTE-Proofs.log2023-09-14 22:55 379  
[   ]2023-0914-154319-VALSDELLCOMPUTE-Proofs.log2023-09-14 22:43 379  
[   ]2023-0914-153128-VALSDELLCOMPUTE-Proofs.log2023-09-14 22:31 379  
[   ]2023-0914-151919-VALSDELLCOMPUTE-Proofs.log2023-09-14 22:19 379  
[   ]2023-0914-151319-VALSDELLCOMPUTE-Proofs.log2023-09-14 22:13 1.0K 
[   ]_recycled_db._gs2023-09-14 22:13 689  
[   ]_file_state_v4._gs2023-09-14 22:13 2.1K 
[DIR]_saved_/2023-09-14 22:13 -  
[   ]2023-0914-151307-VALSDELLCOMPUTE-Proofs.log2023-09-14 22:13 759  
[   ]2023-0914-151125-VALSDELLCOMPUTE-Proofs.log2023-09-14 22:11 647  
[   ]2023-0914-151112-VALSDELLCOMPUTE-Proofs.log2023-09-14 22:11 762  
[   ]2023-0914-151039-VALSDELLCOMPUTE-Proofs.log2023-09-14 22:10 1.0K 
[   ]2023-0914-151024-VALSDELLCOMPUTE-Proofs.log2023-09-14 22:10 764  
[   ]2023-0914-150709-VALSDELLCOMPUTE-Proofs.log2023-09-14 22:07 379  
[   ]2023-0914-145500-VALSDELLCOMPUTE-Proofs.log2023-09-14 21:55 379  
[   ]2023-0914-144251-VALSDELLCOMPUTE-Proofs.log2023-09-14 21:43 379  
[   ]2023-0914-143042-VALSDELLCOMPUTE-Proofs.log2023-09-14 21:30 379  
[   ]2023-0914-141800-VALSDELLCOMPUTE-Proofs.log2023-09-14 21:18 378  
[   ]2023-0914-140551-VALSDELLCOMPUTE-Proofs.log2023-09-14 21:05 379  
[   ]2023-0914-135342-VALSDELLCOMPUTE-Proofs.log2023-09-14 20:53 379  
[   ]2023-0914-134423-VALSDELLCOMPUTE-Proofs.log2023-09-14 20:44 351  
[   ]2023-0914-134408-VALSDELLCOMPUTE-Proofs.log2023-09-14 20:44 1.1K 
[   ]2023-0914-134147-VALSDELLCOMPUTE-Proofs.log2023-09-14 20:42 1.0K 
[   ]2023-0914-134132-VALSDELLCOMPUTE-Proofs.log2023-09-14 20:41 704  
[   ]2023-0914-134114-VALSDELLCOMPUTE-Proofs.log2023-09-14 20:41 766  
[   ]2023-0914-132922-VALSDELLCOMPUTE-Proofs.log2023-09-14 20:29 379  
[   ]2023-0914-131713-VALSDELLCOMPUTE-Proofs.log2023-09-14 20:17 379  
[   ]2023-0914-125244-VALSDELLCOMPUTE-Proofs.log2023-09-14 19:52 379  
[   ]2023-0914-124035-VALSDELLCOMPUTE-Proofs.log2023-09-14 19:40 379  
[   ]2023-0914-122526-VALSDELLCOMPUTE-Proofs.log2023-09-14 19:25 379  
[   ]2023-0914-121317-VALSDELLCOMPUTE-Proofs.log2023-09-14 19:13 379  
[   ]2023-0914-120108-VALSDELLCOMPUTE-Proofs.log2023-09-14 19:01 379  
[   ]2023-0914-114859-VALSDELLCOMPUTE-Proofs.log2023-09-14 18:49 379  
[   ]2023-0914-113650-VALSDELLCOMPUTE-Proofs.log2023-09-14 18:36 379  
[   ]2023-0914-112441-VALSDELLCOMPUTE-Proofs.log2023-09-14 18:24 379  
[   ]2023-0914-111232-VALSDELLCOMPUTE-Proofs.log2023-09-14 18:12 379  
[   ]2023-0914-110023-VALSDELLCOMPUTE-Proofs.log2023-09-14 18:00 379  
[   ]2023-0914-105526-VALSDELLCOMPUTE-Proofs.log2023-09-14 18:00 1.1K 
[   ]2023-0914-104802-VALSDELLCOMPUTE-Proofs.log2023-09-14 17:48 379  
[   ]2023-0914-104535-VALSDELLCOMPUTE-Proofs.log2023-09-14 17:45 351  
[   ]2023-0914-104523-VALSDELLCOMPUTE-Proofs.log2023-09-14 17:45 743  
[   ]2023-0914-104450-VALSDELLCOMPUTE-Proofs.log2023-09-14 17:44 640  
[   ]2023-0914-104438-VALSDELLCOMPUTE-Proofs.log2023-09-14 17:44 751  
[   ]2023-0914-103553-VALSDELLCOMPUTE-Proofs.log2023-09-14 17:35 379  
[   ]2023-0914-102344-VALSDELLCOMPUTE-Proofs.log2023-09-14 17:23 379  
[   ]2023-0914-101853-VALSDELLCOMPUTE-Proofs.log2023-09-14 17:18 351  
[   ]2023-0914-101838-VALSDELLCOMPUTE-Proofs.log2023-09-14 17:18 1.1K 
[   ]2023-0914-101135-VALSDELLCOMPUTE-Proofs.log2023-09-14 17:11 379  
[   ]2023-0914-095819-VALSDELLCOMPUTE-Proofs.log2023-09-14 16:58 379  
[   ]2023-0914-094607-VALSDELLCOMPUTE-Proofs.log2023-09-14 16:46 379  
[   ]2023-0914-093357-VALSDELLCOMPUTE-Proofs.log2023-09-14 16:34 379  
[   ]2023-0914-092145-VALSDELLCOMPUTE-Proofs.log2023-09-14 16:21 379  
[   ]2023-0914-090935-VALSDELLCOMPUTE-Proofs.log2023-09-14 16:09 379  
[   ]2023-0914-085725-VALSDELLCOMPUTE-Proofs.log2023-09-14 15:57 379  
[   ]2023-0914-084512-VALSDELLCOMPUTE-Proofs.log2023-09-14 15:45 379  
[   ]2023-0914-083300-VALSDELLCOMPUTE-Proofs.log2023-09-14 15:33 379  
[   ]2023-0914-082048-VALSDELLCOMPUTE-Proofs.log2023-09-14 15:20 379  
[   ]2023-0914-080838-VALSDELLCOMPUTE-Proofs.log2023-09-14 15:08 379  
[   ]2023-0914-075627-VALSDELLCOMPUTE-Proofs.log2023-09-14 14:56 379  
[   ]2023-0914-074415-VALSDELLCOMPUTE-Proofs.log2023-09-14 14:44 379  
[   ]2023-0914-073205-VALSDELLCOMPUTE-Proofs.log2023-09-14 14:32 379  
[   ]2023-0914-071954-VALSDELLCOMPUTE-Proofs.log2023-09-14 14:20 379  
[   ]2023-0914-070742-VALSDELLCOMPUTE-Proofs.log2023-09-14 14:07 379  
[   ]2023-0914-065530-VALSDELLCOMPUTE-Proofs.log2023-09-14 13:55 379  
[   ]2023-0914-064320-VALSDELLCOMPUTE-Proofs.log2023-09-14 13:43 379  
[   ]2023-0914-063111-VALSDELLCOMPUTE-Proofs.log2023-09-14 13:31 379  
[   ]2023-0914-061900-VALSDELLCOMPUTE-Proofs.log2023-09-14 13:19 379  
[   ]2023-0914-060647-VALSDELLCOMPUTE-Proofs.log2023-09-14 13:06 379  
[   ]2023-0914-055436-VALSDELLCOMPUTE-Proofs.log2023-09-14 12:54 379  
[   ]2023-0914-054226-VALSDELLCOMPUTE-Proofs.log2023-09-14 12:42 379  
[   ]2023-0914-053016-VALSDELLCOMPUTE-Proofs.log2023-09-14 12:30 379  
[   ]2023-0914-051808-VALSDELLCOMPUTE-Proofs.log2023-09-14 12:18 379  
[   ]2023-0914-050558-VALSDELLCOMPUTE-Proofs.log2023-09-14 12:06 379  
[   ]2023-0914-045347-VALSDELLCOMPUTE-Proofs.log2023-09-14 11:53 379  
[   ]2023-0914-044135-VALSDELLCOMPUTE-Proofs.log2023-09-14 11:41 379  
[   ]2023-0914-042925-VALSDELLCOMPUTE-Proofs.log2023-09-14 11:29 379  
[   ]2023-0914-041716-VALSDELLCOMPUTE-Proofs.log2023-09-14 11:17 379  
[   ]2023-0914-040507-VALSDELLCOMPUTE-Proofs.log2023-09-14 11:06 701  
[   ]2023-0914-034957-VALSDELLCOMPUTE-Proofs.log2023-09-14 10:52 1.0K 
[   ]2023-0914-032845-VALSDELLCOMPUTE-Proofs.log2023-09-14 10:28 379  
[   ]2023-0914-031634-VALSDELLCOMPUTE-Proofs.log2023-09-14 10:16 379  
[   ]2023-0914-030424-VALSDELLCOMPUTE-Proofs.log2023-09-14 10:04 379  
[   ]2023-0914-025214-VALSDELLCOMPUTE-Proofs.log2023-09-14 09:52 379  
[   ]2023-0914-024004-VALSDELLCOMPUTE-Proofs.log2023-09-14 09:40 379  
[   ]2023-0914-022454-VALSDELLCOMPUTE-Proofs.log2023-09-14 09:24 379  
[   ]2023-0914-021245-VALSDELLCOMPUTE-Proofs.log2023-09-14 09:12 379  
[   ]2023-0914-020034-VALSDELLCOMPUTE-Proofs.log2023-09-14 09:00 379  
[   ]2023-0914-014822-VALSDELLCOMPUTE-Proofs.log2023-09-14 08:48 379  
[   ]2023-0914-013612-VALSDELLCOMPUTE-Proofs.log2023-09-14 08:36 379  
[   ]2023-0914-012400-VALSDELLCOMPUTE-Proofs.log2023-09-14 08:24 379  
[   ]2023-0914-011149-VALSDELLCOMPUTE-Proofs.log2023-09-14 08:11 379  
[   ]2023-0914-005939-VALSDELLCOMPUTE-Proofs.log2023-09-14 07:59 379  
[   ]2023-0914-004712-VALSDELLCOMPUTE-Proofs.log2023-09-14 07:47 379  
[   ]2023-0914-003501-VALSDELLCOMPUTE-Proofs.log2023-09-14 07:35 379  
[   ]2023-0914-002250-VALSDELLCOMPUTE-Proofs.log2023-09-14 07:22 379  
[   ]2023-0914-001040-VALSDELLCOMPUTE-Proofs.log2023-09-14 07:10 379  
[   ]2023-0913-235830-VALSDELLCOMPUTE-Proofs.log2023-09-14 06:58 379  
[   ]2023-0913-234619-VALSDELLCOMPUTE-Proofs.log2023-09-14 06:48 803  
[   ]2023-0913-233409-VALSDELLCOMPUTE-Proofs.log2023-09-14 06:34 379  
[   ]2023-0913-232157-VALSDELLCOMPUTE-Proofs.log2023-09-14 06:22 379  
[   ]2023-0913-230947-VALSDELLCOMPUTE-Proofs.log2023-09-14 06:09 379  
[   ]2023-0913-225737-VALSDELLCOMPUTE-Proofs.log2023-09-14 05:57 379  
[   ]2023-0913-224525-VALSDELLCOMPUTE-Proofs.log2023-09-14 05:45 379  
[   ]2023-0913-223305-VALSDELLCOMPUTE-Proofs.log2023-09-14 05:33 379  
[   ]2023-0913-221955-VALSDELLCOMPUTE-Proofs.log2023-09-14 05:19 379  
[   ]2023-0913-220745-VALSDELLCOMPUTE-Proofs.log2023-09-14 05:07 379  
[   ]2023-0913-215535-VALSDELLCOMPUTE-Proofs.log2023-09-14 04:56 590  
[   ]2023-0913-214325-VALSDELLCOMPUTE-Proofs.log2023-09-14 04:43 379  
[   ]2023-0913-213115-VALSDELLCOMPUTE-Proofs.log2023-09-14 04:31 379  
[   ]2023-0913-211903-VALSDELLCOMPUTE-Proofs.log2023-09-14 04:19 379  
[   ]2023-0913-210651-VALSDELLCOMPUTE-Proofs.log2023-09-14 04:06 379  
[   ]2023-0913-205439-VALSDELLCOMPUTE-Proofs.log2023-09-14 03:54 379  
[   ]2023-0913-204229-VALSDELLCOMPUTE-Proofs.log2023-09-14 03:42 379  
[   ]2023-0913-203019-VALSDELLCOMPUTE-Proofs.log2023-09-14 03:30 379  
[   ]2023-0913-202343-VALSDELLCOMPUTE-Proofs.log2023-09-14 03:24 969  
[   ]2023-0913-201858-VALSDELLCOMPUTE-Proofs.log2023-09-14 03:19 752  
[   ]2023-0913-201810-VALSDELLCOMPUTE-Proofs.log2023-09-14 03:18 379  
[   ]2023-0913-200601-VALSDELLCOMPUTE-Proofs.log2023-09-14 03:06 379  
[   ]2023-0913-195351-VALSDELLCOMPUTE-Proofs.log2023-09-14 02:53 379  
[   ]2023-0913-194332-VALSDELLCOMPUTE-Proofs.log2023-09-14 02:43 379  
[   ]2023-0913-193126-VALSDELLCOMPUTE-Proofs.log2023-09-14 02:31 379  
[   ]2023-0913-192207-VALSDELLCOMPUTE-Proofs.log2023-09-14 02:27 1.0K 
[   ]2023-0913-191916-VALSDELLCOMPUTE-Proofs.log2023-09-14 02:19 379  
[   ]2023-0913-191435-VALSDELLCOMPUTE-Proofs.log2023-09-14 02:19 1.1K 
[   ]2023-0913-191332-VALSDELLCOMPUTE-Proofs.log2023-09-14 02:13 747  
[   ]2023-0913-190832-VALSDELLCOMPUTE-Proofs.log2023-09-14 02:08 752  
[   ]2023-0913-190705-VALSDELLCOMPUTE-Proofs.log2023-09-14 02:07 379  
[   ]2023-0913-185455-VALSDELLCOMPUTE-Proofs.log2023-09-14 01:54 379  
[   ]2023-0913-184245-VALSDELLCOMPUTE-Proofs.log2023-09-14 01:42 379  
[   ]2023-0913-183036-VALSDELLCOMPUTE-Proofs.log2023-09-14 01:30 379  
[   ]2023-0913-181827-VALSDELLCOMPUTE-Proofs.log2023-09-14 01:18 379  
[   ]2023-0913-180617-VALSDELLCOMPUTE-Proofs.log2023-09-14 01:06 379  
[   ]2023-0913-175409-VALSDELLCOMPUTE-Proofs.log2023-09-14 00:54 379  
[   ]2023-0913-174158-VALSDELLCOMPUTE-Proofs.log2023-09-14 00:42 379  
[   ]2023-0913-172949-VALSDELLCOMPUTE-Proofs.log2023-09-14 00:29 379  
[   ]2023-0913-171739-VALSDELLCOMPUTE-Proofs.log2023-09-14 00:17 379  
[   ]2023-0913-170530-VALSDELLCOMPUTE-Proofs.log2023-09-14 00:05 379  
[   ]2023-0913-165320-VALSDELLCOMPUTE-Proofs.log2023-09-13 23:53 379  
[   ]2023-0913-164110-VALSDELLCOMPUTE-Proofs.log2023-09-13 23:41 379  
[   ]2023-0913-162901-VALSDELLCOMPUTE-Proofs.log2023-09-13 23:29 379  
[   ]2023-0913-161652-VALSDELLCOMPUTE-Proofs.log2023-09-13 23:16 379  
[   ]2023-0913-160652-VALSDELLCOMPUTE-Proofs.log2023-09-13 23:07 958  
[   ]2023-0913-160639-VALSDELLCOMPUTE-Proofs.log2023-09-13 23:06 741  
[   ]2023-0913-160630-VALSDELLCOMPUTE-Proofs.log2023-09-13 23:06 351  
[   ]2023-0913-160442-VALSDELLCOMPUTE-Proofs.log2023-09-13 23:04 379  
[   ]2023-0913-155230-VALSDELLCOMPUTE-Proofs.log2023-09-13 22:52 1.0K 
[   ]2023-0913-154800-VALSDELLCOMPUTE-Proofs.log2023-09-13 22:52 1.1K 
[   ]2023-0913-154234-VALSDELLCOMPUTE-Proofs.log2023-09-13 22:42 752  
[   ]2023-0913-153958-VALSDELLCOMPUTE-Proofs.log2023-09-13 22:40 379  
[   ]2023-0913-152749-VALSDELLCOMPUTE-Proofs.log2023-09-13 22:27 379  
[   ]2023-0913-151539-VALSDELLCOMPUTE-Proofs.log2023-09-13 22:15 379  
[   ]2023-0913-150329-VALSDELLCOMPUTE-Proofs.log2023-09-13 22:03 379  
[   ]2023-0913-145119-VALSDELLCOMPUTE-Proofs.log2023-09-13 21:51 379  
[   ]2023-0913-143910-VALSDELLCOMPUTE-Proofs.log2023-09-13 21:39 379  
[   ]2023-0913-142702-VALSDELLCOMPUTE-Proofs.log2023-09-13 21:27 379  
[   ]2023-0913-142120-VALSDELLCOMPUTE-Proofs.log2023-09-13 21:21 1.0K 
[   ]2023-0913-141453-VALSDELLCOMPUTE-Proofs.log2023-09-13 21:14 379  
[   ]2023-0913-140245-VALSDELLCOMPUTE-Proofs.log2023-09-13 21:02 379  
[   ]2023-0913-134924-VALSDELLCOMPUTE-Proofs.log2023-09-13 20:49 379  
[   ]2023-0913-133714-VALSDELLCOMPUTE-Proofs.log2023-09-13 20:37 379  
[   ]2023-0913-132505-VALSDELLCOMPUTE-Proofs.log2023-09-13 20:25 379  
[   ]2023-0913-131254-VALSDELLCOMPUTE-Proofs.log2023-09-13 20:12 379  
[   ]2023-0913-130044-VALSDELLCOMPUTE-Proofs.log2023-09-13 20:00 379  
[   ]2023-0913-125432-VALSDELLCOMPUTE-Proofs.log2023-09-13 19:59 972  
[   ]2023-0913-124856-VALSDELLCOMPUTE-Proofs.log2023-09-13 19:49 752  
[   ]2023-0913-124835-VALSDELLCOMPUTE-Proofs.log2023-09-13 19:48 379  
[   ]2023-0913-123739-VALSDELLCOMPUTE-Proofs.log2023-09-13 19:37 1.0K 
[   ]2023-0913-123727-VALSDELLCOMPUTE-Proofs.log2023-09-13 19:37 780  
[   ]2023-0913-123712-VALSDELLCOMPUTE-Proofs.log2023-09-13 19:37 352  
[   ]2023-0913-123624-VALSDELLCOMPUTE-Proofs.log2023-09-13 19:36 379  
[   ]2023-0913-122557-VALSDELLCOMPUTE-Proofs.log2023-09-13 19:26 379  
[   ]2023-0913-121148-VALSDELLCOMPUTE-Proofs.log2023-09-13 19:11 379  
[   ]2023-0913-115939-VALSDELLCOMPUTE-Proofs.log2023-09-13 18:59 379  
[   ]2023-0913-114729-VALSDELLCOMPUTE-Proofs.log2023-09-13 18:47 378  
[   ]2023-0913-113520-VALSDELLCOMPUTE-Proofs.log2023-09-13 18:35 379  
[   ]2023-0913-112311-VALSDELLCOMPUTE-Proofs.log2023-09-13 18:23 379  
[   ]2023-0913-111832-VALSDELLCOMPUTE-Proofs.log2023-09-13 18:23 1.1K 
[   ]2023-0913-111317-VALSDELLCOMPUTE-Proofs.log2023-09-13 18:13 752  
[   ]2023-0913-110935-VALSDELLCOMPUTE-Proofs.log2023-09-13 18:09 379  
[   ]2023-0913-105750-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:57 1.0K 
[   ]2023-0913-105726-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:57 379  
[   ]2023-0913-105408-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:54 1.0K 
[   ]2023-0913-105355-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:53 338  
[   ]2023-0913-105314-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:53 773  
[   ]2023-0913-104953-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:50 1.0K 
[   ]2023-0913-104859-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:49 767  
[   ]2023-0913-104802-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:48 651  
[   ]2023-0913-104707-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:47 773  
[   ]2023-0913-104552-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:46 1.0K 
[   ]2023-0913-104516-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:45 825  
[   ]2023-0913-104034-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:40 1.0K 
[   ]2023-0913-104022-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:40 764  
[   ]2023-0913-103946-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:39 1.0K 
[   ]2023-0913-103934-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:39 764  
[   ]2023-0913-103307-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:33 379  
[   ]2023-0913-102455-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:25 1.0K 
[   ]2023-0913-102443-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:24 764  
[   ]2023-0913-102058-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:21 379  
[   ]2023-0913-101849-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:20 1.7K 
[   ]2023-0913-101622-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:18 1.0K 
[   ]2023-0913-101549-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:15 769  
[   ]2023-0913-100755-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:10 1.9K 
[   ]2023-0913-100748-VALSDELLCOMPUTE-Proofs.log2023-09-13 17:07 587  
[   ]2023-0912-222032-VALSDELLCOMPUTE-Proofs.log2023-09-13 05:20 379  
[   ]2023-0912-220820-VALSDELLCOMPUTE-Proofs.log2023-09-13 05:09 591  
[   ]2023-0912-214353-VALSDELLCOMPUTE-Proofs.log2023-09-13 04:43 379  
[   ]2023-0912-213141-VALSDELLCOMPUTE-Proofs.log2023-09-13 04:31 379  
[   ]2023-0912-211929-VALSDELLCOMPUTE-Proofs.log2023-09-13 04:19 379  
[   ]2023-0912-210717-VALSDELLCOMPUTE-Proofs.log2023-09-13 04:07 379  
[   ]2023-0912-205505-VALSDELLCOMPUTE-Proofs.log2023-09-13 03:55 379  
[   ]2023-0912-204253-VALSDELLCOMPUTE-Proofs.log2023-09-13 03:42 379  
[   ]2023-0912-203041-VALSDELLCOMPUTE-Proofs.log2023-09-13 03:30 379  
[   ]2023-0912-201829-VALSDELLCOMPUTE-Proofs.log2023-09-13 03:18 379  
[   ]2023-0912-200620-VALSDELLCOMPUTE-Proofs.log2023-09-13 03:06 379  
[   ]2023-0912-195411-VALSDELLCOMPUTE-Proofs.log2023-09-13 02:54 379  
[   ]2023-0912-194201-VALSDELLCOMPUTE-Proofs.log2023-09-13 02:42 379  
[   ]2023-0912-192952-VALSDELLCOMPUTE-Proofs.log2023-09-13 02:29 379  
[   ]2023-0912-191743-VALSDELLCOMPUTE-Proofs.log2023-09-13 02:17 379  
[   ]2023-0912-191328-VALSDELLCOMPUTE-Proofs.log2023-09-13 02:13 1.0K 
[   ]2023-0912-191258-VALSDELLCOMPUTE-Proofs.log2023-09-13 02:13 762  
[   ]2023-0912-190534-VALSDELLCOMPUTE-Proofs.log2023-09-13 02:05 379  
[   ]2023-0912-185325-VALSDELLCOMPUTE-Proofs.log2023-09-13 01:53 379  
[   ]2023-0912-184116-VALSDELLCOMPUTE-Proofs.log2023-09-13 01:41 379  
[   ]2023-0912-182907-VALSDELLCOMPUTE-Proofs.log2023-09-13 01:29 379  
[   ]2023-0912-181658-VALSDELLCOMPUTE-Proofs.log2023-09-13 01:17 379  
[   ]2023-0912-180449-VALSDELLCOMPUTE-Proofs.log2023-09-13 01:04 379  
[   ]2023-0912-175240-VALSDELLCOMPUTE-Proofs.log2023-09-13 00:52 379  
[   ]2023-0912-174031-VALSDELLCOMPUTE-Proofs.log2023-09-13 00:40 379  
[   ]2023-0912-172822-VALSDELLCOMPUTE-Proofs.log2023-09-13 00:28 379  
[   ]2023-0912-171613-VALSDELLCOMPUTE-Proofs.log2023-09-13 00:16 379  
[   ]2023-0912-170403-VALSDELLCOMPUTE-Proofs.log2023-09-13 00:04 379  
[   ]2023-0912-165154-VALSDELLCOMPUTE-Proofs.log2023-09-12 23:51 379  
[   ]2023-0912-163945-VALSDELLCOMPUTE-Proofs.log2023-09-12 23:39 379  
[   ]2023-0912-162736-VALSDELLCOMPUTE-Proofs.log2023-09-12 23:27 379  
[   ]2023-0912-161527-VALSDELLCOMPUTE-Proofs.log2023-09-12 23:15 379  
[   ]2023-0912-160318-VALSDELLCOMPUTE-Proofs.log2023-09-12 23:03 379  
[   ]2023-0912-155109-VALSDELLCOMPUTE-Proofs.log2023-09-12 22:51 379  
[   ]2023-0912-153900-VALSDELLCOMPUTE-Proofs.log2023-09-12 22:39 379  
[   ]2023-0912-153430-VALSDELLCOMPUTE-Proofs.log2023-09-12 22:38 1.1K 
[   ]2023-0912-152821-VALSDELLCOMPUTE-Proofs.log2023-09-12 22:28 752  
[   ]2023-0912-152618-VALSDELLCOMPUTE-Proofs.log2023-09-12 22:26 379  
[   ]2023-0912-152533-VALSDELLCOMPUTE-Proofs.log2023-09-12 22:25 748  
[   ]2023-0912-152524-VALSDELLCOMPUTE-Proofs.log2023-09-12 22:25 352  
[   ]2023-0912-152513-VALSDELLCOMPUTE-Proofs.log2023-09-12 22:25 338  
[   ]2023-0912-151408-VALSDELLCOMPUTE-Proofs.log2023-09-12 22:14 379  
[   ]2023-0912-150253-VALSDELLCOMPUTE-Proofs.log2023-09-12 22:02 379  
[   ]2023-0912-145714-VALSDELLCOMPUTE-Proofs.log2023-09-12 21:57 1.0K 
[   ]2023-0912-145156-VALSDELLCOMPUTE-Proofs.log2023-09-12 21:52 379  
[   ]2023-0912-143946-VALSDELLCOMPUTE-Proofs.log2023-09-12 21:39 379  
[   ]2023-0912-142844-VALSDELLCOMPUTE-Proofs.log2023-09-12 21:39 1.5K 
[   ]2023-0912-142120-VALSDELLCOMPUTE-Proofs.log2023-09-12 21:21 752  
[   ]2023-0912-141808-VALSDELLCOMPUTE-Proofs.log2023-09-12 21:18 379  
[   ]2023-0912-140558-VALSDELLCOMPUTE-Proofs.log2023-09-12 21:06 379  
[   ]2023-0912-140122-VALSDELLCOMPUTE-Proofs.log2023-09-12 21:01 1.0K 
[   ]2023-0912-140110-VALSDELLCOMPUTE-Proofs.log2023-09-12 21:01 762  
[   ]2023-0912-135349-VALSDELLCOMPUTE-Proofs.log2023-09-12 20:53 379  
[   ]2023-0912-134731-VALSDELLCOMPUTE-Proofs.log2023-09-12 20:47 1.0K 
[   ]2023-0912-134719-VALSDELLCOMPUTE-Proofs.log2023-09-12 20:47 762  
[   ]2023-0912-134140-VALSDELLCOMPUTE-Proofs.log2023-09-12 20:41 379  
[   ]2023-0912-132931-VALSDELLCOMPUTE-Proofs.log2023-09-12 20:29 379  
[   ]2023-0912-131722-VALSDELLCOMPUTE-Proofs.log2023-09-12 20:17 379  
[   ]2023-0912-130707-VALSDELLCOMPUTE-Proofs.log2023-09-12 20:07 351  
[   ]2023-0912-130652-VALSDELLCOMPUTE-Proofs.log2023-09-12 20:07 1.0K 
[   ]2023-0912-130512-VALSDELLCOMPUTE-Proofs.log2023-09-12 20:05 379  
[   ]2023-0912-125303-VALSDELLCOMPUTE-Proofs.log2023-09-12 19:53 379  
[   ]2023-0912-125157-VALSDELLCOMPUTE-Proofs.log2023-09-12 19:52 1.0K 
[   ]2023-0912-125145-VALSDELLCOMPUTE-Proofs.log2023-09-12 19:51 766  
[   ]2023-0912-124052-VALSDELLCOMPUTE-Proofs.log2023-09-12 19:40 379  
[   ]2023-0912-122843-VALSDELLCOMPUTE-Proofs.log2023-09-12 19:28 379  
[   ]2023-0912-121632-VALSDELLCOMPUTE-Proofs.log2023-09-12 19:16 379  
[   ]2023-0912-120422-VALSDELLCOMPUTE-Proofs.log2023-09-12 19:04 379  
[   ]2023-0912-115212-VALSDELLCOMPUTE-Proofs.log2023-09-12 18:52 379  
[   ]2023-0912-114933-VALSDELLCOMPUTE-Proofs.log2023-09-12 18:49 772  
[   ]2023-0912-114927-VALSDELLCOMPUTE-Proofs.log2023-09-12 18:49 352  
[   ]2023-0912-114105-VALSDELLCOMPUTE-Proofs.log2023-09-12 18:45 972  
[   ]2023-0912-114002-VALSDELLCOMPUTE-Proofs.log2023-09-12 18:40 379  
[   ]2023-0912-113608-VALSDELLCOMPUTE-Proofs.log2023-09-12 18:36 351  
[   ]2023-0912-113550-VALSDELLCOMPUTE-Proofs.log2023-09-12 18:36 743  
[   ]2023-0912-113326-VALSDELLCOMPUTE-Proofs.log2023-09-12 18:33 643  
[   ]2023-0912-112847-VALSDELLCOMPUTE-Proofs.log2023-09-12 18:28 379  
[   ]2023-0912-112826-VALSDELLCOMPUTE-Proofs.log2023-09-12 18:28 752  
[   ]2023-0912-112417-VALSDELLCOMPUTE-Proofs.log2023-09-12 18:28 972  
[   ]2023-0912-111938-VALSDELLCOMPUTE-Proofs.log2023-09-12 18:19 745  
[   ]2023-0912-111929-VALSDELLCOMPUTE-Proofs.log2023-09-12 18:19 352  
[   ]2023-0912-111638-VALSDELLCOMPUTE-Proofs.log2023-09-12 18:16 379  
[   ]2023-0912-110429-VALSDELLCOMPUTE-Proofs.log2023-09-12 18:04 379  
[   ]2023-0912-105923-VALSDELLCOMPUTE-Proofs.log2023-09-12 17:59 352  
[   ]2023-0912-105908-VALSDELLCOMPUTE-Proofs.log2023-09-12 17:59 950  
[   ]2023-0912-105220-VALSDELLCOMPUTE-Proofs.log2023-09-12 17:52 379  
[   ]2023-0912-104011-VALSDELLCOMPUTE-Proofs.log2023-09-12 17:40 378  
[   ]2023-0912-102802-VALSDELLCOMPUTE-Proofs.log2023-09-12 17:28 379  
[   ]2023-0912-101911-VALSDELLCOMPUTE-Proofs.log2023-09-12 17:19 1.0K 
[   ]2023-0912-101553-VALSDELLCOMPUTE-Proofs.log2023-09-12 17:15 379  
[   ]2023-0912-100344-VALSDELLCOMPUTE-Proofs.log2023-09-12 17:03 379  
[   ]2023-0912-095134-VALSDELLCOMPUTE-Proofs.log2023-09-12 16:51 379  
[   ]2023-0912-093925-VALSDELLCOMPUTE-Proofs.log2023-09-12 16:39 379  
[   ]2023-0912-093640-VALSDELLCOMPUTE-Proofs.log2023-09-12 16:36 1.0K 
[   ]2023-0912-093628-VALSDELLCOMPUTE-Proofs.log2023-09-12 16:36 764  
[   ]2023-0912-092716-VALSDELLCOMPUTE-Proofs.log2023-09-12 16:27 379  
[   ]2023-0912-091507-VALSDELLCOMPUTE-Proofs.log2023-09-12 16:15 379  
[   ]2023-0912-090255-VALSDELLCOMPUTE-Proofs.log2023-09-12 16:03 379  
[   ]2023-0912-085043-VALSDELLCOMPUTE-Proofs.log2023-09-12 15:50 379  
[   ]2023-0912-083831-VALSDELLCOMPUTE-Proofs.log2023-09-12 15:38 379  
[   ]2023-0912-082616-VALSDELLCOMPUTE-Proofs.log2023-09-12 15:26 379  
[   ]2023-0912-081403-VALSDELLCOMPUTE-Proofs.log2023-09-12 15:14 379  
[   ]2023-0912-080121-VALSDELLCOMPUTE-Proofs.log2023-09-12 15:01 379  
[   ]2023-0912-074909-VALSDELLCOMPUTE-Proofs.log2023-09-12 14:49 379  
[   ]2023-0912-073657-VALSDELLCOMPUTE-Proofs.log2023-09-12 14:37 379  
[   ]2023-0912-072445-VALSDELLCOMPUTE-Proofs.log2023-09-12 14:24 379  
[   ]2023-0912-071233-VALSDELLCOMPUTE-Proofs.log2023-09-12 14:12 379  
[   ]2023-0912-070018-VALSDELLCOMPUTE-Proofs.log2023-09-12 14:00 379  
[   ]2023-0912-064806-VALSDELLCOMPUTE-Proofs.log2023-09-12 13:48 379  
[   ]2023-0912-063554-VALSDELLCOMPUTE-Proofs.log2023-09-12 13:36 379  
[   ]2023-0912-062342-VALSDELLCOMPUTE-Proofs.log2023-09-12 13:23 379  
[   ]2023-0912-061230-VALSDELLCOMPUTE-Proofs.log2023-09-12 13:12 379  
[   ]2023-0912-060054-VALSDELLCOMPUTE-Proofs.log2023-09-12 13:00 379  
[   ]2023-0912-055015-VALSDELLCOMPUTE-Proofs.log2023-09-12 12:50 379  
[   ]2023-0912-053803-VALSDELLCOMPUTE-Proofs.log2023-09-12 12:38 379  
[   ]2023-0912-052551-VALSDELLCOMPUTE-Proofs.log2023-09-12 12:25 379  
[   ]2023-0912-051339-VALSDELLCOMPUTE-Proofs.log2023-09-12 12:13 379  
[   ]2023-0912-050127-VALSDELLCOMPUTE-Proofs.log2023-09-12 12:01 379  
[   ]2023-0912-044615-VALSDELLCOMPUTE-Proofs.log2023-09-12 11:46 379  
[   ]2023-0912-043254-VALSDELLCOMPUTE-Proofs.log2023-09-12 11:32 379  
[   ]2023-0912-042042-VALSDELLCOMPUTE-Proofs.log2023-09-12 11:20 379  
[   ]2023-0912-040830-VALSDELLCOMPUTE-Proofs.log2023-09-12 11:08 379  
[   ]2023-0912-035618-VALSDELLCOMPUTE-Proofs.log2023-09-12 10:56 379  
[   ]2023-0912-034406-VALSDELLCOMPUTE-Proofs.log2023-09-12 10:44 379  
[   ]2023-0912-032554-VALSDELLCOMPUTE-Proofs.log2023-09-12 10:25 379  
[   ]2023-0912-031342-VALSDELLCOMPUTE-Proofs.log2023-09-12 10:13 379  
[   ]2023-0912-030130-VALSDELLCOMPUTE-Proofs.log2023-09-12 10:01 379  
[   ]2023-0912-024918-VALSDELLCOMPUTE-Proofs.log2023-09-12 09:49 379  
[   ]2023-0912-023706-VALSDELLCOMPUTE-Proofs.log2023-09-12 09:37 379  
[   ]2023-0912-020942-VALSDELLCOMPUTE-Proofs.log2023-09-12 09:14 1.4K 
[   ]2023-0912-015730-VALSDELLCOMPUTE-Proofs.log2023-09-12 08:58 490  
[   ]2023-0912-014518-VALSDELLCOMPUTE-Proofs.log2023-09-12 08:45 379  
[   ]2023-0912-013306-VALSDELLCOMPUTE-Proofs.log2023-09-12 08:33 379  
[   ]2023-0912-012054-VALSDELLCOMPUTE-Proofs.log2023-09-12 08:20 379  
[   ]2023-0912-010912-VALSDELLCOMPUTE-Proofs.log2023-09-12 08:09 379  
[   ]2023-0912-005700-VALSDELLCOMPUTE-Proofs.log2023-09-12 07:57 379  
[   ]2023-0912-004448-VALSDELLCOMPUTE-Proofs.log2023-09-12 07:44 379  
[   ]2023-0912-002024-VALSDELLCOMPUTE-Proofs.log2023-09-12 07:22 802  
[   ]2023-0912-000812-VALSDELLCOMPUTE-Proofs.log2023-09-12 07:08 379  
[   ]2023-0911-235600-VALSDELLCOMPUTE-Proofs.log2023-09-12 06:56 379  
[   ]2023-0911-234348-VALSDELLCOMPUTE-Proofs.log2023-09-12 06:43 379  
[   ]2023-0911-233345-VALSDELLCOMPUTE-Proofs.log2023-09-12 06:33 379  
[   ]2023-0911-232133-VALSDELLCOMPUTE-Proofs.log2023-09-12 06:22 490  
[   ]2023-0911-225709-VALSDELLCOMPUTE-Proofs.log2023-09-12 05:57 379  
[   ]2023-0911-224457-VALSDELLCOMPUTE-Proofs.log2023-09-12 05:45 379  
[   ]2023-0911-223245-VALSDELLCOMPUTE-Proofs.log2023-09-12 05:32 379  
[   ]2023-0911-222033-VALSDELLCOMPUTE-Proofs.log2023-09-12 05:20 379  
[   ]2023-0911-220821-VALSDELLCOMPUTE-Proofs.log2023-09-12 05:08 379  
[   ]2023-0911-215609-VALSDELLCOMPUTE-Proofs.log2023-09-12 04:56 379  
[   ]2023-0911-214357-VALSDELLCOMPUTE-Proofs.log2023-09-12 04:44 379  
[   ]2023-0911-213118-VALSDELLCOMPUTE-Proofs.log2023-09-12 04:31 379  
[   ]2023-0911-211906-VALSDELLCOMPUTE-Proofs.log2023-09-12 04:19 379  
[   ]2023-0911-210653-VALSDELLCOMPUTE-Proofs.log2023-09-12 04:06 379  
[   ]2023-0911-205441-VALSDELLCOMPUTE-Proofs.log2023-09-12 03:54 379  
[   ]2023-0911-204229-VALSDELLCOMPUTE-Proofs.log2023-09-12 03:42 379  
[   ]2023-0911-203017-VALSDELLCOMPUTE-Proofs.log2023-09-12 03:30 379  
[   ]2023-0911-201805-VALSDELLCOMPUTE-Proofs.log2023-09-12 03:18 379  
[   ]2023-0911-200553-VALSDELLCOMPUTE-Proofs.log2023-09-12 03:05 379  
[   ]2023-0911-195341-VALSDELLCOMPUTE-Proofs.log2023-09-12 02:53 379  
[   ]2023-0911-194129-VALSDELLCOMPUTE-Proofs.log2023-09-12 02:41 379  
[   ]2023-0911-192920-VALSDELLCOMPUTE-Proofs.log2023-09-12 02:29 379  
[   ]2023-0911-191711-VALSDELLCOMPUTE-Proofs.log2023-09-12 02:17 379  
[   ]2023-0911-190502-VALSDELLCOMPUTE-Proofs.log2023-09-12 02:05 379  
[   ]2023-0911-185253-VALSDELLCOMPUTE-Proofs.log2023-09-12 01:52 379  
[   ]2023-0911-184037-VALSDELLCOMPUTE-Proofs.log2023-09-12 01:40 379  
[   ]2023-0911-182828-VALSDELLCOMPUTE-Proofs.log2023-09-12 01:28 379  
[   ]2023-0911-181618-VALSDELLCOMPUTE-Proofs.log2023-09-12 01:16 379  
[   ]2023-0911-180409-VALSDELLCOMPUTE-Proofs.log2023-09-12 01:04 379  
[   ]2023-0911-175157-VALSDELLCOMPUTE-Proofs.log2023-09-12 00:52 379  
[   ]2023-0911-173948-VALSDELLCOMPUTE-Proofs.log2023-09-12 00:39 379  
[   ]2023-0911-172739-VALSDELLCOMPUTE-Proofs.log2023-09-12 00:27 379  
[   ]2023-0911-171527-VALSDELLCOMPUTE-Proofs.log2023-09-12 00:15 379  
[   ]2023-0911-170318-VALSDELLCOMPUTE-Proofs.log2023-09-12 00:03 379  
[   ]2023-0911-165109-VALSDELLCOMPUTE-Proofs.log2023-09-11 23:51 379  
[   ]2023-0911-163900-VALSDELLCOMPUTE-Proofs.log2023-09-11 23:39 379  
[   ]2023-0911-162654-VALSDELLCOMPUTE-Proofs.log2023-09-11 23:26 379  
[   ]2023-0911-161445-VALSDELLCOMPUTE-Proofs.log2023-09-11 23:14 379  
[   ]2023-0911-160236-VALSDELLCOMPUTE-Proofs.log2023-09-11 23:02 379  
[   ]2023-0911-155027-VALSDELLCOMPUTE-Proofs.log2023-09-11 22:50 379  
[   ]2023-0911-153818-VALSDELLCOMPUTE-Proofs.log2023-09-11 22:38 379  
[   ]2023-0911-152609-VALSDELLCOMPUTE-Proofs.log2023-09-11 22:26 378  
[   ]2023-0911-151645-VALSDELLCOMPUTE-Proofs.log2023-09-11 22:16 1.0K 
[   ]2023-0911-151633-VALSDELLCOMPUTE-Proofs.log2023-09-11 22:16 759  
[   ]2023-0911-151400-VALSDELLCOMPUTE-Proofs.log2023-09-11 22:14 379  
[   ]2023-0911-150150-VALSDELLCOMPUTE-Proofs.log2023-09-11 22:01 379  
[   ]2023-0911-144750-VALSDELLCOMPUTE-Proofs.log2023-09-11 21:47 379  
[   ]2023-0911-143541-VALSDELLCOMPUTE-Proofs.log2023-09-11 21:35 379  
[   ]2023-0911-142332-VALSDELLCOMPUTE-Proofs.log2023-09-11 21:23 379  
[   ]2023-0911-141123-VALSDELLCOMPUTE-Proofs.log2023-09-11 21:11 379  
[   ]2023-0911-135914-VALSDELLCOMPUTE-Proofs.log2023-09-11 20:59 379  
[   ]2023-0911-134705-VALSDELLCOMPUTE-Proofs.log2023-09-11 20:47 379  
[   ]2023-0911-133456-VALSDELLCOMPUTE-Proofs.log2023-09-11 20:35 379  
[   ]2023-0911-132220-VALSDELLCOMPUTE-Proofs.log2023-09-11 20:22 379  
[   ]2023-0911-131102-VALSDELLCOMPUTE-Proofs.log2023-09-11 20:11 379  
[   ]2023-0911-125852-VALSDELLCOMPUTE-Proofs.log2023-09-11 19:58 379  
[   ]2023-0911-124643-VALSDELLCOMPUTE-Proofs.log2023-09-11 19:46 379  
[   ]2023-0911-123434-VALSDELLCOMPUTE-Proofs.log2023-09-11 19:34 379  
[   ]2023-0911-122628-VALSDELLCOMPUTE-Proofs.log2023-09-11 19:26 1.0K 
[   ]2023-0911-122555-VALSDELLCOMPUTE-Proofs.log2023-09-11 19:26 762  
[   ]2023-0911-122234-VALSDELLCOMPUTE-Proofs.log2023-09-11 19:23 1.0K 
[   ]2023-0911-122225-VALSDELLCOMPUTE-Proofs.log2023-09-11 19:22 379  
[   ]2023-0911-122201-VALSDELLCOMPUTE-Proofs.log2023-09-11 19:22 762  
[   ]2023-0911-122016-VALSDELLCOMPUTE-Proofs.log2023-09-11 19:20 352  
[   ]2023-0911-122000-VALSDELLCOMPUTE-Proofs.log2023-09-11 19:20 1.0K 
[   ]2023-0911-121015-VALSDELLCOMPUTE-Proofs.log2023-09-11 19:10 379  
[   ]2023-0911-115806-VALSDELLCOMPUTE-Proofs.log2023-09-11 18:58 379  
[   ]2023-0911-114806-VALSDELLCOMPUTE-Proofs.log2023-09-11 18:48 1.0K 
[   ]2023-0911-114739-VALSDELLCOMPUTE-Proofs.log2023-09-11 18:47 762  
[   ]2023-0911-114557-VALSDELLCOMPUTE-Proofs.log2023-09-11 18:46 379  
[   ]2023-0911-114527-VALSDELLCOMPUTE-Proofs.log2023-09-11 18:45 1.0K 
[   ]2023-0911-114457-VALSDELLCOMPUTE-Proofs.log2023-09-11 18:45 762  
[   ]2023-0911-113349-VALSDELLCOMPUTE-Proofs.log2023-09-11 18:33 379  
[   ]2023-0911-112140-VALSDELLCOMPUTE-Proofs.log2023-09-11 18:21 379  
[   ]2023-0911-110931-VALSDELLCOMPUTE-Proofs.log2023-09-11 18:09 379  
[   ]2023-0911-105720-VALSDELLCOMPUTE-Proofs.log2023-09-11 17:57 379  
[   ]2023-0911-104511-VALSDELLCOMPUTE-Proofs.log2023-09-11 17:45 379  
[   ]2023-0911-103300-VALSDELLCOMPUTE-Proofs.log2023-09-11 17:33 379  
[   ]2023-0911-102051-VALSDELLCOMPUTE-Proofs.log2023-09-11 17:20 379  
[   ]2023-0911-101345-VALSDELLCOMPUTE-Proofs.log2023-09-11 17:13 351  
[   ]2023-0911-101330-VALSDELLCOMPUTE-Proofs.log2023-09-11 17:13 1.0K 
[   ]2023-0911-100842-VALSDELLCOMPUTE-Proofs.log2023-09-11 17:08 379  
[   ]2023-0911-100648-VALSDELLCOMPUTE-Proofs.log2023-09-11 17:07 1.0K 
[   ]2023-0911-100642-VALSDELLCOMPUTE-Proofs.log2023-09-11 17:06 351  
[   ]2023-0911-100630-VALSDELLCOMPUTE-Proofs.log2023-09-11 17:06 759  
[   ]2023-0911-095633-VALSDELLCOMPUTE-Proofs.log2023-09-11 16:56 379  
[   ]2023-0911-094423-VALSDELLCOMPUTE-Proofs.log2023-09-11 16:44 379  
[   ]2023-0911-093214-VALSDELLCOMPUTE-Proofs.log2023-09-11 16:32 379  
[   ]2023-0911-092005-VALSDELLCOMPUTE-Proofs.log2023-09-11 16:20 379  
[   ]2023-0911-090752-VALSDELLCOMPUTE-Proofs.log2023-09-11 16:07 379  
[   ]2023-0911-085534-VALSDELLCOMPUTE-Proofs.log2023-09-11 15:55 379  
[   ]2023-0911-084519-VALSDELLCOMPUTE-Proofs.log2023-09-11 15:45 379  
[   ]2023-0911-083307-VALSDELLCOMPUTE-Proofs.log2023-09-11 15:33 379  
[   ]2023-0911-082055-VALSDELLCOMPUTE-Proofs.log2023-09-11 15:21 379  
[   ]2023-0911-080543-VALSDELLCOMPUTE-Proofs.log2023-09-11 15:05 379  
[   ]2023-0911-075331-VALSDELLCOMPUTE-Proofs.log2023-09-11 14:53 379  
[   ]2023-0911-074119-VALSDELLCOMPUTE-Proofs.log2023-09-11 14:41 379  
[   ]2023-0911-072907-VALSDELLCOMPUTE-Proofs.log2023-09-11 14:29 379  
[   ]2023-0911-071655-VALSDELLCOMPUTE-Proofs.log2023-09-11 14:17 379  
[   ]2023-0911-070443-VALSDELLCOMPUTE-Proofs.log2023-09-11 14:04 379  
[   ]2023-0911-065231-VALSDELLCOMPUTE-Proofs.log2023-09-11 13:52 379  
[   ]2023-0911-064019-VALSDELLCOMPUTE-Proofs.log2023-09-11 13:40 379  
[   ]2023-0911-062807-VALSDELLCOMPUTE-Proofs.log2023-09-11 13:28 379  
[   ]2023-0911-061555-VALSDELLCOMPUTE-Proofs.log2023-09-11 13:15 379  
[   ]2023-0911-060343-VALSDELLCOMPUTE-Proofs.log2023-09-11 13:03 379  
[   ]2023-0911-055131-VALSDELLCOMPUTE-Proofs.log2023-09-11 12:51 379  
[   ]2023-0911-053919-VALSDELLCOMPUTE-Proofs.log2023-09-11 12:39 379  
[   ]2023-0911-052707-VALSDELLCOMPUTE-Proofs.log2023-09-11 12:27 379  
[   ]2023-0911-045134-VALSDELLCOMPUTE-Proofs.log2023-09-11 11:51 379  
[   ]2023-0911-043922-VALSDELLCOMPUTE-Proofs.log2023-09-11 11:39 379  
[   ]2023-0911-042710-VALSDELLCOMPUTE-Proofs.log2023-09-11 11:27 379  
[   ]2023-0911-040858-VALSDELLCOMPUTE-Proofs.log2023-09-11 11:13 1.4K 
[   ]2023-0911-040231-VALSDELLCOMPUTE-Proofs.log2023-09-11 11:02 379  
[   ]2023-0911-035019-VALSDELLCOMPUTE-Proofs.log2023-09-11 10:51 601  
[   ]2023-0911-032546-VALSDELLCOMPUTE-Proofs.log2023-09-11 10:25 378  
[   ]2023-0911-031334-VALSDELLCOMPUTE-Proofs.log2023-09-11 10:13 379  
[   ]2023-0911-030304-VALSDELLCOMPUTE-Proofs.log2023-09-11 10:10 2.0K 
[   ]2023-0911-024752-VALSDELLCOMPUTE-Proofs.log2023-09-11 09:47 379  
[   ]2023-0911-023540-VALSDELLCOMPUTE-Proofs.log2023-09-11 09:35 379  
[   ]2023-0911-022328-VALSDELLCOMPUTE-Proofs.log2023-09-11 09:23 379  
[   ]2023-0911-015904-VALSDELLCOMPUTE-Proofs.log2023-09-11 08:59 379  
[   ]2023-0911-014652-VALSDELLCOMPUTE-Proofs.log2023-09-11 08:46 379  
[   ]2023-0911-012228-VALSDELLCOMPUTE-Proofs.log2023-09-11 08:22 379  
[   ]2023-0911-011016-VALSDELLCOMPUTE-Proofs.log2023-09-11 08:10 379  
[   ]2023-0911-005804-VALSDELLCOMPUTE-Proofs.log2023-09-11 07:58 379  
[   ]2023-0911-004831-VALSDELLCOMPUTE-Proofs.log2023-09-11 07:48 379  
[   ]2023-0911-003619-VALSDELLCOMPUTE-Proofs.log2023-09-11 07:36 379  
[   ]2023-0911-002407-VALSDELLCOMPUTE-Proofs.log2023-09-11 07:25 590  
[   ]2023-0910-235228-VALSDELLCOMPUTE-Proofs.log2023-09-11 06:52 379  
[   ]2023-0910-234016-VALSDELLCOMPUTE-Proofs.log2023-09-11 06:40 379  
[   ]2023-0910-232455-VALSDELLCOMPUTE-Proofs.log2023-09-11 06:25 379  
[   ]2023-0910-231243-VALSDELLCOMPUTE-Proofs.log2023-09-11 06:12 379  
[   ]2023-0910-230031-VALSDELLCOMPUTE-Proofs.log2023-09-11 06:00 379  
[   ]2023-0910-224819-VALSDELLCOMPUTE-Proofs.log2023-09-11 05:48 379  
[   ]2023-0910-223607-VALSDELLCOMPUTE-Proofs.log2023-09-11 05:36 379  
[   ]2023-0910-222355-VALSDELLCOMPUTE-Proofs.log2023-09-11 05:24 379  
[   ]2023-0910-221140-VALSDELLCOMPUTE-Proofs.log2023-09-11 05:11 379  
[   ]2023-0910-220134-VALSDELLCOMPUTE-Proofs.log2023-09-11 05:01 379  
[   ]2023-0910-214922-VALSDELLCOMPUTE-Proofs.log2023-09-11 04:49 379  
[   ]2023-0910-213710-VALSDELLCOMPUTE-Proofs.log2023-09-11 04:37 379  
[   ]2023-0910-212458-VALSDELLCOMPUTE-Proofs.log2023-09-11 04:25 379  
[   ]2023-0910-211246-VALSDELLCOMPUTE-Proofs.log2023-09-11 04:12 379  
[   ]2023-0910-210034-VALSDELLCOMPUTE-Proofs.log2023-09-11 04:00 379  
[   ]2023-0910-205019-VALSDELLCOMPUTE-Proofs.log2023-09-11 03:50 379  
[   ]2023-0910-203807-VALSDELLCOMPUTE-Proofs.log2023-09-11 03:38 379  
[   ]2023-0910-202801-VALSDELLCOMPUTE-Proofs.log2023-09-11 03:28 379  
[   ]2023-0910-201640-VALSDELLCOMPUTE-Proofs.log2023-09-11 03:16 379  
[   ]2023-0910-200428-VALSDELLCOMPUTE-Proofs.log2023-09-11 03:04 379  
[   ]2023-0910-195213-VALSDELLCOMPUTE-Proofs.log2023-09-11 02:52 379  
[   ]2023-0910-194000-VALSDELLCOMPUTE-Proofs.log2023-09-11 02:40 379  
[   ]2023-0910-192748-VALSDELLCOMPUTE-Proofs.log2023-09-11 02:27 379  
[   ]2023-0910-191536-VALSDELLCOMPUTE-Proofs.log2023-09-11 02:15 379  
[   ]2023-0910-190324-VALSDELLCOMPUTE-Proofs.log2023-09-11 02:03 379  
[   ]2023-0910-185112-VALSDELLCOMPUTE-Proofs.log2023-09-11 01:51 379  
[   ]2023-0910-183900-VALSDELLCOMPUTE-Proofs.log2023-09-11 01:39 379  
[   ]2023-0910-182648-VALSDELLCOMPUTE-Proofs.log2023-09-11 01:26 379  
[   ]2023-0910-181436-VALSDELLCOMPUTE-Proofs.log2023-09-11 01:14 379  
[   ]2023-0910-180224-VALSDELLCOMPUTE-Proofs.log2023-09-11 01:02 379  
[   ]2023-0910-175012-VALSDELLCOMPUTE-Proofs.log2023-09-11 00:50 379  
[   ]2023-0910-173800-VALSDELLCOMPUTE-Proofs.log2023-09-11 00:38 379  
[   ]2023-0910-172548-VALSDELLCOMPUTE-Proofs.log2023-09-11 00:25 379  
[   ]2023-0910-171336-VALSDELLCOMPUTE-Proofs.log2023-09-11 00:13 379  
[   ]2023-0910-170130-VALSDELLCOMPUTE-Proofs.log2023-09-11 00:01 379  
[   ]2023-0910-164918-VALSDELLCOMPUTE-Proofs.log2023-09-10 23:49 379  
[   ]2023-0910-163654-VALSDELLCOMPUTE-Proofs.log2023-09-10 23:36 379  
[   ]2023-0910-162439-VALSDELLCOMPUTE-Proofs.log2023-09-10 23:24 379  
[   ]2023-0910-161227-VALSDELLCOMPUTE-Proofs.log2023-09-10 23:12 379  
[   ]2023-0910-160015-VALSDELLCOMPUTE-Proofs.log2023-09-10 23:00 379  
[   ]2023-0910-154803-VALSDELLCOMPUTE-Proofs.log2023-09-10 22:48 378  
[   ]2023-0910-153551-VALSDELLCOMPUTE-Proofs.log2023-09-10 22:35 379  
[   ]2023-0910-152339-VALSDELLCOMPUTE-Proofs.log2023-09-10 22:23 379  
[   ]2023-0910-151127-VALSDELLCOMPUTE-Proofs.log2023-09-10 22:11 379  
[   ]2023-0910-145915-VALSDELLCOMPUTE-Proofs.log2023-09-10 21:59 379  
[   ]2023-0910-144703-VALSDELLCOMPUTE-Proofs.log2023-09-10 21:47 379  
[   ]2023-0910-143450-VALSDELLCOMPUTE-Proofs.log2023-09-10 21:34 379  
[   ]2023-0910-142332-VALSDELLCOMPUTE-Proofs.log2023-09-10 21:23 379  
[   ]2023-0910-141120-VALSDELLCOMPUTE-Proofs.log2023-09-10 21:11 379  
[   ]2023-0910-135908-VALSDELLCOMPUTE-Proofs.log2023-09-10 20:59 379  
[   ]2023-0910-134656-VALSDELLCOMPUTE-Proofs.log2023-09-10 20:47 379  
[   ]2023-0910-133444-VALSDELLCOMPUTE-Proofs.log2023-09-10 20:34 379  
[   ]2023-0910-132232-VALSDELLCOMPUTE-Proofs.log2023-09-10 20:22 379  
[   ]2023-0910-131017-VALSDELLCOMPUTE-Proofs.log2023-09-10 20:10 378  
[   ]2023-0910-125805-VALSDELLCOMPUTE-Proofs.log2023-09-10 19:58 379  
[   ]2023-0910-124553-VALSDELLCOMPUTE-Proofs.log2023-09-10 19:45 379  
[   ]2023-0910-123341-VALSDELLCOMPUTE-Proofs.log2023-09-10 19:33 379  
[   ]2023-0910-122129-VALSDELLCOMPUTE-Proofs.log2023-09-10 19:21 379  
[   ]2023-0910-120950-VALSDELLCOMPUTE-Proofs.log2023-09-10 19:09 379  
[   ]2023-0910-115738-VALSDELLCOMPUTE-Proofs.log2023-09-10 18:57 379  
[   ]2023-0910-114526-VALSDELLCOMPUTE-Proofs.log2023-09-10 18:45 379  
[   ]2023-0910-113314-VALSDELLCOMPUTE-Proofs.log2023-09-10 18:33 379  
[   ]2023-0910-112102-VALSDELLCOMPUTE-Proofs.log2023-09-10 18:21 379  
[   ]2023-0910-110850-VALSDELLCOMPUTE-Proofs.log2023-09-10 18:08 379  
[   ]2023-0910-105638-VALSDELLCOMPUTE-Proofs.log2023-09-10 17:56 379  
[   ]2023-0910-104426-VALSDELLCOMPUTE-Proofs.log2023-09-10 17:44 379  
[   ]2023-0910-103214-VALSDELLCOMPUTE-Proofs.log2023-09-10 17:32 379  
[   ]2023-0910-102002-VALSDELLCOMPUTE-Proofs.log2023-09-10 17:20 379  
[   ]2023-0910-100750-VALSDELLCOMPUTE-Proofs.log2023-09-10 17:07 379  
[   ]2023-0910-095538-VALSDELLCOMPUTE-Proofs.log2023-09-10 16:55 378  
[   ]2023-0910-094253-VALSDELLCOMPUTE-Proofs.log2023-09-10 16:42 379  
[   ]2023-0910-093041-VALSDELLCOMPUTE-Proofs.log2023-09-10 16:30 379  
[   ]2023-0910-091747-VALSDELLCOMPUTE-Proofs.log2023-09-10 16:17 379  
[   ]2023-0910-090535-VALSDELLCOMPUTE-Proofs.log2023-09-10 16:05 379  
[   ]2023-0910-085322-VALSDELLCOMPUTE-Proofs.log2023-09-10 15:53 379  
[   ]2023-0910-084110-VALSDELLCOMPUTE-Proofs.log2023-09-10 15:41 379  
[   ]2023-0910-082858-VALSDELLCOMPUTE-Proofs.log2023-09-10 15:29 379  
[   ]2023-0910-075834-VALSDELLCOMPUTE-Proofs.log2023-09-10 14:59 701  
[   ]2023-0910-075510-VALSDELLCOMPUTE-Proofs.log2023-09-10 14:55 379  
[   ]2023-0910-074258-VALSDELLCOMPUTE-Proofs.log2023-09-10 14:43 379  
[   ]2023-0910-073046-VALSDELLCOMPUTE-Proofs.log2023-09-10 14:30 379  
[   ]2023-0910-071834-VALSDELLCOMPUTE-Proofs.log2023-09-10 14:18 379  
[   ]2023-0910-070622-VALSDELLCOMPUTE-Proofs.log2023-09-10 14:06 379  
[   ]2023-0910-065410-VALSDELLCOMPUTE-Proofs.log2023-09-10 13:54 379  
[   ]2023-0910-064158-VALSDELLCOMPUTE-Proofs.log2023-09-10 13:42 379  
[   ]2023-0910-062946-VALSDELLCOMPUTE-Proofs.log2023-09-10 13:29 379  
[   ]2023-0910-061734-VALSDELLCOMPUTE-Proofs.log2023-09-10 13:17 379  
[   ]2023-0910-060522-VALSDELLCOMPUTE-Proofs.log2023-09-10 13:05 379  
[   ]2023-0910-055310-VALSDELLCOMPUTE-Proofs.log2023-09-10 12:53 379  
[   ]2023-0910-054128-VALSDELLCOMPUTE-Proofs.log2023-09-10 12:41 379  
[   ]2023-0910-052916-VALSDELLCOMPUTE-Proofs.log2023-09-10 12:29 379  
[   ]2023-0910-051704-VALSDELLCOMPUTE-Proofs.log2023-09-10 12:17 379  
[   ]2023-0910-050452-VALSDELLCOMPUTE-Proofs.log2023-09-10 12:04 379  
[   ]2023-0910-045240-VALSDELLCOMPUTE-Proofs.log2023-09-10 11:52 379  
[   ]2023-0910-044028-VALSDELLCOMPUTE-Proofs.log2023-09-10 11:40 379  
[   ]2023-0910-042816-VALSDELLCOMPUTE-Proofs.log2023-09-10 11:28 379  
[   ]2023-0910-041604-VALSDELLCOMPUTE-Proofs.log2023-09-10 11:16 379  
[   ]2023-0910-040352-VALSDELLCOMPUTE-Proofs.log2023-09-10 11:03 379  
[   ]2023-0910-035140-VALSDELLCOMPUTE-Proofs.log2023-09-10 10:51 379  
[   ]2023-0910-033928-VALSDELLCOMPUTE-Proofs.log2023-09-10 10:39 379  
[   ]2023-0910-032716-VALSDELLCOMPUTE-Proofs.log2023-09-10 10:27 379  
[   ]2023-0910-031504-VALSDELLCOMPUTE-Proofs.log2023-09-10 10:15 379  
[   ]2023-0910-030252-VALSDELLCOMPUTE-Proofs.log2023-09-10 10:02 379  
[   ]2023-0910-025210-VALSDELLCOMPUTE-Proofs.log2023-09-10 09:52 379  
[   ]2023-0910-024001-VALSDELLCOMPUTE-Proofs.log2023-09-10 09:40 379  
[   ]2023-0910-022749-VALSDELLCOMPUTE-Proofs.log2023-09-10 09:27 379  
[   ]2023-0910-021537-VALSDELLCOMPUTE-Proofs.log2023-09-10 09:15 379  
[   ]2023-0910-020325-VALSDELLCOMPUTE-Proofs.log2023-09-10 09:03 379  
[   ]2023-0910-015052-VALSDELLCOMPUTE-Proofs.log2023-09-10 08:50 379  
[   ]2023-0910-013540-VALSDELLCOMPUTE-Proofs.log2023-09-10 08:37 701  
[   ]2023-0910-012028-VALSDELLCOMPUTE-Proofs.log2023-09-10 08:20 379  
[   ]2023-0910-010816-VALSDELLCOMPUTE-Proofs.log2023-09-10 08:08 379  
[   ]2023-0910-005604-VALSDELLCOMPUTE-Proofs.log2023-09-10 07:56 379  
[   ]2023-0910-004352-VALSDELLCOMPUTE-Proofs.log2023-09-10 07:43 379  
[   ]2023-0910-003140-VALSDELLCOMPUTE-Proofs.log2023-09-10 07:31 379  
[   ]2023-0910-001928-VALSDELLCOMPUTE-Proofs.log2023-09-10 07:19 379  
[   ]2023-0910-000714-VALSDELLCOMPUTE-Proofs.log2023-09-10 07:07 379  
[   ]2023-0909-235502-VALSDELLCOMPUTE-Proofs.log2023-09-10 06:55 379  
[   ]2023-0909-234250-VALSDELLCOMPUTE-Proofs.log2023-09-10 06:42 379  
[   ]2023-0909-233038-VALSDELLCOMPUTE-Proofs.log2023-09-10 06:30 379  
[   ]2023-0909-231159-VALSDELLCOMPUTE-Proofs.log2023-09-10 06:12 379  
[   ]2023-0909-225947-VALSDELLCOMPUTE-Proofs.log2023-09-10 05:59 379  
[   ]2023-0909-224735-VALSDELLCOMPUTE-Proofs.log2023-09-10 05:47 379  
[   ]2023-0909-223523-VALSDELLCOMPUTE-Proofs.log2023-09-10 05:35 379  
[   ]2023-0909-222311-VALSDELLCOMPUTE-Proofs.log2023-09-10 05:23 379  
[   ]2023-0909-221059-VALSDELLCOMPUTE-Proofs.log2023-09-10 05:11 379  
[   ]2023-0909-215847-VALSDELLCOMPUTE-Proofs.log2023-09-10 04:58 379  
[   ]2023-0909-214635-VALSDELLCOMPUTE-Proofs.log2023-09-10 04:46 379  
[   ]2023-0909-213423-VALSDELLCOMPUTE-Proofs.log2023-09-10 04:34 379  
[   ]2023-0909-212211-VALSDELLCOMPUTE-Proofs.log2023-09-10 04:22 379  
[   ]2023-0909-210959-VALSDELLCOMPUTE-Proofs.log2023-09-10 04:10 379  
[   ]2023-0909-205747-VALSDELLCOMPUTE-Proofs.log2023-09-10 03:57 379  
[   ]2023-0909-204535-VALSDELLCOMPUTE-Proofs.log2023-09-10 03:45 379  
[   ]2023-0909-203323-VALSDELLCOMPUTE-Proofs.log2023-09-10 03:33 379  
[   ]2023-0909-202111-VALSDELLCOMPUTE-Proofs.log2023-09-10 03:21 379  
[   ]2023-0909-200859-VALSDELLCOMPUTE-Proofs.log2023-09-10 03:09 379  
[   ]2023-0909-195647-VALSDELLCOMPUTE-Proofs.log2023-09-10 02:56 379  
[   ]2023-0909-194435-VALSDELLCOMPUTE-Proofs.log2023-09-10 02:44 379  
[   ]2023-0909-193223-VALSDELLCOMPUTE-Proofs.log2023-09-10 02:32 379  
[   ]2023-0909-192011-VALSDELLCOMPUTE-Proofs.log2023-09-10 02:20 379  
[   ]2023-0909-190759-VALSDELLCOMPUTE-Proofs.log2023-09-10 02:08 379  
[   ]2023-0909-185644-VALSDELLCOMPUTE-Proofs.log2023-09-10 01:56 379  
[   ]2023-0909-184432-VALSDELLCOMPUTE-Proofs.log2023-09-10 01:44 379  
[   ]2023-0909-183220-VALSDELLCOMPUTE-Proofs.log2023-09-10 01:32 379  
[   ]2023-0909-182008-VALSDELLCOMPUTE-Proofs.log2023-09-10 01:20 379  
[   ]2023-0909-180756-VALSDELLCOMPUTE-Proofs.log2023-09-10 01:08 379  
[   ]2023-0909-175544-VALSDELLCOMPUTE-Proofs.log2023-09-10 00:55 378  
[   ]2023-0909-174332-VALSDELLCOMPUTE-Proofs.log2023-09-10 00:43 379  
[   ]2023-0909-173120-VALSDELLCOMPUTE-Proofs.log2023-09-10 00:31 379  
[   ]2023-0909-171908-VALSDELLCOMPUTE-Proofs.log2023-09-10 00:19 379  
[   ]2023-0909-170656-VALSDELLCOMPUTE-Proofs.log2023-09-10 00:07 379  
[   ]2023-0909-165444-VALSDELLCOMPUTE-Proofs.log2023-09-09 23:54 379  
[   ]2023-0909-164232-VALSDELLCOMPUTE-Proofs.log2023-09-09 23:42 379  
[   ]2023-0909-162929-VALSDELLCOMPUTE-Proofs.log2023-09-09 23:29 379  
[   ]2023-0909-161626-VALSDELLCOMPUTE-Proofs.log2023-09-09 23:16 379  
[   ]2023-0909-160420-VALSDELLCOMPUTE-Proofs.log2023-09-09 23:04 379  
[   ]2023-0909-155208-VALSDELLCOMPUTE-Proofs.log2023-09-09 22:52 379  
[   ]2023-0909-153950-VALSDELLCOMPUTE-Proofs.log2023-09-09 22:39 379  
[   ]2023-0909-152814-VALSDELLCOMPUTE-Proofs.log2023-09-09 22:28 379  
[   ]2023-0909-151600-VALSDELLCOMPUTE-Proofs.log2023-09-09 22:16 379  
[   ]2023-0909-150427-VALSDELLCOMPUTE-Proofs.log2023-09-09 22:04 379  
[   ]2023-0909-145215-VALSDELLCOMPUTE-Proofs.log2023-09-09 21:52 379  
[   ]2023-0909-144003-VALSDELLCOMPUTE-Proofs.log2023-09-09 21:40 379  
[   ]2023-0909-142751-VALSDELLCOMPUTE-Proofs.log2023-09-09 21:27 379  
[   ]2023-0909-141539-VALSDELLCOMPUTE-Proofs.log2023-09-09 21:15 379  
[   ]2023-0909-140327-VALSDELLCOMPUTE-Proofs.log2023-09-09 21:03 379  
[   ]2023-0909-135115-VALSDELLCOMPUTE-Proofs.log2023-09-09 20:51 379  
[   ]2023-0909-133903-VALSDELLCOMPUTE-Proofs.log2023-09-09 20:39 379  
[   ]2023-0909-132651-VALSDELLCOMPUTE-Proofs.log2023-09-09 20:26 379  
[   ]2023-0909-131439-VALSDELLCOMPUTE-Proofs.log2023-09-09 20:14 379  
[   ]2023-0909-130227-VALSDELLCOMPUTE-Proofs.log2023-09-09 20:02 379  
[   ]2023-0909-125015-VALSDELLCOMPUTE-Proofs.log2023-09-09 19:50 379  
[   ]2023-0909-123803-VALSDELLCOMPUTE-Proofs.log2023-09-09 19:38 379  
[   ]2023-0909-122551-VALSDELLCOMPUTE-Proofs.log2023-09-09 19:25 379  
[   ]2023-0909-121339-VALSDELLCOMPUTE-Proofs.log2023-09-09 19:13 379  
[   ]2023-0909-120127-VALSDELLCOMPUTE-Proofs.log2023-09-09 19:01 379  
[   ]2023-0909-114915-VALSDELLCOMPUTE-Proofs.log2023-09-09 18:49 379  
[   ]2023-0909-113703-VALSDELLCOMPUTE-Proofs.log2023-09-09 18:37 379  
[   ]2023-0909-112406-VALSDELLCOMPUTE-Proofs.log2023-09-09 18:24 379  
[   ]2023-0909-111154-VALSDELLCOMPUTE-Proofs.log2023-09-09 18:11 379  
[   ]2023-0909-105942-VALSDELLCOMPUTE-Proofs.log2023-09-09 17:59 379  
[   ]2023-0909-104730-VALSDELLCOMPUTE-Proofs.log2023-09-09 17:47 379  
[   ]2023-0909-103518-VALSDELLCOMPUTE-Proofs.log2023-09-09 17:35 379  
[   ]2023-0909-102306-VALSDELLCOMPUTE-Proofs.log2023-09-09 17:23 379  
[   ]2023-0909-101054-VALSDELLCOMPUTE-Proofs.log2023-09-09 17:10 379  
[   ]2023-0909-095842-VALSDELLCOMPUTE-Proofs.log2023-09-09 16:58 379  
[   ]2023-0909-094627-VALSDELLCOMPUTE-Proofs.log2023-09-09 16:46 379  
[   ]2023-0909-093415-VALSDELLCOMPUTE-Proofs.log2023-09-09 16:34 379  
[   ]2023-0909-092203-VALSDELLCOMPUTE-Proofs.log2023-09-09 16:22 379  
[   ]2023-0909-090951-VALSDELLCOMPUTE-Proofs.log2023-09-09 16:09 379  
[   ]2023-0909-085736-VALSDELLCOMPUTE-Proofs.log2023-09-09 15:57 379  
[   ]2023-0909-084524-VALSDELLCOMPUTE-Proofs.log2023-09-09 15:45 379  
[   ]2023-0909-083312-VALSDELLCOMPUTE-Proofs.log2023-09-09 15:33 379  
[   ]2023-0909-082100-VALSDELLCOMPUTE-Proofs.log2023-09-09 15:21 379  
[   ]2023-0909-080848-VALSDELLCOMPUTE-Proofs.log2023-09-09 15:08 379  
[   ]2023-0909-075651-VALSDELLCOMPUTE-Proofs.log2023-09-09 14:56 379  
[   ]2023-0909-074439-VALSDELLCOMPUTE-Proofs.log2023-09-09 14:44 379  
[   ]2023-0909-073227-VALSDELLCOMPUTE-Proofs.log2023-09-09 14:32 379  
[   ]2023-0909-072015-VALSDELLCOMPUTE-Proofs.log2023-09-09 14:20 379  
[   ]2023-0909-070803-VALSDELLCOMPUTE-Proofs.log2023-09-09 14:08 379  
[   ]2023-0909-065551-VALSDELLCOMPUTE-Proofs.log2023-09-09 13:55 379  
[   ]2023-0909-064339-VALSDELLCOMPUTE-Proofs.log2023-09-09 13:43 379  
[   ]2023-0909-062527-VALSDELLCOMPUTE-Proofs.log2023-09-09 13:29 1.3K 
[   ]2023-0909-061015-VALSDELLCOMPUTE-Proofs.log2023-09-09 13:10 379  
[   ]2023-0909-055803-VALSDELLCOMPUTE-Proofs.log2023-09-09 12:58 379  
[   ]2023-0909-054548-VALSDELLCOMPUTE-Proofs.log2023-09-09 12:45 379  
[   ]2023-0909-053306-VALSDELLCOMPUTE-Proofs.log2023-09-09 12:33 379  
[   ]2023-0909-052154-VALSDELLCOMPUTE-Proofs.log2023-09-09 12:21 379  
[   ]2023-0909-050942-VALSDELLCOMPUTE-Proofs.log2023-09-09 12:09 379  
[   ]2023-0909-045730-VALSDELLCOMPUTE-Proofs.log2023-09-09 11:57 379  
[   ]2023-0909-044518-VALSDELLCOMPUTE-Proofs.log2023-09-09 11:47 913  
[   ]2023-0909-040712-VALSDELLCOMPUTE-Proofs.log2023-09-09 11:07 379  
[   ]2023-0909-035500-VALSDELLCOMPUTE-Proofs.log2023-09-09 10:55 379  
[   ]2023-0909-034248-VALSDELLCOMPUTE-Proofs.log2023-09-09 10:42 379  
[   ]2023-0909-033036-VALSDELLCOMPUTE-Proofs.log2023-09-09 10:30 379  
[   ]2023-0909-031824-VALSDELLCOMPUTE-Proofs.log2023-09-09 10:18 379  
[   ]2023-0909-030612-VALSDELLCOMPUTE-Proofs.log2023-09-09 10:06 379  
[   ]2023-0909-025400-VALSDELLCOMPUTE-Proofs.log2023-09-09 09:54 378  
[   ]2023-0909-024146-VALSDELLCOMPUTE-Proofs.log2023-09-09 09:41 379  
[   ]2023-0909-022933-VALSDELLCOMPUTE-Proofs.log2023-09-09 09:29 379  
[   ]2023-0909-014957-VALSDELLCOMPUTE-Proofs.log2023-09-09 08:50 379  
[   ]2023-0909-013745-VALSDELLCOMPUTE-Proofs.log2023-09-09 08:37 379  
[   ]2023-0909-012533-VALSDELLCOMPUTE-Proofs.log2023-09-09 08:25 379  
[   ]2023-0909-011321-VALSDELLCOMPUTE-Proofs.log2023-09-09 08:13 379  
[   ]2023-0909-010109-VALSDELLCOMPUTE-Proofs.log2023-09-09 08:01 379  
[   ]2023-0909-004857-VALSDELLCOMPUTE-Proofs.log2023-09-09 07:55 1.7K 
[   ]2023-0909-002433-VALSDELLCOMPUTE-Proofs.log2023-09-09 07:24 379  
[   ]2023-0909-001221-VALSDELLCOMPUTE-Proofs.log2023-09-09 07:12 379  
[   ]2023-0909-000009-VALSDELLCOMPUTE-Proofs.log2023-09-09 07:00 379  
[   ]2023-0908-234757-VALSDELLCOMPUTE-Proofs.log2023-09-09 06:48 379  
[   ]2023-0908-233545-VALSDELLCOMPUTE-Proofs.log2023-09-09 06:35 379  
[   ]2023-0908-232333-VALSDELLCOMPUTE-Proofs.log2023-09-09 06:23 379  
[   ]2023-0908-231121-VALSDELLCOMPUTE-Proofs.log2023-09-09 06:11 379  
[   ]2023-0908-225909-VALSDELLCOMPUTE-Proofs.log2023-09-09 05:59 379  
[   ]2023-0908-224657-VALSDELLCOMPUTE-Proofs.log2023-09-09 05:47 379  
[   ]2023-0908-223445-VALSDELLCOMPUTE-Proofs.log2023-09-09 05:34 379  
[   ]2023-0908-222233-VALSDELLCOMPUTE-Proofs.log2023-09-09 05:22 379  
[   ]2023-0908-215806-VALSDELLCOMPUTE-Proofs.log2023-09-09 05:01 1.0K 
[   ]2023-0908-214554-VALSDELLCOMPUTE-Proofs.log2023-09-09 04:45 379  
[   ]2023-0908-213342-VALSDELLCOMPUTE-Proofs.log2023-09-09 04:33 379  
[   ]2023-0908-212127-VALSDELLCOMPUTE-Proofs.log2023-09-09 04:21 379  
[   ]2023-0908-210954-VALSDELLCOMPUTE-Proofs.log2023-09-09 04:10 378  
[   ]2023-0908-205742-VALSDELLCOMPUTE-Proofs.log2023-09-09 03:57 379  
[   ]2023-0908-204527-VALSDELLCOMPUTE-Proofs.log2023-09-09 03:45 489  
[   ]2023-0908-203015-VALSDELLCOMPUTE-Proofs.log2023-09-09 03:30 379  
[   ]2023-0908-201803-VALSDELLCOMPUTE-Proofs.log2023-09-09 03:18 379  
[   ]2023-0908-200551-VALSDELLCOMPUTE-Proofs.log2023-09-09 03:05 379  
[   ]2023-0908-195339-VALSDELLCOMPUTE-Proofs.log2023-09-09 02:53 379  
[   ]2023-0908-194127-VALSDELLCOMPUTE-Proofs.log2023-09-09 02:41 379  
[   ]2023-0908-192915-VALSDELLCOMPUTE-Proofs.log2023-09-09 02:29 379  
[   ]2023-0908-191703-VALSDELLCOMPUTE-Proofs.log2023-09-09 02:17 379  
[   ]2023-0908-190448-VALSDELLCOMPUTE-Proofs.log2023-09-09 02:04 379  
[   ]2023-0908-185236-VALSDELLCOMPUTE-Proofs.log2023-09-09 01:52 379  
[   ]2023-0908-184024-VALSDELLCOMPUTE-Proofs.log2023-09-09 01:40 379  
[   ]2023-0908-182812-VALSDELLCOMPUTE-Proofs.log2023-09-09 01:28 379  
[   ]2023-0908-181600-VALSDELLCOMPUTE-Proofs.log2023-09-09 01:16 379  
[   ]2023-0908-180330-VALSDELLCOMPUTE-Proofs.log2023-09-09 01:03 378  
[   ]2023-0908-175215-VALSDELLCOMPUTE-Proofs.log2023-09-09 00:52 379  
[   ]2023-0908-173924-VALSDELLCOMPUTE-Proofs.log2023-09-09 00:39 379  
[   ]2023-0908-172712-VALSDELLCOMPUTE-Proofs.log2023-09-09 00:27 379  
[   ]2023-0908-171500-VALSDELLCOMPUTE-Proofs.log2023-09-09 00:15 379  
[   ]2023-0908-170248-VALSDELLCOMPUTE-Proofs.log2023-09-09 00:02 379  
[   ]2023-0908-165036-VALSDELLCOMPUTE-Proofs.log2023-09-08 23:50 379  
[   ]2023-0908-163824-VALSDELLCOMPUTE-Proofs.log2023-09-08 23:38 379  
[   ]2023-0908-163037-VALSDELLCOMPUTE-Proofs.log2023-09-08 23:30 379  
[   ]2023-0908-161825-VALSDELLCOMPUTE-Proofs.log2023-09-08 23:18 379  
[   ]2023-0908-160615-VALSDELLCOMPUTE-Proofs.log2023-09-08 23:06 379  
[   ]2023-0908-155403-VALSDELLCOMPUTE-Proofs.log2023-09-08 22:54 379  
[   ]2023-0908-154153-VALSDELLCOMPUTE-Proofs.log2023-09-08 22:41 379  
[   ]2023-0908-152944-VALSDELLCOMPUTE-Proofs.log2023-09-08 22:29 379  
[   ]2023-0908-151733-VALSDELLCOMPUTE-Proofs.log2023-09-08 22:17 379  
[   ]2023-0908-150524-VALSDELLCOMPUTE-Proofs.log2023-09-08 22:05 379  
[   ]2023-0908-145315-VALSDELLCOMPUTE-Proofs.log2023-09-08 21:53 379  
[   ]2023-0908-144106-VALSDELLCOMPUTE-Proofs.log2023-09-08 21:41 379  
[   ]2023-0908-142856-VALSDELLCOMPUTE-Proofs.log2023-09-08 21:29 379  
[   ]2023-0908-141646-VALSDELLCOMPUTE-Proofs.log2023-09-08 21:16 379  
[   ]2023-0908-140437-VALSDELLCOMPUTE-Proofs.log2023-09-08 21:04 379  
[   ]2023-0908-135228-VALSDELLCOMPUTE-Proofs.log2023-09-08 20:52 379  
[   ]2023-0908-134019-VALSDELLCOMPUTE-Proofs.log2023-09-08 20:40 379  
[   ]2023-0908-132807-VALSDELLCOMPUTE-Proofs.log2023-09-08 20:28 379  
[   ]2023-0908-131555-VALSDELLCOMPUTE-Proofs.log2023-09-08 20:16 379  
[   ]2023-0908-130346-VALSDELLCOMPUTE-Proofs.log2023-09-08 20:03 379  
[   ]2023-0908-125137-VALSDELLCOMPUTE-Proofs.log2023-09-08 19:51 379  
[   ]2023-0908-123928-VALSDELLCOMPUTE-Proofs.log2023-09-08 19:39 379  
[   ]2023-0908-122719-VALSDELLCOMPUTE-Proofs.log2023-09-08 19:27 379  
[   ]2023-0908-121510-VALSDELLCOMPUTE-Proofs.log2023-09-08 19:15 379  
[   ]2023-0908-120952-VALSDELLCOMPUTE-Proofs.log2023-09-08 19:09 351  
[   ]2023-0908-120937-VALSDELLCOMPUTE-Proofs.log2023-09-08 19:09 1.0K 
[   ]2023-0908-120301-VALSDELLCOMPUTE-Proofs.log2023-09-08 19:03 379  
[   ]2023-0908-115051-VALSDELLCOMPUTE-Proofs.log2023-09-08 18:50 379  
[   ]2023-0908-114906-VALSDELLCOMPUTE-Proofs.log2023-09-08 18:49 1.0K 
[   ]2023-0908-114854-VALSDELLCOMPUTE-Proofs.log2023-09-08 18:49 780  
[   ]2023-0908-114836-VALSDELLCOMPUTE-Proofs.log2023-09-08 18:48 351  
[   ]2023-0908-114245-VALSDELLCOMPUTE-Proofs.log2023-09-08 18:43 1.0K 
[   ]2023-0908-114233-VALSDELLCOMPUTE-Proofs.log2023-09-08 18:42 780  
[   ]2023-0908-113842-VALSDELLCOMPUTE-Proofs.log2023-09-08 18:38 379  
[   ]2023-0908-112631-VALSDELLCOMPUTE-Proofs.log2023-09-08 18:26 379  
[   ]2023-0908-111421-VALSDELLCOMPUTE-Proofs.log2023-09-08 18:14 379  
[   ]2023-0908-110210-VALSDELLCOMPUTE-Proofs.log2023-09-08 18:02 379  
[   ]2023-0908-105001-VALSDELLCOMPUTE-Proofs.log2023-09-08 17:50 379  
[   ]2023-0908-103751-VALSDELLCOMPUTE-Proofs.log2023-09-08 17:37 379  
[   ]2023-0908-103251-VALSDELLCOMPUTE-Proofs.log2023-09-08 17:33 1.0K 
[   ]2023-0908-103239-VALSDELLCOMPUTE-Proofs.log2023-09-08 17:32 780  
[   ]2023-0908-102542-VALSDELLCOMPUTE-Proofs.log2023-09-08 17:25 379  
[   ]2023-0908-101921-VALSDELLCOMPUTE-Proofs.log2023-09-08 17:19 351  
[   ]2023-0908-101906-VALSDELLCOMPUTE-Proofs.log2023-09-08 17:19 1.1K 
[   ]2023-0908-101841-VALSDELLCOMPUTE-Proofs.log2023-09-08 17:18 337  
[   ]2023-0908-101757-VALSDELLCOMPUTE-Proofs.log2023-09-08 17:18 649  
[   ]2023-0908-101745-VALSDELLCOMPUTE-Proofs.log2023-09-08 17:17 757  
[   ]2023-0908-101545-VALSDELLCOMPUTE-Proofs.log2023-09-08 17:16 1.0K 
[   ]2023-0908-101533-VALSDELLCOMPUTE-Proofs.log2023-09-08 17:15 351  
[   ]2023-0908-101521-VALSDELLCOMPUTE-Proofs.log2023-09-08 17:15 751  
[   ]2023-0908-101333-VALSDELLCOMPUTE-Proofs.log2023-09-08 17:13 379  
[   ]2023-0908-100123-VALSDELLCOMPUTE-Proofs.log2023-09-08 17:01 379  
[   ]2023-0908-094914-VALSDELLCOMPUTE-Proofs.log2023-09-08 16:49 379  
[   ]2023-0908-093702-VALSDELLCOMPUTE-Proofs.log2023-09-08 16:37 379  
[   ]2023-0908-092453-VALSDELLCOMPUTE-Proofs.log2023-09-08 16:24 379  
[   ]2023-0908-091244-VALSDELLCOMPUTE-Proofs.log2023-09-08 16:12 378  
[   ]2023-0908-090035-VALSDELLCOMPUTE-Proofs.log2023-09-08 16:00 379  
[   ]2023-0908-084826-VALSDELLCOMPUTE-Proofs.log2023-09-08 15:48 379  
[   ]2023-0908-083617-VALSDELLCOMPUTE-Proofs.log2023-09-08 15:36 379  
[   ]2023-0908-082408-VALSDELLCOMPUTE-Proofs.log2023-09-08 15:24 378  
[   ]2023-0908-081156-VALSDELLCOMPUTE-Proofs.log2023-09-08 15:12 378  
[   ]2023-0908-075944-VALSDELLCOMPUTE-Proofs.log2023-09-08 14:59 378  
[   ]2023-0908-074735-VALSDELLCOMPUTE-Proofs.log2023-09-08 14:47 379  
[   ]2023-0908-073526-VALSDELLCOMPUTE-Proofs.log2023-09-08 14:35 379  
[   ]2023-0908-072317-VALSDELLCOMPUTE-Proofs.log2023-09-08 14:23 379  
[   ]2023-0908-071108-VALSDELLCOMPUTE-Proofs.log2023-09-08 14:11 379  
[   ]2023-0908-065859-VALSDELLCOMPUTE-Proofs.log2023-09-08 13:59 379  
[   ]2023-0908-064650-VALSDELLCOMPUTE-Proofs.log2023-09-08 13:46 379  
[   ]2023-0908-063441-VALSDELLCOMPUTE-Proofs.log2023-09-08 13:34 379  
[   ]2023-0908-062232-VALSDELLCOMPUTE-Proofs.log2023-09-08 13:22 379  
[   ]2023-0908-061023-VALSDELLCOMPUTE-Proofs.log2023-09-08 13:10 379  
[   ]2023-0908-055814-VALSDELLCOMPUTE-Proofs.log2023-09-08 12:58 379  
[   ]2023-0908-054605-VALSDELLCOMPUTE-Proofs.log2023-09-08 12:46 379  
[   ]2023-0908-053359-VALSDELLCOMPUTE-Proofs.log2023-09-08 12:34 379  
[   ]2023-0908-052150-VALSDELLCOMPUTE-Proofs.log2023-09-08 12:21 379  
[   ]2023-0908-050941-VALSDELLCOMPUTE-Proofs.log2023-09-08 12:09 379  
[   ]2023-0908-045732-VALSDELLCOMPUTE-Proofs.log2023-09-08 11:57 379  
[   ]2023-0908-044523-VALSDELLCOMPUTE-Proofs.log2023-09-08 11:45 379  
[   ]2023-0908-043314-VALSDELLCOMPUTE-Proofs.log2023-09-08 11:33 379  
[   ]2023-0908-042105-VALSDELLCOMPUTE-Proofs.log2023-09-08 11:21 379  
[   ]2023-0908-040856-VALSDELLCOMPUTE-Proofs.log2023-09-08 11:08 379  
[   ]2023-0908-035732-VALSDELLCOMPUTE-Proofs.log2023-09-08 10:57 379  
[   ]2023-0908-032841-VALSDELLCOMPUTE-Proofs.log2023-09-08 10:30 822  
[   ]2023-0908-030423-VALSDELLCOMPUTE-Proofs.log2023-09-08 10:09 1.5K 
[   ]2023-0908-025611-VALSDELLCOMPUTE-Proofs.log2023-09-08 10:01 1.8K 
[   ]2023-0908-024632-VALSDELLCOMPUTE-Proofs.log2023-09-08 09:46 379  
[   ]2023-0908-023423-VALSDELLCOMPUTE-Proofs.log2023-09-08 09:34 379  
[   ]2023-0908-022214-VALSDELLCOMPUTE-Proofs.log2023-09-08 09:22 379  
[   ]2023-0908-021250-VALSDELLCOMPUTE-Proofs.log2023-09-08 09:12 379  
[   ]2023-0908-020041-VALSDELLCOMPUTE-Proofs.log2023-09-08 09:04 1.3K 
[   ]2023-0908-013005-VALSDELLCOMPUTE-Proofs.log2023-09-08 08:30 379  
[   ]2023-0908-011756-VALSDELLCOMPUTE-Proofs.log2023-09-08 08:17 379  
[   ]2023-0908-010547-VALSDELLCOMPUTE-Proofs.log2023-09-08 08:05 379  
[   ]2023-0908-005338-VALSDELLCOMPUTE-Proofs.log2023-09-08 07:53 379  
[   ]2023-0908-004129-VALSDELLCOMPUTE-Proofs.log2023-09-08 07:41 379  
[   ]2023-0908-002920-VALSDELLCOMPUTE-Proofs.log2023-09-08 07:29 379  
[   ]2023-0908-001711-VALSDELLCOMPUTE-Proofs.log2023-09-08 07:17 379  
[   ]2023-0908-000502-VALSDELLCOMPUTE-Proofs.log2023-09-08 07:05 379  
[   ]2023-0907-235253-VALSDELLCOMPUTE-Proofs.log2023-09-08 06:52 379  
[   ]2023-0907-234044-VALSDELLCOMPUTE-Proofs.log2023-09-08 06:40 379  
[   ]2023-0907-232835-VALSDELLCOMPUTE-Proofs.log2023-09-08 06:28 379  
[   ]2023-0907-231626-VALSDELLCOMPUTE-Proofs.log2023-09-08 06:16 379  
[   ]2023-0907-230417-VALSDELLCOMPUTE-Proofs.log2023-09-08 06:04 379  
[   ]2023-0907-225208-VALSDELLCOMPUTE-Proofs.log2023-09-08 05:52 379  
[   ]2023-0907-223959-VALSDELLCOMPUTE-Proofs.log2023-09-08 05:40 379  
[   ]2023-0907-222750-VALSDELLCOMPUTE-Proofs.log2023-09-08 05:27 379  
[   ]2023-0907-221541-VALSDELLCOMPUTE-Proofs.log2023-09-08 05:15 379  
[   ]2023-0907-220332-VALSDELLCOMPUTE-Proofs.log2023-09-08 05:03 379  
[   ]2023-0907-215123-VALSDELLCOMPUTE-Proofs.log2023-09-08 04:51 379  
[   ]2023-0907-213914-VALSDELLCOMPUTE-Proofs.log2023-09-08 04:39 379  
[   ]2023-0907-212705-VALSDELLCOMPUTE-Proofs.log2023-09-08 04:27 379  
[   ]2023-0907-211456-VALSDELLCOMPUTE-Proofs.log2023-09-08 04:15 379  
[   ]2023-0907-210247-VALSDELLCOMPUTE-Proofs.log2023-09-08 04:02 379  
[   ]2023-0907-205038-VALSDELLCOMPUTE-Proofs.log2023-09-08 03:50 378  
[   ]2023-0907-203829-VALSDELLCOMPUTE-Proofs.log2023-09-08 03:38 379  
[   ]2023-0907-202620-VALSDELLCOMPUTE-Proofs.log2023-09-08 03:26 379  
[   ]2023-0907-201411-VALSDELLCOMPUTE-Proofs.log2023-09-08 03:14 379  
[   ]2023-0907-200320-VALSDELLCOMPUTE-Proofs.log2023-09-08 03:03 379  
[   ]2023-0907-195111-VALSDELLCOMPUTE-Proofs.log2023-09-08 02:51 379  
[   ]2023-0907-193902-VALSDELLCOMPUTE-Proofs.log2023-09-08 02:39 379  
[   ]2023-0907-192653-VALSDELLCOMPUTE-Proofs.log2023-09-08 02:26 379  
[   ]2023-0907-191444-VALSDELLCOMPUTE-Proofs.log2023-09-08 02:14 379  
[   ]2023-0907-190235-VALSDELLCOMPUTE-Proofs.log2023-09-08 02:02 379  
[   ]2023-0907-185026-VALSDELLCOMPUTE-Proofs.log2023-09-08 01:50 379  
[   ]2023-0907-183817-VALSDELLCOMPUTE-Proofs.log2023-09-08 01:38 379  
[   ]2023-0907-182608-VALSDELLCOMPUTE-Proofs.log2023-09-08 01:26 379  
[   ]2023-0907-181359-VALSDELLCOMPUTE-Proofs.log2023-09-08 01:14 379  
[   ]2023-0907-180150-VALSDELLCOMPUTE-Proofs.log2023-09-08 01:01 379  
[   ]2023-0907-174759-VALSDELLCOMPUTE-Proofs.log2023-09-08 00:48 379  
[   ]2023-0907-173550-VALSDELLCOMPUTE-Proofs.log2023-09-08 00:35 379  
[   ]2023-0907-172341-VALSDELLCOMPUTE-Proofs.log2023-09-08 00:23 379  
[   ]2023-0907-171132-VALSDELLCOMPUTE-Proofs.log2023-09-08 00:11 379  
[   ]2023-0907-165923-VALSDELLCOMPUTE-Proofs.log2023-09-07 23:59 379  
[   ]2023-0907-164911-VALSDELLCOMPUTE-Proofs.log2023-09-07 23:49 379  
[   ]2023-0907-163702-VALSDELLCOMPUTE-Proofs.log2023-09-07 23:37 379  
[   ]2023-0907-162453-VALSDELLCOMPUTE-Proofs.log2023-09-07 23:24 379  
[   ]2023-0907-161244-VALSDELLCOMPUTE-Proofs.log2023-09-07 23:12 379  
[   ]2023-0907-160032-VALSDELLCOMPUTE-Proofs.log2023-09-07 23:00 379  
[   ]2023-0907-155229-VALSDELLCOMPUTE-Proofs.log2023-09-07 22:52 351  
[   ]2023-0907-155205-VALSDELLCOMPUTE-Proofs.log2023-09-07 22:52 949  
[   ]2023-0907-155153-VALSDELLCOMPUTE-Proofs.log2023-09-07 22:52 735  
[   ]2023-0907-155135-VALSDELLCOMPUTE-Proofs.log2023-09-07 22:51 638  
[   ]2023-0907-155129-VALSDELLCOMPUTE-Proofs.log2023-09-07 22:51 351  
[   ]2023-0907-155117-VALSDELLCOMPUTE-Proofs.log2023-09-07 22:51 735  
[   ]2023-0907-154902-VALSDELLCOMPUTE-Proofs.log2023-09-07 22:49 1.0K 
[   ]2023-0907-154847-VALSDELLCOMPUTE-Proofs.log2023-09-07 22:48 773  
[   ]2023-0907-154823-VALSDELLCOMPUTE-Proofs.log2023-09-07 22:48 379  
[   ]2023-0907-153611-VALSDELLCOMPUTE-Proofs.log2023-09-07 22:36 379  
[   ]2023-0907-153559-VALSDELLCOMPUTE-Proofs.log2023-09-07 22:36 352  
[   ]2023-0907-153304-VALSDELLCOMPUTE-Proofs.log2023-09-07 22:35 1.7K 
[   ]2023-0907-135622-VALSDELLCOMPUTE-Proofs.log2023-09-07 20:56 379  
[   ]2023-0907-134113-VALSDELLCOMPUTE-Proofs.log2023-09-07 20:41 379  
[   ]2023-0907-133200-VALSDELLCOMPUTE-Proofs.log2023-09-07 20:32 1.0K 
[   ]2023-0907-133148-VALSDELLCOMPUTE-Proofs.log2023-09-07 20:31 768  
[   ]2023-0907-132903-VALSDELLCOMPUTE-Proofs.log2023-09-07 20:29 379  
[   ]2023-0907-131654-VALSDELLCOMPUTE-Proofs.log2023-09-07 20:16 379  
[   ]2023-0907-130444-VALSDELLCOMPUTE-Proofs.log2023-09-07 20:04 379  
[   ]2023-0907-125234-VALSDELLCOMPUTE-Proofs.log2023-09-07 19:52 379  
[   ]2023-0907-125025-VALSDELLCOMPUTE-Proofs.log2023-09-07 19:50 1.0K 
[   ]2023-0907-125013-VALSDELLCOMPUTE-Proofs.log2023-09-07 19:50 763  
[   ]2023-0907-124122-VALSDELLCOMPUTE-Proofs.log2023-09-07 19:41 379  
[   ]2023-0907-122913-VALSDELLCOMPUTE-Proofs.log2023-09-07 19:29 379  
[   ]2023-0907-121648-VALSDELLCOMPUTE-Proofs.log2023-09-07 19:17 379  
[   ]2023-0907-120530-VALSDELLCOMPUTE-Proofs.log2023-09-07 19:05 379  
[   ]2023-0907-120051-VALSDELLCOMPUTE-Proofs.log2023-09-07 19:01 1.0K 
[   ]2023-0907-120036-VALSDELLCOMPUTE-Proofs.log2023-09-07 19:00 755  
[   ]2023-0907-120027-VALSDELLCOMPUTE-Proofs.log2023-09-07 19:00 351  
[   ]2023-0907-115948-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:59 648  
[   ]2023-0907-115930-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:59 760  
[   ]2023-0907-115759-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:58 1.0K 
[   ]2023-0907-115747-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:57 760  
[   ]2023-0907-115322-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:53 379  
[   ]2023-0907-114304-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:43 1.0K 
[   ]2023-0907-114249-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:42 768  
[   ]2023-0907-114113-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:41 379  
[   ]2023-0907-113641-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:37 1.0K 
[   ]2023-0907-113605-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:36 773  
[   ]2023-0907-113353-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:33 351  
[   ]2023-0907-113335-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:33 951  
[   ]2023-0907-113238-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:33 1.0K 
[   ]2023-0907-113220-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:32 773  
[   ]2023-0907-113114-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:31 351  
[   ]2023-0907-113053-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:31 952  
[   ]2023-0907-112905-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:29 379  
[   ]2023-0907-111714-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:17 351  
[   ]2023-0907-111656-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:17 379  
[   ]2023-0907-111617-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:16 337  
[   ]2023-0907-110447-VALSDELLCOMPUTE-Proofs.log2023-09-07 18:04 379  
[   ]2023-0907-105238-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:52 379  
[   ]2023-0907-104356-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:44 1.0K 
[   ]2023-0907-104344-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:43 780  
[   ]2023-0907-104029-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:40 379  
[   ]2023-0907-103708-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:37 1.0K 
[   ]2023-0907-103656-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:37 757  
[   ]2023-0907-103141-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:31 351  
[   ]2023-0907-103059-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:31 1.0K 
[   ]2023-0907-103044-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:30 775  
[   ]2023-0907-102820-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:28 379  
[   ]2023-0907-101611-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:16 378  
[   ]2023-0907-101008-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:10 1.0K 
[   ]2023-0907-100953-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:10 1.0K 
[   ]2023-0907-100911-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:09 351  
[   ]2023-0907-100856-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:09 1.0K 
[   ]2023-0907-100844-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:08 660  
[   ]2023-0907-100825-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:08 1.7K 
[   ]2023-0907-100812-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:08 776  
[   ]2023-0907-100403-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:04 379  
[   ]2023-0907-100336-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:03 351  
[   ]2023-0907-100321-VALSDELLCOMPUTE-Proofs.log2023-09-07 17:03 1.1K 
[   ]2023-0907-095154-VALSDELLCOMPUTE-Proofs.log2023-09-07 16:51 379  
[   ]2023-0907-093941-VALSDELLCOMPUTE-Proofs.log2023-09-07 16:39 379  
[   ]2023-0907-092729-VALSDELLCOMPUTE-Proofs.log2023-09-07 16:27 379  
[   ]2023-0907-091653-VALSDELLCOMPUTE-Proofs.log2023-09-07 16:16 379  
[   ]2023-0907-090441-VALSDELLCOMPUTE-Proofs.log2023-09-07 16:04 379  
[   ]2023-0907-085229-VALSDELLCOMPUTE-Proofs.log2023-09-07 15:52 379  
[   ]2023-0907-084017-VALSDELLCOMPUTE-Proofs.log2023-09-07 15:40 379  
[   ]2023-0907-082805-VALSDELLCOMPUTE-Proofs.log2023-09-07 15:28 379  
[   ]2023-0907-081553-VALSDELLCOMPUTE-Proofs.log2023-09-07 15:15 379  
[   ]2023-0907-080341-VALSDELLCOMPUTE-Proofs.log2023-09-07 15:03 379  
[   ]2023-0907-075129-VALSDELLCOMPUTE-Proofs.log2023-09-07 14:51 379  
[   ]2023-0907-073917-VALSDELLCOMPUTE-Proofs.log2023-09-07 14:39 378  
[   ]2023-0907-072705-VALSDELLCOMPUTE-Proofs.log2023-09-07 14:27 379  
[   ]2023-0907-071453-VALSDELLCOMPUTE-Proofs.log2023-09-07 14:14 379  
[   ]2023-0907-070241-VALSDELLCOMPUTE-Proofs.log2023-09-07 14:02 379  
[   ]2023-0907-065028-VALSDELLCOMPUTE-Proofs.log2023-09-07 13:53 1.1K 
[   ]2023-0907-063815-VALSDELLCOMPUTE-Proofs.log2023-09-07 13:38 379  
[   ]2023-0907-062603-VALSDELLCOMPUTE-Proofs.log2023-09-07 13:26 379  
[   ]2023-0907-061351-VALSDELLCOMPUTE-Proofs.log2023-09-07 13:13 379  
[   ]2023-0907-060139-VALSDELLCOMPUTE-Proofs.log2023-09-07 13:01 379  
[   ]2023-0907-054927-VALSDELLCOMPUTE-Proofs.log2023-09-07 12:49 379  
[   ]2023-0907-053715-VALSDELLCOMPUTE-Proofs.log2023-09-07 12:37 379  
[   ]2023-0907-052503-VALSDELLCOMPUTE-Proofs.log2023-09-07 12:25 379  
[   ]2023-0907-045439-VALSDELLCOMPUTE-Proofs.log2023-09-07 11:54 379  
[   ]2023-0907-044227-VALSDELLCOMPUTE-Proofs.log2023-09-07 11:42 379  
[   ]2023-0907-043012-VALSDELLCOMPUTE-Proofs.log2023-09-07 11:30 379  
[   ]2023-0907-041815-VALSDELLCOMPUTE-Proofs.log2023-09-07 11:18 379  
[   ]2023-0907-040621-VALSDELLCOMPUTE-Proofs.log2023-09-07 11:06 379  
[   ]2023-0907-035409-VALSDELLCOMPUTE-Proofs.log2023-09-07 10:54 379  
[   ]2023-0907-034157-VALSDELLCOMPUTE-Proofs.log2023-09-07 10:42 379  
[   ]2023-0907-032945-VALSDELLCOMPUTE-Proofs.log2023-09-07 10:29 379  
[   ]2023-0907-031733-VALSDELLCOMPUTE-Proofs.log2023-09-07 10:17 379  
[   ]2023-0907-022551-VALSDELLCOMPUTE-Proofs.log2023-09-07 09:37 2.5K 
[   ]2023-0907-020739-VALSDELLCOMPUTE-Proofs.log2023-09-07 09:13 1.7K 
[   ]2023-0907-014315-VALSDELLCOMPUTE-Proofs.log2023-09-07 08:43 379  
[   ]2023-0907-013103-VALSDELLCOMPUTE-Proofs.log2023-09-07 08:31 378  
[   ]2023-0907-011848-VALSDELLCOMPUTE-Proofs.log2023-09-07 08:19 590  
[   ]2023-0907-005409-VALSDELLCOMPUTE-Proofs.log2023-09-07 07:54 379  
[   ]2023-0907-004157-VALSDELLCOMPUTE-Proofs.log2023-09-07 07:42 379  
[   ]2023-0907-002945-VALSDELLCOMPUTE-Proofs.log2023-09-07 07:29 379  
[   ]2023-0907-001733-VALSDELLCOMPUTE-Proofs.log2023-09-07 07:17 379  
[   ]2023-0907-000521-VALSDELLCOMPUTE-Proofs.log2023-09-07 07:05 378  
[   ]2023-0907-000155-VALSDELLCOMPUTE-Proofs.log2023-09-07 07:02 378  
[   ]2023-0906-234943-VALSDELLCOMPUTE-Proofs.log2023-09-07 06:49 379  
[   ]2023-0906-233731-VALSDELLCOMPUTE-Proofs.log2023-09-07 06:37 379  
[   ]2023-0906-232519-VALSDELLCOMPUTE-Proofs.log2023-09-07 06:25 379  
[   ]2023-0906-231307-VALSDELLCOMPUTE-Proofs.log2023-09-07 06:13 379  
[   ]2023-0906-230055-VALSDELLCOMPUTE-Proofs.log2023-09-07 06:01 379  
[   ]2023-0906-224755-VALSDELLCOMPUTE-Proofs.log2023-09-07 05:48 379  
[   ]2023-0906-223543-VALSDELLCOMPUTE-Proofs.log2023-09-07 05:35 379  
[   ]2023-0906-221119-VALSDELLCOMPUTE-Proofs.log2023-09-07 05:11 379  
[   ]2023-0906-215907-VALSDELLCOMPUTE-Proofs.log2023-09-07 04:59 379  
[   ]2023-0906-213143-VALSDELLCOMPUTE-Proofs.log2023-09-07 04:31 379  
[   ]2023-0906-211931-VALSDELLCOMPUTE-Proofs.log2023-09-07 04:19 379  
[   ]2023-0906-210719-VALSDELLCOMPUTE-Proofs.log2023-09-07 04:07 379  
[   ]2023-0906-205507-VALSDELLCOMPUTE-Proofs.log2023-09-07 03:55 379  
[   ]2023-0906-204255-VALSDELLCOMPUTE-Proofs.log2023-09-07 03:43 378  
[   ]2023-0906-203043-VALSDELLCOMPUTE-Proofs.log2023-09-07 03:30 379  
[   ]2023-0906-201831-VALSDELLCOMPUTE-Proofs.log2023-09-07 03:18 379  
[   ]2023-0906-200619-VALSDELLCOMPUTE-Proofs.log2023-09-07 03:06 379  
[   ]2023-0906-195407-VALSDELLCOMPUTE-Proofs.log2023-09-07 02:54 378  
[   ]2023-0906-194155-VALSDELLCOMPUTE-Proofs.log2023-09-07 02:42 379  
[   ]2023-0906-192943-VALSDELLCOMPUTE-Proofs.log2023-09-07 02:29 379  
[   ]2023-0906-191731-VALSDELLCOMPUTE-Proofs.log2023-09-07 02:17 379  
[   ]2023-0906-190710-VALSDELLCOMPUTE-Proofs.log2023-09-07 02:07 379  
[   ]2023-0906-185458-VALSDELLCOMPUTE-Proofs.log2023-09-07 01:55 379  
[   ]2023-0906-184246-VALSDELLCOMPUTE-Proofs.log2023-09-07 01:42 379  
[   ]2023-0906-183031-VALSDELLCOMPUTE-Proofs.log2023-09-07 01:30 379  
[   ]2023-0906-181819-VALSDELLCOMPUTE-Proofs.log2023-09-07 01:18 379  
[   ]2023-0906-180607-VALSDELLCOMPUTE-Proofs.log2023-09-07 01:06 379  
[   ]2023-0906-175355-VALSDELLCOMPUTE-Proofs.log2023-09-07 00:54 379  
[   ]2023-0906-174143-VALSDELLCOMPUTE-Proofs.log2023-09-07 00:41 379  
[   ]2023-0906-172930-VALSDELLCOMPUTE-Proofs.log2023-09-07 00:29 378  
[   ]2023-0906-171715-VALSDELLCOMPUTE-Proofs.log2023-09-07 00:17 379  
[   ]2023-0906-170503-VALSDELLCOMPUTE-Proofs.log2023-09-07 00:05 379  
[   ]2023-0906-165342-VALSDELLCOMPUTE-Proofs.log2023-09-06 23:53 379  
[   ]2023-0906-164048-VALSDELLCOMPUTE-Proofs.log2023-09-06 23:40 379  
[   ]2023-0906-162836-VALSDELLCOMPUTE-Proofs.log2023-09-06 23:28 379  
[   ]2023-0906-161624-VALSDELLCOMPUTE-Proofs.log2023-09-06 23:16 379  
[   ]2023-0906-160415-VALSDELLCOMPUTE-Proofs.log2023-09-06 23:04 378  
[   ]2023-0906-155206-VALSDELLCOMPUTE-Proofs.log2023-09-06 22:52 379  
[   ]2023-0906-153956-VALSDELLCOMPUTE-Proofs.log2023-09-06 22:40 379  
[   ]2023-0906-152630-VALSDELLCOMPUTE-Proofs.log2023-09-06 22:26 379  
[   ]2023-0906-152606-VALSDELLCOMPUTE-Proofs.log2023-09-06 22:26 1.0K 
[   ]2023-0906-152601-VALSDELLCOMPUTE-Proofs.log2023-09-06 22:26 351  
[   ]2023-0906-152548-VALSDELLCOMPUTE-Proofs.log2023-09-06 22:25 777  
[   ]2023-0906-151421-VALSDELLCOMPUTE-Proofs.log2023-09-06 22:14 379  
[   ]2023-0906-150211-VALSDELLCOMPUTE-Proofs.log2023-09-06 22:02 379  
[   ]2023-0906-145002-VALSDELLCOMPUTE-Proofs.log2023-09-06 21:50 379  
[   ]2023-0906-143753-VALSDELLCOMPUTE-Proofs.log2023-09-06 21:37 379  
[   ]2023-0906-142544-VALSDELLCOMPUTE-Proofs.log2023-09-06 21:25 379  
[   ]2023-0906-141332-VALSDELLCOMPUTE-Proofs.log2023-09-06 21:13 378  
[   ]2023-0906-140123-VALSDELLCOMPUTE-Proofs.log2023-09-06 21:01 379  
[   ]2023-0906-134914-VALSDELLCOMPUTE-Proofs.log2023-09-06 20:49 379  
[   ]2023-0906-133705-VALSDELLCOMPUTE-Proofs.log2023-09-06 20:37 379  
[   ]2023-0906-132456-VALSDELLCOMPUTE-Proofs.log2023-09-06 20:25 379  
[   ]2023-0906-131244-VALSDELLCOMPUTE-Proofs.log2023-09-06 20:12 379  
[   ]2023-0906-130035-VALSDELLCOMPUTE-Proofs.log2023-09-06 20:00 379  
[   ]2023-0906-124826-VALSDELLCOMPUTE-Proofs.log2023-09-06 19:48 379  
[   ]2023-0906-124644-VALSDELLCOMPUTE-Proofs.log2023-09-06 19:47 1.0K 
[   ]2023-0906-124632-VALSDELLCOMPUTE-Proofs.log2023-09-06 19:46 351  
[   ]2023-0906-124617-VALSDELLCOMPUTE-Proofs.log2023-09-06 19:46 757  
[   ]2023-0906-123617-VALSDELLCOMPUTE-Proofs.log2023-09-06 19:36 378  
[   ]2023-0906-123438-VALSDELLCOMPUTE-Proofs.log2023-09-06 19:34 1.0K 
[   ]2023-0906-123028-VALSDELLCOMPUTE-Proofs.log2023-09-06 19:30 351  
[   ]2023-0906-123013-VALSDELLCOMPUTE-Proofs.log2023-09-06 19:30 972  
[   ]2023-0906-122407-VALSDELLCOMPUTE-Proofs.log2023-09-06 19:24 378  
[   ]2023-0906-122304-VALSDELLCOMPUTE-Proofs.log2023-09-06 19:23 1.0K 
[   ]2023-0906-122252-VALSDELLCOMPUTE-Proofs.log2023-09-06 19:23 784  
[   ]2023-0906-122131-VALSDELLCOMPUTE-Proofs.log2023-09-06 19:21 1.0K 
[   ]2023-0906-122119-VALSDELLCOMPUTE-Proofs.log2023-09-06 19:21 779  
[   ]2023-0906-122104-VALSDELLCOMPUTE-Proofs.log2023-09-06 19:21 1.0K 
[   ]2023-0906-122052-VALSDELLCOMPUTE-Proofs.log2023-09-06 19:21 771  
[   ]2023-0906-121158-VALSDELLCOMPUTE-Proofs.log2023-09-06 19:12 378  
[   ]2023-0906-115949-VALSDELLCOMPUTE-Proofs.log2023-09-06 18:59 379  
[   ]2023-0906-114737-VALSDELLCOMPUTE-Proofs.log2023-09-06 18:47 378  
[   ]2023-0906-113528-VALSDELLCOMPUTE-Proofs.log2023-09-06 18:35 378  
[   ]2023-0906-112318-VALSDELLCOMPUTE-Proofs.log2023-09-06 18:23 378  
[   ]2023-0906-111109-VALSDELLCOMPUTE-Proofs.log2023-09-06 18:11 378  
[   ]2023-0906-110417-VALSDELLCOMPUTE-Proofs.log2023-09-06 18:04 1.0K 
[   ]2023-0906-110408-VALSDELLCOMPUTE-Proofs.log2023-09-06 18:04 351  
[   ]2023-0906-110356-VALSDELLCOMPUTE-Proofs.log2023-09-06 18:04 759  
[   ]2023-0906-110047-VALSDELLCOMPUTE-Proofs.log2023-09-06 18:00 351  
[   ]2023-0906-110035-VALSDELLCOMPUTE-Proofs.log2023-09-06 18:00 1.0K 
[   ]2023-0906-105859-VALSDELLCOMPUTE-Proofs.log2023-09-06 17:59 378  
[   ]2023-0906-104651-VALSDELLCOMPUTE-Proofs.log2023-09-06 17:46 378  
[   ]2023-0906-103939-VALSDELLCOMPUTE-Proofs.log2023-09-06 17:39 351  
[   ]2023-0906-103915-VALSDELLCOMPUTE-Proofs.log2023-09-06 17:39 1.0K 
[   ]2023-0906-103442-VALSDELLCOMPUTE-Proofs.log2023-09-06 17:34 378  
[   ]2023-0906-102515-VALSDELLCOMPUTE-Proofs.log2023-09-06 17:25 1.0K 
[   ]2023-0906-102503-VALSDELLCOMPUTE-Proofs.log2023-09-06 17:25 793  
[   ]2023-0906-102454-VALSDELLCOMPUTE-Proofs.log2023-09-06 17:24 351  
[   ]2023-0906-102233-VALSDELLCOMPUTE-Proofs.log2023-09-06 17:22 379  
[   ]2023-0906-101023-VALSDELLCOMPUTE-Proofs.log2023-09-06 17:10 378  
[   ]2023-0906-100632-VALSDELLCOMPUTE-Proofs.log2023-09-06 17:06 1.0K 
[   ]2023-0906-100623-VALSDELLCOMPUTE-Proofs.log2023-09-06 17:06 351  
[   ]2023-0906-095814-VALSDELLCOMPUTE-Proofs.log2023-09-06 16:58 379  
[   ]2023-0906-094605-VALSDELLCOMPUTE-Proofs.log2023-09-06 16:46 378  
[   ]2023-0906-093647-VALSDELLCOMPUTE-Proofs.log2023-09-06 16:37 953  
[   ]2023-0906-093634-VALSDELLCOMPUTE-Proofs.log2023-09-06 16:36 737  
[   ]2023-0906-093458-VALSDELLCOMPUTE-Proofs.log2023-09-06 16:35 351  
[   ]2023-0906-093355-VALSDELLCOMPUTE-Proofs.log2023-09-06 16:34 489  
[   ]2023-0906-090034-VALSDELLCOMPUTE-Proofs.log2023-09-06 16:00 379  
[   ]2023-0906-084825-VALSDELLCOMPUTE-Proofs.log2023-09-06 15:48 378  
[   ]2023-0906-083534-VALSDELLCOMPUTE-Proofs.log2023-09-06 15:35 378  
[   ]2023-0906-082325-VALSDELLCOMPUTE-Proofs.log2023-09-06 15:23 378  
[   ]2023-0906-081113-VALSDELLCOMPUTE-Proofs.log2023-09-06 15:11 378  
[   ]2023-0906-075901-VALSDELLCOMPUTE-Proofs.log2023-09-06 14:59 378  
[   ]2023-0906-074652-VALSDELLCOMPUTE-Proofs.log2023-09-06 14:46 378  
[   ]2023-0906-073443-VALSDELLCOMPUTE-Proofs.log2023-09-06 14:34 378  
[   ]2023-0906-072234-VALSDELLCOMPUTE-Proofs.log2023-09-06 14:22 378  
[   ]2023-0906-071025-VALSDELLCOMPUTE-Proofs.log2023-09-06 14:10 378  
[   ]2023-0906-065813-VALSDELLCOMPUTE-Proofs.log2023-09-06 13:58 378  
[   ]2023-0906-064604-VALSDELLCOMPUTE-Proofs.log2023-09-06 13:46 378  
[   ]2023-0906-063637-VALSDELLCOMPUTE-Proofs.log2023-09-06 13:36 378  
[   ]2023-0906-063013-VALSDELLCOMPUTE-Proofs.log2023-09-06 13:30 378  
[   ]2023-0906-061804-VALSDELLCOMPUTE-Proofs.log2023-09-06 13:18 378  
[   ]2023-0906-060555-VALSDELLCOMPUTE-Proofs.log2023-09-06 13:06 379  
[   ]2023-0906-055346-VALSDELLCOMPUTE-Proofs.log2023-09-06 12:53 378  
[   ]2023-0906-054137-VALSDELLCOMPUTE-Proofs.log2023-09-06 12:41 379  
[   ]2023-0906-052928-VALSDELLCOMPUTE-Proofs.log2023-09-06 12:29 378  
[   ]2023-0906-051719-VALSDELLCOMPUTE-Proofs.log2023-09-06 12:17 378  
[   ]2023-0906-050510-VALSDELLCOMPUTE-Proofs.log2023-09-06 12:05 378  
[   ]2023-0906-045301-VALSDELLCOMPUTE-Proofs.log2023-09-06 11:53 378  
[   ]2023-0906-044051-VALSDELLCOMPUTE-Proofs.log2023-09-06 11:40 378  
[   ]2023-0906-042842-VALSDELLCOMPUTE-Proofs.log2023-09-06 11:28 378  
[   ]2023-0906-041633-VALSDELLCOMPUTE-Proofs.log2023-09-06 11:16 378  
[   ]2023-0906-040421-VALSDELLCOMPUTE-Proofs.log2023-09-06 11:04 378  
[   ]2023-0906-035212-VALSDELLCOMPUTE-Proofs.log2023-09-06 10:52 378  
[   ]2023-0906-034003-VALSDELLCOMPUTE-Proofs.log2023-09-06 10:40 378  
[   ]2023-0906-032751-VALSDELLCOMPUTE-Proofs.log2023-09-06 10:27 378  
[   ]2023-0906-031542-VALSDELLCOMPUTE-Proofs.log2023-09-06 10:15 378  
[   ]2023-0906-030330-VALSDELLCOMPUTE-Proofs.log2023-09-06 10:03 378  
[   ]2023-0906-020848-VALSDELLCOMPUTE-Proofs.log2023-09-06 09:08 378  
[   ]2023-0906-015639-VALSDELLCOMPUTE-Proofs.log2023-09-06 08:56 378  
[   ]2023-0906-014430-VALSDELLCOMPUTE-Proofs.log2023-09-06 08:44 378  
[   ]2023-0906-013221-VALSDELLCOMPUTE-Proofs.log2023-09-06 08:32 378  
[   ]2023-0906-012012-VALSDELLCOMPUTE-Proofs.log2023-09-06 08:20 378  
[   ]2023-0906-010839-VALSDELLCOMPUTE-Proofs.log2023-09-06 08:08 378  
[   ]2023-0906-005630-VALSDELLCOMPUTE-Proofs.log2023-09-06 07:56 378  
[   ]2023-0906-004420-VALSDELLCOMPUTE-Proofs.log2023-09-06 07:44 378  
[   ]2023-0906-003210-VALSDELLCOMPUTE-Proofs.log2023-09-06 07:32 378  
[   ]2023-0905-235110-VALSDELLCOMPUTE-Proofs.log2023-09-06 06:51 378  
[   ]2023-0905-233901-VALSDELLCOMPUTE-Proofs.log2023-09-06 06:39 378  
[   ]2023-0905-232652-VALSDELLCOMPUTE-Proofs.log2023-09-06 06:26 378  
[   ]2023-0905-231440-VALSDELLCOMPUTE-Proofs.log2023-09-06 06:14 378  
[   ]2023-0905-230231-VALSDELLCOMPUTE-Proofs.log2023-09-06 06:02 378  
[   ]2023-0905-225022-VALSDELLCOMPUTE-Proofs.log2023-09-06 05:50 378  
[   ]2023-0905-223810-VALSDELLCOMPUTE-Proofs.log2023-09-06 05:38 378  
[   ]2023-0905-222601-VALSDELLCOMPUTE-Proofs.log2023-09-06 05:27 711  
[   ]2023-0905-221431-VALSDELLCOMPUTE-Proofs.log2023-09-06 05:15 489  
[   ]2023-0905-221107-VALSDELLCOMPUTE-Proofs.log2023-09-06 05:11 378  
[   ]2023-0905-215858-VALSDELLCOMPUTE-Proofs.log2023-09-06 04:59 378  
[   ]2023-0905-214649-VALSDELLCOMPUTE-Proofs.log2023-09-06 04:46 378  
[   ]2023-0905-213440-VALSDELLCOMPUTE-Proofs.log2023-09-06 04:34 378  
[   ]2023-0905-212231-VALSDELLCOMPUTE-Proofs.log2023-09-06 04:22 378  
[   ]2023-0905-211022-VALSDELLCOMPUTE-Proofs.log2023-09-06 04:10 378  
[   ]2023-0905-205813-VALSDELLCOMPUTE-Proofs.log2023-09-06 03:58 378  
[   ]2023-0905-204601-VALSDELLCOMPUTE-Proofs.log2023-09-06 03:46 378  
[   ]2023-0905-203349-VALSDELLCOMPUTE-Proofs.log2023-09-06 03:33 378  
[   ]2023-0905-202140-VALSDELLCOMPUTE-Proofs.log2023-09-06 03:21 378  
[   ]2023-0905-200931-VALSDELLCOMPUTE-Proofs.log2023-09-06 03:09 378  
[   ]2023-0905-195722-VALSDELLCOMPUTE-Proofs.log2023-09-06 02:57 379  
[   ]2023-0905-194510-VALSDELLCOMPUTE-Proofs.log2023-09-06 02:45 378  
[   ]2023-0905-193301-VALSDELLCOMPUTE-Proofs.log2023-09-06 02:33 378  
[   ]2023-0905-192052-VALSDELLCOMPUTE-Proofs.log2023-09-06 02:20 378  
[   ]2023-0905-190840-VALSDELLCOMPUTE-Proofs.log2023-09-06 02:08 378  
[   ]2023-0905-185628-VALSDELLCOMPUTE-Proofs.log2023-09-06 01:56 379  
[   ]2023-0905-184419-VALSDELLCOMPUTE-Proofs.log2023-09-06 01:44 379  
[   ]2023-0905-183210-VALSDELLCOMPUTE-Proofs.log2023-09-06 01:32 378  
[   ]2023-0905-182137-VALSDELLCOMPUTE-Proofs.log2023-09-06 01:21 378  
[   ]2023-0905-180928-VALSDELLCOMPUTE-Proofs.log2023-09-06 01:09 378  
[   ]2023-0905-175719-VALSDELLCOMPUTE-Proofs.log2023-09-06 00:57 378  
[   ]2023-0905-174507-VALSDELLCOMPUTE-Proofs.log2023-09-06 00:45 378  
[   ]2023-0905-173254-VALSDELLCOMPUTE-Proofs.log2023-09-06 00:32 378  
[   ]2023-0905-172045-VALSDELLCOMPUTE-Proofs.log2023-09-06 00:20 378  
[   ]2023-0905-170836-VALSDELLCOMPUTE-Proofs.log2023-09-06 00:08 378  
[   ]2023-0905-165627-VALSDELLCOMPUTE-Proofs.log2023-09-05 23:56 378  
[   ]2023-0905-164418-VALSDELLCOMPUTE-Proofs.log2023-09-05 23:44 378  
[   ]2023-0905-163209-VALSDELLCOMPUTE-Proofs.log2023-09-05 23:32 378  
[   ]2023-0905-161957-VALSDELLCOMPUTE-Proofs.log2023-09-05 23:20 378  
[   ]2023-0905-160748-VALSDELLCOMPUTE-Proofs.log2023-09-05 23:07 378  
[   ]2023-0905-155539-VALSDELLCOMPUTE-Proofs.log2023-09-05 22:55 378  
[   ]2023-0905-154330-VALSDELLCOMPUTE-Proofs.log2023-09-05 22:43 378  
[   ]2023-0905-153118-VALSDELLCOMPUTE-Proofs.log2023-09-05 22:31 378  
[   ]2023-0905-151909-VALSDELLCOMPUTE-Proofs.log2023-09-05 22:19 378  
[   ]2023-0905-150700-VALSDELLCOMPUTE-Proofs.log2023-09-05 22:07 378  
[   ]2023-0905-145451-VALSDELLCOMPUTE-Proofs.log2023-09-05 21:54 378  
[   ]2023-0905-144242-VALSDELLCOMPUTE-Proofs.log2023-09-05 21:42 378  
[   ]2023-0905-143030-VALSDELLCOMPUTE-Proofs.log2023-09-05 21:30 378  
[   ]2023-0905-141809-VALSDELLCOMPUTE-Proofs.log2023-09-05 21:18 378  
[   ]2023-0905-141036-VALSDELLCOMPUTE-Proofs.log2023-09-05 21:10 351  
[   ]2023-0905-141021-VALSDELLCOMPUTE-Proofs.log2023-09-05 21:10 964  
[   ]2023-0905-140657-VALSDELLCOMPUTE-Proofs.log2023-09-05 21:07 377  
[   ]2023-0905-140618-VALSDELLCOMPUTE-Proofs.log2023-09-05 21:06 1.0K 
[   ]2023-0905-140606-VALSDELLCOMPUTE-Proofs.log2023-09-05 21:06 754  
[   ]2023-0905-135445-VALSDELLCOMPUTE-Proofs.log2023-09-05 20:54 377  
[   ]2023-0905-134236-VALSDELLCOMPUTE-Proofs.log2023-09-05 20:42 377  
[   ]2023-0905-133027-VALSDELLCOMPUTE-Proofs.log2023-09-05 20:30 377  
[   ]2023-0905-131818-VALSDELLCOMPUTE-Proofs.log2023-09-05 20:18 377  
[   ]2023-0905-130606-VALSDELLCOMPUTE-Proofs.log2023-09-05 20:06 377  
[   ]2023-0905-125354-VALSDELLCOMPUTE-Proofs.log2023-09-05 19:53 377  
[   ]2023-0905-124145-VALSDELLCOMPUTE-Proofs.log2023-09-05 19:41 377  
[   ]2023-0905-122936-VALSDELLCOMPUTE-Proofs.log2023-09-05 19:29 377  
[   ]2023-0905-121724-VALSDELLCOMPUTE-Proofs.log2023-09-05 19:17 377  
[   ]2023-0905-120514-VALSDELLCOMPUTE-Proofs.log2023-09-05 19:05 377  
[   ]2023-0905-115303-VALSDELLCOMPUTE-Proofs.log2023-09-05 18:53 377  
[   ]2023-0905-114054-VALSDELLCOMPUTE-Proofs.log2023-09-05 18:41 377  
[   ]2023-0905-112845-VALSDELLCOMPUTE-Proofs.log2023-09-05 18:28 377  
[   ]2023-0905-111636-VALSDELLCOMPUTE-Proofs.log2023-09-05 18:16 377  
[   ]2023-0905-110412-VALSDELLCOMPUTE-Proofs.log2023-09-05 18:04 377  
[   ]2023-0905-105200-VALSDELLCOMPUTE-Proofs.log2023-09-05 17:52 377  
[   ]2023-0905-103857-VALSDELLCOMPUTE-Proofs.log2023-09-05 17:39 377  
[   ]2023-0905-102848-VALSDELLCOMPUTE-Proofs.log2023-09-05 17:28 1.0K 
[   ]2023-0905-102742-VALSDELLCOMPUTE-Proofs.log2023-09-05 17:27 377  
[   ]2023-0905-102727-VALSDELLCOMPUTE-Proofs.log2023-09-05 17:27 1.1K 
[   ]2023-0905-102609-VALSDELLCOMPUTE-Proofs.log2023-09-05 17:26 350  
[   ]2023-0905-102557-VALSDELLCOMPUTE-Proofs.log2023-09-05 17:26 1.0K 
[   ]2023-0905-102551-VALSDELLCOMPUTE-Proofs.log2023-09-05 17:25 350  
[   ]2023-0905-101526-VALSDELLCOMPUTE-Proofs.log2023-09-05 17:15 377  
[   ]2023-0905-100317-VALSDELLCOMPUTE-Proofs.log2023-09-05 17:03 377  
[   ]2023-0905-095109-VALSDELLCOMPUTE-Proofs.log2023-09-05 16:51 377  
[   ]2023-0905-093900-VALSDELLCOMPUTE-Proofs.log2023-09-05 16:39 377  
[   ]2023-0905-092651-VALSDELLCOMPUTE-Proofs.log2023-09-05 16:26 377  
[   ]2023-0905-091442-VALSDELLCOMPUTE-Proofs.log2023-09-05 16:14 377  
[   ]2023-0905-090233-VALSDELLCOMPUTE-Proofs.log2023-09-05 16:02 377  
[   ]2023-0905-085024-VALSDELLCOMPUTE-Proofs.log2023-09-05 15:50 377  
[   ]2023-0905-083812-VALSDELLCOMPUTE-Proofs.log2023-09-05 15:38 377  
[   ]2023-0905-082600-VALSDELLCOMPUTE-Proofs.log2023-09-05 15:26 377  
[   ]2023-0905-081351-VALSDELLCOMPUTE-Proofs.log2023-09-05 15:13 377  
[   ]2023-0905-080142-VALSDELLCOMPUTE-Proofs.log2023-09-05 15:01 377  
[   ]2023-0905-074933-VALSDELLCOMPUTE-Proofs.log2023-09-05 14:49 377  
[   ]2023-0905-073724-VALSDELLCOMPUTE-Proofs.log2023-09-05 14:37 377  
[   ]2023-0905-072515-VALSDELLCOMPUTE-Proofs.log2023-09-05 14:25 377  
[   ]2023-0905-071306-VALSDELLCOMPUTE-Proofs.log2023-09-05 14:13 377  
[   ]2023-0905-070057-VALSDELLCOMPUTE-Proofs.log2023-09-05 14:01 377  
[   ]2023-0905-064848-VALSDELLCOMPUTE-Proofs.log2023-09-05 13:48 377  
[   ]2023-0905-063712-VALSDELLCOMPUTE-Proofs.log2023-09-05 13:37 377  
[   ]2023-0905-062503-VALSDELLCOMPUTE-Proofs.log2023-09-05 13:25 377  
[   ]2023-0905-061254-VALSDELLCOMPUTE-Proofs.log2023-09-05 13:12 377  
[   ]2023-0905-060045-VALSDELLCOMPUTE-Proofs.log2023-09-05 13:00 377  
[   ]2023-0905-054836-VALSDELLCOMPUTE-Proofs.log2023-09-05 12:48 377  
[   ]2023-0905-053627-VALSDELLCOMPUTE-Proofs.log2023-09-05 12:36 377  
[   ]2023-0905-052418-VALSDELLCOMPUTE-Proofs.log2023-09-05 12:24 377  
[   ]2023-0905-051209-VALSDELLCOMPUTE-Proofs.log2023-09-05 12:12 377  
[   ]2023-0905-050000-VALSDELLCOMPUTE-Proofs.log2023-09-05 12:00 377  
[   ]2023-0905-044751-VALSDELLCOMPUTE-Proofs.log2023-09-05 11:47 377  
[   ]2023-0905-043542-VALSDELLCOMPUTE-Proofs.log2023-09-05 11:35 377  
[   ]2023-0905-042333-VALSDELLCOMPUTE-Proofs.log2023-09-05 11:23 377  
[   ]2023-0905-041124-VALSDELLCOMPUTE-Proofs.log2023-09-05 11:11 377  
[   ]2023-0905-035915-VALSDELLCOMPUTE-Proofs.log2023-09-05 10:59 377  
[   ]2023-0905-030248-VALSDELLCOMPUTE-Proofs.log2023-09-05 10:02 377  
[   ]2023-0905-025039-VALSDELLCOMPUTE-Proofs.log2023-09-05 09:50 377  
[   ]2023-0905-023830-VALSDELLCOMPUTE-Proofs.log2023-09-05 09:38 377  
[   ]2023-0905-022621-VALSDELLCOMPUTE-Proofs.log2023-09-05 09:26 377  
[   ]2023-0905-021412-VALSDELLCOMPUTE-Proofs.log2023-09-05 09:14 377  
[   ]2023-0905-020203-VALSDELLCOMPUTE-Proofs.log2023-09-05 09:02 377  
[   ]2023-0905-014954-VALSDELLCOMPUTE-Proofs.log2023-09-05 08:49 377  
[   ]2023-0905-012236-VALSDELLCOMPUTE-Proofs.log2023-09-05 08:22 377  
[   ]2023-0905-011027-VALSDELLCOMPUTE-Proofs.log2023-09-05 08:10 377  
[   ]2023-0905-005818-VALSDELLCOMPUTE-Proofs.log2023-09-05 07:58 377  
[   ]2023-0905-004500-VALSDELLCOMPUTE-Proofs.log2023-09-05 07:45 377  
[   ]2023-0905-003251-VALSDELLCOMPUTE-Proofs.log2023-09-05 07:33 377  
[   ]2023-0905-002042-VALSDELLCOMPUTE-Proofs.log2023-09-05 07:20 377  
[   ]2023-0904-235624-VALSDELLCOMPUTE-Proofs.log2023-09-05 06:56 377  
[   ]2023-0904-234415-VALSDELLCOMPUTE-Proofs.log2023-09-05 06:44 377  
[   ]2023-0904-233206-VALSDELLCOMPUTE-Proofs.log2023-09-05 06:32 488  
[   ]2023-0904-231033-VALSDELLCOMPUTE-Proofs.log2023-09-05 06:10 377  
[   ]2023-0904-225824-VALSDELLCOMPUTE-Proofs.log2023-09-05 05:58 377  
[   ]2023-0904-224615-VALSDELLCOMPUTE-Proofs.log2023-09-05 05:46 377  
[   ]2023-0904-223336-VALSDELLCOMPUTE-Proofs.log2023-09-05 05:33 377  
[   ]2023-0904-222118-VALSDELLCOMPUTE-Proofs.log2023-09-05 05:21 377  
[   ]2023-0904-221009-VALSDELLCOMPUTE-Proofs.log2023-09-05 05:10 377  
[   ]2023-0904-215800-VALSDELLCOMPUTE-Proofs.log2023-09-05 04:58 377  
[   ]2023-0904-214551-VALSDELLCOMPUTE-Proofs.log2023-09-05 04:45 377  
[   ]2023-0904-213342-VALSDELLCOMPUTE-Proofs.log2023-09-05 04:33 377  
[   ]2023-0904-212048-VALSDELLCOMPUTE-Proofs.log2023-09-05 04:20 377  
[   ]2023-0904-210912-VALSDELLCOMPUTE-Proofs.log2023-09-05 04:09 377  
[   ]2023-0904-205703-VALSDELLCOMPUTE-Proofs.log2023-09-05 03:57 377  
[   ]2023-0904-204454-VALSDELLCOMPUTE-Proofs.log2023-09-05 03:45 377  
[   ]2023-0904-203245-VALSDELLCOMPUTE-Proofs.log2023-09-05 03:32 377  
[   ]2023-0904-202036-VALSDELLCOMPUTE-Proofs.log2023-09-05 03:20 377  
[   ]2023-0904-200827-VALSDELLCOMPUTE-Proofs.log2023-09-05 03:08 377  
[   ]2023-0904-195618-VALSDELLCOMPUTE-Proofs.log2023-09-05 02:56 377  
[   ]2023-0904-194409-VALSDELLCOMPUTE-Proofs.log2023-09-05 02:44 377  
[   ]2023-0904-193200-VALSDELLCOMPUTE-Proofs.log2023-09-05 02:32 377  
[   ]2023-0904-191951-VALSDELLCOMPUTE-Proofs.log2023-09-05 02:19 377  
[   ]2023-0904-190742-VALSDELLCOMPUTE-Proofs.log2023-09-05 02:07 377  
[   ]2023-0904-185533-VALSDELLCOMPUTE-Proofs.log2023-09-05 01:55 377  
[   ]2023-0904-184324-VALSDELLCOMPUTE-Proofs.log2023-09-05 01:43 377  
[   ]2023-0904-183115-VALSDELLCOMPUTE-Proofs.log2023-09-05 01:31 377  
[   ]2023-0904-181906-VALSDELLCOMPUTE-Proofs.log2023-09-05 01:19 377  
[   ]2023-0904-180657-VALSDELLCOMPUTE-Proofs.log2023-09-05 01:07 377  
[   ]2023-0904-175442-VALSDELLCOMPUTE-Proofs.log2023-09-05 00:54 377  
[   ]2023-0904-174030-VALSDELLCOMPUTE-Proofs.log2023-09-05 00:40 377  
[   ]2023-0904-172821-VALSDELLCOMPUTE-Proofs.log2023-09-05 00:28 377  
[   ]2023-0904-171612-VALSDELLCOMPUTE-Proofs.log2023-09-05 00:16 377  
[   ]2023-0904-170403-VALSDELLCOMPUTE-Proofs.log2023-09-05 00:04 377  
[   ]2023-0904-165154-VALSDELLCOMPUTE-Proofs.log2023-09-04 23:52 377  
[   ]2023-0904-163945-VALSDELLCOMPUTE-Proofs.log2023-09-04 23:39 377  
[   ]2023-0904-162736-VALSDELLCOMPUTE-Proofs.log2023-09-04 23:27 377  
[   ]2023-0904-161527-VALSDELLCOMPUTE-Proofs.log2023-09-04 23:15 377  
[   ]2023-0904-160318-VALSDELLCOMPUTE-Proofs.log2023-09-04 23:03 377  
[   ]2023-0904-155109-VALSDELLCOMPUTE-Proofs.log2023-09-04 22:51 377  
[   ]2023-0904-153900-VALSDELLCOMPUTE-Proofs.log2023-09-04 22:39 377  
[   ]2023-0904-152651-VALSDELLCOMPUTE-Proofs.log2023-09-04 22:26 377  
[   ]2023-0904-151442-VALSDELLCOMPUTE-Proofs.log2023-09-04 22:14 377  
[   ]2023-0904-150233-VALSDELLCOMPUTE-Proofs.log2023-09-04 22:02 377  
[   ]2023-0904-145124-VALSDELLCOMPUTE-Proofs.log2023-09-04 21:51 377  
[   ]2023-0904-143815-VALSDELLCOMPUTE-Proofs.log2023-09-04 21:38 377  
[   ]2023-0904-142730-VALSDELLCOMPUTE-Proofs.log2023-09-04 21:27 377  
[   ]2023-0904-141521-VALSDELLCOMPUTE-Proofs.log2023-09-04 21:15 377  
[   ]2023-0904-140139-VALSDELLCOMPUTE-Proofs.log2023-09-04 21:01 377  
[   ]2023-0904-134930-VALSDELLCOMPUTE-Proofs.log2023-09-04 20:49 377  
[   ]2023-0904-133721-VALSDELLCOMPUTE-Proofs.log2023-09-04 20:37 377  
[   ]2023-0904-132512-VALSDELLCOMPUTE-Proofs.log2023-09-04 20:25 377  
[   ]2023-0904-131303-VALSDELLCOMPUTE-Proofs.log2023-09-04 20:13 377  
[   ]2023-0904-130054-VALSDELLCOMPUTE-Proofs.log2023-09-04 20:01 377  
[   ]2023-0904-124845-VALSDELLCOMPUTE-Proofs.log2023-09-04 19:48 377  
[   ]2023-0904-123636-VALSDELLCOMPUTE-Proofs.log2023-09-04 19:36 377  
[   ]2023-0904-122427-VALSDELLCOMPUTE-Proofs.log2023-09-04 19:24 377  
[   ]2023-0904-121218-VALSDELLCOMPUTE-Proofs.log2023-09-04 19:12 377  
[   ]2023-0904-120009-VALSDELLCOMPUTE-Proofs.log2023-09-04 19:00 377  
[   ]2023-0904-114800-VALSDELLCOMPUTE-Proofs.log2023-09-04 18:48 377  
[   ]2023-0904-113551-VALSDELLCOMPUTE-Proofs.log2023-09-04 18:35 377  
[   ]2023-0904-112342-VALSDELLCOMPUTE-Proofs.log2023-09-04 18:23 377  
[   ]2023-0904-111242-VALSDELLCOMPUTE-Proofs.log2023-09-04 18:12 377  
[   ]2023-0904-110033-VALSDELLCOMPUTE-Proofs.log2023-09-04 18:00 377  
[   ]2023-0904-104906-VALSDELLCOMPUTE-Proofs.log2023-09-04 17:49 377  
[   ]2023-0904-103606-VALSDELLCOMPUTE-Proofs.log2023-09-04 17:36 377  
[   ]2023-0904-102357-VALSDELLCOMPUTE-Proofs.log2023-09-04 17:24 377  
[   ]2023-0904-101148-VALSDELLCOMPUTE-Proofs.log2023-09-04 17:11 377  
[   ]2023-0904-095939-VALSDELLCOMPUTE-Proofs.log2023-09-04 16:59 377  
[   ]2023-0904-094730-VALSDELLCOMPUTE-Proofs.log2023-09-04 16:47 377  
[   ]2023-0904-093521-VALSDELLCOMPUTE-Proofs.log2023-09-04 16:35 377  
[   ]2023-0904-092312-VALSDELLCOMPUTE-Proofs.log2023-09-04 16:23 377  
[   ]2023-0904-091103-VALSDELLCOMPUTE-Proofs.log2023-09-04 16:11 377  
[   ]2023-0904-085854-VALSDELLCOMPUTE-Proofs.log2023-09-04 15:59 377  
[   ]2023-0904-084645-VALSDELLCOMPUTE-Proofs.log2023-09-04 15:46 377  
[   ]2023-0904-083436-VALSDELLCOMPUTE-Proofs.log2023-09-04 15:34 377  
[   ]2023-0904-082227-VALSDELLCOMPUTE-Proofs.log2023-09-04 15:22 377  
[   ]2023-0904-081018-VALSDELLCOMPUTE-Proofs.log2023-09-04 15:10 377  
[   ]2023-0904-075809-VALSDELLCOMPUTE-Proofs.log2023-09-04 14:58 377  
[   ]2023-0904-074600-VALSDELLCOMPUTE-Proofs.log2023-09-04 14:46 377  
[   ]2023-0904-073351-VALSDELLCOMPUTE-Proofs.log2023-09-04 14:33 377  
[   ]2023-0904-072106-VALSDELLCOMPUTE-Proofs.log2023-09-04 14:21 377  
[   ]2023-0904-070854-VALSDELLCOMPUTE-Proofs.log2023-09-04 14:09 377  
[   ]2023-0904-065645-VALSDELLCOMPUTE-Proofs.log2023-09-04 13:56 377  
[   ]2023-0904-064436-VALSDELLCOMPUTE-Proofs.log2023-09-04 13:44 377  
[   ]2023-0904-063230-VALSDELLCOMPUTE-Proofs.log2023-09-04 13:32 377  
[   ]2023-0904-062021-VALSDELLCOMPUTE-Proofs.log2023-09-04 13:20 377  
[   ]2023-0904-060812-VALSDELLCOMPUTE-Proofs.log2023-09-04 13:08 377  
[   ]2023-0904-055603-VALSDELLCOMPUTE-Proofs.log2023-09-04 12:56 377  
[   ]2023-0904-054354-VALSDELLCOMPUTE-Proofs.log2023-09-04 12:43 377  
[   ]2023-0904-053145-VALSDELLCOMPUTE-Proofs.log2023-09-04 12:31 377  
[   ]2023-0904-051936-VALSDELLCOMPUTE-Proofs.log2023-09-04 12:19 377  
[   ]2023-0904-050727-VALSDELLCOMPUTE-Proofs.log2023-09-04 12:07 488  
[   ]2023-0904-044318-VALSDELLCOMPUTE-Proofs.log2023-09-04 11:43 377  
[   ]2023-0904-043109-VALSDELLCOMPUTE-Proofs.log2023-09-04 11:31 377  
[   ]2023-0904-042057-VALSDELLCOMPUTE-Proofs.log2023-09-04 11:21 377  
[   ]2023-0904-040848-VALSDELLCOMPUTE-Proofs.log2023-09-04 11:10 700  
[   ]2023-0904-035551-VALSDELLCOMPUTE-Proofs.log2023-09-04 10:56 599  
[   ]2023-0904-034342-VALSDELLCOMPUTE-Proofs.log2023-09-04 10:43 377  
[   ]2023-0904-033151-VALSDELLCOMPUTE-Proofs.log2023-09-04 10:31 377  
[   ]2023-0904-031942-VALSDELLCOMPUTE-Proofs.log2023-09-04 10:19 377  
[   ]2023-0904-030733-VALSDELLCOMPUTE-Proofs.log2023-09-04 10:07 377  
[   ]2023-0904-025524-VALSDELLCOMPUTE-Proofs.log2023-09-04 09:55 377  
[   ]2023-0904-023348-VALSDELLCOMPUTE-Proofs.log2023-09-04 09:33 377  
[   ]2023-0904-022139-VALSDELLCOMPUTE-Proofs.log2023-09-04 09:26 1.4K 
[   ]2023-0904-020930-VALSDELLCOMPUTE-Proofs.log2023-09-04 09:12 1.1K 
[   ]2023-0904-013012-VALSDELLCOMPUTE-Proofs.log2023-09-04 08:31 589  
[   ]2023-0904-011803-VALSDELLCOMPUTE-Proofs.log2023-09-04 08:18 377  
[   ]2023-0904-010606-VALSDELLCOMPUTE-Proofs.log2023-09-04 08:06 377  
[   ]2023-0904-005357-VALSDELLCOMPUTE-Proofs.log2023-09-04 07:54 377  
[   ]2023-0904-004148-VALSDELLCOMPUTE-Proofs.log2023-09-04 07:41 377  
[   ]2023-0904-002939-VALSDELLCOMPUTE-Proofs.log2023-09-04 07:29 377  
[   ]2023-0904-001730-VALSDELLCOMPUTE-Proofs.log2023-09-04 07:17 377  
[   ]2023-0904-000548-VALSDELLCOMPUTE-Proofs.log2023-09-04 07:05 377  
[   ]2023-0903-235339-VALSDELLCOMPUTE-Proofs.log2023-09-04 06:53 377  
[   ]2023-0903-234130-VALSDELLCOMPUTE-Proofs.log2023-09-04 06:41 377  
[   ]2023-0903-232921-VALSDELLCOMPUTE-Proofs.log2023-09-04 06:31 1.0K 
[   ]2023-0903-222751-VALSDELLCOMPUTE-Proofs.log2023-09-04 05:27 377  
[   ]2023-0903-221542-VALSDELLCOMPUTE-Proofs.log2023-09-04 05:15 377  
[   ]2023-0903-220333-VALSDELLCOMPUTE-Proofs.log2023-09-04 05:03 377  
[   ]2023-0903-215124-VALSDELLCOMPUTE-Proofs.log2023-09-04 04:51 377  
[   ]2023-0903-213915-VALSDELLCOMPUTE-Proofs.log2023-09-04 04:39 377  
[   ]2023-0903-212706-VALSDELLCOMPUTE-Proofs.log2023-09-04 04:27 377  
[   ]2023-0903-211457-VALSDELLCOMPUTE-Proofs.log2023-09-04 04:15 377  
[   ]2023-0903-210124-VALSDELLCOMPUTE-Proofs.log2023-09-04 04:01 377  
[   ]2023-0903-204915-VALSDELLCOMPUTE-Proofs.log2023-09-04 03:49 377  
[   ]2023-0903-203706-VALSDELLCOMPUTE-Proofs.log2023-09-04 03:37 377  
[   ]2023-0903-202457-VALSDELLCOMPUTE-Proofs.log2023-09-04 03:25 377  
[   ]2023-0903-201118-VALSDELLCOMPUTE-Proofs.log2023-09-04 03:11 377  
[   ]2023-0903-195909-VALSDELLCOMPUTE-Proofs.log2023-09-04 02:59 377  
[   ]2023-0903-194700-VALSDELLCOMPUTE-Proofs.log2023-09-04 02:47 377  
[   ]2023-0903-193451-VALSDELLCOMPUTE-Proofs.log2023-09-04 02:34 377  
[   ]2023-0903-192242-VALSDELLCOMPUTE-Proofs.log2023-09-04 02:22 377  
[   ]2023-0903-191033-VALSDELLCOMPUTE-Proofs.log2023-09-04 02:10 377  
[   ]2023-0903-185824-VALSDELLCOMPUTE-Proofs.log2023-09-04 01:58 377  
[   ]2023-0903-184615-VALSDELLCOMPUTE-Proofs.log2023-09-04 01:46 377  
[   ]2023-0903-183406-VALSDELLCOMPUTE-Proofs.log2023-09-04 01:34 377  
[   ]2023-0903-182157-VALSDELLCOMPUTE-Proofs.log2023-09-04 01:22 377  
[   ]2023-0903-180948-VALSDELLCOMPUTE-Proofs.log2023-09-04 01:09 377  
[   ]2023-0903-175739-VALSDELLCOMPUTE-Proofs.log2023-09-04 00:57 377  
[   ]2023-0903-174530-VALSDELLCOMPUTE-Proofs.log2023-09-04 00:45 377  
[   ]2023-0903-173239-VALSDELLCOMPUTE-Proofs.log2023-09-04 00:32 377  
[   ]2023-0903-172030-VALSDELLCOMPUTE-Proofs.log2023-09-04 00:20 377  
[   ]2023-0903-170821-VALSDELLCOMPUTE-Proofs.log2023-09-04 00:08 377  
[   ]2023-0903-165645-VALSDELLCOMPUTE-Proofs.log2023-09-03 23:56 377  
[   ]2023-0903-164503-VALSDELLCOMPUTE-Proofs.log2023-09-03 23:45 377  
[   ]2023-0903-163254-VALSDELLCOMPUTE-Proofs.log2023-09-03 23:32 377  
[   ]2023-0903-153436-VALSDELLCOMPUTE-Proofs.log2023-09-03 22:36 811  
[   ]2023-0903-151927-VALSDELLCOMPUTE-Proofs.log2023-09-03 22:24 1.6K 
[   ]2023-0903-151003-VALSDELLCOMPUTE-Proofs.log2023-09-03 22:10 377  
[   ]2023-0903-150639-VALSDELLCOMPUTE-Proofs.log2023-09-03 22:06 377  
[   ]2023-0903-145430-VALSDELLCOMPUTE-Proofs.log2023-09-03 21:54 377  
[   ]2023-0903-144218-VALSDELLCOMPUTE-Proofs.log2023-09-03 21:42 377  
[   ]2023-0903-143006-VALSDELLCOMPUTE-Proofs.log2023-09-03 21:30 377  
[   ]2023-0903-141754-VALSDELLCOMPUTE-Proofs.log2023-09-03 21:17 377  
[   ]2023-0903-140542-VALSDELLCOMPUTE-Proofs.log2023-09-03 21:05 377  
[   ]2023-0903-135330-VALSDELLCOMPUTE-Proofs.log2023-09-03 20:53 377  
[   ]2023-0903-134118-VALSDELLCOMPUTE-Proofs.log2023-09-03 20:41 377  
[   ]2023-0903-132906-VALSDELLCOMPUTE-Proofs.log2023-09-03 20:29 377  
[   ]2023-0903-131654-VALSDELLCOMPUTE-Proofs.log2023-09-03 20:16 377  
[   ]2023-0903-130442-VALSDELLCOMPUTE-Proofs.log2023-09-03 20:04 377  
[   ]2023-0903-125412-VALSDELLCOMPUTE-Proofs.log2023-09-03 19:54 377  
[   ]2023-0903-124118-VALSDELLCOMPUTE-Proofs.log2023-09-03 19:41 377  
[   ]2023-0903-122906-VALSDELLCOMPUTE-Proofs.log2023-09-03 19:29 377  
[   ]2023-0903-121654-VALSDELLCOMPUTE-Proofs.log2023-09-03 19:16 377  
[   ]2023-0903-120442-VALSDELLCOMPUTE-Proofs.log2023-09-03 19:04 377  
[   ]2023-0903-115230-VALSDELLCOMPUTE-Proofs.log2023-09-03 18:52 377  
[   ]2023-0903-114018-VALSDELLCOMPUTE-Proofs.log2023-09-03 18:40 377  
[   ]2023-0903-112806-VALSDELLCOMPUTE-Proofs.log2023-09-03 18:28 377  
[   ]2023-0903-111554-VALSDELLCOMPUTE-Proofs.log2023-09-03 18:15 377  
[   ]2023-0903-110342-VALSDELLCOMPUTE-Proofs.log2023-09-03 18:03 377  
[   ]2023-0903-105130-VALSDELLCOMPUTE-Proofs.log2023-09-03 17:51 377  
[   ]2023-0903-103918-VALSDELLCOMPUTE-Proofs.log2023-09-03 17:39 377  
[   ]2023-0903-102818-VALSDELLCOMPUTE-Proofs.log2023-09-03 17:28 377  
[   ]2023-0903-101603-VALSDELLCOMPUTE-Proofs.log2023-09-03 17:16 377  
[   ]2023-0903-100352-VALSDELLCOMPUTE-Proofs.log2023-09-03 17:03 377  
[   ]2023-0903-095139-VALSDELLCOMPUTE-Proofs.log2023-09-03 16:51 377  
[   ]2023-0903-093927-VALSDELLCOMPUTE-Proofs.log2023-09-03 16:39 377  
[   ]2023-0903-092715-VALSDELLCOMPUTE-Proofs.log2023-09-03 16:27 377  
[   ]2023-0903-091536-VALSDELLCOMPUTE-Proofs.log2023-09-03 16:15 377  
[   ]2023-0903-090354-VALSDELLCOMPUTE-Proofs.log2023-09-03 16:03 377  
[   ]2023-0903-085142-VALSDELLCOMPUTE-Proofs.log2023-09-03 15:51 377  
[   ]2023-0903-083930-VALSDELLCOMPUTE-Proofs.log2023-09-03 15:39 377  
[   ]2023-0903-082718-VALSDELLCOMPUTE-Proofs.log2023-09-03 15:27 377  
[   ]2023-0903-081506-VALSDELLCOMPUTE-Proofs.log2023-09-03 15:15 377  
[   ]2023-0903-080254-VALSDELLCOMPUTE-Proofs.log2023-09-03 15:02 377  
[   ]2023-0903-075042-VALSDELLCOMPUTE-Proofs.log2023-09-03 14:50 377  
[   ]2023-0903-073830-VALSDELLCOMPUTE-Proofs.log2023-09-03 14:38 377  
[   ]2023-0903-072618-VALSDELLCOMPUTE-Proofs.log2023-09-03 14:26 377  
[   ]2023-0903-071406-VALSDELLCOMPUTE-Proofs.log2023-09-03 14:14 377  
[   ]2023-0903-070154-VALSDELLCOMPUTE-Proofs.log2023-09-03 14:01 377  
[   ]2023-0903-065142-VALSDELLCOMPUTE-Proofs.log2023-09-03 13:51 377  
[   ]2023-0903-063930-VALSDELLCOMPUTE-Proofs.log2023-09-03 13:39 377  
[   ]2023-0903-062718-VALSDELLCOMPUTE-Proofs.log2023-09-03 13:27 377  
[   ]2023-0903-061506-VALSDELLCOMPUTE-Proofs.log2023-09-03 13:15 377  
[   ]2023-0903-060254-VALSDELLCOMPUTE-Proofs.log2023-09-03 13:03 377  
[   ]2023-0903-055042-VALSDELLCOMPUTE-Proofs.log2023-09-03 12:50 377  
[   ]2023-0903-053830-VALSDELLCOMPUTE-Proofs.log2023-09-03 12:38 377  
[   ]2023-0903-052618-VALSDELLCOMPUTE-Proofs.log2023-09-03 12:26 377  
[   ]2023-0903-051339-VALSDELLCOMPUTE-Proofs.log2023-09-03 12:13 377  
[   ]2023-0903-050127-VALSDELLCOMPUTE-Proofs.log2023-09-03 12:01 377  
[   ]2023-0903-044915-VALSDELLCOMPUTE-Proofs.log2023-09-03 11:51 912  
[   ]2023-0903-040039-VALSDELLCOMPUTE-Proofs.log2023-09-03 11:00 377  
[   ]2023-0903-034827-VALSDELLCOMPUTE-Proofs.log2023-09-03 10:48 377  
[   ]2023-0903-033615-VALSDELLCOMPUTE-Proofs.log2023-09-03 10:37 700  
[   ]2023-0903-031506-VALSDELLCOMPUTE-Proofs.log2023-09-03 10:18 1.1K 
[   ]2023-0903-022331-VALSDELLCOMPUTE-Proofs.log2023-09-03 09:25 811  
[   ]2023-0903-021119-VALSDELLCOMPUTE-Proofs.log2023-09-03 09:11 377  
[   ]2023-0903-015907-VALSDELLCOMPUTE-Proofs.log2023-09-03 08:59 377  
[   ]2023-0903-014625-VALSDELLCOMPUTE-Proofs.log2023-09-03 08:46 377  
[   ]2023-0903-013413-VALSDELLCOMPUTE-Proofs.log2023-09-03 08:34 377  
[   ]2023-0903-012201-VALSDELLCOMPUTE-Proofs.log2023-09-03 08:22 377  
[   ]2023-0903-010949-VALSDELLCOMPUTE-Proofs.log2023-09-03 08:09 377  
[   ]2023-0903-005737-VALSDELLCOMPUTE-Proofs.log2023-09-03 07:57 377  
[   ]2023-0903-004525-VALSDELLCOMPUTE-Proofs.log2023-09-03 07:45 377  
[   ]2023-0903-003314-VALSDELLCOMPUTE-Proofs.log2023-09-03 07:34 589  
[   ]2023-0903-001449-VALSDELLCOMPUTE-Proofs.log2023-09-03 07:14 377  
[   ]2023-0903-000237-VALSDELLCOMPUTE-Proofs.log2023-09-03 07:02 377  
[   ]2023-0902-235025-VALSDELLCOMPUTE-Proofs.log2023-09-03 06:50 377  
[   ]2023-0902-234022-VALSDELLCOMPUTE-Proofs.log2023-09-03 06:40 377  
[   ]2023-0902-232501-VALSDELLCOMPUTE-Proofs.log2023-09-03 06:25 377  
[   ]2023-0902-231249-VALSDELLCOMPUTE-Proofs.log2023-09-03 06:12 377  
[   ]2023-0902-230037-VALSDELLCOMPUTE-Proofs.log2023-09-03 06:00 377  
[   ]2023-0902-224825-VALSDELLCOMPUTE-Proofs.log2023-09-03 05:48 377  
[   ]2023-0902-223613-VALSDELLCOMPUTE-Proofs.log2023-09-03 05:36 377  
[   ]2023-0902-222346-VALSDELLCOMPUTE-Proofs.log2023-09-03 05:23 377  
[   ]2023-0902-221049-VALSDELLCOMPUTE-Proofs.log2023-09-03 05:11 488  
[   ]2023-0902-220725-VALSDELLCOMPUTE-Proofs.log2023-09-03 05:07 377  
[   ]2023-0902-215513-VALSDELLCOMPUTE-Proofs.log2023-09-03 04:55 377  
[   ]2023-0902-214301-VALSDELLCOMPUTE-Proofs.log2023-09-03 04:43 377  
[   ]2023-0902-213048-VALSDELLCOMPUTE-Proofs.log2023-09-03 04:30 377  
[   ]2023-0902-210324-VALSDELLCOMPUTE-Proofs.log2023-09-03 04:03 377  
[   ]2023-0902-205112-VALSDELLCOMPUTE-Proofs.log2023-09-03 03:51 377  
[   ]2023-0902-203900-VALSDELLCOMPUTE-Proofs.log2023-09-03 03:39 377  
[   ]2023-0902-202651-VALSDELLCOMPUTE-Proofs.log2023-09-03 03:26 377  
[   ]2023-0902-201442-VALSDELLCOMPUTE-Proofs.log2023-09-03 03:14 377  
[   ]2023-0902-200233-VALSDELLCOMPUTE-Proofs.log2023-09-03 03:02 377  
[   ]2023-0902-195024-VALSDELLCOMPUTE-Proofs.log2023-09-03 02:50 377  
[   ]2023-0902-193815-VALSDELLCOMPUTE-Proofs.log2023-09-03 02:38 377  
[   ]2023-0902-192605-VALSDELLCOMPUTE-Proofs.log2023-09-03 02:26 377  
[   ]2023-0902-191356-VALSDELLCOMPUTE-Proofs.log2023-09-03 02:14 377  
[   ]2023-0902-190147-VALSDELLCOMPUTE-Proofs.log2023-09-03 02:01 377  
[   ]2023-0902-184938-VALSDELLCOMPUTE-Proofs.log2023-09-03 01:49 377  
[   ]2023-0902-183726-VALSDELLCOMPUTE-Proofs.log2023-09-03 01:37 377  
[   ]2023-0902-182517-VALSDELLCOMPUTE-Proofs.log2023-09-03 01:30 1.5K 
[   ]2023-0902-180943-VALSDELLCOMPUTE-Proofs.log2023-09-03 01:12 1.0K 
[   ]2023-0902-175733-VALSDELLCOMPUTE-Proofs.log2023-09-03 00:57 377  
[   ]2023-0902-174521-VALSDELLCOMPUTE-Proofs.log2023-09-03 00:45 377  
[   ]2023-0902-173309-VALSDELLCOMPUTE-Proofs.log2023-09-03 00:33 377  
[   ]2023-0902-172057-VALSDELLCOMPUTE-Proofs.log2023-09-03 00:21 377  
[   ]2023-0902-170845-VALSDELLCOMPUTE-Proofs.log2023-09-03 00:08 377  
[   ]2023-0902-165633-VALSDELLCOMPUTE-Proofs.log2023-09-02 23:56 377  
[   ]2023-0902-164418-VALSDELLCOMPUTE-Proofs.log2023-09-02 23:44 377  
[   ]2023-0902-163206-VALSDELLCOMPUTE-Proofs.log2023-09-02 23:32 377  
[   ]2023-0902-161954-VALSDELLCOMPUTE-Proofs.log2023-09-02 23:20 377  
[   ]2023-0902-160742-VALSDELLCOMPUTE-Proofs.log2023-09-02 23:07 377  
[   ]2023-0902-155530-VALSDELLCOMPUTE-Proofs.log2023-09-02 22:55 377  
[   ]2023-0902-154318-VALSDELLCOMPUTE-Proofs.log2023-09-02 22:43 488  
[   ]2023-0902-153106-VALSDELLCOMPUTE-Proofs.log2023-09-02 22:31 377  
[   ]2023-0902-151856-VALSDELLCOMPUTE-Proofs.log2023-09-02 22:19 377  
[   ]2023-0902-150647-VALSDELLCOMPUTE-Proofs.log2023-09-02 22:06 377  
[   ]2023-0902-145353-VALSDELLCOMPUTE-Proofs.log2023-09-02 21:53 377  
[   ]2023-0902-144141-VALSDELLCOMPUTE-Proofs.log2023-09-02 21:41 377  
[   ]2023-0902-142929-VALSDELLCOMPUTE-Proofs.log2023-09-02 21:29 377  
[   ]2023-0902-141717-VALSDELLCOMPUTE-Proofs.log2023-09-02 21:17 377  
[   ]2023-0902-140505-VALSDELLCOMPUTE-Proofs.log2023-09-02 21:05 377  
[   ]2023-0902-135253-VALSDELLCOMPUTE-Proofs.log2023-09-02 20:52 377  
[   ]2023-0902-134041-VALSDELLCOMPUTE-Proofs.log2023-09-02 20:40 377  
[   ]2023-0902-132829-VALSDELLCOMPUTE-Proofs.log2023-09-02 20:28 377  
[   ]2023-0902-131714-VALSDELLCOMPUTE-Proofs.log2023-09-02 20:17 377  
[   ]2023-0902-130502-VALSDELLCOMPUTE-Proofs.log2023-09-02 20:05 377  
[   ]2023-0902-125250-VALSDELLCOMPUTE-Proofs.log2023-09-02 19:52 377  
[   ]2023-0902-124038-VALSDELLCOMPUTE-Proofs.log2023-09-02 19:40 377  
[   ]2023-0902-122826-VALSDELLCOMPUTE-Proofs.log2023-09-02 19:28 377  
[   ]2023-0902-121614-VALSDELLCOMPUTE-Proofs.log2023-09-02 19:16 377  
[   ]2023-0902-120402-VALSDELLCOMPUTE-Proofs.log2023-09-02 19:04 377  
[   ]2023-0902-115150-VALSDELLCOMPUTE-Proofs.log2023-09-02 18:51 377  
[   ]2023-0902-113938-VALSDELLCOMPUTE-Proofs.log2023-09-02 18:39 377  
[   ]2023-0902-112535-VALSDELLCOMPUTE-Proofs.log2023-09-02 18:25 377  
[   ]2023-0902-111323-VALSDELLCOMPUTE-Proofs.log2023-09-02 18:13 377  
[   ]2023-0902-110111-VALSDELLCOMPUTE-Proofs.log2023-09-02 18:01 377  
[   ]2023-0902-104859-VALSDELLCOMPUTE-Proofs.log2023-09-02 17:49 377  
[   ]2023-0902-103647-VALSDELLCOMPUTE-Proofs.log2023-09-02 17:36 377  
[   ]2023-0902-102435-VALSDELLCOMPUTE-Proofs.log2023-09-02 17:24 377  
[   ]2023-0902-101226-VALSDELLCOMPUTE-Proofs.log2023-09-02 17:12 377  
[   ]2023-0902-100017-VALSDELLCOMPUTE-Proofs.log2023-09-02 17:00 377  
[   ]2023-0902-094808-VALSDELLCOMPUTE-Proofs.log2023-09-02 16:48 377  
[   ]2023-0902-093556-VALSDELLCOMPUTE-Proofs.log2023-09-02 16:36 377  
[   ]2023-0902-092344-VALSDELLCOMPUTE-Proofs.log2023-09-02 16:23 377  
[   ]2023-0902-091132-VALSDELLCOMPUTE-Proofs.log2023-09-02 16:11 377  
[   ]2023-0902-085920-VALSDELLCOMPUTE-Proofs.log2023-09-02 15:59 377  
[   ]2023-0902-084802-VALSDELLCOMPUTE-Proofs.log2023-09-02 15:48 377  
[   ]2023-0902-083550-VALSDELLCOMPUTE-Proofs.log2023-09-02 15:35 377  
[   ]2023-0902-082344-VALSDELLCOMPUTE-Proofs.log2023-09-02 15:23 377  
[   ]2023-0902-081204-VALSDELLCOMPUTE-Proofs.log2023-09-02 15:12 377  
[   ]2023-0902-075952-VALSDELLCOMPUTE-Proofs.log2023-09-02 14:59 377  
[   ]2023-0902-074713-VALSDELLCOMPUTE-Proofs.log2023-09-02 14:47 377  
[   ]2023-0902-073501-VALSDELLCOMPUTE-Proofs.log2023-09-02 14:35 377  
[   ]2023-0902-072249-VALSDELLCOMPUTE-Proofs.log2023-09-02 14:22 377  
[   ]2023-0902-071037-VALSDELLCOMPUTE-Proofs.log2023-09-02 14:10 377  
[   ]2023-0902-065825-VALSDELLCOMPUTE-Proofs.log2023-09-02 13:58 377  
[   ]2023-0902-064613-VALSDELLCOMPUTE-Proofs.log2023-09-02 13:46 377  
[   ]2023-0902-063401-VALSDELLCOMPUTE-Proofs.log2023-09-02 13:34 377  
[   ]2023-0902-062149-VALSDELLCOMPUTE-Proofs.log2023-09-02 13:21 377  
[   ]2023-0902-060937-VALSDELLCOMPUTE-Proofs.log2023-09-02 13:09 377  
[   ]2023-0902-055724-VALSDELLCOMPUTE-Proofs.log2023-09-02 12:57 377  
[   ]2023-0902-054510-VALSDELLCOMPUTE-Proofs.log2023-09-02 12:45 377  
[   ]2023-0902-053258-VALSDELLCOMPUTE-Proofs.log2023-09-02 12:33 377  
[   ]2023-0902-052046-VALSDELLCOMPUTE-Proofs.log2023-09-02 12:20 377  
[   ]2023-0902-050807-VALSDELLCOMPUTE-Proofs.log2023-09-02 12:08 377  
[   ]2023-0902-045554-VALSDELLCOMPUTE-Proofs.log2023-09-02 11:55 377  
[   ]2023-0902-044321-VALSDELLCOMPUTE-Proofs.log2023-09-02 11:43 377  
[   ]2023-0902-043136-VALSDELLCOMPUTE-Proofs.log2023-09-02 11:31 377  
[   ]2023-0902-041924-VALSDELLCOMPUTE-Proofs.log2023-09-02 11:21 700  
[   ]2023-0902-034530-VALSDELLCOMPUTE-Proofs.log2023-09-02 10:46 599  
[   ]2023-0902-033318-VALSDELLCOMPUTE-Proofs.log2023-09-02 10:33 377  
[   ]2023-0902-032106-VALSDELLCOMPUTE-Proofs.log2023-09-02 10:21 377  
[   ]2023-0902-024112-VALSDELLCOMPUTE-Proofs.log2023-09-02 09:42 710  
[   ]2023-0902-023445-VALSDELLCOMPUTE-Proofs.log2023-09-02 09:34 377  
[   ]2023-0902-022233-VALSDELLCOMPUTE-Proofs.log2023-09-02 09:22 688  
[   ]2023-0902-021021-VALSDELLCOMPUTE-Proofs.log2023-09-02 09:14 1.3K 
[   ]2023-0902-014557-VALSDELLCOMPUTE-Proofs.log2023-09-02 08:49 1.0K 
[   ]2023-0902-005900-VALSDELLCOMPUTE-Proofs.log2023-09-02 07:59 377  
[   ]2023-0902-004648-VALSDELLCOMPUTE-Proofs.log2023-09-02 07:46 377  
[   ]2023-0902-003633-VALSDELLCOMPUTE-Proofs.log2023-09-02 07:36 377  
[   ]2023-0902-002421-VALSDELLCOMPUTE-Proofs.log2023-09-02 07:24 377  
[   ]2023-0902-001209-VALSDELLCOMPUTE-Proofs.log2023-09-02 07:15 1.1K 
[   ]2023-0901-235957-VALSDELLCOMPUTE-Proofs.log2023-09-02 07:00 377  
[   ]2023-0901-234745-VALSDELLCOMPUTE-Proofs.log2023-09-02 06:47 377  
[   ]2023-0901-233533-VALSDELLCOMPUTE-Proofs.log2023-09-02 06:35 377  
[   ]2023-0901-232321-VALSDELLCOMPUTE-Proofs.log2023-09-02 06:23 377  
[   ]2023-0901-231109-VALSDELLCOMPUTE-Proofs.log2023-09-02 06:17 1.7K 
[   ]2023-0901-230442-VALSDELLCOMPUTE-Proofs.log2023-09-02 06:04 377  
[   ]2023-0901-225230-VALSDELLCOMPUTE-Proofs.log2023-09-02 05:52 377  
[   ]2023-0901-224018-VALSDELLCOMPUTE-Proofs.log2023-09-02 05:40 377  
[   ]2023-0901-222806-VALSDELLCOMPUTE-Proofs.log2023-09-02 05:28 377  
[   ]2023-0901-221554-VALSDELLCOMPUTE-Proofs.log2023-09-02 05:15 377  
[   ]2023-0901-220341-VALSDELLCOMPUTE-Proofs.log2023-09-02 05:03 377  
[   ]2023-0901-215250-VALSDELLCOMPUTE-Proofs.log2023-09-02 04:52 377  
[   ]2023-0901-214135-VALSDELLCOMPUTE-Proofs.log2023-09-02 04:41 377  
[   ]2023-0901-212923-VALSDELLCOMPUTE-Proofs.log2023-09-02 04:29 377  
[   ]2023-0901-211711-VALSDELLCOMPUTE-Proofs.log2023-09-02 04:17 377  
[   ]2023-0901-210459-VALSDELLCOMPUTE-Proofs.log2023-09-02 04:05 377  
[   ]2023-0901-205247-VALSDELLCOMPUTE-Proofs.log2023-09-02 03:52 377  
[   ]2023-0901-204035-VALSDELLCOMPUTE-Proofs.log2023-09-02 03:40 377  
[   ]2023-0901-202823-VALSDELLCOMPUTE-Proofs.log2023-09-02 03:28 377  
[   ]2023-0901-201614-VALSDELLCOMPUTE-Proofs.log2023-09-02 03:16 377  
[   ]2023-0901-200407-VALSDELLCOMPUTE-Proofs.log2023-09-02 03:04 377  
[   ]2023-0901-195158-VALSDELLCOMPUTE-Proofs.log2023-09-02 02:52 377  
[   ]2023-0901-193947-VALSDELLCOMPUTE-Proofs.log2023-09-02 02:39 377  
[   ]2023-0901-192736-VALSDELLCOMPUTE-Proofs.log2023-09-02 02:27 377  
[   ]2023-0901-191527-VALSDELLCOMPUTE-Proofs.log2023-09-02 02:15 377  
[   ]2023-0901-190318-VALSDELLCOMPUTE-Proofs.log2023-09-02 02:03 377  
[   ]2023-0901-185109-VALSDELLCOMPUTE-Proofs.log2023-09-02 01:51 377  
[   ]2023-0901-183900-VALSDELLCOMPUTE-Proofs.log2023-09-02 01:39 377  
[   ]2023-0901-182650-VALSDELLCOMPUTE-Proofs.log2023-09-02 01:26 377  
[   ]2023-0901-181604-VALSDELLCOMPUTE-Proofs.log2023-09-02 01:16 377  
[   ]2023-0901-180352-VALSDELLCOMPUTE-Proofs.log2023-09-02 01:03 377  
[   ]2023-0901-175143-VALSDELLCOMPUTE-Proofs.log2023-09-02 00:51 377  
[   ]2023-0901-173935-VALSDELLCOMPUTE-Proofs.log2023-09-02 00:39 377  
[   ]2023-0901-172726-VALSDELLCOMPUTE-Proofs.log2023-09-02 00:27 377  
[   ]2023-0901-171516-VALSDELLCOMPUTE-Proofs.log2023-09-02 00:15 377  
[   ]2023-0901-170308-VALSDELLCOMPUTE-Proofs.log2023-09-02 00:03 377  
[   ]2023-0901-165059-VALSDELLCOMPUTE-Proofs.log2023-09-01 23:51 377  
[   ]2023-0901-163849-VALSDELLCOMPUTE-Proofs.log2023-09-01 23:38 377  
[   ]2023-0901-162641-VALSDELLCOMPUTE-Proofs.log2023-09-01 23:26 377  
[   ]2023-0901-161433-VALSDELLCOMPUTE-Proofs.log2023-09-01 23:14 377  
[   ]2023-0901-160224-VALSDELLCOMPUTE-Proofs.log2023-09-01 23:02 377  
[   ]2023-0901-155015-VALSDELLCOMPUTE-Proofs.log2023-09-01 22:50 377  
[   ]2023-0901-153807-VALSDELLCOMPUTE-Proofs.log2023-09-01 22:38 377  
[   ]2023-0901-152557-VALSDELLCOMPUTE-Proofs.log2023-09-01 22:26 377  
[   ]2023-0901-151348-VALSDELLCOMPUTE-Proofs.log2023-09-01 22:13 377  
[   ]2023-0901-150139-VALSDELLCOMPUTE-Proofs.log2023-09-01 22:01 377  
[   ]2023-0901-145100-VALSDELLCOMPUTE-Proofs.log2023-09-01 21:51 377  
[   ]2023-0901-143851-VALSDELLCOMPUTE-Proofs.log2023-09-01 21:38 377  
[   ]2023-0901-142842-VALSDELLCOMPUTE-Proofs.log2023-09-01 21:28 377  
[   ]2023-0901-141633-VALSDELLCOMPUTE-Proofs.log2023-09-01 21:16 377  
[   ]2023-0901-140424-VALSDELLCOMPUTE-Proofs.log2023-09-01 21:04 377  
[   ]2023-0901-135215-VALSDELLCOMPUTE-Proofs.log2023-09-01 20:52 377  
[   ]2023-0901-134006-VALSDELLCOMPUTE-Proofs.log2023-09-01 20:40 377  
[   ]2023-0901-132757-VALSDELLCOMPUTE-Proofs.log2023-09-01 20:28 377  
[   ]2023-0901-131548-VALSDELLCOMPUTE-Proofs.log2023-09-01 20:15 377  
[   ]2023-0901-130339-VALSDELLCOMPUTE-Proofs.log2023-09-01 20:03 377  
[   ]2023-0901-125130-VALSDELLCOMPUTE-Proofs.log2023-09-01 19:51 377  
[   ]2023-0901-123918-VALSDELLCOMPUTE-Proofs.log2023-09-01 19:39 377  
[   ]2023-0901-122709-VALSDELLCOMPUTE-Proofs.log2023-09-01 19:27 377  
[   ]2023-0901-121500-VALSDELLCOMPUTE-Proofs.log2023-09-01 19:15 377  
[   ]2023-0901-120251-VALSDELLCOMPUTE-Proofs.log2023-09-01 19:02 377  
[   ]2023-0901-115042-VALSDELLCOMPUTE-Proofs.log2023-09-01 18:50 377  
[   ]2023-0901-113906-VALSDELLCOMPUTE-Proofs.log2023-09-01 18:39 377  
[   ]2023-0901-112612-VALSDELLCOMPUTE-Proofs.log2023-09-01 18:26 377  
[   ]2023-0901-111403-VALSDELLCOMPUTE-Proofs.log2023-09-01 18:14 377  
[   ]2023-0901-110154-VALSDELLCOMPUTE-Proofs.log2023-09-01 18:02 377  
[   ]2023-0901-104945-VALSDELLCOMPUTE-Proofs.log2023-09-01 17:49 377  
[   ]2023-0901-103736-VALSDELLCOMPUTE-Proofs.log2023-09-01 17:37 377  
[   ]2023-0901-102527-VALSDELLCOMPUTE-Proofs.log2023-09-01 17:25 377  
[   ]2023-0901-102439-VALSDELLCOMPUTE-Proofs.log2023-09-01 17:24 350  
[   ]2023-0901-102427-VALSDELLCOMPUTE-Proofs.log2023-09-01 17:24 1.0K 
[   ]2023-0901-102421-VALSDELLCOMPUTE-Proofs.log2023-09-01 17:24 350  
[   ]2023-0901-101332-VALSDELLCOMPUTE-Proofs.log2023-09-01 17:13 1.0K 
[   ]2023-0901-101317-VALSDELLCOMPUTE-Proofs.log2023-09-01 17:13 821  
[   ]2023-0901-100108-VALSDELLCOMPUTE-Proofs.log2023-09-01 17:01 377  
[   ]2023-0901-094859-VALSDELLCOMPUTE-Proofs.log2023-09-01 16:49 377  
[   ]2023-0901-093647-VALSDELLCOMPUTE-Proofs.log2023-09-01 16:36 377  
[   ]2023-0901-092435-VALSDELLCOMPUTE-Proofs.log2023-09-01 16:24 377  
[   ]2023-0901-091223-VALSDELLCOMPUTE-Proofs.log2023-09-01 16:12 377  
[   ]2023-0901-090011-VALSDELLCOMPUTE-Proofs.log2023-09-01 16:00 377  
[   ]2023-0901-084759-VALSDELLCOMPUTE-Proofs.log2023-09-01 15:48 377  
[   ]2023-0901-083545-VALSDELLCOMPUTE-Proofs.log2023-09-01 15:35 377  
[   ]2023-0901-082336-VALSDELLCOMPUTE-Proofs.log2023-09-01 15:23 377  
[   ]2023-0901-081127-VALSDELLCOMPUTE-Proofs.log2023-09-01 15:11 377  
[   ]2023-0901-075915-VALSDELLCOMPUTE-Proofs.log2023-09-01 14:59 377  
[   ]2023-0901-074703-VALSDELLCOMPUTE-Proofs.log2023-09-01 14:47 377  
[   ]2023-0901-073306-VALSDELLCOMPUTE-Proofs.log2023-09-01 14:33 377  
[   ]2023-0901-072054-VALSDELLCOMPUTE-Proofs.log2023-09-01 14:21 377  
[   ]2023-0901-070842-VALSDELLCOMPUTE-Proofs.log2023-09-01 14:08 377  
[   ]2023-0901-065630-VALSDELLCOMPUTE-Proofs.log2023-09-01 13:56 377  
[   ]2023-0901-064418-VALSDELLCOMPUTE-Proofs.log2023-09-01 13:44 377  
[   ]2023-0901-063206-VALSDELLCOMPUTE-Proofs.log2023-09-01 13:32 377  
[   ]2023-0901-061951-VALSDELLCOMPUTE-Proofs.log2023-09-01 13:19 377  
[   ]2023-0901-060739-VALSDELLCOMPUTE-Proofs.log2023-09-01 13:07 377  
[   ]2023-0901-055527-VALSDELLCOMPUTE-Proofs.log2023-09-01 12:55 377  
[   ]2023-0901-054315-VALSDELLCOMPUTE-Proofs.log2023-09-01 12:43 377  
[   ]2023-0901-053103-VALSDELLCOMPUTE-Proofs.log2023-09-01 12:31 377  
[   ]2023-0901-051851-VALSDELLCOMPUTE-Proofs.log2023-09-01 12:18 377  
[   ]2023-0901-050639-VALSDELLCOMPUTE-Proofs.log2023-09-01 12:06 377  
[   ]2023-0901-045427-VALSDELLCOMPUTE-Proofs.log2023-09-01 11:54 377  
[   ]2023-0901-044351-VALSDELLCOMPUTE-Proofs.log2023-09-01 11:44 377  
[   ]2023-0901-042057-VALSDELLCOMPUTE-Proofs.log2023-09-01 11:28 2.2K 
[   ]2023-0901-040845-VALSDELLCOMPUTE-Proofs.log2023-09-01 11:08 377  
[   ]2023-0901-035633-VALSDELLCOMPUTE-Proofs.log2023-09-01 10:56 377  
[   ]2023-0901-034421-VALSDELLCOMPUTE-Proofs.log2023-09-01 10:44 377  
[   ]2023-0901-033209-VALSDELLCOMPUTE-Proofs.log2023-09-01 10:32 377  
[   ]2023-0901-031957-VALSDELLCOMPUTE-Proofs.log2023-09-01 10:20 377  
[   ]2023-0901-020332-VALSDELLCOMPUTE-Proofs.log2023-09-01 09:07 1.2K 
[   ]2023-0901-015118-VALSDELLCOMPUTE-Proofs.log2023-09-01 08:51 377  
[   ]2023-0901-013606-VALSDELLCOMPUTE-Proofs.log2023-09-01 08:36 377  
[   ]2023-0901-012354-VALSDELLCOMPUTE-Proofs.log2023-09-01 08:24 377  
[   ]2023-0901-010112-VALSDELLCOMPUTE-Proofs.log2023-09-01 08:01 377  
[   ]2023-0901-004900-VALSDELLCOMPUTE-Proofs.log2023-09-01 07:49 377  
[   ]2023-0901-003648-VALSDELLCOMPUTE-Proofs.log2023-09-01 07:36 377  
[   ]2023-0901-000257-VALSDELLCOMPUTE-Proofs.log2023-09-01 07:03 377  
[   ]2023-0831-235045-VALSDELLCOMPUTE-Proofs.log2023-09-01 06:50 377  
[   ]2023-0831-233833-VALSDELLCOMPUTE-Proofs.log2023-09-01 06:38 377  
[   ]2023-0831-232621-VALSDELLCOMPUTE-Proofs.log2023-09-01 06:26 377  
[   ]2023-0831-231645-VALSDELLCOMPUTE-Proofs.log2023-09-01 06:16 377  
[   ]2023-0831-230433-VALSDELLCOMPUTE-Proofs.log2023-09-01 06:04 377  
[   ]2023-0831-223409-VALSDELLCOMPUTE-Proofs.log2023-09-01 05:38 1.3K 
[   ]2023-0831-222157-VALSDELLCOMPUTE-Proofs.log2023-09-01 05:22 377  
[   ]2023-0831-220945-VALSDELLCOMPUTE-Proofs.log2023-09-01 05:09 377  
[   ]2023-0831-215733-VALSDELLCOMPUTE-Proofs.log2023-09-01 04:57 377  
[   ]2023-0831-214521-VALSDELLCOMPUTE-Proofs.log2023-09-01 04:45 377  
[   ]2023-0831-213330-VALSDELLCOMPUTE-Proofs.log2023-09-01 04:33 377  
[   ]2023-0831-212118-VALSDELLCOMPUTE-Proofs.log2023-09-01 04:21 377  
[   ]2023-0831-210918-VALSDELLCOMPUTE-Proofs.log2023-09-01 04:09 377  
[   ]2023-0831-205706-VALSDELLCOMPUTE-Proofs.log2023-09-01 03:56 377  
[   ]2023-0831-204454-VALSDELLCOMPUTE-Proofs.log2023-09-01 03:44 377  
[   ]2023-0831-203242-VALSDELLCOMPUTE-Proofs.log2023-09-01 03:32 377  
[   ]2023-0831-202030-VALSDELLCOMPUTE-Proofs.log2023-09-01 03:20 377  
[   ]2023-0831-200818-VALSDELLCOMPUTE-Proofs.log2023-09-01 03:08 377  
[   ]2023-0831-195606-VALSDELLCOMPUTE-Proofs.log2023-09-01 02:55 377  
[   ]2023-0831-194354-VALSDELLCOMPUTE-Proofs.log2023-09-01 02:43 377  
[   ]2023-0831-193142-VALSDELLCOMPUTE-Proofs.log2023-09-01 02:31 377  
[   ]2023-0831-191930-VALSDELLCOMPUTE-Proofs.log2023-09-01 02:19 377  
[   ]2023-0831-190718-VALSDELLCOMPUTE-Proofs.log2023-09-01 02:07 377  
[   ]2023-0831-185506-VALSDELLCOMPUTE-Proofs.log2023-09-01 01:54 377  
[   ]2023-0831-184254-VALSDELLCOMPUTE-Proofs.log2023-09-01 01:42 377  
[   ]2023-0831-183045-VALSDELLCOMPUTE-Proofs.log2023-09-01 01:30 377  
[   ]2023-0831-181836-VALSDELLCOMPUTE-Proofs.log2023-09-01 01:18 377  
[   ]2023-0831-180626-VALSDELLCOMPUTE-Proofs.log2023-09-01 01:06 377  
[   ]2023-0831-175417-VALSDELLCOMPUTE-Proofs.log2023-09-01 00:54 377  
[   ]2023-0831-174208-VALSDELLCOMPUTE-Proofs.log2023-09-01 00:42 377  
[   ]2023-0831-172956-VALSDELLCOMPUTE-Proofs.log2023-09-01 00:29 377  
[   ]2023-0831-171747-VALSDELLCOMPUTE-Proofs.log2023-09-01 00:17 377  
[   ]2023-0831-170536-VALSDELLCOMPUTE-Proofs.log2023-09-01 00:05 377  
[   ]2023-0831-165324-VALSDELLCOMPUTE-Proofs.log2023-08-31 23:53 377  
[   ]2023-0831-164115-VALSDELLCOMPUTE-Proofs.log2023-08-31 23:41 377  
[   ]2023-0831-162906-VALSDELLCOMPUTE-Proofs.log2023-08-31 23:29 377  
[   ]2023-0831-161657-VALSDELLCOMPUTE-Proofs.log2023-08-31 23:16 377  
[   ]2023-0831-160448-VALSDELLCOMPUTE-Proofs.log2023-08-31 23:04 377  
[   ]2023-0831-155239-VALSDELLCOMPUTE-Proofs.log2023-08-31 22:52 377  
[   ]2023-0831-154030-VALSDELLCOMPUTE-Proofs.log2023-08-31 22:40 377  
[   ]2023-0831-152821-VALSDELLCOMPUTE-Proofs.log2023-08-31 22:28 377  
[   ]2023-0831-151642-VALSDELLCOMPUTE-Proofs.log2023-08-31 22:16 377  
[   ]2023-0831-150533-VALSDELLCOMPUTE-Proofs.log2023-08-31 22:05 377  
[   ]2023-0831-145321-VALSDELLCOMPUTE-Proofs.log2023-08-31 21:53 377  
[   ]2023-0831-144109-VALSDELLCOMPUTE-Proofs.log2023-08-31 21:41 377  
[   ]2023-0831-143352-VALSDELLCOMPUTE-Proofs.log2023-08-31 21:33 1.0K 
[   ]2023-0831-143339-VALSDELLCOMPUTE-Proofs.log2023-08-31 21:33 762  
[   ]2023-0831-143057-VALSDELLCOMPUTE-Proofs.log2023-08-31 21:30 377  
[   ]2023-0831-142036-VALSDELLCOMPUTE-Proofs.log2023-08-31 21:20 1.0K 
[   ]2023-0831-142015-VALSDELLCOMPUTE-Proofs.log2023-08-31 21:20 772  
[   ]2023-0831-141848-VALSDELLCOMPUTE-Proofs.log2023-08-31 21:18 377  
[   ]2023-0831-141745-VALSDELLCOMPUTE-Proofs.log2023-08-31 21:17 1.0K 
[   ]2023-0831-141703-VALSDELLCOMPUTE-Proofs.log2023-08-31 21:16 350  
[   ]2023-0831-141651-VALSDELLCOMPUTE-Proofs.log2023-08-31 21:16 766  
[   ]2023-0831-140639-VALSDELLCOMPUTE-Proofs.log2023-08-31 21:06 377  
[   ]2023-0831-135430-VALSDELLCOMPUTE-Proofs.log2023-08-31 20:54 377  
[   ]2023-0831-135015-VALSDELLCOMPUTE-Proofs.log2023-08-31 20:50 1.0K 
[   ]2023-0831-135006-VALSDELLCOMPUTE-Proofs.log2023-08-31 20:49 350  
[   ]2023-0831-134221-VALSDELLCOMPUTE-Proofs.log2023-08-31 20:42 377  
[   ]2023-0831-133012-VALSDELLCOMPUTE-Proofs.log2023-08-31 20:30 377  
[   ]2023-0831-132854-VALSDELLCOMPUTE-Proofs.log2023-08-31 20:29 1.3K