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 TdL ]/ Modular_Assembly_Kit_Security:threads=4elapsed=21.214cpu=77.060gc=1.688factor=3.637zXZִF! IA!]ŗXf[&M^Ɏ`:U!$,>m.63M~V&*[c<$(}a s,ߓƤKMlf=Fbw0N5Zp@ʂUT h`2 ^ΗV#El~M ^ {^B Lf[rRPaf-&.,cNB2yx q$D1(eY=  G Modular_Assembly_Kit_Security  gN|q#s߬2{sG3 ?[ZuFpVHg#K9 [5&t4FAuQy856A%`yO63Rw-*Yҟ4XdzoQ%,b~!gS2РOU`NJd&~ Rs\gEjdO:&&oN`} wfQgjbxwD@giz?\̹˪@E4l-N}*B 5/nK<1T 9 OpdyB/o\R;PK{A$)j#Mkn(iĄa?Qm_:R5O a Nqm% n`f Z֪S^[elKC|Q41 6_dii+]`ǍLx5F#[fӕ1w6 ̡PDkHªF`QU40ὡ0 /: /%ȈUf PEw$b p <唸PĉlFx()Z a9jEչ Î*3!63~ _?gYZ7zXZִF! ]ŗXi%B8]owHig1AUwkjC$ sX4ʽs{gl9 ڥH}Aכ;?IxL!gUտ kئQ>VVHJ%J>AR`&WŃpܶ G4pb7_}ϸKJꋐ1oVn{MrH_сY8dXryۙ2Csh: 21X\-Z+>8@yltp & `·`Ц_C6ֿcwP\bE!h.r f|s־~_ /DT HCGN?[v_1)Qtg[ (U x+<鵹3̼L!lvMPfIK'{"P,?]Ԉ5* ;5K= 4Dc'g{ WnFk條jsj .rDImFw@jz\xhh|-HPm 8k$=e (3 5'x hLzLrvR"HϞ*N!Ob@"Vh#7iH[k+k1yM .imK6a8piMKb%VRB'C;}ĥ("Bq~v[^-H3$P)=%lE,NM`qșu\!(9/ bbh7P'D~c}"¬h;z=# ƌd)Fغ6=[gᠯMזI #u^↫=ʠu<)pcRNr>e88ni_,/ynkNᦶo4q\<_өjy."RK4+As]֊nn'0~d/bgCumhZP:l?"A-BnpTɘiw=@3OI<_^| ␠.2 1A}Fv){jеQzbjܦ\UJ0ū#(4i0x0ޗ yQ'zL\fSvpA7Ăc@bV1WbB fv0=[m,t{)7ͼgj79I%\WQszφ@ȼɂ^NjףJS2weB\u-di^Ey$Z*PN[g}V7}m?`"V+=}cjF)}L4P.9m .Cۙٙ#0:-PGJ#js׀NѤ%A^YՏyz.X8D?oH"j=>֦J>L7^`_fsPc'׊)Eg,"Ծ)5[C$nZjԇ_t0x&~Wll>)^ۺ mk9O،'cw}e*2_ cAr7܅O^.eT1DK'ݷ'z^5Njf*m,ZLlDИ{wu?(jOGk'7D,}EPgGxZ(ql工G.P @̆ j+OoH_-Q ^n9\,-.d ZQZg0>'$=<ҍP Q3 ZafdK_GrpxL}/WzB\ŀٱKyHz#h.5[F]+=;YYw@gJB, _B"l6YCe[[Ptj `sŴٿ.x ӱ-/C >rY/M|¤EzDEWKg xg^b gU9W}u=Kg(> f٣TScqҧ@u7IݿNw,Pk[&57 (0m3ܔߊ߷ )3O=*lzDƤ U a0?߭ugg{kC]3'O/6Lp?߼ugYZ97589300dcf2e53eb61b29d536137c8b5a892055ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe