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 91 , T ] HOL-Imperative_HOL:threads=6elapsed=43.205cpu=62.048gc=1.724factor=1.447zXZִF! /x]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi{G8Y YZT1O]xgPh#wx뜎6D:4Mps1mXKFޑ4G5c5bd6=H_$wl;\|I.elj:(؛(7T޴fƆ<{ě;B ,AԠS'IF)5P>^ &Z1->GlՌ[E@Z?/XXLdt\  1 HOL-Imperative_HOLIyKZN'Q >So\MP*] U? TT2Tl*HЪ'X>7P;ﻎc+{ݶ&vQRBW)E_3VUyK)SۧVk o'!4SXtn-R:xlXmE3sQe;:/;>G^e1r{2'74 - ,Ŀwsr)j \dN<5Q?M:Ȋ1Hǎk#qE?OQːW--ige"Ry@ #İA VÁ)"wz53 S3x:1;29l`^Y<534iMw\#){*/Wsh߰X}CGU{/ݻI4Q7_mhvd"kxu!A!TnڅO`U뼨Np@V2cH9hꔷsm[ 0ĀI2A_,6P rg-ӎF01$@ҏv0+!Wx,Dy!3rȝマi>0=&)$|M[wYc4:t]`ЩT[Ô g4mW%yvZ ٶMR>u-Lh/q\h@ Oؑ7ఔF ԑ h-U(p}P<f,2ҹV q5>gYZ7zXZִF! O]ŗXi%94-2 Zggqnd~.Z꠾ UY_!4po9+d`p|tL *kK:$HtX{z {r {Mtk!w^A8X-&qe]ǧn! E  Ϻ*%se$u]LIK\!]VG= zowq8K48h@L,f\,lap& S8콭5?LZ+ܴ$u\C$7>hتp8‹(of_ؿEcHm.y qdFZyt_75:tEٗ~ J9xE̪'4X ۀX{1?b*~t*IDV¶.fM/ѯ {ISP:%E"!sq{ЎUPHQ:{q4f)7z-AF.r uϻR M`ͽ?3 .(]$K|Y`E3ġogG / {w!0":oU8eǧM'ViEU%\s~KId=N2H0R9#J׽7.s(-eʔCEi z#(rИViƱgYZ87e66a2fc4b40968d8461181f4ddda2e0a474c7d5a65cfc9184ac5fcff440c336649c488e962f666 d0455d08675ebeb715f124bb5eabb8abf79678b3 b38612879e92db38622e0825e4316cdaa535a44d