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 u# \l ]/ CISC-Kernel:threads=2elapsed=21.639cpu=40.072gc=1.780factor=1.857zXZִF! r']ŗXf1-/6vRZx>3ddCQXfh^x[++M̵3fFK汬X2>ee7.Ş,l.7tOD!,x1$ƟkTt(!UoIYssOĠ|B|/]-r @_t A]S>i0P)嫯O IJ$ }i6UqѾlcCr7F.N g]6 Fw5nM'`FcF;d̢%sFE)y3N!pn^0.yGvICQSsʸ{sUP('#S#ON@#~)"*Fb4-H@FK1~SJYXnj9vh瀍6Qd=1m 6Q&l!P:U85@]i%6jyиޒj4FBDrӭΪoQsVf%} jپ׍d~!я{~?>kkuC1σTwyGqU4c U7 >2yu̢\XCg;ܝ}˴ ^@H ܒgs_B 0sz vp!6 IlA>h%[g1褑"(G]Uim_]AQFa3@'@RZy:hFfgYZ7zXZִF! H]ŗXiɟLN.!}" nPBڨ&wjn`]*pjH8HHMl kgYZ7zXZִF! zuo]ŗXi%923P"(f cGMir/~^vŧtt/6l0Ш@kV_fWYNBJ3khDI8m+OZ+*M?%fW* U`5-\o3˓Ʉqq nUxe?t'7ݼ~l2O]{шANX#=XLFc%0kA~mwF]gK\A/$8h[`b\0}D)O? VC\w/ jD s5oe07 d M_DKk]8<:᝭^k,- ' 1]7Uo9ch(ے%;e~h`Hw-]J;b׭SAYcW=E0lڱA\yY+Rg#'}4xVvx5^SC@bv Hrk^*/i(+BAJQa1qT~YYRClrbQ\<_oeNHMu8sS3 7<2GWX titEhhT-Ay[zd=p  QQ>UWL=`\YʹJ -.Dǒ.ǩX{|8JNN2Q_B+[t+۷@2\=v" * .Ԡu{Nx .[btIP,^Ǚ4bY41-dsmak*}jl}2(,@n}˹➯+  Tǥ|ö-rF% *`9Dw6-#Rڡ0Yfz5dKǖf٭}g1wgm% ģH,pjGy(~>oN0 j-\dy,[6/R̳%!紑,3')G=FMr9XedHYfkC.F=މL95r%jztk*#.6R26Q|ލw/^I8S@{%V[G_G5wtb%s -ofu]-(h ZMa5]"]6EuEa!r~M"Gh/6FdI tj)܄ Zlaآ\^$0<`!i҄;(5SyAw * FL]"4w)9n(Қ?} ɏnL4IPL[b¦q:NGlpdQ#sb?i]|(K4&exIZh ':?UQUD\H1vnm%vhM@Qf-7=.kjrʀJ1 AWiGgYZbfc89a63e44495350150b0230fa8b602044e53d2fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a # CISC-Kernel