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 ltD ]/ Modular_Assembly_Kit_Security:threads=4elapsed=23.041cpu=80.224gc=2.656factor=3.487zXZִF! I-]ŗXf[&M^Ɏ`:U!$,>m.63M~V&*[c<$(}a s,ߓƤKMlf=Fbw0N5Zp:PQaJ#jyM^?8Cuݿt zZ3Ħt^OF>K 3l./CNμ}I-B@qjv>8Pf(iPx &w1P\"n;,;=MJB`Hz;UD 7_?4Y [,+ <^(#5=7-v2zyk@R *rTx~tt :yo[mGNH.XF={ ׽Daiݵ+v$šS)ɻtZ-|t)0E$wTV6|#Z5U  ^Q p6Y _4p,K)B)@vچ/CR䂗qXS;C^+;nFfl5@4O߄ʱ)â"Og \d~( o] ]vTTWکN7zvM h2?3&;`D`]a_R5ɭVd|r )e3}Y  G Modular_Assembly_Kit_Security  n(/1dKþVF:W%ؿQg1FӂA ć{A%ܿ-MFkC {.qH*NRB3P$N+?_v40AZRv](#]m Q/&Uu?5HLI]I-JQFx3 1@E쾫᝚V&X;k@|DLlR$}m;qEl-7Cn:xvoy{ٮ5{xзӮNL%C?~H5׀%4OxsS}1hAWnoN,:4B*3, ş\ 3{oO Z:xiHpV$f, 9[}5/fl|kz~>*1Q9˲)wGpsvsywݬPu`K{zG9Q  U':xї&{֏sS)DUWY@:TQUmh`> IYN煊ڝjSc|Jt(ݪ[) 'Zyhjz YS Xt.ݲ: {d~ } X[4Q g M{gYZ7zXZִF! ]ŗXiɟ-6±Tdr-&'TQW o35C/?Kx=iIX02\,]T>#{N_mKKy4 yLp3ʖzVH!B^ɖ'LggeAb Kn]Q"GLPkseFRe-ؓ^sWFS Dp҈*Ot`1.>U\'7X;iDPP9]ai5.B^5yFփߗ:\=+ifUH|ϊ?eNf2Aq2HQs8!qy._2m( 癷sV;N?6iT$Eb|R:.:E 7؎~ߜz}.(=x1UGEb=G\+ε싎roq-EJ:@X,L3l᱊$,dE; K1R="%ә}6HaI Fڮ Ql!/qV#BQؙ26EǓ,R]x50X4 x.)H`crCL,=dϤ6=?pMF{q ׹x8*/`7`ף_|D!Hz'Wعt]F'`z9ձPȦH8vp[u%# G'9YuLO˭wn[{363I D0| -r)x1]x=]+ד !'SGO#{|wƯ】DSߙ-LG s2-;i "T-GթNCiT0N%f>114(bPaʂT2CE2[g_w/?JٶÜO3m='ܜ$,0LY>a }1ј<<{E#cm]26ͽ/ȯq!"LEku m]iFzLGK7W 6K?@$qnII[#z =[UnJ単t, tdipeY:K1]((nnLKi~aUV,4ID#pǸȝi<.Bsa3կЛiB@EP W %0ܸ2RȺ - 7קO\/{[I|-^@ qW~r]6#H|\b"*S2Vb(̳]|U>i@!oW5f98)"jb`lRcO2=] &á2XU6'(5LBS9t,r wu2k#> $2{TNǼtO7,ݕ@4&NAW*8qozj"Bo~~WrU6>1$Xu>98],ArX[ըD7P+xbl B6c /il) ̸\e[}S![+5֒||%~'@7rڑ_͔={(F QAs(:'3ǝa/`%k`a&bRK>U=ZdIw5m~ zՍ)ypxUsQhJ`:ҏJhfaֺ^;psgJg<% qS=Z} 8] ]ɹJ L(@z?@=9-NNC.H` yod׹J\K5I6ީS:Jd f]7\43.~+-Txb,Jd Øc"r 1o*ޱHh?㚁l'jDkJ_.vo|Mދ^Xs,rțRI%nF*OeWӇb@EV\n=liVcdUa>-'๋R96OGFrH"9A$҆IO[NphLTp-bNpYs&?O! Au޺0ϐ9Ww"9qu@0 gҾÏNNM 8G 2:l9ߙ ,u59Oź.