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 77F' L\ ] ConcurrentIMP:threads=2elapsed=22.631cpu=38.664gc=2.100factor=1.717zXZִF! `]ŗXf1-/6vRZy-`}$=O]a0_(0hzV_lR\rAbG,J*pp񔑷TOUV-⇴R]";&"!<.B%jUŖŏMrUʁUٌϒN-h Iow&2*䲉Ϻ,tx)6q7n1EӔiB#ʐ7R {m@ ʢ39҉h{6E } <ÏsBo{:RZx!V"6]ľ[:dX@E$WneAe Ӈ)R` UZTe@Xb$qYoF—c.WM oHyB,D#Xж>K[{9ޗ"_SڟfzZHXNrJGRA&T%*ebҦYHke+n |~0ZLJ/]4a;[6NU"*'pwF^< @ҀU7义%Z5o9 _|$sȇgɘ>c0KmboNXʪ("/gYZ7zXZִF! p]ŗXi%6$J>Ѥnǔ~g|P'ef@b|< ͺK0BjS)j,%rH§qW&趾O/gBĮ \# j=Ta?f'KjUb|C B <=Y$ ^VǏKkEsC:#S{<(0ӄ .֌'F(:pԗj0q$Ԅ0Tl̚,q5E; q4VE0GLѹy2Z˛!/d9X4#,"D{ ;gaė%{+vN^yz*u"?f YU(*׏yXz[US\_U!@{_ aVm YֈeǮe\x'cA&h*z Z]4{DaR7T5 үRXsc-$ӊ$ӓRW }iϩa^p&m[E:FTJ)im׏!4)rÍќ֏_ Ꞓ]0=&(1U&嚆2SzTO!NluO&CvKT=/W//Qk71<7Z 5 ƳZhb˺|'cO HD"ꋯndETogڻ5{˻irY|*eFM,VdؼȱI1nGLxNMf Pj?91r Ќ"B) zeE$ULGu\ox"%N6TvcK_ x$Sy)^uSgxd׿p[+u${{ PX$7VNG:Rxf `" 7A 0M9 P]Ol)"͔i/E؝T␃^{.Z=G۵;RM,79U9=P5@g6MfZ?;iK]Ug㴒f0E2Ҭ^H%EdHڃאnPmүhHA?n/a$]bSZ5銍.֊F\R[Bq 7ib'Rl] b }sPF4w) ~gYZ54d0b633dc2716a345b9a342fd6b0c0e2d85f91b72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28 ' ConcurrentIMP