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  Dd ]S]Matrix:threads=2elapsed=42.779cpu=74.964gc=2.948factor=1.757zXZִF! "]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیxm`jpH@ ?4=1d|yǛt'ҌSh?v)YTB28xdP=.:N lpw~| //nF.rbV'8!kkJσz1[K9NQ[`H%;$O6vzԖ/mkz#QhʱP%P`xW-``x'@ S;%ŷsޤ%/0A =N]srѱC< X3Ln-@7-A@4I)/ BXkVZ   Matrix!'-{Xx`4h=CHƟy*>-M&%]Le;ѐes3s5 -X>_bEi2`a$I7A7:j'.eQsFV%# ?`7a[u1#RTj*f*aA>VLjW[NS 改rKˏ õɅgPoİ?㴺?'n;%ja ,mFW9. צ57Xo% pU>ftx=Q[9PKWWy6 @#͓7$!4^H碶HPn:!Ya$h#'3kv|zόKsL,'G^9"/+I*8y{ aBw|c "!銓[\[?(4$'8h&~N*:ғ)+Zf1JzA&8LvճuYn<ô [fn1)L`a&>1~FǢosՐ"UR!r\0DԽ9?zN^wI-%BSq@]DXjG!؏_E0]gYZ7zXZִF! ]ŗXiɟReDH$ 3gE= dhG ^?$KV@L2i.#|*)vUӊ֭$eax%`ݟL#}5\vABr7D.%?,rל9ݿ*S`m.H)j-4G:-VwBYmd; )z~ҴZIdd ֵ {@sZ1vW]Fwkn&LAEVl2m+F$rgYZ7zXZִF! J ]ŗXi%9(R5}E]^F V/^_߬S61t VՁƙ^08Qf Oυ{} o4yhRS44Oo 4{2y)f>FxNU #GB^čMpk@J"4ȞTtFyrA U@R3.o 8W2 C+qBGcNf9~:5I۴hY.yDd9`p 8I MZ'WּfX PS2_Z.N7Kc*lpCQIo^(UPH GQK{=N%[nomDQ(INo: nKA ͵I %~%~\&0mLd"]w_>08cR;:X-U7YH-j"Ix59RoYj!]:&53XC+#JlnKDG_<*"tǘjNcxt@)-[{xu-9l N.-[p28bO7@2Y-}Սݍ62\}'ELr#+UY;iLG` jO[LF'1| R&)41ͷ_9|3zW nUq2rLޯ8~XEbLr N4=_]mb2/|uCL,1A䉿lPG'&jڰy0@<*]+$/=6yT`Lw̴rӑ{A;%WÅUlA}]:YC{9OQy\De(^>;HdϢOFt0"] 7m8 }Wo?:{ Uִ =3_W'}߁, +DP&yf:8?J'} @_2Ad L<%:vL$Ίh.5!̄4xZ>'h%G̡[2,[x3e!,CnE=yJK鯴/s5rC&bǪH %v4C\LoO27no3jT ϟ*;A7W4jld ' =8'A1av+ZПucFuP=< ,턭?gGuJ"Ӕ7ƝC/_AmA/5I ~TuHô"PqI*T(gLH7d W_QUi#|dP)SyBzl\+;o-܅ )#U1SE66x ;DBDOK|uYSCل:cBF*)eO'>a{%ڑX9^ -8d1]O ^P3B 90ǒTKڞҋ a9^ޡxK3{ۿp{|}u@Oln)i i͖SX}kV'=^FXX $mbI\=#賊ɡ}{*H%k90@궏H0$֡A 77 lG1=\[͞*e)N-k_4L $2eŸQC ;o!ԁfQ~BI>'b^wEW~X$Ɔ;i6R]+e3-ٯ_ܶ~UHk+NS>!֟^KjT%޼\WwdK8,M#PgQMnu&$2٤|#m`07s}[a.:e[E4IY𳻁+qh…F<}P3톉,a&KrTx`eF%;#scb13*~d6EaP[&w~#O$ C BE A߁|w} W"G05 /+.1HG `wak!E]O]KgI:so 쯽H*ag3Whx@捛6{ QmlonvqOv~DL`go@i$|Qoz!g>Nke7)X