SQLite format 3@ .0:  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 i; N;TDnpM 8azj^ =[F;v⻷9S[f*TE¬W&؏ =_NId&[ڐ =={ȗ<hxtevږyIT2D,[*HߌUK4M^]*Eԁ HD']!~q4y+ܒ ud">/4?_hU4ikX/+q][ CQzPʲbɅmдD5|3Nl\_y`6E>19n0CXf]Agmm귄Y9m!fnVҸgk}2YCGo`|218_KNaK@aSxƴvqgLJS{ܬ\T0Lt.+`b?nAc!</ԳT)xs>>Y]+ |ȬTqq`P ߛtjv* |Bjln%eG*s_0XE\Q卬{RrۚE߹><tVl~99yc7MfstQݔ{e>p^73kfT"u S9y l%I9 @5OxpF}V6BtqG90).S-HوGṁ/Ufm KT9&' K>~7ĥ -NEH+zUB ƨ?#Aan4|(p^P>G9nRD&+\핇pW9*Ʌl/sp\{st0|1-Յ}7DT ʆ]7>/9 hߙ 4k]NYY &0qϵ.?';PZU.KF#mF֋]0z|pF]GsX*~f ɫm"-UbC8ZwFApA'᫊^1X7IvbImxuC fb%~ _Yja T+ͥ 5tgH1&X2 \%Z8 iS:e9Iաj)(`육1]5~޲b V6̃6 M-Btw2NV4`)TsJ'~WI$»qʒTg=e4Bnn~̹*R=q!'2LsYCD/`B2wB`hXŋ G *ބx8o7YԿ& ~¸P 2i!5]:e:Ӎ6;] +Q)亟.rWO3rN5bԹpAm&)pf?NQ'HwW$n#=i KXꇚrB_ YHp_[bʣAUI(WvsTitw ˬ\(XȺ2 V$VVϜ/@8脨hplR5i;5Àtz?cD[!jM'|ן!ÿ{ؚ] ɣzlO#!to|7M侽,U0k&Zmz[9'9dǛ /[7٪NBmeK'u htϵ TfB3=sp*|D#~8U*đcRAD$vQCocǢ闘F`ިW{B\*|%wm P‰{6wX"ݩAKK-AEc9{O 3Jv&/~fif/筜GBMXgd54cik\;sFnXv"| !(7ل`!(o ^Tr [/ _6о,qK, `fcq"