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   WG \$ ]/ Modular_Assembly_Kit_Security:threads=4elapsed=21.690cpu=78.000gc=2.964factor=3.607zXZִF! D?]ŗXf[&M^Ɏ`:U!$,>m.63M~V&*[c<$(}a s,ߓƤKMlf=Fbw0N5Zp@k2~EO%za RCVDm0ZvLL]jQX6l\Z妲)2+|3wz9ŦA#!l 5([cjZ l JU,o;srW Y 0G%؜eެX{RQ9GM@S1 85_OZ)zJ}Ku59μoq @mQDp_Mz?o Tr U-[8h(#<%1WFu4ϊnX7|:chD?aeA, ql =t2R|=W3|<ؠu=_d6p9߱+K) ė^ t@(0!z@Z~\Y #R|k Mo0e;pJ4:XSUfkA;U800cDyF 76+nE>ъ%t)8 x7+gv   G Modular_Assembly_Kit_Security  B 4o*!MTw۵o ǟYF<@4M\\6,bji+aVi]_X%t1їUBLlgnzhՁB mHʟ4kve߀$Zvm >$УzΟ eOǝչ.h4I!hp,Ϭ\yR t% je:pjs+J땵=FVpamBOE$tڕBp#/f/Z( _ -OP B:;' mͪz& /{f8#YO ;D.-bYSOtpkϘ>̥Ud QH(CW+fQw߸²:p DdT‚Tyr&d^z4=وJrdQgp V Owl1>7Fo= Wx#}*PKpo1 ~Aqad 1]*;F;:|Lob*TɚA,~-U`>R \֞C)s\=6v S`i-}NΤZjZ@;T|BlVt)oiI0Xw`j#t:g]LUo$=82#\6[~}YWeUE)c  -͠gYZ7zXZִF! ]ŗXiɟ-6±Tdr-&'TQW o3U5C.į3lpmFT6m"3I l,+͎.VK Qjc?—$,LT\ %膴u2aO/!}CPU/c \OU4-}pJK8d*}q8ZF>00'd)%W@*݌Qyalaڂ= ex]lj."Oo&`5Zig`y ZI_$`f6{5G` b ͟*<9YtM^O۹*"MK~0B#8ٜ,Sb'׈\m  |gYZ7zXZִF! ]ŗXi%B:giǒp+Py 7S'KhV,H1c;K🄻6u 'G_QM P62#"BotL i ªB uB-33kuc~lKJu[1(X VxTsC/A5EVgm_[&L9 y'o]I On~nF&zf~"7:ZCWA &;/={0>8w-$+մjo SQ"9kF$wcq[Z2o wgc_[?7j(kpp^eā<`P}G) ӰxgX+02Ke!SnN&ɥ!FBDk^{[a!SCp!wH" J}yM6]Vvo7* Ǔ&qKIٜTQxb^; k_(bݒRA; w Hr>f-t;d1LV^ J;iqtSܭ~{jYjje?6*]"^h7D-OזWB 'ļ{LJz$L띦]$۳H %k%Პy y)yC6f=!">G>}mKRuWPxA!7;j+s&`eqs׹Ĺzqz=f:+Ѝ{5'r=v0~.AI((i$.+&6uh(Cbѻ,~^wm]Qr0Nɏ?9lY`jP%(fP7dR=!*R!MALs3Ц;,f'SGd6UԟAo^*}a@JIM=dKc!x4]O,A/{.X Zn= Qp@O5(iPg"Dֵ+d0P((89I,3!S :V!dV1ሗVTU^`trU,wJ͉i #NyXPG(2Be(FkFګ- -7[|D!I`S$}uÔ.e~֎h׍O?pnU&`MBG:zᣎXoznh'xШeV9;*6 H|=<efNvN-KqdntkmEnD g+5D-*Hk 3C2&paYAl^Sm&LO`U xҤlfTAlڑ'dRȣA󱈉z ?`]a{+^ %< T`[ÐA#>$gYZ7acf2bc7665b5cc765b042c1a03e0fa57c1d751613f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454