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 ~= L ]S]HOL-Nonstandard_Analysis:threads=6elapsed=10.420cpu=29.228gc=1.124factor=2.817zXZִF!  ]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6x5fF]xqj 2lû*pݑܶJҨAT{owJhRU\6+vܹJQ@ %]fVaԁ|VÌ#4U߄X mq=ePP];)3]TE\+8o5m|R<.5 +_ g7j_ z{b*[b}uMPUfIsQ*.(}JCqfU9e?k;W4ӫa!Gƞ ~sEM`Rj?&uKkɆYGGI^qẽ/S䟰͙m]#-WڐZȋY;4 S)n})j`ƟpY\mP%mgwPEE8a>8+}bw9$gYZ7zXZִF! 3]ŗXi%6ͫs2{s'FCQls3YƆU 4dS/z[/ $cZ^Xߧl%|p%}ڎC·_C|B|V#Pքehp|t=ga@k@wL_ŤnNiاvJiek: %B} 7"źՉVCsX("eNc&XK97 j~KAEhRIm#kd!.'[rRtMޞlI28탙׋~D@0Si7 (~w!8  ߇i&%_RشŮ[EW}'NPbUz%#u/d&r䥋J=Ju6 ֩5JL-|ohE-o[?s^0w v@Ugw@ZnZVSْ_DrVΣBl&?c | ! <. g^*ەŘ .&LɔSv(xkύbEZ[u~b:nhR^R….0Iqxw3Q`bԌ/r '`ӆ q[K?~޸ݘ YHߛ!7?|6%ΆHHt(O1y z32H-zAr@BQWJRRdG$"_8_FMWe'%,^ABQ#-+@u^`}_Rb/a"v#qֳrUǵCXClL P|$Y¬̨l©w`Ғ1x{_{eeX=q@ SVһ,LjwD̃pj7\?gT2gYZae63640668dc01669eb5b5bf20039f1e97d460e74c1c895207ab9e683ba172ce2764b942c7875d56 b18a5a4f54c33dfc5175f5d8feb995cc7463605b da5c9424883b2cc4d138889d75bfb1bb769fce3d 7c86cef1aba42a80438c3548ac3f14fcf459425e1fcf2683242525171bcd1a778b63b7dfbeb2c11d = HOL-Nonstandard_Analysis