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 ee' $t< ] ConcurrentIMP:threads=2elapsed=22.004cpu=37.820gc=2.284factor=1.727zXZִF! I]ŗXf1-/6vRZy-`}$=O]a0_(0hzV_lR\rAbG,J*pSh+fvA뗕yH*N<Il{˹0aŠZY \7Oqt)4aMoTdGi$g[a۝ 9'~k?eh,An 5_u-j[I`@tm 9MigJY8hU`Ħę)g&Qݤk7Mod#n.7L u"i3(>j|Ur!AW/ { 2/@r<",I ,!S k^єc % p8nű*\Ӵp\| eܡ M9hIeazƢR,gBV6*&Q[J邢pT54}m)}U1@ĠNS잎QH 6̐Qȏ8^va_TB(9 Uګ=S9|%d?|f.W uh0I}V4Ҋd$7] %&6&e2g.تKɰb#*=_N Qo/L!uhWNzJ)O!63,*MZWkeeBrl90ܞ0;KD8[(d78_m$[“ey{".Z~ӇnlH@bgR*N:/8Q( ;If6Rm"⁖J'X ۱ gdu&c-uMK{q* $ '{-t(+M1Ld>]t\.Y>w A\Ip^Wi"]4HФew鏞 zy>}|Vr h @0W;!H504WUSBAcg|xg-fXB }!eWDq1Y#9_ˌYedWniWOLUӬLW\+Uj:6FlP7Q+S_⍓16 7+Щne5VS9H#C!t(*9Q`/1ޱ[JF3DEL"bq *]H NxEw%bHYc#E;ɕ`GE46͂t-ӷrD*" 70 3.iЅ\ZE"sIlT;$LwP"\{8h1~AIjLRgZP=|,Ni,ۭ@=DR&dCu96yaDC>Ec%MVjU L|L˯_8lMev gYZe5ad6890d2582d12de7e8386e9eafa7c95574acde70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f ' ConcurrentIMP