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 oG T T ]/ Modular_Assembly_Kit_Security:threads=8elapsed=12.216cpu=81.577gc=3.980factor=6.687zXZִF! H!]ŗXf[&M^Ɏ`:U!$,>m.63M~V&*[c<$(}a s,ߓƤKMlf=Fbw0N5Zp@SoUnIu{ J+3:hr0ekb#o%.!dI`a"6*f@ 훴Kl{|EI^L.=@3֢ d9z/($̐Zreoc"Cfd9sL[q_A4.煬H֯~Ye*:9Ƽ*3:4!BW>{oAfEVݺ  G Modular_Assembly_Kit_Security  Z)pHΈP hʟBnhYbڠUGlMC [NY"`ٹϏ,gWϦnC8(:C†Ӎ] n0>i^Ic>[TKɦxb$d͔C{*mԻ^-Ǧih űb!v#] UTacZoAfoS#Yh ڤWBEWrGPt=: 2C1Sd}ׂ`B(H1`ƧF6" ߡ1]OѯhHc?kwWumDޓz'D)l$Hdxom.YGߺp0R=^%@"y[3&|)8k#i\Li~"' J9%5cjank\)bhJc /&T%BYkb֜1mlbR{/zeNZP}`jp=ï,@'!m> 1+rq)⚗¯FLB \39Rnfɜ3Z S|PqI}&8qoB,2HGb\%6:+ǩj5/^FfS}k9mQEtY]^\FWi5]}6emz$ָ$FWR}X,/%!XLSQf,uorWQv\7={E-Ggr w$e󨝛D=J Cxx$1eZbk5%P˰=84S^;$ KBf-O43t8ŸO:|+N/څɳΎ<|*}L}# NI~Ky."CCjꍄs/wߤ  ñgYZ7zXZִF! ]ŗXiɟ-6±Tdr-&'TQW o35C-s3]g?nyëKh~cF(3GmE<A@?q ("dp I? wD zV+|uApš/ZKʒ,[4h˅1=w5ywkmx\3]aq]P1&A8 ԕ74p Z:6ONo%0bzڻlXm,{{*ף&9r+Ikw8ƚ6nA(Q|x ی"%uUS˄Q@h$՛)Et{/NO {-@aR*޴՝t7QHH6F,86(liVYG:-PԖ09.H  Xƴs?feܔ_8B{PL$9()N)J7D1:TCN.nϔwX4mA$[qSCʩqrݧ!n16Uxf`>ٖ\rk#+Ts-UIk*ثNo{7꜊ Sgi4ա"4h 8q1eWFTj[o/<2KH*m*>Wm>.:SHȷr JuWIJ OX"vF@5-2nO`\XӖ@\J6 ;i8`cH+Owd20dF+w:& f qKn?[$";7˞m:7a)xin>+"S!->qV_]N3SM@Wot"iHBv'{UzC8Mq aWC "޳8FQy f3z/ R6ve[{@GMJg6o;L{(EԤE֜#]q7eHRyIZP~J3_QUym`uvq˄3AB7ADk=iFx\Y"cOu"$nU8XNo!04RR 09| Ʋ굙oX "j?q`^qBeHg̀p ܈QzvBKlWY'NԷ8^Q $ɇ %C *ϒj#E|6GK|˰X4]*z]$~0Z],RJVmCwGwHE/; (KI#R6 3\_.eLq[ʗ"X qFźڡ{%4]|]=7񶎎WRl fDYƜlAq$3; nT')v/6-5]䪰+/ѸMBl[' 9nmZcr2(< w'b1Fi[+ HL@Ow*wUL+Ys,Xr]6>]r@$zl C]]x.S+nXvdXgm2&D/ͫYKY`*w\v<5}/^o]15PW`p$jy*vO>/Z>N,Lo蕖eiuǨk1BaGR8ףb3fdaK''X꽹Sv6$c+'|(@ 743%?%xᑚ#Y r#pm!oavc^=WrmY;d8r䈅L7h7ii9EE ̐tp( Te@c 4 cJaJDە-=T꿊gy(-$re&tmu޺ [q @i0{>2"GxhR5ؚcX|a| 6dt\$qKѨ M2_gYZ55db7fe6e2f29f5a55cf6e8917bb4631e4265f88c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b