SQLite format 3@ . BBh77otableisabelle_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 +  ]/ Strong_Security:threads=2elapsed=14.916cpu=27.900gc=1.060factor=1.877zXZִF! y]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[KPu~-4ѭǻ|4TC:y͐JGV o -.ᓄljbg6afQOhOnrѝhdb`{3]iw=IY<&L!T2A "v'+01s GsNuh/.(RPy|*";Ê=S. jDݳuO ~v^aeӷ5_$ho֐>Nv_ZFT͕C5m@@+rm@6SýpU魿N1-BI4zLѪ6|I]]9fýQfW5nbZ$JFV͚u/{ew[Ȥ߉1& D]4T<_UeEH>A؍7B@6 +m*ԓ^; Eh Eclo␟WFcI9W1\?O4G|gN M5fYFX'T*剩8aqI7(h] P kLvo:+l&7ju LtPI'&HgYZ7zXZִF! ]ŗXiɟWڱIY\u-Iv*#o.(Olj,ɰJwwAEf3I׷[$<ھLxZ-($bǴkݯs :Hn(Zȝsc꫓],{ȑ]Ԇf,kkNjǯXA >e"]Imp~13UQ^If<ĥz sO,.kG 8@SAe7ǘ6xW7JBRǠ:gYZ7zXZִF! V]ŗXi%;iܵbc*'.v7utҤEqR tz'c&d !iѦH\LVAuw5PU#S61dMydq8j`&$Xd sÅXX'kWxɣhDӉ9  % %/CTu:ÁdX׵,a|^i{q%I[x&m+ /I 8pGp1S(*}[W, Q.!4W!n(|G63BE/tWߠc?<}NiF]Bؐq[r8/3t8~vi2Hx:}&~o%ojpgh侮w-媒U{f;!$!G{:ՔjYWFuw1$~VRAgMݚU [όZt0cX$6dnlVx>d!}rlV]Q¸>[]Xj' xR]7O? .x3Gp=HO ֢O/:, bfet~g7*;8{kj׿眛 :eet"2 je$k%=jh,C@E+_ FJǹ PȢ!vqfnSTTU>/G)$/O!|>×4rN ƳM Lrӝ *pWjο:3??op9lht9vl+X{?ۺ֤w{(\wK̓0AY˫AtS0pY`Z4M7-/-~*6T_5íq6g=^Uyry-]C9T^w:aDB~2C{E_\;Ac1+x6`\u,<:y;u;iknˈfE'ظVηFdYt,iJ>jo{#n$b9AJ1I%mɃZ٣ #P*gYZ400b08846d55a6bfde3557db22d02be3e195aff0273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 + Strong_Security