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 4l< ]/ Modular_Assembly_Kit_Security:threads=4elapsed=23.090cpu=83.632gc=1.980factor=3.627zXZִF! H_]ŗXf[&M^Ɏ`:U!$,>m.63M~V&*[c<$(}a s,ߓƤKMlf=Fbw0N5Zp@3'Ԍ5yd=HtO1g2Of-rf(\J}W!3W*DE?Q]mi!%bJ.:KEkG/8ƒ<6T@MyU̢WOK}v ;n0vg&7fݼ/׬-s katƪ@3`%xX!(U3 UkzUbߚrD q/ChԹx!Kb.Co8,`~ w$i>6[!lV-6K8N/+=`3@@1utәKJUNT3"G"+Dw?sDJ_6$vNPD4*yP=Z$s|PVLЄ<Ƶ ~&΍J<,OIqV l ~7;oxc\{~K1V0/0@Lhf$MlSlŷ[Z8}^0>oѥ6߰lu\  G Modular_Assembly_Kit_Security  컯\VPTr0488.)A>-ˢ!P3O{I(W|3;$߹s-ޡO0HQpTX?}MN4Տ ?=9؎wC{Z'?g%D(uE* :ncf&`ˑ ^ܣ(v#:nY3v?Bdc)d#o{BE:I8Jޙ1_Ŕkx#.fwR?Wg7l,NYd=>f+L1,?vuB+3 vgYZ7zXZִF! ໍ ]ŗXi%ES36дqL,XwN )*B6{}Gu6{WkPç1b,,jh +6:bQ_ހ& ?Z'ޓv ywIh !x Gv`ےIPY V9~%dpm+xlPjWѡA< >xmJׇ nYQw/VTr5"hZcWwC e2DVj==sM(ATM>2Q2W׏aT(D) (&y/psT[,x* qݘs|h<4::5spiwV'ݸKD}!z "ɠE;k欲h 4$̞ΌK-Esr_1%7crŘd)Ům_R! $p] ŨuA,$[;,.  %Ԝ)N33+.ѢQ&3΢>:lӻ.*7]r~ؑc;(]-/|EPkӊ3:%TDJa2vq!׍j cBSpv\ylF7M'r@ AeZ9pߋ(wMY=?%c4}atq*t@>MbSx֗}nzde='V_pd1]3 %Cq&H3.U,Mr\lFTy_|qRjқšd$8zu+oac_:?dֆRI hj7r wNd(& jZnlz(|[]<^)B Cƍ;4 IMz?c5zavm( D>!mpaP ^Xf / )"ksWH8b+ouJk05:BiJ=(]W4MF~q"H/DJk vv$}k]fX:LP4=E-nF  1i'oD; vrtN\vOYKJ[(DKINj|*s UP+)׭].=Ft}w{fп'>Z\Aæ%αX}kt|P B)UVG3K\VBHC,1 L\)eez<=|rM`5? ?GD q&Jrf [(rpie6.+*C WCB bpK1$ȷF/H2~K,+$Жܔ#7K:EH;C3x !M8GY3O 97'c^z=k89d5]'){GUHξsZ਎z a!c߈TnUXxWWW2pO?.͆rbQD -ODZD!=yYtOB5p.^~Qtuk^(sP,GnY!j`X8#(cnQр}$m/Y҇&n{,↍~Ɗ)Gȉ"} +u^ wiQ<״>rN8Ma[/R2R|-u-"'Hj JKuF_4X-PFz:FDOf!$&rAEbԃwi&LwΌo2;XH9Egu#d1m+k֗4"bӓxL[}h.WFFV|tqFLcei)&oUaʻzX[ԍ Y_7}sR2D/xptVnIw+2Bx-J[$7AWI_Zp3b 8פ&mdE.S>!_XpZQ¯~5]|Z]h0"Trz¯eT]8CltD!5!zi>SӼEV|~7H^rX(B`Ota 5gYZf7560c2ba5512edcf4d1a04ed6380617e51b618576b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568