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  {G t\| ]/ Modular_Assembly_Kit_Security:threads=2elapsed=38.892cpu=71.080gc=3.048factor=1.837zXZִF! D.]ŗXf1-/6vR[; IXڷї:K)gFDFBŪ`|n<אD2Jfу,JӜwژjM~& CS\fQ跣z1a yI;ii/W|B_yGdL\3B9q-D'͕"-t4φu `MI&8_w]p-;\9gGe:/@ Se@^C7PIJiPɤeQٌ=HUM7`dW_CqUMr Il0[X2R|_׉Y sUC~sFD޶diU5(qY WLt8-zVPZ!wdTI)WLxPa}ƕ,~"^]{P"ggǞdqQH! HTa|4g=d%0bB   G Modular_Assembly_Kit_Security  DzD3e!t Q _ x{< 2p}MDQ/ 8*H-5!t|7=t & ⚅ȕ6# ݅c̠IAőتz|ӹrD׭6̫"\Oj8b vdz*FgnWJn^㲠jJ%!z򮶴ι*g53G؂Eb_j_U i2ECUe+H_}p:3{TtYW}fRW&nQ^kq$ʓ޴Mht%] ? (~y 1B%'XX" oH9A񘟶f|Nʺ+lJ6IV3G:uqC/= ^ M7*W{)@LQaxji|7&D@BҶ)eUwKZlcu@c`@;7ARXc?q IԺ8lBU+[A%/Z=ꓓ R'_} gUdyN=izyu z"җ$ l\lYw_>g橹r${syO wfYEPBAGJgeoXsw`T=Qr+6_P6z) sid |gYZ7zXZִF! ]ŗXi%>g⾚k '(\а5Ҡӽc?ִTӋ$9 kh#)8dzan2m+`V2/! }OErH'dO_HO]} բs-6 k1yFj2?^,ѕk(=}LGfAuu'ƒ܁kہ(=m]c##|]ΗSs9l~r}ɲzTJ::|qX7=Es%01g3bM%v{ )(_I!+IFlD:zCR$pZ77$u{?K+y_O~ʣ/<(+$ZhZR+&Tb$D m*@Xc1#qW꠲*rL+s4DJ//GEGVk5+a?t낲7a1񕽊A)6 ^W1$"VG:?/=S#nh; ;<O (y*_ŧ Q%deᅆ=b~u۹*rL:I] @ q!' ?^{rG Y~nmȯv⮤/W~5U'?$w?oeo*-DG*A{]ӄjӫi; 5iZ;I7mA5kT}Le3Yߴ'.Z̙k%B"4,({CxםdZi1ި"Za९7ĪM =Ȏ9z}"v ce+?9[BZLhS+{.KUIn?n8\&T'73 KYf-Ȟ5xn4v Qq:7Xj}pM@'A1KMFu :*)S7P(ݏ z;/`ø/gMf Wabvڡ]9D 4]?)#Righ;. ݵqBL0 g7ʢ^+a K>$Q:x6R Y29aHBNQ̷ }iCA.*~2dÉ+~[g!E$2 @ =K}{#VmKP{ EF Yz0$^`ȏ!fڷBp 5QEPSKwŠ{|42+)Fϑ0vՍ\ͧ"f'zEr)}f}1;ѣvw/(fyQF?4BZrC`Vzz{G ©D'sPH.$ (Ykob߿8IOBנwv~FJ*9_ʥ50ZW 瓗RY'>Cx)5xZ*Vq$*y߼<ֿ,)vʐ>t}0ViV9 Ԟ; +1xoVyhK+ o`Kz!Wa֩ oJ#57YHۈg&O1Sfݭ _3ȫ4@񾺤2E:B4+nXQ9/qG -"SO3SکZ^ vk :< O[a5%V0SvaF{ g1ϳČ IN[:%g*[>yOc딛pt5 m 4SnEVį$:dOTO!z/IvEA!i>0(S_+=m[9 `3fb/vs ~JY_9\*{l{k5P_htHsTa} Tpq0h *ע6n9nu([:,ԑi6V:C1r=Aat ,Or."swO!KҭҤA3c<-\jńϷKa4I(Dk^M2u2iL2:لmxnh3h5"THq:za{CM(&ͪ :x imLl7ϼmdDZ$# ґE&Z\Byyfl(X| \nǘ. /cOՁlg|{罐$:4MUP\Q 7Dp {IgV,_Z˥$N]9 Ki7EQ"#۝DOH 5I6`GNUiHѐ!!n2ӷeBN2 sXy OgYZ01e05b29546d9526621f1c4b52319938e2ee7210a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8