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  4$\ ]/ Tutorial:threads=2elapsed=29.318cpu=52.788gc=6.212factor=1.807zXZִF! ]ŗXf1-"oވ? VòSE{ l› M;CXf39-"t7{voS69~8lz^'n^wG)! fBb->=1<Z +G<50g#G\3뾡!j8mw:p^!8x~& X`< '-jgYZ7zXZִF! ; ]ŗXiɟrj#>׋DĩOTL}e4[VIGUhˠ'"d`LldUcjm,{xUFnE/s0- RIWg}IE.ʽ3n/#}JVo?+!_y!؋֎%(<Ċ,l&73Kxibm5G siFh'|ʪ*ɜ_ԩLX@RHHPEIRܟNR77ϋH'k.0|PoP{JxLwQ[ad&$"SyIG(ꬅ@Mpy]_QMٶn]\^|XWEg HFJECmKAJ.B2݂v֠̚0{Ѵ9u<6D[jt/2*#C\Yuơ/ F3"]8Ϡ8jOˎ%>gWVNJI:8xj"D}{"f(}Rp>m6"=pT ;w唞_v"-U՟/IBr}yЛ&Z2Pf}9iI狮իNσuo~@OY Ar[]%xK66qeao}c`>=3Ĩk^<%|4!ҝu|^]W[!-2b7͈ ;#^ >/tdI#ia Ze* ^oy~!E,ҟف4lAZFFgYZ7zXZִF! }je]ŗXi%;cbWݘ#UW\ׇmtɧEZ%fIѐ @c^,Z@o]F`:+Э`r;U IW8 u?ز @%I& Ŕ\VfCGnaJEgauP,պ3k)ZX0"|`i4 xRiKTDQ22 ^O~~ͫml&Z2LHdr$,V狉X =}rI?!i)G9NXʍ`?X{']W_i%_aQ& ~P'&ɺFk3k6 *Wu3)zT?յ?='.b7ZU'anȼBx%yVvI{kg 8RUO=A =vKIrE-sF w[k)z_\(+|y\u ɭM61$hylh`i۳Y1QbHA")V(]arEtFOkN|z?A]Eӭi (LX)&0q\A+|k%ρ's8)w;7 R'2*ϳ<+ʈ%QVJ|~<'ci7'qyM eo!tn-CĐWuCq "%{kGէ $'4]Mymv޺bIl4'5yRjBjyVU */\NȞc;( @T}_zjy CX}>Sr.[-x17{§j;H/hXJ{fC]lf-_ {s "g p%7_lۋP'W^ts׷ -I:R[MÌݴ-/dm-ةT( }.~Z߻L|ڏ)t %FuX>GKNv&#m|u^r¼|ٌ3Wzk)3ڔzd 'ގ|N+3k+QO|$;  C|.넗Ou hȖ@.(X- r N f ̞OJm5"yӪMXϓݠ䐖[?8./o4*/F|b^Tlp0;93PP"n$&€Y\nqNV.W ";uCvYubm:X61kA2B#fUro)AxV[e~]ZK1l >]6B&(R8aΠVy̍;9c|r!n>C&gTN>,~Ҳ_΅Aot󍧎M*F^6Zlae6'FV2eT ~q-vy>af6V0aRcm Au1_Md#h§t"p*c9JzpkO->45),Vhb7U_e~.ΡEb-,tQ6]1jZ 0|—}Sc4@Ř&tӠ6=->C"Rk1n[2b<{ɉ';菁'7 \Cl]8**:ѨZQܲbh9AØ;&>8ҵcӊHKm4gYZ96b44d9efb59e024dd56595f6c0b362406c51c86047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167   Tutorial