SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 99D+ \4l ]/ Strong_Security:threads=4elapsed=9.079cpu=29.412gc=0.880factor=3.247zXZִF! *]ŗXf[&R h V c?D:G=Cng Eg]xlf4NؓK].EO0 Syz8aL]7hOH JnxZ1FH1ԵFArIA'g_,\d6Khy 2z  \6J7;p+28Kb \-A'Y +T'^2ۭ7+'[UBH^L3Z7l=rh՝sHC^9f[Hc"`楥%g-d1#YҮyNJP],vQ'bY@NTDh.Mαf=ܮ ^7Uq7MzLߺnI4' d~㹓 .. ![5?r.SkHl א\&A0GHA2öZw T*Nw{ЦHݴjLgEuH4T(0gYZ7zXZִF! ]ŗXiɟWڱIY\u-Iv*#qn#Ϣ4%29 vfmWB5OV>@4T(_h)*;GR9 g~OHe{SR^k@` 6\ksś1b(hQ$^}2 WH^8, ۆ5!Zct YxG)J]ȎRݽa6; >~y;c L妋.-#lsbYgYZ7zXZִF! Ho]ŗXi%B 3`%AR 5N5V#1D YǦִT_:Zu)^"A `gr@kBڊ TFܯx?bgj)'  5}N y+zxz dpy-2l2"5:mޘ0p/:٣b}mA‘6/wɦ`Y 0ڝJusyp .4C<ܲhȄMxax? EL"|SV[5;̨0Tq #*"⇎IK {W]ŪÞ!Xm/٣ΥP ;#buOaʮ~и­$[T4'\@γiBFc2WC]V^R YO(B>1O"|am6BEF db 7Y0SzyhfuU |^ i2{ 7 m>?:-isucTb$9\.̏=J@O*i{0:IvaoAlTqx9U&6;Y«'c#UIZ+;f w9)WZӈ-3[tC$QIR}G6P-0(ϸ _7QYaW MjA#GĸU Z; #y(U=YĤIg Nxs؃KWěay_'or;,mjeN|t!M%LAȹ:hO@Q³v0+Th'Y +LZ'e54i3-@Xq!몧[RHN8gq ]_*wNz.~JpPF[뺆Y>iO[0o5jN)濲4CWZ43]#LOB@ @qGst@ KD !6kg_p ݖ| >Aq4~ {1tc\PY2`M+ 3Ꝡ0Rt?<Bt_v5.Q ,y$ ͤZN:x?cyp"51㿴gFz%drs<)7ۙl 6E| au :0`[6G" tQj8/G\hO-TצgB3hDny)8KGOQSL?ⅇRsv͈.RF 9$cs.W ̶Z(>d>HjS0] *RR6)Ȍl igYZdacf1425137fa880dc8dfaa465fe5bd67cff1967c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a + Strong_Security