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  & &W l, ]/ ZF-ex:threads=2elapsed=10.755cpu=15.588gc=0.484factor=1.457zXZִF! _]ŗXf1-W(TA)GdJ pgD3?֯2hkUYS<&xsڝ%e*!uOc%o7e]zTD̲R2ƒ#\^Xxmu "+ߍ@gwAsE OEkk_&Mqf^"CCdP~('J;?&WDwė̾zh ey2_ FgH,^gYZ7zXZִF! ]ŗXiɟ9)u%Sᝎհ{.]\ذ[. ZFekk|dqs *d߉Ʈz@׶m,Ѽ/R+d (.Vl3P)0,UE?^&@Ei]׏ػd P%fD-:Ć⍝TjF6gYZ7zXZִF! 3]ŗXi%;b=izk؛O/Dh5&?ë6O<]]'IR(PD- 4_]!iRs/Hrץ;M 5ԃ -}T9۾Yz~p8>p.q%/`\>OJ&ceSҟKܔj:<7tEk$ʊKG 4G S]w\6` j[cu2cƷ5lMgUFkA~G6-v讪+X9`rqnf;"~{ Bvu1nc~{32;z_M1n̏Xzԏ~ h$)gr~?h,7ڸcj^1FcG ;t giF)snchENlzcP(t1n\{&;>6n jk7q|[ĆΈp?"`"P7V N:سƟ]c,pKjzeGgm~4=S~Lʖ<%0'8  ; Ei 1xoBMW0r3u) s z9|K,ݠHj^O]t x(zYu/ʄ9# u$Xx`+ R^b7xGgEzKI979ѳW7 rw|E-Iqt,iP:һ&`Y[yXTP>Lu}5AKOg gYZ6ba66e27986aead3c92a88344518f8d2b9537d717a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d 012d82271726e7eb63137227b7cef488c02cdf2c  ZF-ex