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  L\ ]/ Tutorial:threads=2elapsed=34.403cpu=61.680gc=8.504factor=1.797zXZִF! "?]ŗXf1-"oވ? VòSE{ l› M;CXfJP` X|&E 8P=Qǵ)3Ak6ne efЋhc tKWR䨗qpVSqxj6zǫrT7Uvi--WE NjA:/4'KgHǵ zDF.ع;~xuja.'ޝeue < z =Ċmg$ Ln4kLGh^/j!N A?dr4   Tutorial 9!ٍ~O&aiNaʷ&q0!wٷ-WG1o 9J뙄V.B*݉*l ue>}x!.HO1 >-hnZZ./R:)~9xRtVBkb'P>d\eN ]ؖN)^++'%.!=eYܺQ+v)r3S ЈՖkL:<~0¸8䙖y4#6lxPjD 4m"|ЮDm㹎v!E\U3VtH!Ro~J'ADQ"M!OΑTPOJWzQr?Ue7Vzhօ @B+Rv Šjq0I*ՒsؙV{ɃB -n% s+B Exi,eZgYZ7zXZִF! ;]ŗXiɟrj#>׋DĩOTL}e4[VIGUh˶(b"d_1LldUcjm,{ 1* ]v3>S FyxZQ@Z_:7R# ]AG??Jl@ ƒ:~ʿ7Q=]87[r8y_Y7.[t?e92nҼ(3Ԋzf*Ωz1hjX26u>8]ʥ]9ZZh!᙭ӽO:lrEc̹>YI=ŶI⹥o=MNS_<} ϛAZ^6Gwk/+Z8÷ 8ڇSkolYFボ /?6!U4\١0)34r^9p喹iҬ l[Z|VN,`@Tї!{yε+zI{aVٍsEÿ9wr|_ߗ23@r7s7Kd_;(*KmBL(Նy~ZeՈifkofW R \52]g`"2Ee70*:Ik ,&(DFםh^ĆaїR:D8X{k/fRE]|<:8|uMiU@X *_togE@!ZQp_Hq%d1՝DOe&gω$0 Y[~]HPb`ȏ }1㮠^zl#29uqAit@Eo+ .pqsO_֋ GXm}gYZ7zXZִF! s']ŗXi%9(PKVh";^:7ʌtN-4` e}qVh[T]Ŭ3႓Dq0t< 8+s \! f0BM,XrYsRZI?j<Ֆho;%;d_ _~'94{76&5EEaDq}qHqf:IGWFZr+ޝV>CaOQP['#ȼiϏ6}!;w#Z<߅q;]2yjȻ @wET,sSMB\T)BGwytcBӧ+@h-dV%5S_*$TT\⅋bgN֮.-.zG YG֓,ƍ)}WwZ'&;ۤ{DIP5vs*3>n#@o~!G%3lQ?4TN+ȿ@&(~]/0pB=lG.AWuᝄL$H)7tKlpB(X ml,`9Gxxe"tZLT@ t,Đc36$TGPYa`8Oʍ eQ&Iy'ͪ63HklxE3'FoOWa~gL)e=En~ kv2_zM'<9t9o|myǺHWCyh .RT؎EQӒ9 ]*aBxc!@ξ;Db|ORhhds̬e[=їay UY|& DF]=w 9}UyqJاڿD=6G.܁YPYL_,LO+GRw#R7zuKL 6J,WęcGb4wKTNU4/̕XY5MhĞ7,H6^-2/*\ <>*H#-nV#ZX%cL4ufޣF3$`AqJ>{?ׂj,GlL`"OCsĉ)s`FãdVC^/y"hNEHd'P[쮼S[^,"g~x[DIүq2z[(Uo 87'@RBzƹ/T5-K ?(6jҊxg Lw|:+Xolsۓ|P?@}>.}kzm]MW9ih^d'3Ҩ*~ZrDlXn~2v=Ddikub8[BǙ[aNB adp3vo[F1 -Hn'DF~2ML)WֱgYZ68bf68aa411d5688ecac5759fe1d83de835a822ef24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf