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 v% dl ]/ Completeness:threads=2elapsed=15.842cpu=29.800gc=1.604factor=1.887zXZִF! l]ŗXf1-/6vRZyߪe?1Do_O"# Go͘0`=}#91j\-mC]Cϊp$sLDZK`.r%RQvRSZJ";v 0A Lx[tAo,jWF|^հIb[N:(Lq-CN~%/7bbN wnt=bUz,X-K/rd+'%Bpf}[.#X*ۄֵ~V B dʸޛnnOgj. Q?tLsO/ 05`e.YX %;*\-ôXxU׃,o+ %*A2 O{ ߹9tQ7\&_d~ ]T_\/A*[XB֖y@:.о5*mEҋi r_;~ƋwQ]4 woR3'EYiP8 M'*,&Yfɖ z/B߆P:+&R v Vx$2LgYZ7zXZִF! ]ŗXiɟfssn{OBƮNk8sU`%Z6K@bޥRmCK/u#@1l0 ~:&؟ᙁ-i>˯%ocI_9qc~Ir_|˩Gx-E?5#j]oPk<FgYZ7zXZִF! Yk]ŗXi%W~B |mcJ/X_IB7 hQd^{bhs ++Bj L&򡖅EdSV:B%ݓ: wU%_ Ϟ/dg/S# hm͉ʴDl3]bU {:9O2wnsA V M,1E"a{lxxORr>D_cV[7| ttٍ/xZ?CAGWG>!β@]D$96,A6 '1r]f0kXB6(rkf NoRC3\^V$YY dWC4 B>+7haG(%XPǘdWiz0I* I|6D:ң qTs{ٌo:w& f ":ػY>`OKPt9QjLv::= ӳnK'k:ݣƺxl2< K~us95ϒudf?5fѮAVa,cz7] :4}u`IvG`mfqUƕ'9"4SY$/r_V `eLp\u (7c7(QNVWGɯ c"N '^ >AMEc 1C,nCIϡS ,FgmKrCme'wRwg1 1S@F $Х$5;Y+9N@sfP,X8%|=:ԶCdaA뻨'3E]@Mf;Ŗy6Vc9|WJ H՞N 8R4l'δګ-$<2&@;szR-_Z. IF}?Ͻw4! SjLAX$i8u&!qcP[=ǘS w~T#dqBWE;Ac^w{o$\F&Dz->܂<`i*; "7h*Zv\}#_F ǒvO壤 ?""pːg/^, I:&rF|.:RvtH:,ft%Q`4ߗ-:,ȗ8YhFҜI]6v`ϟpݸ=([<|fr4fvXHɣGo)X"& l$&OϸͱP:iڶ)bZd I|FJD2f2U- ^gYZ08aac03e3768c4d7d44f42ac0605be4ac7cc5495d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e % Completeness