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   \ ]/ Tutorial:threads=2elapsed=29.001cpu=52.752gc=6.308factor=1.827zXZִF! ]ŗXf1-"oވ? VòSE{ l› M;CX:T8u׋DĩOTL}e4[VIG!ƦKHl'Z!*S* + ~趒},=i1@D!)^Z$T0vʛ#ОHwwʾ\A͓Rw:~IЁu<;20PϿe~6؄. D]?N$ ->WÁ(z H4~>Vc71>oG˲۳Xw- v 3Kvi-+{'ksK*?^Zs2w8 ݣ1yѠbH~40T]Mށmf b8*)wSŸiKw?3pN,6[i}gu_RM .)@a""&pfh,M'o [_W8bCcQM:T)\? W74XѠl Aw * -hZ-ÔB `zgYZ7zXZִF! {h]ŗXi%;iDٻ5 p'>~ O)B+jYɦ0(}DHJ:k-y z䟕l\_mDh!UQd.Vx4A$UGN z99`U#Fm#uYXg<3IZXj)hkwi!i&<~ ٟz3չqkh%*yMO~k|\q%m2C${JI /nPkMmIjN;nƱ lhhhrBں(jحU8w%{PoHC}|ՠ>D.O11EIZ mjXڅf1Ѱ!FL 5)6r^.6&y~Wu|^4!]6rk;sfv^ Z9x/rs0W 9J)3^l~θ~9+9-lF>V-Um7 }e ]ޣ'N1z7CK 4v?s8 Xm!CQx`bhg6,oGz[vk ͏l؂=7w~lbWEγ  t3ͦ'g8y4o+?=ڳ2`MYFַbVNf nӜǦ^xn*q$K{Ku>,h ;BAZ_Wr#p`elLiȷM!&ӻ 0ե0YɆM}qŢZџ~28vVYmv15Xm'J`fOF;+QW#o½Pήvy3{ѳ Ҫ$V^]wL6g s4*{RbJʵe 4$)"!2hlwmIBJG2\!lb`i?FPdGDPP AͶMx}.mZ7?kXܑRX"y2Z%1fKջ>V{Qc+txkI"xlm紷kqH'pT;R.t'H;̯|n^2_@tC%~d(r3cܲ1;޺={k)Fzk,)6{{Q. 6-)7GQ(HLN K ɶWIj󳀌}0l8ko2HJQQK! kKV-c n/a8*<]Ga*@:Ǧ՘Ӓ%W$|(:7XYH+~LW8g a[DJ.AN5>&9G`JFnpW l0>h~D-(PLNTk82ÿKj!laYLK8U-Kp);|&c ʤIy9RH晽\ʏMo8h MgYZa37f648eb4312ce47b931fab8958e9ada8a819ffb6a06941c7f4d32a9ff0b780ae34fa263f209f1f 17c087a835d148ead0faf3b05e4801803be6efde   Tutorial