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 f \ ]/]HOL-Word:threads=2elapsed=21.440cpu=41.104gc=1.652factor=1.927zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yjg"&4le,_' ma(PCzX95芉Ypѹs#q;K8y}6U:VnF+9/Hn7pxNY~jyjw0a<M8rlF=K/%-)O;#ͭ)lX=)^WdIyui 鱍e:0td>ܬÞ~2ct"zIV1YI bW(,nRp1\R>|ђ0X[HtdY0gs֏ęq_!1a0 "1oF; w{!\4X{gGT? y~a9U)*9I;Y*99^E f\;#{j3{HIM"?tׂLf[Xk\z7H 8WZ 8ЪW-g)fv0הPF;k1t쏹G!M8[-iOxzrLpnUK"J6xpmw+~1m5+ibkbVA/7t$$% ñgYZ7zXZִF! ?|]ŗXiɟ1˦r8v@Wl"`&Ba+ӎIm_T`2'Easg.g7ozUa+Cbq$Lz$@8vn` N|gI]W_7K [^AN %Oj`YC3K[J7BޥK[ ؓȲXRĚu^sC>M-lv%愣z(7 z\x. yX<`XN%EI3'ͽ=c֪0ڽo!k><d{ 8%\>H~ϡ5hrgVҾUx5r)62Ľa/w')t\SR3 QgYZ7zXZִF! |f]ŗXi%;u.YpӤJ=4|b*^Q۹_@:}E)T`9=y3Eef}!yI<'>djy3_^ m[ClgJ˳\x\;yJ7:f)mߚG1y 51;>+ FPJо^۟<3]2k[xESʙM|=R"dX4QӭtH~Ipq2n{֪\*aONRbqyO^eՠCVЗS3^t+xvgg# [E;юQ3րQ%"KRXY#PNjT+6P }( Qsj45>oMZ*f ݢ9j9 }G Cu.5Ņ97鯖sX>3#&Gs ,%]X^s&0%u{A$0 Խ@4mPJ,  ^n\!)*Kf[]x3ǟp"k;X<bI]>95T dְTqXO̐qD|3A]:)`2x+¥:ytȃ#v;bt*rgϔ*6PHB4Aj)a0]:k+ڽ+=i խ[X@ SvVOd3f  ͙̮ۭml\#c5#[ipx-!:n-wa܁%W=Ź"-[A`} cOXBG( [X2^_[ǀwIdo[B,pr*"W6Rn\{A l4z5n˯*&Y8^Xq>Sr:9 @ L٬U4ا69PUWE4+aXpkVz{˽ TSY,