SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 001E TT !%]Pre_Polynomial_Factorization:threads=2elapsed=26.870cpu=54.308gc=1.980factor=2.027zXZִF! ]ŗXf1-/6vR[2\> YC.^u?OA~hO]>Л:KhNa0F4mG \lzk'ZdnW­9A2@E4ѡxScoY&/ɖbfHҹB+N^qqd 6O ]V]y0,RXCe#)so2n:T6x' ]i<_S/_s[&됦ցƨ\|$Whh4ć~C E Pre_Polynomial_Factorization&wgnJφ웣ei,P8y=fJ$ղ1ljVSˌRM̂na8[~k[qB{Ն׹k эI Nj9.UˁZWG%<))-ۯN+XuORa^ }2akK"6-N|<~?"D ܈Q&'B/q@ss7:8]J2eVN"KIvިD믝`-7Y®MG/ӱCj7cSM]d~Zj4i_2G·ʟlb`4.Qeڜq;rmwwRF@2ބ'|ӏ҄(/re9/ĜݳZ], LhL. TWPOa/*YGwZv2-ag鳇N`όC[{1U zsw%YgVn37 Ũj_ma;X+*[̶ZɟဓS ;u1P&LJeD71 CFu?,˅)p~?"3_c͚\=md@M`h8?eRWyOѱjegc(,#^J< A0>Q@SrRArlt}𥩸#ӯ98bAz!a (k_7:=sbB$ۂ{2=sWrCsVhW"zT <+TfREoJ(VB\녢aHȞ\y~oMM^Q%c(e:ʻ=qP2 Se8x3 PZn8 ioVT Jn ĜeV~l = 0Й$18 ݤŽzN/9-LtIw/(. bcQqWQkZ[GfOX1th+*B3 Ӽv*i8wu$ْ;Tr^2->Q _,skNſQG'YW+M Jhm̮I pL %m۶V 43o*{&Nf+,~?~W-Ƶ ͆.f> 9C,UJ4 RzrŷBH.4д:x0ֿtkkf2.\xW3`_TQ락Oj$x=M;qf2䃨[Za{*C_<BgjKt0>3w'XIU #iSMjǐp`j;~:/vL܇61{) 7&Z^(WKFUzAFvbkf.H%Oi!<{W鈿Z-3u_NL=Q7F)8Pt#V -ֺpΦ?Ϙx^?nwN[^\JwhӚ`)^Hs. ˾ h[,:*y`0u{pywuoYËU-iRA cZb^O"bB _#aoNnn2{^컹z!iDܬL=-de9(]I_'!֡NqOa#~֫  ՜Hz#-٠Y#Uur*7ޫqplWAw~խM%6bw_#]uHvQ; khhhNլqOJL@ 2QP-SV08l&w3{_;Y((>x~BHϠl-lyoN[Oh@daRbb8RK̯[Kт]875ŻG gvߋ8`7t02F$,cm;` I nxkAsQ$u$QZx9Tm)J'Q9XeiƌoAn5V85FF:=DJu)MLCl1çiAr1n^\wʋ%/KJ@ *rx0:xb#5()y:xgfJyU!<)a%5K")_>o5R_]ydT ݷ@1$xkSX8 Nu3NgXS8aKna7йr"R,;y=ζד>rQC)Z'NPoUhJ&MfQW!n".>͝6lq+n]w-aԇGڗ^WS ̋P0']KnOEC?;_6k'$)<yl"cA#]s1|C`idT@I6Qg0a&Xߙ1zw|Sb\VeKj2ϳXI9 gvc^?O"œ\} (ҐG!K]!wy<6![.J; EgYZ7zXZִF! |"]ŗXi%DQϜgyOK<Fk^ZG479<qqhY{\@?*E.L9Ep\_T1MXqԍu O0gM _hJރ޻[u „ 2 Lw>浆rzFj I(@aUї.ŇݔQɧi5m1+Hve\Pzg4XcOQb2y<=ud[j 9_ݚ|ǴUc1v|Uf ÉJXի|0ΫŦ\CEղT_eanLZwАOFWzTj!AGе'\y@h Б|'O?v|RVAtB]됯iQ|vN9 U x | VE/f;*.qDde9v>IO;[7|Z=XXC$CHɬ}eIif+Ws;~j\Ŏ1I$m^ԌV"05"`l)pteYtјww_!D{352gRg8,B1sh* hca|ߍk<)Z7_0¡#iVnlSPj%rVeʳǞxI]42$%+.uB\JȽ$w}jZ"˪aO4v84cCN.I!6yPM/՟wGXvzĒ>@ComϴzE=?~5(^4"/i nuM{ok5+/540<8糕׭L8̿rm{Ŋ!C.atC5%9ԿokO bYY[1+T *6"(3[UYL/1! N/6]|@H2rz]÷ZE >bW{frs 7+y ~P/?}S- zBx2HC@::!7n{& _Sfѡ!׊$?%YWNU-eP۟ '=a=jzBKWR#^="Z s+^>v`Ly&B՟4i:O~uvb ] % )gYZ0e92bfb40c58ec80ac022b0282cf2ed21656ca51 11dfd8947e6a414f9ca75cb3a3ca493c6101dade 12ec7cff11983f7c7a7fbe6a056e7906b10e0c47 149291b6752ff4ef73b3ab42651f2143f8a66755 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 30bb572f70dbc9e84164316c4e3bbe24d4073853 5c40fa8259059f4cdea292a4f13c6d2ebd3ee91d 5c57cb94f124fde23cc428d02c89099265ca2aea 5c5e1236472315944402fb10792f7bcf14f7e7d8 8d31800ff14de35d275f6635e9c6d24becf4c94e 9eed8fc1f6c54686843ffb969de40b88bede13a3 9f9c809496c43e458557929e05501a0e473845af a4270798ad44a0465a9d9638f535830d7f5331de abbbf0b5c7ff3eff325dbb040fc790b771a30e90 afae7ef8fdfade262ed0d0a2034c6c5354fe76ea be3f57299b27044d9a95701a925c40d17b38a3d9 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c dd60e39f2dd4a5069421c64b7763cd217c446055 f9981decc4f3e052d9bdcd615e83cee4a6c1386b7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 bcb2c163557370fc3c262b426278daa35f969e98 b22e4c2901a024517ac440e4fa6dd75c666e05a9 d0ac89accd1212404966abd2f815523230df7cd2387e6ee9b0ab6cb9a2a19122a17912e4e7527f4c