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 =1 $ d ] HOL-Imperative_HOL:threads=6elapsed=42.339cpu=60.924gc=1.692factor=1.447zXZִF! /r]ŗXf1-q恈1$1|-~yߢ" w7Eh % .pICgf]7l447lpP ׸uRX9Ə /(twQ-{o|RϗИU{LTqPgkx1!J=FF>}7cpYˇჽ2I>.4z0џ,= 6n䨶Y: }ZXLjR`r:6 ;=+UCR)~aZ"_JCO%̽:$h2'P⁎_dͷ7#` 1 HOL-Imperative_HOL|@Ԡ_|Kczޖ:*.ZKxɂgQCQ<.d˫gx0őql}_BC3u77%cSw P^/4]5y{HK06Yv>̖ 3ɯp5!4K Wbs惒uHD $18|x( # Ty&20_j~"9\ >~a!Or*>l7 up (s1WQtlq3.:8tĐa1]T:݌(Wq<]qO-&[^JFHU68c{?m-1_mW`ʶ`yIPc8s Уh 10҉@(;dia̫'4UiZMwEs-o^UUY^Hx>p5IʧO{Zè*o/ʓȋ@ ໿MU{AdAij$sA2 &U,Uº:y:L%GrnԕT6*ypE 8d Ji70w5CȱsXAC|Seǚ0x-=~u[g/I3b$<3C W-!Kż.O9E-Cy0MI(^4y TyRH(I(7:.͏J-ӰPn~2׽|4iiB2zLx@v,~v`[pyAu G1*' y67L> %j_>tlb>>Mx Л ]e|n'F34?*-<{Vd/Qx!xw'0I8ּ\8M]-g֗BH,_N 61D*`\ܥ{űJ+,1ٶ;[/r4LOg{~-Vܼ|Fڻ6.Pu<|MM"Fgn6WS,Scm!/)=Hw$"{ 2Ƣ?H<~w Q^PF$Ј^^<;"q qrҏd m+t)XL %9i\"Ѻ~wna>U+0|K_sML,qSm[eY"da8:_wS&S >اjbҽP2‰aEaVmP!pCߩy gb>Yd-;(}2dH'oH l98Jo@1[;>8]L~,٢ $[*W]lέH(1p!Q!o\vߝ91!(0|pN!p?q10  ^;ч{~ ժH|/מdW]̙_ Z94<gYZd27d405547e8ba2102781e62ac2541122063f28b3ea58d54a136a485954265ca6aee1aca00e66e9c a213deeff6e0f4dff740f020010b2ce9d72c57bc 6839bd0529b83478bc7c4972c8ece3cbfb85ca72