Index of /hawaii/proofs/183/_gsdata_

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]_saved_/2023-05-30 20:06 -  
[ ]_insync_v4.gsl2023-06-04 23:19 118  
[ ]2023-0516-101212-VALSDELLCOMPUTE-Proofs.log2023-05-16 17:12 351  
[ ]2023-0516-101933-VALSDELLCOMPUTE-Proofs.log2023-05-16 17:19 351  
[ ]2023-0516-151901-VALSDELLCOMPUTE-Proofs.log2023-05-16 22:19 351  
[ ]2023-0517-145511-VALSDELLCOMPUTE-Proofs.log2023-05-17 21:55 351  
[ ]2023-0516-101957-VALSDELLCOMPUTE-Proofs.log2023-05-16 17:20 352  
[ ]2023-0516-112431-VALSDELLCOMPUTE-Proofs.log2023-05-16 18:24 352  
[ ]2023-0516-115720-VALSDELLCOMPUTE-Proofs.log2023-05-16 18:57 352  
[ ]2023-0516-115747-VALSDELLCOMPUTE-Proofs.log2023-05-16 18:57 352  
[ ]2023-0516-131730-VALSDELLCOMPUTE-Proofs.log2023-05-16 20:17 352  
[ ]2023-0516-131754-VALSDELLCOMPUTE-Proofs.log2023-05-16 20:17 352  
[ ]2023-0516-132124-VALSDELLCOMPUTE-Proofs.log2023-05-16 20:21 352  
[ ]2023-0516-134731-VALSDELLCOMPUTE-Proofs.log2023-05-16 20:47 352  
[ ]2023-0516-172014-VALSDELLCOMPUTE-Proofs.log2023-05-17 00:20 352  
[ ]2023-0517-110257-VALSDELLCOMPUTE-Proofs.log2023-05-17 18:03 352  
[ ]2023-0517-120200-VALSDELLCOMPUTE-Proofs.log2023-05-17 19:02 352  
[ ]2023-0517-125451-VALSDELLCOMPUTE-Proofs.log2023-05-17 19:54 352  
[ ]2023-0517-132218-VALSDELLCOMPUTE-Proofs.log2023-05-17 20:22 352  
[ ]2023-0517-155907-VALSDELLCOMPUTE-Proofs.log2023-05-17 22:59 352  
[ ]2023-0519-125644-VALSDELLCOMPUTE-Proofs.log2023-05-19 19:56 352  
[ ]2023-0516-150651-VALSDELLCOMPUTE-Proofs.log2023-05-16 22:07 378  
[ ]2023-0602-161226-VALSDELLCOMPUTE-Proofs.log2023-06-02 23:12 378  
[ ]2023-0603-065519-VALSDELLCOMPUTE-Proofs.log2023-06-03 13:55 378  
[ ]2023-0515-131139-VALSDELLCOMPUTE-Proofs.log2023-05-15 20:11 379  
[ ]2023-0515-132349-VALSDELLCOMPUTE-Proofs.log2023-05-15 20:23 379  
[ ]2023-0515-133558-VALSDELLCOMPUTE-Proofs.log2023-05-15 20:36 379  
[ ]2023-0515-134809-VALSDELLCOMPUTE-Proofs.log2023-05-15 20:48 379  
[ ]2023-0515-140018-VALSDELLCOMPUTE-Proofs.log2023-05-15 21:00 379  
[ ]2023-0515-141227-VALSDELLCOMPUTE-Proofs.log2023-05-15 21:12 379  
[ ]2023-0515-142437-VALSDELLCOMPUTE-Proofs.log2023-05-15 21:24 379  
[ ]2023-0515-143536-VALSDELLCOMPUTE-Proofs.log2023-05-15 21:35 379  
[ ]2023-0515-144746-VALSDELLCOMPUTE-Proofs.log2023-05-15 21:47 379  
[ ]2023-0515-145955-VALSDELLCOMPUTE-Proofs.log2023-05-15 22:00 379  
[ ]2023-0515-151205-VALSDELLCOMPUTE-Proofs.log2023-05-15 22:12 379  
[ ]2023-0515-152417-VALSDELLCOMPUTE-Proofs.log2023-05-15 22:24 379  
[ ]2023-0515-153626-VALSDELLCOMPUTE-Proofs.log2023-05-15 22:36 379  
[ ]2023-0515-154835-VALSDELLCOMPUTE-Proofs.log2023-05-15 22:48 379  
[ ]2023-0515-160044-VALSDELLCOMPUTE-Proofs.log2023-05-15 23:00 379  
[ ]2023-0515-161253-VALSDELLCOMPUTE-Proofs.log2023-05-15 23:12 379  
[ ]2023-0515-162505-VALSDELLCOMPUTE-Proofs.log2023-05-15 23:25 379  
[ ]2023-0515-163714-VALSDELLCOMPUTE-Proofs.log2023-05-15 23:37 379  
[ ]2023-0515-164923-VALSDELLCOMPUTE-Proofs.log2023-05-15 23:49 379  
[ ]2023-0515-170132-VALSDELLCOMPUTE-Proofs.log2023-05-16 00:01 379  
[ ]2023-0515-171341-VALSDELLCOMPUTE-Proofs.log2023-05-16 00:13 379  
[ ]2023-0515-172553-VALSDELLCOMPUTE-Proofs.log2023-05-16 00:25 379  
[ ]2023-0515-173805-VALSDELLCOMPUTE-Proofs.log2023-05-16 00:38 379  
[ ]2023-0515-175014-VALSDELLCOMPUTE-Proofs.log2023-05-16 00:50 379  
[ ]2023-0515-180223-VALSDELLCOMPUTE-Proofs.log2023-05-16 01:02 379  
[ ]2023-0515-181435-VALSDELLCOMPUTE-Proofs.log2023-05-16 01:14 379  
[ ]2023-0515-182647-VALSDELLCOMPUTE-Proofs.log2023-05-16 01:26 379  
[ ]2023-0515-183856-VALSDELLCOMPUTE-Proofs.log2023-05-16 01:39 379  
[ ]2023-0515-185105-VALSDELLCOMPUTE-Proofs.log2023-05-16 01:51 379  
[ ]2023-0515-190314-VALSDELLCOMPUTE-Proofs.log2023-05-16 02:03 379  
[ ]2023-0515-191523-VALSDELLCOMPUTE-Proofs.log2023-05-16 02:15 379  
[ ]2023-0515-192732-VALSDELLCOMPUTE-Proofs.log2023-05-16 02:27 379  
[ ]2023-0515-193941-VALSDELLCOMPUTE-Proofs.log2023-05-16 02:39 379  
[ ]2023-0515-195150-VALSDELLCOMPUTE-Proofs.log2023-05-16 02:51 379  
[ ]2023-0515-200359-VALSDELLCOMPUTE-Proofs.log2023-05-16 03:04 379  
[ ]2023-0515-201608-VALSDELLCOMPUTE-Proofs.log2023-05-16 03:16 379  
[ ]2023-0515-202817-VALSDELLCOMPUTE-Proofs.log2023-05-16 03:28 379  
[ ]2023-0515-204026-VALSDELLCOMPUTE-Proofs.log2023-05-16 03:40 379  
[ ]2023-0515-205236-VALSDELLCOMPUTE-Proofs.log2023-05-16 03:52 379  
[ ]2023-0515-210446-VALSDELLCOMPUTE-Proofs.log2023-05-16 04:04 379  
[ ]2023-0515-211658-VALSDELLCOMPUTE-Proofs.log2023-05-16 04:17 379  
[ ]2023-0515-212907-VALSDELLCOMPUTE-Proofs.log2023-05-16 04:29 379  
[ ]2023-0515-214116-VALSDELLCOMPUTE-Proofs.log2023-05-16 04:41 379  
[ ]2023-0515-215325-VALSDELLCOMPUTE-Proofs.log2023-05-16 04:53 379  
[ ]2023-0515-220534-VALSDELLCOMPUTE-Proofs.log2023-05-16 05:05 379  
[ ]2023-0515-221743-VALSDELLCOMPUTE-Proofs.log2023-05-16 05:17 379  
[ ]2023-0515-222952-VALSDELLCOMPUTE-Proofs.log2023-05-16 05:29 379  
[ ]2023-0515-224201-VALSDELLCOMPUTE-Proofs.log2023-05-16 05:42 379  
[ ]2023-0515-225410-VALSDELLCOMPUTE-Proofs.log2023-05-16 05:54 379  
[ ]2023-0515-230619-VALSDELLCOMPUTE-Proofs.log2023-05-16 06:06 379  
[ ]2023-0515-231828-VALSDELLCOMPUTE-Proofs.log2023-05-16 06:18 379  
[ ]2023-0515-233037-VALSDELLCOMPUTE-Proofs.log2023-05-16 06:30 379  
[ ]2023-0515-234246-VALSDELLCOMPUTE-Proofs.log2023-05-16 06:42 379  
[ ]2023-0515-235455-VALSDELLCOMPUTE-Proofs.log2023-05-16 06:55 379  
[ ]2023-0516-000707-VALSDELLCOMPUTE-Proofs.log2023-05-16 07:07 379  
[ ]2023-0516-001916-VALSDELLCOMPUTE-Proofs.log2023-05-16 07:19 379  
[ ]2023-0516-003125-VALSDELLCOMPUTE-Proofs.log2023-05-16 07:31 379  
[ ]2023-0516-004334-VALSDELLCOMPUTE-Proofs.log2023-05-16 07:43 379  
[ ]2023-0516-005543-VALSDELLCOMPUTE-Proofs.log2023-05-16 07:55 379  
[ ]2023-0516-010752-VALSDELLCOMPUTE-Proofs.log2023-05-16 08:07 379  
[ ]2023-0516-012001-VALSDELLCOMPUTE-Proofs.log2023-05-16 08:20 379  
[ ]2023-0516-013210-VALSDELLCOMPUTE-Proofs.log2023-05-16 08:32 379  
[ ]2023-0516-014419-VALSDELLCOMPUTE-Proofs.log2023-05-16 08:44 379  
[ ]2023-0516-015628-VALSDELLCOMPUTE-Proofs.log2023-05-16 08:56 379  
[ ]2023-0516-020837-VALSDELLCOMPUTE-Proofs.log2023-05-16 09:08 379  
[ ]2023-0516-022023-VALSDELLCOMPUTE-Proofs.log2023-05-16 09:20 379  
[ ]2023-0516-023232-VALSDELLCOMPUTE-Proofs.log2023-05-16 09:32 379  
[ ]2023-0516-024441-VALSDELLCOMPUTE-Proofs.log2023-05-16 09:44 379  
[ ]2023-0516-025650-VALSDELLCOMPUTE-Proofs.log2023-05-16 09:56 379  
[ ]2023-0516-030859-VALSDELLCOMPUTE-Proofs.log2023-05-16 10:09 379  
[ ]2023-0516-032111-VALSDELLCOMPUTE-Proofs.log2023-05-16 10:21 379  
[ ]2023-0516-033320-VALSDELLCOMPUTE-Proofs.log2023-05-16 10:33 379  
[ ]2023-0516-034529-VALSDELLCOMPUTE-Proofs.log2023-05-16 10:45 379  
[ ]2023-0516-035738-VALSDELLCOMPUTE-Proofs.log2023-05-16 10:57 379  
[ ]2023-0516-040947-VALSDELLCOMPUTE-Proofs.log2023-05-16 11:09 379  
[ ]2023-0516-042156-VALSDELLCOMPUTE-Proofs.log2023-05-16 11:22 379  
[ ]2023-0516-043405-VALSDELLCOMPUTE-Proofs.log2023-05-16 11:34 379  
[ ]2023-0516-044617-VALSDELLCOMPUTE-Proofs.log2023-05-16 11:46 379  
[ ]2023-0516-045826-VALSDELLCOMPUTE-Proofs.log2023-05-16 11:58 379  
[ ]2023-0516-051035-VALSDELLCOMPUTE-Proofs.log2023-05-16 12:10 379  
[ ]2023-0516-052244-VALSDELLCOMPUTE-Proofs.log2023-05-16 12:22 379  
[ ]2023-0516-053453-VALSDELLCOMPUTE-Proofs.log2023-05-16 12:34 379  
[ ]2023-0516-054705-VALSDELLCOMPUTE-Proofs.log2023-05-16 12:47 379  
[ ]2023-0516-055914-VALSDELLCOMPUTE-Proofs.log2023-05-16 12:59 379  
[ ]2023-0516-061123-VALSDELLCOMPUTE-Proofs.log2023-05-16 13:11 379  
[ ]2023-0516-062332-VALSDELLCOMPUTE-Proofs.log2023-05-16 13:23 379  
[ ]2023-0516-063541-VALSDELLCOMPUTE-Proofs.log2023-05-16 13:35 379  
[ ]2023-0516-064750-VALSDELLCOMPUTE-Proofs.log2023-05-16 13:47 379  
[ ]2023-0516-065959-VALSDELLCOMPUTE-Proofs.log2023-05-16 14:00 379  
[ ]2023-0516-071208-VALSDELLCOMPUTE-Proofs.log2023-05-16 14:12 379  
[ ]2023-0516-072417-VALSDELLCOMPUTE-Proofs.log2023-05-16 14:24 379  
[ ]2023-0516-073629-VALSDELLCOMPUTE-Proofs.log2023-05-16 14:36 379  
[ ]2023-0516-074841-VALSDELLCOMPUTE-Proofs.log2023-05-16 14:48 379  
[ ]2023-0516-080050-VALSDELLCOMPUTE-Proofs.log2023-05-16 15:00 379  
[ ]2023-0516-081259-VALSDELLCOMPUTE-Proofs.log2023-05-16 15:13 379  
[ ]2023-0516-082508-VALSDELLCOMPUTE-Proofs.log2023-05-16 15:25 379  
[ ]2023-0516-083720-VALSDELLCOMPUTE-Proofs.log2023-05-16 15:37 379  
[ ]2023-0516-084929-VALSDELLCOMPUTE-Proofs.log2023-05-16 15:49 379  
[ ]2023-0516-090138-VALSDELLCOMPUTE-Proofs.log2023-05-16 16:01 379  
[ ]2023-0516-091349-VALSDELLCOMPUTE-Proofs.log2023-05-16 16:13 379  
[ ]2023-0516-092558-VALSDELLCOMPUTE-Proofs.log2023-05-16 16:26 379  
[ ]2023-0516-093807-VALSDELLCOMPUTE-Proofs.log2023-05-16 16:38 379  
[ ]2023-0516-095013-VALSDELLCOMPUTE-Proofs.log2023-05-16 16:50 379  
[ ]2023-0516-100220-VALSDELLCOMPUTE-Proofs.log2023-05-16 17:02 379  
[ ]2023-0516-101430-VALSDELLCOMPUTE-Proofs.log2023-05-16 17:14 379  
[ ]2023-0516-102639-VALSDELLCOMPUTE-Proofs.log2023-05-16 17:26 379  
[ ]2023-0516-103849-VALSDELLCOMPUTE-Proofs.log2023-05-16 17:38 379  
[ ]2023-0516-105122-VALSDELLCOMPUTE-Proofs.log2023-05-16 17:51 379  
[ ]2023-0516-110332-VALSDELLCOMPUTE-Proofs.log2023-05-16 18:03 379  
[ ]2023-0516-111541-VALSDELLCOMPUTE-Proofs.log2023-05-16 18:15 379  
[ ]2023-0516-112752-VALSDELLCOMPUTE-Proofs.log2023-05-16 18:27 379  
[ ]2023-0516-114001-VALSDELLCOMPUTE-Proofs.log2023-05-16 18:40 379  
[ ]2023-0516-115210-VALSDELLCOMPUTE-Proofs.log2023-05-16 18:52 379  
[ ]2023-0516-120420-VALSDELLCOMPUTE-Proofs.log2023-05-16 19:04 379  
[ ]2023-0516-121630-VALSDELLCOMPUTE-Proofs.log2023-05-16 19:16 379  
[ ]2023-0516-122842-VALSDELLCOMPUTE-Proofs.log2023-05-16 19:28 379  
[ ]2023-0516-124052-VALSDELLCOMPUTE-Proofs.log2023-05-16 19:40 379  
[ ]2023-0516-125301-VALSDELLCOMPUTE-Proofs.log2023-05-16 19:53 379  
[ ]2023-0516-130510-VALSDELLCOMPUTE-Proofs.log2023-05-16 20:05 379  
[ ]2023-0516-131806-VALSDELLCOMPUTE-Proofs.log2023-05-16 20:18 379  
[ ]2023-0516-133024-VALSDELLCOMPUTE-Proofs.log2023-05-16 20:30 379  
[ ]2023-0516-134234-VALSDELLCOMPUTE-Proofs.log2023-05-16 20:42 379  
[ ]2023-0516-135443-VALSDELLCOMPUTE-Proofs.log2023-05-16 20:54 379  
[ ]2023-0516-140652-VALSDELLCOMPUTE-Proofs.log2023-05-16 21:06 379  
[ ]2023-0516-141902-VALSDELLCOMPUTE-Proofs.log2023-05-16 21:19 379  
[ ]2023-0516-143112-VALSDELLCOMPUTE-Proofs.log2023-05-16 21:31 379  
[ ]2023-0516-144321-VALSDELLCOMPUTE-Proofs.log2023-05-16 21:43 379  
[ ]2023-0516-151704-VALSDELLCOMPUTE-Proofs.log2023-05-16 22:17 379  
[ ]2023-0516-152914-VALSDELLCOMPUTE-Proofs.log2023-05-16 22:29 379  
[ ]2023-0516-154124-VALSDELLCOMPUTE-Proofs.log2023-05-16 22:41 379  
[ ]2023-0516-155333-VALSDELLCOMPUTE-Proofs.log2023-05-16 22:53 379  
[ ]2023-0516-160545-VALSDELLCOMPUTE-Proofs.log2023-05-16 23:05 379  
[ ]2023-0516-161755-VALSDELLCOMPUTE-Proofs.log2023-05-16 23:18 379  
[ ]2023-0516-163004-VALSDELLCOMPUTE-Proofs.log2023-05-16 23:30 379  
[ ]2023-0516-164214-VALSDELLCOMPUTE-Proofs.log2023-05-16 23:42 379  
[ ]2023-0516-165423-VALSDELLCOMPUTE-Proofs.log2023-05-16 23:54 379  
[ ]2023-0516-170632-VALSDELLCOMPUTE-Proofs.log2023-05-17 00:06 379  
[ ]2023-0516-171844-VALSDELLCOMPUTE-Proofs.log2023-05-17 00:18 379  
[ ]2023-0516-173053-VALSDELLCOMPUTE-Proofs.log2023-05-17 00:30 379  
[ ]2023-0516-174302-VALSDELLCOMPUTE-Proofs.log2023-05-17 00:43 379  
[ ]2023-0516-175511-VALSDELLCOMPUTE-Proofs.log2023-05-17 00:55 379  
[ ]2023-0516-180720-VALSDELLCOMPUTE-Proofs.log2023-05-17 01:07 379  
[ ]2023-0516-181929-VALSDELLCOMPUTE-Proofs.log2023-05-17 01:19 379  
[ ]2023-0516-183138-VALSDELLCOMPUTE-Proofs.log2023-05-17 01:31 379  
[ ]2023-0516-184347-VALSDELLCOMPUTE-Proofs.log2023-05-17 01:43 379  
[ ]2023-0516-185556-VALSDELLCOMPUTE-Proofs.log2023-05-17 01:56 379  
[ ]2023-0516-190802-VALSDELLCOMPUTE-Proofs.log2023-05-17 02:08 379  
[ ]2023-0516-192011-VALSDELLCOMPUTE-Proofs.log2023-05-17 02:20 379  
[ ]2023-0516-193220-VALSDELLCOMPUTE-Proofs.log2023-05-17 02:32 379  
[ ]2023-0516-194429-VALSDELLCOMPUTE-Proofs.log2023-05-17 02:44 379  
[ ]2023-0516-195638-VALSDELLCOMPUTE-Proofs.log2023-05-17 02:56 379  
[ ]2023-0516-200847-VALSDELLCOMPUTE-Proofs.log2023-05-17 03:08 379  
[ ]2023-0516-202056-VALSDELLCOMPUTE-Proofs.log2023-05-17 03:21 379  
[ ]2023-0516-203305-VALSDELLCOMPUTE-Proofs.log2023-05-17 03:33 379  
[ ]2023-0516-204514-VALSDELLCOMPUTE-Proofs.log2023-05-17 03:45 379  
[ ]2023-0516-205723-VALSDELLCOMPUTE-Proofs.log2023-05-17 03:57 379  
[ ]2023-0516-210932-VALSDELLCOMPUTE-Proofs.log2023-05-17 04:09 379  
[ ]2023-0516-212141-VALSDELLCOMPUTE-Proofs.log2023-05-17 04:21 379  
[ ]2023-0516-213350-VALSDELLCOMPUTE-Proofs.log2023-05-17 04:33 379  
[ ]2023-0516-214559-VALSDELLCOMPUTE-Proofs.log2023-05-17 04:46 379  
[ ]2023-0516-215808-VALSDELLCOMPUTE-Proofs.log2023-05-17 04:58 379  
[ ]2023-0516-221017-VALSDELLCOMPUTE-Proofs.log2023-05-17 05:10 379  
[ ]2023-0516-222226-VALSDELLCOMPUTE-Proofs.log2023-05-17 05:22 379  
[ ]2023-0516-223435-VALSDELLCOMPUTE-Proofs.log2023-05-17 05:34 379  
[ ]2023-0516-224641-VALSDELLCOMPUTE-Proofs.log2023-05-17 05:46 379  
[ ]2023-0516-225850-VALSDELLCOMPUTE-Proofs.log2023-05-17 05:58 379  
[ ]2023-0516-231059-VALSDELLCOMPUTE-Proofs.log2023-05-17 06:11 379  
[ ]2023-0516-232308-VALSDELLCOMPUTE-Proofs.log2023-05-17 06:23 379  
[ ]2023-0516-234726-VALSDELLCOMPUTE-Proofs.log2023-05-17 06:47 379  
[ ]2023-0516-235935-VALSDELLCOMPUTE-Proofs.log2023-05-17 06:59 379  
[ ]2023-0517-001144-VALSDELLCOMPUTE-Proofs.log2023-05-17 07:11 379  
[ ]2023-0517-002353-VALSDELLCOMPUTE-Proofs.log2023-05-17 07:23 379  
[ ]2023-0517-003602-VALSDELLCOMPUTE-Proofs.log2023-05-17 07:36 379  
[ ]2023-0517-004811-VALSDELLCOMPUTE-Proofs.log2023-05-17 07:48 379  
[ ]2023-0517-010020-VALSDELLCOMPUTE-Proofs.log2023-05-17 08:00 379  
[ ]2023-0517-011229-VALSDELLCOMPUTE-Proofs.log2023-05-17 08:12 379  
[ ]2023-0517-012438-VALSDELLCOMPUTE-Proofs.log2023-05-17 08:24 379  
[ ]2023-0517-013644-VALSDELLCOMPUTE-Proofs.log2023-05-17 08:36 379  
[ ]2023-0517-014853-VALSDELLCOMPUTE-Proofs.log2023-05-17 08:48 379  
[ ]2023-0517-020102-VALSDELLCOMPUTE-Proofs.log2023-05-17 09:01 379  
[ ]2023-0517-021311-VALSDELLCOMPUTE-Proofs.log2023-05-17 09:13 379  
[ ]2023-0517-022520-VALSDELLCOMPUTE-Proofs.log2023-05-17 09:25 379  
[ ]2023-0517-023726-VALSDELLCOMPUTE-Proofs.log2023-05-17 09:37 379  
[ ]2023-0517-024935-VALSDELLCOMPUTE-Proofs.log2023-05-17 09:49 379  
[ ]2023-0517-030144-VALSDELLCOMPUTE-Proofs.log2023-05-17 10:01 379  
[ ]2023-0517-031353-VALSDELLCOMPUTE-Proofs.log2023-05-17 10:13 379  
[ ]2023-0517-032602-VALSDELLCOMPUTE-Proofs.log2023-05-17 10:26 379  
[ ]2023-0517-033617-VALSDELLCOMPUTE-Proofs.log2023-05-17 10:36 379  
[ ]2023-0517-034756-VALSDELLCOMPUTE-Proofs.log2023-05-17 10:48 379  
[ ]2023-0517-040005-VALSDELLCOMPUTE-Proofs.log2023-05-17 11:00 379  
[ ]2023-0517-041214-VALSDELLCOMPUTE-Proofs.log2023-05-17 11:12 379  
[ ]2023-0517-042423-VALSDELLCOMPUTE-Proofs.log2023-05-17 11:24 379  
[ ]2023-0517-043632-VALSDELLCOMPUTE-Proofs.log2023-05-17 11:36 379  
[ ]2023-0517-044838-VALSDELLCOMPUTE-Proofs.log2023-05-17 11:48 379  
[ ]2023-0517-050047-VALSDELLCOMPUTE-Proofs.log2023-05-17 12:00 379  
[ ]2023-0517-051256-VALSDELLCOMPUTE-Proofs.log2023-05-17 12:13 379  
[ ]2023-0517-052505-VALSDELLCOMPUTE-Proofs.log2023-05-17 12:25 379  
[ ]2023-0517-053711-VALSDELLCOMPUTE-Proofs.log2023-05-17 12:37 379  
[ ]2023-0517-054920-VALSDELLCOMPUTE-Proofs.log2023-05-17 12:49 379  
[ ]2023-0517-060129-VALSDELLCOMPUTE-Proofs.log2023-05-17 13:01 379  
[ ]2023-0517-061335-VALSDELLCOMPUTE-Proofs.log2023-05-17 13:13 379  
[ ]2023-0517-062544-VALSDELLCOMPUTE-Proofs.log2023-05-17 13:25 379  
[ ]2023-0517-063753-VALSDELLCOMPUTE-Proofs.log2023-05-17 13:37 379  
[ ]2023-0517-065002-VALSDELLCOMPUTE-Proofs.log2023-05-17 13:50 379  
[ ]2023-0517-070211-VALSDELLCOMPUTE-Proofs.log2023-05-17 14:02 379  
[ ]2023-0517-071417-VALSDELLCOMPUTE-Proofs.log2023-05-17 14:14 379  
[ ]2023-0517-072626-VALSDELLCOMPUTE-Proofs.log2023-05-17 14:26 379  
[ ]2023-0517-073835-VALSDELLCOMPUTE-Proofs.log2023-05-17 14:38 379  
[ ]2023-0517-075044-VALSDELLCOMPUTE-Proofs.log2023-05-17 14:50 379  
[ ]2023-0517-080253-VALSDELLCOMPUTE-Proofs.log2023-05-17 15:02 379  
[ ]2023-0517-081502-VALSDELLCOMPUTE-Proofs.log2023-05-17 15:15 379  
[ ]2023-0517-082711-VALSDELLCOMPUTE-Proofs.log2023-05-17 15:27 379  
[ ]2023-0517-083920-VALSDELLCOMPUTE-Proofs.log2023-05-17 15:39 379  
[ ]2023-0517-085129-VALSDELLCOMPUTE-Proofs.log2023-05-17 15:51 379  
[ ]2023-0517-090338-VALSDELLCOMPUTE-Proofs.log2023-05-17 16:03 379  
[ ]2023-0517-091547-VALSDELLCOMPUTE-Proofs.log2023-05-17 16:15 379  
[ ]2023-0517-092756-VALSDELLCOMPUTE-Proofs.log2023-05-17 16:28 379  
[ ]2023-0517-094005-VALSDELLCOMPUTE-Proofs.log2023-05-17 16:40 379  
[ ]2023-0517-095216-VALSDELLCOMPUTE-Proofs.log2023-05-17 16:52 379  
[ ]2023-0517-100425-VALSDELLCOMPUTE-Proofs.log2023-05-17 17:04 379  
[ ]2023-0517-101631-VALSDELLCOMPUTE-Proofs.log2023-05-17 17:16 379  
[ ]2023-0517-102840-VALSDELLCOMPUTE-Proofs.log2023-05-17 17:28 379  
[ ]2023-0517-104049-VALSDELLCOMPUTE-Proofs.log2023-05-17 17:40 379  
[ ]2023-0517-105258-VALSDELLCOMPUTE-Proofs.log2023-05-17 17:53 379  
[ ]2023-0517-110506-VALSDELLCOMPUTE-Proofs.log2023-05-17 18:05 379  
[ ]2023-0517-111715-VALSDELLCOMPUTE-Proofs.log2023-05-17 18:17 379  
[ ]2023-0517-112926-VALSDELLCOMPUTE-Proofs.log2023-05-17 18:29 379  
[ ]2023-0517-114135-VALSDELLCOMPUTE-Proofs.log2023-05-17 18:41 379  
[ ]2023-0517-115344-VALSDELLCOMPUTE-Proofs.log2023-05-17 18:53 379  
[ ]2023-0517-120554-VALSDELLCOMPUTE-Proofs.log2023-05-17 19:06 379  
[ ]2023-0517-121803-VALSDELLCOMPUTE-Proofs.log2023-05-17 19:18 379  
[ ]2023-0517-123012-VALSDELLCOMPUTE-Proofs.log2023-05-17 19:30 379  
[ ]2023-0517-124221-VALSDELLCOMPUTE-Proofs.log2023-05-17 19:42 379  
[ ]2023-0517-130642-VALSDELLCOMPUTE-Proofs.log2023-05-17 20:06 379  
[ ]2023-0517-131851-VALSDELLCOMPUTE-Proofs.log2023-05-17 20:18 379  
[ ]2023-0517-133100-VALSDELLCOMPUTE-Proofs.log2023-05-17 20:31 379  
[ ]2023-0517-134308-VALSDELLCOMPUTE-Proofs.log2023-05-17 20:43 379  
[ ]2023-0517-135520-VALSDELLCOMPUTE-Proofs.log2023-05-17 20:55 379  
[ ]2023-0517-140729-VALSDELLCOMPUTE-Proofs.log2023-05-17 21:07 379  
[ ]2023-0517-141938-VALSDELLCOMPUTE-Proofs.log2023-05-17 21:19 379  
[ ]2023-0517-143147-VALSDELLCOMPUTE-Proofs.log2023-05-17 21:31 379  
[ ]2023-0517-144358-VALSDELLCOMPUTE-Proofs.log2023-05-17 21:44 379  
[ ]2023-0517-145605-VALSDELLCOMPUTE-Proofs.log2023-05-17 21:56 379  
[ ]2023-0517-150817-VALSDELLCOMPUTE-Proofs.log2023-05-17 22:08 379  
[ ]2023-0517-152026-VALSDELLCOMPUTE-Proofs.log2023-05-17 22:20 379  
[ ]2023-0517-153235-VALSDELLCOMPUTE-Proofs.log2023-05-17 22:32 379  
[ ]2023-0517-154444-VALSDELLCOMPUTE-Proofs.log2023-05-17 22:44 379  
[ ]2023-0517-155655-VALSDELLCOMPUTE-Proofs.log2023-05-17 22:57 379  
[ ]2023-0517-160904-VALSDELLCOMPUTE-Proofs.log2023-05-17 23:09 379  
[ ]2023-0517-162114-VALSDELLCOMPUTE-Proofs.log2023-05-17 23:21 379  
[ ]2023-0517-170020-VALSDELLCOMPUTE-Proofs.log2023-05-18 00:00 379  
[ ]2023-0517-171232-VALSDELLCOMPUTE-Proofs.log2023-05-18 00:12 379  
[ ]2023-0517-172344-VALSDELLCOMPUTE-Proofs.log2023-05-18 00:23 379  
[ ]2023-0517-173353-VALSDELLCOMPUTE-Proofs.log2023-05-18 00:33 379  
[ ]2023-0517-174602-VALSDELLCOMPUTE-Proofs.log2023-05-18 00:46 379  
[ ]2023-0517-175811-VALSDELLCOMPUTE-Proofs.log2023-05-18 00:58 379  
[ ]2023-0517-181020-VALSDELLCOMPUTE-Proofs.log2023-05-18 01:10 379  
[ ]2023-0517-182229-VALSDELLCOMPUTE-Proofs.log2023-05-18 01:22 379  
[ ]2023-0517-183441-VALSDELLCOMPUTE-Proofs.log2023-05-18 01:34 379  
[ ]2023-0517-184653-VALSDELLCOMPUTE-Proofs.log2023-05-18 01:46 379  
[ ]2023-0517-185902-VALSDELLCOMPUTE-Proofs.log2023-05-18 01:59 379  
[ ]2023-0517-191111-VALSDELLCOMPUTE-Proofs.log2023-05-18 02:11 379  
[ ]2023-0517-192323-VALSDELLCOMPUTE-Proofs.log2023-05-18 02:23 379  
[ ]2023-0517-193532-VALSDELLCOMPUTE-Proofs.log2023-05-18 02:35 379  
[ ]2023-0517-194741-VALSDELLCOMPUTE-Proofs.log2023-05-18 02:47 379  
[ ]2023-0517-195950-VALSDELLCOMPUTE-Proofs.log2023-05-18 02:59 379  
[ ]2023-0517-201159-VALSDELLCOMPUTE-Proofs.log2023-05-18 03:12 379  
[ ]2023-0517-202411-VALSDELLCOMPUTE-Proofs.log2023-05-18 03:24 379  
[ ]2023-0517-203620-VALSDELLCOMPUTE-Proofs.log2023-05-18 03:36 379  
[ ]2023-0517-204829-VALSDELLCOMPUTE-Proofs.log2023-05-18 03:48 379  
[ ]2023-0517-210041-VALSDELLCOMPUTE-Proofs.log2023-05-18 04:00 379  
[ ]2023-0517-211253-VALSDELLCOMPUTE-Proofs.log2023-05-18 04:12 379  
[ ]2023-0517-212505-VALSDELLCOMPUTE-Proofs.log2023-05-18 04:25 379  
[ ]2023-0517-213716-VALSDELLCOMPUTE-Proofs.log2023-05-18 04:37 379  
[ ]2023-0517-214928-VALSDELLCOMPUTE-Proofs.log2023-05-18 04:49 379  
[ ]2023-0517-220140-VALSDELLCOMPUTE-Proofs.log2023-05-18 05:01 379  
[ ]2023-0517-221349-VALSDELLCOMPUTE-Proofs.log2023-05-18 05:13 379  
[ ]2023-0517-222601-VALSDELLCOMPUTE-Proofs.log2023-05-18 05:26 379  
[ ]2023-0517-223810-VALSDELLCOMPUTE-Proofs.log2023-05-18 05:38 379  
[ ]2023-0517-225019-VALSDELLCOMPUTE-Proofs.log2023-05-18 05:50 379  
[ ]2023-0517-230231-VALSDELLCOMPUTE-Proofs.log2023-05-18 06:02 379  
[ ]2023-0517-231440-VALSDELLCOMPUTE-Proofs.log2023-05-18 06:14 379  
[ ]2023-0517-232652-VALSDELLCOMPUTE-Proofs.log2023-05-18 06:26 379  
[ ]2023-0517-233901-VALSDELLCOMPUTE-Proofs.log2023-05-18 06:39 379  
[ ]2023-0517-235113-VALSDELLCOMPUTE-Proofs.log2023-05-18 06:51 379  
[ ]2023-0518-000322-VALSDELLCOMPUTE-Proofs.log2023-05-18 07:03 379  
[ ]2023-0518-001533-VALSDELLCOMPUTE-Proofs.log2023-05-18 07:15 379  
[ ]2023-0518-002742-VALSDELLCOMPUTE-Proofs.log2023-05-18 07:27 379  
[ ]2023-0518-003952-VALSDELLCOMPUTE-Proofs.log2023-05-18 07:39 379  
[ ]2023-0518-005204-VALSDELLCOMPUTE-Proofs.log2023-05-18 07:52 379  
[ ]2023-0518-010413-VALSDELLCOMPUTE-Proofs.log2023-05-18 08:04 379  
[ ]2023-0518-011622-VALSDELLCOMPUTE-Proofs.log2023-05-18 08:16 379  
[ ]2023-0518-012831-VALSDELLCOMPUTE-Proofs.log2023-05-18 08:28 379  
[ ]2023-0518-014040-VALSDELLCOMPUTE-Proofs.log2023-05-18 08:40 379  
[ ]2023-0518-015249-VALSDELLCOMPUTE-Proofs.log2023-05-18 08:52 379  
[ ]2023-0518-020458-VALSDELLCOMPUTE-Proofs.log2023-05-18 09:05 379  
[ ]2023-0518-021710-VALSDELLCOMPUTE-Proofs.log2023-05-18 09:17 379  
[ ]2023-0518-022922-VALSDELLCOMPUTE-Proofs.log2023-05-18 09:29 379  
[ ]2023-0518-024134-VALSDELLCOMPUTE-Proofs.log2023-05-18 09:41 379  
[ ]2023-0518-025343-VALSDELLCOMPUTE-Proofs.log2023-05-18 09:53 379  
[ ]2023-0518-030552-VALSDELLCOMPUTE-Proofs.log2023-05-18 10:05 379  
[ ]2023-0518-031801-VALSDELLCOMPUTE-Proofs.log2023-05-18 10:18 379  
[ ]2023-0518-033010-VALSDELLCOMPUTE-Proofs.log2023-05-18 10:30 379  
[ ]2023-0518-034219-VALSDELLCOMPUTE-Proofs.log2023-05-18 10:42 379  
[ ]2023-0518-035428-VALSDELLCOMPUTE-Proofs.log2023-05-18 10:54 379  
[ ]2023-0518-040637-VALSDELLCOMPUTE-Proofs.log2023-05-18 11:06 379  
[ ]2023-0518-041846-VALSDELLCOMPUTE-Proofs.log2023-05-18 11:18 379  
[ ]2023-0518-043055-VALSDELLCOMPUTE-Proofs.log2023-05-18 11:30 379  
[ ]2023-0518-044304-VALSDELLCOMPUTE-Proofs.log2023-05-18 11:43 379  
[ ]2023-0518-045516-VALSDELLCOMPUTE-Proofs.log2023-05-18 11:55 379  
[ ]2023-0518-050728-VALSDELLCOMPUTE-Proofs.log2023-05-18 12:07 379  
[ ]2023-0518-051940-VALSDELLCOMPUTE-Proofs.log2023-05-18 12:19 379  
[ ]2023-0518-053149-VALSDELLCOMPUTE-Proofs.log2023-05-18 12:31 379  
[ ]2023-0518-054358-VALSDELLCOMPUTE-Proofs.log2023-05-18 12:44 379  
[ ]2023-0518-055607-VALSDELLCOMPUTE-Proofs.log2023-05-18 12:56 379  
[ ]2023-0518-060816-VALSDELLCOMPUTE-Proofs.log2023-05-18 13:08 379  
[ ]2023-0518-062028-VALSDELLCOMPUTE-Proofs.log2023-05-18 13:20 379  
[ ]2023-0518-063237-VALSDELLCOMPUTE-Proofs.log2023-05-18 13:32 379  
[ ]2023-0518-064446-VALSDELLCOMPUTE-Proofs.log2023-05-18 13:44 379  
[ ]2023-0518-065504-VALSDELLCOMPUTE-Proofs.log2023-05-18 13:55 379  
[ ]2023-0518-070704-VALSDELLCOMPUTE-Proofs.log2023-05-18 14:07 379  
[ ]2023-0518-071916-VALSDELLCOMPUTE-Proofs.log2023-05-18 14:19 379  
[ ]2023-0518-073128-VALSDELLCOMPUTE-Proofs.log2023-05-18 14:31 379  
[ ]2023-0518-074337-VALSDELLCOMPUTE-Proofs.log2023-05-18 14:43 379  
[ ]2023-0518-075546-VALSDELLCOMPUTE-Proofs.log2023-05-18 14:55 379  
[ ]2023-0518-080758-VALSDELLCOMPUTE-Proofs.log2023-05-18 15:08 379  
[ ]2023-0518-082007-VALSDELLCOMPUTE-Proofs.log2023-05-18 15:20 379  
[ ]2023-0518-083219-VALSDELLCOMPUTE-Proofs.log2023-05-18 15:32 379  
[ ]2023-0518-084428-VALSDELLCOMPUTE-Proofs.log2023-05-18 15:44 379  
[ ]2023-0518-085639-VALSDELLCOMPUTE-Proofs.log2023-05-18 15:56 379  
[ ]2023-0518-090848-VALSDELLCOMPUTE-Proofs.log2023-05-18 16:08 379  
[ ]2023-0518-092057-VALSDELLCOMPUTE-Proofs.log2023-05-18 16:21 379  
[ ]2023-0518-093307-VALSDELLCOMPUTE-Proofs.log2023-05-18 16:33 379  
[ ]2023-0518-094516-VALSDELLCOMPUTE-Proofs.log2023-05-18 16:45 379  
[ ]2023-0518-095727-VALSDELLCOMPUTE-Proofs.log2023-05-18 16:57 379  
[ ]2023-0518-100936-VALSDELLCOMPUTE-Proofs.log2023-05-18 17:09 379  
[ ]2023-0518-102145-VALSDELLCOMPUTE-Proofs.log2023-05-18 17:21 379  
[ ]2023-0518-103357-VALSDELLCOMPUTE-Proofs.log2023-05-18 17:34 379  
[ ]2023-0518-104609-VALSDELLCOMPUTE-Proofs.log2023-05-18 17:46 379  
[ ]2023-0518-105821-VALSDELLCOMPUTE-Proofs.log2023-05-18 17:58 379  
[ ]2023-0518-111030-VALSDELLCOMPUTE-Proofs.log2023-05-18 18:10 379  
[ ]2023-0518-112242-VALSDELLCOMPUTE-Proofs.log2023-05-18 18:22 379  
[ ]2023-0518-113451-VALSDELLCOMPUTE-Proofs.log2023-05-18 18:34 379  
[ ]2023-0518-114700-VALSDELLCOMPUTE-Proofs.log2023-05-18 18:47 379  
[ ]2023-0518-115909-VALSDELLCOMPUTE-Proofs.log2023-05-18 18:59 379  
[ ]2023-0518-121118-VALSDELLCOMPUTE-Proofs.log2023-05-18 19:11 379  
[ ]2023-0518-122328-VALSDELLCOMPUTE-Proofs.log2023-05-18 19:23 379  
[ ]2023-0518-123536-VALSDELLCOMPUTE-Proofs.log2023-05-18 19:35 379  
[ ]2023-0518-124745-VALSDELLCOMPUTE-Proofs.log2023-05-18 19:47 379  
[ ]2023-0518-125954-VALSDELLCOMPUTE-Proofs.log2023-05-18 20:00 379  
[ ]2023-0518-131203-VALSDELLCOMPUTE-Proofs.log2023-05-18 20:12 379  
[ ]2023-0518-132413-VALSDELLCOMPUTE-Proofs.log2023-05-18 20:24 379  
[ ]2023-0518-133623-VALSDELLCOMPUTE-Proofs.log2023-05-18 20:36 379  
[ ]2023-0518-134835-VALSDELLCOMPUTE-Proofs.log2023-05-18 20:48 379  
[ ]2023-0518-140047-VALSDELLCOMPUTE-Proofs.log2023-05-18 21:00 379  
[ ]2023-0518-141259-VALSDELLCOMPUTE-Proofs.log2023-05-18 21:13 379  
[ ]2023-0518-142511-VALSDELLCOMPUTE-Proofs.log2023-05-18 21:25 379  
[ ]2023-0518-143723-VALSDELLCOMPUTE-Proofs.log2023-05-18 21:37 379  
[ ]2023-0518-144935-VALSDELLCOMPUTE-Proofs.log2023-05-18 21:49 379  
[ ]2023-0518-150147-VALSDELLCOMPUTE-Proofs.log2023-05-18 22:01 379  
[ ]2023-0518-151357-VALSDELLCOMPUTE-Proofs.log2023-05-18 22:14 379  
[ ]2023-0518-152606-VALSDELLCOMPUTE-Proofs.log2023-05-18 22:26 379  
[ ]2023-0518-153815-VALSDELLCOMPUTE-Proofs.log2023-05-18 22:38 379  
[ ]2023-0518-155025-VALSDELLCOMPUTE-Proofs.log2023-05-18 22:50 379  
[ ]2023-0518-160234-VALSDELLCOMPUTE-Proofs.log2023-05-18 23:02 379  
[ ]2023-0518-161444-VALSDELLCOMPUTE-Proofs.log2023-05-18 23:14 379  
[ ]2023-0518-162654-VALSDELLCOMPUTE-Proofs.log2023-05-18 23:26 379  
[ ]2023-0518-163903-VALSDELLCOMPUTE-Proofs.log2023-05-18 23:39 379  
[ ]2023-0518-165111-VALSDELLCOMPUTE-Proofs.log2023-05-18 23:51 379  
[ ]2023-0518-170320-VALSDELLCOMPUTE-Proofs.log2023-05-19 00:03 379  
[ ]2023-0518-171529-VALSDELLCOMPUTE-Proofs.log2023-05-19 00:15 379  
[ ]2023-0518-172738-VALSDELLCOMPUTE-Proofs.log2023-05-19 00:27 379  
[ ]2023-0518-173950-VALSDELLCOMPUTE-Proofs.log2023-05-19 00:39 379  
[ ]2023-0518-175159-VALSDELLCOMPUTE-Proofs.log2023-05-19 00:52 379  
[ ]2023-0518-180408-VALSDELLCOMPUTE-Proofs.log2023-05-19 01:04 379  
[ ]2023-0518-181617-VALSDELLCOMPUTE-Proofs.log2023-05-19 01:16 379  
[ ]2023-0518-182826-VALSDELLCOMPUTE-Proofs.log2023-05-19 01:28 379  
[ ]2023-0518-184035-VALSDELLCOMPUTE-Proofs.log2023-05-19 01:40 379  
[ ]2023-0518-185244-VALSDELLCOMPUTE-Proofs.log2023-05-19 01:52 379  
[ ]2023-0518-190453-VALSDELLCOMPUTE-Proofs.log2023-05-19 02:04 379  
[ ]2023-0518-191702-VALSDELLCOMPUTE-Proofs.log2023-05-19 02:17 379  
[ ]2023-0518-192911-VALSDELLCOMPUTE-Proofs.log2023-05-19 02:29 379  
[ ]2023-0518-194120-VALSDELLCOMPUTE-Proofs.log2023-05-19 02:41 379  
[ ]2023-0518-195329-VALSDELLCOMPUTE-Proofs.log2023-05-19 02:53 379  
[ ]2023-0518-200341-VALSDELLCOMPUTE-Proofs.log2023-05-19 03:03 379  
[ ]2023-0518-201432-VALSDELLCOMPUTE-Proofs.log2023-05-19 03:14 379  
[ ]2023-0518-202438-VALSDELLCOMPUTE-Proofs.log2023-05-19 03:24 379  
[ ]2023-0518-203647-VALSDELLCOMPUTE-Proofs.log2023-05-19 03:36 379  
[ ]2023-0518-204856-VALSDELLCOMPUTE-Proofs.log2023-05-19 03:49 379  
[ ]2023-0518-210105-VALSDELLCOMPUTE-Proofs.log2023-05-19 04:01 379  
[ ]2023-0518-211314-VALSDELLCOMPUTE-Proofs.log2023-05-19 04:13 379  
[ ]2023-0518-212523-VALSDELLCOMPUTE-Proofs.log2023-05-19 04:25 379  
[ ]2023-0518-213732-VALSDELLCOMPUTE-Proofs.log2023-05-19 04:37 379  
[ ]2023-0518-214941-VALSDELLCOMPUTE-Proofs.log2023-05-19 04:49 379  
[ ]2023-0518-220150-VALSDELLCOMPUTE-Proofs.log2023-05-19 05:01 379  
[ ]2023-0518-221417-VALSDELLCOMPUTE-Proofs.log2023-05-19 05:14 379  
[ ]2023-0518-222626-VALSDELLCOMPUTE-Proofs.log2023-05-19 05:26 379  
[ ]2023-0518-223835-VALSDELLCOMPUTE-Proofs.log2023-05-19 05:38 379  
[ ]2023-0518-225047-VALSDELLCOMPUTE-Proofs.log2023-05-19 05:50 379  
[ ]2023-0518-230256-VALSDELLCOMPUTE-Proofs.log2023-05-19 06:03 379  
[ ]2023-0518-231505-VALSDELLCOMPUTE-Proofs.log2023-05-19 06:15 379  
[ ]2023-0518-232714-VALSDELLCOMPUTE-Proofs.log2023-05-19 06:27 379  
[ ]2023-0518-233926-VALSDELLCOMPUTE-Proofs.log2023-05-19 06:39 379  
[ ]2023-0518-235135-VALSDELLCOMPUTE-Proofs.log2023-05-19 06:51 379  
[ ]2023-0519-000344-VALSDELLCOMPUTE-Proofs.log2023-05-19 07:03 379  
[ ]2023-0519-001553-VALSDELLCOMPUTE-Proofs.log2023-05-19 07:15 379  
[ ]2023-0519-002802-VALSDELLCOMPUTE-Proofs.log2023-05-19 07:28 379  
[ ]2023-0519-004011-VALSDELLCOMPUTE-Proofs.log2023-05-19 07:40 379  
[ ]2023-0519-005220-VALSDELLCOMPUTE-Proofs.log2023-05-19 07:52 379  
[ ]2023-0519-010429-VALSDELLCOMPUTE-Proofs.log2023-05-19 08:04 379  
[ ]2023-0519-011638-VALSDELLCOMPUTE-Proofs.log2023-05-19 08:16 379  
[ ]2023-0519-012847-VALSDELLCOMPUTE-Proofs.log2023-05-19 08:28 379  
[ ]2023-0519-014056-VALSDELLCOMPUTE-Proofs.log2023-05-19 08:41 379  
[ ]2023-0519-015306-VALSDELLCOMPUTE-Proofs.log2023-05-19 08:53 379  
[ ]2023-0519-020517-VALSDELLCOMPUTE-Proofs.log2023-05-19 09:05 379  
[ ]2023-0519-021726-VALSDELLCOMPUTE-Proofs.log2023-05-19 09:17 379  
[ ]2023-0519-022935-VALSDELLCOMPUTE-Proofs.log2023-05-19 09:29 379  
[ ]2023-0519-024144-VALSDELLCOMPUTE-Proofs.log2023-05-19 09:41 379  
[ ]2023-0519-025353-VALSDELLCOMPUTE-Proofs.log2023-05-19 09:53 379  
[ ]2023-0519-030602-VALSDELLCOMPUTE-Proofs.log2023-05-19 10:06 379  
[ ]2023-0519-031811-VALSDELLCOMPUTE-Proofs.log2023-05-19 10:18 379  
[ ]2023-0519-033020-VALSDELLCOMPUTE-Proofs.log2023-05-19 10:30 379  
[ ]2023-0519-034229-VALSDELLCOMPUTE-Proofs.log2023-05-19 10:42 379  
[ ]2023-0519-035438-VALSDELLCOMPUTE-Proofs.log2023-05-19 10:54 379  
[ ]2023-0519-040647-VALSDELLCOMPUTE-Proofs.log2023-05-19 11:06 379  
[ ]2023-0519-041856-VALSDELLCOMPUTE-Proofs.log2023-05-19 11:19 379  
[ ]2023-0519-043105-VALSDELLCOMPUTE-Proofs.log2023-05-19 11:31 379  
[ ]2023-0519-044314-VALSDELLCOMPUTE-Proofs.log2023-05-19 11:43 379  
[ ]2023-0519-045523-VALSDELLCOMPUTE-Proofs.log2023-05-19 11:55 379  
[ ]2023-0519-050732-VALSDELLCOMPUTE-Proofs.log2023-05-19 12:07 379  
[ ]2023-0519-051941-VALSDELLCOMPUTE-Proofs.log2023-05-19 12:19 379  
[ ]2023-0519-053150-VALSDELLCOMPUTE-Proofs.log2023-05-19 12:31 379  
[ ]2023-0519-054359-VALSDELLCOMPUTE-Proofs.log2023-05-19 12:44 379  
[ ]2023-0519-055608-VALSDELLCOMPUTE-Proofs.log2023-05-19 12:56 379  
[ ]2023-0519-060820-VALSDELLCOMPUTE-Proofs.log2023-05-19 13:08 379  
[ ]2023-0519-062029-VALSDELLCOMPUTE-Proofs.log2023-05-19 13:20 379  
[ ]2023-0519-063238-VALSDELLCOMPUTE-Proofs.log2023-05-19 13:32 379  
[ ]2023-0519-064447-VALSDELLCOMPUTE-Proofs.log2023-05-19 13:44 379  
[ ]2023-0519-065656-VALSDELLCOMPUTE-Proofs.log2023-05-19 13:57 379  
[ ]2023-0519-070905-VALSDELLCOMPUTE-Proofs.log2023-05-19 14:09 379  
[ ]2023-0519-072116-VALSDELLCOMPUTE-Proofs.log2023-05-19 14:21 379  
[ ]2023-0519-073325-VALSDELLCOMPUTE-Proofs.log2023-05-19 14:33 379  
[ ]2023-0519-074534-VALSDELLCOMPUTE-Proofs.log2023-05-19 14:45 379  
[ ]2023-0519-075743-VALSDELLCOMPUTE-Proofs.log2023-05-19 14:57 379  
[ ]2023-0519-080952-VALSDELLCOMPUTE-Proofs.log2023-05-19 15:09 379  
[ ]2023-0519-082201-VALSDELLCOMPUTE-Proofs.log2023-05-19 15:22 379  
[ ]2023-0519-083416-VALSDELLCOMPUTE-Proofs.log2023-05-19 15:34 379  
[ ]2023-0519-084625-VALSDELLCOMPUTE-Proofs.log2023-05-19 15:46 379  
[ ]2023-0519-085834-VALSDELLCOMPUTE-Proofs.log2023-05-19 15:58 379  
[ ]2023-0519-091043-VALSDELLCOMPUTE-Proofs.log2023-05-19 16:10 379  
[ ]2023-0519-092252-VALSDELLCOMPUTE-Proofs.log2023-05-19 16:22 379  
[ ]2023-0519-093501-VALSDELLCOMPUTE-Proofs.log2023-05-19 16:35 379  
[ ]2023-0519-095919-VALSDELLCOMPUTE-Proofs.log2023-05-19 16:59 379  
[ ]2023-0519-101128-VALSDELLCOMPUTE-Proofs.log2023-05-19 17:11 379  
[ ]2023-0519-102337-VALSDELLCOMPUTE-Proofs.log2023-05-19 17:23 379  
[ ]2023-0519-103546-VALSDELLCOMPUTE-Proofs.log2023-05-19 17:35 379  
[ ]2023-0519-104746-VALSDELLCOMPUTE-Proofs.log2023-05-19 17:47 379  
[ ]2023-0519-105955-VALSDELLCOMPUTE-Proofs.log2023-05-19 18:00 379  
[ ]2023-0519-111207-VALSDELLCOMPUTE-Proofs.log2023-05-19 18:12 379  
[ ]2023-0519-112419-VALSDELLCOMPUTE-Proofs.log2023-05-19 18:24 379  
[ ]2023-0519-113629-VALSDELLCOMPUTE-Proofs.log2023-05-19 18:36 379  
[ ]2023-0519-114838-VALSDELLCOMPUTE-Proofs.log2023-05-19 18:48 379  
[ ]2023-0519-120048-VALSDELLCOMPUTE-Proofs.log2023-05-19 19:00 379  
[ ]2023-0519-121258-VALSDELLCOMPUTE-Proofs.log2023-05-19 19:13 379  
[ ]2023-0519-122507-VALSDELLCOMPUTE-Proofs.log2023-05-19 19:25 379  
[ ]2023-0519-123717-VALSDELLCOMPUTE-Proofs.log2023-05-19 19:37 379  
[ ]2023-0519-124929-VALSDELLCOMPUTE-Proofs.log2023-05-19 19:49 379  
[ ]2023-0519-131357-VALSDELLCOMPUTE-Proofs.log2023-05-19 20:14 379  
[ ]2023-0519-132608-VALSDELLCOMPUTE-Proofs.log2023-05-19 20:26 379  
[ ]2023-0519-133818-VALSDELLCOMPUTE-Proofs.log2023-05-19 20:38 379  
[ ]2023-0519-135027-VALSDELLCOMPUTE-Proofs.log2023-05-19 20:50 379  
[ ]2023-0519-140237-VALSDELLCOMPUTE-Proofs.log2023-05-19 21:02 379  
[ ]2023-0519-141446-VALSDELLCOMPUTE-Proofs.log2023-05-19 21:14 379  
[ ]2023-0519-142654-VALSDELLCOMPUTE-Proofs.log2023-05-19 21:26 379  
[ ]2023-0519-143903-VALSDELLCOMPUTE-Proofs.log2023-05-19 21:39 379  
[ ]2023-0519-145115-VALSDELLCOMPUTE-Proofs.log2023-05-19 21:51 379  
[ ]2023-0519-150324-VALSDELLCOMPUTE-Proofs.log2023-05-19 22:03 379  
[ ]2023-0519-151534-VALSDELLCOMPUTE-Proofs.log2023-05-19 22:15 379  
[ ]2023-0519-152744-VALSDELLCOMPUTE-Proofs.log2023-05-19 22:27 379  
[ ]2023-0519-153954-VALSDELLCOMPUTE-Proofs.log2023-05-19 22:39 379  
[ ]2023-0519-155203-VALSDELLCOMPUTE-Proofs.log2023-05-19 22:52 379  
[ ]2023-0519-160412-VALSDELLCOMPUTE-Proofs.log2023-05-19 23:04 379  
[ ]2023-0519-161622-VALSDELLCOMPUTE-Proofs.log2023-05-19 23:16 379  
[ ]2023-0519-162831-VALSDELLCOMPUTE-Proofs.log2023-05-19 23:28 379  
[ ]2023-0519-164040-VALSDELLCOMPUTE-Proofs.log2023-05-19 23:40 379  
[ ]2023-0519-165249-VALSDELLCOMPUTE-Proofs.log2023-05-19 23:52 379  
[ ]2023-0519-170458-VALSDELLCOMPUTE-Proofs.log2023-05-20 00:05 379  
[ ]2023-0519-171708-VALSDELLCOMPUTE-Proofs.log2023-05-20 00:17 379  
[ ]2023-0519-172917-VALSDELLCOMPUTE-Proofs.log2023-05-20 00:29 379  
[ ]2023-0519-174125-VALSDELLCOMPUTE-Proofs.log2023-05-20 00:41 379  
[ ]2023-0519-175334-VALSDELLCOMPUTE-Proofs.log2023-05-20 00:53 379  
[ ]2023-0519-180543-VALSDELLCOMPUTE-Proofs.log2023-05-20 01:05 379  
[ ]2023-0519-181753-VALSDELLCOMPUTE-Proofs.log2023-05-20 01:17 379  
[ ]2023-0519-183002-VALSDELLCOMPUTE-Proofs.log2023-05-20 01:30 379  
[ ]2023-0519-184211-VALSDELLCOMPUTE-Proofs.log2023-05-20 01:42 379  
[ ]2023-0519-185418-VALSDELLCOMPUTE-Proofs.log2023-05-20 01:54 379  
[ ]2023-0519-190627-VALSDELLCOMPUTE-Proofs.log2023-05-20 02:06 379  
[ ]2023-0519-191836-VALSDELLCOMPUTE-Proofs.log2023-05-20 02:18 379  
[ ]2023-0519-193043-VALSDELLCOMPUTE-Proofs.log2023-05-20 02:30 379  
[ ]2023-0519-194252-VALSDELLCOMPUTE-Proofs.log2023-05-20 02:42 379  
[ ]2023-0519-195501-VALSDELLCOMPUTE-Proofs.log2023-05-20 02:55 379  
[ ]2023-0519-200708-VALSDELLCOMPUTE-Proofs.log2023-05-20 03:07 379  
[ ]2023-0519-201917-VALSDELLCOMPUTE-Proofs.log2023-05-20 03:19 379  
[ ]2023-0519-203126-VALSDELLCOMPUTE-Proofs.log2023-05-20 03:31 379  
[ ]2023-0519-204336-VALSDELLCOMPUTE-Proofs.log2023-05-20 03:43 379  
[ ]2023-0519-205543-VALSDELLCOMPUTE-Proofs.log2023-05-20 03:55 379  
[ ]2023-0519-210755-VALSDELLCOMPUTE-Proofs.log2023-05-20 04:08 379  
[ ]2023-0519-212004-VALSDELLCOMPUTE-Proofs.log2023-05-20 04:20 379  
[ ]2023-0519-213211-VALSDELLCOMPUTE-Proofs.log2023-05-20 04:32 379  
[ ]2023-0519-214421-VALSDELLCOMPUTE-Proofs.log2023-05-20 04:44 379  
[ ]2023-0519-215628-VALSDELLCOMPUTE-Proofs.log2023-05-20 04:56 379  
[ ]2023-0519-220837-VALSDELLCOMPUTE-Proofs.log2023-05-20 05:08 379  
[ ]2023-0519-222044-VALSDELLCOMPUTE-Proofs.log2023-05-20 05:20 379  
[ ]2023-0519-223253-VALSDELLCOMPUTE-Proofs.log2023-05-20 05:32 379  
[ ]2023-0519-224502-VALSDELLCOMPUTE-Proofs.log2023-05-20 05:45 379  
[ ]2023-0519-225711-VALSDELLCOMPUTE-Proofs.log2023-05-20 05:57 379  
[ ]2023-0519-230823-VALSDELLCOMPUTE-Proofs.log2023-05-20 06:08 379  
[ ]2023-0519-232032-VALSDELLCOMPUTE-Proofs.log2023-05-20 06:20 379  
[ ]2023-0519-233242-VALSDELLCOMPUTE-Proofs.log2023-05-20 06:32 379  
[ ]2023-0519-234451-VALSDELLCOMPUTE-Proofs.log2023-05-20 06:44 379  
[ ]2023-0519-235658-VALSDELLCOMPUTE-Proofs.log2023-05-20 06:57 379  
[ ]2023-0520-000907-VALSDELLCOMPUTE-Proofs.log2023-05-20 07:09 379  
[ ]2023-0520-002116-VALSDELLCOMPUTE-Proofs.log2023-05-20 07:21 379  
[ ]2023-0520-003325-VALSDELLCOMPUTE-Proofs.log2023-05-20 07:33 379  
[ ]2023-0520-004534-VALSDELLCOMPUTE-Proofs.log2023-05-20 07:45 379  
[ ]2023-0520-005741-VALSDELLCOMPUTE-Proofs.log2023-05-20 07:57 379  
[ ]2023-0520-010949-VALSDELLCOMPUTE-Proofs.log2023-05-20 08:09 379  
[ ]2023-0520-012158-VALSDELLCOMPUTE-Proofs.log2023-05-20 08:22 379  
[ ]2023-0520-013407-VALSDELLCOMPUTE-Proofs.log2023-05-20 08:34 379  
[ ]2023-0520-014616-VALSDELLCOMPUTE-Proofs.log2023-05-20 08:46 379  
[ ]2023-0520-015823-VALSDELLCOMPUTE-Proofs.log2023-05-20 08:58 379  
[ ]2023-0520-021032-VALSDELLCOMPUTE-Proofs.log2023-05-20 09:10 379  
[ ]2023-0520-022241-VALSDELLCOMPUTE-Proofs.log2023-05-20 09:22 379  
[ ]2023-0520-023448-VALSDELLCOMPUTE-Proofs.log2023-05-20 09:34 379  
[ ]2023-0520-024657-VALSDELLCOMPUTE-Proofs.log2023-05-20 09:47 379  
[ ]2023-0520-025904-VALSDELLCOMPUTE-Proofs.log2023-05-20 09:59 379  
[ ]2023-0520-031114-VALSDELLCOMPUTE-Proofs.log2023-05-20 10:11 379  
[ ]2023-0520-032323-VALSDELLCOMPUTE-Proofs.log2023-05-20 10:23 379  
[ ]2023-0520-033533-VALSDELLCOMPUTE-Proofs.log2023-05-20 10:35 379  
[ ]2023-0520-034743-VALSDELLCOMPUTE-Proofs.log2023-05-20 10:47 379  
[ ]2023-0520-035952-VALSDELLCOMPUTE-Proofs.log2023-05-20 10:59 379  
[ ]2023-0520-041201-VALSDELLCOMPUTE-Proofs.log2023-05-20 11:12 379  
[ ]2023-0520-042409-VALSDELLCOMPUTE-Proofs.log2023-05-20 11:24 379  
[ ]2023-0520-043618-VALSDELLCOMPUTE-Proofs.log2023-05-20 11:36 379  
[ ]2023-0520-044827-VALSDELLCOMPUTE-Proofs.log2023-05-20 11:48 379  
[ ]2023-0520-050036-VALSDELLCOMPUTE-Proofs.log2023-05-20 12:00 379  
[ ]2023-0520-051245-VALSDELLCOMPUTE-Proofs.log2023-05-20 12:12 379  
[ ]2023-0520-052454-VALSDELLCOMPUTE-Proofs.log2023-05-20 12:24 379  
[ ]2023-0520-053701-VALSDELLCOMPUTE-Proofs.log2023-05-20 12:37 379  
[ ]2023-0520-054908-VALSDELLCOMPUTE-Proofs.log2023-05-20 12:49 379  
[ ]2023-0520-060117-VALSDELLCOMPUTE-Proofs.log2023-05-20 13:01 379  
[ ]2023-0520-061325-VALSDELLCOMPUTE-Proofs.log2023-05-20 13:13 379  
[ ]2023-0520-062535-VALSDELLCOMPUTE-Proofs.log2023-05-20 13:25 379  
[ ]2023-0520-063744-VALSDELLCOMPUTE-Proofs.log2023-05-20 13:37 379  
[ ]2023-0520-064953-VALSDELLCOMPUTE-Proofs.log2023-05-20 13:49 379  
[ ]2023-0520-070159-VALSDELLCOMPUTE-Proofs.log2023-05-20 14:02 379  
[ ]2023-0520-071409-VALSDELLCOMPUTE-Proofs.log2023-05-20 14:14 379  
[ ]2023-0520-072618-VALSDELLCOMPUTE-Proofs.log2023-05-20 14:26 379  
[ ]2023-0520-073826-VALSDELLCOMPUTE-Proofs.log2023-05-20 14:38 379  
[ ]2023-0520-075033-VALSDELLCOMPUTE-Proofs.log2023-05-20 14:50 379  
[ ]2023-0520-080240-VALSDELLCOMPUTE-Proofs.log2023-05-20 15:02 379  
[ ]2023-0520-081450-VALSDELLCOMPUTE-Proofs.log2023-05-20 15:14 379  
[ ]2023-0520-082659-VALSDELLCOMPUTE-Proofs.log2023-05-20 15:27 379  
[ ]2023-0520-083909-VALSDELLCOMPUTE-Proofs.log2023-05-20 15:39 379  
[ ]2023-0520-085116-VALSDELLCOMPUTE-Proofs.log2023-05-20 15:51 379  
[ ]2023-0520-090324-VALSDELLCOMPUTE-Proofs.log2023-05-20 16:03 379  
[ ]2023-0520-091533-VALSDELLCOMPUTE-Proofs.log2023-05-20 16:15 379  
[ ]2023-0520-092745-VALSDELLCOMPUTE-Proofs.log2023-05-20 16:27 379  
[ ]2023-0520-093957-VALSDELLCOMPUTE-Proofs.log2023-05-20 16:40 379  
[ ]2023-0520-095209-VALSDELLCOMPUTE-Proofs.log2023-05-20 16:52 379  
[ ]2023-0520-100421-VALSDELLCOMPUTE-Proofs.log2023-05-20 17:04 379  
[ ]2023-0520-101633-VALSDELLCOMPUTE-Proofs.log2023-05-20 17:16 379  
[ ]2023-0520-102845-VALSDELLCOMPUTE-Proofs.log2023-05-20 17:28 379  
[ ]2023-0520-104057-VALSDELLCOMPUTE-Proofs.log2023-05-20 17:41 379  
[ ]2023-0520-105309-VALSDELLCOMPUTE-Proofs.log2023-05-20 17:53 379  
[ ]2023-0520-110521-VALSDELLCOMPUTE-Proofs.log2023-05-20 18:05 379  
[ ]2023-0520-111733-VALSDELLCOMPUTE-Proofs.log2023-05-20 18:17 379  
[ ]2023-0520-112942-VALSDELLCOMPUTE-Proofs.log2023-05-20 18:29 379  
[ ]2023-0520-114154-VALSDELLCOMPUTE-Proofs.log2023-05-20 18:42 379  
[ ]2023-0520-115406-VALSDELLCOMPUTE-Proofs.log2023-05-20 18:54 379  
[ ]2023-0520-120615-VALSDELLCOMPUTE-Proofs.log2023-05-20 19:06 379  
[ ]2023-0520-121836-VALSDELLCOMPUTE-Proofs.log2023-05-20 19:18 379  
[ ]2023-0520-123057-VALSDELLCOMPUTE-Proofs.log2023-05-20 19:31 379  
[ ]2023-0520-124309-VALSDELLCOMPUTE-Proofs.log2023-05-20 19:43 379  
[ ]2023-0520-125521-VALSDELLCOMPUTE-Proofs.log2023-05-20 19:55 379  
[ ]2023-0520-130733-VALSDELLCOMPUTE-Proofs.log2023-05-20 20:07 379  
[ ]2023-0520-131945-VALSDELLCOMPUTE-Proofs.log2023-05-20 20:19 379  
[ ]2023-0520-133154-VALSDELLCOMPUTE-Proofs.log2023-05-20 20:32 379  
[ ]2023-0520-134403-VALSDELLCOMPUTE-Proofs.log2023-05-20 20:44 379  
[ ]2023-0520-135615-VALSDELLCOMPUTE-Proofs.log2023-05-20 20:56 379  
[ ]2023-0520-140827-VALSDELLCOMPUTE-Proofs.log2023-05-20 21:08 379  
[ ]2023-0520-142036-VALSDELLCOMPUTE-Proofs.log2023-05-20 21:20 379  
[ ]2023-0520-143248-VALSDELLCOMPUTE-Proofs.log2023-05-20 21:32 379  
[ ]2023-0520-144500-VALSDELLCOMPUTE-Proofs.log2023-05-20 21:45 379  
[ ]2023-0520-145712-VALSDELLCOMPUTE-Proofs.log2023-05-20 21:57 379  
[ ]2023-0520-150924-VALSDELLCOMPUTE-Proofs.log2023-05-20 22:09 379  
[ ]2023-0520-152136-VALSDELLCOMPUTE-Proofs.log2023-05-20 22:21 379  
[ ]2023-0520-153345-VALSDELLCOMPUTE-Proofs.log2023-05-20 22:33 379  
[ ]2023-0520-154555-VALSDELLCOMPUTE-Proofs.log2023-05-20 22:46 379  
[ ]2023-0530-131851-VALSDELLCOMPUTE-Proofs.log2023-05-30 20:18 379  
[ ]2023-0530-133103-VALSDELLCOMPUTE-Proofs.log2023-05-30 20:31 379  
[ ]2023-0530-134312-VALSDELLCOMPUTE-Proofs.log2023-05-30 20:43 379  
[ ]2023-0530-135521-VALSDELLCOMPUTE-Proofs.log2023-05-30 20:55 379  
[ ]2023-0530-140730-VALSDELLCOMPUTE-Proofs.log2023-05-30 21:07 379  
[ ]2023-0530-141939-VALSDELLCOMPUTE-Proofs.log2023-05-30 21:19 379  
[ ]2023-0530-143148-VALSDELLCOMPUTE-Proofs.log2023-05-30 21:31 379  
[ ]2023-0530-144357-VALSDELLCOMPUTE-Proofs.log2023-05-30 21:44 379  
[ ]2023-0530-145512-VALSDELLCOMPUTE-Proofs.log2023-05-30 21:55 379  
[ ]2023-0530-150751-VALSDELLCOMPUTE-Proofs.log2023-05-30 22:07 379  
[ ]2023-0530-152000-VALSDELLCOMPUTE-Proofs.log2023-05-30 22:20 379  
[ ]2023-0530-153209-VALSDELLCOMPUTE-Proofs.log2023-05-30 22:32 379  
[ ]2023-0530-154418-VALSDELLCOMPUTE-Proofs.log2023-05-30 22:44 379  
[ ]2023-0530-155627-VALSDELLCOMPUTE-Proofs.log2023-05-30 22:56 379  
[ ]2023-0530-160836-VALSDELLCOMPUTE-Proofs.log2023-05-30 23:08 379  
[ ]2023-0530-162045-VALSDELLCOMPUTE-Proofs.log2023-05-30 23:20 379  
[ ]2023-0530-163421-VALSDELLCOMPUTE-Proofs.log2023-05-30 23:34 379  
[ ]2023-0530-164630-VALSDELLCOMPUTE-Proofs.log2023-05-30 23:46 379  
[ ]2023-0530-165839-VALSDELLCOMPUTE-Proofs.log2023-05-30 23:58 379  
[ ]2023-0530-171048-VALSDELLCOMPUTE-Proofs.log2023-05-31 00:10 379  
[ ]2023-0530-172203-VALSDELLCOMPUTE-Proofs.log2023-05-31 00:22 379  
[ ]2023-0530-173433-VALSDELLCOMPUTE-Proofs.log2023-05-31 00:34 379  
[ ]2023-0530-174603-VALSDELLCOMPUTE-Proofs.log2023-05-31 00:46 379  
[ ]2023-0530-175812-VALSDELLCOMPUTE-Proofs.log2023-05-31 00:58 379  
[ ]2023-0530-181021-VALSDELLCOMPUTE-Proofs.log2023-05-31 01:10 379  
[ ]2023-0530-182231-VALSDELLCOMPUTE-Proofs.log2023-05-31 01:22 379  
[ ]2023-0530-183441-VALSDELLCOMPUTE-Proofs.log2023-05-31 01:34 379  
[ ]2023-0530-184650-VALSDELLCOMPUTE-Proofs.log2023-05-31 01:46 379  
[ ]2023-0530-185901-VALSDELLCOMPUTE-Proofs.log2023-05-31 01:59 379  
[ ]2023-0530-191113-VALSDELLCOMPUTE-Proofs.log2023-05-31 02:11 379  
[ ]2023-0530-192322-VALSDELLCOMPUTE-Proofs.log2023-05-31 02:23 379  
[ ]2023-0530-193534-VALSDELLCOMPUTE-Proofs.log2023-05-31 02:35 379  
[ ]2023-0530-194743-VALSDELLCOMPUTE-Proofs.log2023-05-31 02:47 379  
[ ]2023-0530-195952-VALSDELLCOMPUTE-Proofs.log2023-05-31 02:59 379  
[ ]2023-0530-201201-VALSDELLCOMPUTE-Proofs.log2023-05-31 03:12 379  
[ ]2023-0530-202410-VALSDELLCOMPUTE-Proofs.log2023-05-31 03:24 379  
[ ]2023-0530-203619-VALSDELLCOMPUTE-Proofs.log2023-05-31 03:36 379  
[ ]2023-0530-204828-VALSDELLCOMPUTE-Proofs.log2023-05-31 03:48 379  
[ ]2023-0530-210037-VALSDELLCOMPUTE-Proofs.log2023-05-31 04:00 379  
[ ]2023-0530-211248-VALSDELLCOMPUTE-Proofs.log2023-05-31 04:12 379  
[ ]2023-0530-212500-VALSDELLCOMPUTE-Proofs.log2023-05-31 04:25 379  
[ ]2023-0530-213712-VALSDELLCOMPUTE-Proofs.log2023-05-31 04:37 379  
[ ]2023-0530-214921-VALSDELLCOMPUTE-Proofs.log2023-05-31 04:49 379  
[ ]2023-0530-220033-VALSDELLCOMPUTE-Proofs.log2023-05-31 05:00 379  
[ ]2023-0530-221242-VALSDELLCOMPUTE-Proofs.log2023-05-31 05:12 379  
[ ]2023-0530-222451-VALSDELLCOMPUTE-Proofs.log2023-05-31 05:24 379  
[ ]2023-0530-223700-VALSDELLCOMPUTE-Proofs.log2023-05-31 05:37 379  
[ ]2023-0530-224909-VALSDELLCOMPUTE-Proofs.log2023-05-31 05:49 379  
[ ]2023-0530-230118-VALSDELLCOMPUTE-Proofs.log2023-05-31 06:01 379  
[ ]2023-0530-231327-VALSDELLCOMPUTE-Proofs.log2023-05-31 06:13 379  
[ ]2023-0530-232536-VALSDELLCOMPUTE-Proofs.log2023-05-31 06:25 379  
[ ]2023-0530-233745-VALSDELLCOMPUTE-Proofs.log2023-05-31 06:37 379  
[ ]2023-0530-234900-VALSDELLCOMPUTE-Proofs.log2023-05-31 06:49 379  
[ ]2023-0531-000109-VALSDELLCOMPUTE-Proofs.log2023-05-31 07:01 379  
[ ]2023-0531-001321-VALSDELLCOMPUTE-Proofs.log2023-05-31 07:13 379  
[ ]2023-0531-002530-VALSDELLCOMPUTE-Proofs.log2023-05-31 07:25 379  
[ ]2023-0531-003739-VALSDELLCOMPUTE-Proofs.log2023-05-31 07:37 379  
[ ]2023-0531-004948-VALSDELLCOMPUTE-Proofs.log2023-05-31 07:49 379  
[ ]2023-0531-010157-VALSDELLCOMPUTE-Proofs.log2023-05-31 08:02 379  
[ ]2023-0531-011406-VALSDELLCOMPUTE-Proofs.log2023-05-31 08:14 379  
[ ]2023-0531-012615-VALSDELLCOMPUTE-Proofs.log2023-05-31 08:26 379  
[ ]2023-0531-013824-VALSDELLCOMPUTE-Proofs.log2023-05-31 08:38 379  
[ ]2023-0531-015033-VALSDELLCOMPUTE-Proofs.log2023-05-31 08:50 379  
[ ]2023-0531-020242-VALSDELLCOMPUTE-Proofs.log2023-05-31 09:02 379  
[ ]2023-0531-021451-VALSDELLCOMPUTE-Proofs.log2023-05-31 09:14 379  
[ ]2023-0531-022701-VALSDELLCOMPUTE-Proofs.log2023-05-31 09:27 379  
[ ]2023-0531-023910-VALSDELLCOMPUTE-Proofs.log2023-05-31 09:39 379  
[ ]2023-0531-025119-VALSDELLCOMPUTE-Proofs.log2023-05-31 09:51 379  
[ ]2023-0531-030328-VALSDELLCOMPUTE-Proofs.log2023-05-31 10:03 379  
[ ]2023-0531-031537-VALSDELLCOMPUTE-Proofs.log2023-05-31 10:15 379  
[ ]2023-0531-032746-VALSDELLCOMPUTE-Proofs.log2023-05-31 10:27 379  
[ ]2023-0531-034025-VALSDELLCOMPUTE-Proofs.log2023-05-31 10:40 379  
[ ]2023-0531-035234-VALSDELLCOMPUTE-Proofs.log2023-05-31 10:52 379  
[ ]2023-0531-040528-VALSDELLCOMPUTE-Proofs.log2023-05-31 11:05 379  
[ ]2023-0531-041737-VALSDELLCOMPUTE-Proofs.log2023-05-31 11:17 379  
[ ]2023-0531-042949-VALSDELLCOMPUTE-Proofs.log2023-05-31 11:29 379  
[ ]2023-0531-044158-VALSDELLCOMPUTE-Proofs.log2023-05-31 11:42 379  
[ ]2023-0531-045407-VALSDELLCOMPUTE-Proofs.log2023-05-31 11:54 379  
[ ]2023-0531-050616-VALSDELLCOMPUTE-Proofs.log2023-05-31 12:06 379  
[ ]2023-0531-051825-VALSDELLCOMPUTE-Proofs.log2023-05-31 12:18 379  
[ ]2023-0531-053034-VALSDELLCOMPUTE-Proofs.log2023-05-31 12:30 379  
[ ]2023-0531-054243-VALSDELLCOMPUTE-Proofs.log2023-05-31 12:42 379  
[ ]2023-0531-055452-VALSDELLCOMPUTE-Proofs.log2023-05-31 12:54 379  
[ ]2023-0531-060701-VALSDELLCOMPUTE-Proofs.log2023-05-31 13:07 379  
[ ]2023-0531-061910-VALSDELLCOMPUTE-Proofs.log2023-05-31 13:19 379  
[ ]2023-0531-063119-VALSDELLCOMPUTE-Proofs.log2023-05-31 13:31 379  
[ ]2023-0531-064328-VALSDELLCOMPUTE-Proofs.log2023-05-31 13:43 379  
[ ]2023-0531-065537-VALSDELLCOMPUTE-Proofs.log2023-05-31 13:55 379  
[ ]2023-0531-070746-VALSDELLCOMPUTE-Proofs.log2023-05-31 14:07 379  
[ ]2023-0531-071955-VALSDELLCOMPUTE-Proofs.log2023-05-31 14:20 379  
[ ]2023-0531-073204-VALSDELLCOMPUTE-Proofs.log2023-05-31 14:32 379  
[ ]2023-0531-074413-VALSDELLCOMPUTE-Proofs.log2023-05-31 14:44 379  
[ ]2023-0531-075622-VALSDELLCOMPUTE-Proofs.log2023-05-31 14:56 379  
[ ]2023-0531-080831-VALSDELLCOMPUTE-Proofs.log2023-05-31 15:08 379  
[ ]2023-0531-082040-VALSDELLCOMPUTE-Proofs.log2023-05-31 15:20 379  
[ ]2023-0531-083249-VALSDELLCOMPUTE-Proofs.log2023-05-31 15:32 379  
[ ]2023-0531-084458-VALSDELLCOMPUTE-Proofs.log2023-05-31 15:45 379  
[ ]2023-0531-085707-VALSDELLCOMPUTE-Proofs.log2023-05-31 15:57 379  
[ ]2023-0531-090917-VALSDELLCOMPUTE-Proofs.log2023-05-31 16:09 379  
[ ]2023-0531-092126-VALSDELLCOMPUTE-Proofs.log2023-05-31 16:21 379  
[ ]2023-0531-093335-VALSDELLCOMPUTE-Proofs.log2023-05-31 16:33 379  
[ ]2023-0531-094544-VALSDELLCOMPUTE-Proofs.log2023-05-31 16:45 379  
[ ]2023-0531-095753-VALSDELLCOMPUTE-Proofs.log2023-05-31 16:57 379  
[ ]2023-0531-101001-VALSDELLCOMPUTE-Proofs.log2023-05-31 17:10 379  
[ ]2023-0531-102054-VALSDELLCOMPUTE-Proofs.log2023-05-31 17:21 379  
[ ]2023-0531-103300-VALSDELLCOMPUTE-Proofs.log2023-05-31 17:33 379  
[ ]2023-0531-104508-VALSDELLCOMPUTE-Proofs.log2023-05-31 17:45 379  
[ ]2023-0531-105801-VALSDELLCOMPUTE-Proofs.log2023-05-31 17:58 379  
[ ]2023-0531-111009-VALSDELLCOMPUTE-Proofs.log2023-05-31 18:10 379  
[ ]2023-0531-112218-VALSDELLCOMPUTE-Proofs.log2023-05-31 18:22 379  
[ ]2023-0531-113425-VALSDELLCOMPUTE-Proofs.log2023-05-31 18:34 379  
[ ]2023-0531-114453-VALSDELLCOMPUTE-Proofs.log2023-05-31 18:44 379  
[ ]2023-0531-115633-VALSDELLCOMPUTE-Proofs.log2023-05-31 18:56 379  
[ ]2023-0531-120841-VALSDELLCOMPUTE-Proofs.log2023-05-31 19:08 379  
[ ]2023-0531-122049-VALSDELLCOMPUTE-Proofs.log2023-05-31 19:20 379  
[ ]2023-0531-123255-VALSDELLCOMPUTE-Proofs.log2023-05-31 19:33 379  
[ ]2023-0531-124503-VALSDELLCOMPUTE-Proofs.log2023-05-31 19:45 379  
[ ]2023-0531-125710-VALSDELLCOMPUTE-Proofs.log2023-05-31 19:57 379  
[ ]2023-0531-130920-VALSDELLCOMPUTE-Proofs.log2023-05-31 20:09 379  
[ ]2023-0531-132126-VALSDELLCOMPUTE-Proofs.log2023-05-31 20:21 379  
[ ]2023-0531-133333-VALSDELLCOMPUTE-Proofs.log2023-05-31 20:33 379  
[ ]2023-0531-134543-VALSDELLCOMPUTE-Proofs.log2023-05-31 20:45 379  
[ ]2023-0531-135751-VALSDELLCOMPUTE-Proofs.log2023-05-31 20:57 379  
[ ]2023-0531-141000-VALSDELLCOMPUTE-Proofs.log2023-05-31 21:10 379  
[ ]2023-0531-142207-VALSDELLCOMPUTE-Proofs.log2023-05-31 21:22 379  
[ ]2023-0531-143606-VALSDELLCOMPUTE-Proofs.log2023-05-31 21:36 379  
[ ]2023-0531-144813-VALSDELLCOMPUTE-Proofs.log2023-05-31 21:48 379  
[ ]2023-0531-150018-VALSDELLCOMPUTE-Proofs.log2023-05-31 22:00 379  
[ ]2023-0531-151228-VALSDELLCOMPUTE-Proofs.log2023-05-31 22:12 379  
[ ]2023-0531-152434-VALSDELLCOMPUTE-Proofs.log2023-05-31 22:24 379  
[ ]2023-0531-153641-VALSDELLCOMPUTE-Proofs.log2023-05-31 22:36 379  
[ ]2023-0531-154850-VALSDELLCOMPUTE-Proofs.log2023-05-31 22:48 379  
[ ]2023-0531-160056-VALSDELLCOMPUTE-Proofs.log2023-05-31 23:01 379  
[ ]2023-0531-161303-VALSDELLCOMPUTE-Proofs.log2023-05-31 23:13 379  
[ ]2023-0531-162509-VALSDELLCOMPUTE-Proofs.log2023-05-31 23:25 379  
[ ]2023-0531-163715-VALSDELLCOMPUTE-Proofs.log2023-05-31 23:37 379  
[ ]2023-0531-164921-VALSDELLCOMPUTE-Proofs.log2023-05-31 23:49 379  
[ ]2023-0531-170130-VALSDELLCOMPUTE-Proofs.log2023-06-01 00:01 379  
[ ]2023-0531-171337-VALSDELLCOMPUTE-Proofs.log2023-06-01 00:13 379  
[ ]2023-0531-172543-VALSDELLCOMPUTE-Proofs.log2023-06-01 00:25 379  
[ ]2023-0531-173750-VALSDELLCOMPUTE-Proofs.log2023-06-01 00:37 379  
[ ]2023-0531-174957-VALSDELLCOMPUTE-Proofs.log2023-06-01 00:50 379  
[ ]2023-0531-180205-VALSDELLCOMPUTE-Proofs.log2023-06-01 01:02 379  
[ ]2023-0531-181409-VALSDELLCOMPUTE-Proofs.log2023-06-01 01:14 379  
[ ]2023-0531-182615-VALSDELLCOMPUTE-Proofs.log2023-06-01 01:26 379  
[ ]2023-0531-183821-VALSDELLCOMPUTE-Proofs.log2023-06-01 01:38 379  
[ ]2023-0531-185029-VALSDELLCOMPUTE-Proofs.log2023-06-01 01:50 379  
[ ]2023-0531-190236-VALSDELLCOMPUTE-Proofs.log2023-06-01 02:02 379  
[ ]2023-0531-191443-VALSDELLCOMPUTE-Proofs.log2023-06-01 02:14 379  
[ ]2023-0531-192650-VALSDELLCOMPUTE-Proofs.log2023-06-01 02:26 379  
[ ]2023-0531-193857-VALSDELLCOMPUTE-Proofs.log2023-06-01 02:39 379  
[ ]2023-0531-194927-VALSDELLCOMPUTE-Proofs.log2023-06-01 02:49 379  
[ ]2023-0531-200134-VALSDELLCOMPUTE-Proofs.log2023-06-01 03:01 379  
[ ]2023-0531-201342-VALSDELLCOMPUTE-Proofs.log2023-06-01 03:13 379  
[ ]2023-0531-202549-VALSDELLCOMPUTE-Proofs.log2023-06-01 03:25 379  
[ ]2023-0531-203755-VALSDELLCOMPUTE-Proofs.log2023-06-01 03:37 379  
[ ]2023-0531-205006-VALSDELLCOMPUTE-Proofs.log2023-06-01 03:50 379  
[ ]2023-0531-210213-VALSDELLCOMPUTE-Proofs.log2023-06-01 04:02 379  
[ ]2023-0531-211421-VALSDELLCOMPUTE-Proofs.log2023-06-01 04:14 379  
[ ]2023-0531-212629-VALSDELLCOMPUTE-Proofs.log2023-06-01 04:26 379  
[ ]2023-0531-213837-VALSDELLCOMPUTE-Proofs.log2023-06-01 04:38 379  
[ ]2023-0531-215009-VALSDELLCOMPUTE-Proofs.log2023-06-01 04:50 379  
[ ]2023-0531-220119-VALSDELLCOMPUTE-Proofs.log2023-06-01 05:01 379  
[ ]2023-0531-221328-VALSDELLCOMPUTE-Proofs.log2023-06-01 05:13 379  
[ ]2023-0531-222537-VALSDELLCOMPUTE-Proofs.log2023-06-01 05:25 379  
[ ]2023-0531-223745-VALSDELLCOMPUTE-Proofs.log2023-06-01 05:37 379  
[ ]2023-0531-224955-VALSDELLCOMPUTE-Proofs.log2023-06-01 05:49 379  
[ ]2023-0531-230204-VALSDELLCOMPUTE-Proofs.log2023-06-01 06:02 379  
[ ]2023-0531-231414-VALSDELLCOMPUTE-Proofs.log2023-06-01 06:14 379  
[ ]2023-0531-232623-VALSDELLCOMPUTE-Proofs.log2023-06-01 06:26 379  
[ ]2023-0531-233832-VALSDELLCOMPUTE-Proofs.log2023-06-01 06:38 379  
[ ]2023-0531-235041-VALSDELLCOMPUTE-Proofs.log2023-06-01 06:50 379  
[ ]2023-0601-000249-VALSDELLCOMPUTE-Proofs.log2023-06-01 07:02 379  
[ ]2023-0601-001457-VALSDELLCOMPUTE-Proofs.log2023-06-01 07:15 379  
[ ]2023-0601-002706-VALSDELLCOMPUTE-Proofs.log2023-06-01 07:27 379  
[ ]2023-0601-003913-VALSDELLCOMPUTE-Proofs.log2023-06-01 07:39 379  
[ ]2023-0601-005121-VALSDELLCOMPUTE-Proofs.log2023-06-01 07:51 379  
[ ]2023-0601-010331-VALSDELLCOMPUTE-Proofs.log2023-06-01 08:03 379  
[ ]2023-0601-011540-VALSDELLCOMPUTE-Proofs.log2023-06-01 08:15 379  
[ ]2023-0601-012843-VALSDELLCOMPUTE-Proofs.log2023-06-01 08:28 379  
[ ]2023-0601-014053-VALSDELLCOMPUTE-Proofs.log2023-06-01 08:40 379  
[ ]2023-0601-015303-VALSDELLCOMPUTE-Proofs.log2023-06-01 08:53 379  
[ ]2023-0601-020512-VALSDELLCOMPUTE-Proofs.log2023-06-01 09:05 379  
[ ]2023-0601-021719-VALSDELLCOMPUTE-Proofs.log2023-06-01 09:17 379  
[ ]2023-0601-022929-VALSDELLCOMPUTE-Proofs.log2023-06-01 09:29 379  
[ ]2023-0601-024138-VALSDELLCOMPUTE-Proofs.log2023-06-01 09:41 379  
[ ]2023-0601-025345-VALSDELLCOMPUTE-Proofs.log2023-06-01 09:53 379  
[ ]2023-0601-030555-VALSDELLCOMPUTE-Proofs.log2023-06-01 10:05 379  
[ ]2023-0601-031804-VALSDELLCOMPUTE-Proofs.log2023-06-01 10:18 379  
[ ]2023-0601-033012-VALSDELLCOMPUTE-Proofs.log2023-06-01 10:30 379  
[ ]2023-0601-034222-VALSDELLCOMPUTE-Proofs.log2023-06-01 10:42 379  
[ ]2023-0601-035431-VALSDELLCOMPUTE-Proofs.log2023-06-01 10:54 379  
[ ]2023-0601-040639-VALSDELLCOMPUTE-Proofs.log2023-06-01 11:06 379  
[ ]2023-0601-041849-VALSDELLCOMPUTE-Proofs.log2023-06-01 11:18 379  
[ ]2023-0601-043057-VALSDELLCOMPUTE-Proofs.log2023-06-01 11:31 379  
[ ]2023-0601-044307-VALSDELLCOMPUTE-Proofs.log2023-06-01 11:43 379  
[ ]2023-0601-045514-VALSDELLCOMPUTE-Proofs.log2023-06-01 11:55 379  
[ ]2023-0601-050722-VALSDELLCOMPUTE-Proofs.log2023-06-01 12:07 379  
[ ]2023-0601-051929-VALSDELLCOMPUTE-Proofs.log2023-06-01 12:19 379  
[ ]2023-0601-053137-VALSDELLCOMPUTE-Proofs.log2023-06-01 12:31 379  
[ ]2023-0601-054346-VALSDELLCOMPUTE-Proofs.log2023-06-01 12:43 379  
[ ]2023-0601-055553-VALSDELLCOMPUTE-Proofs.log2023-06-01 12:55 379  
[ ]2023-0601-060802-VALSDELLCOMPUTE-Proofs.log2023-06-01 13:08 379  
[ ]2023-0601-062010-VALSDELLCOMPUTE-Proofs.log2023-06-01 13:20 379  
[ ]2023-0601-063218-VALSDELLCOMPUTE-Proofs.log2023-06-01 13:32 379  
[ ]2023-0601-064427-VALSDELLCOMPUTE-Proofs.log2023-06-01 13:44 379  
[ ]2023-0601-065543-VALSDELLCOMPUTE-Proofs.log2023-06-01 13:55 379  
[ ]2023-0601-070752-VALSDELLCOMPUTE-Proofs.log2023-06-01 14:07 379  
[ ]2023-0601-072001-VALSDELLCOMPUTE-Proofs.log2023-06-01 14:20 379  
[ ]2023-0601-073210-VALSDELLCOMPUTE-Proofs.log2023-06-01 14:32 379  
[ ]2023-0601-074413-VALSDELLCOMPUTE-Proofs.log2023-06-01 14:44 379  
[ ]2023-0601-075416-VALSDELLCOMPUTE-Proofs.log2023-06-01 14:54 379  
[ ]2023-0601-080624-VALSDELLCOMPUTE-Proofs.log2023-06-01 15:06 379  
[ ]2023-0601-081833-VALSDELLCOMPUTE-Proofs.log2023-06-01 15:18 379  
[ ]2023-0601-083042-VALSDELLCOMPUTE-Proofs.log2023-06-01 15:30 379  
[ ]2023-0601-084252-VALSDELLCOMPUTE-Proofs.log2023-06-01 15:42 379  
[ ]2023-0601-085259-VALSDELLCOMPUTE-Proofs.log2023-06-01 15:53 379  
[ ]2023-0601-090508-VALSDELLCOMPUTE-Proofs.log2023-06-01 16:05 379  
[ ]2023-0601-091715-VALSDELLCOMPUTE-Proofs.log2023-06-01 16:17 379  
[ ]2023-0601-092923-VALSDELLCOMPUTE-Proofs.log2023-06-01 16:29 379  
[ ]2023-0601-094133-VALSDELLCOMPUTE-Proofs.log2023-06-01 16:41 379  
[ ]2023-0601-095341-VALSDELLCOMPUTE-Proofs.log2023-06-01 16:53 379  
[ ]2023-0601-100550-VALSDELLCOMPUTE-Proofs.log2023-06-01 17:05 379  
[ ]2023-0601-101757-VALSDELLCOMPUTE-Proofs.log2023-06-01 17:18 379  
[ ]2023-0601-103006-VALSDELLCOMPUTE-Proofs.log2023-06-01 17:30 379  
[ ]2023-0601-104215-VALSDELLCOMPUTE-Proofs.log2023-06-01 17:42 379  
[ ]2023-0601-105347-VALSDELLCOMPUTE-Proofs.log2023-06-01 17:53 379  
[ ]2023-0601-110557-VALSDELLCOMPUTE-Proofs.log2023-06-01 18:06 379  
[ ]2023-0601-111804-VALSDELLCOMPUTE-Proofs.log2023-06-01 18:18 379  
[ ]2023-0601-113011-VALSDELLCOMPUTE-Proofs.log2023-06-01 18:30 379  
[ ]2023-0601-114220-VALSDELLCOMPUTE-Proofs.log2023-06-01 18:42 379  
[ ]2023-0601-115427-VALSDELLCOMPUTE-Proofs.log2023-06-01 18:54 379  
[ ]2023-0601-120542-VALSDELLCOMPUTE-Proofs.log2023-06-01 19:05 379  
[ ]2023-0601-121609-VALSDELLCOMPUTE-Proofs.log2023-06-01 19:16 379  
[ ]2023-0601-122817-VALSDELLCOMPUTE-Proofs.log2023-06-01 19:28 379  
[ ]2023-0601-124113-VALSDELLCOMPUTE-Proofs.log2023-06-01 19:41 379  
[ ]2023-0601-125320-VALSDELLCOMPUTE-Proofs.log2023-06-01 19:53 379  
[ ]2023-0601-130530-VALSDELLCOMPUTE-Proofs.log2023-06-01 20:05 379  
[ ]2023-0601-131741-VALSDELLCOMPUTE-Proofs.log2023-06-01 20:17 379  
[ ]2023-0601-132950-VALSDELLCOMPUTE-Proofs.log2023-06-01 20:29 379  
[ ]2023-0601-134158-VALSDELLCOMPUTE-Proofs.log2023-06-01 20:42 379  
[ ]2023-0601-135406-VALSDELLCOMPUTE-Proofs.log2023-06-01 20:54 379  
[ ]2023-0601-140614-VALSDELLCOMPUTE-Proofs.log2023-06-01 21:06 379  
[ ]2023-0601-141823-VALSDELLCOMPUTE-Proofs.log2023-06-01 21:18 379  
[ ]2023-0601-143032-VALSDELLCOMPUTE-Proofs.log2023-06-01 21:30 379  
[ ]2023-0601-144242-VALSDELLCOMPUTE-Proofs.log2023-06-01 21:42 379  
[ ]2023-0601-145452-VALSDELLCOMPUTE-Proofs.log2023-06-01 21:54 379  
[ ]2023-0601-150700-VALSDELLCOMPUTE-Proofs.log2023-06-01 22:07 379  
[ ]2023-0601-151909-VALSDELLCOMPUTE-Proofs.log2023-06-01 22:19 379  
[ ]2023-0601-153116-VALSDELLCOMPUTE-Proofs.log2023-06-01 22:31 379  
[ ]2023-0601-154326-VALSDELLCOMPUTE-Proofs.log2023-06-01 22:43 379  
[ ]2023-0601-155334-VALSDELLCOMPUTE-Proofs.log2023-06-01 22:53 379  
[ ]2023-0601-160544-VALSDELLCOMPUTE-Proofs.log2023-06-01 23:05 379  
[ ]2023-0601-161753-VALSDELLCOMPUTE-Proofs.log2023-06-01 23:17 379  
[ ]2023-0601-162802-VALSDELLCOMPUTE-Proofs.log2023-06-01 23:28 379  
[ ]2023-0601-164011-VALSDELLCOMPUTE-Proofs.log2023-06-01 23:40 379  
[ ]2023-0601-165219-VALSDELLCOMPUTE-Proofs.log2023-06-01 23:52 379  
[ ]2023-0601-170427-VALSDELLCOMPUTE-Proofs.log2023-06-02 00:04 379  
[ ]2023-0601-171635-VALSDELLCOMPUTE-Proofs.log2023-06-02 00:16 379  
[ ]2023-0601-172844-VALSDELLCOMPUTE-Proofs.log2023-06-02 00:28 379  
[ ]2023-0601-174054-VALSDELLCOMPUTE-Proofs.log2023-06-02 00:40 379  
[ ]2023-0601-175303-VALSDELLCOMPUTE-Proofs.log2023-06-02 00:53 379  
[ ]2023-0601-180511-VALSDELLCOMPUTE-Proofs.log2023-06-02 01:05 379  
[ ]2023-0601-181720-VALSDELLCOMPUTE-Proofs.log2023-06-02 01:17 379  
[ ]2023-0601-182929-VALSDELLCOMPUTE-Proofs.log2023-06-02 01:29 379  
[ ]2023-0601-184137-VALSDELLCOMPUTE-Proofs.log2023-06-02 01:41 379  
[ ]2023-0601-185346-VALSDELLCOMPUTE-Proofs.log2023-06-02 01:53 379  
[ ]2023-0601-190556-VALSDELLCOMPUTE-Proofs.log2023-06-02 02:06 379  
[ ]2023-0601-191805-VALSDELLCOMPUTE-Proofs.log2023-06-02 02:18 379  
[ ]2023-0601-193014-VALSDELLCOMPUTE-Proofs.log2023-06-02 02:30 379  
[ ]2023-0601-194224-VALSDELLCOMPUTE-Proofs.log2023-06-02 02:42 379  
[ ]2023-0601-195432-VALSDELLCOMPUTE-Proofs.log2023-06-02 02:54 379  
[ ]2023-0601-200818-VALSDELLCOMPUTE-Proofs.log2023-06-02 03:08 379  
[ ]2023-0601-202026-VALSDELLCOMPUTE-Proofs.log2023-06-02 03:20 379  
[ ]2023-0601-203234-VALSDELLCOMPUTE-Proofs.log2023-06-02 03:32 379  
[ ]2023-0601-204443-VALSDELLCOMPUTE-Proofs.log2023-06-02 03:44 379  
[ ]2023-0601-205653-VALSDELLCOMPUTE-Proofs.log2023-06-02 03:56 379  
[ ]2023-0601-210901-VALSDELLCOMPUTE-Proofs.log2023-06-02 04:09 379  
[ ]2023-0601-212111-VALSDELLCOMPUTE-Proofs.log2023-06-02 04:21 379  
[ ]2023-0601-213321-VALSDELLCOMPUTE-Proofs.log2023-06-02 04:33 379  
[ ]2023-0601-214531-VALSDELLCOMPUTE-Proofs.log2023-06-02 04:45 379  
[ ]2023-0601-215741-VALSDELLCOMPUTE-Proofs.log2023-06-02 04:57 379  
[ ]2023-0601-220951-VALSDELLCOMPUTE-Proofs.log2023-06-02 05:09 379  
[ ]2023-0601-222201-VALSDELLCOMPUTE-Proofs.log2023-06-02 05:22 379  
[ ]2023-0601-223409-VALSDELLCOMPUTE-Proofs.log2023-06-02 05:34 379  
[ ]2023-0601-224616-VALSDELLCOMPUTE-Proofs.log2023-06-02 05:46 379  
[ ]2023-0601-225824-VALSDELLCOMPUTE-Proofs.log2023-06-02 05:58 379  
[ ]2023-0601-231032-VALSDELLCOMPUTE-Proofs.log2023-06-02 06:10 379  
[ ]2023-0601-232240-VALSDELLCOMPUTE-Proofs.log2023-06-02 06:22 379  
[ ]2023-0601-233413-VALSDELLCOMPUTE-Proofs.log2023-06-02 06:34 379  
[ ]2023-0601-234655-VALSDELLCOMPUTE-Proofs.log2023-06-02 06:47 379  
[ ]2023-0601-235904-VALSDELLCOMPUTE-Proofs.log2023-06-02 06:59 379  
[ ]2023-0602-001112-VALSDELLCOMPUTE-Proofs.log2023-06-02 07:11 379  
[ ]2023-0602-002216-VALSDELLCOMPUTE-Proofs.log2023-06-02 07:22 379  
[ ]2023-0602-003423-VALSDELLCOMPUTE-Proofs.log2023-06-02 07:34 379  
[ ]2023-0602-004632-VALSDELLCOMPUTE-Proofs.log2023-06-02 07:46 379  
[ ]2023-0602-005745-VALSDELLCOMPUTE-Proofs.log2023-06-02 07:57 379  
[ ]2023-0602-011013-VALSDELLCOMPUTE-Proofs.log2023-06-02 08:10 379  
[ ]2023-0602-012220-VALSDELLCOMPUTE-Proofs.log2023-06-02 08:22 379  
[ ]2023-0602-013428-VALSDELLCOMPUTE-Proofs.log2023-06-02 08:34 379  
[ ]2023-0602-014638-VALSDELLCOMPUTE-Proofs.log2023-06-02 08:46 379  
[ ]2023-0602-015845-VALSDELLCOMPUTE-Proofs.log2023-06-02 08:58 379  
[ ]2023-0602-021054-VALSDELLCOMPUTE-Proofs.log2023-06-02 09:10 379  
[ ]2023-0602-022302-VALSDELLCOMPUTE-Proofs.log2023-06-02 09:23 379  
[ ]2023-0602-023403-VALSDELLCOMPUTE-Proofs.log2023-06-02 09:34 379  
[ ]2023-0602-024610-VALSDELLCOMPUTE-Proofs.log2023-06-02 09:46 379  
[ ]2023-0602-025819-VALSDELLCOMPUTE-Proofs.log2023-06-02 09:58 379  
[ ]2023-0602-031029-VALSDELLCOMPUTE-Proofs.log2023-06-02 10:10 379  
[ ]2023-0602-032239-VALSDELLCOMPUTE-Proofs.log2023-06-02 10:22 379  
[ ]2023-0602-033411-VALSDELLCOMPUTE-Proofs.log2023-06-02 10:34 379  
[ ]2023-0602-034619-VALSDELLCOMPUTE-Proofs.log2023-06-02 10:46 379  
[ ]2023-0602-035827-VALSDELLCOMPUTE-Proofs.log2023-06-02 10:58 379  
[ ]2023-0602-041036-VALSDELLCOMPUTE-Proofs.log2023-06-02 11:10 379  
[ ]2023-0602-042245-VALSDELLCOMPUTE-Proofs.log2023-06-02 11:22 379  
[ ]2023-0602-043452-VALSDELLCOMPUTE-Proofs.log2023-06-02 11:34 379  
[ ]2023-0602-044702-VALSDELLCOMPUTE-Proofs.log2023-06-02 11:47 379  
[ ]2023-0602-045910-VALSDELLCOMPUTE-Proofs.log2023-06-02 11:59 379  
[ ]2023-0602-051118-VALSDELLCOMPUTE-Proofs.log2023-06-02 12:11 379  
[ ]2023-0602-052327-VALSDELLCOMPUTE-Proofs.log2023-06-02 12:23 379  
[ ]2023-0602-053536-VALSDELLCOMPUTE-Proofs.log2023-06-02 12:35 379  
[ ]2023-0602-054745-VALSDELLCOMPUTE-Proofs.log2023-06-02 12:47 379  
[ ]2023-0602-055930-VALSDELLCOMPUTE-Proofs.log2023-06-02 12:59 379  
[ ]2023-0602-061137-VALSDELLCOMPUTE-Proofs.log2023-06-02 13:11 379  
[ ]2023-0602-062345-VALSDELLCOMPUTE-Proofs.log2023-06-02 13:23 379  
[ ]2023-0602-063556-VALSDELLCOMPUTE-Proofs.log2023-06-02 13:36 379  
[ ]2023-0602-064803-VALSDELLCOMPUTE-Proofs.log2023-06-02 13:48 379  
[ ]2023-0602-070011-VALSDELLCOMPUTE-Proofs.log2023-06-02 14:00 379  
[ ]2023-0602-071221-VALSDELLCOMPUTE-Proofs.log2023-06-02 14:12 379  
[ ]2023-0602-072429-VALSDELLCOMPUTE-Proofs.log2023-06-02 14:24 379  
[ ]2023-0602-073639-VALSDELLCOMPUTE-Proofs.log2023-06-02 14:36 379  
[ ]2023-0602-074853-VALSDELLCOMPUTE-Proofs.log2023-06-02 14:48 379  
[ ]2023-0602-080102-VALSDELLCOMPUTE-Proofs.log2023-06-02 15:01 379  
[ ]2023-0602-081312-VALSDELLCOMPUTE-Proofs.log2023-06-02 15:13 379  
[ ]2023-0602-082520-VALSDELLCOMPUTE-Proofs.log2023-06-02 15:25 379  
[ ]2023-0602-083727-VALSDELLCOMPUTE-Proofs.log2023-06-02 15:37 379  
[ ]2023-0602-084935-VALSDELLCOMPUTE-Proofs.log2023-06-02 15:49 379  
[ ]2023-0602-090145-VALSDELLCOMPUTE-Proofs.log2023-06-02 16:01 379  
[ ]2023-0602-091354-VALSDELLCOMPUTE-Proofs.log2023-06-02 16:13 379  
[ ]2023-0602-092602-VALSDELLCOMPUTE-Proofs.log2023-06-02 16:26 379  
[ ]2023-0602-093800-VALSDELLCOMPUTE-Proofs.log2023-06-02 16:38 379  
[ ]2023-0602-095008-VALSDELLCOMPUTE-Proofs.log2023-06-02 16:50 379  
[ ]2023-0602-100219-VALSDELLCOMPUTE-Proofs.log2023-06-02 17:02 379  
[ ]2023-0602-101426-VALSDELLCOMPUTE-Proofs.log2023-06-02 17:14 379  
[ ]2023-0602-102634-VALSDELLCOMPUTE-Proofs.log2023-06-02 17:26 379  
[ ]2023-0602-103843-VALSDELLCOMPUTE-Proofs.log2023-06-02 17:38 379  
[ ]2023-0602-105030-VALSDELLCOMPUTE-Proofs.log2023-06-02 17:50 379  
[ ]2023-0602-110050-VALSDELLCOMPUTE-Proofs.log2023-06-02 18:00 379  
[ ]2023-0602-111259-VALSDELLCOMPUTE-Proofs.log2023-06-02 18:13 379  
[ ]2023-0602-112509-VALSDELLCOMPUTE-Proofs.log2023-06-02 18:25 379  
[ ]2023-0602-113717-VALSDELLCOMPUTE-Proofs.log2023-06-02 18:37 379  
[ ]2023-0602-114928-VALSDELLCOMPUTE-Proofs.log2023-06-02 18:49 379  
[ ]2023-0602-120137-VALSDELLCOMPUTE-Proofs.log2023-06-02 19:01 379  
[ ]2023-0602-121248-VALSDELLCOMPUTE-Proofs.log2023-06-02 19:12 379  
[ ]2023-0602-122457-VALSDELLCOMPUTE-Proofs.log2023-06-02 19:25 379  
[ ]2023-0602-123707-VALSDELLCOMPUTE-Proofs.log2023-06-02 19:37 379  
[ ]2023-0602-124915-VALSDELLCOMPUTE-Proofs.log2023-06-02 19:49 379  
[ ]2023-0602-130137-VALSDELLCOMPUTE-Proofs.log2023-06-02 20:01 379  
[ ]2023-0602-131151-VALSDELLCOMPUTE-Proofs.log2023-06-02 20:11 379  
[ ]2023-0602-132359-VALSDELLCOMPUTE-Proofs.log2023-06-02 20:24 379  
[ ]2023-0602-133608-VALSDELLCOMPUTE-Proofs.log2023-06-02 20:36 379  
[ ]2023-0602-134815-VALSDELLCOMPUTE-Proofs.log2023-06-02 20:48 379  
[ ]2023-0602-140024-VALSDELLCOMPUTE-Proofs.log2023-06-02 21:00 379  
[ ]2023-0602-141233-VALSDELLCOMPUTE-Proofs.log2023-06-02 21:12 379  
[ ]2023-0602-142442-VALSDELLCOMPUTE-Proofs.log2023-06-02 21:24 379  
[ ]2023-0602-143652-VALSDELLCOMPUTE-Proofs.log2023-06-02 21:36 379  
[ ]2023-0602-144901-VALSDELLCOMPUTE-Proofs.log2023-06-02 21:49 379  
[ ]2023-0602-150110-VALSDELLCOMPUTE-Proofs.log2023-06-02 22:01 379  
[ ]2023-0602-151319-VALSDELLCOMPUTE-Proofs.log2023-06-02 22:13 379  
[ ]2023-0602-152529-VALSDELLCOMPUTE-Proofs.log2023-06-02 22:25 379  
[ ]2023-0602-153738-VALSDELLCOMPUTE-Proofs.log2023-06-02 22:37 379  
[ ]2023-0602-154945-VALSDELLCOMPUTE-Proofs.log2023-06-02 22:49 379  
[ ]2023-0602-160153-VALSDELLCOMPUTE-Proofs.log2023-06-02 23:01 379  
[ ]2023-0602-162616-VALSDELLCOMPUTE-Proofs.log2023-06-02 23:26 379  
[ ]2023-0602-163826-VALSDELLCOMPUTE-Proofs.log2023-06-02 23:38 379  
[ ]2023-0602-165035-VALSDELLCOMPUTE-Proofs.log2023-06-02 23:50 379  
[ ]2023-0602-170242-VALSDELLCOMPUTE-Proofs.log2023-06-03 00:02 379  
[ ]2023-0602-171450-VALSDELLCOMPUTE-Proofs.log2023-06-03 00:14 379  
[ ]2023-0602-172658-VALSDELLCOMPUTE-Proofs.log2023-06-03 00:27 379  
[ ]2023-0602-173906-VALSDELLCOMPUTE-Proofs.log2023-06-03 00:39 379  
[ ]2023-0602-175113-VALSDELLCOMPUTE-Proofs.log2023-06-03 00:51 379  
[ ]2023-0602-180322-VALSDELLCOMPUTE-Proofs.log2023-06-03 01:03 379  
[ ]2023-0602-181530-VALSDELLCOMPUTE-Proofs.log2023-06-03 01:15 379  
[ ]2023-0602-182738-VALSDELLCOMPUTE-Proofs.log2023-06-03 01:27 379  
[ ]2023-0602-183948-VALSDELLCOMPUTE-Proofs.log2023-06-03 01:39 379  
[ ]2023-0602-185155-VALSDELLCOMPUTE-Proofs.log2023-06-03 01:51 379  
[ ]2023-0602-190403-VALSDELLCOMPUTE-Proofs.log2023-06-03 02:04 379  
[ ]2023-0602-191611-VALSDELLCOMPUTE-Proofs.log2023-06-03 02:16 379  
[ ]2023-0602-192820-VALSDELLCOMPUTE-Proofs.log2023-06-03 02:28 379  
[ ]2023-0602-194028-VALSDELLCOMPUTE-Proofs.log2023-06-03 02:40 379  
[ ]2023-0602-195145-VALSDELLCOMPUTE-Proofs.log2023-06-03 02:51 379  
[ ]2023-0602-200443-VALSDELLCOMPUTE-Proofs.log2023-06-03 03:04 379  
[ ]2023-0602-201652-VALSDELLCOMPUTE-Proofs.log2023-06-03 03:16 379  
[ ]2023-0602-202859-VALSDELLCOMPUTE-Proofs.log2023-06-03 03:29 379  
[ ]2023-0602-204109-VALSDELLCOMPUTE-Proofs.log2023-06-03 03:41 379  
[ ]2023-0602-205318-VALSDELLCOMPUTE-Proofs.log2023-06-03 03:53 379  
[ ]2023-0602-210527-VALSDELLCOMPUTE-Proofs.log2023-06-03 04:05 379  
[ ]2023-0602-211736-VALSDELLCOMPUTE-Proofs.log2023-06-03 04:17 379  
[ ]2023-0602-212945-VALSDELLCOMPUTE-Proofs.log2023-06-03 04:29 379  
[ ]2023-0602-214153-VALSDELLCOMPUTE-Proofs.log2023-06-03 04:41 379  
[ ]2023-0602-215400-VALSDELLCOMPUTE-Proofs.log2023-06-03 04:54 379  
[ ]2023-0602-220611-VALSDELLCOMPUTE-Proofs.log2023-06-03 05:06 379  
[ ]2023-0602-221819-VALSDELLCOMPUTE-Proofs.log2023-06-03 05:18 379  
[ ]2023-0602-223029-VALSDELLCOMPUTE-Proofs.log2023-06-03 05:30 379  
[ ]2023-0602-224237-VALSDELLCOMPUTE-Proofs.log2023-06-03 05:42 379  
[ ]2023-0602-225445-VALSDELLCOMPUTE-Proofs.log2023-06-03 05:54 379  
[ ]2023-0602-230653-VALSDELLCOMPUTE-Proofs.log2023-06-03 06:06 379  
[ ]2023-0602-231902-VALSDELLCOMPUTE-Proofs.log2023-06-03 06:19 379  
[ ]2023-0602-233112-VALSDELLCOMPUTE-Proofs.log2023-06-03 06:31 379  
[ ]2023-0602-234230-VALSDELLCOMPUTE-Proofs.log2023-06-03 06:42 379  
[ ]2023-0602-235452-VALSDELLCOMPUTE-Proofs.log2023-06-03 06:54 379  
[ ]2023-0603-000701-VALSDELLCOMPUTE-Proofs.log2023-06-03 07:07 379  
[ ]2023-0603-001909-VALSDELLCOMPUTE-Proofs.log2023-06-03 07:19 379  
[ ]2023-0603-003101-VALSDELLCOMPUTE-Proofs.log2023-06-03 07:31 379  
[ ]2023-0603-004207-VALSDELLCOMPUTE-Proofs.log2023-06-03 07:42 379  
[ ]2023-0603-005415-VALSDELLCOMPUTE-Proofs.log2023-06-03 07:54 379  
[ ]2023-0603-010625-VALSDELLCOMPUTE-Proofs.log2023-06-03 08:06 379  
[ ]2023-0603-011832-VALSDELLCOMPUTE-Proofs.log2023-06-03 08:18 379  
[ ]2023-0603-013042-VALSDELLCOMPUTE-Proofs.log2023-06-03 08:30 379  
[ ]2023-0603-014251-VALSDELLCOMPUTE-Proofs.log2023-06-03 08:42 379  
[ ]2023-0603-015459-VALSDELLCOMPUTE-Proofs.log2023-06-03 08:55 379  
[ ]2023-0603-020708-VALSDELLCOMPUTE-Proofs.log2023-06-03 09:07 379  
[ ]2023-0603-021906-VALSDELLCOMPUTE-Proofs.log2023-06-03 09:19 379  
[ ]2023-0603-023115-VALSDELLCOMPUTE-Proofs.log2023-06-03 09:31 379  
[ ]2023-0603-024323-VALSDELLCOMPUTE-Proofs.log2023-06-03 09:43 379  
[ ]2023-0603-025533-VALSDELLCOMPUTE-Proofs.log2023-06-03 09:55 379  
[ ]2023-0603-030743-VALSDELLCOMPUTE-Proofs.log2023-06-03 10:07 379  
[ ]2023-0603-031950-VALSDELLCOMPUTE-Proofs.log2023-06-03 10:19 379  
[ ]2023-0603-033151-VALSDELLCOMPUTE-Proofs.log2023-06-03 10:31 379  
[ ]2023-0603-034334-VALSDELLCOMPUTE-Proofs.log2023-06-03 10:43 379  
[ ]2023-0603-035544-VALSDELLCOMPUTE-Proofs.log2023-06-03 10:55 379  
[ ]2023-0603-040753-VALSDELLCOMPUTE-Proofs.log2023-06-03 11:07 379  
[ ]2023-0603-042001-VALSDELLCOMPUTE-Proofs.log2023-06-03 11:20 379  
[ ]2023-0603-043210-VALSDELLCOMPUTE-Proofs.log2023-06-03 11:32 379  
[ ]2023-0603-044419-VALSDELLCOMPUTE-Proofs.log2023-06-03 11:44 379  
[ ]2023-0603-045629-VALSDELLCOMPUTE-Proofs.log2023-06-03 11:56 379  
[ ]2023-0603-050927-VALSDELLCOMPUTE-Proofs.log2023-06-03 12:09 379  
[ ]2023-0603-052137-VALSDELLCOMPUTE-Proofs.log2023-06-03 12:21 379  
[ ]2023-0603-053346-VALSDELLCOMPUTE-Proofs.log2023-06-03 12:33 379  
[ ]2023-0603-054555-VALSDELLCOMPUTE-Proofs.log2023-06-03 12:45 379  
[ ]2023-0603-055804-VALSDELLCOMPUTE-Proofs.log2023-06-03 12:58 379  
[ ]2023-0603-061012-VALSDELLCOMPUTE-Proofs.log2023-06-03 13:10 379  
[ ]2023-0603-062135-VALSDELLCOMPUTE-Proofs.log2023-06-03 13:21 379  
[ ]2023-0603-063319-VALSDELLCOMPUTE-Proofs.log2023-06-03 13:33 379  
[ ]2023-0603-064410-VALSDELLCOMPUTE-Proofs.log2023-06-03 13:44 379  
[ ]2023-0603-070529-VALSDELLCOMPUTE-Proofs.log2023-06-03 14:05 379  
[ ]2023-0603-071739-VALSDELLCOMPUTE-Proofs.log2023-06-03 14:17 379  
[ ]2023-0603-072950-VALSDELLCOMPUTE-Proofs.log2023-06-03 14:29 379  
[ ]2023-0603-074039-VALSDELLCOMPUTE-Proofs.log2023-06-03 14:40 379  
[ ]2023-0603-075249-VALSDELLCOMPUTE-Proofs.log2023-06-03 14:52 379  
[ ]2023-0603-080459-VALSDELLCOMPUTE-Proofs.log2023-06-03 15:05 379  
[ ]2023-0603-081708-VALSDELLCOMPUTE-Proofs.log2023-06-03 15:17 379  
[ ]2023-0603-082924-VALSDELLCOMPUTE-Proofs.log2023-06-03 15:29 379  
[ ]2023-0603-084133-VALSDELLCOMPUTE-Proofs.log2023-06-03 15:41 379  
[ ]2023-0603-085342-VALSDELLCOMPUTE-Proofs.log2023-06-03 15:53 379  
[ ]2023-0603-090551-VALSDELLCOMPUTE-Proofs.log2023-06-03 16:05 379  
[ ]2023-0603-091801-VALSDELLCOMPUTE-Proofs.log2023-06-03 16:18 379  
[ ]2023-0603-093009-VALSDELLCOMPUTE-Proofs.log2023-06-03 16:30 379  
[ ]2023-0603-094217-VALSDELLCOMPUTE-Proofs.log2023-06-03 16:42 379  
[ ]2023-0603-095424-VALSDELLCOMPUTE-Proofs.log2023-06-03 16:54 379  
[ ]2023-0603-100633-VALSDELLCOMPUTE-Proofs.log2023-06-03 17:06 379  
[ ]2023-0603-101841-VALSDELLCOMPUTE-Proofs.log2023-06-03 17:18 379  
[ ]2023-0603-103051-VALSDELLCOMPUTE-Proofs.log2023-06-03 17:30 379  
[ ]2023-0603-104300-VALSDELLCOMPUTE-Proofs.log2023-06-03 17:43 379  
[ ]2023-0603-105433-VALSDELLCOMPUTE-Proofs.log2023-06-03 17:54 379  
[ ]2023-0603-110643-VALSDELLCOMPUTE-Proofs.log2023-06-03 18:06 379  
[ ]2023-0603-111853-VALSDELLCOMPUTE-Proofs.log2023-06-03 18:18 379  
[ ]2023-0603-113102-VALSDELLCOMPUTE-Proofs.log2023-06-03 18:31 379  
[ ]2023-0603-114311-VALSDELLCOMPUTE-Proofs.log2023-06-03 18:43 379  
[ ]2023-0603-115521-VALSDELLCOMPUTE-Proofs.log2023-06-03 18:55 379  
[ ]2023-0603-120729-VALSDELLCOMPUTE-Proofs.log2023-06-03 19:07 379  
[ ]2023-0603-121938-VALSDELLCOMPUTE-Proofs.log2023-06-03 19:19 379  
[ ]2023-0603-123145-VALSDELLCOMPUTE-Proofs.log2023-06-03 19:31 379  
[ ]2023-0603-124355-VALSDELLCOMPUTE-Proofs.log2023-06-03 19:44 379  
[ ]2023-0603-125604-VALSDELLCOMPUTE-Proofs.log2023-06-03 19:56 379  
[ ]2023-0603-130814-VALSDELLCOMPUTE-Proofs.log2023-06-03 20:08 379  
[ ]2023-0603-132008-VALSDELLCOMPUTE-Proofs.log2023-06-03 20:20 379  
[ ]2023-0603-133217-VALSDELLCOMPUTE-Proofs.log2023-06-03 20:32 379  
[ ]2023-0603-134427-VALSDELLCOMPUTE-Proofs.log2023-06-03 20:44 379  
[ ]2023-0603-135635-VALSDELLCOMPUTE-Proofs.log2023-06-03 20:56 379  
[ ]2023-0603-140845-VALSDELLCOMPUTE-Proofs.log2023-06-03 21:08 379  
[ ]2023-0603-142055-VALSDELLCOMPUTE-Proofs.log2023-06-03 21:21 379  
[ ]2023-0603-143303-VALSDELLCOMPUTE-Proofs.log2023-06-03 21:33 379  
[ ]2023-0603-144510-VALSDELLCOMPUTE-Proofs.log2023-06-03 21:45 379  
[ ]2023-0603-145720-VALSDELLCOMPUTE-Proofs.log2023-06-03 21:57 379  
[ ]2023-0603-150928-VALSDELLCOMPUTE-Proofs.log2023-06-03 22:09 379  
[ ]2023-0603-152139-VALSDELLCOMPUTE-Proofs.log2023-06-03 22:21 379  
[ ]2023-0603-153348-VALSDELLCOMPUTE-Proofs.log2023-06-03 22:33 379  
[ ]2023-0603-154558-VALSDELLCOMPUTE-Proofs.log2023-06-03 22:46 379  
[ ]2023-0603-155807-VALSDELLCOMPUTE-Proofs.log2023-06-03 22:58 379  
[ ]2023-0603-161015-VALSDELLCOMPUTE-Proofs.log2023-06-03 23:10 379  
[ ]2023-0603-162225-VALSDELLCOMPUTE-Proofs.log2023-06-03 23:22 379  
[ ]2023-0603-163435-VALSDELLCOMPUTE-Proofs.log2023-06-03 23:34 379  
[ ]2023-0603-164645-VALSDELLCOMPUTE-Proofs.log2023-06-03 23:46 379  
[ ]2023-0603-165855-VALSDELLCOMPUTE-Proofs.log2023-06-03 23:59 379  
[ ]2023-0603-171104-VALSDELLCOMPUTE-Proofs.log2023-06-04 00:11 379  
[ ]2023-0603-172312-VALSDELLCOMPUTE-Proofs.log2023-06-04 00:23 379  
[ ]2023-0603-173521-VALSDELLCOMPUTE-Proofs.log2023-06-04 00:35 379  
[ ]2023-0603-174719-VALSDELLCOMPUTE-Proofs.log2023-06-04 00:47 379  
[ ]2023-0603-175927-VALSDELLCOMPUTE-Proofs.log2023-06-04 00:59 379  
[ ]2023-0603-181040-VALSDELLCOMPUTE-Proofs.log2023-06-04 01:10 379  
[ ]2023-0603-182250-VALSDELLCOMPUTE-Proofs.log2023-06-04 01:22 379  
[ ]2023-0603-183459-VALSDELLCOMPUTE-Proofs.log2023-06-04 01:35 379  
[ ]2023-0603-184708-VALSDELLCOMPUTE-Proofs.log2023-06-04 01:47 379  
[ ]2023-0603-185918-VALSDELLCOMPUTE-Proofs.log2023-06-04 01:59 379  
[ ]2023-0603-191126-VALSDELLCOMPUTE-Proofs.log2023-06-04 02:11 379  
[ ]2023-0603-192333-VALSDELLCOMPUTE-Proofs.log2023-06-04 02:23 379  
[ ]2023-0603-193542-VALSDELLCOMPUTE-Proofs.log2023-06-04 02:35 379  
[ ]2023-0603-194752-VALSDELLCOMPUTE-Proofs.log2023-06-04 02:47 379  
[ ]2023-0603-200003-VALSDELLCOMPUTE-Proofs.log2023-06-04 03:00 379  
[ ]2023-0603-201211-VALSDELLCOMPUTE-Proofs.log2023-06-04 03:12 379  
[ ]2023-0603-202348-VALSDELLCOMPUTE-Proofs.log2023-06-04 03:23 379  
[ ]2023-0603-203558-VALSDELLCOMPUTE-Proofs.log2023-06-04 03:36 379  
[ ]2023-0603-204806-VALSDELLCOMPUTE-Proofs.log2023-06-04 03:48 379  
[ ]2023-0603-205925-VALSDELLCOMPUTE-Proofs.log2023-06-04 03:59 379  
[ ]2023-0603-211135-VALSDELLCOMPUTE-Proofs.log2023-06-04 04:11 379  
[ ]2023-0603-212343-VALSDELLCOMPUTE-Proofs.log2023-06-04 04:23 379  
[ ]2023-0603-213551-VALSDELLCOMPUTE-Proofs.log2023-06-04 04:35 379  
[ ]2023-0603-214800-VALSDELLCOMPUTE-Proofs.log2023-06-04 04:48 379  
[ ]2023-0603-220010-VALSDELLCOMPUTE-Proofs.log2023-06-04 05:00 379  
[ ]2023-0603-221219-VALSDELLCOMPUTE-Proofs.log2023-06-04 05:12 379  
[ ]2023-0603-222429-VALSDELLCOMPUTE-Proofs.log2023-06-04 05:24 379  
[ ]2023-0603-223638-VALSDELLCOMPUTE-Proofs.log2023-06-04 05:36 379  
[ ]2023-0603-224847-VALSDELLCOMPUTE-Proofs.log2023-06-04 05:48 379  
[ ]2023-0603-230057-VALSDELLCOMPUTE-Proofs.log2023-06-04 06:01 379  
[ ]2023-0603-231305-VALSDELLCOMPUTE-Proofs.log2023-06-04 06:13 379  
[ ]2023-0603-232514-VALSDELLCOMPUTE-Proofs.log2023-06-04 06:25 379  
[ ]2023-0603-233723-VALSDELLCOMPUTE-Proofs.log2023-06-04 06:37 379  
[ ]2023-0603-234913-VALSDELLCOMPUTE-Proofs.log2023-06-04 06:49 379  
[ ]2023-0604-000121-VALSDELLCOMPUTE-Proofs.log2023-06-04 07:01 379  
[ ]2023-0604-001303-VALSDELLCOMPUTE-Proofs.log2023-06-04 07:13 379  
[ ]2023-0604-002511-VALSDELLCOMPUTE-Proofs.log2023-06-04 07:25 379  
[ ]2023-0604-003720-VALSDELLCOMPUTE-Proofs.log2023-06-04 07:37 379  
[ ]2023-0604-004930-VALSDELLCOMPUTE-Proofs.log2023-06-04 07:49 379  
[ ]2023-0604-010139-VALSDELLCOMPUTE-Proofs.log2023-06-04 08:01 379  
[ ]2023-0604-011348-VALSDELLCOMPUTE-Proofs.log2023-06-04 08:13 379  
[ ]2023-0604-012558-VALSDELLCOMPUTE-Proofs.log2023-06-04 08:26 379  
[ ]2023-0604-013716-VALSDELLCOMPUTE-Proofs.log2023-06-04 08:37 379  
[ ]2023-0604-014755-VALSDELLCOMPUTE-Proofs.log2023-06-04 08:47 379  
[ ]2023-0604-020005-VALSDELLCOMPUTE-Proofs.log2023-06-04 09:00 379  
[ ]2023-0604-021214-VALSDELLCOMPUTE-Proofs.log2023-06-04 09:12 379  
[ ]2023-0604-022424-VALSDELLCOMPUTE-Proofs.log2023-06-04 09:24 379  
[ ]2023-0604-023633-VALSDELLCOMPUTE-Proofs.log2023-06-04 09:36 379  
[ ]2023-0604-024843-VALSDELLCOMPUTE-Proofs.log2023-06-04 09:48 379  
[ ]2023-0604-030052-VALSDELLCOMPUTE-Proofs.log2023-06-04 10:00 379  
[ ]2023-0604-031144-VALSDELLCOMPUTE-Proofs.log2023-06-04 10:11 379  
[ ]2023-0604-032354-VALSDELLCOMPUTE-Proofs.log2023-06-04 10:23 379  
[ ]2023-0604-033602-VALSDELLCOMPUTE-Proofs.log2023-06-04 10:36 379  
[ ]2023-0604-034812-VALSDELLCOMPUTE-Proofs.log2023-06-04 10:48 379  
[ ]2023-0604-040019-VALSDELLCOMPUTE-Proofs.log2023-06-04 11:00 379  
[ ]2023-0604-041228-VALSDELLCOMPUTE-Proofs.log2023-06-04 11:12 379  
[ ]2023-0604-042436-VALSDELLCOMPUTE-Proofs.log2023-06-04 11:24 379  
[ ]2023-0604-043639-VALSDELLCOMPUTE-Proofs.log2023-06-04 11:36 379  
[ ]2023-0604-044847-VALSDELLCOMPUTE-Proofs.log2023-06-04 11:48 379  
[ ]2023-0604-050055-VALSDELLCOMPUTE-Proofs.log2023-06-04 12:01 379  
[ ]2023-0604-051304-VALSDELLCOMPUTE-Proofs.log2023-06-04 12:13 379  
[ ]2023-0604-052514-VALSDELLCOMPUTE-Proofs.log2023-06-04 12:25 379  
[ ]2023-0604-053721-VALSDELLCOMPUTE-Proofs.log2023-06-04 12:37 379  
[ ]2023-0604-054931-VALSDELLCOMPUTE-Proofs.log2023-06-04 12:49 379  
[ ]2023-0604-060141-VALSDELLCOMPUTE-Proofs.log2023-06-04 13:01 379  
[ ]2023-0604-061253-VALSDELLCOMPUTE-Proofs.log2023-06-04 13:12 379  
[ ]2023-0604-062501-VALSDELLCOMPUTE-Proofs.log2023-06-04 13:25 379  
[ ]2023-0604-063710-VALSDELLCOMPUTE-Proofs.log2023-06-04 13:37 379  
[ ]2023-0604-064917-VALSDELLCOMPUTE-Proofs.log2023-06-04 13:49 379  
[ ]2023-0604-070126-VALSDELLCOMPUTE-Proofs.log2023-06-04 14:01 379  
[ ]2023-0604-071336-VALSDELLCOMPUTE-Proofs.log2023-06-04 14:13 379  
[ ]2023-0604-072546-VALSDELLCOMPUTE-Proofs.log2023-06-04 14:25 379  
[ ]2023-0604-073756-VALSDELLCOMPUTE-Proofs.log2023-06-04 14:38 379  
[ ]2023-0604-075005-VALSDELLCOMPUTE-Proofs.log2023-06-04 14:50 379  
[ ]2023-0604-080214-VALSDELLCOMPUTE-Proofs.log2023-06-04 15:02 379  
[ ]2023-0604-081423-VALSDELLCOMPUTE-Proofs.log2023-06-04 15:14 379  
[ ]2023-0604-082633-VALSDELLCOMPUTE-Proofs.log2023-06-04 15:26 379  
[ ]2023-0604-083841-VALSDELLCOMPUTE-Proofs.log2023-06-04 15:38 379  
[ ]2023-0604-085048-VALSDELLCOMPUTE-Proofs.log2023-06-04 15:50 379  
[ ]2023-0604-090344-VALSDELLCOMPUTE-Proofs.log2023-06-04 16:03 379  
[ ]2023-0604-091554-VALSDELLCOMPUTE-Proofs.log2023-06-04 16:15 379  
[ ]2023-0604-092803-VALSDELLCOMPUTE-Proofs.log2023-06-04 16:28 379  
[ ]2023-0604-094011-VALSDELLCOMPUTE-Proofs.log2023-06-04 16:40 379  
[ ]2023-0604-095219-VALSDELLCOMPUTE-Proofs.log2023-06-04 16:52 379  
[ ]2023-0604-100427-VALSDELLCOMPUTE-Proofs.log2023-06-04 17:04 379  
[ ]2023-0604-101636-VALSDELLCOMPUTE-Proofs.log2023-06-04 17:16 379  
[ ]2023-0604-102843-VALSDELLCOMPUTE-Proofs.log2023-06-04 17:28 379  
[ ]2023-0604-104051-VALSDELLCOMPUTE-Proofs.log2023-06-04 17:40 379  
[ ]2023-0604-105300-VALSDELLCOMPUTE-Proofs.log2023-06-04 17:53 379  
[ ]2023-0604-110510-VALSDELLCOMPUTE-Proofs.log2023-06-04 18:05 379  
[ ]2023-0604-111720-VALSDELLCOMPUTE-Proofs.log2023-06-04 18:17 379  
[ ]2023-0604-112931-VALSDELLCOMPUTE-Proofs.log2023-06-04 18:29 379  
[ ]2023-0604-114138-VALSDELLCOMPUTE-Proofs.log2023-06-04 18:41 379  
[ ]2023-0604-115247-VALSDELLCOMPUTE-Proofs.log2023-06-04 18:52 379  
[ ]2023-0604-120520-VALSDELLCOMPUTE-Proofs.log2023-06-04 19:05 379  
[ ]2023-0604-121613-VALSDELLCOMPUTE-Proofs.log2023-06-04 19:16 379  
[ ]2023-0604-122822-VALSDELLCOMPUTE-Proofs.log2023-06-04 19:28 379  
[ ]2023-0604-124030-VALSDELLCOMPUTE-Proofs.log2023-06-04 19:40 379  
[ ]2023-0604-125240-VALSDELLCOMPUTE-Proofs.log2023-06-04 19:52 379  
[ ]2023-0604-130449-VALSDELLCOMPUTE-Proofs.log2023-06-04 20:04 379  
[ ]2023-0604-132937-VALSDELLCOMPUTE-Proofs.log2023-06-04 20:29 379  
[ ]2023-0604-134146-VALSDELLCOMPUTE-Proofs.log2023-06-04 20:41 379  
[ ]2023-0604-135259-VALSDELLCOMPUTE-Proofs.log2023-06-04 20:53 379  
[ ]2023-0604-140506-VALSDELLCOMPUTE-Proofs.log2023-06-04 21:05 379  
[ ]2023-0604-141714-VALSDELLCOMPUTE-Proofs.log2023-06-04 21:17 379  
[ ]2023-0604-142923-VALSDELLCOMPUTE-Proofs.log2023-06-04 21:29 379  
[ ]2023-0604-144130-VALSDELLCOMPUTE-Proofs.log2023-06-04 21:41 379  
[ ]2023-0604-145339-VALSDELLCOMPUTE-Proofs.log2023-06-04 21:53 379  
[ ]2023-0604-150547-VALSDELLCOMPUTE-Proofs.log2023-06-04 22:05 379  
[ ]2023-0604-151756-VALSDELLCOMPUTE-Proofs.log2023-06-04 22:18 379  
[ ]2023-0604-152934-VALSDELLCOMPUTE-Proofs.log2023-06-04 22:29 379  
[ ]2023-0604-154237-VALSDELLCOMPUTE-Proofs.log2023-06-04 22:42 379  
[ ]2023-0604-155447-VALSDELLCOMPUTE-Proofs.log2023-06-04 22:54 379  
[ ]2023-0604-160656-VALSDELLCOMPUTE-Proofs.log2023-06-04 23:07 379  
[ ]2023-0604-161905-VALSDELLCOMPUTE-Proofs.log2023-06-04 23:19 379  
[ ]2023-0517-164810-VALSDELLCOMPUTE-Proofs.log2023-05-17 23:48 392  
[ ]2023-0516-145530-VALSDELLCOMPUTE-Proofs.log2023-05-16 21:55 478  
[ ]2023-0519-130142-VALSDELLCOMPUTE-Proofs.log2023-05-19 20:01 478  
[ ]2023-0516-233517-VALSDELLCOMPUTE-Proofs.log2023-05-17 06:35 489  
[ ]2023-0519-094710-VALSDELLCOMPUTE-Proofs.log2023-05-19 16:47 489  
[ ]2023-0517-120209-VALSDELLCOMPUTE-Proofs.log2023-05-17 19:02 746  
[ ]2023-0517-171247-VALSDELLCOMPUTE-Proofs.log2023-05-18 00:12 751  
[ ]2023-0517-122557-VALSDELLCOMPUTE-Proofs.log2023-05-17 19:26 753  
[ ]2023-0517-165420-VALSDELLCOMPUTE-Proofs.log2023-05-17 23:54 755  
[ ]2023-0515-135930-VALSDELLCOMPUTE-Proofs.log2023-05-15 20:59 757  
[ ]2023-0516-112440-VALSDELLCOMPUTE-Proofs.log2023-05-16 18:24 757  
[ ]2023-0517-093138-VALSDELLCOMPUTE-Proofs.log2023-05-17 16:31 759  
[ ]2023-0519-125602-VALSDELLCOMPUTE-Proofs.log2023-05-19 19:56 759  
[ ]2023-0516-102827-VALSDELLCOMPUTE-Proofs.log2023-05-16 17:28 761  
[ ]2023-0515-140348-VALSDELLCOMPUTE-Proofs.log2023-05-15 21:03 763  
[ ]2023-0515-140518-VALSDELLCOMPUTE-Proofs.log2023-05-15 21:05 763  
[ ]2023-0515-140612-VALSDELLCOMPUTE-Proofs.log2023-05-15 21:06 763  
[ ]2023-0515-140803-VALSDELLCOMPUTE-Proofs.log2023-05-15 21:08 763  
[ ]2023-0516-100439-VALSDELLCOMPUTE-Proofs.log2023-05-16 17:04 763  
[ ]2023-0517-100637-VALSDELLCOMPUTE-Proofs.log2023-05-17 17:06 763  
[ ]2023-0517-112703-VALSDELLCOMPUTE-Proofs.log2023-05-17 18:27 763  
[ ]2023-0516-104919-VALSDELLCOMPUTE-Proofs.log2023-05-16 17:49 764  
[ ]2023-0516-105240-VALSDELLCOMPUTE-Proofs.log2023-05-16 17:52 769  
[ ]2023-0516-153514-VALSDELLCOMPUTE-Proofs.log2023-05-16 22:35 779  
[ ]2023-0516-093155-VALSDELLCOMPUTE-Proofs.log2023-05-16 16:32 781  
[ ]2023-0517-102549-VALSDELLCOMPUTE-Proofs.log2023-05-17 17:26 781  
[ ]2023-0517-103216-VALSDELLCOMPUTE-Proofs.log2023-05-17 17:32 781  
[ ]2023-0516-153614-VALSDELLCOMPUTE-Proofs.log2023-05-16 22:36 782  
[ ]2023-0517-145453-VALSDELLCOMPUTE-Proofs.log2023-05-17 21:55 948  
[ ]2023-0517-110239-VALSDELLCOMPUTE-Proofs.log2023-05-17 18:02 952  
[ ]2023-0517-132148-VALSDELLCOMPUTE-Proofs.log2023-05-17 20:22 952  
[ ]_recycled_db._gs2023-05-30 20:06 960  
[ ]2023-0517-155831-VALSDELLCOMPUTE-Proofs.log2023-05-17 22:59 969  
[ ]2023-0517-120854-VALSDELLCOMPUTE-Proofs.log2023-05-17 19:15 972  
[ ]2023-0517-123248-VALSDELLCOMPUTE-Proofs.log2023-05-17 19:38 972  
[ ]2023-0515-134354-VALSDELLCOMPUTE-Proofs.log2023-05-15 20:44 1.0K 
[ ]2023-0517-170826-VALSDELLCOMPUTE-Proofs.log2023-05-18 00:08 1.0K 
[ ]2023-0516-113055-VALSDELLCOMPUTE-Proofs.log2023-05-16 18:31 1.0K 
[ ]2023-0515-135945-VALSDELLCOMPUTE-Proofs.log2023-05-15 21:00 1.0K 
[ ]2023-0516-112610-VALSDELLCOMPUTE-Proofs.log2023-05-16 18:26 1.0K 
[ ]2023-0516-112452-VALSDELLCOMPUTE-Proofs.log2023-05-16 18:25 1.0K 
[ ]2023-0516-134655-VALSDELLCOMPUTE-Proofs.log2023-05-16 20:47 1.0K 
[ ]2023-0515-140406-VALSDELLCOMPUTE-Proofs.log2023-05-15 21:04 1.0K 
[ ]2023-0515-140536-VALSDELLCOMPUTE-Proofs.log2023-05-15 21:05 1.0K 
[ ]2023-0515-140636-VALSDELLCOMPUTE-Proofs.log2023-05-15 21:06 1.0K 
[ ]2023-0515-140827-VALSDELLCOMPUTE-Proofs.log2023-05-15 21:08 1.0K 
[ ]2023-0516-100454-VALSDELLCOMPUTE-Proofs.log2023-05-16 17:05 1.0K 
[ ]2023-0517-093202-VALSDELLCOMPUTE-Proofs.log2023-05-17 16:32 1.0K 
[ ]2023-0517-100652-VALSDELLCOMPUTE-Proofs.log2023-05-17 17:07 1.0K 
[ ]2023-0517-112718-VALSDELLCOMPUTE-Proofs.log2023-05-17 18:27 1.0K 
[ ]2023-0516-102842-VALSDELLCOMPUTE-Proofs.log2023-05-16 17:28 1.0K 
[ ]2023-0516-101200-VALSDELLCOMPUTE-Proofs.log2023-05-16 17:12 1.0K 
[ ]2023-0516-105255-VALSDELLCOMPUTE-Proofs.log2023-05-16 17:53 1.0K 
[ ]2023-0516-114701-VALSDELLCOMPUTE-Proofs.log2023-05-16 18:47 1.0K 
[ ]2023-0516-172035-VALSDELLCOMPUTE-Proofs.log2023-05-17 00:20 1.0K 
[ ]2023-0516-131739-VALSDELLCOMPUTE-Proofs.log2023-05-16 20:17 1.0K 
[ ]2023-0516-151843-VALSDELLCOMPUTE-Proofs.log2023-05-16 22:18 1.0K 
[ ]2023-0516-101942-VALSDELLCOMPUTE-Proofs.log2023-05-16 17:19 1.0K 
[ ]2023-0516-112516-VALSDELLCOMPUTE-Proofs.log2023-05-16 18:25 1.0K 
[ ]2023-0516-093219-VALSDELLCOMPUTE-Proofs.log2023-05-16 16:32 1.0K 
[ ]2023-0517-102607-VALSDELLCOMPUTE-Proofs.log2023-05-17 17:26 1.0K 
[ ]2023-0517-103231-VALSDELLCOMPUTE-Proofs.log2023-05-17 17:32 1.0K 
[ ]2023-0516-153526-VALSDELLCOMPUTE-Proofs.log2023-05-16 22:35 1.0K 
[ ]2023-0517-164820-VALSDELLCOMPUTE-Proofs.log2023-05-17 23:48 1.0K 
[ ]2023-0516-153633-VALSDELLCOMPUTE-Proofs.log2023-05-16 22:36 1.0K 
[ ]2023-0516-132109-VALSDELLCOMPUTE-Proofs.log2023-05-16 20:21 1.0K 
[ ]2023-0517-125430-VALSDELLCOMPUTE-Proofs.log2023-05-17 19:54 1.1K 
[ ]2023-0517-171720-VALSDELLCOMPUTE-Proofs.log2023-05-18 00:23 1.1K 
[ ]2023-0516-132933-VALSDELLCOMPUTE-Proofs.log2023-05-16 20:30 1.2K 
[ ]2023-0516-104937-VALSDELLCOMPUTE-Proofs.log2023-05-16 17:51 1.2K 
[ ]2023-0516-131715-VALSDELLCOMPUTE-Proofs.log2023-05-16 20:17 1.2K 
[ ]2023-0516-115729-VALSDELLCOMPUTE-Proofs.log2023-05-16 18:57 1.2K 
[ ]2023-0530-130636-VALSDELLCOMPUTE-Proofs.log2023-05-30 20:09 1.5K 
[ ]2023-0516-171953-VALSDELLCOMPUTE-Proofs.log2023-05-17 00:20 1.5K 
[ ]_file_state_v4._gs2023-05-30 20:06 2.9K