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 >>?= 4Td ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.860cpu=22.672gc=1.156factor=2.887zXZִF! ]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒlbOltJh`_qF4OD[NB$ jܣMܯ\%# ]б-IRxV,tƏӹV wеC=sϓuH[%a "WfL`˾6W~p1Iۢ)HeN'gS{.(iՎ$%UhO|_Unjd5kVd] 9\3|هNcx'zvLYk3P` "9o%b0O hk-,@.t0~g1rܵ2\juT6v0D~Fht#vV+U+SB6\"z̅X!s *\~Iݞ \=װt('kP4P@^ &Z.F fDZgYZ7zXZִF! %+]ŗXi%943Wn g`pnQ;$){WR6~4ȩh1sZ4D'}"OA^ءIg`Z۸XǑ5HUNo[]J/qeV'Ox\C^w6(T#f},"4NE5?c|t.wbn:1Q [v,ypXV4mse8'T:MwQjebUAMXpi]4DUi#Α8jHxEm4L5֠X g\r8Rv oKmiuYrNyt|Cg.cF?W'K>=2u3(gz*c> &dP⨷PA[}9+oGh D S[9{2v:_8B!rf0#(VcXWjVDzV_6huµn7G7K|.gYZ5313a2347ae75f0e91640d5beba2b58c91c15851e2bf23c7d7eb3616a6ada91fb6d55c5b24a424db a63549e9f792e863f2c65c2de3f08035d4b61871 250b0e802eec4ab458c9da26debddd91e5310ab5 09ca5b5e6fc6ffdc00d6730fce81cb38f02cd53ecf4bb81bbc831ad34d3a1aaabb9309859c7c2cc9 = HOL-Nonstandard_Analysis