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  E E0= D,d ] Polynomial_Factorization:threads=2elapsed=51.648cpu=82.336gc=3.060factor=1.597zXZִF! +=]ŗXf1-/6vR[2ө=%Bl=E^X<rm%WqG$HS+l˧5\TaJ!pj:oE C/z-,?JD8P4 )8mp @ɡAJnGƪ淼+RNd76A1_!ۏ8B3SuR/m)/O@JIbaR [CEӃs  m Z X{cuQ4H =765 w{q7H 8uX|RyҢ*3[KݳXL}!Hsm! P$"gq k6&j N@+^`CWo!\j-ͣx94'dEt5Kx@ᚢ{1 "D$FYqG&w1N]rSSE^{.FmވĺϦ4RiG3ec +2m]\LEX%.1gu|+ez~tx'}GO͗;g*H|Srz;aE7b^&r>i:̫D ݖxH1 w5/5kU8UG֡Zgm&&^3&Px)+6:Tk˹7p3R, a3L/BtdZQ $8ZII?o -! =V]b2aBe4J-Mj|iV*gYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|N7)[sl$M`(ݍnlja'F#&wSe9V`&q!?P*$~+檷,=T*p֌XW6]mY[Q=0WTP $ l1\4;?< &RZ4pv[l3 IHDa eN\v޸pFiK]2 g fFf/#Fxԟ^Q;gރbZ%z }Z j4dzڰ ް(pF)1ܪCWl4]/B o[ec1!%i3t덞"Ed7NZ;ogibWcq-4BF#p7E~O_)Nʷ@96GqTŸو 5EkT|' jC^ VY1d$s ilu;C 9@vMEb@ە QLTlv$8m064[RR֮':׿j\w:I>+]5~0=riD*-Yf8$/-N渽hdDn@OL2N3q.Ut`qWsˮ ÿ@BmУLC&*")HZsԕߌ;kh-Q3z/†*K)hxc|N> D٩yҵB4".p~hf[o++!+dZb?(z6HF`TKxF, B^SfPYuEVqòth !qT'!8$-nwIn|&_l&һ %ƨ8`P Mp68B°n7\/ kpc2(rC. T*li}T.=\"jl݅(N0)eꉺ< cF&o[PХ"¤ē8  8Fk?2i"?@clfetw|6dds BmOF8e^SpXKӆme1Ӑ5{J9]E LvfLywT*!ҷQ'b6d7Qj`똹q BWʡX;FRjkyV- 5:*ztVtDAbq$?[1شkfrbx+ftpbC`v'6A+d5䷭_̕2IuRz*~J%>hsNzĸ=&!"Ѽ.<|L9?JgO qĖfTL#UC_T+.a^o4:Ϧ""?൴~`eoPҤ"-e l'P[b!e<܉`Fzc"51Mm_SnSJzăt36LCuȓLCAR_y=ԯ׾9V-d+aiV F0x]'XP"mI2φ,LYxџ1!A |*^pjCDe0Mjl)tԪi>h)&UA|4q:B6]96J>.Q(xv^n2>I<0<`3+&VX8Q4ʸޖ+̹T6nǂ#<=CE{MɆ " Cv߆7v(UDSXع\ٵj0"n9Ԣ Y1`aK&0uEEcMzRт*䃷Fحt :Q5FS"Nc F8t 8fP'qyd;z}F;W2:[/1i*@ "ŌCUfBo޻Jv~cSIK6yGa;2ֵ3}ه5aӤ5DIbpȓˑ}dbpO7g O&UQ /(GzQJ_B [HXP'J"Ku0~ *,.&),}\BkUl Cڞe)b#jqJvuǂ"RC痜ijuu?nsFC/@ qiI-'Uww L\Ѽ]  D1\Zf!B2 P-X۷eE?a9OnlCEǴ)WAQ}x~v D0 W xhIZȀ_d,f颀xiPO߷eU-g)"koԋ,8LDd|j[kdYxJCPI`}]g스SAp ͵oWIPCtFeAԬ# x+XFOA( ,~x5"b)Q;|u1@8 S"zߣ'md*A‹>gYZde0a0aade421f4884d1f84c83e5f121321b3f73079d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef 8e20ce849646d33245e5b8e0a39681f1fa96c617 049e3f297970e19a2899b66fcc4d730c439cc23c 14bb9e5b85043fa2f03a48cb85e2c99023444615 14d29310339ac05a7f7de2d4f91fe4d91dd8e346 8f71db52e1f5e0d11c262bca0886eb35a6c52101 37fb846b1b9bd2faf9f87a54c931f9d2557b3fb7