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 00M 4d ]/ TLA:threads=2elapsed=19.387cpu=31.248gc=0.880factor=1.617zXZִF! ]ŗXf1-/6vR[j K<ԏStpl`n?GS'Gʍ_f'7"~0[>7mpzr\ʜg'e!2)}qHyWPo? _iC}/yPV c%;mEd[nݑ|UrvYOA xC+rm^WEjdZj.5 /I'- @H%azۨ8Si c~Ǻ'I h"'x!gPy/+8Ko!匛Q\c,C)|y4|vbWȽy Z -|OuեűuLUV(:S<f 9!T[-f n6 cUQÀeLjT#NgYZ7zXZִF! ]ŗXiɟ&ݾʆ])03_F_]9 [mtˌ? {01b;q$̏!+9{%\:ǪYE2{=|4o1.j85%|S'i']qy)rFW>6WKۥ5?G.y@P`w*˗9wy"~@MrLc gYZ7zXZִF! lGj]ŗXi%6\@FjmkaH(.iuZV?7r8 Oʺ5$X/;zN=!,,trqA̘.U %/<Jj J>烓.fP iLtF44 0o7(c~=*FzhqtQ^8G{]<] ^֜2M˲ғ1ڽBzyI >q-}@pEsW&X~}akWډCE{Klb2S,JyYE/_0(Urʫ +Kb ɺO+}zAi{'OUw=btt 1'gyzgJPmϥ=+vcohmt!;\R/ѣEN:U7WxNЏn8Ic4hnize0'|J mPx15<%)z2 f7w0Їz]^M[|5rsІoki}4C:3م:h/ [&.k3<[^_hGL%|)ah:@^7~2Oi&t72Hm_ .Z9oٖn}n qSH=FօtgWRu>kt.xaگ VH⩴yy2qO[$TlNv}BṚyw|WggQ߼ !`*X=1`*9&XrRK^g֔I׾x-@.͌ʮ,L9֓hbu2?6[f/`{;Demb=U0xq8\wrJA%FߗT؏:ho`=~b:f=cwФIϦh8SoL칻9"u)@U8N .DSPVago׶egiB<-.XOOaVWo>YÅV|=tǦ-.jX>B{B Т́'+GyYz )UgYZ13739aef4172a6a30dcbdc762af361c4877257a9e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc  TLA