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  " "SG 4l\ ]/ Modular_Assembly_Kit_Security:threads=4elapsed=23.828cpu=88.460gc=2.920factor=3.717zXZִF! L>T]ŗXf[&M^Ɏ`:U!$,>m.63M~V&*[c<$(}a s,ߓƤKMlf=Fbw0N5ZpG>WHctOS Er#YT -z} @'^0.߇RY7l.(A +a`0(}VoК.̜' $f=_=J\}U79-!i_|\We GsWL?@xϏXhknᤂ*/) f}3̈CQI)tҼCvQwPqP:r({dkg=)"EB~ml4h4XOSK%Q4,i5BB^Άҭi\s-8g0lE էetHҫ] ʌaU$P/okTa,Qz҈`i|\Aёj޸O,͈B'0 N%XjEage6]5бƣf-5Fdh 7JK2H<ݏ *i-}+ߊ(x&C4$oƲ咧)\;eTuyn= 1>ހ n[FPN˾Ini!+Qݖ .K |a   G Modular_Assembly_Kit_Security  mEUŏ;!n*OR3B8uoܽn"5\L$)XhLA3( 6zEBQ9$lQy'&a0JSKɀOk `Hhve.* .IOt@>hBHֻ {||+6%4Feώ.f6A#|h&3C-Z_2B WҾ6=He,A3En=~6Gh3[A@ S}3gYZ7zXZִF! ]ŗXiɟ-6±Tdr-&'TQW o3oX~ SM>{:}* ݵRZiμv_vI'UAburY'Iuc;M&Hq9Ik鿘kmEBoƮ/йBWd (FuSUAyts1NV0JDl%`FCC -7%闏pMui])OdUѵu+>.;kFjȪH9;EBaf.v:as-p51}c|vΨ$ gYZ7zXZִF! ̡ %]ŗXi%B  _$ߦF ![xGddMdoYcA/I!vz@Xopl0ElΌQ;k)rT5@b‹Srcv Jl9~*:Ba)2oՔiZ:iq9CI-ʠr!sęOAx]۩tv^.-T#T:ͽ{gcw-^|~x,do$淌',O=>[;orQqU#hpE1s0VD jj(SfW _OĊeD!`I n<vI􉽳i-0]s ^qOMXEX؂woAUҚeL9b yBѓAxM"}:g)$'4Σg%b{U\ᒛiXev{یwQŕ!1.0'$lE:RUpsNTD9`${50 _pO ,Bc/G*M#Rr%hY[ nBkASh$(lyZ ;P–kZ(P>uI"hъ]dBGe/ I7>MZU){| ϱ 5A#cJ jz 9\'P!vuȶ"4Xݢ3&ssH v@cOl}9 eȷsX٨6LGv`ZQRV@:e;mղmN9C/]Fs8\S 6bP6>1TM\l,VqDx tCme=%70)% @φuT,J}#L/O 'zc`^61OVYP~9A]xw8F*WZR `}>WlNҕݐ5 чTNgLjF4 &jPꪻcekxr_ysD2c^pT$Q {RMnp%gԑAT#0(n|:z*'QsV>}/Mu,j\ŔecZ7aA cy3ݏ2уd$׮. MܽuWS7S]*b3 ~^bj{\H͓ٸ '.ɧz"9]d>z67׿)VŗJ/. [HU+RYP[<օ)(b'򟑱VEŵ4k0n(Zv9<6 I%`i/=eQ10d pEE8&ںP~C)2i8#ـ\svv>l*-odCyad/T~a…Q~Q }& u]VKbY4S )zw_63)XkWb?PoY2^j(2Ω ,7hVҜ5MA2T _WFe'P|q&u츁vn/@!˧ W~5KGkw{Z 8Ry Rr DZ \z31l`.wˎ;`lQ1b9IECBȴe^lLi jhgz:;3pXs?؆X yObOH\Sv@ s6l{n@ã$.*\ŒcZK/֓5}RǴ aQg?'s!~_iuYƐ_:U6Cζn"u\ |VcwZ̙T !eֽ%D 2|[W[^jv۠~}rJ/TG߆FV Z,6M}}Ł܌5/B*$LQ< ɢtK&>\K^^؜1ke?zs'Acxz1whg}LgE5P|E㸨 3a̮+IYnH uh*5HWC.l DŽg LQϖZ-?*JV