SQLite format 3@ .;  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   cG ,l ]/ Modular_Assembly_Kit_Security:threads=4elapsed=24.414cpu=80.256gc=2.580factor=3.297zXZִF! G]ŗXf[&M^Ɏ`:U!$,>m.63M~V&*[c<$(}a s,ߓƤKMlf=Fbw0N5Zp@laK'Zzhj8Hr kwmu%!W 7ѮjA4v .:Q)6):[Yp+)شʫf푅* e^̻&%wwbD߿HLy(ޜWap+i=Dt鼅, 5t))0ؚjI 0gM CƜU;\@Qk˼͖`~XuiJg\(p%%R-dޔB#\y$`-j΁!G9}h|@ϨmH5te5U(Tfx̱nŖWxVNZ{N!  G Modular_Assembly_Kit_Security  %9rGs."l fwڢinL*kn-SAfnsD۫Q%mFwT'6 Ns[Yen[9%w. J@DT#?KD6*'I@5dV |d0-YbbO{w'&\d N6~=zt@)sAgoҡaD}"qk!};-xx:"7yZ{Y7[{A\zZ =>ߪ7tYNNԦKcf+$"`s1EL@)K9"7SOI?,kO5!cH#۳_mҟDulၩ*뇲H 7i#Տdk,O6mrk~p59+*"k?I+1}0 b߱gYZ7zXZִF! ]ŗXiɟ-6±Tdr-&'TQW o3ss:H\Jjќ+*W=B0 l ^/k Ϧ ;MhbŠLh_cX˽= @xyP~L  "Z\`v gmxqsrL)?(1[/v/$!`+'ҠuE{ 恸Vmŋ,r s+]2ym"IUU< `dշ|qt-P5=n#x;yjQ)dbA{: 0DS4letΖ/. Uy)nj[:2C:۹l/tЏPz.NkT“"5 gYZ7zXZִF! |]ŗXi%L VwJDž{4n+lUkfŻҺ2'/f9x_ >Bt q)]FZܙqyeG3wȖ{x(nuY 6"phJ˱l%4a_eq?qcXCҥtr G3&]ި ;aj[zmmvIay홳#rX/꺡mu G{oΣ_݇ZR.Я&,(2v)'bWE-#'/.޻a-r>s+->ըHq|ڞ-^Đq!G|Q3A">i~e"`)s!Gە'xYԬ+RT 2Vr~T|$D#7h]b gx2ýG)W3DD;5\EЛnACnuE8zDŽ}X}⠇l0{?-geSD<t>S9зg$JF` = 4L7sIꯒ>ɇn!X⅒~Q")fѦ78De>] Kv(>kq/~0#| w ~ 2VieY#eu{,aD»]GN&ZƖ>U*Y?COOag. X\:wKa!yT\kl`r!AAؒǨe͢f;ST) 4j<p?~E"eYN&W?uMQ%S%uŚ.s7'5oK_!Ry14f,?dzU–m9q佸=7Ъ%>iU]w`*,$ jPӄɾ6I䯞p<'+<݁kͥ40=3 il=aWC w[Z.*9·cJ:[L]D ϶03$Z_6 d)X|/} JqD-,%:хB|もeGE_v72F' # P׾dY+o<^Iu F#5@|uc8ѣCq'8 nPٚ3ͯ)o3 ϪX?0* #I!W9ݿؖZ+#kh ~\(k2jj<Dy$t:xT>4R6 [C[L6_ i ,.;' 2z\9A$Dh`2 d9G֔۬FT.GMd%;x[vsJjW<^A~hUhY1зauVL*}z&47K sM4>wm֚XwBiX UU|G~0dݧ%LlwCׇd*lYR<^t0/E:{RAlh smՖͽ95Bnj-b'cgvxb{B%-@O.x=77s0gl AUEiS)abu# }N˘I-U;bREwᝁ6aW;giV62Ϗ#wxW^+mp ^4ݐw8YZ4i 4c h@\ x ;l'yqBww(h*|FV-̎GaK?~G i9e:dY9"/B?V4?P.z2]p5c*ү@v|9f 𙕢K!e%־I`X@M..ʝ9GofUD$Rnt iyC-,_#[9UQ^U}fRcjܘawoϏ]) >GL23w:ǯ 44 OfH _`Py!&3Ћ<@`Ӭ_(|q*ʞ6 m]niA)Ir5j^xu)x`ǹ v62oYD}LpDUk  ˩` )MH9Jxfsla+yf636 @Iq_%FD:-y>?V3xf FLո_aNdЇK5r#e™P gYZ5daa581e6338beb733a80f410164a01d78d09e28d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773