SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  <$< ]S Lp:threads=4elapsed=28.483cpu=91.812gc=1.496factor=3.227zXZִF! .Q]ŗXf[&X'y`T=+ˡ-(uAVw4uC4EA tsvme]0Pc@h?w)[1kGٗA*H8HO;eKbs< &)ʬyAK uЫ>L[t#xKfZU}X$O" v <"&>, ː~R<&|KDw@̳W$ a m=o.u`!%,:bnf F l(-d%imJ)|]s xHhn<RW`-kcS Rv&c?Ћz<:#  Lp  2fP9(I'o3h@/_lét#{G׸@)餪g~zߕC,{b;,1t NAW;iG/U9t]+Ockd)!`^VbHZdLסg$n'4u"`p+=$C ArT :Ðˡg٭TYBTG# ,N.E`su0v0|g^&<)f^w,U'r%0l~I{rB-c&d%dk:;[-hBn5^U|$Ҽ_4Ez^갭'{+CöjͪEsw^!Ȯh1=G:[1|JFAo ;b㔼yP ܫa̲fW7l/ j4nx:YAe\WZ55<œhq 2Ԧ`LoC%F6auhM쮸C|.٬ 7q:2dB.D,9pLOފIvUXi1D#upեJehaBGpsiԴo!ȉ4N$AVOW7ԶȵD!k,rҟ_Adk"{s>_T+"I[,wnsr+ü[v[[,db\7ӜxZ[h}\i}+xQϤt|L&~@bjfSMݻX:~7V!E2.u)y{:~wnݳgbU A{Nsz[Yr3 \eKgYZ7zXZִF! ]ŗXiɟ7 +W*2TG= WbzAYLh 7q↏d?? Vޓ|S>Y׬MߨFQ\IU䴨(dEV˼x X0T@ASp :fgYZ7zXZִF! 2 V]ŗXi%@b^~Z,gL;JCj0ے``2FS+F{Ћ;PL}w$5\ ᑍCg ^QE%\cd>1TE X"Plm%3egIfT{]n:wO4&i]Jd-ԨJX !!;R]{aAD uDy',}F\Xׂd"5OORR* .9憐(%8>l?3'52 DC^}郣 t]o }.1.)5aguM|Fpc1«D%-Z[o)@ (F1E?%b [ݤ{0y͉ C#M}j|vŻilr~$txa*o%?O(h=0 M(WНuR[G]X`LiCTKiUx+O+~sė$-;@.4k;=WED?.wq#=g$2?HN>àl1X7=j6gM,s턾0IeDquS[)J[%[pb$`WZlxoU190o42! .l~? BnH?6eֹH>;yƳ, AU(Z7?`g~#:j=&,Eq!H KxK&5WSZL H0E /#|;2zԆیT=; _PKP&gg `u7C;ՠ(|c&lŁuTi26gp o*(8X ,MT~F${qB4z!MH8b ͺyK#Ht5TEZ.M=-0LUŻEr,l0WW),J7!m\}H]nYWIPTbFFl˦0jR ~5} #^)OX7'9/i9 JtY氷pk<\hvkQ- RRK >XgF:". p5 '}=^Fa$Z p <5{ZƃtQ5D=e"`VځI[TgfXgh OլҀHkUd?=[fM(x 2hb|+Y agL=[_g 1m).0EM PšF 2\Gc5'0z sap3!hӊ`Vb5+ ϕ{&F';|?O@г?QeF`/ "ؕ(3Á_tjr'q c-z^3a%)zk<[lCz7Jw;⨞DGߞ s^Ԟ" ,] hi1Q"lQ1* qč{\gv ]WB~ I{aׅ~7$2X %OvO5cȇ t>++q~ H?P@)ch3RPaQ(Cj|ٞhq7DᇧQ)ޒt8nO."xC#s~\k6I'(9]YV²"~JC ڹ38d-kx]odS_*&,7יb_Q[qD0D %MuW=偲dT%c ).j̩>̏΄)r8!2"QS"T?QS<#ml[jUO3(!:nS63s x|3dA.I+" LR,9 3EmbO OvbVZ7, }s#7rk6 &Ϧpӏ=9%% 0Ry7FX{ʍ/ 9#<5CQ:X`` ^K,noTОbU5@N4>r;әǓxYV.Wvƒ0U+csRFa~1@p՘ T(ѝυ.Gx*gYZ6a5eeb57bf60abf980a5cce203826100e16f48a931f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5 084dd84dd5b6b00e22e43a181a74fc2ea6a92b25 ac2da441af521e4f40180e03005fe3e5850fed26