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 7= T| ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.336cpu=23.984gc=0.904factor=2.887zXZִF! =]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6x5fF]xqj 2lû*ޏC:,Q{Bn.HJ&byBJ-9&WQ~q1^9^? }XE2 $yP&d=>sej a+%dՔ[@*ED :L`]!5Wŏy㸕̙Ž-z~ocPbu+ƫ)ȑԇeJ xTgYZ7zXZִF! d]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>aSsקt T?tVϑO߸oF`/Q3hlTB #mǔ}lw1Îqf8G!g=I#JuVPҕi}VqXl[o}B7%؂* pK濄hx_O?ב!) ِ)L|cGت[42ۙ#a:r"k&@0pSsl#T+V'w =KGԾT_رSQoX%c\L.qatU~sY Tq@4 KgYZ7zXZִF! *iv]ŗXi%6Us窇6}7$$<='l#%$, {=K^|%(gy5&}A&jYV;@Xs!p<g y_T\gÝ`4 w:DlR_SztKы \7(x_N1^ـې0*:D}M(ac,;%S Yz3nLO[Yz4l:y301z!#ܬW'hH!o sX= XjǴB^%h$]zL9H #v*TgYZc2794002ef0fd4c9357ad3abd886440350f9b58caf1e669e0b71dd56bcba24adf3b86252347d5dfd 2069bdbc553872fd9e4a20143262cdd7b09dfec6 8e0843e82de9b2ac5c6064ccc9a0dc0946169aa2 fadbe9a65c40003a78ceb30a5e8bd7ada53240566c380c28ccea066f43afca84c7d164e9e0aaf495 = HOL-Nonstandard_Analysis