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   m1 L$ ] HOL-Imperative_HOL:threads=6elapsed=35.082cpu=82.008gc=2.612factor=2.347zXZִF! .5]ŗXf1-q恈1$1|-~xjC@c+幧 ֠|hmx]03ۙDFø%7#vӑ8›.;a1@.QL5|#A.x>b#j%8F#jд'ʜc҈8 xBlMŬ'ٵ=x?:$WD&{'MPkzpo<^q)r,z ZcNj֙20\S7}p1Dκ I]_}(q'TU`Q:;dD %~t^*\7*=n,T@ϴڦ67ֶk5]gϧJKx/70ElRDuڂgvAF)t+=Bo1E&&wR*^F <4{9f:)ώ u}s0?z5<-uorg>{$%Ա#@Qa g2 c>;lKh9y}ٷjAqfJ]@eO9lqwW/VbSʴi ;˨WnSDɠ[ankg]q+]qD}*$ 1 HOL-Imperative_HOL  b6Os#iۯ`JSt|>Ch 5%ǫ D-ThǷpk:{?MG&yg)E[rqx3@qn%TKȀ5+CܡIn101U.2#3SN_ϯVYn{mjRJ)L<˞Ew!sw^alDξ!n;rzAνYӹI4 +$ˉvrTH%QI 9qf*IׯHplj1Js=uT4*`i{֪֓&gIJ>*2hj r~L0d 1 ݚT̉[oJ*e.)-9pQ D^6^>#50M]r-m8 °1gYZ7zXZִF! :]ŗXi%Jϳu*o@w D% :eBSlhNװ1:fZid`e\fR=!w Ew; 쮣)!+v ֝}#|.g^ Dx=pHْh- J#A!0%m2>7cM|}Xhrp$6j^qƀ~|g/yCtTL5n6#;H}D!Y@$;HCXa>Se}#rxCWO'O-, M}`TgKa }_#T^/ŬP WWa*4sJLtqI_ĖZov^g? 1}R}UsUJג>%GY`ed,u}*m1Nȯ/mc(ӓK|lԲ:O$czQ]|;RX홾=?4i3qvb̀E:}Fn_x eVȺ2$/)^j^snheF[a8͋qMαCg4r7٨5Y遈\x,_W2fu=3E{lm:(-mEz5< ^A+ã=0[F3bYtP~>}Nma׏|b\Bƺ3_h~[=uƓ#)]^r\! juiܡ9)?AV8]ڒsn;-Kc0}lW)~ˠl@Eiaxȕ᫣2cN<)7),#NRY- [HX9r~ @zU텯NDaȡy4+Cxs9˄)2{#1/СFo$ezJī pIA .zqmOa-FS\Wb?8M:yێG*!Z,3a߸upF uf {#S` Ze߫L7'x?mL|$ȹB B~9GWӷvQEX@YMx*R(~MD WU$CmC >E;^5}eQ)C8eAg)ΨQz3~UMCR(oe إGV$]h['*$}ÉnsΉ12%K-PĨZ5x& wLr~ZzaRW#oYF,<ɨf\u+…;4qjɗ^,N Rj{ rE[zv.5gWH6('7<YyhK|(N LIt]fÎjmrVF$ lcI@V棷< *tV6".aj_Ȭ߲r}]z~n+!>Qlc&JGk&H#ADH=F8DQp8\݉cm@/ p[“L!-h0 sp680}de@3`zLsݭ&tuf"i:ӐW*HocE&⻳LI6ê(_΃9Rk>(R.o$M%,\7Y{DCF)oY{=?Nj7-0t֦OR gM2G46%6{!5 Хn~^)R_Lq1h09z}H(T;n$\