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  V VG 4T ]/ Modular_Assembly_Kit_Security:threads=2elapsed=37.737cpu=69.540gc=2.932factor=1.847zXZִF! B]ŗXf1-/6vR[; IXڷї:K)gFDFBŪ`|n<אD2Jfу,JӜwژjM95!̙%@Dbg-5+ :E#S^b_3^/C(vmf{{cjcJzmׅ09-碄warjg|.MĪ Nc۩!ϝ | !/Nf|.ql^qm~zstJg^ "НmذZN"FLNHM!+MjMH=(ģ3Zn$:&:=ΧǸ]{8}u"!g]7",xHb !,RVΜ !=#טomѫNv>%_ zv06'dU}&C9ő&1s,DJ9&j,n8;/**3R6sZ҄IEc\s]+:UB  G Modular_Assembly_Kit_Security  nM`1,If_q@zP"~Dm|sN+ot"^,kQ}go{wqBS(~ |-{Ӈݡa[=~:W}y D]Z51> sw'?4?|Oj* +-g<N<AoQGƲY{A;࿊fj_}va){P6Hw|F-(l>n_O)K=mtI>G`JU㚛%eIv0-\[wn;Je]?{;)ku\5'2.9 o~JvFֹόeޡR2 ՂLy+(r 4@`=ummn77dfE^Huһ5{"l(het$%BL: CDE֞/A7h=AceRnԵk^.O/mRYCYˈpX*4-Tm-r;z \m闎9=s<RT ~bgYZ7zXZִF! # ]ŗXi%>goPz7ʄzc|%ф* ".T\9{g9+7b ҈,pl2^{p%QnldA{PW x͗hvGV(Ux ĬJ!f,g7b#v_OMdvybug<_Y+iҰA:A A Q}/5Tە忆Sz6C@ŰF}&>=\ETL>'z vd(jt&&gXFqSp^õ׵k*fدBv1ĬkYYKʅ1WU?467r[5}+ôc؟[ྭ-' 2$sZW4^6S^v\hhPt4ۥRB2]XD 2F8dtQrrX+6y+n'eݍ{X+ao7Z s|Loςl1Lzqy@cËHB#3A7-H[9B˃KnC׵]Y .x 2w25gY}$1ű5უ, V/{iT=>kq׹ ov~PvZ`2z]g ol`uS=`5x1T⁄mctg0 8I ^+瘾pqBF_E_Zsjc K7wXoZӊ߿]NTHZV7G*ϓҨ՟\4悘,vA/9tMmN=JO)S%CȎ0&ra~ L~7W :f˽򥋣Yw{ 0kCN$\H"h&KI~>k|9n&y?mSw_=>9Qц!9)kQefs^ԷJo3-< cHa7. xiH~lucobI6cu}',a>˱xV6lw}h@~''>t!tX 08@_Z/q*!c_lN %5 2tO0yYKtOЄ{iRQ(9=|ĕ2w}=b"(^`ʥ6!Ì2Mc*{vt9# ~ og6XS+;d6.˘WiVo.E&~V|;cR NMo$]'p,"Vʭ"'HWISZ4Cs9ӹn)f]VdshغQr|hgYZ70d05dc639741c0bba3a600d0722ab5c97ce373497833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3