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  C3 L ]/ Partial_Function_MR:threads=2elapsed=6.292cpu=9.008gc=0.516factor=1.437zXZִF! ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kgܭ|-<;yv1uʶn3ixpIjɽLhy%Xs;U5KW4<-L4QX &U )dOC`Ǔ%t {0.{>Oq喫|[Hk̾җ6wE^~f(FI^Ϋ=etD^2ܱgYZ7zXZִF! _]ŗXiɟ1˦rnzx <@0+gMLSQKAJU, ۶9jù_ y4%"ߙ\PTV[`/+nVɓHN׫kOwf 5FgYZ7zXZִF! %V]ŗXi%9(O] (OM6{m#Ah[-ژggXd!x&-Ù _ƜB0] ȭNf!֧05IǸ}~:~݄`ѴLKtϻaI0&)5_6dN\IMh-),QZ zzBӠ/n!LOO4hrR\yWpUh*j_kώTKhR=y4%DFN$g^#]z{:kS,T;9s;S8<7wdA ?Sm0@:#ΥXQ߶Ke5ŸIʷLv VegGIOgC*Y$ڠ39o T3ckRgUҫX{250: ,@W:|븺qr3Hy;',L(`sAVwYRe3\?#x ɳYQ=|{Uו !vH\r=NNOڛlP0lШIyfH9{C}}1Ԓ#hsgic^,*lIF `74gi N %cLJ)9*BPcXl0 -4wWb)^K%\6yVHH+y|I=?3ޡg%8PvEWl _J gYZ7ec2ae399ba54c489cf521bba48c3eeeff5146843bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 3 Partial_Function_MR