SQLite format 3@ .  YYQ77Atableisabelle_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, "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 Z# [=,1?yp@/_kX=[q3!/K ?U1"*6S5nzj}\R:-o7[nR 5ơmgp.9)0Xz,XgyvآZ4) /; W~b'D%;f6JRYy+ȳX8(\Uz?#1S߷XH wB_8v_=ZRlq'kwgHeҽ.U]Ek,;!y1Pwd%Gѥr*Ŷ"W62zSiS.WE 4Hf% ^8Q;n/JH\wv8X ^ }^ٔ5'ê=hGZ[ITLSnppCp aA7g04>9RTIa1LN$t+uĚxخ܁Kii@._my{.nKm5 A 'Yl u̾D"6SX. !r1bY+g=>:r5M !׃ėo'Q/S4~_w#0ީVpg\ri!4DKzS-Șܴb=ie@\.,oRn$un#%!H*#+p"14I%7ryZP!*,auU($8vn?*ꍕ =V 9C嬶^cb {+jR}˯ |LbvrsQ ^I(Խױ+54vTթ@DMA$z392w}ۀB*57&5p}l/ȍ%_(gYZ7zXZִF! ' ]ŗXi% ţyÕϱ';f̭E`LF{gfGO@~o`H3qj^2 9yݜc:bu\P٨gsRx6s!~s#;2cu 3ڝ6Y; |gx^Yv&A[GP?,($o@򇞺ש>H/8W%T됂u=WT#b-Ǣߺk Nc-'OY}Pp6xO(PqՃ!4`,ǃ_ׂ~Q׻̈́),E'iGoSmԌjȮWc#|uy5-dڰqO_l#x"Ke5)Rcֺj?2c F򚡣0P %} ZHY3ȗXW.L-u0{=fdC 6Տ = d?gS rHzuLk:rv'Aoq~ybA8~O. O/8mi Rl 򻏼#y:ћ7pK^" be[$1ZDiN}O;gYZ0b7be302db04bb48259acb49bf498330f9feee1d 0da2a0c779f73fa4d68ba73acc7c8256db9aa224 39c9c88bc368740335af63ee0f783764c50d575c 5117119a178eac69d137fb85243808da2d667eaf 66adce971d5ecdef0a49e4edbb5ee8d5b7dcfc4d 6adda71d7b17778aab6a1dfaa6291add1cdbee4c 7bb2894bf6b2b1879e224f67e577c429b34466a5 84d02217878a0ded53c9969d4cbefdb5baec3adc 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 abd154de58055607dcb6b8efcb621e40c5efe9f0 af3a0cc7c2e7a5792f1be06d056e20fb695e4477 b82d63ac48820c09a7c175c7d4a1dae8c95c6f7b c9a7834754ca020e75afb9d98e309c88e75bfb0a ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d75db1d9c8bcf6bbb6548235e3c7c906b36b92da f612bc828037d6b79efe4fbae9e84b91c46ca8569711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed43fcdf68da11a962b1aa3b6d060c79633ecc9ca12 # HOL-Nominal