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 += tdl ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.115cpu=23.712gc=0.940factor=2.927zXZִF! N1]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6x5fF]xqj 2lû*m3R[#l>S:|tNn> /֫H ͷ _.H TYxЦ*5,\\E)$8¹ڳf9-TŒhbo8Ev<9=.4Β"cR .ߙ'U~@x$ŕga zddwQVXL] 3gYZ7zXZִF! k]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>\#j[%֛ ꆲvW PқF.z@z(f:^εrW38 t,Fo;Wj,oRgK$M{znh Rd*8o3ʥGI娊èXMu4:"7q郥 aW YPf%5Lu/֙CӔOSv7kޘ&Xܝjh>=F$$̯W u1bO|hYFyWX ΙCK>Q gYZ7zXZִF! (n]ŗXi%6S- /)m}}d[KU(IحhQAo6rmJ<~D3k(FгPWiC6x9޿XojYgQ - wK7WqKc^HSuB'>y>r89O=%.F^ = \R= r롢sAZU7kSU9AD:;F$w|u>|0m@ؾNJ JzcdC7xC6v%[VTD30*l4Gq=+RVkߞ OwA˛+w+"Ȩ:;gE= H 2VfW&rHi-xF;R^`P(q"vc}=em"۠>h##w2Ism_ I1Bi<fmj'@ 'xk̅:j,zΜEѺeQfbm*A)]aճDڈAڧvۇB.AR Ewe98ݢ;l@}26k/0}YTu"/v R,>@IcnϋD*d8U܅(0na-mƲ!(Ƀʗ.0Cٯh}Sm_T˰{HBbT^ksQ+[oD42Xn Pނüe(`=&GjHQe( N@""u[p[uGbx v)iy}NI諭eËTR24mpҝRTܦKP$jgYZc2794002ef0fd4c9357ad3abd886440350f9b58cbc04ed3d5e3d39fc11eed643c195af42cfffe6e6 af27b793b0e347b7ff6acebc98cfdec3738a93c2 56c99ed97f96b6895878485285d5451853e4f70e a6c454f7135910e1fe35faa269e37dc6ee9f3808875ffd3093916e764c0069587b8839c271dd9fe9 = HOL-Nonstandard_Analysis