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 ;;B 4L ]/ Tutorial:threads=2elapsed=32.422cpu=62.060gc=8.752factor=1.917zXZִF! ]ŗXf1-"oވ? VòSE{ l› M;CXf.d/nwFZ,$vٺYl@0W+rxbA&= ͢V.~jb+U? 0ޠvl1AP¿]L+[vi^ 45Y` u^ Zzwky)#n}8 mF!=8Mow itl,cF{[O&>$HYNlKf;H[b cU8@;Xɤz OItVN`y[0LjNKeT{vs=H0]l^#~MS gK\0Bk}CF|C(Q/A_uW2ٛy8YT"O^*`gf&tHH/_mkTн>O#NiORc<5ɵPt#O7@δ p@ԃ-Y]{-|:prX@AN?Bca{^1JOE%d/~ $&UmGa^$Y7'Ӏ¢8S]w3$P,07i0v e*֥YЗqj,kR쎨;Ox8^!xs&;Xc2gik~jg`r<ˡdZq3`>J{Po EE r:ोW'b ^gYZ7zXZִF! ;]ŗXiɟrj#>׋DĩOTL}e4[VIGUhspӒ73X#[!cdܐZ ˥V˝Ka4NƒDnU}C5'{sV"sw$ըh7-|;x_)̎C"Y(uhR8tI1c ^'u |ʅPRJ6X7w%i-[XS=q8EFyzZ-0Ab5e?@!\nSnkQ,cxG?iN!`;82M=5W?XZ?DIFҒ'P#6_.=rV1ʛ4Sln}٠!6e5o6j-"$5uk0 DX5.HmcG&9I"b"R!(7&_KR89ƭ ۧC@o9{t9Mv0J!nuJ̱; m-sϊm|RMB+jjӡu2.:P.vD Zg65ڝ j;r>BEFXXpvoZ0OXd=[r9oadd(jߖ%'s1ld?ߟ8|} uǁ-v/1u_0($6A@nw]_㻧e;0Ӗ_rr'bk"qsYӧҟvWJ>+;<ּ3Ѧ*Ӿd\!zc29֒1WFx3iu";5 I#X$pj]hH~gk_-kSp`]PGdNAOUQ1EaY.jjTaB˧X~L]U~UVR=a4SȧL7@}oLji*rP6"~K>i8>Ÿ WfΣ<[µ! =E&/\uNÖU1Ӵ> z\frPT/$K|ʣE(mhOWbRwVI7571.W;P~yJHEߑ̀8[X8v<|Je@<*6)y8kuv_SPmME4# 4E$TeM>ޤwFOZ t. -RZl*[M7~[DӖ%,=*yKX]C&: ?ֳ"a.6y 1@KW\JhI-Ηj74'Q7+܅]?+G oA>"nbՔ70**YVۊw%z3a9:;Cnl7f4us`Aa#ر?qU\O 1>;?*0fzVG@gQU[_$nnע:y#VOyW.h0:QA 9>30b1b4Ueai>QMLyġw4/C {XF^j;,S tKdaʌ|]9ab(mdLòa̾/q ]v{ZV*zk ?YP7c~٦-V 7_9i>`Vݵksg;'1cUƈjL-Q 6+wz"S[S%,2xbTb q.K }H,힍ǡФL'n|jsHFU17ӏY.qz6LRoc C[?dLݍd\e]gYZ4d79b210a0bd1d9bef6c02c3318ed325bf0a92b9f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 35eaa225201857107e827622fdda13b757fd8deb   Tutorial