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 @@=1 |\< ] HOL-Metis_Examples:threads=6elapsed=12.350cpu=53.592gc=3.076factor=4.347zXZִF! Yx]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓]7%ب(yjNG`}(ޗ\ԯMb{;K 5&g:aFWq#f?+z G iUNHKnw8xFʵӛ=>Ldߣ )'vI栉$[-U٥QOR޾wQi,mڹ'LdG+-/:⢷fK:]&Ps ?#ۅ-Z!x MEt*tE?O5@{y؎iJ{SHdl~ty֌pVn |g\GcZ`b|c +25Nk ~K{44#,[S -=E`U!3%q_G`)" _`!SEQv\dR5/.wH;ؚRUu{E](W:ȫc]Wt/M(%=36Cd fV9s:1VSm/L b9ƨZH~3rhʇqL)Sw:!24p85k){ TW{^&T'LW VŸ 0W [UaP-BAȻ5cۯ7֯1d}k"Q!hQ@Aq߁0v83{3?EFZLl/?-87$ݮ ,$FH g,Yki8?B\B ahQA7h?SXI&- r4p^ %۴z6Ԙz~OuZ dM{a%(9lr6C<cOg\8RlWձ`Ų Kp= O@xFFHi+Mh@"{RܺM\"irGJջ1$U2QU3CȎmn"ƶfP>q[$-B)?|qc"b];!уHXXr%;f`r#uԥpt }{Ue 2AyP  B'Dn?mvV1߇y`q(`+ՊdXV}whGs>2( AIƪҙ\3AB3- O׎K&x}m`KnqPڕB~_[!)a N "Kdd GjM,v6:r<;S[n_+t:xWRO^ +Iᓆ7RoaKn^.ty!r٫² 8f{iSc$fɬ&G=CdMPg@4܄-س=O%5]DZ/1B~ ԝV (`Z{ NNP,!N1 kqܛtk [ߺBu 4;gÓ<ڬJ* {r0 Qq?h60+Vl"8,zaGCϴe\f!WCFB 3YzijRVA׷Qyvuhg.9iOͰƤѥv#}ޯmH;jLfcT]|@XOԦ7XsmҡEr{`8,@! `6KŲI.>WF3 O ڜ? Au;s~*;XqCC'y0p +UnttlN!Kl+sab|޿ G_f636ؗ"VGW[AI)Bd`?&uqi@BڑNպ޷#W#*'(meH:sBMۚbG9Q*#587x3 xtiTҍfGns0,7"]R