SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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  4| c]]ZF:threads=6elapsed=9.862cpu=34.008gc=2.100factor=3.457zXZִF! ` ]ŗXf1-) enȈA T"%zav{D>reIXd°Z [/ǚ.D~AԻ:Rj|JѧR&IO^aCтhLnc|jy+RՈ):=QP7OP#s0|5  ZF!xnO}ű]p{eQ <_2 ?D=UW _5KUSWXm/\)l6,o;'xbV 05] a =]O78A>DEq躲XR P/6y%hσ%)&~x4%ͅ ot7HFF| Ƚï^2J'4dC3z @%%=%z_; ?W֥ҤAO:8UcPCR2F\P>|*+6OZHoq ?Mڤ;m<~ʼnScnD2^'0Fu<U:j0d`el_zVb3$E˰)jccə"ϼƣF39~1#l+6јҕm=EuTA9}ǒF{ ŷ燉gL*`0$/%*im.H0k ʭ(+RZĉ5:m[v~tAjiWfSt:fbUCkʉ'fV'?Nstlz b٪8_Tצ#x,:opMiNp|~+' ~E]ŠNݲ'E-h`cDKEmU CQ6XG,]?œ;<,:+n%/- aaR2Z2+<+`",!"jG ԉ݁ ڋW;e7ҡ-D/*"n}ʨoX0 [/sͪ񿞸m!mp[^-)£vѦ g.7rz:'i$;uC*aCҭao+1k?.y|IO "43 Tze_ExT+^'],[#[CMr>дO~ڇ؝Kvd9Xoh$4"8BWamQ$:Р px"%aSv{A>1YŰ9Jԋu 7uIԑsbBUdR^w tVR' ΤïYs+H8jGS“y(lrkoO*dድ#z)13xcq