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\\ ]% Special_Function_Bounds:threads=2elapsed=41.530cpu=65.448gc=1.532factor=1.587zXZִF! ]ŗXf1-/6vR[]>hHҔB^Y1=;N~9-ټƨɄW.=(Z x <.gx!D1D} : Jk|C$WɺY([:ia7e^l~R@r5G&T[p He-b(C7`tIZD;7凨(xoFV䚽F΃si14[tJY5SJtPҥTg!y|WBQY$:}Q›l'Z_o'gOB[~&> ? بHxFz 'qoҬ$- zA؆)]'l騅נ j"~+{8Ä$3t RPFhE:Zq;?`!l0^-{Vlq'WxP7#N~+y7AKuyx?ZZ׉liP.Ʀ\46jxpAxoriX miAE8=BxQmֽq`=8'xWaE>=:# Ʋ D}SN\7P֒cFoUNlt8WxrVXHQ7JgYZ7zXZִF! ]ŗXiɟ?հhqzD\4\y6V -Ǻ>w\9nWϼ=7ĹG4Y" 3U^VcLtdX2 ~K\p1kM;kqgXhO{SʗBい~|P}h= gYZ7zXZִF!  ]ŗXi%;D7Q$XT{o(;Դˆc  `PVX4W3W:ryτo0fˊD!dx0[aX7%jTDyde!O]ߑ=mm> l+,_ҼZN 3f yϡw:rj ىFra;„k)kMJ'Iݖº'NX/[sJme;e2ypy\&`nH]+h|9/ UVn h_pUF}5wp*Yl;{йWJ~һ Hn}o@cc^.NsE?v)"aN3fpK){Bj2i"ȄhAY*lI6:EPV7̵уM~}:IVmGJ->&fҍi{·\ˤ=w8σ-@zxltĬ'GI-y'ι9쟶b&S5L7Վe/]`yv=D` *ݦco,ڰVS* ;R~5jEsn|~WVJ M; /=h pc%ir*zV~fQ53bF5c}ڃ@/ Q78Q J۞8B v^}Bjq?}y=F9[#sͫutG7$Xƹw)"al)1uwQR3زl*[V3yp5 aFN|V+Hst +{5Qsn5C×~[v>'E+@Yn%6 wob>kҤFuE9Htj Iꧯv- E1Z>6N/M 3J1}͙LJܥ7lp 2gmK]0'PjߡgleOio@tE$%3l@16sIVZYͯLk mP!cs qqV^xp!T*QVm;\Yƺav{)`QьzxVm.E"=Cs8i~)1Iܵigi-4Gmxymm0GYŠl4ٚ{u4+u[D92i1: @*+h ߹7Iv=,mR TZV'~ ^ ]:!U|Šax܏6TU޸V[lx":=Ld|A!wZ ﺔ1[&0 1 yM٘6ӧ\ ȉ l~C7vmr`!)ق%G;Y+S{BZyQͯ9JǺ*~#J|dYhmsSmM12I+;"]a*1 u@3dzAe{)1i>:SR^uv&#YhmUktYd(0jh M`غzf#QYŁ@v?4e,My- #}FX<\۞"R G9pp'6VR5ȁaD1 6P+Kpanު[֒#)e`BJdb}@yhBGAP^[-$ 2o+ȟ4ِqZDQˠOJ9Eon@Ϗ1ZJ[.Sj9lV-xU;)6ƅVѥ%ME.St4f$-D{zd _=!&sr\Z9B 6W}M8;K9 ii{c@` ڣ-voH.t\4>HY_H&dյ mY 0 oˬuU''m q 9%.řTzV'jp^ըӝ`fu!;}q4Th?Er:D]yy rlڙX]z*+ў(ȣt]