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 NN/E $TT ]I]Pre_Polynomial_Factorization:threads=2elapsed=28.896cpu=55.308gc=2.800factor=1.917zXZִF! PK]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,SAac?U(/:oUTxR f>.6+Z}to2~N, F \gtAJ./p"7>&֡cׄukJ1O$$3Ef#,ct|0++кjNƹyE4Bv1'hb4BI`2$cot!i/|;];J;"Z$CXRaY\L\Y[PG N+*YazMӆm':D=)Fkv-z! +R3rX9xl-յY+Ю\;f @З~g AeGѲ:Y#S>,yGf:Z[1^u2F^J$f^sKRHD4-_iQ%|B(T>b7+^y|[2ej#q5c9yJ+m0[ԊXJԖ859KG 9@FCr -Zt2:h-!E(b L;~U;gGl\.Ɋ߯ +);cuD $nЎS M+4]ʗs3HoVKZLm8V= m_gYZ7zXZִF! !]ŗXi%6Sr֮{?M5|NA+fA g=zŬi+f-),)Fu>K(x2TZrV W#ʬe/J؟d{{ v2"3$)IRNNdnATO24aS i42 򯮶()asmA5\2mV $y ܤa+!͐I )5.?CÊOw"0  {\1fKݜEANcZI4TP"Mt܏'+:Fg0]Z}PTLv^덝9b4{M{\ItIݔ}jjfֲ?aؖ2 /.L~.(bРx * jt|õye09q)C"V| ~Hχp8ו`r\/q 8BDu "S][)C[ǂ)b7u 9)J]Zu(s`!,P |mFgow~.6WS5ώÊE_J ݉a#18FF}'t~{(obPz!"ƿh%Ϲ a.KDQ fJ|DVKEN=>$Ԓv?[V6xe@8GzR%WIFH$j8O @2pw|3~ȡAT"_$@u,".;~Khh zf[], Ggp}2Ü"2R#VjQ9r)ɴq"#yTUخ:U2KC~ J`h5^/f_oPf3%;V_·97УhG a^nqOƱ#杍.k{SZlAH|.:yI \$>zنk#L+ ۶:x1>8یIT[G F8-Zq{5*˱9 ^2ij&P:@(22LT_Yuju\*1=D6>WH·@ G[P?oSs8^Vy4tû^1:|lnXX'AUԨ;$5٥OĚ][=FbeTZڣFZ ʸT;Ϻ=f2