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  gG 4\ ]/ Modular_Assembly_Kit_Security:threads=2elapsed=39.874cpu=73.912gc=2.576factor=1.857zXZִF! F]ŗXf1-/6vR[; IXڷї:K)gFDFBŪ`|n<אD2Jfу,JӜwژjM2ջD襧A.-!i䶝f0c˙u.q;>Ԓ=֔\.c۲?rp*@`f $F `EXA;}P£`a5i>~ Ч> J޹uv8TA%J_1TvM&7(d-.~ƴT.ÔZ^w%  kT*۬{gE'Շu{ ~"HϻDͦ!{kIH!Gkٺ'8b  ܥr2ѻn z#Cg[@:0I3HA7l^p ׍B/gYZ7zXZִF! ]ŗXiɟ-6±Tdr-&'TQW o3s$BoQQTcI6{=䏲jzrZHs. PH28fʾr{!xqz ftvsytw]1@ԧs\R0#7Gahl5Rx߹r)om!u?Rcm%CQy :Wr|Ow\C[e e=\Ei+-BMlrw C&M<.eFp&L qjuS3QqX'l+Mɀl])={ҿ#=N7E?9RW&^?!JbAj^mS6RH\u ,P`#zj{kSv 䃽*IĖM a|LgYZ7zXZִF! A]ŗXi%;Cel>|Q=@KU"NK9c?,~];O4nW+!UFߘќ:i,b- 8yxߥ0Mv4n\eMv`b/)ZS$iI`< WRX< XT_4Ja d:m4 n˫rU鋽pH>ޥ"?!aƱo9(QB1&\ǁRv0|-me-VT*Km/ a;~?Y(g.?cN+P[8 KMtOT?.?'`]p $j]#j,o餎uYt ^g~|gh(_>XЩ$B*]d*U.Aǔv#_ORDݏjm/Ե{_۲Ar+<7V] = W? :;adQD:3&iMR`iGk7 LdH+ލd%B,ɖC tU w1VꨖWi|EU[Oms4oRMvܐ 8B^rG_"_& G1EJ!&s0s&KÜ?hPpMRes7nh-~Ol*gCÕvYhFmShl>uQS3`jfZIO*{uRSSA 3Z)r>奶beި"%PzXgX]Rb*%?' 1i=# 0]Y;.6 %oɥW©C\P~)a۔* - = p!\Ks̍!R(%PsbyԈ Ky< WϠ4haQk u%}>*.ۚAe؄ȻU|CN"9N9 &D(R`v5@c}ui`Me8}VY{ A.%%*Kx8z&ڑ:Ի]OdF) <@S+/%[Fwܸl&K=y˲=Lv:ћx6mZU:}h4DL VɆ!p2!饩an,д_RIBj$(pG^ v<^|;>(h 7h`;)=4]tьGX[BܒÞ_s~~AW" Y9vϊtL6R i׶{ >bYS>WN9|/"-̮n+sy #`~S_}WzEUa5_=rng⿰[V3Ou\FJa&\ >v9HZ¸w`g^DP \$éP,_š'p#?' {=U5HO1|n+GHZ9A[VDfja96~si Dх_THG$@. fpF|pو Sð A21I":΂[E$8؜+1-(fv9c>0(%(O|=z0ET+ ylf̏$"i3ipT͆EE ?/0ixLoNaEݺfe<򳖊5ƌ$C^O9%8R/Z?+ˍJӘybEv,jDxҍ\pt!̅)"PYǩsTZBN6QxQ LxdX-#Ajғ_9uTf++o x3ީd)/ݘXVq5N%rQ"BA+T)@ĺ7e:z_I+\L󑈯fw_1o/ XMiq:sdHBY}6O5@tʁҦFqTVH-H;`U"AQP!Q3{^HMq%my$R=DjYgLLu(BT Kۺ @BOav9*?T;XNr jdɓwE'a- z;H H3D+kAT'% % 1g<tExڍ@o' \ui77:2>)DbW7& fλA:syZ&fitA^U9T w!D VEq29[c~PL+_̀;!7 _"8I@?ư-7JHTXk?0,"rg-S"ZL}:~O&'Y{Vz8]tnvhN 8`gYZ01e05b29546d9526621f1c4b52319938e2ee7210a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39