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  : :;G $t4 ]/ Modular_Assembly_Kit_Security:threads=4elapsed=25.112cpu=84.992gc=3.164factor=3.387zXZִF! KVJ]ŗXf[&M^Ɏ`:U!$,>m.63M~V&*[c<$(}a s,ߓƤKMlf=Fbw0N5Zp:mc:5-;bpH_3ystA6 ,xp"{AjwL;ɨhJ'і'A4ILl=E \C\-=`kЮTT=K6ܾ{s#g|6<(bX@/~d+(beo93{Ww<͟9EkfBdH Ev"N$02*T NAR ] 0l6:ʤڢB'-K^sG%jb## U@&!̉r(eBf<Lx.ۈ_7cAU'_P'Mzs妨w\x>ʹ(Ti2/+fa @ 69׍2v f&S"V;IWPǏQ ca1%<) 3_T\fl/HƎЈBxQR<$N.г5pcvZl}-ޓ<\f%9WJjcB0(u3`Dz gIi-ޞ!7Wp mՑ>{3BErsܨ&WEʦ;'H ^Y$nT7),%&88P3ux1eT*+z$#6c?|IU.wyan6 ,+ JY*r@P?{QwoRCUͧ\bKr#vgf/#5(n.5Tu ՛_8WR2|1>mmQϯ.So}ӛ @O^ ^4=R [*X* &gNG{{`¾Smy^ qHp2j& e禢k7bi١AZW:|=cП*Kҥn#dܾEٗ)#Kݵtj 5bkU+GG'V-ZIcHh:uEtn5h]sO2m:c8}plWULWi5I |ɸg'[ WnL]nC^v_h?W3k ]%t,8T0  \ gYZ7zXZִF! Z ]ŗXi%GV$ěp+\#hn|Yҩ ,;sY@;COu(XY`;F#zg v /WκRNaw e*@ri-`dxHnV2pcQ1Fu&Iب^O/o7I+5ħE[:=M T\r4rO﷚?ZQxo\J}酯:>5阏9x+O'}FqGB&͞;=g-0{9A-W&8y:n 'dߑNcp^O]k״,:!ᰠ\7\e(sf5Lӽ(h,ns(0˸`|A78;-zȒش]FDGPQ fA=GȺv M(m2U0Uqvvʴ[:ǡ㧩JI nQ9$Ve/޾Eʞ]Gble.K V^m+yW%ڮ1'CWcQ2M/ +?ρ nZ\c:J'aO܉PG|fy#kH(Bf 2>.~N.C;c2Ss(=Ke*PnHSm99YD 4)ulz3! eӓbk¾4|6XWI-~aRرTmr#Dg  _·$Ľ^Bz?@uַo.Of"8Dˊbϛ?c}}^8 ϤlX/oS{meKyxM&c-Z . Ss^}Sjrҗ ةPֲ?oΈeNeQ9|1cZFvpܵoHHּNXS|{gFO!y<)&)؋ 8>)bt߯ qر !$F@IrMBCQ)O9.RytuDPb N>|ۥЉln؃~ez I;$ f{yp.Ɔho}B%wA8k +0Qdf'F~KBP(xĎv 40yuXT #[N6 [F,PB :pO>ZgRGͨl56XiN)"nỴdQ-~mJDfWNudw.0Jj\&1H}0ʏ4VY/+]&lT=_LJӈ\ݫo xG"R%5pGq9^&H΃NYtƘ xkf@8'ãj$ug׿_)Ib!M(2 󻬑Yw֏ <s={^nB_];I܆ ГIx /pMU¢W[(>A/bL ϒiU)c D3eAx N#ޘd|ǣsPjYDi(Hj]T8Zj{-\kȇ#cK={^Hh%YVOJ\o[t/ƴTX>(t. uKZސ[s1R TŮV;'x/r'^ w;VuFC *ͭxJX{CiE5hA h$CAC/tYyٸR9lMexWX>cI-̟i<;JI|"Z]jUɖ+z3#9:Bk;a{"s1UH1~}I6iu];FѼp%ZԌj' RDzۈ2gYZfdb545c75a557f6c2a65bcb56c86deb6daff1fee4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2