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  B B3G \\ ]/ Modular_Assembly_Kit_Security:threads=2elapsed=39.303cpu=71.628gc=3.204factor=1.827zXZִF! ?g]ŗXf1-/6vR[; IXڷї:K)gFDFBŪ`|n<אD2Jfу,JӜwژjM!e0Kg-ֺI(`>G)|c‡ʱV?}tדni2h|AD"ښ>}tDx ]13零I.\`ЇI޹slJ'K ]% zRwBFCPDM"~Yڿn7-ж@i1hb,3"|$y陝/:E uPĭئRx~@ztےO^K2ɪ^j 2B̈́x.DԅI?~c<9҄{:SY4Ǔ*W;KͨWYx  /RJU bg x=]5jOg߽r4o  G Modular_Assembly_Kit_Security  /[gzM J0DPRQ mʷA8=qg_TW7'Qt%l+83FMZ kcnPjW"dDHkz=IQmP' , V;xMxD2@5:Pîoot$|ArlUջ q?fnru)߄X\_G;!dfglKnB>YԮ Z4ͺ.Ie&6`rsпF}s } ̀ 'tzO. ]ZYgel"`PG.k=.*㪆6vK~)OfЕHѣsNք2Z{em?oeU$k$BɨQwUFq'&RߔOn!&P< 2kAĦ&Vs1l[91vSzpT^^M@i>m zW'êDdvE_bѧ HUWÞ-H agYZ7zXZִF! ]ŗXiɟ-6±Tdr-&'TQW o38a{K @Ymg@ ʡi\$HģqP%9z?ˏ"sB=3iOZZb<=[\r*'mIt'U[@x8BkīxzQDS)h9(j-pg Sݻ1d/ܾ^׷31͕M|yiPMp.ɞ(imڣ+G['.}3 k<2^.UrI 툴2F[T~ alΧWr.N[b]3j0)Me^k_xzӒ7ѓa_f~)0)֗7+H$־+lͥ.WΤV>F03Jrb |gYZ7zXZִF! ]ŗXi%>gth:.0o@˱#{w0 .m{8 &Lpn6 znDiPeK2]\*yy{Ulʊz}bD{ppP.ɠxRDbtz-[P]mN f1 w 3~QG4zBߟ fe hsJȦ`:}{S#bk QБpS澵$(.ۜI$oD^dX2o9)y92 4+m 0ir'خ[zÌN`aW)JEpi$lUXjyw:·FE&\FWpVs XK5GqUnUY5 ?sC)[5}UK*k8PWtv]ަU,~hhB^?1kS*˭j-n#y!apo$jڬ cˌ" qz4!1Jx,%yآIj ]/ Olj)3}wU5ˊt3DuɴY˛V_4D (벟] g%Keu[&@[{֋ :WINmn72Yleq/3i(Au,(dx7`3&rG~E#tQ`|*M^lgpӗl"XG Ai{Mo$݂ꩉ!+5 B6WS$ň\ܘE59, t42ԁf PS ~T}J/LLGj1ԝ#Q{zEH!XkЄA5N)0K]^T6,-mT) AzQ͍xtShc]yyH|DI[ןWA)N2@vQ`q°'(%Jt':yD43`HŔ@=nM+%V5KE{y$%SӏƳdnˆe.DwO,jZNM4Δa[dm'8R6K]ÌV(LƵ (wg*DξT{ M7KJ=ޖ^!$/gO/wSKh ֒|>I &.Kj$z đNOY(&rO({_aX}bɸGkaLPLcKxb\?:!hJ8[#s(P,ӫ2 ⰼL3 ,TCEs2BfMs<LT*m"x@PD8ըEY{V~7z%BәCk˱'2Ǯ?M͘0<3돕X6d0t~䖩Hl) Ӳӻ?gYZ01e05b29546d9526621f1c4b52319938e2ee7210665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7