2025-07-16 21:48:37,978 - INFO - Parsed 252 constants
2025-07-16 21:48:39,735 - INFO - Saved emergent constants to emergent_constants.txt
2025-07-16 21:48:39,737 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:48:50,578 - INFO - Symbolic fit completed.
2025-07-16 21:48:50,579 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:48:59,802 - INFO - Symbolic fit completed.
2025-07-16 21:48:59,804 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:49:09,411 - INFO - Symbolic fit completed.
2025-07-16 21:49:09,411 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:49:18,984 - INFO - Symbolic fit completed.
2025-07-16 21:49:18,984 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:49:28,672 - INFO - Symbolic fit completed.
2025-07-16 21:49:28,674 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:49:38,390 - INFO - Symbolic fit completed.
2025-07-16 21:49:38,392 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:49:47,808 - INFO - Symbolic fit completed.
2025-07-16 21:49:47,809 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:49:57,353 - INFO - Symbolic fit completed.
2025-07-16 21:49:57,354 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:50:06,749 - INFO - Symbolic fit completed.
2025-07-16 21:50:06,749 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:50:16,184 - INFO - Symbolic fit completed.
2025-07-16 21:50:16,184 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:50:25,774 - INFO - Symbolic fit completed.
2025-07-16 21:50:25,774 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:50:35,087 - INFO - Symbolic fit completed.
2025-07-16 21:50:35,087 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:50:44,502 - INFO - Symbolic fit completed.
2025-07-16 21:50:44,502 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:50:53,931 - INFO - Symbolic fit completed.
2025-07-16 21:50:53,932 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:51:04,047 - INFO - Symbolic fit completed.
2025-07-16 21:51:04,048 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:51:13,739 - INFO - Symbolic fit completed.
2025-07-16 21:51:13,740 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:51:23,380 - INFO - Symbolic fit completed.
2025-07-16 21:51:23,381 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:51:32,799 - INFO - Symbolic fit completed.
2025-07-16 21:51:32,800 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:51:42,379 - INFO - Symbolic fit completed.
2025-07-16 21:51:42,380 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:51:51,936 - INFO - Symbolic fit completed.
2025-07-16 21:51:51,936 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:52:01,635 - INFO - Symbolic fit completed.
2025-07-16 21:52:01,636 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:52:11,174 - INFO - Symbolic fit completed.
2025-07-16 21:52:11,174 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:52:20,598 - INFO - Symbolic fit completed.
2025-07-16 21:52:20,599 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:52:29,889 - INFO - Symbolic fit completed.
2025-07-16 21:52:29,890 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:52:39,254 - INFO - Symbolic fit completed.
2025-07-16 21:52:39,254 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:52:48,582 - INFO - Symbolic fit completed.
2025-07-16 21:52:48,582 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:52:57,990 - INFO - Symbolic fit completed.
2025-07-16 21:52:57,991 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:53:07,365 - INFO - Symbolic fit completed.
2025-07-16 21:53:07,365 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:53:16,671 - INFO - Symbolic fit completed.
2025-07-16 21:53:16,671 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:53:26,042 - INFO - Symbolic fit completed.
2025-07-16 21:53:26,044 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:53:35,368 - INFO - Symbolic fit completed.
2025-07-16 21:53:35,368 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:53:44,700 - INFO - Symbolic fit completed.
2025-07-16 21:53:44,701 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:53:53,953 - INFO - Symbolic fit completed.
2025-07-16 21:53:53,953 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:54:03,253 - INFO - Symbolic fit completed.
2025-07-16 21:54:03,254 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:54:12,711 - INFO - Symbolic fit completed.
2025-07-16 21:54:12,712 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:54:21,976 - INFO - Symbolic fit completed.
2025-07-16 21:54:21,977 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:54:31,273 - INFO - Symbolic fit completed.
2025-07-16 21:54:31,274 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:54:40,661 - INFO - Symbolic fit completed.
2025-07-16 21:54:40,661 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:54:49,944 - INFO - Symbolic fit completed.
2025-07-16 21:54:49,946 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:54:59,341 - INFO - Symbolic fit completed.
2025-07-16 21:54:59,341 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:55:08,753 - INFO - Symbolic fit completed.
2025-07-16 21:55:08,753 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:55:17,992 - INFO - Symbolic fit completed.
2025-07-16 21:55:17,993 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:55:27,419 - INFO - Symbolic fit completed.
2025-07-16 21:55:27,420 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:55:36,736 - INFO - Symbolic fit completed.
2025-07-16 21:55:36,737 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:55:46,202 - INFO - Symbolic fit completed.
2025-07-16 21:55:46,202 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:55:55,552 - INFO - Symbolic fit completed.
2025-07-16 21:55:55,553 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:56:04,826 - INFO - Symbolic fit completed.
2025-07-16 21:56:04,827 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:56:14,241 - INFO - Symbolic fit completed.
2025-07-16 21:56:14,242 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:56:23,765 - INFO - Symbolic fit completed.
2025-07-16 21:56:23,766 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:56:33,462 - INFO - Symbolic fit completed.
2025-07-16 21:56:33,462 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:56:43,152 - INFO - Symbolic fit completed.
2025-07-16 21:56:43,154 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:56:52,602 - INFO - Symbolic fit completed.
2025-07-16 21:56:52,602 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:57:02,111 - INFO - Symbolic fit completed.
2025-07-16 21:57:02,112 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:57:11,532 - INFO - Symbolic fit completed.
2025-07-16 21:57:11,532 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:57:20,878 - INFO - Symbolic fit completed.
2025-07-16 21:57:20,879 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:57:30,357 - INFO - Symbolic fit completed.
2025-07-16 21:57:30,358 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:57:39,791 - INFO - Symbolic fit completed.
2025-07-16 21:57:39,791 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:57:49,261 - INFO - Symbolic fit completed.
2025-07-16 21:57:49,262 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:57:58,625 - INFO - Symbolic fit completed.
2025-07-16 21:57:58,625 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:58:08,106 - INFO - Symbolic fit completed.
2025-07-16 21:58:08,107 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:58:17,722 - INFO - Symbolic fit completed.
2025-07-16 21:58:17,723 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:58:27,041 - INFO - Symbolic fit completed.
2025-07-16 21:58:27,041 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:58:36,465 - INFO - Symbolic fit completed.
2025-07-16 21:58:36,466 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:58:45,690 - INFO - Symbolic fit completed.
2025-07-16 21:58:45,691 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:58:55,082 - INFO - Symbolic fit completed.
2025-07-16 21:58:55,084 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:59:04,529 - INFO - Symbolic fit completed.
2025-07-16 21:59:04,530 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:59:13,823 - INFO - Symbolic fit completed.
2025-07-16 21:59:13,823 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:59:23,277 - INFO - Symbolic fit completed.
2025-07-16 21:59:23,278 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:59:32,656 - INFO - Symbolic fit completed.
2025-07-16 21:59:32,657 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:59:42,039 - INFO - Symbolic fit completed.
2025-07-16 21:59:42,040 - INFO - Starting symbolic fit for all constants...
2025-07-16 21:59:51,541 - INFO - Symbolic fit completed.
2025-07-16 21:59:51,541 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:00:00,835 - INFO - Symbolic fit completed.
2025-07-16 22:00:00,836 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:00:10,128 - INFO - Symbolic fit completed.
2025-07-16 22:00:10,129 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:00:19,399 - INFO - Symbolic fit completed.
2025-07-16 22:00:19,400 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:00:28,871 - INFO - Symbolic fit completed.
2025-07-16 22:00:28,871 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:00:38,224 - INFO - Symbolic fit completed.
2025-07-16 22:00:38,225 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:00:47,502 - INFO - Symbolic fit completed.
2025-07-16 22:00:47,502 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:00:56,869 - INFO - Symbolic fit completed.
2025-07-16 22:00:56,870 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:01:06,162 - INFO - Symbolic fit completed.
2025-07-16 22:01:06,164 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:01:15,575 - INFO - Symbolic fit completed.
2025-07-16 22:01:15,576 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:01:24,977 - INFO - Symbolic fit completed.
2025-07-16 22:01:24,978 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:01:34,354 - INFO - Symbolic fit completed.
2025-07-16 22:01:34,355 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:01:43,642 - INFO - Symbolic fit completed.
2025-07-16 22:01:43,642 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:01:52,930 - INFO - Symbolic fit completed.
2025-07-16 22:01:52,930 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:02:02,346 - INFO - Symbolic fit completed.
2025-07-16 22:02:02,346 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:02:11,794 - INFO - Symbolic fit completed.
2025-07-16 22:02:11,795 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:02:21,206 - INFO - Symbolic fit completed.
2025-07-16 22:02:21,207 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:02:30,597 - INFO - Symbolic fit completed.
2025-07-16 22:02:30,597 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:02:39,935 - INFO - Symbolic fit completed.
2025-07-16 22:02:39,936 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:02:49,402 - INFO - Symbolic fit completed.
2025-07-16 22:02:49,403 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:02:58,794 - INFO - Symbolic fit completed.
2025-07-16 22:02:58,795 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:03:08,144 - INFO - Symbolic fit completed.
2025-07-16 22:03:08,145 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:03:17,409 - INFO - Symbolic fit completed.
2025-07-16 22:03:17,410 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:03:26,631 - INFO - Symbolic fit completed.
2025-07-16 22:03:26,631 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:03:36,031 - INFO - Symbolic fit completed.
2025-07-16 22:03:36,031 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:03:45,389 - INFO - Symbolic fit completed.
2025-07-16 22:03:45,390 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:03:54,725 - INFO - Symbolic fit completed.
2025-07-16 22:03:54,727 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:04:04,100 - INFO - Symbolic fit completed.
2025-07-16 22:04:04,101 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:04:13,429 - INFO - Symbolic fit completed.
2025-07-16 22:04:13,430 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:04:22,838 - INFO - Symbolic fit completed.
2025-07-16 22:04:22,839 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:04:32,201 - INFO - Symbolic fit completed.
2025-07-16 22:04:32,202 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:04:41,502 - INFO - Symbolic fit completed.
2025-07-16 22:04:41,504 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:04:50,856 - INFO - Symbolic fit completed.
2025-07-16 22:04:50,857 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:05:00,235 - INFO - Symbolic fit completed.
2025-07-16 22:05:00,236 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:05:09,609 - INFO - Symbolic fit completed.
2025-07-16 22:05:09,610 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:05:19,024 - INFO - Symbolic fit completed.
2025-07-16 22:05:19,025 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:05:28,343 - INFO - Symbolic fit completed.
2025-07-16 22:05:28,343 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:05:37,741 - INFO - Symbolic fit completed.
2025-07-16 22:05:37,742 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:05:47,062 - INFO - Symbolic fit completed.
2025-07-16 22:05:47,062 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:05:56,489 - INFO - Symbolic fit completed.
2025-07-16 22:05:56,490 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:06:05,889 - INFO - Symbolic fit completed.
2025-07-16 22:06:05,890 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:06:15,127 - INFO - Symbolic fit completed.
2025-07-16 22:06:15,128 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:06:24,425 - INFO - Symbolic fit completed.
2025-07-16 22:06:24,426 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:06:33,798 - INFO - Symbolic fit completed.
2025-07-16 22:06:33,799 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:06:43,159 - INFO - Symbolic fit completed.
2025-07-16 22:06:43,160 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:06:52,434 - INFO - Symbolic fit completed.
2025-07-16 22:06:52,435 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:07:01,812 - INFO - Symbolic fit completed.
2025-07-16 22:07:01,813 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:07:11,078 - INFO - Symbolic fit completed.
2025-07-16 22:07:11,079 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:07:20,362 - INFO - Symbolic fit completed.
2025-07-16 22:07:20,364 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:07:29,711 - INFO - Symbolic fit completed.
2025-07-16 22:07:29,712 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:07:39,120 - INFO - Symbolic fit completed.
2025-07-16 22:07:39,121 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:07:48,514 - INFO - Symbolic fit completed.
2025-07-16 22:07:48,515 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:07:57,803 - INFO - Symbolic fit completed.
2025-07-16 22:07:57,803 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:08:07,147 - INFO - Symbolic fit completed.
2025-07-16 22:08:07,147 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:08:16,514 - INFO - Symbolic fit completed.
2025-07-16 22:08:16,515 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:08:25,803 - INFO - Symbolic fit completed.
2025-07-16 22:08:25,804 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:08:35,061 - INFO - Symbolic fit completed.
2025-07-16 22:08:35,062 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:08:44,456 - INFO - Symbolic fit completed.
2025-07-16 22:08:44,456 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:08:53,764 - INFO - Symbolic fit completed.
2025-07-16 22:08:53,765 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:09:03,250 - INFO - Symbolic fit completed.
2025-07-16 22:09:03,251 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:09:12,664 - INFO - Symbolic fit completed.
2025-07-16 22:09:12,665 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:09:21,885 - INFO - Symbolic fit completed.
2025-07-16 22:09:21,886 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:09:31,227 - INFO - Symbolic fit completed.
2025-07-16 22:09:31,228 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:09:40,504 - INFO - Symbolic fit completed.
2025-07-16 22:09:40,505 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:09:49,863 - INFO - Symbolic fit completed.
2025-07-16 22:09:49,864 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:09:59,302 - INFO - Symbolic fit completed.
2025-07-16 22:09:59,302 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:10:08,564 - INFO - Symbolic fit completed.
2025-07-16 22:10:08,565 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:10:17,894 - INFO - Symbolic fit completed.
2025-07-16 22:10:17,895 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:10:27,264 - INFO - Symbolic fit completed.
2025-07-16 22:10:27,265 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:10:36,613 - INFO - Symbolic fit completed.
2025-07-16 22:10:36,613 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:10:45,976 - INFO - Symbolic fit completed.
2025-07-16 22:10:45,976 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:10:55,248 - INFO - Symbolic fit completed.
2025-07-16 22:10:55,249 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:11:04,484 - INFO - Symbolic fit completed.
2025-07-16 22:11:04,485 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:11:13,764 - INFO - Symbolic fit completed.
2025-07-16 22:11:13,765 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:11:23,250 - INFO - Symbolic fit completed.
2025-07-16 22:11:23,250 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:11:32,782 - INFO - Symbolic fit completed.
2025-07-16 22:11:32,782 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:11:42,311 - INFO - Symbolic fit completed.
2025-07-16 22:11:42,312 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:11:51,885 - INFO - Symbolic fit completed.
2025-07-16 22:11:51,885 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:12:01,334 - INFO - Symbolic fit completed.
2025-07-16 22:12:01,335 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:12:10,925 - INFO - Symbolic fit completed.
2025-07-16 22:12:10,926 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:12:20,505 - INFO - Symbolic fit completed.
2025-07-16 22:12:20,505 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:12:29,863 - INFO - Symbolic fit completed.
2025-07-16 22:12:29,864 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:12:39,310 - INFO - Symbolic fit completed.
2025-07-16 22:12:39,310 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:12:48,738 - INFO - Symbolic fit completed.
2025-07-16 22:12:48,739 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:12:58,398 - INFO - Symbolic fit completed.
2025-07-16 22:12:58,398 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:13:08,010 - INFO - Symbolic fit completed.
2025-07-16 22:13:08,010 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:13:17,612 - INFO - Symbolic fit completed.
2025-07-16 22:13:17,612 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:13:27,075 - INFO - Symbolic fit completed.
2025-07-16 22:13:27,075 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:13:36,593 - INFO - Symbolic fit completed.
2025-07-16 22:13:36,594 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:13:46,306 - INFO - Symbolic fit completed.
2025-07-16 22:13:46,306 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:13:55,923 - INFO - Symbolic fit completed.
2025-07-16 22:13:55,924 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:14:05,471 - INFO - Symbolic fit completed.
2025-07-16 22:14:05,472 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:14:15,108 - INFO - Symbolic fit completed.
2025-07-16 22:14:15,110 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:14:24,635 - INFO - Symbolic fit completed.
2025-07-16 22:14:24,636 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:14:34,149 - INFO - Symbolic fit completed.
2025-07-16 22:14:34,149 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:14:43,669 - INFO - Symbolic fit completed.
2025-07-16 22:14:43,670 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:14:53,189 - INFO - Symbolic fit completed.
2025-07-16 22:14:53,189 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:15:02,657 - INFO - Symbolic fit completed.
2025-07-16 22:15:02,658 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:15:12,061 - INFO - Symbolic fit completed.
2025-07-16 22:15:12,062 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:15:21,488 - INFO - Symbolic fit completed.
2025-07-16 22:15:21,489 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:15:31,127 - INFO - Symbolic fit completed.
2025-07-16 22:15:31,127 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:15:40,511 - INFO - Symbolic fit completed.
2025-07-16 22:15:40,511 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:15:49,957 - INFO - Symbolic fit completed.
2025-07-16 22:15:49,958 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:15:59,435 - INFO - Symbolic fit completed.
2025-07-16 22:15:59,438 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:16:09,076 - INFO - Symbolic fit completed.
2025-07-16 22:16:09,076 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:16:18,650 - INFO - Symbolic fit completed.
2025-07-16 22:16:18,650 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:16:28,236 - INFO - Symbolic fit completed.
2025-07-16 22:16:28,236 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:16:37,823 - INFO - Symbolic fit completed.
2025-07-16 22:16:37,824 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:16:47,320 - INFO - Symbolic fit completed.
2025-07-16 22:16:47,321 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:16:56,815 - INFO - Symbolic fit completed.
2025-07-16 22:16:56,816 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:17:06,474 - INFO - Symbolic fit completed.
2025-07-16 22:17:06,475 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:17:15,940 - INFO - Symbolic fit completed.
2025-07-16 22:17:15,941 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:17:25,341 - INFO - Symbolic fit completed.
2025-07-16 22:17:25,342 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:17:34,736 - INFO - Symbolic fit completed.
2025-07-16 22:17:34,737 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:17:44,296 - INFO - Symbolic fit completed.
2025-07-16 22:17:44,296 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:17:53,783 - INFO - Symbolic fit completed.
2025-07-16 22:17:53,784 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:18:03,191 - INFO - Symbolic fit completed.
2025-07-16 22:18:03,192 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:18:12,695 - INFO - Symbolic fit completed.
2025-07-16 22:18:12,696 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:18:22,186 - INFO - Symbolic fit completed.
2025-07-16 22:18:22,187 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:18:31,651 - INFO - Symbolic fit completed.
2025-07-16 22:18:31,652 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:18:41,202 - INFO - Symbolic fit completed.
2025-07-16 22:18:41,203 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:18:50,703 - INFO - Symbolic fit completed.
2025-07-16 22:18:50,704 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:19:00,030 - INFO - Symbolic fit completed.
2025-07-16 22:19:00,031 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:19:09,458 - INFO - Symbolic fit completed.
2025-07-16 22:19:09,459 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:19:19,025 - INFO - Symbolic fit completed.
2025-07-16 22:19:19,025 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:19:28,588 - INFO - Symbolic fit completed.
2025-07-16 22:19:28,588 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:19:38,063 - INFO - Symbolic fit completed.
2025-07-16 22:19:38,064 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:19:47,505 - INFO - Symbolic fit completed.
2025-07-16 22:19:47,505 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:19:56,872 - INFO - Symbolic fit completed.
2025-07-16 22:19:56,873 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:20:06,319 - INFO - Symbolic fit completed.
2025-07-16 22:20:06,319 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:20:15,941 - INFO - Symbolic fit completed.
2025-07-16 22:20:15,941 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:20:25,409 - INFO - Symbolic fit completed.
2025-07-16 22:20:25,410 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:20:34,859 - INFO - Symbolic fit completed.
2025-07-16 22:20:34,860 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:20:44,301 - INFO - Symbolic fit completed.
2025-07-16 22:20:44,303 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:20:53,861 - INFO - Symbolic fit completed.
2025-07-16 22:20:53,862 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:21:03,413 - INFO - Symbolic fit completed.
2025-07-16 22:21:03,413 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:21:12,929 - INFO - Symbolic fit completed.
2025-07-16 22:21:12,930 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:21:22,458 - INFO - Symbolic fit completed.
2025-07-16 22:21:22,458 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:21:31,829 - INFO - Symbolic fit completed.
2025-07-16 22:21:31,829 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:21:41,416 - INFO - Symbolic fit completed.
2025-07-16 22:21:41,417 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:21:50,956 - INFO - Symbolic fit completed.
2025-07-16 22:21:50,957 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:22:00,335 - INFO - Symbolic fit completed.
2025-07-16 22:22:00,336 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:22:09,803 - INFO - Symbolic fit completed.
2025-07-16 22:22:09,803 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:22:19,283 - INFO - Symbolic fit completed.
2025-07-16 22:22:19,283 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:22:28,906 - INFO - Symbolic fit completed.
2025-07-16 22:22:28,907 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:22:38,537 - INFO - Symbolic fit completed.
2025-07-16 22:22:38,538 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:22:47,971 - INFO - Symbolic fit completed.
2025-07-16 22:22:47,972 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:22:57,604 - INFO - Symbolic fit completed.
2025-07-16 22:22:57,604 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:23:07,225 - INFO - Symbolic fit completed.
2025-07-16 22:23:07,225 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:23:16,698 - INFO - Symbolic fit completed.
2025-07-16 22:23:16,698 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:23:26,300 - INFO - Symbolic fit completed.
2025-07-16 22:23:26,301 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:23:35,725 - INFO - Symbolic fit completed.
2025-07-16 22:23:35,725 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:23:45,285 - INFO - Symbolic fit completed.
2025-07-16 22:23:45,286 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:23:54,702 - INFO - Symbolic fit completed.
2025-07-16 22:23:54,702 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:24:04,274 - INFO - Symbolic fit completed.
2025-07-16 22:24:04,275 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:24:13,845 - INFO - Symbolic fit completed.
2025-07-16 22:24:13,846 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:24:23,253 - INFO - Symbolic fit completed.
2025-07-16 22:24:23,253 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:24:32,759 - INFO - Symbolic fit completed.
2025-07-16 22:24:32,760 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:24:42,232 - INFO - Symbolic fit completed.
2025-07-16 22:24:42,233 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:24:51,641 - INFO - Symbolic fit completed.
2025-07-16 22:24:51,641 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:25:01,331 - INFO - Symbolic fit completed.
2025-07-16 22:25:01,332 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:25:10,734 - INFO - Symbolic fit completed.
2025-07-16 22:25:10,735 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:25:20,156 - INFO - Symbolic fit completed.
2025-07-16 22:25:20,156 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:25:29,533 - INFO - Symbolic fit completed.
2025-07-16 22:25:29,534 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:25:39,126 - INFO - Symbolic fit completed.
2025-07-16 22:25:39,126 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:25:48,650 - INFO - Symbolic fit completed.
2025-07-16 22:25:48,650 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:25:58,152 - INFO - Symbolic fit completed.
2025-07-16 22:25:58,152 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:26:07,675 - INFO - Symbolic fit completed.
2025-07-16 22:26:07,675 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:26:17,141 - INFO - Symbolic fit completed.
2025-07-16 22:26:17,142 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:26:26,616 - INFO - Symbolic fit completed.
2025-07-16 22:26:26,617 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:26:36,291 - INFO - Symbolic fit completed.
2025-07-16 22:26:36,292 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:26:45,650 - INFO - Symbolic fit completed.
2025-07-16 22:26:45,651 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:26:55,133 - INFO - Symbolic fit completed.
2025-07-16 22:26:55,134 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:27:04,541 - INFO - Symbolic fit completed.
2025-07-16 22:27:04,542 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:27:14,049 - INFO - Symbolic fit completed.
2025-07-16 22:27:14,050 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:27:23,551 - INFO - Symbolic fit completed.
2025-07-16 22:27:23,551 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:27:32,979 - INFO - Symbolic fit completed.
2025-07-16 22:27:32,980 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:27:42,455 - INFO - Symbolic fit completed.
2025-07-16 22:27:42,456 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:27:51,892 - INFO - Symbolic fit completed.
2025-07-16 22:27:51,892 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:28:01,434 - INFO - Symbolic fit completed.
2025-07-16 22:28:01,435 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:28:11,112 - INFO - Symbolic fit completed.
2025-07-16 22:28:11,113 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:28:20,534 - INFO - Symbolic fit completed.
2025-07-16 22:28:20,535 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:28:30,000 - INFO - Symbolic fit completed.
2025-07-16 22:28:30,001 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:28:39,416 - INFO - Symbolic fit completed.
2025-07-16 22:28:39,417 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:28:48,949 - INFO - Symbolic fit completed.
2025-07-16 22:28:48,950 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:28:58,523 - INFO - Symbolic fit completed.
2025-07-16 22:28:58,523 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:29:08,032 - INFO - Symbolic fit completed.
2025-07-16 22:29:08,033 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:29:17,445 - INFO - Symbolic fit completed.
2025-07-16 22:29:17,445 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:29:26,855 - INFO - Symbolic fit completed.
2025-07-16 22:29:26,856 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:29:36,324 - INFO - Symbolic fit completed.
2025-07-16 22:29:36,325 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:29:45,891 - INFO - Symbolic fit completed.
2025-07-16 22:29:45,892 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:29:55,293 - INFO - Symbolic fit completed.
2025-07-16 22:29:55,294 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:30:04,720 - INFO - Symbolic fit completed.
2025-07-16 22:30:04,721 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:30:14,113 - INFO - Symbolic fit completed.
2025-07-16 22:30:14,113 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:30:23,695 - INFO - Symbolic fit completed.
2025-07-16 22:30:23,695 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:30:33,326 - INFO - Symbolic fit completed.
2025-07-16 22:30:33,326 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:30:42,809 - INFO - Symbolic fit completed.
2025-07-16 22:30:42,810 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:30:52,326 - INFO - Symbolic fit completed.
2025-07-16 22:30:52,327 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:31:01,956 - INFO - Symbolic fit completed.
2025-07-16 22:31:01,957 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:31:11,513 - INFO - Symbolic fit completed.
2025-07-16 22:31:11,513 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:31:21,134 - INFO - Symbolic fit completed.
2025-07-16 22:31:21,134 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:31:30,455 - INFO - Symbolic fit completed.
2025-07-16 22:31:30,455 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:31:39,853 - INFO - Symbolic fit completed.
2025-07-16 22:31:39,853 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:31:49,182 - INFO - Symbolic fit completed.
2025-07-16 22:31:49,183 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:31:58,580 - INFO - Symbolic fit completed.
2025-07-16 22:31:58,580 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:32:07,868 - INFO - Symbolic fit completed.
2025-07-16 22:32:07,869 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:32:17,139 - INFO - Symbolic fit completed.
2025-07-16 22:32:17,140 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:32:26,483 - INFO - Symbolic fit completed.
2025-07-16 22:32:26,484 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:32:35,823 - INFO - Symbolic fit completed.
2025-07-16 22:32:35,823 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:32:45,137 - INFO - Symbolic fit completed.
2025-07-16 22:32:45,137 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:32:54,492 - INFO - Symbolic fit completed.
2025-07-16 22:32:54,493 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:33:03,747 - INFO - Symbolic fit completed.
2025-07-16 22:33:03,749 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:33:13,032 - INFO - Symbolic fit completed.
2025-07-16 22:33:13,033 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:33:22,237 - INFO - Symbolic fit completed.
2025-07-16 22:33:22,237 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:33:31,592 - INFO - Symbolic fit completed.
2025-07-16 22:33:31,593 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:33:40,928 - INFO - Symbolic fit completed.
2025-07-16 22:33:40,928 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:33:50,151 - INFO - Symbolic fit completed.
2025-07-16 22:33:50,152 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:33:59,467 - INFO - Symbolic fit completed.
2025-07-16 22:33:59,468 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:34:08,913 - INFO - Symbolic fit completed.
2025-07-16 22:34:08,914 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:34:18,655 - INFO - Symbolic fit completed.
2025-07-16 22:34:18,656 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:34:28,359 - INFO - Symbolic fit completed.
2025-07-16 22:34:28,360 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:34:37,828 - INFO - Symbolic fit completed.
2025-07-16 22:34:37,828 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:34:47,333 - INFO - Symbolic fit completed.
2025-07-16 22:34:47,334 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:34:56,628 - INFO - Symbolic fit completed.
2025-07-16 22:34:56,629 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:35:05,975 - INFO - Symbolic fit completed.
2025-07-16 22:35:05,976 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:35:15,386 - INFO - Symbolic fit completed.
2025-07-16 22:35:15,388 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:35:24,750 - INFO - Symbolic fit completed.
2025-07-16 22:35:24,751 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:35:34,128 - INFO - Symbolic fit completed.
2025-07-16 22:35:34,129 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:35:43,533 - INFO - Symbolic fit completed.
2025-07-16 22:35:43,533 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:35:52,890 - INFO - Symbolic fit completed.
2025-07-16 22:35:52,891 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:36:02,398 - INFO - Symbolic fit completed.
2025-07-16 22:36:02,398 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:36:11,628 - INFO - Symbolic fit completed.
2025-07-16 22:36:11,629 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:36:20,933 - INFO - Symbolic fit completed.
2025-07-16 22:36:20,934 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:36:30,203 - INFO - Symbolic fit completed.
2025-07-16 22:36:30,204 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:36:39,519 - INFO - Symbolic fit completed.
2025-07-16 22:36:39,519 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:36:48,888 - INFO - Symbolic fit completed.
2025-07-16 22:36:48,889 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:36:58,242 - INFO - Symbolic fit completed.
2025-07-16 22:36:58,243 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:37:07,642 - INFO - Symbolic fit completed.
2025-07-16 22:37:07,642 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:37:16,913 - INFO - Symbolic fit completed.
2025-07-16 22:37:16,914 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:37:26,214 - INFO - Symbolic fit completed.
2025-07-16 22:37:26,214 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:37:35,706 - INFO - Symbolic fit completed.
2025-07-16 22:37:35,706 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:37:44,924 - INFO - Symbolic fit completed.
2025-07-16 22:37:44,925 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:37:54,202 - INFO - Symbolic fit completed.
2025-07-16 22:37:54,203 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:38:03,498 - INFO - Symbolic fit completed.
2025-07-16 22:38:03,499 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:38:12,866 - INFO - Symbolic fit completed.
2025-07-16 22:38:12,867 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:38:22,342 - INFO - Symbolic fit completed.
2025-07-16 22:38:22,343 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:38:31,656 - INFO - Symbolic fit completed.
2025-07-16 22:38:31,657 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:38:40,943 - INFO - Symbolic fit completed.
2025-07-16 22:38:40,944 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:38:50,326 - INFO - Symbolic fit completed.
2025-07-16 22:38:50,327 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:38:59,644 - INFO - Symbolic fit completed.
2025-07-16 22:38:59,644 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:39:09,026 - INFO - Symbolic fit completed.
2025-07-16 22:39:09,027 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:39:18,221 - INFO - Symbolic fit completed.
2025-07-16 22:39:18,221 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:39:27,526 - INFO - Symbolic fit completed.
2025-07-16 22:39:27,527 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:39:36,836 - INFO - Symbolic fit completed.
2025-07-16 22:39:36,836 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:39:46,180 - INFO - Symbolic fit completed.
2025-07-16 22:39:46,181 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:39:55,558 - INFO - Symbolic fit completed.
2025-07-16 22:39:55,559 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:40:04,873 - INFO - Symbolic fit completed.
2025-07-16 22:40:04,873 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:40:14,137 - INFO - Symbolic fit completed.
2025-07-16 22:40:14,138 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:40:23,494 - INFO - Symbolic fit completed.
2025-07-16 22:40:23,495 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:40:32,866 - INFO - Symbolic fit completed.
2025-07-16 22:40:32,867 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:40:42,303 - INFO - Symbolic fit completed.
2025-07-16 22:40:42,303 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:40:51,638 - INFO - Symbolic fit completed.
2025-07-16 22:40:51,639 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:41:00,995 - INFO - Symbolic fit completed.
2025-07-16 22:41:00,996 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:41:10,290 - INFO - Symbolic fit completed.
2025-07-16 22:41:10,290 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:41:19,563 - INFO - Symbolic fit completed.
2025-07-16 22:41:19,564 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:41:28,928 - INFO - Symbolic fit completed.
2025-07-16 22:41:28,929 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:41:38,226 - INFO - Symbolic fit completed.
2025-07-16 22:41:38,227 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:41:47,512 - INFO - Symbolic fit completed.
2025-07-16 22:41:47,513 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:41:56,803 - INFO - Symbolic fit completed.
2025-07-16 22:41:56,804 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:42:06,183 - INFO - Symbolic fit completed.
2025-07-16 22:42:06,184 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:42:15,595 - INFO - Symbolic fit completed.
2025-07-16 22:42:15,595 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:42:24,886 - INFO - Symbolic fit completed.
2025-07-16 22:42:24,887 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:42:34,180 - INFO - Symbolic fit completed.
2025-07-16 22:42:34,181 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:42:43,459 - INFO - Symbolic fit completed.
2025-07-16 22:42:43,460 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:42:52,824 - INFO - Symbolic fit completed.
2025-07-16 22:42:52,825 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:43:02,258 - INFO - Symbolic fit completed.
2025-07-16 22:43:02,259 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:43:11,558 - INFO - Symbolic fit completed.
2025-07-16 22:43:11,558 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:43:20,834 - INFO - Symbolic fit completed.
2025-07-16 22:43:20,835 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:43:30,166 - INFO - Symbolic fit completed.
2025-07-16 22:43:30,166 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:43:39,546 - INFO - Symbolic fit completed.
2025-07-16 22:43:39,547 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:43:48,956 - INFO - Symbolic fit completed.
2025-07-16 22:43:48,956 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:43:58,243 - INFO - Symbolic fit completed.
2025-07-16 22:43:58,243 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:44:07,652 - INFO - Symbolic fit completed.
2025-07-16 22:44:07,653 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:44:16,997 - INFO - Symbolic fit completed.
2025-07-16 22:44:16,997 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:44:26,296 - INFO - Symbolic fit completed.
2025-07-16 22:44:26,297 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:44:35,698 - INFO - Symbolic fit completed.
2025-07-16 22:44:35,698 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:44:44,946 - INFO - Symbolic fit completed.
2025-07-16 22:44:44,947 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:44:54,320 - INFO - Symbolic fit completed.
2025-07-16 22:44:54,321 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:45:03,622 - INFO - Symbolic fit completed.
2025-07-16 22:45:03,623 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:45:12,946 - INFO - Symbolic fit completed.
2025-07-16 22:45:12,947 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:45:22,386 - INFO - Symbolic fit completed.
2025-07-16 22:45:22,387 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:45:31,619 - INFO - Symbolic fit completed.
2025-07-16 22:45:31,620 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:45:40,886 - INFO - Symbolic fit completed.
2025-07-16 22:45:40,887 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:45:50,128 - INFO - Symbolic fit completed.
2025-07-16 22:45:50,128 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:45:59,461 - INFO - Symbolic fit completed.
2025-07-16 22:45:59,462 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:46:08,858 - INFO - Symbolic fit completed.
2025-07-16 22:46:08,859 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:46:18,195 - INFO - Symbolic fit completed.
2025-07-16 22:46:18,196 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:46:27,527 - INFO - Symbolic fit completed.
2025-07-16 22:46:27,527 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:46:36,873 - INFO - Symbolic fit completed.
2025-07-16 22:46:36,874 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:46:46,177 - INFO - Symbolic fit completed.
2025-07-16 22:46:46,178 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:46:55,639 - INFO - Symbolic fit completed.
2025-07-16 22:46:55,639 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:47:05,137 - INFO - Symbolic fit completed.
2025-07-16 22:47:05,138 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:47:14,408 - INFO - Symbolic fit completed.
2025-07-16 22:47:14,409 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:47:23,735 - INFO - Symbolic fit completed.
2025-07-16 22:47:23,735 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:47:33,097 - INFO - Symbolic fit completed.
2025-07-16 22:47:33,099 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:47:42,463 - INFO - Symbolic fit completed.
2025-07-16 22:47:42,463 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:47:51,713 - INFO - Symbolic fit completed.
2025-07-16 22:47:51,713 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:48:01,031 - INFO - Symbolic fit completed.
2025-07-16 22:48:01,031 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:48:10,381 - INFO - Symbolic fit completed.
2025-07-16 22:48:10,382 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:48:19,706 - INFO - Symbolic fit completed.
2025-07-16 22:48:19,706 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:48:29,124 - INFO - Symbolic fit completed.
2025-07-16 22:48:29,126 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:48:38,397 - INFO - Symbolic fit completed.
2025-07-16 22:48:38,397 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:48:47,752 - INFO - Symbolic fit completed.
2025-07-16 22:48:47,752 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:48:57,013 - INFO - Symbolic fit completed.
2025-07-16 22:48:57,014 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:49:06,397 - INFO - Symbolic fit completed.
2025-07-16 22:49:06,398 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:49:15,845 - INFO - Symbolic fit completed.
2025-07-16 22:49:15,845 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:49:25,192 - INFO - Symbolic fit completed.
2025-07-16 22:49:25,193 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:49:34,531 - INFO - Symbolic fit completed.
2025-07-16 22:49:34,532 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:49:43,779 - INFO - Symbolic fit completed.
2025-07-16 22:49:43,780 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:49:53,145 - INFO - Symbolic fit completed.
2025-07-16 22:49:53,146 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:50:02,598 - INFO - Symbolic fit completed.
2025-07-16 22:50:02,599 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:50:11,907 - INFO - Symbolic fit completed.
2025-07-16 22:50:11,908 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:50:21,157 - INFO - Symbolic fit completed.
2025-07-16 22:50:21,159 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:50:30,482 - INFO - Symbolic fit completed.
2025-07-16 22:50:30,483 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:50:39,831 - INFO - Symbolic fit completed.
2025-07-16 22:50:39,832 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:50:49,172 - INFO - Symbolic fit completed.
2025-07-16 22:50:49,172 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:50:58,450 - INFO - Symbolic fit completed.
2025-07-16 22:50:58,451 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:51:07,818 - INFO - Symbolic fit completed.
2025-07-16 22:51:07,818 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:51:17,129 - INFO - Symbolic fit completed.
2025-07-16 22:51:17,129 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:51:26,426 - INFO - Symbolic fit completed.
2025-07-16 22:51:26,427 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:51:35,852 - INFO - Symbolic fit completed.
2025-07-16 22:51:35,853 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:51:45,211 - INFO - Symbolic fit completed.
2025-07-16 22:51:45,212 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:51:54,510 - INFO - Symbolic fit completed.
2025-07-16 22:51:54,510 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:52:03,822 - INFO - Symbolic fit completed.
2025-07-16 22:52:03,823 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:52:13,164 - INFO - Symbolic fit completed.
2025-07-16 22:52:13,164 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:52:22,556 - INFO - Symbolic fit completed.
2025-07-16 22:52:22,557 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:52:31,874 - INFO - Symbolic fit completed.
2025-07-16 22:52:31,874 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:52:41,245 - INFO - Symbolic fit completed.
2025-07-16 22:52:41,246 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:52:50,558 - INFO - Symbolic fit completed.
2025-07-16 22:52:50,558 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:52:59,874 - INFO - Symbolic fit completed.
2025-07-16 22:52:59,876 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:53:09,323 - INFO - Symbolic fit completed.
2025-07-16 22:53:09,323 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:53:18,521 - INFO - Symbolic fit completed.
2025-07-16 22:53:18,522 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:53:27,798 - INFO - Symbolic fit completed.
2025-07-16 22:53:27,799 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:53:37,076 - INFO - Symbolic fit completed.
2025-07-16 22:53:37,077 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:53:46,362 - INFO - Symbolic fit completed.
2025-07-16 22:53:46,363 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:53:55,677 - INFO - Symbolic fit completed.
2025-07-16 22:53:55,677 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:54:04,967 - INFO - Symbolic fit completed.
2025-07-16 22:54:04,967 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:54:14,297 - INFO - Symbolic fit completed.
2025-07-16 22:54:14,297 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:54:23,594 - INFO - Symbolic fit completed.
2025-07-16 22:54:23,594 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:54:32,937 - INFO - Symbolic fit completed.
2025-07-16 22:54:32,937 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:54:42,468 - INFO - Symbolic fit completed.
2025-07-16 22:54:42,469 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:54:51,775 - INFO - Symbolic fit completed.
2025-07-16 22:54:51,775 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:55:01,099 - INFO - Symbolic fit completed.
2025-07-16 22:55:01,100 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:55:10,389 - INFO - Symbolic fit completed.
2025-07-16 22:55:10,390 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:55:19,738 - INFO - Symbolic fit completed.
2025-07-16 22:55:19,739 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:55:29,053 - INFO - Symbolic fit completed.
2025-07-16 22:55:29,053 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:55:38,354 - INFO - Symbolic fit completed.
2025-07-16 22:55:38,354 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:55:47,681 - INFO - Symbolic fit completed.
2025-07-16 22:55:47,682 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:55:56,978 - INFO - Symbolic fit completed.
2025-07-16 22:55:56,978 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:56:06,236 - INFO - Symbolic fit completed.
2025-07-16 22:56:06,237 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:56:15,675 - INFO - Symbolic fit completed.
2025-07-16 22:56:15,676 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:56:24,987 - INFO - Symbolic fit completed.
2025-07-16 22:56:24,988 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:56:34,256 - INFO - Symbolic fit completed.
2025-07-16 22:56:34,257 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:56:43,554 - INFO - Symbolic fit completed.
2025-07-16 22:56:43,554 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:56:52,836 - INFO - Symbolic fit completed.
2025-07-16 22:56:52,836 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:57:02,212 - INFO - Symbolic fit completed.
2025-07-16 22:57:02,212 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:57:11,496 - INFO - Symbolic fit completed.
2025-07-16 22:57:11,496 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:57:20,794 - INFO - Symbolic fit completed.
2025-07-16 22:57:20,795 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:57:30,300 - INFO - Symbolic fit completed.
2025-07-16 22:57:30,300 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:57:39,844 - INFO - Symbolic fit completed.
2025-07-16 22:57:39,844 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:57:49,435 - INFO - Symbolic fit completed.
2025-07-16 22:57:49,435 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:57:58,892 - INFO - Symbolic fit completed.
2025-07-16 22:57:58,893 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:58:08,416 - INFO - Symbolic fit completed.
2025-07-16 22:58:08,417 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:58:17,828 - INFO - Symbolic fit completed.
2025-07-16 22:58:17,829 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:58:27,374 - INFO - Symbolic fit completed.
2025-07-16 22:58:27,374 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:58:36,855 - INFO - Symbolic fit completed.
2025-07-16 22:58:36,857 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:58:46,298 - INFO - Symbolic fit completed.
2025-07-16 22:58:46,298 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:58:55,759 - INFO - Symbolic fit completed.
2025-07-16 22:58:55,759 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:59:05,293 - INFO - Symbolic fit completed.
2025-07-16 22:59:05,293 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:59:14,709 - INFO - Symbolic fit completed.
2025-07-16 22:59:14,710 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:59:24,254 - INFO - Symbolic fit completed.
2025-07-16 22:59:24,254 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:59:33,742 - INFO - Symbolic fit completed.
2025-07-16 22:59:33,742 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:59:43,171 - INFO - Symbolic fit completed.
2025-07-16 22:59:43,171 - INFO - Starting symbolic fit for all constants...
2025-07-16 22:59:52,649 - INFO - Symbolic fit completed.
2025-07-16 22:59:52,650 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:00:02,159 - INFO - Symbolic fit completed.
2025-07-16 23:00:02,160 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:00:11,670 - INFO - Symbolic fit completed.
2025-07-16 23:00:11,671 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:00:21,113 - INFO - Symbolic fit completed.
2025-07-16 23:00:21,115 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:00:30,544 - INFO - Symbolic fit completed.
2025-07-16 23:00:30,545 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:00:40,070 - INFO - Symbolic fit completed.
2025-07-16 23:00:40,071 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:00:49,590 - INFO - Symbolic fit completed.
2025-07-16 23:00:49,590 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:00:59,146 - INFO - Symbolic fit completed.
2025-07-16 23:00:59,147 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:01:08,600 - INFO - Symbolic fit completed.
2025-07-16 23:01:08,601 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:01:18,031 - INFO - Symbolic fit completed.
2025-07-16 23:01:18,031 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:01:27,446 - INFO - Symbolic fit completed.
2025-07-16 23:01:27,447 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:01:36,915 - INFO - Symbolic fit completed.
2025-07-16 23:01:36,915 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:01:46,457 - INFO - Symbolic fit completed.
2025-07-16 23:01:46,458 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:01:55,918 - INFO - Symbolic fit completed.
2025-07-16 23:01:55,919 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:02:05,448 - INFO - Symbolic fit completed.
2025-07-16 23:02:05,449 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:02:14,846 - INFO - Symbolic fit completed.
2025-07-16 23:02:14,846 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:02:24,364 - INFO - Symbolic fit completed.
2025-07-16 23:02:24,365 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:02:33,833 - INFO - Symbolic fit completed.
2025-07-16 23:02:33,833 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:02:43,212 - INFO - Symbolic fit completed.
2025-07-16 23:02:43,212 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:02:52,647 - INFO - Symbolic fit completed.
2025-07-16 23:02:52,647 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:03:02,066 - INFO - Symbolic fit completed.
2025-07-16 23:03:02,068 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:03:11,526 - INFO - Symbolic fit completed.
2025-07-16 23:03:11,527 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:03:21,014 - INFO - Symbolic fit completed.
2025-07-16 23:03:21,015 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:03:30,421 - INFO - Symbolic fit completed.
2025-07-16 23:03:30,422 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:03:39,892 - INFO - Symbolic fit completed.
2025-07-16 23:03:39,892 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:03:49,373 - INFO - Symbolic fit completed.
2025-07-16 23:03:49,374 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:03:58,830 - INFO - Symbolic fit completed.
2025-07-16 23:03:58,831 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:04:08,401 - INFO - Symbolic fit completed.
2025-07-16 23:04:08,402 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:04:17,731 - INFO - Symbolic fit completed.
2025-07-16 23:04:17,732 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:04:27,152 - INFO - Symbolic fit completed.
2025-07-16 23:04:27,152 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:04:36,527 - INFO - Symbolic fit completed.
2025-07-16 23:04:36,528 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:04:45,929 - INFO - Symbolic fit completed.
2025-07-16 23:04:45,930 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:04:55,505 - INFO - Symbolic fit completed.
2025-07-16 23:04:55,506 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:05:05,033 - INFO - Symbolic fit completed.
2025-07-16 23:05:05,034 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:05:14,503 - INFO - Symbolic fit completed.
2025-07-16 23:05:14,503 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:05:23,999 - INFO - Symbolic fit completed.
2025-07-16 23:05:23,999 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:05:33,427 - INFO - Symbolic fit completed.
2025-07-16 23:05:33,428 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:05:43,023 - INFO - Symbolic fit completed.
2025-07-16 23:05:43,023 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:05:52,439 - INFO - Symbolic fit completed.
2025-07-16 23:05:52,440 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:06:01,890 - INFO - Symbolic fit completed.
2025-07-16 23:06:01,890 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:06:11,314 - INFO - Symbolic fit completed.
2025-07-16 23:06:11,315 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:06:20,781 - INFO - Symbolic fit completed.
2025-07-16 23:06:20,782 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:06:30,394 - INFO - Symbolic fit completed.
2025-07-16 23:06:30,395 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:06:39,778 - INFO - Symbolic fit completed.
2025-07-16 23:06:39,779 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:06:49,201 - INFO - Symbolic fit completed.
2025-07-16 23:06:49,202 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:06:58,726 - INFO - Symbolic fit completed.
2025-07-16 23:06:58,727 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:07:08,250 - INFO - Symbolic fit completed.
2025-07-16 23:07:08,250 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:07:17,852 - INFO - Symbolic fit completed.
2025-07-16 23:07:17,852 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:07:27,243 - INFO - Symbolic fit completed.
2025-07-16 23:07:27,243 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:07:36,660 - INFO - Symbolic fit completed.
2025-07-16 23:07:36,660 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:07:46,093 - INFO - Symbolic fit completed.
2025-07-16 23:07:46,094 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:07:55,628 - INFO - Symbolic fit completed.
2025-07-16 23:07:55,629 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:08:05,211 - INFO - Symbolic fit completed.
2025-07-16 23:08:05,211 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:08:14,612 - INFO - Symbolic fit completed.
2025-07-16 23:08:14,612 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:08:24,014 - INFO - Symbolic fit completed.
2025-07-16 23:08:24,015 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:08:33,491 - INFO - Symbolic fit completed.
2025-07-16 23:08:33,491 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:08:42,961 - INFO - Symbolic fit completed.
2025-07-16 23:08:42,961 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:08:52,596 - INFO - Symbolic fit completed.
2025-07-16 23:08:52,597 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:09:02,015 - INFO - Symbolic fit completed.
2025-07-16 23:09:02,016 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:09:11,526 - INFO - Symbolic fit completed.
2025-07-16 23:09:11,527 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:09:20,971 - INFO - Symbolic fit completed.
2025-07-16 23:09:20,972 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:09:30,467 - INFO - Symbolic fit completed.
2025-07-16 23:09:30,467 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:09:39,953 - INFO - Symbolic fit completed.
2025-07-16 23:09:39,954 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:09:49,347 - INFO - Symbolic fit completed.
2025-07-16 23:09:49,348 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:09:58,899 - INFO - Symbolic fit completed.
2025-07-16 23:09:58,899 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:10:08,456 - INFO - Symbolic fit completed.
2025-07-16 23:10:08,457 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:10:17,982 - INFO - Symbolic fit completed.
2025-07-16 23:10:17,982 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:10:27,600 - INFO - Symbolic fit completed.
2025-07-16 23:10:27,600 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:10:36,974 - INFO - Symbolic fit completed.
2025-07-16 23:10:36,975 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:10:46,388 - INFO - Symbolic fit completed.
2025-07-16 23:10:46,388 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:10:55,851 - INFO - Symbolic fit completed.
2025-07-16 23:10:55,852 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:11:05,333 - INFO - Symbolic fit completed.
2025-07-16 23:11:05,333 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:11:14,870 - INFO - Symbolic fit completed.
2025-07-16 23:11:14,870 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:11:24,308 - INFO - Symbolic fit completed.
2025-07-16 23:11:24,309 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:11:33,794 - INFO - Symbolic fit completed.
2025-07-16 23:11:33,794 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:11:43,269 - INFO - Symbolic fit completed.
2025-07-16 23:11:43,270 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:11:52,843 - INFO - Symbolic fit completed.
2025-07-16 23:11:52,843 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:12:02,365 - INFO - Symbolic fit completed.
2025-07-16 23:12:02,367 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:12:11,823 - INFO - Symbolic fit completed.
2025-07-16 23:12:11,824 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:12:21,226 - INFO - Symbolic fit completed.
2025-07-16 23:12:21,227 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:12:30,678 - INFO - Symbolic fit completed.
2025-07-16 23:12:30,679 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:12:40,257 - INFO - Symbolic fit completed.
2025-07-16 23:12:40,257 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:12:49,758 - INFO - Symbolic fit completed.
2025-07-16 23:12:49,758 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:12:59,217 - INFO - Symbolic fit completed.
2025-07-16 23:12:59,217 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:13:08,748 - INFO - Symbolic fit completed.
2025-07-16 23:13:08,748 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:13:18,216 - INFO - Symbolic fit completed.
2025-07-16 23:13:18,216 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:13:27,623 - INFO - Symbolic fit completed.
2025-07-16 23:13:27,623 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:13:37,225 - INFO - Symbolic fit completed.
2025-07-16 23:13:37,226 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:13:46,582 - INFO - Symbolic fit completed.
2025-07-16 23:13:46,583 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:13:56,048 - INFO - Symbolic fit completed.
2025-07-16 23:13:56,049 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:14:05,522 - INFO - Symbolic fit completed.
2025-07-16 23:14:05,522 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:14:14,996 - INFO - Symbolic fit completed.
2025-07-16 23:14:14,996 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:14:24,442 - INFO - Symbolic fit completed.
2025-07-16 23:14:24,443 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:14:33,814 - INFO - Symbolic fit completed.
2025-07-16 23:14:33,815 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:14:43,301 - INFO - Symbolic fit completed.
2025-07-16 23:14:43,301 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:14:52,737 - INFO - Symbolic fit completed.
2025-07-16 23:14:52,737 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:15:02,263 - INFO - Symbolic fit completed.
2025-07-16 23:15:02,263 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:15:11,886 - INFO - Symbolic fit completed.
2025-07-16 23:15:11,887 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:15:21,279 - INFO - Symbolic fit completed.
2025-07-16 23:15:21,279 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:15:30,775 - INFO - Symbolic fit completed.
2025-07-16 23:15:30,776 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:15:40,216 - INFO - Symbolic fit completed.
2025-07-16 23:15:40,217 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:15:49,753 - INFO - Symbolic fit completed.
2025-07-16 23:15:49,754 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:15:59,335 - INFO - Symbolic fit completed.
2025-07-16 23:15:59,336 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:16:08,818 - INFO - Symbolic fit completed.
2025-07-16 23:16:08,819 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:16:18,338 - INFO - Symbolic fit completed.
2025-07-16 23:16:18,338 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:16:27,864 - INFO - Symbolic fit completed.
2025-07-16 23:16:27,865 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:16:37,381 - INFO - Symbolic fit completed.
2025-07-16 23:16:37,381 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:16:46,964 - INFO - Symbolic fit completed.
2025-07-16 23:16:46,965 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:16:56,417 - INFO - Symbolic fit completed.
2025-07-16 23:16:56,418 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:17:05,863 - INFO - Symbolic fit completed.
2025-07-16 23:17:05,865 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:17:15,370 - INFO - Symbolic fit completed.
2025-07-16 23:17:15,373 - INFO - Starting symbolic fit for all constants...
2025-07-16 23:21:22,957 - INFO - Symbolic fit completed.
2025-07-16 23:21:22,968 - INFO - Saved results to symbolic_fit_results_emergent_fixed.txt
2025-07-16 23:21:22,968 - INFO - Total runtime: 5565.01 seconds
2025-07-17 03:52:01,587 - WARNING - No artists with labels found to put in legend.  Note that artists whose label start with an underscore are ignored when legend() is called with no argument.
2025-07-17 03:52:16,762 - WARNING - No artists with labels found to put in legend.  Note that artists whose label start with an underscore are ignored when legend() is called with no argument.
