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  (= $,t ] Polynomial_Factorization:threads=2elapsed=47.814cpu=78.896gc=3.064factor=1.657zXZִF! * ]ŗXf1-/6vR[2ө=%Bl=E^X<rm%WqG$HS+l˧5\TaJ!pjT`s*Le{| (YGYyu^#@=NGׄJ ͳ/Є6wv2~vP|H;,bKzqЈ = Polynomial_Factorization Nl{uI{nCU^EO&"t_4f)]O K8ׄ ZDq7l&D *Vo~%K<P>/_ɜ\A؝3fc~T4g<-o%4]~`VKD d0Lі]Vc2{E+w( U "cB =UOf݆,#9ъWyjqTH-B`dO n&kIa E6m 5YŖh-[78KG8qzևX>o059]vEZr u X9\^UƱgYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|N7)[sl$M`(ݏ|v݀Q_zc$ zPey&I<X? q@?CnQ󶯷ԣt.fZܮܵv' DVi9SjVXcPgYc@v5@qzv"H<50'MTB@@%Y:Ÿr3"o?W8>0ڰ- $cJ8ߎ ryMfgk}ga/|G{a$233-C0T''eQuJ~;(}R1x#.w5L? M4 ol?C\ OUǞsWƹ=qc;8)C3ԪNߵl5 RgYZ7zXZִF! + ]ŗXi%;isEڨ0:{ _^Ϧ$%M"m@6t$  =ƓE6=Z G Čts}K-}{ F15j1v"PC;;-Y0@" $TeWNa=Z/wI}t~ I";T%"$!:-n<湒#`TהR$& 8F XQRZGhl䕷B{k! 햏i.#GWILm6dEtZÛɍjn(CX#0QIRˍ}a%D3K'=?{IIt0 o =W89,jmG@u%tJᾁI.¼^OJ#[zL'b >wos}Ls3?]A/gfH&<b8v\uO%D(1=M;Vrhd^Ѫ-8 {3ˣ̔@ O*+ӝ1yrh!,k陿{|lT9A>-e|$\]se $-'B R AZG>ZXH$v̤F4WU$?p&=\lYҵ_&bTzm}Y!^kي̦sGfX@9*latVcڐi|G4<6ka\x=AOyRh"eXHZJ1+7f\Ss-Y\KE TU{Q/z8HM~40Y ٦Kp%zq<(l2ᮐ ky-K1<>=b>r\źQU+3>`(Xѐˀ?j>Y57k4_cf[S߱, eg2T{rK e*'{MMA7\Tc3T &d5hfiWbDNz@{We-&^xG@}? }E%ײ}WW8Ӥ / (;[Ke;3 ~y6-W_S{l{|+eU YԢ$w0QP{uCĩax3x [, ='Wm!(e ͊ [*%JŸ^ݻ O ŘR z1-IkB K9tQ檨36<7 Wp]c(;G4ڏz]"P7bdXO8:]2lĒ>u%:p$aPc,a(>,=u9P ntIü˖Ù3ʫ8m^̰+cuz21;N>Z"n`Nt> )*Nc"D96w6Ddѳ0nG<Ȑd_5\=75z/̉ǞSߡ1oխ3Q=7i-L_#HGd \-icIcnYl>lo>2ӪB6z :ҵ.N}<5F6gѴGaxOF/ֶq`c==Zo*"DqD;NjJ!w'Noedݙf/{Nح]0}-_E~SB(aCPPAFͩKz|,ApZF`vRXd(7:M˛@O!YV1hT}4*$e~PAL{bĨ±d}dU,.UT5+[|^⮆HޏϞ5KU ߂1 =7q{?WZi8/ |tZKK[{4B2V1lY&Vgigfw۫K{Ng{w'JiF+MW+&[9]! w^ ַgS9P@T$=/U|s;-EԆm[WRs})JEyFt[>>ԎuePU*GAA<SYC[,dGU+ɟt:X0^W8aD oL 5!|١>O-~vKH砐Rk=1F2-`ASL2`hHe NMm! ibkҬ0,_+]d;x^;jgCQ `:iG̐ڞ,zUBT[8<` Lg"Gi .rm:յ=ԕحxߖx>E!#hkf?Q*T6.!y'ΚX->ݝ3}kQ\2hAc O:&PпX^NHYY9_ $; FoX5_u, }Wt} 7Ns A<p;.@ׯmkV?mRqrE92;<Vg#⸩?u*!E+J9NYD7T]X aoNT&.tJm?+ᾂh?ȬvgYZa50932b108b2150a565f0a0815feafab0173781f273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c476bdebca2f60c33824d5374c70fabe6f4ba221 50a806e8d89fb16262a8cafc0254e03764090dd5 70ec1ccb2a7157010a02b5e042066e560a6878ce 8f7ba74c6a1db99ff23aab828c8eaa9e0494d00c 623e2c91af4778d04003ddce50477c7fbf0c8dad 57e97faf37681e2f11dad987a7ae20063563e7e7