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  $ $Y) PV6 j:|lEW|]^x](3Y+P}dXX?Wpb6 ,WAΈL,o)O}ڈ$kz'tcT'cOE㯤g[n ÷"5ZK{Tlytctj Q5H+$y3.T4V*ߊ_aj̩Dh-rk>U`|^Xw:EsKClw:Uy[O SrȖ;<*,Wf_a1*Y O9gYZ7zXZִF! \]ŗXiɟ:4+m.a9o;<mj}2/bd+IV\-m~[X9x.~ƱbxEٟ w׹xgYZ7zXZִF! *.;]ŗXi%9#qzh9%N !mCKW: G"^&ήd RD{Kk@SO#.e\VKCwlsnTmnӟCű[ǧr]0ї-ᅃc\L?iܝ f +G򶰍jJD `)<v@GXR]Dn/KNAVsgP?x6aÝ;6g9F&1Q!GI[[}JbbN[\jQxS Wgi =-mѨȾ@ sDBHrۅ].9D\VR?ˈ]w5jxQ%jc6\*GW7 yg}p>$nNG, +q>(gpC3L :m)ߔӮ;dP  =Orjo;î d0`!gXzsNA/-+𤂍Nt:T]cD4]TR'EP<?TՂ=gYZ507f55abb377874b23e7d9f23e70d955293c117a8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 2834d0a4ea323979aae3112271571fa525fe4cf7 ) Dynamic_Tables