SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 7E td ]I]Pre_Polynomial_Factorization:threads=2elapsed=24.643cpu=47.204gc=2.272factor=1.927zXZִF! ]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,SAac?UQopD=.)/w>V@%azŌsO#K0LvC"4'Hv9D?=W3\B~VؓȄ62J$flD$"xB9bbc@y ? w0,vi۪/]i=m_jJ{|#݈SV7c$rp$A-S?{YcvHnLa_AjI2qjzn;/o?UlWwrX:٢SqeGRe)&>յ“RLJƯMt!M+cvfOE!9՗Ugl[~ *UgYd?#UIOzh'g4B{m^+]ށĂ-nqHL~~$ Ӊ1\#L<2\,\Oj#0Yڕ $yPm-R9ƅV2BdXŘ+NWxgYZ7zXZִF! |]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g AM4:omuOB°<SFc䡝XU=k4d^ŅR<U(l,|6lo?I8BI!mpμ߰<ȉD7=a{ũ?k-W-f!@ u1~|=Ꝁ{-.A“\5W~q8WAQL￝謧SV4kMWJaY.DpBgHEM3ܖ %y^-p$4pg{O26xҽO!E lu~IBO̸4..Ůne;7CL'<BPH?" o{gYZ7zXZִF! qk]ŗXi%;^d7q&i58m*'0g/z;Ä%&ڥU "!60 Uu`_)Q .P]k12.U\,$\C*tWZ zck̒7rGklGͧ${= X9y B&=M( y2@ЊOi%L_H[CGQVt) ZMSdwmuAΧ4!c+ f#=FϮǐX.ܙXE9+†uh׳'Z2\r6إ!ŏהXS3(ru1P]F?qn@uBQHJ\w$S,K0rZK[g|<~HiHmm% w@BP&^sPq b2DR>]j2S)~Z9c0?сa?Ca֜3z3$\0L ޫwsn,R/(FaCFsJE>ӭL'ӋfqUZ+h^d#WU/iuEDb^_`Y˳@RAXfϋїލ@Jeج'Oqs1c9|@slB D 2EIQ03 3i)[U{T:Xn%7Yn#.e*{i+Cc|:hRGߜL@\bl_iDkP~8Fgڏ'T0aNN׋zx7||}\qi.FTʲ$aէ"9dU5ώA,MFγ9 L'Uʃ9pE5;^ \%$oJ_9 ~]2i8^Mj;nPlԄF u-} xL]2Uo^DdahuQoJ9Ut f gYZc713ad8b924d94f15a83a02456cc4c6ba57ef3cf79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04 d60d9d5b06dcc91155fc420476e9f83938af9887 33884b86fc33b20e5d96bb9e9ee0593a5dabac87 4c4e44922ea5cfc1c828f37fe93e554b46181384 464e3b6b6b5da879c0d1f44329ed6fbf1674d01ce6c7623c9f2b21abf348657018448aaaa0414fa2 E Pre_Polynomial_Factorization