SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 SS* DT w]LTL:threads=2elapsed=31.717cpu=53.860gc=2.024factor=1.707zXZִF! ]ŗXf1-/6vRZ "@`$%)U^Oh'^C'L0"bpS r\gfAѐ_h= ZEM/p޻l.&cJ, ֨HP %``0bDPx l:ϟLx ;q[s| 9cI{b:6 >I,#ުR30*HOüy繂[ԞRbh i?[ȃ;T1UЭj4`~(*xCނ:N}fc՚S-}$0QWc{޺(/b$I[pz:Ufo1tŸ6[˟o70Awp>l!$ !,B^wJ8%_>){itop|-IQ 9ܠ=ҀԽ׾ܠ#vՅKgmt rR4 [^]319#④zdT$ ?X bh]L'(wF{q<|^3}A>:sY7FaD?ӡF6dpsdC7$/!6 U! $ͤEXTqtfK 7zE ة0Aϵ|8t@_Sbke'Cz1YDr8Cm}RkTiLaIE XzҒYDޖCHѿ,*ԤH^h: hQo^w'Il'T{iCgYZ00fd14ca9b781c72eb16aec32e3f4e722603cdb5 02693cbda30a7a4e72da59fbebda9da8acea4fcb 6540e6e73c439215113bb52c542dd2629f8a76be ed67544291c3b35270e03bb709338e31a6720914 eee8e3ca0fcf28de481b458d7e68949f7f4ec678 f1454bdc50e5e17a7fe5bee3c7612c578028e747554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a38700ec1f6c9d6bda4597ff404e2fdbca487934a  LTL