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  < l ] pGCL:threads=2elapsed=35.540cpu=68.620gc=2.056factor=1.937zXZִF! w]ŗXf1-/6vR]uC)Y5aX%u TаZ ǐ"k<';!b۝ }j$:XT_g(yAq~&3LWm-$=SFwA!TvŒYgN|g< ezu Y Ԉޓ|1k/kRVg3rZק9K?NYVȁtņέSQj0ZWp@am__MD:2fu ~eSՐ z"\bbd ѻ$u0w^b`  pGCL   r<!hq}]OFƼ9d: Pmau%%j8DkwfekI\%(f ~݌m3{PU O? [Ln= ju/ vQDΧ7J]=!ȗbO0O4nNam_]MuPFlXI\1UfDfVv4&6zns`%f|=@ ՙ\aLzvm1$:]HX8,-_+1p܇FQXb.mB} 3HK3iX*)|_</ ; Yr;sҚ۟\nAlD  h~[@ݝn8!.C' f. =|nrʀH.LQNb騄x%~Ȥ̏KRXofjlk#Tzg\ɭ *eig)7V؉=k>>r+ض#d@sCm-vV=j5حhNWMs)0&OhW H0v@M?[y.̣  4ϱ>4±gYZ7zXZִF! L}]ŗXiɟ: e=o݆$:bmw1Q)wG%]ӻQ}lS3dB2 -2ۤ?3 Xl@[OY۠-ѵmW#5_R0GŊ=5Nv9L$da)3a-5HĄ }/#cKqĿܲWKňN6sv0%/mߓ0 spĖG&.]1'ö;rMt^%[Ϟ (P7%%65}EEs$=.F(-ct<+cBN\Z<D@"8Jbkrm+Op4heү4n1C}D\OIDC ƅ?:IWtȓiE>WXlD`:}t [4_rA*/oKċ >"V@OJX@Gz@qfSu9H~ [k8BlT54%:?8c^cDƯ<~J}輤06~KG{w{_j :P#wuzޝ i(O=su{e%MWַw5a͒zϞY}*( -R 1`me>^`TaFbpi M9( nG/豦 QH!iX{cmhgO> hq]CLΧK S $ .hDߟC\}A5:Py] VB"Yp046f\)k(Q Pd Ju0FBG5'VQIp';f̈SdɄ-dxݬjME].Ťr$+!  eKN9>Ղlz~{p'eC3Yʮ["`KF@jP__Į]Nb r)/3T]>0&G4)\:,uzB=u,-/!%ص%Iӿ:V|XDO}}E&p0(xW@?eYT bș 6μD :;#㇋ y;͌Q5;3AAZ(}3]Lo$6JLnzF ID~8 ")P*ME~_u>9'MwMS7`4a參=>VƞBo5T( .ʹv$Uϗ~16 J4'N]忮cQol{=I.ogrTfQͿcm~dd`Z˿this4nO]tY+2'.`frޭM*tJAA҈#4Soa.ߠh͉r\ j,mj+Q;gUi짥n.fBED`.¬W tCtb 6th;?q!;cIGx@]~uݚ=wa`4u" Cg+?QZ`fDrP?Tz3(P LrBM;^CkI}$רh . =`eX1mHQpZuXt+Ƃe:pc_A0oF,74mE)!2?8ˁb[{t縰gKcב'@[+"|E%pްpCŦ-ff惈O&TPz&/(QmIML_z!:z>pPX/6peä*r@nG'o֯@فQU?g³SwIT^$#9Y +6H#*dB :Uqj._qzu@'3|\3pxmYJW#l_VtYGPArMSmǠ*_B´ ^$0`ږgYZ71b2a8ecb0f5b2df3cda915135eeabbc57c808d5665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 84e9ff1afaa7247afbeef9eb4b335fea17548a6c