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 ~ \,\ ]S Lp:threads=8elapsed=12.621cpu=75.856gc=1.623factor=6.017zXZִF! %(]ŗXf[&X'y`T=+ˡ-(uAVw4uC4EA tsQ~vkQktGќuP+H_~b?Ag U"ddEgwpTHSz)R?ILMJ2"a6kpalC;U,ԢCҢH i>[)!$n3~r!@=!h@S$po%E\Q-_3ZE] 28C}YGX:sK^Tb~:r~x(:'}y;mJr/G6}uwc-āEoLEb+Ҋrn bC |3&73 `o=3Tc5q/$ZpP/l$0|jx0ʏYtLΕi*g{3)KÿҒ.wI.pٗ;}JSeǺAdXπ.:"U%j N5wj0FA.x8_UM!yXsZ;?;E׺~A ~+y}]8u>b"7~6 [稧X0!G`_QQh8r%)E>cNa*<'h^nXX3 ў܉DA2!akzS|S:F{_|<:6wN*:;{#c^Lؕ,ۢpٟ* c$u*uC5GG_j8HJĐ*e7`GGJ.S1wi1TP9S|CK6gYZ7zXZִF! ]ŗXiɟ7 +W*2TG= WbzAYLh 7qↁ?0 ~KQi~gtS*]̳iN:YR蚵ywTE޲N|сUF"XSIUt{/WVBCBS]Xӫ'u6#F*2 r0ǀO,^n.|ra,΢zY4#Z|XBXh4/gΣir0Ł R44uuǡ"-gυƸ7ݸv8M&d W},-!B|}8^%k{McWl5.:0Qie?K72e,E,Kst(MIєJw5RCA8&4Es/`Z,Gի[Bbϓňg s\Wք] DpNH@Od99@;ڲ_)=mnJZ߰l-V*$֘1/1z}Ͱl8iIρ5hԘeKL d`EX ণgpHg1(o;Yq:3AWӮ%OJxq M1IhvN(إ +t@M.?lM\G2/x $.k+jqVՕFv*S.wf)U~ɠ\+lwGޤ{kx׸{ez[~Vn8B)vTb3L]5l>\["pR1C!=ڇ{*Rd%jJ˖.KeZRN5u8VܜZe7m?ְeٿc%ˈMd|Fܮ|IBrz_r\*;JNgyrVlIHtFnS{|agAuC=i:pkHk0]&=^hs@g)Σ.@H>:v!#/B Q7j|A~[jmmu =KQCэa\"3Ov[;ΤַrߖtR'^8Ӽ-֝RX Y>ďrCp5=6Yv2K"uo, l2ijDl"W)?^L y~p+ hhT$f/0"NWNiid}u@^tYmIOA"sBט+Uywa|rumH lT=XXx\dW8/ȇaBv]}r(]r sWLEQDAޫ-jdM:)и֭5kN |6=Mlr2#%nP8(k֪yqM[Tiݰ-i$6YØ>]tʀ:e+Ǘxh焄_D".vxkYTbR7IO`32^QZK@(a6&X*F *kl!#oHJ/SآIS|rh @,U*HL%i^Ѥ