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  x x}1 | ] HOL-Imperative_HOL:threads=6elapsed=33.870cpu=79.644gc=2.696factor=2.357zXZִF! -i}]ŗXf1-q恈1$1|-~xjC@c+幧 ֠|hmx]03ۙDFø +Âe[6Ǎ(PϴBc񓴇0A4R5_|J;P]P`Q8$6hz'IԲA}<ψםU$a Z> j2mhv$U2BJ\Zu,T .fbPh>m; U9s+^{]cMD'x >]] cZ\4gؓp?bC#*{N~cb@=/[^P9c9'DH0,|п:Wi0Ǣ"^vHʫq)x6W!F4LmO'2+SgRkN4:Bpxoseqsc31-BVhmC6E>46 1 HOL-Imperative_HOL  _B08E(&Tl)v>?s,De=TTr.62w^kci)-fbܗIN!v-hJ xo6ATJdYvfeME:鸋~i~U+H})#s6rt/ eSh2K6 j1 =U\X(AΰxkεMDSn}V_}*+ZWBFGIZ xH1ƒB]ϔ)78J{`1 Z,gYZ7zXZִF! ?]ŗXiɟ1nhЦx"n_8N]( eOtd7d}N 醋NC="g f੍&ycs%"{w0v1'a!׳?l5J]-eK?[{OCAD]dN-v޳~o.V%Oid ;,x+&h Ǭm}:(/ rtD lһ:L|.ܜ$즋a2z<qy pW'llr6yjoBz̮")FKWtRzҀMĽњ +ś/já!e~} $.Pـc0,ϔ7 &LXkѨ5`?jB_1q(ꠍCr}<'<6ZQBI͓BX8@wu]^,sH\;ڹ#gC lDԝ_ ~eD! 66]i? p>E% 14%9X:a*g ec0gV -?>IpC}I,²R#Mfqu EIl]PMŶ%NJZnUS#$rprWsXyQ}L[[OQs@VfƽW̊׵@jFegɴ{Ɔ1r;eWl #rϓnMtZ 7hD >xE<\n;^h9Qkj?Mz:ijJw MLcs[YU*us˹?dW@zrr+Myfp!G /X4Ƴco mXL琥XIDhk\@Eq~Gn7N4f3)my}&Т;f#gczgoGyEa =rU!53~E|W"GPl_d1=QG1:qJ9 Ȱ=MÚ#Gpt$4q_<T"ԌS@Nqn[ (EqhM6SGfH y@Ԉ2(սkm4k49N_- vNQ4Q@ކ-%(XT0o> Y`)p!Ҝ oF|ZnCuC@m~K׶e7%?ci0R'`Wdq:P+Dt$@41Q:s>[?^K4rBaBj-x޲Z߉; eדaGӤ_=-2(o z:Wp{0HmJ ޵{9I޲r3=HAŦb_(=kA Y!Vi5nAwӵLӕ*gهsȸIqj-3ޥ](6Fdy fCyEn=/,l@|98N<)2?)3sN .(0PU!Qh0%{4 ɌeYw\~@ ^ݦѽ GmiR ֳi޶T,:vR'hGc}I)> o'hڏ~{՛M9|9$iOQ`;? Q`[cH,eEJx*KNYx)S\)% KS yKag}a2Qi$g-PB .[iԂ0+ x8Gr9RrPLB-o`4 @:Ή"8G4l7N z&,eŸJyOYc#CFӻ$ȸ'vUp5F,@Q=I[׭÷ca/ )tJM^$->Q) wzV I~Q~Rn? ̷GC )w.'`Ew杪h{ca|nxpRA"~9f$V8!yC9k=ؿ